# Manifold: Census Knot K8_78

# Number of Tetrahedra: 8

# Number Field
x^32 - 48*x^31 + 283*x^30 + 4640*x^29 + 73677*x^28 + 895696*x^27 + 6882206*x^26 + 44272473*x^25 + 208973971*x^24 + 770478569*x^23 + 1920857867*x^22 + 2570357367*x^21 - 4077926718*x^20 - 28936107261*x^19 - 62245096528*x^18 - 57232157795*x^17 + 15205566956*x^16 + 52539943657*x^15 - 10101795480*x^14 + 22055171762*x^13 + 87341530686*x^12 - 12742648669*x^11 - 29297155288*x^10 + 26452471563*x^9 - 9299967737*x^8 - 12183340657*x^7 + 2222345826*x^6 + 1151052978*x^5 + 1295810603*x^4 - 309923354*x^3 - 124687981*x^2 + 15819123*x - 204057 

# Approximate Field Generator
-0.187515336303515 - 0.403129932499287*I

# Shape Parameters
2202331521719120163573816300721175416904230839796712330524499098128591193635634730603866255247825253889994325922141476594327525177878007821809915989518549527792808154147064017257949009746809077418627692182657609977473506/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^31 - 34935021971729569592066539614069575678261409631368106399823923090920398459100845409817777094102012944772967414193260694314449383874371215499850174361189850166606542489889733007483929080197741284386676402178979270995185904/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^30 + 580129336211707963775934672555163133321889796067133993414586920411110111454792720024424268576861064057737494264976374094999000874012920990534051624091878441179367157654996334962369989429031345138807736339635919810465377491/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^29 + 10456522398750284231067770460185120788235680425877183471542565054133575145580174791168759203279920189614832742104812386271524350797637967229661423440546095984860191652985560069784704197461262438297008136145175406535690127675/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^28 + 55524375300216496308017209487176718541009441197809861156324499120712223214214004504999035716409283631920185139170601876199238883687392783427788578543013918676284890219433301907314001123173722226306072749320706532387037354531/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^27 + 2041327686405589630848677197069182251857606119921924838802332542737056336137478800128555677676562309635420746911991843376519802447314854522255974681710171976972868406766857398077907988500840945694760885520386285240036956829359/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^26 + 15999346258277984281716670842270542772445661598171803101764245096711355935114281409974650688673922758517721907845855494643787749369873110566705134344126701829100943708582822364419521515922699665094531414620008893765484285627287/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^25 + 34704660509055778137747502305779876562419835255267340016200766367002029606344373790512057694846797226561185725959000008200480066001667362238476856509011019630709255250542256976716050478493552854949169580175005343541358158103746/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^24 + 503285004251626795658440206979156936152951609589051153336000603403137140167291640371476617148641280406327806722600076846884916459995535716111871888853530670706005357706385472593987597644873202422886402938972649770293673459206678/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^23 + 1905290849377284474274250637412473599364783321372876074494525737166870685856474547438598645057641212974706828804888002683852078993266919072849783336768710533772868452137187998512154457304934172073728747583805681579487500769489337/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^22 + 5020786921283339921693722199757627054103356589165324011199028803333583644773452088426910674946324993213282995054181060615673350816915062797932567780845841101845111070229020283015303440423874097449623416944964748230885652702577735/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^21 + 2583563135001492361669304078796843226709482919489884562575643225603820586055493377153465862309714776517268635714602587301490168195174595527915748447509035541432627689450769272631840242021265395424421584598196802323385172499240757/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^20 - 1909626368522563686893711031290166147641242085201016662466683255182483655172986477391472440574592585745664846462964749234573973346185503108384607925288183406664935443975338677374017994570884519086565203173604884560325749478574058/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^19 - 21995939847801989243477546144376833894927752374138364446808246556987762773813781197855680735619617079879924509980034434981333922550871776179320902940940138356934890072079529168669650598234735837395033331971541619330658544220584391/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^18 - 164303510482060112502755987132260743020208735025619640606088698413039182407224107789549295186102366356308640542385025971917022610646911415849117122321058043854913273499957215276251874517827975828823678884469013305388087334799151293/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^17 - 194453161217826032877754443172516539000347694869479771487416189224957889357422585346307331796450473044449622545130770627286054504079437847842036387660275663032144956450550898998566664165153322086787326198832890436668456457888597033/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^16 - 48571539158550581984739042433750910910294969531409585284942789135073977881079843878822124597695413912553310929457460850555394765373165348603575858158682571711462424552710057220088476569186098911073909470663913246006760804521858728/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^15 + 93168250416551070827420345558261105958235122447940017450663557546934377856433292987314448934038341603057573515850878779202480712096423206602835556570018746949537146439526291895398345493178959241289833582467579463387368471512969801/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^14 + 5048409633619405907322364206846831677829185077303731958112609268435719978884077831584678663789345671186641309013319439953876059905796863907419637210429363990458181079952057673915370952666390134478324590046748542183501091026730866/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^13 + 55740008757034144295593581044249034203868927731669908481078476200361915242276288563400569576121929019333121435164505601637268674561830883435671120454528714520451490610611869475319705022495682958225746666546625845329956411313613025/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^12 + 71888607297250048741204496913869309201109185201434789756136177544601990981933164629209954443931152825264832060266270110580053615077783948852976193843188719503151711001597587954340573287851808252863572324039872055414663345403230276/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^11 + 61404989359271932263884824611131961044863415311772111126103198753709694278485545848963377671774948133203034051275873017003058861083505445570185773402772733346640414406354368986301113501966454049305401642181699993528348123201929534/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^10 - 36677742949869916623951178218986546951275602325622434786735845585531654116251629349031113341844106178597049824160707705657615916258982928089192736584876114693925098608600743167750815774451744970694415632558801658441985688556474108/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^9 + 14765351295298955254858146656375724936401114705924131211340171988061427414212826141122425958663558999128259946512944968618384843962673596170087634782166814457987440236241594047913954825848834816802105663489536117099140207471886246/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^8 - 2526132512687953167591350648672297858924644852488868206734827214737328764550154830503688890280233394155037231788785209216101494367960990678848692782980417606757772721239160852086060671896089218876694131330203577999046952883758088/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^7 - 27422642663983552281505201452901046977316081429564163985229163071470300566079076246560805174333382690234997607544105868976194529819205602515092119327688090203442468827767155413739533531394250313502973686912789423637665341531020850/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^6 - 2112472321940796189269936173443192997784228829710699871707650474103047162579602085545505442936793508486285053161115656265243879617849664165685854986831966962459717971202123843626829041813392289455955935991425140193746250717278443/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^5 - 132184815672674934234315701880550543180889759942830267879098447770201748014092326620743553360226435255502601627393438115378524312381745955411286517757376652370003620772159597635646058189730356227309638639590953485834967950616126/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^4 + 2575061327403469811148977112301781417801754378434543493843060325218157430587006375579626663065319343282082258062935139231452179121021785380129520792870017750215617472474535725709868894901117371587374522086814227620209309979537549/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^3 + 355179546240201137987142395098825883444445889375268790845323078953387265874279448468577038833393932108344225574046428892376846580268205381402792466576296493023203378809036138763979297742658125192093515720536564882247886358597765/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^2 - 101765497711660577836134565549052258782618161013455469437849048282543438658822243345164107660733129623747010009493514794093547887617356511840722769592029541393997508036867370922072009889163522921211416916541070667532818483759000/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y + 1826089809662167773435781876727997205027641146200343223991130306122110689564240516083217556140186001085029662929233699921262457814860572510193545936480054254255548989104902366338421904667624858703325625830576377852967893788522/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227

-420950665809221885661879815110265222752345176334246633614567317839891872624993069418697604533865228451892948362796208171615070483446770886484856723561140790765976665901758206102362402839622205842592316376736169755042343/1035288419052886916892224147600191988259265972484116808474559157119866322776087401276670333725199545528188248695247824150248052354318861336944839511846866838540717336547075191879705510170645508008206617586104167867653113050571*y^31 + 6675612184290447800318242231890181145829490793576428282588902256349199084561553035314447707834201489995350600344369965325097078980092439945014014743639488617093878475941983951805540004727663364035689529558762545841642019/345096139684295638964074715866730662753088657494705602824853052373288774258695800425556777908399848509396082898415941383416017451439620445648279837282288946180239112182358397293235170056881836002735539195368055955884371016857*y^30 - 110626150818772161541217657014709551423198086491380847435416031423944677531308913060612926440458431373443171498729169521038693082416950453581488397101772312226862077228187131981055038001150560214532387753781104523780384425/1035288419052886916892224147600191988259265972484116808474559157119866322776087401276670333725199545528188248695247824150248052354318861336944839511846866838540717336547075191879705510170645508008206617586104167867653113050571*y^29 - 2000040408139250883495106253540862583175250122552669098409390112483650704268855507203136248134850099539035735322295402122782492746160913537539758759094178692887492380243790904552833270765928296695432975809886264833428200400/1035288419052886916892224147600191988259265972484116808474559157119866322776087401276670333725199545528188248695247824150248052354318861336944839511846866838540717336547075191879705510170645508008206617586104167867653113050571*y^28 - 10621569832415968159271506999106866978521182544249890678871880041268627698241777634258995817929162109869747438705116526351087767773668680981066706917250748077769083053284060520779513970776750812908050521660233585911571988974/345096139684295638964074715866730662753088657494705602824853052373288774258695800425556777908399848509396082898415941383416017451439620445648279837282288946180239112182358397293235170056881836002735539195368055955884371016857*y^27 - 390594343128791208130618606844976693570192020022389859804248908543388809988590745408979074843126120789373963464398672758788057326893931424042521976966112472431037622257724482739585933041236188429983667782654783542196371793997/1035288419052886916892224147600191988259265972484116808474559157119866322776087401276670333725199545528188248695247824150248052354318861336944839511846866838540717336547075191879705510170645508008206617586104167867653113050571*y^26 - 3063229786455726067532369267760413105513613516078086760627766881879375256037441829739508554215629184658316265197497287808700121213662688956566318971714716627076679838131822373294616135444086838584374921326247553985334509746707/1035288419052886916892224147600191988259265972484116808474559157119866322776087401276670333725199545528188248695247824150248052354318861336944839511846866838540717336547075191879705510170645508008206617586104167867653113050571*y^25 - 6646933591456497197160362986362777381127055557077424434172205520383732368944165776790027700194507959688794838605815992014858069504677239031387850639542008044562174137138064518271613177658352435663936017738005904295506327698253/345096139684295638964074715866730662753088657494705602824853052373288774258695800425556777908399848509396082898415941383416017451439620445648279837282288946180239112182358397293235170056881836002735539195368055955884371016857*y^24 - 96462815998612333174951786182714165681144039607173409009460409808681025717940518738467294348535715348516133241638996130974639047437403600656841018997296662614925775435006523213161753520013403720262299060755963813542239010364051/1035288419052886916892224147600191988259265972484116808474559157119866322776087401276670333725199545528188248695247824150248052354318861336944839511846866838540717336547075191879705510170645508008206617586104167867653113050571*y^23 - 52210250264932899782903672518107803544768557137144750028574200476636849126734662221673027525679631111656498990343481134216345471136533834497682727403218117089904298374007239865757939443929186166662836461021595049846376401426845/147898345578983845270317735371455998322752281783445258353508451017123760396583914468095761960742792218312606956463974878606864622045551619563548501692409548362959619506725027411386501452949358286886659655157738266807587578653*y^22 - 964635555392749977900895016285125864995219524750611460395755824017448251878030118048912039295602631570420103383297240284561549762606509593313009387304764049972076757524571305386355987402389615747934755580242469195753627895232642/1035288419052886916892224147600191988259265972484116808474559157119866322776087401276670333725199545528188248695247824150248052354318861336944839511846866838540717336547075191879705510170645508008206617586104167867653113050571*y^21 - 71183900598608369184449881645594420411063797393218857482732319435726458438018406819793143495032015812947242345604602834241988170137698793262581885731135605658218404147738051507822222480631201420884554949997648897963365306354925/49299448526327948423439245123818666107584093927815086117836150339041253465527971489365253986914264072770868985487991626202288207348517206521182833897469849454319873168908342470462167150983119428962219885052579422269195859551*y^20 + 357703400436073836470107737804615132263083870920279532020166272844941728607937668611411279075252995261203817341112322990610145063294244162867612516669264702085486765286088293838770762715425800668002769441633146169340659430501656/345096139684295638964074715866730662753088657494705602824853052373288774258695800425556777908399848509396082898415941383416017451439620445648279837282288946180239112182358397293235170056881836002735539195368055955884371016857*y^19 + 4207437979448967848652319310272127063476840084606965031375761557007496206898889543970080134266882338903019897886112594095197932170075554179259586241565332233586690862985957146560974885770579909576890038048696783966099789990571971/345096139684295638964074715866730662753088657494705602824853052373288774258695800425556777908399848509396082898415941383416017451439620445648279837282288946180239112182358397293235170056881836002735539195368055955884371016857*y^18 + 31568639940299713044126224643669067852001870312896308935364580760845680111386935393555908025348850488323439105669026201125649517823298202024653788726127290416614279945041746264262547560751554041036501483731546892329572188132752368/1035288419052886916892224147600191988259265972484116808474559157119866322776087401276670333725199545528188248695247824150248052354318861336944839511846866838540717336547075191879705510170645508008206617586104167867653113050571*y^17 + 37604657708630201512721462314419775111309255102050701244387702755001587803123450517290397901905004385794659890770266046197742798871941264830039213803872199526484433357321268902693496425361026940675746694122294957279851657262638034/1035288419052886916892224147600191988259265972484116808474559157119866322776087401276670333725199545528188248695247824150248052354318861336944839511846866838540717336547075191879705510170645508008206617586104167867653113050571*y^16 + 9854255358833006698264495805403159261061640235774632237517237241285764274562933436917365836544436677600030448891377855987331222533919464924703464612496678544313320100228101023884116377441805545008213025399545330947451705598627303/1035288419052886916892224147600191988259265972484116808474559157119866322776087401276670333725199545528188248695247824150248052354318861336944839511846866838540717336547075191879705510170645508008206617586104167867653113050571*y^15 - 2508526910815938188818170964538124499240350807636859618862510079472045670840294071540095446385241419709258839238066975646723525280362680436780567000752457547844797268970274057617446372984703548655043731123387481008365026682107623/147898345578983845270317735371455998322752281783445258353508451017123760396583914468095761960742792218312606956463974878606864622045551619563548501692409548362959619506725027411386501452949358286886659655157738266807587578653*y^14 - 1016740504402050980937098458185882737380986226071281835820811921266117449298946894117579418148809343390753025975288967781072117792083326748686929174064751088855273766491289811682357955525016964833959944450108849963162236310254045/345096139684295638964074715866730662753088657494705602824853052373288774258695800425556777908399848509396082898415941383416017451439620445648279837282288946180239112182358397293235170056881836002735539195368055955884371016857*y^13 - 218591857202664034364298372028313476942529944285537435756778718524958817710565842375397215443215378109698214341285726826856332018374936691630253610366679519556513974905581444937965169413644508836896380969116555196871055459317762/21128335082711977895759676481636571188964611683349322621929778716731965770940559209727965994391827459758943850923424982658123517435078802794792643098915649766137088500960718201626643064707051183840951379308248323829655368379*y^12 - 13792590770170326809769133387236800381948692791116541560753115882807938172162679929970119328298351488082437488162479170836379086562278372142466286206049976682438389405689349410206434424678981180384748706544161391977462030417572608/345096139684295638964074715866730662753088657494705602824853052373288774258695800425556777908399848509396082898415941383416017451439620445648279837282288946180239112182358397293235170056881836002735539195368055955884371016857*y^11 - 12291411595477791855697799724764993568991605484659610248074099651424962557851834255046387478967894197017769257119226807825917914651367227423357043676413276618578133598308292783300572928648216538110837699098120379804934340613240009/1035288419052886916892224147600191988259265972484116808474559157119866322776087401276670333725199545528188248695247824150248052354318861336944839511846866838540717336547075191879705510170645508008206617586104167867653113050571*y^10 + 6747019856683183028997716639214222828356084525295419775993503957546784357838080536794253640367141866678319940896742933668427518762513304859741687605874828910502468288501201241060979647530037300880961743452179672078787483621461195/1035288419052886916892224147600191988259265972484116808474559157119866322776087401276670333725199545528188248695247824150248052354318861336944839511846866838540717336547075191879705510170645508008206617586104167867653113050571*y^9 - 2818288259709990624907120075608327584534152518849235294248902202642798167172404506847299639920223058040579095743371030315997007866869898358264028811912907584345877971620329949568519942209973417181017797379869634673186126199057840/345096139684295638964074715866730662753088657494705602824853052373288774258695800425556777908399848509396082898415941383416017451439620445648279837282288946180239112182358397293235170056881836002735539195368055955884371016857*y^8 + 370625843723617856253496877612774552738838865413748284142196726276548519804957087129264298899602758695118656467179108393409427030509391915105088366283145688675201638066071198583076308227504481193169462954433170695546899131483457/1035288419052886916892224147600191988259265972484116808474559157119866322776087401276670333725199545528188248695247824150248052354318861336944839511846866838540717336547075191879705510170645508008206617586104167867653113050571*y^7 + 5223674747985054149145080411766741359714253189338082995880498342154297537487300970231520084364519818861228032202711693064041396027096084936775116194921135172786705748302656635382716576794699746948333104064565062299767843623599453/1035288419052886916892224147600191988259265972484116808474559157119866322776087401276670333725199545528188248695247824150248052354318861336944839511846866838540717336547075191879705510170645508008206617586104167867653113050571*y^6 + 422418171938074529496452705198288252459096001735770393746794532416830672045028842970107303043707447356007385127313411995797022908041084043881070136277076288022228772542591662273193826318537905083032979951244108034742153546918915/345096139684295638964074715866730662753088657494705602824853052373288774258695800425556777908399848509396082898415941383416017451439620445648279837282288946180239112182358397293235170056881836002735539195368055955884371016857*y^5 + 689613848053844972312150816806789597674949860744388927693614149305999913712065235743438329448151595031274720112323046323214973325621394566421272889078337916251775464377777168545164900136050091604754551913468595796273126768596/7042778360903992631919892160545523729654870561116440873976592905577321923646853069909321998130609153252981283641141660886041172478359600931597547699638549922045696166986906067208881021569017061280317126436082774609885122793*y^4 - 485450367809706122169047899103961952574841517812299447360218568437620588890143453734952118466450817210970762054067611240296064748496634376415260346238373828333201430477066078361372876839943903831281730693958056813140055074356697/1035288419052886916892224147600191988259265972484116808474559157119866322776087401276670333725199545528188248695247824150248052354318861336944839511846866838540717336547075191879705510170645508008206617586104167867653113050571*y^3 - 71374144428417272540833345520610309555581583786979481530412104197488187316012162025071021989605450955542210835894520478221901797566333892445462048247694934623242795247236317541835678424082684764538881376771848909005232895454838/1035288419052886916892224147600191988259265972484116808474559157119866322776087401276670333725199545528188248695247824150248052354318861336944839511846866838540717336547075191879705510170645508008206617586104167867653113050571*y^2 + 17757135260316094024880596354744409018231931881740953397562036730855393162809184889340488772588740994267363615839785768367961348924203074500448977970487036951345784411299294886908411978895429469609829108200822731509432100814275/1035288419052886916892224147600191988259265972484116808474559157119866322776087401276670333725199545528188248695247824150248052354318861336944839511846866838540717336547075191879705510170645508008206617586104167867653113050571*y + 324597308432684983349811950832396893574525451256204012450639327840724979994093479816668943488288852996577535375354709865656988652658568069198238487798342570722322127214056406426639409162511706701552876348974474888202999047819/345096139684295638964074715866730662753088657494705602824853052373288774258695800425556777908399848509396082898415941383416017451439620445648279837282288946180239112182358397293235170056881836002735539195368055955884371016857

