# Manifold: Census Knot K7_32

# Number of Tetrahedra: 7

# Number Field
x^24 - 29/2*x^23 + 217/4*x^22 + 43/4*x^21 - 1587/4*x^20 + 430*x^19 + 741*x^18 - 3873/4*x^17 - 3741/4*x^16 + 122*x^15 + 3221*x^14 - 912*x^13 - 13783/4*x^12 + 5933/4*x^11 + 1349/2*x^10 + 75/2*x^9 - 489/4*x^8 - 769/2*x^7 + 1155/4*x^6 + 21*x^5 - 145/2*x^4 + 19*x^3 + 11/4*x^2 - 2*x + 1/4 

# Approximate Field Generator
1.16759143069062 - 0.827147850622930*I

# Shape Parameters
-127144555959446285226383011541801993093211950384/4676476400867374486656804202660525765964864655*y^23 + 1808020873922532687646467550582150347485334139564/4676476400867374486656804202660525765964864655*y^22 - 710376537488582151960224693566191773025279956954/519608488985263831850756022517836196218318295*y^21 - 3131659768084279519994143593739414139639497540721/4676476400867374486656804202660525765964864655*y^20 + 49482137084805203548720922250652271552041331766344/4676476400867374486656804202660525765964864655*y^19 - 40859346597223631214317313148867410834873084647728/4676476400867374486656804202660525765964864655*y^18 - 105006165768545723726416429712966430568795931522699/4676476400867374486656804202660525765964864655*y^17 + 93145911552962852714610229276917892720085447443583/4676476400867374486656804202660525765964864655*y^16 + 143737294865766168616573786877835359588548595546581/4676476400867374486656804202660525765964864655*y^15 + 25892555886244409986670662210242947081317676269759/4676476400867374486656804202660525765964864655*y^14 - 400690871720081010049448161658242530051042893913713/4676476400867374486656804202660525765964864655*y^13 + 4343247770777344262072444764792717095839979846893/4676476400867374486656804202660525765964864655*y^12 + 9651481134755793163531321312698884327235968607850/103921697797052766370151204503567239243663659*y^11 - 66684264041965005442218383978685318058326025024102/4676476400867374486656804202660525765964864655*y^10 - 19935600073141668265159291515719850430193206766102/935295280173474897331360840532105153192972931*y^9 - 33702390173952378506647147947402328683757774727699/4676476400867374486656804202660525765964864655*y^8 + 1172657118781155576480900349596995943351171390751/935295280173474897331360840532105153192972931*y^7 + 9976513512596436615105793486348985073924967337404/935295280173474897331360840532105153192972931*y^6 - 4562597486238744338265171968714564088788712601351/935295280173474897331360840532105153192972931*y^5 - 8518927181498054902106289152530622963788223810854/4676476400867374486656804202660525765964864655*y^4 + 6513204451149192217897519926962723255978765154401/4676476400867374486656804202660525765964864655*y^3 - 557100444318460613930156908854576457295979952018/4676476400867374486656804202660525765964864655*y^2 - 53132334731882402911282794381874750283341591188/519608488985263831850756022517836196218318295*y + 21422231141190434358114293493859464510241086035/935295280173474897331360840532105153192972931

