Problem l2o57

Unknowns | Inequalities | Equations | Solution 1 | Solution 2 | Solution 3 | Solution 4

Unknowns

All solutions for the following 61 unknowns have to be determined: 
     a2, a3, a4, a5, a6, a7, a8, a9,a10,
a11,a12,a13,a14,a15,a16,a17,a18,
     b2, b3, b4, b5, b6, b7, b8, b9,b10,
b11,b12,b13,b14,b15,b16,b17,b18,b19,b20,
b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,
b31,b32,b33,b34,b35,b36,b37,b38,b39,b40,
b41,b42,b43,b44,b45

Inequalities

Each of the following lists represents one inequality which states that not all unknowns in this list may vanish. These inequalities filter out solutions which are trivial for the application. 
{a2,a10},
{a6,a7,a8,a9},
{a11,a12,a13,a15,a14,a16},
{b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,
 b13,b14,b15,b16,b17,b18,b19,b20,b21},
{b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,
 b32,b33,b34,b35,b36,b37,b38,b39,b40,b41,
 b42,b43,b44,b45},
{b2,b22}

Equations

All comma separated 336 expressions involving 3536 terms have to vanish. All terms are products of one a- and one b-unknown. 
5*a10*b28 - 7*a14*b22,
5*a2*b3 - 7*a3*b2,
3*a3*b9 - 2*a5*b6,
5*a10*b37 - 7*a17*b22,
2*a16*b20 - 3*a9*b36,
a15*b20 - a9*b35,
a11*b12 - a7*b23,
a15*b21 - a9*b43,
a11*b21 - a7*b43,
a15*b21 - 2*a8*b43,
a17*b21 + a18*b21 - a8*b21,
5*a10*b34 - a14*b28 - 7*a16*b22,
5*a2*b6 - a3*b3 - 7*a5*b2,
a14*b21 - 6*a17*b37 - 2*a18*b37,
a13*b21 - 3*a17*b38 - a18*b38,
a17*b43 + a18*b43 - a8*b43,
3*a11*b21 - a17*b41 - a18*b41,
4*a17*b21 + 4*a18*b21 - 2*a8*b21 - a9*b21,
a16*b36 + 2*a16*b9 - 3*a5*b36,
15*a2*b9 + 3*a3*b6 - 10*a5*b3,
a13*b21 - 6*a17*b37 - 3*a18*b37 - a18*b38,
2*a17*b43 + a17*b44 - a8*b44,
5*a10*b27 + 10*a10*b28 - 7*a13*b22 - 21*a14*b22,
15*a10*b36 + 3*a14*b34 - 9*a16*b28 - a5*b28,
8*a14*b36 + a14*b9 - 4*a16*b34 - 2*a5*b34,
10*a2*b3 + 5*a2*b4 - 21*a3*b2 - 7*a4*b2,
5*a2*b4 + 10*a2*b5 - 21*a3*b2 - 35*a4*b2,
30*a2*b9 + 3*a3*b7 - 3*a4*b6 - 20*a5*b3,
12*a3*b9 + 3*a4*b9 - 4*a5*b6 - 2*a5*b7,
3*a3*b9 + 3*a4*b9 - a5*b7 - 2*a5*b8,
a10*b23 + a11*b2 - a11*b22 - a2*b23,
a15*b36 - a15*b9 - a16*b35 + a5*b35,
a15*b36 - 4*a15*b9 - 2*a16*b35 + 4*a5*b35,
20*a10*b37 + 5*a10*b38 - 42*a17*b22 - 7*a18*b22,
5*a10*b44 - 3*a14*b37 + a17*b28 - a8*b28,
10*a10*b44 + 6*a14*b37 - 10*a17*b28 - a9*b28,
a14*b20 + 6*a14*b44 - 6*a17*b34 - 2*a9*b34,
5*a10*b42 + a12*b12 - 7*a18*b22 - a7*b24,
a11*b18 + a15*b12 - a7*b29 - a9*b23,
a11*b20 + a15*b18 - a7*b35 - a9*b29,
2*a15*b19 + a15*b20 - 2*a8*b35 - 2*a9*b35,
a16*b20 - a5*b20 - a9*b36 + a9*b9,
a10*b12 - a2*b12 + a7*b2 - a7*b22,
3*a12*b21 - 3*a17*b40 - a18*b38 - a18*b39 - 2*a18*b40,
2*a16*b21 + 2*a17*b45 - 2*a18*b44 - a9*b44,
2*a15*b21 - 2*a17*b45 + 2*a18*b44 - a9*b45,
a12*b21 + 2*a17*b42 - 3*a18*b37 - a18*b40 - a7*b44,
3*a11*b21 - 3*a18*b37 + a18*b41 - 3*a18*b42 - a6*b43,
6*a11*b21 - 6*a17*b42 + a18*b38 - a18*b41 - 3*a18*b42,
10*a2*b3 + 10*a2*b4 + 5*a2*b5 - 35*a3*b2 - 28*a4*b2,
5*a2*b3 + 10*a2*b4 + 15*a2*b5 - 42*a3*b2 - 56*a4*b2,
20*a2*b6 + 5*a2*b7 - 4*a3*b4 + 2*a4*b3 - 56*a5*b2,
15*a2*b9 + a3*b6 + a3*b7 - a4*b6 - 10*a5*b3,
30*a2*b9 + a3*b7 + 2*a3*b8 - 10*a5*b3 - 2*a5*b5,
90*a2*b9 + a4*b7 + 2*a4*b8 - 10*a5*b4 - 4*a5*b5,
6*a11*b9 + 2*a13*b35 - a15*b32 + a15*b8 - 2*a5*b30,
3*a12*b21 - 6*a17*b37 + 2*a17*b41 - 9*a18*b37 - 3*a18*b40 - a6*b44,
3*a12*b21 - a17*b38 - 2*a17*b39 - a17*b40 - a18*b38 - 2*a18*b39 - a18*b40,
4*a11*b21 - 3*a18*b37 + a18*b41 - 3*a18*b42 - a6*b43 - a7*b43,
12*a11*b21 - 2*a17*b41 - 6*a17*b42 + a18*b38 - 3*a18*b41 - 3*a18*b42,
5*a10*b26 + 10*a10*b27 + 10*a10*b28 - 7*a12*b22 - 21*a13*b22 - 35*a14*b22,
5*a10*b33 + 20*a10*b34 + 2*a13*b28 - 4*a14*b27 - 7*a15*b22 - 42*a16*b22,
5*a10*b23 + a10*b24 - 7*a11*b22 + a12*b2 - a12*b22 - a2*b24,
20*a2*b6 + 5*a2*b7 - 7*a3*b3 + 3*a3*b4 - 5*a4*b3 - 56*a5*b2,
10*a2*b6 + 10*a2*b7 - 5*a3*b3 + 3*a3*b5 - 10*a4*b3 - 70*a5*b2,
10*a2*b6 + 15*a2*b7 + 20*a2*b8 - a3*b5 - a4*b5 - 140*a5*b2,
20*a2*b6 + 60*a2*b7 + 90*a2*b8 - a3*b5 - 5*a4*b5 - 560*a5*b2,
60*a2*b9 - a3*b8 + a4*b6 + a4*b7 - 10*a5*b4 - a5*b5,
20*a10*b37 + 10*a10*b38 + 5*a10*b40 - 70*a17*b22 - 21*a18*b22 - a7*b28,
5*a10*b43 + 10*a10*b44 - 3*a13*b37 - 3*a14*b37 + a17*b27 - a8*b27,
a14*b19 + 2*a14*b44 - 2*a15*b37 - 6*a16*b37 + 2*a17*b34 - 2*a8*b34,
a13*b20 + 6*a14*b44 + 3*a14*b45 - 6*a17*b34 - 3*a18*b34 - a9*b33,
5*a10*b40 + 10*a10*b42 + a13*b12 - 14*a17*b22 - 21*a18*b22 - a7*b25,
a12*b20 + 3*a14*b45 + 2*a16*b18 - 3*a18*b34 - 3*a7*b36 - a9*b31,
3*a11*b20 + 3*a14*b45 + a15*b17 - 3*a18*b34 - a6*b35 - 3*a9*b29,
5*a10*b42 + a11*b11 + 3*a11*b12 - 7*a18*b22 - a6*b23 - 5*a7*b23,
2*a11*b13 + 10*a15*b12 - 10*a2*b19 + 3*a4*b13 - a7*b29 - 3*a7*b30,
a15*b14 + 3*a15*b18 - 3*a3*b19 + 6*a5*b13 - 6*a7*b35 - a9*b30,
a15*b14 + 3*a15*b16 - 3*a4*b19 + 12*a5*b13 - 12*a7*b35 - 2*a8*b30,
a10*b12 - 10*a2*b10 - 5*a2*b11 - a2*b12 + 35*a6*b2 + 21*a7*b2,
a10*b11 - 15*a2*b10 - 11*a2*b11 - 5*a2*b12 + 56*a6*b2 + 42*a7*b2,
a16*b17 - 3*a3*b20 - a5*b17 - a6*b36 + a6*b9 + 3*a9*b6,
a10*b11 - a2*b11 - 5*a2*b12 + a6*b2 - a6*b22 + 7*a7*b2,
5*a10*b33 + 20*a10*b34 - 5*a13*b28 + 3*a14*b27 - 7*a14*b28 - 7*a15*b22 - 42*a16
*b22,
90*a2*b9 + 6*a3*b6 + a3*b7 + 4*a4*b6 - 30*a5*b3 - 10*a5*b4,
a13*b19 + 2*a13*b44 - 3*a15*b37 - a15*b38 - 6*a16*b37 + a17*b33 - a8*b33,
a11*b16 + 6*a15*b12 - 5*a2*b19 + 3*a3*b13 - 3*a7*b29 - a7*b30 - 2*a8*b23,
a10*b10 - 6*a2*b10 - 10*a2*b11 - 10*a2*b12 + 28*a6*b2 + 36*a7*b2 - a7*b22,
a10*b10 - a2*b10 - 5*a2*b11 - 10*a2*b12 + 8*a6*b2 - a6*b22 + 21*a7*b2,
8*a11*b21 - 8*a17*b42 + 2*a18*b37 + a18*b40 - a18*b41 - 3*a18*b42 - a7*b45,
2*a17*b17 + 2*a18*b17 - 6*a3*b21 - 2*a6*b44 - 2*a6*b45 + a9*b15 - a9*b39,
20*a2*b6 + 15*a2*b7 - 10*a3*b3 + 3*a3*b4 + 3*a3*b5 - 15*a4*b3 - 112*a5*b2,
30*a10*b35 + 3*a11*b7 + 6*a11*b8 + a12*b30 - 3*a15*b26 - a4*b30 - 30*a5*b23,
60*a10*b37 + 30*a10*b38 + 10*a10*b39 + 5*a10*b40 - 210*a17*b22 - 63*a18*b22 - 
a6*b28,
20*a10*b44 + 5*a10*b45 + 6*a14*b37 + 3*a14*b38 - 20*a17*b28 - 5*a18*b28 - a9*
b27,
10*a10*b37 + 10*a10*b38 + 10*a10*b40 + 5*a10*b42 - 70*a17*b22 - 35*a18*b22 - a7
*b27,
5*a10*b38 + 10*a10*b40 + 10*a10*b42 + a14*b12 - 42*a17*b22 - 35*a18*b22 - a7*
b26,
2*a15*b44 - 2*a16*b19 + a16*b44 - 2*a17*b35 - 3*a17*b36 + a5*b44 + 3*a8*b36,
5*a10*b45 + a12*b18 + 3*a14*b42 + 2*a16*b12 - 5*a18*b28 - a7*b31 - a9*b24,
2*a15*b19 - 2*a15*b43 - a15*b44 - a15*b45 + 2*a17*b35 + 2*a18*b35 - 2*a5*b43 - 
2*a8*b35,
10*a10*b41 + 5*a10*b42 + 3*a11*b10 + a11*b11 - 35*a18*b22 - 10*a6*b23 - 5*a7*
b23,
a11*b14 + 15*a15*b12 - 15*a2*b19 + 3*a3*b13 + 3*a4*b13 - 3*a7*b29 - 4*a7*b30,
2*a16*b21 + 2*a17*b20 + 2*a18*b20 - 2*a5*b21 + a9*b20 - 2*a9*b44 - 2*a9*b45,
5*a10*b25 + 10*a10*b26 + 10*a10*b27 + 5*a10*b28 - 7*a11*b22 - 21*a12*b22 - 35*
a13*b22 - 35*a14*b22,
10*a10*b23 + 5*a10*b24 + a10*b25 - 21*a11*b22 - 7*a12*b22 + a13*b2 - a13*b22 - 
a2*b25,
a13*b36 - a13*b9 - 3*a14*b35 - 9*a14*b36 + 3*a15*b34 - a16*b33 + 6*a16*b34 + a5
*b33,
2*a13*b36 + a13*b9 + 2*a14*b35 + 6*a14*b36 - a15*b34 - a16*b33 - 2*a16*b34 - a5
*b33,
60*a2*b6 + 35*a2*b7 + 30*a2*b8 - 6*a3*b4 - 3*a3*b5 + a4*b3 - 2*a4*b4 - 336*a5*
b2,
50*a2*b6 + 65*a2*b7 + 60*a2*b8 - 5*a3*b4 - 2*a3*b5 - 10*a4*b4 + 2*a4*b5 - 560*
a5*b2,
a10*b29 - a11*b28 + a11*b3 + a14*b23 + a15*b2 - a15*b22 - a2*b29 - a3*b23,
5*a10*b29 + 10*a10*b30 - a11*b24 + a11*b4 + 3*a11*b5 - 35*a15*b22 - 5*a3*b23 - 
10*a4*b23,
a11*b36 - a11*b9 - a14*b35 + a15*b34 - a15*b6 - a16*b29 + a3*b35 + a5*b29,
10*a10*b43 + 40*a10*b44 + 5*a10*b45 + 4*a13*b37 - 2*a14*b38 - 8*a17*b27 - 2*a8*
b27 - a9*b27,
3*a12*b20 + 6*a14*b44 + 9*a14*b45 + 2*a16*b17 - 6*a17*b34 - 9*a18*b34 - 3*a6*
b36 - 3*a9*b31,
a10*b43 + a11*b13 - a11*b37 - a11*b42 + a17*b23 + a18*b23 - a2*b43 - a8*b23,
3*a11*b19 + a12*b43 - 3*a15*b37 - 3*a15*b42 + a17*b30 + a18*b30 - a4*b43 - a8*
b30,
a15*b19 - a15*b44 - a15*b45 + a16*b43 + a17*b35 + a18*b35 - a5*b43 - a8*b35,
4*a11*b20 + 3*a14*b45 + a15*b17 + a15*b18 - 3*a18*b34 - a6*b35 - a7*b35 - 4*a9*
b29,
a11*b11 + 5*a11*b12 + a12*b12 - 10*a2*b13 - a6*b23 - 3*a7*b23 - a7*b24 + 14*a8*
b2,
4*a11*b11 + a12*b11 - 20*a2*b13 - 5*a2*b14 - 2*a6*b23 - a6*b24 + 42*a8*b2 + 7*
a9*b2,
a14*b11 - 10*a2*b17 - 5*a2*b18 - 3*a3*b10 - a3*b11 + 10*a6*b3 + 5*a7*b3 + 35*a9
*b2,
a10*b18 + a14*b12 - a2*b18 - a3*b12 - a7*b28 + a7*b3 + a9*b2 - a9*b22,
a14*b20 + a16*b18 - a3*b20 - a5*b18 - a7*b36 + a7*b9 - a9*b34 + a9*b6,
24*a11*b21 - 6*a17*b41 - 6*a17*b42 - 2*a18*b38 + 2*a18*b39 + a18*b40 - 3*a18*
b41 - 9*a18*b42 - a6*b45,
a16*b21 + a17*b20 + a18*b20 - a5*b21 - a8*b20 + a9*b19 - a9*b44 - a9*b45,
a10*b21 + a17*b12 + a18*b12 - a2*b21 + a7*b13 - a7*b37 - a7*b42 - a8*b12,
360*a2*b9 + 6*a3*b6 + 11*a3*b7 + 18*a3*b8 + 2*a4*b6 - 120*a5*b3 - 20*a5*b4 - 12
*a5*b5,
30*a10*b37 + 30*a10*b38 + 20*a10*b39 + 10*a10*b40 + 5*a10*b41 - 210*a17*b22 - 
105*a18*b22 - a6*b27,
10*a10*b43 + 10*a10*b44 - 2*a11*b37 - 3*a12*b37 - 3*a13*b37 + a14*b13 - a14*b37
 + a17*b26 - a8*b26,
