# Manifold: Census Knot K7_50

# Number of Tetrahedra: 7

# Number Field
x^18 + 48*x^17 + 273*x^16 + 1816*x^15 + 5113*x^14 + 14764*x^13 + 25800*x^12 + 7793*x^11 - 14807*x^10 - 89447*x^9 - 124966*x^8 + 19964*x^7 + 38820*x^6 + 1183*x^5 + 7236*x^4 - 2745*x^3 - 2009*x^2 + 784*x - 64 

# Approximate Field Generator
-0.0471554788504941 - 0.512963849934216*I

# Shape Parameters
-1723735400473499638630992977515599824750245518531/654115896214301436903483694081448918071003964232329*y^17 - 83951284720117783818871840325748130202441889938719/654115896214301436903483694081448918071003964232329*y^16 - 529217300181080043339822985337444817032096859485788/654115896214301436903483694081448918071003964232329*y^15 - 3483485843691585944656250728974562044416823677987280/654115896214301436903483694081448918071003964232329*y^14 - 11146585264936546166810418704794754453293982391036766/654115896214301436903483694081448918071003964232329*y^13 - 32521958698132868567469313753418253769559179852864566/654115896214301436903483694081448918071003964232329*y^12 - 64969112976199838955444225681594024996321504965897119/654115896214301436903483694081448918071003964232329*y^11 - 52263174954252643569334842672472640254975977259258818/654115896214301436903483694081448918071003964232329*y^10 + 2033761842040525181936589975199679817921171278287243/654115896214301436903483694081448918071003964232329*y^9 + 164462052288337813129917790394794572551516835384833014/654115896214301436903483694081448918071003964232329*y^8 + 328145198281452189342030489087503334452717931551673498/654115896214301436903483694081448918071003964232329*y^7 + 159580483751887002261327226681692362944177924402327000/654115896214301436903483694081448918071003964232329*y^6 - 21752199333978702643463918191518389791367542593852884/654115896214301436903483694081448918071003964232329*y^5 - 37532949257499755613020535145363590325063592433536257/654115896214301436903483694081448918071003964232329*y^4 - 26860314112475770738774050230322371467411299842309794/654115896214301436903483694081448918071003964232329*y^3 - 9032665708886485384112715860827212717018388207168745/654115896214301436903483694081448918071003964232329*y^2 + 2045167978944939632874800977633010727735695043373713/654115896214301436903483694081448918071003964232329*y + 1291731938592702202568268931118817721290893505726172/654115896214301436903483694081448918071003964232329

-32188124832588792892501526451678447405618607786132/654115896214301436903483694081448918071003964232329*y^17 - 1554924235431726336784993032747086041254943101840088/654115896214301436903483694081448918071003964232329*y^16 - 9264497781129315711523523575014172845753720335042117/654115896214301436903483694081448918071003964232329*y^15 - 61262081639701663582683444606432082797579953369401260/654115896214301436903483694081448918071003964232329*y^14 - 183196499982725844861100224221253272375486461891154961/654115896214301436903483694081448918071003964232329*y^13 - 530103800275802470845275432183838031068212015361034513/654115896214301436903483694081448918071003964232329*y^12 - 989623891501629846277361229011172213328694594395735011/654115896214301436903483694081448918071003964232329*y^11 - 543923523030497788848304489077215094998543057952499844/654115896214301436903483694081448918071003964232329*y^10 + 327513243653673949620771969412956904176629561129729703/654115896214301436903483694081448918071003964232329*y^9 + 2981581018490896883202863818571227308237143039180524829/654115896214301436903483694081448918071003964232329*y^8 + 4928123448780953751357371113203045591710310748875136110/654115896214301436903483694081448918071003964232329*y^7 + 801998695641163699741552034990384653310608844135028229/654115896214301436903483694081448918071003964232329*y^6 - 1084753055254800143873572032198651024476574260824290737/654115896214301436903483694081448918071003964232329*y^5 - 336590134264691904371268129464813476186214914479103340/654115896214301436903483694081448918071003964232329*y^4 - 325513473020019787742778985009286927231247119682110654/654115896214301436903483694081448918071003964232329*y^3 - 10209447245123059747325402928696396321675927888700737/654115896214301436903483694081448918071003964232329*y^2 + 67948148755279543892512487782157490741928380079976169/654115896214301436903483694081448918071003964232329*y - 8512790562877134372887874281987630472019377235521195/654115896214301436903483694081448918071003964232329

