Problem E(3), a_11=a_22, J_2=0


Unknowns | Inequalities | Equations | Computing time
Solutions before merging:
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68
Solutions after merging: 1 | 2 | 3 | 4 | 5 | 6

Unknowns

All solutions for the following 193 unknowns have to be determined:
                   a22,    a33,
                       b22,    b31,b32,b33,         
           c12,c13,c22,c23,c33,n1,n2,n3,m1,m2,m3,
        		     r6,  r5,  r4,  r3,  r2,  r1,
	     q19, q18, q17, q16, q15, q14, q13, q12, q11,
	q10,  q9,  q8,  q7,       q5,  q4,  q3,  q2,  q1,
	p50, p49, p48, p47, p46, p45, p44, p43, p42, p41,
	p40, p39, p38, p37, p36, p35, p34, p33, p32, p31,
	p30, p29, p28, p27, p26, p25, p24, p23, p22, p21, 
	p20, p19, p18, p17, p16, p15, p14, p13, p12, p11,
	p10,  p9,  p8,  p7,  p6,  p5,  p4,  p3,  p2,  p1,
                                     k104,k103,k102,k101,
       k100, k99, k98, k97, k96, k95, k94, k93, k92, k91,
	k90, k89, k88, k87, k86, k85, k84, k83, k82, k81,
	k80, k79, k78, k77, k76, k75, k74, k73, k72, k71,
	k70, k69, k68, k67, k66, k65, k64, k63, k62, k61,
	k60, k59, k58, k57, k56, k55, k54, k53, k52, k51,
	k50, k49, k48, k47, k46, k45, k44, k43, k42, k41,
	k40, k39, k38, k37, k36, k35, k34, k33, k32, k31,
	k30, k29, k28, k27, k26, k25, k24, k23,      k21, 
	k20, k19, k18, k17, k16,      k14, k13, k12, k11,
	k10,  k9,  k8,  k7,  k6,  k5,  k4,  k3,  k2,  k1

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.
{a22}, {a22 - a33}, {a33},
{k1,k2,k3,k4,k5,k6,k7,k8,k9,k10,
 k11,k12,k13,k14,k16,k17,k18,k19,k20,k21,k23,
 k24,k25,k26,k27,k28,k29,k30,k31,k32,k33,k34,
 k35,k36,k37,k38,k39,k40,k41,k42,k43,k44,k45,
 k46,k47,k48,k49,k50,k51,k52,k53,k54,k55,k56,
 k57,k58,k59,k60,k61,k62,k63,k64,k65,k66,k67,
 k68,k69,k70,k71,k72,k73,k74,k75,k76,k77,k78,
 k79,k80,k81,k82,k83,k84,k85,k86,k87,k88,k89,
 k90,k91,k92,k93,k94,k95,k96,k97,k98,k99,k100,
 k101,k102,k103,k104}

Equations

All comma separated 396 expressions involving 5243 terms have to vanish.
k4,
k8,
k7,
k2,
k11,
k14,
k13,
2*k7 - 3*k9,
k3 - 2*k5,
k2 - k4,
3*k6 - 2*k8,
2*k1 - k3,
k10 - k12,
n2*r3 - n3*r2,
n1*r3 - n3*r1,
n1*q5 - n3*q2,
n2*q4 - n3*q2,
n1*r2 - n2*r1,
n1*q5 - n2*q4,
n1*p9 - n2*p8,
n1*p7 - n3*p3,
n2*p5 - n3*p2,
k13*n2 - k14*n1,
k4*n3 - k9*n1,
k2*n3 - k6*n2,
2*a33*k35 + b33*k14,
2*a22*k26 - b33*k2,
c13*k101 - c23*k100,
2*a22*k59 + b22*k9 + b31*k4,
2*a22*k16 + b22*k4 - b33*k4,
b32*k54 - 2*c12*k53 + 2*c23*k51,
b31*k41 - 2*c12*k24 + 2*c13*k23,
2*a33*k19 - b22*k13 + b33*k13,
2*a22*k56 - b22*k6 + b32*k2,
m2*r3 - m3*r2 + n2*r6 - n3*r5,
m1*r3 - m3*r1 + n1*r6 - n3*r4,
m1*r2 - m2*r1 + n1*r5 - n2*r4,
n1*q4 - n2*q5 - 2*n3*q1 + 2*n3*q3,
n1*p6 - n2*p7 - 2*n3*p2 + 3*n3*p4,
n1*p5 - n2*p6 - 3*n3*p1 + 2*n3*p3,
2*k3*n3 - 4*k5*n3 - k8*n1 + k9*n2,
3*k2*n3 - 3*k4*n3 - k7*n1 + k8*n2,
4*k1*n3 - 2*k3*n3 - k6*n1 + k7*n2,
2*a22*k104 - b33*k101 + 2*c13*k87 - 4*c23*k86,
2*a22*k95 - b33*k87 + 2*c13*k57 - 6*c23*k56,
a22*k29 - b22*k3 + b33*k3 - 2*b33*k5,
2*a22*k72 - b33*k57 + 2*c13*k2 - 8*c23*k1,
2*a22*k28 - 3*b22*k2 + 3*b33*k2 - 3*b33*k4,
a22*k27 - 2*b22*k1 + 2*b33*k1 - b33*k3,
2*a22*r2 - 2*a33*r2 + n1*q2 - 2*n2*q1 - n3*q5,
2*a22*r1 - 2*a33*r1 - 2*n1*q3 + n2*q2 - n3*q4,
2*a22*p9 - 2*a33*p9 - 2*k10*n2 + k11*n1 - k14*n3,
2*a22*p8 - 2*a33*p8 + k11*n2 - 2*k12*n1 - k13*n3,
b33*k104 + 2*c12*k100 - 2*c13*k92 - 2*c23*k102 + 2*c33*k101,
2*a22*k103 + b22*k100 - b33*k100 - 4*c13*k88 + 2*c23*k87,
2*a22*k92 + b22*k87 - b33*k87 - 6*c13*k59 + 2*c23*k58,
2*a22*k66 + b22*k58 - b33*k58 - 8*c13*k5 + 2*c23*k4,
2*a22*k66 + b22*k17 - b31*k29 + 2*c12*k9 - 8*c13*k5,
2*a22*k58 + b22*k8 + 2*b31*k3 - 4*b31*k5 - b32*k4,
2*a22*k85 - b22*k53 + b32*k52 + 2*c12*k45 - 4*c23*k42,
2*a22*k81 - b22*k45 + b32*k43 + 2*c12*k30 - 6*c23*k26,
2*a22*k72 - b22*k30 + b32*k27 + 2*c12*k6 - 8*c23*k1,
2*a33*k41 + b31*k40 - b32*k24 + b33*k23 + 2*c13*k21,
2*a22*k71 + b22*k24 - b31*k39 + 2*c12*k21 - 4*c13*k20,
2*a33*k40 + b31*k38 + b33*k21 - 6*c12*k19 + 2*c13*k18,
2*a22*k57 - b22*k7 - b31*k2 - 4*b32*k1 + 2*b32*k3,
2*a22*k69 + b22*k21 - b31*k36 + 2*c12*k17 - 6*c13*k16,
2*a33*k38 + b31*k35 - 3*b32*k19 + b33*k18 + 2*c13*k14,
2*a22*k65 - 2*a33*k34 + b31*k13 + 3*b32*k14 - 2*b33*k12,
2*c13*r2 - 2*c23*r1 + m1*q16 - m2*q15 + n1*q19 - n2*q18,
2*a22*q5 - 2*a33*q5 + n1*p6 + 3*n2*p10 - 2*n2*p5 - n3*p9,
2*a22*q4 - 2*a33*q4 + 3*n1*p10 - 2*n1*p7 + n2*p6 - n3*p8,
2*a22*q2 - 2*a33*q2 - 3*n1*p4 + 2*n1*p9 + n2*p3 - n3*p6,
2*a22*q2 - 2*a33*q2 + n1*p2 - 3*n2*p1 + 2*n2*p8 - n3*p6,
2*c13*q16 - 2*c23*q15 + m1*p46 - m2*p45 + n1*p49 - n2*p48,
2*a22*p6 - 2*a33*p6 - k11*n3 + 3*k14*n1 + k8*n2 - 3*k9*n1,
2*a22*p6 - 2*a33*p6 - k11*n3 + 3*k13*n2 - 3*k6*n2 + k7*n1,
2*a22*p3 - 2*a33*p3 + 2*k12*n1 + k4*n2 - 4*k5*n1 - k8*n3,
2*a22*p2 - 2*a33*p2 - 4*k1*n2 + 2*k10*n2 + k2*n1 - k7*n3,
2*c13*p46 - 2*c23*p45 - k100*m2 + k101*m1 - k103*n2 + k104*n1,
a22*k96 - b22*k86 + b33*k86 - b33*k88 + 2*c13*k58 - 2*c23*k57,
b31*k80 + b33*k41 - 2*c12*k70 + 2*c13*k69 - 2*c23*k24 + 2*c33*k23,
2*a22*k74 - 2*b22*k57 + 2*b33*k57 - 3*b33*k59 + 6*c13*k4 - 4*c23*k3,
2*a22*k73 - 3*b22*k56 + 3*b33*k56 - 2*b33*k58 + 4*c13*k3 - 6*c23*k2,
2*a22*k64 - 2*a33*k32 + 3*b22*k14 + b31*k11 + 2*b32*k12 - 3*b33*k9,
2*a22*k62 - 2*a33*k29 + 2*b22*k12 + b31*k8 + b32*k9 - 4*b33*k5,
2*a33*k38 - b22*k33 - 3*b31*k35 + b32*k19 + b33*k33 + 2*c23*k13,
2*a22*k30 + 2*a22*k57 - 2*a33*k57 + 2*b31*k2 - 4*b32*k1 - b33*k7,
2*a22*k18 - 2*a33*k18 - 2*a33*k33 - 2*b31*k14 + 4*b32*k13 - b33*k11,
b31*r5 - 2*c12*r3 + 2*c13*r2 - m2*q8 + m3*q7 - n2*q18 + n3*q13,
b32*r4 - 2*c12*r3 + 2*c23*r1 - m1*q12 + m3*q10 - n1*q19 + n3*q13,
2*a33*r5 - b32*r3 + b33*r2 + m3*q5 - n1*q7 - n2*q17 + n3*q12,
2*a22*r5 - b33*r2 + m1*q2 - 2*m2*q1 + n1*q10 + n2*q17 - n3*q16,
b31*q13 - 2*c12*q8 + 2*c13*q7 - m2*p15 + m3*p14 - n2*p39 + n3*p25,
2*a33*q12 + b33*q5 - 3*m2*p10 + m3*p9 - n1*p12 - n2*p36 + n3*p22,
2*a22*q10 - b33*q2 + m1*p2 - 3*m2*p1 + n1*p17 + n2*p34 - n3*p32,
b32*q13 - 2*c12*q12 + 2*c23*q10 - m1*p28 + m3*p26 - n1*p44 + n3*p29,
2*a33*p22 - 3*b32*p10 + b33*p9 + k14*m3 - k18*n1 + k35*n3 - k65*n2,
2*a22*p17 - b33*p2 - 4*k1*m2 + k2*m1 + k26*n1 - k57*n3 + k60*n2,
b32*p29 - 2*c12*p28 + 2*c23*p26 + k51*m3 - k53*m1 + k54*n3 - k85*n1,
b31*p25 - 2*c12*p15 + 2*c13*p14 + k23*m3 - k24*m2 + k41*n3 - k71*n2,
b31*k104 + b33*k98 - 2*c12*k102 + 2*c13*k101 - 2*c13*k69 - 2*c23*k93 + 2*c33*
k92,
b31*k98 + b33*k80 - 2*c12*k93 - 2*c13*k23 + 2*c13*k92 - 2*c23*k70 + 2*c33*k69,
2*a33*k54 - b22*k51 - b31*k53 + b32*k49 + b33*k51 - 4*c12*k47 + 2*c23*k45,
2*a33*k49 - b22*k45 - 2*b31*k47 + b32*k38 + b33*k45 - 6*c12*k35 + 2*c23*k33,
4*a33*k47 - b22*k65 + 2*b31*k19 - 2*b32*k35 + b33*k34 - 2*c13*k13 + 2*c23*k14,
2*a22*k70 - 2*a33*k39 - b31*k37 + b32*k21 - 2*b33*k20 + 4*c12*k18 - 4*c13*k17,
2*a22*k34 - 2*a22*k65 - 2*a33*k34 - 2*b22*k10 - 3*b31*k13 - b32*k14 + 2*b33*k10
,
2*a22*r6 + b22*r3 + b31*r1 + m2*q5 - 2*m3*q3 - n1*q8 + n2*q16 - n3*q11,
2*a22*r6 - b22*r3 + b32*r2 + m1*q4 - 2*m3*q1 + n1*q15 - n2*q12 + n3*q11,
2*a22*q16 + b22*q5 + b31*q2 + m2*p7 - 3*m3*p4 - n1*p12 + n2*p33 - n3*p19,
2*a22*q15 - b22*q4 + b32*q2 + m1*p5 - 3*m3*p1 + n1*p31 - n2*p20 + n3*p18,
2*a22*p33 + b22*p7 + b31*p3 - k17*n1 - k29*n3 - 4*k5*m3 + k59*n2 + k9*m2,
2*a22*p31 - b22*p5 + b32*p2 - 4*k1*m3 + k27*n3 - k30*n2 + k56*n1 + k6*m1,
b22*k103 - b33*k103 - 2*c12*k101 + 2*c13*k102 - 2*c13*k96 + 2*c22*k100 + 2*c23*
k95 - 2*c33*k100,
4*a22*k94 - b22*k102 - b31*k100 + b33*k96 + 2*c12*k87 - 4*c13*k66 - 2*c23*k90 +
 4*c33*k88,
4*a22*k20 - 4*a22*k88 - b22*k62 - b31*k58 + b33*k29 + 2*c12*k4 - 2*c23*k9 + 8*
c33*k5,
2*a22*k67 - 2*a33*k36 + 2*b22*k18 - b31*k32 + b32*k17 - 3*b33*k16 + 4*c12*k12 -
 6*c13*k9,
2*a22*k57 + 2*a22*k59 + b22*k7 - b22*k9 + 3*b31*k2 - 3*b31*k4 - 2*b32*k3 + 4*
b32*k5,
2*a22*k17 + 4*a22*k58 - 2*a33*k58 + 2*b22*k8 + 2*b31*k3 - 8*b31*k5 + b32*k4 - 
b33*k8,
b22*k85 + b31*k54 + 2*b32*k50 - 4*b32*k55 - 2*c12*k49 + 2*c13*k51 + 2*c22*k53 -
 2*c23*k52,
b22*k71 + 4*b31*k25 - 2*b31*k50 - b32*k41 + 2*c12*k40 - 2*c13*k39 + 2*c22*k24 -
 2*c23*k23,
