# Manifold: Census Knot K7_56

# Number of Tetrahedra: 7

# Number Field
x^21 + 468/287*x^20 - 1891/287*x^19 - 3656/287*x^18 - 3658/287*x^17 + 15761/287*x^16 + 2938/41*x^15 - 3437/41*x^14 - 31926/287*x^13 - 13929/287*x^12 + 78486/287*x^11 + 17119/287*x^10 - 91988/287*x^9 + 38257/287*x^8 + 11170/287*x^7 - 12169/287*x^6 + 2008/287*x^5 + 834/287*x^4 - 348/287*x^3 + 22/287*x^2 + 8/287*x - 1/287 

# Approximate Field Generator
0.992949139522606 + 0.523620301940394*I

# Shape Parameters
-269400914670046198320512320949406514992296106725741179/3873380218732326450431041576479792187652902231301207*y^20 - 578426713566819493420364582413373787028750586745022552/3873380218732326450431041576479792187652902231301207*y^19 + 1498699325921039926999436321405616723242071949664924875/3873380218732326450431041576479792187652902231301207*y^18 + 4248181253079827332307040213652044817642980330885042189/3873380218732326450431041576479792187652902231301207*y^17 + 5493478420662880985403437530060253002690347427780758771/3873380218732326450431041576479792187652902231301207*y^16 - 12274427279912964500004937371503201881310207213901587936/3873380218732326450431041576479792187652902231301207*y^15 - 26025951690741034801238425664920196076532025312947104130/3873380218732326450431041576479792187652902231301207*y^14 + 10242596009033719694533156266333468904374701904190281162/3873380218732326450431041576479792187652902231301207*y^13 + 37121469174825205661923500993079372613317479312262480614/3873380218732326450431041576479792187652902231301207*y^12 + 30973177785897562588578645185438824208376361108617056650/3873380218732326450431041576479792187652902231301207*y^11 - 60343259567948914233153192345800602503652712615229266395/3873380218732326450431041576479792187652902231301207*y^10 - 49172181609747053427052822912414344511503061036382461965/3873380218732326450431041576479792187652902231301207*y^9 + 66317352498086933297050816662665338891502754815876804216/3873380218732326450431041576479792187652902231301207*y^8 + 950957653351442404880378701982214569057682257202200092/3873380218732326450431041576479792187652902231301207*y^7 - 15933307769272783097690963007951921361759077229713036264/3873380218732326450431041576479792187652902231301207*y^6 + 4783118269044339858289664243050590568162019000757241300/3873380218732326450431041576479792187652902231301207*y^5 + 1271807139324816487951005347864852455191445393435428687/3873380218732326450431041576479792187652902231301207*y^4 - 678439861739427827362373487740076503678066123820307665/3873380218732326450431041576479792187652902231301207*y^3 + 44052055993315018114717834254087667032052000557655265/3873380218732326450431041576479792187652902231301207*y^2 + 20721259688375470496912032073034716506600741276665083/3873380218732326450431041576479792187652902231301207*y - 3917725702448416581823162110207942446623561378303787/3873380218732326450431041576479792187652902231301207

