# Manifold: Census Knot K7_3

# Number of Tetrahedra: 7

# Number Field
x^20 + 2*x^19 - 16*x^18 - 86*x^17 - 75*x^16 + 242*x^15 + 659*x^14 + 148*x^13 - 854*x^12 - 848*x^11 + 367*x^10 + 1382*x^9 - 178*x^8 - 1403*x^7 + 73*x^6 + 637*x^5 + 13*x^4 - 100*x^3 - 12*x^2 + 4*x + 1 

# Approximate Field Generator
-0.186434621126413 + 0.140974643379933*I

# Shape Parameters
-4477838074274166057233962535/11756951575961708584875741247*y^19 - 7626977136646701054663881892/11756951575961708584875741247*y^18 + 72291663993766256662010512477/11756951575961708584875741247*y^17 + 361090996874504416195989553421/11756951575961708584875741247*y^16 + 255086420092813553245986115392/11756951575961708584875741247*y^15 - 1031863082806327589164218797023/11756951575961708584875741247*y^14 - 2567490417085460032074487253693/11756951575961708584875741247*y^13 - 287935686108316842785073767115/11756951575961708584875741247*y^12 + 3000191346373861141009557234209/11756951575961708584875741247*y^11 + 2896857840469718484381233823096/11756951575961708584875741247*y^10 - 1323657076675573465622842104875/11756951575961708584875741247*y^9 - 4662098414735903046860727277048/11756951575961708584875741247*y^8 + 1550494784146263877471798234572/11756951575961708584875741247*y^7 + 3880899183125186040214353719442/11756951575961708584875741247*y^6 - 1061433439921661369658656939387/11756951575961708584875741247*y^5 - 1098946520932899547725136125987/11756951575961708584875741247*y^4 + 257607030026464996759691602986/11756951575961708584875741247*y^3 + 11221094877530473088690123690/11756951575961708584875741247*y^2 - 30523768353438910524066573245/11756951575961708584875741247*y - 5746227308440523022521412663/11756951575961708584875741247

21903785262859958694508312098/11756951575961708584875741247*y^19 + 46883194382498036062192189061/11756951575961708584875741247*y^18 - 339053319425574914410375665912/11756951575961708584875741247*y^17 - 1918881785502939502160508581072/11756951575961708584875741247*y^16 - 1982175994830782233842184032960/11756951575961708584875741247*y^15 + 4567474910217388361545092817772/11756951575961708584875741247*y^14 + 14450912890754843303823372361256/11756951575961708584875741247*y^13 + 6065510349876117067807631096934/11756951575961708584875741247*y^12 - 14264076341965305219696125382291/11756951575961708584875741247*y^11 - 17820548108852079413590363939563/11756951575961708584875741247*y^10 + 3145536344002998326361707741959/11756951575961708584875741247*y^9 + 25592965882084831636039736091658/11756951575961708584875741247*y^8 - 1408504341486899468046826251351/11756951575961708584875741247*y^7 - 25239575958005030051829642393251/11756951575961708584875741247*y^6 + 98042565341540140250896739099/11756951575961708584875741247*y^5 + 8499026662288730390055211457343/11756951575961708584875741247*y^4 - 743292365623855990371296744680/11756951575961708584875741247*y^3 - 667211522513361506320871606647/11756951575961708584875741247*y^2 + 134459850593096479236336830170/11756951575961708584875741247*y - 36911637405312108816294166150/11756951575961708584875741247