-130142019524576823864744405405055794904955885151827/654115896214301436903483694081448918071003964232329*y^17 - 6298027737631593128825186383042828417261278620974129/654115896214301436903483694081448918071003964232329*y^16 - 37994289595764212823537163567123593152658199699158319/654115896214301436903483694081448918071003964232329*y^15 - 250679679152041488427707113073227510635555246931954487/654115896214301436903483694081448918071003964232329*y^14 - 760724305582877046356149928028497016293984872173977886/654115896214301436903483694081448918071003964232329*y^13 - 2198329499445889447107193621913164619679163999760618145/654115896214301436903483694081448918071003964232329*y^12 - 4162498219205184370052516759410299534650777949797841018/654115896214301436903483694081448918071003964232329*y^11 - 2475269482660519300090259584008848222690014582095386975/654115896214301436903483694081448918071003964232329*y^10 + 1247654730577825501557392014134089424245992259822671277/654115896214301436903483694081448918071003964232329*y^9 + 12185289155469555531119297491742613540502709912860631851/654115896214301436903483694081448918071003964232329*y^8 + 20899925969662905351921223316146782555701994118108309020/654115896214301436903483694081448918071003964232329*y^7 + 4531666788502665253279656294869468149867053218523021260/654115896214301436903483694081448918071003964232329*y^6 - 4618956481154505936603794675549173603603869032486227494/654115896214301436903483694081448918071003964232329*y^5 - 1550397277930876622701239394178525036650889957452736072/654115896214301436903483694081448918071003964232329*y^4 - 1361367430045426286523771940619117210711589423927888712/654115896214301436903483694081448918071003964232329*y^3 - 148661142014334652551772182481489861195477433389890467/654115896214301436903483694081448918071003964232329*y^2 + 316061297641662678617275376324712152392762466994144988/654115896214301436903483694081448918071003964232329*y - 34912033620769663800956003182640262601660595727223568/654115896214301436903483694081448918071003964232329

3355067767833647584088551308499431179872948994830/654115896214301436903483694081448918071003964232329*y^17 + 652998644871859959789970692866273027491389505815617/2616463584857205747613934776325795672284015856929316*y^16 + 4086733250303561980577875369112447098252042535749659/2616463584857205747613934776325795672284015856929316*y^15 + 26751658612440275209285918986774425082851972403628493/2616463584857205747613934776325795672284015856929316*y^14 + 84537079707955566563657763394840390949387697959999299/2616463584857205747613934776325795672284015856929316*y^13 + 60616965980448677996636091115032848131507784309435075/654115896214301436903483694081448918071003964232329*y^12 + 237840894432952710770808406136123066655689554685033751/1308231792428602873806967388162897836142007928464658*y^11 + 82329550208717782197376917536241518987492758723519240/654115896214301436903483694081448918071003964232329*y^10 - 127594705767079836222444557177023082901526603373015625/2616463584857205747613934776325795672284015856929316*y^9 - 1304898059374135350659308146261983147131687245189507011/2616463584857205747613934776325795672284015856929316*y^8 - 612875327325545736259904097269377500582397075753977583/654115896214301436903483694081448918071003964232329*y^7 - 794838507055877217382284796504561709250380052361258545/2616463584857205747613934776325795672284015856929316*y^6 + 165720737278829017854744925724138615527748421541614110/654115896214301436903483694081448918071003964232329*y^5 + 102837145233320568297991614457402277865534196478170441/1308231792428602873806967388162897836142007928464658*y^4 + 132438323613113732102944960908364279379976765490646755/2616463584857205747613934776325795672284015856929316*y^3 + 48454137819236606706020944145125245341729218626247087/2616463584857205747613934776325795672284015856929316*y^2 - 14438610922605850136986414742253281645275734737858193/654115896214301436903483694081448918071003964232329*y + 2315434645737871538333454102482096163053690247821561/654115896214301436903483694081448918071003964232329

