  ***   Warning: new stack size = 20000000 (19.073 Mbytes).
321: x^3 - x^2 - 4*x + 1
520: x^4 - 2*x^3 - 5*x^2 + 6*x - 1
577: x^7 - x^6 - 10*x^5 + 13*x^4 + 10*x^3 - 7*x^2 - 2*x + 1
840: x^4 - 2*x^3 - 5*x^2 + 6*x - 1
904: x^8 - 3*x^7 - 17*x^6 + 44*x^5 + 112*x^4 - 206*x^3 - 357*x^2 + 315*x + 4
63
1009: x^7 - x^6 - 9*x^5 + 2*x^4 + 21*x^3 + x^2 - 13*x - 1
1129: x^9 - x^8 - 16*x^7 - 6*x^6 + 64*x^5 + 65*x^4 - 48*x^3 - 78*x^2 - 19*x 
+ 1
1229: x^3 - 14*x - 19
1297: x^11 - x^10 - 28*x^9 - 50*x^8 + 63*x^7 + 216*x^6 + 77*x^5 - 173*x^4 - 
122*x^3 + 18*x^2 + 17*x - 1
1509: x^3 - x^2 - 7*x + 4
1901: x^3 - x^2 - 9*x - 4
1937: x^6 - 10*x^4 + 25*x^2 - 13
2305: x^16 - 7*x^15 - 21*x^14 + 300*x^13 - 635*x^12 - 1740*x^11 + 9231*x^10 
- 9852*x^9 - 15316*x^8 + 44515*x^7 - 30235*x^6 - 7230*x^5 + 12209*x^4 + 1057
*x^3 - 1769*x^2 - 430*x - 25
2584: x^8 - 40*x^6 - 140*x^5 - 137*x^4 + 64*x^3 + 174*x^2 + 84*x + 11
2920: x^12 - 4*x^11 - 22*x^10 + 80*x^9 + 217*x^8 - 600*x^7 - 1184*x^6 + 2028
*x^5 + 3419*x^4 - 3092*x^3 - 4712*x^2 + 1736*x + 2404
3281: x^6 - x^5 - 17*x^4 - 11*x^3 + 17*x^2 - x - 1
32569: x^3 - x^2 - 20*x + 13
[y^2 - 145, 1]: x^4 + Mod(-y - 14, y^2 - 145)*x^3 + Mod(8*y + 95, y^2 - 145)
*x^2 + Mod(-21*y - 250, y^2 - 145)*x + Mod(18*y + 217, y^2 - 145)
[y^2 - 229, 1]: x^3 + Mod(y - 14, y^2 - 229)*x^2 + Mod(-6*y + 87, y^2 - 229)
*x + Mod(10*y - 156, y^2 - 229)
[y^2 - 401, 1]: x^5 + Mod(-11/2*y - 219/2, y^2 - 401)*x^4 + Mod(155/2*y + 30
91/2, y^2 - 401)*x^3 + Mod(-403*y - 8075, y^2 - 401)*x^2 + Mod(1789/2*y + 35
845/2, y^2 - 401)*x + Mod(-1421/2*y - 28437/2, y^2 - 401)
[y^2 - 577, 1]: x^7 + Mod(-11/2*y - 271/2, y^2 - 577)*x^6 + Mod(553/2*y + 13
285/2, y^2 - 577)*x^5 + Mod(-5730*y - 137633, y^2 - 577)*x^4 + Mod(118647/2*
y + 2849989/2, y^2 - 577)*x^3 + Mod(-319416*y - 7672635, y^2 - 577)*x^2 + Mo
d(1674997/2*y + 40234809/2, y^2 - 577)*x + Mod(-810062*y - 19458357, y^2 - 5
77)
[y^2 - 761, 1]: x^3 + Mod(731/2*y - 20167/2, y^2 - 761)*x^2 + Mod(-244695*y 
+ 6750211, y^2 - 761)*x + Mod(21008185/2*y - 579536589/2, y^2 - 761)
[y^3 - y^2 - 17*y - 16, 1]: x^4 + Mod(-2*y^2 - 10*y - 11, y^3 - y^2 - 17*y -
 16)*x^3 + Mod(21*y^2 + 86*y + 68, y^3 - y^2 - 17*y - 16)*x^2 + Mod(-66*y^2 
- 262*y - 204, y^3 - y^2 - 17*y - 16)*x + Mod(65*y^2 + 262*y + 209, y^3 - y^
2 - 17*y - 16)
[y^3 - 14*y - 7, 1]: x^3 + Mod(-5*y^2 - 21*y - 10, y^3 - 14*y - 7)*x^2 + Mod
(25*y^2 + 98*y + 42, y^3 - 14*y - 7)*x + Mod(-30*y^2 - 119*y - 52, y^3 - 14*
y - 7)
[y^3 - y^2 - 16*y + 22, 1]: x^3 + Mod(-10*y^2 - 27*y + 60, y^3 - y^2 - 16*y 
+ 22)*x^2 + Mod(171*y^2 + 464*y - 1016, y^3 - y^2 - 16*y + 22)*x + Mod(-715*
y^2 - 1940*y + 4234, y^3 - y^2 - 16*y + 22)
[y^3 - 36*y - 45, 1]: x^3 + Mod(-12*y^2 - 78*y - 79, y^3 - 36*y - 45)*x^2 + 
Mod(1589/3*y^2 + 3469*y + 3642, y^3 - 36*y - 45)*x + Mod(-3038/3*y^2 - 6631*
y - 6962, y^3 - 36*y - 45)
[y^3 - 21*y - 35, 1]: x^3 + Mod(-4*y^2 + 12*y + 48, y^3 - 21*y - 35)*x^2 + M
od(20*y^2 - 64*y - 219, y^3 - 21*y - 35)*x + Mod(-34*y^2 + 106*y + 381, y^3 
- 21*y - 35)
[y^3 - 12*y - 1, 1]: x^3 + Mod(-3*y^2 - 13*y - 4, y^3 - 12*y - 1)*x^2 + Mod(
16*y^2 + 54*y + 7, y^3 - 12*y - 1)*x + Mod(-18*y^2 - 65*y - 6, y^3 - 12*y - 
1)
[y^3 - y^2 - 17*y - 16, 1]: x^4 + Mod(-2*y^2 - 10*y - 11, y^3 - y^2 - 17*y -
 16)*x^3 + Mod(21*y^2 + 86*y + 68, y^3 - y^2 - 17*y - 16)*x^2 + Mod(-66*y^2 
- 262*y - 204, y^3 - y^2 - 17*y - 16)*x + Mod(65*y^2 + 262*y + 209, y^3 - y^
2 - 17*y - 16)
[y^3 - y^2 - 30*y - 27, 1]: x^3 + Mod(-250/3*y^2 - 1343/3*y - 350, y^3 - y^2
 - 30*y - 27)*x^2 + Mod(3004/3*y^2 + 16139/3*y + 4244, y^3 - y^2 - 30*y - 27
)*x + Mod(-2729*y^2 - 14662*y - 11564, y^3 - y^2 - 30*y - 27)
[y^3 - 14*y - 7, 1]: x^3 + Mod(-5*y^2 - 21*y - 10, y^3 - 14*y - 7)*x^2 + Mod
(25*y^2 + 98*y + 42, y^3 - 14*y - 7)*x + Mod(-30*y^2 - 119*y - 52, y^3 - 14*
y - 7)
[y^3 - y^2 - 16*y + 22, 1]: x^3 + Mod(-10*y^2 - 27*y + 60, y^3 - y^2 - 16*y 
+ 22)*x^2 + Mod(171*y^2 + 464*y - 1016, y^3 - y^2 - 16*y + 22)*x + Mod(-715*
y^2 - 1940*y + 4234, y^3 - y^2 - 16*y + 22)
[y^3 - y^2 - 30*y + 71, 1]: x^3 + Mod(-35*y^2 - 108*y + 604, y^3 - y^2 - 30*
y + 71)*x^2 + Mod(194*y^2 + 599*y - 3364, y^3 - y^2 - 30*y + 71)*x + Mod(-25
9*y^2 - 800*y + 4495, y^3 - y^2 - 30*y + 71)
[y^3 - y^2 - 16*y - 6, 1]: x^3 + Mod(-11*y^2 + 47*y + 22, y^3 - y^2 - 16*y -
 6)*x^2 + Mod(293*y^2 - 1260*y - 532, y^3 - y^2 - 16*y - 6)*x + Mod(-1325*y^
2 + 5696*y + 2410, y^3 - y^2 - 16*y - 6)
[y^3 - 36*y - 45, 1]: x^3 + Mod(-12*y^2 - 78*y - 79, y^3 - 36*y - 45)*x^2 + 
Mod(1589/3*y^2 + 3469*y + 3642, y^3 - 36*y - 45)*x + Mod(-3038/3*y^2 - 6631*
y - 6962, y^3 - 36*y - 45)
[y^3 - 12*y - 1, [5, y + 1]]: x^6 + Mod(-2*y^2 - 7*y - 2, y^3 - 12*y - 1)*x^
5 + Mod(27*y^2 + 94*y + 1, y^3 - 12*y - 1)*x^4 + Mod(-149*y^2 - 521*y - 32, 
y^3 - 12*y - 1)*x^3 + Mod(410*y^2 + 1439*y + 127, y^3 - 12*y - 1)*x^2 + Mod(
-557*y^2 - 1957*y - 178, y^3 - 12*y - 1)*x + Mod(298*y^2 + 1046*y + 89, y^3 
- 12*y - 1)
[y^3 - y^2 - 37*y + 64, 1]: x^3 + Mod(-20*y^2 - 91*y + 230, y^3 - y^2 - 37*y
 + 64)*x^2 + Mod(17039/3*y^2 + 25994*y - 195548/3, y^3 - y^2 - 37*y + 64)*x 
