# Manifold: Census Knot K8_266

# Number of Tetrahedra: 8

# Number Field
x^25 + 12*x^24 + 269/4*x^23 + 1933/8*x^22 + 2749/16*x^21 + 23641/32*x^20 + 129083/64*x^19 - 402163/32*x^18 - 3678691/128*x^17 + 17023171/512*x^16 - 19668213/128*x^15 - 369823703/512*x^14 + 4113877/16*x^13 + 125853371/64*x^12 + 189916679/256*x^11 + 461733571/128*x^10 + 964631179/128*x^9 - 2095731397/512*x^8 - 2244743985/256*x^7 - 4473772717/512*x^6 - 605238457/128*x^5 + 2730058173/512*x^4 + 3341997/32*x^3 + 1620399053/512*x^2 - 29093953/64*x + 435473/32 

# Approximate Field Generator
-0.365789833274616 + 0.808436329860724*I

# Shape Parameters
-1312364850993910203625153037042091402790472476787181148282487483224030576852012579546811324992850019607467051494673615899248878968822159951830350748378490448/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^24 - 15645359377875106276825871841203259879148115277431723740416434854991543103727562476603283831220301341915878125522023786294868962681393714535249451715726069760/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^23 - 86930205829797691884895167358268784671419580669984693688777839461053427377296746959046828674226726817249869006650964961800678999701577663731757525280532314756/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^22 - 309383442044124163841926554990089310523193355373782667092283616236501771565245786757070459297588782166873083859061898970786418802500451618818463052928424547858/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^21 - 197663704556503407004512802810363163718903350262027938610481850639186625458457889968016998618964108876375555732761549911481656920851857424976289040398261418041/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^20 - 1890476388375092198632699753678627670423871853240407654522128176167362738452125308177202199072039773627214466189578028566976184306147712600361338918207674163653/5456830325636116396628504207502471645171082968754477616487787834858140476893763979464405854658417066837796633774941558721633079300787452011310531915987303708217734*y^19 - 10402657334432702897099359513168112028948838287808231881294311912632325985211721507856578378872972577265830208280434301644696533316841675600004834908459660924623/10913660651272232793257008415004943290342165937508955232975575669716280953787527958928811709316834133675593267549883117443266158601574904022621063831974607416435468*y^18 + 33618235527090812263484836874669540726951941065832256241707307257240422492308745366471742428743090847304001979724983177880102752721299779004343961199910157877945/5456830325636116396628504207502471645171082968754477616487787834858140476893763979464405854658417066837796633774941558721633079300787452011310531915987303708217734*y^17 + 291664365272572516224414360501452886891171251831280133653624941976183026177647825740737857949260413964153922099170432268307288411093294805266675208400984230643039/21827321302544465586514016830009886580684331875017910465951151339432561907575055917857623418633668267351186535099766234886532317203149808045242127663949214832870936*y^16 - 1536529294029176029908893590469300106450726003207603761376141784645330607506564748667089926003580121982443465603257951086691517977772449025578858497661071755802431/87309285210177862346056067320039546322737327500071641863804605357730247630300223671430493674534673069404746140399064939546129268812599232180968510655796859331483744*y^15 + 827881158123158923596204554774067028414125386226859831275178159401471456717839319361025712434510764931856572128593109459032077572332470753727660058246038122808387/10913660651272232793257008415004943290342165937508955232975575669716280953787527958928811709316834133675593267549883117443266158601574904022621063831974607416435468*y^14 + 30044650586338136680542744320658248352351026663613939333937516272243110431198722879017530069959696386855889135585806652815999092534266047392192754116863988657550995/87309285210177862346056067320039546322737327500071641863804605357730247630300223671430493674534673069404746140399064939546129268812599232180968510655796859331483744*y^13 - 3568684201134672544083581079925567741079302711463214010454450865599769203178549211797441759295339773657590446064962263718656071198545483725478560136034277702360437/21827321302544465586514016830009886580684331875017910465951151339432561907575055917857623418633668267351186535099766234886532317203149808045242127663949214832870936*y^12 - 10249670280551973864933188112061621526260244605922628206268386719039129427486960363954391180371892039853206938756843437082660116588398054257403438434086122327133477/10913660651272232793257008415004943290342165937508955232975575669716280953787527958928811709316834133675593267549883117443266158601574904022621063831974607416435468*y^11 - 9538415108825712551466912529519226086238045741532720054625189871441443292825595310091856332806645193579887997781470201179408298763619159233915019498443488034396275/43654642605088931173028033660019773161368663750035820931902302678865123815150111835715246837267336534702373070199532469773064634406299616090484255327898429665741872*y^10 - 38658497115591617352469618898606001372569736228392970601910288632606652583006659227480791337674740460110523487700990072997318210265669263672833097593168220174868477/21827321302544465586514016830009886580684331875017910465951151339432561907575055917857623418633668267351186535099766234886532317203149808045242127663949214832870936*y^9 - 79550135383237433389675620074402822708810798621334175382868127694056161271422509384276863149744607615970940467048635334716174073808693769124191924466523901160938087/21827321302544465586514016830009886580684331875017910465951151339432561907575055917857623418633668267351186535099766234886532317203149808045242127663949214832870936*y^8 + 222905229685876867159143837267252216846950403256459917553105616372664407714787345117010866275411352679294397942530644869352261084447432582114657710302612853385884713/87309285210177862346056067320039546322737327500071641863804605357730247630300223671430493674534673069404746140399064939546129268812599232180968510655796859331483744*y^7 + 174426104640430912830278168572404399397134723409985104186744060683467625179368778412722428213809291158300848493651347203036649902896729988397082907243756522379700415/43654642605088931173028033660019773161368663750035820931902302678865123815150111835715246837267336534702373070199532469773064634406299616090484255327898429665741872*y^6 + 296755104373500359205699744170973728833258635157226762075292939275010284028120012154574645534502442329975672763369333102788147036386152368562037076790547093637268505/87309285210177862346056067320039546322737327500071641863804605357730247630300223671430493674534673069404746140399064939546129268812599232180968510655796859331483744*y^5 + 36326738255648731745382568879771735009701897138450782314441749559078585575245687889656738449013305829867093595721634619257539159540421955739160541532580479268984779/10913660651272232793257008415004943290342165937508955232975575669716280953787527958928811709316834133675593267549883117443266158601574904022621063831974607416435468*y^4 - 205970332094686852551047986235648971232860327568876286024680351321204991116735917760901277806373462199481766710351300615725964870110072614070627056014164848637790657/87309285210177862346056067320039546322737327500071641863804605357730247630300223671430493674534673069404746140399064939546129268812599232180968510655796859331483744*y^3 - 4241047080029442910899033327075066639478420526392788711268006930175748488508778080585713693200733723477097915059998104075102056051980246339857917899591804339982501/21827321302544465586514016830009886580684331875017910465951151339432561907575055917857623418633668267351186535099766234886532317203149808045242127663949214832870936*y^2 - 140984317476636690178799606215092876630319693693087666056042378774850348896700913649069048083599538259128188939192764970099873237616586182296538088063854328476968401/87309285210177862346056067320039546322737327500071641863804605357730247630300223671430493674534673069404746140399064939546129268812599232180968510655796859331483744*y + 1404770283785529318906202760156884768892684487730529190661775934248763317369420374459990001507176815971477634912582449921446363132430118766320246349843226201520145/21827321302544465586514016830009886580684331875017910465951151339432561907575055917857623418633668267351186535099766234886532317203149808045242127663949214832870936

359765444090539738518295922779486036625171680523971948771304021417876082607851278865669524798709690475503352206822261208609535980337247276426021458862145834816/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^24 + 4335711967455823291816293142266237632516609645594610756084996947232064918204079318494299472327499829679833111548670102147414902672038416613433514925112510372352/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^23 + 24408220722126078943830676324921723034225915012878486114500615430611335157549102009178673451606322510876996147194700551949364533802528218516522565901869138897296/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^22 + 88069794785149584061088921680833763830995915476983306326144131900291663761950053975254368268856945667523362343788184499563743135727995463364821945900489612682888/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^21 + 5051936611889081889502120345249716292354956702507376878097287826844711096071382696943267952010393789026099635984139600621744987890322242536862458169114054188308/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^20 + 266668547038032441661548118492190206404029071127831604847462717783124224317310321128971158931110254848301751361703009471517925224630095177179886717784483624691034/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^19 + 736876776693952706866568190626829082585805613075085052166691004677502222112489028356299754892547041542676488328624366564540781432337370632999535177867099167962791/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^18 - 4490567506022627539796505703436929477929231853678043416321880382124829275098579063221616693495481441353919849231705986373160554782219110560050759664391370646013610/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^17 - 21184026265516608426817058873849264181076853945618689287810045764191436700627403202089794843288991806640037670126186164322659339671854477708860703378170257699297415/70938794233269513156170554697532131387224078593808209014341241853155826199618931733037276110559421868891356239074240263381230030910236876147036914907834948206830542*y^16 + 92190993427019853157509239120940162300591009271064210110007971475385022291657089102752750918483059066332170198749181832806780234032852269498523805686419689260182119/283755176933078052624682218790128525548896314375232836057364967412623304798475726932149104442237687475565424956296961053524920123640947504588147659631339792827322168*y^15 - 54365257425981376072908320776444003760560905754145998622932312219845877860877032653902375697325957926534625385108003052295320145478777362545670758088113060458813276/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^14 - 2102937188675603353142389316347295821432913189822357342008770310601917157877765568054101082093091488471008062335730463471416775043116677100351850771485035930481572315/283755176933078052624682218790128525548896314375232836057364967412623304798475726932149104442237687475565424956296961053524920123640947504588147659631339792827322168*y^13 + 160302925614054999957731378919351124845655206036339387131606088715310156363829554312377225623054010032902867963610166411909749941607458399069156069916547459303620675/70938794233269513156170554697532131387224078593808209014341241853155826199618931733037276110559421868891356239074240263381230030910236876147036914907834948206830542*y^12 + 55304525681720230332290942368730746565373042722332576077870747565351981625907154379343167643367080829372828942701511386795335834624303526403548665071430786209185035/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^11 + 1218692493260464532457393412018459711089863862621455813863968211583952557055788971106215001845007841871126575861929093587632272682008642458441782456046454494694304573/141877588466539026312341109395064262774448157187616418028682483706311652399237863466074552221118843737782712478148480526762460061820473752294073829815669896413661084*y^10 + 2584844878134441191367311174346884353875105877067127835362555544653584931257950535801824095219213723295760623664355514453724177977187360491878890685447957632924098461/70938794233269513156170554697532131387224078593808209014341241853155826199618931733037276110559421868891356239074240263381230030910236876147036914907834948206830542*y^9 + 5523801217633087266561860756784867557810511931608857447415103724168757893202944386634975703491314692660815024371441793067802631639506361666805016509467640498506490967/70938794233269513156170554697532131387224078593808209014341241853155826199618931733037276110559421868891356239074240263381230030910236876147036914907834948206830542*y^8 - 10860339432347538185622255501364683155171694331025145101941868613091133642407669895889075187582193462786761748063874723992067141612042490347181791308855749207100667053/283755176933078052624682218790128525548896314375232836057364967412623304798475726932149104442237687475565424956296961053524920123640947504588147659631339792827322168*y^7 - 13213768489166041263373688642696472410656011133516438711301525528675269996048702612156544210344014867482484862692327383315307216111004647364613891983847542116912145687/141877588466539026312341109395064262774448157187616418028682483706311652399237863466074552221118843737782712478148480526762460061820473752294073829815669896413661084*y^6 - 26488855921448193236292794282948668457693185089762625709473334322653822865032103725360098453613073004781714043191331063312594945356366437888895691229648969962069957093/283755176933078052624682218790128525548896314375232836057364967412623304798475726932149104442237687475565424956296961053524920123640947504588147659631339792827322168*y^5 - 1749336758950776676514089801375498437799800620138389030388122102082431130616626516527651077783073588953275549036918289257610443578583146308175982400177168585305725511/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^4 + 15490976350889327183609686677492906460270355794574613149204252190213608221769815284632572622547377066256214381736400126478934167694557005069101417897154393192250118505/283755176933078052624682218790128525548896314375232836057364967412623304798475726932149104442237687475565424956296961053524920123640947504588147659631339792827322168*y^3 + 255340885637420286958087688344214940494920533084094681850636708643253974459499548540313387271514654095714419725771785369716060953184736675064534178893126020617228165/70938794233269513156170554697532131387224078593808209014341241853155826199618931733037276110559421868891356239074240263381230030910236876147036914907834948206830542*y^2 + 8815709933932381161459579036430605883511588295133348790452576017188853046414514221452672744868103846958511054659533763159376363059077570170543895723417335829657548525/283755176933078052624682218790128525548896314375232836057364967412623304798475726932149104442237687475565424956296961053524920123640947504588147659631339792827322168*y - 202244725465843666773079787747048411746945319107352491604178825108012493169517755148724387146914676573432874915356954705361024617818057497116532805839806014849976565/70938794233269513156170554697532131387224078593808209014341241853155826199618931733037276110559421868891356239074240263381230030910236876147036914907834948206830542

