C28 := (-3/2240*lambda[6]^4+1/210*lambda[6]^2*lambda[5]+1/420*lambda[5]^2-1/84
*lambda[6]*lambda[4]-1/105*lambda[3])*v[6]*v[5]^8*v[1]+(-1/40*lambda[6]^4-13/
240*lambda[6]^2*lambda[5]-1/120*lambda[5]^2+1/240*lambda[6]*lambda[4]+1/120*
lambda[3])*v[6]*v[5]^6*v[3]^3+1/2*lambda[3]*v[6]^2*v[3]^3*v[1]+(3/89600*lambda
[6]^2*lambda[5]-1/11200*lambda[5]^2+9/44800*lambda[6]*lambda[4]-1/11200*lambda
[3])*v[6]^10*v[4]^2*v[3]^2+(1/6400*lambda[6]^4-11/16800*lambda[6]^2*lambda[5]+
1/8400*lambda[5]^2+1/13440*lambda[6]*lambda[4]-17/26880*lambda[3])*v[6]^2*v[5]
^11*v[4]+(-3/17920*lambda[6]^2*lambda[5]-1/13440*lambda[5]^2-3/8960*lambda[6]*
lambda[4]+1/5120*lambda[3])*v[6]^8*v[5]^2*v[4]^4+(1/128*lambda[6]^2*lambda[5]+
1/64*lambda[6]*lambda[4]+3/256*lambda[3])*v[6]^4*v[5]^4*v[4]^4+3/6400*lambda[3
]*v[6]^10*v[5]*v[4]^2*v[2]+(-3/12812800*lambda[6]^4-1/9609600*lambda[6]^2*
lambda[5]-17/14414400*lambda[5]^2-29/3843840*lambda[6]*lambda[4]-41/7687680*
lambda[3])*v[6]^13*v[5]*v[3]*v[2]+(-9/4480*lambda[6]^4-3/560*lambda[6]^2*
lambda[5]+27/2240*lambda[6]*lambda[4]+3/896*lambda[3])*v[6]^7*v[5]^4*v[4]^2*v[
3]+(1/120*lambda[6]^2*lambda[5]-1/30*lambda[5]^2+1/60*lambda[6]*lambda[4]-13/
240*lambda[3])*v[5]^6*v[2]^2+(3/8*lambda[6]*lambda[4]+1/16*lambda[3])*v[6]^3*v
[5]^2*v[4]^4*v[3]+(-1/480*lambda[6]^2*lambda[5]+1/120*lambda[5]^2-1/240*lambda
[6]*lambda[4]+13/960*lambda[3])*v[5]^6*v[4]^4+(-1/6400*lambda[6]^4+9/11200*
lambda[6]^2*lambda[5]-1/1400*lambda[5]^2-1/1120*lambda[6]*lambda[4]+13/8960*
lambda[3])*v[5]^10*v[4]^2+(-3/1971200*lambda[6]^4-1/1478400*lambda[6]^2*lambda
[5]-17/2217600*lambda[5]^2+1/23100*lambda[6]*lambda[4]+1/168960*lambda[3])*v[6
]^12*v[5]^2*v[4]*v[2]+(1/8*lambda[5]^2+3/2*lambda[6]*lambda[4]+1/2*lambda[3])*
v[6]^2*v[5]*v[4]*v[3]^4+(1/12812800*lambda[6]^4-31/76876800*lambda[6]^2*lambda
[5]-41/23063040*lambda[5]^2-1/3075072*lambda[6]*lambda[4]+1/7687680*lambda[3])
*v[6]^13*v[3]^3+(1/120*lambda[5]^2+3/80*lambda[6]*lambda[4]+1/20*lambda[3])*v[
6]^6*v[4]*v[3]^2*v[2]+(-1/560*lambda[6]*lambda[4]+1/280*lambda[3])*v[6]^7*v[3]
^2*v[1]+(-1/120*lambda[6]^2*lambda[5]+1/30*lambda[5]^2-1/60*lambda[6]*lambda[4
]-2/15*lambda[3])*v[5]^6*v[3]*v[1]+(1/2956800*lambda[6]^2*lambda[5]-1/1108800*
lambda[5]^2+1/1478400*lambda[6]*lambda[4]-1/92400*lambda[3])*v[6]^12*v[3]*v[1]
-3/20*lambda[3]*v[4]^5*v[2]+(3/280*lambda[6]^2*lambda[5]+1/210*lambda[5]^2+3/
140*lambda[6]*lambda[4]-1/112*lambda[3])*v[6]^7*v[5]^2*v[4]*v[3]*v[2]-1/40*
lambda[6]*lambda[4]*v[6]^6*v[5]*v[4]*v[3]*v[1]+2*lambda[3]*v[6]*v[4]*v[3]^3*v[
2]+(-1/8*lambda[6]^2*lambda[5]+1/32*lambda[5]^2+1/8*lambda[6]*lambda[4]-1/8*
lambda[3])*v[5]^4*v[3]^4+3/16*lambda[3]*v[6]^2*v[5]^5*v[4]^2*v[2]+(-1/2956800*
lambda[6]^2*lambda[5]+1/1108800*lambda[5]^2-1/1478400*lambda[6]*lambda[4]-1/
168960*lambda[3])*v[6]^12*v[2]^2+3/20*lambda[3]*v[6]*v[5]*v[4]^5*v[3]+(-1/1120
*lambda[6]*lambda[4]-1/4480*lambda[3])*v[6]^9*v[5]*v[4]^3*v[3]+(3/280*lambda[6
]^4-4/105*lambda[6]^2*lambda[5]-2/105*lambda[5]^2-23/420*lambda[6]*lambda[4]+1
/840*lambda[3])*v[6]*v[5]^7*v[3]*v[2]+(1/487911424000*lambda[6]^4-1121/
1463734272000*lambda[6]^2*lambda[5]+1019/274450176000*lambda[5]^2-1/1900953600
*lambda[6]*lambda[4]+1/475238400*lambda[3])*v[6]^18*v[3]^2+(-25999/
553018324418560000*lambda[6]^4+106921/829527486627840000*lambda[6]^2*lambda[5]
+1009/29625981665280000*lambda[5]^2-2511/19750654443520000*lambda[6]*lambda[4]
-167/1612298321920000*lambda[3])*v[6]^24*v[5]^2+(-1033/34563645276160000*
lambda[6]^4+29/405042718080000*lambda[6]^2*lambda[5]+277/2777435781120000*
lambda[5]^2-43/211614154752000*lambda[6]*lambda[4]+47/423228309504000*lambda[3
])*v[6]^23*v[3]+(1537/883097600*lambda[6]^4-163/6623232000*lambda[6]^2*lambda[
5]-79/1241856000*lambda[5]^2+31/220774400*lambda[6]*lambda[4]+367/1892352000*
lambda[3])*v[6]^12*v[5]^8+(6609/7175168000*lambda[6]^4-3/10192000*lambda[6]^2*
lambda[5]-47/2018016000*lambda[5]^2-4373/10762752000*lambda[6]*lambda[4]+1/
87859200*lambda[3])*v[6]^14*v[5]^5*v[4]+(701/12544000*lambda[6]^4+173/4704000*
lambda[6]^2*lambda[5]+1/2352000*lambda[5]^2+11/3763200*lambda[6]*lambda[4]-1/
5376000*lambda[3])*v[6]^10*v[5]^7*v[4]+(3/358758400*lambda[6]^4-43/13977600*
lambda[6]^2*lambda[5]-1843/1614412800*lambda[5]^2-479/538137600*lambda[6]*
lambda[4]+23/76876800*lambda[3])*v[6]^14*v[5]^2*v[3]^2+(9/3200*lambda[6]^4-7/
3200*lambda[6]^2*lambda[5]-3/1600*lambda[5]^2-1/960*lambda[6]*lambda[4]+1/4800
*lambda[3])*v[6]^6*v[5]^6*v[3]^2+(-761/19712000*lambda[6]^4+41/1478400*lambda[
6]^2*lambda[5]+1/462000*lambda[5]^2-139/29568000*lambda[6]*lambda[4]-389/
59136000*lambda[3])*v[6]^11*v[5]^6*v[3]+(-561/1254400*lambda[6]^4-51/39200*
lambda[6]^2*lambda[5]-1/78400*lambda[5]^2+17/1881600*lambda[6]*lambda[4]-11/
537600*lambda[3])*v[6]^7*v[5]^8*v[3]+(-59/44800*lambda[6]^4-23/16800*lambda[6]
^2*lambda[5]-1/4200*lambda[5]^2-1/2688*lambda[6]*lambda[4]+13/26880*lambda[3])
*v[6]^3*v[5]^10*v[3]+1/80*lambda[3]*v[5]^2*v[4]^6+(-6653/100352000*lambda[6]^4
-1109/150528000*lambda[6]^2*lambda[5]-23/37632000*lambda[5]^2+19/15052800*
lambda[6]*lambda[4]+13/8601600*lambda[3])*v[6]^8*v[5]^10+(-1/35840*lambda[6]^4
-403/537600*lambda[6]^2*lambda[5]+1/44800*lambda[5]^2-19/268800*lambda[6]*
lambda[4]+1/44800*lambda[3])*v[6]^10*v[5]^4*v[3]^2+(3/358758400*lambda[6]^4+1/
269068800*lambda[6]^2*lambda[5]+17/403603200*lambda[5]^2+29/107627520*lambda[6
]*lambda[4]+1/21964800*lambda[3])*v[6]^14*v[5]*v[4]^3+(-1/800*lambda[6]*lambda
[4]-3/1600*lambda[3])*v[6]^6*v[5]*v[4]^5+(-9897/229605376000*lambda[6]^4-293/
26492928000*lambda[6]^2*lambda[5]-199/258306048000*lambda[5]^2+5279/
861020160000*lambda[6]*lambda[4]+151/70287360000*lambda[3])*v[6]^16*v[5]^6+(-1
/8*lambda[5]^2+3/2*lambda[6]*lambda[4]+1/2*lambda[3])*v[4]^2*v[3]^4+(-1/123200
*lambda[6]^2*lambda[5]+1/46200*lambda[5]^2-1/61600*lambda[6]*lambda[4]+1/22400
*lambda[3])*v[6]^11*v[4]*v[3]*v[2]+(-43/716800*lambda[6]^4-19/1075200*lambda[6
]^2*lambda[5]+1/134400*lambda[5]^2-1/35840*lambda[6]*lambda[4]-11/430080*
lambda[3])*v[6]^4*v[5]^12+(-1/19516456960000*lambda[6]^4+89/14637342720000*
lambda[6]^2*lambda[5]-29/1568286720000*lambda[5]^2+1/1045524480000*lambda[6]*
lambda[4]+61/1194885120000*lambda[3])*v[6]^20*v[4]^2+(-3/243955712000*lambda[6
]^4+1/15247232000*lambda[6]^2*lambda[5]+37/137225088000*lambda[5]^2-1/
933504000*lambda[6]*lambda[4]+1/233376000*lambda[3])*v[6]^17*v[1]+(1/2*lambda[
6]*lambda[4]+1/8*lambda[3])*v[6]*v[5]^5*v[4]^3*v[3]+lambda[3]*v[4]*v[2]^3+(-1/
4480*lambda[6]^4-1/5376*lambda[6]^2*lambda[5]-17/13440*lambda[5]^2-1/1792*
lambda[6]*lambda[4]-1/4480*lambda[3])*v[6]^9*v[5]^2*v[3]^3+(3/160*lambda[6]^4+
59/960*lambda[6]^2*lambda[5]+1/160*lambda[5]^2+1/192*lambda[6]*lambda[4]+1/160
*lambda[3])*v[6]^5*v[5]^4*v[3]^3+(3/2240*lambda[6]^4-1/210*lambda[6]^2*lambda[
5]-1/420*lambda[5]^2+1/84*lambda[6]*lambda[4]-251/6720*lambda[3])*v[5]^8*v[4]*
v[2]+(-1/2*lambda[6]*lambda[4]-1/4*lambda[3])*v[6]^3*v[5]^2*v[3]*v[2]^2+(-
lambda[6]*lambda[4]-3/2*lambda[3])*v[6]*v[5]^3*v[4]^2*v[3]*v[2]+(-3/4480*
lambda[6]^2*lambda[5]-1/3360*lambda[5]^2-3/2240*lambda[6]*lambda[4]-1/280*
lambda[3])*v[6]^8*v[5]^2*v[3]*v[1]+(1/4*lambda[6]*lambda[4]+1/2*lambda[3])*v[6
]^3*v[5]^2*v[3]^2*v[1]+(-1/20*lambda[6]*lambda[4]-1/80*lambda[3])*v[6]^5*v[5]^
3*v[4]^3*v[3]+(1/40*lambda[6]*lambda[4]+3/80*lambda[3])*v[6]^6*v[5]*v[4]*v[2]^
2+(3/11200*lambda[6]^4+1/100*lambda[6]^2*lambda[5]-11/4200*lambda[5]^2-73/4200
*lambda[6]*lambda[4]+1/33600*lambda[3])*v[6]^5*v[5]^7*v[4]*v[3]+(-3/
18765824000*lambda[6]^4+281/30494464000*lambda[6]^2*lambda[5]+53/12475008000*
lambda[5]^2+5407/91483392000*lambda[6]*lambda[4]+877/104552448000*lambda[3])*v
[6]^17*v[5]*v[4]*v[3]+(9/17920*lambda[6]^4+3/2240*lambda[6]^2*lambda[5]+3/1120
*lambda[6]*lambda[4]+3/2560*lambda[3])*v[6]^8*v[5]^4*v[4]*v[2]+(9/985600*
lambda[6]^4+1/246400*lambda[6]^2*lambda[5]+17/369600*lambda[5]^2+109/492800*
lambda[6]*lambda[4]-1/89600*lambda[3])*v[6]^11*v[5]^2*v[4]^2*v[3]+(-9/800*
lambda[6]^4-3/200*lambda[6]^2*lambda[5]-1/100*lambda[5]^2-1/400*lambda[6]*
lambda[4]-1/160*lambda[3])*v[6]^5*v[5]^5*v[3]*v[2]+1/2*lambda[6]*lambda[4]*v[6
]^3*v[5]*v[3]^3*v[2]+(23/5913600*lambda[6]^2*lambda[5]+53/4435200*lambda[5]^2-\
167/5913600*lambda[6]*lambda[4]+31/2956800*lambda[3])*v[6]^12*v[5]*v[4]*v[3]^2
+(1/12*lambda[6]^2*lambda[5]+5/6*lambda[6]*lambda[4])*v[6]^3*v[5]^3*v[4]*v[3]^
3+3/8*lambda[3]*v[6]^2*v[5]*v[4]^4*v[2]+(3/20*lambda[6]*lambda[4]-3/40*lambda[
3])*v[6]^5*v[5]*v[4]^2*v[3]*v[2]+(3/4*lambda[6]*lambda[4]+1/2*lambda[3])*v[5]^
3*v[4]^3*v[3]^2+(-3/1793792000*lambda[6]^4+1/112112000*lambda[6]^2*lambda[5]+
37/1009008000*lambda[5]^2+61/384384000*lambda[6]*lambda[4]+97/768768000*lambda
[3])*v[6]^15*v[4]^2*v[3]+(9/25625600*lambda[6]^4+1/92400*lambda[6]^2*lambda[5]
-17/28828800*lambda[5]^2-29/3203200*lambda[6]*lambda[4]-41/15375360*lambda[3])
*v[6]^13*v[5]^3*v[4]*v[3]+(1/2240*lambda[6]^4-1/840*lambda[6]^2*lambda[5]-1/
420*lambda[5]^2-17/840*lambda[6]*lambda[4]+19/6720*lambda[3])*v[6]*v[5]^9*v[4]
*v[3]+(1/4480*lambda[6]^4+1/1680*lambda[6]^2*lambda[5]-13/6720*lambda[6]*
lambda[4]+1/4480*lambda[3])*v[6]^9*v[5]^3*v[3]*v[2]+(-1/560*lambda[6]^2*lambda
[5]-1/420*lambda[5]^2+1/280*lambda[6]*lambda[4]-1/140*lambda[3])*v[6]^7*v[5]*v
[4]*v[3]^3+3/160*lambda[3]*v[6]^6*v[5]^3*v[4]^2*v[2]+(1/40*lambda[6]^2*lambda[
5]-1/10*lambda[5]^2-1/4*lambda[6]*lambda[4]+1/4*lambda[3])*v[5]^5*v[3]^2*v[2]+
(-1/2*lambda[6]*lambda[4]-3/4*lambda[3])*v[6]^2*v[5]^3*v[4]*v[2]^2+(-9/16*
lambda[6]*lambda[4]-1/8*lambda[3])*v[6]^4*v[5]*v[4]^3*v[3]^2+(431/
77422565418598400000*lambda[6]^4-431/16590549732556800000*lambda[6]^2*lambda[5
]+1/55548715622400000*lambda[5]^2+1/33858264760320000*lambda[6]*lambda[4]-1/
19347579863040000*lambda[3])*v[6]^28+(-1/1254400*lambda[6]^4+1/268800*lambda[6
]^2*lambda[5]-1/470400*lambda[5]^2-1/188160*lambda[6]*lambda[4]+1/107520*
lambda[3])*v[5]^14+(-9/320*lambda[6]^2*lambda[5]-1/80*lambda[5]^2-11/160*
lambda[6]*lambda[4]-1/80*lambda[3])*v[6]^6*v[5]^2*v[4]^2*v[3]^2-1/16*lambda[3]
*v[6]^4*v[5]^2*v[4]^3*v[2]+(-3/1120*lambda[6]*lambda[4]-1/448*lambda[3])*v[6]^
7*v[4]^4*v[3]+(-3/4480*lambda[6]^2*lambda[5]+89/53760*lambda[5]^2-1/896*lambda
[6]*lambda[4]+1/896*lambda[3])*v[6]^8*v[3]^4+(9/32*lambda[6]^2*lambda[5]-5/16*
lambda[6]*lambda[4])*v[6]^2*v[5]^4*v[4]^2*v[3]^2+(3/14350336000*lambda[6]^4-1/
896896000*lambda[6]^2*lambda[5]-37/8072064000*lambda[5]^2+1/54912000*lambda[6]
*lambda[4]+53/878592000*lambda[3])*v[6]^16*v[4]*v[2]+(1/896*lambda[6]^4-1/240*
lambda[6]^2*lambda[5]-1/840*lambda[5]^2-1/210*lambda[6]*lambda[4]+19/13440*
lambda[3])*v[6]^2*v[5]^9*v[2]+(-3/1792*lambda[6]^2*lambda[5]+1/6720*lambda[5]^
2-3/256*lambda[6]*lambda[4]-1/896*lambda[3])*v[6]^8*v[5]^3*v[4]*v[3]^2+1/2*
lambda[6]*lambda[4]*v[6]^2*v[5]^3*v[4]*v[3]*v[1]+(-3/4480*lambda[6]^4-1/400*
lambda[6]^2*lambda[5]-1/8400*lambda[5]^2-2/525*lambda[6]*lambda[4]-1/67200*
lambda[3])*v[6]^6*v[5]^7*v[2]-1/2*lambda[3]*v[6]^3*v[4]^3*v[3]*v[2]-1/320*
lambda[3]*v[6]^4*v[4]^6+(-3/71751680*lambda[6]^4-1/1281280*lambda[6]^2*lambda[
5]-17/403603200*lambda[5]^2-1/672672*lambda[6]*lambda[4]-1/21964800*lambda[3])
*v[6]^14*v[5]^3*v[2]+(3/179200*lambda[6]^4-3/112000*lambda[6]^2*lambda[5]-1/
84000*lambda[5]^2+1/7000*lambda[6]*lambda[4]+1/25600*lambda[3])*v[6]^10*v[5]^5
*v[2]+(-39/4480*lambda[6]^4-53/2688*lambda[6]^2*lambda[5]-1/1680*lambda[5]^2+
23/6720*lambda[6]*lambda[4]-1/210*lambda[3])*v[6]^2*v[5]^8*v[3]^2+1/8*lambda[5
]^2*v[6]^3*v[3]^5+(1/11827200*lambda[6]^2*lambda[5]-1/4435200*lambda[5]^2+1/
5913600*lambda[6]*lambda[4]+1/675840*lambda[3])*v[6]^12*v[4]^4+(7/320*lambda[6
]^2*lambda[5]+3/80*lambda[5]^2+5/64*lambda[6]*lambda[4]-1/32*lambda[3])*v[6]^4
*v[5]^5*v[4]*v[3]^2+(-3/320*lambda[6]^4-1/80*lambda[6]^2*lambda[5]-1/120*
lambda[5]^2+1/30*lambda[6]*lambda[4]-13/960*lambda[3])*v[6]^4*v[5]^6*v[4]*v[2]
+3*lambda[3]*v[5]*v[4]^2*v[3]^2*v[2]+(1/40*lambda[6]*lambda[4]+3/80*lambda[3])
*v[6]^2*v[5]^3*v[4]^5+(3/4480*lambda[6]^2*lambda[5]+1/3360*lambda[5]^2+9/2240*
lambda[6]*lambda[4]-1/448*lambda[3])*v[6]^8*v[5]*v[3]^2*v[2]+(1/2*lambda[5]^2+
1/4*lambda[6]*lambda[4]-1/2*lambda[3])*v[6]*v[5]^2*v[4]^2*v[3]^3+(3/160*lambda
[6]^4+1/40*lambda[6]^2*lambda[5]+1/60*lambda[5]^2+29/240*lambda[6]*lambda[4]+
13/480*lambda[3])*v[6]^3*v[5]^6*v[4]^2*v[3]+(-1/2*lambda[5]^2-9/4*lambda[6]*
lambda[4])*v[6]^2*v[5]^2*v[4]*v[3]^2*v[2]-3*lambda[3]*v[6]*v[5]*v[4]*v[3]*v[2]
^2+(-1/40*lambda[5]^2-1/80*lambda[6]*lambda[4]-1/40*lambda[3])*v[6]^5*v[4]^2*v
[3]^3+(-1/17920*lambda[6]^4+19/33600*lambda[6]^2*lambda[5]+1/8400*lambda[5]^2+
17/33600*lambda[6]*lambda[4]-1/17920*lambda[3])*v[6]^9*v[5]^5*v[4]*v[3]+(-1/16
*lambda[6]^2*lambda[5]+1/8*lambda[6]*lambda[4]+1/8*lambda[3])*v[6]^4*v[5]^3*v[
3]^2*v[2]+(1/32*lambda[6]^2*lambda[5]+1/16*lambda[6]*lambda[4])*v[6]^4*v[5]^4*
v[3]*v[1]+(2001/11152261120000*lambda[6]^4+5311/117098741760000*lambda[6]^2*
lambda[5]+29/6273146880000*lambda[5]^2-1333/58549370880000*lambda[6]*lambda[4]
-61/4779540480000*lambda[3])*v[6]^20*v[5]^4+(-1/4*lambda[6]^2*lambda[5]-1/2*
lambda[6]*lambda[4]+3/8*lambda[3])*v[6]^3*v[5]^4*v[4]*v[3]*v[2]-1/640*lambda[3
]*v[6]^8*v[4]^3*v[2]+(1/97582284800*lambda[6]^4-19/36593356800*lambda[6]^2*
lambda[5]-73/274450176000*lambda[5]^2+11/2079168000*lambda[6]*lambda[4]+7/
5974425600*lambda[3])*v[6]^18*v[5]*v[2]+(-347/975822848000*lambda[6]^4+193/
73186713600*lambda[6]^2*lambda[5]+1/7841433600*lambda[5]^2+1303/1463734272000*
lambda[6]*lambda[4]-41/418209792000*lambda[3])*v[6]^19*v[5]^2*v[3]+(-309/
1025024000*lambda[6]^4-321/448448000*lambda[6]^2*lambda[5]-37/4036032000*
lambda[5]^2-1349/10762752000*lambda[6]*lambda[4]-97/3075072000*lambda[3])*v[6]
^15*v[5]^4*v[3]+(3/4480*lambda[6]^2*lambda[5]+1/3360*lambda[5]^2+3/2240*lambda
[6]*lambda[4]-1/1280*lambda[3])*v[6]^8*v[5]^2*v[2]^2+(3/16*lambda[6]^2*lambda[
5]+5/64*lambda[5]^2+1/16*lambda[6]*lambda[4]-1/16*lambda[3])*v[6]^4*v[5]^2*v[3
]^4+(-3/71680*lambda[6]^4+41/89600*lambda[6]^2*lambda[5]+1/33600*lambda[5]^2+
11/44800*lambda[6]*lambda[4]+13/153600*lambda[3])*v[6]^8*v[5]^6*v[4]^2+(39/
35840*lambda[6]^4+43/8960*lambda[6]^2*lambda[5]-1/6720*lambda[5]^2-1/13440*
lambda[6]*lambda[4]-251/107520*lambda[3])*v[6]^4*v[5]^8*v[4]^2+(-1/89600*
lambda[6]^4-1/33600*lambda[6]^2*lambda[5]+13/134400*lambda[6]*lambda[4]+1/
12800*lambda[3])*v[6]^10*v[5]^3*v[4]^3+(3/3200*lambda[6]^4+1/800*lambda[6]^2*
lambda[5]+1/1200*lambda[5]^2+1/4800*lambda[6]*lambda[4]-1/640*lambda[3])*v[6]^
6*v[5]^5*v[4]^3+(-3/1120*lambda[6]^4+1/105*lambda[6]^2*lambda[5]+1/210*lambda[
5]^2+23/1680*lambda[6]*lambda[4]-1/3360*lambda[3])*v[6]^2*v[5]^7*v[4]^3+(1033/
1502767185920000*lambda[6]^4-67/25615349760000*lambda[6]^2*lambda[5]-1/
30189519360000*lambda[5]^2+1349/322021539840000*lambda[6]*lambda[4]+1/
1194885120000*lambda[3])*v[6]^22*v[5]*v[4]+(313/139403264000*lambda[6]^4+1009/
365933568000*lambda[6]^2*lambda[5]-73/548900352000*lambda[5]^2+191/
487911424000*lambda[6]*lambda[4]+7/11948851200*lambda[3])*v[6]^18*v[5]^3*v[4]+
(3/5218304000*lambda[6]^4+577/14350336000*lambda[6]^2*lambda[5]+31/3228825600*
lambda[5]^2+13/1655808000*lambda[6]*lambda[4]-53/3514368000*lambda[3])*v[6]^16
*v[5]^2*v[4]^2+(-3/15769600*lambda[6]^4+163/11827200*lambda[6]^2*lambda[5]+1/
2956800*lambda[5]^2+29/5913600*lambda[6]*lambda[4]-1/450560*lambda[3])*v[6]^12
*v[5]^4*v[4]^2+3/16*lambda[3]*v[6]^4*v[4]^2*v[2]^2-3/4*lambda[3]*v[5]^2*v[4]^2
*v[2]^2+(1/280*lambda[6]*lambda[4]+1/112*lambda[3])*v[6]^7*v[3]*v[2]^2-1/2*
lambda[3]*v[6]^2*v[5]*v[2]^3+(3/25625600*lambda[6]^4+1/19219200*lambda[6]^2*
lambda[5]+17/28828800*lambda[5]^2-1/300300*lambda[6]*lambda[4]-1/343200*lambda
[3])*v[6]^13*v[5]^2*v[1]+(-1/32*lambda[6]^2*lambda[5]-1/16*lambda[6]*lambda[4]
-3/64*lambda[3])*v[6]^4*v[5]^4*v[2]^2+(89/179200*lambda[6]^4-23/33600*lambda[6
]^2*lambda[5]-11/38400*lambda[6]*lambda[4]-19/537600*lambda[3])*v[6]^6*v[5]^9*
v[4]+3/8*lambda[3]*v[5]^4*v[4]^3*v[2]+(1/1680*lambda[6]^2*lambda[5]-1/420*
lambda[5]^2-169/1680*lambda[6]*lambda[4]-1/840*lambda[3])*v[5]^7*v[4]*v[3]^2+(
-1/17920*lambda[6]^4-1/6720*lambda[6]^2*lambda[5]-1/3360*lambda[6]*lambda[4])*
v[6]^9*v[5]^4*v[1]+(3/1600*lambda[6]^4+1/400*lambda[6]^2*lambda[5]+1/600*
lambda[5]^2-1/150*lambda[6]*lambda[4]-1/150*lambda[3])*v[6]^5*v[5]^6*v[1];