% 2
y*x+x*y,
   -z*x+y*y-x*z,
   -u*x+z*y+y*z-x*u,
   -v*x+u*y+y*u-x*v,
   -v*y+u*z+z*u-y*v,
   -v*z+u*u-z*v,
   v*u+u*v,
   v*v+x*x,
   
% 3
z*y*y-y*y*z,
   2*u*y*y+z*z*y-y*z*z-2*y*y*u,
   u*y*z-z*u*y-z*y*u+y*u*z,
   2*u*u*y+u*z*z-z*z*u-2*y*u*u,
   -u*u*z+z*u*u,
   
% 4
u*z*z*y+2*u*z*y*z+2*z*u*z*y+3*z*z*u*y+2*z*z*y*u-4*z*y*u*z-2*z*y*z*u-y*u*z*z-2*y*
z*u*z-y*z*z*u,
   2*u*z*u*y+u*z*z*z+2*u*z*y*u-2*u*y*u*z-z*z*u*z-2*y*z*u*u,
   
% 5
4*u*z*y*z*y-3*z*z*z*z*y-2*z*z*z*y*z+4*z*z*y*u*y+2*z*z*y*z*z-8*z*y*u*z*y-4*z*y*z*
u*y+2*z*y*z*z*z+4*y*u*z*y*z+4*y*z*z*u*y+y*z*z*z*z+4*y*z*z*y*u-8*y*z*y*u*z-4*y*z*
y*z*u+4*y*y*z*z*u,
   -u*z*y*z*z+z*z*u*z*y-z*z*z*y*u-z*z*y*u*z-z*z*y*z*u+z*y*u*z*z+y*u*z*z*z+y*z*u*
z*z,
   2*u*z*y*u*y-2*u*y*u*z*y-z*z*z*y*u-z*z*y*u*z-2*z*z*y*z*u+z*y*u*z*z+y*u*z*z*z+2
*y*z*u*z*z-2*y*z*y*u*u+2*y*y*u*z*u,
   2*u*z*z*u*y+u*z*z*z*z-4*u*z*y*z*u-2*u*y*u*z*z-4*z*u*z*y*u-z*z*u*z*z-6*z*z*u*y
*u-4*z*z*y*u*u+8*z*y*u*z*u+4*z*y*z*u*u+2*y*u*z*z*u+4*y*z*u*z*u,
   4*u*z*u*z*y-3*u*z*z*z*z-8*u*z*y*u*z+4*u*y*u*z*z-2*z*u*z*z*z+4*z*u*z*y*u-4*z*u
*y*u*z+2*z*z*u*z*z+4*z*z*u*y*u+2*z*z*z*u*z+z*z*z*z*u+4*z*z*y*u*u-8*z*y*u*z*u-4*z
*y*z*u*u+4*y*u*z*u*z-4*y*z*u*z*u+4*y*z*z*u*u,
   
% 6
-z*z*z*y*z*y-z*z*y*z*y*z+2*z*y*z*z*z*y+2*z*y*z*z*y*z-z*y*z*y*z*z+y*z*z*z*z*y+2*y
*z*z*z*y*z-y*z*y*z*z*z-3*y*y*z*z*z*z,
   4*u*z*y*z*u*y-4*u*y*u*z*y*z+3*z*z*z*z*y*u-2*z*z*z*y*u*z+2*z*z*z*y*z*u-2*z*z*y
*u*z*z-4*z*z*y*u*y*u-2*z*z*y*z*u*z-2*z*z*y*z*z*u+2*z*y*u*z*z*z+8*z*y*u*z*y*u+4*z
*y*z*u*y*u-2*z*y*z*z*z*u+2*y*u*z*z*z*z-4*y*u*z*y*z*u+4*y*z*u*z*z*z-4*y*z*z*u*y*u
-2*y*z*z*z*u*z-y*z*z*z*z*u-4*y*z*z*y*u*u+8*y*z*y*u*z*u-4*y*y*z*z*u*u,
   -3*u*z*z*z*z*y-2*u*z*z*z*y*z-8*u*z*y*u*z*y-8*u*y*u*z*y*z-2*z*u*z*z*z*y-8*z*u*
