One Hat Cyber Team

View File Name : rank-GF.m2

-- bugs reported by Dimitri.Markouchevitch@math.univ-lille1.fr

-- first one:
p = 13;
KK= GF( (ZZ/p[a])/ideal(a^4-a^3+a^2-a+1));
M=matrix {{-2*a^3+6*a^2+a+1, -5*a^3+4*a-1, -5*a^3-3*a^2+5*a, 4*a^3+2*a^2+3*a+1, -4*a^3-5*a^2-3*a-3, 4*a^3+6*a^2-a+3, -a^3-3*a^2+3*a+3, 5*a^3-4*a^2-5*a-6, -a^3+4*a^2+a+2, -5*a^3-3*a^2-2*a+1, -a^3+4*a^2-6*a+1, -a^3+4*a^2+a+5, -6*a^3-5*a^2+2*a-4, 2*a^3-2*a^2-3*a+4, 5*a^3-4*a^2+a, -3*a^3+a^2-a-6, -4*a^3+5*a^2-6*a-2, -4*a^3-6*a^2-6*a+2, 3*a^3-4*a^2+5*a+6, 6*a^3+a^2+5*a+5, 2*a^3-6*a^2-3*a-6, -6*a^3+6*a^2+a-6, a^2-3*a+3, 2*a^3-4*a^2-4*a-6, 4*a^3-6*a^2+a-4, -3*a^3-a^2-6, -5*a^3-5*a^2-a-3, 6*a^3+3*a^2+a, -3*a^3-3*a^2-2*a-1, -4*a^3+6*a^2-5*a-3, -6*a^3+3*a^2-2*a+5, 3*a^3+4*a, -5*a^3-3*a^2+3*a+5, 2*a^3+2*a^2+2*a+5, 5*a^3+6*a^2+5*a-2, -4*a^3-5*a^2-2*a, 5*a^3+a^2-a+2, 6*a^3-2, -3*a^2-3*a-2, 2*a^2-3*a+3, 6*a^3-5*a^2+4*a-3, 3*a^2+6*a+5, -4*a^3+3*a^2+2*a+1, -6*a^3+4*a^2-5*a-3, 5*a^3-4*a^2+1, -6*a^2+2*a-4, -5*a^3-3*a^2-a+1, 5*a^3+5*a^2-3*a-5, 3*a^3-6*a^2+2*a-3, 5*a^3-2*a^2+2*a+5, 3*a^3-a^2-5*a+2, -4*a^3+a^2-a-3, -3*a^3+6*a^2-5*a+3, -6*a^3-6*a^2-3*a+2, 4*a^2+5*a, -6*a^3+6*a^2-4*a-5}, {-2*a^3-3*a^
 2+4*a-5, -a^3+2*a^2+6*a+2, 6*a^3-3*a^2-5*a-5, 3*a^3-4*a^2+4*a+1, -3*a^3-a^2-6*a+2, a^3-3*a^2-1, 3*a^3+6*a^2-5*a-5, 4*a^3-3*a^2-a, 2*a^3-2*a^2-4*a+4, -4*a^3-a^2+a+6, -a^2-4*a+4, a^3-4*a^2+3*a-2, 6*a^3+2*a^2+a+5, 5*a^3-3*a+2, a^3-4*a^2-6*a+2, 2*a^3-5*a-2, -2*a^3-6*a^2-5*a-1, 5*a^3+4*a^2+4*a-5, -6*a^3-6*a^2+2*a-4, 5*a^2-3*a, -2*a^3-4*a^2+2, 6*a^3+4*a^2+2*a-3, -3*a^3-2*a^2+5*a+4, 2*a^3-a^2+2*a+4, a^3+5*a^2+a-4, -5*a^3-a^2+2*a+5, 6*a^3+5*a-6, -2*a^3+6*a^2-4*a-3, -4*a^3+6*a^2+5*a+1, 4*a^3+5*a^2-2*a+2, -6*a^3-2*a-5, 5*a^3-a^2+3*a+4, 2*a^3+4*a^2+5*a, 6*a^3+6*a^2-3*a-6, -3*a^3-2*a^2-5, 5*a^3-3*a^2+4*a-2, 3*a^3+2*a^2-4*a, -4*a^3+a^2-a-6, 5*a^3+4*a^2-a+6, 6*a^3+5*a^2-6*a, a^3+a^2-4*a+1, -4*a^3-4*a^2-4*a+6, -2*a^3-5*a^2-3*a+4, -2*a^3-a^2-5*a-6, 2*a^3-4*a^2+6*a, -2*a^3-a^2-4*a-2, -5*a^3+5*a^2-a+3, a^3+4*a^2-2*a+4, 2*a^3-2*a^2-5, -4*a^3+4*a^2-5*a+6, 5*a^3-4*a^2+6*a+5, -6*a^3+4*a^2-4*a+4, 5*a^3-6*a^2-a+1, 4*a^3-a^2-4, -2*a^3+3*a^2-a+3, 5*a^3+3*a^2-4*a+1}, {a^3-3*a+3, -4*a^3-2*a+2, 6*a^3+6*
 a-6, -5*a^3-4*a+4, a^3+2*a-2, -2*a^3-2*a+2, -5*a^3-4*a+4, -a^3+3*a-3, -2*a^3+3*a-3, -3*a^3+6*a-6, -4*a^3-a+1, 4*a^3-a+1, 4*a^3+2*a-2, -5*a^3+a-1, 3*a^3-4*a+4, -3*a^3-6*a+6, a^3-4*a+4, 3*a^3-5*a+5, -4*a^3-3*a+3, 6*a^3+4*a-4, -a^3-3*a+3, -2*a^3+3*a-3, 4*a^3+2*a-2, -3*a^3-6*a+6, a^3-4*a+4, 3*a^3-5*a+5, -6*a^3-6*a+6, 5*a^3+4*a-4, -a^3-2*a+2, 2*a^3+2*a-2, -4*a^3-5*a+5, a^3-a+1, -6*a^3+3*a-3, -3*a+3, -4*a^3+5*a-5, -5*a^3-5*a+5, 5*a^3, a^3-3*a+3, 6*a^3-3*a+3, -6*a^3, 2*a^3-3*a+3, 3*a^3-6*a+6, 4*a^3+a-1, -4*a^3+4*a-4, -2*a^3+a-1, 2*a^3, -3*a^3-a+1, -a^3-4*a+4, -5*a^3+a-1, 2*a^3+3*a-3, -a^3+2*a-2, 3*a^3+4*a-4, -2*a^3-6*a+6, -3*a^3+3*a-3, 5*a^3+4*a-4, -5*a^3}, {-4*a^3-4*a^2+2*a+6, -2*a^3-2*a^2+5, 5*a^3-3*a^2+4*a-1, 3*a^3+6*a^2-5*a-2, a^3+a^2+3*a+1, -3*a^3-4*a^2+4*a+4, -5*a^3+5*a^2-a, -5*a^3-4*a^2-4*a-1, 2*a^3+4*a^2-6*a+4, 4*a^3-6*a^2+4*a-4, 4*a^3+2*a^2+6*a+6, -2*a^3+5*a^2-5*a+3, 5*a^3+4*a^2+5*a-4, -4*a^3+3*a^2+5*a+6, -3*a^3-6*a^2+2*a-1, 2*a^3-5*a^2-2*a+1, -5*a^3+4*a^2-5, 2*a^3-5*a^2-2
 *a+4, 5*a^2-6*a-4, -3*a^3-a^2+6*a+6, 6*a^3+2*a^2+a-1, 3*a^3-5*a^2-2*a+4, 3*a^3+3*a^2-2*a+5, -5*a^3-3*a^2+2*a-4, 5*a^3-a^2-a, 4*a^3-6*a^2+3*a-3, 3*a^2+2*a-4, 5*a^3-4*a^2-4*a-4, -2*a^3-4*a^2+a+4, -2*a^3+3*a^2-5*a-3, -6*a^3-5*a^2-2*a+1, 6*a^3-6*a^2-2*a+2, 3*a^3+3*a^2+5*a-4, 5*a^3+2*a^2-4*a+5, 6*a^3+6*a^2+4*a-3, -5*a^3-4*a+5, 6*a^3-5*a^2-6, 4*a^3+6*a^2+6*a-6, 6*a^3+3*a^2+5*a-4, a^3-5*a^2-4*a-3, -3*a^3-6*a^2-5*a, -a^3+2*a^2+6*a-6, -6*a^3-6*a^2+6*a+4, -2*a^3-4*a^2+5*a-2, 4*a^3+3*a^2-3*a-2, -6*a^3-6*a^2+3*a-3, -3*a^3-3*a^2-5*a+1, 5*a^3-a^2+3*a+5, a^3+6*a^2+a, -2*a^3+2*a^2+a+5, -2*a^3+a^2+5, -3*a^3+5*a^2-4*a-5, -4*a^3-a^2+4*a+3, a^3+a^2-3*a-6, -6*a^3+a^2-5*a-1, 6*a^3+3*a^2-4*a+1}, {4*a^3+a^2-2*a-6, a^3-3*a^2+6*a-2, 6*a^3-5*a^2-3*a+3, 6*a^2-6*a-1, 6*a^3+2*a^2+3*a+1, -6*a^3-2*a^2-3*a-5, -5*a^3+4*a^2-a-6, 4*a^3+5*a^2+4*a-1, 2*a^3+3*a^2+4*a-6, 3*a^3-2*a^2-2*a-2, -6*a^3+a^2-5*a-3, a^3+5*a^2+5*a+1, 4*a^3-a^2+2*a, -a^3-2*a^2-a-3, -5*a^3+2, a^3+2*a^2, 2*a^3+6*a^2-4*a-2, a^3+6*a^2-4*a-5, 6*a
 ^3+3*a^2+6*a+5, 6*a^3+3*a^2-2*a+3, -3*a^3-4*a^2-6*a-4, -6*a^3-6*a^2+3*a-4, -4*a^3+5*a^2+5*a-1, 5*a^3+2*a^2-3*a+2, -5*a^3-5*a-5, 6*a^3-4*a^2+5*a-2, -4*a^3+2*a^2+a-3, -a^3-6*a^2-2*a-2, 6*a^3-2*a^2+a+1, 6*a^3+6*a^2+5*a+6, -6*a^3-3*a^2-5*a-4, 6*a^3-2*a^2+5*a-3, 4*a^3-a^2+2*a+5, -2*a^3+3*a^2-5*a+3, -5*a^3+a^2-5*a, 4*a^2+3*a+3, 6*a^3-4*a^2-6*a-5, 2*a^3-2*a-4, -2*a^3-6*a^2+a-1, -6*a^3-a^2-3*a+1, 2*a^3-4*a^2+3*a+5, a^3+2*a^2+6*a+5, -4*a^3+4*a^2+5, 2*a^3-4*a^2-4*a-2, -4*a^3+5*a^2+a+3, -3*a^3+4*a^2+2, 5*a^3+a^2+2, 5*a^3-a+5, -3*a^3-2*a^2+2, 3*a^3-6*a^2+4*a-2, 2*a^3+4*a^2+5*a-5, 2*a^3+2*a^2+6*a+3, 4*a^3-4*a^2+5*a+4, -6*a^3-4*a^2-5*a-3, 6*a^3+6*a^2-5*a-3, -5*a^2+2*a-4}, {2*a^3-2*a^2-4*a-5, -a^3-5*a^2+6*a-1, a^2-5*a+6, 4*a^3-6*a^2+4*a+3, -6*a^2+3*a-3, -a^3+2*a^2-4*a-4, a^3-3*a^2-3*a-1, a^3+2*a^2-3, 3*a^3+2*a^2-4*a, -3*a^3+6*a^2-5*a-6, -2*a^3+3*a^2+5*a+6, 2*a^3+5*a^2-5*a, -3*a^3-2*a^2-4*a+3, -6*a^3+6*a^2+6*a-2, -5*a^3-5*a^2+6*a-5, 6*a^3-a^2+6*a-6, -4*a^3+2*a^2+3*a-2, -a^3+4*a^2-a-2, 5*a^3
 +3*a^2+5*a-1, 2*a^3-4*a^2+6, -a^2+5*a-1, 4*a^3+2*a^2-2*a+2, -4*a^3+a^2+6*a+3, -3*a^3-3*a^2-2, -2*a^3-2*a^2-6*a+5, 2*a^3+5*a-6, 6*a^3+4*a^2-a+3, -3*a^3-4*a^2-4*a-4, 6*a^3+2*a^2-4*a+4, 2*a^3+3*a^2+2*a-6, 5*a^3+5*a^2-6*a-2, 2*a^3-5*a^2+a+3, -a^3+5*a^2+a+1, 6*a^3+a^2+3*a-3, 4*a^3-a^2-3*a+2, 6*a^3-a^2+2*a-4, a^3+6*a+6, 4*a^3+3*a^2+a-5, 6*a^3-3*a^2-2*a+6, -a^3+a^2-3*a-4, 3*a^3-4*a^2-6*a+3, 5*a^2+5*a+4, -3*a^3+a^2+a, 4*a^3+5*a^2-2*a+6, -3*a^3-6*a^2-6*a-3, -a^3-3*a^2-4*a+4, 6*a^3+4*a^2-2*a+4, -5*a^3-a^2-3*a-3, 4*a^2+4*a-5, 5*a^3+2*a+4, -6*a^3-5*a^2+3*a-6, 6*a^3+4*a-5, -6*a^3-6*a^2+5*a-6, -5*a^2-5*a+4, 4*a^3-6*a^2+5*a+6, -3*a^3+6*a^2-6*a+2}, {-4*a^3+a^2+3*a-3, 6*a^3+2*a^2-4*a-5, 3*a^3-a^2-3*a-2, 2*a^3-2*a^2-a-6, 2*a^2+3*a, -2*a^3+4*a^2+2*a+6, -2*a^3+2*a^2-a-3, -5*a^3-4*a^2+2*a, 3*a^3+2*a^2-4*a, -6*a^3-a^2+6*a-4, -4*a^3-3*a^2+3*a+2, 4*a^3-5*a^2+6*a+6, 6*a^3+3*a^2+3*a+3, 4*a^3-5*a+1, 6*a^3-a^2-3*a-6, -5*a^3-6*a^2-1, -2*a^3+5*a^2-a+4, -6*a^3+3*a^2-3*a+5, -4*a^2-a-4, -3*a^3-3*a^2+3*a, -3
 *a^3-a^2+2*a+4, a^3+2*a^2-4*a-5, -6*a^3+4*a^2+3*a+4, -4*a^3+3*a^2+a+5, -5*a^2-5*a-5, 5*a^3-4*a^2-6*a-6, -3*a^3+3*a^2-5*a+2, 2*a^3+3*a^2+3*a+2, -3*a^3+2*a^2+5*a+6, -4*a^2+3*a-1, a^3+4*a^2+4*a-2, -5*a^3+a^2-6*a+6, -6*a^3+2*a^2+a+4, -6*a^3-2*a^2+4, -4*a^3+4*a^2+a+2, -a^3-6*a^2+5*a-1, a^3+6*a^2-a-4, -2*a^3-6*a^2+4*a+1, 4*a^3+2*a^2-a+3, -5*a^3-a^2+2*a-3, 4*a^3+4*a^2-6*a-3, 4*a^3+a^2+2*a+6, -5*a^3-a^2-a+6, 6*a^3+3*a^2+3*a-3, -6*a^3+3*a^2-5*a+5, 6*a^3-a^2+a-4, 2*a^3+4*a^2+a-3, 2*a^3-2*a^2-3*a+5, -5*a^3-2*a^2-3, -6*a^3+5*a^2+4*a+1, -a^3+2*a^2-3*a, 5*a^3-4*a^2-5*a-5, 3*a^3-a^2-3*a-3, 3*a^3+6*a^2-4*a-6, -4*a^3-5*a^2+5*a-3, -a^3-4*a^2-5*a+5}, {5*a^3+3*a^2+2*a-6, 6*a^3-6*a^2+5*a+4, 3*a^3+a^2+3*a-1, 4*a^2+4*a-3, 6*a^3+3*a^2+2, 2*a^3-2*a+1, -3*a^2-6*a+6, -3*a^3-5*a^2+a+5, 2*a^3+4*a^2+6*a-6, -3*a^2-5*a-5, 3*a^3-a^2+2*a+5, -4*a^3-a^2-3*a-4, 5*a^3-6*a^2-a-2, -a^2-2*a+5, -a^3-4*a^2+2*a+5, -2*a^3-4*a+4, -3*a^3+6*a^2+a-4, -4*a^3+a^2+6*a-2, 6*a^3-a^2+3*a+5, a^3-4*a^2+4*a+2, 2*a^3-2*a^2+6*a+1, 5*
 a^2-4*a+4, -2*a^3-5*a^2+2*a-6, -4*a^3+2*a^2+6, 6*a^3-2*a^2-2*a+2, 4*a^3-5*a^2-a-2, -3*a^2-3*a-4, a^3+3*a^2-a+2, 5*a^3-4*a^2-6*a+3, a^3+6*a^2+6*a-2, -2*a^3-5*a^2+2, -3*a^2+a+3, 6*a^3-2*a^2-3, -5*a^3-5*a^2+6*a-2, -5*a^3+4*a^2-3, -2*a^3+3*a^2-a-3, -3*a^3-a^2-6, -3*a^3-5*a^2-a+2, 6*a^3-5*a^2+4*a+4, 3*a^3+4*a^2-5*a-3, 4*a^3-5*a^2-3*a+1, 6*a^3-5*a^2-5*a-1, -3*a^3+6*a^2-a-4, -3*a^3+3*a^2+4*a+3, -a^3-5*a+1, 5*a^3+4*a^2-a+1, -3*a^3-6*a^2+3*a+3, 2*a^3-2*a^2-a+2, -6*a^3-5*a^2+2*a, -4*a^2+5*a-2, -3*a^3+a^2+3*a-6, -4*a^3+a^2+4*a-6, 3*a^3+4*a^2+3*a-1, 2*a^3+4*a^2-5*a-5, 2*a^3+a^2+6*a, -5*a^3-a^2+6*a+1}, {-a^3-5*a^2+6*a-5, -5*a^3-a^2-6*a+5, -3*a^3-2*a-1, 6*a^3, 5*a^3-2*a^2-2*a+6, 3*a^3+2*a+1, -3*a^3-4*a^2+4*a-2, -a^3+3*a^2-3*a, -4*a^3-5*a^2-5*a+1, -3*a^3-a^2-4*a+3, a^3-3*a^2+3*a, -5*a^3+5*a-1, -6*a^3-5*a+3, -4*a^3+4*a^2-5*a+1, 5*a^3-5*a+1, 6*a^3+4*a^2-4*a-5, -4*a^3-4*a^2-5*a-2, 6*a^3+5*a-3, -6*a^3-6*a^2-2*a, 4*a^3-4*a^2+5*a-1, -5*a^3+5*a-1, 2*a^3+a^2-a+5, -4*a^3+4*a^2+6*a+5, 4*a^3-4*a^2+4*
 a+3, -2*a^3-a^2+a-2, 4*a^3-4*a^2-6*a-5, 5*a^3+a^2+2*a+1, -3*a^3+4*a^2-2*a+5, -4*a^3-2*a^2-5*a-3, -5*a^3-a^2-2*a-1, 6*a^3-3*a^2-3*a+6, a^3+5*a^2-6*a-4, 3*a^3-4*a^2+2*a-5, -5*a^3+a^2+2*a+2, 4*a^3+2*a^2+5*a+3, 5*a^3+a^2+2*a+1, -5*a^3+5*a^2-a+3, -4*a^3-6*a^2-5*a-4, -a^3+6*a^2+2, 5*a^3-5*a^2+a-3, 6*a^3+6*a^2-2*a-3, -6*a^3+5*a^2+4*a-1, 4*a^3+6*a^2+5*a+4, 4*a^3-4*a^2+4*a+5, a^3-6*a^2-2, -5*a^3+5*a^2-a+3, -a^3+2*a^2+3*a-2, -4*a^3-3*a^2-6*a+6, -6*a^3-6*a^2+2*a+3, -a^3+5*a^2-4*a+1, 6*a^3-5*a^2-4*a+1, -4*a^3-6*a^2-5*a-4, 4*a^3+3*a^2-2*a-1, -4*a^3+4*a^2-4*a-5, -a^3+6*a^2+2, 5*a^3-5*a^2+a-3}, {a^3-6*a^2+5*a-1, 4*a^3-5*a^2-4*a, 5*a^3-3*a^2+5*a+6, -5*a^3-3*a^2+a, -a^3-a^2-2*a+4, -6*a^3-2*a^2-3*a-4, 5*a^3+4*a^2+4, -5*a^3-4*a^2-4*a-4, -6*a^3+4*a^2+3*a-2, 5*a^3-5*a-1, -6*a^3+a^2-4*a-5, 6*a^3+a^2-6*a-3, -5*a^3+a^2-2*a+4, 3*a^3+3*a^2+2*a+4, -6*a^3-4*a^2+5*a+1, 6*a^3-2*a^2+a-2, a^3-2*a^2-a-1, -3*a^3-4*a^2-5*a-1, 6*a^3-a-2, -5*a^3+2*a-5, -3*a^3-5*a^2+5*a+2, -2*a^3-a+2, -3*a^2-6*a-2, -2*a^3+a^2-2*
 a+2, -3*a^3+5*a^2+4*a+5, -6*a^3-3*a^2-5*a-5, -3*a^3-6*a^2+2*a+3, 4*a^3-a^2+6*a+3, -4*a^3+5*a^2-6*a+5, 2*a^3-6*a^2+3*a-5, -4*a^2-6*a+3, 6*a^3+2*a^2-6*a-2, -2*a^3+6*a^2-4*a+4, -5*a^3-3*a^2-2*a+2, -5*a^3+6*a^2-4*a+4, 5*a^3+4*a^2-a, a^3+6*a^2-6*a, -4*a^3-6*a^2-6*a-5, 5*a^3+3*a^2+4*a+1, 5*a^3+3*a^2+5*a+1, 4*a^3+2*a^2+2*a-2, 6*a^3+4*a^2+a-2, -3*a^3-2*a^2+6, 2*a^3-2*a^2+a-3, -3*a^3-5*a^2+a+1, -a^3-a^2+4*a, 5*a^3-3*a^2+2, -4*a^3-5*a^2+3, 3*a^3+a^2+a+5, 5*a^3-4*a^2+5*a-1, a^3+2*a^2-5*a+3, -a^3+6*a^2+3*a-5, 4*a^3+4*a^2+4*a-2, a^3+2*a^2-6*a-2, 4*a^3+2*a^2+4*a+3, -5*a^3-6*a^2-6*a+4}, {-5*a^3-5*a^2+2*a+3, -3*a^3-3*a^2+5*a+1, 3*a^3+2*a, 4*a^2-a+4, 5*a^2+2*a-1, -a^3+2*a^2+2*a, a^3-2*a^2-a, 2*a^3+3*a^2-6*a-2, 5*a^3-2*a^2+3*a+5, 4*a^2+5*a+3, -3*a^3-a-6, 6*a^3+2*a^2+5, -3*a^3-2*a^2+6*a+1, 4*a^3-5*a^2+4*a-1, 2*a^3+a^2+2*a+1, a^3-2*a^2+3*a+5, -2*a^3+5*a^2-5*a+3, -3*a^3+2*a^2+2*a, -5*a^3+6*a^2-2*a+2, -3*a^2+a+3, a^3-3*a^2-4*a+4, -3*a^3+2*a^2-5*a-1, 2*a^3-4*a^2-4*a+3, 5*a^3-2*a, a^3-3*a^2-3*a+2, 
 2*a^3-a^2-2*a-5, 3*a^3-2*a^2+5*a-3, 4*a^3+6*a-1, -a^3-2*a^2+a-3, -4*a^3-a^2+a, -5*a^3-3*a^2+3*a-3, -5*a^2+a+5, 5*a^3+5*a^2-5*a-1, -4*a^3+2*a^2-6*a+4, a^3+2*a^2-5*a+1, -5*a^3-4*a^2-3*a+1, 4*a^3+5*a^2+2*a-4, -6*a^3-6*a^2-2, -5*a^3-a^2-a+4, -5*a^3-3*a^2+4*a+4, -2*a^3-2*a^2+5*a+3, -4*a^3-5*a^2-4*a-6, -a^3-5*a+3, 2*a^3+3*a^2+a+3, 2*a^3+5*a-4, -a^3+4*a^2+5*a+3, 5*a^2-5*a, 6*a^3+3*a^2-a-2, 6*a^3+6*a^2-2*a-5, -3*a^3-2*a^2+6*a-5, 3*a^3+a^2+6, -5*a^3+4*a^2+4*a+2, -2*a^3+3*a^2-4*a+4, a^3-5*a^2-a+4, -4*a^3+3*a^2+5*a, -2*a^3+2*a^2+2*a-1}, {-5*a^3-4*a^2-3*a-2, 4*a^3-2*a^2-6*a-2, -2*a^3-3*a^2+2*a+1, 4*a^3+6*a^2+5*a+1, -2*a^3+a^2+4, -6*a^3-4*a^2-5*a, 5*a^2-5*a+4, -4*a^3-4*a^2+3*a+5, -6*a^3+4*a^2-2, 2*a^3-6*a^2+2*a-2, -6*a^3+2*a^2+4*a-5, -3*a^3+5*a^2-2*a, 4*a^3+4*a^2+5*a-4, a^3+3*a^2+3*a-5, -4*a^3-6*a^2+5*a-4, 3*a^3-5*a^2+6*a+6, a^3+4*a^2+4*a+4, 3*a^3-5*a^2-4*a+6, -5*a^3+5*a^2+4*a-1, 4*a^3-a^2-6*a+5, 5*a^3+2*a^2-3*a+3, 2*a^3-5*a^2-4*a+6, -6*a^3+3*a^2+2*a+1, -5*a^3-3*a^2-a-1, -4*a^3-a^2+a-2, 
 2*a^3-6*a^2+3*a-3, -3*a^3+3*a^2+6*a+5, -a^3-4*a^2+5, 6*a^3-4*a^2-5*a-3, -a^3+3*a^2-6*a-2, -2*a^3-5*a^2+6*a+6, -6*a^2-5*a+5, -6*a^3+3*a^2+6*a-5, 6*a^3+2*a^2+3*a-2, a^3+6*a^2+4*a-3, 5*a^3+5*a-4, -a^3-5*a^2-a-5, 3*a^3+6*a^2+a-1, 4*a^3+3*a^2+6*a-5, 4*a^3-5*a^2+2*a+4, -4*a^3-6*a^2+6*a+2, -a^3+2*a^2+5*a-5, -a^3-6*a^2-3*a, 6*a^3-4*a^2+2*a+1, 6*a^3+3*a^2-5*a, -a^3-6*a^2+3*a-3, 6*a^3-3*a^2+4*a+5, -4*a^3-a^2+6*a+2, 6*a^3+6*a^2-6*a-6, 2*a^2+3*a+3, a^3+a^2+4*a+1, -2*a^3+5*a^2+3*a+1, 5*a^3-a^2+4*a+3, -2*a^3+a^2+6*a-2, 5*a^3+a^2-2*a-4, 4*a^3+3*a^2-2*a-1}, {-4*a^3-3*a+3, 2*a^3-2*a+2, 6*a-6, a^3-4*a+4, a^3+2*a-2, -2*a+2, a^3-4*a+4, 4*a^3+3*a-3, 5*a^3+3*a-3, -4*a^3+6*a-6, 3*a^3-a+1, -5*a^3-a+1, -2*a^3+2*a-2, 6*a^3+a-1, 6*a^3-4*a+4, -3*a^3-6*a+6, -5*a^3-4*a+4, 5*a^3-5*a+5, a^3-3*a+3, -2*a^3+4*a-4, -2*a^3-3*a+3, 5*a^3+3*a-3, -2*a^3+2*a-2, -3*a^3-6*a+6, -5*a^3-4*a+4, 5*a^3-5*a+5, -6*a+6, -a^3+4*a-4, -a^3-2*a+2, 2*a-2, -a^3-5*a+5, -2*a^3-a+1, -4*a^3+3*a-3, -3*a^3-3*a+3, -4*a^3+5*a-5, -5*a+5, -5*
 a^3, -4*a^3-3*a+3, 4*a^3-3*a+3, 6*a^3, -5*a^3-3*a+3, 4*a^3-6*a+6, -3*a^3+a-1, -5*a^3+4*a-4, 3*a^3+a-1, -2*a^3, 2*a^3-a+1, -3*a^3-4*a+4, 6*a^3+a-1, a^3+3*a-3, 3*a^3+2*a-2, a^3+4*a-4, -4*a^3-6*a+6, 6*a^3+3*a-3, -a^3+4*a-4, 5*a^3}, {3*a^3-a^2-5*a-4, a^2+3*a-4, 3*a^3+a^2+a+1, 2*a^3-6*a^2+6*a-5, -6*a^3-5*a^2-2*a-2, -6*a^3-4*a^2+a-6, 5*a^3-a^2-3*a, -3*a^3-a^2-3*a-4, -5*a^3+a^2-5*a+1, 4*a^3+a^2-6*a+4, -4*a^3+4*a+4, -3*a^3-a^2-5*a+6, 5*a^3-4*a^2-4*a-3, 2*a^3-3*a^2-a+6, -a^3-4*a^2-4*a+2, -2*a^3-3*a^2+a-6, -6*a^3+4*a^2+a+6, 2*a^3+5*a^2-4*a-6, -4*a^3+a^2-2*a+5, 2*a^2+5*a-4, -4*a^3+2*a^2-4*a, 4*a^3+6*a^2-4*a+1, -2*a^2+2*a+2, -3*a^3-5*a^2+4, -4*a^2-4*a-3, 4*a^3+2*a^2+5*a-2, -3*a^3-5*a^2+a, 2*a^3+4*a^2-5*a-4, 4*a^3+6*a^2-a-2, 4*a^3+4*a^2+a, 5*a^3+5*a^2+3*a-6, -2*a^3+3*a^2-4*a+6, -5*a^3-2*a^2-4*a-3, 3*a^3+3*a^2+3*a+2, 3*a^3-a^2-a-1, -6*a^3+a^2+4*a-3, 4*a^3+2*a^2-3*a+6, -4*a^3+4*a^2-a+2, -3*a^3-4*a^2-3*a+2, -6*a^3+4*a^2-2*a+2, -5*a^3-6*a^2-6*a-5, 3*a^3-3*a^2+6*a+5, 5*a^3+a^2+a+1, 2*a^3-6*a^
 2+4*a-4, 6*a^3+3*a-6, -3*a^3+4*a^2+4*a-6, 5*a^3-5*a^2+6*a-5, -2*a^3-4*a^2+a-1, 3*a^3+a^2+4*a+6, a^2+4*a+4, -2*a^3+4*a^2-3, 6*a^3+2*a^2-4*a-6, -5*a^3-3*a^2-6*a+5, -2*a^3-3*a-6, a^3-a^2-4*a+6, -5*a^3+3}, {-4*a^3-4*a^2-4*a+2, 5*a^3-6*a^2+4*a+1, 6*a^3-3*a^2+4*a+4, -a^3-4*a^2-2*a-6, 4*a^3-3*a^2-3*a, 5*a^3+2*a^2+4*a+4, -5*a^3+3*a, -5*a^3-6*a^2-3*a+1, -3*a^3-a, 6*a^3+3*a^2-3*a+6, -4*a^3-4*a^2+6*a+5, -4*a^3-2*a^2-2*a+6, 6*a^3-4*a^2-4*a-6, 3*a^3+3*a^2+4*a-1, -3*a^3-6*a^2+3*a+1, 5*a^3-4*a^2-2*a+4, 4*a^3+6*a^2-5*a-1, 2*a^2+a, 3*a^3+2*a-3, -2*a^3+4*a^2+6*a-1, -a^3-a^2-5*a-6, -3*a^3+2*a^2+6*a-1, 2*a^3+4*a^2+2*a-2, 5*a^3-a^2+3*a-3, 6*a^3+4*a^2-2*a-5, 6*a^3-a^2+5*a-3, -a^3+2*a^2+a-3, -6*a^3-2*a^2+5*a-6, 5*a^3-2*a^2+6*a-4, -5*a^3-6*a^2+3*a-1, -6*a^2+3*a+2, -4*a^3-2*a^2+2*a, -2*a^3-6*a^2-2*a+2, -3*a^3+3*a-4, 4, 4*a^3+2*a+1, -6*a^3+2*a^2, -6*a^3+5*a^2+6*a-5, -a^2+3*a+4, -5*a^2-4*a-1, 5*a^3-3*a^2+4*a-5, -4*a^3+2*a^2-a-1, -4*a^3+3*a^2-3*a+4, -3*a^3-5*a+2, -2*a^3+4*a^2+6*a-6, -6*a^3-a^2-a-4, -4*
 a^3+5*a^2-4*a-4, -5*a^3+a^2+3*a+5, -5*a^3-2*a^2-a+3, -3*a^3+6*a^2-4*a+2, 2*a^3+5*a^2+4*a, -5*a^3-5*a^2+4*a+3, -3*a^3-6*a^2+a, -a^3+6*a^2+6*a, 5*a^3-a^2-5*a-5, 3*a^3+3*a^2+5*a-1}, {-4*a^3+6*a^2+2*a+6, -5*a^3-2*a^2-3*a+2, -3*a^3+5*a^2-3*a-5, 2*a^2-a-6, a^3+a^2-6*a, -a^3+3*a^2-5*a+3, a^3+6*a^2+6*a+4, -6*a^3+5*a^2-3*a-3, 3*a^3+5*a^2+3*a+1, 5*a^3-3*a^2+a+2, -3*a^3-6*a^2, -3*a^3-3*a^2+3*a-5, 2*a^3-5*a^2-5*a+6, -a^3+6*a^2-2*a-6, -5*a+2, -6*a^3-5*a+5, -6*a^3-3*a^2-4*a+4, -5*a^3-a^2+a-5, 2*a^3+4*a^2-4*a+6, 3*a^3+3*a^2-a-4, -2*a^3-4*a^2-2*a+1, 6*a^3+3*a^2+4*a+1, -a^3-4*a^2+3*a-3, 6*a^3+4*a^2+1, 4*a^2+3*a-5, 3*a^3+6*a^2-3*a+5, -3*a^3+a^2-5*a+1, -6*a^3+4*a^2+2*a+3, a^3+4*a^2+3, -3*a^3+2*a^2+4*a-3, 3*a^3+4*a^2-3*a+2, -a^3-6*a^2-2*a-6, -a^3+5*a, -5*a^3-2*a^2+3*a, a^2+a-3, -a^3+6*a^2+6*a+2, 2*a^3-6*a^2+a-1, -6*a^2-3*a, -5*a^3-a^2-5*a+3, -2*a^3+3*a^2+a, 2*a^3+3*a^2+2*a+2, -2*a^3+2*a^2+a-5, 3*a^3+3*a^2+5*a+4, a^3-a^2-3*a-6, 3*a^3-a^2-5*a-3, -a^3+5*a^2+4*a, -6*a^3-6*a^2-5*a-2, -2*a^3+a^2, a^3
 +4*a^2+3*a-4, -a^2+4*a-2, -a^3-6*a^2-6*a+1, 4*a^2-2*a-1, 3*a^3-a^2-3*a-2, -5*a^3-4*a^2-3*a, 3*a^3+6*a^2-5*a+5, 6*a^3-6*a^2-a+1}, {-2*a^3+5*a-3, -a^3-4*a^2-3*a+3, 2*a^3-a^2+5*a+1, 4*a^3+3*a^2-a, -3*a^3-4*a^2-3*a+6, 6*a^3-a^2-6*a+3, 4*a^3+6*a^2+2*a-3, a^3+6*a^2+3*a+3, 6*a^3+2*a^2-a-6, -6*a^3+5*a^2+3*a-2, -4*a^3-a^2+2*a-6, 6*a^3-a^2+6*a+3, -3*a^3+5*a^2+5*a, 4*a^3+2*a^2-3*a+5, -3*a^3+3*a^2-a-4, 2*a^3-6*a^2-3*a-1, -6*a^3-3*a^2+6*a+1, 4*a^3+6*a+4, 2*a^3-4*a^2+6*a+1, -6*a^3-4*a^2-a-5, -a^3+2*a^2-4*a, -2*a^3-3*a^2-5*a-6, 6*a^3+4*a^2-5*a-1, -2*a^3-2*a^2+6*a-5, -6*a^3+2*a^2+3*a-6, -a^3-3*a^2+3, 5*a^3-3*a^2+6*a-2, 4*a^3+a^2+4, -a^3+6*a^2-2*a+5, 4*a^3+5*a^2+3, -4*a^3+4*a^2-3*a+6, -4*a^3-6*a^2-4*a+3, 6*a^3+a^2-5*a-2, 6*a^2-a-2, 3*a^3+a^2+a+5, -2*a^3-5*a^2+a+1, a^3+6*a^2-a-5, 6*a^3+6*a^2-6*a+4, -6*a^3+5*a^2+a-1, -4*a^3+2*a^2+3*a-1, -3*a^3-4*a^2+3*a-1, a^3-5*a^2-3*a+5, -a^3-a^2-2*a-1, -3*a^3-3*a^2+2*a+5, 3*a^3+4*a^2-2*a+1, 5*a^3+3*a^2-3*a-3, a^3-4*a+5, 2*a^3+a^2+4*a-3, -a^3+6*a^2-2*a+2, 6*
 a^3-4*a^2-3*a-6, -2*a^3+2*a^2-3*a+1, -a^3-6*a^2+6*a-4, 5*a^3-a^2-6*a+1, 4*a^3-6*a^2+6*a+6, 6*a^3+a^2-4*a-6, a^3+5*a^2-3*a+6}, {a^3-2*a^2+5*a-4, -3*a^3-3*a^2+4*a+6, 6*a^3+4*a^2-5*a-6, 3*a^3-a^2+2*a-5, -3*a^3+6*a+2, 3*a^3-6*a^2-6, -3*a^3-5*a^2+6*a+1, 4*a^3+2*a^2+a-1, -a^3-5*a^2-a-5, -4*a^2-a+4, -2*a^3+4*a^2-6*a, -a^3-4*a-3, -5*a^3+2*a^2+3*a-1, -5*a^3-a^2-2*a-6, 5*a^3+3*a^2+3*a+4, -5*a^3+2*a^2-6*a-2, -3*a^3-6*a^2+a-3, -a^3+a^2-5*a-1, -a^3-3*a^2-a, -3*a^3-3*a^2-a+4, 3*a^3-3*a^2-4*a+2, 5*a^3-3*a^2+a-4, -a^3-3*a^2+4*a+1, -4*a^3+2*a^2-a+3, a^3+a^2+a, 5*a^3+5*a^2-a-1, -5*a^3+3*a^2+2*a-5, 3*a^3+5*a^2-5*a+5, 4*a^3+2*a^2-5*a+3, -3*a^3+2*a^2+3*a-3, 2*a^3-a^2-5, 4*a^3-2*a^2+3*a-2, 4*a^3-6*a^2-1, -6*a^3+5*a^2-2*a-5, -5*a^3-4*a^2+3*a-6, -4*a^3-4*a+6, -6*a^3+3*a^2-3*a-1, -5*a^3-3*a^2+2*a+2, -4*a^3+3*a^2-a-6, -6*a^3+5*a^2+5*a+5, -3*a^3+6*a^2-3*a+2, 3*a^3+a+3, -3*a^3-4, 2*a^3-6*a^2-2*a+5, -5*a^3-6*a^2+4*a-1, 2*a^3-2*a^2+4*a+2, -4*a^3-2*a^2+2*a-2, -3*a^3-2*a^2+5*a-3, a^3+a+4, a^2-3*a+5, -3*a^3
 +5*a^2-4*a, -5*a^3-a^2+4*a-2, 5*a^3-6*a^2+5*a-5, a^3+5*a^2-6*a+5, 6*a^3+4*a^2-4*a+3, -a^3-5*a^2-6*a+2}, {-4*a^3-6*a^2-a-2, -a^3+5*a^2-3, 5*a^3-4*a^2-a-5, 6*a^3+a-1, 3*a^3+5*a^2+4*a+2, -5*a^3+4*a^2+a+5, -5*a^3+2*a^2-5*a+5, -a^3+3*a^2-4*a+1, 3*a^3-4*a^2+a-1, 3*a^3+5*a^2-6*a+3, a^3-3*a^2+4*a-1, 4*a^3+a^2+4*a+4, 6*a^2-2*a-2, -5*a^3+4*a^2+a-5, -4*a^3-a^2-4*a-4, a^3+6*a^2+4*a-5, 2*a^3+3*a^2+5*a+3, -6*a^2+2*a+2, 4*a^3+5*a^2-5*a-5, 5*a^3-4*a^2-a+5, 4*a^3+a^2+4*a+4, -6*a^3-a^2-4*a, -5*a^3-2*a^2-4*a+4, -6*a^3-4*a+1, -4*a^3+5*a^2-3, 5*a^3+2*a^2+4*a-4, -a^3+2*a^2-3*a-3, 6*a^3-4*a^2+4*a+6, 5*a^3+2*a^2+2*a+6, a^3-2*a^2+3*a+3, -3*a^2+3, -5*a^3-6*a^2-2, -6*a^3+4*a^2-4*a-6, 3*a^3-a^2-6*a+2, -5*a^3-2*a^2-2*a-6, -a^3+2*a^2-3*a-3, 6*a^3-3*a^2+4*a+5, -4*a^3-a+3, -5*a^2-5*a+2, -6*a^3+3*a^2-4*a-5, -2*a^3+3*a^2+a-5, -2*a^3-6*a^2+4*a-6, 4*a^3+a-3, -4*a^3-6*a^2+2*a-1, 5*a^2+5*a-2, 6*a^3-3*a^2+4*a+5, -6*a^3+6*a^2+2*a+2, -3*a^3+6*a^2+a-4, 2*a^3-3*a^2-a+5, 2*a^3-a^2-3*a+2, 2*a^3+6*a^2-4*a+6, -4*a^3-a+3,
  5*a^3+3*a^2-2*a-1, 4*a^3+6*a^2-2*a+1, -5*a^2-5*a+2, -6*a^3+3*a^2-4*a-5}, {-2*a^3+2*a^2-3*a-1, -5*a^3+a^2-5*a+5, -4*a^3-3*a^2-6*a+4, -a^2+3*a+6, 3*a^3+3*a^2-3*a+5, a^3-a^2+4*a-4, -2*a^3+a^2-3*a-5, -a^3+4*a^2-3*a+5, -a^2+a, -5*a^3+6*a^2, 5*a^3-a^2-6*a+6, -4*a^3+a^2-3*a+3, 6*a^3+2*a^2+a+5, -4*a^3+6*a^2-5*a-5, a^3-6*a^2-a-3, -4*a-4, 5*a^3+6*a^2+2*a-5, 5*a^3-4*a^2+2*a-3, 6*a^3-5*a+6, -3*a^2-6*a+1, 6*a^3-3*a^2-2*a+6, -a^3-4*a^2-5*a-6, -4*a^2+3*a-3, -6*a^2+2*a+3, -5*a^3+3*a^2+5*a+1, -5*a^3+6*a^2-5*a-5, -4*a^3-a^2+2*a-1, -6*a^3-a^2+4*a+5, -a^3+5*a^2+2, -2*a^3-2*a^2+2*a+3, -6*a^3+a^2-4*a, -2*a^3+2*a^2-4*a, -3*a-5, -2*a^3+3*a^2+3*a+1, 5*a^3-2*a^2-4*a-5, -2*a^3-2*a^2-4*a-3, -2*a^3+3*a^2+2*a+5, 2*a^3+a^2+5*a-2, 6*a^3-a^2-2*a-3, -a^2-3*a+4, 4*a^3-5*a^2+4*a+5, -a^3+a^2-2*a-2, 4*a^3+6*a^2+6*a+3, -3*a^3-5*a^2-4*a-4, -a, 5*a^3+5*a^2-5*a-2, -6*a^3+2*a^2+2*a-4, 6*a^3+5*a^2-2*a-3, 5*a^3-6*a^2+5*a-5, 3*a^3+a^2-a+3, 2*a^3+a^2-5*a+2, -2*a^3+4*a^2+3, -3*a^3+2*a^2-6*a+5, a^2-4*a+3, 4*a^3-5*a^2-5*a+
 5, a^2+1}, {5*a^3-3*a^2-2*a+1, -a^3+2*a^2-5, -3*a^3-3*a^2-2*a+5, a^3-4*a^2+5*a, 4*a^3-a^2+3*a+6, 2*a^3-3*a^2+2*a-3, 4*a^3+6*a^2+2*a+1, -a^3-3*a^2+3*a-4, -2*a^2+6*a-6, 5*a^3-a^2-6*a, a^3-a^2+5*a-5, 3*a^3-4*a^2+2*a-1, 5*a^3+2*a^2+3*a+3, -5*a^3+2*a-3, 3*a^3-4*a^2+6*a+3, -2*a^3-2*a-5, -5*a^3-6*a^2+5*a+2, 4*a^3+4*a^2+4*a-5, -a^3-6*a^2+2*a-4, -5*a^3+5*a^2-5*a+2, 6*a^3-4*a^2+6*a-4, 3*a^3+4*a^2+6*a+6, 5*a^3-2*a^2+6*a+3, -a^3-a^2+5*a+1, -6*a^3+5*a^2+4*a+6, 6*a^3-a^2+6*a+1, -6*a^3-6*a+5, -4*a^3+6*a^2+4*a+2, -2*a^3+6*a^2-5*a-2, 4*a^3+5*a^2-3*a+3, 6*a^3-5*a-2, -4*a^3-a^2+5*a+2, -6*a^3+4*a^2-4*a-4, a^3+6*a^2+a+3, 5*a^3-2*a^2-3*a-2, -2*a^3-3*a^2+a+1, -5*a^3+2*a^2-2*a-2, 3*a^3+a^2+6*a, 4*a^3+4*a^2+2*a+3, 2*a^3+5*a^2-5*a-1, -2*a^3+a^2-3, -5*a^3-4*a^2-3*a+5, -6*a^3-5*a^2-4*a+5, 3*a^3-a^2-5*a-6, 2*a^3-4*a^2+4*a+2, 3*a^3-a^2-a-5, 5*a^2-2*a+4, -5*a^3+4*a^2+2, -2*a^2-3*a-2, 4*a^2+2*a-1, -a^3-4*a^2-4*a+2, 2*a^3+4*a^2, a^3-6*a^2-6*a+6, -3*a^3-a^2-3*a-1, -a^3+3*a^2+2, 5*a^3+3*a^2-2*a-1}, {-5*a^3+a^
 2+6*a-1, 2*a^3-3*a^2+a+3, -a^3-5*a^2-5*a+5, -6*a^3+6*a^2+6*a, 5*a^3+2*a^2-a+5, -5*a^3-2*a^2-3*a-5, a^3+4*a^2+3*a+3, 4*a^3+5*a^2-6*a-4, -5*a^3+3*a^2+4*a-6, -a^3-2*a^2-4, 5*a^3+a^2-4*a-4, -6*a^3+5*a^2-4*a-3, -3*a^3-a^2+a+1, 3*a^3-2*a^2-a-3, 5*a^3+2*a, -3*a^3+2*a^2-2*a+2, 5*a^3+6*a^2+5*a+2, 6*a^3+6*a^2+2*a+2, 4*a^3+3*a^2+2*a-4, 4*a^3+3*a^2+1, -6*a^3-4*a^2+3, -a^3-6*a^2+2*a-3, -a^3+5*a^2-6*a-3, 6*a^3+2*a^2-1, 5*a^3-5*a-5, -2*a^3-4*a^2+2*a+1, 2*a^3+2*a^2-5*a+3, -6*a^3-6*a^2+4*a+5, -4*a^3-2*a^2+3*a-1, a^3+6*a^2-2, -4*a^3-3*a^2-a+5, -4*a^3-2*a^2-a+3, -3*a^3-a^2+6*a+1, -a^3+3*a^2-2, 4*a^3+a^2-a-4, -4*a^3+4*a^2-a-6, -2*a^3-4*a^2-a+3, -2*a^3-4*a-2, -5*a^3-6*a^2+5*a-5, -6*a^3-a^2+2*a-4, 2*a^3-4*a^2-4*a-1, -3*a^3+2*a^2+3*a-5, 4*a^2+a+4, 2*a^3-4*a^2+2*a+5, -a^3+5*a^2-2*a+6, -a^3+4*a^2-2*a+4, -6*a^3+a^2+a+1, -5*a^3+5*a-1, 5*a^3-2*a^2+4*a-2, 3*a^3-6*a^2+4*a-2, -6*a^3+4*a^2+4*a-4, -4*a^3+2*a^2+a-5, -4*a^2-5*a+1, -3*a^3-4*a^2+a+4, a^3+6*a^2+4*a+1, 5*a^3-5*a^2+a-3}, {3*a^2-2*a-4, 4*a^3+a^2-6*
 a+5, -5*a^3+5*a^2-a+6, -3*a^3-4*a^2+6*a+3, 4*a^3-4*a^2+2*a-2, -5*a^3-3*a^2-4*a+3, -3*a^3-2*a^2-3*a-4, -2*a^3-3*a^2+a-3, a^3-3*a^2+3*a+3, -2*a^3+4*a^2+5*a+5, -5*a^3+2*a^2+2*a+1, 4*a^3-a^2+a, -a^3+3*a^2-a-4, 4*a^2-a-5, -2*a^3+a^2+5, a^3-5*a^2+a-1, -3*a^3-3*a^2+6*a-1, -2*a^3-6*a^2-4*a+2, -a^3+2*a^2+6*a+1, -3*a^3+6*a^2-2*a+6, 5*a^3-5*a^2-6, -4*a^3-3*a^2, 2*a^3+5*a^2-3*a-4, 4*a^3-2*a^2+5*a-2, -6*a^3+3*a^2-4*a-1, 3*a^3-4*a-1, 2*a^3-6*a^2-5*a+2, -4*a^3+6*a^2-1, -a^3-3*a^2-3*a+3, a^3+2*a^2-6*a-1, 2*a^3-a^2+4*a-5, 2*a^3+a^2+a+6, 6*a^3-a^2+6*a+4, 4*a^3+5*a^2+6*a-6, -2*a^3-5*a^2+2*a+6, a^3-5*a^2-2*a+5, -5*a^3+4*a+4, 4*a^3+2*a^2-a-6, -2*a^3-2*a^2+6*a+1, 5*a^2+a+3, 5*a^3+6*a^2-4*a+2, a^3-a^2-5*a-2, -3*a^3+5*a^2-5*a-3, -6*a^3-a^2+5*a+2, 6*a^3-4*a^2+2*a+5, -6*a^3-2*a^2-4*a+4, 2*a^3-6*a^2-3, 4*a^3-5*a^2+3*a+6, 6*a^3-6*a^2-6*a+1, a^3-6*a-3, 3*a^3+a^2-5*a+3, -4*a^3+a-6, -5*a^3-4*a^2-5, -a^3+a^2+6*a+2, -3*a^3-4*a^2-5*a-5, -2*a^3+4*a^2+6*a}, {5*a^3-6*a^2+5*a-1, a^3-5*a^2+5*a+4, -2*a^3-3*a^2-4*a
 +2, -5*a^3-3*a^2+3*a-2, 2*a^3-a^2+5*a-3, -5*a^3-2*a^2-2*a-5, 4*a^3+4*a^2+4, -4*a^3-4*a^2+5, 2*a^3+4*a^2-6*a-6, -5*a^3-a-5, 5*a^3+a^2-6*a-3, 6*a^3+a^2-4*a-5, 4*a^3+a^2+3*a-1, -6*a^3+3*a^2+a+5, -3*a^3-4*a^2+5*a+1, -4*a^3-2*a^2-1, a^3-2*a^2+a-3, -6*a^3-4*a^2+3*a+4, -6*a^3-2*a-1, 5*a^3-5*a+2, -5*a^3-5*a^2-6*a, 2*a^3+2*a-1, 3*a^3-3*a^2+a+4, a^3+a^2+a-1, -2*a^3+5*a^2-4, -4*a^3-3*a^2-2*a+5, -4*a^3-6*a^2-4*a-4, -3*a^3-a^2+4*a+5, -a^3+5*a^2-1, 4*a^3-6*a^2+a-3, 4*a^3-4*a^2-6*a+3, 5*a^3+2*a^2-4*a-4, -4*a^3+6*a^2-2*a+2, -5*a^3-3*a^2+5*a-5, -a^3+6*a^2-2*a+2, 4*a^3+4*a^2-4*a+3, 6*a^3+6*a^2-6*a, -3*a^3-6*a^2+a+1, 5*a^3+3*a^2-2*a-6, 5*a^3+3*a^2-2*a-5, -6*a^3+2*a^2-4*a+4, 3*a^3+4*a^2-6*a+5, 5*a^3-2*a^2-5*a-2, -2*a^2-a-1, -5*a^3-5*a^2+6*a-4, 2*a^3-a^2+a+3, -2*a^3-3*a^2+5*a-3, -4*a^3-5*a^2-5*a-5, -4*a^3+a^2+4*a+2, -a^3-4*a^2+3*a+1, -3*a^3+2*a^2+a-3, -5*a^3+6*a^2+2*a-4, 5*a^3+4*a^2-6*a-5, -3*a^3+2*a^2-4*a-4, -6*a^3+2*a^2+a+6, -2*a^3-6*a^2-3*a+1}, {6*a^3-5*a^2+1, 6*a^3-a^2+6*a+6, 3*a^3-a-2, -6*a
 ^3, -3*a^3-2*a^2-5*a-4, -3*a^3+a+2, -6*a^3-4*a^2+2*a, -2*a^3+3*a^2-3*a, -4*a^3-5*a^2+6*a+3, 4*a^3-a^2+4*a-5, 2*a^3-3*a^2+3*a, 5*a^3-a+5, 6*a^3+3*a-5, 4*a^2-3*a-1, -5*a^3+a-5, 3*a^3+4*a^2+4*a, -5*a^3-4*a^2+2*a+4, -6*a^3-3*a+5, -a^3-6*a^2+6*a+5, -4*a^2+3*a+1, 5*a^3-a+5, -3*a^3+a^2+4*a, 4*a^2+a-3, -4*a^2-6*a, 3*a^3-a^2-a, -4*a^2-a+3, -6*a^3+a^2+3, -a^3+4*a^2+a+2, 6*a^3-2*a^2-a+6, 6*a^3-a^2-3, -3*a^3-3*a^2-4*a-6, -6*a^3+5*a^2+4*a-1, a^3-4*a^2-a-2, 4*a^3+a^2+a+3, -6*a^3+2*a^2+a-6, -6*a^3+a^2+3, 5*a^2-2*a+4, -3*a^3-6*a^2+2*a+2, -5*a^3+6*a^2-4*a+6, -5*a^2+2*a-4, a^3+6*a^2+4*a+4, a^3+5*a^2-6*a-4, 3*a^3+6*a^2-2*a-2, -4*a^2-4*a, 5*a^3-6*a^2+4*a-6, 5*a^2-2*a+4, -a^3+2*a^2-4*a+5, -6*a^3-3*a^2-4*a+4, -a^3-6*a^2-4*a-4, -4*a^3+5*a^2-4*a+1, -a^3-5*a^2+6*a+4, -3*a^3-6*a^2+2*a+2, 6*a^3+3*a^2-4*a+1, 4*a^2+4*a, -5*a^3+6*a^2-4*a+6, -5*a^2+2*a-4}, {5*a^3+3*a^2+4*a+5, -6*a^2-3*a-1, -4*a^3+a^2-2*a+4, -4*a^3+4*a^2+6*a-5, 4*a^3+3*a^2-a+3, -2*a^3+a-2, 3*a^3-3*a^2-4*a+4, -5*a^3-5*a^2-3*a-4, -6*a^3+4*a^
 2+3*a-3, 3*a^3-3*a^2-2*a+5, -2*a^3-a^2+6*a+1, 5*a^3-a^2-3*a-4, a^3-6*a^2+4*a+6, a^3-a^2+6*a-3, 5*a^3-4*a^2-4*a-2, 2*a^3+4*a-4, -3*a^3+6*a^2+3*a-6, 3*a^3+a^2-3*a-6, -5*a^3-a^2+6*a+2, 3*a^3-4*a^2+6*a, -2*a^2+3*a+4, -5*a^3+5*a^2-a+1, -6*a^3-5*a^2-a-3, 2*a^3+2*a^2+4*a+2, -4*a^3-2*a^2+4*a-4, a^3-5*a^2+3*a-6, 3*a^3-3*a^2-a-6, -4*a^3+3*a^2-a+2, -a^3-4*a^2-6*a+3, 6*a^3+6*a^2+5*a-1, -6*a^3-5*a^2-6*a-5, 3*a^3-3*a^2+6*a-2, -4*a^3-2*a^2-a-2, -3*a^3-5*a^2+3*a+1, a^3+4*a^2+6*a+4, -a^3+3*a^2-6*a+2, 4*a^3-a^2-5*a-1, -5*a^3-5*a^2-6*a-6, -a^3-5*a^2-4*a-1, 6*a^3+4*a^2+6*a-1, a^3-5*a^2+6*a+5, -a^3-5*a^2+4*a+3, -3*a^3+6*a^2+3*a+5, 3*a^2-6, a^3+a-5, 4*a^3+4*a^2-3*a+3, -4*a^3-6*a^2-4*a-3, -2*a^2+4*a-3, -2*a^3-5*a^2+5*a-3, 4*a^3-4*a^2+2*a+1, 2*a^3+a^2+6*a+4, 3*a^3+a^2+6*a+5, 6*a^3+4*a^2-5*a-6, -6*a^3+4*a^2+4*a-1, -3*a^3+a^2-a-6, 6*a^3-a^2+2*a+5}, {3*a^3+a^2-4*a+4, 5*a^3+2*a^2+6*a-2, -2*a^3-a^2-a-4, -2*a^2-4*a-3, -2*a^3+2*a^2-2*a+5, -2*a^3+4*a^2+2*a+6, 2*a^2-5*a+1, -4*a^3-4*a^2+4*a-2, -5*a^3+2*a^2-2
 *a-2, -6*a^3-a^2-3*a+5, -6*a^3-3*a^2+5*a, a^3-5*a^2-2*a+1, 4*a^3+3*a^2+6, -4*a^3+a-5, -5*a^3-a^2-5*a-4, -2*a^3-6*a^2+5*a-6, -3*a^3+5*a^2-a+4, 3*a^3+3*a^2+2*a, 4*a^3-4*a^2-5, 6*a^3-3*a^2+3*a, 4*a^3-a^2+5*a+1, -3*a^3+2*a^2+6*a-2, 2*a^3+4*a^2-6, a^3+3*a^2+2*a+4, 5*a^3-5*a^2+3, -a^3-4*a^2-2*a+3, 3*a^2-a-2, -5*a^3+3*a^2-a+6, a^3+2*a^2+4*a-6, 4*a^3-4*a^2+3*a-1, -5*a^3+4*a^2-6*a-5, 4*a^3+a^2+5*a-5, 4*a^3+2*a^2+2*a+3, -5*a^3-2*a^2+6*a-2, 4*a^2-2*a+5, -6*a^3-6*a^2+5*a-1, 6*a^3+6*a^2+3*a+5, -5*a^3-6*a^2-6*a-2, -6*a^3+2*a^2+a+1, 6*a^3-a^2-2*a+1, 5*a^3+4*a^2+6*a-2, -5*a^3+a^2+5*a+3, 6*a^3-a^2-6*a-2, 4*a^3+3*a^2-6*a+6, 3*a^3+3*a^2+2*a-2, -5*a^3-a^2-3*a, -6*a^3+4*a^2+6*a+5, -2*a^2-6*a-5, -6*a^3-2*a^2-a-2, a^3+5*a^2-4*a-4, -a^3+2*a^2-2*a-1, -a^3-4*a^2-a+4, -2*a^3-a^2-2*a-4, 4*a^3+6*a^2+a+2, -4*a^3-5*a^2+2*a, 5*a^3-4*a^2-4*a+4}, {2*a^3-6*a^2-3*a-4, -2*a^3-5*a^2+2*a+5, 2*a^3-6*a^2+2*a+3, 5*a^3+4*a^2-6*a-2, -6*a^3-a^2-4*a-4, 5*a^3-4*a^2+a-4, 5*a^3-2*a^2-3*a+4, a^3+3*a^2+5*a-6, -5*a^3+a^2+6*a+
 1, 5*a^3+5*a^2-a+4, -3*a^3-2*a^2+3*a+4, 6*a^3-a^2-3*a-6, 2*a^3+2*a+6, -5*a^3-5*a^2+2*a-6, 2*a^3-2*a^2-3*a, 2*a^3-2*a^2-6, 5*a^3+2*a^2-4*a-4, -5*a^3+5*a^2-6*a+4, -2*a^3-4*a^2-6*a-4, 4*a^3-6*a^2-4*a-3, 4*a^3+2*a^2-6*a, -6*a^3+3*a^2+6*a-1, a^3-3*a^2-6*a-2, 2*a^3+a^2+4*a-2, -a^3+3*a^2, -4*a^3+6*a^2+6*a+3, a^3-a^2+6*a-2, 2*a^3+1, -2*a^3-5, -a^3-4*a^2-2*a-5, 3*a^3+5*a^2-2*a+6, 6*a^2-2*a-3, -2*a^3+4*a+6, -3*a^2-4*a-4, 5*a^3+2*a^2-3*a+2, 5*a^3+4*a^2+5*a+6, -a^3+4*a^2-a-3, 5*a^3-4*a^2+2*a+4, -6*a^3-4*a^2-a+5, 6*a^3-2*a^2+a+3, -5*a^3-a^2-2*a+3, 2*a^3+2*a^2-6*a-3, -4*a^3+3*a^2-2*a+2, a^3-3*a^2+3*a-6, a^3-5*a^2-6*a-4, 4*a^3-3*a^2-6*a, 2*a^3+a^2-3, 4*a^3+3*a^2+4*a+5, -4*a^3+a^2+6*a-6, 6*a^3+5*a^2+6*a-2, -6*a^3-4*a^2+a-1, -2*a^3-a^2-5*a+5, 2*a^3+6, 4*a^3+6*a^2+5*a-5, -a^3-3*a^2+a-2, 4*a^3-4*a^2-6*a-2}, {-2*a^3-a^2-3*a-6, -a^3+a^2-5*a+4, -4*a^3+a^2+2, 4*a^3-6*a^2+a, -2*a^3-5*a^2+3*a+6, -3*a^3-4*a^2-2*a-3, -4*a^3-a^2+a-4, 4*a^3-a^2-3*a-4, 4*a^3+a^2-4, -5*a^3+a^2+3*a-5, 4*a^3+4*a+4, 4*a^3-a^
 2-6*a-6, -a^3-4*a^2+a+5, a^3-3*a^2-4*a-4, 5*a^3-4*a^2+6*a+5, 5*a^3-3*a^2-3*a-2, 2*a^3+4*a^2+2*a+5, 6*a^3+5*a^2+2*a+1, 3*a^3+a^2+4*a-1, -2*a^3+2*a^2-6*a-6, 2*a^3+2*a^2-2*a-2, 3*a^3+6*a^2-5*a+2, 2*a^3-2*a^2+4*a, -5*a^3-5*a^2-4*a-5, 4*a^3-4*a^2+a+5, -6*a^3+2*a^2-4*a-6, -5*a^3-5*a^2+5*a-4, -6*a^3+4*a^2+5*a-1, 3*a^3+6*a^2+5*a+5, 5*a^3+4*a^2-4*a+5, 3*a^3+5*a^2+2*a-5, -a^3+3*a^2+3*a-1, -6*a^3-2*a^2-a-6, -6*a^3+3*a^2-a+6, -2*a^3-a^2-2, 5*a^3+a^2-4*a+5, -6*a^3+2*a^2+4*a-1, 4*a^2-2*a+3, -6*a^3-4*a^2+6*a+6, 2*a^3+4*a^2-2*a+2, -2*a^3-6*a^2+a+1, -3*a^2-5*a+3, -6*a^3+a^2+2, 4*a^3-6*a^2+2*a-2, -6*a^3-6*a+3, -a^3+4*a^2+3*a-5, -5*a^2+1, 6*a^3-4*a^2+3*a-3, -4*a^3+a^2+5*a+5, -a^3+a^2+3*a+5, -2*a^3+4*a^2+6*a+4, 5*a^3+2*a^2+5*a-2, -5*a^3-3*a^2-5*a+4, 2*a^3-6*a-3, -a^2-6*a-5, 5*a^3+3*a}, {5*a^3+4*a^2-6*a-5, -a^3+6*a^2+6*a+2, 3*a^3+3*a^2+6*a-1, -5*a^3+4*a^2+2*a+6, a^3+3*a^2-3*a+6, -6*a^3-2*a^2-2*a-6, -5*a^3-3, 2*a^3+6*a^2+6*a-4, -3*a^3+1, -4*a^3-3*a^2-3*a, 5*a^3+4*a^2+4*a-2, -6*a^3+2*a^2+5*a+4, 2*
 a^3+4*a^2+2*a-5, 6*a^3-3*a^2+4*a+6, 4*a^3+6*a^2+6*a+3, a^3+4*a^2+5*a+6, -3*a^3-6*a^2-6*a-1, 2*a^3-2*a^2+2*a-3, 3*a^3+3*a-2, 2*a^3-4*a^2+5*a+3, -2*a^3+a^2+5*a+6, -a^3-2*a^2+3*a+5, 6*a^3-4*a^2+6*a-6, 4*a^3+a^2+2*a-2, -3*a^3-4*a^2-4*a-2, 5*a^3+a^2+2*a-4, a^3-2*a^2+5*a-3, 5*a^3+2*a^2+4*a-3, 3*a^3+2*a^2+2*a-4, 2*a^3+6*a^2-5*a+3, -6*a^3+6*a^2+5*a+3, -6*a^3+2*a^2-2*a, 5*a^3+6*a^2+5*a-5, -3*a^3+4*a-3, -4*a, 4*a^3-a-2, -4*a^3-2*a^2+2*a-2, -a^3-5*a^2-3*a+2, -a^3+a^2-5*a-2, -5*a^3+5*a^2-4*a-4, 2*a^3+3*a^2+2*a-1, -2*a^3-2*a^2+3*a-1, -a^3-3*a^2-a, -3*a^3-2*a+5, 2*a^3-4*a^2-3*a+3, 6*a^3+a^2+3*a+2, a^3-5*a^2-4*a-1, -4*a^3-a^2-4*a-4, 6*a^3+2*a^2-5*a+3, 3*a^3-6*a^2+4*a-2, -6*a^3-5*a^2+5*a+4, 3*a^3+5*a^2+5*a+1, 4*a^3+6*a^2-6*a+5, 5*a^3-6*a^2+6*a+1, 4*a^3+a^2+4*a+6, 6*a^3-3*a^2+4*a+5}, {-3*a^3-6*a^2+4*a+6, -4*a^3+5*a^2+5*a+5, -a^3-4*a^2-a-5, -6*a^3-a+1, 5*a^3+5*a^2-3*a-4, a^3+4*a^2+a+5, 3*a^3+2*a^2+3*a-3, -2*a^3+3*a^2-2*a-1, a^3-4*a^2+3*a-3, 5*a^3+5*a^2-2*a-1, 2*a^3-3*a^2+2*a+1, -5*a^3+a^2+3*a
 +5, -6*a^3+6*a^2+5*a+4, a^3+4*a^2+4*a+5, 5*a^3-a^2-3*a-5, 6*a^3+6*a^2+2*a-3, -5*a^3+3*a^2-5, 6*a^3-6*a^2-5*a-4, 4*a^3+5*a^2+3*a, -a^3-4*a^2-4*a-5, -5*a^3+a^2+3*a+5, -6*a^3-a^2+a-5, -6*a^3-2*a^2+6*a-6, 6*a^3+a-4, -a^3+5*a^2+5*a+5, 6*a^3+2*a^2-6*a+6, -a^3+2*a^2-5*a-1, -2*a^3-4*a^2-3*a, 6*a^3+2*a^2+4*a+4, a^3-2*a^2+5*a+1, 3*a^3-3*a^2+6*a-3, -2*a^3-6*a^2+4*a-6, 2*a^3+4*a^2+3*a, -2*a^3-a^2+3*a+6, -6*a^3-2*a^2-4*a-4, -a^3+2*a^2-5*a-1, -3*a^3-3*a^2-5*a+1, 4*a^3+3*a-1, 5*a^3-5*a^2-6*a+3, 3*a^3+3*a^2+5*a-1, -a^3+3*a^2+5*a+4, -5*a^3-6*a^2-2, -4*a^3-3*a+1, -3*a^3-6*a^2+5*a-4, -5*a^3+5*a^2+6*a-3, -3*a^3-3*a^2-5*a+1, 6*a^2-4*a-5, -3*a^3+6*a^2+3*a-6, a^3-3*a^2-5*a-4, -a^3-a^2+3*a-4, 5*a^3+6*a^2+2, 4*a^3+3*a-1, 5*a^3+3*a^2-4*a+1, 3*a^3+6*a^2-5*a+4, 5*a^3-5*a^2-6*a+3, 3*a^3+3*a^2+5*a-1}, {a^3-2*a^2-2*a+3, 6*a^3-3*a^2-4*a+1, 3*a^3+4*a^2+3*a-1, -2*a^3-a^2-4*a+1, 3*a^3+2*a+6, 3*a^3-6*a^2-6, -5*a^3-5*a^2+6*a+1, -6*a^3+2*a^2-3*a+3, 6*a^3-5*a^2-6, 4*a^3-4*a^2-5*a-5, -2*a^3+4*a^2-4*a-2, a^3-3*a-4,
  3*a^3+2*a^2-3*a+5, 6*a^3-a^2-5*a-3, 5*a^3+3*a^2+a+6, 3*a^3+2*a^2-4*a-4, -4*a^3-6*a^2+3*a-5, a^2-2*a-4, 4*a^3-3*a^2+3*a-4, 6*a^3-3*a^2-6*a-4, -3*a^2+5*a+6, -2*a^3-3*a^2-a-2, 4*a^3-3*a^2+4*a+1, 2*a^3+2*a^2+a+1, -2*a^3+a^2-a+2, 3*a^3+5*a^2-6*a+4, 2*a^3+3*a^2+5*a+5, 5*a^3+5*a^2, -6*a^3+2*a^2+a-3, a^3+2*a^2-5*a+5, -a^3-a^2-4*a-1, -2*a^3-2*a^2+1, 2*a^3-6*a^2+5*a-6, a^3+5*a^2+3*a+3, -4*a^3-4*a^2-2*a-1, 4*a^3+6*a-4, 3*a^3+3*a^2-4*a, -5*a^3-3*a^2+5*a-1, a^3+3*a^2+4*a+2, a^3+5*a^2-3, -3*a^3+6*a^2-4*a+3, -3*a^3+3*a+1, 3*a^3-4*a, 4*a^3-6*a^2-2*a+5, -2*a^3-6*a^2+5*a-2, -2*a^2+4*a+2, 6*a^3-2*a^2, 5*a^3-2*a^2-a+3, -a^3+4*a+1, -a^3+a^2+4*a-2, -2*a^3+5*a^2-5*a+1, 6*a^3-a^2-a+3, a^3-6*a^2+a-1, -6*a^3+5*a^2-1, 3*a^3+4*a^2-a, 6*a^3-5*a^2-6*a+2}, {2*a^3-3*a+5, 5*a^3-4*a^2-6*a+6, -a^3-a^2+2*a+4, 6*a^3+3*a^2-3*a+2, -6*a^3-4*a^2-3*a+6, -5*a^3-a^2+4*a+6, 3*a^3+6*a^2+4*a-5, 6*a^3+6*a^2-3*a-4, 5*a^3+2*a^2+5*a+1, a^3+5*a^2+6*a-5, 5*a^3-a^2-5*a+1, -5*a^3-a^2+4*a+5, -2*a^3+5*a^2-5*a-3, -6*a^3+2*a^2+3*a-
 1, 3*a^2+6*a+2, 4*a^3-6*a^2+5*a+4, -4*a^3-3*a^2+4*a+3, -4*a^3+4*a+6, 2*a^3-4*a^2+5*a+2, -3*a^3-4*a^2-a-5, -a^3+2*a^2-2*a-2, 5*a^3-3*a^2-3*a+5, 3*a^3+4*a^2-5*a-1, 4*a^3-2*a^2-3*a+4, 4*a^3+2*a^2+5*a+5, 4*a^3-3*a^2+6*a-3, -2*a^3-3*a^2+a+3, -5*a^3+a^2+3*a+1, -5*a^3+6*a^2-a+4, 4*a^3+5*a^2-2*a+5, 4*a^2+2*a+1, -3*a^3-6*a^2-4*a+3, 6*a^3+a^2-3*a-4, -6*a^3+6*a^2+5*a+5, -4*a^3+a^2+4*a+2, -6*a^3-5*a^2+6*a-4, 6*a^3+6*a^2+2*a+5, a^3+6*a^2-2*a, a^3+5*a^2-6*a+6, 2*a^3+2*a^2-3*a+5, -6*a^3-4*a^2+3*a-1, 4*a^3-5*a^2-3*a+5, 2*a^3-a^2-3, 6*a^3-3*a^2-5*a-1, 6*a^3+4*a^2-3*a+2, 5*a^3+3*a^2-6*a, -a^3+5*a-4, -3*a^3+a^2-4*a+5, -5*a^3+6*a^2-4*a+4, -2*a^3-4*a^2-2*a+6, 2*a^2-a-1, -6*a^3-6*a^2+2*a, -4*a^3-a^2+2*a+6, 2*a^3-6*a^2-a, 6*a^3+a^2+6*a-3, -6*a^3+5*a^2+a+2}, {-2*a^3+6*a^2-5, -6*a^3-2*a^2+4*a-5, -2*a^3+5*a^2+3*a+2, -2*a^3+2*a^2+5*a+1, -2*a^3+a^2-a-5, -2*a^3+3*a^2-2, 6*a^3+6*a^2-2*a-1, a^3+5*a^2+5*a+2, 5*a^3+5*a^2-4*a-5, -2*a^3-3*a^2+5*a-2, -4*a^3-6*a^2+6*a-6, 6*a^3-3*a^2-2*a, 3*a^3-5*a^2-2*a+3, -5*a
 ^3+6*a^2+a+4, 2*a-5, 6*a^3+5*a-5, -4*a^3-3*a^2-6*a+6, 6*a^3-a^2-4*a, -6*a^3+4*a^2+2*a, -6*a^3+3*a^2+6*a+2, 6*a^3-4*a^2+5*a-6, 4*a^3+3*a^2-2*a-6, 5*a^3-4*a^2+a-1, 3*a^3+4*a^2-3*a+4, -4*a^3+4*a^2+4*a-6, 4*a^3+6*a^2-a+3, 2*a^3+a^2-4, 2*a^3+4*a^2-a+6, -5*a^3+4*a^2-a+4, a^3+2*a^2-5*a+6, 6*a^3+4*a^2-2*a+1, -6*a^3-6*a^2+5, a^3+5, -6*a^3-2*a^2+2*a+1, -a^3+a^2-4*a+2, -5*a^3+6*a^2-4*a-1, 4*a^3-6*a^2+5*a-5, 6*a^3-6*a^2+6*a+4, 6*a^3-a^2+4*a-6, -a^3+3*a^2-3*a+4, -5*a^3+3*a^2-a+5, 2*a^2+6*a+3, -6*a^3+3*a^2+a-5, -a^2-5*a-4, -2*a^3-a^2-2*a-6, -4*a^3+5*a^2-5*a-4, -a^3-6*a^2+4*a+2, a^3+a^2-a+1, -5*a^3+4*a^2+5*a-6, a^3-a^2-a+3, -6*a^3-6*a^2-6*a+1, -4*a^3+4*a^2-5*a+2, -2*a^3-a^2-a-4, -4*a^3-4*a^2+4*a+6, 4*a^3+6*a^2-a+1, -6*a^2-6*a+6}, {5*a^3+6*a^2+3*a-4, -2*a^3-6*a-6, a^3+6*a^2+4*a-3, 3*a^3-2*a^2-6*a-3, 6*a^3-6*a^2-3*a+2, 4*a^3-5*a^2+4*a+3, 3*a^3+2*a^2-3*a-5, 4*a^3+4*a^2+a-3, -4*a^3-a^2+5*a-6, -2*a^3-a^2+4*a+4, -2*a^3+4*a^2-1, -4*a^3+a^2+6*a+4, -5*a^3-4*a^2+4*a-2, 2*a^3+5*a^2+5*a-3, 3*a^2+4*a+1
 , -5*a^3+3*a^2+2*a-3, -3*a^3-6*a^2+2*a, 3*a^3-5*a+2, 3*a^3+4*a^2+4*a-6, 2*a^3-6*a^2+4*a-4, a^3-2*a^2+3*a-5, 5*a^3+6*a^2+a+5, a^2-a+5, -5*a^3-4*a^2-6*a+2, -2*a^3+4*a^2-2*a-3, 5*a^2-5*a+5, 4*a^3+6*a^2-a-6, -a^3+4*a^2+6*a-2, -6*a^3-6*a^2-2, -2*a^3+a^2+3*a-4, 5*a^3-6*a^2+4*a+4, a^2+3*a, -6*a^3+5*a^2+2*a-5, a^2-4*a+1, 4*a^3-a^2-3*a-4, 6*a^3+3*a^2+4*a+6, 4*a^3+4*a+5, 6*a^3+4*a^2+3*a-6, 3*a^3+6*a^2+5*a+6, -4*a^3+5*a^2-3*a+6, 5*a^3+4*a^2-3*a+5, -3*a^3-4*a^2-5*a, 4*a^3-3*a^2-a+5, 3*a^3+6*a^2-4*a-4, -3*a^3+5*a^2-2*a+1, 4*a^2-2*a-6, 6*a^3-3*a^2-4*a, 5*a^2+6*a+1, 3*a^2-2*a-1, -a^3-5*a^2+a+5, -6*a^3+2*a^2-a-6, -2*a^3+5*a^2+3*a-4, -6*a^3+4*a^2-5*a-2, 2*a^3+5*a^2-2*a+4, a^3-2*a^2-a+6, -3*a^3+5*a^2+2*a+4}, {5, -1, 3, -2, -2, -3, -5, 2, 3, 3, -2, -6, 4, 4, 6, 6, 6, -4, 6, -4, -6, 1, -3, 2, 2, 3, -4, -6, -6, 4, 4, 4, 6, 4, 6, -4, -1, 5, 5, 1, 1, 1, -5, 1, -5, -1, -5, -5, -1, -5, -1, 5, -5, -1, 5, 1}, {-2*a^3-3*a^2-2*a-4, 3*a^3+5*a^2+3*a+1, 4*a^3-6*a^2+4*a-2, -2*a^3+5*a^2-3*a+2, -4*a^3-3*a^2-2
 *a-2, 4*a^3-4*a^2+5*a-4, -2*a^3+a^2+3*a+2, -a^3-6*a^2-4*a+5, -3*a^3-4*a^2-5*a+5, -4*a^3-5*a-3, 3*a^3+4*a^2-2*a+6, 2*a^3-5*a^2-4*a-5, 5*a^3-3*a^2-1, a^3-3*a^2+a+5, -3*a^3+4*a^2+a-5, -3*a^3+4*a^2-6*a-5, 4*a^3+2*a^2+3*a-3, 3*a^3+3*a^2-5*a-3, -a^3-5*a^2-6*a+4, a^3+6*a^2+5*a+3, -4*a^3-4*a^2+4*a-6, 6*a^2+6*a-6, -2*a^3+2*a+3, 6*a^3-a^2+3*a+5, -4*a^3+5*a^2+2*a+1, -5*a^3-4*a^2+4*a+5, -5*a^3-6*a^2-2, -4*a^3-6*a^2+a+2, a^3-3*a^2-a-1, 6*a^3-4*a^2+6*a+3, -a^3+a^2-2*a+1, -5*a^3+2*a^2-5*a-1, -2*a^3+5*a^2-a-4, 4*a^3+4*a^2+2*a, -3*a^3+4*a^2+6*a+5, a^3-4*a^2-a-6, 5*a^3-4*a^2-4*a+4, -3*a^3-2*a^2+2*a+3, 3*a^3+4*a^2-a+3, -4*a^3-4*a^2+1, -5*a^3+6*a^2+3*a-3, -6*a^3+6*a^2+6*a-5, -a^3+6*a+2, -6*a^3+3*a^2-2*a+4, -5*a^3+a^2+4*a, -2*a^3+a^2+2*a-5, 2*a^3+a^2+5*a-3, -4*a^3-6*a^2+3*a-1, -3*a^3+6*a^2+6*a-5, -3*a^3+2*a^2+2, -4*a^3-3*a^2-4*a, 3*a^3+5*a^2-6*a+3, 6*a^3-a^2-4*a+6, -6*a^3+4*a^2-5*a-4, -4*a^3-3*a^2-3*a-2, -5*a^3-5*a-2}, {-6*a^3+4*a^2-4*a+3, 3*a^3-6*a^2-6*a-2, 5*a^2-3*a-1, -3*a^3+4*a^2-2*a+3, 3*a^
 3+5*a^2+2*a-6, 5*a^3+6*a^2+3*a, 6*a^3+2*a^2+6*a, 2*a^3-2*a^2+6*a-2, 2*a^3-5*a^2+3*a-2, -3*a^3-4*a^2-2*a+4, a^3-4*a^2+6*a+5, 4*a^3+a^2-4*a-5, a^3-6*a^2+4*a-1, -3*a^3-3*a^2-2*a+2, -6*a^3-2*a^2+2*a-3, -2*a^3-2*a^2+a+1, 3*a^3-3*a^2-5*a, -5*a^3+3*a^2-5*a-3, -6*a^3+a^2+4*a-6, -6*a^3-3*a^2+5*a-4, -2*a^3+2*a^2-3*a+6, -3*a^3+5*a^2+2*a+4, -a^2-3*a-5, -5*a^3+a^2-5*a+2, -5*a^3-a^2-5*a-6, -4*a^3+4*a^2+1, 2*a^3-4*a^2+1, 5*a^3-3*a^2+6*a+2, -6*a^2+a+5, 6*a^3+4*a^2+6*a-6, -4*a^3-3*a^2+3*a+6, a^3+4*a^2-6*a+6, -5*a^3+2*a^2-5*a+3, -6*a^3-3*a^2+3*a-1, 3*a^3+3*a^2-5*a-4, -3*a^3+4*a^2+a-3, -5*a^3+6*a^2-4*a-3, -2*a^3+a^2+3*a+3, -3*a^3-2*a^2-1, 6*a^3+6*a^2+a-2, 3*a^3+5*a^2-6*a, 5*a^3+5*a^2-4*a-1, -2*a^3-6*a^2-2*a+3, -5*a^3-5*a^2-3*a+5, 3*a^2-5*a+1, 5*a^3-3*a^2-a, 4*a^3-3*a^2-2*a-3, -a^3-6*a^2-6*a-3, 3*a^3+5*a^2-2*a-5, 6*a^3+2*a^2-4, -a^3+a^2+a-1, a^3+a^2+3, 2*a^3-5*a^2+4*a+6, -3*a^3-6*a^2+2*a-1, -5*a^3-a^2-3*a-3, -2*a^3-2*a^2+5*a-5}, {2*a^3+4*a^2-a, 3*a^3-6*a^2+4*a+1, -5*a^3+5*a^2-6*a+2, -a^3+4*a^2-
 a+2, 5*a^3+5*a^2+2*a-6, 2*a^3+6*a^2-6*a-4, 5*a^3+2*a^2-2*a-5, -2*a^2+4, 3*a^3-5*a^2+3*a-2, -6*a^3-4*a^2-5*a-6, 3*a^3-4*a^2-4*a+2, -5*a^3+a^2-6*a-3, 5*a^3-6*a^2+5*a-2, 6*a^3-3*a^2+5*a-5, -5*a^3-2*a^2-a, 4*a^3-2*a^2+3*a-1, -3*a^2+3*a+5, 2*a^3+3*a^2-6*a-2, 5*a^3+a^2+6*a+5, -4*a^3-3*a^2-a+2, 2*a^2+4*a-1, -2*a^3+5*a^2-a-6, a^3-a^2-4*a-4, 4*a^3+a^2+a-4, 6*a^3-a^2-5*a-6, 4*a^2-3*a+4, 2*a^3-4*a^2+5*a-4, -2*a^3-3*a^2+5*a+3, 6*a^3-6*a^2-2*a-5, 3*a^3+4*a^2+3*a-3, -6*a^3-3*a^2-4*a, -5*a^3+4*a^2+2*a-2, 3*a^3+2*a^2+a-3, -4*a^3-3*a^2+2*a, -6*a^3+3*a^2+6*a-2, -a^3+4*a^2+6*a+5, -a^3+6*a^2+4*a+2, a^3+a^2+2*a+4, 5*a^3-2*a^2+a-2, a^3+6*a^2+5*a-6, 5*a^3+5*a^2-5*a-1, 3*a^3+5*a^2-6*a+1, -5*a^3-6*a^2-4*a+5, -3*a^3-5*a^2-3*a+5, -3*a^3+3*a^2-2*a-2, -2*a^3-3*a^2+3*a-4, -a^3-3*a^2-5, -6*a^3-6*a^2+3*a+1, 5*a^3+5*a^2+3*a+3, 5*a^3+2*a^2-6*a+2, a^2-2*a+2, -2*a^3+a^2+2*a+1, 3*a^3-5*a^2-2*a-1, -4*a^3-6*a^2+5*a-4, 6*a^3-a^2-2*a-4, 4*a^3-2*a^2-3*a+3}, {5*a^3-3*a^2-a-5, 5*a^3+5*a^2-4*a-5, 2*a^3-6*a^2+4*a-2, -3*
 a^3+5*a^2-3*a+2, -6*a^3-3*a^2+a-5, -4*a^2+1, a^3+a^2+a+4, -6*a^3-6*a^2-2*a+3, -6*a^3-4*a^2-4*a+4, 4*a^3-3*a-5, 6*a^3+4*a^2+2*a+2, 3*a^3-5*a^2+4, -2*a^3-3*a^2+2*a-3, 2*a^3-3*a^2-5*a-2, -a^3+4*a^2+4*a+5, -a^3+4*a^2+4*a-2, -6*a^3+2*a^2-5*a+5, -6*a^3+3*a^2-6*a-2, 6*a^3-5*a^2-4*a+2, 6*a^3+6*a^2-3*a-2, -5*a^3-4*a^2-2*a, -6*a^3+6*a^2+a-1, 2*a^3+3*a+2, -5*a^3-a^2+6*a+2, -a^3+5*a^2-4*a-6, -4*a^3-4*a^2-4*a, -2*a^3-6*a^2+4*a-6, -3*a^3-6*a^2-5*a-5, 2*a^3-3*a^2+2*a-4, -2*a^3-4*a^2-6*a+2, a^2-1, 3*a^3+2*a^2-3*a-3, -3*a^3+5*a^2+4*a+4, 5*a^3+4*a^2-4*a+6, -a^3+4*a^2+a-3, 3*a^3-4*a^2-2*a-5, -a^3-4*a^2-5*a+5, 5*a^3-2*a^2+5*a, 6*a^3+4*a^2-a+3, -5*a^3-4*a^2+5*a-4, -a^3+6*a^2+4*a-4, 6*a^2+2*a-1, a^3+2*a+6, 3*a^3+3*a^2+a+1, 4*a^3+a^2-a+5, a^3+a^2-6*a+3, -3*a^3+a^2-4*a+6, -3*a^3-6*a^2+5*a-3, -3*a^3+6*a^2+2*a-1, a^3+2*a^2+2, -6*a^3-3*a^2+3*a+6, 5*a^3+5*a^2-2*a-1, -5*a^3-a^2-6*a-5, 2*a^3+4*a^2+5*a-1, -6*a^3-3*a^2+a-6, 5*a^3-2*a-5}, {6*a^3-3*a^2-3*a-1, -4*a^3-a^2+3*a+3, -2*a^3-5*a^2+3*a+5, 6*a^3-5*a^2
 +5*a, -4*a^3-2*a^2-6*a+4, 5*a^3+a^2-a+1, -3*a^3-5*a^2-4*a-3, 3*a^3+2*a^2-5*a-3, -5*a^3+a^2+3*a+5, 4*a^3+6*a^2-5*a-2, a^3+a^2-4*a-6, 4*a^3-a^2+6*a-1, -4*a^3-3*a^2-2*a-3, 4*a^3-3*a^2-3*a, -6*a^3+3*a^2+4*a+2, 3*a^3+4*a^2-4*a+3, -5*a^3+a^2-a, 6*a^3-3*a^2+5*a-3, 6*a^3-4*a^2-6*a+6, 6*a^3+2*a^2+2*a-2, 5*a^3-2*a^2+2*a-2, 4*a^3-2*a^2+a+3, 5*a^3+4*a^2-2*a+3, 6*a^2-3*a-3, -a^3-2*a^2-6*a+1, -6*a^3-5*a^2-6*a-6, -3*a^2+4*a+3, -5*a^3-3*a-1, 2*a^3+2*a^2-4*a, 2*a^3+4*a^2-3*a-5, -3*a^3+2*a^2+2*a-4, 6*a^3-a+5, -a^3+5*a^2-3*a, 4*a^3+2*a^2+2*a+5, -a^3+2*a^2-2*a, -6*a^3+2*a^2+2, 4*a^3+6*a^2+a+5, -a^3-3*a^2+5*a-5, -5*a^3+a^2+2*a, -2*a^3-2*a^2-2*a+5, -3*a^3-5*a^2-5, -6*a^3+a^2-3*a-3, 4*a^3-6*a^2-a-3, a^3-2*a+3, 4*a^3+6*a^2-2*a-2, 6*a^3+2*a^2+2*a+2, 4*a^3+a^2+a-5, 6*a^3+3*a^2-2*a-5, 4*a^3-3*a^2+a+2, a^3-6*a^2-a+3, -2*a^3+2, 3*a^3+4*a^2-a-4, -2*a^3-a^2-3*a-2, -2*a^3-6*a^2-2*a-3, a^3-3*a^2-2*a-1, 5*a^2+3*a+6}, {2*a^3-a^2+3, -2*a^3+2*a^2+3*a+3, -2*a^3+3*a^2+6*a-4, 6*a^3+3*a^2-3*a-1, -3*a^3+3*a^2-4*a+6,
  2*a^3+a^2-6*a-2, -6*a^3+6*a^2-5, -a^3+a^2+3*a+6, -6*a^3+4*a^2-6*a-5, 3*a^3+3*a^2-5*a+5, 2*a^3-5*a^2+5*a-4, -4*a^3+5*a^2-a-5, -6*a^3-2*a^2-2*a+2, 3*a^3-4*a^2-a+3, 6*a^3+4*a^2+4*a+3, 2*a^3-3*a^2-6*a-4, -a^2+2*a-2, -5*a^3+a^2+6*a-6, -3*a^3+6*a^2+3*a-1, 4*a^3-2*a^2+2*a+3, 3*a^3-2*a+1, 3*a^3-3*a^2-6*a-1, a+6, 3*a^3+4*a^2-4*a+3, -2*a^3-6*a^2-a-1, a^3+3*a^2-3*a-1, -a^3+a^2+5*a+5, -a^2-a+1, -a^3+4*a^2+6*a+3, 4*a^3+a^2-a-6, 3*a^3+a^2-4*a-6, -2*a^3+a^2+6*a, a^3+3*a^2-6*a+3, -4*a^3+3*a+5, -a^3-a^2-3*a, 6*a^3-3*a^2+5*a-5, -6*a^3-6*a^2-4*a+5, -6*a^3-4*a^2-4*a+4, a^3+4*a^2-2*a-4, a^3+6*a^2+2*a+4, -5*a^3-a^2-a-3, -4*a^3+a^2+a-2, -3*a^3-6*a^2-6*a, 2*a^3+6*a^2-4*a-4, 2*a^3-4*a^2-4*a+3, 2*a^3-6*a^2-5*a+4, 6*a^3-a^2+a-1, -3*a^3+4*a-1, 6*a^3-3*a^2-5*a-2, -4*a^3-a^2+3*a+1, 3*a^3-3*a^2-5*a, -4*a^3+3*a^2+4*a, -4*a^3-4*a^2-6*a-4, -5*a^3-6*a^2+4*a+3, 2*a^3+4*a^2-a+1, 5*a^3+6*a^2+5*a+5}, {-a^3+3*a^2-5*a-5, -3*a^3-6*a^2+4*a-4, 6*a^3+4*a^2+3*a, 2*a^3+4*a^2+4*a-2, 3*a^3-a^2-5*a+2, 4*a^3-a^2+2*a+1, 6*a^
 3+6*a^2-5*a-5, -4*a^3+6*a^2-6*a-1, a^3+a^2+2*a+4, 4*a^3+3*a^2-2*a, -4*a^3+4*a^2+3*a+5, -2*a^3+3*a^2+4*a-2, 4*a^3+6*a^2-5*a+6, -2*a^3+5*a^2+4*a+2, -4*a^3-6*a^2-5*a-2, -5*a^2-6*a-6, 4*a^3+6*a^2-6*a+3, -5*a^3-a^2-4*a+4, 2*a^3+2*a^2-5*a-1, -2*a^3+2*a^2-3*a-4, 6*a^3+5*a^2+4*a-5, -4*a^3+5*a^2+3*a+1, -2*a^3+3*a^2+a-3, -4*a^3-6*a^2-3*a, a^3-4*a^2-3*a+6, 4*a^3-4*a^2+5, 5*a^3-a^2-4*a+6, 6*a^3+2*a^2-4*a+4, 6*a^3-5*a^2+5*a-1, 4*a^3-4*a^2+3*a+2, 5*a^3+5*a^2-2*a-3, 3*a^3+5*a^2-a+3, 4*a^3-a^2+1, 3*a^3-5*a^2+1, 4*a^3+3*a^2+a-1, -5*a^3+2*a^2+5*a-4, -5*a^3+a^2-4*a-3, 3*a^3-3*a^2+1, -3*a^3-5*a^2+a, 4*a^3-a^2+a+2, -3*a^3+5*a^2+3*a+1, -3*a^3+3*a^2+5*a-4, 3*a^3-3*a^2-4*a+6, -5*a^3+5*a^2-5*a+1, 6*a^3-5*a^2-a-6, -4*a^3-4*a^2+a, -2*a^3-a^2+2*a-3, -a^3+4*a^2-4*a-6, -5*a^3+3*a^2-4*a+5, -4*a^3+2*a^2-6*a-3, -a^2-2*a-1, -2*a^3-5*a^2+6*a+2, -3*a^3+6*a^2+6*a-4, 4*a^3+4*a^2+2*a+6, -2*a^3+a^2+6*a-6, 6*a^3+a^2-2*a-3}, {-3*a^3-2*a^2+a-3, -6*a^3+4*a^2+3*a-3, -2*a^3+6*a^2-6*a+4, 4*a^3+6*a^2+4*a-1, -3*a^3+5*a^2-2
 *a+4, 2*a^3+5*a^2+3*a-5, -5*a^3-4*a^2+3*a-5, -3*a^3-4*a^2-4*a, -3*a^3-5*a^2-2*a-2, -4*a^3-2*a^2+2*a-5, 6*a^2-5*a+4, 5*a^3-2*a^2-a+4, -2*a^3-4*a^2-5, 2*a^3+a^2+2*a-6, 2*a^3+4*a^2+6*a+3, a^3-a^2+5*a+3, -2*a^3-4*a^2+2*a, -4*a^3+5*a^2+a-1, -6*a^3+3*a^2+2*a+2, 3*a^2+4*a+5, 3*a^3+a^2-2*a-6, 5*a^3+a^2-6*a-1, 5*a^3-2*a^2+4*a+6, 2*a^3+4*a^2-4*a+6, -2*a^3-6*a^2+2*a-4, -6*a^2-6*a-6, -6*a^3+5*a^2+4*a-1, a^3+3*a^2+3*a-3, 5*a^3-a^2+6*a, -6*a^2-4*a+5, -2*a^3+a^2+a-2, a^3+a^2-3*a+6, 2*a^3+5*a^2+3*a+5, 3*a^3-a^2-4*a-1, -4*a^3-2*a^2-6*a+6, -2*a^3+3*a^2+4*a+4, 6*a^3-5*a^2-6*a+2, 2*a^2+6*a+2, -a^3-a^2+a-6, 2*a^3+5*a^2-2*a, -3*a^3+a^2-6*a-1, -2*a^2-4*a-1, 2*a^2-6*a-4, a^2-6*a, 5*a^3-a^2+5*a+4, -a^3-6*a^2+6*a+2, -2*a^3+5*a^2-3*a-5, 2*a^3+6*a^2-2*a, 3*a^3-2*a^2+3*a+5, 3*a^3+3*a^2-a-6, -5*a^3+5*a^2+2, 4*a^3-a^2+4*a-5, 2*a^3-4*a^2-2*a+5, a^3+6*a^2+3*a-4, -5*a^3-5*a^2-4*a+4, -4*a^3-5*a^2-6*a+5}, {-5*a^3-5*a^2-6*a-5, -3*a^2+5*a-1, -5*a^3+2*a^2+4*a+6, -6*a^3+2*a^2+6*a, 2*a^2+2*a-5, -2*a^3+5*a^2-2*a+1, 
 4*a^2-3*a+4, 5*a^2-a-6, -3*a^3-6*a^2-6*a+3, -4*a^3+2*a^2-3*a+3, 2*a^3+a^2+5*a, -5*a^3-a^2+2*a-6, a^3+3*a^2-6*a+6, 5*a^3+6*a^2-4*a+1, 2*a^3-6*a^2-5*a+1, 5*a^3-2*a^2-5*a-6, 5*a^3-5*a^2-5*a+5, -6*a^3+5*a^2+4*a-4, -2*a^3+4*a^2+4*a+6, 3*a^3+3*a^2-a, -2*a^3+5*a+3, -2*a^2-3*a-6, 4*a+5, 4*a^3-6*a^2-5*a, a^3-4*a^2-a+4, 6*a^3+2*a^2+6*a, 5*a^2-6*a+4, 5*a^3-5*a^2-3*a+3, -2*a^3-6*a^2-5*a-2, a^3+5*a^2+4*a, 6*a^3+5*a^2+4*a-2, 5*a^3+5*a^2-5*a-4, 6*a^3+2*a^2-2, -6*a^3-a+2, -3*a^3-5*a^2+5*a+6, -2*a^3-2*a^2+3*a-3, -5*a^3-4*a^2+3*a+2, -2*a^3+6*a^2+a-1, a^3-6*a^2-a-3, 4*a^3+4*a^2+3*a+1, 4*a^3-5*a^2+3*a+3, 2*a^3+5*a^2-2*a-3, 6*a^3-4*a^2+4*a+5, -a^3+4*a^2+2*a-3, -3*a^3+6*a^2-4*a-1, -6*a^3-4*a^2-2*a-3, a^3-5*a^2, 2*a^3-5*a-6, -2*a^3-2*a^2+5*a-1, -a^3-5*a^2-3*a-3, -2*a^2+2*a-1, 5*a^3+2*a^2-2*a-4, a^3+6*a^2+2, 3*a^3-4*a^2+6*a+3, -4*a^3-6*a^2-2*a+2, -3*a^3+4*a^2-5*a+3}, {-6*a^3-3*a^2+2*a-3, -4*a^3-a^2+6*a+1, 2*a^3-2*a^2-5*a-6, 4*a^3+3*a^2-5*a-1, -5*a^3+3*a-2, -6*a^3+5*a^2+5*a-2, 2*a^3+6*a^2+5*a-2, 4*a
 ^3-2*a^2+3*a-5, -2*a^3+6*a^2-3*a-6, 4*a^3+3*a^2-6*a+4, -4*a^3-a^2+2*a-3, 5*a^3+2*a^2+6*a+4, a^3+2*a^2-2*a+5, -5*a^3+6*a^2, a^3+a^2+5*a+5, -4*a^3+a^2-1, a^3+5*a^2+5*a+6, -4*a^3-6*a^2+a, -5*a^3+a^2+6*a+2, -3*a^3+6*a^2+4*a+1, -3*a^3-5*a^2+2*a-6, -4*a^3-4*a^2-4*a+5, -2*a^3-a^2+a+6, -2*a^3+a^2-3*a+2, -3*a^2-3*a+2, -2*a^3-4*a^2-2*a-6, a^3+3*a^2+4*a, -a^3-5*a^2-6*a-2, 2*a^3-2*a^2-6*a-1, 6*a^3-2*a^2-5*a-5, 4*a^3-6*a^2-3, -a^3+4*a^2-2*a+1, -3*a^3-a^2+5*a-5, 4*a^3-a^2-a-5, -6*a^3+2*a^2-3*a-1, 2*a^3-2*a-5, -a^3-2*a^2+6*a+6, -5*a^3-5*a^2+6*a+6, 5*a^3+5*a^2-3*a+5, 6*a^3-3*a-6, a^3-a^2-3*a+3, a^3-2*a^2-6*a+4, a^3-3*a^2-5*a, -2*a^3+5*a^2+5*a+5, -a^3-a^2+3*a-3, 3*a^3+6*a^2-5*a+1, 2*a^2-4*a-6, -5*a^3+5*a^2+4*a+2, a^3+4*a^2+2*a+2, -3*a^3-3*a^2+4*a-5, -2*a^3-2*a^2+4*a-3, a^3+2*a^2+a-5, -3*a^3+5*a^2+6*a+2, 3*a^3+3*a^2+4*a-1, -a^3+2, -6*a^2+2*a}, {a^3+3*a^2+5, -3*a^3-3*a^2-a-4, -a^3+a^2+2*a-5, -5*a^3+2*a^2+3*a-5, -6*a^2-2*a-6, -3*a^3-4*a^2+5*a-4, -2*a^3-2*a^2+3*a-3, -a^3-6*a^2-6*a-1, -4*a^3-6*a^
 2-3*a-1, 4*a^3-5*a^2+3*a-2, -a^3-3*a^2-5*a-5, a^3+3*a^2-a+1, 6*a^3-2*a^2+6*a+4, a^3+6*a^2-6*a+2, -a^3+6*a^2-3*a, -3*a^3+3*a^2+4*a, 2*a^3+3*a-3, -a^3-6*a^2-2*a-4, 6*a^3-4*a^2+3, -6*a^3-5*a^2+5*a-1, 3*a^2+a-4, -2*a^2-6*a, 3*a^3+a^2-a+2, -5*a^3-4*a^2-2, 2*a^3-5*a^2-3*a+5, 3*a^3-5*a^2-3, -5*a^2-2*a-4, 2*a^3-2*a^2+a, 6*a^3+2*a^2+4*a+1, -6*a^2+a, 2*a^3+5*a^2-5*a, -5*a^2-2*a+4, 2*a^3-2*a^2-6*a-5, -5*a^3-3*a^2+2*a+3, 6*a^3-a^2+5*a+2, -6*a^2+a-5, -5*a^3+3*a^2-5, 5*a^3+2*a^2+6, -6*a^3+2*a^2+4*a-5, a^3-5*a-3, -2*a^3-a^2+6*a-6, -6*a^3+2*a^2-5*a+2, -4*a^3-2*a^2+6*a+4, 5*a^3-a^2-4*a, 4*a^3-2*a+5, -a^2+3*a+4, 5*a^3-6*a^2+5*a-5, -4*a^3+4*a^2-3, -2*a^2-a-5, 3*a^3-a^2-6*a+4, a^3+a^2+5*a+1, 6*a-5, -a^3-2*a^2+4*a+5, 2*a^3-5*a^2+3*a-1, -3*a^2+a+1, -5}, {5*a^3+a^2, -3*a^3-a^2+a-1, 4*a^2+6*a+6, 3*a^2-5*a+2, 6*a^3+2*a^2+6*a, -a^3+a^2+6*a+4, 2*a^3+6*a^2-5*a+2, 4*a^2-4, -2*a^3-3*a^2+5*a, -3*a^3+4*a^2+a+1, 6*a^3+2*a^2-2*a, -4*a^3+4*a^2+5*a+6, a^3+5*a-4, -2*a^3+a-4, a^3+2*a^2-6*a+6, -3*a^3-a^2-5*a+2, a
 ^3-4*a+4, a^3+6*a^2+5*a-6, -5*a^3+5*a^2+2*a+1, -4*a^3-3*a^2-4*a+2, 6*a^3-2*a^2-2*a+4, 2*a^3-6*a^2-5*a-3, a^3-a^2-3*a+1, -3*a^3-5*a^2+6*a-5, 6*a^3+6*a^2+a+4, -2*a^3-4*a^2-3*a+6, -a^3+3*a^2+2*a+5, -5*a^2-3*a+3, -4*a^3+4*a^2+5*a, -2*a^3-6*a^2+3*a+4, 3*a^3+a^2+5*a-6, -2*a^3+6*a^2-a+6, 4*a^3-3*a^2-a+4, -6*a^3+6*a^2+2*a+2, -2*a^3+4*a^2+6*a-6, -3*a^3-3*a^2+5, -6*a^3-6*a^2-a-3, 3*a^3+6*a^2-a-4, -5*a^3+5*a^2+a-1, -5*a^3-3*a^2+a+1, 3*a^3+3*a^2-3*a-5, -2*a^3+a^2-a-5, -a^3-4*a+5, -a^3-5*a^2-a-6, a^3+6*a^2-2*a-2, -a^3+4*a^2+a-1, -3*a^3+5*a^2-3*a-6, -5*a^3-5*a^2+5*a+5, 3*a^3-6*a^2-6*a-2, -4*a^3-a^2+4*a-5, -5*a^3-4*a^2-3*a+3, 4*a^3+2*a^2+2*a+1, -a^3-2*a^2+5*a+6, 2*a^3+6*a^2+5*a, 2*a^3+a-6, -a^3+3*a^2-3*a+1}, {-a^3+2*a-2, -4*a^3+5*a-5, 4*a^3-a+1, 6*a^3, a-1, 5*a^3-5*a+5, 6*a^3+4*a-4, -5*a^3, a^3-5*a+5, -3*a^3+a-1, 5*a^3+6*a-6, -6*a^3-a+1, -5*a^3+3*a-3, -6*a^3+3*a-3, 2*a^3-6*a+6, 4*a^3-6*a+6, -a^3+6*a-6, 4*a^3+4*a-4, a^3+a-1, 5*a^3, -a+1, 2*a^3-a+1, -3*a^3+2*a-2, 5*a-5, 3*a^3-3*a+3, -2*a^3+4
 *a-4, 2*a^3+4*a-4, a^3+5*a-5, 3*a^3-5*a+5, a^3+a-1, -3*a^3-5*a+5, -3*a^3-4*a+4, 6*a^3+5*a-5, -5*a^3-2*a+2, 3*a^3-2*a+2, 3*a^3-a+1, -2*a^3-6*a+6, -3*a^3, 6*a-6, 4*a^3-4*a+4, -2*a^3-3*a+3, 6*a^3-2*a+2, 3*a^3+a-1, 4*a^3-3*a+3, -2*a^3-4*a+4, 6*a^3-3*a+3, -a+1, 2*a^3-2*a+2, 3*a^3-6*a+6, 4*a^3+5*a-5, -a^3-5*a+5, a^3-6*a+6, 3*a^3+2*a-2, -3*a^3+5*a-5, -a^3-a+1, -5*a^3}, {a^3+2*a^2+a+5, 2*a^3-a^2+5*a+1, 6*a^3+a^2-2*a+1, -a^3-a+2, 2*a^3+5*a^2+5*a-3, a^3-2*a^2-3*a-1, -a^3-2*a^2-3*a-3, -3*a^3+6*a^2+a-2, -5*a^3-5*a^2-5*a+5, -4*a^3-6*a^2+6*a+3, 2*a^3-6*a^2-3*a-5, 2*a^3+a-4, -4*a^3+a^2-2*a-6, -4*a^3+3*a^2+4*a, -3*a^3+6*a^2-5*a+2, -6*a^3-4*a^2-5*a-4, -6*a^3-3*a^2+1, -2*a^3+4*a^2+3*a-2, -5*a^3+6*a^2-6*a-4, 4*a^3+6*a^2-a-2, -a^3+2*a^2-3*a+4, -4*a^3-3*a^2-a, -a^3+2*a^2-a+6, -a^3-4*a^2+3*a+3, -a^3+5*a^2-a-3, -6*a^2-a-4, 3*a^3-6*a^2+3*a-4, -2*a^3-2*a^2-a, 5*a^3-4*a^2+6*a-5, -6*a^3+a^2+6*a-6, -3*a^3-4*a^2-2*a-3, -6*a^3+3*a^2+a+4, 3*a^3-a^2+a-2, -4*a^3-3*a^2+4*a+1, 3*a^3-2*a^2+6*a, 4*a^2+a+5, -2*a
 ^3+2*a^2-6*a+5, 4*a^3+5*a^2+a+2, -5*a^3+5*a^2+3*a-4, 6*a^3-5*a^2+3*a-4, -4*a^3+3*a^2+2*a-1, 4*a^3+3*a^2+a+5, 4*a^3-3*a^2-2*a-2, 5*a^2+2*a+3, -a^3+a^2-6*a+5, 4*a^2+3*a-6, -2*a^3-2*a^2-3*a-5, 6*a^3+6*a^2+2*a+1, 4*a^3+5*a^2+5*a+4, -5*a^3-5*a^2+a+2, a^3+2*a+2, a^3-6*a^2-a-2, -2*a^3+a^2+a+6, -4*a^3+a^2+6*a-5, 5*a^3+6*a^2+3*a, 2*a^3-5*a^2-2*a-3}, {3*a^3+2*a-2, -4*a^3+5*a-5, -5*a^3-a+1, -6*a^3, a^3+a-1, 3*a^3-5*a+5, -2*a^3+4*a-4, 5*a^3, -6*a^3-5*a+5, 4*a^3+a-1, a^3+6*a-6, 5*a^3-a+1, -5*a^3+3*a-3, -4*a^3+3*a-3, 5*a^3-6*a+6, 3*a^3-6*a+6, -6*a^3+6*a-6, 4*a-4, a-1, -5*a^3, -a^3-a+1, -3*a^3-a+1, 5*a^3+2*a-2, 5*a^3+5*a-5, -6*a^3-3*a+3, 6*a^3+4*a-4, 2*a^3+4*a-4, 4*a^3+5*a-5, 5*a^3-5*a+5, a-1, -2*a^3-5*a+5, -a^3-4*a+4, -a^3+5*a-5, 3*a^3-2*a+2, -5*a^3-2*a+2, -4*a^3-a+1, -4*a^3-6*a+6, 3*a^3, 6*a^3+6*a-6, 5*a^3-4*a+4, -a^3-3*a+3, 5*a^3-2*a+2, -2*a^3+a-1, 6*a^3-3*a+3, -2*a^3-4*a+4, 4*a^3-3*a+3, -a^3-a+1, -4*a^3-2*a+2, 4*a^3-6*a+6, a^3+5*a-5, -4*a^3-5*a+5, 6*a^3-6*a+6, -a^3+2*a-2, -5*a^3+5*a-5,
  -a+1, 5*a^3}, {6*a^3-a^2+a-1, -4*a^3+a^2, 4*a^3-4*a^2-2*a+3, 3*a^3-3*a^2+a+2, -5*a^3-2*a^2+2*a+5, -a^2-3*a+6, -5*a^3-6*a^2+4*a-1, 4*a^3-4*a^2-5*a-4, -5*a^3+3*a^2-3*a-2, a^3-4*a^2+3*a-5, -5*a^3-2*a^2+2*a, -4*a^2-2*a+4, a^3+4*a-5, -2*a^3+4*a-1, 3*a^3-2*a^2-4*a+4, -4*a^3+a^2-3*a+6, a^3-4*a+4, -6*a^3-6*a^2-a+2, -5*a^2+4*a+6, 6*a^3+3*a^2-5*a-6, 4*a^3+2*a^2-6*a+4, -4*a^3+6*a^2-3*a-2, a^2-2*a+4, 5*a^3+5*a^2-1, -a^3-6*a^2+2*a+6, -6*a^3+4*a^2+3*a-6, 2*a^3-3*a^2-2*a-5, -5*a^3+5*a^2+5*a-5, -4*a^2+4*a+4, 5*a^3+6*a^2+3*a+3, 4*a^3-a^2-6*a-6, 4*a^3-6*a^2-5, a^3+3*a^2+6*a+4, -6*a^2+4*a+5, 2*a^3-4*a^2-3*a+3, -6*a^3+3*a^2+5*a+3, a^3+6*a^2-3*a-6, -4*a^3-6*a^2-3*a-5, -5*a^2+6*a-6, 5*a^3+3*a^2-4*a+2, 6*a^3-3*a^2-5*a, -a^3-a^2+6*a, -a^3-5*a+4, -6*a^3+5*a^2+a+6, -6*a^3-6*a^2-5*a-4, 3*a^3-4*a^2+5*a-5, 2*a^3-5*a^2-2*a-2, 3*a^3+5*a^2+3*a, -3*a^3+6*a^2-4*a-1, -5*a^3+a^2+4*a-3, 4*a^3+4*a^2+6*a-6, 6*a^3-2*a^2+a-4, -3*a^3+2*a^2+5*a-3, -5*a^3-6*a^2+6*a+2, 2*a^3+6*a-1, 2*a^3-3*a^2+2*a}, {5*a^3+6*a^2+6*a+1
 , a^3-a^2+a-3, -a^3+4*a^2-3*a+2, a^3+6*a^2-1, 3*a^3+5*a^2+a-1, 4*a^3+2*a^2-4*a-5, 5*a^3+3*a^2+3*a-1, -5*a^3+4*a^2+6*a-2, 4*a^3-a^2-5*a+2, -2*a^3-6*a^2-4*a-4, 6*a^3-3*a^2-a+1, -2*a^3-3*a^2-5*a-1, -5*a^2+3*a+4, -6*a^3+3*a^2-a+2, 3*a^3+4*a+6, 4*a^3-3*a^2+2*a+4, 3*a^3-2*a^2+a+5, a^3+6*a^2-5*a-2, -5*a^3+2*a^2-a+1, -3*a^3+6*a-3, 2*a^3+a^2+5*a+6, -6*a^3-3*a^2+2*a-4, -3*a^3+a^2-4*a-6, -6*a^3+6*a^2-4*a-1, -3*a^3+5*a^2+2*a+6, 4*a^3-a^2-2*a-1, -5*a^2-4*a-2, 2*a^3+3*a^2+3*a+5, -a^3-3*a^2+6*a+6, 6*a^3+2*a^2-a+2, 3*a^3-2*a^2-4*a+6, -6*a^3-4*a^2+6*a+2, a^3+3*a^2+5*a+3, a^2-2*a-1, 2*a^3-4*a^2-6*a+5, -2*a^3+3*a^2+5*a-2, -a^3+4*a^2+5*a-4, 5*a^3-4*a^2+5*a+2, 6*a^3-2*a^2-3*a-4, -a^3-6*a^2+3*a+2, 3*a^3+4*a^2+a-4, -5*a^3-a^2-5, 4*a^3-6*a^2-2*a-4, -6*a^3-a^2+3*a-3, 6*a^3+2*a^2-2*a-4, 5*a^3+3*a^2+a+6, -5*a^3-a^2+4*a+5, a^3+a^2+3*a+2, 4*a^3+3*a^2+2*a-2, a^3+2*a^2-a+6, 4*a^3+5*a-3, 4*a^3+6*a^2-2*a-4, -3*a^3-5*a^2+6*a-6, 6*a^3+3*a^2-2*a-6, -a^3+5*a-2, -5*a^3+a^2-a-2}, {-6*a^3-2*a^2+3*a-2, -4*a^3+2*a^2
 +5*a-6, -5*a^2+4*a-2, -2*a^3+3*a^2-4*a+1, -4*a^3+4*a^2+1, 4*a^3-6*a^2-5, 6*a^3-3*a^2+5*a-5, 4*a^3+4*a^2+a-5, 2*a^3+4*a^2+a+6, -5*a^3-a^2-2*a-3, 6*a^3+2*a^2-3*a+1, -6*a^3-2*a^2-3*a+3, -6*a^3-3*a^2-4*a+6, -4*a^3-4*a^2-6*a, -a^3-4*a^2+4*a-2, -2*a^2+2*a+4, -3*a^3+2*a-2, 4*a^3+4*a^2+3*a+1, -3*a^3-6*a^2+4*a-6, -3*a^3-a^2+6*a, 2*a^3-2*a^2-4*a+6, 3*a^3-3*a^2+3*a+1, -6*a^3-5*a^2-5*a, -6*a^3-6*a^2+3*a-6, -2*a^3-a^2+2*a+1, 3*a^3-a^2+3*a-1, a^3-a^2-5*a-4, -3*a^2+3*a+5, a^3+3*a^2+5*a-4, -4*a^3+4*a^2-4*a-1, -4*a^3+a^2-a, a^3-a^2-6*a-4, -3*a^2+2*a+1, -a^3+2*a^2-4*a+5, -a^3+5*a^2-2*a+6, -4*a^3+4*a^2-5*a-1, 3*a^3-2*a^2+a-2, -4*a^3+3*a^2+6*a+3, 6*a^3+3*a^2-4*a-4, 5*a^3+2*a-1, -2*a^3+5*a^2-a+1, 6*a^3+3*a^2+2, -4*a^3-3*a^2-4*a+6, -6*a^3+5*a^2-5*a-1, -6*a^3+a-3, -5*a^3+5*a^2+a+3, -5*a^3+4*a^2-5*a+5, 6*a^2-4*a+6, 3*a^3-3*a^2+2*a+2, -3*a^3+5*a^2+a-4, -3*a^3-5*a^2-4, -a-4, -2*a^3-3*a^2+4*a+3, -2*a^3-a^2+6*a-3, -2*a^3+2*a^2+6*a-3, -a}, {3*a^3+5*a^2-2*a-4, 4*a^3-4*a^2+4*a+2, -5*a^3+a^2+5, -3*a^2+2*a-
 4, -a^3+2*a^2-5*a+5, -3*a^3+4*a^2-4, 2*a^3-3*a^2-6*a-1, 4*a^3+4*a^2+4*a+3, -a^2-2*a+1, -2*a^3+3*a^2-4*a+4, 4*a^3+6*a^2-6*a-2, 6*a^3-a^2+4*a-1, 3*a^3-5*a^2-3*a-4, -a^3+4*a+2, -3*a^3+a^2+5*a, 3*a^3-3*a^2+2*a-6, -a^2-a, -a^3+2*a^2-3*a-4, a^3+5*a^2-3*a+4, 6*a^3+4*a^2+5*a+5, 4*a^3+5*a^2+6*a-4, -3*a^3-4*a^2-a-1, 2*a^3-6*a^2+3*a+1, -2*a^3-4*a^2+a+3, a+3, -5*a^3-a^2-4*a-6, -a^3-a^2-a-5, -a^3+3, 3*a^3-5*a^2+5*a-6, 5*a^3+a^2-2*a+4, -4*a^3-2*a^2+2*a+4, -2*a^3-a^2-4*a-1, -5*a^3-4*a^2+a-3, 6*a^3-2*a^2+a-3, -5*a^3+5*a^2+5*a-1, -6*a^3-2*a^2-3, 4*a^3-2*a^2+3, -3*a^3-4*a^2-a+6, -4*a^3-2*a^2+6*a-2, 6*a^3-5*a+1, -3*a^3-2*a^2-4*a+5, 2*a^3-a^2+6, a^3+3*a^2-a-6, -2*a^3+4*a^2+a+3, -2*a^3-6*a+4, 4*a^3-6*a^2+4*a+6, -3*a^3+2*a^2+6*a-1, 3*a^3+4*a^2+5*a+3, 2*a^3+a^2+6*a+3, 3*a^3-3*a^2-2*a+2, 2*a^3+5*a^2-3*a+1, 2*a^3-a^2-3*a-6, 3*a^3+3*a^2+4*a-2, -3*a^3+5*a^2-2*a-1, a^3+5*a^2+4, 2*a^3+2*a^2-3*a}};

-- i4 : M;
--               55        56
-- o4 : Matrix KK   <--- KK
-- results: 1.3-epsilon: 54,20  obviously wrong
--     	    1.2        : 54,20  obviously wrong
--     	    1.1        : 46,10  could be right
rank M, rank syz M
assert( rank M + rank syz M == numgens source M )
assert( numgens source generators gb M + numgens source generators gb syz M == numgens source M )

end
-- MES: my attempts to get this to work.
time gens gb M;
time syz M;
A = ambient KK
promote(M,A)
sub(M, vars A)
M1 = lift(M,A)
time gens gb M1;
time syz M1;

B =  (ZZ/p[a, MonomialOrder=>Position=>Up])/ideal(a^4-a^3+a^2-a+1)
M2 = sub(M1,B)
time gens gb M2;
time gens gb syz M2;

-- current state: gauss.cpp code is very very slow.
--   on the plus side, it might be reasonably correct.
-- placing Position=>Up, and then doing 'gens gb M2', 'gens gb syz M2', is much faster
--   and seems to also give the correct answer.

debug Core
M1 = mutableMatrix M
rawFFLU raw M1