# Manifold: Census Knot K7_15

# Number of Tetrahedra: 7

# Number Field
x^23 - 18*x^21 + 31*x^20 - 209*x^19 + 687*x^18 - 1302*x^17 - 738*x^16 + 942*x^15 + 6552*x^14 - 1906*x^13 - 7646*x^12 - 7650*x^11 + 20750*x^10 - 4684*x^9 - 12287*x^8 + 8345*x^7 + 1154*x^6 - 2552*x^5 + 441*x^4 + 245*x^3 - 83*x^2 - 6*x + 4 

# Approximate Field Generator
0.297232249032475 + 0.241538643136913*I

# Shape Parameters
-4033422684784888821281205412764991641656902583/18239221364748064739377311052943393256528818482*y^22 - 933204889777377510438673057913905081878189392/9119610682374032369688655526471696628264409241*y^21 + 35377844388917219562439438727082756668032699819/9119610682374032369688655526471696628264409241*y^20 - 92575681211031365768987731761128913063033737327/18239221364748064739377311052943393256528818482*y^19 + 817516876151849679679094336381961720510661334235/18239221364748064739377311052943393256528818482*y^18 - 2418225631870333310303652838258570633033259334885/18239221364748064739377311052943393256528818482*y^17 + 2167292048532642253840473837827717995970748859709/9119610682374032369688655526471696628264409241*y^16 + 2179757564024036607731967262869053260609699134433/9119610682374032369688655526471696628264409241*y^15 - 317011863069295516125012505417093354929251804755/9119610682374032369688655526471696628264409241*y^14 - 12906110251537307455575784216518295172550565446369/9119610682374032369688655526471696628264409241*y^13 - 2328627480033611008668617705712182358121512295764/9119610682374032369688655526471696628264409241*y^12 + 11177534569155383849737183263390143019931560034862/9119610682374032369688655526471696628264409241*y^11 + 20589087056381639192231301613620617259378461485502/9119610682374032369688655526471696628264409241*y^10 - 29314303523505582918927582311957237242753278054478/9119610682374032369688655526471696628264409241*y^9 + 460938983707566032385590711832542284768668288582/9119610682374032369688655526471696628264409241*y^8 + 33619160818866407033755894811665717879215574367589/18239221364748064739377311052943393256528818482*y^7 - 15949724754820480084885679339158826326904783525821/18239221364748064739377311052943393256528818482*y^6 - 1527064054054889251769139867861473209229085460688/9119610682374032369688655526471696628264409241*y^5 + 1818280182153614551625675292114663729426256757445/9119610682374032369688655526471696628264409241*y^4 - 655088778334378968440073958326158831088752755585/18239221364748064739377311052943393256528818482*y^3 - 116317686651527120597391252675693368699520305627/18239221364748064739377311052943393256528818482*y^2 + 51427034951645213169245168975593101367293694737/18239221364748064739377311052943393256528818482*y + 12181222921410661943832755646252043415660048751/9119610682374032369688655526471696628264409241

