# Manifold: Rolfsen Knot 9_22

# Number of Tetrahedra: 12

# Number Field
x^23 + 2*x^22 + 16*x^21 + 45*x^20 + 174*x^19 + 479*x^18 + 1361*x^17 + 3211*x^16 + 6807*x^15 + 12117*x^14 + 19345*x^13 + 25151*x^12 + 28172*x^11 + 26686*x^10 + 22478*x^9 + 15575*x^8 + 11735*x^7 + 7574*x^6 + 3857*x^5 + 1813*x^4 + 783*x^3 + 219*x^2 + 75*x + 101 

# Approximate Field Generator
-0.981033399427470 + 1.88914397387494*I

# Shape Parameters
-1051159301768131388047593517073928426331598230/3586262474987519445880122009063652717029650736711*y^22 + 4059110119142980652248426876018321795907870263/7172524949975038891760244018127305434059301473422*y^21 - 14753112348517032542765851315496239460033009983/7172524949975038891760244018127305434059301473422*y^20 + 21996447692868915647643805502236786097758491719/3586262474987519445880122009063652717029650736711*y^19 + 6304345264129892988742244409567926057518861849/1195420824995839815293374003021217572343216912237*y^18 + 92617644057936350228852346215064992818956712349/1195420824995839815293374003021217572343216912237*y^17 + 1446623046656438828053466579042909873911947230233/7172524949975038891760244018127305434059301473422*y^16 + 2830156760679302202556553077588704084896602447877/3586262474987519445880122009063652717029650736711*y^15 + 2495690914388239324107680201877561043651798926453/1195420824995839815293374003021217572343216912237*y^14 + 37768154963132211890843275588321620098187024509473/7172524949975038891760244018127305434059301473422*y^13 + 36098514554532277177956699075086449525784078241286/3586262474987519445880122009063652717029650736711*y^12 + 21460348531110674582826265248515933378227565603224/1195420824995839815293374003021217572343216912237*y^11 + 59110748025042171388942317049271719630772532066003/2390841649991679630586748006042435144686433824474*y^10 + 69991034350315748222656772996108338824907697051291/2390841649991679630586748006042435144686433824474*y^9 + 32375729775460015940961715732343182852131638721470/1195420824995839815293374003021217572343216912237*y^8 + 172437296551268938294010328464442170728280356091413/7172524949975038891760244018127305434059301473422*y^7 + 55503439754222011651016470351393032018096131603545/3586262474987519445880122009063652717029650736711*y^6 + 45872634007846609059790802671520603775535346301017/3586262474987519445880122009063652717029650736711*y^5 + 29387690368483183015430948611628250553244032309787/3586262474987519445880122009063652717029650736711*y^4 + 42159055960430800323837371413853904239702198295137/7172524949975038891760244018127305434059301473422*y^3 + 2827200930867796439736102183696022009823645010080/3586262474987519445880122009063652717029650736711*y^2 + 868415234739759927765910213630313151864546492834/1195420824995839815293374003021217572343216912237*y + 7999345053657937784409550149483503255431867217971/7172524949975038891760244018127305434059301473422

-2298908543674673558031107288614529180917838343/1195420824995839815293374003021217572343216912237*y^22 - 872804770831371585092660252541562949169587049/1195420824995839815293374003021217572343216912237*y^21 - 31017270014946165328946792117303384183827392497/1195420824995839815293374003021217572343216912237*y^20 - 45905016642679087789138180542291120979873629658/1195420824995839815293374003021217572343216912237*y^19 - 257134718386999515424156268807587310815958396861/1195420824995839815293374003021217572343216912237*y^18 - 508435146832117696974058149874139696283121564860/1195420824995839815293374003021217572343216912237*y^17 - 1584988687228433548545314181707662157137859428931/1195420824995839815293374003021217572343216912237*y^16 - 2906988304504165967511076032021353047239502240165/1195420824995839815293374003021217572343216912237*y^15 - 5417127710673790761774523214793512931497177983596/1195420824995839815293374003021217572343216912237*y^14 - 6301837234765128437155543540490621879602135546370/1195420824995839815293374003021217572343216912237*y^13 - 7094563611385302337722325877632968078199794428078/1195420824995839815293374003021217572343216912237*y^12 + 1564002422384274013097839330169715809309414318929/1195420824995839815293374003021217572343216912237*y^11 + 9721064420727900869821266331397296069153028072702/1195420824995839815293374003021217572343216912237*y^10 + 22073503305733949247114353725924097210480134933213/1195420824995839815293374003021217572343216912237*y^9 + 25902138132611898944062324899943480463218008211249/1195420824995839815293374003021217572343216912237*y^8 + 30292886989212777720430418519834267963127372995307/1195420824995839815293374003021217572343216912237*y^7 + 17009405062563924079396844570431336169270700639353/1195420824995839815293374003021217572343216912237*y^6 + 18346057659482506968790588618000691992492822687319/1195420824995839815293374003021217572343216912237*y^5 + 10999437881194244716408947244912893663393294958643/1195420824995839815293374003021217572343216912237*y^4 + 6948723099625529998050449446646064926661986666662/1195420824995839815293374003021217572343216912237*y^3 + 2903235652622850061052555924247826597437541554692/1195420824995839815293374003021217572343216912237*y^2 + 1014104771902705074866598629628531304444027549738/1195420824995839815293374003021217572343216912237*y + 1334487531534819910330290450403293221164364278629/1195420824995839815293374003021217572343216912237

