# Manifold: Census Knot K8_181

# Number of Tetrahedra: 8

# Number Field
x^35 + 10*x^34 + 5*x^33 + 17*x^32 - 30*x^31 - 5581*x^30 + 13312*x^29 + 73806*x^28 - 326654*x^27 + 220712*x^26 + 1122480*x^25 - 5039413*x^24 + 8991504*x^23 + 4755363*x^22 - 28432643*x^21 - 686893*x^20 + 51004512*x^19 + 25487005*x^18 - 68230088*x^17 - 95508179*x^16 + 23081149*x^15 + 119168611*x^14 + 48213505*x^13 - 55648118*x^12 - 51030586*x^11 + 1722072*x^10 + 17197411*x^9 + 5705441*x^8 - 1709809*x^7 - 1485307*x^6 - 72840*x^5 + 165508*x^4 + 18368*x^3 - 9344*x^2 - 576*x + 192 

# Approximate Field Generator
-0.378732304586007 + 0.965344358152650*I

# Shape Parameters
2831223358937196512033174445425244497122498867974373556738550437958025931983310613245670400101855189522035133056209506541962493860389744286302674681/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^34 + 3633123827693345001996352207599237037081460048897191332792650747382469772715439357116771919019867268856513339025733726731460136245921702343281031957/5827650005526711008304355679746003825034036286122459349580552445019429781200740251376170432950629473024067214813249044560012703425061089884981432*y^33 + 7294578446266800990458329041579851013792953173493498763606868154788232742931660506721328258592390864500762557384515496950415039986822372256792794583/15540400014737896022144948479322676866757430096326558265548139853385146083201974003669787821201678594730845906168664118826700542466829573026617152*y^32 + 53948320641161360403308853562049596530045629909700709170925283669919827381484940702637689564130030898842257042124003773040744499766834784445438467383/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^31 - 17648227102989690175161615146792145153789976475055049647301675857172886809410912629738706567468971293583489572499661370136917820905317741644528341033/11655300011053422016608711359492007650068072572244918699161104890038859562401480502752340865901258946048134429626498089120025406850122179769962864*y^30 - 15819828191602922062060281838072838552911920783437673045751887346104810300632953650956112431230887576585025865727219457179126420939060465508214348454301/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^29 + 5580520281761625459683490333380278570314477507426579722943466506247019491395164943341684610822353726849791212220967135841561485029944109419955194316571/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^28 + 108932087576132643053406793595807387795163941266482887203578921366951649223482557508294368514355141445906441601537189337997294723554435421953852629737809/23310600022106844033217422718984015300136145144489837398322209780077719124802961005504681731802517892096268859252996178240050813700244359539925728*y^27 - 433453490883155689115159504115246166158270394999922392586622170223623382147236801965179722705567295700114028230914893622355755308810302588222882034870605/23310600022106844033217422718984015300136145144489837398322209780077719124802961005504681731802517892096268859252996178240050813700244359539925728*y^26 + 32865723353613249107557283785936654275644870509860572271643206877611827890393886065742528204066024284667289098701550580335037794467320323550559230262389/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^25 + 410360625605854852345892424722694978452423935060009043378446245332414995080260541149322808016631259540272486246121489581273647030585240542777593278084335/5827650005526711008304355679746003825034036286122459349580552445019429781200740251376170432950629473024067214813249044560012703425061089884981432*y^24 - 13394905388112239582115326425130276634044669548519915548709732399500149036145248586078877631712589838597038439134098808847866649755646681236883941868350285/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^23 + 10947742729713037787291860070045052508271576478169636734078004891998175712769024041365567764331280275326820983651697021485090703896511056555147699813558997/23310600022106844033217422718984015300136145144489837398322209780077719124802961005504681731802517892096268859252996178240050813700244359539925728*y^22 + 6428507626575098569348766792217181511920112819963708881345335234521729076852790407198686621452764032598925481265788296430455845083189956264255561506528885/15540400014737896022144948479322676866757430096326558265548139853385146083201974003669787821201678594730845906168664118826700542466829573026617152*y^21 - 75372792813293862375909033250718090554000735101968392884354934669840762446593604534298209616428541307204297613260443650140974766224818385320557966129501777/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^20 - 7328080387043230616965776274546297719756832453912838006690157386495617753180735559952173692117024839039067393759930449147433195988489347683713451762075673/15540400014737896022144948479322676866757430096326558265548139853385146083201974003669787821201678594730845906168664118826700542466829573026617152*y^19 + 69281250069066523244262219150433773361292429687722388835400106652250390639063969067144138133276803305016454277262371730206473460717629049404839959289698723/23310600022106844033217422718984015300136145144489837398322209780077719124802961005504681731802517892096268859252996178240050813700244359539925728*y^18 + 108998282273627892787049992180179545737017412778488809584745935767476095121817580904170141651300227967627213058984894157285226274373916112511120267804351657/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^17 - 82099104888529386030898695860768118425980006724825085593956804358758593226284531102861110922256670803645216157013290408353126969541629864970303637964329113/23310600022106844033217422718984015300136145144489837398322209780077719124802961005504681731802517892096268859252996178240050813700244359539925728*y^16 - 314061145816657501972127654136929558452073611786858003825047439058943945561908826574445479898119076472201550933096738800282519996325069380249991037716510927/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^15 - 18147263755590253746915054932503199037799456007964518318257083150622099119085004196422925657750239818154141298030680455564226776486212423873440515815617797/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^14 + 332572411998114614490662350171250146746173456987573749307657263136827758941937125675142219077142416320646682116718680665418450734903886592722640236790608189/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^13 + 224920658537660961067100664895671850426066303949894385701094069494204895162823991601096125100520878932567624090990672046430824358850787711349460461927439519/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^12 - 24439670898334788115443552082093866918834562951157894509634866859201611386712321303807362678493420977143366937585094150675971277930215776938676903486534737/11655300011053422016608711359492007650068072572244918699161104890038859562401480502752340865901258946048134429626498089120025406850122179769962864*y^11 - 28411611099264105619119873525095528962210840952441900833736593664363497272436294304861125946308173030072094408991844901390988843297909147769088337314395867/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^10 - 10110782881319408389831430154008994635095177285542696398566682006837892894757451639945305305463421626341343657160273650689326622781684767414549038356620055/11655300011053422016608711359492007650068072572244918699161104890038859562401480502752340865901258946048134429626498089120025406850122179769962864*y^9 + 37938323055572472724907371843699189238837282686860221054189485588804652862353648344760948904202730677237821841579648552762953080378147813577154227959845939/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^8 + 8746290892937185106460154480044749166551776219684353891355021768997970361590301790748230126464625312627184314563232735737711013771878878446493715964414785/15540400014737896022144948479322676866757430096326558265548139853385146083201974003669787821201678594730845906168664118826700542466829573026617152*y^7 + 2134519387160748825264239644650702493692140873980848397738283923055173657609339390027741867569385460908622622113866973825059234326731689136079155855079865/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^6 - 3637710132910667952971877519147663197169168298536076679709489268327210818333332194552343100430321735921812790756299152662982877039236884353590611270979909/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^5 - 586608998170281111782710183102696656710087534305925091312505072670500732519366369420470745133296026256872556089349312143887237469978394692926670086397839/23310600022106844033217422718984015300136145144489837398322209780077719124802961005504681731802517892096268859252996178240050813700244359539925728*y^4 + 4897262544978991230045108290207636576435521664257609624918122872066368496815578374975125970175771614102666677092405549724881524293890952119954329131283/1456912501381677752076088919936500956258509071530614837395138111254857445300185062844042608237657368256016803703312261140003175856265272471245358*y^3 + 3902325387162046583508998310175324348239620243647549603993164147125593285970536647595574346031535646239665242632229382639174941308507207508208308067389/1942550001842237002768118559915334608344678762040819783193517481673143260400246750458723477650209824341355738271083014853337567808353696628327144*y^2 - 8121338488421293944667833495394614132930658631926699226417429678874175480860740225639483977549851614417566969300319024851086396714964240563265299580/242818750230279625346014819989416826043084845255102472899189685209142907550030843807340434706276228042669467283885376856667195976044212078540893*y - 31949177706030413545795798897174727864126097947835006868034334245845890884144559150988860971756597996864512995664806747226936238834470399916748399335/728456250690838876038044459968250478129254535765307418697569055627428722650092531422021304118828684128008401851656130570001587928132636235622679

45728364403597457425231076711023879336494911408639010096235374133993985803741607268379067244707399719490261309758559573818980913416970012149373779733857/1012620235160328673750975915386905285976347523791686699862249566916502811354482227066125209323411978071959284668903238314807220697409848393200886932896*y^34 + 469432857968680655918064439591809311580532838541317329464008842817606746169847053495498435574808969285793257418489436865557128928225893493474905857991349/1012620235160328673750975915386905285976347523791686699862249566916502811354482227066125209323411978071959284668903238314807220697409848393200886932896*y^33 + 353364340317814677770218969384488800062073713467712383581832721330270080885007791313444897583086022279182641455750943094161187049723734135597381223783511/1012620235160328673750975915386905285976347523791686699862249566916502811354482227066125209323411978071959284668903238314807220697409848393200886932896*y^32 + 108911187459925342995234980433395613707229148963435139469146340010632301250174710346095767298267205181063068103340172638069480118258368685461478223911511/126577529395041084218871989423363160747043440473960837482781195864562851419310278383265651165426497258994910583612904789350902587176231049150110866612*y^31 - 1140359324355660208016606540607230875196025908851824573227768328391591297933268332511022399926921983398535932129528186898784637288034138307857820250671975/1012620235160328673750975915386905285976347523791686699862249566916502811354482227066125209323411978071959284668903238314807220697409848393200886932896*y^30 - 255512928028873281210983825351270635879761333756349379504366884322208911665709564989774572118815098211936764319751461495850819079834638508619104165300386379/1012620235160328673750975915386905285976347523791686699862249566916502811354482227066125209323411978071959284668903238314807220697409848393200886932896*y^29 + 540850651065205068113026574829554507873907349079553727254639866207102309553294923457677523041513510355593016511394064302602872543325246153348981276729532217/1012620235160328673750975915386905285976347523791686699862249566916502811354482227066125209323411978071959284668903238314807220697409848393200886932896*y^28 + 92597575956799118553936434470485079834895246733328196912125634733383579427511954331598323232157989528812329515443680251782013249447951970612447659623511747/26647900925271807203973050404918560157272303257675965785848672813592179246170584922792768666405578370314718017602716797758084755194996010347391761392*y^27 - 3500614142745331150613271233880386365508572850918825854298575507414356715411108255816753615905893637156541415718382838043435880037138395384425619946629502027/253155058790082168437743978846726321494086880947921674965562391729125702838620556766531302330852994517989821167225809578701805174352462098300221733224*y^26 + 167704412292151893655977112669500352206279333755318136768807244139045610897272860043961485242214169165467819403482181535665157094117188503721638929619308437/26647900925271807203973050404918560157272303257675965785848672813592179246170584922792768666405578370314718017602716797758084755194996010347391761392*y^25 + 3313839187171960469170206585987456458985011216237581059953996855163926028279175867587163376187293882977760145868915752257339088510164588193474636955431032525/63288764697520542109435994711681580373521720236980418741390597932281425709655139191632825582713248629497455291806452394675451293588115524575055433306*y^24 - 216356384974026522190691366736723290385023374204674521023810471965328863440040707413165730351939621755802363850096869320933561779426759553473344565000755997189/1012620235160328673750975915386905285976347523791686699862249566916502811354482227066125209323411978071959284668903238314807220697409848393200886932896*y^23 + 353687110180689871494667589176502069199003043663609530025892897341236377166369789260734518296568726914985826220760269346838962734287295030667927144876363073753/1012620235160328673750975915386905285976347523791686699862249566916502811354482227066125209323411978071959284668903238314807220697409848393200886932896*y^22 + 311409968552467345348321904658232599449671789930972715265571729498937346110774815362240877625032402898166035537109403066168705307663360472267194894747578208991/1012620235160328673750975915386905285976347523791686699862249566916502811354482227066125209323411978071959284668903238314807220697409848393200886932896*y^21 - 608707255590287200616968432724617569535834804709591931894615461100638018405514264006664306906929153996203685529715123468400092994123401830467872313178065315973/506310117580164336875487957693452642988173761895843349931124783458251405677241113533062604661705989035979642334451619157403610348704924196600443466448*y^20 - 177427765047409576375468647364768899707688772996242014183382087641855280696154466029294534074126026388665563601615024356840988475128320517412768627051785698813/506310117580164336875487957693452642988173761895843349931124783458251405677241113533062604661705989035979642334451619157403610348704924196600443466448*y^19 + 2238007934541443279071503267824059410437064495951409034231577517934030067400615805533676480064274283579956416412370763110608851157587886750647539668777816043853/1012620235160328673750975915386905285976347523791686699862249566916502811354482227066125209323411978071959284668903238314807220697409848393200886932896*y^18 + 1760096452504922654549816991785027434706370284104311387755007636478896666132115179828067854045706227576531449744560197897692497310549111846747994862110329650457/1012620235160328673750975915386905285976347523791686699862249566916502811354482227066125209323411978071959284668903238314807220697409848393200886932896*y^17 - 2652313969315447571294170976582409167162144012790453650725600844188482576862084888375088418366564732415335699175141124582824037371720136702010806996942639240073/1012620235160328673750975915386905285976347523791686699862249566916502811354482227066125209323411978071959284668903238314807220697409848393200886932896*y^16 - 5072069821970658856289807516579319449355894452983626706346864036115270350156886279785244910777551463171465969152350751677073276340236140048914752814669176393279/1012620235160328673750975915386905285976347523791686699862249566916502811354482227066125209323411978071959284668903238314807220697409848393200886932896*y^15 - 73064478625748268846903763270437608745853758439154243204208327704232216425021426664091488369234624861664478685098066375139825164059227339003152940666097782119/253155058790082168437743978846726321494086880947921674965562391729125702838620556766531302330852994517989821167225809578701805174352462098300221733224*y^14 + 2685775688628779196986865629055855089409122454265384942898706011872298794249261365465066177769435248786462426975314213468048263997054457853663897830802362416183/506310117580164336875487957693452642988173761895843349931124783458251405677241113533062604661705989035979642334451619157403610348704924196600443466448*y^13 + 1815966498135931809591868554641389477817224265881398667049996061943760690164070721542405733070440629503668906871795567483103832497970899288444262451704862747319/506310117580164336875487957693452642988173761895843349931124783458251405677241113533062604661705989035979642334451619157403610348704924196600443466448*y^12 - 1579516375238254978446661431599785507087465395312325930606111760466315657660534584883413305694362936611443822797412023327205173756005851735069436937848371082399/1012620235160328673750975915386905285976347523791686699862249566916502811354482227066125209323411978071959284668903238314807220697409848393200886932896*y^11 - 344140860758914071716119504339509234856365481657491236559212680298986646255099847680736701528187310152554418228448082607496523224191589791054393089181660764637/126577529395041084218871989423363160747043440473960837482781195864562851419310278383265651165426497258994910583612904789350902587176231049150110866612*y^10 - 326411659341075611271254660448127531082405999129131707912508183069155399528147793769853074700333984191182789763647555325255732259631586483131424214596721098463/506310117580164336875487957693452642988173761895843349931124783458251405677241113533062604661705989035979642334451619157403610348704924196600443466448*y^9 + 612881841610969707967176108414949438670762113257646929576242455684418282811684716094343346808705753116037961555950859695648670145243396410162295516913116268283/1012620235160328673750975915386905285976347523791686699862249566916502811354482227066125209323411978071959284668903238314807220697409848393200886932896*y^8 + 211869219196306361113424101829664424761385546051035528791382152023361022549695854743253720205106310241812798495184778741080811307180838013564030628739167666345/506310117580164336875487957693452642988173761895843349931124783458251405677241113533062604661705989035979642334451619157403610348704924196600443466448*y^7 + 17209660043720392715422163291138686835761254987264449939965222278399654125179081494188981318202177948309542818346366615846525536595101319891971442183465151659/506310117580164336875487957693452642988173761895843349931124783458251405677241113533062604661705989035979642334451619157403610348704924196600443466448*y^6 - 29383688530031346005909015853105757116535327883376838246713215661310707467436571068600727388536362165179824684044556728969489016509733915689962551662668596941/506310117580164336875487957693452642988173761895843349931124783458251405677241113533062604661705989035979642334451619157403610348704924196600443466448*y^5 - 18946133599637909068341120038000195950424066622004986470936558852266582332033258245697998073616081586408879474044218586259983749454424272284557803605504350693/1012620235160328673750975915386905285976347523791686699862249566916502811354482227066125209323411978071959284668903238314807220697409848393200886932896*y^4 + 79156010287973558809900769122339058722646611722770947098948024401367352460607288959183005516171145420254846532097058463196716720137039707398958763119448764/31644382348760271054717997355840790186760860118490209370695298966140712854827569595816412791356624314748727645903226197337725646794057762287527716653*y^3 + 378201743616461033748693692270681826079074698338062081962059748873567549035889413579278493821269843147406963337700979660973718604027669492278332935259349971/253155058790082168437743978846726321494086880947921674965562391729125702838620556766531302330852994517989821167225809578701805174352462098300221733224*y^2 - 3154596822761149231065557757783556212179081144538020566620326594865667813189155996339571381891906416209021079842219377290492128190108680291316396326324817/126577529395041084218871989423363160747043440473960837482781195864562851419310278383265651165426497258994910583612904789350902587176231049150110866612*y - 2064779046335346379055389921343062717935879799676120898209985717426887766085828257487392053927851254285162254458469920803633071812848849122265988038644249/63288764697520542109435994711681580373521720236980418741390597932281425709655139191632825582713248629497455291806452394675451293588115524575055433306

