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

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

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

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

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

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

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

pp8 := (-1/48*P(4,5,5,6,6,6,6)+1/16*P(4,5,5,5,6,6)-7/40*P(4,5,5,6)*lambda[6]-1
/48*P(4,5,5,5,5)+1/24*lambda[6]*P(4,5,6,6,6)+1/5*P(3,4,5,6)-1/8*P(4,4,5,6,6)+1
/720*P(4,5,6,6,6,6,6,6)+1/8*P(4,4,5,5))*w+(-2*w*lambda[5]+P(4,5)*w-1/24*P(3,5,
5,6,6,6,6)+1/12*P(3,5,5,5,6,6)-1/48*P(3,5,5,5,5)+1/180*P(3,5,6,6,6,6,6,6)-2*P(
3,6)*w-2*(1/2*P(5,5,6,6)-1/6*P(5,6,6,6,6))*w-17/84*P(3,4,6)*lambda[6]-P(3,6,6)
*(1/3*lambda[5]-1/9*lambda[6]^2)-2*(1/24*P(6,6,6,6,6,6)-1/4*P(4,6,6)+1/8*P(5,5
,6,6)-1/4*P(6,6,6)*lambda[6]-1/4*P(5,6,6,6,6))*w+P(1,5)+1/3*(1/24*P(3,6,6,6,6,
6)-1/4*P(3,4,6)+1/8*P(3,5,5,6)+1/12*P(3,6,6)*lambda[6]-1/4*P(3,5,6,6,6))*
lambda[6]+1/12*P(3,4,6,6,6,6)-1/4*P(3,4,4)+1/4*P(3,4,5,5)-1/12*P(2,6,6,6,6,6)-
P(2,3)-1/2*P(3,4,5,6,6)+P(4,6,6)*w+5/2*P(2,4,6)-2/63*P(3,6,6)*lambda[6]^2+1/21
*P(3,6,6)*lambda[5]-5/4*P(2,5,5,6)+5/6*P(2,5,6,6,6)-1/5040*P(3,6,6,6,6,6,6,6,6
)+1/2*P(2,6,6)*lambda[6]-P(1,6,6)+4/5*P(3,3,5,6)-4/15*P(3,3,6,6,6)-1/72*lambda
[6]*P(3,6,6,6,6,6)+3/20*lambda[6]*P(3,5,6,6,6)-29/120*P(3,5,5,6)*lambda[6])*z^
2-1/5040*P(1,6,6,6,6,6,6,6,6)+(1/2*P(3,4,5,6)-1/6*P(3,4,6,6,6))*w+(-(1/24*P(4,
6,6,6,6,6)-1/4*P(4,4,6)+1/8*P(4,5,5,6)-1/4*P(4,6,6)*lambda[6]-1/4*P(4,5,6,6,6)
)*w+P(2,6)*w+(1/24*P(4,6,6,6,6,6)+13/120*lambda[6]*P(5,6,6,6,6)-1/72*lambda[6]
*P(6,6,6,6,6,6)-1/8*P(4,5,6,6,6)+1/21*P(4,6,6)*lambda[6]+1/21*P(6,6,6)*lambda[
5]-2/63*P(6,6,6)*lambda[6]^2-1/15*lambda[6]*P(5,5,6,6)-1/10*P(3,6,6,6,6)+1/10*
P(3,5,6,6)-1/48*P(5,5,6,6,6,6,6)+1/48*P(5,5,5,6,6,6)-1/5040*P(6,6,6,6,6,6,6,6,
6)+1/240*P(5,6,6,6,6,6,6,6)+1/3*(1/24*P(6,6,6,6,6,6)-1/4*P(4,6,6)+1/8*P(5,5,6,
6)+1/12*P(6,6,6)*lambda[6]-1/4*P(5,6,6,6,6))*lambda[6]-P(6,6,6)*(1/3*lambda[5]
-1/9*lambda[6]^2))*w+1/2*P(1,6,6)*lambda[6]+(1/2*P(3,5,6,6)-1/6*P(3,6,6,6,6))*
w-4*w*lambda[4]-17/84*P(2,4,6)*lambda[6]+(-1/48*P(5,5,6,6,6,6,6)+1/16*P(5,5,5,
6,6,6)-7/40*lambda[6]*P(5,5,6,6)-1/48*P(5,5,5,5,6)+1/24*lambda[6]*P(5,6,6,6,6)
+1/5*P(3,5,6,6)-1/8*P(4,5,6,6,6)+1/720*P(5,6,6,6,6,6,6,6)+1/8*P(4,5,5,6))*w-2*
P(3,4)*w-2/63*P(2,6,6)*lambda[6]^2+1/21*P(2,6,6)*lambda[5]-1/5040*P(2,6,6,6,6,
6,6,6,6)-5/4*P(1,5,5,6)+5/6*P(1,5,6,6,6)+2*P(4,4,6)*w-2*(1/2*P(4,5,5,6)-1/6*P(
4,5,6,6,6))*w+P(2,2)+3/20*lambda[6]*P(2,5,6,6,6)-1/72*lambda[6]*P(2,6,6,6,6,6)
+1/3*(1/24*P(2,6,6,6,6,6)-1/4*P(2,4,6)+1/8*P(2,5,5,6)+1/12*P(2,6,6)*lambda[6]-\
1/4*P(2,5,6,6,6))*lambda[6]-P(2,6,6)*(1/3*lambda[5]-1/9*lambda[6]^2)-29/120*P(
2,5,5,6)*lambda[6]-1/24*P(2,5,5,6,6,6,6)+1/12*P(2,5,5,5,6,6)-1/48*P(2,5,5,5,5)
+1/180*P(2,5,6,6,6,6,6,6)+4/5*P(2,3,5,6)-4/15*P(2,3,6,6,6)+1/12*P(2,4,6,6,6,6)
-1/4*P(2,4,4)+1/4*P(2,4,5,5)-1/2*P(2,4,5,6,6)-2*P(1,3)-1/12*P(1,6,6,6,6,6)+5/2
*P(1,4,6))*z+(1/21*P(5,6,6)*lambda[5]-1/72*lambda[6]*P(5,6,6,6,6,6)-29/120*P(5
,5,5,6)*lambda[6]+17/30*P(3,5,6,6,6)-1/4*P(4,4,5)-17/84*P(4,5,6)*lambda[6]+1/2
*P(3,6,6)*lambda[6]-P(6,6,6)*w+P(5,6)*w-P(5,6,6)*(1/3*lambda[5]-1/9*lambda[6]^
2)-1/24*P(5,5,5,6,6,6,6)+1/12*P(5,5,5,5,6,6)-1/48*P(5,5,5,5,5)+1/180*P(5,5,6,6
,6,6,6,6)+5/2*P(3,4,6)-P(2,6,6)-1/12*P(3,6,6,6,6,6)+1/3*(1/24*P(5,6,6,6,6,6)-1
/4*P(4,5,6)+1/8*P(5,5,5,6)+1/12*P(5,6,6)*lambda[6]-1/4*P(5,5,6,6,6))*lambda[6]
+2*P(2,5)-1/5040*P(5,6,6,6,6,6,6,6,6)-2*P(3,3)-9/20*P(3,5,5,6)-2/63*P(5,6,6)*
lambda[6]^2+1/12*P(4,5,6,6,6,6)+1/4*P(4,5,5,5)-1/2*P(4,5,5,6,6)+3/20*lambda[6]
*P(5,5,6,6,6))*z^3+(-5/4*P(5,5,5,6)+5/6*P(5,5,6,6,6)-P(3,5)+5/2*P(4,5,6)-1/12*
P(5,6,6,6,6,6)+1/2*P(5,6,6)*lambda[6]-P(3,6,6))*z^4+(-P(5,6,6)+P(5,5))*z^5-P(1
,6,6)*(1/3*lambda[5]-1/9*lambda[6]^2)+3/20*lambda[6]*P(1,5,6,6,6)+P(1,2)+(1/24
*P(4,4,6,6,6,6)-1/4*P(4,4,4)+1/8*P(4,4,5,5)-1/4*P(4,4,6)*lambda[6]-1/4*P(4,4,5
,6,6))*w+1/3*(1/24*P(1,6,6,6,6,6)-1/4*P(1,4,6)+1/8*P(1,5,5,6)+1/12*P(1,6,6)*
lambda[6]-1/4*P(1,5,6,6,6))*lambda[6]-2/63*P(1,6,6)*lambda[6]^2-29/120*P(1,5,5
,6)*lambda[6]+1/21*P(1,6,6)*lambda[5]+(1/24*P(4,4,6,6,6,6)+13/120*lambda[6]*P(
4,5,6,6,6)-1/72*lambda[6]*P(4,6,6,6,6,6)-1/8*P(4,4,5,6,6)+1/21*P(4,4,6)*lambda
[6]+1/21*P(4,6,6)*lambda[5]-2/63*P(4,6,6)*lambda[6]^2-1/15*P(4,5,5,6)*lambda[6
]-1/10*P(3,4,6,6,6)+1/10*P(3,4,5,6)-1/48*P(4,5,5,6,6,6,6)+1/48*P(4,5,5,5,6,6)-\
1/5040*P(4,6,6,6,6,6,6,6,6)+1/240*P(4,5,6,6,6,6,6,6)+1/3*(1/24*P(4,6,6,6,6,6)-\
1/4*P(4,4,6)+1/8*P(4,5,5,6)+1/12*P(4,6,6)*lambda[6]-1/4*P(4,5,6,6,6))*lambda[6
]-P(4,6,6)*(1/3*lambda[5]-1/9*lambda[6]^2))*w+4/5*P(1,3,5,6)-4/15*P(1,3,6,6,6)
+1/12*P(1,4,6,6,6,6)-1/4*P(1,4,4)+1/4*P(1,4,5,5)-1/2*P(1,4,5,6,6)-17/84*P(1,4,
6)*lambda[6]-1/72*lambda[6]*P(1,6,6,6,6,6)-1/24*P(1,5,5,6,6,6,6)+1/12*P(1,5,5,
5,6,6)-1/48*P(1,5,5,5,5)+1/180*P(1,5,6,6,6,6,6,6)+P(2,4)*w;