+ Mod(-504718*y^2 - 2309993*y + 5792200, y^3 - y^2 - 37*y + 64)
[y^3 - y^2 - 9*y + 8, 1]: x^3 + Mod(-y^2 - 3*y, y^3 - y^2 - 9*y + 8)*x^2 + M
od(5*y^2 + 12*y - 11, y^3 - y^2 - 9*y + 8)*x + Mod(-6*y^2 - 13*y + 15, y^3 -
 y^2 - 9*y + 8)
[y^3 - 21*y - 35, 1]: x^3 + Mod(-4*y^2 + 12*y + 48, y^3 - 21*y - 35)*x^2 + M
od(20*y^2 - 64*y - 219, y^3 - 21*y - 35)*x + Mod(-34*y^2 + 106*y + 381, y^3 
- 21*y - 35)
[y^3 - y^2 - 16*y + 8, 1]: x^3 + Mod(-3/2*y^2 - 11/2*y, y^3 - y^2 - 16*y + 8
)*x^2 + Mod(10*y^2 + 34*y - 18, y^3 - y^2 - 16*y + 8)*x + Mod(-16*y^2 - 53*y
 + 32, y^3 - y^2 - 16*y + 8)
[y^3 - y^2 - 4*y - 1, 7]: x^9 + Mod(3803*y^2 - 4845*y - 13885, y^3 - y^2 - 4
*y - 1)*x^8 + Mod(-11843718*y^2 + 15087600*y + 43242511, y^3 - y^2 - 4*y - 1
)*x^7 + Mod(2447928994*y^2 - 3118393621*y - 8937617416, y^3 - y^2 - 4*y - 1)
*x^6 + Mod(-122752473137*y^2 + 156373216132*y + 448180745635, y^3 - y^2 - 4*
y - 1)*x^5 + Mod(2291810549483*y^2 - 2919515812766*y - 8367614391752, y^3 - 
y^2 - 4*y - 1)*x^4 + Mod(-20378966548367*y^2 + 25960573005885*y + 7440551044
5644, y^3 - y^2 - 4*y - 1)*x^3 + Mod(92972141705228*y^2 - 118436333193067*y 
- 339449973794721, y^3 - y^2 - 4*y - 1)*x^2 + Mod(-210119040368961*y^2 + 267
668660944174*y + 767164243383345, y^3 - y^2 - 4*y - 1)*x + Mod(1864214244966
95*y^2 - 237480491909325*y - 680642034264572, y^3 - y^2 - 4*y - 1)
[y^3 - y^2 - 7*y + 6, [29, y - 13]]: x^7 + Mod(-5*y^2 - 11*y + 7, y^3 - y^2 
- 7*y + 6)*x^6 + Mod(143*y^2 + 254*y - 306, y^3 - y^2 - 7*y + 6)*x^5 + Mod(-
1762*y^2 - 3082*y + 3846, y^3 - y^2 - 7*y + 6)*x^4 + Mod(11513*y^2 + 20157*y
 - 25127, y^3 - y^2 - 7*y + 6)*x^3 + Mod(-39912*y^2 - 69904*y + 87044, y^3 -
 y^2 - 7*y + 6)*x^2 + Mod(67549*y^2 + 118318*y - 147287, y^3 - y^2 - 7*y + 6
)*x + Mod(-43616*y^2 - 76398*y + 95101, y^3 - y^2 - 7*y + 6)
x^4 + Mod(-76380*y - 241536, y^2 - 10)*x^3 + Mod(172310688*y + 544894236, y^
2 - 10)*x^2 + Mod(-82152672984*y - 259789562496, y^2 - 10)*x + Mod(219125233
728*y + 692934831396, y^2 - 10)
x^4 - 15*x^2 + 17
Total time spent: 5076
