# Manifold: Rolfsen Knot 8_17

# Number of Tetrahedra: 12

# Number Field
x^18 - 10*x^17 + 27*x^16 - 4*x^15 + 147*x^14 - 1460*x^13 + 4159*x^12 - 6144*x^11 + 7202*x^10 - 7446*x^9 + 5439*x^8 - 1732*x^7 - 548*x^6 + 741*x^5 - 233*x^4 - 14*x^3 + 35*x^2 - 10*x + 1 

# Approximate Field Generator
0.791852348293581 + 0.437350585211849*I

# Shape Parameters
4983640003245767564471563483/4625420280734883146659511393*y^17 - 47260278208525933036779907512/4625420280734883146659511393*y^16 + 109696393084642655018555806782/4625420280734883146659511393*y^15 + 40826057780052105456578824981/4625420280734883146659511393*y^14 + 744582485687296138061679171563/4625420280734883146659511393*y^13 - 6895652412327042188812843762448/4625420280734883146659511393*y^12 + 17097410339659831704750204821178/4625420280734883146659511393*y^11 - 21189806587105036798692054077697/4625420280734883146659511393*y^10 + 23513871456420079147026802232681/4625420280734883146659511393*y^9 - 23253631651415705539602518629581/4625420280734883146659511393*y^8 + 13206541351406715878627862459122/4625420280734883146659511393*y^7 + 41761472566847276683277195815/4625420280734883146659511393*y^6 - 3698201013457156219240640832571/4625420280734883146659511393*y^5 + 1707073836876266382384601012155/4625420280734883146659511393*y^4 + 12267937973245368689653126456/4625420280734883146659511393*y^3 - 162788764063998458325032387453/4625420280734883146659511393*y^2 + 71400071414351354712126914758/4625420280734883146659511393*y - 3159746855062075226767776169/4625420280734883146659511393

-1736804044272410569116363945/4625420280734883146659511393*y^17 + 17121983972389187819251634276/4625420280734883146659511393*y^16 - 44486021110071454795733598068/4625420280734883146659511393*y^15 + 862411944458812163735233654/4625420280734883146659511393*y^14 - 256001657557233013265138195851/4625420280734883146659511393*y^13 + 2500101767121770133059064130154/4625420280734883146659511393*y^12 - 6870943736956000844334745373053/4625420280734883146659511393*y^11 + 9729725992422462662349013177004/4625420280734883146659511393*y^10 - 11252555831419546971425729381905/4625420280734883146659511393*y^9 + 11539304164002652898647239505351/4625420280734883146659511393*y^8 - 8011070320719139982730046231887/4625420280734883146659511393*y^7 + 2080054903092122275795817419986/4625420280734883146659511393*y^6 + 1087912863180935941048170687588/4625420280734883146659511393*y^5 - 1114179827506621531364672730592/4625420280734883146659511393*y^4 + 315001232890721013850531979145/4625420280734883146659511393*y^3 + 37498212999238324558208204402/4625420280734883146659511393*y^2 - 56377938462830963710888039369/4625420280734883146659511393*y + 16186593291860158814769223043/4625420280734883146659511393

-7413441285750798303082439266/4625420280734883146659511393*y^17 + 71947914531546437252457905472/4625420280734883146659511393*y^16 - 179068964358605934406686114120/4625420280734883146659511393*y^15 - 21995407597599760894062406003/4625420280734883146659511393*y^14 - 1098748244718772398389515287173/4625420280734883146659511393*y^13 + 10497914292714778168685497372216/4625420280734883146659511393*y^12 - 27755663788698371726440265938752/4625420280734883146659511393*y^11 + 37532034645045941168217380735590/4625420280734883146659511393*y^10 - 42711898297779393837526713761697/4625420280734883146659511393*y^9 + 43043356547273956699815510452055/4625420280734883146659511393*y^8 - 28130111842180068282578812144522/4625420280734883146659511393*y^7 + 5046601964055395055398963805121/4625420280734883146659511393*y^6 + 5302614034085189478769508600385/4625420280734883146659511393*y^5 - 3940017346808261724046389862552/4625420280734883146659511393*y^4 + 605395348030198823949470203647/4625420280734883146659511393*y^3 + 272681405396480400791834939967/4625420280734883146659511393*y^2 - 182065359623242384566047762954/4625420280734883146659511393*y + 26081042849175612211966612558/4625420280734883146659511393

