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