2*a22*k56 + 2*a22*k58 + b22*k6 - b22*k8 + 4*b31*k1 - 2*b31*k3 - 3*b32*k2 + 3*
b32*k4,
2*a22*k35 + 2*a22*k64 + 2*a33*k30 - 2*a33*k64 + 2*b31*k11 - 4*b32*k10 - b33*k14
 + b33*k7,
2*a22*k27 - 2*a22*k60 - 2*a33*k27 - 4*b22*k1 + 2*b22*k10 - b31*k6 - b32*k7 + 4*
b33*k1,
2*a22*k33 + 2*a22*k61 + 2*a33*k26 - 2*a33*k61 + 2*b31*k7 - 4*b32*k6 - b33*k11 +
 b33*k2,
2*a22*k31 - 2*a22*k63 - 2*a33*k31 + 3*b22*k13 - 3*b22*k6 - 2*b31*k10 - b32*k11 
+ 3*b33*k6,
2*a22*k68 - 2*a33*k37 + 3*b22*k19 - b31*k34 + 2*b32*k18 - 2*b33*k17 + 6*c12*k14
 - 4*c13*k12,
2*a22*k18 + 2*a22*k33 - 4*a33*k18 - 4*a33*k33 + b22*k11 + 2*b31*k14 + 2*b32*k13
 - 2*b33*k11,
2*a33*r4 - b22*r1 - b31*r3 + b33*r1 + m3*q4 + n1*q11 - n1*q17 - n2*q10 + n3*q8,
2*a22*r4 + b22*r1 - b33*r1 - 2*m1*q3 + m2*q2 - n1*q11 + n1*q17 + n2*q7 - n3*q15
,
2*a33*q8 - b22*q4 + b33*q4 - 3*m1*p10 + m3*p8 + n1*p21 - n1*p36 - n2*p20 + n3*
p13,
2*a22*q7 + b22*q2 - b33*q2 - 3*m1*p4 + m2*p3 - n1*p19 + n1*p35 + n2*p11 - n3*
p32,
2*a22*q19 - b33*q16 + 2*c13*q2 - 4*c23*q1 + m1*p32 - 2*m2*p31 + n1*p40 + n2*p47
 - n3*p46,
2*a33*p13 - b22*p8 - 3*b31*p10 + b33*p8 + k13*m3 + k19*n3 - k33*n2 + k34*n1 - 
k65*n1,
2*a22*p11 + b22*p3 - b33*p3 + k16*n2 - k29*n1 + k4*m2 - 4*k5*m1 - k58*n3 + k62*
n1,
2*a22*p49 - b33*p46 + 2*c13*p32 - 4*c23*p31 - k101*n3 + k102*n2 - 2*k86*m2 + 
k87*m1 + k95*n1,
2*a22*p40 - b33*p32 + 2*c13*p2 - 6*c23*p1 - 3*k56*m2 + k57*m1 + k72*n1 - k87*n3
 + k89*n2,
b22*k54 - b32*k84 - b33*k54 - 2*c12*k52 + 2*c12*k83 + 2*c13*k53 + 2*c22*k51 - 2
*c23*k81 - 2*c33*k51,
2*a22*k98 - 2*b31*k101 + b32*k100 - b33*k92 - b33*k95 - 4*c12*k86 - 2*c13*k90 +
 4*c23*k89 - 2*c33*k87,
6*a22*k101 - 4*a22*k69 + b22*k90 + b31*k87 - b33*k74 - 2*c12*k58 + 6*c13*k16 + 
2*c23*k62 - 6*c33*k59,
2*a33*k80 - 2*b31*k23 + b31*k79 - b32*k70 + b33*k40 + b33*k69 - 4*c12*k68 + 2*
c13*k67 + 2*c33*k21,
8*a22*k25 - 4*a22*k94 - b22*k70 + b31*k78 + b33*k39 - 2*c12*k67 + 4*c13*k66 - 2
*c23*k21 + 4*c33*k20,
6*a22*k23 - 4*a22*k92 - b22*k67 + b31*k74 + b33*k36 - 2*c12*k62 + 6*c13*k59 - 2
*c23*k17 + 6*c33*k16,
4*a22*k42 - 4*a22*k86 + b22*k60 - b32*k57 - b33*k27 + 2*c12*k2 - 2*c13*k6 - 8*
c22*k1 + 8*c33*k1,
4*a33*k40 - 6*a33*k53 + b22*k77 - b31*k38 - b33*k46 - 6*c12*k19 + 2*c13*k33 + 6
*c22*k35 - 2*c23*k34,
8*a33*k25 - 4*a33*k50 + b22*k70 + 2*b31*k24 - 2*b31*k49 - b33*k39 + 4*c12*k38 -
 2*c13*k37 - 2*c23*k21,
b33*r5 + 2*c12*r1 - 2*c23*r3 + 2*c33*r2 - m1*q7 - m2*q17 + m3*q16 - n1*q13 + 2*
n2*q9 + n3*q19,
2*a33*q13 + b31*q12 - b32*q8 + b33*q7 + 2*c13*q5 - 2*m2*p13 + m3*p12 - n1*p14 -
 n2*p38 + n3*p24,
2*a22*q18 + b22*q8 - b31*q11 + 2*c12*q5 - 4*c13*q3 + m2*p12 - 2*m3*p11 - n1*p15
 + n2*p37 - n3*p23,
2*a22*q1 - 2*a22*q3 - 2*a33*q1 + 2*a33*q3 - n1*p3 + n1*p8 + n2*p2 - n2*p9 - n3*
p5 + n3*p7,
2*a22*q19 - b22*q12 + b32*q11 + 2*c12*q4 - 4*c23*q1 + m1*p20 - 2*m3*p17 + n1*
p40 - n2*p28 + n3*p27,
4*a22*p5 - 4*a22*p7 - 4*a33*p5 + 4*a33*p7 - 2*k10*n3 + 2*k12*n3 + 3*k13*n1 - 3*
k14*n2 + 2*k7*n2 - 2*k8*n1,
4*a22*p2 - 6*a22*p4 - 4*a33*p2 + 6*a33*p4 + 2*k11*n1 - 2*k12*n2 + 2*k3*n2 - 3*
k4*n1 - 2*k7*n3 + 3*k9*n3,
6*a22*p1 - 4*a22*p3 - 6*a33*p1 + 4*a33*p3 + 2*k10*n1 - 2*k11*n2 + 3*k2*n2 - 2*
k3*n1 - 3*k6*n3 + 2*k8*n3,
2*a22*p37 + b22*p12 - b31*p19 + 2*c12*p7 - 6*c13*p4 - 3*k16*m3 + k17*m2 - k21*
n1 - k36*n3 + k66*n2,
2*a22*p40 - b22*p20 + b32*p18 + 2*c12*p5 - 6*c23*p1 - 3*k26*m3 + k30*m1 + k43*
n3 - k45*n2 + k72*n1,
2*a22*p44 - b22*p28 + b32*p27 + 2*c12*p20 - 4*c23*p17 - 2*k42*m3 + k45*m1 + k52
*n3 - k53*n2 + k81*n1,
2*a33*p25 + b31*p24 - b32*p15 + b33*p14 - 4*c12*p13 + 2*c13*p12 + k21*m3 - k23*
n1 + k40*n3 - k70*n2,
2*a22*p39 + b22*p15 - b31*p23 + 2*c12*p12 - 4*c13*p11 - 2*k20*m3 + k21*m2 - k24
*n1 - k39*n3 + k69*n2,
4*a22*k99 + b22*k102 - b32*k101 - b33*k96 + 2*c12*k87 + 2*c13*k73 - 2*c13*k89 -
 4*c22*k86 - 4*c23*k72 + 4*c33*k86,
6*a22*k103 - 6*a22*k71 + b22*k93 - b31*k96 - b33*k78 + 2*c12*k90 + 4*c13*k20 - 
4*c13*k88 + 2*c23*k67 - 4*c33*k66,
2*a22*k74 + b22*k32 + b22*k59 + 4*b31*k16 + 2*b31*k28 - b32*k29 - 2*c12*k8 + 8*
c13*k4 + 2*c22*k9 - 8*c23*k5,
6*a22*k16 + 2*a22*k28 + 2*a22*k61 - 8*a33*k16 - 4*a33*k28 + 2*b22*k11 + b22*k4 
+ 2*b31*k7 - 2*b31*k9 - 4*b33*k4,
4*a22*k17 + 2*a22*k31 + 2*a22*k63 - 6*a33*k17 - 4*a33*k31 + 3*b22*k13 + b22*k8 
+ 2*b31*k10 + b32*k11 - 3*b33*k8,
b22*k84 + 2*b31*k50 - 4*b31*k55 + 3*b32*k41 - 3*b32*k54 - 2*c12*k40 + 2*c12*k53
 - 2*c13*k52 + 2*c22*k49 - 2*c23*k48,
4*a33*k50 - 8*a33*k55 + b22*k83 + 2*b32*k40 - 2*b32*k53 - b33*k52 - 4*c12*k38 +
 2*c13*k45 + 4*c22*k47 - 2*c23*k46,
2*a22*k84 - b22*k49 - b22*k81 + b31*k52 + 2*b32*k48 + 4*b32*k51 - 2*c12*k46 - 4
*c13*k42 - 2*c22*k45 + 4*c23*k43,
b22*k80 + 3*b31*k41 - 3*b31*k54 + 4*b32*k25 - 2*b32*k50 - 2*c12*k24 + 2*c12*k49
 - 2*c13*k48 + 2*c22*k40 - 2*c23*k39,
2*a22*k52 - 2*a22*k83 - 2*a33*k52 - 2*b22*k42 + 2*b22*k47 - b31*k45 - b32*k46 +
 2*b33*k42 - 4*c12*k33 + 4*c23*k30,
2*a22*k82 - b22*k46 + b22*k72 - b31*k43 - 4*b32*k42 + 2*b32*k44 + 2*c12*k31 + 6
*c13*k26 + 2*c22*k30 - 6*c23*k27,
2*a22*k80 + b22*k40 + b22*k69 + 4*b31*k23 - 2*b31*k48 - b32*k39 + 2*c12*k37 - 4
*c13*k36 + 2*c22*k21 - 4*c23*k20,
6*a22*k26 - 4*a22*k28 + 2*a22*k61 - 8*a33*k26 + 4*a33*k28 - 2*b22*k11 + 3*b22*
k2 - 2*b32*k6 + 2*b32*k8 - 4*b33*k2,
4*a22*k30 - 4*a22*k32 + 2*a22*k64 - 6*a33*k30 + 4*a33*k32 - 3*b22*k14 + 2*b22*
k7 + b31*k11 + 2*b32*k12 - 3*b33*k7,
6*a33*k24 - 4*a33*k49 + b22*k68 - 2*b31*k47 + b32*k38 - b33*k37 + 6*c12*k35 - 2
*c13*k34 + 6*c22*k19 - 2*c23*k18,
2*a22*k78 + b22*k37 + b22*k66 + 4*b31*k20 - 2*b31*k44 - b32*k36 + 2*c12*k32 - 6
*c13*k29 + 2*c22*k17 - 6*c23*k16,
2*a22*k46 - 2*a22*k77 - 2*a33*k46 - 2*b22*k30 + 3*b22*k35 - 2*b31*k33 - b32*k34
 + 2*b33*k30 - 6*c12*k13 + 4*c23*k10,
2*a22*k43 - 2*a22*k75 - 2*a33*k43 - 3*b22*k26 + 2*b22*k33 - b31*k30 - b32*k31 +
 3*b33*k26 - 4*c12*k10 + 6*c23*k6,
2*a22*k73 - b22*k31 + b22*k56 - b31*k27 - 4*b32*k26 + 2*b32*k28 + 2*c12*k7 + 8*
c13*k1 + 2*c22*k6 - 8*c23*k2,
b31*r2 + b32*r1 - m1*q5 - m2*q4 + 2*m3*q2 - n1*q12 - n1*q16 - n2*q15 - n2*q8 + 
2*n3*q10 + 2*n3*q7,
2*b31*r2 - b32*r1 + m1*q5 - 2*m2*q4 + m3*q2 + n1*q12 + n1*q16 - 2*n2*q15 - 2*n2
*q8 + n3*q10 + n3*q7,
2*a22*q17 - 2*a33*q11 + b31*q4 + b32*q5 - 2*b33*q3 + 2*m2*p9 - 2*m3*p7 + 2*n1*
p11 - 2*n1*p13 + n2*p35 - n3*p21,
2*a22*q18 + b22*q15 - b33*q15 - 4*c13*q3 + 2*c23*q2 - 2*m1*p33 + m2*p32 - n1*
p41 + n1*p47 + n2*p37 - n3*p45,
2*a22*q11 - 2*b22*q1 + 2*b33*q1 - 2*b33*q3 + 2*m1*p3 - 2*m2*p2 + n1*p18 - n1*
p34 + n2*p35 + 2*n3*p31 - 2*n3*p33,
2*a33*p24 + b31*p22 - 2*b32*p13 + b33*p12 - 6*c12*p10 + 2*c13*p9 + k18*m3 - 3*
k19*m2 - k21*n1 + k38*n3 - k68*n2,
2*a22*p19 - 2*b22*p2 + 2*b33*p2 - 3*b33*p4 + k28*n1 - 2*k3*m2 + 3*k4*m1 + 2*k57
*n3 - 3*k59*n3 - k61*n1 + k62*n2,
2*a22*p18 - 3*b22*p1 + 3*b33*p1 - 2*b33*p3 - 3*k2*m2 + k27*n1 + 2*k3*m1 + 3*k56
*n3 - 2*k58*n3 - k60*n1 + k61*n2,
b33*p49 + 2*c12*p45 - 2*c13*p37 - 2*c23*p47 + 2*c33*p46 + k101*m3 - k102*m2 + 
k104*n3 - k92*m1 + 2*k94*n2 - k98*n1,
2*a22*p48 + b22*p45 - b33*p45 - 4*c13*p33 + 2*c23*p32 - k100*n3 + k102*n1 + k87
*m2 - 2*k88*m1 + k92*n2 - k96*n1,
2*a22*p37 + b22*p32 - b33*p32 - 6*c13*p4 + 2*c23*p3 + k58*m2 - 3*k59*m1 + k66*
n2 - k74*n1 - k87*n3 + k90*n1,
b22*k84 - b32*k98 - b33*k84 - 2*c12*k82 + 2*c12*k97 - 2*c13*k52 + 2*c13*k83 + 2
*c22*k81 + 2*c23*k51 - 2*c23*k95 - 2*c33*k81,
b22*k98 - b32*k103 - b33*k98 + 2*c12*k102 - 2*c12*k96 - 2*c13*k82 + 2*c13*k97 +
 2*c22*k95 - 2*c23*k100 + 2*c23*k81 - 2*c33*k95,