-193272751531328410214283157918507496772757387575317898509354882854980887503322164918645581406769317214079222821683363188538696020731362525719185353652081823556280164382834985409940807548804235851118610076147922094005305/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^31 + 3069935506716343764589754461746324413064909354648918468303145494612263537240804797803528635048867458524188702459563656439943420720069470940153430525244676866813794484878007441798961572732630606624060256939230705695134045/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^30 - 51522164671528700073864815811806967749444825889421989939443481412985377570289935543542837117439256670806191141613444999474423503581565965077483069064392961903596330161217813790879872013456495729143639377518232035636756139/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^29 - 913202665016671530506804242187896422189555767004600300930143743730229142850119123837850909974881344568635184557270090544034816810037985380922300920034443881957588519356086433380904820531887027706289433725468156407433400509/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^28 - 4855145727058545856531549845784464653634901927098349466662788914085575017594583190554466222893929630275503485709530825416255487734999093283517613619655655735293788430039692296302204199673949328633543984392020273429378874169/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^27 - 178341868259014707861895689877886730533849775000901920029846842744246806661506989382699090730959634476750270817243323266501019937539743234166581492131567422681504784853442520185528832784045947655357783798546328824846116620979/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^26 - 1394741502095433646764637086782474140649156759999723882828354247697183049295234482370199224142225346754485638609031994919424012444741378278547917176835499580598534978392861990218614688041758725569378326076868119519281720559892/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^25 - 3024422332541144962770829000039892822071275474686054102040699651997218793674879389501982176884109674146715565034643425663925845443345065799459423567290675963319464309451647617857055757542993060257233996942323812604471985081237/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^24 - 43795986284384714938209883610642335785922123053758507448510150779656655218233558900994847279427551424400815398525699971998175830548158113590902925078467815567143423438903779374974144034107115134483002667327974966330814906476819/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^23 - 165792301164238788014483697906006651197647558939065461053394215632821038056878650840060355475559722637860002613349259595254170663163543840232183603114403551300627138383072622309264556043128031136588580607992835004824973248430704/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^22 - 437038728239041768502885936610772205910073827434290305439008079949408897871885912277913527758998920755094756211525773063246700596927792921827305741346987598651603576995529404421354089091385129932225315034152117123010467594708598/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^21 - 226725790769192123051384607871515795050565487855925171219016476025593890770266164572120575039707634026732315630289975596221367791500113526776774453529407072932498806284072820507039077413795219387465958979370512126912027596354276/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^20 + 155084446180128715163865542194065125821983727172979747169789365784291026481831179779323183986664106283465297163978176858099325035925371206420323228939567195815268660547056687593413466465933354511454436360163245294669647063255977/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^19 + 1869469179728112691442950410649982796583069143683854376952402347447877142912275844874413285063110456208380446944580811631101698442571524220933407999609140084284376797186077794022707700130188191464947984180537959698794122983481858/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^18 + 14017117273294127410760592631607949083741733680439182467666047965460674960909188111828291058067965730878099157881939067077507682033613979195129164528328787052865795532344931458175249021755065497190343387486354287659032740904448757/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^17 + 16948630554696733023779879687913720996931880666176791407855350366348526593203181813611675772761728442356735635948214351844063005244769732380269540150537156402770000664102883540737648325377824606411377054573234987417740492389522616/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^16 + 5793409397888945821827064830174269427922099934365750262208998868752140512050609383033934480743257030218959626227392396918646564922925223470415181738937361656308463055709955791566365063151267730247953985339183711115888157522040867/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^15 - 4256245128536941582576587901735688418550862894597418675421130487212756312196383308797317223179711038528163621007677024953674714092657512346922291408065016420968013657653462202430352744426459814025732402112095737994637191026561748/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^14 + 803653791750229104156930829123613411226681001573568951711257758797222300271515265031045942765504458149378687022273855873901189265510004811475687616225608209131600878888422158565847236140519204138505801305819972726243270721957291/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^13 - 4371517728071608757047430418482982308819730733376329685520799187353951958005748566899283570015255132338690219337583948218500565782697687907725666035506180773447017123475234239139543685723139338078220307994385969830800462509564470/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^12 - 6290658818268447878250329333160763975852304835097800700133111036118786301607987673472121501722010816361748493616670194774810379543762658468382422428479643592485730709522569151768189217830864113525812041740439372234749516857861277/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^11 - 4790819594979571694238366046920337969454221015574270130433570194631470625488780508613767629172679716467392447726955586651228159637350829307969871205925298028811871325858537822249935051425081270940281546078857978774871709096252076/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^10 + 335275108752918664444760824348486647125679256477553470771103016873622500287104588982409566975709694404769899472089599029935828419430766555219498650250848048376859442666279686752679134414979823077227237536329956375691638997962165/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^9 - 2380246493614029235642501990369915878751788050202204240738759888045047232589583225910844505428050096801460469710648279375043956243216172763278870966283516004211562370937932632353593909316419532897968074848879122061635239111254132/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^8 - 511104345560298462799674438234008106429868124530995383748012775031699030660425476338916677188001428971500487595608760269721666097971142058121387947439002488096659554912957312171359426826515669138695723858022181287550341911641568/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^7 + 1372830529171721500431364882777414444574474956784677192861724603770693530943508370749553695925347348082767153784936892199112674985094209024313517166102650048831140567338518767054179215481077337182796998040773911716469464383557990/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^6 - 82002851172814515606671059511314696071252993472582875784647117234530608675641995469007035652520878531755867911481336362987911616079743321065999149346703707548213372618768795289643835585600998013630509600705921531182862624475642/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^5 + 14695234712585831354047148017918570102160318166041114839491484058321744474019364356283002350619620903461441235981117001492815466846685567906600720269989064566461306247681209590741908352509347392322312129759674304766793202039056/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227*y^4 - 70240555463456640876217961950432562474536949892966790834834742643276361601996348594705198881065615238012765821249603359164216675491981277478813892150146386677865881200433408721679708038953933257059665874782874536275471207914274/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^3 + 78417400981895484397023691430162975509782039897846131529778703787017218173889463498634139168911371785805234377742414930780572333480871256959888733405060900461518223620863905575154408638304259088763575074571735217614443752988599/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y^2 + 13339562272424727504619650993988260386116622548532237186837965635115639745976872997427845119411136324498935299054184818593484740916448386698695121752475539489220401229208449216025753835844078838895436848746642964397641307602683/2936838576496964927510595030947483395266081023985555844448239241625743242160737730152187273220464016906493195278356072589479168923475953588476177390749275317493055301633539830026103385994280114553892241723846517012322096204681*y - 2512319217330114846883362531022075925653245481599957788799211344299484160199783053751367889961952363692072429542757788725446031320946927787591509936848290508018841341682480383731610645805231900538889034002535646505514780821448/978946192165654975836865010315827798422027007995185281482746413875247747386912576717395757740154672302164398426118690863159722974491984529492059130249758439164351767211179943342034461998093371517964080574615505670774032068227

-1884289754923637305181711028516697097582721102772327340130483482645427665728796518192173749019844871890099693712064617981082806808463005237855392420194302217066713834704683240625480663528066546892372115304497245909605333465417/1398325761943229401830402143870118111438224956193314660884673494832990007119718537670551382960279193761739324547469511910246485137041376209941927769589624704743920899932682219889818683483614573782888374728700213684627956632223378573*y^31 + 10050766810989269336898246332558982434845174085725723991979635017935575316470417239317917718408860159825862213567303328419128265235841122209104058133974594523899832129597139951863630008649342175259260076665218174593196191468869/155369529104803266870044682652235345715358328465923851209408166092554445235524281963394598106697688195748813838607723545582942793004597356660214196621069411638213433325853579987757631498179397086987597192077801520514217403580375397*y^30 - 533746667228111100796782031208639728116481383521239281356237715388460118106376276730660091260996780571547159686235309090868684548179059984266366747156875609051067715192417329429597972245507421581525779986498157658268012634023921/1398325761943229401830402143870118111438224956193314660884673494832990007119718537670551382960279193761739324547469511910246485137041376209941927769589624704743920899932682219889818683483614573782888374728700213684627956632223378573*y^29 - 8741655406469089035226597859841275209942649418262366812683511437687782212747932629025813206734698708705119095945483965613164872475912264732160097876746940812009304212520430860618968808266541660231100326011416107671104256723737041/1398325761943229401830402143870118111438224956193314660884673494832990007119718537670551382960279193761739324547469511910246485137041376209941927769589624704743920899932682219889818683483614573782888374728700213684627956632223378573*y^28 - 376067102782234410797321687254258424098168961486421834154818087337726873731175564752517692336615374414871556695952259826149519906211773698398259220633184790887105735078941389415013918531822557328621484016577619586975698297827539/3789500709873250411464504454932569407691666547949362224619711368111084030134738584473038978212138736481678386307505452331291287634258472113663760893196814918005205690874477560677015402394619441146038955904336622451566278136106717*y^27 - 1686773748603748124507317280178127802390881332577809558730028940939493539053615902868843123504314000629337861486087617550774647862691809276554675056516714984902032302357389594653162238365975916046894820903866882861266275863993926490/1398325761943229401830402143870118111438224956193314660884673494832990007119718537670551382960279193761739324547469511910246485137041376209941927769589624704743920899932682219889818683483614573782888374728700213684627956632223378573*y^26 - 12955559234652909790994462821034278630754938018809260589805639860477469003147623055162825421348711610489296122246999014790863425121649323874146515784166024017055281057810386750893990139013704388988700467184106613528090042408728904708/1398325761943229401830402143870118111438224956193314660884673494832990007119718537670551382960279193761739324547469511910246485137041376209941927769589624704743920899932682219889818683483614573782888374728700213684627956632223378573*y^25 - 27771264046477006353481366965914007473253042575861408396701795842774299119841364947059823309164833699962742595532452429833653451016021831986127317620947366205638820934778254859958262095080736683872958224276018278221072451797402617461/466108587314409800610134047956706037146074985397771553628224498277663335706572845890183794320093064587246441515823170636748828379013792069980642589863208234914640299977560739963272894494538191260962791576233404561542652210741126191*y^24 - 393023150318618118180008668093801162550767707165619167399945246584232760490248975330704404875373812234301903654726729759668231047661324574497178407632202073566773461877540677375853115706343677961572631524835921655894567775312663243192/1398325761943229401830402143870118111438224956193314660884673494832990007119718537670551382960279193761739324547469511910246485137041376209941927769589624704743920899932682219889818683483614573782888374728700213684627956632223378573*y^23 - 206832302329925504974565792326995246981383401876217036462793741338662420675207753246971201575461684710391485350985648917400884694801818175680159154030423448358878079494502360153285531660128914432302678162397290711962290147557712699832/199760823134747057404343163410016873062603565170473522983524784976141429588531219667221626137182741965962760649638501701463783591005910887134561109941374957820560128561811745698545526211944939111841196389814316240661136661746196939*y^22 - 3602808727747430799926831201508640510152217309800434121465745674179378429854653363708301856283986170889769042070078505387531728381601023439623879427924478104854977502391188532428762711286930279143953935634982750488074347578659131950460/1398325761943229401830402143870118111438224956193314660884673494832990007119718537670551382960279193761739324547469511910246485137041376209941927769589624704743920899932682219889818683483614573782888374728700213684627956632223378573*y^21 - 1597015013464079379657149166557886343134613365025207503009547689549617821608348014623334530078592796912638560546069960598875447826734767341067004709479472008350491651756256482571303096042047128016938879623929098445195234305522626998173/466108587314409800610134047956706037146074985397771553628224498277663335706572845890183794320093064587246441515823170636748828379013792069980642589863208234914640299977560739963272894494538191260962791576233404561542652210741126191*y^20 + 2598441912523179758103612657733282376716580885561716941694592285191231232514948626869242260394917097078209272853147087616402207312916610472531329621350609228787444190824998322943788983790046275548811188946325000492555556766209942421104/466108587314409800610134047956706037146074985397771553628224498277663335706572845890183794320093064587246441515823170636748828379013792069980642589863208234914640299977560739963272894494538191260962791576233404561542652210741126191*y^19 + 866844401480323562342880409971260504366822996447037701423360794462597727571989422499837875583432865020388315113856806878540649318658119698155232798272019434949044464835683782922779621846045115816536959983778806034861285713385459965887/22195647014971895267149240378890763673622618352274835887058309441793492176503468851913514015242526885106973405515389077940420399000656765237173456660152773091173347617979082855393947356882771012426799598868257360073459629082910771*y^18 + 116893062982276532623965840532982518926771374970987240079828440883854476613261095366073342962762777173433151971450547404308208068180673735079818339096638898905169461369095285051841352078465441932763682270647149017982075408937737349133020/1398325761943229401830402143870118111438224956193314660884673494832990007119718537670551382960279193761739324547469511910246485137041376209941927769589624704743920899932682219889818683483614573782888374728700213684627956632223378573*y^17 + 106102583072544281834088238314421272268825465548282709551568951853552179439221729425086741955673167533737178762738715275193450439421393852512684467316421825432835066049749960701122906991907095246199409434968299267033624446835426164694483/1398325761943229401830402143870118111438224956193314660884673494832990007119718537670551382960279193761739324547469511910246485137041376209941927769589624704743920899932682219889818683483614573782888374728700213684627956632223378573*y^16 - 32000220391276450543464175975604089845561730538109123677935006173161719316585738623277624715049896847527638890210811820122425964782194235941724452376487651334894892651688878821846140146673234428265238282506770297799924265251523305852551/1398325761943229401830402143870118111438224956193314660884673494832990007119718537670551382960279193761739324547469511910246485137041376209941927769589624704743920899932682219889818683483614573782888374728700213684627956632223378573*y^15 - 102211347468579004104062368384637310691258153701102206263381961752544496510612512690436172017814653656993077448315273644448484089023649315721003827460080113738154476027610057951398492741856451098703635836414331713579788121424159695695983/1398325761943229401830402143870118111438224956193314660884673494832990007119718537670551382960279193761739324547469511910246485137041376209941927769589624704743920899932682219889818683483614573782888374728700213684627956632223378573*y^14 + 6155180540834014419701320765103899004700045459207612615469325091737256553493364407641362868854487490537310956422924851664269303006234843303796142977238062778442756415523609893636628367543947958105802658199923890486881885611706729896983/466108587314409800610134047956706037146074985397771553628224498277663335706572845890183794320093064587246441515823170636748828379013792069980642589863208234914640299977560739963272894494538191260962791576233404561542652210741126191*y^13 - 40352547816009688166987730128286337561593376921189445497583309546001092448880534409332137147442922300717595748377657371796235348765526965936374537325247484858644651528368925576007088782189994592659594047575021072084277118891801921362052/1398325761943229401830402143870118111438224956193314660884673494832990007119718537670551382960279193761739324547469511910246485137041376209941927769589624704743920899932682219889818683483614573782888374728700213684627956632223378573*y^12 - 54665205555795026876588403272361540604354162347975307699165286071512250620306646251814009237377578760151160731591993743842905873646627837671592490765706929878178606531259556409294209156593236677964682665900284695867931388868765546649705/466108587314409800610134047956706037146074985397771553628224498277663335706572845890183794320093064587246441515823170636748828379013792069980642589863208234914640299977560739963272894494538191260962791576233404561542652210741126191*y^11 + 631505285323441359713137565223397294180601869846172655884859322915082188530428478928991290917169994876935863082945336125761146096095420825973093520618484403602170554729250173351643990699433800719890031328730325927668187885480824866170/34105506388859253703180540094393124669224998931544260021577402312999756271212647260257350803909248628335105476767549070981621588708326249022973848038771334262046851217870298046093138621551574970314350603139029602064096503224960453*y^10 + 58598089120192318025331864094856767990372458857882495719583851309509593927517269442083101422069430970460715628374094848487717975320406216461886036795951830090840930668367136066404248969742148527773488363074745009903510319194341618672199/1398325761943229401830402143870118111438224956193314660884673494832990007119718537670551382960279193761739324547469511910246485137041376209941927769589624704743920899932682219889818683483614573782888374728700213684627956632223378573*y^9 - 16275379714789116011396886457460762142010550639299942491580031392804984047397016365001872034058633421676362803041596259844224118116441403866910739323634546068942062175112769720079375445710321592537604797763723356135830427030994667247636/466108587314409800610134047956706037146074985397771553628224498277663335706572845890183794320093064587246441515823170636748828379013792069980642589863208234914640299977560739963272894494538191260962791576233404561542652210741126191*y^8 + 17405156160521100542961975531649555336516684946359027427511686183954153598496901545837078697650441904446248471519753111608851043305934311507782193239931961941918111007638359854145659479246907676203577842010901229005096813404684839417308/1398325761943229401830402143870118111438224956193314660884673494832990007119718537670551382960279193761739324547469511910246485137041376209941927769589624704743920899932682219889818683483614573782888374728700213684627956632223378573*y^7 + 23555526836718837775290252801371561122785816852583202161191728718562804236331161014455751300838672683553955861728426045275303655077119663167865508761998800251979939056238784520428052385936166527181946031716588289986353269142760223055755/1398325761943229401830402143870118111438224956193314660884673494832990007119718537670551382960279193761739324547469511910246485137041376209941927769589624704743920899932682219889818683483614573782888374728700213684627956632223378573*y^6 - 1429226048796325222649709781858308769439727645302627897084673354624554199948884289174102663365298642505533320850192171679007108645361835778849206352039012087203523631232133839705495885063533415205670567475416881431586182787916132386725/466108587314409800610134047956706037146074985397771553628224498277663335706572845890183794320093064587246441515823170636748828379013792069980642589863208234914640299977560739963272894494538191260962791576233404561542652210741126191*y^5 - 855892806323351942683186615742406600096860646636993462013325793373578990236707064585162127997938884629640714506577197723867203311543689509020500660510299911406124398707098139466304882092579711206538653876074089228235323009533926839116/466108587314409800610134047956706037146074985397771553628224498277663335706572845890183794320093064587246441515823170636748828379013792069980642589863208234914640299977560739963272894494538191260962791576233404561542652210741126191*y^4 - 366573138430485559087559724057165993247005663408409302287769442982392326669081186384145510228037859050875503038351208436476716872381832544314105171452683739892836401353592253087819996926961315714514404766751508305941061195377872450366/199760823134747057404343163410016873062603565170473522983524784976141429588531219667221626137182741965962760649638501701463783591005910887134561109941374957820560128561811745698545526211944939111841196389814316240661136661746196939*y^3 + 574826227597466455184008271274852555119897095777209649849542687174747602021103863758738135839246961641161205720714059747034994495294837596551985431471507851371291036991494765073451513331904752035437971458198429720968826531921435587918/1398325761943229401830402143870118111438224956193314660884673494832990007119718537670551382960279193761739324547469511910246485137041376209941927769589624704743920899932682219889818683483614573782888374728700213684627956632223378573*y^2 + 268182103932072310327157335889595208444844450717763207712664068473247238706514402037173510775334848791402207325118203162153395013741984564714704148457269796880446037309275316800424188005112088720004636505418257667856689258852611244559/1398325761943229401830402143870118111438224956193314660884673494832990007119718537670551382960279193761739324547469511910246485137041376209941927769589624704743920899932682219889818683483614573782888374728700213684627956632223378573*y - 2486829737614064043687900642379147763357962547239649696445101206999746704413442589978183575859670808822687780854839698966164522498901074060221411344660067091137720558088106853800571262095470313439202810274654093223070036657282153497/155369529104803266870044682652235345715358328465923851209408166092554445235524281963394598106697688195748813838607723545582942793004597356660214196621069411638213433325853579987757631498179397086987597192077801520514217403580375397