-6828491576594819137328768040737007343082744189/1195420824995839815293374003021217572343216912237*y^22 - 12132893820259009055589304664723467799154253806/1195420824995839815293374003021217572343216912237*y^21 - 108496170776663862268832689732280482999331255666/1195420824995839815293374003021217572343216912237*y^20 - 285836786544065182764476778350532250024254022200/1195420824995839815293374003021217572343216912237*y^19 - 1153535762015023012847591894959749514156451807415/1195420824995839815293374003021217572343216912237*y^18 - 3082558976476962122624245381043592316214982210722/1195420824995839815293374003021217572343216912237*y^17 - 8895842187884675416810200737454683605486364219569/1195420824995839815293374003021217572343216912237*y^16 - 20673390286633202074599756569061280351622199677682/1195420824995839815293374003021217572343216912237*y^15 - 43977307435492983559545042043244778979800537952724/1195420824995839815293374003021217572343216912237*y^14 - 77592420252486378772547039940121262310253908913099/1195420824995839815293374003021217572343216912237*y^13 - 124277286040789255477218498459893759416462873771008/1195420824995839815293374003021217572343216912237*y^12 - 159362198450283958282929515388867814220258529993056/1195420824995839815293374003021217572343216912237*y^11 - 179264711225242028538147138139135576939779834388187/1195420824995839815293374003021217572343216912237*y^10 - 165470880923635282261413826369915067711264465347483/1195420824995839815293374003021217572343216912237*y^9 - 135551616366545848233942076750799265087233809135652/1195420824995839815293374003021217572343216912237*y^8 - 82999370052741128403430201525759186653744152446770/1195420824995839815293374003021217572343216912237*y^7 - 57344465516572973630280766545474917460441185353888/1195420824995839815293374003021217572343216912237*y^6 - 23672968461919897889095148225065171913938867733962/1195420824995839815293374003021217572343216912237*y^5 - 8802106734751273747090490450338690004969824661721/1195420824995839815293374003021217572343216912237*y^4 + 864739879395832357872057465076760867937267797325/1195420824995839815293374003021217572343216912237*y^3 + 362671352805119954695599824331281582920608390390/1195420824995839815293374003021217572343216912237*y^2 + 1675757697572895500869471749226453258254556555395/1195420824995839815293374003021217572343216912237*y + 677950970326437550303510273715171580359906508793/1195420824995839815293374003021217572343216912237

11012252938866236730576256235513464461850136811/22712995674920956490574106057403133874521121332503*y^22 + 21914049783791348367983845923527340115913017530/22712995674920956490574106057403133874521121332503*y^21 + 6259636576017554080201103339479546443182637550/1195420824995839815293374003021217572343216912237*y^20 + 431259405575755041075441203026242954534613654193/22712995674920956490574106057403133874521121332503*y^19 + 1100686544860159626844610773781658035712840232464/22712995674920956490574106057403133874521121332503*y^18 + 3518521478749528752969224712621968877520198760990/22712995674920956490574106057403133874521121332503*y^17 + 7301941671100884334014110364992977416567286210964/22712995674920956490574106057403133874521121332503*y^16 + 16885655449918756775036869561769281611128889969475/22712995674920956490574106057403133874521121332503*y^15 + 21417967787208918238054180288519255226569342660635/22712995674920956490574106057403133874521121332503*y^14 + 19459440206491951344223115489810394442219269066171/22712995674920956490574106057403133874521121332503*y^13 - 12984896530688605590199767084868076545008816911620/22712995674920956490574106057403133874521121332503*y^12 - 69362911631938574481272633159540764073834357191469/22712995674920956490574106057403133874521121332503*y^11 - 9725013595293264883779313531262352951910655682968/1195420824995839815293374003021217572343216912237*y^10 - 177041160233779261408429414132492871776786588555739/22712995674920956490574106057403133874521121332503*y^9 - 134455078125975805494602606559834156632027886157294/22712995674920956490574106057403133874521121332503*y^8 - 15387652141029044087996205877050022502598309608895/22712995674920956490574106057403133874521121332503*y^7 + 29263095109808424529714153141703864347959379142990/22712995674920956490574106057403133874521121332503*y^6 + 131553647188523026657902397637714627898799534837049/22712995674920956490574106057403133874521121332503*y^5 - 50339614872276266816513084354090221319857222375643/22712995674920956490574106057403133874521121332503*y^4 + 853950030021274055100145068878670452569746487764/1195420824995839815293374003021217572343216912237*y^3 + 40692021745769575488854136561560145916304074314003/22712995674920956490574106057403133874521121332503*y^2 + 48343457722517471939626068542863725336731340733077/22712995674920956490574106057403133874521121332503*y - 16269734538987577586898090721597977250469462076656/22712995674920956490574106057403133874521121332503

-4684170240809385995650816713229719563850556618/1195420824995839815293374003021217572343216912237*y^22 - 11525206973320852746773009021542236233395621753/1195420824995839815293374003021217572343216912237*y^21 - 75537546682065505392558071963375497854823121430/1195420824995839815293374003021217572343216912237*y^20 - 235516511631540012702138086420191979588423763170/1195420824995839815293374003021217572343216912237*y^19 - 846699104678811463016333163520632094068379365585/1195420824995839815293374003021217572343216912237*y^18 - 2411369351868273465414481112165157081837732491519/1195420824995839815293374003021217572343216912237*y^17 - 6637199016046341678002401458339824677526553616022/1195420824995839815293374003021217572343216912237*y^16 - 15731327126062983537687957511620724833178799959799/1195420824995839815293374003021217572343216912237*y^15 - 32426629725181607448495316957523389368893254415873/1195420824995839815293374003021217572343216912237*y^14 - 55753081091956768321424263741337444317326262020578/1195420824995839815293374003021217572343216912237*y^13 - 82398934295542202838226147441351704185253284013528/1195420824995839815293374003021217572343216912237*y^12 - 95041820675949715930486294156625735743789446136937/1195420824995839815293374003021217572343216912237*y^11 - 78927336098532714186592917898894709003501216152003/1195420824995839815293374003021217572343216912237*y^10 - 35722412879554725313245112870597939091809166103095/1195420824995839815293374003021217572343216912237*y^9 + 15910582343144231475177159775962147224804732197147/1195420824995839815293374003021217572343216912237*y^8 + 57710172652005402269356203449499878894413487040478/1195420824995839815293374003021217572343216912237*y^7 + 62484073086060346914087017902405516239590783197625/1195420824995839815293374003021217572343216912237*y^6 + 39908058515758538241498061035624307710799941469193/1195420824995839815293374003021217572343216912237*y^5 + 22825890592091743479133782088738818416929656472057/1195420824995839815293374003021217572343216912237*y^4 + 9429958471408166869324095678049693978614655113854/1195420824995839815293374003021217572343216912237*y^3 + 1624721579280218119600259691919690476290246695017/1195420824995839815293374003021217572343216912237*y^2 + 2140989364152348646522443640367005605233094520760/1195420824995839815293374003021217572343216912237*y + 2371841259321641280945602160465001095632036450577/1195420824995839815293374003021217572343216912237

