# Manifold: Census Knot K7_36

# Number of Tetrahedra: 7

# Number Field
x^24 - 11*x^23 + 48*x^22 + 51*x^21 - 663*x^20 - 53*x^19 + 3868*x^18 + 890*x^17 - 14938*x^16 - 4482*x^15 + 39262*x^14 + 3656*x^13 - 58571*x^12 + 6258*x^11 + 42080*x^10 - 3460*x^9 - 17535*x^8 - 750*x^7 + 4202*x^6 + 717*x^5 - 482*x^4 - 120*x^3 + 28*x^2 + 6*x - 1 

# Approximate Field Generator
1.33152076406150 - 0.189641393070377*I

# Shape Parameters
-103729483480771419056022294226937154261/307782603890614155692811548869252598639*y^23 + 1164636771701405817517461435114185534531/307782603890614155692811548869252598639*y^22 - 5241054500300211409323467740712325225882/307782603890614155692811548869252598639*y^21 - 4111443606439548013260967389792227946715/307782603890614155692811548869252598639*y^20 + 69661251771482853630138062587429373809395/307782603890614155692811548869252598639*y^19 - 9461541779093156663683943211558869958411/307782603890614155692811548869252598639*y^18 - 399389976002919118657868401930087455950539/307782603890614155692811548869252598639*y^17 - 12634793938513039411983110061354439488551/307782603890614155692811548869252598639*y^16 + 1552202985935788267255971844456930295529616/307782603890614155692811548869252598639*y^15 + 175780851830414384048605988698356517338188/307782603890614155692811548869252598639*y^14 - 4079918203352711501374584436073702678043821/307782603890614155692811548869252598639*y^13 + 333865332394873101159710930145091523914071/307782603890614155692811548869252598639*y^12 + 5835881126907335654944964825559929574805418/307782603890614155692811548869252598639*y^11 - 1522926834685516555294734232742193332514815/307782603890614155692811548869252598639*y^10 - 3706375827088636303931848940552458844698929/307782603890614155692811548869252598639*y^9 + 659527618808486826721084677638969319906144/307782603890614155692811548869252598639*y^8 + 1393471961188537462380929381540196249468318/307782603890614155692811548869252598639*y^7 + 46899588846383480609802955371174898028062/307782603890614155692811548869252598639*y^6 - 288776030331780141943302096285910236623829/307782603890614155692811548869252598639*y^5 - 63347076534565949114583502479134290395342/307782603890614155692811548869252598639*y^4 + 18719181816687305073770570979466801381576/307782603890614155692811548869252598639*y^3 + 5715842066747703975259049088261966838695/307782603890614155692811548869252598639*y^2 - 469028606542923970733271408546513051261/307782603890614155692811548869252598639*y + 324691783591438843585476206175672490897/307782603890614155692811548869252598639

377143871970300029584413427546979434889/923347811671842467078434646607757795917*y^23 - 4203837304476553607917449858974094544295/923347811671842467078434646607757795917*y^22 + 18606645119200291767364733687862849670169/923347811671842467078434646607757795917*y^21 + 17567098953627837116333200718049095197570/923347811671842467078434646607757795917*y^20 - 256262708812992386737423201945542588034660/923347811671842467078434646607757795917*y^19 + 1754873920644866514124241246100081335490/307782603890614155692811548869252598639*y^18 + 505525285938991625357983789704598126305728/307782603890614155692811548869252598639*y^17 + 218713698857804520098789100342066250606225/923347811671842467078434646607757795917*y^16 - 5985600162632270768526691951605836015126689/923347811671842467078434646607757795917*y^15 - 1469938654444724156304725706479551192980371/923347811671842467078434646607757795917*y^14 + 15950252200668983187074555472638410375169785/923347811671842467078434646607757795917*y^13 + 1372606929533715855207326876601896124992938/923347811671842467078434646607757795917*y^12 - 23945979464703200935118386460808910745012578/923347811671842467078434646607757795917*y^11 + 1492716213299631610037488007458062612972682/923347811671842467078434646607757795917*y^10 + 5751621341428231905669886622658075773678615/307782603890614155692811548869252598639*y^9 + 136356964338577277033515206551724527662192/307782603890614155692811548869252598639*y^8 - 2305863831479219625012494254479456611553716/307782603890614155692811548869252598639*y^7 - 473046870301378575009559310814227003837085/307782603890614155692811548869252598639*y^6 + 1242011976926325571756803520197265710484498/923347811671842467078434646607757795917*y^5 + 549085875620826445692011293330648885784416/923347811671842467078434646607757795917*y^4 - 16192237684323161706816226949944541493082/923347811671842467078434646607757795917*y^3 - 36843923575446501157361266259053644583250/923347811671842467078434646607757795917*y^2 - 2142828792831196644039076849818386193824/923347811671842467078434646607757795917*y + 638518928317139775097068347559732450178/307782603890614155692811548869252598639

