
(SETMODULUS 19)
(ALGFORMINPUT)
setinvars a,b,c,d,e,f,g,h,i,j,k,l,m;
a^2,b^2,c^2,d^2,e^2,f^2,g^2,h^2,i^2,j^2,k^2,l^2,m^2,

a*b+b^2+8*a*c+7*b*c+c^2+3*a*d+3*b*d+c*d+8*d^2+8*a*e+9*b*e+4*c*e+9*d*e+2*e^2+7*a*f+2*b*f+3*c*f+9*d*f+6*e*f 
+4*f^2+4*a*g+b*g+6*c*g+9*d*g+3*e*g+8*f*g+9*g^2+8*a*h+8*b*h+2*c*h+6*d*h+3*e*h+2*f*h+5*g*h+6*h^2+7*a*i+7*b*i 
+9*c*i+8*d*i+6*e*i+4*f*i+9*g*i+7*h*i+2*i^2+7*a*j+7*b*j+6*c*j+5*d*j+6*e*j+5*f*j+8*g*j+h*j+3*i*j+j^2+6*a*k 
+8*b*k+2*c*k+6*d*k+8*e*k+2*f*k+5*g*k+5*h*k+5*i*k+8*j*k+k^2+7*a*l+2*b*l+9*c*l+4*d*l+2*e*l+3*f*l+9*g*l+8*h*l 
+6*i*l+6*j*l+5*k*l+7*l^2+7*a*m+8*b*m+7*c*m+7*f*m+5*g*m+2*h*m+3*i*m+9*j*m+6*k*m+6*l*m+6*m^2, 

a*c+6*b*c+7*a*d+b*d+6*d^2+3*a*e+4*b*e+9*c*e+7*d*e+5*e^2+9*a*f+3*b*f+c*f+2*d*f+6*e*f+5*f^2 
+8*a*g+3*b*g+7*c*g+3*d*g+5*g^2+6*a*h+2*b*h+c*h+3*d*h+4*e*h+2*f*h+8*g*h+h^2+9*a*i+9*b*i+7*c*i+3*e*i+7*f*i 
+3*g*i+3*h*i+2*i^2+8*a*j+3*b*j+3*c*j+7*d*j+6*e*j+5*f*j+3*g*j+7*h*j+i*j+8*j^2+6*a*k+9*b*k+d*k+2*e*k+8*f*k 
+9*g*k+4*h*k+4*i*k+j*k+9*k^2+5*a*l+8*b*l+3*c*l+2*d*l+4*e*l+f*l+8*g*l+7*h*l+3*i*l+5*j*l+6*l^2+7*a*m+b*m 
+5*c*m+7*d*m+2*e*m+4*f*m+4*g*m+3*h*m+4*i*m+2*j*m+5*k*m+2*l*m+7*m^2, 

b*c+3*c^2+2*a*d+8*b*d+8*c*d+5*d^2+5*a*e+8*b*e+3*c*e+7*d*e+7*e^2+3*a*f+9*b*f+7*c*f+3*d*f+5*e*f 
+6*f^2+9*a*g+2*b*g+4*c*g+8*d*g+7*e*g+3*f*g+7*g^2+a*h+8*b*h+c*h+3*d*h+e*h+2*f*h+4*h^2+6*a*i+9*b*i+3*c*i 
+6*d*i+9*e*i+4*f*i+8*g*i+h*i+5*i^2+2*a*j+6*b*j+3*c*j+9*d*j+3*e*j+3*f*j+g*j+7*h*j+9*i*j+4*j^2+3*a*k+5*b*k 
+3*c*k+5*d*k+9*e*k+5*f*k+9*h*k+7*i*k+3*j*k+k^2+4*a*l+3*b*l+8*c*l+2*d*l+2*e*l+7*f*l+7*g*l+6*h*l+4*i*l+7*j*l 
+k*l+l^2+7*a*m+8*b*m+5*c*m+d*m+3*e*m+4*f*m+7*g*m+4*h*m+9*i*m+2*j*m+9*l*m+3*m^2, 
a*d+b*d+3*c*d+9*d^2+3*a*e+5*b*e+7*c*e+5*d*e+2*e^2+4*a*f+8*c*f+d*f+8*e*f+8*f^2 
+9*a*g+8*b*g+4*c*g+7*d*g+9*e*g+4*f*g+5*g^2+8*a*h+5*b*h+5*c*h+9*d*h+5*e*h+f*h+4*g*h+2*h^2+8*a*i+7*b*i+8*c*i 
+d*i+9*e*i+9*f*i+h*i+i^2+5*a*j+8*b*j+c*j+9*d*j+9*e*j+3*f*j+5*h*j+8*i*j+5*j^2+3*a*k+2*b*k+c*k+3*d*k+e*k 
+4*f*k+4*g*k+3*h*k+6*i*k+2*j*k+7*k^2+3*a*l+8*b*l+9*c*l+3*d*l+3*e*l+7*f*l+5*g*l+6*h*l+2*i*l+4*j*l+5*k*l+3*l^2 
+2*a*m+7*b*m+3*c*m+4*d*m+6*e*m+2*f*m+4*g*m+2*h*m+3*i*m+2*j*m+4*k*m+5*l*m+8*m^2, 