12857273399193940349819844408130572672833180303243/654115896214301436903483694081448918071003964232329*y^17 + 620613202218658012455793728319530349483421466409578/654115896214301436903483694081448918071003964232329*y^16 + 3677261262131075908688057151517201778594502257857388/654115896214301436903483694081448918071003964232329*y^15 + 24340400305225846750080949547145111246884228719130440/654115896214301436903483694081448918071003964232329*y^14 + 72304105307277337238767698697771213440111945458378395/654115896214301436903483694081448918071003964232329*y^13 + 209349380525854627141613379255222338974237033933781593/654115896214301436903483694081448918071003964232329*y^12 + 388299332581367343731143342043251272223437552582552681/654115896214301436903483694081448918071003964232329*y^11 + 205326628840498832129751301306543138021692653249926324/654115896214301436903483694081448918071003964232329*y^10 - 133853245781386057261737140604270066033562707197849968/654115896214301436903483694081448918071003964232329*y^9 - 1184565861088481270756614557354649824297744294211798636/654115896214301436903483694081448918071003964232329*y^8 - 1925490903289485753202393297902085111201680162026068516/654115896214301436903483694081448918071003964232329*y^7 - 263988682327805965544812814827723677071516961158987366/654115896214301436903483694081448918071003964232329*y^6 + 421772098347276449992912236544676045559856929185063385/654115896214301436903483694081448918071003964232329*y^5 + 122531680321300390667862233966903777042048755797611086/654115896214301436903483694081448918071003964232329*y^4 + 126751021332897077229110548154805063163920993608505338/654115896214301436903483694081448918071003964232329*y^3 - 661399696881357843905109994019465669975463179039462/654115896214301436903483694081448918071003964232329*y^2 - 27061852595319156409507041013397873540557942984289957/654115896214301436903483694081448918071003964232329*y + 3260308732865513008191575269950584514004561308683968/654115896214301436903483694081448918071003964232329

996614845575737270885101188438876573479174334823489/41863417357715291961822956421212730756544253710869056*y^17 + 6017071724723192703823322146997380640076605337272851/5232927169714411495227869552651591344568031713858632*y^16 + 286507816692770134346465477516063891779911579746160113/41863417357715291961822956421212730756544253710869056*y^15 + 118451182073295674163502590416705173087299459789614115/2616463584857205747613934776325795672284015856929316*y^14 + 5661036178939649910236541340376609452115463115718076841/41863417357715291961822956421212730756544253710869056*y^13 + 4097506097859683338029609690597888786666536760073626225/10465854339428822990455739105303182689136063427717264*y^12 + 3821076560398903433277695636748987696364673837058968149/5232927169714411495227869552651591344568031713858632*y^11 + 16753550360858406807826739705826761755138963403141228241/41863417357715291961822956421212730756544253710869056*y^10 - 10049246510965727191293201088332718774703842247197150431/41863417357715291961822956421212730756544253710869056*y^9 - 92276015848781076599936425240773390501060709601063726095/41863417357715291961822956421212730756544253710869056*y^8 - 76073348545262338217681296289240921688852286845991287375/20931708678857645980911478210606365378272126855434528*y^7 - 6164788117670541571245164738266519683563887025851526097/10465854339428822990455739105303182689136063427717264*y^6 + 8184772147442163721016099769621808862020750013313220293/10465854339428822990455739105303182689136063427717264*y^5 + 10956855032904639534920551526756804824024999685926233151/41863417357715291961822956421212730756544253710869056*y^4 + 2642691551786508051222193604391578634523487012223709711/10465854339428822990455739105303182689136063427717264*y^3 + 249717699132051975811896138376085805927319759355380759/41863417357715291961822956421212730756544253710869056*y^2 - 2002160189166722314100366851089313186610929549866357601/41863417357715291961822956421212730756544253710869056*y + 24977706234387360619987654816471945783662111754804857/5232927169714411495227869552651591344568031713858632