238175708761577799441263494/4625420280734883146659511393*y^17 - 1898079879625716893354202220/4625420280734883146659511393*y^16 + 1789117476115482803000547322/4625420280734883146659511393*y^15 + 10233040570570847494388242202/4625420280734883146659511393*y^14 + 37616449933936706538794178069/4625420280734883146659511393*y^13 - 275771588579647550224467801756/4625420280734883146659511393*y^12 + 313777497711453327208496403552/4625420280734883146659511393*y^11 + 275338519256483636947135754694/4625420280734883146659511393*y^10 - 550836860905063672576580192021/4625420280734883146659511393*y^9 + 768443953760406496821684169069/4625420280734883146659511393*y^8 - 1222384069371965802330991428075/4625420280734883146659511393*y^7 + 1137386580786911131943084820479/4625420280734883146659511393*y^6 - 269902899701862751354611061682/4625420280734883146659511393*y^5 - 210965707001529490278554302246/4625420280734883146659511393*y^4 + 178605510212733051177624217569/4625420280734883146659511393*y^3 - 10382973743196615905266136857/4625420280734883146659511393*y^2 - 17040555794127334811864328567/4625420280734883146659511393*y + 11110937054382381626507145195/4625420280734883146659511393

2676192306768743692600006306/4625420280734883146659511393*y^17 - 26644429213460503610455403849/4625420280734883146659511393*y^16 + 70944907199097933478780909237/4625420280734883146659511393*y^15 - 6176849594857506996551462067/4625420280734883146659511393*y^14 + 389412125913380616948688015050/4625420280734883146659511393*y^13 - 3890006447701736873937355677311/4625420280734883146659511393*y^12 + 10938842032442460383812423800192/4625420280734883146659511393*y^11 - 15755833581528972904413222923222/4625420280734883146659511393*y^10 + 18008716298700519704316321845466/4625420280734883146659511393*y^9 - 18326202790233889008545407749889/4625420280734883146659511393*y^8 + 12836143302121198138090869404042/4625420280734883146659511393*y^7 - 3143058278406070024136322286259/4625420280734883146659511393*y^6 - 2239593803730371973124053072847/4625420280734883146659511393*y^5 + 2022318695390918018028807172841/4625420280734883146659511393*y^4 - 410451964335065479660862334087/4625420280734883146659511393*y^3 - 147129656912586685544504021552/4625420280734883146659511393*y^2 + 95476702421200894120619215343/4625420280734883146659511393*y - 9857212498742690375078414498/4625420280734883146659511393

2393103247797483250877568711/4625420280734883146659511393*y^17 - 23145920967554508863274437749/4625420280734883146659511393*y^16 + 57263657082975006891535364343/4625420280734883146659511393*y^15 + 6898785488257274825854152408/4625420280734883146659511393*y^14 + 359484633142353796170146464031/4625420280734883146659511393*y^13 - 3374263447192067082144461187620/4625420280734883146659511393*y^12 + 8882580788733629406235812373747/4625420280734883146659511393*y^11 - 12127223311656889351193176638636/4625420280734883146659511393*y^10 + 14102758805698050891250642053704/4625420280734883146659511393*y^9 - 14267375067127360680829483919228/4625420280734883146659511393*y^8 + 9568850868748287606294465065757/4625420280734883146659511393*y^7 - 2268723603282433707082408151324/4625420280734883146659511393*y^6 - 1269115635491170027751347116409/4625420280734883146659511393*y^5 + 1223811796723353497668922680783/4625420280734883146659511393*y^4 - 236516224427427690340995712538/4625420280734883146659511393*y^3 - 61253726443970300251153675822/4625420280734883146659511393*y^2 + 56019932655125138441647080756/4625420280734883146659511393*y - 5048166287541922254939726385/4625420280734883146659511393

