# Manifold: Census Knot K7_4

# Number of Tetrahedra: 7

# Number Field
x^23 - 13/2*x^22 - 59/2*x^21 + 143*x^20 + 1095/2*x^19 - 948*x^18 - 3821*x^17 + 8705/2*x^16 + 25451/2*x^15 - 11401*x^14 - 26101*x^13 + 26823/2*x^12 + 31426*x^11 - 7654*x^10 - 21266*x^9 + 2894*x^8 + 7876*x^7 - 2019/2*x^6 - 3149/2*x^5 + 291/2*x^4 + 168*x^3 + 27/2*x^2 - 3*x - 1/2 

# Approximate Field Generator
-0.137156390879533 + 0.100111505662287*I

# Shape Parameters
12613827140213742557027380989435177562825492354/3833853345467803616710988258655505209462247134811*y^22 - 126078026166171920895752127909584166852077365657/3833853345467803616710988258655505209462247134811*y^21 + 21741340538383835209308564205335998277419700735/3833853345467803616710988258655505209462247134811*y^20 + 2316536168319093833072937629193695991804923023266/3833853345467803616710988258655505209462247134811*y^19 - 1857732809004726994947172099205506927164548876139/3833853345467803616710988258655505209462247134811*y^18 - 18946246782480429362638858587160351627757525367200/3833853345467803616710988258655505209462247134811*y^17 + 36715258719933203250499357724200268513753376845020/3833853345467803616710988258655505209462247134811*y^16 + 90936027809590964820483017046388039839078042590901/3833853345467803616710988258655505209462247134811*y^15 - 308680786648115419161317985470102491094605603001241/3833853345467803616710988258655505209462247134811*y^14 - 39339191452476211553521902520196011178728655301198/3833853345467803616710988258655505209462247134811*y^13 + 841294239827717882264768398426013174323719864692117/3833853345467803616710988258655505209462247134811*y^12 - 308701693346726108269991517955916129262610316239327/3833853345467803616710988258655505209462247134811*y^11 - 1223650468889742011839412826524736005450901370904488/3833853345467803616710988258655505209462247134811*y^10 + 460621956904525569908400872396956466419532292726230/3833853345467803616710988258655505209462247134811*y^9 + 1079678825594105804066123566677273447679008053404922/3833853345467803616710988258655505209462247134811*y^8 - 394661536016098036683263787905985314035781433150110/3833853345467803616710988258655505209462247134811*y^7 - 458782476494013046693217475206767333409752945731706/3833853345467803616710988258655505209462247134811*y^6 + 197073270039955702961239756891971585775833703648218/3833853345467803616710988258655505209462247134811*y^5 + 73309811078556330240914011032590858346102346348253/3833853345467803616710988258655505209462247134811*y^4 - 33448923446632789791127571932515361861234266413028/3833853345467803616710988258655505209462247134811*y^3 - 7204654790990708716102649878055155827744513384132/3833853345467803616710988258655505209462247134811*y^2 + 422640690446615206918439772823494464523086888984/3833853345467803616710988258655505209462247134811*y + 2358351138976252862824935192937708395183686547896/3833853345467803616710988258655505209462247134811

