# Manifold: Census Knot K8_117

# Number of Tetrahedra: 8

# Number Field
x^42 - 51*x^41 + 732*x^40 - 3638*x^39 + 5831*x^38 - 12569*x^37 - 46573*x^36 + 50233*x^35 - 334746*x^34 + 670492*x^33 - 730312*x^32 - 3717548*x^31 + 16403928*x^30 - 5218400*x^29 - 57299013*x^28 + 115871031*x^27 + 109316255*x^26 - 521835697*x^25 + 44956928*x^24 + 1391914532*x^23 - 1248543039*x^22 - 2574814933*x^21 + 3904724555*x^20 + 3185195008*x^19 - 5943105117*x^18 - 2253241778*x^17 + 5091296474*x^16 + 551378706*x^15 - 2492273466*x^14 + 297715094*x^13 + 626334859*x^12 - 235313132*x^11 - 39885895*x^10 + 55114681*x^9 - 14312099*x^8 - 4174469*x^7 + 3196010*x^6 - 138113*x^5 - 276605*x^4 + 31528*x^3 + 12336*x^2 - 1088*x - 256 

# Approximate Field Generator
0.295844136980845 + 0.254034426696426*I

# Shape Parameters
-35078519188638754556660335605757244072058290548324588336999461661170451313945385857606404044087731018956844109273296748597126052808114930927288384845427007876915075989055262986020352750264200735118857737137302779/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^41 + 1765966422366297799752619814716921964559789441486311412490250799627133030768741572142802455777584482405426515623289050369687805075705990146657230849260330317479828493870019245778604411469708392415008346415835087499/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^40 - 12253596787121782491092081606623780534294125092839517814644343959908246451273241170298990760802695407878887785204714884497154801733461038725130417298108851609378705336875197140031982024524349164951873334801686897313/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^39 + 55493686507015302458993216936397347818300697922918270550894304424050364261316093323617833540862132449346644731083262151650358812927567542812027468572474743823603538054938133351358960597244616644596508946750970422349/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^38 - 124038827177471384315026550357428004196330717622900200067334152628478007434807716550010669544412903390752579631342397578579305771867504331820845492435594826099663687790922935657757000291249737619745080706641603486049/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^37 + 322076366731150964272382194040091636486676724221848190921433077464510878912093155980989411704718106252701438971416937469475802645774170985740893568026964544464662634929750777091375336979390632034157251426237533114489/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^36 + 1903015810544590053339482283348980748540229276475732412857928712345425691129173644998924944783803613862092843343990470224720481300534465774940048943535202448171289245579395859035602244391304431662539046096935988135181/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^35 - 640471241554140401909155995980758144507933714001729322536087197403011985550957526409941486785474592145792081516820411562355674723290211305169181040188938271871298524367310075348546378201918604285613950400765085497789/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^34 + 676547697839311467151819370985192177107260128749416855865988755493982832459647110968431907242922471443118350884716998960846635095325564491107137639509963052723140039332955780817218315955713153102103849771394257284531/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642*y^33 - 996438015406121881601817133853654661659973286471212243110037907897290328995683086020691908964939556583776242552975428559956156775104572161277994146059073889192138609619328589156690380184735440183571510034047739168393/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642*y^32 + 1457110898382717166265454225860059057345060174173494379320960074147075259096218155167181821406427895401837894087086537912764042336849560649877385133639264144944305887753611104771123127339611275136250124942532368096041/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^31 + 36189972917962225119760111366897303493881397014962607646726238400737968308523062506097269515146120335748134694375158908860887794146150524016076210761493137032933839310620110709064158145671315356419671820095441924980499/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^30 - 30471836968118324771497861037447615686016691834167514271582462530434579437058958921812498997157290318297892858257445715438951867532204296965430389552042619080723262795044037788392122480035460283877342950871268213034899/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642*y^29 - 22047207494937642512315375667459421942629281654260112915794997399677721783575273378157306738093158585916481250393450769298763016657896494011172973797368579001257419441083436726142417097941960807682394139773840879221043/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^28 + 2061491775564419158873663000020508675952175540184355870089975581934730497293358999931936363547742383804113987330202016957899369340097103072332123533079200721419230448868939559925306647502044947069144455053178730518484783/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^27 - 2750976656620856602552645247929124099431874150672255778428011470173628581670512866239006681221883651074931739350569644387121164738061331902104862024526122807758349056651962706101459784446878143465429598035397476460652911/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^26 - 6234694941243932653229713015075938868086128113085338387013100280495382844107676111884911676404660391351176177401411037904181393141605617389314471256277246119099078479933607429979711924342012462102578008809101779075633063/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^25 + 15361684146862649269866250419035969525172340810321467718983195890432756391037652882188974456828931501003179423473097867486312465255323465051277422233863220809913183390002044896331267201658080450341280323267631372795923273/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^24 + 4867159948790738190566380059654196066987097808467148571008541224795814581151836997833332271630479159553461417162157066475685250312794936067692024172222370592531724459350479672192975383894405838000505022055627181923827855/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^23 - 11925164160630665045524078034641671348600126961257115382659201473419668648462893187612972394417518258084157871467165224765786693557906077563264396357462473542509909217915859981233979057699537304108191627629800800952483933/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^22 + 12489359079759001622098980907717589663225694075988688044512193194297212052332513907497959644505267224893905990655462153145227936473745318985898091099462725940088959155220042032536719233191260999648989404972721705239206533/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^21 + 112760987667063173279326402030510769082994016750234090708531184461670624867536602220646335330436573958577051995117052139706968559090550599601464483138899636416409060911289066612405600072021208768874795701649494671203334969/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^20 - 74559510983045624200417757228888756189285060124828105993017870136595517270636975692283740504655112202167504019969431667707596314075638717503853437613263291399437637428447023718111127266846965863644762548155553656440688011/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^19 - 93956356188504837465579770299230167974208566001774425693676831387097303273544365919366583277418734801431246783919684422202118527703537398092016924551121928956200584397946303905558850707836438887096224803548438502823509357/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^18 + 122470521500087271297503607177506310586998929684482093062828191245402051550918867408347340580350213046152568755553686420688198420942664530325150040604198573469926164741826843983896960731372826094956403162627054941879812799/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^17 + 48703908907168261263066874349203844690634389411175202454954944967738685305168042098892554843318673386794640670584491943463581964231352419911768940747909335918943521714420653107284442779552934515653028480107071600485545217/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^16 - 53461392093043080948251165615662584814794013507955059125706267827772531545147546008461430754525416698522917850553214120464351772063203938699992783182520256536119402684790958045468746546887147052467420420311306778733060845/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^15 - 58237827687377156469253812868733524517099381587614741685161392004715237545593233894637216579692310489550648784613552069562833693977624532783253804090466394333747749687405364529198213154991186734981288831398123674171256173/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^14 + 28952594619314907134129712866430101550148399501896922875285455171667584238522739194054635340596315089595430255433868145634533635450347032965807982807728915056351150885482980860680242251013590263041886263447132935879681853/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^13 + 18126736517405580522233779304702984268970050128923913711299445196868508176639546322122760658306527912776883214448286197726032024722877395871123522620170559550048251496230305849068443062078332773636822834150191942451344381/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^12 - 20339349527214273786477308647193839691769616038370550918477938167980215349823330719596488498971443650914876192002186239875799167389954294271938202812503082199939691271531567428128844142661025883307106060942627802093648533/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^11 - 1792877001989453536161546140173909254337400701736846057178817006295672026434304342140583496279715710145365264472598763562961930236170731246631766581371815049195950587189075741994971079016878949576649663526896095438369883/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^10 + 4299550305557929685706012666966082599743658035275482680566559975180651331113402588003307455279054453815732109997241531083628683137397473495137030928682269462783927693079109736082849304546379907913190062330243459323535941/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^9 - 971283934254454344803988204807006961103164535656002529563422407133136151718226055032109318072718584963534297491686869398618664625931458380193366089891796187633856137623418331756335480507685672900324772537313511642812673/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^8 - 386802279763932373848645161120645861670087136019116553234953780686931617454929954294217876698627611910406932804983597594249452158045616799623624580101619389856230520461208432007565136701611349338026062302061690744287717/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^7 + 324556933097797184613410947722666017924752428238067105247274856302167499183342687816681132239554325608734575895336481439908617466626764167240305027852300342281265969895774388309238854589623153956204595094063766326140401/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^6 - 772924024284275307913565765922256112421512797541793537199581213744147984760415897020004794566237363021701014241010755864446946044817463448677512414840796548842470386656770722183247728186215717267751876259996354646954/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321*y^5 - 38383283108670543552525572854705489734586583932773281134960358999094553521992632072833164386770824760882674597097513809114295008790288798793940788996772538698050923584566527504263028811015277116635113248747266847336577/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^4 + 7029736022420820505517795947657924990399347132251297937729074308435056119525586574185536831098007073302186289981943771256815920878904472433632966360306555215672289029406471142425343134289269100428857490387775450573021/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^3 + 1207130705995383240100363485935402302705591525006808149965051086240167829393714729178372744160491733252408401409911358091852631523206783243590982528270796646720925187826298258811968804635094908169800680261341008623667/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^2 - 43080511750556410093999319206621339252633532478591329332603372355185073404817860948262655987630197284687227380339732828147840118453344335419962789965244306743085720818989396915373833305688102739261264256528202199689/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y - 2242568784966706035165700618837079513869258133440964691365905641115809262735615922319972470267866180940561284770101229227193653325270848982258628191018372619011425745933172779777367757785163220791001711044467416641/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321

-439515205938469387256206775083172527319629869404831340684400581673563408775794185608121011581872616634764463114590553607523422442807850303584195007712519225281215362826860954754154757981522670132127797675662061375/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^41 + 22391142257192041185959610166494054898000264511173551091314044054242375120077647144753375331512636253451574379550668536837956237949636646315395338136891987691980133157498438555419495896818599313522102905120625863241/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^40 - 40041989206409297714820504459559151267942563698704816275743395868864544581664665942185620853172199037431722730764940126417282046340094404712382884883910125373061606980223271423052512246033767246606614791786999407345/10676957248178888570485269650684466375227447688205788324523268975037217425854968494602963851407949596283963150689667893664138242985204973757533980205053666541644224883369682602910210287864077384103381654066181284352*y^39 + 786679645848196731008299503374722208201861288143678025045808020834877127537587522134398016725492801470963326046448908127755772248158259002482275973166324527383744521966826911987029086761505095720228889911859921725621/42707828992715554281941078602737865500909790752823153298093075900148869703419873978411855405631798385135852602758671574656552971940819895030135920820214666166576899533478730411640841151456309536413526616264725137408*y^38 - 2366476215203136119999610019022199751291052104491924573617802301380068122928672749858520619219605738874515482287569442641892673448032104192500422315027681333664997073456594559745379022209858624244267218115977977620513/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^37 + 4909316356536864641854926913204855790252337331714175823972935619615023391296500376516252046285987985389297986582160365922030632906661738037285044955780079276528748214406123121114940925606891263069101906242004202483947/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^36 + 21244340241920267962113023816545628190313731473341430528713817113241034773190526520197183435635234124691654945024783696186062567366243140574975934759299065480895532638092709647846629858927892908722521199833414294014439/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^35 - 22469711358657326948670666608318500757117854640508164951819888587570684892403723924234005469481938658024656375618359926209175078177394737215089314200755662746749531887502191896429050933492352901851498411315669640897123/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^34 + 68556109210795505241116282755735310162318158102869764371344903265128771125582650272377837822628961588266433572367778178402282881642837496336080106572120444123039751676357939226675992068448291175982159918525599211991449/42707828992715554281941078602737865500909790752823153298093075900148869703419873978411855405631798385135852602758671574656552971940819895030135920820214666166576899533478730411640841151456309536413526616264725137408*y^33 - 71697771940011387947016374074244265360145037884495336263961886937457744367654388672790489669995009813204236789090683962478618928819583897626724643668887047764868459342690549932710568637276381280735988876235017265813323/21353914496357777140970539301368932750454895376411576649046537950074434851709936989205927702815899192567926301379335787328276485970409947515067960410107333083288449766739365205820420575728154768206763308132362568704*y^32 + 31565883779489858320236272654566880446533643754372502893694708430098773893609347479899765326402473843375300201362527188032429612282173481388018765485037643991998952086994285878069163727765761986675337644065113131592733/10676957248178888570485269650684466375227447688205788324523268975037217425854968494602963851407949596283963150689667893664138242985204973757533980205053666541644224883369682602910210287864077384103381654066181284352*y^31 + 427360800370304211289875235852492948283984352970746123497000239120643642728874826342400145034040844775508193720487945919835068017557584378528112865757764031353657828947241435819154583347646704252409120061046431628155117/21353914496357777140970539301368932750454895376411576649046537950074434851709936989205927702815899192567926301379335787328276485970409947515067960410107333083288449766739365205820420575728154768206763308132362568704*y^30 - 897145391756441287378869858154448112245049333689484447019200927559842845679916020847636873776114113669901658066113197666012042253501699481228022122883127797836899749659422811156115963426828913792262721745150863832053119/10676957248178888570485269650684466375227447688205788324523268975037217425854968494602963851407949596283963150689667893664138242985204973757533980205053666541644224883369682602910210287864077384103381654066181284352*y^29 + 9795221205487091663373380527928615187845741524737109367704379220606711391341895064221109988403459766863275854116863524655761934763455043264181275952629112446521831723985080242763288276830910704632037223313551324528051/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^28 + 27306352970473850925840535082483780883040426282796349381870928821234114500261904425044561860324873192451204338139670364493239671484403975878730670361328547769688394054840219217156798474334980161704219061746890595144839675/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^27 - 48440502492527430647381684423007383809305663271462056312129529463501640847547255925821207840732277676924523056668049725657966259010740200853957404112401759035923954545535921059782458491556423472532186635268265843591820341/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^26 - 59030799140525998076231003484563105317524415679250348451635346660416403432398843203048429096053307673115961671678124490812632666144299907996644483016721994389842562368735658801847328485440865667327654602424655974677682701/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^25 + 237176216469385714719484875797024416185221828851425028206268226117405204221725241866907328108980849517405889579690833618283020889918070651700886386704592259091905152129414075761709923951842075070465876534977020881567601155/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^24 + 5166044482827417645035614118121380225684853666690397086805482307926482562070019541312316358654716176472858670767484247684717583890647826151429055421351251308468390287709312292722318400278253237866657513774021130075213069/21353914496357777140970539301368932750454895376411576649046537950074434851709936989205927702815899192567926301379335787328276485970409947515067960410107333083288449766739365205820420575728154768206763308132362568704*y^23 - 167488134518669148334606075513575277116551392465516662432664017995864243842017892150145697027075476892352369562425359713272253602026582816406088168805622305754763541496527505937230196282113364421305445794753993929789141547/21353914496357777140970539301368932750454895376411576649046537950074434851709936989205927702815899192567926301379335787328276485970409947515067960410107333083288449766739365205820420575728154768206763308132362568704*y^22 + 465522217461230202223587069505169060585864289507352289872706779498996368806038286328087027695659403646600584758546902374554928044452888816258270995529528218852071841851213548502754023180753358651465625159428155789586401585/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^21 + 1339744288729229924259832097887087576377146452272905994997965435141357874611820855938661356120374330067667220309929727835025980863768662038444902809860709634397169307842227272470110810509201707197132815081375784881605386343/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^20 - 1676933494544123723499303428284191312695070651200917173198151482256118722556208952062891295914888047717477305915334083778852978305622625688149957473543585929336867412498927009686258844880313993332920556980451103228611279057/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^19 - 484569140953637784471675957872426275594056533257858809697053661024093812761025083760302957904658747614380724524404158555122289474231925535304997912394743410627567348548524902624554885544927079171683515483608245024644724767/21353914496357777140970539301368932750454895376411576649046537950074434851709936989205927702815899192567926301379335787328276485970409947515067960410107333083288449766739365205820420575728154768206763308132362568704*y^18 + 2729399122077466890449033755719989987604534720886854695205669486291371692872789500156747829414538550835943561005732890328231847550355840254009860603978076994568774362332023025929808160522607485653843101474545299547299073235/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^17 + 933194405541116070497497132168444791372597294835933798013560524267514676520392949497545239811584849694455481322499940952360007879870853431579084107034867187099359169550848140476500537359648952181755590072755072898469154913/42707828992715554281941078602737865500909790752823153298093075900148869703419873978411855405631798385135852602758671574656552971940819895030135920820214666166576899533478730411640841151456309536413526616264725137408*y^16 - 1216698218383496397772173940486308348805198926252105940398105097104585266697588944737267238451540475987384109115285318885450679121758814861717927127850251785984427419847352454960611653208706035961870952618941259997528850327/42707828992715554281941078602737865500909790752823153298093075900148869703419873978411855405631798385135852602758671574656552971940819895030135920820214666166576899533478730411640841151456309536413526616264725137408*y^15 - 521914788875628738190103496949216872805656604325114940777645237974559176277581208756008039607681747376374888406394712434179517691879015329657158118590663149368265044666665313317627013889396458990342872694517254069633539995/42707828992715554281941078602737865500909790752823153298093075900148869703419873978411855405631798385135852602758671574656552971940819895030135920820214666166576899533478730411640841151456309536413526616264725137408*y^14 + 620784511298516950151768112050647539587070254902931125513290974706749251235929856224549363297816895015150108980851156727854484741327721720176534178786831762018642272217639648358628115215868292287718217154892524950613200847/42707828992715554281941078602737865500909790752823153298093075900148869703419873978411855405631798385135852602758671574656552971940819895030135920820214666166576899533478730411640841151456309536413526616264725137408*y^13 + 127364062332745694714806298894663339340675409113341313595150827855965636829732139116879912979634804300434501202041064418062800023716444145316068790801825923924114924645285859038965514848503539449414892711652687581052682255/42707828992715554281941078602737865500909790752823153298093075900148869703419873978411855405631798385135852602758671574656552971940819895030135920820214666166576899533478730411640841151456309536413526616264725137408*y^12 - 357582619554583233241445139143862134476337192045240659468824963782437795601614234667048631374595434982281591253966861472300676813554590365721061367849641239756980647190680316488934943900477153748112687815595077965632120621/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^11 + 2168522162719267853395362864539074825050253735789136164159661641029970270315833656433967628877020510133593611784036241033458114430177929024122724533364709110377831077940881552104314917321775859529547017084089865876275937/10676957248178888570485269650684466375227447688205788324523268975037217425854968494602963851407949596283963150689667893664138242985204973757533980205053666541644224883369682602910210287864077384103381654066181284352*y^10 + 50164205877180141551193270745464623652210128303894400972885469979587651949346686876785253480121745116651584493953916599102006723650911501653411329996016614860570008897245531279675955850886253003135176870338199577047793753/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^9 - 21488599791809898713051599622168301870016679974040424117306214366614978259474198050176529349039400450453017803087517904177737135093346787664839639772241872743228793497515680771533748396712435270803769868255697159540881707/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^8 - 218979927685246644147079243658672482209146118083411960386634814460532951343967882324409097965055548497487865001223433389866346886224599662620383886274596644516975802244947440007854540896910786741258719293665921492541815/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^7 + 4110966051056739244563831116903134864380480522904978383334963277625473582872742218270050417202328267851345075433661714391000668680297673055519187627789427491840708190671040079206807568385289066929348642570358167402423639/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^6 - 496326855804663741551112316912982071186828250800933835782221532393824111587038736963087095229056503607696607083063113139061557649990625192627739694096318963649533365531777753237593368850377318951353217395026397291216281/42707828992715554281941078602737865500909790752823153298093075900148869703419873978411855405631798385135852602758671574656552971940819895030135920820214666166576899533478730411640841151456309536413526616264725137408*y^5 - 372583639368473281055457604613179071905168699758361584217189162125121113822792044974927017994303761987036060372751390414650705414007236768803215080094733363001862105145243765895760038586544061511742850542650385969967865/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^4 + 133827930015167081758001496570511069968814940314402599906202038546211058018449190213095034883057810123482616526895708745602397164152398092442140391210849644958086102215124543143610548517837211563030768422428675636579303/85415657985431108563882157205475731001819581505646306596186151800297739406839747956823710811263596770271705205517343149313105943881639790060271841640429332333153799066957460823281682302912619072827053232529450274816*y^3 + 5833614686367545118389790347152913928004133276587724005478025758506553391690940526843706784384137129909700277779359128327991666212540742228198473900467340356417080257201972634802654494487233203857621621515978136802547/21353914496357777140970539301368932750454895376411576649046537950074434851709936989205927702815899192567926301379335787328276485970409947515067960410107333083288449766739365205820420575728154768206763308132362568704*y^2 - 11180773463366759857681417659646129095775142121929009340026811393409896184380769243530943366753533553944163832305955241293836257859620015130604242244817714134830748211486294438737709465859432086021237712707869370157/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y - 13318768529408046760905150231720158460178000996304928351666495121698903607718524949012326705298380950200549235850137075854498735408149328776578775778569370793113418967299638398866184079450632107810369668795427700529/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544

