# Manifold: Census Knot K7_23

# Number of Tetrahedra: 7

# Number Field
x^23 + 4*x^22 - 148*x^21 + 511*x^20 + 577*x^19 - 2207*x^18 - 5003*x^17 + 966*x^16 + 49719*x^15 + 49518*x^14 - 114112*x^13 - 117622*x^12 + 116373*x^11 + 94053*x^10 - 70907*x^9 - 33214*x^8 + 25115*x^7 + 5518*x^6 - 4610*x^5 - 386*x^4 + 433*x^3 - 14*x^2 - 24*x - 2 

# Approximate Field Generator
0.488956777389581 + 0.295129150995017*I

# Shape Parameters
-32621817197611610240405336707537179834496467733810580590/329459182130795489303462749402718469670505526372663151883*y^22 - 114664972587633453108411361409403628928157520324726206011/329459182130795489303462749402718469670505526372663151883*y^21 + 4891560790604202935061151904627647231057771247140504344878/329459182130795489303462749402718469670505526372663151883*y^20 - 19006989425378661018786517903023302285855330379824963100297/329459182130795489303462749402718469670505526372663151883*y^19 - 10758402395636642964854558523622933955624707467008593623349/329459182130795489303462749402718469670505526372663151883*y^18 + 80739362374940542333746359369604452047843543769442680997713/329459182130795489303462749402718469670505526372663151883*y^17 + 130044399241649231360293940202104424939106462213220380040847/329459182130795489303462749402718469670505526372663151883*y^16 - 108782169451826864461394179696462588288551483745769906173435/329459182130795489303462749402718469670505526372663151883*y^15 - 1614340168993676195093348271754725488517490498333792534605588/329459182130795489303462749402718469670505526372663151883*y^14 - 847561828822697124042025462934414914698049959173715519806003/329459182130795489303462749402718469670505526372663151883*y^13 + 4513481339341396034101970896846634979103213588656118446102061/329459182130795489303462749402718469670505526372663151883*y^12 + 2211196208950842510087767236119886873432959789378358725282751/329459182130795489303462749402718469670505526372663151883*y^11 - 5456976100122971731625169294088817324864802843697507689314428/329459182130795489303462749402718469670505526372663151883*y^10 - 1537784156135820886643863978424036265367838631542778951959013/329459182130795489303462749402718469670505526372663151883*y^9 + 3371885119871100412873499279580066879918884125838600018671052/329459182130795489303462749402718469670505526372663151883*y^8 + 159315932430800633200817751818181432945886887782043608345200/329459182130795489303462749402718469670505526372663151883*y^7 - 82608068697866957526921103575750711353084358407425085971588/25343014010061191484881749954055266897731194336358703991*y^6 + 122988223701284372493383377694379007312432132808826302943570/329459182130795489303462749402718469670505526372663151883*y^5 + 164961536283640000473986670859241159043391722445730982533295/329459182130795489303462749402718469670505526372663151883*y^4 - 32695821768828961083754410255051912139542816957715902147054/329459182130795489303462749402718469670505526372663151883*y^3 - 11481138506120545994577530314593340499286279189332753197289/329459182130795489303462749402718469670505526372663151883*y^2 + 4813029602894342763518179453601046083742010320471753963848/329459182130795489303462749402718469670505526372663151883*y + 299626682313701297686354524015649097835045564658944823091/329459182130795489303462749402718469670505526372663151883