20643323458433697628550814288867768188796249272/519608488985263831850756022517836196218318295*y^23 - 879488858623381455467994433015350745822258672508/1558825466955791495552268067553508588654954885*y^22 + 1032298335359082735752944429658871647355345057802/519608488985263831850756022517836196218318295*y^21 + 530927186877573996969072692178568739975209325792/519608488985263831850756022517836196218318295*y^20 - 24103831734639039097950672666470944699667350037984/1558825466955791495552268067553508588654954885*y^19 + 19434378051860004263094043549656187519543828361119/1558825466955791495552268067553508588654954885*y^18 + 51748341065242440257514034435833258825419248921237/1558825466955791495552268067553508588654954885*y^17 - 14866380798394924989900361405234045195073460590588/519608488985263831850756022517836196218318295*y^16 - 14258399998040075989163459736476792204479840128959/311765093391158299110453613510701717730990977*y^15 - 13568725773480786395419226371169866790986156180933/1558825466955791495552268067553508588654954885*y^14 + 195447967759474412370320604198081121911764089750814/1558825466955791495552268067553508588654954885*y^13 + 1854536878767369819687559895579809837210184194634/1558825466955791495552268067553508588654954885*y^12 - 71080323758935665102376534492118570979966282576037/519608488985263831850756022517836196218318295*y^11 + 9514038154216035292619694657393358324628520834571/519608488985263831850756022517836196218318295*y^10 + 50542465181183238584601813892516212047091327250589/1558825466955791495552268067553508588654954885*y^9 + 5665614996677384617792684792985279496275870161502/519608488985263831850756022517836196218318295*y^8 - 2317893403900408341479639514122069612276136014507/1558825466955791495552268067553508588654954885*y^7 - 4903335508656148458929670863983333411556676105337/311765093391158299110453613510701717730990977*y^6 + 2115220314199483217691574873147015057734431021189/311765093391158299110453613510701717730990977*y^5 + 1490358836139007389747695791403461491922038074177/519608488985263831850756022517836196218318295*y^4 - 3224608073860915304361860499027456623407719605446/1558825466955791495552268067553508588654954885*y^3 + 16654573470727957623185282143727122647033458993/103921697797052766370151204503567239243663659*y^2 + 245536100092788104233935340988815679282124936224/1558825466955791495552268067553508588654954885*y - 55937774650040269406679947751890147204170989941/1558825466955791495552268067553508588654954885

80494640296158590516808964169732846228050928/935295280173474897331360840532105153192972931*y^23 - 1152889403067014987197644763983625099944515044/935295280173474897331360840532105153192972931*y^22 + 466107368479978112117337341265761783255452994/103921697797052766370151204503567239243663659*y^21 + 1155556085191034341608115252941152026394466281/935295280173474897331360840532105153192972931*y^20 - 30236759514244765237941172336399349778166401245/935295280173474897331360840532105153192972931*y^19 + 30534668795404912889503490203582745606070790972/935295280173474897331360840532105153192972931*y^18 + 52794739237434204586510211312764980170117679653/935295280173474897331360840532105153192972931*y^17 - 62014399756726638009249551026251245207519625683/935295280173474897331360840532105153192972931*y^16 - 57374151272378120180742502591912371529586070379/935295280173474897331360840532105153192972931*y^15 - 15359398222112750315568196274487345379582537069/935295280173474897331360840532105153192972931*y^14 + 215495577597230376196100439832391674816363308188/935295280173474897331360840532105153192972931*y^13 - 52923119133071377111742557295257650604040537108/935295280173474897331360840532105153192972931*y^12 - 21279095925987433152289656676444228084369986098/103921697797052766370151204503567239243663659*y^11 + 110534662991736767867342764268400486746963270347/935295280173474897331360840532105153192972931*y^10 - 27994218376669042722346431973190280808254524918/935295280173474897331360840532105153192972931*y^9 - 10742539062180804903269836955646265042251682999/935295280173474897331360840532105153192972931*y^8 + 15089472866626781912736223791789363280234281715/935295280173474897331360840532105153192972931*y^7 - 22279822322131419365311668042709063911128671031/935295280173474897331360840532105153192972931*y^6 + 16461618298988014944945904472852912058568228436/935295280173474897331360840532105153192972931*y^5 - 4763745957879523894448093214331763443170840440/935295280173474897331360840532105153192972931*y^4 - 3024829486837887267918773591367987019184797277/935295280173474897331360840532105153192972931*y^3 + 6053103359616912377479427608595305647277372894/935295280173474897331360840532105153192972931*y^2 - 69426597475757631178288711734380494674214201/311765093391158299110453613510701717730990977*y - 81513179373353258169942838324026187058575885/935295280173474897331360840532105153192972931