-18713134152647617079346318651/576090627222123720658911321103*y^19 + 12390208661362842763843276546/576090627222123720658911321103*y^18 + 377710518391656653508256708118/576090627222123720658911321103*y^17 + 793897547104652971749537342465/576090627222123720658911321103*y^16 - 2503749928588890699962743891811/576090627222123720658911321103*y^15 - 6833289039366101202334808638425/576090627222123720658911321103*y^14 - 539707504869182908046136073863/576090627222123720658911321103*y^13 + 24002571247906882841143101917199/576090627222123720658911321103*y^12 + 15231560154293633680674015212045/576090627222123720658911321103*y^11 - 17603955209922557337090888740710/576090627222123720658911321103*y^10 - 33438297618943976283495878239551/576090627222123720658911321103*y^9 - 129660775972395278670334465851/11756951575961708584875741247*y^8 + 55142380016715605368923867551775/576090627222123720658911321103*y^7 + 2328994999606223705239977539061/576090627222123720658911321103*y^6 - 41498538049400247831149798623860/576090627222123720658911321103*y^5 + 4808217983855695697530521148017/576090627222123720658911321103*y^4 + 7623356581391429016288447650765/576090627222123720658911321103*y^3 + 50682060744963097563206989597/82298661031731960094130188729*y^2 - 203979892779906410855309319387/576090627222123720658911321103*y + 57256331436801102136306234463/576090627222123720658911321103

-8829308541397143225879627560/82298661031731960094130188729*y^19 - 20432499660980590402047994136/82298661031731960094130188729*y^18 + 129091192024717082046577637638/82298661031731960094130188729*y^17 + 793319555283231465887677345540/82298661031731960094130188729*y^16 + 1009548975509212227192449730850/82298661031731960094130188729*y^15 - 1408302841038281581366766812399/82298661031731960094130188729*y^14 - 6188331238013809415710580543683/82298661031731960094130188729*y^13 - 4731958464306587467602649525912/82298661031731960094130188729*y^12 + 3514944230051345922448395207919/82298661031731960094130188729*y^11 + 9974512361590973368928995722249/82298661031731960094130188729*y^10 + 3766388749513424563044000992835/82298661031731960094130188729*y^9 - 1345591676156489619006171204366/11756951575961708584875741247*y^8 - 4898070603384564244124603369872/82298661031731960094130188729*y^7 + 5803086070817799638246634446990/82298661031731960094130188729*y^6 + 6527210850737767697133231400587/82298661031731960094130188729*y^5 + 25874437680872575366896732517/82298661031731960094130188729*y^4 - 3671167995354012700927270804687/82298661031731960094130188729*y^3 - 97632075915506631320573610281/11756951575961708584875741247*y^2 + 336391880353896643364582285223/82298661031731960094130188729*y + 196026319189304424885755829840/82298661031731960094130188729

5303583899422300131437996763/11756951575961708584875741247*y^19 + 8868032882972522032467986289/11756951575961708584875741247*y^18 - 88429212208034335302638884563/11756951575961708584875741247*y^17 - 427962800379835628400679453519/11756951575961708584875741247*y^16 - 245998111798431993601704487423/11756951575961708584875741247*y^15 + 1413644352479118024763913407194/11756951575961708584875741247*y^14 + 3043064124146062617626357802371/11756951575961708584875741247*y^13 - 402276878971914024638851062530/11756951575961708584875741247*y^12 - 4732757285360062767367687534107/11756951575961708584875741247*y^11 - 2777265042472941529060205182169/11756951575961708584875741247*y^10 + 3470769071843024423506838567486/11756951575961708584875741247*y^9 + 6483177820864067789724020995480/11756951575961708584875741247*y^8 - 3603043901061074825952800851373/11756951575961708584875741247*y^7 - 7054857740384159975079639767138/11756951575961708584875741247*y^6 + 3281295926040002248848512406146/11756951575961708584875741247*y^5 + 3077726894655737416190394619461/11756951575961708584875741247*y^4 - 1362361437716334879590014641456/11756951575961708584875741247*y^3 - 443772214163278698794916414996/11756951575961708584875741247*y^2 + 153287328074138604169244518761/11756951575961708584875741247*y + 46309361259001107314472185215/11756951575961708584875741247