-6871079181350646240098748742885075213140847493795808643858132091611971341791643169434700647877057849234865653785845237203225432081027255159898409917361034467054039568215102637169857434194440667337938266886010678475289932678236868/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^31 + 326872350078752903713391265519813654064850055022520855439209386489135183563173771624216100732877746448782348066055953595491768894555148268283777480684078966756341332049849951416606515011772368553109445528029693381426759301431318990/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^30 - 1804788651846551443626712252090113152874760251319034459985261117045279079863092205127272870964603855772926932394965318728676114696104859409682413904624333833753625494771400564455244617314205173878439459150002340821949482204904248002/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^29 - 32648673871365613796695872153490882741671523427945831208657572042120140537729750296818889089178991296390632942578535435599484780754600189987310170624314296581356534179276040212182307425667404794213006703670115103340440558156068966412/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^28 - 520237285665127033901929725702892159565813865009899417705060792071990376185570801505822040534004044825273575571923483083209800572642794834870789983478907988581094494716874311166937477029506908376149056910813216251404126971211668326966/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^27 - 911067178064077584400163486214732926188049724012769429935465058528581843720585730730380452622337402942950446557964735475516438576844853142597579758979946989191203239556590604629143052527368387549644609027136188430436566449619403209628/548576863771801576696880912263715857483857759760304064645327777090490016289441175230714632112710065334156749227788036093268443951101695662103829861495144927623536874307918800309318850676356291276014883157987220207938868764315145551803*y^26 - 50024655635569140115776351947909251921389466322855080526155197728773772854182490356574450465587081461315800273900511616292943621282674073678567800605073022935538215035667953121817982480396842415987540106876332409810483699069878036737413/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^25 - 325700282586460321354036436289563347280175566528380113494652896570972653375489764642833675527388506839872368466948273713830378534443088457613465183758310462500834603413056070640641536446354812593645911626677870612323529932958064475716574/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^24 - 225141391517215721573439240953809742653886447141492601815335814269184166850897746596394241267674393460456725029176746559492019248950103922071480068073029894276503101339926396764710806086898409326455494146558596985602184082127788904100039/548576863771801576696880912263715857483857759760304064645327777090490016289441175230714632112710065334156749227788036093268443951101695662103829861495144927623536874307918800309318850676356291276014883157987220207938868764315145551803*y^23 - 853324716100703350519596561624733828006501985543405663343241481662968963439504443854559708196023180183038900826021423007949930293012219121540969206283295281793500377261365179231076005054183421726651524466934609539002243277013530037979231/548576863771801576696880912263715857483857759760304064645327777090490016289441175230714632112710065334156749227788036093268443951101695662103829861495144927623536874307918800309318850676356291276014883157987220207938868764315145551803*y^22 - 15777915591650441754612616197411717792764258762113962310845158826421679815949269398958661659381204567841287664395014695508081031576409826032583850900325314633749334749117734789992819656449093186022692460053795802656939720272114914307101531/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^21 - 24501667036139855847296335202736915103260950129584629772181886255985481843042696239707126043149503681420006312187058637458193326914882350364558474420422915217103867814568100335110115407005091443533447503470409190100295071637318745347505225/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^20 + 17303076941788347497065994021013310544075898080232268321176940348151551750904476835600842402720220805599906048648897269558117587748352268241063294879907570940785378137539939591445016205327011623272665802624079507250304436023063244067690373/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^19 + 205876692407756593933779629678856301984825954613099826560902282446532286854905748249261998864205851883355336746476601421412287310711931848780531966053838632812249996611408359682822870457981362147627270456075907739422958857654883157940385480/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^18 + 516102923678388290358622906718626464175248895767886914665636333466209452991252766101860470154718151678447235364244627388617543707589313369147806916264992395409931787100632628997620627529871986972964120225807334541030416580008462982951087638/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^17 + 617251921180026684490020219375174478013479643472830446146432853912840427144681218231117643469059128319415287178058081786755184404434347967874001567731441989896938464013557362492472575289410073878803671961189380127018634975342736564234400108/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^16 + 167219284939450861971606502121553090368450318899823943336192575998038201196625598193239283495617044082581480622114983530294371294385735525796293042047823118835781471138480764380475773293261862115592739326326723373770535032324874372017588185/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^15 - 281014541470313084196203876397188161231002168220535438140305936714883877113441245617376171038481854345036392673394904612586820583334531842929638190065911327274758595603065952572774341039081600267513758680206395264712645785277830001832409953/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^14 - 49659676307031791918127080078630876987464152690661400532925803411357580196846347429599657928266939910946891557966811296105332285422994854201184282101628612466537674622655500045981348658569208822701762152199797768293659633174477352321647213/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^13 - 177462393504895297810912912468178967888144356667315798140687980701969703232196181117422876178133189323478224958453634178178623352343169651520520998473874176350088488260214712056642962618226866944890135396273611034996753222286778346666839282/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^12 - 676005268467863990227437828164438656710260473740644317936754843507896334038407236042239786337131077522489391152577133681628172714938200881617737795849627206225050175236916957682468426783545609169775868976845538726354151766035550954885144798/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^11 - 204482846032675265349355367806941369063214786804879302405047613402844553018189438387521009869687525276280538646996467566156056130837305148765414570882847617121849114314452315879691130114323763594982056458238575711098687210918058802394663754/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^10 + 103593559709922611714650664148406449158483246648984869176513538724342492730478454237184008109201995796977272152893897980734441613156879365150330382510619428809361997436195229283040303507751508097221665691064032318123715230609302665105381099/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^9 - 138842685142249102443916955116260320437627424561079674245567545646636514462151805607833770916940366580039756456329584178588704216638366334424742808983207495993617692346920433104689235075966366556556967392429128483542191299132402790207283819/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^8 + 6364306763237943365846534658840666895368000974975670424755379492393449747879881953113859112312372981266128767315748477708387902246204323983673084676754933728734507464650299394079838701719513859741145235376356222672165247313302490121611506/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^7 + 11986828645891213349841282880264833460097229095635448562674270504200892209896103060991643822130783822085970864524652211467185903702542844188780291097239954786620675722626399330990121158338077749729072817038349267914713928991364052216156754/548576863771801576696880912263715857483857759760304064645327777090490016289441175230714632112710065334156749227788036093268443951101695662103829861495144927623536874307918800309318850676356291276014883157987220207938868764315145551803*y^6 + 21214489351808364868311673577939380839810194887367838276150626604209833866900772744329363961258140069989370414519177508118042772453411345881850971474125913593706462151177881659514606115622619217188099452286599914560244446893933060298907322/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^5 + 2357806256289070794824738922351435209360851221651473089460936815157351207972406173294042162657413592815419516792022392416478532833980127529511115649559525445953310589419932206924404674091234402132783625289368058008897351671630259862396142/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^4 - 7764967404975463304773877286587297155173012174342546529452287365224753554053321340666456098566432177164306703302762754687363685297459561510749129865051132984441308677444436020370215701950134940861972887246170198861063455156320754795535151/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^3 - 1162482289352566811815202936122674838334930828145602728922207462707718252169678918859305538655049791968623297334877152284491525719865857898656117256248060525796877973564105299944301531910072468288359951531129047312271750430245399737954239/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^2 + 220845654403972136092083747411280068895705237556414734443523140426375227968621411557830057832411524816544839934713776439722901949430685233894997880916790386050945281471498582791505425854911996825822747215430346779336618414485456322382309/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y - 454876776890596514795605127300578536715296352861791446527892286043328178492914260080943444542326015342185370215242302264980969989739927716216051340658121930667043481169354477453268510139880919552008733282235282415040960713026399305010/548576863771801576696880912263715857483857759760304064645327777090490016289441175230714632112710065334156749227788036093268443951101695662103829861495144927623536874307918800309318850676356291276014883157987220207938868764315145551803

65160661357636798292515524755338036587063073120790192125672799790037624493117614796966533791547758906689359843940076595245807010208241515207237618400607823939045439370690863455994060801056811372339991764829049938108082024472855776651/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^31 - 3128176599857269559821738784546413044907597296193744597208351348918059847709285648450750388748996423384158164414782700905129818161758575571274088663943294159585009524408635914830652231065993079961933074125160886744097059956968153178389/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^30 + 18461626412548341991373641992631295784461422519999428151292609916565591884121390998638490549169903700903446539774250364721468870785634529258597870956052380457340482097571646232668750186581305796572664142982938401238816599137835684748607/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^29 + 100756234265385650696503275472759817278387592782372360811779757635780191746318536821563911043503107949630026896896531246542745071914220911472574275166504297604213381444203000316257349512007002342576265929617835057384180854381129988091825/12437883232298057148448380923755229636731506987045374057703516689972680139330499766005992853891475311321335975241638142342675429703328745746880134449679420944008451551183442959413186301385026192101085445841044243774597971493317295096029419*y^28 + 117033824428736793345496792769805713663481684910193443806394389761980423179211246458618205321011436929683040777599945329428025545644013606872777148561462411776429645709741533276594297917231298408301589959117632706040958409033775010485037/910089016997418815740125433445504607565720023442344443246598782193122937024182909707755574674985998389366046968900351878732348514877713103430253740220445434927447674476837289713159973272075087226908691159100798324970583279998826470441177*y^27 + 58324386496387035425787761836160764127047375070538652898481300927489341412987238276197118063878314179068113038265862762963742274269889629566115154544682366139653931010957138701137644921516266514247814173984137751738174097588272189101880697/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^26 + 149314964486825539745345289775825927318400437848095537734521804365066212786745233868365065407348518773121987729049906045531886652752629289524340140465459079931090683978051527224514963571733918348148948149592905241007606811991088039694037117/12437883232298057148448380923755229636731506987045374057703516689972680139330499766005992853891475311321335975241638142342675429703328745746880134449679420944008451551183442959413186301385026192101085445841044243774597971493317295096029419*y^25 + 2880545915404245183745332551350775046958008561315004952375199420360889356086661896314956857782757935111327596150835924550650082275810117614417840314388212390966890963569236141492169103805173888076277945034107545503969349650003263566868026338/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^24 + 13587808693866307008942154795576730046412020265711821660490977728480440396995320615991852967805309427343440558796794704917309874304755340750024388475465836209651317488554486004449589019018892239407655413746654416799656054345723196419741312963/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^23 + 2383444101938188907249368750055370946520502010348578231132132469190158169690105978204817899986066656567267612765103784791982338752631830300989394198445692222545678164790985927246328896917998073140658485663687212947993219806680162924639722309/1776840461756865306921197274822175662390215283863624865386216669996097162761499966572284693413067901617333710748805448906096489957618392249554304921382774420572635935883348994201883757340718027443012206548720606253513995927616756442289917*y^22 + 124536783253571638602926165899301864619630048959200000819193622231684301027926177116236438231989792840589075716652277078393332037159123923082834633301071572903499728671478087704213266455666082744295403827883940072023607390660334546402580187492/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^21 + 165566967014647199513766998090855387522437871330538817738564247085239591592784637911916307920136340225267292254781300075403626595529693759067304080865803569533934630105842037657838962131787485950995262946279908481109353491049844833233839664494/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^20 - 89884461027997888775619178624063683358138296878113595255108083479680523095437719221532615259888136622430217107668023734359134264082258270371640695812509693393891415185436666765124638284923634746118660607328357054324449469200424593348167800565/12437883232298057148448380923755229636731506987045374057703516689972680139330499766005992853891475311321335975241638142342675429703328745746880134449679420944008451551183442959413186301385026192101085445841044243774597971493317295096029419*y^19 - 89902457293883739720399133499501759630430251585950873509523288044977404374054431650536973226059511484604169578633512376652507978136737282913796151795697236654117727168128537171549572361708633037050650263471237526138493647482628311539235188859/1776840461756865306921197274822175662390215283863624865386216669996097162761499966572284693413067901617333710748805448906096489957618392249554304921382774420572635935883348994201883757340718027443012206548720606253513995927616756442289917*y^18 - 4039953857173440016271365823885449157230321575018204592869789783628532623565729105984947474311766005099338724583325942807853115699145827322617156043991434238961490126774676040372728765028088582417850713029329055536611376041425046106990613759628/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^17 - 1221857045224824917526353696640418763658180484141958133254235998487301098490273929636231333265843887033643906650799643290424433381585127199001606412057617356035847414667415469988298584984294046597465485838056539752955293785166033586998361270896/12437883232298057148448380923755229636731506987045374057703516689972680139330499766005992853891475311321335975241638142342675429703328745746880134449679420944008451551183442959413186301385026192101085445841044243774597971493317295096029419*y^16 + 369018259408820566398426075449165032682029349348595427360554489571965996106517086484418348600012608951286705068254609156469527503858654580519528425298317844741052825151009244257614602862329866509378986531600348756363747937552593794667230325892/12437883232298057148448380923755229636731506987045374057703516689972680139330499766005992853891475311321335975241638142342675429703328745746880134449679420944008451551183442959413186301385026192101085445841044243774597971493317295096029419*y^15 + 1175949145269308247631605030378626321971342470500429769293881630588565093615502035648746055175914426720783001790453219612400645172718980993801976787155404022723095640863518661182038682650630061331491212209478863115815454111071359715053506689649/12437883232298057148448380923755229636731506987045374057703516689972680139330499766005992853891475311321335975241638142342675429703328745746880134449679420944008451551183442959413186301385026192101085445841044243774597971493317295096029419*y^14 - 644870135151191137137083207243207449718265555427482783776353249164507797857130100800285629395372983228346728507638256853508291103188374580820646536564450163877559333211447849727400253666484144780751145369824402114394605744973461307937621549900/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^13 + 1398223219614702642798271691636916549553413144260909231965370022899919521819300309568279581031911737245052560684133487625042131452460768419762919807713256459101396896899613719668816074179544123263264783874662452767304906137208994899520343595867/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^12 + 5669368323692134891506190720942609444231364729736529967379153207413179445612325877932969985587145640230368510554699700183149809593339773611573829875559089411760609662871609980370879143595433276492898795716842719007574525025351832275758901655392/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^11 - 21985844205232832720603466641943473860863321891255008488829516715719968371443176443650309176096512361726117853690158710965328357746406263354960185630970995673582402205585800273583296876493334071478444216204805061288897801630480472723491479842/910089016997418815740125433445504607565720023442344443246598782193122937024182909707755574674985998389366046968900351878732348514877713103430253740220445434927447674476837289713159973272075087226908691159100798324970583279998826470441177*y^10 - 2019194356748797056857470981236232465153017403707353628956189837813044339461617299056351238835953103498888815838125654409419179076449739761313715882003915484314453411628536247865308087021307664704089967328153626085110116373649920960758649446379/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^9 + 1693033506860596949129164278379200900179711693648854258961517908423637551344929044607376992860538850505422379741166510715962061862207252647156260275331340086101727627698701037716560255080539306931295079156387413557055793597916082343523683150261/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^8 - 604908971539778938395850527429132381228750276320433543738984605825763177559741304579952670674595952366250802152077374708511547985210842297150150281698163584062166839417107429046710331617719195426030534625700153712840886445054786327422817211510/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^7 - 270717454402947776800729664166758617952466130394789101953451372020809149485479229018789096672486443954614416779692041680912609000365621394178709117628741734522605908332196940780825516080530133193171264341199968725790450199795495746542305270677/12437883232298057148448380923755229636731506987045374057703516689972680139330499766005992853891475311321335975241638142342675429703328745746880134449679420944008451551183442959413186301385026192101085445841044243774597971493317295096029419*y^6 + 149418919187600837939619068217864052126869373132125413495440950926678178389802660046195052344330448605726075504009369928800344562543788629863063946764543633713792689374211674514192705589655312948734607925707817065092638976446831743415269985515/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^5 + 29252616990415772897119208723546880335843428673033693499011969640857738874028986718086162428442100049286907179304624653589801143602115799540101288207789217424712454675449915721864541531114848321596608494461147139484139019593839374400898091374/12437883232298057148448380923755229636731506987045374057703516689972680139330499766005992853891475311321335975241638142342675429703328745746880134449679420944008451551183442959413186301385026192101085445841044243774597971493317295096029419*y^4 + 12643947762687379725989977915440691268307073026564055908099664078311563549271640352654076229203451975306067366182017297382681431735642429172459659789756049285670602926487680740259645384982957853004393204170265776856687937392850346238517406563/5330521385270595920763591824466526987170645851590874596158650009988291488284499899716854080239203704852001132246416346718289469872855176748662914764148323261717907807650046982605651272022154082329036619646161818760541987782850269326869751*y^3 - 6671188741028170611742748295014284025756003947525105507616914159588917676857854426907046576483348974734335489974251829727680278140586402419830280526610088820785037496253104417081232285142771393505691666644515631928233043940670930971605224768/12437883232298057148448380923755229636731506987045374057703516689972680139330499766005992853891475311321335975241638142342675429703328745746880134449679420944008451551183442959413186301385026192101085445841044243774597971493317295096029419*y^2 - 3074567957180869537895567583243232195500197845697271291967710437547797830449634109700421598630250323483044861900113388867514389868125256390485555065611894200143587585655357482380719835081266241193797812791762260715688344364329553616936653887/12437883232298057148448380923755229636731506987045374057703516689972680139330499766005992853891475311321335975241638142342675429703328745746880134449679420944008451551183442959413186301385026192101085445841044243774597971493317295096029419*y + 819516996175274796257467736238022576218605483789437855794123040765510187233115499116225369258173522344712440320193803298380518123731185641473252135855961323849527446262474763868757049861822385602172259210750772704038084024758884108164122787/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257

