C30 := (3/160*lambda[7]^3+1/16*lambda[7]*lambda[6]-1/20*lambda[5])*v[7]^5*v[6]
*v[5]^4*v[3]+(1/2*lambda[7]*lambda[6]+1/2*lambda[5])*v[7]*v[6]^2*v[5]^3*v[1]+(
3/1120*lambda[7]*lambda[6]+1/210*lambda[5])*v[7]^4*v[6]^7*v[4]*v[3]+(-3/4480*
lambda[7]*lambda[6]+1/4480*lambda[5])*v[7]^9*v[6]^2*v[3]*v[2]+(9/896896000*
lambda[7]^3-279/7175168000*lambda[7]*lambda[6]-1/20500480*lambda[5])*v[7]^16*v
[6]*v[4]*v[3]+(9/12800*lambda[7]^3+3/1400*lambda[7]*lambda[6]+11/67200*lambda[
5])*v[7]^5*v[6]^8*v[5]*v[4]+(-137/538137600*lambda[7]^3-23/96096000*lambda[7]*
lambda[6]+9/34496000*lambda[5])*v[7]^15*v[6]*v[5]^2*v[4]+(1/80*lambda[7]^3-1/
20*lambda[5])*v[7]*v[6]^6*v[5]^3*v[4]-1/4*lambda[5]*v[7]^2*v[6]^2*v[3]^2*v[2]+
(-9/70400*lambda[7]^3+71/61600*lambda[7]*lambda[6]+1/7700*lambda[5])*v[6]^11*v
[5]^2+(557/172204032000*lambda[7]^3+1/1076275200*lambda[7]*lambda[6])*v[7]^18*
v[5]^3+lambda[5]*v[6]*v[3]^4+(3/320*lambda[7]^3+1/20*lambda[7]*lambda[6]-1/80*
lambda[5])*v[7]^5*v[6]^4*v[5]^3*v[4]+(-27/25625600*lambda[7]^3+131/12812800*
lambda[7]*lambda[6]+1/1601600*lambda[5])*v[7]^13*v[6]*v[5]^2*v[3]-3/8*lambda[7
]*lambda[6]*v[7]^3*v[6]^4*v[5]^3*v[3]+(1/32*lambda[7]*lambda[6]-1/24*lambda[5]
)*v[7]^4*v[6]^4*v[5]*v[3]^2-7/80*lambda[5]*v[7]^3*v[6]^5*v[4]^2*v[3]+(-1/480*
lambda[7]^3-1/96*lambda[7]*lambda[6]-1/96*lambda[5])*v[7]^6*v[6]^4*v[5]*v[4]*v
[3]+(3/4*lambda[7]*lambda[6]-lambda[5])*v[7]^2*v[6]^3*v[5]^2*v[3]^2+(-lambda[7
]*lambda[6]-lambda[5])*v[7]*v[6]*v[5]^3*v[4]*v[2]+(31/2044922880000*lambda[7]^
3-199/3271876608000*lambda[7]*lambda[6]+3/21812510720*lambda[5])*v[7]^20*v[2]+
(5/8*lambda[7]*lambda[6]+1/4*lambda[5])*v[7]^2*v[6]*v[5]^4*v[4]^2-1/12*lambda[
5]*v[7]^3*v[6]^3*v[5]^2*v[1]+(-1/40*lambda[7]*lambda[6]-1/40*lambda[5])*v[7]*v
[6]^6*v[5]*v[1]+(1/123200*lambda[7]^3-1/123200*lambda[7]*lambda[6]+1/19712*
lambda[5])*v[7]^11*v[6]*v[4]^2*v[3]+(-11/16800*lambda[7]^3-47/33600*lambda[7]*
lambda[6]+3/1400*lambda[5])*v[7]^7*v[6]^6*v[5]*v[3]+2*lambda[5]*v[7]*v[6]*v[5]
^2*v[4]*v[3]^2+(1/3840*lambda[7]^3+1/840*lambda[7]*lambda[6]-1/2240*lambda[5])
*v[7]^9*v[6]^2*v[5]^3*v[4]+1/2*lambda[5]*v[7]^2*v[6]^2*v[5]*v[3]*v[1]+(-3/20*
lambda[7]*lambda[6]-3/10*lambda[5])*v[6]^5*v[5]^2*v[4]*v[3]+(-3/40*lambda[7]*
lambda[6]+3/40*lambda[5])*v[7]^5*v[5]^2*v[3]*v[2]+(1/320*lambda[7]^3-11/280*
lambda[7]*lambda[6]-1/70*lambda[5])*v[6]^7*v[5]^4+(-59/537600*lambda[7]^3-1/
33600*lambda[7]*lambda[6])*v[7]^10*v[5]^5+lambda[5]*v[6]*v[5]^2*v[3]*v[1]+1/4*
lambda[5]*v[7]^3*v[6]^2*v[5]^2*v[4]*v[2]+(3/32*lambda[7]*lambda[6]-1/48*lambda
[5])*v[7]^4*v[6]^4*v[5]^2*v[2]+(3/280*lambda[7]*lambda[6]-1/70*lambda[5])*v[7]
^2*v[6]^7*v[5]*v[2]+(9/11200*lambda[7]^3+3/2800*lambda[7]*lambda[6]+37/16800*
lambda[5])*v[7]^7*v[6]^5*v[5]^2*v[4]+(-1/2*lambda[7]*lambda[6]-lambda[5])*v[6]
*v[5]^4*v[4]*v[3]+(-1/16*lambda[7]*lambda[6]+1/8*lambda[5])*v[7]^4*v[6]^2*v[5]
^3*v[4]^2-1/224*lambda[5]*v[7]^8*v[4]*v[3]*v[2]-1/2*lambda[5]*v[7]^3*v[6]^2*v[
5]*v[4]*v[3]^2+1/4*lambda[5]*v[7]^4*v[6]^2*v[4]*v[3]*v[2]+(1/3360*lambda[7]^3+
1/672*lambda[7]*lambda[6]-1/1344*lambda[5])*v[7]^7*v[6]^4*v[4]*v[2]+(-26779/
1308750643200000*lambda[7]^3-1459/163593830400000*lambda[7]*lambda[6]+51/
13632819200000*lambda[5])*v[7]^20*v[6]^5+(123/2443001200640000*lambda[7]^3+1/
61075030016000*lambda[7]*lambda[6]-1/229031362560000*lambda[5])*v[7]^24*v[6]^3
+(-1/560*lambda[7]*lambda[6]-1/560*lambda[5])*v[7]*v[6]^7*v[4]^3-1/4*lambda[7]
*lambda[6]*v[7]^3*v[5]^5*v[3]+(-1/82790400*lambda[7]^3+169/3311616000*lambda[7
]*lambda[6]-1/22077440*lambda[5])*v[7]^16*v[6]^2*v[2]+(-9/2240*lambda[7]*
lambda[6]-3/224*lambda[5])*v[6]^8*v[5]*v[4]^2+1/1792*lambda[5]*v[7]^8*v[6]*v[4
]^4-1/20*lambda[5]*v[6]^5*v[3]*v[1]+1/4*lambda[5]*v[7]^3*v[5]^3*v[4]^3+(289/
48217128960000*lambda[7]^3+1/150678528000*lambda[7]*lambda[6])*v[7]^22*v[6]^2*
v[5]+(-59/52985856000*lambda[7]^3-97/43051008000*lambda[7]*lambda[6]-1/
2690688000*lambda[5])*v[7]^18*v[6]^4*v[5]+(59/473088000*lambda[7]^3+359/
1345344000*lambda[7]*lambda[6])*v[7]^14*v[6]^6*v[5]+(3/40*lambda[7]*lambda[6]+
1/20*lambda[5])*v[6]^6*v[5]^2*v[2]+(191/23654400*lambda[7]^3-61/2956800*lambda
[7]*lambda[6]-1/246400*lambda[5])*v[7]^12*v[6]*v[5]^4+(-169/107520*lambda[7]^3
-11/2688*lambda[7]*lambda[6]-1/3360*lambda[5])*v[7]^8*v[6]^3*v[5]^4+(7/1280*
lambda[7]^3-9/160*lambda[7]*lambda[6]-1/120*lambda[5])*v[7]^4*v[6]^5*v[5]^4+(-\
19/1920*lambda[7]^3-1/60*lambda[7]*lambda[6])*v[7]^6*v[6]^2*v[5]^5+(-3/64*
lambda[7]^3+1/4*lambda[7]*lambda[6])*v[7]^2*v[6]^4*v[5]^5+(1/246400*lambda[7]^
3-1/140800*lambda[7]*lambda[6]-9/492800*lambda[5])*v[7]^12*v[5]^2*v[2]+(-19/
768000*lambda[7]^3-1/6000*lambda[7]*lambda[6])*v[7]^6*v[6]^10*v[5]+(-3/281600*
lambda[7]^3+13/24640*lambda[7]*lambda[6]+1/7700*lambda[5])*v[7]^2*v[6]^12*v[5]
+(15683/65437532160000*lambda[7]^3+317/1168527360000*lambda[7]*lambda[6]+3/
340820480000*lambda[5])*v[7]^20*v[6]*v[5]^2+(13/26880*lambda[7]^3+13/13440*
lambda[7]*lambda[6]-1/1680*lambda[5])*v[7]^9*v[6]^3*v[5]^2*v[3]+(1/4*lambda[7]
*lambda[6]+1/4*lambda[5])*v[7]*v[6]^3*v[5]^2*v[4]^3+(-1/840*lambda[7]^3-1/168*
lambda[7]*lambda[6]-1/560*lambda[5])*v[7]^7*v[5]^2*v[4]*v[2]+(9/140*lambda[7]*
lambda[6]+1/168*lambda[5])*v[7]^3*v[6]^7*v[5]^2*v[4]-1/30*lambda[5]*v[7]^5*v[6
]^3*v[4]*v[3]^2+(-859/86102016000*lambda[7]^3-1/67267200*lambda[7]*lambda[6]-3
/652288000*lambda[5])*v[7]^17*v[6]^2*v[5]*v[4]+(-1/2*lambda[7]*lambda[6]-1/2*
lambda[5])*v[7]^2*v[6]^2*v[5]^3*v[4]*v[3]+(-3/2240*lambda[7]*lambda[6]+1/2240*
lambda[5])*v[7]^9*v[6]*v[5]*v[4]*v[2]+(-3/8*lambda[7]*lambda[6]-3/8*lambda[5])
*v[7]*v[6]^4*v[5]*v[4]^2*v[3]+(-113/61501440*lambda[7]^3-1/184800*lambda[7]*
lambda[6]+97/76876800*lambda[5])*v[7]^13*v[6]^4*v[5]*v[4]+(1/33600*lambda[7]^3
-11/67200*lambda[7]*lambda[6]+9/22400*lambda[5])*v[7]^10*v[6]^2*v[5]*v[4]*v[3]
+(-1/33600*lambda[7]^3-13/67200*lambda[7]*lambda[6]-1/16800*lambda[5])*v[7]^10
*v[6]^3*v[5]*v[2]+1/8*lambda[5]*v[7]^2*v[6]^2*v[5]*v[4]^4-1/2*lambda[7]*lambda
[6]*v[7]^2*v[6]^3*v[5]^3*v[2]+(1/168*lambda[7]^3+23/1680*lambda[7]*lambda[6])*
v[7]^7*v[6]^2*v[5]^3*v[3]+(-3/2*lambda[7]*lambda[6]-3/2*lambda[5])*v[7]*v[6]^2
*v[5]^2*v[3]*v[2]+1/2*lambda[5]*v[7]^2*v[6]*v[4]*v[3]^3+(-1/11200*lambda[7]*
lambda[6]+3/5600*lambda[5])*v[6]^10*v[2]+(1/4*lambda[7]*lambda[6]-1/2*lambda[5
])*v[5]^5*v[4]^2+(1/1680*lambda[7]^3+1/336*lambda[7]*lambda[6]+1/1120*lambda[5
])*v[7]^7*v[6]^2*v[5]*v[4]^3+(1/49280*lambda[7]^3+81/985600*lambda[7]*lambda[6
]+1/92400*lambda[5])*v[7]^11*v[6]^4*v[5]*v[3]+(-3/80*lambda[7]*lambda[6]+3/40*
lambda[5])*v[7]^2*v[6]^5*v[5]^2*v[4]^2+(1/40*lambda[7]*lambda[6]+1/40*lambda[5
])*v[7]*v[6]^6*v[3]*v[2]+(-13/739200*lambda[7]^3-1/14784*lambda[7]*lambda[6]-\
19/739200*lambda[5])*v[7]^11*v[6]^3*v[5]^2*v[4]-1/1120*lambda[5]*v[7]^9*v[6]*v
[4]*v[3]^2+(-9/80*lambda[7]*lambda[6]-7/80*lambda[5])*v[7]^5*v[6]^2*v[5]*v[4]^
2*v[3]+(-1/1120*lambda[7]^3-29/4480*lambda[7]*lambda[6]-1/320*lambda[5])*v[7]^
8*v[6]^2*v[5]^2*v[2]+(-41/378470400*lambda[7]^3-31/1655808000*lambda[7]*lambda
[6]+1/413952000*lambda[5])*v[7]^12*v[6]^9+(1/8*lambda[7]^3+1/2*lambda[5])*v[7]
*v[6]^2*v[5]^5*v[4]+(-23/18923520*lambda[7]^3-431/413952000*lambda[7]*lambda[6
]+41/103488000*lambda[5])*v[7]^8*v[6]^11+(7/1126400*lambda[7]^3+1/985600*
lambda[7]*lambda[6]-1/739200*lambda[5])*v[7]^4*v[6]^13+(-1/22685011148800000*
lambda[7]^3-3/9924692377600000*lambda[7]*lambda[6]+1/620293273600000*lambda[5]
)*v[7]^26*v[5]-lambda[5]*v[6]*v[5]*v[3]^2*v[2]+1/6*lambda[5]*v[7]^3*v[6]^3*v[5
]*v[3]*v[2]+(1/2*lambda[7]*lambda[6]+1/12*lambda[5])*v[7]^3*v[6]^3*v[5]^4*v[4]
+(-39/2240*lambda[7]*lambda[6]+1/420*lambda[5])*v[7]^3*v[6]^8*v[5]*v[3]+(-21/
1600*lambda[7]^3-39/800*lambda[7]*lambda[6]-1/60*lambda[5])*v[7]^5*v[6]^5*v[5]
^2*v[3]+(1/2*lambda[7]*lambda[6]+1/2*lambda[5])*v[7]*v[5]^3*v[4]^2*v[3]+(-1/
420*lambda[7]^3-1/84*lambda[7]*lambda[6]-1/280*lambda[5])*v[7]^7*v[6]*v[5]*v[3
]*v[2]+(3/4480*lambda[7]*lambda[6]-1/4480*lambda[5])*v[7]^9*v[5]*v[4]^2*v[3]+(
1/8153600*lambda[7]^3-1/8153600*lambda[7]*lambda[6]+3/2038400*lambda[5])*v[7]^
14*v[6]*v[5]*v[2]+lambda[5]*v[7]*v[4]*v[3]^2*v[2]+(109/43008000*lambda[7]^3-41
/3763200*lambda[7]*lambda[6]-1/1176000*lambda[5])*v[7]^10*v[6]^8*v[5]+(3/80*
lambda[7]*lambda[6]-3/80*lambda[5])*v[7]^5*v[6]*v[5]^2*v[4]^3+(-1/123200*
lambda[7]^3+1/123200*lambda[7]*lambda[6]-1/19712*lambda[5])*v[7]^11*v[6]^2*v[4
]*v[2]+1/2*lambda[5]*v[6]^4*v[4]*v[3]*v[2]+(-1/40*lambda[7]*lambda[6]+1/8*
lambda[5])*v[7]^2*v[6]^6*v[5]*v[4]*v[3]+(-1/80*lambda[7]^3-3/280*lambda[7]*
lambda[6]-3/35*lambda[5])*v[7]*v[6]^7*v[5]^2*v[3]-3/16*lambda[5]*v[7]^4*v[6]*v
[4]^2*v[3]^2-1/48*lambda[5]*v[7]^3*v[6]^4*v[5]*v[4]^3+(281/172204032000*lambda
[7]^3+37/1956864000*lambda[7]*lambda[6]+29/2690688000*lambda[5])*v[7]^16*v[6]^
3*v[5]^2+(17/215040*lambda[7]^3+481/940800*lambda[7]*lambda[6]+1/23520*lambda[
5])*v[7]^8*v[6]^7*v[5]^2+(-3/5120*lambda[7]^3-1/896*lambda[7]*lambda[6]-1/1680
*lambda[5])*v[7]^4*v[6]^9*v[5]^2+(41/55193600*lambda[7]^3+103/44844800*lambda[
7]*lambda[6])*v[7]^14*v[6]^2*v[5]^3-1/40*lambda[5]*v[7]^6*v[5]*v[2]^2-lambda[5
]*v[6]*v[5]^2*v[2]^2+(19/1345344000*lambda[7]^3-17/269068800*lambda[7]*lambda[
6]+1/7175168*lambda[5])*v[7]^15*v[6]*v[1]+(1/369600*lambda[7]^3-1/369600*
lambda[7]*lambda[6]+1/59136*lambda[5])*v[7]^11*v[6]^3*v[1]+(-1/16800*lambda[7]
^3-1/3360*lambda[7]*lambda[6]+1/6720*lambda[5])*v[7]^7*v[6]^5*v[1]-1/240*
lambda[5]*v[7]^3*v[6]^7*v[1]+(-1/2402400*lambda[7]^3+7/5491200*lambda[7]*
lambda[6]-3/2562560*lambda[5])*v[7]^13*v[5]*v[1]+(73/78848000*lambda[7]^3+61/
9856000*lambda[7]*lambda[6]-1/3696000*lambda[5])*v[7]^12*v[6]^5*v[5]^2-1/16*
lambda[7]^3*v[7]^2*v[5]^7+(-13/215040*lambda[7]^3-1/4200*lambda[7]*lambda[6])*
v[7]^10*v[6]^4*v[5]^3+(13/19200*lambda[7]^3+1/240*lambda[7]*lambda[6])*v[7]^6*
v[6]^6*v[5]^3+(-1/985600*lambda[7]^3+1/563200*lambda[7]*lambda[6]+1/1182720*
lambda[5])*v[7]^12*v[6]^4*v[2]+(-313/45806272512000*lambda[7]^3+4309/
114515681280000*lambda[7]*lambda[6]+1/54531276800*lambda[5])*v[7]^21*v[6]*v[3]
+(-1/64*lambda[7]^3-1/8*lambda[7]*lambda[6])*v[7]^4*v[6]*v[5]^6+(-1/
12393472000*lambda[7]^3-37/136328192000*lambda[7]*lambda[6]-1/8988672000*
lambda[5])*v[7]^19*v[6]^3*v[4]+(-41/229031362560000*lambda[7]^3+29/
57257840640000*lambda[7]*lambda[6]+3/7634378752000*lambda[5])*v[7]^23*v[6]*v[4
]+(-73/1537536000*lambda[7]^3+23/1921920000*lambda[7]*lambda[6]+31/3843840000*
lambda[5])*v[7]^15*v[6]^5*v[4]+(-13/14784000*lambda[7]^3-109/51744000*lambda[7
]*lambda[6]-1/103488000*lambda[5])*v[7]^11*v[6]^7*v[4]+(-1/35200*lambda[7]^3+1
/123200*lambda[7]*lambda[6]+51/30800*lambda[5])*v[7]*v[6]^11*v[3]+(1/89600*
lambda[7]^3+1/156800*lambda[7]*lambda[6]-29/940800*lambda[5])*v[7]^7*v[6]^9*v[
4]+(1/5600*lambda[7]*lambda[6]-1/33600*lambda[5])*v[7]^3*v[6]^11*v[4]+(-1907/
229031362560000*lambda[7]^3+83/3578615040000*lambda[7]*lambda[6]+369/
19085946880000*lambda[5])*v[7]^21*v[5]*v[4]+(-79/269068800*lambda[7]^3+521/
538137600*lambda[7]*lambda[6]+19/44844800*lambda[5])*v[7]^14*v[6]*v[3]^2+(-1/
33600*lambda[7]^3+1/5376*lambda[7]*lambda[6]+1/4800*lambda[5])*v[7]^10*v[6]^3*
v[3]^2+(1/1680*lambda[7]^3+67/13440*lambda[7]*lambda[6]+3/1120*lambda[5])*v[7]
^8*v[6]^2*v[5]*v[3]^2+(1/1408000*lambda[7]^3-3/1232000*lambda[7]*lambda[6]+1/
308000*lambda[5])*v[6]^15+(1/420*lambda[7]^3-1/105*lambda[7]*lambda[6]-1/280*
lambda[5])*v[7]^7*v[5]*v[4]*v[3]^2+(3/40*lambda[7]*lambda[6]+7/120*lambda[5])*
v[7]^5*v[6]^3*v[5]*v[4]*v[2]+(-1/33600*lambda[7]^3-47/134400*lambda[7]*lambda[
6]-13/67200*lambda[5])*v[7]^8*v[6]^5*v[4]*v[3]+(-1/8*lambda[7]*lambda[6]+1/6*
lambda[5])*v[7]^4*v[6]^3*v[5]^2*v[4]*v[3]+(-3/320*lambda[7]*lambda[6]+1/160*
lambda[5])*v[7]^4*v[6]^6*v[5]*v[4]^2+(lambda[7]*lambda[6]+3/2*lambda[5])*v[7]*
v[6]^2*v[5]*v[3]^3+(-1/120*lambda[7]^3+1/120*lambda[7]*lambda[6]+1/40*lambda[5
])*v[7]^6*v[5]^3*v[4]*v[3]+(1/1120*lambda[7]*lambda[6]-3/560*lambda[5])*v[6]^9
*v[4]*v[3]+(1/800*lambda[7]^3-1/320*lambda[7]*lambda[6]-11/1200*lambda[5])*v[7
]^6*v[6]^5*v[3]^2+(-31/102246144000*lambda[7]^3+191/116852736000*lambda[7]*
lambda[6]+3/17041024000*lambda[5])*v[7]^19*v[5]*v[3]+(-1/4480*lambda[7]*lambda
[6]+3/2240*lambda[5])*v[7]^2*v[6]^9*v[4]^2+(1/40*lambda[7]*lambda[6]-1/40*
lambda[5])*v[7]^5*v[5]^3*v[1]+(1/7321600*lambda[7]^3-181/358758400*lambda[7]*
lambda[6]-13/41395200*lambda[5])*v[7]^14*v[6]^3*v[4]^2+(1/560*lambda[7]*lambda
[6]-1/28*lambda[5])*v[7]^2*v[6]^7*v[3]^2+(-1/369600*lambda[7]^3-1/422400*
lambda[7]*lambda[6]-1/246400*lambda[5])*v[7]^12*v[5]*v[3]^2+(1/537600*lambda[7
]^3-29/1881600*lambda[7]*lambda[6]-23/470400*lambda[5])*v[7]^9*v[6]^7*v[3]+(1/
192000*lambda[7]^3-41/2688000*lambda[7]*lambda[6]-17/1344000*lambda[5])*v[7]^
10*v[6]^5*v[4]^2+(-1/12800*lambda[7]^3-9/44800*lambda[7]*lambda[6]-19/33600*
lambda[5])*v[7]^5*v[6]^9*v[3]-3/4*lambda[5]*v[6]^3*v[4]^2*v[3]^2+(-1/1680*
lambda[7]^3-1/336*lambda[7]*lambda[6]+1/672*lambda[5])*v[7]^7*v[6]^3*v[4]^2*v[
3]-1/2*lambda[5]*v[7]^2*v[6]^2*v[5]*v[2]^2+(3/20*lambda[7]*lambda[6]+3/20*
lambda[5])*v[7]*v[6]^5*v[5]*v[4]*v[2]-1/24*lambda[5]*v[7]^4*v[6]^3*v[3]*v[1]+(
-1/13440*lambda[7]^3+1/7680*lambda[7]*lambda[6]+1/5376*lambda[5])*v[7]^8*v[6]^
4*v[5]*v[4]^2+(1/800*lambda[7]^3+1/160*lambda[7]*lambda[6]+1/200*lambda[5])*v[
7]^6*v[6]^5*v[5]*v[2]+(1/120*lambda[7]^3+19/240*lambda[7]*lambda[6]+1/20*
lambda[5])*v[7]^6*v[6]*v[5]^2*v[3]^2+(3/4480*lambda[7]*lambda[6]-1/4480*lambda
[5])*v[7]^9*v[6]^2*v[5]*v[1]+(1/67200*lambda[7]^3+61/134400*lambda[7]*lambda[6
]+1/4480*lambda[5])*v[7]^10*v[6]*v[5]^2*v[4]^2+(1/1120*lambda[7]^3+1/896*
lambda[7]*lambda[6]+1/2240*lambda[5])*v[7]^8*v[5]^3*v[4]^2-1/4*lambda[5]*v[7]^
3*v[6]*v[5]^2*v[4]^2*v[3]-2*lambda[5]*v[5]^2*v[4]*v[3]*v[2]+(-29/
1905540936499200000*lambda[7]^3+73/1667348319436800000*lambda[7]*lambda[6]-1/
27789138657280000*lambda[5])*v[7]^28*v[6]+1/448*lambda[5]*v[7]^8*v[6]*v[3]*v[1
]+(3/160*lambda[7]*lambda[6]+7/480*lambda[5])*v[7]^5*v[6]^4*v[3]*v[2]+1/8*
lambda[7]*lambda[6]*v[7]^4*v[5]^3*v[3]^2+(1/840*lambda[7]^3+1/420*lambda[7]*
lambda[6]-1/560*lambda[5])*v[7]^7*v[6]*v[3]^3+lambda[5]*v[5]*v[4]*v[3]^3+5/12*
lambda[5]*v[7]^3*v[6]^3*v[3]^3+(1/20*lambda[7]*lambda[6]+1/40*lambda[5])*v[7]^
5*v[5]*v[3]^3+(-1/4804800*lambda[7]^3+7/10982400*lambda[7]*lambda[6]-3/5125120
*lambda[5])*v[7]^13*v[6]*v[4]^3+(-1/9600*lambda[7]^3+1/67200*lambda[7]*lambda[
6]+11/33600*lambda[5])*v[7]^6*v[6]^7*v[4]^2+(1/40*lambda[7]*lambda[6]+3/10*
lambda[5])*v[6]^6*v[5]*v[3]^2+(-1/61600*lambda[7]^3-27/246400*lambda[7]*lambda
[6])*v[7]^11*v[5]^3*v[3]+(1/8960*lambda[7]*lambda[6]-1/26880*lambda[5])*v[7]^9
*v[6]^3*v[4]^3+1/160*lambda[5]*v[7]^6*v[5]*v[4]^4+(251/1345344000*lambda[7]^3+
809/2690688000*lambda[7]*lambda[6]+3/10192000*lambda[5])*v[7]^15*v[6]^2*v[5]*v
[3]+(-3/1600*lambda[7]*lambda[6]-7/4800*lambda[5])*v[7]^5*v[6]^5*v[4]^3+(1/
2402400*lambda[7]^3-7/5491200*lambda[7]*lambda[6]+3/2562560*lambda[5])*v[7]^13
*v[3]*v[2]+(-1/16*lambda[7]*lambda[6]-1/8*lambda[5])*v[7]^4*v[5]^4*v[2]+(-3/4*
lambda[7]*lambda[6]+1/2*lambda[5])*v[6]^2*v[5]^4*v[2]+(-19/1345344000*lambda[7
]^3+17/269068800*lambda[7]*lambda[6]-1/7175168*lambda[5])*v[7]^15*v[4]*v[2]+(1
/67200*lambda[7]^3+29/268800*lambda[7]*lambda[6]+1/134400*lambda[5])*v[7]^8*v[
6]^6*v[2]+(-3/8960*lambda[7]*lambda[6]-1/13440*lambda[5])*v[7]^4*v[6]^8*v[2]+(
1/489216000*lambda[7]^3-523/43051008000*lambda[7]*lambda[6]-183/7175168000*
lambda[5])*v[7]^16*v[5]*v[4]^2-1/80*lambda[5]*v[7]^6*v[3]^2*v[2]+(-1/120*
lambda[7]^3-1/24*lambda[7]*lambda[6])*v[7]^6*v[6]*v[5]^3*v[2]+(877/1537536000*
lambda[7]^3+43/59136000*lambda[7]*lambda[6]+61/64064000*lambda[5])*v[7]^13*v[6
]^5*v[3]+3/2*lambda[7]*lambda[6]*v[6]^2*v[5]^3*v[3]^2+1/20*lambda[5]*v[6]^5*v[
2]^2+(1429/688816128000*lambda[7]^3+103/273960960000*lambda[7]*lambda[6]-23/
753392640000*lambda[5])*v[7]^16*v[6]^7+1/24*lambda[5]*v[7]^4*v[6]^3*v[2]^2+(1/
3200*lambda[7]^3+1/800*lambda[5])*v[7]*v[6]^10*v[5]*v[4]+(1/739200*lambda[7]^3
-13/2956800*lambda[7]*lambda[6]-1/49280*lambda[5])*v[7]^12*v[6]^3*v[4]*v[3]+(1
/492800*lambda[7]^3+1/394240*lambda[7]*lambda[6]-1/89600*lambda[5])*v[7]^12*v[
6]^2*v[5]*v[4]^2+(1/224*lambda[7]^3+1/280*lambda[7]*lambda[6]-1/560*lambda[5])
*v[7]^7*v[6]*v[5]^4*v[4]+(-1/16*lambda[7]^3+1/2*lambda[7]*lambda[6])*v[6]^3*v[
5]^6-1/80*lambda[5]*v[6]^5*v[4]^4+(-1/560*lambda[7]^3+1/320*lambda[7]*lambda[6
]+1/224*lambda[5])*v[7]^8*v[6]*v[5]^2*v[4]*v[3]+(101/269068800*lambda[7]^3-73/
53813760*lambda[7]*lambda[6]-27/89689600*lambda[5])*v[7]^14*v[5]*v[4]*v[3]+7/
240*lambda[5]*v[7]^3*v[6]^6*v[4]*v[2]+1/40*lambda[5]*v[7]^6*v[5]*v[3]*v[1]+(-1
/35840*lambda[7]^3-1/44800*lambda[5])*v[7]^9*v[6]^6*v[5]*v[4]+(-3/160*lambda[7
]*lambda[6]-7/480*lambda[5])*v[7]^5*v[6]^4*v[5]*v[1]+(-1/480*lambda[7]^3-1/96*
lambda[7]*lambda[6]-1/240*lambda[5])*v[7]^6*v[6]^3*v[5]^2*v[4]^2-1/10*lambda[5
]*v[7]*v[6]^5*v[4]*v[3]^2-2*lambda[5]*v[7]^2*v[6]*v[5]*v[4]*v[3]*v[2]+(1/840*
lambda[7]^3+1/168*lambda[7]*lambda[6]+1/560*lambda[5])*v[7]^7*v[6]*v[5]^2*v[1]
+(1/160*lambda[7]^3-1/40*lambda[5])*v[7]^5*v[5]^5*v[4]-1/448*lambda[5]*v[7]^8*
v[6]*v[2]^2+(-1/369600*lambda[7]^3+1/369600*lambda[7]*lambda[6]+3/70400*lambda
[5])*v[7]^11*v[5]*v[4]^3+(1/4305100800*lambda[7]^3-83/86102016000*lambda[7]*
lambda[6]-1/2870067200*lambda[5])*v[7]^18*v[6]*v[4]^2+(-97/76876800*lambda[7]^
3-1/960960*lambda[7]*lambda[6]-1/582400*lambda[5])*v[7]^13*v[5]^3*v[4]+(-1/8*
lambda[7]*lambda[6]-1/4*lambda[5])*v[6]^4*v[5]^3*v[4]^2+1/4*lambda[5]*v[6]*v[5
]^2*v[4]^4+(1/1280*lambda[7]^3-1/40*lambda[7]*lambda[6])*v[7]^2*v[6]^8*v[5]^3-\
1/96*lambda[5]*v[7]^4*v[6]^3*v[4]^4+(211/28700672000*lambda[7]^3-173/
14350336000*lambda[7]*lambda[6]-17/2152550400*lambda[5])*v[7]^17*v[6]^3*v[3]+3
/4*lambda[5]*v[7]^2*v[5]*v[4]^2*v[3]^2+(1/8*lambda[7]^3+1/4*lambda[7]*lambda[6
]+lambda[5])*v[7]*v[6]^3*v[5]^4*v[3];