# Manifold: Census Knot K7_29

# Number of Tetrahedra: 7

# Number Field
x^29 - 5/3*x^28 - 124/3*x^27 + 18*x^26 + 1765/3*x^25 - 232/3*x^24 - 12406/3*x^23 + 1495/3*x^22 + 48461/3*x^21 - 10847/3*x^20 - 109480/3*x^19 + 40132/3*x^18 + 146269/3*x^17 - 76901/3*x^16 - 127489/3*x^15 + 91180/3*x^14 + 92147/3*x^13 - 81991/3*x^12 - 54949/3*x^11 + 56491/3*x^10 + 18580/3*x^9 - 9712*x^8 - 3361/3*x^7 + 10054/3*x^6 + 1300/3*x^5 - 1639/3*x^4 - 352/3*x^3 + 53/3*x^2 + 10/3*x - 1/3 

# Approximate Field Generator
-0.386993924447098 + 0.0735213279455381*I

# Shape Parameters
-24887872938534541889701732400942939042371924995800847946960791/591916782229453522391145425467472309741617844070632541537217*y^28 + 60615691871266551830345458739072219369982244012588082364875385/591916782229453522391145425467472309741617844070632541537217*y^27 + 982221365372362142890961976226737892456891765741483235918778549/591916782229453522391145425467472309741617844070632541537217*y^26 - 1203549916243587700619555191632262963975335797958381396023903476/591916782229453522391145425467472309741617844070632541537217*y^25 - 13721974105335090567032507170230632592218048887473571708954792196/591916782229453522391145425467472309741617844070632541537217*y^24 + 12483056486998656591125743993721608367371099474596080154995205819/591916782229453522391145425467472309741617844070632541537217*y^23 + 93390901484130134115016866343854369307192795306644915236740695720/591916782229453522391145425467472309741617844070632541537217*y^22 - 84295576928345176989782085496891243017066009390810010896713745461/591916782229453522391145425467472309741617844070632541537217*y^21 - 337681525209679033273817801690216593657627010308651074533269270377/591916782229453522391145425467472309741617844070632541537217*y^20 + 350209036273829389202924798908828122600848224241867063606248983685/591916782229453522391145425467472309741617844070632541537217*y^19 + 640589183020388234048450550902492236998915427946437772834871049785/591916782229453522391145425467472309741617844070632541537217*y^18 - 827826417218908936478932580925951619775840799734912684632626055399/591916782229453522391145425467472309741617844070632541537217*y^17 - 579704504229872225558884936955961309949403184456249354450979519983/591916782229453522391145425467472309741617844070632541537217*y^16 + 1089019501237736763326997887233204459354891601262223662325237963659/591916782229453522391145425467472309741617844070632541537217*y^15 + 221993732490079431640220731728199330948784709499420170055093705666/591916782229453522391145425467472309741617844070632541537217*y^14 - 933713277750239885236036447818319516578095540384817450921541988823/591916782229453522391145425467472309741617844070632541537217*y^13 - 45918301251123803448767466041144485853830863539501398027565128448/591916782229453522391145425467472309741617844070632541537217*y^12 + 720705536116791905426022833894716007683096626696479644825103672730/591916782229453522391145425467472309741617844070632541537217*y^11 - 99555600370904762996052307610175233821285730513620813030488985617/591916782229453522391145425467472309741617844070632541537217*y^10 - 395895592906944827127705286976983128229532104229361764853193813286/591916782229453522391145425467472309741617844070632541537217*y^9 + 151917489421460372776262910288169930901810059791129578681285329019/591916782229453522391145425467472309741617844070632541537217*y^8 + 126795795572268684884597379196179610026636414967132379356874718951/591916782229453522391145425467472309741617844070632541537217*y^7 - 71024274294345311803536280660643604300312854188225321241944853065/591916782229453522391145425467472309741617844070632541537217*y^6 - 29202369446962244640377494840460845661283953014598558397614755755/591916782229453522391145425467472309741617844070632541537217*y^5 + 12225833136866533378363184081654310705722001073748221352066140093/591916782229453522391145425467472309741617844070632541537217*y^4 + 4227214922909047565626898278158610142099132457507149643704296916/591916782229453522391145425467472309741617844070632541537217*y^3 - 427357030592557168651112326505667481336245806673356391527008786/591916782229453522391145425467472309741617844070632541537217*y^2 - 116542633070935403225261598533726077068334856453775716848192947/591916782229453522391145425467472309741617844070632541537217*y + 11961842274406401915885571616588983677841174168381806717386248/591916782229453522391145425467472309741617844070632541537217

