# Manifold: Census Knot K8_153 # Number of Tetrahedra: 8 # Number Field x^21 - 2*x^20 + 44*x^19 - 91*x^18 + 289*x^17 + 562*x^16 - 553*x^15 + 1701*x^14 + 1883*x^13 + 757*x^12 - 2146*x^11 - 68*x^10 + 97*x^9 + 126*x^8 - 121*x^7 - 83*x^6 + 10*x^5 - 6*x^4 + 24*x^3 + 7*x^2 + 1 # Approximate Field Generator 0.450909129146411 - 0.441873037499392*I # Shape Parameters -8957352902310960638164978855/50187965401504478983270222912*y^20 + 16686235121116179102987048163/50187965401504478983270222912*y^19 - 390653637161772088673152870269/50187965401504478983270222912*y^18 + 189643956520938362122451700989/12546991350376119745817555728*y^17 - 2432067121822396172364391544547/50187965401504478983270222912*y^16 - 5500515035292425100402852498965/50187965401504478983270222912*y^15 + 2284187132067692698816657455119/25093982700752239491635111456*y^14 - 14068657470817202106891793740861/50187965401504478983270222912*y^13 - 9979465354836473361406405306851/25093982700752239491635111456*y^12 - 7554912365586140160925874723009/50187965401504478983270222912*y^11 + 2810309346770993684045657426855/7169709343072068426181460416*y^10 + 2026079616366092110859787859209/50187965401504478983270222912*y^9 - 2498677817357776759656769979905/25093982700752239491635111456*y^8 - 315639077094635725571810443147/12546991350376119745817555728*y^7 + 2070494198585863020596020766387/50187965401504478983270222912*y^6 + 249396485893390514458686922283/12546991350376119745817555728*y^5 - 210376532547659885842445059909/25093982700752239491635111456*y^4 - 6004550985108470995523966775/6273495675188059872908777864*y^3 - 1159786377765331817901384143/784186959398507484113597233*y^2 - 39497458535168153523649992977/50187965401504478983270222912*y + 92584914520002713071643323731/50187965401504478983270222912 2262286470311598321518976295/200751861606017915933080891648*y^20 + 720652286664102293466446441/25093982700752239491635111456*y^19 + 89734669439919860503504260221/200751861606017915933080891648*y^18 + 231064786922579841835699874221/200751861606017915933080891648*y^17 + 45986693952829585611968145847/50187965401504478983270222912*y^16 + 3511521720550316636465607514985/200751861606017915933080891648*y^15 + 7294133893865247411010957651503/200751861606017915933080891648*y^14 + 43901547592332363871341189323/1568373918797014968227194466*y^13 + 10009695223499888730695520618375/100375930803008957966540445824*y^12 + 39049977141172957840121415890623/200751861606017915933080891648*y^11 + 2340418092813062587023763998067/14339418686144136852362920832*y^10 + 3364575162399069126836152927561/200751861606017915933080891648*y^9 - 7836137035579041301297407284409/200751861606017915933080891648*y^8 - 403673342543986014910103129441/200751861606017915933080891648*y^7 + 31407358335380388319743108759/12546991350376119745817555728*y^6 - 51008059069093268478137762049/50187965401504478983270222912*y^5 - 1210061024394471392773019639241/100375930803008957966540445824*y^4 - 533054260660237523456735362173/100375930803008957966540445824*y^3 - 662397458247787774749523737429/100375930803008957966540445824*y^2 - 185744032620469431080431121209/200751861606017915933080891648*y - 1380852897561969146658542419/3136747837594029936454388932 4737169056022612753828401739/100375930803008957966540445824*y^20 - 8081004086643072037751579023/100375930803008957966540445824*y^19 + 208168526858999382605120726481/100375930803008957966540445824*y^18 - 93127134437071018123565794441/25093982700752239491635111456*y^17 + 1349666958569284152169066752143/100375930803008957966540445824*y^16 + 2935474415726441611098779206809/100375930803008957966540445824*y^15 - 633931484182318666924894667291/50187965401504478983270222912*y^14 + 9291937702711125983554933539361/100375930803008957966540445824*y^13 + 5747389866986711990801093437411/50187965401504478983270222912*y^12 + 10028800883196804715179743858373/100375930803008957966540445824*y^11 - 85377475479859632473633127931/14339418686144136852362920832*y^10 + 5011846934267177515392442159387/100375930803008957966540445824*y^9 - 6081199536317562487515127911/50187965401504478983270222912*y^8 - 360660333147457160486049927121/25093982700752239491635111456*y^7 - 385772536949161972936967428607/100375930803008957966540445824*y^6 + 38382593414629419388087694955/25093982700752239491635111456*y^5 - 65379889269261434182837003003/50187965401504478983270222912*y^4 - 41323994964733987335155369521/6273495675188059872908777864*y^3 - 13544891754237647151006622167/12546991350376119745817555728*y^2 - 123836295342011473374434796987/100375930803008957966540445824*y + 86716905370272019698555175705/100375930803008957966540445824 4737169056022612753828401739/100375930803008957966540445824*y^20 - 8081004086643072037751579023/100375930803008957966540445824*y^19 + 208168526858999382605120726481/100375930803008957966540445824*y^18 - 93127134437071018123565794441/25093982700752239491635111456*y^17 + 1349666958569284152169066752143/100375930803008957966540445824*y^16 + 2935474415726441611098779206809/100375930803008957966540445824*y^15 - 633931484182318666924894667291/50187965401504478983270222912*y^14 + 9291937702711125983554933539361/100375930803008957966540445824*y^13 + 5747389866986711990801093437411/50187965401504478983270222912*y^12 + 10028800883196804715179743858373/100375930803008957966540445824*y^11 - 85377475479859632473633127931/14339418686144136852362920832*y^10 + 5011846934267177515392442159387/100375930803008957966540445824*y^9 - 6081199536317562487515127911/50187965401504478983270222912*y^8 - 360660333147457160486049927121/25093982700752239491635111456*y^7 - 385772536949161972936967428607/100375930803008957966540445824*y^6 + 38382593414629419388087694955/25093982700752239491635111456*y^5 - 65379889269261434182837003003/50187965401504478983270222912*y^4 - 41323994964733987335155369521/6273495675188059872908777864*y^3 - 13544891754237647151006622167/12546991350376119745817555728*y^2 - 123836295342011473374434796987/100375930803008957966540445824*y + 86716905370272019698555175705/100375930803008957966540445824 7082380128355354760698361751827/7456049609961009158952082491364*y^20 - 3905343511494544797261898592541/1864012402490252289738020622841*y^19 + 315869568485867068556895871829813/7456049609961009158952082491364*y^18 - 712103372630742931346135112684943/7456049609961009158952082491364*y^17 + 559982803148008113176499821655493/1864012402490252289738020622841*y^16 + 3399966614901173043821048638480133/7456049609961009158952082491364*y^15 - 4260345693943676039110535582687733/7456049609961009158952082491364*y^14 + 3330934515201533521298078374473045/1864012402490252289738020622841*y^13 + 4867948387530725619836628616016983/3728024804980504579476041245682*y^12 + 5467586291557448391514852782440835/7456049609961009158952082491364*y^11 - 1103996901265890023799178371908841/532574972140072082782291606526*y^10 + 2594615261681425758964618356146713/7456049609961009158952082491364*y^9 - 2453238317591101122346491777409513/7456049609961009158952082491364*y^8 + 2533538537433843184926726419658499/7456049609961009158952082491364*y^7 - 387930686014889254639032785411450/1864012402490252289738020622841*y^6 - 19750721572020043786599807921149/1864012402490252289738020622841*y^5 - 71996423979143931323209353871357/3728024804980504579476041245682*y^4 + 8627966022409467375978510812249/3728024804980504579476041245682*y^3 + 84200414584147352886193006196799/3728024804980504579476041245682*y^2 + 8395014430086827144012051450139/7456049609961009158952082491364*y + 7675396208356440420150859835241/1864012402490252289738020622841 -368453598250973031707823153809473/119296793759376146543233319861824*y^20 + 772385317794181390138109907774309/119296793759376146543233319861824*y^19 - 16297849033239022297637085275589819/119296793759376146543233319861824*y^18 + 8785937094607891355748717682726011/29824198439844036635808329965456*y^17 - 110422290910321265299579696195050789/119296793759376146543233319861824*y^16 - 194407487188652795018258500724849379/119296793759376146543233319861824*y^15 + 108472576115196690125083002684104569/59648396879688073271616659930912*y^14 - 647286282714658952640668395440747131/119296793759376146543233319861824*y^13 - 307003701324923470641260515564634181/59648396879688073271616659930912*y^12 - 253571756844761762002745832960421463/119296793759376146543233319861824*y^11 + 17008675889339036169576779724587639/2434628444068900949861904486976*y^10 - 30227810258189140097125084776332785/119296793759376146543233319861824*y^9 + 1712860903194471892991041686124809/59648396879688073271616659930912*y^8 - 24377904654163935665928993496091821/29824198439844036635808329965456*y^7 + 60412466255429954718015183723211349/119296793759376146543233319861824*y^6 + 6163943261185798367527042249982237/29824198439844036635808329965456*y^5 + 682858809516827187251071834688333/59648396879688073271616659930912*y^4 - 216430135609027789782731550872417/14912099219922018317904164982728*y^3 - 157100565163599345216100162992620/1864012402490252289738020622841*y^2 - 1356234630399778142323249647215111/119296793759376146543233319861824*y + 17948859454979466085003975591605/119296793759376146543233319861824 7082380128355354760698361751827/7456049609961009158952082491364*y^20 - 3905343511494544797261898592541/1864012402490252289738020622841*y^19 + 315869568485867068556895871829813/7456049609961009158952082491364*y^18 - 712103372630742931346135112684943/7456049609961009158952082491364*y^17 + 559982803148008113176499821655493/1864012402490252289738020622841*y^16 + 3399966614901173043821048638480133/7456049609961009158952082491364*y^15 - 4260345693943676039110535582687733/7456049609961009158952082491364*y^14 + 3330934515201533521298078374473045/1864012402490252289738020622841*y^13 + 4867948387530725619836628616016983/3728024804980504579476041245682*y^12 + 5467586291557448391514852782440835/7456049609961009158952082491364*y^11 - 1103996901265890023799178371908841/532574972140072082782291606526*y^10 + 2594615261681425758964618356146713/7456049609961009158952082491364*y^9 - 2453238317591101122346491777409513/7456049609961009158952082491364*y^8 + 2533538537433843184926726419658499/7456049609961009158952082491364*y^7 - 387930686014889254639032785411450/1864012402490252289738020622841*y^6 - 19750721572020043786599807921149/1864012402490252289738020622841*y^5 - 71996423979143931323209353871357/3728024804980504579476041245682*y^4 + 8627966022409467375978510812249/3728024804980504579476041245682*y^3 + 84200414584147352886193006196799/3728024804980504579476041245682*y^2 + 8395014430086827144012051450139/7456049609961009158952082491364*y + 7675396208356440420150859835241/1864012402490252289738020622841 7082380128355354760698361751827/7456049609961009158952082491364*y^20 - 3905343511494544797261898592541/1864012402490252289738020622841*y^19 + 315869568485867068556895871829813/7456049609961009158952082491364*y^18 - 712103372630742931346135112684943/7456049609961009158952082491364*y^17 + 559982803148008113176499821655493/1864012402490252289738020622841*y^16 + 3399966614901173043821048638480133/7456049609961009158952082491364*y^15 - 4260345693943676039110535582687733/7456049609961009158952082491364*y^14 + 3330934515201533521298078374473045/1864012402490252289738020622841*y^13 + 4867948387530725619836628616016983/3728024804980504579476041245682*y^12 + 5467586291557448391514852782440835/7456049609961009158952082491364*y^11 - 1103996901265890023799178371908841/532574972140072082782291606526*y^10 + 2594615261681425758964618356146713/7456049609961009158952082491364*y^9 - 2453238317591101122346491777409513/7456049609961009158952082491364*y^8 + 2533538537433843184926726419658499/7456049609961009158952082491364*y^7 - 387930686014889254639032785411450/1864012402490252289738020622841*y^6 - 19750721572020043786599807921149/1864012402490252289738020622841*y^5 - 71996423979143931323209353871357/3728024804980504579476041245682*y^4 + 8627966022409467375978510812249/3728024804980504579476041245682*y^3 + 84200414584147352886193006196799/3728024804980504579476041245682*y^2 + 8395014430086827144012051450139/7456049609961009158952082491364*y + 9539408610846692709888880458082/1864012402490252289738020622841 # A Gluing Matrix {{1,2,0,0,-1,2,-1,0},{1,-1,0,0,1,-2,1,0},{0,0,1,0,0,1,-1,0},{0,0,0,1,-1,1,0,0},{-1,2,-1,-1,2,0,2,-1},{1,-2,1,1,0,-1,0,0},{-1,2,-2,0,1,0,3,-1},{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,2}} # nu Gluing Vector {2, -1, 1, 1, 2, -1, 2, 0} # f Combinatorial flattening {2, -3, -4, 0, 4, 5, 0, 2} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -424354014730456247358173020621689/29824198439844036635808329965456*y^20 + 210584056709864204082734959312147/7456049609961009158952082491364*y^19 - 18587082605475554400660252975112211/29824198439844036635808329965456*y^18 + 38189593260634053962571288228620073/29824198439844036635808329965456*y^17 - 7431057521443128488686475231834009/1864012402490252289738020622841*y^16 - 246984311451184467609367166357891031/29824198439844036635808329965456*y^15 + 252045779269374387420241073302933291/29824198439844036635808329965456*y^14 - 169750084652389127109615896144154527/7456049609961009158952082491364*y^13 - 425360752717648239796794337079562009/14912099219922018317904164982728*y^12 - 212361157098941981487588019457517089/29824198439844036635808329965456*y^11 + 73799653833628330774004164399890977/2130299888560288331129166426104*y^10 + 94328767289065370260677893749148961/29824198439844036635808329965456*y^9 - 211038291714272554805583336335935653/29824198439844036635808329965456*y^8 - 64424972638972553388080450522544365/29824198439844036635808329965456*y^7 + 13934077877287415170650504543504865/7456049609961009158952082491364*y^6 + 15545045202345151075921822887867313/7456049609961009158952082491364*y^5 - 5919724270379876820171867252207509/14912099219922018317904164982728*y^4 - 1063062591716238217847948725441461/14912099219922018317904164982728*y^3 - 6530685420904967418415831860094889/14912099219922018317904164982728*y^2 - 3195362397505701832907322478137209/29824198439844036635808329965456*y + 412510938984682956033833351781589/7456049609961009158952082491364 # 2 Loop Invariant -11293100867478422005888436491794851820324611472190322313031011599918732553165104693100674891/96028325511538169422797768289851883157331374612249095192608662448325974624248788826562816128*y^20 + 19710523587018253270616084110496244858762569292491538647401376516026416758973209511413056859/72021244133653627067098326217388912367998530959186821394456496836244480968186591619922112096*y^19 - 1520248004772023916105252088170765187512360776246867362412117349277792680469004594933236390805/288084976534614508268393304869555649471994123836747285577825987344977923872746366479688448384*y^18 + 3588126865057658870765107613050036159887154512678038018943704295616320229018659701058831993373/288084976534614508268393304869555649471994123836747285577825987344977923872746366479688448384*y^17 - 927666463024631002500344667178626850575759193735779029209782242211946747730131743075728437153/24007081377884542355699442072462970789332843653062273798152165612081493656062197206640704032*y^16 - 5014601053935238374271002069286320197250045903546188224010816143473875052080236613581488430909/96028325511538169422797768289851883157331374612249095192608662448325974624248788826562816128*y^15 + 22508809255278186244800126824069562741063740195370256595350926523112564320462018524910975948183/288084976534614508268393304869555649471994123836747285577825987344977923872746366479688448384*y^14 - 33484997344266976340923011072981476207962515161571785514929934225018611300883665096879782193539/144042488267307254134196652434777824735997061918373642788912993672488961936373183239844224192*y^13 - 9979536583826622005036021008846140916654547380974631716220576406054658193136801850453935575655/72021244133653627067098326217388912367998530959186821394456496836244480968186591619922112096*y^12 - 6549278440998574504074171284827472923439615072288989765047581676533283863498437833455986546277/96028325511538169422797768289851883157331374612249095192608662448325974624248788826562816128*y^11 + 1731460247762794198160986581584483235244441966764722426302933195270358213962148397883461163745/6859166107967012101628412020703705939809383900874935370900618746308998187446342059040201152*y^10 - 8489550557252240637270667730221984041425432199010331838694191427188606071563478959555092342831/96028325511538169422797768289851883157331374612249095192608662448325974624248788826562816128*y^9 + 11413951268637821055179823189759961671480605477825235503970321293151376008653012569823066499569/288084976534614508268393304869555649471994123836747285577825987344977923872746366479688448384*y^8 - 9843203602936961816308344436881857801089029836071707835941997730276551790184271524239582072833/288084976534614508268393304869555649471994123836747285577825987344977923872746366479688448384*y^7 + 3934501929863174699504944779561405409517416120944758673876980354746313657705792060184745301041/144042488267307254134196652434777824735997061918373642788912993672488961936373183239844224192*y^6 - 8879710750013923007541969821225469045208131843705789243161786836067166959058689809733395985/9002655516706703383387290777173614045999816369898352674307062104530560121023323952490264012*y^5 + 11550485600519193559391739818687166838171924627844262332908581167982931609452601909656421977/6001770344471135588924860518115742697333210913265568449538041403020373414015549301660176008*y^4 + 21267868506885022102653464861044297559295985957888013002666598276627155616366578421572389677/36010622066826813533549163108694456183999265479593410697228248418122240484093295809961056048*y^3 - 77569317349059279216455758182171047070342809058883495622963207587653142087628302622508520825/24007081377884542355699442072462970789332843653062273798152165612081493656062197206640704032*y^2 + 131495486293259389179872140413421408700412488005212555057391210962180295122575187046444301995/288084976534614508268393304869555649471994123836747285577825987344977923872746366479688448384*y - 9634287466786402469162472863424174080609592581172199391094147829963941311621560750023055309/24007081377884542355699442072462970789332843653062273798152165612081493656062197206640704032 # 3 Loop Invariant -261466201389055001314743918265820094818204789208917887302972875281254935129198965174745794843767370448391591340837846691747/1949483790923536130904467991306717252870658155560298250382619485890002245652118220554204051738605888727341514936920816922624*y^20 + 629671569443631358089471701397170957109199467262575799510536618764049432636567012200578657819857128125479371076745157536887/1949483790923536130904467991306717252870658155560298250382619485890002245652118220554204051738605888727341514936920816922624*y^19 - 11774125890626412737268107852866663616433868186850415745832433557172562311112175399418206198805715592469770545283188704755905/1949483790923536130904467991306717252870658155560298250382619485890002245652118220554204051738605888727341514936920816922624*y^18 + 7156618609287938636421352205714625497682713486827949645259442941470379989816414970216980501549847175819894525976466198294467/487370947730884032726116997826679313217664538890074562595654871472500561413029555138551012934651472181835378734230204230656*y^17 - 87807182815757202349670829691000456713546108219327694638726639599797781913287570888119352196785760398276245873504455811766407/1949483790923536130904467991306717252870658155560298250382619485890002245652118220554204051738605888727341514936920816922624*y^16 - 109893320932269990825772689732393382082961700206801502303087324336160841171278515108233466762409599699748700181842398770664321/1949483790923536130904467991306717252870658155560298250382619485890002245652118220554204051738605888727341514936920816922624*y^15 + 92810138940414977672166359976489844613517340743173812918993972621612711207835856451273522270805520416850070874318004990132403/974741895461768065452233995653358626435329077780149125191309742945001122826059110277102025869302944363670757468460408461312*y^14 - 527067044539119274711422367588968125855328664729913980759353042338537061712859973411037016937887270718941114509501975523683985/1949483790923536130904467991306717252870658155560298250382619485890002245652118220554204051738605888727341514936920816922624*y^13 - 134993446960369553375182780216240342840735036213835108430473200947906917037934800889808816388265553268565823313833721089855115/974741895461768065452233995653358626435329077780149125191309742945001122826059110277102025869302944363670757468460408461312*y^12 - 110987782593645909024087531894082790038993306146571244483993279933158714683318389090064289261074869098228608022371969585570909/1949483790923536130904467991306717252870658155560298250382619485890002245652118220554204051738605888727341514936920816922624*y^11 + 83611169885157839782396965956476798330236390754137635560596176269023853369685095338317777947172865469352703601143298468882571/278497684417648018700638284472388178981522593651471178626088497984286035093159745793457721676943698389620216419560116703232*y^10 - 231547551626941421873120997596244580774874507607977601577105835782769908123570476564752907736632067105204276027633498311145179/1949483790923536130904467991306717252870658155560298250382619485890002245652118220554204051738605888727341514936920816922624*y^9 + 46374484279214517083080141588458645383236908000666406983073996557942499240366923602329533653685721773413489808073289786629167/974741895461768065452233995653358626435329077780149125191309742945001122826059110277102025869302944363670757468460408461312*y^8 - 19460172389332102874851279505828846876311263825932922358477607258661413715417569406978883493691212265004717120722298234227905/487370947730884032726116997826679313217664538890074562595654871472500561413029555138551012934651472181835378734230204230656*y^7 + 62810162326027433235513507712422710385035981006987002839423823491890228154055212472798013664901553079353561855002177041670623/1949483790923536130904467991306717252870658155560298250382619485890002245652118220554204051738605888727341514936920816922624*y^6 - 1347810818677836963595100270589963185708599642494115505184939628978918876664317406356441593410022073010565407195322616038425/487370947730884032726116997826679313217664538890074562595654871472500561413029555138551012934651472181835378734230204230656*y^5 + 1365964240211509801455918235333019418882010638998864646180642258942854284208294303037242709940048534079782932814762707519567/974741895461768065452233995653358626435329077780149125191309742945001122826059110277102025869302944363670757468460408461312*y^4 + 54327285040952037625974674974397726875513958249727574138176338993590557035356832839881121624456555282403929591861823819807/121842736932721008181529249456669828304416134722518640648913717868125140353257388784637753233662868045458844683557551057664*y^3 - 835876104593468889005362166766103595035478988186017801889583671631566082654581697066543725322666217367010479143441924010765/243685473865442016363058498913339656608832269445037281297827435736250280706514777569275506467325736090917689367115102115328*y^2 + 1170704015427224228649091500523666472861757391500827645947487542490023887025363671745317790758064918494625727647419329599435/1949483790923536130904467991306717252870658155560298250382619485890002245652118220554204051738605888727341514936920816922624*y - 528969780505858487210877836594961118803082440066635170225704066045212342916195968687226716506787203115408142625654494548721/1949483790923536130904467991306717252870658155560298250382619485890002245652118220554204051738605888727341514936920816922624 # 4 Loop Invariant 32794855437990439821219322325828206521378470831237633442214992463037054514307177000065906727437559016883546799343001952613523636018259282789463913768314913378156365311304575603376436121/161407856192138791154635694707414782748098380375019025107511356409893550794373955723351407595892804126247229481208949232827298544442290356081577937625722582324624051097232949642744954880*y^20 - 80700688165268604123697344380028996083091833311555909835922021231550045453137235695467949383200517105411186891000155937082482083888335058250784221843492530351314225543969021743099464093/161407856192138791154635694707414782748098380375019025107511356409893550794373955723351407595892804126247229481208949232827298544442290356081577937625722582324624051097232949642744954880*y^19 + 23494045437523041699478803789829795480775261466468139035416391999803562135810124859552399427901695692326417238390978352818174835362521848627838531141143178139535437711341642986404959989/2562029463367282399279931662022456869017434609127286112817640577934818266577364376561133453903060382956305229860459511632179341975274450096532983136916231465470223033289411899091189760*y^18 - 101837985140959977054068214228894871517885130321048907334050652320288174647579262724657025301618671585139112749240447598839658246749007588205619117933512300355196872857268721762286370467/4483551560892744198739880408539299520780510565972750697430871011385931966510387658981983544330355670173534152255804145356313848456730287668932720489603405064572890308256470823409582080*y^17 + 11165300726122932919172977294419973822439333330039347585587639774556184312802664942665788025250241073430508361613630974549711711070788873396524307148760859639545454041173711863382722757133/161407856192138791154635694707414782748098380375019025107511356409893550794373955723351407595892804126247229481208949232827298544442290356081577937625722582324624051097232949642744954880*y^16 + 2658689672094643521836290637871035045798101882825226806437096285185603793420376262301703686081159795388552859609234969839246024012953828284082065483897052938826863515531819075556121715319/32281571238427758230927138941482956549619676075003805021502271281978710158874791144670281519178560825249445896241789846565459708888458071216315587525144516464924810219446589928548990976*y^15 - 578095597840790526480870555858881277725944425857543695432629389934013652494087443170952231156915266957375785046769289252980235941353540964905115677475171802258388566669493077873236540577/3843044195050923598919897493033685303526151913690929169226460866902227399866046564841700180854590574434457844790689267448269012962911675144799474705374347198205334549934117848636784640*y^14 + 13396427052949168309530534834378295090198649611011599806819301699480366224819261037798864086822393104335333908378015542585892517901721085158625101225883790485407366428126085514424249851431/32281571238427758230927138941482956549619676075003805021502271281978710158874791144670281519178560825249445896241789846565459708888458071216315587525144516464924810219446589928548990976*y^13 + 15480344753690093646467370207507872903957884903626519230943831441334635097736996983432149131429220956363061082612956719626799977188402354947920707554179278931530464957366551282262614503829/80703928096069395577317847353707391374049190187509512553755678204946775397186977861675703797946402063123614740604474616413649272221145178040788968812861291162312025548616474821372477440*y^12 + 298219007935086334536125542466402440371461886633122850678486923210806142980681731686207113543827164803980657925326257472894825706887821014623109688457661326100551008001028951791828181861/4611653034061108318703876991640422364231382296429115003071753040282672879839255877810040217025508689321349413748827120937922815555494010173759369646449216637846401459920941418364141568*y^11 - 75077324057709676271479956497690857751549987994966777740185376019408583117605320006307389791877454170714897183497753316225711815146582840005291756596300033240624587283424037783593899887967/161407856192138791154635694707414782748098380375019025107511356409893550794373955723351407595892804126247229481208949232827298544442290356081577937625722582324624051097232949642744954880*y^10 + 32515836197344126832802117486013744251756711143075458216780113638110025479781377880728895317967832510595137740909747463066247232678028651911346734285611213117233251246751814567193359112681/161407856192138791154635694707414782748098380375019025107511356409893550794373955723351407595892804126247229481208949232827298544442290356081577937625722582324624051097232949642744954880*y^9 - 5849093061603440131539210763835498270955042991730171627491245467735136363494663449985912208582507563747916993959568393315129587876823418523111207961805884896548692169862004729437049171581/80703928096069395577317847353707391374049190187509512553755678204946775397186977861675703797946402063123614740604474616413649272221145178040788968812861291162312025548616474821372477440*y^8 + 2324897972437914673611038097106684106750838276444862204631342121059908688204769216436119048569369571671052742788932698680530888500707896321246724622283376321821956490158842809780627593193/40351964048034697788658923676853695687024595093754756276877839102473387698593488930837851898973201031561807370302237308206824636110572589020394484406430645581156012774308237410686238720*y^7 - 1172230363302847651407093383999676128480335183177483543044022119366307718843685894086721969714319420560885185015608361439385437366405656364450142688198431712833311281380894176492778482203/23058265170305541593519384958202111821156911482145575015358765201413364399196279389050201085127543446606747068744135604689614077777470050868796848232246083189232007299604707091820707840*y^6 + 275656520348321976558380653692936421927504406957227612823461064205266165430411746008755678920860983606309435242003738930761283595018033495432385609301731475738604716227458091761004053907/40351964048034697788658923676853695687024595093754756276877839102473387698593488930837851898973201031561807370302237308206824636110572589020394484406430645581156012774308237410686238720*y^5 - 10639684289599649627911790606594906523135959641958440300051785414962078258730809600486619028285028268485953026649538797364097862587038702364606087946337196908891952556217582872486233713/8967103121785488397479760817078599041561021131945501394861742022771863933020775317963967088660711340347068304511608290712627696913460575337865440979206810129145780616512941646819164160*y^4 - 3512469602796624342038015308248205529806724667336138887856312622805879447365588522732183545030223154767784536641105213676101619675474395444040392908037152013502576688498962535967634609/4035196404803469778865892367685369568702459509375475627687783910247338769859348893083785189897320103156180737030223730820682463611057258902039448440643064558115601277430823741068623872*y^3 + 4425835256598245512893949928290686941675815582191119350231085389965137473191553956950007694548464518075868449898425231557171153894282830285938171563746191348479966251393174487871419517/840665917667389537263727576601118660146345731119890755768288314634862243720697686059121914561941688157537653547963277254308846585636928937924885091800638449607416932798088279389296640*y^2 - 17359095261635149644338203251314435391435649589582835458875865512747956144743390586039529112934521049361446484583688716515261513257957123148511611419212404167118904561135257217071345353/17934206243570976794959521634157198083122042263891002789723484045543727866041550635927934177321422680694136609023216581425255393826921150675730881958413620258291561233025883293638328320*y + 22806533805023017865492586151628930115961340664772915246332824105182234056043068472032241275100465045271297956634056998576138358691160304269585186441362225128005594659058508773210489289/53802618730712930384878564902471594249366126791673008369170452136631183598124651907783802531964268042082409827069649744275766181480763452027192645875240860774874683699077649880914984960