pp9 := (1/24*P(4,4,5,6,6,6)+13/120*lambda[6]*P(4,5,5,6,6)-1/72*lambda[6]*P(4,5
,6,6,6,6)-1/8*P(4,4,5,5,6)+1/21*P(4,4,5)*lambda[6]+1/21*P(4,5,6)*lambda[5]-2/
63*P(4,5,6)*lambda[6]^2-1/15*lambda[6]*P(4,5,5,5)-1/10*P(3,4,5,6,6)+1/10*P(3,4
,5,5)-1/48*P(4,5,5,5,6,6,6)+1/48*P(4,5,5,5,5,6)-1/5040*P(4,5,6,6,6,6,6,6,6)+1/
240*P(4,5,5,6,6,6,6,6))*w+(1/6*P(3,3,6)*lambda[6]+1/3*(-1/2*P(3,4,5)+1/2*P(3,4
,6,6))*lambda[6]-P(4,5,6)*w+19/105*P(3,4,5)*lambda[6]+1/288*P(3,6,6,6,6,6,6)*
lambda[6]-(-1/2*P(4,5,6)+1/2*P(4,6,6,6))*w+89/480*lambda[6]*P(3,5,5,6,6)+1/3*(
-1/5*P(3,3,6)+1/4*P(3,4,6,6)+2/15*P(3,5,6)*lambda[6]-1/8*P(3,5,5,6,6)+1/12*P(3
,5,6,6,6,6)-1/12*lambda[6]*P(3,6,6,6)-1/120*P(3,6,6,6,6,6,6))*lambda[6]+(-1/2*
P(3,5,6)+1/2*P(3,6,6,6))*(1/3*lambda[5]-1/9*lambda[6]^2)-1/15*lambda[6]*P(3,5,
5,5)-17/168*P(3,5,6)*lambda[6]^2-3/2*P(1,5,6)-1/21*P(3,6,6,6)*lambda[5]-41/720
*lambda[6]*P(3,5,6,6,6,6)+11/84*P(3,5,6)*lambda[5]+1/6*lambda[6]*P(2,6,6,6)+71
/2016*lambda[6]^2*P(3,6,6,6)-13/30*P(2,5,6)*lambda[6]-2*(1/24*P(5,6,6,6,6,6)-1
/4*P(4,5,6)+1/8*P(5,5,5,6)+1/12*P(5,6,6)*lambda[6]-1/4*P(5,5,6,6,6))*w-2/3*(-1
/2*P(2,5,6)+1/2*P(2,6,6,6))*lambda[6]+2*P(3,6,6)*w-2*(-1/5*P(3,6,6)+1/4*P(4,6,
6,6)+2/15*P(5,6,6)*lambda[6]-1/8*P(5,5,6,6,6)+1/12*P(5,6,6,6,6,6)-1/12*lambda[
6]*P(6,6,6,6)-1/120*P(6,6,6,6,6,6,6)+1/3*(-1/2*P(5,6,6)+1/2*P(6,6,6,6))*lambda
[6])*w-17/112*lambda[6]*P(3,4,6,6)-1/32*P(3,5,5,5,6,6,6)+3/128*P(3,5,5,5,5,6)-\
1/1120*P(3,5,6,6,6,6,6,6,6)+3/320*P(3,5,5,6,6,6,6,6)+1/40320*P(3,6,6,6,6,6,6,6
,6,6)+1/60*P(2,6,6,6,6,6,6)+51/40*P(2,3,6)+9/32*P(3,4,4,6)-9/32*P(3,4,5,5,6)+3
/16*P(3,4,5,6,6,6)-3/160*P(3,4,6,6,6,6,6)+3/2*P(2,4,5)-3/2*P(2,4,6,6)-1/4*P(2,
5,6,6,6,6)-1/4*P(2,5,5,5)+3/4*P(2,5,5,6,6)+1/2*P(1,6,6,6)+3/40*P(3,3,6,6,6,6)-\
9/20*P(3,3,4)+9/40*P(3,3,5,5)-9/20*P(3,3,5,6,6))*z^2+1/3*(-1/2*P(1,4,5)+1/2*P(
1,4,6,6))*lambda[6]+(-1/15*lambda[6]*P(5,5,5,5)-17/112*lambda[6]*P(4,5,6,6)+19
/105*P(4,5,5)*lambda[6]+1/288*P(5,6,6,6,6,6,6)*lambda[6]-1/21*P(5,6,6,6)*
lambda[5]-7/40*P(3,5,6,6,6,6)-1/40*P(3,5,5,5)+3/10*P(3,5,5,6,6)+71/2016*lambda
[6]^2*P(5,6,6,6)-P(5,6,6)*w+(-1/2*P(5,6,6)+1/2*P(6,6,6,6))*w+1/6*lambda[6]*P(3
,6,6,6)+9/32*P(4,4,5,6)+1/3*(-1/2*P(4,5,5)+1/2*P(4,5,6,6))*lambda[6]-4/15*P(3,
5,6)*lambda[6]-2/3*(-1/2*P(3,5,6)+1/2*P(3,6,6,6))*lambda[6]+(-1/2*P(5,5,6)+1/2
*P(5,6,6,6))*(1/3*lambda[5]-1/9*lambda[6]^2)+1/40320*P(5,6,6,6,6,6,6,6,6,6)-17
/168*P(5,5,6)*lambda[6]^2+11/84*P(5,5,6)*lambda[5]-41/720*lambda[6]*P(5,5,6,6,
6,6)+89/480*lambda[6]*P(5,5,5,6,6)+1/3*(-1/5*P(3,5,6)+1/4*P(4,5,6,6)+2/15*P(5,
5,6)*lambda[6]-1/8*P(5,5,5,6,6)+1/12*P(5,5,6,6,6,6)-1/12*lambda[6]*P(5,6,6,6)-\
1/120*P(5,6,6,6,6,6,6))*lambda[6]+21/20*P(3,4,5)-3/2*P(3,4,6,6)+1/2*P(2,6,6,6)
+1/60*P(3,6,6,6,6,6,6)-21/8*P(2,5,6)-1/32*P(5,5,5,5,6,6,6)+3/128*P(5,5,5,5,5,6
)-1/1120*P(5,5,6,6,6,6,6,6,6)+3/320*P(5,5,5,6,6,6,6,6)+12/5*P(3,3,6)-9/32*P(4,
5,5,5,6)+3/16*P(4,5,5,6,6,6)-3/160*P(4,5,6,6,6,6,6))*z^3+(9/10*P(3,5,6)-3/2*P(
4,5,6,6)-13/30*P(5,5,6)*lambda[6]+3/4*P(5,5,5,6,6)-1/4*P(5,5,6,6,6,6)+1/6*
lambda[6]*P(5,6,6,6)+1/60*P(5,6,6,6,6,6,6)-2/3*(-1/2*P(5,5,6)+1/2*P(5,6,6,6))*
lambda[6]+3/2*P(4,5,5)+1/2*P(3,6,6,6)-1/4*P(5,5,5,5))*z^4+(-3/2*P(5,5,6)+1/2*P
(5,6,6,6))*z^5+1/40320*P(1,6,6,6,6,6,6,6,6,6)-3*w^2*(2/3*lambda[5]-1/9*lambda[
6]^2)+3/16*P(1,4,5,6,6,6)-3/160*P(1,4,6,6,6,6,6)+(-1/2*P(1,5,6)+1/2*P(1,6,6,6)
)*(1/3*lambda[5]-1/9*lambda[6]^2)-9/8*P(1,2,6)+3/320*P(1,5,5,6,6,6,6,6)+(-1/5*
P(3,4,4)+1/4*P(4,4,4,6)+2/15*P(4,4,5)*lambda[6]-1/8*P(4,4,5,5,6)+1/12*P(4,4,5,
6,6,6)-1/12*lambda[6]*P(4,4,6,6)-1/120*P(4,4,6,6,6,6,6)+1/3*(-1/2*P(4,4,5)+1/2
*P(4,4,6,6))*lambda[6])*w+19/105*P(1,4,5)*lambda[6]-17/112*lambda[6]*P(1,4,6,6
)-41/720*lambda[6]*P(1,5,6,6,6,6)+1/3*(-1/5*P(1,3,6)+1/4*P(1,4,6,6)+2/15*P(1,5
,6)*lambda[6]-1/8*P(1,5,5,6,6)+1/12*P(1,5,6,6,6,6)-1/12*lambda[6]*P(1,6,6,6)-1
/120*P(1,6,6,6,6,6,6))*lambda[6]-1/15*lambda[6]*P(1,5,5,5)-17/168*P(1,5,6)*
lambda[6]^2+(1/6*P(2,3,6)*lambda[6]+89/480*lambda[6]*P(2,5,5,6,6)+1/60*P(1,6,6
,6,6,6,6)+(1/24*P(3,6,6,6,6,6)-1/4*P(3,4,6)+1/8*P(3,5,5,6)+1/12*P(3,6,6)*
lambda[6]-1/4*P(3,5,6,6,6))*w-P(2,6,6)*w-41/720*lambda[6]*P(2,5,6,6,6,6)-1/4*P
(1,5,6,6,6,6)-1/4*P(1,5,5,5)-1/15*lambda[6]*P(2,5,5,5)+1/3*(-1/2*P(2,4,5)+1/2*
P(2,4,6,6))*lambda[6]-2*(1/24*P(4,5,6,6,6,6)-1/4*P(4,4,5)+1/8*P(4,5,5,5)+1/12*
P(4,5,6)*lambda[6]-1/4*P(4,5,5,6,6))*w-2*(-1/2*P(4,4,5)+1/2*P(4,4,6,6))*w-9/8*
P(2,2,6)+71/2016*lambda[6]^2*P(2,6,6,6)+1/40320*P(2,6,6,6,6,6,6,6,6,6)+(-1/2*P
(2,5,6)+1/2*P(2,6,6,6))*(1/3*lambda[5]-1/9*lambda[6]^2)-13/30*P(1,5,6)*lambda[
6]-17/168*P(2,5,6)*lambda[6]^2-2/3*(-1/2*P(1,5,6)+1/2*P(1,6,6,6))*lambda[6]+1/
6*lambda[6]*P(1,6,6,6)+2*P(3,4,6)*w+1/3*(-1/5*P(2,3,6)+1/4*P(2,4,6,6)+2/15*P(2
,5,6)*lambda[6]-1/8*P(2,5,5,6,6)+1/12*P(2,5,6,6,6,6)-1/12*lambda[6]*P(2,6,6,6)
-1/120*P(2,6,6,6,6,6,6))*lambda[6]-1/21*P(2,6,6,6)*lambda[5]+19/105*P(2,4,5)*
lambda[6]-17/112*lambda[6]*P(2,4,6,6)+(1/24*P(4,5,6,6,6,6)+13/120*lambda[6]*P(
5,5,6,6,6)-1/72*lambda[6]*P(5,6,6,6,6,6)-1/8*P(4,5,5,6,6)+1/21*P(4,5,6)*lambda
[6]+1/21*P(5,6,6)*lambda[5]-2/63*P(5,6,6)*lambda[6]^2-1/15*P(5,5,5,6)*lambda[6
]-1/10*P(3,5,6,6,6)+1/10*P(3,5,5,6)-1/48*P(5,5,5,6,6,6,6)+1/48*P(5,5,5,5,6,6)-\
1/5040*P(5,6,6,6,6,6,6,6,6)+1/240*P(5,5,6,6,6,6,6,6))*w+1/288*P(2,6,6,6,6,6,6)
*lambda[6]-1/32*P(2,5,5,5,6,6,6)+3/128*P(2,5,5,5,5,6)-1/1120*P(2,5,6,6,6,6,6,6
,6)+3/320*P(2,5,5,6,6,6,6,6)+3/40*P(2,3,6,6,6,6)-9/20*P(2,3,4)+9/40*P(2,3,5,5)
-9/20*P(2,3,5,6,6)-(-1/5*P(3,4,6)+1/4*P(4,4,6,6)+2/15*P(4,5,6)*lambda[6]-1/8*P
(4,5,5,6,6)+1/12*P(4,5,6,6,6,6)-1/12*lambda[6]*P(4,6,6,6)-1/120*P(4,6,6,6,6,6,
6)+1/3*(-1/2*P(4,5,6)+1/2*P(4,6,6,6))*lambda[6])*w+11/84*P(2,5,6)*lambda[5]+9/
32*P(2,4,4,6)-9/32*P(2,4,5,5,6)+3/16*P(2,4,5,6,6,6)-3/160*P(2,4,6,6,6,6,6)+((-\
1/2*P(5,6,6)+1/2*P(6,6,6,6))*(1/3*lambda[5]-1/9*lambda[6]^2)+1/3*(-1/5*P(3,6,6
)+1/4*P(4,6,6,6)+2/15*P(5,6,6)*lambda[6]-1/8*P(5,5,6,6,6)+1/12*P(5,6,6,6,6,6)-\
1/12*lambda[6]*P(6,6,6,6)-1/120*P(6,6,6,6,6,6,6))*lambda[6]-1/96*P(5,5,5,6,6,6
,6)+71/2016*lambda[6]^2*P(6,6,6,6)+1/12*P(3,6,6)*lambda[6]-1/32*P(4,5,5,6,6)+
37/480*lambda[6]*P(5,5,6,6,6)+1/192*P(5,5,6,6,6,6,6,6)+1/30*P(3,6,6,6,6,6)+1/
16*P(4,5,6,6,6,6)-1/21*P(6,6,6,6)*lambda[5]-1/10*P(3,5,6,6,6)-23/336*lambda[6]
*P(4,6,6,6)+1/12*P(5,6,6)*lambda[5]-5/72*P(5,6,6)*lambda[6]^2+1/32*P(4,4,6,6)-\
1/1440*P(5,6,6,6,6,6,6,6,6)-31/720*lambda[6]*P(5,6,6,6,6,6)-1/96*P(4,6,6,6,6,6
,6)+1/288*P(6,6,6,6,6,6,6)*lambda[6]+1/384*P(5,5,5,5,6,6)-1/8*P(2,6,6)+1/40320
*P(6,6,6,6,6,6,6,6,6,6))*w+12/5*P(1,3,6)+3/2*P(1,4,5)-3/2*P(1,4,6,6)+3/4*P(1,5
,5,6,6))*z+89/480*lambda[6]*P(1,5,5,6,6)-1/21*P(1,6,6,6)*lambda[5]+(1/24*P(3,4
,6,6,6,6)-1/4*P(3,4,4)+1/8*P(3,4,5,5)+1/12*P(3,4,6)*lambda[6]-1/4*P(3,4,5,6,6)
)*w+((-1/2*P(4,5,6)+1/2*P(4,6,6,6))*(1/3*lambda[5]-1/9*lambda[6]^2)-1/96*P(4,5
,5,5,6,6,6)+71/2016*lambda[6]^2*P(4,6,6,6)+1/12*P(3,4,6)*lambda[6]-1/32*P(4,4,
5,5,6)+37/480*lambda[6]*P(4,5,5,6,6)+1/192*P(4,5,5,6,6,6,6,6)+1/30*P(3,4,6,6,6
,6)+1/16*P(4,4,5,6,6,6)-1/21*P(4,6,6,6)*lambda[5]-1/10*P(3,4,5,6,6)-23/336*
lambda[6]*P(4,4,6,6)+1/12*P(4,5,6)*lambda[5]-5/72*P(4,5,6)*lambda[6]^2+1/32*P(
4,4,4,6)-1/1440*P(4,5,6,6,6,6,6,6,6)-31/720*lambda[6]*P(4,5,6,6,6,6)-1/96*P(4,
4,6,6,6,6,6)+1/288*P(4,6,6,6,6,6,6)*lambda[6]+1/384*P(4,5,5,5,5,6)-1/8*P(2,4,6
)+1/40320*P(4,6,6,6,6,6,6,6,6,6)+1/3*(-1/5*P(3,4,6)+1/4*P(4,4,6,6)+2/15*P(4,5,
6)*lambda[6]-1/8*P(4,5,5,6,6)+1/12*P(4,5,6,6,6,6)-1/12*lambda[6]*P(4,6,6,6)-1/
120*P(4,6,6,6,6,6,6))*lambda[6])*w+11/84*P(1,5,6)*lambda[5]+71/2016*lambda[6]^
2*P(1,6,6,6)+1/6*P(1,3,6)*lambda[6]+3/40*P(1,3,6,6,6,6)-9/20*P(1,3,4)+9/40*P(1
,3,5,5)-9/20*P(1,3,5,6,6)-P(2,4,6)*w+1/288*P(1,6,6,6,6,6,6)*lambda[6]+9/32*P(1
,4,4,6)-9/32*P(1,4,5,5,6)-1/32*P(1,5,5,5,6,6,6)+3/128*P(1,5,5,5,5,6)-1/1120*P(
1,5,6,6,6,6,6,6,6);

