AA0 := Matrix(20, 20, [[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,3*x7*x6,0,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,10*x6^3*x2,0,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,4*x3*x6
+10*x4*x5,0,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,7*x5^2,0,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,9*x3*x5+5*x4^2,0,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,5*x2*x4
+2*x3*x4,0,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,6*x3^2,0,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,x2*x4*x5,0,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,7*
x2^2+3*x3*x4,0,0,0,0,0,0,0,0,0,0],[3*x7*x6,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,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,3*x7^2],[0,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,15*x2^3*x6],[0,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,14*x5^3*x6+93*x3*x6^2],[0,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,42*x2^2*x5],[0,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,94*x2^2*x5+41*x3*x4^2],[0,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,10*x2*x4+2*x3^2],[0,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,x2*x3],[0,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,18*x2*x3
*x4+31*x3*x4],[0,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,7*x3
^2],[0,0,0,0,0,0,0,0,0,0,3*x7^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]]);
T1 := Matrix(10, 10, [[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,3*x7*x6],[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
,10*x6^3*x2],[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,4*x3*x6+10*x4*x5],[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,7*x5^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],[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],[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,6*x3^2],[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,x2*x4*x5],[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,7*x2^2+
3*x3*x4],[3*x7*x6,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(10, 10, [[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,3*x7^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,14*x5^3*x6+93*x3*x6^2,15*x2^3*x6],[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,
14*x5^3*x6+93*x3*x6^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,42*x2^2*x5],[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],[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],[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,x2*x3],[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,18*x2*x3*x4+31*x3*x4],[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,7*x3^2],[
3*x7^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(20, 20, [[1,1,1,1,1,1,0,0,1,1,0,1,0,0,1,1,0,1,0,1],[0,1,0,1,1,0,1,
0,1,0,0,1,1,1,1,1,0,1,0,0],[0,0,1,0,0,1,1,0,0,0,1,0,1,0,0,0,1,0,1,0],[0,0,0,1,1
,0,1,0,0,1,1,0,0,1,0,1,0,1,1,1],[0,0,0,0,1,0,0,1,1,0,1,1,1,1,1,1,0,0,0,0],[0,0,
0,0,0,1,0,1,0,0,0,0,0,1,1,1,0,0,1,0],[0,0,0,0,0,0,1,0,1,0,1,0,0,0,1,1,0,0,1,1],
[0,0,0,0,0,0,0,1,1,0,1,1,1,0,0,1,1,1,0,1],[0,0,0,0,0,0,0,0,1,0,0,0,0,1,1,1,1,1,
1,1],[0,0,0,0,0,0,0,0,0,1,0,1,1,0,0,0,1,0,0,0],[0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0
,1,1,1,1],[0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,1,0,1,0,1],[0,0,0,0,0,0,0,0,0,0,0,0,1,
0,1,1,0,0,1,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,1,1,1],[0,0,0,0,0,0,0,0,0,0,0
,0,0,0,1,1,0,1,0,1],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,1],[0,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,0,0,0,0,1,0,1],[0,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,0,0,0,1]]);
P2 := Matrix(20, 20, [[1,0,0,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],[0,1,1,0,0,0,0,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,0,0],[0,0,0,1,1,0,0,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,0,0,0,0],[0,1,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0],
[0,0,1,1,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,0,1,1,0,1,0,1,0,0,0,0,0,0,0,0,0,
0,0],[0,0,1,1,1,0,1,1,1,1,0,0,0,0,0,0,0,0,0,0],[0,1,0,1,1,0,1,0,1,1,1,0,0,0,0,0
,0,0,0,0],[0,0,1,0,0,0,1,1,1,1,1,1,0,0,0,0,0,0,0,0],[1,1,0,1,0,1,0,1,1,0,0,0,1,
0,0,0,0,0,0,0],[0,1,0,1,1,0,1,0,1,1,0,0,1,1,0,0,0,0,0,0],[0,0,1,0,1,1,1,0,1,0,0
,1,0,1,1,0,0,0,0,0],[0,1,1,1,1,1,0,1,1,1,1,1,0,1,1,1,0,0,0,0],[0,0,1,1,0,0,1,1,
1,0,0,0,1,0,0,1,1,0,0,0],[0,0,1,1,0,0,0,1,0,0,0,1,1,1,1,1,0,1,0,0],[0,1,1,0,0,1
,1,1,1,1,1,1,1,1,1,0,1,1,1,0],[1,1,1,0,0,0,1,1,1,0,1,1,1,0,1,1,1,0,0,1]]);
AA := Matrix(20, 20, [[20*x2*x6^3+2*x2*x4*x5+14*x2^2+10*x2*x4+6*x3^2+10*x3*x4+9
*x3*x5+12*x3*x6+5*x4^2+30*x4*x5+14*x5^2+3*x6*x7+4*x1,40*x2*x6^3+5*x2*x4*x5+42*
x2^2+20*x2*x4+42*x3^2+26*x3*x4+27*x3*x5+16*x3*x6+15*x4^2+40*x4*x5+35*x5^2+3*x6*
x7+5*x1,60*x2*x6^3+3*x2*x4*x5+28*x2^2+20*x2*x4+30*x3^2+20*x3*x4+36*x3*x5+24*x3*
x6+20*x4^2+60*x4*x5+28*x5^2+9*x6*x7+7*x1,50*x2*x6^3+4*x2*x4*x5+49*x2^2+35*x2*x4
+42*x3^2+35*x3*x4+36*x3*x5+28*x3*x6+20*x4^2+70*x4*x5+21*x5^2+9*x6*x7+7*x1,40*x2
*x6^3+2*x2*x4*x5+42*x2^2+35*x2*x4+36*x3^2+32*x3*x4+36*x3*x5+16*x3*x6+20*x4^2+40
*x4*x5+35*x5^2+3*x6*x7+5*x1,30*x2*x6^3+3*x2*x4*x5+21*x2^2+15*x2*x4+12*x3^2+15*
x3*x4+36*x3*x5+8*x3*x6+20*x4^2+20*x4*x5+21*x5^2+3*x6*x7+3*x1,60*x2*x6^3+4*x2*x4
*x5+35*x2^2+25*x2*x4+36*x3^2+25*x3*x4+27*x3*x5+20*x3*x6+15*x4^2+50*x4*x5+42*x5^
2+9*x6*x7+5*x1,50*x2*x6^3+3*x2*x4*x5+28*x2^2+20*x2*x4+30*x3^2+20*x3*x4+27*x3*x5
+28*x3*x6+15*x4^2+70*x4*x5+21*x5^2+12*x6*x7+5*x1,70*x2*x6^3+4*x2*x4*x5+42*x2^2+
35*x2*x4+36*x3^2+32*x3*x4+36*x3*x5+28*x3*x6+20*x4^2+70*x4*x5+42*x5^2+12*x6*x7+6
*x1,30*x2*x6^3+2*x2*x4*x5+21*x2^2+20*x2*x4+30*x3^2+17*x3*x4+27*x3*x5+12*x3*x6+
15*x4^2+30*x4*x5+21*x5^2+6*x6*x7+3*x1,30*x2*x6^3+2*x2*x4*x5+14*x2^2+15*x2*x4+24
*x3^2+12*x3*x4+18*x3*x5+16*x3*x6+10*x4^2+40*x4*x5+28*x5^2+3*x6*x7+3*x1,50*x2*x6
^3+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+28*x5^2+3*x6*x7+5*x1,50*x2*x6^3+3*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+6*x6*x7+2*x1,50*x2*x6^3+x2*x4*x5+28
*x2^2+15*x2*x4+24*x3^2+18*x3*x4+36*x3*x5+8*x3*x6+20*x4^2+20*x4*x5+21*x5^2+3*x1,
50*x2*x6^3+x2*x4*x5+21*x2^2+10*x2*x4+24*x3^2+13*x3*x4+27*x3*x5+12*x3*x6+15*x4^2
+30*x4*x5+28*x5^2+4*x1,40*x2*x6^3+x2*x4*x5+14*x2^2+5*x2*x4+18*x3^2+8*x3*x4+9*x3
*x5+16*x3*x6+5*x4^2+40*x4*x5+14*x5^2+3*x6*x7+3*x1,30*x2*x6^3+2*x2*x4*x5+12*x3^2
+9*x3*x5+8*x3*x6+5*x4^2+20*x4*x5+14*x5^2+3*x6*x7+x1,20*x2*x6^3+x2*x4*x5+7*x2^2+
12*x3^2+3*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+6
*x3^2+9*x3*x5+5*x4^2+7*x5^2,10*x2*x6^3+6*x3^2+4*x3*x6+10*x4*x5+7*x5^2+x1],[10*
x2*x6^3+x2*x4*x5+42*x2^2+5*x2*x4+12*x3^2+20*x3*x4+18*x3*x5+8*x3*x6+10*x4^2+20*
x4*x5+21*x5^2+2*x1,10*x2*x6^3+7*x2*x4*x5+70*x2^2+15*x2*x4+24*x3^2+36*x3*x4+45*
x3*x5+16*x3*x6+25*x4^2+40*x4*x5+28*x5^2+6*x1,30*x2*x6^3+5*x2*x4*x5+70*x2^2+20*
x2*x4+24*x3^2+38*x3*x4+36*x3*x5+24*x3*x6+20*x4^2+60*x4*x5+42*x5^2+4*x1,30*x2*x6
^3+7*x2*x4*x5+77*x2^2+20*x2*x4+42*x3^2+41*x3*x4+27*x3*x5+20*x3*x6+15*x4^2+50*x4
*x5+49*x5^2+7*x1,10*x2*x6^3+6*x2*x4*x5+49*x2^2+20*x2*x4+42*x3^2+29*x3*x4+45*x3*
x5+16*x3*x6+25*x4^2+40*x4*x5+28*x5^2+6*x1,10*x2*x6^3+2*x2*x4*x5+42*x2^2+20*x2*
x4+18*x3^2+26*x3*x4+27*x3*x5+12*x3*x6+15*x4^2+30*x4*x5+14*x5^2+3*x1,30*x2*x6^3+
6*x2*x4*x5+63*x2^2+15*x2*x4+30*x3^2+33*x3*x4+54*x3*x5+24*x3*x6+30*x4^2+60*x4*x5
+35*x5^2+5*x1,40*x2*x6^3+5*x2*x4*x5+56*x2^2+15*x2*x4+24*x3^2+30*x3*x4+27*x3*x5+
20*x3*x6+15*x4^2+50*x4*x5+49*x5^2+4*x1,40*x2*x6^3+6*x2*x4*x5+70*x2^2+20*x2*x4+
42*x3^2+38*x3*x4+54*x3*x5+28*x3*x6+30*x4^2+70*x4*x5+49*x5^2+6*x1,20*x2*x6^3+5*
x2*x4*x5+35*x2^2+15*x2*x4+24*x3^2+21*x3*x4+27*x3*x5+12*x3*x6+15*x4^2+30*x4*x5+
21*x5^2+3*x1,10*x2*x6^3+4*x2*x4*x5+35*x2^2+10*x2*x4+18*x3^2+19*x3*x4+36*x3*x5+
12*x3*x6+20*x4^2+30*x4*x5+28*x5^2+2*x1,10*x2*x6^3+4*x2*x4*x5+42*x2^2+15*x2*x4+
18*x3^2+24*x3*x4+36*x3*x5+20*x3*x6+20*x4^2+50*x4*x5+28*x5^2+4*x1,20*x2*x6^3+4*
x2*x4*x5+35*x2^2+10*x2*x4+12*x3^2+19*x3*x4+18*x3*x5+20*x3*x6+10*x4^2+50*x4*x5+
28*x5^2+3*x1,4*x2*x4*x5+28*x2^2+20*x2*x4+18*x3^2+20*x3*x4+27*x3*x5+20*x3*x6+15*
x4^2+50*x4*x5+14*x5^2+4*x1,4*x2*x4*x5+35*x2^2+15*x2*x4+12*x3^2+21*x3*x4+36*x3*
x5+20*x3*x6+20*x4^2+50*x4*x5+21*x5^2+3*x1,10*x2*x6^3+3*x2*x4*x5+28*x2^2+5*x2*x4
+6*x3^2+14*x3*x4+18*x3*x5+16*x3*x6+10*x4^2+40*x4*x5+28*x5^2+2*x1,10*x2*x6^3+2*
x2*x4*x5+21*x2^2+5*x2*x4+11*x3*x4+18*x3*x5+12*x3*x6+10*x4^2+30*x4*x5+14*x5^2,2*
x2*x4*x5+14*x2^2+5*x2*x4+8*x3*x4+9*x3*x5+8*x3*x6+5*x4^2+20*x4*x5+7*x5^2+x1,x2*
x4*x5+7*x2^2+5*x2*x4+5*x3*x4+9*x3*x5+4*x3*x6+5*x4^2+10*x4*x5,x2*x4*x5+7*x2^2+3*
x3*x4+9*x3*x5+4*x3*x6+5*x4^2+10*x4*x5+7*x5^2],[6*x2*x4*x5+21*x2^2+10*x2*x4+6*x3
^2+13*x3*x4+27*x3*x5+4*x3*x6+15*x4^2+10*x4*x5+14*x5^2+2*x1,9*x2*x4*x5+91*x2^2+
25*x2*x4+18*x3^2+49*x3*x4+36*x3*x5+4*x3*x6+20*x4^2+10*x4*x5+28*x5^2+5*x1,11*x2*
x4*x5+63*x2^2+20*x2*x4+24*x3^2+35*x3*x4+54*x3*x5+12*x3*x6+30*x4^2+30*x4*x5+42*
x5^2+3*x1,14*x2*x4*x5+98*x2^2+15*x2*x4+24*x3^2+48*x3*x4+63*x3*x5+12*x3*x6+35*x4
^2+30*x4*x5+35*x5^2+4*x1,12*x2*x4*x5+84*x2^2+25*x2*x4+24*x3^2+46*x3*x4+36*x3*x5
+4*x3*x6+20*x4^2+10*x4*x5+28*x5^2+2*x1,6*x2*x4*x5+35*x2^2+15*x2*x4+24*x3^2+21*
x3*x4+18*x3*x5+4*x3*x6+10*x4^2+10*x4*x5+21*x5^2+3*x1,10*x2*x4*x5+77*x2^2+30*x2*
x4+18*x3^2+45*x3*x4+45*x3*x5+12*x3*x6+25*x4^2+30*x4*x5+42*x5^2+4*x1,9*x2*x4*x5+
63*x2^2+15*x2*x4+18*x3^2+33*x3*x4+63*x3*x5+16*x3*x6+35*x4^2+40*x4*x5+35*x5^2+3*
x1,13*x2*x4*x5+84*x2^2+30*x2*x4+24*x3^2+48*x3*x4+63*x3*x5+16*x3*x6+35*x4^2+40*
x4*x5+49*x5^2+4*x1,7*x2*x4*x5+56*x2^2+15*x2*x4+18*x3^2+30*x3*x4+27*x3*x5+8*x3*
x6+15*x4^2+20*x4*x5+21*x5^2+2*x1,6*x2*x4*x5+42*x2^2+20*x2*x4+12*x3^2+26*x3*x4+
36*x3*x5+4*x3*x6+20*x4^2+10*x4*x5+21*x5^2+2*x1,8*x2*x4*x5+56*x2^2+20*x2*x4+18*
x3^2+32*x3*x4+36*x3*x5+4*x3*x6+20*x4^2+10*x4*x5+35*x5^2+x1,4*x2*x4*x5+49*x2^2+
10*x2*x4+12*x3^2+25*x3*x4+36*x3*x5+8*x3*x6+20*x4^2+20*x4*x5+35*x5^2+3*x1,6*x2*
x4*x5+56*x2^2+15*x2*x4+24*x3^2+30*x3*x4+18*x3*x5+10*x4^2+35*x5^2+x1,6*x2*x4*x5+
49*x2^2+20*x2*x4+18*x3^2+29*x3*x4+27*x3*x5+15*x4^2+35*x5^2+x1,4*x2*x4*x5+35*x2^
2+10*x2*x4+6*x3^2+19*x3*x4+36*x3*x5+4*x3*x6+20*x4^2+10*x4*x5+28*x5^2+x1,x2*x4*
x5+14*x2^2+10*x2*x4+6*x3^2+10*x3*x4+18*x3*x5+4*x3*x6+10*x4^2+10*x4*x5+21*x5^2+2
*x1,x2*x4*x5+21*x2^2+5*x2*x4+6*x3^2+11*x3*x4+9*x3*x5+5*x4^2+14*x5^2+x1,7*x2^2+5
*x2*x4+6*x3^2+5*x3*x4+7*x5^2+x1,x2*x4*x5+7*x2^2+5*x2*x4+5*x3*x4+9*x3*x5+5*x4^2+
7*x5^2],[3*x2*x4*x5+28*x2^2+15*x2*x4+36*x3^2+18*x3*x4+18*x3*x5+10*x4^2+7*x5^2+
x1,9*x2*x4*x5+63*x2^2+20*x2*x4+60*x3^2+35*x3*x4+36*x3*x5+20*x4^2+7*x5^2+7*x1,8*
x2*x4*x5+49*x2^2+30*x2*x4+66*x3^2+33*x3*x4+54*x3*x5+30*x4^2+21*x5^2+5*x1,11*x2*
x4*x5+77*x2^2+35*x2*x4+60*x3^2+47*x3*x4+45*x3*x5+25*x4^2+21*x5^2+7*x1,10*x2*x4*
x5+63*x2^2+20*x2*x4+60*x3^2+35*x3*x4+36*x3*x5+20*x4^2+7*x5^2+6*x1,7*x2*x4*x5+42
*x2^2+10*x2*x4+36*x3^2+22*x3*x4+27*x3*x5+15*x4^2+7*x5^2+2*x1,8*x2*x4*x5+63*x2^2
+25*x2*x4+66*x3^2+37*x3*x4+54*x3*x5+30*x4^2+21*x5^2+6*x1,7*x2*x4*x5+49*x2^2+35*
x2*x4+48*x3^2+35*x3*x4+45*x3*x5+25*x4^2+28*x5^2+5*x1,10*x2*x4*x5+77*x2^2+35*x2*
x4+72*x3^2+47*x3*x4+63*x3*x5+35*x4^2+28*x5^2+6*x1,6*x2*x4*x5+42*x2^2+15*x2*x4+
36*x3^2+24*x3*x4+27*x3*x5+15*x4^2+14*x5^2+5*x1,4*x2*x4*x5+35*x2^2+20*x2*x4+42*
x3^2+23*x3*x4+27*x3*x5+15*x4^2+7*x5^2+4*x1,7*x2*x4*x5+28*x2^2+20*x2*x4+54*x3^2+
20*x3*x4+45*x3*x5+25*x4^2+7*x5^2+4*x1,5*x2*x4*x5+35*x2^2+20*x2*x4+24*x3^2+23*x3
*x4+45*x3*x5+25*x4^2+14*x5^2+4*x1,8*x2*x4*x5+28*x2^2+10*x2*x4+36*x3^2+16*x3*x4+
45*x3*x5+25*x4^2+4*x1,6*x2*x4*x5+21*x2^2+15*x2*x4+48*x3^2+15*x3*x4+45*x3*x5+25*
x4^2+4*x1,3*x2*x4*x5+14*x2^2+20*x2*x4+30*x3^2+14*x3*x4+36*x3*x5+20*x4^2+7*x5^2+
3*x1,x2*x4*x5+14*x2^2+10*x2*x4+18*x3^2+10*x3*x4+27*x3*x5+15*x4^2+7*x5^2+2*x1,2*
x2*x4*x5+7*x2^2+5*x2*x4+12*x3^2+5*x3*x4+18*x3*x5+10*x4^2+2*x1,x2*x4*x5+7*x2^2+6
*x3^2+3*x3*x4+9*x3*x5+5*x4^2+x1,5*x2*x4+12*x3^2+2*x3*x4+9*x3*x5+5*x4^2+x1],[4*
x2*x4*x5+14*x2^2+30*x2*x4+30*x3^2+18*x3*x4+9*x3*x5+5*x4^2+2*x1,10*x2*x4*x5+70*
x2^2+45*x2*x4+60*x3^2+48*x3*x4+9*x3*x5+5*x4^2+4*x1,7*x2*x4*x5+63*x2^2+65*x2*x4+
60*x3^2+53*x3*x4+27*x3*x5+15*x4^2+4*x1,7*x2*x4*x5+77*x2^2+60*x2*x4+84*x3^2+57*
x3*x4+27*x3*x5+15*x4^2+7*x1,7*x2*x4*x5+70*x2^2+45*x2*x4+60*x3^2+48*x3*x4+9*x3*
x5+5*x4^2+7*x1,6*x2*x4*x5+42*x2^2+30*x2*x4+30*x3^2+30*x3*x4+9*x3*x5+5*x4^2+3*x1
,10*x2*x4*x5+63*x2^2+55*x2*x4+60*x3^2+49*x3*x4+27*x3*x5+15*x4^2+5*x1,6*x2*x4*x5
+56*x2^2+50*x2*x4+66*x3^2+44*x3*x4+36*x3*x5+20*x4^2+4*x1,10*x2*x4*x5+70*x2^2+65
*x2*x4+78*x3^2+56*x3*x4+36*x3*x5+20*x4^2+7*x1,5*x2*x4*x5+56*x2^2+30*x2*x4+36*x3
^2+36*x3*x4+18*x3*x5+10*x4^2+4*x1,6*x2*x4*x5+42*x2^2+30*x2*x4+36*x3^2+30*x3*x4+
9*x3*x5+5*x4^2+3*x1,5*x2*x4*x5+49*x2^2+50*x2*x4+48*x3^2+41*x3*x4+9*x3*x5+5*x4^2
+3*x1,5*x2*x4*x5+42*x2^2+35*x2*x4+42*x3^2+32*x3*x4+18*x3*x5+10*x4^2+2*x1,4*x2*
x4*x5+56*x2^2+40*x2*x4+36*x3^2+40*x3*x4+3*x1,5*x2*x4*x5+49*x2^2+45*x2*x4+36*x3^
2+39*x3*x4+2*x1,3*x2*x4*x5+28*x2^2+35*x2*x4+36*x3^2+26*x3*x4+9*x3*x5+5*x4^2+x1,
4*x2*x4*x5+21*x2^2+20*x2*x4+12*x3^2+17*x3*x4+9*x3*x5+5*x4^2,2*x2*x4*x5+21*x2^2+
15*x2*x4+12*x3^2+15*x3*x4,2*x2*x4*x5+14*x2^2+5*x2*x4+8*x3*x4,x2*x4*x5+7*x2^2+10
*x2*x4+6*x3^2+7*x3*x4],[4*x2*x4*x5+28*x2^2+15*x2*x4+24*x3^2+18*x3*x4+36*x3*x5+
20*x4^2+x1,11*x2*x4*x5+63*x2^2+35*x2*x4+54*x3^2+41*x3*x4+45*x3*x5+25*x4^2+3*x1,
11*x2*x4*x5+56*x2^2+35*x2*x4+54*x3^2+38*x3*x4+63*x3*x5+35*x4^2+4*x1,14*x2*x4*x5
+70*x2^2+50*x2*x4+54*x3^2+50*x3*x4+63*x3*x5+35*x4^2+4*x1,10*x2*x4*x5+84*x2^2+35
*x2*x4+36*x3^2+50*x3*x4+45*x3*x5+25*x4^2+4*x1,4*x2*x4*x5+42*x2^2+20*x2*x4+36*x3
^2+26*x3*x4+27*x3*x5+15*x4^2+4*x1,11*x2*x4*x5+77*x2^2+40*x2*x4+60*x3^2+49*x3*x4
+45*x3*x5+25*x4^2+3*x1,12*x2*x4*x5+49*x2^2+40*x2*x4+48*x3^2+37*x3*x4+45*x3*x5+
25*x4^2+3*x1,13*x2*x4*x5+91*x2^2+50*x2*x4+66*x3^2+59*x3*x4+54*x3*x5+30*x4^2+4*
x1,8*x2*x4*x5+49*x2^2+25*x2*x4+30*x3^2+31*x3*x4+27*x3*x5+15*x4^2+3*x1,8*x2*x4*
x5+49*x2^2+15*x2*x4+30*x3^2+27*x3*x4+27*x3*x5+15*x4^2+2*x1,8*x2*x4*x5+49*x2^2+
25*x2*x4+36*x3^2+31*x3*x4+45*x3*x5+25*x4^2+3*x1,8*x2*x4*x5+28*x2^2+25*x2*x4+48*
x3^2+22*x3*x4+18*x3*x5+10*x4^2+2*x1,6*x2*x4*x5+42*x2^2+20*x2*x4+36*x3^2+26*x3*
x4+27*x3*x5+15*x4^2+4*x1,7*x2*x4*x5+42*x2^2+15*x2*x4+36*x3^2+24*x3*x4+36*x3*x5+
20*x4^2+3*x1,7*x2*x4*x5+21*x2^2+15*x2*x4+30*x3^2+15*x3*x4+27*x3*x5+15*x4^2+x1,4
*x2*x4*x5+14*x2^2+5*x2*x4+30*x3^2+8*x3*x4+9*x3*x5+5*x4^2+x1,3*x2*x4*x5+7*x2^2+5
*x2*x4+18*x3^2+5*x3*x4+9*x3*x5+5*x4^2+x1,x2*x4*x5+7*x2^2+12*x3^2+3*x3*x4+x1,2*
x2*x4*x5+7*x2^2+6*x3^2+3*x3*x4+9*x3*x5+5*x4^2],[4*x2*x4*x5+28*x2^2+10*x2*x4+12*
x3^2+16*x3*x4+18*x3*x5+10*x4^2+28*x5^2+2*x1,8*x2*x4*x5+49*x2^2+25*x2*x4+48*x3^2
+31*x3*x4+54*x3*x5+30*x4^2+35*x5^2+5*x1,10*x2*x4*x5+70*x2^2+15*x2*x4+48*x3^2+36
*x3*x4+36*x3*x5+20*x4^2+49*x5^2+4*x1,12*x2*x4*x5+77*x2^2+20*x2*x4+60*x3^2+41*x3
*x4+63*x3*x5+35*x4^2+49*x5^2+3*x1,11*x2*x4*x5+56*x2^2+10*x2*x4+42*x3^2+28*x3*x4
+54*x3*x5+30*x4^2+35*x5^2+5*x1,6*x2*x4*x5+42*x2^2+15*x2*x4+18*x3^2+24*x3*x4+27*
x3*x5+15*x4^2+21*x5^2+3*x1,11*x2*x4*x5+56*x2^2+20*x2*x4+54*x3^2+32*x3*x4+45*x3*
x5+25*x4^2+35*x5^2+6*x1,9*x2*x4*x5+70*x2^2+15*x2*x4+54*x3^2+36*x3*x4+36*x3*x5+
20*x4^2+35*x5^2+3*x1,14*x2*x4*x5+77*x2^2+20*x2*x4+60*x3^2+41*x3*x4+54*x3*x5+30*
x4^2+42*x5^2+6*x1,7*x2*x4*x5+42*x2^2+10*x2*x4+42*x3^2+22*x3*x4+27*x3*x5+15*x4^2
+21*x5^2+3*x1,6*x2*x4*x5+42*x2^2+10*x2*x4+30*x3^2+22*x3*x4+18*x3*x5+10*x4^2+21*
x5^2+4*x1,8*x2*x4*x5+49*x2^2+5*x2*x4+30*x3^2+23*x3*x4+36*x3*x5+20*x4^2+35*x5^2+
4*x1,7*x2*x4*x5+42*x2^2+15*x2*x4+36*x3^2+24*x3*x4+27*x3*x5+15*x4^2+14*x5^2+2*x1
,8*x2*x4*x5+42*x2^2+5*x2*x4+24*x3^2+20*x3*x4+36*x3*x5+20*x4^2+21*x5^2+3*x1,7*x2
*x4*x5+42*x2^2+5*x2*x4+24*x3^2+20*x3*x4+27*x3*x5+15*x4^2+28*x5^2+4*x1,5*x2*x4*
x5+35*x2^2+5*x2*x4+24*x3^2+17*x3*x4+18*x3*x5+10*x4^2+21*x5^2+2*x1,3*x2*x4*x5+21
*x2^2+10*x2*x4+18*x3^2+13*x3*x4+7*x5^2+2*x1,2*x2*x4*x5+14*x2^2+5*x2*x4+12*x3^2+
8*x3*x4+9*x3*x5+5*x4^2+7*x5^2+x1,x2*x4*x5+7*x2^2+5*x2*x4+6*x3^2+5*x3*x4+x1,x2*
x4*x5+7*x2^2+6*x3^2+3*x3*x4+7*x5^2+x1],[2*x2*x4*x5+28*x2^2+5*x2*x4+12*x3^2+14*
x3*x4+18*x3*x5+16*x3*x6+10*x4^2+40*x4*x5+14*x5^2+3*x1,4*x2*x4*x5+63*x2^2+35*x2*
x4+24*x3^2+41*x3*x4+45*x3*x5+20*x3*x6+25*x4^2+50*x4*x5+42*x5^2+4*x1,7*x2*x4*x5+
70*x2^2+25*x2*x4+24*x3^2+40*x3*x4+27*x3*x5+28*x3*x6+15*x4^2+70*x4*x5+28*x5^2+6*
x1,7*x2*x4*x5+56*x2^2+35*x2*x4+42*x3^2+38*x3*x4+36*x3*x5+28*x3*x6+20*x4^2+70*x4
*x5+49*x5^2+7*x1,5*x2*x4*x5+63*x2^2+30*x2*x4+42*x3^2+39*x3*x4+18*x3*x5+20*x3*x6
+10*x4^2+50*x4*x5+42*x5^2+4*x1,5*x2*x4*x5+42*x2^2+10*x2*x4+18*x3^2+22*x3*x4+27*
x3*x5+12*x3*x6+15*x4^2+30*x4*x5+21*x5^2+2*x1,6*x2*x4*x5+84*x2^2+30*x2*x4+30*x3^
2+48*x3*x4+36*x3*x5+20*x3*x6+20*x4^2+50*x4*x5+35*x5^2+5*x1,7*x2*x4*x5+56*x2^2+
25*x2*x4+24*x3^2+34*x3*x4+27*x3*x5+20*x3*x6+15*x4^2+50*x4*x5+28*x5^2+7*x1,8*x2*
x4*x5+91*x2^2+30*x2*x4+42*x3^2+51*x3*x4+36*x3*x5+24*x3*x6+20*x4^2+60*x4*x5+42*
x5^2+7*x1,5*x2*x4*x5+42*x2^2+25*x2*x4+24*x3^2+28*x3*x4+18*x3*x5+12*x3*x6+10*x4^
2+30*x4*x5+21*x5^2+3*x1,3*x2*x4*x5+49*x2^2+20*x2*x4+18*x3^2+29*x3*x4+18*x3*x5+
12*x3*x6+10*x4^2+30*x4*x5+14*x5^2+4*x1,4*x2*x4*x5+63*x2^2+20*x2*x4+18*x3^2+35*
x3*x4+9*x3*x5+20*x3*x6+5*x4^2+50*x4*x5+28*x5^2+4*x1,4*x2*x4*x5+49*x2^2+20*x2*x4
+12*x3^2+29*x3*x4+27*x3*x5+8*x3*x6+15*x4^2+20*x4*x5+21*x5^2+4*x1,4*x2*x4*x5+56*
x2^2+20*x2*x4+18*x3^2+32*x3*x4+9*x3*x5+12*x3*x6+5*x4^2+30*x4*x5+28*x5^2+2*x1,3*
x2*x4*x5+63*x2^2+20*x2*x4+12*x3^2+35*x3*x4+9*x3*x5+16*x3*x6+5*x4^2+40*x4*x5+21*
x5^2+3*x1,2*x2*x4*x5+42*x2^2+15*x2*x4+6*x3^2+24*x3*x4+9*x3*x5+12*x3*x6+5*x4^2+
30*x4*x5+14*x5^2+4*x1,2*x2*x4*x5+35*x2^2+10*x2*x4+19*x3*x4+18*x3*x5+4*x3*x6+10*
x4^2+10*x4*x5+2*x1,x2*x4*x5+21*x2^2+10*x2*x4+13*x3*x4+9*x3*x5+4*x3*x6+5*x4^2+10
*x4*x5+7*x5^2+x1,x2*x4*x5+14*x2^2+5*x2*x4+8*x3*x4+9*x3*x5+5*x4^2,14*x2^2+5*x2*
x4+8*x3*x4+4*x3*x6+10*x4*x5+x1],[40*x2*x6^3+2*x2*x4*x5+28*x2^2+10*x2*x4+6*x3^2+
16*x3*x4+9*x3*x5+8*x3*x6+5*x4^2+20*x4*x5+14*x5^2+2*x1,50*x2*x6^3+5*x2*x4*x5+35*
x2^2+20*x2*x4+18*x3^2+23*x3*x4+63*x3*x5+24*x3*x6+35*x4^2+60*x4*x5+35*x5^2+4*x1,
70*x2*x6^3+4*x2*x4*x5+63*x2^2+20*x2*x4+24*x3^2+35*x3*x4+45*x3*x5+16*x3*x6+25*x4
^2+40*x4*x5+21*x5^2+6*x1,70*x2*x6^3+3*x2*x4*x5+70*x2^2+35*x2*x4+24*x3^2+44*x3*
x4+63*x3*x5+28*x3*x6+35*x4^2+70*x4*x5+28*x5^2+5*x1,50*x2*x6^3+5*x2*x4*x5+35*x2^
2+35*x2*x4+24*x3^2+29*x3*x4+54*x3*x5+24*x3*x6+30*x4^2+60*x4*x5+14*x5^2+4*x1,30*
x2*x6^3+3*x2*x4*x5+21*x2^2+15*x2*x4+24*x3^2+15*x3*x4+18*x3*x5+12*x3*x6+10*x4^2+
30*x4*x5+21*x5^2+3*x1,50*x2*x6^3+6*x2*x4*x5+56*x2^2+25*x2*x4+18*x3^2+34*x3*x4+
54*x3*x5+20*x3*x6+30*x4^2+50*x4*x5+28*x5^2+6*x1,50*x2*x6^3+3*x2*x4*x5+77*x2^2+
20*x2*x4+18*x3^2+41*x3*x4+45*x3*x5+16*x3*x6+25*x4^2+40*x4*x5+21*x5^2+5*x1,60*x2
*x6^3+6*x2*x4*x5+77*x2^2+35*x2*x4+24*x3^2+47*x3*x4+54*x3*x5+24*x3*x6+30*x4^2+60
*x4*x5+28*x5^2+7*x1,30*x2*x6^3+3*x2*x4*x5+35*x2^2+20*x2*x4+18*x3^2+23*x3*x4+45*
x3*x5+12*x3*x6+25*x4^2+30*x4*x5+14*x5^2+3*x1,30*x2*x6^3+4*x2*x4*x5+35*x2^2+15*
x2*x4+12*x3^2+21*x3*x4+36*x3*x5+8*x3*x6+20*x4^2+20*x4*x5+14*x5^2+3*x1,50*x2*x6^
3+4*x2*x4*x5+35*x2^2+15*x2*x4+18*x3^2+21*x3*x4+36*x3*x5+16*x3*x6+20*x4^2+40*x4*
x5+7*x5^2+5*x1,20*x2*x6^3+2*x2*x4*x5+42*x2^2+10*x2*x4+12*x3^2+22*x3*x4+36*x3*x5
+12*x3*x6+20*x4^2+30*x4*x5+21*x5^2+5*x1,30*x2*x6^3+3*x2*x4*x5+14*x2^2+15*x2*x4+
24*x3^2+12*x3*x4+36*x3*x5+16*x3*x6+20*x4^2+40*x4*x5+7*x5^2+5*x1,40*x2*x6^3+4*x2
*x4*x5+21*x2^2+10*x2*x4+18*x3^2+13*x3*x4+36*x3*x5+12*x3*x6+20*x4^2+30*x4*x5+7*
x5^2+5*x1,30*x2*x6^3+2*x2*x4*x5+35*x2^2+5*x2*x4+6*x3^2+17*x3*x4+27*x3*x5+8*x3*
x6+15*x4^2+20*x4*x5+7*x5^2+4*x1,10*x2*x6^3+2*x2*x4*x5+21*x2^2+6*x3^2+9*x3*x4+18
*x3*x5+10*x4^2+14*x5^2+3*x1,10*x2*x6^3+x2*x4*x5+7*x2^2+6*x3^2+3*x3*x4+18*x3*x5+
4*x3*x6+10*x4^2+10*x4*x5+7*x5^2+2*x1,x2*x4*x5+6*x3^2+9*x3*x5+5*x4^2+7*x5^2+x1,
10*x2*x6^3+x2*x4*x5+7*x2^2+3*x3*x4+9*x3*x5+5*x4^2+x1],[20*x2*x6^3+3*x2*x4*x5+14
*x2^2+5*x2*x4+12*x3^2+8*x3*x4+18*x3*x5+8*x3*x6+10*x4^2+20*x4*x5+7*x5^2+12*x6*x7
+x1,60*x2*x6^3+4*x2*x4*x5+28*x2^2+15*x2*x4+30*x3^2+18*x3*x4+36*x3*x5+20*x3*x6+
20*x4^2+50*x4*x5+49*x5^2+15*x6*x7+x1,40*x2*x6^3+6*x2*x4*x5+42*x2^2+20*x2*x4+24*
x3^2+26*x3*x4+36*x3*x5+12*x3*x6+20*x4^2+30*x4*x5+35*x5^2+21*x6*x7+3*x1,70*x2*x6
^3+7*x2*x4*x5+35*x2^2+20*x2*x4+18*x3^2+23*x3*x4+63*x3*x5+16*x3*x6+35*x4^2+40*x4
*x5+49*x5^2+21*x6*x7+3*x1,60*x2*x6^3+4*x2*x4*x5+28*x2^2+20*x2*x4+30*x3^2+20*x3*
x4+63*x3*x5+8*x3*x6+35*x4^2+20*x4*x5+42*x5^2+15*x6*x7+x1,30*x2*x6^3+2*x2*x4*x5+
21*x2^2+20*x2*x4+18*x3^2+17*x3*x4+27*x3*x5+12*x3*x6+15*x4^2+30*x4*x5+14*x5^2+9*
x6*x7+x1,50*x2*x6^3+5*x2*x4*x5+42*x2^2+15*x2*x4+36*x3^2+24*x3*x4+45*x3*x5+16*x3
*x6+25*x4^2+40*x4*x5+42*x5^2+15*x6*x7+3*x1,40*x2*x6^3+7*x2*x4*x5+35*x2^2+15*x2*
x4+18*x3^2+21*x3*x4+36*x3*x5+12*x3*x6+20*x4^2+30*x4*x5+35*x5^2+15*x6*x7+4*x1,60
*x2*x6^3+7*x2*x4*x5+49*x2^2+20*x2*x4+36*x3^2+29*x3*x4+63*x3*x5+16*x3*x6+35*x4^2
+40*x4*x5+42*x5^2+18*x6*x7+4*x1,30*x2*x6^3+3*x2*x4*x5+21*x2^2+15*x2*x4+18*x3^2+
15*x3*x4+36*x3*x5+8*x3*x6+20*x4^2+20*x4*x5+35*x5^2+9*x6*x7+2*x1,20*x2*x6^3+4*x2
*x4*x5+21*x2^2+10*x2*x4+24*x3^2+13*x3*x4+27*x3*x5+8*x3*x6+15*x4^2+20*x4*x5+28*
x5^2+9*x6*x7+x1,40*x2*x6^3+4*x2*x4*x5+35*x2^2+15*x2*x4+24*x3^2+21*x3*x4+27*x3*
x5+4*x3*x6+15*x4^2+10*x4*x5+28*x5^2+15*x6*x7+x1,30*x2*x6^3+4*x2*x4*x5+35*x2^2+
10*x2*x4+12*x3^2+19*x3*x4+18*x3*x5+12*x3*x6+10*x4^2+30*x4*x5+28*x5^2+6*x6*x7+2*
x1,40*x2*x6^3+2*x2*x4*x5+35*x2^2+20*x2*x4+18*x3^2+23*x3*x4+27*x3*x5+4*x3*x6+15*
x4^2+10*x4*x5+28*x5^2+9*x6*x7,30*x2*x6^3+3*x2*x4*x5+35*x2^2+15*x2*x4+24*x3^2+21
*x3*x4+18*x3*x5+4*x3*x6+10*x4^2+10*x4*x5+28*x5^2+12*x6*x7,20*x2*x6^3+4*x2*x4*x5
+28*x2^2+5*x2*x4+12*x3^2+14*x3*x4+9*x3*x5+4*x3*x6+5*x4^2+10*x4*x5+21*x5^2+9*x6*
x7+x1,2*x2*x4*x5+21*x2^2+5*x2*x4+12*x3^2+11*x3*x4+8*x3*x6+20*x4*x5+14*x5^2+3*x6
*x7+x1,10*x2*x6^3+x2*x4*x5+14*x2^2+5*x2*x4+6*x3^2+8*x3*x4+4*x3*x6+10*x4*x5+14*
x5^2+3*x6*x7,7*x2^2+5*x2*x4+6*x3^2+5*x3*x4+4*x3*x6+10*x4*x5+7*x5^2,x2*x4*x5+7*
x2^2+6*x3^2+3*x3*x4+7*x5^2+3*x6*x7],[15*x2^3*x6+14*x5^3*x6+136*x2^2*x5+18*x2*x3
*x4+41*x3*x4^2+93*x3*x6^2+x2*x3+10*x2*x4+16*x3^2+31*x3*x4+3*x7^2+x1,30*x2^3*x6+
14*x5^3*x6+324*x2^2*x5+54*x2*x3*x4+123*x3*x4^2+93*x3*x6^2+3*x2*x3+20*x2*x4+25*
x3^2+93*x3*x4+3*x7^2+3*x1,30*x2^3*x6+28*x5^3*x6+366*x2^2*x5+54*x2*x3*x4+123*x3*
x4^2+186*x3*x6^2+5*x2*x3+40*x2*x4+43*x3^2+93*x3*x4+3*x7^2+5*x1,14*x5^3*x6+136*
x2^2*x5+36*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+3*x2*x3+20*x2*x4+25*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+18*x3^2+62*x3*x4+2*x1,15*
x2^3*x6+188*x2^2*x5+72*x2*x3*x4+82*x3*x4^2+2*x2*x3+20*x2*x4+25*x3^2+124*x3*x4+2
*x1,30*x2^3*x6+14*x5^3*x6+272*x2^2*x5+36*x2*x3*x4+82*x3*x4^2+93*x3*x6^2+5*x2*x3
+20*x2*x4+25*x3^2+62*x3*x4+3*x7^2+5*x1,30*x2^3*x6+28*x5^3*x6+366*x2^2*x5+54*x2*
x3*x4+123*x3*x4^2+186*x3*x6^2+4*x2*x3+30*x2*x4+41*x3^2+93*x3*x4+3*x7^2+4*x1,30*
x2^3*x6+14*x5^3*x6+366*x2^2*x5+72*x2*x3*x4+123*x3*x4^2+93*x3*x6^2+5*x2*x3+30*x2
*x4+41*x3^2+124*x3*x4+3*x7^2+5*x1,15*x2^3*x6+188*x2^2*x5+36*x2*x3*x4+82*x3*x4^2
+2*x2*x3+10*x2*x4+16*x3^2+62*x3*x4+2*x1,30*x2^3*x6+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+25*x3^2+62*x3*x4+3*x7^2+3*x1,30*
x2^3*x6+28*x5^3*x6+324*x2^2*x5+54*x2*x3*x4+123*x3*x4^2+186*x3*x6^2+4*x2*x3+40*
x2*x4+43*x3^2+93*x3*x4+3*x7^2+4*x1,30*x2^3*x6+28*x5^3*x6+272*x2^2*x5+36*x2*x3*
x4+82*x3*x4^2+186*x3*x6^2+5*x2*x3+20*x2*x4+25*x3^2+62*x3*x4+3*x7^2+4*x1,15*x2^3
*x6+14*x5^3*x6+188*x2^2*x5+54*x2*x3*x4+82*x3*x4^2+93*x3*x6^2+4*x2*x3+30*x2*x4+
27*x3^2+93*x3*x4+3*x1,30*x2^3*x6+28*x5^3*x6+324*x2^2*x5+54*x2*x3*x4+123*x3*x4^2
+186*x3*x6^2+4*x2*x3+40*x2*x4+36*x3^2+93*x3*x4+3*x7^2+4*x1,15*x2^3*x6+28*x5^3*
x6+272*x2^2*x5+18*x2*x3*x4+82*x3*x4^2+186*x3*x6^2+3*x2*x3+30*x2*x4+27*x3^2+31*
x3*x4+3*x7^2+3*x1,30*x2^3*x6+14*x5^3*x6+272*x2^2*x5+18*x2*x3*x4+82*x3*x4^2+93*
x3*x6^2+3*x2*x3+10*x2*x4+9*x3^2+31*x3*x4+3*x7^2+3*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+2*x2*x3+10*x2*x4+9*x3^2+31*x3*x4+2*x1
,15*x2^3*x6+94*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+x2*x3+31*x3*x4+x1,15*x2^3*x6+14*
x5^3*x6+136*x2^2*x5+41*x3*x4^2+93*x3*x6^2+x2*x3+10*x2*x4+9*x3^2+3*x7^2+x1],[15*
x2^3*x6+14*x5^3*x6+136*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+x2*x3+10*x2*x4
+16*x3^2+31*x3*x4+2*x1,15*x2^3*x6+28*x5^3*x6+136*x2^2*x5+54*x2*x3*x4+41*x3*x4^2
+186*x3*x6^2+2*x2*x3+30*x2*x4+48*x3^2+93*x3*x4+3*x1,15*x2^3*x6+28*x5^3*x6+272*
x2^2*x5+90*x2*x3*x4+82*x3*x4^2+186*x3*x6^2+4*x2*x3+30*x2*x4+62*x3^2+155*x3*x4+5
*x1,136*x2^2*x5+54*x2*x3*x4+41*x3*x4^2+2*x2*x3+10*x2*x4+37*x3^2+93*x3*x4+3*x1,
36*x2*x3*x4+2*x2*x3+10*x2*x4+30*x3^2+62*x3*x4+2*x1,14*x5^3*x6+36*x2*x3*x4+93*x3
*x6^2+2*x2*x3+20*x2*x4+46*x3^2+62*x3*x4+3*x1,15*x2^3*x6+28*x5^3*x6+230*x2^2*x5+
90*x2*x3*x4+82*x3*x4^2+186*x3*x6^2+2*x2*x3+20*x2*x4+53*x3^2+155*x3*x4+3*x1,15*
x2^3*x6+28*x5^3*x6+272*x2^2*x5+72*x2*x3*x4+82*x3*x4^2+186*x3*x6^2+3*x2*x3+30*x2
*x4+55*x3^2+124*x3*x4+5*x1,15*x2^3*x6+28*x5^3*x6+230*x2^2*x5+90*x2*x3*x4+82*x3*
x4^2+186*x3*x6^2+3*x2*x3+30*x2*x4+69*x3^2+155*x3*x4+5*x1,14*x5^3*x6+36*x2*x3*x4
+93*x3*x6^2+x2*x3+20*x2*x4+32*x3^2+62*x3*x4+2*x1,15*x2^3*x6+28*x5^3*x6+136*x2^2
*x5+36*x2*x3*x4+41*x3*x4^2+186*x3*x6^2+2*x2*x3+30*x2*x4+41*x3^2+62*x3*x4+3*x1,
15*x2^3*x6+28*x5^3*x6+178*x2^2*x5+72*x2*x3*x4+41*x3*x4^2+186*x3*x6^2+4*x2*x3+30
*x2*x4+55*x3^2+124*x3*x4+5*x1,15*x2^3*x6+28*x5^3*x6+272*x2^2*x5+90*x2*x3*x4+82*
x3*x4^2+186*x3*x6^2+2*x2*x3+20*x2*x4+46*x3^2+155*x3*x4+3*x1,14*x5^3*x6+42*x2^2*
x5+72*x2*x3*x4+93*x3*x6^2+3*x2*x3+20*x2*x4+46*x3^2+124*x3*x4+3*x1,15*x2^3*x6+28
*x5^3*x6+178*x2^2*x5+72*x2*x3*x4+41*x3*x4^2+186*x3*x6^2+4*x2*x3+30*x2*x4+55*x3^
2+124*x3*x4+4*x1,15*x2^3*x6+14*x5^3*x6+272*x2^2*x5+54*x2*x3*x4+82*x3*x4^2+93*x3
*x6^2+3*x2*x3+20*x2*x4+32*x3^2+93*x3*x4+3*x1,15*x2^3*x6+28*x5^3*x6+230*x2^2*x5+
54*x2*x3*x4+82*x3*x4^2+186*x3*x6^2+x2*x3+20*x2*x4+32*x3^2+93*x3*x4+x1,14*x5^3*
x6+42*x2^2*x5+36*x2*x3*x4+93*x3*x6^2+x2*x3+10*x2*x4+23*x3^2+62*x3*x4+x1,14*x5^3
*x6+18*x2*x3*x4+93*x3*x6^2+10*x2*x4+16*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+x2*x3+10*x2*x4+9*x3^2+31*x3*x4+x1],[
14*x5^3*x6+136*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+x2*x3+10*x2*x4+23*x3^2
+62*x3*x4+x1,14*x5^3*x6+178*x2^2*x5+90*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+3*x2*x3+
10*x2*x4+44*x3^2+155*x3*x4+3*x1,14*x5^3*x6+272*x2^2*x5+162*x2*x3*x4+82*x3*x4^2+
93*x3*x6^2+3*x2*x3+20*x2*x4+74*x3^2+279*x3*x4+3*x1,94*x2^2*x5+90*x2*x3*x4+41*x3
*x4^2+x2*x3+10*x2*x4+44*x3^2+155*x3*x4+2*x1,72*x2*x3*x4+x2*x3+28*x3^2+124*x3*x4
+2*x1,42*x2^2*x5+72*x2*x3*x4+2*x2*x3+35*x3^2+124*x3*x4+4*x1,14*x5^3*x6+178*x2^2
*x5+126*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+2*x2*x3+20*x2*x4+60*x3^2+217*x3*x4+2*x1,
14*x5^3*x6+272*x2^2*x5+126*x2*x3*x4+82*x3*x4^2+93*x3*x6^2+3*x2*x3+20*x2*x4+67*
x3^2+217*x3*x4+3*x1,14*x5^3*x6+178*x2^2*x5+144*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+3
*x2*x3+20*x2*x4+74*x3^2+248*x3*x4+4*x1,42*x2^2*x5+54*x2*x3*x4+2*x2*x3+28*x3^2+
93*x3*x4+2*x1,14*x5^3*x6+178*x2^2*x5+90*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+3*x2*x3+
10*x2*x4+37*x3^2+155*x3*x4+2*x1,14*x5^3*x6+272*x2^2*x5+144*x2*x3*x4+82*x3*x4^2+
93*x3*x6^2+3*x2*x3+10*x2*x4+65*x3^2+248*x3*x4+3*x1,14*x5^3*x6+272*x2^2*x5+108*
x2*x3*x4+82*x3*x4^2+93*x3*x6^2+2*x2*x3+20*x2*x4+60*x3^2+186*x3*x4+2*x1,136*x2^2
*x5+108*x2*x3*x4+41*x3*x4^2+2*x2*x3+49*x3^2+186*x3*x4+3*x1,14*x5^3*x6+272*x2^2*
x5+144*x2*x3*x4+82*x3*x4^2+93*x3*x6^2+3*x2*x3+10*x2*x4+58*x3^2+248*x3*x4+3*x1,
14*x5^3*x6+230*x2^2*x5+108*x2*x3*x4+82*x3*x4^2+93*x3*x6^2+2*x2*x3+20*x2*x4+46*
x3^2+186*x3*x4+x1,14*x5^3*x6+178*x2^2*x5+72*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+2*x2
*x3+20*x2*x4+32*x3^2+124*x3*x4+x1,136*x2^2*x5+54*x2*x3*x4+41*x3*x4^2+x2*x3+21*
x3^2+93*x3*x4+x1,42*x2^2*x5+18*x2*x3*x4+x2*x3+7*x3^2+31*x3*x4+x1,14*x5^3*x6+136
*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+x2*x3+10*x2*x4+16*x3^2+62*x3*x4],[
136*x2^2*x5+54*x2*x3*x4+41*x3*x4^2+2*x2*x3+10*x2*x4+16*x3^2+93*x3*x4+x1,230*x2^
2*x5+108*x2*x3*x4+82*x3*x4^2+4*x2*x3+10*x2*x4+37*x3^2+186*x3*x4+3*x1,230*x2^2*
x5+144*x2*x3*x4+82*x3*x4^2+7*x2*x3+20*x2*x4+53*x3^2+248*x3*x4+5*x1,72*x2*x3*x4+
4*x2*x3+10*x2*x4+30*x3^2+124*x3*x4+3*x1,54*x2*x3*x4+2*x2*x3+28*x3^2+93*x3*x4+2*
x1,94*x2^2*x5+90*x2*x3*x4+41*x3*x4^2+2*x2*x3+42*x3^2+155*x3*x4+2*x1,230*x2^2*x5
+90*x2*x3*x4+82*x3*x4^2+7*x2*x3+10*x2*x4+30*x3^2+155*x3*x4+5*x1,230*x2^2*x5+144
*x2*x3*x4+82*x3*x4^2+6*x2*x3+20*x2*x4+46*x3^2+248*x3*x4+4*x1,230*x2^2*x5+144*x2
*x3*x4+82*x3*x4^2+7*x2*x3+10*x2*x4+51*x3^2+248*x3*x4+5*x1,94*x2^2*x5+72*x2*x3*
x4+41*x3*x4^2+2*x2*x3+21*x3^2+124*x3*x4+2*x1,230*x2^2*x5+108*x2*x3*x4+82*x3*x4^
2+4*x2*x3+10*x2*x4+30*x3^2+186*x3*x4+2*x1,230*x2^2*x5+144*x2*x3*x4+82*x3*x4^2+5
*x2*x3+20*x2*x4+53*x3^2+248*x3*x4+4*x1,230*x2^2*x5+90*x2*x3*x4+82*x3*x4^2+6*x2*
x3+20*x2*x4+32*x3^2+155*x3*x4+5*x1,94*x2^2*x5+90*x2*x3*x4+41*x3*x4^2+3*x2*x3+10
*x2*x4+44*x3^2+155*x3*x4+4*x1,230*x2^2*x5+126*x2*x3*x4+82*x3*x4^2+5*x2*x3+20*x2
*x4+53*x3^2+217*x3*x4+4*x1,136*x2^2*x5+90*x2*x3*x4+41*x3*x4^2+5*x2*x3+20*x2*x4+
32*x3^2+155*x3*x4+3*x1,230*x2^2*x5+54*x2*x3*x4+82*x3*x4^2+5*x2*x3+10*x2*x4+16*
x3^2+93*x3*x4+3*x1,94*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+2*x2*x3+10*x2*x4+16*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,136*x2
^2*x5+36*x2*x3*x4+41*x3*x4^2+2*x2*x3+10*x2*x4+9*x3^2+62*x3*x4+x1],[94*x2^2*x5+
36*x2*x3*x4+41*x3*x4^2+3*x2*x3+20*x2*x4+18*x3^2+62*x3*x4+x1,94*x2^2*x5+72*x2*x3
*x4+41*x3*x4^2+4*x2*x3+50*x2*x4+52*x3^2+124*x3*x4+2*x1,94*x2^2*x5+90*x2*x3*x4+
41*x3*x4^2+7*x2*x3+70*x2*x4+70*x3^2+155*x3*x4+4*x1,54*x2*x3*x4+4*x2*x3+30*x2*x4
+34*x3^2+93*x3*x4+2*x1,36*x2*x3*x4+2*x2*x3+20*x2*x4+25*x3^2+62*x3*x4+2*x1,72*x2
*x3*x4+3*x2*x3+30*x2*x4+34*x3^2+124*x3*x4+2*x1,94*x2^2*x5+72*x2*x3*x4+41*x3*x4^
2+4*x2*x3+70*x2*x4+63*x3^2+124*x3*x4+2*x1,94*x2^2*x5+90*x2*x3*x4+41*x3*x4^2+7*
x2*x3+60*x2*x4+61*x3^2+155*x3*x4+3*x1,94*x2^2*x5+108*x2*x3*x4+41*x3*x4^2+6*x2*
x3+70*x2*x4+70*x3^2+186*x3*x4+3*x1,36*x2*x3*x4+2*x2*x3+30*x2*x4+34*x3^2+62*x3*
x4+x1,94*x2^2*x5+54*x2*x3*x4+41*x3*x4^2+4*x2*x3+50*x2*x4+45*x3^2+93*x3*x4+2*x1,
94*x2^2*x5+72*x2*x3*x4+41*x3*x4^2+7*x2*x3+60*x2*x4+61*x3^2+124*x3*x4+4*x1,94*x2
^2*x5+72*x2*x3*x4+41*x3*x4^2+5*x2*x3+60*x2*x4+61*x3^2+124*x3*x4+2*x1,54*x2*x3*
x4+4*x2*x3+40*x2*x4+50*x3^2+93*x3*x4+3*x1,94*x2^2*x5+72*x2*x3*x4+41*x3*x4^2+6*
x2*x3+60*x2*x4+61*x3^2+124*x3*x4+4*x1,94*x2^2*x5+54*x2*x3*x4+41*x3*x4^2+5*x2*x3
+40*x2*x4+43*x3^2+93*x3*x4+3*x1,94*x2^2*x5+54*x2*x3*x4+41*x3*x4^2+2*x2*x3+50*x2
*x4+45*x3^2+93*x3*x4+x1,18*x2*x3*x4+2*x2*x3+30*x2*x4+27*x3^2+31*x3*x4+x1,18*x2*
x3*x4+20*x2*x4+18*x3^2+31*x3*x4,94*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+2*x2*x3+20*x2
*x4+18*x3^2+31*x3*x4+x1],[94*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+2*x2*x3+30*x2*x4+20
*x3^2+62*x3*x4+x1,282*x2^2*x5+72*x2*x3*x4+123*x3*x4^2+5*x2*x3+40*x2*x4+29*x3^2+
124*x3*x4+3*x1,470*x2^2*x5+126*x2*x3*x4+205*x3*x4^2+5*x2*x3+60*x2*x4+54*x3^2+
217*x3*x4+3*x1,282*x2^2*x5+72*x2*x3*x4+123*x3*x4^2+2*x2*x3+30*x2*x4+27*x3^2+124
*x3*x4+x1,188*x2^2*x5+36*x2*x3*x4+82*x3*x4^2+2*x2*x3+20*x2*x4+18*x3^2+62*x3*x4+
x1,188*x2^2*x5+36*x2*x3*x4+82*x3*x4^2+5*x2*x3+30*x2*x4+20*x3^2+62*x3*x4+2*x1,
470*x2^2*x5+108*x2*x3*x4+205*x3*x4^2+4*x2*x3+40*x2*x4+36*x3^2+186*x3*x4+2*x1,
376*x2^2*x5+108*x2*x3*x4+164*x3*x4^2+5*x2*x3+60*x2*x4+47*x3^2+186*x3*x4+3*x1,
470*x2^2*x5+108*x2*x3*x4+205*x3*x4^2+6*x2*x3+60*x2*x4+47*x3^2+186*x3*x4+3*x1,
188*x2^2*x5+36*x2*x3*x4+82*x3*x4^2+3*x2*x3+20*x2*x4+11*x3^2+62*x3*x4+2*x1,282*
x2^2*x5+54*x2*x3*x4+123*x3*x4^2+4*x2*x3+40*x2*x4+29*x3^2+93*x3*x4+3*x1,376*x2^2
*x5+108*x2*x3*x4+164*x3*x4^2+5*x2*x3+60*x2*x4+47*x3^2+186*x3*x4+3*x1,376*x2^2*
x5+126*x2*x3*x4+164*x3*x4^2+4*x2*x3+40*x2*x4+36*x3^2+217*x3*x4+2*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,376*x2^2*x5+
108*x2*x3*x4+164*x3*x4^2+5*x2*x3+50*x2*x4+45*x3^2+186*x3*x4+3*x1,282*x2^2*x5+90
*x2*x3*x4+123*x3*x4^2+2*x2*x3+40*x2*x4+43*x3^2+155*x3*x4+2*x1,282*x2^2*x5+72*x2
*x3*x4+123*x3*x4^2+3*x2*x3+20*x2*x4+25*x3^2+124*x3*x4+2*x1,188*x2^2*x5+54*x2*x3
*x4+82*x3*x4^2+2*x2*x3+10*x2*x4+9*x3^2+93*x3*x4+x1,94*x2^2*x5+18*x2*x3*x4+41*x3
*x4^2+2*x2*x3+31*x3*x4+x1,94*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+x2*x3+20*x2*x4+18*
x3^2+62*x3*x4+x1],[230*x2^2*x5+36*x2*x3*x4+82*x3*x4^2+2*x2*x3+10*x2*x4+16*x3^2+
62*x3*x4+x1,408*x2^2*x5+72*x2*x3*x4+123*x3*x4^2+4*x2*x3+30*x2*x4+34*x3^2+124*x3
*x4+x1,680*x2^2*x5+108*x2*x3*x4+205*x3*x4^2+6*x2*x3+30*x2*x4+41*x3^2+186*x3*x4+
2*x1,408*x2^2*x5+36*x2*x3*x4+123*x3*x4^2+3*x2*x3+20*x2*x4+18*x3^2+62*x3*x4+x1,
272*x2^2*x5+36*x2*x3*x4+82*x3*x4^2+2*x2*x3+20*x2*x4+11*x3^2+62*x3*x4,366*x2^2*
x5+54*x2*x3*x4+123*x3*x4^2+2*x2*x3+40*x2*x4+22*x3^2+93*x3*x4,492*x2^2*x5+72*x2*
x3*x4+123*x3*x4^2+6*x2*x3+20*x2*x4+25*x3^2+124*x3*x4+2*x1,638*x2^2*x5+90*x2*x3*
x4+205*x3*x4^2+5*x2*x3+30*x2*x4+41*x3^2+155*x3*x4+2*x1,680*x2^2*x5+90*x2*x3*x4+
205*x3*x4^2+6*x2*x3+40*x2*x4+36*x3^2+155*x3*x4+2*x1,272*x2^2*x5+36*x2*x3*x4+82*
x3*x4^2+2*x2*x3+20*x2*x4+18*x3^2+62*x3*x4,408*x2^2*x5+72*x2*x3*x4+123*x3*x4^2+3
*x2*x3+20*x2*x4+32*x3^2+124*x3*x4+x1,638*x2^2*x5+108*x2*x3*x4+205*x3*x4^2+5*x2*
x3+30*x2*x4+41*x3^2+186*x3*x4+x1,450*x2^2*x5+72*x2*x3*x4+123*x3*x4^2+6*x2*x3+20
*x2*x4+32*x3^2+124*x3*x4+2*x1,408*x2^2*x5+72*x2*x3*x4+123*x3*x4^2+4*x2*x3+30*x2
*x4+27*x3^2+124*x3*x4,544*x2^2*x5+108*x2*x3*x4+164*x3*x4^2+5*x2*x3+30*x2*x4+41*
x3^2+186*x3*x4+x1,408*x2^2*x5+72*x2*x3*x4+123*x3*x4^2+4*x2*x3+10*x2*x4+30*x3^2+
124*x3*x4+2*x1,220*x2^2*x5+54*x2*x3*x4+41*x3*x4^2+4*x2*x3+10*x2*x4+23*x3^2+93*
x3*x4+2*x1,178*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+2*x2*x3+10*x2*x4+16*x3^2+62*x3*x4
,42*x2^2*x5+18*x2*x3*x4+x2*x3+10*x2*x4+9*x3^2+31*x3*x4,136*x2^2*x5+36*x2*x3*x4+
41*x3*x4^2+2*x2*x3+14*x3^2+62*x3*x4+x1],[14*x5^3*x6+178*x2^2*x5+36*x2*x3*x4+41*
x3*x4^2+93*x3*x6^2+x2*x3+10*x2*x4+16*x3^2+62*x3*x4+x1,42*x5^3*x6+408*x2^2*x5+72
*x2*x3*x4+123*x3*x4^2+279*x3*x6^2+2*x2*x3+30*x2*x4+27*x3^2+124*x3*x4+x1,70*x5^3
*x6+492*x2^2*x5+72*x2*x3*x4+123*x3*x4^2+465*x3*x6^2+4*x2*x3+50*x2*x4+38*x3^2+
124*x3*x4+2*x1,42*x5^3*x6+314*x2^2*x5+18*x2*x3*x4+82*x3*x4^2+279*x3*x6^2+2*x2*
x3+30*x2*x4+13*x3^2+31*x3*x4+x1,28*x5^3*x6+272*x2^2*x5+18*x2*x3*x4+82*x3*x4^2+
186*x3*x6^2+2*x2*x3+20*x2*x4+4*x3^2+31*x3*x4,28*x5^3*x6+502*x2^2*x5+36*x2*x3*x4
+164*x3*x4^2+186*x3*x6^2+2*x2*x3+20*x2*x4+11*x3^2+62*x3*x4,70*x5^3*x6+314*x2^2*
x5+54*x2*x3*x4+82*x3*x4^2+465*x3*x6^2+2*x2*x3+50*x2*x4+38*x3^2+93*x3*x4+x1,56*
x5^3*x6+492*x2^2*x5+72*x2*x3*x4+123*x3*x4^2+372*x3*x6^2+3*x2*x3+40*x2*x4+36*x3^
2+124*x3*x4+2*x1,70*x5^3*x6+586*x2^2*x5+72*x2*x3*x4+164*x3*x4^2+465*x3*x6^2+3*
x2*x3+50*x2*x4+38*x3^2+124*x3*x4+x1,28*x5^3*x6+272*x2^2*x5+36*x2*x3*x4+82*x3*x4
^2+186*x3*x6^2+x2*x3+20*x2*x4+11*x3^2+62*x3*x4,42*x5^3*x6+314*x2^2*x5+72*x2*x3*
x4+82*x3*x4^2+279*x3*x6^2+2*x2*x3+20*x2*x4+25*x3^2+124*x3*x4+x1,56*x5^3*x6+492*
x2^2*x5+72*x2*x3*x4+123*x3*x4^2+372*x3*x6^2+4*x2*x3+40*x2*x4+29*x3^2+124*x3*x4+
2*x1,56*x5^3*x6+314*x2^2*x5+54*x2*x3*x4+82*x3*x4^2+372*x3*x6^2+2*x2*x3+50*x2*x4
+38*x3^2+93*x3*x4+2*x1,42*x5^3*x6+408*x2^2*x5+36*x2*x3*x4+123*x3*x4^2+279*x3*x6
^2+3*x2*x3+40*x2*x4+15*x3^2+62*x3*x4+x1,56*x5^3*x6+450*x2^2*x5+72*x2*x3*x4+123*
x3*x4^2+372*x3*x6^2+4*x2*x3+40*x2*x4+29*x3^2+124*x3*x4+2*x1,42*x5^3*x6+220*x2^2
*x5+54*x2*x3*x4+41*x3*x4^2+279*x3*x6^2+3*x2*x3+30*x2*x4+27*x3^2+93*x3*x4+2*x1,
42*x5^3*x6+136*x2^2*x5+54*x2*x3*x4+41*x3*x4^2+279*x3*x6^2+x2*x3+30*x2*x4+34*x3^
2+93*x3*x4+x1,28*x5^3*x6+136*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+186*x3*x6^2+x2*x3+
20*x2*x4+11*x3^2+31*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,14*x5^3*x6+42*x2^2*x5+36*x2*x3*x4+93*x3*x6^2+x2*
x3+10*x2*x4+16*x3^2+62*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+10*x2*x4+16*x3^2+31*x3*x4+x1,45*x2^3*x6+42*x5^3*
x6+408*x2^2*x5+18*x2*x3*x4+123*x3*x4^2+279*x3*x6^2+3*x2*x3+20*x2*x4+18*x3^2+31*
x3*x4+2*x1,75*x2^3*x6+70*x5^3*x6+596*x2^2*x5+36*x2*x3*x4+205*x3*x4^2+465*x3*x6^
2+3*x2*x3+40*x2*x4+29*x3^2+62*x3*x4+2*x1,45*x2^3*x6+42*x5^3*x6+366*x2^2*x5+18*
x2*x3*x4+123*x3*x4^2+279*x3*x6^2+x2*x3+20*x2*x4+11*x3^2+31*x3*x4,30*x2^3*x6+28*
x5^3*x6+272*x2^2*x5+82*x3*x4^2+186*x3*x6^2+x2*x3+20*x2*x4+4*x3^2,30*x2^3*x6+42*
x5^3*x6+356*x2^2*x5+82*x3*x4^2+279*x3*x6^2+2*x2*x3+20*x2*x4+4*x3^2+x1,75*x2^3*
x6+42*x5^3*x6+554*x2^2*x5+36*x2*x3*x4+205*x3*x4^2+279*x3*x6^2+2*x2*x3+20*x2*x4+
18*x3^2+62*x3*x4+2*x1,60*x2^3*x6+70*x5^3*x6+502*x2^2*x5+36*x2*x3*x4+164*x3*x4^2
+465*x3*x6^2+3*x2*x3+30*x2*x4+27*x3^2+62*x3*x4+2*x1,75*x2^3*x6+70*x5^3*x6+638*
x2^2*x5+36*x2*x3*x4+205*x3*x4^2+465*x3*x6^2+3*x2*x3+30*x2*x4+20*x3^2+62*x3*x4+2
*x1,30*x2^3*x6+28*x5^3*x6+272*x2^2*x5+82*x3*x4^2+186*x3*x6^2+2*x2*x3+10*x2*x4+2
*x3^2+x1,45*x2^3*x6+42*x5^3*x6+272*x2^2*x5+18*x2*x3*x4+82*x3*x4^2+279*x3*x6^2+3
*x2*x3+20*x2*x4+18*x3^2+31*x3*x4+2*x1,60*x2^3*x6+70*x5^3*x6+502*x2^2*x5+18*x2*
x3*x4+164*x3*x4^2+465*x3*x6^2+3*x2*x3+40*x2*x4+29*x3^2+31*x3*x4+2*x1,60*x2^3*x6
+42*x5^3*x6+554*x2^2*x5+36*x2*x3*x4+205*x3*x4^2+279*x3*x6^2+2*x2*x3+20*x2*x4+25
*x3^2+62*x3*x4+2*x1,45*x2^3*x6+42*x5^3*x6+502*x2^2*x5+164*x3*x4^2+279*x3*x6^2+2
*x2*x3+30*x2*x4+13*x3^2+x1,60*x2^3*x6+56*x5^3*x6+502*x2^2*x5+18*x2*x3*x4+164*x3
*x4^2+372*x3*x6^2+3*x2*x3+40*x2*x4+29*x3^2+31*x3*x4+2*x1,45*x2^3*x6+42*x5^3*x6+
324*x2^2*x5+36*x2*x3*x4+123*x3*x4^2+279*x3*x6^2+2*x2*x3+30*x2*x4+27*x3^2+62*x3*
x4+x1,45*x2^3*x6+14*x5^3*x6+324*x2^2*x5+36*x2*x3*x4+123*x3*x4^2+93*x3*x6^2+2*x2
*x3+10*x2*x4+16*x3^2+62*x3*x4+2*x1,30*x2^3*x6+14*x5^3*x6+230*x2^2*x5+82*x3*x4^2
+93*x3*x6^2+x2*x3+10*x2*x4+9*x3^2+x1,15*x2^3*x6+136*x2^2*x5+41*x3*x4^2+x2*x3+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+x2*x3+10*x2
*x4+16*x3^2+31*x3*x4+x1],[30*x2^3*x6+14*x5^3*x6+136*x2^2*x5+18*x2*x3*x4+41*x3*
x4^2+93*x3*x6^2+x2*x3+10*x2*x4+9*x3^2+31*x3*x4+3*x7^2+x1,45*x2^3*x6+42*x5^3*x6+
314*x2^2*x5+18*x2*x3*x4+82*x3*x4^2+279*x3*x6^2+x2*x3+30*x2*x4+20*x3^2+31*x3*x4+
9*x7^2+x1,75*x2^3*x6+42*x5^3*x6+586*x2^2*x5+36*x2*x3*x4+164*x3*x4^2+279*x3*x6^2
+2*x2*x3+30*x2*x4+20*x3^2+62*x3*x4+15*x7^2+x1,45*x2^3*x6+28*x5^3*x6+314*x2^2*x5
+18*x2*x3*x4+82*x3*x4^2+186*x3*x6^2+x2*x3+10*x2*x4+2*x3^2+31*x3*x4+9*x7^2,30*x2
^3*x6+28*x5^3*x6+272*x2^2*x5+82*x3*x4^2+186*x3*x6^2+10*x2*x4+2*x3^2+6*x7^2,45*
x2^3*x6+56*x5^3*x6+272*x2^2*x5+82*x3*x4^2+372*x3*x6^2+20*x2*x4+11*x3^2+6*x7^2,
45*x2^3*x6+28*x5^3*x6+398*x2^2*x5+18*x2*x3*x4+82*x3*x4^2+186*x3*x6^2+2*x2*x3+20
*x2*x4+18*x3^2+31*x3*x4+15*x7^2+x1,75*x2^3*x6+42*x5^3*x6+450*x2^2*x5+36*x2*x3*
x4+123*x3*x4^2+279*x3*x6^2+2*x2*x3+30*x2*x4+20*x3^2+62*x3*x4+12*x7^2+x1,75*x2^3
*x6+56*x5^3*x6+492*x2^2*x5+18*x2*x3*x4+123*x3*x4^2+372*x3*x6^2+2*x2*x3+30*x2*x4
+20*x3^2+31*x3*x4+15*x7^2+x1,30*x2^3*x6+28*x5^3*x6+178*x2^2*x5+41*x3*x4^2+186*
x3*x6^2+20*x2*x4+11*x3^2+6*x7^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+x2*x3+30*x2*x4+20*x3^2+31*x3*x4+9*x7^2+x1,75*x2^3*x6+42*
x5^3*x6+544*x2^2*x5+36*x2*x3*x4+164*x3*x4^2+279*x3*x6^2+x2*x3+30*x2*x4+20*x3^2+
62*x3*x4+12*x7^2+x1,45*x2^3*x6+28*x5^3*x6+398*x2^2*x5+36*x2*x3*x4+82*x3*x4^2+
186*x3*x6^2+2*x2*x3+20*x2*x4+18*x3^2+62*x3*x4+12*x7^2+x1,45*x2^3*x6+42*x5^3*x6+
450*x2^2*x5+18*x2*x3*x4+123*x3*x4^2+279*x3*x6^2+20*x2*x4+11*x3^2+31*x3*x4+9*x7^
2,60*x2^3*x6+42*x5^3*x6+544*x2^2*x5+36*x2*x3*x4+164*x3*x4^2+279*x3*x6^2+x2*x3+
30*x2*x4+20*x3^2+62*x3*x4+12*x7^2+x1,45*x2^3*x6+14*x5^3*x6+408*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+9*x7^2+x1,15*x2^3*
x6+14*x5^3*x6+220*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+93*x3*x6^2+2*x2*x3+20*x2*x4+18
*x3^2+31*x3*x4+9*x7^2+x1,15*x2^3*x6+14*x5^3*x6+178*x2^2*x5+18*x2*x3*x4+41*x3*x4
^2+93*x3*x6^2+10*x2*x4+9*x3^2+31*x3*x4+6*x7^2,14*x5^3*x6+42*x2^2*x5+93*x3*x6^2+
10*x2*x4+9*x3^2+3*x7^2,15*x2^3*x6+136*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+x2*x3+10*
x2*x4+9*x3^2+31*x3*x4+3*x7^2+x1]]);
