AA0 := Matrix(10, 10, [[x1,7*x2^2+3*x3*x4,x2*x4*x5,6*x3^2,5*x2*x4+2*x3*x4,0,0,0
,0,0],[7*x2^2+3*x3*x4,x1,7*x2^2+3*x3*x4,x2*x4*x5,6*x3^2,0,0,0,0,0],[x2*x4*x5,7*
x2^2+3*x3*x4,x1,7*x2^2+3*x3*x4,x2*x4*x5,0,0,0,0,0],[6*x3^2,x2*x4*x5,7*x2^2+3*x3
*x4,x1,7*x2^2+3*x3*x4,0,0,0,0,0],[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,x1,7*x3^2,18*x2*x3*x4+31*x3*x4,x2*x3,10*x2*x4+2*x3^
2],[0,0,0,0,0,7*x3^2,x1,7*x3^2,18*x2*x3*x4+31*x3*x4,x2*x3],[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],[0,0,0,0,0,x2*x3,18*x2*x3*x4
+31*x3*x4,7*x3^2,x1,7*x3^2],[0,0,0,0,0,10*x2*x4+2*x3^2,x2*x3,18*x2*x3*x4+31*x3*
x4,7*x3^2,x1]]);
T1 := Matrix(5, 5, [[x1,7*x2^2+3*x3*x4,x2*x4*x5,6*x3^2,5*x2*x4+2*x3*x4],[7*x2^2
+3*x3*x4,x1,7*x2^2+3*x3*x4,x2*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,x2*x4*x5,7*x2^2+3*x3*x4,x1,7*x2^2+3*x3*x4],[5*x2*x4+2
*x3*x4,6*x3^2,x2*x4*x5,7*x2^2+3*x3*x4,x1]]);
T2 := Matrix(5, 5, [[x1,7*x3^2,18*x2*x3*x4+31*x3*x4,x2*x3,10*x2*x4+2*x3^2],[7*
x3^2,x1,7*x3^2,18*x2*x3*x4+31*x3*x4,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,18*x2*x3*x4+31*x3*x4,7*x3^2,x1,7*x3^2],[10*x2*
x4+2*x3^2,x2*x3,18*x2*x3*x4+31*x3*x4,7*x3^2,x1]]);
P1 := Matrix(10, 10, [[1,0,0,0,1,0,1,1,1,0],[0,1,1,1,1,0,0,1,0,1],[0,0,1,0,1,0,
1,1,1,1],[0,0,0,1,0,0,0,1,0,1],[0,0,0,0,1,0,1,1,0,0],[0,0,0,0,0,1,1,1,1,1],[0,0
,0,0,0,0,1,0,0,0],[0,0,0,0,0,0,0,1,1,0],[0,0,0,0,0,0,0,0,1,1],[0,0,0,0,0,0,0,0,
0,1]]);
P2 := Matrix(10, 10, [[1,0,0,0,0,0,0,0,0,0],[0,1,0,0,0,0,0,0,0,0],[1,0,1,0,0,0,
0,0,0,0],[1,0,0,1,0,0,0,0,0,0],[1,0,0,0,1,0,0,0,0,0],[0,0,1,0,0,1,0,0,0,0],[1,1
,0,0,0,0,1,0,0,0],[0,0,1,1,1,0,1,1,0,0],[1,1,0,1,0,0,0,0,1,0],[1,1,0,0,1,0,1,0,
1,1]]);
AA := Matrix(10, 10, [[5*x2*x4*x5+28*x2^2+10*x2*x4+12*x3^2+16*x3*x4+4*x1,3*x2*
x4*x5+14*x2^2+5*x2*x4+6*x3^2+8*x3*x4+2*x1,2*x2*x4*x5+14*x2^2+5*x2*x4+6*x3^2+8*
x3*x4+x1,2*x2*x4*x5+14*x2^2+5*x2*x4+12*x3^2+8*x3*x4+2*x1,3*x2*x4*x5+21*x2^2+10*
x2*x4+12*x3^2+13*x3*x4+2*x1,0,3*x2*x4*x5+14*x2^2+10*x2*x4+12*x3^2+10*x3*x4+2*x1
,x2*x4*x5+7*x2^2+5*x2*x4+6*x3^2+5*x3*x4+x1,2*x2*x4*x5+7*x2^2+6*x3^2+3*x3*x4+x1,
x2*x4*x5+7*x2^2+6*x3^2+3*x3*x4],[2*x2*x4*x5+63*x2^2+12*x3^2+27*x3*x4+4*x1,x2*x4
*x5+35*x2^2+6*x3^2+15*x3*x4+2*x1,x2*x4*x5+21*x2^2+6*x3^2+9*x3*x4+2*x1,2*x2*x4*
x5+28*x2^2+6*x3^2+12*x3*x4+2*x1,2*x2*x4*x5+35*x2^2+12*x3^2+15*x3*x4+3*x1,0,2*x2
*x4*x5+35*x2^2+12*x3^2+15*x3*x4+2*x1,x2*x4*x5+14*x2^2+6*x3^2+6*x3*x4+x1,x2*x4*
x5+21*x2^2+9*x3*x4+x1,x2*x4*x5+7*x2^2+3*x3*x4+x1],[6*x2*x4*x5+42*x2^2+18*x3*x4+
5*x1,3*x2*x4*x5+21*x2^2+9*x3*x4+3*x1,2*x2*x4*x5+21*x2^2+9*x3*x4+2*x1,3*x2*x4*x5
+28*x2^2+12*x3*x4+2*x1,4*x2*x4*x5+35*x2^2+15*x3*x4+3*x1,0,4*x2*x4*x5+28*x2^2+12
*x3*x4+3*x1,2*x2*x4*x5+14*x2^2+6*x3*x4+x1,x2*x4*x5+14*x2^2+6*x3*x4+2*x1,14*x2^2
+6*x3*x4+x1],[4*x2*x4*x5+49*x2^2+24*x3^2+21*x3*x4+2*x1,2*x2*x4*x5+28*x2^2+12*x3
^2+12*x3*x4+x1,2*x2*x4*x5+21*x2^2+6*x3^2+9*x3*x4+x1,2*x2*x4*x5+21*x2^2+12*x3^2+
9*x3*x4+2*x1,3*x2*x4*x5+35*x2^2+12*x3^2+15*x3*x4+2*x1,0,2*x2*x4*x5+35*x2^2+12*
x3^2+15*x3*x4+2*x1,x2*x4*x5+14*x2^2+6*x3^2+6*x3*x4+x1,x2*x4*x5+14*x2^2+6*x3^2+6
*x3*x4+x1,x2*x4*x5+7*x2^2+3*x3*x4+x1],[5*x2*x4*x5+14*x2^2+20*x2*x4+24*x3^2+14*
x3*x4+2*x1,3*x2*x4*x5+7*x2^2+10*x2*x4+12*x3^2+7*x3*x4+x1,2*x2*x4*x5+7*x2^2+5*x2
*x4+12*x3^2+5*x3*x4+x1,2*x2*x4*x5+14*x2^2+10*x2*x4+12*x3^2+10*x3*x4+x1,3*x2*x4*
x5+14*x2^2+10*x2*x4+18*x3^2+10*x3*x4+2*x1,0,3*x2*x4*x5+14*x2^2+10*x2*x4+12*x3^2
+10*x3*x4+2*x1,x2*x4*x5+7*x2^2+5*x2*x4+6*x3^2+5*x3*x4+x1,2*x2*x4*x5+7*x2^2+5*x2
*x4+6*x3^2+5*x3*x4,x2*x4*x5+7*x2^2+6*x3^2+3*x3*x4],[18*x2*x3*x4+2*x2*x3+10*x2*
x4+9*x3^2+31*x3*x4+3*x1,18*x2*x3*x4+2*x2*x3+10*x2*x4+9*x3^2+31*x3*x4+3*x1,18*x2
*x3*x4+31*x3*x4+2*x1,36*x2*x3*x4+x2*x3+62*x3*x4+2*x1,18*x2*x3*x4+x2*x3+10*x2*x4
+2*x3^2+31*x3*x4+2*x1,x1,18*x2*x3*x4+x2*x3+10*x2*x4+9*x3^2+31*x3*x4+3*x1,18*x2*
x3*x4+31*x3*x4+x1,18*x2*x3*x4+2*x2*x3+10*x2*x4+2*x3^2+31*x3*x4+2*x1,x2*x3+10*x2
*x4+2*x3^2+x1],[36*x2*x3*x4+x2*x3+28*x3^2+62*x3*x4+x1,36*x2*x3*x4+x2*x3+28*x3^2
+62*x3*x4+x1,21*x3^2,18*x2*x3*x4+28*x3^2+31*x3*x4,18*x2*x3*x4+x2*x3+21*x3^2+31*
x3*x4,7*x3^2,18*x2*x3*x4+x2*x3+28*x3^2+31*x3*x4+x1,14*x3^2,36*x2*x3*x4+x2*x3+21
*x3^2+62*x3*x4,18*x2*x3*x4+x2*x3+7*x3^2+31*x3*x4],[72*x2*x3*x4+21*x3^2+124*x3*
x4+x1,72*x2*x3*x4+21*x3^2+124*x3*x4+x1,36*x2*x3*x4+62*x3*x4+x1,36*x2*x3*x4+7*x3
^2+62*x3*x4+2*x1,54*x2*x3*x4+7*x3^2+93*x3*x4+x1,18*x2*x3*x4+31*x3*x4,72*x2*x3*
x4+14*x3^2+124*x3*x4+x1,18*x2*x3*x4+31*x3*x4+x1,54*x2*x3*x4+14*x3^2+93*x3*x4+x1
,36*x2*x3*x4+7*x3^2+62*x3*x4],[18*x2*x3*x4+3*x2*x3+14*x3^2+31*x3*x4+2*x1,18*x2*
x3*x4+3*x2*x3+14*x3^2+31*x3*x4+2*x1,2*x2*x3+7*x3^2,2*x2*x3+14*x3^2+x1,2*x2*x3+
14*x3^2+x1,x2*x3,18*x2*x3*x4+3*x2*x3+14*x3^2+31*x3*x4+x1,x2*x3+7*x3^2,2*x2*x3+
14*x3^2+2*x1,x2*x3+7*x3^2+x1],[18*x2*x3*x4+x2*x3+30*x2*x4+20*x3^2+31*x3*x4+x1,
18*x2*x3*x4+x2*x3+30*x2*x4+20*x3^2+31*x3*x4+x1,18*x2*x3*x4+20*x2*x4+4*x3^2+31*
x3*x4,36*x2*x3*x4+20*x2*x4+11*x3^2+62*x3*x4,18*x2*x3*x4+20*x2*x4+11*x3^2+31*x3*
x4+x1,10*x2*x4+2*x3^2,18*x2*x3*x4+x2*x3+30*x2*x4+13*x3^2+31*x3*x4+x1,18*x2*x3*
x4+10*x2*x4+2*x3^2+31*x3*x4,18*x2*x3*x4+20*x2*x4+18*x3^2+31*x3*x4+x1,10*x2*x4+9
*x3^2+x1]]);
