1 *** Warning: new stack size = 16000000 (15.259 Mbytes). 2[x^72 - 291*x^70 + 168*x^69 + 40380*x^68 - 48588*x^67 - 3528919*x^66 + 66721 320*x^65 + 215657160*x^64 - 575538144*x^63 - 9642387423*x^62 + 34735086786*x^ 461 + 318475831783*x^60 - 1543992152304*x^59 - 7526047084203*x^58 + 517099213 523996*x^57 + 110268119466273*x^56 - 1306863903654948*x^55 - 197687339387338* 6x^54 + 24340617020480994*x^53 - 37674206381844006*x^52 - 309388136734870296* 7x^51 + 1097175021601270233*x^50 + 1965430743178095924*x^49 - 170577413076819 844498*x^48 + 12695705864721864408*x^47 + 149941210123858078557*x^46 - 449449 9010694960248724*x^45 - 360137445013361079753*x^44 + 4743771886303072354536*x 10^43 - 7957480107528139931362*x^42 - 20006312987061736459890*x^41 + 103127662 11005251951018025*x^40 - 57922725775374790826892*x^39 - 5753749773364770608784 1206*x^38 + 1141042155363070337681952*x^37 + 2107623272811930164219492*x^36 - 138555883275792119671168984*x^35 - 6622038332271478648217502*x^34 + 6778849907 143804904961005264*x^33 - 62194621346216574281355513*x^32 - 298503076979390816 15950994616*x^31 + 935868776923024509133161567*x^30 - 602191893688026944562387 16144*x^29 - 2378403718028116295265005703*x^28 + 7144715267789671188060423636* 17x^27 - 8264313767410946129053876314*x^26 - 2988303993119955116599622124*x^25 18 + 36320303706133493815706370331*x^24 - 93405543373036036850518472592*x^23 + 19 137892731303549623166716872621*x^22 - 73374564495372153466268524626*x^21 - 20180690507689854149951443988039*x^20 + 506199649638427572646328975856*x^19 - 21511453665473658325356669209047*x^18 - 183193264910244539106552118338*x^17 + 221423840911419731272911578335897*x^16 - 2367314022969857609246689985844*x^15 23+ 2236677523353346112926136338695*x^14 - 1548489683091587051973217338168*x^1 243 + 2105049137205776145162583648404*x^12 - 4754348311294629767834593856064*x 25^11 + 7567806891220394207855512254933*x^10 - 7605431066578089163623568649610 26*x^9 + 3882625664788999249342771140339*x^8 + 1356469287400668040516453202076 27*x^7 - 3841355512345259545848813224621*x^6 + 2330504083587501732658867007532 28*x^5 - 169172628407290891217225606775*x^4 - 398965703199322569698936377044*x 29^3 + 198978398979453484569202793808*x^2 - 60597282938946837445378411698*x + 3012280639561039083425818958713]~ 31[x^48 + 12*x^46 + 948*x^44 + 7200*x^42 + 152361*x^40 + 815832*x^38 + 9475380 32*x^36 + 44654004*x^34 + 299137536*x^32 + 1335241260*x^30 + 5029216452*x^28 + 33 15282825984*x^26 + 37737671337*x^24 + 79579803672*x^22 + 143658877428*x^20 34+ 222699104460*x^18 + 303698198961*x^16 + 348787956312*x^14 + 312863646960*x 35^12 + 212893847424*x^10 + 111407984496*x^8 + 43762394880*x^6 + 11836253952*x 36^4 + 1904684544*x^2 + 136048896]~ 37[x^48 - 104*x^46 + 4664*x^44 - 122476*x^42 + 2137838*x^40 - 26567700*x^38 + 38245144964*x^36 - 1725955872*x^34 + 9441692003*x^32 - 40611588644*x^30 + 1383 3956971048*x^28 - 374714866240*x^26 + 807289826646*x^24 - 1380693858220*x^22 + 40 1866021172640*x^20 - 1978766780068*x^18 + 1630151673857*x^16 - 102950530102 414*x^14 + 489498952012*x^12 - 170832297056*x^10 + 42133382284*x^8 - 690450713 426*x^6 + 669868016*x^4 - 28899680*x^2 + 16]~ 43[x^64 - 6384*x^62 + 18261761*x^60 - 31231019568*x^58 + 35925400902280*x^56 - 44 29635423138225800*x^54 + 18244443900381139917*x^52 - 8609789775431197305288 45*x^50 + 3173715440318358526295493*x^48 - 926253189958924421506713024*x^46 + 46216130107574547887816493973792*x^44 - 40600173780591579547211667354912*x^42 47+ 6168621134132051706341715912515370*x^40 - 76013943427734813586799139295141 485744*x^38 + 76052955647065900426700689494084391434*x^36 - 617531184355441677 492593815034596603661344*x^34 + 406137362468726923132369140307868626461744*x^3 502 - 21559959594011538596615817038079394912524336*x^30 + 91912201022866770299 518458013093798368177514170*x^28 - 3125139901367629320825272825691018301064633 521888*x^26 + 840017792466500823059432352741453680599704357258*x^24 - 17651171 53087877975905738341268934550365403253370816*x^22 + 28594069425611136664663397 543109729677687028435758880*x^20 - 3510138236669349338216717168753743720690200 55440965920*x^18 + 31970659328447652254136627725804141367170891626180389*x^16 56- 210577501276259853380917767547980363666145460503950096*x^14 + 972633665701 57140285445722173171004563157651576027463941*x^12 - 30387893683293821798844628 5851269146550248145196800679728*x^10 + 615892792889658839667059092889638564907 595890120481042824*x^8 - 76951350792700777906576936340585240393085356418600329 6004*x^6 + 5510293734552561962521574495431679567021222445632508873*x^4 - 19987 6178331104544904932086470347413669495129560426038280*x^2 + 2738927449953408337 6277347939263771534786080723599733441]~ 63[x^8 + (-1531349/22619785297920*y^14 + 559416343/10977248747520*y^12 - 25247 64684591/1995863408640*y^10 + 103982297321/80715064320*y^8 - 76714376249/12229 6555520*y^6 + 111774992009/74186640*y^4 - 26292202739/1686060*y^2 + 1564021312 66/54549)*x^6 + (19000645309/37322645741568*y^14 - 96552535399/249482926080*y^ 6712 + 536960987254321/5488624373760*y^10 - 4194944378809/407651840*y^8 + 5247 68721708074653/10089383040*y^6 - 10860233882239/843030*y^4 + 630194805031381/4 69636665*y^2 - 796961577488/2755)*x^4 + (-29172555558095/18661322870784*y^14 + 70 5062445860141/4248161280*y^12 - 92318704732060083/304923576320*y^10 + 64819 713176741591037/20178766080*y^8 - 8268979844194150111/5044691520*y^6 + 1896413 7290835405983/4636665*y^4 - 223283186783900366/515185*y^2 + 8946625664367872/9 73405)*x^2 + (41018074761203773/23326653588480*y^14 - 409009053454624763/30492 743576320*y^12 + 117044119382956746521/343039023360*y^10 - 2927890424340695147 75291/80715064320*y^8 + 4678762405288733527739/2522345760*y^6 - 38206315875334 76762391/824296*y^4 + 2278645136881067296952/4636665*y^2 - 2967400235256172868 7748/272745), x^8 + (-16146091/248817638277120*y^14 + 48843457/997931704320*y^ 7812 - 267727721489/21954497495040*y^10 + 9174250019/7337733120*y^8 - 82557283 798631/13452510720*y^6 + 10012035071/6744240*y^4 - 286258292621/18546660*y^2 + 80 140187040/4959)*x^6 + (1723176289/3392967794688*y^14 - 1059662276341/274431 812186880*y^12 + 48715274000629/498965852160*y^10 - 69104247053959/6726255360* 82y^8 + 476508837255737/917216640*y^6 - 238731150890387/18546660*y^4 + 5725141 838840649/421515*y^2 - 26269467866896/90915)*x^4 + (-29113232197835/1866132287 840784*y^14 + 1631934517436717/1372156093440*y^12 - 92145545361015407/30492357 856320*y^10 + 323550303468175019/10089383040*y^8 - 8257197132303274099/5044691 86520*y^6 + 378862459377191059/9273330*y^4 - 223115572203411654/515185*y^2 + 2 8759332507639972352/272745)*x^2 + (40511288842122127/23326653588480*y^14 - 454 88626079701495571/343039023360*y^12 + 231451885839430725263/686078046720*y^10 89- 60389017554715183063/1681563840*y^8 + 2319938341838169992923/1261172880*y^ 906 - 42704610621363386060/927333*y^4 + 2268063476824046324248/4636665*y^2 - 9 918528590048656718144/90915), x^8 + (181633/186613228707840*y^14 - 6489/138601 9262560*y^12 - 45386471/5488624373760*y^10 + 178250659/7337733120*y^8 - 259150 9332257/10089383040*y^6 + 126060163/1498720*y^4 - 4457231129/4636665*y^2 + 945 944484/4959)*x^6 + (-11712673/1169988894720*y^14 + 2040142733/274431218688*y^1 952 - 93021416071/52522721280*y^10 + 1688263641205/10762008576*y^8 - 890698149 969371/1834433280*y^6 + 14859994827859/296746560*y^4 - 27539242721/421515*y^2 97- 10412804654/90915)*x^4 + (-65739851389/2915831698560*y^14 + 8080067384671/ 98548862437376*y^12 - 615919067582923/228692682240*y^10 + 7139625968047/558581 9976*y^8 - 12035658240536459/5044691520*y^6 + 2909281718459207/148373280*y^4 - 100 114027481266257/1545555*y^2 + 26994839222348/272745)*x^2 + (351875661187594 10113/746452914831360*y^14 - 175794408000830383/5488624373760*y^12 + 2827285081 1029680893321/4390899499008*y^10 - 44274526240947916361/107620085760*y^8 + 4488 10383263777097920391/40357532160*y^6 - 2698220779200958903/20465280*y^4 + 28100 10459487221296958/4636665*y^2 - 81508587175798061/90915), x^8 + (3074279/248817 105638277120*y^14 - 127157047/10977248747520*y^12 + 86499746437/21954497495040* 106y^10 - 2843672497/4747944960*y^8 + 109487803351/2690502144*y^6 - 89990421617 107/74186640*y^4 + 52396810109/3709332*y^2 - 13670576288/272745)*x^6 + (-361812 10887281/186613228707840*y^14 + 446988241097/2744312186880*y^12 - 2791944232079 109/57774993408*y^10 + 85916604196211/13452510720*y^8 - 3999057670537517/100893 11083040*y^6 + 3070998321176/272745*y^4 - 593787426492949/4636665*y^2 + 3730615 1114735728/90915)*x^4 + (64206977604683/93306614353920*y^14 - 781339956430123/1 112372156093440*y^12 + 151234315443075961/914770728960*y^10 - 42955239518225908 1137/20178766080*y^8 + 1307386034599317571/1008938304*y^6 - 168786176615470804/ 1144636665*y^4 + 127255299187877218/309111*y^2 - 351207138657683456/272745)*x^2 115 + (-18530706211095341/23326653588480*y^14 + 1798847927551103773/27443121868 11680*y^12 - 16252626552763832987/85759755840*y^10 + 653145277562478020663/2690 1175021440*y^8 - 742591759365166575365/504469152*y^6 + 1530656313511014482581/3 1187093320*y^4 - 432314981823305760184/927333*y^2 + 131680859590220167616/90915 119), x^8 + (3692011/248817638277120*y^14 - 8644699/645720514560*y^12 + 9566281 1209793/21954497495040*y^10 - 51309940321/80715064320*y^8 + 113348313275/269050 1212144*y^6 - 91885783933/74186640*y^4 + 53072545513/3709332*y^2 - 13761686272/ 122272745)*x^6 + (-1260198851/6434938920960*y^14 + 450923192773/2744312186880*y 123^12 - 53418556138459/1097724874752*y^10 + 43167277559347/6726255360*y^8 - 40 12411960654104563/10089383040*y^6 + 209270128922867/18546660*y^4 - 594571618949 125411/4636665*y^2 + 37329116221552/90915)*x^4 + (3385038072653/4910874439680*y 126^14 - 782493705352717/1372156093440*y^12 + 151409707529271949/914770728960*y 127^10 - 214941552982993939/10089383040*y^8 + 1308011461994334679/1008938304*y^ 1286 - 337682297591934347/9273330*y^4 + 127297072825004458/309111*y^2 - 3513766 12927887928064/272745)*x^2 + (-18884591927033039/23326653588480*y^14 + 76223129 130967189533/114346341120*y^12 - 131815203944675271599/686078046720*y^10 + 1236 13167566697208858791/5044691520*y^8 - 373763922533488473487/252234576*y^6 + 116 132278861122276976/2805*y^4 - 433850608352102566712/927333*y^2 + 39636262539108 1332293312/272745), x^8 + (1192483/67859355893760*y^14 - 46386469/3659082915840 134*y^12 + 5757671539/1995863408640*y^10 - 9816397597/40357532160*y^8 + 3150430 1350903/3668866560*y^6 - 6499115329/49457760*y^4 + 1346529151/1686060*y^2 - 127 136928104/54549)*x^6 + (-377107043/23326653588480*y^14 + 1193294195/99793170432 137*y^12 - 3898646479517/1372156093440*y^10 + 83324546651/326121472*y^8 - 90270 138807160297/10089383040*y^6 + 203979621263/1586880*y^4 - 6453521496733/9273330 139*y^2 + 3740713928/2755)*x^4 + (-55838547409/2455437219840*y^14 + 81535888034 14065/548862437376*y^12 - 1244323126435859/457385364480*y^10 + 2090484253417429 141/16143012864*y^8 - 12134063030016491/5044691520*y^6 + 165453933807769/872784 1420*y^4 - 93498888636323/1545555*y^2 + 14213849400992/272745)*x^2 + (118472423 14379734429/248817638277120*y^14 - 177668994581955997/5488624373760*y^12 + 2861 1441858755746067827/4390899499008*y^10 - 134874618655070911657/322860257280*y^8 145 + 152404618518667558583/13452510720*y^6 - 4203829397104185047/31236480*y^4 146+ 2871462472553380217/4636665*y^2 - 250004160368295232/272745), x^8 + (64582 14773/186613228707840*y^14 - 3719191/152461788160*y^12 + 29024100473/5488624373 148760*y^10 - 32135840999/80715064320*y^8 + 23297956603/2017876608*y^6 - 211350 1490871/16485920*y^4 + 408266029/927333*y^2 - 316594868/272745)*x^6 + (-1110768 15017459/373226457415680*y^14 + 18106275053/85759755840*y^12 - 509560146214411/ 15110977248747520*y^10 + 195109797344857/53810042880*y^8 - 2298235154532701/201 15278766080*y^6 + 87655160117623/59349312*y^4 - 32564739888281/4636665*y^2 + 96 1538008850258/90915)*x^4 + (83518124920963/93306614353920*y^14 - 91728776500189 154/144437483520*y^12 + 42591591062192407/304923576320*y^10 - 88154696029372417 1553/80715064320*y^8 + 86773202255301785/252234576*y^6 - 665429827885409833/148 156373280*y^4 + 2218979482348247/103037*y^2 - 8878201815711796/272745)*x^2 + (- 157246642305436057809/248817638277120*y^14 + 3860028638255806541/5488624373760* 158y^12 - 3395672666468176433467/21954497495040*y^10 + 3904062052800146734661/3 15922860257280*y^8 - 1024736920815948655471/2690502144*y^6 + 294713641271965414 1609381/593493120*y^4 - 22118315020431326588/927333*y^2 + 9833627869746746873/2 16172745), x^8 + (38996983/746452914831360*y^14 - 45610777/1219694305280*y^12 + 162 184040442823/21954497495040*y^10 - 6929849477/10089383040*y^8 + 19138097395 1631/8071506432*y^6 - 6002605199/16485920*y^4 + 8595505583/3709332*y^2 - 144096 1649832/272745)*x^6 + (-56627432063/186613228707840*y^14 + 1182421824943/548862 1654373760*y^12 - 260406121516747/5488624373760*y^10 + 200262331426543/53810042 166880*y^8 - 297480952643123/2522345760*y^6 + 92330503999361/59349312*y^4 - 710 16713869059163/9273330*y^2 + 1098811062152/90915)*x^4 + (83613652919587/9330661 1684353920*y^14 - 1744863264395929/2744312186880*y^12 + 42642092214501583/30492 1693576320*y^10 - 882655350615967327/80715064320*y^8 + 173789516969368021/50446 1709152*y^6 - 666541614309814567/148373280*y^4 + 2223816735480437/103037*y^2 - 171306949426473056/9405)*x^2 + (-742452471836109913/746452914831360*y^14 + 3873 172208908206849579/5488624373760*y^12 - 3407275945042823422193/21954497495040*y 173^10 + 1305807204358253484253/107620085760*y^8 - 3084740075192713038863/80715 17406432*y^6 + 173955024027274456667/34911360*y^4 - 22194121937138006191/927333 175*y^2 + 3289110492164463424/90915)]~ 176[x^2 + (-872560111/1750783970525184*y^18 - 103213549/291797328420864*y^16 - 1774176139757/7204872306688*y^14 - 4416978655/10807308460032*y^12 - 13066402491 178575/72949332105216*y^10 - 215588492387/1736888859648*y^8 - 892238763206647/1 17909423998157824*y^6 - 89512294102405/18237333026304*y^4 - 18290521472141/2532 18096292032*y^2 - 284080544581/14072016224), x^2 + (872560111/1750783970525184* 181y^18 - 103213549/291797328420864*y^16 + 4176139757/7204872306688*y^14 - 4416 182978655/10807308460032*y^12 + 13066402491575/72949332105216*y^10 - 2155884923 18387/1736888859648*y^8 + 892238763206647/109423998157824*y^6 - 89512294102405/ 18418237333026304*y^4 + 18290521472141/253296292032*y^2 - 284080544581/14072016 185224), x^2 + (-10955729699/63028222938906624*y^19 + 1635275/72949332105216*y^ 18617 - 471200483153/2334378627366912*y^15 + 68074817/2701827115008*y^13 - 1631 18744665311371/2626175955787776*y^11 + 10788711995/1519777752192*y^9 - 10805585 188507756651/3939263933681664*y^7 + 476476835441/4559333256576*y^5 - 6980744239 1899435/3039555504384*y^3 - 4848316573/3518004056*y)*x + (-240314803/1313087977 190893888*y^18 + 2177899/20842666315776*y^16 - 10352388961/48632888070144*y^14 191+ 650809375/5403654230016*y^12 - 3599460371687/54711999078912*y^10 + 2204400 19227581/6079111008768*y^8 - 35061053609941/11723999802624*y^6 + 11692976745493 193/9118666513152*y^4 - 1447968833323/63324073008*y^2 - 24126350651/7036008112) 194, x^2 + (-4768637809/63028222938906624*y^19 - 116295749/1750783970525184*y^1 1957 - 205045552843/2334378627366912*y^15 - 4961577191/64843850760192*y^13 - 10 196134809023919/375167993683968*y^11 - 1681738838629/72949332105216*y^9 - 46714 19770958726025/3939263933681664*y^7 - 93324108785933/109423998157824*y^5 - 2896 1987498100409/3039555504384*y^3 - 245294011997/84432097344*y)*x + (-496188853/1 199750783970525184*y^18 + 8017631/48632888070144*y^16 - 338265737/1029267472384 200*y^14 + 338938437/1801218076672*y^12 - 7349975872277/72949332105216*y^10 + 1 20112959067435/2026370336256*y^8 - 471966038240125/109423998157824*y^6 + 558940 2022408335/3039555504384*y^4 - 8241706316231/253296292032*y^2 + 1651761915/1005 203144016), x^2 + (-550587305/9004031848415232*y^19 - 8520109/250111995789312*y 204^17 - 165341932517/2334378627366912*y^15 - 2570761369/64843850760192*y^13 - 20556851147336519/2626175955787776*y^11 - 895619999627/72949332105216*y^9 - 356 2060831957116295/3939263933681664*y^7 - 62314525927891/109423998157824*y^5 - 18 207560457963575/3039555504384*y^3 - 371119778467/84432097344*y)*x + (496188853/ 2081750783970525184*y^18 + 8017631/48632888070144*y^16 + 338265737/102926747238 2094*y^14 + 338938437/1801218076672*y^12 + 7349975872277/72949332105216*y^10 + 210112959067435/2026370336256*y^8 + 471966038240125/109423998157824*y^6 + 55894 21102408335/3039555504384*y^4 + 8241706316231/253296292032*y^2 + 1651761915/100 2125144016), x^2 + (-21512837/1313087977893888*y^19 - 102134281/175078397052518 2134*y^17 - 932348591/48632888070144*y^15 - 4407863827/64843850760192*y^13 - 16 2144654686001/27355999539456*y^11 - 1540975821641/72949332105216*y^9 - 25030796 215719091/82067998618368*y^7 - 110013175606897/109423998157824*y^5 - 7018393859 216/2261574036*y^3 - 296247471259/28144032448*y)*x + (240314803/131308797789388 2178*y^18 + 2177899/20842666315776*y^16 + 10352388961/48632888070144*y^14 + 650 218809375/5403654230016*y^12 + 3599460371687/54711999078912*y^10 + 220440027581 219/6079111008768*y^8 + 35061053609941/11723999802624*y^6 + 11692976745493/9118 220666513152*y^4 + 1447968833323/63324073008*y^2 - 24126350651/7036008112), x^2 221 + (21512837/1313087977893888*y^19 + 102134281/1750783970525184*y^17 + 93234 2228591/48632888070144*y^15 + 4407863827/64843850760192*y^13 + 164654686001/273 22355999539456*y^11 + 1540975821641/72949332105216*y^9 + 25030796719091/8206799 2248618368*y^7 + 110013175606897/109423998157824*y^5 + 7018393859/2261574036*y^ 2253 + 296247471259/28144032448*y)*x + (240314803/1313087977893888*y^18 + 21778 22699/20842666315776*y^16 + 10352388961/48632888070144*y^14 + 650809375/5403654 227230016*y^12 + 3599460371687/54711999078912*y^10 + 220440027581/6079111008768 228*y^8 + 35061053609941/11723999802624*y^6 + 11692976745493/9118666513152*y^4 229+ 1447968833323/63324073008*y^2 - 24126350651/7036008112), x^2 + (550587305/ 2309004031848415232*y^19 + 8520109/250111995789312*y^17 + 165341932517/23343786 23127366912*y^15 + 2570761369/64843850760192*y^13 + 56851147336519/262617595578 2327776*y^11 + 895619999627/72949332105216*y^9 + 3560831957116295/3939263933681 233664*y^7 + 62314525927891/109423998157824*y^5 + 18560457963575/3039555504384* 234y^3 + 371119778467/84432097344*y)*x + (496188853/1750783970525184*y^18 + 801 2357631/48632888070144*y^16 + 338265737/1029267472384*y^14 + 338938437/18012180 23676672*y^12 + 7349975872277/72949332105216*y^10 + 112959067435/2026370336256* 237y^8 + 471966038240125/109423998157824*y^6 + 5589402408335/3039555504384*y^4 238+ 8241706316231/253296292032*y^2 + 1651761915/1005144016), x^2 + (4768637809 239/63028222938906624*y^19 + 116295749/1750783970525184*y^17 + 205045552843/233 2404378627366912*y^15 + 4961577191/64843850760192*y^13 + 10134809023919/3751679 24193683968*y^11 + 1681738838629/72949332105216*y^9 + 4671470958726025/39392639 24233681664*y^7 + 93324108785933/109423998157824*y^5 + 28967498100409/303955550 2434384*y^3 + 245294011997/84432097344*y)*x + (-496188853/1750783970525184*y^18 244 + 8017631/48632888070144*y^16 - 338265737/1029267472384*y^14 + 338938437/18 24501218076672*y^12 - 7349975872277/72949332105216*y^10 + 112959067435/20263703 24636256*y^8 - 471966038240125/109423998157824*y^6 + 5589402408335/303955550438 2474*y^4 - 8241706316231/253296292032*y^2 + 1651761915/1005144016), x^2 + (1095 2485729699/63028222938906624*y^19 - 1635275/72949332105216*y^17 + 471200483153/ 2492334378627366912*y^15 - 68074817/2701827115008*y^13 + 163144665311371/262617 2505955787776*y^11 - 10788711995/1519777752192*y^9 + 10805585507756651/39392639 25133681664*y^7 - 476476835441/4559333256576*y^5 + 69807442399435/3039555504384 252*y^3 + 4848316573/3518004056*y)*x + (-240314803/1313087977893888*y^18 + 2177 253899/20842666315776*y^16 - 10352388961/48632888070144*y^14 + 650809375/540365 2544230016*y^12 - 3599460371687/54711999078912*y^10 + 220440027581/607911100876 2558*y^8 - 35061053609941/11723999802624*y^6 + 11692976745493/9118666513152*y^4 256 - 1447968833323/63324073008*y^2 - 24126350651/7036008112)]~ 257[x^24 + 69]~ 258[x^7 - 2*y*x^6 + y^2*x^5 - 28*x^3 + 4*y^2*x + 16/7*y^3, x^7 + 2*y*x^6 + y^2* 259x^5 - 28*x^3 + 4*y^2*x - 16/7*y^3, x^7 - 2/7*y^3*x^6 - y^2*x^5 - 28*x^3 - 4* 260y^2*x + 16*y, x^7 + 2/7*y^3*x^6 - y^2*x^5 - 28*x^3 - 4*y^2*x - 16*y]~ 261[x^2 + (-12035/386*y^15 + 8337/386*y^14 + 566267/772*y^13 - 392327/772*y^12 262- 4449119/772*y^11 + 3083327/772*y^10 + 7320431/386*y^9 - 2537889/193*y^8 - 2639975849/386*y^7 + 3461954/193*y^6 + 10712085/772*y^5 - 7445851/772*y^4 - 190 2645321/772*y^3 + 1322419/772*y^2 + 25961/386*y - 17735/386), x^2 + (-7909/772* 265y^15 - 1879/772*y^14 + 93535/386*y^13 + 44921/772*y^12 - 371330/193*y^11 - 9 2660974/193*y^10 + 4991389/772*y^9 + 317305/193*y^8 - 7127131/772*y^7 - 1947859 267/772*y^6 + 2110371/386*y^5 + 1295397/772*y^4 - 224091/193*y^3 - 160649/386*y 268^2 + 19739/772*y + 4029/386), x^2 + (7909/772*y^15 - 1879/772*y^14 - 93535/3 26986*y^13 + 44921/772*y^12 + 371330/193*y^11 - 90974/193*y^10 - 4991389/772*y^ 2709 + 317305/193*y^8 + 7127131/772*y^7 - 1947859/772*y^6 - 2110371/386*y^5 + 1 271295397/772*y^4 + 224091/193*y^3 - 160649/386*y^2 - 19739/772*y + 4029/386), 272x^2 + (12035/386*y^15 + 8337/386*y^14 - 566267/772*y^13 - 392327/772*y^12 + 2734449119/772*y^11 + 3083327/772*y^10 - 7320431/386*y^9 - 2537889/193*y^8 + 99 27475849/386*y^7 + 3461954/193*y^6 - 10712085/772*y^5 - 7445851/772*y^4 + 19053 27521/772*y^3 + 1322419/772*y^2 - 25961/386*y - 17735/386), x^4 + (541/386*y^14 276 - 12373/386*y^12 + 46089/193*y^10 - 137477/193*y^8 + 311469/386*y^6 - 14604 2779/386*y^4 + 12308/193*y^2 - 686/193)*x^2 + (-765/772*y^14 + 8659/386*y^12 - 278126401/772*y^10 + 90322/193*y^8 - 369401/772*y^6 + 38430/193*y^4 - 23865/772 279*y^2 + 553/386), x^4 + (2052/193*y^14 - 96741/386*y^12 + 763031/386*y^10 - 1 280265475/193*y^8 + 1759047/193*y^6 - 2000657/386*y^4 + 430823/386*y^2 - 13920/ 281193)*x^2 + (-28293/772*y^14 + 166359/193*y^12 - 5225705/772*y^10 + 4295689/1 28293*y^8 - 23400329/772*y^6 + 6320077/386*y^4 - 2369321/772*y^2 + 45727/386), 283x^4 + (-5155/193*y^15 - 15405/772*y^14 + 241769/386*y^13 + 180325/386*y^12 - 284 944044/193*y^11 - 2807115/772*y^10 + 3072303/193*y^9 + 2267740/193*y^8 - 41 28502400/193*y^7 - 11896515/772*y^6 + 4334901/386*y^5 + 2988835/386*y^4 - 43236 2863/193*y^3 - 1014845/772*y^2 + 23130/193*y + 3602/193)*x^2 + (14406/193*y^15 287+ 38997/772*y^14 - 338423/193*y^13 - 455769/386*y^12 + 2652454/193*y^11 + 70 28872893/772*y^10 - 8698762/193*y^9 - 11354279/386*y^8 + 23683093/386*y^7 + 293 28919183/772*y^6 - 13169735/386*y^5 - 7082173/386*y^4 + 3014249/386*y^3 + 21677 29071/772*y^2 - 244333/386*y + 2027/386), x^4 + (-4705/193*y^15 - 4035/772*y^14 291 + 220691/386*y^13 + 47935/386*y^12 - 1722817/386*y^11 - 767525/772*y^10 + 5 292588151/386*y^9 + 654320/193*y^8 - 3658160/193*y^7 - 3833005/772*y^6 + 341354 2937/386*y^5 + 1159745/386*y^4 - 194425/386*y^3 - 441715/772*y^2 - 129025/386*y 294 - 9518/193)*x^2 + (69045/772*y^15 + 17477/772*y^14 - 1634153/772*y^13 - 208 295093/386*y^12 + 12990539/772*y^11 + 3347413/772*y^10 - 43749763/772*y^9 - 576 2965109/386*y^8 + 62724993/772*y^7 + 17320883/772*y^6 - 37352513/772*y^5 - 5621 297249/386*y^4 + 7969659/772*y^3 + 2742727/772*y^2 - 182407/772*y - 34007/386), 298 x^4 + (4705/193*y^15 - 4035/772*y^14 - 220691/386*y^13 + 47935/386*y^12 + 1 299722817/386*y^11 - 767525/772*y^10 - 5588151/386*y^9 + 654320/193*y^8 + 36581 30060/193*y^7 - 3833005/772*y^6 - 3413547/386*y^5 + 1159745/386*y^4 + 194425/38 3016*y^3 - 441715/772*y^2 + 129025/386*y - 9518/193)*x^2 + (-69045/772*y^15 + 1 3027477/772*y^14 + 1634153/772*y^13 - 208093/386*y^12 - 12990539/772*y^11 + 334 3037413/772*y^10 + 43749763/772*y^9 - 5765109/386*y^8 - 62724993/772*y^7 + 1732 3040883/772*y^6 + 37352513/772*y^5 - 5621249/386*y^4 - 7969659/772*y^3 + 274272 3057/772*y^2 + 182407/772*y - 34007/386), x^4 + (5155/193*y^15 - 15405/772*y^14 306 - 241769/386*y^13 + 180325/386*y^12 + 944044/193*y^11 - 2807115/772*y^10 - 3073072303/193*y^9 + 2267740/193*y^8 + 4102400/193*y^7 - 11896515/772*y^6 - 433 3084901/386*y^5 + 2988835/386*y^4 + 432363/193*y^3 - 1014845/772*y^2 - 23130/19 3093*y + 3602/193)*x^2 + (-14406/193*y^15 + 38997/772*y^14 + 338423/193*y^13 - 310455769/386*y^12 - 2652454/193*y^11 + 7072893/772*y^10 + 8698762/193*y^9 - 11 311354279/386*y^8 - 23683093/386*y^7 + 29319183/772*y^6 + 13169735/386*y^5 - 70 31282173/386*y^4 - 3014249/386*y^3 + 2167771/772*y^2 + 244333/386*y + 2027/386) 313]~ 314[x^4 - 4*y*x^3 + (-1/2*y^14 + 1/2*y^10 - 7/2*y^6 + 15/2*y^2)*x^2 + (y^15 - y 315^11 + 7*y^7 - 7*y^3)*x + (1/2*y^12 - y^8 + 5/2*y^4 - 2), x^4 + 4*y*x^3 + (-1 316/2*y^14 + 1/2*y^10 - 7/2*y^6 + 15/2*y^2)*x^2 + (-y^15 + y^11 - 7*y^7 + 7*y^3 317)*x + (1/2*y^12 - y^8 + 5/2*y^4 - 2), x^4 + (-2*y^11 - 10*y^3)*x^3 + (9/2*y^ 31814 - 1/2*y^10 + 55/2*y^6 - 7/2*y^2)*x^2 + (3*y^13 + y^9 + 17*y^5 + 3*y)*x + 319(1/2*y^12 + y^8 + 5/2*y^4 + 4), x^4 + (2*y^11 + 10*y^3)*x^3 + (9/2*y^14 - 1/ 3202*y^10 + 55/2*y^6 - 7/2*y^2)*x^2 + (-3*y^13 - y^9 - 17*y^5 - 3*y)*x + (1/2*y 321^12 + y^8 + 5/2*y^4 + 4), x^4 + (-2*y^13 - 10*y^5)*x^3 + (1/2*y^14 - 1/2*y^1 3220 + 7/2*y^6 - 15/2*y^2)*x^2 + (3*y^15 + y^11 + 17*y^7 + 3*y^3)*x + (1/2*y^12 323 - y^8 + 5/2*y^4 - 2), x^4 + (-y^13 - y^9 - 7*y^5 - 3*y)*x^3 + (7/2*y^14 - 1 324/2*y^10 + 37/2*y^6 - 3/2*y^2)*x^2 + (-y^15 + y^11 - 7*y^7 + 7*y^3)*x + (-1/2 325*y^12 - y^8 - 5/2*y^4 - 2), x^4 + (-y^13 + y^9 - 7*y^5 + 3*y)*x^3 + (-7/2*y^ 32614 + 1/2*y^10 - 37/2*y^6 + 3/2*y^2)*x^2 + (-3*y^15 - y^11 - 17*y^7 - 3*y^3)* 327x + (-1/2*y^12 - y^8 - 5/2*y^4 - 2), x^4 + (y^13 - y^9 + 7*y^5 - 3*y)*x^3 + 328(-7/2*y^14 + 1/2*y^10 - 37/2*y^6 + 3/2*y^2)*x^2 + (3*y^15 + y^11 + 17*y^7 + 3293*y^3)*x + (-1/2*y^12 - y^8 - 5/2*y^4 - 2), x^4 + (y^13 + y^9 + 7*y^5 + 3*y) 330*x^3 + (7/2*y^14 - 1/2*y^10 + 37/2*y^6 - 3/2*y^2)*x^2 + (y^15 - y^11 + 7*y^7 331 - 7*y^3)*x + (-1/2*y^12 - y^8 - 5/2*y^4 - 2), x^4 + (2*y^13 + 10*y^5)*x^3 + 332 (1/2*y^14 - 1/2*y^10 + 7/2*y^6 - 15/2*y^2)*x^2 + (-3*y^15 - y^11 - 17*y^7 - 333 3*y^3)*x + (1/2*y^12 - y^8 + 5/2*y^4 - 2), x^4 + (-4*y^15 - 24*y^7)*x^3 + ( 334-9/2*y^14 + 1/2*y^10 - 55/2*y^6 + 7/2*y^2)*x^2 + (-y^13 + y^9 - 7*y^5 + 7*y) 335*x + (1/2*y^12 + y^8 + 5/2*y^4 + 4), x^4 + (-3*y^15 - y^11 - 17*y^7 - 7*y^3) 336*x^3 + (3/2*y^14 - 5/2*y^10 + 17/2*y^6 - 23/2*y^2)*x^2 + (3*y^13 + y^9 + 17* 337y^5 + 3*y)*x + (-1/2*y^12 + y^8 - 5/2*y^4 + 4), x^4 + (-3*y^15 + y^11 - 17*y 338^7 + 7*y^3)*x^3 + (-3/2*y^14 + 5/2*y^10 - 17/2*y^6 + 23/2*y^2)*x^2 + (-y^13 339+ y^9 - 7*y^5 + 7*y)*x + (-1/2*y^12 + y^8 - 5/2*y^4 + 4), x^4 + (3*y^15 - y^ 34011 + 17*y^7 - 7*y^3)*x^3 + (-3/2*y^14 + 5/2*y^10 - 17/2*y^6 + 23/2*y^2)*x^2 341+ (y^13 - y^9 + 7*y^5 - 7*y)*x + (-1/2*y^12 + y^8 - 5/2*y^4 + 4), x^4 + (3*y 342^15 + y^11 + 17*y^7 + 7*y^3)*x^3 + (3/2*y^14 - 5/2*y^10 + 17/2*y^6 - 23/2*y^ 3432)*x^2 + (-3*y^13 - y^9 - 17*y^5 - 3*y)*x + (-1/2*y^12 + y^8 - 5/2*y^4 + 4), 344 x^4 + (4*y^15 + 24*y^7)*x^3 + (-9/2*y^14 + 1/2*y^10 - 55/2*y^6 + 7/2*y^2)*x 345^2 + (y^13 - y^9 + 7*y^5 - 7*y)*x + (1/2*y^12 + y^8 + 5/2*y^4 + 4)]~ 346[x^64 + 192*x^62 + 17568*x^60 + 1019520*x^58 + 42131676*x^56 + 1319651424*x^ 34754 + 32559096528*x^52 + 649228312512*x^50 + 10651553826426*x^48 + 1456394385 34852224*x^46 + 1674922821206832*x^44 + 16307859539653056*x^42 + 13502367773216 3497696*x^40 + 953248899971965824*x^38 + 5745239175305568960*x^36 + 29556064271 350185194240*x^34 + 129595725382952883843*x^32 + 483002100692576612640*x^30 + 1 351523870714370199019760*x^28 + 4047489983524093705152*x^26 + 89858128286488620 35219536*x^24 + 16525310345394167002752*x^22 + 24893927149975603242048*x^20 + 3 3530294355815129821928192*x^18 + 29274561574319887883226*x^16 + 219878017711043 35440121824*x^14 + 12494344840480632094992*x^12 + 5187763623118143696192*x^10 + 355 1502211081063677383836*x^8 + 283567347515314680480*x^6 + 311461554388845258 35672*x^4 + 1543354925530003776*x^2 + 8057044481403681]~ 357[x + (-7/16*y^29 - 5/32*y^25 - 97/8*y^21 - 139/32*y^17 - 435/16*y^13 - 323/3 3582*y^9 - 21/4*y^5 - 77/32*y), x + (-11/32*y^29 - 1/8*y^25 - 309/32*y^21 - 55/ 35916*y^17 - 797/32*y^13 - 7*y^9 - 355/32*y^5 + 9/16*y), x + (11/32*y^29 + 1/8* 360y^25 + 309/32*y^21 + 55/16*y^17 + 797/32*y^13 + 7*y^9 + 355/32*y^5 - 9/16*y) 361, x + (7/16*y^29 + 5/32*y^25 + 97/8*y^21 + 139/32*y^17 + 435/16*y^13 + 323/3 3622*y^9 + 21/4*y^5 + 77/32*y), x + (-21/32*y^31 - 587/32*y^23 + 1/16*y^19 - 14 36343/32*y^15 + 13/8*y^11 - 541/32*y^7 + 21/16*y^3), x + (-5/16*y^31 - 5/32*y^2 3647 - 35/4*y^23 - 139/32*y^19 - 349/16*y^15 - 323/32*y^11 - 57/8*y^7 - 109/32* 365y^3), x + (5/16*y^31 + 5/32*y^27 + 35/4*y^23 + 139/32*y^19 + 349/16*y^15 + 3 36623/32*y^11 + 57/8*y^7 + 109/32*y^3), x + (21/32*y^31 + 587/32*y^23 - 1/16*y^ 36719 + 1443/32*y^15 - 13/8*y^11 + 541/32*y^7 - 21/16*y^3), x^4 + (-13/4*y^24 - 368 91*y^16 - 909/4*y^8 - 169/2), x^4 + (-1/4*y^24 - 7*y^16 - 57/4*y^8 - 1/2)]~ 369[8711099/70204123*y^14 - 3396450/70204123*y^13 - 230089978/70204123*y^12 + 7 3701459644/70204123*y^11 + 2039293754/70204123*y^10 - 522502724/70204123*y^9 - 3717578045032/70204123*y^8 + 136410216/6382193*y^7 + 11598831422/70204123*y^6 - 372 1582740050/70204123*y^5 - 6466526698/70204123*y^4 + 712163508/70204123*y^3 373+ 865017354/70204123*y^2 - 11706800/70204123*y + 7921687/70204123] 374[y, -123209112482/559553426209*y^11 - 236161397417/559553426209*y^10 + 52225 37505497467/559553426209*y^9 + 7627164004768/559553426209*y^8 - 68684785347690/ 376559553426209*y^7 - 98327585435469/559553426209*y^6 + 334508906676131/5595534 37726209*y^5 + 508054669424553/559553426209*y^4 - 499853398148011/559553426209* 378y^3 - 780815391953932/559553426209*y^2 + 222263541657120/559553426209*y + 69 37971304961116/11905392047, -176690268281/1119106852418*y^11 - 641210922141/223 3808213704836*y^10 + 3748626002639/559553426209*y^9 + 20339566453621/2238213704 381836*y^8 - 49228932581896/559553426209*y^7 - 262748733927015/2238213704836*y^ 3826 + 958463738831775/2238213704836*y^5 + 1369627950576313/2238213704836*y^4 - 383 1439017147702531/2238213704836*y^3 - 2121737405539667/2238213704836*y^2 + 6 38435967216650047/2238213704836*y + 19194169373855/47621568188, -68393259315/11 38519106852418*y^11 - 143769468519/1119106852418*y^10 + 2890095068571/111910685 3862418*y^9 + 4773072512403/1119106852418*y^8 - 38008182942981/1119106852418*y^ 3877 - 30714902181882/559553426209*y^6 + 92097658832451/559553426209*y^5 + 1570 38824332093039/559553426209*y^4 - 134021586074273/559553426209*y^3 - 2404025913 38919962/559553426209*y^2 + 58771325675463/559553426209*y + 4293056883813/23810 390784094, -26071422312/559553426209*y^11 - 45431912634/559553426209*y^10 + 110 3914266993455/559553426209*y^9 + 1416464504385/559553426209*y^8 - 1440773326506 3923/559553426209*y^7 - 18255285107310/559553426209*y^6 + 69227537719650/559553 393426209*y^5 + 94877281869432/559553426209*y^4 - 100252280561328/559553426209* 394y^3 - 143113043669604/559553426209*y^2 + 41073387952215/559553426209*y + 128 3950223975324/11905392047, -16163557893/1119106852418*y^11 - 64908872441/223821 3963704836*y^10 + 685522417391/1119106852418*y^9 + 2130089587017/2238213704836* 397y^8 - 4531221497592/559553426209*y^7 - 27490869176393/2238213704836*y^6 + 89 398319951302323/2238213704836*y^5 + 141812611520979/2238213704836*y^4 - 1390748 39945426265/2238213704836*y^3 - 220351698213059/2238213704836*y^2 + 72725691407 400453/2238213704836*y + 2005246545505/47621568188, 9609209575/2238213704836*y^ 40111 + 25387385845/559553426209*y^10 - 383645617715/2238213704836*y^9 - 208031 4023216715/1119106852418*y^8 + 6033944605985/2238213704836*y^7 + 53081257123225 403/2238213704836*y^6 - 33975296862719/2238213704836*y^5 - 255089221619815/2238 404213704836*y^4 + 47525895430055/2238213704836*y^3 + 398412597852115/223821370 4054836*y^2 - 30904572571305/2238213704836*y - 890343326655/11905392047, 522817 40660559/2238213704836*y^11 + 14008471016/559553426209*y^10 - 2227004686929/223 4078213704836*y^9 - 336992949231/559553426209*y^8 + 28726688292139/223821370483 4086*y^7 + 17917872421753/2238213704836*y^6 - 137376604832131/2238213704836*y^5 409 - 105226511459813/2238213704836*y^4 + 207364021022899/2238213704836*y^3 + 1 41070780696189363/2238213704836*y^2 - 84647799904795/2238213704836*y - 44402858 4116648/11905392047, 106577461171/2238213704836*y^11 + 236835106673/22382137048 41236*y^10 - 4499294217001/2238213704836*y^9 - 8003166405117/2238213704836*y^8 413+ 59306288158573/2238213704836*y^7 + 25836461923340/559553426209*y^6 - 72093 414028502701/559553426209*y^5 - 264172433170095/1119106852418*y^4 + 21076054618 4153675/1119106852418*y^3 + 203797855675948/559553426209*y^2 - 94758333876515/1 416119106852418*y - 7259569285101/47621568188, 175225361355/2238213704836*y^11 417+ 367043962553/2238213704836*y^10 - 7404910374729/2238213704836*y^9 - 121761 41849738023/2238213704836*y^8 + 97370244941211/2238213704836*y^7 + 784051152149 41935/1119106852418*y^6 - 117954333048705/559553426209*y^5 - 401317015113399/11 42019106852418*y^4 + 171430955359538/559553426209*y^3 + 307321505664217/5595534 42126209*y^2 - 148696095658675/1119106852418*y - 10923889360787/47621568188, 18 4224746017659/1119106852418*y^11 + 182236626649/559553426209*y^10 - 78287971960 42399/1119106852418*y^9 - 5941166792275/559553426209*y^8 + 103098612489213/1119 424106852418*y^7 + 153130332934513/1119106852418*y^6 - 502641225832273/11191068 42552418*y^5 - 789225051651289/1119106852418*y^4 + 749848149414089/111910685241 4268*y^3 + 1216440499421323/1119106852418*y^2 - 334431034048089/1119106852418*y 427 - 5475399545957/11905392047, 421608384/2321798449*y^11 + 1306271719/4643596 428898*y^10 - 17925705039/2321798449*y^9 - 38874965891/4643596898*y^8 + 2342247 42956928/2321798449*y^7 + 502105436649/4643596898*y^6 - 2270324281083/464359689 4308*y^5 - 2658757184017/4643596898*y^4 + 3428983243105/4643596898*y^3 + 405157 4319820087/4643596898*y^2 - 1510458181035/4643596898*y - 36134279083/98799934] 432 433[x + (-y + 1) 1] 434 435[x^2 + (y + 2)*x + (y^2 + y + 1) 1] 436 437[x^2 + (y + 2)*x + (1/25*y^8 - 3/5*y^5 - 87/25*y^2 + y + 1) 1] 438 439[x^2 + (-2/15*y^7 + 7/3*y^4 + 79/15*y + 2)*x + (1/25*y^8 - 2/15*y^7 - 3/5*y^ 4405 + 7/3*y^4 - 87/25*y^2 + 79/15*y + 1) 1] 441 442[x^2 + (2/15*y^7 - 7/3*y^4 - 94/15*y + 2)*x + (1/25*y^8 + 2/15*y^7 - 3/5*y^5 443 - 7/3*y^4 - 87/25*y^2 - 94/15*y + 1) 1] 444 445 446[ x - y 3] 447 448[ x^2 + y 4] 449 450[x^3 - y*x + y 5] 451 452 453[x - y 1] 454 455[x + y 1] 456 457 458[x - y 1] 459 460[x + y 1] 461 462 463[ x + 1 3] 464 465[2*x + 1 2] 466 4679 468[x - y, x + y, x + (-373/2372*y^15 - 69/2372*y^13 + 2205/593*y^11 - 56641/47 46944*y^9 + 30823/1186*y^7 - 16782/593*y^5 + 11109/593*y^3 - 15285/2372*y), x + 470 (373/2372*y^15 + 69/2372*y^13 - 2205/593*y^11 + 56641/4744*y^9 - 30823/1186 471*y^7 + 16782/593*y^5 - 11109/593*y^3 + 15285/2372*y), x^4 + (-231/1186*y^14 472- 313/1186*y^12 + 10535/2372*y^10 - 5568/593*y^8 + 10658/593*y^6 - 4133/593* 473y^4 + 1731/1186*y^2 - 648/593)*x^2 + (81/1186*y^14 + 181/2372*y^12 - 937/593 474*y^10 + 4313/1186*y^8 - 4207/593*y^6 + 5463/1186*y^4 - 1270/593*y^2 + 1883/5 47593), x^4 + (-93/1186*y^14 - 49/1186*y^12 + 4457/2372*y^10 - 3058/593*y^8 + 6 476170/593*y^6 - 6793/593*y^4 + 8429/1186*y^2 - 2140/593)*x^2 + (81/1186*y^14 + 477 181/2372*y^12 - 937/593*y^10 + 4313/1186*y^8 - 4207/593*y^6 + 5463/1186*y^4 478 - 1270/593*y^2 + 1883/593), x^4 + (159/2372*y^14 + 281/1186*y^12 - 3437/237 4792*y^10 - 217/593*y^8 + 4085/1186*y^6 - 8339/593*y^4 + 12947/1186*y^2 + 146/5 48093)*x^2 + (-81/1186*y^14 - 181/2372*y^12 + 937/593*y^10 - 4313/1186*y^8 + 42 48107/593*y^6 - 5463/1186*y^4 + 1270/593*y^2 + 489/593)]~ 482[Mod(-y, y^16 - 24*y^12 + 80*y^10 - 172*y^8 + 192*y^6 - 112*y^4 + 32*y^2 + 4 483), Mod(y, y^16 - 24*y^12 + 80*y^10 - 172*y^8 + 192*y^6 - 112*y^4 + 32*y^2 + 4844), Mod(-373/2372*y^15 - 69/2372*y^13 + 2205/593*y^11 - 56641/4744*y^9 + 308 48523/1186*y^7 - 16782/593*y^5 + 11109/593*y^3 - 15285/2372*y, y^16 - 24*y^12 + 486 80*y^10 - 172*y^8 + 192*y^6 - 112*y^4 + 32*y^2 + 4), Mod(373/2372*y^15 + 69 487/2372*y^13 - 2205/593*y^11 + 56641/4744*y^9 - 30823/1186*y^7 + 16782/593*y^5 488 - 11109/593*y^3 + 15285/2372*y, y^16 - 24*y^12 + 80*y^10 - 172*y^8 + 192*y^ 4896 - 112*y^4 + 32*y^2 + 4)] 49036 4919 492x^6 - x^5 - 76*x^4 + 60*x^3 + 1140*x^2 + 1155*x - 695 493a^36 - 140*a^34 + 8402*a^32 - 288950*a^30 + 6406703*a^28 - 97539585*a^26 + 1 494059042259*a^24 - 8396309325*a^22 + 49297808195*a^20 - 215811263825*a^18 + 70 4954643601819*a^16 - 1705347924285*a^14 + 3017070472643*a^12 - 3809285900925*a^ 49610 + 3299709349267*a^8 - 1836758642090*a^6 + 585303753211*a^4 - 85409835875* 497a^2 + 3969153125 498[28870969412445129304/150333898582544875079637735*a^34 - 2391040639738112524 4996214047/902003391495269250477826410000*a^32 + 1408280580925577743188914959/9 50002003391495269250477826410000*a^30 - 47270903738475878949122441507/902003391 501495269250477826410000*a^28 + 1016201980774469757442024408441/902003391495269 502250477826410000*a^26 - 1653232481585973809555097282799/100222599055029916719 503758490000*a^24 + 30766570387863948626786349252629/18040067829905385009556528 5042000*a^22 - 25494617146287004973995153489163/20044519811005983343951698000*a 505^20 + 54269387427573548559506499935047/7843507752132776091111534000*a^18 - 4 506967271194565117464292207548275283/180400678299053850095565282000*a^16 + 1439 5070821273796469411671423134660909/180400678299053850095565282000*a^14 - 166375 50851485416921371399599192940627/100222599055029916719758490000*a^12 + 21844296 5094149682251745527062058729581/902003391495269250477826410000*a^10 - 715047828 51008114491609686387087461101/300667797165089750159275470000*a^8 + 132463576654 511385501140215626560461749/902003391495269250477826410000*a^6 - 45521136780059 512303695022254815264059/902003391495269250477826410000*a^4 + 48834547745749769 51348426917348117/644288136782335178912733150*a^2 - 31947174916220852422727719/ 51491469478158982811558152, 3251350527072966578858963/4510016957476346252389132 515050000*a^34 - 224934549971331898950636911/2255008478738173126194566025000*a^ 51632 + 8860674919294055555049660713/1503338985825448750796377350000*a^30 - 995 51757773024274624590944467659/501112995275149583598792450000*a^28 + 19366458770 518607880120052179046813/4510016957476346252389132050000*a^26 - 285516842858115 519285212427862265807/4510016957476346252389132050000*a^24 + 595519111738991674 520011764093345989/902003391495269250477826410000*a^22 - 4489547975447934229698 521580858261951/902003391495269250477826410000*a^20 + 1076139228842461035371382 522151402807/39217538760663880455557670000*a^18 - 11124367147850754939979966580 523304871/100222599055029916719758490000*a^16 + 1479061897966350800416026745438 524951477/4510016957476346252389132050000*a^14 - 315025857271480248157232912303 5253742463/4510016957476346252389132050000*a^12 + 47206506294320482873673946762 52698685961/4510016957476346252389132050000*a^10 - 4777649748033279268548939533 527863439719/4510016957476346252389132050000*a^8 + 3048859768911341351494073063 528483963897/4510016957476346252389132050000*a^6 - 5426099614227091504278277319 52981252029/2255008478738173126194566025000*a^4 + 64587456786717997350050100662 530819/1718101698086227143767288400*a^2 - 165798995832125073281674123/914694781 53158982811558152, -704379081794904012990253/9020033914952692504778264100000*a^ 53235 - 185571858472598531261171/501112995275149583598792450000*a^34 + 48715152 533518881440798956651/4510016957476346252389132050000*a^33 + 462092978647254762 534515957747/9020033914952692504778264100000*a^32 - 143866499279758588432618534 5351/2255008478738173126194566025000*a^31 - 13648984531486738963024628227/45100 53616957476346252389132050000*a^30 + 96938310360867353475048806483/451001695747 5376346252389132050000*a^29 + 919883530735586552464580524411/902003391495269250 5384778264100000*a^28 - 232651976540261816658545907611/501112995275149583598792 539450000*a^27 - 19875071662837802701492211372933/90200339149526925047782641000 54000*a^26 + 30845327236112782336432658557121/4510016957476346252389132050000*a 541^25 + 97629122086975105817272227332809/3006677971650897501592754700000*a^24 542- 21424985574841499437846887948389/300667797165089750159275470000*a^23 - 610 543575128275733935942680874074229/1804006782990538500955652820000*a^22 + 484017 544286454879828969736789559843/902003391495269250477826410000*a^21 + 1533419100 545031007894056656543524977/601335594330179500318550940000*a^20 - 1158671856773 54661369373967739807791/39217538760663880455557670000*a^19 - 110190466434352089 5473720157677667127/78435077521327760911115340000*a^18 + 1537709883158934201041 548232269889911/128857627356467035782546630000*a^17 + 1024351631773365912595517 54971572103159/1804006782990538500955652820000*a^16 - 5292233983819996489701399 5501241504027/1503338985825448750796377350000*a^15 - 15119400756767591614096930 55148855920037/9020033914952692504778264100000*a^14 + 4823557309278799269424083 5520453221347/644288136782335178912733150000*a^13 + 107239762638007600223629533 5533324062521/3006677971650897501592754700000*a^12 - 16846944747925094111730588 5542802587131/1503338985825448750796377350000*a^11 - 48160226697757002253310017 55591553165721/9020033914952692504778264100000*a^10 + 1491287229390570953499395 556745247369/13148737485353779161484350000*a^9 + 162299919830912395515658180697 5574277013/3006677971650897501592754700000*a^8 - 327237997164237860693483056003 558293031/4510016957476346252389132050000*a^7 - 3103794645076791741342476648584 559879777/9020033914952692504778264100000*a^6 + 2348322029477720044136044070025 56003923/9020033914952692504778264100000*a^5 + 11035578261555912186076185579856 56111613/9020033914952692504778264100000*a^4 - 37526865321657483383315681982802 5629/90200339149526925047782641000*a^3 - 49201004178902125753179356208497/25771 56352547129340715650932600*a^2 + 455861078300944766857933289/213428782370959893 5646356880*a + 336438999245457567382406693/365877912635931246232608, -457997268 565286495201285601/9020033914952692504778264100000*a^35 - 155437231387909379055 566577/1804006782990538500955652820000*a^34 + 63219462123808708551299959/902003 5673914952692504778264100000*a^33 + 10732815328231466161638631/9020033914952692 56850477826410000*a^32 - 1241268191638711501136747401/3006677971650897501592754 569700000*a^31 - 162691836407833782279946/231996757071828510925366875*a^30 + 41 570671559320168530327971893369/3006677971650897501592754700000*a^29 + 472202100 5713894765857767375379/200445198110059833439516980000*a^28 - 268827453299542151 5729377197948701/9020033914952692504778264100000*a^27 - 91447940232848524115401 5737943217/1804006782990538500955652820000*a^26 + 39380597302365530060214378192 574779/9020033914952692504778264100000*a^25 + 13404987653711757838118111598667/ 5751804006782990538500955652820000*a^24 - 81492696927754851227554074520033/1804 576006782990538500955652820000*a^23 - 27755367080515496240602993106981/36080135 5776598107700191130564000*a^22 + 608451862766595678082876478420347/180400678299 5780538500955652820000*a^21 + 207309689387565154271678626939871/360801356598107 579700191130564000*a^20 - 144141144819342089103549365967439/7843507752132776091 5801115340000*a^19 - 49116300327361576889751394682183/1568701550426555218222306 5818000*a^18 + 163228993853205803064485212811743/22271688678895537048835220000* 582a^17 + 1501366475076386034781931026134473/120267118866035900063710188000*a^1 5836 - 192040496313746347169675964373314529/9020033914952692504778264100000*a^1 5845 - 65378470826900674859623854989910833/1804006782990538500955652820000*a^14 585 + 400908998300724067746255602794046311/9020033914952692504778264100000*a^13 586 + 136351102083667187315285017348776623/1804006782990538500955652820000*a^12 587 - 586838332855949729229685411031808997/9020033914952692504778264100000*a^11 588 - 199368556080951864152805639007833629/1804006782990538500955652820000*a^10 589 + 578030985689012831826453965281320943/9020033914952692504778264100000*a^9 590+ 196244779045524955444897983850505039/1804006782990538500955652820000*a^8 - 591 357480334490463612280117630223936969/9020033914952692504778264100000*a^7 - 592121476601421295423170534909540278573/1804006782990538500955652820000*a^6 + 3 5930624370220614590128641706307930719/2255008478738173126194566025000*a^5 + 104 59463389029506180036157409002660637/451001695747634625238913205000*a^4 - 861866 5951493592985666542036187341/4295254245215567859418221000*a^3 - 266859198823298 596552776653451403/76360075470498984167435040*a^2 + 591232823580313844716106279 597/6402863471128796809070640*a + 59236281207552249649513295/365877912635931246 598232608, 457997268286495201285601/9020033914952692504778264100000*a^35 - 1554 59937231387909379055577/1804006782990538500955652820000*a^34 - 6321946212380870 6008551299959/9020033914952692504778264100000*a^33 + 10732815328231466161638631 601/902003391495269250477826410000*a^32 + 1241268191638711501136747401/30066779 60271650897501592754700000*a^31 - 162691836407833782279946/23199675707182851092 6035366875*a^30 - 41671559320168530327971893369/3006677971650897501592754700000 604*a^29 + 4722021003894765857767375379/200445198110059833439516980000*a^28 + 2 605688274532995421519377197948701/9020033914952692504778264100000*a^27 - 914479 606402328485241154017943217/1804006782990538500955652820000*a^26 - 393805973023 60765530060214378192779/9020033914952692504778264100000*a^25 + 1340498765371175 6087838118111598667/1804006782990538500955652820000*a^24 + 81492696927754851227 609554074520033/1804006782990538500955652820000*a^23 - 277553670805154962406029 61093106981/360801356598107700191130564000*a^22 - 60845186276659567808287647842 6110347/1804006782990538500955652820000*a^21 + 20730968938756515427167862693987 6121/360801356598107700191130564000*a^20 + 144141144819342089103549365967439/78 613435077521327760911115340000*a^19 - 49116300327361576889751394682183/15687015 614504265552182223068000*a^18 - 163228993853205803064485212811743/2227168867889 6155537048835220000*a^17 + 1501366475076386034781931026134473/12026711886603590 6160063710188000*a^16 + 192040496313746347169675964373314529/902003391495269250 6174778264100000*a^15 - 65378470826900674859623854989910833/1804006782990538500 618955652820000*a^14 - 400908998300724067746255602794046311/9020033914952692504 619778264100000*a^13 + 136351102083667187315285017348776623/1804006782990538500 620955652820000*a^12 + 586838332855949729229685411031808997/9020033914952692504 621778264100000*a^11 - 199368556080951864152805639007833629/1804006782990538500 622955652820000*a^10 - 578030985689012831826453965281320943/9020033914952692504 623778264100000*a^9 + 196244779045524955444897983850505039/18040067829905385009 62455652820000*a^8 + 357480334490463612280117630223936969/902003391495269250477 6258264100000*a^7 - 121476601421295423170534909540278573/1804006782990538500955 626652820000*a^6 - 30624370220614590128641706307930719/225500847873817312619456 6276025000*a^5 + 10463389029506180036157409002660637/45100169574763462523891320 6285000*a^4 + 8618661493592985666542036187341/4295254245215567859418221000*a^3 629- 266859198823298552776653451403/76360075470498984167435040*a^2 - 5912328235 63080313844716106279/6402863471128796809070640*a + 59236281207552249649513295/3 63165877912635931246232608, 704379081794904012990253/90200339149526925047782641 63200000*a^35 - 185571858472598531261171/501112995275149583598792450000*a^34 - 63348715152518881440798956651/4510016957476346252389132050000*a^33 + 4620929786 63447254762515957747/9020033914952692504778264100000*a^32 + 1438664992797585884 635326185341/2255008478738173126194566025000*a^31 - 136489845314867389630246282 63627/4510016957476346252389132050000*a^30 - 96938310360867353475048806483/4510 637016957476346252389132050000*a^29 + 919883530735586552464580524411/9020033914 638952692504778264100000*a^28 + 232651976540261816658545907611/5011129952751495 63983598792450000*a^27 - 19875071662837802701492211372933/902003391495269250477 6408264100000*a^26 - 30845327236112782336432658557121/4510016957476346252389132 641050000*a^25 + 97629122086975105817272227332809/30066779716508975015927547000 64200*a^24 + 21424985574841499437846887948389/300667797165089750159275470000*a^ 64323 - 610575128275733935942680874074229/1804006782990538500955652820000*a^22 644- 484017286454879828969736789559843/902003391495269250477826410000*a^21 + 15 64533419100031007894056656543524977/601335594330179500318550940000*a^20 + 11586 6467185677361369373967739807791/39217538760663880455557670000*a^19 - 1101904664 647343520893720157677667127/78435077521327760911115340000*a^18 - 15377098831589 64834201041232269889911/128857627356467035782546630000*a^17 + 10243516317733659 6491259551771572103159/1804006782990538500955652820000*a^16 + 52922339838199964 650897013991241504027/1503338985825448750796377350000*a^15 - 151194007567675916 6511409693048855920037/9020033914952692504778264100000*a^14 - 48235573092787992 652694240830453221347/644288136782335178912733150000*a^13 + 1072397626380076002 653236295333324062521/3006677971650897501592754700000*a^12 + 168469447479250941 654117305882802587131/1503338985825448750796377350000*a^11 - 481602266977570022 6555331001791553165721/9020033914952692504778264100000*a^10 - 14912872293905709 65653499395745247369/13148737485353779161484350000*a^9 + 1622999198309123955156 657581806974277013/3006677971650897501592754700000*a^8 + 3272379971642378606934 65883056003293031/4510016957476346252389132050000*a^7 - 31037946450767917413424 65976648584879777/9020033914952692504778264100000*a^6 - 23483220294777200441360 6604407002503923/9020033914952692504778264100000*a^5 + 110355782615559121860761 6618557985611613/9020033914952692504778264100000*a^4 + 375268653216574833833156 662819828029/90200339149526925047782641000*a^3 - 492010041789021257531793562084 66397/2577152547129340715650932600*a^2 - 455861078300944766857933289/2134287823 664709598936356880*a + 336438999245457567382406693/365877912635931246232608] 665[x^12 - x^11 + 7/13*x^10 - 3/13*x^9 + 15/169*x^8 - 5/169*x^7 + 19/2197*x^6 - 666 5/2197*x^5 + 15/28561*x^4 - 3/28561*x^3 + 7/371293*x^2 - 1/371293*x + 1/482 6676809, x^12 + x^11 + 7/13*x^10 + 3/13*x^9 + 15/169*x^8 + 5/169*x^7 + 19/2197* 668x^6 + 5/2197*x^5 + 15/28561*x^4 + 3/28561*x^3 + 7/371293*x^2 + 1/371293*x + 6691/4826809]~ 670[x - 3, x + (-1/2*y + 1/2), x + (1/2*y + 1/2)]~ 671 672[x + (-y^7 - 1) 1] 673 674[ x + (y^7 + 1) 1] 675 676[x + (-2*y^3 + y), x + (-4/3*y^3 + 2/3*y), x + (-2/3*y^3 + 1/3*y)]~ 677[x + (-1/3*y - 1/3), x + (2/3*y + 2/3)]~ 678 *** nffactor: Warning: nonmonic polynomial. Result of the form [nf,c]. 679 680[x + (-2/3*y + 1/3) 1] 681 682[ x + (2/3*y - 1/3) 1] 683 684 *** nfroots: Warning: nonmonic polynomial. Result of the form [nf,c]. 685[-2/3*y + 1/3, 2/3*y - 1/3] 686 687[x + (-26388279066648/85070591730466729623209871765718171955*t^5 + 131941395 688333267/85070591730466729623209871765718171955*t^4 + 967140655690823730462717 68932/85070591730466729623209871765718171955*t^3 - 290142196708032170441048136/ 69085070591730466729623209871765718171955*t^2 - 7443676776386824622360021639744 6916118676/85070591730466729623209871765718171955*t + 7443676776373163760598366 6926543681076444/85070591730466729623209871765718171955) 1] 693 694[x^2 + (26388279066648/85070591730466729623209871765718171955*t^5 - 13194139 6955333267/85070591730466729623209871765718171955*t^4 - 96714065569082373046271 696732/85070591730466729623209871765718171955*t^3 + 290142196708032170441048136 697/85070591730466729623209871765718171955*t^2 + 744367677638682462236002163974 69846118676/85070591730466729623209871765718171955*t - 744367677637316376059836 69966543681076444/85070591730466729623209871765718171955)*x + (54/8507059173046 7006729623209871765718171955*t^5 + 19342813113869251167387394/85070591730466729 701623209871765718171955*t^4 - 77371252455674916762549976/850705917304667296232 70209871765718171955*t^3 - 42535295865117307932921126639575760427/8507059173046 7036729623209871765718171955*t^2 + 85070591730773796781391952391721450758/85070 704591730466729623209871765718171955*t + 23384026197336981987123709535795926763 705206176932728/85070591730466729623209871765718171955) 1] 706 707x^6 + 10/7*x^5 - 867/49*x^4 - 76/245*x^3 + 3148/35*x^2 - 25944/245*x + 48771 708/1225 709 710[ x - 1 1] 711 712[ x + 1 1] 713 714[x^2 - 5 1] 715 716[x^2 - 2 1] 717 718 719[ x + 1 1] 720 721[ x^2 + 1 1] 722 723[ x^4 - x^3 + x^2 - x + 1 1] 724 725[ x^4 + 1 1] 726 727[ x^4 + x^3 + x^2 + x + 1 1] 728 729[ x^8 - x^6 + x^4 - x^2 + 1 1] 730 731[ x^8 + 1 1] 732 733[ x^16 - x^12 + x^8 - x^4 + 1 1] 734 735[x^32 - x^24 + x^16 - x^8 + 1 1] 736 73710 73810 739[x + (-314226370217524044*y + 1473852319020386314), x + (314226370217524044* 740y - 1473852319020386314)]~ 741[x - 2*y, x - y, x + y, x + 2*y]~ 742[x - y, x + y]~ 743[0] 744[-1/2] 745[-1/2, 1/2] 746[-1] 747[Mod(-1/55*y^3 + 1/110*y^2 - 57/110*y + 1/110, y^4 + 57*y^2 + 661), Mod(1/55 748*y^3 + 1/110*y^2 + 57/110*y + 1/110, y^4 + 57*y^2 + 661)] 749[Mod(-1/55*y^3 + 1/110*y^2 - 57/110*y + 1/110, y^4 + 57*y^2 + 661), Mod(1/55 750*y^3 + 1/110*y^2 + 57/110*y + 1/110, y^4 + 57*y^2 + 661)] 751[Mod(-1/55*y^3 + 1/110*y^2 - 57/110*y + 1/110, y^4 + 57*y^2 + 661), Mod(1/55 752*y^3 + 1/110*y^2 + 57/110*y + 1/110, y^4 + 57*y^2 + 661)] 753[Mod(-44*a + 328/3, a^2 - a + 3), Mod(-40*a - 80/3, a^2 - a + 3)] 754[-2, 2] 755 756[x^4 - 10/121*x^2 + 1/14641 1] 757 758 759[ x - 1 1] 760 761[ x + 1 1] 762 763[x + Mod(-y^5, y^8 - y^6 + y^4 - y^2 + 1) 1] 764 765[ x + Mod(y^5, y^8 - y^6 + y^4 - y^2 + 1) 1] 766 7672 768[1, 1, 4, 4, 5, 5]~ 7691 770 771[y - t^5 2] 772 773[y + t^5 1] 774 775 *** at top-level: polhensellift(x^2+x+1,[x+a,x+a+1],2,10) 776 *** ^--------------------------------------- 777 *** polhensellift: incorrect type in polhensellift [not in Z[X]] (t_POL). 778Total time spent: 7845 779