-52100290274659509468226386888247229292131071184891498785/101372056040244765939526999816221067590924777345434815964*y^22 - 50806722216885275238689359000311811006963775410145814793/25343014010061191484881749954055266897731194336358703991*y^21 + 3864808012281826360279448301856246109890399700891987654385/50686028020122382969763499908110533795462388672717407982*y^20 - 27397403874012579397806098461712491227158235782781024520141/101372056040244765939526999816221067590924777345434815964*y^19 - 27136194618697367345291492269481970992390214673344952777581/101372056040244765939526999816221067590924777345434815964*y^18 + 117084436024983927573336174573789906630632892848712666597381/101372056040244765939526999816221067590924777345434815964*y^17 + 247855325597556184000933780414511732141432542295970702707083/101372056040244765939526999816221067590924777345434815964*y^16 - 36285827805237315246285413935423018356935706765139342771387/50686028020122382969763499908110533795462388672717407982*y^15 - 2574582768966418567336890881454203435052233377934343546143879/101372056040244765939526999816221067590924777345434815964*y^14 - 580096833503322139083537923116917646630398128302684673979173/25343014010061191484881749954055266897731194336358703991*y^13 + 3053912017245566513071840585157298700711846748032948066421209/50686028020122382969763499908110533795462388672717407982*y^12 + 1352497756844882423851709308091998697978729951192839470248346/25343014010061191484881749954055266897731194336358703991*y^11 - 6507285431742675913923653706738385071275204192293891334249313/101372056040244765939526999816221067590924777345434815964*y^10 - 4026696281704146299209969061140179121001995695147537946564825/101372056040244765939526999816221067590924777345434815964*y^9 + 4068564135688302089202671602346968034490419698457415985315797/101372056040244765939526999816221067590924777345434815964*y^8 + 584219558936871972575833229028547658807626238176758902772537/50686028020122382969763499908110533795462388672717407982*y^7 - 1420960965754450940107082427127453829663805084280940412283931/101372056040244765939526999816221067590924777345434815964*y^6 - 22581593303592428577509853740234768556763278640607180038269/25343014010061191484881749954055266897731194336358703991*y^5 + 62058878109912141991233800088276350781543943168981314820798/25343014010061191484881749954055266897731194336358703991*y^4 - 3730881085290372381189849775454891564482572623663140575241/25343014010061191484881749954055266897731194336358703991*y^3 - 21522829012314189027238370005528534130699585479607733874869/101372056040244765939526999816221067590924777345434815964*y^2 + 1827539359026298982192416395698377576485916968079630972215/50686028020122382969763499908110533795462388672717407982*y + 515347648564227274359099552465057769684166647350295961729/50686028020122382969763499908110533795462388672717407982

-1493148302203815609269614069619692279052530913113519685225/4282969367700341360945015742235340105716571842844620974479*y^22 - 6108282562687345704732160218576213280694014608090559744287/4282969367700341360945015742235340105716571842844620974479*y^21 + 220169931414005367179197228832824887328994307127021618469374/4282969367700341360945015742235340105716571842844620974479*y^20 - 744128573386868921614491022832580951513854855236900617325750/4282969367700341360945015742235340105716571842844620974479*y^19 - 891002735212315906435701310976654984231823272959321797884816/4282969367700341360945015742235340105716571842844620974479*y^18 + 3094632930326777730140559520541558267142468638192162826363817/4282969367700341360945015742235340105716571842844620974479*y^17 + 7563856917715827645946749910184690766667421747148320701298806/4282969367700341360945015742235340105716571842844620974479*y^16 - 265718039877928360657043785758475161038679601156194570173438/4282969367700341360945015742235340105716571842844620974479*y^15 - 72810865933583640118279942105641250503095375753370055882840595/4282969367700341360945015742235340105716571842844620974479*y^14 - 80205224794619036749127563700439168466652350222169413670174138/4282969367700341360945015742235340105716571842844620974479*y^13 + 150483412254022894218814330021498997322335097263646413653617097/4282969367700341360945015742235340105716571842844620974479*y^12 + 171894675594373348184043838101945839707264080567971280343423174/4282969367700341360945015742235340105716571842844620974479*y^11 - 136654013109138663953808152806168652485506299951045630968511237/4282969367700341360945015742235340105716571842844620974479*y^10 - 117228004808833727551063148099875721894487059513355058958284288/4282969367700341360945015742235340105716571842844620974479*y^9 + 81166514038573349442685761030718155824368288787792044148846487/4282969367700341360945015742235340105716571842844620974479*y^8 + 33163481233691753973067224731942982512359564498329237481540223/4282969367700341360945015742235340105716571842844620974479*y^7 - 2072078010288342799737206838639842283695515374697660121746800/329459182130795489303462749402718469670505526372663151883*y^6 - 3266021406533426467055230410164143211123227954615863583347951/4282969367700341360945015742235340105716571842844620974479*y^5 + 4065546212105433630182993943850489705899681699246114667779695/4282969367700341360945015742235340105716571842844620974479*y^4 - 133736743596851253977760646618646633469798295684959022537018/4282969367700341360945015742235340105716571842844620974479*y^3 - 333323582219354810659517577155996428013107198098743788186682/4282969367700341360945015742235340105716571842844620974479*y^2 + 31175561184123240687886592493008783383903346411278996761562/4282969367700341360945015742235340105716571842844620974479*y + 12043207994515883445845735130422107230352520793158566572467/4282969367700341360945015742235340105716571842844620974479