12527460146219467951354661236839289495882385632/4676476400867374486656804202660525765964864655*y^23 - 174957441086415375465313570567250484393107207156/4676476400867374486656804202660525765964864655*y^22 + 65099112048902790331499223760818457717262609538/519608488985263831850756022517836196218318295*y^21 + 451459892885209885519081003616148130005617716087/4676476400867374486656804202660525765964864655*y^20 - 4741684470716638153873265701624032869622705294883/4676476400867374486656804202660525765964864655*y^19 + 2842608119503022981172542105883872737752296742083/4676476400867374486656804202660525765964864655*y^18 + 10904139428930848137515434816708599700519373118829/4676476400867374486656804202660525765964864655*y^17 - 6353895404966851425362957066853182514142166684053/4676476400867374486656804202660525765964864655*y^16 - 3070554612932049069438962947689507749216675524453/935295280173474897331360840532105153192972931*y^15 - 6574378146420540724771049474819371405915963215341/4676476400867374486656804202660525765964864655*y^14 + 37183080571484033459483917813035694576063174339633/4676476400867374486656804202660525765964864655*y^13 + 8645464156889866566294965275792143384646371554558/4676476400867374486656804202660525765964864655*y^12 - 4369799250413921206369604558070415912570924826318/519608488985263831850756022517836196218318295*y^11 - 2723729379041726012679628711217280264292221225799/4676476400867374486656804202660525765964864655*y^10 + 7765482164353690386428089335269657730988294395293/4676476400867374486656804202660525765964864655*y^9 + 4801667829932702231507753875446564651650516642482/4676476400867374486656804202660525765964864655*y^8 + 926088944673001967621408076466243371658114611881/4676476400867374486656804202660525765964864655*y^7 - 889336268475583002382102298105768345697006660875/935295280173474897331360840532105153192972931*y^6 + 241267590432666707577404191249338156249921272579/935295280173474897331360840532105153192972931*y^5 + 1000898549865180609084095770044208590219682577672/4676476400867374486656804202660525765964864655*y^4 - 384690582862841626967458970981026600411207593427/4676476400867374486656804202660525765964864655*y^3 + 2132208561112577789093673137640834048352022845/935295280173474897331360840532105153192972931*y^2 + 14773692623960197748091607759731833936186841796/1558825466955791495552268067553508588654954885*y + 565228394411255281351059667965276896970129823/4676476400867374486656804202660525765964864655

-2969226604820597118058627110356584223144524928/32735334806071621406597629418623680361754052585*y^23 + 43617566100222273132226594889734828448550703744/32735334806071621406597629418623680361754052585*y^22 - 18715942345701552530794814383658065879973481392/3637259422896846822955292157624853373528228065*y^21 - 12416121041265446990170792329374848666471573688/32735334806071621406597629418623680361754052585*y^20 + 1218570554666419269726098908598842751715462522032/32735334806071621406597629418623680361754052585*y^19 - 1460241188414494107846529098273816767785822956742/32735334806071621406597629418623680361754052585*y^18 - 2253289946210158315769829820804599769143772522511/32735334806071621406597629418623680361754052585*y^17 + 3386734139752615044589598766307858907296895880902/32735334806071621406597629418623680361754052585*y^16 + 84852059918852055519599697983503807142270505734/935295280173474897331360840532105153192972931*y^15 - 1091668371038787708972701960010619415892284840576/32735334806071621406597629418623680361754052585*y^14 - 10543548401101647142420090235041817224028985766517/32735334806071621406597629418623680361754052585*y^13 + 3817637129413788395027763897976821666260002568033/32735334806071621406597629418623680361754052585*y^12 + 1321941916240301651189180183827516681337794137362/3637259422896846822955292157624853373528228065*y^11 - 5173938216308100966114655774367432991931917328639/32735334806071621406597629418623680361754052585*y^10 - 3421390213954370427409220357105706150598809405712/32735334806071621406597629418623680361754052585*y^9 - 63902021322395218927388707371428340581634188819/4676476400867374486656804202660525765964864655*y^8 + 742633318075647828605172041784702393827732523461/32735334806071621406597629418623680361754052585*y^7 + 40053223904338956234501388301335593702729884320/935295280173474897331360840532105153192972931*y^6 - 28983856320555615819496553747027411276830531780/935295280173474897331360840532105153192972931*y^5 - 26507805429817710767907686414686094144740232269/4676476400867374486656804202660525765964864655*y^4 + 257258315612512627230474763644032775747761707883/32735334806071621406597629418623680361754052585*y^3 - 1894940979566161570706987599864083565132938335/6547066961214324281319525883724736072350810517*y^2 + 3052250429519793691623083874054479391237619062/3637259422896846822955292157624853373528228065*y + 9270338195112845003542050615716933031242557303/32735334806071621406597629418623680361754052585