8*a22*k55 - 4*a22*k99 + b22*k83 - b32*k82 - b33*k52 + 2*c12*k43 - 2*c12*k75 - 2
*c13*k45 - 4*c22*k42 + 4*c23*k72 + 4*c33*k42,
6*a22*k100 - 4*a22*k81 - b22*k89 + b32*k87 + b33*k73 - 2*c12*k57 - 2*c13*k27 + 
2*c13*k60 + 6*c22*k56 + 6*c23*k26 - 6*c33*k56,
2*a22*k101 + 2*a22*k97 - 2*a33*k101 + 2*b31*k87 - 2*b32*k86 + b33*k72 - b33*k90
 + 6*c12*k56 + 2*c13*k61 - 6*c23*k60 + 2*c33*k57,
6*a22*k51 - 4*a22*k95 + b22*k75 - b32*k73 - b33*k43 + 2*c12*k27 - 2*c12*k60 - 2
*c13*k30 - 6*c22*k26 + 6*c23*k56 + 6*c33*k26,
2*a22*k21 - 2*a33*k21 + 2*a33*k77 - 2*b31*k18 - b31*k33 - 3*b32*k65 + b33*k35 +
 b33*k64 + 8*c12*k13 - 2*c13*k11 + 2*c33*k14,
2*a22*k75 + 2*a22*k87 - 2*a33*k87 + 2*b31*k57 - 3*b32*k56 + b33*k26 - b33*k61 +
 8*c12*k1 + 2*c13*k7 - 8*c23*k6 + 2*c33*k2,
2*a22*k32 - 6*a22*k57 + 6*a22*k59 + 4*a33*k57 - 6*a33*k59 - 3*b22*k7 - 3*b31*k2
 + 6*b31*k4 - 2*b32*k3 + 2*b33*k7 - 3*b33*k9,
2*a22*k31 - 8*a22*k56 + 4*a22*k58 + 6*a33*k56 - 4*a33*k58 - 4*b22*k6 - 4*b31*k1
 + 4*b31*k3 - 3*b32*k2 + 3*b33*k6 - 2*b33*k8,
b33*q19 + 2*c12*q15 - 2*c13*q7 - 2*c23*q17 + 2*c33*q16 - m1*p37 - m2*p47 + m3*
p46 - n1*p43 + 2*n2*p39 - 3*n2*p50 + n3*p49,
2*a33*q13 - b22*q10 - b31*q12 + b32*q8 + b33*q10 + 2*c23*q4 - 2*m1*p22 + m3*p20
 + n1*p27 - n1*p42 - n2*p26 + n3*p24,
2*a22*p36 - 2*a33*p21 + 3*b22*p10 + b31*p8 + 2*b32*p9 - 2*b33*p7 - 2*k12*m3 + 3
*k14*m2 + 2*k17*n1 - 3*k19*n1 - k34*n3 + k64*n2,
2*a22*p35 - 2*a33*p19 + 2*b22*p9 + b31*p6 + b32*p7 - 3*b33*p4 + 2*k12*m2 + 3*
k16*n1 - 2*k18*n1 - k32*n3 + k62*n2 - 3*k9*m3,
2*a22*k23 - 2*a33*k23 + 2*a33*k79 - 2*b31*k21 + b31*k77 - 2*b32*k68 + b33*k38 +
 b33*k67 - 6*c12*k65 + 2*c13*k64 - 6*c23*k19 + 2*c33*k18,
6*a22*k16 + 2*a22*k18 + 4*a22*k61 - 6*a33*k16 - 2*a33*k28 - 2*a33*k61 + 3*b22*
k11 + 2*b31*k7 - 6*b31*k9 + 2*b32*k8 - b33*k11 - 3*b33*k4,
6*a33*k41 - 6*a33*k54 + b22*k79 + b31*k40 - 3*b31*k53 + 3*b32*k24 - b32*k49 - 
b33*k48 + 4*c12*k47 - 2*c13*k46 + 4*c22*k38 - 2*c23*k37,
4*a22*k17 + 2*a22*k19 + 4*a22*k63 - 4*a33*k17 - 2*a33*k31 - 2*a33*k63 + 4*b22*
k13 + 2*b31*k10 - 4*b31*k12 + 3*b32*k11 - b33*k13 - 2*b33*k8,
b22*r6 + b31*r4 - b32*r5 + 2*c13*r1 + 2*c22*r3 - 2*c23*r2 - m1*q8 + m2*q12 - m3
*q11 - n1*q18 + n2*q19 - 2*n3*q14 + 2*n3*q9,
b22*r4 - b33*r4 - 2*c12*r2 + 2*c13*r3 + 2*c22*r1 - 2*c33*r1 - m1*q11 + m1*q17 +
 m2*q10 - m3*q15 - 2*n1*q14 + n2*q13 - n3*q18,
b31*q19 + b33*q13 - 2*c12*q17 + 2*c13*q16 - 2*c23*q8 + 2*c33*q7 - m1*p14 - m2*
p38 + m3*p37 - n1*p25 + 3*n2*p16 - 2*n2*p48 + n3*p43,
2*a22*p38 - 2*a33*p23 + 2*b22*p13 - b31*p21 + b32*p12 - 2*b33*p11 + 4*c12*p9 - 
4*c13*p7 - 2*k17*m3 + 2*k18*m2 + 2*k20*n1 - k37*n3 + k67*n2,
2*a33*p24 - b22*p20 - 2*b31*p22 + b32*p13 + b33*p20 - 6*c12*p10 + 2*c23*p8 + 
k33*m3 - 3*k35*m1 + k38*n3 - k45*n2 + k46*n1 - k77*n1,
b31*p43 + b33*p25 - 2*c12*p38 + 2*c13*p37 - 2*c23*p15 + 2*c33*p14 - k23*m1 + 4*
k25*n2 - k41*n1 + k69*m3 - k70*m2 + k80*n3 - 2*k94*n2,
2*a22*p41 - 2*b22*p31 + 2*b33*p31 - 2*b33*p33 + 4*c13*p3 - 4*c23*p2 - 2*k57*m2 
+ 2*k58*m1 + k73*n1 + 2*k86*n3 - 2*k88*n3 - k89*n1 + k90*n2,
2*a33*p29 - b22*p26 - b31*p28 + b32*p24 + b33*p26 - 4*c12*p22 + 2*c23*p20 + k45
*m3 - 2*k47*m1 + k49*n3 - k51*n2 + k52*n1 - k83*n1,
2*a22*k41 + 2*a33*k98 - 2*b31*k69 + b31*k97 - b32*k93 - b33*k23 + b33*k79 + b33
*k92 - 4*c12*k91 - 2*c13*k21 + 2*c13*k90 - 4*c23*k68 + 2*c33*k67,
2*a22*k80 + 2*a33*k104 - 2*b31*k92 - b31*k95 - b32*k102 + b33*k101 - b33*k69 + 
b33*k97 + 4*c12*k89 - 2*c13*k67 - 2*c13*k87 - 4*c23*k91 + 2*c33*k90,
6*a22*k104 - 6*a22*k85 - b22*k97 + b32*k96 + b33*k82 - 2*c12*k73 + 2*c12*k89 - 
2*c13*k43 + 2*c13*k75 + 4*c22*k72 + 4*c23*k42 - 4*c23*k86 - 4*c33*k72,
6*a22*k24 - 4*a22*k93 + 2*a33*k78 - 2*b22*k68 - 4*b31*k20 + b31*k76 - b32*k67 +
 b33*k37 + 2*b33*k66 - 4*c12*k64 + 4*c13*k62 - 4*c23*k18 + 4*c33*k17,
4*a22*k20 - 2*a22*k76 - 8*a33*k20 + 4*a33*k44 - 2*b22*k34 - b22*k62 - 2*b31*k17
 - 2*b31*k31 + 3*b33*k29 + 4*c12*k11 - 6*c13*k8 - 4*c22*k12 + 6*c23*k9,
2*a22*k34 - 6*a22*k60 + 4*a22*k62 + 2*a33*k27 + 4*a33*k60 - 4*a33*k62 - 4*b22*
k10 - 3*b31*k6 + 4*b31*k8 - 3*b32*k7 + 2*b33*k10 - 2*b33*k12 + 2*b33*k3,
2*a22*k23 - 2*a22*k79 - 8*a33*k23 + 4*a33*k48 - 2*b22*k38 - b22*k67 - 2*b31*k21
 + 2*b31*k46 + 2*b33*k36 - 4*c12*k34 + 4*c13*k32 - 4*c22*k18 + 4*c23*k17,
2*a22*k21 - 2*a22*k77 - 6*a33*k21 + 4*a33*k46 - 3*b22*k35 - b22*k64 - 2*b31*k33
 - b32*k34 + 2*b33*k32 + 6*c12*k13 - 4*c13*k11 - 6*c22*k14 + 4*c23*k12,
4*a33*q14 - 4*a33*q9 - b22*q17 + b33*q11 - 2*c13*q4 + 2*c23*q5 + 2*m1*p13 - 2*
m2*p22 + m3*p21 - n1*p23 + n1*p38 - n2*p42 - 2*n3*p15 + 2*n3*p28,
2*a22*q15 + b22*q4 + 2*b31*q1 - 2*b31*q3 - b32*q2 + m1*p7 + m2*p6 - 3*m3*p3 + 
n1*p21 + n1*p33 + n2*p12 + n2*p32 - 3*n3*p11 - 2*n3*p18,
2*a22*q11 - 2*a22*q17 - 2*a33*q11 - 2*b22*q1 - b31*q4 - b32*q5 + 2*b33*q1 - 2*
m1*p8 + 2*m3*p5 + n1*p18 - n1*p34 - 2*n2*p17 + 2*n2*p22 - n3*p21,
2*a22*q16 - b22*q5 - b31*q2 - 2*b32*q1 + 2*b32*q3 + m1*p6 + m2*p5 - 3*m3*p2 + 
n1*p20 + n1*p32 - n2*p21 + n2*p31 - 3*n3*p17 + 2*n3*p19,
2*a22*p32 + b22*p6 + 2*b31*p2 - 3*b31*p4 - b32*p3 - 4*k16*n3 + k17*n2 - 2*k28*
n3 + k32*n1 - 4*k4*m3 + k58*n2 + k59*n1 + k8*m2 + k9*m1,
2*a22*p32 - b22*p6 - b31*p2 - 3*b32*p1 + 2*b32*p3 - 4*k2*m3 - 4*k26*n3 + 2*k28*
n3 + k30*n1 - k31*n2 + k56*n2 + k57*n1 + k6*m2 + k7*m1,
b31*p49 + b33*p43 - 2*c12*p47 - 2*c13*p14 + 2*c13*p46 - 2*c23*p38 + 2*c33*p37 -
 3*k103*n2 - k69*m1 + 3*k71*n2 - k80*n1 + k92*m3 - k93*m2 + k98*n3,
2*b22*k94 - b31*k103 + b32*k104 - 2*b33*k94 + 2*b33*k99 - 2*c12*k92 + 2*c12*k95
 - 2*c13*k100 - 2*c13*k78 + 2*c13*k93 - 2*c22*k102 + 2*c23*k101 - 2*c23*k97 + 2
*c33*k96,
4*a22*k21 - 4*a22*k90 + 2*a33*k74 - 2*b22*k64 - 6*b31*k16 - b31*k28 - b31*k61 -
 b32*k62 + b33*k32 + 3*b33*k59 + 4*c12*k8 - 6*c13*k4 - 4*c23*k12 + 6*c33*k9,
2*a22*k66 - 2*a22*k73 - b22*k17 - b22*k31 - b22*k58 - 3*b31*k27 + 3*b31*k29 + 4
*b32*k16 + 2*b32*k28 + 2*c12*k7 - 2*c12*k9 - 8*c13*k3 - 2*c22*k8 + 8*c23*k4,
4*a22*k27 - 6*a22*k29 + 2*a22*k60 + 2*a22*k62 - 6*a33*k27 + 6*a33*k29 + 2*b22*
k10 - 2*b22*k12 + 2*b22*k3 + 3*b31*k6 - b31*k8 - b32*k7 + 3*b32*k9 - 4*b33*k3,
2*a22*k80 + 2*a22*k85 - b22*k40 + b22*k53 + b22*k82 + 2*b31*k48 + 4*b31*k51 + 3
*b32*k39 - 3*b32*k52 - 2*c12*k37 - 2*c12*k45 + 4*c13*k43 + 2*c22*k46 - 4*c23*
k44,
2*a22*k71 + 2*a22*k84 - b22*k24 + b22*k49 + b22*k78 + 3*b31*k39 - 3*b31*k52 + 4
*b32*k23 - 2*b32*k48 - 2*c12*k21 + 2*c12*k46 - 4*c13*k44 + 2*c22*k37 - 4*c23*
k36,
2*a22*k69 + 2*a22*k82 - b22*k21 + b22*k46 + b22*k74 + 3*b31*k36 + 3*b31*k43 + 4
*b32*k20 - 2*b32*k44 - 2*c12*k17 - 2*c12*k31 + 6*c13*k28 + 2*c22*k32 - 6*c23*
k29,
2*a22*k78 - 2*a22*k81 - b22*k37 - b22*k45 - b22*k73 - 4*b31*k42 + 2*b31*k44 + 3
*b32*k36 + 3*b32*k43 + 2*c12*k30 - 2*c12*k32 - 6*c13*k27 - 2*c22*k31 + 6*c23*
k28,
2*a22*k72 + 2*a22*k74 + b22*k30 - b22*k32 + b22*k57 + 4*b31*k26 - 2*b31*k28 - 3
*b32*k27 + 3*b32*k29 - 2*c12*k6 + 2*c12*k8 + 8*c13*k2 + 2*c22*k7 - 8*c23*k3,
b22*q19 + b31*q13 - 2*b32*q14 + 2*b32*q9 - 2*c12*q8 + 2*c13*q10 + 2*c22*q12 - 2
*c23*q11 - m1*p24 + m2*p28 - m3*p27 - n1*p43 + n2*p44 + 2*n3*p25 - 3*n3*p30,
b22*q18 - 2*b31*q14 + 2*b31*q9 - b32*q13 + 2*c12*q12 - 2*c13*q11 + 2*c22*q8 - 2
*c23*q7 - m1*p15 + m2*p24 - m3*p23 - n1*p39 + n2*p43 + 3*n3*p16 - 2*n3*p29,
4*a22*q9 - b22*q17 - b31*q15 + b33*q11 + 2*c12*q2 - 2*c23*q5 + 4*c33*q3 - 2*m1*
p11 - m2*p35 + 2*m3*p33 - n1*p23 + n1*p38 + 2*n2*p14 - 2*n2*p46 + n3*p41,
2*a22*q7 - 2*a33*q10 - 2*a33*q7 - 2*b31*q5 + 2*b32*q4 - b33*q2 - m1*p9 + 3*m2*
p8 - m3*p6 - n1*p22 - n1*p35 + 3*n2*p13 + 2*n2*p34 - n3*p12 - n3*p20,
2*a22*q12 + 2*a22*q16 - 2*a33*q16 + 2*b31*q2 - 2*b32*q1 - b33*q5 + m1*p6 - 3*m2
*p5 + m3*p2 + n1*p20 + n1*p32 - 3*n2*p31 + 2*n2*p36 + n3*p17 - n3*p35,
2*a22*p21 - 2*a22*p36 - 2*a33*p21 + 3*b22*p10 - 2*b22*p5 - 2*b31*p8 - b32*p9 + 
2*b33*p5 + 2*k10*m3 - 3*k13*m1 - 2*k30*n2 + k31*n1 - k34*n3 + 3*k35*n2 - k63*n1
,
2*a22*p12 - 2*a33*p12 - 2*a33*p20 - 2*b31*p9 + 3*b32*p8 - b33*p6 - k11*m3 + 4*
k13*m2 - k14*m1 - k18*n3 + 4*k19*n2 - k33*n3 - k35*n1 + 2*k63*n2 - k64*n1,
2*a22*p20 + 2*a22*p32 - 2*a33*p32 + 2*b31*p2 - 3*b32*p1 - b33*p6 + k2*m3 + k26*
n3 + k30*n1 - 4*k56*n2 + k57*n1 - 4*k6*m2 - k61*n3 + 2*k63*n2 + k7*m1,
2*a22*p18 - 2*a22*p34 - 2*a33*p18 - 3*b22*p1 + 2*b22*p8 - b31*p5 - b32*p6 + 3*
b33*p1 - 2*k10*m1 - 3*k26*n2 + k27*n1 - k31*n3 + 2*k33*n2 + 3*k6*m3 - k60*n1,
b22*p48 - b33*p48 - 2*c12*p46 - 2*c13*p41 + 2*c13*p47 + 2*c22*p45 + 2*c23*p40 -
 2*c33*p45 - k100*m3 + k102*m1 - k103*n3 + k95*m2 - k96*m1 + k98*n2 - 2*k99*n1,