2191344738970682741603661412585419390234750956/3586262474987519445880122009063652717029650736711*y^22 + 2390994500310309147991874558620340588146267257/1195420824995839815293374003021217572343216912237*y^21 + 45257450316564023422530028122610106690885512300/3586262474987519445880122009063652717029650736711*y^20 + 145954814949345192256012381177622578636588768183/3586262474987519445880122009063652717029650736711*y^19 + 572364206395538478551487761031805790006628311672/3586262474987519445880122009063652717029650736711*y^18 + 1646256373130483326110789185159868218207243439247/3586262474987519445880122009063652717029650736711*y^17 + 4900826113426558608583948306409336609710372119547/3586262474987519445880122009063652717029650736711*y^16 + 12098712356104393118788999573641694042854016651882/3586262474987519445880122009063652717029650736711*y^15 + 27782110780363793997398691461096957290420252883879/3586262474987519445880122009063652717029650736711*y^14 + 17836354478312798366142533222452658283404842615774/1195420824995839815293374003021217572343216912237*y^13 + 92368929399443673972750870160153092423993709087021/3586262474987519445880122009063652717029650736711*y^12 + 133910538758462923503101838168554725585805255249621/3586262474987519445880122009063652717029650736711*y^11 + 169674138483100458090099371865428091253312732780990/3586262474987519445880122009063652717029650736711*y^10 + 175064521724255608509062629514999696926479357670778/3586262474987519445880122009063652717029650736711*y^9 + 164414390926536072396188922077052105687448248451480/3586262474987519445880122009063652717029650736711*y^8 + 129117747899813150735456096823692204082598709331766/3586262474987519445880122009063652717029650736711*y^7 + 32502610266256665882388141360459934333581504016405/1195420824995839815293374003021217572343216912237*y^6 + 62827320462804487475850506068290960564661108729226/3586262474987519445880122009063652717029650736711*y^5 + 15899805337675437750298894821620938347059136063648/1195420824995839815293374003021217572343216912237*y^4 + 15003859907262151478891219049065847808840460442019/3586262474987519445880122009063652717029650736711*y^3 + 8589981141000392234209465490406167523222272505850/3586262474987519445880122009063652717029650736711*y^2 + 5117963791354663852882954360211390416844033374637/3586262474987519445880122009063652717029650736711*y + 998661459338061440478827483523634947659492612370/1195420824995839815293374003021217572343216912237

239512633199672054366259385164957027603484743/1195420824995839815293374003021217572343216912237*y^22 - 694766495973501703582409414436593519417935034/1195420824995839815293374003021217572343216912237*y^21 + 3490610888029702886567037536260631372181451098/1195420824995839815293374003021217572343216912237*y^20 - 5888692797341215308982055796698820912365144258/1195420824995839815293374003021217572343216912237*y^19 + 18384659016815692293096088285471637467509757075/1195420824995839815293374003021217572343216912237*y^18 - 27323441662750238190576717381574280498649872744/1195420824995839815293374003021217572343216912237*y^17 + 46962686449600447306527593357713880389555754561/1195420824995839815293374003021217572343216912237*y^16 - 145101411217228835290797180129763170587739197285/1195420824995839815293374003021217572343216912237*y^15 - 108680327338389780918039617771277687880145621152/1195420824995839815293374003021217572343216912237*y^14 - 664753114308300278005377052637659709364598424132/1195420824995839815293374003021217572343216912237*y^13 - 418376541804051881683638952500728304290006866255/1195420824995839815293374003021217572343216912237*y^12 - 1531231982347571272326855956062779862757464678577/1195420824995839815293374003021217572343216912237*y^11 + 958496272634823959362167609362613571682731511244/1195420824995839815293374003021217572343216912237*y^10 + 999297586612314430617490353657229817058422118914/1195420824995839815293374003021217572343216912237*y^9 + 4725524502388805325807046138502588680740489823720/1195420824995839815293374003021217572343216912237*y^8 + 4997025012804122206454005498345556030203318785598/1195420824995839815293374003021217572343216912237*y^7 + 8755588215847438179434384720473332530663214493644/1195420824995839815293374003021217572343216912237*y^6 + 3040675174886424233470381145409127758187726450424/1195420824995839815293374003021217572343216912237*y^5 + 6176244545820351845013864350909091709271730599732/1195420824995839815293374003021217572343216912237*y^4 + 1980785200177888660618685181762043201100165768818/1195420824995839815293374003021217572343216912237*y^3 + 805776260047653827217798262488775953109105534213/1195420824995839815293374003021217572343216912237*y^2 + 984159148726313118537815215523552383430893445481/1195420824995839815293374003021217572343216912237*y + 400081218851316635458049959789768791347727167168/1195420824995839815293374003021217572343216912237

486312229446365917023021185197963298329939262309/70529828674754549102309066178251836768249797821983*y^22 + 500429461362407818577004890498693535355893381329/70529828674754549102309066178251836768249797821983*y^21 + 7010003741140628475425137359000871019050530341449/70529828674754549102309066178251836768249797821983*y^20 + 14708310918171485105761303531364854822733755152078/70529828674754549102309066178251836768249797821983*y^19 + 66163006667471242812066055078603530941406175777729/70529828674754549102309066178251836768249797821983*y^18 + 159082656781232854434544288770004578294219845363560/70529828674754549102309066178251836768249797821983*y^17 + 466671851738908489205274717917455153493502699107833/70529828674754549102309066178251836768249797821983*y^16 + 1006524725136747695285930078990774798459323015426593/70529828674754549102309066178251836768249797821983*y^15 + 2039943350432481375098753249564165024967704009080920/70529828674754549102309066178251836768249797821983*y^14 + 3266861235541263589298547621519004235665189243125769/70529828674754549102309066178251836768249797821983*y^13 + 4932082427644815404261470304678049379932097528707277/70529828674754549102309066178251836768249797821983*y^12 + 5338862679460219424496613460403799767178397153078047/70529828674754549102309066178251836768249797821983*y^11 + 5408869477541593139543986117763883305193082573176184/70529828674754549102309066178251836768249797821983*y^10 + 4406184993618869597523663961610534479460202799397968/70529828674754549102309066178251836768249797821983*y^9 + 3628503652544657953443872912802538791205148343668804/70529828674754549102309066178251836768249797821983*y^8 + 2074608519365186648102038027644582130461680978191150/70529828674754549102309066178251836768249797821983*y^7 + 2633714655933011809553461881640492422267243515090254/70529828674754549102309066178251836768249797821983*y^6 + 1146894550576758906738008797036420666145088195323457/70529828674754549102309066178251836768249797821983*y^5 + 491998396287320316536702409511412309246149435888006/70529828674754549102309066178251836768249797821983*y^4 + 566954297070219771781729234659197721640092271368015/70529828674754549102309066178251836768249797821983*y^3 + 178786688485466793171080014872272757875525746462641/70529828674754549102309066178251836768249797821983*y^2 + 148109037041569864604738021408691897167285446064633/70529828674754549102309066178251836768249797821983*y + 125695640870132142920528819500295682856080605034565/70529828674754549102309066178251836768249797821983

