# Manifold: Census Knot K7_33

# Number of Tetrahedra: 7

# Number Field
x^24 + 10*x^23 - 61*x^22 - 102*x^21 - 261*x^20 + 3195*x^19 + 9707*x^18 - 44738*x^17 - 21814*x^16 + 163695*x^15 - 41902*x^14 - 181841*x^13 + 102475*x^12 + 11089*x^11 - 14406*x^10 + 65394*x^9 - 47465*x^8 - 25341*x^7 + 15259*x^6 + 4267*x^5 + 323*x^4 - 229*x^3 - 16*x^2 - 4*x + 1 

# Approximate Field Generator
0.828063972343816 + 0.377827593191482*I

# Shape Parameters
-154619620032165776344876893757142085819757930980697788649823459858/1306070498073916342004329747409984228216951770714450315179782876665*y^23 - 1562747213944765125734831730300549072789261803433683220099847219289/1306070498073916342004329747409984228216951770714450315179782876665*y^22 + 9265561140021655776219644925396507336869126104683799136075103584551/1306070498073916342004329747409984228216951770714450315179782876665*y^21 + 16773021154293341225662220625512896418960909468003112083536591792779/1306070498073916342004329747409984228216951770714450315179782876665*y^20 + 765137878923312958181883036210514353776720143696876309111006754699/23746736328616660763715086316545167785762759467535460275996052303*y^19 - 97917080146429455524712932009099824880787457040025666867801220635331/261214099614783268400865949481996845643390354142890063035956575333*y^18 - 1553514011900861266637331121190360814917819378394433809544485821334831/1306070498073916342004329747409984228216951770714450315179782876665*y^17 + 6754551098163244835660726748250286324619512754392354654189252770233641/1306070498073916342004329747409984228216951770714450315179782876665*y^16 + 74629711471115358117889904807929093976524584978632423926085990264384/23746736328616660763715086316545167785762759467535460275996052303*y^15 - 4984583763036190363521985961506064323591782449275462572889649455160079/261214099614783268400865949481996845643390354142890063035956575333*y^14 + 3807424885094131711891878072626107840736882621381267841535981565315686/1306070498073916342004329747409984228216951770714450315179782876665*y^13 + 28713599803507012919786133654053285762468235191431608658641174584588151/1306070498073916342004329747409984228216951770714450315179782876665*y^12 - 12892549165809209312387441117430875087270612673536392294884659747631742/1306070498073916342004329747409984228216951770714450315179782876665*y^11 - 3291800935992746235388720704523767250344663915422118971666058839187518/1306070498073916342004329747409984228216951770714450315179782876665*y^10 + 2095493426457820830794878235269317152814602141733552291716477568773599/1306070498073916342004329747409984228216951770714450315179782876665*y^9 - 1982500143272497658903603315875348570522707268608536563840340230844863/261214099614783268400865949481996845643390354142890063035956575333*y^8 + 1244269256628069422387050974920457508483760531976144200985563331738595/261214099614783268400865949481996845643390354142890063035956575333*y^7 + 4685123088468317559327247018261088802457378870783488401306714446809658/1306070498073916342004329747409984228216951770714450315179782876665*y^6 - 1943390683511494235877776470595085495752581518870482076094562354867443/1306070498073916342004329747409984228216951770714450315179782876665*y^5 - 176754488016569435935881670474311593022655099802757293784292008228380/261214099614783268400865949481996845643390354142890063035956575333*y^4 - 99839111937068407637705624727522927830512854327428410786799383359169/1306070498073916342004329747409984228216951770714450315179782876665*y^3 + 3024032507465892119257496484488851239428846778611762141815222935620/261214099614783268400865949481996845643390354142890063035956575333*y^2 + 1791457308139137252220422200146450314544404566210261684009075430433/1306070498073916342004329747409984228216951770714450315179782876665*y + 2859889419829714826695214333379201796811398463943543440037816055646/1306070498073916342004329747409984228216951770714450315179782876665

