pp1 := P(7,7)*z^4+P(5,7)*z^3+(P(3,7)-w)*z^2+(P(6,7)*w+P(2,7))*z+P(4,7)*w+P(1,7
);

pp2 := -2*z^5+(-P(7,7,7)-lambda[7]+P(6,7))*z^4+(-P(5,7,7)+P(5,6))*z^3+(P(3,6)-
P(3,7,7))*z^2+(-P(2,7,7)+P(6,6)*w-P(6,7,7)*w+P(2,6))*z-P(1,7,7)+P(4,6)*w-P(4,7
,7)*w+P(1,6);

pp3 := (-3/2*P(6,7,7)+1/2*P(7,7,7,7))*z^4+(1/2*P(5,7,7,7)-3/2*P(5,6,7))*z^3+(-\
3/2*P(3,6,7)+1/2*P(3,7,7,7))*z^2+(1/2*P(2,7,7,7)-3/2*P(2,6,7)+(1/2*P(6,7,7,7)-\
1/2*P(6,6,7))*w-P(6,6,7)*w)*z-P(4,6,7)*w-3/2*P(1,6,7)+(1/2*P(4,7,7,7)-1/2*P(4,
6,7))*w-3*w^2+1/2*P(1,7,7,7);

pp4 := -2*P(7,7)*z^5+(P(6,7,7,7)-1/6*P(7,7,7,7,7)-1/2*P(6,6,7)-P(5,7))*z^4+(P(
5,6,7,7)-1/2*P(5,6,6)-2*P(3,7)-2*w-1/6*P(5,7,7,7,7)+P(5,5))*z^3+(P(3,6,7,7)-1/
2*P(3,6,6)-2*w*lambda[7]-2*P(2,7)-2*P(6,7)*w-1/6*P(3,7,7,7,7)+P(3,5))*z^2+(P(2
,5)+P(2,6,7,7)-1/6*P(2,7,7,7,7)+(1/2*P(6,6,7,7)-1/6*P(6,7,7,7,7))*w-2*P(1,7)+(
1/2*P(6,6,7,7)-1/2*P(6,6,6))*w+P(5,6)*w-2*P(4,7)*w-1/2*P(2,6,6))*z+(1/2*P(4,6,
7,7)-1/6*P(4,7,7,7,7))*w-1/6*P(1,7,7,7,7)+P(1,5)+(1/2*P(4,6,7,7)-1/2*P(4,6,6))
*w+P(4,5)*w+P(1,6,7,7)-1/2*P(1,6,6);

pp5 := -z^6+(-8/3*lambda[7]+2*P(7,7,7)-2*P(6,7))*z^5+(-2*P(5,6)+1/6*P(7,7,7)*
lambda[7]+5/8*P(6,6,7,7)+3/4*P(5,7,7)-5/12*P(6,7,7,7,7)+1/24*P(7,7,7,7,7,7)-1/
3*lambda[7]^2+1/3*P(6,7)*lambda[7]+P(4,7)-3*lambda[6])*z^4+(P(4,5)+2*P(3,7,7)-\
2*lambda[5]+1/3*P(5,6)*lambda[7]+5/8*P(5,6,6,7)-5/12*P(5,6,7,7,7)-5/4*P(5,5,7)
-2*P(3,6)+1/6*P(5,7,7)*lambda[7]+1/24*P(5,7,7,7,7,7))*z^3+(1/3*P(3,6)*lambda[7
]+5/8*P(3,6,6,7)-5/12*P(3,6,7,7,7)+2*P(6,7,7)*w-5/4*P(3,5,7)+2*P(2,7,7)+1/6*P(
3,7,7)*lambda[7]+1/24*P(3,7,7,7,7,7)+P(3,4)-2*P(2,6)-2*P(6,6)*w)*z^2+((1/3*P(6
,6)*lambda[7]+1/2*P(6,6,6,7)-1/6*P(6,6,7,7,7))*w+P(2,4)-P(5,6,7)*w-5/4*P(2,5,7
)+2*P(1,7,7)+(1/6*P(6,7,7)*lambda[7]+1/8*P(6,6,6,7)-1/4*P(5,6,7)-1/4*P(6,6,7,7
,7)+1/24*P(6,7,7,7,7,7))*w-2*P(1,6)+1/3*P(2,6)*lambda[7]+5/8*P(2,6,6,7)-5/12*P
(2,6,7,7,7)+1/6*P(2,7,7)*lambda[7]+1/24*P(2,7,7,7,7,7)-P(4,6)*w+2*P(4,7,7)*w)*
z+(1/3*P(4,6)*lambda[7]+1/2*P(4,6,6,7)-1/6*P(4,6,7,7,7))*w+(1/6*P(4,7,7)*
lambda[7]+1/8*P(4,6,6,7)-1/4*P(4,5,7)-1/4*P(4,6,7,7,7)+1/24*P(4,7,7,7,7,7))*w-
P(4,5,7)*w+1/3*P(1,6)*lambda[7]+P(1,4)-5/4*P(1,5,7)+5/8*P(1,6,6,7)-5/12*P(1,6,
7,7,7)+1/6*P(1,7,7)*lambda[7]+1/24*P(1,7,7,7,7,7)+P(4,4)*w;