y*u*z*y-2*z*z*u*z*y*z-8*z*z*u*y*u*y-2*z*z*z*u*z*y-5*z*z*z*z*u*y+2*z*z*z*z*y*u+4*
z*z*z*y*z*u-8*z*z*y*u*y*u-4*z*z*y*z*u*z-8*z*z*y*z*z*u+4*z*y*u*z*z*z+8*z*y*u*z*y*
u+8*z*y*u*y*u*z+2*z*y*z*u*z*z+8*z*y*z*u*y*u+4*z*y*z*z*u*z-2*z*y*z*z*z*u+5*y*u*z*
z*z*z+8*y*u*z*y*u*z+10*y*z*u*z*z*z+8*y*z*u*y*u*z-2*y*z*z*z*u*z+y*z*z*z*z*u+8*y*z
*y*u*z*u-8*y*y*z*z*u*u,
   2*u*z*z*z*u*y+u*z*z*z*z*z+2*u*z*z*z*y*u-2*u*y*u*z*z*z-z*z*u*z*z*z-2*y*z*z*z*u
*u,
   -2*u*z*z*u*z*y+2*u*z*z*z*y*u-2*u*z*y*u*z*z-4*u*z*y*z*u*z-2*u*y*u*z*z*z-z*u*z*
z*z*z-4*z*u*z*y*u*z-4*z*u*z*y*z*u-2*z*u*y*u*z*z-4*z*z*u*z*y*u-6*z*z*u*y*u*z+z*z*
z*u*z*z-6*z*z*z*u*y*u-2*z*z*z*y*u*u+6*z*z*y*u*z*u+8*z*y*u*z*u*z+4*z*y*u*z*z*u+4*
z*y*z*u*z*u+4*z*y*z*z*u*u+2*y*u*z*u*z*z+2*y*u*z*z*u*z-2*y*u*z*z*z*u+4*y*z*u*z*u*
z+2*y*z*z*u*z*u+2*y*z*z*z*u*u,
   -u*z*u*z*z*z+2*u*z*z*z*u*z+u*z*z*z*z*u-z*u*z*u*z*z+2*z*u*z*z*u*z+2*z*u*z*z*z*
u-z*z*u*z*u*z-z*z*z*u*z*u-3*z*z*z*z*u*u,
   
% 7
-z*z*y*z*y*z*y+2*z*y*z*z*y*z*y-z*y*z*y*z*z*y-2*y*z*z*y*z*y*z+3*y*z*y*z*z*z*y+4*y
*z*y*z*z*y*z-2*y*z*y*z*y*z*z-y*y*z*z*z*z*y+3*y*y*z*z*z*y*z-5*y*y*y*z*z*z*z,
   z*z*z*y*z*z*y-z*z*y*z*z*y*z-z*y*z*z*z*z*y+z*y*z*z*y*z*z+y*z*z*z*z*y*z-y*z*z*y
*z*z*z,
   4*u*z*y*u*z*y*z-4*z*u*z*y*u*z*y+3*z*z*z*z*z*y*u-3*z*z*z*z*y*u*z+2*z*z*z*z*y*z
*u-4*z*z*z*y*u*y*u-4*z*z*z*y*z*u*z-4*z*z*z*y*z*z*u+4*z*z*y*u*z*y*u+4*z*z*y*z*z*u
*z+3*z*y*u*z*z*z*z+4*z*y*z*u*z*z*z-4*z*y*z*z*u*z*z+2*z*y*z*z*z*z*u+4*z*y*z*y*u*z
*u-3*y*u*z*z*z*z*z-4*y*u*z*y*u*z*z+4*y*u*y*u*z*z*z-2*y*z*u*z*z*z*z+4*y*z*z*u*z*z
*z-2*y*z*z*z*z*u*z-4*y*z*y*u*z*u*z,
   -u*z*z*z*y*z*z+z*z*u*z*z*z*y-z*z*z*z*z*y*u-z*z*z*z*y*u*z-z*z*z*z*y*z*u+z*z*z*
y*z*z*u+z*z*y*z*z*u*z+z*z*y*z*z*z*u+z*y*u*z*z*z*z-z*y*z*z*u*z*z+y*u*z*z*z*z*z+y*
z*u*z*z*z*z-y*z*z*u*z*z*z-y*z*z*z*u*z*z,
   2*u*z*z*z*y*u*y-2*u*y*u*z*z*z*y-z*z*z*z*z*y*u-z*z*z*z*y*u*z-z*z*z*z*y*z*u+z*z