-93287955371505781886340957691744962451697874318697985629291978744044205665260743946813759044122412523748124724022367857826606227838269688529254056855/11220168810640760927988652802070972697798864529547775067725756974144075472071825230649586806907611945395670744253775493792877791661050951725217583744*y^34 - 119707957248863564827931028671845808949575337279543420317167540509334685886625681765889840836965703782146215593343591254958232005872403130324531679533/1402521101330095115998581600258871587224858066193471883465719621768009434008978153831198350863451493174458843031721936724109723957631368965652197968*y^33 - 720835641494285063990620740724409828761585864497766244153918868575406897079162376133843738684267467585182919669147848337770651121365968760294252690939/11220168810640760927988652802070972697798864529547775067725756974144075472071825230649586806907611945395670744253775493792877791661050951725217583744*y^32 - 1777118908633480843345000720212658650898625488589632562904909191790028444486753664764731230906112603223029968050430382077281989987036603533630219338169/11220168810640760927988652802070972697798864529547775067725756974144075472071825230649586806907611945395670744253775493792877791661050951725217583744*y^31 + 581632120500794726037396908722951703126582849738267604684749694796423621357806586182027791693380300307903895957858425540478880680530307205264179909431/2805042202660190231997163200517743174449716132386943766931439243536018868017956307662396701726902986348917686063443873448219447915262737931304395936*y^30 + 521258697653940421243191022521024615310395874019342847181569079578443036296274204754696120326011032205065146328594483714162881935026248358523447119262835/11220168810640760927988652802070972697798864529547775067725756974144075472071825230649586806907611945395670744253775493792877791661050951725217583744*y^29 - 551682977711096171057971221182657059660979629302415983569561160958937071622550785771819005856565913790185740107892388528073676086316447517665379322751727/5610084405320380463994326401035486348899432264773887533862878487072037736035912615324793403453805972697835372126887746896438895830525475862608791872*y^28 - 188908169417974247649443788314009023414628830677503368742755023085160624266945778988574447737494828918698799218465837070939971364712073108208592790167293/295267600280020024420754021107130860468391171830204607045414657214317775580837506069725968602831893299886072217204618257707310306869761887505725888*y^27 + 14283107959256011730679049266505676512708340741507344727033565743413641198648052573330651299138818585290721962257084251289046373002032488545916869414337915/5610084405320380463994326401035486348899432264773887533862878487072037736035912615324793403453805972697835372126887746896438895830525475862608791872*y^26 - 171033385110489923383339051738747224189190596223838010363436772865370338848346498015198471970158017990314606255031431034471588654439544633253207453485275/147633800140010012210377010553565430234195585915102303522707328607158887790418753034862984301415946649943036108602309128853655153434880943752862944*y^25 - 13522218770745975070738102694373018492490445752600718990040161687881043408785530855696312717833243119064894361662059001029836986237773132449498081451293737/1402521101330095115998581600258871587224858066193471883465719621768009434008978153831198350863451493174458843031721936724109723957631368965652197968*y^24 + 441388137647752332850204019167757823426834941768716559704968596075589321384265435324769791827135546647572117196231509521392770910192636170767959450870672227/11220168810640760927988652802070972697798864529547775067725756974144075472071825230649586806907611945395670744253775493792877791661050951725217583744*y^23 - 360753569016357822381316223129806132988451425525581039004447096325243451621697352314909970490276604819651146471439807846855186851831402758064062909242182867/5610084405320380463994326401035486348899432264773887533862878487072037736035912615324793403453805972697835372126887746896438895830525475862608791872*y^22 - 635463429896425463706892074694173782895024898628107884535739287507116809141377184257008931746837180472215664366470869557182466911653900510219476010552970945/11220168810640760927988652802070972697798864529547775067725756974144075472071825230649586806907611945395670744253775493792877791661050951725217583744*y^21 + 2483939617194785946568725674746983068592190936297789917770008046187873784516501345654198241174596720953703614529162943509814789773178824124514031249782144223/11220168810640760927988652802070972697798864529547775067725756974144075472071825230649586806907611945395670744253775493792877791661050951725217583744*y^20 + 723963239743890673203901738030941767094571181259366050384803698737060465399842888466628758350577227761031874392295831641420438007607659725478915225310533157/11220168810640760927988652802070972697798864529547775067725756974144075472071825230649586806907611945395670744253775493792877791661050951725217583744*y^19 - 2283279649759278880389350029691260513505342862141378310123597205948869230408726383851384535174292887876016925665892209905190016068755201829450646146804192933/5610084405320380463994326401035486348899432264773887533862878487072037736035912615324793403453805972697835372126887746896438895830525475862608791872*y^18 - 3590513438304556498966110615287359627544567323614671445102928305006375761605377398622230715750198541801361579387064831419146245261933064839608792943372546727/11220168810640760927988652802070972697798864529547775067725756974144075472071825230649586806907611945395670744253775493792877791661050951725217583744*y^17 + 2706212376356544374421042876252523026109919566395380540864970346503822926632656560349397482166240082538299324404217283846124783248078442653031618370773102583/5610084405320380463994326401035486348899432264773887533862878487072037736035912615324793403453805972697835372126887746896438895830525475862608791872*y^16 + 10347917623777170097900700693019155108329658779424874123293893041168235961944731759397222187808637989062812505505405949165740734789633497993365771862312308177/11220168810640760927988652802070972697798864529547775067725756974144075472071825230649586806907611945395670744253775493792877791661050951725217583744*y^15 + 593974254294066000909968259979161306283107214809178653385748101046265116552389750332225764566936467621251929003785221133728684920831155876740330086863837099/11220168810640760927988652802070972697798864529547775067725756974144075472071825230649586806907611945395670744253775493792877791661050951725217583744*y^14 - 10961113438449538498026987971515391674826482183027490290930642363329419510485381260456188080639512952529396639938544311378777870948990690319664315699497506995/11220168810640760927988652802070972697798864529547775067725756974144075472071825230649586806907611945395670744253775493792877791661050951725217583744*y^13 - 7408465025814293574806477101081462037570181295050993939108719002475278258618084904587652211074647993289452801999279448992385653779770159325495845416774974241/11220168810640760927988652802070972697798864529547775067725756974144075472071825230649586806907611945395670744253775493792877791661050951725217583744*y^12 + 806455368430287567994235858453007891702413390441362920613878952004810598352333436701949158545281874519467122275491433983340351480742201108499048257943363179/2805042202660190231997163200517743174449716132386943766931439243536018868017956307662396701726902986348917686063443873448219447915262737931304395936*y^11 + 2808949994015723491620005645558828749318916078406587103599478888109107378259233090517381353800962346875831559320082658756277061772850392334024654080135522927/5610084405320380463994326401035486348899432264773887533862878487072037736035912615324793403453805972697835372126887746896438895830525475862608791872*y^10 + 332583514577048542106244809676869088758697121361959140989833912920937028991923550710059922276442484186893490265258204239729224862541123482322467175591687701/2805042202660190231997163200517743174449716132386943766931439243536018868017956307662396701726902986348917686063443873448219447915262737931304395936*y^9 - 1251692061181352031656526412152717176069203071638276478145688260404097032480487847530860578970722514954362086629951533744511000648814257816404911071423240253/11220168810640760927988652802070972697798864529547775067725756974144075472071825230649586806907611945395670744253775493792877791661050951725217583744*y^8 - 864533266614104896243139358352439093038575927653900892575288160754104270335417032251943490732207845114851164224208928820860075215424458575598956584994308733/11220168810640760927988652802070972697798864529547775067725756974144075472071825230649586806907611945395670744253775493792877791661050951725217583744*y^7 - 69850704958095430883473946265125483711315550206379917308472646057859559449449996228956365078087465274505678749204751283192607485253213143041796109368423575/11220168810640760927988652802070972697798864529547775067725756974144075472071825230649586806907611945395670744253775493792877791661050951725217583744*y^6 + 120060229460935789693973062318185225953864136483437308761533742149344257855619580774506112315255549276462041275241638485509534999080662825757532508875517211/11220168810640760927988652802070972697798864529547775067725756974144075472071825230649586806907611945395670744253775493792877791661050951725217583744*y^5 + 19323564997886165981033815057497140209560464676897014311321736745229125334008468544085350475917537785103248186367095843114357664022938431569027205716836313/5610084405320380463994326401035486348899432264773887533862878487072037736035912615324793403453805972697835372126887746896438895830525475862608791872*y^4 - 162295508933232118429279316226090754628503162105884422970139855669446659533587453718422577026125154306244097507649716643029210753792961956155451805820965/350630275332523778999645400064717896806214516548367970866429905442002358502244538457799587715862873293614710757930484181027430989407842241413049492*y^3 - 386394217460578819111157665962049955383658642362932173405297331040100932050610467839701264156351612895316079157555577739327499277192704146731662807483027/1402521101330095115998581600258871587224858066193471883465719621768009434008978153831198350863451493174458843031721936724109723957631368965652197968*y^2 + 821477305122228581709331618327179526421878783597681677082409858451378221383265840704197960513996688660603952446456488887811793601074050728562171977737/175315137666261889499822700032358948403107258274183985433214952721001179251122269228899793857931436646807355378965242090513715494703921120706524746*y + 1057425894919803716214847783789256702385267845546045807231598116223482494155382362958187922820427420929219729094142933359371075212241760441458164327401/175315137666261889499822700032358948403107258274183985433214952721001179251122269228899793857931436646807355378965242090513715494703921120706524746

-1158785926749116401627103366401316690734605368089474307526133175669095466317234875783035950763793814437482114929934498685535217216405025562997853569/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^34 - 1486975558757349650003306468800659348572946447741037416753199057605460136459154658723552379244402182286827826040488690855303582539181388480721208301/5827650005526711008304355679746003825034036286122459349580552445019429781200740251376170432950629473024067214813249044560012703425061089884981432*y^33 - 8955282488982691934517112070132842860173522953695148799344030945313019648825920905815935641213244754885945552686594263454041935362836529645974049713/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^32 - 22079829797256692605464322154070044111031578980383165939494835799316796693617406605441740148542846616398464764025082678767601867686335595818047945039/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^31 + 601996979626643879883969246709277204039392853384171640702650535708023539930925449206113880268741027409928638561328774270772030511299825334011758219/971275000921118501384059279957667304172339381020409891596758740836571630200123375229361738825104912170677869135541507426668783904176848314163572*y^30 + 6474862070763885891444618625939353234557954740543285935158901489994407489709800371652786993454425827177062420548160027400299524275575265661381134970953/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^29 - 6852536620309034630073781089355563292175788745289337793505252224538452892623197595415546985610231229030632542680834120677472964742021660131797998927569/23310600022106844033217422718984015300136145144489837398322209780077719124802961005504681731802517892096268859252996178240050813700244359539925728*y^28 - 14861181771256547526047916504489373050104345266603836965765712414954608818049650748796914058044003193479788160039938454333300987967103053798321689129317/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^27 + 177412518594192699629869047772532291307622595731388796011471856329327356867711134992660859582002300395890425757837492782990999895616894576619656674590129/23310600022106844033217422718984015300136145144489837398322209780077719124802961005504681731802517892096268859252996178240050813700244359539925728*y^26 - 40367027281524438367648552625682263897670832892806597762580059184241854717411270683452930530417276634004762415192438884866560715126806275168041943225273/11655300011053422016608711359492007650068072572244918699161104890038859562401480502752340865901258946048134429626498089120025406850122179769962864*y^25 - 27991684746352767476070644250171365503820472331565889332726869354646117963248957224193278177702014708377001377876933436001491326795003261409041170493459/971275000921118501384059279957667304172339381020409891596758740836571630200123375229361738825104912170677869135541507426668783904176848314163572*y^24 + 5482515501689984223516311105325213402750322178199612861916671822809300725583093174544428487908930826395821859230114672890725387777269606203435226321251653/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^23 - 1493719415324646860211964988798065907858202817253596207271342877846459962302824638165663613799217449293713865285353536192434241430723405419356867711597135/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^22 - 2630605706406931589214286369536625006295721671347301769511591365928035890853565502532839704532712272764669808660555846932372492967877523483460842222566913/15540400014737896022144948479322676866757430096326558265548139853385146083201974003669787821201678594730845906168664118826700542466829573026617152*y^21 + 30849351722538070012234152370922821601599213021984319757440049229005594489194113926860048399687323740115930822145310544861340601937150068292171242035064817/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^20 + 8994230982867798488833582719889548085318885354989771857367127464665527281968460772470240260618354430866981988516918067188858642662083476055661019755223815/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^19 - 9451908422165915887380568796435564719558638240482049168271316625725882822917698542371640443600095569732132851060121936111616949812903139884507502234398115/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^18 - 44605683043038956367418271597325528812408244043423920822735651456056037061527936480798462770518657828036600215720709834849325588728015313750562688946780261/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^17 + 33603775847127675316494752222779019428310595563417604831396566004701353748582475584514891653664771163121838181359958615617847399386424388804760502897139477/23310600022106844033217422718984015300136145144489837398322209780077719124802961005504681731802517892096268859252996178240050813700244359539925728*y^16 + 128533308138346935469818459263291853010101029778754170285873301749329653402982089201210230062625104600010234635190530059218950059331756521195379326213369027/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^15 + 7415493791037443405262120628777035377989404906970070016370748284321845729499787087601814923337103226979236166898242059954491326483711186369939427029294261/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^14 - 136116169624180883616962783435513886317337749264783549160392216933460760001475063952107038594041622134539517145015347599354167566118735208751222192373603081/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^13 - 92044359097452875883395423992258410282219307372663058422464970416000447818460011524482618250434902394393428768302607840921368975188244835520632334047178467/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^12 + 2501129793420314448947825393638162399623374705803691463963163305364420471783827620706852813680757763087042185881514545162315246042023342683016994022548929/2913825002763355504152177839873001912517018143061229674790276222509714890600370125688085216475314736512033607406624522280006351712530544942490716*y^11 + 34883677124248597031330010255504177293301216665326859439800002290386617722622725096796653461330305893849042496945501286976611588268560118559329164217685771/23310600022106844033217422718984015300136145144489837398322209780077719124802961005504681731802517892096268859252996178240050813700244359539925728*y^10 + 1378989096240291887496727597387731118582013061799541472505617071374037702178111629225170356582579790115404447600623528122997637784304884060565225463131745/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^9 - 15528941880027162252382765672384580944043159333937281037092268447443115454704774090249267671846889871825209319280986577593371728596124339833966679846222339/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^8 - 10738503530572652538086825590662645249614636248547547413947364762844445118978865031483552762934501317992522139379785156559987715000344982746788287746154667/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^7 - 872978367140404878831470889326837210237767383089008154002510935181485063963714946435502995418285451105467650654611277478624882913863899766502232145175469/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^6 + 1489030105844526596266712841990429972370390567384186950271002163206421174735578121532704302117282544442662576326023938458844628284369140722342368718844161/46621200044213688066434845437968030600272290288979674796644419560155438249605922011009363463605035784192537718505992356480101627400488719079851456*y^5 + 80027397712432843075125442052590397487190521755309218542213604419767973902362875196654831668358427923409473313401869063569694441041843782145787307406583/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^4 - 16039007650336196499321015512098996551324593061945784514183484066685849566764972286235551920215730968617685936744409500073193824185967567694129380638955/11655300011053422016608711359492007650068072572244918699161104890038859562401480502752340865901258946048134429626498089120025406850122179769962864*y^3 - 599004250282500435274001604699605750856903461193781360535273459930774569461032941128355967843072283289139523857452110058668726334476081686736291517855/728456250690838876038044459968250478129254535765307418697569055627428722650092531422021304118828684128008401851656130570001587928132636235622679*y^2 + 9969427667999397630266247798511539198669306958730171782505215695938880342994519530375681151043070573436945602418026260478309740579908060497867879457/728456250690838876038044459968250478129254535765307418697569055627428722650092531422021304118828684128008401851656130570001587928132636235622679*y + 8720603663689948531728745110558546430186159159877182882665400407804428988793434350445554477554772423868399087955644368024800636209843468982508136357/485637500460559250692029639978833652086169690510204945798379370418285815100061687614680869412552456085338934567770753713334391952088424157081786