-9907347151189288745126071365465613848972268801480861857579718565/47493472657233321527430172633090335571525518935070920551992104606*y^23 - 50200108024920847055045779201427974670055980008233906887586848670/23746736328616660763715086316545167785762759467535460275996052303*y^22 + 590889384623261873078906416285868966778116857452764605693924489959/47493472657233321527430172633090335571525518935070920551992104606*y^21 + 2179018126947093574900433390772174867136788747315131214682653163255/94986945314466643054860345266180671143051037870141841103984209212*y^20 + 1366118648393096686678358983203823703455020457493542978506009064568/23746736328616660763715086316545167785762759467535460275996052303*y^19 - 15642294502001720528046472468371434273291569430098813096515247266967/23746736328616660763715086316545167785762759467535460275996052303*y^18 - 200707573587968949564207576641486185604914679607966817723821753328945/94986945314466643054860345266180671143051037870141841103984209212*y^17 + 214879771478536822960573524041145587543689031566062349189912307910780/23746736328616660763715086316545167785762759467535460275996052303*y^16 + 273429637593316294105293831689579247032209963949546823043511379481215/47493472657233321527430172633090335571525518935070920551992104606*y^15 - 792420276756120262947940140365959162422728622066469734864967391546399/23746736328616660763715086316545167785762759467535460275996052303*y^14 + 409555455688706868764861401755193755574459223117936847413353233163221/94986945314466643054860345266180671143051037870141841103984209212*y^13 + 1827048818802924460040094285555997144316283226357907612861297520615119/47493472657233321527430172633090335571525518935070920551992104606*y^12 - 775741721595528380937952440115073019798421235177061691331982015683035/47493472657233321527430172633090335571525518935070920551992104606*y^11 - 416902067687382314135708321706097451186126512166843785565936145621515/94986945314466643054860345266180671143051037870141841103984209212*y^10 + 119495609471253924112112762218077176633914422969633147832394384913389/47493472657233321527430172633090335571525518935070920551992104606*y^9 - 318443521099484938346178873314771077808730162470178500408551907436384/23746736328616660763715086316545167785762759467535460275996052303*y^8 + 192547865194534997085443351083163450426435798400960285473204273054087/23746736328616660763715086316545167785762759467535460275996052303*y^7 + 604487838477198288582189319956166361633595264870565856917674427782729/94986945314466643054860345266180671143051037870141841103984209212*y^6 - 112220239563022774557643872206371972927515412518195742534706961614307/47493472657233321527430172633090335571525518935070920551992104606*y^5 - 54849227014167200439956068981586848312763436232562641712140761128959/47493472657233321527430172633090335571525518935070920551992104606*y^4 - 10037505941108288858623756547779359827206526828180929731308928022911/47493472657233321527430172633090335571525518935070920551992104606*y^3 + 120865121361975292840047698292285147946736247444494717491263871939/47493472657233321527430172633090335571525518935070920551992104606*y^2 + 38357982504477556904701925460487905315344228455645760399839830911/94986945314466643054860345266180671143051037870141841103984209212*y + 131243858850400474835736471801091195949718625351872992877506701893/94986945314466643054860345266180671143051037870141841103984209212

-203243931637072262466313968045193102635593403331786064930095824618/1306070498073916342004329747409984228216951770714450315179782876665*y^23 - 2055066157432270277624434555835817375476542221511921988472504185119/1306070498073916342004329747409984228216951770714450315179782876665*y^22 + 12170979895472875743078203556918292782963974867516898699297619079266/1306070498073916342004329747409984228216951770714450315179782876665*y^21 + 22103881678961202727472217410911138908930661625289894585516358107134/1306070498073916342004329747409984228216951770714450315179782876665*y^20 + 1006977309230315686675795853126569735574778124647989998182891876177/23746736328616660763715086316545167785762759467535460275996052303*y^19 - 128667924315589912662673876547604276985806139834992167683358252054606/261214099614783268400865949481996845643390354142890063035956575333*y^18 - 2044911859567022222044753095528974467468511353550531472073782466661566/1306070498073916342004329747409984228216951770714450315179782876665*y^17 + 8871319339312425788501895261802106812445752129018577871022705950002171/1306070498073916342004329747409984228216951770714450315179782876665*y^16 + 98850960294878348909121867382481195040736358817457419880066917383607/23746736328616660763715086316545167785762759467535460275996052303*y^15 - 6551532489892154628401638275336637858857524680902120690870465121556336/261214099614783268400865949481996845643390354142890063035956575333*y^14 + 4866273955299387001048452611404011845415259012989251998016767121832426/1306070498073916342004329747409984228216951770714450315179782876665*y^13 + 37831039909386177404448132309705768781580349623793795828728339019665696/1306070498073916342004329747409984228216951770714450315179782876665*y^12 - 16839885895501777127221694231863840915508481533370704614313246528833697/1306070498073916342004329747409984228216951770714450315179782876665*y^11 - 4444862701348657402648478732583563601517298300100640234044457422544518/1306070498073916342004329747409984228216951770714450315179782876665*y^10 + 2807011920786225352362084994798732210422638380544869643908195262159169/1306070498073916342004329747409984228216951770714450315179782876665*y^9 - 2610231087886613822537004407080018929971730869960729685362275338541983/261214099614783268400865949481996845643390354142890063035956575333*y^8 + 1626751109659114336129029924434331701345195021275051020060924631276076/261214099614783268400865949481996845643390354142890063035956575333*y^7 + 6210496165537969396544674005238816809101031356701283789669626321798388/1306070498073916342004329747409984228216951770714450315179782876665*y^6 - 2561786303812367583631579813254888940468963478625297737600625387511683/1306070498073916342004329747409984228216951770714450315179782876665*y^5 - 231750200032621412258860905424885080595562635571265995225540742381206/261214099614783268400865949481996845643390354142890063035956575333*y^4 - 135211682933346275251345062851087258943361581561613240168895593778194/1306070498073916342004329747409984228216951770714450315179782876665*y^3 + 3787920588402147228590267021831031544342984512212328269998157298399/261214099614783268400865949481996845643390354142890063035956575333*y^2 + 2064110035942592430302207238918739552430917245630531634097839501338/1306070498073916342004329747409984228216951770714450315179782876665*y + 1024225815557726633334950824524004385809977624441453977424331177986/1306070498073916342004329747409984228216951770714450315179782876665