*z*y*z*z*u+z*z*y*z*z*u*z+z*y*u*z*z*z*z-z*y*z*z*u*z*z+y*u*z*z*z*z*z+y*z*u*z*z*z*z
-y*z*z*u*z*z*z-2*y*z*z*z*y*u*u+2*y*y*u*z*z*z*u,
   6*u*z*z*z*z*u*y+3*u*z*z*z*z*z*z-4*u*z*z*z*y*z*u-16*u*z*y*u*z*y*u-6*u*y*u*z*z*
z*z-16*u*y*u*z*y*z*u-4*z*u*z*z*z*y*u-16*z*u*y*u*z*y*u-3*z*z*u*z*z*z*z-4*z*z*u*z*
y*z*u-16*z*z*u*y*u*y*u-4*z*z*z*u*z*y*u-10*z*z*z*z*u*y*u+4*z*z*z*z*y*u*u+8*z*z*z*
y*z*u*u-16*z*z*y*u*y*u*u-8*z*z*y*z*u*z*u-16*z*z*y*z*z*u*u+8*z*y*u*z*z*z*u+16*z*y
*u*z*y*u*u+16*z*y*u*y*u*z*u+4*z*y*z*u*z*z*u+16*z*y*z*u*y*u*u+8*z*y*z*z*u*z*u-4*z
*y*z*z*z*u*u+10*y*u*z*z*z*z*u+16*y*u*z*y*u*z*u+20*y*z*u*z*z*z*u+16*y*z*u*y*u*z*u
-4*y*z*z*z*u*z*u-4*y*z*z*z*z*u*u+16*y*z*y*u*z*u*u-16*y*y*z*z*u*u*u,
   12*u*z*z*z*u*z*y-9*u*z*z*z*z*z*z-12*u*z*z*z*y*u*z-4*u*z*z*z*y*z*u-12*u*z*y*u*
z*z*z+32*u*z*y*u*z*y*u-12*u*z*y*z*u*z*z+12*u*y*u*z*z*z*z+32*u*y*u*z*y*z*u-6*z*u*
z*z*z*z*z+8*z*u*z*z*z*y*u-12*z*u*z*y*u*z*z-12*z*u*y*u*z*z*z+32*z*u*y*u*z*y*u+6*z
*z*u*z*z*z*z+8*z*z*u*z*y*z*u-24*z*z*u*y*u*z*z+32*z*z*u*y*u*y*u+6*z*z*z*u*z*z*z+8
*z*z*z*u*z*y*u+3*z*z*z*z*u*z*z+20*z*z*z*z*u*y*u-8*z*z*z*z*y*u*u-16*z*z*z*y*z*u*u
+32*z*z*y*u*y*u*u+16*z*z*y*z*u*z*u+20*z*z*y*z*z*u*u+24*z*y*u*z*u*z*z-16*z*y*u*z*
z*z*u-32*z*y*u*z*y*u*u-32*z*y*u*y*u*z*u-8*z*y*z*u*z*z*u-32*z*y*z*u*y*u*u-16*z*y*
z*z*u*z*u+20*z*y*z*z*z*u*u+12*y*u*z*z*u*z*z+24*y*u*z*z*z*u*z-8*y*u*z*z*z*z*u-32*
y*u*z*y*u*z*u+24*y*z*u*z*z*u*z-16*y*z*u*z*z*z*u-32*y*z*u*y*u*z*u-12*y*z*z*u*z*u*
z-4*y*z*z*z*u*z*u-16*y*z*z*z*z*u*u-32*y*z*y*u*z*u*u+32*y*y*z*z*u*u*u,
   -u*z*z*u*z*z*z+u*z*z*z*z*u*z+z*u*z*z*u*z*z-z*u*z*z*z*z*u-z*z*u*z*z*u*z+z*z*z*
u*z*z*u,
   u*z*u*z*u*z*z-2*u*z*u*z*z*u*z+u*z*z*u*z*u*z-3*u*z*z*z*u*z*u+u*z*z*z*z*u*u+2*z
*u*z*u*z*z*u-4*z*u*z*z*u*z*u-3*z*u*z*z*z*u*u+2*z*z*u*z*u*z*u+5*z*z*z*z*u*u*u
,
   
