*** 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: non-monic polynomial. Result of the form [nf,c].
[x + (-2/3*y + 1/3) 1]
[ x + (2/3*y - 1/3) 1]
*** nfroots: Warning: non-monic 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)]~
[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]~
*** 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: 9405