# Manifold: Census Knot K8_76

# Number of Tetrahedra: 8

# Number Field
x^37 + x^36 - 167*x^35 + 477*x^34 + 6858*x^33 - 24504*x^32 - 132250*x^31 + 334383*x^30 + 2694734*x^29 - 4045447*x^28 - 36576664*x^27 + 42207133*x^26 + 293550228*x^25 - 241659281*x^24 - 1463549034*x^23 + 517402804*x^22 + 4626582367*x^21 + 749763932*x^20 - 8798995882*x^19 - 5385195082*x^18 + 9568496418*x^17 + 10309502644*x^16 - 5131248726*x^15 - 10441243437*x^14 - 403668088*x^13 + 6098506589*x^12 + 2687805943*x^11 - 1530774868*x^10 - 1622281353*x^9 - 224597390*x^8 + 300097707*x^7 + 157901048*x^6 + 11088409*x^5 - 14378011*x^4 - 5095351*x^3 - 512014*x^2 + 39090*x + 7919 

# Approximate Field Generator
-0.280279512998595 - 0.365611358524756*I

# Shape Parameters
-32419952117054132383916636363795728619601097635734311775871715110771715067296568073989124858723255766231499612469016471020947111776910612023260256085616435670938671601790889730559125722137/1236837573990888909833993603638582562724599727884146993478945339927636621632585026532224559185898428806924237720219616210610567658177616764605552615350576010179244736734089101500597382073024*y^36 - 42843666318604503219935330320080482906361551539201941321803399253190095065215755582110078887631156840498938109020350393908059624940815722828665371498202393804987048827880549508883778953/2192974421969661187648924829146422983554254836674019491983945638169568478071959266901107374443082320579652903759254638671295332727265277951428284778990382996771710526124271456561342876016*y^35 + 1806758897596224656320857938846004212505419089366783784637223830080826984398717627334836060273184751985816904885062814268636906395537358768163189603755700923633787973895957703651900716819317/412279191330296303277997867879527520908199909294715664492981779975878873877528342177408186395299476268974745906739872070203522552725872254868517538450192003393081578911363033833532460691008*y^34 - 4211165053305246533152736405465036974896958839514060047566113501125565338737999752453773070338908439246135926209839049940988952767114448391181742712817565138567960666297855850671747724199313/309209393497722227458498400909645640681149931971036748369736334981909155408146256633056139796474607201731059430054904052652641914544404191151388153837644002544811184183522275375149345518256*y^33 - 109022424948535089031660632788661899142467423757148684410531393491225239779145299481941868798540662187091024881671121270942304238462879800594150456944544596070261242236958020232999592815414895/618418786995444454916996801819291281362299863942073496739472669963818310816292513266112279592949214403462118860109808105305283829088808382302776307675288005089622368367044550750298691036512*y^32 + 424970689125330545154484294649790924862346898167195606324110481941203386181978199686300494845829996212089386958758706484916952502865036847295810884799209738777402813301326542936618126784231971/618418786995444454916996801819291281362299863942073496739472669963818310816292513266112279592949214403462118860109808105305283829088808382302776307675288005089622368367044550750298691036512*y^31 + 1017757992535512594145822457030225746526610864241141459738912671590614912250734080560045062191685855586205483122589371332855273672600156664911183740418475281661731533687568011122250703045914919/309209393497722227458498400909645640681149931971036748369736334981909155408146256633056139796474607201731059430054904052652641914544404191151388153837644002544811184183522275375149345518256*y^30 - 3959058873091107329348856072231475865850856166513344505990651862444450033448319825694795679374580876145387642970229707537792425640525719002331070000012419217127734583770225912262333590131342137/412279191330296303277997867879527520908199909294715664492981779975878873877528342177408186395299476268974745906739872070203522552725872254868517538450192003393081578911363033833532460691008*y^29 - 84337406114342967073411137640158565246274809726364162160593341912184153229484591996676810994677770522946087280296961964910974681166239951241224690226540228142939177447514826176168541451139356055/1236837573990888909833993603638582562724599727884146993478945339927636621632585026532224559185898428806924237720219616210610567658177616764605552615350576010179244736734089101500597382073024*y^28 + 76313674541889768419079421018512284032040511080681383848154797408449571015115740684789792053824408928046753153242256692299905070077276136685346373586377989620218100105458523299869679878495751955/618418786995444454916996801819291281362299863942073496739472669963818310816292513266112279592949214403462118860109808105305283829088808382302776307675288005089622368367044550750298691036512*y^27 + 573461388935704164131424199218214060654196038532814948244123282924958522360606877069537711294906093109440009062348939559441838213266827572177892235394670093423434301924925054112745942520810287113/618418786995444454916996801819291281362299863942073496739472669963818310816292513266112279592949214403462118860109808105305283829088808382302776307675288005089622368367044550750298691036512*y^26 - 553462106888336862120966806623372928416068194457188825213117443276921499598240719506894114206344498559490767919544727666716039762468382089231426466691968180140802624923939688461893941989669292229/412279191330296303277997867879527520908199909294715664492981779975878873877528342177408186395299476268974745906739872070203522552725872254868517538450192003393081578911363033833532460691008*y^25 - 9093741742594347722966068679706698294008793358026817411652008666620929535919574956746464904691443746301193562601226126942812693571300086388878577835561430163182149675732802358402788253004613399321/1236837573990888909833993603638582562724599727884146993478945339927636621632585026532224559185898428806924237720219616210610567658177616764605552615350576010179244736734089101500597382073024*y^24 + 1691653643827131389984116923452622678028595231781712125065889121328527136839139468086032724586945285319126949573581619791064164353382335917269342943462802420614874924204616975714958277817091612471/206139595665148151638998933939763760454099954647357832246490889987939436938764171088704093197649738134487372953369936035101761276362936127434258769225096001696540789455681516916766230345504*y^23 + 1869208748671897534984870365545834501688166189079519578722944332778896458788970686602355164298768351029702506023931996832909628865776008760217078127123394847781925428920401989564605123815891713943/51534898916287037909749733484940940113524988661839458061622722496984859234691042772176023299412434533621843238342484008775440319090734031858564692306274000424135197363920379229191557586376*y^22 - 7048884268643595849006974222853526748240140632275557649070077984090561619849731292778502588047154314707739411958161437911507331643252556090998008451344216977921670121142535408404493836565862838617/309209393497722227458498400909645640681149931971036748369736334981909155408146256633056139796474607201731059430054904052652641914544404191151388153837644002544811184183522275375149345518256*y^21 - 47600582062638244280679927348873329615641717394408221199818621654850217236906451702575991933999747027652570429674185602687016839155452765247788040190789823613448716444905381560517097780063900379801/412279191330296303277997867879527520908199909294715664492981779975878873877528342177408186395299476268974745906739872070203522552725872254868517538450192003393081578911363033833532460691008*y^20 + 12050068791448842948116927582601670370097711187527536079137860988724671399207638597683362642756669837314361862734926449582064024247166410756444215726935186547627270969160978146476915549294012904091/1236837573990888909833993603638582562724599727884146993478945339927636621632585026532224559185898428806924237720219616210610567658177616764605552615350576010179244736734089101500597382073024*y^19 + 282158368304650448358311645744083980172072530455548929194194480727328284295420939431256420182111037837514130209597660084968078996741789957558882563924906401640354882888902254785374129848275770618711/1236837573990888909833993603638582562724599727884146993478945339927636621632585026532224559185898428806924237720219616210610567658177616764605552615350576010179244736734089101500597382073024*y^18 + 102739471499179061392837490045425192777982115235672454243407262042565942713264404035244227584668531981549115836108990029216725134646333212947236923593164987489273055184259719313774958042825502640783/1236837573990888909833993603638582562724599727884146993478945339927636621632585026532224559185898428806924237720219616210610567658177616764605552615350576010179244736734089101500597382073024*y^17 - 336304207251984353006482346166417865315330647274562887572739189208091648778039018019340244830534056996833771008285837815833605153412270166567741820643310020444316281164589428046675287596524772043881/1236837573990888909833993603638582562724599727884146993478945339927636621632585026532224559185898428806924237720219616210610567658177616764605552615350576010179244736734089101500597382073024*y^16 - 248570104811313272573264797396792336968957957707802171176618667662796474895102717095880822948639175310910446215392615718177929542873498906043927450309119999531476271107298994588550612562899185479199/1236837573990888909833993603638582562724599727884146993478945339927636621632585026532224559185898428806924237720219616210610567658177616764605552615350576010179244736734089101500597382073024*y^15 + 229574810061036956341455382327892870014699473672285461409843744131638361871439201390834575658901620068214136153366918586733947617615090183498736243722727790963073551938080092140136290836277852572645/1236837573990888909833993603638582562724599727884146993478945339927636621632585026532224559185898428806924237720219616210610567658177616764605552615350576010179244736734089101500597382073024*y^14 + 69997072628934362957179888334139985343401704791024164024919094631000476670118150863394151190293229181189987288331232569841349843563389657492220709409840863748107563069885845651925089592826041734427/309209393497722227458498400909645640681149931971036748369736334981909155408146256633056139796474607201731059430054904052652641914544404191151388153837644002544811184183522275375149345518256*y^13 - 7270187548036771344515778950032661564490036891749801561341433698194938852537975958294152367040656650468997995499940131543612679551673232235006481713501835219533591537637993396260405118701700743181/154604696748861113729249200454822820340574965985518374184868167490954577704073128316528069898237303600865529715027452026326320957272202095575694076918822001272405592091761137687574672759128*y^12 - 182844492203348165888062817092801684394543705816763431013239768848486467857279661129821775342615293863836095186086455718219791927715422408365892356890628826104277937796559092408526343246402492775897/1236837573990888909833993603638582562724599727884146993478945339927636621632585026532224559185898428806924237720219616210610567658177616764605552615350576010179244736734089101500597382073024*y^11 - 20294192652192133048768463878961621248277025173249098597271227948789999283912241342790187240127093209393899279455130084411185248925547848251514364048549948495368212129908867311969385798470688175927/618418786995444454916996801819291281362299863942073496739472669963818310816292513266112279592949214403462118860109808105305283829088808382302776307675288005089622368367044550750298691036512*y^10 + 9988176133765734608758075215013498342298727670965754051566268108558727147780007836094131029666558384426937170244196399871002885203446622667863934487089916545287584301086332514510141342668825984247/206139595665148151638998933939763760454099954647357832246490889987939436938764171088704093197649738134487372953369936035101761276362936127434258769225096001696540789455681516916766230345504*y^9 + 12441475158568291881066307862010076598505423365868547299702262348988987742422166622210631887122182289719646975243382124156554171566894276654248276380956693894227370897020022659564757850804479206509/412279191330296303277997867879527520908199909294715664492981779975878873877528342177408186395299476268974745906739872070203522552725872254868517538450192003393081578911363033833532460691008*y^8 - 2214283381039756178410419144933560755120046013276402870279162211162594857175861776444859465927467461555644924041666489859867718374254544942025744536915081773879805117362071962547136420048282541597/1236837573990888909833993603638582562724599727884146993478945339927636621632585026532224559185898428806924237720219616210610567658177616764605552615350576010179244736734089101500597382073024*y^7 - 4579410947332799540584798652946287675954418999671610846856755035137644980807967645743447890807920049093412121692446740457974869716085443284792384708739679590041392209369242913891666005010275801607/618418786995444454916996801819291281362299863942073496739472669963818310816292513266112279592949214403462118860109808105305283829088808382302776307675288005089622368367044550750298691036512*y^6 - 1393055993448405097922580545100618459680257745898051592781431911901983429290117617755773482787173372243830724148377340820877848647758590002775666622522701928255134169394841281523241036247577824089/618418786995444454916996801819291281362299863942073496739472669963818310816292513266112279592949214403462118860109808105305283829088808382302776307675288005089622368367044550750298691036512*y^5 + 349231027231511147875949412094979120920208534416189223189015170299400965194906464992407816119002399884777222110323625238793292767499508306267884649037287933882871544834125290426181321483421350353/1236837573990888909833993603638582562724599727884146993478945339927636621632585026532224559185898428806924237720219616210610567658177616764605552615350576010179244736734089101500597382073024*y^4 + 62812684868103901645877652614452520300969428523648037452650598320933803740364908254085986898469561202421026388201734231274065483201227146104714922746141302632389629435876616193675434543461741569/206139595665148151638998933939763760454099954647357832246490889987939436938764171088704093197649738134487372953369936035101761276362936127434258769225096001696540789455681516916766230345504*y^3 + 69191321366077314077085355472801564775195251815254947367226467382765441959505097665279104500820930712480875556699663191573726293526739879895900819544804772629703099781994492575144209544090361733/1236837573990888909833993603638582562724599727884146993478945339927636621632585026532224559185898428806924237720219616210610567658177616764605552615350576010179244736734089101500597382073024*y^2 - 337287650821797391168390486037092584400215932816293154431599722153831036489586844997840066600635518734347727361276469772815920233786435624555687260320834255233387080821475837118295205533887061/412279191330296303277997867879527520908199909294715664492981779975878873877528342177408186395299476268974745906739872070203522552725872254868517538450192003393081578911363033833532460691008*y - 1006905150350835815354285824427106419965650507476395364056725328002373608568584947750966085288367055931484681557359678246781590752350859037308349950361280626663757867114621602407907262022319215/1236837573990888909833993603638582562724599727884146993478945339927636621632585026532224559185898428806924237720219616210610567658177616764605552615350576010179244736734089101500597382073024

-23210942133314508887026407713505968644587451847959446322919928672577903729848280559415443660704786972730479722278748422959909664806788143279348571071150722275148250480004567767927599843/1096487210984830593824462414573211491777127418337009745991972819084784239035979633450553687221541160289826451879627319335647666363632638975714142389495191498385855263062135728280671438008*y^36 - 34593921024899602307274187107631727520866742165924701644136443301699654159848407631444655899386804667190111467634403130365861421661138177738175049307904245378706240567143722404222344273/2192974421969661187648924829146422983554254836674019491983945638169568478071959266901107374443082320579652903759254638671295332727265277951428284778990382996771710526124271456561342876016*y^35 + 7761265053215251378619036899857656096970531656648610878838075500290229131656172620693472683644501074150180757344408702808305337195092656132309177749035545088001268774271346103938380437591/2192974421969661187648924829146422983554254836674019491983945638169568478071959266901107374443082320579652903759254638671295332727265277951428284778990382996771710526124271456561342876016*y^34 - 12060379383647983754169537948991345747490617984450004254004130761805100383959130849081254676162084277529202978962723762237428877805463859448326063334082780276040160446106214319525265108939/1096487210984830593824462414573211491777127418337009745991972819084784239035979633450553687221541160289826451879627319335647666363632638975714142389495191498385855263062135728280671438008*y^33 - 156107417889506300512133055924599867098833780075436426110481336865627602800037677648024456372886971861711547544376725047108759468222728203170145491520306621268480587969058074877538651679621/1096487210984830593824462414573211491777127418337009745991972819084784239035979633450553687221541160289826451879627319335647666363632638975714142389495191498385855263062135728280671438008*y^32 + 304267580847907981429231371592893480018918315903350230246757790068585140257959006664951191021151360930432216799409601072525605524695605532241340481106018140169632704591935953257927744620583/548243605492415296912231207286605745888563709168504872995986409542392119517989816725276843610770580144913225939813659667823833181816319487857071194747595749192927631531067864140335719004*y^31 + 2914583002863085427043350037214685588968476701902477398973723384388101338510276226120724629671686019579252268785206150142814082695599150803305608945037961935626271487427724430355235333613283/1096487210984830593824462414573211491777127418337009745991972819084784239035979633450553687221541160289826451879627319335647666363632638975714142389495191498385855263062135728280671438008*y^30 - 4251958143469468163688225188890219363708210291506962808753205005581771237797344550061090296615745773997512320828683979523553271543860925494162665049769734551509765446395486233580214669330817/548243605492415296912231207286605745888563709168504872995986409542392119517989816725276843610770580144913225939813659667823833181816319487857071194747595749192927631531067864140335719004*y^29 - 120760607200559816092952133796581323232785946245075672297668976191899235472654580731678008918247323175839685260346585478237592340767527668367542640796938832051699703083861241018775328058980787/2192974421969661187648924829146422983554254836674019491983945638169568478071959266901107374443082320579652903759254638671295332727265277951428284778990382996771710526124271456561342876016*y^28 + 109282545562768486024550593753035856300981718754373961631517625403051963138433489337736802317590888319617650643949142327955197680656215406836172779065796632538356926157450818323565765312410527/1096487210984830593824462414573211491777127418337009745991972819084784239035979633450553687221541160289826451879627319335647666363632638975714142389495191498385855263062135728280671438008*y^27 + 102641118175047669264641165697145549811411906394080324574401603287028315621525232623986631943986087827497674641263829787118519828383684046545362594119813315711100697055513068968223593898319808/137060901373103824228057801821651436472140927292126218248996602385598029879497454181319210902692645036228306484953414916955958295454079871964267798686898937298231907882766966035083929751*y^26 - 594439543775727791493035609432742780658270724174200608250755896694288185695409252858378887967066074043713587665313486004376517381444516748724369597630562599988498800289776710156674288282725733/548243605492415296912231207286605745888563709168504872995986409542392119517989816725276843610770580144913225939813659667823833181816319487857071194747595749192927631531067864140335719004*y^25 - 13021171134370124984301848064229913129071071088642870640870721142259346127821143779979635941791673292109147584595571365785011133380051421514572623599792152975262389159194137519534937979380721683/2192974421969661187648924829146422983554254836674019491983945638169568478071959266901107374443082320579652903759254638671295332727265277951428284778990382996771710526124271456561342876016*y^24 + 908491668378783654986210063728304445127267533508634453970422823288734187191832973066112373633529580343770228789750476683578436615814607845021560869219683316953880086685263264830910174581455370/137060901373103824228057801821651436472140927292126218248996602385598029879497454181319210902692645036228306484953414916955958295454079871964267798686898937298231907882766966035083929751*y^23 + 32117936127159727654235923386095339087666199184286794825350935857416882587321540824086608509350334933523671442882245760753203169272120189236876249819590223713054530094067069311012760001067459667/1096487210984830593824462414573211491777127418337009745991972819084784239035979633450553687221541160289826451879627319335647666363632638975714142389495191498385855263062135728280671438008*y^22 - 20192560328086861227196648468192474450175455441692169469651637433017817764299971051348159083169435948184549687450291440078867462198642000248536043512468466202536425735928284452419707638388107267/1096487210984830593824462414573211491777127418337009745991972819084784239035979633450553687221541160289826451879627319335647666363632638975714142389495191498385855263062135728280671438008*y^21 - 25559855989317496020296959607361140396941737749573163036285641982994116950475935553731264335748103405548963893692993291789405328399751728974042876727737122616972907369866664177303752776589287571/274121802746207648456115603643302872944281854584252436497993204771196059758994908362638421805385290072456612969906829833911916590908159743928535597373797874596463815765533932070167859502*y^20 + 17294313986655741100243483150868654925256665543064947768989873261405771526919098120609288226006816216970552493023406041925100432051027999570172966764455388292613076641988623531352080561859304541/2192974421969661187648924829146422983554254836674019491983945638169568478071959266901107374443082320579652903759254638671295332727265277951428284778990382996771710526124271456561342876016*y^19 + 202020539851388181835002093431870744635284397308484623577670394725833997140851815070563540496187318986936028250201744809861359711222116276351198177578354031563452743055509131414612320477836109401/1096487210984830593824462414573211491777127418337009745991972819084784239035979633450553687221541160289826451879627319335647666363632638975714142389495191498385855263062135728280671438008*y^18 + 147034860338789484745125006835692621228799251659553424141327189077464296933125050253046576124369562577744230709793802467157741315404560092594075394753139439665191671322602182503957560855159331089/2192974421969661187648924829146422983554254836674019491983945638169568478071959266901107374443082320579652903759254638671295332727265277951428284778990382996771710526124271456561342876016*y^17 - 240809504114779235760761130619808146534820337135249918316436425080264891757288012674622080530994794564432149387490714218438910318474284847619858033929787071825488954979542305403826990028256467583/1096487210984830593824462414573211491777127418337009745991972819084784239035979633450553687221541160289826451879627319335647666363632638975714142389495191498385855263062135728280671438008*y^16 - 355841095551283179918608907416657394307639399461581550940256377777697820283072451368855342834861600160280025206234359674682944136526943361667433199406133998196886600247255946706537546515166240811/2192974421969661187648924829146422983554254836674019491983945638169568478071959266901107374443082320579652903759254638671295332727265277951428284778990382996771710526124271456561342876016*y^15 + 41105084372505883011561230253121813730129969053396133700390623771752116921067005602158534274251064530286227690875036774013277222396315894942461689598805333032823527628355828204699344593656550549/274121802746207648456115603643302872944281854584252436497993204771196059758994908362638421805385290072456612969906829833911916590908159743928535597373797874596463815765533932070167859502*y^14 + 400865628184038826406370239365008219103593905834597882783718836772045949552564739816681151522855796949775152551064110951792711280461561982325297621482312942500218034422617486762698696712326297627/2192974421969661187648924829146422983554254836674019491983945638169568478071959266901107374443082320579652903759254638671295332727265277951428284778990382996771710526124271456561342876016*y^13 - 83395272103953893478706919641288680799439836238448469575540621402524299987822446918315228821521409200982078881486979298397412505346976946471413046663291614573299524403908293012064411837638013159/2192974421969661187648924829146422983554254836674019491983945638169568478071959266901107374443082320579652903759254638671295332727265277951428284778990382996771710526124271456561342876016*y^12 - 261813480405203825968093511151355929033932925119556089459737284948910687203880634911950176042962406436330104046399062373950451653762743754289915587135112694857274189148940692671038099633438053263/2192974421969661187648924829146422983554254836674019491983945638169568478071959266901107374443082320579652903759254638671295332727265277951428284778990382996771710526124271456561342876016*y^11 - 14512295645533735598831609829426887023200285178624797641964173182805460226441046644697170881984074209635957804585783512275721650682367007799347136280314835054082246784648959443237000354871343625/548243605492415296912231207286605745888563709168504872995986409542392119517989816725276843610770580144913225939813659667823833181816319487857071194747595749192927631531067864140335719004*y^10 + 42916953678054161435948716825622441234723017806987330793087216470473994250884712852530244072097391981684793897117865947407495562494632036226860808266428768177521146416878220868814366080436407343/1096487210984830593824462414573211491777127418337009745991972819084784239035979633450553687221541160289826451879627319335647666363632638975714142389495191498385855263062135728280671438008*y^9 + 26711663300236094144019914766190629168093738373899713238584413214825321066280869271421868396097956670642778344319658354027721278950087583885599912235274316856701166224183682764842399636003450025/1096487210984830593824462414573211491777127418337009745991972819084784239035979633450553687221541160289826451879627319335647666363632638975714142389495191498385855263062135728280671438008*y^8 - 3185641236831010931316967199566573562556374850362483311077565294588397357315021810342673617595218741216141339449306791814254643588995409181052978083821949765888069779442969804252092804156658735/2192974421969661187648924829146422983554254836674019491983945638169568478071959266901107374443082320579652903759254638671295332727265277951428284778990382996771710526124271456561342876016*y^7 - 1639205451735615876904221430198284188112225035656996425934718130707111460077443688992525617124039821238009908233492816521250459239826440971525506021761889512899900295882107704538390381330474535/274121802746207648456115603643302872944281854584252436497993204771196059758994908362638421805385290072456612969906829833911916590908159743928535597373797874596463815765533932070167859502*y^6 - 1992925308363310097592691030232358665683266775995914487915779507883058735640559957018478105248588174872106896733942212551067121793950349428366865048363847218784949461300642725623711212764725079/1096487210984830593824462414573211491777127418337009745991972819084784239035979633450553687221541160289826451879627319335647666363632638975714142389495191498385855263062135728280671438008*y^5 + 250527649446940943555433048554346140003590166854119193675505839173525413647336203931319567987147414282801157528516856605785072960211311049698206803449846222998239239258643290880728661138869463/1096487210984830593824462414573211491777127418337009745991972819084784239035979633450553687221541160289826451879627319335647666363632638975714142389495191498385855263062135728280671438008*y^4 + 539464822288895717251277977925743836321740043153475662053858239846210239405652071717092541246873279869486070308708884178836133838794158289081351272781466965124039827389542350492318597341623269/2192974421969661187648924829146422983554254836674019491983945638169568478071959266901107374443082320579652903759254638671295332727265277951428284778990382996771710526124271456561342876016*y^3 + 98947514413448927699995409883656491416616869962904726837071022492290367579474006290371771134926481701389504341754634468771675849506204870743691520009818589479304821385279758349157785364920547/2192974421969661187648924829146422983554254836674019491983945638169568478071959266901107374443082320579652903759254638671295332727265277951428284778990382996771710526124271456561342876016*y^2 - 730898110146868306565990746788715815101043350980874790366960662516883886458415545896717905795833415194830592726913069353773884292123248734707557945687582410785487534667626361992753286688137/1096487210984830593824462414573211491777127418337009745991972819084784239035979633450553687221541160289826451879627319335647666363632638975714142389495191498385855263062135728280671438008*y - 1441328904445719055743383738526006725351013263807940579412396518394278590034383022133212611055954699640296527590881203400068888396311719823382764367435317757379057562029663580386916920792553/2192974421969661187648924829146422983554254836674019491983945638169568478071959266901107374443082320579652903759254638671295332727265277951428284778990382996771710526124271456561342876016