40*a10*b43 + 60*a10*b44 + 10*a10*b45 - 2*a13*b38 + a14*b14 - a14*b38 - 6*a17*
b26 - 4*a8*b26 - a9*b26,
10*a10*b43 + 5*a10*b44 - 3*a11*b37 - a11*b38 - 3*a12*b37 + a13*b13 - a13*b37 + 
a17*b25 - a8*b25,
a13*b19 - a13*b44 + 3*a14*b43 + 3*a14*b44 - 3*a15*b37 - a15*b38 - 6*a16*b37 + 
a17*b33 - a8*b33,
2*a15*b19 + 3*a15*b20 - 2*a15*b45 - a16*b45 + 2*a18*b35 + 3*a18*b36 - a5*b45 - 
2*a8*b35 - 3*a9*b35,
15*a10*b41 + 10*a10*b42 + 4*a11*b10 + 3*a11*b11 + a11*b12 - 56*a18*b22 - 15*a6*
b23 - 11*a7*b23,
5*a10*b41 + 10*a10*b42 + a11*b10 + 3*a11*b11 + 3*a11*b12 - 28*a18*b22 - 6*a6*
b23 - 10*a7*b23,
a15*b21 + a17*b45 + 2*a18*b43 + a18*b44 + a18*b45 - 2*a8*b43 - a8*b45 - a9*b43,
a17*b10 + 10*a18*b12 - 10*a2*b21 + 3*a6*b13 + a7*b13 - a7*b37 - 3*a7*b41 - a7*
b42 - a8*b10,
a17*b17 + 3*a18*b18 - 3*a3*b21 + a6*b19 - a6*b44 - 3*a7*b45 - a8*b17 + 3*a9*b13
 - a9*b41,