37193898294817114654867801178982341606/307782603890614155692811548869252598639*y^23 - 450312800004693192166167286000017260350/307782603890614155692811548869252598639*y^22 + 2218256088909358534046522509909651189784/307782603890614155692811548869252598639*y^21 + 123053410040428413534042039074824051402/307782603890614155692811548869252598639*y^20 - 27546319602690671124942445653054350468282/307782603890614155692811548869252598639*y^19 + 23650706889728062693390910193798104937312/307782603890614155692811548869252598639*y^18 + 157720160353967100255565502552654049308211/307782603890614155692811548869252598639*y^17 - 114966759980572093966374874912396750357970/307782603890614155692811548869252598639*y^16 - 658300244072154464431189222145683025992356/307782603890614155692811548869252598639*y^15 + 372256568274826631359459113138227458640305/307782603890614155692811548869252598639*y^14 + 1869529078731261686747117511560056849349070/307782603890614155692811548869252598639*y^13 - 1193049109637837533511008611573417585039797/307782603890614155692811548869252598639*y^12 - 2836754060865098423391956793650366323963599/307782603890614155692811548869252598639*y^11 + 2120212362837973628722006093695792174774354/307782603890614155692811548869252598639*y^10 + 1961409788526482012404028360683811847218552/307782603890614155692811548869252598639*y^9 - 1364808159375744116930949098256194515257655/307782603890614155692811548869252598639*y^8 - 871608702947564897412121825478762895276657/307782603890614155692811548869252598639*y^7 + 347660244444824444128237037912483562944212/307782603890614155692811548869252598639*y^6 + 273654433243742081951456647868539271845952/307782603890614155692811548869252598639*y^5 - 9646573802448116330947279337438178400875/307782603890614155692811548869252598639*y^4 - 44708635897148730816698761134019338260815/307782603890614155692811548869252598639*y^3 - 8778392333386142955598169238158249125473/307782603890614155692811548869252598639*y^2 + 1601421947040287233588396816100716470010/307782603890614155692811548869252598639*y + 623533326220878764627182097149149159627/307782603890614155692811548869252598639

37193898294817114654867801178982341606/307782603890614155692811548869252598639*y^23 - 450312800004693192166167286000017260350/307782603890614155692811548869252598639*y^22 + 2218256088909358534046522509909651189784/307782603890614155692811548869252598639*y^21 + 123053410040428413534042039074824051402/307782603890614155692811548869252598639*y^20 - 27546319602690671124942445653054350468282/307782603890614155692811548869252598639*y^19 + 23650706889728062693390910193798104937312/307782603890614155692811548869252598639*y^18 + 157720160353967100255565502552654049308211/307782603890614155692811548869252598639*y^17 - 114966759980572093966374874912396750357970/307782603890614155692811548869252598639*y^16 - 658300244072154464431189222145683025992356/307782603890614155692811548869252598639*y^15 + 372256568274826631359459113138227458640305/307782603890614155692811548869252598639*y^14 + 1869529078731261686747117511560056849349070/307782603890614155692811548869252598639*y^13 - 1193049109637837533511008611573417585039797/307782603890614155692811548869252598639*y^12 - 2836754060865098423391956793650366323963599/307782603890614155692811548869252598639*y^11 + 2120212362837973628722006093695792174774354/307782603890614155692811548869252598639*y^10 + 1961409788526482012404028360683811847218552/307782603890614155692811548869252598639*y^9 - 1364808159375744116930949098256194515257655/307782603890614155692811548869252598639*y^8 - 871608702947564897412121825478762895276657/307782603890614155692811548869252598639*y^7 + 347660244444824444128237037912483562944212/307782603890614155692811548869252598639*y^6 + 273654433243742081951456647868539271845952/307782603890614155692811548869252598639*y^5 - 9646573802448116330947279337438178400875/307782603890614155692811548869252598639*y^4 - 44708635897148730816698761134019338260815/307782603890614155692811548869252598639*y^3 - 8778392333386142955598169238158249125473/307782603890614155692811548869252598639*y^2 + 1601421947040287233588396816100716470010/307782603890614155692811548869252598639*y + 623533326220878764627182097149149159627/307782603890614155692811548869252598639