4026677709382111862458082733594678054612322983455384394338271609/23746736328616660763715086316545167785762759467535460275996052303*y^23 + 41775968743520948364699667185889887799583859470900689397897836138/23746736328616660763715086316545167785762759467535460275996052303*y^22 - 230251933301112009216871516788033248688034583263083183024980552692/23746736328616660763715086316545167785762759467535460275996052303*y^21 - 499955620972906753956868229166039464974154921125817767802245567264/23746736328616660763715086316545167785762759467535460275996052303*y^20 - 1222274502671917965197638509231287285786433714536470354237133858252/23746736328616660763715086316545167785762759467535460275996052303*y^19 + 12443003544240348706410494670531562674197279194899677914788070538293/23746736328616660763715086316545167785762759467535460275996052303*y^18 + 43835285404088755391552559056402453416376378335643946594329556851901/23746736328616660763715086316545167785762759467535460275996052303*y^17 - 164587980407613667392573219223188365507752553093154413675383382037374/23746736328616660763715086316545167785762759467535460275996052303*y^16 - 152632721857975873037871515284322879930489764802969435531227338075438/23746736328616660763715086316545167785762759467535460275996052303*y^15 + 613479935626095600270097935034621017670224703038162125912241271273816/23746736328616660763715086316545167785762759467535460275996052303*y^14 + 72563640422001266548572525777719103566949170501385865023938436781735/23746736328616660763715086316545167785762759467535460275996052303*y^13 - 749206662765634913017939306296552693525159044812295969004421860001484/23746736328616660763715086316545167785762759467535460275996052303*y^12 + 125020657361967360507820334938221750015496740577009759412776970305809/23746736328616660763715086316545167785762759467535460275996052303*y^11 + 149391109020509956970388555792526479388551256253068531498309424173647/23746736328616660763715086316545167785762759467535460275996052303*y^10 - 11710659408119716920346383172412044255064248964240091818820069203836/23746736328616660763715086316545167785762759467535460275996052303*y^9 + 242558210754661563012357448172515588899318740949335677821545414957906/23746736328616660763715086316545167785762759467535460275996052303*y^8 - 95298675159962959520407320067445835357739957650311257515901619047307/23746736328616660763715086316545167785762759467535460275996052303*y^7 - 155062812129996024841069345956354317126754425872215942591018464527308/23746736328616660763715086316545167785762759467535460275996052303*y^6 + 9248569359368254083325457108190299333883179507834895698339084398403/23746736328616660763715086316545167785762759467535460275996052303*y^5 + 33839274402282580431362870528518229484228814430428412567895921073664/23746736328616660763715086316545167785762759467535460275996052303*y^4 + 11673338021553758638906703286912498104336736354117130685866201955784/23746736328616660763715086316545167785762759467535460275996052303*y^3 + 551075166548492076124101833279270020760669390678029790455471022956/23746736328616660763715086316545167785762759467535460275996052303*y^2 - 158334391658700676997987600497999232326298162368732665591363595664/23746736328616660763715086316545167785762759467535460275996052303*y - 35274781424407940508664641146794713282691831115369798489921064244/23746736328616660763715086316545167785762759467535460275996052303

-11004036083765592677542370916477668923551360190912031469988388390/23746736328616660763715086316545167785762759467535460275996052303*y^23 - 111679462757648987779082142177983756562760113876096550376129776722/23746736328616660763715086316545167785762759467535460275996052303*y^22 + 654527229199675226221372059669273046512947905071738568976550521078/23746736328616660763715086316545167785762759467535460275996052303*y^21 + 1219059284105196230554457323693854555172499776978226762764078408270/23746736328616660763715086316545167785762759467535460275996052303*y^20 + 3058663540818363264236546367893732661351094381202837312480918183271/23746736328616660763715086316545167785762759467535460275996052303*y^19 - 34693111345799841172297817349259973034171595512414469315116779712553/23746736328616660763715086316545167785762759467535460275996052303*y^18 - 111961338894602891151821272220900254784301920222545449810536917016459/23746736328616660763715086316545167785762759467535460275996052303*y^17 + 475354903565801164244367604076849784271787190621003588773171707449570/23746736328616660763715086316545167785762759467535460275996052303*y^16 + 310002666652914788387958608899745841785349191336517976115791365840636/23746736328616660763715086316545167785762759467535460275996052303*y^15 - 1751453340344772888792245355646515459310415250981300900104689089481164/23746736328616660763715086316545167785762759467535460275996052303*y^14 + 202534045352651031804256191812530033164133181367796387318428563561899/23746736328616660763715086316545167785762759467535460275996052303*y^13 + 2017463630846618089923814856175334947908933840962518791389689911774621/23746736328616660763715086316545167785762759467535460275996052303*y^12 - 825647689531431927209016072708588746389802093714945339028008134023987/23746736328616660763715086316545167785762759467535460275996052303*y^11 - 228685530534519707082460451497911164475709337664656834659747847596196/23746736328616660763715086316545167785762759467535460275996052303*y^10 + 118635024207418811934656089234739166832054053763815737020185690636651/23746736328616660763715086316545167785762759467535460275996052303*y^9 - 704914300897789870571069824873955457411857013343287962210509422094759/23746736328616660763715086316545167785762759467535460275996052303*y^8 + 417724487694634581189248794691785098641066047218941568112325111387090/23746736328616660763715086316545167785762759467535460275996052303*y^7 + 336168349297373990439383689485278911873338731195535679074524929442187/23746736328616660763715086316545167785762759467535460275996052303*y^6 - 114675806356312751693353545820716118638299124235857121242051667929712/23746736328616660763715086316545167785762759467535460275996052303*y^5 - 61030104114594898335932399465180047040818369613415582432649291370781/23746736328616660763715086316545167785762759467535460275996052303*y^4 - 13439404783344659783952737453317585973357636988432167335519514959402/23746736328616660763715086316545167785762759467535460275996052303*y^3 - 329843753938625006459062048022748264210525871543397992632361947540/23746736328616660763715086316545167785762759467535460275996052303*y^2 + 4459421460431713261196583325673492959605117614647877079866446772/23746736328616660763715086316545167785762759467535460275996052303*y + 79185028268497156540009971368225849271550974906321789671974123848/23746736328616660763715086316545167785762759467535460275996052303