20*a17*b12 + a18*b10 + 10*a18*b12 - 20*a2*b21 + a7*b18 - 2*a7*b37 - 3*a7*b38 - 
3*a7*b40 - 2*a7*b42,
5*a10*b35 + 30*a10*b36 - 3*a13*b34 + 3*a14*b33 + 3*a14*b34 - 5*a15*b28 + a16*
b27 - 20*a16*b28 - a5*b27,
10*a10*b35 + 60*a10*b36 + 4*a13*b34 + a14*b33 + 6*a14*b34 - 5*a15*b28 - 8*a16*
b27 - 20*a16*b28 - 2*a5*b27,
20*a10*b35 + 60*a10*b36 + 2*a13*b33 + 2*a13*b34 - a14*b32 + a14*b8 - 4*a15*b27 
- 12*a16*b27 - 2*a5*b26,
20*a10*b44 + 10*a10*b45 + a14*b18 + 3*a14*b38 + 3*a14*b40 - 20*a17*b28 - 10*a18
*b28 - 2*a7*b34 - a9*b26,
10*a10*b44 + 10*a10*b45 + a13*b18 + 3*a14*b40 + 3*a14*b42 - 10*a17*b28 - 10*a18
*b28 - a7*b33 - a9*b25,
5*a10*b40 + 5*a10*b41 + 20*a10*b42 + a12*b11 + 2*a12*b12 - 14*a17*b22 - 49*a18*
b22 - a6*b24 - 4*a7*b24,
5*a10*b45 + a11*b16 + 3*a11*b18 - 3*a14*b42 + a15*b12 + a18*b28 - a7*b30 - 2*a8
*b23 - 5*a9*b23,
10*a10*b45 + 3*a11*b17 + a11*b18 + 3*a14*b41 + a15*b10 - 10*a18*b28 - 3*a6*b29 
- a7*b29 - 10*a9*b23,
2*a12*b21 + 2*a17*b14 + 2*a18*b14 - 2*a4*b21 - 4*a6*b43 - a6*b45 - 12*a7*b43 - 
6*a7*b44 - 3*a7*b45 + 4*a8*b14,
6*a17*b18 + a18*b17 + 3*a18*b18 - 6*a3*b21 - a6*b45 - 6*a7*b44 - 3*a7*b45 + a9*
b16 - a9*b38 - a9*b40,
5*a10*b24 + 10*a10*b25 + 10*a10*b26 + 5*a10*b27 + a10*b28 - 21*a11*b22 - 35*a12
*b22 - 35*a13*b22 - 21*a14*b22 - a2*b28,
5*a10*b23 + 10*a10*b24 + 10*a10*b25 + 5*a10*b26 + a10*b27 - 35*a11*b22 - 35*a12
*b22 - 21*a13*b22 - 7*a14*b22 - a2*b27,
10*a10*b23 + 10*a10*b24 + 5*a10*b25 + a10*b26 - 35*a11*b22 - 21*a12*b22 - 7*a13
*b22 + a14*b2 - a14*b22 - a2*b26,
a12*b36 - a12*b9 - 3*a14*b35 - 3*a14*b36 + 3*a15*b34 - a16*b31 + 2*a16*b34 - 2*
a16*b6 + 3*a3*b36 + a5*b31,
a10*b35 - a11*b34 + a11*b6 + a14*b29 - a15*b28 + a15*b3 + a16*b23 - a2*b35 - a3
*b29 - a5*b23,
11*a10*b29 + 15*a10*b30 - a11*b25 + a11*b3 + 3*a11*b4 + 4*a11*b5 - 56*a15*b22 -
 a2*b29 - 11*a3*b23 - 15*a4*b23,
9*a11*b9 + a12*b35 + 6*a14*b35 - a15*b31 - 3*a15*b34 + a15*b7 + a16*b30 - a4*
b35 - 6*a5*b29 - a5*b30,
20*a10*b43 + 60*a10*b44 + 20*a10*b45 + 2*a13*b38 + a14*b16 - a14*b40 - 12*a17*
b27 - 4*a18*b27 - 2*a8*b26 - 2*a9*b26,
60*a10*b43 + 60*a10*b44 + 30*a10*b45 + a13*b14 + a13*b15 - a13*b39 - 6*a17*b26 
- 3*a18*b26 - 6*a8*b25 - 3*a9*b25,
5*a10*b43 + a10*b44 - 3*a11*b37 - a11*b40 + a12*b13 - a12*b37 + 2*a17*b23 + a17
*b24 - a2*b44 - a8*b24,
20*a10*b43 + 5*a10*b45 + 6*a11*b13 + 3*a11*b14 + a11*b15 - a11*b39 - 2*a11*b41 
- a12*b41 - 20*a8*b23 - 5*a9*b23,
6*a11*b19 + 6*a11*b20 + 2*a13*b43 + 2*a13*b45 + a15*b15 - a15*b39 - 2*a15*b41 -
 2*a16*b41 - 2*a8*b30 - 2*a9*b30,
2*a11*b19 + 2*a15*b13 + a15*b16 + 4*a15*b18 - 3*a3*b19 + 6*a5*b13 - 8*a7*b35 - 
2*a8*b29 - a9*b29 - a9*b30,
2*a15*b20 + 2*a16*b19 + 2*a16*b20 - 2*a5*b19 - 2*a5*b20 - 2*a8*b36 + 2*a8*b9 - 
2*a9*b35 - 3*a9*b36 + 3*a9*b9,
a14*b18 + a16*b10 - 10*a2*b20 - 3*a3*b17 - a3*b18 - a5*b10 + 3*a6*b6 - a7*b34 +
 a7*b6 + 10*a9*b3,
a10*b20 + a14*b18 + a16*b12 - a2*b20 - a3*b18 - a5*b12 - a7*b34 + a7*b6 - a9*
b28 + a9*b3,
4*a11*b21 + a12*b21 + 2*a17*b13 + 2*a18*b13 - a3*b21 - a6*b43 - 9*a7*b43 - a7*
b44 - a7*b45 + 4*a8*b13,
6*a17*b10 + 6*a17*b11 + 3*a18*b10 + 12*a18*b11 - 90*a2*b21 + a6*b15 - a6*b38 - 
3*a6*b39 - a6*b40 - 2*a6*b41,
6*a17*b10 + 24*a17*b11 + 9*a18*b10 + 18*a18*b11 - 180*a2*b21 + a6*b17 - 3*a6*
b38 - 6*a6*b39 - 3*a6*b40 - 2*a6*b41,
5*a10*b31 + 10*a10*b33 + 20*a10*b34 - 5*a12*b28 - 10*a13*b28 + 3*a14*b26 + 3*
a14*b27 - 9*a14*b28 - 21*a15*b22 - 70*a16*b22 - a3*b28,
40*a10*b37 + 40*a10*b38 + 20*a10*b39 + 20*a10*b40 + 5*a10*b41 + 5*a10*b42 - 280
*a17*b22 - 140*a18*b22 - a6*b27 - a7*b27,
60*a10*b43 + 40*a10*b44 + 10*a10*b45 - 2*a11*b38 - 3*a12*b38 + 2*a13*b13 + a13*
b14 - a13*b38 - 4*a17*b25 - 6*a8*b25 - a9*b25,
60*a10*b43 + 60*a10*b44 + 30*a10*b45 + a13*b14 + a13*b16 - a13*b38 - a13*b40 - 
6*a17*b26 - 3*a18*b26 - 6*a8*b25 - 3*a9*b25,
10*a10*b38 + 30*a10*b39 + 20*a10*b40 + 30*a10*b41 + 10*a10*b42 + a13*b10 - 140*
a17*b22 - 210*a18*b22 - 3*a6*b25 - a7*b25,
20*a10*b39 + 15*a10*b40 + 50*a10*b41 + 25*a10*b42 + 3*a12*b10 + a12*b11 - 70*
a17*b22 - 245*a18*b22 - 10*a6*b24 - 5*a7*b24,
a11*b19 - a11*b44 - a11*b45 + a14*b43 + a15*b13 - a15*b37 - a15*b42 + a17*b29 +
 a18*b29 - a3*b43 - a8*b29,
6*a11*b19 + 6*a11*b20 + 2*a13*b45 + a15*b16 - a15*b40 - a15*b41 - 3*a15*b42 - 6
*a16*b42 + a18*b33 - 2*a8*b30 - 2*a9*b30,
5*a10*b45 + a11*b17 + 3*a11*b18 + 3*a14*b42 + a15*b11 + a15*b12 - 5*a18*b28 - 
a6*b29 - 3*a7*b29 - 6*a9*b23,
a12*b14 + 12*a15*b11 + 6*a16*b11 - 60*a2*b19 - 30*a2*b20 - a4*b14 - 2*a6*b30 - 
a6*b31 - 2*a6*b32 + 6*a8*b5 + 3*a9*b5,
a10*b17 + a14*b10 - 6*a2*b17 - 10*a2*b18 - a3*b10 - 3*a3*b11 - 3*a3*b12 - a6*
b28 + 6*a6*b3 + 10*a7*b3 + 28*a9*b2,
a10*b17 + a14*b11 - a2*b17 - 5*a2*b18 - a3*b11 - 3*a3*b12 - a6*b28 + a6*b3 + 5*
a7*b3 + 8*a9*b2 - a9*b22,
a12*b21 + a17*b14 + a18*b14 - a4*b21 - 2*a6*b43 - a6*b44 - 6*a7*b43 - 3*a7*b45 
+ 6*a8*b13 - a8*b14 + 3*a9*b13,
4*a15*b21 + 2*a16*b21 + 2*a17*b19 + 2*a18*b19 - 2*a5*b21 - 2*a8*b44 - 2*a8*b45 
+ a9*b19 - 4*a9*b43 - a9*b44 - a9*b45,
a17*b10 + a17*b11 + 15*a18*b12 - 15*a2*b21 + 4*a6*b13 - a6*b37 + 3*a7*b13 - 4*
a7*b41 - 3*a7*b42 - a8*b10 - a8*b11,
2*a17*b11 + 20*a17*b12 + 5*a18*b11 + 5*a18*b12 - 30*a2*b21 - a6*b40 - 2*a6*b42 
+ a7*b15 - 6*a7*b37 - 3*a7*b38 - a7*b39,
30*a17*b12 + a18*b10 + a18*b11 + 15*a18*b12 - 30*a2*b21 - a6*b42 + a7*b16 - 6*
a7*b37 - 4*a7*b38 - 4*a7*b40 - 3*a7*b42,
a14*b21 + a17*b18 + a18*b18 - a3*b21 + a7*b19 - a7*b44 - a7*b45 - a8*b18 + a9*
b13 - a9*b37 - a9*b42,
5*a10*b30 + 10*a10*b31 + 20*a10*b32 + 30*a10*b33 + 30*a10*b34 + a12*b27 - 3*a13
*b26 - 3*a14*b26 - 105*a15*b22 - 210*a16*b22 - a4*b27,
3*a12*b9 + 2*a13*b35 + 3*a13*b36 + 3*a14*b35 + 3*a14*b36 - a15*b33 - a16*b32 - 
a16*b33 + a16*b8 - a5*b31 - 2*a5*b32,
5*a10*b29 + a10*b30 - a11*b27 + 3*a11*b3 + a11*b4 + a13*b23 + a15*b2 - 8*a15*
b22 - a2*b30 - 5*a3*b23 - a4*b23,
10*a10*b29 + 6*a10*b30 - a11*b26 + 3*a11*b3 + 3*a11*b4 + a11*b5 + a12*b23 - 28*
a15*b22 - a2*b30 - 10*a3*b23 - 6*a4*b23,
20*a10*b35 + 2*a11*b6 + 3*a11*b7 + a14*b29 + 3*a14*b30 - a15*b25 - 10*a15*b28 +
 a15*b5 - 2*a3*b29 - 3*a4*b29 - 20*a5*b23,