-1087501057730230825058942001406459819333945773008/3833853345467803616710988258655505209462247134811*y^22 + 7014018245144518957171744136535679401643814463216/3833853345467803616710988258655505209462247134811*y^21 + 32403519711971233373555062924628139930555458556340/3833853345467803616710988258655505209462247134811*y^20 - 153690713196328147782593463200462242807580613815202/3833853345467803616710988258655505209462247134811*y^19 - 602221976303650450807603234809105604577047677235621/3833853345467803616710988258655505209462247134811*y^18 + 996860371799089242990469204984676752463720645677323/3833853345467803616710988258655505209462247134811*y^17 + 4188451999986282690015621069203415691036583798986362/3833853345467803616710988258655505209462247134811*y^16 - 4505979685143584820926123220223815573634188344059673/3833853345467803616710988258655505209462247134811*y^15 - 13959154317280165204035266846918960155766030096274982/3833853345467803616710988258655505209462247134811*y^14 + 11653322675213619993335827547758698292671419601091784/3833853345467803616710988258655505209462247134811*y^13 + 28663310673390209493100778707765151415557453138469541/3833853345467803616710988258655505209462247134811*y^12 - 13183104560676952379531066899625007660819029480294962/3833853345467803616710988258655505209462247134811*y^11 - 34216017325214004745048541869492535683686606007708214/3833853345467803616710988258655505209462247134811*y^10 + 7064532040775071169880860355063731801548689137492522/3833853345467803616710988258655505209462247134811*y^9 + 22808416456826150902603109940519092176180330147594621/3833853345467803616710988258655505209462247134811*y^8 - 2714642882035917306751772639349254535289425352667076/3833853345467803616710988258655505209462247134811*y^7 - 8320313926253765235032453270614754239052398841831290/3833853345467803616710988258655505209462247134811*y^6 + 1187860534391067899090065742095695423252073743636202/3833853345467803616710988258655505209462247134811*y^5 + 1575846023767639789951973324088481746857378729199897/3833853345467803616710988258655505209462247134811*y^4 - 257609794459520982783766916007901122358359685883340/3833853345467803616710988258655505209462247134811*y^3 - 114292911751087765700641320163746013299916408682008/3833853345467803616710988258655505209462247134811*y^2 + 1155989539623622941885177027437512675521843425139/3833853345467803616710988258655505209462247134811*y - 2896441585077706250334752060247228673879039044335/3833853345467803616710988258655505209462247134811

-7910714670615222691713228752386042056732519469502/3833853345467803616710988258655505209462247134811*y^22 + 52540879086390191231744460651124636922051407525803/3833853345467803616710988258655505209462247134811*y^21 + 225795486458141684868857279516687657438468498191853/3833853345467803616710988258655505209462247134811*y^20 - 1162400621106864885773062467319022336023983767836260/3833853345467803616710988258655505209462247134811*y^19 - 4162943930819869081385522996496749558015064240045305/3833853345467803616710988258655505209462247134811*y^18 + 8071012037955303013747472176346923386609368648249352/3833853345467803616710988258655505209462247134811*y^17 + 29020149343931267033751366185972143978430298708086416/3833853345467803616710988258655505209462247134811*y^16 - 38415239120189750016408265767968999556757438880314939/3833853345467803616710988258655505209462247134811*y^15 - 94788542434531707906042460368259641761785393988996695/3833853345467803616710988258655505209462247134811*y^14 + 103012618687000440319273568252858577287492704094354026/3833853345467803616710988258655505209462247134811*y^13 + 190497485536252240868260661492409881944222058141923163/3833853345467803616710988258655505209462247134811*y^12 - 131532287082274325495668759729914712415991508696087263/3833853345467803616710988258655505209462247134811*y^11 - 227213678241211973680910506933031818572387371492466489/3833853345467803616710988258655505209462247134811*y^10 + 90936987852615331145170957214898276451236309228478608/3833853345467803616710988258655505209462247134811*y^9 + 152040654125247560630527715855714018708301111538654107/3833853345467803616710988258655505209462247134811*y^8 - 43478218353655709226085211287757980681519388461576946/3833853345467803616710988258655505209462247134811*y^7 - 53989962572529222157019184985336701000481271590215598/3833853345467803616710988258655505209462247134811*y^6 + 15411925061578919816302520366474565987584851422070994/3833853345467803616710988258655505209462247134811*y^5 + 9552292977415112658681373783213448654850718427911945/3833853345467803616710988258655505209462247134811*y^4 - 2485042471985285998327061608641959518819897051762579/3833853345467803616710988258655505209462247134811*y^3 - 835433030386883313793491765274581180222265180154456/3833853345467803616710988258655505209462247134811*y^2 + 20386939892259960684313138572248211217525237675844/3833853345467803616710988258655505209462247134811*y + 327568025621306087117585893573070858865567607911/3833853345467803616710988258655505209462247134811

