# Manifold: Census Knot K8_168

# Number of Tetrahedra: 8

# Number Field
x^25 + 2*x^24 - 2*x^23 + 63*x^22 - 497*x^21 + 145*x^20 + 5494*x^19 - 11503*x^18 - 3156*x^17 + 528*x^16 - 3047*x^15 + 8477*x^14 - 935*x^13 - 937*x^12 + 15742*x^11 + 18061*x^10 + 23488*x^9 + 8663*x^8 - 13498*x^7 - 12226*x^6 - 3290*x^5 - 109*x^4 + 145*x^3 + 41*x^2 - 1 

# Approximate Field Generator
-0.335896359223973 + 0.933925067757072*I

# Shape Parameters
-5859057033456971271691605119529839833454345718713630910405891/18594659599612113518392698410051716318018361107483661810913401*y^24 - 15387621290789134047723338572357398109845389791874342515295118/18594659599612113518392698410051716318018361107483661810913401*y^23 + 6202607865796527020974794890051291865416429601977220391509889/18594659599612113518392698410051716318018361107483661810913401*y^22 - 15629288302120156329130601973904419940805787688666238158298333/808463460852700587756204278697900709479059178586246165691887*y^21 + 2675223506334956320813539033455169386421531558702207195763989279/18594659599612113518392698410051716318018361107483661810913401*y^20 + 1092847679679582830227114305388494840778828485173086725160330029/18594659599612113518392698410051716318018361107483661810913401*y^19 - 4816368850458416268470685977025280897227682937024328457782957943/2656379942801730502627528344293102331145480158211951687273343*y^18 + 48216540372517483192192977889561406841785483827354059912508610649/18594659599612113518392698410051716318018361107483661810913401*y^17 + 70111136945768356563125084113931655841113708277673523543914669772/18594659599612113518392698410051716318018361107483661810913401*y^16 - 19495324906691183091725755709012857393588776612075486143373909148/18594659599612113518392698410051716318018361107483661810913401*y^15 + 29633177910103990836849676997125718325094056927918579942487228753/18594659599612113518392698410051716318018361107483661810913401*y^14 - 44570080890095629904510532182472707595555189267424950677366600181/18594659599612113518392698410051716318018361107483661810913401*y^13 - 27923603115992200338477696787148559739212648525174607516847455314/18594659599612113518392698410051716318018361107483661810913401*y^12 + 26757786247028873975508289526890738302946054335930977512659406544/18594659599612113518392698410051716318018361107483661810913401*y^11 - 103321784093104747443560604727918113742244501855888251724875484428/18594659599612113518392698410051716318018361107483661810913401*y^10 - 156575163397548613380759880234529381497474859859610644918909223543/18594659599612113518392698410051716318018361107483661810913401*y^9 - 25563563790070617601991160728248418361234097175007648249560320658/2656379942801730502627528344293102331145480158211951687273343*y^8 - 123045454883568291391087978982619061772752376158712297349333002080/18594659599612113518392698410051716318018361107483661810913401*y^7 + 77072231793272262905322036203058844383347947361122300649724905981/18594659599612113518392698410051716318018361107483661810913401*y^6 + 113083687129421460506113413614887165772760794317055749999572561194/18594659599612113518392698410051716318018361107483661810913401*y^5 + 41668514899267713329614264719584478751651663190692901129136869525/18594659599612113518392698410051716318018361107483661810913401*y^4 + 147866951639576511329508166172444629775374476134363499395278670/379482848971675786089646906327586047306497165458850241039049*y^3 - 13446492915872290801201252007889803492164710634024604183747487/18594659599612113518392698410051716318018361107483661810913401*y^2 - 300631179381361506565137829244548844194607595213564940355459684/18594659599612113518392698410051716318018361107483661810913401*y - 18776517866913179011760763696308070631385083281284585572749747/18594659599612113518392698410051716318018361107483661810913401

2392096352156591508417408347550918295138315179442430228320025468/353298532392630156849461269790982610042348861042189574407354619*y^24 + 4575568005112219968655795215781118483994601327284725738382890879/353298532392630156849461269790982610042348861042189574407354619*y^23 - 4952779026437986377753879882626503762764185851911450992795898267/353298532392630156849461269790982610042348861042189574407354619*y^22 + 6587948155686715829865146026642360651280447519670408498387003761/15360805756201311167367881295260113480102124393138677148145853*y^21 - 1202650168811374634528711347572853367649624526726534247461147258380/353298532392630156849461269790982610042348861042189574407354619*y^20 + 466469872095377296054023425543574654031629194275686097475413643768/353298532392630156849461269790982610042348861042189574407354619*y^19 + 1854613316434257875766361670757436660752806746422978554285599453462/50471218913232879549923038541568944291764123006027082058193517*y^18 - 28576553193462899139182139960490169291571409683170227661782629831256/353298532392630156849461269790982610042348861042189574407354619*y^17 - 3823543009776399290100108372798528465402823183052746398952911514165/353298532392630156849461269790982610042348861042189574407354619*y^16 - 1434401988796139003180549527224882721558229658799556105258587189782/353298532392630156849461269790982610042348861042189574407354619*y^15 - 6839132200103912237916907178059058175430084897070179669251448391514/353298532392630156849461269790982610042348861042189574407354619*y^14 + 20637160963059377187122904682753695480385285741958735149469862666939/353298532392630156849461269790982610042348861042189574407354619*y^13 - 4627303676100558185028341584918522805365031480617038768640057068955/353298532392630156849461269790982610042348861042189574407354619*y^12 + 275749696828963372372395130819434273464485440374560660832412220648/353298532392630156849461269790982610042348861042189574407354619*y^11 + 36708659574981379553424241506878286194785732992188613462882985797992/353298532392630156849461269790982610042348861042189574407354619*y^10 + 40252857389423094868637759582512006193212812841297012529376940363616/353298532392630156849461269790982610042348861042189574407354619*y^9 + 8020142833600601084816403911414663640023326318032813100847926204525/50471218913232879549923038541568944291764123006027082058193517*y^8 + 18930034963025459888179497607189755694844129735879678909561130882419/353298532392630156849461269790982610042348861042189574407354619*y^7 - 29210459616779013767885001637260126313580497048077224424371973222446/353298532392630156849461269790982610042348861042189574407354619*y^6 - 25930644772039289449944570331479360756666981525576868828204127759718/353298532392630156849461269790982610042348861042189574407354619*y^5 - 8568511625264382838781571829448598665366495592261994821240957589905/353298532392630156849461269790982610042348861042189574407354619*y^4 - 27580537158155878918345210671385983683120137426446744749718094207/7210174130461839935703291220224134898823446143718154579741931*y^3 + 36282477841262334705722463826845231350761157457802857293799932918/353298532392630156849461269790982610042348861042189574407354619*y^2 + 56920813908595554467841326845456450129845394423437253769679850655/353298532392630156849461269790982610042348861042189574407354619*y + 6502369832724007992163003200543259993625526762350305785112786858/353298532392630156849461269790982610042348861042189574407354619