-31683982155972641344492743822040304593578276063483493088590047857/23746736328616660763715086316545167785762759467535460275996052303*y^23 - 320355682300729392157491183625542239373567916232464138980869464374/23746736328616660763715086316545167785762759467535460275996052303*y^22 + 1896848224787601696794326305904815017584220672373008048940015812604/23746736328616660763715086316545167785762759467535460275996052303*y^21 + 3439031901013416454240605530915903440596389513915095539788230671774/23746736328616660763715086316545167785762759467535460275996052303*y^20 + 8671399467727929013893105889256046288245607304008618628164448139015/23746736328616660763715086316545167785762759467535460275996052303*y^19 - 100237226683230951387150468143268570767990938366322889939271388761072/23746736328616660763715086316545167785762759467535460275996052303*y^18 - 318597968207149923139923983502567550855028772154594909635861815141937/23746736328616660763715086316545167785762759467535460275996052303*y^17 + 1381073092456572199947182502478641497299483447868109167050210550179355/23746736328616660763715086316545167785762759467535460275996052303*y^16 + 841367188048505425184267348633316043932361022141506982735938732543616/23746736328616660763715086316545167785762759467535460275996052303*y^15 - 5078204485206129393824483638398117982207915582037604688511568100204754/23746736328616660763715086316545167785762759467535460275996052303*y^14 + 769471359760437160467968416368152093904752445854095452747547701733115/23746736328616660763715086316545167785762759467535460275996052303*y^13 + 5792842752067956682991654522713582748265957925671955577051578504922789/23746736328616660763715086316545167785762759467535460275996052303*y^12 - 2584106380850168685057478645277656812607921065336130694037561049783945/23746736328616660763715086316545167785762759467535460275996052303*y^11 - 581049179221601212333952188031363382635427646496843468942612995458195/23746736328616660763715086316545167785762759467535460275996052303*y^10 + 352105831729622715806688190579413327925200188249279098219816956268272/23746736328616660763715086316545167785762759467535460275996052303*y^9 - 2032203237568323473882699422349673830849087919850072058508124017070476/23746736328616660763715086316545167785762759467535460275996052303*y^8 + 1283111003040802749020046568495387564712831775457453921874238339846749/23746736328616660763715086316545167785762759467535460275996052303*y^7 + 923506030532759998190615790666248618422009695234669010321380150719537/23746736328616660763715086316545167785762759467535460275996052303*y^6 - 363264079543266471983672257193193907828717985269274213696685957001247/23746736328616660763715086316545167785762759467535460275996052303*y^5 - 168985288924785124524181117670198505710792449666274741787857064648985/23746736328616660763715086316545167785762759467535460275996052303*y^4 - 34829021733308053055114212957982934636616090346469956500246631178794/23746736328616660763715086316545167785762759467535460275996052303*y^3 + 2683715937462580068207837570914951869626945791345757708417760927730/23746736328616660763715086316545167785762759467535460275996052303*y^2 + 818263524346179012982563791644515098685743759085032737615452558340/23746736328616660763715086316545167785762759467535460275996052303*y + 266607139676517832702676461904125424582733100009518214732397205288/23746736328616660763715086316545167785762759467535460275996052303

