Problem E(3), a_11=a_22


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
Solutions after merging: 1 | 2 | 3 | 4 | 5 | 6

Unknowns

All solutions for the following 217 unknowns have to be determined:
k1,k2,k3,k4,k5,k6,k7,k8,k9,k10,
k11,k12,k13,k14,k16,k17,k18,k19,k20,k21,k22,
k23,k24,k25,k26,k27,k28,k29,k30,k32,k33,k34,
k35,k36,k37,k38,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,k105,k106,k107,k108,k109,k110,k112,k113,
k114,k115,k116,k117,k118,k119,k120,k121,k122,k124,k125,
p1,p2,p3,p4,p5,p6,p7,p8,p9,p10,p11,
p12,p13,p14,p15,p16,p17,p18,p19,p20,p21,p22,
p23,p24,p25,p26,p27,p28,p29,p30,p31,p32,p33,
p34,p35,p36,p37,p38,p39,p40,p41,p42,p43,p44,
p45,p46,p47,p48,p49,p50,p51,p52,p53,p54,p55,
p56,q1,q2,q3,q4,q5,q7,q8,q9,q10,q11,
q12,q13,q14,q15,q16,q17,q19,q20,r1,r2,r3,
r4,r5,r6,m3,m2,m1,n3,n2,n1,c33,c23,
c22,c13,c12,b33,b32,b31,b22,a33,a22

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.
{a33}, {a22 - a33}, {a22},
{k1,k2,k3,k4,k5,k6,k7,k8,k9,k10,
 k11,k12,k13,k14,k16,k17,k18,k19,k20,k21,k22,
 k23,k24,k25,k26,k27,k28,k29,k30,k32,k33,k34,
 k35,k36,k37,k38,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,k105,k106,k107,k108,k109,k110,k112,k113,
 k114,k115,k116,k117,k118,k119,k120,k121,k122,k124,k125}

Equations

All comma separated 451 expressions involving 5469 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*k45 + b33*k14,
b31*k14 - b32*k13,
2*a22*k36 - b33*k2,
c13*k122 - c23*k121,
b31*k55 - 2*c12*k34 + 2*c13*k33,
2*a22*k74 + b22*k9 + b31*k4,
2*a22*k19 + b22*k4 - b33*k4,
2*a33*k25 - b22*k13 + b33*k13,
2*a22*k71 - b22*k6 + b32*k2,
b32*k69 - 2*c12*k68 + 2*c23*k66,
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,
b31*k110 - b32*k109 + 2*c13*k79 - 2*c23*k78,
b31*k79 - b32*k78 + 2*c13*k14 - 2*c23*k13,
b32*k48 + b32*k57 - 2*c12*k42 + 2*c23*k38,
b32*k19 + b32*k38 - 2*c12*k9 + 2*c23*k4,
2*a22*k116 - b33*k107 + 2*c13*k72 - 6*c23*k71,
2*a22*k91 - b33*k72 + 2*c13*k2 - 8*c23*k1,
b31*k33 + b31*k52 - 2*c12*k29 + 2*c13*k27,
a22*k18 + b22*k3 - b33*k3 + 2*b33*k5,
2*a22*k74 - b22*k9 - 2*b32*k3 + 4*b32*k5,
2*a22*k73 + b22*k8 + 2*b31*k3 - 4*b31*k5,
b31*k27 + b31*k46 - 2*c12*k20 + 2*c13*k17,
b31*k17 + b31*k36 - 2*c12*k6 + 2*c13*k2,
2*a22*k73 - b22*k8 - 3*b32*k2 + 3*b32*k4,
2*a22*k72 + b22*k7 + 3*b31*k2 - 3*b31*k4,
2*a22*k71 + b22*k6 + 4*b31*k1 - 2*b31*k3,
2*a22*k72 - b22*k7 - 4*b32*k1 + 2*b32*k3,
b32*k63 + b32*k66 - 2*c12*k60 + 2*c23*k57,
b31*k122 - b32*k121 + 2*c13*k110 - 2*c23*k109,
2*a22*k125 - b33*k122 + 2*c13*k107 - 4*c23*k106,
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,
2*a22*k113 + b22*k107 - b33*k107 - 6*c13*k74 + 2*c23*k73,
2*a22*k83 + b22*k73 - b33*k73 - 8*c13*k5 + 2*c23*k4,
2*a33*k55 + b31*k54 - b32*k34 + b33*k33 + 2*c13*k30,
2*a22*k83 + b22*k22 + b31*k18 + 2*c12*k9 - 8*c13*k5,
2*a33*k54 + b31*k51 + b33*k30 - 6*c12*k25 + 2*c13*k24,
2*a33*k51 + b31*k45 - 3*b32*k25 + b33*k24 + 2*c13*k14,
2*a22*k17 - 2*a22*k38 + 3*b22*k2 - 3*b33*k2 + 3*b33*k4,
a22*k16 - a22*k37 + 2*b22*k1 - 2*b33*k1 + b33*k3,
b33*k125 + 2*c12*k121 - 2*c13*k113 + 2*c23*k112 + 2*c33*k122,
2*a22*k124 + b22*k121 - b33*k121 - 4*c13*k108 + 2*c23*k107,
2*c13*r2 - 2*c23*r1 + m1*q17 - m2*q16 + n1*q20 - n2*q19,
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*q17 - 2*c23*q16 + m1*p52 - m2*p51 + n1*p55 - n2*p54,
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*p52 - 2*c23*p51 - k121*m2 + k122*m1 - k124*n2 + k125*n1,
2*a33*k51 - b22*k43 - 3*b31*k45 + b32*k25 + b33*k43 + 2*c23*k13,
2*a22*k93 - b22*k42 - b32*k18 - 2*b32*k37 + 2*c12*k8 - 4*c23*k3,
2*a22*k101 - b22*k59 - b32*k46 + b32*k57 + 2*c12*k40 - 6*c23*k36,
2*a22*k91 - b22*k40 - b32*k16 + b32*k37 + 2*c12*k6 - 8*c23*k1,
2*a22*k90 + b22*k34 + b31*k32 - b31*k53 + 2*c12*k30 - 4*c13*k28,
2*a22*k88 + b22*k30 + b31*k27 - b31*k48 + 2*c12*k22 - 6*c13*k19,
2*a22*k45 + 2*a22*k79 - 2*a33*k79 + b31*k11 - 2*b32*k10 - b33*k14,
2*a22*k24 - 2*a33*k24 - 2*a33*k43 - b31*k14 + 3*b32*k13 - b33*k11,
2*a22*k43 + 2*a22*k76 - 2*a33*k76 + b31*k7 - 3*b32*k6 - b33*k11,
2*a22*k21 - 2*a33*k21 - 2*a33*k40 - b31*k11 + 2*b32*k10 - b33*k7,
2*a22*k40 + 2*a22*k72 - 2*a33*k72 + b31*k2 - 4*b32*k1 - b33*k7,
2*a22*k17 - 2*a33*k17 - 2*a33*k36 - b31*k7 + b32*k6 - b33*k2,
2*a22*k105 - b22*k68 - b32*k62 + b32*k67 + 2*c12*k59 - 4*c23*k56,
b31*r5 - 2*c12*r3 + 2*c13*r2 - m2*q9 + m3*q8 - n2*q19 + n3*q14,
b32*r4 - 2*c12*r3 + 2*c23*r1 - m1*q13 + m3*q11 - n1*q20 + n3*q14,
2*a33*r5 - b32*r3 + b33*r2 + m3*q5 - n1*q8 + n2*q7 + n3*q13,
b32*r1 - m1*q5 + m3*q2 - n1*q13 - n1*q17 + n3*q11 + n3*q8,
b31*r2 - m2*q4 + m3*q2 - n2*q16 - n2*q9 + n3*q11 + n3*q8,
2*a22*r5 - b33*r2 + m1*q2 - 2*m2*q1 + n1*q11 - n2*q7 - n3*q17,
b31*q14 - 2*c12*q9 + 2*c13*q8 - m2*p19 + m3*p18 - n2*p45 + n3*p30,
b31*q2 - m2*p5 + m3*p2 - n2*p14 - n2*p36 + n3*p12 + n3*p21,
b32*q2 - m1*p7 + m3*p3 - n1*p25 - n1*p38 + n3*p13 + n3*p22,
b32*q14 - 2*c12*q13 + 2*c23*q11 - m1*p33 + m3*p31 - n1*p50 + n3*p34,
b32*p3 + k19*n3 + k38*n3 + k4*m3 - k42*n1 - k74*n1 - k9*m1,
b32*p34 - 2*c12*p33 + 2*c23*p31 - k105*n1 + k66*m3 - k68*m1 + k69*n3,
b31*p2 + k17*n3 + k2*m3 - k20*n2 + k36*n3 - k6*m2 - k71*n2,
b31*p30 - 2*c12*p19 + 2*c13*p18 + k33*m3 - k34*m2 + k55*n3 - k90*n2,
2*a33*k64 - b22*k59 - 2*b31*k61 + b32*k51 + b33*k59 - 6*c12*k45 + 2*c23*k43,
2*a22*k82 - 2*a22*k93 + 2*b22*k72 - 2*b33*k72 + 3*b33*k74 - 6*c13*k4 + 4*c23*k3
,
a22*k112 - a22*k117 + b22*k106 - b33*k106 + b33*k108 - 2*c13*k73 + 2*c23*k72,
2*a22*k102 - b22*k60 - b32*k47 - 2*b32*k56 + 2*b32*k58 + 2*c12*k41 - 4*c23*k37,
2*a22*k92 - b22*k41 - b32*k17 - 3*b32*k36 + 2*b32*k38 + 2*c12*k7 - 6*c23*k2,
2*a22*k81 - 2*a22*k92 + 3*b22*k71 - 3*b33*k71 + 2*b33*k73 - 4*c13*k3 + 6*c23*k2
,
2*a22*k46 - b31*k72 - b33*k17 - b33*k36 - 8*c12*k1 + 2*c23*k6 - 2*c33*k2,
b31*k100 + b33*k55 + 2*c12*k32 - 2*c12*k89 + 2*c13*k88 - 2*c23*k34 + 2*c33*k33,
2*a22*k18 - 2*a22*k77 - 2*a33*k18 - 2*b22*k12 - b31*k8 - b32*k9 + 4*b33*k5,
2*a22*k38 - 2*a33*k19 - 2*a33*k38 + b22*k4 + b31*k9 - b32*k8 - b33*k4,
2*a22*k24 + 2*a22*k76 - 2*a33*k76 + b22*k11 - 3*b31*k9 + b32*k8 - b33*k11,
2*a22*k22 + 2*a22*k73 - 2*a33*k73 + b22*k8 - 4*b31*k5 + b32*k4 - b33*k8,
2*a22*k41 - 2*a33*k22 - 2*a33*k41 + b22*k8 + 2*b31*k12 - b32*k11 - b33*k8,
2*a22*k87 + b22*k29 + 2*b31*k26 - 2*b31*k28 - b31*k47 + 2*c12*k21 - 4*c13*k18,
2*a22*k82 + b22*k21 + 2*b31*k17 - 3*b31*k19 - b31*k38 + 2*c12*k8 - 6*c13*k4,
2*a22*k81 + b22*k20 + 3*b31*k16 - 2*b31*k18 - b31*k37 + 2*c12*k7 - 4*c13*k3,
2*a22*k23 - 2*a22*k80 - 2*a33*k23 + 2*a33*k44 - b31*k13 - 3*b32*k14 + 2*b33*k12
,
2*a22*k25 + 2*a22*k78 - 2*a33*k78 + b22*k13 - 2*b31*k12 + b32*k11 - b33*k13,
2*a22*k43 - 2*a33*k24 - 2*a33*k43 + b22*k11 + 3*b31*k14 - b32*k13 - b33*k11,
2*a33*k69 - b22*k66 - b31*k68 + b32*k64 + b33*k66 - 4*c12*k61 + 2*c23*k59,
b22*k124 - b33*k124 - 2*c12*k122 - 2*c13*k117 + 2*c22*k121 + 2*c23*k116 - 2*c33
*k121,
2*a33*r4 - b22*r1 - b31*r3 + b33*r1 + m3*q4 + n1*q12 - n2*q11 + n3*q9,
b31*r2 - b32*r1 + m1*q5 - m2*q4 + n1*q13 + n1*q17 - n2*q16 - n2*q9,
2*a22*r4 + b22*r1 - b33*r1 - 2*m1*q3 + m2*q2 - n1*q12 + n2*q8 - n3*q16,
b31*q5 - b32*q4 + m1*p9 - m2*p8 + n1*p26 + n1*p40 - n2*p16 - n2*p39,
2*a33*q13 + b33*q5 - 3*m2*p10 + m3*p9 - n1*p15 + n2*p14 - n2*p41 + n3*p26,
2*a22*q11 - b33*q2 + m1*p2 - 3*m2*p1 + n1*p21 - n2*p11 + n2*p39 - n3*p37,
2*a33*p26 - 3*b32*p10 + b33*p9 + k14*m3 + k23*n2 - k24*n1 + k45*n3 - k80*n2,
b31*p9 - b32*p8 - k13*m2 + k14*m1 - k25*n2 + k45*n1 - k78*n2 + k79*n1,
2*a22*p38 + b22*p7 + b31*p3 + k18*n3 - k22*n1 - 4*k5*m3 + k74*n2 + k9*m2,
2*a22*p13 + b22*p3 - b33*p3 + k19*n2 + k4*m2 - 4*k5*m1 - k73*n3 + k77*n1,
2*a22*p21 - b33*p2 - 4*k1*m2 - k16*n2 + k2*m1 + k36*n1 - k72*n3 + k75*n2,
2*a33*k96 - b31*k24 + b32*k23 - 3*b32*k80 + b33*k45 + b33*k79 + 2*c12*k13 + 2*
c33*k14,
2*a22*k110 + 2*a22*k96 - 2*a33*k110 + b31*k76 - 2*b32*k75 - b33*k79 + 2*c13*k11
 - 4*c23*k10,
2*a22*k118 + 2*a22*k122 - 2*a33*k122 + b31*k107 - 2*b32*k106 - b33*k110 + 2*c13
*k76 - 4*c23*k75,
2*a22*k107 + 2*a22*k94 - 2*a33*k107 + b31*k72 - 3*b32*k71 - b33*k76 + 2*c13*k7 
- 6*c23*k6,
b31*k125 + b33*k119 + 2*c12*k112 + 2*c13*k122 - 2*c13*k88 - 2*c23*k114 + 2*c23*
k87 + 2*c33*k113,
2*a22*k21 - 2*a22*k79 - 2*a33*k21 + 2*a33*k42 - 3*b22*k14 - b31*k11 - 2*b32*k12
 + 3*b33*k9,