161749764275153949756273766338585755694144526532/4676476400867374486656804202660525765964864655*y^23 - 2277540653727099829300886323354161158412074190766/4676476400867374486656804202660525765964864655*y^22 + 868735383842342035610094274247650937663139401103/519608488985263831850756022517836196218318295*y^21 + 5034026764287387505176510283441980368201698374452/4676476400867374486656804202660525765964864655*y^20 - 62114259257659307945150193766521762199179590611193/4676476400867374486656804202660525765964864655*y^19 + 43445107403148282949003321681697851831165527868363/4676476400867374486656804202660525765964864655*y^18 + 138511217347840429879168088259638889898103240020274/4676476400867374486656804202660525765964864655*y^17 - 98664258935696814172223120522265226474534647467513/4676476400867374486656804202660525765964864655*y^16 - 38746873587771137124424029300586120640583383239328/935295280173474897331360840532105153192972931*y^15 - 61248129994802295397966530830982011305919580547066/4676476400867374486656804202660525765964864655*y^14 + 496851753331760929802446200744309827002641208462373/4676476400867374486656804202660525765964864655*y^13 + 61969588013584166293991262609606686987112416491873/4676476400867374486656804202660525765964864655*y^12 - 59394329675301232172155005362248359628275837743018/519608488985263831850756022517836196218318295*y^11 + 13926958095439684293971560358265863725288852923001/4676476400867374486656804202660525765964864655*y^10 + 118073271817073758284867412545371388160121176534768/4676476400867374486656804202660525765964864655*y^9 + 56816267824207001657626087363779861000775602170477/4676476400867374486656804202660525765964864655*y^8 + 3749116126894551601791542757761171232827331988501/4676476400867374486656804202660525765964864655*y^7 - 12228862075503414727088436382062738209209762309285/935295280173474897331360840532105153192972931*y^6 + 4160796746430576766100929379850193514111699108977/935295280173474897331360840532105153192972931*y^5 + 12441594709310885949473202195829882687541405694727/4676476400867374486656804202660525765964864655*y^4 - 6534476610941888218349691477300924583736913573647/4676476400867374486656804202660525765964864655*y^3 + 45424841052863635261180212077646814018147706258/935295280173474897331360840532105153192972931*y^2 + 60608157924273959477211930029774792196117960072/519608488985263831850756022517836196218318295*y - 92259927495220422315771337592724116527491630517/4676476400867374486656804202660525765964864655

-2344035431409481779553345623600941267573390948/4676476400867374486656804202660525765964864655*y^23 + 32357163828758843573488083274063834391963861734/4676476400867374486656804202660525765964864655*y^22 - 11530502807027013441029068987203183557701796267/519608488985263831850756022517836196218318295*y^21 - 110096171033552951762222318211928061017166747978/4676476400867374486656804202660525765964864655*y^20 + 901398761409778055780659345179716129905998219287/4676476400867374486656804202660525765964864655*y^19 - 374127216043152706013455674903394303458615320647/4676476400867374486656804202660525765964864655*y^18 - 2344055357397641582888093497818095833260464310761/4676476400867374486656804202660525765964864655*y^17 + 1034971373534838083045269792998754775634976406057/4676476400867374486656804202660525765964864655*y^16 + 707892298318693406928818225374290699820813124174/935295280173474897331360840532105153192972931*y^15 + 1285225278949076668087711446861916096681529875324/4676476400867374486656804202660525765964864655*y^14 - 7427860831555833204996482040061780471159077543662/4676476400867374486656804202660525765964864655*y^13 - 2854060859866261553290424592963794062138583697007/4676476400867374486656804202660525765964864655*y^12 + 989313174865885932871939883431246274122799140357/519608488985263831850756022517836196218318295*y^11 + 1737548827293118795333075619086259627539228586651/4676476400867374486656804202660525765964864655*y^10 - 3374233729424318424545485256047823187657287045332/4676476400867374486656804202660525765964864655*y^9 - 935620180549600635486023462761194900806419694153/4676476400867374486656804202660525765964864655*y^8 + 209914060005401777642042483930891639890971701366/4676476400867374486656804202660525765964864655*y^7 + 201480119409417102935762197685323422433150544413/935295280173474897331360840532105153192972931*y^6 - 19785628178732629780461256735644722626190027872/935295280173474897331360840532105153192972931*y^5 - 449944302111912887278446985879637718631403241988/4676476400867374486656804202660525765964864655*y^4 + 141514400376937274247872125315390230267284827778/4676476400867374486656804202660525765964864655*y^3 + 13143662391357979892256735744881989035113429626/935295280173474897331360840532105153192972931*y^2 - 14932369576130435651639743836199903174528534189/1558825466955791495552268067553508588654954885*y + 7368561918407945174367358005194618473926452428/4676476400867374486656804202660525765964864655


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

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

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

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

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