-46232956563702481448089355494817959300636412432419076068840362740212733975368221447771512725355053545915344910528630994392252961961496332547151661/971275000921118501384059279957667304172339381020409891596758740836571630200123375229361738825104912170677869135541507426668783904176848314163572*y^34 - 1898520436916402285985550911210756236307301554012018197475097003798692176613123507392548197993080370155341966721313626173028807992653212997632468871/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^33 - 178717198377167047845213784999169630895574318955375780056618729836733967947674155727559417155182759533257950358285227446101824399334696678468987277/485637500460559250692029639978833652086169690510204945798379370418285815100061687614680869412552456085338934567770753713334391952088424157081786*y^32 - 3523897952144472637086937856716599630642483374989402430660519236854760595486251351674113911064566096879949935314079954772395030469783677209265327543/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^31 + 4610524148707213651487965639412262915122563583645605362965327030509673610064365370613681327291313002584535245294525879615508098376387580598560512979/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^30 + 258332943168043740480402855363606911527820953714139844885137356252393130349798790036805381238794062601073906683882832961600731812409780609735511866253/971275000921118501384059279957667304172339381020409891596758740836571630200123375229361738825104912170677869135541507426668783904176848314163572*y^29 - 2186889709882923574338899060081586989357484628674616382093767065899083730124054764493910022917259911139668564355801371769062047608774339195251957776125/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^28 - 7115550695181831251813685253364733214362550636113285707867065960853268189751224250747505980089178184637971992370267960123413278597446211818800985974341/1942550001842237002768118559915334608344678762040819783193517481673143260400246750458723477650209824341355738271083014853337567808353696628327144*y^27 + 28311466446654520091494119263388639522888143034460062110107495409843771074652655541772210620618297294519384676465975563285398470415556129166814834644765/1942550001842237002768118559915334608344678762040819783193517481673143260400246750458723477650209824341355738271083014853337567808353696628327144*y^26 - 12874707502624144920879105791254107299012582209242662337693614223498685838871063228439956140040939307605076920173342494215840719722976055820222998080917/1942550001842237002768118559915334608344678762040819783193517481673143260400246750458723477650209824341355738271083014853337567808353696628327144*y^25 - 53611101845833378998007303294862683582178702518123751873261819082025318677656574742699433925459819845376530954596484740637184675047364992353636603660293/971275000921118501384059279957667304172339381020409891596758740836571630200123375229361738825104912170677869135541507426668783904176848314163572*y^24 + 218725782116887777126468132211048978380669540915677264043186638171360516898024971829761250068272821753605060809379813437351235406761870932620271087735923/971275000921118501384059279957667304172339381020409891596758740836571630200123375229361738825104912170677869135541507426668783904176848314163572*y^23 - 1430007023166019695357932585551914925502561433368341766060644675998941271197032724805165810486669563707748857473217246474676558426697423136068862641067461/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^22 - 630027064128986112268818778882167519455453044644674189809709473815388182311450451864673681416824308736951588357552853842312977658685408467548511301993859/1942550001842237002768118559915334608344678762040819783193517481673143260400246750458723477650209824341355738271083014853337567808353696628327144*y^21 + 4923190243077433846101109053946098413991469035425121548822669739116108486312261665375901396488022021952390384181833550524899013570540690776367455108006299/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^20 + 1436961861796065614236322608968130626793264453231457750055578914422500500658708613722507141992679544257364275193777815621718822747255339685007355457418543/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^19 - 9050982033496708040478294483805406475449244590448787505488973558847050416385468019519495432474639616810057598570002205428609509113170841325485400013919535/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^18 - 3560648519874615648304481229650319604365900783402189696814246904778224360551385686504440593536070297504783884219051188501959438444067164801709077983949401/1942550001842237002768118559915334608344678762040819783193517481673143260400246750458723477650209824341355738271083014853337567808353696628327144*y^17 + 10724851936802065248981853260020844922468731900171849118158259007164063974988093267210233917986081341221864965120884578364514400504309802801885036941375353/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^16 + 10258274099597739932269738052961302098352344612732798973046336224210413442879307239039745747788058761138409982672393502809098711638866493803099434468660535/1942550001842237002768118559915334608344678762040819783193517481673143260400246750458723477650209824341355738271083014853337567808353696628327144*y^15 + 1187883341401797649911953402146990181901635723801353117668195818522699259923713814449750569853405277115587106907370009420755633963169883172157001616103141/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^14 - 21724851501920346487996662874017919158197759254704272959379564475014138936607972044866025682664954451237628199119295371453759546301551408641905722516904125/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^13 - 14695278740166471972318380469628520560403266682010667278377814728226249538097163419776949745362654460462308024154504433940691942924676906182831371591358427/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^12 + 6384916199581444610321562856694202411394219490944611512372297021392888066868703670502240885915168092304940535841783799466932074064110289090979673397565051/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^11 + 696070547014896759120924472445527114560711596067043961310118009731621053471087800380108721271893156734545530962657208177313788666309631748003584046995646/242818750230279625346014819989416826043084845255102472899189685209142907550030843807340434706276228042669467283885376856667195976044212078540893*y^10 + 1321483826300119855133266596332111708510634880982626626300132956576404793818219248267587583836861939940209648214524379735685883770239868203328888480573607/1942550001842237002768118559915334608344678762040819783193517481673143260400246750458723477650209824341355738271083014853337567808353696628327144*y^9 - 154907413297024998095083384640385093954663062475074223023123432924050892450797494875101923582949801954045769921630225163661555244947975940584942231028864/242818750230279625346014819989416826043084845255102472899189685209142907550030843807340434706276228042669467283885376856667195976044212078540893*y^8 - 1714469231933534697538344861303790666961121151523449313554366138801103496270248584153595485913731159668803358322096673514392673398803306638848651039973841/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^7 - 139523349645397125967999587977794293509881313344256748921655835370850122727795072362014665796458570577709845970688017797087138979008403135295889950480805/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^6 + 237698905695605046443151265052861916800334194634303614816813715079362022306333614867899449451568249462620456476713050396752347307687457569317074752444153/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^5 + 76679707461039408157673220084912191459634478077259452694418456160555343303513244430204309797691703427021864070734103314467704538192845383495544751059759/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^4 - 5118534061766061450453945468936680171349382819955465593479475113720591999526728456167654679425532718094382934429932676061453884878647290116869387059801/1942550001842237002768118559915334608344678762040819783193517481673143260400246750458723477650209824341355738271083014853337567808353696628327144*y^3 - 765251588516554429300912277350566856248374601623647822287796102540337909132516902315838164920933837919811283553952869313642541650952854634069083746845/485637500460559250692029639978833652086169690510204945798379370418285815100061687614680869412552456085338934567770753713334391952088424157081786*y^2 + 12714053234009004502348028097019196487272301487205361795235132912965400909980829573421995804558724186224508166688863741307132540881290692365875532393/485637500460559250692029639978833652086169690510204945798379370418285815100061687614680869412552456085338934567770753713334391952088424157081786*y + 16711452470794376796440573889225093011332079873882853053795795356611826928369968135767047592746728878365824334679738542466222305372788596618424883861/485637500460559250692029639978833652086169690510204945798379370418285815100061687614680869412552456085338934567770753713334391952088424157081786

-20159665847673941881626221036923161279133325980220112401760928200236636820301751893317012822239423980686324372136445198123798562009562274508114093/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^34 - 103467767909085605050499001597455058611387465539104913450313234285130291014199826983053205062790965603782228557505031253331350300852524974542610075/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^33 - 155627762724464585004721683738098693340147673670435395295810524186299932929952336466296697352383591874066026542239607580838801455091354885822223765/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^32 - 384180553027392265911170309679930712635827653294861256563269510390048086385511090878601334673738932065184612357066642483959529071756319871101183753/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^31 + 251531364583198745311469708876922926798038490144559961904532907168563303784381648848669824406374395281367217091193612525928650505153165729147240667/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^30 + 112643818777606931342869604528916855809438295688917673222441077820188174044936553943958918983737849391288516923234567474958351419115088315854680608229/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^29 - 59633236682036717969303489255385996836023239242479561559511616143672721288744965986773894141756750774957106541543484234660627883183726099343266212857/1942550001842237002768118559915334608344678762040819783193517481673143260400246750458723477650209824341355738271083014853337567808353696628327144*y^28 - 775463124612161749533785190607304716898570312067357882010072080619789144154568641378175440672220427606660997349101386387457291348815580700704924157197/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^27 + 3087028808809025222567047555479864047381792602055801099917361186379017703006345229706201591890432215273410994675759574451947136208422239247964043955103/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^26 - 352011075027423927979777126642631861397342744185989340546373454255747064479493276907954177967589722066646001361651615055937543467645923442926029585423/971275000921118501384059279957667304172339381020409891596758740836571630200123375229361738825104912170677869135541507426668783904176848314163572*y^25 - 2920612337983555661048202308253546014276739012062232641800677822728094140630322430798246720538500045490016968253839486164561003370216550888966493261413/971275000921118501384059279957667304172339381020409891596758740836571630200123375229361738825104912170677869135541507426668783904176848314163572*y^24 + 95393085256553119757006036413689540110349801289544960336425374898160617241862799048557201473975198663924720686846791641592520540565548597215442204946897/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^23 - 39006031961013516759778796698913916364851079928799795290500806608968942243659460199622477382560647456385771191889846209206754142102761013330528343376099/1942550001842237002768118559915334608344678762040819783193517481673143260400246750458723477650209824341355738271083014853337567808353696628327144*y^22 - 137039865752804805288507445317651754567927011139906896936409021039881024228480785451837716046417298907644085273827214692899928957479765669619915681074507/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^21 + 536566867850533726316118555241746889183630421056083287314870469754139798815719382429371605584364458633407785119778488604646008496811896267908741567818267/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^20 + 156042818962682449929906661051410516668177440207349165431156880354653583499268323567472265924282077793386126709858009925357353890297867025144238951820289/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^19 - 123281250794998135625057861621431468430444390329891749409020383772546751137835955160448494819551408557856518311926504543371522259459084967992300212730065/971275000921118501384059279957667304172339381020409891596758740836571630200123375229361738825104912170677869135541507426668783904176848314163572*y^18 - 775380599754632062431198904543475556301035474777094339762661409273128076010464512280660973822618400172436324996867275049247698205006360673562723478568909/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^17 + 292281085451455953316576349789813638293437122878508856735921570507316935320421193304655594539392317406987569892414605582558497433510595270667856140137581/1942550001842237002768118559915334608344678762040819783193517481673143260400246750458723477650209824341355738271083014853337567808353696628327144*y^16 + 2234941556140289781904903631072815816057580041356677249354707978476046836937791795620003681772782550373617157384729820839196780258906373249374244007876731/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^15 + 128279578904104010145368949844716195188028363230046376564793005427319342554560830014222151090869304286249940580658377391507426046267834608795186392932179/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^14 - 2366957462582013148602248120869802162453404175190697027328447622748567375598805550958597265028421531175100545623075453665048664250988037170824257617271655/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^13 - 1600063327644321713091155515893116877050122051722249063107121695346333696004959506820021829230015362082977794561579862223056925077236082912517356832193461/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^12 + 347978754624694758029421185224776029520301513502966741301876022570388134185481200120943800301870218410579192385376193188206147923253691229434317623919387/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^11 + 606469389994091170543524166597985707947283587585740409197054476582619335511116923329912881370733664509255198395513741785377754641879377068753779394229271/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^10 + 35962448674379149098298850870945785033041131409253970599496995456657791902361411234674961862490785331836198362332122467524212427161590043302785114050089/971275000921118501384059279957667304172339381020409891596758740836571630200123375229361738825104912170677869135541507426668783904176848314163572*y^9 - 269949533965044085261245066359197163112122948170301212760607731235145841285151775400545521983674399345936836369212506245706396111176230463061330549041199/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^8 - 186704124171865571481365884085567393888682852208530173858880220246217724727845181702801297026344305455339087581188299473787064370168652653958931866518985/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^7 - 15193252407111071813003091761410064210572071718732402452003283420532568506522880394987795678645570127370023068814543585554421849321106844630757597580155/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^6 + 25881190951586674429518997783298015090459544936076903521197111296495791248652538469693207701232685195728351564662708446098852227249004738438004067887607/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^5 + 260915691111332771588331640373788439711083023447932476894700661521364909796073178886620923674377958526238978359826745215231804912775111628167803534379/242818750230279625346014819989416826043084845255102472899189685209142907550030843807340434706276228042669467283885376856667195976044212078540893*y^4 - 34799996057247838513388709862927878590551646653539214895681297295884144305797372930993355806846026595019334484959835386925915853715553392564556343087/242818750230279625346014819989416826043084845255102472899189685209142907550030843807340434706276228042669467283885376856667195976044212078540893*y^3 - 20829532707979722980611137203479872374333652794420391121862872364597766620656920348770178134462227265378390439768706389076140072436326739504492476637/242818750230279625346014819989416826043084845255102472899189685209142907550030843807340434706276228042669467283885376856667195976044212078540893*y^2 + 689425491552691162129471143771122459471519782259303084944046069024601797521037447549695863521528032310487492945569527429419246296547228583083287935/485637500460559250692029639978833652086169690510204945798379370418285815100061687614680869412552456085338934567770753713334391952088424157081786*y + 454731468079722673104709282774832412610154588886132235659946958156013594117634866073393255283013785060699179150732890262958509521260283482058771225/242818750230279625346014819989416826043084845255102472899189685209142907550030843807340434706276228042669467283885376856667195976044212078540893

6361905982870245269677682566418740885490581949458534275643126467294095084906770007492150536985011623200731461179897150725135035203013752812485745779/701260550665047557999290800129435793612429033096735941732859810884004717004489076915599175431725746587229421515860968362054861978815684482826098984*y^34 + 65311996136123611192467272504612414404340632286067469903886444068979209128186610201925447650071143618286041521203815162142557712808525197673163975245/701260550665047557999290800129435793612429033096735941732859810884004717004489076915599175431725746587229421515860968362054861978815684482826098984*y^33 + 49187351077081440156498832045403377825291078160710950679342999489276080589841187535727288538502881972056943623063389192103504057279387261684202700963/701260550665047557999290800129435793612429033096735941732859810884004717004489076915599175431725746587229421515860968362054861978815684482826098984*y^32 + 60610979864923597086221310623368232649893029174879489987680187077760790855345622946840872944232172862648259930461631686246896031842194674555382064763/350630275332523778999645400064717896806214516548367970866429905442002358502244538457799587715862873293614710757930484181027430989407842241413049492*y^31 - 158600812907250105045647896634421937405671437783702724432589402284662170690595812229211404910585300361976516095176841716439536546257933435578647727629/701260550665047557999290800129435793612429033096735941732859810884004717004489076915599175431725746587229421515860968362054861978815684482826098984*y^30 - 35548039247090813535492390697240359037418179819322771921128633844932116224037655821037653802411962063615011611890675680251865874950518185138995913852983/701260550665047557999290800129435793612429033096735941732859810884004717004489076915599175431725746587229421515860968362054861978815684482826098984*y^29 + 75230252559462055508166118732754557678628161120598442997744921317907442408756430027968018887430554337047598317630575455569085151499122248193494941815813/701260550665047557999290800129435793612429033096735941732859810884004717004489076915599175431725746587229421515860968362054861978815684482826098984*y^28 + 6441807141907047467188692015510227149596122980584954092063860754782647582789103770018986011526868130121718107076388005833595721445428411185493680221129/9227112508750625763148563159597839389637224119693893970169208037947430486901172064678936518838496665621439756787644320553353447089680058984553934*y^27 - 486973860886141198161932723211033637970271850616353585331474959417460764517230857284693085464666215535831186613518229307713704263692807066670008206690533/175315137666261889499822700032358948403107258274183985433214952721001179251122269228899793857931436646807355378965242090513715494703921120706524746*y^26 + 23307117858898411696321058780167815616310907007379099261746976075107288150138809419686711599814126321749420968931308840169081538302209528368357326228463/18454225017501251526297126319195678779274448239387787940338416075894860973802344129357873037676993331242879513575288641106706894179360117969107868*y^25 + 1844379374918873922822375325355425162877857087297049561546344811513661957284665099133347577534490638669954910481062959160308691377765066382264658410384537/175315137666261889499822700032358948403107258274183985433214952721001179251122269228899793857931436646807355378965242090513715494703921120706524746*y^24 - 30097889942438230113947004582936339904019178705854287971002663356127750511952091983384216565797137404745600809543327284142299024601154244362481470975282239/701260550665047557999290800129435793612429033096735941732859810884004717004489076915599175431725746587229421515860968362054861978815684482826098984*y^23 + 49192115341795918910601706089031881636787571728644918306065689042821482003105775871071574528082247654714789052624405013367548960642311106708125410438651821/701260550665047557999290800129435793612429033096735941732859810884004717004489076915599175431725746587229421515860968362054861978815684482826098984*y^22 + 43354435654522829582727447303963690598267441383279733570071274049537734628766542217886043551977722435148402771324604485569632300430530986399515392217283635/701260550665047557999290800129435793612429033096735941732859810884004717004489076915599175431725746587229421515860968362054861978815684482826098984*y^21 - 21171599057403010751478239635266654300471734015930200342339482851180812151745797626865107029895444315354114047228447678348745185414380753473334256816154325/87657568833130944749911350016179474201553629137091992716607476360500589625561134614449896928965718323403677689482621045256857747351960560353262373*y^20 - 24718762978586207618531419869020987378927781377511996499529423153649575389463306622661410431397746056434744114487914646107699011431780663695621420101597797/350630275332523778999645400064717896806214516548367970866429905442002358502244538457799587715862873293614710757930484181027430989407842241413049492*y^19 + 311382657154170266001614379358932410676787942560344083953901958707722191816746645855439362693799092227362115344126933130408206076915333961692720847443188863/701260550665047557999290800129435793612429033096735941732859810884004717004489076915599175431725746587229421515860968362054861978815684482826098984*y^18 + 244983707994701279758609129225642796036551293143363855904909057356699137006365543241156844876778528762259586099064022248477336958260002302412466709138700685/701260550665047557999290800129435793612429033096735941732859810884004717004489076915599175431725746587229421515860968362054861978815684482826098984*y^17 - 368966097886047596226595855162419152965426529929887489381564140625533893594372678641967706402912159611597915126917161588184479270133830433900591542561920593/701260550665047557999290800129435793612429033096735941732859810884004717004489076915599175431725746587229421515860968362054861978815684482826098984*y^16 - 705814013590464619349309439336032539789706002449153541836273203699895584782749427584566922175915908519072934199343449357043863596886518194570480509905381571/701260550665047557999290800129435793612429033096735941732859810884004717004489076915599175431725746587229421515860968362054861978815684482826098984*y^15 - 20424462509987885244967893075500291217010197222001877878798575528405595029697929655977563213579339901380041090503575452373731439441349035983894887863042001/350630275332523778999645400064717896806214516548367970866429905442002358502244538457799587715862873293614710757930484181027430989407842241413049492*y^14 + 373699559654655564353709620956711641656664873312636985421929164476565145637556819485883535200761581382384849381913725309682408508583549731438377220543325261/350630275332523778999645400064717896806214516548367970866429905442002358502244538457799587715862873293614710757930484181027430989407842241413049492*y^13 + 252765919039671225542964975810730599344495299507736290835219795604191304077467220028244765035749381235050537399967311890909138824518598195794275313059852413/350630275332523778999645400064717896806214516548367970866429905442002358502244538457799587715862873293614710757930484181027430989407842241413049492*y^12 - 219683150754251008384115551823775128685417259442950515821270219996531795848902462992926674264681910070202572757085146826556455157460143742906583016411817805/701260550665047557999290800129435793612429033096735941732859810884004717004489076915599175431725746587229421515860968362054861978815684482826098984*y^11 - 191569524020587284959732079601316655200851977066262547756952794485710573217347108162288986737046688735026118822155181543071119843068833494500377279664347867/350630275332523778999645400064717896806214516548367970866429905442002358502244538457799587715862873293614710757930484181027430989407842241413049492*y^10 - 45452635589545981885805368627813185600968012845248939537445853533656215681713935986366245107572601860033222624020109571710763915182023927287205205786670591/350630275332523778999645400064717896806214516548367970866429905442002358502244538457799587715862873293614710757930484181027430989407842241413049492*y^9 + 85271794492494627881790217208294355518506368304535847371321522881238305290482608315504177765667607191923168553771234964189468542304321704979294468748875141/701260550665047557999290800129435793612429033096735941732859810884004717004489076915599175431725746587229421515860968362054861978815684482826098984*y^8 + 7372107912862294319568709035646673810103947194506789569503590714898669594463636057264170188671816953877623469642845673802028786974684665607069435740276866/87657568833130944749911350016179474201553629137091992716607476360500589625561134614449896928965718323403677689482621045256857747351960560353262373*y^7 + 2398553766892312926746241735555966286526258251380343715542284776961076632286876163341233488408056757043137429805395484343238873474175952684341012717674003/350630275332523778999645400064717896806214516548367970866429905442002358502244538457799587715862873293614710757930484181027430989407842241413049492*y^6 - 4088694689629629809547293337183219366711880994627521775876170985575519200880952515941052629093567832035321133976072518948870548068435979787438735286075067/350630275332523778999645400064717896806214516548367970866429905442002358502244538457799587715862873293614710757930484181027430989407842241413049492*y^5 - 2637433043381963929507464830093831151624944659307578123033051638885389159602671516699187131469614924666764106875517873595055978125614946834201075834420423/701260550665047557999290800129435793612429033096735941732859810884004717004489076915599175431725746587229421515860968362054861978815684482826098984*y^4 + 176147822502768190758143190446948962275084786432452480083368543671734298424333947334797948706697741738615949008242238727541803028418024224496983886067171/350630275332523778999645400064717896806214516548367970866429905442002358502244538457799587715862873293614710757930484181027430989407842241413049492*y^3 + 26319631617740218121037769272236281889645394373086305312983932115937093525487083922593281483470756258557851983300229679274470545575149270556484875894880/87657568833130944749911350016179474201553629137091992716607476360500589625561134614449896928965718323403677689482621045256857747351960560353262373*y^2 - 438021045487049257042694203688774534587915773951296168352378866975202862584539601755543372743799699510246050394982368426497696644137532407816709391503/87657568833130944749911350016179474201553629137091992716607476360500589625561134614449896928965718323403677689482621045256857747351960560353262373*y - 574744993400092937747777390898733349342738847298101400409615968078251778986753098792233759331321788545074672933478205832561127415970571723459545978040/87657568833130944749911350016179474201553629137091992716607476360500589625561134614449896928965718323403677689482621045256857747351960560353262373