% 8
-z*z*y*z*z*y*z*y+z*y*z*z*y*z*z*y+y*z*z*y*z*z*z*y+2*y*z*z*y*z*z*y*z+y*z*y*z*z*z*z
*y-2*y*z*y*z*z*y*z*z-y*y*z*z*z*z*y*z-y*y*z*z*z*y*z*z,
   12*u*z*z*z*y*z*u*y-12*u*y*u*z*z*z*y*z+12*z*z*z*z*z*z*y*u-6*z*z*z*z*z*y*u*z-6*
z*z*z*z*y*u*z*z-12*z*z*z*z*y*u*y*u-6*z*z*z*z*y*z*u*z-27*z*z*z*z*y*z*z*u+24*z*z*z
*y*u*z*y*u+12*z*z*z*y*z*u*y*u+6*z*z*z*y*z*z*u*z+6*z*z*z*y*z*z*z*u+12*z*z*y*u*z*y
*z*u+24*z*z*y*z*u*z*y*u+6*z*z*y*z*z*u*z*z+36*z*z*y*z*z*u*y*u+6*z*z*y*z*z*z*u*z+
30*z*z*y*z*z*z*z*u+12*z*z*y*z*z*y*u*u-24*z*z*y*z*y*u*z*u-12*z*z*y*z*y*z*u*u+6*z*
y*u*z*z*z*z*z+24*z*y*u*z*z*z*y*u-24*z*y*z*u*z*y*z*u-6*z*y*z*z*u*z*z*z-48*z*y*z*z
*u*z*y*u-48*z*y*z*z*z*u*y*u-6*z*y*z*z*z*z*z*u-24*z*y*z*z*z*y*u*u+48*z*y*z*z*y*u*
z*u+24*z*y*z*z*y*z*u*u+12*z*y*z*y*u*z*z*u+24*z*y*z*y*z*u*z*u+12*z*y*z*y*z*z*u*u+
6*y*u*z*z*z*z*z*z+4*y*u*z*z*z*y*z*u-32*y*u*z*y*u*z*y*u-32*y*u*y*u*z*y*z*u+6*y*z*
u*z*z*z*z*z+16*y*z*u*z*z*z*y*u-32*y*z*u*y*u*z*y*u-6*y*z*z*u*z*z*z*z-44*y*z*z*u*z
*y*z*u-32*y*z*z*u*y*u*y*u-56*y*z*z*z*u*z*y*u-80*y*z*z*z*z*u*y*u-6*y*z*z*z*z*z*u*
z-15*y*z*z*z*z*z*z*u-16*y*z*z*z*z*y*u*u+48*y*z*z*z*y*u*z*u+28*y*z*z*z*y*z*u*u+24
*y*z*z*y*u*z*z*u-32*y*z*z*y*u*y*u*u+8*y*z*z*y*z*u*z*u-32*y*z*z*y*z*z*u*u-8*y*z*y
*u*z*z*z*u+32*y*z*y*u*z*y*u*u+32*y*z*y*u*y*u*z*u-4*y*z*y*z*u*z*z*u+32*y*z*y*z*u*
y*u*u+40*y*z*y*z*z*u*z*u+4*y*z*y*z*z*z*u*u+8*y*y*u*z*z*z*z*u+32*y*y*u*z*y*u*z*u+
16*y*y*z*u*z*z*z*u+32*y*y*z*u*y*u*z*u-24*y*y*z*z*u*z*z*u-8*y*y*z*z*z*u*z*u+4*y*y
*z*z*z*z*u*u+32*y*y*z*y*u*z*u*u-32*y*y*y*z*z*u*u*u,
   -12*u*z*z*z*z*z*y*z+12*u*z*z*z*y*u*z*y+12*u*z*y*u*z*z*z*y-24*u*z*y*z*u*z*y*z+