-8816452695106716924926009659771766338449802947/145913770917984517915018488423547146052230547856*y^22 + 2491634889279024916466709036300425410646348601/36478442729496129478754622105886786513057636964*y^21 + 80118935112870659948330695309991983275690667993/72956885458992258957509244211773573026115273928*y^20 - 449646988179418369461194975670300458465652098109/145913770917984517915018488423547146052230547856*y^19 + 2125549773683432038977742379923858312107892312679/145913770917984517915018488423547146052230547856*y^18 - 8145694557347288282060974386901427297808206811325/145913770917984517915018488423547146052230547856*y^17 + 9034572241691326977483947909046214547006172445765/72956885458992258957509244211773573026115273928*y^16 - 3012115335089017074182215943805826714377470004907/72956885458992258957509244211773573026115273928*y^15 - 7945657590892533451296395525882456444028011478985/72956885458992258957509244211773573026115273928*y^14 - 6578854431232014197672406919946703078518838160483/18239221364748064739377311052943393256528818482*y^13 + 39962793304986023628053001621446087389696791721415/72956885458992258957509244211773573026115273928*y^12 + 29363854265195956270946971952134954465814441973369/72956885458992258957509244211773573026115273928*y^11 + 3966540265713951528049336744585736804578578532027/72956885458992258957509244211773573026115273928*y^10 - 132876531182349911625831554331775075482321033407781/72956885458992258957509244211773573026115273928*y^9 + 54877624160777846968782230101505733458218831271389/36478442729496129478754622105886786513057636964*y^8 + 61132647133928254755055481734324772880084056416549/145913770917984517915018488423547146052230547856*y^7 - 161072342540193537655748095825887022683196528509447/145913770917984517915018488423547146052230547856*y^6 + 28734376018560768902839037990252984867091905293485/72956885458992258957509244211773573026115273928*y^5 + 5048016222128860213006423733553921291251304056645/36478442729496129478754622105886786513057636964*y^4 - 17848396242323672382920432472444551200257356324731/145913770917984517915018488423547146052230547856*y^3 + 2640500827728986768201198994021375126584289607941/145913770917984517915018488423547146052230547856*y^2 + 897972412093898064120121171652096259641650467961/145913770917984517915018488423547146052230547856*y - 52211719624664297423443080829771459164972985163/72956885458992258957509244211773573026115273928

-67006303423229221917850371439268884387020200935/18239221364748064739377311052943393256528818482*y^22 - 19753686016665396203966718938192328216339139343/9119610682374032369688655526471696628264409241*y^21 + 589918186126422954341401597079884311374926179569/9119610682374032369688655526471696628264409241*y^20 - 1381849392751314650921902406312037013018798066055/18239221364748064739377311052943393256528818482*y^19 + 13242489386887052921444430170773892862391638596141/18239221364748064739377311052943393256528818482*y^18 - 38312782350792358801101953000559249506781890418273/18239221364748064739377311052943393256528818482*y^17 + 32640461522438954673364032368707544079201053700996/9119610682374032369688655526471696628264409241*y^16 + 42965195414666497687030701963267991549662236291585/9119610682374032369688655526471696628264409241*y^15 - 4304412958022681145481333223048717885309153589279/9119610682374032369688655526471696628264409241*y^14 - 221016948115336715089102895428749293080887246450777/9119610682374032369688655526471696628264409241*y^13 - 67261251595025617325874689172795633437347186530206/9119610682374032369688655526471696628264409241*y^12 + 206887231530312724514976860806931419239028676835586/9119610682374032369688655526471696628264409241*y^11 + 379968131404983688771875844689601944238314785058827/9119610682374032369688655526471696628264409241*y^10 - 461958923281795212770964255120830439243033686713250/9119610682374032369688655526471696628264409241*y^9 - 102563499950766464105423412793440471766752198391576/9119610682374032369688655526471696628264409241*y^8 + 647382535601086680398894815261579925377587592830443/18239221364748064739377311052943393256528818482*y^7 - 162993591812730325347683402578794350501069765329575/18239221364748064739377311052943393256528818482*y^6 - 74728318397881104594023182879055701869320687197217/9119610682374032369688655526471696628264409241*y^5 + 32605835229025178408811309274169147998719044622962/9119610682374032369688655526471696628264409241*y^4 + 9757588720146019622467767704564885045750077548287/18239221364748064739377311052943393256528818482*y^3 - 8157941920358221662715915149827528612226087936569/18239221364748064739377311052943393256528818482*y^2 + 116013452197264819030136958623829821655299349485/18239221364748064739377311052943393256528818482*y + 199643490999757609377573085047471532354467287425/9119610682374032369688655526471696628264409241