2769889399360230449964290156/11756951575961708584875741247*y^19 + 3456151622660056861176416960/11756951575961708584875741247*y^18 - 48493959909671749525363572098/11756951575961708584875741247*y^17 - 205618574017941039864421004732/11756951575961708584875741247*y^16 - 29871468639782779757776901272/11756951575961708584875741247*y^15 + 838543034511607662427187716548/11756951575961708584875741247*y^14 + 1383682399304449823417646380103/11756951575961708584875741247*y^13 - 903684289446150229948568800116/11756951575961708584875741247*y^12 - 2820473730937939705909096213396/11756951575961708584875741247*y^11 - 1022442897284611071342291525336/11756951575961708584875741247*y^10 + 2593713161980290700594670073585/11756951575961708584875741247*y^9 + 3444646107613894036712485723268/11756951575961708584875741247*y^8 - 2822356634598416639694004643044/11756951575961708584875741247*y^7 - 3570148270936386004916658938065/11756951575961708584875741247*y^6 + 2404948454404818725110500501611/11756951575961708584875741247*y^5 + 1681549460288860960899279211298/11756951575961708584875741247*y^4 - 674592601400532402231669017747/11756951575961708584875741247*y^3 - 249226879786010197026950357315/11756951575961708584875741247*y^2 + 27646439488042628433062971576/11756951575961708584875741247*y + 19988249162476839146535956319/11756951575961708584875741247

3670568759173556893521545762/11756951575961708584875741247*y^19 + 5625128767206526318511976120/11756951575961708584875741247*y^18 - 62098055134934619891811034743/11756951575961708584875741247*y^17 - 288658737874361068060780082096/11756951575961708584875741247*y^16 - 129703447861018691081798864851/11756951575961708584875741247*y^15 + 1020679034772403373688776780386/11756951575961708584875741247*y^14 + 2044964880758020976866553319121/11756951575961708584875741247*y^13 - 537727928696469780943163805162/11756951575961708584875741247*y^12 - 3471013493543358515873727371519/11756951575961708584875741247*y^11 - 1963149269016525185428708071060/11756951575961708584875741247*y^10 + 2688125519610169064650872311989/11756951575961708584875741247*y^9 + 4725591059058682217708092568937/11756951575961708584875741247*y^8 - 2626139572370774919992197883555/11756951575961708584875741247*y^7 - 4888828503783988405227831141419/11756951575961708584875741247*y^6 + 2101547971986448237342680250363/11756951575961708584875741247*y^5 + 2295316855779155814009313701244/11756951575961708584875741247*y^4 - 586169980621045406107423204534/11756951575961708584875741247*y^3 - 408652674286145103314775982878/11756951575961708584875741247*y^2 + 10786220412255867672105080630/11756951575961708584875741247*y + 14681305144336235282914406290/11756951575961708584875741247


# A Gluing Matrix
{{-1,-2,-1,0,0,0,0},{-2,-3,-2,0,0,0,0},{-2,-4,-1,-2,2,1,-1},{0,0,0,0,1,1,-1},{0,0,1,-2,4,2,-2},{0,0,0,0,0,1,0},{0,0,0,0,-1,0,0}}

# B Gluing Matrix
{{1,0,0,0,0,0,0},{0,1,0,0,0,0,0},{0,0,2,0,2,0,1},{0,0,0,1,2,0,1},{0,0,0,0,4,0,0},{0,0,0,0,0,1,1},{0,0,0,0,0,0,2}}

# nu Gluing Vector
{-1, -3, -1, 1, 2, 1, 0}

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

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

# 1 Loop Invariant
86874988743462803736108131037/11756951575961708584875741247*y^19 + 132370894659940694389315606486/11756951575961708584875741247*y^18 - 1460226756798535598108739712287/11756951575961708584875741247*y^17 - 6787435342616985518765709511454/11756951575961708584875741247*y^16 - 3162632324543714811863259517978/11756951575961708584875741247*y^15 + 23105795617897991893980350635999/11756951575961708584875741247*y^14 + 46558966994574055602271458852398/11756951575961708584875741247*y^13 - 11262815122172386322385103246141/11756951575961708584875741247*y^12 - 73003828722625201034426221389402/11756951575961708584875741247*y^11 - 38378647714989332626933583332516/11756951575961708584875741247*y^10 + 56738260121842055957870134534446/11756951575961708584875741247*y^9 + 97522734080076281694747675136688/11756951575961708584875741247*y^8 - 66043786518653388888171927028332/11756951575961708584875741247*y^7 - 99427172396044970467177137973978/11756951575961708584875741247*y^6 + 57962061674632001632069398364313/11756951575961708584875741247*y^5 + 37120233135826269435532252506296/11756951575961708584875741247*y^4 - 19740313629763172582829365605429/11756951575961708584875741247*y^3 - 2971476713362716254876705721227/11756951575961708584875741247*y^2 + 1194643775447537154122597930163/11756951575961708584875741247*y + 201265323983920582500329232295/11756951575961708584875741247