-88283092172717765364504464187288211353364182407973063951413724/591916782229453522391145425467472309741617844070632541537217*y^28 + 214881784827840488919106086049505225469729166028958862185927391/591916782229453522391145425467472309741617844070632541537217*y^27 + 3484507837023429417889075051000930139637727828915467328770065051/591916782229453522391145425467472309741617844070632541537217*y^26 - 4263865038711931589121460995300141600912645569050742925222666475/591916782229453522391145425467472309741617844070632541537217*y^25 - 48682088967888505385708134088954023222951595672863904472562260082/591916782229453522391145425467472309741617844070632541537217*y^24 + 44203683782755189616475660451294941696164256665031998983327382811/591916782229453522391145425467472309741617844070632541537217*y^23 + 331355518307542906143892538603910351673926264611389115940089734783/591916782229453522391145425467472309741617844070632541537217*y^22 - 298482814048950614632541972040511728330933809035483581938006448170/591916782229453522391145425467472309741617844070632541537217*y^21 - 1198366869233068314444004752683281099038988050110128157664052678237/591916782229453522391145425467472309741617844070632541537217*y^20 + 1240280831276078936575031603242198459008868254519935990762459206109/591916782229453522391145425467472309741617844070632541537217*y^19 + 2274615627391689572349981952013712724374899388817244784455655167308/591916782229453522391145425467472309741617844070632541537217*y^18 - 2932535730725790851801321988379839126274578044751487314300325242315/591916782229453522391145425467472309741617844070632541537217*y^17 - 2062125961269715623853051123023389449535422851091556770131802611503/591916782229453522391145425467472309741617844070632541537217*y^16 + 3859274048826377108684450397817838711275361705271020213536400464710/591916782229453522391145425467472309741617844070632541537217*y^15 + 795783368646140085984214990849196396774162758762939699821925458196/591916782229453522391145425467472309741617844070632541537217*y^14 - 3311066754411163379706257435430595148871129540924388331058223490706/591916782229453522391145425467472309741617844070632541537217*y^13 - 170404950317475177469482031162231276357118527599178563601295821902/591916782229453522391145425467472309741617844070632541537217*y^12 + 2557196722704090546589662664251185036105085741857403417673781309181/591916782229453522391145425467472309741617844070632541537217*y^11 - 347621874362573234778872872092329212089895215770054658429388989950/591916782229453522391145425467472309741617844070632541537217*y^10 - 1405723699509392818935109155963458740095659826065474490725080549274/591916782229453522391145425467472309741617844070632541537217*y^9 + 535608993992579836683836707327440135207721138303071852107394215983/591916782229453522391145425467472309741617844070632541537217*y^8 + 451437523404881818280764933406995168435678872922013708096304152588/591916782229453522391145425467472309741617844070632541537217*y^7 - 250868771112073366045050956780364347827014877595239323641191668726/591916782229453522391145425467472309741617844070632541537217*y^6 - 104487831729068541368276721941929592322471786182152390342170513211/591916782229453522391145425467472309741617844070632541537217*y^5 + 43240720952929989272773075954381864427074421274784957771484834057/591916782229453522391145425467472309741617844070632541537217*y^4 + 15186843676897829930923832748962647379799400144180857694632214243/591916782229453522391145425467472309741617844070632541537217*y^3 - 1501336138115945259141682307739131666816324997145130439920205475/591916782229453522391145425467472309741617844070632541537217*y^2 - 422574434824347517561234040499206510093265635563220375316037171/591916782229453522391145425467472309741617844070632541537217*y + 39101579828899446203186670473719609786675242463043258874257784/591916782229453522391145425467472309741617844070632541537217

-53044400706899174812120597481257682042633394070525353992120364/591916782229453522391145425467472309741617844070632541537217*y^28 + 128954225825567838284518099880482479366595030880249474874661672/591916782229453522391145425467472309741617844070632541537217*y^27 + 2093997567476365063070068196866123272695268946687091013611274880/591916782229453522391145425467472309741617844070632541537217*y^26 - 2555633804042467909460633500408911993103611617866096169636564813/591916782229453522391145425467472309741617844070632541537217*y^25 - 29256869036306510702548780013639918839622647283364585056919176129/591916782229453522391145425467472309741617844070632541537217*y^24 + 26470249018086645039071261617611720157282064090155592449537729876/591916782229453522391145425467472309741617844070632541537217*y^23 + 199158198884463774283170195666184062909223483867942345914942924823/591916782229453522391145425467472309741617844070632541537217*y^22 - 178717662828794608723691406626119706106285426724083850441685979450/591916782229453522391145425467472309741617844070632541537217*y^21 - 720486284971271042625410615758387635299355495495027492806921295571/591916782229453522391145425467472309741617844070632541537217*y^20 + 742848379875430206197728469162223143701239421554486152185108316679/591916782229453522391145425467472309741617844070632541537217*y^19 + 1368732398023755074115409308824396096439999001140964320938921108626/591916782229453522391145425467472309741617844070632541537217*y^18 - 1757092022190799621503665096648120437065709322158815177345323968937/591916782229453522391145425467472309741617844070632541537217*y^17 - 1244395914316708571963925702024484652918125152897020011908628391996/591916782229453522391145425467472309741617844070632541537217*y^16 + 2313590335504936044779096025472669367053901411848303826382126229028/591916782229453522391145425467472309741617844070632541537217*y^15 + 486238411958072818724032506459320905657364183924832908447414367800/591916782229453522391145425467472309741617844070632541537217*y^14 - 1986852694118891589407662490950571130281617889780203953512378870053/591916782229453522391145425467472309741617844070632541537217*y^13 - 110023331089120269272755204358338905595691442209082667408359518903/591916782229453522391145425467472309741617844070632541537217*y^12 + 1535931486314015318259669167854799679473275785988216930574902793985/591916782229453522391145425467472309741617844070632541537217*y^11 - 203110504679644602023130750647134435961042549147391843315159736279/591916782229453522391145425467472309741617844070632541537217*y^10 - 845146049027318924613119482992828598925193224453177763181598177264/591916782229453522391145425467472309741617844070632541537217*y^9 + 318301985015011237352389752977657008590218373691977921524131465616/591916782229453522391145425467472309741617844070632541537217*y^8 + 272507026150884181590857638076715401107155918619561082836471416372/591916782229453522391145425467472309741617844070632541537217*y^7 - 149470747228846846084924705576637222224503504502308892684444237342/591916782229453522391145425467472309741617844070632541537217*y^6 - 63567295815974044186521042319541589098040783138587483434666155998/591916782229453522391145425467472309741617844070632541537217*y^5 + 25778846469525060145071071705740488016169589158239979895752505674/591916782229453522391145425467472309741617844070632541537217*y^4 + 9283142101436021771638049128281681565239932590287456285720459702/591916782229453522391145425467472309741617844070632541537217*y^3 - 885682512732083870308366536030557215225895184668012126377015560/591916782229453522391145425467472309741617844070632541537217*y^2 - 262018155292148611418553248512946854091069324098088210446425949/591916782229453522391145425467472309741617844070632541537217*y + 23446380360011213048862836619276714186652753932505199636393614/591916782229453522391145425467472309741617844070632541537217