b*d+2*c*d+7*d^2+a*e+7*b*e+9*c*e+d*e+2*e^2+2*a*f+6*b*f+6*c*f+2*d*f 
+6*e*f+7*f^2+7*a*g+9*b*g+5*c*g+7*d*g+e*g+8*f*g+9*g^2+3*a*h+9*b*h+7*c*h+8*d*h+3*e*h+6*f*h+3*g*h+3*h^2+3*a*i 
+5*b*i+8*c*i+8*d*i+8*e*i+f*i+3*g*i+3*h*i+7*i^2+4*a*j+6*b*j+c*j+6*d*j+3*e*j+5*f*j+5*g*j+3*h*j+i*j+3*j^2 
+9*a*k+4*b*k+8*c*k+2*d*k+7*e*k+6*f*k+g*k+7*h*k+i*k+2*j*k+3*k^2+4*a*l+b*l+c*l+3*d*l+8*f*l+6*g*l+4*h*l+6*i*l 
+9*j*l+9*k*l+2*l^2+6*a*m+9*b*m+9*c*m+4*d*m+3*e*m+f*m+9*g*m+2*h*m+9*i*m+8*j*m+5*k*m+6*m^2, 

c*d+2*d^2+9*a*e+b*e+4*c*e+4*d*e+6*e^2+6*a*f+8*b*f+5*c*f+9*d*f 
+3*e*f+4*f^2+9*a*g+6*b*g+9*c*g+e*g+5*f*g+3*g^2+2*a*h+b*h+5*c*h+8*e*h+5*f*h+8*g*h+3*h^2+5*a*i+b*i+2*c*i 
+7*d*i+2*g*i+6*h*i+7*i^2+2*a*j+9*c*j+4*d*j+3*e*j+5*f*j+8*i*j+3*j^2+3*a*k+8*b*k+5*c*k+3*d*k+e*k+4*f*k+4*h*k 
+2*i*k+3*j*k+6*k^2+8*a*l+2*b*l+7*c*l+7*d*l+e*l+9*f*l+9*g*l+4*h*l+4*i*l+9*j*l+6*k*l+3*l^2+4*a*m+7*b*m+7*c*m 
+d*m+6*e*m+9*f*m+5*g*m+9*h*m+6*i*m+j*m+7*k*m+3*l*m+3*m^2, 