pp10 := P(1,6)*(5/81*lambda[6]^3+1/3*lambda[4]-2/9*lambda[6]*lambda[5])+(1/3*P
(5,6)*lambda[6]+P(5,5,6,6)-1/6*P(5,6,6,6,6)-1/2*P(5,5,5)-2/3*lambda[5]+2/9*
lambda[6]^2+P(4,5))*z^5+(-1/96*P(4,5,5,5,5,6,6)+71/2016*lambda[6]^2*P(4,5,6,6)
+1/12*P(3,4,5)*lambda[6]-1/32*P(4,4,5,5,5)+37/480*P(4,5,5,5,6)*lambda[6]+1/192
*P(4,5,5,5,6,6,6,6)+1/30*P(3,4,5,6,6,6)+1/16*P(4,4,5,5,6,6)-1/21*P(4,5,6,6)*
lambda[5]-1/10*P(3,4,5,5,6)-23/336*P(4,4,5,6)*lambda[6]+1/12*P(4,5,5)*lambda[5
]-5/72*P(4,5,5)*lambda[6]^2+1/32*P(4,4,4,5)-1/1440*P(4,5,5,6,6,6,6,6,6)-31/720
*P(4,5,5,6,6,6)*lambda[6]-1/96*P(4,4,5,6,6,6,6)+1/288*P(4,5,6,6,6,6,6)*lambda[
6]+1/384*P(4,5,5,5,5,5)-1/8*P(2,4,5)+1/40320*P(4,5,6,6,6,6,6,6,6,6))*w+(1/2*P(
1,5,6,6)-1/6*P(1,6,6,6,6))*(1/3*lambda[5]-1/9*lambda[6]^2)-5/72*P(1,5,5)*
lambda[6]^2-3*lambda[0]-1/3*lambda[6]*lambda[1]+1/3*(1/2*P(1,4,5,6)-1/6*P(1,4,
6,6,6))*lambda[6]+(-1/2*P(2,4,5)+1/2*P(2,4,6,6))*w-1/362880*P(1,6,6,6,6,6,6,6,
6,6,6)+(-2*P(1,6)*(1/3*lambda[5]-1/9*lambda[6]^2)-2*(-1/5*P(3,4,5)+1/4*P(4,4,5
,6)+2/15*P(4,5,5)*lambda[6]-1/8*P(4,5,5,5,6)+1/12*P(4,5,5,6,6,6)-1/12*lambda[6
]*P(4,5,6,6)-1/120*P(4,5,6,6,6,6,6))*w+P(2,4)*(1/3*lambda[5]-1/9*lambda[6]^2)-\
2*lambda[1]-2/3*lambda[6]*lambda[2]-13/84*P(2,5,6,6)*lambda[5]+(1/42*P(6,6,6,6
,6)*lambda[5]-2/35*lambda[6]*P(4,5,6,6)+1/80*P(5,6,6,6,6,6,6)*lambda[6]-3/28*P
(5,6,6,6)*lambda[5]+1/20*P(3,5,6,6,6,6)-1/40*P(3,5,5,6,6)+27/280*lambda[6]^2*P
(5,6,6,6)-13/672*lambda[6]^2*P(6,6,6,6,6)-1/1440*P(6,6,6,6,6,6,6,6)*lambda[6]+
(1/2*P(5,6,6,6)-1/6*P(6,6,6,6,6))*(1/3*lambda[5]-1/9*lambda[6]^2)-1/10*lambda[
6]*P(3,6,6,6)-1/32*P(4,4,6,6,6)+1/3*(-1/48*P(5,6,6,6,6,6,6)+1/16*P(5,5,6,6,6,6
)-7/40*lambda[6]*P(5,6,6,6)-1/48*P(5,5,5,6,6)+1/24*lambda[6]*P(6,6,6,6,6)+1/5*
P(3,6,6,6)-1/8*P(4,6,6,6,6)+1/720*P(6,6,6,6,6,6,6,6)+1/8*P(4,5,6,6))*lambda[6]
+1/10080*P(5,6,6,6,6,6,6,6,6,6)+P(6,6)*(5/81*lambda[6]^3+1/3*lambda[4]-2/9*
lambda[6]*lambda[5])-7/160*lambda[6]*P(5,5,6,6,6,6)+1/60*lambda[6]*P(5,5,5,6,6
)-1/362880*P(6,6,6,6,6,6,6,6,6,6,6)+1/20*P(3,4,6,6)+1/8*P(2,6,6,6)+5/112*
lambda[6]*P(4,6,6,6,6)-1/120*P(3,6,6,6,6,6,6)+1/480*P(4,6,6,6,6,6,6,6)-1/384*P
(5,5,5,5,6,6,6)-1/960*P(5,5,6,6,6,6,6,6,6)+1/288*P(5,5,5,6,6,6,6,6)+1/32*P(4,5
,5,6,6,6)-1/48*P(4,5,6,6,6,6,6))*w+1/42*P(2,6,6,6,6)*lambda[5]-101/336*P(2,4,5
,6)*lambda[6]+1/3*(1/2*P(2,4,5,6)-1/6*P(2,4,6,6,6))*lambda[6]-1/360*P(1,6,6,6,
6,6,6,6)-11/60*lambda[6]*P(2,3,6,6)-2*(-1/2*P(3,4,5)+1/2*P(3,4,6,6))*w+3/32*P(
2,5,5,5,6)*lambda[6]+(1/2*P(2,5,6,6)-1/6*P(2,6,6,6,6))*(1/3*lambda[5]-1/9*
lambda[6]^2)+31/60*lambda[6]*P(1,5,6,6)-4/15*P(1,5,5)*lambda[6]-1/1440*P(2,6,6
,6,6,6,6,6)*lambda[6]-25/288*P(2,5,5,6,6,6)*lambda[6]-2*(1/3*P(4,4)*lambda[6]+
1/2*P(4,4,5,6)-1/6*P(4,4,6,6,6))*w-5/8*P(2,2,5)+5/8*P(2,2,6,6)-2/3*P(1,4)*
lambda[6]-1/362880*P(2,6,6,6,6,6,6,6,6,6,6)+1327/10080*lambda[6]^2*P(2,5,6,6)+
(-1/2*P(2,5,6)+1/2*P(2,6,6,6))*w-2/3*(1/2*P(1,5,6,6)-1/6*P(1,6,6,6,6))*lambda[
6]-13/672*lambda[6]^2*P(2,6,6,6,6)+P(2,6)*(5/81*lambda[6]^3+1/3*lambda[4]-2/9*
lambda[6]*lambda[5])+1/3*(-1/48*P(2,5,6,6,6,6,6)+1/16*P(2,5,5,6,6,6)-7/40*
lambda[6]*P(2,5,6,6)-1/48*P(2,5,5,5,6)+1/24*lambda[6]*P(2,6,6,6,6)+1/5*P(2,3,6
,6)-1/8*P(2,4,6,6,6)+1/720*P(2,6,6,6,6,6,6,6)+1/8*P(2,4,5,6))*lambda[6]-1/5*P(
2,3,3)+1/2*P(2,3,4,6)-1/4*P(2,3,5,5,6)+1/6*P(2,3,5,6,6,6)-1/60*P(2,3,6,6,6,6,6
)-5/72*P(2,5,5)*lambda[6]^2+1/12*P(2,5,5)*lambda[5]+29/336*lambda[6]*P(2,4,6,6
,6)-1/12*lambda[6]*P(1,6,6,6,6)+(-1/96*P(5,5,5,5,6,6,6)+71/2016*lambda[6]^2*P(
5,6,6,6)+1/12*P(3,5,6)*lambda[6]-1/32*P(4,5,5,5,6)+37/480*lambda[6]*P(5,5,5,6,
6)+1/192*P(5,5,5,6,6,6,6,6)+1/30*P(3,5,6,6,6,6)+1/16*P(4,5,5,6,6,6)-1/21*P(5,6
,6,6)*lambda[5]-1/10*P(3,5,5,6,6)-23/336*lambda[6]*P(4,5,6,6)+1/12*P(5,5,6)*
lambda[5]-5/72*P(5,5,6)*lambda[6]^2+1/32*P(4,4,5,6)-1/1440*P(5,5,6,6,6,6,6,6,6
)-31/720*lambda[6]*P(5,5,6,6,6,6)-1/96*P(4,5,6,6,6,6,6)+1/288*P(5,6,6,6,6,6,6)
*lambda[6]+1/384*P(5,5,5,5,5,6)-1/8*P(2,5,6)+1/40320*P(5,6,6,6,6,6,6,6,6,6))*w
-5/384*P(2,5,5,5,5,6,6)+5/576*P(2,5,5,5,6,6,6,6)+5/32*P(2,4,5,5,6,6)-5/96*P(2,
4,5,5,5)-5/32*P(2,4,4,6,6)+1/288*P(2,4,6,6,6,6,6,6)+5/32*P(2,4,4,5)-(1/3*(1/2*
P(4,5,6,6)-1/6*P(4,6,6,6,6))*lambda[6]+P(4,6)*(1/3*lambda[5]-1/9*lambda[6]^2)-\
1/48*P(4,5,6,6,6,6,6)+1/16*P(4,5,5,6,6,6)-7/40*lambda[6]*P(4,5,6,6)-1/48*P(4,5
,5,5,6)+1/24*lambda[6]*P(4,6,6,6,6)+1/5*P(3,4,6,6)-1/8*P(4,4,6,6,6)+1/720*P(4,
6,6,6,6,6,6,6)+1/8*P(4,4,5,6))*w+23/1440*P(2,5,6,6,6,6,6)*lambda[6]-1/576*P(2,
5,5,6,6,6,6,6,6)+1/384*P(2,5,5,5,5,5)+1/8064*P(2,5,6,6,6,6,6,6,6,6)-5/96*P(2,4
,5,6,6,6,6)+7/5*P(1,3,5)-7/5*P(1,3,6,6)+(-1/5*P(3,3,6)+1/4*P(3,4,6,6)+2/15*P(3
,5,6)*lambda[6]-1/8*P(3,5,5,6,6)+1/12*P(3,5,6,6,6,6)-1/12*lambda[6]*P(3,6,6,6)
-1/120*P(3,6,6,6,6,6,6))*w-7/4*P(1,4,5,6)+7/12*P(1,4,6,6,6)+7/24*P(1,5,5,5,6)-\
7/24*P(1,5,5,6,6,6)+7/120*P(1,5,6,6,6,6,6)+13/60*P(2,3,5)*lambda[6])*z+(13/60*
P(3,3,5)*lambda[6]-4/15*P(2,5,5)*lambda[6]-1/1440*P(3,6,6,6,6,6,6,6)*lambda[6]
-lambda[2]+1/42*P(3,6,6,6,6)*lambda[5]-13/672*lambda[6]^2*P(3,6,6,6,6)-lambda[
6]*lambda[3]+P(3,6)*(5/81*lambda[6]^3+1/3*lambda[4]-2/9*lambda[6]*lambda[5])-\
13/84*P(3,5,6,6)*lambda[5]-2*(-1/2*P(3,5,6)+1/2*P(3,6,6,6))*w-2*P(2,6)*(1/3*
lambda[5]-1/9*lambda[6]^2)+(1/2*P(3,5,6,6)-1/6*P(3,6,6,6,6))*(1/3*lambda[5]-1/
9*lambda[6]^2)+1/3*(-1/48*P(3,5,6,6,6,6,6)+1/16*P(3,5,5,6,6,6)-7/40*lambda[6]*
P(3,5,6,6)-1/48*P(3,5,5,5,6)+1/24*lambda[6]*P(3,6,6,6,6)+1/5*P(3,3,6,6)-1/8*P(
3,4,6,6,6)+1/720*P(3,6,6,6,6,6,6,6)+1/8*P(3,4,5,6))*lambda[6]-2*(P(6,6)*(1/3*
lambda[5]-1/9*lambda[6]^2)+1/3*(1/2*P(5,6,6,6)-1/6*P(6,6,6,6,6))*lambda[6]-1/
48*P(5,6,6,6,6,6,6)+1/16*P(5,5,6,6,6,6)-7/40*lambda[6]*P(5,6,6,6)-1/48*P(5,5,5
,6,6)+1/24*lambda[6]*P(6,6,6,6,6)+1/5*P(3,6,6,6)-1/8*P(4,6,6,6,6)+1/720*P(6,6,
6,6,6,6,6,6)+1/8*P(4,5,6,6))*w+3/32*P(3,5,5,5,6)*lambda[6]+1327/10080*lambda[6
]^2*P(3,5,6,6)+23/1440*P(3,5,6,6,6,6,6)*lambda[6]-1/2*P(1,5,5)+P(1,5,6,6)-11/
60*lambda[6]*P(3,3,6,6)-25/288*P(3,5,5,6,6,6)*lambda[6]+P(3,4)*(1/3*lambda[5]-\
1/9*lambda[6]^2)+(-1/2*P(4,5,5)+1/2*P(4,5,6,6))*w-2/3*P(2,4)*lambda[6]+P(4,4)*
w-5/72*P(3,5,5)*lambda[6]^2+1/12*P(3,5,5)*lambda[5]+1/3*(1/2*P(3,4,5,6)-1/6*P(
3,4,6,6,6))*lambda[6]+1/3*P(1,6)*lambda[6]-1/12*lambda[6]*P(2,6,6,6,6)-2*(-1/5
*P(3,5,6)+1/4*P(4,5,6,6)+2/15*P(5,5,6)*lambda[6]-1/8*P(5,5,5,6,6)+1/12*P(5,5,6
,6,6,6)-1/12*lambda[6]*P(5,6,6,6)-1/120*P(5,6,6,6,6,6,6))*w-2/3*(1/2*P(2,5,6,6
)-1/6*P(2,6,6,6,6))*lambda[6]-5/384*P(3,5,5,5,5,6,6)+5/576*P(3,5,5,5,6,6,6,6)-\
1/576*P(3,5,5,6,6,6,6,6,6)+1/384*P(3,5,5,5,5,5)+1/8064*P(3,5,6,6,6,6,6,6,6,6)+
29/336*lambda[6]*P(3,4,6,6,6)-101/336*P(3,4,5,6)*lambda[6]-1/362880*P(3,6,6,6,
6,6,6,6,6,6,6)-1/360*P(2,6,6,6,6,6,6,6)+31/40*P(2,3,5)-31/40*P(2,3,6,6)-5/96*P
(3,4,5,6,6,6,6)+5/32*P(3,4,5,5,6,6)-5/96*P(3,4,5,5,5)-5/32*P(3,4,4,6,6)+1/288*
P(3,4,6,6,6,6,6,6)+5/32*P(3,4,4,5)-(1/3*P(4,6)*lambda[6]+1/2*P(4,5,6,6)-1/6*P(
4,6,6,6,6))*w-7/4*P(2,4,5,6)+7/12*P(2,4,6,6,6)+7/24*P(2,5,5,5,6)-7/24*P(2,5,5,
6,6,6)+7/120*P(2,5,6,6,6,6,6)+31/60*lambda[6]*P(2,5,6,6)-1/6*P(1,6,6,6,6)-1/5*
P(3,3,3)+1/2*P(3,3,4,6)-1/4*P(3,3,5,5,6)+1/6*P(3,3,5,6,6,6)-1/60*P(3,3,6,6,6,6
,6)+P(1,4))*z^2+((1/3*P(6,6)*lambda[6]+1/2*P(5,6,6,6)-1/6*P(6,6,6,6,6))*w-2/3*
P(3,4)*lambda[6]-4/3*lambda[6]*lambda[4]-2*P(3,6)*(1/3*lambda[5]-1/9*lambda[6]
^2)-5/72*P(5,5,5)*lambda[6]^2+1/12*P(5,5,5)*lambda[5]+1/24*P(3,5,5,5,6)-1/8*P(
3,5,5,6,6,6)+1/24*P(3,5,6,6,6,6,6)+P(4,6)*w+3/32*P(5,5,5,5,6)*lambda[6]-1/12*
lambda[6]*P(3,6,6,6,6)+1327/10080*lambda[6]^2*P(5,5,6,6)+P(4,5)*(1/3*lambda[5]
-1/9*lambda[6]^2)-1/20*P(3,5,5)*lambda[6]+(-1/2*P(5,5,6)+1/2*P(5,6,6,6))*w+5/
32*P(4,4,5,5)-5/32*P(4,4,5,6,6)+1/3*(1/2*P(4,5,5,6)-1/6*P(4,5,6,6,6))*lambda[6
]-2/3*(1/2*P(3,5,6,6)-1/6*P(3,6,6,6,6))*lambda[6]+(1/2*P(5,5,6,6)-1/6*P(5,6,6,
6,6))*(1/3*lambda[5]-1/9*lambda[6]^2)-2*(1/3*lambda[5]-1/9*lambda[6]^2)*lambda
[5]+P(5,6)*(5/81*lambda[6]^3+1/3*lambda[4]-2/9*lambda[6]*lambda[5])-1/362880*P
(5,6,6,6,6,6,6,6,6,6,6)+23/1440*P(5,5,6,6,6,6,6)*lambda[6]-1/1440*P(5,6,6,6,6,
6,6,6)*lambda[6]-13/84*P(5,5,6,6)*lambda[5]+29/336*lambda[6]*P(4,5,6,6,6)+1/3*
lambda[6]*P(3,5,6,6)-101/336*P(4,5,5,6)*lambda[6]+1/3*(-1/48*P(5,5,6,6,6,6,6)+
1/16*P(5,5,5,6,6,6)-7/40*lambda[6]*P(5,5,6,6)-1/48*P(5,5,5,5,6)+1/24*lambda[6]
*P(5,6,6,6,6)+1/5*P(3,5,6,6)-1/8*P(4,5,6,6,6)+1/720*P(5,6,6,6,6,6,6,6)+1/8*P(4
,5,5,6))*lambda[6]+1/3*P(2,6)*lambda[6]-5/4*P(3,4,5,6)+7/12*P(3,4,6,6,6)-1/6*P
(2,6,6,6,6)-25/288*P(5,5,5,6,6,6)*lambda[6]+1/42*P(5,6,6,6,6)*lambda[5]+P(2,4)
+13/8*P(2,5,6,6)-1/360*P(3,6,6,6,6,6,6,6)-5/384*P(5,5,5,5,5,6,6)+5/576*P(5,5,5
,5,6,6,6,6)-1/576*P(5,5,5,6,6,6,6,6,6)+1/384*P(5,5,5,5,5,5)+1/8064*P(5,5,6,6,6
,6,6,6,6,6)+6/5*P(3,3,5)-7/5*P(3,3,6,6)-5/96*P(4,5,5,6,6,6,6)+5/32*P(4,5,5,5,6
,6)-5/96*P(4,5,5,5,5)+1/288*P(4,5,6,6,6,6,6,6)-13/672*lambda[6]^2*P(5,6,6,6,6)
-9/8*P(2,5,5))*z^3-101/336*P(1,4,5,6)*lambda[6]-5/96*P(1,4,5,6,6,6,6)+5/32*P(1
,4,5,5,6,6)-5/96*P(1,4,5,5,5)-5/32*P(1,4,4,6,6)+1/288*P(1,4,6,6,6,6,6,6)+5/32*
P(1,4,4,5)+13/60*P(1,3,5)*lambda[6]+(2/3*lambda[4]-5/81*lambda[6]^3-3*lambda[6
]*(1/3*lambda[5]-1/9*lambda[6]^2)-1/9*lambda[6]*lambda[5]+1/3*P(3,6)*lambda[6]
-4/15*P(5,5,5)*lambda[6]-1/12*lambda[6]*P(5,6,6,6,6)+31/60*lambda[6]*P(5,5,6,6
)-2/3*P(4,5)*lambda[6]-2/3*(1/2*P(5,5,6,6)-1/6*P(5,6,6,6,6))*lambda[6]+7/120*P
(5,5,6,6,6,6,6)-7/24*P(5,5,5,6,6,6)+7/24*P(5,5,5,5,6)-1/360*P(5,6,6,6,6,6,6,6)
-2*P(5,6)*(1/3*lambda[5]-1/9*lambda[6]^2)-2/5*P(3,5,6,6)-1/6*P(3,6,6,6,6)+9/10
*P(3,5,5)+P(3,4)-7/4*P(4,5,5,6)+7/12*P(4,5,6,6,6))*z^4-5/8*P(1,2,5)+5/8*P(1,2,
6,6)-5/384*P(1,5,5,5,5,6,6)+5/576*P(1,5,5,5,6,6,6,6)-1/576*P(1,5,5,6,6,6,6,6,6
)+1/384*P(1,5,5,5,5,5)+1/8064*P(1,5,6,6,6,6,6,6,6,6)+(1/3*(1/2*P(4,4,5,6)-1/6*
P(4,4,6,6,6))*lambda[6]+P(4,4)*(1/3*lambda[5]-1/9*lambda[6]^2)-1/48*P(4,4,5,6,
6,6,6)+1/16*P(4,4,5,5,6,6)-7/40*P(4,4,5,6)*lambda[6]-1/48*P(4,4,5,5,5)+1/24*
lambda[6]*P(4,4,6,6,6)+1/5*P(3,4,4,6)-1/8*P(4,4,4,6,6)+1/720*P(4,4,6,6,6,6,6,6
)+1/8*P(4,4,4,5))*w+23/1440*P(1,5,6,6,6,6,6)*lambda[6]+1/12*P(1,5,5)*lambda[5]
+1/3*(-1/48*P(1,5,6,6,6,6,6)+1/16*P(1,5,5,6,6,6)-7/40*lambda[6]*P(1,5,6,6)-1/
48*P(1,5,5,5,6)+1/24*lambda[6]*P(1,6,6,6,6)+1/5*P(1,3,6,6)-1/8*P(1,4,6,6,6)+1/
720*P(1,6,6,6,6,6,6,6)+1/8*P(1,4,5,6))*lambda[6]-25/288*P(1,5,5,6,6,6)*lambda[
6]-1/1440*P(1,6,6,6,6,6,6,6)*lambda[6]+P(1,4)*(1/3*lambda[5]-1/9*lambda[6]^2)+
1/42*P(1,6,6,6,6)*lambda[5]-13/672*lambda[6]^2*P(1,6,6,6,6)-11/60*lambda[6]*P(
1,3,6,6)+(-1/5*P(3,3,4)+1/4*P(3,4,4,6)+2/15*P(3,4,5)*lambda[6]-1/8*P(3,4,5,5,6
)+1/12*P(3,4,5,6,6,6)-1/12*lambda[6]*P(3,4,6,6)-1/120*P(3,4,6,6,6,6,6))*w+(1/
80*P(4,5,6,6,6,6,6)*lambda[6]+(1/2*P(4,5,6,6)-1/6*P(4,6,6,6,6))*(1/3*lambda[5]
-1/9*lambda[6]^2)-7/160*P(4,5,5,6,6,6)*lambda[6]-3/28*P(4,5,6,6)*lambda[5]-1/
48*P(4,4,5,6,6,6,6)+1/32*P(4,4,5,5,6,6)-1/32*P(4,4,4,6,6)+1/480*P(4,4,6,6,6,6,
6,6)+P(4,6)*(5/81*lambda[6]^3+1/3*lambda[4]-2/9*lambda[6]*lambda[5])-1/1440*P(
4,6,6,6,6,6,6,6)*lambda[6]+1/60*P(4,5,5,5,6)*lambda[6]+27/280*lambda[6]^2*P(4,
5,6,6)+1/42*P(4,6,6,6,6)*lambda[5]+5/112*lambda[6]*P(4,4,6,6,6)+1/3*(-1/48*P(4
,5,6,6,6,6,6)+1/16*P(4,5,5,6,6,6)-7/40*lambda[6]*P(4,5,6,6)-1/48*P(4,5,5,5,6)+
1/24*lambda[6]*P(4,6,6,6,6)+1/5*P(3,4,6,6)-1/8*P(4,4,6,6,6)+1/720*P(4,6,6,6,6,
6,6,6)+1/8*P(4,4,5,6))*lambda[6]-1/10*lambda[6]*P(3,4,6,6)-13/672*lambda[6]^2*
P(4,6,6,6,6)+1/20*P(3,4,4,6)-1/40*P(3,4,5,5,6)+1/20*P(3,4,5,6,6,6)-1/120*P(3,4
,6,6,6,6,6)+1/8*P(2,4,6,6)-2/35*P(4,4,5,6)*lambda[6]-1/362880*P(4,6,6,6,6,6,6,
6,6,6,6)-1/384*P(4,5,5,5,5,6,6)+1/288*P(4,5,5,5,6,6,6,6)-1/960*P(4,5,5,6,6,6,6
,6,6)+1/10080*P(4,5,6,6,6,6,6,6,6,6))*w+3/32*P(1,5,5,5,6)*lambda[6]-1/5*P(1,3,
3)+1/2*P(1,3,4,6)-1/4*P(1,3,5,5,6)+1/6*P(1,3,5,6,6,6)-1/60*P(1,3,6,6,6,6,6)+29
/336*lambda[6]*P(1,4,6,6,6)+1327/10080*lambda[6]^2*P(1,5,6,6)-13/84*P(1,5,6,6)
*lambda[5];