-1465161741931709119648695281349285845512608563363803885771453794/591916782229453522391145425467472309741617844070632541537217*y^28 + 3556507630692657007722627438946027449331963361159869780374830933/591916782229453522391145425467472309741617844070632541537217*y^27 + 57854704322260381782050303352403073926865474566573011039494306974/591916782229453522391145425467472309741617844070632541537217*y^26 - 70384341154787128615957958136768056733955965443760630722130139432/591916782229453522391145425467472309741617844070632541537217*y^25 - 808467925174688923126270935351031118939299829567722996499911538576/591916782229453522391145425467472309741617844070632541537217*y^24 + 728329460151452290523294282086686841248751119546716649250690074970/591916782229453522391145425467472309741617844070632541537217*y^23 + 5504976471148334031265344388690514596039714701127253677538671471831/591916782229453522391145425467472309741617844070632541537217*y^22 - 4917961669833403876884640159928793352840611198192994231620557927043/591916782229453522391145425467472309741617844070632541537217*y^21 - 19927210398322697477954988304506325706376094255295554733276479008965/591916782229453522391145425467472309741617844070632541537217*y^20 + 20457159164419692751544109858740502724139535575970004164707672552988/591916782229453522391145425467472309741617844070632541537217*y^19 + 37908840858891787633695006893648196817500859820605067734562760961097/591916782229453522391145425467472309741617844070632541537217*y^18 - 48440581308151695194058392995207317632750175749368404109976846850916/591916782229453522391145425467472309741617844070632541537217*y^17 - 34590509287766369742791650660854213509895185411397212184643846130863/591916782229453522391145425467472309741617844070632541537217*y^16 + 63877370803416440300160862595368946092738526815065619216149267035030/591916782229453522391145425467472309741617844070632541537217*y^15 + 13674600071509372822484332840033960046087887272490258485778922520531/591916782229453522391145425467472309741617844070632541537217*y^14 - 54941618773537953019594921104878159156157786820813442280222418857677/591916782229453522391145425467472309741617844070632541537217*y^13 - 3208812702292334559756466113882413665088240439634111412210564941410/591916782229453522391145425467472309741617844070632541537217*y^12 + 42490791910988169183886424335052590502684837788047224856634773052539/591916782229453522391145425467472309741617844070632541537217*y^11 - 5487649035028084111953619652290813617997568312615129915518445806406/591916782229453522391145425467472309741617844070632541537217*y^10 - 23419754591832517228724088948633376744205380979755477678610973761601/591916782229453522391145425467472309741617844070632541537217*y^9 + 8742925559795754195952221259638525179955534675472284413747902717790/591916782229453522391145425467472309741617844070632541537217*y^8 + 7581227606341192281967348600788711165609220188304482425529554940243/591916782229453522391145425467472309741617844070632541537217*y^7 - 4127097014537545948790148325026260293898316936959393343973900838454/591916782229453522391145425467472309741617844070632541537217*y^6 - 1771308345343980600840164501062168208426413284052930841938897725279/591916782229453522391145425467472309741617844070632541537217*y^5 + 713118392726757964429590781854444755237247909211801855021853744815/591916782229453522391145425467472309741617844070632541537217*y^4 + 258081428785993962546491229588613574537669320738987391332361798978/591916782229453522391145425467472309741617844070632541537217*y^3 - 24496854447103810396721455067474456208072576738916540826364847823/591916782229453522391145425467472309741617844070632541537217*y^2 - 7261870618843040626183217554083327849098672568052148069076982542/591916782229453522391145425467472309741617844070632541537217*y + 642402111373465876109117915121447072035820247276028538927337258/591916782229453522391145425467472309741617844070632541537217

-136563846992148612991334216182369341207674463360498944273865204/591916782229453522391145425467472309741617844070632541537217*y^28 + 332265892701825807918269977831450455725241647682399641634686453/591916782229453522391145425467472309741617844070632541537217*y^27 + 5390124125355698072766927861259442141528272644187649262455623199/591916782229453522391145425467472309741617844070632541537217*y^26 - 6589530196005235534802462218487389101504617262810630124996150894/591916782229453522391145425467472309741617844070632541537217*y^25 - 75299429316940658304965800058407721980925518683243800193907832244/591916782229453522391145425467472309741617844070632541537217*y^24 + 68282681901295755604769091391914183279435750264169820481621997491/591916782229453522391145425467472309741617844070632541537217*y^23 + 512464430346857292079663737448134440783166643300551125316614513983/591916782229453522391145425467472309741617844070632541537217*y^22 - 460966953571373711648670815841727922639076770990564601592338837518/591916782229453522391145425467472309741617844070632541537217*y^21 - 1853075605352463706271336549620543878740415218135771831477170299591/591916782229453522391145425467472309741617844070632541537217*y^20 + 1915070831555084936985449837045456106588346988339127624287767324911/591916782229453522391145425467472309741617844070632541537217*y^19 + 3516841362521092697897672791434701567476974821206895459054378028388/591916782229453522391145425467472309741617844070632541537217*y^18 - 4526330194766988776945113775952267015838609064684868845557658757599/591916782229453522391145425467472309741617844070632541537217*y^17 - 3189250121189894196701480895462789619702292113866196181424078849508/591916782229453522391145425467472309741617844070632541537217*y^16 + 5953107307011824918930305236475148707258806996528961142171647388977/591916782229453522391145425467472309741617844070632541537217*y^15 + 1236409665809035755260451569427484223411868050441756582401920686368/591916782229453522391145425467472309741617844070632541537217*y^14 - 5106054356874664625992699837194611721948457188178648737982299225923/591916782229453522391145425467472309741617844070632541537217*y^13 - 273534678456118237906619191159777494316705748199750783833528026842/591916782229453522391145425467472309741617844070632541537217*y^12 + 3945828012416682189018773691943624263553494194366340666422857239630/591916782229453522391145425467472309741617844070632541537217*y^11 - 529256992249644636151321666159700890209437673007483600942848557086/591916782229453522391145425467472309741617844070632541537217*y^10 - 2168077020016051309019343893933789194202439255898976969171158495292/591916782229453522391145425467472309741617844070632541537217*y^9 + 821336158091589862415909153280862640430152586425199050906652823942/591916782229453522391145425467472309741617844070632541537217*y^8 + 696706966117211974852336328088205485252102922034255851220292205961/591916782229453522391145425467472309741617844070632541537217*y^7 - 384045367696981841252658643621209140695198891488602507006945775706/591916782229453522391145425467472309741617844070632541537217*y^6 - 162204611383886767730256039333820877759135586036238886913740574434/591916782229453522391145425467472309741617844070632541537217*y^5 + 65893658048049424496369252194189232435050783945140956912943272560/591916782229453522391145425467472309741617844070632541537217*y^4 + 23659142940194907267550489929416064121981052418928305272517383076/591916782229453522391145425467472309741617844070632541537217*y^3 - 2212479828879688400966435823500503486753941252792962526850120669/591916782229453522391145425467472309741617844070632541537217*y^2 - 657072844287687966158605903814273535293136676438582690851608832/591916782229453522391145425467472309741617844070632541537217*y + 57960492836255239153960329226165579818385495522517765783127334/591916782229453522391145425467472309741617844070632541537217