-2037842813587725467735082796/4625420280734883146659511393*y^17 + 20050454538334026351989129966/4625420280734883146659511393*y^16 - 51619875361495646155402039809/4625420280734883146659511393*y^15 - 1974533438566167624998453395/4625420280734883146659511393*y^14 - 294439984265599480608832646579/4625420280734883146659511393*y^13 + 2925009376873909809847518904445/4625420280734883146659511393*y^12 - 7977808716384192040080609257652/4625420280734883146659511393*y^11 + 10970663794909786899073127379205/4625420280734883146659511393*y^10 - 12078119679286705618571132874439/4625420280734883146659511393*y^9 + 11825812628142196740000462676447/4625420280734883146659511393*y^8 - 7369499010467797084180303176177/4625420280734883146659511393*y^7 + 328420224006945911858762837190/4625420280734883146659511393*y^6 + 2928944099581173573857584535251/4625420280734883146659511393*y^5 - 2048536718216953153461684779339/4625420280734883146659511393*y^4 + 464099933419277137333977674254/4625420280734883146659511393*y^3 + 86485701218817185391679902134/4625420280734883146659511393*y^2 - 75127811557494542376358645392/4625420280734883146659511393*y + 15994819767261541084791283890/4625420280734883146659511393

-2955052812447241530054344404/4625420280734883146659511393*y^17 + 29258651445290202285633691122/4625420280734883146659511393*y^16 - 76814581295594890359957232191/4625420280734883146659511393*y^15 + 3397585384891363366375457772/4625420280734883146659511393*y^14 - 431720062839959063063808964824/4625420280734883146659511393*y^13 + 4271348664282361875157318976975/4625420280734883146659511393*y^12 - 11857076728849938356518040272463/4625420280734883146659511393*y^11 + 16862639413608137639327828829269/4625420280734883146659511393*y^10 - 19257450197019849999822600703857/4625420280734883146659511393*y^9 + 19586218106804759398369492392389/4625420280734883146659511393*y^8 - 13602436240364317300615582178239/4625420280734883146659511393*y^7 + 3252232892285831258679876673762/4625420280734883146659511393*y^6 + 2290325007304447821982148249221/4625420280734883146659511393*y^5 - 1965712951468763711893510050635/4625420280734883146659511393*y^4 + 333983661792228220551679412898/4625420280734883146659511393*y^3 + 156663726081419312911265101047/4625420280734883146659511393*y^2 - 83616049458201186276131177261/4625420280734883146659511393*y + 14078877885007258872286003217/4625420280734883146659511393

2656699060840520310867616145/4625420280734883146659511393*y^17 - 25761013200974494335571880430/4625420280734883146659511393*y^16 + 63952895507446051741179813050/4625420280734883146659511393*y^15 + 8492020376811650864294617537/4625420280734883146659511393*y^14 + 393273421802623403198617266084/4625420280734883146659511393*y^13 - 3757720788771311134559738889933/4625420280734883146659511393*y^12 + 9915623344800865364391251993084/4625420280734883146659511393*y^11 - 13355582184380526537238215624621/4625420280734883146659511393*y^10 + 15113680429988123603794946404983/4625420280734883146659511393*y^9 - 15128760167644459095898270130946/4625420280734883146659511393*y^8 + 9776859146950213023439215078202/4625420280734883146659511393*y^7 - 1530660634881129438564115572511/4625420280734883146659511393*y^6 - 2092114235643298878979470265930/4625420280734883146659511393*y^5 + 1469920576953069006365240986623/4625420280734883146659511393*y^4 - 172470205293335061361071325615/4625420280734883146659511393*y^3 - 124874309889675511962924894862/4625420280734883146659511393*y^2 + 66322676237987696134969582393/4625420280734883146659511393*y + 19436798475950963175850763/4625420280734883146659511393