-5934710923556498815530962718426968824155393393194843746893695914102026481851405386877238236476112935655868136253470277000422513544027163044475377068533332714668561994811381282711969577397258909729374508063533363/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^41 + 282322746548575053769534192661652938888443037982333179254852978268900043691608997107003406093923726119821952624261149087776777216573050437958357643063077578626822097087466413882998044834332659656503779214284635337/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^40 - 827298552219879449845862323391191668678717139445469864306957591792610442097501687108613870043086117244190069486110787760765899312730304742842513579025007105662109688098275511294591874528059985240042232816793262977/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^39 + 3416292015463455941180394259829422562423013118182179932998865304334478463087053239421183124878955999204980323889735382491961822286740062412192259210392711787461783126639638360664885082365634809019597723817345306873/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^38 + 37520715125148944294401123359470986930798471031881687588532782313905770738828033238905840529247630543587558907791485837293350270073381442561245742131163997280428867409480720396927304899602933588126071274034171429547/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^37 - 35397990811600444139682518777818196268472829125944463180005131656581397982125151927069107509964803886725432753803430585273318372430662464259359811877316843514250950241313099451499440392487241033462524573995633071813/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^36 + 522120223877977624867565405372729644427723562870130313601616069721250827996596282716633155153324583980262843939391628351956209783654547995727092910508113536515813756100969286802010710245504088220020548603915711257239/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^35 + 675257830116966233907907378257871042308535790782483488831406769134235704571994839723753329364563383849340421242935794810462223681009416097208805238659305986019611196294248737840183455141700076277178421009639697229893/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^34 + 554851886852365674389928637280641708164693295293181915511593972099137979211565050967858891151180483626589001667557539231248820536255982247674728510205163066761268354352333410813622651305791705062045973661801914845367/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^33 + 694562480657439137891329753047735176702498100683268886909927871032465408831578319688976600221781083075190819476815040553466057836342653723192900500987744288441838781975387779937015168006862211626704650010334739352963/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^32 - 1058079171381834383113943231600062813876788999726952245629487243423231413284109623953865406115016160762459196916367032017309145392405409908570727246766582859194114484132615294147087183543826853157747926004494030190107/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^31 + 8912875306844996100257634608721317136047078101302920615192462959443249763261174749939519074663370031660302647285125861448906477986154771254018974929146646664099362794118754246313051454983096907474528301265459070077613/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^30 - 2589354317654604420880970723064657418400326942164211081808575783285165452495813624219247310393890364160281792765149885139901982200927738286324266614949865096182526394958514992104895481842346010699172397860820215788089/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^29 - 18234515089753881486706656292147871108224988219718104832801671461911618207290831924288606783596452646473527198179910212539877862730587463596448588673360045343205504022824853638536727346811738441093571380010139521195109/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^28 + 408222461398595724630695299351001674389466302313526943434388734039034824546171191450624111559160607935679770620218913620325872702047183224507560341937374892895439068578932208330495432151056340991295702161772486580935983/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^27 + 466631300191035759555336900190804272763309550975871807792945772050663342865311641048767539916206223103554669129324549244681868838103023854322704256002589416392187273973743594988099833927234066448508675875703659499578283/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^26 - 2848771630498561015188327849117833457078267966681330104736815384273244499877470351362427629407116837717167699215075772299953224564243864327012475297858838314278543345641410129276048073042406024710907404399720929843914797/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^25 + 654243811125737747091656398823538280823776066478017052520027101681566738536142134087544822821628471831727670686887861560279433534636948335712959072913333666024715655429956093057755058846453644026491313520418836180546787/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^24 + 308926045743365715323713688993629162151941121809863001825479457093115784484672032274283495022644209124967298927739433278882601927434867273864757460174428198053044390926358699647309853647876946597948227730910445854484025/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642*y^23 - 1995917567882560639182192851159897305509102682005061141391461690664121807072647354605748572626794237917405735194050530890203121453991128264641913122416576408455390821264513782786396386155063986995577318084557910254509763/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^22 - 20223455051505453383293039744855623283260092615983557701690153930504530002881644974427497914646392495747709805386574325996699886715668339455331765272080176424261263519200918674464341015391413121010166305469321700962221379/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^21 + 37035105150373032845832586367259872030416596065182205260267423747960403971471545970520667952813269423775053279017525296016839545512906159190648335356700598500560926964121186255178495269898868541512227149272292590298301567/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^20 + 30330852187016803884638672036456072447802414803656476202926879363702534544658783216091728142180424911963681975908832145140967358055397588743593645865807558412306660347017065863742175747467886940848256746137363053496043007/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^19 - 2808007466577477861746650298488852866238716036922361361142526557609752655930273796318592676889527328704087063292569257435169115655388086287651977205270635366705689941756321176229448259596308733384723221615271619832355523/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642*y^18 - 35509455449569401990939637542453034872914893042182917755891246466267899980711582233524409770439843516841677760876200394791567333825531139306108572439275100806306208880893690078640518993090292328101851081789394639912643305/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^17 + 60171525067571144484649297935092148529036960545737322990831424440583224750568476062340727117141730534037662487977879912786824244416150634690561284810730432490325730222894706583640485015280237446775022243206376343427966315/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^16 + 12617629968878843986944589551437141391401108877861636762065797491567598913965023272778271903032140960582212099387073385541359902546642071158246723020939071484602074372433988465982294649938430760539219713961629357074951049/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^15 - 46306770275646346063223992431663831126159451606835743605998439274569018383472090161353846895660093040401162613575745980307754794021304564561644610515524620239362841255741990822649281930699309398479089903202853206976681299/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^14 - 2326033415785238650720763854848661005998738527830596749025107237680735557447187798065318836992659035512739148216463900124631098564208933850229849147615635501045438617994593485018570357908725669841406974272353920484143217/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^13 + 20290206439370806254193838082960424229797504366750457808310974999247505986509180423279366178953889708351681735674338860128958890092722084266365291406276473703602890241763892263465983088764051200482422849658941303297456527/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^12 - 5447718310562447901416818456470120402689603217543847138162017431037352007033963035290002013467047389209854369975434312414583692375962752383953340596620381508521962515581281602780469318118391319731400738111416951697760961/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^11 - 2203483045652221566693615642460229308645010044355307246390124896507649788516587742638105111637733170554509233437153425606142275340503242149179234048617405466168412400680102423123946027955856267024971156538779628770529619/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^10 + 3562072093680806010520249330964934661289652180017930057064747366812941797284212799198799158477661786265725759309607555032130126733281943050151782432310900506630034729906807407331689098597735102431840225574214900898723605/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^9 + 250970284220664424489065665167943089484042756133174321156471977092830659371211205432638724278301027938605533854824894778723788172298342934464170381257105570618958716977526575517063475194024861900395142936006606237142997/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^8 - 738274625468553906228317077232345031496619205086326635173668570050685234019281112525313391926833261737869546760197727296631590620994003065550314499126640417512633697543860760740438498724369894793483016989040827553437687/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^7 + 245527136400829926755769645737021889348834243959911075960507106315439655450221556744180323401308837105869009429411845769294847883169090043704891826529980512481908691513618663282819590388624305318212804221880999397320063/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^6 + 19819428729444479769301506209518778605676442740305134648751570122989119739058584087453328701745946087697564872250876748113020640804016263563015029224865151964588544111854558197133112820699290905317205471804219229306665/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^5 - 41303315617838918543454095410843801033978887083409689038314458923154511844151100894206782223322230922967575392061070598747620370677073235583573551423042535079202777579373539330145992158641892466837751106778479705068733/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^4 + 2667419033477107405491537894885059568215130618733860148617694578802379233191207701598916701879566350102693897970812213274257980994820159115495376648970195660634901576993809954807631964302991560971021669979064703100055/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^3 + 342515821586126184219409638267819200549900260268196200265147547935914979887209292244318226216400653772272769960405811638487735428924664388205850628527510643285649092215851925276789349953273497534126119264216500759175/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^2 - 14017836075462630905536002421517490859823903120246631051617529368534522235651978443965969434559019478077338603624886059133069092958859168887056099985943976438472625436573132942864826612992191760664356912073691332741/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y - 1150264857444021493743615947155635130451763023123552183452678398463538812944319450431247010617976647369738291089285788546728494601746200245446084865456921581165585697643968647534114036323476024135324088294276588559/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321

7945501106856033817809072594389090900848559335485070791190528616214415041875621076245948219656855028157101952588189973701059174311422292077293831386680559787080308042023710849956284788173808271401421190733027587/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^41 - 413726140937008998312658427662081263268346489929596238818399742057043222872413652956087547354071210181046709960972620470790940948396209374315483577585574696245006038179763314603105219061838497529688845565818564285/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^40 + 390587724381944737830056948377504207584364745687107046125664813772255751385280804683837602672137673365387005610374023627791007026440834408096305786948220075463450836869385281386309669127162168610339308279882795354/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321*y^39 - 17553752453650039679304465989619168848219239466470895180925075385715209360682243623979507664951415545259608794653765379079946801018681538368362967401262060469633864563089201113640634934167821274660695845502585384779/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^38 + 76945454874707190230760005302407542079822142253833217135549451412142377542207017440027318270904360175149425649873438658955472875638369457260789840503710445368085483306743046765219259382861104057984141794299681392357/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^37 - 148102859882289352087734009979676592602013486415687731113171753225124208486671502213016354531801500650989418844948448000878817766819187010213499046233820539404929371588582035692412112674986515088940204035726575849683/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^36 - 263962442652925843251251115946280702788438740822795836864998854697479680977675221486727304041381988720453416049801701896506257214145733741823346831793195553781829798728026784051755492156789130030375836541223054399311/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^35 + 798345589930570570671616846661042910529237968538873018828114058806358735711509851505478189244472790236970366303458996181516131398595323495606228393101495700427098241344512420294948715887171459948965375457304497455099/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^34 - 1528714851180000671272588809075340365952690429144650930063101599014540231030661980583892189831321166066095391598344227571403981656959725786246351465448339470684073200721965436264836523173118557633605713795613029562015/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^33 + 511107648763898048477299574195389443017987055330824953734159527427145319021695362365462452552804272287383639965532551445526439336350486237615284160358394238937540772344186167860900374677890712817111263858566891971883/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321*y^32 - 2841592450723744206196483406181764280601052703854421211519652206068571061702897793399356337595044034709953263528240539338911792883774353909714311371647202212312076496361771805300579012624027455509213822050569011253193/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^31 - 5865948658825068980640808357235597865797701253344336959643281814591974340512250873807648908068311895551362150982031443926381956929088063792760163396589538969144966699908838833900405608831168315237816137909091905751409/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^30 + 40489455708095094846164779439730696028716136168034544902377107390145208769726066915267091067783547276980056899973616240308189442702098321321739804823732897737493344624958386261486046174853180886681201787406562338136791/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^29 - 44700405926647057244468391314652579438226967722899381096795658913584215595423108684332182588726565025743154669756455579706390250495272900068425208567006615119732836022552657429672580512574012414917242829364916072410971/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^28 - 416716570102743948354674075932640875571282247089725895103677530163392121724873878494164337414319990949456364493314702811476552732122558204168772227627404952998639492741787974299919239011195991233217046014996331404072231/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^27 + 1401515617269401639522337862970061147880190948700496782345600017634342816139781709121131320907850955937999544932012312329187556788990260697659337273444249038677140124814952620041957957074460727643903048789822288164305557/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^26 - 87345320010956724314768897775024292819055264282601743620296790192658410547929108908345275522051737132768534782327208188700460922320461987837943156855376670792524641380604471707802412313717857072190357087428403822613131/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^25 - 5099910561263539727233606256399682953421467546112768900248040959955930703743807679251275700808746274278357127208699039530993771365193565659478135895273532176949051599327309217034418109719588979974633957758418652579156411/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^24 + 292574222396174178912969334077957367314339859969134774592080810490672978262829089916846107595228093398811044446317279556148331287941948375633527423019537010636299508581867838856196255474953931481179657823960284994248009/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321*y^23 + 678810455353040810121516934621023189670338477431538551902547090699265176766079494851893861758972015663311558567545838475095256185063130544490647366724038555241443173169443904419085951582900434129090063118455622298289730/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321*y^22 - 21496226016902136862125350743518093964531285754501760813889174721363603534230060181907063997118641370975390480637361793103342170124809432942052032474092916535887185031882117789965268491813216306987506755094522021050848729/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^21 - 10501908601672624355200259366168306409095642289303186540058308112445982007109458189137972065906004649896208110211165831123634343835707747575159558765745306357881434951571611492908878592806619411604357353371500004507307739/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^20 + 52752825046535337866727891963410890121167684537400133751597053270530619405150381375910133247529238670912569237786623303607839368649167441601257800923222390825014795338028268143307855247096941021689136941783918664206220545/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^19 - 1513732060905669119586066577460968898515917837774598678508079292790830334606912550933074937898346984255580520482395078588427439104089986258613877179162136515068384026286573502581679461488754685086551403185778970962433355/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^18 - 74686061377941018288388536771758135917175076973511135071038300402536312696461373177066403106161289796849246357615435107263388835387032012156887907380747099433975546110226763987260885280135303861097910294157922638497189735/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^17 + 14562794589034406077591609407907572370779716247200381396536023760974230283959853952715892391708871222371772261529737287820016979191282407492875219083575655708295336789603965522115698981730431981385500381021685342234504065/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^16 + 30226565572810239399216257808100794381042874721284513982974761051746081247905557832267919218945822095341559926881932201854922718205631644565222627057478351308981333223400814873664034961046056339871323966176426019443857493/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^15 - 17420687874444927446584172301906042746401298248581928456752374442231852306243776820671520974493934423644356123466494431415791880760973893137021208181456587555019670830815525656112117987722418028026997877407812654478847115/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^14 - 12653213847064322458719750241359413758322880272370522581052066364407484919869461279889381903194843883537401429872645510754664837526241717962439880021101611913457435618406481187184846135326715529617382878017514975801161695/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^13 + 10394927952447560740923196764014606240820040509922897095619241267354863424120489113411427276593472737163890139612430792294238105925959601402546822736809961594945905685999241926578884873881654378292634700230747304908973427/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^12 + 3019234356222124334163461235474463041972034991952724873125041768410587890675449767802955753977177701593919687886883128422658367840712153555264289310265709372292692601096045825614532241375011283243130174187969623599825157/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^11 - 383878611921526041885236679971411107130351267129367602656823319789929506798054766335963729790809286230459165444111490537179965071848337672779827887483352514104024992585363644332544870391020840417397936711517155191111441/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321*y^10 + 1374923783798006914237832107985791234582770675856897950377825496399204948199330356957651328352575548902104470537540149527373260837030855041425357927591790285933028641414158063739875950558092505960013580935788222453328623/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^9 + 593488744789894357556323782397876448262695818078266365917993985472153298324407249017497344154823842998407160407178950228956297983462357983257432157690268708591589523887461566681877136097927383313646511454009704320862495/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^8 - 479183557062074475711235719301180920527081952776915299610741824237970159335795457748308083955128023449213801034583031823976258238736483586974231508093825942605677584378162449492181503570897102862522388948368131564928913/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^7 + 82857496069653001971010961776252044881618421435144698083390359803259305928612698493330080880820526965028689566866618372200136160244876561954344550259362126394249226718840611621466277302324065216046420864020190957671181/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^6 + 22323541053451669244316151849011743167690019594806376584464754879103172672494469840877882811630927135112042642765831030165816509153897237686239658068420081339840417676122512400435235868635047993676776203222783721664917/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^5 - 20874157259431321588541981443604241185828913370167273994914037525794167749882911393295492467763561254141683607064000620041788785548004882094035465196245220092653331041664766264310003096618492077278694451976565398234215/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^4 - 562800307806372998495277280903574570236395110301406805863567224905544501882096344645387348749262506577777875922352557125736843114740159230565144704679264912463258107180349277891296020428922787963446085846960949928755/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^3 + 186907311286635131727624329076572209378728319145040010542776964981640252753153332066630200620289956650500112486396761818380913911290345298960053697374328563817301775203772936460901364230449702096660688560294336809131/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642*y^2 - 3531908823806621996003512462272724173669218062018844876041466319258180556334828193629352493217601994305336962490183365544030337466989925261584616323290624224400253773234104840316404435849969031109765840633705405835/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321*y - 2442992191350713840367854758911305732686370954176856791280394319988400123613992342597030748533972987733315449457848054096772766395780189706966366219413546602046754392448262183216342279531205467436537077888388871044/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321

-697215067054993369473489323501848229114589246044182047923663009146547810462724135008215932683438072573618468087612018316565201933028544962609715100748341073246927753826683563898938174249200936090035208685249838309/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^41 + 35350783532018915656445445066791134033936897597518916442018573247806025421695110649905284173642360232363410006930726012432102387648349627640338761777004164207903330444868034772092864444003906149600866423771005370269/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^40 - 249930051078602512608778824595543790754514991113657719608475729801997533641075178505889672150836754594424461828544223559648348433924533345371063347298988591844495218446692391253643352321504896227916088750795137775029/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^39 + 1194054712459174275043974590324937966735798541314609731599125235125776814668203091781731837801156974748639840874831092536317494201001698308254544841029230398961057455834655923850641287848448879111962991990929495723881/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^38 - 3358370141482731537659416780541831633542124438104309951365854151461499649584432058387392867903027962095176340357958694097518944623240986074287652115365264362510215059527857744640045979719581490207824967021770269716567/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^37 + 7777812559969399946635959136808346398878077460791632731888928579497598041969085544718496595232355085445087410086163511439410772630474720665681798684110156874740044671453854857193129370149138375583654627464328071323831/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^36 + 34763737540049246181449958620214208956376273745281672606550142838441682705082262986209391957491183102005739047564582357322833344098571159809857399679064655639437271414716102969744727133626034066435654605947538478929943/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^35 - 24650395902114653971481293989110380428385998302178203311170858783998275258016172205218332613909189147263490913974900006796643893424420727151552254962730000062483745763396855462507945932528426412747803433151365141683295/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^34 + 56558677396303890032456418159446607442094105562686720047034792921805691620486050940136424418443877442955839310295598718710756553521802963872285480719626855746837037368193783029424700561461549427241043641359461981527897/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^33 - 100099754728209307873748789235575458002623308427123311809412933124432187023036026210897195821896283236144925431177418638656201611067696169720708058904470998757835023121749564953753286565232346870654753490973351402034663/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^32 + 48921797308680259340327789845326305951631743904887623696665523661639119723525657229384827851371320255207431696805868917538809260919516748353213549500822816282264738571100746483845604949592198274583805395301611621007463/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^31 + 676506765643394895025216854211425385238362616366722148924274506024968702151539429945149098408093624544745553968018000721371019697199505352095742140511176115795910501269495280315558041186746999209608608892325413545774011/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^30 - 664413371202358567082111784906305758130419982750376619194581570571467902099259133240418701003826509474831245939199737156577392346449773272730072779281255298660237155493585078998674371520705109455888826121315590026972375/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^29 + 7698561799475554071864885670035996010130836549698632262868638559545711536525411771739942689002736873731587678596349378036920064193033988856780349993748350325744764682388229905672508562736895207115858209708626239314793/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321*y^28 + 40040257847488921051566526918918099534460413428107901545016090975587320083849935685967999714036163549133078702220385562224910616156434554325477520241947099870916597593413497134454250835202097665182660786679850810183139881/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^27 - 68877586764198657374316596709265666929981469322062798917442810491738318331161049058680995356203558578552052398881310717784636310089014292173206184968779595738549931888815337445560483171527049907865055082348082933489054361/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^26 - 96483927779135489419396125088260563455165956419770026052915130444084645681884745698088966782903055117985963591883209177868048198516161049338888149739097115280903841706734913186605468281850593118188050872996060163262563285/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^25 + 334780743675471977526248528141748030568752380311016039981796105663341765970253694385192493067380740809289611679154796288978788195777017511461082736549653439169487464490171358672278655900956132214159956381337461249463358171/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^24 + 33854800947722895299686001885736907480007852164640116496043629781444615644716920365050588836471687102481213149170743630050118724081300215227518080958416086925425762659151538673760148950225294580068336325883443506296853939/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^23 - 59286559980518042751929725777131726081806156777196646002699573776231435110102926432889470069702303246254070514275862212854515969751428214403811031731201317557115942913403573642157742183405020875009427813657703520090053415/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^22 + 588690738892335942175168927294395500504426177719940805498728016578421236722584733882053576663800073009933019837420059386022290188814414691686216672298332442698498577493226658842709754264902028554285772702242632525578097651/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^21 + 1965337156583786178881493884509526610339007964914638153204495411180004481562024275185801347439315064697150399324322696198738511719164036936105945278973633634843130782903948030705739386209167679412397658947786424303632396007/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^20 - 2134688831999257078863619538493418306972331551607714600475418206694214539197217262115269974291055733748201214591936405840192710594608301833175793816470030300764130937152072305241702286484737089071549891685078876811800463937/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^19 - 1422887606197897614338990467277532047811308220110433939238635506962649242788528957965441615089745916591422990504403221022009842286194350155908771766097547646298240523975780511979762515326679410346191934516414817910414891289/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^18 + 3285754244345375456822406854096822999084877698070185570023188660054319928211609417493783595353171576846837457123710722704609298365548384034145925951763418484448917505323758143837914138412438392881071431770626777505875637733/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^17 + 633744114527406788542707289585076720472716402690242066777901820148000791565650924539868986434845507737588316946630525877960708832489753813729248417046287540506967578394372602465493996287517634945972905857434544379872581353/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^16 - 1389003205587662846507458251739786327933515359446911832503073020791184484577736962720507775639161984560608897071927400047615861612900912151257076049004746480584837262078136754962963245917408404346200812215261181447809707781/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^15 - 600089306406405618482448725769434130393457400088403623353775576863816351362484172682318353037900523924771370255612652398073576387490518963625603504010174510200515595584895952808564223096563938203732384256620623772040269731/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^14 + 682810573356037238556561034795839745835247775070882631400548946605576329106505896091254279621995381645600159409817539741669973504688646165819014682342569761034547449215601855417743215896827881385200981517976160413911190355/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^13 + 97397670596191025587851832731931728942414754164431429678026949645377765405919935061727022815549811136249310869977107323915200283679715288693019707328787751285871224814202651148096487369880466171857816263736911099264540791/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^12 - 371514758275733040058169070477212992659270644731996579943187425524984464207057967684412651761153083046653932113845366813036474807490966157732404033340131692463158053932696116952757602182985979153027712401571624501632853755/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^11 + 26687010995169296003803789435298829923344796748967716532183609676756532403872097128773996996784070631653277150199011448511385750206300427322766548456855105683736208299998507650536677272665156891949935428030309187803404015/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^10 + 41912722445415906325871081392198544980264649357444257028758357714958232375368000525109903445946147628582968172787193053937026787407756299771563954367717873092346554630109419145338534356173724300807064592611507754761479103/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^9 - 25393548195260930989239382856286807379743939851897176169866785932282125885320814630386982426076498373066516311165634070258848179460365879837556651605698213583713166444402719340032625406685720361550898211859796723292562095/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^8 + 2531121185566586316375566625943194392150909981771460998589012627523420676499471833768502276571200214979993065322972005990414044389232940501370780632455794092688542331508675350007328644332778195385444479546263257347524137/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^7 + 3519653036043185256118450603023643378719636263135351246382242302322429808379343949804455151502595859596878009390859934636793346589820992298541964074917451220879326828410966415542703021102873689795765234682574128017647627/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^6 - 285987136352176629612544732328850716838302520064351995885617536888847486838673281356374397534920100936560104930492830240267992216192084851783252903726905563839793279237047369934665708765472786932431335597627500746630871/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^5 - 233559904125964546363564210903903663778557170054321821289424318382812380993530164433479435701636122973920173568294541727963914332932649783196457761059295736584616464783120042106398323273744840981659271786857826027113803/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^4 + 116123090906716866753326405292710780674133084271539146615778370830978702910531167321857273360341688328921383798197671352388666152354587018287763641424790132339052160404503930565398377054765423129485235353097738371543163/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^3 + 6371288726380264679557205424302404892160381575862236532309527267152579604729378674229840201502892550664267032272947032696733087936353835805897710512423849863866124626452535712594799564102335984272892795588807241949155/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^2 - 1079421181032344256011695725824340656568252805633142771766612998306336108731790073351519084585594209445597082529459168158291202919407912799894345192383489957545754576321297535478584795920752871798260861105437679885063/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y - 8665040158206770804000068999722840707430831250841693104442919107956331519349877548377314216101236644510852089125413724524216602261650958730448937537430066206669553854184802954112203796780250635275238730650060561857/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321

