[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 + a 1]

check 2
Mat([0, 1])
Mat([0, 1])
matrix(0,2)
matrix(0,2)
Mat([x + (a^2 + a), 1])
Mat([x + (a^2 + a), 1])
Mat([x + a, 2])
Mat([x + a, 2])
Mat([x^2 + x + a, 1])
Mat([x^2 + x + a, 1])
Mat([x + (a^2 + 1), 2])
Mat([x + (a^2 + 1), 2])
[x + (a^2 + a + 1), 1; x^2 + (a^2 + a + 1)*x + a^2, 1]
[x + (a^2 + a + 1), 1; x^2 + (a^2 + a + 1)*x + a^2, 1]
check 3
Mat([0, 1])
Mat([0, 1])
matrix(0,2)
matrix(0,2)
Mat([x + (2*a^2 + 2*a + 2), 1])
Mat([x + (2*a^2 + 2*a + 2), 1])
[x + a, 1; x + 2*a, 1]
[x + a, 1; x + 2*a, 1]
Mat([x^2 + x + a, 1])
Mat([x^2 + x + a, 1])
Mat([x^2 + (a^2 + a + 1), 1])
Mat([x^2 + (a^2 + a + 1), 1])
[x + 2*a, 1; x^2 + a*x + (2*a^2 + a + 1), 1]
[x + 2*a, 1; x^2 + a*x + (2*a^2 + a + 1), 1]
check 1267650600228229401496703205653
Mat([0, 1])
Mat([0, 1])
matrix(0,2)
matrix(0,2)
Mat([x + (a^2 + a + 1267650600228229401496703205649), 1])
Mat([x + (a^2 + a + 1267650600228229401496703205649), 1])
[x + a, 1; x + 1267650600228229401496703205652*a, 1]
[x + a, 1; x + 1267650600228229401496703205652*a, 1]
Mat([x^2 + x + a, 1])
Mat([x^2 + x + a, 1])
[x + (248056872368006019846473856603*a^2 + 632070353960340619554852923412*a 
+ 686373698767074524134118021946), 1; x + (1019593727860223381650229349050*a
^2 + 635580246267888781941850282241*a + 581276901461154877362585183707), 1]
[x + (248056872368006019846473856603*a^2 + 632070353960340619554852923412*a 
+ 686373698767074524134118021946), 1; x + (1019593727860223381650229349050*a
^2 + 635580246267888781941850282241*a + 581276901461154877362585183707), 1]
[x + (444781501243445200409703971769*a^2 + 380007214266207022733465160082*a 
+ 1196315968196929648722484158008), 1; x^2 + (822869098984784201086999233884
*a^2 + 887643385962022378763238045571*a + 71334632031299752774219047645)*x +
 (920324322169569708634203378635*a^2 + 325733854995540949882328420355*a + 52
2626156517642858900111418754), 1]
[x + (444781501243445200409703971769*a^2 + 380007214266207022733465160082*a 
+ 1196315968196929648722484158008), 1; x^2 + (822869098984784201086999233884
*a^2 + 887643385962022378763238045571*a + 71334632031299752774219047645)*x +
 (920324322169569708634203378635*a^2 + 325733854995540949882328420355*a + 52
2626156517642858900111418754), 1]

[                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]


[x + t 1]


[x + a 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: 4172