-326116604336847941679854611009218378859791613992/70529828674754549102309066178251836768249797821983*y^22 - 391147936632493015874135253966588845042410714921/70529828674754549102309066178251836768249797821983*y^21 - 4877188696083265245828049742965040450200496294585/70529828674754549102309066178251836768249797821983*y^20 - 10819021318727933106655862333661224009899174915800/70529828674754549102309066178251836768249797821983*y^19 - 47783934467188929166580616309522773761359575840214/70529828674754549102309066178251836768249797821983*y^18 - 118266711232122334371524493951351961168440563488363/70529828674754549102309066178251836768249797821983*y^17 - 348055453449472037941389759726884240164717852825490/70529828674754549102309066178251836768249797821983*y^16 - 770808044235012776606131321228142949696112145502885/70529828674754549102309066178251836768249797821983*y^15 - 1604935409686205666073444897716984228465673030605849/70529828674754549102309066178251836768249797821983*y^14 - 2692668200248470381629810907014454146867528690341709/70529828674754549102309066178251836768249797821983*y^13 - 4223384499735137194344315078726171310259171506975445/70529828674754549102309066178251836768249797821983*y^12 - 5021194647371960730228553342246190715701133656386407/70529828674754549102309066178251836768249797821983*y^11 - 5538879156593067569084744169966976555533900549905243/70529828674754549102309066178251836768249797821983*y^10 - 4983780034520570872296551470996189171374654586895190/70529828674754549102309066178251836768249797821983*y^9 - 4253757410833549198349571549975230941976258686296983/70529828674754549102309066178251836768249797821983*y^8 - 2755238904659751626467772155239395615776750339403471/70529828674754549102309066178251836768249797821983*y^7 - 2629115082667848992478667858821612426145724704060854/70529828674754549102309066178251836768249797821983*y^6 - 1267315865681648607096213468599998986085955230339925/70529828674754549102309066178251836768249797821983*y^5 - 773507000519506481440465120275680679330289940863310/70529828674754549102309066178251836768249797821983*y^4 - 572487191658772895362704437946381142418768182317429/70529828674754549102309066178251836768249797821983*y^3 - 134421140852200613072772135431429732134774756057649/70529828674754549102309066178251836768249797821983*y^2 - 111110502462490490951751931744025983234801680930782/70529828674754549102309066178251836768249797821983*y - 16597647198508665709973973830788917608597546638584/70529828674754549102309066178251836768249797821983

-415636908714976653570390395237138188183498446643/120737503324579821344630774305142974806664908135937*y^22 - 2885308941697967759802856592143676167854476202008/362212509973739464033892322915428924419994724407811*y^21 - 6850441162765979140589453893654910941380292400221/120737503324579821344630774305142974806664908135937*y^20 - 62207059470393458190778281053014400357472629560987/362212509973739464033892322915428924419994724407811*y^19 - 232036578155255788363396441663752932717889658720843/362212509973739464033892322915428924419994724407811*y^18 - 660405915191638638051668962396135105778179004979605/362212509973739464033892322915428924419994724407811*y^17 - 1861399952486704129638529830056992037220761074224388/362212509973739464033892322915428924419994724407811*y^16 - 4484086264658834370109605787363731172718632462180687/362212509973739464033892322915428924419994724407811*y^15 - 9589196851966499249653244637889760186969680063952266/362212509973739464033892322915428924419994724407811*y^14 - 17457678216823859371863930444141414873351871287398561/362212509973739464033892322915428924419994724407811*y^13 - 9415959425814097975175265100321527619113441234547477/120737503324579821344630774305142974806664908135937*y^12 - 38064511148131595201725800387736930728847493519663929/362212509973739464033892322915428924419994724407811*y^11 - 43797415168723366449361267306678014955268926740992714/362212509973739464033892322915428924419994724407811*y^10 - 43467394350971633819218701067549875639952729370189125/362212509973739464033892322915428924419994724407811*y^9 - 38046514609310386195562981040556003122418865337311075/362212509973739464033892322915428924419994724407811*y^8 - 28519794841340684919061444481321877579212203718528995/362212509973739464033892322915428924419994724407811*y^7 - 20992723669836610815216865303523989880834273511833437/362212509973739464033892322915428924419994724407811*y^6 - 4822923173705666435874689755079418256799684723773801/120737503324579821344630774305142974806664908135937*y^5 - 7307421779981549166325999859729341124965212024379826/362212509973739464033892322915428924419994724407811*y^4 - 1234737358422992648637171017112812954715009227428074/120737503324579821344630774305142974806664908135937*y^3 - 1423143877084626373943899123316510267356393508865694/362212509973739464033892322915428924419994724407811*y^2 - 538150402152001740508594882130132692142093265854167/362212509973739464033892322915428924419994724407811*y + 12665444314733007747055889728337183988463656086548/362212509973739464033892322915428924419994724407811