2198775206823685898615885464070832868453/923347811671842467078434646607757795917*y^23 - 22001695260237408969287946099711924849487/923347811671842467078434646607757795917*y^22 + 83558583950879007266196352151570117890831/923347811671842467078434646607757795917*y^21 + 196445486706659304648987200416922689386686/923347811671842467078434646607757795917*y^20 - 1267920948891509948231589835455331751461376/923347811671842467078434646607757795917*y^19 - 461399319133317732442639557502601521513018/307782603890614155692811548869252598639*y^18 + 2401588722698807104675691104146938552090865/307782603890614155692811548869252598639*y^17 + 9148445415580114507265283118411478195217740/923347811671842467078434646607757795917*y^16 - 24185975748652607347272899210479572033206786/923347811671842467078434646607757795917*y^15 - 34146306901301604264018547060102153442774410/923347811671842467078434646607757795917*y^14 + 53972412404133601641113292635716791027447143/923347811671842467078434646607757795917*y^13 + 62716759886637100955769421526037979837008077/923347811671842467078434646607757795917*y^12 - 70344175870989898592300312429099649467986421/923347811671842467078434646607757795917*y^11 - 57706621196957174501999019695178582979705660/923347811671842467078434646607757795917*y^10 + 13518438877592679970678319071556722502227791/307782603890614155692811548869252598639*y^9 + 11158910758496572466760531586056246891813479/307782603890614155692811548869252598639*y^8 - 2865596800317811500659340098228931029983884/307782603890614155692811548869252598639*y^7 - 3612860603037601012215105820041678201010720/307782603890614155692811548869252598639*y^6 - 481622671004002226159865295686906362897713/923347811671842467078434646607757795917*y^5 + 1517296313997195305253135898877656900369367/923347811671842467078434646607757795917*y^4 + 275644707421064110227227889915908950074325/923347811671842467078434646607757795917*y^3 - 84035136442052419396636119266286068225236/923347811671842467078434646607757795917*y^2 - 16964239196696311731212736725793550361056/923347811671842467078434646607757795917*y + 1035750652363602441313359308588824219678/307782603890614155692811548869252598639

-807944940078704630301879487511920376857/307782603890614155692811548869252598639*y^23 + 8821511804220741085445440907150412257918/307782603890614155692811548869252598639*y^22 - 38087081762554289516629275907608549676253/307782603890614155692811548869252598639*y^21 - 44037104355574808608139876757683376779035/307782603890614155692811548869252598639*y^20 + 530871137953164324741681562559020588844966/307782603890614155692811548869252598639*y^19 + 84977646653798328074941732156471781356182/307782603890614155692811548869252598639*y^18 - 3102616880746113770250104730869632237071248/307782603890614155692811548869252598639*y^17 - 971209439229409172777167581377657236088528/307782603890614155692811548869252598639*y^16 + 11906412864041264682241101250430249925499530/307782603890614155692811548869252598639*y^15 + 4572283373690703965477747929905025794306460/307782603890614155692811548869252598639*y^14 - 31050058281932162403173128155954215116404743/307782603890614155692811548869252598639*y^13 - 5412591447623431329954600798965782853372557/307782603890614155692811548869252598639*y^12 + 46159329421569232495475361037594404022011985/307782603890614155692811548869252598639*y^11 - 1211857303150129113836208661338765097046960/307782603890614155692811548869252598639*y^10 - 33225807782414020998795861116174228595148074/307782603890614155692811548869252598639*y^9 - 332493958874556350262886971095742115631570/307782603890614155692811548869252598639*y^8 + 13839464707025249604504415904187362782586199/307782603890614155692811548869252598639*y^7 + 1952498242488699488748376979718611052621914/307782603890614155692811548869252598639*y^6 - 3195182989747819768244741334837249167398685/307782603890614155692811548869252598639*y^5 - 900173011462169846887824260919339657683520/307782603890614155692811548869252598639*y^4 + 308450196423397387791655280583589128764056/307782603890614155692811548869252598639*y^3 + 136104560514906560969299121934282831877817/307782603890614155692811548869252598639*y^2 - 8719454023892866778707596793412598773025/307782603890614155692811548869252598639*y - 6348582630308217887567553631074082507687/307782603890614155692811548869252598639