-94883259407773668148557364303355298543562495668356187956961185325631401485026932749636939129278708831063287136613710596841875014364071185235523717233252285400832/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^24 - 1142577259868792478779511893350507455996542427340105725905311618348452915314472044958492621839851484625319374151857921741702734202165536361032975517842374203684096/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^23 - 6428839475289699568950150020426910816268158753277684912955247885680150370913052352599522283789970673725252220304482145346126542108851048256744045778993011966617024/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^22 - 23196139470024539851053417137805818544204394807734425092759337855033671465110446731757054439621123421245089978420999682693904357330593398320410024442416900335580064/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^21 - 1329006647352847369572897117775927102490325879501220230075372412641517344502593265316967969513844112255290550418793896614282525025567626738430812783123843307582800/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^20 - 70830943957261957235856069581891723440998004932351811997652350446787562360131163666263951327655732934074204026834163644499193887935525330464578412235828330910313064/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^19 - 194347430504812227195091561905879267078395014413977708065998358084894239538931860608633161376388980450882706132923994202844324738459852355361996820095690854109136652/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^18 + 1184283297834346085046573608689343949543077047435183858190419394276401538699602737713771893180356704382711387094525049592254961112972715455833636391095778432805768820/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^17 + 2776504405753135108325353441995558427847083516157587589874924201826812951416777149621597680529780892554137804329020177868798270874919819509932175345145689258865007014/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^16 - 6075697893823545547525463819016910228659997776408435338426915221638372563152507265835460540301715173620162661637365112957389450692198299681176165083565718801807064865/70938794233269513156170554697532131387224078593808209014341241853155826199618931733037276110559421868891356239074240263381230030910236876147036914907834948206830542*y^15 + 28906590159669231131769739326073420645684949531057944311257916451038565491205142744482641189260990919589306905467714632020037890511038086247160993714582051717516439333/70938794233269513156170554697532131387224078593808209014341241853155826199618931733037276110559421868891356239074240263381230030910236876147036914907834948206830542*y^14 + 69139935230856613936153418170893203251385205088889431205967456701474167013508879977311129197424229976285917690796057108331804733613852097248295698468129611720916602232/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^13 - 21492416582926906148765713266320877226940746128163146588533629340736422993334437232260265873964091403773053509073525146768042783846448457054403943964646172843705599170/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^12 - 14419851878618102456701002419477039600200974698197307825909029366907744674432309213660563119928054261456977512217126868092331761904621936922907059554433920290321395868/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^11 - 78259880584172041859366531218233309763795376617528215577679741856858616952111813325260509496657227933067895906883553107399252816471496662989258902043882808889311304847/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^10 - 345637336185650555308075500080981779755524214255438078810181694918352610004804300853312280876612163442115926409046678773499870001134275752012200333337374537589822145857/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^9 - 729572591048144518083315772541060037861155412027517447703388723406689782088156458410091163264403871935640839625834605239392118212712097724373856528699385622132058520339/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^8 + 715395962757812238048489956951052239030248101233073504971869234851909815609302545008983024790395452177177819895511754483446323778333116664125489086781850462289216643077/70938794233269513156170554697532131387224078593808209014341241853155826199618931733037276110559421868891356239074240263381230030910236876147036914907834948206830542*y^7 + 1693411299098597513008757595273952710708556413963532611059481075107535209752157185842168457488537118217222907206816848843086327804435863730367285173295568016226134454485/70938794233269513156170554697532131387224078593808209014341241853155826199618931733037276110559421868891356239074240263381230030910236876147036914907834948206830542*y^6 + 864749067268225335701207691088519041753469018186273599874110987902227976648283606150453138183940690112337560065234207410975554858649134460031969563220346779702951844393/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^5 + 485356673054193915183720347385096647730480947259729834265919425300861722453402176431454695810437171050970365569188553943233137922661137688351431024011120541649920167015/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^4 - 970722907348616402848091002474271907372996671981167625634772881249913770923364272613457150215750299151391510609489639062507461693387889884767715869055506840654247052693/70938794233269513156170554697532131387224078593808209014341241853155826199618931733037276110559421868891356239074240263381230030910236876147036914907834948206830542*y^3 - 60489683249587142435671359491493273071363362457158108636462375216333629347304398897651480115168850623302595878394615226747701498318152070621473179216425490974173653291/70938794233269513156170554697532131387224078593808209014341241853155826199618931733037276110559421868891356239074240263381230030910236876147036914907834948206830542*y^2 - 301806802411838973940250720323710583168006204079272288696589815549198508462017547765824880348481297638028167009375589897338084575115190349428298821332943797178718064710/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y + 30523631278984088083995713255527835881967601258272467846719796911842494748496206283274783851711150252339701240538013403494394162886834309734794658845272324198164564896/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271

-354511394568116070073472190048816551118036350670399725067163258722319682389044408038964584972783222498661331153448685798264074949435215499182925716710544684752/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^24 - 4278926372245039637426638221571509709885005850324641068656477594817766540794263287962159735010326017467651189917593856751724024885089399734559939857417221427072/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^23 - 24122322914600635104567146238495625480484570594005036231837793142999764160354167202849470544952636750032355350999898087509659571049383095149098263633809354218276/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^22 - 87131562138897359533502869355406688761732729419660356358036936955244802279537365369391697549278158697860976888186355436865504134910508880640062400026642683957698/35469397116634756578085277348766065693612039296904104507170620926577913099809465866518638055279710934445678119537120131690615015455118438073518457453917474103415271*y^21 - 5061444462973546478530835633355977460394887349930307874592651891082503331034397916787251992430776254479424363222417969483333318030870705712290324383655674159829/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^20 - 524338809188339919680257840854035358735728189453571938302336078811098609957253417569844747356341567295135521840048815029364271585627238572538959506806992496718397/70938794233269513156170554697532131387224078593808209014341241853155826199618931733037276110559421868891356239074240263381230030910236876147036914907834948206830542*y^19 - 2920553698225413379076041239126201883831965746783872292600613572013882014026184145294039292791468533940965364921521950170934716193096984037102347590371938971745431/141877588466539026312341109395064262774448157187616418028682483706311652399237863466074552221118843737782712478148480526762460061820473752294073829815669896413661084*y^18 + 8835284386922822641702536604797051713383804927835555840432917247821383394548462134168327298664675480260771149864328395994419885065154067076191589615889656147924029/70938794233269513156170554697532131387224078593808209014341241853155826199618931733037276110559421868891356239074240263381230030910236876147036914907834948206830542*y^17 + 84278791385266309146433384749171461445856099054480709519530655641901674290782424559322231520533210566020814614925725270004437453417108017926199207098560409286067255/283755176933078052624682218790128525548896314375232836057364967412623304798475726932149104442237687475565424956296961053524920123640947504588147659631339792827322168*y^16 - 360619111060333662381341144738572336555611926379784839752591899037258511277692853757396996623176310566632341289327600476121549860374038951333628876045149359843376183/1135020707732312210498728875160514102195585257500931344229459869650493219193902907728596417768950749902261699825187844214099680494563790018352590638525359171309288672*y^15 + 106340711293701761138562774948312708326675011962585125094094538753938313335996000295960719938501377257191809789806264974361179084956688322863580103378789188434573635/70938794233269513156170554697532131387224078593808209014341241853155826199618931733037276110559421868891356239074240263381230030910236876147036914907834948206830542*y^14 + 8332260021029853349857541143963468603695983844138072890177864599987515037184017731972136148218344872790877346308635755125699210397992157723466693317729143442906893563/1135020707732312210498728875160514102195585257500931344229459869650493219193902907728596417768950749902261699825187844214099680494563790018352590638525359171309288672*y^13 - 604927510375015420026337597879095050481533142793453576616789929298169143254098590013340543301323102567654120610013600554192456501224050907088274544848618375635137731/283755176933078052624682218790128525548896314375232836057364967412623304798475726932149104442237687475565424956296961053524920123640947504588147659631339792827322168*y^12 - 220151117949557178488741736319035902228602112728333274838047603566712413710336544277829046401355358406523742543955604701809123283763200035335332284386077969680339605/10913660651272232793257008415004943290342165937508955232975575669716280953787527958928811709316834133675593267549883117443266158601574904022621063831974607416435468*y^11 - 4944943010787125688528239751930870970523469915625153666257303805082956044072364951205847864633656884852968047713353991247772488892015074049835987654448944744425773515/567510353866156105249364437580257051097792628750465672114729934825246609596951453864298208884475374951130849912593922107049840247281895009176295319262679585654644336*y^10 - 10120533243254744756308407627451710478042863476357457200636202210732398515836441229613107685463018751011187413580936443677543527679840433450454143748061545217404486281/283755176933078052624682218790128525548896314375232836057364967412623304798475726932149104442237687475565424956296961053524920123640947504588147659631339792827322168*y^9 - 21988901251249959010095670786658260246869690957734168395743888177852459885867883351558256811408561446397437041986855661015704323752129972106008106908024133734725130035/283755176933078052624682218790128525548896314375232836057364967412623304798475726932149104442237687475565424956296961053524920123640947504588147659631339792827322168*y^8 + 42092789007509553109587714380801403984536015010471039278439842395693892603602678527766500298160097821322427246291512922650511694119103019016624733871100747964874574001/1135020707732312210498728875160514102195585257500931344229459869650493219193902907728596417768950749902261699825187844214099680494563790018352590638525359171309288672*y^7 + 53329928377303241921410027668613306486238228737850194944182936013340023235406828004778968010831523010633251262389215064483596104405629301086292860906276762332778123763/567510353866156105249364437580257051097792628750465672114729934825246609596951453864298208884475374951130849912593922107049840247281895009176295319262679585654644336*y^6 + 104351910349613931126847891292881781860095250526177903564911139194007028471453786056385748357595199141034880154573584808973860224297653563891303300361655935441060516609/1135020707732312210498728875160514102195585257500931344229459869650493219193902907728596417768950749902261699825187844214099680494563790018352590638525359171309288672*y^5 + 3489928252528037111023884900815597816347591129578861555907075096306843914521887073063039533746162842138692015896357723919527794770706132943466313963556526075061741727/70938794233269513156170554697532131387224078593808209014341241853155826199618931733037276110559421868891356239074240263381230030910236876147036914907834948206830542*y^4 - 60632379516645613175930688280291517429623156418377644417653019608813230750165041488382928956221331437176131340575622411954774313043975353717495221022597098705656178585/1135020707732312210498728875160514102195585257500931344229459869650493219193902907728596417768950749902261699825187844214099680494563790018352590638525359171309288672*y^3 - 1653806116621240016099226278177798479887330376371955090049779195056345595545508319671166888390544463379428805588616756119930547698204424152137647743556776311391499207/283755176933078052624682218790128525548896314375232836057364967412623304798475726932149104442237687475565424956296961053524920123640947504588147659631339792827322168*y^2 - 32899345370622234483833057999075419492914488323795987769457184647175418443545855117446087017133727253461016317742054726416813838544699429126631666776518616554048232617/1135020707732312210498728875160514102195585257500931344229459869650493219193902907728596417768950749902261699825187844214099680494563790018352590638525359171309288672*y + 1063478696586183412063630285994774917985433072814201010483388439421167420224062623504129085260864827417533084956318753442684018532296636613620560761705044271188683187/283755176933078052624682218790128525548896314375232836057364967412623304798475726932149104442237687475565424956296961053524920123640947504588147659631339792827322168