-2257951927079889765051068358414328214051662967246998930604876098698031171355338295351671132193262293404480507365607488499226941089531744531110548057364013565168397609331559456075177244628823/594300454302622121175233926548338921389170169248332630366633235835229396694457105248733900688824195041727096224565525589198377759754344855392968031675951772891127096000729813271037042086088032*y^36 - 143901387767766465865332738218357931233618940968041539402273480237438399672306028539894329446671011987761075216361731846850891967388373599257640671032266616932391198829403778314633430561/50986655310794622612837502277654334367636424952670953188626736087442467115173052955450746455801663953476930012402670349107616485908917712370707621111526404674942269732389311365051221867372*y^35 + 377507701074259728343174460974873960243910967945270776390285338456002422785039192576899811116319477762364996259604529603269833897479931568145864285547548483850455686190640267132919573397726957/594300454302622121175233926548338921389170169248332630366633235835229396694457105248733900688824195041727096224565525589198377759754344855392968031675951772891127096000729813271037042086088032*y^34 - 97843357914390162575133380700127959349051662601278082887240320588282511050904440588266161698900772917375641572564655145920794352799602529424744313643492333024488868015430089222780174743525531/49525037858551843431269493879028243449097514104027719197219436319602449724538092104061158390735349586810591352047127132433198146646195404616080669306329314407593924666727484439253086840507336*y^33 - 7591419961064059825068341774664965286980147228335018064479327148785757196834924662554017145358131067761799731552606786853882748656338750888118457776151237270287520448485063339783697873430277653/297150227151311060587616963274169460694585084624166315183316617917614698347228552624366950344412097520863548112282762794599188879877172427696484015837975886445563548000364906635518521043044016*y^32 + 29616087197524695689396976008093889965254870154860502581448227653868420337415600665791212402752954751994057213273332122713731693246809962489064666241378407810535074117171500679750933786927008333/297150227151311060587616963274169460694585084624166315183316617917614698347228552624366950344412097520863548112282762794599188879877172427696484015837975886445563548000364906635518521043044016*y^31 + 70843079728340394801932138576207621431420256553090192904926616435892935707874233324769571783417306433527366559678784810961693340716326817931461030699288290500845074582896106098276641795095210115/148575113575655530293808481637084730347292542312083157591658308958807349173614276312183475172206048760431774056141381397299594439938586213848242007918987943222781774000182453317759260521522008*y^30 - 827843140653779027469183792343455290823833886993745856765699757832459567968808660479399147926342928674331779226988500236075527101415860860137234394474106591686540113503719666062007405520794835101/594300454302622121175233926548338921389170169248332630366633235835229396694457105248733900688824195041727096224565525589198377759754344855392968031675951772891127096000729813271037042086088032*y^29 - 5871525917568403289708179897450158540043562173243448895148680030314534558447771866261289884645799655874152956039504162653012016772709608740933040244279762965275954723301638308443622245580990038965/594300454302622121175233926548338921389170169248332630366633235835229396694457105248733900688824195041727096224565525589198377759754344855392968031675951772891127096000729813271037042086088032*y^28 + 1773937733227731469595722012712885803252734194729750567624046357081844428833549032656262796213481995751966360091392224300869394986566226623366128035414075078629985123783416391339896028492570988731/99050075717103686862538987758056486898195028208055438394438872639204899449076184208122316781470699173621182704094254264866396293292390809232161338612658628815187849333454968878506173681014672*y^27 + 39923781844260800514839887688869636509759332411357816491961691617010271371357737525246447493007945481956027013966393269888441068734089528275760510653615489783378717551858670448602932622360479045671/297150227151311060587616963274169460694585084624166315183316617917614698347228552624366950344412097520863548112282762794599188879877172427696484015837975886445563548000364906635518521043044016*y^26 - 115825122567869556628122037522025270796737117967872721350790612455831856352170671727385648196990502521505300034158624233018148676876144147022737382679446033027294590994180468967237946903839339514217/594300454302622121175233926548338921389170169248332630366633235835229396694457105248733900688824195041727096224565525589198377759754344855392968031675951772891127096000729813271037042086088032*y^25 - 210995659751846169708931988642436903853738591966546928266712842083543701568579549928328392584262481445863134441308722136206732916961303682257821629295094831422728422103228302996870246552695506859121/198100151434207373725077975516112973796390056416110876788877745278409798898152368416244633562941398347242365408188508529732792586584781618464322677225317257630375698666909937757012347362029344*y^24 + 118053391987284835457080182969184991657828925760471493740312026920429868058788552956630473327868680693934420571646903905449524228691348424420544841379282412332971370058404900909438990623210195886737/99050075717103686862538987758056486898195028208055438394438872639204899449076184208122316781470699173621182704094254264866396293292390809232161338612658628815187849333454968878506173681014672*y^23 + 32521838066506473853035821115994436090429127409230063355622645793490647912594659840076873581771832389776286267485780868249838921499599385698856775418062431638481893636688440613261007145110661098082/6190629732318980428908686734878530431137189263003464899652429539950306215567261513007644798841918698351323919005890891554149768330774425577010083663291164300949240583340935554906635855063417*y^22 - 492607512264453215559595094271885711130890910324038237385771998882005250962554207742567705108653944428296973701343707911560484194327224003334290012390539854818453710967497203052571913008045925297257/148575113575655530293808481637084730347292542312083157591658308958807349173614276312183475172206048760431774056141381397299594439938586213848242007918987943222781774000182453317759260521522008*y^21 - 9938115988219413658943548923310853016933795262859180517760143534450949753144776950543459350148097786376594052537503716138851181403005753106190427505748852918140492698190452295515774055707425538759149/594300454302622121175233926548338921389170169248332630366633235835229396694457105248733900688824195041727096224565525589198377759754344855392968031675951772891127096000729813271037042086088032*y^20 + 860409401626088718155059947969370443235125739622583574204998989318223020159827239286658352767562739302461162549232560097647898958635319060427091377954379221501253094506584732303734199813844250872937/594300454302622121175233926548338921389170169248332630366633235835229396694457105248733900688824195041727096224565525589198377759754344855392968031675951772891127096000729813271037042086088032*y^19 + 6546936599090365928246661749824195700106633070827832133792117478486768949161016470842403400951369940501812565692527091247954454935225748806491551545491831845487759165024644564365969134100105404722339/198100151434207373725077975516112973796390056416110876788877745278409798898152368416244633562941398347242365408188508529732792586584781618464322677225317257630375698666909937757012347362029344*y^18 + 7112193380987567698069080611858347009778573848988408000291488672959055732075333868454233258582825605986308103759445757250820902351413340749503530133562283580955027586132354952119028613273336880490037/594300454302622121175233926548338921389170169248332630366633235835229396694457105248733900688824195041727096224565525589198377759754344855392968031675951772891127096000729813271037042086088032*y^17 - 23422410966511242905294463723440314512123208928603945952237684623812493323882593717929823025842361666948902442466728621729334815776509491744815530856499778006224301274105092784323636538042893851473991/594300454302622121175233926548338921389170169248332630366633235835229396694457105248733900688824195041727096224565525589198377759754344855392968031675951772891127096000729813271037042086088032*y^16 - 5752005643139602670165451291861029304074232770788954030044198859822538117876646860255260304945628217596138918546632765508929686408399543439729334555010262170578562959219334942283155719107158051564719/198100151434207373725077975516112973796390056416110876788877745278409798898152368416244633562941398347242365408188508529732792586584781618464322677225317257630375698666909937757012347362029344*y^15 + 16008057765101311064416127329241406155744423042064438097884533524943914407805109473882584503386122325681575062901673877260902727323685407865692224532403534457367509104894041467842129031619283449376499/594300454302622121175233926548338921389170169248332630366633235835229396694457105248733900688824195041727096224565525589198377759754344855392968031675951772891127096000729813271037042086088032*y^14 + 2431868795172949098418850811576070899930801150019245789320258090873180369631120517353821614717962647882573075632569074786345270263536099313928148437986318519690889639670281387685693470344682098793551/74287556787827765146904240818542365173646271156041578795829154479403674586807138156091737586103024380215887028070690698649797219969293106924121003959493971611390887000091226658879630260761004*y^13 - 1019648998771049728487077073922194244101926674993100141992293887146385195638047392690806300957418114749716936152080873854708697823641081514596790849604006989228955094289929035098590241893068533013791/148575113575655530293808481637084730347292542312083157591658308958807349173614276312183475172206048760431774056141381397299594439938586213848242007918987943222781774000182453317759260521522008*y^12 - 12714135364358351247037271844111345595563423009811842508756215684163852456114187732098614794515167150470166562346586911694328816344136516641430368379529253926387663499598094405167508860642205717012803/594300454302622121175233926548338921389170169248332630366633235835229396694457105248733900688824195041727096224565525589198377759754344855392968031675951772891127096000729813271037042086088032*y^11 - 467592376773641500493941540273588516266691419961198699687075015476470534470767592882865976184234055962391838164938044946849728912444570440655734868503172435242601009560745536245790297189332001460899/99050075717103686862538987758056486898195028208055438394438872639204899449076184208122316781470699173621182704094254264866396293292390809232161338612658628815187849333454968878506173681014672*y^10 + 695344473195523035717148194942304065651713969333657901679967968952528375204577094348085458449895328947046498782379028442485948900476735551103810516243498292500643641166237753625074025127213932203741/99050075717103686862538987758056486898195028208055438394438872639204899449076184208122316781470699173621182704094254264866396293292390809232161338612658628815187849333454968878506173681014672*y^9 + 863668561720683771659520801687713697567013307170894583279823708185125499969840281692930324360553397485129236786095833599155845490875357385152567276452560678098202661112580958184618221643400031574627/198100151434207373725077975516112973796390056416110876788877745278409798898152368416244633562941398347242365408188508529732792586584781618464322677225317257630375698666909937757012347362029344*y^8 - 156700092221692458847865581992211702192838083449361836376121631412765658491596246761332627388589922033141281583971876579099693603629370146084449333081952238465577871033844477938072824828088690737423/594300454302622121175233926548338921389170169248332630366633235835229396694457105248733900688824195041727096224565525589198377759754344855392968031675951772891127096000729813271037042086088032*y^7 - 318357455783294265037630208828213270497132364020257495877731627976869588124740944715197305221322041320619529890689489172350763618301984131879773806229876559477613574320834245765454913727061043847305/297150227151311060587616963274169460694585084624166315183316617917614698347228552624366950344412097520863548112282762794599188879877172427696484015837975886445563548000364906635518521043044016*y^6 - 96599640772080650344509955441352962452692821773830836373294219407247994023955238151394896188707101530260803100537629581543393489645688062168042951481277447490453697464811702899541470935145629678827/297150227151311060587616963274169460694585084624166315183316617917614698347228552624366950344412097520863548112282762794599188879877172427696484015837975886445563548000364906635518521043044016*y^5 + 8134322025721966362511325032919814350057511287139038240085486149759089118577542606600211177475595018633411359107795573177562626734346199190666144012971189206081322368929355063580233591503677053381/198100151434207373725077975516112973796390056416110876788877745278409798898152368416244633562941398347242365408188508529732792586584781618464322677225317257630375698666909937757012347362029344*y^4 + 4363064129379691148015765949110893643923469499877070003502979165277034149276816748496085035956471405374819008787915486420518406604452165727907444368852066306254738057804851074232461769742679113121/99050075717103686862538987758056486898195028208055438394438872639204899449076184208122316781470699173621182704094254264866396293292390809232161338612658628815187849333454968878506173681014672*y^3 + 4798289786655179307873438721003013119734794002289724983191459951459703411808679416793049665756829000838232374633062031989257968303257937417968664402940594136278013449426304022747790851828152157751/594300454302622121175233926548338921389170169248332630366633235835229396694457105248733900688824195041727096224565525589198377759754344855392968031675951772891127096000729813271037042086088032*y^2 - 71420310196926420484374096957125742333964024545661530044487703339865245740196733785257152895399126290872960497384039486796176565578742633200068934869699794612885666152799463763065082725584060513/594300454302622121175233926548338921389170169248332630366633235835229396694457105248733900688824195041727096224565525589198377759754344855392968031675951772891127096000729813271037042086088032*y - 23254541655922227206377811732806536730034989442326642944546414319190101095917324453182934973560153989815542933806462676902170097302525475205719782954606919142750132095799974268189301091125466183/198100151434207373725077975516112973796390056416110876788877745278409798898152368416244633562941398347242365408188508529732792586584781618464322677225317257630375698666909937757012347362029344

19189641742296097099851540225925326159895675261895222773213024330592850743972507439774850173370016736785410667187901427906764331281793711406554592355977929575180248317360690931583602993/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064*y^36 + 3565657567073063005863609328809355164461041920625029879865911861754716129957252111234578529160263355601411949069984606713548427732787496339443241104033456983256100069826162033867318403/2192974421969661187648924829146422983554254836674019491983945638169568478071959266901107374443082320579652903759254638671295332727265277951428284778990382996771710526124271456561342876016*y^35 - 3208335654971482074149754156348550412240690373004511892022789310619146604163135338957839792814372799862522679302019412444843954647525518806262979748560631968376441952260223352417577862983/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064*y^34 + 1247151860649384268501143119300813535432189237803978129468781886337426346476682197490476063050224658495509926539318371117870893859855044190502808401363198844273400633719205573445690603709/1096487210984830593824462414573211491777127418337009745991972819084784239035979633450553687221541160289826451879627319335647666363632638975714142389495191498385855263062135728280671438008*y^33 + 64520731368366414367566825602013610783638804062800252638695030939066553028204480066938622501052493342609039827705648257814807615154765578883817122031356083945159343756365278679873868214089/4385948843939322375297849658292845967108509673348038983967891276339136956143918533802214748886164641159305807518509277342590665454530555902856569557980765993543421052248542913122685752032*y^32 - 251678866907541382298533363597994519333882157206126374465766392893165359841311227590528595392453295889190661135786515703992164119733421625118175825793387492199129161282346816217025148617093/4385948843939322375297849658292845967108509673348038983967891276339136956143918533802214748886164641159305807518509277342590665454530555902856569557980765993543421052248542913122685752032*y^31 - 75269087978394613025485457202349590580961176706554069872369699414720607335786654259916337820467557740731789270772228377239093380714122794698027731087348380245361276490104864287813813518591/274121802746207648456115603643302872944281854584252436497993204771196059758994908362638421805385290072456612969906829833911916590908159743928535597373797874596463815765533932070167859502*y^30 + 7035241961153621892515622510797033887101053935851215682660476697394168963190179034579807902858010121870201004385470400073160129706281978948903951474794029323282298785724726732878874131733055/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064*y^29 + 49904906121575394164876270865557880590204073771771370123931348191450581846254005014908878430045103951567603793612342151337444082539302828283876340570425755204155642863908250970071603498443595/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064*y^28 - 45222960150450993473081328656022870443966125111423978924141505204870627505803566604481735918923825567349861479586450527599773358290543550569606750150885384953764043791088053471512257136058677/4385948843939322375297849658292845967108509673348038983967891276339136956143918533802214748886164641159305807518509277342590665454530555902856569557980765993543421052248542913122685752032*y^27 - 339338571619258823047800338414317996076782576120806261003997149117062028535270239103729160451169371096991393768764753716299961168993878964668618495739598164659245453886228046350160507629115737/4385948843939322375297849658292845967108509673348038983967891276339136956143918533802214748886164641159305807518509277342590665454530555902856569557980765993543421052248542913122685752032*y^26 + 984224063657528178004947255556671584098547173415932479466089463879436594323910118443752733821036407653464832043263988615669498595300787831667958896191241979297461642162262635794212457097345523/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064*y^25 + 5380506018345680373122102923156754866952543608201648525272337884635580117199778973040048558285984177192344874405161171834906485704738387485705754199948743755435445936256004117289972908931193649/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064*y^24 - 3009600891996482088356883127390695723705975157209817038406946103304689725823338218474566815731921307272246469098593917340269675241607817394341438532089501578211599685178256277616796128167649539/4385948843939322375297849658292845967108509673348038983967891276339136956143918533802214748886164641159305807518509277342590665454530555902856569557980765993543421052248542913122685752032*y^23 - 6635017604789813006337043820653841669557876375875468557453705234233131163446379565568529614941911850620399627447894854209260091862935145382814459903008358905249303907548184263763454733146539779/2192974421969661187648924829146422983554254836674019491983945638169568478071959266901107374443082320579652903759254638671295332727265277951428284778990382996771710526124271456561342876016*y^22 + 2093207631148297277521861380930262747690041558271330144770695685982566659627374249273787805610489490647149033085818502162589194485536199687150787487153577153708005816591141494925073444741250931/1096487210984830593824462414573211491777127418337009745991972819084784239035979633450553687221541160289826451879627319335647666363632638975714142389495191498385855263062135728280671438008*y^21 + 84484918467771732912823678240917849031519310053005047742283395794752664579266843171551018866131594152103062192426642025302084431708426716630227373773733413923647130382135672442790196678672545447/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064*y^20 - 7314293269170150849343919988138070501735825956971403124262198945371977298068679835131412724993111854293014760081726677545011799454396096991987271799943730924846816320667027427983482252321427087/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064*y^19 - 166977295129319086688517249801326091208139364874229355075020340338797399325811661823413071586527889525392018996490057207609367163429895326828937127962681500202152500835153262345722224608164835019/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064*y^18 - 60444338939430741875412734310736112786450168252205112468770170174228614055460508962814885859089689698856503889028753152646273019233068765953773270261027345301026892853867731201965831744952539111/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064*y^17 + 199150020891656510986508485607140368756556480446338300216715275116038760173726174112743261629529696031875478101466977618550648260276733999966043877284380158021999040466607712312395223039770025013/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064*y^16 + 146668419112104249142408747010434247646634388261037288696682900189810237949325248977963065681929965642149174599921728949054508026061667133871661620300173288246132420735929504244602897321834526603/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064*y^15 - 136152721397763245719371219068786689635405894200114065855487787259084263097439573321276391635485846408558082451269112487860666884799567876764466379612343715510374645256594804254468869240082452177/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064*y^14 - 41342971642285981766191850974091156739632624989539083229994096251531414042386546365960062188380579043176544640706886585358839712373280106523112687410656249350904722705400203511003052131314965951/2192974421969661187648924829146422983554254836674019491983945638169568478071959266901107374443082320579652903759254638671295332727265277951428284778990382996771710526124271456561342876016*y^13 + 8687184505366970141924680565921128176831655105768986201649488798585174593316399522207061621780652073109027585924248131845816541560683910203865166235015041447090324065609456428388735963013256617/2192974421969661187648924829146422983554254836674019491983945638169568478071959266901107374443082320579652903759254638671295332727265277951428284778990382996771710526124271456561342876016*y^12 + 108084874278850846117469507094067793871691141543540189323601133636600060931649554376058066795955167025218206983582947386265691911821660185793544890673757999315544746523603173969497150012180269005/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064*y^11 + 11899496457682893292555606375552502708145752250162189666964505462765219396535351450504696829258665250255294189556695835241960110741529979827887386741874256902286485909971608760837748128932280007/4385948843939322375297849658292845967108509673348038983967891276339136956143918533802214748886164641159305807518509277342590665454530555902856569557980765993543421052248542913122685752032*y^10 - 17739949634241204270534476772681948835711739569690292494955846089568465408687765010436318379305917176907706738049169158802357374160562333642666896828681026046254822811219900378367427237768474249/4385948843939322375297849658292845967108509673348038983967891276339136956143918533802214748886164641159305807518509277342590665454530555902856569557980765993543421052248542913122685752032*y^9 - 22007088769519118953800193656865581824000949395614998092839024485580367639503213271546501060266593745504054857888619711220228355734764682380319115633535710775416490040956485975222243960024668031/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064*y^8 + 1342699269090687989699616928754342000656061550023690524471962166692029744008359933898576608819879017609467997785310827782476944517565385240375561460165615619450779881389166692897798784455706173/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064*y^7 + 2704870253769059239094038149686016618822532740686298013163298277813007769380058515203136842518190261870600713993124630095918311317905170852376425129504423930047191013438902832974023673736433923/4385948843939322375297849658292845967108509673348038983967891276339136956143918533802214748886164641159305807518509277342590665454530555902856569557980765993543421052248542913122685752032*y^6 + 819518134125721996355502633989052650057738085631211009326299731961211517570026197060719556788217756606823139686312417984534815863510656943307169945817070993155305559756011239608561315585997847/4385948843939322375297849658292845967108509673348038983967891276339136956143918533802214748886164641159305807518509277342590665454530555902856569557980765993543421052248542913122685752032*y^5 - 207701713249143415928199792572648769671693783478911071481274044457495687321298348545385279728409790806448920492554181079766054208264716196439335376676793861234453562121932263763840324055929017/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064*y^4 - 111011789640618597372028465775749896125319857584603840539706131900734384841080764871776246576500738696179527842081706694769745129997543151420426772927010908454208924241111566941446127369231241/4385948843939322375297849658292845967108509673348038983967891276339136956143918533802214748886164641159305807518509277342590665454530555902856569557980765993543421052248542913122685752032*y^3 - 40660171779888114039238142411226149034973218169656798595466713102523028446723087766741748892148930632887352180195897492011503932566536026292035364154914832411447739651758825592591091599131621/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064*y^2 + 569911326509613187042303772895500188287780206726183761230007476037910954619117177798650925193574641136161921270963527389374084536242346605389070450514211459785740587925397964669495834319671/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064*y + 589008600576864529359078339602095586055183068798173368190415570870250796637214042100882944675292068940513734943053883721911149563888139899347171219875523281695563237611761748645852273804771/8771897687878644750595699316585691934217019346696077967935782552678273912287837067604429497772329282318611615037018554685181330909061111805713139115961531987086842104497085826245371504064