2*a22*k44 - 2*a22*k80 + 2*a33*k23 - 2*a33*k44 - 2*b22*k10 - 3*b31*k13 - b32*k14
 + 2*b33*k10,
2*a22*r6 + b22*r3 + b31*r1 + m2*q5 - 2*m3*q3 - n1*q9 + n2*q17 - n3*q12 + n3*q7,
2*a22*r6 - b22*r3 + b32*r2 + m1*q4 - 2*m3*q1 + n1*q16 - n2*q13 + n3*q12 - n3*q7
,
2*a33*q9 - b22*q4 + b33*q4 - 3*m1*p10 + m3*p8 + n1*p25 - n1*p41 - n2*p24 + n3*
p16,
2*a22*q17 + b22*q5 + b31*q2 + m2*p7 - 3*m3*p4 - n1*p15 + n2*p38 + n3*p12 - n3*
p23,
2*a22*q8 + b22*q2 - b33*q2 - 3*m1*p4 + m2*p3 - n1*p23 + n1*p40 + n2*p13 - n3*
p37,
2*a22*q16 - b22*q4 + b32*q2 + m1*p5 - 3*m3*p1 + n1*p36 - n2*p24 - n3*p11 + n3*
p22,
2*a33*p16 - b22*p8 - 3*b31*p10 + b33*p8 + k13*m3 + k25*n3 - k43*n2 + k44*n1 - 
k80*n1,
2*a22*p55 - b33*p52 + 2*c13*p37 - 4*c23*p36 - 2*k106*m2 + k107*m1 - k112*n2 + 
k116*n1 - k122*n3,
2*a22*p36 - b22*p5 + b32*p2 - 4*k1*m3 - k16*n3 + k37*n3 - k40*n2 + k6*m1 + k71*
n1,
2*a33*k125 - b31*k113 + b32*k112 + b33*k118 + b33*k122 + 2*c12*k109 - 2*c13*k85
 + 2*c23*k84 + 2*c33*k110,
2*a22*k119 - b31*k122 - b33*k113 - b33*k116 - 4*c12*k106 + 2*c13*k82 + 2*c23*
k109 - 4*c23*k81 - 2*c33*k107,
2*a22*k97 - b31*k107 - b33*k82 - b33*k91 - 6*c12*k71 + 2*c13*k17 - 6*c23*k16 + 
2*c23*k75 - 2*c33*k72,
4*a33*k61 + b22*k23 - b22*k80 + 2*b31*k25 - 2*b32*k45 - b33*k23 + b33*k44 - 2*
c13*k13 + 2*c23*k14,
2*a22*k109 + 2*a22*k86 - 2*a33*k109 + b22*k78 - 2*b31*k77 + b32*k76 - b33*k78 -
 4*c13*k12 + 2*c23*k11,
2*a22*k114 + 2*a22*k121 - 2*a33*k121 + b22*k109 - 2*b31*k108 + b32*k107 - b33*
k109 - 4*c13*k77 + 2*c23*k76,
2*a22*k107 + 2*a22*k85 - 2*a33*k107 + b22*k76 - 3*b31*k74 + b32*k73 - b33*k76 -
 6*c13*k9 + 2*c23*k8,
4*a22*k108 - 4*a22*k28 - b22*k18 + b22*k77 + b31*k73 + b33*k18 - 2*c12*k4 + 2*
c23*k9 - 8*c33*k5,
2*a22*k93 + b22*k42 + b22*k74 + b31*k19 + b31*k38 + b32*k18 + 2*c13*k4 + 2*c22*
k9 - 8*c23*k5,
b22*k90 + 4*b31*k35 - 2*b31*k65 - b32*k55 + 2*c12*k54 + 2*c13*k32 - 2*c13*k53 +
 2*c22*k34 - 2*c23*k33,
b31*k119 + b33*k100 - 2*c12*k114 + 2*c12*k87 + 2*c13*k113 - 2*c13*k33 + 2*c23*
k32 - 2*c23*k89 + 2*c33*k88,
2*a22*k33 - 2*a33*k33 - 2*a33*k52 - b31*k30 - b31*k49 + b32*k29 - b33*k27 + 4*
c12*k23 - 2*c13*k21,
2*a22*k30 - 2*a33*k30 - 2*a33*k49 - b31*k24 - b31*k43 + 2*b32*k23 - b33*k21 + 6
*c12*k13 - 2*c13*k11,
2*a22*k27 - 2*a33*k27 - 2*a33*k46 - b31*k21 - b31*k40 + b32*k20 - b33*k17 + 4*
c12*k10 - 2*c13*k7,
2*a22*k41 - 2*a22*k78 + 2*a33*k20 - 2*a33*k41 + 3*b22*k13 - 3*b22*k6 - 2*b31*
k10 - b32*k11 + 3*b33*k6,
2*a22*k37 - 2*a22*k75 + 2*a33*k16 - 2*a33*k37 - 4*b22*k1 + 2*b22*k10 - b31*k6 -
 b32*k7 + 4*b33*k1,
b22*k105 + b31*k69 + 2*b32*k65 - 4*b32*k70 - 2*c12*k64 + 2*c13*k66 + 2*c22*k68 
+ 2*c23*k62 - 2*c23*k67,
b22*k69 - b32*k104 - b33*k69 + 2*c12*k103 - 2*c12*k67 + 2*c13*k68 + 2*c22*k66 -
 2*c23*k101 - 2*c33*k66,
b33*r5 + 2*c12*r1 - 2*c23*r3 + 2*c33*r2 - m1*q8 + m2*q7 + m3*q17 - n1*q14 + 2*
n2*q10 + n3*q20,
b31*q17 - b32*q16 + 2*c13*q5 - 2*c23*q4 + m1*p40 - m2*p39 + n1*p48 + n1*p52 - 
n2*p44 - n2*p51,
b31*q11 + b31*q8 - 2*c12*q4 + 2*c13*q2 - m2*p14 + m3*p12 - n2*p19 - n2*p42 + n3
*p18 + n3*p27,
b32*q11 + b32*q8 - 2*c12*q5 + 2*c23*q2 - m1*p25 + m3*p22 - n1*p33 - n1*p47 + n3
*p28 + n3*p31,
2*a22*q20 - b33*q17 + 2*c13*q2 - 4*c23*q1 + m1*p37 - 2*m2*p36 + n1*p46 - n2*p42
 + n2*p53 - n3*p52,
2*a22*q1 - 2*a22*q3 - 2*a33*q1 + 2*a33*q3 - n1*p3 + n1*p8 + n2*p2 - n2*p9 - n3*
p5 + n3*p7,
b31*p40 - b32*p39 + 2*c13*p9 - 2*c23*p8 - k109*n2 + k110*n1 - k78*m2 + k79*m1 -
 k86*n2 + k96*n1,
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,
b32*p13 + b32*p22 - 2*c12*p7 + 2*c23*p3 + k38*m3 - k42*m1 + k48*n3 + k57*n3 - 
k60*n1 - k93*n1,
b31*p52 - b32*p51 + 2*c13*p40 - 2*c23*p39 - k109*m2 + k110*m1 - k114*n2 + k118*
n1 - k121*n2 + k122*n1,
2*a22*p54 + b22*p51 - b33*p51 - 4*c13*p38 + 2*c23*p37 + k107*m2 - 2*k108*m1 + 
k113*n2 - k117*n1 - k121*n3,
2*a22*p46 - b33*p37 + 2*c13*p2 - 6*c23*p1 - k107*n3 + k109*n2 - 3*k71*m2 + k72*
m1 - k81*n2 + k91*n1,
b32*p28 + b32*p31 - 2*c12*p25 + 2*c23*p22 - k102*n1 + k57*m3 - k60*m1 + k63*n3 
+ k66*n3 - k68*n1,
b31*p12 + b31*p21 - 2*c12*p5 + 2*c13*p2 + k17*m3 - k20*m2 + k27*n3 - k29*n2 + 
k46*n3 - k81*n2,
b31*p18 + b31*p27 - 2*c12*p14 + 2*c13*p12 + k27*m3 - k29*m2 + k33*n3 - k34*n2 +
 k52*n3 - k87*n2,
2*a33*k118 - b31*k85 + b32*k84 + b33*k110 + b33*k96 + 2*c12*k78 - 2*c13*k24 + 2
*c23*k23 - 6*c23*k80 + 2*c33*k79,
4*a22*k115 + b22*k112 - b31*k121 - b33*k112 + b33*k117 + 2*c12*k107 - 4*c13*k83
 - 2*c23*k110 + 2*c23*k82 + 4*c33*k108,
2*a22*k55 - b31*k88 - b31*k97 - b33*k33 - b33*k52 - 4*c12*k26 + 2*c12*k84 - 2*
c13*k82 + 2*c23*k29 - 2*c33*k27,
2*a22*k52 - b31*k82 - b31*k91 - b33*k27 - b33*k46 - 6*c12*k16 + 2*c12*k75 - 2*
c13*k72 + 2*c23*k20 - 2*c33*k17,
2*a22*k59 - 2*a33*k50 - 2*a33*k59 + b22*k41 + 2*b31*k44 - b32*k24 - b32*k43 - 
b33*k41 + 6*c12*k14 - 2*c23*k11,
2*a22*k66 - 2*a33*k63 - 2*a33*k66 + b22*k57 + b31*k60 - b32*k50 - b32*k59 - b33
*k57 + 4*c12*k44 - 2*c23*k41,
2*a22*k57 - 2*a33*k48 - 2*a33*k57 + b22*k38 + b31*k42 - b32*k22 - b32*k41 - b33
*k38 + 4*c12*k12 - 2*c23*k8,
2*a22*k48 + b22*k19 + b22*k38 - b32*k73 - b33*k19 - b33*k38 - 8*c12*k5 + 2*c13*
k9 + 2*c22*k4 - 2*c33*k4,
2*a22*k81 - b22*k20 - b22*k71 - b31*k16 + b31*k37 + b32*k17 + b32*k36 - 8*c13*
k1 - 2*c22*k6 + 2*c23*k2,
4*a22*k37 + 2*a22*k77 - 2*a33*k18 - 4*a33*k37 - 2*b22*k12 + 2*b22*k3 + b31*k8 -
 2*b32*k7 + 3*b32*k9 - 2*b33*k3,
2*a22*k32 - 2*a22*k89 - 2*a33*k32 + 2*a33*k53 - b31*k29 + b31*k50 - b32*k30 + 2
*b33*k28 - 4*c12*k24 + 4*c13*k22,
b22*k119 - b32*k124 - b33*k119 - 2*c12*k117 - 2*c13*k102 + 2*c13*k118 + 2*c22*
k116 + 2*c23*k101 - 2*c23*k121 - 2*c33*k116,
2*a33*q14 + b31*q13 - b32*q9 + b33*q8 + 2*c13*q5 - 2*m2*p16 + m3*p15 - n1*p18 +
 n2*p17 - n2*p44 + n3*p29,
2*a22*q19 + b22*q16 - b33*q16 - 4*c13*q3 + 2*c23*q2 - 2*m1*p38 + m2*p37 - n1*
p47 + n1*p53 + n2*p43 - n3*p51,
2*a22*p38 - b22*p7 - 2*b32*p2 + 3*b32*p4 - k18*n3 - 2*k3*m3 - 2*k37*n3 + k41*n1
 - k42*n2 + k73*n1 + k8*m1,
2*a22*p43 + b22*p37 - b33*p37 - 6*c13*p4 + 2*c23*p3 - k107*n3 + k110*n1 + k73*
m2 - 3*k74*m1 + k83*n2 - k93*n1,
2*a33*p30 + b31*p29 - b32*p19 + b33*p18 - 4*c12*p16 + 2*c13*p15 + k30*m3 + k32*
n2 - k33*n1 + k54*n3 - k89*n2,
2*a33*k100 - b31*k33 + b31*k99 + b32*k32 - b32*k89 + b33*k54 + b33*k88 + 2*c12*
k29 - 4*c12*k86 + 2*c13*k85 + 2*c33*k30,
2*a22*k98 + b22*k83 + b22*k92 - b32*k107 - b33*k83 - b33*k92 - 6*c12*k74 + 2*
c13*k77 + 2*c22*k73 + 2*c23*k38 - 2*c33*k73,
4*a22*k120 - b22*k112 - b32*k122 + b33*k112 - b33*k117 + 2*c12*k107 - 2*c13*
k109 + 2*c13*k92 - 4*c22*k106 - 4*c23*k91 + 4*c33*k106,
2*a33*k86 - b22*k25 - b22*k78 + b31*k44 - 3*b31*k80 - b32*k43 + b33*k25 + b33*
k78 + 2*c12*k14 - 2*c22*k13 + 2*c33*k13,
4*a22*k106 - 4*a22*k56 + b22*k16 - b22*k75 + b32*k72 - b33*k16 + b33*k37 - 2*
c12*k2 + 2*c13*k6 + 8*c22*k1 - 8*c33*k1,
2*a22*k27 - 2*a22*k85 - 2*a33*k27 + 2*a33*k48 - 2*b22*k24 - b31*k21 + b31*k42 -
 b32*k22 + 3*b33*k19 - 4*c12*k12 + 6*c13*k9,
2*a22*k21 - 2*a22*k42 + 4*a22*k72 - 6*a22*k74 - 4*a33*k72 + 6*a33*k74 + 2*b22*
k7 - 3*b31*k4 + 2*b32*k3 - 2*b33*k7 + 3*b33*k9,
4*a22*k17 - 6*a22*k19 - 2*a22*k76 - 4*a33*k17 + 6*a33*k19 + 2*a33*k38 - 2*b22*
k11 - 2*b31*k7 + 3*b31*k9 - b32*k8 + 3*b33*k4,
2*a22*k29 - 2*a22*k86 - 2*a33*k29 + 2*a33*k50 - 3*b22*k25 - b31*k23 + b31*k44 -
 2*b32*k24 + 2*b33*k22 - 6*c12*k14 + 4*c13*k12,