36648665519904371811334820314471705271144325113912852499233159662239590925898299420230657548105046884691041855875262655698046602195644662034979012274647815607415488/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^24 + 442992763955183411090675022651664117900546135971378883037447259568976963205978261581401938684909821746990366015472616279819525100970921281939008515968286304180393728/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^23 + 2503274711602316172725633325733487422919816861946424006070906098176304782726462336856732203459599343189962745189478008812152890256814429262372147867550898453043620848/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^22 + 9072714873638173591601681373615273064188834695200769211699326612848990310934979587356189712384967976852753384228963615386767228946361321421202032470689725930677389560/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^21 + 7080961246931310519917741948476116510869207815107992185560673053711809110892465759192175606420731126546871125145621009007749271382911392180472450003822812362745247484/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^20 + 27656286074739011358876123676486328918470430700603460698362435693936387333387750707296101238320725393144357556319394709572143687785491644571489540252389195136893959462/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^19 + 76289623355226395437291074600387274131404547351148831085297877660437702137171694928191409043542824010220627923268343536263815495107819786546848156468995190247398316105/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^18 - 454044848790634056674691242589727616041016344079187065113353365875601110897104538064581942707907772017403190150262231783341432572982530675176500328489800213768659694610/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^17 - 2186785615731208855964252567036663918484302604074729381250634681001257195032758838280242706344393661631854177547511686566619801377806724804557898144896893642163331526121/2376302272395736515589004612753723834737587013652418631084786431809179007894358081429303210745664855347055813499875125401185721942351814089721431265050739107728701278182*y^16 + 8993570699259364721476922270653812212179810341251071453681732140932233315210904564747099102029173420923373116722966778635618480778724633349257764608811737829192579446049/9505209089582946062356018451014895338950348054609674524339145727236716031577432325717212842982659421388223253999500501604742887769407256358885725060202956430914805112728*y^15 - 11056497739175544664459103891992739654746259834542439927267775012370991944909159328439109932002117531632001986244912869664912772364387099692841964810346302005077610348433/2376302272395736515589004612753723834737587013652418631084786431809179007894358081429303210745664855347055813499875125401185721942351814089721431265050739107728701278182*y^14 - 215656333260870731413699642628992477398039772232347928145499619303668012695698426730870172261069812656194579486931505470333189544825473874001806155893078549979193594613145/9505209089582946062356018451014895338950348054609674524339145727236716031577432325717212842982659421388223253999500501604742887769407256358885725060202956430914805112728*y^13 + 14166946844530282069951663191146188985867059578708153915167957650179083891660741927635882914271274230769142205117345767310787719060513481782285846450036546064855610299099/2376302272395736515589004612753723834737587013652418631084786431809179007894358081429303210745664855347055813499875125401185721942351814089721431265050739107728701278182*y^12 + 72798136710906213612146299638486927723307976583600457699642625612461473507017048037182167373382455392658010924938872860411741973753192744509049764853009307367537343125909/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^11 + 134404620116831495977232107793445980237864784197857601756670684844037484439752205837642087816519264694095671191073939751392891264847354365873332429020299646529625546228037/4752604544791473031178009225507447669475174027304837262169572863618358015788716162858606421491329710694111626999750250802371443884703628179442862530101478215457402556364*y^10 + 269842191790794744519030283750432497600083006163145392081197454186207125275576033413413861528445193120725858745017529683899516749648394140541487805197582850469457559103477/2376302272395736515589004612753723834737587013652418631084786431809179007894358081429303210745664855347055813499875125401185721942351814089721431265050739107728701278182*y^9 + 575569674358536883180133232858523898171354831727824041054668771725879783099882936515242934854014084484724342055875597219532952091680342970025202464808186671276395401636343/2376302272395736515589004612753723834737587013652418631084786431809179007894358081429303210745664855347055813499875125401185721942351814089721431265050739107728701278182*y^8 - 1003648867398264280269085684350676873659457989744345497276131831532163476545672558669523103637141125486089630564723308725593457871071019161901975169496945323116386167705631/9505209089582946062356018451014895338950348054609674524339145727236716031577432325717212842982659421388223253999500501604742887769407256358885725060202956430914805112728*y^7 - 1335582998260055991965634957039530284704090228433813946752541059762263550374905943626394077435922243426600116378909381368265945603948417701391303083069019674093307340151979/4752604544791473031178009225507447669475174027304837262169572863618358015788716162858606421491329710694111626999750250802371443884703628179442862530101478215457402556364*y^6 - 2800226471998998678625592514913642666933452537692750471397997404040960172319287201469629278852149346185806962584335139884345537650110048686516306241239370695256769472436483/9505209089582946062356018451014895338950348054609674524339145727236716031577432325717212842982659421388223253999500501604742887769407256358885725060202956430914805112728*y^5 - 203063464215040062644165515181446902506727594489359198441022747818634396399995115592966353011252310034462978058775011992159287882259346928119742660438433370007472395157626/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^4 + 1430818535835381420631237253126229773039774609115467640875249128457883864543018059810599233869841505849110853252307598543032454544408506480717884689740811728771304836577495/9505209089582946062356018451014895338950348054609674524339145727236716031577432325717212842982659421388223253999500501604742887769407256358885725060202956430914805112728*y^3 + 20818405651817171287677430579026143941220930026140888879127284528258874235278750122241483678752533989080795418137736180259791224288202925441282644702731620057180398599128/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^2 + 953091908368186478224405712830907592262800053751537063043626448259855469304693853330807913884646967765426847028693246796402451904619662906223334103777440178382437412225795/9505209089582946062356018451014895338950348054609674524339145727236716031577432325717212842982659421388223253999500501604742887769407256358885725060202956430914805112728*y - 9478529261814572369125827312149279916008262133363780914015217204611304380984835918537802126792288596815539765958159787567304599341744630951588092753608391161929554063519/2376302272395736515589004612753723834737587013652418631084786431809179007894358081429303210745664855347055813499875125401185721942351814089721431265050739107728701278182