-134328094408100398812922706102372743612616937501250199258529859927302278850302583972864981857908794330627812898549189621944321409201140672504725468180736109282435158088445656944142495875416550609519/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^36 - 1138113455528391507754355867536604385141307868621390584030301001888837599936111826677962096023363251209897906159969398968489946326562503218572926557441259828113685477905698634794426856863594725063/1763432203998142485624887376380311622408385399289556940984758723536140892049706103342254455933308796511944056010317765467476227789521231966476923612453946264477799537835544993987665935085359319008192*y^35 + 22454819439803064210912964773593058174403485392083544468751976778548257710766865749759954137746896997572460424504266405127908860799338406437783132567777636509753345216222263602490697968839795686868359/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^34 - 4290339117641085949100214819537579208996993940246167185965783420646207743176455585933116904729203042982725899769488908803748233321420664066761649187975175495473073096129329643067772162151137017637213/10360164198489087103046213336234330781649264220826147028285457500774827740792023357135744928608189179507671329060616872121422838263437237803051926223166934303807072284783826839677537368626485999173128*y^33 - 453644742127672847730070307101341178740359025413004994106397768459530548768097418390743856315822483733442236721997015839192435143819077110391531671070517203718682119875436182016979609195185948548610843/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^32 + 579398918574814778336056149285100420852502724362711303667421875129282139548681310064138910661329164527804065305781793764223813862635339155994832588049389255379205391439314530600875654121161136443888815/27627104529304232274789902229958215417731371255536392075427886668732873975445395619028653142955171145353790210828311658990460902035832634141471803261778491476818859426090204905806766316337295997795008*y^31 + 710788278735381812034515354255565861282715363858424806249787114893371067803975081543848367321842633900481925536419892454192304784666222958435334758938126577947900124709082583989699842188084955328327857/6906776132326058068697475557489553854432842813884098018856971667183218493861348904757163285738792786338447552707077914747615225508958158535367950815444622869204714856522551226451691579084323999448752*y^30 - 48395931477423590696475498158940524024001817279900798066044248715606088580488390223348688703858751363390192996910256710600468596190592066533831829692534951752064180714352238469487473226761608040312434009/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^29 - 117386665359479738915478069433696721546370568426398073922504097939683661598368562446084682221359609110072481812758370511818561661146705597652903586601745688247649306115608564938796571433911262047909617869/55254209058608464549579804459916430835462742511072784150855773337465747950890791238057306285910342290707580421656623317980921804071665268282943606523556982953637718852180409811613532632674591995590016*y^28 + 307596888745567360443024937363716837162970737838029165636399021734992813534821621158738393137020364483967707509863348018874538702070096055197289127446649380215156662152613088224619849686319549797574559083/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^27 + 2394360006345732580664147441435102028153424138650517381223004917473502303891747867180366138427518044650863542401386458984820396176003815775511864484959013574172057436323534540115163403644455244125394993379/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^26 - 6645511524155187402437368753196376118746006798694445539452790802415912621763398503930544347668051459346745881375923400275891987487887046452194063963135761638292445202213173753005624516337211923900719591093/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^25 - 38088565976009707523995934432127574088355370952254449435179879952229949456646285759269208471467384652167280400313493407995414383996112502440882489655197412909868204439308934362511395800317179365154500784413/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^24 + 6704434044637541562157230703318069460699299740688062242665876614308509398488637418986715956026966350141257590602728548044467221718485606993603485630869558175260693483679750438358829705684102218419244188901/27627104529304232274789902229958215417731371255536392075427886668732873975445395619028653142955171145353790210828311658990460902035832634141471803261778491476818859426090204905806766316337295997795008*y^23 + 15706945717476254674475917065521177282459624452989408527916227218450438213704857063266124854037124870718253960781447414754507020792255792396301851099446595635435551812791003642363124955706345460512277205925/13813552264652116137394951114979107708865685627768196037713943334366436987722697809514326571477585572676895105414155829495230451017916317070735901630889245738409429713045102452903383158168647998897504*y^22 - 6746212176592440095060182107916998137510762783085421952728215008432408179129731877599892263999587290237732824216982423661309186550236974426610866377144013012618069566529460740904254369875292803502658498909/10360164198489087103046213336234330781649264220826147028285457500774827740792023357135744928608189179507671329060616872121422838263437237803051926223166934303807072284783826839677537368626485999173128*y^21 - 599898469500612536549476511696956008640491474290472787745457645101216729629354355388844997181822580407483319382517563915934807223645371187081556677475852133864606662868126564640773517469003282427653913501521/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^20 + 7194826649687365631746579973751453830878846110051071625872771543498067388878428023562596449910856124489161371753679607548695177593919501939759710093534672503488787905758266360213302421991509986053427540869/55254209058608464549579804459916430835462742511072784150855773337465747950890791238057306285910342290707580421656623317980921804071665268282943606523556982953637718852180409811613532632674591995590016*y^19 + 1178844721533384070859536412862111721828055154615183560563676652448207730971198001896734681228341592999989022990236437741489788276110293622796462549503030432411068114606671276324051983253681696481083937261345/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^18 + 483435245913598044303243500399259600253159033738652136996481008083986586424126334376992941582566451449303709803020601591345431871202487843174414529702227581600754291243437834519235283936747321269934435498707/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^17 - 462118595805044324526592352279993284855882560354786798787384489716066273653145180472237225963779238435102955407043588767467770757765284080530728735901988037434659527288872715099941405610224552086768106753317/55254209058608464549579804459916430835462742511072784150855773337465747950890791238057306285910342290707580421656623317980921804071665268282943606523556982953637718852180409811613532632674591995590016*y^16 - 25668627815842256712357664042755485199099937050347989890708625620909941832844183742193911106970608456417551578236035296728572118214299464590152066156934236260683609560753377082808660663759171280602787734381/3854944818042451015086963101854634709450889012400426801222495814241796368666799388701672531575140159816807936394648138463785242144534786159275135338852812764207282710617237893833502276698227348529536*y^15 + 917240021731865671538456747866665925834767365968439066444810270057957989591562100078672848240995811653078530857564235404927926941098374882915640356748239208809043545037364849418346931697059920601041987243695/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^14 + 203062352792586421156803844259484351943091157723037171906463842477750520638824924540728667771754740739299900332113624862290826179539343104682862905836531813172290065412156266150732782380760962280202572959169/27627104529304232274789902229958215417731371255536392075427886668732873975445395619028653142955171145353790210828311658990460902035832634141471803261778491476818859426090204905806766316337295997795008*y^13 - 32707951224280390541709902893673058457695071608091941609926527103208080357001717850597767028197401329603956720530981256964258480582195364034221370041340662211844357715934467983573151736673668447650719867155/27627104529304232274789902229958215417731371255536392075427886668732873975445395619028653142955171145353790210828311658990460902035832634141471803261778491476818859426090204905806766316337295997795008*y^12 - 260735215444090570449954789485799760988842101861280788625006430421165830835130530981467642931268607579525472814583844603095810822814459048983804373530181085668240860936998592191573448635946828793932392352407/55254209058608464549579804459916430835462742511072784150855773337465747950890791238057306285910342290707580421656623317980921804071665268282943606523556982953637718852180409811613532632674591995590016*y^11 - 100473537811440472703300078329461804502210041872769732270918210410215946748900387806424966256503350265465367480155189819702070119613422556161404456675365785703789044435874286074071646874625440315347751325569/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^10 + 2180579508374985191374850326577484023194401669281300297263658062921263984964086545939447812961871728510810790327326983323587979268142915796501174926561280905959556809562457485868724184639968005888672106113/1454058133121275382883679064734642916722703750291389056601467719406993367128705032580455428576587955018620537412016403104761100107149086007445884382198867972464150496110010784516145595596699789357632*y^9 + 55838521772788261841666560278693948784670083395908231766540761517226960645525084476755708372330349014644409330291972742070976503016128391524522710674188758633129547204527503637942148184300929416972892555243/55254209058608464549579804459916430835462742511072784150855773337465747950890791238057306285910342290707580421656623317980921804071665268282943606523556982953637718852180409811613532632674591995590016*y^8 - 4721310783179130097088198097298834434029942919064328740323101181758325131591791363164477739225328964255633423879909959225210289695290170621019956958417884399599004639616577131381399707765809610184695392993/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^7 - 6613751598561619368781776404082180663249176374126586093986402863468211408102965183359111473165434784378345871051311383326484566528724318346799860970126647306865212006631184014601079809768674506322795837239/27627104529304232274789902229958215417731371255536392075427886668732873975445395619028653142955171145353790210828311658990460902035832634141471803261778491476818859426090204905806766316337295997795008*y^6 - 2170379299641433317283866659967864993721702395776105195470153738683704565385356610246145574242820342556454052575137746530808535279512109264842575395088806513959648247196431779749691551667137456849485257871/27627104529304232274789902229958215417731371255536392075427886668732873975445395619028653142955171145353790210828311658990460902035832634141471803261778491476818859426090204905806766316337295997795008*y^5 + 1269752356352741708186531016320114637481959223406450147400659645442680782932714554247365197206077237181929589642360083535894248104593873866037520544278031663752292324365827054242566728685902692452025936759/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^4 + 35128523960937743096949094167962598786823767733235935638767734547580872056174141358475568700334132081683535474787294475589002578107544055720257678521587118042677477402279587094277660327751954373106063241/3453388066163029034348737778744776927216421406942049009428485833591609246930674452378581642869396393169223776353538957373807612754479079267683975407722311434602357428261275613225845789542161999724376*y^3 + 331545484790535188442363195903305029431524842422241011169775356968804880218404674228895003922764425949892971849918481650104735040972127777139896336323974168716141273205716325684778208514552054722598497137/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^2 - 56973645438733807745754429962488002070735984499606291849886516925883298169850220716973324647620220248670032194034952606574848781373091593826524876611995795214724617847142539730936786855322817449693355/3854944818042451015086963101854634709450889012400426801222495814241796368666799388701672531575140159816807936394648138463785242144534786159275135338852812764207282710617237893833502276698227348529536*y - 4852677376239600560493716681241044567998318417673066284411681664193318942922371924352330733817866525606928905330969174838253861349510032968296357003792330592687575807294290635636780350704511581474377859/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048

-134328094408100398812922706102372743612616937501250199258529859927302278850302583972864981857908794330627812898549189621944321409201140672504725468180736109282435158088445656944142495875416550609519/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^36 - 1138113455528391507754355867536604385141307868621390584030301001888837599936111826677962096023363251209897906159969398968489946326562503218572926557441259828113685477905698634794426856863594725063/1763432203998142485624887376380311622408385399289556940984758723536140892049706103342254455933308796511944056010317765467476227789521231966476923612453946264477799537835544993987665935085359319008192*y^35 + 22454819439803064210912964773593058174403485392083544468751976778548257710766865749759954137746896997572460424504266405127908860799338406437783132567777636509753345216222263602490697968839795686868359/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^34 - 4290339117641085949100214819537579208996993940246167185965783420646207743176455585933116904729203042982725899769488908803748233321420664066761649187975175495473073096129329643067772162151137017637213/10360164198489087103046213336234330781649264220826147028285457500774827740792023357135744928608189179507671329060616872121422838263437237803051926223166934303807072284783826839677537368626485999173128*y^33 - 453644742127672847730070307101341178740359025413004994106397768459530548768097418390743856315822483733442236721997015839192435143819077110391531671070517203718682119875436182016979609195185948548610843/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^32 + 579398918574814778336056149285100420852502724362711303667421875129282139548681310064138910661329164527804065305781793764223813862635339155994832588049389255379205391439314530600875654121161136443888815/27627104529304232274789902229958215417731371255536392075427886668732873975445395619028653142955171145353790210828311658990460902035832634141471803261778491476818859426090204905806766316337295997795008*y^31 + 710788278735381812034515354255565861282715363858424806249787114893371067803975081543848367321842633900481925536419892454192304784666222958435334758938126577947900124709082583989699842188084955328327857/6906776132326058068697475557489553854432842813884098018856971667183218493861348904757163285738792786338447552707077914747615225508958158535367950815444622869204714856522551226451691579084323999448752*y^30 - 48395931477423590696475498158940524024001817279900798066044248715606088580488390223348688703858751363390192996910256710600468596190592066533831829692534951752064180714352238469487473226761608040312434009/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^29 - 117386665359479738915478069433696721546370568426398073922504097939683661598368562446084682221359609110072481812758370511818561661146705597652903586601745688247649306115608564938796571433911262047909617869/55254209058608464549579804459916430835462742511072784150855773337465747950890791238057306285910342290707580421656623317980921804071665268282943606523556982953637718852180409811613532632674591995590016*y^28 + 307596888745567360443024937363716837162970737838029165636399021734992813534821621158738393137020364483967707509863348018874538702070096055197289127446649380215156662152613088224619849686319549797574559083/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^27 + 2394360006345732580664147441435102028153424138650517381223004917473502303891747867180366138427518044650863542401386458984820396176003815775511864484959013574172057436323534540115163403644455244125394993379/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^26 - 6645511524155187402437368753196376118746006798694445539452790802415912621763398503930544347668051459346745881375923400275891987487887046452194063963135761638292445202213173753005624516337211923900719591093/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^25 - 38088565976009707523995934432127574088355370952254449435179879952229949456646285759269208471467384652167280400313493407995414383996112502440882489655197412909868204439308934362511395800317179365154500784413/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^24 + 6704434044637541562157230703318069460699299740688062242665876614308509398488637418986715956026966350141257590602728548044467221718485606993603485630869558175260693483679750438358829705684102218419244188901/27627104529304232274789902229958215417731371255536392075427886668732873975445395619028653142955171145353790210828311658990460902035832634141471803261778491476818859426090204905806766316337295997795008*y^23 + 15706945717476254674475917065521177282459624452989408527916227218450438213704857063266124854037124870718253960781447414754507020792255792396301851099446595635435551812791003642363124955706345460512277205925/13813552264652116137394951114979107708865685627768196037713943334366436987722697809514326571477585572676895105414155829495230451017916317070735901630889245738409429713045102452903383158168647998897504*y^22 - 6746212176592440095060182107916998137510762783085421952728215008432408179129731877599892263999587290237732824216982423661309186550236974426610866377144013012618069566529460740904254369875292803502658498909/10360164198489087103046213336234330781649264220826147028285457500774827740792023357135744928608189179507671329060616872121422838263437237803051926223166934303807072284783826839677537368626485999173128*y^21 - 599898469500612536549476511696956008640491474290472787745457645101216729629354355388844997181822580407483319382517563915934807223645371187081556677475852133864606662868126564640773517469003282427653913501521/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^20 + 7194826649687365631746579973751453830878846110051071625872771543498067388878428023562596449910856124489161371753679607548695177593919501939759710093534672503488787905758266360213302421991509986053427540869/55254209058608464549579804459916430835462742511072784150855773337465747950890791238057306285910342290707580421656623317980921804071665268282943606523556982953637718852180409811613532632674591995590016*y^19 + 1178844721533384070859536412862111721828055154615183560563676652448207730971198001896734681228341592999989022990236437741489788276110293622796462549503030432411068114606671276324051983253681696481083937261345/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^18 + 483435245913598044303243500399259600253159033738652136996481008083986586424126334376992941582566451449303709803020601591345431871202487843174414529702227581600754291243437834519235283936747321269934435498707/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^17 - 462118595805044324526592352279993284855882560354786798787384489716066273653145180472237225963779238435102955407043588767467770757765284080530728735901988037434659527288872715099941405610224552086768106753317/55254209058608464549579804459916430835462742511072784150855773337465747950890791238057306285910342290707580421656623317980921804071665268282943606523556982953637718852180409811613532632674591995590016*y^16 - 25668627815842256712357664042755485199099937050347989890708625620909941832844183742193911106970608456417551578236035296728572118214299464590152066156934236260683609560753377082808660663759171280602787734381/3854944818042451015086963101854634709450889012400426801222495814241796368666799388701672531575140159816807936394648138463785242144534786159275135338852812764207282710617237893833502276698227348529536*y^15 + 917240021731865671538456747866665925834767365968439066444810270057957989591562100078672848240995811653078530857564235404927926941098374882915640356748239208809043545037364849418346931697059920601041987243695/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^14 + 203062352792586421156803844259484351943091157723037171906463842477750520638824924540728667771754740739299900332113624862290826179539343104682862905836531813172290065412156266150732782380760962280202572959169/27627104529304232274789902229958215417731371255536392075427886668732873975445395619028653142955171145353790210828311658990460902035832634141471803261778491476818859426090204905806766316337295997795008*y^13 - 32707951224280390541709902893673058457695071608091941609926527103208080357001717850597767028197401329603956720530981256964258480582195364034221370041340662211844357715934467983573151736673668447650719867155/27627104529304232274789902229958215417731371255536392075427886668732873975445395619028653142955171145353790210828311658990460902035832634141471803261778491476818859426090204905806766316337295997795008*y^12 - 260735215444090570449954789485799760988842101861280788625006430421165830835130530981467642931268607579525472814583844603095810822814459048983804373530181085668240860936998592191573448635946828793932392352407/55254209058608464549579804459916430835462742511072784150855773337465747950890791238057306285910342290707580421656623317980921804071665268282943606523556982953637718852180409811613532632674591995590016*y^11 - 100473537811440472703300078329461804502210041872769732270918210410215946748900387806424966256503350265465367480155189819702070119613422556161404456675365785703789044435874286074071646874625440315347751325569/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^10 + 2180579508374985191374850326577484023194401669281300297263658062921263984964086545939447812961871728510810790327326983323587979268142915796501174926561280905959556809562457485868724184639968005888672106113/1454058133121275382883679064734642916722703750291389056601467719406993367128705032580455428576587955018620537412016403104761100107149086007445884382198867972464150496110010784516145595596699789357632*y^9 + 55838521772788261841666560278693948784670083395908231766540761517226960645525084476755708372330349014644409330291972742070976503016128391524522710674188758633129547204527503637942148184300929416972892555243/55254209058608464549579804459916430835462742511072784150855773337465747950890791238057306285910342290707580421656623317980921804071665268282943606523556982953637718852180409811613532632674591995590016*y^8 - 4721310783179130097088198097298834434029942919064328740323101181758325131591791363164477739225328964255633423879909959225210289695290170621019956958417884399599004639616577131381399707765809610184695392993/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^7 - 6613751598561619368781776404082180663249176374126586093986402863468211408102965183359111473165434784378345871051311383326484566528724318346799860970126647306865212006631184014601079809768674506322795837239/27627104529304232274789902229958215417731371255536392075427886668732873975445395619028653142955171145353790210828311658990460902035832634141471803261778491476818859426090204905806766316337295997795008*y^6 - 2170379299641433317283866659967864993721702395776105195470153738683704565385356610246145574242820342556454052575137746530808535279512109264842575395088806513959648247196431779749691551667137456849485257871/27627104529304232274789902229958215417731371255536392075427886668732873975445395619028653142955171145353790210828311658990460902035832634141471803261778491476818859426090204905806766316337295997795008*y^5 + 1269752356352741708186531016320114637481959223406450147400659645442680782932714554247365197206077237181929589642360083535894248104593873866037520544278031663752292324365827054242566728685902692452025936759/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^4 + 35128523960937743096949094167962598786823767733235935638767734547580872056174141358475568700334132081683535474787294475589002578107544055720257678521587118042677477402279587094277660327751954373106063241/3453388066163029034348737778744776927216421406942049009428485833591609246930674452378581642869396393169223776353538957373807612754479079267683975407722311434602357428261275613225845789542161999724376*y^3 + 331545484790535188442363195903305029431524842422241011169775356968804880218404674228895003922764425949892971849918481650104735040972127777139896336323974168716141273205716325684778208514552054722598497137/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048*y^2 - 56973645438733807745754429962488002070735984499606291849886516925883298169850220716973324647620220248670032194034952606574848781373091593826524876611995795214724617847142539730936786855322817449693355/3854944818042451015086963101854634709450889012400426801222495814241796368666799388701672531575140159816807936394648138463785242144534786159275135338852812764207282710617237893833502276698227348529536*y - 4852677376239600560493716681241044567998318417673066284411681664193318942922371924352330733817866525606928905330969174838253861349510032968296357003792330592687575807294290635636780350704511581474377859/165762627175825393648739413379749292506388227533218352452567320012397243852672373714171918857731026872122741264969869953942765412214995804848830819570670948860913156556541229434840597898023775986770048