a22*k23 - a22*k44 + 2*a22*k75 - 2*a22*k77 - 2*a33*k75 + 2*a33*k77 + b22*k10 - 
b31*k8 + b32*k7 - b33*k10 + b33*k12,
4*a22*k20 - 4*a22*k22 - 2*a22*k78 - 4*a33*k20 + 4*a33*k22 + 2*a33*k41 - 3*b22*
k13 - 2*b31*k10 + 2*b31*k12 - 2*b32*k11 + 2*b33*k8,
2*a22*k20 - 2*a22*k41 + 6*a22*k71 - 4*a22*k73 - 6*a33*k71 + 4*a33*k73 + 3*b22*
k6 - 2*b31*k3 + 3*b32*k2 - 3*b33*k6 + 2*b33*k8,
6*a22*k16 - 4*a22*k18 - 2*a22*k75 - 6*a33*k16 + 4*a33*k18 + 2*a33*k37 - 2*b22*
k10 - 3*b31*k6 + 2*b31*k8 - b32*k7 + 2*b33*k3,
b22*k104 - b32*k119 - b33*k104 - 2*c12*k102 + 2*c12*k118 + 2*c13*k103 - 2*c13*
k67 + 2*c22*k101 - 2*c23*k116 + 2*c23*k66 - 2*c33*k101,
b22*r4 - b33*r4 - 2*c12*r2 + 2*c13*r3 + 2*c22*r1 - 2*c33*r1 - m1*q12 + m2*q11 -
 m3*q16 - 2*n1*q15 + n2*q14 - n3*q19,
2*a33*q14 - b22*q11 - b31*q13 + b32*q9 + b33*q11 + 2*c23*q4 - 2*m1*p26 + m3*p24
 + n1*p32 - n1*p48 - n2*p31 + n3*p29,
2*a22*q19 + b22*q9 - b31*q12 + b31*q7 + 2*c12*q5 - 4*c13*q3 + m2*p15 - 2*m3*p13
 - n1*p19 + n2*p43 + n3*p17 - n3*p28,
2*a22*q16 + b22*q4 + 2*b31*q1 - 2*b31*q3 + m2*p6 - 2*m3*p3 - n1*p14 + n2*p15 + 
n2*p37 + 2*n3*p11 - 2*n3*p13 - n3*p22,
2*a22*q17 - b22*q5 - 2*b32*q1 + 2*b32*q3 + m1*p6 - 2*m3*p2 + n1*p24 + n1*p37 - 
n2*p25 - n3*p12 - 2*n3*p21 + 2*n3*p23,
2*a22*q20 - b22*q13 + b32*q12 - b32*q7 + 2*c12*q4 - 4*c23*q1 + m1*p24 - 2*m3*
p21 + n1*p46 - n2*p33 - n3*p27 + n3*p32,
2*a33*p29 + b31*p26 - 2*b32*p16 + b33*p15 - 6*c12*p10 + 2*c13*p9 + k24*m3 - 3*
k25*m2 + k29*n2 - k30*n1 + k51*n3 - k86*n2,
2*a22*p43 + b22*p15 + b31*p12 - b31*p23 + 2*c12*p7 - 6*c13*p4 - 3*k19*m3 + k22*
m2 + k27*n3 - k30*n1 - k48*n3 + k83*n2,
2*a22*p37 + b22*p6 + 2*b31*p2 - 3*b31*p4 + 2*k17*n3 - 3*k19*n3 - k21*n1 + k22*
n2 - k38*n3 - 3*k4*m3 + k73*n2 + k8*m2,
2*a22*p37 - b22*p6 - 3*b32*p1 + 2*b32*p3 - k17*n3 - 3*k2*m3 - 3*k36*n3 + 2*k38*
n3 + k40*n1 - k41*n2 + k7*m1 + k72*n1,
2*a22*p36 + b22*p5 + 3*b31*p1 - 2*b31*p3 + 3*k16*n3 - 2*k18*n3 - k20*n1 + k21*
n2 - 2*k3*m3 - k37*n3 + k7*m2 + k72*n2,
b33*p55 + 2*c12*p51 - 2*c13*p43 + 2*c23*p42 - 2*c23*p53 + 2*c33*p52 + k112*m2 -
 k113*m1 + 2*k115*n2 - k119*n1 + k122*m3 + k125*n3,
2*a22*p50 - b22*p33 - b32*p27 + b32*p32 + 2*c12*p24 - 4*c23*p21 + k101*n1 - 2*
k56*m3 + k59*m1 - k62*n3 + k67*n3 - k68*n2,
2*a22*p46 - b22*p24 - b32*p11 + b32*p22 + 2*c12*p5 - 6*c23*p1 - 3*k36*m3 + k40*
m1 - k46*n3 + k57*n3 - k59*n2 + k91*n1,
2*a22*p45 + b22*p19 + b31*p17 - b31*p28 + 2*c12*p15 - 4*c13*p13 - 2*k28*m3 + 
k30*m2 + k32*n3 - k34*n1 - k53*n3 + k88*n2,
2*a33*k124 - b22*k114 - b22*k121 + b31*k117 - b32*k116 + b33*k114 + b33*k121 + 
2*c12*k110 + 2*c13*k95 - 2*c22*k109 - 2*c23*k94 + 2*c33*k109,
8*a33*k35 - 4*a33*k65 - b22*k32 + b22*k89 + 2*b31*k34 - 2*b31*k64 + b33*k32 - 
b33*k53 + 4*c12*k51 + 2*c13*k29 - 2*c13*k50 - 2*c23*k30,
2*a33*k99 - b31*k30 + b31*k96 + b32*k29 - 2*b32*k86 + b33*k51 + b33*k85 + 2*c12
*k23 - 6*c12*k80 + 2*c13*k79 - 6*c23*k25 + 2*c33*k24,
4*a33*k54 - 6*a33*k68 - b22*k49 + b22*k96 - b31*k51 + b33*k49 - b33*k60 - 6*c12
*k25 + 2*c13*k43 + 6*c22*k45 + 2*c23*k23 - 2*c23*k44,
2*a22*k119 + b22*k113 + b22*k116 - b32*k121 - b33*k113 - b33*k116 - 4*c12*k108 
+ 2*c13*k110 - 4*c13*k93 + 2*c22*k107 + 2*c23*k92 - 2*c33*k107,
2*a22*k63 + b22*k48 + b22*k57 - b32*k83 - b32*k92 - b33*k48 - b33*k57 + 2*c12*
k77 + 2*c13*k42 + 2*c22*k38 - 2*c23*k73 - 2*c33*k38,
2*a22*k98 + b22*k50 + b22*k83 + 2*b31*k28 + b31*k47 - 2*b31*k58 + b32*k27 - b32
*k48 + 2*c12*k42 + 2*c13*k18 + 2*c22*k22 - 6*c23*k19,
2*a22*k102 + b22*k60 + b22*k93 + b31*k48 + b31*k57 + 2*b32*k28 + b32*k47 - 2*
b32*k58 - 2*c12*k22 + 2*c13*k38 + 2*c22*k42 + 2*c23*k18,
6*a22*k122 - 4*a22*k88 + b22*k110 - b22*k82 + b31*k107 + b33*k82 - b33*k93 - 2*
c12*k73 + 6*c13*k19 - 2*c23*k18 + 2*c23*k77 - 6*c33*k74,
2*a22*k100 - b31*k113 - b31*k116 - b33*k88 - b33*k97 + 2*c12*k109 - 4*c12*k81 -
 2*c13*k107 + 2*c13*k27 - 4*c23*k26 + 2*c23*k84 - 2*c33*k82,
2*a22*k60 - 2*a22*k96 + 2*a33*k49 - 2*a33*k60 - 2*b22*k40 + 3*b22*k45 - 2*b31*
k43 + b32*k23 - b32*k44 + 2*b33*k40 - 6*c12*k13 + 4*c23*k10,
2*a22*k103 - 2*a22*k67 - 2*a33*k62 + 2*a33*k67 + 2*b22*k56 - 2*b22*k61 + b31*
k59 - b32*k49 + b32*k60 - 2*b33*k56 + 4*c12*k43 - 4*c23*k40,
2*a22*k57 - 2*a22*k94 + 2*a33*k46 - 2*a33*k57 - 3*b22*k36 + 2*b22*k43 - b31*k40
 + b32*k20 - b32*k41 + 3*b33*k36 - 4*c12*k10 + 6*c23*k6,
b22*k100 + 3*b31*k55 - 3*b31*k69 + 4*b32*k35 - 2*b32*k65 - 2*c12*k34 + 2*c12*
k64 + 2*c13*k52 - 2*c13*k63 + 2*c22*k54 + 2*c23*k32 - 2*c23*k53,
6*a22*k36 - 4*a22*k38 + 2*a22*k76 - 2*a33*k17 - 6*a33*k36 + 4*a33*k38 - 2*b22*
k11 + 3*b22*k2 + b31*k7 - 3*b32*k6 + 2*b32*k8 - 3*b33*k2,
4*a22*k40 - 4*a22*k42 + 2*a22*k79 - 2*a33*k21 - 4*a33*k40 + 4*a33*k42 - 3*b22*
k14 + 2*b22*k7 + 2*b31*k11 - 2*b32*k10 + 2*b32*k12 - 2*b33*k7,
b22*k104 + 2*b31*k65 - 4*b31*k70 + 3*b32*k55 - 3*b32*k69 - 2*c12*k54 + 2*c12*
k68 + 2*c13*k62 - 2*c13*k67 + 2*c22*k64 + 2*c23*k52 - 2*c23*k63,
b33*q20 + 2*c12*q16 - 2*c13*q8 + 2*c23*q7 + 2*c33*q17 - m1*p43 + m2*p42 - m2*
p53 + m3*p52 - n1*p49 + 2*n2*p45 - 3*n2*p56 + n3*p55,
2*a22*q12 - 2*a22*q7 - 2*b22*q1 + 2*b33*q1 - 2*b33*q3 + 2*m1*p3 - 2*m2*p2 + n1*
p22 - n1*p39 - n2*p12 + n2*p40 + 2*n3*p36 - 2*n3*p38,
2*a33*p29 - b22*p24 - 2*b31*p26 + b32*p16 + b33*p24 - 6*c12*p10 + 2*c23*p8 + 
k43*m3 - 3*k45*m1 + k51*n3 - k59*n2 + k60*n1 - k96*n1,
2*a22*p12 - 2*a22*p23 + 2*b22*p2 - 2*b33*p2 + 3*b33*p4 + k18*n2 + 2*k3*m2 - k38
*n1 - 3*k4*m1 - 2*k72*n3 + 3*k74*n3 + k76*n1 - k77*n2,
2*a22*p11 - 2*a22*p22 + 3*b22*p1 - 3*b33*p1 + 2*b33*p3 + k17*n2 + 3*k2*m2 - 2*
k3*m1 - k37*n1 - 3*k71*n3 + 2*k73*n3 + k75*n1 - k76*n2,
2*a33*p34 - b22*p31 - b31*p33 + b32*p29 + b33*p31 - 4*c12*p26 + 2*c23*p24 - 
k103*n1 + k59*m3 - 2*k61*m1 + k64*n3 - k66*n2 + k67*n1,
2*a33*k119 + b31*k118 - b31*k88 - b32*k114 + b32*k87 + b33*k113 + b33*k99 + 2*
c12*k84 + 2*c13*k110 - 2*c13*k30 + 2*c23*k29 - 4*c23*k86 + 2*c33*k85,
4*a33*k65 - 8*a33*k70 + b22*k103 - b22*k62 + 2*b32*k54 - 2*b32*k68 + b33*k62 - 
b33*k67 - 4*c12*k51 + 2*c13*k59 + 4*c22*k61 + 2*c23*k49 - 2*c23*k60,
2*a33*k114 - b22*k109 - b22*k86 + b31*k95 - b32*k94 + b33*k109 + b33*k86 + 2*
c12*k79 + 2*c13*k44 - 6*c13*k80 - 2*c22*k78 - 2*c23*k43 + 2*c33*k78,
6*a33*k34 - 4*a33*k64 - b22*k29 + b22*k86 - 2*b31*k61 + b32*k51 + b33*k29 - b33
*k50 + 6*c12*k45 + 2*c13*k23 - 2*c13*k44 + 6*c22*k25 - 2*c23*k24,
2*a22*k69 + b22*k63 + b22*k66 - b32*k101 - b32*k98 - b33*k63 - b33*k66 - 4*c12*
k58 + 2*c12*k95 + 2*c13*k60 + 2*c22*k57 - 2*c23*k92 - 2*c33*k57,
4*a22*k115 - 8*a22*k35 - b22*k32 + b22*k89 + b31*k87 - b31*k98 + b33*k32 - b33*
k53 - 2*c12*k27 + 2*c12*k85 - 4*c13*k83 + 2*c23*k30 - 4*c33*k28,
2*a22*k100 + b22*k54 + b22*k88 + 3*b31*k33 + b31*k52 - 2*b31*k63 + b32*k32 - 
b32*k53 + 2*c12*k50 + 2*c13*k27 - 4*c13*k48 + 2*c22*k30 - 4*c23*k28,
2*a22*k105 + b22*k102 + b22*k68 + b31*k63 + b31*k66 + 2*b32*k53 + b32*k62 - 3*
b32*k67 - 2*c12*k50 + 2*c13*k57 + 2*c22*k60 + 2*c23*k47 - 4*c23*k58,
4*a22*k113 - 6*a22*k33 - b22*k27 + b22*k85 + b31*k82 - b31*k93 + b33*k27 - b33*
k48 - 2*c12*k18 + 2*c12*k77 - 6*c13*k74 + 2*c23*k22 - 6*c33*k19,
2*a22*k90 - b22*k34 - b22*k87 - 3*b31*k32 + b31*k53 + 2*b31*k62 + b32*k33 + b32
*k52 - 2*c12*k49 - 4*c13*k26 + 2*c13*k47 - 2*c22*k29 + 2*c23*k27,
2*a22*k104 - b22*k101 - b22*k64 - b31*k62 + b31*k67 - 2*b32*k52 + b32*k63 + 3*
b32*k66 + 2*c12*k49 - 4*c13*k56 - 2*c22*k59 - 4*c23*k46 + 2*c23*k57,
4*a22*k101 - 6*a22*k121 + b22*k109 - b22*k81 - b32*k107 + b33*k81 - b33*k92 + 2
*c12*k72 + 2*c13*k37 - 2*c13*k75 - 6*c22*k71 - 6*c23*k36 + 6*c33*k71,
2*a22*k87 - b22*k29 - b22*k81 - 2*b31*k26 + b31*k47 + 2*b31*k56 + b32*k27 + b32
*k46 - 2*c12*k40 - 6*c13*k16 + 2*c13*k37 - 2*c22*k20 + 2*c23*k17,
2*a22*k97 - b22*k49 - b22*k91 - b31*k46 + b31*k57 - 2*b32*k26 + b32*k47 + 2*b32
*k56 + 2*c12*k20 - 6*c13*k36 - 2*c22*k40 - 6*c23*k16 + 2*c23*k37,
2*a22*k106 - 2*a22*k108 + a22*k84 - a22*k95 - 2*a33*k106 + 2*a33*k108 + b22*k75
 - b31*k73 + b32*k72 - b33*k75 + b33*k77 - 2*c13*k8 + 2*c23*k7,