pp6 := (-P(7,7,7,7)+3*P(6,7,7))*z^5+(1/8*P(6,7,7,7,7,7)-3/8*P(6,6,7,7,7)-1/10*
P(6,7,7)*lambda[7]-1/120*P(7,7,7,7,7,7,7)-6/5*P(4,7,7)-1/4*P(5,7,7,7)-1/6*P(7,
7,7,7)*lambda[7]+1/8*P(6,6,6,7)+9/4*P(5,6,7))*z^4+(-1/10*P(5,6,7)*lambda[7]+1/
8*P(5,6,6,6)-3/4*P(5,5,6)-3/8*P(5,6,6,7,7)+1/8*P(5,6,7,7,7,7)-6/5*P(4,5,7)-1/
120*P(5,7,7,7,7,7,7)+3/4*P(5,5,7,7)-1/6*P(5,7,7,7)*lambda[7]-P(3,7,7,7)+3*P(3,
6,7))*z^3+(-6/5*P(3,4,7)+3*P(2,6,7)+1/8*P(3,6,7,7,7,7)-3/8*P(3,6,6,7,7)-1/10*P
(3,6,7)*lambda[7]-1/120*P(3,7,7,7,7,7,7)+3/4*P(3,5,7,7)-1/6*P(3,7,7,7)*lambda[
7]-2*(1/2*P(6,7,7,7)-1/2*P(6,6,7))*w-3/4*P(3,5,6)+1/8*P(3,6,6,6)-P(2,7,7,7)+2*
P(6,6,7)*w)*z^2+(3*P(1,6,7)-6/5*P(2,4,7)+P(4,6,7)*w-1/10*P(2,6,7)*lambda[7]+1/
8*P(2,6,6,6)-3/4*P(2,5,6)-3/8*P(2,6,6,7,7)+1/8*P(2,6,7,7,7,7)+3/4*P(2,5,7,7)+(
1/12*P(6,6,7,7,7,7)-1/8*P(6,6,6,7,7)+1/15*P(6,6,7)*lambda[7]-1/120*P(6,7,7,7,7
,7,7)-1/5*P(4,6,7)+1/4*P(5,6,7,7)-1/6*P(6,7,7,7)*lambda[7])*w-1/120*P(2,7,7,7,
7,7,7)-1/6*P(2,7,7,7)*lambda[7]-P(1,7,7,7)-2*(1/2*P(4,7,7,7)-1/2*P(4,6,7))*w+(
1/2*P(5,6,7,7)-1/2*P(5,6,6))*w+(-1/6*P(6,6,7)*lambda[7]+1/8*P(6,6,6,6)-1/4*P(5
,6,6)-1/4*P(6,6,6,7,7)+1/24*P(6,6,7,7,7,7))*w)*z+(-1/6*P(4,6,7)*lambda[7]+1/8*
P(4,6,6,6)-1/4*P(4,5,6)-1/4*P(4,6,6,7,7)+1/24*P(4,6,7,7,7,7))*w+1/8*P(1,6,6,6)
-3/8*P(1,6,6,7,7)-2*w^2*lambda[7]-1/120*P(1,7,7,7,7,7,7)-3/4*P(1,5,6)+(1/12*P(
4,6,7,7,7,7)-1/8*P(4,6,6,7,7)+1/15*P(4,6,7)*lambda[7]-1/120*P(4,7,7,7,7,7,7)-1
/5*P(4,4,7)+1/4*P(4,5,7,7)-1/6*P(4,7,7,7)*lambda[7])*w-1/10*P(1,6,7)*lambda[7]
+(1/2*P(4,5,7,7)-1/2*P(4,5,6))*w-P(4,4,7)*w-1/6*P(1,7,7,7)*lambda[7]+3/4*P(1,5
,7,7)+1/8*P(1,6,7,7,7,7)-6/5*P(1,4,7);