2264975785318325334797852844194200766206110827870844951607689330086356712604130549393996798638266229996039215796998300249184799951313051525808256234274951829037193031591893122273621184562687057407/1763432203998142485624887376380311622408385399289556940984758723536140892049706103342254455933308796511944056010317765467476227789521231966476923612453946264477799537835544993987665935085359319008192*y^36 + 1626198734163733316954776333039125615441883728351661187478177502927795582258269226274515895102693143483315365781630572569596078214252552845423720968189746587986441241396164689269015383647841490163/1763432203998142485624887376380311622408385399289556940984758723536140892049706103342254455933308796511944056010317765467476227789521231966476923612453946264477799537835544993987665935085359319008192*y^35 - 94676842813056407999631651140534173576533862568011852508052345640711653203720593635477990828207882512486116490203434278038157688510494765269965118191423673351312383476850036847908998044849564627631/440858050999535621406221844095077905602096349822389235246189680884035223012426525835563613983327199127986014002579441366869056947380307991619230903113486566119449884458886248496916483771339829752048*y^34 + 593598811194975578106792456959848349274725871290416028797227359024620073728405745845488569803968759162818834168023937833825808255160158129487388957975230710622212252869589218766306454303993255120887/881716101999071242812443688190155811204192699644778470492379361768070446024853051671127227966654398255972028005158882733738113894760615983238461806226973132238899768917772496993832967542679659504096*y^33 + 3799503908726567215932469425065146442087170581382954805869875466461554494709510461814905600710343100957612060897858627781281437044075995054410375394861606158570270308105570567502426506964796987165831/440858050999535621406221844095077905602096349822389235246189680884035223012426525835563613983327199127986014002579441366869056947380307991619230903113486566119449884458886248496916483771339829752048*y^32 - 9964281819185782428326136482411561829791797352453865686529924162472907425397301240177984750285074248417504254137717275008124500459734711693895553062961796721377926472726469045330647274820850176528363/293905367333023747604147896063385270401397566548259490164126453922690148674951017223709075988884799418657342668386294244579371298253538661079487268742324377412966589639257498997944322514226553168032*y^31 - 47111392593664343679691965997743251148120309764773354867167562907814987610432457504406045858798759568074514603031371884000510477729656418119846122706376372701084134686346997695919161144656926524263113/293905367333023747604147896063385270401397566548259490164126453922690148674951017223709075988884799418657342668386294244579371298253538661079487268742324377412966589639257498997944322514226553168032*y^30 + 837017930274577558766072501173706187193503539214140336312206294787963010434154153091481104210047049047915478119985282930360552458810771031378549957195586965979669669641296304713857792443892652506066603/1763432203998142485624887376380311622408385399289556940984758723536140892049706103342254455933308796511944056010317765467476227789521231966476923612453946264477799537835544993987665935085359319008192*y^29 + 244467828544294970605503074317077767830937044279992648516344592233435119299574795827199091478619046779117610225090428805900913324467954611535695294519812858288369969543595099513318499898628594141978635/73476341833255936901036974015846317600349391637064872541031613480672537168737754305927268997221199854664335667096573561144842824563384665269871817185581094353241647409814374749486080628556638292008*y^28 - 169007907925696750288539045133846395285475989529675636470434584175861326531746739176950325246790892717539790025096774804470763099695142636223949661380707490098493109844947004375214963168439892302879631/27553628187470976337888865255942369100131021863899327202886855055252201438276657864722725873957949945499125875161215085429316059211269249476201931444592910382465617778680390531057280235708739359503*y^27 - 39894908014795940755515835825609172087556363956769172066806153992389827194785104631438214271765024439328603843797975169736154979949618327171176570910243042899298058844301305692928817036810185995090568189/881716101999071242812443688190155811204192699644778470492379361768070446024853051671127227966654398255972028005158882733738113894760615983238461806226973132238899768917772496993832967542679659504096*y^26 + 118085608449449799091810756931889022509830321993199865293151963010286410701088930677240555772670686206156187280942867129528524845035144404486242783190416036041187780442461797989360228790859646355235550111/1763432203998142485624887376380311622408385399289556940984758723536140892049706103342254455933308796511944056010317765467476227789521231966476923612453946264477799537835544993987665935085359319008192*y^25 + 315757206940732973947456864962292259318085332483363964453806733174191785409852734028195825169416492087056261400995680424367014356851678638100847961509995880863501626152502166595487730810123973777166712305/881716101999071242812443688190155811204192699644778470492379361768070446024853051671127227966654398255972028005158882733738113894760615983238461806226973132238899768917772496993832967542679659504096*y^24 - 120879468270977308151742803467790543002522026363520242715188190857871179710097161464552492589813705806366158300237469570989601767819078798561853451316960570924309444715122711362427216117572369533315164003/293905367333023747604147896063385270401397566548259490164126453922690148674951017223709075988884799418657342668386294244579371298253538661079487268742324377412966589639257498997944322514226553168032*y^23 - 518311342881399157432301469784315924335124824274676946001466189106379452297486580694884514164310038847168101487235511319573658042444292647247025969148334803033991915178234615219291292090835811661709315035/293905367333023747604147896063385270401397566548259490164126453922690148674951017223709075988884799418657342668386294244579371298253538661079487268742324377412966589639257498997944322514226553168032*y^22 + 1023887737943867229387933877549382986650818090822309283193137862734421276607241168479637542945504678997029064192212514662712858850926695206312580685354206112889058452727749071652674289378698168903892810303/881716101999071242812443688190155811204192699644778470492379361768070446024853051671127227966654398255972028005158882733738113894760615983238461806226973132238899768917772496993832967542679659504096*y^21 + 9899363371982712016163180177498513120303551822382211557014720102399724983329921915116019315920745796016735674550630423219181720727062429078226335901364077425715214361433443770029705369724204257407841002839/1763432203998142485624887376380311622408385399289556940984758723536140892049706103342254455933308796511944056010317765467476227789521231966476923612453946264477799537835544993987665935085359319008192*y^20 - 181564760120098691514654363686559397068976834951996315052322732870362272979417407876995814091140657201374588702975341218976608957651182320039494219624860447848763029292925285475341860265330236142159816075/293905367333023747604147896063385270401397566548259490164126453922690148674951017223709075988884799418657342668386294244579371298253538661079487268742324377412966589639257498997944322514226553168032*y^19 - 19615369885525526862489187897156607449057304629110013613614576675150334129339408349103283595566445836715495121185101039628961420050769694175831357545075146360441393044168074379958759464977959879711506997993/1763432203998142485624887376380311622408385399289556940984758723536140892049706103342254455933308796511944056010317765467476227789521231966476923612453946264477799537835544993987665935085359319008192*y^18 - 3336789543581325246502645316687996748367140134017484077222414711397746188844328319534410709731781726073622474741434577840825100436524257202939927161887451915615935950742290660170292916636925917920079650905/881716101999071242812443688190155811204192699644778470492379361768070446024853051671127227966654398255972028005158882733738113894760615983238461806226973132238899768917772496993832967542679659504096*y^17 + 7846526468388302593830829009130094459923637418294797910900559048025537695220683121816662494470929314319318725004115438272144348948051200901879123162657603193420403835074151626541865068754928817896187523725/587810734666047495208295792126770540802795133096518980328252907845380297349902034447418151977769598837314685336772588489158742596507077322158974537484648754825933179278514997995888645028453106336064*y^16 + 48605677750988094086314302233734992533540175688898064863237334964786442829973232909202336691693910634812940945204629360143084624779605774478907400048477846847078950808519385445103950094545191021980484883/5126256406971344434956067954593929134908097090958014363327786987023665383865424719018181557945665106139372255843946992638012290085817534786270126780389378675807556796033561029033912601992323601768*y^15 - 16315886485932512619765665138286798362840784898634801102874260531095471302712677303221566115672768835522116094962461875345371466319559152025550907092477890934865685977072199345447635951526050293048425675209/1763432203998142485624887376380311622408385399289556940984758723536140892049706103342254455933308796511944056010317765467476227789521231966476923612453946264477799537835544993987665935085359319008192*y^14 - 6350328985383478546464412336116898248631734128512959848491224185719531782089130979977891976858702853008918467612502254998558180887431615723378328969162634606136129200009720220004025356026578647867964472907/587810734666047495208295792126770540802795133096518980328252907845380297349902034447418151977769598837314685336772588489158742596507077322158974537484648754825933179278514997995888645028453106336064*y^13 + 1479162947474740579581610591032282648200751471998031514868122777450541458441018963844523359583685484330064656176531897476276707737503949586855068301986933505511198438646637132010426077984722311580575884971/587810734666047495208295792126770540802795133096518980328252907845380297349902034447418151977769598837314685336772588489158742596507077322158974537484648754825933179278514997995888645028453106336064*y^12 + 2093224146721623495228296689842406343399386247686700654520429621461978886577046349371070794000126731913759627699904440594852864437727422853490237939521543374767454613179655847229484039879434021308549694401/293905367333023747604147896063385270401397566548259490164126453922690148674951017223709075988884799418657342668386294244579371298253538661079487268742324377412966589639257498997944322514226553168032*y^11 + 1279334004315458446742590300883665558434575295275198340129244867016322495508290515352123737543221168949736098409938955815542112733280910518756394184929966856271533003618071085814756386529917062457972056801/881716101999071242812443688190155811204192699644778470492379361768070446024853051671127227966654398255972028005158882733738113894760615983238461806226973132238899768917772496993832967542679659504096*y^10 - 18352847496983331922956968638110885004435305071949298693483058070365630057376167215254220433768454150210906242098256550272740976011200485921203090086102069881587568338145789881600719768672381803439471769/7734351771921677568530207791141717642142041224954197109582275103228688123025026769044975683918021037333087964957534059067878192059303648975775980756376957300341226043138355236788008487216488241264*y^9 - 832935011163158087184761422740443453390890866951157349418402607672820800452019520961552199659486050859191392435452833373781459467668639393207813097405127185757334883334755916983632160119709036317079683283/587810734666047495208295792126770540802795133096518980328252907845380297349902034447418151977769598837314685336772588489158742596507077322158974537484648754825933179278514997995888645028453106336064*y^8 + 96544080109814005008283818312257089350799025612077181830609242196301421705241376570378506877991393829826965257670919502505321191774251167439706638331765072640307110062894587375943027309615538576861694605/881716101999071242812443688190155811204192699644778470492379361768070446024853051671127227966654398255972028005158882733738113894760615983238461806226973132238899768917772496993832967542679659504096*y^7 + 104309216156330967754690206259688614308414166743785589800347252138695268334561074809099527510239329699823799542238077516014433911378735505807408890384302316572393896396081151445880454916705359756993178221/293905367333023747604147896063385270401397566548259490164126453922690148674951017223709075988884799418657342668386294244579371298253538661079487268742324377412966589639257498997944322514226553168032*y^6 + 15169078083013823937740600167517635590120234699324298654629382435434339011668474741257042097128202047021348908065606669411995262044827936299291856412767632818024489903934628578818530133931118840705713585/146952683666511873802073948031692635200698783274129745082063226961345074337475508611854537994442399709328671334193147122289685649126769330539743634371162188706483294819628749498972161257113276584016*y^5 - 26122207331870384957544468634084904828363709169797516187211232320133442808509555085991748934933796510593303474172997653682705304573332490100599537746784494182614353798243874126083134518493473677556849567/1763432203998142485624887376380311622408385399289556940984758723536140892049706103342254455933308796511944056010317765467476227789521231966476923612453946264477799537835544993987665935085359319008192*y^4 - 8442593307374715195827110693463835466545109103095148897891635323910390902938206257853316498846555475280019993516257666158122738460042232170346750423886673290075450010241757842556345795546788610414759715/587810734666047495208295792126770540802795133096518980328252907845380297349902034447418151977769598837314685336772588489158742596507077322158974537484648754825933179278514997995888645028453106336064*y^3 - 2217306094508186785243378883385741976578353854108342064940432452247041563054789179688408656917457524765051474869515282918841361951320788425306174513186403528624805903827957998942403231632327925889970695/881716101999071242812443688190155811204192699644778470492379361768070446024853051671127227966654398255972028005158882733738113894760615983238461806226973132238899768917772496993832967542679659504096*y^2 + 2292162811873689339405237252191470480465013432582530668022371180011921995071733493868961448406138603382714893058675409159563360059999838150349120182854293486479757030319461625253839456727937367045139/41010051255770755479648543636751433079264776727664114906622295896189323070923397752145452463565320849114978046751575941104098320686540278290161014243115029406460454368268488232271300815938588814144*y + 33087191801379148905620382532388177023366019174359936520600310969854730510719584194652133729433189574315703919608921117510647776719430175011748405358593038777347294485286541650908503955206165719941613/881716101999071242812443688190155811204192699644778470492379361768070446024853051671127227966654398255972028005158882733738113894760615983238461806226973132238899768917772496993832967542679659504096

-7397037260311999061716707289834424544923446326871994919591106130729636332614777940202606004768446982380379701797895406147176739954627757556993175581940436293136638975720690653653962033314252426907871475/1312674244605361292304367414554234647358088373835556133071880607178173774069312527442527425434372001800339988077296400165272759299330551778597891260180143244029571286771249995894502694754450282039232010112*y^36 - 28827460480735151908954517026682487861368548859378512317925853942723040219008061249189015671919540397682380056494877465481263647940066088835972313630219083406666018382612069811799805523302645015764865/6982309811730645171831741566777843868926001988487000707829152165841349862070811316183656518267936179789042489772853192368472123932609317971265379043511400234199847270059840403694163269970480223612936224*y^35 + 1236754282371483044901393410711485544742303555414404362016604383459643190162912690591373381880296385158078073142807593764601207955309902639616009454062601853470779278797164444862054415740423830701197580593/1312674244605361292304367414554234647358088373835556133071880607178173774069312527442527425434372001800339988077296400165272759299330551778597891260180143244029571286771249995894502694754450282039232010112*y^34 - 964753054806579181366325696198877692306066370840552040750783064101540422215567818829361739145728575997315518740250512407762267213519795490544051222259203956880080892386091282476864044704187267867849025491/328168561151340323076091853638558661839522093458889033267970151794543443517328131860631856358593000450084997019324100041318189824832637944649472815045035811007392821692812498973625673688612570509808002528*y^33 - 24848639132603329449389155135679521064565449369232343547668120690425248859700441670665325518015001076926425198409704470515952538332763335118067526069743519786656914627611793904137651524857809422398516270657/656337122302680646152183707277117323679044186917778066535940303589086887034656263721263712717186000900169994038648200082636379649665275889298945630090071622014785643385624997947251347377225141019616005056*y^32 + 32423808872377032038785432526838889163052840108117524001667006433511525748869705557493158463792985624053696211204589339109783492480078040284481962260652077814340284120213567823129555250682656997342484122227/218779040767560215384061235759039107893014728972592688845313434529695629011552087907087904239062000300056664679549400027545459883221758629766315210030023874004928547795208332649083782459075047006538668352*y^31 + 77187675650798523468428321491308776245505306634693912884263087220451787580779282295873207559260245247543874305453130241450021665590384328856522647761862126368201609967370951948003867610645174106435732729171/109389520383780107692030617879519553946507364486296344422656717264847814505776043953543952119531000150028332339774700013772729941610879314883157605015011937002464273897604166324541891229537523503269334176*y^30 - 2721067863867049203072693595769785756387592965040808543656871452607419536429050209324403769355774548032956503931447046048102382441609466600053506130340546683890505730045000174808802744902527772800166579799025/1312674244605361292304367414554234647358088373835556133071880607178173774069312527442527425434372001800339988077296400165272759299330551778597891260180143244029571286771249995894502694754450282039232010112*y^29 - 6401883878092953627936757459300862482846840352239997251153394752080645580721130463501345883919601354972660053741578515145887583457330803005265808222589833836214760217456161931472758756117525171360960817035967/437558081535120430768122471518078215786029457945185377690626869059391258023104175814175808478124000600113329359098800055090919766443517259532630420060047748009857095590416665298167564918150094013077336704*y^28 + 17529368962018315552944365846683170182265204287181687290267211307225884770104158003597847519406861389568628354337285935303842756682937654587971488021866731167158219983532025437761765250084285455762956588977839/656337122302680646152183707277117323679044186917778066535940303589086887034656263721263712717186000900169994038648200082636379649665275889298945630090071622014785643385624997947251347377225141019616005056*y^27 + 130593650466710108283491090226369992974266503633925126117696601090869481840419910845546538815009543656130875850652463413103190187687679210552250062515945423578796511044137300179928816205212494252227176197193389/656337122302680646152183707277117323679044186917778066535940303589086887034656263721263712717186000900169994038648200082636379649665275889298945630090071622014785643385624997947251347377225141019616005056*y^26 - 382033150998385994799090079174961188240252692655659612026824821223482820309577443911401253599722689459569884217478839270651565769148800404771705363028174566302725461576946707477376152851895011282043823145129201/1312674244605361292304367414554234647358088373835556133071880607178173774069312527442527425434372001800339988077296400165272759299330551778597891260180143244029571286771249995894502694754450282039232010112*y^25 - 2069282429396928823398110010172576800250809546744974515670542494987453521256068269826737536910030902507895056544577145425525754978669924587139512454297928039117369280772421100977444950419385621315781961521692503/1312674244605361292304367414554234647358088373835556133071880607178173774069312527442527425434372001800339988077296400165272759299330551778597891260180143244029571286771249995894502694754450282039232010112*y^24 + 390127678434510693231575904139823281663657962792079067429088554464710444961179981100234264480212494568868632563575130895794111313923054387965165421254096847378896529661845389766319632737385156847853852838166529/218779040767560215384061235759039107893014728972592688845313434529695629011552087907087904239062000300056664679549400027545459883221758629766315210030023874004928547795208332649083782459075047006538668352*y^23 + 106252710412594705969274339416967982024924090947934030471982196547258129655362397429506120008437743078553684324135498478266026488682027060426592974420672884561703943960411136767491736354374014277637318869652911/13673690047972513461503827234939944243313420560787043052832089658105976813222005494192994014941375018753541542471837501721591242701359914360394700626876492125308034237200520790567736403692190437908666772*y^22 - 1638557879645720677109250980102202400159851341655001830931221393901123242895145786393235142368558549296734939722745855829075935365206859095110220250987999644112147028957589559826036757992596004939603792827109811/328168561151340323076091853638558661839522093458889033267970151794543443517328131860631856358593000450084997019324100041318189824832637944649472815045035811007392821692812498973625673688612570509808002528*y^21 - 32471417553559154106305988429035308786882457546251572101370794330219262640857617118152679839609930265164506233544323768575332556808044098779084188489803181835841952249533693321702576123418584042017381957600562481/1312674244605361292304367414554234647358088373835556133071880607178173774069312527442527425434372001800339988077296400165272759299330551778597891260180143244029571286771249995894502694754450282039232010112*y^20 + 1045047214294245761020083630289463045516946168651267123894763416922218335915575829371934906872194030310926538507066339871081916471704933168822150284528153106044527740742799820325155446983593668521575591383312915/437558081535120430768122471518078215786029457945185377690626869059391258023104175814175808478124000600113329359098800055090919766443517259532630420060047748009857095590416665298167564918150094013077336704*y^19 + 64250637528672840403760197431194318683879450912764635609871973319187077302177561353243441367579899176076183486241196991590652446977602028464127279438617396540081564078168737797214352821956836844356942167353651513/1312674244605361292304367414554234647358088373835556133071880607178173774069312527442527425434372001800339988077296400165272759299330551778597891260180143244029571286771249995894502694754450282039232010112*y^18 + 22657201215980212096300764292100016310653870065519713802447811139057915047749712735673577806494442432282475040271303599376023299013144405419679196879983310973125928228868552162754878772731355016877072311877063697/1312674244605361292304367414554234647358088373835556133071880607178173774069312527442527425434372001800339988077296400165272759299330551778597891260180143244029571286771249995894502694754450282039232010112*y^17 - 25613812325791709571286516396765824185930040928165823074162729204054138987905167455725049786775978915040839017996578144854096946796459975225316094684433261304675562873237859146113365807766673621716786094237042713/437558081535120430768122471518078215786029457945185377690626869059391258023104175814175808478124000600113329359098800055090919766443517259532630420060047748009857095590416665298167564918150094013077336704*y^16 - 1295754456463717368364663612097558389987951133473428090252735936520828288488370699586974617433093265584554832869775958496779087707482852519401573293770762748946755602202921964453724874225506125198107969183331287/30527308014078169588473660803586852264141590089198979838880944352980785443472384359128544777543534925589302048309218608494715332542570971595299796748375424279757471785377906881267504529173262373005395584*y^15 + 52861205158018947282170211014543015459894058952698362130154356029766049385959721878629109670640275416736165228384553063092002865327486596066603646038683884781902519664854206447676714334878879527621653676323807595/1312674244605361292304367414554234647358088373835556133071880607178173774069312527442527425434372001800339988077296400165272759299330551778597891260180143244029571286771249995894502694754450282039232010112*y^14 + 1314710675437543433377230048494071319534867670937388832397317553776705204932408011688190553577917222538377441607885943205031400886516647943010686969364311619940521143492523533852882030303873823802806109409140061/27347380095945026923007654469879888486626841121574086105664179316211953626444010988385988029882750037507083084943675003443182485402719828720789401253752984250616068474401041581135472807384380875817333544*y^13 - 289488935815916042540187147828096538223556435436178663084010690222824435407673443279811689090180528014414724311679454737784495944817922068732120838075072167757215502955901350106130582783274883993110259828784375/27347380095945026923007654469879888486626841121574086105664179316211953626444010988385988029882750037507083084943675003443182485402719828720789401253752984250616068474401041581135472807384380875817333544*y^12 - 13801050196265376213671824736140238058838674206783872852243744403753852073699452281617152632586066692343559702026675755722347785568507184377557641589612172616534830503804653521886816501827175845758723500168227149/437558081535120430768122471518078215786029457945185377690626869059391258023104175814175808478124000600113329359098800055090919766443517259532630420060047748009857095590416665298167564918150094013077336704*y^11 - 4402904394190908497645418959938555292392023181483790139883059928240394738387836312986149024694563578346465298378409362508718781678249495930079529258326981944406310739165211256462935893482242560418203182391455393/656337122302680646152183707277117323679044186917778066535940303589086887034656263721263712717186000900169994038648200082636379649665275889298945630090071622014785643385624997947251347377225141019616005056*y^10 + 120039466052715113903484509421227785713602113176785284613395992667738873397116995235273903018531136160772899346172011317770686950091619818990289753930835677945428485866279730711201798407968217999983987707662395/11514686356187379757055854513633637257527090998557509939227022869983980474292215153004626538898000015792456035765757896186603151748513612092963958422632835473943607778695175402583356971530265631923087808*y^9 + 2779733701106833399715657959062065778259268224394470170555987685266913047403706946667484224391925648833120900991944672012448368038457799634783442007793314845741452104143866456603149626030083776034949305763164879/437558081535120430768122471518078215786029457945185377690626869059391258023104175814175808478124000600113329359098800055090919766443517259532630420060047748009857095590416665298167564918150094013077336704*y^8 - 572400568881045383089349927179904907914006070704101711348022041213959962118261561862923259476584044542275683845217958846504259343744971744019168086162957716724516266781850631681663477273134996183865853321843167/1312674244605361292304367414554234647358088373835556133071880607178173774069312527442527425434372001800339988077296400165272759299330551778597891260180143244029571286771249995894502694754450282039232010112*y^7 - 344523325619645207251478699813056801247634451286731340169712728932060249431114704773361770999779552934221166514390511538641966917303263537039989525315027570646493767407142363002824332328637465042227808915804469/218779040767560215384061235759039107893014728972592688845313434529695629011552087907087904239062000300056664679549400027545459883221758629766315210030023874004928547795208332649083782459075047006538668352*y^6 - 102328519796100004180186336382272970151146449854085479639742483515827796078328205300787090856914872069807054946237219347058909327639984390037504804027856612126270936420123681812952732811965489413795538460491447/218779040767560215384061235759039107893014728972592688845313434529695629011552087907087904239062000300056664679549400027545459883221758629766315210030023874004928547795208332649083782459075047006538668352*y^5 + 82677493071717231419787257280884087748152413944623771957737854343348748577923731587834934461336324577727829121431580662728397995283533146734371638158743510702257817513310772095476076157082767454939740920467615/1312674244605361292304367414554234647358088373835556133071880607178173774069312527442527425434372001800339988077296400165272759299330551778597891260180143244029571286771249995894502694754450282039232010112*y^4 + 14022808769730404595972630328558351476447688699413161698162103051763017190871018025533388311486033512312881476130950009394360219230200613690241784312446219337392786427341406510205043228375593547195309793614505/218779040767560215384061235759039107893014728972592688845313434529695629011552087907087904239062000300056664679549400027545459883221758629766315210030023874004928547795208332649083782459075047006538668352*y^3 + 15074256442214537874380044687515291109177842526550539623495225513547149467187253008501136707424439699847953754611500850818628419243509776860621545495991680811651768768230911644544969446921484878253322795878879/1312674244605361292304367414554234647358088373835556133071880607178173774069312527442527425434372001800339988077296400165272759299330551778597891260180143244029571286771249995894502694754450282039232010112*y^2 - 6132359752559493570512950244112974109932428503393918449411285635182584643351188696730347731146946164268602403278712054846797254903675883961296337553730592447045678121025460636269088327421708737066257457579/30527308014078169588473660803586852264141590089198979838880944352980785443472384359128544777543534925589302048309218608494715332542570971595299796748375424279757471785377906881267504529173262373005395584*y - 213893587708436300896355836197385888811238619717000943662723401809353998955089928351095497691291246255153330764569485358147832854611397469640391952225390056957427582177880737047141965006104018948240059648633/1312674244605361292304367414554234647358088373835556133071880607178173774069312527442527425434372001800339988077296400165272759299330551778597891260180143244029571286771249995894502694754450282039232010112


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

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

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