-1679013992719108453279841359116199598325098095776374192467838644485295489171971647187534557909735576462965599112289984370912587913278537984070057375/1070345051015072588525233326513349369197917997884491700539628132401901936480535959502756636185265613212087011787366741184188999862402886842208256344*y^34 - 17242911100249247064829134255222048185536670627331954858707931477394492964295836509924570405871373851456244619829266937431785731585579438415678679957/1070345051015072588525233326513349369197917997884491700539628132401901936480535959502756636185265613212087011787366741184188999862402886842208256344*y^33 - 13038749256659530846248063118160010184350754469484296957497486931891577461428896131890475456458729160799831991979784520230578676073725110943300049511/1070345051015072588525233326513349369197917997884491700539628132401901936480535959502756636185265613212087011787366741184188999862402886842208256344*y^32 - 16000356753125907415819160024075159216031766652589194134077567360170239770395826053249493674376976014219160135183713206176606957908489147666120855605/535172525507536294262616663256674684598958998942245850269814066200950968240267979751378318092632806606043505893683370592094499931201443421104128172*y^31 + 41747161008197621505138466545444690131447920198969295132043818648995256389678869968327824095464038545492385437510548621056007164146887265810419681725/1070345051015072588525233326513349369197917997884491700539628132401901936480535959502756636185265613212087011787366741184188999862402886842208256344*y^30 + 9381947038993428232295468223614508106669082028971782313329139179796712698533196635400268744784958541948245844816659845706512215351945273555944821488555/1070345051015072588525233326513349369197917997884491700539628132401901936480535959502756636185265613212087011787366741184188999862402886842208256344*y^29 - 19821283813609330112872022197867370791148004159999348628159580263231368063648754327371069235680453064422500530778527529946050690006074863523253136675669/1070345051015072588525233326513349369197917997884491700539628132401901936480535959502756636185265613212087011787366741184188999862402886842208256344*y^28 - 32325123964534485398447257342241748296937987842569969574344480240210457907427323916508052455131524959975055160323659236163419013743721888710936283152299/267586262753768147131308331628337342299479499471122925134907033100475484120133989875689159046316403303021752946841685296047249965600721710552064086*y^27 + 128421308386155803478010783517872265552236403689842121374791608813272111374759102314564600802095692598684930508369590497401842508715419870376451089063217/267586262753768147131308331628337342299479499471122925134907033100475484120133989875689159046316403303021752946841685296047249965600721710552064086*y^26 - 115825773351972242020379318475911951244011347055371706596408138221480092594181760917648766562896369535833942920084740008781815221943449209893426851644613/535172525507536294262616663256674684598958998942245850269814066200950968240267979751378318092632806606043505893683370592094499931201443421104128172*y^25 - 487322146044373177619063245943083009727130935078212823390800673432861086644986055306683971953026840667261540288617729618852047570519155228700440311164199/267586262753768147131308331628337342299479499471122925134907033100475484120133989875689159046316403303021752946841685296047249965600721710552064086*y^24 + 7937958813048947110212242247983189370832221938294691356494547942133151159778253099407702459166957553768534251389783969804614884024923175599616465093121947/1070345051015072588525233326513349369197917997884491700539628132401901936480535959502756636185265613212087011787366741184188999862402886842208256344*y^23 - 12950818802352565330803154980151018070824517790650372754924546150274633106383196819503842911992286167192816688453027319551684203877500922497714671202674893/1070345051015072588525233326513349369197917997884491700539628132401901936480535959502756636185265613212087011787366741184188999862402886842208256344*y^22 - 11509537803052950526606118963752462047191514512660749649299788431724076168830223210326269095211950283678071666108460653252939019902019997537721276994904167/1070345051015072588525233326513349369197917997884491700539628132401901936480535959502756636185265613212087011787366741184188999862402886842208256344*y^21 + 11176377743147667979402145752142352941419906179784349133378736019763559049389956479166324174048357309558030790406704208659784091630522377013378083242054055/267586262753768147131308331628337342299479499471122925134907033100475484120133989875689159046316403303021752946841685296047249965600721710552064086*y^20 + 6600634077011362085065922842325224984145346399914547903406679717427901774539704225397715337934399267950849897358159736628120801498687643173085243919797719/535172525507536294262616663256674684598958998942245850269814066200950968240267979751378318092632806606043505893683370592094499931201443421104128172*y^19 - 82235549014328274180875145996340540508360186092628735078118171796566215697792969739977825499971088015021777827529292542779676185694406199853464045321480239/1070345051015072588525233326513349369197917997884491700539628132401901936480535959502756636185265613212087011787366741184188999862402886842208256344*y^18 - 64905554259208071854420377843883170065888769761228419926025108005284352485235899555595734855284774107665484045919363775820554764883035094181196439702444569/1070345051015072588525233326513349369197917997884491700539628132401901936480535959502756636185265613212087011787366741184188999862402886842208256344*y^17 + 97312466737338581721654950365954771854261126321131533142659607812388137616466864295904509658828505807321424284532431348385317121056752673192830777889456529/1070345051015072588525233326513349369197917997884491700539628132401901936480535959502756636185265613212087011787366741184188999862402886842208256344*y^16 + 6436459051144240717172696413643481268246356048497097709585059770366353366728840000205005402565615145182346537208913018603338056063666740425972855048593435/36908450035002503052594252638391357558548896478775575880676832151789721947604688258715746075353986662485759027150577282213413788358720235938215736*y^15 + 5592856973440933867740201568714916264324552193595920384176627254046611234006027426247966296063018911557423923500582872466418574825838189806800550768775687/535172525507536294262616663256674684598958998942245850269814066200950968240267979751378318092632806606043505893683370592094499931201443421104128172*y^14 - 5196622910139713100247860268356028072500487799906634536741270853078421311446384469264547672147567527640127803253208571257633866483708057401343056895235613/28166975026712436540137719118772351820997842049591886856306003484260577275803577881651490425928042452949658204930703715373394733221128601110743588*y^13 - 66978868421888446125412236690614905370254606310752122878855806479341139215701943532484051264775954912248321010025784575104097126970887345870147578875325707/535172525507536294262616663256674684598958998942245850269814066200950968240267979751378318092632806606043505893683370592094499931201443421104128172*y^12 + 57859876044997758229730508903751609423281355971167061016488336930648060222352701504647770295443002763071798839096711969316260224305134685557812335517690773/1070345051015072588525233326513349369197917997884491700539628132401901936480535959502756636185265613212087011787366741184188999862402886842208256344*y^11 + 50691956120343494311655751799570528046444183859228663008977097204099326458766235742409237550743003884750125506006992122950240780269511050772186876878509507/535172525507536294262616663256674684598958998942245850269814066200950968240267979751378318092632806606043505893683370592094499931201443421104128172*y^10 + 12082243920776362413890591639169638896133631969645790417730643603108815622386878171373871521025961728020204859130887326103080948993002194898813848422512411/535172525507536294262616663256674684598958998942245850269814066200950968240267979751378318092632806606043505893683370592094499931201443421104128172*y^9 - 22528439055200113685447564112646715760706947160816688358515667903406089991847966396898969943490293146583039844307335173359935694312871461856791391543209409/1070345051015072588525233326513349369197917997884491700539628132401901936480535959502756636185265613212087011787366741184188999862402886842208256344*y^8 - 205550088556607408735434527138732623608558653626590200273973182537160795092943875325712724756834764594668585452758906300645398024679940949408107301216779/14083487513356218270068859559386175910498921024795943428153001742130288637901788940825745212964021226474829102465351857686697366610564300555371794*y^7 - 641099717192064293300136941839763439685139850076699049815960664714861953248228425371715173310538824481295224906730359938320642899460746466800149811966457/535172525507536294262616663256674684598958998942245850269814066200950968240267979751378318092632806606043505893683370592094499931201443421104128172*y^6 + 1081465731957230630242822633077237497005434451373734378712614008199144644646365630547749024414881100915812810503250368818178677869467364348105274278593825/535172525507536294262616663256674684598958998942245850269814066200950968240267979751378318092632806606043505893683370592094499931201443421104128172*y^5 + 699583742480820807819991335372792004504973320287040129234745447719298617858760862794350434062243497331428862501607126023919616921198439788316535428067439/1070345051015072588525233326513349369197917997884491700539628132401901936480535959502756636185265613212087011787366741184188999862402886842208256344*y^4 - 46487504912019983956637379212418315052411513891686488550759053019203837821025173808719038126605199163225954550981244962333301146569418851136076088094787/535172525507536294262616663256674684598958998942245850269814066200950968240267979751378318092632806606043505893683370592094499931201443421104128172*y^3 - 6977842329433996505357566478688823898400292212167574672966645048627576715116421251472868228705141457368565469014400240432683687983531599348857202688404/133793131376884073565654165814168671149739749735561462567453516550237742060066994937844579523158201651510876473420842648023624982800360855276032043*y^2 + 114907351742120348362814521540517865113561238446499803638059881139205538729329062334970655466601046053720607726434421079647322239087129920675609359455/133793131376884073565654165814168671149739749735561462567453516550237742060066994937844579523158201651510876473420842648023624982800360855276032043*y + 152537233876084669169235104050707791208020238743527704321981437745553841222876794174343501111523264084445049622184760785337927865439736704085620682424/133793131376884073565654165814168671149739749735561462567453516550237742060066994937844579523158201651510876473420842648023624982800360855276032043


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

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

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

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

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

# 1 Loop Invariant
550419496701520920669123156565128674877987801125672508035644295686242927298281342999919913872600082295494614198261652382025583504017023772607740303431/31080800029475792044289896958645353733514860192653116531096279706770292166403948007339575642403357189461691812337328237653401084933659146053234304*y^34 + 1412647384769108849615472695395546575662965682049289560836841947578675334354032590210198026629501577115537219629887832480836452405808331962629373136903/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^33 + 4254887394819368583308607932705301508303659350841822795634245168638862462978907052758658179587338271209168710227440142794020639864642333150535414676763/31080800029475792044289896958645353733514860192653116531096279706770292166403948007339575642403357189461691812337328237653401084933659146053234304*y^32 + 10487915138999908896259561608829946367615718099150129138917341252005804558817597855774441966067490222057928273187450974059907987729597431414802304243037/31080800029475792044289896958645353733514860192653116531096279706770292166403948007339575642403357189461691812337328237653401084933659146053234304*y^31 - 428851282713840762748729473958313656489377792852872638966779971959935757160475672808266576048091026079999093720405541967322184263923325294454563934345/971275000921118501384059279957667304172339381020409891596758740836571630200123375229361738825104912170677869135541507426668783904176848314163572*y^30 - 3075542848317162388534213617246450523342437890309759230486077940880485947145667565298063319464636531113138275371231668145001408361422207005060111934142227/31080800029475792044289896958645353733514860192653116531096279706770292166403948007339575642403357189461691812337328237653401084933659146053234304*y^29 + 3254594221855351169708914731290115159254533716522197890785927268110389478997817272811923557725779453133366463810477518510463365868071941584120860942267701/15540400014737896022144948479322676866757430096326558265548139853385146083201974003669787821201678594730845906168664118826700542466829573026617152*y^28 + 21178008692479676523509418600599440861631225581470492611648066253812694552422897343036415202351647337247230652283199148363570367955877918521198959576129043/15540400014737896022144948479322676866757430096326558265548139853385146083201974003669787821201678594730845906168664118826700542466829573026617152*y^27 - 84266387602291246555599995460282137492852009976238562898579261082216301984641428861796923336292286245477424288472788866144640961219567979727553896653096671/15540400014737896022144948479322676866757430096326558265548139853385146083201974003669787821201678594730845906168664118826700542466829573026617152*y^26 + 19163387211755537658322964229383416133736536921270793033862944264538866855655850122512824540059782906441524390399969968470599982474956419702512591563988487/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^25 + 79781839842201303063029786621526424463746392768696930945171701899640489376311948692706426941079541720799553928536475621536588992386061264217566829040103623/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^24 - 2604069782992897524394186025382635512696310276134281219348590927257767553017298978481367111838275387053791036031200526468876329180348568201082471851224431699/31080800029475792044289896958645353733514860192653116531096279706770292166403948007339575642403357189461691812337328237653401084933659146053234304*y^23 + 2128206729051935615486330113136912542482763971201155550525096212137200084020077661290633209821662109189008588096094360941826227492569304631664302033335125985/15540400014737896022144948479322676866757430096326558265548139853385146083201974003669787821201678594730845906168664118826700542466829573026617152*y^22 + 3750011451609259395232215627772399866044192020154573428361285284203759101034308258708675786797990454221747080472894052515255595197274919350683435743375457801/31080800029475792044289896958645353733514860192653116531096279706770292166403948007339575642403357189461691812337328237653401084933659146053234304*y^21 - 14653538814889021075078001641658177475322713267395495186802971496903827873816825156250465026744365947577329797437363406407756173422503382545444414574827173427/31080800029475792044289896958645353733514860192653116531096279706770292166403948007339575642403357189461691812337328237653401084933659146053234304*y^20 - 4275391810704999310306985469394700745143488793842464029961014412748978457970750498467066975148951889217175418045513167514415641501412630258485837699267902617/31080800029475792044289896958645353733514860192653116531096279706770292166403948007339575642403357189461691812337328237653401084933659146053234304*y^19 + 13469578849193765521586599922546938901386912006104674233945982512404706609895498327899179321787981510061286093470728153100643529404396959077778852356912007303/15540400014737896022144948479322676866757430096326558265548139853385146083201974003669787821201678594730845906168664118826700542466829573026617152*y^18 + 21192630481139892805015071315781007486333316190491427482655687045649047658578366683240630583960502371763848852452765952115009042520132940771345944482739407823/31080800029475792044289896958645353733514860192653116531096279706770292166403948007339575642403357189461691812337328237653401084933659146053234304*y^17 - 15961247673879167419665852475875724015424299517511168067795589538980483490910582598149575660944172986409532573366853707077228926036897663374769703904463609205/15540400014737896022144948479322676866757430096326558265548139853385146083201974003669787821201678594730845906168664118826700542466829573026617152*y^16 - 61060886136124272272538457428416530112199187410053957506293579575867759040111415386888615722319947131178504796062752569891673310598168144178784838567351518969/31080800029475792044289896958645353733514860192653116531096279706770292166403948007339575642403357189461691812337328237653401084933659146053234304*y^15 - 3530022967132762341253892129043142821428921184465268331188082218746619616314116085179658809061280095127913444165444881904798791300094627595295919426310624887/31080800029475792044289896958645353733514860192653116531096279706770292166403948007339575642403357189461691812337328237653401084933659146053234304*y^14 + 64660069495322464445110630229856197696120342958704702092144609642408277472880749070826692128835511421137253007819857768237303250374933845904833514631679943503/31080800029475792044289896958645353733514860192653116531096279706770292166403948007339575642403357189461691812337328237653401084933659146053234304*y^13 + 43731646437407758074654806158135189768339252602266293533936551746038588200026607479151631863906853013227289575793079703353354579639895193663280884376861449685/31080800029475792044289896958645353733514860192653116531096279706770292166403948007339575642403357189461691812337328237653401084933659146053234304*y^12 - 296983911320653212192165741678099547279894756960253413818987538712325841398142178602161732934216375497221692155319631676417262276326393206448924346758476885/485637500460559250692029639978833652086169690510204945798379370418285815100061687614680869412552456085338934567770753713334391952088424157081786*y^11 - 16572584458015275854162294144331101390818710159164211520314677817756655764062624265456996342722852616292417098586653750180372691388250185886122556491745555463/15540400014737896022144948479322676866757430096326558265548139853385146083201974003669787821201678594730845906168664118826700542466829573026617152*y^10 - 1965855185494047122278485826038426369502305879325031287432238955896244469318888751003485093833025893711107830084864976929714497021375518838364709479960862739/7770200007368948011072474239661338433378715048163279132774069926692573041600987001834893910600839297365422953084332059413350271233414786513308576*y^9 + 7377031386140102451184485335693529451007266726426896660830336690791570187038095406993022023292094409616385634732181038817542097303804327177179705016199322077/31080800029475792044289896958645353733514860192653116531096279706770292166403948007339575642403357189461691812337328237653401084933659146053234304*y^8 + 5101979700741435475610290693669351426533578307490717372563310335070811421085997848297965387812738548355564642631273201653492982044736693699505559142101668585/31080800029475792044289896958645353733514860192653116531096279706770292166403948007339575642403357189461691812337328237653401084933659146053234304*y^7 + 414933991305032118399152662969303556310478053291588621554897319711912750933535136277987333691695142907537511598619343424191343184631849824500226339155965043/31080800029475792044289896958645353733514860192653116531096279706770292166403948007339575642403357189461691812337328237653401084933659146053234304*y^6 - 707420640397366617040714616369953331461749948014927285126210451366393676684585460743744336728440003775811991987335450660056953682316937902411485903481397399/31080800029475792044289896958645353733514860192653116531096279706770292166403948007339575642403357189461691812337328237653401084933659146053234304*y^5 - 114077560703024833738923807416605249155630199130813963211270569967080290324236360234748102598194140757684167043930694633602630163007235271165006909703085755/15540400014737896022144948479322676866757430096326558265548139853385146083201974003669787821201678594730845906168664118826700542466829573026617152*y^4 + 3809421283312304359774273551212025862582535525544595019223905422989985808884574431726640213030118725993747734890967720521634449680075659781484099087020377/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^3 + 2276836380141931236135825832202625498430355553562590692832131009034638091720877402554123329207569356392964167720304087368296717631141650172321279049493461/3885100003684474005536237119830669216689357524081639566387034963346286520800493500917446955300419648682711476542166029706675135616707393256654288*y^2 - 9469797862015580385282092119911279771984428208596557199272401390656412071741370966064784014744243127041831475975448695892246087511703675550511646080763/971275000921118501384059279957667304172339381020409891596758740836571630200123375229361738825104912170677869135541507426668783904176848314163572*y - 6214457173662050453081066580788651261880506112721667414121839025789752401995103041034289507340175981946908513902704655721590727506177225966391159825287/485637500460559250692029639978833652086169690510204945798379370418285815100061687614680869412552456085338934567770753713334391952088424157081786