-6871079181350646240098748742885075213140847493795808643858132091611971341791643169434700647877057849234865653785845237203225432081027255159898409917361034467054039568215102637169857434194440667337938266886010678475289932678236868/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^31 + 326872350078752903713391265519813654064850055022520855439209386489135183563173771624216100732877746448782348066055953595491768894555148268283777480684078966756341332049849951416606515011772368553109445528029693381426759301431318990/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^30 - 1804788651846551443626712252090113152874760251319034459985261117045279079863092205127272870964603855772926932394965318728676114696104859409682413904624333833753625494771400564455244617314205173878439459150002340821949482204904248002/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^29 - 32648673871365613796695872153490882741671523427945831208657572042120140537729750296818889089178991296390632942578535435599484780754600189987310170624314296581356534179276040212182307425667404794213006703670115103340440558156068966412/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^28 - 520237285665127033901929725702892159565813865009899417705060792071990376185570801505822040534004044825273575571923483083209800572642794834870789983478907988581094494716874311166937477029506908376149056910813216251404126971211668326966/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^27 - 911067178064077584400163486214732926188049724012769429935465058528581843720585730730380452622337402942950446557964735475516438576844853142597579758979946989191203239556590604629143052527368387549644609027136188430436566449619403209628/548576863771801576696880912263715857483857759760304064645327777090490016289441175230714632112710065334156749227788036093268443951101695662103829861495144927623536874307918800309318850676356291276014883157987220207938868764315145551803*y^26 - 50024655635569140115776351947909251921389466322855080526155197728773772854182490356574450465587081461315800273900511616292943621282674073678567800605073022935538215035667953121817982480396842415987540106876332409810483699069878036737413/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^25 - 325700282586460321354036436289563347280175566528380113494652896570972653375489764642833675527388506839872368466948273713830378534443088457613465183758310462500834603413056070640641536446354812593645911626677870612323529932958064475716574/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^24 - 225141391517215721573439240953809742653886447141492601815335814269184166850897746596394241267674393460456725029176746559492019248950103922071480068073029894276503101339926396764710806086898409326455494146558596985602184082127788904100039/548576863771801576696880912263715857483857759760304064645327777090490016289441175230714632112710065334156749227788036093268443951101695662103829861495144927623536874307918800309318850676356291276014883157987220207938868764315145551803*y^23 - 853324716100703350519596561624733828006501985543405663343241481662968963439504443854559708196023180183038900826021423007949930293012219121540969206283295281793500377261365179231076005054183421726651524466934609539002243277013530037979231/548576863771801576696880912263715857483857759760304064645327777090490016289441175230714632112710065334156749227788036093268443951101695662103829861495144927623536874307918800309318850676356291276014883157987220207938868764315145551803*y^22 - 15777915591650441754612616197411717792764258762113962310845158826421679815949269398958661659381204567841287664395014695508081031576409826032583850900325314633749334749117734789992819656449093186022692460053795802656939720272114914307101531/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^21 - 24501667036139855847296335202736915103260950129584629772181886255985481843042696239707126043149503681420006312187058637458193326914882350364558474420422915217103867814568100335110115407005091443533447503470409190100295071637318745347505225/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^20 + 17303076941788347497065994021013310544075898080232268321176940348151551750904476835600842402720220805599906048648897269558117587748352268241063294879907570940785378137539939591445016205327011623272665802624079507250304436023063244067690373/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^19 + 205876692407756593933779629678856301984825954613099826560902282446532286854905748249261998864205851883355336746476601421412287310711931848780531966053838632812249996611408359682822870457981362147627270456075907739422958857654883157940385480/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^18 + 516102923678388290358622906718626464175248895767886914665636333466209452991252766101860470154718151678447235364244627388617543707589313369147806916264992395409931787100632628997620627529871986972964120225807334541030416580008462982951087638/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^17 + 617251921180026684490020219375174478013479643472830446146432853912840427144681218231117643469059128319415287178058081786755184404434347967874001567731441989896938464013557362492472575289410073878803671961189380127018634975342736564234400108/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^16 + 167219284939450861971606502121553090368450318899823943336192575998038201196625598193239283495617044082581480622114983530294371294385735525796293042047823118835781471138480764380475773293261862115592739326326723373770535032324874372017588185/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^15 - 281014541470313084196203876397188161231002168220535438140305936714883877113441245617376171038481854345036392673394904612586820583334531842929638190065911327274758595603065952572774341039081600267513758680206395264712645785277830001832409953/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^14 - 49659676307031791918127080078630876987464152690661400532925803411357580196846347429599657928266939910946891557966811296105332285422994854201184282101628612466537674622655500045981348658569208822701762152199797768293659633174477352321647213/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^13 - 177462393504895297810912912468178967888144356667315798140687980701969703232196181117422876178133189323478224958453634178178623352343169651520520998473874176350088488260214712056642962618226866944890135396273611034996753222286778346666839282/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^12 - 676005268467863990227437828164438656710260473740644317936754843507896334038407236042239786337131077522489391152577133681628172714938200881617737795849627206225050175236916957682468426783545609169775868976845538726354151766035550954885144798/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^11 - 204482846032675265349355367806941369063214786804879302405047613402844553018189438387521009869687525276280538646996467566156056130837305148765414570882847617121849114314452315879691130114323763594982056458238575711098687210918058802394663754/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^10 + 103593559709922611714650664148406449158483246648984869176513538724342492730478454237184008109201995796977272152893897980734441613156879365150330382510619428809361997436195229283040303507751508097221665691064032318123715230609302665105381099/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^9 - 138842685142249102443916955116260320437627424561079674245567545646636514462151805607833770916940366580039756456329584178588704216638366334424742808983207495993617692346920433104689235075966366556556967392429128483542191299132402790207283819/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^8 + 6364306763237943365846534658840666895368000974975670424755379492393449747879881953113859112312372981266128767315748477708387902246204323983673084676754933728734507464650299394079838701719513859741145235376356222672165247313302490121611506/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^7 + 11986828645891213349841282880264833460097229095635448562674270504200892209896103060991643822130783822085970864524652211467185903702542844188780291097239954786620675722626399330990121158338077749729072817038349267914713928991364052216156754/548576863771801576696880912263715857483857759760304064645327777090490016289441175230714632112710065334156749227788036093268443951101695662103829861495144927623536874307918800309318850676356291276014883157987220207938868764315145551803*y^6 + 21214489351808364868311673577939380839810194887367838276150626604209833866900772744329363961258140069989370414519177508118042772453411345881850971474125913593706462151177881659514606115622619217188099452286599914560244446893933060298907322/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^5 + 2357806256289070794824738922351435209360851221651473089460936815157351207972406173294042162657413592815419516792022392416478532833980127529511115649559525445953310589419932206924404674091234402132783625289368058008897351671630259862396142/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^4 - 7764967404975463304773877286587297155173012174342546529452287365224753554053321340666456098566432177164306703302762754687363685297459561510749129865051132984441308677444436020370215701950134940861972887246170198861063455156320754795535151/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^3 - 1162482289352566811815202936122674838334930828145602728922207462707718252169678918859305538655049791968623297334877152284491525719865857898656117256248060525796877973564105299944301531910072468288359951531129047312271750430245399737954239/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^2 + 220845654403972136092083747411280068895705237556414734443523140426375227968621411557830057832411524816544839934713776439722901949430685233894997880916790386050945281471498582791505425854911996825822747215430346779336618414485456322382309/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y - 1003453640662398091492486039564294394199154112622095511173220063133818194782355435311658076655036080676342119443030338358249413940841623378319881202153266858290580355477273277762587360816237210828023616440222502622979829477341544856813/548576863771801576696880912263715857483857759760304064645327777090490016289441175230714632112710065334156749227788036093268443951101695662103829861495144927623536874307918800309318850676356291276014883157987220207938868764315145551803

-31357130989160238171175272793378760505230078698351898346523978969943720726833379258076197854326690963589129625259018712298094776085997255319258292803549392690351445605160947964788397705316931452409985419675048797902821391892381702574/15991564155811787762290775473399580961511937554772623788475950029964874464853499699150562240717611114556003396739249040154868409618565530245988744292444969785153723422950140947816953816066462246987109858938485456281625963348550807980609253*y^31 + 3520958905947238690191409295268007699892904369975158384241954399511025502195451939796224733169659606243141041629900776771094875435723102503048942741756457612125415275470276037775326353762510365894947984723042682365732232124815773657403/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^30 - 63392756831731683137830783675114846613350234350538636261671875197744365976479512392785998248524907828051799178180186345255263821572306906525187451299257262928560894976688664719564948308068526363740800555691473680511552181085488950035617/111940949090682514336035428313797066730583562883408366519331650209754121253974497894053935685023277801892023777174743281084078867329958711721921210047114788496076063960650986634718676712465235728909769012569398193971381743439855655864264771*y^29 - 1011632803754402560097693533765203655459659723252613160077132567341479189301033970540044481134602227420291134950656586310108983564949143401257460806694001599239865495601914660378669857892972314317340224263830351400768514910943057545126743/111940949090682514336035428313797066730583562883408366519331650209754121253974497894053935685023277801892023777174743281084078867329958711721921210047114788496076063960650986634718676712465235728909769012569398193971381743439855655864264771*y^28 - 130432422342634592485650314400822489096810851448955982431788771136202104314991191290036669775999734914260851247043959696983195330167582554697422198926390239037667564747886932969260264954107546245366145487203998558462104594788846916820526/910089016997418815740125433445504607565720023442344443246598782193122937024182909707755574674985998389366046968900351878732348514877713103430253740220445434927447674476837289713159973272075087226908691159100798324970583279998826470441177*y^27 - 194548599170050630025053915654873636013142416032894186514118104686667236669487088839546815415005087663881714382595688612517194643796212619904594495976926162887768328487991264273717542473927714050801228953318291225175706733316419644938733631/111940949090682514336035428313797066730583562883408366519331650209754121253974497894053935685023277801892023777174743281084078867329958711721921210047114788496076063960650986634718676712465235728909769012569398193971381743439855655864264771*y^26 - 212193400624814561567050230757939511352465331456623933956203627958945920336457916407479651095618627615995847971064664241464857722773459099194871988495009920440989118697228815777123503004684399250543849699444171045969208790820969214215445426/15991564155811787762290775473399580961511937554772623788475950029964874464853499699150562240717611114556003396739249040154868409618565530245988744292444969785153723422950140947816953816066462246987109858938485456281625963348550807980609253*y^25 - 1057547752296263809683045686600295456810945248438789258587830649915116174854670591554389953346894063969017228265035921686042430324572115887505656714722446631264945286517079837134982341408401684822691089227102897783677188523293004950427290421/12437883232298057148448380923755229636731506987045374057703516689972680139330499766005992853891475311321335975241638142342675429703328745746880134449679420944008451551183442959413186301385026192101085445841044243774597971493317295096029419*y^24 - 44562872042904691784463641295077750082633371330892268925715509661654538924207711442099873312665866723934152226249041991061691278014688686170240630078404650055985919458754807728060299120820026046905738953596740177391470219396848747752944515723/111940949090682514336035428313797066730583562883408366519331650209754121253974497894053935685023277801892023777174743281084078867329958711721921210047114788496076063960650986634718676712465235728909769012569398193971381743439855655864264771*y^23 - 23248790078160021852906864299624244097738768316867061674354249664880248724211965280612500558698953403308569519262809099268870376236378348192042083306146411272590226341282036024942793964920207942388624667204482718031930349766305259611098940584/15991564155811787762290775473399580961511937554772623788475950029964874464853499699150562240717611114556003396739249040154868409618565530245988744292444969785153723422950140947816953816066462246987109858938485456281625963348550807980609253*y^22 - 56747083105896082639376281722153673328208913424829095578538117554157619880443282314895275256245896500910117086703163243814441678557739656070318468115590972108820355391468537396488584161493674687031190369186276240149656970435924388211488243189/15991564155811787762290775473399580961511937554772623788475950029964874464853499699150562240717611114556003396739249040154868409618565530245988744292444969785153723422950140947816953816066462246987109858938485456281625963348550807980609253*y^21 - 166187906724828778027381130721480697955470565512055825481840532984287802103269377593862288946601850608296905102449005562047754791574316591042400277172868033098723872996739662775663245728392015186070738162511904594879775968890959920766500076075/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^20 + 333755424983170209108047659335377365166941941607415332192171086354207819696850854024146273660555436666005989926485117980498060103410565381233379283996609157875651352155855405209810348391622923038083294405569659875747695491807908616286685262477/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^19 + 699974275356368710510940725683292531437300348012362551842980203375575212323494534074374572659821202281641219688417072801044157835592759207515488677345897602037195132578300769431053625323871115734663003109231803578991540092541255226539802136725/12437883232298057148448380923755229636731506987045374057703516689972680139330499766005992853891475311321335975241638142342675429703328745746880134449679420944008451551183442959413186301385026192101085445841044243774597971493317295096029419*y^18 + 12845970104876689103444518936355210954405286913592821532617790885345474928733995888964286313778289284747358436658972351133018196956753274683114234687477536838518595038740191461657809138460454498305682461627199568815342153527973980882754774293549/111940949090682514336035428313797066730583562883408366519331650209754121253974497894053935685023277801892023777174743281084078867329958711721921210047114788496076063960650986634718676712465235728909769012569398193971381743439855655864264771*y^17 + 10408634138482521090849346555018529016891554595995501325141613033670764551455244701256829834652332158845157843137104745339883229006507903442928658325104824821920103450006563584096555661664659933038091736008592121239141303850361965728341938933371/111940949090682514336035428313797066730583562883408366519331650209754121253974497894053935685023277801892023777174743281084078867329958711721921210047114788496076063960650986634718676712465235728909769012569398193971381743439855655864264771*y^16 - 6089806715250299132457106854174449104292347426102189924036308563013154418145626419100145071342227699925595430687164451093898197871946464291107508475734025339845753770185263797393218669993546381780006147753551860956795335334704363457070999012490/111940949090682514336035428313797066730583562883408366519331650209754121253974497894053935685023277801892023777174743281084078867329958711721921210047114788496076063960650986634718676712465235728909769012569398193971381743439855655864264771*y^15 - 12589419229691945602765063853756699959925870653149529136847335222851256260647997910220366384950453941493672053870553280211526100085706915585691317305073195631057797203673337490473825515756824665642594783064601668994464308898360025052697102560148/111940949090682514336035428313797066730583562883408366519331650209754121253974497894053935685023277801892023777174743281084078867329958711721921210047114788496076063960650986634718676712465235728909769012569398193971381743439855655864264771*y^14 + 1069955645347689547484229646604033032956277285972220824627304842614894968704165988157426040328650361745040158810882368340290783312115053463855922409800873731012079324499064632203426269523045704530812092323685902803893583369343310437133651984076/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^13 - 4459117851553319554790058241721712346599318099692064049300811804636069517077386149093594129119391514862271223278007971423691803085693433113361203064542741044536294731538566412467258268902888198642363518030742180537385584866940686815424909262241/111940949090682514336035428313797066730583562883408366519331650209754121253974497894053935685023277801892023777174743281084078867329958711721921210047114788496076063960650986634718676712465235728909769012569398193971381743439855655864264771*y^12 - 2048980121194365172735521468821055246721594730534380378848471403001765695602186336141941265795011824134633392947914079310609443760122788589722865021055535614036318151207205712526891217712657658131034421651696473640241315116372459025111188569902/12437883232298057148448380923755229636731506987045374057703516689972680139330499766005992853891475311321335975241638142342675429703328745746880134449679420944008451551183442959413186301385026192101085445841044243774597971493317295096029419*y^11 + 135598687413479639555955242393339399428086028634625804864427901654473789147177853061573041233955000074417915455713757896155530164137795417208289884722481108022374493555128596834348499032646915234836992484074106047119655525268132019629473747593/2730267050992256447220376300336513822697160070327033329739796346579368811072548729123266724024957995168098140906701055636197045544633139310290761220661336304782343023430511869139479919816225261680726073477302394974911749839996479411323531*y^10 + 7672360131842399313149954420796530844141120728092819388413457452268266021248987110529944966194514349269831078852831554397102940888034172998217343564324775548647247731494761302405857816886770332744167302713371834524201331333525548453164741171778/111940949090682514336035428313797066730583562883408366519331650209754121253974497894053935685023277801892023777174743281084078867329958711721921210047114788496076063960650986634718676712465235728909769012569398193971381743439855655864264771*y^9 - 2026160263750997162771820446714211637624882249596832188200957996707657679874750818145821262971219460689012672324450955149544773627884528825105683810115918818062731429292068349600717700153783954580764556242448764536931173251166386451952395207803/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^8 + 2514718069677422882621823558209301143308907896286217350431755343434389950816601964025448865383875414263513861593349268396880289575020013181463324109281381567551196770873682034336122639636940414400811402381938317754945160711192962438896400929867/111940949090682514336035428313797066730583562883408366519331650209754121253974497894053935685023277801892023777174743281084078867329958711721921210047114788496076063960650986634718676712465235728909769012569398193971381743439855655864264771*y^7 + 2736067065224133568163641881496023486408134099181450430676478361152286350925398581381920885093745851673577882164135002300284776986203487928085469169172880175114309517439160330627973823695299717034862509110718980935386796078972275246476441623183/111940949090682514336035428313797066730583562883408366519331650209754121253974497894053935685023277801892023777174743281084078867329958711721921210047114788496076063960650986634718676712465235728909769012569398193971381743439855655864264771*y^6 - 39159126522830142795241289363854618604037877980591563268139331244095302944238473707097107858186268765991015482779910774340111515159339485893950024024926568106370778864306742725275168113131786254029593269442973044210913448977823100242492942869/5330521385270595920763591824466526987170645851590874596158650009988291488284499899716854080239203704852001132246416346718289469872855176748662914764148323261717907807650046982605651272022154082329036619646161818760541987782850269326869751*y^5 - 130506781020138796110859765150742906634826582855771325453258015545026883592350367736557366407758997074363675918803874091239860244657463191890507349479209282876761029755104694921162581665196130168350107795538957781482727369767092112667480798051/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257*y^4 - 308694886128327380961973006010019576887435870570485553804847474944454666827209991951112462467490085748429823092545357237964249749736663558757376512329919172411546681448610528642359040607190656409825704092124410105291863979472554960063886560467/111940949090682514336035428313797066730583562883408366519331650209754121253974497894053935685023277801892023777174743281084078867329958711721921210047114788496076063960650986634718676712465235728909769012569398193971381743439855655864264771*y^3 + 96651896585081947649738602705635372197701398525841537591034703993750448330605994226279315259738631336735181268212308018123595866565446442968510479643260503872475702060482986025008836758594889445463679663309833895504281145995083874081387585211/111940949090682514336035428313797066730583562883408366519331650209754121253974497894053935685023277801892023777174743281084078867329958711721921210047114788496076063960650986634718676712465235728909769012569398193971381743439855655864264771*y^2 + 37147472491317376888987379684817996776313132897790273513351810641175261728060376900898919582917580400045751088539403278035444360414984120737960559520772953401992614082934100524622148513057328561527373942403114532830949942901886003307864388543/111940949090682514336035428313797066730583562883408366519331650209754121253974497894053935685023277801892023777174743281084078867329958711721921210047114788496076063960650986634718676712465235728909769012569398193971381743439855655864264771*y - 1118429728648170223480405203894136840181287622507913918187992856882684787737221986676943944380121265588398745399050239825753156317768370862709242359446050533086575586054712321046631047568428041851208829918845660647565129766166093376202289649/37313649696894171445345142771265688910194520961136122173110550069918040417991499298017978561674425933964007925724914427028026289109986237240640403349038262832025354653550328878239558904155078576303256337523132731323793914479951885288088257


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

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

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

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

# f' Combinatorial flattening
{9, 10, 0, 2, 0, 0, -2, -2}