# f Combinatorial flattening
{-4, 14, -16, 13, -6, 0, 5, 1}

# f' Combinatorial flattening
{9, 0, 0, 0, 0, 0, 4, 6}

# 1 Loop Invariant
-3095587999921408836485876233811705030125914145947262566121881019421698536257806537472417832795469710426572522949341257744474486983567198410985703306901740174480860693611503173766396654926620557702913/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^36 - 19899783261805461800119243383049267639583666488751190064747984278939107923443658999702629318082360523803177614582243588960454429490080108983198093052699497980440593449717943402502329811180205304809/881716101999071242812443688190155811204192699644778470492379361768070446024853051671127227966654398255972028005158882733738113894760615983238461806226973132238899768917772496993832967542679659504096*y^35 + 517694750888140937487607354949236370657956726341350964424279619968959105583625335636101680984024699786856444741671666385187369749923096368354560848209225703926010871803855462675740156418832425381637545/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^34 - 52545952734766147171917799036625094742915907913291666619619110054196741777341581785093787392959517248168816952635825839211633023870668524106348244634435373852512976336639837903918507414514346428198455/2590041049622271775761553334058582695412316055206536757071364375193706935198005839283936232152047294876917832265154218030355709565859309450762981555791733575951768071195956709919384342156621499793282*y^33 - 10281343236225351808023055972773637710089879361613869715999175961262761454646364144341661731938120644970138655518773870736541248363325466064968908160074608369920375884552636529204277451185322024407403533/41440656793956348412184853344937323126597056883304588113141830003099310963168093428542979714432756718030685316242467488485691353053748951212207704892667737215228289139135307358710149474505943996692512*y^32 + 13997905505576502780724385441864341026728836558310042118393778373368321667587141759836931294218908377315621095376697323672668765487669506063497586874522123042475773594052514903469095822679268236843129929/13813552264652116137394951114979107708865685627768196037713943334366436987722697809514326571477585572676895105414155829495230451017916317070735901630889245738409429713045102452903383158168647998897504*y^31 + 15670633642681801889818182907907759503172544497020481527981804144385503272644970267103249533492120944314799580756717942802808255425970539005976576499228128089961974666687956567881815243578984321441599913/3453388066163029034348737778744776927216421406942049009428485833591609246930674452378581642869396393169223776353538957373807612754479079267683975407722311434602357428261275613225845789542161999724376*y^30 - 1183731699550376908665548004970430850365152106122467937994844372884589078426840869564416644475796812373707076818298014445132775063773233292497007416517020640472287010973582713194072112930809575451479285319/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^29 - 2624058613703625168757951413211403754965297114446701213691261932187408520976365511112613666564851594658353424999465729845033641197189728278469772398077793649901650216236935098666051173059707926070254473235/27627104529304232274789902229958215417731371255536392075427886668732873975445395619028653142955171145353790210828311658990460902035832634141471803261778491476818859426090204905806766316337295997795008*y^28 + 7817674030269856956383983098675626693603452397500490991431878569632776411688546245837925416577641200132427083697564508981043007205895672735125288830506999951238832354152451274273620845040514069634674278477/41440656793956348412184853344937323126597056883304588113141830003099310963168093428542979714432756718030685316242467488485691353053748951212207704892667737215228289139135307358710149474505943996692512*y^27 + 53507560516073719316294046827694386327374660094711879958336608519059063172809680754040249646781360984018510447055560619402809028127124101306388861784787195597353494691667936343528413050952518174523826682141/41440656793956348412184853344937323126597056883304588113141830003099310963168093428542979714432756718030685316242467488485691353053748951212207704892667737215228289139135307358710149474505943996692512*y^26 - 172969620118288151070147846615488610822642790600145441677985534642411124237257419295076586985815485646361187060081568211098273653200840558391864772853542291232897253875315144411439101859448446297366356593931/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^25 - 839936279673805522596249861891269013319005664223650820022383252793250354248945799725888412349471307145896241840796950164621317355390891963063162270435028623146415198924261372947178822401355027640263552561203/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^24 + 180016156512295718719027669605801064473898814988338419401716567054340399098456595674210296087274091369536218586172746475642932028920243879936335430079569536798545392561060494636481777165814608728554090459235/13813552264652116137394951114979107708865685627768196037713943334366436987722697809514326571477585572676895105414155829495230451017916317070735901630889245738409429713045102452903383158168647998897504*y^23 + 341705886397932568668781977427246030467691470088849744628333328508884633733918171949888235632289475449183941648576186519945854786255272313539339121087348229958269140298609022991222018157044815784413090296863/6906776132326058068697475557489553854432842813884098018856971667183218493861348904757163285738792786338447552707077914747615225508958158535367950815444622869204714856522551226451691579084323999448752*y^22 - 100693238489969341191531549526949038234550161938865305271284421181146418309947518654839874684261121713236702891131668399426691336498100631395703821811191827441550974970005077132854641830919739461284472628401/2590041049622271775761553334058582695412316055206536757071364375193706935198005839283936232152047294876917832265154218030355709565859309450762981555791733575951768071195956709919384342156621499793282*y^21 - 13033442427697530900303586015581540926246155109144683024920797693123554261970378051189065899255884212335288527542565947569809615129275725591153447322324639219411871007430394031915986532105062380708590562684655/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^20 + 943901039271207509422884266351553306259967334309128197669416569042246328369009747319515597227622534749079238442327010638440071719200822562131809204728208939111938311555144362552403493424977495050885814442779/27627104529304232274789902229958215417731371255536392075427886668732873975445395619028653142955171145353790210828311658990460902035832634141471803261778491476818859426090204905806766316337295997795008*y^19 + 26074103831929735405540444450084727496842994069843140661051793398739695961489501006945978416372236769284318730976710947778346598380875896224085078259704453035141826981073491663792358344520712775349023189131039/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^18 + 6347562128737020895611395261549253857013603424343442679856108365753097860770249673416549752893156134375518056359427770454744235893694754227713902731066795008905414937881262541745364887170611083466385401470877/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^17 - 10682159835099581535152391346098196449943654148007464732616596113097690423505389183343032094050282995650782887142621087415045576212892748407066266917238922875209595798221940924169682506462333488895807141855547/27627104529304232274789902229958215417731371255536392075427886668732873975445395619028653142955171145353790210828311658990460902035832634141471803261778491476818859426090204905806766316337295997795008*y^16 - 446237667917260154082073382208892324391276501948879889099951580894570954199104681319777655263768066414426730350619113643957140453776208233268002403958218505322598333564683208857254534792760348001791834358995/1927472409021225507543481550927317354725444506200213400611247907120898184333399694350836265787570079908403968197324069231892621072267393079637567669426406382103641355308618946916751138349113674264768*y^15 + 23376924523706097423628035040804433895622359055983065058269109120886425758044535677539698616605631837162427217278608044738620041082471611740689227423791218551393378925507684581738762703021822947214094075592721/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^14 + 3830094049728497389587413906864404733872607988239108295825247819162010077031479990637762517568737578872313698404446452155342497931733155547462944644653294923115386542271195474439782618735484859804611993194383/13813552264652116137394951114979107708865685627768196037713943334366436987722697809514326571477585572676895105414155829495230451017916317070735901630889245738409429713045102452903383158168647998897504*y^13 - 1296215084966495626403675139533935503635644229441041753632460186460216008507860499100571350618483857980403751999201092084061173884247815343948861065593900999703846703936972358085486594491286023129464750742277/13813552264652116137394951114979107708865685627768196037713943334366436987722697809514326571477585572676895105414155829495230451017916317070735901630889245738409429713045102452903383158168647998897504*y^12 - 5234424004385266284196151718111679084850469408837897186058788874712722994315359912103518689066216868497609186208714402036114270693107897200222208762642017624226503114263722782619252522250574197487784854592777/27627104529304232274789902229958215417731371255536392075427886668732873975445395619028653142955171145353790210828311658990460902035832634141471803261778491476818859426090204905806766316337295997795008*y^11 - 1060983028220607282330215170893400961346555313052376525985287907911087019675129017838504631407450019803350745050271746145346101634227360181695463521727654178415744291550934680157895226089523759285496046371215/41440656793956348412184853344937323126597056883304588113141830003099310963168093428542979714432756718030685316242467488485691353053748951212207704892667737215228289139135307358710149474505943996692512*y^10 + 48384185045179488147844714969362072337392420886485944227973536527680160011002352515927945601467622391395621007446307437557257731273511832953937531905398887993524167420161905413686470070437566601053537006431/727029066560637691441839532367321458361351875145694528300733859703496683564352516290227714288293977509310268706008201552380550053574543003722942191099433986232075248055005392258072797798349894678816*y^9 + 942013283886651399051817964444103152134853157583667203525896789254399962136206427332755838270874070470919002385822178524893476694454025656457469122858018229560651434834426735368931752117300812329826908074757/27627104529304232274789902229958215417731371255536392075427886668732873975445395619028653142955171145353790210828311658990460902035832634141471803261778491476818859426090204905806766316337295997795008*y^8 - 402214042591976582304735176275936180732896520203228321928906354909519912573272287370434891097141204627365001468036229686941416670675363605866263881875239761651541545533987081499521094941513770320012718277359/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^7 - 126370998969616751409717635014692261955292875177609145756544778802859917403736689215074083474119466241534426692341160718679904965425164627720410613794308798071438900156224257813229242243023132737353805040185/13813552264652116137394951114979107708865685627768196037713943334366436987722697809514326571477585572676895105414155829495230451017916317070735901630889245738409429713045102452903383158168647998897504*y^6 - 31708041219687882834422656010886819278388558617352616470139231881999029942627639141990792482651571965835386310258558213319848530445015758793613940850389234085443877099385275881971768680458131224523138085417/13813552264652116137394951114979107708865685627768196037713943334366436987722697809514326571477585572676895105414155829495230451017916317070735901630889245738409429713045102452903383158168647998897504*y^5 + 38147524002317426376408481410607908874522780170439334600268260348227745800576239621796564841696964501896095433312767620251767557959792977053312064061607336870423024218543504784874763507272000105380604457369/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^4 + 300046671104101523843281672146045430130065178283476631711004217986022338672232556635129138577806215747717148445313684652119107117483470405204435247705007029225552338538899964467662828686696695004518480407/863347016540757258587184444686194231804105351735512252357121458397902311732668613094645410717349098292305944088384739343451903188619769816920993851930577858650589357065318903306461447385540499931094*y^3 + 4518416719963563035423082640703352099245834632011878321677289490082867853217745436958955894517945700007084859464813419089524693300976629599878772024475779211862767937237009787395232052466766234157274346527/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024*y^2 - 3180202614027752894070578251130131367058107596475532962046382926007068355846334933740933607669927807552810837253579693263826828888702346273021436331538651301704731441688066116167171507595353753164213093/1927472409021225507543481550927317354725444506200213400611247907120898184333399694350836265787570079908403968197324069231892621072267393079637567669426406382103641355308618946916751138349113674264768*y - 65291764750781882392032211042832014141211289559963162101641013762621946583643166078172689947089330284318665999256220799405802558938004063448727485377312669096617081697172882836117042635194755399693329661/82881313587912696824369706689874646253194113766609176226283660006198621926336186857085959428865513436061370632484934976971382706107497902424415409785335474430456578278270614717420298949011887993385024