-1166640683515997632335876494724359548045312486245826725776374/2656379942801730502627528344293102331145480158211951687273343*y^24 - 1158628512444235003512047234861121517418516891496535960294689/2656379942801730502627528344293102331145480158211951687273343*y^23 + 3959021328964848742347255100752403914075716749826054693392642/2656379942801730502627528344293102331145480158211951687273343*y^22 - 3341797891354606066805301040663333232721710976857510229937263/115494780121814369679457754099700101354151311226606595098841*y^21 + 655890970589199162831327504167971341203673005037724975021630848/2656379942801730502627528344293102331145480158211951687273343*y^20 - 799771758406402085016272932593150353370723130870363941239590044/2656379942801730502627528344293102331145480158211951687273343*y^19 - 835940961161402541534804360751868647148669691282726534856058259/379482848971675786089646906327586047306497165458850241039049*y^18 + 19537145183560412947274442274175998897412932690875513566523426359/2656379942801730502627528344293102331145480158211951687273343*y^17 - 13611037372435734682448809481500449050855708584298092400973903866/2656379942801730502627528344293102331145480158211951687273343*y^16 + 6271866439628604565589041589635826849997431988638754045723145758/2656379942801730502627528344293102331145480158211951687273343*y^15 + 178727158645959828354828868483617280182492145385105891120052131/2656379942801730502627528344293102331145480158211951687273343*y^14 - 11655629707834470269180723767277969238044530656595918813844781131/2656379942801730502627528344293102331145480158211951687273343*y^13 + 12264801237957963114207616776354006228775675938231719390408682836/2656379942801730502627528344293102331145480158211951687273343*y^12 - 6919045621325648251526790886714064580374426605738674132747775099/2656379942801730502627528344293102331145480158211951687273343*y^11 - 14658679762573402251174353121137448896937273742265884944804101471/2656379942801730502627528344293102331145480158211951687273343*y^10 - 4658786077834429913598434500913939526802032951194221230401979419/2656379942801730502627528344293102331145480158211951687273343*y^9 - 2347487903004079546711313008622971870148944235891393343814318539/379482848971675786089646906327586047306497165458850241039049*y^8 + 10607158096493350053352910711418679238082256988594399556815900677/2656379942801730502627528344293102331145480158211951687273343*y^7 + 13219602179512997478090070650800059021856546069295042339527274568/2656379942801730502627528344293102331145480158211951687273343*y^6 - 143383771258212198470948917318156924377112608966953279875741147/2656379942801730502627528344293102331145480158211951687273343*y^5 - 1405094129701457485943336137216435030061334918515743284383945033/2656379942801730502627528344293102331145480158211951687273343*y^4 - 57427896719496567042729475654766693647407366869139111671863422/379482848971675786089646906327586047306497165458850241039049*y^3 - 68413783581727048212938646345348991940575655117932521868704871/2656379942801730502627528344293102331145480158211951687273343*y^2 + 18833550573254411626522473119058802974857578807238563094211915/2656379942801730502627528344293102331145480158211951687273343*y + 3027834761478752456165866152003769179903302759905899822460338/2656379942801730502627528344293102331145480158211951687273343

-10730194913729044569031083615007778556284645167764313700614192/18594659599612113518392698410051716318018361107483661810913401*y^24 - 10442239433993970047108669883692019700716985445743017740470632/18594659599612113518392698410051716318018361107483661810913401*y^23 + 42751146274150458004203771819601399439149506128691962475016385/18594659599612113518392698410051716318018361107483661810913401*y^22 - 30405730130907550060239492631527357268653814134230836304013046/808463460852700587756204278697900709479059178586246165691887*y^21 + 6029107145461549729011604966553099064813624714499793034028678360/18594659599612113518392698410051716318018361107483661810913401*y^20 - 7079059098384027150709294105357710182726738520509062813167431638/18594659599612113518392698410051716318018361107483661810913401*y^19 - 8138796997645036882710221480009711560296079865444420665714321529/2656379942801730502627528344293102331145480158211951687273343*y^18 + 183767805344969413891828370240585625711165106485180366176076254309/18594659599612113518392698410051716318018361107483661810913401*y^17 - 97037838809866732223290208192906901519059370714302803778628191400/18594659599612113518392698410051716318018361107483661810913401*y^16 - 30678283799013623214533370985346738562796741572684284705002966235/18594659599612113518392698410051716318018361107483661810913401*y^15 + 39456366787992026099803111753243015417746704225145461764007645094/18594659599612113518392698410051716318018361107483661810913401*y^14 - 128207267887559061513059811679884270620434477909829826244183180300/18594659599612113518392698410051716318018361107483661810913401*y^13 + 107288510405818682818417599289380479843291272384937506109838321017/18594659599612113518392698410051716318018361107483661810913401*y^12 - 7933915034301339216396587638423959405580325255051791233641427359/18594659599612113518392698410051716318018361107483661810913401*y^11 - 177009957568366032807630621679342632649983822445797161921757913888/18594659599612113518392698410051716318018361107483661810913401*y^10 - 18170010513881159331716073489160398103998999351925049541462811880/18594659599612113518392698410051716318018361107483661810913401*y^9 - 9489668685257096037106087222343975009348582759808015015311806124/2656379942801730502627528344293102331145480158211951687273343*y^8 + 156311184520215920487979849552627811390385536990160170157798203691/18594659599612113518392698410051716318018361107483661810913401*y^7 + 228585980804744945480817498578881672449541493992153137179588107509/18594659599612113518392698410051716318018361107483661810913401*y^6 - 18180066385622935182493907387089411407416190159208242255339678440/18594659599612113518392698410051716318018361107483661810913401*y^5 - 84798979512676385786385192179480363446579476369957614979678235312/18594659599612113518392698410051716318018361107483661810913401*y^4 - 601597386794674599642354211692135831434662138167740925294842697/379482848971675786089646906327586047306497165458850241039049*y^3 - 4636820270891652897910770068495985086758053658401618471100225770/18594659599612113518392698410051716318018361107483661810913401*y^2 + 195211951886546215371645665793506364714481242451735642261800501/18594659599612113518392698410051716318018361107483661810913401*y + 277530040735856290686133092325936984201197576513052809890143829/18594659599612113518392698410051716318018361107483661810913401