4*a22*k107 - 4*a22*k27 + 2*a22*k48 - 2*b22*k17 + b22*k76 + 2*b31*k72 - 3*b31*
k74 + 2*b33*k17 - 3*b33*k19 - b33*k38 - 4*c12*k3 + 2*c23*k8 - 6*c33*k4,
2*a22*k83 - 2*a22*k92 - b22*k22 - b22*k41 - b22*k73 - b31*k18 - 2*b31*k37 - 2*
b32*k17 + 3*b32*k19 + b32*k38 - 4*c13*k3 - 2*c22*k8 + 6*c23*k4,
4*a22*k106 - 4*a22*k26 + 2*a22*k47 - 3*b22*k16 + b22*k75 + 3*b31*k71 - 2*b31*
k73 + 3*b33*k16 - 2*b33*k18 - b33*k37 - 6*c12*k2 + 2*c23*k7 - 4*c33*k3,
b22*r6 + b31*r4 - b32*r5 + 2*c13*r1 + 2*c22*r3 - 2*c23*r2 - m1*q9 + m2*q13 - m3
*q12 + m3*q7 - n1*q19 + n2*q20 + 2*n3*q10 - 2*n3*q15,
b31*q20 + b33*q14 + 2*c12*q7 + 2*c13*q17 - 2*c23*q9 + 2*c33*q8 - m1*p18 + m2*
p17 - m2*p44 + m3*p43 - n1*p30 + 3*n2*p20 - 2*n2*p54 + n3*p49,
2*a22*q8 - 2*a33*q11 - 2*a33*q8 - b31*q5 + b32*q4 - b33*q2 + 2*m2*p8 - m3*p6 + 
n1*p12 - 2*n2*p11 + 2*n2*p16 + n2*p39 - n3*p15 - n3*p24,
2*a22*q7 + 2*a33*q12 - 2*a33*q7 - b31*q4 - b32*q5 + 2*b33*q3 - 2*m2*p9 + 2*m3*
p7 - 2*n1*p13 + 2*n1*p16 + n2*p12 - n2*p40 - n3*p14 + n3*p25,
2*a22*q13 + 2*a22*q17 - 2*a33*q17 + b31*q2 - 2*b32*q1 - b33*q5 + m1*p6 - 2*m2*
p5 + n1*p24 + n1*p37 - n2*p14 - 2*n2*p36 + 2*n2*p41 - n3*p40,
2*a22*p26 + 2*a22*p40 - 2*a33*p40 + b31*p6 - 2*b32*p5 - b33*p9 - 2*k10*m2 + k11
*m1 - k23*n2 + k43*n1 - 2*k75*n2 + k76*n1 - k79*n3 + 3*k80*n2,
2*a22*p15 - 2*a33*p15 - 2*a33*p24 - b31*p9 + 2*b32*p8 - b33*p6 - k11*m3 + 3*k13
*m2 - 2*k20*n2 + k21*n1 - k24*n3 + 3*k25*n2 - k43*n3 + k78*n2,
2*a22*p22 - 2*a33*p13 - 2*a33*p22 + b22*p3 + b31*p7 - b32*p6 - b33*p3 + 2*k12*
m1 - k22*n3 + k38*n2 - k41*n3 + 2*k44*n1 + k77*n1 - k8*m3,
2*a22*p24 + 2*a22*p37 - 2*a33*p37 + b31*p2 - 3*b32*p1 - b33*p6 - k20*n2 + k40*
n1 - 3*k6*m2 + k7*m1 - 3*k71*n2 + k72*n1 - k76*n3 + 2*k78*n2,
2*a22*p12 - 2*a33*p12 - 2*a33*p21 - b31*p6 + b32*p5 - b33*p2 + 2*k10*m2 - 3*k16
*n2 + k17*n1 - k21*n3 + 2*k23*n2 - k40*n3 - k7*m3 + k75*n2,
b22*p54 - b33*p54 - 2*c12*p52 - 2*c13*p47 + 2*c13*p53 + 2*c22*p51 + 2*c23*p46 -
 2*c33*p51 + k116*m2 - k117*m1 + k119*n2 - 2*k120*n1 - k121*m3 - k124*n3,
4*a22*k120 - 8*a22*k70 - b22*k103 + b22*k62 + b32*k102 - b32*k97 - b33*k62 + 
b33*k67 - 2*c12*k57 + 2*c12*k94 + 2*c13*k59 + 4*c22*k56 - 4*c23*k91 - 4*c33*k56
,
4*a22*k116 - 6*a22*k66 + b22*k46 - b22*k94 - b32*k81 + b32*k92 - b33*k46 + b33*
k57 - 2*c12*k37 + 2*c12*k75 + 2*c13*k40 + 6*c22*k36 - 6*c23*k71 - 6*c33*k36,
2*a22*k51 + 2*a22*k85 - 2*a33*k85 - 2*a33*k94 + b31*k21 - b31*k79 - 2*b32*k20 +
 2*b32*k78 - b33*k24 - b33*k43 - b33*k76 - 4*c12*k10 + 6*c23*k13 - 2*c33*k11,
4*a22*k108 + 2*a22*k47 - 4*a22*k58 + b22*k18 + 2*b22*k37 - b22*k77 - 2*b32*k72 
+ 3*b32*k74 - b33*k18 - 2*b33*k37 - 6*c12*k4 + 2*c13*k8 + 4*c22*k3 - 4*c33*k3,
2*a22*k47 - 2*a22*k95 - 4*a33*k28 - 2*a33*k47 + 4*a33*k58 + b22*k18 - 2*b22*k44
 - b22*k77 - b31*k41 - b32*k21 - b33*k18 - 2*c13*k8 - 4*c22*k12 + 6*c23*k9,
2*a22*k49 + 2*a22*k82 - 2*a33*k82 - 2*a33*k91 + b31*k17 - b31*k76 - 3*b32*k16 +
 b32*k75 - b33*k21 - b33*k40 - b33*k72 - 6*c12*k6 + 4*c23*k10 - 2*c33*k7,
2*a22*k82 - 2*a22*k91 - b22*k21 - b22*k40 - b22*k72 - b31*k17 - 3*b31*k36 + 2*
b31*k38 - 3*b32*k16 + 2*b32*k18 + b32*k37 - 6*c13*k2 - 2*c22*k7 + 4*c23*k3,
4*a22*k26 - 4*a22*k28 - 2*a22*k84 - 4*a33*k26 + 4*a33*k28 + 2*a33*k47 - 2*b22*
k23 - 2*b31*k20 + 2*b31*k22 + b31*k41 - b32*k21 + 2*b33*k18 - 4*c12*k11 + 4*c13
*k8,
2*a22*q11 - 2*a33*q11 - 2*a33*q8 + b22*q2 + b31*q5 - b32*q4 - b33*q2 + 2*m1*p9 
- m3*p6 - 2*n1*p23 + 2*n1*p26 + n1*p40 + n2*p22 - n3*p15 - n3*p24,
2*a22*q16 + 2*a22*q9 - 2*a33*q16 + b22*q4 - 2*b31*q3 + b32*q2 - b33*q4 - 2*m1*
p7 + m2*p6 - n1*p25 - 2*n1*p38 + 2*n1*p41 + n2*p15 + n2*p37 - n3*p39,
2*a22*q12 - 2*a33*q12 + 2*a33*q7 - 2*b22*q1 - b31*q4 - b32*q5 + 2*b33*q1 - 2*m1
*p8 + 2*m3*p5 + n1*p22 - n1*p39 - 2*n2*p21 + 2*n2*p26 + n3*p14 - n3*p25,
b22*q19 - b33*q19 - 2*c12*q17 - 2*c13*q12 + 2*c22*q16 + 2*c23*q11 - 2*c33*q16 -
 m1*p47 + m1*p53 + m2*p46 - m3*p51 - 2*n1*p50 + 3*n1*p56 + n2*p49 - n3*p54,
2*a22*p24 - 2*a33*p15 - 2*a33*p24 + b22*p6 + 2*b31*p9 - b32*p8 - b33*p6 - k11*
m3 + 3*k14*m1 - k24*n3 + k41*n2 - 2*k42*n1 - k43*n3 + 3*k45*n1 + k79*n1,
2*a22*p16 + 2*a22*p39 - 2*a33*p39 + b22*p8 - 2*b31*p7 + b32*p6 - b33*p8 + k11*
m2 - 2*k12*m1 + k24*n2 - k44*n1 + k76*n2 - 2*k77*n1 - k78*n3 + 3*k80*n1,
2*a22*p15 + 2*a22*p37 - 2*a33*p37 + b22*p6 - 3*b31*p4 + b32*p3 - b33*p6 + k22*
n2 - k42*n1 + k73*n2 - 3*k74*n1 - k76*n3 + 2*k79*n1 + k8*m2 - 3*k9*m1,
2*a22*p48 + 2*a22*p52 - 2*a33*p52 + b31*p37 - 2*b32*p36 - b33*p40 + 2*c13*p6 - 
4*c23*p5 - 2*k106*n2 + k107*n1 - k110*n3 - 2*k75*m2 + k76*m1 - k84*n2 + k94*n1,
2*a22*p47 - b22*p25 - b32*p12 - 2*b32*p21 + 2*b32*p23 + 2*c12*p6 - 4*c23*p2 - 2
*k37*m3 + k41*m1 - k47*n3 - 2*k56*n3 + 2*k58*n3 + k59*n1 - k60*n2 + k92*n1,
2*a22*p42 + b22*p14 + 2*b31*p11 - 2*b31*p13 - b31*p22 + 2*c12*p6 - 4*c13*p3 - 2
*k18*m3 + k21*m2 + 2*k26*n3 - 2*k28*n3 - k29*n1 + k30*n2 - k47*n3 + k82*n2,
b31*p49 + b33*p30 + 2*c12*p17 - 2*c12*p44 + 2*c13*p43 - 2*c23*p19 + 2*c33*p18 +
 k100*n3 - 2*k115*n2 + k32*m2 - k33*m1 + 4*k35*n2 - k55*n1 + k88*m3 - k89*m2,
2*a22*p42 - 2*a22*p47 + 2*b22*p36 - 2*b33*p36 + 2*b33*p38 - 4*c13*p3 + 4*c23*p2
 - 2*k106*n3 + 2*k108*n3 + k109*n1 - k110*n2 + 2*k72*m2 - 2*k73*m1 + k82*n2 - 
k92*n1,
2*a33*k104 - b22*k101 - b22*k64 - b31*k103 + b31*k67 - b32*k66 + b32*k99 + b33*
k101 + b33*k64 + 2*c12*k60 - 4*c12*k96 - 4*c13*k61 - 2*c22*k59 + 2*c23*k94 + 2*
c33*k59,
2*a33*k99 - b22*k51 - b22*k94 + b31*k60 - 2*b31*k96 - b32*k59 + b32*k86 + b33*
k51 + b33*k94 + 2*c12*k44 - 6*c12*k80 - 6*c13*k45 - 2*c22*k43 + 2*c23*k78 + 2*
c33*k43,
6*a22*k124 - 6*a22*k90 + b22*k114 - b22*k87 + b31*k112 - b31*k117 + b33*k87 - 
b33*k98 + 2*c12*k110 - 2*c12*k82 - 4*c13*k108 + 4*c13*k28 - 2*c23*k27 + 2*c23*
k85 - 4*c33*k83,
2*a22*k104 + b22*k101 + b22*k98 - b32*k113 - b32*k116 - b33*k101 - b33*k98 + 2*
c12*k110 - 4*c12*k93 - 4*c13*k58 + 2*c13*k95 + 2*c22*k92 - 2*c23*k107 + 2*c23*
k57 - 2*c33*k92,
6*a22*k121 - 4*a22*k87 + 2*a22*k98 + b22*k109 - 2*b22*k81 + 2*b31*k106 - 2*b31*
k108 + 2*b33*k81 - 2*b33*k83 - b33*k92 - 4*c12*k72 + 4*c13*k18 - 4*c23*k17 + 2*
c23*k76 - 4*c33*k73,
2*a22*k84 - 2*a33*k84 + 2*a33*k95 + b22*k23 - 3*b22*k80 - 2*b31*k22 - b31*k78 +
 b32*k21 - 2*b32*k79 - b33*k23 + b33*k44 + 2*b33*k77 + 2*c12*k11 - 6*c23*k14 + 
4*c33*k12,
4*a22*k107 + 2*a22*k46 - 4*a22*k57 + b22*k17 + 3*b22*k36 - b22*k76 - 3*b32*k71 
+ 2*b32*k73 - b33*k17 - 3*b33*k36 + 2*b33*k38 - 4*c12*k3 + 2*c13*k7 + 6*c22*k2 
- 6*c33*k2,
4*a22*k56 - 4*a22*k58 + 2*a22*k95 - 2*a33*k47 - 4*a33*k56 + 4*a33*k58 + 2*b22*
k37 - 2*b22*k44 + b31*k41 - b32*k21 - 2*b32*k40 + 2*b32*k42 - 2*b33*k37 + 4*c12
*k11 - 4*c23*k7,
2*a22*k47 - 2*a22*k84 + 4*a33*k26 - 2*a33*k47 - 4*a33*k56 - 3*b22*k16 + 2*b22*
k23 + b22*k75 - b31*k41 - b32*k21 + 3*b33*k16 - b33*k37 + 6*c13*k6 + 4*c22*k10 
- 2*c23*k7,
b22*q14 - b32*q19 - b33*q14 - 2*c12*q12 + 2*c13*q13 + 2*c22*q11 - 2*c23*q16 - 2
*c33*q11 - m1*p32 + m1*p48 + m2*p31 - m3*p46 - 3*n1*p35 + 2*n1*p55 + n2*p34 - 
n3*p49,
2*a22*p14 - 2*a22*p41 - 2*a33*p14 + 2*a33*p25 - 3*b22*p10 - b31*p8 - 2*b32*p9 +
 2*b33*p7 + 2*k12*m3 - 3*k14*m2 + k21*n2 - 2*k22*n1 - k23*n3 + 3*k25*n1 + k44*