# 2 Loop Invariant
-76771138686674634775902770555963048595634383650979531490642217567331531274043143675449859178285984010849807280804922309455576963947274523703656938495407676491165534104499467605052193485327198212808077619696392337845339540068567872310626553181968303244363271559162867797901077439174924990948393710799677083747114281922538307895/212264170557328778280863088486543285815935355676557907071075802490650779699354983673992353955136793558501575421161282623605965737045535002124586451590495130283349753982303515763623329809068145385563682743780920969403256556048875907626613992500562243279412935895786007277320184051879911347762391555828133821069649831994647124553728*y^36 - 204405384554060938122739606002877547878395732126795403511655655562401190339533059679011811266547179194722516543996247719876373223862711149533083661342471295785753704961455349396472427359107696214262504484363817162478543115875998328764731917016342483635168394458906401307562223557094331190360225731597559555863261962714387521/752709824671378646386039320874266970978494169065808181103105682590960211699840367638270758706158842406033955394188945473780020344133102844413427133299628121572162248164196864410011807833574983636750648027591918331217221829960552863924163093973624976168130978353851089635887177488935855843129048070312531280388829191470379874304*y^35 + 4278363068505005883644225214654712328004336826679450226697989422061126721017533567903446014129505061509141109327121085576087174194391566186538642469114500895087805995130495669812136830225090327421257748758883416498549397638800300568285668767050084792102068170591274789043819837632176588624297534012618547356624537394470770109557/70754723519109592760287696162181095271978451892185969023691934163550259899784994557997451318378931186167191807053760874535321912348511667374862150530165043427783251327434505254541109936356048461854560914593640323134418852016291969208871330833520747759804311965262002425773394683959970449254130518609377940356549943998215708184576*y^34 - 1244310692283806241949435360489906631829807656205219151504161548772833775873750140773778447759754318450848558497663248835303824852203669347502487149947545899257541115877126863033673282749067334646551333726963792585814151906183166045680314516931843409067116030621391690754717922475233853694894344449946252717932752592070978203957/6633255329916524321276971515204477681747979864892434595971118827832836865604843239812261061098024798703174231911290081987686429282672968816393326612202972821354679811946984867613229056533379543298865085743153780293851767376527372113331687265642570102481654246743312727416255751621247229617574736119629181908426557249832722642304*y^33 - 258283102460031313462182578073410667860020684859285314251803833068549595160213299688547266164250696776275340133676825722625154410545364201164932999149244991905562286198138154885735799069933491721839649420710876671252084218492185390567021050720146169900491418207993364590739061426928350485082978679460384046025680021173219492599875/106132085278664389140431544243271642907967677838278953535537901245325389849677491836996176977568396779250787710580641311802982868522767501062293225795247565141674876991151757881811664904534072692781841371890460484701628278024437953813306996250281121639706467947893003638660092025939955673881195777914066910534824915997323562276864*y^32 + 1004940896780561224027299496493428845348842589032666013164704643042338095380821138650975372284692296263511282090517233377134405493876540254845827172797826068706940393156535413886320712749379476606335995750313826173085337174514169656779593092174527351442401254908716038253270467164837680685439683124862557369770837969336539530645397/106132085278664389140431544243271642907967677838278953535537901245325389849677491836996176977568396779250787710580641311802982868522767501062293225795247565141674876991151757881811664904534072692781841371890460484701628278024437953813306996250281121639706467947893003638660092025939955673881195777914066910534824915997323562276864*y^31 + 1206478988245734344149909234617387104973098024981304739587146786138541264985880002722505693101313967118578851285614142075701356861986836480358124634316216858000245279313899456409196339103931957003264289581822618170908384206065656074954845194363970443503592967340150142818326709883155034814881281598156238903890713562275465772543129/26533021319666097285107886060817910726991919459569738383884475311331347462419372959249044244392099194812696927645160327950745717130691875265573306448811891285418719247787939470452916226133518173195460342972615121175407069506109488453326749062570280409926616986973250909665023006484988918470298944478516727633706228999330890569216*y^30 - 3119379259276044857672895100962228710430566575527812128988388322149579699565926838451745257625538183806166755637579361399285127285001413770318075905341513413593413134036226944691901579030724502169471985196660979776976516683000074673914406271502564361130117997213706131212410063648578241333715008350363667411552334774784414701375401/23584907839703197586762565387393698423992817297395323007897311387850086633261664852665817106126310395389063935684586958178440637449503889124954050176721681142594417109144835084847036645452016153951520304864546774378139617338763989736290443611173582586601437321754000808591131561319990149751376839536459313452183314666071902728192*y^29 - 199876102039800565187528702269450128041133510710609538629357105443330143711514281323074616043677075506506895227512977240967310144452414243928540894894205783795091476701037035678506387609447839092563047965510497152069821185902594410028194702013932317302535608518929745788113224122348830119272736454599088378996960625338874472996037447/212264170557328778280863088486543285815935355676557907071075802490650779699354983673992353955136793558501575421161282623605965737045535002124586451590495130283349753982303515763623329809068145385563682743780920969403256556048875907626613992500562243279412935895786007277320184051879911347762391555828133821069649831994647124553728*y^28 + 180177612848426423865808548357699427071937998795128876678283518209448414441606573466146562780279674367999989443577103382897535505522540716570531619063978413237814617626707851500726529253392390770526469915937250351048749663122168325440973714368146121403183875868997853335259206010772419236787017257299260865451695347027298961705220087/106132085278664389140431544243271642907967677838278953535537901245325389849677491836996176977568396779250787710580641311802982868522767501062293225795247565141674876991151757881811664904534072692781841371890460484701628278024437953813306996250281121639706467947893003638660092025939955673881195777914066910534824915997323562276864*y^27 + 1359053887852120858619234052672549183990550831320023951645120526333431358169360775495280699601712646739125588435593612386208686061911736033803678117953410570207412816024614191259023713525792355240108273580349625548634438067323041584038886501598235760012530963953818555871840628123817948185518168416956422960500524495826174137398551551/106132085278664389140431544243271642907967677838278953535537901245325389849677491836996176977568396779250787710580641311802982868522767501062293225795247565141674876991151757881811664904534072692781841371890460484701628278024437953813306996250281121639706467947893003638660092025939955673881195777914066910534824915997323562276864*y^26 - 1305758273767163670314336345246466697647717692588451946672885661543730398164856672503846701868346301718007321539129716513569855044492222029654573806518366930696531377415545191707599656353276835523343496386945386082711610093525714596478455723221412500941477373850036567323524402090620348071746293882679608450192085857448933843425731239/70754723519109592760287696162181095271978451892185969023691934163550259899784994557997451318378931186167191807053760874535321912348511667374862150530165043427783251327434505254541109936356048461854560914593640323134418852016291969208871330833520747759804311965262002425773394683959970449254130518609377940356549943998215708184576*y^25 - 21558279873575470650510201753673236220732865746788980518686682044938059657182534620761672317545265623201556973628096948975106180819906295066516842401206001712907931444037622853469111053559213454477660067001508272832875576524568208452181159560104588819431313811505588338213462240619995815730836780923585267572155871886520425978706957909/212264170557328778280863088486543285815935355676557907071075802490650779699354983673992353955136793558501575421161282623605965737045535002124586451590495130283349753982303515763623329809068145385563682743780920969403256556048875907626613992500562243279412935895786007277320184051879911347762391555828133821069649831994647124553728*y^24 + 1328943199376988116568567846952732109748423035268337240153706686134421466373631214748784216568824764133731484215721455363932563771125101306767549701257085480916701571167511789471254403693216650889607349605135849135710303319147880885431489918125062485084953663990849388521163285723772958911528653673320714310699983872547393077668280007/11792453919851598793381282693696849211996408648697661503948655693925043316630832426332908553063155197694531967842293479089220318724751944562477025088360840571297208554572417542423518322726008076975760152432273387189069808669381994868145221805586791293300718660877000404295565780659995074875688419768229656726091657333035951364096*y^23 + 8865288685721125643264898578845065765218079971031505647768899019433106059397931261994028386254903496801645083895779610644649900226064028529681532909037559711995208189014159944613042883999289840439329227859155874859678002258576263296904080917203799182398747074554097446725606611491435634681703367341061883076164465026273155746202369765/17688680879777398190071924040545273817994612973046492255922983540887564974946248639499362829594732796541797951763440218633830478087127916843715537632541260856945812831858626313635277484089012115463640228648410080783604713004072992302217832708380186939951077991315500606443348670989992612313532629652344485089137485999553927046144*y^22 - 2069037825024612134149950542400587841865341410220781524556799515933904584841554038010172736201310206676789431007001007550671895980781299427666027686446128834907262314973229931634606557589480393383013859580576907286910159691983772520702255965342652198544423486458077662876033286834895857571724848801044690939916275091501013574012268151/6633255329916524321276971515204477681747979864892434595971118827832836865604843239812261061098024798703174231911290081987686429282672968816393326612202972821354679811946984867613229056533379543298865085743153780293851767376527372113331687265642570102481654246743312727416255751621247229617574736119629181908426557249832722642304*y^21 - 112873254144686550405692078206428589718304002615369345419995493461981468024730692751786083567092610339590286562589632357395595941592312362465994554976554065868467839305216475912938376292415128153854199918237157026177788611876912345586712650794639495707069537453245565564480862627300525394267204380562388156416561222455433813367993189827/70754723519109592760287696162181095271978451892185969023691934163550259899784994557997451318378931186167191807053760874535321912348511667374862150530165043427783251327434505254541109936356048461854560914593640323134418852016291969208871330833520747759804311965262002425773394683959970449254130518609377940356549943998215708184576*y^20 + 26751250158379419880072302139358506845726048300326404986454327282227386295388658863718034398508055420380660400142415170338338897389171753150045589995921219419863750632305503334501951524325148988147732689488852898024897336901623328443963240030855260925667555101993800721835082853913923234006725202321568466670557370507965219892205497855/212264170557328778280863088486543285815935355676557907071075802490650779699354983673992353955136793558501575421161282623605965737045535002124586451590495130283349753982303515763623329809068145385563682743780920969403256556048875907626613992500562243279412935895786007277320184051879911347762391555828133821069649831994647124553728*y^19 + 668616778348678976308711850930586426639336401078501727125651980348610230176180566970118569976200255627777420328246671322705494826822231048100791092606170981528128373379578658136112748588471725033569566350753995370744566416831301857247306416017210386232583755459820086245914462212442775074858799472813397522576926745063690894858773328049/212264170557328778280863088486543285815935355676557907071075802490650779699354983673992353955136793558501575421161282623605965737045535002124586451590495130283349753982303515763623329809068145385563682743780920969403256556048875907626613992500562243279412935895786007277320184051879911347762391555828133821069649831994647124553728*y^18 + 246899538940527182702750876469968874118019367464123270779465129466576594847757709563756612083492621211471125982773167564275815746577606814664340762257957640137102201496785262923045080352690889816525511101584670107191296256928520241853051436865555087194368575451370175924091822996236292589129210782449909061431726031799134365714372779611/212264170557328778280863088486543285815935355676557907071075802490650779699354983673992353955136793558501575421161282623605965737045535002124586451590495130283349753982303515763623329809068145385563682743780920969403256556048875907626613992500562243279412935895786007277320184051879911347762391555828133821069649831994647124553728*y^17 - 795645178259401309362082823748330240958703812090859338615380178994215051957316794052849425723521555508842896142192816082167757238736194816055136460438351418801838137917162807851303165452667122923885123121637021528427420806484030860741465284833259792725116208282436548974593983590022599559838975376198980409120553428518431121931123754567/212264170557328778280863088486543285815935355676557907071075802490650779699354983673992353955136793558501575421161282623605965737045535002124586451590495130283349753982303515763623329809068145385563682743780920969403256556048875907626613992500562243279412935895786007277320184051879911347762391555828133821069649831994647124553728*y^16 - 13794366861278338926427170379419685896790288245774486408321400690740851823076541897899844981320575883808433870138481077279494883085168216227366433166977032041749355315551747657711337194406217941719308968160572258358089053518449922546006531192064938862649362979303089640488671573693402973112030027712023127063717266592236236914885682429/4936376059472762285601467174105657809672915248292044350490134941643041388357092643581217533840390547872129660957239130781534086908035697723827591897453375122868598929821011994502868135094608032222411226599556301614029222233694788549456139360478191704172393858041535052960934512834416542971218408275072879559759298418480165687296*y^15 + 541146659982322731461931573638993751154613716330568634380885266248841989813425593603557171284134659247906542465846425558166306542071700808602526067822760634312614040919061122296817473640229556822152760289603007762238782558683610587052481814532898339630684301498541543460224944498560662427811470139537734527357062481282587093416081286511/212264170557328778280863088486543285815935355676557907071075802490650779699354983673992353955136793558501575421161282623605965737045535002124586451590495130283349753982303515763623329809068145385563682743780920969403256556048875907626613992500562243279412935895786007277320184051879911347762391555828133821069649831994647124553728*y^14 + 333238530262179772790040447379790515520474034664943303433496174825161149042458235785649418151889997236155773378721832381610965173270161339394968437638794686909372605839217714696314674615889367982265076193286996003445901839437325484041194346950135061201175456755552287969566745167744436050632486593795098399141652924393031190930442640235/106132085278664389140431544243271642907967677838278953535537901245325389849677491836996176977568396779250787710580641311802982868522767501062293225795247565141674876991151757881811664904534072692781841371890460484701628278024437953813306996250281121639706467947893003638660092025939955673881195777914066910534824915997323562276864*y^13 - 67308856242498995645436329421439477140279210589644546574118289729269872835468430265109580689845924926995536044390586100882627551746551129552084211493656622386014416046462014155708312456586976323007248832782545087070783228482920145396312370841569331111441719102152033606692235191107447774231880174190567460875562768382274608814384323101/106132085278664389140431544243271642907967677838278953535537901245325389849677491836996176977568396779250787710580641311802982868522767501062293225795247565141674876991151757881811664904534072692781841371890460484701628278024437953813306996250281121639706467947893003638660092025939955673881195777914066910534824915997323562276864*y^12 - 434298801816803682054444826128041324828196415467074976806413723424439089724384858269464212082186776413264972412639599344603826004951418918140603335756372318538902613098984651106293958806982098188864216875330992592544598113365164526547189867068023743679264065597161145993308937107371272626519451197242629272538218957477981213759984928829/212264170557328778280863088486543285815935355676557907071075802490650779699354983673992353955136793558501575421161282623605965737045535002124586451590495130283349753982303515763623329809068145385563682743780920969403256556048875907626613992500562243279412935895786007277320184051879911347762391555828133821069649831994647124553728*y^11 - 49164223460142180735821172439782372617942378023044276886972251718249138855484694502613565432773831013319821890503013754124660226010352503589126006793784626181656797438194262851573726836219830632399243890986718352930266003846105567063780969688038989079160112647846681647634805813244939610463839312728322373292085872773660337828411406689/106132085278664389140431544243271642907967677838278953535537901245325389849677491836996176977568396779250787710580641311802982868522767501062293225795247565141674876991151757881811664904534072692781841371890460484701628278024437953813306996250281121639706467947893003638660092025939955673881195777914066910534824915997323562276864*y^10 + 414534469194845253589375363715429158761575656534079257987288043174761096349142281375395104247754810703676599075191736057391525459463533423167772286750944499312380010014851617363791086600202740099514374708428366834604379295261665764801350277276515466544853152296518437423365359800259127998311848250770310193938094593148992476849798787/620655469465873620704278036510360484841916244668297973892034510206581227191096443491205713319113431457606945675910183109958964143407997082235632899387412661647221502872232502232816753827684635630303165917488073009951042561546420782533959042399304804910564140046157916015556093718947109203983601040433139827689034596475576387584*y^9 + 29742246186986908470868783824889372290616451339582666189178212629787028759146055886784588686554505092971903011942725293766676885526662188289788639524887642596976467641579164155653381708631593674837560731641605282850121228133394482656226789747675641103790072238315613618068352105839266071457002436434879893891164401588784300219643481875/70754723519109592760287696162181095271978451892185969023691934163550259899784994557997451318378931186167191807053760874535321912348511667374862150530165043427783251327434505254541109936356048461854560914593640323134418852016291969208871330833520747759804311965262002425773394683959970449254130518609377940356549943998215708184576*y^8 - 4894049087675693887263076911413614492726671396726665129091931576848183514547092993300529352432281074675533402841525084889747112709335689331213329292110802187385946464772878588870622544459543815936778264929724154215527168481424681932997007579617392569763880024017296926772408307006869304429814602139947736916371995842767080258741770673/212264170557328778280863088486543285815935355676557907071075802490650779699354983673992353955136793558501575421161282623605965737045535002124586451590495130283349753982303515763623329809068145385563682743780920969403256556048875907626613992500562243279412935895786007277320184051879911347762391555828133821069649831994647124553728*y^7 - 10894651743833940684786462083246076466861512678390816134456976900124107582564265843402216011766329726250727866885064065738702131130214662282876179618658190318725729398747675282041555074626801391984746867113610600416158731650386347457662089858340615094226502173263678038546509423265074846185136096253586492798719242466075224052347029057/106132085278664389140431544243271642907967677838278953535537901245325389849677491836996176977568396779250787710580641311802982868522767501062293225795247565141674876991151757881811664904534072692781841371890460484701628278024437953813306996250281121639706467947893003638660092025939955673881195777914066910534824915997323562276864*y^6 - 3353264355377912922969068902182967652084314897387081827803580959168170643307677448716419281469284679206085611534362067262108624825481601577276642309480481260225600746484886743905589167207521798389219935173288932853121781311023692342259234878794970156618474133454352451363393594786248093222989494544256677509893068893335651640730975697/106132085278664389140431544243271642907967677838278953535537901245325389849677491836996176977568396779250787710580641311802982868522767501062293225795247565141674876991151757881811664904534072692781841371890460484701628278024437953813306996250281121639706467947893003638660092025939955673881195777914066910534824915997323562276864*y^5 + 810251853672843198866427242991561966235116826576578927176077257246537942143276283071760279108899415285082144125450097090273816314339788667766100809817396134906823773282295446323163027371488377219174241235304526894529478354561471124507240453027092684013149828249678175486745143269500268260001068609070385531317615118979863463255493415/212264170557328778280863088486543285815935355676557907071075802490650779699354983673992353955136793558501575421161282623605965737045535002124586451590495130283349753982303515763623329809068145385563682743780920969403256556048875907626613992500562243279412935895786007277320184051879911347762391555828133821069649831994647124553728*y^4 + 6259564846142619485770447259645559971465547996548058375318912945196275332753274196334287091958122835107279744532043259443832580312214131466660976298169441374052328269055853650652633472618753249819563587813698742066287167254198313606357863148167140928934513725209535791936746935624822081628117044394055892511345972831785200038767621/1474056739981449849172660336712106151499551081087207687993581961740630414578854053291613569132894399711816495980286684886152539840593993070309628136045105071412151069321552192802939790340751009621970019054034173398633726083672749358518152725698348911662589832609625050536945722582499384359461052471028707090761457166629493920512*y^3 + 167578183770752777051674489197502192242269336779475278897944248402727333847983572839903598962425644035873004407088891179199675640504028055551043253034337502788038537256984881704788091382632056488612130868959066482054052623545157704718774083511137307191428609898360522513403466129560560119368538066292703455342952600193892956011642993/212264170557328778280863088486543285815935355676557907071075802490650779699354983673992353955136793558501575421161282623605965737045535002124586451590495130283349753982303515763623329809068145385563682743780920969403256556048875907626613992500562243279412935895786007277320184051879911347762391555828133821069649831994647124553728*y^2 - 5896682927067822127614461478124561313672881462888945446799201133785067997965666567487365187637090963949238231160109857990388138789385427048179780951876748651919836286806540088852874077099055966588231590751192594610024623952638901863263414857839957368277858675552180092887415268418158085710516355475944337751447392460073286105395/548486228830306920622385241567295312185879472032449372276681660182560154261899182620135281537821171985792184550804347864614898545337299747091954655272597235874288769980112443833652015010512003580267914066617366846003246914854976505495126595608687967130265984226837228106770501426046282552357600919452542173306588713164462854144*y - 2224617383819975855112127629629499177053970650423981423561790784226229731848115350155214831329694981611323117366311449394992649463827002050401338192970513176868940822840876245706594417993880335298295259679426690172560388715889965052792720544561459537633490470084924753221326117655121126150665119159287380825489619921828799369817307/212264170557328778280863088486543285815935355676557907071075802490650779699354983673992353955136793558501575421161282623605965737045535002124586451590495130283349753982303515763623329809068145385563682743780920969403256556048875907626613992500562243279412935895786007277320184051879911347762391555828133821069649831994647124553728