20*a10*b43 + 60*a10*b44 + 20*a10*b45 + 2*a13*b37 + 2*a13*b38 + a14*b15 - a14*
b39 - 12*a17*b27 - 4*a18*b27 - 2*a8*b26 - 2*a9*b26,
2*a13*b19 + 2*a13*b20 + 4*a13*b44 + 6*a14*b43 + 12*a14*b44 + 3*a14*b45 - 2*a15*
b38 - 6*a16*b38 - 4*a17*b33 - 2*a8*b33 - 2*a9*b33,
40*a10*b43 + 10*a10*b44 + 5*a10*b45 - 2*a11*b38 - 2*a11*b39 - 2*a11*b40 + 4*a12
*b13 + a12*b14 - a12*b38 - a12*b40 - 8*a8*b24 - a9*b24,
2*a12*b19 + a12*b20 + 2*a13*b43 + 2*a13*b44 + a13*b45 - a15*b38 - a15*b39 - a15
*b40 - a16*b38 - a16*b40 - 2*a8*b32 - a9*b32,
10*a10*b43 + 10*a10*b44 + 20*a10*b45 + a12*b16 + 2*a12*b18 + 2*a13*b42 - 2*a14*
b40 - 4*a18*b27 - 2*a7*b32 - 2*a8*b24 - 4*a9*b24,
30*a10*b43 + 30*a10*b45 + 3*a11*b14 + 6*a11*b15 + 3*a11*b16 + 3*a11*b17 - a13*
b41 - 3*a18*b26 - a6*b30 - 30*a8*b23 - 30*a9*b23,
10*a10*b43 + 10*a10*b45 + a11*b14 + 3*a11*b16 + 3*a11*b18 - 3*a13*b42 - 3*a14*
b42 + a18*b27 - a7*b30 - 10*a8*b23 - 10*a9*b23,
2*a10*b21 + 12*a17*b12 + a18*b11 + 7*a18*b12 - 12*a2*b21 - a6*b42 + a7*b14 - 6*
a7*b37 - a7*b38 - a7*b40 - 3*a7*b42 - a9*b12,
5*a10*b31 + 10*a10*b32 + 30*a10*b33 + 60*a10*b34 + a12*b28 - 2*a13*b27 + a13*
b28 - 3*a14*b26 - 6*a14*b27 - 63*a15*b22 - 210*a16*b22 - a4*b28,
10*a10*b29 + 30*a10*b30 + 20*a10*b31 + 30*a10*b32 + 10*a10*b33 - 2*a12*b25 - 
a13*b25 + a13*b5 - 210*a15*b22 - 140*a16*b22 - a3*b25 - 3*a4*b25,
5*a10*b29 + a10*b31 - 5*a11*b28 - a12*b28 + a12*b3 + 3*a14*b23 + a14*b24 - 7*
a15*b22 + 2*a16*b2 - 2*a16*b22 - a2*b31 - a3*b24,
36*a11*b9 + 2*a12*b35 + 6*a13*b35 + 12*a14*b35 - a15*b31 - a15*b32 - 3*a15*b33 
+ 2*a15*b7 + 3*a15*b8 - 2*a4*b35 - 12*a5*b29 - 8*a5*b30,
20*a10*b37 + 50*a10*b38 + 60*a10*b39 + 40*a10*b40 + 30*a10*b41 + 10*a10*b42 + 
a14*b10 - 420*a17*b22 - 350*a18*b22 - 3*a6*b26 - a7*b26,
10*a10*b37 + 25*a10*b38 + 20*a10*b39 + 30*a10*b40 + 10*a10*b41 + 20*a10*b42 + 
a14*b11 - 210*a17*b22 - 175*a18*b22 - a6*b26 - 2*a7*b26,
60*a10*b44 + 30*a10*b45 + a14*b17 + 6*a14*b37 + 9*a14*b38 + 6*a14*b39 + 3*a14*
b40 - 60*a17*b28 - 30*a18*b28 - 2*a6*b34 - 3*a9*b26,
20*a10*b43 + 40*a10*b44 + 30*a10*b45 + a13*b16 + a13*b18 + 2*a13*b40 - a14*b38 
- 8*a17*b27 - 6*a18*b27 - a7*b33 - 2*a8*b25 - 3*a9*b25,
15*a10*b38 + 40*a10*b39 + 35*a10*b40 + 40*a10*b41 + 30*a10*b42 + a13*b10 + a13*
b11 - 210*a17*b22 - 315*a18*b22 - 4*a6*b25 - 3*a7*b25,
30*a10*b44 + 30*a10*b45 + a13*b17 + 3*a14*b38 + 6*a14*b39 + 3*a14*b40 + 3*a14*
b41 - 30*a17*b28 - 30*a18*b28 - a6*b33 - 3*a9*b25,
5*a10*b38 + 10*a10*b39 + 20*a10*b40 + 10*a10*b41 + 30*a10*b42 + a13*b11 + a13*
b12 - 84*a17*b22 - 126*a18*b22 - a6*b25 - 3*a7*b25,
60*a10*b43 + 20*a10*b44 + 20*a10*b45 - 2*a11*b39 + 2*a12*b13 + 2*a12*b14 + a12*
b15 - 3*a12*b39 - 2*a17*b25 - 2*a18*b25 - 12*a8*b24 - 4*a9*b24,
60*a10*b43 + 20*a10*b44 + 20*a10*b45 - 2*a11*b40 + 2*a12*b13 + 2*a12*b14 + a12*
b16 - 3*a12*b40 - a13*b40 - 2*a18*b25 - 12*a8*b24 - 4*a9*b24,
40*a10*b43 + 20*a10*b44 + 30*a10*b45 + a12*b14 + 2*a12*b16 + a12*b18 - 2*a13*
b40 - a14*b40 - 3*a18*b26 - a7*b31 - 8*a8*b24 - 6*a9*b24,
10*a10*b39 + 10*a10*b40 + 25*a10*b41 + 30*a10*b42 + a12*b10 + 2*a12*b11 + a12*
b12 - 42*a17*b22 - 147*a18*b22 - 5*a6*b24 - 6*a7*b24,
6*a11*b19 + 6*a11*b20 + 6*a14*b43 + 3*a14*b45 + a15*b14 + a15*b15 - a15*b39 - 2
*a15*b41 - 2*a16*b41 - 6*a8*b29 - 3*a9*b29 - a9*b30,
2*a11*b19 + 6*a11*b20 + 2*a14*b45 + a15*b16 + 2*a15*b18 - 2*a15*b42 - 6*a16*b42
 + 2*a18*b34 - 2*a7*b35 - 2*a8*b29 - 3*a9*b29 - a9*b30,
15*a10*b45 + 4*a11*b17 + 3*a11*b18 + 3*a14*b41 + 3*a14*b42 + a15*b10 + a15*b11 
- 15*a18*b28 - 4*a6*b29 - 3*a7*b29 - 15*a9*b23,
a11*b10 + 10*a11*b12 + 5*a12*b12 + a13*b12 - 20*a2*b13 - 5*a2*b14 - a6*b23 - 3*
a7*b23 - 3*a7*b24 - a7*b25 + 42*a8*b2 + 7*a9*b2,
a15*b15 + a15*b16 + a16*b16 - 2*a4*b19 - a4*b20 + a5*b14 - a6*b35 - 3*a7*b35 - 
3*a7*b36 - a8*b32 + 3*a8*b8 + a9*b8,
a10*b16 + a13*b12 + 5*a14*b12 - a2*b16 - 5*a2*b18 - a4*b12 - a7*b27 - 3*a7*b28 
+ a7*b4 + 2*a8*b2 - 2*a8*b22 + 7*a9*b2,
a10*b18 + a14*b10 + a14*b12 - 15*a2*b17 - 11*a2*b18 - 4*a3*b10 - 3*a3*b11 - a3*
b12 + 15*a6*b3 - a7*b28 + 11*a7*b3 + 56*a9*b2,
a14*b17 + a16*b10 + a16*b11 - 15*a2*b20 - 4*a3*b17 - 3*a3*b18 - a5*b10 - a5*b11
 - a6*b34 + 4*a6*b6 + 3*a7*b6 + 15*a9*b3,
a14*b20 + a16*b17 + a16*b18 - 4*a3*b20 - a5*b17 - a5*b18 - a6*b36 + a6*b9 - a7*
b36 + a7*b9 - a9*b34 + 4*a9*b6,
a12*b21 + a13*b21 + a17*b14 + a18*b14 - a4*b21 - a6*b43 - 9*a7*b43 - 3*a7*b44 -
 3*a7*b45 + 6*a8*b13 - a8*b14 + 3*a9*b13,
6*a17*b10 + 30*a17*b12 + 6*a18*b10 + 30*a18*b12 - 90*a2*b21 + a6*b16 - a6*b38 -
 a6*b40 - a6*b41 - 3*a7*b38 - 6*a7*b39 - 3*a7*b40 - 3*a7*b41,
a10*b21 + a17*b11 + a17*b12 + 6*a18*b12 - 6*a2*b21 + a6*b13 - a6*b37 + 3*a7*b13
 - a7*b41 - 3*a7*b42 - a8*b11 - a8*b12,