-7144903922725943623179767607682683585968909319/11012360069281850408680640635739407249224947008*y^22 + 1819977828770084687937684555026505958471886461/11012360069281850408680640635739407249224947008*y^21 + 15950391180097092291119848354304982666153603591/1376545008660231301085080079467425906153118376*y^20 - 254227545718262345101566485373241242632026621299/11012360069281850408680640635739407249224947008*y^19 + 783787613982660017500548708415403176763702827287/5506180034640925204340320317869703624612473504*y^18 - 83134286634442840795215637716340028918933993712/172068126082528912635635009933428238269139797*y^17 + 10767712537886605723454648553260163029479759297203/11012360069281850408680640635739407249224947008*y^16 + 1101117345764824722747371003406062511632588412623/5506180034640925204340320317869703624612473504*y^15 - 209468676157236508310633103277950499850423379325/344136252165057825271270019866856476538279594*y^14 - 22263186396286900781935087769903841115737454043631/5506180034640925204340320317869703624612473504*y^13 + 12415287632145978054526247500918356589405642014561/5506180034640925204340320317869703624612473504*y^12 + 5601628699758730813422578765000509646808787523393/1376545008660231301085080079467425906153118376*y^11 + 10687457914152227361391176745080943070007411998945/2753090017320462602170160158934851812306236752*y^10 - 19494792443089175117390925646471489147892876946209/1376545008660231301085080079467425906153118376*y^9 + 39325294171930811530439689059704882589716541635715/5506180034640925204340320317869703624612473504*y^8 + 59511538649302676221947378715435800689528797718425/11012360069281850408680640635739407249224947008*y^7 - 37332240307198456427138056010954978358390595829181/5506180034640925204340320317869703624612473504*y^6 + 15646168210877777828811030555023148074526855020145/11012360069281850408680640635739407249224947008*y^5 + 3006588448441659153804552064799334152936305272855/2753090017320462602170160158934851812306236752*y^4 - 6820367505379700232303174534521357752302015869531/11012360069281850408680640635739407249224947008*y^3 + 289918544009483245808699042273418061835007176917/5506180034640925204340320317869703624612473504*y^2 + 24020110929685252377959290959869083807621453413/688272504330115650542540039733712953076559188*y - 85361763020617490584613882473703950957946852939/11012360069281850408680640635739407249224947008

-755028295974629806224403091378803318401357603/9119610682374032369688655526471696628264409241*y^22 - 136263678921338230235129495058369006289728371/9119610682374032369688655526471696628264409241*y^21 + 13888658337787505589508216811393631540065264799/9119610682374032369688655526471696628264409241*y^20 - 20643301527518829832328956198912145943324248601/9119610682374032369688655526471696628264409241*y^19 + 148481747542533893302790697660901335960716841922/9119610682374032369688655526471696628264409241*y^18 - 486362016272165091995078029567407901115440320551/9119610682374032369688655526471696628264409241*y^17 + 831972726708849691248872454512900799659921060385/9119610682374032369688655526471696628264409241*y^16 + 879655811750446713050349752004394385076276156220/9119610682374032369688655526471696628264409241*y^15 - 839092248749575063350063790101906783362001120589/9119610682374032369688655526471696628264409241*y^14 - 5550709452152576484492474589949625682965473686644/9119610682374032369688655526471696628264409241*y^13 + 353481354876655623950805865029905864415213818392/9119610682374032369688655526471696628264409241*y^12 + 7897178145660309236991148236489379916165007864633/9119610682374032369688655526471696628264409241*y^11 + 8260939473390647428108802138955932530489709966233/9119610682374032369688655526471696628264409241*y^10 - 15715010928622047717199875159550165981756223796836/9119610682374032369688655526471696628264409241*y^9 - 3155739283139262945776025990594572188420677952985/9119610682374032369688655526471696628264409241*y^8 + 12190024738690606708228444552233132583117865699580/9119610682374032369688655526471696628264409241*y^7 - 2843776560026089897847889887785908503481238202150/9119610682374032369688655526471696628264409241*y^6 - 3837180317964522868745188567818500866575363894027/9119610682374032369688655526471696628264409241*y^5 + 1657454923352469389658921270218601960383231469416/9119610682374032369688655526471696628264409241*y^4 + 477049259858083666120812004557320971495195461558/9119610682374032369688655526471696628264409241*y^3 - 246063662395128371736636589813657234978833280213/9119610682374032369688655526471696628264409241*y^2 + 8064288843249812340756288665591464413981865024/9119610682374032369688655526471696628264409241*y + 23730383785671121138955819375952984878406702956/9119610682374032369688655526471696628264409241