pp7 := P(1,3)+(1/2*P(4,5,6,7)-1/6*P(4,5,7,7,7))*w+(-P(5,7)-2*P(6,7,7,7)+P(6,6,
7)+1/3*P(7,7,7,7,7))*z^5+(2*P(3,7)+1/15*P(6,6,7)*lambda[7]-19/60*P(6,7,7,7)*
lambda[7]+1/720*P(7,7,7,7,7,7,7,7)+1/3*(1/2*P(6,7,7,7)-1/2*P(6,6,7))*lambda[7]
+1/12*P(7,7,7,7,7)*lambda[7]+7/48*P(6,6,7,7,7,7)-7/48*P(6,6,6,7,7)-7/240*P(6,7
,7,7,7,7,7)-2*P(5,5)-9/8*P(5,6,7,7)+1/24*P(5,7,7,7,7)+P(5,6,6)-7/10*P(4,6,7)+7
/10*P(4,7,7,7))*z^4+(P(2,7)-7/24*P(5,5,7,7,7)-7/240*P(5,6,7,7,7,7,7)-7/48*P(5,
6,6,6,7)+1/720*P(5,7,7,7,7,7,7,7)+7/48*P(5,6,6,7,7,7)+P(6,7)*w-w*lambda[7]+7/8
*P(5,5,6,7)-P(3,5)+7/10*P(4,5,7,7)-7/10*P(4,5,6)+1/12*P(5,7,7,7,7)*lambda[7]-\
19/60*P(5,6,7,7)*lambda[7]+1/15*P(5,6,6)*lambda[7]+1/3*(1/2*P(5,6,7,7)-1/2*P(5
,6,6))*lambda[7]+1/3*P(3,7,7,7,7)+P(3,6,6)-2*P(3,6,7,7))*z^3+(P(1,7)-7/240*P(3
,6,7,7,7,7,7)+1/720*P(3,7,7,7,7,7,7,7)+7/48*P(3,6,6,7,7,7)+P(3,3)-2*(1/2*P(6,6
,7,7)-1/6*P(6,7,7,7,7))*w-2*P(5,6)*w-2*(1/2*P(6,6,7,7)-1/2*P(6,6,6))*w+7/8*P(3
,5,6,7)+7/10*P(3,4,7,7)-7/10*P(3,4,6)-7/24*P(3,5,7,7,7)+P(4,7)*w+1/12*P(3,7,7,
7,7)*lambda[7]-7/48*P(3,6,6,6,7)-2*P(2,6,7,7)-19/60*P(3,6,7,7)*lambda[7]+1/15*
P(3,6,6)*lambda[7]+1/3*(1/2*P(3,6,7,7)-1/2*P(3,6,6))*lambda[7]-3*w*lambda[6]+P
(2,6,6)-2*P(2,5)+1/3*P(2,7,7,7,7))*z^2+(1/3*(1/2*P(2,6,7,7)-1/2*P(2,6,6))*
lambda[7]+(1/2*P(5,6,6,7)-1/6*P(5,6,7,7,7))*w+P(3,6)*w+(1/12*P(6,6,6,7,7,7)-1/
8*P(6,6,6,6,7)+1/15*P(6,6,6)*lambda[7]-1/120*P(6,6,7,7,7,7,7)-1/5*P(4,6,6)+1/4
*P(5,6,6,7)-1/6*P(6,6,7,7)*lambda[7]+1/3*(1/2*P(6,6,7,7)-1/2*P(6,6,6))*lambda[
7])*w+(-1/8*P(5,6,7,7,7)+1/8*P(5,6,6,7)+1/5*P(4,6,7,7)-1/48*P(6,6,7,7,7,7,7)+1
/12*P(6,7,7,7,7)*lambda[7]-1/48*P(6,6,6,6,7)+1/720*P(6,7,7,7,7,7,7,7)-3/20*P(6
,6,7,7)*lambda[7]+1/16*P(6,6,6,7,7,7))*w-19/60*P(2,6,7,7)*lambda[7]+1/12*P(2,7
,7,7,7)*lambda[7]+1/15*P(2,6,6)*lambda[7]-(1/2*P(4,6,7,7)-1/2*P(4,6,6))*w-2*P(
4,5)*w-w*lambda[5]-2*P(1,5)-2*P(1,6,7,7)+P(1,6,6)+1/3*P(1,7,7,7,7)+P(2,3)+7/10
*P(2,4,7,7)-7/10*P(2,4,6)+7/8*P(2,5,6,7)-7/24*P(2,5,7,7,7)+7/48*P(2,6,6,7,7,7)
-7/48*P(2,6,6,6,7)-7/240*P(2,6,7,7,7,7,7)+1/720*P(2,7,7,7,7,7,7,7)-2*(1/2*P(4,
6,7,7)-1/6*P(4,7,7,7,7))*w)*z+1/15*P(1,6,6)*lambda[7]+(1/2*P(4,4,7,7)-1/2*P(4,
4,6))*w+(-1/8*P(4,5,7,7,7)+1/8*P(4,5,6,7)+1/5*P(4,4,7,7)-1/48*P(4,6,7,7,7,7,7)
+1/12*P(4,7,7,7,7)*lambda[7]-1/48*P(4,6,6,6,7)+1/720*P(4,7,7,7,7,7,7,7)-3/20*P
(4,6,7,7)*lambda[7]+1/16*P(4,6,6,7,7,7))*w+w*lambda[4]+P(7,7)*z^6+P(3,4)*w+1/3
*(1/2*P(1,6,7,7)-1/2*P(1,6,6))*lambda[7]+(1/12*P(4,6,6,7,7,7)-1/8*P(4,6,6,6,7)
+1/15*P(4,6,6)*lambda[7]-1/120*P(4,6,7,7,7,7,7)-1/5*P(4,4,6)+1/4*P(4,5,6,7)-1/
6*P(4,6,7,7)*lambda[7]+1/3*(1/2*P(4,6,7,7)-1/2*P(4,6,6))*lambda[7])*w-19/60*P(
1,6,7,7)*lambda[7]+1/12*P(1,7,7,7,7)*lambda[7]+7/10*P(1,4,7,7)-7/10*P(1,4,6)+7
/8*P(1,5,6,7)-7/24*P(1,5,7,7,7)+7/48*P(1,6,6,7,7,7)-7/48*P(1,6,6,6,7)-7/240*P(
1,6,7,7,7,7,7)+1/720*P(1,7,7,7,7,7,7,7);