25*a10*b29 + 50*a10*b30 + 15*a10*b31 + 20*a10*b32 - 2*a11*b25 - a12*b24 - a12*
b25 + a12*b4 + 3*a12*b5 - 245*a15*b22 - 70*a16*b22 - 5*a3*b24 - 10*a4*b24,
4*a12*b19 + 2*a12*b20 + 12*a14*b43 + 6*a14*b44 + 3*a14*b45 - 2*a15*b38 - 2*a15*
b39 - 2*a15*b40 + 2*a16*b14 - 2*a16*b38 - 2*a16*b40 - 4*a8*b31 - 2*a9*b31,
10*a10*b43 + a10*b45 + 6*a11*b13 + a11*b14 - a11*b38 - a11*b41 - 3*a11*b42 - 
a12*b42 + 2*a18*b23 + a18*b24 - a2*b45 - 10*a8*b23 - a9*b23,
20*a10*b43 + 5*a10*b45 + 6*a11*b13 + 3*a11*b14 + a11*b16 - a11*b40 - a11*b41 - 
3*a11*b42 - 3*a12*b42 - a13*b42 + a18*b25 - 20*a8*b23 - 5*a9*b23,
3*a11*b10 + 3*a12*b10 + a13*b10 - 30*a2*b13 - 30*a2*b14 - 20*a2*b15 - 10*a2*b16
 - 5*a2*b17 - a6*b24 - a6*b25 + a6*b4 + 210*a8*b2 + 105*a9*b2,
a13*b16 + 3*a15*b10 + 6*a16*b10 - 30*a2*b19 - 60*a2*b20 - 2*a4*b15 - a4*b16 - 2
*a4*b17 - a6*b32 - a6*b33 + 3*a6*b8 + 6*a8*b4 + 12*a9*b4,
10*a10*b35 + 30*a10*b36 - 3*a12*b34 - 3*a13*b34 + 3*a14*b31 + 3*a14*b33 + a14*
b34 + a14*b6 - 10*a15*b28 + a16*b26 - 20*a16*b28 - 2*a3*b34 - a5*b26,
30*a10*b35 - a11*b32 + 6*a11*b6 + 3*a11*b7 + 3*a11*b8 + 2*a13*b29 + a13*b30 - 
a15*b24 - 5*a15*b27 + a15*b4 - 2*a3*b30 - a4*b30 - 30*a5*b23,
12*a11*b9 + a13*b35 + 8*a14*b35 - a15*b33 - 4*a15*b34 + 3*a15*b6 + a15*b7 + a16
*b29 + a16*b30 - 3*a3*b35 - a4*b35 - 9*a5*b29 - a5*b30,
2*a11*b44 - a12*b19 + a12*b44 - 3*a14*b43 - a14*b44 + 3*a15*b37 + a15*b40 - 2*
a16*b13 + 2*a16*b37 - 2*a17*b29 - a17*b31 + a3*b44 + a8*b31,
3*a12*b19 + a12*b44 + 2*a13*b43 + a13*b44 - 9*a15*b37 - 3*a15*b40 - 6*a16*b37 +
 2*a17*b30 + a17*b31 + 2*a17*b32 - a4*b44 - a8*b31 - 2*a8*b32,
120*a10*b43 + 60*a10*b44 + 90*a10*b45 + 3*a12*b14 + 4*a12*b15 + 2*a12*b16 + a12
*b17 - 2*a13*b39 - 6*a17*b26 - 9*a18*b26 - a6*b31 - 24*a8*b24 - 18*a9*b24,
a12*b19 + 2*a12*b20 + a13*b45 + 3*a14*b43 + 3*a14*b44 + 3*a14*b45 - a15*b40 + 
a16*b16 - 3*a16*b40 - a18*b33 - a8*b31 - a9*b31 - a9*b32,
2*a17*b10 + 20*a17*b11 + 2*a18*b10 + 20*a18*b11 - 120*a2*b21 + a6*b15 - 2*a6*
b37 - 2*a6*b38 - 3*a6*b39 - 2*a6*b40 - 2*a6*b41 - 2*a6*b42 + a7*b15 - a7*b39,
2*a17*b17 + 6*a17*b18 + 3*a18*b17 + 3*a18*b18 - 12*a3*b21 - 2*a6*b44 - 3*a6*b45
 - 6*a7*b44 - 3*a7*b45 + a9*b15 + a9*b16 - a9*b38 - a9*b39 - a9*b40,
2*a14*b21 + 8*a17*b18 + a18*b17 + 5*a18*b18 - 8*a3*b21 - a6*b45 + 2*a7*b20 - 8*
a7*b44 - 5*a7*b45 + a9*b14 - 2*a9*b37 - a9*b38 - a9*b40 - 2*a9*b42,
5*a10*b29 + 10*a10*b31 + 10*a10*b33 + 10*a10*b34 - 5*a11*b28 - 10*a12*b28 - 10*
a13*b28 + 3*a14*b25 + 3*a14*b26 + a14*b27 - 5*a14*b28 - 35*a15*b22 - 70*a16*b22
 - a3*b27,
10*a10*b29 + 5*a10*b31 + a10*b33 - 10*a11*b28 - 5*a12*b28 - a13*b28 + a13*b3 + 
3*a14*b23 + 3*a14*b24 + a14*b25 - 21*a15*b22 - 14*a16*b22 - a2*b33 - a3*b25,
10*a10*b35 + 15*a10*b36 - 3*a11*b34 - 3*a12*b34 - a13*b34 + a13*b6 + 3*a14*b29 
+ 3*a14*b31 + a14*b33 - 10*a15*b28 + a16*b25 - 10*a16*b28 - a3*b33 - a5*b25,
5*a10*b35 + 3*a10*b36 - 3*a11*b34 - a12*b34 + a12*b6 + 3*a14*b29 + a14*b31 - 5*
a15*b28 + a16*b24 - 2*a16*b28 + 2*a16*b3 - 3*a2*b36 - a3*b31 - a5*b24,
30*a10*b43 + 30*a10*b44 + 60*a10*b45 + 2*a12*b15 + a12*b16 + 2*a12*b17 + 2*a13*
b39 + 2*a13*b41 - 6*a17*b27 - 12*a18*b27 - 2*a6*b32 - 6*a8*b24 - 12*a9*b24,
10*a10*b44 + 25*a10*b45 + a12*b17 + 2*a12*b18 + 3*a14*b40 + 3*a14*b41 + 6*a14*
b42 + 2*a16*b11 - 10*a17*b28 - 25*a18*b28 - a6*b31 - 2*a7*b31 - 5*a9*b24,
4*a11*b19 - 2*a11*b43 + a13*b43 + a15*b13 - 4*a15*b37 - 4*a15*b42 + a17*b29 + 
a17*b30 + a18*b29 + a18*b30 - a3*b43 - a4*b43 - a8*b29 - a8*b30,
60*a10*b43 + 30*a10*b45 + 6*a11*b13 + 9*a11*b14 + 6*a11*b15 + 3*a11*b16 + a11*
b17 - 2*a11*b41 - 3*a12*b41 - a13*b41 - 2*a18*b25 - a6*b29 - 60*a8*b23 - 30*a9*
b23,
20*a10*b43 + 10*a10*b45 + 2*a11*b13 + 3*a11*b14 + 3*a11*b16 + a11*b18 - 2*a11*
b42 - 3*a12*b42 - 3*a13*b42 - a14*b42 + a18*b26 - a7*b29 - 20*a8*b23 - 10*a9*
b23,
40*a10*b43 + 40*a10*b45 + 4*a11*b14 + 6*a11*b15 + 6*a11*b16 + 3*a11*b17 + 3*a11
*b18 - 2*a13*b41 - a14*b41 - 3*a18*b26 - a6*b30 - a7*b30 - 40*a8*b23 - 40*a9*
b23,
2*a11*b17 + a12*b17 + 4*a15*b11 + 2*a16*b11 - 20*a2*b19 - 10*a2*b20 - 6*a3*b13 
- 3*a3*b14 - 2*a6*b29 - a6*b31 + 20*a8*b3 - a9*b24 + 5*a9*b3 + a9*b4,
a12*b10 + 2*a13*b10 + a14*b10 - 10*a2*b14 - 30*a2*b15 - 20*a2*b16 - 30*a2*b17 -
 10*a2*b18 - a4*b10 + 3*a6*b5 - a7*b26 + a7*b5 + 140*a8*b2 + 210*a9*b2,
a12*b20 + 2*a15*b17 + a16*b14 + 2*a16*b17 - 6*a3*b19 - 6*a3*b20 - a4*b20 - a5*
b14 - 2*a6*b35 - 3*a6*b36 + 6*a8*b6 - a9*b31 + 3*a9*b6 + a9*b7,
a10*b14 + a12*b12 + 5*a13*b12 + 10*a14*b12 - a2*b14 - 5*a2*b16 - 10*a2*b18 - a4
*b12 - a7*b26 - 3*a7*b27 - 3*a7*b28 + a7*b5 + 14*a8*b2 + 21*a9*b2,
2*a15*b15 + 2*a15*b17 + 4*a16*b15 + 2*a16*b17 - 6*a3*b19 - 6*a3*b20 - 2*a4*b19 
- 4*a4*b20 - 4*a6*b35 - 6*a6*b36 + 2*a8*b7 - a9*b32 + 2*a9*b7 + 3*a9*b8,
a10*b20 + a14*b17 + a16*b11 + a16*b12 - 6*a2*b20 - a3*b17 - 3*a3*b18 - a5*b11 -
 a5*b12 - a6*b34 + a6*b6 + 3*a7*b6 - a9*b28 + 6*a9*b3,
a13*b21 + a14*b21 + a17*b16 + a18*b16 - a4*b21 + a7*b19 - 4*a7*b43 - 3*a7*b44 -
 3*a7*b45 + 2*a8*b13 - a8*b16 - 2*a8*b37 - 2*a8*b42 + 3*a9*b13,
6*a17*b17 + 6*a17*b18 + 5*a18*b17 + 9*a18*b18 - 24*a3*b21 + 2*a6*b20 - 6*a6*b44
 - 5*a6*b45 - 6*a7*b44 - 9*a7*b45 + 3*a9*b14 - a9*b38 - 2*a9*b39 - a9*b40 - 2*