# 1 Loop Invariant
1227607616114763012832771478540618137509521385572/4676476400867374486656804202660525765964864655*y^23 - 17456010353322295140956112451858489385825692645906/4676476400867374486656804202660525765964864655*y^22 + 6854566326426740366073582877264111532910176622793/519608488985263831850756022517836196218318295*y^21 + 30660071119338702598430906032611839439461513023667/4676476400867374486656804202660525765964864655*y^20 - 479098175514287115338626129907210124669588120902798/4676476400867374486656804202660525765964864655*y^19 + 393563688836818684324117052700724118857640919874873/4676476400867374486656804202660525765964864655*y^18 + 1024512141499750065426887449721870933958006746963714/4676476400867374486656804202660525765964864655*y^17 - 907381735234639010617926071116805422319967758238098/4676476400867374486656804202660525765964864655*y^16 - 282026294568320913896264694484848673967652114388214/935295280173474897331360840532105153192972931*y^15 - 231900121810315217823648658887141564739829359044631/4676476400867374486656804202660525765964864655*y^14 + 3898751567438821063376065155974516141758697631191213/4676476400867374486656804202660525765964864655*y^13 - 32648706080335925947220637233394426397180131950162/4676476400867374486656804202660525765964864655*y^12 - 475349747134940889682416441227744916605134050413613/519608488985263831850756022517836196218318295*y^11 + 642034804553079947941855495570146072054260329689481/4676476400867374486656804202660525765964864655*y^10 + 1050255219210752358054064574116983240517551285737833/4676476400867374486656804202660525765964864655*y^9 + 316231799773051084887880148781552309905096440721732/4676476400867374486656804202660525765964864655*y^8 - 75187997377570257144835487255175529102971430361054/4676476400867374486656804202660525765964864655*y^7 - 98132012850517206755199715361727982315889696248213/935295280173474897331360840532105153192972931*y^6 + 44030224776460754045915546943199928539838898927640/935295280173474897331360840532105153192972931*y^5 + 90383755024963314759213744811968103354270887369202/4676476400867374486656804202660525765964864655*y^4 - 66385161742113918561865222379501806092845545710992/4676476400867374486656804202660525765964864655*y^3 + 588405211307951478897294919257882810381682856999/935295280173474897331360840532105153192972931*y^2 + 2080423333249307246580575428519003498787541410311/1558825466955791495552268067553508588654954885*y - 1364361134608223681400156236766277064760511082407/4676476400867374486656804202660525765964864655