12*u*y*u*z*z*z*y*z-12*z*u*z*z*z*z*z*y-24*z*u*z*y*z*u*z*y+12*z*u*y*u*z*z*z*y+40*z
*z*u*z*z*z*y*z-8*z*z*u*z*y*u*z*y-44*z*z*u*y*u*z*y*z+40*z*z*z*u*z*z*z*y-44*z*z*z*
u*y*u*z*y-92*z*z*z*z*u*z*y*z-32*z*z*z*z*u*y*u*y-92*z*z*z*z*z*u*z*y-128*z*z*z*z*z
*z*u*y-79*z*z*z*z*z*z*y*u+114*z*z*z*z*z*y*u*z+52*z*z*z*z*z*y*z*u+63*z*z*z*z*y*u*
z*z-8*z*z*z*z*y*u*y*u+68*z*z*z*z*y*z*u*z+46*z*z*z*z*y*z*z*u-20*z*z*z*y*u*z*z*z-
40*z*z*z*y*u*z*y*u+32*z*z*z*y*u*y*u*z+20*z*z*z*y*z*u*z*z-16*z*z*z*y*z*u*y*u+52*z
*z*z*y*z*z*u*z+4*z*z*z*y*z*z*z*u+17*z*z*y*u*z*z*z*z+56*z*z*y*u*z*y*u*z-12*z*z*y*
u*y*u*z*z+28*z*z*y*z*u*z*z*z-60*z*z*y*z*u*z*y*u+44*z*z*y*z*u*y*u*z-12*z*z*y*z*z*
u*z*z-60*z*z*y*z*z*u*y*u-20*z*z*y*z*z*z*u*z-38*z*z*y*z*z*z*z*u-24*z*z*y*z*z*y*u*
u+80*z*z*y*z*y*u*z*u+48*z*z*y*z*y*z*u*u+42*z*y*u*z*z*z*z*z+48*z*y*u*z*y*u*z*z-48
*z*y*u*y*u*z*z*z+36*z*y*z*u*z*z*z*z-60*z*y*z*z*u*z*z*z-60*z*y*z*z*z*u*z*z+12*z*y
*z*z*z*z*z*u-48*z*y*z*z*z*y*u*u+24*z*y*z*z*y*u*z*u-48*z*y*z*z*y*z*u*u+48*z*y*z*y
*u*z*u*z+12*z*y*z*y*u*z*z*u+24*z*y*z*y*z*u*z*u+36*z*y*z*y*z*z*u*u-9*y*u*z*z*z*z*
z*z-20*y*u*z*z*z*y*z*u-48*y*u*z*y*u*z*z*z+64*y*u*z*y*u*z*y*u-60*y*u*z*y*z*u*z*z-
12*y*u*y*u*z*z*z*z+64*y*u*y*u*z*y*z*u+12*y*z*u*z*z*z*z*z-20*y*z*u*z*z*z*y*u-60*y
*z*u*y*u*z*z*z+64*y*z*u*y*u*z*y*u+30*y*z*z*u*z*z*z*z+112*y*z*z*u*z*y*z*u-60*y*z*
z*u*y*u*z*z+64*y*z*z*u*y*u*y*u-36*y*z*z*z*u*z*z*z+112*y*z*z*z*u*z*y*u-42*y*z*z*z
*z*u*z*z+184*y*z*z*z*z*u*y*u+12*y*z*z*z*z*z*u*z+24*y*z*z*z*z*z*z*u+20*y*z*z*z*z*
y*u*u-132*y*z*z*z*y*u*z*u-140*y*z*z*z*y*z*u*u+12*y*z*z*y*u*z*u*z-72*y*z*z*y*u*z*
z*u+64*y*z*z*y*u*y*u*u-40*y*z*z*y*z*u*z*u+16*y*z*z*y*z*z*u*u+72*y*z*y*u*z*u*z*z+
24*y*z*y*u*z*z*u*z+28*y*z*y*u*z*z*z*u-64*y*z*y*u*z*y*u*u-64*y*z*y*u*y*u*z*u+24*y
*z*y*z*u*z*u*z+8*y*z*y*z*u*z*z*u-64*y*z*y*z*u*y*u*u-80*y*z*y*z*z*u*z*u+28*y*z*y*
z*z*z*u*u+36*y*y*u*z*z*u*z*z+60*y*y*u*z*z*z*u*z+8*y*y*u*z*z*z*z*u-64*y*y*u*z*y*u
*z*u-12*y*y*z*u*z*u*z*z+72*y*y*z*u*z*z*u*z+16*y*y*z*u*z*z*z*u-64*y*y*z*u*y*u*z*u
-24*y*y*z*z*u*z*u*z+12*y*y*z*z*u*z*z*u+28*y*y*z*z*z*u*z*u-52*y*y*z*z*z*z*u*u-64*
y*y*z*y*u*z*u*u+64*y*y*y*z*z*u*u*u,
   -6*u*z*z*z*z*z*z*y-12*u*z*z*z*y*u*z*y-12*u*z*y*u*z*z*z*y+24*u*z*y*z*u*z*y*z-