b22*p44 + b31*p29 + 2*b32*p25 - 3*b32*p30 - 2*c12*p24 + 2*c13*p26 + 2*c22*p28 -
 2*c23*p27 - k49*m1 + 2*k50*n3 - k52*m3 + k53*m2 - 4*k55*n3 - k84*n1 + k85*n2,
b22*p39 + 3*b31*p16 - 2*b31*p29 - b32*p25 + 2*c12*p24 - 2*c13*p23 + 2*c22*p15 -
 2*c23*p14 - k24*m1 + 4*k25*n3 - k39*m3 + k40*m2 - 2*k50*n3 - k71*n1 + k80*n2,
4*a22*k98 + b22*k92 + b22*k95 - b31*k101 - b32*k100 - 2*b33*k92 - 2*b33*k95 - 4
*c12*k86 - 4*c12*k88 - 4*c13*k74 + 2*c13*k90 + 2*c22*k87 + 2*c23*k73 + 2*c23*
k89 - 4*c33*k87,
4*b22*k25 - 2*b22*k94 - 3*b31*k71 + 2*b31*k84 + b32*k80 - 4*b33*k25 + 2*b33*k50
 - 2*c12*k23 - 2*c12*k79 + 2*c13*k24 + 2*c13*k78 - 2*c22*k70 - 2*c23*k40 + 2*
c23*k69 + 2*c33*k39,
2*a22*k40 + 2*a22*k69 - 2*a33*k69 + 2*a33*k97 - 2*b31*k67 - b31*k75 - 2*b32*k91
 - b33*k21 + b33*k77 + b33*k90 + 6*c12*k63 - 2*c13*k18 - 2*c13*k61 - 6*c23*k65 
+ 2*c33*k64,
2*a22*k79 + 2*a22*k92 - 2*a33*k92 - 2*a33*k95 + b31*k72 - 2*b31*k90 + 2*b32*k89
 - b33*k67 - b33*k75 - b33*k87 - 6*c12*k60 + 2*c13*k57 - 2*c13*k64 + 6*c23*k63 
- 2*c33*k61,
8*a22*k100 + 2*a22*k78 + 2*a22*k93 - 2*a33*k100 + 2*b22*k89 + 2*b31*k86 - 4*b31
*k88 + b32*k87 - 2*b33*k66 - b33*k73 - b33*k89 - 4*c12*k57 - 4*c13*k62 + 4*c23*
k61 - 4*c33*k58,
2*a22*k77 + 2*a22*k90 + 2*a33*k72 - 2*a33*k90 - b31*k26 + 2*b31*k61 - 3*b32*k60
 + b33*k30 + b33*k57 - b33*k64 + 8*c12*k6 + 2*c13*k11 - 2*c13*k2 - 8*c23*k10 + 
2*c33*k7,
4*a22*k20 - 4*a22*k91 - 4*a33*k20 + 2*a33*k76 - 3*b22*k65 - 4*b31*k17 - b31*k31
 - b31*k63 - 2*b32*k64 + b33*k34 + 2*b33*k62 + 6*c12*k11 - 4*c13*k8 - 6*c23*k14
 + 4*c33*k12,
2*a22*k36 + 2*a22*k67 + 6*a22*k87 - 2*a33*k87 + 2*b22*k61 + 2*b31*k57 - 6*b31*
k59 + b32*k58 - 3*b33*k16 - b33*k28 - b33*k61 - 4*c12*k3 - 6*c13*k9 + 4*c23*k8 
- 6*c33*k4,
2*a22*k38 + 2*a22*k67 - 2*a33*k67 - 2*a33*k75 + b31*k30 - 2*b31*k64 + 3*b32*k63
 - b33*k18 - b33*k33 - b33*k61 - 8*c12*k10 - 2*c13*k14 + 2*c13*k7 + 8*c23*k13 -
 2*c33*k11,
4*a22*k43 - 4*a22*k87 - 3*b22*k26 + b22*k61 + b31*k57 + 3*b32*k56 - 2*b32*k58 +
 4*b33*k26 - 2*b33*k28 + 8*c12*k1 + 4*c12*k3 - 2*c13*k7 - 6*c22*k2 - 2*c23*k6 +
 8*c33*k2,
2*a22*k48 + 2*a22*k51 - 2*a22*k79 - 4*a33*k48 - 8*a33*k51 + 2*b22*k38 + b22*k43
 + b22*k75 - 2*b32*k37 - 2*b32*k45 - 2*b33*k43 + 4*c12*k34 + 4*c13*k30 + 4*c22*
k33 - 4*c23*k31,
2*a22*k37 + 2*a22*k45 - 2*a22*k68 - 4*a33*k37 - 6*a33*k45 + 3*b22*k19 + b22*k31
 + b22*k63 + b31*k34 - 2*b32*k18 - 2*b33*k31 + 6*c12*k14 + 4*c13*k10 + 6*c22*
k13 - 4*c23*k11,
4*a22*k42 - 4*a22*k44 + 2*a22*k76 - 8*a33*k42 + 4*a33*k44 + 2*b22*k27 - 2*b22*
k34 + b22*k60 - 2*b32*k30 + 2*b32*k32 - 3*b33*k27 + 4*c12*k11 + 6*c13*k6 + 4*
c22*k10 - 6*c23*k7,
4*a22*q14 + b22*q17 - b32*q16 - b33*q11 + 2*c12*q2 - 2*c13*q4 - 4*c22*q1 + 4*
c33*q1 + m1*p18 - m1*p34 - 2*m2*p17 + 2*m3*p31 + 2*n1*p26 - 2*n1*p45 + n2*p42 -
 n3*p41,
b22*q18 - b33*q18 - 2*c12*q16 - 2*c13*q11 + 2*c13*q17 + 2*c22*q15 + 2*c23*q10 -
 2*c33*q15 - m1*p41 + m1*p47 + m2*p40 - m3*p45 - 2*n1*p44 + 3*n1*p50 + n2*p43 -
 n3*p48,
4*a33*p15 - 4*a33*p28 + b22*p36 - b31*p13 + b32*p22 - b33*p21 + 2*c13*p8 + 6*
c22*p10 - 2*c23*p9 - 3*k19*m1 - k34*m3 + 3*k35*m2 + k37*n1 - 2*k47*n3 - k68*n1 
+ k77*n2,
4*a22*p14 - 4*a22*p46 - b22*p35 - b31*p32 + b33*p19 + 2*c12*p3 - 2*c23*p7 + 6*
c33*p4 - 3*k16*m1 + 2*k20*n2 - k36*n1 + 3*k59*m3 - k62*m2 + k67*n1 + k74*n3 - 2
*k88*n2,
3*b22*k103 - 3*b22*k71 + 2*b31*k94 - 2*b31*k99 - b32*k98 + 3*b33*k71 - 2*b33*
k84 + 2*c12*k69 + 2*c12*k97 + 2*c13*k39 - 2*c13*k70 - 2*c13*k96 + 2*c22*k93 + 2
*c23*k79 - 2*c23*k92 - 2*c33*k78,
2*b22*k50 - 2*b22*k99 - b31*k84 - 2*b32*k80 + 3*b32*k85 - 2*b33*k50 + 4*b33*k55
 - 2*c12*k48 + 2*c12*k51 + 2*c12*k79 + 2*c13*k49 - 2*c13*k81 - 2*c22*k83 - 2*
c23*k53 + 2*c23*k82 + 2*c33*k52,
2*a22*k76 - 8*a22*k86 + 4*a22*k88 + 4*a33*k86 - 4*a33*k88 - 3*b22*k60 - 3*b31*
k56 + 4*b31*k58 - 2*b32*k57 + b33*k27 + 2*b33*k60 - 2*b33*k62 + 6*c12*k2 + 4*
c13*k8 - 6*c23*k7 + 4*c33*k3,
4*a22*k36 + 4*a22*k87 + b22*k16 + b22*k28 + b22*k61 + 2*b31*k57 - 3*b31*k59 - 
b32*k58 - 4*b33*k16 - 2*b33*k28 - 4*c12*k3 - 8*c12*k5 + 2*c13*k9 + 2*c22*k4 + 2
*c23*k8 - 8*c33*k4,
2*a22*q10 + 2*a22*q7 - 4*a33*q10 - 4*a33*q7 + b22*q2 - 2*b33*q2 + 2*m1*p9 + 2*
m2*p8 - 2*m3*p6 - 2*n1*p19 + 2*n1*p22 + n1*p35 + 2*n2*p13 + n2*p18 + n2*p34 - 2
*n3*p12 - 2*n3*p20,
b22*q13 - b32*q18 - b33*q13 - 2*c12*q11 + 2*c12*q17 + 2*c13*q12 + 2*c22*q10 - 2
*c23*q15 - 2*c33*q10 - m1*p27 + m1*p42 + m2*p26 - m3*p40 - 3*n1*p30 + 2*n1*p49 
+ n2*p29 - n3*p43,
2*a22*p22 + 2*a22*p35 + 2*a33*p17 - 2*a33*p35 + 2*b31*p6 - 3*b32*p5 + b33*p2 - 
b33*p9 - 4*k10*m2 + k11*m1 + k30*n3 + k33*n1 - 3*k60*n2 + k61*n1 - k64*n3 + 3*
k65*n2 + k7*m3,
2*a22*p27 - 2*a22*p42 - 2*a33*p27 - 2*b22*p17 + 2*b22*p22 - b31*p20 - b32*p21 +
 2*b33*p17 - 4*c12*p8 + 4*c23*p5 + 2*k30*m3 - 2*k33*m1 - 2*k42*n2 + k43*n1 - 
k46*n3 + 2*k47*n2 - k75*n1,
2*a22*p31 + 2*a22*p33 + b22*p5 - b22*p7 + 3*b31*p1 - 2*b31*p3 - 2*b32*p2 + 3*
b32*p4 - 3*k27*n3 + 3*k29*n3 - 4*k3*m3 + k31*n1 - k32*n2 + k57*n2 + k58*n1 + k7
*m2 + k8*m1,
4*a22*p39 - 6*a22*p50 - b22*p47 - b31*p45 + b33*p41 + 2*c12*p32 - 4*c13*p11 - 2
*c23*p35 + 4*c33*p33 - 3*k101*n2 - 2*k66*m1 + 2*k69*n2 - k78*n1 + 2*k88*m3 - 
k90*m2 + k93*n1 + k96*n3,
4*a22*p26 - 4*a22*p45 + b22*p34 - b32*p32 - b33*p18 + 2*c12*p2 - 2*c13*p5 - 6*
c22*p1 + 6*c33*p1 - 3*k26*m2 + k27*m1 + 2*k42*n1 + 3*k56*m3 - k60*m1 - k73*n3 +
 k75*n2 - 2*k86*n1,
b22*p29 - b32*p43 - b33*p29 - 2*c12*p27 + 2*c12*p42 + 2*c13*p28 + 2*c22*p26 - 2
*c23*p40 - 2*c33*p26 + k51*m2 - k52*m1 + k54*n2 - 4*k55*n1 - k81*m3 + k83*m1 - 
k84*n3 + 2*k99*n1,
6*a22*p16 - 4*a22*p48 - b22*p38 + b31*p41 + b33*p23 - 2*c12*p35 + 4*c13*p33 - 2
*c23*p12 + 4*c33*p11 - 2*k20*m1 + 3*k23*n2 - k39*n1 + 2*k66*m3 - k67*m2 + k70*
n1 + k78*n3 - 2*k92*n2,
b22*p43 + 2*b31*p25 - 3*b31*p30 + 3*b32*p16 - 2*b32*p29 - 2*c12*p15 + 2*c12*p28
 - 2*c13*p27 + 2*c22*p24 - 2*c23*p23 - k40*m1 + 3*k41*n3 - k48*m3 + k49*m2 - 3*
k54*n3 - k80*n1 + k84*n2,
6*a33*p16 - 4*a33*p29 + b22*p38 + b31*p15 - 2*b31*p28 - b33*p23 + 4*c12*p22 - 2
*c13*p21 + 4*c22*p13 - 2*c23*p12 + 3*k24*n3 - k37*m3 + 2*k38*m2 + k39*n1 - 2*
k49*n3 - k70*n1 + k79*n2,
3*b22*k104 - 2*b22*k80 + b31*k98 + 2*b32*k94 - 2*b32*k99 + 2*b33*k80 - 3*b33*
k85 + 2*c12*k78 - 2*c12*k81 - 2*c12*k93 + 2*c13*k48 - 2*c13*k79 + 2*c13*k95 + 2
*c22*k97 + 2*c23*k83 - 2*c23*k96 - 2*c33*k82,
3*b22*k41 - 2*b22*k98 - 2*b31*k80 + 3*b31*k85 - 3*b32*k71 + 2*b32*k84 - 3*b33*
k41 + 3*b33*k54 - 2*c12*k39 + 2*c12*k70 - 2*c12*k83 + 2*c13*k40 + 2*c13*k82 - 2
*c22*k79 - 2*c23*k49 + 2*c23*k78 + 2*c33*k48,
6*a22*k102 - 2*a22*k39 - 4*a22*k70 - 2*a33*k96 + 2*b22*k91 + 4*b31*k66 + b31*
k73 + b31*k89 + b32*k90 + 2*b33*k20 - b33*k76 - 2*b33*k88 - 4*c12*k61 + 4*c13*
k17 + 4*c13*k58 + 4*c23*k64 - 4*c33*k62,
6*a22*k101 - 4*a22*k82 + 2*b22*k72 - b22*k90 - b31*k87 - 2*b32*k86 + 2*b32*k88 
- 3*b33*k72 + 2*b33*k74 - 6*c12*k56 - 4*c12*k58 - 4*c13*k28 + 2*c13*k61 + 4*c22
*k57 + 4*c23*k27 + 2*c23*k60 - 6*c33*k57,
2*a22*k39 - 2*a22*k70 - 2*a22*k83 - 6*a33*k39 + 6*a33*k52 - 2*b22*k47 - b22*k76
 - b31*k37 - 3*b31*k45 - 3*b32*k21 + b32*k46 + 2*b33*k44 + 4*c12*k18 + 4*c12*