1750104128045255135830574225273598041084102795214/3833853345467803616710988258655505209462247134811*y^22 - 11566904240972403953804903045414053343116577896727/3833853345467803616710988258655505209462247134811*y^21 - 49843166891611344156066569895742504754641539861573/3833853345467803616710988258655505209462247134811*y^20 + 252506731196987374130610258757764461818792070673647/3833853345467803616710988258655505209462247134811*y^19 + 914344450761771571981287904827256868610877733758202/3833853345467803616710988258655505209462247134811*y^18 - 1691742915861232948992157777159725855637011698866244/3833853345467803616710988258655505209462247134811*y^17 - 6200770922491843555631432020941419011682927884909651/3833853345467803616710988258655505209462247134811*y^16 + 7939432733328223602581263228444234070956725499220384/3833853345467803616710988258655505209462247134811*y^15 + 19422217385048122981783882537528346744532482346934449/3833853345467803616710988258655505209462247134811*y^14 - 20692113779197119663833433441101987462057528780669294/3833853345467803616710988258655505209462247134811*y^13 - 37181532338214461193897845486604383505525538928549484/3833853345467803616710988258655505209462247134811*y^12 + 24584943683475062409727821038887556038805416282474245/3833853345467803616710988258655505209462247134811*y^11 + 40353867258926943455534366993605848879270093847432189/3833853345467803616710988258655505209462247134811*y^10 - 16824445009882480126823773958020146828482367983591577/3833853345467803616710988258655505209462247134811*y^9 - 23647427236988366263012265410075743956951857715376965/3833853345467803616710988258655505209462247134811*y^8 + 8963195135377771066792986104416953395151135685640968/3833853345467803616710988258655505209462247134811*y^7 + 7007552491540542190399010682355554825541946508561524/3833853345467803616710988258655505209462247134811*y^6 - 3115875358292927943401566185733479979396683593325083/3833853345467803616710988258655505209462247134811*y^5 - 820562438773319129261274203825250694094955054343275/3833853345467803616710988258655505209462247134811*y^4 + 383901171059972812602271520191916799654924700730028/3833853345467803616710988258655505209462247134811*y^3 + 17726029871747615924965422815557542152224407014619/3833853345467803616710988258655505209462247134811*y^2 + 938511904198369023504209673027728465257743403355/3833853345467803616710988258655505209462247134811*y + 4480132490421624223142671187347913414661862376720/3833853345467803616710988258655505209462247134811

1375377067918631804973602716522971303610169627460/49840093491081447017242847362521567723009212752543*y^22 - 12326052329848000033110889714364138762825219382670/49840093491081447017242847362521567723009212752543*y^21 - 18343749661280566574917746510759720579086602268484/49840093491081447017242847362521567723009212752543*y^20 + 294927280942764999729015543392995105171004795377826/49840093491081447017242847362521567723009212752543*y^19 + 263486584624849766054340389010558276390458524128044/49840093491081447017242847362521567723009212752543*y^18 - 3118960934668760330662000960852873111419241879013885/49840093491081447017242847362521567723009212752543*y^17 - 1948369128155532377276141285553642085045793121021414/49840093491081447017242847362521567723009212752543*y^16 + 18578238319681834504733784791159308370713612577021702/49840093491081447017242847362521567723009212752543*y^15 + 2002157673048192606344694803543995950567082339133096/49840093491081447017242847362521567723009212752543*y^14 - 56915390735113893268800024540967566299223656076401042/49840093491081447017242847362521567723009212752543*y^13 + 5374129408148405346549637411096140599654935063261558/49840093491081447017242847362521567723009212752543*y^12 + 101355029150336006910142200891088305559354193297585650/49840093491081447017242847362521567723009212752543*y^11 - 8058991177271570858755001183710339956537842803154923/49840093491081447017242847362521567723009212752543*y^10 - 107968552749288335461086711232956183533132474111338570/49840093491081447017242847362521567723009212752543*y^9 + 428326868184763886340976231563665123036820017786547/3833853345467803616710988258655505209462247134811*y^8 + 68210152565953542258279179937233133128101347697949766/49840093491081447017242847362521567723009212752543*y^7 - 6383486629402110079247236793065103638309943803264009/49840093491081447017242847362521567723009212752543*y^6 - 23973556431469408563213456036308267572740239436598168/49840093491081447017242847362521567723009212752543*y^5 + 4314778914147174797681696032044358092689328872991659/49840093491081447017242847362521567723009212752543*y^4 + 3921632981259469275222312517361972241532604276112428/49840093491081447017242847362521567723009212752543*y^3 - 915888826723536888785289337922970594484369613427441/49840093491081447017242847362521567723009212752543*y^2 - 207903667746239014400081807287603296060632831171246/49840093491081447017242847362521567723009212752543*y - 10292707222502408432706304533571478901886247164519/49840093491081447017242847362521567723009212752543