1817591800273376675452758746872234251437846737/9119610682374032369688655526471696628264409241*y^22 - 907176221901832836285629447501582873896999434/9119610682374032369688655526471696628264409241*y^21 - 33109380030365535784741236023217329696500663715/9119610682374032369688655526471696628264409241*y^20 + 72253423010479898663474938450815883413101837466/9119610682374032369688655526471696628264409241*y^19 - 401182822260956017643157176492117215697997556576/9119610682374032369688655526471696628264409241*y^18 + 1433502384630084172389620244522422817168516022215/9119610682374032369688655526471696628264409241*y^17 - 2916280445030381292448066161033310104112378390344/9119610682374032369688655526471696628264409241*y^16 - 346567755342061611719347961474046961435524504351/9119610682374032369688655526471696628264409241*y^15 + 2652841346609219555947750414463256141281193601012/9119610682374032369688655526471696628264409241*y^14 + 11755779626961578896151962413748389759398458304228/9119610682374032369688655526471696628264409241*y^13 - 9243671659835629663028223896987024947122406420499/9119610682374032369688655526471696628264409241*y^12 - 14773672717642127102267368511635336004507136106171/9119610682374032369688655526471696628264409241*y^11 - 8966624306143320063077305526798156460656140044889/9119610682374032369688655526471696628264409241*y^10 + 46795927033152486261395716470205180224180464524789/9119610682374032369688655526471696628264409241*y^9 - 21865644053145967243086540854463921312839769237214/9119610682374032369688655526471696628264409241*y^8 - 21523998080456015831793932436737535485517648901562/9119610682374032369688655526471696628264409241*y^7 + 22461986406839004312176674297926414322534478947421/9119610682374032369688655526471696628264409241*y^6 - 1756125327056080161348640392790696888292044384883/9119610682374032369688655526471696628264409241*y^5 - 5065818761763401057316094626673821399753187084742/9119610682374032369688655526471696628264409241*y^4 + 1597067529296818889585252315894897643275938299032/9119610682374032369688655526471696628264409241*y^3 + 241444943142143580798695801065153459555406067150/9119610682374032369688655526471696628264409241*y^2 - 157969230459313635803458138941123767667502475714/9119610682374032369688655526471696628264409241*y + 11617579189846259000268668137475114930368251273/9119610682374032369688655526471696628264409241

