C34 := (-3/160*lambda[6]^4*lambda[5]-37/1920*lambda[6]^2*lambda[5]^2-13/960*
lambda[5]^3+1/160*lambda[6]^3*lambda[4]+1/192*lambda[6]*lambda[5]*lambda[4]+3/
128*lambda[4]^2-1/160*lambda[6]^2*lambda[3]+23/480*lambda[5]*lambda[3]-3/32*
lambda[2]*lambda[6]-3/32*lambda[1])*v[6]^2*v[5]^6*v[3]^4+(-3/640*lambda[6]^2*
lambda[3]+1/320*lambda[5]*lambda[3]+11/1920*lambda[2]*lambda[6]-1/240*lambda[1
])*v[6]^6*v[5]^4*v[4]^3*v[2]+(3/80*lambda[6]^3*lambda[4]+1/15*lambda[6]*lambda
[5]*lambda[4]-1/60*lambda[4]^2+1/40*lambda[6]^2*lambda[3]+1/48*lambda[5]*
lambda[3]+7/120*lambda[2]*lambda[6]+13/120*lambda[1])*v[6]^5*v[5]^3*v[3]^3*v[2
]-1/4*lambda[1]*v[6]^2*v[5]^3*v[4]*v[1]^2+(-1/280*lambda[6]*lambda[5]*lambda[4
]-1/280*lambda[4]^2+1/280*lambda[2]*lambda[6]-3/280*lambda[1])*v[6]^7*v[5]*v[4
]*v[3]^2*v[1]+(-3/358400*lambda[6]^6-1/17920*lambda[6]^4*lambda[5]+1/12600*
lambda[6]^2*lambda[5]^2+1/50400*lambda[5]^3+169/268800*lambda[6]^3*lambda[4]+
43/201600*lambda[6]*lambda[5]*lambda[4]+1/806400*lambda[4]^2+37/76800*lambda[6
]^2*lambda[3]+1/64512*lambda[5]*lambda[3]+71/215040*lambda[2]*lambda[6])*v[6]^
9*v[5]^6*v[4]^2*v[3]+(-1/9270317056000*lambda[6]^6+3/3708126822400*lambda[6]^4
*lambda[5]-13/152807424000*lambda[6]^2*lambda[5]^2+35953/93861960192000*lambda
[5]^3-123/9270317056000*lambda[6]^3*lambda[4]-1/18962012160*lambda[6]*lambda[5
]*lambda[4]-3/37838028800*lambda[4]^2-83/993248256000*lambda[6]^2*lambda[3]+
24329/33373141401600*lambda[5]*lambda[3]-41/794598604800*lambda[2]*lambda[6]+
61/113514086400*lambda[1])*v[6]^19*v[3]^3+(3/224224000*lambda[6]^3*lambda[4]+
379/1345344000*lambda[6]*lambda[5]*lambda[4]-1/64064000*lambda[4]^2+9/
896896000*lambda[6]^2*lambda[3]+1/13453440*lambda[5]*lambda[3]+1/3432000*
lambda[2]*lambda[6]+1/18304000*lambda[1])*v[6]^15*v[5]*v[4]^3*v[3]+(1/40*
lambda[2]*lambda[6]+3/40*lambda[1])*v[6]^6*v[4]*v[3]*v[2]*v[1]+(-1/8*lambda[2]
*lambda[6]-1/4*lambda[1])*v[6]^3*v[5]*v[4]^4*v[3]*v[2]+(-3/2*lambda[2]*lambda[
6]-1/2*lambda[1])*v[6]^2*v[5]^2*v[4]*v[3]*v[2]*v[1]+(1/25625600*lambda[6]^4*
lambda[5]+1/6406400*lambda[6]^2*lambda[5]^2+17/28828800*lambda[5]^3-1/85800*
lambda[6]*lambda[5]*lambda[4]-19/7687680*lambda[4]^2-67/25625600*lambda[6]^2*
lambda[3]+109/76876800*lambda[5]*lambda[3]+167/15375360*lambda[2]*lambda[6]+7/
1098240*lambda[1])*v[6]^13*v[5]*v[4]*v[3]^3+(3/320*lambda[6]^3*lambda[4]+1/240
*lambda[6]*lambda[5]*lambda[4]-1/480*lambda[4]^2+9/160*lambda[6]^2*lambda[3]+3
/80*lambda[2]*lambda[6]-1/160*lambda[1])*v[6]^5*v[5]^4*v[3]^2*v[1]+(-3/492800*
lambda[2]*lambda[6]-3/985600*lambda[1])*v[6]^13*v[5]^3*v[4]*v[1]+(3/40*lambda[
2]*lambda[6]+1/20*lambda[1])*v[6]^5*v[5]*v[4]^2*v[2]*v[1]+(3/3261440000*lambda
[6]^6+1721/8968960000*lambda[6]^4*lambda[5]-443/6726720000*lambda[6]^2*lambda[
5]^2-37/5045040000*lambda[5]^3-2333/4484480000*lambda[6]^3*lambda[4]-10987/
80720640000*lambda[6]*lambda[5]*lambda[4]+3/163072000*lambda[4]^2-5171/
15375360000*lambda[6]^2*lambda[3]-179/26906880000*lambda[5]*lambda[3]-391/
1537536000*lambda[2]*lambda[6]+1/73216000*lambda[1])*v[6]^15*v[5]^5*v[4]*v[3]+
(-3/40*lambda[6]^3*lambda[4]-1/5*lambda[6]*lambda[5]*lambda[4]-1/10*lambda[4]^
2+1/20*lambda[6]^2*lambda[3]-3/40*lambda[5]*lambda[3]+11/20*lambda[2]*lambda[6
]+9/20*lambda[1])*v[6]*v[5]^5*v[3]^3*v[2]+(3/9270317056000*lambda[6]^6+1/
6952737792000*lambda[6]^4*lambda[5]-43/521455334400*lambda[6]^2*lambda[5]^2-31
/1173274502400*lambda[5]^3-1613/6952737792000*lambda[6]^3*lambda[4]+7717/
5214553344000*lambda[6]*lambda[5]*lambda[4]+47/124156032000*lambda[4]^2+249/
662165504000*lambda[6]^2*lambda[3]+109/802238976000*lambda[5]*lambda[3]+1489/
1112438046720*lambda[2]*lambda[6]+31/25798656000*lambda[1])*v[6]^19*v[5]*v[3]*
v[2]+(1/4480*lambda[2]*lambda[6]+1/8960*lambda[1])*v[6]^9*v[5]^5*v[4]*v[1]+(-\
41/2927468544000*lambda[6]^4*lambda[5]+11/14257152000*lambda[6]^2*lambda[5]^2+
1823/4940103168000*lambda[5]^3-683/292746854400*lambda[6]^3*lambda[4]+21761/
1097800704000*lambda[6]*lambda[5]*lambda[4]+103/41820979200*lambda[4]^2+257/
243955712000*lambda[6]^2*lambda[3]+26297/8782405632000*lambda[5]*lambda[3]+191
/20910489600*lambda[2]*lambda[6]+1/597442560*lambda[1])*v[6]^18*v[5]*v[4]*v[3]
^2+(3/1792000*lambda[6]^6+1/89600*lambda[6]^4*lambda[5]-1/63000*lambda[6]^2*
lambda[5]^2-1/252000*lambda[5]^3+41/336000*lambda[6]^3*lambda[4]+19/504000*
lambda[6]*lambda[5]*lambda[4]+1/504000*lambda[4]^2+71/384000*lambda[6]^2*
lambda[3]+137/8064000*lambda[5]*lambda[3]+269/5376000*lambda[2]*lambda[6]-1/
64000*lambda[1])*v[6]^10*v[5]^6*v[4]*v[2]+(1/20*lambda[6]*lambda[5]*lambda[4]+
3/80*lambda[4]^2-1/32*lambda[5]*lambda[3]-1/40*lambda[2]*lambda[6]-1/40*lambda
[1])*v[6]^6*v[5]*v[4]^2*v[3]^2*v[2]+(27/179200*lambda[6]^6+3/4480*lambda[6]^4*
lambda[5]+1/448*lambda[6]^2*lambda[5]^2-1/8400*lambda[5]^3+237/44800*lambda[6]
^3*lambda[4]-9/2240*lambda[6]*lambda[5]*lambda[4]-23/26880*lambda[4]^2+99/
89600*lambda[6]^2*lambda[3]-37/38400*lambda[5]*lambda[3]-101/35840*lambda[2]*
lambda[6]-1/1792*lambda[1])*v[6]^5*v[5]^8*v[4]^2*v[3]+(-lambda[6]*lambda[5]*
lambda[4]-3/4*lambda[4]^2-3/8*lambda[5]*lambda[3]-1/2*lambda[2]*lambda[6]-1/2*
lambda[1])*v[6]^2*v[5]^3*v[4]^2*v[3]^2*v[2]+(1/120*lambda[6]^2*lambda[5]^2-1/
30*lambda[5]^3+3/80*lambda[6]^3*lambda[4]-2/15*lambda[6]*lambda[5]*lambda[4]-3
/40*lambda[4]^2-1/10*lambda[6]^2*lambda[3]+23/240*lambda[5]*lambda[3]-11/40*
lambda[2]*lambda[6]-1/10*lambda[1])*v[5]^6*v[4]*v[3]^2*v[2]+(-9/320*lambda[6]^
3*lambda[4]-3/80*lambda[6]*lambda[5]*lambda[4]+3/160*lambda[4]^2-3/160*lambda[
6]^2*lambda[3]-1/192*lambda[5]*lambda[3]-1/30*lambda[2]*lambda[6]-1/240*lambda
[1])*v[6]^6*v[5]^3*v[4]^3*v[3]^2+(-3/17920*lambda[6]^3*lambda[4]-1/4480*lambda
[6]*lambda[5]*lambda[4]+3/8960*lambda[4]^2-1/5120*lambda[6]^2*lambda[3]+1/
53760*lambda[5]*lambda[3]-5/21504*lambda[2]*lambda[6])*v[6]^9*v[5]^2*v[4]^4*v[
3]+(-1/560*lambda[6]^4*lambda[5]+1/210*lambda[6]^2*lambda[5]^2+1/105*lambda[5]
^3-9/140*lambda[6]^3*lambda[4]-13/210*lambda[6]*lambda[5]*lambda[4]-1/40*
lambda[4]^2-9/560*lambda[6]^2*lambda[3]-73/1680*lambda[5]*lambda[3]+11/112*
lambda[2]*lambda[6]+5/56*lambda[1])*v[6]*v[5]^7*v[4]*v[3]^3+(-1/8960*lambda[6]
^3*lambda[4]-1/6720*lambda[6]*lambda[5]*lambda[4]+1/4480*lambda[4]^2-1/4480*
lambda[6]^2*lambda[3]-1/840*lambda[5]*lambda[3]-1/448*lambda[2]*lambda[6]-1/
896*lambda[1])*v[6]^9*v[5]^2*v[3]^2*v[1]+(1/16*lambda[5]^3+9/16*lambda[6]*
lambda[5]*lambda[4]+19/32*lambda[4]^2+1/8*lambda[5]*lambda[3]-3/8*lambda[2]*
lambda[6]-3/8*lambda[1])*v[6]^2*v[5]^2*v[4]^2*v[3]^4+(9/640*lambda[6]^3*lambda
[4]+1/160*lambda[6]*lambda[5]*lambda[4]-1/320*lambda[4]^2+9/1280*lambda[6]^2*
lambda[3]+3/640*lambda[5]*lambda[3]+67/3840*lambda[2]*lambda[6]-7/960*lambda[1
])*v[6]^5*v[5]^4*v[4]^4*v[3]+(-2*lambda[4]^2+3/2*lambda[5]*lambda[3]-lambda[1]
)*v[6]*v[5]*v[4]^2*v[3]^3*v[2]+(1/3200*lambda[6]^4*lambda[5]+1/2400*lambda[6]^
2*lambda[5]^2+1/3600*lambda[5]^3+1/800*lambda[6]^3*lambda[4]+1/1200*lambda[6]*
lambda[5]*lambda[4]+1/900*lambda[4]^2-1/200*lambda[6]^2*lambda[3]-1/900*lambda
[5]*lambda[3]-1/80*lambda[2]*lambda[6]-3/640*lambda[1])*v[6]^6*v[5]^6*v[3]*v[1
]+(-1/4480*lambda[6]^3*lambda[4]+1/1680*lambda[6]*lambda[5]*lambda[4]-1/3360*
lambda[4]^2-1/2240*lambda[6]^2*lambda[3]-11/13440*lambda[5]*lambda[3]+11/6720*
lambda[2]*lambda[6]-1/960*lambda[1])*v[6]^9*v[5]*v[3]^3*v[2]+1/2*lambda[1]*v[6
]^2*v[3]*v[2]^2*v[1]+(3/281600*lambda[6]^6-23/492800*lambda[6]^4*lambda[5]+1/
92400*lambda[6]^2*lambda[5]^2+1/46200*lambda[5]^3-13/61600*lambda[6]^3*lambda[
4]-2/5775*lambda[6]*lambda[5]*lambda[4]-1/92400*lambda[4]^2+381/1971200*lambda
[6]^2*lambda[3]-7/105600*lambda[5]*lambda[3]+61/197120*lambda[2]*lambda[6]-3/
28160*lambda[1])*v[6]^4*v[5]^11*v[2]+(-3/17920*lambda[6]^2*lambda[5]^2-1/13440
*lambda[5]^3-9/4480*lambda[6]^3*lambda[4]+1/640*lambda[6]*lambda[5]*lambda[4]-\
17/10752*lambda[4]^2-3/4480*lambda[6]^2*lambda[3]-1/560*lambda[5]*lambda[3]-1/
384*lambda[2]*lambda[6]-1/384*lambda[1])*v[6]^8*v[5]*v[4]*v[3]^4+(-9/
1435033600*lambda[6]^6-3/89689600*lambda[6]^4*lambda[5]-1/1830400*lambda[6]^2*
lambda[5]^2+141/89689600*lambda[6]^3*lambda[4]-131/134534400*lambda[6]*lambda[
5]*lambda[4]-1/3449600*lambda[4]^2+43/143503360*lambda[6]^2*lambda[3]-1/
7884800*lambda[5]*lambda[3]+723/1435033600*lambda[2]*lambda[6])*v[6]^14*v[5]^4
*v[4]*v[2]+(1/4480*lambda[6]^6-1/3360*lambda[6]^4*lambda[5]-1/420*lambda[6]^2*
lambda[5]^2-1/224*lambda[6]^3*lambda[4]-1/280*lambda[6]*lambda[5]*lambda[4]-1/
420*lambda[4]^2-1/6720*lambda[6]^2*lambda[3]-1/560*lambda[5]*lambda[3]+33/4480
*lambda[2]*lambda[6]+3/320*lambda[1])*v[6]^3*v[5]^9*v[3]*v[2]+(-1/985600*
lambda[6]^3*lambda[4]+1/739200*lambda[6]*lambda[5]*lambda[4]+1/123200*lambda[4
]^2-9/1971200*lambda[6]^2*lambda[3]-1/98560*lambda[5]*lambda[3]+1/56320*lambda
[2]*lambda[6]+3/140800*lambda[1])*v[6]^12*v[5]*v[4]*v[2]^2+1/80*lambda[1]*v[6]
^6*v[5]*v[4]*v[1]^2+(-3/10*lambda[2]*lambda[6]-9/20*lambda[1])*v[5]^5*v[3]*v[2
]*v[1]+(-9/78848000*lambda[6]^6-2333/157696000*lambda[6]^4*lambda[5]+859/
177408000*lambda[6]^2*lambda[5]^2+13/22176000*lambda[5]^3-237/39424000*lambda[
6]^3*lambda[4]+131/88704000*lambda[6]*lambda[5]*lambda[4]+17/20275200*lambda[4
]^2-1/1689600*lambda[6]^2*lambda[3]-439/283852800*lambda[5]*lambda[3]-481/
47308800*lambda[2]*lambda[6]-1/281600*lambda[1])*v[6]^12*v[5]^6*v[3]^2+2*
lambda[1]*v[6]*v[4]*v[3]^2*v[2]*v[1]+(1/8*lambda[4]^2-3/16*lambda[5]*lambda[3]
-1/8*lambda[2]*lambda[6])*v[6]^4*v[4]^3*v[3]^2*v[2]+(1/89600*lambda[6]^4*
lambda[5]+1/33600*lambda[6]^2*lambda[5]^2+1/22400*lambda[6]^3*lambda[4]-17/
22400*lambda[6]*lambda[5]*lambda[4]-13/134400*lambda[4]^2-1/6400*lambda[6]^2*
lambda[3]-1/53760*lambda[5]*lambda[3]-1/11200*lambda[2]*lambda[6]+1/3200*
lambda[1])*v[6]^10*v[5]^3*v[3]^2*v[2]+(1/39424000*lambda[2]*lambda[6]+1/
78848000*lambda[1])*v[6]^17*v[5]*v[4]*v[1]+(3/64*lambda[6]^2*lambda[3]+1/96*
lambda[2]*lambda[6]+5/96*lambda[1])*v[6]^4*v[5]^3*v[4]^4*v[2]+(-1/26880*lambda
[6]^4*lambda[5]-1/5040*lambda[6]^2*lambda[5]^2-1/2240*lambda[6]^3*lambda[4]-47
/10080*lambda[6]*lambda[5]*lambda[4]+1/13440*lambda[4]^2-11/8960*lambda[6]^2*
lambda[3]-11/26880*lambda[5]*lambda[3]-19/8960*lambda[2]*lambda[6]-1/1920*
lambda[1])*v[6]^9*v[5]^3*v[4]*v[3]^3+(1/16*lambda[4]^2+1/32*lambda[5]*lambda[3
]-5/16*lambda[2]*lambda[6])*v[6]^4*v[5]^2*v[3]^2*v[2]^2+(1/6*lambda[2]*lambda[
6]+1/6*lambda[1])*v[5]^3*v[4]^3*v[3]*v[1]+(1/64*lambda[6]^2*lambda[5]^2+3/16*
lambda[6]^3*lambda[4]+17/48*lambda[6]*lambda[5]*lambda[4]+5/64*lambda[4]^2+1/
16*lambda[6]^2*lambda[3]+1/24*lambda[5]*lambda[3]-7/48*lambda[2]*lambda[6]-7/
48*lambda[1])*v[6]^4*v[5]^3*v[4]*v[3]^4+(-2579/7175168000*lambda[6]^6+3083/
1655808000*lambda[6]^4*lambda[5]-313/192192000*lambda[6]^2*lambda[5]^2-367/
1345344000*lambda[5]^3-509/215255040*lambda[6]^3*lambda[4]+1/672672*lambda[6]*
lambda[5]*lambda[4]+61/89689600*lambda[4]^2+15157/4305100800*lambda[6]^2*
lambda[3]+589/538137600*lambda[5]*lambda[3]-155/28700672*lambda[2]*lambda[6]-3
/1171456*lambda[1])*v[6]^2*v[5]^16-2*lambda[1]*v[6]*v[5]*v[4]*v[2]^2*v[1]+1/4*
lambda[1]*v[6]^3*v[5]^2*v[3]*v[1]^2-1/64*lambda[1]*v[6]^4*v[5]^4*v[1]^2+(3/
4480*lambda[6]^3*lambda[4]+1/1120*lambda[6]*lambda[5]*lambda[4]+1/1680*lambda[
4]^2+27/8960*lambda[6]^2*lambda[3]+1/2240*lambda[5]*lambda[3]+23/8960*lambda[2
]*lambda[6]+1/640*lambda[1])*v[6]^8*v[5]^3*v[4]*v[2]^2+(14787/2009047040000*
lambda[6]^6-6459/2009047040000*lambda[6]^4*lambda[5]-173/251130880000*lambda[6
]^2*lambda[5]^2+293/1130088960000*lambda[5]^3-67897/4018094080000*lambda[6]^3*
lambda[4]-4357/821882880000*lambda[6]*lambda[5]*lambda[4]-547/645765120000*
lambda[4]^2-8061/8036188160000*lambda[6]^2*lambda[3]-673/516612096000*lambda[5
]*lambda[3]+887/62619648000*lambda[2]*lambda[6]+1/252313600*lambda[1])*v[6]^16
*v[5]^7*v[4]+1/32*lambda[2]*lambda[6]*v[6]^3*v[5]^6*v[4]^2*v[1]+(543/
1103872000*lambda[6]^6+487/551936000*lambda[6]^4*lambda[5]+61/827904000*lambda
[6]^2*lambda[5]^2-1/88704000*lambda[5]^3+197/946176000*lambda[6]^3*lambda[4]-\
331/4967424000*lambda[6]*lambda[5]*lambda[4]-13/496742400*lambda[4]^2+607/
13246464000*lambda[6]^2*lambda[3]+61/1986969600*lambda[5]*lambda[3]+653/
2649292800*lambda[2]*lambda[6]+3/63078400*lambda[1])*v[6]^12*v[5]^9*v[4]+(87/
1103872000*lambda[6]^2*lambda[3]+1/39424000*lambda[5]*lambda[3]+29/551936000*
lambda[2]*lambda[6]-1/22528000*lambda[1])*v[6]^16*v[5]*v[4]^2*v[2]+(-1/960*
lambda[5]^3-3/320*lambda[6]*lambda[5]*lambda[4]+53/1920*lambda[4]^2-1/160*
lambda[5]*lambda[3]-1/96*lambda[2]*lambda[6]-1/96*lambda[1])*v[6]^6*v[4]^2*v[3
]^4+(-1/112*lambda[2]*lambda[6]-1/224*lambda[1])*v[6]*v[5]^9*v[4]*v[1]+(3/
44800*lambda[6]^6-1/11200*lambda[6]^4*lambda[5]-1/1400*lambda[6]^2*lambda[5]^2
+3/2800*lambda[6]^3*lambda[4]-1/1400*lambda[6]*lambda[5]*lambda[4]+1/1400*
lambda[4]^2-17/4480*lambda[6]^2*lambda[3]-3/4480*lambda[5]*lambda[3]-29/8960*
lambda[2]*lambda[6]-9/2240*lambda[1])*v[6]^2*v[5]^10*v[4]*v[2]+(21/40*lambda[4
]^2+3/80*lambda[5]*lambda[3]+3/20*lambda[2]*lambda[6]+1/20*lambda[1])*v[6]^2*v
[5]*v[4]^5*v[3]^2+(3/2595688775680000*lambda[6]^6-3/324461096960000*lambda[6]^
4*lambda[5]+97/112313456640000*lambda[6]^2*lambda[5]^2-11881/3285168606720000*
lambda[5]^3+4847/1946766581760000*lambda[6]^3*lambda[4]-1259/208582133760000*
lambda[6]*lambda[5]*lambda[4]+67/5675704320000*lambda[4]^2-9743/
3893533163520000*lambda[6]^2*lambda[3]+8521/1668657070080000*lambda[5]*lambda[
3]+43/2889449472000*lambda[2]*lambda[6]+7/227028172800*lambda[1])*v[6]^21*v[4]
^2*v[3]+(-1/2*lambda[6]*lambda[5]*lambda[4]+1/3*lambda[4]^2+3/4*lambda[6]^2*
lambda[3]-1/12*lambda[5]*lambda[3]+11/12*lambda[2]*lambda[6]+1/6*lambda[1])*v[
6]^3*v[5]^2*v[4]*v[3]^3*v[2]+(-1/120*lambda[2]*lambda[6]+1/120*lambda[1])*v[6]
^5*v[5]^3*v[4]^3*v[1]+(-1/80*lambda[6]^3*lambda[4]+1/20*lambda[6]*lambda[5]*
lambda[4]+1/40*lambda[4]^2-1/8*lambda[6]^2*lambda[3]-1/4*lambda[2]*lambda[6]-1
/8*lambda[1])*v[6]*v[5]^6*v[3]^2*v[1]+(-3/40*lambda[2]*lambda[6]-1/20*lambda[1
])*v[6]*v[5]^7*v[2]*v[1]+(1/22400*lambda[2]*lambda[6]+1/44800*lambda[1])*v[6]^
10*v[4]^2*v[3]*v[1]+(-1/2*lambda[5]*lambda[3]-3/4*lambda[2]*lambda[6]-lambda[1
])*v[6]^2*v[5]^2*v[4]*v[2]^3+(1/280*lambda[6]*lambda[5]*lambda[4]+1/60*lambda[
4]^2-3/560*lambda[6]^2*lambda[3]+1/80*lambda[5]*lambda[3]+1/336*lambda[2]*
lambda[6]+1/120*lambda[1])*v[6]^7*v[4]*v[3]^3*v[2]+(1/20*lambda[4]^2+3/40*
lambda[5]*lambda[3]+3/80*lambda[2]*lambda[6]-1/20*lambda[1])*v[6]^5*v[4]^2*v[3
]*v[2]^2+(9/89600*lambda[6]^3*lambda[4]-3/22400*lambda[6]*lambda[5]*lambda[4]+
13/44800*lambda[4]^2+1/44800*lambda[6]^2*lambda[3]+1/53760*lambda[5]*lambda[3]
-1/3360*lambda[2]*lambda[6]-1/3200*lambda[1])*v[6]^10*v[5]*v[4]^3*v[3]^2+(23/8
*lambda[4]^2+1/2*lambda[2]*lambda[6]+1/2*lambda[1])*v[5]*v[4]^3*v[3]^4+(-3/
12812800*lambda[6]^4*lambda[5]-1/9609600*lambda[6]^2*lambda[5]^2-17/14414400*
lambda[5]^3-3/3203200*lambda[6]^3*lambda[4]-1/4804800*lambda[6]*lambda[5]*
lambda[4]-1/200200*lambda[4]^2+1/512512*lambda[6]^2*lambda[3]-97/19219200*
lambda[5]*lambda[3]+51/3203200*lambda[2]*lambda[6]+9/915200*lambda[1])*v[6]^13
*v[5]^2*v[4]*v[3]*v[2]+(3/358758400*lambda[6]^4*lambda[5]+1/269068800*lambda[6
]^2*lambda[5]^2+17/403603200*lambda[5]^3+3/89689600*lambda[6]^3*lambda[4]+1/
134534400*lambda[6]*lambda[5]*lambda[4]+1/5605600*lambda[4]^2-47/22422400*
lambda[6]^2*lambda[3]-1/2242240*lambda[5]*lambda[3]-3/800800*lambda[2]*lambda[
6]-3/2050048*lambda[1])*v[6]^14*v[5]^2*v[3]*v[1]+(-1/140800*lambda[2]*lambda[6
]-3/492800*lambda[1])*v[6]^13*v[5]*v[2]*v[1]+(5/8*lambda[4]^2+1/2*lambda[5]*
lambda[3]+1/2*lambda[2]*lambda[6]+3/2*lambda[1])*v[6]^2*v[4]*v[3]^4*v[2]+(-9/
179200*lambda[6]^6-1/4480*lambda[6]^4*lambda[5]-1/1344*lambda[6]^2*lambda[5]^2
+1/25200*lambda[5]^3+17/11200*lambda[6]^3*lambda[4]-23/16800*lambda[6]*lambda[
5]*lambda[4]-13/50400*lambda[4]^2-153/89600*lambda[6]^2*lambda[3]-227/806400*
lambda[5]*lambda[3]-173/179200*lambda[2]*lambda[6]+1/22400*lambda[1])*v[6]^6*v
[5]^8*v[4]*v[2]+(-9/17920*lambda[6]^2*lambda[3]-1/4480*lambda[5]*lambda[3]-9/
8960*lambda[2]*lambda[6]-1/1280*lambda[1])*v[6]^8*v[5]*v[4]^4*v[2]+1/16*lambda
[2]*lambda[6]*v[6]^3*v[5]^2*v[4]^4*v[1]+(1/1463734272000*lambda[6]^4*lambda[5]
-1/274450176000*lambda[6]^2*lambda[5]^2-37/2470051584000*lambda[5]^3+1/
365933568000*lambda[6]^3*lambda[4]-1/137225088000*lambda[6]*lambda[5]*lambda[4
]+1/1867008000*lambda[4]^2-9/37531648000*lambda[6]^2*lambda[3]+1/4900896000*
lambda[5]*lambda[3]+59/56297472000*lambda[2]*lambda[6]-1/1148928000*lambda[1])
*v[6]^18*v[2]^2+(9/205004800*lambda[6]^6+3/12812800*lambda[6]^4*lambda[5]+7/
1830400*lambda[6]^2*lambda[5]^2+543/51251200*lambda[6]^3*lambda[4]+1/422400*
lambda[6]*lambda[5]*lambda[4]-1/4659200*lambda[4]^2-37/9318400*lambda[6]^2*
lambda[3]-1/9318400*lambda[5]*lambda[3]-1427/205004800*lambda[2]*lambda[6]-27/
7321600*lambda[1])*v[6]^13*v[5]^4*v[4]^2*v[3]-1/8*lambda[1]*v[6]^2*v[4]^4*v[3]
*v[1]+(1/985600*lambda[6]^3*lambda[4]-1/739200*lambda[6]*lambda[5]*lambda[4]-1
/123200*lambda[4]^2-1/39424*lambda[2]*lambda[6]-23/985600*lambda[1])*v[6]^12*v
[5]*v[4]*v[3]*v[1]+(-3/8960*lambda[6]^4*lambda[5]+1/672*lambda[6]^2*lambda[5]^
2-1/1680*lambda[5]^3-61/4480*lambda[6]^3*lambda[4]-53/3360*lambda[6]*lambda[5]
*lambda[4]+1/640*lambda[4]^2-1/320*lambda[6]^2*lambda[3]+19/26880*lambda[5]*
lambda[3]+3/448*lambda[2]*lambda[6]-1/448*lambda[1])*v[6]^2*v[5]^9*v[4]*v[3]^2
+(9/1280*lambda[6]^4*lambda[5]+3/320*lambda[6]^2*lambda[5]^2+1/160*lambda[5]^3
+3/320*lambda[6]^3*lambda[4]+7/96*lambda[6]*lambda[5]*lambda[4]-43/1920*lambda
[4]^2+3/320*lambda[6]^2*lambda[3]+1/1280*lambda[5]*lambda[3]+3/128*lambda[2]*
lambda[6])*v[6]^4*v[5]^6*v[4]^2*v[3]^2+(1/20*lambda[4]^2+1/40*lambda[5]*lambda
[3]+1/16*lambda[2]*lambda[6]+1/10*lambda[1])*v[6]*v[5]^2*v[4]^6*v[3]+(1/40*
lambda[6]^3*lambda[4]-1/10*lambda[6]*lambda[5]*lambda[4]-1/20*lambda[4]^2-1/80
*lambda[6]^2*lambda[3]-3/40*lambda[5]*lambda[3]+7/80*lambda[2]*lambda[6]+1/10*
lambda[1])*v[6]*v[5]^6*v[3]*v[2]^2+(-3/160*lambda[6]^3*lambda[4]-1/120*lambda[
6]*lambda[5]*lambda[4]+1/240*lambda[4]^2-9/320*lambda[6]^2*lambda[3]-3/160*
lambda[5]*lambda[3]-13/320*lambda[2]*lambda[6]-3/80*lambda[1])*v[6]^5*v[5]^4*v
[3]*v[2]^2+(-1/17920*lambda[6]^2*lambda[3]+17/134400*lambda[5]*lambda[3]+23/
89600*lambda[2]*lambda[6]+1/3200*lambda[1])*v[6]^10*v[5]^2*v[4]^3*v[2]+(-23/
3942400*lambda[6]^6+181/5913600*lambda[6]^4*lambda[5]-29/739200*lambda[6]^2*
lambda[5]^2+1/24640*lambda[5]^3-13/1478400*lambda[6]^3*lambda[4]-1/8800*lambda
[6]*lambda[5]*lambda[4]+3/123200*lambda[4]^2+113/1689600*lambda[6]^2*lambda[3]
-43/246400*lambda[5]*lambda[3]+3/11264*lambda[2]*lambda[6]-1/39424*lambda[1])*
v[6]^2*v[5]^12*v[4]^2+(-1/3*lambda[6]*lambda[5]*lambda[4]-1/3*lambda[4]^2-3/4*
lambda[6]^2*lambda[3]-1/2*lambda[2]*lambda[6]+1/2*lambda[1])*v[6]^3*v[5]^3*v[4
]*v[3]*v[2]^2+(-1/2956800*lambda[6]^2*lambda[5]^2+1/1108800*lambda[5]^3-3/
1971200*lambda[6]^3*lambda[4]+1/739200*lambda[6]*lambda[5]*lambda[4]-3/140800*
lambda[4]^2-1/492800*lambda[6]^2*lambda[3]+41/5913600*lambda[5]*lambda[3]+3/
985600*lambda[2]*lambda[6]+1/17600*lambda[1])*v[6]^12*v[4]*v[3]^2*v[2]+(17/
44800*lambda[6]^4*lambda[5]+7/2400*lambda[6]^2*lambda[5]^2-19/50400*lambda[5]^
3-41/22400*lambda[6]^3*lambda[4]-127/16800*lambda[6]*lambda[5]*lambda[4]-19/
28800*lambda[4]^2-53/11200*lambda[6]^2*lambda[3]-61/57600*lambda[5]*lambda[3]-\
1/2240*lambda[2]*lambda[6]+1/448*lambda[1])*v[6]^6*v[5]^7*v[4]*v[3]^2+1/10*
lambda[1]*v[6]*v[5]*v[4]^5*v[1]+(3/65228800*lambda[6]^4*lambda[5]+313/
269068800*lambda[6]^2*lambda[5]^2-17/807206400*lambda[5]^3-1017/358758400*
lambda[6]^3*lambda[4]-389/89689600*lambda[6]*lambda[5]*lambda[4]-503/
1076275200*lambda[4]^2-1/179379200*lambda[6]^2*lambda[3]-1721/2152550400*
lambda[5]*lambda[3]+1/5125120*lambda[2]*lambda[6]-3/3660800*lambda[1])*v[6]^14
*v[5]^3*v[4]*v[3]^2+3/560*lambda[1]*v[6]^7*v[3]*v[1]^2+(-1/2*lambda[4]^2+3/4*
lambda[5]*lambda[3]+1/2*lambda[2]*lambda[6]+2*lambda[1])*v[5]^2*v[4]^3*v[3]^2*
v[2]+(3/1254400*lambda[6]^6+209/940800*lambda[6]^4*lambda[5]-11/47040*lambda[6
]^2*lambda[5]^2+1/176400*lambda[5]^3-151/156800*lambda[6]^3*lambda[4]-97/
313600*lambda[6]*lambda[5]*lambda[4]-17/2822400*lambda[4]^2-237/1254400*lambda
[6]^2*lambda[3]-109/2822400*lambda[5]*lambda[3]+1/3584*lambda[2]*lambda[6]+1/
17920*lambda[1])*v[6]^7*v[5]^9*v[4]*v[3]+(3/34563645276160000*lambda[6]^6+2103
/23453902151680000*lambda[6]^4*lambda[5]-150611/369398958888960000*lambda[6]^2
*lambda[5]^2-16669/831147657500160000*lambda[5]^3-4649/35180853227520000*
lambda[6]^3*lambda[4]+432353/295519167111168000*lambda[6]*lambda[5]*lambda[4]-\
1069/2010334470144000*lambda[4]^2-1602421/1970127780741120000*lambda[6]^2*
lambda[3]+80099/211085119365120000*lambda[5]*lambda[3]+607/309282226176000*
lambda[2]*lambda[6]+241/574381277184000*lambda[1])*v[6]^23*v[5]*v[4]*v[3]+(-1/
71680*lambda[6]^4*lambda[5]+47/672000*lambda[6]^2*lambda[5]^2+1/56000*lambda[5
]^3-423/896000*lambda[6]^3*lambda[4]+37/134400*lambda[6]*lambda[5]*lambda[4]-\
11/896000*lambda[4]^2-89/448000*lambda[6]^2*lambda[3]+121/5376000*lambda[5]*
lambda[3]-3/17920*lambda[2]*lambda[6]-1/12800*lambda[1])*v[6]^10*v[5]^5*v[4]*v
[3]^2+(-7/64*lambda[4]^2-1/128*lambda[5]*lambda[3]-1/64*lambda[2]*lambda[6])*v
[6]^4*v[5]^2*v[4]^4*v[3]^2+(-1/123200*lambda[6]^3*lambda[4]+89/739200*lambda[6
]*lambda[5]*lambda[4]+13/739200*lambda[4]^2-3/492800*lambda[6]^2*lambda[3]+19/
739200*lambda[5]*lambda[3]+1/105600*lambda[2]*lambda[6]+1/211200*lambda[1])*v[
6]^11*v[5]^3*v[4]^3*v[3]+(3/1600*lambda[6]^4*lambda[5]+7/1200*lambda[6]^2*
lambda[5]^2+1/200*lambda[5]^3+9/200*lambda[6]^3*lambda[4]+13/300*lambda[6]*
lambda[5]*lambda[4]+11/2400*lambda[4]^2-17/1600*lambda[6]^2*lambda[3]-1/4800*
lambda[5]*lambda[3]-59/960*lambda[2]*lambda[6]-13/480*lambda[1])*v[6]^5*v[5]^5
*v[4]*v[3]^3+(-1/179200*lambda[6]^4*lambda[5]-1/67200*lambda[6]^2*lambda[5]^2-\
1/44800*lambda[6]^3*lambda[4]-1/33600*lambda[6]*lambda[5]*lambda[4]-1/33600*
lambda[4]^2-1/2240*lambda[6]^2*lambda[3]-11/44800*lambda[2]*lambda[6]-1/179200
*lambda[1])*v[6]^10*v[5]^4*v[3]*v[1]+(-3/160*lambda[6]^3*lambda[4]+3/40*lambda
[6]*lambda[5]*lambda[4]+3/80*lambda[4]^2+1/320*lambda[6]^2*lambda[3]+3/160*
lambda[5]*lambda[3]+11/192*lambda[2]*lambda[6]+1/24*lambda[1])*v[6]*v[5]^6*v[4
]^4*v[3]+(-1/112*lambda[2]*lambda[6]-1/224*lambda[1])*v[6]^5*v[5]^7*v[4]*v[1]+
(-3/20*lambda[6]*lambda[5]*lambda[4]-17/120*lambda[4]^2-3/80*lambda[6]^2*
lambda[3]-1/48*lambda[5]*lambda[3]-13/240*lambda[2]*lambda[6]-13/120*lambda[1]
)*v[6]^5*v[5]*v[4]^3*v[3]^3+(-3/2800*lambda[6]^3*lambda[4]+19/5600*lambda[6]*
lambda[5]*lambda[4]+17/16800*lambda[4]^2-9/11200*lambda[6]^2*lambda[3]+1/1680*
lambda[5]*lambda[3]-1/336*lambda[2]*lambda[6]-1/960*lambda[1])*v[6]^7*v[5]^5*v
[4]^3*v[3]+(9/9856000*lambda[6]^6+3/492800*lambda[6]^4*lambda[5]-1/115500*
lambda[6]^2*lambda[5]^2-1/462000*lambda[5]^3-27/352000*lambda[6]^3*lambda[4]+
13/1848000*lambda[6]*lambda[5]*lambda[4]-1/308000*lambda[4]^2+7/140800*lambda[
6]^2*lambda[3]+31/3696000*lambda[5]*lambda[3]+841/9856000*lambda[2]*lambda[6]-\
9/704000*lambda[1])*v[6]^11*v[5]^5*v[3]*v[2]+(297/89600*lambda[6]^2*lambda[3]+
1/2800*lambda[5]*lambda[3]+99/44800*lambda[2]*lambda[6]+11/12800*lambda[1])*v[
6]^8*v[5]^5*v[4]^2*v[2]+(-3/44800*lambda[6]^6+1/11200*lambda[6]^4*lambda[5]+1/
1400*lambda[6]^2*lambda[5]^2+3/11200*lambda[6]^3*lambda[4]-13/2800*lambda[6]*
lambda[5]*lambda[4]-23/11200*lambda[4]^2+1/896*lambda[6]^2*lambda[3]-3/4480*
lambda[5]*lambda[3]+9/1792*lambda[2]*lambda[6]+1/224*lambda[1])*v[6]*v[5]^10*v
[4]^2*v[3]+(1/492800*lambda[6]^6+47/369600*lambda[6]^4*lambda[5]-1/1925*lambda
[6]^2*lambda[5]^2-1/11550*lambda[5]^3-69/61600*lambda[6]^3*lambda[4]+57/123200
*lambda[6]*lambda[5]*lambda[4]+9/123200*lambda[4]^2-593/1478400*lambda[6]^2*
lambda[3]+7/26400*lambda[5]*lambda[3]-3/1408*lambda[2]*lambda[6]-9/9856*lambda
[1])*v[6]^3*v[5]^11*v[4]*v[3]+(-1/6720*lambda[2]*lambda[6]+1/2240*lambda[1])*v
[6]^9*v[5]*v[4]^3*v[1]+(3/1120*lambda[6]^4*lambda[5]-1/105*lambda[6]^2*lambda[
5]^2-1/210*lambda[5]^3-9/280*lambda[6]^3*lambda[4]-61/840*lambda[6]*lambda[5]*
lambda[4]+3/560*lambda[4]^2+1/80*lambda[6]^2*lambda[3]+1/3360*lambda[5]*lambda
[3]+11/140*lambda[2]*lambda[6]-1/40*lambda[1])*v[6]^2*v[5]^7*v[3]^2*v[2]+(1/
492800*lambda[6]^2*lambda[5]^2-1/184800*lambda[5]^3+1/985600*lambda[6]^3*
lambda[4]+1/46200*lambda[6]*lambda[5]*lambda[4]+1/42240*lambda[4]^2+1/123200*
lambda[6]^2*lambda[3]-101/2956800*lambda[5]*lambda[3]+1/147840*lambda[2]*
lambda[6]-1/42240*lambda[1])*v[6]^11*v[4]^2*v[3]^3+(3/2240*lambda[6]^2*lambda[
3]-3/560*lambda[5]*lambda[3]+1/1120*lambda[2]*lambda[6]+3/2240*lambda[1])*v[5]
^9*v[4]^2*v[2]+(-7/2560*lambda[4]^2-1/5120*lambda[5]*lambda[3]-11/17920*lambda
[2]*lambda[6]-1/640*lambda[1])*v[6]^8*v[4]^4*v[3]^2+(-3/4480*lambda[6]^4*
lambda[5]+1/420*lambda[6]^2*lambda[5]^2+1/840*lambda[5]^3-3/1120*lambda[6]^3*
lambda[4]+1/210*lambda[6]*lambda[5]*lambda[4]+1/280*lambda[4]^2-1/40*lambda[6]
^2*lambda[3]-1/210*lambda[5]*lambda[3]-1/32*lambda[2]*lambda[6]-1/128*lambda[1
])*v[6]^2*v[5]^8*v[3]*v[1]+(-3/2800*lambda[6]*lambda[5]*lambda[4]-3/2800*
lambda[4]^2-9/11200*lambda[6]^2*lambda[3]-1/2800*lambda[5]*lambda[3]-13/5600*
lambda[2]*lambda[6]-1/800*lambda[1])*v[6]^7*v[5]*v[4]^5*v[3]+(-219/9856000*
lambda[6]^6-31/4928000*lambda[6]^4*lambda[5]-107/3696000*lambda[6]^2*lambda[5]
^2+1/616000*lambda[5]^3-547/8448000*lambda[6]^3*lambda[4]+199/14784000*lambda[
6]*lambda[5]*lambda[4]+17/4224000*lambda[4]^2+4063/118272000*lambda[6]^2*
lambda[3]-87/19712000*lambda[5]*lambda[3]-113/1576960*lambda[2]*lambda[6]-1/
56320*lambda[1])*v[6]^5*v[5]^12*v[3]+(9/320*lambda[6]^2*lambda[3]+1/80*lambda[
5]*lambda[3]+1/160*lambda[2]*lambda[6]+1/40*lambda[1])*v[6]^6*v[5]^2*v[4]^2*v[
2]^2+(3/1120*lambda[2]*lambda[6]-11/2240*lambda[1])*v[6]^8*v[5]*v[3]*v[2]*v[1]
+(3/121977856000*lambda[6]^4*lambda[5]-1/7623616000*lambda[6]^2*lambda[5]^2-37
/68612544000*lambda[5]^3+3/30494464000*lambda[6]^3*lambda[4]-1/3811808000*
lambda[6]*lambda[5]*lambda[4]+3/155584000*lambda[4]^2-3/7175168000*lambda[6]^2
*lambda[3]+433/22870848000*lambda[5]*lambda[3]+3/326144000*lambda[2]*lambda[6]
+1/36608000*lambda[1])*v[6]^17*v[4]*v[3]*v[2]+(-1/4*lambda[6]*lambda[5]*lambda
[4]+1/8*lambda[4]^2+1/2*lambda[2]*lambda[6]-1/2*lambda[1])*v[5]^3*v[3]^4*v[2]+
(1/4480*lambda[6]^3*lambda[4]+1/3360*lambda[6]*lambda[5]*lambda[4]-1/2240*
lambda[4]^2+1/1280*lambda[6]^2*lambda[3]-1/13440*lambda[5]*lambda[3]-9/8960*
lambda[2]*lambda[6])*v[6]^9*v[5]^2*v[3]*v[2]^2+(lambda[2]*lambda[6]+lambda[1])
*v[6]^3*v[5]*v[3]^2*v[2]*v[1]+(1/8*lambda[4]^2-1/8*lambda[6]^2*lambda[3]-3/8*
lambda[2]*lambda[6]-1/4*lambda[1])*v[5]^4*v[3]^3*v[1]+(1/140*lambda[6]*lambda[
5]*lambda[4]+1/140*lambda[4]^2+9/560*lambda[6]^2*lambda[3]+1/140*lambda[5]*
lambda[3]+1/56*lambda[2]*lambda[6]+1/40*lambda[1])*v[6]^7*v[5]*v[4]*v[3]*v[2]^
2+(-3/4480*lambda[6]^3*lambda[4]-1/1120*lambda[6]*lambda[5]*lambda[4]-1/1680*
lambda[4]^2-29/4480*lambda[2]*lambda[6]-11/4480*lambda[1])*v[6]^8*v[5]^3*v[4]*
v[3]*v[1]+(-1/2*lambda[2]*lambda[6]-lambda[1])*v[6]*v[5]^3*v[4]^2*v[2]*v[1]+(3
/140*lambda[6]^3*lambda[4]+11/280*lambda[6]*lambda[5]*lambda[4]-1/280*lambda[4
]^2+9/560*lambda[6]^2*lambda[3]+3/280*lambda[5]*lambda[3]+1/168*lambda[2]*
lambda[6]-1/336*lambda[1])*v[6]^3*v[5]^7*v[4]^3*v[3]+(-1/5605600*lambda[6]^6-\
197/44844800*lambda[6]^4*lambda[5]+151/6726720*lambda[6]^2*lambda[5]^2-17/
2102100*lambda[5]^3+87/89689600*lambda[6]^3*lambda[4]-3121/67267200*lambda[6]*
lambda[5]*lambda[4]+603/44844800*lambda[4]^2+1511/179379200*lambda[6]^2*lambda
[3]+8809/269068800*lambda[5]*lambda[3]+233/7175168*lambda[2]*lambda[6]-1/18304
*lambda[1])*v[6]*v[5]^14*v[3]-1/4*lambda[2]*lambda[6]*v[6]^3*v[5]^2*v[2]^2*v[1
]+(17/4480*lambda[2]*lambda[6]+3/1120*lambda[1])*v[6]^7*v[5]^4*v[4]^2*v[1]+(
931803/571051530649600000*lambda[6]^6+303071/244736370278400000*lambda[6]^4*
lambda[5]+1005383/2569731887923200000*lambda[6]^2*lambda[5]^2-356123/
11563793495654400000*lambda[5]^3-18113/22541507788800000*lambda[6]^3*lambda[4]
+594089/1284865943961600000*lambda[6]*lambda[5]*lambda[4]+151/1668657070080000
*lambda[4]^2-403999/244736370278400000*lambda[6]^2*lambda[3]+13709/
104887015833600000*lambda[5]*lambda[3]-191/174811693056000*lambda[2]*lambda[6]
-13/38420152320000*lambda[1])*v[6]^22*v[5]^6+(3/40*lambda[5]*lambda[3]+9/80*
lambda[2]*lambda[6]+1/20*lambda[1])*v[6]^2*v[5]^2*v[4]^5*v[2]+(-1/8*lambda[2]*
lambda[6]+3/16*lambda[1])*v[6]^2*v[5]^4*v[4]^2*v[3]*v[1]+(3/1793792000*lambda[
6]^6+1/512512000*lambda[6]^4*lambda[5]-3599/8072064000*lambda[6]^2*lambda[5]^2
-31/201801600*lambda[5]^3-31/489216000*lambda[6]^3*lambda[4]-9/22422400*lambda
[6]*lambda[5]*lambda[4]-43/358758400*lambda[4]^2+1/51744000*lambda[6]^2*lambda
[3]-17/430510080*lambda[5]*lambda[3]+17/51251200*lambda[2]*lambda[6]+3/7321600
*lambda[1])*v[6]^15*v[5]^2*v[3]^3+(-3/160*lambda[6]^3*lambda[4]-1/120*lambda[6
]*lambda[5]*lambda[4]+1/60*lambda[4]^2-27/320*lambda[6]^2*lambda[3]-3/80*
lambda[5]*lambda[3]+9/320*lambda[2]*lambda[6]+3/160*lambda[1])*v[6]^4*v[5]^5*v
[4]*v[2]^2+(-27/71680*lambda[6]^4*lambda[5]-9/8960*lambda[6]^2*lambda[5]^2-33/
17920*lambda[6]^3*lambda[4]+1/640*lambda[6]*lambda[5]*lambda[4]+7/15360*lambda
[4]^2-9/8960*lambda[6]^2*lambda[3]+3/10240*lambda[5]*lambda[3]+143/35840*
lambda[2]*lambda[6]+3/1280*lambda[1])*v[6]^8*v[5]^4*v[4]^2*v[3]^2+(1/179200*
lambda[6]^4*lambda[5]+1/67200*lambda[6]^2*lambda[5]^2+1/44800*lambda[6]^3*
lambda[4]+1/33600*lambda[6]*lambda[5]*lambda[4]+1/33600*lambda[4]^2-31/179200*
lambda[6]^2*lambda[3]-1/44800*lambda[5]*lambda[3]+19/89600*lambda[2]*lambda[6]
+3/12800*lambda[1])*v[6]^10*v[5]^4*v[2]^2+(-3/358758400*lambda[6]^4*lambda[5]-\
1/269068800*lambda[6]^2*lambda[5]^2-17/403603200*lambda[5]^3-9/89689600*lambda
[6]^3*lambda[4]-641/269068800*lambda[6]*lambda[5]*lambda[4]+3/25625600*lambda[
4]^2+1/16307200*lambda[6]^2*lambda[3]-1721/1076275200*lambda[5]*lambda[3]-53/
22422400*lambda[2]*lambda[6]-3/1830400*lambda[1])*v[6]^14*v[5]*v[3]^2*v[2]+(27
/160*lambda[6]^3*lambda[4]+3/40*lambda[6]*lambda[5]*lambda[4]+23/80*lambda[4]^
2+3/16*lambda[6]^2*lambda[3]+1/32*lambda[5]*lambda[3]+1/6*lambda[2]*lambda[6]+
1/24*lambda[1])*v[6]^2*v[5]^5*v[4]^3*v[3]^2+(3/4480*lambda[6]^4*lambda[5]-1/
420*lambda[6]^2*lambda[5]^2-1/840*lambda[5]^3+3/1120*lambda[6]^3*lambda[4]-1/
210*lambda[6]*lambda[5]*lambda[4]-1/280*lambda[4]^2-29/4480*lambda[6]^2*lambda
[3]-1/1680*lambda[5]*lambda[3]-11/2240*lambda[2]*lambda[6]+3/320*lambda[1])*v[
6]^2*v[5]^8*v[2]^2+(57/2240*lambda[6]^2*lambda[3]-9/1120*lambda[5]*lambda[3]+
19/1120*lambda[2]*lambda[6]-13/2240*lambda[1])*v[6]^4*v[5]^7*v[4]^2*v[2]+(-1/
16*lambda[2]*lambda[6]-1/8*lambda[1])*v[6]^4*v[5]*v[4]^3*v[2]^2+(3/
975822848000*lambda[6]^6+1/731867136000*lambda[6]^4*lambda[5]-43/54890035200*
lambda[6]^2*lambda[5]^2-31/123502579200*lambda[5]^3+409/182966784000*lambda[6]
^3*lambda[4]+239/274450176000*lambda[6]*lambda[5]*lambda[4]-1/7037184000*
lambda[4]^2+5451/487911424000*lambda[6]^2*lambda[3]+607/627314688000*lambda[5]
*lambda[3]+9421/2927468544000*lambda[2]*lambda[6]+1/1148928000*lambda[1])*v[6]
^18*v[5]^2*v[4]*v[2]+(3/656709260247040000*lambda[6]^6-3/82088657530880000*
lambda[6]^4*lambda[5]+97/28415304529920000*lambda[6]^2*lambda[5]^2-11881/
831147657500160000*lambda[5]^3-1/100516723507200*lambda[6]^3*lambda[4]+191/
3769377131520000*lambda[6]*lambda[5]*lambda[4]-1/13807242240000*lambda[4]^2-41
/1256459043840000*lambda[6]^2*lambda[3]+41/471172141440000*lambda[5]*lambda[3]
-1/281165660160000*lambda[2]*lambda[6]-1/70291415040000*lambda[1])*v[6]^23*v[1
]+(3/2*lambda[4]^2+3/4*lambda[5]*lambda[3]+3/2*lambda[2]*lambda[6]+2*lambda[1]
)*v[4]^2*v[3]^2*v[2]^2+2/5*lambda[1]*v[6]*v[4]^5*v[3]*v[2]+(lambda[6]*lambda[5
]*lambda[4]-3/2*lambda[4]^2+1/4*lambda[6]^2*lambda[3]+1/4*lambda[5]*lambda[3]+
7/12*lambda[2]*lambda[6]-1/6*lambda[1])*v[6]*v[5]^3*v[4]^3*v[3]^3+(1/16*lambda
[6]^2*lambda[5]^2+1/32*lambda[6]^3*lambda[4]+1/6*lambda[6]*lambda[5]*lambda[4]
+11/48*lambda[4]^2+1/32*lambda[5]*lambda[3]-1/8*lambda[2]*lambda[6]-1/16*
lambda[1])*v[6]^3*v[5]^4*v[4]^2*v[3]^3+(-17/800*lambda[2]*lambda[6]-9/400*
lambda[1])*v[6]^5*v[5]^5*v[2]*v[1]+(123/1971200*lambda[6]^2*lambda[3]-1/197120
*lambda[5]*lambda[3]+41/985600*lambda[2]*lambda[6]+3/281600*lambda[1])*v[6]^12
*v[5]^3*v[4]^2*v[2]+(-87/12544000*lambda[6]^6-2647/75264000*lambda[6]^4*lambda
[5]-97/18816000*lambda[6]^2*lambda[5]^2-1/3528000*lambda[5]^3-3/50176000*
lambda[6]^3*lambda[4]+89/37632000*lambda[6]*lambda[5]*lambda[4]+17/225792000*
lambda[4]^2+33/20070400*lambda[6]^2*lambda[3]+61/90316800*lambda[5]*lambda[3]-\
13/4014080*lambda[2]*lambda[6])*v[6]^9*v[5]^10*v[3]+(-4971/14350336000*lambda[
6]^6+2207/3587584000*lambda[6]^4*lambda[5]+673/4036032000*lambda[6]^2*lambda[5
]^2-1/64576512*lambda[5]^3+233/3444080640*lambda[6]^3*lambda[4]+7699/
64576512000*lambda[6]*lambda[5]*lambda[4]-4369/129153024000*lambda[4]^2-42041/
57401344000*lambda[6]^2*lambda[3]+7883/258306048000*lambda[5]*lambda[3]+3187/
34440806400*lambda[2]*lambda[6]+9/58572800*lambda[1])*v[6]^13*v[5]^8*v[3]+(1/
280*lambda[6]^3*lambda[4]-1/70*lambda[6]*lambda[5]*lambda[4]+1/35*lambda[4]^2+
9/560*lambda[6]^2*lambda[3]-9/140*lambda[5]*lambda[3]-3/560*lambda[2]*lambda[6
]-31/280*lambda[1])*v[5]^7*v[4]*v[2]^2+(-3681/1219778560000*lambda[6]^6-85467/
4879114240000*lambda[6]^4*lambda[5]-17819/3659335680000*lambda[6]^2*lambda[5]^
2-359/686125440000*lambda[5]^3-45371/9758228480000*lambda[6]^3*lambda[4]+69599
/21956014080000*lambda[6]*lambda[5]*lambda[4]+281/675569664000*lambda[4]^2-\
28187/19516456960000*lambda[6]^2*lambda[3]+147457/87824056320000*lambda[5]*
lambda[3]-3517/1672839168000*lambda[2]*lambda[6]-1/585728000*lambda[1])*v[6]^
17*v[5]^6*v[3]+(-1/123200*lambda[2]*lambda[6]-1/30800*lambda[1])*v[6]^11*v[4]*
v[2]*v[1]+(79/985600*lambda[2]*lambda[6]+1/123200*lambda[1])*v[6]^11*v[5]^2*v[
4]^2*v[1]+(1/27596800*lambda[6]^2*lambda[3]+1/5913600*lambda[5]*lambda[3]+23/
82790400*lambda[2]*lambda[6])*v[6]^14*v[4]^3*v[2]-1/2*lambda[1]*v[6]^2*v[5]*v[
2]*v[1]^2+(1/25625600*lambda[6]^3*lambda[4]-1/19219200*lambda[6]*lambda[5]*
lambda[4]+1/1830400*lambda[4]^2-1/12812800*lambda[6]^2*lambda[3]-1/480480*
lambda[5]*lambda[3]-3/1281280*lambda[2]*lambda[6]-43/12812800*lambda[1])*v[6]^
13*v[3]^2*v[1]+(1/4480*lambda[6]^2*lambda[3]-1/1680*lambda[5]*lambda[3]+1/6720
*lambda[2]*lambda[6])*v[6]^9*v[4]^3*v[3]*v[2]+(3/78848000*lambda[6]^6-139/
137984000*lambda[6]^4*lambda[5]-47/31046400*lambda[6]^2*lambda[5]^2-1/9702000*
lambda[5]^3+289/51744000*lambda[6]^3*lambda[4]-1/9702000*lambda[6]*lambda[5]*
lambda[4]+1/11088000*lambda[4]^2+2781/551936000*lambda[6]^2*lambda[3]+1/
3880800*lambda[5]*lambda[3]+419/827904000*lambda[2]*lambda[6]+3/5632000*lambda
[1])*v[6]^12*v[5]^7*v[2]+(-3/28552576532480000*lambda[6]^6+3/3569072066560000*
lambda[6]^4*lambda[5]-97/1235448023040000*lambda[6]^2*lambda[5]^2+11881/
36136854673920000*lambda[5]^3+1/4370292326400*lambda[6]^3*lambda[4]-191/
163885962240000*lambda[6]*lambda[5]*lambda[4]+1/600314880000*lambda[4]^2+2369/
6118409256960000*lambda[6]^2*lambda[3]-1/866834841600*lambda[5]*lambda[3]-151/
941293731840000*lambda[2]*lambda[6]+13/2401259520000*lambda[1])*v[6]^22*v[4]*v
[2]+(9/7884800*lambda[6]^4*lambda[5]+1/1971200*lambda[6]^2*lambda[5]^2+17/
2956800*lambda[5]^3+19/1971200*lambda[6]^3*lambda[4]+31/422400*lambda[6]*
lambda[5]*lambda[4]-1/157696*lambda[4]^2+1/1971200*lambda[6]^2*lambda[3]+83/
23654400*lambda[5]*lambda[3]-37/788480*lambda[2]*lambda[6]-1/70400*lambda[1])*
v[6]^12*v[5]^2*v[4]^2*v[3]^2+(-3/6400*lambda[6]^2*lambda[3]-1/4800*lambda[5]*
lambda[3]-17/9600*lambda[2]*lambda[6]-1/800*lambda[1])*v[6]^6*v[5]^2*v[4]^6+(-\
1/2*lambda[2]*lambda[6]-lambda[1])*v[6]^3*v[5]*v[3]*v[2]^3+(-3/1793792000*
lambda[6]^6-1/112112000*lambda[6]^4*lambda[5]-1/6864000*lambda[6]^2*lambda[5]^
2-37/89689600*lambda[6]^3*lambda[4]-43/77616000*lambda[6]*lambda[5]*lambda[4]-\
17/168168000*lambda[4]^2-1921/2690688000*lambda[6]^2*lambda[3]-1/13453440*
lambda[5]*lambda[3]-1081/5381376000*lambda[2]*lambda[6]-1/18304000*lambda[1])*
v[6]^15*v[5]^3*v[3]*v[2]+(3/3200*lambda[6]^3*lambda[4]+1/2400*lambda[6]*lambda
[5]*lambda[4]-1/1200*lambda[4]^2+27/6400*lambda[6]^2*lambda[3]+3/1600*lambda[5
]*lambda[3]+41/3840*lambda[2]*lambda[6]+11/1920*lambda[1])*v[6]^4*v[5]^5*v[4]^
5+(1/12*lambda[2]*lambda[6]+1/12*lambda[1])*v[6]*v[5]^5*v[4]^3*v[1]+(-3/89600*
lambda[6]^3*lambda[4]-1/22400*lambda[6]*lambda[5]*lambda[4]-1/33600*lambda[4]^
2-27/179200*lambda[6]^2*lambda[3]-1/44800*lambda[5]*lambda[3]+17/179200*lambda
[2]*lambda[6]+13/38400*lambda[1])*v[6]^8*v[5]^3*v[4]^5+(-1/160*lambda[6]^2*
lambda[5]^2+1/40*lambda[5]^3-3/40*lambda[6]^3*lambda[4]-3/40*lambda[6]*lambda[
5]*lambda[4]+3/160*lambda[4]^2-1/40*lambda[6]^2*lambda[3]-1/10*lambda[5]*
lambda[3]+1/8*lambda[2]*lambda[6]+1/8*lambda[1])*v[5]^5*v[4]*v[3]^4+(3/4480*
lambda[6]^2*lambda[3]+1/3360*lambda[5]*lambda[3]+3/2240*lambda[2]*lambda[6]-1/
320*lambda[1])*v[6]^8*v[5]*v[2]^3+(-9/32*lambda[6]^2*lambda[3]-5/16*lambda[2]*
lambda[6]-1/8*lambda[1])*v[6]^2*v[5]^4*v[4]^2*v[2]^2+(-9/82001920000*lambda[6]
^6-1761/143503360000*lambda[6]^4*lambda[5]-47/107627520000*lambda[6]^2*lambda[
5]^2+37/80720640000*lambda[5]^3-27/366080000*lambda[6]^3*lambda[4]-163/
13453440000*lambda[6]*lambda[5]*lambda[4]+17/13453440000*lambda[4]^2-13191/
574013440000*lambda[6]^2*lambda[3]-241/61501440000*lambda[5]*lambda[3]+7797/
287006720000*lambda[2]*lambda[6]+9/450560000*lambda[1])*v[6]^16*v[5]^5*v[2]+(-\
27/975822848000*lambda[6]^6-3/243955712000*lambda[6]^4*lambda[5]+43/6098892800
*lambda[6]^2*lambda[5]^2+31/13722508800*lambda[5]^3+717/34850816000*lambda[6]^
3*lambda[4]+1179/60988928000*lambda[6]*lambda[5]*lambda[4]+57/9758228480*
lambda[4]^2+1863/69701632000*lambda[6]^2*lambda[3]-263/487911424000*lambda[5]*
lambda[3]-369/139403264000*lambda[2]*lambda[6]-1/146432000*lambda[1])*v[6]^17*
v[5]^2*v[4]^2*v[3]+(-3/8*lambda[4]^2-3/16*lambda[5]*lambda[3]+3/8*lambda[2]*
lambda[6]+3/2*lambda[1])*v[5]^4*v[3]^2*v[2]^2+(1/19712000*lambda[6]^3*lambda[4
]-1/14784000*lambda[6]*lambda[5]*lambda[4]-1/2464000*lambda[4]^2+9/39424000*
lambda[6]^2*lambda[3]+1/1971200*lambda[5]*lambda[3]+67/23654400*lambda[2]*
lambda[6]-3/2816000*lambda[1])*v[6]^12*v[5]*v[4]^5+lambda[1]*v[5]*v[4]^2*v[3]*
v[2]*v[1]+(3/716800*lambda[6]^6+503/5376000*lambda[6]^4*lambda[5]-11/224000*
lambda[6]^2*lambda[5]^2-1/168000*lambda[5]^3+23/448000*lambda[6]^3*lambda[4]+
11/336000*lambda[6]*lambda[5]*lambda[4]+1/112000*lambda[4]^2-31/102400*lambda[
6]^2*lambda[3]+11/537600*lambda[5]*lambda[3]-17/71680*lambda[2]*lambda[6]-1/
17920*lambda[1])*v[6]^6*v[5]^10*v[4]^2+(-1/48*lambda[4]^2+3/16*lambda[6]^2*
lambda[3]+1/12*lambda[5]*lambda[3]+19/48*lambda[2]*lambda[6]+5/24*lambda[1])*v
[6]^4*v[5]^2*v[3]^3*v[1]+(-3/18540634112000*lambda[6]^6-1/13905475584000*
lambda[6]^4*lambda[5]+43/1042910668800*lambda[6]^2*lambda[5]^2+31/
2346549004800*lambda[5]^3-409/3476368896000*lambda[6]^3*lambda[4]-239/
5214553344000*lambda[6]*lambda[5]*lambda[4]+1/133706496000*lambda[4]^2+9/
16554137600*lambda[6]^2*lambda[3]-1/46558512000*lambda[5]*lambda[3]+4649/
7945986048000*lambda[2]*lambda[6]+1/7640371200*lambda[1])*v[6]^19*v[5]^2*v[1]+
lambda[1]*v[5]*v[4]^2*v[2]^3+(1/40*lambda[6]^2*lambda[3]-1/10*lambda[5]*lambda
[3]+1/20*lambda[2]*lambda[6]-1/20*lambda[1])*v[5]^5*v[2]^3+(3/4*lambda[6]*
lambda[5]*lambda[4]-1/24*lambda[4]^2+1/6*lambda[5]*lambda[3]+1/6*lambda[2]*
lambda[6]+1/6*lambda[1])*v[6]^3*v[5]*v[4]*v[3]^5+(117/10035200*lambda[6]^6-\
4699/20070400*lambda[6]^4*lambda[5]-17/47040*lambda[6]^2*lambda[5]^2-143/
11289600*lambda[5]^3-61/716800*lambda[6]^3*lambda[4]+9/313600*lambda[6]*lambda
[5]*lambda[4]+2189/90316800*lambda[4]^2+69/1254400*lambda[6]^2*lambda[3]+251/
7225344*lambda[5]*lambda[3]-281/2007040*lambda[2]*lambda[6]-1/10240*lambda[1])
*v[6]^8*v[5]^8*v[3]^2+(-3/89600*lambda[6]^4*lambda[5]-1/51200*lambda[6]^2*
lambda[5]^2-17/107520*lambda[5]^3-1/12800*lambda[6]^3*lambda[4]-31/107520*
lambda[6]*lambda[5]*lambda[4]-1/30720*lambda[4]^2+1/12800*lambda[6]^2*lambda[3
]-3/17920*lambda[5]*lambda[3]+1/7680*lambda[2]*lambda[6]+1/7680*lambda[1])*v[6
]^10*v[5]^2*v[3]^4+(15/8*lambda[4]^2+1/2*lambda[1])*v[6]*v[4]^2*v[3]^5-1/4*
lambda[2]*lambda[6]*v[6]^3*v[5]^4*v[4]*v[2]*v[1]+(1/560*lambda[2]*lambda[6]+1/
140*lambda[1])*v[6]^7*v[2]^2*v[1]+(3/57401344000*lambda[6]^6+1/3587584000*
lambda[6]^4*lambda[5]+1/219648000*lambda[6]^2*lambda[5]^2+37/2870067200*lambda
[6]^3*lambda[4]+43/2483712000*lambda[6]*lambda[5]*lambda[4]+17/5381376000*
lambda[4]^2-563/86102016000*lambda[6]^2*lambda[3]+1/236544000*lambda[5]*lambda
[3]-337/24600576000*lambda[2]*lambda[6]-1/135168000*lambda[1])*v[6]^16*v[5]^3*
v[4]^3-1/4*lambda[1]*v[6]^2*v[4]^4*v[2]^2+(1/2*lambda[4]^2+lambda[2]*lambda[6]
+lambda[1])*v[6]^2*v[5]*v[4]*v[3]^3*v[1]+(-3/370812682240000*lambda[6]^6-1/
278109511680000*lambda[6]^4*lambda[5]+43/20858213376000*lambda[6]^2*lambda[5]^
2+31/46930980096000*lambda[5]^3+1613/278109511680000*lambda[6]^3*lambda[4]-\
7717/208582133760000*lambda[6]*lambda[5]*lambda[4]-47/4966241280000*lambda[4]^
2+8289/185406341120000*lambda[6]^2*lambda[3]-23/1702711296000*lambda[5]*lambda
[3]+16657/158919720960000*lambda[2]*lambda[6]+79/873185280000*lambda[1])*v[6]^
20*v[5]*v[4]^3+(-1/1463734272000*lambda[6]^4*lambda[5]+1/274450176000*lambda[6
]^2*lambda[5]^2+37/2470051584000*lambda[5]^3-1/365933568000*lambda[6]^3*lambda
[4]+1/137225088000*lambda[6]*lambda[5]*lambda[4]-1/1867008000*lambda[4]^2-3/
6098892800*lambda[6]^2*lambda[3]+139/68612544000*lambda[5]*lambda[3]+29/
52276224000*lambda[2]*lambda[6]+233/209104896000*lambda[1])*v[6]^18*v[3]*v[1]+
(1/120*lambda[5]*lambda[3]+1/80*lambda[2]*lambda[6])*v[6]^6*v[4]*v[2]^3+(-3/
78848000*lambda[6]^6-1/3942400*lambda[6]^4*lambda[5]+1/2772000*lambda[6]^2*
lambda[5]^2+1/11088000*lambda[5]^3+9/2816000*lambda[6]^3*lambda[4]-13/44352000
*lambda[6]*lambda[5]*lambda[4]+1/7392000*lambda[4]^2+43/4730880*lambda[6]^2*
lambda[3]-1/5913600*lambda[5]*lambda[3]+57/15769600*lambda[2]*lambda[6]-1/
1126400*lambda[1])*v[6]^12*v[5]^5*v[4]^3+(-1/44800*lambda[6]^6+1/33600*lambda[
6]^4*lambda[5]+1/4200*lambda[6]^2*lambda[5]^2-1/2800*lambda[6]^3*lambda[4]+1/
4200*lambda[6]*lambda[5]*lambda[4]-1/4200*lambda[4]^2-1/840*lambda[6]^2*lambda
[3]-1/1792*lambda[2]*lambda[6])*v[6]^3*v[5]^10*v[1]+(-1/280*lambda[6]^3*lambda
[4]+1/70*lambda[6]*lambda[5]*lambda[4]-1/35*lambda[4]^2-3/56*lambda[2]*lambda[
6]-5/56*lambda[1])*v[5]^7*v[4]*v[3]*v[1]+(3/22400*lambda[6]^6+47/44800*lambda[
6]^4*lambda[5]-11/11200*lambda[6]^2*lambda[5]^2-1/2520*lambda[5]^3-1/3200*
lambda[6]^3*lambda[4]-1/1050*lambda[6]*lambda[5]*lambda[4]+1/8064*lambda[4]^2+
1/1050*lambda[6]^2*lambda[3]+157/403200*lambda[5]*lambda[3]+1/2688*lambda[2]*
lambda[6]-1/1920*lambda[1])*v[6]^7*v[5]^6*v[3]^3+(-9/57401344000*lambda[6]^4*
lambda[5]+3/3587584000*lambda[6]^2*lambda[5]^2+37/10762752000*lambda[5]^3-27/
14350336000*lambda[6]^3*lambda[4]+29/896896000*lambda[6]*lambda[5]*lambda[4]+
57/585728000*lambda[4]^2+3/3587584000*lambda[6]^2*lambda[3]+6917/172204032000*
lambda[5]*lambda[3]+3/164003840*lambda[2]*lambda[6]+1/29286400*lambda[1])*v[6]
^16*v[4]^2*v[3]^2+(9/2508800*lambda[6]^6+1/62720*lambda[6]^4*lambda[5]+1/18816
*lambda[6]^2*lambda[5]^2-1/352800*lambda[5]^3+43/627200*lambda[6]^3*lambda[4]+
3/22400*lambda[6]*lambda[5]*lambda[4]+1/100800*lambda[4]^2-39/250880*lambda[6]
^2*lambda[3]+19/564480*lambda[5]*lambda[3]-193/1505280*lambda[2]*lambda[6]-1/
107520*lambda[1])*v[6]^8*v[5]^7*v[4]^3+(1/6*lambda[4]^2+1/12*lambda[5]*lambda[
3]-1/6*lambda[2]*lambda[6]-1/6*lambda[1])*v[6]^3*v[3]^3*v[2]^2+(3/1435033600*
lambda[6]^4*lambda[5]+1/1076275200*lambda[6]^2*lambda[5]^2+17/1614412800*
lambda[5]^3+3/358758400*lambda[6]^3*lambda[4]+1/538137600*lambda[6]*lambda[5]*
lambda[4]+1/22422400*lambda[4]^2+31/110387200*lambda[6]^2*lambda[3]-1/
102502400*lambda[5]*lambda[3]-1/23654400*lambda[2]*lambda[6])*v[6]^14*v[5]^2*v
[4]^4+(-3/28672000*lambda[6]^6+989/100352000*lambda[6]^4*lambda[5]+17/3225600*
lambda[6]^2*lambda[5]^2+17/56448000*lambda[5]^3+761/75264000*lambda[6]^3*
lambda[4]-1/14112000*lambda[6]*lambda[5]*lambda[4]-31/56448000*lambda[4]^2+
6533/602112000*lambda[6]^2*lambda[3]-209/225792000*lambda[5]*lambda[3]+457/
60211200*lambda[2]*lambda[6]+1/286720*lambda[1])*v[6]^10*v[5]^8*v[4]^2+3/20*
lambda[1]*v[5]*v[4]^6*v[2]+(-3/17920*lambda[6]^4*lambda[5]+1/1680*lambda[6]^2*
lambda[5]^2+1/3360*lambda[5]^3-3/4480*lambda[6]^3*lambda[4]+1/840*lambda[6]*
lambda[5]*lambda[4]+1/1120*lambda[4]^2+29/17920*lambda[6]^2*lambda[3]+1/6720*
lambda[5]*lambda[3]+5/5376*lambda[2]*lambda[6]-19/5376*lambda[1])*v[6]^2*v[5]^
8*v[4]^4+(1/12800*lambda[6]^4*lambda[5]+1/9600*lambda[6]^2*lambda[5]^2+1/14400
*lambda[5]^3+1/3200*lambda[6]^3*lambda[4]+1/4800*lambda[6]*lambda[5]*lambda[4]
+1/3600*lambda[4]^2+17/12800*lambda[6]^2*lambda[3]-7/57600*lambda[5]*lambda[3]
-1/3840*lambda[2]*lambda[6]-1/1920*lambda[1])*v[6]^6*v[5]^6*v[4]^4+(-1/716800*
lambda[6]^4*lambda[5]-1/268800*lambda[6]^2*lambda[5]^2-1/179200*lambda[6]^3*
lambda[4]-1/134400*lambda[6]*lambda[5]*lambda[4]-1/134400*lambda[4]^2+31/
716800*lambda[6]^2*lambda[3]+1/179200*lambda[5]*lambda[3]+17/153600*lambda[2]*
lambda[6]+7/153600*lambda[1])*v[6]^10*v[5]^4*v[4]^4+(-3/3200*lambda[6]^4*
lambda[5]-1/800*lambda[6]^2*lambda[5]^2-1/1200*lambda[5]^3+3/800*lambda[6]^3*
lambda[4]-29/2400*lambda[6]*lambda[5]*lambda[4]-17/4800*lambda[4]^2+3/320*
lambda[6]^2*lambda[3]-73/9600*lambda[5]*lambda[3]+1/50*lambda[2]*lambda[6]+9/
800*lambda[1])*v[6]^6*v[5]^5*v[3]^2*v[2]+(-3/32*lambda[6]^2*lambda[5]^2+1/8*
lambda[6]*lambda[5]*lambda[4]+1/32*lambda[4]^2-1/4*lambda[2]*lambda[6]-1/8*
lambda[1])*v[6]*v[5]^4*v[3]^5+(3/640*lambda[6]^4*lambda[5]+31/2560*lambda[6]^2
*lambda[5]^2+1/3840*lambda[5]^3+3/640*lambda[6]^3*lambda[4]+11/3840*lambda[6]*
lambda[5]*lambda[4]-1/1536*lambda[4]^2-3/640*lambda[6]^2*lambda[3]+1/640*
lambda[5]*lambda[3]+1/384*lambda[2]*lambda[6]+1/384*lambda[1])*v[6]^6*v[5]^4*v
[3]^4+(1087461/2772889180467101696000000*lambda[6]^6-195873/
145941535814057984000000*lambda[6]^4*lambda[5]-4758029/
12478001312101957632000000*lambda[6]^2*lambda[5]^2-88427/
205681340309372928000000*lambda[5]^3+3282523/2079666885350326272000000*lambda[
6]^3*lambda[4]+39601/9002886949568512000000*lambda[6]*lambda[5]*lambda[4]+5199
/7073696888946688000000*lambda[4]^2-65827/13059132718055424000000*lambda[6]^2*
lambda[3]+3257/1865590388293632000000*lambda[5]*lambda[3]-1413/
155465865691136000000*lambda[2]*lambda[6]-7/1708416106496000000*lambda[1])*v[6
]^30*v[5]^2+(-3/1433600*lambda[6]^6-269/7526400*lambda[6]^4*lambda[5]+1/376320
*lambda[6]^2*lambda[5]^2+1/1411200*lambda[5]^3-57/313600*lambda[6]^3*lambda[4]
-1/33600*lambda[6]*lambda[5]*lambda[4]-1/176400*lambda[4]^2-333/10035200*
lambda[6]^2*lambda[3]-29/4515840*lambda[5]*lambda[3]+7/102400*lambda[2]*lambda
[6]+3/102400*lambda[1])*v[6]^8*v[5]^9*v[2]+(44283/1854063411200000*lambda[6]^6
+2039/26741299200000*lambda[6]^4*lambda[5]+22283/1390547558400000*lambda[6]^2*
lambda[5]^2+36263/9386196019200000*lambda[5]^3+3923/444975218688000*lambda[6]^
3*lambda[4]-67003/1668657070080000*lambda[6]*lambda[5]*lambda[4]-3193/
463515852800000*lambda[4]^2+30967/674204876800000*lambda[6]^2*lambda[3]-4627/
340542259200000*lambda[5]*lambda[3]+6949/90811269120000*lambda[2]*lambda[6]+79
/3492741120000*lambda[1])*v[6]^20*v[5]^5*v[4]+(-1/40*lambda[4]^2+1/40*lambda[1
])*v[6]^5*v[4]^2*v[3]^2*v[1]+(-3/1971200*lambda[6]^6-113/11827200*lambda[6]^4*
lambda[5]-1283/8870400*lambda[6]^2*lambda[5]^2+1/739200*lambda[5]^3-7/281600*
lambda[6]^3*lambda[4]-13/277200*lambda[6]*lambda[5]*lambda[4]-1/394240*lambda[
4]^2-23/492800*lambda[6]^2*lambda[3]+101/11827200*lambda[5]*lambda[3]+1/33792*
lambda[2]*lambda[6]+1/168960*lambda[1])*v[6]^11*v[5]^4*v[3]^3+(1671/275968000*
lambda[6]^6-2143/165580800*lambda[6]^4*lambda[5]-1/616000*lambda[6]^2*lambda[5
]^2-53/155232000*lambda[5]^3-1669/110387200*lambda[6]^3*lambda[4]+41/27596800*
lambda[6]*lambda[5]*lambda[4]+403/620928000*lambda[4]^2-2557/1103872000*lambda
[6]^2*lambda[3]+2993/2483712000*lambda[5]*lambda[3]-283/44154880*lambda[2]*
lambda[6]-9/3153920*lambda[1])*v[6]^8*v[5]^11*v[4]+(-3/358758400*lambda[6]^4*
lambda[5]-1/269068800*lambda[6]^2*lambda[5]^2-17/403603200*lambda[5]^3-3/
89689600*lambda[6]^3*lambda[4]-1/134534400*lambda[6]*lambda[5]*lambda[4]-1/
5605600*lambda[4]^2-31/27596800*lambda[6]^2*lambda[3]+1/25625600*lambda[5]*
lambda[3]-23/13798400*lambda[2]*lambda[6])*v[6]^14*v[5]^2*v[2]^2+(3/
52973240320000*lambda[6]^6-4861/278109511680000*lambda[6]^4*lambda[5]-17/
511230720000*lambda[6]^2*lambda[5]^2-31/46930980096000*lambda[5]^3+811/
3160335360000*lambda[6]^3*lambda[4]+1/50139936000*lambda[6]*lambda[5]*lambda[4
]-149/17381844480000*lambda[4]^2+68157/370812682240000*lambda[6]^2*lambda[3]+
23/1702711296000*lambda[5]*lambda[3]-15437/556219023360000*lambda[2]*lambda[6]
-79/873185280000*lambda[1])*v[6]^20*v[5]^3*v[2]+(1/640*lambda[4]^2+1/1280*
lambda[5]*lambda[3]+1/4480*lambda[2]*lambda[6]+1/160*lambda[1])*v[6]^8*v[3]^2*
v[2]^2+(3/358758400*lambda[6]^4*lambda[5]-179/4305100800*lambda[6]^2*lambda[5]
^2-1093/6457651200*lambda[5]^3+1/32614400*lambda[6]^3*lambda[4]-27/143503360*
lambda[6]*lambda[5]*lambda[4]-1/17571840*lambda[4]^2-1/32614400*lambda[6]^2*
lambda[3]-1/43051008*lambda[5]*lambda[3]+1/4392960*lambda[2]*lambda[6]+1/
4392960*lambda[1])*v[6]^14*v[3]^4+(-1/400*lambda[4]^2-1/800*lambda[5]*lambda[3
]-1/320*lambda[2]*lambda[6]-1/400*lambda[1])*v[6]^5*v[4]^6*v[3]+(-1/1920*
lambda[4]^2-3/4480*lambda[6]^2*lambda[3]+1/560*lambda[5]*lambda[3]-11/13440*
lambda[2]*lambda[6]-1/6720*lambda[1])*v[6]^8*v[3]^3*v[1]+(-1/35840*lambda[6]^6
+1/26880*lambda[6]^4*lambda[5]+1/3360*lambda[6]^2*lambda[5]^2+1/1792*lambda[6]
^3*lambda[4]+1/2240*lambda[6]*lambda[5]*lambda[4]+1/3360*lambda[4]^2+1/53760*
lambda[6]^2*lambda[3]-1/4480*lambda[5]*lambda[3]-13/7168*lambda[2]*lambda[6]-\
11/10752*lambda[1])*v[6]^4*v[5]^9*v[4]^3+(-3/19712000*lambda[6]^6-1/985600*
lambda[6]^4*lambda[5]+1/693000*lambda[6]^2*lambda[5]^2+1/2772000*lambda[5]^3-\
41/3696000*lambda[6]^3*lambda[4]-19/5544000*lambda[6]*lambda[5]*lambda[4]-1/
5544000*lambda[4]^2+1/1848000*lambda[6]^2*lambda[3]-1/693000*lambda[5]*lambda[
3]+83/11827200*lambda[2]*lambda[6]+1/492800*lambda[1])*v[6]^11*v[5]^6*v[1]+(
8859/4780843414598451200000*lambda[6]^6+2501/2390421707299225600000*lambda[6]^
4*lambda[5]-95867/3585632560948838400000*lambda[6]^2*lambda[5]^2-1933/
265967250400051200000*lambda[5]^3+23853/9561686829196902400000*lambda[6]^3*
lambda[4]+221519/3073399337956147200000*lambda[6]*lambda[5]*lambda[4]+439/
10453739244748800000*lambda[4]^2-307/8187544023859200000*lambda[6]^2*lambda[3]
+239/9649605456691200000*lambda[5]*lambda[3]-2777/12866140608921600000*lambda[
2]*lambda[6]-1/70693080268800000*lambda[1])*v[6]^28*v[5]*v[4]+(-9/8960*lambda[
6]^4*lambda[5]+1/280*lambda[6]^2*lambda[5]^2+1/560*lambda[5]^3+1/448*lambda[6]
^3*lambda[4]-1/56*lambda[6]*lambda[5]*lambda[4]-151/4480*lambda[4]^2+1/280*
lambda[6]^2*lambda[3]-73/8960*lambda[5]*lambda[3]+25/896*lambda[2]*lambda[6]+5
/224*lambda[1])*v[5]^8*v[4]^2*v[3]^2+(-1/1830400*lambda[6]^6+3/640640*lambda[6
]^4*lambda[5]-9/800800*lambda[6]^2*lambda[5]^2+1/200200*lambda[5]^3-3/400400*
lambda[6]^3*lambda[4]+3/100100*lambda[6]*lambda[5]*lambda[4]-3/100100*lambda[4
]^2+7/1830400*lambda[6]^2*lambda[3]-7/457600*lambda[5]*lambda[3]+9/1281280*
lambda[2]*lambda[6]+23/183040*lambda[1])*v[5]^13*v[2]+(-lambda[4]^2-3/2*lambda
[5]*lambda[3]-3/4*lambda[2]*lambda[6]-2*lambda[1])*v[6]*v[5]^2*v[4]^2*v[3]*v[2
]^2+(-3/89600*lambda[6]^2*lambda[3]+1/11200*lambda[5]*lambda[3]+1/44800*lambda
[2]*lambda[6]+1/3200*lambda[1])*v[6]^10*v[4]^2*v[2]^2+(-1/640*lambda[2]*lambda
[6]-1/2240*lambda[1])*v[6]^9*v[5]^3*v[2]*v[1]+(9/7806582784000*lambda[6]^6+
1427/1672839168000*lambda[6]^4*lambda[5]+773/878240563200*lambda[6]^2*lambda[5
]^2-37/6586804224000*lambda[5]^3+103/139403264000*lambda[6]^3*lambda[4]+787/
1097800704000*lambda[6]*lambda[5]*lambda[4]-23/731867136000*lambda[4]^2-8227/
7806582784000*lambda[6]^2*lambda[3]+1/13069056000*lambda[5]*lambda[3]-2287/
1672839168000*lambda[2]*lambda[6]-1/3063808000*lambda[1])*v[6]^18*v[5]^4*v[4]^
2+(-3/28700672000*lambda[6]^6+3247/14350336000*lambda[6]^4*lambda[5]+47/
1793792000*lambda[6]^2*lambda[5]^2-1/403603200*lambda[5]^3+57/275968000*lambda
[6]^3*lambda[4]+1/64576512*lambda[6]*lambda[5]*lambda[4]-113/8072064000*lambda
[4]^2-3937/17220403200*lambda[6]^2*lambda[3]-53/9225216000*lambda[5]*lambda[3]
-323/1230028800*lambda[2]*lambda[6])*v[6]^14*v[5]^6*v[4]^2+(-17/179200*lambda[
6]^6-47/43008*lambda[6]^4*lambda[5]+1/19200*lambda[6]^2*lambda[5]^2-1/11200*
lambda[5]^3+19/89600*lambda[6]^3*lambda[4]-19/22400*lambda[6]*lambda[5]*lambda
[4]+1/537600*lambda[4]^2-13/26880*lambda[6]^2*lambda[3]+17/71680*lambda[5]*
lambda[3]+9/7168*lambda[2]*lambda[6])*v[6]^4*v[5]^10*v[3]^2+(-1/5854937088000*
lambda[6]^4*lambda[5]+1/1097800704000*lambda[6]^2*lambda[5]^2+37/9880206336000
*lambda[5]^3-1/1463734272000*lambda[6]^3*lambda[4]+1/548900352000*lambda[6]*
lambda[5]*lambda[4]-1/7468032000*lambda[4]^2+9/150126592000*lambda[6]^2*lambda
[3]-1/19603584000*lambda[5]*lambda[3]+1/2924544000*lambda[2]*lambda[6]+1/
4595712000*lambda[1])*v[6]^18*v[4]^4+(-1/17920*lambda[6]^2*lambda[5]^2+1/6720*
lambda[5]^3-1/4480*lambda[6]*lambda[5]*lambda[4]-1/7680*lambda[4]^2+1/3360*
lambda[5]*lambda[3]-1/6720*lambda[2]*lambda[6]+1/1920*lambda[1])*v[6]^9*v[3]^5
+(1/12*lambda[2]*lambda[6]-1/6*lambda[1])*v[5]^3*v[4]^3*v[2]^2+1/2*lambda[1]*v
[6]^2*v[3]^2*v[1]^2+(-8859/138644459023355084800000*lambda[6]^6+25989/
17330557377919385600000*lambda[6]^4*lambda[5]-3183/509722275821158400000*
lambda[6]^2*lambda[5]^2+40237/7713050261601484800000*lambda[5]^3+2297/
1584508103124058112000*lambda[6]^3*lambda[4]+107/2546530880020807680000*lambda
[6]*lambda[5]*lambda[4]+1337/173233393198694400000*lambda[4]^2-409/
1406368138867507200000*lambda[6]^2*lambda[3]-42733/3917739815416627200000*
lambda[5]*lambda[3]+71/53302582522675200000*lambda[2]*lambda[6]-421/
13325645630668800000*lambda[1])*v[6]^29*v[3]+(3/160*lambda[6]^3*lambda[4]+1/
120*lambda[6]*lambda[5]*lambda[4]-1/60*lambda[4]^2+1/32*lambda[2]*lambda[6]-1/
32*lambda[1])*v[6]^4*v[5]^5*v[4]*v[3]*v[1]+(1/20*lambda[6]*lambda[5]*lambda[4]
+1/20*lambda[4]^2+3/80*lambda[6]^2*lambda[3]+11/120*lambda[2]*lambda[6]+13/120
*lambda[1])*v[6]^3*v[5]^3*v[4]^5*v[3]+(3/51251200*lambda[6]^3*lambda[4]-1/
12812800*lambda[6]*lambda[5]*lambda[4]+3/3660800*lambda[4]^2+1/9318400*lambda[
6]^2*lambda[3]+1/13977600*lambda[5]*lambda[3]+29/61501440*lambda[2]*lambda[6]+
9/3660800*lambda[1])*v[6]^13*v[4]^4*v[3]+(-1/2*lambda[4]^2+1/2*lambda[2]*
lambda[6]+lambda[1])*v[4]^2*v[3]^3*v[1]-13/8960*lambda[1]*v[6]^8*v[5]^2*v[1]^2
+(-1/5600*lambda[6]^3*lambda[4]+1/1400*lambda[6]*lambda[5]*lambda[4]-1/700*
lambda[4]^2-9/11200*lambda[6]^2*lambda[3]+9/2800*lambda[5]*lambda[3]-1/2240*
lambda[2]*lambda[6]+3/1120*lambda[1])*v[5]^7*v[4]^5+lambda[1]*v[4]*v[2]*v[1]^2
-1/4*lambda[1]*v[5]^2*v[4]^2*v[1]^2+(1/6*lambda[6]*lambda[5]*lambda[4]+1/6*
lambda[4]^2+1/2*lambda[2]*lambda[6]+1/2*lambda[1])*v[6]^3*v[5]^3*v[4]*v[3]^2*v
[1]+(-1/16*lambda[6]^2*lambda[3]-1/8*lambda[2]*lambda[6]-1/8*lambda[1])*v[6]^4
*v[5]^3*v[2]^3+(-13/24*lambda[4]^2-1/48*lambda[5]*lambda[3]-1/24*lambda[2]*
lambda[6]+1/24*lambda[1])*v[6]^3*v[4]^4*v[3]^3+(-3/370812682240000*lambda[6]^6
-16111/202261463040000*lambda[6]^4*lambda[5]+50821/119189790720000*lambda[6]^2
*lambda[5]^2+8627/375447840768000*lambda[5]^3-46421/556219023360000*lambda[6]^
3*lambda[4]+449/1516960972800*lambda[6]*lambda[5]*lambda[4]+7687/
222487609344000*lambda[4]^2+21083/92703170560000*lambda[6]^2*lambda[3]+4093/
190703665152000*lambda[5]*lambda[3]+3187/31783944192000*lambda[2]*lambda[6]-47
/283785216000*lambda[1])*v[6]^20*v[5]^2*v[3]^2-1/179200*lambda[1]*v[6]^12*v[1]
^2+(-3/160*lambda[6]^2*lambda[3]+3/40*lambda[5]*lambda[3]+7/240*lambda[2]*
lambda[6]+13/240*lambda[1])*v[5]^5*v[4]^4*v[2]+(-1/800*lambda[5]*lambda[3]-3/
1600*lambda[2]*lambda[6]-1/200*lambda[1])*v[6]^6*v[4]^5*v[2]+(3/7175168000*
lambda[6]^6+1/448448000*lambda[6]^4*lambda[5]+1/27456000*lambda[6]^2*lambda[5]
^2-47/448448000*lambda[6]^3*lambda[4]+131/2018016000*lambda[6]*lambda[5]*
lambda[4]+1/51744000*lambda[4]^2-1/2745600*lambda[6]^2*lambda[3]-809/
3075072000*lambda[2]*lambda[6]-1/19712000*lambda[1])*v[6]^15*v[5]^4*v[1]+(-3/
246400*lambda[6]^3*lambda[4]+1/61600*lambda[6]*lambda[5]*lambda[4]+3/30800*
lambda[4]^2+3/70400*lambda[6]^2*lambda[3]+19/123200*lambda[5]*lambda[3]+93/
492800*lambda[2]*lambda[6]+1/35200*lambda[1])*v[6]^11*v[5]*v[4]^2*v[3]*v[2]+(-\
3/19712000*lambda[6]^6+487/34496000*lambda[6]^4*lambda[5]+593/38808000*lambda[
6]^2*lambda[5]^2+1/1940400*lambda[5]^3+1451/51744000*lambda[6]^3*lambda[4]+
2323/310464000*lambda[6]*lambda[5]*lambda[4]+17/8870400*lambda[4]^2-2851/
413952000*lambda[6]^2*lambda[3]-79/77616000*lambda[5]*lambda[3]-677/41395200*
lambda[2]*lambda[6]-1/394240*lambda[1])*v[6]^11*v[5]^7*v[4]*v[3]+(-3/4480*
lambda[6]^6-1/256*lambda[6]^4*lambda[5]-23/2240*lambda[6]^2*lambda[5]^2+1/1680
*lambda[5]^3-19/13440*lambda[6]^3*lambda[4]+1/120*lambda[6]*lambda[5]*lambda[4
]-1/1920*lambda[4]^2+1/672*lambda[6]^2*lambda[3]-33/8960*lambda[5]*lambda[3]-\
29/2688*lambda[2]*lambda[6]+1/384*lambda[1])*v[6]^3*v[5]^8*v[3]^3+(3/640*
lambda[6]^2*lambda[3]+13/960*lambda[2]*lambda[6]+1/96*lambda[1])*v[6]^2*v[5]^4
*v[4]^6+(3/4480*lambda[6]^2*lambda[5]^2+1/3360*lambda[5]^3+27/8960*lambda[6]^3
*lambda[4]+3/560*lambda[6]*lambda[5]*lambda[4]-27/4480*lambda[4]^2-27/8960*
lambda[5]*lambda[3]-3/4480*lambda[2]*lambda[6]-1/160*lambda[1])*v[6]^8*v[5]^2*
v[4]*v[3]^2*v[2]+(-9/156800*lambda[6]^6-1/3920*lambda[6]^4*lambda[5]-1/1176*
lambda[6]^2*lambda[5]^2+1/22050*lambda[5]^3-43/39200*lambda[6]^3*lambda[4]-3/
1400*lambda[6]*lambda[5]*lambda[4]-1/6300*lambda[4]^2-3/2240*lambda[6]^2*
lambda[3]-17/44100*lambda[5]*lambda[3]+167/156800*lambda[2]*lambda[6]+1/1600*
lambda[1])*v[6]^7*v[5]^7*v[3]*v[2]+(9/1254400*lambda[6]^6+1/31360*lambda[6]^4*
lambda[5]+1/9408*lambda[6]^2*lambda[5]^2-1/176400*lambda[5]^3-17/78400*lambda[
6]^3*lambda[4]+23/117600*lambda[6]*lambda[5]*lambda[4]+13/352800*lambda[4]^2-\
33/39200*lambda[6]^2*lambda[3]+1/44100*lambda[5]*lambda[3]-3/5120*lambda[2]*
lambda[6]-1/8960*lambda[1])*v[6]^7*v[5]^8*v[1]+(-1/12812800*lambda[6]^3*lambda
[4]+1/9609600*lambda[6]*lambda[5]*lambda[4]-1/915200*lambda[4]^2-1/2329600*
lambda[6]^2*lambda[3]-1/3494400*lambda[5]*lambda[3]-31/25625600*lambda[2]*
lambda[6]-9/915200*lambda[1])*v[6]^13*v[3]*v[2]^2+(177/25625600*lambda[6]^6-1/
36608*lambda[6]^4*lambda[5]-9/6406400*lambda[6]^2*lambda[5]^2+1/1601600*lambda
[5]^3+629/30750720*lambda[6]^3*lambda[4]+229/7687680*lambda[6]*lambda[5]*
lambda[4]+71/19219200*lambda[4]^2-24163/307507200*lambda[6]^2*lambda[3]-7/
3660800*lambda[5]*lambda[3]-311/4100096*lambda[2]*lambda[6]-25/2050048*lambda[
1])*v[6]^4*v[5]^13*v[4]+(3/22960537600*lambda[6]^6-19529/229605376000*lambda[6
]^4*lambda[5]-6119/43051008000*lambda[6]^2*lambda[5]^2-37/43051008000*lambda[5
]^3-73/1171456000*lambda[6]^3*lambda[4]-449/5870592000*lambda[6]*lambda[5]*
lambda[4]+59/22960537600*lambda[4]^2+47/2690688000*lambda[6]^2*lambda[3]-6917/
688816128000*lambda[5]*lambda[3]+13/756940800*lambda[2]*lambda[6]-1/117145600*
lambda[1])*v[6]^16*v[5]^4*v[3]^2+(19/224224000*lambda[6]^6-509/672672000*
lambda[6]^4*lambda[5]+167/84084000*lambda[6]^2*lambda[5]^2-53/42042000*lambda[
5]^3+137/269068800*lambda[6]^3*lambda[4]-137/67267200*lambda[6]*lambda[5]*
lambda[4]-1/11211200*lambda[4]^2-691/538137600*lambda[6]^2*lambda[3]+691/
134534400*lambda[5]*lambda[3]-1/1025024*lambda[2]*lambda[6]-1/512512*lambda[1]
)*v[5]^15*v[4]+(1/8960*lambda[6]^4*lambda[5]+1/3360*lambda[6]^2*lambda[5]^2+1/
2240*lambda[6]^3*lambda[4]+1/1680*lambda[6]*lambda[5]*lambda[4]+1/1680*lambda[
4]^2-1/1792*lambda[6]^2*lambda[3]+1/2240*lambda[5]*lambda[3]+1/4480*lambda[2]*
lambda[6])*v[6]^9*v[5]^4*v[4]*v[3]*v[2]+(-211/512512000*lambda[6]^6-19/
16896000*lambda[6]^4*lambda[5]+5321/5381376000*lambda[6]^2*lambda[5]^2+673/
8072064000*lambda[5]^3-67/2690688000*lambda[6]^3*lambda[4]+983/2690688000*
lambda[6]*lambda[5]*lambda[4]-589/4036032000*lambda[4]^2-44377/10762752000*
lambda[6]^2*lambda[3]-10711/32288256000*lambda[5]*lambda[3]+1/8968960*lambda[2
]*lambda[6]+1/1464320*lambda[1])*v[6]^6*v[5]^14+1/16*lambda[1]*v[6]^4*v[4]^2*v
[1]^2+(1/19712000*lambda[2]*lambda[6]+1/4928000*lambda[1])*v[6]^15*v[4]^2*v[1]
+(-1/320*lambda[2]*lambda[6]-1/160*lambda[1])*v[6]^4*v[5]*v[4]^7+(21/32*lambda
[4]^2+3/64*lambda[5]*lambda[3]+13/96*lambda[2]*lambda[6]+7/24*lambda[1])*v[5]^
4*v[4]^4*v[3]^2+(-3/750524868853760000*lambda[6]^6-4903/1313418520494080000*
lambda[6]^4*lambda[5]+49363/2955191671111680000*lambda[6]^2*lambda[5]^2+13477/
6649181260001280000*lambda[5]^3-2719/98506389037056000*lambda[6]^3*lambda[4]+
12343/369398958888960000*lambda[6]*lambda[5]*lambda[4]-67/1256459043840000*
lambda[4]^2+8373/750524868853760000*lambda[6]^2*lambda[3]+757/
34462876631040000*lambda[5]*lambda[3]+131/66222782545920000*lambda[2]*lambda[6
]-461/1767327006720000*lambda[1])*v[6]^24*v[5]*v[2]+(9/320*lambda[6]^2*lambda[
5]^2+1/80*lambda[5]^3+3/80*lambda[6]*lambda[5]*lambda[4]+11/960*lambda[4]^2-1/
120*lambda[5]*lambda[3]-7/120*lambda[2]*lambda[6]-11/240*lambda[1])*v[6]^5*v[5
]^2*v[3]^5+(1/2*lambda[4]^2-1/2*lambda[1])*v[6]*v[5]^2*v[4]^2*v[3]^2*v[1]-
lambda[1]*v[6]*v[5]*v[4]*v[3]*v[1]^2+(-1/8*lambda[2]*lambda[6]-1/8*lambda[1])*
v[6]^4*v[5]*v[4]^3*v[3]*v[1]+(-3/6718253301760000*lambda[6]^6+5883/
11421030612992000*lambda[6]^4*lambda[5]-98921/64243297198080000*lambda[6]^2*
lambda[5]^2-571/5781896747827200*lambda[5]^3+2809/6118409256960000*lambda[6]^3
*lambda[4]-55273/32121648599040000*lambda[6]*lambda[5]*lambda[4]-409/
1529602314240000*lambda[4]^2+296717/48947274055680000*lambda[6]^2*lambda[3]+
337/476759162880000*lambda[5]*lambda[3]+24527/3496233861120000*lambda[2]*
lambda[6]-13/9605038080000*lambda[1])*v[6]^22*v[5]^2*v[4]^2+(-1/3200*lambda[6]
^4*lambda[5]-1/2400*lambda[6]^2*lambda[5]^2-1/3600*lambda[5]^3-1/800*lambda[6]
^3*lambda[4]-1/1200*lambda[6]*lambda[5]*lambda[4]-1/900*lambda[4]^2-17/3200*
lambda[6]^2*lambda[3]+7/14400*lambda[5]*lambda[3]-13/1600*lambda[2]*lambda[6]-\
1/800*lambda[1])*v[6]^6*v[5]^6*v[2]^2+(-591/103827551027200*lambda[6]^6+317/
6112296960000*lambda[6]^4*lambda[5]+16187/973383290880000*lambda[6]^2*lambda[5
]^2+11881/13140674426880000*lambda[5]^3+59201/1415830241280000*lambda[6]^3*
lambda[4]+8801/898507653120000*lambda[6]*lambda[5]*lambda[4]+11/4045229260800*
lambda[4]^2-25503/2076551020544000*lambda[6]^2*lambda[3]-8521/6674628280320000
*lambda[5]*lambda[3]-199/5085431070720*lambda[2]*lambda[6]-7/908112691200*
lambda[1])*v[6]^21*v[5]^4*v[3]+(-699/345636452761600000*lambda[6]^6-6929/
1010321938841600000*lambda[6]^4*lambda[5]+1215733/29551916711116800000*lambda[
6]^2*lambda[5]^2+277/26095687833600000*lambda[5]^3-33227/1432820204175360000*
lambda[6]^3*lambda[4]-49769/2364153336889344000*lambda[6]*lambda[5]*lambda[4]+
3187/511721501491200000*lambda[4]^2+276377/52536740819763200000*lambda[6]^2*
lambda[3]-958621/33773619098419200000*lambda[5]*lambda[3]-38653/
459505021747200000*lambda[2]*lambda[6]-1093/28719063859200000*lambda[1])*v[6]^
25*v[5]^2*v[3]+(11/160*lambda[6]^2*lambda[3]+3/80*lambda[5]*lambda[3]+37/480*
lambda[2]*lambda[6]+7/120*lambda[1])*v[6]^2*v[5]^6*v[4]^3*v[2]+(5277/
287006720000*lambda[6]^6+901/287006720000*lambda[6]^4*lambda[5]-46511/
9040711680000*lambda[6]^2*lambda[5]^2+31/502261760000*lambda[5]^3+1/9132032000
*lambda[6]^3*lambda[4]-101/13908787200*lambda[6]*lambda[5]*lambda[4]-61/
322882560000*lambda[4]^2+32443/1205428224000*lambda[6]^2*lambda[3]-19/
103322419200*lambda[5]*lambda[3]+97/8610201600*lambda[2]*lambda[6])*v[6]^14*v[
5]^10+(44277/2626837040988160000*lambda[6]^6-4933/75052486885376000*lambda[6]^
4*lambda[5]-1009/98506389037056000*lambda[6]^2*lambda[5]^2+13477/
13298362520002560000*lambda[5]^3+194273/2251574606561280000*lambda[6]^3*lambda
[4]+278741/3940255561482240000*lambda[6]*lambda[5]*lambda[4]+267/
7216585277440000*lambda[4]^2+617/7443221839872000*lambda[6]^2*lambda[3]+757/
68925753262080000*lambda[5]*lambda[3]-75121/214435676815360000*lambda[2]*
lambda[6]-461/3534654013440000*lambda[1])*v[6]^24*v[5]^3*v[4]+(-3/1120*lambda[
6]^2*lambda[5]^2-1/840*lambda[5]^3-3/2240*lambda[6]^3*lambda[4]-17/840*lambda[
6]*lambda[5]*lambda[4]-11/480*lambda[4]^2-3/560*lambda[6]^2*lambda[3]-3/448*
lambda[5]*lambda[3]-23/1680*lambda[2]*lambda[6]-1/480*lambda[1])*v[6]^7*v[5]^2
*v[4]^2*v[3]^3+(-1/24*lambda[4]^2+1/6*lambda[5]*lambda[3]+1/6*lambda[2]*lambda
[6]+1/6*lambda[1])*v[6]^3*v[3]^4*v[1]+(-1/2240*lambda[2]*lambda[6]-1/560*
lambda[1])*v[6]^7*v[4]^4*v[1]-1/16*lambda[1]*v[5]^6*v[1]^2+(1/240*lambda[2]*
lambda[6]-1/120*lambda[1])*v[5]^3*v[4]^7+(-7377/11038720000*lambda[6]^6-7003/
33116160000*lambda[6]^4*lambda[5]-181/24837120000*lambda[6]^2*lambda[5]^2+149/
12418560000*lambda[5]^3+577/8279040000*lambda[6]^3*lambda[4]-1427/12418560000*
lambda[6]*lambda[5]*lambda[4]-97/3104640000*lambda[4]^2+1457/11038720000*
lambda[6]^2*lambda[3]-2411/49674240000*lambda[5]*lambda[3]+199/662323200*
lambda[2]*lambda[6]+1/9011200*lambda[1])*v[6]^10*v[5]^12+(-1/16*lambda[5]^3+1/
8*lambda[4]^2+1/4*lambda[5]*lambda[3]-1/2*lambda[2]*lambda[6]-1/2*lambda[1])*v
[5]^2*v[3]^6+(3/1120*lambda[6]^4*lambda[5]-1/105*lambda[6]^2*lambda[5]^2-1/210
*lambda[5]^3+3/280*lambda[6]^3*lambda[4]-2/105*lambda[6]*lambda[5]*lambda[4]-1
/70*lambda[4]^2-43/1120*lambda[6]^2*lambda[3]-1/420*lambda[5]*lambda[3]-43/560
*lambda[2]*lambda[6]-1/280*lambda[1])*v[6]*v[5]^8*v[4]*v[3]*v[2]+(3/560*lambda
[6]^3*lambda[4]+1/140*lambda[6]*lambda[5]*lambda[4]+1/210*lambda[4]^2-9/1120*
lambda[6]^2*lambda[3]+1/280*lambda[5]*lambda[3]+11/1120*lambda[2]*lambda[6]+1/
80*lambda[1])*v[6]^7*v[5]^3*v[4]^2*v[3]*v[2]+(-3/2*lambda[4]^2-3/4*lambda[5]*
lambda[3]-lambda[1])*v[6]^2*v[5]*v[4]*v[3]^2*v[2]^2+(-9/80*lambda[6]^2*lambda[
3]-1/20*lambda[5]*lambda[3]-1/8*lambda[2]*lambda[6]-1/20*lambda[1])*v[6]^5*v[5
]^2*v[4]^3*v[3]*v[2]+(-3/800*lambda[6]^4*lambda[5]-1/200*lambda[6]^2*lambda[5]
^2-1/300*lambda[5]^3-3/200*lambda[6]^3*lambda[4]-1/100*lambda[6]*lambda[5]*
lambda[4]-1/75*lambda[4]^2+21/800*lambda[6]^2*lambda[3]-11/1200*lambda[5]*
lambda[3]+1/100*lambda[2]*lambda[6]+1/400*lambda[1])*v[6]^5*v[5]^6*v[4]*v[3]*v
[2]+(3/280*lambda[2]*lambda[6]-1/140*lambda[1])*v[6]^7*v[5]^2*v[4]*v[2]*v[1]+(
1/492800*lambda[6]^6-1/46200*lambda[6]^4*lambda[5]+1/13200*lambda[6]^2*lambda[
5]^2-1/11550*lambda[5]^3-1/52800*lambda[6]^3*lambda[4]+1/13200*lambda[6]*
lambda[5]*lambda[4]-3/15400*lambda[4]^2-7/105600*lambda[6]^2*lambda[3]+7/26400
*lambda[5]*lambda[3]-5/59136*lambda[2]*lambda[6]+17/29568*lambda[1])*v[5]^11*v
[4]^3+(-7/40*lambda[4]^2-1/80*lambda[5]*lambda[3]+1/40*lambda[2]*lambda[6]+1/
10*lambda[1])*v[4]^6*v[3]^2+(-1/32*lambda[6]^2*lambda[5]^2-9/64*lambda[6]^3*
lambda[4]-1/8*lambda[6]*lambda[5]*lambda[4]+1/32*lambda[4]^2+3/16*lambda[6]^2*
lambda[3]+9/64*lambda[5]*lambda[3]+9/32*lambda[2]*lambda[6])*v[6]^4*v[5]^4*v[4
]*v[3]^2*v[2]-1/2*lambda[1]*v[6]^2*v[2]^4+(1/4*lambda[2]*lambda[6]+1/8*lambda[
1])*v[6]^4*v[5]^3*v[3]*v[2]*v[1]+(-1/80*lambda[2]*lambda[6]-3/160*lambda[1])*v
[6]^6*v[5]^2*v[4]^2*v[3]*v[1]+(3/8*lambda[6]^2*lambda[3]+7/12*lambda[2]*lambda
[6]+1/3*lambda[1])*v[6]*v[5]^4*v[4]^3*v[3]*v[2]+(1/1792000*lambda[6]^2*lambda[
3]-1/672000*lambda[5]*lambda[3]+1/384000*lambda[2]*lambda[6]+1/64000*lambda[1]
)*v[6]^10*v[4]^6+(-3/40*lambda[6]^3*lambda[4]-1/30*lambda[6]*lambda[5]*lambda[
4]+1/15*lambda[4]^2-3/80*lambda[6]^2*lambda[3]+3/20*lambda[5]*lambda[3]+13/80*
lambda[2]*lambda[6]+11/40*lambda[1])*v[6]^3*v[5]^5*v[4]^2*v[3]*v[2]+(1/140800*
lambda[6]^6-13/394240*lambda[6]^4*lambda[5]-1/369600*lambda[6]^2*lambda[5]^2+
31/369600*lambda[5]^3+3/98560*lambda[6]^3*lambda[4]+1/36960*lambda[6]*lambda[5
]*lambda[4]-177/985600*lambda[4]^2-1/61600*lambda[6]^2*lambda[3]-283/844800*
lambda[5]*lambda[3]+25/39424*lambda[2]*lambda[6]+1/1408*lambda[1])*v[5]^12*v[3
]^2+(3/16*lambda[6]*lambda[5]*lambda[4]+7/96*lambda[4]^2+1/12*lambda[5]*lambda
[3]-1/24*lambda[2]*lambda[6]-7/24*lambda[1])*v[6]^4*v[5]*v[3]^4*v[2]+(3/
273191052262768640000*lambda[6]^6+17673/682977630656921600000*lambda[6]^4*
lambda[5]-263/3013136605839360000*lambda[6]^2*lambda[5]^2-191/
3454120135065600000*lambda[5]^3+3959/170744407664230400000*lambda[6]^3*lambda[
4]+1103/6860266379366400000*lambda[6]*lambda[5]*lambda[4]+73/
373347830169600000*lambda[4]^2-12589/45031492131225600000*lambda[6]^2*lambda[3
]+977/2412401364172800000*lambda[5]*lambda[3]-1/2604481904640000*lambda[2]*
lambda[6]-37/17673270067200000*lambda[1])*v[6]^26*v[4]^2+(-69123/
59389359187558400000*lambda[6]^6+2915299/1365955261313843200000*lambda[6]^4*
lambda[5]+1386667/439057048279449600000*lambda[6]^2*lambda[5]^2+191/
13816480540262400000*lambda[5]^3-858569/341488815328460800000*lambda[6]^3*
lambda[4]+5142691/1536699668978073600000*lambda[6]*lambda[5]*lambda[4]+263/
9147021839155200000*lambda[4]^2-664931/45031492131225600000*lambda[6]^2*lambda
[3]-977/9649605456691200000*lambda[5]*lambda[3]-16013/3216535152230400000*
lambda[2]*lambda[6]+37/70693080268800000*lambda[1])*v[6]^26*v[5]^4+(1/64*
lambda[5]^3+1/96*lambda[4]^2+1/48*lambda[5]*lambda[3]-1/24*lambda[2]*lambda[6]
-1/24*lambda[1])*v[6]^4*v[3]^6+(-3/5253674081976320000*lambda[6]^6-1203/
214435676815360000*lambda[6]^4*lambda[5]+743/46907804303360000*lambda[6]^2*
lambda[5]^2+875093/53193450080010240000*lambda[5]^3-19603/2626837040988160000*
lambda[6]^3*lambda[4]-31/1241677172736000*lambda[6]*lambda[5]*lambda[4]-179/
9190100434944000*lambda[4]^2+8473/1970127780741120000*lambda[6]^2*lambda[3]+
4897/108075581114941440*lambda[5]*lambda[3]-4691/64330703044608000*lambda[2]*
lambda[6]+79/2297525108736000*lambda[1])*v[6]^24*v[3]^2+(-211987/
546460794880000*lambda[6]^6-171771/546460794880000*lambda[6]^4*lambda[5]-1223/
12054282240000*lambda[6]^2*lambda[5]^2-47/172903610880000*lambda[5]^3+2349/
10508861440000*lambda[6]^3*lambda[4]-3131/102461399040000*lambda[6]*lambda[5]*
lambda[4]-19/4879114240000*lambda[4]^2+13359/42035445760000*lambda[6]^2*lambda
[3]-137/175648112640000*lambda[5]*lambda[3]+591/7806582784000*lambda[2]*lambda
[6]+1/73531392000*lambda[1])*v[6]^18*v[5]^8-1/160*lambda[1]*v[6]^2*v[4]^8+(-\
87459/16592968855915136548864000000*lambda[6]^6+87459/
2370424122273590935552000000*lambda[6]^4*lambda[5]-3931/
55556815365787287552000000*lambda[6]^2*lambda[5]^2+8633/
131871122186923671552000000*lambda[5]^3-21809/592606030568397733888000000*
lambda[6]^3*lambda[4]-73/1943678671689351168000000*lambda[6]*lambda[5]*lambda[
4]+223/1295785781126234112000000*lambda[4]^2+19501/78145850184843657216000000*
lambda[6]^2*lambda[3]-109/299027487952207872000000*lambda[5]*lambda[3]-1/
2296111247130624000000*lambda[2]*lambda[6]+1/656031784894464000000*lambda[1])*
v[6]^34+(-3/3708126822400*lambda[6]^6+1621/4635158528000*lambda[6]^4*lambda[5]
+31/53209728000*lambda[6]^2*lambda[5]^2-31/2346549004800*lambda[5]^3+223/
73186713600*lambda[6]^3*lambda[4]+47/84275609600*lambda[6]*lambda[5]*lambda[4]
-2213/13905475584000*lambda[4]^2+22149/18540634112000*lambda[6]^2*lambda[3]+
109/1604477952000*lambda[5]*lambda[3]+1213/1324331008000*lambda[2]*lambda[6]+
31/51597312000*lambda[1])*v[6]^19*v[5]^3*v[4]*v[3];