-57661000535326048292641243017359167937063685984757/1308231792428602873806967388162897836142007928464658*y^17 - 2781590527782578585469273072187068379068962739461105/1308231792428602873806967388162897836142007928464658*y^16 - 16411202956374498905454662907414993009567016644033163/1308231792428602873806967388162897836142007928464658*y^15 - 217412779588213581306911726591848558205680057720968965/2616463584857205747613934776325795672284015856929316*y^14 - 642439270450157076717789397449936684302741024028198987/2616463584857205747613934776325795672284015856929316*y^13 - 1860635859319683073050906259985237208312938549687550189/2616463584857205747613934776325795672284015856929316*y^12 - 1716084279961647805803733007124187750573153214965898339/1308231792428602873806967388162897836142007928464658*y^11 - 876049752485719772124123327712980896010322635804542215/1308231792428602873806967388162897836142007928464658*y^10 + 1239363149706119465059347936060541046854600420933926555/2616463584857205747613934776325795672284015856929316*y^9 + 10603415896482455339247557282225727567828600913950524649/2616463584857205747613934776325795672284015856929316*y^8 + 4245435447847069976291472867601404856938370347326989048/654115896214301436903483694081448918071003964232329*y^7 + 1953659307773680851969673970939696351929855408887266689/2616463584857205747613934776325795672284015856929316*y^6 - 3796029745637663306976940078417151442777416801426178249/2616463584857205747613934776325795672284015856929316*y^5 - 276548387378479639603109394407194872877122421541383489/654115896214301436903483694081448918071003964232329*y^4 - 555796246545821236423207635215601018913688015489988249/1308231792428602873806967388162897836142007928464658*y^3 + 37203754589129006618952469040525969757918657753729901/2616463584857205747613934776325795672284015856929316*y^2 + 56205139834261247640964174411425090580147059981338211/654115896214301436903483694081448918071003964232329*y - 6721522129061699495914240648273961952013100242536168/654115896214301436903483694081448918071003964232329


# A Gluing Matrix
{{1,0,2,-4,4,-6,10},{-1,2,0,-2,2,-2,4},{0,0,1,-2,2,-2,4},{0,0,0,0,1,-2,2},{-1,2,2,-5,5,-6,12},{-1,2,2,-6,6,-6,12},{-1,2,2,-6,6,-8,14}}

# B Gluing Matrix
{{2,0,0,0,0,0,13},{0,1,0,0,0,0,5},{0,0,1,0,0,0,5},{0,0,0,1,0,0,3},{0,0,0,0,1,0,15},{0,0,0,0,0,1,16},{0,0,0,0,0,0,18}}

# nu Gluing Vector
{8, 4, 3, 2, 9, 10, 10}

# f Combinatorial flattening
{-4, -3, 3, 1, -4, 0, 0}

# f' Combinatorial flattening
{0, 6, 0, 0, 0, 4, 2}

# 1 Loop Invariant
-30431569763601819886367368938275223736316637355727821/83726834715430583923645912842425461513088507421738112*y^17 - 183773285284242252716957876513989426196863791533382291/10465854339428822990455739105303182689136063427717264*y^16 - 8765268795719889760634652932435156265594110771188924125/83726834715430583923645912842425461513088507421738112*y^15 - 1812093653209355784068956935918752388180065545515807535/2616463584857205747613934776325795672284015856929316*y^14 - 173626677268660694600521992993617965733752252246154392549/83726834715430583923645912842425461513088507421738112*y^13 - 125800631176981678431698873574017352525087584807406200521/20931708678857645980911478210606365378272126855434528*y^12 - 117703162530269325695966507051999018971514037297917360089/10465854339428822990455739105303182689136063427717264*y^11 - 529756682626340505243972440893534079723782420594405206845/83726834715430583923645912842425461513088507421738112*y^10 + 285243239926090691502561645075736936952684905868166718851/83726834715430583923645912842425461513088507421738112*y^9 + 2806607904626972011998742186285563683795529747867689445587/83726834715430583923645912842425461513088507421738112*y^8 + 2337326835522521858626362974356658759792663449894889727011/41863417357715291961822956421212730756544253710869056*y^7 + 210416858087093840414675756566066781820839395541234485625/20931708678857645980911478210606365378272126855434528*y^6 - 227908511886667991330898044864812276470296113557452353453/20931708678857645980911478210606365378272126855434528*y^5 - 295853948754623903067945990932962611000457460408951364083/83726834715430583923645912842425461513088507421738112*y^4 - 79596983044161085999256541656667625072553607525023393875/20931708678857645980911478210606365378272126855434528*y^3 - 23330644791295181197320579968426286627419261927240228923/83726834715430583923645912842425461513088507421738112*y^2 + 54657671850565400376227733731780991411345407134737294893/83726834715430583923645912842425461513088507421738112*y - 1005851862030388862659233637837908096047122607798323957/10465854339428822990455739105303182689136063427717264