246685104922482472839339508303384042871121058680213631/3873380218732326450431041576479792187652902231301207*y^20 + 449937617747034679329058038641337179081904556759393973/3873380218732326450431041576479792187652902231301207*y^19 - 1539916864742235834658006495358282683850336578466062248/3873380218732326450431041576479792187652902231301207*y^18 - 3441620967972159420857452788034120147245613459001442169/3873380218732326450431041576479792187652902231301207*y^17 - 3797282027855526860630569432536474977790072600716039626/3873380218732326450431041576479792187652902231301207*y^16 + 12828110064209462696351302359328618458269310591109951670/3873380218732326450431041576479792187652902231301207*y^15 + 20161150425229644947875819047281884851025303409996878550/3873380218732326450431041576479792187652902231301207*y^14 - 16889179871563614514300308213896345779862389308847600596/3873380218732326450431041576479792187652902231301207*y^13 - 30782311726165580650761481527342098933185024679600534296/3873380218732326450431041576479792187652902231301207*y^12 - 17707205827925824723363403596369936014287336782136868824/3873380218732326450431041576479792187652902231301207*y^11 + 64209199627615379404333394924944685075697305181441564177/3873380218732326450431041576479792187652902231301207*y^10 + 27102842727941315540293188132047289257764746208460789783/3873380218732326450431041576479792187652902231301207*y^9 - 74387241690678076457835853032324711883053537490932477240/3873380218732326450431041576479792187652902231301207*y^8 + 18541417443193823038450419414717355885553866708553700808/3873380218732326450431041576479792187652902231301207*y^7 + 13829573157891725531757799523863636148038183053715030714/3873380218732326450431041576479792187652902231301207*y^6 - 8082771302465356133246574869859498937756307467363906866/3873380218732326450431041576479792187652902231301207*y^5 + 125357191656907171962254698407937629617421895869719332/3873380218732326450431041576479792187652902231301207*y^4 + 762030892720131620550702383906389143214786691095777289/3873380218732326450431041576479792187652902231301207*y^3 - 168453781360499082806421076481896070747229607256046332/3873380218732326450431041576479792187652902231301207*y^2 - 10333955420468078973937446217190324691189211649702745/3873380218732326450431041576479792187652902231301207*y + 6774728527361313656213599720587564027803847243258840/3873380218732326450431041576479792187652902231301207

23313979145512491612647892313936600580293422627561357075567/99379316272015299738709233727742028158610512548495067999*y^20 + 39921048940642211806643312966753783806472126568279956256455/99379316272015299738709233727742028158610512548495067999*y^19 - 300856774900823175914869135428430169768638523565345219357703/198758632544030599477418467455484056317221025096990135998*y^18 - 618769623906043328799278409698369900688521726532755077088327/198758632544030599477418467455484056317221025096990135998*y^17 - 643675944955914754153992103479635259885455868666726421714375/198758632544030599477418467455484056317221025096990135998*y^16 + 2510066244078655570090076481394626193058009028133221108749737/198758632544030599477418467455484056317221025096990135998*y^15 + 3547195616119792699383926587375879642338973382332842247880321/198758632544030599477418467455484056317221025096990135998*y^14 - 1814721210024658054036855060752228324718070732419721264386206/99379316272015299738709233727742028158610512548495067999*y^13 - 5494745701977162779032678692359957677391243895886780326468525/198758632544030599477418467455484056317221025096990135998*y^12 - 1345700820370546290394035448463062641751737455310988085854305/99379316272015299738709233727742028158610512548495067999*y^11 + 6278151641297809880105882299837785867149713027005181505053569/99379316272015299738709233727742028158610512548495067999*y^10 + 3804535656797577193169146037226006776397511285337417205722863/198758632544030599477418467455484056317221025096990135998*y^9 - 14692073928912504364687832672459986100277597611976768044065361/198758632544030599477418467455484056317221025096990135998*y^8 + 2501581854754724722213341682962854662498094970818838489881268/99379316272015299738709233727742028158610512548495067999*y^7 + 1151146449601625158297074113768972845353731899128401224396383/99379316272015299738709233727742028158610512548495067999*y^6 - 900740312089869953673846855092333515522435926487670521640313/99379316272015299738709233727742028158610512548495067999*y^5 + 72471386909554517853741053082873905417945952688463413932724/99379316272015299738709233727742028158610512548495067999*y^4 + 79630911129120834313530635888656665873346347078728579439174/99379316272015299738709233727742028158610512548495067999*y^3 - 20355583393973949153046725477839005060539084879698443290375/99379316272015299738709233727742028158610512548495067999*y^2 - 1582788736426534468750003948348040938641503421692960841499/198758632544030599477418467455484056317221025096990135998*y + 1368172954001189521654671588166015686730080595838042159779/198758632544030599477418467455484056317221025096990135998