-136563846992148612991334216182369341207674463360498944273865204/591916782229453522391145425467472309741617844070632541537217*y^28 + 332265892701825807918269977831450455725241647682399641634686453/591916782229453522391145425467472309741617844070632541537217*y^27 + 5390124125355698072766927861259442141528272644187649262455623199/591916782229453522391145425467472309741617844070632541537217*y^26 - 6589530196005235534802462218487389101504617262810630124996150894/591916782229453522391145425467472309741617844070632541537217*y^25 - 75299429316940658304965800058407721980925518683243800193907832244/591916782229453522391145425467472309741617844070632541537217*y^24 + 68282681901295755604769091391914183279435750264169820481621997491/591916782229453522391145425467472309741617844070632541537217*y^23 + 512464430346857292079663737448134440783166643300551125316614513983/591916782229453522391145425467472309741617844070632541537217*y^22 - 460966953571373711648670815841727922639076770990564601592338837518/591916782229453522391145425467472309741617844070632541537217*y^21 - 1853075605352463706271336549620543878740415218135771831477170299591/591916782229453522391145425467472309741617844070632541537217*y^20 + 1915070831555084936985449837045456106588346988339127624287767324911/591916782229453522391145425467472309741617844070632541537217*y^19 + 3516841362521092697897672791434701567476974821206895459054378028388/591916782229453522391145425467472309741617844070632541537217*y^18 - 4526330194766988776945113775952267015838609064684868845557658757599/591916782229453522391145425467472309741617844070632541537217*y^17 - 3189250121189894196701480895462789619702292113866196181424078849508/591916782229453522391145425467472309741617844070632541537217*y^16 + 5953107307011824918930305236475148707258806996528961142171647388977/591916782229453522391145425467472309741617844070632541537217*y^15 + 1236409665809035755260451569427484223411868050441756582401920686368/591916782229453522391145425467472309741617844070632541537217*y^14 - 5106054356874664625992699837194611721948457188178648737982299225923/591916782229453522391145425467472309741617844070632541537217*y^13 - 273534678456118237906619191159777494316705748199750783833528026842/591916782229453522391145425467472309741617844070632541537217*y^12 + 3945828012416682189018773691943624263553494194366340666422857239630/591916782229453522391145425467472309741617844070632541537217*y^11 - 529256992249644636151321666159700890209437673007483600942848557086/591916782229453522391145425467472309741617844070632541537217*y^10 - 2168077020016051309019343893933789194202439255898976969171158495292/591916782229453522391145425467472309741617844070632541537217*y^9 + 821336158091589862415909153280862640430152586425199050906652823942/591916782229453522391145425467472309741617844070632541537217*y^8 + 696706966117211974852336328088205485252102922034255851220292205961/591916782229453522391145425467472309741617844070632541537217*y^7 - 384045367696981841252658643621209140695198891488602507006945775706/591916782229453522391145425467472309741617844070632541537217*y^6 - 162204611383886767730256039333820877759135586036238886913740574434/591916782229453522391145425467472309741617844070632541537217*y^5 + 65893658048049424496369252194189232435050783945140956912943272560/591916782229453522391145425467472309741617844070632541537217*y^4 + 23659142940194907267550489929416064121981052418928305272517383076/591916782229453522391145425467472309741617844070632541537217*y^3 - 2212479828879688400966435823500503486753941252792962526850120669/591916782229453522391145425467472309741617844070632541537217*y^2 - 657072844287687966158605903814273535293136676438582690851608832/591916782229453522391145425467472309741617844070632541537217*y + 57960492836255239153960329226165579818385495522517765783127334/591916782229453522391145425467472309741617844070632541537217

-12855821930133854282488222989964152695768796618680655186045417/591916782229453522391145425467472309741617844070632541537217*y^28 + 31777188410840472466829172621694511427973524372781287322408264/591916782229453522391145425467472309741617844070632541537217*y^27 + 506062105981193211538604022821901118025291702436012442743486902/591916782229453522391145425467472309741617844070632541537217*y^26 - 639693698917111589012832891727423723009405455623144872588829128/591916782229453522391145425467472309741617844070632541537217*y^25 - 7058827250469541623822632222503276525510277190764186774894522149/591916782229453522391145425467472309741617844070632541537217*y^24 + 6697429388843922180639269482974032932917019773870385041075804005/591916782229453522391145425467472309741617844070632541537217*y^23 + 47912730677410310756570976631203479609724803850170409700565367318/591916782229453522391145425467472309741617844070632541537217*y^22 - 45212902534132368463145441050537388884234769085111047956118747045/591916782229453522391145425467472309741617844070632541537217*y^21 - 172199087893594741875485444854716822055634844725371356390708927820/591916782229453522391145425467472309741617844070632541537217*y^20 + 186681425877505544345492920158723924845673589947392612591540325022/591916782229453522391145425467472309741617844070632541537217*y^19 + 321928379843532114441225215809277953004142009214136601618315511975/591916782229453522391145425467472309741617844070632541537217*y^18 - 437270661580923544207727880631238182931516075030140041990654567245/591916782229453522391145425467472309741617844070632541537217*y^17 - 279185447983500616863032318700588480786107448014840798813517148412/591916782229453522391145425467472309741617844070632541537217*y^16 + 567567396806209335722782762760021255486999923329341091926220903763/591916782229453522391145425467472309741617844070632541537217*y^15 + 89661081933240682295023868477215069477054011879166624842211783948/591916782229453522391145425467472309741617844070632541537217*y^14 - 478282505394522780112387143403319974434746823902454001273957758750/591916782229453522391145425467472309741617844070632541537217*y^13 - 4374358589982851793588931290371090807586323247821851185206381603/591916782229453522391145425467472309741617844070632541537217*y^12 + 365817216601766053573123324486131499467189356371343031285054436300/591916782229453522391145425467472309741617844070632541537217*y^11 - 65088180526974936581155540809822606788780127372745735001104969555/591916782229453522391145425467472309741617844070632541537217*y^10 - 197123642906373317664324254473668774337991427152920961954556949195/591916782229453522391145425467472309741617844070632541537217*y^9 + 85061667087833396338073991609135693911806416991239438238047276104/591916782229453522391145425467472309741617844070632541537217*y^8 + 59466223029351766236341577616918655265613847940662171264895668556/591916782229453522391145425467472309741617844070632541537217*y^7 - 37731895846002323724162276977676984898393564190191685209525135086/591916782229453522391145425467472309741617844070632541537217*y^6 - 12710394972974048828788894103949675765554641496699992698697629187/591916782229453522391145425467472309741617844070632541537217*y^5 + 6147310296407582352299954819609358061647238160871397929269920758/591916782229453522391145425467472309741617844070632541537217*y^4 + 1787522701291399973660578993196683050938854843209108092976624531/591916782229453522391145425467472309741617844070632541537217*y^3 - 168070212750388357846933845033228422823462959794388223378128697/591916782229453522391145425467472309741617844070632541537217*y^2 - 38822925974393872141755160953126394037731401126262986270621238/591916782229453522391145425467472309741617844070632541537217*y + 1160906694150655309125116819319736614632132949087597401266885/591916782229453522391145425467472309741617844070632541537217


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

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

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

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

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