a9*b41,
5*a10*b29 + 5*a10*b30 + 20*a10*b31 + 20*a10*b32 + 40*a10*b33 + 40*a10*b34 - 4*
a12*b27 + 2*a13*b26 - 5*a13*b27 - 2*a14*b25 - 4*a14*b27 - 140*a15*b22 - 280*a16
*b22 - a3*b27 - a4*b27,
120*a10*b35 + 180*a10*b36 + a12*b33 + 2*a13*b31 + 3*a13*b32 + 3*a13*b33 + a13*
b7 + 3*a13*b8 - 3*a15*b26 - 18*a15*b27 - 6*a16*b26 - 24*a16*b27 - a4*b33 - 12*
a5*b25,
6*a11*b19 + 6*a11*b20 - a13*b45 + 6*a14*b43 + 3*a14*b45 + a15*b14 + a15*b16 - 
a15*b40 - a15*b41 - 3*a15*b42 - 6*a16*b42 + a18*b33 - 6*a8*b29 - 3*a9*b29 - a9*
b30,
20*a10*b43 + 50*a10*b45 + 6*a11*b15 + 4*a11*b16 + 9*a11*b17 + 3*a11*b18 + 2*a13
*b41 - a14*b41 + a15*b10 - 10*a18*b27 - 3*a6*b30 - a7*b30 - 20*a8*b23 - 50*a9*
b23,
10*a10*b43 + 25*a10*b45 + 2*a11*b15 + 3*a11*b16 + 3*a11*b17 + 6*a11*b18 + 2*a13
*b42 - 2*a14*b41 + a15*b11 - 4*a18*b27 - a6*b30 - 2*a7*b30 - 10*a8*b23 - 25*a9*
b23,
a12*b14 + a13*b14 + 3*a15*b10 + 30*a15*b12 + 30*a16*b12 - 60*a2*b19 - 30*a2*b20
 - a4*b14 - a6*b30 - 3*a7*b30 - 3*a7*b31 - 6*a7*b32 - 3*a7*b33 + 6*a8*b5 + 3*a9
*b5,
2*a10*b15 + a13*b11 + 4*a14*b11 - 2*a2*b15 - 5*a2*b16 - 5*a2*b17 - 20*a2*b18 - 
a4*b11 - 2*a4*b12 - a6*b27 - 2*a6*b28 + a6*b4 + 4*a7*b4 + 14*a8*b2 + 49*a9*b2,
a13*b21 + 2*a17*b15 + a17*b16 + 3*a18*b16 - 3*a4*b21 + a6*b19 - 2*a6*b43 - 3*a6
*b44 - 6*a7*b43 - 9*a7*b45 + 6*a8*b13 - 2*a8*b15 - a8*b16 - 2*a8*b41 + 9*a9*b13
,
2*a17*b15 + a17*b16 + 2*a18*b15 + a18*b16 - 3*a4*b21 - 3*a6*b43 - 2*a6*b44 - 2*
a6*b45 - 3*a7*b43 - 3*a7*b44 - 3*a7*b45 + a8*b14 + a8*b15 - a8*b39 + a9*b14,
2*a13*b21 + 6*a17*b16 + 2*a18*b15 + 4*a18*b16 - 6*a4*b21 - 4*a6*b43 - 3*a6*b45 
- 12*a7*b43 - 18*a7*b44 - 9*a7*b45 + 2*a8*b14 + 2*a8*b16 - 2*a8*b38 - 2*a8*b40 
+ 2*a9*b14,
10*a17*b11 + 10*a17*b12 + 7*a18*b11 + 25*a18*b12 - 60*a2*b21 + a6*b14 - 4*a6*
b37 - a6*b38 - a6*b41 - 2*a6*b42 + 2*a7*b14 - 2*a7*b39 - 3*a7*b40 - 3*a7*b41 - 
6*a7*b42 - a9*b11,
10*a10*b29 + 30*a10*b30 + 40*a10*b31 + 60*a10*b32 + 50*a10*b33 + 20*a10*b34 - 2
*a12*b26 - 2*a13*b25 - 3*a13*b26 - a14*b25 - a14*b26 + a14*b5 - 350*a15*b22 - 
420*a16*b22 - a3*b26 - 3*a4*b26,
60*a10*b35 + 90*a10*b36 + a12*b33 - a13*b31 + a13*b7 + 3*a14*b30 + 3*a14*b31 + 
6*a14*b32 + 3*a14*b33 - 3*a15*b26 - 30*a15*b28 - 6*a16*b26 - 30*a16*b28 - a4*
b33 - 6*a5*b25,
20*a10*b29 + 5*a10*b30 + 5*a10*b31 + 2*a10*b32 - 4*a11*b27 - a12*b27 + 2*a12*b3
 + a12*b4 + 2*a13*b23 + a13*b24 - 49*a15*b22 - 14*a16*b22 - 2*a2*b32 - 4*a3*b24
 - a4*b24,
30*a10*b29 + 25*a10*b30 + 11*a10*b31 + 10*a10*b32 - 3*a11*b26 + a12*b24 - a12*
b26 + a12*b3 + 2*a12*b4 + a12*b5 - 147*a15*b22 - 42*a16*b22 - a2*b31 - 6*a3*b24
 - 5*a4*b24,
60*a10*b43 + 120*a10*b44 + 90*a10*b45 + 2*a13*b15 + a13*b16 + a13*b17 + 2*a13*
b38 + 4*a13*b39 + 2*a13*b40 - 24*a17*b27 - 18*a18*b27 - a6*b33 - 6*a8*b25 - 9*
a9*b25,
40*a10*b44 + 40*a10*b45 + a13*b17 + a13*b18 + 3*a14*b38 + 6*a14*b39 + 6*a14*b40
 + 3*a14*b41 + 3*a14*b42 - 40*a17*b28 - 40*a18*b28 - a6*b33 - a7*b33 - 4*a9*b25
,
a12*b19 + 2*a12*b20 + a13*b44 + a13*b45 + 3*a14*b43 + 3*a14*b44 + 3*a14*b45 - 
a15*b39 + a16*b15 - 3*a16*b39 - a17*b33 - a18*b33 - a8*b31 - a9*b31 - a9*b32,
20*a10*b44 + 50*a10*b45 + 3*a12*b17 + a12*b18 + 6*a14*b39 + 3*a14*b40 + 9*a14*
b41 + 3*a14*b42 + 2*a16*b10 - 20*a17*b28 - 50*a18*b28 - 3*a6*b31 - a7*b31 - 10*
a9*b24,
6*a11*b19 + 18*a11*b20 + 2*a13*b45 + 6*a14*b43 + 9*a14*b45 + 2*a15*b15 + a15*
b16 + 2*a15*b17 - 2*a15*b41 - 6*a16*b41 - 2*a18*b33 - 2*a6*b35 - 6*a8*b29 - 9*
a9*b29 - 3*a9*b30,
3*a11*b10 + 6*a11*b11 + a12*b10 + 4*a12*b11 + a13*b11 - 60*a2*b13 - 30*a2*b14 -
 10*a2*b15 - 5*a2*b16 - 2*a6*b23 - 3*a6*b24 - a6*b25 + a6*b3 + 210*a8*b2 + 63*
a9*b2,
a11*b10 + 10*a11*b12 + 10*a12*b12 + 5*a13*b12 + a14*b12 - 20*a2*b13 - 10*a2*b14
 - 5*a2*b16 - 2*a7*b23 - 3*a7*b24 - 3*a7*b25 - a7*b26 + a7*b3 + 70*a8*b2 + 21*
a9*b2,
a11*b17 + 3*a11*b18 + a12*b18 + a15*b11 + 5*a15*b12 + 2*a16*b12 - 10*a2*b19 - 6
*a3*b13 - a6*b29 - 3*a7*b29 - a7*b31 + 10*a8*b3 - 2*a9*b23 - a9*b24 + a9*b3,
a13*b10 + a13*b11 + 2*a14*b10 + a14*b11 - 20*a2*b15 - 15*a2*b16 - 50*a2*b17 - 
25*a2*b18 - 3*a4*b10 - a4*b11 + 10*a6*b4 - a7*b27 + 5*a7*b4 + 70*a8*b2 + 245*a9
*b2,
a14*b21 + a17*b17 + a17*b18 + 4*a18*b18 - 4*a3*b21 + a6*b19 - a6*b44 + a7*b19 -
 a7*b44 - 4*a7*b45 - a8*b17 - a8*b18 + 4*a9*b13 - a9*b37 - a9*b41 - a9*b42,
10*a10*b29 + 10*a10*b31 + 5*a10*b33 + 2*a10*b34 - 10*a11*b28 - 10*a12*b28 - 5*
a13*b28 + 3*a14*b24 + 3*a14*b25 + a14*b26 - a14*b28 + a14*b3 - 35*a15*b22 - 42*
a16*b22 - 2*a2*b34 - a3*b26,
30*a10*b29 + 40*a10*b30 + 35*a10*b31 + 40*a10*b32 + 15*a10*b33 - 3*a11*b26 + 
a12*b25 - 3*a12*b26 - a13*b24 - a13*b26 + a13*b4 + a13*b5 - 315*a15*b22 - 210*
a16*b22 - 3*a3*b25 - 4*a4*b25,
3*a12*b36 + 9*a12*b9 + 2*a13*b35 + 3*a13*b36 + 18*a14*b35 + 18*a14*b36 - 2*a15*
b33 - 9*a15*b34 - a16*b31 + 2*a16*b32 - 2*a16*b33 - 6*a16*b34 + 2*a16*b7 - 3*a4
*b36 - 7*a5*b31 - 2*a5*b32,
12*a10*b35 - a11*b33 + 6*a11*b6 + a11*b7 + a13*b29 + 3*a14*b29 + a14*b30 - a15*
b27 - 6*a15*b28 + 2*a15*b3 + a15*b4 - 2*a2*b35 - 3*a3*b29 - a3*b30 - a4*b29 - 
12*a5*b23,
30*a10*b35 - a11*b31 + 6*a11*b6 + 4*a11*b7 + a12*b29 + 3*a14*b29 + 4*a14*b30 - 
a15*b24 - a15*b26 - 15*a15*b28 + a15*b4 + a15*b5 - 3*a3*b29 - a3*b30 - 4*a4*b29
 - 30*a5*b23,