37181751315908391273201626014946353660933684302421980470/25343014010061191484881749954055266897731194336358703991*y^22 + 289843493517474750495396258396487061360282524966277505557/50686028020122382969763499908110533795462388672717407982*y^21 - 11033808310124709407055518453050017215058032113690741837279/50686028020122382969763499908110533795462388672717407982*y^20 + 19568160585400780313588421441825867604763110988637140675955/25343014010061191484881749954055266897731194336358703991*y^19 + 38661236733033661649336589999260801173406001760149612032207/50686028020122382969763499908110533795462388672717407982*y^18 - 83669217224873534596879267329479185877340446009925179469625/25343014010061191484881749954055266897731194336358703991*y^17 - 176831263024333331897326862620193434328232392333367465786691/25343014010061191484881749954055266897731194336358703991*y^16 + 52514313761095598082377193477043151008391236649852422190728/25343014010061191484881749954055266897731194336358703991*y^15 + 3677084950664895171503671941281269556362569474345522503794801/50686028020122382969763499908110533795462388672717407982*y^14 + 3303034262242677201535110018694831888759132700862014186406527/50686028020122382969763499908110533795462388672717407982*y^13 - 8744124127708444669333957507445584617760561206803306497770077/50686028020122382969763499908110533795462388672717407982*y^12 - 3867489656544405134957169248174529407830614644925856877428084/25343014010061191484881749954055266897731194336358703991*y^11 + 4659393154215678107867105603348374578070783856618557129364896/25343014010061191484881749954055266897731194336358703991*y^10 + 5804470985147556666739018117450047101106602054667084201126871/50686028020122382969763499908110533795462388672717407982*y^9 - 2897621292846464886116709170664526039048381001619982902481308/25343014010061191484881749954055266897731194336358703991*y^8 - 859843612907392854032707160506116248679694662302461730414960/25343014010061191484881749954055266897731194336358703991*y^7 + 2005295845333567330389925668991111512730520935421417100424903/50686028020122382969763499908110533795462388672717407982*y^6 + 153354689272653879721663199238291894473637810379671751606053/50686028020122382969763499908110533795462388672717407982*y^5 - 344990480524061606822353926970766819963433706243490255816915/50686028020122382969763499908110533795462388672717407982*y^4 + 7720240762018183019625062786455306349938527195282096332592/25343014010061191484881749954055266897731194336358703991*y^3 + 14339570599426542333363589166345668946882688685742758573503/25343014010061191484881749954055266897731194336358703991*y^2 - 4580702677388455615266204164083504880748571303746038243467/50686028020122382969763499908110533795462388672717407982*y - 1063328471687452424851655850172723081153420943597598822245/50686028020122382969763499908110533795462388672717407982

37181751315908391273201626014946353660933684302421980470/25343014010061191484881749954055266897731194336358703991*y^22 + 289843493517474750495396258396487061360282524966277505557/50686028020122382969763499908110533795462388672717407982*y^21 - 11033808310124709407055518453050017215058032113690741837279/50686028020122382969763499908110533795462388672717407982*y^20 + 19568160585400780313588421441825867604763110988637140675955/25343014010061191484881749954055266897731194336358703991*y^19 + 38661236733033661649336589999260801173406001760149612032207/50686028020122382969763499908110533795462388672717407982*y^18 - 83669217224873534596879267329479185877340446009925179469625/25343014010061191484881749954055266897731194336358703991*y^17 - 176831263024333331897326862620193434328232392333367465786691/25343014010061191484881749954055266897731194336358703991*y^16 + 52514313761095598082377193477043151008391236649852422190728/25343014010061191484881749954055266897731194336358703991*y^15 + 3677084950664895171503671941281269556362569474345522503794801/50686028020122382969763499908110533795462388672717407982*y^14 + 3303034262242677201535110018694831888759132700862014186406527/50686028020122382969763499908110533795462388672717407982*y^13 - 8744124127708444669333957507445584617760561206803306497770077/50686028020122382969763499908110533795462388672717407982*y^12 - 3867489656544405134957169248174529407830614644925856877428084/25343014010061191484881749954055266897731194336358703991*y^11 + 4659393154215678107867105603348374578070783856618557129364896/25343014010061191484881749954055266897731194336358703991*y^10 + 5804470985147556666739018117450047101106602054667084201126871/50686028020122382969763499908110533795462388672717407982*y^9 - 2897621292846464886116709170664526039048381001619982902481308/25343014010061191484881749954055266897731194336358703991*y^8 - 859843612907392854032707160506116248679694662302461730414960/25343014010061191484881749954055266897731194336358703991*y^7 + 2005295845333567330389925668991111512730520935421417100424903/50686028020122382969763499908110533795462388672717407982*y^6 + 153354689272653879721663199238291894473637810379671751606053/50686028020122382969763499908110533795462388672717407982*y^5 - 344990480524061606822353926970766819963433706243490255816915/50686028020122382969763499908110533795462388672717407982*y^4 + 7720240762018183019625062786455306349938527195282096332592/25343014010061191484881749954055266897731194336358703991*y^3 + 14339570599426542333363589166345668946882688685742758573503/25343014010061191484881749954055266897731194336358703991*y^2 - 4580702677388455615266204164083504880748571303746038243467/50686028020122382969763499908110533795462388672717407982*y - 1063328471687452424851655850172723081153420943597598822245/50686028020122382969763499908110533795462388672717407982