pp8 := -8/7*P(1,3,7)+(1/6*P(4,5,7)*lambda[7]+1/8*P(4,5,6,6)-1/4*P(4,5,5)-1/4*P
(4,5,6,7,7)+1/24*P(4,5,7,7,7,7))*w-lambda[1]+(1/3*P(4,4)*lambda[7]+1/2*P(4,4,6
,7)-1/6*P(4,4,7,7,7))*w+(P(6,7)-1/3*lambda[7]-P(7,7,7))*z^6+(-4/9*lambda[7]^2+
P(5,6)-2/3*lambda[6]-2/3*P(6,7)*lambda[7]-5/4*P(6,6,7,7)+5/6*P(6,7,7,7,7)-1/3*
P(7,7,7)*lambda[7]+3/2*P(5,7,7)-1/12*P(7,7,7,7,7,7)-2*P(4,7))*z^5+(-lambda[5]-\
1/14*P(5,7,7)*lambda[7]+1/3*P(5,6,7,7,7)+9/4*P(5,5,7)+P(6,7)*(-1/9*lambda[7]^2
+1/3*lambda[6])-lambda[7]*(-1/9*lambda[7]^2+1/3*lambda[6])-lambda[7]*lambda[6]
-1/36*P(7,7,7,7,7,7)*lambda[7]+1/3*(1/2*P(6,6,7,7)-1/6*P(6,7,7,7,7))*lambda[7]
-11/60*P(6,6,7,7)*lambda[7]+1/12*P(6,6,6,7,7,7)-1/48*P(6,6,6,6,7)-1/24*P(6,6,7
,7,7,7,7)+1/3*P(4,7)*lambda[7]+1/5*P(6,7,7,7,7)*lambda[7]-1/5040*P(7,7,7,7,7,7
,7,7,7)-5/63*P(7,7,7)*lambda[7]^2+2/21*P(7,7,7)*lambda[6]-2/3*P(5,6)*lambda[7]
+1/180*P(6,7,7,7,7,7,7,7)-P(5,6,6,7)+P(3,6)-15/7*P(3,7,7)-2*P(4,5)+4/5*P(4,6,7
,7)-4/15*P(4,7,7,7,7))*z^4+(-4*lambda[4]-1/4*P(5,5,5)+1/4*P(5,5,6,6)+11/42*P(5
,5,7)*lambda[7]-1/2*P(5,5,6,7,7)+1/12*P(5,5,7,7,7,7)+1/5*P(5,6,7,7,7)*lambda[7
]-11/60*lambda[7]*P(5,6,6,7)-1/24*P(5,6,6,7,7,7,7)-2/3*lambda[7]*lambda[5]-1/
48*P(5,6,6,6,6)+1/180*P(5,6,7,7,7,7,7,7)-1/3*P(3,7,7)*lambda[7]+P(6,6)*w-P(6,7
,7)*w-1/5040*P(5,7,7,7,7,7,7,7,7)+P(5,6)*(-1/9*lambda[7]^2+1/3*lambda[6])-5/63
*P(5,7,7)*lambda[7]^2+2/21*P(5,7,7)*lambda[6]+1/12*P(5,6,6,6,7,7)+1/3*(1/2*P(5
,6,6,7)-1/6*P(5,6,7,7,7))*lambda[7]-1/36*P(5,7,7,7,7,7)*lambda[7]+1/3*P(4,5)*
lambda[7]-2/3*P(3,6)*lambda[7]+P(2,6)-P(2,7,7)-2*P(3,4)+19/14*P(3,5,7)-5/4*P(3
,6,6,7)+5/6*P(3,6,7,7,7)-1/12*P(3,7,7,7,7,7)+4/5*P(4,5,6,7)-4/15*P(4,5,7,7,7))
*z^3+(1/3*P(3,4)*lambda[7]-3*lambda[3]-2/3*P(2,6)*lambda[7]+1/5*P(3,6,7,7,7)*
lambda[7]-1/3*P(2,7,7)*lambda[7]+11/42*P(3,5,7)*lambda[7]-1/36*P(3,7,7,7,7,7)*
lambda[7]-P(4,7,7)*w-11/60*lambda[7]*P(3,6,6,7)+2/21*P(3,7,7)*lambda[6]-2*(1/3
*P(6,6)*lambda[7]+1/2*P(6,6,6,7)-1/6*P(6,6,7,7,7))*w+2*P(5,6,7)*w-2*(1/6*P(6,7
,7)*lambda[7]+1/8*P(6,6,6,7)-1/4*P(5,6,7)-1/4*P(6,6,7,7,7)+1/24*P(6,7,7,7,7,7)
)*w-P(4,6)*w-5/63*P(3,7,7)*lambda[7]^2+P(3,6)*(-1/9*lambda[7]^2+1/3*lambda[6])
+1/3*(1/2*P(3,6,6,7)-1/6*P(3,6,7,7,7))*lambda[7]+P(1,6)-P(1,7,7)-2*P(2,4)+5/2*
P(2,5,7)-5/4*P(2,6,6,7)+5/6*P(2,6,7,7,7)-1/12*P(2,7,7,7,7,7)-8/7*P(3,3,7)+4/5*
P(3,4,6,7)-4/15*P(3,4,7,7,7)+1/4*P(3,5,6,6)-1/4*P(3,5,5)-1/2*P(3,5,6,7,7)+1/12
*P(3,5,7,7,7,7)-1/24*P(3,6,6,7,7,7,7)-1/48*P(3,6,6,6,6)+1/180*P(3,6,7,7,7,7,7,
7)+1/12*P(3,6,6,6,7,7)-1/5040*P(3,7,7,7,7,7,7,7,7))*z^2+(2*P(4,5,7)*w-2*lambda
[2]+1/3*(1/2*P(2,6,6,7)-1/6*P(2,6,7,7,7))*lambda[7]-2*P(4,4)*w+(1/6*P(5,6,7)*
lambda[7]+1/8*P(5,6,6,6)-1/4*P(5,5,6)-1/4*P(5,6,6,7,7)+1/24*P(5,6,7,7,7,7))*w-
P(3,6,7)*w+(P(6,6)*(-1/9*lambda[7]^2+1/3*lambda[6])+1/3*(1/2*P(6,6,6,7)-1/6*P(
6,6,7,7,7))*lambda[7]-1/8*P(5,6,6,7,7)+1/8*P(5,6,6,6)+1/5*P(4,6,6,7)-1/48*P(6,
6,6,7,7,7,7)+1/12*P(6,6,7,7,7)*lambda[7]-1/48*P(6,6,6,6,6)+1/720*P(6,6,7,7,7,7
,7,7)-3/20*lambda[7]*P(6,6,6,7)+1/16*P(6,6,6,6,7,7))*w+(-5/63*P(6,7,7)*lambda[
7]^2+2/21*P(6,7,7)*lambda[6]-1/30*lambda[7]*P(6,6,6,7)-1/48*P(6,6,6,7,7,7,7)+1
/10*P(4,6,6,7)-1/7*P(3,6,7)+1/240*P(6,6,7,7,7,7,7,7)+7/60*P(6,6,7,7,7)*lambda[
7]-1/36*P(6,7,7,7,7,7)*lambda[7]+1/24*P(5,6,7,7,7,7)+2/21*P(5,6,7)*lambda[7]-1
/10*P(4,6,7,7,7)-1/8*P(5,6,6,7,7)+1/48*P(6,6,6,6,7,7)-1/5040*P(6,7,7,7,7,7,7,7
,7))*w+2/21*P(2,7,7)*lambda[6]-5/63*P(2,7,7)*lambda[7]^2-11/60*lambda[7]*P(2,6
,6,7)+1/5*P(2,6,7,7,7)*lambda[7]+11/42*P(2,5,7)*lambda[7]-1/3*P(1,7,7)*lambda[
7]-1/36*P(2,7,7,7,7,7)*lambda[7]-2/3*P(1,6)*lambda[7]-(1/3*P(4,6)*lambda[7]+1/
2*P(4,6,6,7)-1/6*P(4,6,7,7,7))*w+1/3*P(2,4)*lambda[7]+P(2,6)*(-1/9*lambda[7]^2
+1/3*lambda[6])-2*P(1,4)+5/2*P(1,5,7)-5/4*P(1,6,6,7)+5/6*P(1,6,7,7,7)-1/12*P(1
,7,7,7,7,7)-8/7*P(2,3,7)+4/5*P(2,4,6,7)-4/15*P(2,4,7,7,7)+1/4*P(2,5,6,6)-1/4*P
(2,5,5)-1/2*P(2,5,6,7,7)+1/12*P(2,5,7,7,7,7)-1/24*P(2,6,6,7,7,7,7)-1/48*P(2,6,
6,6,6)+1/180*P(2,6,7,7,7,7,7,7)+1/12*P(2,6,6,6,7,7)-1/5040*P(2,7,7,7,7,7,7,7,7
)-2*(1/6*P(4,7,7)*lambda[7]+1/8*P(4,6,6,7)-1/4*P(4,5,7)-1/4*P(4,6,7,7,7)+1/24*
P(4,7,7,7,7,7))*w)*z+11/42*P(1,5,7)*lambda[7]+(-5/63*P(4,7,7)*lambda[7]^2+2/21
*P(4,7,7)*lambda[6]-1/30*lambda[7]*P(4,6,6,7)-1/48*P(4,6,6,7,7,7,7)+1/10*P(4,4
,6,7)-1/7*P(3,4,7)+1/240*P(4,6,7,7,7,7,7,7)+7/60*P(4,6,7,7,7)*lambda[7]-1/36*P
(4,7,7,7,7,7)*lambda[7]+1/24*P(4,5,7,7,7,7)+2/21*P(4,5,7)*lambda[7]-1/10*P(4,4
,7,7,7)-1/8*P(4,5,6,7,7)+1/48*P(4,6,6,6,7,7)-1/5040*P(4,7,7,7,7,7,7,7,7))*w+P(
1,6)*(-1/9*lambda[7]^2+1/3*lambda[6])+1/3*(1/2*P(1,6,6,7)-1/6*P(1,6,7,7,7))*
lambda[7]+1/5*P(1,6,7,7,7)*lambda[7]+2/21*P(1,7,7)*lambda[6]+(P(4,6)*(-1/9*
lambda[7]^2+1/3*lambda[6])-1/8*P(4,5,6,7,7)+1/8*P(4,5,6,6)+1/5*P(4,4,6,7)-1/48
*P(4,6,6,7,7,7,7)+1/12*P(4,6,7,7,7)*lambda[7]-1/48*P(4,6,6,6,6)+1/720*P(4,6,7,
7,7,7,7,7)-3/20*lambda[7]*P(4,6,6,7)+1/16*P(4,6,6,6,7,7)+1/3*(1/2*P(4,6,6,7)-1
/6*P(4,6,7,7,7))*lambda[7])*w-1/36*P(1,7,7,7,7,7)*lambda[7]-11/60*lambda[7]*P(
1,6,6,7)-5/63*P(1,7,7)*lambda[7]^2-P(3,4,7)*w+1/3*P(1,4)*lambda[7]+4/5*P(1,4,6
,7)-4/15*P(1,4,7,7,7)+1/4*P(1,5,6,6)-1/4*P(1,5,5)-1/2*P(1,5,6,7,7)+1/12*P(1,5,
7,7,7,7)-1/24*P(1,6,6,7,7,7,7)-1/48*P(1,6,6,6,6)+1/180*P(1,6,7,7,7,7,7,7)+1/12
*P(1,6,6,6,7,7)-1/5040*P(1,7,7,7,7,7,7,7,7);