# 2 Loop Invariant
45795485945936696296485527086987083807519666850659342852096398764263564735909360205097/1591792472948299051380157463397503657207457016329362607178153018357487775139126044170472*y^19 + 3429898345162952508491692373234521497772907765332230654839449410533647395531970862831/66324686372845793807506560974895985716977375680390108632423042431561990630796918507103*y^18 - 1495809345972406059901417791266995763603657190092790143500551917864263870543907278478263/3183584945896598102760314926795007314414914032658725214356306036714975550278252088340944*y^17 - 1261679290906951249791251882414577709542093261389455273063395548987979959289699566022835/530597490982766350460052487799167885735819005443120869059384339452495925046375348056824*y^16 - 1794700213829521330801586786104254951580548303292445013835030503671662964992320852344233/1061194981965532700920104975598335771471638010886241738118768678904991850092750696113648*y^15 + 11519738927537089580051497262509556893912723585520123044525267503809869815727670679167513/1591792472948299051380157463397503657207457016329362607178153018357487775139126044170472*y^14 + 55583519554925124341491830379689794556327454816160005519357030130354837599384155035795351/3183584945896598102760314926795007314414914032658725214356306036714975550278252088340944*y^13 + 711104998309371323831482674178436124188709641983019857725035470824656473163072336348005/795896236474149525690078731698751828603728508164681303589076509178743887569563022085236*y^12 - 77590107891622657589284587993714010641732113075723902653277310270898375998469277275807571/3183584945896598102760314926795007314414914032658725214356306036714975550278252088340944*y^11 - 31040555175480721839615429391232212086884104636790658103951576775365974316341404676295237/1591792472948299051380157463397503657207457016329362607178153018357487775139126044170472*y^10 + 45517009962292811301908670756611109008934948714732749896121204371299159609092170458505921/3183584945896598102760314926795007314414914032658725214356306036714975550278252088340944*y^9 + 39021710992512039844044892049676800576392150287071766334058941015457037557066302742504711/1061194981965532700920104975598335771471638010886241738118768678904991850092750696113648*y^8 - 38791366666094890291178604034996479994609208380873000774825889338512148050389944717294315/3183584945896598102760314926795007314414914032658725214356306036714975550278252088340944*y^7 - 119159752943003901951195094370267827092346063728004307090417029582533111591263998743818161/3183584945896598102760314926795007314414914032658725214356306036714975550278252088340944*y^6 + 9445206389066112931808981594278947992653328878727922676795559959127227362266719896693265/1061194981965532700920104975598335771471638010886241738118768678904991850092750696113648*y^5 + 8673839094044045457348787066091365398641750539437736204741463867502453487774254775466055/530597490982766350460052487799167885735819005443120869059384339452495925046375348056824*y^4 - 4089793617960817455357949090036216217417419020186080920462322003678156854945674237937829/1591792472948299051380157463397503657207457016329362607178153018357487775139126044170472*y^3 - 1424337246054380353521453093974184645465250086168545015107985182646708229013764655853307/530597490982766350460052487799167885735819005443120869059384339452495925046375348056824*y^2 + 41758324417040511136104253714156801154800933540623731878569277325992857463834341395441/795896236474149525690078731698751828603728508164681303589076509178743887569563022085236*y + 7349873482269056487304802065428367548527046386496015217948692090994818028890070837293677/3183584945896598102760314926795007314414914032658725214356306036714975550278252088340944