n3 - k79*n2,
2*a22*p12 - 2*a22*p40 - 2*a33*p12 + 2*a33*p23 - 2*b22*p9 - b31*p6 - b32*p7 + 3*
b33*p4 - 2*k12*m2 + k18*n2 - 3*k19*n1 - k21*n3 + 2*k24*n1 + k42*n3 - k77*n2 + 3
*k9*m3,
2*a22*p18 - 2*a33*p18 - 2*a33*p27 - b31*p15 - b31*p24 + b32*p14 - b33*p12 + 4*
c12*p8 - 2*c13*p6 - k21*m3 + 2*k23*m2 - 2*k26*n2 + k27*n1 - k30*n3 - k49*n3 + 
k84*n2,
2*a22*p44 + 2*a22*p51 - 2*a33*p51 + b22*p39 - 2*b31*p38 + b32*p37 - b33*p39 - 4
*c13*p7 + 2*c23*p6 + k107*n2 - 2*k108*n1 - k109*n3 + k76*m2 - 2*k77*m1 + k85*n2
 - k95*n1,
2*a33*k119 - b22*k116 - b22*k99 + b31*k102 - b31*k118 - b32*k101 + b32*k114 + 
b33*k116 + b33*k99 + 2*c12*k95 + 2*c13*k60 - 4*c13*k96 - 2*c22*k94 + 2*c23*k109
 - 2*c23*k59 + 2*c33*k94,
6*a33*k55 - 6*a33*k69 - b22*k52 + b22*k99 + b31*k54 - 3*b31*k68 + 3*b32*k34 - 
b32*k64 + b33*k52 - b33*k63 + 4*c12*k61 + 2*c13*k49 - 2*c13*k60 + 4*c22*k51 + 2
*c23*k29 - 2*c23*k50,
2*a22*k113 + 2*a22*k99 - 2*a33*k113 - 2*a33*k116 - b31*k110 + b31*k82 + b32*
k109 - 2*b32*k81 - b33*k107 - b33*k85 - b33*k94 - 4*c12*k75 + 2*c13*k21 - 4*c23
*k20 + 4*c23*k78 - 2*c33*k76,
2*b22*k115 - b31*k124 + b32*k125 - 2*b33*k115 + 2*b33*k120 - 2*c12*k113 + 2*c12
*k116 + 2*c13*k114 - 2*c13*k121 - 2*c13*k98 + 2*c22*k112 - 2*c23*k118 + 2*c23*
k122 + 2*c23*k97 - 2*c33*k112 + 2*c33*k117,
2*a22*k104 + b22*k64 + b22*k98 + 2*b31*k53 + b31*k62 - 3*b31*k67 + 3*b32*k33 + 
b32*k52 - 2*b32*k63 - 2*c12*k30 + 2*c12*k60 + 2*c13*k47 - 4*c13*k58 + 2*c22*k50
 + 2*c23*k27 - 4*c23*k48,
4*a22*k112 - 6*a22*k32 + 2*a22*k53 - 2*b22*k26 + b22*k84 + 2*b31*k81 - 2*b31*
k83 - b31*k92 + 2*b33*k26 - 2*b33*k28 - b33*k47 - 4*c12*k17 + 2*c12*k76 - 4*c13
*k73 + 2*c23*k21 - 4*c33*k18,
6*a22*k105 - 6*a22*k125 + b22*k118 - b22*k97 + b32*k112 - b32*k117 - b33*k102 +
 b33*k97 - 2*c12*k109 + 2*c12*k92 + 2*c13*k57 - 2*c13*k94 - 4*c22*k91 + 4*c23*
k106 - 4*c23*k56 + 4*c33*k91,
2*a22*k100 - b22*k54 - b22*k97 - 2*b31*k52 + b31*k63 + 3*b31*k66 - 3*b32*k32 + 
b32*k53 + 2*b32*k62 + 2*c12*k29 - 2*c12*k59 - 4*c13*k46 + 2*c13*k57 - 2*c22*k49
 - 4*c23*k26 + 2*c23*k47,
b22*q19 + 2*b31*q10 - 2*b31*q15 - b32*q14 + 2*c12*q13 - 2*c13*q12 + 2*c13*q7 + 
2*c22*q9 - 2*c23*q8 - m1*p19 + m2*p29 + m3*p17 - m3*p28 - n1*p45 + n2*p49 + 3*
n3*p20 - 2*n3*p34,
b22*q20 + b31*q14 + 2*b32*q10 - 2*b32*q15 - 2*c12*q9 + 2*c13*q11 + 2*c22*q13 - 
2*c23*q12 + 2*c23*q7 - m1*p29 + m2*p33 + m3*p27 - m3*p32 - n1*p49 + n2*p50 + 2*
n3*p30 - 3*n3*p35,
2*a22*q14 - b31*q17 - b33*q11 - b33*q8 - 4*c12*q1 + 2*c23*q4 - 2*c33*q2 + m1*
p12 - 2*m2*p11 + m2*p39 - m3*p37 + n1*p27 - 2*n2*p17 + n2*p44 + 2*n2*p51 - n3*
p43 - n3*p46,
2*a33*q20 - b31*q8 + b32*q7 + b33*q13 + b33*q17 + 2*c12*q4 + 2*c33*q5 - m1*p15 
+ m2*p14 - 2*m2*p41 + m3*p40 - n1*p29 - n1*p43 + 2*n2*p19 + n2*p42 - 2*n2*p53 +
 n3*p48,
4*a33*q10 - 4*a33*q15 - b22*q7 - b33*q12 + b33*q7 + 2*c13*q4 - 2*c23*q5 - 2*m1*
p16 + 2*m2*p26 + m3*p14 - m3*p25 + n1*p28 - n1*p44 - n2*p27 + n2*p48 + 2*n3*p19
 - 2*n3*p33,
2*a33*p48 - b31*p15 + b32*p14 - 2*b32*p41 + b33*p26 + b33*p40 + 2*c12*p8 - 6*
c23*p10 + 2*c33*p9 + k23*m2 - k24*m1 - k51*n1 + k79*m3 - 3*k80*m2 + k84*n2 - 
k85*n1 + k96*n3,
2*a22*p25 - 2*a22*p41 + 2*a33*p14 - 2*a33*p25 + 3*b22*p10 - 2*b22*p5 - 2*b31*p8
 - b32*p9 + 2*b33*p5 + 2*k10*m3 - 3*k13*m1 + k23*n3 - 2*k40*n2 + k41*n1 - k44*
n3 + 3*k45*n2 - k78*n1,
2*a22*p22 - 2*a22*p39 + 2*a33*p11 - 2*a33*p22 - 3*b22*p1 + 2*b22*p8 - b31*p5 - 
b32*p6 + 3*b33*p1 - 2*k10*m1 + k20*n3 - 3*k36*n2 + k37*n1 - k41*n3 + 2*k43*n2 +
 3*k6*m3 - k75*n1,
b31*p55 + b33*p49 + 2*c12*p42 - 2*c12*p53 - 2*c13*p18 + 2*c13*p52 + 2*c23*p17 -
 2*c23*p44 + 2*c33*p43 - k100*n1 + k113*m3 - k114*m2 + k119*n3 - 3*k124*n2 + 
k87*m2 - k88*m1 + 3*k90*n2,
b22*p34 - b32*p49 - b33*p34 - 2*c12*p32 + 2*c12*p48 + 2*c13*p33 + 2*c22*p31 - 2
*c23*p46 - 2*c33*p31 - k101*m3 + k103*m1 - k104*n3 + 2*k120*n1 + k66*m2 - k67*
m1 + k69*n2 - 4*k70*n1,
2*a22*p27 - b31*p37 - b33*p12 - b33*p21 - 6*c12*p1 + 2*c23*p5 - 2*c33*p2 + 2*
k106*n2 - 3*k16*m2 + k17*m1 - 2*k26*n2 + k46*n1 - k72*m3 + k75*m2 - k82*n3 + 
k84*n2 - k91*n3,
b22*p50 + b31*p34 + 2*b32*p30 - 3*b32*p35 - 2*c12*p29 + 2*c13*p31 + 2*c22*p33 +
 2*c23*p27 - 2*c23*p32 - k104*n1 + k105*n2 + k62*m3 - k64*m1 + 2*k65*n3 - k67*
m3 + k68*m2 - 4*k70*n3,
b22*p45 + 3*b31*p20 - 2*b31*p34 - b32*p30 + 2*c12*p29 + 2*c13*p17 - 2*c13*p28 +
 2*c22*p19 - 2*c23*p18 + k100*n2 + k32*m3 - k34*m1 + 4*k35*n3 - k53*m3 + k54*m2
 - 2*k65*n3 - k90*n1,
2*a22*k54 + 2*a22*k88 - 2*a33*k88 - 2*a33*k97 + b31*k27 - b31*k85 - b31*k94 - 2
*b32*k26 + b32*k84 - b33*k30 - b33*k49 - b33*k82 - 4*c12*k20 + 4*c12*k78 - 2*
c13*k76 + 4*c23*k23 - 2*c33*k21,
2*a22*k112 + 4*a22*k89 - 2*a33*k112 + 2*a33*k117 + b22*k84 - b31*k109 - 2*b31*
k83 - b32*k110 + b32*k82 + 2*b33*k108 - b33*k84 + b33*k95 + 2*c12*k76 - 4*c13*
k22 + 2*c23*k21 - 4*c23*k79 + 4*c33*k77,
4*a22*k102 - 6*a22*k122 - 2*a22*k97 + b22*k110 - b22*k82 - 2*b22*k91 + 2*b32*
k106 - 2*b32*k108 + b33*k82 + 2*b33*k91 - 2*b33*k93 + 4*c12*k73 + 4*c13*k38 - 2
*c13*k76 - 4*c22*k72 - 4*c23*k37 + 4*c33*k72,
2*a22*k88 - 2*a22*k97 - b22*k30 - b22*k49 - b22*k82 - 2*b31*k27 - 2*b31*k46 + 2
*b31*k48 + 2*b31*k57 - 2*b32*k26 + 2*b32*k28 + b32*k47 - 2*c12*k41 - 4*c13*k17 
+ 4*c13*k38 - 2*c22*k21 + 4*c23*k18,
2*a22*k101 - 2*a22*k98 + b22*k50 + b22*k59 + b22*k92 + b31*k47 + 2*b31*k56 - 2*
b31*k58 + 2*b32*k27 + 2*b32*k46 - 2*b32*k48 - 2*b32*k57 - 2*c12*k21 + 4*c13*k37
 + 2*c22*k41 + 4*c23*k17 - 4*c23*k38,
2*a22*k49 - 2*a22*k96 - 4*a33*k30 - 2*a33*k49 + 4*a33*k60 + b22*k21 - 3*b22*k45
 - b22*k79 + b31*k24 - b31*k43 - b32*k23 - b32*k44 - b33*k21 + 2*b33*k42 - 2*
c13*k11 - 6*c22*k14 + 4*c23*k12,
2*a22*k50 + 2*a22*k92 - 2*a33*k83 - 2*a33*k92 + b22*k22 + b22*k41 + b22*k73 + 
b31*k77 + b32*k38 - b32*k76 - b33*k22 - b33*k41 - b33*k73 - 6*c12*k9 + 4*c13*
k12 + 2*c22*k8 - 2*c33*k8,
2*a22*k50 - 2*a22*k86 + 4*a33*k29 - 2*a33*k50 - 4*a33*k59 - 2*b22*k20 + 3*b22*
k25 + b22*k78 - b31*k23 - b31*k44 - b32*k24 + b32*k43 + 2*b33*k20 - b33*k41 + 4
*c13*k10 + 6*c22*k13 - 2*c23*k11,
4*a22*k110 - 4*a22*k30 - 2*a22*k82 + 2*a33*k82 - 2*a33*k93 - b22*k21 + 2*b22*
k79 + 3*b31*k19 + b31*k76 - b32*k18 + b32*k77 + b33*k21 - b33*k42 - 3*b33*k74 -
 2*c12*k8 + 4*c23*k12 - 6*c33*k9,
4*a22*q10 + b22*q7 - b31*q16 + b33*q12 - b33*q7 + 2*c12*q2 - 2*c23*q5 + 4*c33*
q3 - 2*m1*p13 + m2*p12 - m2*p40 + 2*m3*p38 - n1*p28 + n1*p44 + 2*n2*p18 - 2*n2*
p52 - n3*p42 + n3*p47,
2*a22*p31 - 2*a33*p28 - 2*a33*p31 + b22*p22 + b31*p25 - b32*p15 - b32*p24 - b33
*p22 + 4*c12*p9 - 2*c23*p6 - k41*m3 + 2*k44*m1 - k50*n3 + k57*n2 - 2*k58*n1 - 
k59*n3 + 2*k61*n1 + k95*n1,
2*a22*p17 - 2*a22*p44 - 2*a33*p17 + 2*a33*p28 - 2*b22*p16 - b31*p14 + b31*p25 -
 b32*p15 + 2*b33*p13 - 4*c12*p9 + 4*c13*p7 + 2*k22*m3 - 2*k24*m2 + k27*n2 - 2*
k28*n1 - k29*n3 + k50*n3 - k85*n2,
2*a22*k53 - 2*a22*k89 + 6*a33*k32 - 2*a33*k53 - 4*a33*k62 - 2*b22*k26 + b22*k84
 + b31*k29 - b31*k50 - 2*b31*k59 - b32*k30 + 2*b33*k26 - b33*k47 + 4*c12*k43 + 
4*c13*k20 - 2*c13*k41 + 4*c22*k23 - 2*c23*k21,
4*a22*k117 + 2*a22*k62 - 6*a22*k67 + b22*k47 + 2*b22*k56 - b22*k95 - b32*k82 - 
2*b32*k91 + 2*b32*k93 - b33*k47 - 2*b33*k56 + 2*b33*k58 - 4*c12*k38 + 2*c12*k76
 + 2*c13*k41 + 4*c22*k37 - 4*c23*k72 - 4*c33*k37,
4*a22*k61 + 2*a22*k95 + 2*a33*k84 - 2*a33*k95 - b22*k23 - 2*b22*k75 + 3*b22*k80
 + b31*k41 - 2*b31*k78 - 2*b32*k40 - b32*k79 + b33*k23 - b33*k44 + 2*b33*k75 + 
