% 2 a^2, b^2, c^2, d^2, e*a+b*e+a*b, e*b+b*a+a*e, e*c+c*e, e*d+d*e, e^2, f*a+c*f+a*c, f*b+b*f, f*c+c*a+a*f, f*d+d*f, f^2, g*a+d*g+a*d, g*b+b*g, g*c+c*g, g*d+d*a+a*g, g^2, h*a+a*h, h*b+c*h+b*c, h*c+c*b+b*h, h*d+d*h, h*e+f*h+e*f, h*f+f*e+e*h, h*g+g*h, h^2, i*a+a*i, i*b+d*i+b*d, i*c+c*i, i*d+d*b+b*i, i*e+g*i+e*g, i*f+f*i, i*g+g*e+e*i, i^2, j*a+a*j, j*b+b*j, j*c+d*j+c*d, j*d+d*c+c*j, j*e+e*j, j*f+g*j+f*g, j*g+g*f+f*j, j*h+i*j+h*i, j*i+i*h+h*j, j^2, % 3 -b*a*b+a*b*a, -c*a*c+a*c*a, -c*b*c+b*c*b, -d*a*d+a*d*a, -d*b*d+b*d*b, -d*c*d+c*d*c, -f*e*f+e*f*e, -g*e*g+e*g*e, -g*f*g+f*g*f, -i*h*i+h*i*h, % 4 -c*a*b*c-b*c*a*b-a*b*c*a, -c*b*a*c-b*a*c*b-a*c*b*a, -d*a*b*d-b*d*a*b-a*b*d*a, -d*a*c*d-c*d*a*c-a*c*d*a, -d*b*a*d-b*a*d*b-a*d*b*a, -d*b*c*d-c*d*b*c-b*c*d*b, -d*c*a*d-c*a*d*c-a*d*c*a, -d*c*b*d-c*b*d*c-b*d*c*b, -g*e*f*g-f*g*e*f-e*f*g*e, -g*f*e*g-f*e*g*f-e*g*f*e, % 5 -d*a*b*c*d+c*d*a*b*c-b*c*d*a*b+a*b*c*d*a, -d*a*c*b*d-c*b*d*a*c+b*d*a*c*b+a*c*b*d*a, -d*b*a*c*d+c*d*b*a*c+b*a*c*d*b-a*c*d*b*a, d*b*c*a*d+c*a*d*b*c-b*c*a*d*b-a*d*b*c*a, d*c*a*b*d-c*a*b*d*c-b*d*c*a*b+a*b*d*c*a, d*c*b*a*d-c*b*a*d*c+b*a*d*c*b-a*d*c*b*a, % 6 -c*a*b*a*c*a-b*c*a*b*a*c, c*a*b*a*c*b+a*c*a*b*a*c, -d*a*b*a*d*a-b*d*a*b*a*d, d*a*b*a*d*b+a*d*a*b*a*d, -d*a*c*a*d*a-c*d*a*c*a*d, d*a*c*a*d*c+a*d*a*c*a*d, -d*b*a*c*a*d-d*a*c*a*b*d-c*b*d*b*a*c-c*a*b*d*b*c-b*d*b*a*c*a-b*d*a*c*a*b-b*a*c*a*d*b-a*c*b*d*b*a-a*c*a*b*d*b-a*b*d*b*c*a, -d*b*c*b*a*d-d*a*b*c*b*d-c*b*a*d*a*c-c*a*d*a*b*c-b*c*b*a*d*a-b*c*a*d*a*b-b*a*d*a*c*b-a*d*b*c*b*a-a*d*a*b*c*b-a*b*c*b*d*a, -d*b*c*b*d*b-c*d*b*c*b*d, d*b*c*b*d*c+b*d*b*c*b*d, -d*c*a*b*a*d-d*a*b*a*c*d-c*d*c*a*b*a-c*d*a*b*a*c-c*a*b*a*d*c-b*c*d*c*a*b-b*a*c*d*c*b-a*c*d*c*b*a-a*b*c*d*c*a-a*b*a*c*d*c, -g*e*f*e*g*e-f*g*e*f*e*g, g*e*f*e*g*f+e*g*e*f*e*g, % 7 d*a*b*a*c*d*a+c*d*a*b*a*c*a-b*d*a*b*a*c*d-b*c*d*a*b*a*c, -d*a*b*a*c*d*b-c*d*a*b*a*c*b+a*d*a*b*a*c*d+a*c*d*a*b*a*c, -d*a*b*c*a*d*a+c*d*a*b*c*a*d-b*c*d*a*b*a*d, d*a*b*c*a*d*c+d*a*b*a*d*c*a-b*d*a*b*c*a*d-a*b*d*a*c*a*d, -d*a*b*c*b*d*b+c*d*a*b*c*b*d-a*b*c*b*d*a*b-a*b*c*a*b*d*a, d*a*b*c*b*d*c-b*d*a*b*c*b*d+a*b*c*b*d*a*c-a*b*a*c*b*d*a, d*a*c*a*b*d*a-c*d*a*c*a*b*d-c*b*d*a*c*a*b+b*d*a*c*a*b*a, -d*a*c*a*b*d*c+b*d*a*b*c*a*b+a*d*a*c*a*b*d+a*b*d*a*c*a*b, d*a*c*a*d*b*c-d*a*b*c*a*d*b+a*d*a*b*c*a*d, -d*a*c*b*a*d*a-c*b*d*a*c*a*d+b*d*a*c*b*a*d, d*a*c*b*a*d*b+d*a*c*a*d*b*a-c*d*a*c*b*a*d-a*c*d*a*b*a*d, -d*a*c*b*a*d*c+d*a*b*a*d*c*b+a*d*a*c*b*a*d, -d*b*a*c*b*d*b+c*d*b*a*c*b*d-a*c*d*a*b*a*d, d*b*a*c*b*d*c+d*a*b*a*d*c*b-b*a*d*b*c*b*d-a*d*b*a*c*b*d, d*b*c*a*b*d*b+c*a*d*b*c*b*d-a*d*b*c*a*b*d, -d*b*c*a*b*d*c+d*a*b*a*d*c*a+b*d*b*c*a*b*d, d*b*c*b*d*a*b+d*b*c*a*b*d*a-c*d*b*c*a*b*d-b*c*d*a*b*a*d, d*b*c*b*d*a*c-d*b*a*c*b*d*a+b*d*b*a*c*b*d, % 8 d*a*b*a*c*a*d*a+c*d*a*b*a*c*a*d-b*c*d*a*b*a*c*d, -d*a*b*a*c*b*d*b-c*d*a*b*a*c*b*d+a*c*d*a*b*a*c*d, -d*a*b*c*a*b*d*c-b*d*a*b*c*a*b*d-a*b*d*a*c*a*b*d, d*a*b*c*a*d*b*c+a*d*a*b*a*d*c*a-a*b*d*a*b*c*a*d, d*a*b*c*b*a*d*a+c*b*a*d*a*c*a*d+c*a*d*a*b*c*a*d+b*c*a*d*a*b*a*d+b*a*d*a*c*b*a*d+a*d*a*b*c*b*a*d, d*a*b*c*b*a*d*b+d*a*b*c*a*d*b*a+c*d*a*b*c*b*a*d+a*b*c*d*a*b*a*d, -d*a*b*c*b*a*d*c-d*a*b*a*d*c*b*a-b*d*a*b*c*b*a*d-a*b*d*a*c*b*a*d, d*a*b*c*b*d*a*b+d*a*b*c*a*b*d*a+c*d*a*b*c*a*b*d, d*a*b*c*b*d*a*c-d*a*b*a*c*b*d*a-b*d*a*b*a*c*b*d, d*a*c*a*b*a*d*a-c*b*d*a*c*a*b*d+b*d*a*c*a*b*a*d, d*a*c*a*b*a*d*c+d*a*b*a*c*d*c*b-c*d*a*c*a*b*a*c-b*c*d*a*b*c*a*b+a*d*a*c*a*b*a*d-a*c*d*a*c*a*b*a+a*b*c*d*a*c*a*b, d*a*c*a*b*d*b*c+d*a*b*a*c*a*d*b+c*b*d*a*b*a*c*b-b*d*a*b*a*c*a*b+a*d*a*b*a*c*a*d+a*c*b*d*a*b*a*c-a*b*d*a*b*a*c*a, -d*b*a*c*a*b*d*b-c*b*d*b*a*c*b*d-c*a*b*d*b*c*b*d-b*d*b*a*c*a*b*d-a*c*b*d*a*b*a*d-a*b*d*b*c*a*b*d, -d*b*a*c*a*b*d*c-d*a*b*a*d*c*a*b-b*a*d*b*c*a*b*d-a*d*b*a*c*a*b*d, d*b*a*c*b*a*d*b-d*a*c*a*b*d*b*a+c*d*b*a*c*b*a*d-c*b*d*b*a*c*b*a-c*a*b*d*b*c*b*a-b*d*b*a*c*a*b*a-a*b*d*b*c*a*b*a, -d*b*a*c*b*a*d*c+b*a*d*a*b*c*b*d+b*a*c*b*a*d*a*c+b*a*c*a*d*a*b*c-a*d*b*a*c*b*a*d+a*b*a*c*b*a*d*a+a*b*a*c*a*d*a*b, d*b*a*c*b*d*a*b+d*b*a*c*a*b*d*a+c*d*b*a*c*a*b*d+b*a*c*d*a*b*a*d, d*b*a*c*b*d*a*c+b*d*a*b*a*d*c*b-b*a*d*b*a*c*b*d, -d*b*c*a*b*a*d*b-c*a*d*a*b*c*b*d-c*a*b*a*d*a*c*b+b*c*a*b*a*d*a*b-a*d*b*c*a*b*a*d-a*c*a*b*a*d*a*c+a*b*c*a*b*a*d*a, d*b*c*a*b*a*d*c+d*a*b*a*c*d*c*a-c*d*b*c*a*b*a*c+b*d*b*c*a*b*a*d-b*c*d*b*c*a*b*a+b*a*c*d*b*c*b*a-a*c*d*b*a*c*b*a, -d*b*c*a*b*d*a*b+c*a*d*b*c*a*b*d-b*c*a*d*a*b*a*d, -d*c*a*b*a*c*d*a+d*b*c*a*b*d*a*c-c*d*a*b*a*d*c*a+c*b*d*a*b*c*a*d-b*d*c*a*b*a*c*d-b*c*d*a*b*a*d*c, -d*c*a*b*a*c*d*b-d*a*c*a*d*b*a*c+c*a*d*b*a*c*b*d+c*a*d*a*c*b*a*d-a*d*c*a*b*a*c*d, -d*c*a*b*a*c*d*c-c*d*c*a*b*a*c*d+b*c*d*b*c*a*b*d+b*c*d*a*b*c*a*d-b*a*c*d*b*c*b*d+a*c*d*b*a*c*b*d+a*c*d*a*c*b*a*d-a*b*c*d*a*c*a*d, % 9 -d*a*b*a*c*a*d*b*c-a*d*a*b*a*c*a*d*c, d*a*b*a*c*b*a*d*b+d*a*b*a*c*a*d*b*a-c*d*a*b*a*c*b*a*d+a*b*c*d*a*b*a*c*d, -d*a*b*a*c*b*d*a*b-d*a*b*a*c*a*b*d*a+c*d*a*b*a*c*a*b*d-b*a*c*d*a*b*a*c*d, d*a*b*a*c*b*d*a*c+b*d*a*b*a*c*b*d*c, d*a*b*c*a*b*a*d*c+d*a*b*a*c*d*c*b*a+c*d*a*b*c*a*b*a*c-b*d*a*b*c*a*b*a*d-b*c*d*a*b*c*a*b*a-a*b*d*a*c*a*b*a*d+a*b*c*d*a*c*a*b*a, d*a*b*c*a*b*d*a*b+c*d*a*b*c*a*b*d*b, d*a*b*c*a*b*d*b*c+d*a*b*a*c*a*b*d*b+c*b*d*a*b*a*c*b*d-b*d*a*b*a*c*a*b*d+a*c*b*d*a*b*a*c*d-a*b*d*a*b*a*c*a*d, -d*a*c*a*b*a*c*d*a+d*a*b*c*a*b*d*a*c-c*a*b*d*a*c*a*b*d+b*d*a*c*a*b*a*c*d, d*a*c*a*b*a*c*d*c-d*a*b*a*c*b*d*c*b-c*d*a*c*a*b*a*c*d-b*c*d*a*b*c*a*b*d-a*c*d*a*c*a*b*a*d+a*b*c*d*a*c*a*b*d, d*a*c*a*d*b*a*c*a-d*a*b*c*a*d*b*a*c-a*c*d*a*b*a*d*c*a+a*c*b*d*a*b*c*a*d+a*c*a*b*d*a*c*a*d-a*b*c*d*a*b*a*d*c, -d*a*c*a*d*b*a*c*b-c*a*d*a*c*a*d*b*a+a*d*a*c*a*d*b*a*c, d*b*a*c*a*b*a*d*b+d*a*c*a*b*a*d*b*a-c*b*d*b*a*c*b*a*d+c*a*b*d*a*b*c*b*d+c*a*b*a*d*b*c*b*a+c*a*b*a*d*a*b*c*b-b*d*b*a*c*a*b*a*d-b*c*a*b*a*d*a*b*c-a*b*d*b*c*a*b*a*d-a*b*c*a*b*a*d*a*c, d*b*a*c*a*b*a*d*c+d*a*b*a*c*d*c*a*b+c*d*b*a*c*a*b*a*c-b*a*d*b*c*a*b*a*d+b*a*c*d*b*c*a*b*a-a*d*b*a*c*a*b*a*d-a*c*d*b*a*c*a*b*a, d*b*a*c*a*b*d*a*b-c*b*d*b*a*c*a*b*d-c*a*b*d*b*c*a*b*d-b*a*c*a*d*a*b*a*d-a*c*a*b*d*a*b*a*d, d*b*a*c*b*a*d*a*c+d*a*b*a*c*b*a*d*a+c*a*d*a*b*a*c*a*d+b*c*a*d*a*b*a*c*d-b*a*d*a*b*a*c*b*d-a*d*a*b*a*c*b*a*d, d*b*c*a*b*a*c*d*b-d*a*c*a*b*d*b*a*c-c*a*d*b*a*c*b*a*d+c*a*b*d*b*a*c*b*a-b*d*b*a*c*a*b*a*c-a*d*b*c*a*b*a*c*d-a*b*d*b*c*a*b*a*c, d*b*c*a*b*a*c*d*c-d*a*b*a*c*a*d*c*a-c*d*b*c*a*b*a*c*d-b*c*d*b*c*a*b*a*d-b*a*c*d*a*b*c*b*d-b*a*c*b*a*d*a*c*b-b*a*c*a*d*b*c*b*a-b*a*c*a*d*a*b*c*b-a*c*d*b*a*c*b*a*d-a*b*a*c*b*a*d*a*b, d*b*c*a*b*a*d*a*b+d*a*b*c*a*b*a*d*a-c*b*a*d*a*c*a*b*d-c*a*d*a*b*c*a*b*d-b*a*d*a*c*a*b*a*d-a*d*a*b*c*a*b*a*d, -d*b*c*a*b*d*a*c*a+b*d*b*c*a*b*d*a*c, d*b*c*a*b*d*a*c*b-d*b*a*c*a*b*d*a*c+c*a*d*b*a*c*a*b*d-b*c*a*d*b*a*c*b*d, % 10 -d*a*b*a*c*a*b*d*a*b+c*d*a*b*a*c*a*b*d*b-b*a*c*a*d*a*b*a*c*d, -d*a*b*a*c*a*b*d*b*c-c*b*d*a*b*a*c*b*d*c+b*d*a*b*a*c*a*b*d*c-a*c*b*d*a*b*a*c*d*c+a*b*d*a*b*a*c*a*d*c, -d*a*b*a*c*b*a*d*a*c-c*a*d*a*b*a*c*a*d*c-b*c*a*d*a*b*a*c*d*c+b*a*d*a*b*a*c*b*d*c+a*d*a*b*a*c*b*a*d*c, d*a*b*c*a*b*a*c*d*c-d*a*b*a*c*b*a*d*c*b+d*a*b*a*c*a*d*c*b*a+c*d*a*b*c*a*b*a*c*d-b*c*d*a*b*c*a*b*a*d+a*b*c*d*a*c*a*b*a*d, -d*a*b*c*a*b*a*d*a*b+c*b*a*d*a*c*a*b*d*b+c*a*d*a*b*c*a*b*d*b+b*a*d*a*c*a*b*a*d*b+a*d*a*b*c*a*b*a*d*b, -d*a*b*c*a*b*d*a*c*a-b*d*a*b*c*a*b*d*a*c-a*b*c*a*d*a*c*a*b*d-a*b*c*a*b*d*a*c*a*b, -d*a*b*c*a*b*d*a*c*b+d*a*b*a*c*a*b*d*a*c-c*d*a*b*a*c*a*b*d*c+c*b*d*a*b*c*a*b*d*b+c*a*b*d*a*c*a*b*d*b+b*c*d*a*b*a*c*b*d*c, d*a*b*c*a*d*b*a*c*a+a*b*c*d*a*b*a*d*c*a-a*b*c*b*d*a*b*c*a*d-a*b*c*a*b*d*a*c*a*d, -d*a*b*c*a*d*b*a*c*b+d*a*b*a*d*c*a*b*a*c+c*d*a*b*a*d*c*a*b*a-c*b*d*a*b*c*a*d*b*a-c*a*b*d*a*c*a*d*b*a-b*d*a*b*c*a*d*b*a*c+b*c*d*a*b*a*d*c*b*a-a*b*d*a*c*a*d*b*a*c, d*a*c*a*b*a*d*b*c*a+d*a*b*c*a*b*a*d*b*c-d*a*b*a*c*a*b*a*d*b+c*b*d*a*b*a*c*b*a*d-b*d*a*b*a*c*a*b*a*d+a*c*b*d*a*b*a*c*a*d, d*a*c*a*b*a*d*b*c*b+a*d*a*c*a*b*a*d*b*c, d*a*c*a*b*d*b*a*c*a+d*a*b*a*c*a*d*b*a*c-b*d*a*b*a*c*a*b*a*c-a*c*d*a*b*a*c*a*d*c+a*b*c*d*a*b*a*c*d*c, d*a*c*a*b*d*b*a*c*b+c*a*d*a*c*a*b*d*b*a+a*d*a*c*a*b*d*b*a*c, -d*b*a*c*a*b*a*c*d*b+d*a*c*a*b*a*c*d*b*a+d*a*b*c*a*b*d*b*a*c+c*a*b*d*b*a*c*b*a*d-b*d*b*a*c*a*b*a*c*d-a*b*d*b*c*a*b*a*c*d, d*b*a*c*a*b*a*c*d*c+d*a*b*a*c*b*d*c*a*b-d*a*b*a*c*a*b*d*c*a+c*d*b*a*c*a*b*a*c*d+b*a*c*d*b*c*a*b*a*d-a*c*d*b*a*c*a*b*a*d, -d*b*a*c*a*b*d*a*c*a-d*a*b*a*d*c*a*b*a*c-b*a*d*b*c*a*b*d*a*c-a*d*b*a*c*a*b*d*a*c, -d*b*a*c*a*b*d*a*c*b-c*a*b*d*b*a*c*a*b*d-b*a*c*a*d*b*a*c*b*d-a*c*a*b*d*b*a*c*b*d, d*b*a*c*b*a*d*a*b*a+c*d*b*a*c*b*a*d*a*b, d*b*c*a*b*a*c*d*a*b+d*b*a*c*b*a*d*a*b*c-d*a*b*c*a*b*a*c*d*a+c*b*a*d*a*b*c*a*b*d-b*a*d*a*c*a*b*a*c*d-a*d*a*b*c*a*b*a*c*d, d*b*c*a*b*a*d*a*c*a+b*d*b*c*a*b*a*d*a*c, -d*b*c*a*b*a*d*a*c*b-d*b*a*c*a*b*a*d*a*c+d*a*b*a*c*a*b*a*d*a-c*a*d*a*b*a*c*a*b*d-b*c*a*d*a*b*a*c*b*d+a*d*a*b*a*c*a*b*a*d, % 11 d*a*b*a*c*a*b*d*a*c*b-c*d*a*b*a*c*a*b*d*c*b+b*c*d*a*b*a*c*b*d*c*b, -d*a*b*a*c*a*d*b*a*c*a+a*c*d*a*b*a*c*a*d*c*a-a*b*c*d*a*b*a*c*d*c*a, d*a*b*a*c*b*a*d*a*b*a-c*d*a*b*a*c*b*a*d*a*b+a*b*c*b*a*d*a*b*a*c*d-a*b*a*c*b*a*d*a*b*a*c, -d*a*b*c*a*b*a*c*d*a*b-d*a*b*a*c*b*a*d*a*b*c+c*b*a*d*a*b*c*a*b*d*b-b*a*d*a*c*a*b*a*c*d*b-b*a*c*d*a*b*a*c*b*d*c-a*d*a*b*c*a*b*a*c*d*b-a*d*a*b*a*c*a*d*b*a*c+a*c*d*a*b*a*c*b*a*d*c, d*a*b*c*a*b*a*d*a*c*a-b*d*a*b*c*a*b*a*d*a*c-a*b*c*b*a*d*a*c*a*b*d-a*b*c*a*b*a*d*a*c*a*b, -d*a*b*c*a*b*a*d*a*c*b-d*a*b*a*c*a*b*a*d*a*c+c*a*d*a*b*a*c*a*b*d*c-c*a*b*d*a*b*c*a*b*d*b+b*c*a*d*a*b*a*c*b*d*c-a*d*a*b*a*c*d*c*a*b*a-a*d*a*b*a*c*a*b*a*d*c+a*c*d*a*b*a*c*a*b*a*c+a*b*d*a*b*c*a*b*a*d*b, d*a*b*c*a*b*a*d*b*c*a-d*a*b*a*c*a*b*a*d*b*a+c*b*d*a*b*a*c*b*a*d*a-b*d*a*b*a*c*a*b*a*d*a-a*b*c*b*d*a*b*a*c*a*d, d*a*b*c*a*b*a*d*b*c*b+d*a*b*a*c*d*c*a*b*a*c-b*d*a*b*c*a*b*a*d*b*c-a*b*d*a*c*a*b*a*d*b*c, d*a*b*c*a*b*d*b*a*c*a+d*a*b*a*c*a*b*d*b*a*c-b*d*a*b*a*c*a*b*d*a*c+a*b*c*d*a*b*a*c*a*d*c, d*a*b*c*a*b*d*b*a*c*b+d*a*b*a*c*a*b*d*a*c*a-c*d*a*b*a*c*a*b*d*c*a+c*b*d*a*b*c*a*b*d*b*a+c*a*b*d*a*c*a*b*d*b*a-b*d*a*b*c*a*b*d*b*a*c+b*c*d*a*b*a*c*b*d*c*a-a*b*d*a*c*a*b*d*b*a*c, d*a*c*a*b*a*c*d*b*c*b-c*d*a*c*a*b*a*c*d*b*c+b*c*d*a*b*a*c*a*b*d*b-b*c*b*d*a*b*a*c*a*b*d-b*c*a*b*d*a*b*a*c*a*d+b*a*c*a*b*d*a*b*a*c*d-a*c*d*a*c*a*b*a*d*b*c-a*b*c*d*a*b*a*c*a*d*b+a*b*c*b*d*a*b*a*c*a*b-a*b*c*a*d*a*b*a*c*a*d+a*b*c*a*b*d*a*b*a*c*a-a*b*a*c*a*b*d*a*b*a*c, d*a*c*a*b*a*d*b*a*c*a-d*a*b*a*c*a*b*a*d*b*c+c*b*d*a*b*a*c*b*a*d*c-b*d*a*b*a*c*a*b*a*d*c+a*c*b*d*a*b*a*c*a*d*c, -d*a*c*a*b*a*d*b*a*c*b-c*b*a*d*a*c*a*b*d*b*a-b*a*d*a*c*a*b*a*d*b*a+a*d*a*c*a*b*a*d*b*a*c, d*b*a*c*a*b*a*d*a*b*a-c*b*d*b*a*c*b*a*d*a*b-c*a*b*d*a*b*c*a*b*d*a+c*a*b*a*d*a*b*c*a*b*a-b*d*b*a*c*a*b*a*d*a*b+b*c*a*b*d*a*b*c*a*b*d-b*c*a*b*a*d*a*b*c*a*b+a*b*d*a*b*c*a*b*a*d*a-a*b*c*b*a*d*a*c*a*b*d-a*b*c*a*b*a*d*a*c*a*b-a*b*a*d*a*b*c*a*b*a*d, d*b*a*c*a*b*a*d*a*c*a+d*a*b*a*c*d*c*a*b*a*c-b*a*d*b*c*a*b*a*d*a*c-a*d*b*a*c*a*b*a*d*a*c, d*b*a*c*a*b*a*d*a*c*b-d*a*b*a*c*a*b*a*d*a*b+c*a*d*a*b*a*c*a*b*d*b-b*a*c*a*d*a*b*a*c*b*d-a*d*a*b*a*c*a*b*a*d*b, d*b*a*c*b*a*d*a*b*c*a-d*a*b*a*c*a*d*b*a*c*b+c*b*a*d*a*b*c*a*b*d*a+c*a*d*b*a*c*b*a*d*a*b-b*a*d*a*b*c*a*b*d*a*c+b*a*c*a*b*d*a*c*a*b*d-a*d*b*a*c*b*a*d*a*b*c+a*c*d*a*b*a*c*a*d*c*b-a*c*b*a*d*a*b*c*a*b*d-a*b*c*d*a*b*a*c*d*c*b, d*b*a*c*b*a*d*a*b*c*b+d*a*b*a*c*b*a*d*a*b*c+b*a*c*d*a*b*a*c*b*d*c+a*d*a*b*a*c*a*d*b*a*c-a*c*d*a*b*a*c*b*a*d*c, d*b*c*a*b*a*c*d*a*c*a-c*d*b*c*a*b*a*c*d*a*c-b*c*d*b*c*a*b*a*d*a*c-b*a*c*d*a*b*a*c*b*d*a-b*a*c*b*d*a*b*a*c*b*d+b*a*c*b*a*d*a*b*a*c*b+b*a*c*a*d*a*b*a*c*b*a+a*c*d*a*b*a*c*b*a*d*a-a*c*b*a*d*a*b*a*c*b*d-a*c*a*d*a*b*a*c*b*a*d+a*b*c*b*a*d*a*b*a*c*d-a*b*a*c*b*a*d*a*b*a*c, % 12 -d*a*b*a*c*a*b*a*d*a*b*a+c*b*d*a*b*a*c*b*a*d*a*b+c*b*a*d*a*b*a*c*a*d*b*a+c*a*d*a*b*a*c*a*b*d*b*a-c*a*b*d*a*b*a*c*a*b*d*a-c*a*b*a*d*a*b*a*c*a*b*a-b*d*a*b*a*c*a*b*a*d*a*b+b*c*b*a*d*a*b*a*c*a*d*b+b*c*a*d*a*b*a*c*a*b*d*b-b*c*a*b*d*a*b*a*c*a*b*d-b*c*a*b*a*d*a*b*a*c*a*b-b*a*d*a*b*a*c*a*b*a*d*b+b*a*c*b*d*a*b*a*c*b*a*d+b*a*c*a*b*d*a*b*a*c*b*d-b*a*c*a*b*a*d*a*b*a*c*b-a*d*a*b*a*c*a*b*a*d*b*a+a*c*b*d*a*b*a*c*b*a*d*a+a*c*a*b*d*a*b*a*c*b*d*a-a*c*a*b*a*d*a*b*a*c*b*a-a*b*d*a*b*a*c*a*b*a*d*a+a*b*c*b*a*d*a*b*a*c*a*d-a*b*c*a*b*a*d*a*b*a*c*a-a*b*a*d*a*b*a*c*a*b*a*d-a*b*a*c*a*b*a*d*a*b*a*c, d*a*b*a*c*a*b*a*d*a*c*b-c*a*d*a*b*a*c*a*b*d*c*b-b*c*a*d*a*b*a*c*b*d*c*b+a*d*a*b*a*c*a*b*a*d*c*b, -d*a*b*a*c*a*b*a*d*b*c*a+c*b*d*a*b*a*c*b*a*d*c*a-b*d*a*b*a*c*a*b*a*d*c*a+a*c*b*d*a*b*a*c*a*d*c*a, d*a*b*a*c*a*b*d*a*c*a*b-c*d*a*b*a*c*a*b*d*c*a*b+b*d*a*b*a*c*a*b*d*a*c*a+b*c*d*a*b*a*c*b*d*c*a*b-b*c*d*a*b*a*c*a*b*d*c*a, -d*a*b*a*c*a*b*d*b*a*c*a+b*d*a*b*a*c*a*b*d*a*c*a-a*b*c*d*a*b*a*c*a*d*c*a, d*a*b*a*c*a*d*b*a*c*b*a+a*d*a*b*a*c*a*d*b*a*c*b-a*c*d*a*b*a*c*a*d*c*b*a+a*b*c*d*a*b*a*c*d*c*b*a, -d*a*b*a*c*b*a*d*a*b*c*b-b*a*c*d*a*b*a*c*b*d*c*b-a*d*a*b*a*c*a*d*b*a*c*b+a*c*d*a*b*a*c*b*a*d*c*b, d*a*b*c*a*b*a*c*d*a*c*a+c*d*a*b*c*a*b*a*c*d*a*c+c*b*a*d*a*b*a*c*b*d*c*b+c*a*d*a*b*a*c*b*a*d*c*b-c*a*d*a*b*a*c*a*d*c*b*a-b*c*d*a*b*c*a*b*a*d*a*c-b*c*b*a*d*a*b*a*c*d*c*b-b*c*a*d*a*b*a*c*d*c*b*a+b*a*d*a*b*a*c*b*d*c*b*a+a*d*a*b*a*c*b*a*d*c*b*a+a*b*c*b*a*d*a*c*a*b*a*d+a*b*c*a*b*a*c*d*a*c*a*b+a*b*a*c*b*a*d*a*c*a*b*a, d*a*b*c*a*b*a*c*d*b*c*b+d*a*b*a*c*a*d*c*a*b*a*c+c*d*a*b*c*a*b*a*c*d*b*c-b*c*d*a*b*c*a*b*a*d*b*c+a*b*c*d*a*c*a*b*a*d*b*c, d*a*b*c*a*b*a*d*b*a*c*a-d*a*b*a*c*a*b*a*d*b*a*c+c*b*a*d*a*b*a*c*b*a*d*c-b*d*a*b*a*c*a*b*a*d*a*c-b*c*b*a*d*a*b*a*c*a*d*c-a*b*c*b*d*a*b*a*c*a*d*c, -d*a*b*c*a*b*a*d*b*a*c*b+d*a*b*a*c*a*b*a*d*a*c*a-c*a*d*a*b*a*c*a*b*d*c*a+c*a*b*d*a*b*c*a*b*d*b*a-b*d*a*b*c*a*b*a*d*b*a*c-b*c*a*d*a*b*a*c*b*d*c*a+a*d*a*b*a*c*a*b*a*d*c*a-a*b*d*a*c*a*b*a*d*b*a*c-a*b*d*a*b*c*a*b*a*d*b*a, -d*a*c*a*b*a*c*d*b*a*c*b-c*d*a*c*a*b*a*c*d*b*a*c+c*a*b*a*d*a*c*a*b*d*b*a-b*c*d*a*c*a*b*a*c*d*b*a-b*c*d*a*b*c*a*b*d*b*a*c-b*a*c*d*a*c*a*b*a*d*b*a-a*c*d*a*c*a*b*a*d*b*a*c+a*b*c*d*a*c*a*b*d*b*a*c+a*b*a*c*d*a*c*a*b*d*b*a, -d*a*c*a*b*a*c*d*b*c*a*b-d*a*b*a*c*b*d*c*a*b*a*c-c*b*d*a*c*a*b*a*c*d*b*c+c*b*d*a*b*a*c*a*b*d*b*a+c*a*b*a*c*d*a*b*a*c*a*d-b*d*a*c*a*b*a*c*d*b*c*a+a*c*b*d*a*c*a*b*a*d*b*c+a*c*a*b*a*c*d*a*b*a*c*a, -d*b*a*c*a*b*a*c*d*a*b*a-d*a*b*a*c*a*b*d*b*a*c*b+c*a*b*d*b*a*c*b*a*d*a*b-b*d*b*a*c*a*b*a*c*d*a*b+b*c*d*a*b*a*c*a*b*d*c*b+a*b*d*b*a*c*b*a*d*a*b*c-a*b*d*a*b*c*a*b*a*c*d*a-a*b*c*d*a*b*a*c*a*d*c*b+a*b*c*b*a*d*a*b*c*a*b*d-a*b*a*d*a*b*c*a*b*a*c*d, d*b*a*c*a*b*a*c*d*a*c*a+d*a*b*a*c*b*d*c*a*b*a*c+c*d*b*a*c*a*b*a*c*d*a*c+b*a*c*d*b*c*a*b*a*d*a*c-a*c*d*b*a*c*a*b*a*d*a*c, -d*b*a*c*a*b*a*d*a*b*c*a+d*a*b*a*c*a*b*a*d*b*c*b-c*b*d*a*b*a*c*b*a*d*c*b+c*b*a*d*b*a*c*b*a*d*a*b+b*d*a*b*a*c*a*b*a*d*c*b-b*a*d*b*a*c*a*b*a*d*a*b+b*a*d*a*b*c*a*b*a*d*a*c+b*a*c*a*b*d*a*b*c*a*b*d-b*a*c*a*b*a*d*a*b*c*a*b-a*d*b*a*c*a*b*a*d*a*b*c-a*c*b*d*a*b*a*c*a*d*c*b, d*b*a*c*a*b*a*d*a*b*c*b-d*a*b*a*c*a*b*a*d*a*b*c+c*a*b*d*a*b*a*c*a*b*d*c-b*a*c*a*d*a*b*a*c*b*d*c-a*d*a*b*a*c*a*b*a*d*b*c-a*c*a*b*d*a*b*a*c*b*d*c, -d*b*c*a*b*a*c*d*a*c*b*a-d*a*b*a*c*a*d*c*a*b*a*c-c*a*d*b*c*a*b*a*c*d*a*c+c*a*d*a*b*a*c*b*a*d*a*b+c*a*b*a*c*d*a*b*a*c*b*d+b*c*a*d*b*c*a*b*a*d*a*c+b*c*a*b*a*c*d*a*b*a*c*b-a*d*b*c*a*b*a*c*d*a*c*b, % 13 d*a*b*a*c*a*b*a*d*a*b*c*b-c*a*b*d*a*b*a*c*a*b*d*c*b+b*a*c*a*d*a*b*a*c*b*d*c*b+a*d*a*b*a*c*a*b*a*d*b*c*b+a*c*a*b*d*a*b*a*c*b*d*c*b, -d*a*b*a*c*a*b*a*d*a*c*a*b+c*a*d*a*b*a*c*a*b*d*c*a*b+b*d*a*b*a*c*a*b*a*d*a*c*a+b*c*a*d*a*b*a*c*b*d*c*a*b-b*c*a*d*a*b*a*c*a*b*d*c*a+b*a*d*a*b*a*c*a*b*a*d*c*a-a*d*a*b*a*c*a*b*a*d*c*a*b, -d*a*b*a*c*a*b*a*d*b*a*c*a+c*b*a*d*a*b*a*c*b*a*d*c*a-b*d*a*b*a*c*a*b*a*d*a*c*a-b*c*b*a*d*a*b*a*c*a*d*c*a-a*b*c*b*d*a*b*a*c*a*d*c*a, d*a*b*a*c*a*b*a*d*b*c*b*a-c*b*d*a*b*a*c*b*a*d*c*b*a+b*d*a*b*a*c*a*b*a*d*c*b*a-a*d*a*b*a*c*a*b*a*d*b*c*b+a*c*b*d*a*b*a*c*b*a*d*c*b-a*c*b*d*a*b*a*c*a*d*c*b*a-a*b*d*a*b*a*c*a*b*a*d*c*b, d*a*b*a*c*a*b*d*b*a*c*b*a-b*d*a*b*a*c*a*b*d*b*a*c*b-b*c*d*a*b*a*c*a*b*d*c*b*a-a*b*d*a*b*a*c*a*d*b*a*c*b+a*b*c*d*a*b*a*c*a*d*c*b*a, -d*a*b*a*c*a*d*b*a*c*b*d*a+d*a*b*a*c*a*b*d*b*a*c*b*d-a*d*a*b*a*c*a*b*d*b*a*c*b-a*c*d*a*b*a*c*a*b*d*c*b*a+a*b*c*d*a*b*a*c*b*d*c*b*a, d*a*b*a*c*b*a*d*a*b*c*a*b+b*a*d*a*b*a*c*a*b*d*a*c*a+b*a*c*d*a*b*a*c*b*d*c*a*b-b*a*c*d*a*b*a*c*a*b*d*c*a-a*d*a*b*a*c*b*a*d*a*b*c*a-a*c*d*a*b*a*c*b*a*d*c*a*b, -d*a*b*a*c*b*a*d*a*b*c*a*d-d*a*b*a*c*a*b*d*a*c*a*d*b-c*d*a*b*a*c*a*b*a*d*c*a*b+b*d*a*b*a*c*b*a*d*a*b*c*a+b*c*d*a*b*a*c*b*a*d*c*a*b, -d*a*b*c*a*b*a*c*d*b*a*c*b-d*a*b*c*a*b*a*c*d*a*c*b*a+c*d*a*b*c*a*b*a*c*d*b*a*c-b*c*d*a*b*c*a*b*a*d*b*a*c+a*b*c*d*a*c*a*b*a*d*b*a*c, -d*a*b*c*a*b*a*c*d*b*c*a*b-d*a*b*a*c*b*a*d*c*a*b*a*c-c*b*a*d*a*c*a*b*a*c*d*b*c+c*b*a*d*a*b*a*c*a*b*d*b*a-c*a*d*a*b*c*a*b*a*c*d*b*c-c*a*b*a*d*a*b*a*c*a*b*d*a-b*c*b*a*d*a*c*a*b*a*d*b*c-b*c*a*d*a*b*c*a*b*a*d*b*c+b*a*d*a*c*a*b*a*c*d*b*c*a+a*d*a*b*c*a*b*a*c*d*b*c*a-a*c*a*b*a*d*a*b*a*c*b*d*a-a*b*c*b*d*a*c*a*b*a*d*b*c, -d*b*a*c*a*b*a*c*d*a*b*c*a-d*a*c*a*b*a*c*d*b*a*c*a*b+c*d*b*a*c*a*b*a*c*d*a*b*c+c*a*b*a*d*b*a*c*b*a*d*a*b-b*c*d*b*a*c*a*b*a*c*d*a*b+b*a*c*d*b*a*c*a*b*a*d*a*b-b*a*c*d*a*b*c*a*b*a*d*a*c-b*a*c*b*a*d*a*b*a*c*d*c*b-b*a*c*a*d*a*b*a*c*d*c*b*a+b*a*c*a*b*d*a*b*c*a*b*a*d+b*a*c*a*b*a*c*d*a*b*c*a*b-a*c*d*b*a*c*a*b*a*d*a*b*c-a*b*c*d*b*a*c*b*a*d*a*b*c+a*b*c*d*a*b*c*a*b*a*c*d*a+a*b*c*b*a*d*a*c*a*b*a*c*d+a*b*c*a*d*a*b*c*a*b*a*c*d+a*b*a*c*d*b*a*c*b*a*d*a*b-a*b*a*c*a*b*d*a*b*c*a*b*a, -d*b*a*c*a*b*a*c*d*a*c*b*a-d*a*b*a*c*a*b*d*c*a*b*a*c-c*b*d*b*a*c*a*b*a*c*d*a*c-c*a*b*d*b*c*a*b*a*c*d*a*c+c*a*b*d*a*b*a*c*b*a*d*a*b+c*a*b*a*d*a*b*a*c*a*d*b*a-c*a*b*a*c*d*a*b*a*c*b*a*d+b*d*b*a*c*a*b*a*c*d*a*c*b-b*c*a*b*a*d*a*b*a*c*a*d*b-b*a*c*a*d*b*c*a*b*a*d*a*c-a*c*b*d*b*a*c*a*b*a*d*a*c-a*c*a*b*d*b*c*a*b*a*d*a*c+a*b*d*b*c*a*b*a*c*d*a*c*b, % 14 -d*a*b*a*c*a*b*a*c*d*a*b*a*c-c*d*a*b*a*c*a*b*a*c*d*a*b*a+c*b*d*a*b*a*c*a*b*a*c*d*a*b-c*b*a*d*a*b*a*c*a*b*a*c*d*b+c*a*d*a*b*a*c*a*b*a*c*d*b*a-c*a*b*d*a*b*a*c*a*b*a*c*d*a+c*a*b*a*d*a*b*a*c*a*b*a*c*d+b*d*a*b*a*c*a*b*a*c*d*a*b*c-b*a*d*a*b*a*c*a*b*a*c*d*b*c+a*d*a*b*a*c*a*b*a*c*d*b*a*c-a*b*d*a*b*a*c*a*b*a*c*d*a*c+a*b*a*d*a*b*a*c*a*b*a*c*d*c, -d*a*b*a*c*a*b*a*c*d*a*c*a*b+c*d*a*b*a*c*a*b*a*c*d*a*c*b-c*a*d*a*b*a*c*a*b*a*c*d*c*b-b*d*a*b*a*c*a*b*a*c*d*a*c*a+b*c*d*a*b*a*c*a*b*a*c*d*a*c-b*c*a*d*a*b*a*c*a*b*a*c*d*c+b*a*d*a*b*a*c*a*b*a*c*d*c*a-b*a*c*d*a*b*a*c*a*b*a*c*d*a+b*a*c*a*d*a*b*a*c*a*b*a*c*d+a*d*a*b*a*c*a*b*a*c*d*c*a*b-a*c*d*a*b*a*c*a*b*a*c*d*a*b+a*c*a*d*a*b*a*c*a*b*a*c*d*b, d*a*b*a*c*a*b*a*c*d*b*c*b*a-c*d*a*b*a*c*a*b*a*c*d*b*c*a+c*b*d*a*b*a*c*a*b*a*c*d*c*a-b*d*a*b*a*c*a*b*a*c*d*c*b*a+b*c*d*a*b*a*c*a*b*a*c*d*b*a-b*c*b*d*a*b*a*c*a*b*a*c*d*a+a*d*a*b*a*c*a*b*a*c*d*b*c*b-a*c*d*a*b*a*c*a*b*a*c*d*b*c+a*c*b*d*a*b*a*c*a*b*a*c*d*c-a*b*d*a*b*a*c*a*b*a*c*d*c*b+a*b*c*d*a*b*a*c*a*b*a*c*d*b-a*b*c*b*d*a*b*a*c*a*b*a*c*d, d*a*b*a*c*a*b*a*d*a*b*c*a*b-c*a*b*d*a*b*a*c*a*b*d*c*a*b+b*a*d*a*b*a*c*a*b*a*d*a*c*a+b*a*c*a*d*a*b*a*c*b*d*c*a*b-b*a*c*a*d*a*b*a*c*a*b*d*c*a+a*d*a*b*a*c*a*b*a*d*a*b*c*a+a*c*b*d*a*b*a*c*b*a*d*c*a*b+a*c*a*b*d*a*b*a*c*b*d*c*a*b-a*c*a*b*d*a*b*a*c*a*b*d*c*a-a*b*d*a*b*a*c*a*b*a*d*c*a*b, -d*a*b*a*c*a*b*a*d*b*a*c*b*a+c*b*a*d*a*b*a*c*b*a*d*c*b*a-b*d*a*b*a*c*a*b*a*d*b*a*c*b+b*c*b*a*d*a*b*a*c*b*a*d*c*b-b*c*b*a*d*a*b*a*c*a*d*c*b*a-b*c*a*d*a*b*a*c*a*b*d*c*b*a+b*a*d*a*b*a*c*a*b*a*d*c*b*a-a*b*d*a*b*a*c*a*b*a*d*b*c*b+a*b*c*b*d*a*b*a*c*b*a*d*c*b-a*b*c*b*d*a*b*a*c*a*d*c*b*a, -d*a*b*a*c*a*b*d*a*c*a*d*b*a+d*a*b*a*c*a*b*a*c*d*a*b*a*d-c*d*a*b*a*c*a*b*a*d*c*a*b*a+b*c*d*a*b*a*c*b*a*d*c*a*b*a, -d*a*b*a*c*a*b*d*b*a*c*b*d*a+a*b*d*a*b*a*c*a*b*d*b*a*c*b+a*b*c*d*a*b*a*c*a*b*d*c*b*a, -d*a*b*c*a*b*a*c*d*a*c*b*a*d-d*a*b*a*c*a*b*a*d*a*c*a*d*b-c*a*d*a*b*a*c*a*b*a*d*c*a*b+c*a*b*a*d*a*b*c*a*b*a*d*b*a-b*d*a*b*c*a*b*a*c*d*a*c*b*a-b*c*a*d*a*b*a*c*b*a*d*c*a*b-b*c*a*b*a*d*a*b*c*a*b*d*b*a, -d*a*c*a*b*a*c*d*b*a*c*a*b*a-c*d*a*c*a*b*a*c*d*b*a*c*a*b+b*c*d*a*b*a*c*a*b*d*b*a*c*b-a*c*d*a*b*a*c*a*b*a*d*b*c*b-a*c*b*d*a*b*a*c*a*b*a*d*c*b-a*b*c*d*a*b*a*c*a*d*b*a*c*b, d*a*c*a*b*a*c*d*b*a*c*a*b*d+d*a*b*a*c*a*b*a*d*b*c*b*d*a+c*b*d*a*b*a*c*a*b*a*d*c*b*a+a*d*a*c*a*b*a*c*d*b*a*c*a*b+a*c*b*d*a*b*a*c*a*b*d*c*b*a, d*b*a*c*a*b*a*c*d*a*b*c*b*d-d*a*b*a*c*a*b*a*c*d*a*b*c*b+a*d*a*b*a*c*a*b*a*c*d*b*c*b, % 15 d*a*b*a*c*a*b*a*c*d*a*b*c*a*b+c*d*a*b*a*c*a*b*a*c*d*a*b*c*b-c*a*d*a*b*a*c*a*b*a*c*d*b*c*b+b*a*d*a*b*a*c*a*b*a*c*d*a*c*a-b*a*c*d*a*b*a*c*a*b*a*c*d*a*c+b*a*c*a*d*a*b*a*c*a*b*a*c*d*c-a*d*a*b*a*c*a*b*a*c*d*b*c*a*b-a*d*a*b*a*c*a*b*a*c*d*a*b*c*a-a*c*d*a*b*a*c*a*b*a*c*d*a*b*c+a*c*a*d*a*b*a*c*a*b*a*c*d*b*c, -d*a*b*a*c*a*b*a*c*d*a*b*c*b*d+a*d*a*b*a*c*a*b*a*c*d*b*c*b*d, -d*a*b*a*c*a*b*a*c*d*b*a*c*b*a-c*d*a*b*a*c*a*b*a*c*d*b*a*c*a+c*b*d*a*b*a*c*a*b*a*c*d*a*c*a+b*d*a*b*a*c*a*b*a*c*d*b*a*c*b+b*d*a*b*a*c*a*b*a*c*d*a*c*b*a+b*c*d*a*b*a*c*a*b*a*c*d*b*a*c-b*c*b*d*a*b*a*c*a*b*a*c*d*a*c-a*b*d*a*b*a*c*a*b*a*c*d*b*c*b+a*b*c*d*a*b*a*c*a*b*a*c*d*b*c-a*b*c*b*d*a*b*a*c*a*b*a*c*d*c, d*a*b*a*c*a*b*a*c*d*b*c*a*b*a-c*d*a*b*a*c*a*b*a*c*d*b*c*a*b+c*b*d*a*b*a*c*a*b*a*c*d*c*a*b-b*d*a*b*a*c*a*b*a*c*d*c*a*b*a+b*c*d*a*b*a*c*a*b*a*c*d*a*b*a-b*c*b*d*a*b*a*c*a*b*a*c*d*a*b-a*c*d*a*b*a*c*a*b*a*c*d*b*c*b+a*c*b*d*a*b*a*c*a*b*a*c*d*c*b-a*b*c*b*d*a*b*a*c*a*b*a*c*d*b, -d*a*b*a*c*a*b*a*d*a*c*a*d*b*a+d*a*b*a*c*a*b*a*c*d*a*c*b*a*d-c*a*d*a*b*a*c*a*b*a*d*c*a*b*a-b*c*a*d*a*b*a*c*b*a*d*c*a*b*a, -d*a*b*c*a*b*a*c*d*b*a*c*a*b*a+c*d*a*b*c*a*b*a*c*d*b*a*c*a*b-b*c*d*a*b*a*c*a*b*a*d*b*a*c*b+b*c*b*a*d*a*b*a*c*a*b*a*d*c*b+a*b*c*d*a*b*a*c*a*b*a*d*b*c*b+a*b*c*b*d*a*b*a*c*a*b*a*d*c*b, d*a*b*c*a*b*a*c*d*b*a*c*a*b*d+d*a*b*a*c*a*b*a*d*b*a*c*b*d*a-d*a*b*a*c*a*b*a*c*d*a*c*a*d*b+c*b*a*d*a*b*a*c*a*b*a*d*c*b*a-b*d*a*b*c*a*b*a*c*d*b*a*c*a*b-b*c*b*a*d*a*b*a*c*a*b*d*c*b*a-a*b*d*a*c*a*b*a*c*d*b*a*c*a*b-a*b*c*b*d*a*b*a*c*a*b*d*c*b*a, -d*b*a*c*a*b*a*c*d*a*b*c*b*a*d-d*a*b*a*c*a*b*a*d*a*b*c*a*d*b+d*a*b*a*c*a*b*a*c*d*b*c*b*d*a-c*a*b*d*a*b*a*c*a*b*a*d*c*a*b+b*a*d*a*b*c*a*b*a*c*d*a*c*b*a+b*a*c*a*d*a*b*a*c*b*a*d*c*a*b+b*a*c*a*b*a*d*a*b*c*a*b*d*b*a+a*d*b*a*c*a*b*a*c*d*a*b*c*b*a+a*c*a*b*d*a*b*a*c*b*a*d*c*a*b, % 16 -d*a*b*a*c*a*b*a*c*d*b*a*c*a*b*a-c*d*a*b*a*c*a*b*a*c*d*b*a*c*a*b+c*b*a*d*a*b*a*c*a*b*a*c*d*c*a*b+b*c*d*a*b*a*c*a*b*a*c*d*b*a*c*b+b*c*d*a*b*a*c*a*b*a*c*d*a*c*b*a-b*c*b*a*d*a*b*a*c*a*b*a*c*d*c*b-b*c*a*d*a*b*a*c*a*b*a*c*d*c*b*a+b*a*d*a*b*a*c*a*b*a*c*d*c*a*b*a-b*a*c*d*a*b*a*c*a*b*a*c*d*a*b*a+b*a*c*b*d*a*b*a*c*a*b*a*c*d*a*b-b*a*c*b*a*d*a*b*a*c*a*b*a*c*d*b+b*a*c*a*d*a*b*a*c*a*b*a*c*d*b*a+a*c*b*a*d*a*b*a*c*a*b*a*c*d*a*b+a*b*c*d*a*b*a*c*a*b*a*c*d*b*c*b-a*b*c*b*d*a*b*a*c*a*b*a*c*d*c*b, -d*a*b*a*c*a*b*a*d*a*b*c*a*d*b*a-d*a*b*a*c*a*b*a*c*d*a*b*c*b*a*d-c*a*b*d*a*b*a*c*a*b*a*d*c*a*b*a+b*a*c*a*d*a*b*a*c*b*a*d*c*a*b*a+a*c*a*b*d*a*b*a*c*b*a*d*c*a*b*a,