-42335828888105664634091638111539844860883009997809756059684813741/23746736328616660763715086316545167785762759467535460275996052303*y^23 - 429139964287461145921171778404380695805154848147460486139494191315/23746736328616660763715086316545167785762759467535460275996052303*y^22 + 2523229295639716721748931193975280182283833226477251639366275374225/23746736328616660763715086316545167785762759467535460275996052303*y^21 + 4656264256368233617803062269036341211038860550308317395080735759035/23746736328616660763715086316545167785762759467535460275996052303*y^20 + 11724364487357325803906651213930031470219532715886634063186418359200/23746736328616660763715086316545167785762759467535460275996052303*y^19 - 133590751413188126732665861367694040841452229135787857961949735242967/23746736328616660763715086316545167785762759467535460275996052303*y^18 - 429019043403165886400345630348028488305747403680190255891223228221629/23746736328616660763715086316545167785762759467535460275996052303*y^17 + 1833376327672609091884478123075735242587525865674194469950768877635155/23746736328616660763715086316545167785762759467535460275996052303*y^16 + 1167329467736661390135666959470345862335801206823098365826230185385696/23746736328616660763715086316545167785762759467535460275996052303*y^15 - 6742506466403850296327565107513598339973119092726085455871612595041032/23746736328616660763715086316545167785762759467535460275996052303*y^14 + 870803680268605901966155644280913206518830118068021575146027170356789/23746736328616660763715086316545167785762759467535460275996052303*y^13 + 7713465101665547279973634203023155800616586405098006253632307896036814/23746736328616660763715086316545167785762759467535460275996052303*y^12 - 3270890903528942441706257502860568584841664751031442604617113323814920/23746736328616660763715086316545167785762759467535460275996052303*y^11 - 797197573903831105141616323144627146167811309850122287075510027151697/23746736328616660763715086316545167785762759467535460275996052303*y^10 + 450746041312321670714806690523197170016418401787906697317304073596008/23746736328616660763715086316545167785762759467535460275996052303*y^9 - 2720409667684479632111705688667111016541510837751513669244875286152390/23746736328616660763715086316545167785762759467535460275996052303*y^8 + 1644212656469096894640727954291498686115657876317182609605056543993797/23746736328616660763715086316545167785762759467535460275996052303*y^7 + 1256959036450304328710935819569989504734495332279117579702280818762873/23746736328616660763715086316545167785762759467535460275996052303*y^6 - 449114405442422258059765799541444612970809713956681774973559490719220/23746736328616660763715086316545167785762759467535460275996052303*y^5 - 222511496570033155110585738067332282262727529793184380931810524619128/23746736328616660763715086316545167785762759467535460275996052303*y^4 - 50991783854978492923004031407334320058713286089086721679192960831061/23746736328616660763715086316545167785762759467535460275996052303*y^3 - 1328014930181401122659198277810007427066317872383366753927023654469/23746736328616660763715086316545167785762759467535460275996052303*y^2 - 86943442399405934423248928124060149155627600311991921600187592274/23746736328616660763715086316545167785762759467535460275996052303*y + 245011641052128802571701628845621759113926951293492733207713652179/23746736328616660763715086316545167785762759467535460275996052303


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

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

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

# f Combinatorial flattening
{1, 3, 1, 2, 3, 2, -5}

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

# 1 Loop Invariant
299761029050530631089123629678702997899927276379820290265960742528/23746736328616660763715086316545167785762759467535460275996052303*y^23 + 3034418151182569386517175400150897236221357484973077077587131522284/23746736328616660763715086316545167785762759467535460275996052303*y^22 - 35826176878461221325908065717479154392449061994595453506247746501685/47493472657233321527430172633090335571525518935070920551992104606*y^21 - 32777671126266574468068928411386821159868660376235001042028541730212/23746736328616660763715086316545167785762759467535460275996052303*y^20 - 82244626796677115043229674848882446035943040054549706715675759974560/23746736328616660763715086316545167785762759467535460275996052303*y^19 + 1895313422183340157540067823224285468705292732474120202596872310276629/47493472657233321527430172633090335571525518935070920551992104606*y^18 + 3026186943659275022141046663281503389883093879454253805397806697280709/23746736328616660763715086316545167785762759467535460275996052303*y^17 - 13040015798785522998920939441603303691599865112761050954110011761231515/23746736328616660763715086316545167785762759467535460275996052303*y^16 - 8142300166530776258114374590422242584384331685944012506235662305021130/23746736328616660763715086316545167785762759467535460275996052303*y^15 + 96166772119075847102093913311758797026218207245312028450520042670145663/47493472657233321527430172633090335571525518935070920551992104606*y^14 - 6656185587199744122385463728359650527006397778789883048155480772553426/23746736328616660763715086316545167785762759467535460275996052303*y^13 - 55379676253111428745280891678750608880411705494065121864372079521260422/23746736328616660763715086316545167785762759467535460275996052303*y^12 + 47909431604625935781303597858212756304003845860018475098478052043447933/47493472657233321527430172633090335571525518935070920551992104606*y^11 + 6325157876765248141870580645181988849650850430472087191054316073577484/23746736328616660763715086316545167785762759467535460275996052303*y^10 - 3612535101936622679617662029298683147056889521088598499971042712277630/23746736328616660763715086316545167785762759467535460275996052303*y^9 + 19171634933818884099507764740415579752626429015059116417178080389954802/23746736328616660763715086316545167785762759467535460275996052303*y^8 - 23721024188355653516096116380513487354953583610103322063396145291033531/47493472657233321527430172633090335571525518935070920551992104606*y^7 - 9087811121863869565518487862697419775528325736342262544967410040657227/23746736328616660763715086316545167785762759467535460275996052303*y^6 + 3493850684689471941789361672231189130355206004403837209440069564902726/23746736328616660763715086316545167785762759467535460275996052303*y^5 + 1705398659524637498726727080185804796778442190435008709219274251457423/23746736328616660763715086316545167785762759467535460275996052303*y^4 + 297303019297778954539804373783737508266474741505086244725272647044690/23746736328616660763715086316545167785762759467535460275996052303*y^3 - 60045133109839257707554775288249750145307300673664309895279605450389/47493472657233321527430172633090335571525518935070920551992104606*y^2 - 17992165509826214940781171485316009164170817415220232792308093432063/47493472657233321527430172633090335571525518935070920551992104606*y - 2026726216608983871094474924620845146268601207405276493980840786291/23746736328616660763715086316545167785762759467535460275996052303