# 2 Loop Invariant
318229652409798878563587129703522532880228342055161604728537798984934145877477762277825491396818605827703177099163400127999314560151094077493747429425453063047345024879129671640958193003080451643574838976696885630145608712841966302316216585812997803441277490928494524671551213346761605/55428912077830002857909173082955037015577297689798597804312460941660733936974725611863280251200789472831855627297082441463025385161129246792996424301223504488128131344511176272895351819059909160850839226934725909104021250373296380051897376615399775773931849045366709901951576229651328*y^34 + 3266886232032856043918694864680213054775078066715647760828169107445755548588367136712399198012514353111032630557592781063627819415676640334812843215646763308320526929658519644497733125090343225282305121132060677740142270458351454136443871773454354887080388153513867087454370775940266807/55428912077830002857909173082955037015577297689798597804312460941660733936974725611863280251200789472831855627297082441463025385161129246792996424301223504488128131344511176272895351819059909160850839226934725909104021250373296380051897376615399775773931849045366709901951576229651328*y^33 + 2459515037957519730946227695590281007877884521252908383032901307803475386897429671698869258517230654043183352203857450952504321385024279288637238086952002994687895141570335400352006671787445670804010293942653606318391884864340883155529680669124197655817498006008017281177329412379889625/55428912077830002857909173082955037015577297689798597804312460941660733936974725611863280251200789472831855627297082441463025385161129246792996424301223504488128131344511176272895351819059909160850839226934725909104021250373296380051897376615399775773931849045366709901951576229651328*y^32 + 3031764713107192608639393739630047045450893776899730980130536835418624514787841227014671962249105480510085684588058243817504196753591578673225532106192276060413706068054772604103876739921104539578219186623106060577442691563109848489094206247414650152746778117408999628536459936472687595/27714456038915001428954586541477518507788648844899298902156230470830366968487362805931640125600394736415927813648541220731512692580564623396498212150611752244064065672255588136447675909529954580425419613467362954552010625186648190025948688307699887886965924522683354950975788114825664*y^31 - 881681565461980597740989805424932544363176470521165817499242700600725289985084439580992192580351135812225871522219426344972976419114267937307399483024423941512299532678665730456705446114568153623269471774510092269781929319648755116942400876183270879920204308479213856827791030880684859/6158768008647778095323241453661670779508588632199844200479162326851192659663858401318142250133421052536872847477453604607002820573458805199221824922358167165347570149390130696988372424339989906761204358548302878789335694485921820005766375179488863974881316560596301100216841803294592*y^30 - 1778149235896061177771076308272986210481377286923650558954806172322348043696260285183463760478743086635782612882903814556037647280781501128569849118865639954989507787318817901491081979866538760413577392547675307562961436517079708854273635084737404031720281168323074684372790866448695566797/55428912077830002857909173082955037015577297689798597804312460941660733936974725611863280251200789472831855627297082441463025385161129246792996424301223504488128131344511176272895351819059909160850839226934725909104021250373296380051897376615399775773931849045366709901951576229651328*y^29 + 3763617815597182874156854847834357686078444785274221516732328022950802576813075949689361933605582446045073525154602922686737266218475063523802432329506071993801304494095562730398439215989980981081124313042312834621063292214402557241800850759642055278057765681223885797182531209214940352095/55428912077830002857909173082955037015577297689798597804312460941660733936974725611863280251200789472831855627297082441463025385161129246792996424301223504488128131344511176272895351819059909160850839226934725909104021250373296380051897376615399775773931849045366709901951576229651328*y^28 + 2983401964682456092055362513260160406346194077045891362350056361637342156014005350863326146722780893454386047227753755908070281498690457884956090027914939360445421778155437077072797446742078551921040788724485957040236109289506406389846494729396504452301369570076425631660701154127201041/6753035097201511069433378786909726731917312096710355482981537639091220021561248247059366502339277469886921981883172812069082040102476760086866036099076937681302160251524266115118829412653497704782022322969630349549710191322282697374743832433650070147896180439250330153746537065016*y^27 - 24360514286024278551093201992994852731186754478305526517501216603143072733083482766280929330286853549747727813982826766079239106922975631505586405524661777026136071268524583738157970763530690512991928998331340582378475867660944990139217789939799779139798949603690135653169633286822080265581/13857228019457500714477293270738759253894324422449649451078115235415183484243681402965820062800197368207963906824270610365756346290282311698249106075305876122032032836127794068223837954764977290212709806733681477276005312593324095012974344153849943943482962261341677475487894057412832*y^26 + 1166702353385330562000417527745668282498096104243139259434698854929218377374276026548860278971978838281793101806517546346926034341729995696319200743099424449676738903360838071868219813206553943984901460163454734331156781619260121659952955702727167446709302226423719264299259855199202327361/1458655580995526390997609817972500974094139412889436784324012130043703524657229621364823164505283933495575148086765327406921720662134980178763063797400618539161266614329241480865667153133155504232916821761440155502737401325613062632944667805668415151945574974878071313209252006043456*y^25 + 30749718599935499185823773344187855138411880129367532752136745124763588077740209119658943859194157355096292196145923090843588328396935343682531028970640724133839076297837987222181314742344825640049748279845473881400359991473383830082958248291523967343252280646333754099061023726201240673919/4619076006485833571492431090246253084631441474149883150359371745138394494747893800988606687600065789402654635608090203455252115430094103899416368691768625374010677612042598022741279318254992430070903268911227159092001770864441365004324781384616647981160987420447225825162631352470944*y^24 - 1505612472831547176807552033606153377081524437017694285303335562580501149641696542839731539949157776018920200426157594436917959365405492999062747902763155505792780174831956612184931044291572635308339362463032722676606889477745035092883572127168487662882484272949307710862118621442702031246961/55428912077830002857909173082955037015577297689798597804312460941660733936974725611863280251200789472831855627297082441463025385161129246792996424301223504488128131344511176272895351819059909160850839226934725909104021250373296380051897376615399775773931849045366709901951576229651328*y^23 + 273459739903662728368353146333198802425213297279582572871689333947901693763856359161951077404066990203119749815534885652011147770703670891610408089695680537276376469981965818325477166359827788252250125095419559423400729398983878185610460138535803659594753948745676322297371072632325362443063/6158768008647778095323241453661670779508588632199844200479162326851192659663858401318142250133421052536872847477453604607002820573458805199221824922358167165347570149390130696988372424339989906761204358548302878789335694485921820005766375179488863974881316560596301100216841803294592*y^22 + 80280876101031638337289986273453027219391945646391502239400529228633037104530612734952635530033429554821185033450081267048759846012003627410457042829052686794655508193577469024523454785846817306186279307944261571775962149545029201469849942967687131016495664579522910925197891657989470192939/2052922669549259365107747151220556926502862877399948066826387442283730886554619467106047416711140350845624282492484534869000940191152935066407274974119389055115856716463376898996124141446663302253734786182767626263111898161973940001922125059829621324960438853532100366738947267764864*y^21 - 2118029010347733157287345325941629890072379310814824314123661530168863797902015108591172739318638716788092934705690087404030273285727615535228616331774425906435672422972588531993939363744334157748231221167476398938864532481177968143400624713984915918449724636442981419376911928376644010170619/13857228019457500714477293270738759253894324422449649451078115235415183484243681402965820062800197368207963906824270610365756346290282311698249106075305876122032032836127794068223837954764977290212709806733681477276005312593324095012974344153849943943482962261341677475487894057412832*y^20 - 1235284329513083406883350993314201999756814437615943310047660681908286841491307856305395758325726479213462946032821527295777861700812892798742464513773770257076812680535644784250964068428274282751850540457031187558024016200248747572027765826220432712435996133980997554758038605944623151335739/27714456038915001428954586541477518507788648844899298902156230470830366968487362805931640125600394736415927813648541220731512692580564623396498212150611752244064065672255588136447675909529954580425419613467362954552010625186648190025948688307699887886965924522683354950975788114825664*y^19 + 5191611589907949346215529467998151212233754964194333682845205655257856531660297460993751523012537826299807694628858724840295678013912327348667817506506686074264750875467856566946762588926117124343872660278673464357195239009669043921749073672364869473658768257829795541071634455471213656473899/18476304025943334285969724360985012338525765896599532601437486980553577978991575203954426750400263157610618542432360813821008461720376415597665474767074501496042710448170392090965117273019969720283613075644908636368007083457765460017299125538466591924643949681788903300650525409883776*y^18 + 12250551411907090062567386775263507005858583189654589756466479126082822507829357358770267896829300654764703431620621250396809934121808309215651513482341972040002142738984795638432222655140600744382227199316256925638617305380470810986160822718998859360898129816449524609739220334643410882974927/55428912077830002857909173082955037015577297689798597804312460941660733936974725611863280251200789472831855627297082441463025385161129246792996424301223504488128131344511176272895351819059909160850839226934725909104021250373296380051897376615399775773931849045366709901951576229651328*y^17 - 18457115355114545322418205538200761161935996354474067395688586804827516077701937872728421440589385157304032369253544441112383334382424133037639845916022228000436386866709632717864320881219733276608479451218480600020088429473949397776210015141446111272215552148965637840874427382300233051573331/55428912077830002857909173082955037015577297689798597804312460941660733936974725611863280251200789472831855627297082441463025385161129246792996424301223504488128131344511176272895351819059909160850839226934725909104021250373296380051897376615399775773931849045366709901951576229651328*y^16 - 1217234786585123916875864539363752773004260006382410021591110040279243834131621782042693785442231095779826137275736101994931804626127813957439108687951796418224731263688706852734775161953201067219483321325624499705458892540744648723931657600983263529328697733377704218435811718961750125371709/1911341795787241477858937002860518517778527506544779234631464170402094273688783641788388974179337568028684676803347670395276737419349284372172290493145638085797521770500385388720529373071031350374166869894300893417380043116320564829375771607427578474963167208460921031101778490677632*y^15 - 1018528960568211401403063826055649314312836815835340890154961540461989190840524177454168486926150678604518693037028231422622075998120415111429790938485266177243863069528616164028285682939390752167018681635217726946571208729905170457566663720847922737486052474269311025522754542022800790010981/27714456038915001428954586541477518507788648844899298902156230470830366968487362805931640125600394736415927813648541220731512692580564623396498212150611752244064065672255588136447675909529954580425419613467362954552010625186648190025948688307699887886965924522683354950975788114825664*y^14 + 18691247538774830036417990809395498171946242397169698863839242822037284157651013263633148381220600725513280863572560773100819486609053196572526001773698722834255927385526393782785698586000383052427046001834439474781800001046924524000122435794487555193335129991812136412281391848898265482759243/27714456038915001428954586541477518507788648844899298902156230470830366968487362805931640125600394736415927813648541220731512692580564623396498212150611752244064065672255588136447675909529954580425419613467362954552010625186648190025948688307699887886965924522683354950975788114825664*y^13 + 12639547310336659662789589213708248481631138594802826447744398039982447783449062942182869284734850593516221828068208556839304326090350050881268458735352192607437715981509704376010986558668016261574041888052708203478544146967404886061849721606410784484512083770522942718014241597446868626567995/27714456038915001428954586541477518507788648844899298902156230470830366968487362805931640125600394736415927813648541220731512692580564623396498212150611752244064065672255588136447675909529954580425419613467362954552010625186648190025948688307699887886965924522683354950975788114825664*y^12 - 10990727524970175909492153566382840429550322874717736852553825303290098730926088237336843205925238026128984192215722081390198493362995534455765677639832556536523163356454575505950065126481723186989334716833218521107969311234191779180983906047348985619103002579742138606419051470397429619385987/55428912077830002857909173082955037015577297689798597804312460941660733936974725611863280251200789472831855627297082441463025385161129246792996424301223504488128131344511176272895351819059909160850839226934725909104021250373296380051897376615399775773931849045366709901951576229651328*y^11 - 9580573215139329285973762331168932106083578314941891805192824706370786559173604282699253613851153721566079070606025451173717909669278789425998241097485095015527041346468218711230125076700383585370541826706849090593538048960131820455495324467161238153957625772590900709116383312770222982966175/27714456038915001428954586541477518507788648844899298902156230470830366968487362805931640125600394736415927813648541220731512692580564623396498212150611752244064065672255588136447675909529954580425419613467362954552010625186648190025948688307699887886965924522683354950975788114825664*y^10 - 252475142788761705929789197425183778323916323701060650803580658066252780484758400743670501591244959089024050124810875747580515645257114745592331581367751043990807881784053838674797649904727839399128101421072847844041602640445069595787707208130230346282068871124238105314757187708051148815857/3079384004323889047661620726830835389754294316099922100239581163425596329831929200659071125066710526268436423738726802303501410286729402599610912461179083582673785074695065348494186212169994953380602179274151439394667847242960910002883187589744431987440658280298150550108420901647296*y^9 + 4265135686750807549282669655940804579513791638024936515174018295960931348175453333828439087245219818555500979588221052290579258057053701017307885950941407717227387450423751670026920759197715978001292560129624297770968282583916221169275686360710173132162392289442763148378180009764683891319259/55428912077830002857909173082955037015577297689798597804312460941660733936974725611863280251200789472831855627297082441463025385161129246792996424301223504488128131344511176272895351819059909160850839226934725909104021250373296380051897376615399775773931849045366709901951576229651328*y^8 + 737319231819818331315002114302798468993615055994891849447935355312136679160567561570825447346081527371323987359383754887857638988513312453173259256030583357307817690483220557782625223445057010729976018027340266370683505056327814347232655625300659037230979458285971503666105150915356347787747/13857228019457500714477293270738759253894324422449649451078115235415183484243681402965820062800197368207963906824270610365756346290282311698249106075305876122032032836127794068223837954764977290212709806733681477276005312593324095012974344153849943943482962261341677475487894057412832*y^7 + 119847766892076391470484525246583885923793408954637706088361890170497082779134379161551030787463400327310823961948972707859194620772389756100581327115325377150850084265201570220528726038628976898916687266487961533709885193475943832261672745901321465137374957855245104598648183997914367050093/27714456038915001428954586541477518507788648844899298902156230470830366968487362805931640125600394736415927813648541220731512692580564623396498212150611752244064065672255588136447675909529954580425419613467362954552010625186648190025948688307699887886965924522683354950975788114825664*y^6 - 204494242181425987817385136341801487875213192234305194080711494766389590504931871307941553917725928469905047988430166010784924780794349329397632231011423389913158164657504027726601810600374655470204145487783157382555241050348030224750254345633243067577203742774775163952660364749932371773853/27714456038915001428954586541477518507788648844899298902156230470830366968487362805931640125600394736415927813648541220731512692580564623396498212150611752244064065672255588136447675909529954580425419613467362954552010625186648190025948688307699887886965924522683354950975788114825664*y^5 - 14653123415924000161819243737064017880750308021656541704785729239010532046501519910446520918789005289895365398509174111230037839083005610702042743831556360012013279940595792272989925823264039126394614115158291673825002513160347396953692718086763855860419218210147652099452946313705793440481/6158768008647778095323241453661670779508588632199844200479162326851192659663858401318142250133421052536872847477453604607002820573458805199221824922358167165347570149390130696988372424339989906761204358548302878789335694485921820005766375179488863974881316560596301100216841803294592*y^4 + 8811911181103297086032764767287947045678256442099803750061928981583084918576711747538277610356573848069207399507165642256788117352756863596019659865379847987047759334754709176522355183019295361614743920843080689140471024155758644219905829111072503282979068461970217470289628057772307296251/27714456038915001428954586541477518507788648844899298902156230470830366968487362805931640125600394736415927813648541220731512692580564623396498212150611752244064065672255588136447675909529954580425419613467362954552010625186648190025948688307699887886965924522683354950975788114825664*y^3 + 1316180232414555635499839454682959282125413060271828515247409929440684374952105705715259757572133171355047075195443066799007695014644103123587627169389356633166389417016484422467334560049304282278665815205185112573519282041365950019072965006406565315584125593051656847777250389285103691833/6928614009728750357238646635369379626947162211224824725539057617707591742121840701482910031400098684103981953412135305182878173145141155849124553037652938061016016418063897034111918977382488645106354903366840738638002656296662047506487172076924971971741481130670838737743947028706416*y^2 - 21925649978759380380891376218093102669676434690335147573847404277451993081809566573191219158620849487180056268340705615626195826069062932084156549560688737860989675999098467253041550650036490026668923655131100880773000811512221450441363359343251764820263938911725752060957332323233413517/6928614009728750357238646635369379626947162211224824725539057617707591742121840701482910031400098684103981953412135305182878173145141155849124553037652938061016016418063897034111918977382488645106354903366840738638002656296662047506487172076924971971741481130670838737743947028706416*y - 4790143733624844090104716273068294561791947723711013101663140374508633024568341981917366714264772003621000215430544401921595722995336375588620102748130064208711932045742170950406876636597243494009630441229084712886741427192742979618633014016732713691690209647733148148537424305261737035/1154769001621458392873107772561563271157860368537470787589842936284598623686973450247151671900016447350663658902022550863813028857523525974854092172942156343502669403010649505685319829563748107517725817227806789773000442716110341251081195346154161995290246855111806456290657838117736