k33 - 4*c13*k31 - 4*c22*k34 + 4*c23*k32,
2*a33*q19 - b31*q10 - 2*b31*q7 - b32*q17 + b33*q12 + b33*q16 + 4*c12*q4 - 2*c13
*q2 + 2*c33*q5 - m1*p12 - 2*m2*p36 + m3*p35 - n1*p24 - n1*p37 + 3*n2*p15 - 2*n2
*p47 - n3*p14 + n3*p42,
2*a22*q13 - 2*b31*q16 + b32*q15 - b33*q10 - b33*q7 - 4*c12*q1 - 2*c13*q5 + 4*
c23*q4 - 2*c33*q2 - m1*p35 + 2*m2*p34 - m3*p32 - n1*p42 - n1*p46 + 2*n2*p38 + 3
*n2*p45 - n3*p37 - n3*p40,
2*a22*p43 - 2*b31*p46 + b32*p45 - b33*p37 - b33*p40 - 4*c12*p31 - 2*c13*p35 + 4
*c23*p34 - 2*c33*p32 + 4*k100*n2 - k101*n1 - k87*m3 + 2*k89*m2 - k90*m1 - k92*
n3 + 2*k93*n2 - k95*n3 - k97*n1,
4*a33*p25 - 6*a33*p30 + b22*p42 + 2*b32*p15 - b32*p28 - b33*p27 - 4*c12*p13 + 2
*c13*p20 + 4*c22*p22 - 2*c23*p21 - 2*k38*m1 + 2*k40*n3 - k46*m3 + 2*k47*m2 + 
k48*n1 - 3*k53*n3 - k79*n1 + k83*n2,
8*a22*k41 - 4*a22*k98 + 3*b22*k23 - b22*k79 - 2*b22*k92 - 3*b31*k69 + 2*b31*k82
 + b32*k78 - 4*b33*k23 + 2*b33*k48 - 4*c12*k20 - 2*c12*k76 + 2*c13*k21 + 4*c13*
k74 - 2*c22*k67 - 2*c23*k37 + 4*c23*k66 + 4*c33*k36,
6*a22*k100 + 4*a22*k78 + b22*k66 + b22*k73 + b22*k89 + 2*b31*k86 - 2*b31*k88 - 
b32*k87 - 3*b33*k66 - 2*b33*k73 - 4*c12*k57 - 6*c12*k59 - 6*c13*k29 + 2*c13*k62
 + 2*c22*k58 + 2*c23*k28 + 2*c23*k61 - 6*c33*k58,
2*a22*k80 - 2*a33*k80 + b22*k40 + b22*k69 + 6*b31*k23 - 2*b31*k48 - b31*k79 - 
b32*k39 + b32*k70 - b33*k40 - b33*k69 + 2*c12*k37 + 4*c12*k68 - 4*c13*k36 - 2*
c13*k67 + 2*c22*k21 - 4*c23*k20 - 2*c33*k21,
2*a22*k80 - 6*a33*k80 + b22*k40 + b22*k69 + 10*b31*k23 - 2*b31*k48 - 3*b31*k79 
- b32*k39 + 3*b32*k70 - 3*b33*k40 - 3*b33*k69 + 2*c12*k37 + 12*c12*k68 - 4*c13*
k36 - 6*c13*k67 + 2*c22*k21 - 4*c23*k20 - 6*c33*k21,
6*a22*k80 - 2*a33*k80 + 3*b22*k40 + 3*b22*k69 + 14*b31*k23 - 6*b31*k48 - b31*
k79 - 3*b32*k39 + b32*k70 - b33*k40 - b33*k69 + 6*c12*k37 + 4*c12*k68 - 12*c13*
k36 - 2*c13*k67 + 6*c22*k21 - 12*c23*k20 - 2*c33*k21,
4*a22*k45 + 2*a22*k73 - 4*a22*k89 - 2*a33*k73 - 4*b22*k56 + 2*b22*k63 + 2*b31*
k27 - b31*k60 - 2*b32*k26 - b32*k61 - b33*k31 + 3*b33*k56 + 2*c12*k7 - 8*c13*k1
 - 4*c13*k10 - 8*c22*k6 + 2*c23*k2 + 6*c33*k6,
4*a22*k44 - 4*a22*k86 - 4*a22*k88 - 2*b22*k27 - b22*k60 + b22*k62 - 3*b31*k56 +
 2*b31*k58 + 2*b32*k57 - 3*b32*k59 + 3*b33*k27 - 3*b33*k29 + 6*c12*k2 + 6*c12*
k4 - 2*c13*k8 - 4*c22*k3 - 2*c23*k7 + 8*c33*k3,
2*a22*q19 + b22*q12 + b22*q16 + 2*b31*q10 + 2*b31*q7 - b32*q11 - 2*c12*q4 + 4*
c13*q2 + 2*c22*q5 - 4*c23*q3 - m1*p12 + m2*p21 - 2*m3*p19 - n1*p24 - n1*p37 - 
n2*p15 + n2*p41 + 3*n3*p14 - 2*n3*p27,
2*a22*q18 - b22*q15 - b22*q8 + b31*q11 + 2*b32*q10 + 2*b32*q7 - 2*c12*q5 - 4*
c13*q1 - 2*c22*q4 + 4*c23*q2 - m1*p21 - m2*p20 + 2*m3*p18 - n1*p28 - n1*p41 - 
n2*p24 - n2*p40 + 2*n3*p23 + 3*n3*p26,
4*a22*q15 + 2*a22*q8 - 2*a33*q15 + 2*b22*q4 + 2*b31*q1 - 4*b31*q3 + b32*q2 - 
b33*q4 - 2*m1*p7 + 2*m2*p6 - 2*m3*p3 - n1*p21 - 2*n1*p33 + 2*n1*p36 + 2*n2*p12 
+ 2*n2*p32 - 2*n3*p11 - n3*p18 - n3*p34,
2*a22*p12 + 2*a22*p20 - 4*a33*p12 - 4*a33*p20 + b22*p6 + b31*p9 + b32*p8 - 2*
b33*p6 - 2*k11*m3 + 3*k13*m2 + 3*k14*m1 - 2*k18*n3 + 3*k19*n2 + k31*n2 - 2*k32*
n1 - 2*k33*n3 + 3*k35*n1 + k63*n2 + k64*n1,
2*a22*p12 + 4*a22*p32 - 2*a33*p32 + 2*b22*p6 + 2*b31*p2 - 6*b31*p4 + b32*p3 - 
b33*p6 - 3*k16*n3 + 2*k17*n2 - k28*n3 - k32*n1 - 3*k4*m3 + 2*k58*n2 - 3*k59*n1 
- k61*n3 + 2*k64*n1 + 2*k8*m2 - 3*k9*m1,
2*a22*p41 + b22*p21 + b22*p33 + 3*b31*p11 + 2*b31*p18 - b32*p19 - 2*c12*p6 + 6*
c13*p3 + 2*c22*p7 - 6*c23*p4 - k17*m1 + 4*k20*n3 - k21*n2 - 3*k29*m3 + k32*m2 -
 k37*n1 - 2*k44*n3 - k66*n1 + k74*n2,
2*a22*p41 - b22*p21 + b22*p31 - b31*p18 - 3*b32*p17 + 2*b32*p19 + 2*c12*p6 + 6*
c13*p1 + 2*c22*p5 - 6*c23*p2 - 3*k27*m3 + k30*m2 + k31*m1 - 4*k42*n3 + 2*k44*n3
 + k45*n1 - k46*n2 + k72*n2 + k73*n1,
b22*p43 - b32*p48 - b33*p43 - 2*c12*p41 + 2*c12*p47 - 2*c13*p27 + 2*c13*p42 + 2
*c22*p40 + 2*c23*p26 - 2*c23*p45 - 2*c33*p40 + 3*k104*n1 + k81*m2 - k82*m1 + 
k84*n2 - 3*k85*n1 - k95*m3 + k97*m1 - k98*n3,
4*a22*p44 - 6*a22*p50 + b22*p47 - b32*p46 - b33*p41 + 2*c12*p32 + 2*c13*p18 - 2
*c13*p34 - 4*c22*p31 - 4*c23*p17 + 4*c33*p31 - 3*k100*n1 - 2*k72*m2 + k73*m1 + 
2*k81*n1 + 2*k86*m3 - k89*m1 - k96*n3 + k97*n2,
6*a22*p30 - 4*a22*p49 + b22*p42 - b32*p41 - b33*p27 + 2*c12*p18 - 2*c12*p34 - 2
*c13*p20 - 4*c22*p17 + 4*c23*p31 + 4*c33*p17 - 2*k42*m2 + k43*m1 + 3*k51*n1 + 2
*k72*m3 - k75*m1 - k82*n3 + k83*n2 - 2*k95*n1,
2*a33*p43 - 2*b31*p14 + b31*p42 - b32*p38 + b33*p24 + b33*p37 - 4*c12*p36 + 2*
c13*p35 - 4*c23*p13 + 2*c33*p12 - k21*m1 - k23*n3 + 4*k24*n2 - k40*n1 + k67*m3 
- 2*k68*m2 - k69*n1 + k79*n3 - 2*k93*n2,
2*a22*p43 - b22*p24 - b22*p40 + b31*p27 + 2*b32*p23 + 3*b32*p26 - 2*c12*p21 - 4
*c13*p17 - 2*c22*p20 + 4*c23*p18 + 2*k43*m3 - k45*m2 - k46*m1 + 2*k48*n3 - k49*
n2 + 4*k51*n3 - k53*n1 - k81*n2 - k82*n1,
2*a22*p43 + b22*p24 + b22*p37 + 3*b31*p14 - 2*b31*p27 - b32*p23 + 2*c12*p21 - 4
*c13*p19 + 2*c22*p12 - 4*c23*p11 - k21*m1 + 4*k23*n3 - k24*n2 - 2*k36*m3 + k37*
m2 - k40*n1 - 2*k48*n3 - k69*n1 + k78*n2,
2*a22*k84 + 2*a33*k84 - 2*b22*k49 - 2*b22*k81 + 2*b31*k52 - b31*k83 + b32*k48 +
 2*b32*k51 + b32*k79 + b33*k49 + b33*k81 + 2*c12*k46 - 4*c12*k77 - 4*c13*k42 - 
4*c13*k47 - 4*c22*k45 + 2*c23*k43 + 2*c23*k75 + 2*c33*k45,
2*a22*k71 + 6*a33*k71 - 4*a33*k84 - 4*b22*k24 + 2*b22*k93 + 2*b31*k39 + b31*k70
 - 2*b31*k83 + b32*k23 + 3*b33*k24 - 2*b33*k49 - b33*k78 + 2*c12*k21 + 4*c12*
k77 - 2*c13*k76 + 4*c22*k68 + 4*c23*k38 - 2*c23*k67 - 2*c33*k37,
6*a22*k53 + 2*a22*k82 - 4*a22*k97 - 2*a33*k82 - 3*b22*k72 + 2*b22*k77 + 2*b31*
k43 - b31*k75 - b32*k76 - b33*k46 + 2*b33*k72 + 2*c12*k31 - 4*c12*k63 - 6*c13*
k26 - 4*c13*k33 - 6*c22*k30 + 2*c23*k27 + 4*c23*k60 + 4*c33*k30,
6*a22*k39 - 4*a22*k96 + 2*b22*k20 - b22*k76 - 2*b22*k88 - 3*b31*k66 - 2*b31*k73
 + b32*k74 - 4*b33*k20 + 2*b33*k44 - 6*c12*k16 + 2*c12*k28 + 2*c12*k61 + 2*c13*
k17 - 6*c13*k58 - 2*c22*k62 - 2*c23*k32 + 6*c23*k59 + 6*c33*k29,
4*a22*k21 - 2*a22*k77 - 8*a33*k21 + 4*a33*k46 + 2*a33*k77 - 3*b22*k35 - b22*k64
 - 2*b31*k18 - 3*b31*k33 - b32*k34 - 3*b32*k65 + 2*b33*k32 + b33*k35 + b33*k64 
+ 14*c12*k13 - 6*c13*k11 - 6*c22*k14 + 4*c23*k12 + 2*c33*k14,
2*a22*k37 - 2*a22*k68 - 2*a33*k37 - 4*a33*k45 - 2*a33*k68 + 4*b22*k19 + 2*b22*
k63 - 2*b31*k34 + 3*b31*k65 - b32*k18 + 2*b32*k33 - b33*k19 - b33*k31 - b33*k63
 - 2*c12*k14 + 4*c13*k10 + 8*c22*k13 - 2*c23*k11 - 2*c33*k13,
2*a22*p14 - 2*a33*p14 + 2*a33*p42 - 2*b31*p12 - b31*p20 - 2*b32*p36 + b33*p22 +
 b33*p35 + 6*c12*p8 - 2*c13*p6 - 6*c23*p10 + 2*c33*p9 - k18*m1 - k21*n3 - k38*
n1 + k64*m3 - 3*k65*m2 - k67*n1 + k77*n3 - 2*k91*n2,
2*a22*p42 + 2*a22*p46 - 2*a33*p46 + 2*b31*p32 - 2*b32*p31 + b33*p17 - b33*p35 +
 6*c12*p1 + 2*c13*p6 - 6*c23*p5 + 2*c33*p2 + k57*m3 - 3*k60*m2 + k61*m1 + k72*
n3 + k75*n1 - 4*k86*n2 + k87*n1 - k90*n3 + 2*k91*n2,
6*a22*k104 - 6*a22*k80 + 3*b22*k101 - 2*b22*k69 + b22*k97 + 2*b31*k92 + 2*b31*
k95 - b32*k96 + 3*b33*k69 - 2*b33*k82 + 4*c12*k66 - 2*c12*k73 - 2*c12*k89 + 4*
c13*k36 - 2*c13*k67 + 4*c13*k87 + 2*c22*k90 + 2*c23*k76 - 4*c23*k88 - 4*c33*k74
,
6*a22*k52 - 4*a22*k96 - 2*b22*k42 + b22*k76 - 2*b22*k86 + b31*k73 + 3*b32*k72 -
 2*b32*k74 + 4*b33*k42 - 2*b33*k44 + 6*c12*k26 + 4*c12*k28 - 2*c12*k61 - 2*c13*