23313979145512491612647892313936600580293422627561357075567/99379316272015299738709233727742028158610512548495067999*y^20 + 39921048940642211806643312966753783806472126568279956256455/99379316272015299738709233727742028158610512548495067999*y^19 - 300856774900823175914869135428430169768638523565345219357703/198758632544030599477418467455484056317221025096990135998*y^18 - 618769623906043328799278409698369900688521726532755077088327/198758632544030599477418467455484056317221025096990135998*y^17 - 643675944955914754153992103479635259885455868666726421714375/198758632544030599477418467455484056317221025096990135998*y^16 + 2510066244078655570090076481394626193058009028133221108749737/198758632544030599477418467455484056317221025096990135998*y^15 + 3547195616119792699383926587375879642338973382332842247880321/198758632544030599477418467455484056317221025096990135998*y^14 - 1814721210024658054036855060752228324718070732419721264386206/99379316272015299738709233727742028158610512548495067999*y^13 - 5494745701977162779032678692359957677391243895886780326468525/198758632544030599477418467455484056317221025096990135998*y^12 - 1345700820370546290394035448463062641751737455310988085854305/99379316272015299738709233727742028158610512548495067999*y^11 + 6278151641297809880105882299837785867149713027005181505053569/99379316272015299738709233727742028158610512548495067999*y^10 + 3804535656797577193169146037226006776397511285337417205722863/198758632544030599477418467455484056317221025096990135998*y^9 - 14692073928912504364687832672459986100277597611976768044065361/198758632544030599477418467455484056317221025096990135998*y^8 + 2501581854754724722213341682962854662498094970818838489881268/99379316272015299738709233727742028158610512548495067999*y^7 + 1151146449601625158297074113768972845353731899128401224396383/99379316272015299738709233727742028158610512548495067999*y^6 - 900740312089869953673846855092333515522435926487670521640313/99379316272015299738709233727742028158610512548495067999*y^5 + 72471386909554517853741053082873905417945952688463413932724/99379316272015299738709233727742028158610512548495067999*y^4 + 79630911129120834313530635888656665873346347078728579439174/99379316272015299738709233727742028158610512548495067999*y^3 - 20355583393973949153046725477839005060539084879698443290375/99379316272015299738709233727742028158610512548495067999*y^2 - 1582788736426534468750003948348040938641503421692960841499/198758632544030599477418467455484056317221025096990135998*y + 1368172954001189521654671588166015686730080595838042159779/198758632544030599477418467455484056317221025096990135998

447308415446366622238049493524833565985633093146471726462/99379316272015299738709233727742028158610512548495067999*y^20 + 213298207071013882024536585718293982382234075256181742794/99379316272015299738709233727742028158610512548495067999*y^19 - 6705640953970986580546612484328034703210198990470632045851/198758632544030599477418467455484056317221025096990135998*y^18 - 2657543517178393211021990038011979614926407875321110571135/198758632544030599477418467455484056317221025096990135998*y^17 - 5701162470211445454126976194554240429970033256872563702563/397517265088061198954836934910968112634442050193980271996*y^16 + 96777550856551863773301348289665705125928730616231946161547/397517265088061198954836934910968112634442050193980271996*y^15 - 24154827765658829950319877711396806445253649908805294320505/397517265088061198954836934910968112634442050193980271996*y^14 - 224390150089463065641524247805133285000628630967497916931447/397517265088061198954836934910968112634442050193980271996*y^13 + 72292804630463990320889864863945679237024106850168843369691/198758632544030599477418467455484056317221025096990135998*y^12 + 25123859230675726720688774334547143908620022714968151998766/99379316272015299738709233727742028158610512548495067999*y^11 + 181806381500943018787416363268060690230296235044930902560203/198758632544030599477418467455484056317221025096990135998*y^10 - 172407340663234502865413966780888921222238508096669344103336/99379316272015299738709233727742028158610512548495067999*y^9 - 349607078894132945545559134189598281398245830831015295704035/397517265088061198954836934910968112634442050193980271996*y^8 + 306938966052254902890081108042416752689803263033504219727882/99379316272015299738709233727742028158610512548495067999*y^7 - 554554119454090998053071601793450250815808496193402783426091/397517265088061198954836934910968112634442050193980271996*y^6 - 165383194239575705591956714209654585492727041226375531666749/397517265088061198954836934910968112634442050193980271996*y^5 + 140150840266454019800535510479004495405911383636479783168575/397517265088061198954836934910968112634442050193980271996*y^4 - 20131791027705302128500188175515249235329014348197538184729/397517265088061198954836934910968112634442050193980271996*y^3 - 9390819208505248139161186932214527275583883567015459396287/397517265088061198954836934910968112634442050193980271996*y^2 + 576337612269276022859963567042336739576771712514125553764/99379316272015299738709233727742028158610512548495067999*y + 12133915933821688335603343038454114858265623356944074494/99379316272015299738709233727742028158610512548495067999