-126444265536258918754974389511880515289848945455035516495720476/353298532392630156849461269790982610042348861042189574407354619*y^24 - 180781442309753645039061704065389976202770999614301222804622592/353298532392630156849461269790982610042348861042189574407354619*y^23 + 389713798116455724123654011081206551024146887567328612610448068/353298532392630156849461269790982610042348861042189574407354619*y^22 - 353156307869333957131525224230391256220998223448351894643331933/15360805756201311167367881295260113480102124393138677148145853*y^21 + 67405355484662676588004642179700887578212743766636474273909942683/353298532392630156849461269790982610042348861042189574407354619*y^20 - 54641804864262544381438755245956722912025002480987828724987676351/353298532392630156849461269790982610042348861042189574407354619*y^19 - 97201095970159505955166480672628902678117071499432541607158798244/50471218913232879549923038541568944291764123006027082058193517*y^18 + 1848405368321912819237343310480712671403654557215981906986117981174/353298532392630156849461269790982610042348861042189574407354619*y^17 - 470794437894819022385860563600206389585731659786073013040007368283/353298532392630156849461269790982610042348861042189574407354619*y^16 - 195966937640538733692340428071484407636189029261273345177640935862/353298532392630156849461269790982610042348861042189574407354619*y^15 + 420406318447155766430604582436053647029796146557934120066874531938/353298532392630156849461269790982610042348861042189574407354619*y^14 - 1308095128591418665214839318355084664515012596887069622296546281335/353298532392630156849461269790982610042348861042189574407354619*y^13 + 758986596296614585588068736963112314138151453870121501351441650258/353298532392630156849461269790982610042348861042189574407354619*y^12 - 22479922281048863052816967819162518200385268576632835364376861397/353298532392630156849461269790982610042348861042189574407354619*y^11 - 2030151639054788286167700929171126131526025282442459931338197885228/353298532392630156849461269790982610042348861042189574407354619*y^10 - 1141337508010974151862586667853023278868411738708769218200176760704/353298532392630156849461269790982610042348861042189574407354619*y^9 - 255796714189153099128526279820869781463924124747929509962924422151/50471218913232879549923038541568944291764123006027082058193517*y^8 + 505958653816120914223693650351672322279247632031405837535564102509/353298532392630156849461269790982610042348861042189574407354619*y^7 + 2203090858753877022872107328556193594382892786871778781456704285493/353298532392630156849461269790982610042348861042189574407354619*y^6 + 563767458935532457654460286849579496544602554422662078376012323928/353298532392630156849461269790982610042348861042189574407354619*y^5 - 341396406371902759603179364131356646872206815350204250692312184902/353298532392630156849461269790982610042348861042189574407354619*y^4 - 3451052191318540604462981624128570549628554333782130591536847639/7210174130461839935703291220224134898823446143718154579741931*y^3 - 31931059563984059386764938303382430054194422733264335296433453509/353298532392630156849461269790982610042348861042189574407354619*y^2 + 240617394693428821805707993546363705601988928144948410212973053/353298532392630156849461269790982610042348861042189574407354619*y + 1663875046133928765320043366285259991810830372917388616712755832/353298532392630156849461269790982610042348861042189574407354619

15272897059715555032503459562409922628644349144446792996278832/427677170791078610923032063431189475314422305472124221651008223*y^24 + 82146164112069183179361993563372803669689737514626260625341494/427677170791078610923032063431189475314422305472124221651008223*y^23 + 47047790277420847892389668932591417931889440891897878454984172/427677170791078610923032063431189475314422305472124221651008223*y^22 + 35864687320667724261303436460538005554592605564332412043504201/18594659599612113518392698410051716318018361107483661810913401*y^21 - 4264151511620912902042286830007989090738283094645443258609222327/427677170791078610923032063431189475314422305472124221651008223*y^20 - 25092253447685932393153736737889285295343731459826766742934738897/427677170791078610923032063431189475314422305472124221651008223*y^19 + 15031955067480477421115513980370255975869611740500062133778933435/61096738684439801560433151918741353616346043638874888807286889*y^18 + 94959590018496447715491408329688028455798268904848226379119782353/427677170791078610923032063431189475314422305472124221651008223*y^17 - 774743338546695180495752401234308188302285172781624692091517431355/427677170791078610923032063431189475314422305472124221651008223*y^16 + 229378308340671590602237358130922532821943149266011597031910537600/427677170791078610923032063431189475314422305472124221651008223*y^15 - 186555905438713423083543140008879703701622030578636849251633730774/427677170791078610923032063431189475314422305472124221651008223*y^14 + 46572126300078071403454821803815458656257853749610602457418003869/427677170791078610923032063431189475314422305472124221651008223*y^13 + 460361940415505399189139844135098462369786732984815122559963283569/427677170791078610923032063431189475314422305472124221651008223*y^12 - 309650994837454204423391559939863493867373937341819683289649315692/427677170791078610923032063431189475314422305472124221651008223*y^11 + 378916221635455263697699429769279977042954230166265939385042372202/427677170791078610923032063431189475314422305472124221651008223*y^10 + 1002453166974955625924760616459448998691646908267683216373016953920/427677170791078610923032063431189475314422305472124221651008223*y^9 + 133441906545383181966610930900203660025938035555911143865242741705/61096738684439801560433151918741353616346043638874888807286889*y^8 + 1125309718196341840337072947217457575512390041753356789133844450567/427677170791078610923032063431189475314422305472124221651008223*y^7 - 191295922469326778621923394245927296990455791695245049181127707665/427677170791078610923032063431189475314422305472124221651008223*y^6 - 799644402013434451351428516694836594715453186314790549455235274973/427677170791078610923032063431189475314422305472124221651008223*y^5 - 360770458009847701666725624896200961157612174498351563733388236677/427677170791078610923032063431189475314422305472124221651008223*y^4 - 10577965677778500725126033786974216807521957269618552338076050302/61096738684439801560433151918741353616346043638874888807286889*y^3 - 3552078675095690715227781956313675465522647587990875783399389873/427677170791078610923032063431189475314422305472124221651008223*y^2 + 2993122100959334197556284397859842724410414101323934791796540845/427677170791078610923032063431189475314422305472124221651008223*y + 865042802697125033498512449302535368539533512132950166627216706/427677170791078610923032063431189475314422305472124221651008223

-132411127744073405018362176399155499383703280252218759351978922/18594659599612113518392698410051716318018361107483661810913401*y^24 - 260160499191867164764513451040918473214079636980933164981002585/18594659599612113518392698410051716318018361107483661810913401*y^23 + 262419831682886793093005212877165544766655885967039736217343584/18594659599612113518392698410051716318018361107483661810913401*y^22 - 363933330026642365419384502538612273420178828812075686451894674/808463460852700587756204278697900709479059178586246165691887*y^21 + 66131247655419274968075958473482748536487593688925256233267501546/18594659599612113518392698410051716318018361107483661810913401*y^20 - 22267532100351518220703390715291341611071437038630546265249552146/18594659599612113518392698410051716318018361107483661810913401*y^19 - 102955776381440755882122635623987179106756231639661712324458255734/2656379942801730502627528344293102331145480158211951687273343*y^18 + 1544773710851914232893408339562194971120150008007616642752481135876/18594659599612113518392698410051716318018361107483661810913401*y^17 + 301859594121583832775413679087597783940303364208155823326219471190/18594659599612113518392698410051716318018361107483661810913401*y^16 + 72247471848121941377780791865167627548801608041543064349402277022/18594659599612113518392698410051716318018361107483661810913401*y^15 + 380593302265815788985424574635152802027263585821273033922542964131/18594659599612113518392698410051716318018361107483661810913401*y^14 - 1118255285647178285136234088238322395181036035984362874912281390456/18594659599612113518392698410051716318018361107483661810913401*y^13 + 189151557766370686452092033168228300630130436854255276409587030066/18594659599612113518392698410051716318018361107483661810913401*y^12 + 12940936720330491361259501962784922548059038608376951387230125402/18594659599612113518392698410051716318018361107483661810913401*y^11 - 2036931575506784631631916897996287053153319071061798971213722884861/18594659599612113518392698410051716318018361107483661810913401*y^10 - 2336275335548754136916995516743473564271837811428158962133300519539/18594659599612113518392698410051716318018361107483661810913401*y^9 - 456901087571924565221567125669051660247259574105562932789474267248/2656379942801730502627528344293102331145480158211951687273343*y^8 - 1189516739433901958399023418361931100882135135448364948990927953324/18594659599612113518392698410051716318018361107483661810913401*y^7 + 1590141066387838915792285795772313922366691690011134073755507273855/18594659599612113518392698410051716318018361107483661810913401*y^6 + 1525929208418268232099145969742617880868979809710172693298519589045/18594659599612113518392698410051716318018361107483661810913401*y^5 + 525419120566527655273385466713960433690578241988688693170796145643/18594659599612113518392698410051716318018361107483661810913401*y^4 + 1794762473932967201741336861880754175787521600053666440743428302/379482848971675786089646906327586047306497165458850241039049*y^3 + 1203161533434628265640612863936982957854890007465080095532242885/18594659599612113518392698410051716318018361107483661810913401*y^2 - 3316371582584733481753443830592015926135497805354765060013673010/18594659599612113518392698410051716318018361107483661810913401*y - 353944261508206692946131874318573651928390716273448477701636815/18594659599612113518392698410051716318018361107483661810913401