-279029162114759082588847457472139557524/923347811671842467078434646607757795917*y^23 + 997061405596021935779937993591871630803/307782603890614155692811548869252598639*y^22 - 4259396674961412342893550083744433021599/307782603890614155692811548869252598639*y^21 - 5161969162917449123227874241203316694914/307782603890614155692811548869252598639*y^20 + 57060630801162230451489759188878779125715/307782603890614155692811548869252598639*y^19 + 47088947129854063737598867425540846924055/923347811671842467078434646607757795917*y^18 - 310436530383487248138804530918906695695558/307782603890614155692811548869252598639*y^17 - 429076717328790746338337853964941738757900/923347811671842467078434646607757795917*y^16 + 1096319332483337406837325589232091673863367/307782603890614155692811548869252598639*y^15 + 528828726613689223898207402022280207511460/307782603890614155692811548869252598639*y^14 - 7833951634023982338797688316160233998603125/923347811671842467078434646607757795917*y^13 - 980622895782849306911402656931869482681482/923347811671842467078434646607757795917*y^12 + 3235375859406831248563468272723141384122153/307782603890614155692811548869252598639*y^11 - 806390910202966047725306132197771381658003/307782603890614155692811548869252598639*y^10 - 3962599909913399021347689735837048503448136/923347811671842467078434646607757795917*y^9 + 563860017049269914924052238267836659667493/307782603890614155692811548869252598639*y^8 + 208627452571089010589474735277869837265446/307782603890614155692811548869252598639*y^7 - 217802075850837337655237672609442074045366/307782603890614155692811548869252598639*y^6 - 106181273264699575414734421911578561799952/923347811671842467078434646607757795917*y^5 + 180151621683496671985748146370428751415742/923347811671842467078434646607757795917*y^4 + 18313823682810572870073457697553781928509/307782603890614155692811548869252598639*y^3 - 4040921853951173655241402909733208448017/307782603890614155692811548869252598639*y^2 - 5840650071311994151413431615027315466155/923347811671842467078434646607757795917*y + 878691561137476368782385792066828126563/923347811671842467078434646607757795917


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

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

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

# f Combinatorial flattening
{0, 0, -4, 0, 0, 0, 0}

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

# 1 Loop Invariant
-24306415387651997502728585042873599334582/307782603890614155692811548869252598639*y^23 + 273853113818381054761369165959663879963186/307782603890614155692811548869252598639*y^22 - 1241094971918679939490505607429485163002920/307782603890614155692811548869252598639*y^21 - 893718761224148551328526187277736769867889/307782603890614155692811548869252598639*y^20 + 16288054910705372232421291417323363837141302/307782603890614155692811548869252598639*y^19 - 3121327538306781911325099352765331117852792/307782603890614155692811548869252598639*y^18 - 92290982422219599393973068010424736319018714/307782603890614155692811548869252598639*y^17 + 3022921946862882324995478413470374296620297/307782603890614155692811548869252598639*y^16 + 357109722418627831857827523525536685068441196/307782603890614155692811548869252598639*y^15 + 12585835360627459180174855869092485356925298/307782603890614155692811548869252598639*y^14 - 937835504332495061798736055133647106867413654/307782603890614155692811548869252598639*y^13 + 167071702691473943359366473568561019622583450/307782603890614155692811548869252598639*y^12 + 1327751647839082232779087534873511662434728019/307782603890614155692811548869252598639*y^11 - 510395862345332944599015447854544664331738815/307782603890614155692811548869252598639*y^10 - 813103413063657476922845165095436685231019122/307782603890614155692811548869252598639*y^9 + 291766217847793223782691388849193482968441664/307782603890614155692811548869252598639*y^8 + 300567757439227809534240255929561869048836568/307782603890614155692811548869252598639*y^7 - 57776567414050012100299045530625102731257908/307782603890614155692811548869252598639*y^6 - 69237790339839126300363265725968080820734663/307782603890614155692811548869252598639*y^5 + 1846829260498332260498963286009032937956683/307782603890614155692811548869252598639*y^4 + 7686853983105578319251836968931150917654470/307782603890614155692811548869252598639*y^3 + 321287784791119986124861614219194467446536/307782603890614155692811548869252598639*y^2 - 432215759876783237186261003203647621407319/307782603890614155692811548869252598639*y + 42644622903801621061677492306173510225257/307782603890614155692811548869252598639