# 2 Loop Invariant
-64218004220203287634983152055098838349238291169487750801160384322888385259828958558493165033325984948963/6680699156279494397947842334831335519571318114180324459420789964180154180840000067287944195382511121593392*y^17 - 3101221976376254115646372069887197431421686864272244012028158468012827036908507611068299881409427867221305/6680699156279494397947842334831335519571318114180324459420789964180154180840000067287944195382511121593392*y^16 - 1152325749192998662047188090599014952416568999163945094724428185606635863467545345354207596837640311925003/417543697267468399871740145926958469973207382136270278713799372761259636302500004205496512211406945099587*y^15 - 121997836511468152974129132339385855824339505704628680420684488684845705607576127600920237873825883264641881/6680699156279494397947842334831335519571318114180324459420789964180154180840000067287944195382511121593392*y^14 - 363938072503746617715569630136665259203297075024592450912425187618566063977273334938236637691620524245917249/6680699156279494397947842334831335519571318114180324459420789964180154180840000067287944195382511121593392*y^13 - 527064792147996169997533960023289302427337229567866459597302248106702660623469530727651773652425346768631975/3340349578139747198973921167415667759785659057090162229710394982090077090420000033643972097691255560796696*y^12 - 654629398486215526838567081295223354165688475580595819070529361147234515618380271342951896702127054763241587/2226899718759831465982614111610445173190439371393441486473596654726718060280000022429314731794170373864464*y^11 - 89303506874586733018694731053171589633879623819350308029635563984005549311015386451931361750648562208901085/556724929689957866495653527902611293297609842848360371618399163681679515070000005607328682948542593466116*y^10 + 642303979351667032385676132732279821222928362757102854284282072057548373433715880043876837572715105804169067/6680699156279494397947842334831335519571318114180324459420789964180154180840000067287944195382511121593392*y^9 + 5933837794089039863923540808591622105008687981896639811681001108562696543871396413349822224214451820031845991/6680699156279494397947842334831335519571318114180324459420789964180154180840000067287944195382511121593392*y^8 + 3252222819984486879891740351782781051263851329178643625050269531999081598589081973290108289433417288658033549/2226899718759831465982614111610445173190439371393441486473596654726718060280000022429314731794170373864464*y^7 + 129480629366218279094099993108550822094723792840380122791313336661149868379402616195993925237129993818446745/556724929689957866495653527902611293297609842848360371618399163681679515070000005607328682948542593466116*y^6 - 2060525572704258618171187646166197571556992530153152652574456231940319205137668846269730427242349240899746427/6680699156279494397947842334831335519571318114180324459420789964180154180840000067287944195382511121593392*y^5 - 113236585335820290987175101351994718019282939967628021449509060549988041314832414898565501088373232385248841/1113449859379915732991307055805222586595219685696720743236798327363359030140000011214657365897085186932232*y^4 - 219486022984227530768603953184069333641430647837534651719302321210010553424452731071507272446370243649563079/2226899718759831465982614111610445173190439371393441486473596654726718060280000022429314731794170373864464*y^3 - 2563565026833800049206615046441276668393775127783732948923768511079976945659324076515636178141311206508627/1113449859379915732991307055805222586595219685696720743236798327363359030140000011214657365897085186932232*y^2 + 10390290250492244202434542225036117820669652858267992338040544987528370540460053125274754397922931902008307/556724929689957866495653527902611293297609842848360371618399163681679515070000005607328682948542593466116*y - 3498132363985356493575529661349507422294996243022079041196733623759431007531974412104321423467348326876835/3340349578139747198973921167415667759785659057090162229710394982090077090420000033643972097691255560796696