-14138463018703136710794977186400397569086106347934249459868351/18594659599612113518392698410051716318018361107483661810913401*y^24 - 21074166571649843457504244933080804937080746364362540372024960/18594659599612113518392698410051716318018361107483661810913401*y^23 + 38559500126086033171314358297279071127000136944736466533648021/18594659599612113518392698410051716318018361107483661810913401*y^22 - 39613560290155260697059679173498890057788724612122337596535987/808463460852700587756204278697900709479059178586246165691887*y^21 + 7492098818192822805467049101690809009863035873162126238911801225/18594659599612113518392698410051716318018361107483661810913401*y^20 - 5895943352515699395434997777826775158382926920475117183989192701/18594659599612113518392698410051716318018361107483661810913401*y^19 - 10633875145422922820461081949391867984792457044042816229018264281/2656379942801730502627528344293102331145480158211951687273343*y^18 + 200402815717789886913470393476584776208529869631507905332874174944/18594659599612113518392698410051716318018361107483661810913401*y^17 - 59883042021909056730360326800042564699250397343976099133145141560/18594659599612113518392698410051716318018361107483661810913401*y^16 + 29103807706055449142854365733458689541758908488185178766243199544/18594659599612113518392698410051716318018361107483661810913401*y^15 + 27241013816863786106334439047033123133725820922733483268780600020/18594659599612113518392698410051716318018361107483661810913401*y^14 - 132914908938603448400026310981329240222046934785552675100970140820/18594659599612113518392698410051716318018361107483661810913401*y^13 + 81904994183046569733955237108781811883450076180082215674789395157/18594659599612113518392698410051716318018361107483661810913401*y^12 - 32588367500513663838968108731668655588474748859553407846786787380/18594659599612113518392698410051716318018361107483661810913401*y^11 - 203933314455758129691023163112917606326510333993570074484538928521/18594659599612113518392698410051716318018361107483661810913401*y^10 - 152242804422550693180967258480820407714570026708958420062031519928/18594659599612113518392698410051716318018361107483661810913401*y^9 - 37305483901967738593233811802063777257157625937524967465599380977/2656379942801730502627528344293102331145480158211951687273343*y^8 + 4635685117291114351305784408762813954173218481107841060453888535/18594659599612113518392698410051716318018361107483661810913401*y^7 + 179178672990979362826346216914864608657101231756714152244116683548/18594659599612113518392698410051716318018361107483661810913401*y^6 + 80307801038629448215236223789009907986645955454504816348764285587/18594659599612113518392698410051716318018361107483661810913401*y^5 + 11105275881158666215203698116433956195638714388116136787479210799/18594659599612113518392698410051716318018361107483661810913401*y^4 - 14497286433243805920460361014045691812243427678597711199174497/379482848971675786089646906327586047306497165458850241039049*y^3 - 827582897720163107457025308733676082224331925753666283977039672/18594659599612113518392698410051716318018361107483661810913401*y^2 - 79121133777805888621742508563488333708151312450212482722650148/18594659599612113518392698410051716318018361107483661810913401*y + 30731828695305344358502187287267316354456310006199045744858114/18594659599612113518392698410051716318018361107483661810913401


# A Gluing Matrix
{{1,-2,-2,-2,0,0,0,0},{-2,2,2,2,0,0,0,0},{-2,2,2,2,1,-1,1,0},{-2,2,2,2,2,-1,1,0},{0,0,1,2,-1,1,-1,0},{0,0,-1,-1,1,0,1,0},{0,0,2,2,-2,2,0,1},{0,0,0,0,0,0,1,0}}

# 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,0,0},{0,0,0,0,1,0,0,0},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,2,1},{0,0,0,0,0,0,0,2}}

# nu Gluing Vector
{-1, 2, 2, 2, 1, 0, 3, 2}

# f Combinatorial flattening
{1, -1, 1, 1, 0, 0, 2, -1}

# f' Combinatorial flattening
{0, 2, 0, 0, 0, 0, 0, 0}

# 1 Loop Invariant
402307459687752573930133083303451304351857801327102119781475672/808463460852700587756204278697900709479059178586246165691887*y^24 + 903441941867926208692610680562401503071523455155098870540747121/808463460852700587756204278697900709479059178586246165691887*y^23 - 621300471148027058507506668727646184915793434999050112262643385/808463460852700587756204278697900709479059178586246165691887*y^22 + 25138247897354418004437692642754325721890884739825251466063124783/808463460852700587756204278697900709479059178586246165691887*y^21 - 193664002638894126429699064258510279682236638790052072474780495786/808463460852700587756204278697900709479059178586246165691887*y^20 + 8261200432471277761708520102692908774379822794739988452322480110/808463460852700587756204278697900709479059178586246165691887*y^19 + 318996290348342339863762418473410286927276367397208034724110516481/115494780121814369679457754099700101354151311226606595098841*y^18 - 4097086960811552776323603752128756772564652210837302368247965546521/808463460852700587756204278697900709479059178586246165691887*y^17 - 2476912936081432094899088185036493798654238188075586061239754795169/808463460852700587756204278697900709479059178586246165691887*y^16 + 166169105864058519033524371919477214268267725146269792070170915223/808463460852700587756204278697900709479059178586246165691887*y^15 - 1403752183983023162654460765962425660054921677425225513980459019663/808463460852700587756204278697900709479059178586246165691887*y^14 + 3193546216510228792968633511378586632681940030695262888809672689945/808463460852700587756204278697900709479059178586246165691887*y^13 + 457907828096674864730674180663737150565250853659527497611959284792/808463460852700587756204278697900709479059178586246165691887*y^12 - 624613011718268777843150253140252367692630303817939642998429378549/808463460852700587756204278697900709479059178586246165691887*y^11 + 6435288669299701942802472872667901316827416857482136698429946566878/808463460852700587756204278697900709479059178586246165691887*y^10 + 8716946026952633480986313338488917956056666558310022204878183501632/808463460852700587756204278697900709479059178586246165691887*y^9 + 1580056506024314627180846965770119537869294745459407938420975392602/115494780121814369679457754099700101354151311226606595098841*y^8 + 5820307336329876910554595983416919534960395056045268629632604382252/808463460852700587756204278697900709479059178586246165691887*y^7 - 4711969168214699773068990532942816596689142671084712269176120816043/808463460852700587756204278697900709479059178586246165691887*y^6 - 6023217970422554193101731275653825483958542379193740947381600420515/808463460852700587756204278697900709479059178586246165691887*y^5 - 2353278643732310319772158736550356238190954103418784484472186397906/808463460852700587756204278697900709479059178586246165691887*y^4 - 8795807739150177213655501489643282969297783857320757068960768053/16499254303116338525636822014242871622021615889515227871263*y^3 - 7655479225177367634793185086941713493530431359482597788788362758/808463460852700587756204278697900709479059178586246165691887*y^2 + 15981975445758536495150049654550846390447101761588773339730425745/808463460852700587756204278697900709479059178586246165691887*y + 2489375872225149698170019593500174822942792400386928879616727581/808463460852700587756204278697900709479059178586246165691887

