# Manifold: Census Knot K6_30

# Number of Tetrahedra: 6

# Number Field
x^21 + 11*x^20 - x^19 - 285*x^18 - 206*x^17 + 2852*x^16 + 1034*x^15 - 12073*x^14 + 101*x^13 + 17972*x^12 + 6936*x^11 - 24812*x^10 - 1612*x^9 + 18045*x^8 - 5583*x^7 - 5245*x^6 + 914*x^5 + 2259*x^4 - 902*x^3 - 5*x^2 + 59*x - 7 

# Approximate Field Generator
0.496601807986711 - 0.551567349323928*I

# Shape Parameters
-3702803982586278173239491769998577190474594/57829693130537887717475726249175670520045749*y^20 - 84259379177831048529204287488991296693616441/115659386261075775434951452498351341040091498*y^19 - 12219499956710564607103085870650530685334066/57829693130537887717475726249175670520045749*y^18 + 300163457579815881338830068562748458679014683/16522769465867967919278778928335905862870214*y^17 + 1159224167337330793743864341020963712073859681/57829693130537887717475726249175670520045749*y^16 - 20241579668305787358926438444720253879388688165/115659386261075775434951452498351341040091498*y^15 - 7639966180470318249210389650907150794564277686/57829693130537887717475726249175670520045749*y^14 + 83624469018571403832672099375571488637888640799/115659386261075775434951452498351341040091498*y^13 + 30628244213434541958054388881739926586745894099/115659386261075775434951452498351341040091498*y^12 - 121535017345091726259532188595443154454493793963/115659386261075775434951452498351341040091498*y^11 - 13783338251249117619317594117750309389410894339/16522769465867967919278778928335905862870214*y^10 + 73698383287562692354134269320581373260555260456/57829693130537887717475726249175670520045749*y^9 + 33252969575818983306166850037766717206315495540/57829693130537887717475726249175670520045749*y^8 - 109170057419489916700017407213362626530787214167/115659386261075775434951452498351341040091498*y^7 + 677376278292254686710977146703327136003758292/57829693130537887717475726249175670520045749*y^6 + 39676931137492028307157412257084193603744696617/115659386261075775434951452498351341040091498*y^5 + 3743479430082578566567593797566210581003182724/57829693130537887717475726249175670520045749*y^4 - 6907254337567669704484502584439063754381838848/57829693130537887717475726249175670520045749*y^3 + 818386151786365851204844735260232381365318478/57829693130537887717475726249175670520045749*y^2 + 381054254081151943052776239433272803603132900/57829693130537887717475726249175670520045749*y - 3834204385627850693433729901841570037912831/2360395637981138274182682704047986551838602

1008018585099636040205034524379102406647607/57829693130537887717475726249175670520045749*y^20 + 10831580474031182024646069604404940713407290/57829693130537887717475726249175670520045749*y^19 - 4133406814538215389098821766297078342797988/57829693130537887717475726249175670520045749*y^18 - 41491302914858421814794012451211513653882244/8261384732933983959639389464167952931435107*y^17 - 135163127945692734115526475518498950567471429/57829693130537887717475726249175670520045749*y^16 + 3013515424346142980043189511982677059584186319/57829693130537887717475726249175670520045749*y^15 + 395645413054849681801570879948631780508984188/57829693130537887717475726249175670520045749*y^14 - 13269619382898414777358226603879007602385267027/57829693130537887717475726249175670520045749*y^13 + 2675141529946907749533857100155380002761509217/57829693130537887717475726249175670520045749*y^12 + 21565025592371543548762421482951437112877846935/57829693130537887717475726249175670520045749*y^11 + 64861656688164784003604185704387676663170438/1180197818990569137091341352023993275919301*y^10 - 31919581407314964039561479315978022976820776742/57829693130537887717475726249175670520045749*y^9 + 1595699757264464547989819099400380388266788844/57829693130537887717475726249175670520045749*y^8 + 25222383568195678994370023948433217281304875359/57829693130537887717475726249175670520045749*y^7 - 8468705757626239309344025015253051810412618929/57829693130537887717475726249175670520045749*y^6 - 8903002381233826141815218570307776723543364813/57829693130537887717475726249175670520045749*y^5 + 3015863463306378153130864595712983676427677755/57829693130537887717475726249175670520045749*y^4 + 3781774628757705516598592674640296188364961774/57829693130537887717475726249175670520045749*y^3 - 1637896344427826220313393879267186039888281615/57829693130537887717475726249175670520045749*y^2 - 383461187708468234620440563770023396408324859/57829693130537887717475726249175670520045749*y + 41561476620636960917101222857154194933731527/8261384732933983959639389464167952931435107