# 1 Loop Invariant
-1016727836689489184534739520083243153278077266608840293631743610829431624700619335746002333729637876542231930193738980572276212621299393761144890372919834505765841662750028948577133473780364716480061023734567966108306838699393221476/11520114139207833110634499157538033007161012954966385357551883318900290342078264679845007274366911372017291733783548757958637322973135608904180427091398043480094274360466294806495695864203482116796312546317731624366716244050618056587863*y^31 + 16120135820190592966425366581514368316925484456299433285943016287157278998412114391419560625918972208503746033394781192849397688488651339800736881539090022824943064628860123266894234325034309243718807741332386416825081093577345436828/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^30 - 266698666156122492467972892402147462793373391629802313705869559724298301500846893047887105438636116381463690241819378295525483480332006595714778090326210084186650367932143229311648504396583261968497255920443637296928277803745947158715/11520114139207833110634499157538033007161012954966385357551883318900290342078264679845007274366911372017291733783548757958637322973135608904180427091398043480094274360466294806495695864203482116796312546317731624366716244050618056587863*y^29 - 4833052397780440226274886380556505447969189915157740167452423852309008748304860291371921591654312019635101734236892620134189221837076716354788539585938246936710885960312898857131956534874104467937455584907695782595798475448830565444224/11520114139207833110634499157538033007161012954966385357551883318900290342078264679845007274366911372017291733783548757958637322973135608904180427091398043480094274360466294806495695864203482116796312546317731624366716244050618056587863*y^28 - 25672263507798610432484053530107096342503110337730176746816729198323384867399984320893784939363473410982588527711039295188299389167186506025235104678621657133859544649893343271721244134524089519929696704789579174296392530663260987626122/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^27 - 134894730658638085968968269245200265244928787790336536084982697174302671632764419073206939938941877681983205852234915988607014333958780394223311836063080241402521436358221461376210816996471791740208736392810167081376001343662380915612040/1645730591315404730090642736791147572451573279280912193935983331271470048868323525692143896338130196002470247683364108279805331853305086986311489584485434782870610622923756400927956552029068873828044649473961660623816606292945436655409*y^26 - 7409315972027145827650209571737085504957321399909214217817060273878638766780458640429647582141810680535445460067921936106832899395720346857205381936479073738354040832258640772196640083319297921112855383645077067766743709925011987495435964/11520114139207833110634499157538033007161012954966385357551883318900290342078264679845007274366911372017291733783548757958637322973135608904180427091398043480094274360466294806495695864203482116796312546317731624366716244050618056587863*y^25 - 16083362360224070924695264859855340806457515080834550925811773212774673630401708741041809330464392912046500490989332209079090528073207532234975716222138150362437549815290164888250212516619546653725722796374567017249112293502435614967606146/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^24 - 33366304196137857342393925874705947517759986238875524833454109795004484104511631020945614383385564822074267875470023049932850727539447776678776923835494209229604685050530336067760180695786700243260005695157850868650259051291532727216151903/1645730591315404730090642736791147572451573279280912193935983331271470048868323525692143896338130196002470247683364108279805331853305086986311489584485434782870610622923756400927956552029068873828044649473961660623816606292945436655409*y^23 - 126518608713915803640230928637174675805310907685521532832886400250169124018898243452140192624319390909942692859056882361484554613906335858103883551216759252767200105555481556072170662170222507008197133202816614315112312571097924196945854456/1645730591315404730090642736791147572451573279280912193935983331271470048868323525692143896338130196002470247683364108279805331853305086986311489584485434782870610622923756400927956552029068873828044649473961660623816606292945436655409*y^22 - 2341331944484605904651214797945271045280237527070138138125205834649051552049898023979281899669412659433747151340897975266031778825807218647704107736132623113844620572690545542770048873254280448771129853161733267239148389337331530366750794586/11520114139207833110634499157538033007161012954966385357551883318900290342078264679845007274366911372017291733783548757958637322973135608904180427091398043480094274360466294806495695864203482116796312546317731624366716244050618056587863*y^21 - 1214365110784985873054581113060622283964135581431310839357114246241617097977141142710603392319282334048838025915762663697584798558602570975071101180994397812367114514041475767474814555038861722964895768129418602631224538011515774601148135785/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^20 + 844463717793012912462674236574870640920135863586825082224230292366289361542775266583038600984404892512070736338086312075273636330029735488882748582436350671007011874235028717399327031323606695709493602433790412839990602891417454133983768767/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^19 + 10161520961754605757536074757555602480343041789948332610107133831729479683304459247230979846167544268069826466034504508941674561476006955205104559656260926582642065206671566681455800089594410629056034656949431804037492392372344253260997967438/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^18 + 76602686262046073120618277008647315365000088896864444124195000126957086909467535380332356785171200383908388690940002873036834777911057254984484213372551198555314289331555832674238638260669966088802384341453608802487426171072590002309215183841/11520114139207833110634499157538033007161012954966385357551883318900290342078264679845007274366911372017291733783548757958637322973135608904180427091398043480094274360466294806495695864203482116796312546317731624366716244050618056587863*y^17 + 91918418234308258550649367124284245023835787857782716116811276230709436211383710480259300159628285286853004099584802901264335382698371762539964058094971242462556025093168582111497161699040306484894119830009173116739138133348721921771436063064/11520114139207833110634499157538033007161012954966385357551883318900290342078264679845007274366911372017291733783548757958637322973135608904180427091398043480094274360466294806495695864203482116796312546317731624366716244050618056587863*y^16 + 25421894334736049858067809636765432013521547897960049309237772220892959647035029782098526387162295255864939461076182169717454227085408191674245329819949396582136609364180977218078118660384132727966662396364033833124380656359214697425637431042/11520114139207833110634499157538033007161012954966385357551883318900290342078264679845007274366911372017291733783548757958637322973135608904180427091398043480094274360466294806495695864203482116796312546317731624366716244050618056587863*y^15 - 41461316570065342931262977487930920582246459892785363523118246728954706913869895334766200334961457494520119768121816259038930960882930883097533417320646668717471268777812878517420504034503301549808927090276418124621058789029194991863365841166/11520114139207833110634499157538033007161012954966385357551883318900290342078264679845007274366911372017291733783548757958637322973135608904180427091398043480094274360466294806495695864203482116796312546317731624366716244050618056587863*y^14 - 2595066914302192257155807519633712201118514386922387227062466674394999208046897420494941701346858501865970535410947038064454810378355581907502992502541274662511401874577704843879448975746966002251372558946719790868398211178938185117967218020/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^13 - 26386107739425425169272147736109591258501253002552392162406435349190528491791469331282803171981986792638478847952073748312744585561773702405368254565995089079517794664540121780385912173611261343596170752028614713222776056662509036559233769266/11520114139207833110634499157538033007161012954966385357551883318900290342078264679845007274366911372017291733783548757958637322973135608904180427091398043480094274360466294806495695864203482116796312546317731624366716244050618056587863*y^12 - 33393985501462939002802479780884523100117803254546753646292313137104879251236762247247467548088279577439932613368940134354425794739437349089365728285803875082156434299568196153860751971604764132484491507488654083545837267311224435720030362106/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^11 - 31014481119795589337615149004656196976550993005403882054801859712169727366149541478093140473170971938963295852071459822122076918385336313684881477167248041470454789837291657902635186970961685309024436876894399848960191553655813519565348620016/11520114139207833110634499157538033007161012954966385357551883318900290342078264679845007274366911372017291733783548757958637322973135608904180427091398043480094274360466294806495695864203482116796312546317731624366716244050618056587863*y^10 + 15083378657776041167619437172882012257312516337927949159704476618556485213065693960725470638995509243103599541668333964003547900355639841352302938031172606652380710204306877712865731204103412420621113805087166610877631547975914048061857692798/11520114139207833110634499157538033007161012954966385357551883318900290342078264679845007274366911372017291733783548757958637322973135608904180427091398043480094274360466294806495695864203482116796312546317731624366716244050618056587863*y^9 - 6766933457832189186663971098592156795773541045671911944376334029668838081352083360962866282757627131541837769469465788147725396563591170630272885369347451955941377554422575555922658983684510895153946938378990801969093725717732990482526897884/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^8 + 852425690682394904072055486567140148832455140266832258187068638692749890414748666356154439563081144260232247573786045626882691997129812654182881626746281477626330208769602145751066545653000296325829000274737924706834443806425768499021262384/11520114139207833110634499157538033007161012954966385357551883318900290342078264679845007274366911372017291733783548757958637322973135608904180427091398043480094274360466294806495695864203482116796312546317731624366716244050618056587863*y^7 + 1771620816269290813856551767455223578613583337536605703450967686871931699959065330945110623404907112987363046881513037743016629923997909223437387214501293220149491423532671561572715136214144737922533515092532848363604014398888573999548106274/1645730591315404730090642736791147572451573279280912193935983331271470048868323525692143896338130196002470247683364108279805331853305086986311489584485434782870610622923756400927956552029068873828044649473961660623816606292945436655409*y^6 + 1089043819013480453243557974998370348224321792069622635520093390723381239886919572520792949611056943275199206403755410604970069294495448959363827690958538661561226194236621520411733327837407210537762115767517895557495754118565083481304202496/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^5 + 128558511252649529234772137473429089596686157719289566624994435858088262102788209479822227217353336098567436657483078229615168173466816777316343306167932374915112121003960243006357360954128297100178218123892678624321023617565788754024065275/3840038046402611036878166385846011002387004318322128452517294439633430114026088226615002424788970457339097244594516252652879107657711869634726809030466014493364758120155431602165231954734494038932104182105910541455572081350206018862621*y^4 - 1158837396864394492166771698637991375862003713349760177323149335386824969694730732867753611027773735050165578239115644303608963969417670243949794453176799565350935227393790337940569728099873808179036484625054504027484858359845141445940669576/11520114139207833110634499157538033007161012954966385357551883318900290342078264679845007274366911372017291733783548757958637322973135608904180427091398043480094274360466294806495695864203482116796312546317731624366716244050618056587863*y^3 - 185660178413443222724712206352487801809175488922365985272627568416785796276724911482961907683406625918771093775153571773362430105620576188674317462152079279313406945209028933259106901212172525821355805597643851005649562200294103006110347303/11520114139207833110634499157538033007161012954966385357551883318900290342078264679845007274366911372017291733783548757958637322973135608904180427091398043480094274360466294806495695864203482116796312546317731624366716244050618056587863*y^2 + 30376674875512201350687825629139228258558088361454157505829357907037508051555320717084978307834970778541347269822284610727651334093099625991526050060926242959227036044545195032671806292200569851445372026102731666368344753072509779835953789/11520114139207833110634499157538033007161012954966385357551883318900290342078264679845007274366911372017291733783548757958637322973135608904180427091398043480094274360466294806495695864203482116796312546317731624366716244050618056587863*y - 2664940148395762680188271595255516655123789088239546640750873439077786167603636073339784069297408649790554514748188631189909069221160891757059890649933472437347041357644831555679812752973374591632156699084955287059945492843699911871102/548576863771801576696880912263715857483857759760304064645327777090490016289441175230714632112710065334156749227788036093268443951101695662103829861495144927623536874307918800309318850676356291276014883157987220207938868764315145551803