# 3 Loop Invariant
3462249605539492892416218490956796486061076280809931547037142282818814995633754390462043072345226929952080903513099508498631836712105566149336288855081582405667547466682284193289476472248397276631790495891444625150509619720827267208082249630240568328422652616759650711024132693167546371194657034314733899680814077242404568543796618530553315011291814837170191319519113496710473147122569319/516826594590088290562906261065785477962532349844280544909689819237826827143885483188577181844383437932278318542973938181294120221450013167127492343571699518426520309486046180758948898302494739543087583477101086612373555522474058527689408702735590566250965323041379780139450358711838507923764296149182650826067134524802324137656436411503676632953562953498858383573255944417152981307813206843392*y^36 + 4072789072347481422597192138391213531657030359590262811861373901351346149305872156879186032224508459227327792220542341758829199037060026208041786894503489091986487989489269625488385356221905800600709097975911337583005831759079041862823597544474803421170961307065275813604840507111256467071964610657562163297596609648388490801474398358804841856691445935707727276736515595567616695786441/687269407699585492769822155672587071758686635431224128869268376646046312691337078708214337559020529165263721466720662475125159868949485594584431307941089785141649347720806091434772471146934494073254765262102508793049940854353801233629532849382434263631602823193324175717354200414678866919899329985615227162323317187237133161777176079127229565097823076461247850496350989916426836845496285696*y^35 - 578382429055829017636042374151557543655678962357124469120719017302476490540401487561627679442190953572745513997552993689141729624851371302591695599225068459577037269987658861863575778859245525095997112329251224837640809363341288568408055855287970606665163615411124793173223090023840375174850541491480786234372283448193889863136442734896035901051683513575876433676015036283459923827390550749/516826594590088290562906261065785477962532349844280544909689819237826827143885483188577181844383437932278318542973938181294120221450013167127492343571699518426520309486046180758948898302494739543087583477101086612373555522474058527689408702735590566250965323041379780139450358711838507923764296149182650826067134524802324137656436411503676632953562953498858383573255944417152981307813206843392*y^34 + 429588532764922096520249918752102670655861588650948389904653757608765029806665928230593940872841660258971945702805683123505172473823819068625321205347979329644306148947111320683811551030882748165585480575484321981792244911126626980842299549425464244804791660413134585036801661109436093126188524798961735417784021096990117319185232793298695477876228652758896328177168471083076170903012103553/129206648647522072640726565266446369490633087461070136227422454809456706785971370797144295461095859483069579635743484545323530055362503291781873085892924879606630077371511545189737224575623684885771895869275271653093388880618514631922352175683897641562741330760344945034862589677959626980941074037295662706516783631200581034414109102875919158238390738374714595893313986104288245326953301710848*y^33 + 11758984968025263772284559521912947698781667489661038701223241288123175410073778841331571113699220835394221127876687789037438012198715132767504656765880954371742203788759942648863799809091864694985128023700287165921457890296820571551148284679137472683167772114032695337901199443825264870070303421921911682348997882658991626002678202557012850125610274879445624204528230790101722214389927816365/258413297295044145281453130532892738981266174922140272454844909618913413571942741594288590922191718966139159271486969090647060110725006583563746171785849759213260154743023090379474449151247369771543791738550543306186777761237029263844704351367795283125482661520689890069725179355919253961882148074591325413033567262401162068828218205751838316476781476749429191786627972208576490653906603421696*y^32 - 14577597316692461372950664310452013925661586239497734243925408206261586987869883604855357527578357159541690361163879643539622053091090890598674123026243915362281338246421399985974603742632779990334611812495511397393078258884231661732386398624263135011200089816532162948030238237788394919016848404308634872090402269124212282505802393183768125836440358742666685065115001752863400012059088359287/86137765765014715093817710177630912993755391640713424151614969872971137857314247198096196974063906322046386423828989696882353370241668861187915390595283253071086718247674363459824816383749123257181263912850181102062259253745676421281568117122598427708494220506896630023241726451973084653960716024863775137677855754133720689609406068583946105492260492249809730595542657402858830217968867807232*y^31 - 37222711304784322829672896418610398444153895460768607218170657782855659007292216616481488298561013717957095042212399028083099884252626968029009383659090772380275857724432166098639689257227700427825486439259272369858702118149228363299724155887694324999276921198733178055453724364061466849907436531529596434550334458712214518848470115082091242105998012481900880729892368764977252842435736474833/43068882882507357546908855088815456496877695820356712075807484936485568928657123599048098487031953161023193211914494848441176685120834430593957695297641626535543359123837181729912408191874561628590631956425090551031129626872838210640784058561299213854247110253448315011620863225986542326980358012431887568838927877066860344804703034291973052746130246124904865297771328701429415108984433903616*y^30 + 1204875511388110606573760609986820456869892345229456447029197746281492534891134264177762489559790547571998551370744580150249589210626385248552880239453450579761179025555820351417332714158884861737677970194737603795838017282554087283115036025364979012186574313219424345883689162425158217054892427982973066597985615551851329581963091589129528002509281132163389138101986509094102320456350892211293/516826594590088290562906261065785477962532349844280544909689819237826827143885483188577181844383437932278318542973938181294120221450013167127492343571699518426520309486046180758948898302494739543087583477101086612373555522474058527689408702735590566250965323041379780139450358711838507923764296149182650826067134524802324137656436411503676632953562953498858383573255944417152981307813206843392*y^29 + 3056681131757019357567449647670639884023837637396407176814842138552496807083517156010642051519815182281273047540899597445336880316306839770432912218430101538702073203325789679334879891540156000399632537642118091346612727518830446810486092939202872626376287822992858151811862502181126785666749527711183727334712131131837987743924831708030935754207201401929306556498754184881451607993408718165183/172275531530029430187635420355261825987510783281426848303229939745942275714628494396192393948127812644092772847657979393764706740483337722375830781190566506142173436495348726919649632767498246514362527825700362204124518507491352842563136234245196855416988441013793260046483452903946169307921432049727550275355711508267441379218812137167892210984520984499619461191085314805717660435937735614464*y^28 - 7501690355467286107110277642483209270313649550429144084600465660789371294000491154841902151374080055005724962274001671310291319623205377689341892056136585060672786337402425163751486580780010162129088530145208225108201114036862514149213412697579735514110013337671712760516353698358572995648658045759950187952539820658733376227036844408819247816810863865239966976339518288548521951892616026936269/258413297295044145281453130532892738981266174922140272454844909618913413571942741594288590922191718966139159271486969090647060110725006583563746171785849759213260154743023090379474449151247369771543791738550543306186777761237029263844704351367795283125482661520689890069725179355919253961882148074591325413033567262401162068828218205751838316476781476749429191786627972208576490653906603421696*y^27 - 62237610320606809892813423224148687875564180577621226494230816844525069232842948511608874552322597007008753342000615655604687413962026815556147300171394893863478311155872226462741445477700536236352421344024056661923237844388253177365156549890214208639663847335747379872972267768357430780323609515713832853872462591613554448536903173480617572853999421268853105699548861019224148612775951853913931/258413297295044145281453130532892738981266174922140272454844909618913413571942741594288590922191718966139159271486969090647060110725006583563746171785849759213260154743023090379474449151247369771543791738550543306186777761237029263844704351367795283125482661520689890069725179355919253961882148074591325413033567262401162068828218205751838316476781476749429191786627972208576490653906603421696*y^26 + 159707040606473128442772672684283558258965164389695312026206976197586660916505276212934707837288410312358320009740326204146568500105795138193858813260824937465000433518773595414900394363169255716911688017186101434141443953015849510606415712016718376086012368474995167977796354532514091048519516392577021990941406695876656086656236067548095105864871171208182957588904895864404038818116857316684337/516826594590088290562906261065785477962532349844280544909689819237826827143885483188577181844383437932278318542973938181294120221450013167127492343571699518426520309486046180758948898302494739543087583477101086612373555522474058527689408702735590566250965323041379780139450358711838507923764296149182650826067134524802324137656436411503676632953562953498858383573255944417152981307813206843392*y^25 + 992063003324465169272304525509226326247417999172366294610282776862565795396875090095427109347023025179325058208949718516157520794595543946055012464285358668908505076376943336070215359553537264036642515889986423579795398264659065651724741683958780950345083227275881759700782352437099174981077669930463173311226272653842889192203327913857011858181166662668757105778912596812214284363615915002956563/516826594590088290562906261065785477962532349844280544909689819237826827143885483188577181844383437932278318542973938181294120221450013167127492343571699518426520309486046180758948898302494739543087583477101086612373555522474058527689408702735590566250965323041379780139450358711838507923764296149182650826067134524802324137656436411503676632953562953498858383573255944417152981307813206843392*y^24 - 157097055531962065484371627923888479556975437214816093041325311344933642565416074193899648811969449874342448244738744700104313812261870300617850081437300199427576273859434240050218329604743793361471314857349590229439261450881757405634916706663675394316172904490006360093638106353908166097056952021691608092852270980260324742426982542211977450022674925367823751500867136129407465850214999863766945/86137765765014715093817710177630912993755391640713424151614969872971137857314247198096196974063906322046386423828989696882353370241668861187915390595283253071086718247674363459824816383749123257181263912850181102062259253745676421281568117122598427708494220506896630023241726451973084653960716024863775137677855754133720689609406068583946105492260492249809730595542657402858830217968867807232*y^23 - 102337698461859460748825435752035913745268623983251383778247627488276663067623744717614618279015736462918357467190534652397989229670533170595400047113269806059077213254326837836608695435431976865567315875706014009622272867619118363710623948214712626531800369434685145423287201441600441120869174330652765290040077066146303332186044291159002986676570186095763845156480675818504996278318099789101077/10767220720626839386727213772203864124219423955089178018951871234121392232164280899762024621757988290255798302978623712110294171280208607648489423824410406633885839780959295432478102047968640407147657989106272637757782406718209552660196014640324803463561777563362078752905215806496635581745089503107971892209731969266715086201175758572993263186532561531226216324442832175357353777246108475904*y^22 + 576488005729949033200458843220627850186681814469594390316848387484690239554806690061929877959769291987871816556089869219055199114689065578329073859051313875283434527882009590690341455254547067565360959464262655073353423897251154890553482759524237339742667351083952792168107077146282666530695896221609921079693378176228882010216285682930524927648468759110746300705321608268959947365888302387168601/129206648647522072640726565266446369490633087461070136227422454809456706785971370797144295461095859483069579635743484545323530055362503291781873085892924879606630077371511545189737224575623684885771895869275271653093388880618514631922352175683897641562741330760344945034862589677959626980941074037295662706516783631200581034414109102875919158238390738374714595893313986104288245326953301710848*y^21 + 15525613161759767504821269549736307375371350755680093150109255923128857585171345752204488843133700023435311089712588918614107199027993560831030989399069023076587332046377370250418213553280644155687875631323862046618837404382639844683777671589165270214342552955662322207273274011658541998674085666031372234507810649105139924917411308683967128684923845288319575449334370755755260954457532328390520237/516826594590088290562906261065785477962532349844280544909689819237826827143885483188577181844383437932278318542973938181294120221450013167127492343571699518426520309486046180758948898302494739543087583477101086612373555522474058527689408702735590566250965323041379780139450358711838507923764296149182650826067134524802324137656436411503676632953562953498858383573255944417152981307813206843392*y^20 + 316109077251195362342689493934262913341359696038080369963338314033348463088857140663120365077828348623781682776986928708658977245440454874214220923257350448137936735239831661134058950082417344690615230584946238421047350943760153892391567017744567720925424413581673370202001873097792891547733446884202958386417572234214255251555918677265619048187173927376787220380888356099002134377118482913683573/172275531530029430187635420355261825987510783281426848303229939745942275714628494396192393948127812644092772847657979393764706740483337722375830781190566506142173436495348726919649632767498246514362527825700362204124518507491352842563136234245196855416988441013793260046483452903946169307921432049727550275355711508267441379218812137167892210984520984499619461191085314805717660435937735614464*y^19 - 29856169939588436519414534291883611019924523139367396648718370565502585962869028444620962573175742115813306388298367877326887555627748790173052970384816429026971080296668053518122678957716552875400023004874609800862142926397758814955392607685017220146729737694014060229670776040438033197850228857210966789461229149591047899095542208894771075792212315996363776008087526877290155256427814997363537793/516826594590088290562906261065785477962532349844280544909689819237826827143885483188577181844383437932278318542973938181294120221450013167127492343571699518426520309486046180758948898302494739543087583477101086612373555522474058527689408702735590566250965323041379780139450358711838507923764296149182650826067134524802324137656436411503676632953562953498858383573255944417152981307813206843392*y^18 - 15257503842571936278979440517320630939160210746862352735205182736393891822087288019726684016432793373969037186813045234204663879389164437878507558982257015348509546058872252784608075848065898542793569552830108548169098347724226869232089885301623623186141757153760118017078591523170479033581218505308863917453904971841332414603168751662884184351986929486998568335311468147276688988725193704971298165/516826594590088290562906261065785477962532349844280544909689819237826827143885483188577181844383437932278318542973938181294120221450013167127492343571699518426520309486046180758948898302494739543087583477101086612373555522474058527689408702735590566250965323041379780139450358711838507923764296149182650826067134524802324137656436411503676632953562953498858383573255944417152981307813206843392*y^17 + 11161008069028131591446399109661108290061295094290715163970987730604707290757678776808897534151402299457764796082874092369036200323909159941685126843367383409711615861186062470262529856522893609031551812855615938166692571141813962830284069703376881063127585318585879347256455661300148701474929163912938903405459102800354372979665633765360782715242118111630798978131307474161725327535843072022753213/172275531530029430187635420355261825987510783281426848303229939745942275714628494396192393948127812644092772847657979393764706740483337722375830781190566506142173436495348726919649632767498246514362527825700362204124518507491352842563136234245196855416988441013793260046483452903946169307921432049727550275355711508267441379218812137167892210984520984499619461191085314805717660435937735614464*y^16 + 727923758542491085476877730889239990775612788536202201621552211422634721223656485785962588526360437475582324232267666143145183365216037903700958005933189800191016647240041084431848765829623136334506694849953241023216573479724036561421529098496521815582579150022654540314181916676655703898237841331668000404925223029199819975053392732291061431787998100787474721146792827949465776535101195118394415/12019223130002053268904796768971755301454240694053035928132321377623879701020592632292492601032172975169263221929626469332421400498837515514592845199341849265733030453163864668812765076802203245188083336676769456101710593545908337853242062854316059680255007512590227445103496714228802509854983631376340716885282198251216840410614800267527363557059603569740892641238510335282627472274725740544*y^15 - 19728239423769340008074843781588113504601986914053686812246182674828843248743015768207662256053443714827587207624018682043307583124251252388780912780954091279296713456026655206241877848776424078300518135518696693049572727527255270361658857242475619970707797651826981498556609940577861332596723662801164520578839914470888766343682543987574971687770818635575345136111562883127270094847220404987216555/516826594590088290562906261065785477962532349844280544909689819237826827143885483188577181844383437932278318542973938181294120221450013167127492343571699518426520309486046180758948898302494739543087583477101086612373555522474058527689408702735590566250965323041379780139450358711838507923764296149182650826067134524802324137656436411503676632953562953498858383573255944417152981307813206843392*y^14 - 1358979449143914768992932611749225184254727025723139265476373593022532004159723106267027643779277004697624646224423350828268152590084244382596983785843297123092178765484201680635271614771146404899295830240227678466520866039498375122043351009100614069555707842178379848153421798537289014297551151219454930215277425368609931601680219673937005254487962352987937344012782217728364200428977176413560931/21534441441253678773454427544407728248438847910178356037903742468242784464328561799524049243515976580511596605957247424220588342560417215296978847648820813267771679561918590864956204095937280814295315978212545275515564813436419105320392029280649606927123555126724157505810431612993271163490179006215943784419463938533430172402351517145986526373065123062452432648885664350714707554492216951808*y^13 + 106804762480180401252432831439144086603004887016582912261671270697025640631906083660851072799884033387558774165156382324306554132086731782357549649378449400944505292714662961046939140017607866260370614247299149654462557905455267622659547992269976507784248516768029271562574501685502930731829525628524083850895152558359839779164749264280622363892515639386179462954953130000679462678089203600556255/43068882882507357546908855088815456496877695820356712075807484936485568928657123599048098487031953161023193211914494848441176685120834430593957695297641626535543359123837181729912408191874561628590631956425090551031129626872838210640784058561299213854247110253448315011620863225986542326980358012431887568838927877066860344804703034291973052746130246124904865297771328701429415108984433903616*y^12 + 6524559117777526760806255578282656251787659423368401068453668310988128292256043817850728357721663123838894895430934336032009329134498651727538487286830925998656480241188274498398643622888601561962869623568451778734642653423047457814347818024528955095094154475053691680275097496180784467195476078679750087610272181456999544140408612397074992766720465255908115609690656946492295976333450484035211825/172275531530029430187635420355261825987510783281426848303229939745942275714628494396192393948127812644092772847657979393764706740483337722375830781190566506142173436495348726919649632767498246514362527825700362204124518507491352842563136234245196855416988441013793260046483452903946169307921432049727550275355711508267441379218812137167892210984520984499619461191085314805717660435937735614464*y^11 + 3635497111084553430080268571889733930053902695445874438229728606265417486341826874141332207309669052358472045707233657579295294610693912141920583916161314556232930747076234483890476391808988906682303879053525678429660245271275776665645911739401615831716559096927920194353515376404700516375818147141662256488721278837203026161369495494718366409901242066538829404096195753066479768916820685700092673/258413297295044145281453130532892738981266174922140272454844909618913413571942741594288590922191718966139159271486969090647060110725006583563746171785849759213260154743023090379474449151247369771543791738550543306186777761237029263844704351367795283125482661520689890069725179355919253961882148074591325413033567262401162068828218205751838316476781476749429191786627972208576490653906603421696*y^10 - 46064017824555947967200482312462704343296368055023996690875094403760416960743854417520416472268219434994500607884669393704103698896222530855945382400155819212734484723113095722987564628611067822362280439092129443817302214378018118043546101986040618724310076570083842911896883756503486805375237827373812609571685912596186621610713511574055406228394645659366249782021370232709550339943041329360527/4533566619211300794411458430401626999671336402142811797453419466998480939858644589373484051266521385370862443359420510362229124749561519009890283715541223845846669381456545445253937704407848592483224416465799005371697855460298759014819374585399917247815485289836664738065354023788057087050564001308619744088308197585985299453126635188628742394329499592095248978712771442255727906208887779328*y^9 - 1589663135827134477438744982032155425634574516525831622880902858168160741620390398004128811514512876204059588476093811535753548535918027308936189347384786377848591717090790822009064701008193777070680016944711859736253811403541234361340690034466352869614610714342199219113833892026975836405340363147997034263896660204470737804943961191967794958218171907050521590190754459587388600623609684344932723/172275531530029430187635420355261825987510783281426848303229939745942275714628494396192393948127812644092772847657979393764706740483337722375830781190566506142173436495348726919649632767498246514362527825700362204124518507491352842563136234245196855416988441013793260046483452903946169307921432049727550275355711508267441379218812137167892210984520984499619461191085314805717660435937735614464*y^8 - 499089906363706405087621834132696184595515776079997291906407786400368876946177054384352694640290566679724775271523535844532647734927631791853958624535135387062492828971237228189872708039322668209972266437475311844467189379191553911879245501349965875484798890571392764058677859728696854535161730079320664089954767990588713442180404540775021117829529814965711525856721544203291142878988435455709497/516826594590088290562906261065785477962532349844280544909689819237826827143885483188577181844383437932278318542973938181294120221450013167127492343571699518426520309486046180758948898302494739543087583477101086612373555522474058527689408702735590566250965323041379780139450358711838507923764296149182650826067134524802324137656436411503676632953562953498858383573255944417152981307813206843392*y^7 + 150272731084648960663570754078042852206433994013941497952362351841117212734247974498145561830569560728763243941916520069665258249510409591823198131930948344343861378310879636831506540946812305231664555644036861905666426599843593094704146516638589571069059331701932959638912708854916407950950505950959990071248005345057400884736788708283086706187412530234973425412888901282193413274452651759305455/86137765765014715093817710177630912993755391640713424151614969872971137857314247198096196974063906322046386423828989696882353370241668861187915390595283253071086718247674363459824816383749123257181263912850181102062259253745676421281568117122598427708494220506896630023241726451973084653960716024863775137677855754133720689609406068583946105492260492249809730595542657402858830217968867807232*y^6 + 73257952779247399521351843399542255882419972191576040903598339461893514127696227097436746893119883483137655236508043092448128370297352037764524971157407506657289334388808566704480255712431385361076687469293628730841366021501494169186223245877026922949446871202147787460632011508288493635829725900392096290907746237407641173884987665123547200651605160441065911990870862904845621126783464859622677/86137765765014715093817710177630912993755391640713424151614969872971137857314247198096196974063906322046386423828989696882353370241668861187915390595283253071086718247674363459824816383749123257181263912850181102062259253745676421281568117122598427708494220506896630023241726451973084653960716024863775137677855754133720689609406068583946105492260492249809730595542657402858830217968867807232*y^5 + 31011715424922858983517243394277548330644062763999288135974056059139726845970738738232814804250125388171151570772702208624946713716937955927913448788708512795289877337976480994222399415133585809550816526127308605125609281992544387676177019617586833184300031166778163343297575001644342090621533561615009990744832913935646064822630538149031100660643703539433768556498896525933774418306158553693497/516826594590088290562906261065785477962532349844280544909689819237826827143885483188577181844383437932278318542973938181294120221450013167127492343571699518426520309486046180758948898302494739543087583477101086612373555522474058527689408702735590566250965323041379780139450358711838507923764296149182650826067134524802324137656436411503676632953562953498858383573255944417152981307813206843392*y^4 - 6142769984216690680665333861864314722681319225264017493921123581434269193696187700715579523607504888920936111984951057021662096842547738389134365481585768559766605449531817883276546381728417719610475476134612037083361948811978572919760933752584716745786411846270443186808669742481851960251406559692782653204761965021472934878941276500409450977487959216314277999882307558687307792873674953933057/86137765765014715093817710177630912993755391640713424151614969872971137857314247198096196974063906322046386423828989696882353370241668861187915390595283253071086718247674363459824816383749123257181263912850181102062259253745676421281568117122598427708494220506896630023241726451973084653960716024863775137677855754133720689609406068583946105492260492249809730595542657402858830217968867807232*y^3 - 13685577563292987385552934101643716651259664112851211749164999050869546713848800798532766477242087870606152238386629631322673599494053279376658277178084958373940111415310329748719820307185576103961685621977811265160949548951149027351952741804783226361694026746508188561751298108581859956983965741157235137064692091348690440188287483493588835016776028786861282907958956201818380364822093857565983/516826594590088290562906261065785477962532349844280544909689819237826827143885483188577181844383437932278318542973938181294120221450013167127492343571699518426520309486046180758948898302494739543087583477101086612373555522474058527689408702735590566250965323041379780139450358711838507923764296149182650826067134524802324137656436411503676632953562953498858383573255944417152981307813206843392*y^2 - 46475837749510291008317015113534382068293812322425271185562690266362500601424700097937388901500887019432434176071304263309347863379390764502186787928063025332719570060659765658319761279441980859595470411740717380583222727996862497426594077219450281582325113970838235323240499134424534316923961206793721201262641479345445036095192828665119079705432569267308934613325374899734480270516988990005/12019223130002053268904796768971755301454240694053035928132321377623879701020592632292492601032172975169263221929626469332421400498837515514592845199341849265733030453163864668812765076802203245188083336676769456101710593545908337853242062854316059680255007512590227445103496714228802509854983631376340716885282198251216840410614800267527363557059603569740892641238510335282627472274725740544*y - 116202559937281078721843571045756920755027848227519738726426554368804317183123052727554295711094852959588535055489174147320052073862819319374318800407136129255214632184582143570313168055633481021193424397691259447341985791566572277371944035263152197570143648131142713804376942380038782470111578287284328500688840413155473474848967347435142844762429712132890312906291820280399780565013645821163/516826594590088290562906261065785477962532349844280544909689819237826827143885483188577181844383437932278318542973938181294120221450013167127492343571699518426520309486046180758948898302494739543087583477101086612373555522474058527689408702735590566250965323041379780139450358711838507923764296149182650826067134524802324137656436411503676632953562953498858383573255944417152981307813206843392

