  ***   Warning: new stack size = 20000000 (19.073 Mbytes).
1
x^3 + (76444126945687692063*y^3 + 95851038938815977768*y^2 + 116634231131091
141384*y - 106704642703262169792)*x + (6952769785407333647049967168852088370
36*y^3 + 1295719319620829728106935660641332757336*y^2 - 63164151046984158739
666320128496887188752*y + 34408889837655961514790658273160305237139)
2
x^3 + (-455492756088*y^3 + 72746635392*y^2 + 30103312785*y - 532729124469)*x
 + (-4059137465271111971*y^3 + 652777677080133659*y^2 + 262952422699146889*y
 - 4742293189040084766)
3
x^5 + (338906430826501923385346607707925/229919*y^3 - 1457798214872402183464
6220260998400/229919*y^2 - 202240490266682646928234413452546325/229919*y + 9
311818671232806283499820722904784405/229919)*x^3 + (-97462976500434619194588
15391166956054900191851407121368976375225/229919*y^3 + 419234752507246797754
440638037503934193147867526951273244896871800/229919*y^2 + 58160478163139363
18046410689887796592739326364262547764388484603275/229919*y - 26779001130318
2612612928927273255972900605400487205732555912057079030/229919)*x + (1383785
9122129794978630768313810944358518067010816386533939954568750960963976700/22
9919*y^3 - 59523232848017545627423707739853544444403314870247075668056585441
8672632321333000/229919*y^2 - 8257663906803008790492508500548575219481689071
133261565693002578393264223628510850/229919*y + 3802100637374297497910983850
11734464444507295841035234635984867875452558433080616962/229919)
4
x^5 + 110*x^3 - 385*x^2 + (-6875*y + 13310)*x + (20625*y + 32197)
5
x^5 + 3004517690*x^3 - 28917505076965983010807657580*x^2 - 80540351781678421
251251538235548863606045415*x + 31011472834856538584168163496443071927439210
5424319898991797804
6
x^3 + (6*y^4 - 6*y^3 + 6*y^2 - 6*y - 6)*x + (18*y^5 + 22*y^3 + 16*y^2 + 6*y 
+ 2)
7
x^5 + (2651242035378*y^3 - 19026571842162*y^2 - 1328864307738*y + 9599617228
842)*x^3 + (1712487057528900654*y^3 - 12288891104244105681*y^2 - 86409097333
0321014*y + 6204301708161644826)*x^2 + (-1216197570148265224343471268*y^3 + 
8727444064045036976185700532*y^2 + 614061119514588005662379478*y - 440650773
9442330907873247837)*x + (425688179509323393377701476368304/5*y^3 - 30547419
81935414899843123526195601/5*y^2 - 214930997073938684850136225507314/5*y + 1
542346655886842489025149662914996/5)
8
x^3 + (22049832980412*y - 801716887536675)*x + (321027751930293073102*y - 11
672350095308584241844)
9
[x^3 + (22049832980412*y - 801716887536675)*x + (321027751930293073102*y - 1
1672350095308584241844), x^3 + (22049832980412*y - 801716887536675)*x + (639
42266560265436863*y - 2324897198735088205455), x^3 + (22049832980412*y - 801
716887536675)*x + (257085485370027636239*y - 9347452896573496036389), x^3 - 
3*x - 1]
10
x^5 - 10*x^3 + 20*x + 10
11
x^5 + (29680475428049860/9*y^3 + 34921354500260180/9*y^2 - 15477290427050761
40/3*y - 2577261173805358400)*x^3 + (-12081003902993919799182130/81*y^3 - 14
214245862026090743389440/81*y^2 + 629980400564212569840119770/27*y + 1165595
99110534944226492390)*x^2 + (-41713649969867415576551797389166070/27*y^3 - 4
9079370978551972052667611917864830/27*y^2 + 21752150855081820680445678911540
81150/9*y + 1207381363290003193446783411707755890)*x + (-1624409998713015666
0037949992862545643869538/81*y^3 - 19112453838427485951263179674887910269786
026/81*y^2 + 847070715893511796620187790773814796016991384/27*y + 1567258647
31306991463206177661754686074438714)
12
x^5 + (-81813555181352222150051800*y - 758707698512046332750174210)*x^3 + (-
694598776821165938962621533366567137400*y - 64414440636774569791913727277961
95123620)*x^2 + (3651173928959564866042051164348807026764233927500600*y + 33
859594077871137466555125791674382870971097682845385)*x + (349451144213144157
2099292477440773615835215850460100567473586200*y + 3240676594247150121910798
3039126788636208628338965287209013744796)
13
x^2 + (579005994260871660725675138161827610313714425601379330908*y^5 - 10665
838767241026781798972314566336490960682839047298886121*y^4 - 125451512411576
00984519055919161910715239885311867631785451*y^3 - 1073834268336903398192739
1139740391065234975927048788721099*y^2 - 14903158824521475429243429293262572
511122641600774314257887*y - 14998783880299450494129067945527908842599620490
145975145023)
14
1
15
x^2 + (-53140587696485690121168112086566519*y^5 - 98157358121814711167092564
297381805*y^4 - 1913471778408690519143587422326674*y^3 - 2075566936738425347
3741951752946058*y^2 - 12577008858253013499052611584073889*y - 8328381136606
8509872924242423547922)
16
x^2 + (8*y - 109)
17
x^2 - 5
18
x^3 + (-141*y^3 + 606*y^2 + 3507*y - 28437)*x + (-2491925/2*y^3 + 7854942*y^
2 + 11241975/2*y - 165098584)
19
[x^3 - 3*x - 1]
20
x^3 - 3*x - 1
[]
21
x^5 - 10*x^3 + 5*x^2 + 10*x + 1
x^2 + (24/5*y^3 + 29/5*y^2 - 1329/5*y - 2344/5)
x^2 + (-4*y^2 + 12*y - 13)
x^2 + (-39*y - 78)
[x^2 - 2, x^2 + (-2/3*y^5 - 4/3*y^2 + 2/3*y - 2/3), x^2 + (-4*y^6 + 2/3*y^5 
- 86/3*y^2 + 100/3*y - 100/3), x^2 + (-2/3*y^4 - 4/3*y^3 - 2/3*y^2 - 2/3*y -
 8/3), x^2 + (4/3*y^6 + 2/3*y^5 - 4/3*y^4 - 2*y^3 + 26/3*y^2 - 8/3*y - 2/3),
 x^2 + (-2/3*y^4 - 4/3*y^3 - 2/3*y^2 + 4/3*y - 2/3), x^2 + (-2/3*y^6 + 2/3*y
^4 - 14/3*y^2 + 6*y - 16/3), x^2 + (-2*y^6 - 14*y^2 + 14*y - 14), x^2 + (-1/
3*y^5 - 2/3*y^2 + 1/3*y - 1/3), x^2 + (-1/3*y^4 - 2/3*y^3 - 1/3*y^2 - 1/3*y 
- 4/3), x^2 + (-1/3*y^4 - 2/3*y^3 - 1/3*y^2 + 2/3*y - 1/3), x^2 + (-y^6 - 7*
y^2 + 7*y - 7), x^2 + (-2*y^6 + 1/3*y^5 - 43/3*y^2 + 50/3*y - 50/3), x^2 + (
-1/3*y^6 + 1/3*y^4 - 7/3*y^2 + 3*y - 8/3), x^2 + (2/3*y^6 + 1/3*y^5 - 2/3*y^
4 - y^3 + 13/3*y^2 - 4/3*y - 1/3)]
x^2 - 3
Total time spent: 4468
