# Manifold: Census Knot K8_51 # Number of Tetrahedra: 8 # Number Field x^19 - 19*x^18 + 169*x^17 - 771*x^16 + 1421*x^15 + 1222*x^14 - 6489*x^13 - 538*x^12 + 16007*x^11 - 19891*x^10 - 35356*x^9 + 182062*x^8 + 535020*x^7 + 623761*x^6 + 371637*x^5 + 96102*x^4 - 8619*x^3 - 10439*x^2 - 1487*x + 79 # Approximate Field Generator -0.614764129542708 + 0.203557248304718*I # Shape Parameters -48444252468910462582836450259940734031757/1177805254504126605868448965581904846871552*y^18 + 474255975912789126848801777497969913029109/588902627252063302934224482790952423435776*y^17 - 8736691560764340631123625421564556483215403/1177805254504126605868448965581904846871552*y^16 + 10603231652066437367815524494771655169025119/294451313626031651467112241395476211717888*y^15 - 93414770973480390687993864594369371152493613/1177805254504126605868448965581904846871552*y^14 - 5072937035659225843397308591284293229392699/1177805254504126605868448965581904846871552*y^13 + 158650071149623961461853977650347206883892965/588902627252063302934224482790952423435776*y^12 - 39447624366625429565161098417718086044497145/294451313626031651467112241395476211717888*y^11 - 684041272470135468051570499126231449226455359/1177805254504126605868448965581904846871552*y^10 + 169995557822856263506837609301851784718433643/147225656813015825733556120697738105858944*y^9 + 231204919455911725954519876218782091013860913/294451313626031651467112241395476211717888*y^8 - 4677912959877198724649647475799423421083460809/588902627252063302934224482790952423435776*y^7 - 10248782646643020680742294552864919551179259975/588902627252063302934224482790952423435776*y^6 - 18339471051671313680796457201551928588478906219/1177805254504126605868448965581904846871552*y^5 - 1843474294709020533604357421075496615489673287/294451313626031651467112241395476211717888*y^4 - 188954598302647891652375261793651207106420005/588902627252063302934224482790952423435776*y^3 + 642121433343058246188241325631411290818386405/1177805254504126605868448965581904846871552*y^2 + 1088689409401892437076721873823540472217673/9201603550813489108347257543608631616184*y - 3522337531742040532055314586412812374381437/1177805254504126605868448965581904846871552 10627782461228854388383536185247895413579/90865835064283204944929168243135237209817*y^18 - 207830910887791596904011063081275952765658/90865835064283204944929168243135237209817*y^17 + 1911673226945899053704618046681709235416949/90865835064283204944929168243135237209817*y^16 - 9258599244135288288746916164225260983445256/90865835064283204944929168243135237209817*y^15 + 20270130411635230849071309580928994238933966/90865835064283204944929168243135237209817*y^14 + 1604614888391630512267773836109373763867435/90865835064283204944929168243135237209817*y^13 - 69582281640980076564013035362970702152526132/90865835064283204944929168243135237209817*y^12 + 32945473895163421392037499698061021872508094/90865835064283204944929168243135237209817*y^11 + 150893802951586496846192744816300692995284508/90865835064283204944929168243135237209817*y^10 - 294748478383878452819819976632078975876100900/90865835064283204944929168243135237209817*y^9 - 210045679209998274167880135942302432055597510/90865835064283204944929168243135237209817*y^8 + 2047612850243433380465031184578370867665610879/90865835064283204944929168243135237209817*y^7 + 4546061072789081879431723969624827596305025337/90865835064283204944929168243135237209817*y^6 + 4131459263782840825146798288053116187918348126/90865835064283204944929168243135237209817*y^5 + 1714744776791488011057515700931484413196588068/90865835064283204944929168243135237209817*y^4 + 122450149008113459673034410310586634583039191/90865835064283204944929168243135237209817*y^3 - 138081989665740055980148044347286841970525598/90865835064283204944929168243135237209817*y^2 - 33140862034112528227496476646400402095758592/90865835064283204944929168243135237209817*y + 776549631676010220514431459935081943400442/90865835064283204944929168243135237209817 -487844890813651938954195258929393707113/9201603550813489108347257543608631616184*y^18 + 1198352462827165346294176998299075829841/1150200443851686138543407192951078952023*y^17 - 88682011220517006775058910641597283495567/9201603550813489108347257543608631616184*y^16 + 108431645666300155106108578710566437821207/2300400887703372277086814385902157904046*y^15 - 974172659196008023818676980614277745651001/9201603550813489108347257543608631616184*y^14 + 30457800861437542305753394848101534743399/9201603550813489108347257543608631616184*y^13 + 395641561066922764561322009092476365289819/1150200443851686138543407192951078952023*y^12 - 903173332069385862366487144615991815525711/4600801775406744554173628771804315808092*y^11 - 6683923140002057830264779273808091258940577/9201603550813489108347257543608631616184*y^10 + 3526478055398481266709635538032073801333845/2300400887703372277086814385902157904046*y^9 + 4078798055876201846253026397561702436273935/4600801775406744554173628771804315808092*y^8 - 47202889521003077163604138306849798405160853/4600801775406744554173628771804315808092*y^7 - 24944910928276158279788552938651909248983175/1150200443851686138543407192951078952023*y^6 - 172684902543753220205891081550131390022885703/9201603550813489108347257543608631616184*y^5 - 16492505070025634392291356006792581626070101/2300400887703372277086814385902157904046*y^4 - 969728993595733980792695929662586737344781/4600801775406744554173628771804315808092*y^3 + 5918982457654730236307476960809603446459549/9201603550813489108347257543608631616184*y^2 + 558157096382032103399455782875671898970949/4600801775406744554173628771804315808092*y - 54958715148487036644644625690312656545497/9201603550813489108347257543608631616184 -487844890813651938954195258929393707113/9201603550813489108347257543608631616184*y^18 + 1198352462827165346294176998299075829841/1150200443851686138543407192951078952023*y^17 - 88682011220517006775058910641597283495567/9201603550813489108347257543608631616184*y^16 + 108431645666300155106108578710566437821207/2300400887703372277086814385902157904046*y^15 - 974172659196008023818676980614277745651001/9201603550813489108347257543608631616184*y^14 + 30457800861437542305753394848101534743399/9201603550813489108347257543608631616184*y^13 + 395641561066922764561322009092476365289819/1150200443851686138543407192951078952023*y^12 - 903173332069385862366487144615991815525711/4600801775406744554173628771804315808092*y^11 - 6683923140002057830264779273808091258940577/9201603550813489108347257543608631616184*y^10 + 3526478055398481266709635538032073801333845/2300400887703372277086814385902157904046*y^9 + 4078798055876201846253026397561702436273935/4600801775406744554173628771804315808092*y^8 - 47202889521003077163604138306849798405160853/4600801775406744554173628771804315808092*y^7 - 24944910928276158279788552938651909248983175/1150200443851686138543407192951078952023*y^6 - 172684902543753220205891081550131390022885703/9201603550813489108347257543608631616184*y^5 - 16492505070025634392291356006792581626070101/2300400887703372277086814385902157904046*y^4 - 969728993595733980792695929662586737344781/4600801775406744554173628771804315808092*y^3 + 5918982457654730236307476960809603446459549/9201603550813489108347257543608631616184*y^2 + 558157096382032103399455782875671898970949/4600801775406744554173628771804315808092*y - 54958715148487036644644625690312656545497/9201603550813489108347257543608631616184 -153075732192380235231701092700912555826099/3238964449886348166138234655350238328896768*y^18 + 1502159067694436223866149177225848787889509/1619482224943174083069117327675119164448384*y^17 - 2523056892166768802859984753372608159996747/294451313626031651467112241395476211717888*y^16 + 33861809327829668749286329015497154338498559/809741112471587041534558663837559582224192*y^15 - 302768661847028159981229652118862382622294699/3238964449886348166138234655350238328896768*y^14 + 4755281028704124605207765425022894254853687/3238964449886348166138234655350238328896768*y^13 + 492208998937546902592229223548359787952580135/1619482224943174083069117327675119164448384*y^12 - 132309584136980476521614814762572767641806739/809741112471587041534558663837559582224192*y^11 - 2109574505914592045866601369099150873542847457/3238964449886348166138234655350238328896768*y^10 + 1087762403469072605556482114341201345159157553/809741112471587041534558663837559582224192*y^9 + 333897354326765070388013965434315323822034285/404870556235793520767279331918779791112096*y^8 - 14735158915567427774931819352578657173591665425/1619482224943174083069117327675119164448384*y^7 - 31732083799996117252937090517378221432796082647/1619482224943174083069117327675119164448384*y^6 - 56110528534508449328802231915360123164910068681/3238964449886348166138234655350238328896768*y^5 - 506381588506546346433134851818039232851889789/73612828406507912866778060348869052929472*y^4 - 529074763703093896750457438480979953835152607/1619482224943174083069117327675119164448384*y^3 + 1939762730667013980203087866904752711886587099/3238964449886348166138234655350238328896768*y^2 + 100771205531947460231012095968486690223067995/809741112471587041534558663837559582224192*y - 20702755694716743744973211757270246136040999/3238964449886348166138234655350238328896768 28924191409963469834912580929933897319955317/255878191541021505124920537772668827982844672*y^18 - 283294839797995262017010855465705645176100019/127939095770510752562460268886334413991422336*y^17 + 474688849305059686816351269995236608704709149/23261653776456500465901867070242620725713152*y^16 - 6342703492417694252316405633153981865359612809/63969547885255376281230134443167206995711168*y^15 + 56001085071499463056906296648648215288014999485/255878191541021505124920537772668827982844672*y^14 + 2559767650429373792415743105399036084044382511/255878191541021505124920537772668827982844672*y^13 - 94810223713156914555610516781364347294578517217/127939095770510752562460268886334413991422336*y^12 + 24030579309123772511197287987258546025349821397/63969547885255376281230134443167206995711168*y^11 + 407703791390507238076482625155039098322181163351/255878191541021505124920537772668827982844672*y^10 - 204033234824975808155533513580644071220564832711/63969547885255376281230134443167206995711168*y^9 - 68116132923952180627488153934373235901754355147/31984773942627688140615067221583603497855584*y^8 + 2796423485681305656999078329747609763586182432039/127939095770510752562460268886334413991422336*y^7 + 6092665642661156304622569856285567492665868395697/127939095770510752562460268886334413991422336*y^6 + 10827279354122511357548742941540153956773206868271/255878191541021505124920537772668827982844672*y^5 + 97490719013987217287265304101761600934094845083/5815413444114125116475466767560655181428288*y^4 + 89962137224162483959424522589043011694380636777/127939095770510752562460268886334413991422336*y^3 - 384374662987073548002561625580343847714196156173/255878191541021505124920537772668827982844672*y^2 - 19217654509071806098667839533012275266535592013/63969547885255376281230134443167206995711168*y + 5016345001361144417206948043911204668064953953/255878191541021505124920537772668827982844672 -153075732192380235231701092700912555826099/3238964449886348166138234655350238328896768*y^18 + 1502159067694436223866149177225848787889509/1619482224943174083069117327675119164448384*y^17 - 2523056892166768802859984753372608159996747/294451313626031651467112241395476211717888*y^16 + 33861809327829668749286329015497154338498559/809741112471587041534558663837559582224192*y^15 - 302768661847028159981229652118862382622294699/3238964449886348166138234655350238328896768*y^14 + 4755281028704124605207765425022894254853687/3238964449886348166138234655350238328896768*y^13 + 492208998937546902592229223548359787952580135/1619482224943174083069117327675119164448384*y^12 - 132309584136980476521614814762572767641806739/809741112471587041534558663837559582224192*y^11 - 2109574505914592045866601369099150873542847457/3238964449886348166138234655350238328896768*y^10 + 1087762403469072605556482114341201345159157553/809741112471587041534558663837559582224192*y^9 + 333897354326765070388013965434315323822034285/404870556235793520767279331918779791112096*y^8 - 14735158915567427774931819352578657173591665425/1619482224943174083069117327675119164448384*y^7 - 31732083799996117252937090517378221432796082647/1619482224943174083069117327675119164448384*y^6 - 56110528534508449328802231915360123164910068681/3238964449886348166138234655350238328896768*y^5 - 506381588506546346433134851818039232851889789/73612828406507912866778060348869052929472*y^4 - 529074763703093896750457438480979953835152607/1619482224943174083069117327675119164448384*y^3 + 1939762730667013980203087866904752711886587099/3238964449886348166138234655350238328896768*y^2 + 100771205531947460231012095968486690223067995/809741112471587041534558663837559582224192*y - 20702755694716743744973211757270246136040999/3238964449886348166138234655350238328896768 7521899950121079553716197819483508208665/73612828406507912866778060348869052929472*y^18 - 142298092900214336023131145271838359692921/73612828406507912866778060348869052929472*y^17 + 627659097515768514238003731044052030827819/36806414203253956433389030174434526464736*y^16 - 2805640648639965121462548652462862864869083/36806414203253956433389030174434526464736*y^15 + 9413155793985825471710688276575477491959715/73612828406507912866778060348869052929472*y^14 + 7096626549739884921068958050048398440371425/36806414203253956433389030174434526464736*y^13 - 915681979890178250817459054778857544089063/1150200443851686138543407192951078952023*y^12 - 492313599249727441059866234892839021014963/18403207101626978216694515087217263232368*y^11 + 143634288327773411408303861753431648749242583/73612828406507912866778060348869052929472*y^10 - 168382372868696368944416486100029156167298545/73612828406507912866778060348869052929472*y^9 - 318646427889892745877878792884790112193072565/73612828406507912866778060348869052929472*y^8 + 1489843942872966621624954852061844569375545125/73612828406507912866778060348869052929472*y^7 + 4126379769223143702363179177611602086965259147/73612828406507912866778060348869052929472*y^6 + 2113689498624641336343563440541834945604006605/36806414203253956433389030174434526464736*y^5 + 965069441735227635743250362869981327151526243/36806414203253956433389030174434526464736*y^4 + 21432834054681152044093409805508902614802513/9201603550813489108347257543608631616184*y^3 - 156535525292705988364485725845713888159589833/73612828406507912866778060348869052929472*y^2 - 37326260056243916800561362473369628783503417/73612828406507912866778060348869052929472*y + 49306826006829212579580006454580884089277/2300400887703372277086814385902157904046 # A Gluing Matrix {{2,2,0,0,1,-2,1,0},{1,2,0,0,1,-2,1,0},{0,0,0,0,0,-1,1,0},{0,0,0,0,1,-1,0,0},{1,2,1,1,2,0,2,2},{-1,-2,-1,-1,0,0,0,0},{1,2,2,0,2,0,2,2},{0,0,0,0,1,0,1,2}} # B Gluing Matrix {{2,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0},{0,0,1,0,0,0,0,0},{0,0,0,1,0,0,0,0},{0,0,0,0,1,0,1,0},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,2,0},{0,0,0,0,0,0,0,1}} # nu Gluing Vector {0, 0, 0, 0, 4, 0, 4, 2} # f Combinatorial flattening {-4, 4, 0, -4, 0, 0, 0, 0} # f' Combinatorial flattening {0, -4, 0, 0, 4, 0, 0, 2} # 1 Loop Invariant 563726830630547962496956692812501469636405/588902627252063302934224482790952423435776*y^18 - 5511934702399836131209277853263910764368617/294451313626031651467112241395476211717888*y^17 + 101326964571307779163508885230350035237591179/588902627252063302934224482790952423435776*y^16 - 122397116775345243822262444080447031167809067/147225656813015825733556120697738105858944*y^15 + 1060320894243328366680362846370460192244970181/588902627252063302934224482790952423435776*y^14 + 165644202331277248757346512111061929896278027/588902627252063302934224482790952423435776*y^13 - 1960221208375459757919693377390185100899991741/294451313626031651467112241395476211717888*y^12 + 495467589543323458189887515365822121420251453/147225656813015825733556120697738105858944*y^11 + 8288508453172265661297532723595962199605761607/588902627252063302934224482790952423435776*y^10 - 1019107150790971025431769746757170036705210293/36806414203253956433389030174434526464736*y^9 - 2865033498628727342379510027231969634143937747/147225656813015825733556120697738105858944*y^8 + 55639026330674013307268664670427996234122018805/294451313626031651467112241395476211717888*y^7 + 119723996828830871692224318904632176470575497875/294451313626031651467112241395476211717888*y^6 + 206200044393208917854117480888114526328502050059/588902627252063302934224482790952423435776*y^5 + 19127259078019808181599676061623701588254962315/147225656813015825733556120697738105858944*y^4 + 542270182855551827175449943277091807854066757/294451313626031651467112241395476211717888*y^3 - 6924557373342679214731414345073718340910923117/588902627252063302934224482790952423435776*y^2 - 150856824690840412060808208277067888452206217/73612828406507912866778060348869052929472*y + 55760223988361061421416456753074764964305325/588902627252063302934224482790952423435776 # 2 Loop Invariant 24673858017558219113616481804890636575467646741528240324803145700163939555781081466489127884183/16316506801401440693965066613268359701549020369799626022259110196031648154269395562845361581756896*y^18 - 748221038729923263690013531061081550376058994794545035279116902042556733959925259841647912148737/24474760202102161040947599919902539552323530554699439033388665294047472231404093344268042372635344*y^17 + 3578371804310370205629912004243026057264340138380474586830215648557490245834381358679422754337771/12237380101051080520473799959951269776161765277349719516694332647023736115702046672134021186317672*y^16 - 4633864002601980967289995418005083587381582038677377156957715517794996644699580506073249844790953/3059345025262770130118449989987817444040441319337429879173583161755934028925511668033505296579418*y^15 + 192026147148993407182495524214526191309185793968511380055952687775047637647983351055260932999537335/48949520404204322081895199839805079104647061109398878066777330588094944462808186688536084745270688*y^14 - 124953263434185774535068704384535055187606026796354851405589298215738179083259386332478223243113107/48949520404204322081895199839805079104647061109398878066777330588094944462808186688536084745270688*y^13 - 126819210442853130037403288653761106746614490719242084105346653176352249087464506449814951601331153/16316506801401440693965066613268359701549020369799626022259110196031648154269395562845361581756896*y^12 + 477715528546822025979329965341781393933213034359628820690893523229428536628813142546084328625375671/48949520404204322081895199839805079104647061109398878066777330588094944462808186688536084745270688*y^11 + 55263616728707695559538824257304242095395758986450034813487824103455967759363546918676632730761455/4079126700350360173491266653317089925387255092449906505564777549007912038567348890711340395439224*y^10 - 2426254809078163095023513216839095081562235003546842408559112168373203109772957142284120922621733681/48949520404204322081895199839805079104647061109398878066777330588094944462808186688536084745270688*y^9 + 133669918395872896609350424770339126656919892887834097856327488033079686921054338597225344281153633/24474760202102161040947599919902539552323530554699439033388665294047472231404093344268042372635344*y^8 + 13742406373768946412846051282697288509262210006209930486468781506277269716483762182951205448881574191/48949520404204322081895199839805079104647061109398878066777330588094944462808186688536084745270688*y^7 + 11247540395124163854801674669452703875202351059360879217638455573867790824355648061356710090571604939/24474760202102161040947599919902539552323530554699439033388665294047472231404093344268042372635344*y^6 + 7970960055278077672433095867912254994680170680042988510860800713848472745651256389673543687980206957/24474760202102161040947599919902539552323530554699439033388665294047472231404093344268042372635344*y^5 + 2434840292852654309034576669181371751599573410488519128920988137839581428856440271899489008291506649/24474760202102161040947599919902539552323530554699439033388665294047472231404093344268042372635344*y^4 - 85104568660304972150346215974515441251969192321140955025695605713923305334422574875788667240608757/24474760202102161040947599919902539552323530554699439033388665294047472231404093344268042372635344*y^3 - 521937553581198486467371778827608591495182019291993504631178648772835667051670939038838541158013369/48949520404204322081895199839805079104647061109398878066777330588094944462808186688536084745270688*y^2 - 47107388727519947649694958368486435095762734095917379504078146383130151041389085866507921864649997/24474760202102161040947599919902539552323530554699439033388665294047472231404093344268042372635344*y + 10432272951359748222074538748863482916316133111029840569379667786875035992281227386818707100847983/6118690050525540260236899979975634888080882638674859758347166323511868057851023336067010593158836 # 3 Loop Invariant -3068520372073166029112411110829565095592699132999085221044605823172843621873715445396893299800520587495443240333604782473415/343541355501033990848400495760961394992920906206656797468728133204154916515750074005930797442939141716662509498020731888419424*y^18 + 120395424427099170195099137937707160440510345421093666061668782746879095276241049620973481195193381393976765749669123341954735/687082711002067981696800991521922789985841812413313594937456266408309833031500148011861594885878283433325018996041463776838848*y^17 - 27109272127078605478632960077139637621930176178415521738916822025353443889383606581422163107441719630484695585620957578564491/16758114902489462968214658329802994877703458839349112071645274790446581293451223122240526704533616669105488268196133262849728*y^16 + 677131833264990702529009064835109303710914055101397190066298918974734946262191609201176132803723386215130441825964872709995341/85885338875258497712100123940240348748230226551664199367182033301038729128937518501482699360734785429165627374505182972104856*y^15 - 12054784967823022742141907148890933707004062396011817168699406014548249900086994230651450312213668417997718460552218187064682075/687082711002067981696800991521922789985841812413313594937456266408309833031500148011861594885878283433325018996041463776838848*y^14 - 119809263446283040676725255600762429041273753919150921122876536200111297851081306712279023145595609902463616121211376352933539/687082711002067981696800991521922789985841812413313594937456266408309833031500148011861594885878283433325018996041463776838848*y^13 + 40085123807672213191463984051298878196240257188609424826759674981368080606999305218035104903462976915418413175739874732737581991/687082711002067981696800991521922789985841812413313594937456266408309833031500148011861594885878283433325018996041463776838848*y^12 - 5407477664672337071549022699440733061595270519371571313727589893514888505067448265130890477272559479697012242684742904120045821/171770677750516995424200247880480697496460453103328398734364066602077458257875037002965398721469570858331254749010365944209712*y^11 - 42582081051303419777147117680619850404707317668366828928348637194949941687717448757070286963520798964481331857271256908239755129/343541355501033990848400495760961394992920906206656797468728133204154916515750074005930797442939141716662509498020731888419424*y^10 + 175227821657469446410882430523412813049767489729185501201026163937234829669857552710309964817113822598535084137142928232197217991/687082711002067981696800991521922789985841812413313594937456266408309833031500148011861594885878283433325018996041463776838848*y^9 + 109128670933724931081675445533828079384510490003918611833213364544585352801495614691147183825088978744419810530299175382152715733/687082711002067981696800991521922789985841812413313594937456266408309833031500148011861594885878283433325018996041463776838848*y^8 - 18547624114904595455234396107273096450226622671505556857879103855457000582932967113118825949793460901828473794161004411027447509/10735667359407312214012515492530043593528778318958024920897754162629841141117189812685337420091848178645703421813147871513107*y^7 - 1274513280983976744611430853586276128244935764409934260630653219191106706249379826420729166030014911109507540635109512652612969425/343541355501033990848400495760961394992920906206656797468728133204154916515750074005930797442939141716662509498020731888419424*y^6 - 54669424758241346757871674157436136200461833614082926461568584661413633786824488038556044033655226403715833925728150934094447511/16758114902489462968214658329802994877703458839349112071645274790446581293451223122240526704533616669105488268196133262849728*y^5 - 110113894439480946834045167294410819887187355781511197040214619071373798420653091622661596582996880274281420435481984339430727475/85885338875258497712100123940240348748230226551664199367182033301038729128937518501482699360734785429165627374505182972104856*y^4 - 38450477933706571732275418249036930514521237318304980431385927426508550563649055604987729822385232504807862294033465383547435627/687082711002067981696800991521922789985841812413313594937456266408309833031500148011861594885878283433325018996041463776838848*y^3 + 9609027540724203287690563941334105023979426455228748395288116070864479213797153456014524633641182834369049241031575503729896417/85885338875258497712100123940240348748230226551664199367182033301038729128937518501482699360734785429165627374505182972104856*y^2 + 15736342696882956501626448586139332982351823591623998493401348165870494277685350922609802757670286117306558747334626208107745467/687082711002067981696800991521922789985841812413313594937456266408309833031500148011861594885878283433325018996041463776838848*y - 197628618985154161042293910017107979187943043879596420277587673706315628512026883618536576814018949066975897250412894533827605/171770677750516995424200247880480697496460453103328398734364066602077458257875037002965398721469570858331254749010365944209712 # 4 Loop Invariant -1344039916691874345760157635058123059561175917092479542309755638765900709729745450360717474069184185273481237800984447418366319646321645790192333240212465527121704380820537087502184683/146202209194715416776692547531499076427127406955533140352682587277948556642478406965413605437546987989120799698927735332784315922024236506371295781226763850313019226622874178819830589440*y^18 + 2193356773917845771577285129181430621887378643369332405438275169923886027073751509344133675557474619702491613833710740824621935331407619484578473129509796033558215889545796804182663823/12183517432892951398057712294291589702260617246294428362723548939829046386873200580451133786462248999093399974910644611065359660168686375530941315102230320859418268885239514901652549120*y^17 - 727472462438700102849953964239926964136934009881902759104780569366698930310166856979757256333340871993185876982012375038779005217291462030114665136699564258068297600282713168078235385683/438606627584146250330077642594497229281382220866599421058047761833845669927435220896240816312640963967362399096783205998352947766072709519113887343680291550939057679868622536459491768320*y^16 + 441640215957554771105952443626610882687592481023683011550357088077243282488749408447887111450859023481080655747398672241439478560009944433627560479465648912390192292780314099700571718197/54825828448018281291259705324312153660172777608324927632255970229230708740929402612030102039080120495920299887097900749794118470759088689889235917960036443867382209983577817057436471040*y^15 - 7791928285824683393779014646943310690233747941564512667747623397371154669103187390625061349591203409977644193619527948248030744627210134732513672667728200883244989612791292163914823032523/438606627584146250330077642594497229281382220866599421058047761833845669927435220896240816312640963967362399096783205998352947766072709519113887343680291550939057679868622536459491768320*y^14 - 41225391208167722050102708835714963250409839256225562213783696014446605132476937521810582566693299482772130020302589899507038574142757810759503147883037391658658221990544208027532320603/48734069731571805592230849177166358809042468985177713450894195759316185547492802321804535145848995996373599899642578444261438640674745502123765260408921283437673075540958059606610196480*y^13 + 658586370818476270591907322605769408401978822816621443852125643358228447647237084727444482713776969400811815356689294861244224825305686993687186627328331616017794430452708349841345295251/10965165689603656258251941064862430732034555521664985526451194045846141748185880522406020407816024099184059977419580149958823694151817737977847183592007288773476441996715563411487294208*y^12 - 6579701349951409815855046735430899058161939199981047563159854168527190765991230421468662237878855459004215287364272603125051354587334763849901480241850499844682593567290145151734924832443/219303313792073125165038821297248614640691110433299710529023880916922834963717610448120408156320481983681199548391602999176473883036354759556943671840145775469528839934311268229745884160*y^11 - 6310993875971947253760656308291704151839419035129413325559228765149661342218554836734260117802367176253102205589273792953523639410153231375059999407264510586528818889410643874427577918301/48734069731571805592230849177166358809042468985177713450894195759316185547492802321804535145848995996373599899642578444261438640674745502123765260408921283437673075540958059606610196480*y^10 + 56598509273439028543597782930224569847731421823889930487937667308455295656415346654641477422995059205439789633935180067058346733028972639720230276390848008425286480023228546668368568087889/219303313792073125165038821297248614640691110433299710529023880916922834963717610448120408156320481983681199548391602999176473883036354759556943671840145775469528839934311268229745884160*y^9 + 38234830054418332417075623759597840504806242528150566367479907318426853258839449220990808555932336941527037797928419789353364764797177548821747668388559249432065442430636403878072689373251/219303313792073125165038821297248614640691110433299710529023880916922834963717610448120408156320481983681199548391602999176473883036354759556943671840145775469528839934311268229745884160*y^8 - 389091183516837650134992210150682284414972744673628771285725155903044870102325752319309007000926328610031232473631140723322934299496319419011234133374096549370260912058705061308831334441887/219303313792073125165038821297248614640691110433299710529023880916922834963717610448120408156320481983681199548391602999176473883036354759556943671840145775469528839934311268229745884160*y^7 - 425945147299615693470028620828750191774333367066328509314238602950414691407543610299105126960642301467302997470879004756488774140931451724513108572727792211078658255776615442354495206467069/109651656896036562582519410648624307320345555216649855264511940458461417481858805224060204078160240991840599774195801499588236941518177379778471835920072887734764419967155634114872942080*y^6 - 1524372931056631800506499791346069514723376417551275624755134973170089339200222746285587485111297372736523757179045742814672207592854453699037430557724243009547266204663183333585133992265379/438606627584146250330077642594497229281382220866599421058047761833845669927435220896240816312640963967362399096783205998352947766072709519113887343680291550939057679868622536459491768320*y^5 - 30651441037362670187066641084140248050517060425667073483977600459220151475134464450375232981798650780090515406961567164849383144773156492018510301735972379333737407269075127802742901963399/21930331379207312516503882129724861464069111043329971052902388091692283496371761044812040815632048198368119954839160299917647388303635475955694367184014577546952883993431126822974588416*y^4 - 7809821850518846391356498293958704556642771845180383864298192060197307620824889323420923506498086507132501688880618824840620215139903927400006829530496353411689157730250352235134179226389/109651656896036562582519410648624307320345555216649855264511940458461417481858805224060204078160240991840599774195801499588236941518177379778471835920072887734764419967155634114872942080*y^3 + 3566570690834277745798945583527022266488759846926382003759714228960958428219337442974419728339487137569974105279288072325983427123472485612292569601739720108016664515109634012814773758165/29240441838943083355338509506299815285425481391106628070536517455589711328495681393082721087509397597824159939785547066556863184404847301274259156245352770062603845324574835763966117888*y^2 + 142346268392981167863877046763165325358397846014405366598460007575708926136438181048255855816263964352783453088599925736005318991896870364940053447890627779499397990292226133737444360697/5482582844801828129125970532431215366017277760832492763225597022923070874092940261203010203908012049592029988709790074979411847075908868988923591796003644386738220998357781705743647104*y - 556408084060055485850550496717016216499665233603446373212245258699671198565780501158918076760050146874811063783943871854838029099684558420690529246027688547358464398840567188900315318957/438606627584146250330077642594497229281382220866599421058047761833845669927435220896240816312640963967362399096783205998352947766072709519113887343680291550939057679868622536459491768320