1817591800273376675452758746872234251437846737/9119610682374032369688655526471696628264409241*y^22 - 907176221901832836285629447501582873896999434/9119610682374032369688655526471696628264409241*y^21 - 33109380030365535784741236023217329696500663715/9119610682374032369688655526471696628264409241*y^20 + 72253423010479898663474938450815883413101837466/9119610682374032369688655526471696628264409241*y^19 - 401182822260956017643157176492117215697997556576/9119610682374032369688655526471696628264409241*y^18 + 1433502384630084172389620244522422817168516022215/9119610682374032369688655526471696628264409241*y^17 - 2916280445030381292448066161033310104112378390344/9119610682374032369688655526471696628264409241*y^16 - 346567755342061611719347961474046961435524504351/9119610682374032369688655526471696628264409241*y^15 + 2652841346609219555947750414463256141281193601012/9119610682374032369688655526471696628264409241*y^14 + 11755779626961578896151962413748389759398458304228/9119610682374032369688655526471696628264409241*y^13 - 9243671659835629663028223896987024947122406420499/9119610682374032369688655526471696628264409241*y^12 - 14773672717642127102267368511635336004507136106171/9119610682374032369688655526471696628264409241*y^11 - 8966624306143320063077305526798156460656140044889/9119610682374032369688655526471696628264409241*y^10 + 46795927033152486261395716470205180224180464524789/9119610682374032369688655526471696628264409241*y^9 - 21865644053145967243086540854463921312839769237214/9119610682374032369688655526471696628264409241*y^8 - 21523998080456015831793932436737535485517648901562/9119610682374032369688655526471696628264409241*y^7 + 22461986406839004312176674297926414322534478947421/9119610682374032369688655526471696628264409241*y^6 - 1756125327056080161348640392790696888292044384883/9119610682374032369688655526471696628264409241*y^5 - 5065818761763401057316094626673821399753187084742/9119610682374032369688655526471696628264409241*y^4 + 1597067529296818889585252315894897643275938299032/9119610682374032369688655526471696628264409241*y^3 + 241444943142143580798695801065153459555406067150/9119610682374032369688655526471696628264409241*y^2 - 157969230459313635803458138941123767667502475714/9119610682374032369688655526471696628264409241*y + 11617579189846259000268668137475114930368251273/9119610682374032369688655526471696628264409241


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

# B Gluing Matrix
{{2,0,1,0,0,0,0},{0,1,0,0,0,0,0},{0,0,2,0,0,0,0},{0,0,0,2,0,0,0},{0,0,0,0,1,0,0},{0,0,0,0,0,1,0},{0,0,0,0,0,0,1}}

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

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

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

# 1 Loop Invariant
4792911446492527248928769534388760760830917773/9119610682374032369688655526471696628264409241*y^22 + 142897331786250641734895326244533348170945116453/18239221364748064739377311052943393256528818482*y^21 - 73719463596515724434717657627650127911304643140/9119610682374032369688655526471696628264409241*y^20 - 1124554879675284225023056036528246210354607429143/9119610682374032369688655526471696628264409241*y^19 + 1985404754172932623898219620081092754539288315593/18239221364748064739377311052943393256528818482*y^18 - 22960902764105669074243691710305352294040518918651/18239221364748064739377311052943393256528818482*y^17 + 81049829321600329852468441881287899646899043015933/18239221364748064739377311052943393256528818482*y^16 - 90536332603770830492402014350924703158372493916698/9119610682374032369688655526471696628264409241*y^15 - 56721960553010844910319600297725056475466844004147/9119610682374032369688655526471696628264409241*y^14 + 75678214133063697224104172143082689970126737939511/9119610682374032369688655526471696628264409241*y^13 + 456317727176719158867542590037760850060607750368058/9119610682374032369688655526471696628264409241*y^12 - 86121888577733316069147672834986774010576680037157/9119610682374032369688655526471696628264409241*y^11 - 520639899903364448266722454238794565743558648976247/9119610682374032369688655526471696628264409241*y^10 - 529249747297127597911634731250578188955303690290047/9119610682374032369688655526471696628264409241*y^9 + 1279551121762202062051938823679672345886966144866319/9119610682374032369688655526471696628264409241*y^8 - 271965571499891559831411610994918135375836101017295/9119610682374032369688655526471696628264409241*y^7 - 1398851684688228555591980642796562178776885303107149/18239221364748064739377311052943393256528818482*y^6 + 918219171353186251290583174301803265237688975727285/18239221364748064739377311052943393256528818482*y^5 + 47523939110477786646534046647852270906919790915643/9119610682374032369688655526471696628264409241*y^4 - 116995151087290774930337776072390651650240707136615/9119610682374032369688655526471696628264409241*y^3 + 43976033019252530387100552027856330631725565699759/18239221364748064739377311052943393256528818482*y^2 + 14767769860138890901865605227664509729954111578695/18239221364748064739377311052943393256528818482*y - 4889436879113561158835535665411439580816438787991/18239221364748064739377311052943393256528818482