-898325861092401095278164561916999703963573699701803470104230374754399723553485939519230785433815702717072082444048667299839707413966039789408757674608657005342261215617550662855339328303671645462416040479035172933/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^41 + 5691945202171957751990575177882381096334763906215761369480433076222812126814373182822187722345375483203912510160617258271362199043835983010194671920544324795923905016669788756106511973680676935888492210649573960293/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^40 - 643426553578436513202227351491475854876809717580916636746970412505889475892164147087833731179810911970373596403823043236122193802011193196112239093669610723807692629115495523970674617581464932193642286251749572219509/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^39 + 767023677745325421241678715484084078924878232883518431418503758425029476915447628503330739408965226971921170823877804104639143258712146695258568187121255613759359682998187928024957909360159991823463533293878070524025/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^38 - 4283055155395718399851184478752888203322173256353080918506675602616404778257524747104502411785006074827676662962803828767319679372240729913323311334082473848965798647273945361286340703269338644313194229065583117444225/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^37 + 155478140634785231805447519519073250455697743373454403935957197002865655890109095245664967955374877847497714583719569078317157135721694391430707739413364104813981928306903595134448294681687587968070234816059906204346/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321*y^36 + 22472412643994286665350655704890609049087768646215289726641299761757822079349893391057823865226891825302360080846319767994784317691596977225948471071039005244255553894339121876566940450200791749180439363482120251184799/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^35 - 7799721996884015144239102281767188700029794721693927547430718611850854177728238016160832694851469593558652450481729874945845831324874494774309270758553338545436280202620981719406755028489381103563751364775246589670665/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^34 + 290892489531654535965622997599047015122528765262715538225587747267077873223177179473184020156636896732013598804687349617345709128052296081069710380808702186218828872831046170226801370360558844254420214562128278134730153/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^33 - 127955809697043858298234863986465846564367895521129679052010448362825841660833980116055552198024564043491052487252326569711860889489864490136499361268261696198465969893195793058008684768461673571246164097566791548732793/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^32 + 31008719951309637275914867715886072756510692984848365351328128848257564222827353922976414040264257910348546518414522572071707665839071111253170367317331163592114638047270283198653971078661161510276594361187027227724515/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^31 + 873882429532798849042893587374571150149638091473615806801620495654014578843943044176243903719748751150021143107392636871829315736047870667080222017881537930261834697219920988062721631967837293093759057687802810741707219/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^30 - 3413066474979864380498166287820495489336035820050378807903049553274829342982084364612771360538707353816701231359385939578340442842729854674591979958116167281718824601587932365496131929591732026011867993149111599968924881/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^29 + 27299257060400393026672846147045349112452051124488428812847471350923287012260067407033477113487371315829997248168162124226673362653886026789457238067612271044545588820371024920202835131099125993708051776298317257467201/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^28 + 51653575469843195197979410419975403329849331307378646874709134989921817592959751696980354599426852838603148008339131533582818481440400008235587129382420041960282894515936077068065113852480494470990088204804176837189085289/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^27 - 5503671653620015493404455220534854166231678825758397561446813206707466703736886767308658564736865603094042981920863586936925977161347552116489728659780763144639632606276397364596187218799072127584034169457852232484719569/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^26 - 62855146804857363669995892469194870445329982632852739380616242049532737587164969365261694677346040644979276468122013732378825779388937102616242861302584553823789265571025838919594284776100663680202996310490638696423363379/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^25 + 215021203778205656986104416240977516051477127837544220697742219107118708310664011455255117929662881587054511919424981181567512244501124446833561090251659370033877293297281965385349475881599466400043588755264041762645571437/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^24 + 93495079335787160075652580208540836540522377584630777676997491628861830500187624886160632668830068338095216372326001644410354217492462677588126962060146348314111102419925122075852548718063117879014693922903855645406793637/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^23 - 611376756479931208665425955715078585934226598768904416225100593938351971367476582077338804751386291671962336638605451513154531101719888275017966065311159150818762557697203491627506976493014584031577820074580893959949803355/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^22 + 741888251251215290331791010572888845644861623982054328439540669736543078155139348942399681933381350442469337256662896995767095719101810065072190219599059557880279492730878101132374064030372355033166363813145713959244340639/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^21 + 1273599600690853211258729420746022194499014432927666372676850345694606834609312226268467745907961301150488578330170492283251038856183416157587791128712507943394951235767699839290576887041038199465424459830109926408101778605/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^20 - 1359908245253027098270923305025150143856771946342346359944789104807852205476244486015335247094367476930067773408903828407802187321850328565831718686680556084835735746253230871677765126158648725375701802367278334149377126993/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^19 - 3713059589439928608899134794474255530798987140165703786408361458071030207290358333555652777917453888589406255265165591214003042824627648936418362886209024369058233251492805144413224962572021150309369230080793110207091918903/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^18 + 4195787290431095692240756581431972731382338081686681336957648922840233855242658016352364579269914527482145863530723350019213969582469942689453032698720963754430499604545114976196954181591563238304942277452802170422036078935/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^17 + 3335900834785266191650161337954240230891573481784896819212277322700427585056862331606752353891674565137550303074706272783952530866111257011275185777899426435690396653271256688646482438734976670600087165386401507873569592501/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^16 - 1776401057039228074412167539335113490062464841765364813674147071667825967444440462067964444634914909213866225372862700635290021049289066975656381734231504175744345034002958865510751294913190966269829458772842100357497196071/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^15 - 401189533432369015194849609280450047533076516854267596153021080154234150858188113757496639545867148005597451031574414452699539536685565224830090879606804426119002998786674871847615831405871474790385519340060586198243074821/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^14 + 219140062905155207909194500723164024549562361157495275266411628681211319386582808392457951322764588080890324180909252922647524734747651593560057180655220122446769380457134965785647745628948594501642351393425902530780811115/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^13 + 69612629744638103363640350028574578896976492117245401138608596914094822777231925445436423359191640532355509325823605946031456293494510329887905688210687492520802626079271851104574724093530787003559884794034766925183889863/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^12 - 482032584567552789097346454117994406553932966180575847192847021347090205713987224526229696908681382473394407639946274676192873927871734005701513122613842708530413474402373354733175229717153170084553248315789931012474424277/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^11 + 62441705673284294059822250378698118231563760376678585152010725898587507766043949303004515100149607737335508871208840082071644400939819875026470688622818103194947901760006916970780404548438387182554194586976447203395385547/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^10 + 56525659982550314020621865808720227082577118419837047559670807342130654183678721517482884369983993740440263593554312012997199438417979359491871943944681613182573704413469124550602101199654703282186501937215814669672729245/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^9 - 8126029162006181239361848920704241404816552896148366977521785436300096063190210658418339122487331173160389050012549816033889994614112018926721999273199963118510917281150604308861260484510623823911867393151585382605396225/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^8 + 1367256887110326970634535164255531248995943515843313400407797589243735118463552844566644595707737033357561013254228226616397518028547395440789013897979051978171824608934001633473223206132447384850232104889339727347091817/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^7 + 73541013869332504443765252065086044580489855727887522261038789007286159092507130899002794940914946384500196000554872597380301199113739377841136995761897165489623704981226293376530917100238761930823204650065982481365072/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321*y^6 - 1446792536784863740220429868898000832045523253656272553399227656792577396892991752478979223235338152727794751458718175380451048701370838680958282696953549926438997350783993906636740777805378657369032845991139859388906133/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^5 - 329621865443758163603758457385724508729438521676876514456142250452212361008629771542584138805942953735901627280613600493969576805951788732234319030178155035699745840496590286889453590761669923257660646299351077403107275/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^4 + 37931051243832363596212928721856687684311919534012186361558300246287293723646007843263561525977124747939089038761362696413295153433879294166920500667968310487348312678948393917818902636617635627220183550587771838955315/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^3 + 18329322705453989033760476180823605191329055621484942204531250984160130041826260363519605515390838702383274241655386371281569703835339719580512430803035658710502891878111792284974156078140646655360730632892572540827297/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^2 - 2869552367703770534206822036077225824053374202715005219288105748447313557953668029839635093720886040922324090833458131021856762393578515963246169569423975503827773921163757255484997172836175384683674293516706832506329/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y - 48304591538540439842500698080433156622519967063949873158136329674731563026337743702273218784248501670831338176532299171963331193565049601517190565560802295953862886977258862974829151938564173562580073917040480550429/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284

-4249312301602733386188905212854526017151965013611405354555495572589337311562504521574530053817955669034257162266555301642318996588799818088409249767485665360130411321643720919530456762384070753659121137747933125/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^41 + 216470665488248991569971713767615746807834208689199886126671214229283793196497058366309212901303143029769046869940488493833082295583164143140303197272624613644810213514978874305085681549802634929631500267509626021/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^40 - 1549176880609739779282350966355253175081095907414847443451259387539712983767751340347215270547300690409487606828706395646802522112550732958189573903481734094539523308292341174253011739038922776627267025485314643295/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642*y^39 + 3824045747537219904806336336906134594920255267066963206154327042263342599966496267388141122312373682495106573275000627366677679886037002507139025126426404241292465995134525234299483141763386693473833479834056666992/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321*y^38 - 24116531012736605559831814229236968423672900930529526457709441092816431826449141005804684020137598725524992339869778115917244013837549662560402975135891696746444290970739446255471252736811616608316979440089375122683/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^37 + 53090264503503380086605281624030403961460612101077992191924777359321428688942934360493929699858518108361797074540843390306733139789910711209595758526275375545836889853173603270596326958461962599594319015568376745495/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^36 + 199321020442443062078165193598542424964955377804962859428542071554772719935150580392438588997371459047093081862956228086636144093856969708323182245154421816266252139250327000563373070403086573646974510529735050760915/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^35 - 198351325209201219141756612721478337600708839260653912480267368817364647012943110405648167812418356365197799872889168612895114884389367459804194007555526747186769632040897067845891090089479864302045491486480709871431/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^34 + 712687343438209299604115477865303084473007592042318348978078803394669452913976659519890185247965206183412952225118954013029461851024870680405691332569185242891341292514478266191840137147967376877790200996582639331141/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642*y^33 - 695061068933064370126540491744632205129836837738577163501047639967908153868084959475277990893332648587042355411160198626699075603505664115243584231414111065640019812304231974832200706826151920003757484658897187594280/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321*y^32 + 1521731846220591233372784714352306061604078410769742409543184969697622312409931668368816040258331425880217620927889367346061809741557403084275860858837096178960433670203811050230913507675673009064532186625410208005533/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642*y^31 + 7891046519300228331192050154709109348488732803297422947458131666233289892793098628844091866287431821500131140062940184153245585207435994882873868596675112504462868276423614261722237301340372982812181772101551307617659/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642*y^30 - 17148881470309624769240883451917977019909045524827654669884189951358447614819167142898890253723763042491009152798730770777847572173214050293961802434368808927072357411173905820850906666578756132945750562140432419761603/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321*y^29 + 9680353581993985377154944465712716052400502757148214363818378421025209180593533139711511341314178412711219378848004340963361991228734455310138757336036875120507609190248036850226750687750001482260667000116274722210799/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642*y^28 + 239820487535050137427347879485121765516195978364293422777899062816239679857612940992473375520062500908710967587308866128187494563734366395471918961258150722283934348289862639237880595226945017485182937027470503313061667/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^27 - 477536108339385662280743143753283462296552151472252778926386619258956881063066827719115999254712064881298185904674729165233996023388636582093089514331516929301230992722080639069308429668558648109496148075781181302485737/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^26 - 474953628730130978768632679561146887671639560827954192158786852193128118333195269860001363472433601813845136082116644455641144514300521832368299904068419847751702698817635066249982020436893892036353878539951949874134809/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^25 + 2157520969745885169859673213737820431911961682779489749419807749084219557988150437130014762833185206296320994019306488044813976918087714533518561932166301276250553802718686246111743238194807118505342959656108123514032119/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^24 - 51374345052097225779701086208538522517042886405538174063459505624013387322723084075866277361399193852856893371497530010699085492140038245250753895630919703646072861219692200388200272573214871745648307232922181976821313/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642*y^23 - 1442629818554579478186241916037992567183893865846408355290649213217928260535856049159923698183648942208884734956693654848252285650345029409176675396733072607645766858844319205326916814238070712959670568840062077725093534/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321*y^22 + 4976464963937948470353429397632164630857622417606506958383562847050513381456123589831858098701282259709188277994401195102152185171664946703934435979642648784758655160999521146769625248741604626469399421939831981300643899/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^21 + 10819817765499365396378975020053162941889532671008052926967747238913986084418139856269856271361376302144236609173556286466344390924538232680364624948343742378357565548394335190035252758289307575101017523849693519813888469/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^20 - 15645891684861078984774102089906162652418164294498716038291906769988836954615288094599175526271787962808594497783624427937360967937336312022020506860218872950138307977384755193044726910712326219129157960061068637775548245/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^19 - 6824251334863786731318713647911280170894850042353034590564223503482072323491008747066139532541137635701596264925289819251960014752024832793585833527648291254803036622742509997404315855368772786624906227926603250633931565/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642*y^18 + 23416832724365538351370300410430484314336121789051640310439745895634986160816041776915954904351262475247384215045387384670899810270105928816567070126298563322781749438692702103881843197414682396098364537111403329831457901/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^17 + 4943661981204979326449696353633628976955071678248321210793609420544335740415867481862807765374097972416613625902017254189801976329101823099512135842297537829920553830904893577758807243675316199872358568925344818769038207/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642*y^16 - 9741237972835532945713922762534905400334339270243995219940047218240672737021454390544807950377236211859681936750128865667085180594301864808310757800995133429527707523698113952664072191367413371298102209592603199043570999/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642*y^15 - 1330477792300347362394398123950046335452754893059979178952939442713855659965494603621641868122206895338142455724351764172028534279180759712053072943201556820013092796530826267496347934565805671867009406282094124646493827/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642*y^14 + 2279421080081008506962538709131752863604779939077823628150866116951969699223230560980038768878517720616630856007249894356983865407905794218402161048784427235984218148758519195246982194112639608492300006701965357329129403/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321*y^13 - 253592733373074659057297370535740678598392827600430136479434279666157405099463401797197812759427646277437955202013501859354651045596350663593208079701003781005461612509966205348892799794892005991978058034806184755148225/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321*y^12 - 2096597726615502875093279124017492083506620529520967216218196865947884337165893717992240906332559287728932379987673470898027902675594967080332165866193074377172862271375226012665303744844842834529416190781441562772442899/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^11 + 423902557759660353049111765624610861897087070721498776968304429610129072945606208307090331356914810895453353364605488228859160574478654474782605322231239929781341061247959611906620508996948907659761835340472987409998373/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642*y^10 + 69328840306267222783770147113906977421736625611333886709838476188928183218492336939474741025741035581443183072302301293042720567948492221161468501551853499361382377594915526657687345234777125081687666804058034862723617/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^9 - 179944317861477836273604612251571889677763971891724505604544312143976805249756607126459054661943606759003366215000849643057871294145100524881859521588588699257730128299583145806576929229481400338813382869485655817707487/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^8 + 58351157830637953101472174534001732610757766052635550518042887090712112267238966295010757588972970697152920442847397097592632783126781958365337018647024181225531658151541870898585698988344318524946221343169098804663331/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^7 + 8957417999701963347859467993422808501407768453286258782173247566158767986319799454285203436736927057958450426645722435549653754847178575860071424902981197291804815301977629807024639296328470083047890835031566466748223/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^6 - 4854947146630354910682519956627621034766663502794802374169699662109111156275934296537938515678196658865107717150287789177769845586769540372492354295885076644514185889823575516337779976041114334808115083658501675835187/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642*y^5 + 856394015848365079994223417327089493593247181791764881212265083497503261766189251735723888838962010127923169246724041945149653793956619504653201135440254873530765617865727364840162278925340903975746548166769455876035/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^4 + 597633473129315510664923061034845138575475789870649561905186479609753503292924156482146581413595330094637374389966016104998359873204344274317753929579857158173431628161016132244560747287103493713903179119492739500745/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^3 - 19403758300707844401409466567574033270887509454764313718367470410696252431321833108776329285779335014307034264446586845727113425800052190359377168388334846552053727288623953518167222797594883576737232086911698274614/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321*y^2 - 3588025161284960280477739431270672503496938249013535470184590417615490274886969173653383278436492465113163220616358850207720291794823596123635898638918069621495194167385480611850638999536851949407672856813045580524/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321*y + 262814847598196209198681582111206452407745859260112439035384313822390549210824386810061251447417217441646251383159488659615717834007129339191755053562150819484708209480095960044346391298848585503401829368928893040/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321

1817470585058600429059707507133814790985942227666102841769461638506340401417726073606757134000623676885017810377629334956537121839720100197794663949950996058538098695399633797630003747154099274420970682614762804875/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^41 - 92136545632118421474241649094191152527880590801691593634410157504390109192563947493298596731271749514185299785708849878413112782909983265595894838670535545643457465130453266903277063379818523752559532018072059952395/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^40 + 651140359228191124989976042598788224341417989990897302627120680423486692164829957060966184685838285670184605882169226717245085147001390848025119229666425756988682695506835219591897124988459935432763519569912426799463/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^39 - 3107342868046576294601806164478635002328314038442718889456929895759197982297404810308917990663010053242341422157007119414692151214862740947767767580300169499817807010046785131218423238763975061240199123347364883308415/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^38 + 8701946020701906466844172922000086609101068907581514107701374653232620574770652730238540339332703320393479245526591835709818279209527949388176333470339414565682022865019881440198512705402296643249976618645190693017641/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^37 - 20189897230527240782237804031168463162436918528124300258290994466918099448408772908184411117535230159505425032490241514634647617892208367250034693390356892008030773287685533660059828735932440228290689194711773042080289/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^36 - 90803600444106982105361088174587249418772397317656746128421782686053901988439833886205500719295004592812986080381071510365862068755448875046360747938345806545937122448954046189405622877939738958409391025383165849466161/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^35 + 63593274177650339510505753164103561872045419564177702815902039679800161834424477018467200683943056476932846405135465553059489956375130758053724352890416441374400186883050781539856180958348632327984477513657387842913689/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^34 - 147251420846664212478287492583278266996273884477260384426905043509545539004638315885907390931680986323109029249065350732413432166858070061919855957360166340992234512579432296636764201938466833150968902648170087867246593/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^33 + 259728281832212447547058363340049083511678031530564355682186648308974287608453740574835701125494788313410634803562649145781364317077885592537449906012983671378870048077684270985594375212100961753202676064091112166643241/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^32 - 126308002296783874911231775319015828456948401778293393316931446724787357023163499070080925327159697651038413349740253477995876371252473578795225816762873700618414719306385440517145440417220656323099389440151615372767629/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^31 - 1766173411370591446737192334681104287063725271821015788948621603936282915386305852326550571828360778206975830211856954428756516716715694086949048028643436592496729344601428409318952490490936013589388412772733452287804021/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^30 + 1728647766927586175985099846230124525603303676086167510217963883296914116951022419736141808865221809701971197223401037269775941300614043683850229725327967074288355108598281279526053977464327669924315191614121553002764521/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^29 - 32740253278685804966805004024984388425779633642679362136372554850556472505715636799634737612394101457558269639765541855614105987715775478256482421277549072225399375379855891932279364358627871420072151961606875175662353/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642*y^28 - 104455436734380312957794249446354301081320764177728977880916958357206334743872143621065189238964259479378483956920335764309984797806111201458910334679606177297811421661025019096859232149283919910517646308325648754294599527/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^27 + 178728124519670365711342199764354561520357970125663371276250721414242357315287290097217854172919886402482185606199465345232519860665517833774393939586227405561663879044114354929889770349174396140822815550420072540848519471/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^26 + 253188589292966667205601824464101274216947561393643960575249943811908994953434581182916236613269963664210919313200447621511995784806600259874775047340492548907265580460678575441327876565345582274101643121116477977649144387/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^25 - 871163362334536011666272210312262377327268367872474390330737172841624952988164439995787827535834422016956493827616089192377662203717248196561898086619277894286372687798284252293646439146617117582637064667095330728870362509/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^24 - 92003392351404678383239023979511618182120226767533115506105462546469856781819773947930404151006988337653055136342161554977210842227439176239987327266625963104778355756904181215638118509256736135126185336779785217976309801/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^23 + 38648833224539853271911916012546390529374930793505747932053583449317089253144431718319437491254164649813496780654828930745729111511505190061358054145731358910251927568827579620706468166258532691636725117193851958148058525/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321*y^22 - 1514688261860063032383926771058945534598994864920666899448657600730457362670450194127485072088187294916145096209661899287758515239250028232807923267829716368741976192053759958533364339788000756702431327344020481084227817757/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^21 - 5141403279679200528464190078921569263758227860573097310054619320466675606954266356375308747929452061973701000594297707436030447875450052143162150111995054871663388167885808054861139580163470684144637844315271427004792261185/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^20 + 5528213550937749529661023728983575786728351679800254212245119533553054971117317466487155606585893179970676528078394675644382543833729380006846767401789771899810559097014896065086833045020276651730658861018313217788149611063/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^19 + 3737325362296107170677543537295227704825264287372989203541435748015297035543821727857841550746364247830701665998471065676109487155500776750944062668164898936763487338204229535861697373836421624318965427510638702791244153291/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^18 - 8520766475314519747649438668474110010605960317448441138242354443212125301604818345662197596710653043376377311169842932271782932459413469798662666518368927387358871573745177071018983158350921580243648292199844782201294027867/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^17 - 1673295338220926487733270902173141565164486048963079516794839716725228246645051935532765744778828807318586174165453841482004737691593489342018579005334192917030425101319559071916165176221948003989128239927371925601702556505/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^16 + 3605423071144803956121629236291324353821520549959554885939911293973805333553940489132272158928303463076823152918234394051909498138177910590775082236154109968350600085227506601279472004762555148288906674965481360713016813611/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^15 + 1600219514761204858712641624838011585602921881957777180743786473350742983210883936723722822741317452045594413612887595793022900354847332680140329221666645309851214254635956482498007109140590500231250080419554916068149993669/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^14 - 1776439220246807429032544755149401867528573921386511167099105484693867449127104114192260783042825603006054624609531041369442609553573593625390443389969540691861607043006207240217855462831368299532651446691636089322607598581/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^13 - 270969957412062126224887539424999158026185897641712077364915110690699805081218885834172133552855709701158517420472300941247576948863736076007868895911829723195703075827524375807301188449979981232514972467733438764836331617/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^12 + 972827137270439597202271949994217601790174067968524496384497666813906201924291421838983876929520567153980886603957754732197977050548353453179455653827017794255855932214947233257214122884524897048631522288224479304278839397/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^11 - 65569463329293699670909992729833211714796722026371692293642271239773673345995162437653014910797337151952429068031921635888950689607014968856618163172776168215530422183072369755457261292030604742787169771882615058702694853/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^10 - 112428077190491793876196984546352300290011648455990867260614028094617728741347478155821829995949648416752281790797124566041426948824349027260817496023402667872560332712087564436811231362384673181889637421086498425847519617/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^9 + 65893981674866736364703591969789549893573951359829044636669966002363574555639173460469001020321468964918967509996029904353909752451915977900913144438969953081755095963777850477297559583036060911886632552068553233518177161/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^8 - 5926973429415747925619337799031637498541195614682143893771009883676567923449598056435254397772619114452943245431689948125033962356415908329445209416244771921420654205491136953539637304455980699929152151378689736399156047/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^7 - 9390822468994519967990740961108409332879507948613851875845316238948635030967178332055496248436905599604395060208604023347822326470455198301457482483537984316276386561373470921468718413395735046345449686694451120035956781/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^6 + 736407685584131325440673062898854435854585193412578580346996506768626707876266963057081753012722432493466001668518131422397172473837879358710001471151209817954706709548488003576351832729588546411255224210391058124488355/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^5 + 646296594850296031320114519698166690256974596515312867766176017928697842183652081034461336257281107260568004248783089999676982647134924677584282808238958844571635851832940269942519720616258531536321715861651064123990789/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^4 - 305515581257578888696496530012309197048057906209585347614956929657339985712132171102566522595880234012567855489291137786880416509760138692983109453525504757527551321653690076051677350756740236729652653784418038180806109/1334619656022361071310658706335558296903430961025723540565408621879652178231871061825370481425993699535495393836208486708017280373150621719691747525631708317705528110421210325363776285983009673012922706758272660544*y^3 - 17881781741970117547871892012019342945721278836937811746274261818771868014972806318056671898977917663241569090353562415859931387134686916311340180817136240539635064152222389471117918193055216438437869043541488318787321/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^2 + 2876037490152175539119573997471272667375528473591577240314316998448912014819032488569950647413903626006989532892286607431091406062112189281195204473720312625846315502900092401818871920388127541477095722054052496131045/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y + 23861084801155657834785518472078770549323772931396199700543762938528229659448673479028336720791326453065172390778480944250870273998154344713653876836936069357650600298244575631841729609837934577799855348772753795695/20853432125349391739229042286493098389116108766026930321334509716869565284872985341021413772281151555242115528690757604812770005830478464370183555087995442464148876725331411333809004468484526140826917293098010321


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

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

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