# 3 Loop Invariant
2916741372988128957251079621439456732440827229715089704862660650878721269436617186016023558722705360404435438558061/318819896750666571514188180487959901026565490111196357467988456281832554590560694672081775148683820835045771276846144*y^19 + 221637852559807420246502413175089472476380587550297761792828034705969243874638427458684831528078832847694031621443/9963121773458330359818380640248746907080171565974886170874639258807267330955021708502555473396369401095180352401442*y^18 - 21597066061692922032475484909602514179051674367047926006842601466894348888948871746572257832341212799320274987749661/159409948375333285757094090243979950513282745055598178733994228140916277295280347336040887574341910417522885638423072*y^17 - 268482659586660807938765333744643462905812336810597239658952007173320159242940220556868243017045781380785391729398483/318819896750666571514188180487959901026565490111196357467988456281832554590560694672081775148683820835045771276846144*y^16 - 340726041342826125199772050744964061293637004700558690151283919602960285562363149444296807790691369237254461926399333/318819896750666571514188180487959901026565490111196357467988456281832554590560694672081775148683820835045771276846144*y^15 + 520930541053451250008545377324325705933960872116711203838091822696608865312021432302046687173889727770205469097929145/318819896750666571514188180487959901026565490111196357467988456281832554590560694672081775148683820835045771276846144*y^14 + 2098662277748594682841699683022870715030836868716747947851019669452452550871980851827410433923239494017278883601263223/318819896750666571514188180487959901026565490111196357467988456281832554590560694672081775148683820835045771276846144*y^13 + 352200848127926186018730604137707531299144495926835886181292505920385748334690959172037168855819984210960788124658503/79704974187666642878547045121989975256641372527799089366997114070458138647640173668020443787170955208761442819211536*y^12 - 1591055780690080583664971456799571890983873488600211393016450593224196210332949207514949718779420254188412199139740375/318819896750666571514188180487959901026565490111196357467988456281832554590560694672081775148683820835045771276846144*y^11 - 740052441879417201805159232953092911623641957950384809001031164296114328125543807384468504002245673595351147963463627/79704974187666642878547045121989975256641372527799089366997114070458138647640173668020443787170955208761442819211536*y^10 - 51374008397236240448305487549607490269251987642759376628105766219149252935606723195986701966930919086605507391423443/39852487093833321439273522560994987628320686263899544683498557035229069323820086834010221893585477604380721409605768*y^9 + 1730541702854087952954986919255995392360852433758694863457406550236707761419631981036129336192741678766975625221817455/159409948375333285757094090243979950513282745055598178733994228140916277295280347336040887574341910417522885638423072*y^8 + 909529069564381536925381030841291681212973542927504809673551147426690183368348428475293309374749071202664579385700289/318819896750666571514188180487959901026565490111196357467988456281832554590560694672081775148683820835045771276846144*y^7 - 406393958863128860366253779819795287600955876691177406293606264178629268691343130694749793335092508509599835522621843/39852487093833321439273522560994987628320686263899544683498557035229069323820086834010221893585477604380721409605768*y^6 - 533038957376523896475917741428294492121462336754464607574075879785538480592182069527200791284253266418871749986236673/159409948375333285757094090243979950513282745055598178733994228140916277295280347336040887574341910417522885638423072*y^5 + 123296026213975797063282930329384601764936884045999512401633408103568117115918787863672055245736573215663321148646541/39852487093833321439273522560994987628320686263899544683498557035229069323820086834010221893585477604380721409605768*y^4 + 155214070426499038637813198307113446516874168541726333520206062933261045706714351071281531961020900651378191791315731/159409948375333285757094090243979950513282745055598178733994228140916277295280347336040887574341910417522885638423072*y^3 - 54053464786887844089751167604538200444921212415017693999808828855919232705765076474499667852498659072765621748457325/318819896750666571514188180487959901026565490111196357467988456281832554590560694672081775148683820835045771276846144*y^2 - 22483704261829804254840731545422251216808077372291741294448005740658231280526424027148014142990472775647240437394513/318819896750666571514188180487959901026565490111196357467988456281832554590560694672081775148683820835045771276846144*y - 184549896462518227206373564789907387977691584229188964032441228988801827636363131415012388661926100429819944432221/159409948375333285757094090243979950513282745055598178733994228140916277295280347336040887574341910417522885638423072