k31 - 6*c13*k56 - 4*c22*k27 - 2*c22*k60 - 2*c23*k30 + 6*c23*k57 + 6*c33*k27,
4*a22*k47 + 2*a22*k76 - 4*a22*k91 + 4*a33*k42 - 2*a33*k76 - 3*b22*k60 + 3*b22*
k65 + 2*b31*k31 - 2*b31*k63 - 2*b32*k30 - b32*k64 + b33*k27 - b33*k34 + 2*b33*
k60 + 2*c12*k11 - 6*c13*k13 - 6*c13*k6 - 8*c22*k10 + 2*c23*k7 + 4*c33*k10,
4*a22*k21 - 2*a22*k74 - 4*a22*k90 + 2*a33*k74 - b22*k32 - b22*k59 - 2*b22*k64 -
 10*b31*k16 - 3*b31*k28 - b31*k61 + b32*k29 - b32*k62 + b33*k32 + 3*b33*k59 + 6
*c12*k8 - 14*c13*k4 - 2*c22*k9 - 4*c23*k12 + 8*c23*k5 + 6*c33*k9,
4*a22*k36 + 2*a22*k43 - 2*a22*k67 + 2*a22*k75 - 6*a33*k36 - 6*a33*k43 + 2*b22*
k18 + b22*k28 + 2*b22*k33 + b22*k61 + 3*b31*k30 - b31*k32 - 3*b32*k17 - b32*k31
 - 3*b33*k28 - 4*c12*k10 + 4*c12*k12 + 6*c13*k7 + 4*c22*k11 - 6*c23*k8,
4*a22*p17 - 4*a22*p19 + 2*a22*p35 - 6*a33*p17 + 4*a33*p19 + 2*b22*p2 - 2*b22*p9
 - b32*p5 + 2*b32*p7 - 3*b33*p2 + 2*k10*m2 + 2*k11*m1 + 2*k27*n2 - 2*k28*n1 - 3
*k30*n3 + 2*k32*n3 + 2*k33*n1 - 2*k34*n2 + k60*n2 + k61*n1 - 3*k7*m3,
4*a22*p11 + 2*a22*p18 + 2*a22*p34 - 6*a33*p11 - 4*a33*p18 + b22*p3 + 2*b22*p8 +
 2*b31*p5 - b31*p7 - 3*b33*p3 + 2*k11*m2 + 2*k12*m1 - 3*k17*n3 + 2*k18*n2 + k28
*n2 - 3*k29*n1 - 2*k31*n3 + 2*k34*n1 + k61*n2 + k62*n1 - 3*k8*m3,
8*a22*k54 - 4*a22*k98 + b22*k48 + b22*k51 + b22*k79 + 2*b22*k95 - b31*k82 - 2*
b32*k78 - 3*b32*k81 - 2*b33*k48 - 4*b33*k51 - 4*c12*k42 - 4*c12*k44 + 2*c12*k76
 + 2*c13*k46 + 4*c13*k72 + 2*c22*k43 + 2*c22*k75 + 2*c23*k45 - 4*c23*k73 - 4*
c33*k43,
2*a22*k37 + 4*a22*k66 + 2*a22*k68 + 6*a22*k89 - 4*a33*k66 - 2*a33*k73 - 2*a33*
k89 + 3*b22*k63 + b31*k27 + 2*b31*k60 - 4*b31*k62 + 2*b32*k61 - 2*b33*k17 - b33
*k31 - 2*b33*k58 - b33*k63 - 6*c12*k7 - 4*c13*k12 + 4*c13*k3 + 6*c23*k11 - 4*
c33*k8,
2*a22*p14 - 2*a22*p42 - 6*a33*p14 + 4*a33*p27 - 2*b22*p22 - b22*p35 - b31*p12 -
 2*b31*p20 + 2*b33*p19 + 4*c12*p8 - 4*c13*p6 - 4*c22*p9 + 4*c23*p7 + 2*k18*m1 -
 3*k21*n3 + 2*k32*m3 - 2*k34*m2 - 2*k36*n1 + 2*k38*n1 + 2*k46*n3 + k67*n1 - k76
*n2,
2*a22*p21 - 6*a22*p31 + 4*a22*p33 + 4*a33*p31 - 4*a33*p33 - 3*b22*p5 - 3*b31*p1
 + 4*b31*p3 - 2*b32*p2 + 2*b33*p5 - 2*b33*p7 + k27*n3 + 2*k3*m3 + k31*n1 - 3*
k57*n2 + 2*k58*n1 + 2*k60*n3 - 2*k62*n3 - 2*k63*n1 + 2*k64*n2 - 3*k7*m2 + 2*k8*
m1,
2*a22*p25 + 2*a33*p49 - 2*b31*p37 - b31*p40 - b32*p47 - b33*p14 + b33*p42 + b33
*p46 + 4*c12*p34 - 2*c13*p12 - 2*c13*p32 - 4*c23*p36 + 2*c33*p35 - 3*k102*n2 - 
k67*m1 - k69*n3 + 3*k70*n2 - k79*n1 + k90*m3 - 2*k91*m2 - k92*n1 + k97*n3,
6*a22*k103 - 4*a22*k84 + 2*a33*k103 - 4*b22*k100 - 2*b22*k93 - b31*k102 + 2*b31
*k96 + b32*k92 + b33*k100 + b33*k78 + 2*b33*k81 + b33*k93 + 4*c12*k72 + 2*c12*
k90 + 2*c13*k76 - 4*c13*k86 - 4*c13*k91 - 4*c22*k89 - 4*c23*k75 + 2*c23*k87 + 2
*c33*k73 + 2*c33*k89,
2*a22*k39 - 2*a22*k70 - 2*a33*k39 - 4*a33*k70 + 4*a33*k83 - 2*b22*k91 - 2*b31*
k37 - 2*b31*k45 + b31*k68 - b32*k21 - b32*k77 + 2*b33*k47 + b33*k76 - 2*c12*k18
 + 6*c12*k33 + 6*c13*k19 - 2*c13*k31 - 2*c13*k63 - 6*c22*k65 - 6*c23*k35 + 2*
c23*k64 + 2*c33*k34,
2*a22*k48 - 2*a22*k79 - 2*a33*k48 - 6*a33*k51 - 2*a33*k79 + 3*b22*k38 + 2*b22*
k75 - 2*b31*k46 + 2*b31*k77 - b32*k37 - b32*k68 - b33*k38 - b33*k43 - b33*k75 -
 2*c12*k34 + 6*c12*k65 + 4*c13*k30 + 6*c13*k35 + 6*c22*k33 - 2*c23*k31 - 2*c23*
k63 - 2*c33*k33,
6*a22*k23 - 4*a22*k79 - 18*a33*k23 + 8*a33*k48 + 2*a33*k79 - 4*b22*k38 - 2*b22*
k67 - 6*b31*k21 + 4*b31*k46 + b31*k77 - 2*b32*k68 + 4*b33*k36 + b33*k38 + b33*
k67 - 8*c12*k34 - 6*c12*k65 + 8*c13*k32 + 2*c13*k64 - 8*c22*k18 + 8*c23*k17 - 6
*c23*k19 + 2*c33*k18,
6*a22*k23 - 2*a22*k79 - 12*a33*k23 + 4*a33*k48 + 4*a33*k79 - 2*b22*k38 - b22*
k67 - 6*b31*k21 + 2*b31*k46 + 2*b31*k77 - 4*b32*k68 + 2*b33*k36 + 2*b33*k38 + 2
*b33*k67 - 4*c12*k34 - 12*c12*k65 + 4*c13*k32 + 4*c13*k64 - 4*c22*k18 + 4*c23*
k17 - 12*c23*k19 + 4*c33*k18,
6*a22*k24 - 4*a22*k78 - 4*a22*k93 + 2*a33*k78 - 2*b22*k37 - 2*b22*k66 - 2*b22*
k68 - 12*b31*k20 + 4*b31*k44 + b31*k76 + 2*b32*k36 - b32*k67 + b33*k37 + 2*b33*
k66 - 4*c12*k32 - 4*c12*k64 + 12*c13*k29 + 4*c13*k62 - 4*c22*k17 + 12*c23*k16 -
 4*c23*k18 + 4*c33*k17,
12*a22*k24 - 2*a22*k78 - 8*a22*k93 + 4*a33*k78 - b22*k37 - b22*k66 - 4*b22*k68 
- 12*b31*k20 + 2*b31*k44 + 2*b31*k76 + b32*k36 - 2*b32*k67 + 2*b33*k37 + 4*b33*
k66 - 2*c12*k32 - 8*c12*k64 + 6*c13*k29 + 8*c13*k62 - 2*c22*k17 + 6*c23*k16 - 8
*c23*k18 + 8*c33*k17,
8*a22*k20 - 2*a22*k76 - 4*a22*k91 - 12*a33*k20 + 4*a33*k44 + 2*a33*k76 - 2*b22*
k34 - b22*k62 - 3*b22*k65 - 6*b31*k17 - 3*b31*k31 - b31*k63 - 2*b32*k64 + 3*b33
*k29 + b33*k34 + 2*b33*k62 + 10*c12*k11 - 10*c13*k8 - 4*c22*k12 - 6*c23*k14 + 6
*c23*k9 + 4*c33*k12,
2*b22*q9 - b31*q18 + b32*q19 + 2*b33*q14 - 2*b33*q9 + 2*c12*q10 - 2*c12*q7 - 2*
c13*q15 + 2*c13*q8 - 2*c22*q17 - 2*c23*q12 + 2*c23*q16 + 2*c33*q11 - m1*p23 + 
m1*p38 - m2*p42 + m3*p41 - 2*n1*p29 + 2*n1*p48 + 2*n2*p25 - 2*n2*p49 - 2*n3*p39
 + 2*n3*p44,
4*a22*p11 + 2*a22*p13 + 4*a22*p34 - 4*a33*p11 - 2*a33*p18 - 2*a33*p34 + 3*b22*
p8 + 2*b31*p5 - 4*b31*p7 + 2*b32*p6 - 2*b33*p3 - b33*p8 + 3*k11*m2 - 2*k12*m1 -
 2*k17*n3 + 3*k18*n2 - k31*n3 - k34*n1 + 2*k61*n2 - 2*k62*n1 - k63*n3 + 3*k65*
n1 - 2*k8*m3,
2*a22*p37 - 2*a22*p40 - b22*p12 - b22*p20 - b22*p32 - 3*b31*p17 + 2*b31*p19 + 3
*b32*p11 + 2*b32*p18 + 2*c12*p5 - 2*c12*p7 - 6*c13*p2 - 2*c22*p6 + 6*c23*p3 + 3
*k28*m3 - k31*m2 - k32*m1 + 3*k36*n3 - k37*n2 + 3*k43*n3 - k46*n1 - k73*n2 - 
k74*n1,
2*a22*p39 + 2*a22*p44 - b22*p15 + b22*p28 + b22*p41 + 2*b31*p23 + 3*b31*p26 + 3
*b32*p14 - 2*b32*p27 - 2*c12*p12 - 2*c12*p20 + 4*c13*p18 + 2*c22*p21 - 4*c23*
p19 - k37*m1 + 3*k39*n3 - k40*n2 - 2*k44*m3 + k46*m2 - k49*n1 - 3*k52*n3 - k78*
n1 + k82*n2,
4*a22*k50 - 4*a22*k94 - 4*a33*k94 + 4*a33*k99 - 3*b22*k102 + 3*b22*k70 - 2*b31*
k78 - 2*b31*k81 - b32*k69 - b33*k39 - 2*b33*k70 + 2*b33*k83 + b33*k96 - 2*c12*
k67 + 4*c12*k75 - 2*c13*k37 + 4*c13*k68 - 2*c13*k73 - 2*c13*k89 - 4*c22*k91 - 4
*c23*k77 + 2*c23*k90 + 2*c33*k76,
2*a22*k80 + 4*a33*k80 - 6*a33*k85 - 3*b22*k40 + 2*b22*k97 + 2*b31*k48 + 3*b31*
k51 + b32*k39 + 2*b32*k70 - b32*k83 + 2*b33*k40 - 3*b33*k53 - b33*k82 + 2*c12*
k37 - 4*c12*k45 - 4*c12*k68 - 4*c13*k38 + 2*c13*k43 + 2*c13*k75 + 4*c22*k77 + 4
*c23*k47 - 2*c23*k76 - 2*c33*k46,
8*a22*k50 - 4*a22*k94 - 4*a22*k99 + 2*b22*k39 + b22*k70 - b22*k83 - 2*b22*k96 -
 2*b31*k78 - 3*b31*k81 - 3*b32*k69 + 2*b32*k82 - 3*b33*k39 + 3*b33*k52 - 4*c12*
k36 + 2*c12*k43 + 2*c12*k67 + 2*c12*k75 + 2*c13*k37 - 4*c13*k73 - 2*c22*k76 - 2
*c23*k46 + 4*c23*k74 + 4*c33*k44,
6*a22*k103 - 6*a22*k84 - 3*b22*k100 - b22*k78 - b22*k81 - b22*k93 + b31*k96 + 2
*b32*k92 + 2*b32*k95 + 2*b33*k78 + 3*b33*k81 + 4*c12*k72 + 4*c12*k74 - 2*c12*
k90 + 4*c13*k44 - 2*c13*k76 - 4*c13*k86 - 2*c22*k73 - 2*c22*k89 - 2*c23*k43 - 2
*c23*k75 + 4*c23*k87 + 4*c33*k73,
6*a22*k102 - 4*a22*k83 - 2*a22*k96 + 2*a33*k96 + 4*b22*k86 - 2*b22*k91 - 2*b31*
k73 + b31*k89 + b32*k72 + b32*k90 - 2*b33*k42 + b33*k76 - 2*b33*k86 - 6*c12*k26
 - 2*c12*k61 - 2*c13*k31 + 6*c13*k56 + 4*c13*k63 + 6*c22*k60 + 6*c23*k30 - 2*
c23*k57 - 2*c33*k27 - 4*c33*k60,
4*a22*p15 - 4*a22*p47 + 2*a33*p41 - 2*b22*p36 - 4*b31*p11 - b31*p18 - b31*p34 -
 b32*p35 + b33*p21 + 2*b33*p33 + 4*c12*p6 - 4*c13*p3 - 4*c23*p9 + 4*c33*p7 - 2*
k17*m1 - 2*k20*n3 + 3*k21*n2 - k37*n1 + 2*k62*m3 - 2*k64*m2 - 2*k66*n1 + 2*k68*
n1 + k76*n3 - 2*k90*n2,
2*a22*p24 + 2*a22*p37 - 2*a33*p37 - 2*a33*p40 + b31*p17 - 2*b31*p35 + 2*b32*p34
 - b33*p12 - b33*p20 - b33*p32 - 6*c12*p5 + 2*c13*p2 - 2*c13*p9 + 6*c23*p8 - 2*