-564639487869684903205813593899113219274270790601215371/3873380218732326450431041576479792187652902231301207*y^20 - 1068136755685887222316324681950739295683530219100112005/3873380218732326450431041576479792187652902231301207*y^19 + 3427742812763252709015570789926640634547279550305556532/3873380218732326450431041576479792187652902231301207*y^18 + 8044994847084203030454312344586094791089012225709373582/3873380218732326450431041576479792187652902231301207*y^17 + 9334567912214473730912683811516444320941348767451739060/3873380218732326450431041576479792187652902231301207*y^16 - 28314137835046269806381108264262429115735966831710412536/3873380218732326450431041576479792187652902231301207*y^15 - 47335753493385558469710761783614962641184822226774079564/3873380218732326450431041576479792187652902231301207*y^14 + 34813484701974251307342598635153282572467828634334233631/3873380218732326450431041576479792187652902231301207*y^13 + 70368131932449231567013259324313246890551403052367255902/3873380218732326450431041576479792187652902231301207*y^12 + 44891432794592462894655147980270035201656591115606402733/3873380218732326450431041576479792187652902231301207*y^11 - 141470245638399147923695418263501660103594959261309590706/3873380218732326450431041576479792187652902231301207*y^10 - 67865621302488796357123681417953317730812716274451988745/3873380218732326450431041576479792187652902231301207*y^9 + 162637312660456116916676514556255272720498332285563854334/3873380218732326450431041576479792187652902231301207*y^8 - 36162587837395445739335179598796116389032651754550987113/3873380218732326450431041576479792187652902231301207*y^7 - 30995345695153430658204841410288740071476757604064732074/3873380218732326450431041576479792187652902231301207*y^6 + 16592351727597405091265240531429231153498642050627264712/3873380218732326450431041576479792187652902231301207*y^5 + 4175051874374678099072370690721970119458012365213254/3873380218732326450431041576479792187652902231301207*y^4 - 1611359456869497701960845563304954391189452719274487212/3873380218732326450431041576479792187652902231301207*y^3 + 293923791999814285696527700638733732848592326812004293/3873380218732326450431041576479792187652902231301207*y^2 + 21991998099974930359056373810777747762403372836562078/3873380218732326450431041576479792187652902231301207*y - 5618667446145908581820044072055121073997875571503319/3873380218732326450431041576479792187652902231301207