# 2 Loop Invariant
30647948647139842847731786095644562276495297240984688248711827251766728206128886913811477544919670999952028185254405558930603646985401369940835/13633642683198286373936294888478649765471067709027416673116824960727034677742578652221438755310689541688826286957978783739785600584572159779723248*y^23 + 356682194933937888657513260326729611688975767145389203153772524924704404246028453077484531981782122276563042912127200655327635473224984837354923/13633642683198286373936294888478649765471067709027416673116824960727034677742578652221438755310689541688826286957978783739785600584572159779723248*y^22 - 4063710457419858610988580305351753465537363747650088819074602828607765325979124321854582039520638631253981526210342124537089094346719303601808257/40900928049594859121808884665435949296413203127082250019350474882181104033227735956664316265932068625066478860873936351219356801753716479339169744*y^21 - 6060531984748726211935161790474272310569217672328045972394140664706137737595363321132792891221404589022734005144551264990420676090723796719867935/13633642683198286373936294888478649765471067709027416673116824960727034677742578652221438755310689541688826286957978783739785600584572159779723248*y^20 - 41765049689799843629181077678939264185940018360240391785778317456739490472027216947027205359934534091845195411064802027091582130913223642105223115/40900928049594859121808884665435949296413203127082250019350474882181104033227735956664316265932068625066478860873936351219356801753716479339169744*y^19 + 20895746328035575353299631938645502901084764610889828220227975405950678260602696507200485844257524868218967086938045527774573249054549348054937967/3408410670799571593484073722119662441367766927256854168279206240181758669435644663055359688827672385422206571739494695934946400146143039944930812*y^18 + 340983182318644481482321322557179468248788307836748082148055209179840921057851169511088734032186869284796392599966984305812194846533728356786406489/10225232012398714780452221166358987324103300781770562504837618720545276008306933989166079066483017156266619715218484087804839200438429119834792436*y^17 - 157904700501270677649207636631993845088125718011703494044210804472937791158387376315277750755103929816314181148342032174337847220823652963454274229/2556308003099678695113055291589746831025825195442640626209404680136319002076733497291519766620754289066654928804621021951209800109607279958698109*y^16 - 2793363658519173537684891670003490846759920315416952241781630041421683950433996808979650730509615605105316488452000709098135122831748023019507499779/13633642683198286373936294888478649765471067709027416673116824960727034677742578652221438755310689541688826286957978783739785600584572159779723248*y^15 + 9993429477753227804187827792361878307179197351797037909158512002343214841875576979089306203152829760809531627319294256213573322522093348776504168805/40900928049594859121808884665435949296413203127082250019350474882181104033227735956664316265932068625066478860873936351219356801753716479339169744*y^14 + 1258759118208622560700571041379922048549372614924825976871713208262810593081865903713297384706563886075123051643792801044961069456335961402393093391/2556308003099678695113055291589746831025825195442640626209404680136319002076733497291519766620754289066654928804621021951209800109607279958698109*y^13 - 16634069506614802662277095943767319739397915972435517124347824678734665161791875127115943228289512056261320977236783984035047453277251150254180953113/40900928049594859121808884665435949296413203127082250019350474882181104033227735956664316265932068625066478860873936351219356801753716479339169744*y^12 - 1686269723364472282235953991978314960024795423882017619766325252887395481492176952116071282996909196869139068722226741162154369317086815849569063807/3408410670799571593484073722119662441367766927256854168279206240181758669435644663055359688827672385422206571739494695934946400146143039944930812*y^11 + 4861563845031851873877016017148374205724901181501138603932430837359479886784881271418692265680390024003700866370919821307184148964477246460313642749/20450464024797429560904442332717974648206601563541125009675237441090552016613867978332158132966034312533239430436968175609678400876858239669584872*y^10 + 1231701339323935091646940385399090298047446983689625345453513717574254527327880413569349520256598795457908777733540697377119586964534642118813616463/10225232012398714780452221166358987324103300781770562504837618720545276008306933989166079066483017156266619715218484087804839200438429119834792436*y^9 + 3700191823451141313346310345489292793805986457199001780792061372742489719454229979390596413823440025170911736532834086993427301548321811739331822841/40900928049594859121808884665435949296413203127082250019350474882181104033227735956664316265932068625066478860873936351219356801753716479339169744*y^8 + 838595142433914815713858174006023484064206512627348857610742751223368772093362265211881377018235382810855492648702718693300262934234342559800597751/6816821341599143186968147444239324882735533854513708336558412480363517338871289326110719377655344770844413143478989391869892800292286079889861624*y^7 - 6884519604835150649277195512788428281634647567583273817459792795074541414047499165451946231080120357605137822232997608495858607267193161092866030935/40900928049594859121808884665435949296413203127082250019350474882181104033227735956664316265932068625066478860873936351219356801753716479339169744*y^6 - 4503368211453455119652967765600053648524209468652606675126173383222984861618079920512261924416351551036544481580028277095014261689116884849061110047/40900928049594859121808884665435949296413203127082250019350474882181104033227735956664316265932068625066478860873936351219356801753716479339169744*y^5 + 162180564829058878873818280686191080618543773709142872873422144990924419473551475057335099512444825437765356988709259152185117200413938965988754391/3408410670799571593484073722119662441367766927256854168279206240181758669435644663055359688827672385422206571739494695934946400146143039944930812*y^4 + 430826394261009792357384329993994237526348522498326747629965858878307586610114194412539418835883922240651312711648138491398537025596888979459914679/13633642683198286373936294888478649765471067709027416673116824960727034677742578652221438755310689541688826286957978783739785600584572159779723248*y^3 + 9877641958399701010762448745868468631641977961876544386979946949967128391871868454400936145489322364271295952443937324637119283847286195882933875/3408410670799571593484073722119662441367766927256854168279206240181758669435644663055359688827672385422206571739494695934946400146143039944930812*y^2 - 1096035873799653707800353353870052243098420992998115320086656890059324709397661121686074792257347224436403878111322540880756592647178938053874475/2556308003099678695113055291589746831025825195442640626209404680136319002076733497291519766620754289066654928804621021951209800109607279958698109*y - 203245978499611390828664875927945470547427513708273313127901238191010195668155683423164193961202765652303939912885787894052709989725675836786403/6816821341599143186968147444239324882735533854513708336558412480363517338871289326110719377655344770844413143478989391869892800292286079889861624