-578408943429677841757240815365460791328908321013323071881/101372056040244765939526999816221067590924777345434815964*y^22 - 561229183487147180199055034055891900539558207754707859934/25343014010061191484881749954055266897731194336358703991*y^21 + 42934131987393486593833256393379496882340014434894871624011/50686028020122382969763499908110533795462388672717407982*y^20 - 305782896318191315890047416772041180902015350522792443380309/101372056040244765939526999816221067590924777345434815964*y^19 - 296983231591616964000879462849434851401623477229271880177933/101372056040244765939526999816221067590924777345434815964*y^18 + 1310647333379891059444587631659021279658045639878309779586145/101372056040244765939526999816221067590924777345434815964*y^17 + 2735334260740138218542992761946669439596416134121567957215003/101372056040244765939526999816221067590924777345434815964*y^16 - 439446900718847016684988560849860105010521427660985209403621/50686028020122382969763499908110533795462388672717407982*y^15 - 28634570395815958029545313693495111823831557469967916081329887/101372056040244765939526999816221067590924777345434815964*y^14 - 6307361662860468425302088204130569355428475213295102866139120/25343014010061191484881749954055266897731194336358703991*y^13 + 34428849760803133055378904426339531557705612762027279220139773/50686028020122382969763499908110533795462388672717407982*y^12 + 14899001085726263492441267809329028983209607702259895783655772/25343014010061191484881749954055266897731194336358703991*y^11 - 74216320076089267498906105434143447879639364662433099620483557/101372056040244765939526999816221067590924777345434815964*y^10 - 45067300857805038019706081910290858715846143389655144011142437/101372056040244765939526999816221067590924777345434815964*y^9 + 46346606310210863195636706639401617599617599691572760796746809/101372056040244765939526999816221067590924777345434815964*y^8 + 6672694239395383225586270679229073552720968692269172740570019/50686028020122382969763499908110533795462388672717407982*y^7 - 16110961384649965048312681029765633340813929219140471138423847/101372056040244765939526999816221067590924777345434815964*y^6 - 285700229664234062096414184079812293853545841094341788241773/25343014010061191484881749954055266897731194336358703991*y^5 + 698523437562446017851498010195730209006066312626042011667297/25343014010061191484881749954055266897731194336358703991*y^4 - 33984124471794869404657558425804901785030241742708941199897/25343014010061191484881749954055266897731194336358703991*y^3 - 231624481726402627996929654696716693103328552448323268789049/101372056040244765939526999816221067590924777345434815964*y^2 + 18832084015439710007464342109827256057698170675454721936681/50686028020122382969763499908110533795462388672717407982*y + 4446198097486329061624038198952541802843363918361266292325/50686028020122382969763499908110533795462388672717407982