# 1 Loop Invariant
521520062468831536747533109953656394765032683445556303124520226/591916782229453522391145425467472309741617844070632541537217*y^28 - 1151038275669811225791095863162894313615592054936055191404432498/591916782229453522391145425467472309741617844070632541537217*y^27 - 20949400625551517437472648360884605266083172217949379023920795545/591916782229453522391145425467472309741617844070632541537217*y^26 + 20735854849849341810921763832730486964267757020774838392246516472/591916782229453522391145425467472309741617844070632541537217*y^25 + 296251509435033636193668268714165266110136500086741992938694290186/591916782229453522391145425467472309741617844070632541537217*y^24 - 200776521359067668739986189458479874869769864710446495051903605926/591916782229453522391145425467472309741617844070632541537217*y^23 - 2057153694461904203049263636692728034861841032661605099250540723129/591916782229453522391145425467472309741617844070632541537217*y^22 + 1373863000764633731145857508806841769740555594288130514701098060005/591916782229453522391145425467472309741617844070632541537217*y^21 + 7745550360086578274253987445801093523854377497117696067593762280578/591916782229453522391145425467472309741617844070632541537217*y^20 - 6087203102063327170620310202803338186827415009583240948099062732582/591916782229453522391145425467472309741617844070632541537217*y^19 - 15991298264422519823453306290715356568848571132112414267138675279920/591916782229453522391145425467472309741617844070632541537217*y^18 + 15709348956413822306270218408169723672927841032111804474986226701287/591916782229453522391145425467472309741617844070632541537217*y^17 + 17496688216621525284229370246754605555127827457490499192887588782074/591916782229453522391145425467472309741617844070632541537217*y^16 - 23122022526559305575211739495101949255770578437776417919768529457726/591916782229453522391145425467472309741617844070632541537217*y^15 - 10388971272858729338392676020095883499458305551858800517398434834886/591916782229453522391145425467472309741617844070632541537217*y^14 + 22002193912804883512599804202827138026765333740127523276901884339009/591916782229453522391145425467472309741617844070632541537217*y^13 + 4698275999243121063441169702680231344625430388916020705851981285326/591916782229453522391145425467472309741617844070632541537217*y^12 - 17386035473781683520675166632228568931354825155178016236099875117145/591916782229453522391145425467472309741617844070632541537217*y^11 - 514222769847634642988435406970721308438773561160764351977457429013/591916782229453522391145425467472309741617844070632541537217*y^10 + 10593170821867988347241677517163257069983708214100422190010521323827/591916782229453522391145425467472309741617844070632541537217*y^9 - 2309138673463847491244259067650889611021644037658708232007679776649/591916782229453522391145425467472309741617844070632541537217*y^8 - 4150041267825908655811808056456237544238935227148201282447585253165/591916782229453522391145425467472309741617844070632541537217*y^7 + 1636533858853086294318202868844520858739032246781340592129303193164/591916782229453522391145425467472309741617844070632541537217*y^6 + 1019056464443171831601427321606869801648105546636625122446543956836/591916782229453522391145425467472309741617844070632541537217*y^5 - 345907692020204600458893584650423674237181611112426412158721182872/591916782229453522391145425467472309741617844070632541537217*y^4 - 141378165593251944776528318187452349387913892984806958775014190581/591916782229453522391145425467472309741617844070632541537217*y^3 + 18698140397209912707818627262492156154703807668614498483161041716/591916782229453522391145425467472309741617844070632541537217*y^2 + 4922135736951613655129592077251101338213509279880616333318149133/591916782229453522391145425467472309741617844070632541537217*y - 462002952420845983540089562918272946494339952383157482437749853/591916782229453522391145425467472309741617844070632541537217