1808821229408008236987414703/4625420280734883146659511393*y^17 - 18532298753476872377563048491/4625420280734883146659511393*y^16 + 52820343205158133789012655588/4625420280734883146659511393*y^15 - 14775225387851398028949250502/4625420280734883146659511393*y^14 + 256666256146901343403303372343/4625420280734883146659511393*y^13 - 2708089380847618115254187830551/4625420280734883146659511393*y^12 + 8104261968366278530613647858656/4625420280734883146659511393*y^11 - 12309730766393443623341227738839/4625420280734883146659511393*y^10 + 14049414528969317145999703109554/4625420280734883146659511393*y^9 - 14427700486404781596428051144809/4625420280734883146659511393*y^8 + 10666945779017092615009278455791/4625420280734883146659511393*y^7 - 3028953437388678196890720384569/4625420280734883146659511393*y^6 - 1816436675303154273502664502916/4625420280734883146659511393*y^5 + 1771142964421337644213177895463/4625420280734883146659511393*y^4 - 425338557106188572823815864413/4625420280734883146659511393*y^3 - 70190431060696869743171269464/4625420280734883146659511393*y^2 + 61572228884908433821757536168/4625420280734883146659511393*y - 12972326823069130483082382599/4625420280734883146659511393

5488955719375089553439916760/4625420280734883146659511393*y^17 - 54783726164797723671891772577/4625420280734883146659511393*y^16 + 147131950008950117268020829603/4625420280734883146659511393*y^15 - 19018937844390454060882006443/4625420280734883146659511393*y^14 + 806582399155675088215331435717/4625420280734883146659511393*y^13 - 8000031540061869710446075911012/4625420280734883146659511393*y^12 + 22674467044310407600856434414559/4625420280734883146659511393*y^11 - 33272176341213595144476854065020/4625420280734883146659511393*y^10 + 38897688348664552286761483848821/4625420280734883146659511393*y^9 - 40302473775148406888331160998885/4625420280734883146659511393*y^8 + 29509100438831621052215656928469/4625420280734883146659511393*y^7 - 9513041206574358668814905040216/4625420280734883146659511393*y^6 - 2524124127974931659091284347310/4625420280734883146659511393*y^5 + 3357673289689959174406986769580/4625420280734883146659511393*y^4 - 814052069551565860299569488690/4625420280734883146659511393*y^3 - 154064391132765193055492729734/4625420280734883146659511393*y^2 + 125329257140212403217550272956/4625420280734883146659511393*y - 14118772451586586872361844572/4625420280734883146659511393

-4547697050658486099342966310/4625420280734883146659511393*y^17 + 44355063842148445370670774349/4625420280734883146659511393*y^16 - 111721642759300790949127816934/4625420280734883146659511393*y^15 - 10562905904317946663198652807/4625420280734883146659511393*y^14 - 668247676349593208752698737971/4625420280734883146659511393*y^13 + 6475625751760035568879542959725/4625420280734883146659511393*y^12 - 17298470113944716047428528929113/4625420280734883146659511393*y^11 + 23499340666061999702837755448775/4625420280734883146659511393*y^10 - 26509533962365371795225683880642/4625420280734883146659511393*y^9 + 26766757826487482412434083282131/4625420280734883146659511393*y^8 - 17548749564315249215186957123215/4625420280734883146659511393*y^7 + 2979814046215895928537801555994/4625420280734883146659511393*y^6 + 3531725233972527731572682073366/4625420280734883146659511393*y^5 - 2440797550317054860480524567917/4625420280734883146659511393*y^4 + 316354143169606591620085741289/4625420280734883146659511393*y^3 + 194374088608801765083885636079/4625420280734883146659511393*y^2 - 105184635401303021258088486190/4625420280734883146659511393*y + 13933555586615172786711279528/4625420280734883146659511393


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

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

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

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

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