# 4 Loop Invariant
12317062218596717400045256818144217829940650106462144759653330687246484203235910415125391239466276585185030055932722558702398024352647951498615904750576966595118616586855859123166189115060300088242566492921819028408078692765805850623415065742988176519473962719234598542087282746624316256061472055150475457866232927237849165103223566921122133014702910357559885266615769649368339446036365531542225019082263787532741987354705031346682079962334415987271577715162005476035654769386171045085246643895038600866201929131280829/28858100494742632894333704566226882105993626270756630890153725081477357646392260834053816180002879932424132054078745637645344253758632431714402829905341200130201010893553637952899891940138505993337598438852548782706673238681888992789807203194381375788341029210233612069573836159255505461492506241251820019307226137031915345078406599153772025816683006139427583119573189046805201938517815356052124841013867842938560789559164394329394783747396397378706788077360478743355006002130864756717516845518893671897760042031355166720*y^36 + 78458063571327307586975979842471770331617063155038384475163088139257888031119253236135415712845357380041261660275911573150582320768989901450102535244957917654581700498083555937168859958414342573838562197332063335014528623587731283955494771697938343457455009296676749330189611303259930675803284373903346818848259229885628061360299498534727451209676727180360508966611980809513270167337823405806154530913376172217101377067621049936711210944680980658305845277123668694215277209728388659451692631991300847880830031552573/245600855274405386334754932478526656221222351240481965022584894310445596990572432630245244085130893041907506843223367128896546840498999418845981531109286809618732007604711812365105463320327710581596582458319564108141899903675651002466444282505373410964604503916881804847436903483025578395680904180866553355806179889633322085773673184287421496312195796931298579741048417419618739902279279625975530561820151854796262038801399100675700287211884233010270536828599819092383029805369061759298015706543775931044766315160469504*y^35 - 4118581214481225938467592600333595495182844307008475091751930890328006948060229236370580973940501974798155749851651516363855356524493373705526306290008583195499892380825145407293978212369578732806279713904368869238552602840539008063258577858252787234083768510734095768331011005170641603435055205596797224018083466159900691520724087609463303471703583524928369139934468617861095894656665980031551766118882359133520462555510530151634528862681299148514981155992267158449788152576342212089559630056103419107410346632277840533/57716200989485265788667409132453764211987252541513261780307450162954715292784521668107632360005759864848264108157491275290688507517264863428805659810682400260402021787107275905799783880277011986675196877705097565413346477363777985579614406388762751576682058420467224139147672318511010922985012482503640038614452274063830690156813198307544051633366012278855166239146378093610403877035630712104249682027735685877121579118328788658789567494792794757413576154720957486710012004261729513435033691037787343795520084062710333440*y^34 + 6393214152596128199955278537573947591858122875910510938677261286922739462209360739196151847373087723119767744960149292212610748409725505683911459583522990826929051527487859549335634029318190753021199866905885860899499538424468211135659557770285914158821093362068796310534160142945946336565255251363218977144328130705007413073313257932473113745112157466626471801569322504525543532017217315420864613954259725569451692082516561585470447983290848526756466740930380966919290773325403253448965095637495369624872568466903306777/28858100494742632894333704566226882105993626270756630890153725081477357646392260834053816180002879932424132054078745637645344253758632431714402829905341200130201010893553637952899891940138505993337598438852548782706673238681888992789807203194381375788341029210233612069573836159255505461492506241251820019307226137031915345078406599153772025816683006139427583119573189046805201938517815356052124841013867842938560789559164394329394783747396397378706788077360478743355006002130864756717516845518893671897760042031355166720*y^33 + 16573197770644581339701047803232149236863429856787544414073921940350217851664562539853502829547585749279103227991982467941386566883530046139311057479622043769240364453290340021881639402969644409717071956781512993547047474984164348243705232288295785208897201226956664507456314945954761468896256537397593254504922150651754507034534112658800540057709371685988861730687793667832242037426079242192534883425853407036213991112280652862579248612587379249467172629519775978679991497853076381806942362785787445849559655421947167167/5771620098948526578866740913245376421198725254151326178030745016295471529278452166810763236000575986484826410815749127529068850751726486342880565981068240026040202178710727590579978388027701198667519687770509756541334647736377798557961440638876275157668205842046722413914767231851101092298501248250364003861445227406383069015681319830754405163336601227885516623914637809361040387703563071210424968202773568587712157911832878865878956749479279475741357615472095748671001200426172951343503369103778734379552008406271033344*y^32 - 10755751968510117780844272972918014516621184951128876267189459464067651553706781070083837235835638846654556988737994088681978847411316752141973853851964273611781244135935435142390637434357122324573551225431179235516422322621227956056447638750034789513979459694862853944509580810235735659132323541957811840470755957015648319692812635136793390571785587209655915511676063349381524061443881840312510467390750413469517420706260977564366552598738585888275640744821484555827695265003490260313730069109814293219786413692207701953/961936683158087763144456818874229403533120875691887696338457502715911921546408694468460539333429331080804401802624854588178141791954414390480094330178040004340033696451787931763329731337950199777919947961751626090222441289396299759660240106479379192944700973674453735652461205308516848716416874708394000643574204567730511502613553305125734193889433537980919437319106301560173397950593845201737494700462261431285359651972146477646492791579879912623559602578682624778500200071028825223917228183963122396592001401045172224*y^31 - 515972625266548840358633131034283693048951517193180618643423864997821169585065713188332666274452416602545169848633592249896267827040345716967161036963964765995210164625506402465910534473591863692939119274377704171367713716096288482569050316757830365106530361850405951868827223603765909449097974945217334893702341930208812993591785826022220236708957443534598527214873359878049360168262677207861294537637194503384986769550755779745866644101242767063408862970590694835372366954632354024639853853248551197370524737273114069499/9619366831580877631444568188742294035331208756918876963384575027159119215464086944684605393334293310808044018026248545881781417919544143904800943301780400043400336964517879317633297313379501997779199479617516260902224412893962997596602401064793791929447009736744537356524612053085168487164168747083940006435742045677305115026135533051257341938894335379809194373191063015601733979505938452017374947004622614312853596519721464776464927915798799126235596025786826247785002000710288252239172281839631223965920014010451722240*y^30 + 2254273144777156550665846895788482759484744137122362548231908830575874510978221456429789031658950660054988801587972131785197210979186570227435855411524691640309749812754708649367047454972111745781948420131229547558652312727722317293255063536571664935193565981620271553647586574388496864233821611319543313617777896860457011847110730267892793085716017612263500752971698969283352073382919984329829778365060559623111709430393115326043905388176197533200443110212191008704271593145204960479361030570280392406511227208008831437431/14429050247371316447166852283113441052996813135378315445076862540738678823196130417026908090001439966212066027039372818822672126879316215857201414952670600065100505446776818976449945970069252996668799219426274391353336619340944496394903601597190687894170514605116806034786918079627752730746253120625910009653613068515957672539203299576886012908341503069713791559786594523402600969258907678026062420506933921469280394779582197164697391873698198689353394038680239371677503001065432378358758422759446835948880021015677583360*y^29 + 2374815079095449691606445589494174378884704462486139239829437962706483390975660209895589015164080761418475707164979228238440051252139353734077878561350853893409143191051727709810537885412657793956935650071158561066941527887229495132834359890537311045343134728081497227032278690834236773335034069151540654395128490226853042359198407825243853332751067518240415542359392000475782329045908187692227218251205382186387113152753726384916187448729901187527093890609760660642586495176725069914044733483249500725934734006505543029487/2137637073684639473654348486387176452295824168204194880752127783813137603436463765485467865185398513512898670672499676862618092871009809756622431844840088898533408214337306515029621625195444888395377662137225835756049869531991777243689422458843064873210446608165452745894358234018926330480926388240875556985720454594956692228030118455834964875309852306624265416264680670133718662112430767114972210445471692069523021448826992172547761759066399805830132450174850277285556000157841833830927173742140271992426669780100382720*y^28 - 57900242483898342430085521044178494617305118619329970271519253453109282216436214590781926063940771137370462202881351506625589757863724538637041032838414873063793120335065281985775531938122629274606025393918248146232754603589311315454423397898865553405596071134055368068788271792412611215272143422856144439194422011812676783631179622164847065827902414674530630587622417835346557698601627859361524887762441775643360885171223039108248164721114638305836655176745583515111845301450349948869219267787334743865378159968780185626699/28858100494742632894333704566226882105993626270756630890153725081477357646392260834053816180002879932424132054078745637645344253758632431714402829905341200130201010893553637952899891940138505993337598438852548782706673238681888992789807203194381375788341029210233612069573836159255505461492506241251820019307226137031915345078406599153772025816683006139427583119573189046805201938517815356052124841013867842938560789559164394329394783747396397378706788077360478743355006002130864756717516845518893671897760042031355166720*y^27 - 218005959799801192978981453425380552838977096990541526552819871111446577836420298095905599830043686142068476597922506235972251685934541669003317816569356822000451709345573249036719745092412273659643463665493741623611330027745517180457598376517353184567228017139311233026484625659257942104125180311342140118523902547406560912750439212273747441959730054640642406018185380740885869174334123154600986561349462682893743232745720089258348583735241055969565099125684946146785510272873269289805856761905342035752146553679048043433441/14429050247371316447166852283113441052996813135378315445076862540738678823196130417026908090001439966212066027039372818822672126879316215857201414952670600065100505446776818976449945970069252996668799219426274391353336619340944496394903601597190687894170514605116806034786918079627752730746253120625910009653613068515957672539203299576886012908341503069713791559786594523402600969258907678026062420506933921469280394779582197164697391873698198689353394038680239371677503001065432378358758422759446835948880021015677583360*y^26 + 78705047723378920708445149967392435834995271574707205524669949177908927903781653883548450570391485422291429156557934439645400153460576811355815120215940987282478513948336125579163999699172480223609559825828768201021638378619599493592003341993821645352958231041583971900093050187538065542968701654611379653787173250521964819343568200905186435918643683049504489505903325263959456412020536299672157313317331763254877727244866003432188662742248536368532745198311239888170722760778565151876456340360354147203374687659961232461009/3607262561842829111791713070778360263249203283844578861269215635184669705799032604256727022500359991553016506759843204705668031719829053964300353738167650016275126361694204744112486492517313249167199804856568597838334154835236124098725900399297671973542628651279201508696729519906938182686563280156477502413403267128989418134800824894221503227085375767428447889946648630850650242314726919506515605126733480367320098694895549291174347968424549672338348509670059842919375750266358094589689605689861708987220005253919395840*y^25 + 1383240049026681804174142094585058168815509884446770708846628395908466359118627198892526621856665652480132917407706860250393427960017834617620548990167265425649385625968309730068311866909793522273002679028767211919615561024904451392276330956054065485395250625291152621472578065507869559757275278386439302338523042168482561861694238099816621207055391213066132754635342172301814861215289366654317787828306637178289509256290967534359211617121816691495873824833371719944974840399367500806233137500692065972736871696004689364820701/11543240197897053157733481826490752842397450508302652356061490032590943058556904333621526472001151972969652821631498255058137701503452972685761131962136480052080404357421455181159956776055402397335039375541019513082669295472755597115922881277752550315336411684093444827829534463702202184597002496500728007722890454812766138031362639661508810326673202455771033247829275618722080775407126142420849936405547137175424315823665757731757913498958558951482715230944191497342002400852345902687006738207557468759104016812542066688*y^24 - 53436524440741906683057371391341879241990736945615939094631313378879213818189598327888616087511801016643929872573471050026669999115470872381715662877558740466894136133794641573201086480766052620197011982713054576197593731693924889889127255768944055722194040715813321873075423956760765700002410392067063493397099858896920400866162375029083543719554372258587654506945989096890904791997031819047044670359960552080679991580160699233109324956592984728327496568172360150899281932140817294857303028036459075256529468774184462208833/400806951315869901310190341197595584805467031538286540141023959464963300644336956028525224722262221283668500751093689411740892413314339329366705970907516668475014040188244971568054054724145916574133311650729844204259350537248458233191766711033074663726958739031022389855192168878548686965173697795164166934822585236554379792755647210469055914120597307492049765549627625650072249146080768834057289458525942263035566521655061032352705329824949963593149834407784426991041750029595343843298845076651300998580000583768821760*y^23 - 379227967239875979462492976236683885809530109867543612467363943648046531082265793836954009976731076716903648675305811482387162813082283905393745557399946299841342042431570587743961095646532830455479200431929890341643480142955622001761942650949848347148598114150005674403468185087693829189474387107643402774362731598849463748580872754018489803790329601479808760864911485124224002527357563369367094860798592968212254894680535263832395672221127749076306396824265279362835378599658584408646864053825671132506776136140737084080121/641291122105391842096304545916152935688747250461258464225638335143941281030939129645640359555619554053869601201749903058785427861302942926986729553452026669560022464301191954508886487558633466518613298641167750726814960859597533173106826737652919461963133982449635823768307470205677899144277916472262667095716136378487007668409035536750489462592955691987279624879404201040115598633729230134491663133641507620856906434648097651764328527719919941749039735052455083185666800047352550149278152122642081597728000934030114816*y^22 + 10671710628149956171796506919071912544964712727858966061208981577297472303732815281026043182368494090734445791015477864700204206102965317551792896671677052567638332139324857532840852418484178464311501804858353222922817196245769504654884927914443189145205183070667663799760409461348827517538482866540330540648389785936529202975053862526113550368309663995042722247486268604491396264974809080597496215587598688686561401994725239633404554798628277129636821075991059708216215432342085661911050468860464090355868776490437352084589041/28858100494742632894333704566226882105993626270756630890153725081477357646392260834053816180002879932424132054078745637645344253758632431714402829905341200130201010893553637952899891940138505993337598438852548782706673238681888992789807203194381375788341029210233612069573836159255505461492506241251820019307226137031915345078406599153772025816683006139427583119573189046805201938517815356052124841013867842938560789559164394329394783747396397378706788077360478743355006002130864756717516845518893671897760042031355166720*y^21 + 13583351276880004214731275993414177068903361081136440255778197467385983163748625893057349111162403630900720172373361677161790202595328823494782726937200884546798888782425132823247439494693033717025104036788432394053171686735379908166744236752592100524540133727615822510130712987595154798202118611945029990096709140043410139457372346143188857778806707419387624526983456954703456320679344697977807095420181889750570965174993538048260208455216577463820080731299121978460542285624613012658008942631342484318516776639415885544054813/7214525123685658223583426141556720526498406567689157722538431270369339411598065208513454045000719983106033013519686409411336063439658107928600707476335300032550252723388409488224972985034626498334399609713137195676668309670472248197451800798595343947085257302558403017393459039813876365373126560312955004826806534257978836269601649788443006454170751534856895779893297261701300484629453839013031210253466960734640197389791098582348695936849099344676697019340119685838751500532716189179379211379723417974440010507838791680*y^20 - 329472616392896385419265318663965300934797300898527512001548129196625711387521746113665031453883090044498645222246916393356991218679167701140392143704304505022472848801456328560558570173695340233343945693301939574940307368048379506625020206604678585127764702734692522379957264978335717291424622209267754609825217005942490281067908339873922639443535981909416204541547006840225501788728091232449058912155891153224419543808886107720773670951995100608742180149571153815722814685706880997746154527613503991436800871955826545839937/2137637073684639473654348486387176452295824168204194880752127783813137603436463765485467865185398513512898670672499676862618092871009809756622431844840088898533408214337306515029621625195444888395377662137225835756049869531991777243689422458843064873210446608165452745894358234018926330480926388240875556985720454594956692228030118455834964875309852306624265416264680670133718662112430767114972210445471692069523021448826992172547761759066399805830132450174850277285556000157841833830927173742140271992426669780100382720*y^19 - 107360182063934787073740835650057112722253547513748836375011197564552273219944614188432299815155890125228606208081927319689828381316378441835012406142892038882516404342127151455393818248781917728649473376898887091332835461923653832764281429471362338373324103794884187492104731345797692954490261203608115156624240371085276892136269341094987187358898056928641910215467225714109275163830350292212961561335368789102626794392245323268910186825937949274649408177486704237478894045426586285134072249325584558535736013676221738595336193/28858100494742632894333704566226882105993626270756630890153725081477357646392260834053816180002879932424132054078745637645344253758632431714402829905341200130201010893553637952899891940138505993337598438852548782706673238681888992789807203194381375788341029210233612069573836159255505461492506241251820019307226137031915345078406599153772025816683006139427583119573189046805201938517815356052124841013867842938560789559164394329394783747396397378706788077360478743355006002130864756717516845518893671897760042031355166720*y^18 - 78655398563044021846701922851942114652894821210436387259803658892654236041946039576155066821102648455893192341894197174697505298800571414524717197664116838399270085458324932998598882476867877446914522576708999509537142462427054275175282188685716049728580977668880807793676873644445933942026913196018103046019399966312169145914443256188549119808563240998584215168409166787268435291792664292901185136770391227326644066838034319119475669224355066755424463359660216950407605379451980453815625100848209220598302419921461920071981771/57716200989485265788667409132453764211987252541513261780307450162954715292784521668107632360005759864848264108157491275290688507517264863428805659810682400260402021787107275905799783880277011986675196877705097565413346477363777985579614406388762751576682058420467224139147672318511010922985012482503640038614452274063830690156813198307544051633366012278855166239146378093610403877035630712104249682027735685877121579118328788658789567494792794757413576154720957486710012004261729513435033691037787343795520084062710333440*y^17 + 14216108268180686312038745754795604866190742712557747678469727906087944553915712044013493232420059140573502192267168224878293829574542669756058627397083294895056292610317359067802386299386551438815993184053201873002252759451872978767095791071100248770954125251403868810439464923922646298716484905363847662091317553145256850075295179596495983664405706386876417449061906287967632692985517164197583086280358887115406569896000867397434982886710030738041252865800423387513800257495177770849203586331528652175178289027146522370545953/3206455610526959210481522729580764678443736252306292321128191675719706405154695648228201797778097770269348006008749515293927139306514714634933647767260133347800112321505959772544432437793167332593066493205838753634074804297987665865534133688264597309815669912248179118841537351028389495721389582361313335478580681892435038342045177683752447312964778459936398124397021005200577993168646150672458315668207538104284532173240488258821642638599599708745198675262275415928334000236762750746390760613210407988640004670150574080*y^16 + 37957301203427116934094645087649036905731127982602031369765056048210323033641520717424048005189037472818381759068210270225755960378048589680196186240838464181246214636277359350512747914742588242124123425428110717288114908933741682002631480904557645139695163805805712333618670699029281450325250605264869181335776297678630760097605184617688817178177492335362350330254679665277520459134722897037703300516044878496235439260104142424616635168803971081320827389407717372148956836115990502933745705264021144148413645152643507464604833/11543240197897053157733481826490752842397450508302652356061490032590943058556904333621526472001151972969652821631498255058137701503452972685761131962136480052080404357421455181159956776055402397335039375541019513082669295472755597115922881277752550315336411684093444827829534463702202184597002496500728007722890454812766138031362639661508810326673202455771033247829275618722080775407126142420849936405547137175424315823665757731757913498958558951482715230944191497342002400852345902687006738207557468759104016812542066688*y^15 - 8729691314519144472497236304159119717945716734457306296204343563223330514430906575709192251148220299900889542063268639666485436803884303633343704856048275822550949265715208353368551865596285570679535874479912834451267037707315383374656462892895992708418514824878483408817373397051970353211251767123000281202585499385402681035759124112164919284931305150517334906120040936107799392599654989655959630961964364339386249451255274743053803044695419927141105953184243849161740304215464072229057754848161395422772500128875586848558909/2885810049474263289433370456622688210599362627075663089015372508147735764639226083405381618000287993242413205407874563764534425375863243171440282990534120013020101089355363795289989194013850599333759843885254878270667323868188899278980720319438137578834102921023361206957383615925550546149250624125182001930722613703191534507840659915377202581668300613942758311957318904680520193851781535605212484101386784293856078955916439432939478374739639737870678807736047874335500600213086475671751684551889367189776004203135516672*y^14 - 71230507337468500868363464854895727744367076789377101787528876412431027642511972096237156734898656006856251890533407967624516496698026907384868080359299830926088946834126845039943666572525983004892975306148347368873816940123458852359600128471794786254570941899631401128179034466292581864692161385095208722615005435743637580839298129683207246082033288362181176768899347215112261901210258045451402533233808182552741591744224442385959424187113984537594947787235404149830534666828391939163361112294561607050748004732811781320699611/19238733663161755262889136377484588070662417513837753926769150054318238430928173889369210786668586621616088036052497091763562835839088287809601886603560800086800673929035758635266594626759003995558398959235032521804448825787925995193204802129587583858894019473489074713049224106170336974328337494167880012871484091354610230052271066102514683877788670759618388746382126031203467959011876904034749894009245228625707193039442929552929855831597598252471192051573652495570004001420576504478344563679262447931840028020903444480*y^13 + 2939270586407092665645029202752530129022281776803958200919963255064136336894468410344881820069411173809867155710817524955636868786047805068763031444756384923477593156171468053964130601971921445596967861386027954670232055835684619994855377929679594559636426118022341300462766981155658626649984637616524144076379920713380794464772335489954268349587835683291155187175445545296446900143441560610354141495225036109302276102353477985522992343871943747689711930810974736168045592980017537612245925398772017363727302314435230694439815/3847746732632351052577827275496917614132483502767550785353830010863647686185634777873842157333717324323217607210499418352712567167817657561920377320712160017360134785807151727053318925351800799111679791847006504360889765157585199038640960425917516771778803894697814942609844821234067394865667498833576002574296818270922046010454213220502936775557734151923677749276425206240693591802375380806949978801849045725141438607888585910585971166319519650494238410314730499114000800284115300895668912735852489586368005604180688896*y^12 + 15507317915564278854706583420296208437461423280562493190971749441603272936202221461276485162915368234063477611136556942730142527906947094886513834761301718303228458715709072516897573405869023151237622065243199109278811787197946499979957828712979751235707465312745817771915436838534902943054702412846350529071592119973013807565570627596319470880422103753255695485530007824799971874883729764046567927943672454158412214620170703680031768759640501080807190821450384829836057585416454619075878923940085160427713483044434362882061157/6412911221053918420963045459161529356887472504612584642256383351439412810309391296456403595556195540538696012017499030587854278613029429269867295534520266695600224643011919545088864875586334665186132986411677507268149608595975331731068267376529194619631339824496358237683074702056778991442779164722626670957161363784870076684090355367504894625929556919872796248794042010401155986337292301344916631336415076208569064346480976517643285277199199417490397350524550831856668000473525501492781521226420815977280009340301148160*y^11 + 1553322254014150932308625540147350893274392685355089699801549604461722663269114610564468876173020909964676365953560421094430142662042909511315113183941301216245415534288439857023591507070940110094747956884761730222534448185931311252236019725705061238362987459235731067862821766113789614071096796520628821990697625969785581226536986491419750230230721788537342167924714796479430320863883488942292287317267847625658504786839691079258823895381225256818664732773272705105142809414965206835926736754869256411555698436614320492527205/2885810049474263289433370456622688210599362627075663089015372508147735764639226083405381618000287993242413205407874563764534425375863243171440282990534120013020101089355363795289989194013850599333759843885254878270667323868188899278980720319438137578834102921023361206957383615925550546149250624125182001930722613703191534507840659915377202581668300613942758311957318904680520193851781535605212484101386784293856078955916439432939478374739639737870678807736047874335500600213086475671751684551889367189776004203135516672*y^10 - 401637189458029517983221931701969985961930538407499552647667590040970028229317542897165252164790495238681040801777657370583470118692679839948155069140538578368877999819166386460447168017550998535772040019646806321681605814578034823048450279414603012914282084317110392135698647845577719438506844822134988837693292796497991688167828140309712636652235840475747500935404748171576081221601179356344156206065019417097580859085811242732490835513669149101731665506317589057664514733890564025738997955336239977841219838565956248700053/506282464820046191128661483618015475543747829311519840178135527745216800813899312878137125964962805832002316738223607677988495679976007573936891752725284212810544050764098911454384069125236947251536814716711382152748653310208578820873810582357567996286684722986554597711821687004482551956008881425470526654512739246173953422428185950066175891520754493674168124904792790294828104184523076421967102473927506016465978764195866567182364627147305217170294527672990855146579052668962539591535383254717432840311579684760616960*y^9 - 950990099762172012188812256454915025402161231522083731787648341345919862167195466866074425806436816500689839530611090319102732175976662798472335155899262752120388148964926868161921015393532666425488998203227580565102185948689527151843203772628282495200191518648761415253025777510554100995898841181036462074450593339371271000428681227986285125014311272886159952586488934253508953928951628362921486649944367491963628481259940176047756406945061418034122221140313632799095412134420149005656039063353637877312177463946413690518969/1923873366316175526288913637748458807066241751383775392676915005431823843092817388936921078666858662161608803605249709176356283583908828780960188660356080008680067392903575863526659462675900399555839895923503252180444882578792599519320480212958758385889401947348907471304922410617033697432833749416788001287148409135461023005227106610251468387778867075961838874638212603120346795901187690403474989400924522862570719303944292955292985583159759825247119205157365249557000400142057650447834456367926244793184002802090344448*y^8 + 1720595579017829534826805326856155742783407548081114609248917758302931947046534221643487618456581207246647226095156629579962116153061045704078553194686754126242472360452208735767612390375582747304017166108855616187230168421688164176773062376975483971186436249856905114388843991261997705842878704695854280991447349512723959199759609405868097038131712497857867226864575813556793151840059829933647448770678971335090405504585297384068324395750669782389843564991343188834014377368627487082160689186218877068883268117809747881095041/57716200989485265788667409132453764211987252541513261780307450162954715292784521668107632360005759864848264108157491275290688507517264863428805659810682400260402021787107275905799783880277011986675196877705097565413346477363777985579614406388762751576682058420467224139147672318511010922985012482503640038614452274063830690156813198307544051633366012278855166239146378093610403877035630712104249682027735685877121579118328788658789567494792794757413576154720957486710012004261729513435033691037787343795520084062710333440*y^7 + 585026091417533852977496545808095616740116068210430545168367577821695237307957436764376531222978680112596045560802496592731555725562835598961750852137893569190707935231191615524265714970589618013866854738566070989928903198868124583152793695970418088447804446991823641303836867577460863445670844052877428456524727401328792098397401929917586409349143849407663372405849128448971844014426219277136255020989111209044759959933125821004640937368906368595931614573883455544838160992580558577075240386360119110506111232473368942753977/4809683415790438815722284094371147017665604378459438481692287513579559607732043472342302696667146655404022009013124272940890708959772071952400471650890200021700168482258939658816648656689750998889599739808758130451112206446981498798301200532396895964723504868372268678262306026542584243582084373541970003217871022838652557513067766525628670969447167689904597186595531507800866989752969226008687473502311307156426798259860732388232463957899399563117798012893413123892501000355144126119586140919815611982960007005225861120*y^6 + 354401251573968425398662863421977459818976920496950206438601715395436662224790777069874174092634440582684151187566193822847482969071019263764373073766321233121613741173309182508252769844182648935113579085764108671069602423023157144310662801776488953075558885264268383273624127624027820492705810533369891527949578282268794570772409425016498597302605061845055073400543184049145257104437361416943201616348794644023567164589191857944271220035286447279985910432590570779337899394609141717595346613851078024649280284413178539440861/9619366831580877631444568188742294035331208756918876963384575027159119215464086944684605393334293310808044018026248545881781417919544143904800943301780400043400336964517879317633297313379501997779199479617516260902224412893962997596602401064793791929447009736744537356524612053085168487164168747083940006435742045677305115026135533051257341938894335379809194373191063015601733979505938452017374947004622614312853596519721464776464927915798799126235596025786826247785002000710288252239172281839631223965920014010451722240*y^5 - 137282377995587848441798814554988424107307691285627398676885723844076818004639407956637676125001778910239787336508918057814680193244604822220494172274600517954294533795148074411673751271211407643046557867946016271652824025062733216708232023987543100509955205861713162253466028198640966523696124481076345449202133615617212331707622672627083981274349131474729933163642658766357387817247566211636888712841103491411322684003809041271189550107178840058846583440212807721057186831197244253669237325998886944207465099970440963058763/28858100494742632894333704566226882105993626270756630890153725081477357646392260834053816180002879932424132054078745637645344253758632431714402829905341200130201010893553637952899891940138505993337598438852548782706673238681888992789807203194381375788341029210233612069573836159255505461492506241251820019307226137031915345078406599153772025816683006139427583119573189046805201938517815356052124841013867842938560789559164394329394783747396397378706788077360478743355006002130864756717516845518893671897760042031355166720*y^4 - 32257824739763452010449645742529659939583599767614892410177353666214862751455419291237458102295218679379890377934037003415489417827868787671362250289903134882823348895299460243771650035088419793187726056142925464763668207848929139482931816027829107708407010686887051257817677457152720620534822324328442931349501356904930106722636026001930403290655854070669626458769608345576790399094734488723013705855270944367604940951693214940389741830002092335771219116681273973326451488943000776579054495540505559502113984978127598059759/6412911221053918420963045459161529356887472504612584642256383351439412810309391296456403595556195540538696012017499030587854278613029429269867295534520266695600224643011919545088864875586334665186132986411677507268149608595975331731068267376529194619631339824496358237683074702056778991442779164722626670957161363784870076684090355367504894625929556919872796248794042010401155986337292301344916631336415076208569064346480976517643285277199199417490397350524550831856668000473525501492781521226420815977280009340301148160*y^3 - 10495960923093703097112529892190876443315228980330966102812432807682808309906031434744604094513756635991676576822403343914992750413937592284445652721040804826740278446767896742677742107817824138716647854213857037205601980009098670177326470627519773824449329656479788546293424448752858145761117581236881015999644112993763801941904500929087167791200066385286249081113516994335557063070813170549984632407909814123045778508911906276949865258579423555488083434786418059743460038024583915860711228425941350987316603813952198082289/11543240197897053157733481826490752842397450508302652356061490032590943058556904333621526472001151972969652821631498255058137701503452972685761131962136480052080404357421455181159956776055402397335039375541019513082669295472755597115922881277752550315336411684093444827829534463702202184597002496500728007722890454812766138031362639661508810326673202455771033247829275618722080775407126142420849936405547137175424315823665757731757913498958558951482715230944191497342002400852345902687006738207557468759104016812542066688*y^2 + 565765819162873991052536762827664940332142277309758335683990104765944869249067560881103499960202968343874887846317063758355043491407557257354642013919222247316462143604419757661244188907525787089533094967376153101845833660366404601762097906534539054160931949376425192529352471221314991306648390520830914595320841796827987213328785456230832219359592603634414433837638881631119512882023318305008348861030150444939331858552538228910725872440432080144341562109518198441536825327569507777617055683901130604087529591471566162401/28858100494742632894333704566226882105993626270756630890153725081477357646392260834053816180002879932424132054078745637645344253758632431714402829905341200130201010893553637952899891940138505993337598438852548782706673238681888992789807203194381375788341029210233612069573836159255505461492506241251820019307226137031915345078406599153772025816683006139427583119573189046805201938517815356052124841013867842938560789559164394329394783747396397378706788077360478743355006002130864756717516845518893671897760042031355166720*y + 830995593696393638242183134467894787051600290179659554415124480302685002991650714047786746125388093497859895385035476881718824874564207040383658455718160213163950990609477246088886819092942260018535045093150199178073274748157697661845930497302804543241344971898953574195938901326523887088811222686615960650659480896528280628591848305240166503850241079624536004523355212987550827489992781078730714963860569353151165048927710907020320127190333792547432977808530010396557459205968511642778195468328510664791940641516200168083/57716200989485265788667409132453764211987252541513261780307450162954715292784521668107632360005759864848264108157491275290688507517264863428805659810682400260402021787107275905799783880277011986675196877705097565413346477363777985579614406388762751576682058420467224139147672318511010922985012482503640038614452274063830690156813198307544051633366012278855166239146378093610403877035630712104249682027735685877121579118328788658789567494792794757413576154720957486710012004261729513435033691037787343795520084062710333440