521553296139347458443841762525587531007734480194585235/3873380218732326450431041576479792187652902231301207*y^20 + 976329696171858252288003481399387122432391634389374882/3873380218732326450431041576479792187652902231301207*y^19 - 3198482507400835004266687910236877065316724128347767299/3873380218732326450431041576479792187652902231301207*y^18 - 7410682331862639291751304446451990732806840708557314958/3873380218732326450431041576479792187652902231301207*y^17 - 8447992753582003937335088607725008315772888715903415387/3873380218732326450431041576479792187652902231301207*y^16 + 26569528746385223830501732692059719935841115488090375527/3873380218732326450431041576479792187652902231301207*y^15 + 43734817045273700128757005601558837486364632986040422176/3873380218732326450431041576479792187652902231301207*y^14 - 33079224166074985647421658030803006271017574074686828212/3873380218732326450431041576479792187652902231301207*y^13 - 65812207842551833534649436514649303513223383374216272446/3873380218732326450431041576479792187652902231301207*y^12 - 41273795430874523232676627297091199513821983734456476584/3873380218732326450431041576479792187652902231301207*y^11 + 132468272662574193308461962373593223951965621994726689909/3873380218732326450431041576479792187652902231301207*y^10 + 62873867308530865240427054912951953024025402994289364889/3873380218732326450431041576479792187652902231301207*y^9 - 151572093034443382500340507104884392861774116359419038697/3873380218732326450431041576479792187652902231301207*y^8 + 33153304766667876008103544460805216923265534629254081521/3873380218732326450431041576479792187652902231301207*y^7 + 27767564489373586503187183117912172994405632431828450086/3873380218732326450431041576479792187652902231301207*y^6 - 15112410002940989978521693977621935435138809507020268512/3873380218732326450431041576479792187652902231301207*y^5 + 92351176937936626314095870318557246574478356681128944/3873380218732326450431041576479792187652902231301207*y^4 + 1392306240476792317242150113961904142503322115399208809/3873380218732326450431041576479792187652902231301207*y^3 - 266117582571649415244329873474228222989674489671654526/3873380218732326450431041576479792187652902231301207*y^2 - 14556421475369910578249418776170736871837925180664309/3873380218732326450431041576479792187652902231301207*y + 8296062547311113939034852431516199618863831588437915/3873380218732326450431041576479792187652902231301207


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

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

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

# f Combinatorial flattening
{2, 3, 2, 3, 6, 3, 2}

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

# 1 Loop Invariant
2965865964251549182215872730618424169242145358436639915089643/198758632544030599477418467455484056317221025096990135998*y^20 + 5243241378844262868712835499976116457258972554138950816593669/198758632544030599477418467455484056317221025096990135998*y^19 - 18851284405874076320314004228607022520178621432107876840290211/198758632544030599477418467455484056317221025096990135998*y^18 - 20211364101476249705096678017033540726424920678692819749076779/99379316272015299738709233727742028158610512548495067999*y^17 - 43171659806948909274903496650169982139022946711015980468233611/198758632544030599477418467455484056317221025096990135998*y^16 + 78684261892701830479091654731827739322313417701033513629803242/99379316272015299738709233727742028158610512548495067999*y^15 + 117301734851743084837145421178420857611699489061108434165353908/99379316272015299738709233727742028158610512548495067999*y^14 - 108950630479726446553617827177966259341311348852135100008096515/99379316272015299738709233727742028158610512548495067999*y^13 - 362294141567028636165491483400503946810646218056637599482754529/198758632544030599477418467455484056317221025096990135998*y^12 - 95945526030000220726555639517987308776418524161690236332732622/99379316272015299738709233727742028158610512548495067999*y^11 + 394224252374914214878925809591663842615183432930473928403258920/99379316272015299738709233727742028158610512548495067999*y^10 + 287503526689802740071776418370169239705518819427053699468064203/198758632544030599477418467455484056317221025096990135998*y^9 - 918434080617956923356105158081147507172130940005409009170842639/198758632544030599477418467455484056317221025096990135998*y^8 + 265641707675033842575196063043520797411299345833610700204320333/198758632544030599477418467455484056317221025096990135998*y^7 + 80074844095684055339655090548725987359419102384645066904082756/99379316272015299738709233727742028158610512548495067999*y^6 - 52703761362286172154954178733984501860965438402886819449748914/99379316272015299738709233727742028158610512548495067999*y^5 + 4757300570823020890540208205387938796237815303996463168386243/198758632544030599477418467455484056317221025096990135998*y^4 + 10056957593121127921282666896771611261384171035895889565376281/198758632544030599477418467455484056317221025096990135998*y^3 - 1104430185607166141969873629065063507882571089114452697349072/99379316272015299738709233727742028158610512548495067999*y^2 - 142761548535095094279140767535239142334654203556410660133887/198758632544030599477418467455484056317221025096990135998*y + 72880238316352187069549068950736232942019077620234631555247/198758632544030599477418467455484056317221025096990135998