-1289460955579055778664807350893412619/237607775113865338653380582247633033203*y^20 - 16199330838990426956684008782634683800/237607775113865338653380582247633033203*y^19 - 20622046703185809607569346468730431928/237607775113865338653380582247633033203*y^18 + 371556204991642366704369841703935457202/237607775113865338653380582247633033203*y^17 + 831952485254975562478548827870953141866/237607775113865338653380582247633033203*y^16 - 3326837649983823755020700901170152573664/237607775113865338653380582247633033203*y^15 - 6918160109012954709445195115694235445139/237607775113865338653380582247633033203*y^14 + 14167636310365694247850045273543141060087/237607775113865338653380582247633033203*y^13 + 22238227764018969588599460260068017474107/237607775113865338653380582247633033203*y^12 - 25231259893778278877056237128912282885208/237607775113865338653380582247633033203*y^11 - 36514002993201135273774441332593450614921/237607775113865338653380582247633033203*y^10 + 15046289637902385965439735419894826239258/237607775113865338653380582247633033203*y^9 + 45884715412253936733683118397272138109841/237607775113865338653380582247633033203*y^8 - 26203881973220999176576885164150505962333/237607775113865338653380582247633033203*y^7 - 9793186898074575703380983489403625739661/237607775113865338653380582247633033203*y^6 + 7897583170026225985186539740642425468087/237607775113865338653380582247633033203*y^5 + 8115473786065195599061933949001637831607/237607775113865338653380582247633033203*y^4 - 3115802882853668244987036519727931923277/237607775113865338653380582247633033203*y^3 - 1166719386823494645800917154149213273065/237607775113865338653380582247633033203*y^2 + 38528251761934823871258096463416997173/237607775113865338653380582247633033203*y + 92730394451835780662951218292140631787/237607775113865338653380582247633033203

-256623962064814417609310163765185759716387/57829693130537887717475726249175670520045749*y^20 - 3125388229438579348893787241917975936150381/57829693130537887717475726249175670520045749*y^19 - 3153823650612681245123247710436409682607713/57829693130537887717475726249175670520045749*y^18 + 10355528654976041452387233786228020743133659/8261384732933983959639389464167952931435107*y^17 + 138646419641980993378431048453476995825211155/57829693130537887717475726249175670520045749*y^16 - 646645803938173983770434818259360107964641450/57829693130537887717475726249175670520045749*y^15 - 1099811004990508863962844791050104246928707716/57829693130537887717475726249175670520045749*y^14 + 2573331652851844509473148613193090659690100910/57829693130537887717475726249175670520045749*y^13 + 3448915580960884634197541010810208660607053931/57829693130537887717475726249175670520045749*y^12 - 3813395728531001158685514361578458136012450690/57829693130537887717475726249175670520045749*y^11 - 140992332118832543061105361164974164552660242/1180197818990569137091341352023993275919301*y^10 + 3220625716445077844800334752699493467782731328/57829693130537887717475726249175670520045749*y^9 + 7032688200072746648870175956012314353348807044/57829693130537887717475726249175670520045749*y^8 - 2840937997014971296879317265644523074099029048/57829693130537887717475726249175670520045749*y^7 - 3615944902386235110939812489939384600676666098/57829693130537887717475726249175670520045749*y^6 + 2094534476525310812383463040430484076751764957/57829693130537887717475726249175670520045749*y^5 + 1504660645017627701775419684067903851748017561/57829693130537887717475726249175670520045749*y^4 - 728663580667954512048452738277235669092140101/57829693130537887717475726249175670520045749*y^3 - 378421094782970054419415391148127884375086824/57829693130537887717475726249175670520045749*y^2 + 173627546693042312330135796812536652023866127/57829693130537887717475726249175670520045749*y + 1008018585099636040205034524379102406647607/8261384732933983959639389464167952931435107

