AA0 := Matrix(14, 14, [[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],[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],[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],[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],[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],[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],[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,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,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,
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,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,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,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,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(7, 7, [[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],[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],[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],[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,6*x3^2,x2*x4*x5,7*x2^2+3*x3*x4,x1,7*x2^2+3*x3*x4,x2*x4*x5]
,[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],[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(7, 7, [[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],[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],[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],[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,x2*x3,18*x2*x3*x4+31*x3*x4,7*
x3^2,x1,7*x3^2,18*x2*x3*x4+31*x3*x4],[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],[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(14, 14, [[1,1,1,1,0,0,0,0,0,0,1,0,0,1],[0,1,0,1,0,0,0,1,0,0,0,0,0,
1],[0,0,1,0,0,1,1,1,0,0,1,0,1,0],[0,0,0,1,0,1,0,1,0,0,1,0,1,1],[0,0,0,0,1,0,1,1
,0,1,0,1,1,0],[0,0,0,0,0,1,0,0,0,0,0,1,0,1],[0,0,0,0,0,0,1,0,1,0,1,0,0,0],[0,0,
0,0,0,0,0,1,1,0,0,0,1,0],[0,0,0,0,0,0,0,0,1,1,1,0,0,1],[0,0,0,0,0,0,0,0,0,1,1,1
,1,1],[0,0,0,0,0,0,0,0,0,0,1,1,1,1],[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,1,1],[0,0,0,0,0,0,0,0,0,0,0,0,0,1]]);
P2 := Matrix(14, 14, [[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],[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,1,1,1,1,0,0,0
,0,0,0,0,0,0],[1,0,0,0,0,1,0,0,0,0,0,0,0,0],[1,0,0,0,1,1,1,0,0,0,0,0,0,0],[1,1,
0,1,0,1,1,1,0,0,0,0,0,0],[0,0,1,1,0,1,0,0,1,0,0,0,0,0],[0,1,1,1,1,1,0,1,1,1,0,0
,0,0],[1,1,1,1,1,1,0,0,0,0,1,0,0,0],[1,0,0,1,1,1,1,1,0,1,0,1,0,0],[1,1,0,0,1,1,
0,0,0,0,1,0,1,0],[1,0,0,1,0,0,0,1,0,0,1,1,0,1]]);
AA := Matrix(14, 14, [[6*x2*x4*x5+14*x2^2+20*x2*x4+30*x3^2+14*x3*x4+27*x3*x5+15
*x4^2+14*x5^2+4*x1,4*x2*x4*x5+14*x2^2+20*x2*x4+18*x3^2+14*x3*x4+7*x5^2+3*x1,2*
x2*x4*x5+10*x2*x4+6*x3^2+4*x3*x4+14*x5^2+2*x1,2*x2*x4*x5+21*x2^2+20*x2*x4+24*x3
^2+17*x3*x4+18*x3*x5+10*x4^2+14*x5^2+3*x1,3*x2*x4*x5+25*x2*x4+12*x3^2+10*x3*x4+
9*x3*x5+5*x4^2+14*x5^2+x1,5*x2*x4*x5+7*x2^2+25*x2*x4+24*x3^2+13*x3*x4+18*x3*x5+
10*x4^2+21*x5^2+x1,2*x2*x4*x5+7*x2^2+15*x2*x4+6*x3^2+9*x3*x4+9*x3*x5+5*x4^2+7*
x5^2,x2*x4*x5+14*x2^2+15*x2*x4+12*x3^2+12*x3*x4+18*x3*x5+10*x4^2+x1,5*x2*x4+2*
x3*x4+7*x5^2,10*x2*x4+4*x3*x4+9*x3*x5+5*x4^2,2*x2*x4*x5+7*x2^2+5*x2*x4+18*x3^2+
5*x3*x4+9*x3*x5+5*x4^2+7*x5^2+2*x1,7*x2^2+5*x2*x4+6*x3^2+5*x3*x4+18*x3*x5+10*x4
^2+x1,x2*x4*x5+5*x2*x4+6*x3^2+2*x3*x4,7*x2^2+6*x3^2+3*x3*x4+9*x3*x5+5*x4^2+x1],
[5*x2*x4*x5+70*x2^2+15*x2*x4+24*x3^2+36*x3*x4+18*x3*x5+10*x4^2+2*x1,3*x2*x4*x5+
49*x2^2+24*x3^2+21*x3*x4+9*x3*x5+5*x4^2+2*x1,x2*x4*x5+28*x2^2+12*x3^2+12*x3*x4+
18*x3*x5+10*x4^2,4*x2*x4*x5+35*x2^2+10*x2*x4+24*x3^2+19*x3*x4+18*x3*x5+10*x4^2+
3*x1,2*x2*x4*x5+28*x2^2+5*x2*x4+30*x3^2+14*x3*x4+18*x3*x5+10*x4^2,4*x2*x4*x5+42
*x2^2+10*x2*x4+30*x3^2+22*x3*x4+27*x3*x5+15*x4^2+x1,x2*x4*x5+14*x2^2+5*x2*x4+18
*x3^2+8*x3*x4+9*x3*x5+5*x4^2+x1,2*x2*x4*x5+14*x2^2+10*x2*x4+18*x3^2+10*x3*x4+2*
x1,6*x3^2+9*x3*x5+5*x4^2,5*x2*x4+12*x3^2+2*x3*x4,3*x2*x4*x5+28*x2^2+5*x2*x4+6*
x3^2+14*x3*x4+9*x3*x5+5*x4^2+x1,x2*x4*x5+7*x2^2+10*x2*x4+6*x3^2+7*x3*x4+x1,x2*
x4*x5+7*x2^2+6*x3^2+3*x3*x4,x2*x4*x5+7*x2^2+5*x2*x4+5*x3*x4+x1],[8*x2*x4*x5+49*
x2^2+10*x2*x4+18*x3^2+25*x3*x4+6*x1,7*x2*x4*x5+35*x2^2+5*x2*x4+17*x3*x4+4*x1,4*
x2*x4*x5+7*x2^2+10*x2*x4+7*x3*x4+2*x1,7*x2*x4*x5+49*x2^2+10*x2*x4+12*x3^2+25*x3
*x4+2*x1,6*x2*x4*x5+14*x2^2+10*x2*x4+6*x3^2+10*x3*x4+3*x1,6*x2*x4*x5+35*x2^2+15
*x2*x4+12*x3^2+21*x3*x4+5*x1,3*x2*x4*x5+14*x2^2+5*x2*x4+6*x3^2+8*x3*x4+2*x1,4*
x2*x4*x5+28*x2^2+12*x3^2+12*x3*x4+x1,x2*x4*x5+5*x2*x4+2*x3*x4,2*x2*x4*x5+6*x3^2
,3*x2*x4*x5+28*x2^2+5*x2*x4+6*x3^2+14*x3*x4+2*x1,2*x2*x4*x5+14*x2^2+12*x3^2+6*
x3*x4,x2*x4*x5+7*x2^2+3*x3*x4+x1,x2*x4*x5+14*x2^2+6*x3^2+6*x3*x4],[5*x2*x4*x5+
70*x2^2+36*x3^2+30*x3*x4+5*x1,2*x2*x4*x5+56*x2^2+24*x3^2+24*x3*x4+3*x1,28*x2^2+
24*x3^2+12*x3*x4+x1,5*x2*x4*x5+42*x2^2+30*x3^2+18*x3*x4+4*x1,x2*x4*x5+56*x2^2+
18*x3^2+24*x3*x4+2*x1,3*x2*x4*x5+70*x2^2+24*x3^2+30*x3*x4+4*x1,2*x2*x4*x5+35*x2
^2+6*x3^2+15*x3*x4+x1,4*x2*x4*x5+28*x2^2+6*x3^2+12*x3*x4+2*x1,7*x2^2+6*x3^2+3*
x3*x4,x2*x4*x5+14*x2^2+6*x3*x4,2*x2*x4*x5+21*x2^2+18*x3^2+9*x3*x4+3*x1,3*x2*x4*
x5+7*x2^2+6*x3^2+3*x3*x4+x1,14*x2^2+6*x3*x4+x1,2*x2*x4*x5+6*x3^2+x1],[8*x2*x4*
x5+56*x2^2+20*x2*x4+12*x3^2+32*x3*x4+4*x1,5*x2*x4*x5+21*x2^2+15*x2*x4+12*x3^2+
15*x3*x4+4*x1,4*x2*x4*x5+7*x2^2+10*x2*x4+7*x3*x4+2*x1,4*x2*x4*x5+42*x2^2+15*x2*
x4+18*x3^2+24*x3*x4+4*x1,5*x2*x4*x5+21*x2^2+5*x2*x4+11*x3*x4+5*x1,8*x2*x4*x5+42
*x2^2+5*x2*x4+6*x3^2+20*x3*x4+5*x1,3*x2*x4*x5+14*x2^2+6*x3^2+6*x3*x4+3*x1,x2*x4
*x5+28*x2^2+5*x2*x4+12*x3^2+14*x3*x4+3*x1,x2*x4*x5+x1,7*x2^2+3*x3*x4+2*x1,3*x2*
x4*x5+28*x2^2+10*x2*x4+6*x3^2+16*x3*x4+x1,21*x2^2+5*x2*x4+6*x3^2+11*x3*x4+x1,x2
*x4*x5+7*x2^2+3*x3*x4+x1,14*x2^2+5*x2*x4+6*x3^2+8*x3*x4],[5*x2*x4*x5+42*x2^2+10
*x2*x4+36*x3^2+22*x3*x4+36*x3*x5+20*x4^2+3*x1,3*x2*x4*x5+35*x2^2+10*x2*x4+24*x3
^2+19*x3*x4+27*x3*x5+15*x4^2,x2*x4*x5+28*x2^2+12*x3^2+12*x3*x4+18*x3*x5+10*x4^2
,4*x2*x4*x5+42*x2^2+15*x2*x4+12*x3^2+24*x3*x4+27*x3*x5+15*x4^2+2*x1,2*x2*x4*x5+
49*x2^2+18*x3^2+21*x3*x4+9*x3*x5+5*x4^2+x1,4*x2*x4*x5+56*x2^2+5*x2*x4+30*x3^2+
26*x3*x4+9*x3*x5+5*x4^2+2*x1,x2*x4*x5+28*x2^2+5*x2*x4+12*x3^2+14*x3*x4+x1,2*x2*
x4*x5+21*x2^2+10*x2*x4+6*x3^2+13*x3*x4+9*x3*x5+5*x4^2+2*x1,14*x2^2+6*x3*x4,14*
x2^2+6*x3*x4+x1,3*x2*x4*x5+14*x2^2+5*x2*x4+12*x3^2+8*x3*x4+18*x3*x5+10*x4^2+x1,
x2*x4*x5+7*x2^2+5*x2*x4+5*x3*x4+9*x3*x5+5*x4^2+2*x1,x2*x4*x5+7*x2^2+6*x3^2+3*x3
*x4,x2*x4*x5+5*x2*x4+2*x3*x4+9*x3*x5+5*x4^2+x1],[4*x2*x4*x5+21*x2^2+30*x2*x4+30
*x3^2+21*x3*x4+18*x3*x5+10*x4^2+28*x5^2+2*x1,4*x2*x4*x5+20*x2*x4+18*x3^2+8*x3*
x4+18*x3*x5+10*x4^2+21*x5^2+x1,2*x2*x4*x5+10*x2*x4+6*x3^2+4*x3*x4+14*x5^2+2*x1,
4*x2*x4*x5+14*x2^2+10*x2*x4+24*x3^2+10*x3*x4+27*x3*x5+15*x4^2+21*x5^2+2*x1,5*x2
*x4*x5+7*x2^2+15*x2*x4+12*x3^2+9*x3*x4+7*x5^2+2*x1,5*x2*x4*x5+14*x2^2+25*x2*x4+
24*x3^2+16*x3*x4+9*x3*x5+5*x4^2+7*x5^2+3*x1,3*x2*x4*x5+7*x2^2+10*x2*x4+6*x3^2+7
*x3*x4+9*x3*x5+5*x4^2+x1,3*x2*x4*x5+14*x2^2+5*x2*x4+12*x3^2+8*x3*x4+18*x3*x5+10
*x4^2+7*x5^2,x2*x4*x5+x1,2*x2*x4*x5+7*x2^2+3*x3*x4,x2*x4*x5+7*x2^2+10*x2*x4+18*
x3^2+7*x3*x4+9*x3*x5+5*x4^2+14*x5^2+x1,x2*x4*x5+14*x2^2+6*x3^2+6*x3*x4+9*x3*x5+
5*x4^2+7*x5^2,x2*x4*x5+5*x2*x4+6*x3^2+2*x3*x4,7*x2^2+6*x3^2+3*x3*x4+9*x3*x5+5*
x4^2+7*x5^2],[230*x2^2*x5+72*x2*x3*x4+82*x3*x4^2+4*x2*x3+10*x2*x4+16*x3^2+124*
x3*x4+2*x1,94*x2^2*x5+54*x2*x3*x4+41*x3*x4^2+2*x2*x3+14*x3^2+93*x3*x4+2*x1,36*
x2*x3*x4+x2*x3+21*x3^2+62*x3*x4+x1,136*x2^2*x5+72*x2*x3*x4+41*x3*x4^2+3*x2*x3+
10*x2*x4+30*x3^2+124*x3*x4+2*x1,94*x2^2*x5+72*x2*x3*x4+41*x3*x4^2+3*x2*x3+10*x2
*x4+16*x3^2+124*x3*x4+x1,94*x2^2*x5+72*x2*x3*x4+41*x3*x4^2+3*x2*x3+10*x2*x4+23*
x3^2+124*x3*x4+3*x1,18*x2*x3*x4+x2*x3+10*x2*x4+2*x3^2+31*x3*x4+x1,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,18*x2*x3*x4+14*x3^2
+31*x3*x4+x1,36*x2*x3*x4+x2*x3+10*x2*x4+9*x3^2+62*x3*x4,230*x2^2*x5+54*x2*x3*x4
+82*x3*x4^2+3*x2*x3+14*x3^2+93*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,94*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+x2*x3+31*x3*x4+
x1,136*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+x2*x3+7*x3^2+31*x3*x4],[94*x2^2*x5+72*x2*
x3*x4+41*x3*x4^2+x2*x3+20*x2*x4+46*x3^2+124*x3*x4+2*x1,36*x2*x3*x4+10*x2*x4+37*
x3^2+62*x3*x4+2*x1,18*x2*x3*x4+21*x3^2+31*x3*x4+3*x1,94*x2^2*x5+54*x2*x3*x4+41*
x3*x4^2+x2*x3+10*x2*x4+44*x3^2+93*x3*x4+4*x1,54*x2*x3*x4+x2*x3+10*x2*x4+37*x3^2
+93*x3*x4+2*x1,54*x2*x3*x4+x2*x3+10*x2*x4+51*x3^2+93*x3*x4+3*x1,18*x2*x3*x4+x2*
x3+14*x3^2+31*x3*x4,94*x2^2*x5+36*x2*x3*x4+41*x3*x4^2+x2*x3+10*x2*x4+30*x3^2+62
*x3*x4+2*x1,14*x3^2+2*x1,18*x2*x3*x4+x2*x3+14*x3^2+31*x3*x4+x1,94*x2^2*x5+54*x2
*x3*x4+41*x3*x4^2+20*x2*x4+32*x3^2+93*x3*x4+2*x1,94*x2^2*x5+36*x2*x3*x4+41*x3*
x4^2+x2*x3+10*x2*x4+16*x3^2+62*x3*x4+x1,18*x2*x3*x4+10*x2*x4+16*x3^2+31*x3*x4,
94*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+10*x2*x4+9*x3^2+31*x3*x4+x1],[54*x2*x3*x4+2*
x2*x3+10*x2*x4+44*x3^2+93*x3*x4+4*x1,36*x2*x3*x4+x2*x3+28*x3^2+62*x3*x4+3*x1,18
*x2*x3*x4+28*x3^2+31*x3*x4+2*x1,54*x2*x3*x4+x2*x3+10*x2*x4+51*x3^2+93*x3*x4+4*
x1,36*x2*x3*x4+x2*x3+35*x3^2+62*x3*x4+4*x1,72*x2*x3*x4+x2*x3+42*x3^2+124*x3*x4+
4*x1,36*x2*x3*x4+7*x3^2+62*x3*x4+x1,36*x2*x3*x4+x2*x3+10*x2*x4+30*x3^2+62*x3*x4
+3*x1,18*x2*x3*x4+14*x3^2+31*x3*x4+x1,18*x2*x3*x4+14*x3^2+31*x3*x4+2*x1,18*x2*
x3*x4+2*x2*x3+10*x2*x4+37*x3^2+31*x3*x4+3*x1,18*x2*x3*x4+x2*x3+10*x2*x4+23*x3^2
+31*x3*x4+2*x1,18*x2*x3*x4+x2*x3+7*x3^2+31*x3*x4+x1,x2*x3+10*x2*x4+16*x3^2+x1],
[72*x2*x3*x4+3*x2*x3+35*x3^2+124*x3*x4+4*x1,54*x2*x3*x4+2*x2*x3+21*x3^2+93*x3*
x4+2*x1,54*x2*x3*x4+x2*x3+14*x3^2+93*x3*x4+x1,90*x2*x3*x4+3*x2*x3+35*x3^2+155*
x3*x4+3*x1,54*x2*x3*x4+x2*x3+35*x3^2+93*x3*x4+3*x1,72*x2*x3*x4+3*x2*x3+35*x3^2+
124*x3*x4+3*x1,x2*x3+14*x3^2+x1,54*x2*x3*x4+2*x2*x3+28*x3^2+93*x3*x4+2*x1,36*x2
*x3*x4+x2*x3+7*x3^2+62*x3*x4,18*x2*x3*x4+21*x3^2+31*x3*x4+x1,72*x2*x3*x4+2*x2*
x3+21*x3^2+124*x3*x4+3*x1,36*x2*x3*x4+x2*x3+21*x3^2+62*x3*x4+2*x1,18*x2*x3*x4+
x2*x3+7*x3^2+31*x3*x4+x1,36*x2*x3*x4+x2*x3+7*x3^2+62*x3*x4+x1],[90*x2*x3*x4+2*
x2*x3+20*x2*x4+46*x3^2+155*x3*x4+x1,54*x2*x3*x4+2*x2*x3+20*x2*x4+25*x3^2+93*x3*
x4,36*x2*x3*x4+3*x2*x3+10*x2*x4+9*x3^2+62*x3*x4,90*x2*x3*x4+4*x2*x3+20*x2*x4+32
*x3^2+155*x3*x4+x1,72*x2*x3*x4+2*x2*x3+10*x2*x4+30*x3^2+124*x3*x4+x1,72*x2*x3*
x4+3*x2*x3+30*x2*x4+34*x3^2+124*x3*x4+x1,18*x2*x3*x4+10*x2*x4+9*x3^2+31*x3*x4+
x1,72*x2*x3*x4+2*x2*x3+10*x2*x4+23*x3^2+124*x3*x4+x1,18*x2*x3*x4+2*x2*x3+10*x2*
x4+2*x3^2+31*x3*x4,36*x2*x3*x4+x2*x3+7*x3^2+62*x3*x4+x1,72*x2*x3*x4+2*x2*x3+10*
x2*x4+37*x3^2+124*x3*x4,54*x2*x3*x4+x2*x3+21*x3^2+93*x3*x4+x1,18*x2*x3*x4+10*x2
*x4+16*x3^2+31*x3*x4,36*x2*x3*x4+x2*x3+14*x3^2+62*x3*x4],[188*x2^2*x5+72*x2*x3*
x4+82*x3*x4^2+4*x2*x3+20*x2*x4+18*x3^2+124*x3*x4+2*x1,188*x2^2*x5+36*x2*x3*x4+
82*x3*x4^2+3*x2*x3+20*x2*x4+4*x3^2+62*x3*x4+x1,94*x2^2*x5+18*x2*x3*x4+41*x3*x4^
2+2*x2*x3+30*x2*x4+6*x3^2+31*x3*x4,188*x2^2*x5+54*x2*x3*x4+82*x3*x4^2+4*x2*x3+
40*x2*x4+22*x3^2+93*x3*x4+x1,94*x2^2*x5+54*x2*x3*x4+41*x3*x4^2+4*x2*x3+20*x2*x4
+11*x3^2+93*x3*x4+x1,282*x2^2*x5+54*x2*x3*x4+123*x3*x4^2+4*x2*x3+30*x2*x4+13*x3
^2+93*x3*x4+x1,94*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+x2*x3+7*x3^2+31*x3*x4,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+41*x3
*x4^2+x2*x3+20*x2*x4+4*x3^2,18*x2*x3*x4+2*x2*x3+10*x2*x4+9*x3^2+31*x3*x4,94*x2^
2*x5+54*x2*x3*x4+41*x3*x4^2+3*x2*x3+20*x2*x4+11*x3^2+93*x3*x4+2*x1,36*x2*x3*x4+
2*x2*x3+10*x2*x4+16*x3^2+62*x3*x4+x1,94*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+x2*x3+31
*x3*x4+x1,18*x2*x3*x4+x2*x3+10*x2*x4+9*x3^2+31*x3*x4+x1],[272*x2^2*x5+18*x2*x3*
x4+82*x3*x4^2+4*x2*x3+40*x2*x4+22*x3^2+31*x3*x4+x1,272*x2^2*x5+82*x3*x4^2+2*x2*
x3+30*x2*x4+13*x3^2,324*x2^2*x5+123*x3*x4^2+x2*x3+20*x2*x4+4*x3^2,460*x2^2*x5+
18*x2*x3*x4+164*x3*x4^2+3*x2*x3+40*x2*x4+15*x3^2+31*x3*x4+x1,230*x2^2*x5+18*x2*
x3*x4+82*x3*x4^2+3*x2*x3+40*x2*x4+15*x3^2+31*x3*x4,408*x2^2*x5+18*x2*x3*x4+123*
x3*x4^2+3*x2*x3+40*x2*x4+15*x3^2+31*x3*x4,42*x2^2*x5+18*x2*x3*x4+x2*x3+10*x2*x4
+2*x3^2+31*x3*x4,230*x2^2*x5+18*x2*x3*x4+82*x3*x4^2+2*x2*x3+30*x2*x4+13*x3^2+31
*x3*x4+x1,230*x2^2*x5+82*x3*x4^2+10*x2*x4+2*x3^2,94*x2^2*x5+18*x2*x3*x4+41*x3*
x4^2+x2*x3+20*x2*x4+4*x3^2+31*x3*x4,230*x2^2*x5+82*x3*x4^2+3*x2*x3+30*x2*x4+20*
x3^2+x1,94*x2^2*x5+18*x2*x3*x4+41*x3*x4^2+2*x2*x3+20*x2*x4+11*x3^2+31*x3*x4+x1,
42*x2^2*x5+x2*x3+10*x2*x4+9*x3^2,94*x2^2*x5+41*x3*x4^2+x2*x3+10*x2*x4+9*x3^2+x1
]]);
