*** Warning: new stack size = 16000000 (15.259 Mbytes). [x^72 - 291*x^70 + 168*x^69 + 40380*x^68 - 48588*x^67 - 3528919*x^66 + 66721 20*x^65 + 215657160*x^64 - 575538144*x^63 - 9642387423*x^62 + 34735086786*x^ 61 + 318475831783*x^60 - 1543992152304*x^59 - 7526047084203*x^58 + 517099213 23996*x^57 + 110268119466273*x^56 - 1306863903654948*x^55 - 197687339387338* x^54 + 24340617020480994*x^53 - 37674206381844006*x^52 - 309388136734870296* x^51 + 1097175021601270233*x^50 + 1965430743178095924*x^49 - 170577413076819 44498*x^48 + 12695705864721864408*x^47 + 149941210123858078557*x^46 - 449449 010694960248724*x^45 - 360137445013361079753*x^44 + 4743771886303072354536*x ^43 - 7957480107528139931362*x^42 - 20006312987061736459890*x^41 + 103127662 005251951018025*x^40 - 57922725775374790826892*x^39 - 5753749773364770608784 06*x^38 + 1141042155363070337681952*x^37 + 2107623272811930164219492*x^36 - 8555883275792119671168984*x^35 - 6622038332271478648217502*x^34 + 6778849907 3804904961005264*x^33 - 62194621346216574281355513*x^32 - 298503076979390816 950994616*x^31 + 935868776923024509133161567*x^30 - 602191893688026944562387 144*x^29 - 2378403718028116295265005703*x^28 + 7144715267789671188060423636* x^27 - 8264313767410946129053876314*x^26 - 2988303993119955116599622124*x^25 + 36320303706133493815706370331*x^24 - 93405543373036036850518472592*x^23 + 137892731303549623166716872621*x^22 - 73374564495372153466268524626*x^21 - 180690507689854149951443988039*x^20 + 506199649638427572646328975856*x^19 - 511453665473658325356669209047*x^18 - 183193264910244539106552118338*x^17 + 1423840911419731272911578335897*x^16 - 2367314022969857609246689985844*x^15 + 2236677523353346112926136338695*x^14 - 1548489683091587051973217338168*x^1 3 + 2105049137205776145162583648404*x^12 - 4754348311294629767834593856064*x ^11 + 7567806891220394207855512254933*x^10 - 7605431066578089163623568649610 *x^9 + 3882625664788999249342771140339*x^8 + 1356469287400668040516453202076 *x^7 - 3841355512345259545848813224621*x^6 + 2330504083587501732658867007532 *x^5 - 169172628407290891217225606775*x^4 - 398965703199322569698936377044*x ^3 + 198978398979453484569202793808*x^2 - 60597282938946837445378411698*x + 12280639561039083425818958713]~ [x^48 + 12*x^46 + 948*x^44 + 7200*x^42 + 152361*x^40 + 815832*x^38 + 9475380 *x^36 + 44654004*x^34 + 299137536*x^32 + 1335241260*x^30 + 5029216452*x^28 + 15282825984*x^26 + 37737671337*x^24 + 79579803672*x^22 + 143658877428*x^20 + 222699104460*x^18 + 303698198961*x^16 + 348787956312*x^14 + 312863646960*x ^12 + 212893847424*x^10 + 111407984496*x^8 + 43762394880*x^6 + 11836253952*x ^4 + 1904684544*x^2 + 136048896]~ [x^48 - 104*x^46 + 4664*x^44 - 122476*x^42 + 2137838*x^40 - 26567700*x^38 + 245144964*x^36 - 1725955872*x^34 + 9441692003*x^32 - 40611588644*x^30 + 1383 56971048*x^28 - 374714866240*x^26 + 807289826646*x^24 - 1380693858220*x^22 + 1866021172640*x^20 - 1978766780068*x^18 + 1630151673857*x^16 - 102950530102 4*x^14 + 489498952012*x^12 - 170832297056*x^10 + 42133382284*x^8 - 690450713 6*x^6 + 669868016*x^4 - 28899680*x^2 + 16]~ [x^64 - 6384*x^62 + 18261761*x^60 - 31231019568*x^58 + 35925400902280*x^56 - 29635423138225800*x^54 + 18244443900381139917*x^52 - 8609789775431197305288 *x^50 + 3173715440318358526295493*x^48 - 926253189958924421506713024*x^46 + 216130107574547887816493973792*x^44 - 40600173780591579547211667354912*x^42 + 6168621134132051706341715912515370*x^40 - 76013943427734813586799139295141 5744*x^38 + 76052955647065900426700689494084391434*x^36 - 617531184355441677 2593815034596603661344*x^34 + 406137362468726923132369140307868626461744*x^3 2 - 21559959594011538596615817038079394912524336*x^30 + 91912201022866770299 8458013093798368177514170*x^28 - 3125139901367629320825272825691018301064633 1888*x^26 + 840017792466500823059432352741453680599704357258*x^24 - 17651171 087877975905738341268934550365403253370816*x^22 + 28594069425611136664663397 3109729677687028435758880*x^20 - 3510138236669349338216717168753743720690200 440965920*x^18 + 31970659328447652254136627725804141367170891626180389*x^16 - 210577501276259853380917767547980363666145460503950096*x^14 + 972633665701 140285445722173171004563157651576027463941*x^12 - 30387893683293821798844628 51269146550248145196800679728*x^10 + 615892792889658839667059092889638564907 5890120481042824*x^8 - 76951350792700777906576936340585240393085356418600329 04*x^6 + 5510293734552561962521574495431679567021222445632508873*x^4 - 19987 78331104544904932086470347413669495129560426038280*x^2 + 2738927449953408337 77347939263771534786080723599733441]~ [x^8 + (-1531349/22619785297920*y^14 + 559416343/10977248747520*y^12 - 25247 684591/1995863408640*y^10 + 103982297321/80715064320*y^8 - 76714376249/12229 55520*y^6 + 111774992009/74186640*y^4 - 26292202739/1686060*y^2 + 1564021312 /54549)*x^6 + (19000645309/37322645741568*y^14 - 96552535399/249482926080*y^ 12 + 536960987254321/5488624373760*y^10 - 4194944378809/407651840*y^8 + 5247 721708074653/10089383040*y^6 - 10860233882239/843030*y^4 + 630194805031381/4 636665*y^2 - 796961577488/2755)*x^4 + (-29172555558095/18661322870784*y^14 + 5062445860141/4248161280*y^12 - 92318704732060083/304923576320*y^10 + 64819 3176741591037/20178766080*y^8 - 8268979844194150111/5044691520*y^6 + 1896413 90835405983/4636665*y^4 - 223283186783900366/515185*y^2 + 8946625664367872/9 405)*x^2 + (41018074761203773/23326653588480*y^14 - 409009053454624763/30492 3576320*y^12 + 117044119382956746521/343039023360*y^10 - 2927890424340695147 291/80715064320*y^8 + 4678762405288733527739/2522345760*y^6 - 38206315875334 762391/824296*y^4 + 2278645136881067296952/4636665*y^2 - 2967400235256172868 48/272745), x^8 + (-16146091/248817638277120*y^14 + 48843457/997931704320*y^ 12 - 267727721489/21954497495040*y^10 + 9174250019/7337733120*y^8 - 82557283 8631/13452510720*y^6 + 10012035071/6744240*y^4 - 286258292621/18546660*y^2 + 140187040/4959)*x^6 + (1723176289/3392967794688*y^14 - 1059662276341/274431 2186880*y^12 + 48715274000629/498965852160*y^10 - 69104247053959/6726255360* y^8 + 476508837255737/917216640*y^6 - 238731150890387/18546660*y^4 + 5725141 8840649/421515*y^2 - 26269467866896/90915)*x^4 + (-29113232197835/1866132287 0784*y^14 + 1631934517436717/1372156093440*y^12 - 92145545361015407/30492357 6320*y^10 + 323550303468175019/10089383040*y^8 - 8257197132303274099/5044691 520*y^6 + 378862459377191059/9273330*y^4 - 223115572203411654/515185*y^2 + 2 59332507639972352/272745)*x^2 + (40511288842122127/23326653588480*y^14 - 454 626079701495571/343039023360*y^12 + 231451885839430725263/686078046720*y^10 - 60389017554715183063/1681563840*y^8 + 2319938341838169992923/1261172880*y^ 6 - 42704610621363386060/927333*y^4 + 2268063476824046324248/4636665*y^2 - 9 8528590048656718144/90915), x^8 + (181633/186613228707840*y^14 - 6489/138601 62560*y^12 - 45386471/5488624373760*y^10 + 178250659/7337733120*y^8 - 259150 32257/10089383040*y^6 + 126060163/1498720*y^4 - 4457231129/4636665*y^2 + 945 4484/4959)*x^6 + (-11712673/1169988894720*y^14 + 2040142733/274431218688*y^1 2 - 93021416071/52522721280*y^10 + 1688263641205/10762008576*y^8 - 890698149 9371/1834433280*y^6 + 14859994827859/296746560*y^4 - 27539242721/421515*y^2 - 10412804654/90915)*x^4 + (-65739851389/2915831698560*y^14 + 8080067384671/ 548862437376*y^12 - 615919067582923/228692682240*y^10 + 7139625968047/558581 76*y^8 - 12035658240536459/5044691520*y^6 + 2909281718459207/148373280*y^4 - 114027481266257/1545555*y^2 + 26994839222348/272745)*x^2 + (351875661187594 13/746452914831360*y^14 - 175794408000830383/5488624373760*y^12 + 2827285081 9680893321/4390899499008*y^10 - 44274526240947916361/107620085760*y^8 + 4488 83263777097920391/40357532160*y^6 - 2698220779200958903/20465280*y^4 + 28100 59487221296958/4636665*y^2 - 81508587175798061/90915), x^8 + (3074279/248817 638277120*y^14 - 127157047/10977248747520*y^12 + 86499746437/21954497495040* y^10 - 2843672497/4747944960*y^8 + 109487803351/2690502144*y^6 - 89990421617 /74186640*y^4 + 52396810109/3709332*y^2 - 13670576288/272745)*x^6 + (-361812 87281/186613228707840*y^14 + 446988241097/2744312186880*y^12 - 2791944232079 /57774993408*y^10 + 85916604196211/13452510720*y^8 - 3999057670537517/100893 83040*y^6 + 3070998321176/272745*y^4 - 593787426492949/4636665*y^2 + 3730615 4735728/90915)*x^4 + (64206977604683/93306614353920*y^14 - 781339956430123/1 372156093440*y^12 + 151234315443075961/914770728960*y^10 - 42955239518225908 7/20178766080*y^8 + 1307386034599317571/1008938304*y^6 - 168786176615470804/ 4636665*y^4 + 127255299187877218/309111*y^2 - 351207138657683456/272745)*x^2 + (-18530706211095341/23326653588480*y^14 + 1798847927551103773/27443121868 80*y^12 - 16252626552763832987/85759755840*y^10 + 653145277562478020663/2690 5021440*y^8 - 742591759365166575365/504469152*y^6 + 1530656313511014482581/3 7093320*y^4 - 432314981823305760184/927333*y^2 + 131680859590220167616/90915 ), x^8 + (3692011/248817638277120*y^14 - 8644699/645720514560*y^12 + 9566281 9793/21954497495040*y^10 - 51309940321/80715064320*y^8 + 113348313275/269050 2144*y^6 - 91885783933/74186640*y^4 + 53072545513/3709332*y^2 - 13761686272/ 272745)*x^6 + (-1260198851/6434938920960*y^14 + 450923192773/2744312186880*y ^12 - 53418556138459/1097724874752*y^10 + 43167277559347/6726255360*y^8 - 40 11960654104563/10089383040*y^6 + 209270128922867/18546660*y^4 - 594571618949 411/4636665*y^2 + 37329116221552/90915)*x^4 + (3385038072653/4910874439680*y ^14 - 782493705352717/1372156093440*y^12 + 151409707529271949/914770728960*y ^10 - 214941552982993939/10089383040*y^8 + 1308011461994334679/1008938304*y^ 6 - 337682297591934347/9273330*y^4 + 127297072825004458/309111*y^2 - 3513766 27887928064/272745)*x^2 + (-18884591927033039/23326653588480*y^14 + 76223129 967189533/114346341120*y^12 - 131815203944675271599/686078046720*y^10 + 1236 67566697208858791/5044691520*y^8 - 373763922533488473487/252234576*y^6 + 116 278861122276976/2805*y^4 - 433850608352102566712/927333*y^2 + 39636262539108 2293312/272745), x^8 + (1192483/67859355893760*y^14 - 46386469/3659082915840 *y^12 + 5757671539/1995863408640*y^10 - 9816397597/40357532160*y^8 + 3150430 0903/3668866560*y^6 - 6499115329/49457760*y^4 + 1346529151/1686060*y^2 - 127 928104/54549)*x^6 + (-377107043/23326653588480*y^14 + 1193294195/99793170432 *y^12 - 3898646479517/1372156093440*y^10 + 83324546651/326121472*y^8 - 90270 807160297/10089383040*y^6 + 203979621263/1586880*y^4 - 6453521496733/9273330 *y^2 + 3740713928/2755)*x^4 + (-55838547409/2455437219840*y^14 + 81535888034 65/548862437376*y^12 - 1244323126435859/457385364480*y^10 + 2090484253417429 /16143012864*y^8 - 12134063030016491/5044691520*y^6 + 165453933807769/872784 0*y^4 - 93498888636323/1545555*y^2 + 14213849400992/272745)*x^2 + (118472423 79734429/248817638277120*y^14 - 177668994581955997/5488624373760*y^12 + 2861 1858755746067827/4390899499008*y^10 - 134874618655070911657/322860257280*y^8 + 152404618518667558583/13452510720*y^6 - 4203829397104185047/31236480*y^4 + 2871462472553380217/4636665*y^2 - 250004160368295232/272745), x^8 + (64582 73/186613228707840*y^14 - 3719191/152461788160*y^12 + 29024100473/5488624373 760*y^10 - 32135840999/80715064320*y^8 + 23297956603/2017876608*y^6 - 211350 0871/16485920*y^4 + 408266029/927333*y^2 - 316594868/272745)*x^6 + (-1110768 17459/373226457415680*y^14 + 18106275053/85759755840*y^12 - 509560146214411/ 10977248747520*y^10 + 195109797344857/53810042880*y^8 - 2298235154532701/201 78766080*y^6 + 87655160117623/59349312*y^4 - 32564739888281/4636665*y^2 + 96 8008850258/90915)*x^4 + (83518124920963/93306614353920*y^14 - 91728776500189 /144437483520*y^12 + 42591591062192407/304923576320*y^10 - 88154696029372417 3/80715064320*y^8 + 86773202255301785/252234576*y^6 - 665429827885409833/148 373280*y^4 + 2218979482348247/103037*y^2 - 8878201815711796/272745)*x^2 + (- 246642305436057809/248817638277120*y^14 + 3860028638255806541/5488624373760* y^12 - 3395672666468176433467/21954497495040*y^10 + 3904062052800146734661/3 22860257280*y^8 - 1024736920815948655471/2690502144*y^6 + 294713641271965414 9381/593493120*y^4 - 22118315020431326588/927333*y^2 + 9833627869746746873/2 72745), x^8 + (38996983/746452914831360*y^14 - 45610777/1219694305280*y^12 + 184040442823/21954497495040*y^10 - 6929849477/10089383040*y^8 + 19138097395 1/8071506432*y^6 - 6002605199/16485920*y^4 + 8595505583/3709332*y^2 - 144096 9832/272745)*x^6 + (-56627432063/186613228707840*y^14 + 1182421824943/548862 4373760*y^12 - 260406121516747/5488624373760*y^10 + 200262331426543/53810042 880*y^8 - 297480952643123/2522345760*y^6 + 92330503999361/59349312*y^4 - 710 13869059163/9273330*y^2 + 1098811062152/90915)*x^4 + (83613652919587/9330661 4353920*y^14 - 1744863264395929/2744312186880*y^12 + 42642092214501583/30492 3576320*y^10 - 882655350615967327/80715064320*y^8 + 173789516969368021/50446 9152*y^6 - 666541614309814567/148373280*y^4 + 2223816735480437/103037*y^2 - 306949426473056/9405)*x^2 + (-742452471836109913/746452914831360*y^14 + 3873 208908206849579/5488624373760*y^12 - 3407275945042823422193/21954497495040*y ^10 + 1305807204358253484253/107620085760*y^8 - 3084740075192713038863/80715 06432*y^6 + 173955024027274456667/34911360*y^4 - 22194121937138006191/927333 *y^2 + 3289110492164463424/90915)]~ [x^2 + (-872560111/1750783970525184*y^18 - 103213549/291797328420864*y^16 - 4176139757/7204872306688*y^14 - 4416978655/10807308460032*y^12 - 13066402491 575/72949332105216*y^10 - 215588492387/1736888859648*y^8 - 892238763206647/1 09423998157824*y^6 - 89512294102405/18237333026304*y^4 - 18290521472141/2532 96292032*y^2 - 284080544581/14072016224), x^2 + (872560111/1750783970525184* y^18 - 103213549/291797328420864*y^16 + 4176139757/7204872306688*y^14 - 4416 978655/10807308460032*y^12 + 13066402491575/72949332105216*y^10 - 2155884923 87/1736888859648*y^8 + 892238763206647/109423998157824*y^6 - 89512294102405/ 18237333026304*y^4 + 18290521472141/253296292032*y^2 - 284080544581/14072016 224), x^2 + (-10955729699/63028222938906624*y^19 + 1635275/72949332105216*y^ 17 - 471200483153/2334378627366912*y^15 + 68074817/2701827115008*y^13 - 1631 44665311371/2626175955787776*y^11 + 10788711995/1519777752192*y^9 - 10805585 507756651/3939263933681664*y^7 + 476476835441/4559333256576*y^5 - 6980744239 9435/3039555504384*y^3 - 4848316573/3518004056*y)*x + (-240314803/1313087977 893888*y^18 + 2177899/20842666315776*y^16 - 10352388961/48632888070144*y^14 + 650809375/5403654230016*y^12 - 3599460371687/54711999078912*y^10 + 2204400 27581/6079111008768*y^8 - 35061053609941/11723999802624*y^6 + 11692976745493 /9118666513152*y^4 - 1447968833323/63324073008*y^2 - 24126350651/7036008112) , x^2 + (-4768637809/63028222938906624*y^19 - 116295749/1750783970525184*y^1 7 - 205045552843/2334378627366912*y^15 - 4961577191/64843850760192*y^13 - 10 134809023919/375167993683968*y^11 - 1681738838629/72949332105216*y^9 - 46714 70958726025/3939263933681664*y^7 - 93324108785933/109423998157824*y^5 - 2896 7498100409/3039555504384*y^3 - 245294011997/84432097344*y)*x + (-496188853/1 750783970525184*y^18 + 8017631/48632888070144*y^16 - 338265737/1029267472384 *y^14 + 338938437/1801218076672*y^12 - 7349975872277/72949332105216*y^10 + 1 12959067435/2026370336256*y^8 - 471966038240125/109423998157824*y^6 + 558940 2408335/3039555504384*y^4 - 8241706316231/253296292032*y^2 + 1651761915/1005 144016), x^2 + (-550587305/9004031848415232*y^19 - 8520109/250111995789312*y ^17 - 165341932517/2334378627366912*y^15 - 2570761369/64843850760192*y^13 - 56851147336519/2626175955787776*y^11 - 895619999627/72949332105216*y^9 - 356 0831957116295/3939263933681664*y^7 - 62314525927891/109423998157824*y^5 - 18 560457963575/3039555504384*y^3 - 371119778467/84432097344*y)*x + (496188853/ 1750783970525184*y^18 + 8017631/48632888070144*y^16 + 338265737/102926747238 4*y^14 + 338938437/1801218076672*y^12 + 7349975872277/72949332105216*y^10 + 112959067435/2026370336256*y^8 + 471966038240125/109423998157824*y^6 + 55894 02408335/3039555504384*y^4 + 8241706316231/253296292032*y^2 + 1651761915/100 5144016), x^2 + (-21512837/1313087977893888*y^19 - 102134281/175078397052518 4*y^17 - 932348591/48632888070144*y^15 - 4407863827/64843850760192*y^13 - 16 4654686001/27355999539456*y^11 - 1540975821641/72949332105216*y^9 - 25030796 719091/82067998618368*y^7 - 110013175606897/109423998157824*y^5 - 7018393859 /2261574036*y^3 - 296247471259/28144032448*y)*x + (240314803/131308797789388 8*y^18 + 2177899/20842666315776*y^16 + 10352388961/48632888070144*y^14 + 650 809375/5403654230016*y^12 + 3599460371687/54711999078912*y^10 + 220440027581 /6079111008768*y^8 + 35061053609941/11723999802624*y^6 + 11692976745493/9118 666513152*y^4 + 1447968833323/63324073008*y^2 - 24126350651/7036008112), x^2 + (21512837/1313087977893888*y^19 + 102134281/1750783970525184*y^17 + 93234 8591/48632888070144*y^15 + 4407863827/64843850760192*y^13 + 164654686001/273 55999539456*y^11 + 1540975821641/72949332105216*y^9 + 25030796719091/8206799 8618368*y^7 + 110013175606897/109423998157824*y^5 + 7018393859/2261574036*y^ 3 + 296247471259/28144032448*y)*x + (240314803/1313087977893888*y^18 + 21778 99/20842666315776*y^16 + 10352388961/48632888070144*y^14 + 650809375/5403654 230016*y^12 + 3599460371687/54711999078912*y^10 + 220440027581/6079111008768 *y^8 + 35061053609941/11723999802624*y^6 + 11692976745493/9118666513152*y^4 + 1447968833323/63324073008*y^2 - 24126350651/7036008112), x^2 + (550587305/ 9004031848415232*y^19 + 8520109/250111995789312*y^17 + 165341932517/23343786 27366912*y^15 + 2570761369/64843850760192*y^13 + 56851147336519/262617595578 7776*y^11 + 895619999627/72949332105216*y^9 + 3560831957116295/3939263933681 664*y^7 + 62314525927891/109423998157824*y^5 + 18560457963575/3039555504384* y^3 + 371119778467/84432097344*y)*x + (496188853/1750783970525184*y^18 + 801 7631/48632888070144*y^16 + 338265737/1029267472384*y^14 + 338938437/18012180 76672*y^12 + 7349975872277/72949332105216*y^10 + 112959067435/2026370336256* y^8 + 471966038240125/109423998157824*y^6 + 5589402408335/3039555504384*y^4 + 8241706316231/253296292032*y^2 + 1651761915/1005144016), x^2 + (4768637809 /63028222938906624*y^19 + 116295749/1750783970525184*y^17 + 205045552843/233 4378627366912*y^15 + 4961577191/64843850760192*y^13 + 10134809023919/3751679 93683968*y^11 + 1681738838629/72949332105216*y^9 + 4671470958726025/39392639 33681664*y^7 + 93324108785933/109423998157824*y^5 + 28967498100409/303955550 4384*y^3 + 245294011997/84432097344*y)*x + (-496188853/1750783970525184*y^18 + 8017631/48632888070144*y^16 - 338265737/1029267472384*y^14 + 338938437/18 01218076672*y^12 - 7349975872277/72949332105216*y^10 + 112959067435/20263703 36256*y^8 - 471966038240125/109423998157824*y^6 + 5589402408335/303955550438 4*y^4 - 8241706316231/253296292032*y^2 + 1651761915/1005144016), x^2 + (1095 5729699/63028222938906624*y^19 - 1635275/72949332105216*y^17 + 471200483153/ 2334378627366912*y^15 - 68074817/2701827115008*y^13 + 163144665311371/262617 5955787776*y^11 - 10788711995/1519777752192*y^9 + 10805585507756651/39392639 33681664*y^7 - 476476835441/4559333256576*y^5 + 69807442399435/3039555504384 *y^3 + 4848316573/3518004056*y)*x + (-240314803/1313087977893888*y^18 + 2177 899/20842666315776*y^16 - 10352388961/48632888070144*y^14 + 650809375/540365 4230016*y^12 - 3599460371687/54711999078912*y^10 + 220440027581/607911100876 8*y^8 - 35061053609941/11723999802624*y^6 + 11692976745493/9118666513152*y^4 - 1447968833323/63324073008*y^2 - 24126350651/7036008112)]~ [x^24 + 69]~ [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* x^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* y^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]~ [x^2 + (-12035/386*y^15 + 8337/386*y^14 + 566267/772*y^13 - 392327/772*y^12 - 4449119/772*y^11 + 3083327/772*y^10 + 7320431/386*y^9 - 2537889/193*y^8 - 9975849/386*y^7 + 3461954/193*y^6 + 10712085/772*y^5 - 7445851/772*y^4 - 190 5321/772*y^3 + 1322419/772*y^2 + 25961/386*y - 17735/386), x^2 + (-7909/772* y^15 - 1879/772*y^14 + 93535/386*y^13 + 44921/772*y^12 - 371330/193*y^11 - 9 0974/193*y^10 + 4991389/772*y^9 + 317305/193*y^8 - 7127131/772*y^7 - 1947859 /772*y^6 + 2110371/386*y^5 + 1295397/772*y^4 - 224091/193*y^3 - 160649/386*y ^2 + 19739/772*y + 4029/386), x^2 + (7909/772*y^15 - 1879/772*y^14 - 93535/3 86*y^13 + 44921/772*y^12 + 371330/193*y^11 - 90974/193*y^10 - 4991389/772*y^ 9 + 317305/193*y^8 + 7127131/772*y^7 - 1947859/772*y^6 - 2110371/386*y^5 + 1 295397/772*y^4 + 224091/193*y^3 - 160649/386*y^2 - 19739/772*y + 4029/386), x^2 + (12035/386*y^15 + 8337/386*y^14 - 566267/772*y^13 - 392327/772*y^12 + 4449119/772*y^11 + 3083327/772*y^10 - 7320431/386*y^9 - 2537889/193*y^8 + 99 75849/386*y^7 + 3461954/193*y^6 - 10712085/772*y^5 - 7445851/772*y^4 + 19053 21/772*y^3 + 1322419/772*y^2 - 25961/386*y - 17735/386), x^4 + (541/386*y^14 - 12373/386*y^12 + 46089/193*y^10 - 137477/193*y^8 + 311469/386*y^6 - 14604 9/386*y^4 + 12308/193*y^2 - 686/193)*x^2 + (-765/772*y^14 + 8659/386*y^12 - 126401/772*y^10 + 90322/193*y^8 - 369401/772*y^6 + 38430/193*y^4 - 23865/772 *y^2 + 553/386), x^4 + (2052/193*y^14 - 96741/386*y^12 + 763031/386*y^10 - 1 265475/193*y^8 + 1759047/193*y^6 - 2000657/386*y^4 + 430823/386*y^2 - 13920/ 193)*x^2 + (-28293/772*y^14 + 166359/193*y^12 - 5225705/772*y^10 + 4295689/1 93*y^8 - 23400329/772*y^6 + 6320077/386*y^4 - 2369321/772*y^2 + 45727/386), x^4 + (-5155/193*y^15 - 15405/772*y^14 + 241769/386*y^13 + 180325/386*y^12 - 944044/193*y^11 - 2807115/772*y^10 + 3072303/193*y^9 + 2267740/193*y^8 - 41 02400/193*y^7 - 11896515/772*y^6 + 4334901/386*y^5 + 2988835/386*y^4 - 43236 3/193*y^3 - 1014845/772*y^2 + 23130/193*y + 3602/193)*x^2 + (14406/193*y^15 + 38997/772*y^14 - 338423/193*y^13 - 455769/386*y^12 + 2652454/193*y^11 + 70 72893/772*y^10 - 8698762/193*y^9 - 11354279/386*y^8 + 23683093/386*y^7 + 293 19183/772*y^6 - 13169735/386*y^5 - 7082173/386*y^4 + 3014249/386*y^3 + 21677 71/772*y^2 - 244333/386*y + 2027/386), x^4 + (-4705/193*y^15 - 4035/772*y^14 + 220691/386*y^13 + 47935/386*y^12 - 1722817/386*y^11 - 767525/772*y^10 + 5 588151/386*y^9 + 654320/193*y^8 - 3658160/193*y^7 - 3833005/772*y^6 + 341354 7/386*y^5 + 1159745/386*y^4 - 194425/386*y^3 - 441715/772*y^2 - 129025/386*y - 9518/193)*x^2 + (69045/772*y^15 + 17477/772*y^14 - 1634153/772*y^13 - 208 093/386*y^12 + 12990539/772*y^11 + 3347413/772*y^10 - 43749763/772*y^9 - 576 5109/386*y^8 + 62724993/772*y^7 + 17320883/772*y^6 - 37352513/772*y^5 - 5621 249/386*y^4 + 7969659/772*y^3 + 2742727/772*y^2 - 182407/772*y - 34007/386), x^4 + (4705/193*y^15 - 4035/772*y^14 - 220691/386*y^13 + 47935/386*y^12 + 1 722817/386*y^11 - 767525/772*y^10 - 5588151/386*y^9 + 654320/193*y^8 + 36581 60/193*y^7 - 3833005/772*y^6 - 3413547/386*y^5 + 1159745/386*y^4 + 194425/38 6*y^3 - 441715/772*y^2 + 129025/386*y - 9518/193)*x^2 + (-69045/772*y^15 + 1 7477/772*y^14 + 1634153/772*y^13 - 208093/386*y^12 - 12990539/772*y^11 + 334 7413/772*y^10 + 43749763/772*y^9 - 5765109/386*y^8 - 62724993/772*y^7 + 1732 0883/772*y^6 + 37352513/772*y^5 - 5621249/386*y^4 - 7969659/772*y^3 + 274272 7/772*y^2 + 182407/772*y - 34007/386), x^4 + (5155/193*y^15 - 15405/772*y^14 - 241769/386*y^13 + 180325/386*y^12 + 944044/193*y^11 - 2807115/772*y^10 - 3072303/193*y^9 + 2267740/193*y^8 + 4102400/193*y^7 - 11896515/772*y^6 - 433 4901/386*y^5 + 2988835/386*y^4 + 432363/193*y^3 - 1014845/772*y^2 - 23130/19 3*y + 3602/193)*x^2 + (-14406/193*y^15 + 38997/772*y^14 + 338423/193*y^13 - 455769/386*y^12 - 2652454/193*y^11 + 7072893/772*y^10 + 8698762/193*y^9 - 11 354279/386*y^8 - 23683093/386*y^7 + 29319183/772*y^6 + 13169735/386*y^5 - 70 82173/386*y^4 - 3014249/386*y^3 + 2167771/772*y^2 + 244333/386*y + 2027/386) ]~ [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 ^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 /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 )*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^ 14 - 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 + (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/ 2*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 ^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 0 + 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 - 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 /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 *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^ 14 + 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)* x + (-1/2*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^14 + 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)*x + (-1/2*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^14 - 1/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*y^12 - y^8 - 5/2*y^4 - 2), x^4 + (2*y^13 + 10*y^5)*x^3 + (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 - 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 + ( -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) *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) *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* y^5 + 3*y)*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)*x^3 + (-3/2*y^14 + 5/2*y^10 - 17/2*y^6 + 23/2*y^2)*x^2 + (-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^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^2)*x^2 + (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 ^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^ 2)*x^2 + (-3*y^13 - y^9 - 17*y^5 - 3*y)*x + (-1/2*y^12 + y^8 - 5/2*y^4 + 4), 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 ^2 + (y^13 - y^9 + 7*y^5 - 7*y)*x + (1/2*y^12 + y^8 + 5/2*y^4 + 4)]~ [x^64 + 192*x^62 + 17568*x^60 + 1019520*x^58 + 42131676*x^56 + 1319651424*x^ 54 + 32559096528*x^52 + 649228312512*x^50 + 10651553826426*x^48 + 1456394385 52224*x^46 + 1674922821206832*x^44 + 16307859539653056*x^42 + 13502367773216 7696*x^40 + 953248899971965824*x^38 + 5745239175305568960*x^36 + 29556064271 185194240*x^34 + 129595725382952883843*x^32 + 483002100692576612640*x^30 + 1 523870714370199019760*x^28 + 4047489983524093705152*x^26 + 89858128286488620 19536*x^24 + 16525310345394167002752*x^22 + 24893927149975603242048*x^20 + 3 0294355815129821928192*x^18 + 29274561574319887883226*x^16 + 219878017711043 40121824*x^14 + 12494344840480632094992*x^12 + 5187763623118143696192*x^10 + 1502211081063677383836*x^8 + 283567347515314680480*x^6 + 311461554388845258 72*x^4 + 1543354925530003776*x^2 + 8057044481403681]~ [x + (-7/16*y^29 - 5/32*y^25 - 97/8*y^21 - 139/32*y^17 - 435/16*y^13 - 323/3 2*y^9 - 21/4*y^5 - 77/32*y), x + (-11/32*y^29 - 1/8*y^25 - 309/32*y^21 - 55/ 16*y^17 - 797/32*y^13 - 7*y^9 - 355/32*y^5 + 9/16*y), x + (11/32*y^29 + 1/8* y^25 + 309/32*y^21 + 55/16*y^17 + 797/32*y^13 + 7*y^9 + 355/32*y^5 - 9/16*y) , x + (7/16*y^29 + 5/32*y^25 + 97/8*y^21 + 139/32*y^17 + 435/16*y^13 + 323/3 2*y^9 + 21/4*y^5 + 77/32*y), x + (-21/32*y^31 - 587/32*y^23 + 1/16*y^19 - 14 43/32*y^15 + 13/8*y^11 - 541/32*y^7 + 21/16*y^3), x + (-5/16*y^31 - 5/32*y^2 7 - 35/4*y^23 - 139/32*y^19 - 349/16*y^15 - 323/32*y^11 - 57/8*y^7 - 109/32* y^3), x + (5/16*y^31 + 5/32*y^27 + 35/4*y^23 + 139/32*y^19 + 349/16*y^15 + 3 23/32*y^11 + 57/8*y^7 + 109/32*y^3), x + (21/32*y^31 + 587/32*y^23 - 1/16*y^ 19 + 1443/32*y^15 - 13/8*y^11 + 541/32*y^7 - 21/16*y^3), x^4 + (-13/4*y^24 - 91*y^16 - 909/4*y^8 - 169/2), x^4 + (-1/4*y^24 - 7*y^16 - 57/4*y^8 - 1/2)]~ [8711099/70204123*y^14 - 3396450/70204123*y^13 - 230089978/70204123*y^12 + 7 1459644/70204123*y^11 + 2039293754/70204123*y^10 - 522502724/70204123*y^9 - 7578045032/70204123*y^8 + 136410216/6382193*y^7 + 11598831422/70204123*y^6 - 1582740050/70204123*y^5 - 6466526698/70204123*y^4 + 712163508/70204123*y^3 + 865017354/70204123*y^2 - 11706800/70204123*y + 7921687/70204123] [y, -123209112482/559553426209*y^11 - 236161397417/559553426209*y^10 + 52225 05497467/559553426209*y^9 + 7627164004768/559553426209*y^8 - 68684785347690/ 559553426209*y^7 - 98327585435469/559553426209*y^6 + 334508906676131/5595534 26209*y^5 + 508054669424553/559553426209*y^4 - 499853398148011/559553426209* y^3 - 780815391953932/559553426209*y^2 + 222263541657120/559553426209*y + 69 71304961116/11905392047, -176690268281/1119106852418*y^11 - 641210922141/223 8213704836*y^10 + 3748626002639/559553426209*y^9 + 20339566453621/2238213704 836*y^8 - 49228932581896/559553426209*y^7 - 262748733927015/2238213704836*y^ 6 + 958463738831775/2238213704836*y^5 + 1369627950576313/2238213704836*y^4 - 1439017147702531/2238213704836*y^3 - 2121737405539667/2238213704836*y^2 + 6 35967216650047/2238213704836*y + 19194169373855/47621568188, -68393259315/11 19106852418*y^11 - 143769468519/1119106852418*y^10 + 2890095068571/111910685 2418*y^9 + 4773072512403/1119106852418*y^8 - 38008182942981/1119106852418*y^ 7 - 30714902181882/559553426209*y^6 + 92097658832451/559553426209*y^5 + 1570 24332093039/559553426209*y^4 - 134021586074273/559553426209*y^3 - 2404025913 19962/559553426209*y^2 + 58771325675463/559553426209*y + 4293056883813/23810 784094, -26071422312/559553426209*y^11 - 45431912634/559553426209*y^10 + 110 4266993455/559553426209*y^9 + 1416464504385/559553426209*y^8 - 1440773326506 3/559553426209*y^7 - 18255285107310/559553426209*y^6 + 69227537719650/559553 426209*y^5 + 94877281869432/559553426209*y^4 - 100252280561328/559553426209* y^3 - 143113043669604/559553426209*y^2 + 41073387952215/559553426209*y + 128 0223975324/11905392047, -16163557893/1119106852418*y^11 - 64908872441/223821 3704836*y^10 + 685522417391/1119106852418*y^9 + 2130089587017/2238213704836* y^8 - 4531221497592/559553426209*y^7 - 27490869176393/2238213704836*y^6 + 89 319951302323/2238213704836*y^5 + 141812611520979/2238213704836*y^4 - 1390748 45426265/2238213704836*y^3 - 220351698213059/2238213704836*y^2 + 72725691407 453/2238213704836*y + 2005246545505/47621568188, 9609209575/2238213704836*y^ 11 + 25387385845/559553426209*y^10 - 383645617715/2238213704836*y^9 - 208031 3216715/1119106852418*y^8 + 6033944605985/2238213704836*y^7 + 53081257123225 /2238213704836*y^6 - 33975296862719/2238213704836*y^5 - 255089221619815/2238 213704836*y^4 + 47525895430055/2238213704836*y^3 + 398412597852115/223821370 4836*y^2 - 30904572571305/2238213704836*y - 890343326655/11905392047, 522817 60559/2238213704836*y^11 + 14008471016/559553426209*y^10 - 2227004686929/223 8213704836*y^9 - 336992949231/559553426209*y^8 + 28726688292139/223821370483 6*y^7 + 17917872421753/2238213704836*y^6 - 137376604832131/2238213704836*y^5 - 105226511459813/2238213704836*y^4 + 207364021022899/2238213704836*y^3 + 1 70780696189363/2238213704836*y^2 - 84647799904795/2238213704836*y - 44402858 6648/11905392047, 106577461171/2238213704836*y^11 + 236835106673/22382137048 36*y^10 - 4499294217001/2238213704836*y^9 - 8003166405117/2238213704836*y^8 + 59306288158573/2238213704836*y^7 + 25836461923340/559553426209*y^6 - 72093 028502701/559553426209*y^5 - 264172433170095/1119106852418*y^4 + 21076054618 3675/1119106852418*y^3 + 203797855675948/559553426209*y^2 - 94758333876515/1 119106852418*y - 7259569285101/47621568188, 175225361355/2238213704836*y^11 + 367043962553/2238213704836*y^10 - 7404910374729/2238213704836*y^9 - 121761 49738023/2238213704836*y^8 + 97370244941211/2238213704836*y^7 + 784051152149 35/1119106852418*y^6 - 117954333048705/559553426209*y^5 - 401317015113399/11 19106852418*y^4 + 171430955359538/559553426209*y^3 + 307321505664217/5595534 26209*y^2 - 148696095658675/1119106852418*y - 10923889360787/47621568188, 18 4746017659/1119106852418*y^11 + 182236626649/559553426209*y^10 - 78287971960 99/1119106852418*y^9 - 5941166792275/559553426209*y^8 + 103098612489213/1119 106852418*y^7 + 153130332934513/1119106852418*y^6 - 502641225832273/11191068 52418*y^5 - 789225051651289/1119106852418*y^4 + 749848149414089/111910685241 8*y^3 + 1216440499421323/1119106852418*y^2 - 334431034048089/1119106852418*y - 5475399545957/11905392047, 421608384/2321798449*y^11 + 1306271719/4643596 898*y^10 - 17925705039/2321798449*y^9 - 38874965891/4643596898*y^8 + 2342247 56928/2321798449*y^7 + 502105436649/4643596898*y^6 - 2270324281083/464359689 8*y^5 - 2658757184017/4643596898*y^4 + 3428983243105/4643596898*y^3 + 405157 9820087/4643596898*y^2 - 1510458181035/4643596898*y - 36134279083/98799934] [x + (-y + 1) 1] [x^2 + (y + 2)*x + (y^2 + y + 1) 1] [x^2 + (y + 2)*x + (1/25*y^8 - 3/5*y^5 - 87/25*y^2 + y + 1) 1] [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^ 5 + 7/3*y^4 - 87/25*y^2 + 79/15*y + 1) 1] [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 - 7/3*y^4 - 87/25*y^2 - 94/15*y + 1) 1] [ x - y 3] [ x^2 + y 4] [x^3 - y*x + y 5] [x - y 1] [x + y 1] [x - y 1] [x + y 1] [ x + 1 3] [2*x + 1 2] 9 [x - y, x + y, x + (-373/2372*y^15 - 69/2372*y^13 + 2205/593*y^11 - 56641/47 44*y^9 + 30823/1186*y^7 - 16782/593*y^5 + 11109/593*y^3 - 15285/2372*y), x + (373/2372*y^15 + 69/2372*y^13 - 2205/593*y^11 + 56641/4744*y^9 - 30823/1186 *y^7 + 16782/593*y^5 - 11109/593*y^3 + 15285/2372*y), x^4 + (-231/1186*y^14 - 313/1186*y^12 + 10535/2372*y^10 - 5568/593*y^8 + 10658/593*y^6 - 4133/593* y^4 + 1731/1186*y^2 - 648/593)*x^2 + (81/1186*y^14 + 181/2372*y^12 - 937/593 *y^10 + 4313/1186*y^8 - 4207/593*y^6 + 5463/1186*y^4 - 1270/593*y^2 + 1883/5 93), x^4 + (-93/1186*y^14 - 49/1186*y^12 + 4457/2372*y^10 - 3058/593*y^8 + 6 170/593*y^6 - 6793/593*y^4 + 8429/1186*y^2 - 2140/593)*x^2 + (81/1186*y^14 + 181/2372*y^12 - 937/593*y^10 + 4313/1186*y^8 - 4207/593*y^6 + 5463/1186*y^4 - 1270/593*y^2 + 1883/593), x^4 + (159/2372*y^14 + 281/1186*y^12 - 3437/237 2*y^10 - 217/593*y^8 + 4085/1186*y^6 - 8339/593*y^4 + 12947/1186*y^2 + 146/5 93)*x^2 + (-81/1186*y^14 - 181/2372*y^12 + 937/593*y^10 - 4313/1186*y^8 + 42 07/593*y^6 - 5463/1186*y^4 + 1270/593*y^2 + 489/593)]~ [Mod(-y, y^16 - 24*y^12 + 80*y^10 - 172*y^8 + 192*y^6 - 112*y^4 + 32*y^2 + 4 ), Mod(y, y^16 - 24*y^12 + 80*y^10 - 172*y^8 + 192*y^6 - 112*y^4 + 32*y^2 + 4), Mod(-373/2372*y^15 - 69/2372*y^13 + 2205/593*y^11 - 56641/4744*y^9 + 308 23/1186*y^7 - 16782/593*y^5 + 11109/593*y^3 - 15285/2372*y, y^16 - 24*y^12 + 80*y^10 - 172*y^8 + 192*y^6 - 112*y^4 + 32*y^2 + 4), Mod(373/2372*y^15 + 69 /2372*y^13 - 2205/593*y^11 + 56641/4744*y^9 - 30823/1186*y^7 + 16782/593*y^5 - 11109/593*y^3 + 15285/2372*y, y^16 - 24*y^12 + 80*y^10 - 172*y^8 + 192*y^ 6 - 112*y^4 + 32*y^2 + 4)] 36 9 x^6 - x^5 - 76*x^4 + 60*x^3 + 1140*x^2 + 1155*x - 695 a^36 - 140*a^34 + 8402*a^32 - 288950*a^30 + 6406703*a^28 - 97539585*a^26 + 1 059042259*a^24 - 8396309325*a^22 + 49297808195*a^20 - 215811263825*a^18 + 70 4643601819*a^16 - 1705347924285*a^14 + 3017070472643*a^12 - 3809285900925*a^ 10 + 3299709349267*a^8 - 1836758642090*a^6 + 585303753211*a^4 - 85409835875* a^2 + 3969153125 [28870969412445129304/150333898582544875079637735*a^34 - 2391040639738112524 6214047/902003391495269250477826410000*a^32 + 1408280580925577743188914959/9 02003391495269250477826410000*a^30 - 47270903738475878949122441507/902003391 495269250477826410000*a^28 + 1016201980774469757442024408441/902003391495269 250477826410000*a^26 - 1653232481585973809555097282799/100222599055029916719 758490000*a^24 + 30766570387863948626786349252629/18040067829905385009556528 2000*a^22 - 25494617146287004973995153489163/20044519811005983343951698000*a ^20 + 54269387427573548559506499935047/7843507752132776091111534000*a^18 - 4 967271194565117464292207548275283/180400678299053850095565282000*a^16 + 1439 0821273796469411671423134660909/180400678299053850095565282000*a^14 - 166375 51485416921371399599192940627/100222599055029916719758490000*a^12 + 21844296 4149682251745527062058729581/902003391495269250477826410000*a^10 - 715047828 08114491609686387087461101/300667797165089750159275470000*a^8 + 132463576654 385501140215626560461749/902003391495269250477826410000*a^6 - 45521136780059 303695022254815264059/902003391495269250477826410000*a^4 + 48834547745749769 48426917348117/644288136782335178912733150*a^2 - 31947174916220852422727719/ 91469478158982811558152, 3251350527072966578858963/4510016957476346252389132 050000*a^34 - 224934549971331898950636911/2255008478738173126194566025000*a^ 32 + 8860674919294055555049660713/1503338985825448750796377350000*a^30 - 995 57773024274624590944467659/501112995275149583598792450000*a^28 + 19366458770 607880120052179046813/4510016957476346252389132050000*a^26 - 285516842858115 285212427862265807/4510016957476346252389132050000*a^24 + 595519111738991674 011764093345989/902003391495269250477826410000*a^22 - 4489547975447934229698 580858261951/902003391495269250477826410000*a^20 + 1076139228842461035371382 151402807/39217538760663880455557670000*a^18 - 11124367147850754939979966580 304871/100222599055029916719758490000*a^16 + 1479061897966350800416026745438 951477/4510016957476346252389132050000*a^14 - 315025857271480248157232912303 3742463/4510016957476346252389132050000*a^12 + 47206506294320482873673946762 98685961/4510016957476346252389132050000*a^10 - 4777649748033279268548939533 863439719/4510016957476346252389132050000*a^8 + 3048859768911341351494073063 483963897/4510016957476346252389132050000*a^6 - 5426099614227091504278277319 81252029/2255008478738173126194566025000*a^4 + 64587456786717997350050100662 819/1718101698086227143767288400*a^2 - 165798995832125073281674123/914694781 58982811558152, -704379081794904012990253/9020033914952692504778264100000*a^ 35 - 185571858472598531261171/501112995275149583598792450000*a^34 + 48715152 518881440798956651/4510016957476346252389132050000*a^33 + 462092978647254762 515957747/9020033914952692504778264100000*a^32 - 143866499279758588432618534 1/2255008478738173126194566025000*a^31 - 13648984531486738963024628227/45100 16957476346252389132050000*a^30 + 96938310360867353475048806483/451001695747 6346252389132050000*a^29 + 919883530735586552464580524411/902003391495269250 4778264100000*a^28 - 232651976540261816658545907611/501112995275149583598792 450000*a^27 - 19875071662837802701492211372933/90200339149526925047782641000 00*a^26 + 30845327236112782336432658557121/4510016957476346252389132050000*a ^25 + 97629122086975105817272227332809/3006677971650897501592754700000*a^24 - 21424985574841499437846887948389/300667797165089750159275470000*a^23 - 610 575128275733935942680874074229/1804006782990538500955652820000*a^22 + 484017 286454879828969736789559843/902003391495269250477826410000*a^21 + 1533419100 031007894056656543524977/601335594330179500318550940000*a^20 - 1158671856773 61369373967739807791/39217538760663880455557670000*a^19 - 110190466434352089 3720157677667127/78435077521327760911115340000*a^18 + 1537709883158934201041 232269889911/128857627356467035782546630000*a^17 + 1024351631773365912595517 71572103159/1804006782990538500955652820000*a^16 - 5292233983819996489701399 1241504027/1503338985825448750796377350000*a^15 - 15119400756767591614096930 48855920037/9020033914952692504778264100000*a^14 + 4823557309278799269424083 0453221347/644288136782335178912733150000*a^13 + 107239762638007600223629533 3324062521/3006677971650897501592754700000*a^12 - 16846944747925094111730588 2802587131/1503338985825448750796377350000*a^11 - 48160226697757002253310017 91553165721/9020033914952692504778264100000*a^10 + 1491287229390570953499395 745247369/13148737485353779161484350000*a^9 + 162299919830912395515658180697 4277013/3006677971650897501592754700000*a^8 - 327237997164237860693483056003 293031/4510016957476346252389132050000*a^7 - 3103794645076791741342476648584 879777/9020033914952692504778264100000*a^6 + 2348322029477720044136044070025 03923/9020033914952692504778264100000*a^5 + 11035578261555912186076185579856 11613/9020033914952692504778264100000*a^4 - 37526865321657483383315681982802 9/90200339149526925047782641000*a^3 - 49201004178902125753179356208497/25771 52547129340715650932600*a^2 + 455861078300944766857933289/213428782370959893 6356880*a + 336438999245457567382406693/365877912635931246232608, -457997268 286495201285601/9020033914952692504778264100000*a^35 - 155437231387909379055 577/1804006782990538500955652820000*a^34 + 63219462123808708551299959/902003 3914952692504778264100000*a^33 + 10732815328231466161638631/9020033914952692 50477826410000*a^32 - 1241268191638711501136747401/3006677971650897501592754 700000*a^31 - 162691836407833782279946/231996757071828510925366875*a^30 + 41 671559320168530327971893369/3006677971650897501592754700000*a^29 + 472202100 3894765857767375379/200445198110059833439516980000*a^28 - 268827453299542151 9377197948701/9020033914952692504778264100000*a^27 - 91447940232848524115401 7943217/1804006782990538500955652820000*a^26 + 39380597302365530060214378192 779/9020033914952692504778264100000*a^25 + 13404987653711757838118111598667/ 1804006782990538500955652820000*a^24 - 81492696927754851227554074520033/1804 006782990538500955652820000*a^23 - 27755367080515496240602993106981/36080135 6598107700191130564000*a^22 + 608451862766595678082876478420347/180400678299 0538500955652820000*a^21 + 207309689387565154271678626939871/360801356598107 700191130564000*a^20 - 144141144819342089103549365967439/7843507752132776091 1115340000*a^19 - 49116300327361576889751394682183/1568701550426555218222306 8000*a^18 + 163228993853205803064485212811743/22271688678895537048835220000* a^17 + 1501366475076386034781931026134473/120267118866035900063710188000*a^1 6 - 192040496313746347169675964373314529/9020033914952692504778264100000*a^1 5 - 65378470826900674859623854989910833/1804006782990538500955652820000*a^14 + 400908998300724067746255602794046311/9020033914952692504778264100000*a^13 + 136351102083667187315285017348776623/1804006782990538500955652820000*a^12 - 586838332855949729229685411031808997/9020033914952692504778264100000*a^11 - 199368556080951864152805639007833629/1804006782990538500955652820000*a^10 + 578030985689012831826453965281320943/9020033914952692504778264100000*a^9 + 196244779045524955444897983850505039/1804006782990538500955652820000*a^8 - 357480334490463612280117630223936969/9020033914952692504778264100000*a^7 - 121476601421295423170534909540278573/1804006782990538500955652820000*a^6 + 3 0624370220614590128641706307930719/2255008478738173126194566025000*a^5 + 104 63389029506180036157409002660637/451001695747634625238913205000*a^4 - 861866 1493592985666542036187341/4295254245215567859418221000*a^3 - 266859198823298 552776653451403/76360075470498984167435040*a^2 + 591232823580313844716106279 /6402863471128796809070640*a + 59236281207552249649513295/365877912635931246 232608, 457997268286495201285601/9020033914952692504778264100000*a^35 - 1554 37231387909379055577/1804006782990538500955652820000*a^34 - 6321946212380870 8551299959/9020033914952692504778264100000*a^33 + 10732815328231466161638631 /902003391495269250477826410000*a^32 + 1241268191638711501136747401/30066779 71650897501592754700000*a^31 - 162691836407833782279946/23199675707182851092 5366875*a^30 - 41671559320168530327971893369/3006677971650897501592754700000 *a^29 + 4722021003894765857767375379/200445198110059833439516980000*a^28 + 2 688274532995421519377197948701/9020033914952692504778264100000*a^27 - 914479 402328485241154017943217/1804006782990538500955652820000*a^26 - 393805973023 65530060214378192779/9020033914952692504778264100000*a^25 + 1340498765371175 7838118111598667/1804006782990538500955652820000*a^24 + 81492696927754851227 554074520033/1804006782990538500955652820000*a^23 - 277553670805154962406029 93106981/360801356598107700191130564000*a^22 - 60845186276659567808287647842 0347/1804006782990538500955652820000*a^21 + 20730968938756515427167862693987 1/360801356598107700191130564000*a^20 + 144141144819342089103549365967439/78 435077521327760911115340000*a^19 - 49116300327361576889751394682183/15687015 504265552182223068000*a^18 - 163228993853205803064485212811743/2227168867889 5537048835220000*a^17 + 1501366475076386034781931026134473/12026711886603590 0063710188000*a^16 + 192040496313746347169675964373314529/902003391495269250 4778264100000*a^15 - 65378470826900674859623854989910833/1804006782990538500 955652820000*a^14 - 400908998300724067746255602794046311/9020033914952692504 778264100000*a^13 + 136351102083667187315285017348776623/1804006782990538500 955652820000*a^12 + 586838332855949729229685411031808997/9020033914952692504 778264100000*a^11 - 199368556080951864152805639007833629/1804006782990538500 955652820000*a^10 - 578030985689012831826453965281320943/9020033914952692504 778264100000*a^9 + 196244779045524955444897983850505039/18040067829905385009 55652820000*a^8 + 357480334490463612280117630223936969/902003391495269250477 8264100000*a^7 - 121476601421295423170534909540278573/1804006782990538500955 652820000*a^6 - 30624370220614590128641706307930719/225500847873817312619456 6025000*a^5 + 10463389029506180036157409002660637/45100169574763462523891320 5000*a^4 + 8618661493592985666542036187341/4295254245215567859418221000*a^3 - 266859198823298552776653451403/76360075470498984167435040*a^2 - 5912328235 80313844716106279/6402863471128796809070640*a + 59236281207552249649513295/3 65877912635931246232608, 704379081794904012990253/90200339149526925047782641 00000*a^35 - 185571858472598531261171/501112995275149583598792450000*a^34 - 48715152518881440798956651/4510016957476346252389132050000*a^33 + 4620929786 47254762515957747/9020033914952692504778264100000*a^32 + 1438664992797585884 326185341/2255008478738173126194566025000*a^31 - 136489845314867389630246282 27/4510016957476346252389132050000*a^30 - 96938310360867353475048806483/4510 016957476346252389132050000*a^29 + 919883530735586552464580524411/9020033914 952692504778264100000*a^28 + 232651976540261816658545907611/5011129952751495 83598792450000*a^27 - 19875071662837802701492211372933/902003391495269250477 8264100000*a^26 - 30845327236112782336432658557121/4510016957476346252389132 050000*a^25 + 97629122086975105817272227332809/30066779716508975015927547000 00*a^24 + 21424985574841499437846887948389/300667797165089750159275470000*a^ 23 - 610575128275733935942680874074229/1804006782990538500955652820000*a^22 - 484017286454879828969736789559843/902003391495269250477826410000*a^21 + 15 33419100031007894056656543524977/601335594330179500318550940000*a^20 + 11586 7185677361369373967739807791/39217538760663880455557670000*a^19 - 1101904664 343520893720157677667127/78435077521327760911115340000*a^18 - 15377098831589 34201041232269889911/128857627356467035782546630000*a^17 + 10243516317733659 1259551771572103159/1804006782990538500955652820000*a^16 + 52922339838199964 897013991241504027/1503338985825448750796377350000*a^15 - 151194007567675916 1409693048855920037/9020033914952692504778264100000*a^14 - 48235573092787992 694240830453221347/644288136782335178912733150000*a^13 + 1072397626380076002 236295333324062521/3006677971650897501592754700000*a^12 + 168469447479250941 117305882802587131/1503338985825448750796377350000*a^11 - 481602266977570022 5331001791553165721/9020033914952692504778264100000*a^10 - 14912872293905709 53499395745247369/13148737485353779161484350000*a^9 + 1622999198309123955156 581806974277013/3006677971650897501592754700000*a^8 + 3272379971642378606934 83056003293031/4510016957476346252389132050000*a^7 - 31037946450767917413424 76648584879777/9020033914952692504778264100000*a^6 - 23483220294777200441360 4407002503923/9020033914952692504778264100000*a^5 + 110355782615559121860761 8557985611613/9020033914952692504778264100000*a^4 + 375268653216574833833156 819828029/90200339149526925047782641000*a^3 - 492010041789021257531793562084 97/2577152547129340715650932600*a^2 - 455861078300944766857933289/2134287823 709598936356880*a + 336438999245457567382406693/365877912635931246232608] [x^12 - x^11 + 7/13*x^10 - 3/13*x^9 + 15/169*x^8 - 5/169*x^7 + 19/2197*x^6 - 5/2197*x^5 + 15/28561*x^4 - 3/28561*x^3 + 7/371293*x^2 - 1/371293*x + 1/482 6809, x^12 + x^11 + 7/13*x^10 + 3/13*x^9 + 15/169*x^8 + 5/169*x^7 + 19/2197* x^6 + 5/2197*x^5 + 15/28561*x^4 + 3/28561*x^3 + 7/371293*x^2 + 1/371293*x + 1/4826809]~ [x - 3, x + (-1/2*y + 1/2), x + (1/2*y + 1/2)]~ [x + (-y^7 - 1) 1] [ x + (y^7 + 1) 1] [x + (-2*y^3 + y), x + (-4/3*y^3 + 2/3*y), x + (-2/3*y^3 + 1/3*y)]~ [x + (-1/3*y - 1/3), x + (2/3*y + 2/3)]~ *** nffactor: Warning: nonmonic polynomial. Result of the form [nf,c]. [x + (-2/3*y + 1/3) 1] [ x + (2/3*y - 1/3) 1] *** nfroots: Warning: nonmonic polynomial. Result of the form [nf,c]. [-2/3*y + 1/3, 2/3*y - 1/3] [x + (-26388279066648/85070591730466729623209871765718171955*t^5 + 131941395 333267/85070591730466729623209871765718171955*t^4 + 967140655690823730462717 32/85070591730466729623209871765718171955*t^3 - 290142196708032170441048136/ 85070591730466729623209871765718171955*t^2 - 7443676776386824622360021639744 6118676/85070591730466729623209871765718171955*t + 7443676776373163760598366 6543681076444/85070591730466729623209871765718171955) 1] [x^2 + (26388279066648/85070591730466729623209871765718171955*t^5 - 13194139 5333267/85070591730466729623209871765718171955*t^4 - 96714065569082373046271 732/85070591730466729623209871765718171955*t^3 + 290142196708032170441048136 /85070591730466729623209871765718171955*t^2 + 744367677638682462236002163974 46118676/85070591730466729623209871765718171955*t - 744367677637316376059836 66543681076444/85070591730466729623209871765718171955)*x + (54/8507059173046 6729623209871765718171955*t^5 + 19342813113869251167387394/85070591730466729 623209871765718171955*t^4 - 77371252455674916762549976/850705917304667296232 09871765718171955*t^3 - 42535295865117307932921126639575760427/8507059173046 6729623209871765718171955*t^2 + 85070591730773796781391952391721450758/85070 591730466729623209871765718171955*t + 23384026197336981987123709535795926763 206176932728/85070591730466729623209871765718171955) 1] x^6 + 10/7*x^5 - 867/49*x^4 - 76/245*x^3 + 3148/35*x^2 - 25944/245*x + 48771 /1225 [ x - 1 1] [ x + 1 1] [x^2 - 5 1] [x^2 - 2 1] [ x + 1 1] [ x^2 + 1 1] [ x^4 - x^3 + x^2 - x + 1 1] [ x^4 + 1 1] [ x^4 + x^3 + x^2 + x + 1 1] [ x^8 - x^6 + x^4 - x^2 + 1 1] [ x^8 + 1 1] [ x^16 - x^12 + x^8 - x^4 + 1 1] [x^32 - x^24 + x^16 - x^8 + 1 1] 10 10 [x + (-314226370217524044*y + 1473852319020386314), x + (314226370217524044* y - 1473852319020386314)]~ [x - 2*y, x - y, x + y, x + 2*y]~ [x - y, x + y]~ [0] [-1/2] [-1/2, 1/2] [-1] [Mod(-1/55*y^3 + 1/110*y^2 - 57/110*y + 1/110, y^4 + 57*y^2 + 661), Mod(1/55 *y^3 + 1/110*y^2 + 57/110*y + 1/110, y^4 + 57*y^2 + 661)] [Mod(-1/55*y^3 + 1/110*y^2 - 57/110*y + 1/110, y^4 + 57*y^2 + 661), Mod(1/55 *y^3 + 1/110*y^2 + 57/110*y + 1/110, y^4 + 57*y^2 + 661)] [Mod(-1/55*y^3 + 1/110*y^2 - 57/110*y + 1/110, y^4 + 57*y^2 + 661), Mod(1/55 *y^3 + 1/110*y^2 + 57/110*y + 1/110, y^4 + 57*y^2 + 661)] [Mod(-44*a + 328/3, a^2 - a + 3), Mod(-40*a - 80/3, a^2 - a + 3)] [-2, 2] [x^4 - 10/121*x^2 + 1/14641 1] [ x - 1 1] [ x + 1 1] [x + Mod(-y^5, y^8 - y^6 + y^4 - y^2 + 1) 1] [ x + Mod(y^5, y^8 - y^6 + y^4 - y^2 + 1) 1] 2 [1, 1, 4, 4, 5, 5]~ 1 [y - t^5 2] [y + t^5 1] *** at top-level: polhensellift(x^2+x+1,[x+a,x+a+1],2,10) *** ^--------------------------------------- *** polhensellift: incorrect type in polhensellift [not in Z[X]] (t_POL). Total time spent: 7845