a11*b11 + 5*a11*b12 + 10*a12*b12 + 10*a13*b12 + 5*a14*b12 - 10*a2*b13 - 10*a2*
b14 - 10*a2*b16 - 5*a2*b18 - a7*b24 - 3*a7*b25 - 3*a7*b26 - a7*b27 + a7*b4 + 70
*a8*b2 + 35*a9*b2,
a11*b15 + a12*b15 + 8*a15*b11 + 4*a16*b11 - 40*a2*b19 - 20*a2*b20 - a4*b13 - a4
*b14 - a6*b29 - a6*b30 - a6*b31 - a6*b32 + 6*a8*b4 + a8*b5 + 2*a9*b4 + a9*b5,
2*a11*b20 + a12*b20 + a15*b17 + 3*a15*b18 + 2*a16*b13 + 2*a16*b18 - 6*a3*b19 - 
a3*b20 - 2*a5*b13 - a6*b35 - 3*a7*b35 - 3*a7*b36 + 6*a8*b6 - 2*a9*b29 - a9*b31 
+ 2*a9*b6,
a13*b16 + 2*a14*b16 + a15*b11 + 5*a15*b12 + 20*a16*b12 - 10*a2*b19 - 20*a2*b20 
- a4*b16 - 2*a4*b18 - a7*b32 - 3*a7*b33 - 6*a7*b34 + 3*a7*b8 - 2*a8*b27 + 2*a8*
b4 + 4*a9*b4,
60*a10*b35 + 180*a10*b36 + 2*a12*b34 + 2*a13*b34 + 2*a14*b31 + 6*a14*b32 + 8*
a14*b33 + 6*a14*b34 + a14*b7 - 4*a15*b27 - 30*a15*b28 - 6*a16*b26 - 12*a16*b27 
- 60*a16*b28 - 2*a4*b34 - 6*a5*b26,
150*a10*b35 + 90*a10*b36 + a12*b31 + 2*a12*b32 + 3*a12*b7 + 6*a12*b8 + 2*a13*
b30 + a13*b31 + 2*a13*b32 - 9*a15*b26 - 12*a15*b27 - 6*a16*b26 - 6*a16*b27 - a4
*b31 - 2*a4*b32 - 30*a5*b24,
120*a10*b35 + 6*a11*b6 + 13*a11*b7 + 18*a11*b8 + a12*b29 + a12*b30 + a13*b29 + 
3*a13*b30 - 3*a15*b25 - 4*a15*b26 - 10*a15*b27 + a15*b5 - 2*a3*b30 - a4*b29 - 4
*a4*b30 - 120*a5*b23,
6*a11*b19 + 2*a11*b20 - 2*a11*b45 - a12*b45 + 6*a14*b43 + a14*b45 + 2*a15*b13 +
 a15*b14 - a15*b38 - a15*b41 - 3*a15*b42 - 2*a16*b42 + 2*a18*b29 + a18*b31 - a3
*b45 - 6*a8*b29 - 2*a9*b29,
18*a11*b19 + 6*a11*b20 + a12*b45 + 4*a13*b43 + a13*b45 + a15*b14 - 3*a15*b38 - 
3*a15*b41 - 9*a15*b42 - 6*a16*b42 + 2*a18*b30 + a18*b31 + 2*a18*b32 - a4*b45 - 
6*a8*b30 - 2*a9*b30,
2*a10*b13 + 2*a11*b12 + 5*a12*b12 + 10*a13*b12 + 10*a14*b12 - 2*a2*b13 - 5*a2*
b14 - 10*a2*b16 - 10*a2*b18 - a3*b12 - a7*b25 - 3*a7*b26 - 3*a7*b27 - a7*b28 + 
a7*b5 + 42*a8*b2 + 35*a9*b2,
a12*b17 + a13*b17 + 3*a15*b10 + 6*a16*b10 - 30*a2*b19 - 60*a2*b20 - 3*a3*b14 - 
6*a3*b15 - 3*a3*b16 - 3*a3*b17 - a4*b17 - a6*b31 - a6*b33 + a6*b7 + 30*a8*b3 + 
30*a9*b3 + 3*a9*b5,
a10*b16 + a13*b10 + a13*b12 + 3*a14*b10 - 10*a2*b15 - 11*a2*b16 - 25*a2*b17 - 
30*a2*b18 - a4*b10 - 2*a4*b11 - a4*b12 - a6*b27 - a6*b28 + 5*a6*b4 + 6*a7*b4 + 
42*a8*b2 + 147*a9*b2,
10*a17*b10 + 20*a17*b12 + 2*a18*b10 + 10*a18*b11 + 50*a18*b12 - 120*a2*b21 + 3*
a6*b14 - 2*a6*b37 - a6*b38 - 3*a6*b41 - a6*b42 + a7*b14 - a7*b38 - 6*a7*b39 - 4
*a7*b40 - 9*a7*b41 - 3*a7*b42 - a9*b10,
2*a17*b10 + 8*a17*b11 + 60*a17*b12 + 6*a18*b10 + 6*a18*b11 + 30*a18*b12 - 120*
a2*b21 + a6*b18 - a6*b38 - 3*a6*b40 - 2*a6*b42 + a7*b17 - 6*a7*b37 - 9*a7*b38 -
 6*a7*b39 - 3*a7*b40 - 2*a7*b41,
30*a10*b29 + 10*a10*b30 + 20*a10*b31 + 10*a10*b32 + 6*a10*b33 - 6*a11*b27 - 4*
a12*b27 + 2*a13*b24 + a13*b25 - a13*b27 + a13*b3 + a13*b4 - 126*a15*b22 - 84*
a16*b22 - a2*b33 - 3*a3*b25 - a4*b25,
100*a10*b35 + 60*a10*b36 - a12*b32 + 2*a12*b6 + 2*a12*b7 + 3*a12*b8 + 2*a13*b29
 + 2*a13*b30 + 2*a13*b31 + 2*a13*b32 - 2*a15*b25 - 16*a15*b27 - 2*a16*b25 - 8*
a16*b27 - 2*a3*b32 - 2*a4*b32 - 20*a5*b24,
2*a11*b10 + 5*a12*b10 + 4*a13*b10 + a14*b10 - 20*a2*b13 - 50*a2*b14 - 60*a2*b15
 - 40*a2*b16 - 30*a2*b17 - 10*a2*b18 - a3*b10 - a6*b25 - a6*b26 + 3*a6*b5 - a7*
b25 + a7*b5 + 420*a8*b2 + 350*a9*b2,
2*a11*b11 + 5*a12*b11 + 6*a13*b11 + 4*a14*b11 - 10*a2*b13 - 25*a2*b14 - 20*a2*
b15 - 30*a2*b16 - 10*a2*b17 - 20*a2*b18 - a3*b11 - a6*b25 - 2*a6*b26 - a6*b27 +
 a6*b5 + 2*a7*b5 + 210*a8*b2 + 175*a9*b2,
20*a10*b29 + 10*a10*b30 + 30*a10*b31 + 20*a10*b32 + 25*a10*b33 + 10*a10*b34 - 4
*a11*b27 - 6*a12*b27 + 2*a13*b25 + a13*b26 - 4*a13*b27 - a14*b24 - a14*b27 + 
a14*b4 - 175*a15*b22 - 210*a16*b22 - 2*a3*b26 - a4*b26,
100*a10*b35 + 60*a10*b36 + 2*a12*b6 + 3*a12*b7 + 3*a14*b29 + 9*a14*b30 + 4*a14*
b31 + 6*a14*b32 - 2*a15*b25 - 3*a15*b26 - 50*a15*b28 - 2*a16*b25 - 2*a16*b26 - 
20*a16*b28 + 2*a16*b5 - 2*a3*b31 - 3*a4*b31 - 20*a5*b24,
20*a10*b43 + 20*a10*b44 + 40*a10*b45 + a12*b15 + a12*b16 + a12*b17 + a12*b18 + 
a13*b40 + a13*b41 + a13*b42 - a14*b39 - 4*a17*b27 - 8*a18*b27 - a6*b32 - a7*b32
 - 4*a8*b24 - 8*a9*b24,
2*a11*b14 + 2*a12*b13 + a12*b14 + 10*a15*b11 + 50*a15*b12 + 20*a16*b12 - 100*a2
*b19 - 20*a2*b20 - 2*a4*b13 + 2*a4*b14 - a6*b29 - 3*a6*b30 - 3*a7*b29 - 9*a7*
b30 - 4*a7*b31 - 6*a7*b32 + 10*a8*b5 + a9*b5,
a12*b10 + a12*b11 + 3*a13*b10 + a13*b11 + 3*a14*b10 - 15*a2*b14 - 40*a2*b15 - 
35*a2*b16 - 40*a2*b17 - 30*a2*b18 - a4*b10 - a4*b11 - a6*b26 - a6*b27 + 4*a6*b5
 + 3*a7*b5 + 210*a8*b2 + 315*a9*b2,
a12*b20 + a13*b20 + a15*b17 + 3*a15*b18 + a16*b14 + 6*a16*b18 - 6*a3*b19 - 6*a3
*b20 - a4*b20 - a5*b14 - a6*b35 - 3*a7*b35 - 9*a7*b36 + 6*a8*b6 - a9*b31 - a9*
b33 + 3*a9*b6 + a9*b7,
a13*b20 + 2*a15*b17 + 2*a16*b15 + a16*b16 + 6*a16*b17 - 6*a3*b19 - 18*a3*b20 - 
3*a4*b20 - 2*a5*b15 - a5*b16 - 2*a5*b17 - 2*a6*b35 - 9*a6*b36 + 3*a6*b9 + 6*a8*
b6 - a9*b33 + 9*a9*b6 + 3*a9*b7,
2*a17*b10 + 12*a17*b11 + 40*a17*b12 + 6*a18*b10 + 4*a18*b11 + 40*a18*b12 - 120*
a2*b21 + a6*b16 - 2*a6*b37 - 2*a6*b38 - a6*b40 - a6*b41 - a6*b42 + a7*b16 - 4*
a7*b38 - 6*a7*b39 - 7*a7*b40 - 3*a7*b41 - 3*a7*b42,
2*a11*b15 + 2*a11*b16 + a12*b16 + 5*a15*b11 + 25*a15*b12 + 10*a16*b12 - 50*a2*
b19 - 10*a2*b20 + 2*a3*b14 - 4*a4*b13 - 2*a6*b29 - a6*b30 - 6*a7*b29 - 3*a7*b30
 - 3*a7*b31 - 2*a7*b32 - 2*a8*b24 + 10*a8*b4 + a9*b4,