# f Combinatorial flattening
{14, 31, -12, -5, 6, -4, 4, 0}

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

# 1 Loop Invariant
-899243462643232977900659836467897365339831141221789075486921268420472370002925872486503406345379682652877477887052524676329834848559318467840393104435038850361448243950890847349300030640268981980842115032842785963/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^41 + 91890889240372994737327820872534000007690683814889982111478264196051139724005371096983310301656297017914769835776308559016608936536763569348741856796769949993480514296286502535038544103234491142134544576483410320507/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^40 - 1325144456941737051711707074525939527021252197027228324840990836546728698463216777431036061532482920597445926927392187750914574965865731501012932415377029908974415897517180726773117104075166999879685388211478042417583/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^39 + 1667510069549015538401715524703253862705816390163552411178771405224296382822808647887853995337124225379010904419685923198872251737193159782778739173301609723467947433984003136055898742293380423133469543565889125070359/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^38 - 1394648252804116441728238862664123365792855103339519603578003861720412774245304065516041729674296799055952529585894530755649624784889383176506661414853075232435831677633761412951363573893455778780808076322822674144555/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^37 + 23872132845983938685883943992610587927054991158444586240533850981135409538228638776982946268315848997474692258997277644032101186857767607188075102888892181597867675376796230230852544498031936357220191603039293111634981/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^36 + 81213185698266599836719042848100919810332563132812290686428528431672811629049901937503440709827112286083031434254815509570882151479214622033253489382620677281099370061083810787447940399815610646095014856847809594908297/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^35 - 97195270377085920440127693777804116071366652331762931756845688689413538630903876546200641412358965584724049741899506600665053433066345136072596442426068945862074608847553723434716322438164986055096779381148069053756511/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^34 + 614377559901554284979269169769488505273017119986024024365092480224414210591749324073560981034534830833207088931437538183284392538200443710196636708394476639437624113318097642910515730502515364464136038074188596542195081/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^33 - 632790852977349722760287351169837122274955144536736174776496903658001049473488244081339639341862939280861013801451894276031629981805314702156056391858436534573575922358429119616206616964351319016106664339715677627915367/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^32 + 363273539311395523895228160054154954132923190851592810465657131101413498687963400466505111976083560680803717924864323684757790929917049362947829865065102758181822785232872181178934415720308611136899759253794966131086413/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^31 + 814072601388860695834418846525618277659752287562245183147124229071657914334551572001031361377075577559165164904241691887461652106967245633666387712654409483192571242161005754812019496806297889572366682655499246217827999/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^30 - 7518336330326445656892064526247111191330009838318102663030456768979942754004666959148250736223601944363997260051977443117247965641249728356915800259112469844959663056914420587835070590623539933188587774122742335845252705/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^29 + 1556095056763725208320981547129550643875693171122723130937763265440888762230434588077135778451009074834758560444596382729021544260753482603185201635439995726989674415769479302890440752608856608846572260977497581844964709/83413728501397566956916169145972393556464435064107721285338038867478261139491941364085655089124606220968462114763030419251080023321913857480734220351981769856595506901325645335236017873938104563307669172392041284*y^28 + 50445048344307156298388315118406737971143040036203334467980399440431175473193659591185627171611504885912371449383086238790095871701189624552259582394211505905777134446283801355207699226947623411778682560461524859389162379/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^27 - 217763032253804749852151274844315129452346793117762686260897850000702551981570165839190148868407114160058768281286735648564386010870416697012680135219141286571060318257746385293121697714679684492624695860395174944916901951/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^26 - 172522705587374673334252409662889879134135306311448571850136567633717324532745569667527271246435756945248588304772617670285836170604223450260142181715903286100395961027535715202258852662284176729387481530406997895166264591/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^25 + 948138424988955817736688278340283585393753001368942192991010243623543804780980707733934843403206721831503203311172324542517003760780991674164094294845067752536500659573694103227773752407612375925782321490674002120565719993/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^24 - 178376475514553790877972402212559526709798442408043135233042565958557246096629271317098105934910219727584720617729642400471448655274513312318776932866714713369187713528072617441585144777645051244805065908583386522825188477/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^23 - 613836633328912977104470201517726361573687364913223648775768855949608927261947501764192252309426105918173623176516270501189508999103440676573704675759513524229095900030213001085519239522640016507019541588337121234917682547/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^22 + 1240382440306106183301595101495866512263448922432374154594990245714530539682204842921962093569762455389606033158290322958970732037282723970729779787123935219887596814761862420562093724879415289583106783471830164243729258127/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^21 + 4310699292682633016180956543648422518188425763794088968170737835110270192046286874431253623365348654586095140612145125051612425631234836556214100668542427206079712537221531219524890835876192040516500775072269483117981907567/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^20 - 7368975181411412045729175859748983328046882020708466847603633236586491286240722051493620347967811938009146368504219788885493950502403859479170352567062313173752798546392349643981350755673790661322683257711485474508560787443/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^19 - 4858282751108868386834082861806887734306705884859981470764359952747052536928197197623135701764069672535219783931730234923219187498980362422896785009640738396457288605923832172960069207348087213618385223858762139476169256009/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^18 + 5470729202561628160314057675792983197603582968949962768115626271171742776939296782845439446408838893477115817713255272268304364325446083582234145866642817669819360750492509739705372411796478114440388114988834013274824828173/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^17 + 2770687488362556295237232923034486000338477074370641377906536132760833277200053766794981827200303104489512265338063877591195985455533209839269003077954410717816221557993278675374408147278072348809995141973959988995320123519/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^16 - 4554290293916019283303764392783661335986786539485004518361817899152985481847745733200176171879431937570712479226717478174225039106060951704297052604204555649877519882785376828611205788975709785345956272060330842576396366113/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^15 + 41571256570319359302727757794282736635832201616929874528720677431573978464110102822987801899789578927326869200596437682271320657064554122490682874246396847175157150846455066789880705831668914834902875019067924138695719179/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^14 + 2108354012979532806685806818988514624203708656762246386730764618809536883541718877873159000069254861213115675954909986651443169284161050289126762002658615281709078732353340109753339822469227731944263868190765572308794076399/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^13 - 513386009114455509801842320147151411179292857438461457228752690722235815273683701976638952452131141294462443105418513212429889269089371573781888733444800799592630283894908206541234222862895156878259237375989244741959912863/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^12 - 226202415293769954639583415751579823282455836323156724898603983922339819585285279344666571935406935238616330403014187749272120428356565831234088851134032195770307423090379527942052243990816772177442832600170152970186928693/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^11 + 516917802088693154700203313951560135683777632519648638818076951712087570733422536131709424473674125339351897640320405743176463321257208791729674093537565373189076347894957803900719678896562936966740708519758074663336123627/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^10 - 4885703228131742406427698836857886848903131456450480011203949872338556045022871230506152193770417414733350566431845967826236379464392193971134132124940314150889869728301838711934129565723885093328703137196798888742769447/333654914005590267827664676583889574225857740256430885141352155469913044557967765456342620356498424883873848459052121677004320093287655429922936881407927079426382027605302581340944071495752418253230676689568165136*y^9 - 90462786834679986928415628254129522113916885454421770612954216244916612803987631997971004779929724923301032799200821290063927831673351450983804279567634046459998750493874399958349158175181249734712910886273283622695100333/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^8 + 37259862788823666111990310938338744632309447283525005031772044617281727195405723645658714710333585574506187719892942000165300548401936639557617079644874236885571140701506932779674515120941385274071960460688772974732969103/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^7 + 1389472621457075805736166179082118759527451992294520332327530639639052160315226640391940021450103520320244724796613058532993033713308604732554160118682680930210204169823293720331766123058692850785118768307715668793883663/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^6 - 5400454472357741822799395896844179393282099640692234167456450161656032179042344403493180270883059147254712744483359086601693259408107637461454998285486996078759248590479133457012519971579951685677835780415502492524572805/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^5 + 256085305230089286155423562400312883571617792135497544664650320203844909496396951841444701692487119736222505333272953469248301858231154775130816893079862302311162427921153382372835418013951098173328549037960690463626109/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y^4 + 272269482438369521818565901063656818862628255206302713783229281381905944148709737695964288568651306984271559139481174017177718402580430711983742311464449307251037674635130274239040039842545035479353620831800786115965653/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^3 - 87169926720273964544562587833698520483864888853498193323735519069634475008166551884432421291043762978062450978552822339494527700163092501952028701395484226378617093520017802607674944649283053397543608281981488709964817/667309828011180535655329353167779148451715480512861770282704310939826089115935530912685240712996849767747696918104243354008640186575310859845873762815854158852764055210605162681888142991504836506461353379136330272*y^2 - 1040817062497239871620666554390691992496667319408534886408918318475358335185262690813410342046669464915512886174433428606435744824629730855419229497237240347317607761438079803859225938156325058691991750404717588359421/166827457002795133913832338291944787112928870128215442570676077734956522278983882728171310178249212441936924229526060838502160046643827714961468440703963539713191013802651290670472035747876209126615338344784082568*y + 129609031122712446395225783587699237772682928573836185769118812824427464285887090830477488149931433965373698031510098950293890051910727148859973861570436453844491728819445309183454411869831405065379560095040778696759/41706864250698783478458084572986196778232217532053860642669019433739130569745970682042827544562303110484231057381515209625540011660956928740367110175990884928297753450662822667618008936969052281653834586196020642