# 3 Loop Invariant
200126082695335140087799493464748112088530004945207945185439122829246241518208649519583302571978258857176611916323379020481513987523241664499370333269940833781922913680108536997489523/81668749363117611821436319902034105684866100664782561571050004409883920298512884558776613621613467791494721970685330579225053072223871072001693801620151717879333648677420920540906013552*y^23 + 7959355346243976983269623122608960040099196787524476644396393096924757702631727082847152454732143252311024048152449735608418307466732180361909098535166547247894189815574862354175641879/326674997452470447285745279608136422739464402659130246284200017639535681194051538235106454486453871165978887882741322316900212288895484288006775206480606871517334594709683682163624054208*y^22 - 24635992179114345150260353723908088418019893528174673127261145817675545764302742995982399294026308472353776851341890134771372402216855360430039368721555707068714703212495164043261494563/163337498726235223642872639804068211369732201329565123142100008819767840597025769117553227243226935582989443941370661158450106144447742144003387603240303435758667297354841841081812027104*y^21 - 19673815230062240828297781670666953060393173816554463595698837353010605731136339065959387074266036337400526549422981121938594897194956022193889096055418007464783496771354622442648761661/81668749363117611821436319902034105684866100664782561571050004409883920298512884558776613621613467791494721970685330579225053072223871072001693801620151717879333648677420920540906013552*y^20 - 205103595650868516672415348812933627753442554975559035304512376573666197767212804992390802069485914164609173369041150039438278968331609137225530033275334811858201489676205323004135154331/326674997452470447285745279608136422739464402659130246284200017639535681194051538235106454486453871165978887882741322316900212288895484288006775206480606871517334594709683682163624054208*y^19 + 2567136819728940437341367609145805795162086680973996622039289907600052051331675882940016263374157389893996566729075151144320335986322864159888595760160349624741997635647649857645951736757/326674997452470447285745279608136422739464402659130246284200017639535681194051538235106454486453871165978887882741322316900212288895484288006775206480606871517334594709683682163624054208*y^18 + 3809665329078351632984501297507119217991406801938474391511832096296735136950256660016270873254800281101620175556210826893223295050477059400711192172574429027570858531902968368042789986961/163337498726235223642872639804068211369732201329565123142100008819767840597025769117553227243226935582989443941370661158450106144447742144003387603240303435758667297354841841081812027104*y^17 - 36209356400214813291433097094397944937273184344177458373509231936490185398940469037974744992774324981733568466759157635442853991925564321733070313040614511907594110283225670821724112156399/326674997452470447285745279608136422739464402659130246284200017639535681194051538235106454486453871165978887882741322316900212288895484288006775206480606871517334594709683682163624054208*y^16 - 951560314129248763906965018244879609025237386865349659671245603108392774738188228550503804783453471483903350334817519925772585620778004215273950466544581240948436119287104963926164733645/20417187340779402955359079975508526421216525166195640392762501102470980074628221139694153405403366947873680492671332644806263268055967768000423450405037929469833412169355230135226503388*y^15 + 2053864956664047395596881151739013570960117128920991711135167763825447216593973019085015977141819675461010470056293769393082467438556719203378789921975651494744866466479682315724367231068/5104296835194850738839769993877131605304131291548910098190625275617745018657055284923538351350841736968420123167833161201565817013991942000105862601259482367458353042338807533806625847*y^14 - 10490150568618542416760218318828056083445590176128544712104933226190778767632789214280549186107511583307818791920096166463228514857268404240113199567668587470583863501494250668942086553381/81668749363117611821436319902034105684866100664782561571050004409883920298512884558776613621613467791494721970685330579225053072223871072001693801620151717879333648677420920540906013552*y^13 - 8826949140608598620559056678503974041052033692821734960943252246534970610186963138902224707184183188388349334537403879301941246110001249709923776809094728279866380391620463268090607618075/20417187340779402955359079975508526421216525166195640392762501102470980074628221139694153405403366947873680492671332644806263268055967768000423450405037929469833412169355230135226503388*y^12 + 11481200954983979047064440585831773674926966372483478487340422395519437889582373795743073664104824928971621685860433494290157662998377244293406814454675000335596685506774903496113858294609/40834374681558805910718159951017052842433050332391280785525002204941960149256442279388306810806733895747360985342665289612526536111935536000846900810075858939666824338710460270453006776*y^11 + 175110702758566666933829095040514770039128375979078826282694248406550482329949924913274832890192130588534505625204916433748019649560111171213485255881493755410599019980233882600095135007/163337498726235223642872639804068211369732201329565123142100008819767840597025769117553227243226935582989443941370661158450106144447742144003387603240303435758667297354841841081812027104*y^10 - 3181282031299443085537171795335361630660298412375032581362219459186510628218389385036044031858025857157608759338365855409638940050959627266989819271004377677104113914210957592785882462275/81668749363117611821436319902034105684866100664782561571050004409883920298512884558776613621613467791494721970685330579225053072223871072001693801620151717879333648677420920540906013552*y^9 + 54963019785071129421073793926510862986879071755644477214648197998524984421004827532295891908733996682043114988968245610780035769605831079338066254944403019889005537561720761373663769150015/326674997452470447285745279608136422739464402659130246284200017639535681194051538235106454486453871165978887882741322316900212288895484288006775206480606871517334594709683682163624054208*y^8 - 20614005980801798449864844952962868579944706736833426919505653063446409706145929315208955311290022990399168323136036996484623773843827332632332067061044924285193872981254616371262009183799/163337498726235223642872639804068211369732201329565123142100008819767840597025769117553227243226935582989443941370661158450106144447742144003387603240303435758667297354841841081812027104*y^7 - 17252487271924414962970148795436782395628666709345281039844327740518273276590840824187025285991412072886352784173524114975503205589708340120584208914598953255260712667735826592416933070297/326674997452470447285745279608136422739464402659130246284200017639535681194051538235106454486453871165978887882741322316900212288895484288006775206480606871517334594709683682163624054208*y^6 + 13477583846560245611032193663782591613909266000962654106685401485968139289539512185620451469913021145233335605364765979196935870788140513825083502346280694735150350272978055462707330264359/326674997452470447285745279608136422739464402659130246284200017639535681194051538235106454486453871165978887882741322316900212288895484288006775206480606871517334594709683682163624054208*y^5 + 1511126495166667912828114458602009889760567722148381577286462552808166313040902528308728901817056265139314070986538849562364760107730032328192673758834772282781661431069018495073606787027/326674997452470447285745279608136422739464402659130246284200017639535681194051538235106454486453871165978887882741322316900212288895484288006775206480606871517334594709683682163624054208*y^4 + 69041653990007664531519023818128360064769291808803966907358206989990202672000364781853322407725736097200339951712200818068082416243477657864480000802346261080553096980084903096765961733/326674997452470447285745279608136422739464402659130246284200017639535681194051538235106454486453871165978887882741322316900212288895484288006775206480606871517334594709683682163624054208*y^3 + 138472095374061825445797684978286865471502044103673804228618322678741972653213094922416314344641453820323289817588963472497979245810113882279254677456794839769065254853173618402719242373/326674997452470447285745279608136422739464402659130246284200017639535681194051538235106454486453871165978887882741322316900212288895484288006775206480606871517334594709683682163624054208*y^2 + 42799822412505126669716815272221317227068679875151696228289875099044408555721490213888715959929869877857981247976751940604329079797527486617432776503257958955230894341036552768217921435/326674997452470447285745279608136422739464402659130246284200017639535681194051538235106454486453871165978887882741322316900212288895484288006775206480606871517334594709683682163624054208*y - 1069140960990051006857783928011445713388969595119204114459214050547343732577355496284047379735290916776912415956172877575681133603330662355261449170855389190615752502145158742017739323/326674997452470447285745279608136422739464402659130246284200017639535681194051538235106454486453871165978887882741322316900212288895484288006775206480606871517334594709683682163624054208