-351847954363362565713200572487060152753112/57829693130537887717475726249175670520045749*y^20 - 3882813887171545183359801196173426078390683/57829693130537887717475726249175670520045749*y^19 + 313700922245666931479668784369926043097358/57829693130537887717475726249175670520045749*y^18 + 14495797921261178416305383401985552456631282/8261384732933983959639389464167952931435107*y^17 + 77013300795139555139048510347759048884307171/57829693130537887717475726249175670520045749*y^16 - 1028304655558664018256373936512315433841814955/57829693130537887717475726249175670520045749*y^15 - 444859558840962151786933636819311443399224959/57829693130537887717475726249175670520045749*y^14 + 4476965121911363839278482040403146267396149294/57829693130537887717475726249175670520045749*y^13 + 440629592438600570191825553875338642720796313/57829693130537887717475726249175670520045749*y^12 - 7229791562168110655845820225284202111458723509/57829693130537887717475726249175670520045749*y^11 - 71596635241780847146591196154397051833949130/1180197818990569137091341352023993275919301*y^10 + 9678746272046453591386470901383286655906077007/57829693130537887717475726249175670520045749*y^9 + 2638491737446183723468460428126582213759055375/57829693130537887717475726249175670520045749*y^8 - 7249794419700609314257507878681995103682972663/57829693130537887717475726249175670520045749*y^7 + 540134608595918245461992729282761520730444762/57829693130537887717475726249175670520045749*y^6 + 2577696996941943035666915938229928431473127520/57829693130537887717475726249175670520045749*y^5 + 65378789264805896168280895214649211919226332/57829693130537887717475726249175670520045749*y^4 - 1080429853539796239050194840817046603417577286/57829693130537887717475726249175670520045749*y^3 - 16338129709370555940795467398442969605126612/57829693130537887717475726249175670520045749*y^2 + 36290974684131598646570606376856340003048595/57829693130537887717475726249175670520045749*y + 4842905891384118242295021750322113014141613/8261384732933983959639389464167952931435107

957192387409817847419924696206673792438/11642780980579401594015648530134018626947*y^20 + 11021703513504722332119712137776345639897/11642780980579401594015648530134018626947*y^19 + 4709510778409635154813429524800985752348/11642780980579401594015648530134018626947*y^18 - 270435827765838682659960073899725343583251/11642780980579401594015648530134018626947*y^17 - 336368731290606859071589724430912648812727/11642780980579401594015648530134018626947*y^16 + 2558296570105381652091840881220986929137216/11642780980579401594015648530134018626947*y^15 + 2307900148789926795128479235287695730328811/11642780980579401594015648530134018626947*y^14 - 10382715682666190976545273454565586317862322/11642780980579401594015648530134018626947*y^13 - 5257208285739595236042365840207410017798121/11642780980579401594015648530134018626947*y^12 + 14554550595329818001255452615715712678975888/11642780980579401594015648530134018626947*y^11 + 14152976397425728691682624188999400120923473/11642780980579401594015648530134018626947*y^10 - 16542360752592010744044589124077024883285250/11642780980579401594015648530134018626947*y^9 - 10139734774613816453866891545420304394672934/11642780980579401594015648530134018626947*y^8 + 12141616993903725544562360936888999651323955/11642780980579401594015648530134018626947*y^7 + 964219316037533799081126657729780295136757/11642780980579401594015648530134018626947*y^6 - 4562818439447619330583354894290777141085858/11642780980579401594015648530134018626947*y^5 - 1482283096383778230507026977224795439007788/11642780980579401594015648530134018626947*y^4 + 1402671620962564218686179972683846159794831/11642780980579401594015648530134018626947*y^3 - 134063088928031774632533590975022881195952/11642780980579401594015648530134018626947*y^2 - 82458137728551271552301199993795409072064/11642780980579401594015648530134018626947*y + 21609251408729537806107607538533580267756/11642780980579401594015648530134018626947


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

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

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

