[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]
[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 + 2*a + 2), 1])
Mat([1, 1])
Mat([x + (2*a^2 + 2*a + 2), 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 + a + 1), 1])
Mat([2, 1])
Mat([x^2 + (a^2 + a + 1), 1])
[x + 2*a, 1; x^2 + a*x + (2*a^2 + a + 1), 1]
[1, 1; 2, 1]
[x + 2*a, 1; x^2 + a*x + (2*a^2 + a + 1), 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: 3316