22318707920286140651316690862800521756587639728652/7123512696150209459333215684003435513593229580020283*y^22 + 36919884069394000697977418019174496044630367483023/7123512696150209459333215684003435513593229580020283*y^21 + 351893884955909334597484334753268756442978349691192/7123512696150209459333215684003435513593229580020283*y^20 + 886730013680058464382300436337388287440218126244703/7123512696150209459333215684003435513593229580020283*y^19 + 3672460682211335935830751724931884058959078762093190/7123512696150209459333215684003435513593229580020283*y^18 + 9580495361251600031602023919033879889667897112236483/7123512696150209459333215684003435513593229580020283*y^17 + 27833830451915743111212959151948072423944354772398217/7123512696150209459333215684003435513593229580020283*y^16 + 63636595316821377609762647023460179841944141255738773/7123512696150209459333215684003435513593229580020283*y^15 + 134458660784214799461370280787547683650122529917109269/7123512696150209459333215684003435513593229580020283*y^14 + 232066776025195431354136823886278885848447245888855812/7123512696150209459333215684003435513593229580020283*y^13 + 364222138981850781655555183304367393255204234624387488/7123512696150209459333215684003435513593229580020283*y^12 + 444658393672072818790331414771813240224756684264863035/7123512696150209459333215684003435513593229580020283*y^11 + 472736122196393895928680728909039963601991339741588034/7123512696150209459333215684003435513593229580020283*y^10 + 384604719503089439156520859254830241541980913052946728/7123512696150209459333215684003435513593229580020283*y^9 + 266878618163362369791985475789318127892099457514037503/7123512696150209459333215684003435513593229580020283*y^8 + 103436788512497688561673116814315266207929678524623735/7123512696150209459333215684003435513593229580020283*y^7 + 55614170362215853834493072056572000074773386344959822/7123512696150209459333215684003435513593229580020283*y^6 - 20819801991831083588989317477132624787156528917625216/7123512696150209459333215684003435513593229580020283*y^5 - 24637140030192290667712684791945509623517841031339310/7123512696150209459333215684003435513593229580020283*y^4 - 42721487046096036634735231157542090019018484215314501/7123512696150209459333215684003435513593229580020283*y^3 - 37300117802305514780086669187962743814236456185757070/7123512696150209459333215684003435513593229580020283*y^2 - 12732910337804277850579486141201281144799386886221271/7123512696150209459333215684003435513593229580020283*y - 3339907647207182311260500886160998749505874488932096/7123512696150209459333215684003435513593229580020283

309787476469116417166123128883190727368496021469/120737503324579821344630774305142974806664908135937*y^22 + 543292311895888130379718565382600964723545947388/120737503324579821344630774305142974806664908135937*y^21 + 4682081495461161122071037751929017994659168321836/120737503324579821344630774305142974806664908135937*y^20 + 12744641497709794426195347590408250857936499184946/120737503324579821344630774305142974806664908135937*y^19 + 49032369422073778790318483290137318841091361191880/120737503324579821344630774305142974806664908135937*y^18 + 133872734218541015728791801071576253914896084716327/120737503324579821344630774305142974806664908135937*y^17 + 375519216680406426333284857927572571238595569811659/120737503324579821344630774305142974806664908135937*y^16 + 878003923207766374747974581180796128236138240671663/120737503324579821344630774305142974806664908135937*y^15 + 1821525771657228570925599191798083045638082718559838/120737503324579821344630774305142974806664908135937*y^14 + 3194496341273569233330959961075714482410569769416996/120737503324579821344630774305142974806664908135937*y^13 + 5059989182347272399863016066621238279943130773819906/120737503324579821344630774305142974806664908135937*y^12 + 6566295069354344570793941700949346995903319899931204/120737503324579821344630774305142974806664908135937*y^11 + 7479442516660905222239216695910627974946923749550425/120737503324579821344630774305142974806664908135937*y^10 + 7815092734466839934738590299687452302684122219983692/120737503324579821344630774305142974806664908135937*y^9 + 7503184521513507136880477297247668049469718752075237/120737503324579821344630774305142974806664908135937*y^8 + 6345015957581395033805381076033740097597537771338427/120737503324579821344630774305142974806664908135937*y^7 + 5491868776586294827675138964086258450569256124825232/120737503324579821344630774305142974806664908135937*y^6 + 4088837770186676381979811914103881273451973949662510/120737503324579821344630774305142974806664908135937*y^5 + 1948684608930903379463625341556167640686850971012596/120737503324579821344630774305142974806664908135937*y^4 + 1332427035441056758049852411533727253771952432108501/120737503324579821344630774305142974806664908135937*y^3 + 710013343484078073105455871404272735713244110032650/120737503324579821344630774305142974806664908135937*y^2 + 210626436965184654906268467857235976357043127254957/120737503324579821344630774305142974806664908135937*y + 123207848997228964907418066588278558094979007122917/120737503324579821344630774305142974806664908135937


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

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

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

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

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

# 1 Loop Invariant
-4867452304009384498127887416022495219680505283/1195420824995839815293374003021217572343216912237*y^22 - 68494860446853283684699135759059504851133833561/2390841649991679630586748006042435144686433824474*y^21 - 290945969568119946922800063273399270548366331799/2390841649991679630586748006042435144686433824474*y^20 - 643708422510630158285253921902496171543286753168/1195420824995839815293374003021217572343216912237*y^19 - 4478101912316548121270212980783858606326475452627/2390841649991679630586748006042435144686433824474*y^18 - 7354368386723900379337237962367717487855207803040/1195420824995839815293374003021217572343216912237*y^17 - 42800046378452465459103605715021455102201022847825/2390841649991679630586748006042435144686433824474*y^16 - 114092870460249444295326257020010700948669921487733/2390841649991679630586748006042435144686433824474*y^15 - 269807077407548998077416807607785407558466398514885/2390841649991679630586748006042435144686433824474*y^14 - 278887780030786045971164083391864380930687996673709/1195420824995839815293374003021217572343216912237*y^13 - 1004478013585763352053770779112208763458845081681971/2390841649991679630586748006042435144686433824474*y^12 - 1575728649478120186825894481803818967388765425301761/2390841649991679630586748006042435144686433824474*y^11 - 2103239670260421239444063671264340560389412994394305/2390841649991679630586748006042435144686433824474*y^10 - 1185044157060516767701297423595598767719253240700426/1195420824995839815293374003021217572343216912237*y^9 - 1148816856096480003517999276755341550415199722271529/1195420824995839815293374003021217572343216912237*y^8 - 952697000043550925329869502123562253868623605592296/1195420824995839815293374003021217572343216912237*y^7 - 686946013502072253859729536524332397026443921594889/1195420824995839815293374003021217572343216912237*y^6 - 914382570930752126991431390692722721772143613863221/2390841649991679630586748006042435144686433824474*y^5 - 301226485599111179576789224088480684387519253609655/1195420824995839815293374003021217572343216912237*y^4 - 277714407005359321230713693889078415943150858612101/2390841649991679630586748006042435144686433824474*y^3 - 54158640264545435833018007165062969969231414796619/1195420824995839815293374003021217572343216912237*y^2 - 2574677693265756180353505556048192454433191094821/1195420824995839815293374003021217572343216912237*y + 10538229824800854771196166915100369771996755236261/2390841649991679630586748006042435144686433824474