# 2 Loop Invariant
-21819313482781241270857577135564520491511502364056887528097756976228733860736653168492252478267249697688086896183500728197133958643216296732675428334374070525412597304140979034052305663066772182867714686358862754633698322819736099671295245830346075876223185782968876304423094085586608136036312124490434198267384254969956700134873732979043/1008164727679313224710801778130452419660274951112561554916081877675502143816985546536237083319625318770077858034338333892178689462638896668504053175480030596495346799503738778375094638226765672786678102217294405843287082452904036601289938956644571116664078501109950474271637495690887140257395820367246735108374650660656555568830178095747776178384*y^31 + 345987417196262303742323837927512497212595038586123322572377503057592664201329261270548643779580442105870233509316346085239438743973923397129200760163957139621200328583029824045234091848572483622363915224072700306014728830165044363349114197606771389347168369836139579151432249579701067763437408073312063484483912998310904239531483815818587/336054909226437741570267259376817473220091650370853851638693959225167381272328515512079027773208439590025952678112777964059563154212965556168017725160010198831782266501246259458364879408921890928892700739098135281095694150968012200429979652214857038888026167036650158090545831896962380085798606789082245036124883553552185189610059365249258726128*y^30 - 2864548777795744795557783260181317188537625196414770559660800114481758211896268442650442965243653976606813874823275014429956414186246865098370077887676562231284123482742240760150660181905662130206652411739502425920331626189916861036159621681856742773455982423288610347915337437941231915540011141126283742338197435968292160400340816004740371/504082363839656612355400889065226209830137475556280777458040938837751071908492773268118541659812659385038929017169166946089344731319448334252026587740015298247673399751869389187547319113382836393339051108647202921643541226452018300644969478322285558332039250554975237135818747845443570128697910183623367554187325330328277784415089047873888089192*y^29 - 5458619936207215110981380958210299746397156707046750498404766196187116815270549784045995046274819276531371512907298296364230069410299429546076555380484667268798763463469040856280298769536885044359817052130277921358373535420051144009008609647260433547275167023932321639825040067166817002203517245327172186720466446884416789594884195651218559/53061301456805959195305356743708022087382892163819029206109572509236954937736081396644057016822385198425150422859912310114667866454678772026529114498948978762912989447565198861847086222461351199298847485120758202278267497521265084278417839823398479824425184268944761803770394510046691592494516861434038689914455297929292398359483057670935588336*y^28 - 275336625626773687829519640439854413553351617283597805070513432955221492182470235084596785438749352906377265977453535396593235284505767135909175279850413994736126675697517129811263121796291363284360884157178026857972803640616337392747008775477646835087664110153393142811801782046381500834231245403257615560965046976689693919938820570007163039/168027454613218870785133629688408736610045825185426925819346979612583690636164257756039513886604219795012976339056388982029781577106482778084008862580005099415891133250623129729182439704460945464446350369549067640547847075484006100214989826107428519444013083518325079045272915948481190042899303394541122518062441776776092594805029682624629363064*y^27 - 180814370323359044416963842979386141419642429933617078807758929790524013558762459409660351063779953187016277951498223242322989350324938292347537033501317124011856051780249060799657422652447055557849376886854431128878582538201627365983024433394345825232114550376002930056526978292274857308254282947241508096953330499348654061339577006810396192/9001470782851010934917873019021896604109597777790728168893588193531269141223085236930688243925226060447123732449449409751595441630704434540214760495357416040137024995569096235491916412738979221309625912654414337886491807615214612511517312112897956398786415188481700663139620497240063752298176967564702992039059380898719246150269447283462287307*y^26 - 79418034605821709146139801855725452067726884724490415897617282497642357114480317979236520327483082827574258656974621334930567546182728672237966321905319235359092582778284379522028981303515247718639898370771599937250039149480645489399997020203745242164419411565483516721874280840171468328733070687225102962901824418925389589227829676731514170371/504082363839656612355400889065226209830137475556280777458040938837751071908492773268118541659812659385038929017169166946089344731319448334252026587740015298247673399751869389187547319113382836393339051108647202921643541226452018300644969478322285558332039250554975237135818747845443570128697910183623367554187325330328277784415089047873888089192*y^25 - 114879349840887525147919390183215499442812273883952709891169006055594360478772388503902708142849620000561379825337018954709841480697490397509511394910382042496670669106257659017419256150953122138435714606883049046743255387084818457174182191619180472718654247998549064258636629080157635978753115351466118333207387909166959407057279550618871947553/112018303075479247190089086458939157740030550123617950546231319741722460424109505170693009257736146530008650892704259321353187718070988518722672575053336732943927422167082086486121626469640630309630900246366045093698564716989337400143326550738285679629342055678883386030181943965654126695266202263027415012041627851184061729870019788416419575376*y^24 - 18802478555884177514672684331145913089688166630750897256225930134751494800608182223282040676313930417218799249097244760626957211543931519141153598844883783026990532406193925438986566833953051685966051522891038281580298049741303272664575672001373086938515687645082217352898938062418659845822288276156866063079808333015782884985914715699256093377/3790092961200425656807525481693430149098778011701359229007826607802639638409720099760289786915884657030367887347136593579619133318191340859037793892782069911636642103397514204417649015890096514235631963222911300162733392680090363162744131415957034273173227447781768700269313893574763685178179775816717049279603949852092314168534504119352542024*y^23 - 338307818961027522347760875298300567698853327114323948285037024589665847264117895312567371191400570351062539286586375542286677360962319688940957446520281470944257001454701589651001778219838574931719073568111392912407919698148510552561148931296704537579999697115248462931178922339151134021539676916189966854450624782092764992515984583687053571617/18002941565702021869835746038043793208219195555581456337787176387062538282446170473861376487850452120894247464898898819503190883261408869080429520990714832080274049991138192470983832825477958442619251825308828675772983615230429225023034624225795912797572830376963401326279240994480127504596353935129405984078118761797438492300538894566924574614*y^22 - 12495611069890071769645904744924336189678325405720511709701841579709582021149273521459592500599428701888791165773994285351086374863481226169025961371653159493349894618253531983467029613444547312207046087208457546589757020406753608535118030562537195775783912985665646729879661257641486758739440389727941054856113654535272535664681717404037406970587/252041181919828306177700444532613104915068737778140388729020469418875535954246386634059270829906329692519464508584583473044672365659724167126013293870007649123836699875934694593773659556691418196669525554323601460821770613226009150322484739161142779166019625277487618567909373922721785064348955091811683777093662665164138892207544523936944044596*y^21 - 25769887489693443651184490648774251209994878924602234834545377973918525158354994716258070560823530879287986807937843477353780909958509779298681315137612721540479889367723870017485218216534270271072104504803950627149829903878519494801840412121201481411979300628539330391244175375964037639688416061214219806729436944056555835005771399426729379585563/336054909226437741570267259376817473220091650370853851638693959225167381272328515512079027773208439590025952678112777964059563154212965556168017725160010198831782266501246259458364879408921890928892700739098135281095694150968012200429979652214857038888026167036650158090545831896962380085798606789082245036124883553552185189610059365249258726128*y^20 + 6263909314275518915413033418161712753557927928055488547400897384398348098311391598774049558325990045011911551194291234674974946119206644368248679779914868405883133507189994860394120002306263107953424544965475893249019837019989185640843000856581688900194214714300339346519379699643910184661248035549555372792532874009725186634446634931536664091109/112018303075479247190089086458939157740030550123617950546231319741722460424109505170693009257736146530008650892704259321353187718070988518722672575053336732943927422167082086486121626469640630309630900246366045093698564716989337400143326550738285679629342055678883386030181943965654126695266202263027415012041627851184061729870019788416419575376*y^19 + 36466122333986526623142052567899124345828497918663186175661016082166964121716771434457851017021470112100360779685711301073651656503620927815716323229405940603658520963322603799220569885657909595234259405173835327636950740863978362996637825651043367900698989442579124601930930124057265778124320278201574700106461616993943147611541954239910302775971/56009151537739623595044543229469578870015275061808975273115659870861230212054752585346504628868073265004325446352129660676593859035494259361336287526668366471963711083541043243060813234820315154815450123183022546849282358494668700071663275369142839814671027839441693015090971982827063347633101131513707506020813925592030864935009894208209787688*y^18 + 1638898668840954116937980017856163068894385245739413025309051560111455656050534251760500502648779332664816740287009236682648467434387124447956098699369970397036778057197523740388098762356025376519425169955900651554461268845627363273177538981283340459752888536357313209452991837159276624579598139857895760419411177371103077698575365233921385404192707/1008164727679313224710801778130452419660274951112561554916081877675502143816985546536237083319625318770077858034338333892178689462638896668504053175480030596495346799503738778375094638226765672786678102217294405843287082452904036601289938956644571116664078501109950474271637495690887140257395820367246735108374650660656555568830178095747776178384*y^17 + 485987669446293500184118345530601549336588294400469912101786474862214762524088397616614494955249071859682614383174306442760411192439928361343243031362538497575040374589495430208495264055755971610675931396155682239189918979963221490245478574169089934039166349174466090475716097607998398034390109463953405994969547963941840649172363278311491374517603/252041181919828306177700444532613104915068737778140388729020469418875535954246386634059270829906329692519464508584583473044672365659724167126013293870007649123836699875934694593773659556691418196669525554323601460821770613226009150322484739161142779166019625277487618567909373922721785064348955091811683777093662665164138892207544523936944044596*y^16 + 483712141857086801255864977849848156847467914662447748474465001169626280993942574966732551771073210217840931794635551995235547469545456692035664271015622903481206707291734633443795714230137405759757523675398042876252366892573855504659857180891442853359282788174552075114856559637201441538006662017492763487238531048692272236891000271057984634146261/1008164727679313224710801778130452419660274951112561554916081877675502143816985546536237083319625318770077858034338333892178689462638896668504053175480030596495346799503738778375094638226765672786678102217294405843287082452904036601289938956644571116664078501109950474271637495690887140257395820367246735108374650660656555568830178095747776178384*y^15 - 479102321824680059078174631249922619252122370332844291784445324616198717482846114408518787794500291938063575111392867788282992278519840116024654191939820410697807580860761308928566633642782015651493874876046760875061456726883172449944822606287025200496283658335398598191757894893352895096661842524854780397038535005428450113518393484758171235151013/504082363839656612355400889065226209830137475556280777458040938837751071908492773268118541659812659385038929017169166946089344731319448334252026587740015298247673399751869389187547319113382836393339051108647202921643541226452018300644969478322285558332039250554975237135818747845443570128697910183623367554187325330328277784415089047873888089192*y^14 - 31751659865417510819747355516610908769190016559431673974925996336388198270160372155802046159426853730661998750448619553240526821752494736885259801462221228770546206632888258594004345896330894158855744881451228385569918922533427894018625782393625867607093051172771501358154724920295948306818923692299084368841211040466798645067868803232895877391683/168027454613218870785133629688408736610045825185426925819346979612583690636164257756039513886604219795012976339056388982029781577106482778084008862580005099415891133250623129729182439704460945464446350369549067640547847075484006100214989826107428519444013083518325079045272915948481190042899303394541122518062441776776092594805029682624629363064*y^13 - 549421198087817547848347508257006011198247524408567038175589092039521812428117190761290157221145699011141469489509910529719609775000538366728886383237162685402081790579735272753821037305421857688218870994359692776931642410511235318790533942506883576185373604819640017418984562377266751978627083938890119218436174879019159040501315383423630226560827/1008164727679313224710801778130452419660274951112561554916081877675502143816985546536237083319625318770077858034338333892178689462638896668504053175480030596495346799503738778375094638226765672786678102217294405843287082452904036601289938956644571116664078501109950474271637495690887140257395820367246735108374650660656555568830178095747776178384*y^12 - 238209227941839042066028492877877613590543668200199865145044738565875679143021328865710714977613249894023315230375992083254220362682829899702202834079577231554426225589753470937178920963540334415146250939566188286502980692731780790439739623109390901017860192317046254554414114478562541759332955059413497266424521450107113266210496930838999137128391/112018303075479247190089086458939157740030550123617950546231319741722460424109505170693009257736146530008650892704259321353187718070988518722672575053336732943927422167082086486121626469640630309630900246366045093698564716989337400143326550738285679629342055678883386030181943965654126695266202263027415012041627851184061729870019788416419575376*y^11 - 636706496689501378545194896540755415218838942473593640929764222929293905981279199729947382916927481388819568970758114292376518491945061053767913118173320928938164447831945442087108670123638124662333387847390881878489009886270386848029510865643173637214311974430755888856695161130362559698720397663952174756014993230508775032954362994096054582453995/1008164727679313224710801778130452419660274951112561554916081877675502143816985546536237083319625318770077858034338333892178689462638896668504053175480030596495346799503738778375094638226765672786678102217294405843287082452904036601289938956644571116664078501109950474271637495690887140257395820367246735108374650660656555568830178095747776178384*y^10 + 98347740178287379698070999391364247797823034603743767899831705922962203614535289468413945643859728205034897757381096494628836115143095667918063140548053901072122066784144648368790770140593143630282495794473710226272098910980788259985415596204041787541157913833261295731297408321905615336764596667171794760967055560071313440242456931231285752809293/252041181919828306177700444532613104915068737778140388729020469418875535954246386634059270829906329692519464508584583473044672365659724167126013293870007649123836699875934694593773659556691418196669525554323601460821770613226009150322484739161142779166019625277487618567909373922721785064348955091811683777093662665164138892207544523936944044596*y^9 - 136028447849112378644870577825899649082192673383854577729798944802414056734799471192219503182981282045114629019345115543240155907512564207310091792837060728523105482032651797279179069527747758351686862715413501494773293451722862000646519519397216231557973327615954161956636318828057996757248359940872227510056104740406087225794275142636177260317851/336054909226437741570267259376817473220091650370853851638693959225167381272328515512079027773208439590025952678112777964059563154212965556168017725160010198831782266501246259458364879408921890928892700739098135281095694150968012200429979652214857038888026167036650158090545831896962380085798606789082245036124883553552185189610059365249258726128*y^8 + 19253469118234277311581203047652821361212201178239223981580220349809219510294484415426245663228777034852689791761735352900377220068418481817314243220477520383972879868065340291980837679092957162541538961889968164033961984558899720650168578086253155816014295475985695363310233311870640960361057729215029720590974439772569439077892088741036547794701/1008164727679313224710801778130452419660274951112561554916081877675502143816985546536237083319625318770077858034338333892178689462638896668504053175480030596495346799503738778375094638226765672786678102217294405843287082452904036601289938956644571116664078501109950474271637495690887140257395820367246735108374650660656555568830178095747776178384*y^7 + 2131600431637248602419376577578066310063705479842935410391674922380535753586307142961391980100834268319068302887729699604595102290761881167629530509440436825334445107469840085232514101457453436451053866876451659762280905054284482497165274591514831730524758106356331735390593984976386311777594030684330370757343912990400282380702922007395096336941/7580185922400851313615050963386860298197556023402718458015653215605279276819440199520579573831769314060735774694273187159238266636382681718075587785564139823273284206795028408835298031780193028471263926445822600325466785360180726325488262831914068546346454895563537400538627787149527370356359551633434098559207899704184628337069008238705084048*y^6 + 3976131819931045935782273176438386779570894550945873970325254880145232714332480466664305760303882875305827374524025290556379934214318154163367139134753521338509625061580356861510910015036890022549464993468096391871466290861843050123947643922887460116960602301960025718616404040021061579301548473960830701171932789462878133965067084417567458458927/56009151537739623595044543229469578870015275061808975273115659870861230212054752585346504628868073265004325446352129660676593859035494259361336287526668366471963711083541043243060813234820315154815450123183022546849282358494668700071663275369142839814671027839441693015090971982827063347633101131513707506020813925592030864935009894208209787688*y^5 + 64440306578777170110916000799097291938934265238199144753858752947523816649940336328986893202181747436138636421780541453930844893642922514704581412168320263483575730433920306349251902550687230634012483410146885699690035280485393126871489934594772754134854375122766738688748422782119895617977113698262780555447868024857728819475474729560969478201/56009151537739623595044543229469578870015275061808975273115659870861230212054752585346504628868073265004325446352129660676593859035494259361336287526668366471963711083541043243060813234820315154815450123183022546849282358494668700071663275369142839814671027839441693015090971982827063347633101131513707506020813925592030864935009894208209787688*y^4 - 26716478899367742076817580893389737477641204684989158463383626760721583333128608214569425884219566765744731670640086539103057748419498708551930011925988521499161828626195648818689938632326951926589876268010904451657219060901308539139304513348276553967650407549950649713263495331558517945094031662841651116944875495117505903970402376724183492776617/1008164727679313224710801778130452419660274951112561554916081877675502143816985546536237083319625318770077858034338333892178689462638896668504053175480030596495346799503738778375094638226765672786678102217294405843287082452904036601289938956644571116664078501109950474271637495690887140257395820367246735108374650660656555568830178095747776178384*y^3 - 1112234915311791896406292350387460044650840168416961081753895137374161597727994110870066190895961669075820520234253688030361082517764660784094829083079172306292333313494361937459904434340955467170969909781436523182321687342424508681942112466407839300970787140241042678413026622415710751762730948961351159251529808849587721128815039003064730889355/252041181919828306177700444532613104915068737778140388729020469418875535954246386634059270829906329692519464508584583473044672365659724167126013293870007649123836699875934694593773659556691418196669525554323601460821770613226009150322484739161142779166019625277487618567909373922721785064348955091811683777093662665164138892207544523936944044596*y^2 + 1024862353941043725251767052220062937744746447716574839209297720851329229002438929888591852997775519358023534091877657750399594505334170704149937363681131478211935957801029666384465578744472143513482698783839512766057862926758604268108186121371073550821470338182092048955647255098989263805291937750439180128052564682336160592111296116257962236435/1008164727679313224710801778130452419660274951112561554916081877675502143816985546536237083319625318770077858034338333892178689462638896668504053175480030596495346799503738778375094638226765672786678102217294405843287082452904036601289938956644571116664078501109950474271637495690887140257395820367246735108374650660656555568830178095747776178384*y + 51638985977058477736051069693158793009820396833507006402608005108330949296132858887041570190833254550612482863153052844478114340443760988479041126469826096838308127417125859649282035503423889556261743802824357370141394497106168539465773257026894152788557804695826752687193466220623118804830136284292807784689204952208959011931493109402614966595/12001961043801347913223830692029195472146130370387637558524784258041692188297446982574250991900301413929498309932599213002127255507605912720286347327143221386849366660758794980655888550318638961746167883539219117181989076820286150015356416150530608531715220251308934217519493996320085003064235956752937322718745841198292328200359263044616383076