62971270752020008773163278009160844649242391433010530988/25343014010061191484881749954055266897731194336358703991*y^22 + 245644673682654513199327104781205245865892733611727213025/25343014010061191484881749954055266897731194336358703991*y^21 - 9342138589170262986943402205591426428347952524965795011096/25343014010061191484881749954055266897731194336358703991*y^20 + 33113031585001475770418181167811758970401565669331962740579/25343014010061191484881749954055266897731194336358703991*y^19 + 32768967577243308423223924136948589365507995670752333464602/25343014010061191484881749954055266897731194336358703991*y^18 - 141387325629788374484509320997944057052296865677684607424508/25343014010061191484881749954055266897731194336358703991*y^17 - 299432951220298096185438175457229198136187529772719347024852/25343014010061191484881749954055266897731194336358703991*y^16 + 87077813632066319847299672835842694276633027132869005295864/25343014010061191484881749954055266897731194336358703991*y^15 + 3110590971712836186624225082001223550662968081913374433476176/25343014010061191484881749954055266897731194336358703991*y^14 + 2805327749444286292825355097712766759766427632017120893219950/25343014010061191484881749954055266897731194336358703991*y^13 - 7369496876767324929566772739060673411603732417241397836366594/25343014010061191484881749954055266897731194336358703991*y^12 - 6527074954361228368898228826393169173711034273321824241535173/25343014010061191484881749954055266897731194336358703991*y^11 + 7836222967902352327590916259419347931877044892308316739527446/25343014010061191484881749954055266897731194336358703991*y^10 + 4842879260217788630070654933847927437770341766066372105451169/25343014010061191484881749954055266897731194336358703991*y^9 - 4883681141609244565560602553869160885739154833670466199656152/25343014010061191484881749954055266897731194336358703991*y^8 - 1399566771068541634187270632381568460323347444432382738997352/25343014010061191484881749954055266897731194336358703991*y^7 + 1689863429546199678591191394441509064039999712277904524059566/25343014010061191484881749954055266897731194336358703991*y^6 + 107467861849652529013664774135758880418909452081197652037154/25343014010061191484881749954055266897731194336358703991*y^5 - 288368872716749397163798857109541517282871441464664049221754/25343014010061191484881749954055266897731194336358703991*y^4 + 17322191128889449421597903682719565615172568410653743448019/25343014010061191484881749954055266897731194336358703991*y^3 + 23521402498021342378384004977355271079483401877438374574941/25343014010061191484881749954055266897731194336358703991*y^2 - 4054556985561981994272828082265135001423718456843460868408/25343014010061191484881749954055266897731194336358703991*y - 800526077947848129610637101127682186803711039239812238714/25343014010061191484881749954055266897731194336358703991


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

# 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,1,0,0},{0,0,0,0,2,0,0},{0,0,0,0,0,1,0},{0,0,0,0,0,0,2}}

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

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

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

# 1 Loop Invariant
983747138908906060003087808136210556773826087640947980098/25343014010061191484881749954055266897731194336358703991*y^22 + 3819733600340579550771284131765508513327683019811736525667/25343014010061191484881749954055266897731194336358703991*y^21 - 146026230071632485702347274652463416914575134214591144839483/25343014010061191484881749954055266897731194336358703991*y^20 + 519878227169851869683571561617186518450926107584518089018952/25343014010061191484881749954055266897731194336358703991*y^19 + 504416600277452258751183679118503727683075343253955890268796/25343014010061191484881749954055266897731194336358703991*y^18 - 2223828842615379398660351611568280031225728549578550243647644/25343014010061191484881749954055266897731194336358703991*y^17 - 4646594335694535413345396195660524184526693026677771138911952/25343014010061191484881749954055266897731194336358703991*y^16 + 1467755551803981850385234915764217386924339391327841468113889/25343014010061191484881749954055266897731194336358703991*y^15 + 48638412631606876304732048578884009736288765094495675543352771/25343014010061191484881749954055266897731194336358703991*y^14 + 42966005783036135670881781142136640624731359356904575333572986/25343014010061191484881749954055266897731194336358703991*y^13 - 116520250334318365691439691924029720308670470788600829122160869/25343014010061191484881749954055266897731194336358703991*y^12 - 100714714794929139983693697258782402986048654416065941472355094/25343014010061191484881749954055266897731194336358703991*y^11 + 125242906450446964961236057562401503873258987842800865432582167/25343014010061191484881749954055266897731194336358703991*y^10 + 75082248337685718939804654297020436338464895708444886385151600/25343014010061191484881749954055266897731194336358703991*y^9 - 78231493259781254369585505672804656704169281985940267740311093/25343014010061191484881749954055266897731194336358703991*y^8 - 21524127600460537406450994908660225779446998745516867890683429/25343014010061191484881749954055266897731194336358703991*y^7 + 27061003368473833066817244875440313123124408406336235972002388/25343014010061191484881749954055266897731194336358703991*y^6 + 1529220768243119128151357148868404940664016944574228239169455/25343014010061191484881749954055266897731194336358703991*y^5 - 4605276176427604552925984490998409206410258279420781615362950/25343014010061191484881749954055266897731194336358703991*y^4 + 293385421833791898194251247558710655555597466276217868024672/25343014010061191484881749954055266897731194336358703991*y^3 + 370637563412957412582316492344407867298892914902530827713545/25343014010061191484881749954055266897731194336358703991*y^2 - 66909635478141927143859309502463103238750023560247122114305/25343014010061191484881749954055266897731194336358703991*y - 12830251482768024557020640057979654317130903695354567897712/25343014010061191484881749954055266897731194336358703991