36648665519904371811334820314471705271144325113912852499233159662239590925898299420230657548105046884691041855875262655698046602195644662034979012274647815607415488/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^24 + 442992763955183411090675022651664117900546135971378883037447259568976963205978261581401938684909821746990366015472616279819525100970921281939008515968286304180393728/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^23 + 2503274711602316172725633325733487422919816861946424006070906098176304782726462336856732203459599343189962745189478008812152890256814429262372147867550898453043620848/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^22 + 9072714873638173591601681373615273064188834695200769211699326612848990310934979587356189712384967976852753384228963615386767228946361321421202032470689725930677389560/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^21 + 7080961246931310519917741948476116510869207815107992185560673053711809110892465759192175606420731126546871125145621009007749271382911392180472450003822812362745247484/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^20 + 27656286074739011358876123676486328918470430700603460698362435693936387333387750707296101238320725393144357556319394709572143687785491644571489540252389195136893959462/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^19 + 76289623355226395437291074600387274131404547351148831085297877660437702137171694928191409043542824010220627923268343536263815495107819786546848156468995190247398316105/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^18 - 454044848790634056674691242589727616041016344079187065113353365875601110897104538064581942707907772017403190150262231783341432572982530675176500328489800213768659694610/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^17 - 2186785615731208855964252567036663918484302604074729381250634681001257195032758838280242706344393661631854177547511686566619801377806724804557898144896893642163331526121/2376302272395736515589004612753723834737587013652418631084786431809179007894358081429303210745664855347055813499875125401185721942351814089721431265050739107728701278182*y^16 + 8993570699259364721476922270653812212179810341251071453681732140932233315210904564747099102029173420923373116722966778635618480778724633349257764608811737829192579446049/9505209089582946062356018451014895338950348054609674524339145727236716031577432325717212842982659421388223253999500501604742887769407256358885725060202956430914805112728*y^15 - 11056497739175544664459103891992739654746259834542439927267775012370991944909159328439109932002117531632001986244912869664912772364387099692841964810346302005077610348433/2376302272395736515589004612753723834737587013652418631084786431809179007894358081429303210745664855347055813499875125401185721942351814089721431265050739107728701278182*y^14 - 215656333260870731413699642628992477398039772232347928145499619303668012695698426730870172261069812656194579486931505470333189544825473874001806155893078549979193594613145/9505209089582946062356018451014895338950348054609674524339145727236716031577432325717212842982659421388223253999500501604742887769407256358885725060202956430914805112728*y^13 + 14166946844530282069951663191146188985867059578708153915167957650179083891660741927635882914271274230769142205117345767310787719060513481782285846450036546064855610299099/2376302272395736515589004612753723834737587013652418631084786431809179007894358081429303210745664855347055813499875125401185721942351814089721431265050739107728701278182*y^12 + 72798136710906213612146299638486927723307976583600457699642625612461473507017048037182167373382455392658010924938872860411741973753192744509049764853009307367537343125909/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^11 + 134404620116831495977232107793445980237864784197857601756670684844037484439752205837642087816519264694095671191073939751392891264847354365873332429020299646529625546228037/4752604544791473031178009225507447669475174027304837262169572863618358015788716162858606421491329710694111626999750250802371443884703628179442862530101478215457402556364*y^10 + 269842191790794744519030283750432497600083006163145392081197454186207125275576033413413861528445193120725858745017529683899516749648394140541487805197582850469457559103477/2376302272395736515589004612753723834737587013652418631084786431809179007894358081429303210745664855347055813499875125401185721942351814089721431265050739107728701278182*y^9 + 575569674358536883180133232858523898171354831727824041054668771725879783099882936515242934854014084484724342055875597219532952091680342970025202464808186671276395401636343/2376302272395736515589004612753723834737587013652418631084786431809179007894358081429303210745664855347055813499875125401185721942351814089721431265050739107728701278182*y^8 - 1003648867398264280269085684350676873659457989744345497276131831532163476545672558669523103637141125486089630564723308725593457871071019161901975169496945323116386167705631/9505209089582946062356018451014895338950348054609674524339145727236716031577432325717212842982659421388223253999500501604742887769407256358885725060202956430914805112728*y^7 - 1335582998260055991965634957039530284704090228433813946752541059762263550374905943626394077435922243426600116378909381368265945603948417701391303083069019674093307340151979/4752604544791473031178009225507447669475174027304837262169572863618358015788716162858606421491329710694111626999750250802371443884703628179442862530101478215457402556364*y^6 - 2800226471998998678625592514913642666933452537692750471397997404040960172319287201469629278852149346185806962584335139884345537650110048686516306241239370695256769472436483/9505209089582946062356018451014895338950348054609674524339145727236716031577432325717212842982659421388223253999500501604742887769407256358885725060202956430914805112728*y^5 - 203063464215040062644165515181446902506727594489359198441022747818634396399995115592966353011252310034462978058775011992159287882259346928119742660438433370007472395157626/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^4 + 1430818535835381420631237253126229773039774609115467640875249128457883864543018059810599233869841505849110853252307598543032454544408506480717884689740811728771304836577495/9505209089582946062356018451014895338950348054609674524339145727236716031577432325717212842982659421388223253999500501604742887769407256358885725060202956430914805112728*y^3 + 20818405651817171287677430579026143941220930026140888879127284528258874235278750122241483678752533989080795418137736180259791224288202925441282644702731620057180398599128/1188151136197868257794502306376861917368793506826209315542393215904589503947179040714651605372832427673527906749937562700592860971175907044860715632525369553864350639091*y^2 + 953091908368186478224405712830907592262800053751537063043626448259855469304693853330807913884646967765426847028693246796402451904619662906223334103777440178382437412225795/9505209089582946062356018451014895338950348054609674524339145727236716031577432325717212842982659421388223253999500501604742887769407256358885725060202956430914805112728*y - 9478529261814572369125827312149279916008262133363780914015217204611304380984835918537802126792288596815539765958159787567304599341744630951588092753608391161929554063519/2376302272395736515589004612753723834737587013652418631084786431809179007894358081429303210745664855347055813499875125401185721942351814089721431265050739107728701278182

1028662863952928278712216263948079718533444328940782624495366464208253124829389452155916921213256714088069129709860945124608345766737283042126040502113277760256/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^24 + 12386155744546157501995283667454919210224462769131154696608748638511230597514432851675004477925365470509760914204470073642198997027995025945691928958370238110464/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^23 + 69685846186247058195341316001009013484764335621841159422398198735497536171946696021717899192025472585279036558841439927116383137444636744041464890015334162364608/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^22 + 251411817858197473284795560885039125065892812139240681533751144154289812726236642763878745078670298645912799049761694215689041961871162447152336704126751059409056/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^21 + 187069041924134592522336731830414568423453939994429456060408026880160481215036198301495002989980080735534281546305934854794558400779301656361453077213087377294224/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^20 + 767713053102298018164661605946069354237207945364225182508675328169010180795564368240877465666232441929007497537359821871595584240496250888671542881288837054592168/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^19 + 2106437321797458073707286944366088450165954836556390845499132199157967020317092620237013769107576747205047336559703040698010584014587164065167540745882342519005388/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^18 - 12841184712532960544586114373764973992447316927031945922228992702610534202264595314117620695256251210940012925472837103214185812314508193669233220007406090094291340/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^17 - 30089405202636235719413205731536788378210160677142332800647454474477875795663479538554223280740826181118800407185048754554941802421742621700431902478191393692137662/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^16 + 65933959863480659622423569452268177888287044386211251803318183038145574627909062659401507944205219894479204643989891193481089456977326328919838004312218967469513517/5456830325636116396628504207502471645171082968754477616487787834858140476893763979464405854658417066837796633774941558721633079300787452011310531915987303708217734*y^15 - 313446224056483853546140929492079678129890582856708542842758622527473288727266157050758966019301557101907406380494739684205693734636613563837327226483819909842518147/5456830325636116396628504207502471645171082968754477616487787834858140476893763979464405854658417066837796633774941558721633079300787452011310531915987303708217734*y^14 - 749460398672263822195855968490753098482846811975285830814619414535371703240631401592989700035534546601626034989438015489722969840929267287146629384069745235476016924/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^13 + 233746877701018114978103976120168590607299023055427538235730300024222701129887895008186784067961302904730670195059178163272366425886835264355816335484033617855254044/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^12 + 2032182526559987849710140861743552633443831525118932522743204099544422492174040062894469999299034176829586507131204598477433958079756871892503701581040513588381941298/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^11 + 845995669585580723506303183191467025614510893745262248877421763090235445029201863026805764369283958543322802639229705644866164039560082314439120627861552931044252441/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^10 + 3745862953635515558590048915689581877362590203185227525491930810855778609672071690445197718446058950070254664087309329317051776817373245239439486482396442959549700529/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^9 + 7907123605958968347425254042586571999485830299097234568716341181934377541935573827925517020646662996998940553652894350632290055263152537842181076375329378152671426776/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^8 - 7770648569589690588933227703301278704441145832632107184072860682009366693179009425553442035029338215443011289201725227211755534777853527481501689863049481599640413473/5456830325636116396628504207502471645171082968754477616487787834858140476893763979464405854658417066837796633774941558721633079300787452011310531915987303708217734*y^7 - 18350325669117694651205778005738867051417575126001217771162827474382212957707420668885945958990675001093813052946140941837563981632756747270792679311389753392449236871/5456830325636116396628504207502471645171082968754477616487787834858140476893763979464405854658417066837796633774941558721633079300787452011310531915987303708217734*y^6 - 9359724805632961919973511205957758435280069024628421129516789805129424496952132314453039688874549499575594776056025143502218932642405983104984010425661599625620860017/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^5 - 5250565033128138557320795854456252697158580167441291089252753791108075987754109968953993234068650758961520789431653839701822712402511206558444565477538318500210515533/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^4 + 10532142533761858686884978193481410247600689313612600040268311699005430631195210743693540079323154628064434252459839577803407951327944759490554052431410924297379475573/5456830325636116396628504207502471645171082968754477616487787834858140476893763979464405854658417066837796633774941558721633079300787452011310531915987303708217734*y^3 + 635196074413142472167697815801291774857054520078866848004268370030113612756284976520884031699334916525775253654310404331907895916144113680961085996655098671759958045/5456830325636116396628504207502471645171082968754477616487787834858140476893763979464405854658417066837796633774941558721633079300787452011310531915987303708217734*y^2 + 3270834089119430920241313719043620468637252609945424722702587216409294207682167034881201261410771654997452412800308179943685030041022242600717074097239267051511393176/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y - 332245722629179572975374917075403301995562081665209777961438485262006895155851700059233142808515861373609283037592826742465332517675810965258743386891376776218664421/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867