# 2 Loop Invariant
1712420123728421764152993278252774958999942572945419632720611138665040266336059031769574233007401764788732432007200032175071/3169628127810977611250438316075848322875013419074059679969078221906399224634274112116629750423761590972381914202122818772885*y^23 - 97326187573361407089171482430091492179649801502380241473067798431710096638313942138051579551052764463386746355183013960164227/12678512511243910445001753264303393291500053676296238719876312887625596898537096448466519001695046363889527656808491275091540*y^22 + 76303883019919577362573762694610723527481252881919388817468880441692321417888690490862037439131115907483020535089051189004067/2817447224720868987778167392067420731444456372510275271083625086139021533008243655214782000376676969753228368179664727798120*y^21 + 688614435274888286180286675592539979908345198270167679139324715690512566210109845455841763805775922711876176906682853806582451/50714050044975641780007013057213573166000214705184954879505251550502387594148385793866076006780185455558110627233965100366160*y^20 - 10652758568491812545314935936233888189631309834348509053439193995253020126169958051445387469820727029453901883448032825934202249/50714050044975641780007013057213573166000214705184954879505251550502387594148385793866076006780185455558110627233965100366160*y^19 + 8704615244733412974331381448149217348945350176762743816192097281080941722695592521513281599868631958268078522396851684837628889/50714050044975641780007013057213573166000214705184954879505251550502387594148385793866076006780185455558110627233965100366160*y^18 + 22684015847825096058791939335655708591240742408799690918959751763171614317647949200736886544456934114322916309748461860339438547/50714050044975641780007013057213573166000214705184954879505251550502387594148385793866076006780185455558110627233965100366160*y^17 - 19904154147795961754509513608938903467086601451792664683532186642614957561978130706968959564277391857097971574029877300740702329/50714050044975641780007013057213573166000214705184954879505251550502387594148385793866076006780185455558110627233965100366160*y^16 - 6203538328622568252611969745845513491659209891909651181311973450281091200991204713854788298203379461686178895384323294124345043/10142810008995128356001402611442714633200042941036990975901050310100477518829677158773215201356037091111622125446793020073232*y^15 - 107853713322418659516597846546854639482771507434115245742670046303813389174425097952792393078215725320483649479730973361183071/956868868773125316603905906739878738981136126512923676971797199066082784795252562148416528429814819916190766551584247176720*y^14 + 86004172254716616315652540098362670287975023223291292494466351669955122631700631776573920678602709323667778632582187990100690869/50714050044975641780007013057213573166000214705184954879505251550502387594148385793866076006780185455558110627233965100366160*y^13 - 221474093313007404135035543033666207608175362997543595192025129791448101285125021662952472731226455094206759001373020534383353/25357025022487820890003506528606786583000107352592477439752625775251193797074192896933038003390092727779055313616982550183080*y^12 - 648965704280248371364098420903923180898964875642250160583895485885697443375515777695972341579172042762804417820605823131447309/352180903090108623472270924008427591430557046563784408885453135767377691626030456901847750047084621219153546022458090974765*y^11 + 14298396544461963712138331228159606702248413665556462308940501478821907484470197709294468953990252332005583391141751142140646593/50714050044975641780007013057213573166000214705184954879505251550502387594148385793866076006780185455558110627233965100366160*y^10 + 21599903937325789425489465756550731133564338712096691073304287221622219586783449002048475394681665285550280166303073539295598959/50714050044975641780007013057213573166000214705184954879505251550502387594148385793866076006780185455558110627233965100366160*y^9 + 415930204770760431101744190855359571038274617717609446359506693109224885608304327850432263705392261762226114672017644685444211/3169628127810977611250438316075848322875013419074059679969078221906399224634274112116629750423761590972381914202122818772885*y^8 - 1345224296827550974747255954658366930790618721693184174236442662297118679403236166522109973040562426477121527518155341337486827/50714050044975641780007013057213573166000214705184954879505251550502387594148385793866076006780185455558110627233965100366160*y^7 - 2144931004931488985996154644430754001712066839013389754090490721184796826242921969056997641797479264292543825224269726737092525/10142810008995128356001402611442714633200042941036990975901050310100477518829677158773215201356037091111622125446793020073232*y^6 + 985041032171770098123968405232064346338721435555477543492230125854819123824082618893173747908464516625215244843847719163704011/10142810008995128356001402611442714633200042941036990975901050310100477518829677158773215201356037091111622125446793020073232*y^5 + 966416777228699062109344254657930126725190914964383552537520008062863350159800272503853423617969215358460325009071212562029303/25357025022487820890003506528606786583000107352592477439752625775251193797074192896933038003390092727779055313616982550183080*y^4 - 1437831033141728411609317448604163492206653437716959464390708821091644732790903630465261419354419087823524848880697249594415541/50714050044975641780007013057213573166000214705184954879505251550502387594148385793866076006780185455558110627233965100366160*y^3 + 28935599894386155728299648538153730282114872461182405419347095685289297767362201915266408926925168758451062128556129831326959/10142810008995128356001402611442714633200042941036990975901050310100477518829677158773215201356037091111622125446793020073232*y^2 + 6336501221136679180774093562124588440481858773614343972839065956143363448869350174080673493767701362914327308403328154955343/2817447224720868987778167392067420731444456372510275271083625086139021533008243655214782000376676969753228368179664727798120*y - 20237322757534335592635890957175693689625058899684049183673494622443517871218050753713004948859858428649141792498713249030613/25357025022487820890003506528606786583000107352592477439752625775251193797074192896933038003390092727779055313616982550183080

