C37 := (3/2240*lambda[6]^4*lambda[4]-1/210*lambda[6]^2*lambda[5]*lambda[4]-1/
420*lambda[5]^2*lambda[4]+1/84*lambda[6]*lambda[4]^2+9/1120*lambda[6]^3*lambda
[3]-9/280*lambda[6]*lambda[5]*lambda[3]-1/840*lambda[4]*lambda[3]-1/2240*
lambda[6]^2*lambda[2]-3/280*lambda[5]*lambda[2]-2/35*lambda[6]*lambda[1]-1/32*
lambda[0])*v[6]*v[5]^8*v[4]*v[2]^2+(1/12*lambda[6]*lambda[4]^2-3/40*lambda[6]^
3*lambda[3]-1/30*lambda[6]*lambda[5]*lambda[3]+1/15*lambda[4]*lambda[3]-37/120
*lambda[6]^2*lambda[2]-7/120*lambda[5]*lambda[2]-47/120*lambda[6]*lambda[1]-7/
120*lambda[0])*v[6]*v[5]^5*v[3]^3*v[1]+(3/358758400*lambda[6]^4*lambda[4]-37/
538137600*lambda[6]^2*lambda[5]*lambda[4]-239/807206400*lambda[5]^2*lambda[4]-\
1/3494400*lambda[6]*lambda[4]^2+1/32614400*lambda[6]^3*lambda[3]-7/21964800*
lambda[6]*lambda[5]*lambda[3]+73/153753600*lambda[4]*lambda[3]+433/1076275200*
lambda[6]^2*lambda[2]-613/358758400*lambda[5]*lambda[2]-1/3075072*lambda[6]*
lambda[1]-3/3660800*lambda[0])*v[6]^14*v[3]^3*v[2]+(-3/370812682240000*lambda[
6]^7-3/92703170560000*lambda[6]^5*lambda[5]+311/52145533440000*lambda[6]^3*
lambda[5]^2+31/6704425728000*lambda[6]*lambda[5]^3-223/12641341440000*lambda[6
]^4*lambda[4]-89/5793948160000*lambda[6]^2*lambda[5]*lambda[4]+31/
7821830016000*lambda[5]^2*lambda[4]+223/52145533440000*lambda[6]*lambda[4]^2+1
/10749440000*lambda[6]^3*lambda[3]-1/103463360000*lambda[6]*lambda[5]*lambda[3
]-1/465585120000*lambda[4]*lambda[3]+11443/74162536448000*lambda[6]^2*lambda[2
]+1/500797440000*lambda[5]*lambda[2]+751/10696519680000*lambda[6]*lambda[1]-1/
17121280000*lambda[0])*v[6]^20*v[5]^3*v[1]+(3/40*lambda[6]*lambda[4]^2-9/80*
lambda[6]*lambda[5]*lambda[3]-13/80*lambda[4]*lambda[3]-3/40*lambda[6]^2*
lambda[2]-17/240*lambda[5]*lambda[2]-1/8*lambda[6]*lambda[1]-9/40*lambda[0])*v
[6]^5*v[5]*v[4]^3*v[3]^2*v[2]+(5/8*lambda[6]*lambda[4]^2+1/2*lambda[6]*lambda[
5]*lambda[3]+1/2*lambda[6]^2*lambda[2]+lambda[6]*lambda[1]+1/2*lambda[0])*v[6]
^3*v[5]*v[4]*v[3]^4*v[2]+(1/26880*lambda[6]^2*lambda[2]-1/10080*lambda[5]*
lambda[2]+1/3360*lambda[6]*lambda[1]+1/960*lambda[0])*v[6]^9*v[4]^3*v[2]^2+(-1
/800*lambda[6]*lambda[4]^2-1/1600*lambda[6]*lambda[5]*lambda[3]-7/3200*lambda[
4]*lambda[3]-1/640*lambda[6]^2*lambda[2]-1/640*lambda[5]*lambda[2]-13/3200*
lambda[6]*lambda[1]+7/3200*lambda[0])*v[6]^6*v[5]*v[4]^6*v[3]+(1/20*lambda[5]*
lambda[2]+3/40*lambda[6]*lambda[1]+3/40*lambda[0])*v[6]^5*v[4]^2*v[3]*v[2]*v[1
]+(-3/39424000*lambda[6]^7-29/39424000*lambda[6]^5*lambda[5]-553/25344000*
lambda[6]^3*lambda[5]^2+23/14784000*lambda[6]*lambda[5]^3-267/78848000*lambda[
6]^4*lambda[4]-2171/177408000*lambda[6]^2*lambda[5]*lambda[4]+1/985600*lambda[
5]^2*lambda[4]-23/23654400*lambda[6]*lambda[4]^2-233/23654400*lambda[6]^3*
lambda[3]+31/15769600*lambda[6]*lambda[5]*lambda[3]+139/47308800*lambda[4]*
lambda[3]-3/3942400*lambda[6]^2*lambda[2]-349/47308800*lambda[5]*lambda[2]-23/
4730880*lambda[6]*lambda[1]-7/1126400*lambda[0])*v[6]^12*v[5]^5*v[3]^3+(1/
22400*lambda[6]^2*lambda[5]*lambda[4]-1/8400*lambda[5]^2*lambda[4]+13/67200*
lambda[6]*lambda[4]^2+1/89600*lambda[6]^3*lambda[3]-1/44800*lambda[6]*lambda[5
]*lambda[3]-1/17920*lambda[4]*lambda[3]+1/53760*lambda[6]^2*lambda[2]-113/
806400*lambda[5]*lambda[2]-1/8400*lambda[6]*lambda[1]-7/19200*lambda[0])*v[6]^
10*v[4]^3*v[3]^3+(3/19712000*lambda[6]^3*lambda[3]-1/4928000*lambda[6]*lambda[
5]*lambda[3]-3/2464000*lambda[4]*lambda[3]+59/59136000*lambda[6]^2*lambda[2]+
113/44352000*lambda[5]*lambda[2]+1/132000*lambda[6]*lambda[1]-7/2112000*lambda
[0])*v[6]^11*v[5]*v[4]^6+3/10*lambda[0]*v[6]*v[4]^5*v[2]^2+(1/8*lambda[6]^2*
lambda[2]+1/4*lambda[6]*lambda[1]+7/8*lambda[0])*v[6]*v[5]^4*v[4]^3*v[3]*v[1]+
(7/16*lambda[6]*lambda[4]^2+1/32*lambda[6]*lambda[5]*lambda[3]+13/64*lambda[4]
*lambda[3]+13/160*lambda[6]^2*lambda[2]+11/320*lambda[5]*lambda[2]+9/32*lambda
[6]*lambda[1]+1/32*lambda[0])*v[6]*v[5]^5*v[4]^4*v[3]^2+(-3/20*lambda[6]*
lambda[1]-21/40*lambda[0])*v[5]^5*v[3]*v[1]^2+(9/717516800*lambda[6]^4*lambda[
4]+1/179379200*lambda[6]^2*lambda[5]*lambda[4]+17/269068800*lambda[5]^2*lambda
[4]+29/71751680*lambda[6]*lambda[4]^2+9/358758400*lambda[6]^3*lambda[3]+17/
102502400*lambda[6]*lambda[5]*lambda[3]+173/1435033600*lambda[4]*lambda[3]+41/
165580800*lambda[6]^2*lambda[2]-1/20275200*lambda[5]*lambda[2]+67/47308800*
lambda[6]*lambda[1]+1/1351680*lambda[0])*v[6]^14*v[5]*v[4]^4*v[3]+(-3/5600*
lambda[6]*lambda[5]*lambda[3]-3/5600*lambda[4]*lambda[3]-9/11200*lambda[6]^2*
lambda[2]-1/2800*lambda[5]*lambda[2]-19/5600*lambda[6]*lambda[1]-1/200*lambda[
0])*v[6]^7*v[5]*v[4]^5*v[2]+(1/280*lambda[6]^3*lambda[5]^2-1/70*lambda[6]*
lambda[5]^3+9/560*lambda[6]^4*lambda[4]-13/280*lambda[6]^2*lambda[5]*lambda[4]
-3/70*lambda[5]^2*lambda[4]-23/280*lambda[6]*lambda[4]^2-3/56*lambda[6]^3*
lambda[3]+3/80*lambda[6]*lambda[5]*lambda[3]-29/560*lambda[4]*lambda[3]-23/140
*lambda[6]^2*lambda[2]+13/560*lambda[5]*lambda[2]-1/56*lambda[6]*lambda[1]+1/8
*lambda[0])*v[6]*v[5]^7*v[4]*v[3]^2*v[2]+(1/2240*lambda[6]^5*lambda[5]-1/840*
lambda[6]^3*lambda[5]^2-1/420*lambda[6]*lambda[5]^3+1/448*lambda[6]^4*lambda[4
]-1/280*lambda[6]^2*lambda[5]*lambda[4]-1/420*lambda[5]^2*lambda[4]-1/105*
lambda[6]*lambda[4]^2-19/2240*lambda[6]^3*lambda[3]-11/1680*lambda[6]*lambda[5
]*lambda[3]+101/13440*lambda[4]*lambda[3]-47/2240*lambda[6]^2*lambda[2]-23/
4480*lambda[5]*lambda[2]-69/4480*lambda[6]*lambda[1]-1/128*lambda[0])*v[6]^2*v
[5]^9*v[4]*v[3]*v[2]+(3/1793792000*lambda[6]^5*lambda[5]-1/256256000*lambda[6]
^3*lambda[5]^2-173/1291530240*lambda[6]*lambda[5]^3+3/448448000*lambda[6]^4*
lambda[4]-1/14350336*lambda[6]^2*lambda[5]*lambda[4]-1423/10762752000*lambda[5
]^2*lambda[4]-289/5381376000*lambda[6]*lambda[4]^2-3/448448000*lambda[6]^3*
lambda[3]-83/5381376000*lambda[6]*lambda[5]*lambda[3]-1/7007000*lambda[4]*
lambda[3]+29/384384000*lambda[6]^2*lambda[2]+3/18304000*lambda[5]*lambda[2]+
331/768768000*lambda[6]*lambda[1]+1/2816000*lambda[0])*v[6]^15*v[5]*v[3]^4+(-3
/2050048000*lambda[6]^7-1/73216000*lambda[6]^5*lambda[5]+1/14784000*lambda[6]^
3*lambda[5]^2+1/24024000*lambda[6]*lambda[5]^3+373/1025024000*lambda[6]^4*
lambda[4]-83/1153152000*lambda[6]^2*lambda[5]*lambda[4]+1/144144000*lambda[5]^
2*lambda[4]+19/576576000*lambda[6]*lambda[4]^2+1/675840*lambda[6]^3*lambda[3]-\
1/11088000*lambda[6]*lambda[5]*lambda[3]+1/34944000*lambda[4]*lambda[3]+5381/
6150144000*lambda[6]^2*lambda[2]-59/658944000*lambda[5]*lambda[2]-1/2150400*
lambda[6]*lambda[1]-1/3379200*lambda[0])*v[6]^13*v[5]^6*v[4]^3+(-1/640*lambda[
6]^2*lambda[2]+1/960*lambda[5]*lambda[2]+7/960*lambda[6]*lambda[1]-1/320*
lambda[0])*v[6]^6*v[5]^4*v[4]^3*v[1]+(-3/5600*lambda[6]^3*lambda[3]+19/11200*
lambda[6]*lambda[5]*lambda[3]+17/33600*lambda[4]*lambda[3]+27/11200*lambda[6]^
2*lambda[2]+1/1400*lambda[5]*lambda[2]-19/11200*lambda[6]*lambda[1])*v[6]^7*v[
5]^5*v[4]^3*v[2]+(-1/465920*lambda[6]^2*lambda[2]-73/269068800*lambda[5]*
lambda[2]-339/89689600*lambda[6]*lambda[1]-3/3660800*lambda[0])*v[6]^14*v[5]^2
*v[2]*v[1]+(1/16*lambda[4]*lambda[3]-3/16*lambda[6]^2*lambda[2]-1/16*lambda[5]
*lambda[2]-11/16*lambda[6]*lambda[1]-5/16*lambda[0])*v[6]^4*v[5]^2*v[3]*v[2]^3
+(-3/22422400*lambda[6]^7+3/4484480*lambda[6]^5*lambda[5]+3/2802800*lambda[6]^
3*lambda[5]^2-9/1401400*lambda[6]*lambda[5]^3-59/11211200*lambda[6]^4*lambda[4
]+313/16816800*lambda[6]^2*lambda[5]*lambda[4]+41/4204200*lambda[5]^2*lambda[4
]-269/8408400*lambda[6]*lambda[4]^2+7/3660800*lambda[6]^3*lambda[3]-7/915200*
lambda[6]*lambda[5]*lambda[3]+8809/269068800*lambda[4]*lambda[3]+453/35875840*
lambda[6]^2*lambda[2]-633/17937920*lambda[5]*lambda[2]+41/640640*lambda[6]*
lambda[1]-1/18304*lambda[0])*v[6]*v[5]^14*v[2]+(-1/80*lambda[6]^2*lambda[2]+1/
20*lambda[5]*lambda[2]+9/80*lambda[6]*lambda[1]+9/80*lambda[0])*v[6]^3*v[5]^5*
v[4]^2*v[3]*v[1]+(-12079/630202086469795840000000*lambda[6]^7+2631337/
5199167213375815680000000*lambda[6]^5*lambda[5]-1492571/
779875082006372352000000*lambda[6]^3*lambda[5]^2+2907623/
3509437869028675584000000*lambda[6]*lambda[5]^3+2660453/
4159333770700652544000000*lambda[6]^4*lambda[4]-496231/
1247800131210195763200000*lambda[6]^2*lambda[5]*lambda[4]+5565113/
2228214520018206720000000*lambda[5]^2*lambda[4]+1069847/
424421813336801280000000*lambda[6]*lambda[4]^2-101/1586321041457152000000*
lambda[6]^3*lambda[3]-102721127/17825716160145653760000000*lambda[6]*lambda[5]
*lambda[3]+7485311/1697687253347205120000000*lambda[4]*lambda[3]+383/
255061185899520000000*lambda[6]^2*lambda[2]-5437/1097406110760960000000*lambda
[5]*lambda[2]-377789/18655903882936320000000*lambda[6]*lambda[1]-37/
4019802603520000000*lambda[0])*v[6]^30*v[5]*v[3]+(-11/1600*lambda[6]^2*lambda[
2]-1/2400*lambda[5]*lambda[2]-11/800*lambda[6]*lambda[1]-9/1600*lambda[0])*v[6
]^6*v[5]^6*v[2]*v[1]+(3/2240*lambda[6]^2*lambda[5]*lambda[4]+1/1680*lambda[5]^
2*lambda[4]+3/1120*lambda[6]*lambda[4]^2+27/8960*lambda[6]^3*lambda[3]+9/2240*
lambda[6]*lambda[5]*lambda[3]-29/8960*lambda[4]*lambda[3]+33/8960*lambda[6]^2*
lambda[2]+29/26880*lambda[5]*lambda[2]+111/8960*lambda[6]*lambda[1]+3/1280*
lambda[0])*v[6]^8*v[5]^2*v[4]*v[3]*v[2]^2+(-398523/1707444076642304000000*
lambda[6]^7-34341/19402773598208000000*lambda[6]^5*lambda[5]+335893/
51223322299269120000*lambda[6]^3*lambda[5]^2+7842713/1728787127600332800000*
lambda[6]*lambda[5]^3-1267899/341488815328460800000*lambda[6]^4*lambda[4]-\
162397/48021864655564800000*lambda[6]^2*lambda[5]*lambda[4]+162689/
74839269593088000000*lambda[5]^2*lambda[4]+147373/39301781815296000000*lambda[
6]*lambda[4]^2+112719/341488815328460800000*lambda[6]^3*lambda[3]-51468147/
3414888153284608000000*lambda[6]*lambda[5]*lambda[3]-2176483/
8781140965588992000000*lambda[4]*lambda[3]-1363139/56289365164032000000*lambda
[6]^2*lambda[2]-257603/96496054566912000000*lambda[5]*lambda[2]-662041/
32165351522304000000*lambda[6]*lambda[1]-13/6930694144000000*lambda[0])*v[6]^
26*v[5]^3*v[3]+(9/160*lambda[6]^2*lambda[5]*lambda[4]+1/40*lambda[5]^2*lambda[
4]+7/160*lambda[6]*lambda[4]^2+1/20*lambda[6]*lambda[5]*lambda[3]-1/80*lambda[
4]*lambda[3]-1/40*lambda[6]^2*lambda[2]+1/20*lambda[5]*lambda[2]-7/80*lambda[6
]*lambda[1]-3/80*lambda[0])*v[6]^5*v[5]^2*v[3]^4*v[2]+(9/3903291392000*lambda[
6]^7+19/975822848000*lambda[6]^5*lambda[5]+449/731867136000*lambda[6]^3*lambda
[5]^2-37/1646701056000*lambda[6]*lambda[5]^3+23/13647872000*lambda[6]^4*lambda
[4]+1579/365933568000*lambda[6]^2*lambda[5]*lambda[4]+37/3293402112000*lambda[
5]^2*lambda[4]+1427/1097800704000*lambda[6]*lambda[4]^2-2003/975822848000*
lambda[6]^3*lambda[3]+4727/2195601408000*lambda[6]*lambda[5]*lambda[3]+233/
313657344000*lambda[4]*lambda[3]-8329/1672839168000*lambda[6]^2*lambda[2]-1/
6031872000*lambda[5]*lambda[2]-1/229785600*lambda[6]*lambda[1]-23/4595712000*
lambda[0])*v[6]^17*v[5]^4*v[4]^3+(-1/2*lambda[5]*lambda[2]+3/2*lambda[6]*
lambda[1]+3/2*lambda[0])*v[6]^2*v[5]*v[4]*v[3]^2*v[2]*v[1]+(3/640*lambda[6]^4*
lambda[4]+1/64*lambda[6]^2*lambda[5]*lambda[4]-1/480*lambda[5]^2*lambda[4]-1/
96*lambda[6]*lambda[4]^2+3/640*lambda[6]^3*lambda[3]+3/640*lambda[6]*lambda[5]
*lambda[3]-5/384*lambda[4]*lambda[3]+49/1920*lambda[6]^2*lambda[2]+3/640*
lambda[5]*lambda[2]+27/320*lambda[6]*lambda[1]+31/960*lambda[0])*v[6]^6*v[5]^4
*v[3]^3*v[2]+(-1/16*lambda[6]^2*lambda[5]*lambda[4]-1/8*lambda[6]*lambda[4]^2-\
9/64*lambda[6]^3*lambda[3]-1/16*lambda[6]*lambda[5]*lambda[3]-1/64*lambda[4]*
lambda[3]-7/64*lambda[6]^2*lambda[2]+3/64*lambda[5]*lambda[2]+19/64*lambda[6]*
lambda[1]+1/64*lambda[0])*v[6]^4*v[5]^4*v[4]*v[3]*v[2]^2+(-1/120*lambda[6]^2*
lambda[5]*lambda[4]+1/30*lambda[5]^2*lambda[4]-1/60*lambda[6]*lambda[4]^2-2/15
*lambda[4]*lambda[3]-3/40*lambda[6]^2*lambda[2]-1/80*lambda[5]*lambda[2]-21/80
*lambda[6]*lambda[1]-21/80*lambda[0])*v[5]^6*v[4]*v[3]^2*v[1]+(-3/
5191377551360000*lambda[6]^7-3/1297844387840000*lambda[6]^5*lambda[5]+311/
730037468160000*lambda[6]^3*lambda[5]^2+31/93861960192000*lambda[6]*lambda[5]^
3+9791/7787066327040000*lambda[6]^4*lambda[4]-4733/584029974528000*lambda[6]^2
*lambda[5]*lambda[4]-269/730037468160000*lambda[5]^2*lambda[4]-11/
2328668160000*lambda[6]*lambda[4]^2+107/9161254502400*lambda[6]^3*lambda[3]-\
1081/208582133760000*lambda[6]*lambda[5]*lambda[3]-53/19864965120000*lambda[4]
*lambda[3]+72691/2224876093440000*lambda[6]^2*lambda[2]+59/15891972096000*
lambda[5]*lambda[2]+41/873185280000*lambda[6]*lambda[1]+1/291061760000*lambda[
0])*v[6]^21*v[5]^2*v[4]^3+(-1/44800*lambda[6]^2*lambda[2]+1/16800*lambda[5]*
lambda[2]+1/3200*lambda[0])*v[6]^10*v[4]^2*v[2]*v[1]+(1/12812800*lambda[6]^7-1
/1372800*lambda[6]^5*lambda[5]+1/480480*lambda[6]^3*lambda[5]^2-1/600600*
lambda[6]*lambda[5]^3+1/960960*lambda[6]^4*lambda[4]-1/200200*lambda[6]^2*
lambda[5]*lambda[4]+1/300300*lambda[5]^2*lambda[4]+1/300300*lambda[6]*lambda[4
]^2-1/600600*lambda[6]^3*lambda[3]+1/150150*lambda[6]*lambda[5]*lambda[3]-1/
75075*lambda[4]*lambda[3]-1/2562560*lambda[6]^2*lambda[2]+1/640640*lambda[5]*
lambda[2]+1/640640*lambda[6]*lambda[1]+21/183040*lambda[0])*v[5]^13*v[1]+(-3/
1120*lambda[6]^4*lambda[4]+1/105*lambda[6]^2*lambda[5]*lambda[4]+1/210*lambda[
5]^2*lambda[4]+23/1680*lambda[6]*lambda[4]^2-9/280*lambda[6]^3*lambda[3]-3/140
*lambda[6]*lambda[5]*lambda[3]+1/42*lambda[4]*lambda[3]-53/560*lambda[6]^2*
lambda[2]-31/1120*lambda[5]*lambda[2]-101/1120*lambda[6]*lambda[1]-13/160*
lambda[0])*v[6]^2*v[5]^7*v[3]^2*v[1]+(1/13440*lambda[6]^2*lambda[2]-1/5040*
lambda[5]*lambda[2]+1/6720*lambda[6]*lambda[1]+1/1920*lambda[0])*v[6]^9*v[4]^3
*v[3]*v[1]+(-269/3587584000*lambda[6]^7+8023/21525504000*lambda[6]^5*lambda[5]
-197/733824000*lambda[6]^3*lambda[5]^2-367/4036032000*lambda[6]*lambda[5]^3-\
10229/21525504000*lambda[6]^4*lambda[4]+409/2690688000*lambda[6]^2*lambda[5]*
lambda[4]-367/4036032000*lambda[5]^2*lambda[4]+61/201801600*lambda[6]*lambda[4
]^2+81/110387200*lambda[6]^3*lambda[3]+1523/3228825600*lambda[6]*lambda[5]*
lambda[3]+61/403603200*lambda[4]*lambda[3]-1193/861020160*lambda[6]^2*lambda[2
]+23/215255040*lambda[5]*lambda[2]-5/3514368*lambda[6]*lambda[1]-1/3514368*
lambda[0])*v[6]^3*v[5]^17+(1/40*lambda[4]*lambda[3]+1/40*lambda[5]*lambda[2]-1
/10*lambda[0])*v[6]^5*v[4]^2*v[2]^3+(1/70400*lambda[6]^2*lambda[2]+19/369600*
lambda[5]*lambda[2]+9/492800*lambda[6]*lambda[1]-17/70400*lambda[0])*v[6]^11*v
[5]*v[4]^2*v[3]*v[1]+(1/4*lambda[6]*lambda[4]^2-1/8*lambda[5]*lambda[2]+1/8*
lambda[6]*lambda[1]+3/8*lambda[0])*v[6]^2*v[5]^3*v[4]^2*v[3]^2*v[1]+(-3/
6406400*lambda[6]^7+349/76876800*lambda[6]^5*lambda[5]-19/1372800*lambda[6]^3*
lambda[5]^2+61/4804800*lambda[6]*lambda[5]^3+313/76876800*lambda[6]^4*lambda[4
]-193/9609600*lambda[6]^2*lambda[5]*lambda[4]+73/4804800*lambda[5]^2*lambda[4]
+1/80080*lambda[6]*lambda[4]^2+681/51251200*lambda[6]^3*lambda[3]-3473/
38438400*lambda[6]*lambda[5]*lambda[3]+17/2745600*lambda[4]*lambda[3]+739/
10250240*lambda[6]^2*lambda[2]-89/2562560*lambda[5]*lambda[2]-5/256256*lambda[
6]*lambda[1]-1/73216*lambda[0])*v[6]^3*v[5]^13*v[4]^2+(3/280*lambda[6]^2*
lambda[2]+1/210*lambda[5]*lambda[2]+1/35*lambda[6]*lambda[1]+1/40*lambda[0])*v
[6]^7*v[5]*v[4]*v[3]*v[2]*v[1]+(1/40*lambda[6]*lambda[4]^2+1/80*lambda[6]*
lambda[5]*lambda[3]+1/160*lambda[4]*lambda[3]-7/80*lambda[6]^2*lambda[2]-1/32*
lambda[5]*lambda[2]+1/80*lambda[6]*lambda[1]+9/80*lambda[0])*v[6]^5*v[5]^3*v[3
]^2*v[2]^2+(9/57105153064960000*lambda[6]^7-9/14276288266240000*lambda[6]^5*
lambda[5]+1/2913528217600*lambda[6]^3*lambda[5]^2-1447/963649457971200*lambda[
6]*lambda[5]^3+29373/28552576532480000*lambda[6]^4*lambda[4]-139/
62983624704000*lambda[6]^2*lambda[5]*lambda[4]-41/39364765440000*lambda[5]^2*
lambda[4]+10847/2039469752320000*lambda[6]*lambda[4]^2-21017/14276288266240000
*lambda[6]^3*lambda[3]+311071/85657729597440000*lambda[6]*lambda[5]*lambda[3]-\
713/741625364480000*lambda[4]*lambda[3]+6519/1165411287040000*lambda[6]^2*
lambda[2]+20747/3496233861120000*lambda[5]*lambda[2]+19137/1165411287040000*
lambda[6]*lambda[1]+127/12806717440000*lambda[0])*v[6]^22*v[5]*v[4]^2*v[3]+(-9
/160*lambda[6]^3*lambda[3]-1/40*lambda[6]*lambda[5]*lambda[3]+1/20*lambda[4]*
lambda[3]-11/160*lambda[6]^2*lambda[2]+1/40*lambda[5]*lambda[2]+1/8*lambda[0])
*v[6]^3*v[5]^5*v[4]^2*v[2]^2+(-1/2*lambda[6]^2*lambda[2]+3/2*lambda[0])*v[6]^3
*v[5]^3*v[4]*v[3]*v[2]*v[1]+(-1/2400*lambda[5]*lambda[2]-1/800*lambda[6]*
lambda[1]-7/800*lambda[0])*v[6]^6*v[4]^5*v[1]+(-1/275968000*lambda[6]^7+25/
26492928*lambda[6]^5*lambda[5]+1121/1241856000*lambda[6]^3*lambda[5]^2+1/
8064000*lambda[6]*lambda[5]^3+4073/3311616000*lambda[6]^4*lambda[4]+193/
1241856000*lambda[6]^2*lambda[5]*lambda[4]+1/24837120*lambda[5]^2*lambda[4]-37
/155232000*lambda[6]*lambda[4]^2+12539/6623232000*lambda[6]^3*lambda[3]-241/
709632000*lambda[6]*lambda[5]*lambda[3]-523/2483712000*lambda[4]*lambda[3]+
13757/6623232000*lambda[6]^2*lambda[2]+53/1655808000*lambda[5]*lambda[2]+67/
33116160*lambda[6]*lambda[1]+17/47308800*lambda[0])*v[6]^11*v[5]^9*v[4]^2+(3/2
*lambda[4]*lambda[3]+1/2*lambda[5]*lambda[2]+3/2*lambda[6]*lambda[1]+1/2*
lambda[0])*v[4]^2*v[3]*v[2]^3+(-27/10035200*lambda[6]^7-9/501760*lambda[6]^5*
lambda[5]-71/627200*lambda[6]^3*lambda[5]^2+3/156800*lambda[6]*lambda[5]^3-939
/5017600*lambda[6]^4*lambda[4]-43/78400*lambda[6]^2*lambda[5]*lambda[4]+1/
313600*lambda[5]^2*lambda[4]-1/12544*lambda[6]*lambda[4]^2-99/358400*lambda[6]
^3*lambda[3]-129/627200*lambda[6]*lambda[5]*lambda[3]-143/4300800*lambda[4]*
lambda[3]+3351/10035200*lambda[6]^2*lambda[2]+99/10035200*lambda[5]*lambda[2]+
4073/10035200*lambda[6]*lambda[1]+17/286720*lambda[0])*v[6]^8*v[5]^8*v[3]*v[2]
+(3/17248000*lambda[6]^7+1303/137984000*lambda[6]^5*lambda[5]-1363/155232000*
lambda[6]^3*lambda[5]^2-1/323400*lambda[6]*lambda[5]^3+7/768000*lambda[6]^4*
lambda[4]+317/51744000*lambda[6]^2*lambda[5]*lambda[4]-19/19404000*lambda[5]^2
*lambda[4]+19/6468000*lambda[6]*lambda[4]^2-42961/827904000*lambda[6]^3*lambda
[3]+2041/206976000*lambda[6]*lambda[5]*lambda[3]+1579/310464000*lambda[4]*
lambda[3]-10979/165580800*lambda[6]^2*lambda[2]-41/41395200*lambda[5]*lambda[2
]-17/517440*lambda[6]*lambda[1]-19/1182720*lambda[0])*v[6]^7*v[5]^11*v[4]^2+(-\
3/16*lambda[6]^2*lambda[5]*lambda[4]+1/48*lambda[6]*lambda[4]^2-1/12*lambda[6]
*lambda[5]*lambda[3]-5/24*lambda[4]*lambda[3]+5/12*lambda[6]^2*lambda[2]+1/6*
lambda[5]*lambda[2]+11/24*lambda[6]*lambda[1]+7/24*lambda[0])*v[6]*v[5]^4*v[3]
^4*v[2]+(3/280*lambda[6]^2*lambda[2]-3/70*lambda[5]*lambda[2]-3/70*lambda[6]*
lambda[1]-3/20*lambda[0])*v[5]^7*v[4]*v[2]*v[1]+(9/4480*lambda[6]^2*lambda[2]+
1/3360*lambda[5]*lambda[2]-1/224*lambda[6]*lambda[1]-1/320*lambda[0])*v[6]^8*v
[5]^3*v[4]*v[2]*v[1]+(-1/281600*lambda[6]*lambda[1]-1/281600*lambda[0])*v[6]^
13*v[5]*v[1]^2-1/4*lambda[0]*v[6]^4*v[5]*v[4]^3*v[2]*v[1]+(-3/551936000*lambda
[6]^7-1/19712000*lambda[6]^5*lambda[5]+13/51744000*lambda[6]^3*lambda[5]^2+1/
6468000*lambda[6]*lambda[5]^3-87/68992000*lambda[6]^4*lambda[4]-59/77616000*
lambda[6]^2*lambda[5]*lambda[4]+1/19404000*lambda[5]^2*lambda[4]-1/11088000*
lambda[6]*lambda[4]^2+1/3696000*lambda[6]^3*lambda[3]-1/1386000*lambda[6]*
lambda[5]*lambda[3]+3229/1655808000*lambda[6]^2*lambda[2]-1/6468000*lambda[5]*
lambda[2]+19/17248000*lambda[6]*lambda[1]+37/39424000*lambda[0])*v[6]^12*v[5]^
7*v[1]+(-3/20*lambda[5]^2*lambda[4]-1/40*lambda[6]*lambda[4]^2-1/20*lambda[6]*
lambda[5]*lambda[3]+7/10*lambda[4]*lambda[3]+1/10*lambda[6]^2*lambda[2]-1/20*
lambda[5]*lambda[2]-13/10*lambda[6]*lambda[1]-7/5*lambda[0])*v[5]^2*v[3]^5*v[2
]+(-9/114802688000*lambda[6]^7-19/28700672000*lambda[6]^5*lambda[5]-449/
21525504000*lambda[6]^3*lambda[5]^2+37/48432384000*lambda[6]*lambda[5]^3-23/
401408000*lambda[6]^4*lambda[4]-1579/10762752000*lambda[6]^2*lambda[5]*lambda[
4]-37/96864768000*lambda[5]^2*lambda[4]-1427/32288256000*lambda[6]*lambda[4]^2
-3739/28700672000*lambda[6]^3*lambda[3]-3281/64576512000*lambda[6]*lambda[5]*
lambda[3]-3397/206644838400*lambda[4]*lambda[3]-313/10436608000*lambda[6]^2*
lambda[2]+14321/1033224192000*lambda[5]*lambda[2]+1/212992000*lambda[6]*lambda
[1]+3/212992000*lambda[0])*v[6]^16*v[5]^4*v[3]*v[2]+(-3/1120*lambda[6]^2*
lambda[2]+1/840*lambda[5]*lambda[2]-9/1120*lambda[6]*lambda[1]+1/160*lambda[0]
)*v[6]^7*v[5]^3*v[4]^2*v[3]*v[1]+(-3/39424000*lambda[6]^5*lambda[5]-1/2956800*
lambda[6]^3*lambda[5]^2+1/11088000*lambda[6]*lambda[5]^3-3/7884800*lambda[6]^4
*lambda[4]-1/985600*lambda[6]^2*lambda[5]*lambda[4]+1/11088000*lambda[5]^2*
lambda[4]-1/308000*lambda[6]*lambda[4]^2+323/39424000*lambda[6]^3*lambda[3]+13
/4224000*lambda[6]*lambda[5]*lambda[3]-1/739200*lambda[4]*lambda[3]+1203/
39424000*lambda[6]^2*lambda[2]+163/88704000*lambda[5]*lambda[2]+283/11827200*
lambda[6]*lambda[1]+7/1689600*lambda[0])*v[6]^11*v[5]^5*v[4]^4+(99/89600*
lambda[6]^2*lambda[2]+1/8400*lambda[5]*lambda[2]+9/5600*lambda[6]*lambda[1]+17
/12800*lambda[0])*v[6]^8*v[5]^5*v[4]^2*v[1]+(3/1280*lambda[6]^3*lambda[5]^2+1/
960*lambda[6]*lambda[5]^3+9/320*lambda[6]^4*lambda[4]+67/640*lambda[6]^2*
lambda[5]*lambda[4]+41/1920*lambda[5]^2*lambda[4]+127/3840*lambda[6]*lambda[4]
^2+3/320*lambda[6]^3*lambda[3]+1/64*lambda[6]*lambda[5]*lambda[3]+7/192*lambda
[4]*lambda[3]-73/960*lambda[6]^2*lambda[2]-13/480*lambda[5]*lambda[2]-21/160*
lambda[6]*lambda[1]-53/960*lambda[0])*v[6]^5*v[5]^4*v[4]*v[3]^4+(-9/
32835463012352000000*lambda[6]^7-963/1427628826624000000*lambda[6]^5*lambda[5]
+941/307832465740800000*lambda[6]^3*lambda[5]^2+401/443278750666752000*lambda[
6]*lambda[5]^3-27399/3283546301235200000*lambda[6]^4*lambda[4]+67591/
4925319451852800000*lambda[6]^2*lambda[5]*lambda[4]+84979/18469947944448000000
*lambda[5]^2*lambda[4]-22369/1119390784512000000*lambda[6]*lambda[4]^2-4239/
3090396518809600000*lambda[6]^3*lambda[3]+309931/28144682582016000000*lambda[6
]*lambda[5]*lambda[3]-17507/1148762554368000000*lambda[4]*lambda[3]+1565483/
262683704098816000000*lambda[6]^2*lambda[2]+566837/56289365164032000000*lambda
[5]*lambda[2]-101917/670111490048000000*lambda[6]*lambda[1]-309/
5631188992000000*lambda[0])*v[6]^25*v[5]^2*v[2]+(3/156800*lambda[6]^5*lambda[5
]+1/19600*lambda[6]^3*lambda[5]^2+1/11760*lambda[6]*lambda[5]^3+3/31360*lambda
[6]^4*lambda[4]+3/19600*lambda[6]^2*lambda[5]*lambda[4]+1/11760*lambda[5]^2*
lambda[4]+2/3675*lambda[6]*lambda[4]^2-3/2450*lambda[6]^3*lambda[3]-1/1470*
lambda[6]*lambda[5]*lambda[3]+1/2940*lambda[4]*lambda[3]-307/78400*lambda[6]^2
*lambda[2]-1/2450*lambda[5]*lambda[2]-449/156800*lambda[6]*lambda[1]-17/22400*
lambda[0])*v[6]^7*v[5]^7*v[3]*v[1]+(-1/3200*lambda[6]^4*lambda[4]+9/5600*
lambda[6]^2*lambda[5]*lambda[4]-1/700*lambda[5]^2*lambda[4]-1/560*lambda[6]*
lambda[4]^2-1/3200*lambda[6]^3*lambda[3]+1/800*lambda[6]*lambda[5]*lambda[3]+9
/8960*lambda[4]*lambda[3]-3/4480*lambda[6]^2*lambda[2]+9/8960*lambda[5]*lambda
[2]+5/1792*lambda[6]*lambda[1]+1/256*lambda[0])*v[5]^10*v[4]^3*v[3]+(171/
68307599360000*lambda[6]^3*lambda[3]-23/2439557120000*lambda[6]*lambda[5]*
lambda[3]+3/199147520000*lambda[4]*lambda[3]+171/68307599360000*lambda[6]^2*
lambda[2]-239/29274685440000*lambda[5]*lambda[2]+1/49786880000*lambda[6]*
lambda[1]+1/24893440000*lambda[0])*v[6]^21*v[4]^2*v[2]+(3/4480*lambda[6]^3*
lambda[3]-3/1120*lambda[6]*lambda[5]*lambda[3]-3/4480*lambda[4]*lambda[3]+3/
4480*lambda[6]^2*lambda[2]-3/4480*lambda[5]*lambda[2]+1/1120*lambda[6]*lambda[
1])*v[6]*v[5]^10*v[4]^2*v[2]+(-7/40*lambda[6]^2*lambda[2]-1/20*lambda[5]*
lambda[2]-17/40*lambda[6]*lambda[1]-7/40*lambda[0])*v[6]*v[5]^6*v[3]*v[2]*v[1]
+(-1/8960*lambda[6]^2*lambda[5]*lambda[4]+1/3360*lambda[5]^2*lambda[4]-1/5376*
lambda[6]*lambda[4]^2-1/6720*lambda[6]*lambda[5]*lambda[3]-1/4480*lambda[4]*
lambda[3]-1/6720*lambda[6]^2*lambda[2]+1/1120*lambda[5]*lambda[2]+1/13440*
lambda[6]*lambda[1]+1/640*lambda[0])*v[6]^9*v[3]^4*v[2]+(9/287006720000*lambda
[6]^7+2521/143503360000*lambda[6]^5*lambda[5]-79/8968960000*lambda[6]^3*lambda
[5]^2-521/242161920000*lambda[6]*lambda[5]^3-41967/574013440000*lambda[6]^4*
lambda[4]-7003/172204032000*lambda[6]^2*lambda[5]*lambda[4]-1237/276756480000*
lambda[5]^2*lambda[4]+10687/1291530240000*lambda[6]*lambda[4]^2-9173/
164003840000*lambda[6]^3*lambda[3]-16061/2583060480000*lambda[6]*lambda[5]*
lambda[3]+983/794787840000*lambda[4]*lambda[3]-13701/229605376000*lambda[6]^2*
lambda[2]+2441/295206912000*lambda[5]*lambda[2]+71/4685824000*lambda[6]*lambda
[1]+1/360448000*lambda[0])*v[6]^16*v[5]^6*v[4]*v[3]+(-3/3942400*lambda[6]^5*
lambda[5]+7/528000*lambda[6]^3*lambda[5]^2+97/11088000*lambda[6]*lambda[5]^3-\
339/5632000*lambda[6]^4*lambda[4]+1151/14784000*lambda[6]^2*lambda[5]*lambda[4
]+13/1584000*lambda[5]^2*lambda[4]+23/11827200*lambda[6]*lambda[4]^2-27/704000
*lambda[6]^3*lambda[3]+1181/118272000*lambda[6]*lambda[5]*lambda[3]-367/
118272000*lambda[4]*lambda[3]-3/44800*lambda[6]^2*lambda[2]-23/1576960*lambda[
5]*lambda[2]-31/563200*lambda[6]*lambda[1]-13/563200*lambda[0])*v[6]^11*v[5]^6
*v[4]*v[3]^2+(-3/2*lambda[4]*lambda[3]-1/2*lambda[5]*lambda[2]-3/2*lambda[6]*
lambda[1]-5/2*lambda[0])*v[6]^2*v[5]*v[4]*v[3]*v[2]^3+(-3/11200*lambda[6]^5*
lambda[5]-1/1400*lambda[6]^3*lambda[5]^2-1/840*lambda[6]*lambda[5]^3-3/2240*
lambda[6]^4*lambda[4]-3/1400*lambda[6]^2*lambda[5]*lambda[4]-1/840*lambda[5]^2
*lambda[4]-4/525*lambda[6]*lambda[4]^2+33/11200*lambda[6]^3*lambda[3]-43/8400*
lambda[6]*lambda[5]*lambda[3]-167/67200*lambda[4]*lambda[3]+17/11200*lambda[6]
^2*lambda[2]-7/9600*lambda[5]*lambda[2]+9/3200*lambda[6]*lambda[1]+3/640*
lambda[0])*v[6]^6*v[5]^7*v[4]*v[3]*v[2]+(-1/160*lambda[6]^2*lambda[2]+1/40*
lambda[5]*lambda[2]+1/40*lambda[6]*lambda[1]-3/80*lambda[0])*v[5]^5*v[4]^4*v[1
]+(3/80*lambda[5]^2*lambda[4]+1/160*lambda[6]*lambda[4]^2+1/80*lambda[6]*
lambda[5]*lambda[3]+3/40*lambda[4]*lambda[3]-1/40*lambda[6]^2*lambda[2]+1/80*
lambda[5]*lambda[2]-7/40*lambda[6]*lambda[1]-3/20*lambda[0])*v[6]^4*v[3]^5*v[2
]+(-3/2240*lambda[6]^4*lambda[4]+1/210*lambda[6]^2*lambda[5]*lambda[4]+1/420*
lambda[5]^2*lambda[4]-1/84*lambda[6]*lambda[4]^2-1/105*lambda[4]*lambda[3]-33/
1120*lambda[6]^2*lambda[2]-1/140*lambda[5]*lambda[2]-39/560*lambda[6]*lambda[1
]-3/320*lambda[0])*v[6]*v[5]^8*v[4]*v[3]*v[1]+(9/370812682240000*lambda[6]^7+9
/92703170560000*lambda[6]^5*lambda[5]-311/17381844480000*lambda[6]^3*lambda[5]
^2-31/2234808576000*lambda[6]*lambda[5]^3-9791/185406341120000*lambda[6]^4*
lambda[4]+4733/13905475584000*lambda[6]^2*lambda[5]*lambda[4]+269/
17381844480000*lambda[5]^2*lambda[4]+11/55444480000*lambda[6]*lambda[4]^2+229/
1891901440000*lambda[6]^3*lambda[3]+89/1022461440000*lambda[6]*lambda[5]*
lambda[3]+1017/21812510720000*lambda[4]*lambda[3]+11281/33710243840000*lambda[
6]^2*lambda[2]-373/12224593920000*lambda[5]*lambda[2]+1063/2118929612800*
lambda[6]*lambda[1]-81/445153280000*lambda[0])*v[6]^20*v[5]^2*v[3]*v[2]+(-\
2842339/1451884774892574448025600000000*lambda[6]^7+15523423/
1244472664193635241164800000000*lambda[6]^5*lambda[5]-1108871/
59395286245605318328320000000*lambda[6]^3*lambda[5]^2+8214007/
420009524165351893893120000000*lambda[6]*lambda[5]^3-4527827/
348452345974217867526144000000*lambda[6]^4*lambda[4]-348917/
7179649985732511006720000000*lambda[6]^2*lambda[5]*lambda[4]+833117/
33334089219472372531200000000*lambda[5]^2*lambda[4]+37073/
396834395469909196800000000*lambda[6]*lambda[4]^2+1505859/
11852120611367954677760000000*lambda[6]^3*lambda[3]-10379/
58972294063639756800000000*lambda[6]*lambda[5]*lambda[3]+61/
7086328490534092800000000*lambda[4]*lambda[3]-399821/
1953646254621091430400000000*lambda[6]^2*lambda[2]-569/
6343007320198348800000000*lambda[5]*lambda[2]+1049/1262861185921843200000000*
lambda[6]*lambda[1]+1/3537426291097600000000*lambda[0])*v[6]^35*v[5]+(1/40*
lambda[5]*lambda[2]+3/40*lambda[6]*lambda[1]-3/40*lambda[0])*v[6]^2*v[5]^2*v[4
]^5*v[1]+(-3/44800*lambda[6]^4*lambda[4]+1/4200*lambda[6]^2*lambda[5]*lambda[4
]+1/8400*lambda[5]^2*lambda[4]-1/1680*lambda[6]*lambda[4]^2-9/22400*lambda[6]^
3*lambda[3]+9/5600*lambda[6]*lambda[5]*lambda[3]+1/16800*lambda[4]*lambda[3]-\
53/134400*lambda[6]^2*lambda[2]+3/5600*lambda[5]*lambda[2]+1/840*lambda[6]*
lambda[1]-3/640*lambda[0])*v[6]*v[5]^8*v[4]^5+(-3/320*lambda[6]^3*lambda[3]-1/
240*lambda[6]*lambda[5]*lambda[3]+1/480*lambda[4]*lambda[3]-9/320*lambda[6]^2*
lambda[2]-1/160*lambda[5]*lambda[2]-3/40*lambda[6]*lambda[1]-1/20*lambda[0])*v
[6]^5*v[5]^4*v[2]^3+(-9/656709260247040000*lambda[6]^7+9/164177315061760000*
lambda[6]^5*lambda[5]-1/33505574502400*lambda[6]^3*lambda[5]^2+1447/
11081968766668800*lambda[6]*lambda[5]^3+7377/82088657530880000*lambda[6]^4*
lambda[4]-15097/30783246574080000*lambda[6]^2*lambda[5]*lambda[4]+97/
1183971022080000*lambda[5]^2*lambda[4]+3/4759314560000*lambda[6]*lambda[4]^2+
17027/164177315061760000*lambda[6]^3*lambda[3]-47647/140723412910080000*lambda
[6]*lambda[5]*lambda[3]-31/1340222980096000*lambda[4]*lambda[3]+9497/
656709260247040000*lambda[6]^2*lambda[2]-19763/70361706455040000*lambda[5]*
lambda[2]+16129/6701114900480000*lambda[6]*lambda[1]-147/239325532160000*
lambda[0])*v[6]^23*v[5]*v[4]*v[2]+(-227/89600*lambda[6]^2*lambda[2]-11/268800*
lambda[5]*lambda[2]-227/89600*lambda[6]*lambda[1]-11/12800*lambda[0])*v[6]^6*v
[5]^8*v[4]*v[1]+(-1/800*lambda[4]*lambda[3]-1/800*lambda[5]*lambda[2]-1/200*
lambda[6]*lambda[1])*v[6]^5*v[4]^6*v[2]+(1/2956800*lambda[6]^2*lambda[5]*
lambda[4]-1/1108800*lambda[5]^2*lambda[4]+1/1478400*lambda[6]*lambda[4]^2-1/
92400*lambda[4]*lambda[3]-1/985600*lambda[6]^2*lambda[2]-61/5913600*lambda[5]*
lambda[2]-27/1971200*lambda[6]*lambda[1]+1/25600*lambda[0])*v[6]^12*v[4]*v[3]^
2*v[1]+(1/280*lambda[6]*lambda[5]*lambda[3]+1/280*lambda[4]*lambda[3]+3/560*
lambda[6]^2*lambda[2]+1/420*lambda[5]*lambda[2]+1/280*lambda[6]*lambda[1])*v[6
]^7*v[5]*v[4]*v[2]^3+(-3/80*lambda[6]^2*lambda[5]*lambda[4]-1/60*lambda[5]^2*
lambda[4]-17/240*lambda[6]*lambda[4]^2-3/320*lambda[6]^3*lambda[3]-7/480*
lambda[6]*lambda[5]*lambda[3]-1/64*lambda[4]*lambda[3]-23/960*lambda[6]^2*
lambda[2]-23/960*lambda[5]*lambda[2]-1/15*lambda[6]*lambda[1]-3/160*lambda[0])
*v[6]^6*v[5]^2*v[4]^3*v[3]^3+(3/3942400*lambda[6]^5*lambda[5]+1/295680*lambda[
6]^3*lambda[5]^2-1/1108800*lambda[6]*lambda[5]^3+9/3942400*lambda[6]^4*lambda[
4]-23/123200*lambda[6]^2*lambda[5]*lambda[4]-1/277200*lambda[5]^2*lambda[4]-29
/492800*lambda[6]*lambda[4]^2-1/61600*lambda[6]^3*lambda[3]+1/118272*lambda[6]
*lambda[5]*lambda[3]-23/2365440*lambda[4]*lambda[3]+43/985600*lambda[6]^2*
lambda[2]+11/358400*lambda[5]*lambda[2]+43/281600*lambda[6]*lambda[1]+7/281600
*lambda[0])*v[6]^11*v[5]^4*v[3]^2*v[2]+(3/10035200*lambda[6]^7+1/501760*lambda
[6]^5*lambda[5]+71/5644800*lambda[6]^3*lambda[5]^2-1/470400*lambda[6]*lambda[5
]^3-97/3763200*lambda[6]^4*lambda[4]+19/470400*lambda[6]^2*lambda[5]*lambda[4]
-1/705600*lambda[5]^2*lambda[4]+1/58800*lambda[6]*lambda[4]^2-67/470400*lambda
[6]^3*lambda[3]+1/117600*lambda[6]*lambda[5]*lambda[3]+1/176400*lambda[4]*
lambda[3]-4621/30105600*lambda[6]^2*lambda[2]-3/2508800*lambda[5]*lambda[2]-\
449/7526400*lambda[6]*lambda[1]+1/2150400*lambda[0])*v[6]^8*v[5]^9*v[1]+(3/
28700672000*lambda[6]^7+3/5740134400*lambda[6]^5*lambda[5]-71/878592000*lambda
[6]^3*lambda[5]^2-6547/96864768000*lambda[6]*lambda[5]^3-141/11480268800*
lambda[6]^4*lambda[4]-14863/129153024000*lambda[6]^2*lambda[5]*lambda[4]-113/
3725568000*lambda[5]^2*lambda[4]-19/405504000*lambda[6]*lambda[4]^2+713/
86102016000*lambda[6]^3*lambda[3]-10291/516612096000*lambda[6]*lambda[5]*
lambda[3]-15577/516612096000*lambda[4]*lambda[3]+3337/43051008000*lambda[6]^2*
lambda[2]+289/73801728000*lambda[5]*lambda[2]+2609/12300288000*lambda[6]*
lambda[1]+7/135168000*lambda[0])*v[6]^16*v[5]^3*v[3]^3+(1/120*lambda[5]^2*
lambda[4]+1/40*lambda[6]*lambda[4]^2-1/160*lambda[6]*lambda[5]*lambda[3]+11/
160*lambda[4]*lambda[3]-3/160*lambda[5]*lambda[2]-1/80*lambda[6]*lambda[1]-1/
80*lambda[0])*v[6]^6*v[4]^2*v[3]^3*v[2]-3/2*lambda[0]*v[5]*v[4]^2*v[3]*v[1]^2+
(3/3200*lambda[6]^3*lambda[3]+1/2400*lambda[6]*lambda[5]*lambda[3]-1/1200*
lambda[4]*lambda[3]+43/9600*lambda[6]^2*lambda[2]+7/2400*lambda[5]*lambda[2]+1
/120*lambda[6]*lambda[1]+1/160*lambda[0])*v[6]^3*v[5]^5*v[4]^6+(3/448448000*
lambda[6]^3*lambda[3]+379/2690688000*lambda[6]*lambda[5]*lambda[3]-1/128128000
*lambda[4]*lambda[3]+79/538137600*lambda[6]^2*lambda[2]+191/2018016000*lambda[
5]*lambda[2]-17/384384000*lambda[6]*lambda[1]-1/3432000*lambda[0])*v[6]^15*v[5
]*v[4]^3*v[2]+(21/40*lambda[4]*lambda[3]+3/40*lambda[5]*lambda[2]+9/40*lambda[
6]*lambda[1]-9/40*lambda[0])*v[6]^2*v[5]*v[4]^5*v[3]*v[2]+(-1/2*lambda[5]*
lambda[2]-3/2*lambda[6]*lambda[1]-3/2*lambda[0])*v[6]^2*v[5]^2*v[4]*v[2]^2*v[1
]+(-lambda[5]*lambda[2]-3/2*lambda[6]*lambda[1]-3/2*lambda[0])*v[6]*v[5]^2*v[4
]^2*v[3]*v[2]*v[1]+(3/9856000*lambda[6]^5*lambda[5]+1/739200*lambda[6]^3*
lambda[5]^2-1/2772000*lambda[6]*lambda[5]^3+3/1971200*lambda[6]^4*lambda[4]+1/
246400*lambda[6]^2*lambda[5]*lambda[4]-1/2772000*lambda[5]^2*lambda[4]+1/77000
*lambda[6]*lambda[4]^2-323/9856000*lambda[6]^3*lambda[3]-13/1056000*lambda[6]*
lambda[5]*lambda[3]+1/184800*lambda[4]*lambda[3]+557/9856000*lambda[6]^2*
lambda[2]-1/224000*lambda[5]*lambda[2]+57/448000*lambda[6]*lambda[1]+3/140800*
lambda[0])*v[6]^11*v[5]^5*v[2]^2+(-1/35840*lambda[6]^3*lambda[5]^2-1/26880*
lambda[6]*lambda[5]^3-3/8960*lambda[6]^4*lambda[4]-9/17920*lambda[6]^2*lambda[
5]*lambda[4]-33/17920*lambda[5]^2*lambda[4]-17/21504*lambda[6]*lambda[4]^2-1/
8960*lambda[6]^3*lambda[3]-11/8960*lambda[6]*lambda[5]*lambda[3]-1/8960*lambda
[4]*lambda[3]-29/26880*lambda[6]^2*lambda[2]-1/640*lambda[5]*lambda[2]-5/2688*
lambda[6]*lambda[1]-1/1280*lambda[0])*v[6]^9*v[5]^2*v[4]*v[3]^4+(1/1971200*
lambda[6]^7-1/211200*lambda[6]^5*lambda[5]+1/73920*lambda[6]^3*lambda[5]^2-1/
92400*lambda[6]*lambda[5]^3-13/2956800*lambda[6]^4*lambda[4]+1/36960*lambda[6]
^2*lambda[5]*lambda[4]-1/26400*lambda[5]^2*lambda[4]-1/26400*lambda[6]*lambda[
4]^2-7/211200*lambda[6]^3*lambda[3]+7/52800*lambda[6]*lambda[5]*lambda[3]-43/
369600*lambda[4]*lambda[3]-13/168960*lambda[6]^2*lambda[2]+3/24640*lambda[5]*
lambda[2]+1/3696*lambda[6]*lambda[1]+1/2816*lambda[0])*v[6]*v[5]^12*v[4]^3+(-9
/44800*lambda[6]^2*lambda[5]*lambda[4]-1/11200*lambda[5]^2*lambda[4]-9/22400*
lambda[6]*lambda[4]^2-27/179200*lambda[6]^3*lambda[3]-9/44800*lambda[6]*lambda
[5]*lambda[3]+57/179200*lambda[4]*lambda[3]-117/179200*lambda[6]^2*lambda[2]-\
17/107520*lambda[5]*lambda[2]-39/179200*lambda[6]*lambda[1]-11/25600*lambda[0]
)*v[6]^8*v[5]^2*v[4]^5*v[3]-3*lambda[0]*v[6]*v[5]*v[4]*v[2]*v[1]^2+(3/492800*
lambda[6]^7+1/369600*lambda[6]^5*lambda[5]-2/17325*lambda[6]^3*lambda[5]^2+1/
34650*lambda[6]*lambda[5]^3+37/184800*lambda[6]^4*lambda[4]-3/7700*lambda[6]^2
*lambda[5]*lambda[4]-1/17325*lambda[5]^2*lambda[4]+29/69300*lambda[6]*lambda[4
]^2-191/369600*lambda[6]^3*lambda[3]-751/2217600*lambda[6]*lambda[5]*lambda[3]
+17/2217600*lambda[4]*lambda[3]-229/295680*lambda[6]^2*lambda[2]-1/36960*
lambda[5]*lambda[2]-367/147840*lambda[6]*lambda[1]-1/1056*lambda[0])*v[6]^3*v[
5]^11*v[4]*v[2]-lambda[0]*v[6]^2*v[2]^3*v[1]+(-1/4*lambda[6]^2*lambda[2]-1/8*
lambda[5]*lambda[2]-7/8*lambda[6]*lambda[1]+7/8*lambda[0])*v[5]^4*v[3]^2*v[2]*
v[1]+(-3/1971200*lambda[6]^7-1/1478400*lambda[6]^5*lambda[5]+1/34650*lambda[6]
^3*lambda[5]^2-1/138600*lambda[6]*lambda[5]^3-37/739200*lambda[6]^4*lambda[4]+
3/30800*lambda[6]^2*lambda[5]*lambda[4]+1/69300*lambda[5]^2*lambda[4]-29/
277200*lambda[6]*lambda[4]^2-19/92400*lambda[6]^3*lambda[3]+1/34650*lambda[6]*
lambda[5]*lambda[3]-1/17325*lambda[4]*lambda[3]-167/1182720*lambda[6]^2*lambda
[2]+1/147840*lambda[5]*lambda[2]+1/147840*lambda[6]*lambda[1]-13/84480*lambda[
0])*v[6]^4*v[5]^11*v[1]+(63/12800*lambda[6]^3*lambda[3]-13/3200*lambda[6]*
lambda[5]*lambda[3]-73/89600*lambda[4]*lambda[3]+63/12800*lambda[6]^2*lambda[2
]-97/89600*lambda[5]*lambda[2]-67/22400*lambda[6]*lambda[1]-1/320*lambda[0])*v
[6]^5*v[5]^8*v[4]^2*v[2]+(3/25088000*lambda[6]^7+59/2508800*lambda[6]^5*lambda
[5]-481/14112000*lambda[6]^3*lambda[5]^2+1/2352000*lambda[6]*lambda[5]^3-20077
/150528000*lambda[6]^4*lambda[4]-5591/75264000*lambda[6]^2*lambda[5]*lambda[4]
+1/2257920*lambda[5]^2*lambda[4]-29/5376000*lambda[6]*lambda[4]^2-12889/
301056000*lambda[6]^3*lambda[3]-1331/75264000*lambda[6]*lambda[5]*lambda[3]+
323/36126720*lambda[4]*lambda[3]+3769/60211200*lambda[6]^2*lambda[2]-137/
20070400*lambda[5]*lambda[2]+241/12042240*lambda[6]*lambda[1]-19/1720320*
lambda[0])*v[6]^8*v[5]^10*v[4]*v[3]+(21/32*lambda[4]*lambda[3]+1/32*lambda[6]^
2*lambda[2]+3/32*lambda[5]*lambda[2]+9/32*lambda[6]*lambda[1]+11/32*lambda[0])
*v[5]^4*v[4]^4*v[3]*v[2]+(-1/2*lambda[4]*lambda[3]-1/2*lambda[5]*lambda[2]-2*
lambda[0])*v[6]*v[5]^2*v[4]^2*v[2]^3+(9/1254400*lambda[6]^7+97/1254400*lambda[
6]^5*lambda[5]-589/1881600*lambda[6]^3*lambda[5]^2-347/1411200*lambda[6]*
lambda[5]^3-187/2508800*lambda[6]^4*lambda[4]-201/627200*lambda[6]^2*lambda[5]
*lambda[4]-1/29400*lambda[5]^2*lambda[4]+5/64512*lambda[6]*lambda[4]^2+9/50176
*lambda[6]^3*lambda[3]+5639/22579200*lambda[6]*lambda[5]*lambda[3]+1007/
7526400*lambda[4]*lambda[3]-17/376320*lambda[6]^2*lambda[2]-13/1505280*lambda[
5]*lambda[2]-149/250880*lambda[6]*lambda[1]-29/107520*lambda[0])*v[6]^8*v[5]^7
*v[3]^3+(3/160*lambda[6]^2*lambda[2]+1/120*lambda[5]*lambda[2]+1/40*lambda[6]*
lambda[1]-1/80*lambda[0])*v[6]^6*v[5]^2*v[4]^2*v[2]*v[1]+(-3/551936000*lambda[
6]^7+97/68992000*lambda[6]^5*lambda[5]+1021/413952000*lambda[6]^3*lambda[5]^2+
71/310464000*lambda[6]*lambda[5]^3+1257/315392000*lambda[6]^4*lambda[4]+18317/
9934848000*lambda[6]^2*lambda[5]*lambda[4]-53/620928000*lambda[5]^2*lambda[4]+
3809/4967424000*lambda[6]*lambda[4]^2-13207/13246464000*lambda[6]^3*lambda[3]-\
4801/9934848000*lambda[6]*lambda[5]*lambda[3]+109/378470400*lambda[4]*lambda[3
]-1081/270336000*lambda[6]^2*lambda[2]+1151/13246464000*lambda[5]*lambda[2]-\
927/883097600*lambda[6]*lambda[1]+61/126156800*lambda[0])*v[6]^12*v[5]^8*v[4]*
v[3]+(3/3200*lambda[6]^4*lambda[4]+1/800*lambda[6]^2*lambda[5]*lambda[4]+1/
1200*lambda[5]^2*lambda[4]+1/4800*lambda[6]*lambda[4]^2+3/400*lambda[6]^3*
lambda[3]-1/400*lambda[6]*lambda[5]*lambda[3]+1/600*lambda[4]*lambda[3]+1/1600
*lambda[6]^2*lambda[2]-59/9600*lambda[5]*lambda[2]-43/3200*lambda[6]*lambda[1]
-13/3200*lambda[0])*v[6]^6*v[5]^5*v[3]^2*v[1]+(-1/246400*lambda[6]*lambda[1]-1
/14080*lambda[0])*v[6]^11*v[4]*v[1]^2+(-3/80*lambda[6]*lambda[1]-3/80*lambda[0
])*v[6]*v[5]^7*v[1]^2+(9/2*lambda[4]*lambda[3]+1/2*lambda[5]*lambda[2]+2*
lambda[6]*lambda[1]+lambda[0])*v[5]*v[4]^3*v[3]^3*v[2]+(3/20070400*lambda[6]^7
+1/1003520*lambda[6]^5*lambda[5]+71/11289600*lambda[6]^3*lambda[5]^2-1/940800*
lambda[6]*lambda[5]^3+313/30105600*lambda[6]^4*lambda[4]+43/1411200*lambda[6]^
2*lambda[5]*lambda[4]-1/5644800*lambda[5]^2*lambda[4]+1/225792*lambda[6]*
lambda[4]^2-53/2150400*lambda[6]^3*lambda[3]+187/11289600*lambda[6]*lambda[5]*
lambda[3]+1/1254400*lambda[4]*lambda[3]-1909/60211200*lambda[6]^2*lambda[2]+41
/22579200*lambda[5]*lambda[2]-1/501760*lambda[6]*lambda[1]+1/86016*lambda[0])*
v[6]^9*v[5]^8*v[4]^3+(-3/25625600*lambda[6]^4*lambda[4]-1/19219200*lambda[6]^2
*lambda[5]*lambda[4]-17/28828800*lambda[5]^2*lambda[4]+1/300300*lambda[6]*
lambda[4]^2-9/12812800*lambda[6]^3*lambda[3]-3/582400*lambda[6]*lambda[5]*
lambda[3]-1/1201200*lambda[4]*lambda[3]+19/3660800*lambda[6]^2*lambda[2]-127/
38438400*lambda[5]*lambda[2]+171/12812800*lambda[6]*lambda[1]+21/1830400*
lambda[0])*v[6]^13*v[5]^2*v[4]*v[2]^2+(1/2*lambda[6]*lambda[1]+lambda[0])*v[6]
^3*v[5]*v[3]^2*v[1]^2+(-17/1600*lambda[6]*lambda[1]-17/1600*lambda[0])*v[6]^5*
v[5]^5*v[1]^2+(27/656709260247040000*lambda[6]^5*lambda[5]+71/4828744560640000
*lambda[6]^3*lambda[5]^2-4049/61566493148160000*lambda[6]*lambda[5]^3-237/
5317483888640000*lambda[6]^4*lambda[4]+4547/49253194518528000*lambda[6]^2*
lambda[5]*lambda[4]+29413/105542559682560000*lambda[5]^2*lambda[4]-257/
2116141547520000*lambda[6]*lambda[4]^2+1/33753559840000*lambda[6]^3*lambda[3]-\
838781/3940255561482240000*lambda[6]*lambda[5]*lambda[3]-1283/4232283095040000
*lambda[4]*lambda[3]-173/308603975680000*lambda[6]^2*lambda[2]+12161/
6185644523520000*lambda[5]*lambda[2]+67/705380515840000*lambda[6]*lambda[1]+1/
704675840000*lambda[0])*v[6]^23*v[4]*v[3]^2+(3/78848000*lambda[6]^7+1/2816000*
lambda[6]^5*lambda[5]-13/7392000*lambda[6]^3*lambda[5]^2-1/924000*lambda[6]*
lambda[5]^3-373/39424000*lambda[6]^4*lambda[4]+83/44352000*lambda[6]^2*lambda[
5]*lambda[4]-1/5544000*lambda[5]^2*lambda[4]-19/22176000*lambda[6]*lambda[4]^2
+593/59136000*lambda[6]^3*lambda[3]+13/3168000*lambda[6]*lambda[5]*lambda[3]-\
103/236544000*lambda[4]*lambda[3]+481/21504000*lambda[6]^2*lambda[2]+491/
236544000*lambda[5]*lambda[2]-113/15769600*lambda[6]*lambda[1]-9/2252800*
lambda[0])*v[6]^12*v[5]^6*v[3]*v[2]+(-1/400*lambda[6]^2*lambda[5]*lambda[4]+1/
100*lambda[5]^2*lambda[4]-1/200*lambda[6]*lambda[4]^2-3/1600*lambda[6]^3*
lambda[3]+3/400*lambda[6]*lambda[5]*lambda[3]+17/1600*lambda[4]*lambda[3]-31/
4800*lambda[6]^2*lambda[2]+33/1600*lambda[5]*lambda[2]+7/960*lambda[6]*lambda[
1]+3/64*lambda[0])*v[5]^6*v[4]^5*v[3]+(-1/1478400*lambda[6]^2*lambda[5]*lambda
[4]+1/554400*lambda[5]^2*lambda[4]-1/739200*lambda[6]*lambda[4]^2-3/1971200*
lambda[6]^3*lambda[3]+1/492800*lambda[6]*lambda[5]*lambda[3]-97/5913600*lambda
[4]*lambda[3]-1/394240*lambda[6]^2*lambda[2]+17/1971200*lambda[5]*lambda[2]+3/
179200*lambda[6]*lambda[1]+13/281600*lambda[0])*v[6]^12*v[4]*v[3]*v[2]^2+(-1/
246400*lambda[6]^3*lambda[3]+89/1478400*lambda[6]*lambda[5]*lambda[3]+13/
1478400*lambda[4]*lambda[3]+39/492800*lambda[6]^2*lambda[2]+23/2217600*lambda[
5]*lambda[2]+277/1478400*lambda[6]*lambda[1]+1/13200*lambda[0])*v[6]^11*v[5]^3
*v[4]^3*v[2]+(-1/17920*lambda[6]^4*lambda[4]-1/6720*lambda[6]^2*lambda[5]*
lambda[4]-1/3360*lambda[6]*lambda[4]^2-3/1792*lambda[6]^2*lambda[2]+1/6720*
lambda[5]*lambda[2]-1/896*lambda[6]*lambda[1]-1/2560*lambda[0])*v[6]^9*v[5]^4*
v[4]*v[3]*v[1]+1/4*lambda[0]*v[5]*v[4]^6*v[1]+(1/560*lambda[6]*lambda[1]+1/80*
lambda[0])*v[6]^7*v[2]*v[1]^2+(-1/2*lambda[6]*lambda[1]-1/2*lambda[0])*v[6]^3*
v[5]*v[2]^4+(-1/53760*lambda[6]^5*lambda[5]+1/20160*lambda[6]^3*lambda[5]^2+1/
10080*lambda[6]*lambda[5]^3-1/10752*lambda[6]^4*lambda[4]+1/6720*lambda[6]^2*
lambda[5]*lambda[4]+1/10080*lambda[5]^2*lambda[4]+1/2520*lambda[6]*lambda[4]^2
+17/53760*lambda[6]^3*lambda[3]-1/5760*lambda[6]*lambda[5]*lambda[3]+1/2016*
lambda[4]*lambda[3]+17/53760*lambda[6]^2*lambda[2]-1/1920*lambda[5]*lambda[2]-\
13/5376*lambda[6]*lambda[1]-1/768*lambda[0])*v[6]^3*v[5]^9*v[4]^4+(39/17920*
lambda[6]^4*lambda[4]+43/4480*lambda[6]^2*lambda[5]*lambda[4]-1/3360*lambda[5]
^2*lambda[4]-1/6720*lambda[6]*lambda[4]^2+39/17920*lambda[6]^3*lambda[3]+13/
2688*lambda[6]*lambda[5]*lambda[3]-17/7168*lambda[4]*lambda[3]-79/53760*lambda
[6]^2*lambda[2]-143/107520*lambda[5]*lambda[2]-115/21504*lambda[6]*lambda[1]-5
/1024*lambda[0])*v[6]^4*v[5]^8*v[4]^3*v[3]+(-1/4*lambda[6]^2*lambda[5]*lambda[
4]-3/8*lambda[6]*lambda[4]^2+1/16*lambda[6]*lambda[5]*lambda[3]+17/32*lambda[4
]*lambda[3]-1/16*lambda[6]^2*lambda[2]+7/32*lambda[5]*lambda[2]+3/16*lambda[6]
*lambda[1]+7/16*lambda[0])*v[6]^3*v[5]^4*v[4]^2*v[3]^2*v[2]-lambda[0]*v[6]*v[4
]*v[2]^4+(3/243955712000*lambda[6]^4*lambda[4]-1/15247232000*lambda[6]^2*
lambda[5]*lambda[4]-37/137225088000*lambda[5]^2*lambda[4]+1/933504000*lambda[6
]*lambda[4]^2+9/121977856000*lambda[6]^3*lambda[3]-1/554444800*lambda[6]*
lambda[5]*lambda[3]+19/1867008000*lambda[4]*lambda[3]+67/48791142400*lambda[6]
^2*lambda[2]+1/914833920*lambda[5]*lambda[2]+1/174254080*lambda[6]*lambda[1]-3
/2489344000*lambda[0])*v[6]^17*v[4]*v[2]^2+(-3/179379200*lambda[6]^4*lambda[4]
-1/134534400*lambda[6]^2*lambda[5]*lambda[4]-17/201801600*lambda[5]^2*lambda[4
]-29/53813760*lambda[6]*lambda[4]^2-9/89689600*lambda[6]^3*lambda[3]-17/
25625600*lambda[6]*lambda[5]*lambda[3]-323/1076275200*lambda[4]*lambda[3]-127/
179379200*lambda[6]^2*lambda[2]-139/358758400*lambda[5]*lambda[2]-309/51251200
*lambda[6]*lambda[1]-27/7321600*lambda[0])*v[6]^14*v[5]*v[3]*v[2]^2+(9/1280*
lambda[6]^3*lambda[3]+1/320*lambda[6]*lambda[5]*lambda[3]-1/640*lambda[4]*
lambda[3]+3/1280*lambda[6]^2*lambda[2]+3/640*lambda[5]*lambda[2]+1/40*lambda[6
]*lambda[1]-1/160*lambda[0])*v[6]^5*v[5]^4*v[4]^4*v[2]+3/2*lambda[0]*v[6]^2*v[
3]*v[2]*v[1]^2+(-1/1793792000*lambda[6]^5*lambda[5]-1/672672000*lambda[6]^3*
lambda[5]^2-17/1210809600*lambda[6]*lambda[5]^3-1/358758400*lambda[6]^4*lambda
[4]-1/224224000*lambda[6]^2*lambda[5]*lambda[4]-17/1210809600*lambda[5]^2*
lambda[4]-1/10090080*lambda[6]*lambda[4]^2-383/1793792000*lambda[6]^3*lambda[3
]+17/807206400*lambda[6]*lambda[5]*lambda[3]-1/18018000*lambda[4]*lambda[3]-17
/32614400*lambda[6]^2*lambda[2]+37/807206400*lambda[5]*lambda[2]-3/128128000*
lambda[6]*lambda[1]+1/18304000*lambda[0])*v[6]^15*v[5]^3*v[2]^2+(1/246400*
lambda[6]^7+1/105600*lambda[6]^5*lambda[5]-3/24640*lambda[6]^3*lambda[5]^2+1/
13200*lambda[6]*lambda[5]^3-17/1478400*lambda[6]^4*lambda[4]+27/123200*lambda[
6]^2*lambda[5]*lambda[4]+23/46200*lambda[5]^2*lambda[4]-67/147840*lambda[6]*
lambda[4]^2+19/739200*lambda[6]^3*lambda[3]-1307/1478400*lambda[6]*lambda[5]*
lambda[3]-1217/1478400*lambda[4]*lambda[3]+103/73920*lambda[6]^2*lambda[2]-173
/295680*lambda[5]*lambda[2]+101/29568*lambda[6]*lambda[1]+7/4224*lambda[0])*v[
5]^11*v[3]^3+(3/4480*lambda[6]^2*lambda[2]+1/3360*lambda[5]*lambda[2]+3/1120*
lambda[6]*lambda[1]-3/320*lambda[0])*v[6]^8*v[5]*v[2]^2*v[1]+(13/80*lambda[5]^
2*lambda[4]+1/60*lambda[6]*lambda[4]^2+1/30*lambda[6]*lambda[5]*lambda[3]-1/20
*lambda[4]*lambda[3]-1/15*lambda[6]^2*lambda[2]+1/5*lambda[5]*lambda[2]+1/30*
lambda[6]*lambda[1]+1/10*lambda[0])*v[6]^3*v[4]*v[3]^6+(711/1461125120000*
lambda[6]^7-15777/68307599360000*lambda[6]^5*lambda[5]-19/465733632000*lambda[
6]^3*lambda[5]^2+601/5763453696000*lambda[6]*lambda[5]^3-543419/
273230397440000*lambda[6]^4*lambda[4]-114799/102461399040000*lambda[6]^2*
lambda[5]*lambda[4]+67/1108356480000*lambda[5]^2*lambda[4]-21883/
51230699520000*lambda[6]*lambda[4]^2-39517/136615198720000*lambda[6]^3*lambda[
3]-2693/4269224960000*lambda[6]*lambda[5]*lambda[3]-5141/43912028160000*lambda
[4]*lambda[3]+1053511/273230397440000*lambda[6]^2*lambda[2]-6557/
87824056320000*lambda[5]*lambda[2]+337/150126592000*lambda[6]*lambda[1]+3/
7798784000*lambda[0])*v[6]^17*v[5]^8*v[4]+(-1/25625600*lambda[6]^3*lambda[3]+1
/19219200*lambda[6]*lambda[5]*lambda[3]-1/1830400*lambda[4]*lambda[3]-3/
25625600*lambda[6]^2*lambda[2]+23/38438400*lambda[5]*lambda[2]-1/457600*lambda
[6]*lambda[1]-1/228800*lambda[0])*v[6]^13*v[2]^3+(3/5253674081976320000*lambda
[6]^7-3/1313418520494080000*lambda[6]^5*lambda[5]+1/804133788057600*lambda[6]^
3*lambda[5]^2-1447/265967250400051200*lambda[6]*lambda[5]^3-2459/
656709260247040000*lambda[6]^4*lambda[4]+15097/738797917777920000*lambda[6]^2*
lambda[5]*lambda[4]-97/28415304529920000*lambda[5]^2*lambda[4]-1/
38074516480000*lambda[6]*lambda[4]^2-107/5025836175360000*lambda[6]^3*lambda[3
]+239/3769377131520000*lambda[6]*lambda[5]*lambda[3]-1/25129180876800*lambda[4
]*lambda[3]-39563/2251574606561280000*lambda[6]^2*lambda[2]+61/
1462061432832000*lambda[5]*lambda[2]-359/43299511664640000*lambda[6]*lambda[1]
-9/34653470720000*lambda[0])*v[6]^24*v[5]*v[1]+(1/17920*lambda[6]^4*lambda[4]+
1/6720*lambda[6]^2*lambda[5]*lambda[4]+1/3360*lambda[6]*lambda[4]^2+3/8960*
lambda[6]^3*lambda[3]+1/2240*lambda[4]*lambda[3]+13/17920*lambda[6]^2*lambda[2
]+1/13440*lambda[5]*lambda[2]+1/896*lambda[6]*lambda[1]+1/1280*lambda[0])*v[6]
^9*v[5]^4*v[4]*v[2]^2+(23/12812800*lambda[6]^7-859/76876800*lambda[6]^5*lambda
[5]+31/9609600*lambda[6]^3*lambda[5]^2+7/137280*lambda[6]*lambda[5]^3+79/
10982400*lambda[6]^4*lambda[4]-103/9609600*lambda[6]^2*lambda[5]*lambda[4]-347
/4804800*lambda[5]^2*lambda[4]-137/2745600*lambda[6]*lambda[4]^2+61/9609600*
lambda[6]^3*lambda[3]-3121/38438400*lambda[6]*lambda[5]*lambda[3]+3761/
76876800*lambda[4]*lambda[3]+549/2562560*lambda[6]^2*lambda[2]+613/5125120*
lambda[5]*lambda[2]+47/512512*lambda[6]*lambda[1]-7/73216*lambda[0])*v[6]*v[5]
^13*v[3]^2+(1/80*lambda[4]*lambda[3]+1/80*lambda[5]*lambda[2]+1/80*lambda[6]*
lambda[1]-1/16*lambda[0])*v[5]^2*v[4]^7*v[3]+(-9/3587584000*lambda[6]^4*lambda
[4]+3/224224000*lambda[6]^2*lambda[5]*lambda[4]+37/672672000*lambda[5]^2*
lambda[4]+1/7321600*lambda[6]*lambda[4]^2+1/39424000*lambda[6]*lambda[5]*
lambda[3]+71/512512000*lambda[4]*lambda[3]-1/27596800*lambda[6]^2*lambda[2]+89
/354816000*lambda[5]*lambda[2]+1/11827200*lambda[6]*lambda[1]+1/8448000*lambda
[0])*v[6]^15*v[4]^3*v[3]^2+(29/1103872000*lambda[6]^2*lambda[2]+1/118272000*
lambda[5]*lambda[2]+37/275968000*lambda[6]*lambda[1]+1/22528000*lambda[0])*v[6
]^16*v[5]*v[4]^2*v[1]+(-3/320*lambda[6]^3*lambda[3]+3/80*lambda[6]*lambda[5]*
lambda[3]+3/160*lambda[4]*lambda[3]+13/960*lambda[6]^2*lambda[2]+3/160*lambda[
5]*lambda[2]+1/24*lambda[6]*lambda[1]+1/8*lambda[0])*v[6]*v[5]^6*v[4]^4*v[2]+(
9/102502400*lambda[6]^5*lambda[5]+3/12812800*lambda[6]^3*lambda[5]^2+17/
7687680*lambda[6]*lambda[5]^3+87/102502400*lambda[6]^4*lambda[4]+59/3494400*
lambda[6]^2*lambda[5]*lambda[4]+17/23063040*lambda[5]^2*lambda[4]-29/7687680*
lambda[6]*lambda[4]^2+3/12812800*lambda[6]^3*lambda[3]-1/6988800*lambda[6]*
lambda[5]*lambda[3]-207/102502400*lambda[4]*lambda[3]-17/1025024*lambda[6]^2*
lambda[2]-49/43929600*lambda[5]*lambda[2]-69/4659200*lambda[6]*lambda[1]-1/
112640*lambda[0])*v[6]^13*v[5]^3*v[4]^2*v[3]^2+(-1/4*lambda[6]*lambda[1]+1/4*
lambda[0])*v[6]^3*v[5]^2*v[2]*v[1]^2+(-1/9270317056000*lambda[6]^5*lambda[5]+1
/3476368896000*lambda[6]^3*lambda[5]^2+1/106419456000*lambda[6]*lambda[5]^3-1/
1854063411200*lambda[6]^4*lambda[4]+1/1158789632000*lambda[6]^2*lambda[5]*
lambda[4]+1/106419456000*lambda[5]^2*lambda[4]-11/39504192000*lambda[6]*lambda
[4]^2-1/4260256000*lambda[6]^3*lambda[3]+141/144848704000*lambda[6]*lambda[5]*
lambda[3]+1/17381844480*lambda[4]*lambda[3]+69/272656384000*lambda[6]^2*lambda
[2]+167/496624128000*lambda[5]*lambda[2]+411/545312768000*lambda[6]*lambda[1]+
1/856064000*lambda[0])*v[6]^19*v[5]*v[3]*v[1]+(-57/9856000*lambda[6]^7-8831/
59136000*lambda[6]^5*lambda[5]+1079/22176000*lambda[6]^3*lambda[5]^2-109/
2772000*lambda[6]*lambda[5]^3+533/59136000*lambda[6]^4*lambda[4]-1697/7392000*
lambda[6]^2*lambda[5]*lambda[4]-13/2772000*lambda[5]^2*lambda[4]-109/44352000*
lambda[6]*lambda[4]^2-661/7392000*lambda[6]^3*lambda[3]+8573/88704000*lambda[6
]*lambda[5]*lambda[3]+7519/177408000*lambda[4]*lambda[3]+169/844800*lambda[6]^
2*lambda[2]-389/11827200*lambda[5]*lambda[2]-19/236544*lambda[6]*lambda[1]-13/
168960*lambda[0])*v[6]^5*v[5]^11*v[3]^2+(9/17920*lambda[6]^4*lambda[4]+3/2240*
lambda[6]^2*lambda[5]*lambda[4]+3/1120*lambda[6]*lambda[4]^2-9/8960*lambda[6]^
3*lambda[3]+3/1120*lambda[6]*lambda[5]*lambda[3]+67/35840*lambda[4]*lambda[3]+
81/17920*lambda[6]^2*lambda[2]+9/7168*lambda[5]*lambda[2]+351/35840*lambda[6]*
lambda[1]+19/5120*lambda[0])*v[6]^8*v[5]^4*v[4]^2*v[3]*v[2]+(1/24*lambda[6]*
lambda[4]^2-1/6*lambda[6]*lambda[5]*lambda[3]+1/3*lambda[4]*lambda[3]-1/6*
lambda[6]^2*lambda[2]-1/6*lambda[5]*lambda[2]-1/3*lambda[6]*lambda[1]-7/6*
lambda[0])*v[5]^3*v[3]^4*v[1]+(1/346611147558387712000000*lambda[6]^7-241/
11302537420382208000000*lambda[6]^5*lambda[5]+31/2835909389114081280000*lambda
[6]^3*lambda[5]^2+86113/350943786902867558400000*lambda[6]*lambda[5]^3+59/
81619579487846400000*lambda[6]^4*lambda[4]-10909/3183163600026009600000*lambda
[6]^2*lambda[5]*lambda[4]+17/9752339460864000000*lambda[5]^2*lambda[4]+1427/
378948047622144000000*lambda[6]*lambda[4]^2+63809/79225405156202905600000*
lambda[6]^3*lambda[3]-334601/127326544001040384000000*lambda[6]*lambda[5]*
lambda[3]-83/30391823368192000000*lambda[4]*lambda[3]-52651/
91413929026387968000000*lambda[6]^2*lambda[2]+22277/6529566359027712000000*
lambda[5]*lambda[2]-71/14574924908544000000*lambda[6]*lambda[1]-1/
34379890688000000*lambda[0])*v[6]^29*v[2]+(7/2*lambda[4]*lambda[3]+1/2*lambda[
6]*lambda[1]+3/2*lambda[0])*v[6]*v[4]^2*v[3]^4*v[2]+(-9/8960*lambda[6]^2*
lambda[5]*lambda[4]+99/44800*lambda[5]^2*lambda[4]-71/44800*lambda[6]*lambda[4
]^2-1/6400*lambda[6]*lambda[5]*lambda[3]+29/22400*lambda[4]*lambda[3]-1/2800*
lambda[6]^2*lambda[2]-61/134400*lambda[5]*lambda[2]-1/1400*lambda[6]*lambda[1]
+3/1600*lambda[0])*v[6]^8*v[4]*v[3]^5+(701/20500480000*lambda[6]^7+9857/
107627520000*lambda[6]^5*lambda[5]+5641/322882560000*lambda[6]^3*lambda[5]^2-\
277/80720640000*lambda[6]*lambda[5]^3+109/3444080640*lambda[6]^4*lambda[4]-\
2129/129153024000*lambda[6]^2*lambda[5]*lambda[4]-29/7175168000*lambda[5]^2*
lambda[4]-797/53813760000*lambda[6]*lambda[4]^2+13/1103872000*lambda[6]^3*
lambda[3]+1/67584000*lambda[6]*lambda[5]*lambda[3]-59/64576512000*lambda[4]*
lambda[3]+2143/28700672000*lambda[6]^2*lambda[2]+29/4100096000*lambda[5]*
lambda[2]+37/1324646400*lambda[6]*lambda[1]-1/189235200*lambda[0])*v[6]^13*v[5
]^10*v[4]+(-3/1254400*lambda[6]^7-1/62720*lambda[6]^5*lambda[5]-71/705600*
lambda[6]^3*lambda[5]^2+1/58800*lambda[6]*lambda[5]^3+97/470400*lambda[6]^4*
lambda[4]-19/58800*lambda[6]^2*lambda[5]*lambda[4]+1/88200*lambda[5]^2*lambda[
4]-1/7350*lambda[6]*lambda[4]^2-269/940800*lambda[6]^3*lambda[3]-11/75264*
lambda[6]*lambda[5]*lambda[3]-193/5644800*lambda[4]*lambda[3]-743/3763200*
lambda[6]^2*lambda[2]-19/940800*lambda[5]*lambda[2]+121/1881600*lambda[6]*
lambda[1]+1/13440*lambda[0])*v[6]^7*v[5]^9*v[4]*v[2]+(-1/16*lambda[6]*lambda[5
]^3+3/80*lambda[5]^2*lambda[4]+7/120*lambda[6]*lambda[4]^2+7/60*lambda[6]*
lambda[5]*lambda[3]+7/60*lambda[4]*lambda[3]-7/30*lambda[6]^2*lambda[2]-2/15*
lambda[5]*lambda[2]-7/15*lambda[6]*lambda[1]-7/30*lambda[0])*v[6]*v[5]^3*v[3]^
6+(-3/160*lambda[6]^2*lambda[2]-1/120*lambda[5]*lambda[2]-3/40*lambda[6]*
lambda[1]+3/40*lambda[0])*v[6]^5*v[5]^2*v[4]^3*v[2]^2+(3/80*lambda[6]*lambda[1
]+9/80*lambda[0])*v[6]^5*v[5]*v[4]^2*v[1]^2+(-9/160*lambda[6]^2*lambda[2]-1/40
*lambda[5]*lambda[2]-1/40*lambda[6]*lambda[1]+3/80*lambda[0])*v[6]^4*v[5]^5*v[
4]*v[2]*v[1]+(-7/64*lambda[4]*lambda[3]-3/64*lambda[6]^2*lambda[2]-7/192*
lambda[5]*lambda[2]-7/64*lambda[6]*lambda[1]-1/64*lambda[0])*v[6]^4*v[5]^2*v[4
]^4*v[3]*v[2]-3/4*lambda[0]*v[6]^2*v[4]^4*v[2]*v[1]+(-3/1792000*lambda[6]^7-1/
1344000*lambda[6]^5*lambda[5]+1/31500*lambda[6]^3*lambda[5]^2-1/126000*lambda[
6]*lambda[5]^3+191/2688000*lambda[6]^4*lambda[4]+1/13440*lambda[6]^2*lambda[5]
*lambda[4]+1/252000*lambda[5]^2*lambda[4]+71/504000*lambda[6]*lambda[4]^2+1/
38400*lambda[6]^3*lambda[3]-13/100800*lambda[6]*lambda[5]*lambda[3]+13/201600*
lambda[4]*lambda[3]-181/358400*lambda[6]^2*lambda[2]-17/268800*lambda[5]*
lambda[2]-11/17920*lambda[6]*lambda[1]-1/7680*lambda[0])*v[6]^5*v[5]^10*v[4]^3
+(-3/256256000*lambda[6]^7-1/5591040*lambda[6]^5*lambda[5]+3391/28252224000*
lambda[6]^3*lambda[5]^2+1733/56504448000*lambda[6]*lambda[5]^3+24229/
376696320000*lambda[6]^4*lambda[4]+8311/47087040000*lambda[6]^2*lambda[5]*
lambda[4]+137/5765760000*lambda[5]^2*lambda[4]-17/252252000*lambda[6]*lambda[4
]^2-18581/25113088000*lambda[6]^3*lambda[3]-179/1153152000*lambda[6]*lambda[5]
*lambda[3]-113/4036032000*lambda[4]*lambda[3]-17/2152550400*lambda[6]^2*lambda
[2]-3/89689600*lambda[5]*lambda[2]+163/430510080*lambda[6]*lambda[1]+1/
12300288*lambda[0])*v[6]^7*v[5]^15-lambda[0]*v[5]^3*v[4]^3*v[2]*v[1]+9/20*
lambda[0]*v[6]*v[4]^5*v[3]*v[1]+(-3/8960*lambda[6]^5*lambda[5]+1/3360*lambda[6
]^3*lambda[5]^2+1/240*lambda[6]*lambda[5]^3-129/8960*lambda[6]^4*lambda[4]-23/
672*lambda[6]^2*lambda[5]*lambda[4]-1/560*lambda[5]^2*lambda[4]-13/3360*lambda
[6]*lambda[4]^2-23/4480*lambda[6]^3*lambda[3]-149/6720*lambda[6]*lambda[5]*
lambda[3]-31/3840*lambda[4]*lambda[3]+433/13440*lambda[6]^2*lambda[2]+11/26880
*lambda[5]*lambda[2]+59/1344*lambda[6]*lambda[1]-1/384*lambda[0])*v[6]^2*v[5]^
8*v[4]*v[3]^3+(1/2*lambda[5]*lambda[2]+1/2*lambda[6]*lambda[1]-3/2*lambda[0])*
v[6]*v[5]*v[4]^2*v[3]^3*v[1]+(1/4*lambda[5]*lambda[2]+1/4*lambda[6]*lambda[1]+
5/4*lambda[0])*v[5]^2*v[4]^3*v[3]^2*v[1]+(-3/16*lambda[6]^2*lambda[5]*lambda[4
]+9/80*lambda[5]^2*lambda[4]+37/240*lambda[6]*lambda[4]^2-31/240*lambda[6]*
lambda[5]*lambda[3]-23/120*lambda[4]*lambda[3]+2/15*lambda[6]^2*lambda[2]-31/
240*lambda[5]*lambda[2]+4/15*lambda[6]*lambda[1]-7/60*lambda[0])*v[5]^4*v[4]*v
[3]^5+(-1/320*lambda[6]^3*lambda[5]^2+1/80*lambda[6]*lambda[5]^3-3/80*lambda[6
]^4*lambda[4]-43/480*lambda[6]^2*lambda[5]*lambda[4]+13/480*lambda[5]^2*lambda
[4]-7/320*lambda[6]*lambda[4]^2-1/80*lambda[6]^3*lambda[3]-5/48*lambda[6]*
lambda[5]*lambda[3]-1/16*lambda[4]*lambda[3]+7/48*lambda[6]^2*lambda[2]-1/24*
lambda[5]*lambda[2]+7/24*lambda[6]*lambda[1]+7/48*lambda[0])*v[6]*v[5]^6*v[4]*
v[3]^4+(-3/156800*lambda[6]^5*lambda[5]-1/19600*lambda[6]^3*lambda[5]^2-1/
11760*lambda[6]*lambda[5]^3-3/31360*lambda[6]^4*lambda[4]-3/19600*lambda[6]^2*
lambda[5]*lambda[4]-1/11760*lambda[5]^2*lambda[4]-2/3675*lambda[6]*lambda[4]^2
-141/156800*lambda[6]^3*lambda[3]+29/117600*lambda[6]*lambda[5]*lambda[3]-1/
4200*lambda[4]*lambda[3]-341/156800*lambda[6]^2*lambda[2]+1/4704*lambda[5]*
lambda[2]-47/78400*lambda[6]*lambda[1]+1/2240*lambda[0])*v[6]^7*v[5]^7*v[2]^2+
(3/320*lambda[6]^3*lambda[5]^2+1/240*lambda[6]*lambda[5]^3+3/640*lambda[6]^4*
lambda[4]+59/960*lambda[6]^2*lambda[5]*lambda[4]+1/15*lambda[5]^2*lambda[4]+91
/960*lambda[6]*lambda[4]^2+3/640*lambda[6]^3*lambda[3]+9/640*lambda[6]*lambda[
5]*lambda[3]-61/1920*lambda[4]*lambda[3]-43/1920*lambda[6]^2*lambda[2]+7/1920*
lambda[5]*lambda[2]-3/64*lambda[6]*lambda[1]-11/192*lambda[0])*v[6]^4*v[5]^5*v
[4]^2*v[3]^3+(-1/560*lambda[6]*lambda[4]^2+1/280*lambda[4]*lambda[3]-1/280*
lambda[6]^2*lambda[2]+17/1680*lambda[5]*lambda[2]-1/560*lambda[6]*lambda[1]-1/
80*lambda[0])*v[6]^7*v[4]*v[3]^3*v[1]+(-23/18540634112000*lambda[6]^5*lambda[5
]+61/347636889600*lambda[6]^3*lambda[5]^2+1811/10429106688000*lambda[6]*lambda
[5]^3-4001/7416253644800*lambda[6]^4*lambda[4]+14389/2781095116800*lambda[6]^2
*lambda[5]*lambda[4]+1/3659335680*lambda[5]^2*lambda[4]+25937/18540634112000*
lambda[6]*lambda[4]^2+3/24786944000*lambda[6]^3*lambda[3]+32633/22248760934400
*lambda[6]*lambda[5]*lambda[3]-23/134840975360*lambda[4]*lambda[3]+6313/
2317579264000*lambda[6]^2*lambda[2]+15973/15891972096000*lambda[5]*lambda[2]+
3469/2648662016000*lambda[6]*lambda[1]-1/2646016000*lambda[0])*v[6]^19*v[5]^2*
v[4]*v[3]^2+(3/448000*lambda[6]^5*lambda[5]+1/33600*lambda[6]^3*lambda[5]^2-1/
126000*lambda[6]*lambda[5]^3+3/89600*lambda[6]^4*lambda[4]+1/11200*lambda[6]^2
*lambda[5]*lambda[4]-1/126000*lambda[5]^2*lambda[4]+1/3500*lambda[6]*lambda[4]
^2-1/17920*lambda[6]^3*lambda[3]+13/48000*lambda[6]*lambda[5]*lambda[3]+223/
2688000*lambda[4]*lambda[3]+59/448000*lambda[6]^2*lambda[2]+59/896000*lambda[5
]*lambda[2]-79/896000*lambda[6]*lambda[1]-3/25600*lambda[0])*v[6]^10*v[5]^5*v[
4]*v[3]*v[2]+(3/32000*lambda[6]^4*lambda[4]+1/8000*lambda[6]^2*lambda[5]*
lambda[4]+1/12000*lambda[5]^2*lambda[4]-1/3000*lambda[6]*lambda[4]^2+9/16000*
lambda[6]^3*lambda[3]+7/8000*lambda[6]*lambda[5]*lambda[3]+1/6000*lambda[4]*
lambda[3]+83/32000*lambda[6]^2*lambda[2]-1/16000*lambda[5]*lambda[2]+1/384*
lambda[6]*lambda[1]+1/640*lambda[0])*v[6]^5*v[5]^6*v[4]^5+(1/18540634112000*
lambda[6]^5*lambda[5]-1/6952737792000*lambda[6]^3*lambda[5]^2-1/212838912000*
lambda[6]*lambda[5]^3+1/975822848000*lambda[6]^4*lambda[4]-233/1738184448000*
lambda[6]^2*lambda[5]*lambda[4]+61/135442944000*lambda[5]^2*lambda[4]-1/
52276224000*lambda[6]*lambda[4]^2+547/2781095116800*lambda[6]*lambda[5]*lambda
[3]+83/418209792000*lambda[4]*lambda[3]-9/48791142400*lambda[6]^2*lambda[2]+
44729/55621902336000*lambda[5]*lambda[2]+3/4100096000*lambda[6]*lambda[1]+1/
585728000*lambda[0])*v[6]^19*v[3]^2*v[2]+(-1/44844800*lambda[6]^7+53/67267200*
lambda[6]^5*lambda[5]-1/191100*lambda[6]^3*lambda[5]^2+41/4204200*lambda[6]*
lambda[5]^3-431/269068800*lambda[6]^4*lambda[4]+1843/134534400*lambda[6]^2*
lambda[5]*lambda[4]-327/11211200*lambda[5]^2*lambda[4]-3/457600*lambda[6]*
lambda[4]^2-1811/538137600*lambda[6]^3*lambda[3]+1811/134534400*lambda[6]*
lambda[5]*lambda[3]+2481/179379200*lambda[4]*lambda[3]-711/35875840*lambda[6]^
2*lambda[2]+267/5125120*lambda[5]*lambda[2]-167/7175168*lambda[6]*lambda[1]+3/
146432*lambda[0])*v[5]^14*v[4]*v[3]+(9/574013440000*lambda[6]^7+19/
143503360000*lambda[6]^5*lambda[5]+449/107627520000*lambda[6]^3*lambda[5]^2-37
/242161920000*lambda[6]*lambda[5]^3-17/1464320000*lambda[6]^4*lambda[4]+1/
82790400*lambda[6]^2*lambda[5]*lambda[4]+37/121080960000*lambda[5]^2*lambda[4]
+31/3669120000*lambda[6]*lambda[4]^2-1/16640000*lambda[6]^3*lambda[3]-1/
411840000*lambda[6]*lambda[5]*lambda[3]+1/205920000*lambda[4]*lambda[3]-38893/
574013440000*lambda[6]^2*lambda[2]-53/14192640000*lambda[5]*lambda[2]-299/
11038720000*lambda[6]*lambda[1]+3/450560000*lambda[0])*v[6]^16*v[5]^5*v[1]+(-9
/35875840000*lambda[6]^7-19/8968960000*lambda[6]^5*lambda[5]-449/6726720000*
lambda[6]^3*lambda[5]^2+37/15135120000*lambda[6]*lambda[5]^3+17/91520000*
lambda[6]^4*lambda[4]-1/5174400*lambda[6]^2*lambda[5]*lambda[4]-37/7567560000*
lambda[5]^2*lambda[4]-31/229320000*lambda[6]*lambda[4]^2+59/8968960000*lambda[
6]^3*lambda[3]-9883/161441280000*lambda[6]*lambda[5]*lambda[3]-901/23063040000
*lambda[4]*lambda[3]+4633/35875840000*lambda[6]^2*lambda[2]+1091/80720640000*
lambda[5]*lambda[2]+67/2562560000*lambda[6]*lambda[1]+3/18304000*lambda[0])*v[
6]^15*v[5]^5*v[4]*v[2]+(27/14350336000*lambda[6]^7+57/3587584000*lambda[6]^5*
lambda[5]+449/896896000*lambda[6]^3*lambda[5]^2-37/2018016000*lambda[6]*lambda
[5]^3+9831/7175168000*lambda[6]^4*lambda[4]+127/224224000*lambda[6]^2*lambda[5
]*lambda[4]-67/2018016000*lambda[5]^2*lambda[4]-2207/10762752000*lambda[6]*
lambda[4]^2-3111/3587584000*lambda[6]^3*lambda[3]-1139/21525504000*lambda[6]*
lambda[5]*lambda[3]+6467/43051008000*lambda[4]*lambda[3]-2833/1304576000*
lambda[6]^2*lambda[2]-149/473088000*lambda[5]*lambda[2]-839/410009600*lambda[6
]*lambda[1]-1/4505600*lambda[0])*v[6]^14*v[5]^5*v[4]^2*v[3]+(-1/8256962560000*
lambda[6]^2*lambda[2]+1/3538698240000*lambda[5]*lambda[2]-1/8256962560000*
lambda[6]*lambda[1]+1/168509440000*lambda[0])*v[6]^22*v[4]*v[1]+(-3/320*lambda
[6]^4*lambda[4]-1/80*lambda[6]^2*lambda[5]*lambda[4]-1/120*lambda[5]^2*lambda[
4]+1/30*lambda[6]*lambda[4]^2+1/16*lambda[6]*lambda[5]*lambda[3]-59/1920*
lambda[4]*lambda[3]+19/320*lambda[6]^2*lambda[2]+1/128*lambda[5]*lambda[2]+87/
640*lambda[6]*lambda[1]+5/128*lambda[0])*v[6]^4*v[5]^6*v[4]^2*v[3]*v[2]+(9/
7175168000*lambda[6]^7-9/89689600*lambda[6]^5*lambda[5]-1229/5381376000*lambda
[6]^3*lambda[5]^2-167/4036032000*lambda[6]*lambda[5]^3+177/256256000*lambda[6]
^4*lambda[4]-1/27596800*lambda[6]^2*lambda[5]*lambda[4]-31/1009008000*lambda[5
]^2*lambda[4]+53/2690688000*lambda[6]*lambda[4]^2+48123/57401344000*lambda[6]^
3*lambda[3]+5437/43051008000*lambda[6]*lambda[5]*lambda[3]+257/6623232000*
lambda[4]*lambda[3]+1249/11480268800*lambda[6]^2*lambda[2]+131/28700672000*
lambda[5]*lambda[2]+591/1793792000*lambda[6]*lambda[1]+27/205004800*lambda[0])
*v[6]^13*v[5]^8*v[2]+(-9/2439557120000*lambda[6]^7-2559/2439557120000*lambda[6
]^5*lambda[5]+1/36593356800*lambda[6]^3*lambda[5]^2+1/6918912000*lambda[6]*
lambda[5]^3-137/14350336000*lambda[6]^4*lambda[4]-1073/365933568000*lambda[6]^
2*lambda[5]*lambda[4]-37/823350528000*lambda[5]^2*lambda[4]+1/1463734272*
lambda[6]*lambda[4]^2-18943/3903291392000*lambda[6]^3*lambda[3]-26951/
14637342720000*lambda[6]*lambda[5]*lambda[3]+3463/12546293760000*lambda[4]*
lambda[3]+118091/19516456960000*lambda[6]^2*lambda[2]-107/397393920000*lambda[
5]*lambda[2]+219/20500480000*lambda[6]*lambda[1]+1/585728000*lambda[0])*v[6]^
17*v[5]^6*v[2]+(3/8960*lambda[6]^5*lambda[5]-1/1120*lambda[6]^3*lambda[5]^2-1/
560*lambda[6]*lambda[5]^3-39/8960*lambda[6]^4*lambda[4]-19/840*lambda[6]^2*
lambda[5]*lambda[4]-1/1680*lambda[5]^2*lambda[4]+1/3360*lambda[6]*lambda[4]^2-\
9/2240*lambda[6]*lambda[5]*lambda[3]-323/26880*lambda[4]*lambda[3]+59/2240*
lambda[6]^2*lambda[2]+57/8960*lambda[5]*lambda[2]+93/4480*lambda[6]*lambda[1]+
3/128*lambda[0])*v[6]^3*v[5]^8*v[3]^2*v[2]+(-1/1280*lambda[6]*lambda[1]-1/1280
*lambda[0])*v[6]^9*v[5]^3*v[1]^2+(1/320*lambda[6]^2*lambda[2]-1/80*lambda[0])*
v[6]*v[5]^4*v[4]^7+(551/1103872000*lambda[6]^7-191/165580800*lambda[6]^5*
lambda[5]-103/413952000*lambda[6]^3*lambda[5]^2-29/310464000*lambda[6]*lambda[
5]^3-6971/3311616000*lambda[6]^4*lambda[4]+169/2483712000*lambda[6]^2*lambda[5
]*lambda[4]-1/8448000*lambda[5]^2*lambda[4]+1/3136000*lambda[6]*lambda[4]^2-47
/150528000*lambda[6]^3*lambda[3]+13/25088000*lambda[6]*lambda[5]*lambda[3]+1/
77616000*lambda[4]*lambda[3]-331/220774400*lambda[6]^2*lambda[2]+71/331161600*
lambda[5]*lambda[2]-97/66232320*lambda[6]*lambda[1]-1/18923520*lambda[0])*v[6]
^9*v[5]^12*v[4]+(1/40*lambda[4]*lambda[3]+1/40*lambda[5]*lambda[2]+1/10*lambda
[6]*lambda[1]+1/5*lambda[0])*v[6]*v[5]^2*v[4]^6*v[2]+(33/1254400*lambda[6]^5*
lambda[5]+13/31360*lambda[6]^3*lambda[5]^2-17/117600*lambda[6]*lambda[5]^3-\
1473/2508800*lambda[6]^4*lambda[4]-359/156800*lambda[6]^2*lambda[5]*lambda[4]-\
1/9600*lambda[5]^2*lambda[4]-937/3763200*lambda[6]*lambda[4]^2-3/3136*lambda[6
]^3*lambda[3]-4727/7526400*lambda[6]*lambda[5]*lambda[3]-1627/7526400*lambda[4
]*lambda[3]+1/11200*lambda[6]^2*lambda[2]+887/7526400*lambda[5]*lambda[2]+67/
50176*lambda[6]*lambda[1]+11/35840*lambda[0])*v[6]^7*v[5]^8*v[4]*v[3]^2+(-3/
9856000*lambda[6]^5*lambda[5]-1/739200*lambda[6]^3*lambda[5]^2+1/2772000*
lambda[6]*lambda[5]^3-3/1971200*lambda[6]^4*lambda[4]-1/246400*lambda[6]^2*
lambda[5]*lambda[4]+1/2772000*lambda[5]^2*lambda[4]-1/77000*lambda[6]*lambda[4
]^2-23/308000*lambda[6]^3*lambda[3]+1/462000*lambda[6]*lambda[5]*lambda[3]-1/
115500*lambda[4]*lambda[3]-281/4928000*lambda[6]^2*lambda[2]+13/3696000*lambda
[5]*lambda[2]+3/896000*lambda[6]*lambda[1]-31/1408000*lambda[0])*v[6]^11*v[5]^
5*v[3]*v[1]+(-1/53760*lambda[6]^2*lambda[2]+17/403200*lambda[5]*lambda[2]+37/
134400*lambda[6]*lambda[1]+1/3840*lambda[0])*v[6]^10*v[5]^2*v[4]^3*v[1]+(3/320
*lambda[6]*lambda[5]^3+23/1600*lambda[5]^2*lambda[4]+7/2400*lambda[6]*lambda[4
]^2+7/1200*lambda[6]*lambda[5]*lambda[3]+9/400*lambda[4]*lambda[3]-7/600*
lambda[6]^2*lambda[2]-1/25*lambda[5]*lambda[2]-17/300*lambda[6]*lambda[1]-9/
200*lambda[0])*v[6]^5*v[5]*v[3]^6+(1/40*lambda[6]*lambda[5]*lambda[3]+1/40*
lambda[4]*lambda[3]+3/80*lambda[6]^2*lambda[2]+3/40*lambda[6]*lambda[1]+1/10*
lambda[0])*v[6]^3*v[5]^3*v[4]^5*v[2]-1/2*lambda[0]*v[6]^2*v[5]*v[1]^3+(-1/6*
lambda[6]*lambda[5]*lambda[3]-1/6*lambda[4]*lambda[3]-1/4*lambda[6]^2*lambda[2
]-1/2*lambda[6]*lambda[1])*v[6]^3*v[5]^3*v[4]*v[2]^3+(5/8*lambda[5]^2*lambda[4
]+5/16*lambda[6]*lambda[4]^2+1/4*lambda[6]*lambda[5]*lambda[3]-3/4*lambda[4]*
lambda[3]+1/4*lambda[6]^2*lambda[2]+1/2*lambda[5]*lambda[2]-1/4*lambda[0])*v[6
]*v[5]^2*v[4]^3*v[3]^4+(-3/179379200*lambda[6]^5*lambda[5]-1/22422400*lambda[6
]^3*lambda[5]^2-17/40360320*lambda[6]*lambda[5]^3-3/35875840*lambda[6]^4*
lambda[4]-3/22422400*lambda[6]^2*lambda[5]*lambda[4]-17/40360320*lambda[5]^2*
lambda[4]-1/336336*lambda[6]*lambda[4]^2+3/16307200*lambda[6]^3*lambda[3]-9/
3449600*lambda[6]*lambda[5]*lambda[3]-541/358758400*lambda[4]*lambda[3]+149/
35875840*lambda[6]^2*lambda[2]-59/358758400*lambda[5]*lambda[2]+53/10250240*
lambda[6]*lambda[1]-7/7321600*lambda[0])*v[6]^14*v[5]^3*v[4]*v[3]*v[2]+(-11/
4480*lambda[6]^2*lambda[2]-1/4480*lambda[5]*lambda[2]-11/4480*lambda[6]*lambda
[1]-3/640*lambda[0])*v[6]^2*v[5]^10*v[4]*v[1]+(3/179200*lambda[6]^7+1/134400*
lambda[6]^5*lambda[5]-1/3150*lambda[6]^3*lambda[5]^2+1/12600*lambda[6]*lambda[
5]^3-191/268800*lambda[6]^4*lambda[4]-1/1344*lambda[6]^2*lambda[5]*lambda[4]-1
/25200*lambda[5]^2*lambda[4]-71/50400*lambda[6]*lambda[4]^2+13/134400*lambda[6
]^3*lambda[3]-13/12600*lambda[6]*lambda[5]*lambda[3]-1/322560*lambda[4]*lambda
[3]+41/15360*lambda[6]^2*lambda[2]-41/107520*lambda[5]*lambda[2]+517/107520*
lambda[6]*lambda[1]+1/3072*lambda[0])*v[6]^4*v[5]^10*v[3]*v[2]+(9927/
487911424000*lambda[6]^3*lambda[3]+1657/121977856000*lambda[6]*lambda[5]*
lambda[3]+159/69701632000*lambda[4]*lambda[3]+9927/487911424000*lambda[6]^2*
lambda[2]+1103/292746854400*lambda[5]*lambda[2]-389/17425408000*lambda[6]*
lambda[1]-3/155584000*lambda[0])*v[6]^17*v[5]^2*v[4]^2*v[2]+(1/44800*lambda[6]
^4*lambda[4]+1/16800*lambda[6]^2*lambda[5]*lambda[4]-13/67200*lambda[6]*lambda
[4]^2+1/11200*lambda[6]^3*lambda[3]-13/134400*lambda[6]*lambda[5]*lambda[3]-31
/268800*lambda[4]*lambda[3]-13/44800*lambda[6]^2*lambda[2]+11/53760*lambda[5]*
lambda[2]+9/17920*lambda[6]*lambda[1]+7/12800*lambda[0])*v[6]^10*v[5]^3*v[3]*v
[2]^2+(111/179200*lambda[6]^3*lambda[3]+9/44800*lambda[6]*lambda[5]*lambda[3]+
1/179200*lambda[4]*lambda[3]+111/179200*lambda[6]^2*lambda[2]+1/15360*lambda[5
]*lambda[2]+3/6400*lambda[6]*lambda[1])*v[6]^9*v[5]^6*v[4]^2*v[2]+(1/9856000*
lambda[6]^2*lambda[5]*lambda[4]-1/3696000*lambda[5]^2*lambda[4]+1/4928000*
lambda[6]*lambda[4]^2+3/39424000*lambda[6]^3*lambda[3]-1/9856000*lambda[6]*
lambda[5]*lambda[3]+79/39424000*lambda[4]*lambda[3]+43/118272000*lambda[6]^2*
lambda[2]+239/354816000*lambda[5]*lambda[2]+13/4730880*lambda[6]*lambda[1]+161
/16896000*lambda[0])*v[6]^12*v[4]^5*v[3]+(-3/3200*lambda[6]^2*lambda[2]-1/2400
*lambda[5]*lambda[2]-3/800*lambda[6]*lambda[1]-1/160*lambda[0])*v[6]^5*v[5]^2*
v[4]^7+(-1/6720*lambda[6]*lambda[4]^2-1/4480*lambda[6]^3*lambda[3]+1/3360*
lambda[6]*lambda[5]*lambda[3]-1/1920*lambda[6]^2*lambda[2]-13/13440*lambda[5]*
lambda[2]-13/13440*lambda[6]*lambda[1]-1/640*lambda[0])*v[6]^9*v[5]*v[3]^3*v[1
]+(-3/20*lambda[5]^2*lambda[4]+11/10*lambda[6]*lambda[4]^2-1/20*lambda[6]*
lambda[5]*lambda[3]+7/10*lambda[4]*lambda[3]+1/10*lambda[6]^2*lambda[2]-1/20*
lambda[5]*lambda[2]+1/5*lambda[6]*lambda[1]+3/5*lambda[0])*v[4]^3*v[3]^5+(-\
142991/5191377551360000*lambda[6]^7-349649/10382755102720000*lambda[6]^5*
lambda[5]-11777/687094087680000*lambda[6]^3*lambda[5]^2-569/1545961697280000*
lambda[6]*lambda[5]^3+791209/31148265308160000*lambda[6]^4*lambda[4]-83/
10570678272000*lambda[6]^2*lambda[5]*lambda[4]+2609/8760449617920000*lambda[5]
^2*lambda[4]-1249/730037468160000*lambda[6]*lambda[4]^2+162803/
2831660482560000*lambda[6]^3*lambda[3]+479/1557413265408000*lambda[6]*lambda[5
]*lambda[3]-751/834328535040000*lambda[4]*lambda[3]+11293/546460794880000*
lambda[6]^2*lambda[2]-859/3337314140160000*lambda[5]*lambda[2]+103/
13691545190400*lambda[6]*lambda[1]+1/575275008000*lambda[0])*v[6]^19*v[5]^9+(-\
9/25088000*lambda[6]^7-3/896000*lambda[6]^5*lambda[5]+13/784000*lambda[6]^3*
lambda[5]^2+1/98000*lambda[6]*lambda[5]^3+1059/12544000*lambda[6]^4*lambda[4]+
283/4704000*lambda[6]^2*lambda[5]*lambda[4]+11/2352000*lambda[5]^2*lambda[4]+
53/18816000*lambda[6]*lambda[4]^2+107/1254400*lambda[6]^3*lambda[3]+233/
37632000*lambda[6]*lambda[5]*lambda[3]-43/25088000*lambda[4]*lambda[3]+2369/
25088000*lambda[6]^2*lambda[2]-61/25088000*lambda[5]*lambda[2]+39/5017600*
lambda[6]*lambda[1]+1/716800*lambda[0])*v[6]^10*v[5]^7*v[4]^2*v[3]+(-4943/
200904704000*lambda[6]^7+1333/21525504000*lambda[6]^5*lambda[5]+677/
28252224000*lambda[6]^3*lambda[5]^2-131/18834816000*lambda[6]*lambda[5]^3+
12043/602714112000*lambda[6]^4*lambda[4]+2213/82188288000*lambda[6]^2*lambda[5
]*lambda[4]-1031/452035584000*lambda[5]^2*lambda[4]-10091/602714112000*lambda[
6]*lambda[4]^2-11229/100452352000*lambda[6]^3*lambda[3]+23167/1205428224000*
lambda[6]*lambda[5]*lambda[3]-6143/1033224192000*lambda[4]*lambda[3]+263/
7175168000*lambda[6]^2*lambda[2]+1349/344408064000*lambda[5]*lambda[2]+1181/
13776322560*lambda[6]*lambda[1]+1/68812800*lambda[0])*v[6]^14*v[5]^9*v[3]-1/80
*lambda[0]*v[6]*v[4]^9+(-11/16*lambda[4]*lambda[3]-7/48*lambda[5]*lambda[2]-1/
8*lambda[6]*lambda[1]+3/8*lambda[0])*v[6]^3*v[4]^4*v[3]^2*v[2]+(1/8*lambda[6]*
lambda[4]^2+1/16*lambda[6]*lambda[5]*lambda[3]+3/16*lambda[4]*lambda[3]-1/8*
lambda[6]^2*lambda[2]-1/16*lambda[5]*lambda[2]-3/8*lambda[6]*lambda[1]-3/8*
lambda[0])*v[6]^4*v[5]*v[3]^3*v[2]^2+(1/537600*lambda[6]^2*lambda[2]-1/201600*
lambda[5]*lambda[2]+1/67200*lambda[6]*lambda[1]+1/19200*lambda[0])*v[6]^9*v[4]
^7+(-19993/179730955436032000000*lambda[6]^7+208861/1576102224592896000000*
lambda[6]^5*lambda[5]+15767/39402555614822400000*lambda[6]^3*lambda[5]^2-43873
/2766059404160532480000*lambda[6]*lambda[5]^3-3699979/20489328919707648000000*
lambda[6]^4*lambda[4]+24347/26959643315404800000*lambda[6]^2*lambda[5]*lambda[
4]+4057/121960291188736000000*lambda[5]^2*lambda[4]+8017/213430509580288000000
*lambda[6]*lambda[4]^2-2320429/890840387813376000000*lambda[6]^3*lambda[3]-131
/16505904070656000000*lambda[6]*lambda[5]*lambda[3]-1933/52268696223744000000*
lambda[4]*lambda[3]-617/428871353630720000*lambda[6]^2*lambda[2]-21/
382920851456000000*lambda[5]*lambda[2]+689/2474257809408000000*lambda[6]*
lambda[1]+1/6930694144000000*lambda[0])*v[6]^27*v[5]^5+(-27/975822848000*
lambda[6]^5*lambda[5]+9/121977856000*lambda[6]^3*lambda[5]^2+3/1244672000*
lambda[6]*lambda[5]^3-3/8200192000*lambda[6]^4*lambda[4]+31/2217779200*lambda[
6]^2*lambda[5]*lambda[4]+4673/548900352000*lambda[5]^2*lambda[4]+1213/
21525504000*lambda[6]*lambda[4]^2+9/121977856000*lambda[6]^3*lambda[3]+831/
34850816000*lambda[6]*lambda[5]*lambda[3]+54287/2927468544000*lambda[4]*lambda
[3]+619/48791142400*lambda[6]^2*lambda[2]+283/418209792000*lambda[5]*lambda[2]
+279/13940326400*lambda[6]*lambda[1]-1/69632000*lambda[0])*v[6]^17*v[5]*v[4]^2
*v[3]^2+(21/80*lambda[6]*lambda[4]^2+3/160*lambda[6]*lambda[5]*lambda[3]+11/
160*lambda[4]*lambda[3]+3/40*lambda[6]^2*lambda[2]+1/160*lambda[5]*lambda[2]+
11/80*lambda[6]*lambda[1]+17/80*lambda[0])*v[6]^3*v[5]^2*v[4]^5*v[3]^2+(3/
102502400*lambda[6]^3*lambda[3]-1/25625600*lambda[6]*lambda[5]*lambda[3]+3/
7321600*lambda[4]*lambda[3]+1/8785920*lambda[6]^2*lambda[2]+113/461260800*
lambda[5]*lambda[2]+17/19219200*lambda[6]*lambda[1]-7/5491200*lambda[0])*v[6]^
13*v[4]^4*v[2]+(3/560*lambda[6]*lambda[1]-1/160*lambda[0])*v[6]^7*v[5]^2*v[4]*
v[1]^2+(-1/16*lambda[6]^2*lambda[2]-1/8*lambda[0])*v[6]^4*v[5]^3*v[2]^2*v[1]+(
-3/160*lambda[6]^3*lambda[3]-1/40*lambda[6]*lambda[5]*lambda[3]+13/480*lambda[
4]*lambda[3]-1/32*lambda[6]^2*lambda[2]-1/480*lambda[5]*lambda[2]-11/480*
lambda[6]*lambda[1]-3/160*lambda[0])*v[6]^6*v[5]^3*v[4]^3*v[3]*v[2]+(3/280*
lambda[6]^3*lambda[3]+11/560*lambda[6]*lambda[5]*lambda[3]-1/560*lambda[4]*
lambda[3]+37/1680*lambda[6]^2*lambda[2]+1/280*lambda[5]*lambda[2]+7/240*lambda
[6]*lambda[1])*v[6]^3*v[5]^7*v[4]^3*v[2]+(3/4928000*lambda[6]^7-13/2464000*
lambda[6]^5*lambda[5]+89/11088000*lambda[6]^3*lambda[5]^2+37/2772000*lambda[6]
*lambda[5]^3-41/1848000*lambda[6]^4*lambda[4]-313/3696000*lambda[6]^2*lambda[5
]*lambda[4]-1/1386000*lambda[5]^2*lambda[4]-1/792000*lambda[6]*lambda[4]^2+
4603/118272000*lambda[6]^3*lambda[3]-3359/88704000*lambda[6]*lambda[5]*lambda[
3]-1171/177408000*lambda[4]*lambda[3]+397/4730880*lambda[6]^2*lambda[2]+19/
2365440*lambda[5]*lambda[2]-19/295680*lambda[6]*lambda[1]-1/84480*lambda[0])*v
[6]^5*v[5]^12*v[2]+(3/560*lambda[6]*lambda[4]^2+3/1120*lambda[6]*lambda[5]*
lambda[3]+27/1120*lambda[4]*lambda[3]+19/3360*lambda[5]*lambda[2]+11/560*
lambda[6]*lambda[1]+3/80*lambda[0])*v[6]^7*v[4]*v[3]^2*v[2]^2+(-3/8*lambda[4]*
lambda[3]+1/8*lambda[6]^2*lambda[2]-1/8*lambda[5]*lambda[2]+5/8*lambda[6]*
lambda[1]+7/8*lambda[0])*v[5]^4*v[3]*v[2]^3+(3/2609152000*lambda[6]^4*lambda[4
]+577/7175168000*lambda[6]^2*lambda[5]*lambda[4]+31/1614412800*lambda[5]^2*
lambda[4]+13/827904000*lambda[6]*lambda[4]^2+3/2609152000*lambda[6]^3*lambda[3
]+71/1956864000*lambda[6]*lambda[5]*lambda[3]-1921/172204032000*lambda[4]*
lambda[3]+5563/86102016000*lambda[6]^2*lambda[2]+71/5677056000*lambda[5]*
lambda[2]+31/3514368000*lambda[6]*lambda[1]-7/270336000*lambda[0])*v[6]^16*v[5
]^2*v[4]^3*v[3]+(-1/16*lambda[5]*lambda[2]-1/16*lambda[6]*lambda[1]+3/16*
lambda[0])*v[6]^4*v[4]^3*v[3]^2*v[1]+1/4*lambda[0]*v[6]^3*v[4]^3*v[1]^2+(57/
896000*lambda[6]^2*lambda[2]+1/2688000*lambda[5]*lambda[2]+57/896000*lambda[6]
*lambda[1]+1/128000*lambda[0])*v[6]^10*v[5]^6*v[4]*v[1]+(1/2*lambda[5]*lambda[
2]+1/2*lambda[6]*lambda[1]+1/2*lambda[0])*v[6]^3*v[3]^3*v[2]*v[1]+(-9/985600*
lambda[6]^7-1/246400*lambda[6]^5*lambda[5]+1/5775*lambda[6]^3*lambda[5]^2-1/
23100*lambda[6]*lambda[5]^3+83/492800*lambda[6]^4*lambda[4]-17/12320*lambda[6]
^2*lambda[5]*lambda[4]+41/92400*lambda[5]^2*lambda[4]-299/739200*lambda[6]*
lambda[4]^2+59/246400*lambda[6]^3*lambda[3]-1031/1478400*lambda[6]*lambda[5]*
lambda[3]-3169/2956800*lambda[4]*lambda[3]+317/197120*lambda[6]^2*lambda[2]-\
113/197120*lambda[5]*lambda[2]+83/39424*lambda[6]*lambda[1]-3/5632*lambda[0])*
v[6]^2*v[5]^11*v[4]^2*v[3]+(1/2240*lambda[6]^2*lambda[2]-1/560*lambda[5]*
lambda[2]-1/560*lambda[6]*lambda[1]+3/320*lambda[0])*v[5]^9*v[4]^2*v[1]+(3/
18540634112000*lambda[6]^7+3/4635158528000*lambda[6]^5*lambda[5]-311/
2607276672000*lambda[6]^3*lambda[5]^2-31/335221286400*lambda[6]*lambda[5]^3+
223/632067072000*lambda[6]^4*lambda[4]+89/289697408000*lambda[6]^2*lambda[5]*
lambda[4]-31/391091500800*lambda[5]^2*lambda[4]-223/2607276672000*lambda[6]*
lambda[4]^2+9787/4635158528000*lambda[6]^3*lambda[3]+5801/9270317056000*lambda
[6]*lambda[5]*lambda[3]-1369/11918979072000*lambda[4]*lambda[3]+2347/
2648662016000*lambda[6]^2*lambda[2]+3271/20858213376000*lambda[5]*lambda[2]+29
/72236236800*lambda[6]*lambda[1]+3/47297536000*lambda[0])*v[6]^19*v[5]^3*v[4]*
v[2]+(1/82790400*lambda[6]^2*lambda[2]+1/17740800*lambda[5]*lambda[2]+1/
3763200*lambda[6]*lambda[1]+1/844800*lambda[0])*v[6]^14*v[4]^3*v[1]+(3/3328000
*lambda[6]^7-29/9152000*lambda[6]^5*lambda[5]-1037/576576000*lambda[6]^3*
lambda[5]^2+29/144144000*lambda[6]*lambda[5]^3+2533/768768000*lambda[6]^4*
lambda[4]+3709/538137600*lambda[6]^2*lambda[5]*lambda[4]+1283/4036032000*
lambda[5]^2*lambda[4]+4861/2018016000*lambda[6]*lambda[4]^2-34939/2690688000*
lambda[6]^3*lambda[3]-6157/8072064000*lambda[6]*lambda[5]*lambda[3]-2987/
4036032000*lambda[4]*lambda[3]-31/1505280*lambda[6]^2*lambda[2]-43/215255040*
lambda[5]*lambda[2]-1423/215255040*lambda[6]*lambda[1]+7/4392960*lambda[0])*v[
6]^5*v[5]^14*v[4]+(3/2240*lambda[6]^2*lambda[5]*lambda[4]+1/1680*lambda[5]^2*
lambda[4]+3/560*lambda[6]*lambda[4]^2-9/4480*lambda[6]^3*lambda[3]+1/448*
lambda[6]*lambda[5]*lambda[3]-5/896*lambda[4]*lambda[3]-3/4480*lambda[6]^2*
lambda[2]+41/13440*lambda[5]*lambda[2]-1/280*lambda[6]*lambda[1]-3/320*lambda[
0])*v[6]^8*v[5]*v[4]*v[3]^3*v[2]+(3/1297844387840000*lambda[6]^7-1219/
648922193920000*lambda[6]^5*lambda[5]-5521/973383290880000*lambda[6]^3*lambda[
5]^2-5407/6570337213440000*lambda[6]*lambda[5]^3+4079/121672911360000*lambda[6
]^4*lambda[4]+2851/417164267520000*lambda[6]^2*lambda[5]*lambda[4]+83/
84235092480000*lambda[5]^2*lambda[4]-293/76846049280000*lambda[6]*lambda[4]^2+
78119/2396020408320000*lambda[6]^3*lambda[3]+439/58549370880000*lambda[6]*
lambda[5]*lambda[3]-103/190703665152000*lambda[4]*lambda[3]-197371/
31148265308160000*lambda[6]^2*lambda[2]+3767/6674628280320000*lambda[5]*lambda
[2]-59/1135140864000*lambda[6]*lambda[1]-3/222576640000*lambda[0])*v[6]^21*v[5
]^4*v[2]+(-1/89600*lambda[6]^4*lambda[4]-1/33600*lambda[6]^2*lambda[5]*lambda[
4]+13/134400*lambda[6]*lambda[4]^2-1/22400*lambda[6]^3*lambda[3]-19/33600*
lambda[6]*lambda[5]*lambda[3]-1/16800*lambda[4]*lambda[3]-31/44800*lambda[6]^2
*lambda[2]-47/268800*lambda[5]*lambda[2]-11/17920*lambda[6]*lambda[1]+1/12800*
lambda[0])*v[6]^10*v[5]^3*v[3]^2*v[1]+(1/2007040*lambda[6]^7-373/12042240*
lambda[6]^5*lambda[5]-1573/22579200*lambda[6]^3*lambda[5]^2-89/11289600*lambda
[6]*lambda[5]^3-41/2867200*lambda[6]^4*lambda[4]+1/1075200*lambda[6]^2*lambda[
5]*lambda[4]-1/1254400*lambda[5]^2*lambda[4]+163/15052800*lambda[6]*lambda[4]^
2+33/2508800*lambda[6]^3*lambda[3]+557/30105600*lambda[6]*lambda[5]*lambda[3]+
151/25804800*lambda[4]*lambda[3]-169/4300800*lambda[6]^2*lambda[2]+3/20070400*
lambda[5]*lambda[2]-65/1204224*lambda[6]*lambda[1]-11/860160*lambda[0])*v[6]^9
*v[5]^9*v[3]^2+(3/14350336000*lambda[6]^4*lambda[4]-1/896896000*lambda[6]^2*
lambda[5]*lambda[4]-37/8072064000*lambda[5]^2*lambda[4]+1/54912000*lambda[6]*
lambda[4]^2-9/7175168000*lambda[6]^3*lambda[3]+1/32614400*lambda[6]*lambda[5]*
lambda[3]+259/1757184000*lambda[4]*lambda[3]+359/14350336000*lambda[6]^2*
lambda[2]-27/2609152000*lambda[5]*lambda[2]+29/585728000*lambda[6]*lambda[1]+
71/585728000*lambda[0])*v[6]^16*v[4]^2*v[3]*v[2]+(-3/985600*lambda[6]^5*lambda
[5]-1/118272*lambda[6]^3*lambda[5]^2-1271/17740800*lambda[6]*lambda[5]^3-1/
123200*lambda[6]^4*lambda[4]-41/591360*lambda[6]^2*lambda[5]*lambda[4]-37/
1612800*lambda[5]^2*lambda[4]-37/2956800*lambda[6]*lambda[4]^2+1/123200*lambda
[6]^3*lambda[3]-17/197120*lambda[6]*lambda[5]*lambda[3]-9/492800*lambda[4]*
lambda[3]+7/211200*lambda[6]^2*lambda[2]+3/70400*lambda[5]*lambda[2]+1/12800*
lambda[6]*lambda[1]+19/422400*lambda[0])*v[6]^11*v[5]^3*v[3]^4+(-3/4*lambda[6]
*lambda[4]^2-3/8*lambda[6]*lambda[5]*lambda[3]-3/8*lambda[4]*lambda[3]-1/8*
lambda[5]*lambda[2]+1/4*lambda[6]*lambda[1]-1/4*lambda[0])*v[6]^3*v[5]^2*v[4]*
v[3]^2*v[2]^2+(398603/1386444590233550848000000*lambda[6]^7+80191/
94530312970469376000000*lambda[6]^5*lambda[5]-3472999/623900065605097881600000
*lambda[6]^3*lambda[5]^2-5273413/1403775147611470233600000*lambda[6]*lambda[5]
^3+171253/831866754140130508800000*lambda[6]^4*lambda[4]+970819/
73400007718246809600000*lambda[6]^2*lambda[5]*lambda[4]-1396891/
445642904003641344000000*lambda[5]^2*lambda[4]+539523/24757939111313408000000*
lambda[6]*lambda[4]^2-7243/1042439541528985600000*lambda[6]^3*lambda[3]+
1744103/127326544001040384000000*lambda[6]*lambda[5]*lambda[3]+28409/
3031584380977152000000*lambda[4]*lambda[3]-516883/6529566359027712000000*
lambda[6]^2*lambda[2]+2707/932795194146816000000*lambda[5]*lambda[2]-1621/
71753476472832000000*lambda[6]*lambda[1]-73/3416832212992000000*lambda[0])*v[6
]^29*v[5]^2*v[4]+(-7/40*lambda[4]*lambda[3]-1/40*lambda[5]*lambda[2]+1/8*
lambda[6]*lambda[1]+3/8*lambda[0])*v[4]^6*v[3]*v[2]+(3/44800*lambda[6]^3*
lambda[3]-1/11200*lambda[6]*lambda[5]*lambda[3]+1/1792*lambda[4]*lambda[3]+11/
134400*lambda[6]^2*lambda[2]+107/403200*lambda[5]*lambda[2]+19/134400*lambda[6
]*lambda[1]-1/19200*lambda[0])*v[6]^10*v[5]*v[4]^3*v[3]*v[2]+(332221/
6932222951167754240000000*lambda[6]^7-5404219/41593337707006525440000000*
lambda[6]^5*lambda[5]-18301/135630449044586496000000*lambda[6]^3*lambda[5]^2-\
3212647/18717001968152936448000000*lambda[6]*lambda[5]^3+1997/
12509274498347827200000*lambda[6]^4*lambda[4]+2743859/
3119500328025489408000000*lambda[6]^2*lambda[5]*lambda[4]-1385557/
13369287120109240320000000*lambda[5]^2*lambda[4]+182057/
557053630004551680000000*lambda[6]*lambda[4]^2-1020197/
1188381077343043584000000*lambda[6]^3*lambda[3]+74033/90947531429314560000000*
lambda[6]*lambda[5]*lambda[3]+337/2066989350666240000000*lambda[4]*lambda[3]-\
152767/65295663590277120000000*lambda[6]^2*lambda[2]+137/874495494512640000000
*lambda[5]*lambda[2]-543/239178254909440000000*lambda[6]*lambda[1]-1/
2009901301760000000*lambda[0])*v[6]^31*v[5]^3+(56937/37526243442688000000*
lambda[6]^7-36999/5970084184064000000*lambda[6]^5*lambda[5]-10559/
6567092602470400000*lambda[6]^3*lambda[5]^2+87641/132983625200025600000*lambda
[6]*lambda[5]^3+302451/52536740819763200000*lambda[6]^4*lambda[4]+212929/
16886809549209600000*lambda[6]^2*lambda[5]*lambda[4]-2087/52150441254912000000
*lambda[5]^2*lambda[4]+2663/146007493632000000*lambda[6]*lambda[4]^2+281821/
26268370409881600000*lambda[6]^3*lambda[3]+107/37081268224000000*lambda[6]*
lambda[5]*lambda[3]+2269/430785957888000000*lambda[4]*lambda[3]-11068339/
112578730328064000000*lambda[6]^2*lambda[2]-42101/24124013641728000000*lambda[
5]*lambda[2]-2341/32556023808000000*lambda[6]*lambda[1]-279/58910900224000000*
lambda[0])*v[6]^25*v[5]^4*v[4]+(-1/4*lambda[6]*lambda[4]^2-1/8*lambda[6]*
lambda[5]*lambda[3]-5/16*lambda[4]*lambda[3]+11/40*lambda[6]^2*lambda[2]-3/80*
lambda[5]*lambda[2]+11/8*lambda[6]*lambda[1]+7/8*lambda[0])*v[6]*v[5]^5*v[3]^2
*v[2]^2+(5369523/45969648217292800000*lambda[6]^7+1758759/13134185204940800000
*lambda[6]^5*lambda[5]+6338669/103431708488908800000*lambda[6]^3*lambda[5]^2-\
877007/80946554469580800000*lambda[6]*lambda[5]^3-8618747/91939296434585600000
*lambda[6]^4*lambda[4]+1957031/20686341697781760000*lambda[6]^2*lambda[5]*
lambda[4]-113/11933739417600000*lambda[5]^2*lambda[4]+1333/32403417446400000*
lambda[6]*lambda[4]^2-79777601/275817889303756800000*lambda[6]^3*lambda[3]+
1679129/29551916711116800000*lambda[6]*lambda[5]*lambda[3]+797/
43078595788800000*lambda[4]*lambda[3]-2285039/7880511122964480000*lambda[6]^2*
lambda[2]+4583/422170238730240000*lambda[5]*lambda[2]-3257/17319804665856000*
lambda[6]*lambda[1]-9/242574295040000*lambda[0])*v[6]^23*v[5]^7+(-3/
164177315061760000*lambda[6]^7+88359/1313418520494080000*lambda[6]^5*lambda[5]
-18749/98506389037056000*lambda[6]^3*lambda[5]^2-58297/1662295315000320000*
lambda[6]*lambda[5]^3+5701/69127290552320000*lambda[6]^4*lambda[4]-13463/
37887072706560000*lambda[6]^2*lambda[5]*lambda[4]-3469/138524609583360000*
lambda[5]^2*lambda[4]-157/1291604751360000*lambda[6]*lambda[4]^2+565291/
606193163304960000*lambda[6]^3*lambda[3]+16213/49667086909440000*lambda[6]*
lambda[5]*lambda[3]+10091/60310034104320000*lambda[4]*lambda[3]+587373/
375262434426880000*lambda[6]^2*lambda[2]-1231/120620068208640000*lambda[5]*
lambda[2]-1/909653606400*lambda[6]*lambda[1]-1/1178218004480*lambda[0])*v[6]^
23*v[5]^3*v[4]^2+(-1/358400*lambda[6]^4*lambda[4]-1/134400*lambda[6]^2*lambda[
5]*lambda[4]-1/67200*lambda[6]*lambda[4]^2-3/179200*lambda[6]^3*lambda[3]-1/
44800*lambda[4]*lambda[3]+13/215040*lambda[6]^2*lambda[2]+1/38400*lambda[5]*
lambda[2]+13/53760*lambda[6]*lambda[1]+3/25600*lambda[0])*v[6]^9*v[5]^4*v[4]^5
+(3/92703170560000*lambda[6]^7+29709/370812682240000*lambda[6]^5*lambda[5]+
5209/37924024320000*lambda[6]^3*lambda[5]^2+20081/1877239203840000*lambda[6]*
lambda[5]^3+107851/1112438046720000*lambda[6]^4*lambda[4]+21253/
139054755840000*lambda[6]^2*lambda[5]*lambda[4]-359/89392343040000*lambda[5]^2
*lambda[4]-661/52145533440000*lambda[6]*lambda[4]^2-7129/57048104960000*lambda
[6]^3*lambda[3]+13861/556219023360000*lambda[6]*lambda[5]*lambda[3]-5207/
119189790720000*lambda[4]*lambda[3]-203219/741625364480000*lambda[6]^2*lambda[
2]+889/34054225920000*lambda[5]*lambda[2]-79/611229696000*lambda[6]*lambda[1]+
3/58212352000*lambda[0])*v[6]^19*v[5]^5*v[4]^2+(1/640*lambda[4]*lambda[3]+3/
4480*lambda[6]^2*lambda[2]-17/13440*lambda[5]*lambda[2]+1/640*lambda[6]*lambda
[1]+3/640*lambda[0])*v[6]^8*v[3]*v[2]^3+(-9/320*lambda[6]^3*lambda[5]^2-1/80*
lambda[6]*lambda[5]^3+3/160*lambda[6]^2*lambda[5]*lambda[4]-1/32*lambda[5]^2*
lambda[4]+43/960*lambda[6]*lambda[4]^2+31/480*lambda[6]*lambda[5]*lambda[3]+7/
120*lambda[4]*lambda[3]-1/6*lambda[6]^2*lambda[2]+19/480*lambda[5]*lambda[2]-\
71/240*lambda[6]*lambda[1]-7/60*lambda[0])*v[6]^2*v[5]^5*v[3]^5+(893/
45660160000*lambda[6]^5*lambda[5]+59/14488320000*lambda[6]^3*lambda[5]^2-1/
1834560000*lambda[6]*lambda[5]^3+12079/502261760000*lambda[6]^4*lambda[4]+227/
62782720000*lambda[6]^2*lambda[5]*lambda[4]-1/2568384000*lambda[5]^2*lambda[4]
-59/10090080000*lambda[6]*lambda[4]^2-34971/1004523520000*lambda[6]^3*lambda[3
]-5849/2260177920000*lambda[6]*lambda[5]*lambda[3]-1/139776000*lambda[4]*
lambda[3]-5599/91320320000*lambda[6]^2*lambda[2]+361/107627520000*lambda[5]*
lambda[2]+1/137984000*lambda[6]*lambda[1]+1/78848000*lambda[0])*v[6]^15*v[5]^7
*v[4]^2+(-40581/789268480000*lambda[6]^7-40451/1578536960000*lambda[6]^5*
lambda[5]-61/136604160000*lambda[6]^3*lambda[5]^2+1097/253693440000*lambda[6]*
lambda[5]^3+2543/225505280000*lambda[6]^4*lambda[4]-34667/1775854080000*lambda
[6]^2*lambda[5]*lambda[4]+1259/355170816000*lambda[5]^2*lambda[4]-2113/
147987840000*lambda[6]*lambda[4]^2+94891/4735610880000*lambda[6]^3*lambda[3]-\
25481/1183902720000*lambda[6]*lambda[5]*lambda[3]-11111/1775854080000*lambda[4
]*lambda[3]+74603/947122176000*lambda[6]^2*lambda[2]-321/78926848000*lambda[5]
*lambda[2]+2339/37884887040*lambda[6]*lambda[1]+317/27060633600*lambda[0])*v[6
]^11*v[5]^13+(-3/17920*lambda[6]^2*lambda[2]-1/13440*lambda[5]*lambda[2]-3/
4480*lambda[6]*lambda[1]+1/1280*lambda[0])*v[6]^8*v[5]*v[4]^4*v[1]+(27/44800*
lambda[6]^5*lambda[5]+9/5600*lambda[6]^3*lambda[5]^2+3/1120*lambda[6]*lambda[5
]^3+69/44800*lambda[6]^4*lambda[4]+97/5600*lambda[6]^2*lambda[5]*lambda[4]-7/
2400*lambda[5]^2*lambda[4]-263/16800*lambda[6]*lambda[4]^2+9/5600*lambda[6]^3*
lambda[3]-3/2240*lambda[6]*lambda[5]*lambda[3]-151/134400*lambda[4]*lambda[3]+
37/11200*lambda[6]^2*lambda[2]-167/44800*lambda[5]*lambda[2]-1/4480*lambda[6]*
lambda[1]+1/640*lambda[0])*v[6]^5*v[5]^7*v[4]^2*v[3]^2+(-1/123200*lambda[6]^2*
lambda[5]*lambda[4]+1/46200*lambda[5]^2*lambda[4]-3/246400*lambda[6]*lambda[4]
^2+9/492800*lambda[6]*lambda[5]*lambda[3]+13/197120*lambda[4]*lambda[3]+1/
70400*lambda[6]^2*lambda[2]+149/2956800*lambda[5]*lambda[2]+1/14080*lambda[6]*
lambda[1]+9/70400*lambda[0])*v[6]^11*v[4]^2*v[3]^2*v[2]+(1/
853722038321152000000*lambda[6]^7+88567/10244664459853824000000*lambda[6]^5*
lambda[5]-14257/768349834489036800000*lambda[6]^3*lambda[5]^2-39709/
691514851040133120000*lambda[6]*lambda[5]^3+1667/157610222459289600000*lambda[
6]^4*lambda[4]+50023/768349834489036800000*lambda[6]^2*lambda[5]*lambda[4]-\
1247/274410655174656000000*lambda[5]^2*lambda[4]+723/7622518199296000000*
lambda[6]*lambda[4]^2-179001/1365955261313843200000*lambda[6]^3*lambda[3]+3947
/18447775137792000000*lambda[6]*lambda[5]*lambda[3]+16909/52268696223744000000
*lambda[4]*lambda[3]-52531/225157460656128000000*lambda[6]^2*lambda[2]-307/
1148762554368000000*lambda[5]*lambda[2]-419/309282226176000000*lambda[6]*
lambda[1]+21/29455450112000000*lambda[0])*v[6]^27*v[5]*v[4]^2+(-1/2050048000*
lambda[6]^2*lambda[2]+1/672672000*lambda[5]*lambda[2]+1/1793792000*lambda[6]*
lambda[1]-1/292864000*lambda[0])*v[6]^18*v[2]*v[1]+(-13/32*lambda[6]*lambda[4]
^2-1/64*lambda[6]*lambda[5]*lambda[3]-11/64*lambda[4]*lambda[3]-1/32*lambda[6]
^2*lambda[2]-1/192*lambda[5]*lambda[2]-1/32*lambda[6]*lambda[1]-5/32*lambda[0]
)*v[6]^4*v[5]*v[4]^4*v[3]^3+(181/3587584000*lambda[6]^7-1279/2690688000*lambda
[6]^5*lambda[5]+929/672672000*lambda[6]^3*lambda[5]^2-193/168168000*lambda[6]*
lambda[5]^3+149/978432000*lambda[6]^4*lambda[4]-41/56056000*lambda[6]^2*lambda
[5]*lambda[4]+47/96096000*lambda[5]^2*lambda[4]-149/134534400*lambda[6]*lambda
[4]^2-691/1076275200*lambda[6]^3*lambda[3]+691/269068800*lambda[6]*lambda[5]*
lambda[3]+589/269068800*lambda[4]*lambda[3]-1/143503360*lambda[6]^2*lambda[2]-\
37/17937920*lambda[5]*lambda[2]-1/896896*lambda[6]*lambda[1]-3/585728*lambda[0
])*v[6]*v[5]^16*v[4]+(-3/40*lambda[5]^2*lambda[4]+1/20*lambda[6]*lambda[4]^2+1
/10*lambda[6]*lambda[5]*lambda[3]+1/10*lambda[4]*lambda[3]-1/5*lambda[6]^2*
lambda[2]+1/10*lambda[5]*lambda[2]-2/5*lambda[6]*lambda[1]-1/5*lambda[0])*v[5]
*v[3]^7+(-1/19200*lambda[6]^5*lambda[5]+1/3150*lambda[6]^3*lambda[5]^2-11/
25200*lambda[6]*lambda[5]^3-613/268800*lambda[6]^4*lambda[4]-121/33600*lambda[
6]^2*lambda[5]*lambda[4]-1/1260*lambda[5]^2*lambda[4]+23/80640*lambda[6]*
lambda[4]^2-43/33600*lambda[6]^3*lambda[3]+733/806400*lambda[6]*lambda[5]*
lambda[3]+269/161280*lambda[4]*lambda[3]-1/480*lambda[6]^2*lambda[2]+13/53760*
lambda[5]*lambda[2]-29/5376*lambda[6]*lambda[1]-1/768*lambda[0])*v[6]^3*v[5]^
10*v[4]*v[3]^2+(-1/358400*lambda[6]^5*lambda[5]-1/44800*lambda[6]^3*lambda[5]^
2+1/100800*lambda[6]*lambda[5]^3-19/358400*lambda[6]^4*lambda[4]-149/134400*
lambda[6]^2*lambda[5]*lambda[4]+1/14400*lambda[5]^2*lambda[4]-1/134400*lambda[
6]*lambda[4]^2-9/35840*lambda[6]^3*lambda[3]-47/268800*lambda[6]*lambda[5]*
lambda[3]+37/1075200*lambda[4]*lambda[3]-373/537600*lambda[6]^2*lambda[2]-1/
153600*lambda[5]*lambda[2]-41/89600*lambda[6]*lambda[1]+1/76800*lambda[0])*v[6
]^10*v[5]^4*v[4]*v[3]^3+(-1/985600*lambda[6]^7+1/105600*lambda[6]^5*lambda[5]-\
1/36960*lambda[6]^3*lambda[5]^2+1/46200*lambda[6]*lambda[5]^3+13/1478400*
lambda[6]^4*lambda[4]-1/18480*lambda[6]^2*lambda[5]*lambda[4]+1/13200*lambda[5
]^2*lambda[4]+1/13200*lambda[6]*lambda[4]^2-17/739200*lambda[6]^3*lambda[3]+17
/184800*lambda[6]*lambda[5]*lambda[3]-1787/2956800*lambda[4]*lambda[3]+1/
197120*lambda[6]^2*lambda[2]+29/197120*lambda[5]*lambda[2]+183/197120*lambda[6
]*lambda[1]+7/5632*lambda[0])*v[5]^12*v[3]*v[2]+(-3/160*lambda[6]^4*lambda[4]-\
17/240*lambda[6]^2*lambda[5]*lambda[4]-1/24*lambda[5]^2*lambda[4]-7/120*lambda
[6]*lambda[4]^2+1/160*lambda[6]^3*lambda[3]-5/96*lambda[6]*lambda[5]*lambda[3]
+37/480*lambda[4]*lambda[3]+19/96*lambda[6]^2*lambda[2]+11/480*lambda[5]*
lambda[2]+23/240*lambda[6]*lambda[1]-7/48*lambda[0])*v[6]^2*v[5]^6*v[3]^3*v[2]
+(-3/35840*lambda[6]^3*lambda[3]-1/8960*lambda[6]*lambda[5]*lambda[3]+3/17920*
lambda[4]*lambda[3]-19/107520*lambda[6]^2*lambda[2]+19/161280*lambda[5]*lambda
[2]-1/13440*lambda[6]*lambda[1]+1/1920*lambda[0])*v[6]^9*v[5]^2*v[4]^4*v[2]+(1
/13440*lambda[6]^5*lambda[5]-1/5040*lambda[6]^3*lambda[5]^2-1/2520*lambda[6]*
lambda[5]^3+1/2688*lambda[6]^4*lambda[4]-1/1680*lambda[6]^2*lambda[5]*lambda[4
]-1/2520*lambda[5]^2*lambda[4]-1/630*lambda[6]*lambda[4]^2-17/13440*lambda[6]^
3*lambda[3]+1/1440*lambda[6]*lambda[5]*lambda[3]-1/504*lambda[4]*lambda[3]-17/
13440*lambda[6]^2*lambda[2]-1/3360*lambda[5]*lambda[2]+7/960*lambda[6]*lambda[
1]+1/192*lambda[0])*v[6]^3*v[5]^9*v[2]^2+(-3/1600*lambda[6]^4*lambda[4]-1/400*
lambda[6]^2*lambda[5]*lambda[4]-1/600*lambda[5]^2*lambda[4]+1/150*lambda[6]*
lambda[4]^2-9/800*lambda[6]^3*lambda[3]-7/400*lambda[6]*lambda[5]*lambda[3]-1/
300*lambda[4]*lambda[3]+13/1600*lambda[6]^2*lambda[2]-7/800*lambda[5]*lambda[2
]+9/800*lambda[6]*lambda[1]-1/160*lambda[0])*v[6]^5*v[5]^6*v[4]*v[2]^2+(3/2240
*lambda[6]*lambda[1]-1/640*lambda[0])*v[6]^8*v[5]*v[3]*v[1]^2+(27/1971200*
lambda[6]^4*lambda[4]+3/492800*lambda[6]^2*lambda[5]*lambda[4]+17/246400*
lambda[5]^2*lambda[4]+169/985600*lambda[6]*lambda[4]^2+3/492800*lambda[6]^3*
lambda[3]+9/281600*lambda[6]*lambda[5]*lambda[3]+3/281600*lambda[4]*lambda[3]-\
1/10752*lambda[6]^2*lambda[2]+23/17740800*lambda[5]*lambda[2]-79/422400*lambda
[6]*lambda[1]-29/422400*lambda[0])*v[6]^11*v[5]^2*v[4]^3*v[3]^2+(13/80*lambda[
4]*lambda[3]+7/80*lambda[5]*lambda[2]+1/8*lambda[6]*lambda[1]+9/40*lambda[0])*
v[6]*v[5]*v[4]^6*v[3]^2+(1/20*lambda[6]^2*lambda[5]*lambda[4]-1/5*lambda[5]^2*
lambda[4]-1/3*lambda[6]*lambda[4]^2-3/40*lambda[6]^3*lambda[3]+1/12*lambda[6]*
lambda[5]*lambda[3]+31/120*lambda[4]*lambda[3]-7/24*lambda[6]^2*lambda[2]+19/
120*lambda[5]*lambda[2]-2/15*lambda[6]*lambda[1]+7/12*lambda[0])*v[5]^5*v[4]*v
[3]^3*v[2]+(-3/652288000*lambda[6]^7-20437/14350336000*lambda[6]^5*lambda[5]+
79/97843200*lambda[6]^3*lambda[5]^2+23/103488000*lambda[6]*lambda[5]^3-12217/
14350336000*lambda[6]^4*lambda[4]+7793/16144128000*lambda[6]^2*lambda[5]*
lambda[4]+337/4036032000*lambda[5]^2*lambda[4]+1853/4612608000*lambda[6]*
lambda[4]^2-1993/5381376000*lambda[6]^3*lambda[3]-48571/64576512000*lambda[6]*
lambda[5]*lambda[3]-969/14350336000*lambda[4]*lambda[3]-169/66232320*lambda[6]
^2*lambda[2]+61/1230028800*lambda[5]*lambda[2]-2169/1435033600*lambda[6]*
lambda[1]+1/15769600*lambda[0])*v[6]^13*v[5]^7*v[3]^2+(-3/985600*lambda[6]^2*
lambda[2]-1/147840*lambda[5]*lambda[2]-1/35200*lambda[6]*lambda[1]-1/70400*
lambda[0])*v[6]^12*v[5]*v[4]*v[2]*v[1]+(-1/120*lambda[6]*lambda[4]^2+3/80*
lambda[6]^3*lambda[3]+1/20*lambda[6]*lambda[5]*lambda[3]-1/60*lambda[4]*lambda
[3]+29/240*lambda[6]^2*lambda[2]+7/240*lambda[5]*lambda[2]+9/80*lambda[6]*
lambda[1]+19/240*lambda[0])*v[6]^5*v[5]^3*v[3]^3*v[1]+(1/4480*lambda[6]^2*
lambda[2]-11/6720*lambda[5]*lambda[2]-17/4480*lambda[6]*lambda[1]-1/640*lambda
[0])*v[6]^9*v[5]^2*v[3]*v[2]*v[1]+(-7/2560*lambda[4]*lambda[3]+3/17920*lambda[
6]^2*lambda[2]-3/3584*lambda[5]*lambda[2]-13/17920*lambda[6]*lambda[1]-9/2560*
lambda[0])*v[6]^8*v[4]^4*v[3]*v[2]+(-15/4*lambda[4]*lambda[3]+3/4*lambda[5]*
lambda[2]-3/2*lambda[6]*lambda[1]-3/2*lambda[0])*v[6]*v[5]*v[4]^2*v[3]^2*v[2]^
2+(3/358758400*lambda[6]^4*lambda[4]+1/269068800*lambda[6]^2*lambda[5]*lambda[
4]+17/403603200*lambda[5]^2*lambda[4]+29/107627520*lambda[6]*lambda[4]^2-1/
689920*lambda[6]*lambda[5]*lambda[3]+1/2690688*lambda[4]*lambda[3]-19/13798400
*lambda[6]^2*lambda[2]-17/11827200*lambda[5]*lambda[2]-87/27596800*lambda[6]*
lambda[1]-1/563200*lambda[0])*v[6]^14*v[5]*v[3]^2*v[1]+(19/7175168000*lambda[6
]^5*lambda[5]+41/244608000*lambda[6]^3*lambda[5]^2-1/61776000*lambda[6]*lambda
[5]^3-577/1304576000*lambda[6]^4*lambda[4]-1/815360*lambda[6]^2*lambda[5]*
lambda[4]-29/968647680*lambda[5]^2*lambda[4]-281/1317888000*lambda[6]*lambda[4
]^2-89/896896000*lambda[6]^3*lambda[3]-55031/129153024000*lambda[6]*lambda[5]*
lambda[3]-1931/129153024000*lambda[4]*lambda[3]-1/20384000*lambda[6]^2*lambda[
2]-3631/18450432000*lambda[5]*lambda[2]-457/1025024000*lambda[6]*lambda[1]-1/
11264000*lambda[0])*v[6]^15*v[5]^4*v[4]*v[3]^2+(-9/985600*lambda[6]^3*lambda[3
]+3/246400*lambda[6]*lambda[5]*lambda[3]+9/123200*lambda[4]*lambda[3]+1/197120
*lambda[6]^2*lambda[2]+23/739200*lambda[5]*lambda[2]+13/61600*lambda[6]*lambda
[1]+3/35200*lambda[0])*v[6]^11*v[5]*v[4]^2*v[2]^2+(1/6400*lambda[6]^5*lambda[5
]+1/1200*lambda[6]^3*lambda[5]^2+13/7200*lambda[6]*lambda[5]^3+31/6400*lambda[
6]^4*lambda[4]+7/2400*lambda[6]^2*lambda[5]*lambda[4]-7/2400*lambda[5]^2*
lambda[4]+1/1800*lambda[6]*lambda[4]^2-11/3200*lambda[6]^3*lambda[3]-7/2880*
lambda[6]*lambda[5]*lambda[3]+7/19200*lambda[4]*lambda[3]-31/1920*lambda[6]^2*
lambda[2]-1/768*lambda[5]*lambda[2]-3/320*lambda[6]*lambda[1]+1/1920*lambda[0]
)*v[6]^6*v[5]^6*v[4]*v[3]^3+(1/64*lambda[6]^2*lambda[2]+3/32*lambda[0])*v[6]^4
*v[5]^3*v[4]^4*v[1]+(-3/44800*lambda[6]^5*lambda[5]-1/5600*lambda[6]^3*lambda[
5]^2-1/3360*lambda[6]*lambda[5]^3+3/8960*lambda[6]^4*lambda[4]-11/2800*lambda[
6]^2*lambda[5]*lambda[4]-3/5600*lambda[5]^2*lambda[4]-11/5600*lambda[6]*lambda
[4]^2+3/2800*lambda[6]^3*lambda[3]-151/33600*lambda[6]*lambda[5]*lambda[3]-101
/134400*lambda[4]*lambda[3]+73/11200*lambda[6]^2*lambda[2]-43/134400*lambda[5]
*lambda[2]+171/22400*lambda[6]*lambda[1]+1/640*lambda[0])*v[6]^7*v[5]^6*v[3]^2
*v[2]+(-1/8*lambda[6]*lambda[1]-3/8*lambda[0])*v[6]^3*v[5]*v[4]^4*v[3]*v[1]+(-\
3/44800*lambda[6]^3*lambda[3]-1/11200*lambda[6]*lambda[5]*lambda[3]-1/16800*
lambda[4]*lambda[3]-17/44800*lambda[6]^2*lambda[2]-1/33600*lambda[5]*lambda[2]
-1/2400*lambda[6]*lambda[1]+1/1600*lambda[0])*v[6]^7*v[5]^3*v[4]^6+(-27/8960*
lambda[6]^4*lambda[4]-9/1120*lambda[6]^2*lambda[5]*lambda[4]+47/4480*lambda[6]
*lambda[4]^2-3/1120*lambda[6]^3*lambda[3]-3/1792*lambda[6]*lambda[5]*lambda[3]
+137/26880*lambda[4]*lambda[3]-43/4480*lambda[6]^2*lambda[2]-29/26880*lambda[5
]*lambda[2]-1/384*lambda[6]*lambda[1]+3/640*lambda[0])*v[6]^7*v[5]^4*v[4]^3*v[
3]^2+(1/40*lambda[6]*lambda[4]^2+1/80*lambda[6]*lambda[5]*lambda[3]+7/160*
lambda[4]*lambda[3]+1/32*lambda[6]^2*lambda[2]+1/160*lambda[5]*lambda[2]+17/
160*lambda[6]*lambda[1]+17/160*lambda[0])*v[6]^2*v[5]^3*v[4]^6*v[3]+(-1/8*
lambda[6]*lambda[1]-3/16*lambda[0])*v[6]^3*v[5]^4*v[4]*v[1]^2+(3/280*lambda[6]
^2*lambda[5]*lambda[4]+1/210*lambda[5]^2*lambda[4]+9/560*lambda[6]*lambda[4]^2
-3/224*lambda[6]*lambda[5]*lambda[3]-59/2240*lambda[4]*lambda[3]-9/1120*lambda
[6]^2*lambda[2]+11/2240*lambda[5]*lambda[2]-9/1120*lambda[6]*lambda[1]+1/160*
lambda[0])*v[6]^7*v[5]^2*v[4]^2*v[3]^2*v[2]+(-3/7884800*lambda[6]^4*lambda[4]+
163/5913600*lambda[6]^2*lambda[5]*lambda[4]+1/1478400*lambda[5]^2*lambda[4]+29
/2956800*lambda[6]*lambda[4]^2-3/7884800*lambda[6]^3*lambda[3]+67/5913600*
lambda[6]*lambda[5]*lambda[3]+1/4300800*lambda[4]*lambda[3]+1/7884800*lambda[6
]^2*lambda[2]+241/141926400*lambda[5]*lambda[2]-7/1351680*lambda[6]*lambda[1]-\
41/6758400*lambda[0])*v[6]^12*v[5]^4*v[4]^3*v[3]+(3/8*lambda[6]^2*lambda[2]+3/
16*lambda[5]*lambda[2]+13/16*lambda[6]*lambda[1]+11/16*lambda[0])*v[6]^4*v[5]^
2*v[3]^2*v[2]*v[1]+(9/6400*lambda[6]^4*lambda[4]+3/1600*lambda[6]^2*lambda[5]*
lambda[4]+1/800*lambda[5]^2*lambda[4]+1/3200*lambda[6]*lambda[4]^2+3/3200*
lambda[6]^3*lambda[3]+3/1280*lambda[6]*lambda[5]*lambda[3]-1/1536*lambda[4]*
lambda[3]+27/6400*lambda[6]^2*lambda[2]-23/38400*lambda[5]*lambda[2]-43/7680*
lambda[6]*lambda[1]-17/2560*lambda[0])*v[6]^6*v[5]^5*v[4]^4*v[3]+(-3/8960*
lambda[6]^3*lambda[5]^2-1/2240*lambda[6]*lambda[5]^3-3/17920*lambda[6]^4*
lambda[4]-1/256*lambda[6]^2*lambda[5]*lambda[4]-1/6720*lambda[5]^2*lambda[4]-\
283/26880*lambda[6]*lambda[4]^2-3/3584*lambda[6]^3*lambda[3]-57/17920*lambda[6
]*lambda[5]*lambda[3]-53/17920*lambda[4]*lambda[3]-47/17920*lambda[6]^2*lambda
[2]+61/53760*lambda[5]*lambda[2]+53/26880*lambda[6]*lambda[1]+1/768*lambda[0])
*v[6]^8*v[5]^3*v[4]^2*v[3]^3+(-1/11952108536496128000000*lambda[6]^7+241/
389742669668352000000*lambda[6]^5*lambda[5]-31/97789978934968320000*lambda[6]^
3*lambda[5]^2-86113/12101509893202329600000*lambda[6]*lambda[5]^3+499/
40118965716910080000*lambda[6]^4*lambda[4]-347209/6146798675912294400000*
lambda[6]^2*lambda[5]*lambda[4]+219/3811259099648000000*lambda[5]^2*lambda[4]+
7109/104537392447488000000*lambda[6]*lambda[4]^2+192079/
19123373658393804800000*lambda[6]^3*lambda[3]-1414663/30733993379561472000000*
lambda[6]*lambda[5]*lambda[3]-463/14671914729472000000*lambda[4]*lambda[3]-\
8357/450314921312256000000*lambda[6]^2*lambda[2]-1/41584164864000000*lambda[5]
*lambda[2]-941/9190100434944000000*lambda[6]*lambda[1]-3/12402294784000000*
lambda[0])*v[6]^28*v[4]*v[3]+(-3/131341852049408000000*lambda[6]^7-531291/
262683704098816000000*lambda[6]^5*lambda[5]+36997/19701277807411200000*lambda[
6]^3*lambda[5]^2+1011539/53193450080010240000*lambda[6]*lambda[5]^3-161131/
52536740819763200000*lambda[6]^4*lambda[4]-169123/11820766684446720000*lambda[
6]^2*lambda[5]*lambda[4]-1877/2592273395712000000*lambda[5]^2*lambda[4]-285251
/28144682582016000000*lambda[6]*lambda[4]^2+113/165556956364800000*lambda[6]^3
*lambda[3]+24873391/1182076668444672000000*lambda[6]*lambda[5]*lambda[3]+
285239/37526243442688000000*lambda[4]*lambda[3]-1722817/56289365164032000000*
lambda[6]^2*lambda[2]-311573/5360891920384000000*lambda[5]*lambda[2]-77137/
8041337880576000000*lambda[6]*lambda[1]-41/1732673536000000*lambda[0])*v[6]^25
*v[5]*v[3]^2+(9/32*lambda[6]^2*lambda[5]*lambda[4]+17/160*lambda[5]^2*lambda[4
]+17/160*lambda[6]*lambda[4]^2+19/160*lambda[6]*lambda[5]*lambda[3]-3/80*
lambda[4]*lambda[3]-1/20*lambda[6]^2*lambda[2]-1/160*lambda[5]*lambda[2]-1/10*
lambda[6]*lambda[1]-7/40*lambda[0])*v[6]^4*v[5]^2*v[4]*v[3]^5+(11/480*lambda[6
]^2*lambda[2]+1/80*lambda[5]*lambda[2]+13/240*lambda[6]*lambda[1]+1/80*lambda[
0])*v[6]^2*v[5]^6*v[4]^3*v[1]+(-3/2595688775680000*lambda[6]^7-59079/
5191377551360000*lambda[6]^5*lambda[5]+375637/5840299745280000*lambda[6]^3*
lambda[5]^2+35089/3285168606720000*lambda[6]*lambda[5]^3-217337/
15574132654080000*lambda[6]^4*lambda[4]+60433/834328535040000*lambda[6]^2*
lambda[5]*lambda[4]+6131/1095056202240000*lambda[5]^2*lambda[4]+211649/
11680599490560000*lambda[6]*lambda[4]^2+929/29950255104000*lambda[6]^3*lambda[
3]+5067/519137755136000*lambda[6]*lambda[5]*lambda[3]+5647/513432944640000*
lambda[4]*lambda[3]+19423/1112438046720000*lambda[6]^2*lambda[2]-883/
50185175040000*lambda[5]*lambda[2]-16477/158919720960000*lambda[6]*lambda[1]-1
/34242560000*lambda[0])*v[6]^21*v[5]^3*v[3]^2+(9/1394032640000*lambda[6]^7-\
176017/19516456960000*lambda[6]^5*lambda[5]-181777/7318671360000*lambda[6]^3*
lambda[5]^2-80183/32934021120000*lambda[6]*lambda[5]^3-4663/557613056000*
lambda[6]^4*lambda[4]-132871/7318671360000*lambda[6]^2*lambda[5]*lambda[4]+
2507/2994001920000*lambda[5]^2*lambda[4]+1081/1254629376000*lambda[6]*lambda[4
]^2+19/7506329600*lambda[6]^3*lambda[3]-293467/87824056320000*lambda[6]*lambda
[5]*lambda[3]+20611/7025924505600*lambda[4]*lambda[3]+1401/390329139200*lambda
[6]^2*lambda[2]-409/1003703500800*lambda[5]*lambda[2]-139/16400384000*lambda[6
]*lambda[1]-1/180224000*lambda[0])*v[6]^17*v[5]^5*v[3]^2+(1/32*lambda[6]^2*
lambda[5]*lambda[4]+1/16*lambda[6]*lambda[4]^2+5/32*lambda[6]^2*lambda[2]+3/64
*lambda[5]*lambda[2]+15/64*lambda[6]*lambda[1]-9/64*lambda[0])*v[6]^4*v[5]^4*v
[4]*v[3]^2*v[1]+(1/2240*lambda[6]*lambda[4]^2+1/4480*lambda[6]*lambda[5]*
lambda[3]-3/8960*lambda[4]*lambda[3]+1/4480*lambda[6]^2*lambda[2]-19/26880*
lambda[5]*lambda[2]+13/4480*lambda[6]*lambda[1]-1/640*lambda[0])*v[6]^9*v[5]*v
[3]^2*v[2]^2+(-1/2240*lambda[6]*lambda[5]^3-9/2240*lambda[6]^2*lambda[5]*
lambda[4]-31/6720*lambda[5]^2*lambda[4]+1/2240*lambda[6]*lambda[4]^2-1/224*
lambda[6]*lambda[5]*lambda[3]-3/280*lambda[4]*lambda[3]-1/280*lambda[6]^2*
lambda[2]-1/80*lambda[5]*lambda[2]-11/1120*lambda[6]*lambda[1]-1/160*lambda[0]
)*v[6]^7*v[5]*v[4]^2*v[3]^4+(-1/320*lambda[4]*lambda[3]-1/320*lambda[5]*lambda
[2]-1/320*lambda[6]*lambda[1]-3/320*lambda[0])*v[6]^4*v[4]^7*v[3]+3*lambda[0]*
v[6]*v[4]*v[3]*v[2]^2*v[1]+(-3/1971200*lambda[6]^4*lambda[4]-1/1478400*lambda[
6]^2*lambda[5]*lambda[4]-17/2217600*lambda[5]^2*lambda[4]+1/23100*lambda[6]*
lambda[4]^2+3/492800*lambda[6]^3*lambda[3]+1/14080*lambda[6]*lambda[5]*lambda[
3]-1/1075200*lambda[4]*lambda[3]+27/394240*lambda[6]^2*lambda[2]+247/11827200*
lambda[5]*lambda[2]+127/3942400*lambda[6]*lambda[1]+31/563200*lambda[0])*v[6]^
12*v[5]^2*v[4]^2*v[3]*v[2]+(-1/1280*lambda[6]*lambda[4]^2-1/17920*lambda[6]*
lambda[5]*lambda[3]-1/7168*lambda[4]*lambda[3]-11/53760*lambda[6]^2*lambda[2]-\
79/322560*lambda[5]*lambda[2]-67/53760*lambda[6]*lambda[1]-1/1536*lambda[0])*v
[6]^9*v[5]*v[4]^4*v[3]^2+(-3/80*lambda[6]^2*lambda[2]-1/60*lambda[5]*lambda[2]
-3/40*lambda[6]*lambda[1]-1/16*lambda[0])*v[6]^5*v[5]^2*v[4]^3*v[3]*v[1]+(1/
243955712000*lambda[6]^5*lambda[5]-1/91483392000*lambda[6]^3*lambda[5]^2-1/
2800512000*lambda[6]*lambda[5]^3+1/48791142400*lambda[6]^4*lambda[4]-1/
30494464000*lambda[6]^2*lambda[5]*lambda[4]-1/2800512000*lambda[5]^2*lambda[4]
+11/1039584000*lambda[6]*lambda[4]^2-19/243955712000*lambda[6]^3*lambda[3]+
1933/182966784000*lambda[6]*lambda[5]*lambda[3]+1409/292746854400*lambda[4]*
lambda[3]+1217/243955712000*lambda[6]^2*lambda[2]+2491/1463734272000*lambda[5]
*lambda[2]+53/2788065280*lambda[6]*lambda[1]+109/9957376000*lambda[0])*v[6]^18
*v[5]*v[4]*v[3]*v[2]+3*lambda[0]*v[5]*v[4]^2*v[2]^2*v[1]+(-3/4*lambda[4]*
lambda[3]+1/4*lambda[5]*lambda[2]+1/4*lambda[6]*lambda[1]+11/4*lambda[0])*v[5]
^2*v[4]^3*v[3]*v[2]^2+(3/2240*lambda[6]^4*lambda[4]-1/210*lambda[6]^2*lambda[5
]*lambda[4]-1/420*lambda[5]^2*lambda[4]+1/84*lambda[6]*lambda[4]^2+3/1120*
lambda[6]^3*lambda[3]-3/280*lambda[6]*lambda[5]*lambda[3]-781/13440*lambda[4]*
lambda[3]+3/448*lambda[6]^2*lambda[2]-57/4480*lambda[5]*lambda[2]+93/4480*
lambda[6]*lambda[1]-3/128*lambda[0])*v[5]^8*v[4]^2*v[3]*v[2]+(3/560*lambda[6]^
4*lambda[4]-2/105*lambda[6]^2*lambda[5]*lambda[4]-1/105*lambda[5]^2*lambda[4]-\
23/840*lambda[6]*lambda[4]^2-3/80*lambda[6]*lambda[5]*lambda[3]-61/3360*lambda
[4]*lambda[3]+13/560*lambda[6]^2*lambda[2]+3/224*lambda[5]*lambda[2]+79/1120*
lambda[6]*lambda[1]+1/32*lambda[0])*v[6]^2*v[5]^7*v[3]*v[2]^2+(3/717516800*
lambda[6]^5*lambda[5]+1/33633600*lambda[6]^3*lambda[5]^2+17/62092800*lambda[6]
*lambda[5]^3+3/102502400*lambda[6]^4*lambda[4]-211/53813760*lambda[6]^2*lambda
[5]*lambda[4]-479/269068800*lambda[5]^2*lambda[4]-283/134534400*lambda[6]*
lambda[4]^2-337/358758400*lambda[6]^3*lambda[3]+37/538137600*lambda[6]*lambda[
5]*lambda[3]-19/65228800*lambda[4]*lambda[3]+251/82790400*lambda[6]^2*lambda[2
]+67/307507200*lambda[5]*lambda[2]+19/5913600*lambda[6]*lambda[1]+1/563200*
lambda[0])*v[6]^14*v[5]^2*v[4]*v[3]^3+(1/60*lambda[6]^2*lambda[5]*lambda[4]-1/
15*lambda[5]^2*lambda[4]+1/30*lambda[6]*lambda[4]^2+3/80*lambda[6]^3*lambda[3]
-3/20*lambda[6]*lambda[5]*lambda[3]+1/240*lambda[4]*lambda[3]+1/80*lambda[6]^2
*lambda[2]-9/80*lambda[5]*lambda[2]-5/16*lambda[6]*lambda[1]-7/16*lambda[0])*v
[5]^6*v[4]*v[3]*v[2]^2+(-1/2*lambda[6]*lambda[4]^2-3/4*lambda[6]*lambda[5]*
lambda[3]-9/8*lambda[4]*lambda[3]-3/8*lambda[6]^2*lambda[2]-3/8*lambda[5]*
lambda[2]-11/8*lambda[6]*lambda[1]-3/8*lambda[0])*v[6]^2*v[5]^3*v[4]^2*v[3]*v[
2]^2+(3/525367408197632000*lambda[6]^7+633/37526243442688000*lambda[6]^5*
lambda[5]-2591/32835463012352000*lambda[6]^3*lambda[5]^2-3121/
265967250400051200*lambda[6]*lambda[5]^3-346639/5253674081976320000*lambda[6]^
4*lambda[4]+9206363/23641533368893440000*lambda[6]^2*lambda[5]*lambda[4]+1013/
10535442677760000*lambda[5]^2*lambda[4]-63863/303096581652480000*lambda[6]*
lambda[4]^2-1293701/6304408898371584000*lambda[6]^3*lambda[3]+4143679/
23641533368893440000*lambda[6]*lambda[5]*lambda[3]-61323/1501049737707520000*
lambda[4]*lambda[3]+1323659/4503149213122560000*lambda[6]^2*lambda[2]-22577/
91901004349440000*lambda[5]*lambda[2]-14983/643307030446080000*lambda[6]*
lambda[1]-669/2356436008960000*lambda[0])*v[6]^24*v[5]^2*v[4]*v[3]+(-591/
256256000*lambda[6]^7+73/64064000*lambda[6]^5*lambda[5]-1459/288288000*lambda[
6]^3*lambda[5]^2+29/36036000*lambda[6]*lambda[5]^3-317/30750720*lambda[6]^4*
lambda[4]+449/128128000*lambda[6]^2*lambda[5]*lambda[4]+503/576576000*lambda[5
]^2*lambda[4]+79/35481600*lambda[6]*lambda[4]^2+1/528000*lambda[6]^3*lambda[3]
-2077/658944000*lambda[6]*lambda[5]*lambda[3]-12953/9225216000*lambda[4]*
lambda[3]-1451/76876800*lambda[6]^2*lambda[2]-171/205004800*lambda[5]*lambda[2
]-71/11182080*lambda[6]*lambda[1]+37/17571840*lambda[0])*v[6]^6*v[5]^13*v[3]+(
-3/1120*lambda[6]^5*lambda[5]-1/160*lambda[6]^3*lambda[5]^2-23/2240*lambda[6]*
lambda[5]^3-1/672*lambda[6]^2*lambda[5]*lambda[4]+43/6720*lambda[5]^2*lambda[4
]+31/3360*lambda[6]*lambda[4]^2+61/3360*lambda[6]*lambda[5]*lambda[3]+1/240*
lambda[4]*lambda[3]-11/336*lambda[6]^2*lambda[2]-5/336*lambda[5]*lambda[2]-29/
672*lambda[6]*lambda[1]-1/96*lambda[0])*v[6]^3*v[5]^7*v[3]^4+(-1/560*lambda[6]
^3*lambda[5]^2+1/140*lambda[6]*lambda[5]^3-1/1120*lambda[6]^4*lambda[4]+1/1680
*lambda[6]^2*lambda[5]*lambda[4]-1/420*lambda[5]^2*lambda[4]-169/1680*lambda[6
]*lambda[4]^2+3/1120*lambda[6]^3*lambda[3]-19/1120*lambda[6]*lambda[5]*lambda[
3]-109/3360*lambda[4]*lambda[3]+43/1120*lambda[6]^2*lambda[2]+13/1120*lambda[5
]*lambda[2]+9/112*lambda[6]*lambda[1]+1/16*lambda[0])*v[5]^7*v[4]^2*v[3]^3+(1/
102502400*lambda[6]^3*lambda[5]^2-1/76876800*lambda[6]*lambda[5]^3+3/25625600*
lambda[6]^4*lambda[4]-1/1996800*lambda[6]^2*lambda[5]*lambda[4]-1031/461260800
*lambda[5]^2*lambda[4]-43/307507200*lambda[6]*lambda[4]^2+1/25625600*lambda[6]
^3*lambda[3]-83/76876800*lambda[6]*lambda[5]*lambda[3]-139/76876800*lambda[4]*
lambda[3]-67/76876800*lambda[6]^2*lambda[2]+1/140800*lambda[5]*lambda[2]+103/
38438400*lambda[6]*lambda[1]+1/281600*lambda[0])*v[6]^13*v[4]*v[3]^4+(-3/35840
*lambda[6]^4*lambda[4]+41/44800*lambda[6]^2*lambda[5]*lambda[4]+1/16800*lambda
[5]^2*lambda[4]+11/22400*lambda[6]*lambda[4]^2-3/35840*lambda[6]^3*lambda[3]+3
/8960*lambda[6]*lambda[5]*lambda[3]+223/1075200*lambda[4]*lambda[3]-143/179200
*lambda[6]^2*lambda[2]+127/1075200*lambda[5]*lambda[2]-25/43008*lambda[6]*
lambda[1]-3/10240*lambda[0])*v[6]^8*v[5]^6*v[4]^3*v[3]+(44283/
25956887756800000*lambda[6]^7+51741/6489221939200000*lambda[6]^5*lambda[5]+
226379/58402997452800000*lambda[6]^3*lambda[5]^2+205253/131406744268800000*
lambda[6]*lambda[5]^3+9427/7079151206400000*lambda[6]^4*lambda[4]-286633/
38935331635200000*lambda[6]^2*lambda[5]*lambda[4]+134647/175208992358400000*
lambda[5]^2*lambda[4]-4831/1536920985600000*lambda[6]*lambda[4]^2+18323/
2995025510400000*lambda[6]^3*lambda[3]-104989/16686570700800000*lambda[6]*
lambda[5]*lambda[3]-1061/1191897907200000*lambda[4]*lambda[3]+14013/
741625364480000*lambda[6]^2*lambda[2]-947/953518325760000*lambda[5]*lambda[2]+
41/3492741120000*lambda[6]*lambda[1]+1/1164247040000*lambda[0])*v[6]^21*v[5]^6
*v[4]+(3/262683704098816000000*lambda[6]^7-3/65670926024704000000*lambda[6]^5*
lambda[5]+1/40206689402880000*lambda[6]^3*lambda[5]^2-1447/
13298362520002560000*lambda[6]*lambda[5]^3+79/1050734816395264000*lambda[6]^4*
lambda[4]-1231/7387979177779200000*lambda[6]^2*lambda[5]*lambda[4]-1427/
10554255968256000000*lambda[5]^2*lambda[4]+31/38660278272000000*lambda[6]*
lambda[4]^2-4951/39402555614822400000*lambda[6]^3*lambda[3]+617/
21108511936512000000*lambda[6]*lambda[5]*lambda[3]-1/7557648384000000*lambda[4
]*lambda[3]-1261/787263848448000000*lambda[6]^2*lambda[2]+1699/
463923339264000000*lambda[5]*lambda[2]-67/14058283008000000*lambda[6]*lambda[1
]-49/2325430272000000*lambda[0])*v[6]^25*v[4]^3+(-3/8960*lambda[6]^5*lambda[5]
+1/1120*lambda[6]^3*lambda[5]^2+1/560*lambda[6]*lambda[5]^3+3/8960*lambda[6]^4
*lambda[4]-13/3360*lambda[6]^2*lambda[5]*lambda[4]-1/240*lambda[5]^2*lambda[4]
-83/3360*lambda[6]*lambda[4]^2+1/1120*lambda[6]^3*lambda[3]-1/320*lambda[6]*
lambda[5]*lambda[3]-137/26880*lambda[4]*lambda[3]+31/2240*lambda[6]^2*lambda[2
]+39/8960*lambda[5]*lambda[2]+25/896*lambda[6]*lambda[1]+3/128*lambda[0])*v[6]
*v[5]^9*v[4]^2*v[3]^2+(-1/37081268224000*lambda[6]^5*lambda[5]+1/
13905475584000*lambda[6]^3*lambda[5]^2+1/425677824000*lambda[6]*lambda[5]^3-1/
7416253644800*lambda[6]^4*lambda[4]+1/4635158528000*lambda[6]^2*lambda[5]*
lambda[4]+1/425677824000*lambda[5]^2*lambda[4]-11/158016768000*lambda[6]*
lambda[4]^2+1073/37081268224000*lambda[6]^3*lambda[3]-157/9270317056000*lambda
[6]*lambda[5]*lambda[3]-59/993248256000*lambda[4]*lambda[3]+597/2852405248000*
lambda[6]^2*lambda[2]-233/11918979072000*lambda[5]*lambda[2]+199/611229696000*
lambda[6]*lambda[1]+7/17463705600*lambda[0])*v[6]^19*v[5]*v[4]^4+(-1609/
2759680000*lambda[6]^7-4007/1034880000*lambda[6]^5*lambda[5]-6407/6209280000*
lambda[6]^3*lambda[5]^2-101/1552320000*lambda[6]*lambda[5]^3-647/8279040000*
lambda[6]^4*lambda[4]+27/68992000*lambda[6]^2*lambda[5]*lambda[4]-17/344960000
*lambda[5]^2*lambda[4]-23/752640000*lambda[6]*lambda[4]^2+397/752640000*lambda
[6]^3*lambda[3]+93/501760000*lambda[6]*lambda[5]*lambda[3]-15143/99348480000*
lambda[4]*lambda[3]-19/66232320*lambda[6]^2*lambda[2]+37/264929280*lambda[5]*
lambda[2]+689/1324646400*lambda[6]*lambda[1]+67/189235200*lambda[0])*v[6]^10*v
[5]^11*v[3]+(9/22400*lambda[6]^5*lambda[5]+39/22400*lambda[6]^3*lambda[5]^2-3/
8960*lambda[6]*lambda[5]^3+3/5600*lambda[6]^4*lambda[4]+1/22400*lambda[6]^2*
lambda[5]*lambda[4]-101/134400*lambda[5]^2*lambda[4]-1/4480*lambda[6]*lambda[4
]^2-3/5600*lambda[6]^3*lambda[3]+83/67200*lambda[6]*lambda[5]*lambda[3]+1/3360
*lambda[4]*lambda[3]+1/1344*lambda[6]^2*lambda[2]+1/960*lambda[5]*lambda[2]+1/
4480*lambda[6]*lambda[1]-1/1920*lambda[0])*v[6]^7*v[5]^5*v[3]^4+(41/1971200*
lambda[6]^2*lambda[2]-1/591360*lambda[5]*lambda[2]+1/985600*lambda[6]*lambda[1
]-1/281600*lambda[0])*v[6]^12*v[5]^3*v[4]^2*v[1]+(-1/4*lambda[6]*lambda[1]-3/4
*lambda[0])*v[6]*v[5]^3*v[4]^2*v[1]^2+(-1/2562560*lambda[6]^2*lambda[2]-19/
6406400*lambda[5]*lambda[2]-9/1830400*lambda[6]*lambda[1]-31/1830400*lambda[0]
)*v[6]^13*v[3]*v[2]*v[1]+(-11/40768000*lambda[6]^7-19/24024000*lambda[6]^5*
lambda[5]+2909/336336000*lambda[6]^3*lambda[5]^2-131/28028000*lambda[6]*lambda
[5]^3-1159/1345344000*lambda[6]^4*lambda[4]-5777/336336000*lambda[6]^2*lambda[
5]*lambda[4]-107/42042000*lambda[5]^2*lambda[4]+2071/269068800*lambda[6]*
lambda[4]^2+1181/269068800*lambda[6]^3*lambda[3]+3579/179379200*lambda[6]*
lambda[5]*lambda[3]+8759/1076275200*lambda[4]*lambda[3]-1/326144*lambda[6]^2*
lambda[2]+15/14350336*lambda[5]*lambda[2]-95/2050048*lambda[6]*lambda[1]-5/
292864*lambda[0])*v[6]^2*v[5]^15*v[3]+(-37/89600*lambda[6]^2*lambda[2]-1/67200
*lambda[5]*lambda[2]-1/4480*lambda[6]*lambda[1]+3/12800*lambda[0])*v[6]^10*v[5
]^4*v[2]*v[1]+(-1/9758228480000*lambda[6]^4*lambda[4]+89/7318671360000*lambda[
6]^2*lambda[5]*lambda[4]-29/784143360000*lambda[5]^2*lambda[4]+1/522762240000*
lambda[6]*lambda[4]^2-1/9758228480000*lambda[6]^3*lambda[3]+41/7318671360000*
lambda[6]*lambda[5]*lambda[3]+431/8364195840000*lambda[4]*lambda[3]+163/
9758228480000*lambda[6]^2*lambda[2]+7/275742720000*lambda[5]*lambda[2]+1007/
8364195840000*lambda[6]*lambda[1]+7/91914240000*lambda[0])*v[6]^20*v[4]^3*v[3]
+(15781/11049758720000*lambda[6]^7+5627/9471221760000*lambda[6]^5*lambda[5]-\
14467/24861957120000*lambda[6]^3*lambda[5]^2+1901/29834348544000*lambda[6]*
lambda[5]^3-83147/331492761600000*lambda[6]^4*lambda[4]-236329/124309785600000
*lambda[6]^2*lambda[5]*lambda[4]-29707/745858713600000*lambda[5]^2*lambda[4]-\
83/634233600000*lambda[6]*lambda[4]^2+104243/22099517440000*lambda[6]^3*lambda
[3]-1601/9944782848000*lambda[6]*lambda[5]*lambda[3]+89/2219817600000*lambda[4
]*lambda[3]+211397/66298552320000*lambda[6]^2*lambda[2]+113/1775854080000*
lambda[5]*lambda[2]+1/48570368000*lambda[6]*lambda[1]-1/6938624000*lambda[0])*
v[6]^15*v[5]^11+(1/2*lambda[4]*lambda[3]+1/2*lambda[5]*lambda[2]+1/2*lambda[6]
*lambda[1]+3/2*lambda[0])*v[6]^2*v[4]*v[3]^4*v[1]+(1/40*lambda[6]^2*lambda[2]-\
1/10*lambda[5]*lambda[2]-1/10*lambda[6]*lambda[1]-7/20*lambda[0])*v[5]^5*v[2]^
2*v[1]+(-3/179200*lambda[6]^3*lambda[5]^2+1/44800*lambda[6]*lambda[5]^3-1/
12800*lambda[6]^2*lambda[5]*lambda[4]-137/1344000*lambda[5]^2*lambda[4]-179/
2688000*lambda[6]*lambda[4]^2+121/1344000*lambda[6]*lambda[5]*lambda[3]-1/
16000*lambda[4]*lambda[3]-1/42000*lambda[6]^2*lambda[2]-59/1344000*lambda[5]*
lambda[2]+263/672000*lambda[6]*lambda[1]+1/8000*lambda[0])*v[6]^10*v[5]*v[3]^5
+(3/320*lambda[6]^2*lambda[5]*lambda[4]+3/160*lambda[6]*lambda[4]^2+9/1280*
lambda[6]^3*lambda[3]+1/320*lambda[6]*lambda[5]*lambda[3]+13/1280*lambda[4]*
lambda[3]+7/256*lambda[6]^2*lambda[2]+21/1280*lambda[5]*lambda[2]+17/256*
lambda[6]*lambda[1]+23/1280*lambda[0])*v[6]^4*v[5]^4*v[4]^5*v[3]+(3/640*lambda
[6]^3*lambda[5]^2+1/160*lambda[6]*lambda[5]^3+3/320*lambda[6]^2*lambda[5]*
lambda[4]+3/1600*lambda[5]^2*lambda[4]+43/9600*lambda[6]*lambda[4]^2-17/4800*
lambda[6]*lambda[5]*lambda[3]+1/600*lambda[4]*lambda[3]-7/600*lambda[6]^2*
lambda[2]+1/1600*lambda[5]*lambda[2]-17/800*lambda[6]*lambda[1]-1/300*lambda[0
])*v[6]^6*v[5]^3*v[3]^5+(1/8*lambda[6]*lambda[1]+1/16*lambda[0])*v[6]^4*v[5]^3
*v[3]*v[1]^2+(-1/32*lambda[5]^2*lambda[4]-1/64*lambda[6]*lambda[4]^2-1/80*
lambda[6]*lambda[5]*lambda[3]-3/80*lambda[4]*lambda[3]-1/80*lambda[6]^2*lambda
[2]+1/120*lambda[5]*lambda[2]-1/20*lambda[6]*lambda[1]-3/80*lambda[0])*v[6]^5*
v[4]^3*v[3]^4+(-1/4*lambda[6]*lambda[1]-1/4*lambda[0])*v[6]^3*v[5]*v[4]^4*v[2]
^2+(-3/185406341120000*lambda[6]^7+29/556219023360000*lambda[6]^5*lambda[5]-\
31063/834328535040000*lambda[6]^3*lambda[5]^2+66169/375447840768000*lambda[6]*
lambda[5]^3-509/85572157440000*lambda[6]^4*lambda[4]-1151/33373141401600*
lambda[6]^2*lambda[5]*lambda[4]+18203/208582133760000*lambda[5]^2*lambda[4]-\
1759/42786078720000*lambda[6]*lambda[4]^2-643/14262026240000*lambda[6]^3*
lambda[3]+69283/196312596480000*lambda[6]*lambda[5]*lambda[3]+2911/
65437532160000*lambda[4]*lambda[3]-13021/278109511680000*lambda[6]^2*lambda[2]
+2663/22702817280000*lambda[5]*lambda[2]+179/1031946240000*lambda[6]*lambda[1]
-1/17121280000*lambda[0])*v[6]^20*v[5]*v[3]^3+(1/40*lambda[6]*lambda[4]^2+3/80
*lambda[6]*lambda[5]*lambda[3]+9/160*lambda[4]*lambda[3]+3/160*lambda[6]^2*
lambda[2]-1/160*lambda[5]*lambda[2]-1/160*lambda[6]*lambda[1]+11/160*lambda[0]
)*v[6]^6*v[5]*v[4]^2*v[3]*v[2]^2+(-1/32*lambda[6]*lambda[4]^2+1/8*lambda[6]*
lambda[5]*lambda[3]+1/8*lambda[6]^2*lambda[2]+1/8*lambda[5]*lambda[2]+1/4*
lambda[6]*lambda[1]-1/8*lambda[0])*v[6]^4*v[5]*v[3]^4*v[1]+(-1/2927468544000*
lambda[6]^5*lambda[5]-1/1097800704000*lambda[6]^3*lambda[5]^2+367/
4940103168000*lambda[6]*lambda[5]^3+1/585493708800*lambda[6]^4*lambda[4]-229/
219560140800*lambda[6]^2*lambda[5]*lambda[4]+1103/182966784000*lambda[5]^2*
lambda[4]-1/1340416000*lambda[6]*lambda[4]^2-127/487911424000*lambda[6]^3*
lambda[3]+251/199600128000*lambda[6]*lambda[5]*lambda[3]+387/139403264000*
lambda[4]*lambda[3]-19/112594944000*lambda[6]^2*lambda[2]+137/32169984000*
lambda[5]*lambda[2]+13/8042496000*lambda[6]*lambda[1]+3/765952000*lambda[0])*v
[6]^18*v[4]*v[3]^3+(-3/5253674081976320000*lambda[6]^7+3/1313418520494080000*
lambda[6]^5*lambda[5]-1/804133788057600*lambda[6]^3*lambda[5]^2+1447/
265967250400051200*lambda[6]*lambda[5]^3-79/21014696327905280*lambda[6]^4*
lambda[4]+1231/147759583555584000*lambda[6]^2*lambda[5]*lambda[4]+1427/
211085119365120000*lambda[5]^2*lambda[4]-31/773205565440000*lambda[6]*lambda[4
]^2-56527/3940255561482240000*lambda[6]^3*lambda[3]+150379/2955191671111680000
*lambda[6]*lambda[5]*lambda[3]+181/16929132380160000*lambda[4]*lambda[3]+9797/
630440889837158400*lambda[6]^2*lambda[2]-40659/750524868853760000*lambda[5]*
lambda[2]-28669/321653515223040000*lambda[6]*lambda[1]-1/47420538880000*lambda
[0])*v[6]^24*v[3]*v[2]+(-3/1600*lambda[6]^4*lambda[4]-1/400*lambda[6]^2*lambda
[5]*lambda[4]-1/600*lambda[5]^2*lambda[4]-1/2400*lambda[6]*lambda[4]^2-3/800*
lambda[6]^3*lambda[3]-3/320*lambda[6]*lambda[5]*lambda[3]-7/1920*lambda[4]*
lambda[3]-19/1600*lambda[6]^2*lambda[2]-41/9600*lambda[5]*lambda[2]-59/3200*
lambda[6]*lambda[1]+1/640*lambda[0])*v[6]^6*v[5]^5*v[3]*v[2]^2+(1/80*lambda[6]
^3*lambda[3]-1/20*lambda[6]*lambda[5]*lambda[3]-1/40*lambda[4]*lambda[3]+3/80*
lambda[6]^2*lambda[2]-1/40*lambda[5]*lambda[2])*v[6]*v[5]^6*v[2]^3+(-1/160*
lambda[6]*lambda[1]-1/160*lambda[0])*v[6]^3*v[5]*v[4]^8+(1/7175168000*lambda[6
]^5*lambda[5]+1/2690688000*lambda[6]^3*lambda[5]^2+17/4843238400*lambda[6]*
lambda[5]^3+1/1435033600*lambda[6]^4*lambda[4]+1/896896000*lambda[6]^2*lambda[
5]*lambda[4]+17/4843238400*lambda[5]^2*lambda[4]+1/40360320*lambda[6]*lambda[4
]^2+383/7175168000*lambda[6]^3*lambda[3]-17/3228825600*lambda[6]*lambda[5]*
lambda[3]+1/72072000*lambda[4]*lambda[3]-13/551936000*lambda[6]^2*lambda[2]-1/
768768000*lambda[5]*lambda[2]-1/39424000*lambda[6]*lambda[1]+1/16896000*lambda
[0])*v[6]^15*v[5]^3*v[4]^4+(9/160*lambda[6]^2*lambda[2]-1/80*lambda[5]*lambda[
2]+3/160*lambda[6]*lambda[1]-11/160*lambda[0])*v[6]^5*v[5]^4*v[3]*v[2]*v[1]+(-\
1/80*lambda[4]*lambda[3]+3/80*lambda[5]*lambda[2]+1/20*lambda[6]*lambda[1]-3/
40*lambda[0])*v[6]^2*v[4]^5*v[3]^3+(-3/800*lambda[6]^3*lambda[5]^2-1/600*
lambda[6]*lambda[5]^3-27/1600*lambda[6]^4*lambda[4]-27/800*lambda[6]^2*lambda[
5]*lambda[4]-1/60*lambda[5]^2*lambda[4]-3/800*lambda[6]*lambda[4]^2+27/800*
lambda[6]^3*lambda[3]+81/1600*lambda[6]*lambda[5]*lambda[3]-33/1600*lambda[4]*
lambda[3]+27/400*lambda[6]^2*lambda[2]+33/1600*lambda[5]*lambda[2]-1/160*
lambda[6]*lambda[1]-1/160*lambda[0])*v[6]^5*v[5]^5*v[4]*v[3]^2*v[2]+(1/8960*
lambda[6]^3*lambda[3]+1/6720*lambda[6]*lambda[5]*lambda[3]-1/4480*lambda[4]*
lambda[3]+3/8960*lambda[6]^2*lambda[2]+1/2688*lambda[5]*lambda[2]-1/560*lambda
[6]*lambda[1])*v[6]^9*v[5]^2*v[2]^3+(-18987/40789395046400000*lambda[6]^7+
349907/71381441331200000*lambda[6]^5*lambda[5]+286123/107072161996800000*
lambda[6]^3*lambda[5]^2+55387/180684273369600000*lambda[6]*lambda[5]^3+4472449
/856577295974400000*lambda[6]^4*lambda[4]+55721/23361198981120000*lambda[6]^2*
lambda[5]*lambda[4]+353251/1927298915942400000*lambda[5]^2*lambda[4]+29329/
20557855103385600*lambda[6]*lambda[4]^2-413129/214144323993600000*lambda[6]^3*
lambda[3]-1008827/1713154591948800000*lambda[6]*lambda[5]*lambda[3]+184967/
293683644334080000*lambda[4]*lambda[3]-141917/12236818513920000*lambda[6]^2*
lambda[2]-293/493585956864000*lambda[5]*lambda[2]-71779/13984935444480000*
lambda[6]*lambda[1]-3/3013345280000*lambda[0])*v[6]^22*v[5]^5*v[3]+(-2949/
13661519872000*lambda[6]^7-123/68307599360*lambda[6]^5*lambda[5]-587/
602714112000*lambda[6]^3*lambda[5]^2-29/121977856000*lambda[6]*lambda[5]^3-\
39629/68307599360000*lambda[6]^4*lambda[4]+5777/10246139904000*lambda[6]^2*
lambda[5]*lambda[4]-10033/115269073920000*lambda[5]^2*lambda[4]+5141/
29274685440000*lambda[6]*lambda[4]^2-6353/68307599360000*lambda[6]^3*lambda[3]
+342341/409845596160000*lambda[6]*lambda[5]*lambda[3]+29951/351296225280000*
lambda[4]*lambda[3]-5503/13661519872000*lambda[6]^2*lambda[2]+9929/
70259245056000*lambda[5]*lambda[2]-7031/7806582784000*lambda[6]*lambda[1]-1/
5046272000*lambda[0])*v[6]^18*v[5]^7*v[3]+(-1/6*lambda[6]*lambda[4]^2-1/12*
lambda[6]*lambda[5]*lambda[3]-7/12*lambda[4]*lambda[3]+1/6*lambda[6]^2*lambda[
2]+5/12*lambda[5]*lambda[2]+11/6*lambda[6]*lambda[1]+7/6*lambda[0])*v[5]^3*v[3
]^3*v[2]^2+(1/4*lambda[4]*lambda[3]-1/4*lambda[5]*lambda[2]-1/2*lambda[6]*
lambda[1]-1/2*lambda[0])*v[6]^3*v[3]^2*v[2]^3+(-3/4879114240000*lambda[6]^4*
lambda[4]+1/304944640000*lambda[6]^2*lambda[5]*lambda[4]+37/2744501760000*
lambda[5]^2*lambda[4]-1/18670080000*lambda[6]*lambda[4]^2-9/2439557120000*
lambda[6]^3*lambda[3]+1/11088896000*lambda[6]*lambda[5]*lambda[3]-19/
37340160000*lambda[4]*lambda[3]+1/4874240000*lambda[6]^2*lambda[2]+1/
3015936000*lambda[5]*lambda[2]+13/20106240000*lambda[6]*lambda[1]-7/
11489280000*lambda[0])*v[6]^17*v[4]^5+(9/137984000*lambda[6]^7+3/4928000*
lambda[6]^5*lambda[5]-13/4312000*lambda[6]^3*lambda[5]^2-1/539000*lambda[6]*
lambda[5]^3+261/17248000*lambda[6]^4*lambda[4]+59/6468000*lambda[6]^2*lambda[5
]*lambda[4]-1/1617000*lambda[5]^2*lambda[4]+1/924000*lambda[6]*lambda[4]^2+229
/6899200*lambda[6]^3*lambda[3]+247/29568000*lambda[6]*lambda[5]*lambda[3]+13/
9856000*lambda[4]*lambda[3]+257/19712000*lambda[6]^2*lambda[2]+17/12936000*
lambda[5]*lambda[2]-53/6272000*lambda[6]*lambda[1]-1/492800*lambda[0])*v[6]^11
*v[5]^7*v[4]*v[2]+(-1/8*lambda[6]^2*lambda[5]*lambda[4]+1/6*lambda[6]*lambda[4
]^2+3/16*lambda[6]^3*lambda[3]+1/8*lambda[6]*lambda[5]*lambda[3]+13/48*lambda[
4]*lambda[3]+19/48*lambda[6]^2*lambda[2]+5/48*lambda[5]*lambda[2]+1/24*lambda[
0])*v[6]^4*v[5]^3*v[4]*v[3]^3*v[2]+(-3/92703170560000*lambda[6]^7+333/
8427560960000*lambda[6]^5*lambda[5]+44713/417164267520000*lambda[6]^3*lambda[5
]^2+7541/938619601920000*lambda[6]*lambda[5]^3+82487/202261463040000*lambda[6]
^4*lambda[4]+25321/158919720960000*lambda[6]^2*lambda[5]*lambda[4]-1103/
1251492802560000*lambda[5]^2*lambda[4]-108607/1668657070080000*lambda[6]*
lambda[4]^2+27753/134840975360000*lambda[6]^3*lambda[3]+11899/370812682240000*
lambda[6]*lambda[5]*lambda[3]-3431/60403875840000*lambda[4]*lambda[3]+343509/
1483250728960000*lambda[6]^2*lambda[2]+2173/272433807360000*lambda[5]*lambda[2
]+13081/37392875520000*lambda[6]*lambda[1]+307/2328494080000*lambda[0])*v[6]^
20*v[5]^4*v[4]*v[3]+(1/13440*lambda[6]^3*lambda[5]^2+1/10080*lambda[6]*lambda[
5]^3+3/8960*lambda[6]^4*lambda[4]+1/896*lambda[6]^2*lambda[5]*lambda[4]+1/
10080*lambda[5]^2*lambda[4]-13/4480*lambda[6]*lambda[4]^2-1/4480*lambda[6]^3*
lambda[3]-43/26880*lambda[6]*lambda[5]*lambda[3]+19/26880*lambda[4]*lambda[3]-\
1/2240*lambda[6]^2*lambda[2]-1/8960*lambda[5]*lambda[2]-3/896*lambda[6]*lambda
[1]-1/640*lambda[0])*v[6]^9*v[5]^3*v[4]*v[3]^2*v[2]+(13/24*lambda[6]*lambda[4]
^2+1/48*lambda[6]*lambda[5]*lambda[3]+31/48*lambda[4]*lambda[3]+1/24*lambda[6]
^2*lambda[2]+7/48*lambda[5]*lambda[2]+3/8*lambda[6]*lambda[1]+17/24*lambda[0])
*v[5]^3*v[4]^4*v[3]^3+(3/8*lambda[6]^2*lambda[5]*lambda[4]-5/24*lambda[6]*
lambda[4]^2+3/32*lambda[6]^3*lambda[3]+7/48*lambda[6]*lambda[5]*lambda[3]+11/
96*lambda[4]*lambda[3]+31/96*lambda[6]^2*lambda[2]-1/96*lambda[5]*lambda[2]-11
/48*lambda[0])*v[6]^2*v[5]^4*v[4]^3*v[3]^3+(-3/2240*lambda[6]^2*lambda[2]+11/
2688*lambda[5]*lambda[2]-1/896*lambda[6]*lambda[1]+3/640*lambda[0])*v[6]^8*v[3
]^2*v[2]*v[1]+(-1/12544000*lambda[6]^7-23/7526400*lambda[6]^5*lambda[5]+1/
1008000*lambda[6]^3*lambda[5]^2+1/2352000*lambda[6]*lambda[5]^3-89/3763200*
lambda[6]^4*lambda[4]-53/9408000*lambda[6]^2*lambda[5]*lambda[4]-1/7056000*
lambda[5]^2*lambda[4]-11/4704000*lambda[6]*lambda[4]^2-67/8601600*lambda[6]^3*
lambda[3]-13/5017600*lambda[6]*lambda[5]*lambda[3]-139/90316800*lambda[4]*
lambda[3]+997/60211200*lambda[6]^2*lambda[2]+1/2007040*lambda[5]*lambda[2]+121
/7526400*lambda[6]*lambda[1]+1/215040*lambda[0])*v[6]^9*v[5]^10*v[2]+(1/4*
lambda[6]*lambda[4]^2+1/2*lambda[4]*lambda[3]+1/2*lambda[6]^2*lambda[2]+1/4*
lambda[5]*lambda[2]+5/4*lambda[6]*lambda[1]+3/4*lambda[0])*v[6]^3*v[5]^2*v[4]*
v[3]^3*v[1]+(3/512512000*lambda[6]^4*lambda[4]+1/384384000*lambda[6]^2*lambda[
5]*lambda[4]+17/576576000*lambda[5]^2*lambda[4]-1/6006000*lambda[6]*lambda[4]^
2+9/256256000*lambda[6]^3*lambda[3]+3/11648000*lambda[6]*lambda[5]*lambda[3]+1
/24024000*lambda[4]*lambda[3]+101/118272000*lambda[6]^2*lambda[2]-1/25344000*
lambda[5]*lambda[2]-29/59136000*lambda[6]*lambda[1]-7/8448000*lambda[0])*v[6]^
13*v[5]^2*v[4]^5+(1/1793792000*lambda[6]^5*lambda[5]+1/672672000*lambda[6]^3*
lambda[5]^2+17/1210809600*lambda[6]*lambda[5]^3+1/358758400*lambda[6]^4*lambda
[4]+1/224224000*lambda[6]^2*lambda[5]*lambda[4]+17/1210809600*lambda[5]^2*
lambda[4]+1/10090080*lambda[6]*lambda[4]^2-23/56056000*lambda[6]^3*lambda[3]-\
61/252252000*lambda[6]*lambda[5]*lambda[3]+19/504504000*lambda[4]*lambda[3]-\
1017/896896000*lambda[6]^2*lambda[2]-17/144144000*lambda[5]*lambda[2]-1579/
1793792000*lambda[6]*lambda[1]-1/2816000*lambda[0])*v[6]^15*v[5]^3*v[3]*v[1]+(
-1/12812800*lambda[6]^3*lambda[5]^2+1/9609600*lambda[6]*lambda[5]^3-9/25625600
*lambda[6]^4*lambda[4]-1/2562560*lambda[6]^2*lambda[5]*lambda[4]-1/600600*
lambda[5]^2*lambda[4]-29/2562560*lambda[6]*lambda[4]^2-3/12812800*lambda[6]^3*
lambda[3]-37/25625600*lambda[6]*lambda[5]*lambda[3]-9/732160*lambda[4]*lambda[
3]+1/1281280*lambda[6]^2*lambda[2]+593/76876800*lambda[5]*lambda[2]+529/
12812800*lambda[6]*lambda[1]+23/1830400*lambda[0])*v[6]^13*v[5]*v[4]*v[3]^2*v[
2]+(-1/13440*lambda[6]^5*lambda[5]+1/5040*lambda[6]^3*lambda[5]^2+1/2520*
lambda[6]*lambda[5]^3-1/2688*lambda[6]^4*lambda[4]+1/1680*lambda[6]^2*lambda[5
]*lambda[4]+1/2520*lambda[5]^2*lambda[4]+1/630*lambda[6]*lambda[4]^2-1/210*
lambda[6]^3*lambda[3]-1/630*lambda[6]*lambda[5]*lambda[3]-1/630*lambda[4]*
lambda[3]-59/6720*lambda[6]^2*lambda[2]-1/1680*lambda[5]*lambda[2]-53/13440*
lambda[6]*lambda[1]+11/1920*lambda[0])*v[6]^3*v[5]^9*v[3]*v[1]+(-1/2*lambda[6]
*lambda[4]^2+3/4*lambda[6]*lambda[5]*lambda[3]-9/4*lambda[4]*lambda[3]+1/2*
lambda[6]^2*lambda[2]+1/4*lambda[5]*lambda[2]+3/2*lambda[6]*lambda[1]-1/2*
lambda[0])*v[6]*v[5]^3*v[4]^3*v[3]^2*v[2]+(43/8161011634819563520000000*lambda
[6]^7-133411/1830106859108287119360000000*lambda[6]^5*lambda[5]+72833/
274516028866243067904000000*lambda[6]^3*lambda[5]^2-14011/
88237294992720986112000000*lambda[6]*lambda[5]^3+182167/
1464085487286629695488000000*lambda[6]^4*lambda[4]-40151/
39216575552320438272000000*lambda[6]^2*lambda[5]*lambda[4]+2671/
4001691382889840640000000*lambda[5]^2*lambda[4]+41/78464536919408640000000*
lambda[6]*lambda[4]^2+12269/34859178268729278464000000*lambda[6]^3*lambda[3]-\
227/5093061760041615360000000*lambda[6]*lambda[5]*lambda[3]+1/
1823509402091520000000*lambda[4]*lambda[3]+401/884002830145290240000000*lambda
[6]^2*lambda[2]-13/2630960804003840000000*lambda[5]*lambda[2]+67/
15785764824023040000000*lambda[6]*lambda[1]+7/316506562887680000000*lambda[0])
*v[6]^33*v[4]+(-1/80*lambda[6]*lambda[4]^2-1/96*lambda[5]*lambda[2]-1/160*
lambda[6]*lambda[1]-11/160*lambda[0])*v[6]^6*v[5]*v[4]^2*v[3]^2*v[1]+(-3/4*
lambda[6]*lambda[1]-3/4*lambda[0])*v[6]^2*v[5]^2*v[4]*v[3]*v[1]^2+(41/1478400*
lambda[6]^5*lambda[5]-31/316800*lambda[6]^3*lambda[5]^2-29/554400*lambda[6]*
lambda[5]^3-587/3942400*lambda[6]^4*lambda[4]+29/236544*lambda[6]^2*lambda[5]*
lambda[4]+43/2217600*lambda[5]^2*lambda[4]+61/1267200*lambda[6]*lambda[4]^2-\
3389/23654400*lambda[6]^3*lambda[3]+2137/17740800*lambda[6]*lambda[5]*lambda[3
]+2119/70963200*lambda[4]*lambda[3]-317/430080*lambda[6]^2*lambda[2]-41/675840
*lambda[5]*lambda[2]-547/946176*lambda[6]*lambda[1]-23/135168*lambda[0])*v[6]^
4*v[5]^12*v[4]*v[3]+lambda[0]*v[4]*v[1]^3+(-3/1600*lambda[6]*lambda[4]^2-3/
22400*lambda[6]*lambda[5]*lambda[3]-67/22400*lambda[4]*lambda[3]-3/5600*lambda
[6]^2*lambda[2]-1/22400*lambda[5]*lambda[2]-23/11200*lambda[6]*lambda[1]-3/
1600*lambda[0])*v[6]^7*v[4]^5*v[3]^2+(-19/11038720*lambda[6]^2*lambda[2]-1/
23654400*lambda[5]*lambda[2]-19/11038720*lambda[6]*lambda[1]-1/1126400*lambda[
0])*v[6]^14*v[5]^4*v[4]*v[1]+(-3/1951645696000*lambda[6]^7-3/487911424000*
lambda[6]^5*lambda[5]+311/274450176000*lambda[6]^3*lambda[5]^2+31/35286451200*
lambda[6]*lambda[5]^3+9907/2927468544000*lambda[6]^4*lambda[4]+653/
121977856000*lambda[6]^2*lambda[5]*lambda[4]+53/149700096000*lambda[5]^2*
lambda[4]+349/175648112640*lambda[6]*lambda[4]^2+541/97582284800*lambda[6]^3*
lambda[3]-47/975822848000*lambda[6]*lambda[5]*lambda[3]+26591/17564811264000*
lambda[4]*lambda[3]+1/3620864000*lambda[6]^2*lambda[2]-613/501851750400*lambda
[5]*lambda[2]-233/76038144000*lambda[6]*lambda[1]+1/612761600*lambda[0])*v[6]^
18*v[5]^3*v[4]^2*v[3]+(-1/17920*lambda[6]^7-5/10752*lambda[6]^5*lambda[5]-41/
16128*lambda[6]^3*lambda[5]^2+1/2880*lambda[6]*lambda[5]^3-1/3072*lambda[6]^4*
lambda[4]+41/26880*lambda[6]^2*lambda[5]*lambda[4]-11/20160*lambda[5]^2*lambda
[4]-19/161280*lambda[6]*lambda[4]^2+3/17920*lambda[6]^3*lambda[3]-463/322560*
lambda[6]*lambda[5]*lambda[3]-97/322560*lambda[4]*lambda[3]-31/26880*lambda[6]
^2*lambda[2]+47/35840*lambda[5]*lambda[2]+5/3584*lambda[6]*lambda[1]+1/1536*
lambda[0])*v[6]^4*v[5]^9*v[3]^3+(1/1971200*lambda[6]^3*lambda[5]^2-1/1478400*
lambda[6]*lambda[5]^3+1/3942400*lambda[6]^4*lambda[4]+3/394240*lambda[6]^2*
lambda[5]*lambda[4]+43/2217600*lambda[5]^2*lambda[4]-1/107520*lambda[6]*lambda
[4]^2+9/3942400*lambda[6]^3*lambda[3]-17/1689600*lambda[6]*lambda[5]*lambda[3]
+53/2365440*lambda[4]*lambda[3]+1/215040*lambda[6]^2*lambda[2]-299/11827200*
lambda[5]*lambda[2]-79/5913600*lambda[6]*lambda[1]-1/281600*lambda[0])*v[6]^12
*v[5]*v[4]^2*v[3]^3+(3/16*lambda[4]*lambda[3]-1/16*lambda[5]*lambda[2]-1/16*
lambda[6]*lambda[1]-3/16*lambda[0])*v[6]^4*v[4]^3*v[3]*v[2]^2+(-3/4480*lambda[
6]^2*lambda[5]*lambda[4]-1/3360*lambda[5]^2*lambda[4]-3/2240*lambda[6]*lambda[
4]^2-1/280*lambda[4]*lambda[3]-3/4480*lambda[6]^2*lambda[2]-31/5376*lambda[5]*
lambda[2]-93/8960*lambda[6]*lambda[1]-11/1280*lambda[0])*v[6]^8*v[5]^2*v[4]*v[
3]^2*v[1]+(3/25625600*lambda[6]^4*lambda[4]+1/19219200*lambda[6]^2*lambda[5]*
lambda[4]+17/28828800*lambda[5]^2*lambda[4]-1/300300*lambda[6]*lambda[4]^2-1/
343200*lambda[4]*lambda[3]-9/985600*lambda[6]^2*lambda[2]-1/211200*lambda[5]*
lambda[2]-9/492800*lambda[6]*lambda[1]-1/281600*lambda[0])*v[6]^13*v[5]^2*v[4]
*v[3]*v[1]+(-47/2240*lambda[6]^2*lambda[2]-1/280*lambda[5]*lambda[2]-1/35*
lambda[6]*lambda[1]+1/320*lambda[0])*v[6]^2*v[5]^8*v[2]*v[1]+(1/9270317056000*
lambda[6]^5*lambda[5]-1/3476368896000*lambda[6]^3*lambda[5]^2-1/106419456000*
lambda[6]*lambda[5]^3+1/1854063411200*lambda[6]^4*lambda[4]-1/1158789632000*
lambda[6]^2*lambda[5]*lambda[4]-1/106419456000*lambda[5]^2*lambda[4]+11/
39504192000*lambda[6]*lambda[4]^2-1073/9270317056000*lambda[6]^3*lambda[3]+157
/2317579264000*lambda[6]*lambda[5]*lambda[3]+59/248312064000*lambda[4]*lambda[
3]+1123/1854063411200*lambda[6]^2*lambda[2]-121/632067072000*lambda[5]*lambda[
2]-9/38950912000*lambda[6]*lambda[1]+3/5564416000*lambda[0])*v[6]^19*v[5]*v[2]
^2+(1107/102502400*lambda[6]^3*lambda[3]-57/25625600*lambda[6]*lambda[5]*
lambda[3]-23/20500480*lambda[4]*lambda[3]+1107/102502400*lambda[6]^2*lambda[2]
-113/307507200*lambda[5]*lambda[2]+27/5125120*lambda[6]*lambda[1]-3/1830400*
lambda[0])*v[6]^13*v[5]^4*v[4]^2*v[2]+(1/48*lambda[6]*lambda[5]^3+3/16*lambda[
6]^2*lambda[5]*lambda[4]+1/48*lambda[5]^2*lambda[4]+35/48*lambda[6]*lambda[4]^
2+1/8*lambda[6]*lambda[5]*lambda[3]+1/12*lambda[4]*lambda[3]-1/6*lambda[6]^2*
lambda[2]-1/12*lambda[5]*lambda[2]-3/8*lambda[6]*lambda[1]-5/24*lambda[0])*v[6
]^3*v[5]^3*v[4]^2*v[3]^4+(1/80*lambda[6]*lambda[1]+1/16*lambda[0])*v[6]^6*v[4]
*v[3]*v[1]^2+(9/40*lambda[5]^2*lambda[4]+93/80*lambda[6]*lambda[4]^2+3/40*
lambda[6]*lambda[5]*lambda[3]+7/10*lambda[4]*lambda[3]-3/20*lambda[6]^2*lambda
[2]+3/40*lambda[5]*lambda[2]-1/20*lambda[6]*lambda[1]+3/5*lambda[0])*v[6]^2*v[
5]*v[4]^2*v[3]^5+(1/2*lambda[6]*lambda[1]-1/2*lambda[0])*v[6]^3*v[5]*v[3]*v[2]
^2*v[1]+(-3/16*lambda[6]^2*lambda[2]-1/2*lambda[6]*lambda[1]-3/8*lambda[0])*v[
6]^2*v[5]^4*v[4]^2*v[2]*v[1]+(-9/2240*lambda[6]^4*lambda[4]+1/70*lambda[6]^2*
lambda[5]*lambda[4]+1/140*lambda[5]^2*lambda[4]+23/1120*lambda[6]*lambda[4]^2+
3/320*lambda[6]*lambda[5]*lambda[3]+19/4480*lambda[4]*lambda[3]+97/6720*lambda
[6]^2*lambda[2]+33/4480*lambda[5]*lambda[2]+31/2688*lambda[6]*lambda[1]-1/128*
lambda[0])*v[6]^2*v[5]^7*v[4]^4*v[3]+(19/2240*lambda[6]^2*lambda[2]-3/1120*
lambda[5]*lambda[2]-3/1120*lambda[6]*lambda[1]-3/320*lambda[0])*v[6]^4*v[5]^7*
v[4]^2*v[1]+(-3/243955712000*lambda[6]^4*lambda[4]+1/15247232000*lambda[6]^2*
lambda[5]*lambda[4]+37/137225088000*lambda[5]^2*lambda[4]-1/933504000*lambda[6
]*lambda[4]^2+1/233376000*lambda[4]*lambda[3]-29/9382912000*lambda[6]^2*lambda
[2]+1/50265600*lambda[5]*lambda[2]+9/938291200*lambda[6]*lambda[1]+7/382976000
*lambda[0])*v[6]^17*v[4]*v[3]*v[1]+(-3/179200*lambda[6]^4*lambda[4]-1/22400*
lambda[6]^2*lambda[5]*lambda[4]+13/89600*lambda[6]*lambda[4]^2-1/44800*lambda[
6]^3*lambda[3]+13/537600*lambda[6]*lambda[5]*lambda[3]+23/215040*lambda[4]*
lambda[3]-1/537600*lambda[6]^2*lambda[2]+29/460800*lambda[5]*lambda[2]+27/
358400*lambda[6]*lambda[1]+11/153600*lambda[0])*v[6]^10*v[5]^3*v[4]^4*v[3]+(1/
16*lambda[6]^2*lambda[2]-1/4*lambda[0])*v[6]*v[5]^4*v[4]^3*v[2]^2+(1/2*lambda[
5]*lambda[2]+3/2*lambda[6]*lambda[1]+9/2*lambda[0])*v[4]^2*v[3]^2*v[2]*v[1]+(3
/1600*lambda[6]^4*lambda[4]+1/400*lambda[6]^2*lambda[5]*lambda[4]+1/600*lambda
[5]^2*lambda[4]-1/150*lambda[6]*lambda[4]^2-1/150*lambda[4]*lambda[3]-1/800*
lambda[6]^2*lambda[2]-3/400*lambda[5]*lambda[2]-13/400*lambda[6]*lambda[1]-27/
1600*lambda[0])*v[6]^5*v[5]^6*v[4]*v[3]*v[1]+(1/4*lambda[4]*lambda[3]+1/4*
lambda[5]*lambda[2]+lambda[6]*lambda[1]+3/2*lambda[0])*v[6]^2*v[4]*v[3]^3*v[2]
^2+(9/2240*lambda[6]^3*lambda[3]+3/560*lambda[6]*lambda[5]*lambda[3]+1/280*
lambda[4]*lambda[3]+3/2240*lambda[6]^2*lambda[2]+1/560*lambda[5]*lambda[2]+1/
56*lambda[6]*lambda[1]+1/80*lambda[0])*v[6]^7*v[5]^3*v[4]^2*v[2]^2+(-3/89600*
lambda[6]^4*lambda[4]+1/44800*lambda[6]^2*lambda[5]*lambda[4]-17/67200*lambda[
5]^2*lambda[4]-1/4480*lambda[6]*lambda[4]^2-1/12800*lambda[6]^3*lambda[3]-121/
268800*lambda[6]*lambda[5]*lambda[3]-17/89600*lambda[4]*lambda[3]+53/89600*
lambda[6]^2*lambda[2]-61/268800*lambda[5]*lambda[2]-3/44800*lambda[6]*lambda[1
]+1/6400*lambda[0])*v[6]^10*v[5]^2*v[3]^3*v[2]+(-9/358400*lambda[6]^5*lambda[5
]-1/8960*lambda[6]^3*lambda[5]^2+1/33600*lambda[6]*lambda[5]^3-11/71680*lambda
[6]^4*lambda[4]+89/134400*lambda[6]^2*lambda[5]*lambda[4]+1/4800*lambda[5]^2*
lambda[4]+43/134400*lambda[6]*lambda[4]^2-1/8960*lambda[6]^3*lambda[3]+61/
268800*lambda[6]*lambda[5]*lambda[3]-139/1075200*lambda[4]*lambda[3]+109/89600
*lambda[6]^2*lambda[2]+143/1075200*lambda[5]*lambda[2]+43/35840*lambda[6]*
lambda[1]+1/5120*lambda[0])*v[6]^9*v[5]^5*v[4]^2*v[3]^2+(-7/160*lambda[6]*
lambda[4]^2-1/320*lambda[6]*lambda[5]*lambda[3]-9/640*lambda[4]*lambda[3]-1/
320*lambda[6]^2*lambda[2]+7/1920*lambda[5]*lambda[2]-1/64*lambda[6]*lambda[1]-\
1/320*lambda[0])*v[6]^5*v[5]^3*v[4]^4*v[3]^2+(1/120*lambda[5]*lambda[2]+1/40*
lambda[6]*lambda[1]+1/40*lambda[0])*v[6]^6*v[4]*v[2]^2*v[1]+(-3/3587584000*
lambda[6]^5*lambda[5]-1/448448000*lambda[6]^3*lambda[5]^2-17/807206400*lambda[
6]*lambda[5]^3-3/326144000*lambda[6]^4*lambda[4]-37/51744000*lambda[6]^2*
lambda[5]*lambda[4]-761/4036032000*lambda[5]^2*lambda[4]-13/103488000*lambda[6
]*lambda[4]^2+3/224224000*lambda[6]^3*lambda[3]-761/896896000*lambda[6]*lambda
[5]*lambda[3]-757/10762752000*lambda[4]*lambda[3]-3/7175168*lambda[6]^2*lambda
[2]-93/275968000*lambda[5]*lambda[2]-179/256256000*lambda[6]*lambda[1]+1/
3328000*lambda[0])*v[6]^15*v[5]^2*v[3]^2*v[2]+(269/37531648000*lambda[6]^2*
lambda[2]+1/5361664000*lambda[5]*lambda[2]+269/37531648000*lambda[6]*lambda[1]
+3/765952000*lambda[0])*v[6]^18*v[5]^2*v[4]*v[1]+(9/80*lambda[6]^3*lambda[3]+1
/20*lambda[6]*lambda[5]*lambda[3]+27/80*lambda[4]*lambda[3]+19/80*lambda[6]^2*
lambda[2]+9/80*lambda[5]*lambda[2]+7/16*lambda[6]*lambda[1]+5/16*lambda[0])*v[
6]^2*v[5]^5*v[4]^3*v[3]*v[2]+(9/320*lambda[6]^4*lambda[4]+3/80*lambda[6]^2*
lambda[5]*lambda[4]+1/40*lambda[5]^2*lambda[4]+19/160*lambda[6]*lambda[4]^2+3/
80*lambda[6]^3*lambda[3]+31/960*lambda[6]*lambda[5]*lambda[3]+37/960*lambda[4]
*lambda[3]+23/480*lambda[6]^2*lambda[2]+31/960*lambda[5]*lambda[2]+1/96*lambda
[6]*lambda[1]+1/32*lambda[0])*v[6]^3*v[5]^6*v[4]^3*v[3]^2+(-1/2*lambda[5]^2*
lambda[4]-3/2*lambda[6]*lambda[4]^2+3/8*lambda[6]*lambda[5]*lambda[3]+3/8*
lambda[4]*lambda[3]-3/8*lambda[5]*lambda[2]-5/4*lambda[6]*lambda[1]-9/4*lambda
[0])*v[6]^2*v[5]^2*v[4]^2*v[3]^3*v[2]+(3/627200*lambda[6]^5*lambda[5]+1/78400*
lambda[6]^3*lambda[5]^2+1/47040*lambda[6]*lambda[5]^3+3/125440*lambda[6]^4*
lambda[4]+3/78400*lambda[6]^2*lambda[5]*lambda[4]+1/47040*lambda[5]^2*lambda[4
]+1/7350*lambda[6]*lambda[4]^2+141/627200*lambda[6]^3*lambda[3]-29/470400*
lambda[6]*lambda[5]*lambda[3]+1/16800*lambda[4]*lambda[3]-59/627200*lambda[6]^
2*lambda[2]-13/470400*lambda[5]*lambda[2]-11/37632*lambda[6]*lambda[1]-1/8960*
lambda[0])*v[6]^7*v[5]^7*v[4]^4+(3/358400*lambda[6]^7+1/17920*lambda[6]^5*
lambda[5]+71/201600*lambda[6]^3*lambda[5]^2-1/16800*lambda[6]*lambda[5]^3+59/
76800*lambda[6]^4*lambda[4]-31/33600*lambda[6]^2*lambda[5]*lambda[4]-1/25200*
lambda[5]^2*lambda[4]-103/268800*lambda[6]*lambda[4]^2-1/268800*lambda[6]^3*
lambda[3]-47/107520*lambda[6]*lambda[5]*lambda[3]-83/645120*lambda[4]*lambda[3
]-1177/1075200*lambda[6]^2*lambda[2]-1/153600*lambda[5]*lambda[2]-23/43008*
lambda[6]*lambda[1]+7/30720*lambda[0])*v[6]^6*v[5]^9*v[4]^2*v[3];