49126557498958992600703971946224105048281702429711392432968824639086974527946020639979381626507426070964788171306448097146968955767229117556991313683604525056/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^24 + 591987620779016527593448286025251544656000827162019722993154672016096924868309615187914167991953874723149717536883735818522628390278819196266643375531969136896/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^23 + 3333203478068615149646299718232305692876232717662302308371555855184346713094651875910297063987293383739358934025738659925249664591749383100377187049016772634880/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^22 + 12034218291051109347944914157210391385035413388624846519912670547413505760888012262325014401327776068493213547730971431156181502791955886323162181018922408169536/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^21 + 9026919325372630090263082554391375844047986703182138290526317966265088316669852007672143528522461718769145420792224563373444684753795289249526421180256840848864/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^20 + 36685475041031532675234564264729426126672446401002221070936054600755516280380865304698246550896079636319738345525225000849651389380444538557626805913210702943920/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^19 + 100919646161839763510822621974804832636948770619881555543912018702657966780690128120523824979586885959848521347829313734653839192086658025664444024575739900009592/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^18 - 612538634566675642591575435217172600837566936078093388097288726174841071378473658514507752665553816139735880106173860236153786368154825909552302712496845682578620/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^17 - 1443130377235423194633448030634828749544834283390840596149759933706982896480440850024779488900547414386034301081366706566207060299710763191643772255124360789016980/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^16 + 1564947902178884402224236328948131724583211315346088469035137695142285819262140682813489359922507831898544582801845744203159921080172041305920158774546709004532094/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^15 - 14927563483670488607988056224816936573142698702772606613465566067551778938126288191623432992579503197870746522217490267097081263496246094384866422591781063469446137/5456830325636116396628504207502471645171082968754477616487787834858140476893763979464405854658417066837796633774941558721633079300787452011310531915987303708217734*y^14 - 71749153830786079806262798633617749611515637227316121518266685689637155775729883249102486549059114760289788113218560023790237194578544839801150212981769880298763965/5456830325636116396628504207502471645171082968754477616487787834858140476893763979464405854658417066837796633774941558721633079300787452011310531915987303708217734*y^13 + 10880645293404152491944637868695490531433845652906048106500221064532250547335376413293915112102053538640059373646669844788529086079001513498217452431382863280997644/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^12 + 97339765921801729118601092348990510225286289606515357131749962818794082729091137188501534029485269797331403848555025826346396461101070431249710391119402535423544782/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^11 + 41153401964446939110450377517312564448236911707961308966848157817797918228073778226205891609988140868528300048789452633960972841244680912771941808028654351321159250/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^10 + 178733378941259927496311046253809535737847581805209190356360989000375642600606423617806731896828320320030061899940160249277813707700632301680998244893096430013057981/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^9 + 379265443379845028409543128112395788155936094229122208678667554265659510814624403720423114777959675124909548266932879223957310779494397125024612218139969391338007202/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^8 - 182687106032737958887868502845544086836505319358163761702595107853133200170681323251116820094141054921128209501335340390792593561619797217034769865146304632199630067/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^7 - 882583105210556107835362446339710556971123819474554721964863603751909966239490752549666135558643837022451715021108991722715703497012800044108253682559307713270779263/5456830325636116396628504207502471645171082968754477616487787834858140476893763979464405854658417066837796633774941558721633079300787452011310531915987303708217734*y^6 - 899411098753435897497554268089011266061367172007639832265588152674863404303651510539373210712434344229727705882563704465603241707336797010498871804862229352453326325/5456830325636116396628504207502471645171082968754477616487787834858140476893763979464405854658417066837796633774941558721633079300787452011310531915987303708217734*y^5 - 252595854507750133682425097631770280309624654972092770690584996083438668457952656969367630224834351132540542424206941684790287346055929313161480893830857134806328894/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^4 + 250352297276132938226063568548587394623048193525867197849580844208304336987306929056898219370382073303574216783640100163619118707591341611327911743701009450326798937/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^3 + 23160616694074663596100702651445567478716455453226626229634723620321400955444925658528730378348184108848733155195962875533909635414969787390011888207906642569926367/5456830325636116396628504207502471645171082968754477616487787834858140476893763979464405854658417066837796633774941558721633079300787452011310531915987303708217734*y^2 + 309641221395402754036293251208843826791039334640609820809191096649260306654001570079172348494850344202480920695650829228382643986801638082999570447089302175802075919/5456830325636116396628504207502471645171082968754477616487787834858140476893763979464405854658417066837796633774941558721633079300787452011310531915987303708217734*y - 14893913983396112735785028156321577169895572553537865537142076464589880147723133443931445820019886524022775929432859018371608192474979027538138304844942994057893894/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867


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

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

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

# f Combinatorial flattening
{-4, 0, 7, 5, -4, -4, 8, 5}

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

# 1 Loop Invariant
-2491419127685060462575324003280535392184179634050605283660986855385882556136309419763798470530800723747356393146642975820938272001692903283542721786699607977216/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^24 - 30000101895725993649308324809028425806355708321909687210533250976639028244689214389545316726955279458876627324906400989072682587216875221835506215232886867549184/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^23 - 168762785518055206431681300738402205651717707544421068677634060531377072817143451373208950368103622493866370798008238903042231362823375619915365218838787799160128/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^22 - 608674649331343072575704796203216189069625581665400970526758067483928320172915165319219963365344377361399622991105687856361096968569428579180646439941306247973664/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^21 - 451620758569274924624195111264019402692788448917943133106865086771658896837006705955753623547819933979411675248656566239818601667372673143231980222113396264866896/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^20 - 1853334215097933703001959862293655867368237996767767475330651766509926402587363911648765406829412576713594069989764466420003705460423597577305498191115099774074248/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^19 - 5096959926553273482329592278353723940916542908034239191768691608283516699350985406310779369941263798874070530441723161011766406076156533124713054115685764079945068/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^18 + 31133296105801535601786379761418756906191823514970806213099236666015305173624460054595099266585248285046196951070745612834065933100915275498991387990790489256759328/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^17 + 72938023757863829048317952349384561037044248477353841964919491453816615012028820693357996353191458346798624788046809623522358992263940350574660699956917693150744554/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^16 - 160228079993504959403225994484947810863556954430056515921111321470766747689264679122007501779006246698541496115066814583827910303331008769465200277647503239219493367/5456830325636116396628504207502471645171082968754477616487787834858140476893763979464405854658417066837796633774941558721633079300787452011310531915987303708217734*y^15 + 379132440751528038834743481613543528601443051514593200806994532123504650908302764523183375211496396417239168579061494616367719949371050079806546413659370952717422320/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^14 + 1815702012282717543979655288582165992451914536061393259091280437362714300647186539526854735539861786747007277562422851213652451593447827930081488939310209268862094253/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^13 - 571595205226284382108805040763245492151156354294751358701054559519929284346137915649211541411196206815060891332895048705588175867484282970569042008961991325494882905/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^12 - 4936241843269595146103427173304412935107441171845794466657434378155024195132518820919146514549866387335042623635549423463587634724738808959578914252403652636725980948/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^11 - 2047769693507166243671618408566069275194937824566183805505104530545771107153689167831418692281064039361117485024305652496854548245602718250720137857619427739924734141/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^10 - 9071241581359765362103059367503931965432729532748175503990492041012859208019623371879200290910385917012583065712597433463062867771109211978585802024853164796494302882/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^9 - 19133807090520380561382410701805489691271438229428240695084785203827095445195518473414283425435913920013523806244181265744699299442830227148801397973578298124961570609/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^8 + 19132512597683179162107813805519750069074613751246198984092754212743361023180025992405550775890293289903293170766125378580259430646292242095238603349469566919577354389/5456830325636116396628504207502471645171082968754477616487787834858140476893763979464405854658417066837796633774941558721633079300787452011310531915987303708217734*y^7 + 22368144513344216036032664621372990273122737700763673311417143958935830333948806941318911191261183731758594689111328216586990143606385594009241342423327425033800533984/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^6 + 22799175929661738647764116573830223408495456075476003845226946647415960863858395131072303387789145859401561876225798107971479619431740562663781443582237212151613518416/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^5 + 13023733175617774091577170609997611956105255612934335588149087531269939303857761293451712548287153322330151468808229181453322675021409288654215798380065578352458419179/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^4 - 26045860576743244044209176324835230871131010173115750588281209314419860091455034796100669929280985289242417316781545899935701326936409591642518352855543098549163547891/5456830325636116396628504207502471645171082968754477616487787834858140476893763979464405854658417066837796633774941558721633079300787452011310531915987303708217734*y^3 - 632120704792106961638027578267403270751326562114854332567017141548124789442616203209568252706273671547477403498910799959571719744302517002207198488694331622843881084/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y^2 - 8080118201581360455305862273487797010621509356267772988141746615378271913436456594817184394132262467847105177868413720077528275632451126523699225865340769446198242579/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867*y + 830019179643318608891487386981141059390293370450435470707553668376033971392998532702818995716836025668750908501341019261373619718187326132730963157508756526891097217/2728415162818058198314252103751235822585541484377238808243893917429070238446881989732202927329208533418898316887470779360816539650393726005655265957993651854108867