# f Combinatorial flattening
{-2, 0, 2, 1, 0, -1}

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

# 1 Loop Invariant
-78527588723530767563171660725575605807431972/57829693130537887717475726249175670520045749*y^20 - 868934633560989966936485910153548024354291854/57829693130537887717475726249175670520045749*y^19 + 27014557442149826543761034421673199380996014/57829693130537887717475726249175670520045749*y^18 + 6412081424434000578591012149049680316666707893/16522769465867967919278778928335905862870214*y^17 + 17664090412232295786615448690142714780628890621/57829693130537887717475726249175670520045749*y^16 - 448580853953433806046089685942710595901820213653/115659386261075775434951452498351341040091498*y^15 - 195122376585200387568499541101103466251977319723/115659386261075775434951452498351341040091498*y^14 + 955810756119000240849136950832563170307775745602/57829693130537887717475726249175670520045749*y^13 + 65662539378478989793669988299318348148772427860/57829693130537887717475726249175670520045749*y^12 - 1464458764990599513950120667507467852352153521549/57829693130537887717475726249175670520045749*y^11 - 13514086748220239554044378603974433911305147737/1180197818990569137091341352023993275919301*y^10 + 1985669362449550786521683100884366363208289888142/57829693130537887717475726249175670520045749*y^9 + 322636493072277358610691409865852216246614020245/57829693130537887717475726249175670520045749*y^8 - 2986197361652682153503274789334335255338298247751/115659386261075775434951452498351341040091498*y^7 + 597354761767778297425545388352188839511722123209/115659386261075775434951452498351341040091498*y^6 + 502127258900923932319067744135862688519417349469/57829693130537887717475726249175670520045749*y^5 - 43498010665823256148472517810769454561574804193/57829693130537887717475726249175670520045749*y^4 - 203801411927371883691104320679382943436323245567/57829693130537887717475726249175670520045749*y^3 + 105303500786278840475293848504910090320176077723/115659386261075775434951452498351341040091498*y^2 + 24356849367730854483799258258389022970806330785/115659386261075775434951452498351341040091498*y - 1383550280205219248676981158066615563087519903/16522769465867967919278778928335905862870214

