  ***   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 - 5*x^10 - 4*x^9 + 54*x^8 - 53*x^7 - 127*x^6 + 208*x^5 + 69*x^4 -
 222*x^3 + 29*x^2 + 56*x - 5
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 - 2*x^15 - 39*x^14 - 10*x^13 + 324*x^12 + 118*x^11 - 1179*x^10 - 
162*x^9 + 2095*x^8 - 363*x^7 - 1583*x^6 + 675*x^5 + 266*x^4 - 124*x^3 - 23*x
^2 + 6*x + 1
2584: x^8 - 3*x^7 - 15*x^6 + 54*x^5 + 16*x^4 - 220*x^3 + 271*x^2 - 119*x + 1
7
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(-3/2*y - 43/2, y^2 - 145)*x^3 + Mod(20*y + 244, y^
2 - 145)*x^2 + Mod(-84*y - 1012, y^2 - 145)*x + Mod(221/2*y + 2661/2, 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(-67/2*y - 1603/2, y^2 - 577)*x^6 + Mod(1967*y + 47
247, y^2 - 577)*x^5 + Mod(-77523/2*y - 1862195/2, y^2 - 577)*x^4 + Mod(29576
6*y + 7104534, y^2 - 577)*x^3 + Mod(-2094687/2*y - 50316095/2, y^2 - 577)*x^
2 + Mod(1746805*y + 41959701, y^2 - 577)*x + Mod(-2224753/2*y - 53440401/2, 
y^2 - 577)
[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(149/3*y^2 - 65*y - 1704, y^3 - 36*y - 45)*x^
2 + Mod(-1037*y^2 + 1361*y + 35544, y^3 - 36*y - 45)*x + Mod(4440*y^2 - 5829
*y - 152187, 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(149/3*y^2 - 65*y - 1704, y^3 - 36*y - 45)*x^
2 + Mod(-1037*y^2 + 1361*y + 35544, y^3 - 36*y - 45)*x + Mod(4440*y^2 - 5829
*y - 152187, 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(-3780*y - 11952, y^2 - 10)*x^3 + Mod(455904*y + 1441692, y^2 - 10)
*x^2 + Mod(-13756392*y - 43501536, y^2 - 10)*x + Mod(90632448*y + 286604964,
 y^2 - 10)
x^4 - 15*x^2 + 17
Total time spent: 7517
