FiQ := [Q[7,7,7,7] = -3*P(6,6), Q[6,7,7,7] = 3*P(5,7), Q[5,7,7,7] = -Q[6,6,6,7
], Q[3,7,7,7] = 2*P(4,4)-3/2*P(4,6)*lambda[7]+Q[6,6,6,7]*lambda[7]-3/2*P(6,6)*
lambda[6]+Q[4,6,6,7]+3/2*Q[5,5,7,7], Q[2,7,7,7] = -P(4,4)*lambda[7]+3*P(4,6)*
lambda[6]+Q[4,4,6,7]-Q[4,5,6,6], Q[1,7,7,7] = 1/18*Q[6,6,6,7]*lambda[7]*lambda
[6]+1/24*Q[5,5,7,7]*lambda[6]+1/36*Q[5,5,5,7]*lambda[7]+1/36*Q[4,6,6,7]*lambda
[7]^2-1/72*Q[4,5,6,6]*lambda[7]-1/36*Q[4,6,6,7]*lambda[6]-1/36*Q[4,4,6,7]*
lambda[7]-1/18*Q[6,6,6,7]*lambda[5]+19/18*P(4,6)*lambda[5]+1/9*P(4,4)*lambda[6
]+8/9*P(6,6)*lambda[4]-1/12*P(6,6)*lambda[6]^2-1/12*P(4,6)*lambda[7]*lambda[6]
-5/18*Q[3,4,6,6]-1/12*Q[3,5,5,7]-2/9*Q[4,4,5,6]+1/3*Q[4,4,4,7]-1/72*Q[5,5,5,5]
, Q[6,6,7,7] = 4*P(4,7)-P(5,6)+2*P(6,7)*lambda[7], Q[5,6,7,7] = 4*P(3,7)-P(5,5
)+2*P(5,7)*lambda[7], Q[4,6,7,7] = -P(4,5)+2*P(4,7)*lambda[7], Q[3,6,7,7] = 4*
P(2,7)-P(3,5)+2*P(3,7)*lambda[7], Q[2,6,7,7] = -P(2,5)+2*P(2,7)*lambda[7]+4*P(
1,7), Q[4,5,7,7] = 4*P(2,7)-P(3,5)+2*P(3,7)*lambda[7]+1/2*Q[4,7,7,7]*lambda[7]
+3/2*P(5,7)*lambda[6]-P(7,7)*lambda[5]-1/2*Q[5,5,6,7], Q[3,5,7,7] = 1/2*Q[4,6,
6,7]*lambda[7]+Q[5,5,7,7]*lambda[7]-P(4,6)*lambda[7]^2+2/3*Q[6,6,6,7]*lambda[7
]^2+4*P(4,6)*lambda[6]-1/6*Q[6,6,6,7]*lambda[6]-P(6,6)*lambda[7]*lambda[6]+P(6
,6)*lambda[5]-Q[4,5,6,6]-1/6*Q[5,5,5,7], Q[2,5,7,7] = 2/9*Q[6,6,6,7]*lambda[7]
*lambda[6]+1/6*Q[5,5,7,7]*lambda[6]+1/9*Q[5,5,5,7]*lambda[7]+1/9*Q[4,6,6,7]*
lambda[7]^2-13/18*Q[4,5,6,6]*lambda[7]-1/9*Q[4,6,6,7]*lambda[6]+5/9*Q[4,4,6,7]
*lambda[7]-2/9*Q[6,6,6,7]*lambda[5]+26/9*P(4,6)*lambda[5]+4/9*P(4,4)*lambda[6]
+20/9*P(6,6)*lambda[4]-1/3*P(6,6)*lambda[6]^2+5/3*P(4,6)*lambda[7]*lambda[6]-4
/9*Q[3,4,6,6]-1/3*Q[3,5,5,7]-5/9*Q[4,4,5,6]-1/18*Q[5,5,5,5]-2/3*P(4,4)*lambda[
7]^2, Q[1,5,7,7] = 1/18*Q[6,6,6,7]*lambda[7]*lambda[5]+17/288*Q[4,6,6,7]*
lambda[7]*lambda[6]-3/16*P(6,6)*lambda[6]*lambda[5]+1/32*Q[5,5,5,7]*lambda[6]+
3/8*P(6,6)*lambda[3]+1/8*P(4,4)*lambda[5]+3/4*P(4,6)*lambda[4]-1/8*Q[6,6,6,7]*
lambda[4]+1/36*Q[4,4,6,7]*lambda[7]^2-1/36*Q[5,5,5,7]*lambda[7]^2-1/18*Q[6,6,6
,7]*lambda[7]^2*lambda[6]-1/24*Q[5,5,7,7]*lambda[7]*lambda[6]-1/36*Q[4,4,5,6]*
lambda[7]+1/72*Q[4,5,6,6]*lambda[7]^2+11/48*Q[4,4,4,7]*lambda[7]-5/144*Q[3,4,6
,6]*lambda[7]+3/16*Q[4,5,6,6]*lambda[6]+1/72*Q[5,5,5,5]*lambda[7]-3/16*Q[4,4,6
,7]*lambda[6]-1/36*Q[4,6,6,7]*lambda[7]^3+1/12*Q[3,5,5,7]*lambda[7]+1/32*Q[6,6
,6,7]*lambda[6]^2-1/8*Q[4,6,6,7]*lambda[5]+5/36*P(4,4)*lambda[7]*lambda[6]+1/9
*P(6,6)*lambda[7]*lambda[4]-1/18*P(4,6)*lambda[7]*lambda[5]+1/12*P(6,6)*lambda
[7]*lambda[6]^2+1/12*P(4,6)*lambda[7]^2*lambda[6]+1/4*Q[2,3,7,7]-3/16*Q[2,4,6,
6]-1/16*Q[3,5,5,5]+1/16*Q[2,5,5,7]-3/16*Q[4,4,4,5]-3/4*P(4,6)*lambda[6]^2, Q[2
,4,7,7] = 1/4*Q[4,7,7,7]*lambda[7]*lambda[6]+P(1,5)-2*P(2,3)+3*P(3,7)*lambda[7
]*lambda[6]+1/2*Q[4,7,7,7]*lambda[5]-Q[3,4,7,7]*lambda[7]+3/4*Q[5,5,6,7]*
lambda[6]-2*Q[3,5,6,7]*lambda[7]-3*P(3,7)*lambda[5]+3/2*P(5,7)*lambda[4]+3/2*P
(7,7)*lambda[6]*lambda[5]+3/2*Q[3,3,6,7]-2*Q[2,5,6,7]-1/2*Q[4,5,5,5]+8*P(2,7)*
lambda[7]^2-9/4*P(5,7)*lambda[6]^2-1/2*P(2,5)*lambda[7]-2*P(3,3)*lambda[7]+3/2
*P(3,5)*lambda[6]+15*P(1,7)*lambda[7], Q[3,3,7,7] = 8/9*Q[6,6,6,7]*lambda[7]*
lambda[6]+17/12*Q[5,5,7,7]*lambda[6]-1/18*Q[5,5,5,7]*lambda[7]-1/18*Q[4,6,6,7]
*lambda[7]^2-41/36*Q[4,5,6,6]*lambda[7]+19/18*Q[4,6,6,7]*lambda[6]-5/18*Q[4,4,
6,7]*lambda[7]+1/9*Q[6,6,6,7]*lambda[5]+32/9*P(4,6)*lambda[5]+16/9*P(4,4)*
lambda[6]+35/9*P(6,6)*lambda[4]-4/3*P(6,6)*lambda[6]^2+13/6*P(4,6)*lambda[7]*
lambda[6]-7/9*Q[3,4,6,6]-5/6*Q[3,5,5,7]-2/9*Q[4,4,5,6]+1/36*Q[5,5,5,5]-7/6*P(4
,4)*lambda[7]^2, Q[5,6,6,7] = 2*P(3,6)-2*P(4,5)+3*P(4,7)*lambda[7]+3*P(6,7)*
lambda[6]+lambda[5], Q[4,5,6,7] = 3/2*P(2,6)-P(3,4)+3*P(4,7)*lambda[6]-lambda[
4]-1/2*Q[4,4,7,7], Q[4,5,5,7] = Q[4,7,7,7]*lambda[6]+16*P(1,7)-2*P(2,5)-2*P(3,
3)-2*Q[3,4,7,7]-2*Q[3,5,6,7]+11*P(2,7)*lambda[7]+2*P(7,7)*lambda[4]+6*P(3,7)*
lambda[6], Q[4,4,5,7] = 4*P(4,7)*lambda[5]+4*P(6,7)*lambda[4]+Q[2,6,6,7]-2*Q[3
,4,6,7]+4*P(1,6), Q[3,4,5,7] = -1/4*Q[4,7,7,7]*lambda[7]*lambda[6]-2*P(1,5)-3*
P(3,7)*lambda[7]*lambda[6]+Q[3,4,7,7]*lambda[7]-3/4*Q[5,5,6,7]*lambda[6]+2*Q[3
,5,6,7]*lambda[7]+6*P(2,7)*lambda[6]+4*P(3,7)*lambda[5]-3/2*P(7,7)*lambda[6]*
lambda[5]-2*Q[3,3,6,7]+Q[2,5,6,7]+1/2*Q[4,5,5,5]-8*P(2,7)*lambda[7]^2+9/4*P(5,
7)*lambda[6]^2+1/2*P(2,5)*lambda[7]+2*P(3,3)*lambda[7]-3/2*P(3,5)*lambda[6]-6*
P(1,7)*lambda[7], Q[3,3,5,7] = 4/9*Q[6,6,6,7]*lambda[7]*lambda[5]-19/144*Q[4,6
,6,7]*lambda[7]*lambda[6]-7/8*P(6,6)*lambda[6]*lambda[5]-1/48*Q[5,5,5,7]*
lambda[6]+15/4*P(6,6)*lambda[3]+23/12*P(4,4)*lambda[5]+7/2*P(4,6)*lambda[4]+5/
12*Q[6,6,6,7]*lambda[4]-1/9*Q[4,4,6,7]*lambda[7]^2+1/9*Q[5,5,5,7]*lambda[7]^2+
2/9*Q[6,6,6,7]*lambda[7]^2*lambda[6]+1/6*Q[5,5,7,7]*lambda[7]*lambda[6]-13/18*
Q[4,4,5,6]*lambda[7]-1/18*Q[4,5,6,6]*lambda[7]^2-1/24*Q[4,4,4,7]*lambda[7]-65/
72*Q[3,4,6,6]*lambda[7]-35/24*Q[4,5,6,6]*lambda[6]-1/18*Q[5,5,5,5]*lambda[7]+
11/24*Q[4,4,6,7]*lambda[6]+1/9*Q[4,6,6,7]*lambda[7]^3-1/3*Q[3,5,5,7]*lambda[7]
-1/48*Q[6,6,6,7]*lambda[6]^2+13/12*Q[4,6,6,7]*lambda[5]-19/18*P(4,4)*lambda[7]
*lambda[6]+26/9*P(6,6)*lambda[7]*lambda[4]+23/9*P(4,6)*lambda[7]*lambda[5]-1/3
*P(6,6)*lambda[7]*lambda[6]^2-1/3*P(4,6)*lambda[7]^2*lambda[6]-3/2*Q[2,3,7,7]-\
7/8*Q[2,4,6,6]+1/24*Q[3,5,5,5]-3/8*Q[2,5,5,7]-5/24*Q[4,4,4,5]+Q[5,5,7,7]*
lambda[5]+9/2*P(4,6)*lambda[6]^2, Q[3,4,4,7] = 4*P(1,4)-3/2*P(2,6)*lambda[6]-2
*P(1,6)*lambda[7]+1/2*P(2,4)*lambda[7]+6*P(4,7)*lambda[4]-Q[2,4,6,7]+2*Q[1,6,6
,7]+1/2*Q[2,5,6,6]+lambda[2], Q[3,3,4,7] = -4*P(1,3)-2*P(2,2)+18*P(1,7)*lambda
[6]+4*P(3,7)*lambda[4]+Q[4,7,7,7]*lambda[4]-2*Q[1,5,6,7]-2*Q[1,4,7,7]-2*Q[2,3,
6,7]-2*Q[2,4,5,7]+7*P(2,7)*lambda[5], Q[3,3,3,7] = -7/12*Q[6,6,6,7]*lambda[7]^
3*lambda[6]+7/12*Q[6,6,6,7]*lambda[7]^2*lambda[5]-7/16*Q[5,5,7,7]*lambda[7]^2*
lambda[6]+157/192*Q[4,6,6,7]*lambda[7]^2*lambda[6]+101/192*Q[5,5,5,7]*lambda[7
]*lambda[6]-271/96*Q[4,4,6,7]*lambda[7]*lambda[6]+181/192*Q[6,6,6,7]*lambda[7]
*lambda[6]^2+9/16*Q[6,6,6,7]*lambda[7]*lambda[4]+211/96*Q[4,5,6,6]*lambda[7]*
lambda[6]-5/6*Q[6,6,6,7]*lambda[6]*lambda[5]-7/16*Q[4,6,6,7]*lambda[7]*lambda[
5]+71/6*P(6,6)*lambda[6]*lambda[4]-21/32*P(6,6)*lambda[7]*lambda[6]*lambda[5]+
15*P(6,6)*lambda[2]+15*P(4,6)*lambda[3]-5/4*P(6,6)*lambda[6]^3+5/3*P(4,4)*
lambda[6]^2-3*Q[2,2,7,7]-6*Q[1,3,7,7]-6*Q[2,3,5,7]-3*Q[1,5,5,7]+6*P(4,4)*
lambda[4]-73/8*P(4,6)*lambda[7]*lambda[6]^2+35/24*P(4,4)*lambda[7]^2*lambda[6]
+7/8*P(4,6)*lambda[7]^3*lambda[6]-65/16*P(4,4)*lambda[7]*lambda[5]-91/12*P(4,6
)*lambda[7]^2*lambda[5]+21/16*P(6,6)*lambda[7]*lambda[3]-35/6*P(6,6)*lambda[7]
^2*lambda[4]+7/8*P(6,6)*lambda[7]^2*lambda[6]^2+88/3*P(4,6)*lambda[6]*lambda[5
]+9/8*P(4,6)*lambda[7]*lambda[4]+7/32*Q[4,4,4,7]*lambda[7]^2-5/24*Q[5,5,5,5]*
lambda[6]+63/32*Q[2,5,5,7]*lambda[7]+Q[4,4,4,7]*lambda[6]-10/3*Q[4,4,5,6]*
lambda[6]+7/48*Q[5,5,5,5]*lambda[7]^2+175/96*Q[3,4,6,6]*lambda[7]^2+5/8*Q[5,5,
7,7]*lambda[6]^2-25/6*Q[3,4,6,6]*lambda[6]+7/8*Q[3,5,5,7]*lambda[7]^2+21/8*Q[2
,3,7,7]*lambda[7]-5/4*Q[3,5,5,7]*lambda[6]+2*Q[6,6,6,7]*lambda[3]+3/2*Q[5,5,7,
7]*lambda[4]+3*Q[4,6,6,7]*lambda[4]+3*Q[4,4,6,7]*lambda[5]-9/2*Q[4,5,6,6]*
lambda[5]-49/32*Q[4,4,4,5]*lambda[7]+7/24*Q[4,4,6,7]*lambda[7]^3-105/32*Q[2,4,
6,6]*lambda[7]+35/24*Q[4,4,5,6]*lambda[7]^2-7/24*Q[5,5,5,7]*lambda[7]^3+7/48*Q
[4,5,6,6]*lambda[7]^3-7/32*Q[3,5,5,5]*lambda[7]-7/24*Q[4,6,6,7]*lambda[7]^4-5/
12*Q[4,6,6,7]*lambda[6]^2, Q[6,6,6,6] = 12*P(3,7)-3*P(5,5)-4*Q[4,7,7,7], Q[5,6
,6,6] = -8*P(4,4)+6*P(4,6)*lambda[7]-2*Q[6,6,6,7]*lambda[7]+6*P(6,6)*lambda[6]
-4*Q[4,6,6,7]-3*Q[5,5,7,7], Q[4,6,6,6] = 12*P(2,7)-3*P(3,5)+6*P(3,7)*lambda[7]
-1/2*Q[4,7,7,7]*lambda[7]+9/2*P(5,7)*lambda[6]-3*P(7,7)*lambda[5]-3/2*Q[5,5,6,
7], Q[3,6,6,6] = -1/2*Q[4,6,6,7]*lambda[7]-1/2*Q[6,6,6,7]*lambda[6]+3*P(6,6)*
lambda[5]-4*Q[4,4,6,7]+Q[4,5,6,6]-1/2*Q[5,5,5,7], Q[2,6,6,6] = 4/9*Q[6,6,6,7]*
lambda[7]*lambda[6]+1/3*Q[5,5,7,7]*lambda[6]+2/9*Q[5,5,5,7]*lambda[7]+2/9*Q[4,
6,6,7]*lambda[7]^2-1/9*Q[4,5,6,6]*lambda[7]-2/9*Q[4,6,6,7]*lambda[6]-2/9*Q[4,4
,6,7]*lambda[7]-4/9*Q[6,6,6,7]*lambda[5]+40/9*P(4,6)*lambda[5]+8/9*P(4,4)*
lambda[6]+28/9*P(6,6)*lambda[4]-2/3*P(6,6)*lambda[6]^2-2/3*P(4,6)*lambda[7]*
lambda[6]-2/9*Q[3,4,6,6]-2/3*Q[3,5,5,7]-7/9*Q[4,4,5,6]-4/3*Q[4,4,4,7]-1/9*Q[5,
5,5,5], Q[1,6,6,6] = 5/18*Q[6,6,6,7]*lambda[7]*lambda[5]+67/288*Q[4,6,6,7]*
lambda[7]*lambda[6]-9/16*P(6,6)*lambda[6]*lambda[5]+3/32*Q[5,5,5,7]*lambda[6]+
9/8*P(6,6)*lambda[3]+3/8*P(4,4)*lambda[5]+9/4*P(4,6)*lambda[4]-3/8*Q[6,6,6,7]*
lambda[4]+5/36*Q[4,4,6,7]*lambda[7]^2-5/36*Q[5,5,5,7]*lambda[7]^2-5/18*Q[6,6,6
,7]*lambda[7]^2*lambda[6]-5/24*Q[5,5,7,7]*lambda[7]*lambda[6]+13/36*Q[4,4,5,6]
*lambda[7]+5/72*Q[4,5,6,6]*lambda[7]^2+1/48*Q[4,4,4,7]*lambda[7]+65/144*Q[3,4,
6,6]*lambda[7]+9/16*Q[4,5,6,6]*lambda[6]+5/72*Q[5,5,5,5]*lambda[7]-9/16*Q[4,4,
6,7]*lambda[6]-5/36*Q[4,6,6,7]*lambda[7]^3+5/12*Q[3,5,5,7]*lambda[7]+3/32*Q[6,
6,6,7]*lambda[6]^2-3/8*Q[4,6,6,7]*lambda[5]+7/36*P(4,4)*lambda[7]*lambda[6]-13
/9*P(6,6)*lambda[7]*lambda[4]-41/18*P(4,6)*lambda[7]*lambda[5]+5/12*P(6,6)*
lambda[7]*lambda[6]^2+5/12*P(4,6)*lambda[7]^2*lambda[6]+3/4*Q[2,3,7,7]-9/16*Q[
2,4,6,6]-3/16*Q[3,5,5,5]+3/16*Q[2,5,5,7]-9/16*Q[4,4,4,5]-9/4*P(4,6)*lambda[6]^
2, Q[5,5,6,6] = 9*P(2,6)-6*P(3,4)+4*P(3,6)*lambda[7]-P(4,5)*lambda[7]+6*P(4,7)
*lambda[6]+3*P(5,6)*lambda[6]+4*P(6,7)*lambda[5]+2*lambda[7]*lambda[5]-6*
lambda[4]-2*Q[3,6,6,7]+Q[4,4,7,7], Q[3,5,6,6] = 6*P(4,7)*lambda[5]+6*P(6,7)*
lambda[4]-P(3,4)*lambda[7]+4*P(2,6)*lambda[7]+3*P(3,6)*lambda[6]-3*lambda[3]-2
*Q[3,4,6,7]+8*P(1,6)-4*P(2,4), Q[4,4,6,6] = 44/3*P(1,7)-1/3*P(2,5)-4/3*P(3,3)-\
2/3*Q[3,4,7,7]-4/3*Q[3,5,6,7]+16/3*P(2,7)*lambda[7]+4*P(3,7)*lambda[6], Q[5,5,
5,6] = -16*P(1,7)+8*P(2,5)-4*P(3,3)-14*P(2,7)*lambda[7]+4*Q[3,4,7,7]+2*Q[3,5,6
,7]+3*P(7,7)*lambda[7]*lambda[5]-9/2*P(5,7)*lambda[7]*lambda[6]-2*Q[4,7,7,7]*
lambda[6]+3*P(5,5)*lambda[6]-12*P(7,7)*lambda[4]-6*P(3,7)*lambda[7]^2+3*P(3,5)
*lambda[7]+1/2*Q[4,7,7,7]*lambda[7]^2+3/2*Q[5,5,6,7]*lambda[7], Q[4,5,5,6] = -\
4*P(6,7)*lambda[4]+3*P(4,5)*lambda[6]-2*P(3,4)*lambda[7]+3*P(2,6)*lambda[7]-2*
lambda[7]*lambda[4]-2*Q[2,6,6,7]+2*Q[3,4,6,7]+4*P(1,6), Q[3,5,5,6] = 1/2*Q[4,7
,7,7]*lambda[7]*lambda[6]+8*P(1,5)-8*P(2,3)-Q[3,4,7,7]*lambda[7]+3/2*Q[5,5,6,7
]*lambda[6]-2*Q[3,5,6,7]*lambda[7]+3*P(7,7)*lambda[6]*lambda[5]+2*Q[3,3,6,7]-2
*Q[2,5,6,7]-Q[4,5,5,5]+8*P(2,7)*lambda[7]^2-9/2*P(5,7)*lambda[6]^2+3*P(2,5)*
lambda[7]-4*P(3,3)*lambda[7]+6*P(3,5)*lambda[6]-6*P(7,7)*lambda[3]+16*P(1,7)*
lambda[7], Q[2,5,5,6] = 3/4*Q[5,5,6,7]*lambda[7]*lambda[6]-8*P(1,3)+3/2*P(7,7)
*lambda[7]*lambda[6]*lambda[5]+3/2*P(5,7)*lambda[7]*lambda[4]+3/2*P(3,5)*
lambda[7]*lambda[6]-3*P(3,7)*lambda[7]*lambda[5]+12*P(1,7)*lambda[6]-1/2*P(2,5
)*lambda[7]^2-4*P(7,7)*lambda[2]-2*P(2,3)*lambda[7]+7*P(1,7)*lambda[7]^2+5*P(1
,5)*lambda[7]+8*P(2,7)*lambda[7]^3-Q[3,4,7,7]*lambda[7]^2-2*Q[3,5,6,7]*lambda[
7]^2-1/2*Q[4,5,5,5]*lambda[7]+1/2*Q[4,7,7,7]*lambda[7]*lambda[5]+1/4*Q[4,7,7,7
]*lambda[7]^2*lambda[6]+3/2*Q[3,3,6,7]*lambda[7]-2*P(3,3)*lambda[7]^2-9/4*P(5,
7)*lambda[7]*lambda[6]^2+3*P(3,7)*lambda[7]^2*lambda[6]-6*P(2,7)*lambda[7]*
lambda[6]-2*Q[2,3,6,7]-2*Q[2,4,5,7]+3*P(2,5)*lambda[6]+8*P(2,7)*lambda[5], Q[3
,4,5,6] = -4*P(1,4)+6*P(2,6)*lambda[6]+9*P(1,6)*lambda[7]-2*P(2,4)*lambda[7]+6
*P(4,7)*lambda[4]+3/2*P(5,6)*lambda[4]+3/2*P(4,5)*lambda[5]+3*P(6,7)*lambda[3]
-Q[2,4,6,7]-Q[1,6,6,7]-Q[2,5,6,6]-1/2*Q[3,3,6,6]+P(3,6)*lambda[5]-4*lambda[2],
Q[3,3,5,6] = 1/2*Q[5,5,6,7]*lambda[7]*lambda[6]+16/3*P(1,3)+P(7,7)*lambda[7]*
lambda[6]*lambda[5]-4*P(2,2)+P(5,7)*lambda[7]*lambda[4]+P(3,5)*lambda[7]*
lambda[6]-56/3*P(1,7)*lambda[6]-1/3*P(2,5)*lambda[7]^2-4*P(7,7)*lambda[2]-2*P(
2,3)*lambda[7]+14/3*P(1,7)*lambda[7]^2+4*P(3,7)*lambda[4]+4*P(1,5)*lambda[7]+4
/3*P(3,3)*lambda[6]+16/3*P(2,7)*lambda[7]^3-4/3*Q[4,7,7,7]*lambda[4]-2/3*Q[3,4
,7,7]*lambda[7]^2-4/3*Q[3,5,6,7]*lambda[7]^2-1/3*Q[4,5,5,5]*lambda[7]+1/6*Q[4,
7,7,7]*lambda[7]*lambda[5]+1/6*Q[4,7,7,7]*lambda[7]^2*lambda[6]+P(3,5)*lambda[
5]+Q[3,3,6,7]*lambda[7]-1/2*Q[5,5,6,7]*lambda[5]-4/3*P(3,3)*lambda[7]^2-4*P(3,
7)*lambda[6]^2-3/2*P(5,7)*lambda[7]*lambda[6]^2+2*P(3,7)*lambda[7]^2*lambda[6]
-28/3*P(2,7)*lambda[7]*lambda[6]+3/2*P(5,7)*lambda[6]*lambda[5]+10/3*Q[1,5,6,7
]+8/3*Q[1,4,7,7]+2*Q[2,4,5,7]-P(7,7)*lambda[5]^2-P(5,5)*lambda[4]+10/3*P(2,5)*
lambda[6]+4*P(2,7)*lambda[5]-6*P(5,7)*lambda[3]+2/3*Q[3,4,7,7]*lambda[6]+4/3*Q
[3,5,6,7]*lambda[6], Q[4,4,4,6] = -1/4*Q[4,7,7,7]*lambda[7]*lambda[6]+3*P(1,5)
-3*P(3,7)*lambda[7]*lambda[6]-1/2*Q[4,7,7,7]*lambda[5]+Q[3,4,7,7]*lambda[7]-3/
4*Q[5,5,6,7]*lambda[6]+2*Q[3,5,6,7]*lambda[7]+6*P(2,7)*lambda[6]+3*P(3,7)*
lambda[5]-3/2*P(5,7)*lambda[4]-3/2*P(7,7)*lambda[6]*lambda[5]-3/2*Q[3,3,6,7]+1
/2*Q[4,5,5,5]-8*P(2,7)*lambda[7]^2+9/4*P(5,7)*lambda[6]^2+1/2*P(2,5)*lambda[7]
+2*P(3,3)*lambda[7]-3/2*P(3,5)*lambda[6]-7*P(1,7)*lambda[7], Q[3,4,4,6] = 2/9*
Q[6,6,6,7]*lambda[7]*lambda[5]+17/72*Q[4,6,6,7]*lambda[7]*lambda[6]-3/4*P(6,6)
*lambda[6]*lambda[5]+1/8*Q[5,5,5,7]*lambda[6]+3/2*P(6,6)*lambda[3]+1/2*P(4,4)*
lambda[5]+9*P(4,6)*lambda[4]-1/2*Q[6,6,6,7]*lambda[4]+1/9*Q[4,4,6,7]*lambda[7]
^2-1/9*Q[5,5,5,7]*lambda[7]^2-2/9*Q[6,6,6,7]*lambda[7]^2*lambda[6]-1/6*Q[5,5,7
,7]*lambda[7]*lambda[6]-1/9*Q[4,4,5,6]*lambda[7]+1/18*Q[4,5,6,6]*lambda[7]^2-1
/12*Q[4,4,4,7]*lambda[7]-5/36*Q[3,4,6,6]*lambda[7]-1/4*Q[4,5,6,6]*lambda[6]+1/
18*Q[5,5,5,5]*lambda[7]+1/4*Q[4,4,6,7]*lambda[6]-1/9*Q[4,6,6,7]*lambda[7]^3+1/
3*Q[3,5,5,7]*lambda[7]+1/8*Q[6,6,6,7]*lambda[6]^2-1/2*Q[4,6,6,7]*lambda[5]-4/9
*P(4,4)*lambda[7]*lambda[6]+4/9*P(6,6)*lambda[7]*lambda[4]-2/9*P(4,6)*lambda[7
]*lambda[5]+1/3*P(6,6)*lambda[7]*lambda[6]^2+1/3*P(4,6)*lambda[7]^2*lambda[6]+
1/4*Q[2,4,6,6]-1/4*Q[3,5,5,5]-3/4*Q[2,5,5,7]+1/4*Q[4,4,4,5], Q[2,4,4,6] = 1/6*
Q[6,6,6,7]*lambda[7]^3*lambda[6]-1/6*Q[6,6,6,7]*lambda[7]^2*lambda[5]+1/8*Q[5,
5,7,7]*lambda[7]^2*lambda[6]-49/288*Q[4,6,6,7]*lambda[7]^2*lambda[6]-25/288*Q[
5,5,5,7]*lambda[7]*lambda[6]+107/144*Q[4,4,6,7]*lambda[7]*lambda[6]-41/288*Q[6
,6,6,7]*lambda[7]*lambda[6]^2+1/8*Q[6,6,6,7]*lambda[7]*lambda[4]-95/144*Q[4,5,
6,6]*lambda[7]*lambda[6]+1/9*Q[6,6,6,7]*lambda[6]*lambda[5]+1/8*Q[4,6,6,7]*
lambda[7]*lambda[5]-16/9*P(6,6)*lambda[6]*lambda[4]+3/16*P(6,6)*lambda[7]*
lambda[6]*lambda[5]-P(6,6)*lambda[2]+3*P(4,6)*lambda[3]+1/6*P(6,6)*lambda[6]^3
-2/9*P(4,4)*lambda[6]^2+2*Q[1,3,7,7]-2*Q[1,4,6,6]+2*Q[1,5,5,7]+29/12*P(4,6)*
lambda[7]*lambda[6]^2-5/12*P(4,4)*lambda[7]^2*lambda[6]-1/4*P(4,6)*lambda[7]^3
*lambda[6]-1/8*P(4,4)*lambda[7]*lambda[5]+13/6*P(4,6)*lambda[7]^2*lambda[5]-3/
8*P(6,6)*lambda[7]*lambda[3]+5/3*P(6,6)*lambda[7]^2*lambda[4]-1/4*P(6,6)*
lambda[7]^2*lambda[6]^2-19/9*P(4,6)*lambda[6]*lambda[5]-3/4*P(4,6)*lambda[7]*
lambda[4]-1/16*Q[4,4,4,7]*lambda[7]^2+1/36*Q[5,5,5,5]*lambda[6]-9/16*Q[2,5,5,7
]*lambda[7]-2/3*Q[4,4,4,7]*lambda[6]+4/9*Q[4,4,5,6]*lambda[6]-1/24*Q[5,5,5,5]*
lambda[7]^2-25/48*Q[3,4,6,6]*lambda[7]^2-1/12*Q[5,5,7,7]*lambda[6]^2+5/9*Q[3,4
,6,6]*lambda[6]-1/4*Q[3,5,5,7]*lambda[7]^2-3/4*Q[2,3,7,7]*lambda[7]+1/6*Q[3,5,
5,7]*lambda[6]+7/16*Q[4,4,4,5]*lambda[7]-1/12*Q[4,4,6,7]*lambda[7]^3+15/16*Q[2
,4,6,6]*lambda[7]-5/12*Q[4,4,5,6]*lambda[7]^2+1/12*Q[5,5,5,7]*lambda[7]^3-1/24
*Q[4,5,6,6]*lambda[7]^3+1/16*Q[3,5,5,5]*lambda[7]+1/12*Q[4,6,6,7]*lambda[7]^4+
1/18*Q[4,6,6,7]*lambda[6]^2, Q[4,4,5,5] = 8*P(1,4)-6*P(2,6)*lambda[6]-2*P(1,6)
*lambda[7]+2*P(2,4)*lambda[7]-4*P(4,7)*lambda[4]+P(5,6)*lambda[4]+P(4,5)*
lambda[5]-6*P(6,7)*lambda[3]+2*Q[2,4,6,7]-2*Q[1,6,6,7]+Q[2,5,6,6]+Q[3,3,6,6]-2
*P(3,6)*lambda[5]+4*lambda[2], Q[3,4,5,5] = -Q[5,5,6,7]*lambda[7]*lambda[6]-8/
3*P(1,3)-2*P(7,7)*lambda[7]*lambda[6]*lambda[5]-2*P(2,2)-2*P(5,7)*lambda[7]*
lambda[4]-2*P(3,5)*lambda[7]*lambda[6]+28/3*P(1,7)*lambda[6]+2/3*P(2,5)*lambda
[7]^2-2*P(7,7)*lambda[2]-P(2,3)*lambda[7]-28/3*P(1,7)*lambda[7]^2-2/3*P(3,3)*
lambda[6]-32/3*P(2,7)*lambda[7]^3+2/3*Q[4,7,7,7]*lambda[4]+4/3*Q[3,4,7,7]*
lambda[7]^2+8/3*Q[3,5,6,7]*lambda[7]^2+2/3*Q[4,5,5,5]*lambda[7]-1/3*Q[4,7,7,7]
*lambda[7]*lambda[5]-1/3*Q[4,7,7,7]*lambda[7]^2*lambda[6]+2*P(3,5)*lambda[5]-2
*Q[3,3,6,7]*lambda[7]+Q[5,5,6,7]*lambda[5]+8/3*P(3,3)*lambda[7]^2+2*P(3,7)*
lambda[6]^2+3*P(5,7)*lambda[7]*lambda[6]^2-4*P(3,7)*lambda[7]^2*lambda[6]+32/3
*P(2,7)*lambda[7]*lambda[6]-3*P(5,7)*lambda[6]*lambda[5]-8/3*Q[1,5,6,7]-4/3*Q[
1,4,7,7]+2*Q[2,3,6,7]+2*P(7,7)*lambda[5]^2+2*P(5,5)*lambda[4]+4/3*P(2,5)*
lambda[6]-6*P(2,7)*lambda[5]-1/3*Q[3,4,7,7]*lambda[6]-2/3*Q[3,5,6,7]*lambda[6]
, Q[3,3,5,5] = 1/3*Q[5,5,5,7]*lambda[5]+4/9*Q[6,6,6,7]*lambda[7]^3*lambda[6]-4
/9*Q[6,6,6,7]*lambda[7]^2*lambda[5]+1/3*Q[5,5,7,7]*lambda[7]^2*lambda[6]-20/27
*Q[4,6,6,7]*lambda[7]^2*lambda[6]-14/27*Q[5,5,5,7]*lambda[7]*lambda[6]-40/27*Q
[4,4,6,7]*lambda[7]*lambda[6]-19/27*Q[6,6,6,7]*lambda[7]*lambda[6]^2+2*Q[6,6,6
,7]*lambda[7]*lambda[4]+95/54*Q[4,5,6,6]*lambda[7]*lambda[6]+19/27*Q[6,6,6,7]*
lambda[6]*lambda[5]+5/3*Q[4,6,6,7]*lambda[7]*lambda[5]+56/27*P(6,6)*lambda[6]*
lambda[4]+2*P(6,6)*lambda[7]*lambda[6]*lambda[5]+12*P(6,6)*lambda[2]+20*P(4,6)
*lambda[3]+5/9*P(6,6)*lambda[6]^3-20/27*P(4,4)*lambda[6]^2-16/3*Q[1,3,7,7]+8*Q
[1,4,6,6]-2*Q[2,3,5,7]-22/3*Q[1,5,5,7]-Q[2,5,5,5]+16/3*P(4,4)*lambda[4]-2*P(6,
6)*lambda[5]^2-22/9*P(4,6)*lambda[7]*lambda[6]^2+17/9*P(4,4)*lambda[7]^2*
lambda[6]-2/3*P(4,6)*lambda[7]^3*lambda[6]-2/3*P(4,4)*lambda[7]*lambda[5]-20/9
*P(4,6)*lambda[7]^2*lambda[5]+4*P(6,6)*lambda[7]*lambda[3]-32/9*P(6,6)*lambda[
7]^2*lambda[4]-2/3*P(6,6)*lambda[7]^2*lambda[6]^2+80/27*P(4,6)*lambda[6]*
lambda[5]+1/3*Q[4,4,4,7]*lambda[7]^2+5/54*Q[5,5,5,5]*lambda[6]+3*Q[2,5,5,7]*
lambda[7]+16/9*Q[4,4,4,7]*lambda[6]-41/27*Q[4,4,5,6]*lambda[6]-1/9*Q[5,5,5,5]*
lambda[7]^2+10/9*Q[3,4,6,6]*lambda[7]^2-5/18*Q[5,5,7,7]*lambda[6]^2-58/27*Q[3,
4,6,6]*lambda[6]-2/3*Q[3,5,5,7]*lambda[7]^2+Q[2,3,7,7]*lambda[7]+5/9*Q[3,5,5,7
]*lambda[6]-2*Q[6,6,6,7]*lambda[3]+Q[5,5,7,7]*lambda[4]-4/3*Q[4,6,6,7]*lambda[
4]-Q[4,5,6,6]*lambda[5]-3/2*Q[4,4,4,5]*lambda[7]-2/9*Q[4,4,6,7]*lambda[7]^3-7/
2*Q[2,4,6,6]*lambda[7]+8/9*Q[4,4,5,6]*lambda[7]^2+2/9*Q[5,5,5,7]*lambda[7]^3-1
/9*Q[4,5,6,6]*lambda[7]^3+2/3*Q[3,5,5,5]*lambda[7]+2/9*Q[4,6,6,7]*lambda[7]^4+
5/27*Q[4,6,6,7]*lambda[6]^2, Q[4,4,4,4] = -4*Q[1,4,7,7]+24*P(1,7)*lambda[6]+4*
P(1,3)-3*P(2,2)-8*Q[1,5,6,7], Q[3,4,4,4] = 13/36*Q[6,6,6,7]*lambda[7]^3*lambda
[6]-13/36*Q[6,6,6,7]*lambda[7]^2*lambda[5]+13/48*Q[5,5,7,7]*lambda[7]^2*lambda
[6]-23/64*Q[4,6,6,7]*lambda[7]^2*lambda[6]-103/576*Q[5,5,5,7]*lambda[7]*lambda
[6]+821/288*Q[4,4,6,7]*lambda[7]*lambda[6]-215/576*Q[6,6,6,7]*lambda[7]*lambda
[6]^2-1/16*Q[6,6,6,7]*lambda[7]*lambda[4]-737/288*Q[4,5,6,6]*lambda[7]*lambda[
6]+7/18*Q[6,6,6,7]*lambda[6]*lambda[5]-1/16*Q[4,6,6,7]*lambda[7]*lambda[5]-74/
9*P(6,6)*lambda[6]*lambda[4]-3/32*P(6,6)*lambda[7]*lambda[6]*lambda[5]-15/2*P(
6,6)*lambda[2]-15/2*P(4,6)*lambda[3]+7/12*P(6,6)*lambda[6]^3-7/9*P(4,4)*lambda
[6]^2+3/2*Q[2,2,7,7]+5*Q[1,3,7,7]-9*Q[1,4,6,6]+3*Q[2,3,5,7]+5*Q[1,5,5,7]+1/2*Q
[2,5,5,5]+6*P(4,4)*lambda[4]+203/24*P(4,6)*lambda[7]*lambda[6]^2-137/72*P(4,4)
*lambda[7]^2*lambda[6]-13/24*P(4,6)*lambda[7]^3*lambda[6]+33/16*P(4,4)*lambda[
7]*lambda[5]+265/36*P(4,6)*lambda[7]^2*lambda[5]+3/16*P(6,6)*lambda[7]*lambda[
3]+113/18*P(6,6)*lambda[7]^2*lambda[4]-13/24*P(6,6)*lambda[7]^2*lambda[6]^2-\
277/18*P(4,6)*lambda[6]*lambda[5]+3/8*P(4,6)*lambda[7]*lambda[4]-29/96*Q[4,4,4
,7]*lambda[7]^2+7/72*Q[5,5,5,5]*lambda[6]-87/32*Q[2,5,5,7]*lambda[7]-4/3*Q[4,4
,4,7]*lambda[6]+37/18*Q[4,4,5,6]*lambda[6]-13/144*Q[5,5,5,5]*lambda[7]^2-565/
288*Q[3,4,6,6]*lambda[7]^2-7/24*Q[5,5,7,7]*lambda[6]^2+53/18*Q[3,4,6,6]*lambda
[6]-13/24*Q[3,5,5,7]*lambda[7]^2-21/8*Q[2,3,7,7]*lambda[7]+7/12*Q[3,5,5,7]*
lambda[6]-2*Q[4,4,6,7]*lambda[5]+2*Q[4,5,6,6]*lambda[5]+41/32*Q[4,4,4,5]*
lambda[7]-13/72*Q[4,4,6,7]*lambda[7]^3+81/32*Q[2,4,6,6]*lambda[7]-113/72*Q[4,4
,5,6]*lambda[7]^2+13/72*Q[5,5,5,7]*lambda[7]^3-13/144*Q[4,5,6,6]*lambda[7]^3-1
/32*Q[3,5,5,5]*lambda[7]+13/72*Q[4,6,6,7]*lambda[7]^4+7/36*Q[4,6,6,7]*lambda[6
]^2];