# Manifold: Census Knot K8_119 # Number of Tetrahedra: 8 # Number Field x^18 - 16*x^17 + 88*x^16 - 371*x^15 + 1053*x^14 + 762*x^13 + 1441*x^12 + 52*x^11 + 11940*x^10 + 9486*x^9 - 2845*x^8 - 2982*x^7 + 6506*x^6 + 5329*x^5 - 141*x^4 - 1342*x^3 - 74*x^2 + 219*x + 55 # Approximate Field Generator -0.478166031556065 + 0.418222304540938*I # Shape Parameters 94681014407582341004664049/14535865836702176444090439871*y^17 - 1541819613395167826023551094/14535865836702176444090439871*y^16 + 8772300803190991298602110487/14535865836702176444090439871*y^15 - 37651589428830094553589825019/14535865836702176444090439871*y^14 + 110557591133407400555735337295/14535865836702176444090439871*y^13 + 40194003740710635741437601416/14535865836702176444090439871*y^12 + 125927149554944777140325502055/14535865836702176444090439871*y^11 - 24799310719904210525980471737/14535865836702176444090439871*y^10 + 1128651684729775818524087206232/14535865836702176444090439871*y^9 + 579183846270809460750354972416/14535865836702176444090439871*y^8 - 426482119015229310418730249152/14535865836702176444090439871*y^7 - 133418964814042086558698115267/14535865836702176444090439871*y^6 + 534473629322572224175005151988/14535865836702176444090439871*y^5 + 316291795731857755113050704198/14535865836702176444090439871*y^4 - 96334997141960377110396642111/14535865836702176444090439871*y^3 - 145874228252582528036309280876/14535865836702176444090439871*y^2 - 49071137073959137393577567364/14535865836702176444090439871*y + 260829120893403699938257777/1321442348791106949462767261 1004995018854815793004879/120131122617373359042069751*y^17 - 16381745030734819142274589/120131122617373359042069751*y^16 + 93365569312463118507946887/120131122617373359042069751*y^15 - 400909689182258595300941477/120131122617373359042069751*y^14 + 1177772895630367840164063977/120131122617373359042069751*y^13 + 419026412785884396601925570/120131122617373359042069751*y^12 + 1286362586975564209905359540/120131122617373359042069751*y^11 - 189749449778073367391561429/120131122617373359042069751*y^10 + 11963735050655309459041119030/120131122617373359042069751*y^9 + 6085111399144355462899305803/120131122617373359042069751*y^8 - 4755387926980146815999506843/120131122617373359042069751*y^7 - 428908383478376860804619541/120131122617373359042069751*y^6 + 5973032722055543506411645991/120131122617373359042069751*y^5 + 3299808015226024976378427400/120131122617373359042069751*y^4 - 640683390283911989275591033/120131122617373359042069751*y^3 - 857929638386648627083279778/120131122617373359042069751*y^2 - 17631269215881756402447078/120131122617373359042069751*y + 307010808228502663989737504/120131122617373359042069751 366435252012783895929187013324/73275299682815671454659907389711*y^17 - 6294739620855421302017471649484/73275299682815671454659907389711*y^16 + 39516106747760940639635362483878/73275299682815671454659907389711*y^15 - 179968686908869668784830681794677/73275299682815671454659907389711*y^14 + 581843186160916756284858480940100/73275299682815671454659907389711*y^13 - 332703464877108054265721515964573/73275299682815671454659907389711*y^12 + 679956550971145738755107922863304/73275299682815671454659907389711*y^11 - 627249027817960581915220674242433/73275299682815671454659907389711*y^10 + 4815603100289173461880934728889533/73275299682815671454659907389711*y^9 - 1942152643796287454064062723621997/73275299682815671454659907389711*y^8 - 725498389938633858258514648553509/73275299682815671454659907389711*y^7 + 651809602848104175763312186502160/73275299682815671454659907389711*y^6 + 1658746709563241836581295323305288/73275299682815671454659907389711*y^5 - 468593659703468903918853693518098/73275299682815671454659907389711*y^4 - 117727403421024601849386062328127/73275299682815671454659907389711*y^3 - 248489279214455482095029646414806/73275299682815671454659907389711*y^2 + 88687537596500134859710285122909/73275299682815671454659907389711*y - 880960391269668781483084403305/6661390880255970132241809762701 75423120430058474930803673982034611487324/7491953558302537694064521168799276536966161*y^17 - 1243464450843138518856425604859550364952740/7491953558302537694064521168799276536966161*y^16 + 7234943259856388169729966909137623272028257/7491953558302537694064521168799276536966161*y^15 - 31382520938180443908680865465911354935898479/7491953558302537694064521168799276536966161*y^14 + 93994011807136968390550638152952313080795318/7491953558302537694064521168799276536966161*y^13 + 14783269477617530116866212237521891673195657/7491953558302537694064521168799276536966161*y^12 + 92298806743196402478459885054534853961771576/7491953558302537694064521168799276536966161*y^11 - 41624008699182317061440282956476751495303337/7491953558302537694064521168799276536966161*y^10 + 908676685884379456280150331939114781371498049/7491953558302537694064521168799276536966161*y^9 + 275429891927090673984466545776883295254471501/7491953558302537694064521168799276536966161*y^8 - 439632807653696657273051694564884702713989926/7491953558302537694064521168799276536966161*y^7 - 41804172646355127591273297703592394923154333/7491953558302537694064521168799276536966161*y^6 + 518250426433109536542054422666357003801337354/7491953558302537694064521168799276536966161*y^5 + 132327753577331850746873316353043820183726787/7491953558302537694064521168799276536966161*y^4 - 115496032475569268970704129770266049731418089/7491953558302537694064521168799276536966161*y^3 - 70510945449246431119547504235451248231001643/7491953558302537694064521168799276536966161*y^2 + 19579600065030575726456458297968440149982222/7491953558302537694064521168799276536966161*y + 637813194022461631354055432903096239326485/681086687118412517642229197163570594269651 11515074556742277327569791554130595964842714/5851215729034281939064391032832234975370571741*y^17 - 194556209489344232952490075927766830858416956/5851215729034281939064391032832234975370571741*y^16 + 1186003139868361498071228187929071365880961169/5851215729034281939064391032832234975370571741*y^15 - 5306853458424062664343774968726105712785730694/5851215729034281939064391032832234975370571741*y^14 + 16703816522187739052323133367466810586648895935/5851215729034281939064391032832234975370571741*y^13 - 5377212194032242637507072935410829479675143749/5851215729034281939064391032832234975370571741*y^12 + 18736155449072540062018804781577186074676051144/5851215729034281939064391032832234975370571741*y^11 - 14220454248212544857340073557435691294923335368/5851215729034281939064391032832234975370571741*y^10 + 146063246394087152703601256370824132226927040966/5851215729034281939064391032832234975370571741*y^9 - 18609251605221757270549628271548169607011573832/5851215729034281939064391032832234975370571741*y^8 - 38169360816972372923053261311246513500741033565/5851215729034281939064391032832234975370571741*y^7 + 9582429725990053899705190762182791233852303693/5851215729034281939064391032832234975370571741*y^6 + 58494926407107808108587883516498745246678991075/5851215729034281939064391032832234975370571741*y^5 + 4525508053990024577993540059156460467700383639/5851215729034281939064391032832234975370571741*y^4 - 8089857843932387341379117037347011989238766380/5851215729034281939064391032832234975370571741*y^3 - 15054725836365053381957161739013299556340342103/5851215729034281939064391032832234975370571741*y^2 + 2089082820115535217962463013695151026246228210/5851215729034281939064391032832234975370571741*y + 474274533321719689702666236487261338427949476/531928702639480176278581002984748634124597431 75423120430058474930803673982034611487324/7491953558302537694064521168799276536966161*y^17 - 1243464450843138518856425604859550364952740/7491953558302537694064521168799276536966161*y^16 + 7234943259856388169729966909137623272028257/7491953558302537694064521168799276536966161*y^15 - 31382520938180443908680865465911354935898479/7491953558302537694064521168799276536966161*y^14 + 93994011807136968390550638152952313080795318/7491953558302537694064521168799276536966161*y^13 + 14783269477617530116866212237521891673195657/7491953558302537694064521168799276536966161*y^12 + 92298806743196402478459885054534853961771576/7491953558302537694064521168799276536966161*y^11 - 41624008699182317061440282956476751495303337/7491953558302537694064521168799276536966161*y^10 + 908676685884379456280150331939114781371498049/7491953558302537694064521168799276536966161*y^9 + 275429891927090673984466545776883295254471501/7491953558302537694064521168799276536966161*y^8 - 439632807653696657273051694564884702713989926/7491953558302537694064521168799276536966161*y^7 - 41804172646355127591273297703592394923154333/7491953558302537694064521168799276536966161*y^6 + 518250426433109536542054422666357003801337354/7491953558302537694064521168799276536966161*y^5 + 132327753577331850746873316353043820183726787/7491953558302537694064521168799276536966161*y^4 - 115496032475569268970704129770266049731418089/7491953558302537694064521168799276536966161*y^3 - 70510945449246431119547504235451248231001643/7491953558302537694064521168799276536966161*y^2 + 19579600065030575726456458297968440149982222/7491953558302537694064521168799276536966161*y + 637813194022461631354055432903096239326485/681086687118412517642229197163570594269651 -260192291603325371970281878097106099565503/7491953558302537694064521168799276536966161*y^17 + 4200316125746129676139063939605016984529364/7491953558302537694064521168799276536966161*y^16 - 23453317029802108189147316358011315466216648/7491953558302537694064521168799276536966161*y^15 + 99156334547875124121332512246114281850567893/7491953558302537694064521168799276536966161*y^14 - 283986356567391215293642878397292635228534982/7491953558302537694064521168799276536966161*y^13 - 175597709134485014360325472116947252636168138/7491953558302537694064521168799276536966161*y^12 - 296976292247407156717485383386169157850427661/7491953558302537694064521168799276536966161*y^11 + 47262698219880605872314771513687570175547493/7491953558302537694064521168799276536966161*y^10 - 3063383320859302129936972643647394118940398400/7491953558302537694064521168799276536966161*y^9 - 2037252492641687007082500982518748984553144581/7491953558302537694064521168799276536966161*y^8 + 1560612183643485853234555669007360185788563491/7491953558302537694064521168799276536966161*y^7 + 802519019782085725343442203980035332769516009/7491953558302537694064521168799276536966161*y^6 - 2081769346529175823413952859239258727784464961/7491953558302537694064521168799276536966161*y^5 - 1076753225280587865663560692555414179686950406/7491953558302537694064521168799276536966161*y^4 + 485109353669582284766278382078258390276530896/7491953558302537694064521168799276536966161*y^3 + 367196311524503854564083943631186489594406220/7491953558302537694064521168799276536966161*y^2 - 87180621228233070133814579972905229681539689/7491953558302537694064521168799276536966161*y - 5389740840608760086973753622734244716042324/681086687118412517642229197163570594269651 9119615669965802502282321761258292658422/7491953558302537694064521168799276536966161*y^17 - 171265013546211767490519291063530779405854/7491953558302537694064521168799276536966161*y^16 + 1232032103170088729323359995237451481163336/7491953558302537694064521168799276536966161*y^15 - 6008921099723139080228739306541769446525210/7491953558302537694064521168799276536966161*y^14 + 21312500196703855583379751906826045671059656/7491953558302537694064521168799276536966161*y^13 - 29750265268374753186965679354763376005950616/7491953558302537694064521168799276536966161*y^12 + 23831681698214662852088355987399768379715474/7491953558302537694064521168799276536966161*y^11 - 31876395639713087937548971834593969319111038/7491953558302537694064521168799276536966161*y^10 + 134703374491413742085507763134614815628776351/7491953558302537694064521168799276536966161*y^9 - 227006505520614382631074682972495477879064908/7491953558302537694064521168799276536966161*y^8 + 18961466925198931700376501037132403861740810/7491953558302537694064521168799276536966161*y^7 + 125517369257324538278295526452063216819077066/7491953558302537694064521168799276536966161*y^6 - 19563872460146308265786247398463946569595007/7491953558302537694064521168799276536966161*y^5 - 100086978825387071831435115734829917789893030/7491953558302537694064521168799276536966161*y^4 + 19375528605580379563568189173260075351451307/7491953558302537694064521168799276536966161*y^3 + 10266282554417055441051375576332678909616476/7491953558302537694064521168799276536966161*y^2 - 2377100186001226549524126886797636284011715/7491953558302537694064521168799276536966161*y + 286916864386775867143742454511825507302670/681086687118412517642229197163570594269651 # A Gluing Matrix {{1,1,2,0,0,0,2,0},{2,1,4,0,0,0,4,0},{0,0,1,1,-1,1,1,1},{0,-1,2,1,-1,1,2,1},{0,0,0,0,1,0,1,0},{0,-1,2,1,-1,1,2,1},{0,0,0,0,0,0,1,1},{0,-1,2,1,-1,1,3,1}} # B Gluing Matrix {{1,2,0,0,0,0,0,2},{0,4,0,0,0,0,0,4},{0,0,1,0,0,0,0,3},{0,0,0,1,0,0,0,4},{0,0,0,0,1,0,0,1},{0,0,0,0,0,1,0,4},{0,0,0,0,0,0,1,2},{0,0,0,0,0,0,0,5}} # nu Gluing Vector {3, 4, 2, 3, 1, 3, 1, 3} # f Combinatorial flattening {-5, 2, 3, -1, 1, 0, 0, 1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 5775222514304143336282717323212572864218045/14983907116605075388129042337598553073932322*y^17 - 47901651277443879882905397249856456385308785/7491953558302537694064521168799276536966161*y^16 + 282204428583366060064529451005593597228476979/7491953558302537694064521168799276536966161*y^15 - 1235675784976766938103006134848938149769844548/7491953558302537694064521168799276536966161*y^14 + 3757325401264531005370332522866305848607652695/7491953558302537694064521168799276536966161*y^13 + 74519302579592659554337780087564141844356465/14983907116605075388129042337598553073932322*y^12 + 7966117757310562296425565366578573762398289011/14983907116605075388129042337598553073932322*y^11 - 2121947360653873693510122636672184142017083204/7491953558302537694064521168799276536966161*y^10 + 35477511794292223883335725135110273240106308007/7491953558302537694064521168799276536966161*y^9 + 13297611755259921453247664158586202621224863799/14983907116605075388129042337598553073932322*y^8 - 27081234962191006197857096941546299629072354803/14983907116605075388129042337598553073932322*y^7 - 449617968360430899597921162003441644256989155/7491953558302537694064521168799276536966161*y^6 + 18656138870277488369502092508594913379839365458/7491953558302537694064521168799276536966161*y^5 + 4284365770471739885079816996637960578089420140/7491953558302537694064521168799276536966161*y^4 - 3323991252724197459329001769399200302974546237/7491953558302537694064521168799276536966161*y^3 - 4368519236570793903565456909623775864446831049/14983907116605075388129042337598553073932322*y^2 + 1604330277684461737225023791035391453245306839/14983907116605075388129042337598553073932322*y + 20396567053939704424191487760225229641969293/681086687118412517642229197163570594269651 # 2 Loop Invariant 266703603774118171356711466720396032241613110501855509743006736058028723170064684217143419183/168093895935625213900030010429460235337856966536709724005790015518962010288671181374265608990116*y^17 - 4401495469216333965676034360854571871176309551010865717018877338348312149003144377492309239913/168093895935625213900030010429460235337856966536709724005790015518962010288671181374265608990116*y^16 + 76985184660974458724573599833337375217037132227898136428428301175558132080915475333144445360723/504281687806875641700090031288380706013570899610129172017370046556886030866013544122796826970348*y^15 - 27869429691652241106315261159518875399567713652563297261812526622511525864900565976727771838046/42023473983906303475007502607365058834464241634177431001447503879740502572167795343566402247529*y^14 + 334726890565309052145151628221789520120593784515174828465387618725834199391260955377336951326739/168093895935625213900030010429460235337856966536709724005790015518962010288671181374265608990116*y^13 + 66655475427204015510301307331786065079773356398269794613879593129126469659215286930074361907737/252140843903437820850045015644190353006785449805064586008685023278443015433006772061398413485174*y^12 + 83222251069606737697861683688354987958101638545219661204853647344695906136310420675394911363134/42023473983906303475007502607365058834464241634177431001447503879740502572167795343566402247529*y^11 - 473898874592291102345991042547396394352282712347776127504617979321234789473520909963317106532567/504281687806875641700090031288380706013570899610129172017370046556886030866013544122796826970348*y^10 + 9668350062337079398992485500360892859862193144567726504497219789953148575345535399500958528777283/504281687806875641700090031288380706013570899610129172017370046556886030866013544122796826970348*y^9 + 2736384594048692599503540353418362985259839866226286964196132354925439798378678462174633731306211/504281687806875641700090031288380706013570899610129172017370046556886030866013544122796826970348*y^8 - 757112219085650137965395948717202209223660752294449690976167067639857409635442631590438470646757/84046947967812606950015005214730117668928483268354862002895007759481005144335590687132804495058*y^7 - 238325978310580522149872300119538854107409761437700043534775282221257554187891203910518159979209/252140843903437820850045015644190353006785449805064586008685023278443015433006772061398413485174*y^6 + 2725451421775276373158472128590683376564634775475499438304322402905032737349890907934110018260439/252140843903437820850045015644190353006785449805064586008685023278443015433006772061398413485174*y^5 + 1376887085181980928462758389650977595839398282649057945429696742630153907149383402304960353337325/504281687806875641700090031288380706013570899610129172017370046556886030866013544122796826970348*y^4 - 1204181956691977346215769859436874862927530446027755384192581103885973939375281054917140403691881/504281687806875641700090031288380706013570899610129172017370046556886030866013544122796826970348*y^3 - 268004735494694473580000894528521438384682107669201735107237638716144605328058165813523522630777/168093895935625213900030010429460235337856966536709724005790015518962010288671181374265608990116*y^2 + 69813813692763978224554752224361684924145706632902313864169003214879336972392546398700292192797/168093895935625213900030010429460235337856966536709724005790015518962010288671181374265608990116*y - 54499137588932480751217401350235504142433432770055830953014913698883239484458168676945507815053/91687579601250116672743642052432855638831072656387122184976372101252005612002462567781241267336 # 3 Loop Invariant -600418410042358197049772220742061957044673048833773752829879275211699789325672566353521502108522787600809316120229476/3147316287392752598857279199005284058634606447060718146042798688812860481663045796221389447416323585299317402231478843757*y^17 + 19498906196730072934335970658029200222590122672284923372519436275162937344989778909797409375149583519205651149301374489/6294632574785505197714558398010568117269212894121436292085597377625720963326091592442778894832647170598634804462957687514*y^16 - 55050058963676732963950437915341169143147564602534881795535625483838163861513583180106725907438138439980296984209914570/3147316287392752598857279199005284058634606447060718146042798688812860481663045796221389447416323585299317402231478843757*y^15 + 468233148805033641690839420299419689669461367891370865863731390282249883396284029560473467051392125800104959327071282001/6294632574785505197714558398010568117269212894121436292085597377625720963326091592442778894832647170598634804462957687514*y^14 - 677848411352008843700009379276343074577236553496695449171390455632416849227398099825717239726870325031806881300084763839/3147316287392752598857279199005284058634606447060718146042798688812860481663045796221389447416323585299317402231478843757*y^13 - 340103824786821755074571992658015213361021428538779833496713672329903419801098651645017917159718890345744538683030074080/3147316287392752598857279199005284058634606447060718146042798688812860481663045796221389447416323585299317402231478843757*y^12 - 652973883635060796325481898811267255791453598532999908958699789239837978242582729244559375414262491353246702340090707498/3147316287392752598857279199005284058634606447060718146042798688812860481663045796221389447416323585299317402231478843757*y^11 + 141520276721305390877659749329891632599454650179406545178329879198381899241968666205941554570572338052415324341454447616/3147316287392752598857279199005284058634606447060718146042798688812860481663045796221389447416323585299317402231478843757*y^10 - 14128742949295030010142737187398655419467256795716384862334197561614189993973716419516748142073991902794891378153715112623/6294632574785505197714558398010568117269212894121436292085597377625720963326091592442778894832647170598634804462957687514*y^9 - 8094316842957372246278852847595562661752320860947483215167527767399981441026414048337401236666513426828727345230688288395/6294632574785505197714558398010568117269212894121436292085597377625720963326091592442778894832647170598634804462957687514*y^8 + 7877944737449840908692423733187467565708671679316295880581603286478277340182313730190312667294676790446175284060409376975/6294632574785505197714558398010568117269212894121436292085597377625720963326091592442778894832647170598634804462957687514*y^7 + 2535780809969884994689468025538377325745664409029115181590618392164418936089954080066567894653563756083753266783507500039/6294632574785505197714558398010568117269212894121436292085597377625720963326091592442778894832647170598634804462957687514*y^6 - 9359020055439081245618819514588569030450976260446736853813919011313647636048632689048938803408596083480939138078140002017/6294632574785505197714558398010568117269212894121436292085597377625720963326091592442778894832647170598634804462957687514*y^5 - 3802888566607731396512040977487377865329955315965925541365036587502504151412326045753912402842221866439306606434096713873/6294632574785505197714558398010568117269212894121436292085597377625720963326091592442778894832647170598634804462957687514*y^4 + 2266339286617352397974521979471920530702832199420457090668266943104552221778843690652853871484572071380038325784040840243/6294632574785505197714558398010568117269212894121436292085597377625720963326091592442778894832647170598634804462957687514*y^3 + 718669798081620777225065123045049913211016149294918410013427166422250967554692406012120692913621570924709421671270867597/3147316287392752598857279199005284058634606447060718146042798688812860481663045796221389447416323585299317402231478843757*y^2 - 371638656200294443817840336290274332167508972016441347749639906816078597169387927335179349480645827373243914323865030641/6294632574785505197714558398010568117269212894121436292085597377625720963326091592442778894832647170598634804462957687514*y - 7151038883841277956630566036724796686061883914780551885096784165608806082158646601546055119595030361237683503548261960/286119662490250236259752654455025823512236949732792558731163517164805498333004163292853586128756689572665218384679894887 # 4 Loop Invariant -1469138468129727294030128398160426214532100847261114698897201177388642221675152177651370106780782397233530127215497171717913718435242193002345454033918999823285650531078843/12710708552454663949950701705028584940018522128802880205599043039984722315386078098954205738387394881882827869618433052697295545141115910568320805926534928994305911009920236560*y^17 + 12025572374683858443934067694479524037173984695965007152224815162603360395791172274850857118099186721704118939918315197501909743691695898980128603393456600932640520459404237/6355354276227331974975350852514292470009261064401440102799521519992361157693039049477102869193697440941413934809216526348647772570557955284160402963267464497152955504960118280*y^16 - 13803384606086879616439887870573113985087043431427050842156080353120544828414890429108362762985366921051227781215345631258797226312239907683823915705393017768316288918950233/1271070855245466394995070170502858494001852212880288020559904303998472231538607809895420573838739488188282786961843305269729554514111591056832080592653492899430591100992023656*y^15 + 296714532449056903688167075541456872482818535455807440943766015077177581735575226114657322137085941097448308638402625240158563812710734909228217729880655542152976216394018041/6355354276227331974975350852514292470009261064401440102799521519992361157693039049477102869193697440941413934809216526348647772570557955284160402963267464497152955504960118280*y^14 - 1750708418357900139563455443105218850469161215962553122137529880188132686178073816026276963606470832241742655713057041331809053653253238645722419405911813065552580074200249983/12710708552454663949950701705028584940018522128802880205599043039984722315386078098954205738387394881882827869618433052697295545141115910568320805926534928994305911009920236560*y^13 - 108333446444811685471724607646971478509694573102224789541619083578978260262308509212193732657873915240020717601750752324931298309030473770264598235859255397381389943906562279/2542141710490932789990140341005716988003704425760576041119808607996944463077215619790841147677478976376565573923686610539459109028223182113664161185306985798861182201984047312*y^12 - 1700686435746564703753799905560187228514286780564946036647486966866966445116988793702742220958797682755181263919447851137007369284923427775936193293583890258408993245983220297/12710708552454663949950701705028584940018522128802880205599043039984722315386078098954205738387394881882827869618433052697295545141115910568320805926534928994305911009920236560*y^11 + 288932864967441420521883808400440591004660037397844359586974689653668650074437835297649024620996567263590651123801528360916136582432132574006727610500786116622470280749734249/6355354276227331974975350852514292470009261064401440102799521519992361157693039049477102869193697440941413934809216526348647772570557955284160402963267464497152955504960118280*y^10 - 2187773025016903667931435040121169889520647922792334183580274650232003981580028242032497092681005128547713116039337859938785163783576691127304353259408430431526220515028616883/1588838569056832993743837713128573117502315266100360025699880379998090289423259762369275717298424360235353483702304131587161943142639488821040100740816866124288238876240029570*y^9 - 2499866710775458339997861751252481242697615939233108436316306023146857184131129627762268183494584009601384961464068092841581271926320750873152196047007177198277206130871038881/4236902850818221316650233901676194980006174042934293401866347679994907438462026032984735246129131627294275956539477684232431848380371970189440268642178309664768637003306745520*y^8 + 1512256265337975842820176578548746074591056444999432678639526734747777854750788474558854947329341578010794954585890701052045712412896569681886247192850383427351759713107397133/2118451425409110658325116950838097490003087021467146700933173839997453719231013016492367623064565813647137978269738842116215924190185985094720134321089154832384318501653372760*y^7 + 42918558917433504707415144799315551674870921953308399774223319569339505710236159750622767838110408014325863978268843237479194073115213609026569249432976400246966655380184909/317767713811366598748767542625714623500463053220072005139976075999618057884651952473855143459684872047070696740460826317432388628527897764208020148163373224857647775248005914*y^6 - 3566227343498181254002653401515311060337524454625838168624326474119770258214047218485554641448778512050899059282690532231219128894917670572294404920950356915565116098016189007/4236902850818221316650233901676194980006174042934293401866347679994907438462026032984735246129131627294275956539477684232431848380371970189440268642178309664768637003306745520*y^5 - 3599113841505847024770053686525725471657055716887554758290068858355147314985859694117856309029721646587238002818869799922701245198940609422853398547193558209017570124294176209/12710708552454663949950701705028584940018522128802880205599043039984722315386078098954205738387394881882827869618433052697295545141115910568320805926534928994305911009920236560*y^4 + 2490489964914432197474196913650656223370550577281612623189541441684802345042106731653230774459739625504371806223476701162089454278354792029234863274003999324509520816193976809/12710708552454663949950701705028584940018522128802880205599043039984722315386078098954205738387394881882827869618433052697295545141115910568320805926534928994305911009920236560*y^3 + 1353636959423222508001544810829805651760942423206180562295695474530367816959594314628313505212202054506408196506824310387825618612867861046678208385616705732613717341430750307/12710708552454663949950701705028584940018522128802880205599043039984722315386078098954205738387394881882827869618433052697295545141115910568320805926534928994305911009920236560*y^2 - 82473265948149514816721018299320357600923136151298906490997781614913306260374697960958376122023298830261131232461285743985579202093651302239359978918918020670309018598742893/2542141710490932789990140341005716988003704425760576041119808607996944463077215619790841147677478976376565573923686610539459109028223182113664161185306985798861182201984047312*y - 988448777961322045555502452277305210353958789076619473739972682514942794874950963213425294077254306422062258925376195940758723585430882533558961223236180975188830822742157/72219934957128772442901714233116959886468875731834546622721835454458649519239080107694350786292016374334249259195642344870997415574522219138186397309857551104010858010910435