# 2 Loop Invariant
-261682096752691899720188382504313305181203321049939802218776519316562680769759182146975080472588328537530958977702504537481777256833350725294377/1220199858701627401035564443675663743837662502870425242452268273742478960088359825179674186034657493376969426888391304347035459157210264317988912*y^24 - 27278680797928658335123093729397182003593708121674162722464705140617201708442383542894381737087292309933550708848292879499076408147192059265631/58104755176267971477884021127412559230364881089067868688203251130594236194683801199032104096888452065569972708971014492715974245581441157999472*y^23 + 25851294171581767441892740608830792697876567436280923405637502744742168011960479375421583472967091524545930006247766852275878960089121529744206/76262491168851712564722777729728983989853906429401577653266767108904935005522489073729636627166093336060589180524456521689716197325641519874307*y^22 - 713373335235395719171724680672270735323892664219154394934178423102550931601343480206544915946055618442953735922967936779275537693641320463425051/53052167769635973958068019290246249732072282733496749671837751032281693916885209790420616784115543190303018560364839319436324311183054970347344*y^21 + 31740045104371450236698445312598567051393238779525052148249338956097040431555019629642127020932094218546597032821509144840785116505409027735389205/305049964675406850258891110918915935959415625717606310613067068435619740022089956294918546508664373344242356722097826086758864789302566079497228*y^20 - 286346193009467298584692574050779739873935774894654902158677898265778762611825199442040716996125169187955317698523494261620236501504069992339025/24902037932686273490521723340319668241584949038171943723515679055968958369150200513870901755809336599529988303844720496878274676677760496285488*y^19 - 479814196782502089541181803269657664268888610593708471957022313167142724206486480926767834571044047943691500097706379696519808222971252687541175985/406733286233875800345188147891887914612554167623475080817422757914159653362786608393224728678219164458989808962797101449011819719070088105996304*y^18 + 390873654079998265643133835007979222088013903622069786480980914805226052218174725349428881024249023778931702069602951229596265544170732657424232645/174314265528803914433652063382237677691094643267203606064609753391782708584051403597096312290665356196709918126913043478147922736744323473998416*y^17 + 1336890306759422187706656687542915065462599215677335368659206253411155615632105242196540456527268173972674674813444451251929461411434836964556598615/1220199858701627401035564443675663743837662502870425242452268273742478960088359825179674186034657493376969426888391304347035459157210264317988912*y^16 + 24423506602429771297996339512484246363471116728959732802693609323922333674375082052976028871080229464229192446991939208358836396200673383870720109/203366643116937900172594073945943957306277083811737540408711378957079826681393304196612364339109582229494904481398550724505909859535044052998152*y^15 + 32765462257899943846360245510968043366770169413415811919817937688559941593479396887333386095634919281290450505524564917139510300851468071676947649/50841660779234475043148518486485989326569270952934385102177844739269956670348326049153091084777395557373726120349637681126477464883761013249538*y^14 - 256997246803748675991642803886888428464814070954258183433005957900718655726030517223222868504493441926109897823113547907756038424277836641294454105/152524982337703425129445555459457967979707812858803155306533534217809870011044978147459273254332186672121178361048913043379432394651283039748614*y^13 - 36215657758705756377570758664964180625182138403983017160553004971034329254229463058512685332801008838413860204868009759564706784526206768697292803/305049964675406850258891110918915935959415625717606310613067068435619740022089956294918546508664373344242356722097826086758864789302566079497228*y^12 + 198763148545081523481803570106404187556086215186140359805114534688851692867700286451794588735292755920680016916078300255115466100068811015260534471/1220199858701627401035564443675663743837662502870425242452268273742478960088359825179674186034657493376969426888391304347035459157210264317988912*y^11 - 4051001206056864051407870143452107703395420690933746501443678830884841434805265295861174183064631200436908143822362299403119263059912738310249774423/1220199858701627401035564443675663743837662502870425242452268273742478960088359825179674186034657493376969426888391304347035459157210264317988912*y^10 - 2755189812880858646623650973534774103449660701726194148878425276511516598142577730952440429744871076607949229017855716494602049261972330052291308813/610099929350813700517782221837831871918831251435212621226134136871239480044179912589837093017328746688484713444195652173517729578605132158994456*y^9 - 3601685554916353926150028289144000802212445127315294103723236513224663409209950441958881101659138064409528350138201121649144273012895711081865110211/610099929350813700517782221837831871918831251435212621226134136871239480044179912589837093017328746688484713444195652173517729578605132158994456*y^8 - 601833010384535649142452247702051207561974078831249011955626154027077728306255043947696112888411944788178101596543010844978769741119855471375764207/203366643116937900172594073945943957306277083811737540408711378957079826681393304196612364339109582229494904481398550724505909859535044052998152*y^7 + 59275563612668752480457565139101002838766543505421355150898158087496178251284256315614206628730377197445439746110109878695924155652612076326401413/25420830389617237521574259243242994663284635476467192551088922369634978335174163024576545542388697778686863060174818840563238732441880506624769*y^6 + 1259171983252057352512639100390418465289955426719169028471205761743005832083841610261809314050882739537275516824484656492109841210392677754780404111/406733286233875800345188147891887914612554167623475080817422757914159653362786608393224728678219164458989808962797101449011819719070088105996304*y^5 + 1590477462463770157943383006916861495869258512950511737418633651908138266766191141819143476171602005440608234439359375868229267463482760274327183785/1220199858701627401035564443675663743837662502870425242452268273742478960088359825179674186034657493376969426888391304347035459157210264317988912*y^4 + 307430250168739844275501531599966073120077311806244171246485860305194919622842574385476844415946850328261082434374666381833610978757078149036955735/1220199858701627401035564443675663743837662502870425242452268273742478960088359825179674186034657493376969426888391304347035459157210264317988912*y^3 + 11078592957976092946469706666464649077406372990800599173528824360751447666646327489107580247704187784524669700052350226422022370486909878174229417/1220199858701627401035564443675663743837662502870425242452268273742478960088359825179674186034657493376969426888391304347035459157210264317988912*y^2 - 9405720951548214425810716653011719093235562612845915894799557877269522778278165227510817285546609318695040188248954736504681313764824707774031001/1220199858701627401035564443675663743837662502870425242452268273742478960088359825179674186034657493376969426888391304347035459157210264317988912*y - 453244358127755661247571014005065998827317676239649900823174213461934844632152852760950969254744694178805322163880658379405774030307028379334393/305049964675406850258891110918915935959415625717606310613067068435619740022089956294918546508664373344242356722097826086758864789302566079497228