# 2 Loop Invariant
-656764406021835437240504036474475123535229601828382859980428993447336026422046689108721695390550592543433891470687817978888167950435631840625907733400701431943255901286308074769352941683156565099718833692921632551845907351214632/388657130605420789066989453767825583792072968847247669877013950706291134599347968776390003310375074567476831065390212473089215621308423961754578499820310825335078339156750380208885248511193596751038681540073937244841213216045078541361*y^24 - 2651086354631492029979000897490097347764785690444359767505589371233799508367612475910877100961222732598512510059162146775032132099620050051790087655115792673211974877937977044931525501464109979640474577143185299080045403519629088/129552376868473596355663151255941861264024322949082556625671316902097044866449322925463334436791691522492277021796737491029738540436141320584859499940103608445026113052250126736295082837064532250346227180024645748280404405348359513787*y^23 - 15008537523003857623143711977735587748336874161371469169304977045550322336058923040076083161979579984702148900276212701408626349179436444101849480809683131128746460474947066746799766848276701246091630143993547089236563468318284118/129552376868473596355663151255941861264024322949082556625671316902097044866449322925463334436791691522492277021796737491029738540436141320584859499940103608445026113052250126736295082837064532250346227180024645748280404405348359513787*y^22 - 163442337181356203177463181439263572754039911094319000027766658497386269842017894311614122438460705675712228733142902575374170092008739284222341970201219246549045959210234851608870163036952079639175279275979450576639972544384014049/388657130605420789066989453767825583792072968847247669877013950706291134599347968776390003310375074567476831065390212473089215621308423961754578499820310825335078339156750380208885248511193596751038681540073937244841213216045078541361*y^21 - 259249629757656276479024271812014747268566491434743105024783363688025243451293356504564313450998900490834961326116670263939687968244903344416636241312160682267463263722378961776148762019088916482345155788852064321820992645705675345/777314261210841578133978907535651167584145937694495339754027901412582269198695937552780006620750149134953662130780424946178431242616847923509156999640621650670156678313500760417770497022387193502077363080147874489682426432090157082722*y^20 - 1979778969052365888344464243643078728663415452213309719748470567272699565973473399648106965103370402195731028751055416495134160079457708548615739153715468378666411920232042437787603147668832115425024027780124242638236005542292817501/1554628522421683156267957815071302335168291875388990679508055802825164538397391875105560013241500298269907324261560849892356862485233695847018313999281243301340313356627001520835540994044774387004154726160295748979364852864180314165444*y^19 - 3661546726162719648232817357173050424172809479341745362481641272604664907732825176124076142355747808729480011582486220356000808008280973775613585808881385512254012563138004251822264387369855988265578453256727970086491075603381770861/1036419014947788770845305210047534890112194583592660453005370535216776358931594583403706675494333532179938216174373899928237908323489130564678875999520828867560208904418001013890360662696516258002769817440197165986243235242786876110296*y^18 + 32467030002170552112210053428576792992788239739840195707909389338061959423016376024686314994315522775970612638001874951004855271371881200745701050985014241531006711863643351314822691022814391327673651337305167906721767619310573930807/1554628522421683156267957815071302335168291875388990679508055802825164538397391875105560013241500298269907324261560849892356862485233695847018313999281243301340313356627001520835540994044774387004154726160295748979364852864180314165444*y^17 + 316891156020090474536630260169518744711939419340483303948581240771370617188747377800832786854954484155223267174936493986868589620797447186980339686608489604583916594614257998144285296958333432159696258599565704530805051243579406888751/6218514089686732625071831260285209340673167501555962718032223211300658153589567500422240052966001193079629297046243399569427449940934783388073255997124973205361253426508006083342163976179097548016618904641182995917459411456721256661776*y^16 - 1268404130058212486408108060931870553387274282385881302395376219308836248085581680452472476547277781095815467829422732322836145803536887885625462597758285759665559222896096813456343466413768867700237688126799370787067341340716212049743/24874056358746930500287325041140837362692670006223850872128892845202632614358270001688960211864004772318517188184973598277709799763739133552293023988499892821445013706032024333368655904716390192066475618564731983669837645826885026647104*y^15 + 1570425669465736973132144976208362722704982313456002756912734467548083373872882300456946812937334010445673518079130308304873177627662200036932738936035240437648108826839258998495888661780641820083855100716236551284553099462586967244389/6218514089686732625071831260285209340673167501555962718032223211300658153589567500422240052966001193079629297046243399569427449940934783388073255997124973205361253426508006083342163976179097548016618904641182995917459411456721256661776*y^14 + 10351755620160252086529980336686342802570805670518067175731272483451696670098459705967706084161623994061347216609265885782186855519164119258091947877540670497883543545735928223153484121215524483104247418362966496351575540583778892846257/8291352119582310166762441680380279120897556668741283624042964281734210871452756667229653403954668257439505729394991199425903266587913044517431007996166630940481671235344008111122885301572130064022158539521577327889945881942295008882368*y^13 - 117445409087743699405181468294435425994203258031719404704596575521655703826410020633613513573306902052164535752014581319430768889765908561539762417357270073406612283385409001468992891606856272617665342488580137880842851667282535986735/388657130605420789066989453767825583792072968847247669877013950706291134599347968776390003310375074567476831065390212473089215621308423961754578499820310825335078339156750380208885248511193596751038681540073937244841213216045078541361*y^12 - 877988775782170667517948667986341577229786131966412451550961935911386896951432610687501279827748846385530282754112073338372594928032849896107451995896070012491354185431349681681159344866997418152803060420167350425913901015172654911753/259104753736947192711326302511883722528048645898165113251342633804194089732898645850926668873583383044984554043593474982059477080872282641169718999880207216890052226104500253472590165674129064500692454360049291496560808810696719027574*y^11 - 20422459393597074517222645455282515768303177633291008538381552048178929201680480250474918553854088506176142917571938975972398046049379289294201170160603750693139095321403172239026838146201786876170965359604724294083271139572408183703255/12437028179373465250143662520570418681346335003111925436064446422601316307179135000844480105932002386159258594092486799138854899881869566776146511994249946410722506853016012166684327952358195096033237809282365991834918822913442513323552*y^10 - 38525839746545093370126575157879862323742307247306875901486863585613516432998850946457605447020655556485996872959470921481583899541134465736796294133924754624847796454963243458653144370214863843645454291885315064231232266345389076805281/6218514089686732625071831260285209340673167501555962718032223211300658153589567500422240052966001193079629297046243399569427449940934783388073255997124973205361253426508006083342163976179097548016618904641182995917459411456721256661776*y^9 - 13797700758155439606598973816471503354590179467104304470595114054666105638600465132594386540458533801665562022215087700971297826312365842887760108687158067332158083305234011880134280782362826859620542745638953421074326554242440126221643/1036419014947788770845305210047534890112194583592660453005370535216776358931594583403706675494333532179938216174373899928237908323489130564678875999520828867560208904418001013890360662696516258002769817440197165986243235242786876110296*y^8 + 46628916358739638362744374316899278913226566313568250854396527273621223777339581451752154441848596222199774798426221411330232438315622448592052338261437526062327653461743454663163459730509652440083618240357533779246175560395914134122299/8291352119582310166762441680380279120897556668741283624042964281734210871452756667229653403954668257439505729394991199425903266587913044517431007996166630940481671235344008111122885301572130064022158539521577327889945881942295008882368*y^7 + 196824343283784125607144681825810128859653966470337256345908606905611363044258235509293877523957997793184119712940451518425803935485987593256431421102320049457397399020387024902733068922899365261341706791853067532731524988027255394130555/12437028179373465250143662520570418681346335003111925436064446422601316307179135000844480105932002386159258594092486799138854899881869566776146511994249946410722506853016012166684327952358195096033237809282365991834918822913442513323552*y^6 + 413734153609719536237060333768045527920653237828719754662157387724398783466258474809521787139920628313648680306081217039815359645614177958955847021349437854109441947213279837946925830954382175673438513836777090732694312242747749386890637/24874056358746930500287325041140837362692670006223850872128892845202632614358270001688960211864004772318517188184973598277709799763739133552293023988499892821445013706032024333368655904716390192066475618564731983669837645826885026647104*y^5 + 29275190894636361085821208675826767294373338511185095662502671109614005336579706944569272565751251948800900649299288009518138751893666173717285683039643935767196447407666853131334067037590719801680071846406213408056797845173200441684825/3109257044843366312535915630142604670336583750777981359016111605650329076794783750211120026483000596539814648523121699784713724970467391694036627998562486602680626713254003041671081988089548774008309452320591497958729705728360628330888*y^4 - 71769982403811775538335720358786693410053572416232246674096512047267087756545834250361760696539213743243219864741938702124374005614397768553369579794298726937049662040627684524489799931268938763146399483391632828057365043658770681057919/8291352119582310166762441680380279120897556668741283624042964281734210871452756667229653403954668257439505729394991199425903266587913044517431007996166630940481671235344008111122885301572130064022158539521577327889945881942295008882368*y^3 - 5008364969072828473747118806279477386609438569395112753686775850686691851963201689367132559251980378710047951285072105683129510096882070468594406448996165591636307228500125878464259606478492379849258340490786862873466868264331487430713/3109257044843366312535915630142604670336583750777981359016111605650329076794783750211120026483000596539814648523121699784713724970467391694036627998562486602680626713254003041671081988089548774008309452320591497958729705728360628330888*y^2 - 44882209496870366617929528802739738102645319433977417030783684977934024963702019589542708756616224554313979947089481296883429822645807488274557401025693445394018014449208568863052370691481040062732450438124404956365890929397817445477307/8291352119582310166762441680380279120897556668741283624042964281734210871452756667229653403954668257439505729394991199425903266587913044517431007996166630940481671235344008111122885301572130064022158539521577327889945881942295008882368*y + 35706701112087593663895218819971094624344136405581572520692844096777427614099657480583777310734578594783464001334755191068296504010213694459091781945383868334734187497995151736966367701503780647966613014533504413477758976199684275206585/6218514089686732625071831260285209340673167501555962718032223211300658153589567500422240052966001193079629297046243399569427449940934783388073255997124973205361253426508006083342163976179097548016618904641182995917459411456721256661776