# 1 Loop Invariant
6333109315710041068014156081/4625420280734883146659511393*y^17 - 111195859034029924096394927627/9250840561469766293319022786*y^16 + 200198852151693076673658658813/9250840561469766293319022786*y^15 + 122977304127663153117217420428/4625420280734883146659511393*y^14 + 2073175091648721580582460260583/9250840561469766293319022786*y^13 - 8046264204496101190428794664018/4625420280734883146659511393*y^12 + 32040996042103696312108971420577/9250840561469766293319022786*y^11 - 15571631436491696384960088316101/4625420280734883146659511393*y^10 + 19425278785005274394584234193355/4625420280734883146659511393*y^9 - 17180642296853899756709413246050/4625420280734883146659511393*y^8 + 5643708488727851189150310662934/4625420280734883146659511393*y^7 + 2800575705156477207359404169612/4625420280734883146659511393*y^6 - 1681316053966968200650135720516/4625420280734883146659511393*y^5 + 964579437296515894338437690797/4625420280734883146659511393*y^4 - 171007723882321869507676792659/4625420280734883146659511393*y^3 + 78111174932959624492644947798/4625420280734883146659511393*y^2 + 110419476031101110474003976171/9250840561469766293319022786*y - 30864541546723244798895533527/9250840561469766293319022786

# 2 Loop Invariant
133623007319548567749470436880951714942181668689/128418133839790759312421292022659405742353416333*y^17 - 3958385994369451324596075097519905560128076053828/385254401519372277937263876067978217227060248999*y^16 + 13755440616327238828148065858259962086760832913639/513672535359163037249685168090637622969413665332*y^15 - 69878528800477083268929985614202331801509219210/128418133839790759312421292022659405742353416333*y^14 + 58650837215044553233312746115482112932165076525924/385254401519372277937263876067978217227060248999*y^13 - 770579383030377585861011612434096288656747879330365/513672535359163037249685168090637622969413665332*y^12 + 1593211070699697315315927976591122651131100395956624/385254401519372277937263876067978217227060248999*y^11 - 2248503400383147168347360387204760271363231352163784/385254401519372277937263876067978217227060248999*y^10 + 10264477118672982240928466614808002303400892190869427/1541017606077489111749055504271912868908240995996*y^9 - 155859681533786934005305362686230159590008536814117/23000262777275956891776947824953923416540910388*y^8 + 2392577195758111051712092126862530818353754261662799/513672535359163037249685168090637622969413665332*y^7 - 409723706938739208442988842298969964703256242727203/385254401519372277937263876067978217227060248999*y^6 - 619519630659828623886816202506339609506253640139419/770508803038744555874527752135956434454120497998*y^5 + 1057022636178173281893976218642788133674814607307021/1541017606077489111749055504271912868908240995996*y^4 - 70194681285024573960550403549484116186406705220111/513672535359163037249685168090637622969413665332*y^3 - 33207998121296569308664574637258652890270514768891/770508803038744555874527752135956434454120497998*y^2 + 49152437672462847027974664492036755490906559100789/1541017606077489111749055504271912868908240995996*y - 8631014151018404345992627563798804136341741585611/1541017606077489111749055504271912868908240995996