# 2 Loop Invariant
295276011468955991988285624930640070404107747065018768750271057114444771452400825093343208592276991511381045/814315540289320428011318227508453567466648662076233801641658473590560869383589719132373552611541389647463309432*y^22 + 432803958144081590398815478666219270599450190447783383631720172900219111426107478547203573802443229373406945/814315540289320428011318227508453567466648662076233801641658473590560869383589719132373552611541389647463309432*y^21 + 603844769285472488487636667244600904026899609937291654737417224508650516295824454324854413721460053345418129/101789442536165053501414778438556695933331082759529225205207309198820108672948714891546694076442673705932913679*y^20 + 1420244177535075761498426475420142353856571331660302505408280052091112613226162125558651315461283818302742925/101789442536165053501414778438556695933331082759529225205207309198820108672948714891546694076442673705932913679*y^19 + 25274900680751264742885136660741438128583184279163583479975447553078978303442215151840293418741470353473979805/407157770144660214005659113754226783733324331038116900820829236795280434691794859566186776305770694823731654716*y^18 + 129212944021681370905882413609956128047550525073601543900072257106511369842652830806574653461352410925022004073/814315540289320428011318227508453567466648662076233801641658473590560869383589719132373552611541389647463309432*y^17 + 48637315213024820596953608318467333826961045667010689262300271934043874720796791496721764455778942831777966465/101789442536165053501414778438556695933331082759529225205207309198820108672948714891546694076442673705932913679*y^16 + 447745395865326819753859973730106360436690442195514249992183155708520122017061316973338831710863414793805826055/407157770144660214005659113754226783733324331038116900820829236795280434691794859566186776305770694823731654716*y^15 + 1967615585240949178243946831758090399122793881376121365723623758581953921951681543462500986346165626063224856543/814315540289320428011318227508453567466648662076233801641658473590560869383589719132373552611541389647463309432*y^14 + 592060397764360475489335356428701217793265110915962349855473049213464546040162156603715255207127445249621160407/135719256714886738001886371251408927911108110346038966940276412265093478230598286522062258768590231607910551572*y^13 + 744788974020239846639092088202032741976207501467007461825594663040895864264955436953155274925512047002030955973/101789442536165053501414778438556695933331082759529225205207309198820108672948714891546694076442673705932913679*y^12 + 2672371870787799145103195342276729357175105157181274635691387336788347082433828632660037184323150804713179314849/271438513429773476003772742502817855822216220692077933880552824530186956461196573044124517537180463215821103144*y^11 + 9989932621633737169438094269976388502451803361762616474873424207716035774495499349989622368599613229887881245927/814315540289320428011318227508453567466648662076233801641658473590560869383589719132373552611541389647463309432*y^10 + 2548640584459642503266721665066788522938637924023018296824798761577133059005318695635728531579278231157378206627/203578885072330107002829556877113391866662165519058450410414618397640217345897429783093388152885347411865827358*y^9 + 3207476654054148931612768536670736779494589798474870701334245556362273820307858955164305316202980138004307610293/271438513429773476003772742502817855822216220692077933880552824530186956461196573044124517537180463215821103144*y^8 + 1256941600069726173372183009138422604525549439170500398507082397497760374030704316475420455264705644823496008423/135719256714886738001886371251408927911108110346038966940276412265093478230598286522062258768590231607910551572*y^7 + 1591364508001521610069619792429045322431566908034621802253725215950324789050443617191214003707517791097708268823/203578885072330107002829556877113391866662165519058450410414618397640217345897429783093388152885347411865827358*y^6 + 615915244135275465632828065253915930438901011315127090839650107166834127887098443762241082556814787773329088969/135719256714886738001886371251408927911108110346038966940276412265093478230598286522062258768590231607910551572*y^5 + 2710627881564885667098510299188993728353906598347636991685660290214867232460136620073384740488614044161504909099/814315540289320428011318227508453567466648662076233801641658473590560869383589719132373552611541389647463309432*y^4 + 656997329932253021511421030599037509984976844424216258905224683072142504457430548430467552721784292129703683249/407157770144660214005659113754226783733324331038116900820829236795280434691794859566186776305770694823731654716*y^3 + 40803284678358177331116651270402462289546864164969392789790270734833879695025200507661470306477314957471808661/101789442536165053501414778438556695933331082759529225205207309198820108672948714891546694076442673705932913679*y^2 + 100923496371816792337249279913224320550679373502824074859457349096296007771200826214306566907794615158093901059/271438513429773476003772742502817855822216220692077933880552824530186956461196573044124517537180463215821103144*y + 3445041829793902762257873482542990414640792314221045570707362671333289232132809424006972846534552480955386195/101789442536165053501414778438556695933331082759529225205207309198820108672948714891546694076442673705932913679