# 3 Loop Invariant
359037612673759086123822664922920134895302869038929958878605236754553247088087177706154084997150527149417823186105588006361798961/513610214139998198625422792779557194967781786456083463596205703942216889946942119045236186163173223803003971413548028175679432300968*y^17 + 138790449036633590278258029628385789105778355571837266104523500124345255004241927083166818790610333648239512085832992929344581690459/4108881713119985589003382342236457559742254291648667708769645631537735119575536952361889489305385790424031771308384225405435458407744*y^16 + 414282282287308300546653280662446276024883012131555440982488954778914020964270934357626985183799061248800338117431075518702175881887/2054440856559992794501691171118228779871127145824333854384822815768867559787768476180944744652692895212015885654192112702717729203872*y^15 + 342507585009460329591065292774963410055383338694995689965658500060336812520923764378238650631915661258104945036744352222404154127909/256805107069999099312711396389778597483890893228041731798102851971108444973471059522618093081586611901501985706774014087839716150484*y^14 + 16433636810060769776694676702689906079833106992383507790069648335957288234500321217766914463420102222597856669775486257121567893911171/4108881713119985589003382342236457559742254291648667708769645631537735119575536952361889489305385790424031771308384225405435458407744*y^13 + 744040276221558464931782000861490505211338026850074011587235408887809333503049290086562286920383638256354567573170429400733755267411/64201276767499774828177849097444649370972723307010432949525712992777111243367764880654523270396652975375496426693503521959929037621*y^12 + 89212263541562422065960119489855000771180882018076006040757069911236493208924470589290367952632160320406857061011588394818073999297383/4108881713119985589003382342236457559742254291648667708769645631537735119575536952361889489305385790424031771308384225405435458407744*y^11 + 12632806928414867298740108652150197154337771011096645259885263053935171303599838679272959202522538132331172379570743919170978444068019/1027220428279996397250845585559114389935563572912166927192411407884433779893884238090472372326346447606007942827096056351358864601936*y^10 - 27097616922217138488022432305939495938641987377597716162530410943215476887185397410412556979703807403882796145971842052888558853368135/4108881713119985589003382342236457559742254291648667708769645631537735119575536952361889489305385790424031771308384225405435458407744*y^9 - 265892631658941098748431845454470430921835316264573648334983793259755133302324689321041274409164639805230666007832476455852726986299803/4108881713119985589003382342236457559742254291648667708769645631537735119575536952361889489305385790424031771308384225405435458407744*y^8 - 443856498691929545050717283174895950552718338721748357164239436227522845462435794453958891156641414106757055106840484902902222920095657/4108881713119985589003382342236457559742254291648667708769645631537735119575536952361889489305385790424031771308384225405435458407744*y^7 - 10295134828540420052452008170618019952327057496699537604072452550510844784362867480371316254705157693408754593890360610105798088826763/513610214139998198625422792779557194967781786456083463596205703942216889946942119045236186163173223803003971413548028175679432300968*y^6 + 88634768466817447927713899551542901182164305076013525042622118045404196953641466120064943637293464312526650417457158130364792509145647/4108881713119985589003382342236457559742254291648667708769645631537735119575536952361889489305385790424031771308384225405435458407744*y^5 + 7918794915244516509656163716835279551014779400400642746549405518957497869544638538197454561283338768074942654709168267787335858074369/1027220428279996397250845585559114389935563572912166927192411407884433779893884238090472372326346447606007942827096056351358864601936*y^4 + 7662832774733407238990115615056478586320565825556500794434275029836378836245321543709459824619373454710588220231393384325518448580271/1027220428279996397250845585559114389935563572912166927192411407884433779893884238090472372326346447606007942827096056351358864601936*y^3 + 1871151175134387546146212400834833115737107027600279690694117794302144007963369633826159786716311954216639363365791963133238963519395/4108881713119985589003382342236457559742254291648667708769645631537735119575536952361889489305385790424031771308384225405435458407744*y^2 - 5478436635178686502265289703914626553127154163779111465127820794654702735138617361369184696078075643107958823948047256826508277470111/4108881713119985589003382342236457559742254291648667708769645631537735119575536952361889489305385790424031771308384225405435458407744*y + 72743293744079815773439157840886170155291946636607263382502465200726094837628680856133791340113682109206128444343787712438996453599/513610214139998198625422792779557194967781786456083463596205703942216889946942119045236186163173223803003971413548028175679432300968