C31 := (1/64*lambda[6]^3*lambda[5]+1/48*lambda[6]*lambda[5]^2+17/64*lambda[6]^
2*lambda[4]+7/48*lambda[5]*lambda[4]-1/64*lambda[6]*lambda[3]-7/64*lambda[2])*
v[6]^4*v[5]^4*v[4]*v[3]^3+(-3/4*lambda[6]*lambda[3]-3/4*lambda[2])*v[6]*v[5]^3
*v[4]^2*v[2]^2+(-1/280*lambda[6]^3*lambda[5]+1/70*lambda[6]*lambda[5]^2-3/280*
lambda[6]^2*lambda[4]+1/70*lambda[5]*lambda[4]-3/35*lambda[6]*lambda[3]-3/56*
lambda[2])*v[6]*v[5]^7*v[3]*v[1]+(1/12800*lambda[6]^5+103/134400*lambda[6]^3*
lambda[5]-1/6720*lambda[6]*lambda[5]^2+1/6400*lambda[6]^2*lambda[4]+1/11200*
lambda[5]*lambda[4]-91/76800*lambda[6]*lambda[3]-3/7168*lambda[2])*v[6]^5*v[5]
^9*v[4]^2+1/8*lambda[2]*v[6]^4*v[4]^2*v[2]*v[1]+(3/179200*lambda[6]^5+1/13440*
lambda[6]^3*lambda[5]-1/50400*lambda[6]*lambda[5]^2-3/6400*lambda[6]^2*lambda[
4]+1/100800*lambda[5]*lambda[4]+1/6400*lambda[6]*lambda[3]+17/107520*lambda[2]
)*v[6]^10*v[5]^4*v[3]*v[2]+1/4*lambda[5]*lambda[4]*v[6]^3*v[3]^4*v[2]+1/6400*
lambda[2]*v[6]^10*v[5]*v[4]^2*v[1]+(3/4*lambda[5]*lambda[4]+1/2*lambda[2])*v[6
]^2*v[4]*v[3]^5+(1/5913600*lambda[6]^3*lambda[5]+1/4435200*lambda[6]*lambda[5]
^2-1/844800*lambda[6]^2*lambda[4]-1/98560*lambda[5]*lambda[4]-17/5913600*
lambda[6]*lambda[3]+1/56320*lambda[2])*v[6]^12*v[4]*v[3]^3+(1/2*lambda[6]*
lambda[3]+1/2*lambda[2])*v[5]^3*v[4]^3*v[3]*v[2]+3/20*lambda[2]*v[6]*v[5]*v[4]
^5*v[2]+(1/60*lambda[5]*lambda[4]+3/80*lambda[6]*lambda[3]+3/80*lambda[2])*v[6
]^6*v[4]*v[3]*v[2]^2+lambda[2]*v[4]*v[2]^2*v[1]+(1/80*lambda[6]*lambda[3]+1/80
*lambda[2])*v[6]*v[5]^3*v[4]^6+(-3/1600*lambda[6]*lambda[3]-17/4800*lambda[2])
*v[6]^5*v[5]*v[4]^6+(-3/896000*lambda[6]^5+3/28000*lambda[6]^3*lambda[5]+31/
504000*lambda[6]*lambda[5]^2+197/1344000*lambda[6]^2*lambda[4]+13/806400*
lambda[5]*lambda[4]-31/1075200*lambda[6]*lambda[3]-1/30720*lambda[2])*v[6]^10*
v[5]^6*v[4]*v[3]+(1/2*lambda[6]*lambda[3]+1/2*lambda[2])*v[6]^3*v[5]*v[3]^3*v[
1]+(-1/4*lambda[6]*lambda[3]-1/4*lambda[2])*v[6]^3*v[5]^2*v[2]^3-1/32*lambda[2
]*v[6]^4*v[5]^4*v[2]*v[1]+(-9/328354630123520000*lambda[6]^5-71/
7243116840960000*lambda[6]^3*lambda[5]+4049/92349739722240000*lambda[6]*lambda
[5]^2-89/2512918087680000*lambda[6]^2*lambda[4]-9/418819681280000*lambda[5]*
lambda[4]+439/8041337880576000*lambda[6]*lambda[3]-1/18744377344000*lambda[2])
*v[6]^23*v[2]+(-27/160*lambda[6]^2*lambda[4]-3/40*lambda[5]*lambda[4]-3/40*
lambda[6]*lambda[3]-13/240*lambda[2])*v[6]^5*v[5]^2*v[4]^3*v[3]^2+(9/160*
lambda[6]^3*lambda[5]+1/40*lambda[6]*lambda[5]^2+1/160*lambda[6]^2*lambda[4]+7
/40*lambda[5]*lambda[4]+1/40*lambda[6]*lambda[3]+1/16*lambda[2])*v[6]^3*v[5]^5
*v[4]^2*v[3]^2+(-1/22400*lambda[6]^2*lambda[4]+1/8400*lambda[5]*lambda[4]+3/
22400*lambda[6]*lambda[3]+9/44800*lambda[2])*v[6]^10*v[4]^2*v[3]*v[2]+(-3/2240
*lambda[6]*lambda[3]-17/6720*lambda[2])*v[6]^7*v[4]^4*v[2]+(9/16*lambda[6]^2*
lambda[4]+1/2*lambda[6]*lambda[3]+1/8*lambda[2])*v[6]*v[5]^4*v[4]^3*v[3]^2+(-3
/560*lambda[6]^2*lambda[4]-1/420*lambda[5]*lambda[4]-1/80*lambda[2])*v[6]^7*v[
5]^2*v[4]*v[3]*v[1]+(1/22400*lambda[6]^5+1/4200*lambda[6]^3*lambda[5]-1/600*
lambda[6]*lambda[5]^2-29/4800*lambda[6]^2*lambda[4]+9/11200*lambda[5]*lambda[4
]+1/26880*lambda[6]*lambda[3]-5/1792*lambda[2])*v[6]^2*v[5]^10*v[4]*v[3]+(-3/
4480*lambda[6]^2*lambda[4]-1/3360*lambda[5]*lambda[4]-1/320*lambda[2])*v[6]^8*
v[5]*v[3]^2*v[1]+1/2*lambda[2]*v[6]^3*v[5]^2*v[3]*v[2]*v[1]-2*lambda[2]*v[6]*v
[5]*v[4]*v[3]*v[2]*v[1]-1/2*lambda[2]*v[6]^2*v[5]*v[2]^2*v[1]+(3/20*lambda[5]*
lambda[4]+9/80*lambda[6]*lambda[3]+9/80*lambda[2])*v[6]^2*v[5]^2*v[4]^5*v[3]+(
3/3942400*lambda[6]^5+1/492800*lambda[6]^3*lambda[5]+17/887040*lambda[6]*
lambda[5]^2+59/985600*lambda[6]^2*lambda[4]+23/4435200*lambda[5]*lambda[4]-1/
92400*lambda[6]*lambda[3]-17/1689600*lambda[2])*v[6]^12*v[5]^3*v[4]^2*v[3]+(-9
/28700672000*lambda[6]^5+3/3587584000*lambda[6]^3*lambda[5]+1/36608000*lambda[
6]*lambda[5]^2+579/7175168000*lambda[6]^2*lambda[4]+67/1793792000*lambda[5]*
lambda[4]+597/7175168000*lambda[6]*lambda[3]-1/117145600*lambda[2])*v[6]^16*v[
5]*v[4]^2*v[3]+(-3/8*lambda[6]^2*lambda[4]-3/8*lambda[6]*lambda[3]+3/16*lambda
[2])*v[6]^2*v[5]^4*v[4]^2*v[3]*v[2]+(3/19712000*lambda[6]*lambda[3]+1/19712000
*lambda[2])*v[6]^15*v[4]^2*v[2]-1/24*lambda[2]*v[6]^3*v[5]*v[4]^4*v[3]^2+(1/
280*lambda[6]*lambda[5]^2+9/560*lambda[6]^2*lambda[4]+3/280*lambda[5]*lambda[4
]+3/280*lambda[6]*lambda[3]+1/280*lambda[2])*v[6]^7*v[5]*v[4]*v[3]^2*v[2]+(1/
12812800*lambda[6]^3*lambda[5]-1/9609600*lambda[6]*lambda[5]^2+3/12812800*
lambda[6]^2*lambda[4]-1/9609600*lambda[5]*lambda[4]-1/145600*lambda[6]*lambda[
3]-1/166400*lambda[2])*v[6]^13*v[5]*v[3]*v[1]+1/160*lambda[2]*v[6]^6*v[5]^3*v[
4]^2*v[1]+(-3/320*lambda[6]^2*lambda[4]+1/160*lambda[5]*lambda[4]-3/640*lambda
[6]*lambda[3]-11/1920*lambda[2])*v[6]^6*v[5]^4*v[4]^3*v[3]+(51/4480*lambda[6]*
lambda[3]+17/4480*lambda[2])*v[6]^7*v[5]^4*v[4]^2*v[2]+(3/32*lambda[6]*lambda[
3]+1/32*lambda[2])*v[6]^3*v[5]^6*v[4]^2*v[2]+(1/2*lambda[5]*lambda[4]+1/2*
lambda[2])*v[6]^2*v[5]^2*v[4]*v[3]^2*v[1]+(11/80*lambda[6]^2*lambda[4]+3/40*
lambda[5]*lambda[4]+11/160*lambda[6]*lambda[3]+1/32*lambda[2])*v[6]^2*v[5]^6*v
[4]^3*v[3]-1/48*lambda[2]*v[6]^4*v[5]^2*v[4]^3*v[1]+(-1/1120*lambda[6]^3*
lambda[5]+1/280*lambda[6]*lambda[5]^2-3/1120*lambda[6]^2*lambda[4]+1/280*
lambda[5]*lambda[4]+3/448*lambda[6]*lambda[3]+1/448*lambda[2])*v[6]*v[5]^7*v[4
]^4+(9/4480*lambda[6]^5-3/560*lambda[6]^3*lambda[5]-3/280*lambda[6]*lambda[5]^
2-23/1120*lambda[6]^2*lambda[4]-1/140*lambda[5]*lambda[4]-1/1120*lambda[6]*
lambda[3]+9/896*lambda[2])*v[6]^2*v[5]^8*v[3]*v[2]+(1/16*lambda[6]*lambda[5]^2
+3/4*lambda[6]^2*lambda[4]+3/8*lambda[5]*lambda[4]+1/4*lambda[6]*lambda[3])*v[
6]^3*v[5]^2*v[4]*v[3]^4+lambda[2]*v[6]^2*v[3]^2*v[2]*v[1]-1/8*lambda[2]*v[6]^2
*v[4]^4*v[3]*v[2]+(-9/8960*lambda[6]^2*lambda[4]-1/2240*lambda[5]*lambda[4]-9/
8960*lambda[6]*lambda[3]-7/7680*lambda[2])*v[6]^8*v[5]*v[4]^4*v[3]+(-23/
3136000*lambda[6]^5-71/50176000*lambda[6]^3*lambda[5]-13/112896000*lambda[6]*
lambda[5]^2+1/3072000*lambda[6]^2*lambda[4]-37/112896000*lambda[5]*lambda[4]+
37/60211200*lambda[6]*lambda[3]+1/1720320*lambda[2])*v[6]^9*v[5]^11+(-1/44800*
lambda[6]^5-1/13440*lambda[6]^3*lambda[5]-251/403200*lambda[6]*lambda[5]^2-19/
134400*lambda[6]^2*lambda[4]-1/11520*lambda[5]*lambda[4]-13/89600*lambda[6]*
lambda[3]+1/7680*lambda[2])*v[6]^10*v[5]^3*v[3]^3+(3/1600*lambda[6]^5+1/100*
lambda[6]^3*lambda[5]-1/4800*lambda[6]*lambda[5]^2-1/4800*lambda[6]^2*lambda[4
]-7/4800*lambda[5]*lambda[4]+11/3200*lambda[6]*lambda[3]+1/640*lambda[2])*v[6]
^6*v[5]^5*v[3]^3+(3/32*lambda[6]^2*lambda[4]+1/32*lambda[6]*lambda[3]+7/192*
lambda[2])*v[6]^4*v[5]^3*v[4]^4*v[3]+(3/2240*lambda[6]^2*lambda[4]+1/1680*
lambda[5]*lambda[4]+9/2240*lambda[6]*lambda[3]-9/4480*lambda[2])*v[6]^8*v[5]*v
[3]*v[2]^2+(-1/492800*lambda[6]^3*lambda[5]+1/369600*lambda[6]*lambda[5]^2-3/
492800*lambda[6]^2*lambda[4]+1/369600*lambda[5]*lambda[4]+13/985600*lambda[6]*
lambda[3]+31/985600*lambda[2])*v[6]^12*v[5]*v[4]*v[3]*v[2]+(3/179379200*lambda
[6]^5-1/26906880*lambda[6]^3*lambda[5]-2459/1614412800*lambda[6]*lambda[5]^2-\
109/538137600*lambda[6]^2*lambda[4]-71/107627520*lambda[5]*lambda[4]+41/
1076275200*lambda[6]*lambda[3]+1/1464320*lambda[2])*v[6]^14*v[5]*v[3]^3+(-9/
11200*lambda[6]^5-3/1400*lambda[6]^3*lambda[5]-1/280*lambda[6]*lambda[5]^2+3/
350*lambda[6]^2*lambda[4]-1/350*lambda[5]*lambda[4]-19/2800*lambda[6]*lambda[3
]-1/448*lambda[2])*v[6]^5*v[5]^7*v[4]*v[2]+(-1851/205221643827200000*lambda[6]
^5+335267/15761022245928960000*lambda[6]^3*lambda[5]+16441/1074615153131520000
*lambda[6]*lambda[5]^2-1808227/78805111229644800000*lambda[6]^2*lambda[4]+
49201/8443404774604800000*lambda[5]*lambda[4]-8511/153168340582400000*lambda[6
]*lambda[3]-353/41773183795200000*lambda[2])*v[6]^25*v[5]^3+(9/243955712000*
lambda[6]^5-3/30494464000*lambda[6]^3*lambda[5]-1/311168000*lambda[6]*lambda[5
]^2+69/7623616000*lambda[6]^2*lambda[4]+3/1905904000*lambda[5]*lambda[4]+327/
8712704000*lambda[6]*lambda[3]+191/34850816000*lambda[2])*v[6]^17*v[5]*v[4]*v[
2]+lambda[2]*v[6]*v[4]*v[3]^2*v[2]^2+3/20*lambda[2]*v[6]*v[4]^5*v[3]^2-1/64*
lambda[2]*v[6]^4*v[5]^6*v[4]*v[1]+(3/16*lambda[6]^2*lambda[4]+1/8*lambda[5]*
lambda[4]+1/16*lambda[6]*lambda[3]+1/16*lambda[2])*v[6]^4*v[5]^2*v[3]^3*v[2]+(
3/560*lambda[6]^2*lambda[4]+1/420*lambda[5]*lambda[4]+9/560*lambda[6]*lambda[3
]+1/224*lambda[2])*v[6]^7*v[5]^2*v[4]*v[2]^2+(3/3587584000*lambda[6]^5+1/
448448000*lambda[6]^3*lambda[5]+17/807206400*lambda[6]*lambda[5]^2+193/
2690688000*lambda[6]^2*lambda[4]+47/1345344000*lambda[5]*lambda[4]-1/384384000
*lambda[6]*lambda[3]-1/73216000*lambda[2])*v[6]^15*v[5]^2*v[4]^3+(-1/80*lambda
[6]*lambda[5]^2-1/160*lambda[6]^2*lambda[4]-11/240*lambda[5]*lambda[4]-3/160*
lambda[6]*lambda[3]-1/32*lambda[2])*v[6]^6*v[5]*v[4]^2*v[3]^3+(1/246400*lambda
[6]^2*lambda[4]-1/92400*lambda[5]*lambda[4]-1/35200*lambda[2])*v[6]^11*v[4]*v[
3]*v[1]+(3/16*lambda[6]*lambda[3]+1/48*lambda[2])*v[6]^3*v[5]^2*v[4]^4*v[2]+(3
/8960*lambda[6]^2*lambda[4]-1/1120*lambda[5]*lambda[4]-1/1920*lambda[2])*v[6]^
9*v[4]^3*v[3]^2-1/1920*lambda[2]*v[6]^8*v[4]^3*v[1]+(3/89600*lambda[6]^5+1/
6720*lambda[6]^3*lambda[5]-1/25200*lambda[6]*lambda[5]^2+1/1400*lambda[6]^2*
lambda[4]+1/12600*lambda[5]*lambda[4]+3/4480*lambda[6]*lambda[3]+1/10752*
lambda[2])*v[6]^9*v[5]^5*v[4]*v[2]+1/8*lambda[2]*v[5]^4*v[4]^3*v[1]+(1/8*
lambda[6]^2*lambda[4]+1/8*lambda[2])*v[6]^3*v[5]^4*v[4]*v[3]*v[1]+(-1/40*
lambda[6]*lambda[3]+1/240*lambda[2])*v[6]^5*v[5]^3*v[4]^3*v[2]-1/6*lambda[2]*v
[6]^3*v[4]^3*v[3]*v[1]+(1/487911424000*lambda[6]^5-1/182966784000*lambda[6]^3*
lambda[5]-1/5601024000*lambda[6]*lambda[5]^2-173/365933568000*lambda[6]^2*
lambda[4]+1/326726400*lambda[5]*lambda[4]+37/73186713600*lambda[6]*lambda[3]+3
/1072332800*lambda[2])*v[6]^18*v[3]*v[2]+(-1/13440*lambda[6]^3*lambda[5]-1/
10080*lambda[6]*lambda[5]^2-1/4480*lambda[6]^2*lambda[4]-1/10080*lambda[5]*
lambda[4]-1/560*lambda[6]*lambda[3]-1/1920*lambda[2])*v[6]^9*v[5]^3*v[3]*v[1]+
7/4*lambda[5]*lambda[4]*v[6]*v[5]*v[4]^2*v[3]^4+(-27/179200*lambda[6]^5-3/4480
*lambda[6]^3*lambda[5]+1/5600*lambda[6]*lambda[5]^2+153/44800*lambda[6]^2*
lambda[4]+1/2800*lambda[5]*lambda[4]+81/44800*lambda[6]*lambda[3]+3/5120*
lambda[2])*v[6]^8*v[5]^5*v[4]^2*v[3]+(9/80*lambda[6]*lambda[3]+1/80*lambda[2])
*v[6]^5*v[5]*v[4]^2*v[2]^2-1/8*lambda[2]*v[5]^6*v[2]*v[1]+(387/
183878592869171200000*lambda[6]^5-18901/2206543114430054400000*lambda[6]^3*
lambda[5]+31/13906784334643200000*lambda[6]*lambda[5]^2+3103/
315220444918579200000*lambda[6]^2*lambda[4]+127/11257873032806400000*lambda[5]
*lambda[4]-281/12866140608921600000*lambda[6]*lambda[3]-1/55697578393600000*
lambda[2])*v[6]^29*v[5]+(-3/896000*lambda[6]^5-1/67200*lambda[6]^3*lambda[5]+1
/252000*lambda[6]*lambda[5]^2-1/14000*lambda[6]^2*lambda[4]-1/126000*lambda[5]
*lambda[4]+1/76800*lambda[2])*v[6]^10*v[5]^5*v[1]+(3/22400*lambda[6]^5+1/2800*
lambda[6]^3*lambda[5]+1/1680*lambda[6]*lambda[5]^2-1/700*lambda[6]^2*lambda[4]
+1/2100*lambda[5]*lambda[4]-1/300*lambda[6]*lambda[3]-1/896*lambda[2])*v[6]^6*
v[5]^7*v[1]+(237/985600*lambda[6]*lambda[3]+79/985600*lambda[2])*v[6]^11*v[5]^
2*v[4]^2*v[2]-1/2*lambda[2]*v[5]^2*v[4]^2*v[2]*v[1]+(503/26486620160000*lambda
[6]^5+2809/317839441920000*lambda[6]^3*lambda[5]+21127/11680599490560000*
lambda[6]*lambda[5]^2-134347/25956887756800000*lambda[6]^2*lambda[4]+1081/
927031705600000*lambda[5]*lambda[4]-313/48898375680000*lambda[6]*lambda[3]-63/
30270423040000*lambda[2])*v[6]^21*v[5]^5+(-lambda[5]*lambda[4]+3/2*lambda[6]*
lambda[3]+1/2*lambda[2])*v[6]^2*v[5]*v[4]*v[3]^3*v[2]+(-9/121977856000*lambda[
6]^3*lambda[5]+1/554444800*lambda[6]*lambda[5]^2-93/18765824000*lambda[6]^2*
lambda[4]+487/13069056000*lambda[5]*lambda[4]+1/293216000*lambda[6]*lambda[3]+
1/76595200*lambda[2])*v[6]^17*v[4]*v[3]^2+(-1/69701632000*lambda[6]^5+29/
13069056000*lambda[6]^3*lambda[5]+571/274450176000*lambda[6]*lambda[5]^2+937/
56297472000*lambda[6]^2*lambda[4]+233/243955712000*lambda[5]*lambda[4]+13253/
2927468544000*lambda[6]*lambda[3]+7/3982950400*lambda[2])*v[6]^18*v[5]^2*v[4]*
v[3]+(-1/4*lambda[5]*lambda[4]-1/16*lambda[6]*lambda[3]-1/48*lambda[2])*v[6]^4
*v[4]^3*v[3]^3+(-1/487911424000*lambda[6]^5+1/182966784000*lambda[6]^3*lambda[
5]+1/5601024000*lambda[6]*lambda[5]^2-23/45741696000*lambda[6]^2*lambda[4]-1/
11435424000*lambda[5]*lambda[4]+1/466752000*lambda[6]*lambda[3]+1/905216000*
lambda[2])*v[6]^18*v[5]*v[1]+(3/358758400*lambda[6]^5+1/44844800*lambda[6]^3*
lambda[5]+17/80720640*lambda[6]*lambda[5]^2-1/1401400*lambda[6]^2*lambda[4]+17
/100900800*lambda[5]*lambda[4]-1/686400*lambda[6]*lambda[3]-1/1996800*lambda[2
])*v[6]^14*v[5]^3*v[1]-1/2*lambda[2]*v[6]^2*v[5]^3*v[4]*v[2]*v[1]+(-1/896*
lambda[6]^5-79/13440*lambda[6]^3*lambda[5]-1/3360*lambda[6]*lambda[5]^2+19/
13440*lambda[6]^2*lambda[4]-1/672*lambda[5]*lambda[4]-1/480*lambda[6]*lambda[3
]+3/896*lambda[2])*v[6]^3*v[5]^9*v[3]^2+(33/156800*lambda[6]^5-179/156800*
lambda[6]^3*lambda[5]-139/117600*lambda[6]*lambda[5]^2-57/156800*lambda[6]^2*
lambda[4]+11/117600*lambda[5]*lambda[4]+17/117600*lambda[6]*lambda[3]-1/4480*
lambda[2])*v[6]^7*v[5]^7*v[3]^2+(-lambda[5]*lambda[4]-9/4*lambda[6]*lambda[3]-\
5/4*lambda[2])*v[6]^2*v[5]^2*v[4]*v[3]*v[2]^2-1/12*lambda[2]*v[6]^3*v[4]^3*v[2
]^2+(-3/320*lambda[6]^3*lambda[5]-1/240*lambda[6]*lambda[5]^2+9/320*lambda[6]^
2*lambda[4]-1/60*lambda[5]*lambda[4]+1/20*lambda[6]*lambda[3]+1/32*lambda[2])*
v[6]^5*v[5]^4*v[3]^2*v[2]+(3/1793792000*lambda[6]^5-99/163072000*lambda[6]^3*
lambda[5]-2207/4036032000*lambda[6]*lambda[5]^2-31/97843200*lambda[6]^2*lambda
[4]-137/807206400*lambda[5]*lambda[4]+131/1345344000*lambda[6]*lambda[3]+1/
21964800*lambda[2])*v[6]^15*v[5]^3*v[3]^2+(-3/1408000*lambda[6]^5-3607/
29568000*lambda[6]^3*lambda[5]+377/22176000*lambda[6]*lambda[5]^2-279/9856000*
lambda[6]^2*lambda[4]+41/22176000*lambda[5]*lambda[4]+1/224000*lambda[6]*
lambda[3]-17/844800*lambda[2])*v[6]^11*v[5]^5*v[3]^2-1/89600*lambda[2]*v[6]^12
*v[2]*v[1]+lambda[2]*v[5]*v[4]^2*v[3]^2*v[1]+(1/2240*lambda[6]^5-1/840*lambda[
6]^3*lambda[5]-1/420*lambda[6]*lambda[5]^2+1/210*lambda[6]^2*lambda[4]-29/1680
*lambda[6]*lambda[3]-3/448*lambda[2])*v[6]*v[5]^9*v[4]*v[2]+(1/560*lambda[6]*
lambda[3]+1/560*lambda[2])*v[6]^7*v[2]^3+(1/9270317056000*lambda[6]^5-9869/
27810951168000*lambda[6]^3*lambda[5]+37823/20858213376000*lambda[6]*lambda[5]^
2-1723/5562190233600*lambda[6]^2*lambda[4]+271/463515852800*lambda[5]*lambda[4
]+7067/6952737792000*lambda[6]*lambda[3]+9/37838028800*lambda[2])*v[6]^19*v[5]
*v[3]^2-13/4480*lambda[2]*v[6]^8*v[5]^2*v[2]*v[1]+1/16*lambda[2]*v[6]^2*v[5]^5
*v[4]^2*v[1]+(-1/5376*lambda[6]^3*lambda[5]+1/5040*lambda[6]*lambda[5]^2-51/
17920*lambda[6]^2*lambda[4]+17/40320*lambda[5]*lambda[4]-3/4480*lambda[6]*
lambda[3]-1/7680*lambda[2])*v[6]^9*v[5]^4*v[4]*v[3]^2+(-9/2240*lambda[6]^3*
lambda[5]-3/560*lambda[6]*lambda[5]^2-33/2240*lambda[6]^2*lambda[4]+1/1680*
lambda[5]*lambda[4]-3/560*lambda[6]*lambda[3]+1/160*lambda[2])*v[6]^7*v[5]^3*v
[4]^2*v[3]^2+(-1/400*lambda[5]*lambda[4]-3/1600*lambda[6]*lambda[3]-13/4800*
lambda[2])*v[6]^6*v[4]^5*v[3]+3/40*lambda[2]*v[5]*v[4]^6*v[3]-3/281600*lambda[
2]*v[6]^12*v[5]^2*v[4]*v[1]+(1/13798400*lambda[6]^2*lambda[4]+1/2956800*lambda
[5]*lambda[4]+1/27596800*lambda[6]*lambda[3]+1/1689600*lambda[2])*v[6]^14*v[4]
^3*v[3]+(1/16*lambda[6]^2*lambda[4]+1/4*lambda[6]*lambda[3]+1/8*lambda[2])*v[6
]^4*v[5]^3*v[3]^2*v[1]+(-3/80*lambda[6]^2*lambda[4]+3/20*lambda[5]*lambda[4]+1
/80*lambda[6]*lambda[3]+3/32*lambda[2])*v[5]^5*v[4]^4*v[3]+(3/22400*lambda[6]^
5-1/2100*lambda[6]^3*lambda[5]-1/4200*lambda[6]*lambda[5]^2-11/8400*lambda[6]^
2*lambda[4]-1/1400*lambda[5]*lambda[4]+19/26880*lambda[6]*lambda[3]+1/1792*
lambda[2])*v[6]^3*v[5]^10*v[2]+(-1/166400*lambda[6]^5-23/4659200*lambda[6]^3*
lambda[5]+1/232960*lambda[6]*lambda[5]^2-37/9984000*lambda[6]^2*lambda[4]-1/
17472000*lambda[5]*lambda[4]-83/5591040*lambda[6]*lambda[3]+1/1863680*lambda[2
])*v[6]^5*v[5]^13+(1/280*lambda[6]^3*lambda[5]-1/70*lambda[6]*lambda[5]^2+3/
280*lambda[6]^2*lambda[4]-1/70*lambda[5]*lambda[4]-3/112*lambda[6]*lambda[3]-1
/112*lambda[2])*v[6]*v[5]^7*v[2]^2+(-1/246400*lambda[6]^2*lambda[4]+1/92400*
lambda[5]*lambda[4]-3/246400*lambda[6]*lambda[3]+17/492800*lambda[2])*v[6]^11*
v[4]*v[2]^2+(-1/40*lambda[6]^2*lambda[4]+1/10*lambda[5]*lambda[4]-1/5*lambda[6
]*lambda[3]-1/4*lambda[2])*v[5]^5*v[3]^2*v[1]-lambda[2]*v[6]*v[5]*v[4]*v[2]^3+
(9/14276288266240000*lambda[6]^5+71/314918123520000*lambda[6]^3*lambda[5]-4049
/4015206074880000*lambda[6]*lambda[5]^2+269/3059204628480000*lambda[6]^2*
lambda[4]+29/13243310080000*lambda[5]*lambda[4]-1801/1112438046720000*lambda[6
]*lambda[3]+7/1280671744000*lambda[2])*v[6]^22*v[4]*v[3]+(-1/8*lambda[6]^2*
lambda[4]-3/8*lambda[6]*lambda[3]+1/16*lambda[2])*v[6]^3*v[5]^4*v[4]*v[2]^2+(-\
1/4480*lambda[6]^5+1/1680*lambda[6]^3*lambda[5]+1/840*lambda[6]*lambda[5]^2+1/
3360*lambda[6]^2*lambda[4]-3/280*lambda[5]*lambda[4]+11/3360*lambda[6]*lambda[
3]+1/128*lambda[2])*v[5]^9*v[4]^2*v[3]+(-3/4480*lambda[6]^2*lambda[4]+19/6720*
lambda[5]*lambda[4]-1/896*lambda[6]*lambda[3]+3/896*lambda[2])*v[6]^8*v[3]^3*v
[2]+(-1/2240*lambda[6]*lambda[5]^2-3/560*lambda[6]^2*lambda[4]+47/3360*lambda[
5]*lambda[4]-1/560*lambda[6]*lambda[3])*v[6]^7*v[4]*v[3]^4-1/40*lambda[2]*v[6]
^5*v[5]*v[4]^2*v[3]*v[1]+(9/4480*lambda[6]^5+3/560*lambda[6]^3*lambda[5]+1/112
*lambda[6]*lambda[5]^2+33/1120*lambda[6]^2*lambda[4]-1/112*lambda[5]*lambda[4]
+1/112*lambda[6]*lambda[3]-3/896*lambda[2])*v[6]^4*v[5]^7*v[4]^2*v[3]+(1/
51251200*lambda[6]^3*lambda[5]-1/38438400*lambda[6]*lambda[5]^2+3/51251200*
lambda[6]^2*lambda[4]-1/38438400*lambda[5]*lambda[4]+97/102502400*lambda[6]*
lambda[3]-1/43929600*lambda[2])*v[6]^13*v[5]*v[4]^4+(-1/8*lambda[6]*lambda[5]^
2+1/4*lambda[5]*lambda[4]-1/2*lambda[2])*v[5]^3*v[3]^5+(1/80*lambda[6]^3*
lambda[5]-1/20*lambda[6]*lambda[5]^2-11/80*lambda[6]^2*lambda[4]-1/10*lambda[5
]*lambda[4]+1/10*lambda[6]*lambda[3]+1/8*lambda[2])*v[6]*v[5]^6*v[3]^2*v[2]+(3
/80*lambda[6]^3*lambda[5]+23/480*lambda[6]*lambda[5]^2+1/40*lambda[6]^2*lambda
[4]+1/96*lambda[5]*lambda[4]-1/40*lambda[6]*lambda[3])*v[6]^5*v[5]^3*v[3]^4+(1
/4928000*lambda[6]^2*lambda[4]-1/1848000*lambda[5]*lambda[4]+3/4928000*lambda[
6]*lambda[3]+19/4224000*lambda[2])*v[6]^11*v[4]^5+(3/32*lambda[6]*lambda[5]^2+
1/16*lambda[5]*lambda[4]-1/8*lambda[2])*v[6]^4*v[5]*v[3]^5+(1/13440*lambda[6]^
3*lambda[5]+1/10080*lambda[6]*lambda[5]^2+1/4480*lambda[6]^2*lambda[4]+1/10080
*lambda[5]*lambda[4]-1/1792*lambda[6]*lambda[3]+11/26880*lambda[2])*v[6]^9*v[5
]^3*v[2]^2+(-3/800*lambda[6]^3*lambda[5]-1/600*lambda[6]*lambda[5]^2-9/800*
lambda[6]^2*lambda[4]-1/600*lambda[5]*lambda[4]-7/320*lambda[6]*lambda[3]-1/64
*lambda[2])*v[6]^5*v[5]^5*v[2]^2+(-3/8960*lambda[6]^5+1/1120*lambda[6]^3*
lambda[5]+1/560*lambda[6]*lambda[5]^2+23/6720*lambda[6]^2*lambda[4]+1/840*
lambda[5]*lambda[4]-1/6720*lambda[6]*lambda[3]-17/5376*lambda[2])*v[6]^3*v[5]^
8*v[4]^3+(-1/4480*lambda[6]^3*lambda[5]+1/3840*lambda[6]*lambda[5]^2-1/2240*
lambda[6]^2*lambda[4]-1/1792*lambda[5]*lambda[4]+1/2240*lambda[6]*lambda[3])*v
[6]^9*v[5]*v[3]^4+(-27/627200*lambda[6]^5-27/78400*lambda[6]^3*lambda[5]-1/
58800*lambda[6]*lambda[5]^2-81/78400*lambda[6]^2*lambda[4]-3/39200*lambda[5]*
lambda[4]-93/1254400*lambda[6]*lambda[3]+1/7168*lambda[2])*v[6]^7*v[5]^8*v[2]+
(3/44800*lambda[6]^5+1/5600*lambda[6]^3*lambda[5]+1/3360*lambda[6]*lambda[5]^2
+3/11200*lambda[6]^2*lambda[4]+1/3360*lambda[5]*lambda[4]-23/33600*lambda[6]*
lambda[3]-1/3840*lambda[2])*v[6]^7*v[5]^6*v[4]^3+(1/4*lambda[6]*lambda[3]+1/8*
lambda[2])*v[6]*v[5]^5*v[4]^3*v[2]-1/64*lambda[2]*v[5]^8*v[4]*v[1]+(lambda[5]*
lambda[4]+1/4*lambda[6]*lambda[3]+3/4*lambda[2])*v[5]^2*v[4]^3*v[3]^3+(-1/
53760*lambda[6]^3*lambda[5]-1/40320*lambda[6]*lambda[5]^2-1/17920*lambda[6]^2*
lambda[4]-1/40320*lambda[5]*lambda[4]+1/7168*lambda[6]*lambda[3]+1/5120*lambda
[2])*v[6]^9*v[5]^3*v[4]^4+(-2*lambda[5]*lambda[4]-3/2*lambda[2])*v[6]*v[5]^2*v
[4]^2*v[3]^2*v[2]+(1/20*lambda[6]^2*lambda[4]-1/5*lambda[5]*lambda[4]-1/20*
lambda[6]*lambda[3]+1/8*lambda[2])*v[5]^5*v[3]*v[2]^2+(1/140*lambda[6]^3*
lambda[5]-1/35*lambda[6]*lambda[5]^2+3/140*lambda[6]^2*lambda[4]-1/35*lambda[5
]*lambda[4]-3/40*lambda[6]*lambda[3]-1/8*lambda[2])*v[5]^7*v[4]*v[3]*v[2]+(3/
800*lambda[6]^3*lambda[5]+17/1200*lambda[6]*lambda[5]^2+9/1600*lambda[6]^2*
lambda[4]-29/2400*lambda[5]*lambda[4]-13/800*lambda[6]*lambda[3]-1/320*lambda[
2])*v[6]^5*v[5]^6*v[4]*v[3]^2+1/22528000*lambda[2]*v[6]^16*v[4]*v[1]+(-1/240*
lambda[6]^3*lambda[5]+1/60*lambda[6]*lambda[5]^2-29/240*lambda[6]^2*lambda[4]-\
1/20*lambda[5]*lambda[4]-7/240*lambda[6]*lambda[3]+1/16*lambda[2])*v[5]^6*v[4]
*v[3]^3+(-1/25625600*lambda[6]^3*lambda[5]+1/19219200*lambda[6]*lambda[5]^2-1/
1971200*lambda[6]^2*lambda[4]-1/343200*lambda[5]*lambda[4]-1/197120*lambda[2])
*v[6]^13*v[3]^2*v[2]+(-1/6*lambda[6]*lambda[5]^2-3/4*lambda[6]^2*lambda[4]-1/6
*lambda[5]*lambda[4]+1/2*lambda[6]*lambda[3]+1/2*lambda[2])*v[6]^3*v[5]^3*v[4]
*v[3]^2*v[2]+(3/80*lambda[6]^2*lambda[4]+1/60*lambda[5]*lambda[4]-3/80*lambda[
6]*lambda[3]+1/160*lambda[2])*v[6]^6*v[5]^2*v[4]^2*v[3]*v[2]+1/40*lambda[2]*v[
6]^6*v[5]*v[4]*v[2]*v[1]+(3/2240*lambda[6]^3*lambda[5]+1/560*lambda[6]*lambda[
5]^2+9/2240*lambda[6]^2*lambda[4]+1/560*lambda[5]*lambda[4]-3/896*lambda[6]*
lambda[3]-1/4480*lambda[2])*v[6]^8*v[5]^3*v[4]*v[3]*v[2]+(-1/1019200*lambda[6]
^5+127/24460800*lambda[6]^3*lambda[5]-31/6115200*lambda[6]*lambda[5]^2-163/
24460800*lambda[6]^2*lambda[4]+11/2038400*lambda[5]*lambda[4]+97/9784320*
lambda[6]*lambda[3]-1/93184*lambda[2])*v[6]*v[5]^15+(3/89600*lambda[6]^5+19/
11200*lambda[6]^3*lambda[5]-3/2800*lambda[6]*lambda[5]^2-229/44800*lambda[6]^2
*lambda[4]-89/134400*lambda[5]*lambda[4]-223/537600*lambda[6]*lambda[3]+23/
35840*lambda[2])*v[6]^6*v[5]^8*v[4]*v[3]+(-3/3200*lambda[6]^5-1/400*lambda[6]^
3*lambda[5]-1/240*lambda[6]*lambda[5]^2-3/800*lambda[6]^2*lambda[4]-1/240*
lambda[5]*lambda[4]-1/240*lambda[6]*lambda[3]+1/640*lambda[2])*v[6]^6*v[5]^6*v
[3]*v[2]+(761/12544000*lambda[6]^5-523/4704000*lambda[6]^3*lambda[5]-1/196000*
lambda[6]*lambda[5]^2-503/6272000*lambda[6]^2*lambda[4]+29/4704000*lambda[5]*
lambda[4]-47/3763200*lambda[6]*lambda[3]-1/71680*lambda[2])*v[6]^7*v[5]^10*v[4
]+(-3/3942400*lambda[6]^5-1/295680*lambda[6]^3*lambda[5]+1/1108800*lambda[6]*
lambda[5]^2+3/140800*lambda[6]^2*lambda[4]-1/2217600*lambda[5]*lambda[4]+37/
985600*lambda[6]*lambda[3]+13/1689600*lambda[2])*v[6]^11*v[5]^4*v[4]^3+(1/
25600*lambda[6]^5-11/67200*lambda[6]^3*lambda[5]+1/33600*lambda[6]*lambda[5]^2
+1/12800*lambda[6]^2*lambda[4]+1/16800*lambda[5]*lambda[4]-17/53760*lambda[6]*
lambda[3]-1/7168*lambda[2])*v[6]^3*v[5]^12*v[4]+(6453/1103872000*lambda[6]^5+
2747/413952000*lambda[6]^3*lambda[5]+131/620928000*lambda[6]*lambda[5]^2+233/
236544000*lambda[6]^2*lambda[4]-67/620928000*lambda[5]*lambda[4]+97/1655808000
*lambda[6]*lambda[3]+37/94617600*lambda[2])*v[6]^11*v[5]^8*v[4]+(-1/1120*
lambda[6]^3*lambda[5]+1/280*lambda[6]*lambda[5]^2-121/2240*lambda[6]^2*lambda[
4]-1/35*lambda[5]*lambda[4]-1/280*lambda[6]*lambda[3]+13/448*lambda[2])*v[6]*v
[5]^8*v[4]*v[3]^2+(-1/2240*lambda[6]*lambda[3]+1/2688*lambda[2])*v[6]^9*v[5]*v
[4]^3*v[2]+(1/4*lambda[6]*lambda[5]^2+1/8*lambda[6]^2*lambda[4]-1/4*lambda[5]*
lambda[4]-1/8*lambda[6]*lambda[3]-3/8*lambda[2])*v[6]^2*v[5]^3*v[4]^2*v[3]^3+(
-597/131360768000*lambda[6]^5-4343/1951645696000*lambda[6]^3*lambda[5]-12127/
30738419712000*lambda[6]*lambda[5]^2+98737/68307599360000*lambda[6]^2*lambda[4
]-281/4391202816000*lambda[5]*lambda[4]+68381/58549370880000*lambda[6]*lambda[
3]+233/1672839168000*lambda[2])*v[6]^17*v[5]^7+(1/10*lambda[5]*lambda[4]-1/40*
lambda[2])*v[6]^5*v[4]^2*v[3]^2*v[2]+(-3/8960*lambda[6]^3*lambda[5]-1/960*
lambda[6]*lambda[5]^2-3/1792*lambda[6]^2*lambda[4]-3/320*lambda[5]*lambda[4]-\
37/8960*lambda[6]*lambda[3]-1/256*lambda[2])*v[6]^8*v[5]^2*v[4]*v[3]^3-1/2*
lambda[2]*v[6]^2*v[3]*v[2]^3+(-9/358758400*lambda[6]^5-3/44844800*lambda[6]^3*
lambda[5]-17/26906880*lambda[6]*lambda[5]^2-193/89689600*lambda[6]^2*lambda[4]
-47/44844800*lambda[5]*lambda[4]-3/1121120*lambda[6]*lambda[3]-31/51251200*
lambda[2])*v[6]^14*v[5]^2*v[3]*v[2]+(19687/74162536448000*lambda[6]^5+167/
305614848000*lambda[6]^3*lambda[5]+23/1668657070080*lambda[6]*lambda[5]^2+6581
/111243804672000*lambda[6]^2*lambda[4]-43/401119488000*lambda[5]*lambda[4]+
3677/15891972096000*lambda[6]*lambda[3]+709/4540563456000*lambda[2])*v[6]^19*v
[5]^4*v[4]+(1317/14350336000*lambda[6]^5-1/27596800*lambda[6]^3*lambda[5]-1/
161441280*lambda[6]*lambda[5]^2-11173/107627520000*lambda[6]^2*lambda[4]-1003/
80720640000*lambda[5]*lambda[4]+1/5125120000*lambda[6]*lambda[3]+23/878592000*
lambda[2])*v[6]^15*v[5]^6*v[4]+(1/8960*lambda[6]^3*lambda[5]+1/6720*lambda[6]*
lambda[5]^2+1/1792*lambda[6]^2*lambda[4]-1/672*lambda[5]*lambda[4]-1/1120*
lambda[6]*lambda[3]-3/4480*lambda[2])*v[6]^9*v[5]^2*v[3]^2*v[2]-1/240*lambda[2
]*v[6]^3*v[4]^7+(-3/80*lambda[6]^3*lambda[5]-1/60*lambda[6]*lambda[5]^2-9/80*
lambda[6]^2*lambda[4]-1/60*lambda[5]*lambda[4]+23/160*lambda[6]*lambda[3]+1/32
*lambda[2])*v[6]^4*v[5]^5*v[4]*v[3]*v[2]+(-1/8*lambda[6]^2*lambda[4]-1/4*
lambda[5]*lambda[4]+1/8*lambda[6]*lambda[3]+5/8*lambda[2])*v[5]^4*v[3]^3*v[2]+
(-3/25625600*lambda[6]^5-1/3203200*lambda[6]^3*lambda[5]-17/5765760*lambda[6]*
lambda[5]^2+1/100100*lambda[6]^2*lambda[4]-17/7207200*lambda[5]*lambda[4]+41/
19219200*lambda[6]*lambda[3]+71/76876800*lambda[2])*v[6]^13*v[5]^3*v[4]*v[2]+1
/2560*lambda[2]*v[6]^8*v[5]^4*v[4]*v[1]+(-783/22960537600*lambda[6]^5-29/
220774400*lambda[6]^3*lambda[5]-863/64576512000*lambda[6]*lambda[5]^2-24701/
861020160000*lambda[6]^2*lambda[4]+101/11741184000*lambda[5]*lambda[4]-8821/
861020160000*lambda[6]*lambda[3]-37/7028736000*lambda[2])*v[6]^16*v[5]^5*v[3]+
(-447/110387200*lambda[6]^5+1003/206976000*lambda[6]^3*lambda[5]+131/155232000
*lambda[6]*lambda[5]^2-257/827904000*lambda[6]^2*lambda[4]+19/77616000*lambda[
5]*lambda[4]-2599/827904000*lambda[6]*lambda[3]+1/9461760*lambda[2])*v[6]^12*v
[5]^7*v[3]+(-653/10035200*lambda[6]^5-941/3763200*lambda[6]^3*lambda[5]-29/
1881600*lambda[6]*lambda[5]^2+11/5017600*lambda[6]^2*lambda[4]+29/3763200*
lambda[5]*lambda[4]-11/15052800*lambda[6]*lambda[3]-3/286720*lambda[2])*v[6]^8
*v[5]^9*v[3]+(-33/179200*lambda[6]^5-11/67200*lambda[6]^3*lambda[5]-1/8400*
lambda[6]*lambda[5]^2-67/268800*lambda[6]^2*lambda[4]+1/33600*lambda[5]*lambda
[4]+11/53760*lambda[6]*lambda[3]-1/7168*lambda[2])*v[6]^4*v[5]^11*v[3]+lambda[
2]*v[6]*v[4]*v[3]^3*v[1]+(3/800*lambda[6]^3*lambda[5]+1/600*lambda[6]*lambda[5
]^2+9/800*lambda[6]^2*lambda[4]+1/600*lambda[5]*lambda[4]-1/100*lambda[6]*
lambda[3]-3/160*lambda[2])*v[6]^5*v[5]^5*v[3]*v[1]+(-9/3587584000*lambda[6]^5-\
51/448448000*lambda[6]^3*lambda[5]-1/126126000*lambda[6]*lambda[5]^2-557/
1345344000*lambda[6]^2*lambda[4]-53/2018016000*lambda[5]*lambda[4]-17/
279552000*lambda[6]*lambda[3]+37/615014400*lambda[2])*v[6]^15*v[5]^4*v[2]+(129
/652288000*lambda[6]^5+23/3444080640*lambda[6]^3*lambda[5]-577/21525504000*
lambda[6]*lambda[5]^2+1429/86102016000*lambda[6]^2*lambda[4]-863/64576512000*
lambda[5]*lambda[4]+17629/172204032000*lambda[6]*lambda[3]+97/4920115200*
lambda[2])*v[6]^13*v[5]^9+(-3/11200*lambda[6]^2*lambda[4]-1/8400*lambda[5]*
lambda[4]-9/11200*lambda[6]*lambda[3]-1/9600*lambda[2])*v[6]^7*v[5]^2*v[4]^5+(
-3/40*lambda[6]^3*lambda[5]-1/80*lambda[6]*lambda[5]^2+1/20*lambda[6]^2*lambda
[4]+1/80*lambda[5]*lambda[4]-1/20*lambda[6]*lambda[3])*v[6]*v[5]^5*v[3]^4+(1/
160*lambda[6]^2*lambda[4]+3/160*lambda[6]*lambda[3]+7/320*lambda[2])*v[6]^3*v[
5]^4*v[4]^5+(-8427/750524868853760000*lambda[6]^5-2837/1970127780741120000*
lambda[6]^3*lambda[5]+387173/2955191671111680000*lambda[6]*lambda[5]^2-58459/
606193163304960000*lambda[6]^2*lambda[4]-3533/56289365164032000*lambda[5]*
lambda[4]+3271/86599023329280000*lambda[6]*lambda[3]-41/278487891968000*lambda
[2])*v[6]^24*v[5]*v[3]+(-1793/33710243840000*lambda[6]^5+60079/139054755840000
*lambda[6]^3*lambda[5]+883/13036383360000*lambda[6]*lambda[5]^2+19177/
79459860480000*lambda[6]^2*lambda[4]+109/5959489536000*lambda[5]*lambda[4]-\
27947/556219023360000*lambda[6]*lambda[3]-293/4540563456000*lambda[2])*v[6]^20
*v[5]^3*v[3]+(3/3200*lambda[6]^3*lambda[5]+1/2400*lambda[6]*lambda[5]^2+9/3200
*lambda[6]^2*lambda[4]+1/2400*lambda[5]*lambda[4]+7/1280*lambda[6]*lambda[3]-1
/3840*lambda[2])*v[6]^5*v[5]^5*v[4]^4+(-1/4480*lambda[6]^5+1/1680*lambda[6]^3*
lambda[5]+1/840*lambda[6]*lambda[5]^2-1/420*lambda[6]^2*lambda[4]-1/210*lambda
[6]*lambda[3]-1/896*lambda[2])*v[6]^2*v[5]^9*v[1]-1/20*lambda[2]*v[4]^5*v[1]+(
-1/18540634112000*lambda[6]^5+1/6952737792000*lambda[6]^3*lambda[5]+1/
212838912000*lambda[6]*lambda[5]^2+173/13905475584000*lambda[6]^2*lambda[4]-1/
12415603200*lambda[5]*lambda[4]+163/1986496512000*lambda[6]*lambda[3]+13/
87318528000*lambda[2])*v[6]^19*v[4]^3-1/2*lambda[2]*v[6]*v[5]^3*v[4]^2*v[3]*v[
1]+(177003/1313418520494080000*lambda[6]^5-50821/98506389037056000*lambda[6]^3
*lambda[5]-1777/46174869861120000*lambda[6]*lambda[5]^2+309469/
394025556148224000*lambda[6]^2*lambda[4]+1033/5412438958080000*lambda[5]*
lambda[4]+15727/40206689402880000*lambda[6]*lambda[3]-479/765841702912000*
lambda[2])*v[6]^23*v[5]^2*v[4]+(1/1830400*lambda[6]^3*lambda[5]+103/19219200*
lambda[6]*lambda[5]^2-311/25625600*lambda[6]^2*lambda[4]-101/12812800*lambda[5
]*lambda[4]+3/1164800*lambda[6]*lambda[3]+1/732160*lambda[2])*v[6]^13*v[5]^2*v
[4]*v[3]^2+(-1/8960*lambda[6]^2*lambda[4]+17/67200*lambda[5]*lambda[4]-1/17920
*lambda[6]*lambda[3]+1/38400*lambda[2])*v[6]^10*v[5]^2*v[4]^3*v[3]+(303/
52536740819763200000*lambda[6]^5-151/19701277807411200000*lambda[6]^3*lambda[5
]-1/19102725734400000*lambda[6]*lambda[5]^2+139/11257873032806400000*lambda[6]
^2*lambda[4]+1/5743812771840000*lambda[5]*lambda[4]-157/1608267576115200000*
lambda[6]*lambda[3]-3/11782180044800000*lambda[2])*v[6]^27*v[4]+(3/1164800*
lambda[6]^5-3/145600*lambda[6]^3*lambda[5]+3/72800*lambda[6]*lambda[5]^2+11/
582400*lambda[6]^2*lambda[4]-11/145600*lambda[5]*lambda[4]-1/116480*lambda[6]*
lambda[3]+1/6656*lambda[2])*v[5]^13*v[3]+(-1/12812800*lambda[6]^3*lambda[5]+1/
9609600*lambda[6]*lambda[5]^2-3/12812800*lambda[6]^2*lambda[4]+1/9609600*
lambda[5]*lambda[4]-97/25625600*lambda[6]*lambda[3]-67/25625600*lambda[2])*v[6
]^13*v[5]*v[2]^2+(lambda[5]*lambda[4]+3/2*lambda[6]*lambda[3]+3/2*lambda[2])*v
[4]^2*v[3]^3*v[2]+1/8*lambda[2]*v[6]^2*v[5]*v[4]^4*v[1]+3/2*lambda[2]*v[5]*v[4
]^2*v[3]*v[2]^2+3/280*lambda[2]*v[6]^7*v[3]*v[2]*v[1]+(9/9270317056000*lambda[
6]^5-1/8520512000*lambda[6]^3*lambda[5]-223/1738184448000*lambda[6]*lambda[5]^
2+1669/1158789632000*lambda[6]^2*lambda[4]+31/1738184448000*lambda[5]*lambda[4
]+1769/2648662016000*lambda[6]*lambda[3]-163/2648662016000*lambda[2])*v[6]^19*
v[5]^2*v[2]+(9/985600*lambda[6]^3*lambda[5]-3/246400*lambda[6]*lambda[5]^2+13/
197120*lambda[6]^2*lambda[4]+113/739200*lambda[5]*lambda[4]-3/246400*lambda[6]
*lambda[3]-1/14080*lambda[2])*v[6]^11*v[5]*v[4]^2*v[3]^2+(-1/120*lambda[5]*
lambda[4]+1/40*lambda[2])*v[6]^6*v[4]*v[3]^2*v[1]+(-3/1254400*lambda[6]^5+149/
1881600*lambda[6]^3*lambda[5]+3/156800*lambda[6]*lambda[5]^2+23/376320*lambda[
6]^2*lambda[4]-1/470400*lambda[5]*lambda[4]+317/7526400*lambda[6]*lambda[3]+1/
71680*lambda[2])*v[6]^9*v[5]^7*v[4]^2+(-3/512512000*lambda[6]^5+527/256256000*
lambda[6]^3*lambda[5]+71/576576000*lambda[6]*lambda[5]^2+1/788480*lambda[6]^2*
lambda[4]+19/576576000*lambda[5]*lambda[4]-619/615014400*lambda[6]*lambda[3]-\
49/87859200*lambda[2])*v[6]^13*v[5]^5*v[4]^2+(-9/1297844387840000*lambda[6]^5+
4919/1946766581760000*lambda[6]^3*lambda[5]-2267/292014987264000*lambda[6]*
lambda[5]^2+2677/1946766581760000*lambda[6]^2*lambda[4]-283/69527377920000*
lambda[5]*lambda[4]+4019/158919720960000*lambda[6]*lambda[3]+23/1513521152000*
lambda[2])*v[6]^21*v[5]*v[4]^2+(3/97582284800*lambda[6]^5+1693/243955712000*
lambda[6]^3*lambda[5]+237/60988928000*lambda[6]*lambda[5]^2+883/243955712000*
lambda[6]^2*lambda[4]+967/548900352000*lambda[5]*lambda[4]-2383/418209792000*
lambda[6]*lambda[3]-197/59744256000*lambda[2])*v[6]^17*v[5]^3*v[4]^2+(9/
9856000*lambda[6]^5-13/1848000*lambda[6]^3*lambda[5]-1/158400*lambda[6]*lambda
[5]^2+127/3696000*lambda[6]^2*lambda[4]+1/5544000*lambda[5]*lambda[4]+1181/
59136000*lambda[6]*lambda[3]+13/11827200*lambda[2])*v[6]^11*v[5]^6*v[2]+(-3/
560*lambda[6]^5-17/840*lambda[6]^3*lambda[5]-1/48*lambda[6]*lambda[5]^2-1/336*
lambda[6]^2*lambda[4]+11/560*lambda[5]*lambda[4]+19/3360*lambda[6]*lambda[3]-9
/224*lambda[2])*v[6]^2*v[5]^7*v[3]^3+(-1/22400*lambda[6]^5+1/4800*lambda[6]^3*
lambda[5]-1/8400*lambda[6]*lambda[5]^2-1/4800*lambda[6]^2*lambda[4]-1/2800*
lambda[5]*lambda[4]+11/26880*lambda[6]*lambda[3]+1/1792*lambda[2])*v[6]*v[5]^
11*v[4]^2-1/2*lambda[2]*v[6]^3*v[5]*v[3]^2*v[2]^2+(-3/8*lambda[6]*lambda[3]-5/
24*lambda[2])*v[6]^4*v[5]*v[4]^3*v[3]*v[2]+(-1/8*lambda[6]^2*lambda[4]-1/8*
lambda[6]*lambda[3]-1/16*lambda[2])*v[6]^4*v[5]^3*v[3]*v[2]^2+(3/143503360*
lambda[6]^5+149/89689600*lambda[6]^3*lambda[5]-61/201801600*lambda[6]*lambda[5
]^2-193/71751680*lambda[6]^2*lambda[4]-127/645765120*lambda[5]*lambda[4]-443/
331161600*lambda[6]*lambda[3]-47/87859200*lambda[2])*v[6]^14*v[5]^4*v[4]*v[3];