# 3 Loop Invariant
-44385756834518113114364948001383049287930137741035367293686994730061447484548745383482459818657399673404714244245406567657428390504045133/361527891929685551845907948129009469356785430222408550297215657383804594998499537996275433529193880451143413020976568259878291220499343079662*y^22 + 19564848152098212034350811889015381805434349805716293969619680059316449925695377669104224883807737121779132780372437633069720129793161945/2892223135437484414767263585032075754854283441779268402377725259070436759987996303970203468233551043609147304167812546079026329763994744637296*y^21 - 4394647243732052733233549556612556303337542217643970167816365701067392545263438204169707203034696220052224359199639468265520136968452155027/2892223135437484414767263585032075754854283441779268402377725259070436759987996303970203468233551043609147304167812546079026329763994744637296*y^20 - 286567481792796107232156515139379417638076831368429158803865699968082118631431660086950734809712228507576207685363217456683989988589282771/180763945964842775922953974064504734678392715111204275148607828691902297499249768998137716764596940225571706510488284129939145610249671539831*y^19 - 15826861137622808556895540090147831146487521752428643068438144566706486735596130488495721535639273314013742579244200646565461881177549995323/1446111567718742207383631792516037877427141720889634201188862629535218379993998151985101734116775521804573652083906273039513164881997372318648*y^18 - 12467421038744192884184814817977789607009833410262210893050617287645866740898958570729844191087837169241469110484450677659186756570169374365/723055783859371103691815896258018938713570860444817100594431314767609189996999075992550867058387760902286826041953136519756582440998686159324*y^17 - 161822958332497605733126363003463847278994795077454636205474430516050724806389425359039220588874828566759746964346826815420474769958096832155/2892223135437484414767263585032075754854283441779268402377725259070436759987996303970203468233551043609147304167812546079026329763994744637296*y^16 - 54976662364670481553202427056903540586912464185304107554421615234599868718621227244484009167196219481817871573384226687804763745599695726003/723055783859371103691815896258018938713570860444817100594431314767609189996999075992550867058387760902286826041953136519756582440998686159324*y^15 - 71324152169830257494352189169210206374606111996453857564614621217334500062857073780713679889655282387590881605684257449079964970150277049701/723055783859371103691815896258018938713570860444817100594431314767609189996999075992550867058387760902286826041953136519756582440998686159324*y^14 + 182141648832690679074071385860733841356122405955529653886933376785041309397600581376282833546910485853363761885340546974095675338830074862431/2892223135437484414767263585032075754854283441779268402377725259070436759987996303970203468233551043609147304167812546079026329763994744637296*y^13 + 480486681848662101121094357172337590864865632432193005844361120685428751289740980095408786548196069834716973469303192700969895308360229537803/1446111567718742207383631792516037877427141720889634201188862629535218379993998151985101734116775521804573652083906273039513164881997372318648*y^12 + 1721177304208722677501250378305553426968695745535864731158511775259196952304631432054669270013580068644811102322371737642693064988834891179961/1446111567718742207383631792516037877427141720889634201188862629535218379993998151985101734116775521804573652083906273039513164881997372318648*y^11 + 5640454183099953123192812754931887786865338006381893219602739896343927325609979341669924791755135329199183951450253444264477174063412211558091/2892223135437484414767263585032075754854283441779268402377725259070436759987996303970203468233551043609147304167812546079026329763994744637296*y^10 + 7758065693061255490610941724002940740821607803620254605418061768036311051568551719032431006874103352931940324268365911826141491623332603299343/2892223135437484414767263585032075754854283441779268402377725259070436759987996303970203468233551043609147304167812546079026329763994744637296*y^9 + 3975663966210529790168530934406649158769532877795132267337592874910097827959940221877964715526466223373899117693244581662867990152676109858439/1446111567718742207383631792516037877427141720889634201188862629535218379993998151985101734116775521804573652083906273039513164881997372318648*y^8 + 7807818560322774256633703422347337889330503015070313210310263333443548290466414662471105847415264656213820602581438906386753073937692874906815/2892223135437484414767263585032075754854283441779268402377725259070436759987996303970203468233551043609147304167812546079026329763994744637296*y^7 + 2368102376480753828862435605751697073864229952228332800879920054981116796643043847633781707824003409925485745175355815872341943644974729637473/1446111567718742207383631792516037877427141720889634201188862629535218379993998151985101734116775521804573652083906273039513164881997372318648*y^6 + 1024916601862595892414114774878909603086706550578288265671610376257056864768879212027833897998858179285555927075646966292307337483846481885291/723055783859371103691815896258018938713570860444817100594431314767609189996999075992550867058387760902286826041953136519756582440998686159324*y^5 + 668373796452368872931142754698354655575047995161682914903430321761357413341270427222113113750875373404853295258940690306720451868210235144991/723055783859371103691815896258018938713570860444817100594431314767609189996999075992550867058387760902286826041953136519756582440998686159324*y^4 + 882471393382913353016755044686534341565746847631876403956976764317810686959876842278843868476121814799457212292042909454461033406559229111809/2892223135437484414767263585032075754854283441779268402377725259070436759987996303970203468233551043609147304167812546079026329763994744637296*y^3 + 70511301269999737627838678280622998903369355911408526139375371768387227269328582484863122766268403778408266967525929207549349097835597305241/723055783859371103691815896258018938713570860444817100594431314767609189996999075992550867058387760902286826041953136519756582440998686159324*y^2 + 58767578015538169285157202259005698601153092782791364130383489475154728184665443742676965312060527101978559128462917080711709370834960994229/723055783859371103691815896258018938713570860444817100594431314767609189996999075992550867058387760902286826041953136519756582440998686159324*y + 156773047412218303992118156258195939572610773567710326619120389514841010242601329756301859411616745109290342853619242867718772260440149254099/2892223135437484414767263585032075754854283441779268402377725259070436759987996303970203468233551043609147304167812546079026329763994744637296

