AA0 := Matrix(18, 18, [[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,10*x6^3*x2,0,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,4*x3*
x6+10*x4*x5,0,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,7*x5^2,0,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,9*x3*x5+
5*x4^2,0,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,5*x2*x4+2*x3*x4,0,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,6*x3
^2,0,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,x2*x4*x5,0,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,7*x2^2+3*
x3*x4,0,0,0,0,0,0,0,0,0],[10*x6^3*x2,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,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,15*x2^3*x6],[0,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,14*x5^3*x6+93*x3*x6^2],[0,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,42*x2^2*
x5],[0,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,94*x2^2*x5+41*x3*x4^2],[0,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,10*x2*x4+2*x3^2],[0,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,x2*x3],[0,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,18*x2*x3*x4+31*x3*x4],[0,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,7*x3^2],[0,0,0,0,0,0,0,0,0,15*x2^3*x6,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(9, 9, [[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,10*x6^3*x2],[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,4*x3*x6+10*x4*x5],[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,7*x5^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,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,6*x3^2,5*x2*x4+2*x3*x4],[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,6*x3^2],[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,
x2*x4*x5],[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,7*x2^2+3*x3*x4],[10*x6^3*x2,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(9, 9, [[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,15*x2^3*x6],[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,14
*x5^3*x6+93*x3*x6^2],[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,42*x2^2*x5],[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,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,x2*x3,10*x2*x4+2*x3^2],[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,x2*x3],[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,18*x2*x3*x4+31*x3*x4],[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,7*x3^2],[15*x2^3*
x6,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(18, 18, [[1,1,1,1,0,0,1,1,0,1,0,0,0,0,0,1,0,0],[0,1,0,1,0,0,0,1,1,
0,1,0,1,0,0,0,1,1],[0,0,1,1,1,1,1,1,1,1,0,0,1,1,0,1,1,0],[0,0,0,1,0,1,0,1,1,1,1
,0,1,0,1,0,0,1],[0,0,0,0,1,1,1,1,0,0,0,1,1,0,0,1,1,0],[0,0,0,0,0,1,0,1,0,0,0,1,
0,1,0,0,1,1],[0,0,0,0,0,0,1,0,1,0,0,0,0,0,1,0,1,0],[0,0,0,0,0,0,0,1,1,0,0,0,1,0
,1,1,0,1],[0,0,0,0,0,0,0,0,1,1,0,1,0,0,0,1,1,0],[0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,
1,0,1],[0,0,0,0,0,0,0,0,0,0,1,1,0,1,1,1,0,0],[0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0
,1],[0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1],[0,0,0,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,0,0,1,0,0,0],[0,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,0,0,1,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1]]);
P2 := Matrix(18, 18, [[1,0,0,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,0,0],[1,1,1,0,0,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],[0,1,1,0,1,0,0,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,0,0,0,0],[0,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0],[0,0,1,0,0,1,0,1,0,0,0,0,0,0
,0,0,0,0],[1,0,0,1,0,1,0,1,1,0,0,0,0,0,0,0,0,0],[0,0,1,1,0,0,0,0,1,1,0,0,0,0,0,
0,0,0],[0,0,0,1,1,0,1,0,1,0,1,0,0,0,0,0,0,0],[0,0,0,1,1,0,0,0,0,1,0,1,0,0,0,0,0
,0],[1,1,1,1,1,0,0,1,0,0,1,1,1,0,0,0,0,0],[0,1,1,0,0,1,1,1,0,0,1,0,1,1,0,0,0,0]
,[1,0,1,0,1,0,0,1,0,0,1,1,1,0,1,0,0,0],[0,0,0,1,1,0,0,0,1,1,1,1,0,1,1,1,0,0],[1
,1,1,0,0,0,0,0,0,1,1,0,0,1,1,1,1,0],[0,1,1,0,0,0,1,0,1,0,1,0,0,1,0,0,1,1]]);
AA := Matrix(18, 18, [[20*x2*x6^3+4*x2*x4*x5+28*x2^2+10*x2*x4+18*x3^2+16*x3*x4+
9*x3*x5+12*x3*x6+5*x4^2+30*x4*x5+21*x5^2+3*x1,10*x2*x6^3+6*x2*x4*x5+28*x2^2+20*
x2*x4+18*x3^2+20*x3*x4+36*x3*x5+8*x3*x6+20*x4^2+20*x4*x5+7*x5^2+2*x1,20*x2*x6^3
+9*x2*x4*x5+35*x2^2+25*x2*x4+42*x3^2+25*x3*x4+45*x3*x5+16*x3*x6+25*x4^2+40*x4*
x5+14*x5^2+4*x1,40*x2*x6^3+6*x2*x4*x5+28*x2^2+20*x2*x4+30*x3^2+20*x3*x4+9*x3*x5
+12*x3*x6+5*x4^2+30*x4*x5+14*x5^2+4*x1,20*x2*x6^3+3*x2*x4*x5+14*x2^2+20*x2*x4+
18*x3^2+14*x3*x4+9*x3*x5+12*x3*x6+5*x4^2+30*x4*x5+7*x5^2+x1,10*x2*x6^3+4*x2*x4*
x5+14*x2^2+10*x2*x4+18*x3^2+10*x3*x4+27*x3*x5+8*x3*x6+15*x4^2+20*x4*x5+7*x5^2+
x1,2*x2*x4*x5+14*x2^2+5*x2*x4+12*x3^2+8*x3*x4+18*x3*x5+4*x3*x6+10*x4^2+10*x4*x5
+7*x5^2+x1,10*x2*x6^3+4*x2*x4*x5+21*x2^2+10*x2*x4+24*x3^2+13*x3*x4+18*x3*x5+16*
x3*x6+10*x4^2+40*x4*x5+14*x5^2+x1,30*x2*x6^3+3*x2*x4*x5+21*x2^2+5*x2*x4+24*x3^2
+11*x3*x4+9*x3*x5+12*x3*x6+5*x4^2+30*x4*x5+7*x5^2+2*x1,40*x2*x6^3+3*x2*x4*x5+7*
x2^2+15*x2*x4+6*x3^2+9*x3*x4+18*x3*x5+4*x3*x6+10*x4^2+10*x4*x5+7*x5^2+2*x1,20*
x2*x6^3+4*x2*x4*x5+28*x2^2+15*x2*x4+24*x3^2+18*x3*x4+27*x3*x5+16*x3*x6+15*x4^2+
40*x4*x5+14*x5^2+x1,20*x2*x6^3+2*x2*x4*x5+7*x2^2+15*x2*x4+12*x3^2+9*x3*x4+9*x3*
x5+12*x3*x6+5*x4^2+30*x4*x5+7*x5^2+x1,2*x2*x4*x5+7*x2^2+5*x2*x4+12*x3^2+5*x3*x4
+9*x3*x5+8*x3*x6+5*x4^2+20*x4*x5+7*x5^2,20*x2*x6^3+3*x2*x4*x5+14*x2^2+10*x2*x4+
6*x3^2+10*x3*x4+27*x3*x5+8*x3*x6+15*x4^2+20*x4*x5+7*x5^2+x1,20*x2*x6^3+2*x2*x4*
x5+7*x2^2+10*x2*x4+6*x3^2+7*x3*x4+9*x3*x5+8*x3*x6+5*x4^2+20*x4*x5+14*x5^2+x1,20
*x2*x6^3+2*x2*x4*x5+7*x2^2+10*x2*x4+7*x3*x4+9*x3*x5+4*x3*x6+5*x4^2+10*x4*x5+7*
x5^2+x1,10*x2*x6^3+x2*x4*x5+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,7*x2^2+6*x3^2+3*x3*x4+9*x3*x5+4*x3*x6+5*x4^2+10*x4*x5],[3*
x2*x4*x5+49*x2^2+5*x2*x4+12*x3^2+23*x3*x4+27*x3*x5+8*x3*x6+15*x4^2+20*x4*x5+21*
x5^2+4*x1,3*x2*x4*x5+56*x2^2+20*x2*x4+24*x3^2+32*x3*x4+9*x3*x5+4*x3*x6+5*x4^2+
10*x4*x5+14*x5^2+4*x1,7*x2*x4*x5+91*x2^2+25*x2*x4+30*x3^2+49*x3*x4+18*x3*x5+8*
x3*x6+10*x4^2+20*x4*x5+28*x5^2+5*x1,5*x2*x4*x5+70*x2^2+5*x2*x4+24*x3^2+32*x3*x4
+18*x3*x5+16*x3*x6+10*x4^2+40*x4*x5+21*x5^2+4*x1,3*x2*x4*x5+28*x2^2+5*x2*x4+24*
x3^2+14*x3*x4+9*x3*x5+8*x3*x6+5*x4^2+20*x4*x5+21*x5^2+2*x1,3*x2*x4*x5+35*x2^2+
15*x2*x4+12*x3^2+21*x3*x4+9*x3*x5+4*x3*x6+5*x4^2+10*x4*x5+14*x5^2+2*x1,2*x2*x4*
x5+21*x2^2+10*x2*x4+6*x3^2+13*x3*x4+9*x3*x5+5*x4^2+7*x5^2+2*x1,4*x2*x4*x5+35*x2
^2+10*x2*x4+12*x3^2+19*x3*x4+18*x3*x5+4*x3*x6+10*x4^2+10*x4*x5+28*x5^2+3*x1,4*
x2*x4*x5+35*x2^2+5*x2*x4+6*x3^2+17*x3*x4+9*x3*x5+12*x3*x6+5*x4^2+30*x4*x5+21*x5
^2+3*x1,x2*x4*x5+35*x2^2+10*x2*x4+18*x3^2+19*x3*x4+9*x3*x5+16*x3*x6+5*x4^2+40*
x4*x5+7*x5^2+x1,4*x2*x4*x5+35*x2^2+15*x2*x4+18*x3^2+21*x3*x4+18*x3*x5+8*x3*x6+
10*x4^2+20*x4*x5+28*x5^2+4*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+21*x5^2+x1,2*x2*x4*x5+14*x2^2+5*x2*x4+6*x3^2+8*x3*x4
+9*x3*x5+5*x4^2+14*x5^2+x1,x2*x4*x5+28*x2^2+15*x2*x4+12*x3^2+18*x3*x4+9*x3*x5+8
*x3*x6+5*x4^2+20*x4*x5+14*x5^2+2*x1,x2*x4*x5+21*x2^2+5*x2*x4+12*x3^2+11*x3*x4+
18*x3*x5+8*x3*x6+10*x4^2+20*x4*x5+14*x5^2+x1,21*x2^2+5*x2*x4+12*x3^2+11*x3*x4+9
*x3*x5+8*x3*x6+5*x4^2+20*x4*x5+7*x5^2+x1,x2*x4*x5+7*x2^2+10*x2*x4+6*x3^2+7*x3*
x4+9*x3*x5+4*x3*x6+5*x4^2+10*x4*x5+7*x5^2+2*x1,x2*x4*x5+5*x2*x4+2*x3*x4+7*x5^2+
x1],[5*x2*x4*x5+49*x2^2+15*x2*x4+6*x3^2+27*x3*x4+27*x3*x5+15*x4^2+14*x5^2+4*x1,
6*x2*x4*x5+49*x2^2+5*x2*x4+24*x3^2+23*x3*x4+18*x3*x5+10*x4^2+7*x5^2+6*x1,9*x2*
x4*x5+84*x2^2+10*x2*x4+30*x3^2+40*x3*x4+36*x3*x5+20*x4^2+14*x5^2+9*x1,8*x2*x4*
x5+63*x2^2+10*x2*x4+6*x3^2+31*x3*x4+27*x3*x5+15*x4^2+28*x5^2+6*x1,5*x2*x4*x5+35
*x2^2+5*x2*x4+6*x3^2+17*x3*x4+27*x3*x5+15*x4^2+14*x5^2+3*x1,3*x2*x4*x5+35*x2^2+
5*x2*x4+18*x3^2+17*x3*x4+18*x3*x5+10*x4^2+7*x5^2+4*x1,2*x2*x4*x5+28*x2^2+5*x2*
x4+12*x3^2+14*x3*x4+9*x3*x5+5*x4^2+2*x1,3*x2*x4*x5+49*x2^2+10*x2*x4+12*x3^2+25*
x3*x4+36*x3*x5+20*x4^2+7*x5^2+4*x1,3*x2*x4*x5+49*x2^2+5*x2*x4+6*x3^2+23*x3*x4+
27*x3*x5+15*x4^2+21*x5^2+3*x1,5*x2*x4*x5+14*x2^2+5*x2*x4+12*x3^2+8*x3*x4+9*x3*
x5+5*x4^2+28*x5^2+3*x1,4*x2*x4*x5+56*x2^2+10*x2*x4+18*x3^2+28*x3*x4+36*x3*x5+20
*x4^2+14*x5^2+4*x1,4*x2*x4*x5+21*x2^2+5*x2*x4+6*x3^2+11*x3*x4+27*x3*x5+15*x4^2+
14*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+2*x1,3*
x2*x4*x5+21*x2^2+5*x2*x4+18*x3^2+11*x3*x4+18*x3*x5+10*x4^2+14*x5^2+3*x1,3*x2*x4
*x5+14*x2^2+10*x2*x4+6*x3^2+10*x3*x4+18*x3*x5+10*x4^2+14*x5^2+2*x1,3*x2*x4*x5+7
*x2^2+5*x2*x4+6*x3^2+5*x3*x4+9*x3*x5+5*x4^2+14*x5^2+2*x1,x2*x4*x5+21*x2^2+5*x2*
x4+12*x3^2+11*x3*x4+9*x3*x5+5*x4^2+7*x5^2+x1,14*x2^2+6*x3^2+6*x3*x4+9*x3*x5+5*
x4^2],[5*x2*x4*x5+42*x2^2+15*x2*x4+36*x3^2+24*x3*x4+18*x3*x5+10*x4^2+3*x1,8*x2*
x4*x5+70*x2^2+10*x2*x4+18*x3^2+34*x3*x4+9*x3*x5+5*x4^2+3*x1,10*x2*x4*x5+98*x2^2
+20*x2*x4+36*x3^2+50*x3*x4+18*x3*x5+10*x4^2+7*x1,5*x2*x4*x5+70*x2^2+15*x2*x4+36
*x3^2+36*x3*x4+36*x3*x5+20*x4^2+5*x1,3*x2*x4*x5+49*x2^2+15*x2*x4+12*x3^2+27*x3*
x4+18*x3*x5+10*x4^2+3*x1,5*x2*x4*x5+42*x2^2+10*x2*x4+12*x3^2+22*x3*x4+9*x3*x5+5
*x4^2+3*x1,4*x2*x4*x5+21*x2^2+5*x2*x4+12*x3^2+11*x3*x4+2*x1,5*x2*x4*x5+42*x2^2+
20*x2*x4+18*x3^2+26*x3*x4+9*x3*x5+5*x4^2+4*x1,4*x2*x4*x5+28*x2^2+15*x2*x4+18*x3
^2+18*x3*x4+27*x3*x5+15*x4^2+4*x1,3*x2*x4*x5+42*x2^2+5*x2*x4+18*x3^2+20*x3*x4+
36*x3*x5+20*x4^2+x1,7*x2*x4*x5+49*x2^2+20*x2*x4+18*x3^2+29*x3*x4+18*x3*x5+10*x4
^2+4*x1,2*x2*x4*x5+35*x2^2+15*x2*x4+12*x3^2+21*x3*x4+18*x3*x5+10*x4^2+2*x1,2*x2
*x4*x5+21*x2^2+10*x2*x4+6*x3^2+13*x3*x4+2*x1,5*x2*x4*x5+35*x2^2+10*x2*x4+12*x3^
2+19*x3*x4+18*x3*x5+10*x4^2+x1,2*x2*x4*x5+28*x2^2+10*x2*x4+18*x3^2+16*x3*x4+18*
x3*x5+10*x4^2+x1,2*x2*x4*x5+28*x2^2+5*x2*x4+12*x3^2+14*x3*x4+18*x3*x5+10*x4^2,4
*x2*x4*x5+14*x2^2+5*x2*x4+6*x3^2+8*x3*x4+9*x3*x5+5*x4^2+x1,2*x2*x4*x5+5*x2*x4+2
*x3*x4+x1],[7*x2*x4*x5+28*x2^2+25*x2*x4+42*x3^2+22*x3*x4+2*x1,7*x2*x4*x5+49*x2^
2+15*x2*x4+36*x3^2+27*x3*x4+4*x1,11*x2*x4*x5+84*x2^2+30*x2*x4+54*x3^2+48*x3*x4+
5*x1,8*x2*x4*x5+42*x2^2+40*x2*x4+42*x3^2+34*x3*x4+4*x1,4*x2*x4*x5+28*x2^2+15*x2
*x4+30*x3^2+18*x3*x4+4*x1,5*x2*x4*x5+42*x2^2+10*x2*x4+24*x3^2+22*x3*x4+2*x1,3*
x2*x4*x5+28*x2^2+5*x2*x4+18*x3^2+14*x3*x4+x1,6*x2*x4*x5+42*x2^2+10*x2*x4+42*x3^
2+22*x3*x4+2*x1,4*x2*x4*x5+35*x2^2+25*x2*x4+36*x3^2+25*x3*x4+x1,4*x2*x4*x5+21*
x2^2+30*x2*x4+12*x3^2+21*x3*x4+3*x1,6*x2*x4*x5+49*x2^2+15*x2*x4+48*x3^2+27*x3*
x4+3*x1,3*x2*x4*x5+21*x2^2+15*x2*x4+24*x3^2+15*x3*x4+3*x1,3*x2*x4*x5+21*x2^2+18
*x3^2+9*x3*x4+x1,4*x2*x4*x5+28*x2^2+15*x2*x4+24*x3^2+18*x3*x4+2*x1,4*x2*x4*x5+
14*x2^2+15*x2*x4+18*x3^2+12*x3*x4+2*x1,3*x2*x4*x5+7*x2^2+15*x2*x4+12*x3^2+9*x3*
x4+2*x1,2*x2*x4*x5+21*x2^2+5*x2*x4+18*x3^2+11*x3*x4+x1,14*x2^2+12*x3^2+6*x3*x4]
,[6*x2*x4*x5+35*x2^2+20*x2*x4+36*x3^2+23*x3*x4+27*x3*x5+15*x4^2+x1,5*x2*x4*x5+
35*x2^2+20*x2*x4+42*x3^2+23*x3*x4+18*x3*x5+10*x4^2+4*x1,11*x2*x4*x5+49*x2^2+25*
x2*x4+66*x3^2+31*x3*x4+36*x3*x5+20*x4^2+5*x1,8*x2*x4*x5+42*x2^2+20*x2*x4+60*x3^
2+26*x3*x4+36*x3*x5+20*x4^2+x1,6*x2*x4*x5+35*x2^2+10*x2*x4+30*x3^2+19*x3*x4+9*
x3*x5+5*x4^2+x1,5*x2*x4*x5+21*x2^2+10*x2*x4+30*x3^2+13*x3*x4+9*x3*x5+5*x4^2+3*
x1,3*x2*x4*x5+14*x2^2+10*x2*x4+12*x3^2+10*x3*x4+9*x3*x5+5*x4^2+2*x1,8*x2*x4*x5+
28*x2^2+15*x2*x4+30*x3^2+18*x3*x4+9*x3*x5+5*x4^2+2*x1,7*x2*x4*x5+14*x2^2+15*x2*
x4+36*x3^2+12*x3*x4+18*x3*x5+10*x4^2+x1,2*x2*x4*x5+28*x2^2+5*x2*x4+42*x3^2+14*
x3*x4+18*x3*x5+10*x4^2+2*x1,8*x2*x4*x5+35*x2^2+20*x2*x4+36*x3^2+23*x3*x4+9*x3*
x5+5*x4^2+3*x1,5*x2*x4*x5+28*x2^2+5*x2*x4+24*x3^2+14*x3*x4+9*x3*x5+5*x4^2+x1,4*
x2*x4*x5+14*x2^2+5*x2*x4+12*x3^2+8*x3*x4+x1,3*x2*x4*x5+21*x2^2+10*x2*x4+30*x3^2
+13*x3*x4+9*x3*x5+5*x4^2+3*x1,3*x2*x4*x5+28*x2^2+5*x2*x4+24*x3^2+14*x3*x4+9*x3*
x5+5*x4^2+x1,x2*x4*x5+21*x2^2+5*x2*x4+24*x3^2+11*x3*x4+9*x3*x5+5*x4^2+x1,2*x2*
x4*x5+14*x2^2+10*x2*x4+12*x3^2+10*x3*x4+2*x1,2*x2*x4*x5+5*x2*x4+2*x3*x4+x1],[4*
x2*x4*x5+28*x2^2+20*x2*x4+18*x3^2+20*x3*x4+36*x3*x5+20*x4^2+21*x5^2+3*x1,5*x2*
x4*x5+42*x2^2+30*x2*x4+18*x3^2+30*x3*x4+36*x3*x5+20*x4^2+14*x5^2+x1,7*x2*x4*x5+
63*x2^2+45*x2*x4+42*x3^2+45*x3*x4+45*x3*x5+25*x4^2+28*x5^2+2*x1,8*x2*x4*x5+28*
x2^2+30*x2*x4+30*x3^2+24*x3*x4+36*x3*x5+20*x4^2+28*x5^2+2*x1,6*x2*x4*x5+28*x2^2
+15*x2*x4+18*x3^2+18*x3*x4+18*x3*x5+10*x4^2+7*x5^2+x1,3*x2*x4*x5+35*x2^2+20*x2*
x4+18*x3^2+23*x3*x4+18*x3*x5+10*x4^2+7*x5^2+x1,x2*x4*x5+21*x2^2+10*x2*x4+12*x3^
2+13*x3*x4+18*x3*x5+10*x4^2+7*x5^2+x1,3*x2*x4*x5+42*x2^2+20*x2*x4+24*x3^2+26*x3
*x4+27*x3*x5+15*x4^2+7*x5^2+2*x1,4*x2*x4*x5+28*x2^2+15*x2*x4+24*x3^2+18*x3*x4+
27*x3*x5+15*x4^2+14*x5^2+x1,7*x2*x4*x5+21*x2^2+15*x2*x4+6*x3^2+15*x3*x4+9*x3*x5
+5*x4^2+14*x5^2+x1,5*x2*x4*x5+49*x2^2+20*x2*x4+24*x3^2+29*x3*x4+36*x3*x5+20*x4^
2+7*x5^2+2*x1,5*x2*x4*x5+28*x2^2+10*x2*x4+12*x3^2+16*x3*x4+9*x3*x5+5*x4^2+7*x5^
2+x1,x2*x4*x5+21*x2^2+10*x2*x4+12*x3^2+13*x3*x4+9*x3*x5+5*x4^2+x1,4*x2*x4*x5+35
*x2^2+15*x2*x4+6*x3^2+21*x3*x4+18*x3*x5+10*x4^2+7*x5^2+x1,4*x2*x4*x5+21*x2^2+10
*x2*x4+6*x3^2+13*x3*x4+9*x3*x5+5*x4^2+7*x5^2+2*x1,4*x2*x4*x5+14*x2^2+10*x2*x4+
10*x3*x4+9*x3*x5+5*x4^2+7*x5^2+x1,2*x2*x4*x5+21*x2^2+5*x2*x4+6*x3^2+11*x3*x4+18
*x3*x5+10*x4^2+x1,14*x2^2+6*x3^2+6*x3*x4+9*x3*x5+5*x4^2],[x2*x4*x5+35*x2^2+15*
x2*x4+12*x3^2+21*x3*x4+36*x3*x5+12*x3*x6+20*x4^2+30*x4*x5+28*x5^2+3*x1,4*x2*x4*
x5+14*x2^2+15*x2*x4+24*x3^2+12*x3*x4+54*x3*x5+8*x3*x6+30*x4^2+20*x4*x5+28*x5^2+
2*x1,5*x2*x4*x5+28*x2^2+35*x2*x4+30*x3^2+26*x3*x4+81*x3*x5+16*x3*x6+45*x4^2+40*
x4*x5+35*x5^2+4*x1,x2*x4*x5+42*x2^2+25*x2*x4+24*x3^2+28*x3*x4+54*x3*x5+16*x3*x6
+30*x4^2+40*x4*x5+28*x5^2+3*x1,x2*x4*x5+21*x2^2+15*x2*x4+24*x3^2+15*x3*x4+27*x3
*x5+4*x3*x6+15*x4^2+10*x4*x5+14*x5^2+3*x1,3*x2*x4*x5+14*x2^2+15*x2*x4+12*x3^2+
12*x3*x4+36*x3*x5+4*x3*x6+20*x4^2+10*x4*x5+14*x5^2+2*x1,2*x2*x4*x5+7*x2^2+10*x2
*x4+6*x3^2+7*x3*x4+18*x3*x5+4*x3*x6+10*x4^2+10*x4*x5+14*x5^2+x1,2*x2*x4*x5+21*
x2^2+20*x2*x4+12*x3^2+17*x3*x4+36*x3*x5+4*x3*x6+20*x4^2+10*x4*x5+21*x5^2+4*x1,
x2*x4*x5+28*x2^2+20*x2*x4+6*x3^2+20*x3*x4+27*x3*x5+8*x3*x6+15*x4^2+20*x4*x5+21*
x5^2+3*x1,2*x2*x4*x5+35*x2^2+5*x2*x4+18*x3^2+17*x3*x4+27*x3*x5+8*x3*x6+15*x4^2+
20*x4*x5+7*x5^2+x1,3*x2*x4*x5+28*x2^2+20*x2*x4+18*x3^2+20*x3*x4+36*x3*x5+4*x3*
x6+20*x4^2+10*x4*x5+28*x5^2+4*x1,x2*x4*x5+21*x2^2+10*x2*x4+18*x3^2+13*x3*x4+18*
x3*x5+4*x3*x6+10*x4^2+10*x4*x5+7*x5^2+3*x1,x2*x4*x5+7*x2^2+10*x2*x4+6*x3^2+7*x3
*x4+18*x3*x5+10*x4^2+7*x5^2+2*x1,3*x2*x4*x5+21*x2^2+5*x2*x4+12*x3^2+11*x3*x4+27
*x3*x5+4*x3*x6+15*x4^2+10*x4*x5+14*x5^2+2*x1,x2*x4*x5+28*x2^2+5*x2*x4+12*x3^2+
14*x3*x4+18*x3*x5+4*x3*x6+10*x4^2+10*x4*x5+7*x5^2+2*x1,x2*x4*x5+21*x2^2+12*x3^2
+9*x3*x4+18*x3*x5+4*x3*x6+10*x4^2+10*x4*x5+7*x5^2+x1,2*x2*x4*x5+14*x2^2+5*x2*x4
+6*x3^2+8*x3*x4+9*x3*x5+5*x4^2+14*x5^2+x1,x2*x4*x5+5*x2*x4+2*x3*x4+7*x5^2+x1],[
30*x2*x6^3+3*x2*x4*x5+21*x2^2+10*x2*x4+6*x3^2+13*x3*x4+27*x3*x5+16*x3*x6+15*x4^
2+40*x4*x5+28*x5^2+2*x1,20*x2*x6^3+x2*x4*x5+14*x2^2+20*x2*x4+24*x3^2+14*x3*x4+
27*x3*x5+16*x3*x6+15*x4^2+40*x4*x5+42*x5^2+x1,40*x2*x6^3+2*x2*x4*x5+28*x2^2+25*
x2*x4+30*x3^2+22*x3*x4+63*x3*x5+20*x3*x6+35*x4^2+50*x4*x5+63*x5^2+2*x1,40*x2*x6
^3+2*x2*x4*x5+21*x2^2+20*x2*x4+6*x3^2+17*x3*x4+45*x3*x5+16*x3*x6+25*x4^2+40*x4*
x5+42*x5^2+4*x1,10*x2*x6^3+x2*x4*x5+21*x2^2+20*x2*x4+6*x3^2+17*x3*x4+27*x3*x5+8
*x3*x6+15*x4^2+20*x4*x5+21*x5^2+2*x1,10*x2*x6^3+x2*x4*x5+14*x2^2+10*x2*x4+18*x3
^2+10*x3*x4+27*x3*x5+8*x3*x6+15*x4^2+20*x4*x5+28*x5^2+x1,10*x2*x6^3+x2*x4*x5+7*
x2^2+5*x2*x4+12*x3^2+5*x3*x4+18*x3*x5+8*x3*x6+10*x4^2+20*x4*x5+14*x5^2,10*x2*x6
^3+2*x2*x4*x5+28*x2^2+10*x2*x4+12*x3^2+16*x3*x4+36*x3*x5+12*x3*x6+20*x4^2+30*x4
*x5+28*x5^2+x1,20*x2*x6^3+x2*x4*x5+21*x2^2+5*x2*x4+6*x3^2+11*x3*x4+36*x3*x5+12*
x3*x6+20*x4^2+30*x4*x5+21*x5^2+3*x1,20*x2*x6^3+x2*x4*x5+7*x2^2+15*x2*x4+12*x3^2
+9*x3*x4+9*x3*x5+4*x3*x6+5*x4^2+10*x4*x5+21*x5^2+4*x1,10*x2*x6^3+2*x2*x4*x5+28*
x2^2+15*x2*x4+18*x3^2+18*x3*x4+36*x3*x5+16*x3*x6+20*x4^2+40*x4*x5+28*x5^2+2*x1,
10*x2*x6^3+x2*x4*x5+21*x2^2+15*x2*x4+6*x3^2+15*x3*x4+18*x3*x5+4*x3*x6+10*x4^2+
10*x4*x5+14*x5^2+2*x1,x2*x4*x5+14*x2^2+5*x2*x4+6*x3^2+8*x3*x4+18*x3*x5+4*x3*x6+
10*x4^2+10*x4*x5+14*x5^2,10*x2*x6^3+x2*x4*x5+14*x2^2+10*x2*x4+18*x3^2+10*x3*x4+
9*x3*x5+8*x3*x6+5*x4^2+20*x4*x5+21*x5^2+2*x1,10*x2*x6^3+2*x2*x4*x5+14*x2^2+10*
x2*x4+6*x3^2+10*x3*x4+9*x3*x5+4*x3*x6+5*x4^2+10*x4*x5+14*x5^2+2*x1,10*x2*x6^3+
x2*x4*x5+7*x2^2+10*x2*x4+6*x3^2+7*x3*x4+4*x3*x6+10*x4*x5+14*x5^2+2*x1,x2*x4*x5+
7*x2^2+5*x2*x4+12*x3^2+5*x3*x4+9*x3*x5+8*x3*x6+5*x4^2+20*x4*x5+7*x5^2+x1,7*x2^2
+6*x3^2+3*x3*x4+9*x3*x5+4*x3*x6+5*x4^2+10*x4*x5],[14*x5^3*x6+94*x2^2*x5+41*x3*
x4^2+93*x3*x6^2+2*x2*x3+20*x2*x4+11*x3^2,15*x2^3*x6+14*x5^3*x6+18*x2*x3*x4+93*
x3*x6^2+3*x2*x3+30*x2*x4+13*x3^2+31*x3*x4+2*x1,15*x2^3*x6+14*x5^3*x6+94*x2^2*x5
+18*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+3*x2*x3+40*x2*x4+22*x3^2+31*x3*x4+3*x1,42*x2
^2*x5+36*x2*x3*x4+x2*x3+10*x2*x4+23*x3^2+62*x3*x4+2*x1,136*x2^2*x5+36*x2*x3*x4+
41*x3*x4^2+x2*x3+20*x2*x4+32*x3^2+62*x3*x4+x1,10*x2*x4+9*x3^2+x1,15*x2^3*x6+18*
x2*x3*x4+x2*x3+20*x2*x4+18*x3^2+31*x3*x4+2*x1,94*x2^2*x5+41*x3*x4^2+x2*x3+20*x2
*x4+18*x3^2+x1,15*x2^3*x6+42*x2^2*x5+36*x2*x3*x4+x2*x3+20*x2*x4+18*x3^2+62*x3*
x4+3*x1,14*x5^3*x6+42*x2^2*x5+36*x2*x3*x4+93*x3*x6^2+x2*x3+20*x2*x4+18*x3^2+62*
x3*x4+2*x1,15*x2^3*x6+14*x5^3*x6+136*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+
3*x2*x3+50*x2*x4+38*x3^2+62*x3*x4+3*x1,136*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+x2*x3
+20*x2*x4+25*x3^2+62*x3*x4+x1,94*x2^2*x5+41*x3*x4^2+x2*x3+20*x2*x4+18*x3^2+x1,
15*x2^3*x6+14*x5^3*x6+42*x2^2*x5+36*x2*x3*x4+93*x3*x6^2+2*x2*x3+40*x2*x4+22*x3^
2+62*x3*x4+3*x1,14*x5^3*x6+136*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+x2*x3+
30*x2*x4+20*x3^2+31*x3*x4+x1,14*x5^3*x6+42*x2^2*x5+18*x2*x3*x4+93*x3*x6^2+x2*x3
+20*x2*x4+11*x3^2+31*x3*x4+x1,15*x2^3*x6+14*x5^3*x6+18*x2*x3*x4+93*x3*x6^2+2*x2
*x3+20*x2*x4+4*x3^2+31*x3*x4+x1,15*x2^3*x6+18*x2*x3*x4+x2*x3+10*x2*x4+2*x3^2+31
*x3*x4+x1],[42*x2^2*x5+36*x2*x3*x4+2*x2*x3+10*x2*x4+2*x3^2+62*x3*x4+x1,14*x5^3*
x6+42*x2^2*x5+54*x2*x3*x4+93*x3*x6^2+3*x2*x3+21*x3^2+93*x3*x4+x1,14*x5^3*x6+42*
x2^2*x5+54*x2*x3*x4+93*x3*x6^2+4*x2*x3+10*x2*x4+30*x3^2+93*x3*x4+2*x1,94*x2^2*
x5+18*x2*x3*x4+41*x3*x4^2+x2*x3+28*x3^2+31*x3*x4+3*x1,94*x2^2*x5+18*x2*x3*x4+41
*x3*x4^2+2*x2*x3+10*x2*x4+23*x3^2+31*x3*x4+4*x1,x2*x3+7*x3^2+x1,14*x5^3*x6+18*
x2*x3*x4+93*x3*x6^2+2*x2*x3+21*x3^2+31*x3*x4+2*x1,18*x2*x3*x4+2*x2*x3+10*x2*x4+
9*x3^2+31*x3*x4+2*x1,14*x5^3*x6+94*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+2*
x2*x3+35*x3^2+31*x3*x4+2*x1,136*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+2*x2*x3+28*x3^2+
31*x3*x4+2*x1,14*x5^3*x6+136*x2^2*x5+54*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+5*x2*x3+
10*x2*x4+37*x3^2+93*x3*x4+4*x1,94*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+2*x2*x3+10*x2*
x4+23*x3^2+31*x3*x4+3*x1,18*x2*x3*x4+2*x2*x3+10*x2*x4+9*x3^2+31*x3*x4+2*x1,14*
x5^3*x6+136*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+4*x2*x3+35*x3^2+62*x3*x4+
2*x1,136*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+3*x2*x3+10*x2*x4+16*x3^2+31*x3*x4+2*x1,
136*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+2*x2*x3+14*x3^2+31*x3*x4+x1,14*x5^3*x6+42*x2
^2*x5+36*x2*x3*x4+93*x3*x6^2+2*x2*x3+14*x3^2+62*x3*x4,14*x5^3*x6+18*x2*x3*x4+93
*x3*x6^2+x2*x3+14*x3^2+31*x3*x4],[94*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+x2*x3+21*x3
^2+62*x3*x4,136*x2^2*x5+90*x2*x3*x4+41*x3*x4^2+28*x3^2+155*x3*x4+x1,136*x2^2*x5
+126*x2*x3*x4+41*x3*x4^2+x2*x3+35*x3^2+217*x3*x4+x1,54*x2*x3*x4+10*x2*x4+30*x3^
2+93*x3*x4+2*x1,54*x2*x3*x4+x2*x3+10*x2*x4+37*x3^2+93*x3*x4+2*x1,36*x2*x3*x4+7*
x3^2+62*x3*x4,42*x2^2*x5+72*x2*x3*x4+21*x3^2+124*x3*x4+x1,54*x2*x3*x4+x2*x3+21*
x3^2+93*x3*x4,42*x2^2*x5+90*x2*x3*x4+10*x2*x4+23*x3^2+155*x3*x4+2*x1,94*x2^2*x5
+72*x2*x3*x4+41*x3*x4^2+10*x2*x4+23*x3^2+124*x3*x4+2*x1,136*x2^2*x5+144*x2*x3*
x4+41*x3*x4^2+x2*x3+10*x2*x4+51*x3^2+248*x3*x4+2*x1,54*x2*x3*x4+x2*x3+10*x2*x4+
30*x3^2+93*x3*x4+2*x1,54*x2*x3*x4+x2*x3+21*x3^2+93*x3*x4,136*x2^2*x5+126*x2*x3*
x4+41*x3*x4^2+10*x2*x4+30*x3^2+217*x3*x4+2*x1,94*x2^2*x5+72*x2*x3*x4+41*x3*x4^2
+x2*x3+10*x2*x4+23*x3^2+124*x3*x4+x1,94*x2^2*x5+54*x2*x3*x4+41*x3*x4^2+10*x2*x4
+16*x3^2+93*x3*x4+x1,136*x2^2*x5+54*x2*x3*x4+41*x3*x4^2+14*x3^2+93*x3*x4+x1,42*
x2^2*x5+36*x2*x3*x4+7*x3^2+62*x3*x4+x1],[36*x2*x3*x4+10*x2*x4+16*x3^2+62*x3*x4+
2*x1,94*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+2*x2*x3+10*x2*x4+30*x3^2+31*x3*x4+3*x1,
94*x2^2*x5+54*x2*x3*x4+41*x3*x4^2+3*x2*x3+10*x2*x4+37*x3^2+93*x3*x4+3*x1,54*x2*
x3*x4+3*x2*x3+21*x3^2+93*x3*x4+x1,90*x2*x3*x4+2*x2*x3+28*x3^2+155*x3*x4+x1,18*
x2*x3*x4+x2*x3+7*x3^2+31*x3*x4,94*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+2*x2*x3+21*x3^
2+62*x3*x4+x1,54*x2*x3*x4+x2*x3+14*x3^2+93*x3*x4+x1,94*x2^2*x5+36*x2*x3*x4+41*
x3*x4^2+4*x2*x3+28*x3^2+62*x3*x4+x1,36*x2*x3*x4+3*x2*x3+10*x2*x4+30*x3^2+62*x3*
x4+x1,94*x2^2*x5+90*x2*x3*x4+41*x3*x4^2+4*x2*x3+10*x2*x4+51*x3^2+155*x3*x4+3*x1
,72*x2*x3*x4+2*x2*x3+28*x3^2+124*x3*x4+x1,54*x2*x3*x4+x2*x3+14*x3^2+93*x3*x4+x1
,94*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+4*x2*x3+10*x2*x4+44*x3^2+62*x3*x4+2*x1,54*x2
*x3*x4+2*x2*x3+10*x2*x4+30*x3^2+93*x3*x4+x1,18*x2*x3*x4+2*x2*x3+10*x2*x4+23*x3^
2+31*x3*x4+x1,94*x2^2*x5+41*x3*x4^2+x2*x3+10*x2*x4+23*x3^2+2*x1,94*x2^2*x5+41*
x3*x4^2+x2*x3+14*x3^2+x1],[2*x2*x3+21*x3^2+2*x1,18*x2*x3*x4+2*x2*x3+30*x2*x4+27
*x3^2+31*x3*x4+3*x1,18*x2*x3*x4+3*x2*x3+40*x2*x4+36*x3^2+31*x3*x4+4*x1,54*x2*x3
*x4+3*x2*x3+20*x2*x4+11*x3^2+93*x3*x4+x1,54*x2*x3*x4+4*x2*x3+10*x2*x4+16*x3^2+
93*x3*x4+2*x1,x2*x3+10*x2*x4+2*x3^2+x1,18*x2*x3*x4+2*x2*x3+30*x2*x4+13*x3^2+31*
x3*x4+2*x1,2*x2*x3+10*x2*x4+16*x3^2+2*x1,54*x2*x3*x4+2*x2*x3+40*x2*x4+15*x3^2+
93*x3*x4+2*x1,54*x2*x3*x4+3*x2*x3+20*x2*x4+11*x3^2+93*x3*x4+2*x1,54*x2*x3*x4+5*
x2*x3+40*x2*x4+36*x3^2+93*x3*x4+5*x1,54*x2*x3*x4+3*x2*x3+10*x2*x4+16*x3^2+93*x3
*x4+2*x1,2*x2*x3+10*x2*x4+16*x3^2+2*x1,54*x2*x3*x4+3*x2*x3+40*x2*x4+22*x3^2+93*
x3*x4+4*x1,36*x2*x3*x4+3*x2*x3+10*x2*x4+16*x3^2+62*x3*x4+3*x1,36*x2*x3*x4+2*x2*
x3+10*x2*x4+9*x3^2+62*x3*x4+2*x1,18*x2*x3*x4+x2*x3+20*x2*x4+18*x3^2+31*x3*x4+2*
x1,18*x2*x3*x4+20*x2*x4+11*x3^2+31*x3*x4+x1],[54*x2*x3*x4+10*x2*x4+16*x3^2+93*
x3*x4+x1,188*x2^2*x5+72*x2*x3*x4+82*x3*x4^2+2*x2*x3+10*x2*x4+23*x3^2+124*x3*x4,
282*x2^2*x5+72*x2*x3*x4+123*x3*x4^2+2*x2*x3+20*x2*x4+32*x3^2+124*x3*x4+x1,188*
x2^2*x5+18*x2*x3*x4+82*x3*x4^2+2*x2*x3+30*x2*x4+20*x3^2+31*x3*x4,94*x2^2*x5+18*
x2*x3*x4+41*x3*x4^2+2*x2*x3+40*x2*x4+29*x3^2+31*x3*x4+x1,94*x2^2*x5+41*x3*x4^2+
10*x2*x4+9*x3^2,188*x2^2*x5+18*x2*x3*x4+82*x3*x4^2+2*x2*x3+20*x2*x4+18*x3^2+31*
x3*x4,94*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+20*x2*x4+18*x3^2+31*x3*x4+x1,282*x2^2*
x5+18*x2*x3*x4+123*x3*x4^2+3*x2*x3+20*x2*x4+25*x3^2+31*x3*x4,188*x2^2*x5+36*x2*
x3*x4+82*x3*x4^2+2*x2*x3+20*x2*x4+25*x3^2+62*x3*x4,282*x2^2*x5+72*x2*x3*x4+123*
x3*x4^2+3*x2*x3+40*x2*x4+50*x3^2+124*x3*x4+x1,94*x2^2*x5+18*x2*x3*x4+41*x3*x4^2
+2*x2*x3+30*x2*x4+27*x3^2+31*x3*x4+x1,94*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+20*x2*
x4+18*x3^2+31*x3*x4+x1,282*x2^2*x5+54*x2*x3*x4+123*x3*x4^2+3*x2*x3+20*x2*x4+39*
x3^2+93*x3*x4,94*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+x2*x3+20*x2*x4+32*x3^2+62*x3*x4
+x1,94*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+x2*x3+10*x2*x4+23*x3^2+62*x3*x4,94*x2^2*
x5+54*x2*x3*x4+41*x3*x4^2+2*x2*x3+14*x3^2+93*x3*x4,94*x2^2*x5+18*x2*x3*x4+41*x3
*x4^2+2*x2*x3+7*x3^2+31*x3*x4],[94*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+2*x2*x3+14*x3
^2+62*x3*x4,178*x2^2*x5+72*x2*x3*x4+41*x3*x4^2+3*x2*x3+10*x2*x4+9*x3^2+124*x3*
x4,314*x2^2*x5+90*x2*x3*x4+82*x3*x4^2+3*x2*x3+10*x2*x4+16*x3^2+155*x3*x4,366*x2
^2*x5+18*x2*x3*x4+123*x3*x4^2+x2*x3+20*x2*x4+4*x3^2+31*x3*x4+x1,418*x2^2*x5+36*
x2*x3*x4+164*x3*x4^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+31*x3*x4,272*x2^2*x5+54*x2*x3*x4+82*x3*x4^2+x2*x3+10*x2*x4+2*x3^2+
93*x3*x4,230*x2^2*x5+36*x2*x3*x4+82*x3*x4^2+x2*x3+7*x3^2+62*x3*x4,314*x2^2*x5+
54*x2*x3*x4+82*x3*x4^2+x2*x3+20*x2*x4+4*x3^2+93*x3*x4+x1,272*x2^2*x5+36*x2*x3*
x4+82*x3*x4^2+x2*x3+20*x2*x4+11*x3^2+62*x3*x4+x1,502*x2^2*x5+108*x2*x3*x4+164*
x3*x4^2+3*x2*x3+20*x2*x4+18*x3^2+186*x3*x4+x1,324*x2^2*x5+36*x2*x3*x4+123*x3*x4
^2+x2*x3+20*x2*x4+11*x3^2+62*x3*x4+x1,230*x2^2*x5+36*x2*x3*x4+82*x3*x4^2+x2*x3+
7*x3^2+62*x3*x4,314*x2^2*x5+90*x2*x3*x4+82*x3*x4^2+2*x2*x3+20*x2*x4+11*x3^2+155
*x3*x4+x1,230*x2^2*x5+54*x2*x3*x4+82*x3*x4^2+x2*x3+10*x2*x4+16*x3^2+93*x3*x4+x1
,136*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+x2*x3+10*x2*x4+9*x3^2+62*x3*x4+x1,42*x2^2*
x5+54*x2*x3*x4+2*x2*x3+10*x2*x4+9*x3^2+93*x3*x4,42*x2^2*x5+36*x2*x3*x4+x2*x3+10
*x2*x4+2*x3^2+62*x3*x4],[42*x2^2*x5+18*x2*x3*x4+2*x2*x3+20*x2*x4+4*x3^2+31*x3*
x4+x1,28*x5^3*x6+136*x2^2*x5+41*x3*x4^2+186*x3*x6^2+3*x2*x3+30*x2*x4+13*x3^2+x1
,42*x5^3*x6+178*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+279*x3*x6^2+4*x2*x3+30*x2*x4+13*
x3^2+31*x3*x4+x1,28*x5^3*x6+314*x2^2*x5+82*x3*x4^2+186*x3*x6^2+x2*x3+10*x2*x4+9
*x3^2,14*x5^3*x6+356*x2^2*x5+18*x2*x3*x4+82*x3*x4^2+93*x3*x6^2+2*x2*x3+10*x2*x4
+9*x3^2+31*x3*x4,14*x5^3*x6+42*x2^2*x5+93*x3*x6^2+x2*x3,28*x5^3*x6+178*x2^2*x5+
41*x3*x4^2+186*x3*x6^2+2*x2*x3+10*x2*x4+9*x3^2,14*x5^3*x6+84*x2^2*x5+18*x2*x3*
x4+93*x3*x6^2+2*x2*x3+10*x2*x4+2*x3^2+31*x3*x4,42*x5^3*x6+272*x2^2*x5+82*x3*x4^
2+279*x3*x6^2+2*x2*x3+10*x2*x4+16*x3^2,28*x5^3*x6+272*x2^2*x5+82*x3*x4^2+186*x3
*x6^2+2*x2*x3+10*x2*x4+9*x3^2+x1,42*x5^3*x6+356*x2^2*x5+18*x2*x3*x4+82*x3*x4^2+
279*x3*x6^2+5*x2*x3+30*x2*x4+20*x3^2+31*x3*x4+x1,14*x5^3*x6+314*x2^2*x5+18*x2*
x3*x4+82*x3*x4^2+93*x3*x6^2+2*x2*x3+10*x2*x4+9*x3^2+31*x3*x4,14*x5^3*x6+84*x2^2
*x5+18*x2*x3*x4+93*x3*x6^2+2*x2*x3+10*x2*x4+2*x3^2+31*x3*x4,42*x5^3*x6+272*x2^2
*x5+82*x3*x4^2+279*x3*x6^2+4*x2*x3+20*x2*x4+18*x3^2+x1,14*x5^3*x6+178*x2^2*x5+
18*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+3*x2*x3+10*x2*x4+9*x3^2+31*x3*x4+x1,14*x5^3*
x6+136*x2^2*x5+41*x3*x4^2+93*x3*x6^2+2*x2*x3+10*x2*x4+9*x3^2+x1,14*x5^3*x6+94*
x2^2*x5+41*x3*x4^2+93*x3*x6^2+2*x2*x3+20*x2*x4+11*x3^2+x1,14*x5^3*x6+94*x2^2*x5
+41*x3*x4^2+93*x3*x6^2+x2*x3+10*x2*x4+9*x3^2],[14*x5^3*x6+188*x2^2*x5+82*x3*x4^
2+93*x3*x6^2+x2*x3+20*x2*x4+11*x3^2,30*x2^3*x6+14*x5^3*x6+324*x2^2*x5+123*x3*x4
^2+93*x3*x6^2+30*x2*x4+13*x3^2+x1,45*x2^3*x6+28*x5^3*x6+324*x2^2*x5+123*x3*x4^2
+186*x3*x6^2+x2*x3+40*x2*x4+15*x3^2+x1,30*x2^3*x6+42*x5^3*x6+178*x2^2*x5+18*x2*
x3*x4+41*x3*x4^2+279*x3*x6^2+10*x2*x4+2*x3^2+31*x3*x4,15*x2^3*x6+56*x5^3*x6+178
*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+372*x3*x6^2+x2*x3+20*x2*x4+4*x3^2+31*x3*x4,15*
x2^3*x6+14*x5^3*x6+93*x3*x6^2+10*x2*x4+2*x3^2,30*x2^3*x6+28*x5^3*x6+136*x2^2*x5
+41*x3*x4^2+186*x3*x6^2+20*x2*x4+4*x3^2+x1,15*x2^3*x6+28*x5^3*x6+94*x2^2*x5+41*
x3*x4^2+186*x3*x6^2+x2*x3+20*x2*x4+4*x3^2,45*x2^3*x6+28*x5^3*x6+178*x2^2*x5+18*
x2*x3*x4+41*x3*x4^2+186*x3*x6^2+20*x2*x4+4*x3^2+31*x3*x4+x1,30*x2^3*x6+28*x5^3*
x6+178*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+186*x3*x6^2+20*x2*x4+11*x3^2+31*x3*x4,45*
x2^3*x6+56*x5^3*x6+366*x2^2*x5+18*x2*x3*x4+123*x3*x4^2+372*x3*x6^2+x2*x3+50*x2*
x4+17*x3^2+31*x3*x4+x1,15*x2^3*x6+42*x5^3*x6+178*x2^2*x5+18*x2*x3*x4+41*x3*x4^2
+279*x3*x6^2+x2*x3+20*x2*x4+4*x3^2+31*x3*x4,15*x2^3*x6+28*x5^3*x6+94*x2^2*x5+41
*x3*x4^2+186*x3*x6^2+x2*x3+20*x2*x4+4*x3^2,45*x2^3*x6+28*x5^3*x6+272*x2^2*x5+18
*x2*x3*x4+82*x3*x4^2+186*x3*x6^2+40*x2*x4+15*x3^2+31*x3*x4+x1,15*x2^3*x6+28*x5^
3*x6+136*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+186*x3*x6^2+x2*x3+30*x2*x4+13*x3^2+31*
x3*x4,15*x2^3*x6+14*x5^3*x6+136*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+20*x2
*x4+11*x3^2+31*x3*x4,15*x2^3*x6+230*x2^2*x5+82*x3*x4^2+20*x2*x4+11*x3^2+x1,15*
x2^3*x6+136*x2^2*x5+41*x3*x4^2+10*x2*x4+2*x3^2+x1]]);