2*c12*k11 - 6*c13*k13 - 4*c22*k10 + 4*c33*k10,
2*a22*k51 + 2*a22*k94 - 2*a33*k85 - 2*a33*k94 + b22*k24 + b22*k43 + b22*k76 - 2
*b31*k42 + 2*b31*k79 + b32*k41 - b32*k78 - b33*k24 - b33*k43 - b33*k76 - 4*c12*
k12 + 6*c13*k14 + 2*c22*k11 - 2*c33*k11,
4*a22*q15 - b22*q7 - b32*q17 - b33*q12 + b33*q7 + 2*c12*q2 - 2*c13*q4 - 4*c22*
q1 + 4*c33*q1 + m1*p22 - m1*p39 - 2*m2*p21 + 2*m3*p36 + 2*n1*p31 - 2*n1*p51 - 
n2*p27 + n2*p48 + n3*p42 - n3*p47,
2*a22*p47 + b22*p25 + b22*p38 + b31*p13 + b31*p22 + b32*p12 - b32*p23 + 2*c13*
p3 + 2*c22*p7 - 6*c23*p4 + k18*m3 - k22*m1 + 2*k28*n3 + k42*m2 + k47*n3 - k50*
n1 - 2*k58*n3 - k83*n1 + k93*n2,
2*a22*p28 + b22*p13 + b22*p22 - b32*p37 - b33*p13 - b33*p22 - 6*c12*p4 + 2*c13*
p7 + 2*c22*p3 - 2*c33*p3 + 2*k108*n1 + k38*m2 + k48*n2 - 2*k58*n1 - k73*m3 + 
k77*m1 - k83*n3 - k92*n3 + k95*n1,
b22*p49 - b32*p54 - b33*p49 - 2*c12*p47 + 2*c12*p53 - 2*c13*p32 + 2*c13*p48 + 2
*c22*p46 + 2*c23*p31 - 2*c23*p51 - 2*c33*p46 + k101*m2 - k102*m1 + k104*n2 - 3*
k105*n1 - k116*m3 + k118*m1 - k119*n3 + 3*k125*n1,
2*a33*p55 - b31*p43 + b32*p42 - b32*p53 + b33*p48 + b33*p52 + 2*c12*p39 - 2*c13
*p15 + 2*c23*p14 - 4*c23*p41 + 2*c33*p40 + k110*m3 + k112*n2 - k113*n1 + k118*
n3 + k84*m2 - k85*m1 + 2*k89*n2 - k99*n1,
2*a22*p49 - b31*p52 - b33*p43 - b33*p46 - 4*c12*p36 + 2*c13*p12 - 4*c23*p11 + 2
*c23*p39 - 2*c33*p37 - k107*m3 + k109*m2 - k113*n3 + k114*n2 - k116*n3 + 3*k121
*n2 - 2*k81*m2 + k82*m1 - 2*k87*n2 + k97*n1,
2*b22*k120 - 2*b22*k65 + b31*k104 + 2*b32*k100 - 3*b32*k105 + 2*b33*k65 - 4*b33
*k70 + 2*c12*k63 - 2*c12*k66 - 2*c12*k99 + 2*c13*k101 - 2*c13*k64 + 2*c22*k103 
- 2*c22*k62 - 2*c23*k102 + 2*c23*k68 + 2*c23*k97 + 2*c33*k62 - 2*c33*k67,
2*b22*k115 - 4*b22*k35 - 2*b31*k104 + 3*b31*k90 - b32*k100 + 4*b33*k35 - 2*b33*
k65 + 2*c12*k33 - 2*c12*k52 + 2*c12*k99 - 2*c13*k34 + 2*c13*k87 - 2*c13*k98 - 2
*c22*k32 + 2*c22*k89 + 2*c23*k54 - 2*c23*k88 + 2*c33*k32 - 2*c33*k53,
2*a22*k52 - 2*a22*k99 - 6*a33*k33 - 2*a33*k52 + 4*a33*k63 + b22*k27 - 2*b22*k51
 - b22*k85 - b31*k30 - b31*k49 + 2*b31*k60 - b32*k29 - b33*k27 + 2*b33*k48 - 4*
c12*k44 - 2*c13*k21 + 4*c13*k42 - 4*c22*k24 + 4*c23*k22,
2*a22*k103 - 2*a22*k62 + 4*a33*k53 + 2*a33*k62 - 6*a33*k67 - b22*k47 + 2*b22*
k61 + b22*k95 + b31*k59 + 2*b32*k30 + b32*k49 - b32*k60 + b33*k47 - 2*b33*k58 -
 4*c12*k24 + 2*c13*k41 + 4*c22*k44 + 2*c23*k21 - 4*c23*k42,
4*a22*k103 + 2*a22*k117 + 2*a33*k112 - 2*a33*k117 - 2*b22*k106 - b22*k84 - b31*
k109 + b31*k92 - b32*k110 - 2*b32*k91 + 2*b33*k106 + b33*k84 - b33*k95 + 2*c12*
k76 + 2*c13*k41 - 4*c13*k78 - 4*c22*k75 - 4*c23*k40 + 4*c33*k75,
2*a22*k63 - 2*a22*k99 + 4*a33*k52 - 2*a33*k63 - 6*a33*k66 - 2*b22*k46 + 2*b22*
k51 + b22*k94 - b31*k60 + 2*b32*k29 - b32*k50 - b32*k59 + 2*b33*k46 - b33*k57 -
 4*c12*k23 + 4*c13*k40 + 4*c22*k43 + 4*c23*k20 - 2*c23*k41,
4*a22*k109 - 4*a22*k59 - 2*a22*k92 - 2*a33*k81 + 2*a33*k92 + b22*k20 + 3*b22*
k71 - 2*b22*k78 - b31*k37 + b31*k75 + 3*b32*k36 + b32*k76 - b33*k20 + b33*k41 -
 3*b33*k71 - 2*c12*k7 + 4*c13*k10 + 6*c22*k6 - 6*c33*k6,
2*a33*q19 - b22*q16 - b22*q9 + b31*q12 - b32*q11 + b33*q16 + b33*q9 + 2*c12*q5 
- 2*c22*q4 + 2*c33*q4 + m1*p25 - 2*m1*p41 - m2*p24 + m3*p39 + 2*n1*p33 + n1*p47
 - 2*n1*p53 - n2*p29 - n2*p46 + n3*p44,
2*a22*q19 - b22*q16 - b22*q9 + b31*q12 - b31*q7 + b32*q11 + b32*q8 - 4*c13*q1 -
 2*c22*q4 + 2*c23*q2 + m1*p14 - m2*p24 - 2*m3*p11 + m3*p22 + n1*p42 - n2*p29 - 
n2*p46 - 2*n3*p17 + n3*p28 + 2*n3*p31,
2*a22*q20 + b22*q13 + b22*q17 + b31*q11 + b31*q8 - b32*q12 + b32*q7 + 2*c13*q2 
+ 2*c22*q5 - 4*c23*q3 - m1*p15 + m2*p25 + m3*p12 - 2*m3*p23 - n1*p29 - n1*p43 +
 n2*p47 + 2*n3*p18 + n3*p27 - 2*n3*p32,
2*a22*q14 + b22*q11 + b22*q8 - b32*q16 - b33*q11 - b33*q8 - 4*c12*q3 + 2*c13*q5
 + 2*c22*q2 - 2*c33*q2 - 2*m1*p23 + m1*p40 + m2*p22 - m3*p37 - 2*n1*p32 + n1*
p48 + 2*n1*p52 + n2*p28 - n3*p43 - n3*p46,
4*a33*p19 - 4*a33*p33 - b22*p14 + b22*p41 - b31*p16 + b32*p26 + b33*p14 - b33*
p25 + 2*c13*p8 + 6*c22*p10 - 2*c23*p9 + k23*m3 - 3*k25*m1 - k44*m3 + 3*k45*m2 -
 k49*n2 + k50*n1 - 2*k61*n3 - k86*n1 + k96*n2,
2*a22*p32 - 2*a22*p48 + 2*a33*p27 - 2*a33*p32 - 2*b22*p21 + 2*b22*p26 - b31*p24
 + b32*p14 - b32*p25 + 2*b33*p21 - 4*c12*p8 + 4*c23*p5 + 2*k40*m3 - 2*k43*m1 + 
k49*n3 - 2*k56*n2 + k57*n1 - k60*n3 + 2*k61*n2 - k94*n1,
4*a22*p18 - 4*a22*p52 + b22*p12 - b22*p40 - b31*p37 - b33*p12 + b33*p23 + 2*c12
*p3 - 2*c23*p7 + 6*c33*p4 - 2*k108*n2 + k18*m2 - 3*k19*m1 + 2*k28*n2 - k48*n1 +
 3*k74*m3 - k77*m2 - k82*n3 + k85*n1 + k93*n3,
2*a22*p30 - b31*p43 - b31*p46 - b33*p18 - b33*p27 - 4*c12*p11 + 2*c12*p39 - 2*
c13*p37 + 2*c23*p14 - 2*c33*p12 + 2*k112*n2 - 2*k26*m2 + k27*m1 - 3*k32*n2 + 
k52*n1 - k82*m3 + k84*m2 - k88*n3 + k89*n2 - k97*n3,
b22*p49 + 2*b31*p30 - 3*b31*p35 + 3*b32*p20 - 2*b32*p34 - 2*c12*p19 + 2*c12*p33
 + 2*c13*p27 - 2*c13*p32 + 2*c22*p29 + 2*c23*p17 - 2*c23*p28 - k100*n1 + k104*
n2 + k52*m3 - k54*m1 + 3*k55*n3 - k63*m3 + k64*m2 - 3*k69*n3,
2*a22*p42 - b22*p14 - b22*p36 - b31*p11 + b31*p22 + b32*p12 + b32*p21 - 6*c13*
p1 - 2*c22*p5 + 2*c23*p2 - 3*k16*m3 + k20*m1 - 2*k26*n3 + k37*m3 - k40*m2 + k47
*n3 - k49*n2 + 2*k56*n3 + k81*n1 - k91*n2,
4*a22*k114 - 6*a22*k34 - 2*a22*k87 + 2*a33*k87 - 2*a33*k98 - b22*k29 + 2*b22*
k86 + 2*b31*k28 + b31*k84 - b31*k95 - b32*k27 + b32*k85 + b33*k29 - b33*k50 - 2
*b33*k83 - 2*c12*k21 + 4*c12*k79 - 4*c13*k77 + 4*c23*k24 - 4*c33*k22,
2*a22*k116 + 2*a22*k99 - 2*a33*k113 - 2*a33*k116 + b22*k107 + b22*k85 + b22*k94
 + b31*k110 - 2*b31*k93 - b32*k109 + b32*k92 - b33*k107 - b33*k85 - b33*k94 - 4
*c12*k77 - 4*c13*k42 + 4*c13*k79 + 2*c22*k76 + 2*c23*k41 - 2*c33*k76,
4*a33*k103 - 4*a33*k89 + b22*k84 - b31*k50 + b31*k86 + b32*k49 - b32*k96 + 2*
b33*k61 - b33*k84 + b33*k95 - 2*c12*k24 + 2*c12*k43 + 6*c13*k25 - 2*c13*k78 + 2
*c22*k23 - 6*c22*k80 - 6*c23*k45 + 2*c23*k79 - 2*c33*k23 + 2*c33*k44,
2*a33*p44 - b22*p16 - b22*p39 + b31*p25 - 2*b31*p41 - b32*p24 + b33*p16 + b33*
p39 + 2*c12*p9 - 6*c13*p10 - 2*c22*p8 + 2*c33*p8 - k43*m2 + k44*m1 - k51*n2 + 2
*k61*n1 + k78*m3 - 3*k80*m1 + k86*n3 - k94*n2 + k95*n1,
2*a22*p14 - 2*a22*p25 + 4*a22*p36 - 4*a22*p38 - 4*a33*p36 + 4*a33*p38 + 2*b22*
p5 - 2*b31*p3 + 2*b32*p2 - 2*b33*p5 + 2*b33*p7 + k21*n2 - k41*n1 + 2*k7*m2 + 2*
k72*n2 - 2*k73*n1 - 2*k75*n3 + 2*k77*n3 + 2*k78*n1 - 2*k79*n2 - 2*k8*m1,
4*a22*p11 - 4*a22*p13 - 2*a22*p39 - 4*a33*p11 + 4*a33*p13 + 2*a33*p22 - 2*b22*
p8 - 2*b31*p5 + 2*b31*p7 - b32*p6 + 2*b33*p3 - 2*k11*m2 + 2*k17*n2 - 2*k18*n1 -
 2*k20*n3 + 2*k22*n3 + 2*k23*n1 - 2*k24*n2 + k41*n3 - k76*n2 + 2*k8*m3,
4*a22*p31 - 4*a22*p51 - b22*p11 + b22*p39 - b32*p37 + b33*p11 - b33*p22 + 2*c12
*p2 - 2*c13*p5 - 6*c22*p1 + 6*c33*p1 - 2*k106*n1 - 3*k36*m2 + k37*m1 - k46*n2 +
 2*k56*n1 + 3*k71*m3 - k75*m1 + k81*n3 - k92*n3 + k94*n2,
3*b22*k124 - 3*b22*k90 + 2*b31*k115 - 2*b31*k120 - b32*k119 - 2*b33*k104 + 3*
b33*k90 + 2*c12*k118 + 2*c12*k88 - 2*c12*k97 + 2*c13*k112 - 2*c13*k117 + 2*c13*
k53 - 2*c13*k89 + 2*c22*k114 - 2*c22*k87 - 2*c23*k113 - 2*c23*k52 + 2*c23*k99 +
 2*c33*k87 - 2*c33*k98,
2*b22*k100 - 3*b22*k125 - b31*k119 - 2*b32*k115 + 2*b32*k120 - 2*b33*k100 + 3*
b33*k105 + 2*c12*k101 + 2*c12*k114 - 2*c12*k98 - 2*c13*k116 - 2*c13*k63 + 2*c13
*k99 - 2*c22*k118 + 2*c22*k97 - 2*c23*k103 - 2*c23*k112 + 2*c23*k117 + 2*c23*
k62 + 2*c33*k102 - 2*c33*k97,
4*a33*k115 - 4*a33*k120 - b22*k112 - 2*b22*k89 + b31*k98 - b32*k97 - 2*b33*k103
 + b33*k112 - b33*k117 + 2*b33*k89 + 2*c12*k85 - 2*c12*k94 + 2*c13*k109 + 2*c13
*k50 - 4*c13*k86 - 2*c22*k84 - 2*c23*k110 - 2*c23*k49 + 4*c23*k96 + 2*c33*k84 -
 2*c33*k95,
2*a22*k101 + 2*a22*k64 - 2*a33*k101 - 2*a33*k98 + b22*k50 + b22*k59 + b22*k92 -
 2*b31*k58 + b31*k95 + b32*k57 - b32*k85 - b32*k94 - b33*k50 - b33*k59 - b33*