# 4 Loop Invariant
-9290997947203886894063740860743344651985601512409946054916190354356249677185909141837564229271098883528106654283326262264415330890433694881873278294921640334558114235394144036542537219207270420716374129/29552549979785283111488938151233267758561695432669367877088876868914665577124900631402027244790507137252052253396228156188357570151040857233773623951663761990372702863588598985865482369758848521186633107840*y^22 - 370047908724340948524800347620734073163092377297031109700226276748262406144189947085238148146153405491443632742691742467528259062974174755872188308341792489850555238763372856276753448894444708699786219/1970169998652352207432595876748884517237446362177957858472591791260977705141660042093468482986033809150136816893081877079223838010069390482251574930110917466024846857572573265724365491317256568079108873856*y^21 - 1659654098707105128431261890464721929182540948019369277240307258067488744119932309142099719336978163265870758455808000677986747647324635540864152041682513102950276344029802439840976380404683723021315015/369406874747316038893611726890415846982021192908367098463610960861433319714061257892525340559881339215650653167452851952354469626888010715422170299395797024879658785794857487323318529621985606514832913848*y^20 - 110611650413956297198786507566812328884943579490277263084962151756794645175659639593841164865174929797148403083374786582050347095343379301227556208418775078421402778918661871366666338084463337811942059041/14776274989892641555744469075616633879280847716334683938544438434457332788562450315701013622395253568626026126698114078094178785075520428616886811975831880995186351431794299492932741184879424260593316553920*y^19 - 98515064878781336526462245573168826088423072857630309261739325476171457002102554283377025544382114439795959057587082933610553456467909990517326419172240441775716279549564784927254714453104412747050061193/2462712498315440259290744845936105646546807952722447323090739739076222131427075052616835603732542261437671021116352346349029797512586738102814468662638646832531058571965716582155456864146570710098886092320*y^18 - 2509333300370462258623013987726963018126898954748742348010535576098462863685801779002022930078110839224190184881051945253686690624006562948307783612298871652140080552847178335705204071612905470258133859869/29552549979785283111488938151233267758561695432669367877088876868914665577124900631402027244790507137252052253396228156188357570151040857233773623951663761990372702863588598985865482369758848521186633107840*y^17 - 656496455254511565111272565040467726623998623309796017740932406639661394967185753702659416067152927897694004211980932670378179729352641138407750465388251956318423248895099044821930382750565399820201514929/2462712498315440259290744845936105646546807952722447323090739739076222131427075052616835603732542261437671021116352346349029797512586738102814468662638646832531058571965716582155456864146570710098886092320*y^16 - 1306099233228489498779023591829124514903379588411555573722620106523015637383510606002635088049250349989387731387765963388376944331115131066836425258037774891157107312519832801941157279961536146349675707349/2462712498315440259290744845936105646546807952722447323090739739076222131427075052616835603732542261437671021116352346349029797512586738102814468662638646832531058571965716582155456864146570710098886092320*y^15 - 32015705322783888825224181764858607298617327558545253661692887544662425138415401996651642649517434792691669129072059955138978031131749626173321568746864991484163465465702988579558420329356185813294937564863/29552549979785283111488938151233267758561695432669367877088876868914665577124900631402027244790507137252052253396228156188357570151040857233773623951663761990372702863588598985865482369758848521186633107840*y^14 - 23518608381304556594612806372487167407168111932578642027972445427025081756332213178043336942986417333195557096105796835913944392562538427818141090835138806945323654538015182207373809986735247772963211943107/14776274989892641555744469075616633879280847716334683938544438434457332788562450315701013622395253568626026126698114078094178785075520428616886811975831880995186351431794299492932741184879424260593316553920*y^13 - 34974701014665576851158898042566870301787124832217694860356922249916340469382211497845301854402060245771132680637407000227954585385018699841465087919337969972820116442761016719407829226674184127414998653429/14776274989892641555744469075616633879280847716334683938544438434457332788562450315701013622395253568626026126698114078094178785075520428616886811975831880995186351431794299492932741184879424260593316553920*y^12 - 12142479888528771505712236071569001739314109911239145134717929182394845865013775794102624975998243034843812024012563050238648900040956312425958098866027460058293577676309688395069306478817311410955312335927/5910509995957056622297787630246653551712339086533873575417775373782933115424980126280405448958101427450410450679245631237671514030208171446754724790332752398074540572717719797173096473951769704237326621568*y^11 - 6274241868925693363293742037890335036413111204189143042389104511030471195876187609560038023917434347675135041213830116310552251862618710555405307392208313318572292442310106367819059846806688809275218981159/3283616664420587012387659794581474195395743936963263097454319652101629508569433403489114138310056348583561361488469795132039730016782317470419291550184862443374744762620955442873942485528760946798514789760*y^10 - 10059609469668350489204226394191662013078111624281837380460752528344730992291370335418598394887861462168202253186576229367669300282554778743903498980857546705075938972529929119069420965531190507535421321379/14776274989892641555744469075616633879280847716334683938544438434457332788562450315701013622395253568626026126698114078094178785075520428616886811975831880995186351431794299492932741184879424260593316553920*y^9 - 206329130143944309145173327539609469032792045810818147358755146956417387956375444962291148070328933162094659605474922538492198757222281456483996975938932611951035106859217327184259868894209980048409160051/656723332884117402477531958916294839079148787392652619490863930420325901713886680697822827662011269716712272297693959026407946003356463494083858310036972488674948952524191088574788497105752189359702957952*y^8 + 13834598766704561360797217976590692499039007027786007396768060332257507187547273113037228463559349032579696585437150325296300701429747988874172997210615330364061549020465239828476303607436332815770404724631/14776274989892641555744469075616633879280847716334683938544438434457332788562450315701013622395253568626026126698114078094178785075520428616886811975831880995186351431794299492932741184879424260593316553920*y^7 - 1037191433690956702005388668788213382339458751306842818295442176828668840132295253818334619426050222410547083707478397189087543031529555894014567923486349257754965003042495173285331025739038355345095588367/7388137494946320777872234537808316939640423858167341969272219217228666394281225157850506811197626784313013063349057039047089392537760214308443405987915940497593175715897149746466370592439712130296658276960*y^6 + 1445546919538518608108284573562952936742009580244945534890967156203559913922810260313779215282113081556864734808966415016107237779761898619215355857588449066092408943992137457159255976419820153985935053325/1477627498989264155574446907561663387928084771633468393854443843445733278856245031570101362239525356862602612669811407809417878507552042861688681197583188099518635143179429949293274118487942426059331655392*y^5 + 690739007358052947788362934783108536412623785089597130708820555610084366547805862114724371846612281383624508118910482278697108290029013996330302375250403202946870248388271946981369361930839274527632429413/9850849993261761037162979383744422586187231810889789292362958956304888525708300210467342414930169045750684084465409385396119190050346952411257874650554587330124234287862866328621827456586282840395544369280*y^4 + 2754703789190678534420584339042814064122367829407356925786237766855839196299555543388451334094948802345245157883991684499013435381322161099078954781844423324889247130181918181414131002544302030821566557441/7388137494946320777872234537808316939640423858167341969272219217228666394281225157850506811197626784313013063349057039047089392537760214308443405987915940497593175715897149746466370592439712130296658276960*y^3 - 1179275579306188776919906124988050596034211159503363074747454155049956349968640840517258152694228498543684473946406328878315991347758557563004694835547470512678433213912640980275601936227051780717923212973/7388137494946320777872234537808316939640423858167341969272219217228666394281225157850506811197626784313013063349057039047089392537760214308443405987915940497593175715897149746466370592439712130296658276960*y^2 + 3156213803081788437345197839718663329873797378417798872904978311982534233794562328959005074506163932905122755313948478408757915073215087739187834628993705284641030233704497172600131393487209890077494397189/29552549979785283111488938151233267758561695432669367877088876868914665577124900631402027244790507137252052253396228156188357570151040857233773623951663761990372702863588598985865482369758848521186633107840*y + 1812987845238278863215570487970206812978949388976818486061970489777751782256125221922773334573438859375105646986175420189360196187597751796645639526764688000399014184627731159293135264587042157874796381/369406874747316038893611726890415846982021192908367098463610960861433319714061257892525340559881339215650653167452851952354469626888010715422170299395797024879658785794857487323318529621985606514832913848