# Manifold: Census Knot K8_182 # Number of Tetrahedra: 8 # Number Field x^25 + 15*x^24 - 51*x^23 - 788*x^22 - 1880*x^21 + 1164*x^20 + 7343*x^19 - 4989*x^18 - 32456*x^17 - 3015*x^16 + 70864*x^15 + 35545*x^14 - 70932*x^13 - 64954*x^12 + 72013*x^11 + 49189*x^10 - 59921*x^9 - 31881*x^8 + 36140*x^7 + 13286*x^6 - 20790*x^5 + 1953*x^4 + 4319*x^3 - 1048*x^2 - 240*x + 64 # Approximate Field Generator -0.698386850684287 + 0.984672857704103*I # Shape Parameters 132153587686974126668221240987589512174926594916851383/278357395482249290986569097316154049773826425009182170276*y^24 + 1179211923198988424633926808416630172313736725746080721/278357395482249290986569097316154049773826425009182170276*y^23 - 18928978018322512445626588053543687346144808722689028353/278357395482249290986569097316154049773826425009182170276*y^22 - 16358998569180096387231167322380084273548654369016866581/69589348870562322746642274329038512443456606252295542569*y^21 + 97479981588414891988402217018793446579373402369460851822/69589348870562322746642274329038512443456606252295542569*y^20 + 445440599508046104622536913960275777203482794582967133116/69589348870562322746642274329038512443456606252295542569*y^19 + 397042928848987697369294670623153674518191050571334304985/278357395482249290986569097316154049773826425009182170276*y^18 - 6491135287777065961172361964460307563337174027424085314579/278357395482249290986569097316154049773826425009182170276*y^17 - 371137151070635509605441433009262548371181248627804388998/69589348870562322746642274329038512443456606252295542569*y^16 + 25283380000939467337252898513114155013530283952812476932303/278357395482249290986569097316154049773826425009182170276*y^15 + 4147600124467464703626510682483262981241032382274903841468/69589348870562322746642274329038512443456606252295542569*y^14 - 47716726193072388556409072217980717663824816831625167179793/278357395482249290986569097316154049773826425009182170276*y^13 - 11705507804669720156830172146485125280504530632946718798954/69589348870562322746642274329038512443456606252295542569*y^12 + 16630629614711151774909495958144723607027407828172185250055/139178697741124645493284548658077024886913212504591085138*y^11 + 62645672393406576079214717601808867881466661192257757919919/278357395482249290986569097316154049773826425009182170276*y^10 - 34913716487873859877286061140749420876804082891145794640865/278357395482249290986569097316154049773826425009182170276*y^9 - 44112243813400537571289970712342615011123975314200678684919/278357395482249290986569097316154049773826425009182170276*y^8 + 34294049825450924593715883858601718978771302090053827789373/278357395482249290986569097316154049773826425009182170276*y^7 + 7679109135802801685915124897782275726553884651982298331781/69589348870562322746642274329038512443456606252295542569*y^6 - 9085397504708125960299127446305066013493912142579545665721/139178697741124645493284548658077024886913212504591085138*y^5 - 6361348130148557872333205734904821622113403373166885654167/139178697741124645493284548658077024886913212504591085138*y^4 + 13350473636168860961788893480327412836119274340987742999735/278357395482249290986569097316154049773826425009182170276*y^3 - 927941333320937633434922400897661853389781326742572285099/278357395482249290986569097316154049773826425009182170276*y^2 - 539598016574711966682177340819871821482329480262654489628/69589348870562322746642274329038512443456606252295542569*y + 23649693903234048309113105747014184029919246865355899177/69589348870562322746642274329038512443456606252295542569 -1780798988084683192540115220485501001564217525761846453/139178697741124645493284548658077024886913212504591085138*y^24 - 27842383136884303221483991923176457583358460924497202561/139178697741124645493284548658077024886913212504591085138*y^23 + 72984896711867924323733162873464115072473064014425379503/139178697741124645493284548658077024886913212504591085138*y^22 + 723583902235673321748722746447143495841103797163576652473/69589348870562322746642274329038512443456606252295542569*y^21 + 2137309555038109406284559387772262081345717806017074596323/69589348870562322746642274329038512443456606252295542569*y^20 + 382226465608758199414700771077124139659690787753498339835/69589348870562322746642274329038512443456606252295542569*y^19 - 12277733778248866367771321687871557013951815279760180067537/139178697741124645493284548658077024886913212504591085138*y^18 + 1087700427746552115985335944259033701356084585756923315353/139178697741124645493284548658077024886913212504591085138*y^17 + 28907802126784933376441243498140917509424294486232559778604/69589348870562322746642274329038512443456606252295542569*y^16 + 42924031013613284628918521524004847495715692203566376127607/139178697741124645493284548658077024886913212504591085138*y^15 - 47476772170899482896284276290817731918261505431327106510486/69589348870562322746642274329038512443456606252295542569*y^14 - 122184467593198550018032120013199509162760412014326447241033/139178697741124645493284548658077024886913212504591085138*y^13 + 22024525919094232915445252609807254134041825235261466105881/69589348870562322746642274329038512443456606252295542569*y^12 + 70571312291420113592232890461822556066128009085867670788060/69589348870562322746642274329038512443456606252295542569*y^11 - 36455950115812320221116448043210192367352007205347029634893/139178697741124645493284548658077024886913212504591085138*y^10 - 107485395165520492068756594196924884490414145283711039963629/139178697741124645493284548658077024886913212504591085138*y^9 + 31907771552477920913532069864666612380427601374446090624207/139178697741124645493284548658077024886913212504591085138*y^8 + 77626490509974950199766442603346622652137833649507681360653/139178697741124645493284548658077024886913212504591085138*y^7 - 7851176775980927227155592313722709856690125094271885613927/69589348870562322746642274329038512443456606252295542569*y^6 - 16155537855277950537332725290562913035899047665315723058788/69589348870562322746642274329038512443456606252295542569*y^5 + 6967901863373660856465173449999501041546394085069964972805/69589348870562322746642274329038512443456606252295542569*y^4 + 7224191253298538688200510955834771505594113734542498940289/139178697741124645493284548658077024886913212504591085138*y^3 - 4228607402060490215304190233922663221099048108896476515367/139178697741124645493284548658077024886913212504591085138*y^2 - 302932817838988394478603116748673889704635114795283686404/69589348870562322746642274329038512443456606252295542569*y + 99044624461604889215345633797622612268699634542871351072/69589348870562322746642274329038512443456606252295542569 -47794307394237638196635878418748346729406402720245904659683327277975/1118342843734356036353080934795453512043667066638406510180645854585888*y^24 - 743369933977311825248803015903457726808151552673208079334850425798155/1118342843734356036353080934795453512043667066638406510180645854585888*y^23 + 2031574468317311231861832704177986170163222622875493228913568372698223/1118342843734356036353080934795453512043667066638406510180645854585888*y^22 + 19435032200772841077619873344926097978102779139745938838336635965155277/559171421867178018176540467397726756021833533319203255090322927292944*y^21 + 13886878580629522472789465903643938026644881979776119803299714466372767/139792855466794504544135116849431689005458383329800813772580731823236*y^20 + 368857361746545636948063528379369225213765751107351003409487130440015/279585710933589009088270233698863378010916766659601627545161463646472*y^19 - 360999588578727757496332093628612377233054218131082423097336258542918801/1118342843734356036353080934795453512043667066638406510180645854585888*y^18 + 43704330470650363724017811991259126041738281019148044804914813567513037/1118342843734356036353080934795453512043667066638406510180645854585888*y^17 + 807888062103202979303501975546118460548518808678468868292711587500503933/559171421867178018176540467397726756021833533319203255090322927292944*y^16 + 1014924562896396900538267125838443919068315683381896030646393985073283849/1118342843734356036353080934795453512043667066638406510180645854585888*y^15 - 1502245971926584630623608261090120632874415522716354695132491909445974873/559171421867178018176540467397726756021833533319203255090322927292944*y^14 - 3397017651514756059870751160546660707816960166186919997868160436344694295/1118342843734356036353080934795453512043667066638406510180645854585888*y^13 + 943368527255316887021559214545907793241180021267474734234272667859641573/559171421867178018176540467397726756021833533319203255090322927292944*y^12 + 2188396477010173661030140681873037875795357060543488476020361021940918163/559171421867178018176540467397726756021833533319203255090322927292944*y^11 - 1365971726196182746053099461249470320527755236861043131431668847085094359/1118342843734356036353080934795453512043667066638406510180645854585888*y^10 - 3478325661346617768597715624604973224369589440275629226508549236454431053/1118342843734356036353080934795453512043667066638406510180645854585888*y^9 + 1283397875472561322755182833005016622331395739669266782850392995423925429/1118342843734356036353080934795453512043667066638406510180645854585888*y^8 + 2509870754163767615745512735895105256175505934869893378179420905543964905/1118342843734356036353080934795453512043667066638406510180645854585888*y^7 - 314024687474580450577101169943610760664583398714617493333715894993332925/559171421867178018176540467397726756021833533319203255090322927292944*y^6 - 581563905747210231225067342215103433567053181340081210915334080412011973/559171421867178018176540467397726756021833533319203255090322927292944*y^5 + 259176550808155825874482208966441798717143792729372991048277351637678567/559171421867178018176540467397726756021833533319203255090322927292944*y^4 + 265873266621365811014435852055956113749609201425648695730426937137597285/1118342843734356036353080934795453512043667066638406510180645854585888*y^3 - 160167004618947151578942695938954482859069441070590126692491289503847499/1118342843734356036353080934795453512043667066638406510180645854585888*y^2 - 14439125694420990353329876246998283901646617572785181136726960309149455/559171421867178018176540467397726756021833533319203255090322927292944*y + 1887999523666352341544123913771958200308217286046475838548751013562087/139792855466794504544135116849431689005458383329800813772580731823236 -6747699866183652421916964064762040060976919323863408525538267369045/2236685687468712072706161869590907024087334133276813020361291709171776*y^24 - 87146133089389541964003104602786914574798873832664887279280771801895/2236685687468712072706161869590907024087334133276813020361291709171776*y^23 + 557680858757791016575336203278535414717569502974528620973700208027483/2236685687468712072706161869590907024087334133276813020361291709171776*y^22 + 579863723948609754065505909513205507253384713476692359707435280941573/279585710933589009088270233698863378010916766659601627545161463646472*y^21 + 187053750848475178958427328960031697224218749198697827958604120818125/279585710933589009088270233698863378010916766659601627545161463646472*y^20 - 9088668655230791806350231573117224199568774445257446875595598673295383/559171421867178018176540467397726756021833533319203255090322927292944*y^19 - 39207869149753171495352490406660753758797941050384709314814553434431211/2236685687468712072706161869590907024087334133276813020361291709171776*y^18 + 136286175386218147965974403998615526238454134055225858377850282510848045/2236685687468712072706161869590907024087334133276813020361291709171776*y^17 + 41900125065648142976551786781212335496550163074035775939293777969215193/559171421867178018176540467397726756021833533319203255090322927292944*y^16 - 437132718632513871747673540027863824910909923256781143156104133515683149/2236685687468712072706161869590907024087334133276813020361291709171776*y^15 - 151582727219273215390791632582588357598602814078167445574189421153116615/559171421867178018176540467397726756021833533319203255090322927292944*y^14 + 695029868851008502422861521069486027332649935909494555900724204997580275/2236685687468712072706161869590907024087334133276813020361291709171776*y^13 + 141374281998834312729753090452728341636913560680138587511735772029851203/279585710933589009088270233698863378010916766659601627545161463646472*y^12 - 184269552837480183763439731350595832532680517170998117626208277814906727/1118342843734356036353080934795453512043667066638406510180645854585888*y^11 - 1489584112456750691303146679278470702657649820751911867652530604639114009/2236685687468712072706161869590907024087334133276813020361291709171776*y^10 + 434387259802335190408205219018194205846979264740526371282555898335614267/2236685687468712072706161869590907024087334133276813020361291709171776*y^9 + 1151135075784927788889744580247289828986882795761101387879607941398806601/2236685687468712072706161869590907024087334133276813020361291709171776*y^8 - 423611171167226818230249478250082964135119792271969433482258523225146967/2236685687468712072706161869590907024087334133276813020361291709171776*y^7 - 46113249239574501784448813732460888099409632887150993185379900734510905/139792855466794504544135116849431689005458383329800813772580731823236*y^6 + 137043749466693664304688222355866286059833230777379476259480235748265513/1118342843734356036353080934795453512043667066638406510180645854585888*y^5 + 173974563649466188001502139668527672161771364855062093003066985506588499/1118342843734356036353080934795453512043667066638406510180645854585888*y^4 - 231792997605875852812230942274842358388234954686529368092703609896104493/2236685687468712072706161869590907024087334133276813020361291709171776*y^3 - 21655071119814173676058116800792939925778369030439371232858244974721207/2236685687468712072706161869590907024087334133276813020361291709171776*y^2 + 11711166758088271145899147428468106412870666031485960070780177708427737/559171421867178018176540467397726756021833533319203255090322927292944*y - 282684812707147451369776062684219018289016262670371959313316199771951/139792855466794504544135116849431689005458383329800813772580731823236 -18508502099652570452515686962605725033554127233061964441233406143061/559171421867178018176540467397726756021833533319203255090322927292944*y^24 - 287230217606845639431071494038128882030127840604829470142833901248247/559171421867178018176540467397726756021833533319203255090322927292944*y^23 + 795695166126117518356906744374275677707757955926245877494917283675179/559171421867178018176540467397726756021833533319203255090322927292944*y^22 + 1875907651876252521720551727921942847731975069598958969294608978575325/69896427733397252272067558424715844502729191664900406886290365911618*y^21 + 5313962022993153339255704028844567717069507213603781436683877704352465/69896427733397252272067558424715844502729191664900406886290365911618*y^20 - 1405301371309789275493374018540055223217871165471575194165486891919/139792855466794504544135116849431689005458383329800813772580731823236*y^19 - 135817991173833469332034591803868352945742614024155356978232457342119499/559171421867178018176540467397726756021833533319203255090322927292944*y^18 + 26756446271192312459923655734040268462333005441876150959605059547975229/559171421867178018176540467397726756021833533319203255090322927292944*y^17 + 154963528958904165928963193749677064444254386641264979181814654852968121/139792855466794504544135116849431689005458383329800813772580731823236*y^16 + 363181428169034145944245160237147766954709018643499087731510452289318051/559171421867178018176540467397726756021833533319203255090322927292944*y^15 - 284669156542417578377120934362912496482326794139184788416638186049885967/139792855466794504544135116849431689005458383329800813772580731823236*y^14 - 1196335156718659051469736949286548141480520956136725928031823521545467453/559171421867178018176540467397726756021833533319203255090322927292944*y^13 + 95509521608808877679169289312116448452700448795340643532395251683991383/69896427733397252272067558424715844502729191664900406886290365911618*y^12 + 772266655660844043617217525282874267828709461177181903300521284151262297/279585710933589009088270233698863378010916766659601627545161463646472*y^11 - 632864665330639944807364608254261042419601707237510132810183926991365001/559171421867178018176540467397726756021833533319203255090322927292944*y^10 - 1234623293005832465287196973193446489218273397013121354708878663563272117/559171421867178018176540467397726756021833533319203255090322927292944*y^9 + 586778740872922182400428015681950907046097544964693804217373286968063321/559171421867178018176540467397726756021833533319203255090322927292944*y^8 + 837852663317893235002506789354475197457217965409139409398683568212059529/559171421867178018176540467397726756021833533319203255090322927292944*y^7 - 18734035626253520605045080254784855323639068763567846629060076396287589/34948213866698626136033779212357922251364595832450203443145182955809*y^6 - 194515697533172600495906837790212143623780885270365084200167326358731279/279585710933589009088270233698863378010916766659601627545161463646472*y^5 + 117292443165215719052810092310298212870131510821355057302101156594583915/279585710933589009088270233698863378010916766659601627545161463646472*y^4 + 56419145293040346756727673395591908917120961836520442491651793426693331/559171421867178018176540467397726756021833533319203255090322927292944*y^3 - 58852754386007908610422739337493395381282172108124272390148261524204823/559171421867178018176540467397726756021833533319203255090322927292944*y^2 - 212058917864970881736404408288120644044856447009706981481564254639195/139792855466794504544135116849431689005458383329800813772580731823236*y + 230345683217343343745951604971238151468624368344109985580008357453368/34948213866698626136033779212357922251364595832450203443145182955809 -132452869016615377705826650650926674633262480188268541901344823830413/46096694090175487873428554781100099449549901903001818341508496318712071*y^24 - 2045232312113931298951155038293670132879082826117706285704514102940024/46096694090175487873428554781100099449549901903001818341508496318712071*y^23 + 5823635032442117769538842816150389769297299050106660068839720698028107/46096694090175487873428554781100099449549901903001818341508496318712071*y^22 + 106519293688959212703463252767178966337445269967782021298082413672088927/46096694090175487873428554781100099449549901903001818341508496318712071*y^21 + 297688059066906880153957043584059136608006111385728591945705732325104145/46096694090175487873428554781100099449549901903001818341508496318712071*y^20 - 648815826646702967902941736451495328485406763966720859525159466462368/46096694090175487873428554781100099449549901903001818341508496318712071*y^19 - 928519489442008825697177061962168434645863056705487792481510998629259021/46096694090175487873428554781100099449549901903001818341508496318712071*y^18 + 195186610746345400656715388337975128702161698374412618867088530358537798/46096694090175487873428554781100099449549901903001818341508496318712071*y^17 + 4194826282165797800211127988265301603447325895621002032480534015785313385/46096694090175487873428554781100099449549901903001818341508496318712071*y^16 + 2495063794338254348545883137020590120220402570370287338612217412185778276/46096694090175487873428554781100099449549901903001818341508496318712071*y^15 - 7418247532720872191560062210503426088864729065816222874063270423385908883/46096694090175487873428554781100099449549901903001818341508496318712071*y^14 - 8297948212282061481878826883905467212352105010904277839713657672254015497/46096694090175487873428554781100099449549901903001818341508496318712071*y^13 + 3724409791186906216008779869333466402752296801696478507670514631932229988/46096694090175487873428554781100099449549901903001818341508496318712071*y^12 + 10176899868160681253679717863749869687905483576700801010731626260690423231/46096694090175487873428554781100099449549901903001818341508496318712071*y^11 - 2573915871745481887445700975169900331117958535506043820718576236215920840/46096694090175487873428554781100099449549901903001818341508496318712071*y^10 - 6624344281339122251495736845513214931214001626222476617320435773306490708/46096694090175487873428554781100099449549901903001818341508496318712071*y^9 + 2101530068423730997730196764979617551088996311991432873185380802600034987/46096694090175487873428554781100099449549901903001818341508496318712071*y^8 + 4477721227853212483859428645086557894495784990022906465020219938451373063/46096694090175487873428554781100099449549901903001818341508496318712071*y^7 - 688297779322320458289607299684068532720675370710601705583233588064921427/46096694090175487873428554781100099449549901903001818341508496318712071*y^6 - 1737389368127389538475461505857633570166193568365521525540329125026365961/46096694090175487873428554781100099449549901903001818341508496318712071*y^5 + 730820114096857278747812837626547937440920085673051273203282496908023559/46096694090175487873428554781100099449549901903001818341508496318712071*y^4 - 90590440697390078860507029835028877508222955390075783165613428233086718/46096694090175487873428554781100099449549901903001818341508496318712071*y^3 + 30246645872040790902772118626403370716053846523193956024901814643249593/46096694090175487873428554781100099449549901903001818341508496318712071*y^2 - 54500714863819045648831911584147351765441070719622970832481879129289795/46096694090175487873428554781100099449549901903001818341508496318712071*y + 34352637675258564300858417035296190460313976655009315559732155268132439/46096694090175487873428554781100099449549901903001818341508496318712071 243920981942561051954290309107609056749068613433090565770424860193/34948213866698626136033779212357922251364595832450203443145182955809*y^24 + 3563554343385918063622893816258229875733197034309853090378107857770/34948213866698626136033779212357922251364595832450203443145182955809*y^23 - 13925876542352313914100032247797337004390110933257629154491548861858/34948213866698626136033779212357922251364595832450203443145182955809*y^22 - 188253931500791386779205234321601623747058390494656369363010005000659/34948213866698626136033779212357922251364595832450203443145182955809*y^21 - 381344706820869921754637428770953050093586099121715981295713503603509/34948213866698626136033779212357922251364595832450203443145182955809*y^20 + 509815765071528071882669840721746798506333857537094892947026652399989/34948213866698626136033779212357922251364595832450203443145182955809*y^19 + 1825971645023188750104366026631653209983490380057200433338600940661894/34948213866698626136033779212357922251364595832450203443145182955809*y^18 - 1866007052463792463928968169774838644734237235631548608257861390963739/34948213866698626136033779212357922251364595832450203443145182955809*y^17 - 7825247876927616075741971648388798931731378811607522695021823845838321/34948213866698626136033779212357922251364595832450203443145182955809*y^16 + 2342978540167689650479211611898646634218058671372644768680289620768295/34948213866698626136033779212357922251364595832450203443145182955809*y^15 + 19472376393766544174543144838107012127478938088561019242070111480430954/34948213866698626136033779212357922251364595832450203443145182955809*y^14 + 3636010611575602502692734691722815149489304080704248297719816320926565/34948213866698626136033779212357922251364595832450203443145182955809*y^13 - 23493805654184823871303781322377583975319419054589424376143135558378869/34948213866698626136033779212357922251364595832450203443145182955809*y^12 - 13352868284569050061256095941726367467573317544845306428498777279091366/34948213866698626136033779212357922251364595832450203443145182955809*y^11 + 24885409326176478066140777409989908251795080594193696221967468881541215/34948213866698626136033779212357922251364595832450203443145182955809*y^10 + 10099063835287343213921577998867161889373301303513653948667250177759993/34948213866698626136033779212357922251364595832450203443145182955809*y^9 - 19887877745756112625694396640089642984341429637314649918986169539132496/34948213866698626136033779212357922251364595832450203443145182955809*y^8 - 6122081766467812095817072515315488770891422708015150863042297194439535/34948213866698626136033779212357922251364595832450203443145182955809*y^7 + 12250633351625883217700313162502744170789345183184195076622728480704175/34948213866698626136033779212357922251364595832450203443145182955809*y^6 + 2316609576807214664828835061508461770738481476908135837110632908930493/34948213866698626136033779212357922251364595832450203443145182955809*y^5 - 6579996946302179510313921672120471408279201912077439405261775411173657/34948213866698626136033779212357922251364595832450203443145182955809*y^4 + 1140015944163664453245922920172681442336582132617335019014718613010053/34948213866698626136033779212357922251364595832450203443145182955809*y^3 + 1109435490197399856061159199411979628329793958828992194065950190798337/34948213866698626136033779212357922251364595832450203443145182955809*y^2 - 364174259841539196366938812724993406900833839559702988026529874271244/34948213866698626136033779212357922251364595832450203443145182955809*y - 96076424728995824278727418377300745594685650292005092181893446875535/34948213866698626136033779212357922251364595832450203443145182955809 -7443941374422228125387059987940572160231925713814977801475806343435/139792855466794504544135116849431689005458383329800813772580731823236*y^24 - 28428186727169990782228526743858119939776033042950381763122264689963/34948213866698626136033779212357922251364595832450203443145182955809*y^23 + 87023358170383052331431344611379756112573173918802142545218705101693/34948213866698626136033779212357922251364595832450203443145182955809*y^22 + 5959061388110824716450458483801466743232125436488769166767409113011577/139792855466794504544135116849431689005458383329800813772580731823236*y^21 + 3911315606609395132969421187403337717022236418018142424699550766323922/34948213866698626136033779212357922251364595832450203443145182955809*y^20 - 1051005294285563599294445166973949155595209097187253433973420847912275/34948213866698626136033779212357922251364595832450203443145182955809*y^19 - 55367592329010970591752209644071677812617070356715248031641979995162789/139792855466794504544135116849431689005458383329800813772580731823236*y^18 + 11021860724247063066836494744905722587199295727031977919146608212287503/69896427733397252272067558424715844502729191664900406886290365911618*y^17 + 246544788903724514027575560194754013277537012499362874485254421891087751/139792855466794504544135116849431689005458383329800813772580731823236*y^16 + 90339074238950177789069492175460997103740244357028129939653783462393117/139792855466794504544135116849431689005458383329800813772580731823236*y^15 - 497036962960503709478388715774729367194717231899653575015225447084174047/139792855466794504544135116849431689005458383329800813772580731823236*y^14 - 396355908731131458248229870204580509033012144220794288522864888588584175/139792855466794504544135116849431689005458383329800813772580731823236*y^13 + 410970329150158773157312239085721217562313393698365584730218948698786369/139792855466794504544135116849431689005458383329800813772580731823236*y^12 + 291806254138944609944812987007444842746855308885998296388319400613443415/69896427733397252272067558424715844502729191664900406886290365911618*y^11 - 374649975124246066474424368579472972595061783794991956445693603798955229/139792855466794504544135116849431689005458383329800813772580731823236*y^10 - 228438364256486264360969024524232313880858154704299956540128680223786303/69896427733397252272067558424715844502729191664900406886290365911618*y^9 + 79893830247093512230465282112137111868844540359598629037133776052527880/34948213866698626136033779212357922251364595832450203443145182955809*y^8 + 158226961042929989806061376451638793826499624234115861878846946014251651/69896427733397252272067558424715844502729191664900406886290365911618*y^7 - 180734294389678389706128209520456621671215841421243180320991914551349153/139792855466794504544135116849431689005458383329800813772580731823236*y^6 - 71103186084799591189608053553396367990919315231792788700748493276791555/69896427733397252272067558424715844502729191664900406886290365911618*y^5 + 28999704876471720483595336253565358825336132942310495561399174991907500/34948213866698626136033779212357922251364595832450203443145182955809*y^4 + 15129171693065348990602591492357896030373204321339337653778676583125071/139792855466794504544135116849431689005458383329800813772580731823236*y^3 - 6708245335763512442211182383593617213506108995684883488397427641442290/34948213866698626136033779212357922251364595832450203443145182955809*y^2 + 907918699242457024122395055602197237457860669320560727535064393189331/139792855466794504544135116849431689005458383329800813772580731823236*y + 525030343279655542125444851007391700581981564932000403017316045636737/34948213866698626136033779212357922251364595832450203443145182955809 # A Gluing Matrix {{2,-2,-1,-1,-1,0,0,0},{-2,1,0,0,0,0,0,0},{-2,0,1,-1,1,1,2,-1},{-2,0,-1,1,1,1,2,0},{-2,0,0,0,2,1,2,-1},{0,0,0,1,0,0,-2,1},{0,0,1,1,1,-1,-1,-1},{0,0,-1,1,-1,0,-2,2}} # B Gluing Matrix {{1,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0},{0,0,1,0,1,0,0,0},{0,0,0,1,1,0,0,0},{0,0,0,0,2,0,0,0},{0,0,0,0,0,1,0,1},{0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,2}} # nu Gluing Vector {0, -1, 0, 0, 0, 1, 1, 0} # f Combinatorial flattening {0, -1, 0, 1, -1, 2, -1, -2} # f' Combinatorial flattening {-2, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -3015097452820740209752082017533341383926780445792720578202108114287823/559171421867178018176540467397726756021833533319203255090322927292944*y^24 - 45986334087833162574354931828431217999500476967119586641112463847075543/559171421867178018176540467397726756021833533319203255090322927292944*y^23 + 142109441682898606548765442125348635041524404640044564393651296495006963/559171421867178018176540467397726756021833533319203255090322927292944*y^22 + 1205302872693773613126491837066490882579474084300686150596905258300369367/279585710933589009088270233698863378010916766659601627545161463646472*y^21 + 392429136475921248242965852573035902653832763972202590949989730937245644/34948213866698626136033779212357922251364595832450203443145182955809*y^20 - 467421021057866829732947120798929025162785273113197578467608686763098649/139792855466794504544135116849431689005458383329800813772580731823236*y^19 - 22443275241352944639776461859221968675682102188362206500809930558015682873/559171421867178018176540467397726756021833533319203255090322927292944*y^18 + 9410949314570992311620751694411235640535083468355792214279925375016812937/559171421867178018176540467397726756021833533319203255090322927292944*y^17 + 49871197331158317233993375122945732591770138515564377714997573570165928027/279585710933589009088270233698863378010916766659601627545161463646472*y^16 + 34275825885371502436222115606188518872907344538041026970316861074048863465/559171421867178018176540467397726756021833533319203255090322927292944*y^15 - 101388169618581331926636810944771361090614045918294021875628567767556187675/279585710933589009088270233698863378010916766659601627545161463646472*y^14 - 156667493192840240178999525515842995880730883399208742580988034201527323783/559171421867178018176540467397726756021833533319203255090322927292944*y^13 + 85330762978671269166930184922957535154392830396484617968100125739521289771/279585710933589009088270233698863378010916766659601627545161463646472*y^12 + 117046740852897478949469127352226249239957683658785284611043480094682890327/279585710933589009088270233698863378010916766659601627545161463646472*y^11 - 156746492021667303657523535925846580274137692210120555969197437080690210215/559171421867178018176540467397726756021833533319203255090322927292944*y^10 - 182660640676038975664653615260578679518747950463545645580891718231766878953/559171421867178018176540467397726756021833533319203255090322927292944*y^9 + 133492813144748656641608889491538500046533760077967957663861382693623140209/559171421867178018176540467397726756021833533319203255090322927292944*y^8 + 126266423760933971609122628606070434544998755168632937899333500809515924973/559171421867178018176540467397726756021833533319203255090322927292944*y^7 - 37948443003559436831840936809414699348843167856279589270255812899406264911/279585710933589009088270233698863378010916766659601627545161463646472*y^6 - 28326140330606700852356810893209467066900566575015175687313053996495560049/279585710933589009088270233698863378010916766659601627545161463646472*y^5 + 24042350113303506772725718751839947736923312161689751308782681207722269163/279585710933589009088270233698863378010916766659601627545161463646472*y^4 + 5363279058600981513732843003081881126818204135991804209609665226135644069/559171421867178018176540467397726756021833533319203255090322927292944*y^3 - 11143672705444919814888267222490900014119009505827733044620741575411483383/559171421867178018176540467397726756021833533319203255090322927292944*y^2 + 217227741916684505570148638146639425648858156663599418642451158860235887/279585710933589009088270233698863378010916766659601627545161463646472*y + 49235771251033158637163373953358891646058022048731953650878442222044417/34948213866698626136033779212357922251364595832450203443145182955809 # 2 Loop Invariant -1402207059982736643565363348892169959121343029762373381573653144040238593006449842120491708120782596797502634101022242252819936091933186483425246407/13746442191644631729926146168329801784916826929877294124202683921678669976240673928478577238129640321297510795559126296254163741745422096318046690911296*y^24 - 68874564001526774517349940797250773238630469069475859890518884629444421467022295859452549532746389822570983892583705286329833774065249032242687818795/41239326574933895189778438504989405354750480789631882372608051765036009928722021785435731714388920963892532386677378888762491225236266288954140072733888*y^23 + 40775524593623006787307895525544884767124893984791173038398370189022759993172876755222604621730763159182643381109704105128311823862651447636163857045/13746442191644631729926146168329801784916826929877294124202683921678669976240673928478577238129640321297510795559126296254163741745422096318046690911296*y^22 + 440276634491190608851698818956500789121243682088111138720188930253048845526237081914889301735065626849824493652909991261793252592945764012286128323327/5154915821866736898722304813123675669343810098703985296576006470629501241090252723179466464298615120486566548334672361095311403154533286119267509091736*y^21 + 264398141090949511187406515872137147831810204485214855184151933098457848911358475558728352981536809010511194956029008207533682935334916588836821780331/859152636977789483120384135520612611557301683117330882762667745104916873515042120529911077383102520081094424722445393515885233859088881019877918181956*y^20 + 875383378937877336347114266723334840186903211430860900912747532536113051769020033526189447364023566334911781067653256440974862056621474335353157414877/3436610547911157932481536542082450446229206732469323531050670980419667494060168482119644309532410080324377698889781574063540935436355524079511672727824*y^19 - 24358745382394984845935868640141527403207757289801854869785343454732339758806773907130260590120107589609164191608898590451391267334047092120479466043355/41239326574933895189778438504989405354750480789631882372608051765036009928722021785435731714388920963892532386677378888762491225236266288954140072733888*y^18 - 20007156060920279851642296401431452698676020748980155256112444405882807823888765763713760686613340549574247368751606140630703316632257390117540329782459/41239326574933895189778438504989405354750480789631882372608051765036009928722021785435731714388920963892532386677378888762491225236266288954140072733888*y^17 + 31225568923493772746410421323972822346175502648495956241002219020793340981271817510506951667227414693465412454780733068932239913237498739416814184810261/10309831643733473797444609626247351338687620197407970593152012941259002482180505446358932928597230240973133096669344722190622806309066572238535018183472*y^16 + 67956432391171514644613150038617044885894838103207440393047350140343732155522643478909374014043448190801796145335060231224747147975628645916268560434885/13746442191644631729926146168329801784916826929877294124202683921678669976240673928478577238129640321297510795559126296254163741745422096318046690911296*y^15 - 996009533555138340191048327709893164510806077292092918394769335857052919760173860519121009985805855384768147040178279945400261610367251226283490888629/429576318488894741560192067760306305778650841558665441381333872552458436757521060264955538691551260040547212361222696757942616929544440509938959090978*y^14 - 430926874655074407001432398716063153915012242590444396027550868899669632574106402583536826558705655599723889362906584615862382266981547677419760081069053/41239326574933895189778438504989405354750480789631882372608051765036009928722021785435731714388920963892532386677378888762491225236266288954140072733888*y^13 - 57630911866853029944943612534270931670895218287522385372405830136427546274842876855258254386788049729310672401800148044503939073770451043905447534528279/10309831643733473797444609626247351338687620197407970593152012941259002482180505446358932928597230240973133096669344722190622806309066572238535018183472*y^12 + 145578177255286940273138163127728952289972587934418964803722588047740139775592509483626974177199118421076495456959075589842858231294934402565862400529257/20619663287466947594889219252494702677375240394815941186304025882518004964361010892717865857194460481946266193338689444381245612618133144477070036366944*y^11 + 81654880941564314895345933044261499597544618422022957596843287333671917971129626181309688138626477597335929717660917116923723159671636857065512205188393/13746442191644631729926146168329801784916826929877294124202683921678669976240673928478577238129640321297510795559126296254163741745422096318046690911296*y^10 - 154140785465280295196529522677616427525745906598772793553265737295708889095463881307046832440649662960286494552530446988026595684319266267781195574098389/41239326574933895189778438504989405354750480789631882372608051765036009928722021785435731714388920963892532386677378888762491225236266288954140072733888*y^9 - 160276206536577333137870941289639169513123780733268648878941940208624883356092936536254271577543805973762163562185580465946007771256833408406694094332719/41239326574933895189778438504989405354750480789631882372608051765036009928722021785435731714388920963892532386677378888762491225236266288954140072733888*y^8 + 124670493954942661513316342517035959575346995067385853824849847305957455007101660839576252259422302639225921149180159017706219001371351197739657033854229/41239326574933895189778438504989405354750480789631882372608051765036009928722021785435731714388920963892532386677378888762491225236266288954140072733888*y^7 + 20335070798754042725057727516759381161442356919644209571126206747475990580418498551798298779184270348058359870584185327972054851557169631331776921351677/5154915821866736898722304813123675669343810098703985296576006470629501241090252723179466464298615120486566548334672361095311403154533286119267509091736*y^6 - 5988308044080787088597431072986764253660196682691292490528409883974650408947159188796902269368913716393845561954746619251686919430559159595234405342761/20619663287466947594889219252494702677375240394815941186304025882518004964361010892717865857194460481946266193338689444381245612618133144477070036366944*y^5 - 7952296816378810764020661034127247758203630626931361487582790686634328728053245549568678151967548033295234783567758335245756841499096565293006999499393/6873221095822315864963073084164900892458413464938647062101341960839334988120336964239288619064820160648755397779563148127081870872711048159023345455648*y^4 + 4459997232483943642606284513990884255398742766839557484780906339725300984526009180803477044850256887440210930922305870428438872788968604940534147203871/41239326574933895189778438504989405354750480789631882372608051765036009928722021785435731714388920963892532386677378888762491225236266288954140072733888*y^3 + 5379196433256862856346664894705892220365852762445626750649842884679206940547991542940359862204285292937448783375588094219112978095375731054807804200535/13746442191644631729926146168329801784916826929877294124202683921678669976240673928478577238129640321297510795559126296254163741745422096318046690911296*y^2 - 1921986561694222998994424463793969146358313592600877719889840540326215449755510107656351003136787305763381960871456822359519559161102321010990592734705/10309831643733473797444609626247351338687620197407970593152012941259002482180505446358932928597230240973133096669344722190622806309066572238535018183472*y + 27160426235052813677246166965566656606586995304359101045431895302920346826822680243724085441798340162514543894208059817177615271390979025366708966965/2577457910933368449361152406561837834671905049351992648288003235314750620545126361589733232149307560243283274167336180547655701577266643059633754545868 # 3 Loop Invariant -155682848542702833030223926719667116229118425470812589878271315914794766198758122521147397733851159373123805172011040760092021254331428749541940604048571340410403393336110340557811166231493/1077663033482020354161072746159813723584316462026728308558918923061462587597766390645230343416041520388623067742891856392121049091651058118307545315656907706955616367511589248062058353111979456*y^24 - 1133851587516148720253399426818897439763054597454632674152000238970840843114223450836933837589029416557541082056355563466931613027817917307479333873809435795952774219836464053526788117563315/538831516741010177080536373079906861792158231013364154279459461530731293798883195322615171708020760194311533871445928196060524545825529059153772657828453853477808183755794624031029176555989728*y^23 + 4500436342037267220775366818852543356523872823888417795120198813819838565410778909492830343142832448667915625466316109534076959180161369878070248957237165375207826971434331312297045829506389/538831516741010177080536373079906861792158231013364154279459461530731293798883195322615171708020760194311533871445928196060524545825529059153772657828453853477808183755794624031029176555989728*y^22 + 59991528926130556160339250797343142729885680034396208679268399517869565228557198864404141442031544435938539202692443776211831276079297296465705104101588326095930416323650820437536860955894709/538831516741010177080536373079906861792158231013364154279459461530731293798883195322615171708020760194311533871445928196060524545825529059153772657828453853477808183755794624031029176555989728*y^21 + 118749831086673483203599244536604940156428475944661636640507911593698992433163729371202993435233489911586315607443075993376962451756362215940981629609762381989202475955016673970403680343359239/538831516741010177080536373079906861792158231013364154279459461530731293798883195322615171708020760194311533871445928196060524545825529059153772657828453853477808183755794624031029176555989728*y^20 - 10845136781233814035301096005916628276629657671926792979921106169392990666525198189589567413485413008393615739072564807457343791779694979814895689230431648910522342203550739044272009762966577/33676969796313136067533523317494178862009889438335259642466216345670705862430199707663448231751297512144470866965370512253782784114095566197110791114278365842363011484737164001939323534749358*y^19 - 294924280611359063376609176680179179154896373962099955743443359884325435676411328548113602992485284773116489792676994515194739672445563697386127511764455269291136184608587648917434527247959013/269415758370505088540268186539953430896079115506682077139729730765365646899441597661307585854010380097155766935722964098030262272912764529576886328914226926738904091877897312015514588277994864*y^18 + 311820754865393452273172893526091544914733052642390106299596600892635576759014518050483118655005512801567210110422427572440245876225483134387819144167051116449345119602432373027253569548051047/269415758370505088540268186539953430896079115506682077139729730765365646899441597661307585854010380097155766935722964098030262272912764529576886328914226926738904091877897312015514588277994864*y^17 + 5029585247624247526650226659348458598887639916797225771159340779249932740614565217964604204964308253386876974894320796063179049058508823740936094654303199415530007751273265483759520002109122323/1077663033482020354161072746159813723584316462026728308558918923061462587597766390645230343416041520388623067742891856392121049091651058118307545315656907706955616367511589248062058353111979456*y^16 - 1760523174478819847630440771568948454861155812124571996111753252180113953995019582175628023618928965688863733493623559817919172873435120064483292360412252641645707575949301023181286610867284411/1077663033482020354161072746159813723584316462026728308558918923061462587597766390645230343416041520388623067742891856392121049091651058118307545315656907706955616367511589248062058353111979456*y^15 - 12754792979951212097248929770332253209359393161881359892306024441659186945596833165415608553945625773320487430882895639733825528839285437323860654615232268195093056350550210741357840098749162813/1077663033482020354161072746159813723584316462026728308558918923061462587597766390645230343416041520388623067742891856392121049091651058118307545315656907706955616367511589248062058353111979456*y^14 - 957134356773090485074094759094377493649788579456061153515509329435797297297509555084483179350371291339289617467725461557201138543960584679899326317487065418159882489753962757012894457963605001/538831516741010177080536373079906861792158231013364154279459461530731293798883195322615171708020760194311533871445928196060524545825529059153772657828453853477808183755794624031029176555989728*y^13 + 986082613400880676891614501258677200339874927971460143859007720150035629169903810378877623631556735035079388510681026835864019303252660904914841891762000915528666370546666779639875027455015693/67353939592626272135067046634988357724019778876670519284932432691341411724860399415326896463502595024288941733930741024507565568228191132394221582228556731684726022969474328003878647069498716*y^12 + 2112973603924592695965246083771275515205527140777865259569149818026629128936916416953822243851404354141888866739409546813764593636668167259160958299329923914306607909089538972378146768966438165/269415758370505088540268186539953430896079115506682077139729730765365646899441597661307585854010380097155766935722964098030262272912764529576886328914226926738904091877897312015514588277994864*y^11 - 16484173706464198709175489205754698572273117186320449598107523152823135516994528231651402596996274643305647746510013670156186231554067524254151113530477619635166135138130998769585928247899522143/1077663033482020354161072746159813723584316462026728308558918923061462587597766390645230343416041520388623067742891856392121049091651058118307545315656907706955616367511589248062058353111979456*y^10 - 398894754204649845553617609190861229005061470983863322828275064655208267066647728299315336186475160507753277515440550089925936750895053975764783234526122920383124422385836704553320952814434335/67353939592626272135067046634988357724019778876670519284932432691341411724860399415326896463502595024288941733930741024507565568228191132394221582228556731684726022969474328003878647069498716*y^9 + 6659853794838185378511964380201293875000353162128689024727132417759958321081070510771488433335187103309421891614682280753219278298984993721663213504923259684948593699606118391801443718905949659/538831516741010177080536373079906861792158231013364154279459461530731293798883195322615171708020760194311533871445928196060524545825529059153772657828453853477808183755794624031029176555989728*y^8 + 919036539722541488435609200427052766593461401240855134192857170417722859436272249733596927596350504857654896794204969886102469198631204958460962797065515932042945626036318886420569077645460603/269415758370505088540268186539953430896079115506682077139729730765365646899441597661307585854010380097155766935722964098030262272912764529576886328914226926738904091877897312015514588277994864*y^7 - 4065687245329190675287070400899943873124379976702473998863600624714112073908375579541021419982324140942018176837701530941112054953442670062833240269375558456274997174694617192008067992184751869/538831516741010177080536373079906861792158231013364154279459461530731293798883195322615171708020760194311533871445928196060524545825529059153772657828453853477808183755794624031029176555989728*y^6 - 691370510026532426999769546337878831076789602507764822370560895833840305111923211673363328959362806703547719828920384022007315361419414340240085641536044492666184615652498981207966978188804737/538831516741010177080536373079906861792158231013364154279459461530731293798883195322615171708020760194311533871445928196060524545825529059153772657828453853477808183755794624031029176555989728*y^5 + 252603444505575733584836407768662409621442405604465777765509973091002758021291851181456307555008230775523557571506190528689845546606920662261485341578474730747950026783873512499057090651330315/67353939592626272135067046634988357724019778876670519284932432691341411724860399415326896463502595024288941733930741024507565568228191132394221582228556731684726022969474328003878647069498716*y^4 - 894380147138608703629903150137549248814884621231626071604076860725215740398668618292158798019485112633253293800595959714213246535302136792492094185120368233613636719218545900751442410772754223/1077663033482020354161072746159813723584316462026728308558918923061462587597766390645230343416041520388623067742891856392121049091651058118307545315656907706955616367511589248062058353111979456*y^3 - 165324320434015859812370679666376624111083962900114014906831301586541792785847172675999727009669421080552223085914398788314763322012822796021675107899220493061434396878885236731434169790066737/269415758370505088540268186539953430896079115506682077139729730765365646899441597661307585854010380097155766935722964098030262272912764529576886328914226926738904091877897312015514588277994864*y^2 + 24485865890967269927023444650301263669870181301465791638760360466803986488166028414363822772734273392496749851538415027290902415402130235359663837261606990694982856799329991249581366804089497/134707879185252544270134093269976715448039557753341038569864865382682823449720798830653792927005190048577883467861482049015131136456382264788443164457113463369452045938948656007757294138997432*y + 235629906768821407943274321214487701294806993575332366963970266791938004613280667175217165464805053610700981333181143486931398070871398475437141372164067652667753561344677151186308353902411/16838484898156568033766761658747089431004944719167629821233108172835352931215099853831724115875648756072235433482685256126891392057047783098555395557139182921181505742368582000969661767374679 # 4 Loop Invariant 147247111034361995550507649530334991835614320861281562857504299493976750387718721814891346593389147262831416001459454710682558953476727227820188532153532107002123473184366764555897850429695096916020413275274560533881598213131290016776968505579107680052593336676673655769837/1589569711094979672600059251053657896094600034182380120914680118852913760710212754059637592542068457743237311467163332183676170948778770656225163364566564625976243413597113218883571068864582178345914356466066658489637506541609313102753298382623360993851217417278752319182218240*y^24 + 26628867070251829935504724773194438888043527290607913225717316244260006159949102473859215201946712752519547129727322813835416440261688964792355954075790657607260639849015458906208110209952731719077452948044720310140645468531524886355579223829408392313196221396051315319649/18627770051894293038281944348285053469858594150574767041968907642807583133322805711636378037602364739178562243755820299027455128306001218627638633178514429210659102503091170533791848463256822402491183864836718654175439529784484137922890215421367511646693954108735378740416620*y^23 - 19338567722077606262863136257055661811933808790268724337317271827164258253749353547211238228106296719974184147356039564126454964100996351348703289301205070952155048493348910275140660773039541219415942091164368749251237577369260220165289075736670954901922958156432771962303439/4768709133284939017800177753160973688283800102547140362744040356558741282130638262178912777626205373229711934401489996551028512846336311968675490093699693877928730240791339656650713206593746535037743069398199975468912519624827939308259895147870082981553652251836256957546654720*y^22 - 352820434397129538632224195275915146460450940423222640640256790233605512490543848813522764369406379860560040608411488556509982482551502758807554416917377463009348774835575570724745753535667545355562232888999149521844637323317236261633732208115297502683003723772181042285185333/4768709133284939017800177753160973688283800102547140362744040356558741282130638262178912777626205373229711934401489996551028512846336311968675490093699693877928730240791339656650713206593746535037743069398199975468912519624827939308259895147870082981553652251836256957546654720*y^21 - 995982906410176125066734384670657602453708656630017680819966396054340040210002291483940799831920381786394043547282568431978263228025144030287406651796431316486509354016802052217844035541072041377556464937612069321617914601841580698067509136230692756683448102987397514652642891/4768709133284939017800177753160973688283800102547140362744040356558741282130638262178912777626205373229711934401489996551028512846336311968675490093699693877928730240791339656650713206593746535037743069398199975468912519624827939308259895147870082981553652251836256957546654720*y^20 - 5877145833633150240838322195437097542440980518471136289210364683835492698425750161376891440881773267418727273890216127598490674843401732690106983129895947559404122602409839791385707428687881880026095712727653169227645699877737766067403101218540958517258286268797917839025281/264928285182496612100009875175609649349100005697063353485780019808818960118368792343272932090344742957206218577860555363946028491463128442704193894094427437662707235599518869813928511477430363057652392744344443081606251090268218850458883063770560165641869569546458719863703040*y^19 + 553716889646818068534338038228880770584397705436455754966746544798090997569962362732936392179212732525104778019828038889138964501491518616804056738273766580738520334086844399091112846441331319377190566220186561939102253999731751508096659080228079431125624555725173991919776901/953741826656987803560035550632194737656760020509428072548808071311748256426127652435782555525241074645942386880297999310205702569267262393735098018739938775585746048158267931330142641318749307007548613879639995093782503924965587861651979029574016596310730450367251391509330944*y^18 - 231806204952952085037671866343696607744048282536522030069691032159108359333298706118072766693944340082307538577809001152714983000105206829571310995655323551074903325467622712326390106111493481097508725702524944220329229612290245088957634592485487565488568197891163345914597023/1589569711094979672600059251053657896094600034182380120914680118852913760710212754059637592542068457743237311467163332183676170948778770656225163364566564625976243413597113218883571068864582178345914356466066658489637506541609313102753298382623360993851217417278752319182218240*y^17 - 2170077440625513391683535770267822895001277171996477328474284495818768320111505719001507460374284289595064037194914038604024112340860617797738051934837382709913580643585024972402629886645711975816312616321555319275671511848076099524075486925068474184357477156298766695578779773/794784855547489836300029625526828948047300017091190060457340059426456880355106377029818796271034228871618655733581666091838085474389385328112581682283282312988121706798556609441785534432291089172957178233033329244818753270804656551376649191311680496925608708639376159591109120*y^16 - 700246830790762824583571519293439615294293473178703837924276923271145875381282723752797515054768147375879016481095102604358006019237781402739728477705114541059105499991444410870956527387681739184057780366012573718730114421168170657665599211779849831257714561975485037827227993/397392427773744918150014812763414474023650008545595030228670029713228440177553188514909398135517114435809327866790833045919042737194692664056290841141641156494060853399278304720892767216145544586478589116516664622409376635402328275688324595655840248462804354319688079795554560*y^15 + 2275828740554388454808981471613837131077598448827415208077993279895554000612022391331711514762338835351112456900380761095083371678174730259103351954294103072554656867005784675160519958260449864297885307804007853799943724790526865534124971187789504013806078621238353029968609817/529856570364993224200019750351219298698200011394126706971560039617637920236737584686545864180689485914412437155721110727892056982926256885408387788188854875325414471199037739627857022954860726115304785488688886163212502180536437700917766127541120331283739139092917439727406080*y^14 + 24788411112951964231302481812215278518143030540642307022838357848695549757731896899337069235109187547943677210613883395161115942060402659420600857915592192658049095412087454675800923955013495162279814296901165266852046745691041184209618990004437856529008076701920563758936872419/4768709133284939017800177753160973688283800102547140362744040356558741282130638262178912777626205373229711934401489996551028512846336311968675490093699693877928730240791339656650713206593746535037743069398199975468912519624827939308259895147870082981553652251836256957546654720*y^13 - 1405236314049094002147758868863650166798320199494491908465011833044138747756194368230168636609021003077501057502214343430660448390257213249512445132459402157026021620444459000524849857685195773261375105497474644097957809701954287116483424633899324322950247918979086317040155971/1192177283321234754450044438290243422070950025636785090686010089139685320532659565544728194406551343307427983600372499137757128211584077992168872523424923469482182560197834914162678301648436633759435767349549993867228129906206984827064973786967520745388413062959064239386663680*y^12 - 2116604688495576639251654952431841652773229177795794713931419627147792117026195053208856352677855289155475241159303919447446198525486156712674917064385051740072595571561642762939443891029371852857005998596516856641518536513263403190328436704362882747341018205000152816097778651/397392427773744918150014812763414474023650008545595030228670029713228440177553188514909398135517114435809327866790833045919042737194692664056290841141641156494060853399278304720892767216145544586478589116516664622409376635402328275688324595655840248462804354319688079795554560*y^11 + 478786076832364651937535627532976812649461384945713750099258191596047481187213149244354564445987591599773017793273707275808186757229792358680300572797516198602390697355949143957499870574264099116091048059230267148696549999874778671910696158304028123554005322007778967950029687/298044320830308688612511109572560855517737506409196272671502522284921330133164891386182048601637835826856995900093124784439282052896019498042218130856230867370545640049458728540669575412109158439858941837387498466807032476551746206766243446741880186347103265739766059846665920*y^10 + 13647009837076409586089910276405566389225976464754987100240343307020624883773980354747293392640011061162044798274268897029965993349213000141250465203916823351247463424054077966631558795564725418815283116080741421165993284869486399374478894643604063804279979009732755770063526131/4768709133284939017800177753160973688283800102547140362744040356558741282130638262178912777626205373229711934401489996551028512846336311968675490093699693877928730240791339656650713206593746535037743069398199975468912519624827939308259895147870082981553652251836256957546654720*y^9 - 7449650929957659671214307574314363874933387988602346619603670288119893505453434457630587769958428194317646252542913229640201314677202996840157144718824859911275463807303287453887546536181589144507946499202865126994934977800469251335924046820605559422311066546380552256188192379/4768709133284939017800177753160973688283800102547140362744040356558741282130638262178912777626205373229711934401489996551028512846336311968675490093699693877928730240791339656650713206593746535037743069398199975468912519624827939308259895147870082981553652251836256957546654720*y^8 - 11640492325930878322876359569057333585073693693171444775654951531464529993874603337245355146594401787521079577414134484180947443021392929883020747332278531836333976460846007194307454184198993716065322525234098760524000375773912774659427372395945073696160715179769587066719802099/4768709133284939017800177753160973688283800102547140362744040356558741282130638262178912777626205373229711934401489996551028512846336311968675490093699693877928730240791339656650713206593746535037743069398199975468912519624827939308259895147870082981553652251836256957546654720*y^7 + 876694051328563583981633999062744619761054291786837217099025938844752873346851739599756001663490062679140622036097939290111500290466552801216513953689635133106063705571196305900013770784705422429598589825693014771660939287292255441631565881335778760884080954952446938720716201/2384354566642469508900088876580486844141900051273570181372020178279370641065319131089456388813102686614855967200744998275514256423168155984337745046849846938964365120395669828325356603296873267518871534699099987734456259812413969654129947573935041490776826125918128478773327360*y^6 + 5187826885228745888134429112361442561148630709829430160646629092787679168513147070310194718009053512538970918239519749817025132595498241548588076303587012864406205403096288432072496721343472197096501279198407780296009643948426536166507387530853752391112663284501933849827186519/4768709133284939017800177753160973688283800102547140362744040356558741282130638262178912777626205373229711934401489996551028512846336311968675490093699693877928730240791339656650713206593746535037743069398199975468912519624827939308259895147870082981553652251836256957546654720*y^5 - 1895152632721436251906687999103598744678583559161566062931568936047217386860018568985331300962003239810529555967992682201039358013386114112519073347195278106037738833696611247762851398972812226052763175050156419433543217014432197009078253619005936847437414709995346881459262101/2384354566642469508900088876580486844141900051273570181372020178279370641065319131089456388813102686614855967200744998275514256423168155984337745046849846938964365120395669828325356603296873267518871534699099987734456259812413969654129947573935041490776826125918128478773327360*y^4 - 52618945997808946206172599375056140166192099246456763837496294424839617779336077221678952932005453425977878453297922843897584161982237437842162863090910002909466755399616911542255351139219260810217100930999013654884729875636701139496694521518624595487127292936148309057060549/794784855547489836300029625526828948047300017091190060457340059426456880355106377029818796271034228871618655733581666091838085474389385328112581682283282312988121706798556609441785534432291089172957178233033329244818753270804656551376649191311680496925608708639376159591109120*y^3 + 12972134075771886323303803480161683821718403681070166881250222310867409488444911418814977662022964844391203880099861621895595675971892212394283379493295013086974021696115486061452612754116124500658148690170546945716574143878726568745314169901671214119396457813400383021182579/132464142591248306050004937587804824674550002848531676742890009904409480059184396171636466045172371478603109288930277681973014245731564221352096947047213718831353617799759434906964255738715181528826196372172221540803125545134109425229441531885280082820934784773229359931851520*y^2 + 177287578546263498297938190375631905875328992221267348187893808266456062094398207014735425111908922498805643778130643641958765581327578773514343382047407443738019636303023343270325940366606099937344945681017618748486246897291819635153921112256173409237227509277984044146077/8279008911953019128125308599237801542159375178033229796430625619025592503699024760727279127823273217412694330558142355123313390358222763834506059190450857426959601112484964681685265983669698845551637273260763846300195346570881839076840095742830005176308424048326834995740720*y - 186953238687126859879093223838247719943156310562252675003113929862960401460388549423970353463542264680237462458131860462036976899058391946851685491257903584591427862721198261897481914813429472976271834836970501767661430170996905362790126291289371558656009436463645069995949/18627770051894293038281944348285053469858594150574767041968907642807583133322805711636378037602364739178562243755820299027455128306001218627638633178514429210659102503091170533791848463256822402491183864836718654175439529784484137922890215421367511646693954108735378740416620