a10*b14 + a12*b11 + a12*b12 + 4*a13*b11 + 6*a14*b11 - 6*a2*b14 - 10*a2*b15 - 20
*a2*b16 - 10*a2*b17 - 30*a2*b18 - a4*b11 - a4*b12 - a6*b26 - 2*a6*b27 - a6*b28 
+ a6*b5 + 3*a7*b5 + 84*a8*b2 + 126*a9*b2,
2*a13*b19 + 2*a15*b16 + a15*b17 + 3*a15*b18 + 4*a16*b16 + 6*a16*b18 - 6*a3*b19 
- 6*a3*b20 - 2*a4*b19 - 4*a4*b20 - 2*a6*b35 - 6*a7*b35 - 18*a7*b36 - 2*a8*b33 +
 2*a8*b7 - a9*b32 - a9*b33 + 2*a9*b7 + 3*a9*b8,
80*a10*b35 + 120*a10*b36 - 2*a12*b33 + 2*a13*b31 + 2*a13*b6 + a13*b7 + 3*a14*
b29 + 3*a14*b30 + 6*a14*b31 + 6*a14*b32 + 4*a14*b33 - 6*a15*b27 - 40*a15*b28 - 
4*a16*b25 - 8*a16*b27 - 40*a16*b28 - 2*a3*b33 - a4*b33 - 8*a5*b25,
2*a11*b10 + 4*a11*b11 + a12*b10 + 6*a12*b11 + 4*a13*b11 + a14*b11 - 40*a2*b13 -
 40*a2*b14 - 20*a2*b15 - 20*a2*b16 - 5*a2*b17 - 5*a2*b18 - a6*b24 - 2*a6*b25 - 
a6*b26 + a6*b4 - a7*b24 + a7*b4 + 280*a8*b2 + 140*a9*b2,
a11*b17 + 3*a11*b18 + 3*a12*b18 + a13*b18 + a15*b10 + 10*a15*b12 + 10*a16*b12 -
 20*a2*b19 - 10*a2*b20 - 6*a3*b13 - 3*a3*b14 - a6*b29 - 3*a7*b29 - 3*a7*b31 - 
a7*b33 + 20*a8*b3 - a9*b24 - a9*b25 + 5*a9*b3 + a9*b4,
2*a13*b15 + 2*a14*b15 + 2*a15*b10 + 4*a15*b11 + 2*a16*b10 + 12*a16*b11 - 40*a2*
b19 - 80*a2*b20 - 2*a4*b15 - 2*a4*b16 - 2*a4*b17 - 2*a4*b18 - a6*b32 - 2*a6*b33
 - 2*a6*b34 + 3*a6*b8 - a7*b32 + 3*a7*b8 + 8*a8*b4 + 16*a9*b4,
a13*b20 + 2*a14*b19 + a14*b20 + 2*a15*b18 + a16*b16 + 6*a16*b18 - 2*a3*b19 - 6*
a3*b20 - a4*b20 - a5*b16 - 2*a5*b18 - 2*a7*b35 - 9*a7*b36 + 3*a7*b9 - 2*a8*b34 
+ 2*a8*b6 - a9*b33 - 2*a9*b34 + 3*a9*b6 + a9*b7,
2*a10*b19 + a13*b18 + a14*b16 + 3*a14*b18 + 2*a15*b12 + 10*a16*b12 - 2*a2*b19 -
 10*a2*b20 - a3*b16 - 3*a3*b18 - a4*b18 - 2*a5*b12 - a7*b33 - 6*a7*b34 + a7*b7 
- 2*a8*b28 + 2*a8*b3 - a9*b27 - a9*b28 + 5*a9*b3 + a9*b4,
a13*b17 + 2*a14*b15 + 2*a14*b17 + 2*a15*b11 + 10*a16*b11 - 10*a2*b19 - 50*a2*
b20 - 2*a3*b15 - 3*a3*b16 - 3*a3*b17 - 6*a3*b18 - a4*b17 - 2*a4*b18 - 2*a5*b11 
- a6*b33 - 4*a6*b34 + a6*b7 + 2*a7*b7 + 10*a8*b3 - a9*b27 + 25*a9*b3 + 5*a9*b4,
50*a10*b35 + 30*a10*b36 - 2*a11*b33 - a12*b33 + 4*a12*b6 + a12*b7 + 2*a13*b29 +
 a13*b31 + 6*a14*b29 + 3*a14*b30 + 3*a14*b31 + 2*a14*b32 - 4*a15*b27 - 25*a15*
b28 - 2*a16*b24 - 2*a16*b27 - 10*a16*b28 + 2*a16*b4 - 2*a3*b31 - 2*a3*b32 - a4*
b31 - 10*a5*b24,
2*a11*b17 + 3*a12*b17 + a13*b17 + 3*a15*b10 + 6*a15*b11 + 2*a16*b10 + 8*a16*b11
 - 60*a2*b19 - 60*a2*b20 - 6*a3*b13 - 9*a3*b14 - 6*a3*b15 - 3*a3*b16 - a3*b17 -
 2*a6*b29 - 3*a6*b31 - a6*b33 + 2*a6*b6 + 60*a8*b3 - a9*b25 + 30*a9*b3 + 3*a9*
b5,
a12*b18 + 3*a13*b18 + a14*b14 + 3*a14*b18 + a15*b11 + 5*a15*b12 + 20*a16*b12 - 
10*a2*b19 - 20*a2*b20 - a3*b14 - 3*a3*b16 - 3*a3*b18 - a4*b18 - a7*b31 - 3*a7*
b33 - 6*a7*b34 + a7*b7 + 10*a8*b3 - a9*b26 - a9*b27 + 10*a9*b3 + a9*b5,
2*a11*b16 + 2*a12*b16 + 2*a13*b13 + a13*b16 + 4*a15*b10 + 40*a15*b12 + 40*a16*
b12 - 80*a2*b19 - 40*a2*b20 - 2*a4*b13 - 2*a4*b14 - a6*b29 - a6*b30 - 3*a7*b29 
- 3*a7*b30 - 6*a7*b31 - 6*a7*b32 - 4*a7*b33 - 2*a8*b25 + 12*a8*b4 + 2*a8*b5 + 4
*a9*b4 + 2*a9*b5,
a13*b17 + a13*b18 + a14*b16 + a14*b17 + 2*a15*b10 + 10*a16*b10 - 20*a2*b19 - 
100*a2*b20 - 6*a3*b15 - 4*a3*b16 - 9*a3*b17 - 3*a3*b18 - 3*a4*b17 - a4*b18 - 2*
a5*b10 - a6*b33 - 2*a6*b34 + 3*a6*b7 - a7*b33 + a7*b7 + 20*a8*b3 + 50*a9*b3 + 
10*a9*b4,
2*a12*b19 + 2*a15*b14 + 2*a15*b15 + 2*a15*b16 + 3*a15*b17 + 9*a15*b18 + 2*a16*
b14 + 2*a16*b16 + 6*a16*b18 - 18*a3*b19 - 6*a3*b20 - 6*a4*b19 - 2*a4*b20 + 4*a5
*b14 - 6*a6*b35 - 18*a7*b35 - 18*a7*b36 - 2*a8*b31 + 6*a8*b7 - 2*a9*b30 - a9*
b31 - 2*a9*b32 + 2*a9*b7,
2*a11*b18 + 3*a12*b18 + 3*a13*b18 + 2*a14*b13 + a14*b18 + a15*b10 + 10*a15*b12 
+ 20*a16*b12 - 20*a2*b19 - 20*a2*b20 - 2*a3*b13 - 3*a3*b14 - 3*a3*b16 - a3*b18 
- 2*a7*b29 - 3*a7*b31 - 3*a7*b33 - 2*a7*b34 + 2*a7*b6 + 20*a8*b3 - a9*b25 - a9*
b26 + 10*a9*b3 + a9*b5,
2*a12*b15 + a12*b16 + a13*b14 + 2*a13*b15 + 9*a15*b10 + 18*a15*b11 + 6*a16*b10 
+ 24*a16*b11 - 180*a2*b19 - 180*a2*b20 - 3*a4*b14 - 6*a4*b15 - 3*a4*b16 - a4*
b17 - 2*a6*b30 - 3*a6*b31 - 6*a6*b32 - 3*a6*b33 + a6*b7 + 24*a8*b4 + 6*a8*b5 + 
18*a9*b4 + 9*a9*b5,
a12*b16 + a13*b14 + 2*a13*b16 + a14*b14 + a14*b16 + 3*a15*b10 + 30*a15*b12 + 60
*a16*b12 - 60*a2*b19 - 60*a2*b20 - a4*b14 - 3*a4*b16 - a4*b18 - 2*a7*b30 - 3*a7
*b31 - 6*a7*b32 - 9*a7*b33 - 6*a7*b34 + a7*b7 - 2*a8*b26 + 8*a8*b4 + 2*a8*b5 + 
6*a9*b4 + 3*a9*b5,
a12*b17 + a12*b18 + 2*a13*b17 + a14*b14 + a14*b17 + 2*a15*b10 + 4*a15*b11 + 2*
a16*b10 + 12*a16*b11 - 40*a2*b19 - 80*a2*b20 - 4*a3*b14 - 6*a3*b15 - 6*a3*b16 -
 3*a3*b17 - 3*a3*b18 - a4*b17 - a4*b18 - a6*b31 - 2*a6*b33 - 2*a6*b34 + a6*b7 -
 a7*b31 + a7*b7 + 40*a8*b3 - a9*b26 + 40*a9*b3 + 4*a9*b5