# 2 Loop Invariant
1908770371920384642325576032980095186078693554009698167953486562608350096854486798294617314957157283686915899819154879473321857180386094117874289704058503676585037091613056103041048733230681407809226919063567594771183929517247990220887660745203473694995513594390088815049395707917982538814021627674733286185417497402821196282217487303542890026730685233722422459646581413/951996242658743082935336799021016545320868160111321637827857831701933779976056837521011297620836662738775024088928274517713781116625039270422879451587450943809682980535831390458282123569578470350446741769860976277732884222986145863362380833830275543657866726302393397948140447611449668572984946306943654584845017734063217183239941303166655664859260457282446179470563635968*y^41 - 32120675502191262290830577222625897048602979724740865801708785833278531941161155608696196466886958778188629103885895307159270849040711079449323528826956603012434631584609830083820711153773818055876423548178003453225023072006287644180955134785607664343084158127967491207804370649823229079347526237237491614709828823219996891245595513609786974503002371077567807523521634517/317332080886247694311778933007005515106956053370440545942619277233977926658685612507003765873612220912925008029642758172571260372208346423474293150529150314603227660178610463486094041189859490116815580589953658759244294740995381954454126944610091847885955575434131132649380149203816556190994982102314551528281672578021072394413313767722218554953086819094148726490187878656*y^40 + 112266343305314518593550279244903869137887526425126174675496710321731477890088050393084034997730898708453266393247832534481361865671320163209760055405070545405182106787916650586777506400440866729585272813035432534732642518361581171357848679775386806686210916737733079643709363413306472990594757265139220371514359842179421792900199126027482645552715339574441854778045419209/79333020221561923577944733251751378776739013342610136485654819308494481664671403126750941468403055228231252007410689543142815093052086605868573287632287578650806915044652615871523510297464872529203895147488414689811073685248845488613531736152522961971488893858532783162345037300954139047748745525578637882070418144505268098603328441930554638738271704773537181622546969664*y^39 - 1039042595752360988061520993986381889635562188845137706722675947446779930647994330206819203767051599086262837711596491785546017858320774514777241566206450420776697569060827357815120119533734632319404606836156294155734730467189995772474315142469864525056685471685947637934552836511331672976266494079627926539283836673536746105169508342449135983601314304403104459205091007623/158666040443123847155889466503502757553478026685220272971309638616988963329342806253501882936806110456462504014821379086285630186104173211737146575264575157301613830089305231743047020594929745058407790294976829379622147370497690977227063472305045923942977787717065566324690074601908278095497491051157275764140836289010536197206656883861109277476543409547074363245093939328*y^38 + 2568443741149233775153376146351718101526628796951983017324040559545067562339760750427529644103584129279247164908048866505667407181000634722347948184403126034443051128992130411749563333924563969952475812334937682928891060125392631595388238908431424574329305193042722446010806409301876302706507543716902871274372136659852403837957465692723409532234827289773112270116562407649/317332080886247694311778933007005515106956053370440545942619277233977926658685612507003765873612220912925008029642758172571260372208346423474293150529150314603227660178610463486094041189859490116815580589953658759244294740995381954454126944610091847885955575434131132649380149203816556190994982102314551528281672578021072394413313767722218554953086819094148726490187878656*y^37 - 18996412591370147879649353584447551865449721369827302229742554156598091323727222296759839373161296630085935300931634699544357952650424391843093787802226673236039325821826808649023578063009860756825446520083220066794837070573055782696537663799090448792803341053242961138837959791275887380808522254101591215888633336271033863980639822116857137795239838717821822195782921740033/951996242658743082935336799021016545320868160111321637827857831701933779976056837521011297620836662738775024088928274517713781116625039270422879451587450943809682980535831390458282123569578470350446741769860976277732884222986145863362380833830275543657866726302393397948140447611449668572984946306943654584845017734063217183239941303166655664859260457282446179470563635968*y^36 - 100292425852219005047565600504270106321519645146810206713301538369214119766240803824534214923936019639752709432126685756034068688427206798698722962526374798933725193413644273112228671791378243297052618610651173017196832181551688688476202647770198201406869466407350102959943052073937947960067683505858132654575717704275451794184966897643801257656358878676727375092157398201853/951996242658743082935336799021016545320868160111321637827857831701933779976056837521011297620836662738775024088928274517713781116625039270422879451587450943809682980535831390458282123569578470350446741769860976277732884222986145863362380833830275543657866726302393397948140447611449668572984946306943654584845017734063217183239941303166655664859260457282446179470563635968*y^35 + 47632952802847930725564401455943273662022084853682370568727021881303882654080105644711890332413786362068970872308729479390709691693295800959053227596106366548273443137266456542491984475355432372223214959443170270626062543032958372708529835410450540912979216660251796287998568343760839543445595893800617543279702374835715805164176896255453227305264180502513845547374641578601/951996242658743082935336799021016545320868160111321637827857831701933779976056837521011297620836662738775024088928274517713781116625039270422879451587450943809682980535831390458282123569578470350446741769860976277732884222986145863362380833830275543657866726302393397948140447611449668572984946306943654584845017734063217183239941303166655664859260457282446179470563635968*y^34 - 300489497645281758715901198101137804396177334239758237765489200482992630433554196265847783059760966438355868983498270160481916267121341255344846528806023408650200766431254358770532142563691566585213703021329647809622335880637317181448880549916906006572520792064648900467053874046536842721805331257538292793871879518791343206719728671404482555177007896186650598319491401971779/475998121329371541467668399510508272660434080055660818913928915850966889988028418760505648810418331369387512044464137258856890558312519635211439725793725471904841490267915695229141061784789235175223370884930488138866442111493072931681190416915137771828933363151196698974070223805724834286492473153471827292422508867031608591619970651583327832429630228641223089735281817984*y^33 + 711814820385675838064541049225666708736265653801330102614465012395948132346318274748801972617366978049249041703626096497132403271450835066433056853216698365911065594592065549281563019780170380952655250279074587677261589229729795964999577476178370565780702797302147014026422187044652000154199549463052635029117293212090927214194738912045039043266176880180706082439947351159/708330537692517174803077975462065881935169761987590504336203743825843586291708956488847691682170135966350464351881156635203706187965058980969404353859710523667918884327255498852888484798793504725034778102575131159027443618293263291192247644218955017602579409451185563949509261615661955783470942192666409661343019147368465166101146802951380703020283078335153407344169372*y^32 - 9585280369246722827825632805770315338620519869531599732239883730172672000504248516450721822091337009021119109087900824881487813084899147731803063756592611317298166818453626591141227340578731597287196630526069310287988664044816081045993834819172389843842767010713603584181199944631439526433730634958836576155125509753752379265027899024865832544169526387591636559306835569461/11333288603080274796849247607393054110962716191801448069379259901213497380667343303821563066914722175461607429630098506163259299007440943695510469661755368378686702149236087981646215756780696075600556449641202098544439097892692212659075962307503280281641270551218969023192148185850591292535535075082662554581488306357895442657618348847222091248324529253362454517506709952*y^31 - 641276302233376689405152115560984395127660552948707638810890878151071686116909173163372158404900742822579976296061198111895010603603018984902016602417019648520732605463252418872613520924269097530864275073114920801734726789911949562307664273476452667558554192990891382429120311486289534051554590547388648655654726522075895493726601123061619952668944557980082273722670249078729/79333020221561923577944733251751378776739013342610136485654819308494481664671403126750941468403055228231252007410689543142815093052086605868573287632287578650806915044652615871523510297464872529203895147488414689811073685248845488613531736152522961971488893858532783162345037300954139047748745525578637882070418144505268098603328441930554638738271704773537181622546969664*y^30 + 46835006926022779497659391052001138193385336957417725815725704466962916134094343509844016902843970806162812963036710991840141624605771485980232359275072581020497424441736406561933880995185196542469792020955098654885906638939777679192090979488302691322354790549434602346250536706361450317536703181500979490092102280378065320189541619506848265030652895156804371058182583558143/1619041229011467828121321086770436301566102313114492581339894271601928197238191900545937580987817453637372489947156929451894185572491563385072924237393624054098100307033726854520887965254385153657222349948743156934919871127527458951296566043929040040234467221602709860456021169407227327505076439297523222083069758051127920379659764121031727321189218464766064931072387136*y^29 + 1328017593143190419052493159329572919664118294865493687390464194013661461718331737669849295522806896053855473566680436777340648792893115781291985620890838454269078098179201881825149740397107858038448212717488889471882044654835536320443780675156218638779202037204413463399436157980477787788197916069346155814365162084731601094880782075245887944608201252314196141280027876626513/237999060664685770733834199755254136330217040027830409456964457925483444994014209380252824405209165684693756022232068629428445279156259817605719862896862735952420745133957847614570530892394617587611685442465244069433221055746536465840595208457568885914466681575598349487035111902862417143246236576735913646211254433515804295809985325791663916214815114320611544867640908992*y^28 - 111186896772380018741445544147410629845417054916685574907261293967289518556278141783061253959542787432026556917693095422037552738318258013868510599920191290743186702642965608482078654207613070108161231380732556992252487969002841347319582366354743244898034032427228187768028745928102553995908540251101180520477175488200105791578336973525012339269393616821338720614080404740412833/951996242658743082935336799021016545320868160111321637827857831701933779976056837521011297620836662738775024088928274517713781116625039270422879451587450943809682980535831390458282123569578470350446741769860976277732884222986145863362380833830275543657866726302393397948140447611449668572984946306943654584845017734063217183239941303166655664859260457282446179470563635968*y^27 + 164974197919685097755591135991976682840797894524271330822109598918014062449581438121217370723897492591846954763760869024108114464439142480354807516264900250137391021321342834214111185468739301284554447300385883545559703819696672573447076159426300338991431451584998551294620835213702896251699351191822779851043125411488437166629723573511436832339636497152239102443913579944771447/951996242658743082935336799021016545320868160111321637827857831701933779976056837521011297620836662738775024088928274517713781116625039270422879451587450943809682980535831390458282123569578470350446741769860976277732884222986145863362380833830275543657866726302393397948140447611449668572984946306943654584845017734063217183239941303166655664859260457282446179470563635968*y^26 + 44262942808262237845225449267825656791260425388819015456215815107959074800865331231766072201183618705515263800533791069959469026308817014194220364061768543886443916332233301187409584682445160993103896794295803468559086567507591783564457377546392077810489388673691294896048283801348146168269855429630146456314756427512338943948010338254656521697051062458969181952823901355238353/135999463236963297562190971288716649331552594301617376832551118814561968568008119645858756802976666105539289155561182073959111588089291324346125635941064420544240425790833055779754589081368352907206677395694425182533269174712306551908911547690039363379695246614627628278305778230207095510426420900991950654977859676294745311891420186166665094979894351040349454210080519424*y^25 - 867655780358550064369778475806807467931700184437444473495327833352594151027989617149587505280174927768144096272994768844070476371809021486831066460172898791746685170825620086294723361777242110129070514782136872115122836615770877265589844735105520659474366573610940626901635961755988617230128906983759184758442101733188688039260116715229560601653469268286276176697769622540665145/951996242658743082935336799021016545320868160111321637827857831701933779976056837521011297620836662738775024088928274517713781116625039270422879451587450943809682980535831390458282123569578470350446741769860976277732884222986145863362380833830275543657866726302393397948140447611449668572984946306943654584845017734063217183239941303166655664859260457282446179470563635968*y^24 - 98607094977206048645031012476874095087473143057643257158631615463765003422433088146920019373095363777143353657688592355350925717128040785197882323168023362060436196280580303980036271907117481418797945554168311591199182370380326368004458848716351661642083927259798380263736436103001053575890455123342610859200947371408941862035959827034318176805443966701643708667981074330496323/237999060664685770733834199755254136330217040027830409456964457925483444994014209380252824405209165684693756022232068629428445279156259817605719862896862735952420745133957847614570530892394617587611685442465244069433221055746536465840595208457568885914466681575598349487035111902862417143246236576735913646211254433515804295809985325791663916214815114320611544867640908992*y^23 + 81139605025894764202557435660236463251291896957615056939542388447785230212384407966659316732418959747435257541732480306272879173525527186555574882046759316388113601313873289530255923898861955225250958423891612892770105769936081466978308785125617087539594447094127023088284085597144713100650157665741552046223334082849170883906551489671386679751310426257578881361580170114640549/29749882583085721341729274969406767041277130003478801182120557240685430624251776172531603050651145710586719502779008578678555659894532477200714982862107841994052593141744730951821316361549327198451460680308155508679152631968317058230074401057196110739308335196949793685879388987857802142905779572091989205776406804189475536976248165723957989526851889290076443108455113624*y^22 - 1046603272201530353363059815544894654022522824149891295238624117686703912258443290611307231804952892004564662632719849606918492444723866071816433282362314647608179458106530571180457939616353397919519824332889988412763048346395055565036989695147319466174475287997298431965295070690286659932438604833202483074343883695800183958838113967936341401907086009596979769337565898292412543/951996242658743082935336799021016545320868160111321637827857831701933779976056837521011297620836662738775024088928274517713781116625039270422879451587450943809682980535831390458282123569578470350446741769860976277732884222986145863362380833830275543657866726302393397948140447611449668572984946306943654584845017734063217183239941303166655664859260457282446179470563635968*y^21 - 5839797186761352841598413250190856996822885895181759854360680265524981105342667768013025889471775566518346129866445879592876098740664447149412814701299701278144891781829064119749272482432929101677550352845479644858690022422631275396076578676760059462244956991133377394994355624054698313302750758184474908777662895470301905168190049413546827086038777810560468276095733542089735281/951996242658743082935336799021016545320868160111321637827857831701933779976056837521011297620836662738775024088928274517713781116625039270422879451587450943809682980535831390458282123569578470350446741769860976277732884222986145863362380833830275543657866726302393397948140447611449668572984946306943654584845017734063217183239941303166655664859260457282446179470563635968*y^20 + 226766629816601588413660801273642019210662885726270539997848182322667991701196364676709731495760981850111146514830477433543150838286566717380714955251784609242869816373338275881798824739945653314863319017910104015291188123526217283779141066259786638512228809460155769609969861516246352492495655007167377438622662571456674408754530554433506899759184331726153961839816131691634151/45333154412321099187396990429572216443850864767205792277517039604853989522669373215286252267658888701846429718520394024653037196029763774782041878647021473514746808596944351926584863027122784302402225798564808394177756391570768850636303849230013121126565082204875876092768592743402365170142140300330650218325953225431581770630473395388888364993298117013449818070026839808*y^19 + 579144152917018900322798166094725101135712753754434124898892634658664034111184418683235642492951930850585558047326533460486565347588508573372214633997000952809087385908306790538062125669684037243090350918563087293907109011859773432594255740450132865952609606847768576136448003592117865853952492796839418878571634478805282767325170212394854900561804620712358590671538490761666321/59499765166171442683458549938813534082554260006957602364241114481370861248503552345063206101302291421173439005558017157357111319789064954401429965724215683988105186283489461903642632723098654396902921360616311017358305263936634116460148802114392221478616670393899587371758777975715604285811559144183978411552813608378951073952496331447915979053703778580152886216910227248*y^18 - 1083831562857909922184062382891405867985880503377918975892225253922341719127058693444486635351897849829533255827117336767871057210180932813998324141167950685431626070812706360535528025164297135451786682276838381243579920157144238235721571939607724849780606559914079354386823933140768608076523569314776101319292149442070815100414669887780329679623016454602060994793000570053158911/135999463236963297562190971288716649331552594301617376832551118814561968568008119645858756802976666105539289155561182073959111588089291324346125635941064420544240425790833055779754589081368352907206677395694425182533269174712306551908911547690039363379695246614627628278305778230207095510426420900991950654977859676294745311891420186166665094979894351040349454210080519424*y^17 - 4574973046952329122520152775048169218243110919883530456562018104534729490475833607321656091354701440613556771898792748972505211698823495316496461823235771213034434947668040893398444152866033800676131121177008349043406831833400709832506732846130356101309279936354629389127603340871595577309789476016155816668179336124181729013975182213695390394413743651743233045144867966838211459/475998121329371541467668399510508272660434080055660818913928915850966889988028418760505648810418331369387512044464137258856890558312519635211439725793725471904841490267915695229141061784789235175223370884930488138866442111493072931681190416915137771828933363151196698974070223805724834286492473153471827292422508867031608591619970651583327832429630228641223089735281817984*y^16 + 3265375003799804703319465859826397488024859439899896953821570444964461974615191470483504279800806089558176024673454301081162854349529333052998697643273649062840142587192605710911946158761773632848325650255370671735719678733119923164445822258267690097752841927242291856520265834892586399417798573495321483534101940106817189901486664129595600404012731445985142549507127983800550699/475998121329371541467668399510508272660434080055660818913928915850966889988028418760505648810418331369387512044464137258856890558312519635211439725793725471904841490267915695229141061784789235175223370884930488138866442111493072931681190416915137771828933363151196698974070223805724834286492473153471827292422508867031608591619970651583327832429630228641223089735281817984*y^15 + 853024171523443810811566372944487621290518853136856279352749258324401607980406031494274276791764348944591235999498183460511051342909583804619052797339576393347902882788895158578970421748106768345002223352448073678528767272505997846591742883958558858387563978864099557964759211901549892902941479499993334907977002691095614397006244170957101379048456972425672428925307947323482317/158666040443123847155889466503502757553478026685220272971309638616988963329342806253501882936806110456462504014821379086285630186104173211737146575264575157301613830089305231743047020594929745058407790294976829379622147370497690977227063472305045923942977787717065566324690074601908278095497491051157275764140836289010536197206656883861109277476543409547074363245093939328*y^14 - 242160272718659754248317920761666696894809254619473357881320851290810149915107239197143251410102430017892280965032105034691770017080841087590281148598851385485161657646144353535548040128128497016043880389510072983529807231813060691879042824310997781811563125859351688237299216486914294476714507684418730150243363180217870974214292616090766963108695907621158616036979287890603443/67999731618481648781095485644358324665776297150808688416275559407280984284004059822929378401488333052769644577780591036979555794044645662173062817970532210272120212895416527889877294540684176453603338697847212591266634587356153275954455773845019681689847623307313814139152889115103547755213210450495975327488929838147372655945710093083332547489947175520174727105040259712*y^13 - 231729033842992359354317696692471120759909532698949913301918778142416082459624797492310246950525192403306323416083617414583463454364932933710716190778133297061271199285930273192063707706571860324618455917531794712769447805684659024725698399665199365576743792464068816492455980841276654516237398361355206824876991265087023726160322871096622139718912008108761254577077934664886061/158666040443123847155889466503502757553478026685220272971309638616988963329342806253501882936806110456462504014821379086285630186104173211737146575264575157301613830089305231743047020594929745058407790294976829379622147370497690977227063472305045923942977787717065566324690074601908278095497491051157275764140836289010536197206656883861109277476543409547074363245093939328*y^12 + 357868679716187291417092703904566822128881022425437923704952223978133291290014530581340804906864156926891921570695000572837029964496844468094004011469052082812093889669197795050970733551649615473122556965691501710000504967085747168154742611698203748481363533930714423640475759603976296398443365828778958457531478440797193789455875815966219801954141278700021492832017791543476913/317332080886247694311778933007005515106956053370440545942619277233977926658685612507003765873612220912925008029642758172571260372208346423474293150529150314603227660178610463486094041189859490116815580589953658759244294740995381954454126944610091847885955575434131132649380149203816556190994982102314551528281672578021072394413313767722218554953086819094148726490187878656*y^11 + 4490981222029395364035609080972707211593470538007146822555091908750262864518307373614130588387086056296750681328615692976896128004055729239772258847895409806657046250326439928812048164689609269840933061413155760127559795163779427931775503474306901250398581820880705578738170816822011110612826494096972374876295449043168731045768055432970418087934054077013887646145683426869577/79333020221561923577944733251751378776739013342610136485654819308494481664671403126750941468403055228231252007410689543142815093052086605868573287632287578650806915044652615871523510297464872529203895147488414689811073685248845488613531736152522961971488893858532783162345037300954139047748745525578637882070418144505268098603328441930554638738271704773537181622546969664*y^10 - 185985884611279393635364166508056093280751037450813587767932415303191309547314846085845888303063168116644101607540136929399753158561017691760848482692262382197558700730184494167164908607955052643449783746709853351998970111395243532085203403891879464094058737059682298591936319124107202651191357183593447991790245662682510339966723222983122432215216207029388666599229454535057511/951996242658743082935336799021016545320868160111321637827857831701933779976056837521011297620836662738775024088928274517713781116625039270422879451587450943809682980535831390458282123569578470350446741769860976277732884222986145863362380833830275543657866726302393397948140447611449668572984946306943654584845017734063217183239941303166655664859260457282446179470563635968*y^9 + 60702051861562634766587657842907140839137357134752853373476109442096586394725785029589998476697507627786971685106073830692536886597127848005982761227583259509324166790869878333250456321761219227198909961014163582555828600078817342624230150905221755204150097171742290900026869325136989992651374346366970855553376180527803584101939247929960473478723998133643767971219242866511133/951996242658743082935336799021016545320868160111321637827857831701933779976056837521011297620836662738775024088928274517713781116625039270422879451587450943809682980535831390458282123569578470350446741769860976277732884222986145863362380833830275543657866726302393397948140447611449668572984946306943654584845017734063217183239941303166655664859260457282446179470563635968*y^8 + 3113905922848082600980833331608351371778382293533819516552689041172428923904006402208740956336740277008592007316933833235865907749598633197609512876354497604705691344940797023999591382754374734368708101588050617406220661663224177380600382300858145613960642463682559111890693893711308992408288530732646067404882185241230352445661491688220760046647976815541102387133226352373919/317332080886247694311778933007005515106956053370440545942619277233977926658685612507003765873612220912925008029642758172571260372208346423474293150529150314603227660178610463486094041189859490116815580589953658759244294740995381954454126944610091847885955575434131132649380149203816556190994982102314551528281672578021072394413313767722218554953086819094148726490187878656*y^7 - 4817090325079249869997125872121479270700341314119933188329931118841244530626798665182185753869280066396017763693402791637989503897656715973419866988604669501899432354332311629276010680088048384803186593951715690454926938113848140916865837600144609715355609746783993949905494993782887324091379907803147347372106084136665088614451231829813853695663088760433941099004331540871619/317332080886247694311778933007005515106956053370440545942619277233977926658685612507003765873612220912925008029642758172571260372208346423474293150529150314603227660178610463486094041189859490116815580589953658759244294740995381954454126944610091847885955575434131132649380149203816556190994982102314551528281672578021072394413313767722218554953086819094148726490187878656*y^6 + 357093252593204817313843111708957571257018208681799396274888028145829320424321054225355062383857962926548546865340816700329821787422571336898026822600974144483553689709583996727877683178620019579488979635352017595083777760869079073743265326397530255724805445785652551769404551569294875893257011605970687277322438465005089913170191066272360606870673202929393961176746020320403/158666040443123847155889466503502757553478026685220272971309638616988963329342806253501882936806110456462504014821379086285630186104173211737146575264575157301613830089305231743047020594929745058407790294976829379622147370497690977227063472305045923942977787717065566324690074601908278095497491051157275764140836289010536197206656883861109277476543409547074363245093939328*y^5 + 1472761840950174494033597989379602509699365651727493515065122818408839953575521935240117052843196306024251280033368270430893347246413527580023598545362968371151064587527302838180642081284097047526570610241114496780627202517639627638808850144313715635470645518861527420097929452653138314891648003573988190636752477587400045727070919342199342918820537273851642585947056804601111/951996242658743082935336799021016545320868160111321637827857831701933779976056837521011297620836662738775024088928274517713781116625039270422879451587450943809682980535831390458282123569578470350446741769860976277732884222986145863362380833830275543657866726302393397948140447611449668572984946306943654584845017734063217183239941303166655664859260457282446179470563635968*y^4 - 118097080220442828839682040050707625376164523633620638868185899507137799110324023685030702175165163698002170641887239372350750894833677888617913611318469675664718210262761361482234490993018019279783584328601337136753746507884864569784893357676555153679284709249553984917339418589828300655575454735911657574327447930276393721010541872586103489081798670801582196188151359501683/317332080886247694311778933007005515106956053370440545942619277233977926658685612507003765873612220912925008029642758172571260372208346423474293150529150314603227660178610463486094041189859490116815580589953658759244294740995381954454126944610091847885955575434131132649380149203816556190994982102314551528281672578021072394413313767722218554953086819094148726490187878656*y^3 - 7417438673339073034121178633544231246227127814002166673567078457604923553641472906048163258742511588711176370984250635571325305821068780110078196827673090244157864897694572410659009155311748350633859170092568280693200557984608579290602506720361836483273497348435843426800334867701472964668961832208605700140752921255391645375981752958480720071736460129003061120620172516627/79333020221561923577944733251751378776739013342610136485654819308494481664671403126750941468403055228231252007410689543142815093052086605868573287632287578650806915044652615871523510297464872529203895147488414689811073685248845488613531736152522961971488893858532783162345037300954139047748745525578637882070418144505268098603328441930554638738271704773537181622546969664*y^2 + 322129496754978455038420192810348292737008515946786460645476865827228511088137714873034187401943648497423703948417344336669462243093160199576323974492208421914808282363775495349722510521432580799569238771700361231752507895146586142323663260400016036996294129801194789975070065220287306273578507685734394607975825852223702392867638390365495933650949774492328561519669509627/19833255055390480894486183312937844694184753335652534121413704827123620416167850781687735367100763807057813001852672385785703773263021651467143321908071894662701728761163153967880877574366218132300973786872103672452768421312211372153382934038130740492872223464633195790586259325238534761937186381394659470517604536126317024650832110482638659684567926193384295405636742416*y + 338294370415390582014735267920599596014688522944356162779654993434526664390690573637442165623577313766463920898107691671513919726513609395969880277967139132892190305193539406903470899037100852275123988332919537441609696697574286706561869015993168960936352562748665160349786685350173839329860454388842697791969539249374096805329889180588525599768970181634848310805551206571/7437470645771430335432318742351691760319282500869700295530139310171357656062944043132900762662786427646679875694752144669638914973633119300178745715526960498513148285436182737955329090387331799612865170077038877169788157992079264557518600264299027684827083799237448421469847246964450535726444893022997301444101701047368884244062041430989497381712972322519110777113778406