a*e+8*b*e+5*c*e+7*d*e+9*e^2+2*a*f+3*b*f+5*c*f+9*d*f+4*e*f 
+9*f^2+a*g+8*c*g+6*d*g+9*e*g+2*f*g+5*g^2+8*a*h+4*b*h+4*c*h+6*d*h+6*e*h+6*f*h+2*g*h+h^2+3*a*i+2*b*i+3*c*i 
+4*d*i+7*e*i+6*f*i+6*g*i+3*h*i+6*i^2+5*a*j+8*b*j+c*j+7*d*j+4*e*j+5*f*j+g*j+5*h*j+6*i*j+2*j^2+8*a*k+3*b*k 
+6*c*k+3*d*k+9*e*k+3*f*k+4*g*k+8*h*k+6*i*k+8*j*k+4*k^2+5*a*l+6*b*l+9*c*l+3*d*l+e*l+8*f*l+5*g*l+8*h*l+7*i*l 
+4*j*l+9*k*l+2*l^2+7*b*m+4*c*m+6*d*m+e*m+3*g*m+3*h*m+7*i*m+6*j*m+5*k*m+7*l*m+2*m^2, 

b*e+9*c*e+5*d*e+7*e^2+2*b*f+c*f+d*f+5*e*f+f^2 
+7*a*g+3*b*g+9*d*g+7*e*g+6*f*g+9*g^2+5*a*h+2*b*h+7*c*h+7*d*h+7*e*h+9*f*h+2*g*h+5*h^2+7*a*i+7*b*i+4*c*i+d*i 
+2*e*i+6*f*i+3*g*i+8*h*i+2*i^2+7*a*j+7*b*j+4*c*j+8*d*j+2*e*j+f*j+5*g*j+9*h*j+5*i*j+j^2+3*a*k+7*b*k+2*c*k 
+4*d*k+2*e*k+5*f*k+8*g*k+7*h*k+3*i*k+7*j*k+3*k^2+3*a*l+9*b*l+7*c*l+9*d*l+3*e*l+6*f*l+g*l+9*h*l+i*l+j*l 
+2*k*l+l^2+7*b*m+2*c*m+2*d*m+e*m+6*f*m+g*m+8*h*m+8*i*m+7*j*m+8*k*m+4*l*m+6*m^2, 

c*e+7*d*e+2*e^2+a*f+3*b*f+6*c*f+4*d*f 
+6*e*f+9*f^2+4*a*g+6*b*g+c*g+7*d*g+9*e*g+7*f*g+5*g^2+a*h+6*b*h+2*c*h+6*d*h+7*e*h+7*f*h+8*g*h+9*h^2+4*a*i 
+4*b*i+6*c*i+5*d*i+9*e*i+8*f*i+7*g*i+3*h*i+9*i^2+5*a*j+7*b*j+6*c*j+6*d*j+5*e*j+5*f*j+8*g*j+h*j+i*j+4*j^2 
+2*b*k+d*k+2*e*k+3*f*k+3*g*k+8*h*k+3*i*k+8*j*k+4*k^2+a*l+7*b*l+9*c*l+2*d*l+4*e*l+f*l+9*g*l+4*h*l+i*l+6*j*l 
+6*k*l+9*l^2+6*a*m+2*b*m+c*m+7*d*m+9*e*m+9*f*m+g*m+9*h*m+9*i*m+9*j*m+9*k*m+l*m+6*m^2, 

d*e+9*e^2+8*a*f+5*b*f+2*c*f+d*f+9*e*f 
+8*f^2+8*a*g+8*b*g+9*c*g+2*d*g+e*g+5*f*g+8*g^2+9*a*h+2*b*h+4*c*h+8*d*h+2*e*h+5*f*h+7*g*h+7*h^2+7*a*i+9*b*i 
+c*i+5*d*i+6*e*i+3*g*i+9*h*i+8*i^2+7*a*j+7*b*j+c*j+d*j+4*e*j+7*f*j+3*g*j+6*h*j+7*i*j+5*j^2+5*a*k+b*k+4*c*k 
+d*k+8*e*k+3*f*k+8*g*k+9*h*k+2*i*k+4*j*k+2*k^2+7*a*l+7*b*l+4*c*l+8*d*l+8*e*l+5*f*l+g*l+5*h*l+8*i*l+3*j*l 
+8*k*l+3*l^2+a*m+5*b*m+7*c*m+d*m+3*e*m+6*f*m+2*g*m+9*h*m+2*i*m+j*m+6*k*m+l*m+6*m^2; 