12*u*y*u*z*z*z*y*z+24*z*u*z*y*z*u*z*y-12*z*u*y*u*z*z*z*y-12*z*z*u*z*z*z*y*z+24*z
*z*u*z*y*u*z*y+60*z*z*u*y*u*z*y*z-12*z*z*z*u*z*z*z*y+60*z*z*z*u*y*u*z*y+24*z*z*z
*z*u*z*y*z+48*z*z*z*z*u*y*u*y+24*z*z*z*z*z*u*z*y+30*z*z*z*z*z*z*u*y+15*z*z*z*z*z
*z*y*u+6*z*z*z*z*z*y*u*z-33*z*z*z*z*y*u*z*z+24*z*z*z*z*y*u*y*u+12*z*z*z*y*u*z*z*
z+24*z*z*z*y*u*z*y*u-48*z*z*z*y*u*y*u*z-24*z*z*z*y*z*u*z*z-60*z*z*z*y*z*z*u*z-39
*z*z*y*u*z*z*z*z-72*z*z*y*u*z*y*u*z+12*z*z*y*u*y*u*z*z-48*z*z*y*z*u*z*z*z+60*z*z
*y*z*u*z*y*u-60*z*z*y*z*u*y*u*z+36*z*z*y*z*z*u*z*z+60*z*z*y*z*z*u*y*u+24*z*z*y*z
*z*z*u*z+24*z*z*y*z*z*z*z*u+24*z*z*y*z*z*y*u*u-96*z*z*y*z*y*u*z*u-48*z*z*y*z*y*z
*u*u-18*z*y*u*z*z*z*z*z-48*z*y*u*z*y*u*z*z+48*z*y*u*y*u*z*z*z-24*z*y*z*u*z*z*z*z
+12*z*y*z*z*u*z*z*z+36*z*y*z*z*z*u*z*z+24*z*y*z*z*z*z*u*z+48*z*y*z*z*z*y*u*u-24*
z*y*z*z*y*u*z*u+48*z*y*z*z*y*z*u*u-48*z*y*z*y*u*z*u*z-12*z*y*z*y*u*z*z*u-24*z*y*
z*y*z*u*z*u-36*z*y*z*y*z*z*u*u+15*y*u*z*z*z*z*z*z+20*y*u*z*z*z*y*z*u+48*y*u*z*y*
u*z*z*z-64*y*u*z*y*u*z*y*u+60*y*u*z*y*z*u*z*z+12*y*u*y*u*z*z*z*z-64*y*u*y*u*z*y*
z*u+20*y*z*u*z*z*z*y*u+60*y*z*u*y*u*z*z*z-64*y*z*u*y*u*z*y*u-36*y*z*z*u*z*z*z*z-
112*y*z*z*u*z*y*z*u+60*y*z*z*u*y*u*z*z-64*y*z*z*u*y*u*y*u+12*y*z*z*z*u*z*z*z-112
*y*z*z*z*u*z*y*u+36*y*z*z*z*z*u*z*z-184*y*z*z*z*z*u*y*u-18*y*z*z*z*z*z*z*u-20*y*
z*z*z*z*y*u*u+132*y*z*z*z*y*u*z*u+140*y*z*z*z*y*z*u*u-12*y*z*z*y*u*z*u*z+72*y*z*
z*y*u*z*z*u-64*y*z*z*y*u*y*u*u+40*y*z*z*y*z*u*z*u-16*y*z*z*y*z*z*u*u-72*y*z*y*u*
z*u*z*z-24*y*z*y*u*z*z*u*z-28*y*z*y*u*z*z*z*u+64*y*z*y*u*z*y*u*u+64*y*z*y*u*y*u*
z*u-24*y*z*y*z*u*z*u*z-8*y*z*y*z*u*z*z*u+64*y*z*y*z*u*y*u*u+80*y*z*y*z*z*u*z*u-
28*y*z*y*z*z*z*u*u-36*y*y*u*z*z*u*z*z-60*y*y*u*z*z*z*u*z-8*y*y*u*z*z*z*z*u+64*y*
y*u*z*y*u*z*u+12*y*y*z*u*z*u*z*z-72*y*y*z*u*z*z*u*z-16*y*y*z*u*z*z*z*u+64*y*y*z*
u*y*u*z*u+24*y*y*z*z*u*z*u*z-12*y*y*z*z*u*z*z*u-28*y*y*z*z*z*u*z*u+68*y*y*z*z*z*
z*u*u+64*y*y*z*y*u*z*u*u-64*y*y*y*z*z*u*u*u,
   2*u*z*z*z*z*z*u*y+u*z*z*z*z*z*z*z+2*u*z*z*z*z*z*y*u-2*u*y*u*z*z*z*z*z-z*z*u*z
