[t, t^2 + 1, -t^2 - t + 1]~
[t^2, t^2 + t + 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]


[1 6]

[1 6]

[]~
[]~

[x + a 1]

[x, x + 1, x + 2, x + a, x + (a + 1), x + (a + 2), x + (2*a + 1), x + (2*a +
 2), x + a^2, x + (a^2 + 1), x + (a^2 + 2), x + (a^2 + a), x + (a^2 + a + 1)
, x + (a^2 + a + 2), x + (a^2 + 2*a), x + (a^2 + 2*a + 1), x + (a^2 + 2*a + 
2), x + 2*a^2, x + (2*a^2 + 1), x + (2*a^2 + 2), x + (2*a^2 + a), x + (2*a^2
 + a + 1), x + (2*a^2 + a + 2), x + (2*a^2 + 2*a), x + (2*a^2 + 2*a + 1), x 
+ (2*a^2 + 2*a + 2)]~
check 2
Mat([0, 1])
matrix(0,2)
Mat([0, 1])
matrix(0,2)
matrix(0,2)
matrix(0,2)
Mat([x + (a^2 + a), 1])
Mat([1, 1])
Mat([x + (a^2 + a), 1])
Mat([x + a, 2])
Mat([1, 2])
Mat([x + a, 2])
Mat([x^2 + x + a, 1])
Mat([2, 1])
Mat([x^2 + x + a, 1])
Mat([x + (a^2 + 1), 2])
Mat([1, 2])
Mat([x + (a^2 + 1), 2])
[x + (a^2 + a + 1), 1; x^2 + (a^2 + a + 1)*x + a^2, 1]
[1, 1; 2, 1]
[x + (a^2 + a + 1), 1; x^2 + (a^2 + a + 1)*x + a^2, 1]
check 3
Mat([0, 1])
matrix(0,2)
Mat([0, 1])
matrix(0,2)
matrix(0,2)
matrix(0,2)
Mat([x + (2*a^2 + 1), 1])
Mat([1, 1])
Mat([x + (2*a^2 + 1), 1])
[x + a, 1; x + 2*a, 1]
[1, 1; 1, 1]
[x + a, 1; x + 2*a, 1]
Mat([x^2 + x + a, 1])
Mat([2, 1])
Mat([x^2 + x + a, 1])
Mat([x^2 + (a^2 + 2), 1])
Mat([2, 1])
Mat([x^2 + (a^2 + 2), 1])
[x + (2*a^2 + 2), 1; x^2 + (a^2 + 1)*x + (a^2 + a), 1]
[1, 1; 2, 1]
[x + (2*a^2 + 2), 1; x^2 + (a^2 + 1)*x + (a^2 + a), 1]
check 1267650600228229401496703205653
Mat([0, 1])
matrix(0,2)
Mat([0, 1])
matrix(0,2)
matrix(0,2)
matrix(0,2)
Mat([x + (a^2 + a + 1267650600228229401496703205649), 1])
Mat([1, 1])
Mat([x + (a^2 + a + 1267650600228229401496703205649), 1])
[x + a, 1; x + 1267650600228229401496703205652*a, 1]
[1, 1; 1, 1]
[x + a, 1; x + 1267650600228229401496703205652*a, 1]
Mat([x^2 + x + a, 1])
Mat([2, 1])
Mat([x^2 + x + a, 1])
[x + (248056872368006019846473856603*a^2 + 632070353960340619554852923412*a 
+ 686373698767074524134118021946), 1; x + (1019593727860223381650229349050*a
^2 + 635580246267888781941850282241*a + 581276901461154877362585183707), 1]
[1, 1; 1, 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]
[1, 1; 2, 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]

matrix(0,2)
matrix(0,2)
matrix(0,2)
matrix(0,2)
matrix(0,2)

[x^4 + 4*t 1]


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


[1 1]

[1 1]

[1 1]

[1 1]

[2 1]

[4 1]


[x^4 + (79228162514264337593543950396*a^2 + 79228162514264337593543950395*a 
+ 79228162514264337593543950395)*x^3 + (a^2 + 11*a + 79228162514264337593543
950396)*x^2 + (79228162514264337593543950393*a^2 + 7922816251426433759354395
0389*a + 2)*x + (4*a^2 + 79228162514264337593543950396*a) 1]

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

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


[x^10 + 79228162514264337593543950396*a^2*x^9 + (792281625142643375935439503
95*a^2 + 79228162514264337593543950395*a)*x^8 + (8*a^2 + 7922816251426433759
3543950393*a + 79228162514264337593543950396)*x^7 + (4*a^2 + 12*a + 79228162
514264337593543950394)*x^6 + (79228162514264337593543950377*a^2 + 9*a + 7922
8162514264337593543950395)*x^5 + a^2*x^4 + (2*a^2 + 2*a)*x^3 + (792281625142
64337593543950389*a^2 + 4*a + 1)*x^2 + (79228162514264337593543950393*a^2 + 
79228162514264337593543950385*a + 3)*x + (20*a^2 + 7922816251426433759354395
0388*a + 1) 1]

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