# Manifold: Census Knot K8_47 # Number of Tetrahedra: 8 # Number Field x^19 + 16*x^18 + 118*x^17 + 513*x^16 + 1784*x^15 + 4861*x^14 + 5762*x^13 + 9977*x^12 + 1416*x^11 - 574*x^10 - 4907*x^9 + 4590*x^8 - 976*x^7 - 1896*x^6 + 4555*x^5 - 3870*x^4 + 1670*x^3 - 534*x^2 + 101*x - 8 # Approximate Field Generator 0.0603879147092328 - 0.720546713148676*I # Shape Parameters -775956546026902390873015779913163915862125/10010690296490534731766101707624563713293141*y^18 - 12574275683560469734309255112119048615439767/10010690296490534731766101707624563713293141*y^17 - 3486728822882633293538963830316781079491023/370766307277427212287633396578687544936783*y^16 - 61837814186734114311233874135155709370052569/1483065229109708849150533586314750179747132*y^15 - 5881185009587404281262289290734417696471638587/40042761185962138927064406830498254853172564*y^14 - 5434326741114639905700758648590549845619345163/13347587061987379642354802276832751617724188*y^13 - 21266025303411538770090910005858184523028710929/40042761185962138927064406830498254853172564*y^12 - 17729025294308262596095370145814874422092161449/20021380592981069463532203415249127426586282*y^11 - 2989434398916880365874239425226285518688057842/10010690296490534731766101707624563713293141*y^10 - 381707850749831132280169401935152547043493363/13347587061987379642354802276832751617724188*y^9 + 422732584752604151601752825238153340894180885/1177728270175357027266600200897007495681546*y^8 - 344571558470559301747017489238223538423135125/1177728270175357027266600200897007495681546*y^7 + 53170095669036702987808648387703922042027133/4449195687329126547451600758944250539241396*y^6 + 505233842082485231825624554003963150930770556/3336896765496844910588700569208187904431047*y^5 - 3229240527481261439319642913314045506062319156/10010690296490534731766101707624563713293141*y^4 + 9409163253504987040828241580178611653051085871/40042761185962138927064406830498254853172564*y^3 - 360323085352846493720278749963845334853189157/4449195687329126547451600758944250539241396*y^2 + 154344453468325999268760947196040564562614987/6673793530993689821177401138416375808862094*y - 23504020771921637092793841175010584381390795/40042761185962138927064406830498254853172564 -6652637478614115088876628247729740694615893/30032070889471604195298305122873691139879423*y^18 - 108940739567120764892937713546680207727027098/30032070889471604195298305122873691139879423*y^17 - 30596165378809734623514309313043097229159594/1112298921832281636862900189736062634810349*y^16 - 45999418275306664845515010558307344520091773/370766307277427212287633396578687544936783*y^15 - 13290550517988262695800938415170567112358394558/30032070889471604195298305122873691139879423*y^14 - 12479656879625581638285679946645582455342671583/10010690296490534731766101707624563713293141*y^13 - 52797173968061709534470239707195518787615589981/30032070889471604195298305122873691139879423*y^12 - 87393036772965689013929972043917985005630409278/30032070889471604195298305122873691139879423*y^11 - 44268976891970510540772837365729739140171950220/30032070889471604195298305122873691139879423*y^10 - 5376357060992382705860693240330568206753731042/10010690296490534731766101707624563713293141*y^9 + 1392624750861920424632149713394201304866374368/1766592405263035540899900301345511243522319*y^8 - 1377750989545274674269351239275911381380971612/1766592405263035540899900301345511243522319*y^7 - 815485239029374920576838817557940374965385145/10010690296490534731766101707624563713293141*y^6 + 3738844495711283596565777243418158731114068569/10010690296490534731766101707624563713293141*y^5 - 26434984459291757678993799326164731110660548163/30032070889471604195298305122873691139879423*y^4 + 15990341941067419023438496529627926799811870466/30032070889471604195298305122873691139879423*y^3 - 1879312616568247598978066411981081334746144626/10010690296490534731766101707624563713293141*y^2 + 491030397237505273189419440314150226316619069/10010690296490534731766101707624563713293141*y - 158549774168568817381721479991969507803536949/30032070889471604195298305122873691139879423 -2188620249471495322994239945924879281342161/10010690296490534731766101707624563713293141*y^18 - 35383824436598860216378712914706154319356154/10010690296490534731766101707624563713293141*y^17 - 9783611511701566048171450406913713713286429/370766307277427212287633396578687544936783*y^16 - 43210660304035108229247047246789849289676960/370766307277427212287633396578687544936783*y^15 - 4097867619692745561924823611783741017575396585/10010690296490534731766101707624563713293141*y^14 - 3772359905723026153167561342002041216746835523/3336896765496844910588700569208187904431047*y^13 - 14479987606593795870752416642750593133218523477/10010690296490534731766101707624563713293141*y^12 - 24198420752608515875849802289021927519678934537/10010690296490534731766101707624563713293141*y^11 - 7102876971319924253063178242144659457314177424/10010690296490534731766101707624563713293141*y^10 + 49070575125397600499802752325326563898462204/3336896765496844910588700569208187904431047*y^9 + 627529941669245890307048943878739414838590458/588864135087678513633300100448503747840773*y^8 - 491306851509469349915262463058959095521800900/588864135087678513633300100448503747840773*y^7 + 70995927114479493234934590071403284585224906/1112298921832281636862900189736062634810349*y^6 + 1458730606822622354834221012469188521675255223/3336896765496844910588700569208187904431047*y^5 - 9234130481955267965314744440086389916142643898/10010690296490534731766101707624563713293141*y^4 + 6909520107259870259210475225154880614606752031/10010690296490534731766101707624563713293141*y^3 - 270137089658580353372790469237158117524216543/1112298921832281636862900189736062634810349*y^2 + 226986201385030250991970056366817651013771081/3336896765496844910588700569208187904431047*y - 74411577159593958794224091011226717294492677/10010690296490534731766101707624563713293141 -560847915073675350566127594661757808391532/10010690296490534731766101707624563713293141*y^18 - 9066493652074689319680374012789277019789186/10010690296490534731766101707624563713293141*y^17 - 5012391746271995210492403507356676175710721/741532614554854424575266793157375089873566*y^16 - 11062296555233543062444644981276218186847424/370766307277427212287633396578687544936783*y^15 - 1048192981632427518619056882882272114969997670/10010690296490534731766101707624563713293141*y^14 - 963890589925371348750113533594321460729180444/3336896765496844910588700569208187904431047*y^13 - 7362679657777386527562296569837236826536006773/20021380592981069463532203415249127426586282*y^12 - 6123351029833268573387750042809895117790225407/10010690296490534731766101707624563713293141*y^11 - 3393066746282365071522955576162148552919732763/20021380592981069463532203415249127426586282*y^10 + 149569751704407375360054197422487629420717765/6673793530993689821177401138416375808862094*y^9 + 168604431924704042087688462799392368026115045/588864135087678513633300100448503747840773*y^8 - 245904155525351347422507561083447738747354957/1177728270175357027266600200897007495681546*y^7 + 3154178146435647043003491962224188929468005/247177538184951474858422264385791696624522*y^6 + 375985844712021871642056018888587140858076215/3336896765496844910588700569208187904431047*y^5 - 4723064935431692304471521280873579056770165315/20021380592981069463532203415249127426586282*y^4 + 1758619721459150270025213688749305247550771804/10010690296490534731766101707624563713293141*y^3 - 129245699323312775325629066854332667732880063/2224597843664563273725800379472125269620698*y^2 + 108593377226688204762590692801457494638065161/6673793530993689821177401138416375808862094*y - 34668075309880899486920494967312048723884367/20021380592981069463532203415249127426586282 196621113122524852607226481503219699939454/30032070889471604195298305122873691139879423*y^18 + 3363311253309464667559645321968378254670716/30032070889471604195298305122873691139879423*y^17 + 110337211591069354553043129199379796316346/123588769092475737429211132192895848312261*y^16 + 4766935874403624716943513255735324922887895/1112298921832281636862900189736062634810349*y^15 + 479063429529502937758416785491887118958638559/30032070889471604195298305122873691139879423*y^14 + 473423155657141590121066296542627786038459030/10010690296490534731766101707624563713293141*y^13 + 2465946132396031628669373202398767603678934455/30032070889471604195298305122873691139879423*y^12 + 4002407203296916400783690028181954091576590759/30032070889471604195298305122873691139879423*y^11 + 3621569812160316364578609906050783637578445415/30032070889471604195298305122873691139879423*y^10 + 712862374097980070291155426228030707822072194/10010690296490534731766101707624563713293141*y^9 + 6716551738854902656786739678785196914986071/1766592405263035540899900301345511243522319*y^8 + 24704693750139350988866595159066407614394939/1766592405263035540899900301345511243522319*y^7 + 52200242087181660111364732514794242858166630/3336896765496844910588700569208187904431047*y^6 - 42361277917133878536187664933295553030798313/10010690296490534731766101707624563713293141*y^5 + 599344763280087290114022100761774712611586948/30032070889471604195298305122873691139879423*y^4 + 66641685855239963413086626363869666406203252/30032070889471604195298305122873691139879423*y^3 - 2090662326229559405104925431063880501693090/3336896765496844910588700569208187904431047*y^2 - 10083155478607082635804723007883091996430062/10010690296490534731766101707624563713293141*y + 25654677045176249739459709569314030151554711/30032070889471604195298305122873691139879423 -193325459414609433769330591185110804907821/1570304360233809369688800267862676660908728*y^18 - 392678302835378782199424433622049793469600/196288045029226171211100033482834582613591*y^17 - 437015705341255882962112444088566922751301/29079710374700173512755560515975493720532*y^16 - 3892972734862390577026041511428013430037703/58159420749400347025511121031950987441064*y^15 - 46435142075159327144843797691253597532884173/196288045029226171211100033482834582613591*y^14 - 344707662819477344551654639893599816438551843/523434786744603123229600089287558886969576*y^13 - 689041994024153199869903269115334582037286921/785152180116904684844400133931338330454364*y^12 - 2290394843492482445215397343002389581994131629/1570304360233809369688800267862676660908728*y^11 - 109066567219054031356765031378485749427102381/196288045029226171211100033482834582613591*y^10 - 25439538554159581116309844046647055323853411/261717393372301561614800044643779443484788*y^9 + 877950435571028992479492532309665567934640719/1570304360233809369688800267862676660908728*y^8 - 343855240745212765032117725037363091362495775/785152180116904684844400133931338330454364*y^7 + 766282944471703540886695244125446443794814/65429348343075390403700011160944860871197*y^6 + 14953495572439258692597274023773180116321966/65429348343075390403700011160944860871197*y^5 - 793543595442166130441959495420353307736383487/1570304360233809369688800267862676660908728*y^4 + 277274911712235397066536554805342655378078931/785152180116904684844400133931338330454364*y^3 - 32867443509230035886394302280406159501584245/261717393372301561614800044643779443484788*y^2 + 9710577842464505263381768848562046219636309/261717393372301561614800044643779443484788*y - 5861149165844669605190232425625884005844257/1570304360233809369688800267862676660908728 573205764102609867224106644536945372079243/10010690296490534731766101707624563713293141*y^18 + 9240600899562201746524737300274659223255003/10010690296490534731766101707624563713293141*y^17 + 2546940624584728645297458948426430014264671/370766307277427212287633396578687544936783*y^16 + 11206213547135862059337738013980580581023908/370766307277427212287633396578687544936783*y^15 + 1060732601701439551416414316776812183111307988/10010690296490534731766101707624563713293141*y^14 + 973953083932683830291560430334206594517801803/3336896765496844910588700569208187904431047*y^13 + 3682579303103742727083689828223357959394408154/10010690296490534731766101707624563713293141*y^12 + 6240813968648912715755058692588125644853879280/10010690296490534731766101707624563713293141*y^11 + 1688431884799003112393088931459740300150128339/10010690296490534731766101707624563713293141*y^10 + 22893401821430034365440011122125871758247527/3336896765496844910588700569208187904431047*y^9 - 157194554946662078674180810780743835163302151/588864135087678513633300100448503747840773*y^8 + 137804636969794883718102738167002942775148274/588864135087678513633300100448503747840773*y^7 - 13306425692497529959296891121720521572778098/370766307277427212287633396578687544936783*y^6 - 389371517623544453407827929460112012667609533/3336896765496844910588700569208187904431047*y^5 + 2458052692795707974489837934162752648443849586/10010690296490534731766101707624563713293141*y^4 - 1934945321532564986394643393374156164877361822/10010690296490534731766101707624563713293141*y^3 + 85777724293325587210588461482216200936185412/1112298921832281636862900189736062634810349*y^2 - 80017899177799833311089940765935078085527121/3336896765496844910588700569208187904431047*y + 37815296364221027226369003567998502170025973/10010690296490534731766101707624563713293141 305196033962180761929541305822802552580893/10010690296490534731766101707624563713293141*y^18 + 4927084833549272797207867481961426501006893/10010690296490534731766101707624563713293141*y^17 + 1359317742685675094881755788125261909842121/370766307277427212287633396578687544936783*y^16 + 5981467243318468944580096761582117015678386/370766307277427212287633396578687544936783*y^15 + 565016259562523555574424336726409223274118060/10010690296490534731766101707624563713293141*y^14 + 517490290457449128148876504231483262377861747/3336896765496844910588700569208187904431047*y^13 + 1937454569764877111463724570076682842031381197/10010690296490534731766101707624563713293141*y^12 + 3197319642339264464706975683174002435466975965/10010690296490534731766101707624563713293141*y^11 + 706347298269464714541564583170624710188876999/10010690296490534731766101707624563713293141*y^10 - 117615235506409133558183527967592753147520093/3336896765496844910588700569208187904431047*y^9 - 99510207309173138263996202956501063720905292/588864135087678513633300100448503747840773*y^8 + 70045329183828044743356297144702700399045292/588864135087678513633300100448503747840773*y^7 + 4172319508419956980959386363078362587872171/1112298921832281636862900189736062634810349*y^6 - 190015667144411397303456912772857678208618511/3336896765496844910588700569208187904431047*y^5 + 1263842191395395732183005728651383910539753794/10010690296490534731766101707624563713293141*y^4 - 955326489217412626636496088218255976422321234/10010690296490534731766101707624563713293141*y^3 + 11417312777155297737154658107186208155429783/370766307277427212287633396578687544936783*y^2 - 34571489068155625443895588231101500066248828/3336896765496844910588700569208187904431047*y + 27655786100802206731052768186034225858144605/10010690296490534731766101707624563713293141 # A Gluing Matrix {{1,0,-2,-2,2,1,2,4},{1,-1,-2,0,0,1,0,2},{0,0,2,1,-1,0,-2,-2},{0,0,-1,0,0,1,0,2},{1,-2,-3,-2,2,2,1,4},{0,0,0,0,1,0,1,1},{1,-2,-4,-2,1,2,2,4},{1,-2,-4,-2,2,2,2,6}} # B Gluing Matrix {{2,0,0,0,0,0,0,1},{0,1,0,0,0,0,0,1},{0,0,1,0,0,0,0,0},{0,0,0,1,0,0,0,1},{0,0,0,0,1,0,0,1},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,1,1},{0,0,0,0,0,0,0,2}} # nu Gluing Vector {4, 1, -2, 2, 2, 2, 2, 4} # f Combinatorial flattening {-118, -73, -44, 60, 30, -14, -14, -14} # f' Combinatorial flattening {96, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -3925698709504190116737186005881561501153861/2224597843664563273725800379472125269620698*y^18 - 63761212629966443048514406876549082062832849/2224597843664563273725800379472125269620698*y^17 - 26578261302062651408965768722610049093523512/123588769092475737429211132192895848312261*y^16 - 236174117488934458743623835720420853944300061/247177538184951474858422264385791696624522*y^15 - 3743728747221137330542880092722703680938881699/1112298921832281636862900189736062634810349*y^14 - 1153432203973619282235944579740085797119855527/123588769092475737429211132192895848312261*y^13 - 13590394649200986228861751987183950759462578905/1112298921832281636862900189736062634810349*y^12 - 22238736987141794228097925281484931669998304519/1112298921832281636862900189736062634810349*y^11 - 14784673396234826837603674529351869544606373697/2224597843664563273725800379472125269620698*y^10 + 201925211239982444402527565253878286506043761/370766307277427212287633396578687544936783*y^9 + 587214611641347274466215196884791024582611498/65429348343075390403700011160944860871197*y^8 - 801808294467662962701725780942067379968101291/130858696686150780807400022321889721742394*y^7 - 146597480203312353579918905449189268247146896/370766307277427212287633396578687544936783*y^6 + 920907375289768596854258630290762476054088907/247177538184951474858422264385791696624522*y^5 - 15840347356662337647851954382440687145447091207/2224597843664563273725800379472125269620698*y^4 + 10807306870244353513070196839351515889281067849/2224597843664563273725800379472125269620698*y^3 - 956911406465766591161786685310103318108308615/741532614554854424575266793157375089873566*y^2 + 64575097707358842711901534210426156511924171/247177538184951474858422264385791696624522*y - 26542448258976811192237503448447526647524221/2224597843664563273725800379472125269620698 # 2 Loop Invariant -27736589888140775324820880960692389981729958746557376065387610936320477618018100098875250378825/1429274983999163657148422433919185957210329175927894108575273971346836801028991612179210358578256*y^18 - 56112608271837357121347260180745965133237878691819905354152845635094763919697804342106902446251/178659372999895457143552804239898244651291146990986763571909246418354600128623951522401294822282*y^17 - 31069117126536941625327017530774262263923298263034258819770736520652196053273816578064599852881/13234027629621885714337244758510981085280825703036056560882166401359600009527700112770466283132*y^16 - 549771775682559396382907665806239607553179278763624834786209375422565196093990821476563533842241/52936110518487542857348979034043924341123302812144226243528665605438400038110800451081865132528*y^15 - 52191297494152024106336074713723468878072916707837817603320806181414478857161621624819180405188203/1429274983999163657148422433919185957210329175927894108575273971346836801028991612179210358578256*y^14 - 3006895685130411133575308565611186384299955593510899899807056994018758728860711326661270501782186/29776562166649242857258800706649707441881857831831127261984874403059100021437325253733549137047*y^13 - 186017155730351423203904339750433358534222831654265738401319340291100815105711342894320082884329127/1429274983999163657148422433919185957210329175927894108575273971346836801028991612179210358578256*y^12 - 77476622193432686882985308132840055273003406933272114033139646242271416340239089178299082541144953/357318745999790914287105608479796489302582293981973527143818492836709200257247903044802589644564*y^11 - 5949744502902248629691810337771496305153698744930372859890006602919337634918076211335443177753975/89329686499947728571776402119949122325645573495493381785954623209177300064311975761200647411141*y^10 + 150942951563770284391702869892693964178156742514538457143491455755048721834610882787866940074059/476424994666387885716140811306395319070109725309298036191757990448945600342997204059736786192752*y^9 + 8007889533584877490803489227404971928105208624625586276936443650584097704391006989019807772263881/84074999058774332773436613759952115130019363289876124033839645373343341236999506598777079916368*y^8 - 6047532804289864959728979591359047147652920547225805049078933015581498036630430938589704285375869/84074999058774332773436613759952115130019363289876124033839645373343341236999506598777079916368*y^7 + 66859082563039442426525001493859127450459303296426517895455913065905538546162068436637659600251/13234027629621885714337244758510981085280825703036056560882166401359600009527700112770466283132*y^6 + 9260138185825330020139429886874249240052532111447493472914337859897703820650861705837087884962381/238212497333193942858070405653197659535054862654649018095878995224472800171498602029868393096376*y^5 - 115539412067324415344883963781055134768301077725868880967122857372892224566530725096796776676656441/1429274983999163657148422433919185957210329175927894108575273971346836801028991612179210358578256*y^4 + 85964664049145394012508358274847059088072903779056613240775094696857795859950565726834190694308869/1429274983999163657148422433919185957210329175927894108575273971346836801028991612179210358578256*y^3 - 1634807719987423914202871908981475373153330718899520210692032266294179365062178601057179784514321/79404165777731314286023468551065886511684954218216339365292998408157600057166200676622797698792*y^2 + 2828613835437761702079659993905475226113026821334028864621278883999861500937721102163621851104839/476424994666387885716140811306395319070109725309298036191757990448945600342997204059736786192752*y + 505062522606833112585871555914102321991970332987787636340016626736704821666567157574217384392887355/357318745999790914287105608479796489302582293981973527143818492836709200257247903044802589644564 # 3 Loop Invariant 201140205227202852023929286371005574176254363213236998244236554648720113033656238620024758263860373868053546515139030279/90009930325463406142558047755669677716247285981529345395065159747609547223392443356278028448622633836631734966574631318496*y^18 + 3248391657077582478928094509480641072272179961642307864072275619233819133974847648499398854545253856964355363470894002743/90009930325463406142558047755669677716247285981529345395065159747609547223392443356278028448622633836631734966574631318496*y^17 + 224222721933293937861739309403276275566872435988781170192838137622402339133789836266488794217150435941057960183745257291/833425280791327834653315256996941460335623018347493938843195923588977289105485586632203967116876239228071620060876215912*y^16 + 1976370784167002866844770868795072629881755909713006283311744386688346624724798925633483682503799103149179126661580484879/1666850561582655669306630513993882920671246036694987877686391847177954578210971173264407934233752478456143240121752431824*y^15 + 748240788205723991283166516018381567955873651430885649897028331320237358807517620250962348421559056150998112766880771819133/180019860650926812285116095511339355432494571963058690790130319495219094446784886712556056897245267673263469933149262636992*y^14 + 171744416554630773296058483120033370053361882664191442624778486409437817283375560909105270397337198347430329666671567296605/15001655054243901023759674625944946286041214330254890899177526624601591203898740559379671408103772306105289161095771886416*y^13 + 162628104847203012168035868004949272589774147505726242578466092313762425420378715540021393528302689243427710576615730928479/11251241290682925767819755969458709714530910747691168174383144968451193402924055419534753556077829229578966870821828914812*y^12 + 4330490611021022938594977141332488716839175964138879356019056938361295014885597389724436864429959945954830172114151135468445/180019860650926812285116095511339355432494571963058690790130319495219094446784886712556056897245267673263469933149262636992*y^11 + 1095331701460940327239118241136810197793092521082941083256369242749635139740821628791965083914574848371626697967097726540351/180019860650926812285116095511339355432494571963058690790130319495219094446784886712556056897245267673263469933149262636992*y^10 - 92971494372767643731676232977286459612130957167677532151729652868832231827022955823705500288684959648287996129606266628769/60006620216975604095038698503779785144164857321019563596710106498406364815594962237518685632415089224421156644383087545664*y^9 - 130097335233932865042996584425745318771115403997324797774218950525867808981497550834940613354808415038531780142629629071667/10589403567701577193242123265372903260734974821356393575890018793836417320399110983091532758661486333721380584302897802176*y^8 + 79421746404720606194047285491880873849810840168299458229867359153290109331633953135008356638226368892217701540930302689213/10589403567701577193242123265372903260734974821356393575890018793836417320399110983091532758661486333721380584302897802176*y^7 - 30506958139647516267554406432194217968599710779704441786332250884595547033176740783150635219726154557436705283370610882475/20002206738991868031679566167926595048054952440339854532236702166135454938531654079172895210805029741473718881461029181888*y^6 - 76821864567111412485546919058748492154533100238964970060523939693537880233488250732164464129961403384599040013685546670509/15001655054243901023759674625944946286041214330254890899177526624601591203898740559379671408103772306105289161095771886416*y^5 + 816448108283967280007239448058155273707323771937831645850322360584103942538514705531284099117500621462872729105438179980325/90009930325463406142558047755669677716247285981529345395065159747609547223392443356278028448622633836631734966574631318496*y^4 - 656507408283430467558773480717173147473821827861442288175924477691901609544299081531992578677002505764274340122557835737127/90009930325463406142558047755669677716247285981529345395065159747609547223392443356278028448622633836631734966574631318496*y^3 + 11845879164390395648733057412419978252852095865340177051720837625379374065545880826178876723692486312745322099848137215859/5000551684747967007919891541981648762013738110084963633059175541533863734632913519793223802701257435368429720365257295472*y^2 - 44460130705144058614509841310774964893180705760972783654118647196111704268247741750155097616180849189823384284302378567447/60006620216975604095038698503779785144164857321019563596710106498406364815594962237518685632415089224421156644383087545664*y + 1922153467640301244772695757480487518867346214044279583513792768332586442763312997107060332356561488910706498286366512225/22502482581365851535639511938917419429061821495382336348766289936902386805848110839069507112155658459157933741643657829624 # 4 Loop Invariant -3414576418170856394059654527374037974444006443025132671409285942111622313306935624808007145768602398204056380240602144715870625206548717013924746535510380319813095752910049/3011989665440920039036778143095904901901756043907777439279586246046947497042262950093099045827382098414185408639357496168568946542551216232495081388541319243554377727162724360*y^18 - 7421705935468088307852867140253647495832815821248350862260143561363099335941602251313739903863898110380142579443879039025238218298650963707996264934134782765474970799001316359/385534677176437764996707602316275827443424773620195512227787039494009279621409657611916677865904908597015732305837759509576825157446555677759370417733288863174960349076828718080*y^17 - 2173526353833367432678611535367138362974816860702325928221785727123090057850814570081771404889640004134035184607592913379384698739961973440711761958964273633359287854004311071/14279062117645843148026207493195401016423139763710944897325445907185528874867024355996913995033515133222804900216213315169512042868390951028124830286418106043517049965808471040*y^16 - 1722012461746170594567819952209160290650070015670747591357946540484373808561429684134236355522830618297775939059825746906139563207483732651985588442226878708006763926275247363/2379843686274307191337701248865900169403856627285157482887574317864254812477837392666152332505585855537134150036035552528252007144731825171354138381069684340586174994301411840*y^15 - 1031505066037668884618403478219221324475176903116356942373965588923536826080802088490686488229608935081300412870423256817717736632136432476137479856876913532160306722333009157289/385534677176437764996707602316275827443424773620195512227787039494009279621409657611916677865904908597015732305837759509576825157446555677759370417733288863174960349076828718080*y^14 - 1011556398418873904081442278050230701383752218377235918810387487629459280860395226662935903914414370816323317034629918316062651928752072027048654442430284986835773143011218290121/128511559058812588332235867438758609147808257873398504075929013164669759873803219203972225955301636199005244101945919836525608385815518559253123472577762954391653449692276239360*y^13 - 2562450703596967217238196228653018583605742646524253983301838295217716698607233086299566240264940204211529445172024277179332222533506882861000274839949769946308487836356236173939/192767338588218882498353801158137913721712386810097756113893519747004639810704828805958338932952454298507866152918879754788412578723277838879685208866644431587480174538414359040*y^12 - 8317781901410915788724957772697610087503352017916000611571135668915982947164094487449497988982210660274997256737435861095639021056363520201893642869536808859331733024909788328663/385534677176437764996707602316275827443424773620195512227787039494009279621409657611916677865904908597015732305837759509576825157446555677759370417733288863174960349076828718080*y^11 - 1771735414402023836750427023117011844816239619331549166334025996663113435801551221926811547112411709008361429495228711495673074730096886315766858169622360103503837536570921505437/96383669294109441249176900579068956860856193405048878056946759873502319905352414402979169466476227149253933076459439877394206289361638919439842604433322215793740087269207179520*y^10 - 1324775594681439263848658136170172942482233629093167675095559994655845841548505639205271385283831216325537954505210503448508564971920291888106599049331590759003494858035169657317/128511559058812588332235867438758609147808257873398504075929013164669759873803219203972225955301636199005244101945919836525608385815518559253123472577762954391653449692276239360*y^9 + 3321204540556386267999343124495743481085943893157559695927534885920964455349980786905169446853842754515871972873292647967630991008126705867343038175907247959302098499994944159/4535702084428679588196560027250303852275585572002300143856318111694226819075407736610784445481234218788420380068679523642080295969959478561874946090979868978528945283256808448*y^8 - 23063066896858871756441311514480554004656797816444193324576344988665229569331442220485894949818564150803861774267054526544974143525310322857183946751438075888177084844562492091/11339255211071698970491400068125759630688963930005750359640795279235567047688519341526961113703085546971050950171698809105200739924898696404687365227449672446322363208142021120*y^7 - 8701104871763903677752592847870955692936836729969770640751704771280877646632441765885886627363751237339510147527172450998579535631328652794517723081353222103963910659695928539/5354648294117191180509827809948275381158677411391604336497042215194573328075134133498842748137568174958551837581079993188567016075646606635546811357406789766318893737178176640*y^6 + 119267593459356267955889482054833879913572262011253686457434779013968977839910247538241270529068916055907748071289934577188766926816548188487053596481666149601536537338006644423/64255779529406294166117933719379304573904128936699252037964506582334879936901609601986112977650818099502622050972959918262804192907759279626561736288881477195826724846138119680*y^5 - 1265066373733079459467884360824248613251509114876655575728798965751975913052074944480599722997082025269114247790556133884214934387416802287477276275500471677259118279483169402859/385534677176437764996707602316275827443424773620195512227787039494009279621409657611916677865904908597015732305837759509576825157446555677759370417733288863174960349076828718080*y^4 + 108391539843262092784769980897491058874095046229688687935962206300329398834897994427349624068668245881849046072695229578223805508884936735059676957705356712345037183892539920313/192767338588218882498353801158137913721712386810097756113893519747004639810704828805958338932952454298507866152918879754788412578723277838879685208866644431587480174538414359040*y^3 + 90570126549421776445026957002071615329939000572612933458523569491507448251441992308716908276334216968885242117204085357586995303649488985184378059035910048235920354556710451/7139531058822921574013103746597700508211569881855472448662722953592764437433512177998456997516757566611402450108106657584756021434195475514062415143209053021758524982904235520*y^2 - 407874111765151683239523064099286822961607120885379085246994137344728307636463448026233446930035376559372984161483807921483431562001664956706523297091586126094207263705168887/8031972441175786770764741714922413071738016117087406504745563322791859992112701200248264122206352262437827756371619989782850524113469909953320217036110184649478340605767264960*y + 16324024598885084746252389224126192782462877390039847159781579114717098898143220446487018065718612964181522665782818598184817733157312115753752255354123432363726099498061091/376498708180115004879597267886988112737719505488472179909948280755868437130282868761637380728422762301773176079919687021071118317818902029061885173567664905444297215895340545