# 2 Loop Invariant
-5538997555090817029560364689727577686502736956656543197791374731047684578426205741661388420277722673443582041101370463961087/1200084003104514272001004273274192139304001111716811892402972156210333883639365821043209811639386505299726395669708225988296*y^20 - 12467888284551812376978101589045647993429602373070652796025458470802211646521542618929172693273610032720066893425348247287991/1050073502716449988000878739114918121891000972752210405852600636684042148184445093412808585184463192137260596210994697739759*y^19 + 1210455063648706648273870703318004904797084248194761306200461254715257041606283661965520616946914598479166309898639953530098339/50403528130389599424042179477516069850768046692106099480924830560834023112853364483814812088854233222588508618127745491508432*y^18 + 4498960259716326055159582479793594466259622904824057754069106291296912502955133655092843409518938271558802520815030371146609435/50403528130389599424042179477516069850768046692106099480924830560834023112853364483814812088854233222588508618127745491508432*y^17 + 133553215966949471782891765791029597641096015424238463016477502309901048191706412662304590523586075507004982260968919140530343/1200084003104514272001004273274192139304001111716811892402972156210333883639365821043209811639386505299726395669708225988296*y^16 - 1767559747793351709314704801127887644584262321301240692516267409218340859435546808014988328723463672239536619317094277171363997/8400588021731599904007029912919344975128007782017683246820805093472337185475560747302468681475705537098084769687957581918072*y^15 - 531188458282456312100912801017757300063158380468419898940441844828099147622297865644928961485460301554178402140126731493930689/900063002328385704000753204955644104478000833787608919302229117157750412729524365782407358729539878974794796752281169491222*y^14 + 4884412008772944585487656193106492556953490807522974158203653500743033693147706729934578107481772853736321662501480117162956933/50403528130389599424042179477516069850768046692106099480924830560834023112853364483814812088854233222588508618127745491508432*y^13 + 48187430754041839393013287295055361187705757817265405090466689846157781063546027700312912088248808227287660409932088470896535451/50403528130389599424042179477516069850768046692106099480924830560834023112853364483814812088854233222588508618127745491508432*y^12 + 869286611702583460012410789707122117189792109882781175983912925884132799350138293848547437456881165779681286227110653350573493/1200084003104514272001004273274192139304001111716811892402972156210333883639365821043209811639386505299726395669708225988296*y^11 - 9574651549942313442288208977738504400563355122453569037189589801623524226508890402226294021604233190365998228964647641565001437/8400588021731599904007029912919344975128007782017683246820805093472337185475560747302468681475705537098084769687957581918072*y^10 - 80720364586770364469736626853458824914064414666058343708346581227284288091825858488456092288820476534295863821188660117121890373/50403528130389599424042179477516069850768046692106099480924830560834023112853364483814812088854233222588508618127745491508432*y^9 + 588591482888331473942077262963240819293955277136113069552661684436605140968012935448719915106324436897517730292161575008091853/450031501164192852000376602477822052239000416893804459651114558578875206364762182891203679364769939487397398376140584745611*y^8 + 431075365261459521220142442256316761555548540924658553435533620797562610206562949852075585842091213745934306392688631797126075/450031501164192852000376602477822052239000416893804459651114558578875206364762182891203679364769939487397398376140584745611*y^7 - 13689570035865034006591524809496853277914001739680309834429048538427822569591280941667208830635199620563847849705765803038694683/16801176043463199808014059825838689950256015564035366493641610186944674370951121494604937362951411074196169539375915163836144*y^6 - 1296791071292397969027132517075059962258811991539320668360145003652596384388296817270531578687793494936143976504109820770013205/50403528130389599424042179477516069850768046692106099480924830560834023112853364483814812088854233222588508618127745491508432*y^5 + 45560461590846370386954751643176697379984030152519394818905747676668846954588602014552110530959938567721010984016772201451665/342881143744146934857429792364054896944000317633374826400849187488666823896961663155202803325539001514207541619916635996656*y^4 - 1468063644133940234023471664790821846448068456508043872507797007267260913984439950611440914087329110542046193017365417964018901/50403528130389599424042179477516069850768046692106099480924830560834023112853364483814812088854233222588508618127745491508432*y^3 - 330688923666361680501825524472574499726920397386986872607295948246742934153756565362380192767076467467289960833235604694151391/50403528130389599424042179477516069850768046692106099480924830560834023112853364483814812088854233222588508618127745491508432*y^2 + 104106829824454948774929812979392235748399334273630121990239038287749970684007101822898840588498384781053918955094593860626611/50403528130389599424042179477516069850768046692106099480924830560834023112853364483814812088854233222588508618127745491508432*y - 9011214446204208755534417897876456013924472198000013225374397162982239660469080286114517610189635526952140559406050404097979/7200504018627085632006025639645152835824006670300871354417832937262003301836194926259258869836319031798358374018249355929776