# 2 Loop Invariant
-677295889130959387410365720200249872399875767868748816683578424639283265163627543125543570999858441898826796379822299306483323/3198896355254172922981604202842465309349281177424364140579611283065258437565624966702761009534655675236485545700724427806663288*y^22 - 992456111084717440644557756543151135019342883899692365646081124367092368367379357068800086074711712777181957371887142023474199/1199586133220314846118101576065924491005980441534136552717354231149471914087109362513535378575495878213682079637771660427498733*y^21 + 602851064167060715142407848077462230581624082863863761327854696791896576290965274577651131897181702080398770269866385326991373929/19193378131525037537889625217054791856095687064546184843477667698391550625393749800216566057207934051418913274204346566839979728*y^20 - 2132620399636951791717605376042604320403468102451639238878618001542806704118040511148579822127882102124453064275083572493800083731/19193378131525037537889625217054791856095687064546184843477667698391550625393749800216566057207934051418913274204346566839979728*y^19 - 10644400426745285549475114123941083081124808101189340106779669302071199617156980998687931597719000287615976389542020858282753457/95489443440423072327809080681864636099978542609682511659092874121350998136287312438888388344318079857805538677633565009154128*y^18 + 9146246455501344231779810450087286154156629487642345317909880831298524589709067647472102019893490602703964581558311914567674982139/19193378131525037537889625217054791856095687064546184843477667698391550625393749800216566057207934051418913274204346566839979728*y^17 + 1618937450407380511783849449110114804458138105608730219836646030724663056009971978730597306713769846481732722101839558940769103595/1599448177627086461490802101421232654674640588712182070289805641532629218782812483351380504767327837618242772850362213903331644*y^16 - 352554031618338311339226283964507429446470288673429994792365641428076665047526167710863112278673932531096154145392171037191516884/1199586133220314846118101576065924491005980441534136552717354231149471914087109362513535378575495878213682079637771660427498733*y^15 - 201141338739388140072432217386321974372041961315456858152559438777558601076609176158025513020755423804560694636491085642800366892351/19193378131525037537889625217054791856095687064546184843477667698391550625393749800216566057207934051418913274204346566839979728*y^14 - 45589827578548395208768021446585405615908035527036211687907345627789597075537819782018388809210288877343064178102255975303489538157/4798344532881259384472406304263697964023921766136546210869416924597887656348437450054141514301983512854728318551086641709994932*y^13 + 79650272635683415239032629414889681857899550079138760502892712915490805340583670859696568386514634791767654122268347744138691641553/3198896355254172922981604202842465309349281177424364140579611283065258437565624966702761009534655675236485545700724427806663288*y^12 + 8922299035135391100517520280044921177817898375170937382893726868110278386526229903171153464795429656902094590002332774240477870896/399862044406771615372700525355308163668660147178045517572451410383157304695703120837845126191831959404560693212590553475832911*y^11 - 510119710040978066788670189958399162086734138863627012052785581214989085481094150161236553090775506361444987991618745960705016951431/19193378131525037537889625217054791856095687064546184843477667698391550625393749800216566057207934051418913274204346566839979728*y^10 - 27009115120381294142827757658876327641215258969377844860869374950615071149869067767729077422822372835760318462600927554045781597181/1599448177627086461490802101421232654674640588712182070289805641532629218782812483351380504767327837618242772850362213903331644*y^9 + 106539910187029520764391662593778703584925405666292849792007990089080260523279050432989254724920546624875933564152319539294245477843/6397792710508345845963208405684930618698562354848728281159222566130516875131249933405522019069311350472971091401448855613326576*y^8 + 8152616315168191819995530699922703198805359212824780512694305650854204625595859839542824743355227329668066707506299020436264453159/1599448177627086461490802101421232654674640588712182070289805641532629218782812483351380504767327837618242772850362213903331644*y^7 - 56184979723479825888846031029732531913872771397423458062205159715984467258541498031161812855278851470805834276533161535984178752907/9596689065762518768944812608527395928047843532273092421738833849195775312696874900108283028603967025709456637102173283419989864*y^6 - 3024455373118168933030079720883612899498821351927560520931333974071653556503270104006301773782066434575792555955513784270891265473/6397792710508345845963208405684930618698562354848728281159222566130516875131249933405522019069311350472971091401448855613326576*y^5 + 6603899649471458974220363414096365541813059364847672580262325513299063826976496314312395718471231664052388701654945389763858997365/6397792710508345845963208405684930618698562354848728281159222566130516875131249933405522019069311350472971091401448855613326576*y^4 - 302323810151069439210114065553473937992660198614960611174022565332010530330000864574543292108699245375690459655445611742308714939/6397792710508345845963208405684930618698562354848728281159222566130516875131249933405522019069311350472971091401448855613326576*y^3 - 1670613887605529513841166445417806544975803801353524862900086581501110869358304769200669657575813514019844670830594743103299207537/19193378131525037537889625217054791856095687064546184843477667698391550625393749800216566057207934051418913274204346566839979728*y^2 + 264482908379424746690654319248717860360330808600239853745964303818103838711548375107740888508055801068163243645862049021590407081/19193378131525037537889625217054791856095687064546184843477667698391550625393749800216566057207934051418913274204346566839979728*y + 21707231239019560553180294884317588838104802375896742172125871104448837062394779404618097780030718269939507620116387179428328453/3198896355254172922981604202842465309349281177424364140579611283065258437565624966702761009534655675236485545700724427806663288