c33*p6 - k61*m3 + 3*k63*m2 - k64*m1 - k67*n3 + 3*k68*n2 - k75*n3 - k77*n1 + 3*
k89*n2 - k90*n1,
2*a22*q19 - 2*a33*q19 + b22*q12 + b22*q16 + 3*b31*q10 + 4*b31*q7 - b32*q11 + 
b32*q17 - b33*q12 - b33*q16 - 6*c12*q4 + 6*c13*q2 + 2*c22*q5 - 4*c23*q3 - 2*c33
*q5 + m2*p21 + 2*m2*p36 - 2*m3*p19 - m3*p35 - 4*n2*p15 + n2*p41 + 2*n2*p47 + 4*
n3*p14 - 2*n3*p27 - n3*p42,
2*b22*p39 - 3*b22*p50 - b31*p48 + b32*p49 - 2*b33*p39 + 2*b33*p44 - 2*c12*p37 +
 2*c12*p40 - 2*c13*p23 + 2*c13*p38 - 2*c13*p45 - 2*c22*p47 - 2*c23*p42 + 2*c23*
p46 + 2*c33*p41 + 3*k103*n1 - 3*k104*n2 - k78*m1 + 2*k80*n2 - 2*k84*n1 + k93*m1
 - 2*k94*n3 + k96*m3 - k97*m2 + 2*k99*n3,
3*b22*p16 - 2*b22*p48 - 2*b31*p39 + 2*b31*p44 + b32*p43 - 3*b33*p16 + 2*b33*p29
 - 2*c12*p14 - 2*c12*p42 + 2*c13*p15 + 2*c13*p41 - 2*c22*p38 - 2*c23*p24 + 2*
c23*p37 + 2*c33*p23 - k39*m1 + 3*k41*n2 - 2*k50*n1 + k70*m1 - 3*k71*n3 + k78*m3
 - k79*m2 + 2*k84*n3 + 2*k94*n1 - 2*k98*n2,
6*a22*k104 - 8*a22*k80 - 2*a33*k104 + 3*b22*k101 - 2*b22*k69 + b22*k97 + 4*b31*
k92 + 3*b31*k95 + b32*k102 - b32*k96 - b33*k101 + 4*b33*k69 - 2*b33*k82 - b33*
k97 + 4*c12*k66 - 2*c12*k73 - 6*c12*k89 + 4*c13*k36 + 6*c13*k87 + 2*c22*k90 + 2
*c23*k76 - 4*c23*k88 + 4*c23*k91 - 4*c33*k74 - 2*c33*k90,
6*a22*k48 - 4*a22*k92 + 4*a22*k95 + b22*k36 + b22*k43 + b22*k67 + b22*k75 + 2*
b22*k87 + 3*b31*k72 - 2*b31*k74 - 3*b32*k66 - 2*b32*k73 - 3*b33*k36 - 3*b33*k43
 - 4*c12*k27 - 6*c12*k29 - 2*c12*k60 + 2*c12*k62 + 2*c13*k32 + 6*c13*k57 + 2*
c22*k28 + 2*c22*k61 + 2*c23*k31 - 6*c23*k58 - 6*c33*k28,
4*a22*k46 - 6*a22*k72 + 4*a22*k74 - 4*a22*k90 + 6*a33*k72 - 4*a33*k74 - 3*b22*
k30 - 3*b22*k57 + 2*b22*k64 - 5*b31*k26 + 4*b31*k28 - b32*k27 + b32*k60 - 2*b32
*k62 + 3*b33*k30 - 2*b33*k32 + 3*b33*k57 + 10*c12*k6 + 4*c12*k8 - 4*c13*k11 - 
10*c13*k2 - 6*c22*k7 - 4*c23*k10 + 4*c23*k3 + 6*c33*k7,
4*a22*q13 + b22*q10 + b22*q7 - b31*q16 - b32*q15 - 2*b33*q10 - 2*b33*q7 - 4*c12
*q1 - 4*c12*q3 + 2*c13*q5 + 2*c22*q2 + 2*c23*q4 - 4*c33*q2 - 2*m1*p19 + m1*p35 
+ m2*p18 + m2*p34 - 2*m3*p32 - 2*n1*p27 + n1*p42 + 2*n1*p46 + n2*p23 + n2*p38 +
 2*n2*p45 - 2*n3*p37 - 2*n3*p40,
2*a22*p23 + 2*a22*p26 - 2*a22*p38 - 4*a33*p23 - 6*a33*p26 + 2*b22*p13 + b22*p18
 + b22*p34 - 2*b32*p12 - b32*p20 - 2*b33*p18 + 4*c12*p9 + 4*c13*p5 + 4*c22*p8 -
 4*c23*p6 - 2*k31*m3 + 2*k33*m2 + 2*k34*m1 - 2*k37*n3 + 2*k38*n2 + k43*n2 - 2*
k44*n1 - 3*k45*n3 + 2*k47*n1 + k75*n2 + k76*n1,
2*a22*p23 + 2*a22*p38 + 6*a22*p45 - 2*a33*p45 + 2*b22*p34 + 2*b31*p31 - 4*b31*
p33 + b32*p32 - 2*b33*p11 - b33*p18 - b33*p34 - 4*c12*p2 - 4*c13*p7 + 4*c23*p6 
- 4*c33*p3 - 2*k58*m3 + 2*k61*m2 - 2*k62*m1 - 2*k66*n3 + 2*k67*n2 - k73*n3 - 
k76*n1 + 3*k87*n2 - 2*k88*n1 - k89*n3 + 2*k91*n1,
2*b22*p25 - 2*b22*p49 - b31*p43 - 2*b32*p39 + 2*b32*p44 - 2*b33*p25 + 3*b33*p30
 - 2*c12*p23 + 2*c12*p26 + 2*c12*p38 + 2*c13*p24 - 2*c13*p40 - 2*c22*p42 - 2*
c23*p28 + 2*c23*p41 + 2*c33*p27 - k48*m1 + 2*k50*n2 - 3*k54*n1 + k79*m1 - 2*k80
*n3 + k82*m3 - k83*m2 + 3*k85*n3 + 2*k98*n1 - 2*k99*n2,
6*a22*k54 - 4*a22*k98 - 2*a33*k98 + 2*b22*k79 + 3*b22*k95 - 2*b31*k82 + b31*k97
 - b32*k78 - b32*k81 - b32*k93 - b33*k48 - 3*b33*k51 - b33*k79 - b33*k95 - 4*
c12*k42 - 2*c12*k76 + 4*c12*k91 - 2*c13*k46 + 4*c13*k72 + 4*c13*k77 + 4*c22*k75
 + 4*c23*k45 - 2*c23*k73 - 2*c23*k89 - 2*c33*k43 - 2*c33*k75,
4*a22*k37 + 2*a22*k66 + 4*a22*k73 + 4*a22*k89 - 6*a33*k66 - 4*a33*k73 + 2*b22*
k17 + 2*b22*k31 + 2*b22*k58 + 2*b22*k63 + 4*b31*k27 - 6*b31*k29 + 2*b31*k60 - 
b31*k62 - 3*b32*k16 - 3*b33*k17 - 2*b33*k31 - 3*b33*k58 - 8*c12*k7 - 6*c12*k9 +
 4*c13*k12 + 12*c13*k3 + 4*c22*k8 + 4*c23*k11 - 6*c23*k4 - 6*c33*k8,
2*a22*q18 + 2*a33*q18 - 2*b22*q15 - 2*b22*q8 + 2*b31*q11 - b31*q17 + b32*q7 + 
b33*q15 + b33*q8 + 2*c12*q5 - 4*c13*q1 - 4*c22*q4 + 2*c23*q2 + 2*c33*q4 + m1*
p21 - 2*m1*p36 - 2*m2*p20 + m3*p18 + m3*p34 + 2*n1*p28 + n1*p41 - 2*n1*p47 - 2*
n2*p24 - 2*n2*p40 + n3*p23 + 2*n3*p26 + n3*p38,
4*a22*p27 - 4*a22*p46 - 2*b22*p17 + b22*p35 + b31*p32 + 2*b32*p31 - 2*b32*p33 +
 3*b33*p17 - 2*b33*p19 + 6*c12*p1 + 4*c12*p3 - 2*c13*p6 - 4*c22*p2 - 2*c23*p5 +
 6*c33*p2 - 2*k27*m2 + 2*k28*m1 + 2*k43*n1 + 3*k57*m3 - k60*m2 - k61*m1 + 3*k72
*n3 - 2*k74*n3 - k75*n1 + k76*n2 - 2*k86*n2 - 2*k87*n1,
12*a22*k41 - 4*a22*k98 + 4*a33*k98 + 3*b22*k23 - b22*k79 - 2*b22*k92 - 7*b31*
k69 + 2*b31*k82 + 2*b31*k97 + b32*k78 - 2*b32*k93 - 6*b33*k23 + 2*b33*k48 + 2*
b33*k79 + 2*b33*k92 - 4*c12*k20 - 2*c12*k76 - 8*c12*k91 - 2*c13*k21 + 4*c13*k74
 + 4*c13*k90 - 2*c22*k67 - 2*c23*k37 + 4*c23*k66 - 8*c23*k68 + 4*c33*k36 + 4*
c33*k67,
18*a22*k41 - 8*a22*k98 + 2*a33*k98 + 6*b22*k23 - 2*b22*k79 - 4*b22*k92 - 8*b31*
k69 + 4*b31*k82 + b31*k97 + 2*b32*k78 - b32*k93 - 9*b33*k23 + 4*b33*k48 + b33*
k79 + b33*k92 - 8*c12*k20 - 4*c12*k76 - 4*c12*k91 + 2*c13*k21 + 8*c13*k74 + 2*
c13*k90 - 4*c22*k67 - 4*c23*k37 + 8*c23*k66 - 4*c23*k68 + 8*c33*k36 + 2*c33*k67
,
4*a22*p43 + b22*p37 + b22*p40 - b31*p46 - b32*p45 - 2*b33*p37 - 2*b33*p40 - 4*
c12*p31 - 4*c12*p33 - 4*c13*p19 + 2*c13*p35 + 2*c22*p32 + 2*c23*p18 + 2*c23*p34
 - 4*c33*p32 + 3*k100*n2 + 3*k101*n1 + k73*m2 - 2*k74*m1 + k78*n2 - 2*k82*n1 - 
2*k87*m3 + k89*m2 + k90*m1 - 2*k92*n3 + k93*n2 - 2*k95*n3 + k97*n1,
4*a22*k80 + 2*a22*k85 + 4*a33*k80 - 6*a33*k85 - 4*b22*k40 + b22*k53 + b22*k82 +
 2*b22*k97 + 4*b31*k48 + 7*b31*k51 + 4*b32*k39 - 3*b32*k52 + 2*b32*k70 - b32*
k83 + 2*b33*k40 - 3*b33*k53 - b33*k82 - 6*c12*k45 - 4*c12*k68 - 4*c13*k38 + 6*
c13*k43 + 2*c13*k75 + 2*c22*k46 + 4*c22*k77 - 4*c23*k44 + 4*c23*k47 - 2*c23*k76
 - 2*c33*k46,
6*a22*k71 + 4*a22*k84 + 6*a33*k71 - 4*a33*k84 - 6*b22*k24 + 2*b22*k49 + 2*b22*
k78 + 2*b22*k93 + 8*b31*k39 - 6*b31*k52 + b31*k70 - 2*b31*k83 + 9*b32*k23 - 4*
b32*k48 + 3*b33*k24 - 2*b33*k49 - b33*k78 - 2*c12*k21 + 4*c12*k46 + 4*c12*k77 -
 8*c13*k44 - 2*c13*k76 + 4*c22*k37 + 4*c22*k68 - 8*c23*k36 + 4*c23*k38 - 2*c23*
k67 - 2*c33*k37,
6*a22*k71 + 2*a22*k84 + 12*a33*k71 - 8*a33*k84 - 9*b22*k24 + b22*k49 + b22*k78 
+ 4*b22*k93 + 7*b31*k39 - 3*b31*k52 + 2*b31*k70 - 4*b31*k83 + 6*b32*k23 - 2*b32
*k48 + 6*b33*k24 - 4*b33*k49 - 2*b33*k78 + 2*c12*k21 + 2*c12*k46 + 8*c12*k77 - 
4*c13*k44 - 4*c13*k76 + 2*c22*k37 + 8*c22*k68 - 4*c23*k36 + 8*c23*k38 - 4*c23*
k67 - 4*c33*k37,
4*a22*k36 + 4*a22*k38 + 4*a22*k75 - 4*a33*k36 - 4*a33*k43 - 4*a33*k67 - 4*a33*
k75 + 3*b22*k18 + 3*b22*k33 + 2*b22*k61 + 4*b31*k30 - 4*b31*k32 + b31*k64 - 2*
b32*k17 + b32*k31 + b32*k63 - 2*b33*k18 - 2*b33*k28 - 2*b33*k33 - 2*b33*k61 - 
12*c12*k10 - 4*c12*k12 + 6*c13*k14 + 8*c13*k7 + 6*c22*k11 + 6*c23*k13 - 4*c23*
k8 - 4*c33*k11,
4*a22*p23 + 4*a22*p45 + b22*p11 + b22*p18 + b22*p34 + 2*b31*p31 - 2*b31*p33 - 
b32*p32 - 3*b33*p11 - 2*b33*p18 - 4*c12*p2 - 6*c12*p4 + 2*c13*p7 + 2*c22*p3 + 2
*c23*p6 - 6*c33*p3 + k28*m2 - 3*k29*m1 + k36*n2 - 2*k44*n1 - 3*k58*m3 + k61*m2 
+ k62*m1 - 3*k66*n3 + k67*n2 - 2*k73*n3 + k76*n1 + 2*k87*n2 + 2*k88*n1,
6*a22*k102 - 8*a22*k39 - 4*a22*k70 + 4*a22*k96 - 2*a33*k96 - 2*b22*k20 + b22*
k76 + 2*b22*k88 + 2*b22*k91 + 7*b31*k66 + 3*b31*k73 + b31*k89 - b32*k74 + b32*
k90 + 6*b33*k20 - 2*b33*k44 - b33*k76 - 2*b33*k88 + 6*c12*k16 - 2*c12*k28 - 6*
c12*k61 + 2*c13*k17 + 10*c13*k58 + 2*c22*k62 + 2*c23*k32 - 6*c23*k59 + 4*c23*
k64 - 6*c33*k29 - 4*c33*k62,
4*a22*k49 + 2*a22*k78 - 4*a22*k93 - 2*a33*k78 - 4*a33*k81 - 2*a33*k93 + 3*b22*
k68 + 3*b22*k89 + 2*b31*k42 - 2*b31*k76 + 2*b31*k91 - b32*k67 + b32*k75 - b33*
k37 - 2*b33*k45 - b33*k68 - b33*k73 - b33*k89 - 6*c12*k30 - 2*c12*k64 + 2*c13*
k27 - 2*c13*k34 + 4*c13*k60 + 6*c13*k65 + 6*c22*k63 + 6*c23*k33 - 2*c23*k61 - 2
*c33*k31 - 2*c33*k63,
4*a22*k48 + 4*a22*k79 - 2*a22*k92 + 6*a22*k95 - 4*a33*k92 - 4*a33*k95 + 2*b22*
k67 + 2*b22*k75 + 3*b22*k87 + 4*b31*k72 - 4*b31*k74 - 2*b32*k66 - 2*b33*k36 - 2
*b33*k43 - 2*b33*k67 - 2*b33*k75 - 2*b33*k87 - 4*c12*k27 - 8*c12*k60 - 4*c12*
k62 - 4*c13*k32 + 8*c13*k57 + 4*c13*k64 + 4*c22*k61 + 4*c23*k31 - 4*c23*k58 + 4
*c23*k63 - 4*c33*k28 - 4*c33*k61,
4*a22*p28 + 2*a22*p41 - 4*a22*p47 - 2*a33*p41 - 3*b22*p31 + 2*b22*p36 + 2*b31*
p18 - b31*p34 - b32*p17 - b32*p35 - b33*p21 + 2*b33*p31 + 2*c12*p6 - 6*c13*p1 -
 4*c13*p8 - 6*c22*p5 + 2*c23*p2 + 4*c33*p5 + k27*m3 - 3*k30*m2 + k31*m1 + 2*k42