# 2 Loop Invariant
-153837551271160973217543869288673913441830438335117161152682742698769260542376272084642551103806815242696050083343001809444718047066335813287181856737921076589/41138567957877487555222453791868801162274580298888113839138193042349885260659693527260233263180957837651759813933345094689695590503112925310863121565777268292*y^28 + 382446783998078581891495787324884671033809076332781411892864018652013799948123241223527331350058652791136202139803046442039147221600280301346011666371643023813/41138567957877487555222453791868801162274580298888113839138193042349885260659693527260233263180957837651759813933345094689695590503112925310863121565777268292*y^27 + 6048696458401468024520360623917167306463151807557376004430546428390428742256109289951526573909857116620909887325164325459610024925094986051330008583745901137351/41138567957877487555222453791868801162274580298888113839138193042349885260659693527260233263180957837651759813933345094689695590503112925310863121565777268292*y^26 - 30942898450460174948528542909156085913851073045656839555529008072334702916615575864894853572134670666867086205711537641459812296606765365812610346679054317994559/164554271831509950220889815167475204649098321195552455356552772169399541042638774109040933052723831350607039255733380378758782362012451701243452486263109073168*y^25 - 1011596062147188358044270632365443491266242560416078627707298380736752669326792389155760377980613842975453092908821374681625992960968270652252221470759615281251139/493662815494529850662669445502425613947294963586657366069658316508198623127916322327122799158171494051821117767200141136276347086037355103730357458789327219504*y^24 + 162435817264358886050404934521785171771916833189907707553127682492692711765146644634015441791619760605849896524443679409207255980107155490100234584819370856456135/82277135915754975110444907583737602324549160597776227678276386084699770521319387054520466526361915675303519627866690189379391181006225850621726243131554536584*y^23 + 6856812698713102074350757093139662609380239467015544187808433985043417691715008507944266216247052634942832480427875427487053193707696584139886633234844897742194251/493662815494529850662669445502425613947294963586657366069658316508198623127916322327122799158171494051821117767200141136276347086037355103730357458789327219504*y^22 - 3286240383442818444113395251376101847186723660399560742996468773637780517332060573352900251018960710294240340014682530917012184868388742986858833957682023952607101/246831407747264925331334722751212806973647481793328683034829158254099311563958161163561399579085747025910558883600070568138173543018677551865178729394663609752*y^21 - 24574589368195040186559018433296040681513150122920710994760361210291255820214584038833683386374881742728499260795191636441057444698468235205072083680184577345136899/493662815494529850662669445502425613947294963586657366069658316508198623127916322327122799158171494051821117767200141136276347086037355103730357458789327219504*y^20 + 9013521618429616503129609518772197897076193256564114964396083413819190641171207582058697403939376089209396924046591220420880981391735990205058934692778309072783181/164554271831509950220889815167475204649098321195552455356552772169399541042638774109040933052723831350607039255733380378758782362012451701243452486263109073168*y^19 + 951405878441404665158489954485528381367442358860702983582220837167741242212616619113965054854373880583759637379261218706662039595101642463132903915459799694382423/10284641989469371888805613447967200290568645074722028459784548260587471315164923381815058315795239459412939953483336273672423897625778231327715780391444317073*y^18 - 21002443735578862627951646884701715808855835486086149160745143450847473533063512576898789814458586752608962137659590769013446415910227726144185258282927909213496473/164554271831509950220889815167475204649098321195552455356552772169399541042638774109040933052723831350607039255733380378758782362012451701243452486263109073168*y^17 - 6503569868582211816486687869834866529396492992619084119437716712568050114916324999124660398610225224609098140717727707214125347934363296001422461709496759245602205/82277135915754975110444907583737602324549160597776227678276386084699770521319387054520466526361915675303519627866690189379391181006225850621726243131554536584*y^16 + 81199281193448759227287465814562563833096488869068567596182073218021353097604813857130227458067063745841593190163438354254983405873118657129451052863022692082738843/493662815494529850662669445502425613947294963586657366069658316508198623127916322327122799158171494051821117767200141136276347086037355103730357458789327219504*y^15 + 3979114376963779262543137419771383333174844278041016001778237371590199252129421763558953336444563770274695915071058808555225221965641752178979501248423780617236549/164554271831509950220889815167475204649098321195552455356552772169399541042638774109040933052723831350607039255733380378758782362012451701243452486263109073168*y^14 - 11337900440728761822613992410180647123312981633593267770987994247708493461491659701147399725341791649394774908918504654307491270211714282762890763116022214053610577/82277135915754975110444907583737602324549160597776227678276386084699770521319387054520466526361915675303519627866690189379391181006225850621726243131554536584*y^13 - 32462772966379373412594238343691076377411039079061637665888719672282756421736926928624121521511737725506562879656582894316250969156661184497446038721908964538405/82277135915754975110444907583737602324549160597776227678276386084699770521319387054520466526361915675303519627866690189379391181006225850621726243131554536584*y^12 + 52089697528261120898641690710882197913500300773691329781565301177929478206143201932918638549341695272212959147649711303449631680376862111757090558916504432459217827/493662815494529850662669445502425613947294963586657366069658316508198623127916322327122799158171494051821117767200141136276347086037355103730357458789327219504*y^11 - 9665109579137284466788589542587751002243240265398794376372340664291241976135071445567384788421688540920397666998130447544182690443063720234871773509874365787842721/493662815494529850662669445502425613947294963586657366069658316508198623127916322327122799158171494051821117767200141136276347086037355103730357458789327219504*y^10 - 27867655949872325263766398908763440295909341644491162424682074669495095219146358596715716284190886657123906188010490620336430311286322448931767121973615216389683451/493662815494529850662669445502425613947294963586657366069658316508198623127916322327122799158171494051821117767200141136276347086037355103730357458789327219504*y^9 + 2035023602147243938753555438693032894629517965604906024222020500223586007904755915369825677859721804929126592310256247679196325289156723958238256541689704831052675/82277135915754975110444907583737602324549160597776227678276386084699770521319387054520466526361915675303519627866690189379391181006225850621726243131554536584*y^8 + 1040561861667240231039411942849490271602985506395121928717775354060824976196998731958444335519996406010285476759053297746651844780462849032500640060229662072522637/61707851936816231332833680687803201743411870448332170758707289563524827890989540290890349894771436756477639720900017642034543385754669387966294682348665902438*y^7 - 1770324928873630298728587329679354158583878846020451300890376583048780322675080425794230242720337109972569049250479428863744857422555036529329617237566169525314981/164554271831509950220889815167475204649098321195552455356552772169399541042638774109040933052723831350607039255733380378758782362012451701243452486263109073168*y^6 - 455730320089761766654572660514209257869972358804907000966042011338027031507839032639286019149287439731632478431708180262153313014937722317094854977852062826213925/123415703873632462665667361375606403486823740896664341517414579127049655781979080581780699789542873512955279441800035284069086771509338775932589364697331804876*y^5 + 290012085620229872020812898358370735174831973378134101141750143958120964994344690550482722469501755195303642219866564351128188564866409444250731053481719813977243/164554271831509950220889815167475204649098321195552455356552772169399541042638774109040933052723831350607039255733380378758782362012451701243452486263109073168*y^4 + 6162773688475676830964055739941180515320762972178067577757778080397962973649805456917361460102057354700692285130912168995517773867949376134858570686079589606245/11480530592896043038666731290754084045285929385736217815573449221120898212277123775049367422283058001205142273655817235727356908977612909389078080436961098128*y^3 - 13348002157811218556395435825964359368039226872753655210493653374131435148638684267881105238299080869259270463752050181572723097806794330398886049508598213161361/246831407747264925331334722751212806973647481793328683034829158254099311563958161163561399579085747025910558883600070568138173543018677551865178729394663609752*y^2 - 407209061392754220773578528392730366121124183418304976307624657219120061162851435548095093569389086049317174717695546819153607431355987502509080299495470667863/30853925968408115666416840343901600871705935224166085379353644781762413945494770145445174947385718378238819860450008821017271692877334693983147341174332951219*y + 440093167549729563396671920662498763657093960248278343066280120498902877718898265830305273082160390058963656667978189155345720286422367865501739673622722353393/493662815494529850662669445502425613947294963586657366069658316508198623127916322327122799158171494051821117767200141136276347086037355103730357458789327219504