*z*z*z*z-2*y*z*z*z*z*z*u*u,
   -6*u*z*z*z*z*u*z*y+6*u*z*z*z*z*z*y*u-4*u*z*z*z*y*z*u*z-6*u*z*y*u*z*z*z*z-16*u
*z*y*u*z*y*u*z-6*u*y*u*z*z*z*z*z-16*u*y*u*z*y*z*u*z-3*z*u*z*z*z*z*z*z-4*z*u*z*z*
z*y*u*z-4*z*u*z*z*z*y*z*u-16*z*u*z*y*u*z*y*u-6*z*u*y*u*z*z*z*z-16*z*u*y*u*z*y*u*
z-16*z*u*y*u*z*y*z*u-4*z*z*u*z*z*z*y*u-4*z*z*u*z*y*z*u*z-16*z*z*u*y*u*z*y*u-16*z
*z*u*y*u*y*u*z+3*z*z*z*u*z*z*z*z-4*z*z*z*u*z*y*u*z-4*z*z*z*u*z*y*z*u-16*z*z*z*u*
y*u*y*u-4*z*z*z*z*u*z*y*u-10*z*z*z*z*u*y*u*z-10*z*z*z*z*z*u*y*u+10*z*z*z*z*z*y*u
*u-6*z*z*z*z*y*u*z*u+12*z*z*z*z*y*z*u*u+12*z*z*z*y*u*z*z*u-16*z*z*z*y*u*y*u*u-8*
z*z*z*y*z*u*z*u-20*z*z*z*y*z*z*u*u-4*z*z*y*u*z*z*z*u+16*z*z*y*u*z*y*u*u+16*z*z*y
*u*y*u*z*u-8*z*z*y*z*u*z*u*z+4*z*z*y*z*u*z*z*u+20*z*z*y*z*z*u*z*u-20*z*z*y*z*z*z
*u*u-16*z*z*y*z*y*u*u*u+8*z*y*u*z*z*z*u*z+16*z*y*u*z*z*z*z*u+16*z*y*u*z*y*u*z*u+
16*z*y*u*z*y*z*u*u+16*z*y*u*y*u*z*u*z+4*z*y*z*u*z*z*u*z+20*z*y*z*u*z*z*z*u+16*z*
y*z*u*y*u*z*u+8*z*y*z*z*u*z*u*z-12*z*y*z*z*u*z*z*u+16*z*y*z*z*u*y*u*u-4*z*y*z*z*
z*u*z*u+4*z*y*z*z*z*z*u*u+16*z*y*z*z*y*u*u*u+12*y*u*z*z*z*u*z*z+16*y*u*z*z*z*z*u
*z-6*y*u*z*z*z*z*z*u+16*y*u*z*y*u*z*u*z+12*y*z*u*z*z*u*z*z+20*y*z*u*z*z*z*u*z-6*
y*z*u*z*z*z*z*u+16*y*z*u*y*u*z*u*z-12*y*z*z*u*z*z*u*z-4*y*z*z*z*u*z*u*z+2*y*z*z*
z*z*z*u*u+16*y*z*y*u*z*z*u*u-16*y*y*z*z*z*u*u*u,
   -u*z*u*z*z*u*z*z+u*z*z*u*z*z*u*z+u*z*z*z*u*z*z*u+u*z*z*z*z*u*z*u+2*z*u*z*z*u*
z*z*u-z*u*z*z*z*z*u*u-2*z*z*u*z*z*u*z*u-z*z*u*z*z*z*u*u,
   
Done