1601082336822186605922109269764621314369349434980/3833853345467803616710988258655505209462247134811*y^22 - 11002273430829027917130876545000697325526870464982/3833853345467803616710988258655505209462247134811*y^21 - 43075246984380446991919678177909862067727130703236/3833853345467803616710988258655505209462247134811*y^20 + 244598114650429117812145807591406310081610758847712/3833853345467803616710988258655505209462247134811*y^19 + 783349972500138501082325699481183059330674536593726/3833853345467803616710988258655505209462247134811*y^18 - 1801588355731065465098084736769211852881911092424958/3833853345467803616710988258655505209462247134811*y^17 - 5404396904997640454443424495149721062774688935813016/3833853345467803616710988258655505209462247134811*y^16 + 8952965468586283726721643249630940410003554442478627/3833853345467803616710988258655505209462247134811*y^15 + 16761550280163073881904887186688611181167804936526190/3833853345467803616710988258655505209462247134811*y^14 - 24446735320458101894146254862986451997714737701898934/3833853345467803616710988258655505209462247134811*y^13 - 31764046555446116715184450035690474972925886129266572/3833853345467803616710988258655505209462247134811*y^12 + 33344137772752595921670852007546553761493924804212348/3833853345467803616710988258655505209462247134811*y^11 + 36043462745263301878619493736378570271535696216018950/3833853345467803616710988258655505209462247134811*y^10 - 26383386754505304936594830250592214255952747640543094/3833853345467803616710988258655505209462247134811*y^9 - 22399726806105488534443094420516720503854211820988255/3833853345467803616710988258655505209462247134811*y^8 + 14047914927029947523340265643178252097406753693607946/3833853345467803616710988258655505209462247134811*y^7 + 6496021671852436912092666500371974811377901560412833/3833853345467803616710988258655505209462247134811*y^6 - 4616782013775326960914113910238790773878626823832588/3833853345467803616710988258655505209462247134811*y^5 - 523068681471753965560686965058090821614591234075839/3833853345467803616710988258655505209462247134811*y^4 + 577215156460697120557439736187521881265319450635236/3833853345467803616710988258655505209462247134811*y^3 - 23505275784922985586131099551895208316865946631901/3833853345467803616710988258655505209462247134811*y^2 + 2551507994589251043997499844612055185522067396766/3833853345467803616710988258655505209462247134811*y + 91298030941539103310971554317416514266674671827/3833853345467803616710988258655505209462247134811