# 3 Loop Invariant
9719661882956056250367202012055278253883441118282565381578635877504118960425954098794158314687661629307565751348020401147563055258488437720799659608425640537238409507815592788436094797676857428030788858108509/2743679730879202605514406275920521967269538507124770861276868217329868350760240051780004559328065070018671993285382026277848394802790237714723905159794179400438456898596280315954766087503898283432959689356864*y^28 - 23576398662681617012101829891754422364652072300425896078299947211488707442009278142289156919875616945981102026670160196906929458811660630107141992138129010509750611633168806113566318998390874799852703946794981/2743679730879202605514406275920521967269538507124770861276868217329868350760240051780004559328065070018671993285382026277848394802790237714723905159794179400438456898596280315954766087503898283432959689356864*y^27 - 383855070918350062115708879130782668006929486472767468542957620214265506418222965675312149642652723809768059636315946102545327933967211722688109065922785758994554947161233793326010063402735569097174872799436627/2743679730879202605514406275920521967269538507124770861276868217329868350760240051780004559328065070018671993285382026277848394802790237714723905159794179400438456898596280315954766087503898283432959689356864*y^26 + 466292517116585422846913530227150288300244027531073550856755327687541505016474858236122592520807547944886999942236794900145056848009661663317837075408028491427760398994106389781629003254450151014122837448088569/2743679730879202605514406275920521967269538507124770861276868217329868350760240051780004559328065070018671993285382026277848394802790237714723905159794179400438456898596280315954766087503898283432959689356864*y^25 + 5364625089867352532394919698848041047598666961217678704291027524058772310737251094552527413301107210916808069209186018624449026005282083155843090276641675824539502226813497157882694642733971899869552444029135593/2743679730879202605514406275920521967269538507124770861276868217329868350760240051780004559328065070018671993285382026277848394802790237714723905159794179400438456898596280315954766087503898283432959689356864*y^24 - 112168477979298334069992400344715802665125101918131325598918036215300980221637679296845799833872930090062353042486231253465110155402109726094939554475137402569370852687718332529081590255151473686595094627530085/63806505369283781523590843626058650401617174584296996773880656216973682575819536087907082775071280698108651006636791308787171972157912504993579189762655334893917602292936751533831769476834843800766504403648*y^23 - 9133810963645253360316873100837017293525624341236549722537584653515740496004156902442591855998144472015342742205364959331279059291958824151806338683372998537841440694599824559640428306081919828830809185912667713/685919932719800651378601568980130491817384626781192715319217054332467087690060012945001139832016267504667998321345506569462098700697559428680976289948544850109614224649070078988691521875974570858239922339216*y^22 + 32572229652135429155830028018881165807478206626407832725433251755930695982939745090116731569236476685111912218159224893206627563807191861495686623618310075569254562315465073432724475906827721547022904465202197201/2743679730879202605514406275920521967269538507124770861276868217329868350760240051780004559328065070018671993285382026277848394802790237714723905159794179400438456898596280315954766087503898283432959689356864*y^21 + 132301288072114566910114717604688027949354192333476087961335131823164869128101190607080892114827241676228193776197152799763725765818422301466364682818441953262550302717752196050875749776325852900394142531586883535/2743679730879202605514406275920521967269538507124770861276868217329868350760240051780004559328065070018671993285382026277848394802790237714723905159794179400438456898596280315954766087503898283432959689356864*y^20 - 135552161307641335100354401882818540470562370632977885880183866300360990560014345146819653666653675135438491621273901607404352612457245073018763638138453388528499946778289380287585460472859976077838498713777449805/2743679730879202605514406275920521967269538507124770861276868217329868350760240051780004559328065070018671993285382026277848394802790237714723905159794179400438456898596280315954766087503898283432959689356864*y^19 - 251886409496447131477637724185779347570948364893509093584229928976403860263820288017855156263765990249185144910028570792187612734190293461243869517787238041446850052001179801997176961701255071548518083080627358745/2743679730879202605514406275920521967269538507124770861276868217329868350760240051780004559328065070018671993285382026277848394802790237714723905159794179400438456898596280315954766087503898283432959689356864*y^18 + 10037319905641356656799299927970579323152074236174872862637430100580485704765376111241091061808511948744676578899070215144267570937768621113509686949285101365079102727631184152143603221118643398985389022596475813/85739991589975081422325196122516311477173078347649089414902131791558385961257501618125142479002033438083499790168188321182762337587194928585122036243568106263701778081133759873586440234496821357279990292402*y^17 + 115143429827654956186954795847104021073672952752714869824572289588011221634826217280983545207628181347839679004661791742824387249597800778799548357708690268512838330374986488240570480298461809741055784132924517989/1371839865439601302757203137960260983634769253562385430638434108664934175380120025890002279664032535009335996642691013138924197401395118857361952579897089700219228449298140157977383043751949141716479844678432*y^16 - 211984079593407164388180805823120418673073574477469781283206440781208203046246559913618871186671292937446967202567949284832076026467988224098152000238099822058420499376666359630793780261106483848389077944489741511/1371839865439601302757203137960260983634769253562385430638434108664934175380120025890002279664032535009335996642691013138924197401395118857361952579897089700219228449298140157977383043751949141716479844678432*y^15 - 91537411387845610506488407716407824161510950164294014888049125623011186006879316625771197732892393814198443822044582768934219095590344592003956423439017213674905270898777765604791422366230778028944886041272075221/2743679730879202605514406275920521967269538507124770861276868217329868350760240051780004559328065070018671993285382026277848394802790237714723905159794179400438456898596280315954766087503898283432959689356864*y^14 + 11406921221082782228520142520790219338996988809465302662201655542171854881823702906100282436029382582030872285067957898493583671041786172474728945061070358242745595300161992921908783447372536051145808421389290007/85739991589975081422325196122516311477173078347649089414902131791558385961257501618125142479002033438083499790168188321182762337587194928585122036243568106263701778081133759873586440234496821357279990292402*y^13 + 10876180428274077499579694982151878687008054131385480197382715092834924068052046825556739534109317921690215626310640685280626756496616541231014665167970088122480131333214411112066668573496146600741443979925371469/1371839865439601302757203137960260983634769253562385430638434108664934175380120025890002279664032535009335996642691013138924197401395118857361952579897089700219228449298140157977383043751949141716479844678432*y^12 - 141174141281643291270903227196436371544196292401950394873440150880923370357560248873535955793679496815405571371998384886842926651095726003588932895262361480155777476847485808390805377277405656860926484147418384885/1371839865439601302757203137960260983634769253562385430638434108664934175380120025890002279664032535009335996642691013138924197401395118857361952579897089700219228449298140157977383043751949141716479844678432*y^11 + 9027013389386294056533202105295706600181685143751226851852146508414418979086486758826887517534016365751686781673583065877115706054493165103069485435154395893148488031105954154845127607881632269509371199728195801/685919932719800651378601568980130491817384626781192715319217054332467087690060012945001139832016267504667998321345506569462098700697559428680976289948544850109614224649070078988691521875974570858239922339216*y^10 + 155793088415084694092864250098301927082248752944272660015113394081549471546781532040570908191419489940367831228265094546449669870630938552150856344270774395349493032098877079278385734381180328105770857408533173297/2743679730879202605514406275920521967269538507124770861276868217329868350760240051780004559328065070018671993285382026277848394802790237714723905159794179400438456898596280315954766087503898283432959689356864*y^9 - 57948851191331411029020038265483006982115214042176394237719704947089578621593516710023199324112181024825450790122166185097465080374559119628155099733591103393883668892692252829613716893769919385038124994475439061/2743679730879202605514406275920521967269538507124770861276868217329868350760240051780004559328065070018671993285382026277848394802790237714723905159794179400438456898596280315954766087503898283432959689356864*y^8 - 50551173533369631160894131359836840559559010436672198283025738485727589649302333677384723393815922473798560815997012990401716039579795096913418006526745967961903723385549252801210535583011024525896579527237955301/2743679730879202605514406275920521967269538507124770861276868217329868350760240051780004559328065070018671993285382026277848394802790237714723905159794179400438456898596280315954766087503898283432959689356864*y^7 + 13726143593301400586774846387924835374373499587878487978061384789869812613837852334357851852143849960927022531365377303268391420979875759781146129552018225170079891336293541010358780628904234576735930796891701163/1371839865439601302757203137960260983634769253562385430638434108664934175380120025890002279664032535009335996642691013138924197401395118857361952579897089700219228449298140157977383043751949141716479844678432*y^6 + 11812708071149354684314688455912553992594390839498317682958758862119103937152427909615436394786067845665172902576341740142295759525198508480644383922430396511016945032608564274142857991738547856064635065188567067/2743679730879202605514406275920521967269538507124770861276868217329868350760240051780004559328065070018671993285382026277848394802790237714723905159794179400438456898596280315954766087503898283432959689356864*y^5 - 1190477164074731925490076633469750199380874243336992201792379560071892866917320589508765954364756950152808816209116221734641876967019298581945640621299656955445460311594045884461127171108036383470454141883257253/685919932719800651378601568980130491817384626781192715319217054332467087690060012945001139832016267504667998321345506569462098700697559428680976289948544850109614224649070078988691521875974570858239922339216*y^4 - 1718557502268987202149530590240965479577799813834511473736240808247136714687261490367239258857904906338780134443027800523176951187946176670396290719606699058865058234386577801073918305273672948643749897522470105/2743679730879202605514406275920521967269538507124770861276868217329868350760240051780004559328065070018671993285382026277848394802790237714723905159794179400438456898596280315954766087503898283432959689356864*y^3 + 166895779389469295500545835336065872433978274141286875038505871214128635605211388734016843766037294162279958348767771877970289839552541115397726306915435848087978212819085888125310975770518840734510171528818363/2743679730879202605514406275920521967269538507124770861276868217329868350760240051780004559328065070018671993285382026277848394802790237714723905159794179400438456898596280315954766087503898283432959689356864*y^2 + 48675981546596233320646370767048504190373816201224752706398436683104497127803389801815589280953268398339040557662227366663449911848000483433602848004448545435370642454174241612692568697866667616543732957088949/2743679730879202605514406275920521967269538507124770861276868217329868350760240051780004559328065070018671993285382026277848394802790237714723905159794179400438456898596280315954766087503898283432959689356864*y - 2177859697394548961294092845915967854704425683318002135216787712494375742711790686120681609145998902528112819195033507295048151205148457182267352729180948660380168487900080813954443502435945774840898001999335/1371839865439601302757203137960260983634769253562385430638434108664934175380120025890002279664032535009335996642691013138924197401395118857361952579897089700219228449298140157977383043751949141716479844678432