# 3 Loop Invariant
-167008830265084192664945983570471904106150472272015923810523879167478266475715605896054360807609544137557450713941154108780762336394911917189065113681306660289420244149609769790004408474361470274133773946942863451117215346583546124156965886123915154835487086259246896520937094220418170839351446620618583777292735412973051838955967699020752982419119697555/571401331107201949832652789096631589625833855762822565262059635695877660920148240947958033155950793452229209808931695565179628915416417242139859026472442139324629198744665391996146495273094636838576671494905052308860544726029965219042724887295718755229336012282067625699734258757466263298229303825674476063929052239107043644352821932904391829756053953152*y^34 - 1928808751082904479776531113965193072032607263898135220679545981194865443107046956054776037871323624972997563644313232794197211607909050408898919249866535173395019162876857532133422922371774754034470369595546224724265908365850459451253131357559113566753556287086365379131374166693551650291838668079773386974388096123171062668564309386987040252804179256379/642826497495602193561734387733710538329063087733175385919817090157862368535166771066452787300444642633757861035048157510827082529843469397407341404781497406740207848587748565995664807182231466443398755431768183847468112816783710871423065498207683599633003013817326078912201041102149546210507966803883785571920183768995424099896924674517440808475560697296*y^33 - 11618272899555815054182868330287213111722692930159204233832259722799356567605603425224677634947182412484421932367099841059372393051128718844663424357903725852792331611882305276764744897799004474154322475339302056623851848117328465547441838757589013945227921137580844016034633181664454737189834322179175267903775101404393988053757348825930800883621791863395/5142611979964817548493875101869684306632504701865403087358536721262898948281334168531622298403557141070062888280385260086616660238747755179258731238251979253921662788701988527965318457457851731547190043454145470779744902534269686971384523985661468797064024110538608631297608328817196369684063734431070284575361470151963392799175397396139526467804485578368*y^32 - 28640205317598803213170179949571829493444349736535642073693516670301971470490059859914450168891910258547851745332580620599389649322642767320238306327962495472195502894251313182129485739026088231451749318112112486256662951612363433514382445438930559592379430722632896565420875903181305578971975747233115360777627542556600153908866818794053897729300899120775/5142611979964817548493875101869684306632504701865403087358536721262898948281334168531622298403557141070062888280385260086616660238747755179258731238251979253921662788701988527965318457457851731547190043454145470779744902534269686971384523985661468797064024110538608631297608328817196369684063734431070284575361470151963392799175397396139526467804485578368*y^31 + 18738652991018734459603815593534800075667088286393138576021821056264618452637438778361586063588524716027455940295315664612851231190099583134804182196854573721104841806803227466885450973708737030707182180154064098022221278165762747048948006446277658702642713407603909220488319226788954539301298908247970273110770628419445628906080851530136043350928143205729/2571305989982408774246937550934842153316252350932701543679268360631449474140667084265811149201778570535031444140192630043308330119373877589629365619125989626960831394350994263982659228728925865773595021727072735389872451267134843485692261992830734398532012055269304315648804164408598184842031867215535142287680735075981696399587698698069763233902242789184*y^30 + 2799551566380688550720083269131844738329181795606755980387448119753539817398269856659148630422131875214880480988565994548068410570400205632476083237501843141033606682776340280917892624916452464176060556037049826516399036981142239682398686492392982736740729158475767122151615214979396032528851627346689184333142948310364154946333967500657738580282860812362193/1714203993321605849497958367289894768877501567288467695786178907087632982760444722843874099467852380356687629426795086695538886746249251726419577079417326417973887596233996175988439485819283910515730014484715156926581634178089895657128174661887156265688008036846202877099202776272398789894687911477023428191787156717321130933058465798713175489268161859456*y^29 - 8887880339432043798474340740489364860610244714934285268758352762425414185520165645134139717581474553247803208627467168918153749642577808179102072591027176491664200170715588476512109111599093821727117115193469864091724868793655362359404160483878576924723873885791770252614693030385949612882354179860658291916246127002112028793548518901600333614616102934688237/2571305989982408774246937550934842153316252350932701543679268360631449474140667084265811149201778570535031444140192630043308330119373877589629365619125989626960831394350994263982659228728925865773595021727072735389872451267134843485692261992830734398532012055269304315648804164408598184842031867215535142287680735075981696399587698698069763233902242789184*y^28 - 1521891909914250664585441287032386472404059527022774937532832712429306386336944512536050719925272994692001858499034225633708238512621652068351311653381537705484883278058619506309195145032285066569885463585160343729271679755104438444261945931085638499085901555054128280184261367628576473398906368652143001193193286889268124933473493286098724741197054987184133/67665947104800230901235198708811635613585588182439514307349167385038144056333344322784503926362593961448195898426121843244956055772996778674456989976999727025285036693447217473227874440234891204568290045449282510259801349135127460149796368232387747329789790928139587253915899063384162759000838610935135323360019344104781484199676281528151664050059020768*y^27 + 76705606244925177082679337500476174657837238086360150936732184047577385538944614336988980669055644018021126589243856691691067750663443494143113538945973417332957963609922313267607799446671991591367289973792869905115715979705174965812741546080628395808787233184055625238361868269986263674434933719835537275402745455348592985708195280159719310707100036314164457/857101996660802924748979183644947384438750783644233847893089453543816491380222361421937049733926190178343814713397543347769443373124625863209788539708663208986943798116998087994219742909641955257865007242357578463290817089044947828564087330943578132844004018423101438549601388136199394947343955738511714095893578358660565466529232899356587744634080929728*y^26 - 5509445917819379140707430147687716570854291724714092420547933824621717078526885964307098618013960568358957938435071511421874360880546528842512537836110758144502127238683703101550324511352885988064866714091523283124527394270472750375179558338376402425262493275830372683761506716899385226721353644961126559292837303202398356644997521612933937497070656933303091/135331894209600461802470397417623271227171176364879028614698334770076288112666688645569007852725187922896391796852243686489912111545993557348913979953999454050570073386894434946455748880469782409136580090898565020519602698270254920299592736464775494659579581856279174507831798126768325518001677221870270646720038688209562968399352563056303328100118041536*y^25 - 435724447906972162287726105420004860134668849232875806757723416725563791805447309332663634343920619556166719818466107453566884066199392352384097973223859334221310444328560875851163980628616761236923046964538926049691669315077367879120697793124355303847157885338349348045115585287904451019989269980362935226409991266327260388277761513236830294375476870575674987/1285652994991204387123468775467421076658126175466350771839634180315724737070333542132905574600889285267515722070096315021654165059686938794814682809562994813480415697175497131991329614364462932886797510863536367694936225633567421742846130996415367199266006027634652157824402082204299092421015933607767571143840367537990848199793849349034881616951121394592*y^24 + 790137892148499818569177619448821608528029448111146818899680296694473401118711157289730412627354784638688374342762926562970325526309645161541433587837257572366327684541774665166472948151573576322945918613753344204038646680768530202548488333003422200536540843987821912486218328378423372172326551123107506703804348824477689036971435485890656142030822890942139911/571401331107201949832652789096631589625833855762822565262059635695877660920148240947958033155950793452229209808931695565179628915416417242139859026472442139324629198744665391996146495273094636838576671494905052308860544726029965219042724887295718755229336012282067625699734258757466263298229303825674476063929052239107043644352821932904391829756053953152*y^23 - 5811942173551267191521302364750891515089563475347512831314032573142615060638241890100849320409199521928753131227463827003248757767265471507342582805668054208613494653528372023039535364499209324486705673660768415948322921814598706499250154157623267509859152473888385795363383761695864648444462015827241888703548156612613324247462765560147070663760629348889449957/2571305989982408774246937550934842153316252350932701543679268360631449474140667084265811149201778570535031444140192630043308330119373877589629365619125989626960831394350994263982659228728925865773595021727072735389872451267134843485692261992830734398532012055269304315648804164408598184842031867215535142287680735075981696399587698698069763233902242789184*y^22 - 3413107282197570527420215736567330500758730604840764574817927068689592463603739527936200955420034490853688760212877606549824069111988077203865050975178492935533380882279611761261497350812681223351285565044858022389763048052305705141605642629516859220065860034426149751590421918409376048732267594157445793092761843841366656671352430331561165316972448039212092839/1714203993321605849497958367289894768877501567288467695786178907087632982760444722843874099467852380356687629426795086695538886746249251726419577079417326417973887596233996175988439485819283910515730014484715156926581634178089895657128174661887156265688008036846202877099202776272398789894687911477023428191787156717321130933058465798713175489268161859456*y^21 + 4446157209007119421325273083849426593845957345962897793166794553533118596936707674274899612377878613147093708310122543488372190151670705038160944255465627546308590884634022041770841028546249083159100702474105776564953113483997835824130691296814564397034560191318886986972501011341553074368313487262486836003498231130426207486664182535648389416149991037434119563/571401331107201949832652789096631589625833855762822565262059635695877660920148240947958033155950793452229209808931695565179628915416417242139859026472442139324629198744665391996146495273094636838576671494905052308860544726029965219042724887295718755229336012282067625699734258757466263298229303825674476063929052239107043644352821932904391829756053953152*y^20 + 11672958897603353492274311507316028183928413990115654224485771808392477822901264672720583989044140537242654513525397268366506855334394726608325660395399213150148569283809744292563661941791190862237867714046261369463072866303430202361172851997380067948895666136630037872023912245358349809277844687471438899253351783584251108216952860226098958043800761953678324539/5142611979964817548493875101869684306632504701865403087358536721262898948281334168531622298403557141070062888280385260086616660238747755179258731238251979253921662788701988527965318457457851731547190043454145470779744902534269686971384523985661468797064024110538608631297608328817196369684063734431070284575361470151963392799175397396139526467804485578368*y^19 - 36782014124138018039546020778804488608484873465129407264654676894678183270596814524264169646414328053228120367607116575451310677008976946725314567263135836527165802235018977730257705918904808542943394055976283637886326650684681613569119675724895011099799494282981456006801720617237703163008670359136364353962186130060338271161322778779490972511931655227936073155/2571305989982408774246937550934842153316252350932701543679268360631449474140667084265811149201778570535031444140192630043308330119373877589629365619125989626960831394350994263982659228728925865773595021727072735389872451267134843485692261992830734398532012055269304315648804164408598184842031867215535142287680735075981696399587698698069763233902242789184*y^18 - 2143302102459572957269008543449937513145112611164171914767010440885122514386656691036546750109126445413522775872732676160585410667988917559224279141772953966849326994149129263748736201437237026966052022336993637734337793358944226315129296790760320744595148683243128669635755274973188481751487864904088191041297795062796480420886184842912705694177043246186900881/190467110369067316610884263032210529875277951920940855087353211898625886973382746982652677718650264484076403269643898521726542971805472414046619675490814046441543066248221797332048831757698212279525557164968350769620181575343321739680908295765239585076445337427355875233244752919155421099409767941891492021309684079702347881450940644301463943252017984384*y^17 + 681049539747455437479657005913285949517608355582588004102993265009638318991859963815292480119857281922062046009980800147611898178270562197752354166850068084153446548934106831060459997943975389589187051880064823998431480394223650717641533026133872105886985097465319221716808075717077020052277997749367369064403270402076348100963042629684973528023722862182652524/40176656093475137097608399233356908645566442983323461619988568134866398033447923191653299206277790164609866314690509844426692658115216837337958837798843587921262990536734285374729050448889466652712422214485511490466757051048981929463941593637980224977062688363582879932012565068884346638156747925242736598245011485562214006243557792157340050529722543581*y^16 + 166739091282645036661223420210980402159871020746869171234725973256961075942902378433333836733321144129160016168255427237188860432388341511335998349862117569182213716391508865659605394530424849147864131253629124025173614102104011567861053870199911678869040908065155185486101755744850425893611034513271769821308758098841663198452541377869181637748091602644201965913/5142611979964817548493875101869684306632504701865403087358536721262898948281334168531622298403557141070062888280385260086616660238747755179258731238251979253921662788701988527965318457457851731547190043454145470779744902534269686971384523985661468797064024110538608631297608328817196369684063734431070284575361470151963392799175397396139526467804485578368*y^15 + 9634211841402461139947510460913260383411502069932048881285124007635369325624139381508574281488007320729858111417590362831588897614437115460779069718429206273301917433837023446592148218260497953511193282688114981841286785464072033926568792640637343335699388176229916382835417020417230511036228561329357671251909183588072729296455566278338240710327515516050042229/5142611979964817548493875101869684306632504701865403087358536721262898948281334168531622298403557141070062888280385260086616660238747755179258731238251979253921662788701988527965318457457851731547190043454145470779744902534269686971384523985661468797064024110538608631297608328817196369684063734431070284575361470151963392799175397396139526467804485578368*y^14 - 176570204752860171902569106441254836245689152971287018677580808872512526008319402646119825713793321048579390152626876449866314379499586008180601449602229930540555265883473133645431823285179515950156810848718229702389101413832405484678506293735520457384335424215573788333294217676252832661842323244802041415469883629437018809004142084070713300736428388995674695555/5142611979964817548493875101869684306632504701865403087358536721262898948281334168531622298403557141070062888280385260086616660238747755179258731238251979253921662788701988527965318457457851731547190043454145470779744902534269686971384523985661468797064024110538608631297608328817196369684063734431070284575361470151963392799175397396139526467804485578368*y^13 - 119415363173750987094154947470142892358636557753270061933039727415709050931597768005989909056777908807015241873035928639679746133607562855709549191798519437771138420350676052154396894602127242663356012323327562107690854835874376450032785504758750561212437780984763106272451203222972354602817727373041603336659177894166716931311161882661498221468977657129757277657/5142611979964817548493875101869684306632504701865403087358536721262898948281334168531622298403557141070062888280385260086616660238747755179258731238251979253921662788701988527965318457457851731547190043454145470779744902534269686971384523985661468797064024110538608631297608328817196369684063734431070284575361470151963392799175397396139526467804485578368*y^12 + 894921972519356732179722190054400068064193348783902678385777433756449742279811217833716792385197361264315899204448349870734954499720727864582609499836812997368670889063794553570567277284664962993811586147053749714677370137574150524735861893022234696066439224308643153492708163979438852898578932071635872540165845918151546560937823295492996488342470895269939843/88665723792496854284377156928787660459181115549403501506181667607981016349678175319510729282819950708104532556558366553217528624805995778952736745487103090584856254977620491861471007887204340199089483507830094323788705216108098051230767654925197737880414208802389803987889798772710282235932133352259832492678646037102817117227162024071371145996629061696*y^11 + 22627521675931591697216838028709093970954358004023965108748803530522494101133075485157768626109828980102213589614641205695549149731587571653534090723661654958182235344433380068452681569624235187146440259586272724346256173500838826447863405905349533256002143907222442457472522518214039391294131583541359977367928859191708073639379575917802822730023112439550964899/1285652994991204387123468775467421076658126175466350771839634180315724737070333542132905574600889285267515722070096315021654165059686938794814682809562994813480415697175497131991329614364462932886797510863536367694936225633567421742846130996415367199266006027634652157824402082204299092421015933607767571143840367537990848199793849349034881616951121394592*y^10 + 335499854586124248155140468262544922553953517229307669484805187568621128363406902488981714369408293148467896662874395190425198977712076905974740533509865027700923363114668622802836887734066403780221394922364736124358110665231906874210538676465629298414390750850887645356131843322525565166640722022942858651905264383397861594430877034210230213908307717989803355/80353312186950274195216798466713817291132885966646923239977136269732796066895846383306598412555580329219732629381019688853385316230433674675917675597687175842525981073468570749458100897778933305424844428971022980933514102097963858927883187275960449954125376727165759864025130137768693276313495850485473196490022971124428012487115584314680101059445087162*y^9 - 6715047701203904673844231794044074634153110433254111455623308582426277797697437720151299514773418345946056648592255834442519468875067658052221870911433744017392777783606887033394448213268989190609222640643837349734288877111951993400889954405556214132952467215933846927315946904611366291514437284219256728838099933040125673353185923131729986350709159005934990905/1714203993321605849497958367289894768877501567288467695786178907087632982760444722843874099467852380356687629426795086695538886746249251726419577079417326417973887596233996175988439485819283910515730014484715156926581634178089895657128174661887156265688008036846202877099202776272398789894687911477023428191787156717321130933058465798713175489268161859456*y^8 - 13932384823919524485942491473489957587311772113976898552143853166795230854969712225490448464353944431866286942017603677257772983232093104634744543302906752812057237757248313058847610151605536023030783891447326608306408932903784528836007835326746592091230249686277062232878880783119183875158374295617945761358203705418616108946720732752914071183566051874841213401/5142611979964817548493875101869684306632504701865403087358536721262898948281334168531622298403557141070062888280385260086616660238747755179258731238251979253921662788701988527965318457457851731547190043454145470779744902534269686971384523985661468797064024110538608631297608328817196369684063734431070284575361470151963392799175397396139526467804485578368*y^7 - 1133096022575993320074343673555757454525404285610591749219270546549852141565280583525353101500793171656190592364782176835381934048159319696656051363097896143445619771272933798889170995441612952631641787897775743604409286872765617193311718302599719194513571575780932425064960698051860515040994713421694877853931063853947755827019227332568093419621831176156943577/5142611979964817548493875101869684306632504701865403087358536721262898948281334168531622298403557141070062888280385260086616660238747755179258731238251979253921662788701988527965318457457851731547190043454145470779744902534269686971384523985661468797064024110538608631297608328817196369684063734431070284575361470151963392799175397396139526467804485578368*y^6 + 1931861719971173342243964317974132792579560729539544925088461577378657555971658522749726687036891104894299748722362412137809495981300548465894525764330549083805576699863947237548458707702667188246520016184253529828963567324229702384803307578022782727467624369315878183098550538678579717187776522108267933948927816566653203289213541148768000017239390649080956357/5142611979964817548493875101869684306632504701865403087358536721262898948281334168531622298403557141070062888280385260086616660238747755179258731238251979253921662788701988527965318457457851731547190043454145470779744902534269686971384523985661468797064024110538608631297608328817196369684063734431070284575361470151963392799175397396139526467804485578368*y^5 + 155774372105814623287342818721891376794023313196291342660256784034291599374692756044594613350129559448956201422260940676774738578046728639722010615836616604609381348497189285424763188987997168588494538650127315770073784904367201481721743061716454723424313955483091918563228487218391336654017431203826405188691258705768596518999403200713963879483613406873455131/1285652994991204387123468775467421076658126175466350771839634180315724737070333542132905574600889285267515722070096315021654165059686938794814682809562994813480415697175497131991329614364462932886797510863536367694936225633567421742846130996415367199266006027634652157824402082204299092421015933607767571143840367537990848199793849349034881616951121394592*y^4 - 6933172342351893079325843655500889069478312553345089815893502686209659615320384971259552992926580843848764256169507776364685516753768789816772208589087774302956670264318061010310014147647145372762556361048034627945384119493816186621222576255169098005538223044024042863792349216355852339853142670894538210730411546388071500681972344116261394486605208502078611/428550998330401462374489591822473692219375391822116923946544726771908245690111180710968524866963095089171907356698771673884721686562312931604894269854331604493471899058499043997109871454820977628932503621178789231645408544522473914282043665471789066422002009211550719274800694068099697473671977869255857047946789179330282733264616449678293872317040464864*y^3 - 6217789212570153350832658362984984189691289610738185010553299488146319822061813860506608124253725585075123828476817767866606716336164257543864540967054181159764344808669283176947429522127736878268610699135754203875003553517451183800233061179481689002732056275611025773959517039874182574913166705887149930090578938896755729479554698213396583959637829909705221/642826497495602193561734387733710538329063087733175385919817090157862368535166771066452787300444642633757861035048157510827082529843469397407341404781497406740207848587748565995664807182231466443398755431768183847468112816783710871423065498207683599633003013817326078912201041102149546210507966803883785571920183768995424099896924674517440808475560697296*y^2 + 51587493224911245593369702282120986264484349121490104273612911738292876450363244254792635973455778087750385927994416844456497953249569428302012183348331953105782070756718681334198682144575269355479273902714712237139156523509557621207562796771812053528595030957524129109382422776384385702648091161924669160574466136380164406529989305338280027821179974504167/321413248747801096780867193866855269164531543866587692959908545078931184267583385533226393650222321316878930517524078755413541264921734698703670702390748703370103924293874282997832403591115733221699377715884091923734056408391855435711532749103841799816501506908663039456100520551074773105253983401941892785960091884497712049948462337258720404237780348648*y + 8484840572759427533807442013959939023249392182703202397110623198890620961761726298015598527412950848113985561710416510884989870787815837754606708763981579875946797421144458705393018456367354665965898753535711474541915990014493396894252063555014731270721599851446929553136497999354244979800155453031905364552793767712380976855008816316844912284755571128219/40176656093475137097608399233356908645566442983323461619988568134866398033447923191653299206277790164609866314690509844426692658115216837337958837798843587921262990536734285374729050448889466652712422214485511490466757051048981929463941593637980224977062688363582879932012565068884346638156747925242736598245011485562214006243557792157340050529722543581

