AA0 := Matrix(16, 16, [[x1,7*x2^2+3*x3*x4,x2*x4*x5,6*x3^2,5*x2*x4+2*x3*x4,9*x3*
x5+5*x4^2,7*x5^2,4*x3*x6+10*x4*x5,0,0,0,0,0,0,0,0],[7*x2^2+3*x3*x4,x1,7*x2^2+3*
x3*x4,x2*x4*x5,6*x3^2,5*x2*x4+2*x3*x4,9*x3*x5+5*x4^2,7*x5^2,0,0,0,0,0,0,0,0],[
x2*x4*x5,7*x2^2+3*x3*x4,x1,7*x2^2+3*x3*x4,x2*x4*x5,6*x3^2,5*x2*x4+2*x3*x4,9*x3*
x5+5*x4^2,0,0,0,0,0,0,0,0],[6*x3^2,x2*x4*x5,7*x2^2+3*x3*x4,x1,7*x2^2+3*x3*x4,x2
*x4*x5,6*x3^2,5*x2*x4+2*x3*x4,0,0,0,0,0,0,0,0],[5*x2*x4+2*x3*x4,6*x3^2,x2*x4*x5
,7*x2^2+3*x3*x4,x1,7*x2^2+3*x3*x4,x2*x4*x5,6*x3^2,0,0,0,0,0,0,0,0],[9*x3*x5+5*
x4^2,5*x2*x4+2*x3*x4,6*x3^2,x2*x4*x5,7*x2^2+3*x3*x4,x1,7*x2^2+3*x3*x4,x2*x4*x5,
0,0,0,0,0,0,0,0],[7*x5^2,9*x3*x5+5*x4^2,5*x2*x4+2*x3*x4,6*x3^2,x2*x4*x5,7*x2^2+
3*x3*x4,x1,7*x2^2+3*x3*x4,0,0,0,0,0,0,0,0],[4*x3*x6+10*x4*x5,7*x5^2,9*x3*x5+5*
x4^2,5*x2*x4+2*x3*x4,6*x3^2,x2*x4*x5,7*x2^2+3*x3*x4,x1,0,0,0,0,0,0,0,0],[0,0,0,
0,0,0,0,0,x1,7*x3^2,18*x2*x3*x4+31*x3*x4,x2*x3,10*x2*x4+2*x3^2,94*x2^2*x5+41*x3
*x4^2,42*x2^2*x5,14*x5^3*x6+93*x3*x6^2],[0,0,0,0,0,0,0,0,7*x3^2,x1,7*x3^2,18*x2
*x3*x4+31*x3*x4,x2*x3,10*x2*x4+2*x3^2,94*x2^2*x5+41*x3*x4^2,42*x2^2*x5],[0,0,0,
0,0,0,0,0,18*x2*x3*x4+31*x3*x4,7*x3^2,x1,7*x3^2,18*x2*x3*x4+31*x3*x4,x2*x3,10*
x2*x4+2*x3^2,94*x2^2*x5+41*x3*x4^2],[0,0,0,0,0,0,0,0,x2*x3,18*x2*x3*x4+31*x3*x4
,7*x3^2,x1,7*x3^2,18*x2*x3*x4+31*x3*x4,x2*x3,10*x2*x4+2*x3^2],[0,0,0,0,0,0,0,0,
10*x2*x4+2*x3^2,x2*x3,18*x2*x3*x4+31*x3*x4,7*x3^2,x1,7*x3^2,18*x2*x3*x4+31*x3*
x4,x2*x3],[0,0,0,0,0,0,0,0,94*x2^2*x5+41*x3*x4^2,10*x2*x4+2*x3^2,x2*x3,18*x2*x3
*x4+31*x3*x4,7*x3^2,x1,7*x3^2,18*x2*x3*x4+31*x3*x4],[0,0,0,0,0,0,0,0,42*x2^2*x5
,94*x2^2*x5+41*x3*x4^2,10*x2*x4+2*x3^2,x2*x3,18*x2*x3*x4+31*x3*x4,7*x3^2,x1,7*
x3^2],[0,0,0,0,0,0,0,0,14*x5^3*x6+93*x3*x6^2,42*x2^2*x5,94*x2^2*x5+41*x3*x4^2,
10*x2*x4+2*x3^2,x2*x3,18*x2*x3*x4+31*x3*x4,7*x3^2,x1]]);
T1 := Matrix(8, 8, [[x1,7*x2^2+3*x3*x4,x2*x4*x5,6*x3^2,5*x2*x4+2*x3*x4,9*x3*x5+
5*x4^2,7*x5^2,4*x3*x6+10*x4*x5],[7*x2^2+3*x3*x4,x1,7*x2^2+3*x3*x4,x2*x4*x5,6*x3
^2,5*x2*x4+2*x3*x4,9*x3*x5+5*x4^2,7*x5^2],[x2*x4*x5,7*x2^2+3*x3*x4,x1,7*x2^2+3*
x3*x4,x2*x4*x5,6*x3^2,5*x2*x4+2*x3*x4,9*x3*x5+5*x4^2],[6*x3^2,x2*x4*x5,7*x2^2+3
*x3*x4,x1,7*x2^2+3*x3*x4,x2*x4*x5,6*x3^2,5*x2*x4+2*x3*x4],[5*x2*x4+2*x3*x4,6*x3
^2,x2*x4*x5,7*x2^2+3*x3*x4,x1,7*x2^2+3*x3*x4,x2*x4*x5,6*x3^2],[9*x3*x5+5*x4^2,5
*x2*x4+2*x3*x4,6*x3^2,x2*x4*x5,7*x2^2+3*x3*x4,x1,7*x2^2+3*x3*x4,x2*x4*x5],[7*x5
^2,9*x3*x5+5*x4^2,5*x2*x4+2*x3*x4,6*x3^2,x2*x4*x5,7*x2^2+3*x3*x4,x1,7*x2^2+3*x3
*x4],[4*x3*x6+10*x4*x5,7*x5^2,9*x3*x5+5*x4^2,5*x2*x4+2*x3*x4,6*x3^2,x2*x4*x5,7*
x2^2+3*x3*x4,x1]]);
T2 := Matrix(8, 8, [[x1,7*x3^2,18*x2*x3*x4+31*x3*x4,x2*x3,10*x2*x4+2*x3^2,94*x2
^2*x5+41*x3*x4^2,42*x2^2*x5,14*x5^3*x6+93*x3*x6^2],[7*x3^2,x1,7*x3^2,18*x2*x3*
x4+31*x3*x4,x2*x3,10*x2*x4+2*x3^2,94*x2^2*x5+41*x3*x4^2,42*x2^2*x5],[18*x2*x3*
x4+31*x3*x4,7*x3^2,x1,7*x3^2,18*x2*x3*x4+31*x3*x4,x2*x3,10*x2*x4+2*x3^2,94*x2^2
*x5+41*x3*x4^2],[x2*x3,18*x2*x3*x4+31*x3*x4,7*x3^2,x1,7*x3^2,18*x2*x3*x4+31*x3*
x4,x2*x3,10*x2*x4+2*x3^2],[10*x2*x4+2*x3^2,x2*x3,18*x2*x3*x4+31*x3*x4,7*x3^2,x1
,7*x3^2,18*x2*x3*x4+31*x3*x4,x2*x3],[94*x2^2*x5+41*x3*x4^2,10*x2*x4+2*x3^2,x2*
x3,18*x2*x3*x4+31*x3*x4,7*x3^2,x1,7*x3^2,18*x2*x3*x4+31*x3*x4],[42*x2^2*x5,94*
x2^2*x5+41*x3*x4^2,10*x2*x4+2*x3^2,x2*x3,18*x2*x3*x4+31*x3*x4,7*x3^2,x1,7*x3^2]
,[14*x5^3*x6+93*x3*x6^2,42*x2^2*x5,94*x2^2*x5+41*x3*x4^2,10*x2*x4+2*x3^2,x2*x3,
18*x2*x3*x4+31*x3*x4,7*x3^2,x1]]);
P1 := Matrix(16, 16, [[1,0,0,0,1,1,1,1,0,1,1,0,1,1,1,0],[0,1,1,1,0,1,1,0,1,0,0,
0,1,0,1,1],[0,0,1,1,1,0,1,1,1,0,0,1,1,0,0,1],[0,0,0,1,0,0,0,0,1,1,1,0,0,0,0,1],
[0,0,0,0,1,1,0,1,0,0,1,1,0,0,1,0],[0,0,0,0,0,1,0,1,0,1,1,0,0,0,1,0],[0,0,0,0,0,
0,1,0,0,1,1,1,1,0,1,1],[0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,1],[0,0,0,0,0,0,0,0,1,1,0
,1,1,0,1,0],[0,0,0,0,0,0,0,0,0,1,1,1,1,1,0,0],[0,0,0,0,0,0,0,0,0,0,1,0,1,0,1,1]
,[0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,1],[0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,1],[0,0,0,0,0
,0,0,0,0,0,0,0,0,1,1,1],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0],[0,0,0,0,0,0,0,0,0,0,
0,0,0,0,0,1]]);
P2 := Matrix(16, 16, [[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,1,0,0,0,0,0,0,0,0,0,
0,0,0,0,0],[1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0],
[0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0],[1,1,1,0,1,1,0,0,0,0,0,0,0,0,0,0],[1,0,1,1,1,
1,1,0,0,0,0,0,0,0,0,0],[0,0,0,1,1,0,0,1,0,0,0,0,0,0,0,0],[1,1,0,1,0,0,1,0,1,0,0
,0,0,0,0,0],[0,1,1,1,0,0,1,1,0,1,0,0,0,0,0,0],[1,0,0,1,0,1,1,0,0,1,1,0,0,0,0,0]
,[1,0,1,1,0,1,0,0,1,1,1,1,0,0,0,0],[1,1,1,0,0,1,0,1,0,0,0,0,1,0,0,0],[0,1,1,1,0
,0,1,1,1,1,0,1,1,1,0,0],[0,1,1,1,1,1,1,1,1,0,1,0,0,1,1,0],[0,0,1,0,0,1,0,1,1,1,
0,1,1,1,0,1]]);
AA := Matrix(16, 16, [[5*x2*x4*x5+42*x2^2+15*x2*x4+12*x3^2+24*x3*x4+18*x3*x5+4*
x3*x6+10*x4^2+10*x4*x5+28*x5^2+5*x1,4*x2*x4*x5+42*x2^2+15*x2*x4+18*x3^2+24*x3*
x4+27*x3*x5+4*x3*x6+15*x4^2+10*x4*x5+21*x5^2+6*x1,5*x2*x4*x5+42*x2^2+15*x2*x4+
12*x3^2+24*x3*x4+27*x3*x5+4*x3*x6+15*x4^2+10*x4*x5+42*x5^2+6*x1,5*x2*x4*x5+28*
x2^2+20*x2*x4+24*x3^2+20*x3*x4+36*x3*x5+8*x3*x6+20*x4^2+20*x4*x5+35*x5^2+6*x1,3
*x2*x4*x5+21*x2^2+20*x2*x4+17*x3*x4+27*x3*x5+4*x3*x6+15*x4^2+10*x4*x5+14*x5^2+5
*x1,4*x2*x4*x5+35*x2^2+20*x2*x4+12*x3^2+23*x3*x4+27*x3*x5+4*x3*x6+15*x4^2+10*x4
*x5+42*x5^2+5*x1,2*x2*x4*x5+21*x2^2+10*x2*x4+18*x3^2+13*x3*x4+27*x3*x5+4*x3*x6+
15*x4^2+10*x4*x5+28*x5^2+5*x1,3*x2*x4*x5+21*x2^2+10*x2*x4+12*x3^2+13*x3*x4+27*
x3*x5+8*x3*x6+15*x4^2+20*x4*x5+28*x5^2+5*x1,3*x2*x4*x5+21*x2^2+10*x2*x4+12*x3^2
+13*x3*x4+9*x3*x5+8*x3*x6+5*x4^2+20*x4*x5+21*x5^2+2*x1,2*x2*x4*x5+7*x2^2+10*x2*
x4+18*x3^2+7*x3*x4+18*x3*x5+4*x3*x6+10*x4^2+10*x4*x5+28*x5^2+3*x1,x2*x4*x5+7*x2
^2+15*x2*x4+6*x3^2+9*x3*x4+18*x3*x5+10*x4^2+21*x5^2+2*x1,2*x2*x4*x5+7*x2^2+5*x2
*x4+6*x3^2+5*x3*x4+4*x3*x6+10*x4*x5+14*x5^2+x1,2*x2*x4*x5+14*x2^2+6*x3^2+6*x3*
x4+4*x3*x6+10*x4*x5+14*x5^2+2*x1,x2*x4*x5+14*x2^2+5*x2*x4+6*x3^2+8*x3*x4+9*x3*
x5+4*x3*x6+5*x4^2+10*x4*x5+14*x5^2+2*x1,7*x2^2+5*x2*x4+5*x3*x4+9*x3*x5+5*x4^2+7
*x5^2+x1,x2*x4*x5+7*x2^2+6*x3^2+3*x3*x4+4*x3*x6+10*x4*x5+7*x5^2],[2*x2*x4*x5+70
*x2^2+10*x2*x4+18*x3^2+34*x3*x4+36*x3*x5+20*x4^2+7*x5^2+6*x1,3*x2*x4*x5+70*x2^2
+15*x2*x4+18*x3^2+36*x3*x4+27*x3*x5+15*x4^2+7*x5^2+6*x1,2*x2*x4*x5+77*x2^2+15*
x2*x4+18*x3^2+39*x3*x4+54*x3*x5+30*x4^2+7*x5^2+6*x1,4*x2*x4*x5+77*x2^2+20*x2*x4
+24*x3^2+41*x3*x4+45*x3*x5+25*x4^2+14*x5^2+4*x1,56*x2^2+15*x2*x4+24*x3^2+30*x3*
x4+18*x3*x5+10*x4^2+7*x5^2+3*x1,2*x2*x4*x5+63*x2^2+15*x2*x4+24*x3^2+33*x3*x4+54
*x3*x5+30*x4^2+7*x5^2+5*x1,3*x2*x4*x5+49*x2^2+15*x2*x4+12*x3^2+27*x3*x4+36*x3*
x5+20*x4^2+7*x5^2+3*x1,2*x2*x4*x5+56*x2^2+15*x2*x4+12*x3^2+30*x3*x4+36*x3*x5+20
*x4^2+14*x5^2+3*x1,2*x2*x4*x5+35*x2^2+5*x2*x4+12*x3^2+17*x3*x4+27*x3*x5+15*x4^2
+14*x5^2+3*x1,3*x2*x4*x5+35*x2^2+10*x2*x4+12*x3^2+19*x3*x4+36*x3*x5+20*x4^2+7*
x5^2+x1,x2*x4*x5+21*x2^2+10*x2*x4+18*x3^2+13*x3*x4+27*x3*x5+15*x4^2+x1,x2*x4*x5
+21*x2^2+6*x3^2+9*x3*x4+18*x3*x5+10*x4^2+7*x5^2+x1,x2*x4*x5+28*x2^2+12*x3*x4+18
*x3*x5+10*x4^2+7*x5^2+2*x1,x2*x4*x5+21*x2^2+5*x2*x4+6*x3^2+11*x3*x4+18*x3*x5+10
*x4^2+7*x5^2+2*x1,7*x2^2+5*x2*x4+6*x3^2+5*x3*x4+9*x3*x5+5*x4^2+x1,x2*x4*x5+7*x2
^2+3*x3*x4+9*x3*x5+5*x4^2+7*x5^2+x1],[8*x2*x4*x5+56*x2^2+20*x2*x4+12*x3^2+32*x3
*x4+9*x3*x5+5*x4^2+5*x1,9*x2*x4*x5+63*x2^2+15*x2*x4+18*x3^2+33*x3*x4+9*x3*x5+5*
x4^2+4*x1,9*x2*x4*x5+56*x2^2+30*x2*x4+18*x3^2+36*x3*x4+9*x3*x5+5*x4^2+5*x1,10*
x2*x4*x5+56*x2^2+25*x2*x4+24*x3^2+34*x3*x4+18*x3*x5+10*x4^2+5*x1,9*x2*x4*x5+21*
x2^2+10*x2*x4+18*x3^2+13*x3*x4+9*x3*x5+5*x4^2+3*x1,9*x2*x4*x5+49*x2^2+30*x2*x4+
18*x3^2+33*x3*x4+9*x3*x5+5*x4^2+4*x1,7*x2*x4*x5+42*x2^2+20*x2*x4+18*x3^2+26*x3*
x4+9*x3*x5+5*x4^2+2*x1,7*x2*x4*x5+35*x2^2+20*x2*x4+18*x3^2+23*x3*x4+18*x3*x5+10
*x4^2+3*x1,4*x2*x4*x5+35*x2^2+15*x2*x4+6*x3^2+21*x3*x4+18*x3*x5+10*x4^2+3*x1,5*
x2*x4*x5+28*x2^2+20*x2*x4+12*x3^2+20*x3*x4+9*x3*x5+5*x4^2+2*x1,5*x2*x4*x5+14*x2
^2+15*x2*x4+12*x3^2+12*x3*x4+x1,2*x2*x4*x5+14*x2^2+10*x2*x4+10*x3*x4+9*x3*x5+5*
x4^2+2*x1,2*x2*x4*x5+21*x2^2+10*x2*x4+13*x3*x4+9*x3*x5+5*x4^2+2*x1,3*x2*x4*x5+
21*x2^2+10*x2*x4+6*x3^2+13*x3*x4+9*x3*x5+5*x4^2+x1,2*x2*x4*x5+7*x2^2+5*x2*x4+6*
x3^2+5*x3*x4,14*x2^2+5*x2*x4+8*x3*x4+9*x3*x5+5*x4^2+x1],[8*x2*x4*x5+56*x2^2+5*
x2*x4+54*x3^2+26*x3*x4+2*x1,9*x2*x4*x5+49*x2^2+5*x2*x4+54*x3^2+23*x3*x4+3*x1,9*
x2*x4*x5+56*x2^2+5*x2*x4+72*x3^2+26*x3*x4+2*x1,8*x2*x4*x5+63*x2^2+10*x2*x4+66*
x3^2+31*x3*x4+4*x1,6*x2*x4*x5+49*x2^2+5*x2*x4+42*x3^2+23*x3*x4,8*x2*x4*x5+56*x2
^2+5*x2*x4+66*x3^2+26*x3*x4+2*x1,6*x2*x4*x5+28*x2^2+5*x2*x4+54*x3^2+14*x3*x4+3*
x1,6*x2*x4*x5+35*x2^2+10*x2*x4+54*x3^2+19*x3*x4+2*x1,4*x2*x4*x5+35*x2^2+10*x2*
x4+30*x3^2+19*x3*x4+2*x1,3*x2*x4*x5+28*x2^2+5*x2*x4+42*x3^2+14*x3*x4+3*x1,3*x2*
x4*x5+28*x2^2+30*x3^2+12*x3*x4+x1,x2*x4*x5+21*x2^2+5*x2*x4+18*x3^2+11*x3*x4+x1,
2*x2*x4*x5+14*x2^2+5*x2*x4+24*x3^2+8*x3*x4+x1,3*x2*x4*x5+14*x2^2+5*x2*x4+24*x3^
2+8*x3*x4+x1,2*x2*x4*x5+7*x2^2+12*x3^2+3*x3*x4,x2*x4*x5+7*x2^2+5*x2*x4+6*x3^2+5
*x3*x4+x1],[9*x2*x4*x5+28*x2^2+25*x2*x4+42*x3^2+22*x3*x4+3*x1,7*x2*x4*x5+42*x2^
2+30*x2*x4+42*x3^2+30*x3*x4+3*x1,11*x2*x4*x5+35*x2^2+30*x2*x4+42*x3^2+27*x3*x4+
3*x1,10*x2*x4*x5+56*x2^2+30*x2*x4+36*x3^2+36*x3*x4+4*x1,5*x2*x4*x5+21*x2^2+25*
x2*x4+24*x3^2+19*x3*x4+4*x1,10*x2*x4*x5+35*x2^2+25*x2*x4+36*x3^2+25*x3*x4+4*x1,
6*x2*x4*x5+42*x2^2+25*x2*x4+24*x3^2+28*x3*x4+2*x1,7*x2*x4*x5+35*x2^2+25*x2*x4+
30*x3^2+25*x3*x4+2*x1,6*x2*x4*x5+21*x2^2+10*x2*x4+30*x3^2+13*x3*x4+2*x1,6*x2*x4
*x5+35*x2^2+15*x2*x4+12*x3^2+21*x3*x4+2*x1,4*x2*x4*x5+21*x2^2+10*x2*x4+6*x3^2+
13*x3*x4+3*x1,4*x2*x4*x5+7*x2^2+5*x2*x4+12*x3^2+5*x3*x4+x1,4*x2*x4*x5+7*x2^2+10
*x2*x4+18*x3^2+7*x3*x4,3*x2*x4*x5+14*x2^2+10*x2*x4+18*x3^2+10*x3*x4+x1,x2*x4*x5
+7*x2^2+5*x2*x4+6*x3^2+5*x3*x4+x1,2*x2*x4*x5+7*x2^2+12*x3^2+3*x3*x4],[3*x2*x4*
x5+49*x2^2+30*x2*x4+30*x3^2+33*x3*x4+45*x3*x5+25*x4^2+2*x1,4*x2*x4*x5+42*x2^2+
30*x2*x4+24*x3^2+30*x3*x4+54*x3*x5+30*x4^2+3*x1,3*x2*x4*x5+63*x2^2+30*x2*x4+30*
x3^2+39*x3*x4+54*x3*x5+30*x4^2+3*x1,6*x2*x4*x5+63*x2^2+20*x2*x4+30*x3^2+35*x3*
x4+54*x3*x5+30*x4^2+4*x1,x2*x4*x5+42*x2^2+15*x2*x4+18*x3^2+24*x3*x4+45*x3*x5+25
*x4^2+3*x1,3*x2*x4*x5+70*x2^2+25*x2*x4+24*x3^2+40*x3*x4+45*x3*x5+25*x4^2+3*x1,4
*x2*x4*x5+42*x2^2+15*x2*x4+12*x3^2+24*x3*x4+45*x3*x5+25*x4^2+3*x1,4*x2*x4*x5+42
*x2^2+15*x2*x4+18*x3^2+24*x3*x4+45*x3*x5+25*x4^2+3*x1,4*x2*x4*x5+35*x2^2+15*x2*
x4+18*x3^2+21*x3*x4+18*x3*x5+10*x4^2+x1,4*x2*x4*x5+42*x2^2+5*x2*x4+12*x3^2+20*
x3*x4+27*x3*x5+15*x4^2+2*x1,x2*x4*x5+42*x2^2+5*x2*x4+6*x3^2+20*x3*x4+18*x3*x5+
10*x4^2+2*x1,2*x2*x4*x5+21*x2^2+5*x2*x4+12*x3^2+11*x3*x4+9*x3*x5+5*x4^2,2*x2*x4
*x5+14*x2^2+10*x2*x4+12*x3^2+10*x3*x4+18*x3*x5+10*x4^2,2*x2*x4*x5+21*x2^2+10*x2
*x4+6*x3^2+13*x3*x4+18*x3*x5+10*x4^2+x1,14*x2^2+5*x2*x4+8*x3*x4+9*x3*x5+5*x4^2+
x1,2*x2*x4*x5+7*x2^2+5*x2*x4+6*x3^2+5*x3*x4],[3*x2*x4*x5+21*x2^2+25*x2*x4+12*x3
^2+19*x3*x4+54*x3*x5+30*x4^2+35*x5^2+4*x1,3*x2*x4*x5+28*x2^2+20*x2*x4+18*x3^2+
20*x3*x4+54*x3*x5+30*x4^2+42*x5^2+3*x1,3*x2*x4*x5+28*x2^2+25*x2*x4+12*x3^2+22*
x3*x4+54*x3*x5+30*x4^2+42*x5^2+6*x1,4*x2*x4*x5+42*x2^2+25*x2*x4+24*x3^2+28*x3*
x4+36*x3*x5+20*x4^2+42*x5^2+5*x1,4*x2*x4*x5+28*x2^2+15*x2*x4+18*x3*x4+27*x3*x5+
15*x4^2+35*x5^2+2*x1,4*x2*x4*x5+28*x2^2+20*x2*x4+12*x3^2+20*x3*x4+45*x3*x5+25*
x4^2+35*x5^2+6*x1,2*x2*x4*x5+28*x2^2+10*x2*x4+18*x3^2+16*x3*x4+27*x3*x5+15*x4^2
+35*x5^2+4*x1,2*x2*x4*x5+35*x2^2+15*x2*x4+12*x3^2+21*x3*x4+27*x3*x5+15*x4^2+35*
x5^2+4*x1,2*x2*x4*x5+21*x2^2+15*x2*x4+12*x3^2+15*x3*x4+27*x3*x5+15*x4^2+14*x5^2
+3*x1,2*x2*x4*x5+21*x2^2+10*x2*x4+18*x3^2+13*x3*x4+9*x3*x5+5*x4^2+21*x5^2+4*x1,
3*x2*x4*x5+14*x2^2+5*x2*x4+6*x3^2+8*x3*x4+9*x3*x5+5*x4^2+14*x5^2+3*x1,x2*x4*x5+
7*x2^2+10*x2*x4+6*x3^2+7*x3*x4+9*x3*x5+5*x4^2+7*x5^2+2*x1,7*x2^2+10*x2*x4+6*x3^
2+7*x3*x4+18*x3*x5+10*x4^2+14*x5^2+2*x1,x2*x4*x5+14*x2^2+5*x2*x4+6*x3^2+8*x3*x4
+18*x3*x5+10*x4^2+14*x5^2+2*x1,x2*x4*x5+7*x2^2+3*x3*x4+9*x3*x5+5*x4^2+7*x5^2+x1
,7*x2^2+5*x2*x4+6*x3^2+5*x3*x4+9*x3*x5+5*x4^2+x1],[2*x2*x4*x5+28*x2^2+10*x2*x4+
18*x3^2+16*x3*x4+45*x3*x5+20*x3*x6+25*x4^2+50*x4*x5+42*x5^2+x1,3*x2*x4*x5+21*x2
^2+15*x2*x4+18*x3^2+15*x3*x4+36*x3*x5+24*x3*x6+20*x4^2+60*x4*x5+42*x5^2+x1,3*x2
*x4*x5+42*x2^2+10*x2*x4+18*x3^2+22*x3*x4+45*x3*x5+24*x3*x6+25*x4^2+60*x4*x5+42*
x5^2+x1,4*x2*x4*x5+35*x2^2+20*x2*x4+24*x3^2+23*x3*x4+45*x3*x5+24*x3*x6+25*x4^2+
60*x4*x5+28*x5^2+2*x1,3*x2*x4*x5+14*x2^2+24*x3^2+6*x3*x4+27*x3*x5+20*x3*x6+15*
x4^2+50*x4*x5+21*x5^2+x1,3*x2*x4*x5+42*x2^2+10*x2*x4+24*x3^2+22*x3*x4+36*x3*x5+
20*x3*x6+20*x4^2+50*x4*x5+35*x5^2+x1,3*x2*x4*x5+28*x2^2+15*x2*x4+12*x3^2+18*x3*
x4+18*x3*x5+20*x3*x6+10*x4^2+50*x4*x5+21*x5^2+x1,3*x2*x4*x5+28*x2^2+10*x2*x4+12
*x3^2+16*x3*x4+27*x3*x5+20*x3*x6+15*x4^2+50*x4*x5+21*x5^2+2*x1,x2*x4*x5+21*x2^2
+10*x2*x4+12*x3^2+13*x3*x4+27*x3*x5+8*x3*x6+15*x4^2+20*x4*x5+21*x5^2+2*x1,2*x2*
x4*x5+28*x2^2+15*x2*x4+12*x3^2+18*x3*x4+18*x3*x5+12*x3*x6+10*x4^2+30*x4*x5+7*x5
^2+x1,2*x2*x4*x5+21*x2^2+5*x2*x4+18*x3^2+11*x3*x4+9*x3*x5+8*x3*x6+5*x4^2+20*x4*
x5+7*x5^2,14*x2^2+5*x2*x4+6*x3^2+8*x3*x4+18*x3*x5+4*x3*x6+10*x4^2+10*x4*x5+7*x5
^2+x1,14*x2^2+5*x2*x4+8*x3*x4+18*x3*x5+8*x3*x6+10*x4^2+20*x4*x5+14*x5^2+x1,x2*
x4*x5+14*x2^2+5*x2*x4+6*x3^2+8*x3*x4+9*x3*x5+8*x3*x6+5*x4^2+20*x4*x5+14*x5^2+x1
,x2*x4*x5+7*x2^2+6*x3^2+3*x3*x4+4*x3*x6+10*x4*x5+7*x5^2,7*x2^2+5*x2*x4+5*x3*x4+
9*x3*x5+5*x4^2+7*x5^2+x1],[36*x2*x3*x4+2*x2*x3+10*x2*x4+23*x3^2+62*x3*x4+3*x1,
230*x2^2*x5+36*x2*x3*x4+82*x3*x4^2+2*x2*x3+20*x2*x4+25*x3^2+62*x3*x4+4*x1,14*x5
^3*x6+324*x2^2*x5+54*x2*x3*x4+123*x3*x4^2+93*x3*x6^2+4*x2*x3+30*x2*x4+34*x3^2+
93*x3*x4+4*x1,230*x2^2*x5+36*x2*x3*x4+82*x3*x4^2+2*x2*x3+10*x2*x4+30*x3^2+62*x3
*x4+4*x1,136*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+x2*x3+31*x3*x4+x1,14*x5^3*x6+230*x2
^2*x5+72*x2*x3*x4+82*x3*x4^2+93*x3*x6^2+4*x2*x3+20*x2*x4+25*x3^2+124*x3*x4+3*x1
,230*x2^2*x5+36*x2*x3*x4+82*x3*x4^2+x2*x3+10*x2*x4+23*x3^2+62*x3*x4+3*x1,14*x5^
3*x6+324*x2^2*x5+54*x2*x3*x4+123*x3*x4^2+93*x3*x6^2+3*x2*x3+30*x2*x4+27*x3^2+93
*x3*x4+3*x1,14*x5^3*x6+324*x2^2*x5+36*x2*x3*x4+123*x3*x4^2+93*x3*x6^2+3*x2*x3+
20*x2*x4+18*x3^2+62*x3*x4+3*x1,14*x5^3*x6+188*x2^2*x5+36*x2*x3*x4+82*x3*x4^2+93
*x3*x6^2+2*x2*x3+20*x2*x4+32*x3^2+62*x3*x4+2*x1,136*x2^2*x5+36*x2*x3*x4+41*x3*
x4^2+2*x2*x3+14*x3^2+62*x3*x4+2*x1,14*x5^3*x6+188*x2^2*x5+18*x2*x3*x4+82*x3*x4^
2+93*x3*x6^2+2*x2*x3+20*x2*x4+18*x3^2+31*x3*x4+x1,14*x5^3*x6+188*x2^2*x5+36*x2*
x3*x4+82*x3*x4^2+93*x3*x6^2+2*x2*x3+30*x2*x4+20*x3^2+62*x3*x4+x1,14*x5^3*x6+324
*x2^2*x5+36*x2*x3*x4+123*x3*x4^2+93*x3*x6^2+2*x2*x3+20*x2*x4+11*x3^2+62*x3*x4+
x1,136*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+x2*x3+31*x3*x4+x1,14*x5^3*x6+94*x2^2*x5+
18*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+x2*x3+10*x2*x4+2*x3^2+31*x3*x4],[36*x2*x3*x4+
x2*x3+35*x3^2+62*x3*x4+3*x1,94*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+2*x2*x3+20*x2*x4+
46*x3^2+62*x3*x4+3*x1,136*x2^2*x5+72*x2*x3*x4+41*x3*x4^2+3*x2*x3+30*x2*x4+55*x3
^2+124*x3*x4+4*x1,94*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+x2*x3+20*x2*x4+46*x3^2+62*
x3*x4+4*x1,94*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+10*x2*x4+16*x3^2+31*x3*x4,136*x2^2
*x5+72*x2*x3*x4+41*x3*x4^2+2*x2*x3+20*x2*x4+53*x3^2+124*x3*x4+3*x1,94*x2^2*x5+
18*x2*x3*x4+41*x3*x4^2+x2*x3+20*x2*x4+39*x3^2+31*x3*x4+3*x1,136*x2^2*x5+54*x2*
x3*x4+41*x3*x4^2+3*x2*x3+30*x2*x4+48*x3^2+93*x3*x4+3*x1,136*x2^2*x5+54*x2*x3*x4
+41*x3*x4^2+2*x2*x3+30*x2*x4+41*x3^2+93*x3*x4+2*x1,42*x2^2*x5+36*x2*x3*x4+2*x2*
x3+20*x2*x4+32*x3^2+62*x3*x4+4*x1,94*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+10*x2*x4+30
*x3^2+62*x3*x4+2*x1,42*x2^2*x5+36*x2*x3*x4+2*x2*x3+20*x2*x4+18*x3^2+62*x3*x4+2*
x1,42*x2^2*x5+36*x2*x3*x4+3*x2*x3+20*x2*x4+25*x3^2+62*x3*x4+2*x1,136*x2^2*x5+36
*x2*x3*x4+41*x3*x4^2+2*x2*x3+30*x2*x4+27*x3^2+62*x3*x4+x1,94*x2^2*x5+18*x2*x3*
x4+41*x3*x4^2+10*x2*x4+16*x3^2+31*x3*x4,42*x2^2*x5+18*x2*x3*x4+x2*x3+10*x2*x4+9
*x3^2+31*x3*x4],[72*x2*x3*x4+35*x3^2+124*x3*x4+2*x1,108*x2*x3*x4+2*x2*x3+10*x2*
x4+37*x3^2+186*x3*x4+2*x1,94*x2^2*x5+126*x2*x3*x4+41*x3*x4^2+3*x2*x3+10*x2*x4+
58*x3^2+217*x3*x4+3*x1,90*x2*x3*x4+2*x2*x3+10*x2*x4+44*x3^2+155*x3*x4+2*x1,18*
x2*x3*x4+x2*x3+10*x2*x4+9*x3^2+31*x3*x4+x1,94*x2^2*x5+90*x2*x3*x4+41*x3*x4^2+2*
x2*x3+10*x2*x4+51*x3^2+155*x3*x4+4*x1,72*x2*x3*x4+2*x2*x3+10*x2*x4+30*x3^2+124*
x3*x4+2*x1,94*x2^2*x5+108*x2*x3*x4+41*x3*x4^2+3*x2*x3+10*x2*x4+44*x3^2+186*x3*
x4+3*x1,94*x2^2*x5+90*x2*x3*x4+41*x3*x4^2+3*x2*x3+10*x2*x4+37*x3^2+155*x3*x4+2*
x1,94*x2^2*x5+72*x2*x3*x4+41*x3*x4^2+2*x2*x3+42*x3^2+124*x3*x4+2*x1,36*x2*x3*x4
+x2*x3+10*x2*x4+30*x3^2+62*x3*x4+2*x1,94*x2^2*x5+54*x2*x3*x4+41*x3*x4^2+2*x2*x3
+28*x3^2+93*x3*x4+x1,94*x2^2*x5+72*x2*x3*x4+41*x3*x4^2+2*x2*x3+28*x3^2+124*x3*
x4+2*x1,94*x2^2*x5+54*x2*x3*x4+41*x3*x4^2+3*x2*x3+10*x2*x4+23*x3^2+93*x3*x4+2*
x1,18*x2*x3*x4+x2*x3+10*x2*x4+9*x3^2+31*x3*x4+x1,94*x2^2*x5+18*x2*x3*x4+41*x3*
x4^2+x2*x3+7*x3^2+31*x3*x4+x1],[54*x2*x3*x4+3*x2*x3+21*x3^2+93*x3*x4+2*x1,90*x2
*x3*x4+5*x2*x3+28*x3^2+155*x3*x4+2*x1,126*x2*x3*x4+5*x2*x3+10*x2*x4+44*x3^2+217
*x3*x4+4*x1,108*x2*x3*x4+5*x2*x3+21*x3^2+186*x3*x4+2*x1,18*x2*x3*x4+2*x2*x3+7*
x3^2+31*x3*x4+x1,90*x2*x3*x4+4*x2*x3+10*x2*x4+44*x3^2+155*x3*x4+4*x1,90*x2*x3*
x4+4*x2*x3+21*x3^2+155*x3*x4+x1,108*x2*x3*x4+4*x2*x3+10*x2*x4+44*x3^2+186*x3*x4
+3*x1,90*x2*x3*x4+4*x2*x3+10*x2*x4+30*x3^2+155*x3*x4+3*x1,108*x2*x3*x4+2*x2*x3+
10*x2*x4+30*x3^2+186*x3*x4+2*x1,54*x2*x3*x4+3*x2*x3+14*x3^2+93*x3*x4+2*x1,72*x2
*x3*x4+x2*x3+10*x2*x4+23*x3^2+124*x3*x4+2*x1,72*x2*x3*x4+x2*x3+10*x2*x4+37*x3^2
+124*x3*x4+2*x1,72*x2*x3*x4+2*x2*x3+10*x2*x4+30*x3^2+124*x3*x4+2*x1,18*x2*x3*x4
+2*x2*x3+7*x3^2+31*x3*x4+x1,18*x2*x3*x4+10*x2*x4+16*x3^2+31*x3*x4+x1],[36*x2*x3
*x4+3*x2*x3+30*x2*x4+20*x3^2+62*x3*x4+x1,54*x2*x3*x4+3*x2*x3+40*x2*x4+36*x3^2+
93*x3*x4+2*x1,72*x2*x3*x4+5*x2*x3+40*x2*x4+57*x3^2+124*x3*x4+3*x1,54*x2*x3*x4+4
*x2*x3+40*x2*x4+36*x3^2+93*x3*x4+x1,36*x2*x3*x4+10*x2*x4+16*x3^2+62*x3*x4,90*x2
*x3*x4+4*x2*x3+30*x2*x4+48*x3^2+155*x3*x4+2*x1,54*x2*x3*x4+3*x2*x3+30*x2*x4+27*
x3^2+93*x3*x4+x1,72*x2*x3*x4+4*x2*x3+30*x2*x4+48*x3^2+124*x3*x4+3*x1,54*x2*x3*
x4+3*x2*x3+30*x2*x4+48*x3^2+93*x3*x4+2*x1,36*x2*x3*x4+5*x2*x3+20*x2*x4+32*x3^2+
62*x3*x4+2*x1,54*x2*x3*x4+2*x2*x3+20*x2*x4+25*x3^2+93*x3*x4,18*x2*x3*x4+3*x2*x3
+10*x2*x4+30*x3^2+31*x3*x4+2*x1,36*x2*x3*x4+3*x2*x3+10*x2*x4+30*x3^2+62*x3*x4+3
*x1,54*x2*x3*x4+2*x2*x3+10*x2*x4+37*x3^2+93*x3*x4+2*x1,36*x2*x3*x4+10*x2*x4+16*
x3^2+62*x3*x4,18*x2*x3*x4+x2*x3+14*x3^2+31*x3*x4+x1],[282*x2^2*x5+36*x2*x3*x4+
123*x3*x4^2+2*x2*x3+30*x2*x4+13*x3^2+62*x3*x4,376*x2^2*x5+36*x2*x3*x4+164*x3*x4
^2+2*x2*x3+30*x2*x4+27*x3^2+62*x3*x4+2*x1,376*x2^2*x5+90*x2*x3*x4+164*x3*x4^2+3
*x2*x3+40*x2*x4+36*x3^2+155*x3*x4+3*x1,376*x2^2*x5+36*x2*x3*x4+164*x3*x4^2+2*x2
*x3+40*x2*x4+22*x3^2+62*x3*x4+2*x1,94*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+x2*x3+7*x3
^2+31*x3*x4+x1,282*x2^2*x5+90*x2*x3*x4+123*x3*x4^2+4*x2*x3+30*x2*x4+27*x3^2+155
*x3*x4+2*x1,282*x2^2*x5+18*x2*x3*x4+123*x3*x4^2+2*x2*x3+30*x2*x4+20*x3^2+31*x3*
x4+2*x1,282*x2^2*x5+72*x2*x3*x4+123*x3*x4^2+3*x2*x3+30*x2*x4+34*x3^2+124*x3*x4+
3*x1,282*x2^2*x5+72*x2*x3*x4+123*x3*x4^2+2*x2*x3+20*x2*x4+25*x3^2+124*x3*x4+3*
x1,188*x2^2*x5+54*x2*x3*x4+82*x3*x4^2+2*x2*x3+40*x2*x4+22*x3^2+93*x3*x4+2*x1,
188*x2^2*x5+36*x2*x3*x4+82*x3*x4^2+2*x2*x3+20*x2*x4+11*x3^2+62*x3*x4+x1,94*x2^2
*x5+54*x2*x3*x4+41*x3*x4^2+x2*x3+20*x2*x4+18*x3^2+93*x3*x4+2*x1,94*x2^2*x5+54*
x2*x3*x4+41*x3*x4^2+2*x2*x3+20*x2*x4+25*x3^2+93*x3*x4+2*x1,94*x2^2*x5+54*x2*x3*
x4+41*x3*x4^2+2*x2*x3+10*x2*x4+23*x3^2+93*x3*x4+3*x1,94*x2^2*x5+18*x2*x3*x4+41*
x3*x4^2+x2*x3+7*x3^2+31*x3*x4+x1,36*x2*x3*x4+x2*x3+7*x3^2+62*x3*x4+x1],[408*x2^
2*x5+18*x2*x3*x4+123*x3*x4^2+2*x2*x3+20*x2*x4+4*x3^2+31*x3*x4,450*x2^2*x5+36*x2
*x3*x4+123*x3*x4^2+2*x2*x3+20*x2*x4+18*x3^2+62*x3*x4+x1,544*x2^2*x5+54*x2*x3*x4
+164*x3*x4^2+4*x2*x3+30*x2*x4+34*x3^2+93*x3*x4+x1,544*x2^2*x5+18*x2*x3*x4+164*
x3*x4^2+2*x2*x3+20*x2*x4+18*x3^2+31*x3*x4+x1,42*x2^2*x5+x2*x3+10*x2*x4+9*x3^2+
x1,408*x2^2*x5+36*x2*x3*x4+123*x3*x4^2+4*x2*x3+40*x2*x4+29*x3^2+62*x3*x4+x1,408
*x2^2*x5+18*x2*x3*x4+123*x3*x4^2+x2*x3+20*x2*x4+18*x3^2+31*x3*x4+x1,408*x2^2*x5
+54*x2*x3*x4+123*x3*x4^2+3*x2*x3+30*x2*x4+34*x3^2+93*x3*x4+x1,314*x2^2*x5+36*x2
*x3*x4+82*x3*x4^2+3*x2*x3+20*x2*x4+32*x3^2+62*x3*x4+x1,460*x2^2*x5+36*x2*x3*x4+
164*x3*x4^2+2*x2*x3+20*x2*x4+25*x3^2+62*x3*x4,272*x2^2*x5+82*x3*x4^2+2*x2*x3+20
*x2*x4+11*x3^2+x1,230*x2^2*x5+36*x2*x3*x4+82*x3*x4^2+2*x2*x3+10*x2*x4+23*x3^2+
62*x3*x4,230*x2^2*x5+54*x2*x3*x4+82*x3*x4^2+2*x2*x3+20*x2*x4+25*x3^2+93*x3*x4,
136*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+2*x2*x3+20*x2*x4+32*x3^2+62*x3*x4+x1,42*x2^2
*x5+x2*x3+10*x2*x4+9*x3^2+x1,18*x2*x3*x4+x2*x3+10*x2*x4+16*x3^2+31*x3*x4],[42*
x5^3*x6+314*x2^2*x5+82*x3*x4^2+279*x3*x6^2+x2*x3+20*x2*x4+4*x3^2,56*x5^3*x6+314
*x2^2*x5+36*x2*x3*x4+82*x3*x4^2+372*x3*x6^2+2*x2*x3+20*x2*x4+11*x3^2+62*x3*x4,
56*x5^3*x6+450*x2^2*x5+54*x2*x3*x4+123*x3*x4^2+372*x3*x6^2+3*x2*x3+40*x2*x4+15*
x3^2+93*x3*x4+x1,56*x5^3*x6+356*x2^2*x5+36*x2*x3*x4+82*x3*x4^2+372*x3*x6^2+x2*
x3+20*x2*x4+11*x3^2+62*x3*x4,14*x5^3*x6+94*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+93*x3
*x6^2+10*x2*x4+9*x3^2+31*x3*x4,42*x5^3*x6+502*x2^2*x5+36*x2*x3*x4+164*x3*x4^2+
279*x3*x6^2+2*x2*x3+40*x2*x4+15*x3^2+62*x3*x4+x1,42*x5^3*x6+314*x2^2*x5+36*x2*
x3*x4+82*x3*x4^2+279*x3*x6^2+x2*x3+10*x2*x4+9*x3^2+62*x3*x4,42*x5^3*x6+408*x2^2
*x5+54*x2*x3*x4+123*x3*x4^2+279*x3*x6^2+3*x2*x3+30*x2*x4+13*x3^2+93*x3*x4+x1,42
*x5^3*x6+272*x2^2*x5+54*x2*x3*x4+82*x3*x4^2+279*x3*x6^2+2*x2*x3+30*x2*x4+13*x3^
2+93*x3*x4+x1,28*x5^3*x6+356*x2^2*x5+36*x2*x3*x4+82*x3*x4^2+186*x3*x6^2+2*x2*x3
+20*x2*x4+4*x3^2+62*x3*x4+x1,28*x5^3*x6+272*x2^2*x5+18*x2*x3*x4+82*x3*x4^2+186*
x3*x6^2+20*x2*x4+11*x3^2+31*x3*x4,14*x5^3*x6+178*x2^2*x5+36*x2*x3*x4+41*x3*x4^2
+93*x3*x6^2+2*x2*x3+20*x2*x4+4*x3^2+62*x3*x4+x1,14*x5^3*x6+272*x2^2*x5+36*x2*x3
*x4+82*x3*x4^2+93*x3*x6^2+3*x2*x3+20*x2*x4+4*x3^2+62*x3*x4+x1,14*x5^3*x6+230*x2
^2*x5+54*x2*x3*x4+82*x3*x4^2+93*x3*x6^2+2*x2*x3+20*x2*x4+11*x3^2+93*x3*x4+x1,14
*x5^3*x6+94*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+10*x2*x4+9*x3^2+31*x3*x4,
94*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+x2*x3+10*x2*x4+2*x3^2+31*x3*x4+x1]]);