# 2 Loop Invariant
796411848526218033345743769057796386437877156781504397139858239792359759690108028375329451864064476546321174583236/87941229186263040847870070271419235827699268677790946342381838853704713271817818386826904184177204286473711432210677*y^23 - 23164621562859471658373795908567687838630964198429037180013614376579488993157325329209576020225702571129858719737501/234509944496701442260986854057117962207198049807442523579684903609879235391514182364871744491139211430596563819228472*y^22 + 99635538123899906021677228890006194705352191785270592691045504856594664470926839763274587922819541621827980205405517/234509944496701442260986854057117962207198049807442523579684903609879235391514182364871744491139211430596563819228472*y^21 + 14968025497261609830957828468199809151948982755810561144925588393765926283125932276466787496550729488289725169791911/29313743062087680282623356757139745275899756225930315447460612951234904423939272795608968061392401428824570477403559*y^20 - 1409424579940379683056911088871535864487761378328369256980659232243664495358285459248763916893461419865405469284499641/234509944496701442260986854057117962207198049807442523579684903609879235391514182364871744491139211430596563819228472*y^19 - 172926819281889842423331620005354338897151129035495246997233737115024013872223897335862020431548532806452670166416157/175882458372526081695740140542838471655398537355581892684763677707409426543635636773653808368354408572947422864421354*y^18 + 16647104175689211406456252756637172348461452521961484640360053832327745495104404793896665760176925638106212976390001347/469019888993402884521973708114235924414396099614885047159369807219758470783028364729743488982278422861193127638456944*y^17 + 7191944342813741222823865923578912060043746732643928797639698314035535012348901523772772832960364330159965199677322427/703529833490104326782960562171353886621594149422327570739054710829637706174542547094615233473417634291789691457685416*y^16 - 2683200890825265278761193568495171202242839349995385983441312149538853991567315796972838397685279739512532349810610293/19542495374725120188415571171426496850599837483953543631640408634156602949292848530405978707594934285883046984935706*y^15 - 22395365432036985025254844353466604512959161567941794786306625552044870444171385705831045556984130523284799575928647985/469019888993402884521973708114235924414396099614885047159369807219758470783028364729743488982278422861193127638456944*y^14 + 64086009356703275541107196951502075901437902024283277151664410332649385029928115828400432915531860156650072947564259693/175882458372526081695740140542838471655398537355581892684763677707409426543635636773653808368354408572947422864421354*y^13 + 68514947095285627639178477753079812168736491675937290745032607812755571310763591897740188987892438436164775422588300719/1407059666980208653565921124342707773243188298844655141478109421659275412349085094189230466946835268583579382915370832*y^12 - 264302360875323604296705505011498162431736703475371611883114268173974578459076200087704119288337664490408433886622211325/469019888993402884521973708114235924414396099614885047159369807219758470783028364729743488982278422861193127638456944*y^11 + 3980373108740455107056269142602213925030833136169559061751592912291111001632551987837985546594480588594334924724866717/78169981498900480753662284685705987402399349935814174526561634536626411797171394121623914830379737143532187939742824*y^10 + 303654709005017554135188801832719702167658960206845150660039270751838114466020866106807456432157690722543158346467735171/703529833490104326782960562171353886621594149422327570739054710829637706174542547094615233473417634291789691457685416*y^9 - 7968875910680204246423533343059252448410033629106608291027901443478015512427495968220922088208123092073147596365992363/156339962997800961507324569371411974804798699871628349053123269073252823594342788243247829660759474287064375879485648*y^8 - 82841507862509559817804456006065100276092074566344805052939370953842578012039721736401353143745705383002469091529453811/469019888993402884521973708114235924414396099614885047159369807219758470783028364729743488982278422861193127638456944*y^7 - 308323514521185849713613138243704781124085206072023943801256939420342902506922114933305770606464106018949144875532841/39084990749450240376831142342852993701199674967907087263280817268313205898585697060811957415189868571766093969871412*y^6 + 15339066207984017100902817410423023121225649321538491636629307345613996175730297876977489286843161433664300812224831791/351764916745052163391480281085676943310797074711163785369527355414818853087271273547307616736708817145894845728842708*y^5 + 19635972317375539736010271101436798495467959854471975720725469729876014149652245736895076136144501249381233321441131463/1407059666980208653565921124342707773243188298844655141478109421659275412349085094189230466946835268583579382915370832*y^4 - 2538233698458092780869070665415201073509285868652309115382203529803939033222028989013482154764968948356801384965994631/469019888993402884521973708114235924414396099614885047159369807219758470783028364729743488982278422861193127638456944*y^3 - 1509266897930390031647512845339442880994882052492757066846572120393673043983850021723866289767819687035590021292703381/469019888993402884521973708114235924414396099614885047159369807219758470783028364729743488982278422861193127638456944*y^2 - 87897991096494594535046956845715555829373249868615271737813035072701940653564852788730483281859525674957926129322499/703529833490104326782960562171353886621594149422327570739054710829637706174542547094615233473417634291789691457685416*y - 673130632666248274710543793153968682647557283340856147757254795872558685000174624663770689633832355441308434879058331/1407059666980208653565921124342707773243188298844655141478109421659275412349085094189230466946835268583579382915370832