# 3 Loop Invariant
-16920963644305852348464127050053772978863894107255875525710698182836626988748015624088748286168291924736214154768102075391458667267574091979164133085630647020371853206503688706168895703298417733548231272858648954698403888290250996880265081136698512812670151257493146047729839556642511853944143361051540945793915415536747382549580707245581187588615772850041460461334660959210110053799842638905/1815043237672880158188587828322860233890705940391283961661753129616776501601019703848708606218649943389585560203403915762643768731470248027180129300871653377916719488442029940461635440511302737608225571788846778198120244350022182417766416032611850947478477695889110370290888954149015623523393601121671559769857165710498112399226034254793081069273590288243062327016693255392579894740534100147613036352*y^31 + 134154063393276285849134563708580658539814590814918455534456992806345466984809860347208063452556607381515129348831922075872091045129387713599081493610883342451096773658281645401234221124468912140958306027798812246141499662232751507991175821128539780884904912479218915736177983719788389549947713810880451525314259969430363524694020420226203847727795900194504025836628890906542816397914001269251/302507206278813359698097971387143372315117656731880660276958854936129416933503283974784767703108323898264260033900652627107294788578374671196688216811942229652786581407004990076939240085217122934704261964807796366353374058337030402961069338768641824579746282648185061715148159024835937253898933520278593294976194285083018733204339042465513511545598381373843721169448875898763315790089016691268839392*y^30 - 4442606524854930656478888984457782601879871323445065765773459395315655576444276338842477470557116038930983288731681109095850616130453620989418045898602432880268979722579481340989575513811678075388339850334733022895424018540427531908602247169936260303494341615197794622909089922847605035054990329911978072270939561581428969441383289417044366461243879424169238785066829539910071138232724727138749/1815043237672880158188587828322860233890705940391283961661753129616776501601019703848708606218649943389585560203403915762643768731470248027180129300871653377916719488442029940461635440511302737608225571788846778198120244350022182417766416032611850947478477695889110370290888954149015623523393601121671559769857165710498112399226034254793081069273590288243062327016693255392579894740534100147613036352*y^29 - 80407392628728671472674370392575483899249516707290022649677247749389519250921025025874399591880591959344005943590255619381885881113835507478962598633542671036816352541482852329200833548405845558776247814941407720943372531455292236849526733728610208278832715580014511131737996418542983138087198775312743309719139087519835914537000423119359719054614019678223767122402355651411093349564521708743091/1815043237672880158188587828322860233890705940391283961661753129616776501601019703848708606218649943389585560203403915762643768731470248027180129300871653377916719488442029940461635440511302737608225571788846778198120244350022182417766416032611850947478477695889110370290888954149015623523393601121671559769857165710498112399226034254793081069273590288243062327016693255392579894740534100147613036352*y^28 - 213565404068560803759237128286131883712864915035701619891808546647159961636967584985548105603636039458746735518748915050418011853066202515362163672799746203494323141460269998585023844624099290322419325682836359739089895928839485758898816934021978588126622649811726758435879724787484489053681663215480548901146932368456568762318338125677420816389879837053053806575560143968132605795332035935212793/302507206278813359698097971387143372315117656731880660276958854936129416933503283974784767703108323898264260033900652627107294788578374671196688216811942229652786581407004990076939240085217122934704261964807796366353374058337030402961069338768641824579746282648185061715148159024835937253898933520278593294976194285083018733204339042465513511545598381373843721169448875898763315790089016691268839392*y^27 - 1122086041267076531166987305060640301574341208572021194105973040892319243409268675426288962760172757888510626611221484645388411491974988528824667802726975697406659660731672828726253937586729834841499115012831030607258730625034459141314440504041451064986907679177118817625703471404266514920952472670868910877353384562123868498870687121893741790244871791683460463024448902453070449512664936423042345/129645945548062868442041987737347159563621852885091711547268080686912607257215693132050614729903567384970397157385993983045983480819303430512866378633689526994051392031573567175831102893664481257730397984917627014151446025001584458411886859472275067677034121134936455020777782439215401680242400080119397126418368979321293742801859589628077219233827877731647309072620946813755706767181007153400931168*y^26 - 15405168414090094528279143382125520999210263713989297855525525785843934273807382427846749504364215797124000286794992215222795051182280931188017185193437005832402649077129487451818368040959939336126679287374294345775708827052317727799944854284185794323756936980663250461085626501352158601366580868453010095456389810922673195112844121674192591842075084004793925878761597825597815059518850010353316781/226880404709110019773573478540357529236338242548910495207719141202097062700127462981088575777331242923698195025425489470330471091433781003397516162608956672239589936055253742557704430063912842201028196473605847274765030543752772802220802004076481368434809711986138796286361119268626952940424200140208944971232145713812264049903254281849135133659198786030382790877086656924072486842566762518451629544*y^25 - 267500941086396136737240954508039310747185379783600107817085631592683531093714662574879821008977457900363354627648902498914822260838574239248106119275812836990094134102588818587830651740895115469455382503723217091978816579591641328263894567416391036781857189829901386714902597028255727162804055994375041712416858191667657843519898521855030811785311550317642119070125114460613889399243759502157043135/605014412557626719396195942774286744630235313463761320553917709872258833867006567949569535406216647796528520067801305254214589577156749342393376433623884459305573162814009980153878480170434245869408523929615592732706748116674060805922138677537283649159492565296370123430296318049671874507797867040557186589952388570166037466408678084931027023091196762747687442338897751797526631580178033382537678784*y^24 - 277426195078507510524909452884990692556485128905436902612812650994679932027442599602999015253518319027605883833858415533693151748531195438046000378367029521168198763194797151258883100743480534856029800312647402673057733229751639598274371751789532466207595728074847638635930735860781817893254805454888109146943596342470301631365471985556128292432469115232365287135898020032512772873154597693270353707/129645945548062868442041987737347159563621852885091711547268080686912607257215693132050614729903567384970397157385993983045983480819303430512866378633689526994051392031573567175831102893664481257730397984917627014151446025001584458411886859472275067677034121134936455020777782439215401680242400080119397126418368979321293742801859589628077219233827877731647309072620946813755706767181007153400931168*y^23 - 2103610695888372021821754689178866206511930382791761055446081214182994881733941373203234022101579400058612764965411874984111688746965367521669630573346211727380119759487163210595184271924461155875856899514472267655040111031780655103531265283693210062215120951698990765184460037783547705408167907115003154268106737712272912572122395661833743338360899130279444881588384442762910861971089936583054152987/259291891096125736884083975474694319127243705770183423094536161373825214514431386264101229459807134769940794314771987966091966961638606861025732757267379053988102784063147134351662205787328962515460795969835254028302892050003168916823773718944550135354068242269872910041555564878430803360484800160238794252836737958642587485603719179256154438467655755463294618145241893627511413534362014306801862336*y^22 - 38918389331756912866807184659768653218430138062876735438352343944435409400081437478310028146962275022392989974341945303832998871099665008968759061250944484225770509923686303904301859877834121729508333262076129490827490777502819427221680334796805662012644600142325941714795195177160940144901784357494602762860500027069248201435282441428936062418373783134901354508269162887144710492946535352234866123907/1815043237672880158188587828322860233890705940391283961661753129616776501601019703848708606218649943389585560203403915762643768731470248027180129300871653377916719488442029940461635440511302737608225571788846778198120244350022182417766416032611850947478477695889110370290888954149015623523393601121671559769857165710498112399226034254793081069273590288243062327016693255392579894740534100147613036352*y^21 - 20177676649390217413996049832652131290494555925062114021123975595911193093779140192604052821735964241642817771653291982227382612164393382186431615126437283432533483719807629294480192666313316847024271674464245171282719441412630447136638186699384125942313945311589611664266789520415981583797386896022830253212856593733442749794708584956823516230044359969996578578590259788935063621994256161204422560465/605014412557626719396195942774286744630235313463761320553917709872258833867006567949569535406216647796528520067801305254214589577156749342393376433623884459305573162814009980153878480170434245869408523929615592732706748116674060805922138677537283649159492565296370123430296318049671874507797867040557186589952388570166037466408678084931027023091196762747687442338897751797526631580178033382537678784*y^20 + 14071949144501991275430566574863486732213925674783808288320396652794448528433464428332559980840277991143123573621913696256692591544315791232262433576073151759901531987542137828482840335036920556059815538612848991061288460604205735165630431031831660005556795378985975429234191120626450615032663458876820701541110647172477955987415749490496144104107851271972024016755198421112217703821066453681673778295/605014412557626719396195942774286744630235313463761320553917709872258833867006567949569535406216647796528520067801305254214589577156749342393376433623884459305573162814009980153878480170434245869408523929615592732706748116674060805922138677537283649159492565296370123430296318049671874507797867040557186589952388570166037466408678084931027023091196762747687442338897751797526631580178033382537678784*y^19 + 84462012203024752700806858193993730561665104249471027255045587371225745443580634340223118491617938901182302708261436816478064527990775155074890976747795767100767472970327964718295750792348183444173405757526754894505506074916219822874867416217198168716456151410404151965260586379996851340633541623063835739619460173032069366648105973110952166299231472784672315996296865695645774986011079594588469334525/302507206278813359698097971387143372315117656731880660276958854936129416933503283974784767703108323898264260033900652627107294788578374671196688216811942229652786581407004990076939240085217122934704261964807796366353374058337030402961069338768641824579746282648185061715148159024835937253898933520278593294976194285083018733204339042465513511545598381373843721169448875898763315790089016691268839392*y^18 + 1272724312878456635097205137846901029761738947566767841646155438500566211945969020463743151104369614713612310191371480573302275119034265027571124619004037668868841460789018671953678844201268225687364265505570543556858392885837880844704275055299658507245872532329612329889593828864730622519210234243618673109809713571339442947868480273390667289063705845698787231273682350235825745458524783478729172648559/1815043237672880158188587828322860233890705940391283961661753129616776501601019703848708606218649943389585560203403915762643768731470248027180129300871653377916719488442029940461635440511302737608225571788846778198120244350022182417766416032611850947478477695889110370290888954149015623523393601121671559769857165710498112399226034254793081069273590288243062327016693255392579894740534100147613036352*y^17 + 381719525949933128946886930284846788927095901011131541601711490783187691771018922080180623664822268118772275694899724340007916082134104102982002968754765598435125147416839881380731712051486168256318703571633065928754315387982618327634815884993947591439900239590460005315562423911943571419511080982287802062184029231455116070536672168554282252468325344559345197914580784078229337141601878229057028623619/453760809418220039547146957080715058472676485097820990415438282404194125400254925962177151554662485847396390050850978940660942182867562006795032325217913344479179872110507485115408860127825684402056392947211694549530061087505545604441604008152962736869619423972277592572722238537253905880848400280417889942464291427624528099806508563698270267318397572060765581754173313848144973685133525036903259088*y^16 + 211849004898823553964666649381794075817001077269534140754258283515527616002503153686588918564125647826962388508818556186729945714668558474218483168332940956879714828149748706429438633603547085798320705703898639932143664639498745049898128677980308780131068290100315939796312357839362949495895253066658683053474206705532004686206592205596250823528975964649835104912515317813990700236120646268482080668861/907521618836440079094293914161430116945352970195641980830876564808388250800509851924354303109324971694792780101701957881321884365735124013590064650435826688958359744221014970230817720255651368804112785894423389099060122175011091208883208016305925473739238847944555185145444477074507811761696800560835779884928582855249056199613017127396540534636795144121531163508346627696289947370267050073806518176*y^15 - 683086633813640208359202234631511684347436799455611861678179097516345278886095902579487743219397612583368272532447078248916488968271087091830023280284656377357139484301070447821638819356375424029149826559720534616667512998975992567484000945418030778377857908599774567307018248742749640703659324303415663672901681078027590862205065536849862000760001645607547822677824704643232490831092684756116462794343/1815043237672880158188587828322860233890705940391283961661753129616776501601019703848708606218649943389585560203403915762643768731470248027180129300871653377916719488442029940461635440511302737608225571788846778198120244350022182417766416032611850947478477695889110370290888954149015623523393601121671559769857165710498112399226034254793081069273590288243062327016693255392579894740534100147613036352*y^14 - 2614698531160490298624514781022996630895287158121312921630135482446390382544140852226091304899765441175887750680599544235975285385376870152098715044385503295338628188393813556071068155295227098737169082278087873214078834849654886693325525139885358966645707542286844603544016270474977586361134615769042574057162226733725066622322918603830061562354665301693726411396880273840956434956237743420535894759/37813400784851669962262246423392921539389707091485082534619856867016177116687910496848095962888540487283032504237581578388411848572296833899586027101492778706598322675875623759617405010652140366838032745600974545794171757292128800370133667346080228072468285331023132714393519878104492156737366690034824161872024285635377341650542380308189188943199797671730465146181109487345414473761127086408604924*y^13 - 445613188445796683047963630390794650393410814362308880096568806651070848914566170809653875679363159270931604658599624707889511288079902184730288857575632098529283578281722882623085118204543597451470181919083798448006977931669813686369974143609550147793869486391019544230483674997710387107836305609075782183099630724227263401682304935001368957426960743216987122403156156501619336693159470538367432170639/1815043237672880158188587828322860233890705940391283961661753129616776501601019703848708606218649943389585560203403915762643768731470248027180129300871653377916719488442029940461635440511302737608225571788846778198120244350022182417766416032611850947478477695889110370290888954149015623523393601121671559769857165710498112399226034254793081069273590288243062327016693255392579894740534100147613036352*y^12 - 555949492557908198968410370048211653009589577559965761696722359356681604337992514245754576600806446818831949679837517143478236469190069771993322538697547452268713270041611412465591322487203627540530667589918638568677038185278946887422777312107254776443343753146716688988011135991879547490172575964950540094048310453811043227014419117883580705168809504221370807171765214449619554340137458280424264873835/605014412557626719396195942774286744630235313463761320553917709872258833867006567949569535406216647796528520067801305254214589577156749342393376433623884459305573162814009980153878480170434245869408523929615592732706748116674060805922138677537283649159492565296370123430296318049671874507797867040557186589952388570166037466408678084931027023091196762747687442338897751797526631580178033382537678784*y^11 - 255597701255016129696296968627549367536563099919634054833044931197027621149516187903222932717905303520536081707238911062263666328050627691616400559158006564031482864455930848183815304627227717173769611192229700597147857240805665110392434337987792218940022521777001843719585242617546691252832537698499727437527504860052373939118770385324377820403503647284978027775948105180962616196532244502102530797651/907521618836440079094293914161430116945352970195641980830876564808388250800509851924354303109324971694792780101701957881321884365735124013590064650435826688958359744221014970230817720255651368804112785894423389099060122175011091208883208016305925473739238847944555185145444477074507811761696800560835779884928582855249056199613017127396540534636795144121531163508346627696289947370267050073806518176*y^10 + 243331203168204101471733409841694866714082706061812764792100530013430403977264162529129590905743071718310808024322097446478684132447752312695635399479455198697014911281931531220491678154268566026859642935310120487780655609066901557287850652467675723660376475064783460538819920642055809581950101070075331910365725499311232434280026719278064598303405641095091061779458153077535024923467942216227537058347/1815043237672880158188587828322860233890705940391283961661753129616776501601019703848708606218649943389585560203403915762643768731470248027180129300871653377916719488442029940461635440511302737608225571788846778198120244350022182417766416032611850947478477695889110370290888954149015623523393601121671559769857165710498112399226034254793081069273590288243062327016693255392579894740534100147613036352*y^9 - 28471482532637076175804998308067931297776159515353101547275969769541204989360592819955977027498125556019343650486860671613595829945277774659095557343463269838110690381338613627136955577150283621883136401675042197724247565114445987417098841149320587764510319578997439281901165711180381156259567074827296817733971855717891896692147030081292227667224244811059707427312096552485583720243271738275461969027/151253603139406679849048985693571686157558828365940330138479427468064708466751641987392383851554161949132130016950326313553647394289187335598344108405971114826393290703502495038469620042608561467352130982403898183176687029168515201480534669384320912289873141324092530857574079512417968626949466760139296647488097142541509366602169521232756755772799190686921860584724437949381657895044508345634419696*y^8 + 9690341049363559026421356838283428071660555071681975356542901661842970317578789366863652150995211321543147281455409733506250038780692348721869313744788564413353774925267234793058349951321524545204984059684116018952891905766038774906573278543488625098852699548549764970302588631982313767030041789111970152289406953304468363565109291722505560435059099137857478879577458141543200717057689400791405123441/907521618836440079094293914161430116945352970195641980830876564808388250800509851924354303109324971694792780101701957881321884365735124013590064650435826688958359744221014970230817720255651368804112785894423389099060122175011091208883208016305925473739238847944555185145444477074507811761696800560835779884928582855249056199613017127396540534636795144121531163508346627696289947370267050073806518176*y^7 + 29468286066806552951833911195583465234110078334941069522101906018787852010281342171312861591794589361003086681712849666846079531487806048559022924466308390178667713196981478184085331211116082550564110903929769831103734968235809686029244452363964564377099575043040632286042821650212855459100811137805192350914701146709420258745137220951133759951099036698250971672710637222605149101000772082073297649681/259291891096125736884083975474694319127243705770183423094536161373825214514431386264101229459807134769940794314771987966091966961638606861025732757267379053988102784063147134351662205787328962515460795969835254028302892050003168916823773718944550135354068242269872910041555564878430803360484800160238794252836737958642587485603719179256154438467655755463294618145241893627511413534362014306801862336*y^6 + 9009244158141593522558413499528172703930719859705994982097086804251714068452705455648751884742476028776787510354647275404913299153239179937074534857753349422714245085937984731540175957851209235172058045402663858576462588474457797762005741704668771611208940913610572390476335033632675216833098786366942850561747492647550486342186288467264202864498120857811356279032055661385981687978925563113167527499/302507206278813359698097971387143372315117656731880660276958854936129416933503283974784767703108323898264260033900652627107294788578374671196688216811942229652786581407004990076939240085217122934704261964807796366353374058337030402961069338768641824579746282648185061715148159024835937253898933520278593294976194285083018733204339042465513511545598381373843721169448875898763315790089016691268839392*y^5 + 1348202380123167198558315335383204479877295772904994548182853496812022885261294238191168903733973053896643106589807271781960439311597593541358944069063884462677769540190618136249202515327366833854944653146535497367306756321822705034464544928853531321973275943215793019902416609991602014402630616060075357246113569615470102290870832526570436421075787397730435433214182015287635746478343938614416118263/302507206278813359698097971387143372315117656731880660276958854936129416933503283974784767703108323898264260033900652627107294788578374671196688216811942229652786581407004990076939240085217122934704261964807796366353374058337030402961069338768641824579746282648185061715148159024835937253898933520278593294976194285083018733204339042465513511545598381373843721169448875898763315790089016691268839392*y^4 - 9259564922546661524357451562218237372408748894430007480582564511405249060686461921189802926799532991601127602832985318630568941754887009726980214184718647859286203236851769820899605995101038775763755902478987354206922965047879726554619721606479362011030348170065284074218345824791313746094216267295836334858717355837224514089402817622993058486030789447310112041965408765220935659758865783916791553499/907521618836440079094293914161430116945352970195641980830876564808388250800509851924354303109324971694792780101701957881321884365735124013590064650435826688958359744221014970230817720255651368804112785894423389099060122175011091208883208016305925473739238847944555185145444477074507811761696800560835779884928582855249056199613017127396540534636795144121531163508346627696289947370267050073806518176*y^3 - 3067896862280872894172154463402125692418408494939371949531079834295897017251070348337743132487463711248967403958080784888084254590164743580990264522456702974910039226098088403688544111501379496610041728279443488291771948297038708631883027264107913270696717236900310439395443214192444126417831592018677369773255352663727396277701431042550247399345513731457496933806934900701201913235645102826016368711/1815043237672880158188587828322860233890705940391283961661753129616776501601019703848708606218649943389585560203403915762643768731470248027180129300871653377916719488442029940461635440511302737608225571788846778198120244350022182417766416032611850947478477695889110370290888954149015623523393601121671559769857165710498112399226034254793081069273590288243062327016693255392579894740534100147613036352*y^2 + 20704314626100863165715444878408173078412804310034951182300777451975119408866584541282925251138172535146944111942578308010650990418316031734533127255798869493238672186811385164835529555128744907010776211594383732609151644617095747153961898204467680473393363640968972104282726730259305191403663817702606086590009019321287989259920037937124390126320759159824098738099080415934439743408585018187552115/113440202354555009886786739270178764618169121274455247603859570601048531350063731490544287888665621461849097512712744735165235545716890501698758081304478336119794968027626871278852215031956421100514098236802923637382515271876386401110401002038240684217404855993069398143180559634313476470212100070104472485616072856906132024951627140924567566829599393015191395438543328462036243421283381259225814772*y - 174599827992110625764176832326246137453404403696672772546371781459744125034878147785123725771086382774771079529389301989802572571103437927303151926882443570976552013282395908179347042651121188175456654828031017788115321639367570234295385689149709637724723908126397478897813984266563324931150250628141780125687564144846376817152418924710794964762993345214199996110661443910680672176836643071466903/4548980545546065559369894306573584546091994838073393387623441427610968675691778706387740867715914645086680602013543648527929244941028190544311101004690860596282504983563984813187056241882964254657206946839214982952682316666722261698662696823588598865860846355611805439325536225937382515096224564214715688646258560677940131326381038232564112955572907990584116107811261291710726553234421303628102848

