# Manifold: Census Knot K8_46 # Number of Tetrahedra: 8 # Number Field x^24 + 18*x^23 + 67*x^22 - 278*x^21 - 2856*x^20 - 5999*x^19 + 11919*x^18 + 62852*x^17 + 69457*x^16 - 31231*x^15 - 108239*x^14 - 54731*x^13 + 5685*x^12 - 11524*x^11 - 54637*x^10 - 67075*x^9 - 10393*x^8 + 38764*x^7 + 21223*x^6 + 649*x^5 - 2764*x^4 - 1140*x^3 - 223*x^2 - 23*x - 1 # Approximate Field Generator -0.218266019463317 - 0.874565644982536*I # Shape Parameters -60150143600364934045551295800964353687703808285770567335454/137398578071630637594050455638290497714800380107696672227217*y^23 - 4243245310544079949810419294211071456070071628996925893811501/549594312286522550376201822553161990859201520430786688908868*y^22 - 14570981947522346968735963070518610342133362182524171859147443/549594312286522550376201822553161990859201520430786688908868*y^21 + 72275747324937333174802792712387475342946414173106876464305755/549594312286522550376201822553161990859201520430786688908868*y^20 + 661121760576080504480854788187108066530182763429206509244274679/549594312286522550376201822553161990859201520430786688908868*y^19 + 1201150513412840547912216957749656715861659454417968797906046655/549594312286522550376201822553161990859201520430786688908868*y^18 - 829514170021800850463529392247294321282882891935324747542117627/137398578071630637594050455638290497714800380107696672227217*y^17 - 3483678119372802430933227896486768705277533443359355295461580839/137398578071630637594050455638290497714800380107696672227217*y^16 - 2890289374650786009843317372520188281951114647224718372458938122/137398578071630637594050455638290497714800380107696672227217*y^15 + 2997885903269147568302001825520794135295818968207514315822743133/137398578071630637594050455638290497714800380107696672227217*y^14 + 21812831783840887720058750336223067644143508285344939236991054685/549594312286522550376201822553161990859201520430786688908868*y^13 + 2426829978453953972891566752843527209607218390828374350713460741/274797156143261275188100911276580995429600760215393344454434*y^12 - 3560665324444082763535141371986917936533383474767372610991437025/549594312286522550376201822553161990859201520430786688908868*y^11 + 4133264638720938209656372555918825191065998064357677732488000037/549594312286522550376201822553161990859201520430786688908868*y^10 + 5912141111234567927668663744134484478732153104655119685543840419/274797156143261275188100911276580995429600760215393344454434*y^9 + 5885761214354719907555895284359928684659160517566853481725131527/274797156143261275188100911276580995429600760215393344454434*y^8 - 1989210643581741109391150126302442328446943803847943888193686985/549594312286522550376201822553161990859201520430786688908868*y^7 - 4372911303671454805380302240358246274145466675934388567067496613/274797156143261275188100911276580995429600760215393344454434*y^6 - 1756059488942678006604568272752957862317101406373362036464716605/549594312286522550376201822553161990859201520430786688908868*y^5 + 706707574327454311653830581823756967788392927609313546991324401/549594312286522550376201822553161990859201520430786688908868*y^4 + 400772166674252316939109806532517756076220337841872696427946717/549594312286522550376201822553161990859201520430786688908868*y^3 + 82164737123476949639207620734317820466069008042777726377522519/549594312286522550376201822553161990859201520430786688908868*y^2 + 3954052928786205341719780997986475558373374951621199575039357/274797156143261275188100911276580995429600760215393344454434*y + 411861068704217428784925205991581957625209261724439394363439/549594312286522550376201822553161990859201520430786688908868 -121526519292122210723891087220172690898092306049209305381285/1923580093002828926316706378936066968007205321507753411181038*y^23 - 8547800455158994685525623016665538465039825310939667086346931/7694320372011315705266825515744267872028821286031013644724152*y^22 - 28956824257200381937696282348884887088537308515506488015581577/7694320372011315705266825515744267872028821286031013644724152*y^21 + 148212342563420384190710971276805471751025366594202776399878767/7694320372011315705266825515744267872028821286031013644724152*y^20 + 1330347560151645444598353083066704830072811422166524475366907937/7694320372011315705266825515744267872028821286031013644724152*y^19 + 2345982634206875811437205999445677623135252846292286030841814221/7694320372011315705266825515744267872028821286031013644724152*y^18 - 3465602010871543929540008785249532255860125132227342256732623853/3847160186005657852633412757872133936014410643015506822362076*y^17 - 6995328656409674043673795883589103640323144636114249682116417331/1923580093002828926316706378936066968007205321507753411181038*y^16 - 10685720610619829221095565031576761141448139675912627624002672557/3847160186005657852633412757872133936014410643015506822362076*y^15 + 13753596612962694598144122595216458513624524044388976444550493423/3847160186005657852633412757872133936014410643015506822362076*y^14 + 6345729154616922704292702820777677607671189212291125525475850397/1099188624573045100752403645106323981718403040861573377817736*y^13 + 728494453185283342979206900296126604654217017771278110800056610/961790046501414463158353189468033484003602660753876705590519*y^12 - 10503858226434742560970664183589534956936790549551446069404944347/7694320372011315705266825515744267872028821286031013644724152*y^11 + 8105138230032496921910774700183756552479911354830282629397996401/7694320372011315705266825515744267872028821286031013644724152*y^10 + 11770234272862511750173669995787574562895367720187018714415612645/3847160186005657852633412757872133936014410643015506822362076*y^9 + 1546502786517788869948922276432121658952663811164513241320399225/549594312286522550376201822553161990859201520430786688908868*y^8 - 7024032964960068294454817897010402055375527591432554221498403283/7694320372011315705266825515744267872028821286031013644724152*y^7 - 9601519995615137307338115167661347754478118108496837837162893691/3847160186005657852633412757872133936014410643015506822362076*y^6 - 2431206659029372780614796282730319825165602883081107806357470625/7694320372011315705266825515744267872028821286031013644724152*y^5 + 2567702462801651965221163869095352643293962351556552925044119513/7694320372011315705266825515744267872028821286031013644724152*y^4 + 856213575171826289920909063447687875047674570331378995036372497/7694320372011315705266825515744267872028821286031013644724152*y^3 + 149753649658905425761480768658733723255797189488830990470444531/7694320372011315705266825515744267872028821286031013644724152*y^2 + 2045706804790779148086816104402533438331780061624864429630867/1923580093002828926316706378936066968007205321507753411181038*y + 7900208819929722860829406441881424315397888782471458870389855/7694320372011315705266825515744267872028821286031013644724152 -2275480510717080982582668707608846953756789398710051108460153/7144726059724793154890623693191105881169619765600226955815284*y^23 - 20277271757012139927872436010204046428247994887651436939385065/3572363029862396577445311846595552940584809882800113477907642*y^22 - 36308795131388802770483599710034072533878936805554420385889641/1786181514931198288722655923297776470292404941400056738953821*y^21 + 12667689113874244651298424710928650670782725845365070896283506/137398578071630637594050455638290497714800380107696672227217*y^20 + 6382871999349667430569493736955408900923729640481760322501300523/7144726059724793154890623693191105881169619765600226955815284*y^19 + 3127665853280342970642847196765527243026668140441883168877548311/1786181514931198288722655923297776470292404941400056738953821*y^18 - 7348969212163927932593259408988100036303017977563631972783572839/1786181514931198288722655923297776470292404941400056738953821*y^17 - 137878311368257071876899599897274600350138880770764347801986769115/7144726059724793154890623693191105881169619765600226955815284*y^16 - 133251163249878291990291774479874267625448890005368438189887362349/7144726059724793154890623693191105881169619765600226955815284*y^15 + 95793542446084306691234153989818154940580356007747896005886250433/7144726059724793154890623693191105881169619765600226955815284*y^14 + 229835780955411912779946168739829333261147452182513994328897871539/7144726059724793154890623693191105881169619765600226955815284*y^13 + 82344342042689495964977586023888761465143664535501030219295273707/7144726059724793154890623693191105881169619765600226955815284*y^12 - 29113603877734699844973422671047356353360063800278446045339926519/7144726059724793154890623693191105881169619765600226955815284*y^11 + 15797423217311394192581158848673916306521380058088555217632785713/3572363029862396577445311846595552940584809882800113477907642*y^10 + 119242217989940477690332054529627024733320715707704611621102382079/7144726059724793154890623693191105881169619765600226955815284*y^9 + 32775997983989060312379522905987935179849301866927913404832515593/1786181514931198288722655923297776470292404941400056738953821*y^8 - 462199241208412980132914100246045994321681200516660157956014931/7144726059724793154890623693191105881169619765600226955815284*y^7 - 44367977543032786266861849692120368518258996615698785126101019857/3572363029862396577445311846595552940584809882800113477907642*y^6 - 7992587951997499506326284124424122609159274258089272521526694010/1786181514931198288722655923297776470292404941400056738953821*y^5 + 4956574509388657116823581582569582704671730716323140971994061797/7144726059724793154890623693191105881169619765600226955815284*y^4 + 5362495591713327030592607292681298408368042894800129318139533511/7144726059724793154890623693191105881169619765600226955815284*y^3 + 758870434123127839616467458334693336788663993290792471618046511/3572363029862396577445311846595552940584809882800113477907642*y^2 + 99466027661534191052212563008237981829411652277504846672710691/3572363029862396577445311846595552940584809882800113477907642*y + 17916098105177243251892645235318911743531134175430442959033963/7144726059724793154890623693191105881169619765600226955815284 -253092847183330795223016226926383316017534936532829003536570/137398578071630637594050455638290497714800380107696672227217*y^23 - 18023256950229097939952618258084851322540348463487163656252417/549594312286522550376201822553161990859201520430786688908868*y^22 - 64275973305590417776182085080755903853303425339790582301102631/549594312286522550376201822553161990859201520430786688908868*y^21 + 294144257539997619935478204919348264405378792109856642241833479/549594312286522550376201822553161990859201520430786688908868*y^20 + 2833527271203128761778244708372152461293901015014785279656364431/549594312286522550376201822553161990859201520430786688908868*y^19 + 5514243281117920595826593457196064882078337145677396129980966683/549594312286522550376201822553161990859201520430786688908868*y^18 - 3289838949471490351910368271244242182578487788200441918938049618/137398578071630637594050455638290497714800380107696672227217*y^17 - 15261941005629518389632717568887135084356696559536833455165970487/137398578071630637594050455638290497714800380107696672227217*y^16 - 14563030001009617075976722165892663413553633760522824833938084088/137398578071630637594050455638290497714800380107696672227217*y^15 + 10807042621363107238248459055462554863579006830151943901597988919/137398578071630637594050455638290497714800380107696672227217*y^14 + 101139955012487772380041596812751850977309916094018095858274809125/549594312286522550376201822553161990859201520430786688908868*y^13 + 17658161871431369751658957163532291729085160654142587538934800189/274797156143261275188100911276580995429600760215393344454434*y^12 - 12915790587196835759963220395378786320635500592731920660207158117/549594312286522550376201822553161990859201520430786688908868*y^11 + 14227266912789173730746364703405560584802845277240909433795918317/549594312286522550376201822553161990859201520430786688908868*y^10 + 26288683190412316922246502340712767519745648146304410477111150871/274797156143261275188100911276580995429600760215393344454434*y^9 + 28751732971814079400004973334591397264375310762577295890669449291/274797156143261275188100911276580995429600760215393344454434*y^8 - 914627592070253878554977922924749919664677782759291604262773737/549594312286522550376201822553161990859201520430786688908868*y^7 - 19573044248560204491271065523092409201956388986927226520182653727/274797156143261275188100911276580995429600760215393344454434*y^6 - 13709563352869113692195975711244312832873909623156544923319180757/549594312286522550376201822553161990859201520430786688908868*y^5 + 2140485416113345761498745230791405312155985717223700329838625225/549594312286522550376201822553161990859201520430786688908868*y^4 + 2373193681324541339092867253383663978094778328825235471587216545/549594312286522550376201822553161990859201520430786688908868*y^3 + 670102764741953579241200363281996267744557923831349885842233231/549594312286522550376201822553161990859201520430786688908868*y^2 + 44884830334221711538611923260825506534285940264303700898523829/274797156143261275188100911276580995429600760215393344454434*y + 5709606951859522014248859648918883466582735648455300431664043/549594312286522550376201822553161990859201520430786688908868 111804754393482603329299482070175807898215406909318925391349/137398578071630637594050455638290497714800380107696672227217*y^23 + 2052167250405056194179881760534429578419175320871672456662830/137398578071630637594050455638290497714800380107696672227217*y^22 + 8195382560913039087770662094515462736663836269907420483759438/137398578071630637594050455638290497714800380107696672227217*y^21 - 28599435288749974071699911395913556181552550660679095220861139/137398578071630637594050455638290497714800380107696672227217*y^20 - 331000121326359352290884176945692225640059270018444639554335210/137398578071630637594050455638290497714800380107696672227217*y^19 - 781303544871988600536559827980156663633836412479960695679962953/137398578071630637594050455638290497714800380107696672227217*y^18 + 1122556605843050021257444218020102920256860303682155095474222539/137398578071630637594050455638290497714800380107696672227217*y^17 + 7558432063647631716018473038315738744878338295536362218299808114/137398578071630637594050455638290497714800380107696672227217*y^16 + 10140551223504030375144495530605990718230017101517069655963703773/137398578071630637594050455638290497714800380107696672227217*y^15 - 1353374268850594559028129527450303571261792079346570606545979046/137398578071630637594050455638290497714800380107696672227217*y^14 - 14006921555865944524219070094022201762332285130838719771929016953/137398578071630637594050455638290497714800380107696672227217*y^13 - 10066466987549819364005308583671416597992711660016267455683066562/137398578071630637594050455638290497714800380107696672227217*y^12 - 449527015062031468777576512908758771610354003703259383291847438/137398578071630637594050455638290497714800380107696672227217*y^11 - 567344755404448422909586432793266672802308163102226006263652786/137398578071630637594050455638290497714800380107696672227217*y^10 - 6682544891877246894848291001629261072356174180669636016179086613/137398578071630637594050455638290497714800380107696672227217*y^9 - 9565827624076888055474682489912269518060848522889967658617074488/137398578071630637594050455638290497714800380107696672227217*y^8 - 3279249158063179192275116770041242782202863646055212340033815458/137398578071630637594050455638290497714800380107696672227217*y^7 + 4562894780044538838281796458891640996681827382623974344798017341/137398578071630637594050455638290497714800380107696672227217*y^6 + 3976344605351099591139393157468995368853293998922890206957177650/137398578071630637594050455638290497714800380107696672227217*y^5 + 504354165698914592652931813371364438537366015743047089989860229/137398578071630637594050455638290497714800380107696672227217*y^4 - 482379404659468095734789822179579853207678731605562907317613837/137398578071630637594050455638290497714800380107696672227217*y^3 - 218629836017615342555363191104790207467264270144456240442657451/137398578071630637594050455638290497714800380107696672227217*y^2 - 39027853624297097195314632896220989024735334378139979861440140/137398578071630637594050455638290497714800380107696672227217*y - 2680009625120982714978454733911461717754749487864663372451039/137398578071630637594050455638290497714800380107696672227217 -1377293370482545763767049989406630175244138707164380158160898/137398578071630637594050455638290497714800380107696672227217*y^23 - 24577522607354717436913792678541072172898501257633458036241077/137398578071630637594050455638290497714800380107696672227217*y^22 - 88461562000843092882635033431738157690561436824343510704273440/137398578071630637594050455638290497714800380107696672227217*y^21 + 396662790345213877025699969930060280188633101437214130171184237/137398578071630637594050455638290497714800380107696672227217*y^20 + 3872138877917867696364973869197607473005356063336490607760904860/137398578071630637594050455638290497714800380107696672227217*y^19 + 7660609912116725714474007872073051351235748039087771050144032558/137398578071630637594050455638290497714800380107696672227217*y^18 - 17611977723444753370716549790237353108801497628577889062053550851/137398578071630637594050455638290497714800380107696672227217*y^17 - 83844247060621229443158624828079206525647909114181212086080928039/137398578071630637594050455638290497714800380107696672227217*y^16 - 82611981793976061809476423614196737196437306413793574691926387985/137398578071630637594050455638290497714800380107696672227217*y^15 + 55981807230372571047051983757900945351013116375008653540133900457/137398578071630637594050455638290497714800380107696672227217*y^14 + 140493163735793486874788358481392642125864382466072020558058800014/137398578071630637594050455638290497714800380107696672227217*y^13 + 53429832309456258246015136144574770015521654340823153709413518343/137398578071630637594050455638290497714800380107696672227217*y^12 - 16342361216969649547700333175970800158771432911423077814734362664/137398578071630637594050455638290497714800380107696672227217*y^11 + 18383908855682269097863535615315555882929953306574283904323505236/137398578071630637594050455638290497714800380107696672227217*y^10 + 72443872848327609782732425555773852859516550342485768831923823951/137398578071630637594050455638290497714800380107696672227217*y^9 + 81091468197533359178639579031605242735820738551581764355919725466/137398578071630637594050455638290497714800380107696672227217*y^8 + 1607128364263520442182605274021435824471962105868880891691371415/137398578071630637594050455638290497714800380107696672227217*y^7 - 53748113936963230161017268178315413593225272171368921421369278485/137398578071630637594050455638290497714800380107696672227217*y^6 - 20849491699455637321372026318477439409067626799431650429167553148/137398578071630637594050455638290497714800380107696672227217*y^5 + 2434950254888486275324661967050789837378760635900193566334242030/137398578071630637594050455638290497714800380107696672227217*y^4 + 3438520653027459374399946074646267575263787720986790649817073985/137398578071630637594050455638290497714800380107696672227217*y^3 + 1026472583954957290861552360246162204290369986895500322959955232/137398578071630637594050455638290497714800380107696672227217*y^2 + 144381114412150600359589029375360029209016680382437858960614885/137398578071630637594050455638290497714800380107696672227217*y + 8805608576704166195627354619119368469092332560406594290471640/137398578071630637594050455638290497714800380107696672227217 -29530678007882731872427995142298937859450435325524783407039/6732530325509901242108472326276234388025218625277136939133633*y^23 - 409475768342291451058504256637650519047390083548084695555851/6732530325509901242108472326276234388025218625277136939133633*y^22 + 270012307835014988922660000861342490805012880785540849419566/6732530325509901242108472326276234388025218625277136939133633*y^21 + 17268753778440926805052359210201748388442031806850257436236756/6732530325509901242108472326276234388025218625277136939133633*y^20 + 53109511162586949238054452815413177655382064196916741585129615/6732530325509901242108472326276234388025218625277136939133633*y^19 - 188125583839794156890754513383107108616665500454968421068834235/6732530325509901242108472326276234388025218625277136939133633*y^18 - 1217856486203517504779822826993357414701410010643050626761241072/6732530325509901242108472326276234388025218625277136939133633*y^17 - 596861502844963986692686801870476927667122229742759053921595217/6732530325509901242108472326276234388025218625277136939133633*y^16 + 6423622196653839003086346330247989694784892890636609860644926982/6732530325509901242108472326276234388025218625277136939133633*y^15 + 12038161575068191336045854046703438937711825673722130667565607684/6732530325509901242108472326276234388025218625277136939133633*y^14 + 93571110483682485794643851214533874434069551507072921754963482/961790046501414463158353189468033484003602660753876705590519*y^13 - 14962708026422271778593550867899518202058227322751016048081049406/6732530325509901242108472326276234388025218625277136939133633*y^12 - 10376048104970802877614767843730279588310122270449457190655281502/6732530325509901242108472326276234388025218625277136939133633*y^11 + 1649941459068291456862289530148955544021532704229214738488650832/6732530325509901242108472326276234388025218625277136939133633*y^10 + 1246992692272133542897508522498673979453024684066067610526065905/6732530325509901242108472326276234388025218625277136939133633*y^9 - 825361203564671878380340683872462253574756300877842390499005842/961790046501414463158353189468033484003602660753876705590519*y^8 - 10008344221849513079430733468740995677543836470623584817822509754/6732530325509901242108472326276234388025218625277136939133633*y^7 - 3911252907798657051375134846357041632984630751869479284401990586/6732530325509901242108472326276234388025218625277136939133633*y^6 + 5427790864004952247365113707128745794184077778928077626884586374/6732530325509901242108472326276234388025218625277136939133633*y^5 + 4164515230733666604602017390186680658187733990999679535756821156/6732530325509901242108472326276234388025218625277136939133633*y^4 - 86562314225053895544516575169879478544529145386398495653982141/6732530325509901242108472326276234388025218625277136939133633*y^3 - 571472981725803709325970850776950253354501614135003575426961309/6732530325509901242108472326276234388025218625277136939133633*y^2 - 166559333998486348765490515268804201713525740814179065259442546/6732530325509901242108472326276234388025218625277136939133633*y - 14192302606530258448552419485590308558595439158488442368570176/6732530325509901242108472326276234388025218625277136939133633 5536223081982562973777458991431855564224702419765257033292141/137398578071630637594050455638290497714800380107696672227217*y^23 + 98790105240465530380455774527963438674503949540114135865640751/137398578071630637594050455638290497714800380107696672227217*y^22 + 355542518448562383716570275976126540432053006111305427088786291/137398578071630637594050455638290497714800380107696672227217*y^21 - 1594497360271884072665840294521449833575658225591808600034483860/137398578071630637594050455638290497714800380107696672227217*y^20 - 15563466481245743843408782161359957413373535793970034646933251879/137398578071630637594050455638290497714800380107696672227217*y^19 - 30787509841463887412599581793104248950360531225037415664397812844/137398578071630637594050455638290497714800380107696672227217*y^18 + 70791015434595433554412206655949511559441362544238467364329259403/137398578071630637594050455638290497714800380107696672227217*y^17 + 336962182900657234840092941251662170643450223090294910783002109290/137398578071630637594050455638290497714800380107696672227217*y^16 + 332009479969369982905545732024134955626551532675524075198726102621/137398578071630637594050455638290497714800380107696672227217*y^15 - 224834497001405049845365979348478811508682463346204698896086161214/137398578071630637594050455638290497714800380107696672227217*y^14 - 564420774032784584869199970485525349653942290984983922299780397213/137398578071630637594050455638290497714800380107696672227217*y^13 - 214902817219850028621354566106071893774597375069184362011432954637/137398578071630637594050455638290497714800380107696672227217*y^12 + 65299839697155342969776694578414041690768886794579528331196909768/137398578071630637594050455638290497714800380107696672227217*y^11 - 73914344746699698182595894124626569168066993429327405566870532348/137398578071630637594050455638290497714800380107696672227217*y^10 - 291041532891659555285989337653626610471922413749059129416408229070/137398578071630637594050455638290497714800380107696672227217*y^9 - 325944016967582589829468139674316306572102870536993014704174244163/137398578071630637594050455638290497714800380107696672227217*y^8 - 6587101224610295311189376804901485876392801283909618245273759780/137398578071630637594050455638290497714800380107696672227217*y^7 + 215827013402507881610933659865717741619690239803540253151665112157/137398578071630637594050455638290497714800380107696672227217*y^6 + 83845065089249810291450135139816354890689619507613747020061747067/137398578071630637594050455638290497714800380107696672227217*y^5 - 9610318627785283442318263652742271404703347561039443421683415405/137398578071630637594050455638290497714800380107696672227217*y^4 - 13818913202234178192882422761321222001914281072127114777872535244/137398578071630637594050455638290497714800380107696672227217*y^3 - 4146092434270820674397915268510519761678388573668368394391233199/137398578071630637594050455638290497714800380107696672227217*y^2 - 585274874798979896860586846255720536750427793846277491368642202/137398578071630637594050455638290497714800380107696672227217*y - 35731621842576208982758792057791230562242827656903365236277070/137398578071630637594050455638290497714800380107696672227217 # A Gluing Matrix {{1,-2,-2,-2,0,1,0,0},{-2,4,4,4,0,-2,0,0},{-2,4,6,6,0,-3,0,0},{-2,4,6,7,-1,-4,0,0},{0,0,0,-1,0,0,0,0},{2,-4,-6,-8,0,3,-4,-2},{0,0,0,0,0,-2,-3,-2},{0,0,0,0,0,-1,-2,-1}} # B Gluing Matrix {{1,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0},{0,0,1,0,0,0,0,0},{0,0,0,1,0,0,0,0},{0,0,0,0,1,0,0,0},{0,0,0,0,0,2,0,0},{0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,1}} # nu Gluing Vector {1, 0, 0, -1, 0, -2, -3, -1} # f Combinatorial flattening {-4, 0, -3, 0, -1, -2, -1, 5} # f' Combinatorial flattening {1, 0, 4, 0, 0, 0, 0, 0} # 1 Loop Invariant 7197929392666884899470385582667579808572551680155970259991871/274797156143261275188100911276580995429600760215393344454434*y^23 + 129189708965133379972469880359406021281219549579960321031622437/274797156143261275188100911276580995429600760215393344454434*y^22 + 475499857998645802881757712550449886662179924904662865448016039/274797156143261275188100911276580995429600760215393344454434*y^21 - 2026848023148717648838100530197992961589929792951645174366373847/274797156143261275188100911276580995429600760215393344454434*y^20 - 20456452808739805334593952609911561809392566131837965194781719437/274797156143261275188100911276580995429600760215393344454434*y^19 - 21050411079672656483590333925008629239656585912680558461395939593/137398578071630637594050455638290497714800380107696672227217*y^18 + 44080013165961836254576916353847044203289791947832355518900961641/137398578071630637594050455638290497714800380107696672227217*y^17 + 224096859445808450446947562312402566147169491824684290833098375552/137398578071630637594050455638290497714800380107696672227217*y^16 + 237918250654226349216211014332791218767005613826485465455863911297/137398578071630637594050455638290497714800380107696672227217*y^15 - 253475652737053050722960667758527428101142556422555579551683694645/274797156143261275188100911276580995429600760215393344454434*y^14 - 384815372080744215400389822791316591442773217915389789972438207603/137398578071630637594050455638290497714800380107696672227217*y^13 - 350921759891095058633835901958723953809434296515017848814851748751/274797156143261275188100911276580995429600760215393344454434*y^12 + 65726929328753062714950276406689393726508317387527297825227637561/274797156143261275188100911276580995429600760215393344454434*y^11 - 42225853665155199281769878996392561426005211203378465909040953722/137398578071630637594050455638290497714800380107696672227217*y^10 - 194967631399634229906374602892560632695882581515339870668907509811/137398578071630637594050455638290497714800380107696672227217*y^9 - 461585731314049425579192864050212285518994815764521575512093083133/274797156143261275188100911276580995429600760215393344454434*y^8 - 23736170979608106014929898878729411366072444405264844796771701505/137398578071630637594050455638290497714800380107696672227217*y^7 + 285117075009727298648569299259846566974094426491119607033209096063/274797156143261275188100911276580995429600760215393344454434*y^6 + 137661949113925637844166486760805702834274582488146882809982049121/274797156143261275188100911276580995429600760215393344454434*y^5 - 5122988498437012547102798305192723281683533818125098267163377597/274797156143261275188100911276580995429600760215393344454434*y^4 - 20355697535583628236804045884779622234947310118483869272002614835/274797156143261275188100911276580995429600760215393344454434*y^3 - 3484975790431411670372735293291899657933153130213842585578325476/137398578071630637594050455638290497714800380107696672227217*y^2 - 1095299203611837051082006612321008630112234254915282443722429581/274797156143261275188100911276580995429600760215393344454434*y - 35943719141742917314366678111179623480376751145020811629105182/137398578071630637594050455638290497714800380107696672227217 # 2 Loop Invariant 158136431115358173205886545458975196393579033531258132435973480868531391536224501701518627121043569845849185861490914791048956913267026196093/9398855176570480399504449637125549394990707882644556323589376104954792125976321903559801052151481048717494852444883916391459980642395602422064*y^23 + 1056847077105146225623761183555316395751579936630687848276371489240643797456494903853912516199755262743192480468042984691220860233386629421157/3132951725523493466501483212375183131663569294214852107863125368318264041992107301186600350717160349572498284148294638797153326880798534140688*y^22 + 16358247783238369378527587004167860355231591635407522701573563044324385862446333526383311707312098445061485112700863460891631237281443165223205/9398855176570480399504449637125549394990707882644556323589376104954792125976321903559801052151481048717494852444883916391459980642395602422064*y^21 - 23514734746094853070269350951355208497109795365863772753149588578901705460124482886721314246002492440590265420380741063474857453359648424468691/9398855176570480399504449637125549394990707882644556323589376104954792125976321903559801052151481048717494852444883916391459980642395602422064*y^20 - 182142194915435056432214246256323882793955947957746578950333750748517951133849651286899915772301386356188368194348127781831944176035542263590331/3132951725523493466501483212375183131663569294214852107863125368318264041992107301186600350717160349572498284148294638797153326880798534140688*y^19 - 463630821414952302614683209368119517108274085077030175225138486479354868992568866477658299141403083424676393423558049050507627606177660859731107/2349713794142620099876112409281387348747676970661139080897344026238698031494080475889950263037870262179373713111220979097864995160598900605516*y^18 + 17708962548199675666222976856188108384264237505659595951290178366341137476292945475450400691440445157829151415525157734077300354499854938328937/1174856897071310049938056204640693674373838485330569540448672013119349015747040237944975131518935131089686856555610489548932497580299450302758*y^17 + 888745366109888880512962846585202522195269630917131195079419680048039878464493593843929897282300635375086836554255357495717914233020781109388199/587428448535655024969028102320346837186919242665284770224336006559674507873520118972487565759467565544843428277805244774466248790149725151379*y^16 + 15248168232447453179533219450686233099193403819595810077876011352079004921972093842664663314420930423731064740423073839075226695722923893687505383/4699427588285240199752224818562774697495353941322278161794688052477396062988160951779900526075740524358747426222441958195729990321197801211032*y^15 + 13140244661168430598454637645538675338447308616883821495326052774789482257200706510550947330532974237729924315107133916698525473453414379300068773/9398855176570480399504449637125549394990707882644556323589376104954792125976321903559801052151481048717494852444883916391459980642395602422064*y^14 - 16002409920946884448862884708970484703773229700451809090943420120313631630294902578379558521213825053545652327073823898766238134571153744309946183/4699427588285240199752224818562774697495353941322278161794688052477396062988160951779900526075740524358747426222441958195729990321197801211032*y^13 - 41233631254018594280508668268950433214487376085625882545608449522293706196185287153084333259734700859556869841301150159603473796059606947638362711/9398855176570480399504449637125549394990707882644556323589376104954792125976321903559801052151481048717494852444883916391459980642395602422064*y^12 - 3021424818699975351870166089958456668478879303826915964354781559920982280993152147188703209217949752541686722497115449060109816244332624585233399/3132951725523493466501483212375183131663569294214852107863125368318264041992107301186600350717160349572498284148294638797153326880798534140688*y^11 + 1778973136289620077387120213422710965014537700328109192334897825080807806256809832020330195361881839437309360050288849885992295013462237970618697/4699427588285240199752224818562774697495353941322278161794688052477396062988160951779900526075740524358747426222441958195729990321197801211032*y^10 - 13196266016001795493595642260688590104465752756474185082680864483793565198532172859833336960907504172325648672950608499563119074154901613470493225/9398855176570480399504449637125549394990707882644556323589376104954792125976321903559801052151481048717494852444883916391459980642395602422064*y^9 - 13785795558199969587965603793678007526136065586004545907787589672596310226899252868465072734010600267976510208496783559847611831483080504588784485/4699427588285240199752224818562774697495353941322278161794688052477396062988160951779900526075740524358747426222441958195729990321197801211032*y^8 - 19479673616391261694512747439954963991341557939734364817679173747480469227303127144215305765563542585687694743214495237832704750797460082558932969/9398855176570480399504449637125549394990707882644556323589376104954792125976321903559801052151481048717494852444883916391459980642395602422064*y^7 + 7355218329061669142642338070282976952709370343367556610798882297840361268484639152005043878474765524075629737114042125017317409270465666274322905/9398855176570480399504449637125549394990707882644556323589376104954792125976321903559801052151481048717494852444883916391459980642395602422064*y^6 + 2730725947396491246995185252913356034827314573491337257026184300046381744405004233562951855904225974659551874811206605162166694456343409447505127/1566475862761746733250741606187591565831784647107426053931562684159132020996053650593300175358580174786249142074147319398576663440399267070344*y^5 + 1350029630003320314853060822461492321925723492819181219821144913284675704469559214328691948902181969161374579652965571758202024292805615185148287/3132951725523493466501483212375183131663569294214852107863125368318264041992107301186600350717160349572498284148294638797153326880798534140688*y^4 - 1643860248814998301664255858045784623877775168699622952059164480028756349780540480364219129139445655855788054725418634316840501426448918323998549/9398855176570480399504449637125549394990707882644556323589376104954792125976321903559801052151481048717494852444883916391459980642395602422064*y^3 - 948335054240597089637689653015281285197400768263171374893910384180004025542520288655970626608198325181055164211205164573987312457233392620152675/9398855176570480399504449637125549394990707882644556323589376104954792125976321903559801052151481048717494852444883916391459980642395602422064*y^2 - 61445845112757064022897376753665305034225265503031938331677024697839556404737056056815539420325714999414656183455732581186006340564845651510369/3132951725523493466501483212375183131663569294214852107863125368318264041992107301186600350717160349572498284148294638797153326880798534140688*y + 161588533318830870320444987637938680765419515525893204957390197191252347864636019498536890280600590906000006379843934775040439932585594609619/1174856897071310049938056204640693674373838485330569540448672013119349015747040237944975131518935131089686856555610489548932497580299450302758 # 3 Loop Invariant -13313480881287776525496422167452724558613552608660849929281534423805653130687929559377567396667979869443538401587401825254783312346667208049272811106901221410234747057784022212003099/236542640118143328796715254163600844603647482052966923314395013669564580652058371262944461016251308373974888313005165801431983903757697317066683650322725617096589547640864339089080352*y^23 - 118029750271751158492896957185391168519753383699338919312451760678360609330757864051626867434755154711153836995345139662450673728184984578162163781626389706987175453035753345077882093/118271320059071664398357627081800422301823741026483461657197506834782290326029185631472230508125654186987444156502582900715991951878848658533341825161362808548294773820432169544540176*y^22 - 414260576278791551457895480778979391612281603453003857325123540139009860442115073929049144663890902968061149527451573373007068654039428429782226000781449017481339705959533174664896667/118271320059071664398357627081800422301823741026483461657197506834782290326029185631472230508125654186987444156502582900715991951878848658533341825161362808548294773820432169544540176*y^21 + 7846425555821601746850899884981821485601201564820640907907786750201474179922399955513101101576648291896584591701289217459282513064294153719500876285061779604807219850281123897188674759/473085280236286657593430508327201689207294964105933846628790027339129161304116742525888922032502616747949776626010331602863967807515394634133367300645451234193179095281728678178160704*y^20 + 18481897217623494639705449998956605894744972146349755190901487033586800774805888600834259792220262090291915988552924576146019317345211611210103115274866668712873832175308238805430042977/118271320059071664398357627081800422301823741026483461657197506834782290326029185631472230508125654186987444156502582900715991951878848658533341825161362808548294773820432169544540176*y^19 + 139864843362447285815998851184223108088959812324609638604494108233180475355653346798594585380439988075462693767355513287884933286444437107420313849048114822181746675135522698407416223393/473085280236286657593430508327201689207294964105933846628790027339129161304116742525888922032502616747949776626010331602863967807515394634133367300645451234193179095281728678178160704*y^18 - 354712961072805525998266578174875736203144268715220986126614519499043421349144516227162623822741025608412972194737292684909794030302202405111871586558612726360812818416137072476023736223/473085280236286657593430508327201689207294964105933846628790027339129161304116742525888922032502616747949776626010331602863967807515394634133367300645451234193179095281728678178160704*y^17 - 1577410136269865785068411320063684854838144095197687569632280601856642755829866171905759505025668547117207739669207904141161504020332830285385456883325409497745321022122128086635541405973/473085280236286657593430508327201689207294964105933846628790027339129161304116742525888922032502616747949776626010331602863967807515394634133367300645451234193179095281728678178160704*y^16 - 1425963077766275207891322813921264854088706327724676486543101345394267345293601987364271049424638475084835176449399604335474909773599218899293717534594733411583011657069278059460344252223/473085280236286657593430508327201689207294964105933846628790027339129161304116742525888922032502616747949776626010331602863967807515394634133367300645451234193179095281728678178160704*y^15 + 302152434524795010439987402327698325760595990775318927797987642263814899045486002262102540919507032412961384419828923791455521365365779940380270755826596727880384331459813379967072141045/118271320059071664398357627081800422301823741026483461657197506834782290326029185631472230508125654186987444156502582900715991951878848658533341825161362808548294773820432169544540176*y^14 + 637054593580731168139196999532722021030932795245886185989559115082874495381441656950649557066483493577349749862359971472177630734270787189928028910268627206845390795763561523156487522681/118271320059071664398357627081800422301823741026483461657197506834782290326029185631472230508125654186987444156502582900715991951878848658533341825161362808548294773820432169544540176*y^13 + 773624742108194361848100096328280972881940506975685054782786462692058890499132931350252421497988838995420031418738941817486876032811200357126309980320612365166874146420537794535592832629/473085280236286657593430508327201689207294964105933846628790027339129161304116742525888922032502616747949776626010331602863967807515394634133367300645451234193179095281728678178160704*y^12 - 21682907587391454318170080579895260692491935771278995418747002481942744936358055603518946877122283707357538087582912344347952141816678339389861883047741359454791612488162784650104605373/29567830014767916099589406770450105575455935256620865414299376708695572581507296407868057627031413546746861039125645725178997987969712164633335456290340702137073693455108042386135044*y^11 + 204019897599290222157250953520007880076818620893749344787506519730771251238332869624491152846477828200332173858675732743212474225870762067583487105260522820270320620369555349613775535683/236542640118143328796715254163600844603647482052966923314395013669564580652058371262944461016251308373974888313005165801431983903757697317066683650322725617096589547640864339089080352*y^10 + 1344348207109365049074186137965299332964931070871488853246203447067849622291764512694231941143838971828236587920373603867845870379779937075047701621904872540474120238872409486401696822667/473085280236286657593430508327201689207294964105933846628790027339129161304116742525888922032502616747949776626010331602863967807515394634133367300645451234193179095281728678178160704*y^9 + 1424702493280796006980048105204004419567319635191885891797643508339045407817593541353436174582425297420967719388327233397112421409387612115624930394645411568343902646114403871753759367087/473085280236286657593430508327201689207294964105933846628790027339129161304116742525888922032502616747949776626010331602863967807515394634133367300645451234193179095281728678178160704*y^8 - 100555948449316315212307948371183283870973886280514163102211042671527219930404826007495441608707376614472371747184249239974838012884000212980499354469209682800641672906461970674494327953/473085280236286657593430508327201689207294964105933846628790027339129161304116742525888922032502616747949776626010331602863967807515394634133367300645451234193179095281728678178160704*y^7 - 498469840601498939111461268349505468496453880149509795936864868375021369442987896629355393951394019778452168081701826638435716107881573700449709863626534437432657355187843614633064923157/236542640118143328796715254163600844603647482052966923314395013669564580652058371262944461016251308373974888313005165801431983903757697317066683650322725617096589547640864339089080352*y^6 - 36827160345299789511034048206008002023519454127387730106179534187195824335142602158116873721488272809646006310504879996968100596955518179030758308576039288513636132747298274118638318361/59135660029535832199178813540900211150911870513241730828598753417391145163014592815736115254062827093493722078251291450357995975939424329266670912580681404274147386910216084772270088*y^5 + 28786282311781657669884999251669522452242713520992655256523295630474173843250610504238389016360989086634507040781131407663516421478699427254737201964256294984034043297068784271922121005/236542640118143328796715254163600844603647482052966923314395013669564580652058371262944461016251308373974888313005165801431983903757697317066683650322725617096589547640864339089080352*y^4 + 54962804559350306779635460599674519758099540105743901796816277138962360628675004338644408766934381024273573410682949820344937677540196619890142842608990366995197134604587622893150700333/473085280236286657593430508327201689207294964105933846628790027339129161304116742525888922032502616747949776626010331602863967807515394634133367300645451234193179095281728678178160704*y^3 + 486151169975539683373594457305102777688647205122639270564709418984717667183649325585780822693119489729702960087315296677840659733640638888880177921518111626497121064803626054033628155/14783915007383958049794703385225052787727967628310432707149688354347786290753648203934028813515706773373430519562822862589498993984856082316667728145170351068536846727554021193067522*y^2 + 2222974208496482396184990861118564543651627747406798375807637950963191094401635762313957289398364504318659273877236494236973817837397484960778745082161317503698977369932654400474344685/473085280236286657593430508327201689207294964105933846628790027339129161304116742525888922032502616747949776626010331602863967807515394634133367300645451234193179095281728678178160704*y + 138270194627711208267262103497326896490409381430369484894577950099555166045376882346396473563899037791926312502508668765498305042066342757726604816149991830343204604461914203122163571/473085280236286657593430508327201689207294964105933846628790027339129161304116742525888922032502616747949776626010331602863967807515394634133367300645451234193179095281728678178160704 # 4 Loop Invariant -517533434303657819823787870519619351380445785157451477008163419712840775455406408515149856648590176556039288221228076655903153723927469147240337640580513681983008806060963386579433862005979976908561225934878542181828242353446326661505085204690969379498311209232469/5056525258386891763231977768958412272332974407335406534371307403143246163875774908100988199891757006836276955690904762352221503916509053904972448104982502187904541711011541179724113384128570183986904055735882581207347153499682667983255080314124388153105480302833120*y^23 - 29329440676837207445497975415670256115727094577526245809119331971597871161870383984762475021027442526050489052290474969212524671205236975692027597660038594130446333638698411927134246709685593994671178365521870345051477851590263362535443272925781660538807036859645855/16180880826838053642342328860666919271465518103473300909988183690058387724402479705923162239653622421876086258210895239527108812532828972495911833935944007001294533475236931775117162829211424588758092978354824259863510891198984537546416257005198042089937536969065984*y^22 - 3073810686618380530924823630072125739673201761309487997939681791881955308325299897969736119180240905294208475247583260084020926068366746560145641700700562688707670044870914737068585516780500293716247114815576909750806188715851565681766891573697865609305466538203303961/485426424805141609270269865820007578143965543104199027299645510701751631732074391177694867189608672656282587746326857185813264375984869174877355018078320210038836004257107953253514884876342737662742789350644727795905326735969536126392487710155941262698126109071979520*y^21 + 2449693490627630006728981334069986191911230850528609545904184718766370754415915942913842359563741459138772454795579170227010021790310888126292005795708842322129243208086473108237592930499910197525626697914525788374857197591299865582403870514956956438360935826745086183/80904404134190268211711644303334596357327590517366504549940918450291938622012398529615811198268112109380431291054476197635544062664144862479559169679720035006472667376184658875585814146057122943790464891774121299317554455994922687732081285025990210449687684845329920*y^20 + 137611624314904866718321063826367159533851041647311018212368288279763669816874897497483587119280461624747954817156711022162918187686246865080342271795387455144282044594740978493601955011180265225332061481515115146187150843128107714931653776879711227513035723798949404571/485426424805141609270269865820007578143965543104199027299645510701751631732074391177694867189608672656282587746326857185813264375984869174877355018078320210038836004257107953253514884876342737662742789350644727795905326735969536126392487710155941262698126109071979520*y^19 + 129109450479987122782223209896058635779109372647348363234177458558399574358685498389697226398280362117522874526456342174063972595808263176094622805853894570302132227057091061909704830927576674122226319877449527636910314062849616566708831710905630451099092220534107848767/242713212402570804635134932910003789071982771552099513649822755350875815866037195588847433594804336328141293873163428592906632187992434587438677509039160105019418002128553976626757442438171368831371394675322363897952663367984768063196243855077970631349063054535989760*y^18 - 66622042590272718752362395700680074147449818329318971813174006758691475283151383650819277791126718998499801054284211623968570343559405468473230344921965083643534127130874941969518272364739849163414205371934491595116755829615908356981881314685854385596755038119090262393/48542642480514160927026986582000757814396554310419902729964551070175163173207439117769486718960867265628258774632685718581326437598486917487735501807832021003883600425710795325351488487634273766274278935064472779590532673596953612639248771015594126269812610907197952*y^17 - 2927803250791652445807376829352956455091019656158515130137939874930860010809475930512489821092747253505010987359312395206697906434323258301541088037954844835319648015519893539880277489152217509651139231005934784762122341483054282294095709769691933884875970938605887095439/485426424805141609270269865820007578143965543104199027299645510701751631732074391177694867189608672656282587746326857185813264375984869174877355018078320210038836004257107953253514884876342737662742789350644727795905326735969536126392487710155941262698126109071979520*y^16 - 1302875373853987559737371630172271362649972518864409758085163754186642228846151295885386875451679398166283915189129787531963406358172582450515396261335351076976439043737592186395071967673928460288422887496314067458893453086568562870148964823635216276771048659853732761501/242713212402570804635134932910003789071982771552099513649822755350875815866037195588847433594804336328141293873163428592906632187992434587438677509039160105019418002128553976626757442438171368831371394675322363897952663367984768063196243855077970631349063054535989760*y^15 + 572298400688851423476878179427794159145806798762762993406845827731552358865832670220896832780259179033230178944434703646574646140075203989427760918427701572812370827123865214745125928479441883995317787075675823269566748150904328080391376960222947929218949477962217535187/121356606201285402317567466455001894535991385776049756824911377675437907933018597794423716797402168164070646936581714296453316093996217293719338754519580052509709001064276988313378721219085684415685697337661181948976331683992384031598121927538985315674531527267994880*y^14 + 469802181825487946433772094207711939913164871146422334296182730345003378612810376480199270568342417212265976284334249783877101415819628974011231294384573584650925236023625429210170723772166258457478673548079300164129784054116105286427235942210216046340438530468139679217/48542642480514160927026986582000757814396554310419902729964551070175163173207439117769486718960867265628258774632685718581326437598486917487735501807832021003883600425710795325351488487634273766274278935064472779590532673596953612639248771015594126269812610907197952*y^13 + 1372274837005339267407761421414212063502015417166082428635606525747515919666078655413083457172710646200396951348362453661578731946378978825822721757125590014311422789633636717347207294241607085168916629760950080038303754154343952975098625176703976584413843382390296017819/485426424805141609270269865820007578143965543104199027299645510701751631732074391177694867189608672656282587746326857185813264375984869174877355018078320210038836004257107953253514884876342737662742789350644727795905326735969536126392487710155941262698126109071979520*y^12 - 108492338627487967326408824038861370275057926446949382161930601933326516587997217080302317273038836403750613059191939723866332548042323050553070613899293832462758228364711118084837906424825480264682078212362958562821365831511720835324052182586447774934845828213518631481/80904404134190268211711644303334596357327590517366504549940918450291938622012398529615811198268112109380431291054476197635544062664144862479559169679720035006472667376184658875585814146057122943790464891774121299317554455994922687732081285025990210449687684845329920*y^11 + 31992600265392055527873367180153172555413577514958481188820202177869829691545214242790526401189913779944834885610635297888747200562469613356466220353441302061848986668573018637942457183705457412143265744777790782889470955478792081323213767942925965452216595913072400779/20226101033547567052927911075833649089331897629341626137485229612572984655503099632403952799567028027345107822763619049408886015666036215619889792419930008751618166844046164718896453536514280735947616222943530324829388613998730671933020321256497552612421921211332480*y^10 + 248614397876581719028693043690870768135275246991806577457091881458583257600481049297348225230489298293747715516000668201349514298400387644975244160484727813984661323624902652636365193814019154689401029961707792535323381002508569394725811000256542667605568996970399389467/48542642480514160927026986582000757814396554310419902729964551070175163173207439117769486718960867265628258774632685718581326437598486917487735501807832021003883600425710795325351488487634273766274278935064472779590532673596953612639248771015594126269812610907197952*y^9 + 523272724776730744360713569243880346312736618375731325152521952883496961829948633564209858874509675020412809108307622798951887487766368328402114316343998806668991094331646012544687210684603016678037517726989014504876994935539382926931713481473205896688777602070805732995/97085284961028321854053973164001515628793108620839805459929102140350326346414878235538973437921734531256517549265371437162652875196973834975471003615664042007767200851421590650702976975268547532548557870128945559181065347193907225278497542031188252539625221814395904*y^8 - 226859219282222080785729066020807472865279116814865773390642162064387633104203993407996010064217090523792020099070152427322261136369519012156672269405832960357747930310876593983451477844429230115843822155354656285405318922124949046936680241336206153980935036708711629961/485426424805141609270269865820007578143965543104199027299645510701751631732074391177694867189608672656282587746326857185813264375984869174877355018078320210038836004257107953253514884876342737662742789350644727795905326735969536126392487710155941262698126109071979520*y^7 - 1844508027069924492488203246684450353001639096631866434316698322213541506198116732998780090706362691561048149154731372289896304823712534003582048973383162088658533173986409861417427473809853831101763800248767561273780601124072483379489813463056636802042937354767344570203/485426424805141609270269865820007578143965543104199027299645510701751631732074391177694867189608672656282587746326857185813264375984869174877355018078320210038836004257107953253514884876342737662742789350644727795905326735969536126392487710155941262698126109071979520*y^6 - 13053813820846906351302853149851727738237764756872091255194396452176962961526449833194263205098244909856528785731225937717633556606166373665773622384761856902200100533651570928846848409726015440186379936833842917637078326038928921031200089495684165566351614160765736241/12135660620128540231756746645500189453599138577604975682491137767543790793301859779442371679740216816407064693658171429645331609399621729371933875451958005250970900106427698831337872121908568441568569733766118194897633168399238403159812192753898531567453152726799488*y^5 + 2378735790351481598108081105749628260417714026265951764294766168381572238240249517416396687470954926643278071795763623584455013669036480012673362714962116805948133372663250479220457158638306688788429977706433179111572412777095926414765732079607393679227210302748064323/10787253884558702428228219240444612847643678735648867273325455793372258482934986470615441493102414947917390838807263493018072541688552648330607889290629338000863022316824621183411441886140949725838728652236549506575673927465989691697610838003465361393291691312710656*y^4 + 20756527077104707777527326994941236530079294277482633507110778875599498195024828513477541431863072730909945456402077829800673455271312487970782482841039837314785272943061192270805508351932723605400495471306840581194431292124799197535971423441196290920347335208745903019/97085284961028321854053973164001515628793108620839805459929102140350326346414878235538973437921734531256517549265371437162652875196973834975471003615664042007767200851421590650702976975268547532548557870128945559181065347193907225278497542031188252539625221814395904*y^3 + 2318910861313756665732342945811863910886625370080158760927618709791495153022986154657208487660079787039838330912902339882236345486795219612215117700645343750641070545594329652777267725339518455494939404039607831349730533213673586020473676884415094213905851417503254639/40452202067095134105855822151667298178663795258683252274970459225145969311006199264807905599134056054690215645527238098817772031332072431239779584839860017503236333688092329437792907073028561471895232445887060649658777227997461343866040642512995105224843842422664960*y^2 + 1199773134003191842027792671241623960642563869235458728109991350966170373909006414937368273465767267535325211933306917049302660365832730432028137407734092846164868728725747977608591146806509027583650809468029790130098090165605086069385314065847164988940900770359697797/161808808268380536423423288606669192714655181034733009099881836900583877244024797059231622396536224218760862582108952395271088125328289724959118339359440070012945334752369317751171628292114245887580929783548242598635108911989845375464162570051980420899375369690659840*y + 93183865093827049136056388632365621333269351080760206444757011686198250806427232286542278802967782045739084539853197893309540931178091776138184935457129809278029824894099192522581543819760395923321771750997673100096257138945703785923145103157440831744643769943901561/242713212402570804635134932910003789071982771552099513649822755350875815866037195588847433594804336328141293873163428592906632187992434587438677509039160105019418002128553976626757442438171368831371394675322363897952663367984768063196243855077970631349063054535989760