# 3 Loop Invariant
197737554706119069130113792091362311649445220772411583792832844378991952870712588043023258858916597296909729968399907210296810495962361434921374155825942599240771/3214519875129006940230722877681799630947033544995011746882937387738420386604255495886705687955700337109318797942014451756606508066633332556425812835683179440830656*y^22 + 380643097359214145739804077991269372819101231032056334019451314150123733491813190553869758530940958485576523254355043411212520408977572473707793272045400109543945/1607259937564503470115361438840899815473516772497505873441468693869210193302127747943352843977850168554659398971007225878303254033316666278212906417841589720415328*y^21 - 29385336680371838222537829700480557899562690993226789393602029376040885310482115334776794926629724589319617627285906978061030142373881132938064368451945520493882617/3214519875129006940230722877681799630947033544995011746882937387738420386604255495886705687955700337109318797942014451756606508066633332556425812835683179440830656*y^20 + 105428349285939805808368491987088448684356182048554234398232708207883316921515108035602591342755173013461974523765103950401202889637440256398498848714006748961626091/3214519875129006940230722877681799630947033544995011746882937387738420386604255495886705687955700337109318797942014451756606508066633332556425812835683179440830656*y^19 + 99160571045242366869063280086133845600619454515463408631185099435194630792643384046115615825025326795212743083698004006617943325199299828195195497870256055365593135/3214519875129006940230722877681799630947033544995011746882937387738420386604255495886705687955700337109318797942014451756606508066633332556425812835683179440830656*y^18 - 227174886891020309990442217530005710430938246985880609523286494446531580279168093313806092510584119270205688512591520045231485019239804368018220283907763844144471023/1607259937564503470115361438840899815473516772497505873441468693869210193302127747943352843977850168554659398971007225878303254033316666278212906417841589720415328*y^17 - 924240836129159217346749913291776234908966223166447903730477664657805510433170332470629396187297666015077841990687083021084644419370791641988486437783221792137096371/3214519875129006940230722877681799630947033544995011746882937387738420386604255495886705687955700337109318797942014451756606508066633332556425812835683179440830656*y^16 + 341865796150109937293952228462183807551214347756991861440029188488764727767623509459172889033268129622470181328075649219556455638074247042199309896400554870205130245/3214519875129006940230722877681799630947033544995011746882937387738420386604255495886705687955700337109318797942014451756606508066633332556425812835683179440830656*y^15 + 9808547204892792591486175147740981061448951096914452068896899393909166544460789006429907602309419446099650296951588895021380901287313860808366424548971874265872423309/3214519875129006940230722877681799630947033544995011746882937387738420386604255495886705687955700337109318797942014451756606508066633332556425812835683179440830656*y^14 + 2079549349436759844353623727725088644407141038043338916922402382533101273853300815041679320308223082358533641316050779864389126557880831855796717682592175011078007089/803629968782251735057680719420449907736758386248752936720734346934605096651063873971676421988925084277329699485503612939151627016658333139106453208920794860207664*y^13 - 24098461435829117752534293969289228918126299964260288971827118339140685974158999668291188126399631292438679287347276076816798906044030050790805659443047060667853269405/3214519875129006940230722877681799630947033544995011746882937387738420386604255495886705687955700337109318797942014451756606508066633332556425812835683179440830656*y^12 - 19935786969788446167520915057614280478745957190964803038138117107198261263219135978678857815186571199816652126249352543270392243804792863088513254984680264090036902773/3214519875129006940230722877681799630947033544995011746882937387738420386604255495886705687955700337109318797942014451756606508066633332556425812835683179440830656*y^11 + 13293300255731244529237034869120591340562182413333314842502701939979347365827081432739989245045526590964151599858116300359802500646787364477377459957924676838645847425/1607259937564503470115361438840899815473516772497505873441468693869210193302127747943352843977850168554659398971007225878303254033316666278212906417841589720415328*y^10 + 7594754422567054852658631296664685811805438142834235646536555784551325215944944200380968655046770026765110888587747430486733010486627835293508593783901790850076538195/1607259937564503470115361438840899815473516772497505873441468693869210193302127747943352843977850168554659398971007225878303254033316666278212906417841589720415328*y^9 - 8405984608327556703956893462249579523088591700306823104348345383390754936443049875416143666634038476690709514801750143038691561573579475428925325684712413556732673371/1607259937564503470115361438840899815473516772497505873441468693869210193302127747943352843977850168554659398971007225878303254033316666278212906417841589720415328*y^8 - 2183646648952021004302199156738453268843318441699509257689283988794101210420774300376027205015050307177423141043582472911650376405749436541881449447459724956485957195/1607259937564503470115361438840899815473516772497505873441468693869210193302127747943352843977850168554659398971007225878303254033316666278212906417841589720415328*y^7 + 92164365601449209053694259463514240013114906965379554806894063325914827242158048828749549023116384685094106675996684625470259770838736755138291949124094831911200840/50226873048890733441105044963778119233547399140547058545045896683412818540691492123229776374307817767333106217843975808696976688541145821194153325557549678762979*y^6 + 64880559190326942116319743792440614042339648863466506632494709589496545163686676269564709773499761923608719286375584198043310240743936507154821653020752931541699597/803629968782251735057680719420449907736758386248752936720734346934605096651063873971676421988925084277329699485503612939151627016658333139106453208920794860207664*y^5 - 1017998149096915183737468579995381966747447082497654560008307344796242290762792286762226390380037502230143390094504707059453488298386300325274419966261213507036386797/3214519875129006940230722877681799630947033544995011746882937387738420386604255495886705687955700337109318797942014451756606508066633332556425812835683179440830656*y^4 + 39077911146226583752233225581461146015604100368881225976498241006200504789077771187856597488678272807144808029281202416442018068051210680650029784978098979321990539/1607259937564503470115361438840899815473516772497505873441468693869210193302127747943352843977850168554659398971007225878303254033316666278212906417841589720415328*y^3 + 19524417835332200127911992165728697692572777587215730265742435432594152230319159355461686646533531945067468333201985368357203481960887287945809051851453242618655471/803629968782251735057680719420449907736758386248752936720734346934605096651063873971676421988925084277329699485503612939151627016658333139106453208920794860207664*y^2 - 7205958030906243703961927692779093675322954516322304299784855312557312064831233930794854392677802552876851428978454596399120485082282688917759667017191477882402123/1607259937564503470115361438840899815473516772497505873441468693869210193302127747943352843977850168554659398971007225878303254033316666278212906417841589720415328*y - 1519833303192205249781336568529723140170277069126690956073638744269145537400881589674957367002804436582961443972862644391610022471348223291788524390676540778200329/1607259937564503470115361438840899815473516772497505873441468693869210193302127747943352843977850168554659398971007225878303254033316666278212906417841589720415328