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