# 2 Loop Invariant
-62714955114764146371661884156475689585820860411365198988680872596959267158296334485063328477927270560347148089830681/280166795840551237544755293712365386754250996267749917047692578251327353309981440926879196122257450199490561521570853388*y^22 + 491041166280531493923084073856937515076247248723188342626350524202755176245213689224187571431120812613089668321004969/280166795840551237544755293712365386754250996267749917047692578251327353309981440926879196122257450199490561521570853388*y^21 + 10515930551919248265543337421400583372075866713934384625120187061929589768224704881631271397299689234224082254672014993/1120667183362204950179021174849461547017003985070999668190770313005309413239925763707516784489029800797962246086283413552*y^20 - 18935001644822529008646319265516740441260441098914618984838080443182329577075061663248109536699365791336438782876195129/560333591681102475089510587424730773508501992535499834095385156502654706619962881853758392244514900398981123043141706776*y^19 + 408797900230884496234689273664099486356271204528918591192837599982770145297786792008572347113813149608504647298095173/46694465973425206257459215618727564459041832711291652841282096375221225551663573487813199353709575033248426920261808898*y^18 - 488201572973983307813743594412574337673179879818911330887054760747976688428655547620690741239066641447165836191031464397/1120667183362204950179021174849461547017003985070999668190770313005309413239925763707516784489029800797962246086283413552*y^17 + 253237750801961168934445146322937418252688642418858346293087416119181689904170794507823933319698296466569012589111805133/560333591681102475089510587424730773508501992535499834095385156502654706619962881853758392244514900398981123043141706776*y^16 + 365745530483070646145178292233824462811441441311564057079813040327985546501229057326116866537306698198084207398845278485/560333591681102475089510587424730773508501992535499834095385156502654706619962881853758392244514900398981123043141706776*y^15 - 6763842222981606959327173035170491717485697872519104078696142755829705975894535738454585727953160671603426824871727402307/1120667183362204950179021174849461547017003985070999668190770313005309413239925763707516784489029800797962246086283413552*y^14 - 4316809740756952374109477178338994323854078272293007988943525079825511577220212610229875719507950284776646269725605467145/560333591681102475089510587424730773508501992535499834095385156502654706619962881853758392244514900398981123043141706776*y^13 + 5535581940784398324611778038839115464974267288088666164453766609014592406855241784705111176166674465026783257624036541449/560333591681102475089510587424730773508501992535499834095385156502654706619962881853758392244514900398981123043141706776*y^12 + 36123550855706905434220134584604563053409329797296431516111255024411719693094507460610811486287194764018061747550538862083/1120667183362204950179021174849461547017003985070999668190770313005309413239925763707516784489029800797962246086283413552*y^11 + 9453213106092203066697008021381571143621581885308567409863661331591096353408685728731654567883055001200124433726772550535/1120667183362204950179021174849461547017003985070999668190770313005309413239925763707516784489029800797962246086283413552*y^10 - 5864369773357951968206498745616128524703418596976244627888914153914468502399535430870179443154615496890592479514498094333/140083397920275618772377646856182693377125498133874958523846289125663676654990720463439598061128725099745280760785426694*y^9 - 30981874150657230375662456280401611295217289978424126750248364951084022578714441100031767690356651227950260000721991545593/1120667183362204950179021174849461547017003985070999668190770313005309413239925763707516784489029800797962246086283413552*y^8 + 17822450458816010987743482798848530788820345696529417908594929552446814618915970770498284076926386385215314432959269043123/373555727787401650059673724949820515672334661690333222730256771001769804413308587902505594829676600265987415362094471184*y^7 + 198598326938936665510762858502555939317132962493947289341293183613005402771874759604914259605629705316618889388880902059/140083397920275618772377646856182693377125498133874958523846289125663676654990720463439598061128725099745280760785426694*y^6 - 2376724582739757654666291763797892914032165483614063303707840132295777238902634517029486531429910027790644710834463362783/93388931946850412514918431237455128918083665422583305682564192750442451103327146975626398707419150066496853840523617796*y^5 + 639820874838555739554696205502014993132848648418432343580088339675643163668053187479778684624759948080588737588692768117/93388931946850412514918431237455128918083665422583305682564192750442451103327146975626398707419150066496853840523617796*y^4 + 5385349359319525952368011120864014757050301108769369105182899796932984684104628019061713903591910548670758562369376099219/1120667183362204950179021174849461547017003985070999668190770313005309413239925763707516784489029800797962246086283413552*y^3 - 1694591684385922343089580410639605931416643754610191698880921433363399154882261505411062991994147474479260543081193200825/1120667183362204950179021174849461547017003985070999668190770313005309413239925763707516784489029800797962246086283413552*y^2 + 2110124745914550113111941034157972654732749531842161111408856902157812658205972816690180175728412791206487365885664459/280166795840551237544755293712365386754250996267749917047692578251327353309981440926879196122257450199490561521570853388*y + 15403682826328638647245688791807008950178295240009285184093958150834111140744490939825072200718363351804261578683075481/46694465973425206257459215618727564459041832711291652841282096375221225551663573487813199353709575033248426920261808898