# 3 Loop Invariant
4755286766830952365635961859654725621862728453371678074617784423830142372796662995101047379561944113427518460138459347015631881164862861227812151910657261274511314488125898803422187869996120705075422600661712509094405386200015122821870966051826929382661243400924/28230128223199231173551413860181221045482305571933684753175325127798500909610903980588316930776421825396516903102436937732005109020022444338227326335717047866595324196294162535044876835728826049861619722535058761034886401547689710416343053169933248479291257011784717697*y^24 + 56852892985665735093904311483672472282288606633606466290937222405146349282358263543890693782434303416954622626284163491258042192212229978159799867905017148215365689848016355248509403256690838513532818884767176864522779080998594560001358828321084916209042968996832/28230128223199231173551413860181221045482305571933684753175325127798500909610903980588316930776421825396516903102436937732005109020022444338227326335717047866595324196294162535044876835728826049861619722535058761034886401547689710416343053169933248479291257011784717697*y^23 + 317444739835906515721602929726145212886916000877514545937866637545565639777989514586746157015496161219849106271307395316996535018554754684132238028078768025870580279844765369457142973187109429526257983173861242089554743619636597261985869430269326259804605817297179/28230128223199231173551413860181221045482305571933684753175325127798500909610903980588316930776421825396516903102436937732005109020022444338227326335717047866595324196294162535044876835728826049861619722535058761034886401547689710416343053169933248479291257011784717697*y^22 + 2273447896793626312193764071997325013016820527143144038205239705158236651032617312004432371381208530138369714358820721437192507069094330917827933247511912660286573225151015461086393190455852385259365233682309534762017986239655443397959201026274089421926058277129939/56460256446398462347102827720362442090964611143867369506350650255597001819221807961176633861552843650793033806204873875464010218040044888676454652671434095733190648392588325070089753671457652099723239445070117522069772803095379420832686106339866496958582514023569435394*y^21 + 3098653635924332568019109203880840198879276233318291049204618533201207195089099646931567884302254924581574689747089426800921424459573310449330825842603572331004360516949378488577613677352387284645976422118841357127632382202501429739890292652848706446301380144587571/112920512892796924694205655440724884181929222287734739012701300511194003638443615922353267723105687301586067612409747750928020436080089777352909305342868191466381296785176650140179507342915304199446478890140235044139545606190758841665372212679732993917165028047138870788*y^20 + 27979732281678875337118808892120336279723575925644529708220593143131914578062748650731986916009284964792140731090940139209548854806120012524484302618180150730719525140232343441010890452936289367492740837245509532835298770666174404716271688724468264690006917426266743/225841025785593849388411310881449768363858444575469478025402601022388007276887231844706535446211374603172135224819495501856040872160179554705818610685736382932762593570353300280359014685830608398892957780280470088279091212381517683330744425359465987834330056094277741576*y^19 + 149956527337547808657385925133448624584871815553992703567911456258371096633804469776429876752926649504839231586654967147064368457714525774629174489581224518521115085224475906870732134309902205470544361898385216636937917404768882361456766875800675896624114451028339973/451682051571187698776822621762899536727716889150938956050805202044776014553774463689413070892422749206344270449638991003712081744320359109411637221371472765865525187140706600560718029371661216797785915560560940176558182424763035366661488850718931975668660112188555483152*y^18 - 481780554783769259065475720614904610790651437331245648294956159707619538015592785174899993187805532119449299760663592738496980711294478794392238114896181829140359737278985354152156326214947353660657368918996695197777560230206167199279218775457729343749869163261388811/225841025785593849388411310881449768363858444575469478025402601022388007276887231844706535446211374603172135224819495501856040872160179554705818610685736382932762593570353300280359014685830608398892957780280470088279091212381517683330744425359465987834330056094277741576*y^17 - 4287414132817213102006520238718173269353991441024745101539087198107743080854386607637271857126610610339460843181950478521882967354714201883498059999149590798964653813919626734129547758981865301372742512672494487121452947204404719466672391835211553741293893525186738525/903364103142375397553645243525799073455433778301877912101610404089552029107548927378826141784845498412688540899277982007424163488640718218823274442742945531731050374281413201121436058743322433595571831121121880353116364849526070733322977701437863951337320224377110966304*y^16 + 20614473850238202714330106637366685841747368602599902791637256102418463127295414061693655168600041857081960153272197870528195720734398061496866019768057967110463774713089176394518592269628349482043694877777826159462948937267343170945390792037784603687951604251748754357/3613456412569501590214580974103196293821735113207511648406441616358208116430195709515304567139381993650754163597111928029696653954562872875293097770971782126924201497125652804485744234973289734382287324484487521412465459398104282933291910805751455805349280897508443865216*y^15 - 2963137694316708654270093027996667204346412989253994384100819140338517715079892476430580096659483343569666519278592728134565099071008160625083072950039249712923462196908165459252107876841806591459332985506357061103229968913593545742896773383819137581145077835918285659/112920512892796924694205655440724884181929222287734739012701300511194003638443615922353267723105687301586067612409747750928020436080089777352909305342868191466381296785176650140179507342915304199446478890140235044139545606190758841665372212679732993917165028047138870788*y^14 - 433165632504387081439910973519219226454464736982302592267270605733137742893328536441548992216781134458534356986974928606558039851906505904520209719865713145464906671608327770947212716026816491950407554120447819917640170050592383535879900380730710916398747762444161427653/3613456412569501590214580974103196293821735113207511648406441616358208116430195709515304567139381993650754163597111928029696653954562872875293097770971782126924201497125652804485744234973289734382287324484487521412465459398104282933291910805751455805349280897508443865216*y^13 + 2709939402224323700634362662947875935867653328462283957531301756607823980158862938357662304851781049255518784773456000646876292495539753282264823932878092113763709633447065010627518429457801331443289127288052176005208110277882570223288448797603509998993095813611324391/56460256446398462347102827720362442090964611143867369506350650255597001819221807961176633861552843650793033806204873875464010218040044888676454652671434095733190648392588325070089753671457652099723239445070117522069772803095379420832686106339866496958582514023569435394*y^12 + 588652846596192205081632315789290139287157513768244352465574880875145055297557828899687378707564144601411286898712161346032887419648973879236218736849436222102972557633414682973356042132358193311522679433374672786282840299339141944809536440841325180528614887875879492201/1806728206284750795107290487051598146910867556603755824203220808179104058215097854757652283569690996825377081798555964014848326977281436437646548885485891063462100748562826402242872117486644867191143662242243760706232729699052141466645955402875727902674640448754221932608*y^11 + 217693057006019777790015886487953964084288652978710748861875782521200528864172727890898047766970815750253651014172523804179633644609588002324760303722464572507253340758848663505558632827893723961077183965694032289216416698926748523875593094174683367960152417667938913237/1806728206284750795107290487051598146910867556603755824203220808179104058215097854757652283569690996825377081798555964014848326977281436437646548885485891063462100748562826402242872117486644867191143662242243760706232729699052141466645955402875727902674640448754221932608*y^10 + 1129867932574165678825130157530902729692334483520446899889949180341482686618193763286276750610685582700283081793911688531882331973688235457780302576266793510435014281028815659063361655891881395961000759643476518917358531754686133890733414716367202383854619280949727577327/1806728206284750795107290487051598146910867556603755824203220808179104058215097854757652283569690996825377081798555964014848326977281436437646548885485891063462100748562826402242872117486644867191143662242243760706232729699052141466645955402875727902674640448754221932608*y^9 + 1112148638681182072528529538075368131861902903723590192316957666121369697069956180779662494315513456215017210838408726504753168183977564651837708468398120954982106048081693673528688874894407851442792720822815233335504333022499741968712139715609826716442424770412149612789/903364103142375397553645243525799073455433778301877912101610404089552029107548927378826141784845498412688540899277982007424163488640718218823274442742945531731050374281413201121436058743322433595571831121121880353116364849526070733322977701437863951337320224377110966304*y^8 - 2759056614140495408859383630217751072128676066161968625370345191066629882121134268235050883083205531971407629492509919564355667382772327680788140017822578816947457618788982427528779839484763513142316394998232830391442060160936418140354310563246072156965674653406993949845/3613456412569501590214580974103196293821735113207511648406441616358208116430195709515304567139381993650754163597111928029696653954562872875293097770971782126924201497125652804485744234973289734382287324484487521412465459398104282933291910805751455805349280897508443865216*y^7 - 2628514512017290488171633995777430135246087725122965872027092493381522986393294817342331931331856255499583415014998880886208313678375372382064277602344477789834735757616423163901436663226929616225841843313088890962381166510706937669903948299525364673812765661535935535555/1806728206284750795107290487051598146910867556603755824203220808179104058215097854757652283569690996825377081798555964014848326977281436437646548885485891063462100748562826402242872117486644867191143662242243760706232729699052141466645955402875727902674640448754221932608*y^6 - 5639615606506644782304767637015570680640420383943500068928388250969996777684365748068107159048948781464134185332305486831200767608735276111255250080733600263740058390520207154368457252534450201749697762232655407672416021070156491414589008989439634780827902465235538066081/3613456412569501590214580974103196293821735113207511648406441616358208116430195709515304567139381993650754163597111928029696653954562872875293097770971782126924201497125652804485744234973289734382287324484487521412465459398104282933291910805751455805349280897508443865216*y^5 - 818944515368657237729682363556673388665425036580837790935158349759306532044724168383806376724667755871226220247578739687470574605634446435231022976963384920785065188736339484693529303725514330300661781761152341198012810087925585940838164054065723242850861663430678919719/903364103142375397553645243525799073455433778301877912101610404089552029107548927378826141784845498412688540899277982007424163488640718218823274442742945531731050374281413201121436058743322433595571831121121880353116364849526070733322977701437863951337320224377110966304*y^4 + 3489448808659391890652089133744988185126251984489816530176649988077088461828896663428778173086458551149463056549772186104208848054018271354837816261159748670093550111198123759861738659455753539451669437317174905070000458971251754179154437473523489865345976858124660581441/3613456412569501590214580974103196293821735113207511648406441616358208116430195709515304567139381993650754163597111928029696653954562872875293097770971782126924201497125652804485744234973289734382287324484487521412465459398104282933291910805751455805349280897508443865216*y^3 + 84811596314979753895530511418457600485078055837265879826616911483203794976609266841953262535027143497001635756956175976092430290474383358513017009579905743767800548468631895862749941906714071849357616946386072426536699309224972749406888095045073639017693113412778264833/451682051571187698776822621762899536727716889150938956050805202044776014553774463689413070892422749206344270449638991003712081744320359109411637221371472765865525187140706600560718029371661216797785915560560940176558182424763035366661488850718931975668660112188555483152*y^2 + 2773304343393575590541378188442035230516017177713654248198783256229206819664130527641557577596426277711207645351255879747813233938124167692389638844508164191644880776751260847889913200617862393919662375284166919784855665163662300858829347590640945749874289887770726363165/3613456412569501590214580974103196293821735113207511648406441616358208116430195709515304567139381993650754163597111928029696653954562872875293097770971782126924201497125652804485744234973289734382287324484487521412465459398104282933291910805751455805349280897508443865216*y - 10898277069130642987197484490621026162053590293442608191327447238975152895040202282993326186258098017338478890711093509094632672394809579533620176999106958107130771189162191976355362895633779131387700945297205922813898647112183305559124479864654903264980385252973959985/903364103142375397553645243525799073455433778301877912101610404089552029107548927378826141784845498412688540899277982007424163488640718218823274442742945531731050374281413201121436058743322433595571831121121880353116364849526070733322977701437863951337320224377110966304