# 3 Loop Invariant
805276675906775929626314916140079510657832485461171043163646089089397229901132572061445565568550477023017721791668709671189876557693798630594166847378767620253678748675995591530003904399/67794486145102925415149236263148786883116740064707444766351532942498112431404106702964254769062946395244296899865650872958522569089743645732283269667768224305898960305565928079579937719616*y^24 + 77814950335380244695450925022156248745448501049141983778041921307664354429896542407140766379484781505303712242223296380515835165483618583288769926785038737817267363337478414103818078689/2421231648039390193398187009398170960111312145168123027369697605089218301121575239391580527466533799830153460709487531177090091753205130204724402488134579439496391439484497431413569204272*y^23 - 528440663797167727393104728151646516134788451691455404120397517823396926812868329643852006332065831821033378919496344696346130684967804594529969194170371878263680588120132342395296439673/67794486145102925415149236263148786883116740064707444766351532942498112431404106702964254769062946395244296899865650872958522569089743645732283269667768224305898960305565928079579937719616*y^22 + 1076907537010948299795015821077630107752077812855167548226179217141413577220917185031388575971548963985630747253795409712462283826800887270011548482356230582258462534006006831164375685305/1473793177067454900329331223111930149632972610102335755790250716141263313726176232673135973240498834679223845649253279846924403675863992298527897166690613571867368702294911479990868211296*y^21 - 91057298351493079624302147629408669047776819771081447985207660507189637357103651185054640514294896974968828562243581315908718822986189855007011954960239777798185170636988407003562543390075/16948621536275731353787309065787196720779185016176861191587883235624528107851026675741063692265736598811074224966412718239630642272435911433070817416942056076474740076391482019894984429904*y^20 - 6043516063837231989841841287921866659531824986251530629209124483223826616920204730942581421272899925888148602303451461750246029329702855325154217275733617804182976600752189672213536436643/2421231648039390193398187009398170960111312145168123027369697605089218301121575239391580527466533799830153460709487531177090091753205130204724402488134579439496391439484497431413569204272*y^19 + 4536876439231299759807562139430943083979366811549739244705196203535178079452596045530533191781450281143978464443983155009137988426422161600544025318664395850636202981488422645302782760177563/67794486145102925415149236263148786883116740064707444766351532942498112431404106702964254769062946395244296899865650872958522569089743645732283269667768224305898960305565928079579937719616*y^18 - 126025744148324738705183871685578633708859350147236298493207700006264588727192474927887950587657832706612335389497377059928336943944887357460699759179818611800604064111509344354117491942619/1383560941736794396227535433941811977206464082953213158496970060050981886355185851080903158552305028474373406119707160672622909573260074402699658564648331108283652251133998532236325259584*y^17 - 9360497743229934683068748174900940029597708038592781287628866063489201824398360315086555056806048831916182367703616378094420563706817203275937188832178123538865608841674887155303845086402297/67794486145102925415149236263148786883116740064707444766351532942498112431404106702964254769062946395244296899865650872958522569089743645732283269667768224305898960305565928079579937719616*y^16 - 235604916151361763054257557767991613541801204530609459976836280948603582715038982850361155038025602422962985899885152799464818980873324770627973856408930505406769878280136878739360325946847/33897243072551462707574618131574393441558370032353722383175766471249056215702053351482127384531473197622148449932825436479261284544871822866141634833884112152949480152782964039789968859808*y^15 - 24841408441401586022045746743665160080980596829124836142508247213203392904142586318482422593223720992670387962970070748238955556507764120195266823631913655048914150058229996035888824420383/633593328458905845001394731431297073673988224903807895012631148995309461975739314980974343636102302759292494391267765167836659524203211642357787566988488077625223928089401197005419978688*y^14 + 5157249079990043885534259558976155354541822345064357678347893082159314007074633095619583444457215290357333793458375442788048095965199064314223210302964385824024292248461846473325890434349921/67794486145102925415149236263148786883116740064707444766351532942498112431404106702964254769062946395244296899865650872958522569089743645732283269667768224305898960305565928079579937719616*y^13 + 2092314510482503865964979241056103192429678710564593944001327930857908881038877996736556919510971313933816384728038062161422379014550626491693653380635424586218416228088979608894052149302759/33897243072551462707574618131574393441558370032353722383175766471249056215702053351482127384531473197622148449932825436479261284544871822866141634833884112152949480152782964039789968859808*y^12 - 1881590057810562552710329772673282556566652206334059186179182133952982045436333188466563998408847858245022253682142008123400513323523565070606990513604020859312167595946265564308657100934237/67794486145102925415149236263148786883116740064707444766351532942498112431404106702964254769062946395244296899865650872958522569089743645732283269667768224305898960305565928079579937719616*y^11 + 12671893967755748333748538566361243366293328332074811780720984807358458778730617139766704185913319447533176002228506366084475160364953959928491365063239182400565772272303179364027610403075911/67794486145102925415149236263148786883116740064707444766351532942498112431404106702964254769062946395244296899865650872958522569089743645732283269667768224305898960305565928079579937719616*y^10 + 23318225696025288658155237331872598939299713051234366440965622227380200548701608809381246289875441647965380919225878841868205296847804528335684595715037838564065890717787827786158717029173571/67794486145102925415149236263148786883116740064707444766351532942498112431404106702964254769062946395244296899865650872958522569089743645732283269667768224305898960305565928079579937719616*y^9 + 28378003148595135271691526050664740445892163127348287969506741946754555539883933932669641789173518548791705603948422969961533844108135974143606174963508762327730567506304713245895898521358339/67794486145102925415149236263148786883116740064707444766351532942498112431404106702964254769062946395244296899865650872958522569089743645732283269667768224305898960305565928079579937719616*y^8 + 5026568608101396891745523645416733410305893965246291671326578091217768300949820022857632961375923750501700023137734778970994084758024807117478574875525020718890861229587932093572253734296391/16948621536275731353787309065787196720779185016176861191587883235624528107851026675741063692265736598811074224966412718239630642272435911433070817416942056076474740076391482019894984429904*y^7 - 3286458108027018672368275629466012948997963271192105546963226200228034098868284004121087968720102916187196279924198953531109622962193915130361095464883785726871218494049278386458672790308581/33897243072551462707574618131574393441558370032353722383175766471249056215702053351482127384531473197622148449932825436479261284544871822866141634833884112152949480152782964039789968859808*y^6 - 8486789008333711486444722125011284948763162477674996611699287475634758727846373466282994507592463085108089280054830208737005598341430066269004438544129597491048312158205816468729585466797795/33897243072551462707574618131574393441558370032353722383175766471249056215702053351482127384531473197622148449932825436479261284544871822866141634833884112152949480152782964039789968859808*y^5 - 8740551941141405091360193956489028644214151581951981488878816902787197737849102519057027489700484922526513429028807999480332755131554845966860586852196762098610621064725902593189317843429819/67794486145102925415149236263148786883116740064707444766351532942498112431404106702964254769062946395244296899865650872958522569089743645732283269667768224305898960305565928079579937719616*y^4 - 489899949873803013762618534387384176700543850032173844198704594713026319793211653710845458050708343207560125748261759887603112707463959840784367401404649190777220727426120307950272604971473/16948621536275731353787309065787196720779185016176861191587883235624528107851026675741063692265736598811074224966412718239630642272435911433070817416942056076474740076391482019894984429904*y^3 - 145549079528164232525912903616920325626947879150606042445555744615336079322206038324954726625510499180006251198052024795910148964260911678384932419342330273890074792586833476472796930511383/67794486145102925415149236263148786883116740064707444766351532942498112431404106702964254769062946395244296899865650872958522569089743645732283269667768224305898960305565928079579937719616*y^2 + 49027031059661194684564195417476396201819356135042913769697354156175051282872100303871371648923035027402620053356187865623889613207042001347153012554052643496373960801643377997051707190477/67794486145102925415149236263148786883116740064707444766351532942498112431404106702964254769062946395244296899865650872958522569089743645732283269667768224305898960305565928079579937719616*y + 14755405539322870079497864258224264186704901320203303378995707489550778040746873516993238743988269902564581870468306994476325266516797946405819808766966198435025664107751954259233404339749/67794486145102925415149236263148786883116740064707444766351532942498112431404106702964254769062946395244296899865650872958522569089743645732283269667768224305898960305565928079579937719616