-3406240011189230858608414062731511145085460602596/3833853345467803616710988258655505209462247134811*y^22 + 22449096833114664374786110765751944599542055654126/3833853345467803616710988258655505209462247134811*y^21 + 98238814456628834713647460198156604580464285193112/3833853345467803616710988258655505209462247134811*y^20 - 494620983610033226635535309366014778985585623150460/3833853345467803616710988258655505209462247134811*y^19 - 1813888829090980848789464107883464137745306615427654/3833853345467803616710988258655505209462247134811*y^18 + 3363769359771835557331031757550399604895435369892018/3833853345467803616710988258655505209462247134811*y^17 + 12595743756004422714815061308792704312101032372266784/3833853345467803616710988258655505209462247134811*y^16 - 15778844980845204309277721340956871784886074518330595/3833853345467803616710988258655505209462247134811*y^15 - 41141213825417548093709996438759470158251419938721298/3833853345467803616710988258655505209462247134811*y^14 + 41716669278087187158338713584692775812238608252788830/3833853345467803616710988258655505209462247134811*y^13 + 82669067046773685718127382075774258005307980845186908/3833853345467803616710988258655505209462247134811*y^12 - 51050603912769887706929709894588961469798251283713940/3833853345467803616710988258655505209462247134811*y^11 - 97661327567396546326771215031359264700603503466353986/3833853345467803616710988258655505209462247134811*y^10 + 32731962852839724603407481393635813134719336774009094/3833853345467803616710988258655505209462247134811*y^9 + 64354325945489625604152995671806247973429064361532263/3833853345467803616710988258655505209462247134811*y^8 - 14575983234153994044839903996277844977351096126459426/3833853345467803616710988258655505209462247134811*y^7 - 22576846367920944024904955325388737646837008355394165/3833853345467803616710988258655505209462247134811*y^6 + 5003193564169646156658837661976910133828107308201172/3833853345467803616710988258655505209462247134811*y^5 + 4059678120839484733920987886399533110093555015038559/3833853345467803616710988258655505209462247134811*y^4 - 705027152933771937994495900264971457743602267473584/3833853345467803616710988258655505209462247134811*y^3 - 398776406113022626556489058782176561005221416896352/3833853345467803616710988258655505209462247134811*y^2 - 16788014535266935004584006133173787908858844743086/3833853345467803616710988258655505209462247134811*y + 7722705844460220644465341905248664313419851329704/3833853345467803616710988258655505209462247134811


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

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

# nu Gluing Vector
{-2, -5, -6, -1, 0, 0, -9}

# f Combinatorial flattening
{-10, 0, -3, 10, 0, -7, 0}

# f' Combinatorial flattening
{7, -12, 0, -8, 0, 0, 0}

# 1 Loop Invariant
-21726692355131821881517461627910335435717239880772/3833853345467803616710988258655505209462247134811*y^22 + 142198049485545334074626807000878143526602882348170/3833853345467803616710988258655505209462247134811*y^21 + 630011666330995623393054418710546173620090819055334/3833853345467803616710988258655505209462247134811*y^20 - 3102130903267185879934633616836917335134112952709432/3833853345467803616710988258655505209462247134811*y^19 - 11645265624017891729991782841007531689587560547499206/3833853345467803616710988258655505209462247134811*y^18 + 20370892379719221503065064453636824585145140442968816/3833853345467803616710988258655505209462247134811*y^17 + 80120480599837071190778098039240240924516064266869504/3833853345467803616710988258655505209462247134811*y^16 - 92056465426832028862385175319907569575424103786088982/3833853345467803616710988258655505209462247134811*y^15 - 258404220741514280711195534604733002035539312141402686/3833853345467803616710988258655505209462247134811*y^14 + 227442528417327712646614141131167189867083128147246946/3833853345467803616710988258655505209462247134811*y^13 + 515286087733689662181237005253238756439733214084638264/3833853345467803616710988258655505209462247134811*y^12 - 225597933423741678783558921423353517129740499366357630/3833853345467803616710988258655505209462247134811*y^11 - 596583805139993687377862183240176409678659567710423104/3833853345467803616710988258655505209462247134811*y^10 + 62977728713918607927587699236846278726900358547568648/3833853345467803616710988258655505209462247134811*y^9 + 367526753794012508533441327936046628317800450161393740/3833853345467803616710988258655505209462247134811*y^8 + 27668909211078136532780313859434663622373409577396308/3833853345467803616710988258655505209462247134811*y^7 - 111974376800449760581105720645264602811210199210957654/3833853345467803616710988258655505209462247134811*y^6 - 26357301737092209946360948576825289207217262148609526/3833853345467803616710988258655505209462247134811*y^5 + 18526680398976840059831028204589432419013390556532680/3833853345467803616710988258655505209462247134811*y^4 + 10534571697184978732986501102155279370957620710508426/3833853345467803616710988258655505209462247134811*y^3 - 3068522601945523495744420072563689410291761616452026/3833853345467803616710988258655505209462247134811*y^2 - 1368357119824138827590936752376016735708792597853971/3833853345467803616710988258655505209462247134811*y - 75094041146359772219578851947158576730090307553706/3833853345467803616710988258655505209462247134811