# 4 Loop Invariant
402788825954837103038584746402190828299297078481384158307278591733868033884105975409435813679425075240716924462616293343905540429371400722389830968471610953256450150812494590371213201572551238588115890653964903163107793187412269211967779332259781419153081656151351824147376697084806111871088536749838332607884065794610907271737452849/586341248192230877000446025182190723147994280074846149275938381744209486952229342003427136665351102757496396782676312767748690106978603568599926258354633771402331446934275431635989519904676964766564542617925211103447115261779852982853172976026752100745602008920841550260647280759180307627884745196480518580929933004687887707473899294316440*y^24 + 408079789099043911064232480567196843610977460089698030760676875922493366875666402292275170913627421626455939019725640291330151734355553529690523633769240541826913360716137476268405989461549739767835603636515327795002840737744879269566761748038635658325738467676616202637837973620552492474836449219779512074726796288889127930936987887/48861770682685906416703835431849226928999523339570512439661531812017457246019111833618928055445925229791366398556359397312390842248216964049993854862886147616860953911189619302999126658723080397213711884827100925287259605148321081904431081335562675062133500743403462521720606729931692302323728766373376548410827750390657308956158274526370*y^23 + 111469127033083876468269700146453097601987094305903230751317769702004819855104281570000467826764366884264308305413508480176331697273939717362188170000975551930802483664424316991003492706068705505138384112824420159199550847028896362305277478120743302332256540758933815771788764140931565215713846311798840803819020752622573557037493707677/2345364992768923508001784100728762892591977120299384597103753526976837947808917368013708546661404411029985587130705251070994760427914414274399705033418535085609325787737101726543958079618707859066258170471700844413788461047119411931412691904107008402982408035683366201042589123036721230511538980785922074323719732018751550829895597177265760*y^22 + 54299952282320961810430940612399493021359431436361491999782484709578035847512131835007362790143916724710953499107254145552207408471723160682923169329396822762891468778153099407998591809158916044314941433500865577721718749652634251018410162773900758320968204147858227277444643497369695092967840636431008054556748538670351004877785251331/312715332369189801066904546763835052345596949373251279613833803596911726374522315735161139554853921470664744950760700142799301390388588569919960671122471344747910105031613563539194410615827714542167756062893445921838461472949254924188358920547601120397654404757782160139011883071562830734871864104789609909829297602500206777319412956968768*y^21 + 1372866342867622078256962155636156023234284243666550924512391196129139426366513130151927377230575398558339843777284762925041117617822238979453704021388390685301894371251655493109039159756791018150468576949593244645228592556313614019261291041871926045717514546209404223205858919141949766532560914142395442302064019177842819092046126671453/9381459971075694032007136402915051570367908481197538388415014107907351791235669472054834186645617644119942348522821004283979041711657657097598820133674140342437303150948406906175832318474831436265032681886803377655153844188477647725650767616428033611929632142733464804170356492146884922046155923143688297294878928075006203319582388709063040*y^20 + 3340277819802341964766967146359668738786789300666635080839976971025872610707036170982968882620321557171837421532870702331725165153110766366882517569991152822331692211009018869172202576400062403379179872231376603637529388536842343224479301448870911581403340029860205944832211276645282208567566518404668322149192200334170768330635407986291/6254306647383796021338090935276701046911938987465025592276676071938234527490446314703222791097078429413294899015214002855986027807771771398399213422449426894958202100632271270783888212316554290843355121257868918436769229458985098483767178410952022407953088095155643202780237661431256614697437282095792198196585952050004135546388259139375360*y^19 + 55283447349075821467578521993982278640322803797301690475832486789343002878734347349662427810023127908597981766230623790919658242181048857992401620799736792061952715981671640461956290578494828645786984198367956371833916987690215410101372466215308920406177521647763910720955890588690476636997491511678329005653027118181465238997212733803099/37525839884302776128028545611660206281471633924790153553660056431629407164942677888219336746582470576479769394091284017135916166846630628390395280534696561369749212603793627624703329273899325745060130727547213510620615376753910590902603070465712134447718528570933859216681425968587539688184623692574753189179515712300024813278329554836252160*y^18 - 52466699451325991983436524850691408262460000473049609893506040596845351369966528341723207272268179171204951059607151757281392769270560426367793626280734967584004479999666644549139054024858146970905191155650997364406984985687390754579250487175315973726903022750418917816131518261279509715879774157376493521271025008765439478514661802186781/6254306647383796021338090935276701046911938987465025592276676071938234527490446314703222791097078429413294899015214002855986027807771771398399213422449426894958202100632271270783888212316554290843355121257868918436769229458985098483767178410952022407953088095155643202780237661431256614697437282095792198196585952050004135546388259139375360*y^17 - 105230663200826181036342238155309657236006000487290326004968709235652335965553731917749491817834016345297361967456572507292383822994683089903604379115841747196757223484441765659791421344157343475859558218664920487152646101988118823522221364542007710227540473505794768744829637999060531063353471660386285976295136449824080438831013763629501/5003445317907036817070472748221360837529551189972020473821340857550587621992357051762578232877662743530635919212171202284788822246217417118719370737959541515966561680505817016627110569853243432674684097006295134749415383567188078787013742728761617926362470476124514562224190129145005291757949825676633758557268761640003308437110607311500288*y^16 + 5814368978863583105954507506741380106605928635178444487211164708634286631784847050625991020966334246260440962511847622599578753148308070108935972924126367153521264006183487158224539995603268333867602256047243609743989987459346700825867987224930869979109131415309763380558678637417173305378755169234201978238241579228382679632791540240725971/300206719074422209024228364893281650251773071398321228429280451453035257319541423105754693972659764611838155152730272137087329334773045027123162244277572490957993700830349020997626634191194605960481045820377708084964923014031284727220824563725697075581748228567470873733451407748700317505476989540598025513436125698400198506226636438690017280*y^15 - 7723246400775809501661288181804135577078229505836512103847677822132921892871808809866600375708496647302719823087095143114279010508101883221347503607436241423667659689223200774574321112015277305440953771051715036452509626206232917164216595839752201140288610435447305295469726012997857821721406405116050100010350566736038480932712317740682143/75051679768605552256057091223320412562943267849580307107320112863258814329885355776438673493164941152959538788182568034271832333693261256780790561069393122739498425207587255249406658547798651490120261455094427021241230753507821181805206140931424268895437057141867718433362851937175079376369247385149506378359031424600049626556659109672504320*y^14 - 153730324323457840619526923972235587558502836957366642127175534375397192276445714403122464852977734797243248579835658331800898172293306750054228471366127310231951539693504376905884715522817408483053856932207527191258606632380251763624758320973446784814953881722688805642344941864819757190886270796183628439187580435802905788625964552520374751/300206719074422209024228364893281650251773071398321228429280451453035257319541423105754693972659764611838155152730272137087329334773045027123162244277572490957993700830349020997626634191194605960481045820377708084964923014031284727220824563725697075581748228567470873733451407748700317505476989540598025513436125698400198506226636438690017280*y^13 + 468685806646267838237535974871210241733712030293075016638209724001828182871214184758059526307453858734963710695610529402895395719512345712197899358033767070981534869388467390545711122123282436116692258265574896522255538166050201294933699206343684370731996835740075091601974647798554030489095982431142381842653727798955099519585152655308639/5003445317907036817070472748221360837529551189972020473821340857550587621992357051762578232877662743530635919212171202284788822246217417118719370737959541515966561680505817016627110569853243432674684097006295134749415383567188078787013742728761617926362470476124514562224190129145005291757949825676633758557268761640003308437110607311500288*y^12 + 50856632027580973821863156921979436550857335449326759712148484233617065939229264690791317770789454592316856559807369561082799809157830971414681965404080448113943415497741995433073907172976315394863517376760812368354511545986913858391604051865570752432206554696110359569024811611315876992695144878698913496772402740081801205420415548219595517/37525839884302776128028545611660206281471633924790153553660056431629407164942677888219336746582470576479769394091284017135916166846630628390395280534696561369749212603793627624703329273899325745060130727547213510620615376753910590902603070465712134447718528570933859216681425968587539688184623692574753189179515712300024813278329554836252160*y^11 + 108727638739950020344633391812166877297787953033477333893744568278696268110041117510156977139553279512728319962085108351757767255553408383003959802756788628239254515419272039031763375347532949913675412582959237043238724294033710361272614243197416063425666390695851488535256342984326388293519654720963491094578807051776512480868228092369583643/150103359537211104512114182446640825125886535699160614214640225726517628659770711552877346986329882305919077576365136068543664667386522513561581122138786245478996850415174510498813317095597302980240522910188854042482461507015642363610412281862848537790874114283735436866725703874350158752738494770299012756718062849200099253113318219345008640*y^10 + 196172277364927205260881513735223195064448303297461564446002195725306614646826551824088155740713211992608638917117987344718189106084275421014909731169619680842718346520365254683573376849593246626276958550217527255084376428810441469567399363812488133361211889186047276565274524242445763801735446614016478804719187801657437588157116819035125571/75051679768605552256057091223320412562943267849580307107320112863258814329885355776438673493164941152959538788182568034271832333693261256780790561069393122739498425207587255249406658547798651490120261455094427021241230753507821181805206140931424268895437057141867718433362851937175079376369247385149506378359031424600049626556659109672504320*y^9 + 23335577685923289830643614677763223790741899006771207670840326762944607171931088067631149710134402033490055383834272380847198590763520080261391608248958093819174271947861477864532929069242546142745102121922119845630359918238002410085213836378750514288912826071619854937904976742772778697351831231071726912424714303627742615024836091995123567/4169537764922530680892060623517800697941292658310017061517784047958823018326964209802148527398052286275529932676809335237324018538514514265599475614966284596638801400421514180522592141544369527228903414171912612291179486305990065655844785607301348271968725396770428801853491774287504409798291521397194798797723968033336090364258839426250240*y^8 - 560607101114693777532549719344009900822245006726097885295525475512954305600454269452242567327287970426967782201946782152466582507298370738504844309396067780212144899000727075590860147978674342728182840990454351162008124144831027395032145877449185304279164455973226149499186407122977517591984213908658528008081398903993736876648804880175640973/300206719074422209024228364893281650251773071398321228429280451453035257319541423105754693972659764611838155152730272137087329334773045027123162244277572490957993700830349020997626634191194605960481045820377708084964923014031284727220824563725697075581748228567470873733451407748700317505476989540598025513436125698400198506226636438690017280*y^7 - 927879223828902525929865127570290690122137055132902881839490215531549907653211124028427977833407113100577523136829335231854689243805292648894478013099432856485413786542076083454625427644991472475179224567179107219104588583332451403683645875928032118191717702962538633288710936649958190719202855066517075496828412283016234472463761618019181141/150103359537211104512114182446640825125886535699160614214640225726517628659770711552877346986329882305919077576365136068543664667386522513561581122138786245478996850415174510498813317095597302980240522910188854042482461507015642363610412281862848537790874114283735436866725703874350158752738494770299012756718062849200099253113318219345008640*y^6 - 2097509666142250344703230079180390234062990131216432477360896142354074497462583822943155042835960611223429111116298889432925262524533545843678236684506536200802017267024743116155689403321679950353348314717261147615197566659723376236328210605478441701041102858251405353391896162515125424967676655158867069098866771049562810076746387594868733597/300206719074422209024228364893281650251773071398321228429280451453035257319541423105754693972659764611838155152730272137087329334773045027123162244277572490957993700830349020997626634191194605960481045820377708084964923014031284727220824563725697075581748228567470873733451407748700317505476989540598025513436125698400198506226636438690017280*y^5 - 13718594538232384705554811683985726754421600233342850004510472005015424737483569302867273822698504801384179151987338818277949287454478477603174109722926526543656442047670097613480420304425945526154704630228498245406344442352836316962094456328502917225775027872789204354001685773416918472659666036885504295352763268490172231486836267462746371/3127153323691898010669045467638350523455969493732512796138338035969117263745223157351611395548539214706647449507607001427993013903885885699199606711224713447479101050316135635391944106158277145421677560628934459218384614729492549241883589205476011203976544047577821601390118830715628307348718641047896099098292976025002067773194129569687680*y^4 + 871214302368516681608411068647681110983108793003553320707576119708007919713185025385654913192900664892045177908970960852655068532496401585089317467166612018710847237155705704776195912033527062036177958851694942266329700133631419155068015016118704601015472855713007533010570519391337176606317660206259904198353366058836308179660862274130577749/300206719074422209024228364893281650251773071398321228429280451453035257319541423105754693972659764611838155152730272137087329334773045027123162244277572490957993700830349020997626634191194605960481045820377708084964923014031284727220824563725697075581748228567470873733451407748700317505476989540598025513436125698400198506226636438690017280*y^3 + 1810307766764036068733029867891379214888877523727739675417247041372818185573721362740733711140312880051256189154979327961884028253233643340279266171845185951773507716682769561167069648144933651881706193150103249120591773928176977624207571041899101987758319230154403543023716820883827012467569455799930439091630927136610032545444496709060969/4690729985537847016003568201457525785183954240598769194207507053953675895617834736027417093322808822059971174261410502141989520855828828548799410066837070171218651575474203453087916159237415718132516340943401688827576922094238823862825383808214016805964816071366732402085178246073442461023077961571844148647439464037503101659791194354531520*y^2 + 130243130392484307856906236581912539669857832048527484970164261579030457811229613817135810951082093603113766353212803769320133628468807333246074893933539481600195076944875988322893277580605222904934393822045802018483626217304235550832903371292534777538473892054171747921104898647590475032959733432575258652376633594499117517516091001126644545/60041343814884441804845672978656330050354614279664245685856090290607051463908284621150938794531952922367631030546054427417465866954609005424632448855514498191598740166069804199525326838238921192096209164075541616992984602806256945444164912745139415116349645713494174746690281549740063501095397908119605102687225139680039701245327287738003456*y - 6905885481733301378345411712446196514881749869495846169597258966117166433150736869100218699904481288992505045038869283118919872510615107260353320117439663940326298305765192351741494589341752945633257550897929067763682725123323945624420952724729833463152687732577778246985696841294191493964964254400555697247212745287978436030937560837139849/75051679768605552256057091223320412562943267849580307107320112863258814329885355776438673493164941152959538788182568034271832333693261256780790561069393122739498425207587255249406658547798651490120261455094427021241230753507821181805206140931424268895437057141867718433362851937175079376369247385149506378359031424600049626556659109672504320