# 2 Loop Invariant
20591568317892224423471855434035873503720490330581763502960874654480653465948806292036930702106915333635859892017/13516155507350002947022282716597507948286817356254025970822834403585072499667957513239190064704544687194222522209392*y^20 + 222280278202877942872314671027859571997184268134903463571410032797071570441856658689210020434901092886082896381523/13516155507350002947022282716597507948286817356254025970822834403585072499667957513239190064704544687194222522209392*y^19 - 5883187881572386536456513608859455873212635217225520334048877151195784361149433526848968919811046759342181118225/1126346292279166912251856893049792329023901446354502164235236200298756041638996459436599172058712057266185210184116*y^18 - 843307771483598568331677885104301598834391012464480425375440145182080059791583065877849748916561815352797053614557/1930879358192857563860326102371072564040973908036289424403262057655010357095422501891312866386363526742031788887056*y^17 - 1011743426098945065464505312868086528223208241652689748933799351860624504659428890704549222412465609562938211306291/4505385169116667649007427572199169316095605785418008656940944801195024166555985837746396688234848229064740840736464*y^16 + 10100368169059050101333990888928596415203209409034050951666343369341633713949715002976422525366443711775226508839223/2252692584558333824503713786099584658047802892709004328470472400597512083277992918873198344117424114532370420368232*y^15 + 5003552295850333234919909529777894643511833896370665794345924459190816847538970662676897872027866438137759229907119/6758077753675001473511141358298753974143408678127012985411417201792536249833978756619595032352272343597111261104696*y^14 - 43841861422557473031038899230056635119452240904264891352604265040124391252778369763130195839947912255635097739203907/2252692584558333824503713786099584658047802892709004328470472400597512083277992918873198344117424114532370420368232*y^13 + 24472662905561880830020404917759942228542435598910230640090560821192942788274067229574624463921353335049576371421325/6758077753675001473511141358298753974143408678127012985411417201792536249833978756619595032352272343597111261104696*y^12 + 51616453204929419618731036885960751592923170065153430303776185208447359847783634847017762575202575798268710123319585/1689519438418750368377785339574688493535852169531753246352854300448134062458494689154898758088068085899277815276174*y^11 + 1402764313457806486612647320546049632875745624121888280280332066005218207484163794452388876166078677664808387524909/275839908313265366265760871767296080577281986862327060629037436807858622442203214555901838055194789534575969841008*y^10 - 25335710228144085410602402982552667128006366001133505462959717794407336217651484837909424208938563835083355872016927/563173146139583456125928446524896164511950723177251082117618100149378020819498229718299586029356028633092605092058*y^9 + 1870542802346464712634697142597679385863728058932214525304012387020408849459654571677185593537551827961470527971079/563173146139583456125928446524896164511950723177251082117618100149378020819498229718299586029356028633092605092058*y^8 + 235561321000849341831016810665486814821944480191277472473108739021959895090057484111691070518461244973562476486456763/6758077753675001473511141358298753974143408678127012985411417201792536249833978756619595032352272343597111261104696*y^7 - 178940168426307132659352733278602286599840404303054320373977367292191151475879210311169715825384786716112379618661785/13516155507350002947022282716597507948286817356254025970822834403585072499667957513239190064704544687194222522209392*y^6 - 78139382032148605058510898019422457904914732888290276402514511086477571430670551978048969389825766687774818633515403/6758077753675001473511141358298753974143408678127012985411417201792536249833978756619595032352272343597111261104696*y^5 + 58247062158284408869444705534181086082892537926923229591523077866360759336898802118498485880729872358685289532165973/13516155507350002947022282716597507948286817356254025970822834403585072499667957513239190064704544687194222522209392*y^4 + 33584115214553607150941828916648419956143621071759640271295574025215092555819078129607090442573375207925011553661505/6758077753675001473511141358298753974143408678127012985411417201792536249833978756619595032352272343597111261104696*y^3 - 35396707134361000603203093889772269497843927639329133923680332416588677503559398342530596087476666859283393678055277/13516155507350002947022282716597507948286817356254025970822834403585072499667957513239190064704544687194222522209392*y^2 - 1848337040604429678552352166807546672076893467347737634983996839644614839140203239165626201548201447494712336315551/4505385169116667649007427572199169316095605785418008656940944801195024166555985837746396688234848229064740840736464*y + 1400149391390376544014082801002541877133144065411229261078681648729885761472189159831764816217183041064684486164155/1930879358192857563860326102371072564040973908036289424403262057655010357095422501891312866386363526742031788887056