# 4 Loop Invariant
560232254502132759429798415349582582611524172450429324923775248347594249383601756454874051707627958045737881683000539816635026877527817382103095278245995037763433082037071403733139332265722937961509744801146739111439354806693648486478463447091993930670683773547624328873858739152142912257979310280345565060157125645519887515174116080395895779345939950939307571888640191211464184700024376338846138335015031938364364699153337715305372919685197183046474588874512818073383186244113411668100409946122459933/74456560932909130050895945052786686480301287324869207078638989596916590851353210457047793253398111224091851297331876752340542151666160653035837286745742455202521118269488543937310118935635658291293967826045419026258743982557742503521904272715858792400666594495942055863370972086935674776348614763875888334818627522615647568205369034440961890215290307612109218696557756536415724113496068365200674322537443533668446970282643010149036353255225437236995283674665552240427652801765911350473206728721228853191154720*y^31 - 284882702216197326996886796242330670862415449027050281850383491186285532397233784404211949165392169740628528866859271731095142184010845612225141338890305253177884743260516125218329663078823804458543092819237802653164618077620488473011267123097806836205320832826793424009237850986931830878542947268316265266648970001295375458730672163437933070321208217718568725206094647207791638223338652016567390117018251218744960244456851230990433768978062820465381019791958112382192132707872364981619401041313485449337/794203316617697387209556747229724655789880398131938208838815889033776969081100911541843128036246519723646413838206685358299116284439046965715597725287919522160225261541211135331307935313447021773802323477817802946759935813949253370900312242302493785607110341290048595875957035593980530947718557481342808904732026907900240727523936367370260162296429947862498332763282736388434390543958062562140526107066064359130101016348192108256387768055737997194616359196432557231228296552169721071714205106359774434038983680*y^30 + 958802232450313600022667617493871673434272706292665617306056388451157910277323095499585552459640976827807606988667589395957698751633447471112465342595933015413553277766400979701978738095844777111352958589139610576495496419739642836566283855195731267444645003061139807360887896692171545421960740208679061310575465213593700109256778097420430722712734460864490673994141935707003337707649804134918089326880220843321213465153811222836263378518730340751627019961788640529382173819652555665937455755256951460281/476521989970618432325734048337834793473928238879162925303289533420266181448660546925105876821747911834187848302924011214979469770663428179429358635172751713296135156924726681198784761188068213064281394086690681768055961488369552022540187345381496271364266204774029157525574221356388318568631134488805685342839216144740144436514361820422156097377857968717498999657969641833060634326374837537284315664239638615478060609808915264953832660833442798316769815517859534338736977931301832643028523063815864660423390208*y^29 + 557483108891526925895566358921725246530899330872497916902270376176942654616681545969815121218219965306898231668583641352575698597828882918770360328705501904299813754613136934778643463893801313913481543978391751603049745536685391720074115368662893096390950635944889793615617258992154194466444414512641297387324893744634132915164744664428864138404630808670169668303725485506970551796371620819282648090067615819310671222848033221270091616663484261508710816426064197492827931199163559174050736212277694750721/15675065459559816852820198958481407680063428910498780437608208336192966495021728517273219632294339205071968694175131947861166768771823295375965744578051043200530761740944956618381077670660138587640835331799035584475525048959524737583558794255970272084350861999145695971235994123565405216073392581868608070488132110024346856464288217777044608466376906865707203936117422428719099813367593340042247225797356533403883572691082738978744495422152723628841112352561168892721611116161244494836464574467627126987611520*y^28 + 89910592284597626035064488255133143796372115062246049302227942928222180438410256663060132759008466998534530843620511103047055612735283941606883256123062126874757765058259225185212142653009289849582386153888421028920931834141988000246354973263280077114755948310769310721184289317988410321298982521899756852867551989723238445198934584204701154935703033771444715491418102009618633530582230376252906518925954762643024161636043171835816033948700795282502840980159892618437132244671566004684648295233522407404695/158840663323539477441911349445944931157976079626387641767763177806755393816220182308368625607249303944729282767641337071659823256887809393143119545057583904432045052308242227066261587062689404354760464695563560589351987162789850674180062448460498757121422068258009719175191407118796106189543711496268561780946405381580048145504787273474052032459285989572499666552656547277686878108791612512428105221413212871826020203269638421651277553611147599438923271839286511446245659310433944214342841021271954886807796736*y^27 + 2357224151660153484607845822623517477809710135116350716273984703614234071782144386647384274021069442735038171682581128039918864632654555703019200409069070998328984906469033134670289491363052342530911580158945673808289860428131209297776886117701995046743528692380232259258994909027466052644381493022542309069342095367654789818431603911800790562802171478199645691060629161251662624686766356747573598136380776118288634392723913339269469028489630270557515703355482058537072102788167111414558256570957763881520167/340372849979013165946952891669881995338520170627973518073778238157332986749043247803647054872677079881562748787802865153556764121902448699592399025123394080925810826374804772284846257991477295045915281490493344120039972491692537158957276675272497336688761574838592255375410158111705941834736524634861203816313725817671531740367401300301540069555612834798213571184264029880757595947410598240917368331599741868198614721292082332109880472023887713083407011084185381670526412808072737602163230759868474757445278720*y^26 + 128806566492109974756656449519531188082270372909592246162780991636218520970027832843977152208700431619476897258306041478381460898590228531968844129834642700194557732373083988281499491518122349381889463975883460833922032749365172822048553165330582478846250086172990885941171543562844400150768947280922590454555449904729973241021804012285222923548852353990473913341787572031937743173052540340380063551973346872339527713666699453230622510999861166725079309983374144360539243063460782483359647056735597505234385183/2382609949853092161628670241689173967369641194395814626516447667101330907243302734625529384108739559170939241514620056074897348853317140897146793175863758566480675784623633405993923805940341065321406970433453408840279807441847760112700936726907481356821331023870145787627871106781941592843155672444028426714196080723700722182571809102110780486889289843587494998289848209165303171631874187686421578321198193077390303049044576324769163304167213991583849077589297671693684889656509163215142615319079323302116951040*y^25 + 92906896386900822168415662207173996867595727729772094659044918370084433189685831674242617515192224276395428148843824448900364453499887736928991996278246377415283208613282529226915436602516833184134683266471490954712818762094660735092127425247135910492599336729244800558112607718828734685819710572396832655900027458883559126382647052563815542746421987507991601716467808367377329194638739492900281105393936489480435441449022387160657006349139476798939680655785629754269103995191968959349129162291405655940789957/264734438872565795736518915743241551929960132710646069612938629677925656360366970513947709345415506574548804612735561786099705428146348988571865908429306507386741753847070378443769311771149007257934107825939267648919978604649751123633437414100831261869036780430016198625319011864660176982572852493780936301577342302633413575841312122456753387432143315954166110921094245462811463514652687520713508702355354786376700338782730702752129256018579332398205453065477519077076098850723240357238068368786591478012994560*y^24 + 30244428160887897713913929377592434232451726564251927709613018113406328161352285915846322354226967649825419322923424401141577135887438296807739455945357718639294910969791978503898231820536862333453022448215477377247702538338183625236411696334945233881444650112900959916482524964734612158485964664298121946926363811619633030064138099546065313575114498779624028252881178297088363072139131511012411439940050400764975726089687648829516893874112595849871270911367045952975449272062717906638288435857795088590361917/17914360525211219260365941666835894491501061611998606214409380955649104565739118305455108151193530520082249936200150797555619164310655194715389422374915477943463727703937093278149803052183015528732383236341754953686314341668028271524067193435394596667829556570452223967126850426931891675512448664992694937700722411456396407387757963173765266818716464989379661641277054204250399786705820960048282543768407466747295511646951701689993709053888827004389842688641335877396126989898565136955959513677288145128698880*y^23 + 2163622729250585603970406987389607107178476724458491377773026412889928281658346310489979147753919421323084365864970722610541724751885467012937230769882949404352748235313026028596155297492512037456878277444656090786081457989250513202963197619979841654540841836730170457258194876290510197032037798883860173786243444847921782224566133387641616834444853308283948138726422080587698086789217976706982266126597323218325438596247353488613583613421111784484529806417490692082384673827315086112467509227191287975697754637/340372849979013165946952891669881995338520170627973518073778238157332986749043247803647054872677079881562748787802865153556764121902448699592399025123394080925810826374804772284846257991477295045915281490493344120039972491692537158957276675272497336688761574838592255375410158111705941834736524634861203816313725817671531740367401300301540069555612834798213571184264029880757595947410598240917368331599741868198614721292082332109880472023887713083407011084185381670526412808072737602163230759868474757445278720*y^22 + 7894363651519334626413584703541575156569425068156649055675305449321626971569771361115965076358679030564481051186377991573378548074617633080481216779495894176794751670939481633892851706114398180576434216282041178741285059189125728405322226265733140537093778434848954196315693352593480180982727466428637574588086719782565530727697216049461389333200029393848987573833536788531632165551966990416947810763685614938132324247892835127463390290916533803612575326065212900770614591698040536369699519483774644398034306109/476521989970618432325734048337834793473928238879162925303289533420266181448660546925105876821747911834187848302924011214979469770663428179429358635172751713296135156924726681198784761188068213064281394086690681768055961488369552022540187345381496271364266204774029157525574221356388318568631134488805685342839216144740144436514361820422156097377857968717498999657969641833060634326374837537284315664239638615478060609808915264953832660833442798316769815517859534338736977931301832643028523063815864660423390208*y^21 + 2470864002028141036751815452078211196275243449380654403756144592315442031034173148334179424293969045755788934707798703732546757723001592231483547183989087025815830605067916657712880142509116415319538823489504195936468667364995355801715447152950464330356690304400455639933372209619804917266299229132073646095419310225865844616266874885061794102376928864259718740312295813297123379811521498513546117650241074948260970669257567072787497960249773581328439874518439942567674316625630053707321651799257683302605249471/99275414577212173401194593403715581973735049766492276104851986129222121135137613942730391004530814965455801729775835669787389535554880870714449715660989940270028157692651391916413491914180877721725290434727225368344991976743656671362539030287811723200888792661256074484494629449247566368464819685167851113091503363487530090940492045921282520287053743482812291595410342048554298817994757820267565763383258044891262627043524013532048471006967249649327044899554069653903537069021215133964275638294971804254872960*y^20 - 17626529545575361122686225042212903238067456502354629674094143376707148785209079297345491575158337841426050017031360274603095842684606667227438132000250948873174839458850939477780296376835677915502956906697968178437393849117780632255390870865824862963955538618463072844267736806288262269804108713751840048592683172648620029971706813378173036244423599993818371629185617653047761001385852536888483191974437688393467840482820957584237560470036674881199828645355479270474472779007338825559558451485026385194590021127/794203316617697387209556747229724655789880398131938208838815889033776969081100911541843128036246519723646413838206685358299116284439046965715597725287919522160225261541211135331307935313447021773802323477817802946759935813949253370900312242302493785607110341290048595875957035593980530947718557481342808904732026907900240727523936367370260162296429947862498332763282736388434390543958062562140526107066064359130101016348192108256387768055737997194616359196432557231228296552169721071714205106359774434038983680*y^19 - 44559142663613248465233221096591534393977132433744844782909519053222031783948892033279298597975819415641224091204670614704310064258549343978396511138823304523535182801820145297659036678613186500897170539188702665088768542429364388672757092538969802730269147628653304826276649908376266016211815212145196910543201060539188924206027478844981080802817389475998131367784755375410677238338411755568302917975652748465436740034858738743807482520633295035000994477699543710708512326866275610198145087826118466775296061251/198550829154424346802389186807431163947470099532984552209703972258444242270275227885460782009061629930911603459551671339574779071109761741428899431321979880540056315385302783832826983828361755443450580869454450736689983953487313342725078060575623446401777585322512148968989258898495132736929639370335702226183006726975060181880984091842565040574107486965624583190820684097108597635989515640535131526766516089782525254087048027064096942013934499298654089799108139307807074138042430267928551276589943608509745920*y^18 - 1291417710475913192848180489120307127908610547848644534151123393787240123961473408891102341692609082665492443882552209703633026336458443563001979222158840342245705894083863421837731552293724823282704697812526012176248299115089767682929206305115551236942185115342813349967935687771347882716519717767729435307158687545286812675327564655865521836221370221400613874536578369951594934752240230314801642404849141260411088269339732956233130559291320812763943252855115523917583931819638897167241433796573223972617115219071/2382609949853092161628670241689173967369641194395814626516447667101330907243302734625529384108739559170939241514620056074897348853317140897146793175863758566480675784623633405993923805940341065321406970433453408840279807441847760112700936726907481356821331023870145787627871106781941592843155672444028426714196080723700722182571809102110780486889289843587494998289848209165303171631874187686421578321198193077390303049044576324769163304167213991583849077589297671693684889656509163215142615319079323302116951040*y^17 - 1458594640749688912447491129618157693735807834070875737868754492111543197806608866043294398121370880978102635510385997754429682133861871444758712031253495337596546946557063195093837564823893774919661391722770928236985199453956066372835094816948608644864846768917800568149760250422117715300850157340868304076576449103072625309025622198150465922508886264008903386007816097125225382230544824421187075747343770491896222996580635542109222609038894747739085105096872107968423738247222826191617011536587718738705024669279/2382609949853092161628670241689173967369641194395814626516447667101330907243302734625529384108739559170939241514620056074897348853317140897146793175863758566480675784623633405993923805940341065321406970433453408840279807441847760112700936726907481356821331023870145787627871106781941592843155672444028426714196080723700722182571809102110780486889289843587494998289848209165303171631874187686421578321198193077390303049044576324769163304167213991583849077589297671693684889656509163215142615319079323302116951040*y^16 - 231612719466021508845434856613771577014644785651771965822765269563875880820885716502229719464113750829548775451820281401409185551825853666219593876102520001540204287711269240582758009663901847856735627077612134700410087479351227585689012857152877782804575666454643568873574809710895687583813302695338035863473272585660504803230245021156800831868734368216879024078224937194407109366000683421306705991237662945244754492302864783451308470435613449784520668885316819652328006945474660090647423119505309690192966951033/2382609949853092161628670241689173967369641194395814626516447667101330907243302734625529384108739559170939241514620056074897348853317140897146793175863758566480675784623633405993923805940341065321406970433453408840279807441847760112700936726907481356821331023870145787627871106781941592843155672444028426714196080723700722182571809102110780486889289843587494998289848209165303171631874187686421578321198193077390303049044576324769163304167213991583849077589297671693684889656509163215142615319079323302116951040*y^15 + 166104742338744124248459734628926983831816557232184124952797994155530911969155582730847444136538166912887611374232444386362135595251055705638985692153314534529750259378997815535631824115445242707665896902407209057946035521532059858885756334236073014732208805672662479348651375527833538617688736499805004807440349928964410853640107508768520156778476766898974017277673213371284032209357258552114613648269031263412319323216646996957165087809924283160062470639061428988360987714384308433604912293632107626744187593919/476521989970618432325734048337834793473928238879162925303289533420266181448660546925105876821747911834187848302924011214979469770663428179429358635172751713296135156924726681198784761188068213064281394086690681768055961488369552022540187345381496271364266204774029157525574221356388318568631134488805685342839216144740144436514361820422156097377857968717498999657969641833060634326374837537284315664239638615478060609808915264953832660833442798316769815517859534338736977931301832643028523063815864660423390208*y^14 + 12430561670219315779508899976580865320679676787256937188819125435890971038766104552925489029329770357670076107875271784721670257693038852729135510422179507155844290609686286955866449976007057320069539725956825861111063132611446475217967610863000389843598995699577254147591929273774657933961542677270661920882023348297434357562756250702350528013904754441851352765455639270327152807806326686303126774262632709777546245247851761009958564693389873210476792078938649227025943550044390139937614404976879826980672894123/397101658308848693604778373614862327894940199065969104419407944516888484540550455770921564018123259861823206919103342679149558142219523482857798862643959761080112630770605567665653967656723510886901161738908901473379967906974626685450156121151246892803555170645024297937978517796990265473859278740671404452366013453950120363761968183685130081148214973931249166381641368194217195271979031281070263053533032179565050508174096054128193884027868998597308179598216278615614148276084860535857102553179887217019491840*y^13 + 214991263089504058155761345710482656982626088722495436171910976021255817472923897138548100392909958193901182575015287213179219002627417237412210301993161853082719451742209040824686900687861623968875282936762772788680149311917759423988465722001671812765651842101114084359661744261322299782165842117319430883458144613294058493215867371008241496994848059437260681061824455633399665264809936185480566620431345168731419975784742414875032551033316819222323607448796352727616501101555049776288723729090036631395468676017/1191304974926546080814335120844586983684820597197907313258223833550665453621651367312764692054369779585469620757310028037448674426658570448573396587931879283240337892311816702996961902970170532660703485216726704420139903720923880056350468363453740678410665511935072893813935553390970796421577836222014213357098040361850361091285904551055390243444644921793747499144924104582651585815937093843210789160599096538695151524522288162384581652083606995791924538794648835846842444828254581607571307659539661651058475520*y^12 + 95110349506171591165928025083851413778301426493273405079690091455100991736380522196987002326177930915267303395291640377345346540131305752914087483208884945263974961171449442921291640789532757957221081235585019723604400989390738697922379734678040570294145064193325888888917191273009900509880968747459439840397396991533314653522596801456318733724300658254924643924578591584287656361421304032827838103241048899735379560135024929846903563894411030776106219083833634377172772401645321027584826942374894298017654418853/132367219436282897868259457871620775964980066355323034806469314838962828180183485256973854672707753287274402306367780893049852714073174494285932954214653253693370876923535189221884655885574503628967053912969633824459989302324875561816718707050415630934518390215008099312659505932330088491286426246890468150788671151316706787920656061228376693716071657977083055460547122731405731757326343760356754351177677393188350169391365351376064628009289666199102726532738759538538049425361620178619034184393295739006497280*y^11 + 10667595591816946157326406221278568316606658954808837538048692961437479578849082459124620921008263121796875897696449574246388279662059781803509445812893370025781655641135656257777162522337952954009277815826401069184587359393398084839980284603556103474970444418896933380666410048856428762364188742953192257380138476768576316631096116643320151195682402314419514589502793741354906191296536602173071067959670242189443781432682999969512063939988707513087187500061505661607828443874813216538277543707837044088218069249/74456560932909130050895945052786686480301287324869207078638989596916590851353210457047793253398111224091851297331876752340542151666160653035837286745742455202521118269488543937310118935635658291293967826045419026258743982557742503521904272715858792400666594495942055863370972086935674776348614763875888334818627522615647568205369034440961890215290307612109218696557756536415724113496068365200674322537443533668446970282643010149036353255225437236995283674665552240427652801765911350473206728721228853191154720*y^10 - 379333297252135851074602721527669124465517841749589253710937121913805364196849847657770028752938337903035109916361019255886186055149070086711279735377818165034475361502325692617748575724812743555046655516363622105837152504799736129862618763347580997039786191296676774793889719315810008670987476909531692819970044762946566728282657123323680098631164935833126605495017198288086591769037772155287254925331770413440829241163056071080214607082573049661479222308132923733952280131445848140205756992339647855019638499019/2382609949853092161628670241689173967369641194395814626516447667101330907243302734625529384108739559170939241514620056074897348853317140897146793175863758566480675784623633405993923805940341065321406970433453408840279807441847760112700936726907481356821331023870145787627871106781941592843155672444028426714196080723700722182571809102110780486889289843587494998289848209165303171631874187686421578321198193077390303049044576324769163304167213991583849077589297671693684889656509163215142615319079323302116951040*y^9 + 30665255091158480258949271485441528225494090817256747025667362044903227606231579129304024061423636736894226699979732533937609793942049092408643132809228828582688676490087055966862377053834445410213317194556921912186095096818326468771283701654064168543725249499612476230960847732132657028860203959366501862509830411349846965234708833122897268435916687406257786965694307584940745997318879886291073121651883340838157048709452955598932750243808732799507475299385321586080510406833951565949423429968733315656596251467/198550829154424346802389186807431163947470099532984552209703972258444242270275227885460782009061629930911603459551671339574779071109761741428899431321979880540056315385302783832826983828361755443450580869454450736689983953487313342725078060575623446401777585322512148968989258898495132736929639370335702226183006726975060181880984091842565040574107486965624583190820684097108597635989515640535131526766516089782525254087048027064096942013934499298654089799108139307807074138042430267928551276589943608509745920*y^8 - 5943980068688523259642958468896379491182704595222129855363545501744323619110321120164397887311559786676490238610855156550663393349160512511029211561862431786956256140341605827938005739651763475817412462038194527424458584027876150366251854909916690983006440239271774578282029976480017330881733667734978362508139361984392434134074377027331360745315950178787469602272408528100346274749281542894705558731216154414316550888986451610370646537638530332920371801127758551173615173125472631111431411149461740579908797061/297826243731636520203583780211146745921205149299476828314555958387666363405412841828191173013592444896367405189327507009362168606664642612143349146982969820810084473077954175749240475742542633165175871304181676105034975930230970014087617090863435169602666377983768223453483888347742699105394459055503553339274510090462590272821476137763847560861161230448436874786231026145662896453984273460802697290149774134673787881130572040596145413020901748947981134698662208961710611207063645401892826914884915412764618880*y^7 - 1716222458832638549374100353808786130459739573232253039201402644374920392902850977140463740664221617561310311403613390847818284846135861651518812998913389804841486440141310608895714177794541676112526025050364574316685795292891838409375706507412814161115172094616681904271255599946995184843661944843517702293926754597874040345513923041683470772667596800385575336401812460915561600438601643386707432358813975914368322325982579954347545241752251892679663389343676659770909485256875003042986669607267267405933731083/17914360525211219260365941666835894491501061611998606214409380955649104565739118305455108151193530520082249936200150797555619164310655194715389422374915477943463727703937093278149803052183015528732383236341754953686314341668028271524067193435394596667829556570452223967126850426931891675512448664992694937700722411456396407387757963173765266818716464989379661641277054204250399786705820960048282543768407466747295511646951701689993709053888827004389842688641335877396126989898565136955959513677288145128698880*y^6 - 2254773190602040986143147985253821392706666695703204754236541361333431939157724225017888452140075726275803248014211289884109027037738535240935243339119793019710796647557583493067770162102629365115322473462227988063192520415923971004861632547510708735400055651100342188183578997438192106694043517969370045987816016651495111739816214847398771253271753343856595479972295240331897939876812451955952556307127491292650213620541600829288056246638969583200684208961228103638296711967864932572646034400077604161513009161/158840663323539477441911349445944931157976079626387641767763177806755393816220182308368625607249303944729282767641337071659823256887809393143119545057583904432045052308242227066261587062689404354760464695563560589351987162789850674180062448460498757121422068258009719175191407118796106189543711496268561780946405381580048145504787273474052032459285989572499666552656547277686878108791612512428105221413212871826020203269638421651277553611147599438923271839286511446245659310433944214342841021271954886807796736*y^5 + 388319112755493001856045889106698296534567770037520573960322676426071769816109601314833278543953593555733566308305682175729981936091187808459166048625809912574415112982704287040607644580159464234817404677369601990729324196956186986392460751964771946404628402268800573823507215405787988114495294896308684520701258894799118224411604655053662407414750405764734984563092092915052295606999124086539257930450647653160976004595024590782284834138548579876184823394462636013948091037821953554823028059519695031134781903/158840663323539477441911349445944931157976079626387641767763177806755393816220182308368625607249303944729282767641337071659823256887809393143119545057583904432045052308242227066261587062689404354760464695563560589351987162789850674180062448460498757121422068258009719175191407118796106189543711496268561780946405381580048145504787273474052032459285989572499666552656547277686878108791612512428105221413212871826020203269638421651277553611147599438923271839286511446245659310433944214342841021271954886807796736*y^4 + 11531572835118124095729888319038345905744115721578401430476675123124883140577130594230640650881618646186685177346853860096122264678715694592207494989769422128237302062066216677591144836841277763096894161514717814677181177317962922196794693063543236296303043994225530649765874761449730038486771754561059182149850518148861914754076705560160873447066959552090768467024408497772297788350888025775052280187301397409226369903804161768356299732857533444075674605625080206822539487661242037831246578771462948079863207073/1191304974926546080814335120844586983684820597197907313258223833550665453621651367312764692054369779585469620757310028037448674426658570448573396587931879283240337892311816702996961902970170532660703485216726704420139903720923880056350468363453740678410665511935072893813935553390970796421577836222014213357098040361850361091285904551055390243444644921793747499144924104582651585815937093843210789160599096538695151524522288162384581652083606995791924538794648835846842444828254581607571307659539661651058475520*y^3 + 760541044090590025437016339670955762520587486570630769125014889069211893905032907194916045176570148887979869563472665443278038930642971935102998633514258233243957872922140403220059706110871668808043443452718022438293792221348738534987587511954896717085305380577181019938124048840396619815347636384353560413918453029126128708799676644025036414638209091920821169083575941860292450480352639861032238899730210460851528813138999789546837804741394493184825400792340596105403240941076221776958921796142434457172863603/1191304974926546080814335120844586983684820597197907313258223833550665453621651367312764692054369779585469620757310028037448674426658570448573396587931879283240337892311816702996961902970170532660703485216726704420139903720923880056350468363453740678410665511935072893813935553390970796421577836222014213357098040361850361091285904551055390243444644921793747499144924104582651585815937093843210789160599096538695151524522288162384581652083606995791924538794648835846842444828254581607571307659539661651058475520*y^2 - 1455883362247407053998619899497676087369124787883978415607847859730918271415077409635984901540647385209093129194634014775800072470116610731995010107119814494212785652576453300189823819625515802900012160230854846461221915648313692120975417815425302835777656514122983006064927049402804613787169111319354693363285014519549773539438752100714812993260698669271030544429128099272966910435732851951679122698180764836672292009141732840072442529498987460714128797449505575363235144934153001481365480421585495852345164961/2382609949853092161628670241689173967369641194395814626516447667101330907243302734625529384108739559170939241514620056074897348853317140897146793175863758566480675784623633405993923805940341065321406970433453408840279807441847760112700936726907481356821331023870145787627871106781941592843155672444028426714196080723700722182571809102110780486889289843587494998289848209165303171631874187686421578321198193077390303049044576324769163304167213991583849077589297671693684889656509163215142615319079323302116951040*y - 979333721640743356676582895675525020768341107510250708619877250001915925392238530424479771414444411879447338006058445707233119800914265476109426100619327964762498659133249208305097585633345048450112712510303978637842856738000423205462521752296614748329047739387890303736320623084139789322482686200071231675125612296242211788148513809634384011461593721317115093133544962953395112519177078651500326439648257505038495551940271967916464449057118622799767198709000603392893670650477321046439893656263460190677091/56728808329835527657825481944980332556420028437995586345629706359555497791507207967274509145446179980260458131300477525592794020317074783265399837520565680154301804395800795380807709665246215840985880248415557353339995415282089526492879445878749556114793595806432042562568359685284323639122754105810200636052287636278588623394566883383590011592602139133035595197377338313459599324568433040152894721933290311366435786882013722018313412003981285513901168514030896945087735468012122933693871793311412459574213120