# 4 Loop Invariant
105084858645736601210475213144853872404610316496857422260224742430842717847451283806295747486183090712554869862756446582794797277301365866236707717366494944548004478053363494710568432323526576851938221914623733747483408617880139028654250788649582070428142016790212487251187/3269824550931616942751762975702754799067172680404981881513177970452099456107038376703151752577917803628814424726958992388437429803306214058354655117956878852795691798021186769298142882363776908686404915461524607156874553364546741928843362195285320579344322012727667505669120*y^24 + 1983160954272857552968569256947547116485969486883846990999820723512018018495441189934385171135674153562270500606316822443685811030495794849383700635999145739100021842022926276697064997921944896404453686997078591224461696528709508789545122521035221190916139474216651978313/29194862061889436988855026568774596420242613217901623942081946164750888000955699791992426362302837532400128792204991003468191337529519768378166563553186418328532962482332024725876275735390865256128615316620755421043522797897738767221815733886476076601288589399354174157760*y^23 - 638359165285452302164835577271703747085444831901669338488851074866476348420609267646668138389361061274113266513046786059814206693354308307814369737080061424542106903844653035260560746297060855855238447343812148834879895898238602922951685776019499257689174488895849071669/11353557468512558828999176998967898607872127362517298199698534619625345333704994363552610252006659040377827863635274279126518853483702132147064774715128051572207263187573565171174107230429780932938905956463627108183592199182453965030706118733629585344945562544193289950240*y^22 + 143527808700880400549706842402503727689018531691227738281909647425862635585423679495996281833502627879882292928977221590206711328123144088639119508369992042709935807493834628238774052619171844862097385806765867211799642234014891592032220674636634243693333627174339578510761/71083142411556890059820934254407713023199406095760475685069086314176075132761703841372864186476473991930748363629543312792118039202309001268579459086019105495558517348286668897785714833995150188834889466554882764279881594881450911496594830332289577811833087233210163166720*y^21 - 51477989237193809760803539656977014217435856665156065407549600095949751173792825340804103695172795825651047086584119056744470635611873147702679251784104610083787218062090950838461090073409089666387778362956494237355800185174978193069834841707990625281744161789297216740109641/3269824550931616942751762975702754799067172680404981881513177970452099456107038376703151752577917803628814424726958992388437429803306214058354655117956878852795691798021186769298142882363776908686404915461524607156874553364546741928843362195285320579344322012727667505669120*y^20 + 11252354772877168409998105628300684728290306138380654424329753271787656436307342653703719654854543221192705597008500124191420867452018946341358143217155731778333975015347202770806730958839806065396573094688256820523196526041908909629344066462946209800044203425869942206875/3892648274918591598514003542503279522699015095720216525610926155300118400127426638932323514973711670986683838960665467129092178337269302450422208473758189110471061664310936630116836764718782034150482042216100722805803039719698502296242097851530143546838478586580556554368*y^19 + 577919847093385370232565310624670056711797834245255310270808806838010483354749970774280777014082670158035507611797623028007951909333555696317782941011441678604015493118840207002836259465835393740515761418987296210342816662356462470500719140909388531945026034283339414745223123/3269824550931616942751762975702754799067172680404981881513177970452099456107038376703151752577917803628814424726958992388437429803306214058354655117956878852795691798021186769298142882363776908686404915461524607156874553364546741928843362195285320579344322012727667505669120*y^18 - 370363847594910839727728353539953323128552535039232761890341848867393266301002085945006830709022298126610867380175719867468885470654511162846219415534346866137556149186958037691583498253437314342166943907219802269857866497380491604468530811195106428693572133401934011037227/1059224020386011319323538378912457012979323835570126945744469702122481197313585479981584629924819502309301724887255909422882225397896408830046859448641684111692805895050595001392336534617355655551151576113224686477769534617605034638433223905178270352881218663015117429760*y^17 - 50593738841071153128254381419371810263127031144519306226340052088289763924028232632965354642648308420181652832019896750548060459690826372919903369006300526118074593120635331345372181739524462245282172560242927754655362569944383157743630844333174445885125866453520493985235153/363313838992401882527973663966972755451908075600553542390353107828011050678559819633683528064213089292090491636328776932048603311478468228706072790884097650310632422002354085477571431373752989854044990606836067461874950373838526880982595799476146731038258001414185278407680*y^16 - 5160477786309907551106209548312876680431393141711948234214446932066803924935545738903552995818240575792034648835119655343071979163840143485661874905557954522739390245679485090950671324818085987709618999813810569491576693970146328455636448645451293551970047585089406795710199/3269824550931616942751762975702754799067172680404981881513177970452099456107038376703151752577917803628814424726958992388437429803306214058354655117956878852795691798021186769298142882363776908686404915461524607156874553364546741928843362195285320579344322012727667505669120*y^15 - 167168943851607201901218903832127536755536672127483670172173003045857092593771465635239072922039085048309607283012989749729433679913657619471486446515533933856656229735067306997669096748298195148669476148398958734792796166898202959135573836425832552901920140484780745792312433/1634912275465808471375881487851377399533586340202490940756588985226049728053519188351575876288958901814407212363479496194218714901653107029177327558978439426397845899010593384649071441181888454343202457730762303578437276682273370964421681097642660289672161006363833752834560*y^14 + 95348960810359747269073803637977296621209955256044958374683581445899912871120582247859151691295234577856184912474518941692354188228590387718388840248575869087850052929198240357311783707964789552160545309624442650313834219243838245841762783311632859958852367748898021369412207/363313838992401882527973663966972755451908075600553542390353107828011050678559819633683528064213089292090491636328776932048603311478468228706072790884097650310632422002354085477571431373752989854044990606836067461874950373838526880982595799476146731038258001414185278407680*y^13 - 6752941697689264327901568550802100816485377402625374277794734278446429906028486734353749404076173185906319211305489270834512176132850312391999852754555115272930073401723124519495013540419736287083011130294643498741661965917756531378819278432605670892704615021926102995822833/3269824550931616942751762975702754799067172680404981881513177970452099456107038376703151752577917803628814424726958992388437429803306214058354655117956878852795691798021186769298142882363776908686404915461524607156874553364546741928843362195285320579344322012727667505669120*y^12 - 90871884109086151157127071236358227318112518496734185446468801998281741244316625814653355519121004915625263973761693717945594469829216081009304884968095261356271926163831921495397868473063812786736406301369523795776797498196624793245467393632462128651064794108077803649902097/3269824550931616942751762975702754799067172680404981881513177970452099456107038376703151752577917803628814424726958992388437429803306214058354655117956878852795691798021186769298142882363776908686404915461524607156874553364546741928843362195285320579344322012727667505669120*y^11 + 412267723133171807420269152305819129344956310818157911794934494488543947318401035300072013564390753925590261281351876967569628744019148100604394424444804081709986497846178747062504895159960443165463125995098162636486609069310899199018775336349995309223227635861117569444932091/817456137732904235687940743925688699766793170101245470378294492613024864026759594175787938144479450907203606181739748097109357450826553514588663779489219713198922949505296692324535720590944227171601228865381151789218638341136685482210840548821330144836080503181916876417280*y^10 + 138654672828518219560327121685737112308865006835339422704736250015401397063647775001624256037612685738726163214748836890099038030753863440997647731154428213417278110819764801877994237496359889461358149393684035028545074853208170874704862563359864307817953413796926893264623523/217988303395441129516784198380183653271144845360332125434211864696806630407135891780210116838527853575254294981797266159229161986887080937223643674530458590186379453201412451286542858824251793912426994364101640477124970224303116128589557479685688038622954800848511167044608*y^9 + 34052101590425654016270932380431331706147883672078820588016406978350518983899441627307102178612799417331456977013994453179466181539871555676229599054811481071524160314102509388444771791516960868973024252417979251691796415550518370928905285997693612611134129832936578289731429/40872806886645211784397037196284434988339658505062273518914724630651243201337979708789396907223972545360180309086987404855467872541327675729433188974460985659946147475264834616226786029547211358580061443269057589460931917056834274110542027441066507241804025159095843820864*y^8 + 249672063494296043260627849291394400127369028467911078849584049559163245043698469557103492688809793204004373023696194318987216537953025838024759057962292010377060178534027154477621918724693426305459490692158166702611289679200374888252668298448042774484946451742777339706855953/653964910186323388550352595140550959813434536080996376302635594090419891221407675340630350515583560725762884945391798477687485960661242811670931023591375770559138359604237353859628576472755381737280983092304921431374910672909348385768672439057064115868864402545533501133824*y^7 - 415105508894424221253064080601476918357481240958288778908109762897088145277354993162022721718811318869913722295741448281840130229552966612124701157585895478185399415611158020743739911509616745315442889497637808990843997451933652984505206067181240025870070726754731160190880667/1089941516977205647583920991900918266355724226801660627171059323484033152035679458901050584192639267876271474908986330796145809934435404686118218372652292950931897266007062256432714294121258969562134971820508202385624851121515580642947787398428440193114774004242555835223040*y^6 - 4389965133997170783389817067861389186941932059095096709788423918569860603152944069305336670659752595225574485407821934024563907433827651743720277411424554963383396825364294128843454833502178807068822882064052338950551302427444912200482757584943644596194093467732294184170509/10218201721661302946099259299071108747084914626265568379728681157662810800334494927197349226805993136340045077271746851213866968135331918932358297243615246414986536868816208654056696507386802839645015360817264397365232979264208568527635506860266626810451006289773960955216*y^5 - 52113167402901810311122193998250977919207897402896273328345142778275588090204021964523965587533864881037947956424981448032978740761285742005200544980234982805709053171503127310164717644608183084811926076438297223999710809985607863085746784859780676870014566812894998169983465/326982455093161694275176297570275479906717268040498188151317797045209945610703837670315175257791780362881442472695899238843742980330621405835465511795687885279569179802118676929814288236377690868640491546152460715687455336454674192884336219528532057934432201272766750566912*y^4 - 91562611011736545858031281596349198161848871552137540916944010796148498141220183714192149676841844390765322233569921570517284202379569213701827331575977159509166008800245336260274190444866177087889539972497063158000054403803469233827282651143130689379452341771723685806868239/3269824550931616942751762975702754799067172680404981881513177970452099456107038376703151752577917803628814424726958992388437429803306214058354655117956878852795691798021186769298142882363776908686404915461524607156874553364546741928843362195285320579344322012727667505669120*y^3 - 518961794718675200253439340047327598780613901325913229202804195972963589034419967804791772836416284300340470478561056701159454968430922009685951618227009810712068464547666095347456496860798697594942304085637511455196814881660439936236050199099194605737241274335089126952317/1089941516977205647583920991900918266355724226801660627171059323484033152035679458901050584192639267876271474908986330796145809934435404686118218372652292950931897266007062256432714294121258969562134971820508202385624851121515580642947787398428440193114774004242555835223040*y^2 + 3432397730570760022640558916846974020901457286203782093266743870667482018991272923107851269252721866533344403085590988376225903524706019269188527112034842993091884951230083350668524846897077941188363669788500573158941287460345164060145365754320962290698976836680049015869761/3269824550931616942751762975702754799067172680404981881513177970452099456107038376703151752577917803628814424726958992388437429803306214058354655117956878852795691798021186769298142882363776908686404915461524607156874553364546741928843362195285320579344322012727667505669120*y + 154868711014073136467742651205550971784041217670013191251734303191367126991489664588879448229444356510162176060360260642351156004115921648340679396725115678079891175638843466606149280645377659880374745635747426177735636890699036806100006160995317011592848969236936807153573/1089941516977205647583920991900918266355724226801660627171059323484033152035679458901050584192639267876271474908986330796145809934435404686118218372652292950931897266007062256432714294121258969562134971820508202385624851121515580642947787398428440193114774004242555835223040