k92 - 4*c12*k42 + 4*c12*k79 + 4*c13*k44 + 2*c22*k41 - 2*c23*k76 - 2*c33*k41,
4*a22*k46 - 4*a22*k48 + 2*a22*k85 - 2*a22*k94 - 4*a33*k27 - 4*a33*k46 + 4*a33*
k48 + 4*a33*k57 + 2*b22*k17 - 2*b22*k24 - 2*b22*k43 - b22*k76 - 2*b31*k40 + 2*
b31*k42 - 2*b32*k20 + 2*b32*k22 - 2*b33*k17 + 2*b33*k38 - 4*c13*k7 - 4*c22*k11 
+ 4*c23*k8,
4*a22*p21 - 4*a22*p23 + 2*a22*p40 - 2*a33*p12 - 4*a33*p21 + 4*a33*p23 + 2*b22*
p2 - 2*b22*p9 + b31*p6 - 2*b32*p5 + 2*b32*p7 - 2*b33*p2 + 2*k11*m1 - k21*n3 + 2
*k37*n2 - 2*k38*n1 - 2*k40*n3 + 2*k42*n3 + 2*k43*n1 - 2*k44*n2 - 2*k7*m3 + k76*
n1,
4*a22*p45 - 6*a22*p56 + b22*p42 - b22*p53 - b31*p51 - b33*p42 + b33*p47 + 2*c12
*p37 - 4*c13*p13 + 2*c23*p12 - 2*c23*p40 + 4*c33*p38 + 2*k108*m3 - k110*m2 - 
k112*n3 + k114*n1 + k117*n3 - 3*k122*n2 + k82*m2 - 2*k83*m1 + 2*k88*n2 - k98*n1
,
2*a33*p54 - b22*p44 - b22*p51 + b31*p47 - b31*p53 - b32*p46 + b33*p44 + b33*p51
 + 2*c12*p40 + 2*c13*p25 - 4*c13*p41 - 2*c22*p39 - 2*c23*p24 + 2*c33*p39 + 2*
k103*n1 + k109*m3 + k114*n3 - k116*n2 + k117*n1 - k94*m2 + k95*m1 - k99*n2,
2*a22*p49 + b22*p43 + b22*p46 - b32*p51 - b33*p43 - b33*p46 - 4*c12*p38 - 4*c13
*p23 + 2*c13*p40 + 2*c22*p37 + 2*c23*p22 - 2*c33*p37 - 2*k102*n1 - k107*m3 + 
k110*m1 - k113*n3 - k116*n3 + k118*n1 + 3*k122*n1 + k92*m2 - 2*k93*m1 + k98*n2,
2*a33*p49 - b31*p18 + b31*p48 + b32*p17 - b32*p44 + b33*p29 + b33*p43 + 2*c12*
p14 - 4*c12*p41 + 2*c13*p40 - 4*c23*p16 + 2*c33*p15 - 2*k114*n2 + k29*m2 - k30*
m1 + 3*k34*n2 - k54*n1 + k85*m3 - 2*k86*m2 + k87*n2 - k88*n1 + k99*n3,
6*a33*p20 - 4*a33*p34 - b22*p17 + b22*p44 + b31*p19 - 2*b31*p33 + b33*p17 - b33
*p28 + 4*c12*p26 + 2*c13*p14 - 2*c13*p25 + 4*c22*p16 - 2*c23*p15 + k29*m3 + 3*
k34*n3 - k50*m3 + 2*k51*m2 - k52*n2 + k53*n1 - 2*k64*n3 - k89*n1 + k99*n2,
2*b22*k119 - 3*b22*k55 + 2*b31*k100 - 3*b31*k105 - 2*b32*k104 + 3*b32*k90 + 3*
b33*k55 - 3*b33*k69 + 2*c12*k103 + 2*c12*k53 - 2*c12*k62 - 2*c12*k89 - 2*c13*
k102 - 2*c13*k54 + 2*c13*k97 - 2*c22*k52 + 2*c22*k99 + 2*c23*k64 + 2*c23*k87 - 
2*c23*k98 + 2*c33*k52 - 2*c33*k63,
2*a22*k102 - 4*a22*k118 + 6*a22*k68 - 2*a33*k102 + 2*a33*k97 - b22*k49 - 2*b22*
k91 + 2*b22*k96 + b31*k57 - b31*k94 - 2*b32*k56 + b32*k84 - b32*k95 + b33*k49 -
 b33*k60 + 2*b33*k91 + 2*c12*k41 - 4*c12*k78 - 4*c13*k43 - 4*c22*k40 + 4*c23*
k75 + 4*c33*k40,
4*a22*k117 - 4*a22*k53 + 2*b22*k108 - 2*b22*k28 - b22*k47 + b22*k95 + b31*k83 +
 b31*k92 + b32*k82 - b32*k93 + 2*b33*k28 + b33*k47 - 2*b33*k58 + 6*c12*k19 - 2*
c12*k38 - 2*c13*k22 + 2*c13*k73 - 2*c22*k18 + 2*c22*k77 + 2*c23*k42 - 6*c23*k74
 + 2*c33*k18,
4*a22*k112 - 4*a22*k62 - 2*b22*k106 + 2*b22*k26 - b22*k84 - b31*k81 + b31*k92 +
 b32*k82 + b32*k91 - 2*b33*k26 + b33*k47 + 2*b33*k56 - 2*c12*k17 + 6*c12*k36 + 
2*c13*k20 - 6*c13*k71 + 6*c22*k16 - 2*c22*k75 - 2*c23*k40 + 2*c23*k72 - 6*c33*
k16 + 2*c33*k37,
4*a22*k109 - 4*a22*k29 + 2*a22*k50 - 4*a22*k81 + 4*a22*k83 + 4*a33*k81 - 4*a33*
k83 - 2*a33*k92 - 2*b22*k20 + 2*b22*k78 + 2*b31*k18 + 2*b31*k75 - 2*b31*k77 - 2
*b32*k17 + b32*k76 + 2*b33*k20 - 2*b33*k22 - b33*k41 - 2*b33*k73 - 4*c12*k7 + 4
*c23*k11 - 4*c33*k8,
4*a22*p50 - 6*a22*p56 - b22*p42 + b22*p53 - b32*p52 + b33*p42 - b33*p47 + 2*c12
*p37 + 2*c13*p22 - 2*c13*p39 - 4*c22*p36 - 4*c23*p21 + 4*c33*p36 + 2*k101*n1 + 
2*k106*m3 - k109*m1 + k112*n3 - k117*n3 + k118*n2 - 3*k121*n1 - 2*k91*m2 + k92*
m1 - k97*n2,
2*a22*p34 + b22*p28 + b22*p31 - b32*p43 - b32*p46 - b33*p28 - b33*p31 - 4*c12*
p23 + 2*c12*p40 + 2*c13*p25 + 2*c22*p22 - 2*c23*p37 - 2*c33*p22 - k101*n3 + 
k103*n1 + 2*k117*n1 + k57*m2 - 2*k58*m1 + k63*n2 - 3*k67*n1 - k92*m3 + k95*m1 -
 k98*n3,
6*a22*p20 - 4*a22*p54 + b22*p17 - b22*p44 - b31*p42 + b31*p47 - b33*p17 + b33*
p28 + 2*c12*p12 - 2*c12*p40 + 4*c13*p38 - 2*c23*p15 + 4*c33*p13 - 2*k113*n2 + 
k27*m2 - 2*k28*m1 + 3*k33*n2 - k53*n1 + 2*k83*m3 - k85*m2 - k87*n3 + k89*n1 + 
k98*n3,
4*a33*p30 - 6*a33*p35 - b22*p27 + b22*p48 + 2*b32*p19 - b32*p33 + b33*p27 - b33
*p32 - 4*c12*p16 + 2*c13*p24 + 4*c22*p26 + 2*c23*p14 - 2*c23*p25 + k103*n2 + 
k49*m3 - 2*k51*m1 + 2*k54*n3 - k60*m3 + 2*k61*m2 - k62*n2 + k63*n1 - 3*k68*n3 -
 k99*n1,
2*a22*p50 + b22*p33 + b22*p47 + b31*p28 + b31*p31 + 2*b32*p18 + b32*p27 - 2*b32
*p32 - 2*c12*p15 + 2*c13*p22 + 2*c22*p25 + 2*c23*p12 - 4*c23*p23 + k102*n2 + 
k47*m3 - k50*m1 + 2*k53*n3 - 2*k58*m3 + k60*m2 + k62*n3 - k64*n1 - 3*k67*n3 - 
k98*n1,
2*a22*p49 - b22*p29 - b22*p46 - b31*p27 + b31*p32 - 2*b32*p17 + b32*p28 + 2*b32
*p31 + 2*c12*p14 - 4*c13*p21 - 2*c22*p24 - 4*c23*p11 + 2*c23*p22 - k101*n2 - 2*
k46*m3 + k49*m1 - 2*k52*n3 + k57*m3 - k59*m2 + k63*n3 - k64*n2 + 3*k66*n3 + k97
*n1,
2*a22*p49 + b22*p29 + b22*p43 + 2*b31*p18 + b31*p27 - 2*b31*p32 + b32*p17 - b32
*p28 + 2*c12*p25 + 2*c13*p12 - 4*c13*p23 + 2*c22*p15 - 4*c23*p13 + k27*m3 - k30
*m1 + 3*k33*n3 - 2*k48*m3 + k50*m2 + k52*n3 - k54*n1 - 2*k63*n3 - k88*n1 + k98*
n2,
2*a22*p45 - b22*p19 - b22*p42 - 2*b31*p17 + b31*p28 + 2*b31*p31 + b32*p18 + b32
*p27 - 2*c12*p24 - 4*c13*p11 + 2*c13*p22 - 2*c22*p14 + 2*c23*p12 - 2*k26*m3 + 
k29*m1 - 3*k32*n3 + k47*m3 - k49*m2 + k53*n3 - k54*n2 + 2*k62*n3 + k87*n1 - k97
*n2,
6*a22*p35 - 4*a22*p55 - b22*p27 + b22*p48 + b32*p42 - b32*p47 + b33*p27 - b33*
p32 + 2*c12*p22 - 2*c12*p39 - 2*c13*p24 - 4*c22*p21 + 4*c23*p36 + 4*c33*p21 - 
k102*n3 + k103*n2 - 2*k116*n1 - 2*k56*m2 + k57*m1 - k62*n2 + 3*k66*n1 + 2*k91*
m3 - k94*m1 + k97*n3,
4*a33*k104 - 6*a33*k90 - 2*b22*k114 + 3*b22*k34 + b22*k87 + 2*b31*k103 - b31*
k53 - b31*k89 + b32*k52 - 3*b33*k34 + 2*b33*k64 - b33*k87 + b33*k98 - 2*c12*k30
 + 2*c12*k49 - 4*c12*k96 - 2*c13*k84 + 2*c13*k95 + 2*c22*k29 - 4*c22*k86 - 4*
c23*k51 + 2*c23*k85 - 2*c33*k29 + 2*c33*k50,
4*a22*k104 - 6*a22*k124 + b22*k114 + 3*b22*k121 - 2*b22*k87 + b31*k112 - b31*
k117 - b32*k113 - b32*k116 - 2*b33*k101 + 2*b33*k87 - b33*k98 + 2*c12*k82 - 4*
c12*k91 + 4*c13*k106 + 2*c13*k47 - 2*c13*k84 + 2*c22*k109 - 4*c22*k81 - 2*c23*
k107 - 4*c23*k46 + 2*c23*k94 + 4*c33*k81 - 2*c33*k92,
4*a22*p17 - 2*a22*p28 - 4*a22*p51 + 2*b22*p11 - b22*p39 - 2*b31*p36 + 2*b31*p38
 - 2*b33*p11 + 2*b33*p13 + b33*p22 + 4*c12*p2 - 2*c23*p6 + 4*c33*p3 - 2*k107*n2
 + 2*k17*m2 - 2*k18*m1 + 2*k27*n2 - k47*n1 + 2*k73*m3 - k76*m2 - 2*k81*n3 + 2*
k83*n3 + k84*n1 - k85*n2 + k92*n3,
2*a33*p49 - b22*p29 - b22*p46 + b31*p32 - b31*p48 - b32*p31 + b32*p44 + b33*p29
 + b33*p46 + 2*c12*p25 - 4*c12*p41 - 4*c13*p26 - 2*c22*p24 + 2*c23*p39 + 2*c33*
p24 - k101*n2 + k102*n1 - 2*k118*n1 - k59*m2 + k60*m1 - k64*n2 + 3*k68*n1 + k94
*m3 - 2*k96*m1 + k99*n3,
4*a22*k119 - 6*a22*k69 - 2*b22*k116 + 2*b22*k52 - b22*k99 + b31*k102 - b31*k97 
+ 2*b32*k101 - 2*b32*k87 + b32*k98 - 2*b33*k52 + b33*k63 + 3*b33*k66 - 2*c12*
k47 + 4*c12*k56 + 2*c12*k84 + 2*c13*k49 - 4*c13*k91 + 4*c22*k46 - 2*c22*k94 - 2
*c23*k59 - 4*c23*k81 + 2*c23*k92 - 4*c33*k46 + 2*c33*k57,
4*a22*k115 - 4*a22*k65 - 2*b22*k112 + 3*b22*k32 - b22*k89 + 2*b31*k101 - 2*b31*
k87 + b31*k98 + b32*k88 + b32*k97 - 3*b33*k32 + b33*k53 + 2*b33*k62 - 2*c12*k27
 + 4*c12*k46 - 2*c12*k94 + 2*c13*k29 - 4*c13*k81 + 2*c13*k92 + 4*c22*k26 - 2*
c22*k84 - 2*c23*k49 + 2*c23*k82 - 4*c33*k26 + 2*c33*k47,
4*a33*k100 - 6*a33*k105 + 2*b22*k118 - 2*b22*k54 - b22*k97 + b31*k63 - b32*k103
 - b32*k62 + 2*b32*k89 - b33*k102 + 2*b33*k54 - 3*b33*k68 + b33*k97 + 2*c12*k50
 - 2*c12*k59 - 4*c12*k86 - 4*c13*k51 + 2*c13*k94 - 2*c22*k49 + 4*c22*k96 + 4*