# 3 Loop Invariant
505357298925491479437057905289080817216323008032877759768418075913479946592202504077076685390050679393495300747588205939234958695754950342155552934772652627713552563546944843474600421151176793107738252783833686524044953051182603195171078035572801741574476764849981505800054217981508487334226450684799077313614224614731063027393001649292956939173752204019852573092795057459710401834419637752967120897709330652239410713308787016062167135962488771047/611648935190364404299385676379001148239006836203182285942932949150575473218770597632823983841948528990001780350998694812622917782323603243852606797131182263627604492064203845755207697815448767154636134269015515865624301242882268787286380459421538248659281306540970743320438441751458516462216148695495736446335049474008591051001155851151922460461309035480792713021214865340591261675235590949833590978102575260066003782540086246309611699793823392117824*y^41 - 14657767412499468622855585199093759038268991239929316807006158725530246108558681669836477635517035311163978295714394975914226168038262519171051818945520944066239265653351516872207369782177199580530140358988076945972414750366630173106169736965670802648321250503647077828983711258902601084234133164310804385004536592602809826974587317883200157389104020109387806904022331175043014460389534970295002807333633260891758915136665534629013327414196869201445/349513677251636802456791815073714941850861049258961306253104542371757413267868912933042276481113445137143874486284968464355953018470630425058632455503532722072916852608116483288690113037399295516934933868008866208928172138789867878449360262526593284948160746594840424754536252429404866549837799254568992255048599699433480600572089057801098548835033734560452978869265637337480720957277480542762051987487185862894859304308620712176920971310756224067328*y^40 + 363736425981869363071742390141516048031593744644156223506088754195744916326062903742211015173133793520008076421108540441629559797526605451579518559545428229643441249379325823233456525966000560325796565004462478256627220204077759003834398954217256980125409537591227279717521163888681232301906243153975317468521809941074769734751721164183264504067917471398058671730252174081650745666374080288276185904943335560718253770414486966312251102103417951171303/611648935190364404299385676379001148239006836203182285942932949150575473218770597632823983841948528990001780350998694812622917782323603243852606797131182263627604492064203845755207697815448767154636134269015515865624301242882268787286380459421538248659281306540970743320438441751458516462216148695495736446335049474008591051001155851151922460461309035480792713021214865340591261675235590949833590978102575260066003782540086246309611699793823392117824*y^39 - 7005188082306102415791377808395967652447361179776226782098934541065074036647243525820291659592838670340036851349807486960366229409795143554059488996512645288025063759093293239062190059140899185153933548493944612145854247149246824207571016371729945651146506302046124312904197198869889302072665791117319383805542176163089379221718176195493666909738193423623274508792996592114615407315040218756321412420956045239605728321391980241654452596185096378713255/2446595740761457617197542705516004592956027344812729143771731796602301892875082390531295935367794115960007121403994779250491671129294412975410427188524729054510417968256815383020830791261795068618544537076062063462497204971529075149145521837686152994637125226163882973281753767005834065848864594781982945785340197896034364204004623404607689841845236141923170852084859461362365046700942363799334363912410301040264015130160344985238446799175293568471296*y^38 + 10134697695368424135945443673733472006353591607860833729923378828657184966375980559262548696926073714747891015939019276737956013186764337917927222547270324669748148937974088709205322222076488065942619609415332817418473680525336155089098886275953431089350091295259694185028503506008137914729709360347191973774808680575236929950007021478769075117665148318935846806041662149443795153413450579310333239251669184490738835226470112653317328855301803243177631/2446595740761457617197542705516004592956027344812729143771731796602301892875082390531295935367794115960007121403994779250491671129294412975410427188524729054510417968256815383020830791261795068618544537076062063462497204971529075149145521837686152994637125226163882973281753767005834065848864594781982945785340197896034364204004623404607689841845236141923170852084859461362365046700942363799334363912410301040264015130160344985238446799175293568471296*y^37 - 23158563599342668601813251200359141927381920499139424267296995618634550521132484107783482655623162631335694123404543125141108779768013516455879000710175054158081985131670019468338482317499195728121600814176433462252833590128901892754423957214503773034135530660597366232241270723998766237925989479508132761256421613381285612598479484445192420164981747823799442676569021938581671094556433936683758547836688868268964297662950878637045543542946035098456079/2446595740761457617197542705516004592956027344812729143771731796602301892875082390531295935367794115960007121403994779250491671129294412975410427188524729054510417968256815383020830791261795068618544537076062063462497204971529075149145521837686152994637125226163882973281753767005834065848864594781982945785340197896034364204004623404607689841845236141923170852084859461362365046700942363799334363912410301040264015130160344985238446799175293568471296*y^36 - 14203851920581816055784900084838565209980703482241559353836392737383946677796318779285672740653840026881271133268028245116740828224429919368477874771888184334622391263337929899911848939139624882740851200236975586015099267702770153717328390249988308771381457162280472283450357792224658309780848990318692978426452116766659395767896623849562287288425894799502979322988935787657884392031335729601506647359742690663224128807761487152718374805455770653118375/349513677251636802456791815073714941850861049258961306253104542371757413267868912933042276481113445137143874486284968464355953018470630425058632455503532722072916852608116483288690113037399295516934933868008866208928172138789867878449360262526593284948160746594840424754536252429404866549837799254568992255048599699433480600572089057801098548835033734560452978869265637337480720957277480542762051987487185862894859304308620712176920971310756224067328*y^35 + 76823350008655466870737549725546876774966712342092574893925980648502934887077567655793108657264288383908210015152029917126411828145333465777266780157073230842241782983754723900419750624143784910860669222521240433985363846204356625199541954541551422006791377051443532383855462707076510748596966688751501122414122686605843970156663924112598859462455519773016497117879600047571913752160153139524694913101037408871296184380445735786488487414260252497130819/2446595740761457617197542705516004592956027344812729143771731796602301892875082390531295935367794115960007121403994779250491671129294412975410427188524729054510417968256815383020830791261795068618544537076062063462497204971529075149145521837686152994637125226163882973281753767005834065848864594781982945785340197896034364204004623404607689841845236141923170852084859461362365046700942363799334363912410301040264015130160344985238446799175293568471296*y^34 - 660732430728757729559784355983486318021251138641665313389689365293317165626432849162831472420826276330526619254875261206589130586985604157356462646324138597314540332714134664991430077794272974454556719133799713351586558084217776257189027797444641276281162917412203257382199404044628386126527956027489338361411148426944626450895613681614993186157878439125182129984671382651758912778078769767591481701113140570312425487682438543868409602128095180102542269/2446595740761457617197542705516004592956027344812729143771731796602301892875082390531295935367794115960007121403994779250491671129294412975410427188524729054510417968256815383020830791261795068618544537076062063462497204971529075149145521837686152994637125226163882973281753767005834065848864594781982945785340197896034364204004623404607689841845236141923170852084859461362365046700942363799334363912410301040264015130160344985238446799175293568471296*y^33 + 299564463237804023536259443853243136198919892146625696576064670964122748651968335961546101684778224151347422456268727346066721874025686993821445627052636156786363046207446375028816063755751891316836159751913581897089634987623780551034620289781744357171230705144104784962510990694793504774298891053575895753761682055421321929678667744468543490129732385061013487414734337160033142539031266074621825678656321338144015687339128782410797602828413330957450539/611648935190364404299385676379001148239006836203182285942932949150575473218770597632823983841948528990001780350998694812622917782323603243852606797131182263627604492064203845755207697815448767154636134269015515865624301242882268787286380459421538248659281306540970743320438441751458516462216148695495736446335049474008591051001155851151922460461309035480792713021214865340591261675235590949833590978102575260066003782540086246309611699793823392117824*y^32 - 1205350261620125064752829094748800493806404259449987345452816563643129342948069814705936615074967047462587311477354877911102927611991426128193489300318618780595558972148420538693131012921384206457565684315713407824983105498368860916826868440303533014871651140035203642496234273582422544346148083926667652631913676639146944616305078399531824894369930579584864520540551290460796963893503738061990054560285405391818258319992720474433987253318453281626209799/2446595740761457617197542705516004592956027344812729143771731796602301892875082390531295935367794115960007121403994779250491671129294412975410427188524729054510417968256815383020830791261795068618544537076062063462497204971529075149145521837686152994637125226163882973281753767005834065848864594781982945785340197896034364204004623404607689841845236141923170852084859461362365046700942363799334363912410301040264015130160344985238446799175293568471296*y^31 - 7769786469835835833509229189306510280298425038173169498498486387950568274175575926208851437248337088696102137393939028478392516636110618880251305276609510872707151644224081208421474762785150274413062035935732142656484363137044184703242137626565250983956016970911122012457819013837786472362480899101645012511198405951886461836241380538598031095445693950194511049062685380498395031095692273649830573460342648373058023329171241267700530188959656869638978699/2446595740761457617197542705516004592956027344812729143771731796602301892875082390531295935367794115960007121403994779250491671129294412975410427188524729054510417968256815383020830791261795068618544537076062063462497204971529075149145521837686152994637125226163882973281753767005834065848864594781982945785340197896034364204004623404607689841845236141923170852084859461362365046700942363799334363912410301040264015130160344985238446799175293568471296*y^30 + 7810605664790392423508470456631797758476594279334111909690728701681411421140468004879021145153769111163673093707455393835194316349601541381931258800875451706218035288325009224614296561192532121497935829140769415069978686945887390156549647277392019315190824449811097290071791982243370911604268827113735817175795185243066938253140070359933589721963507959748199117213054990019856954763843671646152300921573795161654426134696708725039287519515344202762143887/611648935190364404299385676379001148239006836203182285942932949150575473218770597632823983841948528990001780350998694812622917782323603243852606797131182263627604492064203845755207697815448767154636134269015515865624301242882268787286380459421538248659281306540970743320438441751458516462216148695495736446335049474008591051001155851151922460461309035480792713021214865340591261675235590949833590978102575260066003782540086246309611699793823392117824*y^29 - 3206743176736863972668257895764204544590438259348394598075230810998174473732972941688054233077192793817472266818191039975613035845157466681498854923926954343096197444947161911304780272159453802686413496864221706379791627085946626442483360410560135929879017272362203546499252807273603977841563233528269107500269967880403725464815688140865969304432602500325493149908621245527495593836623950484655783551264979366613619197920542341025081195439107785769424697/2446595740761457617197542705516004592956027344812729143771731796602301892875082390531295935367794115960007121403994779250491671129294412975410427188524729054510417968256815383020830791261795068618544537076062063462497204971529075149145521837686152994637125226163882973281753767005834065848864594781982945785340197896034364204004623404607689841845236141923170852084859461362365046700942363799334363912410301040264015130160344985238446799175293568471296*y^28 - 115701400090332668139573347669912124705176905294380928007414766021999323516507202643012757486366588808712841576265535926947562792929771997289589856073658234514907537313257412725352142841785382833773306094379764032273119367502046214060152687355100993252331379954799870591736536147519392088460033923754377294714940059846482604216366197964641031352885398111135181981539405408877749157199576678288119748943217211863849563086248234250553031578723784350476838901/2446595740761457617197542705516004592956027344812729143771731796602301892875082390531295935367794115960007121403994779250491671129294412975410427188524729054510417968256815383020830791261795068618544537076062063462497204971529075149145521837686152994637125226163882973281753767005834065848864594781982945785340197896034364204004623404607689841845236141923170852084859461362365046700942363799334363912410301040264015130160344985238446799175293568471296*y^27 + 206023787437072697263244680849750785247297253134872927566486033599742424351178743625614779238814249045669352165208782028011986369600993769326428663670519550034503621300378323020784951173392759208410456942748015774824347190570577796893861740624375775982688303602793270766886784812463846055906309832706984603826207415078794967840594366360684074464185294739850999285585742117554312573911410348086419307060514640385012210134728011496998782242653326248535910491/2446595740761457617197542705516004592956027344812729143771731796602301892875082390531295935367794115960007121403994779250491671129294412975410427188524729054510417968256815383020830791261795068618544537076062063462497204971529075149145521837686152994637125226163882973281753767005834065848864594781982945785340197896034364204004623404607689841845236141923170852084859461362365046700942363799334363912410301040264015130160344985238446799175293568471296*y^26 + 267596370649201030207111473234882507558494382315264650844941764797222628397252624759306431906154162980975441055931033487563347248699345728308885897218285304978747659922687083122562568778620998810837946749711069843252251003897673549063635779167359901451017271895105519780524675740735601827937642047134134026881893623795389274917570439326639622252632145384530868631182785709200009364497823249949159162047996622844278600262969048629332572605388072227791934577/2446595740761457617197542705516004592956027344812729143771731796602301892875082390531295935367794115960007121403994779250491671129294412975410427188524729054510417968256815383020830791261795068618544537076062063462497204971529075149145521837686152994637125226163882973281753767005834065848864594781982945785340197896034364204004623404607689841845236141923170852084859461362365046700942363799334363912410301040264015130160344985238446799175293568471296*y^25 - 983945617947096880190068886259770550573665195822096289395789777618053570631953673632590931140019613202950622458594635255937525450104042652563419618317463921561924271697245234846622717746696085258387593868753968727295556724664588974678592341489020426938181102811767118564381006003379590335113671422136519568534560100389856125788278306979929230901992904570680395285755289072963047910284067879777258617640788361800266059689166649821631561328304099566126917385/2446595740761457617197542705516004592956027344812729143771731796602301892875082390531295935367794115960007121403994779250491671129294412975410427188524729054510417968256815383020830791261795068618544537076062063462497204971529075149145521837686152994637125226163882973281753767005834065848864594781982945785340197896034364204004623404607689841845236141923170852084859461362365046700942363799334363912410301040264015130160344985238446799175293568471296*y^24 - 20077835487882788170198856127690152581040662851618746714576785557090781948971538473983181221284871415316065358018524373545544117739188588102185661001042334478993591707538852478093285449110968462638942561992538735793512144890782032656451393906940489378166034572906851863244182378198298418297629737740762474549057299438376699604275758950145893065359376883712090953308276591776990431734475644585834145872148442869753127160820762957247083962185732818741329983/349513677251636802456791815073714941850861049258961306253104542371757413267868912933042276481113445137143874486284968464355953018470630425058632455503532722072916852608116483288690113037399295516934933868008866208928172138789867878449360262526593284948160746594840424754536252429404866549837799254568992255048599699433480600572089057801098548835033734560452978869265637337480720957277480542762051987487185862894859304308620712176920971310756224067328*y^23 + 1375663617420550673053023924050089568524360127071752596821989187913872775315675517385618556090574750234754802342551990059414664143552625877866346514177579297386130240423339617095319892772071494283268820994417179982948155410001875445047397279255489050842130090219953263661177253068751622305123847005483191325141837737978514667949666276743400471355884555582911905682119329376727776607312485550081766469246379513576430281555741713231550892296222869725312489307/1223297870380728808598771352758002296478013672406364571885865898301150946437541195265647967683897057980003560701997389625245835564647206487705213594262364527255208984128407691510415395630897534309272268538031031731248602485764537574572760918843076497318562613081941486640876883502917032924432297390991472892670098948017182102002311702303844920922618070961585426042429730681182523350471181899667181956205150520132007565080172492619223399587646784235648*y^22 - 1858038382083296161740454610699477448077598660110123296832605450345265806154628632143176709228715688824402312019776767132117718459011922135278836726088940091621466837416189670546363353949453800921047368672192873363844398849789247011588139502824418143373471384717063601075004961923416262665138306629280626654045394673763110845654361878149059242561252520568668564213747885025411532595805970889925555842549099830685137471783098881072068559887171307822343745913/2446595740761457617197542705516004592956027344812729143771731796602301892875082390531295935367794115960007121403994779250491671129294412975410427188524729054510417968256815383020830791261795068618544537076062063462497204971529075149145521837686152994637125226163882973281753767005834065848864594781982945785340197896034364204004623404607689841845236141923170852084859461362365046700942363799334363912410301040264015130160344985238446799175293568471296*y^21 - 398398872114005392350139606128433122227460385919907078801664161504423250192616294160901391184835276786371126894288018185623901282202866972990643973475635622351081445147121446226893851941013988950957793796875611568133281339138014058629168481783609833681079733496286376441393718698399000063812633389784915982560299460663809331171373054371399461658531958727937449763334934740440324990876107917053513071147286444361212615144063836674120752187627236876646933077/174756838625818401228395907536857470925430524629480653126552271185878706633934456466521138240556722568571937243142484232177976509235315212529316227751766361036458426304058241644345056518699647758467466934004433104464086069394933939224680131263296642474080373297420212377268126214702433274918899627284496127524299849716740300286044528900549274417516867280226489434632818668740360478638740271381025993743592931447429652154310356088460485655378112033664*y^20 + 202524224545330660194039919843282719601985241659920857719043404743787371002673846760923546145765693274683568691195064468792123636043476306989834960899104144131521105351666306569421408326980486869068728694666624614498430783199295145663462754617785314461194571803259234945896167644561326503429038641290328905995482149739720778166021129650715588342438642269361957977536103735805004230570677619903378703426901963432810210867119568707313040495179059092950450175/76456116898795550537423209547375143529875854525397785742866618643821934152346324704102997980243566123750222543874836851577864722790450405481575849641397782953450561508025480719400962226931095894329516783626939483203037655360283598410797557427692281082410163317621342915054805218932314557777018586936967055791881184251073881375144481393990307557663629435099089127651858167573907709404448868729198872262821907508250472817510780788701462474227924014728*y^19 + 7860763464555898597659443226155258993143092071089599208001350229327963783067884179861085758555999361841344588531656069543956406245186772671037954474139077802370738078356778789590089759765582741710512743027181783800244692899357636415386753541103291975924880005105945627447241910901756929368657337713701536715638621626494995794531568820424520369172184566966950208457002127122741866341187575978673284744022757534129844920380036224914462453481182094363910909355/2446595740761457617197542705516004592956027344812729143771731796602301892875082390531295935367794115960007121403994779250491671129294412975410427188524729054510417968256815383020830791261795068618544537076062063462497204971529075149145521837686152994637125226163882973281753767005834065848864594781982945785340197896034364204004623404607689841845236141923170852084859461362365046700942363799334363912410301040264015130160344985238446799175293568471296*y^18 - 9909216183878645896659407148306616182535716334422775357690147612212441001564972472982441518972754407299005127031809327461139780452493468286639211171307667162481987431366447077269648058716779794909642375013053429115835016720443899670594494418049347893982205843791462780426810361785614624164513215503088170043186718161508284978491049996461280854499688877550457513685824738485362918010178593232064456735614546531303011656334160934233812497373827712948689416427/2446595740761457617197542705516004592956027344812729143771731796602301892875082390531295935367794115960007121403994779250491671129294412975410427188524729054510417968256815383020830791261795068618544537076062063462497204971529075149145521837686152994637125226163882973281753767005834065848864594781982945785340197896034364204004623404607689841845236141923170852084859461362365046700942363799334363912410301040264015130160344985238446799175293568471296*y^17 - 6765493958540345688498394414267993646354497115910230700687382715307045143188648754012088762909809555717864490431960652425285756307366879411940845372143673514300081374274651149367018648399194649146391124606369050004716674741555407817693506227165479405565316604848750765032422858653194618657112221468835067831889905036459547535404444789227675833714310277939335809611993986607330484965439970813507545397689736398008875552647580099864564067305430712511593612127/2446595740761457617197542705516004592956027344812729143771731796602301892875082390531295935367794115960007121403994779250491671129294412975410427188524729054510417968256815383020830791261795068618544537076062063462497204971529075149145521837686152994637125226163882973281753767005834065848864594781982945785340197896034364204004623404607689841845236141923170852084859461362365046700942363799334363912410301040264015130160344985238446799175293568471296*y^16 + 521789537669502265307719060198935647978424392682844395070706392850965774324370416655541445072340542088258242435378836639654569481638192290126912432483459442909587590059993085999276817590639257178341868716511371048357253437120731313144808913123822696524714991267600869145409349924175785132290776598907174727077446800873286782665423849281738431491979482529935757951028034468909443665670465369783454654521440878834558905713868760729521820592368066619360604503/152912233797591101074846419094750287059751709050795571485733237287643868304692649408205995960487132247500445087749673703155729445580900810963151699282795565906901123016050961438801924453862191788659033567253878966406075310720567196821595114855384562164820326635242685830109610437864629115554037173873934111583762368502147762750288962787980615115327258870198178255303716335147815418808897737458397744525643815016500945635021561577402924948455848029456*y^15 + 427950586886453912119127123229680696531621703107529772015044654858975779571972440423418312348841295683879429691081150402272898001770116779211934603088865455014135774265815141854341032662338637926015419361379714002312074248687788638345749461597716417184052344144098914455121927968991837458108901764644147568508853567845339860362491811137257761115209905153426307382410576563702234676742429673542299297622014384292882657677966020044127991160755580540022098283/349513677251636802456791815073714941850861049258961306253104542371757413267868912933042276481113445137143874486284968464355953018470630425058632455503532722072916852608116483288690113037399295516934933868008866208928172138789867878449360262526593284948160746594840424754536252429404866549837799254568992255048599699433480600572089057801098548835033734560452978869265637337480720957277480542762051987487185862894859304308620712176920971310756224067328*y^14 - 4056102287748202839589750479861951290510054421015429509380514186579993173284508908471687981500535562888941956907485566411580766425073891558244037963164237847966438573948049112697133293130450036095935276454588741683123881815770490470425934423947438445549805492830743230755001808099301087932374798074831130983519464860972275162857762695714156530801317460863475651302604352395413370572255567049985455093646600493117507296373749820088009993959444104039908337081/2446595740761457617197542705516004592956027344812729143771731796602301892875082390531295935367794115960007121403994779250491671129294412975410427188524729054510417968256815383020830791261795068618544537076062063462497204971529075149145521837686152994637125226163882973281753767005834065848864594781982945785340197896034364204004623404607689841845236141923170852084859461362365046700942363799334363912410301040264015130160344985238446799175293568471296*y^13 - 42273917293922124155188988948082187189564196588019544682463456272025325095374505672788227277445592333089011041550021473433586620240432204438422413773470275070849188718333181769163330327179539143393200080280664166557887714928001073047772576745428305258968960012005094936338248299261227775019209014855176976660545211555822446789763071138530118428635440576926433305872902150197821865993075983680348688792988137523506415111791125762675941508733774129369025909/305824467595182202149692838189500574119503418101591142971466474575287736609385298816411991920974264495000890175499347406311458891161801621926303398565591131813802246032101922877603848907724383577318067134507757932812150621441134393643190229710769124329640653270485371660219220875729258231108074347747868223167524737004295525500577925575961230230654517740396356510607432670295630837617795474916795489051287630033001891270043123154805849896911696058912*y^12 + 1062534122564663979733012055923047079830619330533687695328661397597234280725429842539756365172075152447942700343680843493902268811411985118825582733856128656480642229056015406914263083433714826889391276668270643868183742501195376277882143670263036085925401188942525940741020617982866069409317958532713588331950219681601333870530827698069037819825667255348437379560754911390959676000360023572812863788525114943517990337887918374119838629554469905899763069047/2446595740761457617197542705516004592956027344812729143771731796602301892875082390531295935367794115960007121403994779250491671129294412975410427188524729054510417968256815383020830791261795068618544537076062063462497204971529075149145521837686152994637125226163882973281753767005834065848864594781982945785340197896034364204004623404607689841845236141923170852084859461362365046700942363799334363912410301040264015130160344985238446799175293568471296*y^11 - 103871928382227465073511313728427912410763516034704995070762271980981371930117619855627722522272543055225011058831838291379771202574752213206718473927304313360276261764802132468794310710346308408865001180784092481322024169025951894900018512998531596939773992810992620151597040898411408689412604143459718002433437642204126707374748850447976197130940634520548458448551274955967791291247950065156134405108937789010040591622639950396688375286103250473399552847/1223297870380728808598771352758002296478013672406364571885865898301150946437541195265647967683897057980003560701997389625245835564647206487705213594262364527255208984128407691510415395630897534309272268538031031731248602485764537574572760918843076497318562613081941486640876883502917032924432297390991472892670098948017182102002311702303844920922618070961585426042429730681182523350471181899667181956205150520132007565080172492619223399587646784235648*y^10 - 14609204689945718187147441045850116357120885830235912147888913833586726609832989485533437314074189922864577209411424980624498818929552985073976955129503950079770909313104122230380396796260162057683062937875717169437373537289370265100272900298697822118046878059117767530556536020529142485895020104987932375269518929295853225191787257235305243371943691136904757496824784623422381398417769411810727336443308824915816999868855709686747288754380180441406966765/349513677251636802456791815073714941850861049258961306253104542371757413267868912933042276481113445137143874486284968464355953018470630425058632455503532722072916852608116483288690113037399295516934933868008866208928172138789867878449360262526593284948160746594840424754536252429404866549837799254568992255048599699433480600572089057801098548835033734560452978869265637337480720957277480542762051987487185862894859304308620712176920971310756224067328*y^9 + 18976483331371520903621906909459624124976493704188466149519230293163585634133719444544156404950003268903055856122547305908913855785018606933277113745419215525617665618739922128595036918422680699343343758646693719121772356724657049233768709827057448685761641594095962179285733692935698083587392315489594414243314373752055697146983805085625839939534253822384215513916233404839630602930915628088214348101829939215948981275132941484978464891298914058224737801/611648935190364404299385676379001148239006836203182285942932949150575473218770597632823983841948528990001780350998694812622917782323603243852606797131182263627604492064203845755207697815448767154636134269015515865624301242882268787286380459421538248659281306540970743320438441751458516462216148695495736446335049474008591051001155851151922460461309035480792713021214865340591261675235590949833590978102575260066003782540086246309611699793823392117824*y^8 - 5867984691281956263169634690547389820229378599286884845304448306790735290817077358163205577981552895196465358041636147143217547738609783269114445206958540747532453447332441868596149651174704620183179561017690824205625855989254781816362863020669478293776099054946867437398797778890403617686804606357783704083455626039966274164958203709178913709692358743637218413611293708197263693307500890322857025631039251478752977375901297200033180874089545678205259063/1223297870380728808598771352758002296478013672406364571885865898301150946437541195265647967683897057980003560701997389625245835564647206487705213594262364527255208984128407691510415395630897534309272268538031031731248602485764537574572760918843076497318562613081941486640876883502917032924432297390991472892670098948017182102002311702303844920922618070961585426042429730681182523350471181899667181956205150520132007565080172492619223399587646784235648*y^7 - 1270134182369033871997526223197430490476476571828934439008734142714991488504815305885579701169972122458847389396175879522830588247902021206481490212091592204618186604167675569394371302107067650271218233959338774223543511961603359464064454767986178350635586397053275556105399674845742237218540192623215328660687906258097218700909804916053680480240552275064292917238301313219842644351460429120446262552825575690325272460192458922012956884640306237498751173/349513677251636802456791815073714941850861049258961306253104542371757413267868912933042276481113445137143874486284968464355953018470630425058632455503532722072916852608116483288690113037399295516934933868008866208928172138789867878449360262526593284948160746594840424754536252429404866549837799254568992255048599699433480600572089057801098548835033734560452978869265637337480720957277480542762051987487185862894859304308620712176920971310756224067328*y^6 + 2274995424337475698232976927548889922812552602774168521219939327545888917182873174562470976091557541075607408954241741141366594949431408286042831716581454656314296306940354743232786802285174581320353793512041567407702078930882484539828108125375047781402626700491925818807620323693763058650248309904393550908924613423649040602979882704653160511156566217285949789960902517233895450433555878052912368851917735895842208131053918116814524655862487309957497/1560328916301950010967820603007655990405629684191791545772788135588202737802986218451081591433542165790820868242343609215874790261029600111868894890640771080682664520571948586110223718916961140700602383339325295575572197048169053028791786886279434307804289047298394753368465412631271725668918746672183001138609820086756609823982540436612047093013543457859165084237793023828038932844988752423044874944139222602209193322806342465075540050494447428872*y^5 + 455816146601082965774060671620290770334218371540893645063163459744908187868324438610837319058170120343549712423214594698316522952255840278311589003455116662956105077465812855876663577403700362410240146022218465102658516453977125272213193933655232766204171254209905264184072676274262707482213341056985147919272871536285273095966798586855126271864655323075113529457812553842968285400221890084369330862314199022930918197913190410008847539176517510186101091/2446595740761457617197542705516004592956027344812729143771731796602301892875082390531295935367794115960007121403994779250491671129294412975410427188524729054510417968256815383020830791261795068618544537076062063462497204971529075149145521837686152994637125226163882973281753767005834065848864594781982945785340197896034364204004623404607689841845236141923170852084859461362365046700942363799334363912410301040264015130160344985238446799175293568471296*y^4 - 161908648534045891785939842079205361766168326493587802011174238266233330152663758319864774248786133117851038516505850806810375463293997368569399251742482905602079431046321550681543200480314395315513739691659350755641601738019588850206869212164460147195836444768551284818783857124039498863261010694260829417769200736643135531053332947780580702502619046768150031418488132081436366340463031696060003068959208052672172272928332263595847860768200403089375619/1223297870380728808598771352758002296478013672406364571885865898301150946437541195265647967683897057980003560701997389625245835564647206487705213594262364527255208984128407691510415395630897534309272268538031031731248602485764537574572760918843076497318562613081941486640876883502917032924432297390991472892670098948017182102002311702303844920922618070961585426042429730681182523350471181899667181956205150520132007565080172492619223399587646784235648*y^3 - 2914872694505684433661680778220797599789147997746045557851065411079302443910876221806927742384589339672663054728421004363966216953306745387238332945229782151500825570901113060865476382280752930478921675351794753264849132977825599793989894713724859856554540113035117456764040314967990576751962519569313831816239569615217716175395207338001824752922585702258184497013010515904271869072933840406817759741109321414085634418644249586134489450590916011357321/305824467595182202149692838189500574119503418101591142971466474575287736609385298816411991920974264495000890175499347406311458891161801621926303398565591131813802246032101922877603848907724383577318067134507757932812150621441134393643190229710769124329640653270485371660219220875729258231108074347747868223167524737004295525500577925575961230230654517740396356510607432670295630837617795474916795489051287630033001891270043123154805849896911696058912*y^2 + 177311805098138042002526368903146823560917033705102677386237482466509616862058532274962932561418097292678020947167920988986128294585939175214610397202679576561796760170393325256517720561397066797519895852166456497848476391786883568589621774849630214678354719671817568950361361317866143504800323241699293493647387165253370523566673068617640218130620806849918248637215511343857198757133524965017873049498257823991801021368774735445631248795970224723207/38228058449397775268711604773687571764937927262698892871433309321910967076173162352051498990121783061875111271937418425788932361395225202740787924820698891476725280754012740359700481113465547947164758391813469741601518827680141799205398778713846140541205081658810671457527402609466157278888509293468483527895940592125536940687572240696995153778831814717549544563825929083786953854702224434364599436131410953754125236408755390394350731237113962007364*y + 10113611091338652843204545655648155810978665016229049677489707128466057504140092536616161487143285627738400555419360403938767665580807964990016025588263317620243697954701157525319811617929753839383749565509653985614436797113056537457407490983077671444117198277582557925007957160098135307408552872556203001973221312886878230532301689734812027272991908452139851065116661136667690542045885006035092622690467715912373704221592631733534624084429217862297/19114029224698887634355802386843785882468963631349446435716654660955483538086581176025749495060891530937555635968709212894466180697612601370393962410349445738362640377006370179850240556732773973582379195906734870800759413840070899602699389356923070270602540829405335728763701304733078639444254646734241763947970296062768470343786120348497576889415907358774772281912964541893476927351112217182299718065705476877062618204377695197175365618556981003682