# 3 Loop Invariant
276114499229048276705933401213699631155008219968653471291935360189370887589777927368952697442655064373170494115047694836951574268614847617526031987/314385460200554817858041685654326275206732248530466631413938220291151254442744297602375199365762672616961073779212915368261912548439755451056534343696*y^20 + 3078735243902346323705473345181340136324802080166351463662967701745998713421314326243056053206992232395730256564349319011800855350137941307291113125/314385460200554817858041685654326275206732248530466631413938220291151254442744297602375199365762672616961073779212915368261912548439755451056534343696*y^19 + 82662507596648772801576979013585477620246504671375171796620866429662546737134099644303185164197618242477305566982802517570143437039331720236654377/157192730100277408929020842827163137603366124265233315706969110145575627221372148801187599682881336308480536889606457684130956274219877725528267171848*y^18 - 22542451484984141446115565874617552653548595281856403208402762413503141846636930619216090873063868274492919851072746749609049249357695695820301908425/89824417200158519388011910186950364344780642437276180403982348654614644126498370743535771247360763604846021079775118676646260728125644414587581241056*y^17 - 68703335701580848917884140512828616692312523825326257076183287204072148718563247019250602708055691929607457360575452996595403048646711547930254547835/314385460200554817858041685654326275206732248530466631413938220291151254442744297602375199365762672616961073779212915368261912548439755451056534343696*y^16 + 3132676733461375951277102196504201740226666185292227033593597962745520060131234422384150870306414612261602672203341455453358570573920416782749152514519/1257541840802219271432166742617305100826928994121866525655752881164605017770977190409500797463050690467844295116851661473047650193759021804226137374784*y^15 + 814755439425198697923771304346662894697516217536545189718618516942426766179891732292739778898739688240319541548087077584365147945225442393280082252789/628770920401109635716083371308652550413464497060933262827876440582302508885488595204750398731525345233922147558425830736523825096879510902113068687392*y^14 - 208297337783377490791867756206509672360895919763680973044294134923336205800722581419212876640017626443229561103197893948609209000810271408443156001998/19649091262534676116127605353395392200420765533154164463371138768196953402671518600148449960360167038560067111200807210516369534277484715691033396481*y^13 - 988575710979788028401313914868443390021557115252433523001794410527784155266227079605181246049874396411761021118300212644836415082043685289198003408841/628770920401109635716083371308652550413464497060933262827876440582302508885488595204750398731525345233922147558425830736523825096879510902113068687392*y^12 + 5144597397515480624822802183226709742849874034098283262224534738786655543265288918571934558610559304841051776652542499399129504467574148683980084162501/314385460200554817858041685654326275206732248530466631413938220291151254442744297602375199365762672616961073779212915368261912548439755451056534343696*y^11 + 219473184489432512542578506570880154995582832210672727893380182300471201159056505891254719931139923718520382200211423476915482998589830837434480111079/25664119200045291253717688624842961241365897839221765829709242472747041178999534498153077499245932458527434594221462479041788779464469832739308926016*y^10 - 27314231061765844858430659389071747001505281575927975422219316318262083924895253604394725975375707913586446831050080751876726977237894391678846130784487/1257541840802219271432166742617305100826928994121866525655752881164605017770977190409500797463050690467844295116851661473047650193759021804226137374784*y^9 - 101948018790124105284975637962473819851607029075188806129108930243854473221837155058379111938565157423640974550472457044023922582136612144830199775747/19649091262534676116127605353395392200420765533154164463371138768196953402671518600148449960360167038560067111200807210516369534277484715691033396481*y^8 + 10506029422370762306849500908032353373646528054252745725074964031008595148010538628476945416508237066310109893914455954677119844388473434859570386184641/628770920401109635716083371308652550413464497060933262827876440582302508885488595204750398731525345233922147558425830736523825096879510902113068687392*y^7 - 2804957107910946818636809588264539369167115340473290258007925234079695835375409115444953665690249978281585812280077610084508774169148508223053999554457/1257541840802219271432166742617305100826928994121866525655752881164605017770977190409500797463050690467844295116851661473047650193759021804226137374784*y^6 - 956773605726858559953064554970102763572536097974316086680179952107944283553585986249794970120971599402737004638490053147197780139559327754767284768649/157192730100277408929020842827163137603366124265233315706969110145575627221372148801187599682881336308480536889606457684130956274219877725528267171848*y^5 + 304628151895137600942519411642442787350079793736091366789768553004726921736016347452107700223091656292545861251439822812848066246637053465182200151561/1257541840802219271432166742617305100826928994121866525655752881164605017770977190409500797463050690467844295116851661473047650193759021804226137374784*y^4 + 732584136090093720769650165747497480380147656007231579779184303775555158199256991332997457921811619393794334723989062290013955871705505955452895574529/314385460200554817858041685654326275206732248530466631413938220291151254442744297602375199365762672616961073779212915368261912548439755451056534343696*y^3 - 144052394450410382830577480078978753931852821814856937746992154263610687331959332224201247412685797636258146058598835057255692420809167158197184258031/314385460200554817858041685654326275206732248530466631413938220291151254442744297602375199365762672616961073779212915368261912548439755451056534343696*y^2 - 259084203100809894122169018039886726858528507166023181643903260240197259417829976950130473106675380964583678286934029646729312679906712382838870245487/1257541840802219271432166742617305100826928994121866525655752881164605017770977190409500797463050690467844295116851661473047650193759021804226137374784*y + 6273233953554950906155114006873892704610968807175174622565788545433971849845332276296450162689880715287326575046289694033149595733302021991947385651/89824417200158519388011910186950364344780642437276180403982348654614644126498370743535771247360763604846021079775118676646260728125644414587581241056