N=1, # of fermion fields: 1, # of boson fields: 0
weight(t)=6, weight(s)=14, fermion weights={1}, boson weights={}
Problem | Unknowns |
Inequalities | Equations |
Solution 1 |
Solution 2 |
Solution 3 |
Solution 4 |
Solution 5 |
Solution 6 |
Solution 7 |
Solution 8 |
Solution 9 |
Solution 10 |
Computing time |
Back to overview
Problem
Find equations
3 2
f := Df *f*p1 + Df *Df*f*p2 + Df *f *p5 + (Df) *f*p3 + (Df) *f *p4 + Df*f *p6
t 2x x x x x 2x
+ f *p7
3x
with symmetries
2
f := Df *f*q1 + Df *Df*f*q2 + Df *f *q26 + Df *Df *f*q4 + Df *(Df) *f*q3
s 6x 5x 5x x 4x x 4x
+ Df *Df*f *q25 + Df *f *q30 + Df *Df *f*q7 + Df *Df *Df*f*q6
4x x 4x 2x 3x 2x 3x x
3 2
+ Df *Df *f *q23 + Df *(Df) *f*q5 + Df *(Df) *f *q24 + Df *Df*f *q31
3x x x 3x 3x x 3x 2x
2 2 2
+ Df *f *q44 + (Df ) *Df*f*q9 + (Df ) *f *q22 + Df *(Df ) *f*q11
3x 3x 2x 2x x 2x x
2
+ Df *Df *(Df) *f*q10 + Df *Df *Df*f *q20 + Df *Df *f *q33
2x x 2x x x 2x x 2x
4 3 2
+ Df *(Df) *f*q8 + Df *(Df) *f *q21 + Df *(Df) *f *q32
2x 2x x 2x 2x
3
+ Df *Df*f *q43 + Df *f *q46 + Df *f *f *f*q27 + (Df ) *Df*f*q14
2x 3x 2x 4x 2x 2x x x
3 2 3 2 2
+ (Df ) *f *q19 + (Df ) *(Df) *f*q13 + (Df ) *(Df) *f *q17
x x x x x
2 2 5 4
+ (Df ) *Df*f *q35 + (Df ) *f *q42 + Df *(Df) *f*q12 + Df *(Df) *f *q18
x 2x x 3x x x x
3 2
+ Df *(Df) *f *q34 + Df *(Df) *f *q41 + Df *Df*f *q47
x 2x x 3x x 4x
7
+ Df *Df*f *f *f*q28 + Df *f *q50 + Df *f *f *f*q39 + (Df) *f*q15
x 2x x x 5x x 3x x
6 5 4 3
+ (Df) *f *q16 + (Df) *f *q36 + (Df) *f *q40 + (Df) *f *q48
x 2x 3x 4x
3 2 2
+ (Df) *f *f *f*q29 + (Df) *f *q49 + (Df) *f *f *f*q38 + Df*f *q51
2x x 5x 3x x 6x
+ Df*f *f *f*q45 + Df*f *f *f*q37 + f *q55 + f *f *f*q52
4x x 3x 2x 7x 5x x
+ f *f *f*q53 + f *f *f *q54
4x 2x 3x 2x x
Unknowns
All solutions for the following 62 unknowns have to be determined:
p1,p2,p3,p4,p5,p6,p7,q1,q2,q3,q4,q5,q6,q7,q8,q9,q10,q11,q12,q13,q14,q15,q16,q17,
q18,q19,q20,q21,q22,q23,q24,q25,q26,q27,q28,q29,q30,q31,q32,q33,q34,q35,q36,q37,
q38,q39,q40,q41,q42,q43,q44,q45,q46,q47,q48,q49,q50,q51,q52,q53,q54,q55
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.
{q54,q53,q52,q51,q50,q49,q48,q47,q46,q45,q44,q43,q42,q41,q40,q39,q38,q37,q36,q35
,q34,q33,q32,q31,q30,q29,q28,q27,q26,q25,q24,q23,q22,q21,q20,q19,q18,q17,q16,q15
,q14,q13,q12,q11,q10,q9,q8,q7,q6,q5,q4,q3,q2,q1,p6,p5,p4,p3,p2,p1}
{q55,q54,q53,q52,q51,q50,q49,q48,q47,q46,q45,q44,q43,q42,q41,q40,q39,q38,q37,q36
,q35,q34,q33,q32,q31,q30,q29,q28,q27,q26,q25,q24,q23,q22,q21,q20,q19,q18,q17,q16
,q15,q14,q13,q12,q11,q10,q9,q8,q7,q6,q5,q4,q3,q2,q1}
{p7,p6,p5,p4,p3,p2,p1}
Equations
All comma separated 189 expressions involving 2829 terms have to vanish.
p3*q51,
p3*q1,
p3*q49,
p3*q2,
p3*q48,
p3*q3,
p3*q40,
p3*q5,
p3*q15,
7*(p6*q55 - 3/7*p7*q51),
7*(p1*q55 - 3/7*p7*q1),
5*(p3*q36 - 1/5*p6*q15),
p1*q15 - 5*p3*q8,
3*(p3*q16 - 1/3*p4*q15),
p2*q15 - 3*p3*q12,
7*(p4*q55 + 2/7*p6*q51 - 3/7*p7*q49),
7*(p5*q55 + 3*p6*q55 - 3/7*p7*q50 - 3/7*p7*q51),
21*(p1*q55 + 1/3*p5*q55 - 1/7*p7*q1 - 1/7*p7*q26),
p2*q51 + 21*p3*q55 + 12*p4*q51 + p6*q49 - 9*p7*q48,
4*(p1*q1 - 1/2*p1*q26 + 1/4*p1*q51 + 1/2*p5*q1 - 1/4*p6*q1),
7*(p2*q55 + 6*p4*q55 + 5/7*p6*q50 - 3/7*p7*q47 - 6/7*p7*q49),
7*(p1*q55 + 3*p5*q55 + 5*p6*q55 - 3/7*p7*q46 - 3/7*p7*q50),
21*(p1*q55 + 5/3*p5*q55 + 5/3*p6*q55 - 1/7*p7*q44 - 1/7*p7*q46),
35*(p1*q55 + p5*q55 + 3/5*p6*q55 - 3/35*p7*q30 - 3/35*p7*q44),
35*(p1*q55 + 3/5*p5*q55 + 1/5*p6*q55 - 3/35*p7*q26 - 3/35*p7*q30),
p2*q49 + 2*p3*q50 + 9*p3*q51 + 5*p4*q49 - p6*q48 - 6*p7*q40,
3*(p2*q48 + 5/3*p3*q47 + 5*p3*q49 + 8/3*p4*q48 - 5/3*p6*q40 - 5*p7*q36),
p1*q26 + 6*p1*q51 + 7*p2*q55 - p5*q1 - 2*p6*q1 - 3*p7*q2,
2*(p2*q40 + 3/2*p3*q41 + 3*p3*q48 + 3/2*p4*q40 - 2*p6*q36 - 9/2*p7*q16),
3*(p2*q16 + 4/3*p3*q18 + p3*q36 - 1/3*p4*q12 - 4/3*p5*q15 - 7/3*p6*q15),
p1*q14 + p1*q17 - p2*q11 - 12*p3*q4 - 3*p3*q42 - p4*q11 + 3*p7*q13,
9*(p1*q1 - 1/9*p1*q30 - 1/9*p1*q44 + 2/9*p1*q50 + 5/9*p5*q1 - 5/9*p6*q1 - 1/3*p7
*q53),
15*(p1*q1 - 2/15*p1*q44 - 1/15*p1*q46 + 7/3*p2*q55 + 4/3*p5*q1 + p6*q1 - 1/5*p7*
q7),
4*(p1*q1 - 1/4*p1*q26 - 1/2*p1*q51 + 7/4*p2*q55 + 1/4*p5*q1 + 3/2*p6*q1 - 3/4*p7
*q2),
5*(p2*q36 + 7/5*p3*q34 + 9/5*p3*q40 + 4/5*p4*q36 - 1/5*p6*q12 - 12/5*p6*q16 - 21
/5*p7*q15),
28*(p1*q15 + 3/28*p2*q16 - 1/7*p3*q13 - 3/28*p3*q36 - 3/14*p3*q8 - 1/28*p4*q12 +
3/4*p6*q15),
14*(p1*q1 - 1/7*p1*q26 - 1/7*p1*q30 + 1/14*p1*q50 + 1/7*p1*q51 + 5/14*p5*q1 - 2/
7*p6*q1 - 3/14*p7*q52),
p1*q51 + 7*p2*q55 + 42*p4*q55 + 6*p5*q51 - 2*p6*q50 + 15*p6*q51 - 3*p7*q47 - 6*
p7*q49,
2*(p2*q33 + 3/2*p2*q42 + 12*p3*q30 + 30*p3*q50 + p4*q33 + 3*p4*q42 - 3/2*p7*q14
- 3*p7*q17 - 3*p7*q34),
p2*q50 + 3*p2*q51 + 63*p3*q55 + 6*p4*q50 + 15*p4*q51 + p6*q47 - p6*q49 - 3*p7*
q41 - 9*p7*q48,
2*(p2*q46 + 5/2*p2*q50 + 105*p3*q55 + p4*q46 + 10*p4*q50 + 3/2*p6*q42 - 3/2*p7*
q35 - 3*p7*q41 - 3*p7*q48),
p1*q25 + 5*p1*q49 + p2*q26 + 6*p2*q51 + 21*p3*q55 - 2*p4*q1 - p5*q2 - 2*p6*q2 -
3*p7*q3,
3*(p1*q30 - p1*q44 + 1/3*p1*q46 + 2/3*p5*q30 - 2/3*p5*q44 + 1/3*p5*q46 - 2/3*p6*
q30 + 1/3*p6*q44 - p7*q53),
p1*q46 + 105*p2*q55 + 210*p4*q55 + 6*p5*q46 + 7*p6*q46 - 3*p7*q33 - 6*p7*q42 - 3
*p7*q43 - 3*p7*q47,
p1*q50 + 6*p1*q51 + 21*p2*q55 + 70*p4*q55 + 15*p5*q51 - 2*p6*q46 + 20*p6*q51 - 3
*p7*q43 - 3*p7*q47,
p1*q46 + 15*p1*q51 + 35*p2*q55 + 70*p4*q55 + 20*p5*q51 - 2*p6*q44 + 15*p6*q51 -
3*p7*q31 - 3*p7*q43,
p1*q44 + 20*p1*q51 + 35*p2*q55 + 42*p4*q55 + 15*p5*q51 - 2*p6*q30 + 6*p6*q51 - 3
*p7*q25 - 3*p7*q31,
p1*q30 + 15*p1*q51 + 21*p2*q55 + 14*p4*q55 + 6*p5*q51 - p6*q1 - 2*p6*q26 - 3*p7*
q2 - 3*p7*q25,
6*(p1*q16 + 1/6*p2*q18 + 1/3*p2*q36 + 7/6*p3*q21 + 3/2*p3*q40 - 1/3*p4*q8 - 1/6*
p5*q12 - 1/3*p6*q12 - 7/2*p7*q15),
7*(p1*q15 + 6/7*p2*q16 + 6/7*p3*q18 - 2/7*p3*q29 - 30/7*p3*q36 - 3/7*p3*q8 - 2/7
*p4*q12 - 2*p5*q15 + 2*p6*q15),
p1*q24 + 4*p1*q48 + p2*q25 + 5*p2*q49 + 4*p3*q26 + 18*p3*q51 - 2*p4*q2 - p5*q3 -
2*p6*q3 - 3*p7*q5,
3*(p1*q2 - 2/3*p1*q25 + 2/3*p1*q49 - 1/3*p1*q52 + 5/3*p2*q1 - 2/3*p2*q26 + 1/3*
p2*q51 + 2/3*p4*q1 + 2/3*p5*q2 - 1/3*p6*q2),
2*(p1*q49 + 1/2*p2*q50 + 3*p2*q51 + 63/2*p3*q55 + 15*p4*q51 + 5/2*p5*q49 - p6*
q47 + 5*p6*q49 - 3/2*p7*q41 - 9/2*p7*q48),
p1*q21 + 3*p1*q40 + p2*q24 + 4*p2*q48 + 5*p3*q25 + 15*p3*q49 - 2*p4*q3 - p5*q5 -
2*p6*q5 - 3*p7*q8,
p1*q50 + 63*p2*q55 + 210*p4*q55 + 6*p5*q50 + 4*p6*q46 + 11*p6*q50 - 6*p7*q42 - 3
*p7*q43 - 9*p7*q47 - 6*p7*q49,
26*(p1*q1 - 1/13*p1*q30 - 1/26*p1*q44 - 1/13*p1*q46 - 1/26*p1*q50 + 28/13*p2*q55
+ 15/13*p5*q1 + p6*q1 - 3/26*p7*q4 - 3/26*p7*q7),
5*(p1*q26 + p1*q50 + 49/5*p2*q55 + 14/5*p4*q55 - 1/5*p5*q1 - 1/5*p5*q51 + p6*q26
- 6/5*p7*q2 - 3/5*p7*q25 - 3/5*p7*q4),
15*(p1*q1 - 2/15*p1*q26 - 1/15*p1*q30 - 2/15*p1*q50 - 1/15*p1*q51 + 28/15*p2*q55
+ 4/5*p5*q1 + 16/15*p6*q1 - 1/5*p7*q2 - 1/5*p7*q4),
p1*q18 + 2*p1*q36 + p2*q21 + 3*p2*q40 + 6*p3*q24 + 12*p3*q48 - 2*p4*q5 - p5*q8 -
2*p6*q8 - 3*p7*q12,
3*(p2*q47 + 5/3*p2*q49 + 4*p3*q46 + 5*p3*q50 + 30*p3*q51 + 10/3*p4*q47 + 20/3*p4
*q49 - 1/3*p6*q41 - 2*p6*q48 - 3*p7*q34 - 12*p7*q40),
3*(p1*q48 + 1/3*p2*q47 + 5/3*p2*q49 + 4/3*p3*q46 + 15*p3*q51 + 20/3*p4*q49 + 4/3
*p5*q48 - 2/3*p6*q41 + 2*p6*q48 - p7*q34 - 4*p7*q40),
p1*q24 + 2*p1*q3 + 6*p1*q48 - 10*p2*q2 + p2*q25 - 3*p2*q49 - 72*p3*q1 - 36*p3*
q51 - 12*p4*q2 - p5*q3 + 9*p7*q5,
p1*q47 + 5*p1*q49 + p2*q46 + 15*p2*q51 + 105*p3*q55 + 40*p4*q51 + 10*p5*q49 - 2*
p6*q43 + 10*p6*q49 - 3*p7*q32 - 3*p7*q41,
p1*q43 + 10*p1*q49 + p2*q44 + 20*p2*q51 + 105*p3*q55 + 30*p4*q51 + 10*p5*q49 - 2
*p6*q31 + 5*p6*q49 - 3*p7*q24 - 3*p7*q32,
p1*q31 + 10*p1*q49 + p2*q30 + 15*p2*q51 + 63*p3*q55 + 12*p4*q51 + 5*p5*q49 - p6*
q2 - 2*p6*q25 - 3*p7*q24 - 3*p7*q3,
p1*q2 - p1*q25 - 4*p1*q49 + 12*p2*q1 - p2*q26 + 5*p2*q51 + 42*p3*q55 + 14*p4*q1
+ p5*q2 + 3*p6*q2 - 6*p7*q3,
4*(p1*q40 + 1/4*p2*q41 + p2*q48 + 5/4*p3*q43 + 15/2*p3*q49 + 3*p4*q48 + 3/4*p5*
q40 - 1/2*p6*q34 + 3/4*p6*q40 - 3/4*p7*q18 - 15/4*p7*q36),
10*(p1*q26 - 2/5*p1*q30 + 3/10*p5*q26 - 1/5*p5*q30 + 1/10*p5*q50 + 1/5*p5*q51 -
3/10*p6*q26 + 1/10*p6*q30 - 1/5*p6*q51 - 3/10*p7*q52 - 3/10*p7*q53),
19*(p1*q1 - 1/19*p1*q26 - 2/19*p1*q30 - 2/19*p1*q44 + 1/19*p1*q46 + 2/19*p1*q50
+ 2/19*p1*q51 + 9/19*p5*q1 - 9/19*p6*q1 - 3/19*p7*q52 - 3/19*p7*q53),
4*(p1*q30 + 3/4*p1*q44 + 105/2*p2*q55 + 35*p4*q55 + 3/2*p5*q30 + 3/4*p5*q44 + p6
*q30 - 3/2*p7*q22 - 3/4*p7*q23 - 3/4*p7*q33 - 3/4*p7*q7),
5*(p1*q36 + 1/5*p2*q34 + 3/5*p2*q40 + 6/5*p3*q32 + 18/5*p3*q48 + 6/5*p4*q40 + 2/
5*p5*q36 - 2/5*p6*q18 - 1/5*p6*q8 - 3/5*p7*q12 - 18/5*p7*q16),
p1*q41 + 4*p1*q48 + p2*q43 + 10*p2*q49 + 4*p3*q44 + 60*p3*q51 + 20*p4*q49 + 6*p5
*q48 - 2*p6*q32 + 4*p6*q48 - 3*p7*q21 - 3*p7*q34,
p1*q32 + 6*p1*q48 + p2*q31 + 10*p2*q49 + 4*p3*q30 + 45*p3*q51 + 10*p4*q49 + 4*p5
*q48 - 2*p6*q24 - p6*q3 - 3*p7*q21 - 3*p7*q5,
p2*q41 + p2*q48 + 2*p3*q42 + 3*p3*q43 + 3*p3*q47 + 15*p3*q49 + 2*p4*q41 + 3*p4*
q48 - p6*q34 - 3*p6*q40 - 3*p7*q18 - 15*p7*q36,
p1*q34 + 3*p1*q40 + p2*q32 + 6*p2*q48 + 5*p3*q31 + 30*p3*q49 + 8*p4*q48 + 3*p5*
q40 - 2*p6*q21 - p6*q5 - 3*p7*q18 - 3*p7*q8,
4*(p1*q30 + 5/2*p1*q50 + 63/2*p2*q55 + 21*p4*q55 + 1/4*p5*q30 + 5/4*p5*q50 + p6*
q30 - 3/4*p7*q2 - 3/4*p7*q23 - 3/2*p7*q25 - 3/4*p7*q31 - 3/4*p7*q4),
p1*q18 + p1*q29 + p2*q21 + p2*q34 + p2*q38 - 8*p2*q40 - 2*p2*q5 - 6*p3*q3 + 6*p3
*q32 - 6*p3*q41 - p5*q8 + 2*p6*q29,
12*(p1*q12 + 3/2*p1*q16 + 1/12*p2*q18 + 1/4*p2*q36 - 1/3*p2*q8 - 7/12*p3*q10 - 3
/2*p3*q40 - 3*p3*q5 - 1/2*p4*q8 - 1/12*p5*q12 + 3/4*p6*q12 + 21/2*p7*q15),
2*(p2*q42 + 1/2*p2*q43 + p2*q47 + 6*p3*q44 + 15*p3*q50 + 30*p3*q51 + 5/2*p4*q42
+ 1/2*p4*q43 + 3*p4*q47 - 1/2*p6*q41 - 3/2*p7*q17 - 9/2*p7*q34 - 6*p7*q40),
2*(p1*q22 + 15*p2*q26 + 6*p2*q46 + 315*p3*q55 + 15*p4*q26 + 3*p4*q46 + 2*p5*q22
- 1/2*p5*q33 + p6*q22 - 3*p7*q11 - 3*p7*q19 - 3/2*p7*q20 - 3/2*p7*q9),
p1*q2 + p1*q23 - p1*q31 + 2*p1*q4 - 9*p1*q52 + 6*p1*q53 - 21*p2*q1 + 6*p2*q26 -
p2*q30 - 2*p5*q2 - p5*q4 - 6*p5*q52 + 2*p6*q2,
p1*q21 + 8*p1*q40 + 5*p1*q5 + p2*q24 - 8*p2*q3 - p2*q48 - 60*p3*q2 - 5*p3*q4 -
30*p3*q49 - 10*p4*q3 - p5*q5 + 3*p6*q5 + 12*p7*q8,
15*(p1*q26 + 2/15*p1*q30 + 1/5*p1*q44 + 49/3*p2*q55 + 14/3*p4*q55 + 4/3*p5*q26 -
1/15*p5*q44 - 1/15*p5*q46 + p6*q26 - 2/5*p7*q22 - 1/5*p7*q23 - 1/5*p7*q4 - 3/5*
p7*q7),
11*(p1*q26 + 4/11*p1*q46 + 147/11*p2*q55 + 42/11*p4*q55 + 10/11*p5*q26 - 1/11*p5
*q30 - 1/11*p5*q50 + p6*q26 - 3/11*p7*q2 - 3/11*p7*q23 - 3/11*p7*q25 - 6/11*p7*
q4 - 3/11*p7*q7),
2*(p1*q18 + 1/2*p1*q29 - 5/2*p1*q36 + p2*q21 + 1/2*p2*q38 - 2*p2*q40 - p2*q5 + 3
*p3*q24 - 9/2*p3*q3 - 9*p3*q48 - p4*q5 - p5*q8 + 1/2*p6*q8),
5*(p2*q34 + 3/5*p2*q40 + 12/5*p3*q32 + 9/5*p3*q35 + 9/5*p3*q41 + 36/5*p3*q48 + 6
/5*p4*q34 + 6/5*p4*q40 - 1/5*p6*q13 - 8/5*p6*q18 - 4*p6*q36 - 3*p7*q12 - 18*p7*
q16),
p1*q18 + 10*p1*q36 + 8*p1*q8 + p2*q21 + p2*q40 - 6*p2*q5 - 48*p3*q3 - 24*p3*q48
- 6*p3*q6 - 8*p4*q5 - p5*q8 + 6*p6*q8 + 15*p7*q12,
p1*q12 + 6*p1*q16 + 2*p2*q18 + p2*q29 - 5*p2*q36 - p2*q8 + 6*p3*q21 - p3*q38 -
24*p3*q40 - 6*p3*q5 - 2*p4*q8 - 2*p5*q12 + p6*q12,
2*(p1*q24 - p1*q3 + 1/2*p1*q45 - 3/2*p1*q48 - 2*p2*q2 + p2*q25 - p2*q49 + 1/2*p2
*q52 - 15/2*p3*q1 + 3*p3*q26 - 3*p3*q51 - p4*q2 - p5*q3 + 1/2*p6*q3),
4*(p1*q3 - 1/2*p1*q32 - 1/4*p1*q41 - 1/2*p1*q9 + 5*p2*q2 - 1/4*p2*q43 + 5/2*p2*
q49 + 30*p3*q1 + 15*p3*q51 + 5*p4*q2 + 3/2*p5*q3 + p6*q3 - 1/2*p6*q9 - 3/4*p7*
q10),
2*(p1*q2 + 1/2*p1*q23 + p1*q25 - p1*q4 + p1*q47 + p1*q49 - 21*p2*q1 - 5/2*p2*q50
- 63*p3*q55 - 21*p4*q1 - 1/2*p5*q4 - 2*p6*q4 + 3*p7*q3 + 3/2*p7*q6),
9*(p1*q26 - 1/3*p1*q44 + 1/9*p1*q50 + 5/9*p5*q26 - 1/9*p5*q30 - 2/9*p5*q44 + 1/9
*p5*q46 + 2/9*p5*q50 - 5/9*p6*q26 + 1/9*p6*q44 - 1/9*p6*q50 - 1/3*p7*q52 - 2/3*
p7*q53 - 1/3*p7*q54),
2*(p1*q46 + 5/2*p1*q50 + 70*p2*q55 + 140*p4*q55 + 1/2*p5*q46 + 5*p5*q50 + 3/2*p6
*q44 + p6*q46 + 5*p6*q50 - 3/2*p7*q31 - 3/2*p7*q33 - 3*p7*q42 - 3*p7*q43 - 3/2*
p7*q47),
4*(p1*q44 + p1*q46 + 175/2*p2*q55 + 105*p4*q55 + 9/4*p5*q44 + 3/2*p5*q46 + 7/4*
p6*q44 + p6*q46 - 3/2*p7*q22 - 3/4*p7*q23 - 3/4*p7*q31 - 9/4*p7*q33 - 3/2*p7*q42
- 3/4*p7*q43),
3*(p1*q44 + 10/3*p1*q50 + 175/3*p2*q55 + 70*p4*q55 + 1/3*p5*q44 + 10/3*p5*q50 +
2/3*p6*q30 + p6*q44 + 5/3*p6*q50 - p7*q23 - p7*q25 - 2*p7*q31 - p7*q33 - p7*q43)
,
7*(p1*q30 + 6/7*p1*q46 + 45*p2*q55 + 30*p4*q55 + 10/7*p5*q30 + 4/7*p5*q46 + p6*
q30 - 6/7*p7*q22 - 6/7*p7*q23 - 3/7*p7*q25 - 3/7*p7*q31 - 3/7*p7*q33 - 3/7*p7*q4
- 3/7*p7*q7),
6*(p1*q13 + p1*q18 - 1/6*p2*q10 - 1/3*p2*q14 + 1/6*p2*q17 - p3*q11 - 2*p3*q3 - 1
/2*p3*q35 - 1/2*p3*q41 - 2*p3*q6 - 1/6*p4*q10 - 1/2*p4*q14 + 1/2*p6*q13 + 5*p7*
q12),
2*(p1*q13 + p1*q18 + 5/2*p1*q36 + 1/2*p2*q34 - 3/2*p2*q40 - 3*p2*q5 - 18*p3*q3 -
9*p3*q48 - 3*p3*q9 - 3*p4*q5 - p5*q8 + p6*q13 - 1/2*p6*q8 + 15/2*p7*q12),
3*(p2*q18 + 1/3*p2*q36 + 5/3*p3*q17 + 2*p3*q21 + p3*q34 + 3*p3*q40 - 1/3*p4*q13
+ 1/3*p4*q18 + 1/3*p4*q36 - p5*q12 - p5*q16 - 5/3*p6*q12 - 5*p6*q16 - 21*p7*q15)
,
15*(p1*q12 + p1*q16 - 1/15*p2*q13 + 2/15*p2*q18 - 1/15*p2*q8 - 2/5*p3*q10 - 1/3*
p3*q14 - 1/5*p3*q34 - 1/5*p3*q40 - 4/5*p3*q5 - 2/15*p4*q13 - 1/15*p4*q8 + 2/3*p6
*q12 + 7*p7*q15),
2*(p1*q2 + p1*q23 + p1*q25 - p1*q4 - 1/2*p1*q47 - 2*p1*q49 - 35/2*p2*q1 + 7/2*p2
*q26 - p2*q51 - 1/2*p5*q2 - p5*q4 + 1/2*p5*q52 + 1/2*p6*q4 - 5/2*p6*q52 + 3/2*p7
*q45),
2*(p1*q22 - 1/2*p1*q33 + p1*q54 + 15*p2*q26 - 10*p2*q30 + 3*p2*q44 - p5*q33 + p5
*q42 + p5*q43 + 3*p5*q54 + 1/2*p6*q33 - p6*q43 + 3/2*p6*q54 - 3/2*p7*q37 - 3/2*
p7*q39),
4*(p1*q22 + 1/4*p1*q23 + 1/4*p1*q33 - 1/2*p1*q42 - 1/2*p1*q43 - p1*q53 - 1/4*p1*
q54 - 35/2*p2*q1 + 5/2*p2*q30 - p2*q44 - 3/2*p5*q53 - 1/4*p5*q7 - p6*q53 + 3/4*
p7*q27 + 3/4*p7*q39),
2*(p1*q21 + 1/2*p1*q38 - 2*p1*q40 - 1/2*p1*q5 + p2*q24 - 3/2*p2*q3 + 1/2*p2*q45
- 3/2*p2*q48 - 6*p3*q2 + 3*p3*q25 - 6*p3*q49 + 1/2*p3*q52 - p4*q3 - p5*q5 + 1/2*
p6*q5),
9*(p1*q2 - 2/9*p1*q25 - 2/9*p1*q31 + 1/9*p1*q47 + 4/9*p1*q49 - 2/9*p1*q52 - 1/9*
p1*q53 + 14/9*p2*q1 - 1/9*p2*q26 - 2/9*p2*q30 + 1/9*p2*q50 + 2/9*p2*q51 + 4/9*p5
*q2 - 1/3*p6*q2 - 2/9*p6*q52 - 1/3*p7*q45),
p1*q23 + 2*p1*q31 + p1*q33 - 3*p1*q4 - 4*p1*q47 + 2*p1*q53 + p1*q54 - 35*p2*q1 +
5*p2*q44 - 4*p2*q46 - 2*p5*q4 + 2*p6*q4 - 2*p6*q53 + 3*p7*q37 + 3*p7*q39 + 3*p7
*q45,
2*(p1*q47 + 3*p2*q46 + 5/2*p2*q50 + 45/2*p2*q51 + 315*p3*q55 + 7*p4*q46 + 10*p4*
q50 + 60*p4*q51 + 5/2*p5*q47 - 2*p6*q42 + 1/2*p6*q43 + 5/2*p6*q47 - 3*p7*q32 - 3
*p7*q35 - 9*p7*q41 - 9*p7*q48),
2*(p1*q42 + 6*p2*q44 + 2*p2*q46 + 15*p2*q50 + 630*p3*q55 + 6*p4*q44 + 6*p4*q46 +
30*p4*q50 + 5/2*p5*q42 + p6*q33 + 5/2*p6*q42 - 9/2*p7*q19 - 3/2*p7*q20 - 3*p7*
q32 - 15/2*p7*q35 - 6*p7*q41),
2*(p1*q43 + 3*p2*q44 + 2*p2*q46 + 30*p2*q51 + 315*p3*q55 + 3*p4*q44 + 6*p4*q46 +
45*p4*q51 + 5/2*p5*q43 - p6*q33 - p6*q42 + 2*p6*q43 - 3/2*p7*q20 - 3*p7*q32 - 3
*p7*q35 - 3*p7*q41),
2*(p1*q33 + 15*p2*q30 + 9*p2*q46 + 15*p2*q50 + 945*p3*q55 + 15*p4*q30 + 12*p4*
q46 + 15*p4*q50 + 5/2*p5*q33 + p6*q33 - 3*p7*q11 - 9*p7*q19 - 9/2*p7*q20 - 3*p7*
q32 - 6*p7*q35 - 3/2*p7*q9),
15*(p1*q2 - 2/15*p1*q31 - 1/5*p1*q43 - 1/15*p1*q47 - 2/15*p1*q7 + 14/3*p2*q1 - 1
/15*p2*q44 - 1/15*p2*q46 + 7/3*p2*q51 + 14*p3*q55 + 14/3*p4*q1 + 4/3*p5*q2 + p6*
q2 - 2/15*p6*q7 - 1/5*p7*q6 - 2/5*p7*q9),
3*(p2*q19 + 1/3*p2*q20 + 1/3*p2*q35 + 4*p3*q23 + 4*p3*q25 + 3*p3*q42 + 4*p3*q47
+ p4*q19 + 1/3*p4*q20 + 1/3*p4*q35 - 1/3*p5*q14 - 1/3*p5*q17 - 1/3*p6*q14 - 1/3*
p6*q17 - 3*p7*q13 - 4*p7*q18),
15*(p1*q12 + 11/15*p2*q18 - 1/15*p2*q29 - 2*p2*q36 - 1/5*p2*q8 - 1/5*p3*q10 + 4/
5*p3*q17 + 4/5*p3*q21 - 4/15*p3*q28 - 8/5*p3*q34 - 3/5*p3*q38 - 6/5*p3*q5 - 4/15
*p4*q13 - 4/15*p4*q29 - p5*q12 + 2/3*p6*q12),
3*(p1*q19 + 2/3*p1*q20 + 2/3*p1*q32 + 2/3*p1*q37 + 1/3*p1*q39 - 2*p1*q41 + 4/3*
p2*q33 - 10/3*p2*q4 - 2*p2*q42 - 4/3*p2*q53 - 60*p3*q1 + 12*p3*q30 - 6*p3*q44 -
4*p4*q53 - 1/3*p5*q11 + p7*q28 + 2*p7*q38),
4*(p1*q22 + 1/2*p1*q23 + 1/4*p1*q31 + 5/4*p1*q33 + 1/2*p1*q42 + 1/4*p1*q43 - p1*
q7 - 105/2*p2*q1 - 3/4*p2*q44 - 5/2*p2*q46 - 315/2*p3*q55 - 105/2*p4*q1 - 2*p5*
q7 - 5/4*p6*q7 + 3*p7*q11 + 3/4*p7*q6 + 3/2*p7*q9),
10*(p1*q2 - 1/5*p1*q25 - 1/10*p1*q31 - 1/5*p1*q4 - 1/5*p1*q47 - 1/5*p1*q49 + 21/
5*p2*q1 - 1/10*p2*q30 - 1/10*p2*q50 + 21/10*p2*q51 + 63/5*p3*q55 + 21/5*p4*q1 +
p5*q2 + 11/10*p6*q2 - 1/5*p6*q4 - 3/5*p7*q3 - 3/10*p7*q6),
2*(p2*q32 + 5/2*p2*q35 + 3/2*p2*q41 + 12*p3*q31 + 6*p3*q33 + 9/2*p3*q42 + 18*p3*
q47 + 30*p3*q49 + p4*q32 + 4*p4*q35 + 3*p4*q41 - 1/2*p6*q14 - 2*p6*q17 - 3*p6*
q34 - 9/2*p7*q13 - 18*p7*q18 - 30*p7*q36),
p1*q24 - 3*p1*q3 + p1*q32 + p1*q37 + p1*q45 - 6*p1*q48 - 5*p2*q2 + p2*q31 + p2*
q43 - 2*p2*q47 + p2*q53 - 15*p3*q1 + 6*p3*q44 - 6*p3*q46 - 2*p5*q3 + 2*p6*q3 + 2
*p6*q37 + 3*p7*q38,
2*(p1*q24 - 3*p1*q3 + 1/2*p1*q32 + p1*q41 + 3/2*p1*q48 + p1*q6 - 15*p2*q2 + 1/2*
p2*q31 + 1/2*p2*q47 - 15/2*p2*q49 - 90*p3*q1 - 45*p3*q51 - 15*p4*q2 - 4*p5*q3 -
7/2*p6*q3 + p6*q6 + 3/2*p7*q10 + 9/2*p7*q5),
9*(p1*q2 - 1/9*p1*q25 - 2/9*p1*q31 - 1/9*p1*q43 + 2/9*p1*q47 + 4/9*p1*q49 - 1/9*
p1*q52 - 2/9*p1*q53 + 14/9*p2*q1 - 1/9*p2*q30 - 2/9*p2*q44 + 1/9*p2*q46 + 2/9*p2
*q50 + 5/9*p5*q2 - 5/9*p6*q2 - 2/9*p6*q53 - 1/3*p7*q37 - 1/3*p7*q45),
4*(p1*q22 + 3/4*p1*q23 - 1/4*p1*q31 - 1/2*p1*q43 - 1/4*p1*q47 - 5/4*p1*q52 - p1*
q53 - 1/4*p1*q54 + 1/2*p1*q7 - 105/4*p2*q1 + 5*p2*q26 - 1/4*p2*q46 - 5/2*p5*q52
- 3/4*p5*q7 - 5/2*p6*q52 + 1/4*p6*q7 + 3/4*p7*q27 + 3/4*p7*q39),
p1*q23 + 4*p1*q25 + 2*p1*q31 + 20*p2*q26 + 3*p2*q44 + 60*p2*q51 + 420*p3*q55 +
20*p4*q26 + 20*p4*q51 + 6*p5*q25 - p5*q43 - p5*q7 - 2*p6*q22 + 4*p6*q25 - 2*p6*
q7 - 3*p7*q20 - 3*p7*q6 - 6*p7*q9,
3*(p1*q23 + p1*q42 + 10*p2*q26 + 2/3*p2*q30 + 25/3*p2*q50 + 210*p3*q55 + 10*p4*
q26 + 2/3*p4*q30 + 10/3*p4*q50 - 1/3*p5*q25 - 1/3*p5*q4 - 1/3*p5*q47 + p6*q23 -
p7*q11 - p7*q20 - 2*p7*q24 - 2*p7*q3 - 2*p7*q6),
p1*q23 + 4*p1*q25 + 4*p1*q47 + 12*p2*q26 + 5*p2*q50 + 36*p2*q51 + 252*p3*q55 +
12*p4*q26 + 12*p4*q51 - 2*p5*q2 - p5*q4 - 2*p5*q49 - 2*p6*q2 + 2*p6*q25 - 2*p6*
q4 - 6*p7*q24 - 12*p7*q3 - 3*p7*q6,
p1*q21 - p1*q34 + 2*p2*q24 - 2*p2*q32 + p2*q41 + 6*p3*q25 - 6*p3*q31 + 3*p3*q43
+ 2*p3*q54 - 2*p4*q32 - 2*p4*q37 + 2*p4*q41 - p5*q34 - p5*q38 + 8*p5*q40 + p6*
q34 - p6*q38 - 8*p6*q40,
2*(p1*q10 + p1*q21 + 3/2*p1*q34 + 2*p1*q40 - 3/2*p1*q5 - 10*p2*q3 + 1/2*p2*q32 +
1/2*p2*q41 - 5*p2*q48 - 60*p3*q2 - 30*p3*q49 - 5/2*p3*q7 - 10*p4*q3 - 3*p5*q5 +
p6*q10 - 2*p6*q5 + 3*p7*q13 + 6*p7*q8),
3*(p1*q41 + 2/3*p2*q42 + 7/3*p2*q43 + 4/3*p2*q47 + 10*p2*q49 + 12*p3*q44 + 4*p3*
q46 + 10*p3*q50 + 120*p3*q51 + 4*p4*q43 + 4*p4*q47 + 20*p4*q49 + 4/3*p5*q41 - 2/
3*p6*q32 - 4/3*p6*q35 - 2*p7*q17 - 3*p7*q21 - 9*p7*q34 - 12*p7*q40),
2*(p1*q11 + 6*p1*q19 + 5/2*p1*q20 + p1*q32 + 5/2*p1*q35 + p1*q9 - p2*q33 - 15*p2
*q4 - 3/2*p2*q42 - 6*p2*q7 - 540*p3*q1 - 18*p3*q46 - 45*p3*q50 - 15*p4*q4 - 6*p4
*q7 - 2*p5*q11 - 3/2*p6*q11 + 6*p7*q10 + 27/2*p7*q14),
2*(p1*q11 + p1*q20 + p1*q32 + p1*q35 - 1/2*p1*q9 - 15*p2*q2 + 1/2*p2*q33 - 3/2*
p2*q43 - 3*p2*q7 - 180*p3*q1 - 9*p3*q46 - 45*p3*q51 - 15*p4*q2 - 3*p4*q7 - 2*p5*
q9 + p6*q11 - p6*q9 + 3*p7*q10 + 3*p7*q14),
3*(p1*q19 + 2/3*p1*q20 + 2/3*p1*q24 + 2/3*p1*q35 + 2/3*p1*q41 + 2/3*p1*q6 - 20/3
*p2*q4 - p2*q42 - 2/3*p2*q7 - 160*p3*q1 - 2*p3*q44 - 20*p3*q50 - 20/3*p4*q4 - 2/
3*p4*q7 - 1/3*p5*q11 - 2/3*p6*q11 + 2*p7*q10 + 3*p7*q14 + 2*p7*q5),
3*(p1*q23 - 2/3*p1*q33 + 10*p2*q26 - 5*p2*q30 + p2*q46 + 1/3*p5*q23 - 1/3*p5*q31
- 2/3*p5*q33 + 2/3*p5*q42 + p5*q47 - 1/3*p5*q53 - 1/3*p5*q54 - 1/3*p6*q23 + 1/3
*p6*q33 - 2/3*p6*q47 + p6*q54 - 2*p7*q37 - p7*q39 - p7*q45),
2*(p1*q42 + p1*q43 + 2*p1*q47 + 4*p2*q44 + 5*p2*q50 + 40*p2*q51 + 420*p3*q55 + 7
*p4*q44 + 10*p4*q50 + 60*p4*q51 + 1/2*p5*q43 + 3*p5*q47 - p6*q33 + 2*p6*q47 - 3/
2*p7*q20 - 3*p7*q24 - 6*p7*q32 - 3*p7*q35 - 3*p7*q41),
2*(p1*q33 + 3/2*p1*q42 + 10*p2*q30 + 3/2*p2*q44 + 20*p2*q50 + 630*p3*q55 + 10*p4
*q30 + 3*p4*q44 + 20*p4*q50 + 1/2*p5*q33 + 3/2*p5*q42 + p6*q33 - 3/2*p7*q11 - 9/
2*p7*q19 - 3*p7*q20 - 3*p7*q24 - 3*p7*q32 - 3*p7*q35 - 3/2*p7*q6),
2*(p1*q22 + 1/2*p1*q23 + p1*q31 + p1*q33 - 2*p1*q4 + p1*q42 + p1*q43 - 70*p2*q1
- 3/2*p2*q44 - 5*p2*q50 - 210*p3*q55 - 70*p4*q1 - 3*p5*q4 - 1/2*p5*q7 - 2*p6*q4
- p6*q7 + 3*p7*q11 + 3/2*p7*q6 + 3*p7*q9),
3*(p2*q17 + 1/3*p2*q21 + 1/3*p2*q34 + 2*p3*q19 + 2*p3*q20 + 4*p3*q24 + p3*q35 +
3*p3*q41 + 4*p3*q48 - 1/3*p4*q14 + 2/3*p4*q17 + 1/3*p4*q21 + 1/3*p4*q34 - 2/3*p5
*q13 - 2/3*p5*q18 - p6*q13 - 2*p6*q18 - 10*p7*q12 - 20*p7*q16),
3*(p1*q19 + 4/3*p2*q22 + 4*p2*q23 + 2/3*p2*q33 + 3*p2*q42 + 80*p3*q26 + 8*p3*q46
+ 60*p3*q50 + 4/3*p4*q22 + 4*p4*q23 + 2/3*p4*q33 + 2*p4*q42 - 1/3*p5*q11 - 1/3*
p5*q20 - 1/3*p5*q35 + p6*q19 - 2*p7*q10 - 7*p7*q14 - 6*p7*q17 - 2*p7*q21),
3*(p1*q32 + 2*p2*q31 + 1/3*p2*q33 + p2*q43 + 10*p2*q49 + 12*p3*q30 + 6*p3*q46 +
90*p3*q51 + 2*p4*q31 + 2*p4*q43 + 10*p4*q49 + 4/3*p5*q32 - 2/3*p6*q20 + 1/3*p6*
q32 - 2/3*p6*q35 - 1/3*p6*q9 - p7*q10 - 2*p7*q17 - 3*p7*q21 - 3*p7*q34),
3*(p1*q25 - 2/3*p1*q43 + 1/3*p1*q47 + 5/3*p2*q26 - p2*q44 + 2/3*p2*q46 - 2/3*p4*
q44 + 2/3*p4*q46 + 2/3*p5*q25 - 1/3*p5*q31 - 1/3*p5*q43 + 2/3*p5*q47 - 1/3*p5*
q53 - 2/3*p6*q25 + 1/3*p6*q43 - 1/3*p6*q47 - 2/3*p6*q53 - 2/3*p6*q54 - p7*q37 -
p7*q45),
6*(p1*q25 - 1/2*p1*q31 + 3/2*p2*q26 - 2/3*p2*q30 + 1/6*p2*q50 - 1/3*p4*q30 + 1/3
*p4*q50 + 1/3*p5*q25 - 1/3*p5*q31 + 1/6*p5*q47 + 2/3*p5*q49 - 1/6*p5*q52 - 1/6*
p5*q53 - 1/3*p6*q25 + 1/6*p6*q31 - 2/3*p6*q49 - 1/6*p6*q52 - 1/3*p6*q53 - 1/2*p7
*q37 - 1/2*p7*q45),
2*(p1*q23 + p1*q25 + p1*q31 + p1*q33 - 5/2*p1*q4 - p1*q42 - 2*p1*q47 - 2*p1*q49
+ 1/2*p1*q52 + p1*q53 + 1/2*p1*q54 - 63/2*p2*q1 + 3*p2*q30 - 3/2*p2*q50 - 3/2*p5
*q4 + p6*q4 - 2*p6*q53 + 3/2*p7*q37 + 3/2*p7*q39 + 3*p7*q45),
4*(p1*q22 + 1/2*p1*q23 + 1/4*p1*q31 + 3/4*p1*q33 - p1*q42 - 1/2*p1*q43 - 3/4*p1*
q47 - 1/2*p1*q53 - 1/2*p1*q7 - 105/4*p2*q1 + 5/2*p2*q30 - 3/4*p2*q46 - 3/2*p5*
q53 - 1/2*p5*q7 - 3/2*p6*q53 + 1/4*p6*q7 + 3/4*p7*q27 + 3/4*p7*q37 + 3/2*p7*q39
+ 3/4*p7*q45),
2*(p1*q22 + p1*q23 + 1/2*p1*q25 - p1*q31 + 1/2*p1*q4 - 1/2*p1*q43 - 5*p1*q52 +
p1*q53 + p1*q54 + p1*q7 - 35*p2*q1 + 15/2*p2*q26 - 1/2*p2*q44 - p5*q4 - 5*p5*q52
- 1/2*p5*q53 - 1/2*p5*q7 + 1/2*p6*q4 - 5/2*p6*q52 + 3/2*p7*q27),
2*(p1*q21 + 1/2*p1*q34 + p1*q38 - 4*p1*q40 - p1*q5 + 1/2*p2*q24 - 5/2*p2*q3 + p2
*q32 + 1/2*p2*q37 - 1/2*p2*q41 + 1/2*p2*q45 - 3*p2*q48 - 15/2*p3*q2 + 3*p3*q31 -
3*p3*q47 + 1/2*p3*q53 - p5*q5 + p6*q38 + 1/2*p6*q5 + 3/2*p7*q29),
7*(p1*q14 + 4/7*p1*q17 - 6/7*p1*q34 - 3/7*p2*q11 + 9/7*p2*q19 - 2/7*p2*q27 - 2/7
*p2*q35 - 3/7*p2*q39 + 18/7*p3*q23 - 6/7*p3*q33 - 36/7*p3*q4 - 60/7*p3*q52 + 24/
7*p3*q53 - 6/7*p3*q54 - 2/7*p4*q27 - 6/7*p4*q39 - 5/7*p5*q14 + 1/7*p5*q28 + 2/7*
p6*q14 + 6/7*p7*q29),
2*(p1*q24 - 5/2*p1*q3 + p1*q32 + 1/2*p1*q37 - 1/2*p1*q41 + p1*q45 - 3*p1*q48 - 9
/2*p2*q2 + 1/2*p2*q25 + p2*q31 - 1/2*p2*q47 - 2*p2*q49 + 1/2*p2*q52 + 1/2*p2*q53
- 27/2*p3*q1 + 3*p3*q30 - 3*p3*q50 - 3/2*p5*q3 + p6*q3 + p6*q45 + 3/2*p7*q38),
p1*q20 + 2*p1*q3 - 2*p1*q32 + 5*p1*q37 - 5*p1*q45 + 2*p1*q6 - 15*p2*q2 + p2*q23
+ 6*p2*q25 - 2*p2*q31 - 10*p2*q52 + 5*p2*q53 - 90*p3*q1 + 30*p3*q26 - 6*p3*q30 -
2*p4*q4 - 10*p4*q52 - 4*p5*q3 - 5*p5*q45 - p5*q6 + 4*p6*q3,
3*(p1*q31 + 1/3*p1*q33 + 2*p1*q47 + 10/3*p2*q30 + 10/3*p2*q50 + 25*p2*q51 + 210*
p3*q55 + 14/3*p4*q30 + 10/3*p4*q50 + 20*p4*q51 + 1/3*p5*q31 + 4/3*p5*q47 - 2/3*
p6*q23 - 2/3*p6*q25 + 1/3*p6*q31 - 1/3*p6*q4 - p7*q20 - 4*p7*q24 - 2*p7*q3 - 2*
p7*q32 - p7*q6),
4*(p1*q21 + 1/4*p2*q20 + 3/2*p2*q24 + 1/2*p2*q32 + 3*p2*q48 + 2*p3*q22 + 9*p3*
q25 + 9/4*p3*q43 + 45/2*p3*q49 + 3/2*p4*q24 + 3/2*p4*q48 - 1/2*p4*q9 - 1/4*p5*
q10 + 1/2*p5*q21 - 1/4*p5*q34 - 1/2*p6*q10 - 1/2*p6*q17 + 1/4*p6*q21 - 3/2*p7*
q13 - 3*p7*q18 - 3*p7*q8),
5*(p1*q18 + 2/5*p2*q17 + 9/5*p2*q21 + 2/5*p2*q34 + 9/5*p2*q40 + 9/5*p3*q20 + 36/
5*p3*q24 + 6/5*p3*q32 + 9/5*p3*q41 + 72/5*p3*q48 - 2/5*p4*q10 + 6/5*p4*q21 + 6/5
*p4*q40 - 2/5*p5*q13 - p5*q36 - p5*q8 - 4/5*p6*q13 - 7/5*p6*q18 - 8/5*p6*q8 - 9*
p7*q12 - 18*p7*q16),
p1*q20 + 4*p1*q24 + 6*p1*q3 + 4*p1*q41 + 6*p1*q48 + p1*q6 - 30*p2*q2 + p2*q23 +
p2*q25 - 10*p2*q4 - 3*p2*q47 - 360*p3*q1 - 6*p3*q30 - 30*p3*q50 - 90*p3*q51 - 30
*p4*q2 - 12*p4*q4 - p5*q6 + 2*p6*q3 - p6*q6 + 6*p7*q10 + 18*p7*q5,
4*(p1*q22 + 1/2*p1*q23 + 1/4*p1*q25 + 1/2*p1*q4 - 1/4*p1*q43 - 1/2*p1*q47 - 1/2*
p1*q49 - 3/4*p1*q52 - 1/2*p1*q53 - 1/4*p1*q54 - 1/4*p1*q7 - 21*p2*q1 + 15/4*p2*
q26 - 1/4*p2*q50 - 1/4*p5*q4 - 5/4*p5*q52 + 1/4*p5*q53 - 1/2*p5*q7 - 5/2*p6*q52
+ 1/4*p6*q7 + 3/4*p7*q39 + 3/4*p7*q45),
4*(p1*q34 + 2*p2*q32 + 1/2*p2*q35 + 3/4*p2*q41 + 9/2*p2*q48 + 9*p3*q31 + 2*p3*
q33 + 9/4*p3*q43 + 9/2*p3*q47 + 45*p3*q49 + 5/2*p4*q32 + 3/2*p4*q41 + 6*p4*q48 +
3/4*p5*q34 - 1/4*p6*q10 - p6*q17 - 3/2*p6*q21 - 5/4*p6*q34 - 3/2*p7*q13 - 9*p7*
q18 - 15*p7*q36 - 3*p7*q8),
15*(p1*q13 + 4/3*p1*q18 + 4/3*p1*q36 + 4/3*p1*q8 - 2/5*p2*q10 + 2/15*p2*q17 + 1/
5*p2*q21 + 1/15*p2*q34 - 4/5*p2*q5 - 3/5*p3*q11 - 48/5*p3*q3 - 2/5*p3*q32 - 6/5*
p3*q41 - 12/5*p3*q48 - 12/5*p3*q6 - 8/5*p3*q9 - 8/15*p4*q10 - 4/5*p4*q5 - 2/15*
p5*q13 + 2/3*p6*q13 + 4/5*p6*q8 + 8*p7*q12),
3*(p1*q24 - 2/3*p1*q32 + 5/3*p2*q25 - p2*q31 + 1/3*p2*q47 + 5*p3*q26 - 3*p3*q30
+ p3*q46 - 2/3*p4*q31 + 2/3*p4*q47 - 2/3*p4*q53 + 1/3*p5*q24 - 2/3*p5*q32 - 1/3*
p5*q37 + 1/3*p5*q41 - 1/3*p5*q45 + 2*p5*q48 - 1/3*p6*q24 + 1/3*p6*q32 - 2/3*p6*
q37 - 1/3*p6*q45 - 2*p6*q48 - p7*q38),
p1*q20 + 3*p1*q24 + 3*p1*q41 + p2*q23 + 11*p2*q25 + 4*p2*q47 + 25*p2*q49 + 60*p3
*q26 + 6*p3*q30 + 15*p3*q50 + 180*p3*q51 + 10*p4*q25 - 2*p4*q4 + 10*p4*q49 - 3*
p5*q3 - 3*p5*q48 - p5*q6 - p6*q24 - 4*p6*q3 - 2*p6*q6 - 3*p7*q10 - 9*p7*q21 - 18
*p7*q5,
4*(p1*q11 + 3/2*p1*q19 + 1/4*p1*q20 - 3/4*p1*q27 - 1/2*p1*q32 - 1/2*p1*q35 + 1/4
*p1*q9 + 3/2*p2*q22 - 1/4*p2*q33 - 15/2*p2*q52 + 3*p2*q53 - 3/4*p2*q54 - 3/2*p2*
q7 - 135/2*p3*q1 + 45/2*p3*q26 - 9/2*p3*q30 - 15/2*p4*q52 + 3/2*p4*q53 - 1/2*p5*
q11 - 5/4*p5*q27 - 1/2*p5*q9 - 1/4*p6*q27 + 1/2*p6*q9 + 3/4*p7*q28),
2*(p1*q22 + 4*p1*q25 + 3/2*p1*q43 + 15*p2*q26 + p2*q30 + 2*p2*q46 + 45*p2*q51 +
315*p3*q55 + 15*p4*q26 + 15*p4*q51 + 4*p5*q25 - 1/2*p5*q31 - 1/2*p5*q4 - 1/2*p5*
q47 - 1/2*p5*q7 - p6*q23 + 7/2*p6*q25 - p6*q4 - p6*q7 - 3/2*p7*q20 - 3*p7*q24 -
3*p7*q3 - 3*p7*q6 - 3*p7*q9),
2*(p1*q22 + 2*p1*q23 + 3/2*p1*q25 + p1*q31 + 1/2*p1*q33 - 5/2*p1*q4 + 2*p1*q42 +
p1*q43 + 3/2*p1*q47 - 1/2*p1*q7 - 105*p2*q1 - p2*q30 - 2*p2*q46 - 15/2*p2*q50 -
315*p3*q55 - 105*p4*q1 - 9/2*p5*q4 - 1/2*p5*q7 - 4*p6*q4 - 3/2*p6*q7 + 3*p7*q11
+ 3*p7*q3 + 9/2*p7*q6 + 3*p7*q9),
2*(p1*q17 + 3*p1*q21 + 1/2*p1*q28 + 5/2*p1*q38 - 12*p1*q40 + 1/2*p2*q20 - 5*p2*
q3 + 3*p2*q32 + p2*q35 + 1/2*p2*q39 - 9/2*p2*q41 - p2*q6 - 30*p3*q2 + 9*p3*q31 +
3*p3*q33 - 3*p3*q4 - 6*p3*q42 - 6*p3*q43 - 6*p3*q53 - 5*p4*q37 - 1/2*p5*q10 +
p6*q28 + 2*p6*q38 + 9/2*p7*q29),
2*(p1*q10 + p1*q17 - 3/2*p1*q34 - p1*q38 + 3/2*p1*q5 + 1/2*p2*q20 + 3*p2*q24 - 5
*p2*q3 - 3/2*p2*q32 + 2*p2*q37 - 3*p2*q45 - 30*p3*q2 + 3*p3*q23 + 12*p3*q25 - 6*
p3*q31 - 15*p3*q52 + 6*p3*q53 - 3/2*p3*q7 - 4*p4*q45 - p4*q6 - 1/2*p5*q10 - 2*p5
*q38 - 3*p5*q5 + 3*p6*q5),
2*(p1*q17 + p1*q21 + p1*q34 + 1/2*p2*q20 + 5*p2*q24 + 3/2*p2*q41 + 8*p2*q48 + 4*
p3*q23 + 24*p3*q25 + 3*p3*q31 + 6*p3*q47 + 60*p3*q49 + 4*p4*q24 + 4*p4*q48 - p4*
q6 - 1/2*p5*q10 - 2*p5*q40 - 2*p5*q5 - p6*q10 - 2*p6*q21 - 3*p6*q5 - 3*p7*q13 -
6*p7*q18 - 12*p7*q8),
4*(p1*q10 + 1/2*p1*q17 + 3/2*p1*q21 + 3/2*p1*q34 + 3*p1*q40 + 3*p1*q5 + 1/4*p2*
q20 + 1/2*p2*q24 - 5*p2*q3 - 1/4*p2*q41 - 2*p2*q6 - 60*p3*q2 - 3/2*p3*q31 - 12*
p3*q4 - 6*p3*q47 - 15*p3*q49 - 3*p3*q7 - 5*p4*q3 - 5/2*p4*q6 - 1/4*p5*q10 + 1/2*
p6*q10 + 3/2*p6*q5 + 9/2*p7*q13 + 9*p7*q8),
4*(p1*q13 + p1*q18 - 1/2*p1*q29 - 5*p1*q36 + p1*q8 + 1/2*p2*q17 + 3/2*p2*q21 -
p2*q34 - 3/4*p2*q38 - 3/2*p2*q5 + 3/2*p3*q20 + 9/2*p3*q24 - 3/4*p3*q27 - 9*p3*q3
- 9/2*p3*q32 + 9/4*p3*q37 - 9/2*p3*q45 - 3/2*p3*q9 - 1/2*p4*q10 - 3/2*p4*q38 -
1/2*p5*q13 - 3/4*p5*q29 - 2*p5*q8 + 2*p6*q8),
p1*q20 - 2*p1*q35 + 2*p2*q23 + 10*p2*q25 - 8*p2*q31 - 2*p2*q33 + 2*p2*q42 + 3*p2
*q43 + 2*p2*q54 + 60*p3*q26 - 48*p3*q30 + 18*p3*q44 - 2*p4*q33 + 4*p4*q42 + 10*
p4*q54 - 2*p5*q32 - 2*p5*q35 - 2*p5*q37 - p5*q39 + 6*p5*q41 + 2*p6*q35 - 2*p6*
q37 - p6*q39 - 4*p6*q41 - 6*p7*q38,
6*(p1*q19 + 1/3*p1*q20 + 1/3*p1*q24 - 1/6*p1*q35 - 2/3*p1*q41 - p1*q48 + 1/3*p1*
q6 + 5/6*p2*q23 - 5/2*p2*q4 - 1/3*p2*q47 - 5/6*p2*q52 - 1/3*p2*q53 - 45*p3*q1 +
10*p3*q26 - p3*q46 - 10/3*p4*q52 - 1/3*p4*q53 - 1/3*p5*q11 + 1/6*p5*q39 + 1/6*p5
*q45 - 1/6*p5*q6 + 1/6*p6*q11 - 1/2*p6*q39 + 1/2*p7*q28 + p7*q38),
2*(p1*q32 + p1*q35 + 3/2*p1*q41 + 9/2*p2*q31 + 1/2*p2*q33 + 3*p2*q47 + 20*p2*q49
+ 24*p3*q30 + 9/2*p3*q44 + 15*p3*q50 + 180*p3*q51 + 6*p4*q31 + 4*p4*q47 + 20*p4
*q49 + 1/2*p5*q32 + 3/2*p5*q41 - p6*q20 - 2*p6*q24 - p6*q32 - 1/2*p6*q6 - 3/2*p7
*q10 - 3*p7*q17 - 9*p7*q21 - 9/2*p7*q34 - 9/2*p7*q5),
5*(p1*q31 + 1/5*p1*q33 + 3/5*p1*q43 + 4*p2*q30 + 3/5*p2*q44 + 6/5*p2*q46 + 30*p2
*q51 + 252*p3*q55 + 4*p4*q30 + 6/5*p4*q44 + 8/5*p4*q46 + 24*p4*q51 + 8/5*p5*q31
+ 3/5*p5*q43 - 4/5*p6*q22 - 2/5*p6*q23 + 4/5*p6*q31 - 2/5*p6*q33 - 1/5*p6*q7 - 9
/5*p7*q20 - 6/5*p7*q24 - 6/5*p7*q32 - 6/5*p7*q35 - 3/5*p7*q6 - 6/5*p7*q9),
5*(p1*q10 + 6/5*p1*q14 + 6/5*p1*q17 + 9/5*p1*q21 + 9/5*p1*q34 + 1/5*p2*q20 - 6*
p2*q3 + 2/5*p2*q35 - 3/5*p2*q41 - 6/5*p2*q6 - 2*p2*q9 - 72*p3*q2 - 36/5*p3*q4 -
18/5*p3*q43 - 18/5*p3*q47 - 18*p3*q49 - 36/5*p3*q7 - 6*p4*q3 - 6/5*p4*q6 - 12/5*
p4*q9 - 3/5*p5*q10 + 2/5*p6*q10 + 6/5*p6*q14 + 36/5*p7*q13 + 36/5*p7*q8),
2*(p1*q20 + 2*p1*q24 + 2*p1*q3 + 1/2*p1*q39 - p1*q41 + p1*q45 - 6*p1*q48 - 1/2*
p1*q6 - 12*p2*q2 + p2*q23 + 7/2*p2*q25 - 3/2*p2*q4 - 1/2*p2*q47 - 3*p2*q49 - 1/2
*p2*q52 - 72*p3*q1 + 15*p3*q26 - 3*p3*q50 - p4*q4 - 5*p4*q52 - p5*q3 + 1/2*p5*
q45 - p5*q6 - p6*q45 + 1/2*p6*q6 + 3*p7*q38),
3*(p1*q20 + 1/3*p1*q27 + 2/3*p1*q32 - 2/3*p1*q37 + 2/3*p1*q39 - 2*p1*q41 - 10*p2
*q2 + 2/3*p2*q22 + 2*p2*q31 + 2/3*p2*q33 - 2/3*p2*q42 - 5/3*p2*q43 - 4/3*p2*q53
- 1/3*p2*q54 - 2/3*p2*q7 - 60*p3*q1 + 12*p3*q30 - 6*p3*q44 - 4*p4*q53 - 5/3*p5*
q37 - 2/3*p5*q9 + 2/3*p6*q27 - p6*q37 + 2/3*p6*q39 + p7*q28 + 2*p7*q38),
3*(p1*q35 + 4*p2*q31 + 8/3*p2*q33 + p2*q42 + p2*q43 + 6*p2*q47 + 48*p3*q30 + 12*
p3*q46 + 60*p3*q50 + 180*p3*q51 + 4*p4*q31 + 4*p4*q33 + 2*p4*q42 + 2*p4*q43 + 8*
p4*q47 + 4/3*p5*q35 - 1/3*p6*q11 - 2*p6*q19 - 2/3*p6*q20 - 2/3*p6*q32 - 2/3*p6*
q35 - 2*p7*q10 - 3*p7*q14 - 10*p7*q17 - 6*p7*q21 - 12*p7*q34),
4*(p1*q22 + 5/4*p1*q23 + 1/2*p1*q33 + 30*p2*q26 + 9/4*p2*q44 + 4*p2*q46 + 25/2*
p2*q50 + 630*p3*q55 + 30*p4*q26 + 3/2*p4*q44 + 2*p4*q46 + 5*p4*q50 + 3/2*p5*q23
- 1/4*p5*q31 - 1/4*p5*q33 - 1/2*p5*q42 - 1/4*p5*q43 - 1/4*p5*q7 + p6*q22 + 5/4*
p6*q23 - 9/2*p7*q11 - 9/2*p7*q19 - 3*p7*q20 - 3/2*p7*q24 - 9/4*p7*q6 - 3*p7*q9),
6*(p1*q10 + 5/3*p1*q14 + 7/3*p1*q17 + p1*q21 + p1*q34 - 4/3*p2*q11 + 1/2*p2*q19
+ 1/6*p2*q20 - 1/6*p2*q35 - 2*p2*q6 - 2/3*p2*q9 - 40*p3*q2 - p3*q33 - 24*p3*q4 -
3*p3*q42 - p3*q43 - 6*p3*q47 - 4*p3*q7 - 5/3*p4*q11 - 2*p4*q6 - 2/3*p4*q9 - 1/2
*p5*q14 + 1/3*p6*q10 + 1/2*p6*q14 + 9*p7*q13 + 4*p7*q8),
3*(p1*q20 + 4*p2*q22 + 2*p2*q23 + 10*p2*q25 + 2/3*p2*q33 + 3*p2*q43 + 4*p2*q47 +
120*p3*q26 + 24*p3*q46 + 30*p3*q50 + 180*p3*q51 + 4*p4*q22 + 2*p4*q23 + 10*p4*
q25 + 2*p4*q43 + 2*p4*q47 - 2/3*p5*q11 + 2/3*p5*q20 - 2/3*p5*q32 - 2/3*p5*q35 -
2/3*p5*q9 - 4/3*p6*q11 - 2*p6*q19 - 2/3*p6*q9 - 6*p7*q10 - 6*p7*q14 - 8*p7*q17 -
6*p7*q21),
3*(p1*q19 + 2/3*p1*q20 + 2/3*p1*q35 + 10/3*p2*q23 + 20/3*p2*q25 + 2/3*p2*q31 +
p2*q42 + 16/3*p2*q47 + 80*p3*q26 + 6*p3*q44 + 40*p3*q50 + 120*p3*q51 + 10/3*p4*
q23 + 20/3*p4*q25 + 2/3*p4*q31 + 8/3*p4*q47 - 1/3*p5*q11 - 2/3*p5*q24 - 2/3*p5*
q41 - 2/3*p5*q6 - 2/3*p6*q11 - 2/3*p6*q24 - 2/3*p6*q6 - 4*p7*q10 - 3*p7*q14 - 4*
p7*q17 - 6*p7*q21 - 6*p7*q5),
2*(p1*q13 + 6*p1*q18 + 3*p1*q29 - 20*p1*q36 + 4*p1*q8 - 1/2*p2*q10 + 2*p2*q17 +
7/2*p2*q21 + 1/2*p2*q28 - 3/2*p2*q34 - 1/2*p2*q38 - 10*p2*q40 - 4*p2*q5 + 3*p3*
q20 + 9*p3*q24 - 24*p3*q3 - 3*p3*q37 - 3/2*p3*q39 - 9*p3*q41 - 6*p3*q45 - 3*p3*
q6 - p4*q10 - 3*p4*q38 - 2*p5*q13 + 1/2*p5*q29 - 2*p5*q8 + p6*q13 + 2*p6*q29),
5*(p1*q13 + 4/5*p1*q18 + 2/5*p1*q29 - 4*p1*q36 - 1/5*p2*q10 + 4/5*p2*q17 - 1/5*
p2*q28 - 4/5*p2*q34 - 1/5*p2*q38 - 1/5*p3*q11 + 6/5*p3*q19 + 4/5*p3*q20 + 6/5*p3
*q24 - 4/5*p3*q27 - 12/5*p3*q3 - 2/5*p3*q32 - 6/5*p3*q35 + 6/5*p3*q37 - 3/5*p3*
q39 - 12/5*p3*q45 - 6/5*p3*q6 - 2/5*p4*q14 - 2/5*p4*q28 - 2/5*p4*q38 - 4/5*p5*
q13 + 1/5*p5*q29 + 2/5*p6*q13 + 2/5*p6*q29),
2*(p1*q20 + 2*p1*q24 + 2*p1*q32 + p1*q35 + 2*p1*q37 + p1*q39 - 4*p1*q41 + 3/2*p1
*q45 - 6*p1*q48 - p1*q6 - 15*p2*q2 + 1/2*p2*q23 + 3*p2*q31 + p2*q33 - 5/2*p2*q4
- p2*q42 - 3*p2*q47 + 1/2*p2*q54 - 90*p3*q1 + 12*p3*q30 - 6*p3*q46 - 6*p4*q53 -
p5*q6 - 1/2*p6*q37 + p6*q39 + p6*q45 + 1/2*p6*q6 + 3/2*p7*q28 + 6*p7*q38),
4*(p1*q11 + 3/2*p1*q19 + 1/2*p1*q20 - 1/2*p1*q27 - p1*q32 - 1/2*p1*q35 + 1/2*p1*
q37 - 1/2*p1*q39 + 3/4*p1*q6 + 7/4*p2*q23 - 1/2*p2*q31 - 1/4*p2*q33 - 5/2*p2*q4
- 10*p2*q52 + 4*p2*q53 - 3/4*p2*q54 - 3/4*p2*q7 - 90*p3*q1 + 30*p3*q26 - 6*p3*
q30 - 10*p4*q52 + 2*p4*q53 - 1/2*p5*q11 - 1/4*p5*q37 - p5*q39 - 3/4*p5*q6 - 1/2*
p6*q27 + 1/2*p6*q6 + 3/4*p7*q28),
p1*q20 + 6*p1*q24 + 2*p1*q32 + 2*p2*q22 + p2*q23 + 20*p2*q25 + 2*p2*q31 + 3*p2*
q43 + 50*p2*q49 + 120*p3*q26 + 9*p3*q44 + 12*p3*q46 + 360*p3*q51 + 20*p4*q25 +
20*p4*q49 - 2*p4*q7 + 6*p5*q24 - p5*q32 - p5*q41 - p5*q6 - 2*p5*q9 - 2*p6*q20 +
4*p6*q24 - 2*p6*q6 - 4*p6*q9 - 9*p7*q10 - 6*p7*q17 - 9*p7*q21 - 9*p7*q5,
4*(p1*q17 + 3/2*p1*q21 + 1/4*p1*q28 - 3/4*p1*q34 + p1*q38 - 6*p1*q40 + 3/2*p1*q5
+ 1/2*p2*q20 + 7/4*p2*q24 - 15/4*p2*q3 + 1/4*p2*q39 - 1/2*p2*q41 - 1/4*p2*q45 -
3*p2*q48 - 1/2*p2*q6 - 45/2*p3*q2 + 3/2*p3*q23 + 6*p3*q25 - 9/4*p3*q4 - 3*p3*
q47 - 15/4*p3*q52 - 3/2*p3*q53 - 2*p4*q45 - 1/2*p4*q6 - 1/2*p5*q10 + 1/4*p5*q38
- 3/4*p5*q5 + 1/4*p6*q10 + 1/4*p6*q38 + 9/4*p7*q29),
3*(p1*q10 + 4/3*p1*q17 + 2*p1*q21 + 2/3*p1*q28 - 2*p1*q34 - p1*q38 - 4*p1*q40 +
p2*q20 + 2*p2*q24 + 1/3*p2*q27 - 20/3*p2*q3 - 2/3*p2*q32 - p2*q37 - p2*q41 - 4/3
*p2*q45 - 2/3*p2*q9 - 40*p3*q2 + 4*p3*q22 + 12*p3*q25 - 4*p3*q43 - 10*p3*q52 - 2
*p3*q7 - 4*p4*q45 - 4/3*p4*q9 - p5*q10 - p5*q38 + 1/3*p6*q10 + 2/3*p6*q28 - p6*
q38 + 3*p7*q29),
6*(p1*q11 + 2*p1*q19 + p1*q20 - 2/3*p1*q32 - 2/3*p1*q35 - 1/3*p1*q37 - 2/3*p1*
q39 - p1*q41 + 2/3*p1*q9 + 4/3*p2*q22 + p2*q23 - 10/3*p2*q4 - 1/3*p2*q42 - 1/3*
p2*q43 - 5*p2*q52 + 1/3*p2*q54 - 4/3*p2*q7 - 120*p3*q1 + 30*p3*q26 - 3*p3*q44 -
10*p4*q52 - p5*q11 + 1/6*p5*q27 + 1/6*p5*q37 - 1/2*p5*q39 - 1/3*p5*q9 + 1/3*p6*
q11 - 1/3*p6*q27 - 2/3*p6*q39 + 3/2*p7*q28 + p7*q38),
3*(p1*q20 + 2/3*p1*q24 + 2/3*p1*q27 - 4/3*p1*q32 - 2/3*p1*q37 - 2/3*p1*q41 - 4/3
*p1*q45 + 1/3*p1*q6 + 4/3*p1*q9 - 40/3*p2*q2 + 2/3*p2*q22 + 2/3*p2*q23 + 10/3*p2
*q25 - 1/3*p2*q31 - 2/3*p2*q43 - 10/3*p2*q52 + 1/3*p2*q54 - 1/3*p2*q7 - 80*p3*q1
+ 20*p3*q26 - 2*p3*q44 - 20/3*p4*q52 - 2/3*p4*q7 - 1/3*p5*q37 - 2*p5*q45 - 2/3*
p5*q6 - 2/3*p5*q9 + 2/3*p6*q27 - 4/3*p6*q45 + 1/3*p6*q6 + p7*q28),
4*(p1*q17 + 3/4*p2*q19 + 9/4*p2*q20 + 3*p2*q24 + 1/2*p2*q32 + 1/2*p2*q35 + 9/4*
p2*q41 + 6*p3*q22 + 9*p3*q23 + 36*p3*q25 + 3/2*p3*q33 + 9/4*p3*q42 + 9/2*p3*q43
+ 18*p3*q47 + 45*p3*q49 - 1/2*p4*q11 + 2*p4*q20 + 3*p4*q24 + 1/2*p4*q32 + 3/2*p4
*q41 - 3/4*p5*q10 - 3/4*p5*q14 - 3/4*p5*q21 - 3/4*p5*q34 - p6*q10 - 3/2*p6*q14 -
3/2*p6*q17 - 3/2*p6*q21 - 45/4*p7*q13 - 18*p7*q18 - 9*p7*q8),
4*(p1*q11 + 5/4*p1*q20 + 3/2*p1*q24 + 2*p1*q32 + 3/2*p1*q35 + 3/2*p1*q41 + p1*q9
- 30*p2*q2 + 1/2*p2*q22 + 1/4*p2*q23 - 1/4*p2*q31 + 1/4*p2*q33 - 5*p2*q4 + 1/2*
p2*q42 - 1/2*p2*q43 - 5/2*p2*q47 - 3*p2*q7 - 360*p3*q1 - 9/2*p3*q44 - 6*p3*q46 -
15*p3*q50 - 90*p3*q51 - 30*p4*q2 - 5*p4*q4 - 7/2*p4*q7 - 7/4*p5*q6 - 1/2*p5*q9
+ p6*q11 - 3/4*p6*q6 + 6*p7*q10 + 9/2*p7*q14 + 9/2*p7*q5),
4*(p1*q20 + 1/2*p1*q24 + 1/4*p1*q27 - 1/2*p1*q32 - 1/2*p1*q37 + 1/2*p1*q39 - p1*
q41 - 3/4*p1*q45 - 3/2*p1*q48 + 1/2*p1*q6 - 45/4*p2*q2 + p2*q22 + 1/4*p2*q23 + 5
/2*p2*q25 - 1/4*p2*q43 - 1/2*p2*q47 - 5/4*p2*q52 - 3/4*p2*q53 - 1/4*p2*q54 - 1/2
*p2*q7 - 135/2*p3*q1 + 15*p3*q26 - 3/2*p3*q46 - 5*p4*q52 - 1/2*p4*q7 + 1/4*p5*
q37 - p5*q45 - 1/4*p5*q6 - p5*q9 + 1/2*p6*q39 - 3/2*p6*q45 + 1/2*p6*q9 + 3/4*p7*
q28 + 3/2*p7*q38),
4*(p1*q10 + 3/4*p1*q14 + 5/2*p1*q17 + 3/2*p1*q21 + 1/2*p1*q28 - 3*p1*q34 + 1/2*
p1*q38 - 6*p1*q40 - 1/4*p2*q11 + 3/2*p2*q19 + 5/4*p2*q20 - 1/4*p2*q35 - 1/2*p2*
q37 - 3/4*p2*q39 - 3/2*p2*q41 - p2*q45 - 2*p2*q6 - 30*p3*q2 + 9/2*p3*q23 + 9*p3*
q25 - 12*p3*q4 - 3*p3*q42 - 3/2*p3*q43 - 15*p3*q52 + 3/2*p3*q54 - 1/2*p4*q11 - 1
/2*p4*q37 - 2*p4*q39 - 3*p4*q45 - 1/2*p5*q10 - 3/2*p5*q14 + 1/4*p5*q28 + 1/2*p5*
q38 + 3/4*p6*q14 + 1/2*p6*q38 + 9/2*p7*q29),
6*(p1*q10 + 2*p1*q14 + 2*p1*q17 - 1/6*p1*q28 - 3*p1*q34 + p2*q19 + 4/3*p2*q20 -
7/6*p2*q27 - p2*q32 - 2/3*p2*q35 + 3/2*p2*q37 - 1/2*p2*q39 - 3*p2*q45 - p2*q6 -
p2*q9 - 30*p3*q2 + 4*p3*q22 + 3*p3*q23 + 12*p3*q25 - 3*p3*q31 - 2*p3*q33 - 6*p3*
q4 - 30*p3*q52 + 12*p3*q53 - 3*p3*q54 - 3*p3*q7 - 2/3*p4*q11 - 5/3*p4*q27 + p4*
q37 - p4*q39 - 4*p4*q45 - p5*q10 - p5*q14 - 1/2*p5*q28 + 2/3*p6*q10 + 1/6*p6*q28
+ 3*p7*q29)
Computing time
On a Pentium 4 PC with 1.7GHz running REDUCE 3.7 with 120 MB RAM
under Linux it took 5508 sec.