# Manifold: Census Knot K8_40 # Number of Tetrahedra: 8 # Number Field x^20 + 2*x^19 - 9*x^18 + 14*x^17 - 178*x^16 + 216*x^15 + 495*x^14 - 319*x^13 - 561*x^12 - 617*x^11 + 568*x^10 + 961*x^9 - 718*x^8 + 21*x^7 + 316*x^6 - 141*x^5 - 110*x^4 + 21*x^3 + 22*x^2 + x - 1 # Approximate Field Generator -0.481694101553128 + 1.10628247761902*I # Shape Parameters -94729994284312893413579428683/74075353121761045751811125708*y^19 - 376603696911865293615836014533/74075353121761045751811125708*y^18 + 202714401391618869270118583607/37037676560880522875905562854*y^17 + 37291820737984177384135710872/18518838280440261437952781427*y^16 + 7366997743954528100765371718157/37037676560880522875905562854*y^15 + 6149365288017430522798040674991/37037676560880522875905562854*y^14 - 74964146600428152841924827326819/74075353121761045751811125708*y^13 - 33619770736128965618353134873451/37037676560880522875905562854*y^12 + 69517655371374354842869795205969/74075353121761045751811125708*y^11 + 37937457779049560500554476934105/18518838280440261437952781427*y^10 + 25407397802517317538083390579719/18518838280440261437952781427*y^9 - 119472920051380076802976298034959/74075353121761045751811125708*y^8 - 94587768578803015237775155920609/74075353121761045751811125708*y^7 + 15750273240573038197622489504159/18518838280440261437952781427*y^6 - 9701796198793574328681055690755/18518838280440261437952781427*y^5 - 36072659388208112873102616291141/74075353121761045751811125708*y^4 + 15591069521840792932977091467233/74075353121761045751811125708*y^3 + 5538323721055989584577800906161/37037676560880522875905562854*y^2 + 136115258887648504473244935202/18518838280440261437952781427*y - 829027799203491956054155077539/74075353121761045751811125708 -6873685527363884195700104384/18518838280440261437952781427*y^19 - 19022687503993900911318082506/18518838280440261437952781427*y^18 + 49412506876396207556171654524/18518838280440261437952781427*y^17 - 53939230003940608441620528375/18518838280440261437952781427*y^16 + 1163290509265345287590719457620/18518838280440261437952781427*y^15 - 561616897482207060635199308220/18518838280440261437952781427*y^14 - 4217800244045032249028933796248/18518838280440261437952781427*y^13 - 589367797912626614411628449556/18518838280440261437952781427*y^12 + 4420429578979282682766548535831/18518838280440261437952781427*y^11 + 7034092234944775687369603273660/18518838280440261437952781427*y^10 + 469266337914017234238950545144/18518838280440261437952781427*y^9 - 7643023834650900255286981115899/18518838280440261437952781427*y^8 + 21074511381910820244617984356/18518838280440261437952781427*y^7 + 1682640360297431073756320936530/18518838280440261437952781427*y^6 - 2277845266925125473162177757814/18518838280440261437952781427*y^5 - 411793916326589114901756539799/18518838280440261437952781427*y^4 + 1001401013628783101839859885567/18518838280440261437952781427*y^3 + 262835690297582781352232235868/18518838280440261437952781427*y^2 - 43408278779586206604265339021/18518838280440261437952781427*y + 3317954187956741848903643501/18518838280440261437952781427 -139074502019554632722335610431/296301412487044183007244502832*y^19 - 467991969090293843063722464125/296301412487044183007244502832*y^18 + 402536395130492899520292305677/148150706243522091503622251416*y^17 - 54902168174521107936269769119/37037676560880522875905562854*y^16 + 11265116721357277932255800717283/148150706243522091503622251416*y^15 + 1660440155708854163734188033815/148150706243522091503622251416*y^14 - 98622960239576321769681182778915/296301412487044183007244502832*y^13 - 26228663488685580348938216326817/148150706243522091503622251416*y^12 + 97095133754422866239926311578445/296301412487044183007244502832*y^11 + 44311185088445401156637325640785/74075353121761045751811125708*y^10 + 19202455095992748590708692608663/74075353121761045751811125708*y^9 - 165807399303771819778381056544643/296301412487044183007244502832*y^8 - 60630062549025858018283755720961/296301412487044183007244502832*y^7 + 16654134294408297377623849863041/74075353121761045751811125708*y^6 - 3726432296204427342114836220983/18518838280440261437952781427*y^5 - 26028838868408408215784838697629/296301412487044183007244502832*y^4 + 21212887081747189446766383018597/296301412487044183007244502832*y^3 + 4117816037771356394713535268061/148150706243522091503622251416*y^2 - 3164588162070151587984494431/18518838280440261437952781427*y - 523093745653666280695415893199/296301412487044183007244502832 -63763503187307221584984371015/296301412487044183007244502832*y^19 - 281024480418492823977540423717/296301412487044183007244502832*y^18 + 105247019475871270747454452653/148150706243522091503622251416*y^17 + 40384039210147260238345201955/37037676560880522875905562854*y^16 + 4785390179761751333939422601563/148150706243522091503622251416*y^15 + 6575576703127335617669116374391/148150706243522091503622251416*y^14 - 55197992657395743608440586574203/296301412487044183007244502832*y^13 - 29338696813067666097746829829377/148150706243522091503622251416*y^12 + 50829873056837996659564110504949/296301412487044183007244502832*y^11 + 28551368714516626491583028885645/74075353121761045751811125708*y^10 + 22277998671981692512456942101799/74075353121761045751811125708*y^9 - 86478181141760415164448343774763/296301412487044183007244502832*y^8 - 84518524080719903992120025119385/296301412487044183007244502832*y^7 + 13969903871477665693101681380845/74075353121761045751811125708*y^6 - 1889447554575375695046101981947/18518838280440261437952781427*y^5 - 31475188607844036650336162473573/296301412487044183007244502832*y^4 + 11934503801539072918754880040173/296301412487044183007244502832*y^3 + 4278209322733354622545845203741/148150706243522091503622251416*y^2 + 24428940355740540067937733710/18518838280440261437952781427*y - 194942412335470837507936705255/296301412487044183007244502832 -4962164942633243396294660752/18518838280440261437952781427*y^19 - 4997835164750252060676303494/18518838280440261437952781427*y^18 + 55584713039806833553454342918/18518838280440261437952781427*y^17 - 110346438682942763595353760854/18518838280440261437952781427*y^16 + 945895705314467782593714548206/18518838280440261437952781427*y^15 - 1943692764318619288835142528636/18518838280440261437952781427*y^14 - 1569211911417280770325773927499/18518838280440261437952781427*y^13 + 4023884237692143549907572464962/18518838280440261437952781427*y^12 + 1913278162203527213898161212375/18518838280440261437952781427*y^11 + 657967547721265666201205327921/18518838280440261437952781427*y^10 - 6479136468149706628752604796964/18518838280440261437952781427*y^9 - 3288072973465373536878624309223/18518838280440261437952781427*y^8 + 7718775735261016213491283455720/18518838280440261437952781427*y^7 - 2563399617436204803977003390428/18518838280440261437952781427*y^6 - 1088441815050503362331138790105/18518838280440261437952781427*y^5 + 1992904407004972507332282115863/18518838280440261437952781427*y^4 + 226019759057516244404291499709/18518838280440261437952781427*y^3 - 487462039567381185777011047170/18518838280440261437952781427*y^2 - 110701154517291195534512136892/18518838280440261437952781427*y + 24915976993975763128837561657/18518838280440261437952781427 -65510480460188762021578422435331/19352186003060073202660656591215*y^19 - 1142943128925526056512957528386/203707221084842875817480595697*y^18 + 624079027843139907153363828350224/19352186003060073202660656591215*y^17 - 1137170405891799065146983893659472/19352186003060073202660656591215*y^16 + 12072242288327360250863098955564542/19352186003060073202660656591215*y^15 - 3663732412301223808794161975964521/3870437200612014640532131318243*y^14 - 5134855377065420804436671826804261/3870437200612014640532131318243*y^13 + 29242947174507715576840941438068084/19352186003060073202660656591215*y^12 + 25378168216534605590510939258823443/19352186003060073202660656591215*y^11 + 2914757676598253965367771633410726/1759289636641824836605514235565*y^10 - 9381734623256930154162750107243940/3870437200612014640532131318243*y^9 - 44724850788614999310048570810529861/19352186003060073202660656591215*y^8 + 12357520756053174864028592348875400/3870437200612014640532131318243*y^7 - 24790229476113565304383693336122901/19352186003060073202660656591215*y^6 - 11107445663121709613568985441600604/19352186003060073202660656591215*y^5 + 671862847731212442455024378997311/1018536105424214379087402978485*y^4 + 2203879740897032718289208100134692/19352186003060073202660656591215*y^3 - 406549646432527634547400486120055/3870437200612014640532131318243*y^2 - 577558727695917920242183834960882/19352186003060073202660656591215*y + 170736485100480976589303273370963/19352186003060073202660656591215 102841230842302480707705649133217/19352186003060073202660656591215*y^19 + 1702221347031456840816283358981/203707221084842875817480595697*y^18 - 999123643409748601957676085431173/19352186003060073202660656591215*y^17 + 1856882388752458421212272530916604/19352186003060073202660656591215*y^16 - 19064115274386007275228596559307699/19352186003060073202660656591215*y^15 + 6062125507417271014174130007285254/3870437200612014640532131318243*y^14 + 7745273821549849028568777652301866/3870437200612014640532131318243*y^13 - 50109369613417872602875033951645378/19352186003060073202660656591215*y^12 - 38446328162478895230176127028933281/19352186003060073202660656591215*y^11 - 4223746766275900379777834815190197/1759289636641824836605514235565*y^10 + 16062690346085881440920322791786467/3870437200612014640532131318243*y^9 + 68017842007814688823021971886660672/19352186003060073202660656591215*y^8 - 20766982235084655026703241740743722/3870437200612014640532131318243*y^7 + 42977513892210777098789642991193417/19352186003060073202660656591215*y^6 + 15884841188204726103431823199060138/19352186003060073202660656591215*y^5 - 1152323086026158477561540739494812/1018536105424214379087402978485*y^4 - 2908159596372834769664758780882509/19352186003060073202660656591215*y^3 + 717752109706016910155168659168239/3870437200612014640532131318243*y^2 + 991929314072236876232992698708334/19352186003060073202660656591215*y - 239265176448779430745338144361966/19352186003060073202660656591215 -2294348100995292181241701134/18518838280440261437952781427*y^19 - 3115504484983005861474666233/18518838280440261437952781427*y^18 + 23248271847786214171044831149/18518838280440261437952781427*y^17 - 45435541607331184125289284059/18518838280440261437952781427*y^16 + 433622301032962451792586320549/18518838280440261437952781427*y^15 - 767580422729165192717106863879/18518838280440261437952781427*y^14 - 747357861631097476844220303355/18518838280440261437952781427*y^13 + 1272410182003147836127274502598/18518838280440261437952781427*y^12 + 751471200067027317810901352389/18518838280440261437952781427*y^11 + 984935344413027879335918351922/18518838280440261437952781427*y^10 - 2084249887932014936670532178142/18518838280440261437952781427*y^9 - 1351482653127125468270587788534/18518838280440261437952781427*y^8 + 2408068996886443465855667814078/18518838280440261437952781427*y^7 - 1360087907946522975736497439073/18518838280440261437952781427*y^6 - 98963888056973149762938704471/18518838280440261437952781427*y^5 + 438843913691341574412900494407/18518838280440261437952781427*y^4 + 50534215364346122376634355937/18518838280440261437952781427*y^3 - 75444926922039660710438042967/18518838280440261437952781427*y^2 - 13326318399709922815738691778/18518838280440261437952781427*y + 17840539190366510252913206140/18518838280440261437952781427 # A Gluing Matrix {{1,3,-2,4,-2,2,2,0},{2,4,-2,6,-4,4,2,1},{0,0,1,-2,2,-2,0,-1},{0,2,-4,5,-2,2,2,0},{0,-1,2,-2,1,-1,0,0},{0,1,-2,2,-1,2,0,0},{0,1,-2,2,0,0,2,0},{0,1,-2,2,0,0,2,-1}} # B Gluing Matrix {{1,2,0,0,0,0,0,2},{0,4,0,0,0,0,0,1},{0,0,1,0,0,0,0,1},{0,0,0,1,0,0,0,2},{0,0,0,0,1,0,0,0},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,1,2},{0,0,0,0,0,0,0,3}} # nu Gluing Vector {1, 1, 0, -1, 1, 0, 0, -1} # f Combinatorial flattening {-3, 2, 1, -1, 0, 1, 1, 1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant 932595957162429254000826479533/37037676560880522875905562854*y^19 + 1930169705003948827677363700273/37037676560880522875905562854*y^18 - 3953653305208726909329192309859/18518838280440261437952781427*y^17 + 6662324545046672752727306969885/18518838280440261437952781427*y^16 - 83964320847097344815856550630509/18518838280440261437952781427*y^15 + 96911491964087693531745965609716/18518838280440261437952781427*y^14 + 413617027266005482112648069765565/37037676560880522875905562854*y^13 - 106362213908106345576638337829845/18518838280440261437952781427*y^12 - 352068037874973340258614009882105/37037676560880522875905562854*y^11 - 323449689376421856211388299650735/18518838280440261437952781427*y^10 + 147785818390588072214222559087906/18518838280440261437952781427*y^9 + 637926416446576741925945280862373/37037676560880522875905562854*y^8 - 543345240924759575052872533828899/37037676560880522875905562854*y^7 + 155333408141028120196226467424083/18518838280440261437952781427*y^6 + 87155517249740572015255975456296/18518838280440261437952781427*y^5 - 114634614808351599693782177524629/37037676560880522875905562854*y^4 - 4307121480461631865735985347781/37037676560880522875905562854*y^3 - 3182313394777093508717564796605/18518838280440261437952781427*y^2 - 5732996014021943187171831574612/18518838280440261437952781427*y - 2407655825581048325048576564925/37037676560880522875905562854 # 2 Loop Invariant -5243929723375428011711281825752530518224273299637692323494678805547106834468772247775493/81442132314874221771220045817650476224804652570673977475835940631909738608483850092126864*y^19 - 9657299151469638400743404319251018947870484003411801505280071863715835409274509470403665/81442132314874221771220045817650476224804652570673977475835940631909738608483850092126864*y^18 + 24100722860674555946431771336842252004307369250983885584140460423403336876013419050254647/40721066157437110885610022908825238112402326285336988737917970315954869304241925046063432*y^17 - 41071925602187763230230670751914394262225366228137749658002516034843128880977619085805315/40721066157437110885610022908825238112402326285336988737917970315954869304241925046063432*y^16 + 475480934575002824716244870052187728089572352671054901791640379428204397225892063859493997/40721066157437110885610022908825238112402326285336988737917970315954869304241925046063432*y^15 - 645173732772870677854937059409685203447088183024730642364011306982277368854971601141288915/40721066157437110885610022908825238112402326285336988737917970315954869304241925046063432*y^14 - 287253598031556774837158876127287026987446335468456374928860968916420992310050451927637347/10180266539359277721402505727206309528100581571334247184479492578988717326060481261515858*y^13 + 120671618415633358834713264559691431040180719947354386970112903996555567113445031567647339/5090133269679638860701252863603154764050290785667123592239746289494358663030240630757929*y^12 + 148885367532038117613670004340949020767454421328397206792079305908731324809831845789399054/5090133269679638860701252863603154764050290785667123592239746289494358663030240630757929*y^11 + 2977939279081788606223309207984305665708988550067747828765932648701817443657058273788626165/81442132314874221771220045817650476224804652570673977475835940631909738608483850092126864*y^10 - 198579737101636829942846174514218017953983216511132275184245229585114178612835135902894645/5090133269679638860701252863603154764050290785667123592239746289494358663030240630757929*y^9 - 691479873884608938464588683441190003633230262633909742228816457746130645555100226147784209/13573688719145703628536674302941746037467442095112329579305990105318289768080641682021144*y^8 + 4198309473762885142391739099035017754748931593383434406853812482908125266853947326291229763/81442132314874221771220045817650476224804652570673977475835940631909738608483850092126864*y^7 - 157568653931654291519219648696826014594467816139720127690165722887081376792111284482482759/10180266539359277721402505727206309528100581571334247184479492578988717326060481261515858*y^6 - 397678497068521898436133486748781216233291801338373767942804766958497500857993399645426831/27147377438291407257073348605883492074934884190224659158611980210636579536161283364042288*y^5 + 73069288002299333214486920946275246504333027837578091814050853111011529471137946331945683/6786844359572851814268337151470873018733721047556164789652995052659144884040320841010572*y^4 + 42879053942123161452778519113703633092976257690293473848477424727435981244389610062427089/10180266539359277721402505727206309528100581571334247184479492578988717326060481261515858*y^3 - 65879692012844018942655909793673985666790995594934970564973484105997700891727536801456517/40721066157437110885610022908825238112402326285336988737917970315954869304241925046063432*y^2 - 24027259024491523875726021613060579281051536249195606055844775752225069430988906331308383/40721066157437110885610022908825238112402326285336988737917970315954869304241925046063432*y - 24405650020494433366091970477039391356673293091628549498966122399053587449478950663713853/81442132314874221771220045817650476224804652570673977475835940631909738608483850092126864 # 3 Loop Invariant -190255495936301367911951261895133912682469280201142018886223252289357212674635841828766872418916971912480505806534753/32868883499907415592774104554250104749528932749881202677568712091653680673159240181975418933053291529899231129887768256*y^19 - 79545535744934734561512337993881787506347164471548240617307621136831642804355983337490904835618049522951198398079039/8217220874976853898193526138562526187382233187470300669392178022913420168289810045493854733263322882474807782471942064*y^18 + 111066867459101374483393371578434572416128375056215978796562635874014171589491983529462595905140513654260913561406625/2054305218744213474548381534640631546845558296867575167348044505728355042072452511373463683315830720618701945617985516*y^17 - 52078468775005095838158172081980562478300506689710083602677832185344033852275552156473743545422839730012373406260819/513576304686053368637095383660157886711389574216893791837011126432088760518113127843365920828957680154675486404496379*y^16 + 1102674209225829188875838412756397190412903979781853117199129185492050555606682814837413812984490118893028839671373377/1027152609372106737274190767320315773422779148433787583674022252864177521036226255686731841657915360309350972808992758*y^15 - 830613427196721585033875132018378942881415384274426903419458425698652850022488749012874714375961744366905600361964521/513576304686053368637095383660157886711389574216893791837011126432088760518113127843365920828957680154675486404496379*y^14 - 69775945417295326712029067466546381316595072273062488197709952327295682717960497478245660547914753493854324425542078559/32868883499907415592774104554250104749528932749881202677568712091653680673159240181975418933053291529899231129887768256*y^13 + 38199887397878334019708249880194552811727260431671276476095331277032612044173126078705000464433266215975428196511610767/16434441749953707796387052277125052374764466374940601338784356045826840336579620090987709466526645764949615564943884128*y^12 + 62151409277438144561984402787626102965721279946313098109902086290867790284161847729578624213643255418705296955419729459/32868883499907415592774104554250104749528932749881202677568712091653680673159240181975418933053291529899231129887768256*y^11 + 52139623930075792106248167411911710641116910085157928212900887960777387035223769532596824036408274509173231057202248227/16434441749953707796387052277125052374764466374940601338784356045826840336579620090987709466526645764949615564943884128*y^10 - 61546042796910116696779262872172314128129930776130784700056682988534272643507933844462003862084618714334291280679078101/16434441749953707796387052277125052374764466374940601338784356045826840336579620090987709466526645764949615564943884128*y^9 - 224967542765052739281786210075616867431940056981799447837985971432062096851560663018054893097475773900474111765300429/65475863545632301977637658474601802289898272410121917684399824883772272257289323071664181141540421374301257230852128*y^8 + 10082078389589779968411905235993288546425030288472914684318704699129857075281098409961491723354622813845121382215132339/2054305218744213474548381534640631546845558296867575167348044505728355042072452511373463683315830720618701945617985516*y^7 - 45212262962090930484516679073795248773591500441642210315379903325878167276318755213131586459887526116572765404398297905/16434441749953707796387052277125052374764466374940601338784356045826840336579620090987709466526645764949615564943884128*y^6 - 5444092301175754020715064372777689307709162145879421599124771232725149063717383390085865876410484847808956846710481477/16434441749953707796387052277125052374764466374940601338784356045826840336579620090987709466526645764949615564943884128*y^5 + 6459447536879586967714745284576008304381498720618039847803734978484493265231312002489075060563981955962567165102500479/8217220874976853898193526138562526187382233187470300669392178022913420168289810045493854733263322882474807782471942064*y^4 + 2568964701750315137697028324485821112239811722722690295626873897696560705034645890947600927035699237627331349826878347/32868883499907415592774104554250104749528932749881202677568712091653680673159240181975418933053291529899231129887768256*y^3 - 1153906673036921764643719380918633710649166790202217521989974427817061742901952878024372499821053148557802181158296403/16434441749953707796387052277125052374764466374940601338784356045826840336579620090987709466526645764949615564943884128*y^2 - 30256524475140831469096898956737040134890836225329900348625766401810129505496351058787157526755845143541460138166215/16434441749953707796387052277125052374764466374940601338784356045826840336579620090987709466526645764949615564943884128*y + 295401878809035370909726806264527185696223349351617406220080290607041800569307663765770380082035358628182982473776003/16434441749953707796387052277125052374764466374940601338784356045826840336579620090987709466526645764949615564943884128 # 4 Loop Invariant 5758539119822408269111962170933500990388944965711198343068082730026161155672559465337961538840970737650056874911599677827354998627188201424059648530286544413463805851472978430527/433652249429007766037814122392630633689922322539139139819708468962616851225805361777594684458992634036153103097231779314892234721479595179934574875746337020392192825702959542373376*y^19 + 60916907885952733002322932444466486276875011650075844303887522150735644185487642630226633126560076505226827411586155453769008078982827528271034569144641172499499003441392699795999/2168261247145038830189070611963153168449611612695695699098542344813084256129026808887973422294963170180765515486158896574461173607397975899672874378731685101960964128514797711866880*y^18 - 122598116410721708068745875656719051292245007240909315178705539124575915594236607537147058793552038561204686164937673676479710482585522969225014911931573027916700401776453391346329/1084130623572519415094535305981576584224805806347847849549271172406542128064513404443986711147481585090382757743079448287230586803698987949836437189365842550980482064257398855933440*y^17 + 390004746776824658452235342885545084643186720560432802530425928611436572727933939484961540963034102614965793046849184785754342900991295651939145954175151135547617351806429853199921/2168261247145038830189070611963153168449611612695695699098542344813084256129026808887973422294963170180765515486158896574461173607397975899672874378731685101960964128514797711866880*y^16 - 5137128425201927465850556781445442119555204932195708526715602217238364720762035176995589517969991062587636356055090912706110722868935258078894418897324529688922236685631732206864457/2168261247145038830189070611963153168449611612695695699098542344813084256129026808887973422294963170180765515486158896574461173607397975899672874378731685101960964128514797711866880*y^15 + 5712479049898905958139936532632912359036956093260691971577246753438007088740685239893730433663289000885093152848148819094335718095012394299332064053863206905498391197539195248568703/2168261247145038830189070611963153168449611612695695699098542344813084256129026808887973422294963170180765515486158896574461173607397975899672874378731685101960964128514797711866880*y^14 + 13694173042366758206773031841100865563679777263099040417135783811218423937191605325977423242439135566822650634593322516365084403514805325913385087192176176094660416518310487524422657/2168261247145038830189070611963153168449611612695695699098542344813084256129026808887973422294963170180765515486158896574461173607397975899672874378731685101960964128514797711866880*y^13 - 423949067893785718144480771006221945474371703701076790409065498841150252162783375811306457252373771751911263714216984053121498919872761712018312756804459911382519760882779039725271/144550749809669255345938040797543544563307440846379713273236156320872283741935120592531561486330878012051034365743926438297411573826531726644858291915445673464064275234319847457792*y^12 - 13474706525173522163376508742827173719775021911355509290834391480639587633869717504392188230203803478007765748882058956548069727782056386895637277484185380916140635639059825105666751/2168261247145038830189070611963153168449611612695695699098542344813084256129026808887973422294963170180765515486158896574461173607397975899672874378731685101960964128514797711866880*y^11 - 5136999326696166955738778342242209989806437186411369912254850487592228457183060844735547619655775330291763340440285477545238828654331811930287807681912089619586553379167754889688337/542065311786259707547267652990788292112402903173923924774635586203271064032256702221993355573740792545191378871539724143615293401849493974918218594682921275490241032128699427966720*y^10 + 1062226014350132628559856750515024980482349981134407194760513976327447956866878259321693747206593815583539023357576100812592231464120826025550349353512227409097840423276542254338861/216826124714503883018907061196315316844961161269569569909854234481308425612902680888797342229496317018076551548615889657446117360739797589967287437873168510196096412851479771186688*y^9 + 32944597615909669871831996300231330989793364702761758179818630110445371929240864290244305274419904451659577717095696985382781934158597394091075724645528798562998380510375319242079/3011473954368109486373709183282157178402238350966244026525753256684839244623648345677740864298559958584396549286331800797862741121386077638434547748238451530501339067381663488704*y^8 - 1322179529480209213582331662176060689432252944186698467807744743127322831451978461368219618118654069669217738366378872749817919468621086587899749794161638971266237009462350550492439/180688437262086569182422550996929430704134301057974641591545195401090354677418900740664451857913597515063792957179908047871764467283164658306072864894307091830080344042899809322240*y^7 + 260064862289856533261887547451459685809726165413203903022274772972783713703191225658587793738943527477637912727028226327057415585496408004605063518925623412312457761397162917089257/120458958174724379454948367331286287136089534038649761061030130267393569784945933827109634571942398343375861971453272031914509644855443105537381909929538061220053562695266539548160*y^6 + 632232412330392389101953306478064676537687263980848292495872049557062607103629708711190578493607612832882864103227765875324190159211246286595783162301393335522632718404981477844461/216826124714503883018907061196315316844961161269569569909854234481308425612902680888797342229496317018076551548615889657446117360739797589967287437873168510196096412851479771186688*y^5 - 636358409822935284066440307021840589774215388605890927489628082919849848170212021847932099449133338355357648409964504697960095142180618645960658167180815475937035928084330014289911/542065311786259707547267652990788292112402903173923924774635586203271064032256702221993355573740792545191378871539724143615293401849493974918218594682921275490241032128699427966720*y^4 - 1789333677105238377713278695112346022908891947030426603270209761838961436336111351892403018133099726607559706900706181688244246372405303645517827606255512323863496140638915976892073/2168261247145038830189070611963153168449611612695695699098542344813084256129026808887973422294963170180765515486158896574461173607397975899672874378731685101960964128514797711866880*y^3 - 53239691666451585267186359585338774307968152701618787984720257747807105421330796280534490746060019282052799516431564885682723056143743626832724139332235673719277971463998958514107/1084130623572519415094535305981576584224805806347847849549271172406542128064513404443986711147481585090382757743079448287230586803698987949836437189365842550980482064257398855933440*y^2 + 21640933571250105954360056263511743462704688409973696541172944747634502744781096871487370074915507984846963234762307087755854297580170459326343368842927434954031803067941160471043/433652249429007766037814122392630633689922322539139139819708468962616851225805361777594684458992634036153103097231779314892234721479595179934574875746337020392192825702959542373376*y - 2135419355230381829305510894055019401410998147343311021915179832963730340322948397771166738266763282063543015512238485103842598876984891158483884816478468612405751602487867160517/1084130623572519415094535305981576584224805806347847849549271172406542128064513404443986711147481585090382757743079448287230586803698987949836437189365842550980482064257398855933440