# 3 Loop Invariant
254322120410286206272352446652382683230802387003258595656964818574751158861021443439495386415136560270411965629614376610591894273124209125598030552400019996577315/803509832106925267797443945431058123319189409829421124160060724775446660353799515506929657129529339786380285275541701031915340310074636725664542267214356342031224*y^23 - 3602951590188252679166378333291726459035242927961506671761047206028208821366731682956106305874376984991550957289282605656323594724354445420483295383300125169371047/803509832106925267797443945431058123319189409829421124160060724775446660353799515506929657129529339786380285275541701031915340310074636725664542267214356342031224*y^22 + 1399976621923862858426675660988687361628270067549945752021512909056190552365328350264516693352603856464029884044640581848932105694483462624933336026110226075119477/89278870234102807533049327270117569257687712203269013795562302752827406705977723945214406347725482198486698363949077892435037812230515191740504696357150704670136*y^21 + 55117867337455332820280271287106867015830789258510177127198871955499935334017559191976359517775732369772325788434661364336786026103746588533084069400174849373964921/6428078656855402142379551563448464986553515278635368993280485798203573282830396124055437257036234718291042282204333608255322722480597093805316338137714850736249792*y^20 - 393907295359247975865496045679858410991318346618044207016550735419935184071353413295013430289667648732662560566591140908937148823913423472978095674127761419922842537/3214039328427701071189775781724232493276757639317684496640242899101786641415198062027718628518117359145521141102166804127661361240298546902658169068857425368124896*y^19 + 11577950108736850859496837772584374038914975821342928112561532550895647359175938251640440391041550407387133595325516054190285341367469830446963086297487727156557963/121284502959535889478859463461291792199122929785572999873216713173652326091139549510479948245966692797944194003855351099157032499633907430288987512032355674268864*y^18 + 1702957304580572497555987159674379009700598989871371984423931330848462952868878448021996450403082159810510363002710334340605162979897519180169960833877968497897064943/6428078656855402142379551563448464986553515278635368993280485798203573282830396124055437257036234718291042282204333608255322722480597093805316338137714850736249792*y^17 - 87477588791759887340024211414138807892073675235339782277415769667623089832285772035491457451801854808796659827081363116506656970498568768785947737897044719391283567/401754916053462633898721972715529061659594704914710562080030362387723330176899757753464828564764669893190142637770850515957670155037318362832271133607178171015612*y^16 - 36648748407457963617678306356804247201313715734831066854282189902087289033585788473851073208935915047291465736187389855855366764924373715009737871244000815836973867/100438729013365658474680493178882265414898676228677640520007590596930832544224939438366207141191167473297535659442712628989417538759329590708067783401794542753903*y^15 - 270233814962834872642988958373071332743796054782717534693940730803712240064539574856700462912373356151026705391685616086698894279101643099041608834286815221016187649/3214039328427701071189775781724232493276757639317684496640242899101786641415198062027718628518117359145521141102166804127661361240298546902658169068857425368124896*y^14 + 6338034632117666003607343991382074125100721663207527094823689594866144622745721773335796139974283137420933673954258677701363437638404159560036343306515128005146122873/6428078656855402142379551563448464986553515278635368993280485798203573282830396124055437257036234718291042282204333608255322722480597093805316338137714850736249792*y^13 + 117887695230099005441336113138212028174647385852474117077745714047488263565806973567186075373123330006913237377110911269470806021603214265173444246700917955455916025/3214039328427701071189775781724232493276757639317684496640242899101786641415198062027718628518117359145521141102166804127661361240298546902658169068857425368124896*y^12 - 762214898480435323627701939817281634301434108288897570767182291246623509587509539223119391286770294069576557809440920614448993704470376014545511940741089677312439521/714230961872822460264394618160940554061501697626152110364498422022619253647821791561715250781803857587893586911592623139480302497844121533924037570857205637361088*y^11 + 771554864008536821813306520318260557811939605865713250385434818145114732734190514405201542340045419773485992305601465474694501480594976100857363656305107073218270379/6428078656855402142379551563448464986553515278635368993280485798203573282830396124055437257036234718291042282204333608255322722480597093805316338137714850736249792*y^10 + 1549936079628086404835197451720847809670628590490719982504691110699416546054761550629462683695587410505502367431262082131523974899801899819982441996115093720752161303/6428078656855402142379551563448464986553515278635368993280485798203573282830396124055437257036234718291042282204333608255322722480597093805316338137714850736249792*y^9 + 563133767496517887431817480766155990233263741541735242678161975093438543147917673377156683963708956386136293401520549203892293140588535343342436088994281131524311681/6428078656855402142379551563448464986553515278635368993280485798203573282830396124055437257036234718291042282204333608255322722480597093805316338137714850736249792*y^8 - 10737495159043219284420649560114795335528063687508365509717270438149190904126383305738269851520496056260975319397753836261908461603678603757875946278451401125718703/1607019664213850535594887890862116246638378819658842248320121449550893320707599031013859314259058679572760570551083402063830680620149273451329084534428712684062448*y^7 - 779055671314539684082516939821695926054770353409880318948306633005498285092876469099375829827969052738940313451119240980841205212753069488366663243417895105763814203/6428078656855402142379551563448464986553515278635368993280485798203573282830396124055437257036234718291042282204333608255322722480597093805316338137714850736249792*y^6 + 505865702145711468145422631606308381477494433202955719154607832537337000118616722262063143911921220386642412036041103533005621653937664455902148594715645575243943/9710088605521755502083914748411578529537032142953729597100431719340745140227184477425131808211834921889791967076032640869067556617216153784465767579629683891616*y^5 + 144510685381820294394992878575689890497660442603992190902281193770093110175843493366550477417629732929344846391178852136658671697364978527045952427739649737185321499/6428078656855402142379551563448464986553515278635368993280485798203573282830396124055437257036234718291042282204333608255322722480597093805316338137714850736249792*y^4 - 50129847511828744549754028833899665510433224827778465021803938669621879300958913645558203955714362168632058575073648120741835267917989078568757222107282771086711637/3214039328427701071189775781724232493276757639317684496640242899101786641415198062027718628518117359145521141102166804127661361240298546902658169068857425368124896*y^3 + 7425441594846663914409059457081639918119090291615960928198589615154416896077820853141940553447785281114055198927153079936259340772535711774277976049774150643329349/6428078656855402142379551563448464986553515278635368993280485798203573282830396124055437257036234718291042282204333608255322722480597093805316338137714850736249792*y^2 + 2578923582693887265645694557284148938782602400962723727883858533754862407629902677585119909973998316122060186832300470819300262797349168539098806713835158233010967/2142692885618467380793183854482821662184505092878456331093495266067857760943465374685145752345411572763680760734777869418440907493532364601772112712571616912083264*y - 1564751390708133161899096338188116723605350144929859240920355212949401513435976926857286472733099945431427568783425787625761671958260240239548007197510269060839447/6428078656855402142379551563448464986553515278635368993280485798203573282830396124055437257036234718291042282204333608255322722480597093805316338137714850736249792