# 3 Loop Invariant
5613079898073488089670366771832592290338783242036144510535849619680559530496928560479816816822557572289965553207588300202895644114131239557012508642623791/2390809377142669524076026670075553652091058684317333637478776807248893816948297654592916965144158349822369918016400371182356479333342941255443551763756692288*y^22 + 430253927213251018842652502181720020574440408004959954872126544826509270906317846728337297538022566767631344716360454810431503278024619266085831168684575/298851172142833690509503333759444206511382335539666704684847100906111727118537206824114620643019793727796239752050046397794559916667867656930443970469586536*y^21 - 12523128566991013087773276489604668551390432850739325549390910887154362085745189307935483683199395561789949930729059102628448466531958832241810957285580703/298851172142833690509503333759444206511382335539666704684847100906111727118537206824114620643019793727796239752050046397794559916667867656930443970469586536*y^20 + 56121772524593697824763335384017265595650683531244479908964105466353533907073583409308423417613603751298028183536761299603534423303747334087878136322240051/1195404688571334762038013335037776826045529342158666818739388403624446908474148827296458482572079174911184959008200185591178239666671470627721775881878346144*y^19 - 1081997668591024858521118754338066274757974528169446674188659435565693392026108112497504636546294271411079449116794880563472302275087464032184211597284648745/2390809377142669524076026670075553652091058684317333637478776807248893816948297654592916965144158349822369918016400371182356479333342941255443551763756692288*y^18 + 394918264594734391249205983729966042109141576714364881043627160616445985617537899819288384451226287724520386500508949943757109673571841246546450645767827375/298851172142833690509503333759444206511382335539666704684847100906111727118537206824114620643019793727796239752050046397794559916667867656930443970469586536*y^17 - 5110930356780036044376493893726563503176009215176148408117943321765518214909141716794676982599988915878094248289074451407823671938006028832915193350536924275/2390809377142669524076026670075553652091058684317333637478776807248893816948297654592916965144158349822369918016400371182356479333342941255443551763756692288*y^16 - 8083106247634053681098531463453462500756671773370683446146805433957626946734468047183536521780143302951029091649577346149911169907254242815975045587086283061/2390809377142669524076026670075553652091058684317333637478776807248893816948297654592916965144158349822369918016400371182356479333342941255443551763756692288*y^15 + 1824251912964899708778968069686501700504199246224319452259388096814910080123414843883351937084641401480173127372763986673599740998764781201396908159191127655/2390809377142669524076026670075553652091058684317333637478776807248893816948297654592916965144158349822369918016400371182356479333342941255443551763756692288*y^14 + 4877506780972458560115111363820737533376794094835666211532781880531225531514914792554624545863813358417715992146590899297248530159170056556873577046281845001/298851172142833690509503333759444206511382335539666704684847100906111727118537206824114620643019793727796239752050046397794559916667867656930443970469586536*y^13 + 12700740228086106739449454330535110853621423574703069940010067038083785758200274331160297391669560105403804959710638551611968629197387459171205641285167755581/2390809377142669524076026670075553652091058684317333637478776807248893816948297654592916965144158349822369918016400371182356479333342941255443551763756692288*y^12 - 43302326107912195680177492905480386536017849259170826912038397384490843698652453946786312962606649793741373437809766019147403234480184723612485871529714377315/2390809377142669524076026670075553652091058684317333637478776807248893816948297654592916965144158349822369918016400371182356479333342941255443551763756692288*y^11 - 1083073713874363727549562311011345861165442122677483984792859873118694651251061779582287305986381217047697375131819646130334173901609225526791965501183488123/37356396517854211313687916719930525813922791942458338085605887613263965889817150853014327580377474215974529969006255799724319989583483457116305496308698317*y^10 + 81771874786828880199684868762501721656677285419143664029922186561494329421785696380194238291716164593686683972831329472243891950902362547385824608602867288491/2390809377142669524076026670075553652091058684317333637478776807248893816948297654592916965144158349822369918016400371182356479333342941255443551763756692288*y^9 + 17846825108203691596040982685743974079995502137816846957949460619654189329719959443706214382130223660471557788593633312515369886802405282228655006860977159347/1195404688571334762038013335037776826045529342158666818739388403624446908474148827296458482572079174911184959008200185591178239666671470627721775881878346144*y^8 - 68517947098748396286852046360955957403713131638349820011712285714449204319905059160878797088836036777416291118514712274254109293683287473031479695106416954209/2390809377142669524076026670075553652091058684317333637478776807248893816948297654592916965144158349822369918016400371182356479333342941255443551763756692288*y^7 + 974566958302153901460409168332666050857470911822856217501254303980013365453248239214541438887056963530969530459259989267844151033120584419738233813282159031/298851172142833690509503333759444206511382335539666704684847100906111727118537206824114620643019793727796239752050046397794559916667867656930443970469586536*y^6 + 22424390694324161694347309943122898322647683171339051596538540673833153985267904671624352963103006735610492698079957902623149928415369726537944098839813445509/2390809377142669524076026670075553652091058684317333637478776807248893816948297654592916965144158349822369918016400371182356479333342941255443551763756692288*y^5 - 1721196429939255649588513089187217824190738357321802578814175666176740078150518551584296402545594732639637750824293383023968925549539846071372169924776603845/597702344285667381019006667518888413022764671079333409369694201812223454237074413648229241286039587455592479504100092795589119833335735313860887940939173072*y^4 - 2703908578664679904528031486129046373181990202519692215124837355817279555160329772715435985049436849925284926994476938721761116313653023547921176974428106593/2390809377142669524076026670075553652091058684317333637478776807248893816948297654592916965144158349822369918016400371182356479333342941255443551763756692288*y^3 + 1185564444513345277415236400139649618544410911602953958675612056007613882323302984058618250781802309197126928783429230432879525267785259480716710230249987499/2390809377142669524076026670075553652091058684317333637478776807248893816948297654592916965144158349822369918016400371182356479333342941255443551763756692288*y^2 + 13426923311094081301451183642110467560973699374388240289019684524535003437735404898522567246359463442817988001676141852058421315396656082251992043439107727/1195404688571334762038013335037776826045529342158666818739388403624446908474148827296458482572079174911184959008200185591178239666671470627721775881878346144*y - 11736981728604442996299425992464867803711646739622433315858422764765571201260971712674103503089975272811369705608221255026341829264028967274362468222421409/597702344285667381019006667518888413022764671079333409369694201812223454237074413648229241286039587455592479504100092795589119833335735313860887940939173072