c23*k61 + 2*c23*k84 - 2*c23*k95 + 2*c33*k49 - 2*c33*k60,
4*a22*k100 - 6*a22*k125 - b22*k118 - 3*b22*k122 + 2*b22*k88 + b22*k97 - b31*
k113 - b31*k116 - b32*k112 + b32*k117 + 2*b33*k102 - 2*b33*k88 - b33*k97 - 4*
c12*k83 + 2*c12*k92 - 2*c13*k107 - 4*c13*k48 + 2*c13*k85 - 2*c22*k110 + 2*c22*
k82 + 4*c23*k108 + 2*c23*k47 - 2*c23*k95 - 2*c33*k82 + 4*c33*k93,
4*a22*k110 + 2*a22*k49 - 4*a22*k60 + 4*a22*k91 - 4*a22*k93 - 2*a33*k82 - 4*a33*
k91 + 4*a33*k93 + b22*k21 + 2*b22*k40 + 2*b22*k72 - 2*b22*k79 - 2*b31*k38 + b31
*k76 + 2*b32*k37 - 2*b32*k75 + 2*b32*k77 - b33*k21 - 2*b33*k40 + 2*b33*k42 - 2*
b33*k72 - 4*c12*k8 + 4*c13*k11 + 4*c22*k7 - 4*c33*k7,
2*b22*q10 - b31*q19 + b32*q20 - 2*b33*q10 + 2*b33*q15 + 2*c12*q11 - 2*c12*q8 - 
2*c13*q16 + 2*c13*q9 + 2*c22*q7 - 2*c23*q13 + 2*c23*q17 + 2*c33*q12 - 2*c33*q7 
- m1*p28 + m1*p44 + m2*p27 - m2*p48 - m3*p42 + m3*p47 - 2*n1*p34 + 2*n1*p54 + 2
*n2*p30 - 2*n2*p55 - 2*n3*p45 + 2*n3*p50,
2*a22*p29 + 2*a22*p43 - 2*a33*p43 - 2*a33*p46 + b31*p12 - b31*p40 - 2*b32*p11 +
 b32*p39 - b33*p15 - b33*p24 - b33*p37 - 4*c12*p5 + 4*c23*p8 - 2*c33*p6 + 2*
k109*n2 - 2*k20*m2 + k21*m1 - 2*k29*n2 + k49*n1 - k76*m3 + 2*k78*m2 - 2*k81*n2 
+ k82*n1 - k85*n3 + 2*k86*n2 - k94*n3,
2*a22*p43 - 2*a22*p46 - b22*p15 - b22*p24 - b22*p37 - b31*p12 - 2*b31*p21 + 2*
b31*p23 - 2*b32*p11 + 2*b32*p13 + b32*p22 - 4*c13*p2 - 2*c22*p6 + 4*c23*p3 - 2*
k17*m3 + k21*m1 - 2*k27*n3 + 2*k38*m3 - k41*m2 - 2*k46*n3 + 2*k48*n3 + k49*n1 -
 k50*n2 + 2*k57*n3 + k82*n1 - k92*n2,
4*a22*k119 - 6*a22*k55 + 2*b22*k113 - 3*b22*k33 - b22*k52 + b22*k99 - 2*b31*
k102 + 2*b31*k88 + b31*k97 + b32*k87 - b32*k98 + 3*b33*k33 + b33*k52 - 2*b33*
k63 + 4*c12*k28 - 2*c12*k47 + 2*c12*k95 - 2*c13*k30 + 2*c13*k82 - 4*c13*k93 - 2
*c22*k27 + 2*c22*k85 + 2*c23*k50 - 4*c23*k83 + 2*c33*k27 - 4*c33*k48,
4*a22*k120 - 4*a22*k65 + b22*k103 + 2*b22*k117 - 2*b22*k53 - b22*k62 + b31*k101
 + b31*k98 - 2*b32*k102 + 2*b32*k88 + b32*k97 + 2*b33*k53 + b33*k62 - 3*b33*k67
 + 4*c12*k48 - 2*c12*k57 - 2*c12*k85 - 2*c13*k50 + 2*c13*k92 - 2*c22*k47 + 2*
c22*k95 + 2*c23*k60 + 2*c23*k82 - 4*c23*k93 + 2*c33*k47 - 4*c33*k58,
2*a22*p27 - 2*a22*p48 - 4*a33*p18 - 2*a33*p27 + 4*a33*p32 + b22*p12 - 2*b22*p26
 - b22*p40 - b31*p24 - b32*p14 - b33*p12 + 2*b33*p23 - 2*c13*p6 - 4*c22*p9 + 4*
c23*p7 - k21*m3 + 2*k24*m1 - 2*k30*n3 + 2*k42*m3 - 2*k44*m2 + k47*n2 - 2*k48*n1
 - k49*n3 + 2*k51*n1 + 2*k60*n3 + k85*n1 - k95*n2,
2*a22*p28 - 2*a22*p44 + 4*a33*p17 - 2*a33*p28 - 4*a33*p31 - 2*b22*p11 + 2*b22*
p16 + b22*p39 - b31*p25 - b32*p15 + 2*b33*p11 - b33*p22 + 4*c13*p5 + 4*c22*p8 -
 2*c23*p6 + 2*k20*m3 - 2*k23*m1 + 2*k29*n3 - k41*m3 + 2*k43*m2 - 2*k46*n2 + k47
*n1 - k50*n3 + 2*k51*n2 - 2*k59*n3 - k84*n1 + k94*n2,
2*a22*p27 - 4*a22*p32 + 4*a22*p52 + b22*p12 + 2*b22*p21 - b22*p40 - 2*b32*p36 +
 2*b32*p38 - b33*p12 - 2*b33*p21 + 2*b33*p23 - 4*c12*p3 + 2*c13*p6 + 4*c22*p2 -
 4*c33*p2 + 2*k107*n1 + 2*k37*m2 - 2*k38*m1 + k47*n2 - 2*k57*n1 - 2*k72*m3 + 
k76*m1 - k82*n3 - 2*k91*n3 + 2*k93*n3 + k94*n1 - k95*n2,
4*a22*p19 + 2*a22*p42 - 4*a22*p53 - 2*a33*p42 + 2*a33*p47 + b22*p14 - 2*b22*p41
 - 2*b31*p13 - b31*p39 + b32*p12 - b32*p40 - b33*p14 + b33*p25 + 2*b33*p38 + 2*
c12*p6 - 4*c23*p9 + 4*c33*p7 - 2*k110*n2 + k21*m2 - 2*k22*m1 + 2*k30*n2 - k50*
n1 + 2*k77*m3 - 2*k79*m2 + k82*n2 - 2*k83*n1 - k84*n3 + 2*k86*n1 + k95*n3,
4*a22*k114 - 4*a22*k64 - 2*a22*k98 + 4*a33*k101 - 4*a33*k87 + 2*a33*k98 - 2*b22
*k109 + 2*b22*k29 + 2*b22*k81 - 2*b22*k86 - b31*k47 + b31*k95 + 2*b32*k46 + b32
*k85 - 2*b33*k29 + b33*k50 + 2*b33*k59 - 2*b33*k81 + b33*k92 - 2*c12*k21 + 4*
c12*k40 + 4*c13*k23 - 4*c13*k75 + 4*c22*k20 - 4*c22*k78 - 4*c23*k43 + 2*c23*k76
 - 4*c33*k20 + 2*c33*k41,
4*a22*k113 - 4*a22*k116 + 4*a22*k52 - 4*a22*k63 - 2*b22*k107 + 2*b22*k27 + 2*
b22*k46 - b22*k85 - b22*k94 - b31*k82 - 2*b31*k91 + 2*b31*k93 - 2*b32*k81 + 2*
b32*k83 + b32*k92 - 2*b33*k27 - 2*b33*k46 + 2*b33*k48 + 2*b33*k57 - 4*c12*k18 +
 4*c12*k37 + 2*c13*k21 - 4*c13*k72 + 4*c22*k17 - 2*c22*k76 - 2*c23*k41 + 4*c23*
k73 - 4*c33*k17 + 4*c33*k38,
2*a22*p29 + 2*a22*p46 - 2*a33*p43 - 2*a33*p46 + b22*p15 + b22*p24 + b22*p37 - 2
*b31*p23 + b31*p40 + b32*p22 - b32*p39 - b33*p15 - b33*p24 - b33*p37 - 4*c12*p7
 + 4*c13*p9 + 2*c22*p6 - 2*c33*p6 + 2*k110*n1 + k41*m2 - 2*k42*m1 + k50*n2 - 2*
k60*n1 - k76*m3 + 2*k79*m1 - k85*n3 + k92*n2 - 2*k93*n1 - k94*n3 + 2*k96*n1,
2*b22*p45 - 3*b22*p56 - b31*p54 + b32*p55 - 2*b33*p45 + 2*b33*p50 - 2*c12*p43 +
 2*c12*p46 - 2*c13*p28 + 2*c13*p44 - 2*c13*p51 + 2*c22*p42 - 2*c22*p53 + 2*c23*
p27 - 2*c23*p48 + 2*c23*p52 - 2*c33*p42 + 2*c33*p47 + 2*k100*n2 - 2*k104*n1 - 
k112*m3 + k114*m1 - 2*k115*n3 + k117*m3 - k118*m2 + 2*k120*n3 + 3*k124*n1 - 3*
k125*n2 + k97*m2 - k98*m1,
4*a22*k118 - 4*a22*k54 - 2*a22*k97 - 4*a33*k102 + 4*a33*k88 + 2*a33*k97 + 2*b22
*k110 - 2*b22*k30 - b22*k49 - b22*k82 + 2*b22*k96 + 2*b31*k48 + b31*k94 - b32*
k47 + b32*k84 + 2*b33*k30 + b33*k49 - 2*b33*k60 + b33*k82 - 2*b33*k93 + 4*c12*
k22 - 2*c12*k41 - 4*c13*k24 + 2*c13*k76 - 2*c22*k21 + 4*c22*k79 + 4*c23*k44 - 4
*c23*k77 + 2*c33*k21 - 4*c33*k42,
4*a22*p33 + 2*a22*p47 - 4*a22*p53 + 2*a33*p42 - 2*a33*p47 - b22*p14 - 2*b22*p36
 + 2*b22*p41 + b31*p22 - b31*p39 - 2*b32*p21 - b32*p40 + b33*p14 - b33*p25 + 2*
b33*p36 + 2*c12*p6 - 4*c13*p8 - 4*c22*p5 + 4*c33*p5 - 2*k109*n1 - 2*k40*m2 + 
k41*m1 - k49*n2 + 2*k59*n1 + 2*k75*m3 - 2*k78*m1 + k84*n3 - 2*k91*n2 + k92*n1 -
 k95*n3 + 2*k96*n2,
2*b22*p30 - 2*b22*p55 - b31*p49 - 2*b32*p45 + 2*b32*p50 - 2*b33*p30 + 3*b33*p35
 - 2*c12*p28 + 2*c12*p31 + 2*c12*p44 + 2*c13*p29 - 2*c13*p46 + 2*c22*p27 - 2*
c22*p48 - 2*c23*p33 - 2*c23*p42 + 2*c23*p47 - 2*c33*p27 + 2*c33*p32 - 2*k100*n3
 + k102*m3 - k103*m2 + 3*k105*n3 + 2*k119*n1 - 2*k120*n2 + k62*m2 - k63*m1 + 2*
k65*n2 - 3*k69*n1 - k97*m3 + k99*m1,
3*b22*p20 - 2*b22*p54 - 2*b31*p45 + 2*b31*p50 + b32*p49 - 3*b33*p20 + 2*b33*p34
 - 2*c12*p18 + 2*c12*p27 - 2*c12*p48 + 2*c13*p19 - 2*c13*p42 + 2*c13*p47 + 2*
c22*p17 - 2*c22*p44 - 2*c23*p29 + 2*c23*p43 - 2*c33*p17 + 2*c33*p28 + 2*k104*n3
 + 2*k115*n1 - 2*k119*n2 + k52*m2 - k53*m1 + 3*k55*n2 - 2*k65*n1 - k87*m3 + k89
*m1 - 3*k90*n3 + k98*m3 - k99*m2,
4*a33*p45 - 4*a33*p50 - 2*b22*p19 - b22*p42 + 2*b22*p53 + b31*p28 - b32*p27 + 2
*b33*p19 - 2*b33*p33 + b33*p42 - b33*p47 + 2*c12*p15 - 2*c12*p24 - 4*c13*p16 + 
2*c13*p39 - 2*c22*p14 + 4*c22*p41 + 4*c23*p26 - 2*c23*p40 + 2*c33*p14 - 2*c33*
p25 - 2*k103*n3 - 2*k114*n1 + 2*k118*n2 - k49*m2 + k50*m1 - 2*k54*n2 + 2*k64*n1
 + k84*m3 - 2*k86*m1 + 2*k89*n3 - k95*m3 + 2*k96*m2 - k97*n2 + k98*n1,
4*a22*p34 - 4*a22*p54 - 2*b22*p17 + b22*p44 + 2*b22*p51 + b31*p42 - b31*p47 - 
b32*p43 - b32*p46 + 2*b33*p17 - b33*p28 - 2*b33*p31 + 2*c12*p12 - 4*c12*p21 - 2
*c13*p14 + 4*c13*p36 - 4*c22*p11 + 2*c22*p39 + 2*c23*p24 - 2*c23*p37 + 4*c33*
p11 - 2*c33*p22 - 2*k101*n3 - 2*k112*n1 + 2*k116*n2 - 2*k46*m2 + k47*m1 - 2*k52
*n2 + 2*k62*n1 + 2*k81*m3 - k84*m1 + 2*k87*n3 - k92*m3 + k94*m2 - k98*n3 + k99*
n2,
4*a22*p30 - 4*a22*p55 + 2*b22*p18 + b22*p27 - b22*p48 - 2*b22*p52 - b31*p43 - 
b31*p46 - b32*p42 + b32*p47 - 2*b33*p18 - b33*p27 + 2*b33*p32 - 4*c12*p13 + 2*
c12*p22 + 2*c13*p15 - 2*c13*p37 + 2*c22*p12 - 2*c22*p40 - 2*c23*p25 + 4*c23*p38
 - 2*c33*p12 + 4*c33*p23 + 2*k102*n3 + 2*k113*n1 - 2*k117*n2 + k47*m2 - 2*k48*
m1 + 2*k53*n2 - 2*k63*n1 - k82*m3 + k85*m1 - 2*k88*n3 + 2*k93*m3 - k95*m2 - k97
*n3 + k99*n1}

Computing time

On a Pentium 4 PC with 1.7GHz running REDUCE 3.7 with 95 MB RAM under Linux it took 18 hours, 53 min.