# 3 Loop Invariant
-41620586531746319255186779797991940481469612851558648460619236976137881157600456146783209024080719832210622044364357295696404269259997047016448812313766835653/3900977939685924078791250226288058071785301628550351330095617744289232298912272619911652465946966636783515693882953919794134740299406841009055922463826379384*y^20 - 568178467085627181907260500684117677016018130095901551060837221782351139709020953251147376684837233385045232654472501078678529728707898703430830346114272614821/27306845577801468551538751584016406502497111399852459310669324210024626092385908339381567261628766457484609857180677438558943182095847887063391457246784655688*y^19 + 13822255510949242744901460704105733590557897525423608926687352764977711749060180891586251707840975534408915098297295201263096402136239672402318020088202304325201/218454764622411748412310012672131252019976891198819674485354593680197008739087266715052538093030131659876878857445419508471545456766783096507131657974277245504*y^18 + 4856344864032737976208899685298078067437139778287633734534368216079540026572699843013916926619764079819828148398215708647172448857575255809889663949220769674819/31207823517487392630330001810304464574282413028402810640764941954313858391298180959293219727575733094268125551063631358353077922395254728072447379710611035072*y^17 + 5879276286030293450063500145937738556271743772517818309947329646033572510627711090459365658190622160035761505159037116324061897247417621544991732091412118035091/31207823517487392630330001810304464574282413028402810640764941954313858391298180959293219727575733094268125551063631358353077922395254728072447379710611035072*y^16 - 113919968474688569463482353167299915727836648402777278722364331010753278117036519075112412348789746564688455264230833342968034993837588826137453362185607428782699/218454764622411748412310012672131252019976891198819674485354593680197008739087266715052538093030131659876878857445419508471545456766783096507131657974277245504*y^15 - 101346306748296895962491707962563912977768623037153004758822865875236422758504684748540813757449404705692918206185958466598279661127088927577363158985617789950795/109227382311205874206155006336065626009988445599409837242677296840098504369543633357526269046515065829938439428722709754235772728383391548253565828987138622752*y^14 + 125695825485143502227460939498904687959070003477063014212609737337611213604721289322310722157064748578016137382484562951508175003294408256622567046561242710502743/218454764622411748412310012672131252019976891198819674485354593680197008739087266715052538093030131659876878857445419508471545456766783096507131657974277245504*y^13 + 73637394390797281310284063057906921608998749197248143019173526276993352074809765136050693873465934044504572911054266753105206206025376804760298818318469774444183/54613691155602937103077503168032813004994222799704918621338648420049252184771816678763134523257532914969219714361354877117886364191695774126782914493569311376*y^12 + 108044415563494670004954164698986179261474805607912306232872345735636457838645359233994269445631254732301155106598950200119663046871417889888559395230541507527151/109227382311205874206155006336065626009988445599409837242677296840098504369543633357526269046515065829938439428722709754235772728383391548253565828987138622752*y^11 - 560166069762119347035089760342257545043674261943551250283362326788437968726357468845450879336881207094161658007463719139182262181961494533028886179580222453957185/218454764622411748412310012672131252019976891198819674485354593680197008739087266715052538093030131659876878857445419508471545456766783096507131657974277245504*y^10 - 316848416060533412480394703734282073049902265208489235854838183263340961404331379088248235539260686866991947438111572449942329401732823649572960520706381397428427/218454764622411748412310012672131252019976891198819674485354593680197008739087266715052538093030131659876878857445419508471545456766783096507131657974277245504*y^9 + 22180065868499135913329109806835823649783260525371237417490212279401108858195282829290582296373434367922670226185891515149672516195176376176083250101323321823069/7801955879371848157582500452576116143570603257100702660191235488578464597824545239823304931893933273567031387765907839588269480598813682018111844927652758768*y^8 - 56099211510430574462798845904806867576090613392304989255276356375216805709113965641429670357793730388870588651423081224189015712350781832457698866818201599553303/109227382311205874206155006336065626009988445599409837242677296840098504369543633357526269046515065829938439428722709754235772728383391548253565828987138622752*y^7 - 96743976903207657305640375847640810624102441294509557211381784735973470236413424294417194437532192314235846002203714318281163902250734836127038133497577769805245/218454764622411748412310012672131252019976891198819674485354593680197008739087266715052538093030131659876878857445419508471545456766783096507131657974277245504*y^6 + 51565424936528557803913245265759275684572710169989507078866812301977240213020290922260503034677621744453992680516473010845531153798860651823396731088077401088065/218454764622411748412310012672131252019976891198819674485354593680197008739087266715052538093030131659876878857445419508471545456766783096507131657974277245504*y^5 - 1321192857558241089502974100372207971716259404949158304182072852102308803532698408778592766649217932972281431790891076481663849921116524530401912445734292656397/109227382311205874206155006336065626009988445599409837242677296840098504369543633357526269046515065829938439428722709754235772728383391548253565828987138622752*y^4 - 3211667366922562677842048836796045690894532082118429945267298512231695924362056619372497196323281801210065510785242287606493813393412975799901156375525966812967/218454764622411748412310012672131252019976891198819674485354593680197008739087266715052538093030131659876878857445419508471545456766783096507131657974277245504*y^3 + 905720417760543197426933051881908349437570677359262032853357887161582931683654083367403836829767148544183458235173468648050849166518992291487765452668698334855/218454764622411748412310012672131252019976891198819674485354593680197008739087266715052538093030131659876878857445419508471545456766783096507131657974277245504*y^2 - 2337151555010271236190136656119802214617299882188677296052798074330167483461666517452500708700587470101228818888906797086811425242543182148712242032908332295/4458260502498198947190000258614923510611773289771830091537848850616265484471168708470459961082247584895446507294804479764725417485036389724635339958658719296*y + 4493432804578088950431211315085670169705214510122801191858550183073851442808646270131195182459119991163400914556332591985012162959358947669345466941182244973/109227382311205874206155006336065626009988445599409837242677296840098504369543633357526269046515065829938439428722709754235772728383391548253565828987138622752