*n3 + 2*k45*n1 + 2*k60*m3 - 2*k63*m1 - 3*k72*n2 + k73*n1 - k76*n3 + 2*k77*n2 - 
2*k89*n1,
4*a22*k39 - 4*a22*k70 - 2*a22*k83 - 8*a33*k39 + 6*a33*k52 - 4*a33*k70 + 4*a33*
k83 - 2*b22*k47 - b22*k76 - 2*b22*k91 - 3*b31*k37 - 5*b31*k45 + b31*k68 - 4*b32
*k21 + b32*k46 - b32*k77 + 2*b33*k44 + 2*b33*k47 + b33*k76 + 2*c12*k18 + 10*c12
*k33 + 6*c13*k19 - 6*c13*k31 - 2*c13*k63 - 4*c22*k34 - 6*c22*k65 + 4*c23*k32 - 
6*c23*k35 + 2*c23*k64 + 2*c33*k34,
4*a22*p14 - 2*a22*p42 - 8*a33*p14 + 4*a33*p27 + 2*a33*p42 - 2*b22*p22 - b22*p35
 - 3*b31*p12 - 3*b31*p20 - 2*b32*p36 + 2*b33*p19 + b33*p22 + b33*p35 + 10*c12*
p8 - 6*c13*p6 - 4*c22*p9 - 6*c23*p10 + 4*c23*p7 + 2*c33*p9 + k18*m1 - 4*k21*n3 
+ 2*k32*m3 - 2*k34*m2 - 2*k36*n1 + k38*n1 + 2*k46*n3 + k64*m3 - 3*k65*m2 - k76*
n2 + k77*n3 - 2*k91*n2,
6*a22*p25 - 4*a22*p49 + 2*b22*p14 - b22*p42 - 2*b22*p46 - 2*b31*p37 - 2*b31*p40
 + b32*p41 - 3*b33*p14 + 2*b33*p27 - 4*c12*p11 + 2*c12*p18 + 2*c12*p34 + 2*c13*
p12 - 4*c13*p32 - 2*c22*p35 - 2*c23*p21 + 4*c23*p33 + 4*c33*p19 - 2*k36*m1 + 2*
k39*n2 - 2*k48*n1 + k67*m1 - 3*k69*n3 + k70*n2 + 2*k74*m3 - k76*m2 + k79*n1 + 2
*k82*n3 + 2*k92*n1 - 2*k96*n2,
6*a22*k49 + 4*a22*k81 - 4*a22*k93 - 4*a33*k78 - 6*a33*k81 + 2*b22*k37 + 2*b22*
k45 + 2*b22*k68 + 2*b22*k73 + 2*b22*k89 + 6*b31*k42 - 4*b31*k44 - 2*b32*k36 - 
b32*k43 - 2*b32*k67 - b32*k75 - 2*b33*k37 - 3*b33*k45 - 2*b33*k73 - 8*c12*k30 -
 4*c12*k32 + 4*c12*k64 + 8*c13*k27 + 4*c13*k34 + 4*c13*k60 + 4*c22*k31 + 4*c22*
k63 - 4*c23*k28 + 4*c23*k33 - 4*c23*k61 - 4*c33*k31,
2*a22*p39 + 4*a33*p39 - 4*a33*p44 - 3*b22*p15 + 2*b22*p47 + 2*b31*p23 + 2*b31*
p26 + b32*p14 + 2*b33*p15 - 2*b33*p28 - b33*p41 + 2*c12*p12 - 4*c12*p20 - 4*c13
*p13 + 2*c13*p18 + 2*c13*p34 + 4*c22*p36 + 4*c23*p22 - 2*c23*p35 - 2*c33*p21 + 
k37*m1 + k39*n3 - 3*k40*n2 + 2*k49*n1 - 2*k68*m1 + 2*k70*n3 - k76*m3 + 2*k77*m2
 + k78*n1 - 2*k83*n3 - 2*k93*n1 + 2*k97*n2,
2*a22*p43 + 2*a33*p43 - 2*b22*p24 - 2*b22*p40 + 2*b31*p27 - b31*p42 + b32*p23 +
 b32*p26 + b32*p38 + b33*p24 + b33*p40 + 2*c12*p21 - 4*c12*p36 - 4*c13*p17 - 4*
c13*p22 - 4*c22*p20 + 2*c23*p18 + 2*c23*p34 + 2*c33*p20 + k43*m3 - 2*k45*m2 + 
k46*m1 + k48*n3 - 2*k49*n2 + 3*k51*n3 + 3*k53*n1 + k75*m3 - 2*k77*m1 + k79*n3 -
 2*k81*n2 + k82*n1 - 2*k97*n1,
4*a22*p43 - 2*a33*p43 + 2*b22*p24 + 2*b22*p37 + 8*b31*p14 - 4*b31*p27 - b31*p42
 - 2*b32*p23 + b32*p38 - b33*p24 - b33*p37 + 4*c12*p21 + 4*c12*p36 - 8*c13*p19 
- 2*c13*p35 + 4*c22*p12 - 8*c23*p11 + 4*c23*p13 - 2*c33*p12 - k21*m1 + 9*k23*n3
 - 6*k24*n2 - 4*k36*m3 + 2*k37*m2 - k40*n1 - 4*k48*n3 - k67*m3 + 2*k68*m2 - k69
*n1 + 2*k78*n2 - k79*n3 + 2*k93*n2,
2*a22*p43 - 4*a33*p43 + b22*p24 + b22*p37 + 7*b31*p14 - 2*b31*p27 - 2*b31*p42 -
 b32*p23 + 2*b32*p38 - 2*b33*p24 - 2*b33*p37 + 2*c12*p21 + 8*c12*p36 - 4*c13*
p19 - 4*c13*p35 + 2*c22*p12 - 4*c23*p11 + 8*c23*p13 - 4*c33*p12 + k21*m1 + 6*
k23*n3 - 9*k24*n2 - 2*k36*m3 + k37*m2 + k40*n1 - 2*k48*n3 - 2*k67*m3 + 4*k68*m2
 + k69*n1 + k78*n2 - 2*k79*n3 + 4*k93*n2,
8*a22*k40 + 2*a22*k69 - 4*a22*k97 - 8*a33*k69 + 4*a33*k82 + 2*a33*k97 + 3*b22*
k21 - 2*b22*k77 - 2*b22*k90 - 4*b31*k36 - 2*b31*k43 - 3*b31*k67 - 3*b31*k75 - 2
*b32*k20 - 2*b32*k91 - 4*b33*k21 + 2*b33*k46 + 2*b33*k74 + b33*k77 + b33*k90 - 
4*c12*k17 + 4*c12*k31 + 10*c12*k63 + 2*c13*k18 - 4*c13*k28 - 6*c13*k61 - 4*c22*
k64 - 4*c23*k34 + 4*c23*k62 - 6*c23*k65 + 4*c33*k32 + 2*c33*k64,
6*a22*k40 - 2*a22*k69 - 2*a22*k82 - 4*a22*k97 - 6*a33*k69 + 4*a33*k82 + 4*b22*
k21 - b22*k46 - b22*k74 - 2*b22*k77 - 2*b22*k90 - 7*b31*k36 - 5*b31*k43 - b31*
k67 - 2*b31*k75 - 6*b32*k20 + 2*b32*k44 - 3*b33*k21 + 2*b33*k46 + 2*b33*k74 - 2
*c12*k17 + 6*c12*k31 + 4*c12*k63 + 4*c13*k18 - 10*c13*k28 - 4*c13*k61 - 2*c22*
k32 - 4*c22*k64 + 6*c23*k29 - 4*c23*k34 + 4*c23*k62 + 4*c33*k32,
4*a22*p15 - 2*a22*p41 - 4*a22*p47 + 2*a33*p41 - b22*p21 - b22*p33 - 2*b22*p36 -
 7*b31*p11 - 3*b31*p18 - b31*p34 + b32*p19 - b32*p35 + b33*p21 + 2*b33*p33 + 6*
c12*p6 - 10*c13*p3 - 2*c22*p7 + 6*c23*p4 - 4*c23*p9 + 4*c33*p7 - k17*m1 - 6*k20
*n3 + 4*k21*n2 + 3*k29*m3 - k32*m2 + 2*k44*n3 + 2*k62*m3 - 2*k64*m2 - k66*n1 + 
2*k68*n1 - k74*n2 + k76*n3 - 2*k90*n2,
2*a22*p23 - 2*a22*p38 - 2*a33*p23 - 4*a33*p26 - 2*a33*p38 + 3*b22*p13 + 2*b22*
p34 - 2*b31*p21 + 2*b31*p36 - b32*p12 + b32*p20 - b33*p13 - b33*p18 - b33*p34 -
 2*c12*p9 + 6*c13*p10 + 4*c13*p5 + 6*c22*p8 - 2*c23*p6 - 2*c33*p8 - k31*m3 + 3*
k33*m2 - k34*m1 - k37*n3 + 3*k38*n2 - 2*k45*n3 - 2*k47*n1 - k63*m3 + 3*k65*m1 -
 k68*n3 + 2*k75*n2 - k76*n1 + 2*k91*n1,
12*a22*k50 - 8*a22*k94 - 4*a22*k99 - 4*a33*k94 + 4*a33*k99 - 3*b22*k102 + 2*b22
*k39 + 4*b22*k70 - b22*k83 - 2*b22*k96 - 4*b31*k78 - 5*b31*k81 - 4*b32*k69 + 2*
b32*k82 - 4*b33*k39 + 3*b33*k52 - 2*b33*k70 + 2*b33*k83 + b33*k96 - 4*c12*k36 +
 2*c12*k43 + 6*c12*k75 + 4*c13*k68 - 6*c13*k73 - 2*c13*k89 - 2*c22*k76 - 4*c22*
k91 - 2*c23*k46 + 4*c23*k74 - 4*c23*k77 + 2*c23*k90 + 4*c33*k44 + 2*c33*k76,
6*a22*p29 - 4*a22*p48 + b22*p23 + b22*p26 + b22*p38 + 2*b22*p45 - b31*p41 - 2*
b32*p37 - 2*b32*p40 - 2*b33*p23 - 3*b33*p26 - 4*c12*p17 - 4*c12*p19 + 2*c12*p35
 + 2*c13*p21 + 4*c13*p31 + 2*c22*p18 + 2*c22*p34 + 2*c23*p20 - 4*c23*p32 - 4*
c33*p18 + k43*m2 - 2*k44*m1 + k48*n2 - 3*k52*n1 - 2*k73*m3 + k75*m2 + k76*m1 - 
2*k78*n3 + k79*n2 - 3*k81*n3 + k83*n1 + 2*k95*n2 + 2*k96*n1,
4*a22*p29 - 4*a22*p48 - 2*a33*p48 + 2*b22*p38 + 3*b22*p45 - 2*b31*p41 + b31*p47
 - b32*p37 - b33*p23 - 2*b33*p26 - b33*p38 - b33*p45 - 4*c12*p17 - 2*c12*p35 - 
2*c13*p21 + 4*c13*p31 + 4*c13*p36 + 4*c22*p34 + 4*c23*p20 - 2*c23*p32 - 2*c33*
p18 - 2*c33*p34 + 3*k102*n1 - k73*m3 + 2*k75*m2 - k76*m1 - k78*n3 + 2*k79*n2 - 
2*k81*n3 - 2*k83*n1 - k89*m3 + 2*k91*m1 - k93*n3 + 3*k95*n2 - k96*n1,
8*a22*p25 - 4*a22*p49 + 2*a33*p49 + 2*b22*p14 - b22*p42 - 2*b22*p46 - 4*b31*p37
 - 3*b31*p40 + b32*p41 - b32*p47 - 4*b33*p14 + 2*b33*p27 + b33*p42 + b33*p46 - 
4*c12*p11 + 2*c12*p18 + 6*c12*p34 - 6*c13*p32 - 2*c22*p35 - 2*c23*p21 + 4*c23*
p33 - 4*c23*p36 + 4*c33*p19 + 2*c33*p35 - 3*k102*n2 - 2*k36*m1 + 2*k39*n2 - 2*
k48*n1 - 4*k69*n3 + 4*k70*n2 + 2*k74*m3 - k76*m2 + 2*k82*n3 + k90*m3 - 2*k91*m2
 + k92*n1 - 2*k96*n2 + k97*n3,
2*a22*p24 + 2*a22*p40 - 2*a33*p37 - 2*a33*p40 + b22*p12 + b22*p20 + b22*p32 + 2
*b31*p17 - 2*b31*p19 - b32*p11 - b33*p12 - b33*p20 - b33*p32 - 4*c12*p5 - 2*c12
*p7 + 4*c13*p2 + 2*c13*p9 + 2*c22*p6 - 2*c23*p3 + 2*c23*p8 - 2*c33*p6 - k28*m3 
+ k31*m2 - k32*m1 - k36*n3 + k37*n2 - k43*n3 - k46*n1 - k61*m3 + k63*m2 + k64*
m1 - k67*n3 + k68*n2 + k73*n2 - k74*n1 - k75*n3 + k77*n1 + k89*n2 + k90*n1,
4*a22*p39 + 2*a22*p44 + 4*a33*p39 - 4*a33*p44 - 4*b22*p15 + b22*p28 + b22*p41 +
 2*b22*p47 + 4*b31*p23 + 5*b31*p26 + 4*b32*p14 - 2*b32*p27 + 2*b33*p15 - 2*b33*
p28 - b33*p41 - 6*c12*p20 - 4*c13*p13 + 6*c13*p18 + 2*c13*p34 + 2*c22*p21 + 4*
c22*p36 - 4*c23*p19 + 4*c23*p22 - 2*c23*p35 - 2*c33*p21 + 4*k39*n3 - 4*k40*n2 -
 2*k44*m3 + k46*m2 + k49*n1 - 3*k52*n3 - 2*k68*m1 + 2*k70*n3 - k76*m3 + 2*k77*
m2 + k82*n2 - 2*k83*n3 - 2*k93*n1 + 2*k97*n2

Computing time

On a Pentium 4 PC with 1.7GHz running REDUCE 3.7 with 120 MB RAM under Linux the computation took about 15 hours but also a few manual interactions with the computation.