# 3 Loop Invariant
-1594854405079702397397027148207637677470379274876172585003751522360591328985535336151552843598218085254505175814238879987077115266106070985749767314761693/578981723275795735795177392869221349181364130553741479897383565426326042495870100745187768899770520083838013566223692390073486408949677102688052309285815616*y^23 + 2240645541413283704655994417890482538564354237892229542716290790197758784568024783591435256354556140504119402477955209158862570131754296375531787334282187/72372715409474466974397174108652668647670516319217684987172945678290755311983762593148471112471315010479751695777961548759185801118709637836006538660726952*y^22 - 40260397484812442650044742120831044630852961573797382412071445616836055000032672644591256474039661891532072647667781971442453375193554108779146295678003595/289490861637897867897588696434610674590682065276870739948691782713163021247935050372593884449885260041919006783111846195036743204474838551344026154642907808*y^21 - 32714971650213349513408222013325036255378942920770090180931593509647521628325197147145476792518784455039076400259078891278518652794343967588369014461462581/289490861637897867897588696434610674590682065276870739948691782713163021247935050372593884449885260041919006783111846195036743204474838551344026154642907808*y^20 + 543337773030928755374541101313021605183088348241801888391506630714738467601692067360865772562029007090195230379144649866924082268031773482495071882616836387/289490861637897867897588696434610674590682065276870739948691782713163021247935050372593884449885260041919006783111846195036743204474838551344026154642907808*y^19 - 16884983712607579455786337271132289094308724229003699760406758549750951911603548647290624445816622851330571613635821886897123818298852834873205062730237417/64331302586199526199464154763246816575707125617082386655264840602925115832874455638354196544418946675982001507358188043341498489883297455854228034365090624*y^18 - 703316385415416561007883296639115403027288801784428248857930357191308028840857232467700490552448507437459510585155325687382636692930418688450583363516265281/64331302586199526199464154763246816575707125617082386655264840602925115832874455638354196544418946675982001507358188043341498489883297455854228034365090624*y^17 - 8225297469492112545015241756917672968918083134927638145220041507143854517775226434481210390064440294211793233065460936246218781037329196830794310436196493/144745430818948933948794348217305337295341032638435369974345891356581510623967525186296942224942630020959503391555923097518371602237419275672013077321453904*y^16 + 390065704862489453603435308108554127850827299677260000527529108993245732676724994208727506813093189243747199893041090125971338225398276865905981468242175390/9046589426184308371799646763581583580958814539902210623396618209786344413997970324143558889058914376309968961972245193594898225139838704729500817332590869*y^15 + 2121670581148940367477606324635145655928643686367798042685159486737712623854892211997253740302051889696043734112210181252405065139246250993090668245719970397/578981723275795735795177392869221349181364130553741479897383565426326042495870100745187768899770520083838013566223692390073486408949677102688052309285815616*y^14 - 67152812952033740676137990177820338422341310791494614170345587553252275646295724146480051545773099252587409916966130741824847804274584129184872551590099749577/578981723275795735795177392869221349181364130553741479897383565426326042495870100745187768899770520083838013566223692390073486408949677102688052309285815616*y^13 + 6470528498390227343164411369172864393032108173948942712461591513888593339315349101391993975258426925757775328287508489522590074826129664869508883921382286183/578981723275795735795177392869221349181364130553741479897383565426326042495870100745187768899770520083838013566223692390073486408949677102688052309285815616*y^12 + 25346046433785109426510037058904184815957420519782022919587615940106130189308022883987281089600191413406578096247335669071881462001844007009292223883981395055/144745430818948933948794348217305337295341032638435369974345891356581510623967525186296942224942630020959503391555923097518371602237419275672013077321453904*y^11 - 6921562556781884651544013713041196021449587567191712200111579710858537751351922953649101136692292507836265567833729638085867382590509978264783873244428081423/144745430818948933948794348217305337295341032638435369974345891356581510623967525186296942224942630020959503391555923097518371602237419275672013077321453904*y^10 - 3043014733029570174119259528406580068363245062511337441935302062023679681855225722642662623513358836415643937669811984270570750135101655255257481059705324043/24124238469824822324799058036217556215890172106405894995724315226096918437327920864382823704157105003493250565259320516253061933706236545945335512886908984*y^9 + 980718202055123194437375315391329614774635117553426792531719474138078950792731795116829997965863739719375675157626045374673390305202545417676418722299589675/32165651293099763099732077381623408287853562808541193327632420301462557916437227819177098272209473337991000753679094021670749244941648727927114017182545312*y^8 + 10200885559950510342615285868135901882617900079917955170558970041141879749178564566865699490455935506857050708257707410215290153462599247420521799346399642323/192993907758598578598392464289740449727121376851247159965794521808775347498623366915062589633256840027946004522074564130024495469649892367562684103095271872*y^7 - 206731162412232539450037503884155390081708571260442562734014476849369692003610449897496127559792703713981347065740354992914092741559196217600694321303157145/48248476939649644649598116072435112431780344212811789991448630452193836874655841728765647408314210006986501130518641032506123867412473091890671025773817968*y^6 - 7466910434754126325982401173380085806637072969279995043186606377266660020675241322917706725573303133387175484427219270790319198187751914138138923436334739019/578981723275795735795177392869221349181364130553741479897383565426326042495870100745187768899770520083838013566223692390073486408949677102688052309285815616*y^5 - 187587440157528384177141407387666340188053859091122534187369385992945044068880410992861821460849014859533871861109783951502111876193212603504635834110824333/144745430818948933948794348217305337295341032638435369974345891356581510623967525186296942224942630020959503391555923097518371602237419275672013077321453904*y^4 + 200058097139479608303006053473371044462530449742650922634729663480763511512928263689157932951772631674638241821702549696250819000183642202979077847045212367/144745430818948933948794348217305337295341032638435369974345891356581510623967525186296942224942630020959503391555923097518371602237419275672013077321453904*y^3 + 167250647647130621718967042741524883759117468512369441501113393876595159128440440927416110370236497872216307190070480937512224743014141436628625253242103205/578981723275795735795177392869221349181364130553741479897383565426326042495870100745187768899770520083838013566223692390073486408949677102688052309285815616*y^2 - 21865833261274900365786913704955245925336444355925884906126786391226685651492703512911371189396795607756061657445260199039629724881777396855105900114408675/578981723275795735795177392869221349181364130553741479897383565426326042495870100745187768899770520083838013566223692390073486408949677102688052309285815616*y + 309852310198722718887600785311739535939699276975526176973008910679747456297482511432668111494727476062656022642642408049652552599788984964129350879909621/48248476939649644649598116072435112431780344212811789991448630452193836874655841728765647408314210006986501130518641032506123867412473091890671025773817968