[t, t^2 + 1, -t^2 - t + 1]~
[t, t^2 + 1, -t^2 - t + 1]~
[Mod(Mod(1, 2), Mod(1, 2)*y^2 + Mod(1, 2)*y + Mod(1, 2))]~

[x + 1 6]

[x + t 6]

[]~
[]~

[                x + 1 1]

[                x + 2 1]

[                x + 3 1]

[                x + 4 1]

[      x + (t^3 + 4*t) 1]

[  x + (t^3 + 4*t + 1) 1]

[  x + (t^3 + 4*t + 2) 1]

[  x + (t^3 + 4*t + 3) 1]

[  x + (t^3 + 4*t + 4) 1]

[    x + (2*t^3 + 3*t) 1]

[x + (2*t^3 + 3*t + 1) 1]

[x + (2*t^3 + 3*t + 2) 1]

[x + (2*t^3 + 3*t + 3) 1]

[x + (2*t^3 + 3*t + 4) 1]

[    x + (3*t^3 + 2*t) 1]

[x + (3*t^3 + 2*t + 1) 1]

[x + (3*t^3 + 2*t + 2) 1]

[x + (3*t^3 + 2*t + 3) 1]

[x + (3*t^3 + 2*t + 4) 1]

[      x + (4*t^3 + t) 1]

[  x + (4*t^3 + t + 1) 1]

[  x + (4*t^3 + t + 2) 1]

[  x + (4*t^3 + t + 3) 1]

[  x + (4*t^3 + t + 4) 1]


[0 1]

[;]

[Mod(Mod(1, 5), Mod(1, 5)*t^4 + Mod(1, 5)*t^3 + Mod(2, 5)*t^2 + Mod(1, 5)*t 
+ Mod(3, 5))*x^4 + Mod(Mod(0, 5), Mod(1, 5)*t^4 + Mod(1, 5)*t^3 + Mod(2, 5)*
t^2 + Mod(1, 5)*t + Mod(3, 5))*x^3 + Mod(Mod(0, 5), Mod(1, 5)*t^4 + Mod(1, 5
)*t^3 + Mod(2, 5)*t^2 + Mod(1, 5)*t + Mod(3, 5))*x^2 + Mod(Mod(0, 5), Mod(1,
 5)*t^4 + Mod(1, 5)*t^3 + Mod(2, 5)*t^2 + Mod(1, 5)*t + Mod(3, 5))*x + Mod(M
od(4, 5)*t, Mod(1, 5)*t^4 + Mod(1, 5)*t^3 + Mod(2, 5)*t^2 + Mod(1, 5)*t + Mo
d(3, 5)) 1]

[1, a, a + 1, a^2]~

[                                    x + 79228162514264337593543950396 1]

[                                  x + 79228162514264337593543950396*a 1]

[x + (79228162514264337593543950396*a + 79228162514264337593543950396) 1]

[                                x + 79228162514264337593543950396*a^2 1]

[                                    x^2 + (2*a + 1)*x + (a^2 + a + 1) 1]

[                                              x^4 + x^3 + x^2 + x + 1 1]

3
3
107
37
4096
3584
5832
200
1000
200
Total time spent: 4620