# 4 Loop Invariant
-196182526191974188547591904136336440983936762087984728701395061370391881879437958096855881621796138860630809559346538971376590787404387030574296865020327178523757610994442529218122452724677829321390036422492399080330594375010812632672117967079938753455789045762732196393535873564811220412862553163763095417443438381349328026926301260813999247334684861880720311560025007141818914981927200431441592254885499770238310004637286396609856847243769673048228187161757588180535683838750491199903117306407/1100548455705911025316737925888410206360499409706368633459595987249878323043811000799814998237149157336300557071118120897667074958638344596961595176388824406396797519206827004188439824900169571132820243763690473386698447551902823324336833119607822100951862403556745156284157865155847667456431640709198971868923423805720445935713824338004359630138238700247377237626878511765980163125280055029466017086106121491454133049335662554905336096776421863102395718327283985982122105478591738934465935877120*y^34 - 201390312349839544344002389827048113164610145106239691985557145881430142464494248620851314751640767735954600553563320973620647443387682831127776854727089473937220122552334427330322757754659719112293662433564560186503566438425756878238750447838572174785264824462098060241565578275637474866884041143477626100107075946177345755642638391750734146634817216979800715318839052041108203260262531691616174676584156760595612806746559473182099543589021999052141227814948454476640181681907778704097256281539/110054845570591102531673792588841020636049940970636863345959598724987832304381100079981499823714915733630055707111812089766707495863834459696159517638882440639679751920682700418843982490016957113282024376369047338669844755190282332433683311960782210095186240355674515628415786515584766745643164070919897186892342380572044593571382433800435963013823870024737723762687851176598016312528005502946601708610612149145413304933566255490533609677642186310239571832728398598212210547859173893446593587712*y^33 - 1515511615895765919411105607849772695989042760197824102092994470227662018462455392709209097349081523958039241066511580488328866976740334540565026591206782195538259642108367604285981459834859150966243249620233618668739048857002799811803895122584213795497912241942463123122115239805004580763445986254585673679638893800766556195576003263565054369466243497881461515690755373302543601175130845339952596597582881581804859421806622167610915420033611173237339319682049178354061712828152346784651431516449/1100548455705911025316737925888410206360499409706368633459595987249878323043811000799814998237149157336300557071118120897667074958638344596961595176388824406396797519206827004188439824900169571132820243763690473386698447551902823324336833119607822100951862403556745156284157865155847667456431640709198971868923423805720445935713824338004359630138238700247377237626878511765980163125280055029466017086106121491454133049335662554905336096776421863102395718327283985982122105478591738934465935877120*y^32 - 3737370290569054117591176167828210773530505973836289257607578287343826349588222705920206539404092803941264089891439138870170345954099666862933602767994214308543683868605944252518764327398894634514259983987178123039036811584903300093558533979828407418219038875791846638809748499901110292812313302669191248427410708520610865313848873936957617990795246125378698176256370785137772013340659793957760851458408507624078092963010116737717271151590698913918100006184552090056515256169956250067604418719289/1100548455705911025316737925888410206360499409706368633459595987249878323043811000799814998237149157336300557071118120897667074958638344596961595176388824406396797519206827004188439824900169571132820243763690473386698447551902823324336833119607822100951862403556745156284157865155847667456431640709198971868923423805720445935713824338004359630138238700247377237626878511765980163125280055029466017086106121491454133049335662554905336096776421863102395718327283985982122105478591738934465935877120*y^31 + 45308663349352901290199942706876714845825767427192524496526099791180719718266578285979106625556744701747058004062634741960343047831074439167491749772978600590445242602218279760298438587703262877585795544471650943111760444118960655204319697522937976094390253978346134526441600078546265545557080298994897993635270723112042359210817315115584926388478155510748504763413061049466598121033575620700774939463106823163923230737507746020961066874173642949057279250295658156582901159929467349577661713921/10190263478758435419599425239707501910745364904688598457959222104165540028183435192590879613306936642002782935843686304608028471839243931453348103485081707466637014066729879668411479860186755288266854108923059938765726366221322438188304010366739093527332059292192084780408869121813404328300292969529620109897439109312226351256609484611151478056835543520809048496545171405240557065974815324346907565612093717513464194901256134767642000896077980213911071465993370240575204680357330916059869776640*y^30 + 1096193722389207242106084214475377206675778645467775781740785686072387657117800503734386656555279830012834168062145262018793651623094315985913875337897054929764230008919614981741902789939645775461628134290790098319560490109069687220210572395145678232801144873277369663703862212439762132456025160387967856853105547963430576129378272302144647434998502310326975794063445972430453814567387108365363836669836340959581103382816480353071491850662960572050592711518270114152583095743032199167548840498294367/1100548455705911025316737925888410206360499409706368633459595987249878323043811000799814998237149157336300557071118120897667074958638344596961595176388824406396797519206827004188439824900169571132820243763690473386698447551902823324336833119607822100951862403556745156284157865155847667456431640709198971868923423805720445935713824338004359630138238700247377237626878511765980163125280055029466017086106121491454133049335662554905336096776421863102395718327283985982122105478591738934465935877120*y^29 - 580147659907814860217437268256179659306681217081947523603067855768321155854150309767728407381523527813422632028852291851236329561163404694823250242579601460561407729826910294326752516117579088593366118163512364192928638064338339914444027115073184186764265731577171213472355267065544977790347115381334358281176237480135978487651757161841673688131027452739960099116065694359938685304612600071972943722972904899310203963927935628761226696583880147406106151871625522274936135077462575710606425865995773/275137113926477756329184481472102551590124852426592158364898996812469580760952750199953749559287289334075139267779530224416768739659586149240398794097206101599199379801706751047109956225042392783205060940922618346674611887975705831084208279901955525237965600889186289071039466288961916864107910177299742967230855951430111483928456084501089907534559675061844309406719627941495040781320013757366504271526530372863533262333915638726334024194105465775598929581820996495530526369647934733616483969280*y^28 - 5885179262806709406922307071883644831833410100137832497014419260175529465351198056680930184796277111636357395303655326418513290016760503057569467295484675592776204972883574850054251911725276468083635398520924752630595059287215849552814584126862394418034561563158244908231798027858305785214468926892276123654486140953587819532032570147907795546580711818139099982509670244535102317441189455623753958493708480951958270937662890222491076281607638989882911874163489279100979464049759019990566462163921/429063725421407807141028431145579027820857469671098882440388299122759580134039376530142299507660490189590860456576265457180146182705007640140972778319229788068926908072837038669957046744705485821762278270444629000662162788266207923718063594389014464308718285987035148648794489339511761191591282927562951995681646707883214789751978299416904339235180779823538884065059848641707665935781697867238213288930261790040597680052889884953347406150651798480466166989194536445271776015045512255152411648*y^27 + 60076702166912606093627422637493565444245064586226765023228125799624795044125241071056979150586928795278133557245466085512066615128509186120331308447400635462086844204934336886619899596049804367063089751125819738155543536218391755877774175312875701123162169527626093885952328602799184579916974779902232576403686954049845501566742804891080756047207041435147896971987979068185850588027906302792433945401625172174955584016006005306043511987495205677547932813155705236550850193098515386235482663950082277/1100548455705911025316737925888410206360499409706368633459595987249878323043811000799814998237149157336300557071118120897667074958638344596961595176388824406396797519206827004188439824900169571132820243763690473386698447551902823324336833119607822100951862403556745156284157865155847667456431640709198971868923423805720445935713824338004359630138238700247377237626878511765980163125280055029466017086106121491454133049335662554905336096776421863102395718327283985982122105478591738934465935877120*y^26 - 359893528162502351998336251146348104646334425855645757724765955061406099846278266085305397188965938781114009359451841876562870953949830442572847633652909221481105107210416785519444285793720364356683141853259609505382714320308056303402798008513053650160922964379346038525313666186351440814168009668941649250973233426738560574814544199923034268060080399338458703162251895965658979250786552590292794680737909147471953631066553536324704986729246217798588017486841746411842488358435137462923602700168881/14480900732972513491009709551163292188953939601399587282363105095393135829523828957892302608383541543898691540409448959179829933666294007854757831268274005347326283147458250055111050327633810146484476891627506228772347994103984517425484646310629238170419242152062436266896814015208521940216205798805249629854255576391058499154129267605320521449187351319044437337195769891657633725332632303019289698501396335413870171701785033617175474957584498198715733135885315605027922440507786038611393893120*y^25 - 75824448153063283398801167407214322149800555969478895914937070539342427456864834261150632860675997349736793300301880079193672865674967479712106067632898986020246116747853187471048774705459896806961024649931807765133473340504963698713348591119427136839933836366491894233974014842703718147453483803268756954571824046462618311275371371107194401503398027969162106739562499490267556731616095964169546421793551806543286017237079396406519086902124606139410199568748445293109727105658464637500922355847331177/366849485235303675105579308629470068786833136568789544486531995749959441014603666933271666079049719112100185690372706965889024986212781532320531725462941468798932506402275668062813274966723190377606747921230157795566149183967607774778944373202607366983954134518915052094719288385282555818810546903066323956307807935240148645237941446001453210046079566749125745875626170588660054375093351676488672362035373830484711016445220851635112032258807287700798572775761328660707368492863912978155311959040*y^24 + 464131764792083513908462727479220578822106957321524849053978715031076981550585949547914228945253705035465806062486396013281717254946373192616213743599566155549113979830542396513477314085927997684464565580253804901261912735636094163752473538096364571109317368716522481611967600093125322324628920729201687871611588695427557755144477660966633877854616635118257824377467855058363567158673839488834009904936073480178947029299388579732246061953822897588911938810416811818309165618166191851637382473364412369/550274227852955512658368962944205103180249704853184316729797993624939161521905500399907499118574578668150278535559060448833537479319172298480797588194412203198398759603413502094219912450084785566410121881845236693349223775951411662168416559803911050475931201778372578142078932577923833728215820354599485934461711902860222967856912169002179815069119350123688618813439255882990081562640027514733008543053060745727066524667831277452668048388210931551197859163641992991061052739295869467232967938560*y^23 - 168617893426803562799618991711298846065474437511134777657687886828845769917347775864001573398871991507652018291775232761517498334927277172919145713701646327562697758420333047002454978731087952122203156949961953008856316269253175374139586331972885922857460179350215548852237783880039229581321059388567394008340688587937533233069746871006602133465573172505766808769733994694799613660590002629625424847324354685692701484811689585916485802918993212069445226797591691659592377803567937891919931312248606079/122283161745101225035193102876490022928944378856263181495510665249986480338201222311090555359683239704033395230124235655296341662070927177440177241820980489599644168800758556020937758322241063459202249307076719265188716394655869258259648124400869122327984711506305017364906429461760851939603515634355441318769269311746716215079313815333817736682026522249708581958542056862886684791697783892162890787345124610161570338815073617211704010752935762566932857591920442886902456164287970992718437319680*y^22 - 4638156489356783406306826534069041093634611553461360277258179528149942160782748246809076183822382155089079919155077520063345324990891996059620211441396651239827545709479249234115207629717919950508436195168745408465024879892458826005124525398943561697729927730607775175272299024022063481549978976190697543175518482110717143892225284063525393606205398943289105301080471425872209879579999588990937325263940778177510326565154210953858766761125548734439784873537382708859614267344416307313358657486071937/3821348804534413282349784464890313216529511839258224421734708289062077510568788197221579854990101240751043600941382364228010676939716474295005538806905640299988880275023704875654304947570033233100070290846147477037147387332995914320614003887527160072749522234572031792653325920680026623112609863573607541211539665992084881721228556729181804271313328820303393186204439276965208899740555746630090337104535144067549073087971050537865750336029242580216651799747513840215701755133999093522451166240*y^21 + 1044692215564471301091889257925421487835911672557469045831932217385979637679362221901026932157490016292902275823144232824136591198234669084708918898898417647830852667571439897929836798247730013209756482577550860339457490214068522104854277489382310963547160509033687412451341239478541070565285053751380021832795569319846386567633853604993970106017505061921065645318394703248199028326516718559339493926201175613116092204332794070000223732738023406705607219997961801083740104185217426922456338539149744877/220109691141182205063347585177682041272099881941273726691919197449975664608762200159962999647429831467260111414223624179533414991727668919392319035277764881279359503841365400837687964980033914226564048752738094677339689510380564664867366623921564420190372480711349031256831573031169533491286328141839794373784684761144089187142764867600871926027647740049475447525375702353196032625056011005893203417221224298290826609867132510981067219355284372620479143665456797196424421095718347786893187175424*y^20 + 1521300968801146640095727549884542350002154781450075060079903593422136161762332437556565654820762425613778076432711828824600669841492242372393091207592878871702044366055219723115179998659508205905615143877058575088987241886951091205765695497247977679290895288564957653837703817343493514233487296600095894508018693450654467001349285167020701648329296664162180928063577667333790107417384603394873721569855699026151500250101471732256860406209233384456945861061069257056193555456610521361236618092203056653/1100548455705911025316737925888410206360499409706368633459595987249878323043811000799814998237149157336300557071118120897667074958638344596961595176388824406396797519206827004188439824900169571132820243763690473386698447551902823324336833119607822100951862403556745156284157865155847667456431640709198971868923423805720445935713824338004359630138238700247377237626878511765980163125280055029466017086106121491454133049335662554905336096776421863102395718327283985982122105478591738934465935877120*y^19 - 1600405688725565060134809152653662011399834028132458599759009841880499557043947320451931106348224944185071180206219052966074738591227509228366834982010249436236173703560548346614482469420587354843038598001983142160245242150859360189472575037932907191912186190369623899726189832015109421703658838547923224393413557204125540545355711586460085893480369519035305084754367268973046847970118244122269093477806754601740096662636938293038020125068423018014295169298430106403880896992698207218926103346146480129/183424742617651837552789654314735034393416568284394772243265997874979720507301833466635833039524859556050092845186353482944512493106390766160265862731470734399466253201137834031406637483361595188803373960615078897783074591983803887389472186601303683491977067259457526047359644192641277909405273451533161978153903967620074322618970723000726605023039783374562872937813085294330027187546675838244336181017686915242355508222610425817556016129403643850399286387880664330353684246431956489077655979520*y^18 - 3774507465028851837936819622817625271748543026415720817870359193181827581391534273478879605552342292240523997841565810208609864265303526556766518857864937192494350187607151885358618523093479212815416291960666370870482181892131203293208924319701160429325168763257226902882967143709335862117725851425288777186119872977166649754005696520903517480037856440506056024654393540988365922387616827939591825544122561727007427566249218298725303679594619154024904760302431927881584852284358884056238653448578676139/550274227852955512658368962944205103180249704853184316729797993624939161521905500399907499118574578668150278535559060448833537479319172298480797588194412203198398759603413502094219912450084785566410121881845236693349223775951411662168416559803911050475931201778372578142078932577923833728215820354599485934461711902860222967856912169002179815069119350123688618813439255882990081562640027514733008543053060745727066524667831277452668048388210931551197859163641992991061052739295869467232967938560*y^17 + 11381744044072164962810525351612700839014403330500796317432709031541202418685939643546911130825854431868445527946284319968539045144483676079181720190229466450797157802489382594286280769966872223746975142891322083593192173191483829114381598053159649678017755714699252518689385091098787730555790838147880946214737052380870439059210894153540149747486565924186899607841495741085406788573515586867311119191271165399004336582697012904786085594880582304731074191672578901816525013983137566803721698450601976647/1100548455705911025316737925888410206360499409706368633459595987249878323043811000799814998237149157336300557071118120897667074958638344596961595176388824406396797519206827004188439824900169571132820243763690473386698447551902823324336833119607822100951862403556745156284157865155847667456431640709198971868923423805720445935713824338004359630138238700247377237626878511765980163125280055029466017086106121491454133049335662554905336096776421863102395718327283985982122105478591738934465935877120*y^16 + 75028604176903022380597677893861673823135441219160690277223691222324357815618734855986010107392878138993471971487757356857715179550989236897146171044883336172097449718190544453268388661104724497105183099634319159402615238911775043741573542174017632536954379811467349722685413743235493365087438728605887010550690748747944832950768238653656529037452101193219558340986205876285805536424555984337709751773861019951822428858594156688730645765700265667665016352957557643267643212428064595569198055325118675/3794994674847969052816337675477276573656894516228857356757227542240959734633831037240741373231548818401036403693510761716093361926339119299867569573754566918609646617954575876511861465172998521147656012978243011678270508799664908014954596964164903796385732426057741918221234017778785060194591864514479213341115254502484296330047670131049515965993926552577162888368546592296483321121655362170572472710710763763634941549433319154845986540608351252077226614921668917179731398202040479084365296128*y^15 + 623733231586309993769404566362138321715577372961257155758921424683064733346241233643678294141230313068796863675357887390182114401404002389493924902704269417476818940114468859951245365096732800108673751935496271293001410948608019790599987286257228485327833810094087272611454711130818996070037866124955504432352100330084644572394168347152230476826291982139328212843672216491921093187655019796036748390157057014105477190145714005950227041615001013098398687601617976244837468900178447890969710300081812611/550274227852955512658368962944205103180249704853184316729797993624939161521905500399907499118574578668150278535559060448833537479319172298480797588194412203198398759603413502094219912450084785566410121881845236693349223775951411662168416559803911050475931201778372578142078932577923833728215820354599485934461711902860222967856912169002179815069119350123688618813439255882990081562640027514733008543053060745727066524667831277452668048388210931551197859163641992991061052739295869467232967938560*y^14 - 11523844730995801739779724942565423055064783735068755915212041877380513939087169212554062072109102409756659509628109517641226218354618599219802025577935013650122480706071638268606684937650688525382819841799069083287801557766021675714583875209115208182021995443455284308501061002988164114574249405672533444126785248149585705017319321074951370231409621181142427847682123290043592536460928387652017375700279675010792812031252089181065625962110838763432666030105205099881867884446355957310358928000621486073/550274227852955512658368962944205103180249704853184316729797993624939161521905500399907499118574578668150278535559060448833537479319172298480797588194412203198398759603413502094219912450084785566410121881845236693349223775951411662168416559803911050475931201778372578142078932577923833728215820354599485934461711902860222967856912169002179815069119350123688618813439255882990081562640027514733008543053060745727066524667831277452668048388210931551197859163641992991061052739295869467232967938560*y^13 - 7788215057973655524347050117825364817686733978725283034351029776445042004365305077444428325285598476443596690543711937620866725788530137791432361743442223207996632886420940897012589620289698822131020328494401530815577310442772593199277120822702009764941065502863791536730311827390688593391949592492723504284956371838812092885881941363771183209605733924006687336792818715320263566540417827118019098212160779496082577256781679159184711411898139388377458282955135941296857072708573171264313179510562630679/550274227852955512658368962944205103180249704853184316729797993624939161521905500399907499118574578668150278535559060448833537479319172298480797588194412203198398759603413502094219912450084785566410121881845236693349223775951411662168416559803911050475931201778372578142078932577923833728215820354599485934461711902860222967856912169002179815069119350123688618813439255882990081562640027514733008543053060745727066524667831277452668048388210931551197859163641992991061052739295869467232967938560*y^12 + 1695639051420532033728505529626713768233220355957316809255726284161698633336478591587099913325592256684774682897465128517066306322719005638631331385242296979079239226610595231483417731185999411543264868006917589859022348322022475616881172175908887004215904144492694160001282602420324483869137896587338604245917117853354010312972118712887065407999799998585099506187306863925939939279551580282301345041736635482522178137370549262254065577731120444420660072269679085782005215271107956821375132822456198119/275137113926477756329184481472102551590124852426592158364898996812469580760952750199953749559287289334075139267779530224416768739659586149240398794097206101599199379801706751047109956225042392783205060940922618346674611887975705831084208279901955525237965600889186289071039466288961916864107910177299742967230855951430111483928456084501089907534559675061844309406719627941495040781320013757366504271526530372863533262333915638726334024194105465775598929581820996495530526369647934733616483969280*y^11 + 2362312612354947136619124255161318272955146391003987342880439008493522931345429862122059310943204748844119454792152474660790499121324331907612739003314851813361668079743467669818880403265863315029819122664967451255505849634464540981145500883545778808785036167349154049219590687722159586479935214654594040966395673364859669310338348221603175887989319393931090175817203929889434413002901863920244164891634592177443231883569342463977575129641265956294742398833598008142912447948622182290540422807794895519/220109691141182205063347585177682041272099881941273726691919197449975664608762200159962999647429831467260111414223624179533414991727668919392319035277764881279359503841365400837687964980033914226564048752738094677339689510380564664867366623921564420190372480711349031256831573031169533491286328141839794373784684761144089187142764867600871926027647740049475447525375702353196032625056011005893203417221224298290826609867132510981067219355284372620479143665456797196424421095718347786893187175424*y^10 + 38852266306668857345751015078810857280957657124634467562078165771278621628169519313606839654141617068995344321211442624875489264607258722216283073231255453370454149466743752632432422737709967312519415909944591823973092430794433062510767269700852080120175951142700083337752760078047922545010140001723402845155442565077203337376855129441620499249142711282741947540092963460299807009626386388451409939802687290693334605498838002344313553186453140652226826851028715036610651394514082795734150825439399573/15285395218137653129399137859561252866118047357032897686938833156248310042275152788886319419960404963004174403765529456912042707758865897180022155227622561199955521100094819502617219790280132932400281163384589908148589549331983657282456015550108640290998088938288127170613303682720106492450439454294430164846158663968339526884914226916727217085253315281213572744817757107860835598962222986520361348418140576270196292351884202151463001344116970320866607198990055360862807020535996374089804664960*y^9 - 2631233692431943481943889148651269362362392512880446663325091751757839597982982161700941673044739367357167227815019323661334571758313565035999769101019004428166509027103692099343833348292142650726121836211698707441889048504450890614662439990202377180896063872861335204688254336357499121503507222718545061293633738593764674226427024612665835219323714348206825606679622396687782919961256132222736783276797876031484866146288902463578232156024317752656947048382401676347705967123289185599520709755012700607/1100548455705911025316737925888410206360499409706368633459595987249878323043811000799814998237149157336300557071118120897667074958638344596961595176388824406396797519206827004188439824900169571132820243763690473386698447551902823324336833119607822100951862403556745156284157865155847667456431640709198971868923423805720445935713824338004359630138238700247377237626878511765980163125280055029466017086106121491454133049335662554905336096776421863102395718327283985982122105478591738934465935877120*y^8 - 1817669058316561051375357243758490578507963830173981280054072336507686012657960147512826669031455387111787095158676023056178779788986675432616947811031062082686087603041391519147448086152861400565161445233498391674078947186611166257072145924921499770760075155734937290441964189791396670501340207880598186471481048188960250017952220604885876515618024384218469223881887650338033193573906977952413249244741557357577136696058995729279158626859730849596614729486388583159792978266034471971704630298056729387/1100548455705911025316737925888410206360499409706368633459595987249878323043811000799814998237149157336300557071118120897667074958638344596961595176388824406396797519206827004188439824900169571132820243763690473386698447551902823324336833119607822100951862403556745156284157865155847667456431640709198971868923423805720445935713824338004359630138238700247377237626878511765980163125280055029466017086106121491454133049335662554905336096776421863102395718327283985982122105478591738934465935877120*y^7 - 147040198053530437552329311066627934781800329513890610024259365062156882864145486839478805123017003091754840072902075641253065155401396415819830686104183700419528735974939896071908497949420490091285240282209460118328992100049467817523955840982471140114903050644834095587260275439896136567193314180095931336669700345300951296291105560903640804445349992505082025065640384167054695820262978814884166683193836133243591969702650966622495214580380275562777035322350472927182158781143768753909827494473637031/1100548455705911025316737925888410206360499409706368633459595987249878323043811000799814998237149157336300557071118120897667074958638344596961595176388824406396797519206827004188439824900169571132820243763690473386698447551902823324336833119607822100951862403556745156284157865155847667456431640709198971868923423805720445935713824338004359630138238700247377237626878511765980163125280055029466017086106121491454133049335662554905336096776421863102395718327283985982122105478591738934465935877120*y^6 + 252339118802899698282326691053711702398488601701031180404435492660084620579142594094644324105400090995967425877140125186392963112420345278628339064017881760973165840514061897464657759280776176444077649177547683882105216893300975174420951681916711227656723012966825971470851510287849842122526687494633955948943999707207769794438831040182822151223085924991450918712464898294997436653111410600140250646766895444577743973575422016464689652180543930062642653312779133820858158245479541277925958189520574941/1100548455705911025316737925888410206360499409706368633459595987249878323043811000799814998237149157336300557071118120897667074958638344596961595176388824406396797519206827004188439824900169571132820243763690473386698447551902823324336833119607822100951862403556745156284157865155847667456431640709198971868923423805720445935713824338004359630138238700247377237626878511765980163125280055029466017086106121491454133049335662554905336096776421863102395718327283985982122105478591738934465935877120*y^5 + 752401526629854161307610719224256993086273208413346278938015579996425554944053868383364324502268927467586577758510747419134094257286010591859093949366358247866891691804315816842890332392599842706488874298622389207920734731392134896195465076315865055881317211018958001406490126590660028411806612780576612186494291257125225543355711710441589639211939306337525717642409366907200586074599076807613740520105998571525671477390833653241615028763772726535078982618011706358535935494483765333572631390862437/10190263478758435419599425239707501910745364904688598457959222104165540028183435192590879613306936642002782935843686304608028471839243931453348103485081707466637014066729879668411479860186755288266854108923059938765726366221322438188304010366739093527332059292192084780408869121813404328300292969529620109897439109312226351256609484611151478056835543520809048496545171405240557065974815324346907565612093717513464194901256134767642000896077980213911071465993370240575204680357330916059869776640*y^4 - 2725097553015815365314482830862548737384942383089545924231754738363049573613058841945506680539406933692948136952675544913962157963791684128765152483272775135629056505976927311068898206456341415955806997211574298390338856744106418671666096740238457044072055318475726640499725400141561021496176668581826018941736383300783513440966312659812546327930428150824322389732398652224636390732672601010713714196999563690050008634483297785218303581431020846303419470809706063747410362230708748486055500286283543/275137113926477756329184481472102551590124852426592158364898996812469580760952750199953749559287289334075139267779530224416768739659586149240398794097206101599199379801706751047109956225042392783205060940922618346674611887975705831084208279901955525237965600889186289071039466288961916864107910177299742967230855951430111483928456084501089907534559675061844309406719627941495040781320013757366504271526530372863533262333915638726334024194105465775598929581820996495530526369647934733616483969280*y^3 - 811881871681401512760438592897782290656952509361833026940205503741703044431104346877268356337812788997635032546470295610493230353456375857135039749136173177640105741834370007051852237065358611433320772321958316438080990085496518897503056219810123429539298194425387123636235557975777615920866172531325961817674983275340817259803524001179080325709800491116785955436117786769259705633914322223990348717615378013150701253639903025454331913736556419611734298527784365925767077428364555125212165902076027/137568556963238878164592240736051275795062426213296079182449498406234790380476375099976874779643644667037569633889765112208384369829793074620199397048603050799599689900853375523554978112521196391602530470461309173337305943987852915542104139950977762618982800444593144535519733144480958432053955088649871483615427975715055741964228042250544953767279837530922154703359813970747520390660006878683252135763265186431766631166957819363167012097052732887799464790910498247765263184823967366808241984640*y^2 + 1369394990729480141562674341991071204341424635142582038135161123044902919876129045879104969404643027711467406531305078222833650472083048458885771151028162928126391048787795642018808225113450412713726468764113923409907799262168061732409614029430533502233439415020139897419489553124523532267323878383791661251178208438555407002187317367408482432645605121906448092009912812200721680695098458269828005043541075028216351477876872347288138840669842640257124697794835193054195771260527768422287749840649/13756855696323887816459224073605127579506242621329607918244949840623479038047637509997687477964364466703756963388976511220838436982979307462019939704860305079959968990085337552355497811252119639160253047046130917333730594398785291554210413995097776261898280044459314453551973314448095843205395508864987148361542797571505574196422804225054495376727983753092215470335981397074752039066000687868325213576326518643176663116695781936316701209705273288779946479091049824776526318482396736680824198464*y + 73961532567296460331850112331702642028923241493327427947563392842519662597466946297770501309784487471984433334021236243049205703126188198728031878783371669004289035411727990260012002927244034311774399406535277421686372525024266738831477298614469751074896564538489412259984699335396751973657807934994725452287638904360134496196078924515083950751764768465271983808112568068344460815396039089603754619064516636507219081407802196277071261904205914122709060171584605928213258270727096355937499578147/573202320680161992352467669733546982479426775888733663260206243359311626585318229583236978248515186112656540141207354634201601540957471144250830821035846044998332041253555731348145742135504984965010543626922121555572108099949387148092100583129074010912428335185804768897998888102003993466891479536041131181730949898812732258184283509377270640696999323045508977930665891544781334961083361994513550565680271610132360963195657580679862550404386387032497769962127076032355263270099864028367674936