# 4 Loop Invariant
-8569692168913480246101771220069148635828153872682333802460976716260943058907732263296422252603204717494445597540930783797157412800995513463281638468245617680775163916926273545226824940355721197187724555446234404570063003742734100722995887357251461723170732725237468693880554142613033727518669225788693637349696637278118486665054959946528677593568749775467907183385000699385307341560848839956439290508745891225190536533352160764247271645381213994914587238203743891227397999781312456492438030814546330148418571506250252085784250425467236493092651789173699197656342316025780818121393912494782087081710383947829/13088841127880675146084909559176849092207744890921042200633206765085802765418143279560264976352580709084008635420818448479898369646203555556694928562628016789824837825923364117452983641041675531842337751218781315845410361023206157618718914728654043766397054212181393569206243528938390553896153750022175765397686311256019226023529516451664424171068676649675144573732782067488983000149963836444016111347405921621871664079645118918039238323580069805741344918710815434062272073354179701295466000976475019982070576421072802116923285892838281590358845594489535782932085153233094472775445392818600999950760778285283840*y^41 + 3469011929930475571965498670406809205164929753514191349232364129948582285106049782355633455185321423180312580427803574028560527886776955409932205068478412489921139139040107060572109102182208145973677775701186380322821721069787804713986439841724531888612318350428817492611859471673319631934753865738917706029220584167122768112643688243245223835375021904264552100190838401358142591896448097454497780030672207836481568291820525379014995406380840867998585229484118019678470446912494237789098801071389850362578087843974262446435409657056942341766844457077353340549781039534328253502141045367014700685251860804318151/104710729023045401168679276473414792737661959127368337605065654120686422123345146236482119810820645672672069083366547587839186957169628444453559428501024134318598702607386912939623869128333404254738702009750250526763282888185649260949751317829232350131176433697451148553649948231507124431169230000177406123181490490048153808188236131613315393368549413197401156589862256539911864001199710691552128890779247372974973312637160951344313906588640558445930759349686523472498176586833437610363728007811800159856564611368582416935386287142706252722870764755916286263456681225864755782203563142548807999606086226282270720*y^40 - 8132766011855686115551506252012431973052869039666680439970112166558014808058977294183983713438909546351689559540507142612665618789713346354380345579011684067145355147548697731671473576157327129262874721292346379878154692032182872825579346197518665413624780799353509641044858466036188027629104219179947587889899585449277528120070360300981449440850260057174950572982584905972145334965197523349837752725194156706529165112128054423843636643322585331574718556835172757230168398817059936885712221089295719352246137390200363366603693249182459103513724852224031493463345454834379418067241023055877492495550025206938939/17451788170507566861446546078902465456276993187894722934177609020114403687224191039413686635136774278778678180561091264639864492861604740742259904750170689053099783767897818823270644854722234042456450334958375087793880481364274876824958552971538725021862738949575191425608324705251187405194871666696234353863581748341358968031372688602219232228091568866233526098310376089985310666866618448592021481796541228829162218772860158557385651098106759740988459891614420578749696097805572935060621334635300026642760768561430402822564381190451042120478460792652714377242780204310792630367260523758134666601014371047045120*y^39 + 229896765519108236378263909665185254994241996556444875199950741021562518171054966178532484308539622918476364737056725240302530944035751325071987965142238882016656692640808291997519986754723175819576429488436103066973730556257728443705386635660243310082643387846257624443472299573780941374248914338836097952252849386029208933791916709499306326592755216917253170204150232919128960908018358153120120953857558855315493661526321550529780934122630720954467305890151481071150866982636215496188135163212119603044459659976495714589190685596834966832575715785062703916590434328360506746373667937968975012726105807341847117/104710729023045401168679276473414792737661959127368337605065654120686422123345146236482119810820645672672069083366547587839186957169628444453559428501024134318598702607386912939623869128333404254738702009750250526763282888185649260949751317829232350131176433697451148553649948231507124431169230000177406123181490490048153808188236131613315393368549413197401156589862256539911864001199710691552128890779247372974973312637160951344313906588640558445930759349686523472498176586833437610363728007811800159856564611368582416935386287142706252722870764755916286263456681225864755782203563142548807999606086226282270720*y^38 - 6840772784550375426060854439786294116647165742864971274381225848162517893741167164202724408341854689041297673419514225667923322381558562260832311780040671721524797546764208119752026405999063175285955938970845957901646273167568069983007241636966348875081117611494120046111483300611426016256897215250385066538318996766046179656748522499583241233399907011724564692162566214666203350038483152196903202573351932218291041666051514933069007683142063508593658439288288230337469304174846184595397679700352509153632416105692255508221959873296103441970412745850427620749664374270096181248458047010720439823257435282491599/2326905089401008914859539477186995394170265758385963057890347869348587158296558805255158218018236570503823757408145501951981932381547298765634653966689425207079971169053042509769419313962964538994193377994450011705850730848569983576661140396205163336248365193276692190081109960700158320692649555559497913848477566445514529070849691813629230963745542515497803479774716811998041422248882459812269530906205497177221629169714687807651420146414234632131794652215256077166626146374076391341416177951373336885701435808190720376341917492060138949397128105687028583632370693908105684048968069834417955546801916139606016*y^37 + 147730500167691417501264812963380266871578182697904108226078017374443763630623284476674484667507053115922787146233193521102273016222670934734809665063602588741443802864585490728184216907045874197393987749007063305019278738721374916779971594161277118614868681867394831739608993046925479872234504884624429947204330485078985433053940367796952351375186080760893415289245628800073205172040687620494010269641114757874341280069169395453606700979839914142462710154474930975940886633400663313836476051052179561398827548421214802023950678525291417723143252160936714329566023893440958965224720725835877358120114138910783431/20942145804609080233735855294682958547532391825473667521013130824137284424669029247296423962164129134534413816673309517567837391433925688890711885700204826863719740521477382587924773825666680850947740401950050105352656577637129852189950263565846470026235286739490229710729989646301424886233846000035481224636298098009630761637647226322663078673709882639480231317972451307982372800239942138310425778155849474594994662527432190268862781317728111689186151869937304694499635317366687522072745601562360031971312922273716483387077257428541250544574152951183257252691336245172951156440712628509761599921217245256454144*y^36 + 3488640073757142589306516483181078266220050559874254561060705674774850356532568385149462630799319313460350796377182030423081198414862982238122618169619962042198972115087143889561066207133861434055656485837355338320584740386196044312030958998382963149399451003696667703983823979580444459977402749197216047125476012350242289307623432728916732215305590939374801276861761655318608588747776078516102078536376212636638962537898984759377482175010982323006300356195169186946872503875691685205678845889217758549382607060279625558697180116110831485384578204144338373609642304884577681415655360948887391331926484672547435613/104710729023045401168679276473414792737661959127368337605065654120686422123345146236482119810820645672672069083366547587839186957169628444453559428501024134318598702607386912939623869128333404254738702009750250526763282888185649260949751317829232350131176433697451148553649948231507124431169230000177406123181490490048153808188236131613315393368549413197401156589862256539911864001199710691552128890779247372974973312637160951344313906588640558445930759349686523472498176586833437610363728007811800159856564611368582416935386287142706252722870764755916286263456681225864755782203563142548807999606086226282270720*y^35 - 2048596551029921639389047163072006682500519246287142148281360937428144005710143225893706554918299897871519771099163140184001351326037413634223412544551813421732999968427411764196611217788393856066020800056686981609137822221304739568324272013064704825729840944020697970131338334186889789527166636598594561866664478548416871966670511685189202076716531126689758411803968698788931852578313517152088170590725843981751658537154638865286403951141297799421721865518561575744305606771168208050315038040786761886128344721517428847302163089622399740917424109377420775648789350779443842274773790236560208576636598206647217707/104710729023045401168679276473414792737661959127368337605065654120686422123345146236482119810820645672672069083366547587839186957169628444453559428501024134318598702607386912939623869128333404254738702009750250526763282888185649260949751317829232350131176433697451148553649948231507124431169230000177406123181490490048153808188236131613315393368549413197401156589862256539911864001199710691552128890779247372974973312637160951344313906588640558445930759349686523472498176586833437610363728007811800159856564611368582416935386287142706252722870764755916286263456681225864755782203563142548807999606086226282270720*y^34 + 4426926770864803732271808006519205340714265052850214640194132579319535037637907179520725088248938121601200112371389769120870139122479270683874973754061807580912350439055801671893567428925183934490597037366429864825909027167756398401545005864095689150206923114914851466706911679953507192496214921654101795136560745286877478169442766231048841352336912456219757344238594173983320281301151646255200680609706949690421210708532280074985937945935004671263364695688031648875908416381489573280588524075226108732518784593683537138548942416607280547405530366461581400262890150032195532305566031802603896106638593638328723649/20942145804609080233735855294682958547532391825473667521013130824137284424669029247296423962164129134534413816673309517567837391433925688890711885700204826863719740521477382587924773825666680850947740401950050105352656577637129852189950263565846470026235286739490229710729989646301424886233846000035481224636298098009630761637647226322663078673709882639480231317972451307982372800239942138310425778155849474594994662527432190268862781317728111689186151869937304694499635317366687522072745601562360031971312922273716483387077257428541250544574152951183257252691336245172951156440712628509761599921217245256454144*y^33 - 110442085530452954167593642291271734059698032020073123033878766362013684924673984403236902614739869031991823082690002208768357021574050711885003824544320856455580585806372695986875529455637292786665232979705574301124642094037850235367304994591468771188320513340702832878817831852546900776556121988624091517471158601433655116533582797193714808704067198505576973701247907217088267585415872270613655297162788217322596846489002216319494295128839935026827566359516832277076555641052203251543432480075244940173713221194582284486703776421203788938695409562237344271734308571413867082640404245895891170551217399671915273/311639074473349408240116894266115454576374878355262909538885875359185780129003411418101547056013826406762110367162344011426151658242941798968926870538762304519638995855318193272690086691468465043865184552828126567747865738647765657588545588777477232533263195528128418314434369736628346521336994048147042033278245506095695857703083725039629146930206586897027251755542430178309119051189615153428955032081093371949325335229645688524743769609049281089079640921686081763387430317956659554653952404201786190049299438596971478974363949829482895008543942725941328165049646505549868399415366495680976189303828054411520*y^32 + 5034012942335670450832393923770814787142812107442496454958292751603553757543558151740781235333368082030784056895036794612074001329249715282655532418865309995291294524294440907660066879692133540713431964376765250482532871306374855494158686370270098690989562560262699152956593862830854646610906488535678207160513644943785917132755964468540172517694312308334800171757156051682519208980274335319597278169966877412574564407790721193504029436312244742488079251832813980098892482393147421776887388294980979627683532931207227871493149912298964002143068193059479533300161523269360892242380197879063529898121705736410606707/14958675574720771595525610924773541819665994161052619657866522017240917446192163748068874258688663667524581297623792512548455279595661206350508489785860590616942671801055273277089124161190486322105528858535750075251897555455092751564250188261318907161596633385350164079092849747358160633024175714311058017597355784292593401169748018801902199052649916171057308084266036648558837714457101527364589841539892481853567616091022993049187700941234365492275822764240931924642596655261919658623389715401685737122366373052654630990769469591815178960410109250845183751922383032266393683171937591792686857086583746611752960*y^31 + 268979548332529200647361809603739179507830713835655168564936204049945545411034289622986796906250767029664656112731284282948116390437986158275237805059215928499576337105328667750982059967736945989998192250035537494393304924357224748756803685061868141241005061404966344020518742027008900609325597219388449641022617174135347915472076601754996674166714097622466490005094074125579872462812275502812932591486158590862143605214570968157391245272202507342803086450312253796532428677462335152124070955145857777140428843518721526715867056502866592631778001671236100577057039023467567156485493295370986497525877951920469895433/104710729023045401168679276473414792737661959127368337605065654120686422123345146236482119810820645672672069083366547587839186957169628444453559428501024134318598702607386912939623869128333404254738702009750250526763282888185649260949751317829232350131176433697451148553649948231507124431169230000177406123181490490048153808188236131613315393368549413197401156589862256539911864001199710691552128890779247372974973312637160951344313906588640558445930759349686523472498176586833437610363728007811800159856564611368582416935386287142706252722870764755916286263456681225864755782203563142548807999606086226282270720*y^30 - 14529773924988757036223106325672699060830755803470440138750084020717332823579357967046589936476537856988802013120647519874287308507801656312573633097916971431367225694686429862357023977135321408656509064912603196601275416259152179557966561040733323325029835355144089197258461497525314929839168263006443078779865039833780478695045923761426466993385188434777210997019270184016910775427920165522330597790232650654555501051516469210048733111659908755979771372195704662279008553782200623511796135577075880190880779457964250052892866161182576770702598774974408184736797077301346052364635577745502914462430578791205504827/1495867557472077159552561092477354181966599416105261965786652201724091744619216374806887425868866366752458129762379251254845527959566120635050848978586059061694267180105527327708912416119048632210552885853575007525189755545509275156425018826131890716159663338535016407909284974735816063302417571431105801759735578429259340116974801880190219905264991617105730808426603664855883771445710152736458984153989248185356761609102299304918770094123436549227582276424093192464259665526191965862338971540168573712236637305265463099076946959181517896041010925084518375192238303226639368317193759179268685708658374661175296*y^29 - 5415551089957040160274115484370206303769065486986267133939690872910586012510330876513981004918486222882947869016965542047677437521130467703764892578786431786095854232049626480761391524988247694533319162878770025461739170831002329084528209574605073957550043040252991266306042884997593888759007085275941699985738887946209687965259649800818692326539935543836488701534081556698100389788574119804524269879327918041201484591001907729843139646585202952205851338970709737370329855543316801378367188667029761612110007819772957364241653510014620910665881906400101881627086130024106538225944488439091728162263271071161967897/11634525447005044574297697385934976970851328791929815289451739346742935791482794026275791090091182852519118787040727509759909661907736493828173269833447126035399855845265212548847096569814822694970966889972250058529253654242849917883305701981025816681241825966383460950405549803500791603463247777797489569242387832227572645354248459068146154818727712577489017398873584059990207111244412299061347654531027485886108145848573439038257100732071173160658973261076280385833130731870381956707080889756866684428507179040953601881709587460300694746985640528435142918161853469540528420244840349172089777734009580698030080*y^28 + 3908470818140545165564378983948754842390885092569719414771206965755496246498817012672248595956600363757988684193442710846256059759452686550116642222548096759660767531925272507976647625260228677295387091168440903481155399620476548360646769151802538704204220446923002204330648380951542533207400323489267409324675934953853828599063615754914054675943315201070506401272249259330404124286089879721626490505873507326410610473612054215185094610670478673117563275876097096114704535124462088713587451804836704971549162521030144938257797943754964685010187812415985087367008432402812002373058840139985260156098421470230015311193/104710729023045401168679276473414792737661959127368337605065654120686422123345146236482119810820645672672069083366547587839186957169628444453559428501024134318598702607386912939623869128333404254738702009750250526763282888185649260949751317829232350131176433697451148553649948231507124431169230000177406123181490490048153808188236131613315393368549413197401156589862256539911864001199710691552128890779247372974973312637160951344313906588640558445930759349686523472498176586833437610363728007811800159856564611368582416935386287142706252722870764755916286263456681225864755782203563142548807999606086226282270720*y^27 - 6382736541822796928160833007777825672236289733179931028194316677006614569056721234906797769337965961454169358562382388855630498309466631858373769360067702025364630504954749856518661335294748666833451517820514219214919708043052282138460599663776431667848406747614196701252898927928265552904661260763973028848079792035595831336352601177302276626027512905248084966839407007336269882453031222295957360459296939077906461299343042803376220782174950511765249266747953401616613343342074631840998321898177944992955911386037026587466565868379794496744971818765248071575340977223581705915248498361560442334018735712072108700243/104710729023045401168679276473414792737661959127368337605065654120686422123345146236482119810820645672672069083366547587839186957169628444453559428501024134318598702607386912939623869128333404254738702009750250526763282888185649260949751317829232350131176433697451148553649948231507124431169230000177406123181490490048153808188236131613315393368549413197401156589862256539911864001199710691552128890779247372974973312637160951344313906588640558445930759349686523472498176586833437610363728007811800159856564611368582416935386287142706252722870764755916286263456681225864755782203563142548807999606086226282270720*y^26 - 286965884937396873394366954634680929064451020898592787105144801290561270082870848080204321969732657484808545745455047464152952470015553912920568773615887511565722185561269974856022282078532004687126472745370951493017685245611484898919420871733300734687525582681607232808727565386884254105879891606934564203784149842732453977296252110698987359368424461029855719085501532514675122893800233493464966453868058207016346375561607760244718772279097711999291473880383759713658684248077563387662676073173047578316083513448669764408642539278229523137405630674428628552539203165237142033357528376319361121435454083213234381363/2991735114944154319105122184954708363933198832210523931573304403448183489238432749613774851737732733504916259524758502509691055919132241270101697957172118123388534360211054655417824832238097264421105771707150015050379511091018550312850037652263781432319326677070032815818569949471632126604835142862211603519471156858518680233949603760380439810529983234211461616853207329711767542891420305472917968307978496370713523218204598609837540188246873098455164552848186384928519331052383931724677943080337147424473274610530926198153893918363035792082021850169036750384476606453278736634387518358537371417316749322350592*y^25 + 10586897959864085450391074889333467432495248246937604097287485876916839593247834965271204941827301380278422316511620879236874560901547181515798299580497080525320065202197104225775133450787516252022976204903620097391905527657265114281136063102972709311877766738455934616309731275331387294329282170803460908150622037671997787599598741625515617251887483927873847427938115645603105713381266936213797045822064541805885520971361309004664985385076179734983454379608739789819791605123963937719395244209988668904421297777411117291148703014538615260554751270910851627485026525841767572061022380286468857940283016294831590727127/34903576341015133722893092157804930912553986375789445868355218040228807374448382078827373270273548557557356361122182529279728985723209481484519809500341378106199567535795637646541289709444468084912900669916750175587760962728549753649917105943077450043725477899150382851216649410502374810389743333392468707727163496682717936062745377204438464456183137732467052196620752179970621333733236897184042963593082457658324437545720317114771302196213519481976919783228841157499392195611145870121242669270600053285521537122860805645128762380902084240956921585305428754485560408621585260734521047516269333202028742094090240*y^24 + 3199595611346400044093280682290931249727715111063427456609591635282597644716806935663299466249658203793789849677026933583209749882777258081340461954391928586296686076450844013541604533911721392671090252181538507846089438878381782724250519833277871936660706463590249914925779039792592140123001884554252901154740643229232191970944212238549102240974193169996129060137658594763513799380925176321438317921073295830790632371761243311342370262878772102768170738923907841955035452143768658251290330305221642461238263295620473017638227161845539530122839815238671505787492623734354354954401881292082065096134188218502224218211/34903576341015133722893092157804930912553986375789445868355218040228807374448382078827373270273548557557356361122182529279728985723209481484519809500341378106199567535795637646541289709444468084912900669916750175587760962728549753649917105943077450043725477899150382851216649410502374810389743333392468707727163496682717936062745377204438464456183137732467052196620752179970621333733236897184042963593082457658324437545720317114771302196213519481976919783228841157499392195611145870121242669270600053285521537122860805645128762380902084240956921585305428754485560408621585260734521047516269333202028742094090240*y^23 - 5087611717655988289810984509408499074366518624916456066167610212235067549275638852236556559173006633766586591228145514293122798018705070655286309512241097484096397210256490266758545273171011655473154386997072057949696091199185247154671169576156091462415662110421304595111533507400435009521559177291925108084766803600455825090245045572263748173789776891207989309332093697159854641643569582390706056896572693670929889684821816427110682252601318689929441892762322586514424183211725343072678718130215090386918931193807463738405682864717805769167005657334767948034992993598638086607556131489909736754555277340984929280553/5817262723502522287148848692967488485425664395964907644725869673371467895741397013137895545045591426259559393520363754879954830953868246914086634916723563017699927922632606274423548284907411347485483444986125029264626827121424958941652850990512908340620912983191730475202774901750395801731623888898744784621193916113786322677124229534073077409363856288744508699436792029995103555622206149530673827265513742943054072924286719519128550366035586580329486630538140192916565365935190978353540444878433342214253589520476800940854793730150347373492820264217571459080926734770264210122420174586044888867004790349015040*y^22 + 49041573571040505451894874551799910493011375794644556518347284975131801375790688316940352674636718643643990783305155567685720348028303561063115854238637747376144735331827352654067463724820790398189333605171530577838777871633406855552801174047804563345527479931976955704233163178717243031719910360116607719116970646925325010761795551358730459046079038158431939869965294179499581720284265239879608542870774958000671347706549083955770615291558722030239185932859646641541088163025826271368647255137620245048969492204366397033225506908397316675007950762718791874795014132252696502499393536498116128119195325364435525487207/104710729023045401168679276473414792737661959127368337605065654120686422123345146236482119810820645672672069083366547587839186957169628444453559428501024134318598702607386912939623869128333404254738702009750250526763282888185649260949751317829232350131176433697451148553649948231507124431169230000177406123181490490048153808188236131613315393368549413197401156589862256539911864001199710691552128890779247372974973312637160951344313906588640558445930759349686523472498176586833437610363728007811800159856564611368582416935386287142706252722870764755916286263456681225864755782203563142548807999606086226282270720*y^21 + 49016688279827878914503472236940750254690489605438108190565162949482021339172247939584199582768829674618340115245476745924512607597533794070173288878348241637718792958785608744956594685853172398857727374939202764712113709295391471854889328621147337926553205616660029711043764623711120421384276515098630985733287567843855328658338212436375047660856843588346485955865559891154410867315369845409771821075062646134616768700105289669098222311489156493722635186893049274759827397940290815134952788538740443564111271704385376158889438377907386361104859362030336427973272842561485915801054641982208117788664849546174482122071/26177682255761350292169819118353698184415489781842084401266413530171605530836286559120529952705161418168017270841636896959796739292407111113389857125256033579649675651846728234905967282083351063684675502437562631690820722046412315237437829457308087532794108424362787138412487057876781107792307500044351530795372622512038452047059032903328848342137353299350289147465564134977966000299927672888032222694811843243743328159290237836078476647160139611482689837421630868124544146708359402590932001952950039964141152842145604233846571785676563180717691188979071565864170306466188945550890785637201999901521556570567680*y^20 - 281861486496251252351158758820441489935369735831361013776221878914389299389283546032926900348331108008731289971215179024546360450251950934424370794268749993585080441324664504962099561196221267644879023044040927464366860142594132457659556209779872132907008019819700154520198941117020896940326206333576192934381659339611562941325451222135719947268468365458829973775500218080377402124499896524686806585997805516421577821582109100085423087348219386124234509557330902297906663214645759192123644879203267460589787289698500991053970945757847898395543579044869711828385512573645984413676299387473568448506746337486421704099/155819537236674704120058447133057727288187439177631454769442937679592890064501705709050773528006913203381055183581172005713075829121470899484463435269381152259819497927659096636345043345734232521932592276414063283873932869323882828794272794388738616266631597764064209157217184868314173260668497024073521016639122753047847928851541862519814573465103293448513625877771215089154559525594807576714477516040546685974662667614822844262371884804524640544539820460843040881693715158978329777326976202100893095024649719298485739487181974914741447504271971362970664082524823252774934199707683247840488094651914027205760*y^19 - 97943648231449410402803494110215028245727801020814563257026567505724773578238731810471545252248497826887932850010348129719743510173530396018600697565147359552396995636288565663470184891733029388549926789614923912685255554681130962076910711205821902565781094961583596594356827061362126755413742309145983683070423323133586740412186173906387005376124651268964560936663767360202862868221539239742466493197108709225919506324215193564837844148821076142660671022740047959854059812752139953351141191377885683068978689351210048193093117782615971849597179899135276914145603737578815927197501370126872352590766763237460576427113/34903576341015133722893092157804930912553986375789445868355218040228807374448382078827373270273548557557356361122182529279728985723209481484519809500341378106199567535795637646541289709444468084912900669916750175587760962728549753649917105943077450043725477899150382851216649410502374810389743333392468707727163496682717936062745377204438464456183137732467052196620752179970621333733236897184042963593082457658324437545720317114771302196213519481976919783228841157499392195611145870121242669270600053285521537122860805645128762380902084240956921585305428754485560408621585260734521047516269333202028742094090240*y^18 + 41443190460622652687210674813310953587004299874851307323803275293718343695548034681135200239078425075487822039422725241301019707268549598614826815830740001138165252135291167820611804384691444444235423398651997857233118607854310823962784526392091899766656307607615202853768652237605132053960440673402512185815564416818906528522702332491960619687422628642896265114592379760864303852772832121401477682105054690722836082946927115209709259128325047732661534935075692827564432551622793515693559105002338409499887124494668690676313842181769486377439221617049717691366335844656254816978425115339222124449454958299635016670119/14958675574720771595525610924773541819665994161052619657866522017240917446192163748068874258688663667524581297623792512548455279595661206350508489785860590616942671801055273277089124161190486322105528858535750075251897555455092751564250188261318907161596633385350164079092849747358160633024175714311058017597355784292593401169748018801902199052649916171057308084266036648558837714457101527364589841539892481853567616091022993049187700941234365492275822764240931924642596655261919658623389715401685737122366373052654630990769469591815178960410109250845183751922383032266393683171937591792686857086583746611752960*y^17 + 89945754961346009452519653060869784546004578732004796919220735152420810416974200811239552090610361322263909925268325898398025425970500891387563567631577101733810715987495274607795906272543586081001594589453098575818460000981798683876214837778419599483449702109608222977813848574080689258355976767825200415394246145262065866867550031926794325357220840284077088609118168434859408759143392194242989362273861855052153996328407210401757111618172269049415107644816448580684065769942113774541859705437121204678022583019303308018520576043404096049780411271560783210111313195750088380123773871633026367687923049745405732332389/34903576341015133722893092157804930912553986375789445868355218040228807374448382078827373270273548557557356361122182529279728985723209481484519809500341378106199567535795637646541289709444468084912900669916750175587760962728549753649917105943077450043725477899150382851216649410502374810389743333392468707727163496682717936062745377204438464456183137732467052196620752179970621333733236897184042963593082457658324437545720317114771302196213519481976919783228841157499392195611145870121242669270600053285521537122860805645128762380902084240956921585305428754485560408621585260734521047516269333202028742094090240*y^16 - 120664195351834561018315119687461469569222344058570972284825562007942799774857572788191192445808716153999594524342175647037317287047639667661506008595817421146633182745160971772854409128220973656373057430957471211055086128376171371838469632263363351779608655346590618528204206914129617064504190542318425466403513466875456376305659343719584332521642299580682883236633836505670655943539297414531272456972708155725268963512424249037459767618128273551793310865294539856284381091592140848353864712569826349847183978810135300207967811915271941580538629151242204867127639105689231414683435958600157485984932373621764747483677/52355364511522700584339638236707396368830979563684168802532827060343211061672573118241059905410322836336034541683273793919593478584814222226779714250512067159299351303693456469811934564166702127369351004875125263381641444092824630474875658914616175065588216848725574276824974115753562215584615000088703061590745245024076904094118065806657696684274706598700578294931128269955932000599855345776064445389623686487486656318580475672156953294320279222965379674843261736249088293416718805181864003905900079928282305684291208467693143571353126361435382377958143131728340612932377891101781571274403999803043113141135360*y^15 - 44501109101366536893888053903004983498681085284698954453896983211315687100859627644711419231155861552160404356649536223195807866038120839550412752990852841181511002523901257777393061509142088159518210226375303478909538961936724127217998640793539174286321383739577209365970640457013688901287383075191493627122180808068610967508630473312203491917836951800218734502036472512525149989900769034486393749637237095144287417993881694688270156205482949261436286438501110649526064144729738464453322280297232864088912074736238247189948211197708425153492819414449176252190341991760663693882271544091523605148952237326791308884439/34903576341015133722893092157804930912553986375789445868355218040228807374448382078827373270273548557557356361122182529279728985723209481484519809500341378106199567535795637646541289709444468084912900669916750175587760962728549753649917105943077450043725477899150382851216649410502374810389743333392468707727163496682717936062745377204438464456183137732467052196620752179970621333733236897184042963593082457658324437545720317114771302196213519481976919783228841157499392195611145870121242669270600053285521537122860805645128762380902084240956921585305428754485560408621585260734521047516269333202028742094090240*y^14 + 3360398539467213190689051774711232797308039698641505584138537229080288033368260351071639249649208834711947130684015655689306760933521199453580483706464024318830841890791395125103414336222366709731835782266805818258862041080410011192578664194863733124406814974225402589542012548320631328379024214519320476750560875984507437754637600545846630075012165006471135308972553107300025910699501620684313519235961574242553387931206666836043136557512533619294861816200293180539920287461456278111260043970376026625034921707944560546691107755817792805992316978055321867890303066537760754096418918226744084217258793120202785670853/2991735114944154319105122184954708363933198832210523931573304403448183489238432749613774851737732733504916259524758502509691055919132241270101697957172118123388534360211054655417824832238097264421105771707150015050379511091018550312850037652263781432319326677070032815818569949471632126604835142862211603519471156858518680233949603760380439810529983234211461616853207329711767542891420305472917968307978496370713523218204598609837540188246873098455164552848186384928519331052383931724677943080337147424473274610530926198153893918363035792082021850169036750384476606453278736634387518358537371417316749322350592*y^13 + 325971775946468847346317912376163184109664413435687512818825248516086882951871571968541821453841604331081677375947814108662341909005401328370493466454177620055625893560773199891377970864876000370053367519623990584511943333330930860633536691518999015125870049157921449715770243185816989896629759166238887431029438828105936892560272682896721405511595392944095235948166504712775949307044095758004019129890650041710804755269234553542787958695146538026009387930119261779861404797455932321649449579588081398376468050079968521246566400795754466997588676622055838377564885677194185884110554558249237210812025651664936244771/1308884112788067514608490955917684909220774489092104220063320676508580276541814327956026497635258070908400863542081844847989836964620355555669492856262801678982483782592336411745298364104167553184233775121878131584541036102320615761871891472865404376639705421218139356920624352893839055389615375002217576539768631125601922602352951645166442417106867664967514457373278206748898300014996383644401611134740592162187166407964511891803923832358006980574134491871081543406227207335417970129546600097647501998207057642107280211692328589283828159035884559448953578293208515323309447277544539281860099995076077828528384*y^12 - 32532397399439137268156717240163915968100682733910445239525899422425866389012823062901596904973193155323702893794428240677497674555926198527074776876458383175111500417295198967493831793594330094758175561883936585817564658983739717128023945739616497896220321593168506055712886910348093525828365412462008847588449404236560788739437772305404507541414061013506754878199151223364744184568111020898634456406394938668155298475510804943945516922355599281453196834387099484370569539591597837524859689941259917401545093976508800915003284228834650383058415512852738701132306978953181042820703416493784257991581752063015948920167/104710729023045401168679276473414792737661959127368337605065654120686422123345146236482119810820645672672069083366547587839186957169628444453559428501024134318598702607386912939623869128333404254738702009750250526763282888185649260949751317829232350131176433697451148553649948231507124431169230000177406123181490490048153808188236131613315393368549413197401156589862256539911864001199710691552128890779247372974973312637160951344313906588640558445930759349686523472498176586833437610363728007811800159856564611368582416935386287142706252722870764755916286263456681225864755782203563142548807999606086226282270720*y^11 + 1658983854627482214931132889791701038283979408238257420635234307137431200214672555262077040476909849002469577048254461163233878459093312623842823127978689001422473935353254107474806406082444909127144638702239206727723838461142225760484234042748680520045226257312994174060917494715395905031418203392398910905141983868384478234496987678662920796797901886687878466288355940668259754573665598003339909392328949613073203982498348516033957159432084085589161856718521708421716251664754123701425770919586226822138229711611753628627107959244178850758860840361376865440106441091272634735596360120968812722031142046306487839907/52355364511522700584339638236707396368830979563684168802532827060343211061672573118241059905410322836336034541683273793919593478584814222226779714250512067159299351303693456469811934564166702127369351004875125263381641444092824630474875658914616175065588216848725574276824974115753562215584615000088703061590745245024076904094118065806657696684274706598700578294931128269955932000599855345776064445389623686487486656318580475672156953294320279222965379674843261736249088293416718805181864003905900079928282305684291208467693143571353126361435382377958143131728340612932377891101781571274403999803043113141135360*y^10 + 806209879563298057807952220857122511305459807697422074129788795762059233702171735602300224279886359408796658649594101635532432622250373602905177888382896482943117830745555854255466681243966412954198627755181945093992517272697340876862306064260515277659080871342600944216868767696845638335652798587231968893807549665262685941664166033114893910780823049652940366309153442688133669314579755269597381186627751756137793886918388400104452211992510085511861023934932839904813948836477895521049758101416517502869547751458324416968991799082029454596780972418032472857622614930398552635168535990730292093172013812361261351971/20942145804609080233735855294682958547532391825473667521013130824137284424669029247296423962164129134534413816673309517567837391433925688890711885700204826863719740521477382587924773825666680850947740401950050105352656577637129852189950263565846470026235286739490229710729989646301424886233846000035481224636298098009630761637647226322663078673709882639480231317972451307982372800239942138310425778155849474594994662527432190268862781317728111689186151869937304694499635317366687522072745601562360031971312922273716483387077257428541250544574152951183257252691336245172951156440712628509761599921217245256454144*y^9 - 274335427001059545959711971728693843473194001728936275222611060421751339524182002097691936568184351563946721813423461067842122890027541428590848223894756866622114491875093226641241569888891343803667267350138492961817676216962191990117071087460266378413531843467917002977097865344473011308820560419397991557874952953490646518659077465600234825274745483232163220558455608128243042954768092248858723590857428757708306789246118819352114520143107061867669224541915361688565441293667782855185424064415179247730776572097152181389480638491256909116801980229481835410144150686277016131519499067884097349682664548357545803247/13088841127880675146084909559176849092207744890921042200633206765085802765418143279560264976352580709084008635420818448479898369646203555556694928562628016789824837825923364117452983641041675531842337751218781315845410361023206157618718914728654043766397054212181393569206243528938390553896153750022175765397686311256019226023529516451664424171068676649675144573732782067488983000149963836444016111347405921621871664079645118918039238323580069805741344918710815434062272073354179701295466000976475019982070576421072802116923285892838281590358845594489535782932085153233094472775445392818600999950760778285283840*y^8 + 11900459339062621814853037544014994551323289457341950839714080352565506127198943614229743353195055487614562861908062846715855994463588711381614483840084359921866020250918051824400734772440745701401695483281192319322199178903378581885351838006623074402262704017089933346442840483423854848832004073480658112477626880835488168599236863403946531523851300382687553077712292377722917648009338161921324518335499253471405754483655492646456637226754197075319842155358835067280690357625046771963261695210497956093457060161180257472083668192557960136611212869153308082627646780433572234935631170988521088652717575784458653699/10471072902304540116867927647341479273766195912736833760506565412068642212334514623648211981082064567267206908336654758783918695716962844445355942850102413431859870260738691293962386912833340425473870200975025052676328288818564926094975131782923235013117643369745114855364994823150712443116923000017740612318149049004815380818823613161331539336854941319740115658986225653991186400119971069155212889077924737297497331263716095134431390658864055844593075934968652347249817658683343761036372800781180015985656461136858241693538628714270625272287076475591628626345668122586475578220356314254880799960608622628227072*y^7 + 331736148597684789681209064236926217141333881664599041758546892357661541836216769018182224643733792362998448999883821308909537285528034102772841011916693602486325960517485240617284340838517621982747020375123255239715458457856889486199710601191050914849625759682770855879476612052191342130917494051478281634990633510139043668432561822255882222027049113459315855129341116598290539494478429824974378385427547801965823415567566516133485382046696568058998575569291975270720904322241813379785902393808288613905753545374169803281488941159811773209432705014124036983832864617689780449647955625048322601454968662191636124029/104710729023045401168679276473414792737661959127368337605065654120686422123345146236482119810820645672672069083366547587839186957169628444453559428501024134318598702607386912939623869128333404254738702009750250526763282888185649260949751317829232350131176433697451148553649948231507124431169230000177406123181490490048153808188236131613315393368549413197401156589862256539911864001199710691552128890779247372974973312637160951344313906588640558445930759349686523472498176586833437610363728007811800159856564611368582416935386287142706252722870764755916286263456681225864755782203563142548807999606086226282270720*y^6 - 2767311592962598391776674784595356415665811854662276584297349417019671165006501780361553168870989855998774551750580224345650079600705680234031171279628943166323392171293439729572147818466180679958114313788310602850309694401041433425466559124697730072614663955225209571229071527344530688497416350802961263652845232391758451848840137950347812038963276827728137601384923784938168700924206019444949671882317334562896038948735137438714562513623747369231992905099322788866897837535406793390621205744096742587605657289383281459435894835432937891878817600388398127585877594667358944279270189156508058578817034778409465953/3272210281970168786521227389794212273051936222730260550158301691271450691354535819890066244088145177271002158855204612119974592411550888889173732140657004197456209456480841029363245910260418882960584437804695328961352590255801539404679728682163510941599263553045348392301560882234597638474038437505543941349421577814004806505882379112916106042767169162418786143433195516872245750037490959111004027836851480405467916019911279729509809580895017451435336229677703858515568018338544925323866500244118754995517644105268200529230821473209570397589711398622383945733021288308273618193861348204650249987690194571320960*y^5 - 8325254129866926899866298047189497483594914988535396910058293141218655444265339041025636084707177571369817839022869827823702839206709152563754515218839407385154259864754761356261279672215621717271729179560356130789070346426131814303023973418852802604540321647143304488797418966287455840532273798681204576905045149452182469950428106273781071044297749759414787151663718528730695354216023773108373356189102814755329886456711631508869178362041348634105552278498084961474999017319827306209338567660768730913627355390044122736096142845550663460796577607808014421746942856814427034586061527104605049163782399150023792939/34903576341015133722893092157804930912553986375789445868355218040228807374448382078827373270273548557557356361122182529279728985723209481484519809500341378106199567535795637646541289709444468084912900669916750175587760962728549753649917105943077450043725477899150382851216649410502374810389743333392468707727163496682717936062745377204438464456183137732467052196620752179970621333733236897184042963593082457658324437545720317114771302196213519481976919783228841157499392195611145870121242669270600053285521537122860805645128762380902084240956921585305428754485560408621585260734521047516269333202028742094090240*y^4 + 225717752492936012795427744908497486846922775408625893652914474381936890189100470648732659526036448120486506971039120338200885894978741197073772085876920312257060972239368854782605642541040229277811601500927500318048188667998629143723809354107174466421064845570501071285989128252273683363419827368881227615134909270516579186960322931875357539621918812802069036211230237794696115444338480626963187756435970348906555914766282035578493916217863556921842398600868966750450425838024838042979830451531071079969043178350553260070499891233226303616301938621100223637611198822513527431841028521828173741864596967900011491/2617768225576135029216981911835369818441548978184208440126641353017160553083628655912052995270516141816801727084163689695979673929240711111338985712525603357964967565184672823490596728208335106368467550243756263169082072204641231523743782945730808753279410842436278713841248705787678110779230750004435153079537262251203845204705903290332884834213735329935028914746556413497796600029992767288803222269481184324374332815929023783607847664716013961148268983742163086812454414670835940259093200195295003996414115284214560423384657178567656318071769118897907156586417030646618894555089078563720199990152155657056768*y^3 + 8364470429628251335709273964590631366722314680998316320534857832077623142821296004757314548388691675921254315676173797473973968172417967411502464235627386955484978901002131693247280039451384757941350882632373672933981976385560084169042981596762317989787125636661390111488458344128357828473150053288167977850924432233585006513486545484843027239976438205493916606159054012823231909717524041338625816669794651249982787084745511110362161895714467397828112994075375365598245433975047522064515089613317583341357577666118267119809978358899031874292582171106918707160109040174290522620948901860072070338421345913026683/654442056394033757304245477958842454610387244546052110031660338254290138270907163978013248817629035454200431771040922423994918482310177777834746428131400839491241891296168205872649182052083776592116887560939065792270518051160307880935945736432702188319852710609069678460312176446919527694807687501108788269884315562800961301176475822583221208553433832483757228686639103374449150007498191822200805567370296081093583203982255945901961916179003490287067245935540771703113603667708985064773300048823750999103528821053640105846164294641914079517942279724476789146604257661654723638772269640930049997538038914264192*y^2 - 1204296362657685507553676850475241675863584806678232332413770677688860087200596163400844075287356876668768475628002873910916139928211315570002378190681439991890887920843672873252748713864701543595124580724816315614256116033293078141180832728906158172245703746182172053025660323904199240176680777852831787289958287042977900715519989047472729720777573536719251428042689680445322519383820244133866938846424428996853382273405511379579946188210567933191440419898443858178954466155985339295928252904277090484663517963614801661085769320862781641484913083222883264537344092512182599923413451411922600094603160537390671/409026285246271098315153423724276534131492027841282568769787711408931336419316977486258280511018147158875269856900576514996824051443861111146716517582125524682026182060105128670405738782552360370073054725586916120169073781975192425584966085270438867699907944130668549037695110279324704809254804688192992668677697226750600813235297389114513255345896145302348267929149439609030718754686369888875503479606435050683489502488909966188726197611877181429417028709712982314446002292318115665483312530514844374439705513158525066153852684151196299698713924827797993216627661038534202274232668525581281248461274321415120*y - 57548639915695758937282696024459627918500328825691478234149279007421602523484551321499619750606773040247651757835668059936973205171641685477994339610405976261351696951190782484718827516123149373353967283186251100836474842529416671901265293892348013179941005218454010166002884835393533381781647829523737051981295894729944762513885751478590276707748244881656281212793996240687637189387448587810991177598361562281113703109096982765928354246485675335283310028084893996244178508234399883083129343097250469594079263831301665760305642293922591562658735543363373105524071915011306981003038284764871768989692906758293/136342095082090366105051141241425511377164009280427522923262570469643778806438992495419426837006049052958423285633525504998941350481287037048905505860708508227342060686701709556801912927517453456691018241862305373389691260658397475194988695090146289233302648043556183012565036759774901603084934896064330889559232408916866937745099129704837751781965381767449422643049813203010239584895456629625167826535478350227829834162969988729575399203959060476472342903237660771482000764106038555161104176838281458146568504386175022051284228050398766566237974942599331072209220346178067424744222841860427082820424773805040