B := Matrix(16, 16, [[u*v*w*x,v*y,u*v*w*x+w,v*y+x,w+x+y,u*v*w*x+u*y*z+w+y,a*b+v
*y+w+y,a*b+b*u+v*y+x,u*v*w*x+u*y*z+b*u+w+y,b*u+v*y,u*y*z+a*b+w+y,u*y*z+b*u+w+x,
u*v*w*x+x+y,u*v*w*x+u*y*z+a*b+v*y+w+x+y,u*v*w*x+b*u+v*y+x,u*y*z+a*b+v*y+w+x],[v
*y,u*v*w*x,2*v*y,u*v*w*x+w,v*y+w+x,2*v*y+x+y,u*v*w*x+u*y*z+v*y+x,u*v*w*x+u*y*z+
a*b+w,a*b+2*v*y+x+y,u*v*w*x+a*b,u*y*z+v*y+x+y,a*b+v*y+w+y,v*y+w+x,u*v*w*x+u*y*z
+2*v*y+w+x+y,u*v*w*x+a*b+v*y+w,u*v*w*x+u*y*z+v*y+w+y],[v*y+w,u*v*w*x+v*y,u*v*w*
x+2*v*y+w,u*v*w*x+2*v*y+w,u*v*w*x+2*v*y+2*w+x,u*v*w*x+2*v*y+2*w+2*x+y,2*u*v*w*x
+u*y*z+2*v*y+w+x+y,u*v*w*x+2*u*y*z+a*b+2*v*y+w+y,u*v*w*x+u*y*z+a*b+2*v*y+2*w+2*
x+y,u*v*w*x+u*y*z+a*b+v*y,u*v*w*x+u*y*z+v*y+w+2*x+2*y,u*v*w*x+u*y*z+a*b+2*v*y+w
+x+y,2*v*y+3*w+x,2*u*v*w*x+u*y*z+4*v*y+3*w+2*x+2*y,u*v*w*x+u*y*z+a*b+3*v*y+2*w,
2*u*v*w*x+u*y*z+3*v*y+w+x+2*y],[x+w,v*y+w,u*v*w*x+v*y+w+x,u*v*w*x+2*v*y+w,2*u*v
*w*x+3*v*y+w,u*v*w*x+2*v*y+3*w+2*x,u*v*w*x+3*v*y+2*w+x+y,u*v*w*x+u*y*z+2*v*y+w+
x+2*y,u*v*w*x+u*y*z+2*v*y+3*w+2*x+y,u*y*z+v*y+w+y,u*v*w*x+2*v*y+2*w+2*x+y,2*u*v
*w*x+u*y*z+2*v*y+w+x+y,u*v*w*x+2*v*y+2*w+x,2*u*v*w*x+4*v*y+4*w+3*x+y,u*v*w*x+u*
y*z+2*v*y+2*w+x+y,2*u*v*w*x+3*v*y+2*w+2*x+y],[y+w,v*y+x,u*v*w*x+2*w+y,3*v*y+x,2
*u*v*w*x+2*v*y+2*w,2*u*v*w*x+v*y+3*w+x+y,2*u*v*w*x+v*y+3*w+x+y,u*y*z+3*v*y+w+2*
x+y,2*u*v*w*x+u*y*z+v*y+3*w+2*x+y,u*y*z+v*y+2*x,2*u*v*w*x+v*y+3*w+x+y,u*v*w*x+u
*y*z+3*v*y+w+2*x,u*v*w*x+2*v*y+2*w+y,2*u*v*w*x+4*v*y+4*w+2*x+2*y,u*y*z+3*v*y+w+
2*x+y,u*v*w*x+4*v*y+2*w+2*x+y],[u*v*w*x+u*y*z+v*y+y,u*v*w*x+v*y+x+y,u*v*w*x+u*y
*z+2*v*y+2*w+x+y,u*v*w*x+2*v*y+2*w+2*x+y,u*v*w*x+3*v*y+4*w+3*x+y,3*u*v*w*x+2*u*
y*z+4*v*y+2*w+2*x+3*y,2*u*v*w*x+u*y*z+a*b+4*v*y+3*w+3*x+2*y,u*v*w*x+u*y*z+2*a*b
+b*u+3*v*y+4*w+3*x+y,3*u*v*w*x+2*u*y*z+a*b+b*u+4*v*y+3*w+3*x+3*y,u*v*w*x+a*b+b*
u+v*y+w+2*x+y,2*u*v*w*x+2*u*y*z+a*b+4*v*y+3*w+2*x+2*y,u*v*w*x+u*y*z+a*b+b*u+3*v
*y+5*w+3*x+y,2*u*v*w*x+u*y*z+3*v*y+2*w+2*x+2*y,4*u*v*w*x+3*u*y*z+a*b+7*v*y+5*w+
4*x+4*y,2*u*v*w*x+u*y*z+a*b+b*u+3*v*y+3*w+3*x+2*y,2*u*v*w*x+2*u*y*z+a*b+5*v*y+5
*w+3*x+2*y],[a*b+w+y,u*y*z+v*y+x,u*v*w*x+a*b+2*w+2*y,u*y*z+3*v*y+2*x,2*u*v*w*x+
2*v*y+3*w+x+y,2*u*v*w*x+a*b+2*v*y+4*w+x+2*y,3*u*v*w*x+u*y*z+v*y+4*w+x+2*y,u*v*w
*x+2*u*y*z+4*v*y+w+3*x+y,2*u*v*w*x+u*y*z+a*b+3*v*y+4*w+2*x+2*y,2*u*y*z+2*v*y+2*
x,3*u*v*w*x+2*v*y+4*w+x+2*y,u*v*w*x+u*y*z+5*v*y+w+3*x+y,u*v*w*x+a*b+2*v*y+3*w+x
+y,3*u*v*w*x+u*y*z+a*b+5*v*y+5*w+3*x+3*y,2*u*y*z+a*b+4*v*y+w+3*x+y,2*u*v*w*x+u*
y*z+5*v*y+2*w+3*x+2*y],[u*y*z+a*b+b*u+v*y+w,u*v*w*x+u*y*z+a*b+v*y+y,u*v*w*x+2*u
*y*z+a*b+b*u+2*v*y+w+x+y,u*v*w*x+u*y*z+a*b+2*v*y+2*w+x+2*y,u*v*w*x+u*y*z+3*v*y+
4*w+4*x+2*y,2*u*v*w*x+2*u*y*z+a*b+b*u+4*v*y+4*w+4*x+2*y,3*u*v*w*x+3*u*y*z+a*b+5
*v*y+2*w+3*x+3*y,3*u*v*w*x+3*u*y*z+2*a*b+5*v*y+3*w+x+3*y,3*u*v*w*x+3*u*y*z+2*a*
b+b*u+5*v*y+5*w+4*x+2*y,2*u*v*w*x+2*u*y*z+2*a*b+2*v*y+w+y,3*u*v*w*x+2*u*y*z+5*v
*y+3*w+4*x+3*y,3*u*v*w*x+2*u*y*z+a*b+4*v*y+4*w+3*x+3*y,u*y*z+a*b+b*u+3*v*y+5*w+
3*x+y,4*u*v*w*x+4*u*y*z+2*a*b+b*u+8*v*y+6*w+5*x+5*y,2*u*v*w*x+3*u*y*z+3*a*b+b*u
+4*v*y+4*w+x+2*y,4*u*v*w*x+3*u*y*z+a*b+6*v*y+3*w+3*x+5*y],[x+w,v*y+w,u*v*w*x+v*
y+w+x,u*v*w*x+2*v*y+w,2*u*v*w*x+3*v*y+w,u*v*w*x+2*v*y+3*w+2*x,u*v*w*x+3*v*y+2*w
+x+y,u*v*w*x+u*y*z+2*v*y+w+x+2*y,a*b*y*z+u*v*w*x+u*y*z+2*v*y+3*w+2*x+y,a*b*y*z+
u*y*z+a*x+v*y+w+y,u*v*w*x+2*v*y+2*w+2*x+y+z,a*b*y*z+2*u*v*w*x+u*y*z+a*x+2*v*y+w
+x+2*y,a*b*y*z+u*v*w*x+a*x+2*v*y+2*w+2*x+y+z,a*b*y*z+2*u*v*w*x+b*w*x+a*x+4*v*y+
4*w+4*x+2*y+z,a*b*y*z+u*v*w*x+u*y*z+a*x+u*v+2*v*y+2*w+2*x+y,a*b*y*z+2*u*v*w*x+a
*x+b*u+3*v*y+2*w+3*x+y],[u*y*z+a*b+b*u+x,u*y*z+a*b+w+y,2*u*y*z+a*b+b*u+v*y+2*x+
y,u*v*w*x+u*y*z+a*b+2*w+x+2*y,u*v*w*x+u*y*z+3*v*y+2*w+3*x+2*y,u*v*w*x+2*u*y*z+a
*b+b*u+4*v*y+3*w+3*x+y,u*v*w*x+2*u*y*z+a*b+5*v*y+2*w+3*x+2*y,3*u*v*w*x+u*y*z+a*
b+3*v*y+3*w+2*x+3*y,a*b*y*z+2*u*v*w*x+2*u*y*z+a*b+a*x+b*u+5*v*y+4*w+3*x+2*y,2*a
*b*y*z+u*v*w*x+u*y*z+a*b+2*a*x+v*y+2*w+2*y,2*u*v*w*x+u*y*z+a*x+6*v*y+3*w+3*x+y+
z,2*a*b*y*z+3*u*v*w*x+u*y*z+2*a*x+3*v*y+4*w+2*x+4*y+z,2*a*b*y*z+u*v*w*x+u*y*z+a
*b+3*a*x+b*u+2*v*y+2*w+4*x+3*y+2*z,2*a*b*y*z+3*u*v*w*x+b*w*x+3*u*y*z+2*a*b+3*a*
x+b*u+6*v*y+5*w+7*x+5*y+2*z,2*a*b*y*z+2*u*v*w*x+b*w*x+2*u*y*z+2*a*b+2*a*x+b*u+u
*v+v*y+3*w+3*x+4*y,2*a*b*y*z+3*u*v*w*x+2*u*y*z+a*b+2*a*x+b*u+u*v+4*v*y+4*w+4*x+
4*y],[u*y*z+x+y,w+x+y,u*y*z+v*y+w+2*x+y,u*v*w*x+v*y+2*w+x+y,2*u*v*w*x+4*v*y+2*w
+x,2*u*v*w*x+u*y*z+4*v*y+2*w+2*x+y,u*v*w*x+4*v*y+3*w+3*x+y,u*v*w*x+2*v*y+4*w+3*
x+2*y,a*b*y*z+2*u*v*w*x+u*y*z+4*v*y+3*w+3*x+2*y+z,a*b*y*z+2*a*x+2*w+2*x+2*y+z,a
*b*y*z+2*u*v*w*x+5*v*y+3*w+2*x+z,a*b*y*z+2*u*v*w*x+3*a*x+3*v*y+4*w+2*x+2*y+z,2*
a*b*y*z+2*u*v*w*x+u*y*z+3*a*x+3*v*y+w+2*x+2*y+3*z,2*a*b*y*z+3*u*v*w*x+b*w*x+u*y
*z+3*a*x+6*v*y+5*w+5*x+4*y+3*z,a*b*y*z+u*v*w*x+u*y*z+2*a*x+u*v+v*y+3*w+5*x+3*y+
2*z,a*b*y*z+2*u*v*w*x+b*w*x+2*a*x+b*u+4*v*y+5*w+4*x+y+2*z],[u*v*w*x+u*y*z+a*b+b
*u+v*y+w+x,u*v*w*x+u*y*z+a*b+2*v*y+w+y,2*u*v*w*x+2*u*y*z+a*b+b*u+3*v*y+2*w+2*x+
y,2*u*v*w*x+u*y*z+a*b+3*v*y+3*w+2*x+2*y,2*u*v*w*x+u*y*z+5*v*y+5*w+5*x+3*y,3*u*v
*w*x+3*u*y*z+a*b+b*u+6*v*y+6*w+5*x+3*y,3*u*v*w*x+3*u*y*z+2*a*b+8*v*y+4*w+4*x+4*
y,4*u*v*w*x+3*u*y*z+3*a*b+b*u+6*v*y+4*w+3*x+4*y,4*u*v*w*x+4*u*y*z+2*a*b+a*x+2*b
*u+7*v*y+7*w+5*x+5*y,a*b*y*z+2*u*v*w*x+2*u*y*z+2*a*b+a*x+b*u+3*v*y+2*w+3*y+z,3*
u*v*w*x+3*u*y*z+a*b+2*a*x+7*v*y+5*w+5*x+4*y,2*a*b*y*z+4*u*v*w*x+3*u*y*z+a*b+a*x
+b*u+5*v*y+6*w+4*x+5*y+2*z,2*a*b*y*z+2*u*v*w*x+u*y*z+a*b+4*a*x+b*u+4*v*y+5*w+5*
x+4*y+2*z,2*a*b*y*z+6*u*v*w*x+5*u*y*z+3*a*b+4*a*x+b*u+11*v*y+9*w+9*x+8*y+3*z,a*
b*y*z+4*u*v*w*x+b*w*x+3*u*y*z+3*a*b+2*a*x+2*b*u+5*v*y+5*w+3*x+6*y+z,a*b*y*z+5*u
*v*w*x+4*u*y*z+2*a*b+2*a*x+u*v+8*v*y+6*w+6*x+7*y+z],[u*v*w*x+u*y*z+v*y+w+x,u*v*
w*x+2*v*y+w+y,2*u*v*w*x+u*y*z+3*v*y+2*w+2*x,2*u*v*w*x+3*v*y+3*w+x+y,2*u*v*w*x+5
*v*y+4*w+3*x+y,3*u*v*w*x+2*u*y*z+5*v*y+4*w+4*x+2*y,2*u*v*w*x+u*y*z+a*b+7*v*y+3*
w+3*x+3*y,2*u*v*w*x+2*u*y*z+2*a*b+b*u+4*v*y+4*w+2*x+3*y,a*b*y*z+3*u*v*w*x+3*u*y
*z+a*b+a*x+b*u+5*v*y+5*w+5*x+4*y+z,2*a*b*y*z+u*v*w*x+u*y*z+a*b+3*a*x+b*u+2*v*y+
2*w+x+4*y+2*z,a*b*y*z+2*u*v*w*x+2*u*y*z+a*b+2*a*x+5*v*y+3*w+4*x+3*y+2*z,3*a*b*y
*z+3*u*v*w*x+2*u*y*z+a*b+5*a*x+b*u+3*v*y+5*w+4*x+5*y+3*z,5*a*b*y*z+2*u*v*w*x+u*
y*z+8*a*x+4*v*y+4*w+5*x+5*y+6*z,5*a*b*y*z+5*u*v*w*x+b*w*x+3*u*y*z+a*b+9*a*x+9*v
*y+7*w+9*x+9*y+7*z,3*a*b*y*z+3*u*v*w*x+b*w*x+2*u*y*z+a*b+4*a*x+b*u+u*v+4*v*y+5*
w+5*x+6*y+4*z,3*a*b*y*z+4*u*v*w*x+b*w*x+2*u*y*z+a*b+4*a*x+b*u+u*v+6*v*y+5*w+7*x
+7*y+3*z],[u*v*w*x+u*y*z+a*b+b*u+w+x,u*y*z+a*b+2*v*y+w+y,2*u*v*w*x+2*u*y*z+a*b+
b*u+v*y+2*w+2*x+y,u*v*w*x+u*y*z+a*b+3*v*y+2*w+2*x+2*y,2*u*v*w*x+u*y*z+4*v*y+4*w
+4*x+3*y,3*u*v*w*x+3*u*y*z+a*b+b*u+4*v*y+6*w+4*x+2*y,2*u*v*w*x+2*u*y*z+2*a*b+7*
v*y+4*w+3*x+4*y,3*u*v*w*x+2*u*y*z+2*a*b+b*u+6*v*y+3*w+3*x+4*y,4*u*v*w*x+b*w*x+4
*u*y*z+a*b+2*b*u+5*v*y+7*w+4*x+3*y+z,u*v*w*x+b*w*x+2*u*y*z+a*b+a*x+b*u+3*v*y+2*
w+x+2*y+z,a*b*y*z+3*u*v*w*x+2*u*y*z+a*b+6*v*y+5*w+4*x+4*y,4*u*v*w*x+b*w*x+3*u*y
*z+2*a*x+b*u+4*v*y+5*w+5*x+3*y+2*z,a*b*y*z+2*u*v*w*x+b*w*x+u*y*z+a*b+3*a*x+b*u+
3*v*y+4*w+5*x+3*y+3*z,2*a*b*y*z+5*u*v*w*x+b*w*x+4*u*y*z+3*a*b+3*a*x+b*u+9*v*y+8
*w+8*x+7*y+3*z,3*u*v*w*x+b*w*x+3*u*y*z+2*a*b+3*a*x+2*b*u+4*v*y+4*w+5*x+3*y+2*z,
4*u*v*w*x+2*b*w*x+3*u*y*z+2*a*b+2*a*x+7*v*y+5*w+6*x+4*y+3*z],[a*b+b*u+x,u*y*z+a
*b+w,u*y*z+a*b+b*u+v*y+x+y,u*v*w*x+u*y*z+a*b+w+x+y,u*v*w*x+u*y*z+2*v*y+w+2*x+2*
y,u*y*z+a*b+b*u+3*v*y+3*w+2*x+y,u*v*w*x+2*u*y*z+a*b+3*v*y+2*w+2*x+y,3*u*v*w*x+u
*y*z+a*b+2*v*y+w+2*x+2*y,a*b*y*z+u*v*w*x+b*w*x+u*y*z+a*b+b*u+u*v+4*v*y+3*w+2*x+
3*y,a*b*y*z+u*v*w*x+2*b*w*x+u*y*z+a*b+a*x+u*v+v*y+w+x+2*y+z,u*v*w*x+u*y*z+a*x+4
*v*y+3*w+3*x+2*y+z,2*a*b*y*z+2*u*v*w*x+2*b*w*x+u*y*z+a*x+u*v+3*v*y+2*w+2*x+6*y+
2*z,2*a*b*y*z+u*v*w*x+2*b*w*x+a*b+4*a*x+b*u+u*v+v*y+w+6*x+5*y+4*z,3*a*b*y*z+2*u
*v*w*x+3*b*w*x+2*u*y*z+2*a*b+5*a*x+b*u+u*v+4*v*y+4*w+7*x+6*y+5*z,2*a*b*y*z+2*u*
v*w*x+2*b*w*x+u*y*z+2*a*b+4*a*x+b*u+2*u*v+v*y+w+4*x+4*y+2*z,a*b*y*z+2*u*v*w*x+2
*b*w*x+2*u*y*z+a*b+4*a*x+b*u+u*v+3*v*y+3*w+5*x+3*y+3*z],[u*y*z+b*u+v*y+w,u*v*w*
x+a*b+v*y+y,u*v*w*x+2*u*y*z+b*u+2*v*y+w+x,u*v*w*x+a*b+2*v*y+2*w+2*y,u*v*w*x+u*y
*z+3*v*y+3*w+3*x+y,2*u*v*w*x+2*u*y*z+b*u+3*v*y+3*w+4*x+y,2*u*v*w*x+2*u*y*z+a*b+
5*v*y+w+3*x+2*y,2*u*v*w*x+2*u*y*z+2*a*b+4*v*y+3*w+3*y,3*u*v*w*x+b*w*x+3*u*y*z+a
*b+a*x+2*b*u+3*v*y+4*w+4*x+y,a*b*y*z+2*u*v*w*x+b*w*x+u*y*z+2*a*b+a*x+b*u+u*v+v*
y+w+x+y,2*u*v*w*x+b*w*x+2*u*y*z+a*x+4*v*y+2*w+4*x+3*y,a*b*y*z+3*u*v*w*x+b*w*x+2
*u*y*z+a*b+a*x+b*u+u*v+2*v*y+4*w+4*x+2*y+2*z,a*b*y*z+2*b*w*x+u*y*z+3*a*x+2*b*u+
u*v+3*v*y+4*w+4*x+4*y+2*z,2*a*b*y*z+3*u*v*w*x+2*b*w*x+3*u*y*z+a*b+3*a*x+2*b*u+u
*v+7*v*y+5*w+7*x+7*y+3*z,a*b*y*z+2*u*v*w*x+2*b*w*x+2*u*y*z+2*a*b+4*a*x+2*b*u+u*
v+3*v*y+4*w+x+4*y,2*a*b*y*z+3*u*v*w*x+b*w*x+2*u*y*z+a*b+2*a*x+b*u+2*u*v+5*v*y+3
*w+3*x+6*y+z]]);