# 2 Loop Invariant
630263519215587546324312773969870218448965373033840241701145866962674458363354250653245047199367304444819739646091749119/473672041447425372519350398386097443372572992597428282952631968397157376947584983060831768312279630027705448822085316287012*y^22 - 13288976238805601422752645473456357043080677753076868809587012112607292978617924955301105191118963843227554248460335034655/947344082894850745038700796772194886745145985194856565905263936794314753895169966121663536624559260055410897644170632574024*y^21 - 934175633496368414034654364941088341782451197757238644836407882722703627678831433210142937046572257834721127915613202633/947344082894850745038700796772194886745145985194856565905263936794314753895169966121663536624559260055410897644170632574024*y^20 + 103202468821589814256598751133531848688446031823620725363855362799333780614843875680800519256821960687749149275601052075291/315781360964950248346233598924064962248381995064952188635087978931438251298389988707221178874853086685136965881390210858008*y^19 - 63030461201739845944373018525759701857291053539221441336661295130760778932656978392763872675171722434208420096986974120609/473672041447425372519350398386097443372572992597428282952631968397157376947584983060831768312279630027705448822085316287012*y^18 - 1174643701112675617602829528382175991719566788403702763689946912946890237858541091792807393860252595789903344227991412839995/315781360964950248346233598924064962248381995064952188635087978931438251298389988707221178874853086685136965881390210858008*y^17 + 202080811024553217094550346602959984517411879757487519777261472980332456920976098701656871122970164320634915369255321664285/118418010361856343129837599596524360843143248149357070738157992099289344236896245765207942078069907506926362205521329071753*y^16 + 14505457975251683652454584355005995691020306985686511212878857501031805352359250547719696177399092182342401571142469598061669/631562721929900496692467197848129924496763990129904377270175957862876502596779977414442357749706173370273931762780421716016*y^15 - 2136754703522202487026246302009732855868058615731838917890982658012141824057211772638965837738255591192938757806726799468778/118418010361856343129837599596524360843143248149357070738157992099289344236896245765207942078069907506926362205521329071753*y^14 - 21299579035073240301602189352622924095280626811823137476996832078145157445223225700275090050603417907713653607516134310387405/315781360964950248346233598924064962248381995064952188635087978931438251298389988707221178874853086685136965881390210858008*y^13 + 19851170643013761745425110774968248494814827898725209157316225093543355952123448430114852161215965502903435411723341114129329/315781360964950248346233598924064962248381995064952188635087978931438251298389988707221178874853086685136965881390210858008*y^12 + 109332256526719798032438070910922039980915195385978816924881816203218183033675699862395871508152236358342359815201906330421191/947344082894850745038700796772194886745145985194856565905263936794314753895169966121663536624559260055410897644170632574024*y^11 - 15799602318200058627624432305170646887176665710171169074827174060991258815849191869313748651665368313280135531325062428103907/157890680482475124173116799462032481124190997532476094317543989465719125649194994353610589437426543342568482940695105429004*y^10 - 118839629410133297016864017518987739126129402016987547508771050722930105055185598810903906907992960939957670038939135012512229/947344082894850745038700796772194886745145985194856565905263936794314753895169966121663536624559260055410897644170632574024*y^9 + 172093699205962359513980156148500079087413894739938560877945273021945615716331417930521016466064998697554375766904084253619297/1894688165789701490077401593544389773490291970389713131810527873588629507790339932243327073249118520110821795288341265148048*y^8 + 75137002378398237672449574400419246519584710117628113737057046036226564949436266969385858685805662163242888704478640201348841/947344082894850745038700796772194886745145985194856565905263936794314753895169966121663536624559260055410897644170632574024*y^7 - 33286266577628354518786230762026936393554300032729561693278927607006816531766632159346447247668921380094627478931799802938645/631562721929900496692467197848129924496763990129904377270175957862876502596779977414442357749706173370273931762780421716016*y^6 - 1813909082524018937911996218634561388666239449687046915536630331701265078625429418421454409141905273191888538423531723344883/78945340241237562086558399731016240562095498766238047158771994732859562824597497176805294718713271671284241470347552714502*y^5 + 34598923223744398995102705801458783224402394138080383979214344399729505586312451145625856012350982131954486970174767552041107/1894688165789701490077401593544389773490291970389713131810527873588629507790339932243327073249118520110821795288341265148048*y^4 + 1342822944174843683261371097331515081437158092320733329243133425814310917086227493993732514821891307031442598174442131034925/947344082894850745038700796772194886745145985194856565905263936794314753895169966121663536624559260055410897644170632574024*y^3 - 5308658880973565608445613794609563788883646140056612667564538272319890402654992455032767926054732038563443749755538447139245/1894688165789701490077401593544389773490291970389713131810527873588629507790339932243327073249118520110821795288341265148048*y^2 + 10932104939704731060664919345180673118629826739294271118485428692872307809590074029545854344178247352215529767939925693335/118418010361856343129837599596524360843143248149357070738157992099289344236896245765207942078069907506926362205521329071753*y + 11975636082818364046988240781437374536977245887467175671652451802640603494139160595293260881037002373428683048160240309946093/631562721929900496692467197848129924496763990129904377270175957862876502596779977414442357749706173370273931762780421716016