# 3 Loop Invariant
-31811407319886754164351597692253371189439944700896773709167/10569607125242485415255065361508857055376427677144033284514*y^17 + 150283841832224915495452299929608785766967539549848064233297/5284803562621242707627532680754428527688213838572016642257*y^16 - 689312847873217165006388586706985031120131805952709303959537/10569607125242485415255065361508857055376427677144033284514*y^15 - 289377777507179147243753417998590573908341309954342112802359/10569607125242485415255065361508857055376427677144033284514*y^14 - 4749301170269735912055108202696192914198801210299470109697953/10569607125242485415255065361508857055376427677144033284514*y^13 + 43850051404600700968716519645800126816059339011149448195104737/10569607125242485415255065361508857055376427677144033284514*y^12 - 107550938344262788256329766072039674413144043398776832955136809/10569607125242485415255065361508857055376427677144033284514*y^11 + 130813029341625804824821945081150270191849549712550901005673789/10569607125242485415255065361508857055376427677144033284514*y^10 - 143483133123226283115348173556510492116548590421595469109945233/10569607125242485415255065361508857055376427677144033284514*y^9 + 70279617314024984552166478766381031458799323657550464916072996/5284803562621242707627532680754428527688213838572016642257*y^8 - 38192856162717778093829062485277592546552288684479009790671361/5284803562621242707627532680754428527688213838572016642257*y^7 - 3007892655085507877583286708912488667785695509407626191714180/5284803562621242707627532680754428527688213838572016642257*y^6 + 1953943867988526474372985189842158241818422891638902631485735/813046701941729647327312720116065927336648282857233329578*y^5 - 5064690171135697045489423969169853186217879994531467720328060/5284803562621242707627532680754428527688213838572016642257*y^4 - 564213010332399561306971521490909751461714448788851481715750/5284803562621242707627532680754428527688213838572016642257*y^3 + 1355348170797846939097814582439421015422430343871195414905933/10569607125242485415255065361508857055376427677144033284514*y^2 - 200315795293156092063285290384693888660366519482944808137997/5284803562621242707627532680754428527688213838572016642257*y - 60963612826418990655968542500414561789187422225445599296885/10569607125242485415255065361508857055376427677144033284514

# 4 Loop Invariant
-87981558346463749799089124121443602295826131660145975805374906738943755070749477289/495704638144400998680555805248593614582294857443881794244170290778871443044123280*y^17 + 862971851186250242131543703984198179878591675090406745138555286481915774528231173109/495704638144400998680555805248593614582294857443881794244170290778871443044123280*y^16 - 1104686398137762498127891075503875716264676184728044042134326361923222626860654350753/247852319072200499340277902624296807291147428721940897122085145389435721522061640*y^15 - 79812765883110814415434371129230391058803946960441292596680717683865545508717914113/495704638144400998680555805248593614582294857443881794244170290778871443044123280*y^14 - 1615966048921200063310347371502752116448179686577470259711689561795848786899127990663/61963079768050124835069475656074201822786857180485224280521286347358930380515410*y^13 + 7874007701938909706196237961238219420554516092062026216352941421113806967892074556354/30981539884025062417534737828037100911393428590242612140260643173679465190257705*y^12 - 5256306853828284783794451200544188416038647485287610670717256666376874975022005747933/7626225202221553825854704696132209455112228576059719911448773704290329892986512*y^11 + 118467620707872974394967929561125593403800628290210258838180411417284835587832596431667/123926159536100249670138951312148403645573714360970448561042572694717860761030820*y^10 - 539680722556715060078946775314047293794508457004952921777350825784657027784203894427699/495704638144400998680555805248593614582294857443881794244170290778871443044123280*y^9 + 454112497277804491591821576145223804698409315035051945567754754019823442398507748859/411032038262355720298968329393527043600576167034727855923855962503210151777880*y^8 - 9463811957018829072114616737254957486098353999730596833578086955008686939790521406679/12710375337035923043091174493553682425187047626766199852414622840483883154977520*y^7 + 38580016974628597861216989505469053718083842977857102348707705463875224247611116890061/247852319072200499340277902624296807291147428721940897122085145389435721522061640*y^6 + 21898958423032371572895627057351896115245497264885384471331614399175317765742539094663/165234879381466999560185268416197871527431619147960598081390096926290481014707760*y^5 - 26373441220465867000869943574993383919112430075654927892385748098630745708402331006093/247852319072200499340277902624296807291147428721940897122085145389435721522061640*y^4 + 744983830118944102364164748142970016651045598097829224733500619489585606524612293427/38131126011107769129273523480661047275561142880298599557243868521451649464932560*y^3 + 1728550398503583341651755146773331582733234601544933122260437506887151036999556721553/247852319072200499340277902624296807291147428721940897122085145389435721522061640*y^2 - 2426058007414982436723898699145140807508649985549676437042528892198790584879556763757/495704638144400998680555805248593614582294857443881794244170290778871443044123280*y + 377231051672647249720823891606891582164779187014087149077830963114612460992739230913/495704638144400998680555805248593614582294857443881794244170290778871443044123280