# Manifold: Census Knot K8_248 # Number of Tetrahedra: 8 # Number Field x^19 - 12*x^18 + 46*x^17 - 97*x^16 + 350*x^15 - 1001*x^14 + 1619*x^13 - 2655*x^12 + 4147*x^11 - 6937*x^10 + 9047*x^9 - 9975*x^8 + 7506*x^7 - 3266*x^6 - 903*x^5 + 3251*x^4 - 3230*x^3 + 1998*x^2 - 699*x + 97 # Approximate Field Generator 0.187859597550836 + 1.00001967452143*I # Shape Parameters 1/97*y^18 - 12/97*y^17 + 46/97*y^16 - y^15 + 350/97*y^14 - 1001/97*y^13 + 1619/97*y^12 - 2655/97*y^11 + 4147/97*y^10 - 6937/97*y^9 + 9047/97*y^8 - 9975/97*y^7 + 7506/97*y^6 - 3266/97*y^5 - 903/97*y^4 + 3251/97*y^3 - 3230/97*y^2 + 1998/97*y - 699/97 -87173323918643792898948217938430155/2662505516789666356450968731558330077*y^18 + 2769208732603233247067095913397019015/7987516550368999069352906194674990231*y^17 - 7821840667207869741922309311471444673/7987516550368999069352906194674990231*y^16 + 37487650389358395226857699709830902/27448510482367694396401739500601341*y^15 - 64481767632473287882370083036010014586/7987516550368999069352906194674990231*y^14 + 149654498158636650631185236533321968676/7987516550368999069352906194674990231*y^13 - 123798093607801152736570430798098837514/7987516550368999069352906194674990231*y^12 + 281780439437416056717178656299312602235/7987516550368999069352906194674990231*y^11 - 372405130190276205769880382894938326627/7987516550368999069352906194674990231*y^10 + 764931523978702805415566999066392303183/7987516550368999069352906194674990231*y^9 - 170141020087744176028428720839806023535/2662505516789666356450968731558330077*y^8 + 162375252766216426631335624360611196165/2662505516789666356450968731558330077*y^7 + 91606132663637326033112858712054592089/2662505516789666356450968731558330077*y^6 - 91176573740661957046267001277993487094/2662505516789666356450968731558330077*y^5 + 421074675479313884282980970670647834176/7987516550368999069352906194674990231*y^4 - 140107918478158217166049408900026509467/7987516550368999069352906194674990231*y^3 + 21662979751867739174023078778337253351/7987516550368999069352906194674990231*y^2 + 57064046721213458196333645007782251180/7987516550368999069352906194674990231*y - 50658138832453782549788484569260750162/7987516550368999069352906194674990231 1111496304519373011600535041254436341/110095975544776822223967377136911978751*y^18 - 4003551734072839881164979023926298392/36698658514925607407989125712303992917*y^17 + 36356048855481745463762097732069127651/110095975544776822223967377136911978751*y^16 - 59756452084863235931993980771914374488/110095975544776822223967377136911978751*y^15 + 303610770972703966509560668549275948973/110095975544776822223967377136911978751*y^14 - 726689909159923905412312179303498181499/110095975544776822223967377136911978751*y^13 + 38720324832802497857947183144375617153/5242665502132229629712732244614856131*y^12 - 1697517783788435157096395470684201216177/110095975544776822223967377136911978751*y^11 + 753682090251021823204718186939960412570/36698658514925607407989125712303992917*y^10 - 4331199819187193228894987444461323023656/110095975544776822223967377136911978751*y^9 + 1326411872157343342721108623486101628549/36698658514925607407989125712303992917*y^8 - 1539600836996797734987647285134883847438/36698658514925607407989125712303992917*y^7 + 418524978123237381348040579164540711311/36698658514925607407989125712303992917*y^6 - 235192953878201944075706406199539762526/110095975544776822223967377136911978751*y^5 - 627662844244879679422061030599675573219/36698658514925607407989125712303992917*y^4 + 497091279659641701950709408892436423190/36698658514925607407989125712303992917*y^3 - 298363613216604208398390910403968570105/36698658514925607407989125712303992917*y^2 + 294045097861942154326527878568290839610/110095975544776822223967377136911978751*y + 215880346486724351201764866161171081407/110095975544776822223967377136911978751 -9448651662670571430701218637945065/82345531447103083189205218501804023*y^18 + 108307600937042014120098446738610080/82345531447103083189205218501804023*y^17 - 376262214099576521879338874763335356/82345531447103083189205218501804023*y^16 + 712140418374025955791106083259318720/82345531447103083189205218501804023*y^15 - 972083246203460999686499572235021143/27448510482367694396401739500601341*y^14 + 2625398512499376788440005417285712834/27448510482367694396401739500601341*y^13 - 11008568247898678238137188579707333092/82345531447103083189205218501804023*y^12 + 6334029636216952974534470468696352597/27448510482367694396401739500601341*y^11 - 28742953876531105588720755279624610688/82345531447103083189205218501804023*y^10 + 49766395144076310381693230666362920571/82345531447103083189205218501804023*y^9 - 19389082298994144054619209902212835106/27448510482367694396401739500601341*y^8 + 20684144867627513127317555218383768742/27448510482367694396401739500601341*y^7 - 12143931566328505204348071115329176105/27448510482367694396401739500601341*y^6 + 10331736926848091624218801699095750641/82345531447103083189205218501804023*y^5 + 14559258556093139872473310628820362288/82345531447103083189205218501804023*y^4 - 22694422957134331552314253892649897443/82345531447103083189205218501804023*y^3 + 17906149881491289863245062407586027458/82345531447103083189205218501804023*y^2 - 2915259428609631417008353918594625614/27448510482367694396401739500601341*y + 1702371884403766262233287516193305761/82345531447103083189205218501804023 6095089248677740184126036770780175729/55912615852582993485470343362724931617*y^18 - 71913152058544917240602434018566976960/55912615852582993485470343362724931617*y^17 + 265661082587733835916732321605838978150/55912615852582993485470343362724931617*y^16 - 5517941977401449931028195163430590326/576418720129721582324436529512628161*y^15 + 672572497032593128613583766858608311374/18637538617527664495156781120908310539*y^14 - 1893667133282072446829364204957458142673/18637538617527664495156781120908310539*y^13 + 1236917382734412827535350142715327238246/7987516550368999069352906194674990231*y^12 - 4760046143019688044549724309477613363244/18637538617527664495156781120908310539*y^11 + 22200320924570774432086185597404755880473/55912615852582993485470343362724931617*y^10 - 37406585606484220536291033367373921448575/55912615852582993485470343362724931617*y^9 + 15688671264354534979264731494708299325347/18637538617527664495156781120908310539*y^8 - 16767760269039836481009770346818376658328/18637538617527664495156781120908310539*y^7 + 11534983738766006852820807337627826382618/18637538617527664495156781120908310539*y^6 - 11679588357414551202431643981700658072920/55912615852582993485470343362724931617*y^5 - 8396930193631215579284050485669471638932/55912615852582993485470343362724931617*y^4 + 18356689947479040061561572259846590298066/55912615852582993485470343362724931617*y^3 - 15561620088252847721223060677629158543730/55912615852582993485470343362724931617*y^2 + 2884409092630684786742212011991797770612/18637538617527664495156781120908310539*y - 2139192663566967353785679582355902284459/55912615852582993485470343362724931617 -9448651662670571430701218637945065/82345531447103083189205218501804023*y^18 + 108307600937042014120098446738610080/82345531447103083189205218501804023*y^17 - 376262214099576521879338874763335356/82345531447103083189205218501804023*y^16 + 712140418374025955791106083259318720/82345531447103083189205218501804023*y^15 - 972083246203460999686499572235021143/27448510482367694396401739500601341*y^14 + 2625398512499376788440005417285712834/27448510482367694396401739500601341*y^13 - 11008568247898678238137188579707333092/82345531447103083189205218501804023*y^12 + 6334029636216952974534470468696352597/27448510482367694396401739500601341*y^11 - 28742953876531105588720755279624610688/82345531447103083189205218501804023*y^10 + 49766395144076310381693230666362920571/82345531447103083189205218501804023*y^9 - 19389082298994144054619209902212835106/27448510482367694396401739500601341*y^8 + 20684144867627513127317555218383768742/27448510482367694396401739500601341*y^7 - 12143931566328505204348071115329176105/27448510482367694396401739500601341*y^6 + 10331736926848091624218801699095750641/82345531447103083189205218501804023*y^5 + 14559258556093139872473310628820362288/82345531447103083189205218501804023*y^4 - 22694422957134331552314253892649897443/82345531447103083189205218501804023*y^3 + 17906149881491289863245062407586027458/82345531447103083189205218501804023*y^2 - 2915259428609631417008353918594625614/27448510482367694396401739500601341*y + 1620026352956663179044082297691501738/82345531447103083189205218501804023 141471378309556931737799578412009020/1344977013636017025423685235529465709*y^18 - 4949394318623971316728423459793977543/4034931040908051076271055706588397127*y^17 + 17851061550804318671896029339181287565/4034931040908051076271055706588397127*y^16 - 11718151834159091522032381362641741345/1344977013636017025423685235529465709*y^15 + 136730521002947723424992597183489524490/4034931040908051076271055706588397127*y^14 - 378739068796737068195858463683466803479/4034931040908051076271055706588397127*y^13 + 11422815492638346755662116089626811708/82345531447103083189205218501804023*y^12 - 939020264682770223313189521432255454376/4034931040908051076271055706588397127*y^11 + 1444723880862623829005527627531890156229/4034931040908051076271055706588397127*y^10 - 2460486886105987738235007811040706733843/4034931040908051076271055706588397127*y^9 + 1003965121795355793148207988252560262437/1344977013636017025423685235529465709*y^8 - 1075205457621006425166192597332319835005/1344977013636017025423685235529465709*y^7 + 702105415237036097625650221804302456382/1344977013636017025423685235529465709*y^6 - 229406045069131746646973433883248462828/1344977013636017025423685235529465709*y^5 - 613819165042760425317997557625842576526/4034931040908051076271055706588397127*y^4 + 1171968082358299079431165176460396584250/4034931040908051076271055706588397127*y^3 - 980966733488376329597632016288556144172/4034931040908051076271055706588397127*y^2 + 523282328456266021014472825201322646880/4034931040908051076271055706588397127*y - 118760647956335738549883084315228673274/4034931040908051076271055706588397127 -162375684409511976673938026138511442/1344977013636017025423685235529465709*y^18 + 5645493551831948585249755934766631309/4034931040908051076271055706588397127*y^17 - 20099501289669903075774708755792062954/4034931040908051076271055706588397127*y^16 + 13034377924833726363170405900421368996/1344977013636017025423685235529465709*y^15 - 154742171989822528558427527088826630992/4034931040908051076271055706588397127*y^14 + 424530962455416229406701009752137223670/4034931040908051076271055706588397127*y^13 - 12589769431216569588587994449919323291/82345531447103083189205218501804023*y^12 + 1045996961044107445467871549070576572241/4034931040908051076271055706588397127*y^11 - 1596309565757626889510477927013660946711/4034931040908051076271055706588397127*y^10 + 2736732848888474742117080547055568867149/4034931040908051076271055706588397127*y^9 - 1100226191857844101692912870695698281499/1344977013636017025423685235529465709*y^8 + 1178999552937160243928242915708479511360/1344977013636017025423685235529465709*y^7 - 743810507550338622254863259107438371327/1344977013636017025423685235529465709*y^6 + 235092527673636720877033701747272134188/1344977013636017025423685235529465709*y^5 + 724943826259222623181020465410049694708/4034931040908051076271055706588397127*y^4 - 1290195992434180100793492211791598428541/4034931040908051076271055706588397127*y^3 + 1056234296917542570261638684138448726967/4034931040908051076271055706588397127*y^2 - 548190640698115253250899098580319724018/4034931040908051076271055706588397127*y + 121098194836283675050119027300655262963/4034931040908051076271055706588397127 # A Gluing Matrix {{4,-2,0,2,-2,0,0,1},{-2,2,1,-1,0,1,0,0},{0,1,1,-1,0,1,0,0},{2,-1,-1,2,-1,-1,1,0},{-2,0,0,0,1,-1,0,-1},{0,1,1,0,-1,1,0,0},{0,0,0,1,-1,-1,1,-1},{2,0,0,1,-1,1,-1,2}} # B Gluing Matrix {{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,0,1,0},{0,0,0,0,1,0,1,0},{0,0,0,0,0,1,1,0},{0,0,0,0,0,0,2,0},{0,0,0,0,0,0,0,2}} # nu Gluing Vector {2, 0, 1, 1, -1, 1, 0, 2} # f Combinatorial flattening {1, 1, 1, 1, 1, 0, 0, 0} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -107729592847899622553178884528403229/164691062894206166378410437003608046*y^18 + 206043466297702987891103209587891390/27448510482367694396401739500601341*y^17 - 4284821190556747096764499987910011499/164691062894206166378410437003608046*y^16 + 7953495675051583601944395703184429483/164691062894206166378410437003608046*y^15 - 32740055575267600551484486433740506605/164691062894206166378410437003608046*y^14 + 89380420189069475374525710017692854853/164691062894206166378410437003608046*y^13 - 20241042445374185123642010349909919980/27448510482367694396401739500601341*y^12 + 103168026564655205052765776617490346337/82345531447103083189205218501804023*y^11 - 53492737964607126101548424940246783437/27448510482367694396401739500601341*y^10 + 273744496618200485124843188910194713957/82345531447103083189205218501804023*y^9 - 212477336737574575568667466045947089159/54897020964735388792803479001202682*y^8 + 108885584940447297897826355834353341150/27448510482367694396401739500601341*y^7 - 63323305302860991221414930584046410694/27448510482367694396401739500601341*y^6 + 37240331567265349167113087308090273954/82345531447103083189205218501804023*y^5 + 26938284822906377613079457340770139156/27448510482367694396401739500601341*y^4 - 84109374991773917847579193624393354153/54897020964735388792803479001202682*y^3 + 60434575767099968808741550863489184247/54897020964735388792803479001202682*y^2 - 84917957273805452717546771523207533875/164691062894206166378410437003608046*y + 7264143937596037677032237741875770140/82345531447103083189205218501804023 # 2 Loop Invariant -40116061348547007076552644546203337180581382105437301945937565282837653239187236808216572687480535/780201520049452873556877886555618276531088312048171065438431298534667674672340763190923187085313576*y^18 + 57276844762918776731035697072621464291549608646736766951944372915441621714376865410198179980833997/97525190006181609194609735819452284566386039006021383179803912316833459334042595398865398385664197*y^17 - 790035272763648741305037823805400193402309748570130386749223802289569436001698293244015346765557415/390100760024726436778438943277809138265544156024085532719215649267333837336170381595461593542656788*y^16 + 61289780317255788716145384517803866126170912770003228884041209059028167693428116589962699733002487/16086629279370162341378925495992129413012130145323114751307861825457065457161665220431405919284816*y^15 - 1367219941784308809139260801532981711916197980674317241120332590441085473091771489345328392632246759/86689057783272541506319765172846475170120923560907896159825699837185297185815640354547020787257064*y^14 + 22011373458911358780477671095681068391427479447268144343275072764923652687436807547418154884632433751/520134346699635249037918591037078851020725541365447376958954199023111783114893842127282124723542384*y^13 - 22864036993344348515231692147325410290038132028347633607382117122531390483254723840189493777132074111/390100760024726436778438943277809138265544156024085532719215649267333837336170381595461593542656788*y^12 + 3321667072578366603951387188305330899403887477179178166561881398827925195934752036370642036491588830/32508396668727203064869911939817428188795346335340461059934637438944486444680865132955132795221399*y^11 - 59948252025686112326146326562203703213134270731583887532339829860300632297880874792815621692159298775/390100760024726436778438943277809138265544156024085532719215649267333837336170381595461593542656788*y^10 + 416482717133085399529220614944966463898642530562621596704667706501645991720915970526920781633093466821/1560403040098905747113755773111236553062176624096342130876862597069335349344681526381846374170627152*y^9 - 160953977402546182217358019590498073044299699361949303579538573014956878950686572594063883325857837733/520134346699635249037918591037078851020725541365447376958954199023111783114893842127282124723542384*y^8 + 14368558431929138314088687666195005263885437426111202009478820965376958262757070445386704720649038573/43344528891636270753159882586423237585060461780453948079912849918592648592907820177273510393628532*y^7 - 6235784871951824346355191427233706223060825316928113385044534331800956194462896853963982346412433594/32508396668727203064869911939817428188795346335340461059934637438944486444680865132955132795221399*y^6 + 85142537261101861870766344785392125931479449418331691069650003964174631023674172240152311206383618935/1560403040098905747113755773111236553062176624096342130876862597069335349344681526381846374170627152*y^5 + 122938084633494237648731957029147255616436175390824501115987390246905628547682764336933765862740368267/1560403040098905747113755773111236553062176624096342130876862597069335349344681526381846374170627152*y^4 - 189500948228692189662181248034145942043237796999473635145099932258888940693208813799673988316849487019/1560403040098905747113755773111236553062176624096342130876862597069335349344681526381846374170627152*y^3 + 36964493668602566144693595008881486858672627139185211146371341360831709635840728908490332519770446591/390100760024726436778438943277809138265544156024085532719215649267333837336170381595461593542656788*y^2 - 24211655942441855300602769393148859953603695980788923342097826421408857680904437301877372654785267537/520134346699635249037918591037078851020725541365447376958954199023111783114893842127282124723542384*y + 12592036277635827779427101207425107768838254578741032435509562549744439956185563983455863827186170805/1560403040098905747113755773111236553062176624096342130876862597069335349344681526381846374170627152 # 3 Loop Invariant 5120005159214563661803272275217008119436765512344591487406464383106180956998275555359183691891942061756269936448411173904153045423723/39492159520046684087753528920523525533224241365009307320653540628234206998327809037124872575114876313115009146448413881209082021402048*y^18 - 9756033869390808263451401648997548382941909897368905732243526798547295188384847774675491990543037504943404057041128462131795094939353/6582026586674447347958921486753920922204040227501551220108923438039034499721301506187478762519146052185834857741402313534847003567008*y^17 + 101146767118430505382682754479687217514564766063470219682326258858178200387164049648894256168963510742314370651523650109375636878758969/19746079760023342043876764460261762766612120682504653660326770314117103499163904518562436287557438156557504573224206940604541010701024*y^16 - 1967041614240079963195308808473473915342064014932123051086260692253322199438319742799322333837246655442678980013039966482349196856713/203567832577560227256461489281049100686722893634068594436358456846568077310968087820231301933581836665541284260043370521696299079392*y^15 + 393651096443703503078862454150323725180156250153397693215900165181392428032120043900516131523584536387130947215029362065265227922851485/9873039880011671021938382230130881383306060341252326830163385157058551749581952259281218143778719078278752286612103470302270505350512*y^14 - 4230363625266989578956087605743937249425782503364598154270865642822123740601812475808128380867125678054171560093812837153493074716348379/39492159520046684087753528920523525533224241365009307320653540628234206998327809037124872575114876313115009146448413881209082021402048*y^13 + 980357504088629241842377896583823483298656300409783057973224865444642339335664873877276272834707029798429463400091658506329295776646027/6582026586674447347958921486753920922204040227501551220108923438039034499721301506187478762519146052185834857741402313534847003567008*y^12 - 2559481531282410226286432046717776496043403775326116566694742402847623992724631881301599335415546011815525307839696506087306348010273781/9873039880011671021938382230130881383306060341252326830163385157058551749581952259281218143778719078278752286612103470302270505350512*y^11 + 2566872611357751157322447433889458518387360287113223446048919272654319392524401008684157242215102018156305170188590563174298340534020049/6582026586674447347958921486753920922204040227501551220108923438039034499721301506187478762519146052185834857741402313534847003567008*y^10 - 26735637978722587134930319954362195658456466505906493433659425269679941573661690886138575076698004892475916351068223709539627247878161757/39492159520046684087753528920523525533224241365009307320653540628234206998327809037124872575114876313115009146448413881209082021402048*y^9 + 5182288234023904501250396421606419486623496986463523368824811468579577344663192641504734727735090367471540374876732860624119658484538541/6582026586674447347958921486753920922204040227501551220108923438039034499721301506187478762519146052185834857741402313534847003567008*y^8 - 1388109774747219396841215968574574493522900639802846896164150413337031250713863194269096594241402993751590303853933940433971740153346251/1645506646668611836989730371688480230551010056875387805027230859509758624930325376546869690629786513046458714435350578383711750891752*y^7 + 6472355956690009773038060915994020529512454152002995503294382157185153464354890086801931588345231205011444059578015273955591012809652997/13164053173348894695917842973507841844408080455003102440217846876078068999442603012374957525038292104371669715482804627069694007134016*y^6 - 696493705275590172486345891643833394290669084405673174209740270113996324779849688617787316687331665003803226081746415131055149268467769/4936519940005835510969191115065440691653030170626163415081692578529275874790976129640609071889359539139376143306051735151135252675256*y^5 - 2610812416190862048000178372168789632598500524495642260893208072317604973193424373494173321787038258098525512587180795306017202508288683/13164053173348894695917842973507841844408080455003102440217846876078068999442603012374957525038292104371669715482804627069694007134016*y^4 + 4068433624069277611421693134776042858082682524845311872202530297836989162712677173976353898313939375795510299683899292726240885782744047/13164053173348894695917842973507841844408080455003102440217846876078068999442603012374957525038292104371669715482804627069694007134016*y^3 - 398136160802798996415632358938161364563482510323345205383511512090185158352336000442792344504126048424864716193751002418957050131677555/1645506646668611836989730371688480230551010056875387805027230859509758624930325376546869690629786513046458714435350578383711750891752*y^2 + 2373795510009518021400933660200130950835719069454430081302249357638992658582978821595815495108491460888918166202851575871625496098427405/19746079760023342043876764460261762766612120682504653660326770314117103499163904518562436287557438156557504573224206940604541010701024*y - 844000287654361973225536437895743616928547791844128302456913805703714826003038601927402821726352951170746370766153498866103160226026539/39492159520046684087753528920523525533224241365009307320653540628234206998327809037124872575114876313115009146448413881209082021402048 # 4 Loop Invariant -128390882199838497941356184036025878985777847628943005225992788443648645375974619453453079841652315136056771315577146125138147485581002952431566893939820414002004564839969766827266539594208756173211/155907280507021849553767592139520924834981317523340323529885686661246595650561452130872842181704054500413901766807555391837709526236015302395037179826942858616264299786263282661827304969782693882240*y^18 + 105878036292712134934354991030943122242412973385878262792618628140777631808959183719048862413540081407942563815095191976039884410459730676886150054226100686761398779606866926172776983602201337584250569/11225324196505573167871266634045506588118654861680503294151769439609754886840424553422844637082691924029800927210143988212315085888993101772442676947539885820371029584610956351651565957824353959521280*y^17 - 367347141145356015842962915760137001318051395418632936632104264782726633336074820180571870697962208353528828534450645376428637778032249802341417496146453720093047176792800943914968992311364930915595401/11225324196505573167871266634045506588118654861680503294151769439609754886840424553422844637082691924029800927210143988212315085888993101772442676947539885820371029584610956351651565957824353959521280*y^16 + 2390639311960055718869922512522218378882807801238352462451215523148366045952795120811690581419248934367077673510740796362434183371050533857032112042975620502318882404607443767290251214524650092880741/38574997238850766899901259910809300990098470315053275924920169895566167996015204650937610436710281525875604560859601334062938439481075951108050436245841532028766424689384729730761395044069944878080*y^15 - 285447492406987781485157708706215363013672409008845584032608703443679055223077720817333164150613727273789237512647159970737479695039887136296319520742672683284298727212573708936100260657578123655874973/1122532419650557316787126663404550658811865486168050329415176943960975488684042455342284463708269192402980092721014398821231508588899310177244267694753988582037102958461095635165156595782435395952128*y^14 + 7692129445676618239628368912225523798362759606302255795970251268047377956668107041132499857405670019339913688104018616782974464949963624691817488658575827744807629594768703563933839767452139468816229201/11225324196505573167871266634045506588118654861680503294151769439609754886840424553422844637082691924029800927210143988212315085888993101772442676947539885820371029584610956351651565957824353959521280*y^13 - 672253841367161309849132733789102658045248014861268499475228304886266304207729250914512055214938070572391016703332046954709095407649992894538713991936650154143075857012625459517622012120443458754849877/701582762281598322991954164627844161757415928855031455884485589975609680427526534588927789817668245251862557950633999263269692868062068860777667309221242863773189349038184771978222872364022122470080*y^12 + 2331127791515741002197126204074040878463167045657757286231616767894935445822995644941789964211332905138178614635648969362255509391148816239957163960974998611838637061103893495893157413287548685982620003/1403165524563196645983908329255688323514831857710062911768971179951219360855053069177855579635336490503725115901267998526539385736124137721555334618442485727546378698076369543956445744728044244940160*y^11 - 28125297915008290874767004039095670599970274093463668931431520136616307841903677598727082800351387776009916787177461734549396514362582904656975221801250934451173740830853185603057781394404978016088415239/11225324196505573167871266634045506588118654861680503294151769439609754886840424553422844637082691924029800927210143988212315085888993101772442676947539885820371029584610956351651565957824353959521280*y^10 + 6089787862874594102126638308987559302325441588701852277646117782459859125131637136323580918422963145775923924540855202230255495726600876330731052335472788025742913192591673856530326937100181931487667613/1403165524563196645983908329255688323514831857710062911768971179951219360855053069177855579635336490503725115901267998526539385736124137721555334618442485727546378698076369543956445744728044244940160*y^9 - 18985434728524011969514196103914502711700744752558449949298897604776916914946190673360210358253709295678588085694136958353495126583538639353167322186940643767257914288216891699057665392369312065111565041/3741774732168524389290422211348502196039551620560167764717256479869918295613474851140948212360897308009933642403381329404105028629664367257480892315846628606790343194870318783883855319274784653173760*y^8 + 20329493838659917454337091980135007794978387115484030591727861463351648853483448050428803774807193660039195785557644499812122975487500230549637824243154654739315480758026737920896251663866637157906148821/3741774732168524389290422211348502196039551620560167764717256479869918295613474851140948212360897308009933642403381329404105028629664367257480892315846628606790343194870318783883855319274784653173760*y^7 - 11986755355676939446143143812253244350136804009836503505987130643302355003305060711361307854620325576593780643412683542597510878514175167350984915862150229736849120507882622981799038307915110441101624933/3741774732168524389290422211348502196039551620560167764717256479869918295613474851140948212360897308009933642403381329404105028629664367257480892315846628606790343194870318783883855319274784653173760*y^6 + 3478944285128202802302936544701412158855592714047507869454537456650828683110601847935188416935458632922375691660692874625783791192777946207168143201770076398192521985802173972250559767341229623694782239/3741774732168524389290422211348502196039551620560167764717256479869918295613474851140948212360897308009933642403381329404105028629664367257480892315846628606790343194870318783883855319274784653173760*y^5 + 14091656210972342850617624874831986930770608864315800650526794018396563963602576236846701707917727948023648257397287426934333899542723506136179399952933709167217561765659878761727377382595952650617549699/11225324196505573167871266634045506588118654861680503294151769439609754886840424553422844637082691924029800927210143988212315085888993101772442676947539885820371029584610956351651565957824353959521280*y^4 - 4470662719619707773273998592557675379620511348311559144536695621994698203938845763857826136768949332613034490138391748963821842612830286637349757975440247030166168327195921185060925766691709004600327435/2245064839301114633574253326809101317623730972336100658830353887921950977368084910684568927416538384805960185442028797642463017177798620354488535389507977164074205916922191270330313191564870791904256*y^3 + 17602936721590978025454378114088891702784664834188359650674645094215170387194502460000050183801649730213736045239505821469675068234568531629765115625215334640761868835015105565676222079361183820431759287/11225324196505573167871266634045506588118654861680503294151769439609754886840424553422844637082691924029800927210143988212315085888993101772442676947539885820371029584610956351651565957824353959521280*y^2 - 1100960405764316749561020515476973403177050715267055468822366986077183303852191713259487609272956179369766016677610634057735338837549511556870569566311116315302635982282348941821049683013337963995625259/1403165524563196645983908329255688323514831857710062911768971179951219360855053069177855579635336490503725115901267998526539385736124137721555334618442485727546378698076369543956445744728044244940160*y + 810267110130140998361188625539035791760084545571795100716614374615079704071883361956981559821494153059367385797234761333153255468571230208663881162082382938982983101799508765055813423994302424734100301/5612662098252786583935633317022753294059327430840251647075884719804877443420212276711422318541345962014900463605071994106157542944496550886221338473769942910185514792305478175825782978912176979760640