# Manifold: Census Knot K8_31 # Number of Tetrahedra: 8 # Number Field x^19 + 15*x^18 + 83*x^17 - 50*x^16 - 1579*x^15 - 1000*x^14 + 9756*x^13 + 11359*x^12 - 23771*x^11 - 38827*x^10 + 23277*x^9 + 61007*x^8 - 2826*x^7 - 51629*x^6 - 13985*x^5 + 22602*x^4 + 12226*x^3 - 3013*x^2 - 3322*x - 605 # Approximate Field Generator -0.709003570754707 + 0.364633993863108*I # Shape Parameters -295803327556969919704564191557516193377/2306400882308610915011796832224675008525*y^18 - 1368267992895699597140082093767764645/762446572664003608268362589165181821*y^17 - 20366429060620848215376844102056407092291/2306400882308610915011796832224675008525*y^16 + 7106191074822022477114071266687490495048/461280176461722183002359366444935001705*y^15 + 432473343363473037871344210634929763529408/2306400882308610915011796832224675008525*y^14 - 28153813094389224912534527316071055779989/461280176461722183002359366444935001705*y^13 - 2766169716524685201908765701023796106735212/2306400882308610915011796832224675008525*y^12 - 582882040468177889974922796222255066026988/2306400882308610915011796832224675008525*y^11 + 7744711582181656904372336423882041735455662/2306400882308610915011796832224675008525*y^10 + 3806313349988253877665977151961568199754424/2306400882308610915011796832224675008525*y^9 - 10982876270439968951950455989084707000382239/2306400882308610915011796832224675008525*y^8 - 7349956139684920761480967555342479026828529/2306400882308610915011796832224675008525*y^7 + 8443364614193219924257278642959551897512937/2306400882308610915011796832224675008525*y^6 + 7215176223386047773626813300579581904760303/2306400882308610915011796832224675008525*y^5 - 126185791539024105054046687151509317592035/92256035292344436600471873288987000341*y^4 - 3791590402312721539974745387226177992263779/2306400882308610915011796832224675008525*y^3 + 126765348714230127982776228700986165761558/2306400882308610915011796832224675008525*y^2 + 75471080780303150330406259829776331378971/209672807482600992273799712020425000775*y + 1501231459432317253313466924445027514224/19061164316600090206709064729129545525 -36599766164023526696303126054083465904/92256035292344436600471873288987000341*y^18 - 47193250642377461920297144784528334257/8386912299304039690951988480817000031*y^17 - 2614033065297388223318449259362649126181/92256035292344436600471873288987000341*y^16 + 3964326405677374598118084793158476629823/92256035292344436600471873288987000341*y^15 + 54559839175330460580700002381694971823547/92256035292344436600471873288987000341*y^14 - 7938957211896027510196539460030787505526/92256035292344436600471873288987000341*y^13 - 350690001387548384277838958501324175581088/92256035292344436600471873288987000341*y^12 - 129464796502211756080513956225470784245887/92256035292344436600471873288987000341*y^11 + 976439086883994669314051837652668059021091/92256035292344436600471873288987000341*y^10 + 624095893629599187208557633188973075365616/92256035292344436600471873288987000341*y^9 - 1363937497365230761272442072826401062692774/92256035292344436600471873288987000341*y^8 - 1120212086732285522722979433636941224843727/92256035292344436600471873288987000341*y^7 + 1022541263350915729585058098037438787900517/92256035292344436600471873288987000341*y^6 + 1056712718817102636682918669262579276449363/92256035292344436600471873288987000341*y^5 - 355515229836736482819234468545721462162254/92256035292344436600471873288987000341*y^4 - 538976431307506784138305764463781731122817/92256035292344436600471873288987000341*y^3 - 4745908539523868516237995209764576470518/92256035292344436600471873288987000341*y^2 + 10479776864570216635486113285002502180212/8386912299304039690951988480817000031*y + 221551549231969863859574968963791613901/762446572664003608268362589165181821 -57967349866426914434863608388490663573/92256035292344436600471873288987000341*y^18 - 74911045017786830370329168763613041411/8386912299304039690951988480817000031*y^17 - 4164589921559538432606860387239071107198/92256035292344436600471873288987000341*y^16 + 6167432681669801501533223970254690276160/92256035292344436600471873288987000341*y^15 + 86696191671435699809740333052539913045118/92256035292344436600471873288987000341*y^14 - 10068240313712220531094527019927092963111/92256035292344436600471873288987000341*y^13 - 557729481541645039417225100693660839957774/92256035292344436600471873288987000341*y^12 - 220855547688607433675156372136335002052709/92256035292344436600471873288987000341*y^11 + 1551848950287686798523878838614659593256765/92256035292344436600471873288987000341*y^10 + 1033630243717412870717283815045474116015833/92256035292344436600471873288987000341*y^9 - 2161750826089783990828829722055105825809244/92256035292344436600471873288987000341*y^8 - 1842093784950317916413877550723215199517032/92256035292344436600471873288987000341*y^7 + 1610578671592517371332205459526593137700277/92256035292344436600471873288987000341*y^6 + 1731477457708398398246290831494930461769897/92256035292344436600471873288987000341*y^5 - 548543381417642209901519744015234552132102/92256035292344436600471873288987000341*y^4 - 881355576152283485160699342892008154359374/92256035292344436600471873288987000341*y^3 - 17216040913560024909468270959135470389181/92256035292344436600471873288987000341*y^2 + 17145416905507708008155652203908223888765/8386912299304039690951988480817000031*y + 370257181475773819674723888331770990300/762446572664003608268362589165181821 5397840217735902296908250133615679421194/16144806176160276405082577825572725059675*y^18 + 3068458130046379547238173460129043384760/645792247046411056203303113022909002387*y^17 + 387520985613901820614150556257702529833452/16144806176160276405082577825572725059675*y^16 - 115128937432951375136355201256518422317826/3228961235232055281016515565114545011935*y^15 - 733666521616264593532553877903428701181641/1467709652378206945916597984142975005425*y^14 + 193325445064591719088731426197100657055013/3228961235232055281016515565114545011935*y^13 + 51919654530939803970444677477384500203434039/16144806176160276405082577825572725059675*y^12 + 2911467001812754192335248040828177234744648/2306400882308610915011796832224675008525*y^11 - 144510690556275063514746934795078681395392389/16144806176160276405082577825572725059675*y^10 - 95725397766680746665434418712208674572479728/16144806176160276405082577825572725059675*y^9 + 201461579525571191237891483706334737356213983/16144806176160276405082577825572725059675*y^8 + 170767227779894559797685595665350268094449388/16144806176160276405082577825572725059675*y^7 - 21475794936933708407792423634564169797633027/2306400882308610915011796832224675008525*y^6 - 160601547591748444242186330645376153760839591/16144806176160276405082577825572725059675*y^5 + 2058304330487038114071951511478812198657998/645792247046411056203303113022909002387*y^4 + 81787292728304891586620258919348198969526888/16144806176160276405082577825572725059675*y^3 + 197250939289944314708214099824561266826857/2306400882308610915011796832224675008525*y^2 - 17508876458244420179226532514369707874467082/16144806176160276405082577825572725059675*y - 371627726110976974576265762623443663959483/1467709652378206945916597984142975005425 -36200733806316227671556168023775733729/92256035292344436600471873288987000341*y^18 - 46918643425692855338081560110398429096/8386912299304039690951988480817000031*y^17 - 2621654681142185265965982755617186158710/92256035292344436600471873288987000341*y^16 + 3750076344876647475289984954660802119861/92256035292344436600471873288987000341*y^15 + 54328734619297295426186053657187886868318/92256035292344436600471873288987000341*y^14 - 4136714560537482896969740042365426451860/92256035292344436600471873288987000341*y^13 - 349248420611465408851419750619324960397391/92256035292344436600471873288987000341*y^12 - 151423936075270423386197405370470972761969/92256035292344436600471873288987000341*y^11 + 968227306979975913036952856896370220889578/92256035292344436600471873288987000341*y^10 + 682042138580878734642299073708964620550080/92256035292344436600471873288987000341*y^9 - 1339198517439510711414271691350853087188334/92256035292344436600471873288987000341*y^8 - 1200606792698800998169818746094000254624697/92256035292344436600471873288987000341*y^7 + 986245272656957271726655293364689281469351/92256035292344436600471873288987000341*y^6 + 1120017353167452398325267506281628925362956/92256035292344436600471873288987000341*y^5 - 325035934760246094351058124188960002109742/92256035292344436600471873288987000341*y^4 - 566324864810450342980216971912360160768530/92256035292344436600471873288987000341*y^3 - 18927307706542037595779383820388296765157/92256035292344436600471873288987000341*y^2 + 10951798646557432980185536771596027536012/8386912299304039690951988480817000031*y + 242130012145290974073297569972467599561/762446572664003608268362589165181821 -36200733806316227671556168023775733729/92256035292344436600471873288987000341*y^18 - 46918643425692855338081560110398429096/8386912299304039690951988480817000031*y^17 - 2621654681142185265965982755617186158710/92256035292344436600471873288987000341*y^16 + 3750076344876647475289984954660802119861/92256035292344436600471873288987000341*y^15 + 54328734619297295426186053657187886868318/92256035292344436600471873288987000341*y^14 - 4136714560537482896969740042365426451860/92256035292344436600471873288987000341*y^13 - 349248420611465408851419750619324960397391/92256035292344436600471873288987000341*y^12 - 151423936075270423386197405370470972761969/92256035292344436600471873288987000341*y^11 + 968227306979975913036952856896370220889578/92256035292344436600471873288987000341*y^10 + 682042138580878734642299073708964620550080/92256035292344436600471873288987000341*y^9 - 1339198517439510711414271691350853087188334/92256035292344436600471873288987000341*y^8 - 1200606792698800998169818746094000254624697/92256035292344436600471873288987000341*y^7 + 986245272656957271726655293364689281469351/92256035292344436600471873288987000341*y^6 + 1120017353167452398325267506281628925362956/92256035292344436600471873288987000341*y^5 - 325035934760246094351058124188960002109742/92256035292344436600471873288987000341*y^4 - 566324864810450342980216971912360160768530/92256035292344436600471873288987000341*y^3 - 18927307706542037595779383820388296765157/92256035292344436600471873288987000341*y^2 + 10951798646557432980185536771596027536012/8386912299304039690951988480817000031*y + 242130012145290974073297569972467599561/762446572664003608268362589165181821 10428847618942503215416648829214911702/92256035292344436600471873288987000341*y^18 + 13489445005489411171475199296212901027/8386912299304039690951988480817000031*y^17 + 751361082578258988522960589150932883838/92256035292344436600471873288987000341*y^16 - 1097157882408874352383191060026905711896/92256035292344436600471873288987000341*y^15 - 15598255331364252037074116904844921878553/92256035292344436600471873288987000341*y^14 + 1588531083352671201942434536679294636481/92256035292344436600471873288987000341*y^13 + 100094032738518433072624017648508047150109/92256035292344436600471873288987000341*y^12 + 41112721826740104162526981486056391727454/92256035292344436600471873288987000341*y^11 - 277134770927324676743627497846487859621603/92256035292344436600471873288987000341*y^10 - 189193930212046588547632939645928532855940/92256035292344436600471873288987000341*y^9 + 382972126582063130591285127137448794371735/92256035292344436600471873288987000341*y^8 + 334766533166214039895341115412517358226853/92256035292344436600471873288987000341*y^7 - 281784704907012647646150173748235234271043/92256035292344436600471873288987000341*y^6 - 313263707360743097764715169150957192201038/92256035292344436600471873288987000341*y^5 + 92730900907610413334076373176410219591126/92256035292344436600471873288987000341*y^4 + 158721425452986426313282419077362511455151/92256035292344436600471873288987000341*y^3 + 5297783045040380914330771299000064811890/92256035292344436600471873288987000341*y^2 - 3071221636254799405186794765016892914697/8386912299304039690951988480817000031*y - 67972372175163338580725627451579754475/762446572664003608268362589165181821 -21119846092621427899798369411553074443/92256035292344436600471873288987000341*y^18 - 27405471320173456924578456143294210461/8386912299304039690951988480817000031*y^17 - 1534325539183986210504056997617321590716/92256035292344436600471873288987000341*y^16 + 2165952146901713626469593999218642737770/92256035292344436600471873288987000341*y^15 + 31753420909672172220458001186517290873155/92256035292344436600471873288987000341*y^14 - 1911328652324722968531124647423022243798/92256035292344436600471873288987000341*y^13 - 204228711531033513829385636133889808632817/92256035292344436600471873288987000341*y^12 - 91618898215264077471000326594714894964438/92256035292344436600471873288987000341*y^11 + 566137147616121782030324075565215564567247/92256035292344436600471873288987000341*y^10 + 407640255727410640460298867540836604086929/92256035292344436600471873288987000341*y^9 - 782300149860716190084437595674870849269846/92256035292344436600471873288987000341*y^8 - 715536387498530177386831277460535273196528/92256035292344436600471873288987000341*y^7 + 574851300590231696578107236511611795108917/92256035292344436600471873288987000341*y^6 + 666408275128697519211144287147654067889711/92256035292344436600471873288987000341*y^5 - 188218442798107624033860456994701103586024/92256035292344436600471873288987000341*y^4 - 336506951689200115956795738199509411519391/92256035292344436600471873288987000341*y^3 - 12128988494226308695036711925767375124040/92256035292344436600471873288987000341*y^2 + 6501872018581780204514127284760299749992/8386912299304039690951988480817000031*y + 143105168681103812130182419579858782083/762446572664003608268362589165181821 # A Gluing Matrix {{1,2,-1,0,0,0,0,0},{2,3,-2,0,0,0,0,0},{0,-1,1,-2,2,2,-2,2},{0,0,-1,-2,2,2,-2,2},{0,0,2,4,-1,-1,2,-2},{0,0,2,4,-1,-1,2,-2},{0,0,-1,-2,1,1,-1,2},{0,0,1,2,-1,-1,2,0}} # B Gluing Matrix {{1,2,0,0,0,0,0,0},{0,4,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,1,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, 2, 2, 0, 0, 1, 0} # f Combinatorial flattening {1, -2, -2, 2, 2, 0, -1, 0} # f' Combinatorial flattening {2, 0, 0, -2, 0, 0, 0, 2} # 1 Loop Invariant 84701083771350061001901213568916201821/92256035292344436600471873288987000341*y^18 + 113230766351172272730995038786978457378/8386912299304039690951988480817000031*y^17 + 6646019097516987174918817530602970474364/92256035292344436600471873288987000341*y^16 - 6422184537697134765831627017596456729959/92256035292344436600471873288987000341*y^15 - 132889222287110583284959904552752837801894/92256035292344436600471873288987000341*y^14 - 42904090424360825544355201368947619805591/92256035292344436600471873288987000341*y^13 + 862486070267069184711250284852433747592705/92256035292344436600471873288987000341*y^12 + 687034329662648964490685447663029701884161/92256035292344436600471873288987000341*y^11 - 2367091033793144836256956333983439230013999/92256035292344436600471873288987000341*y^10 - 2541005499580611149149353211215805240016756/92256035292344436600471873288987000341*y^9 + 3161226451559603272176576708281423724873685/92256035292344436600471873288987000341*y^8 + 4212120787182382648292913808944142900986660/92256035292344436600471873288987000341*y^7 - 2159543394505572581413488740649463672737279/92256035292344436600471873288987000341*y^6 - 3794917309504725857319883563275569344286788/92256035292344436600471873288987000341*y^5 + 528519144829292986277869048431070999591409/92256035292344436600471873288987000341*y^4 + 1866758440153123391251293666134827630137720/92256035292344436600471873288987000341*y^3 + 196801475419649270383128615565977885686820/92256035292344436600471873288987000341*y^2 - 35527817578865976747074612744219549005057/8386912299304039690951988480817000031*y - 858943868906617584226240517090059521748/762446572664003608268362589165181821 # 2 Loop Invariant -197061991039358541262233981743176486656259774851635318324571005712827674538939011376023203253/6605298805116535319197788498691842893938007650912504888703029749142113519755419844973177745392*y^18 - 11606634810190040196004600879654460455415032147343266165093122402451821442042174590950559845/27294623161638575699164415283850590470818213433522747473979461773314518676675288615591643576*y^17 - 7130529776349654578124802373101184723582560012168916650483695412222730393231753786610245277673/3302649402558267659598894249345921446969003825456252444351514874571056759877709922486588872696*y^16 + 20471742086515381767182849762031048808746251950913263600116914700303189709997382973351913054747/6605298805116535319197788498691842893938007650912504888703029749142113519755419844973177745392*y^15 + 18482623327542410640648213769391851190380285063359859779561921337065215716522738443743669706994/412831175319783457449861781168240180871125478182031555543939359321382094984713740310823609087*y^14 - 2951596434620067112426458948547786591875464157356612452823743332627795267123766870456269427955/825662350639566914899723562336480361742250956364063111087878718642764189969427480621647218174*y^13 - 1902054209865741535005689679612710821289816633171240103751828555101142130100568300324973671127153/6605298805116535319197788498691842893938007650912504888703029749142113519755419844973177745392*y^12 - 817087374974943717822787871080332703180763591715764880860610613486509833362722336335825998658111/6605298805116535319197788498691842893938007650912504888703029749142113519755419844973177745392*y^11 + 329900229714496876320757345019579844571284840288683853848218700174949192989075086673773623099793/412831175319783457449861781168240180871125478182031555543939359321382094984713740310823609087*y^10 + 1846954421047581870097630593107116275199583610235592872553268004840727542522798859332850148595229/3302649402558267659598894249345921446969003825456252444351514874571056759877709922486588872696*y^9 - 3656279270479486444396374106550793134532595142996065285830030127943629664965393019426148416379059/3302649402558267659598894249345921446969003825456252444351514874571056759877709922486588872696*y^8 - 2170729424417207653761566141425466684700746569593940372648460553427354501500127337003089688453323/2201766268372178439732596166230614297979335883637501629567676583047371173251806614991059248464*y^7 + 5397968668753349458587099917719695508168188715026079163751665716168392361647197117812075128586489/6605298805116535319197788498691842893938007650912504888703029749142113519755419844973177745392*y^6 + 506793018273374507646186449032632413788794978646210628470423281652989932240110394688056044619701/550441567093044609933149041557653574494833970909375407391919145761842793312951653747764812116*y^5 - 447334372831517706796903140057209793466170197695228453648938269408541889101142456249088572736141/1651324701279133829799447124672960723484501912728126222175757437285528379938854961243294436348*y^4 - 769712072876762676713821948918980187634560718192562829365206060641828501499692573924788287295623/1651324701279133829799447124672960723484501912728126222175757437285528379938854961243294436348*y^3 - 96630731619506979652389993768035706310103188326223116462470242198117489056079357777909415833783/6605298805116535319197788498691842893938007650912504888703029749142113519755419844973177745392*y^2 + 29812704331839459254003892925377837930239885087389868957191484867683758967902377311318354134199/300240854778024332690808568122356495179000347768750222213774079506459705443428174771508079336*y + 663393451858584659599650536336231106271348894196427331759540651688996804662027551634921463291/27294623161638575699164415283850590470818213433522747473979461773314518676675288615591643576 # 3 Loop Invariant 82157704731244601756656568612165902301110148671752756102098684670459011805608179596272674316500818038485931316109563947/5378106917598130592790698736632085094877936797364654329046645153709878788333350049515141980052932673621045501502555943264*y^18 + 212839169504742777625030300109394696527644698294898284909312546825156658117182892494914922000175872459177884998628113767/977837621381478289598308861205833653614170326793573514372117300674523416060609099911843996373260486112917363909555626048*y^17 + 11879483189882657863609306863242386208993427850151640850737080434569649648604057257465145907021449931950056952230245768953/10756213835196261185581397473264170189755873594729308658093290307419757576666700099030283960105865347242091003005111886528*y^16 - 17130221898844760990040782086165263198494328747695382899334552247550577550914700059416677661394908422869671199046058768717/10756213835196261185581397473264170189755873594729308658093290307419757576666700099030283960105865347242091003005111886528*y^15 - 30813064756209593435647065144465879531305833374676402058678621808210767090546441657046125667490711443059016007428747115801/1344526729399532648197674684158021273719484199341163582261661288427469697083337512378785495013233168405261375375638985816*y^14 + 20875846146580428569829377559913864715813625950777867212730521198036182952889596155866080183994593390609794695205636790367/10756213835196261185581397473264170189755873594729308658093290307419757576666700099030283960105865347242091003005111886528*y^13 + 1585906539849695285927124897462337393596478894886170933103783123988189384407420573955848065045975948684817440231810259849777/10756213835196261185581397473264170189755873594729308658093290307419757576666700099030283960105865347242091003005111886528*y^12 + 674305195184709747429925259249314642725167208626351716381590700650529713000173376678055492785143466528728175466327584019459/10756213835196261185581397473264170189755873594729308658093290307419757576666700099030283960105865347242091003005111886528*y^11 - 2201918664140609696408678359469301128599512861558060994592506824561775785221634905231321239572300133988616370684582374086733/5378106917598130592790698736632085094877936797364654329046645153709878788333350049515141980052932673621045501502555943264*y^10 - 1532241433955256312685002052917197179592479640394608868404490471818860547160623730705068296375101105310673914607440281112319/5378106917598130592790698736632085094877936797364654329046645153709878788333350049515141980052932673621045501502555943264*y^9 + 6106144081877460448557194983057054282515661170610014954019544932742022856814869553354163925053105249294652016003796778240305/10756213835196261185581397473264170189755873594729308658093290307419757576666700099030283960105865347242091003005111886528*y^8 + 5415793258680251308713293988165974267692835686131932538334565229641790705733555054582728426140371594479163089955012333317011/10756213835196261185581397473264170189755873594729308658093290307419757576666700099030283960105865347242091003005111886528*y^7 - 4510049838724705490432664599520155260341112034908172280012024903887705899066141372410743904657071409165625609543903885372407/10756213835196261185581397473264170189755873594729308658093290307419757576666700099030283960105865347242091003005111886528*y^6 - 158335202145156579608991388234033281677438802062382835170131188812997528537316104847269685428658236139404056759420571641645/336131682349883162049418671039505318429871049835290895565415322106867424270834378094696373753308292101315343843909746454*y^5 + 1496358600573641746629942621819565770026650234976119309888402742246352860203785363864470582743908479353058137049285887825991/10756213835196261185581397473264170189755873594729308658093290307419757576666700099030283960105865347242091003005111886528*y^4 + 642366137256138734095029312953557542153158118367690828141245075195156628318473740972680367951952476109030673833910391827195/2689053458799065296395349368316042547438968398682327164523322576854939394166675024757570990026466336810522750751277971632*y^3 + 19983542980752865637780747686628887499860438890033796488258279986593509149088365663468451687154444240556897637849035837249/2689053458799065296395349368316042547438968398682327164523322576854939394166675024757570990026466336810522750751277971632*y^2 - 49841031319132556889852382095519788364613590572399946355181372959708873386310130267691143684355706728263068022856684810299/977837621381478289598308861205833653614170326793573514372117300674523416060609099911843996373260486112917363909555626048*y - 1098633056765354909114101223863876256756782132366490786147203805147618459848005233581466873683128440796518073459890762879/88894329216498026327118987382348513964924575163052137670192481879502128732782645446531272397569135101174305809959602368 # 4 Loop Invariant -34305221346383890156555445790289309838916596187583858115189859516549964401410807622875684876343630967152225390112451117325312566993575241457574269748867935825847440721175633527/5775882805503741501262253193952382547448334627864969667802993685361328748198268619029544474811417540531095009855860826455847807784975427551159212698976451773678665097084934315520*y^18 - 9859702954972786242389767450458758476429208279457533615311261796070034034871907867479090335421421153827438535855431534330658612332955890392874538235106287633185613320553666591/116684501121287707096207135231361263584814840966969084198040276471946035317136739778374635854776111929921111310219410635471672884544958132346650761595483874215730608021917864960*y^17 - 493909331804686675074487970442005259463824899406602807637599959367462969896437305412092897359901377155089969577151821330639282808728310350407236218985073840028021277796405143933/1155176561100748300252450638790476509489666925572993933560598737072265749639653723805908894962283508106219001971172165291169561556995085510231842539795290354735733019416986863104*y^16 + 7262258571000599106551415724219254077855025929627139993565249229573709192469092676190800740179591225280553977829924687908818289769345724189405766095588551762385085072675460903433/11551765611007483002524506387904765094896669255729939335605987370722657496396537238059088949622835081062190019711721652911695615569950855102318425397952903547357330194169868631040*y^15 + 2284243725245972404260950152708669672220235217941877041694001088939521767371746490585002607576254743559441423224493612801036102587422511799680066884539025550379431422653979772997/256705902466832955611655697508994779886592650127331985235688608238281277697700827512424198880507446245826444882482703398037680345998907891162631675510064523274607337648219302912*y^14 - 546230783233855465637150247940131466600916661930799832971175670564479634607631347079378536373182147524474030477566578576032404685274223778839588737825720826634419806796905232365/577588280550374150126225319395238254744833462786496966780299368536132874819826861902954447481141754053109500985586082645584780778497542755115921269897645177367866509708493431552*y^13 - 20695429557307279279895954837972382613113589350713806995026712746401808279024791551957946674897308210709426432061850503986249371709578252087205151585693303892115902261521988728513/360992675343983843828890824622023909215520914241560604237687105335083046762391788689346529675713596283193438115991301653490487986560964221947450793686028235854916568567808394720*y^12 - 133857158689224758204719013344665740877932158240340145057892942410535018155777327674821735960293310177424411767950981255892953399855564497791036725929086554636165393187430588031529/5775882805503741501262253193952382547448334627864969667802993685361328748198268619029544474811417540531095009855860826455847807784975427551159212698976451773678665097084934315520*y^11 + 922944992644610811018011799393386972987200438565755528355937359741008298237440124670145970770647458410294392476678436078018609677733140909725232957508487753064435458565986861445929/5775882805503741501262253193952382547448334627864969667802993685361328748198268619029544474811417540531095009855860826455847807784975427551159212698976451773678665097084934315520*y^10 + 1242978051131233170718020688636149193620323648401446808982307152060161437655872660072388529275352986731101266401007967882766719512746174888726550339799770249595114011068298063067351/11551765611007483002524506387904765094896669255729939335605987370722657496396537238059088949622835081062190019711721652911695615569950855102318425397952903547357330194169868631040*y^9 - 858886353280052975399881961581529896409533590179555619840234578764189571635827612768596923073138662969141339056403564601631803643897997426999181498663827876098024708358017825254131/3850588537002494334174835462634921698298889751909979778535329123574219165465512412686362983207611693687396673237240550970565205189983618367439475132650967849119110064723289543680*y^8 - 245918854085220521658276669641360959710005839491007413480822132969608193939815481016998494846757500675222978628843190017626725957327665039820491725220083488039844641755810696257089/1283529512334164778058278487544973899432963250636659926178443041191406388488504137562120994402537231229132224412413516990188401729994539455813158377550322616373036688241096514560*y^7 + 240567064119329752046090435183536382358618444017953942988569898922921613054039830846131760004515571183204573987695881719106746575632671318759038205908853562405242228251631766475371/1443970701375935375315563298488095636862083656966242416950748421340332187049567154757386118702854385132773752463965206613961951946243856887789803174744112943419666274271233578880*y^6 + 1040118075986278906593313350323830540413274212969325648395358739752937416713019089976496224769466611286682554951429275453922050946579168679408606988539742669792655281173843970462177/5775882805503741501262253193952382547448334627864969667802993685361328748198268619029544474811417540531095009855860826455847807784975427551159212698976451773678665097084934315520*y^5 - 13723472977449331709827951070041123503007234906982927625269691888732222734838298514854788872433901891613844717714729400483597200589997969782449039008999316997138095513362236189729/240661783562655895885927216414682606143680609494373736158458070223388697841594525792897686450475730855462292077327534435660325324373976147964967195790685490569944379045205596480*y^4 - 211945783466380888761484673172958333330457143914454656220454901524667952181988459303560466352733836216701807080382405815925582717954691810003434200870493607917131548977109083826423/2310353122201496600504901277580953018979333851145987867121197474144531499279307447611817789924567016212438003942344330582339123113990171020463685079590580709471466038833973726208*y^3 - 18685082771426280999341105035925799347436335207109438761254797638770975661781744447832464493367611361111807280785038149124310350262114514656523526773745976753780544885292842501631/11551765611007483002524506387904765094896669255729939335605987370722657496396537238059088949622835081062190019711721652911695615569950855102318425397952903547357330194169868631040*y^2 + 1147541986910058983110412656049005719779655383767917789773861189823683196288348524882570106919311474980601782499122187827334823587640425722455127316248241614300387591049029830173/58342250560643853548103567615680631792407420483484542099020138235973017658568369889187317927388055964960555655109705317735836442272479066173325380797741937107865304010958932480*y + 109545881002950831229868476395788135415436617319005067313038060257402193435381761856575370541321672669770459333445083689556886040248701222084899164686046239156489541657191226671/23867284320263394633315095842778440278712126561425494495053692914716234496687060409212993697567841076574772767999424902710114908202377799798178564871803519725944897095392290560