# 3 Loop Invariant
-4372153161820977078846079763267982186342111988800405458718386819084947110091500593784465664658666801703685251623875366002189891985205354076019703996127924427/253312724152713076762003952462197990782093624302359937048597560900766826194784250540564687592590940515483637016081221667137668080802903252264643656195411057858*y^22 + 235412349648545629543222212468865373068667314444075192710689639757351962706027574014491045271503202468886135885672645387826710821366042117584091517418524393973/2026501793221704614096031619697583926256748994418879496388780487206134609558274004324517500740727524123869096128649773337101344646423226018117149249563288462864*y^21 + 1954321270557257143543688388613513462439534052196215698671770363136978712343363344083329848162716996250481766599556413353432988062660092066915006499410074357283/4053003586443409228192063239395167852513497988837758992777560974412269219116548008649035001481455048247738192257299546674202689292846452036234298499126576925728*y^20 - 10448481210160972978707077805275906813499435619724314323116860462638727623367313063856583564696103793329245222800361899821572631037169576086626727932967828983623/4053003586443409228192063239395167852513497988837758992777560974412269219116548008649035001481455048247738192257299546674202689292846452036234298499126576925728*y^19 - 35867640607256399342924592279230438549627682914535848418074349773633639502413209136979373528381434125631375501231342575263994347235100564855251207820191731936863/4053003586443409228192063239395167852513497988837758992777560974412269219116548008649035001481455048247738192257299546674202689292846452036234298499126576925728*y^18 + 148934563508278172102376962068713855894635222428054002845159732228742818286807625099137621791734039302124647494855472243543750437182761984556451673073429407022571/8106007172886818456384126478790335705026995977675517985555121948824538438233096017298070002962910096495476384514599093348405378585692904072468596998253153851456*y^17 + 249680794638758864834506660758483636352502085360841361621211659850766847547674506460348956202415208634484630235948712655802009375555533190176843695470854945085383/4053003586443409228192063239395167852513497988837758992777560974412269219116548008649035001481455048247738192257299546674202689292846452036234298499126576925728*y^16 - 722623057368820269328790990272660061052803005956745624870882248297870247128512694195817821504510122427869659661268491038034284555431131462856831192864114418835821/8106007172886818456384126478790335705026995977675517985555121948824538438233096017298070002962910096495476384514599093348405378585692904072468596998253153851456*y^15 - 401947402702795050603932622664414492360996666381901540960993650107296223903025692351289588309887765380057939593845552318719884863397473348614155902835666050196015/2026501793221704614096031619697583926256748994418879496388780487206134609558274004324517500740727524123869096128649773337101344646423226018117149249563288462864*y^14 + 979782625597722433112166898213339165852045485573556535056484872740384177599713178180642007198282276477526898945794077566539899723181370058319761781484967564955267/4053003586443409228192063239395167852513497988837758992777560974412269219116548008649035001481455048247738192257299546674202689292846452036234298499126576925728*y^13 + 397638844868686776446594006706250856132612154887652781707182046007011259963943660223438591759745538145629669792094241525476601502981435609147643670151506431888859/1013250896610852307048015809848791963128374497209439748194390243603067304779137002162258750370363762061934548064324886668550672323211613009058574624781644231432*y^12 - 648888118119619711315521594929338863616454036644687311180014800593266999772702074908971561492219865816088804483287618558040430820804960456669812061473742027771523/2026501793221704614096031619697583926256748994418879496388780487206134609558274004324517500740727524123869096128649773337101344646423226018117149249563288462864*y^11 - 3761887784848388865384707929127034462569283564930382222946143182545637087426995038835944391454370835345633699041846562896295448080710827792804511540401034625444677/8106007172886818456384126478790335705026995977675517985555121948824538438233096017298070002962910096495476384514599093348405378585692904072468596998253153851456*y^10 + 481828230263942877261530705581208365140010549421818844223952466797696527227752281319025760203126615192905939478952981302800831984346161357069250069473461075796075/2026501793221704614096031619697583926256748994418879496388780487206134609558274004324517500740727524123869096128649773337101344646423226018117149249563288462864*y^9 + 311576985740913541573462606604370743937033353097814315333977623205193080334936617347431487258877077445620515225001470025161460902967612163191249271514771875660365/1013250896610852307048015809848791963128374497209439748194390243603067304779137002162258750370363762061934548064324886668550672323211613009058574624781644231432*y^8 - 244814270326161789303223129290468245679180175130014733204206387372925752818028426599514370927768556584009424636044487589795386689819693740821815567605408733066695/2026501793221704614096031619697583926256748994418879496388780487206134609558274004324517500740727524123869096128649773337101344646423226018117149249563288462864*y^7 - 214259391147833504106018323824078263258276059620932394946463111988076439938847470346854684862035639888402229272122878354063985130871496307610131936267598164543503/2026501793221704614096031619697583926256748994418879496388780487206134609558274004324517500740727524123869096128649773337101344646423226018117149249563288462864*y^6 + 42472656363094784916151391333241763032462312135172355752913969317421740321640632640914056486389980620072456679073999836035146985853083216767494788542094205336181/1013250896610852307048015809848791963128374497209439748194390243603067304779137002162258750370363762061934548064324886668550672323211613009058574624781644231432*y^5 + 8607138149001653131055736039578935915434952984901294679675510312029880436636429177603341894577800899550097876595292147933213133407547542264731377024100050091019/506625448305426153524007904924395981564187248604719874097195121801533652389568501081129375185181881030967274032162443334275336161605806504529287312390822115716*y^4 - 25904016959056456998652897189023384322262870587564460864959957746909499442262686370610760089855042196643650568582801287485739038113621831790972271256923721965207/4053003586443409228192063239395167852513497988837758992777560974412269219116548008649035001481455048247738192257299546674202689292846452036234298499126576925728*y^3 - 5491471403608827694717584363239392924684555748827615002932095946730459724857495198984924162642528121097961266403326025988518978890739378627908537718526402172231/4053003586443409228192063239395167852513497988837758992777560974412269219116548008649035001481455048247738192257299546674202689292846452036234298499126576925728*y^2 + 178912092111377372112181238333958967495851091345143963961587293243718326505705317991308755292743900778173569825743871158712359975611362613695014541972659717501/2026501793221704614096031619697583926256748994418879496388780487206134609558274004324517500740727524123869096128649773337101344646423226018117149249563288462864*y + 173858512904136939673382985053420143322224776056862468238095029821206883449782811466540834762401720078030314831084183645785523759227465575167759857964361898329/4053003586443409228192063239395167852513497988837758992777560974412269219116548008649035001481455048247738192257299546674202689292846452036234298499126576925728