C35 := (-9/89600*lambda[4]*lambda[3]^4-3/11200*lambda[4]^2*lambda[3]^2*lambda[
2]-1/3200*lambda[3]^3*lambda[2]-1/16800*lambda[4]*lambda[3]*lambda[2]^2-11/
201600*lambda[2]^3-3/5600*lambda[4]^3*lambda[3]*lambda[1]-3/1400*lambda[4]*
lambda[3]^2*lambda[1]-3/5600*lambda[4]^2*lambda[2]*lambda[1]+1/16800*lambda[3]
*lambda[2]*lambda[1]-11/50400*lambda[4]*lambda[1]^2-9/5600*lambda[4]^2*lambda[
3]*lambda[0]-9/2240*lambda[3]^2*lambda[0]-1/1260*lambda[4]*lambda[2]*lambda[0]
-1/1008*lambda[1]*lambda[0])*v[4]^5*v[3]^7*v[2]^4+1/4*lambda[1]*lambda[0]*v[4]
^3*v[2]*v[1]^4+(-23/2607276672000*lambda[4]^5*lambda[1]+89/2979744768000*
lambda[4]^3*lambda[3]*lambda[1]+461/20858213376000*lambda[4]*lambda[3]^2*
lambda[1]-277/6952737792000*lambda[4]^2*lambda[2]*lambda[1]-317/1854063411200*
lambda[3]*lambda[2]*lambda[1]+191/1986496512000*lambda[4]*lambda[1]^2-61/
613476864000*lambda[4]^4*lambda[0]+439/1226953728000*lambda[4]^2*lambda[3]*
lambda[0]+337/1963125964800*lambda[3]^2*lambda[0]-1/2044922880*lambda[4]*
lambda[2]*lambda[0]-47/278109511680*lambda[1]*lambda[0])*v[4]^19*v[3]*v[1]^2+(
-1/8960*lambda[4]*lambda[3]^2*lambda[1]+1/3360*lambda[4]^2*lambda[2]*lambda[1]
+1/13440*lambda[3]*lambda[2]*lambda[1]+1/1680*lambda[4]*lambda[1]^2-1/1344*
lambda[4]^2*lambda[3]*lambda[0]-13/26880*lambda[3]^2*lambda[0]+1/2240*lambda[4
]*lambda[2]*lambda[0]+1/672*lambda[1]*lambda[0])*v[4]^9*v[2]^3*v[1]^2+(-3/
4928000*lambda[4]^3*lambda[3]^3+3/4928000*lambda[4]*lambda[3]^4-1/3696000*
lambda[4]^4*lambda[3]*lambda[2]-1/591360*lambda[4]^2*lambda[3]^2*lambda[2]+31/
2956800*lambda[3]^3*lambda[2]-3/1232000*lambda[4]^3*lambda[2]^2+19/2688000*
lambda[4]*lambda[3]*lambda[2]^2+3/1971200*lambda[2]^3+1/1848000*lambda[4]^5*
lambda[1]+1/184800*lambda[4]^3*lambda[3]*lambda[1]-83/7392000*lambda[4]*lambda
[3]^2*lambda[1]-17/1056000*lambda[4]^2*lambda[2]*lambda[1]-1/492800*lambda[3]*
lambda[2]*lambda[1]-1/29568*lambda[4]*lambda[1]^2+19/1848000*lambda[4]^4*
lambda[0]+23/7392000*lambda[4]^2*lambda[3]*lambda[0]-1/70400*lambda[3]^2*
lambda[0]-13/739200*lambda[4]*lambda[2]*lambda[0]-1/29568*lambda[1]*lambda[0])
*v[4]^11*v[3]^2*v[2]^5+(1/44800*lambda[4]^3*lambda[3]^3+1/8960*lambda[4]*
lambda[3]^4+1/100800*lambda[4]^4*lambda[3]*lambda[2]+17/57600*lambda[4]^2*
lambda[3]^2*lambda[2]+9/22400*lambda[3]^3*lambda[2]+19/100800*lambda[4]^3*
lambda[2]^2+397/403200*lambda[4]*lambda[3]*lambda[2]^2+1/5376*lambda[2]^3-1/
50400*lambda[4]^5*lambda[1]-31/50400*lambda[4]^3*lambda[3]*lambda[1]-11/25200*
lambda[4]*lambda[3]^2*lambda[1]+61/50400*lambda[4]^2*lambda[2]*lambda[1]+9/
11200*lambda[3]*lambda[2]*lambda[1]+1/672*lambda[4]*lambda[1]^2-13/16800*
lambda[4]^4*lambda[0]-1/168*lambda[4]^2*lambda[3]*lambda[0]-53/33600*lambda[3]
^2*lambda[0]+1/5040*lambda[4]*lambda[2]*lambda[0]+1/672*lambda[1]*lambda[0])*v
[4]^7*v[3]^4*v[2]^5+(-23/46930980096000*lambda[4]^6*lambda[2]-1063/
625746401280000*lambda[4]^4*lambda[3]*lambda[2]+257/17878468608000*lambda[4]^2
*lambda[3]^2*lambda[2]+547/462089650176000*lambda[3]^3*lambda[2]-83/
52145533440000*lambda[4]^3*lambda[2]^2-6581/166865707008000*lambda[4]*lambda[3
]*lambda[2]^2-61/2224876093440*lambda[2]^3-31/4089845760000*lambda[4]^5*lambda
[1]+31/2044922880000*lambda[4]^3*lambda[3]*lambda[1]+799/13087506432000*lambda
[4]*lambda[3]^2*lambda[1]-5839/119189790720000*lambda[4]^2*lambda[2]*lambda[1]
-6581/83432853504000*lambda[3]*lambda[2]*lambda[1]-1/6232145920*lambda[4]*
lambda[1]^2-1/70111641600*lambda[4]^4*lambda[0]+863/4907814912000*lambda[4]^2*
lambda[3]*lambda[0]+911/7852503859200*lambda[3]^2*lambda[0]+529/11124380467200
*lambda[4]*lambda[2]*lambda[0]-31/130875064320*lambda[1]*lambda[0])*v[4]^20*v[
3]^2*v[2]*v[1]+(-1/22400*lambda[4]^2*lambda[3]^2*lambda[2]-1/44800*lambda[3]^3
*lambda[2]-1/50400*lambda[4]^3*lambda[2]^2-19/100800*lambda[4]*lambda[3]*
lambda[2]^2-17/201600*lambda[2]^3-1/11200*lambda[4]^3*lambda[3]*lambda[1]-11/
44800*lambda[4]*lambda[3]^2*lambda[1]-31/100800*lambda[4]^2*lambda[2]*lambda[1
]-19/50400*lambda[3]*lambda[2]*lambda[1]-1/1600*lambda[4]*lambda[1]^2-1/4200*
lambda[4]^4*lambda[0]-97/33600*lambda[4]^2*lambda[3]*lambda[0]+1/6400*lambda[3
]^2*lambda[0]-19/33600*lambda[4]*lambda[2]*lambda[0]+1/6720*lambda[1]*lambda[0
])*v[4]^6*v[3]^7*v[2]^2*v[1]+(-3/243955712000*lambda[4]*lambda[3]^4+1/
15247232000*lambda[4]^2*lambda[3]^2*lambda[2]-3/60988928000*lambda[3]^3*lambda
[2]+37/137225088000*lambda[4]^3*lambda[2]^2+1/7623616000*lambda[4]*lambda[3]*
lambda[2]^2-3/311168000*lambda[2]^3-1/933504000*lambda[4]^3*lambda[3]*lambda[1
]+1/7623616000*lambda[4]*lambda[3]^2*lambda[1]+1/137225088000*lambda[4]^2*
lambda[2]*lambda[1]+1553/45741696000*lambda[3]*lambda[2]*lambda[1]-6077/
137225088000*lambda[4]*lambda[1]^2+1/233376000*lambda[4]^4*lambda[0]-1/
311168000*lambda[4]^2*lambda[3]*lambda[0]-309/6098892800*lambda[3]^2*lambda[0]
+167/3049446400*lambda[4]*lambda[2]*lambda[0]+83/914833920*lambda[1]*lambda[0]
)*v[4]*v[3]^17+(109/33897786815692800000*lambda[4]^7*lambda[3]-2881/
137205327587328000000*lambda[4]^5*lambda[3]^2+56579/3073399337956147200000*
lambda[4]^3*lambda[3]^3+104243/1844039602773688320000*lambda[4]*lambda[3]^4+
617/94988303714304000000*lambda[4]^6*lambda[2]+109/10430088250982400000*lambda
[4]^4*lambda[3]*lambda[2]-110197/838199819442585600000*lambda[4]^2*lambda[3]^2
*lambda[2]-104243/5532118808321064960000*lambda[3]^3*lambda[2]+7607/
153669966897807360000*lambda[4]^3*lambda[2]^2+6703/245871947036491776000*
lambda[4]*lambda[3]*lambda[2]^2-103/3278292627153223680*lambda[2]^3+70493/
1920874586222592000000*lambda[4]^5*lambda[1]-31/307339933795614720*lambda[4]^3
*lambda[3]*lambda[1]-1537/12293597351824588800*lambda[4]*lambda[3]^2*lambda[1]
+20551/61467986759122944000*lambda[4]^2*lambda[2]*lambda[1]-929/
12293597351824588800*lambda[3]*lambda[2]*lambda[1]-1/24105092846714880*lambda[
4]*lambda[1]^2-5689/76834983448903680000*lambda[4]^4*lambda[0]+6481/
61467986759122944000*lambda[4]^2*lambda[3]*lambda[0]+59/647031439569715200*
lambda[3]^2*lambda[0]+41/186266626542796800*lambda[4]*lambda[2]*lambda[0]-1/
24105092846714880*lambda[1]*lambda[0])*v[4]^27*v[3]^2*v[2]+(13/134400*lambda[4
]*lambda[1]^2-1/33600*lambda[4]^2*lambda[3]*lambda[0]-1/26880*lambda[3]^2*
lambda[0]-1/33600*lambda[4]*lambda[2]*lambda[0]+1/8960*lambda[1]*lambda[0])*v[
4]^10*v[2]*v[1]^3+(-7/960*lambda[4]*lambda[1]^2-3/320*lambda[3]^2*lambda[0]+1/
40*lambda[4]*lambda[2]*lambda[0]-1/192*lambda[1]*lambda[0])*v[4]^4*v[3]^5*v[1]
^3+(-23/307384197120000*lambda[4]^5*lambda[3]^2+23/153692098560000*lambda[4]^3
*lambda[3]^3+6077/9836294307840000*lambda[4]*lambda[3]^4+23/115269073920000*
lambda[4]^6*lambda[2]-23/18443051827200*lambda[4]^4*lambda[3]*lambda[2]+683/
922152591360000*lambda[4]^2*lambda[3]^2*lambda[2]+1171/1475444146176000*lambda
[3]^3*lambda[2]-317/47289876480000*lambda[4]^3*lambda[2]^2+23/5123069952000*
lambda[4]*lambda[3]*lambda[2]^2+1/185980354560*lambda[2]^3+529/115269073920000
*lambda[4]^5*lambda[1]+1891/1844305182720000*lambda[4]^3*lambda[3]*lambda[1]-\
743/184430518272000*lambda[4]*lambda[3]^2*lambda[1]-11789/368861036544000*
lambda[4]^2*lambda[2]*lambda[1]-67/14754441461760*lambda[3]*lambda[2]*lambda[1
]+23/4918147153920*lambda[4]*lambda[1]^2+1/24108564480*lambda[4]^4*lambda[0]+
199/7232569344000*lambda[4]^2*lambda[3]*lambda[0]-1381/245907357696000*lambda[
3]^2*lambda[0]-1249/24590735769600*lambda[4]*lambda[2]*lambda[0]+53/
2459073576960*lambda[1]*lambda[0])*v[4]^17*v[3]^9+(-1/7103416320000*lambda[4]^
5*lambda[3]^2-1/710341632000*lambda[4]^3*lambda[3]^3+313/56827330560000*lambda
[4]*lambda[3]^4+1/2663781120000*lambda[4]^6*lambda[2]+1/10655124480000*lambda[
4]^4*lambda[3]*lambda[2]-619/21310248960000*lambda[4]^2*lambda[3]^2*lambda[2]+
811/14206832640000*lambda[3]^3*lambda[2]-653/5327562240000*lambda[4]^3*lambda[
2]^2-2573/10655124480000*lambda[4]*lambda[3]*lambda[2]^2-17/146127421440*
lambda[2]^3+1/47567520000*lambda[4]^5*lambda[1]+829/2131024896000*lambda[4]^3*
lambda[3]*lambda[1]+353/1522160640000*lambda[4]*lambda[3]^2*lambda[1]-2791/
10655124480000*lambda[4]^2*lambda[2]*lambda[1]-53/193729536000*lambda[3]*
lambda[2]*lambda[1]-29/33825792000*lambda[4]*lambda[1]^2-1361/1775854080000*
lambda[4]^4*lambda[0]+577/710341632000*lambda[4]^2*lambda[3]*lambda[0]+47/
202954752000*lambda[3]^2*lambda[0]+83/118390272000*lambda[4]*lambda[2]*lambda[
0]-53/71034163200*lambda[1]*lambda[0])*v[4]^13*v[3]^11+(1/16*lambda[4]*lambda[
3]^2*lambda[1]+1/8*lambda[3]*lambda[2]*lambda[1]+1/4*lambda[4]^2*lambda[3]*
lambda[0]+3/16*lambda[3]^2*lambda[0]+1/4*lambda[4]*lambda[2]*lambda[0]-1/2*
lambda[1]*lambda[0])*v[4]*v[3]^4*v[2]^3*v[1]^2+(1/3360*lambda[4]^3*lambda[3]*
lambda[1]+1/672*lambda[4]*lambda[3]^2*lambda[1]+1/3360*lambda[4]^2*lambda[2]*
lambda[1]+1/480*lambda[3]*lambda[2]*lambda[1]-1/560*lambda[4]*lambda[1]^2+1/
1680*lambda[4]^4*lambda[0]+31/3360*lambda[4]^2*lambda[3]*lambda[0]+1/320*
lambda[3]^2*lambda[0]+11/1680*lambda[4]*lambda[2]*lambda[0]-1/280*lambda[1]*
lambda[0])*v[4]^7*v[3]^3*v[2]^2*v[1]^2+(3/57401344000*lambda[4]*lambda[3]^4-1/
12915302400*lambda[4]^2*lambda[3]^2*lambda[2]+31/129153024000*lambda[3]^3*
lambda[2]-1/4843238400*lambda[4]^3*lambda[2]^2+59/96864768000*lambda[4]*lambda
[3]*lambda[2]^2+1/474439680*lambda[2]^3+17/32288256000*lambda[4]^3*lambda[3]*
lambda[1]-1/403603200*lambda[4]*lambda[3]^2*lambda[1]+383/96864768000*lambda[4
]^2*lambda[2]*lambda[1]-59/13837824000*lambda[3]*lambda[2]*lambda[1]+263/
10762752000*lambda[4]*lambda[1]^2-1/144144000*lambda[4]^4*lambda[0]-557/
32288256000*lambda[4]^2*lambda[3]*lambda[0]-83/12915302400*lambda[3]^2*lambda[
0]-1/258306048*lambda[4]*lambda[2]*lambda[0]+17/461260800*lambda[1]*lambda[0])
*v[4]^9*v[3]^13+(-3/35875840000*lambda[4]*lambda[3]^4+1/2242240000*lambda[4]^2
*lambda[3]^2*lambda[2]-1/1793792000*lambda[3]^3*lambda[2]+37/20180160000*
lambda[4]^3*lambda[2]^2+1/157657500*lambda[4]*lambda[3]*lambda[2]^2+1/
109824000*lambda[2]^3-1/137280000*lambda[4]^3*lambda[3]*lambda[1]-83/
6726720000*lambda[4]*lambda[3]^2*lambda[1]-71/20180160000*lambda[4]^2*lambda[2
]*lambda[1]-17/807206400*lambda[3]*lambda[2]*lambda[1]+23/310464000*lambda[4]*
lambda[1]^2+1/34320000*lambda[4]^4*lambda[0]+1/27456000*lambda[4]^2*lambda[3]*
lambda[0]-89/2690688000*lambda[3]^2*lambda[0]-1/6468000*lambda[4]*lambda[2]*
lambda[0]+17/134534400*lambda[1]*lambda[0])*v[4]^5*v[3]^15+(-1/240*lambda[4]*
lambda[1]^2-3/560*lambda[3]^2*lambda[0]+1/70*lambda[4]*lambda[2]*lambda[0]+1/
560*lambda[1]*lambda[0])*v[3]^7*v[1]^3+(-1/246400*lambda[4]^3*lambda[3]*lambda
[1]+1/246400*lambda[4]*lambda[3]^2*lambda[1]+1/246400*lambda[4]^2*lambda[2]*
lambda[1]+23/492800*lambda[3]*lambda[2]*lambda[1]+9/246400*lambda[4]*lambda[1]
^2-1/123200*lambda[4]^4*lambda[0]-9/246400*lambda[4]^2*lambda[3]*lambda[0]-1/
17920*lambda[3]^2*lambda[0]+1/30800*lambda[4]*lambda[2]*lambda[0]+1/12320*
lambda[1]*lambda[0])*v[4]^11*v[3]*v[2]^2*v[1]^2+(1/25625600*lambda[3]^3*lambda
[2]-1/19219200*lambda[4]*lambda[3]*lambda[2]^2+1/1830400*lambda[2]^3+3/
25625600*lambda[4]*lambda[3]^2*lambda[1]-1/19219200*lambda[4]^2*lambda[2]*
lambda[1]-1/9609600*lambda[3]*lambda[2]*lambda[1]-41/2745600*lambda[4]*lambda[
1]^2-1/291200*lambda[4]^2*lambda[3]*lambda[0]-3/332800*lambda[3]^2*lambda[0]+
359/6406400*lambda[4]*lambda[2]*lambda[0]-1/183040*lambda[1]*lambda[0])*v[4]^2
*v[3]^13*v[1]+(3/160*lambda[3]^3*lambda[2]+1/120*lambda[4]*lambda[3]*lambda[2]
^2-1/60*lambda[2]^3+9/160*lambda[4]*lambda[3]^2*lambda[1]+1/120*lambda[4]^2*
lambda[2]*lambda[1]+1/60*lambda[3]*lambda[2]*lambda[1]-3/40*lambda[4]*lambda[1
]^2-1/20*lambda[4]^2*lambda[3]*lambda[0]+87/160*lambda[3]^2*lambda[0]+3/40*
lambda[4]*lambda[2]*lambda[0]-1/40*lambda[1]*lambda[0])*v[3]^4*v[2]^5*v[1]+(-3
/4480*lambda[3]^3*lambda[2]-1/1120*lambda[4]*lambda[3]*lambda[2]^2-1/1680*
lambda[2]^3-9/4480*lambda[4]*lambda[3]^2*lambda[1]-1/1120*lambda[4]^2*lambda[2
]*lambda[1]-1/560*lambda[3]*lambda[2]*lambda[1]+13/3360*lambda[4]*lambda[1]^2-\
9/560*lambda[4]^2*lambda[3]*lambda[0]+45/896*lambda[3]^2*lambda[0]-17/1120*
lambda[4]*lambda[2]*lambda[0]+13/1120*lambda[1]*lambda[0])*v[3]^8*v[2]^3*v[1]+
(-1/160*lambda[4]*lambda[1]^2+1/40*lambda[4]*lambda[2]*lambda[0]-1/80*lambda[1
]*lambda[0])*v[4]^5*v[3]*v[1]^4+(-1/24*lambda[4]*lambda[1]^2+1/6*lambda[4]*
lambda[2]*lambda[0]+1/12*lambda[1]*lambda[0])*v[4]*v[3]^3*v[1]^4+(-1/4435200*
lambda[4]^4*lambda[3]*lambda[2]-1/4435200*lambda[4]^2*lambda[3]^2*lambda[2]+79
/35481600*lambda[3]^3*lambda[2]-1/2956800*lambda[4]*lambda[3]*lambda[2]^2-1/
985600*lambda[2]^3-1/4435200*lambda[4]^5*lambda[1]-1/443520*lambda[4]^3*lambda
[3]*lambda[1]+41/7096320*lambda[4]*lambda[3]^2*lambda[1]-1/2956800*lambda[4]^2
*lambda[2]*lambda[1]-1/1478400*lambda[3]*lambda[2]*lambda[1]-1/591360*lambda[4
]*lambda[1]^2-1/1478400*lambda[4]^4*lambda[0]+1/44800*lambda[4]^2*lambda[3]*
lambda[0]-31/11827200*lambda[3]^2*lambda[0]-29/2956800*lambda[4]*lambda[2]*
lambda[0]-1/53760*lambda[1]*lambda[0])*v[4]^12*v[3]^2*v[2]^3*v[1]+(1/
16144128000*lambda[4]^4*lambda[3]*lambda[2]-1/3616284672*lambda[4]^2*lambda[3]
^2*lambda[2]+401/904071168000*lambda[3]^3*lambda[2]+1/869299200*lambda[4]^3*
lambda[2]^2-71/17385984000*lambda[4]*lambda[3]*lambda[2]^2-1/516612096*lambda[
2]^3+1/16144128000*lambda[4]^5*lambda[1]-1/17385984000*lambda[4]^3*lambda[3]*
lambda[1]+29/129153024000*lambda[4]*lambda[3]^2*lambda[1]+1/354816000*lambda[4
]^2*lambda[2]*lambda[1]-71/8692992000*lambda[3]*lambda[2]*lambda[1]-563/
75339264000*lambda[4]*lambda[1]^2+37/2511308800*lambda[4]^4*lambda[0]+9/
386355200*lambda[4]^2*lambda[3]*lambda[0]-1/574013440*lambda[3]^2*lambda[0]+41
/1159065600*lambda[4]*lambda[2]*lambda[0]+71/15067852800*lambda[1]*lambda[0])*
v[4]^14*v[3]^7*v[1]+(-1/225792000*lambda[4]^2*lambda[3]^2*lambda[2]-1/
180633600*lambda[3]^3*lambda[2]+1/84672000*lambda[4]^3*lambda[2]^2-1/19353600*
lambda[4]*lambda[3]*lambda[2]^2-1/23224320*lambda[2]^3-1/112896000*lambda[4]^3
*lambda[3]*lambda[1]-31/903168000*lambda[4]*lambda[3]^2*lambda[1]+13/677376000
*lambda[4]^2*lambda[2]*lambda[1]-1/9676800*lambda[3]*lambda[2]*lambda[1]+29/
45158400*lambda[4]*lambda[1]^2+1/7056000*lambda[4]^4*lambda[0]+1/11289600*
lambda[4]^2*lambda[3]*lambda[0]+1/25804800*lambda[3]^2*lambda[0]-17/6451200*
lambda[4]*lambda[2]*lambda[0]+11/45158400*lambda[1]*lambda[0])*v[4]^10*v[3]^9*
v[1]+(1/29568000*lambda[4]^2*lambda[3]^2*lambda[2]+1/59136000*lambda[3]^3*
lambda[2]-1/11088000*lambda[4]^3*lambda[2]^2+1/6336000*lambda[4]*lambda[3]*
lambda[2]^2+1/2534400*lambda[2]^3+1/14784000*lambda[4]^3*lambda[3]*lambda[1]+1
/5376000*lambda[4]*lambda[3]^2*lambda[1]-17/44352000*lambda[4]^2*lambda[2]*
lambda[1]+1/3168000*lambda[3]*lambda[2]*lambda[1]+3/704000*lambda[4]*lambda[1]
^2-1/924000*lambda[4]^4*lambda[0]-89/14784000*lambda[4]^2*lambda[3]*lambda[0]+
1/563200*lambda[3]^2*lambda[0]-7/422400*lambda[4]*lambda[2]*lambda[0]-19/
2956800*lambda[1]*lambda[0])*v[4]^6*v[3]^11*v[1]+(-53/194676658176000*lambda[4
]^5*lambda[3]^2+367/486691645440000*lambda[4]^3*lambda[3]^3+4189/
3114826530816000*lambda[4]*lambda[3]^4-31/788440465612800*lambda[4]^6*lambda[2
]-751/1010821109760000*lambda[4]^4*lambda[3]*lambda[2]+48791/
105125395415040000*lambda[4]^2*lambda[3]^2*lambda[2]+72383/63075237249024000*
lambda[3]^3*lambda[2]-68681/17520899235840000*lambda[4]^3*lambda[2]^2-65917/
17520899235840000*lambda[4]*lambda[3]*lambda[2]^2+1217/467223979622400*lambda[
2]^3+1039/1095056202240000*lambda[4]^5*lambda[1]+8711/2190112404480000*lambda[
4]^3*lambda[3]*lambda[1]-37/14186962944000*lambda[4]*lambda[3]^2*lambda[1]-881
/35041798471680*lambda[4]^2*lambda[2]*lambda[1]-79/14016719388672*lambda[3]*
lambda[2]*lambda[1]-337/23361198981120*lambda[4]*lambda[1]^2+883/
51532056576000*lambda[4]^4*lambda[0]+10001/219011240448000*lambda[4]^2*lambda[
3]*lambda[0]+281/87604496179200*lambda[3]^2*lambda[0]-23/912546835200*lambda[4
]*lambda[2]*lambda[0]-5/1168059949056*lambda[1]*lambda[0])*v[4]^21*v[3]^3*v[2]
^2+(3/3200*lambda[4]*lambda[3]^4+1/800*lambda[4]^2*lambda[3]^2*lambda[2]+1/800
*lambda[3]^3*lambda[2]+1/1200*lambda[4]^3*lambda[2]^2+1/240*lambda[4]*lambda[3
]*lambda[2]^2-1/2400*lambda[2]^3-1/300*lambda[4]^3*lambda[3]*lambda[1]-1/240*
lambda[4]*lambda[3]^2*lambda[1]+1/150*lambda[4]^2*lambda[2]*lambda[1]+7/600*
lambda[3]*lambda[2]*lambda[1]+1/600*lambda[4]*lambda[1]^2-1/300*lambda[4]^4*
lambda[0]-3/100*lambda[4]^2*lambda[3]*lambda[0]-1/60*lambda[3]^2*lambda[0]+1/
150*lambda[4]*lambda[2]*lambda[0])*v[4]^5*v[3]^3*v[2]^6+(-1/48*lambda[4]*
lambda[1]^2+3/16*lambda[3]^2*lambda[0]+1/12*lambda[4]*lambda[2]*lambda[0]-1/16
*lambda[1]*lambda[0])*v[4]^4*v[3]*v[2]^2*v[1]^3+(-3/4480*lambda[4]*lambda[3]^2
*lambda[1]-1/3360*lambda[4]^2*lambda[2]*lambda[1]-3/2240*lambda[3]*lambda[2]*
lambda[1]-1/1680*lambda[4]*lambda[1]^2-9/4480*lambda[3]^2*lambda[0]-1/1120*
lambda[4]*lambda[2]*lambda[0]+1/140*lambda[1]*lambda[0])*v[4]*v[3]^8*v[2]*v[1]
^2+(-1/235200*lambda[4]^3*lambda[3]^3-1/47040*lambda[4]*lambda[3]^4+1/58800*
lambda[4]^4*lambda[3]*lambda[2]+13/235200*lambda[4]^2*lambda[3]^2*lambda[2]-11
/117600*lambda[3]^3*lambda[2]+1/11760*lambda[4]^3*lambda[2]^2-3/78400*lambda[4
]*lambda[3]*lambda[2]^2-9/78400*lambda[2]^3-1/29400*lambda[4]^5*lambda[1]-1/
5880*lambda[4]^3*lambda[3]*lambda[1]+13/58800*lambda[4]*lambda[3]^2*lambda[1]+
1/1960*lambda[4]^2*lambda[2]*lambda[1]+1/3920*lambda[3]*lambda[2]*lambda[1]-3/
9800*lambda[4]*lambda[1]^2-11/29400*lambda[4]^4*lambda[0]-11/14700*lambda[4]^2
*lambda[3]*lambda[0]+1/3675*lambda[3]^2*lambda[0]+1/1225*lambda[4]*lambda[2]*
lambda[0]-1/1176*lambda[1]*lambda[0])*v[4]^7*v[2]^7+(-1/1254400*lambda[4]^2*
lambda[3]^2*lambda[2]-13/10035200*lambda[3]^3*lambda[2]-1/2822400*lambda[4]^3*
lambda[2]^2-1/460800*lambda[4]*lambda[3]*lambda[2]^2-1/1411200*lambda[2]^3-1/
627200*lambda[4]^3*lambda[3]*lambda[1]-71/10035200*lambda[4]*lambda[3]^2*
lambda[1]-97/22579200*lambda[4]^2*lambda[2]*lambda[1]-1/230400*lambda[3]*
lambda[2]*lambda[1]-19/501760*lambda[4]*lambda[1]^2-1/235200*lambda[4]^4*
lambda[0]-13/752640*lambda[4]^2*lambda[3]*lambda[0]-457/10035200*lambda[3]^2*
lambda[0]+509/7526400*lambda[4]*lambda[2]*lambda[0]-83/1505280*lambda[1]*
lambda[0])*v[4]^8*v[3]^8*v[2]*v[1]+(9103/2105662721417205350400000*lambda[4]^9
-9103/526415680354301337600000*lambda[4]^7*lambda[3]-5004521/
56151005904458809344000000*lambda[4]^5*lambda[3]^2+7544077/
16845301771337642803200000*lambda[4]^3*lambda[3]^3-98474347/
269524828341402284851200000*lambda[4]*lambda[3]^4+4214611/
21056627214172053504000000*lambda[4]^6*lambda[2]-282343/
244134808280255692800000*lambda[4]^4*lambda[3]*lambda[2]+3411119/
2246040236178352373760000*lambda[4]^2*lambda[3]^2*lambda[2]-778097/
2695248283414022848512000*lambda[3]^3*lambda[2]+1637/1871700196815293644800*
lambda[4]^3*lambda[2]^2-26041/14973601574522349158400*lambda[4]*lambda[3]*
lambda[2]^2-431/173606974777070714880*lambda[2]^3+583643/
584906311504779264000000*lambda[4]^5*lambda[1]-1821481/
374340039363058728960000*lambda[4]^3*lambda[3]*lambda[1]+282349/
74868007872611745792000*lambda[4]*lambda[3]^2*lambda[1]+17203/
2994720314904469831680*lambda[4]^2*lambda[2]*lambda[1]+1063/
598944062980893966336*lambda[3]*lambda[2]*lambda[1]-3457/332746701656052203520
*lambda[4]*lambda[1]^2+1879/1308881256514191360000*lambda[4]^4*lambda[0]-4987/
618743866715799552000*lambda[4]^2*lambda[3]*lambda[0]+109/29917285863181516800
*lambda[3]^2*lambda[0]+151/9074910045165060096*lambda[4]*lambda[2]*lambda[0]-\
31/1972806531557621760*lambda[1]*lambda[0])*v[4]^29*v[3]^3+(-1/67200*lambda[3]
^3*lambda[2]+89/403200*lambda[4]*lambda[3]*lambda[2]^2+13/403200*lambda[2]^3-1
/1120*lambda[4]*lambda[3]^2*lambda[1]+1/6720*lambda[4]^2*lambda[2]*lambda[1]+1
/100800*lambda[3]*lambda[2]*lambda[1]+1/10080*lambda[4]*lambda[1]^2-7/4800*
lambda[4]^2*lambda[3]*lambda[0]-1/1120*lambda[3]^2*lambda[0]-1/10080*lambda[4]
*lambda[2]*lambda[0]+1/10080*lambda[1]*lambda[0])*v[4]^3*v[3]^10*v[2]^3+(-1/
13440*lambda[3]*lambda[2]*lambda[1]+1/2240*lambda[4]*lambda[1]^2-1/8960*lambda
[3]^2*lambda[0]-1/560*lambda[4]*lambda[2]*lambda[0]-1/3360*lambda[1]*lambda[0]
)*v[4]^3*v[3]^9*v[1]^2+(31/19947543780003840000*lambda[4]^9+31/
997377189000192000*lambda[4]^7*lambda[3]+20513/664918126000128000000*lambda[4]
^5*lambda[3]^2-151/93870794258841600*lambda[4]^3*lambda[3]^3+477509/
134383452833710080000*lambda[4]*lambda[3]^4+14507/166229531500032000000*lambda
[4]^6*lambda[2]+41/81186584371200000*lambda[4]^4*lambda[3]*lambda[2]-191203/
70924600106680320000*lambda[4]^2*lambda[3]^2*lambda[2]+286529/
212773800320040960000*lambda[3]^3*lambda[2]+61253/59103833422233600000*lambda[
4]^3*lambda[2]^2-4201/1313418520494080000*lambda[4]*lambda[3]*lambda[2]^2+83/
22515746065612800*lambda[2]^3-8111/13852460958336000000*lambda[4]^5*lambda[1]+
89/8856718295040000*lambda[4]^3*lambda[3]*lambda[1]-195421/7092460010668032000
*lambda[4]*lambda[3]^2*lambda[1]+163/59103833422233600*lambda[4]^2*lambda[2]*
lambda[1]+29/13906784334643200*lambda[3]*lambda[2]*lambda[1]+1993/
47283066737786880*lambda[4]*lambda[1]^2-12433/2955191671111680000*lambda[4]^4*
lambda[0]+641/34766960836608000*lambda[4]^2*lambda[3]*lambda[0]-1699/
118207666844467200*lambda[3]^2*lambda[0]-167/11257873032806400*lambda[4]*
lambda[2]*lambda[0]+157/3940255561482240*lambda[1]*lambda[0])*v[4]^25*v[3]*v[2
]^2+(-23/182966784000*lambda[4]^5*lambda[3]^2+23/91483392000*lambda[4]^3*
lambda[3]^3+6077/5854937088000*lambda[4]*lambda[3]^4-23/74850048000*lambda[4]^
4*lambda[3]*lambda[2]-4727/6586804224000*lambda[4]^2*lambda[3]^2*lambda[2]+
18749/13173608448000*lambda[3]^3*lambda[2]-73/32288256000*lambda[4]^3*lambda[2
]^2-227/365933568000*lambda[4]*lambda[3]*lambda[2]^2+1/896896000*lambda[2]^3+
23/29405376000*lambda[4]^5*lambda[1]+89/36191232000*lambda[4]^3*lambda[3]*
lambda[1]-349/67212288000*lambda[4]*lambda[3]^2*lambda[1]-817/73186713600*
lambda[4]^2*lambda[2]*lambda[1]-1/266133504*lambda[3]*lambda[2]*lambda[1]+1/
43912028160*lambda[4]*lambda[1]^2+11/1100736000*lambda[4]^4*lambda[0]+63737/
3293402112000*lambda[4]^2*lambda[3]*lambda[0]-3061/1317360844800*lambda[3]^2*
lambda[0]-139/12915302400*lambda[4]*lambda[2]*lambda[0]+25/4391202816*lambda[1
]*lambda[0])*v[4]^17*v[3]*v[2]^4+(23/609889280000*lambda[4]^5*lambda[3]^2-23/
304944640000*lambda[4]^3*lambda[3]^3-6077/19516456960000*lambda[4]*lambda[3]^4
+23/1372250880000*lambda[4]^6*lambda[2]+69/304944640000*lambda[4]^4*lambda[3]*
lambda[2]-9259/14637342720000*lambda[4]^2*lambda[3]^2*lambda[2]-18157/
43912028160000*lambda[3]^3*lambda[2]+557/21956014080000*lambda[4]^3*lambda[2]^
2-11777/21956014080000*lambda[4]*lambda[3]*lambda[2]^2-1/14350336000*lambda[2]
^3+23/85765680000*lambda[4]^5*lambda[1]+4273/2744501760000*lambda[4]^3*lambda[
3]*lambda[1]+15971/21956014080000*lambda[4]*lambda[3]^2*lambda[1]+719/
422231040000*lambda[4]^2*lambda[2]*lambda[1]+67/87824056320*lambda[3]*lambda[2
]*lambda[1]+19/48791142400*lambda[4]*lambda[1]^2+107/322882560000*lambda[4]^4*
lambda[0]+53/49900032000*lambda[4]^2*lambda[3]*lambda[0]-29/42223104000*lambda
[3]^2*lambda[0]+1867/731867136000*lambda[4]*lambda[2]*lambda[0]+1/1045524480*
lambda[1]*lambda[0])*v[4]^17*v[3]^5*v[2]^2+(-1/230630400*lambda[4]^5*lambda[3]
^2-1/23063040*lambda[4]^3*lambda[3]^3+313/1845043200*lambda[4]*lambda[3]^4-1/
23063040*lambda[4]^4*lambda[3]*lambda[2]+1/14414400*lambda[4]^2*lambda[3]^2*
lambda[2]-47/153753600*lambda[3]^3*lambda[2]-31/115315200*lambda[4]^3*lambda[2
]^2-17/14414400*lambda[4]*lambda[3]*lambda[2]^2-3/51251200*lambda[2]^3+1/
14414400*lambda[4]^5*lambda[1]+1/985600*lambda[4]^3*lambda[3]*lambda[1]+107/
57657600*lambda[4]*lambda[3]^2*lambda[1]-53/38438400*lambda[4]^2*lambda[2]*
lambda[1]-43/23063040*lambda[3]*lambda[2]*lambda[1]-1/698880*lambda[4]*lambda[
1]^2+1/887040*lambda[4]^4*lambda[0]+731/115315200*lambda[4]^2*lambda[3]*lambda
[0]+127/76876800*lambda[3]^2*lambda[0]-43/57657600*lambda[4]*lambda[2]*lambda[
0]-1/768768*lambda[1]*lambda[0])*v[4]^13*v[3]^3*v[2]^4+(9/716800*lambda[4]*
lambda[3]^4+1/44800*lambda[4]^2*lambda[3]^2*lambda[2]+1/35840*lambda[3]^3*
lambda[2]+1/134400*lambda[4]^3*lambda[2]^2+1/16800*lambda[4]*lambda[3]*lambda[
2]^2-1/89600*lambda[2]^3-1/134400*lambda[4]^3*lambda[3]*lambda[1]-1/26880*
lambda[4]*lambda[3]^2*lambda[1]+37/403200*lambda[4]^2*lambda[2]*lambda[1]+13/
80640*lambda[3]*lambda[2]*lambda[1]+13/134400*lambda[4]*lambda[1]^2-1/33600*
lambda[4]^4*lambda[0]-17/44800*lambda[4]^2*lambda[3]*lambda[0]-11/53760*lambda
[3]^2*lambda[0]+1/8960*lambda[4]*lambda[2]*lambda[0]+1/13440*lambda[1]*lambda[
0])*v[4]^9*v[3]^5*v[2]^4+(1/5381376000*lambda[4]^5*lambda[3]^2+1/538137600*
lambda[4]^3*lambda[3]^3-313/43051008000*lambda[4]*lambda[3]^4+1/12108096000*
lambda[4]^6*lambda[2]+101/24216192000*lambda[4]^4*lambda[3]*lambda[2]+461/
96864768000*lambda[4]^2*lambda[3]^2*lambda[2]-67/2152550400*lambda[3]^3*lambda
[2]-893/48432384000*lambda[4]^3*lambda[2]^2-5653/48432384000*lambda[4]*lambda[
3]*lambda[2]^2-107/32288256000*lambda[2]^3+19/6054048000*lambda[4]^5*lambda[1]
+1919/12108096000*lambda[4]^3*lambda[3]*lambda[1]+1241/6918912000*lambda[4]*
lambda[3]^2*lambda[1]-79/504504000*lambda[4]^2*lambda[2]*lambda[1]-1559/
8072064000*lambda[3]*lambda[2]*lambda[1]-41/230630400*lambda[4]*lambda[1]^2+
101/1009008000*lambda[4]^4*lambda[0]+3719/4036032000*lambda[4]^2*lambda[3]*
lambda[0]+37/115315200*lambda[3]^2*lambda[0]-101/807206400*lambda[4]*lambda[2]
*lambda[0]-1/5381376*lambda[1]*lambda[0])*v[4]^13*v[3]^7*v[2]^2+(-31/
88655750133350400*lambda[4]^7*lambda[3]+31/29551916711116800*lambda[4]^5*
lambda[3]^2-68603/23641533368893440000*lambda[4]^3*lambda[3]^3+1221251/
70924600106680320000*lambda[4]*lambda[3]^4-1333/797901751200153600*lambda[4]^6
*lambda[2]+21269/53193450080010240000*lambda[4]^4*lambda[3]*lambda[2]-120443/
30396257188577280000*lambda[4]^2*lambda[3]^2*lambda[2]+8312791/
319160700480061440000*lambda[3]^3*lambda[2]-1004123/17731150026670080000*
lambda[4]^3*lambda[2]^2+352531/14184920021336064000*lambda[4]*lambda[3]*lambda
[2]^2+491/14548635919319040*lambda[2]^3+44549/8865575013335040000*lambda[4]^5*
lambda[1]+49009/805961364848640000*lambda[4]^3*lambda[3]*lambda[1]-47/
1108196876666880*lambda[4]*lambda[3]^2*lambda[1]-632011/1773115002667008000*
lambda[4]^2*lambda[2]*lambda[1]-12119/101320857295257600*lambda[3]*lambda[2]*
lambda[1]-37/278135686692864*lambda[4]*lambda[1]^2+396871/1773115002667008000*
lambda[4]^4*lambda[0]+415097/886557501333504000*lambda[4]^2*lambda[3]*lambda[0
]+2953/101320857295257600*lambda[3]^2*lambda[0]-21383/59103833422233600*lambda
[4]*lambda[2]*lambda[0]-37/278135686692864*lambda[1]*lambda[0])*v[4]^23*v[3]^4
*v[2]+(23/938619601920000*lambda[4]^7*lambda[3]+23/62574640128000*lambda[4]^5*
lambda[3]^2-2663/2502985605120000*lambda[4]^3*lambda[3]^3-24223/
7508956815360000*lambda[4]*lambda[3]^4+23/72201507840000*lambda[4]^6*lambda[2]
+1087/625746401280000*lambda[4]^4*lambda[3]*lambda[2]-277/64179118080000*
lambda[4]^2*lambda[3]^2*lambda[2]-9199/1365264875520000*lambda[3]^3*lambda[2]+
1537/625746401280000*lambda[4]^3*lambda[2]^2-119869/10011942420480000*lambda[4
]*lambda[3]*lambda[2]^2-1/181622538240*lambda[2]^3+137/62574640128000*lambda[4
]^5*lambda[1]+31/1955457504000*lambda[4]^3*lambda[3]*lambda[1]+55973/
2502985605120000*lambda[4]*lambda[3]^2*lambda[1]+27011/834328535040000*lambda[
4]^2*lambda[2]*lambda[1]+163/55621902336000*lambda[3]*lambda[2]*lambda[1]+227/
16686570700800*lambda[4]*lambda[1]^2-103/6134768640000*lambda[4]^4*lambda[0]-\
9307/166865707008000*lambda[4]^2*lambda[3]*lambda[0]+263/18540634112000*lambda
[3]^2*lambda[0]+3593/83432853504000*lambda[4]*lambda[2]*lambda[0]-1/
58549370880*lambda[1]*lambda[0])*v[4]^19*v[3]^6*v[2]+(1/827904000*lambda[4]^3*
lambda[3]^3+1/165580800*lambda[4]*lambda[3]^4-1/620928000*lambda[4]^4*lambda[3
]*lambda[2]+37/2483712000*lambda[4]^2*lambda[3]^2*lambda[2]+1/82790400*lambda[
3]^3*lambda[2]+1/18816000*lambda[4]^3*lambda[2]^2+7/50688000*lambda[4]*lambda[
3]*lambda[2]^2-311/2483712000*lambda[2]^3-1/103488000*lambda[4]^5*lambda[1]-17
/62092800*lambda[4]^3*lambda[3]*lambda[1]-1/6209280*lambda[4]*lambda[3]^2*
lambda[1]+151/310464000*lambda[4]^2*lambda[2]*lambda[1]+197/206976000*lambda[3
]*lambda[2]*lambda[1]+89/310464000*lambda[4]*lambda[1]^2-31/103488000*lambda[4
]^4*lambda[0]-1/258720*lambda[4]^2*lambda[3]*lambda[0]-47/41395200*lambda[3]^2
*lambda[0]+1/1478400*lambda[4]*lambda[2]*lambda[0]+23/20697600*lambda[1]*
lambda[0])*v[4]^7*v[3]^12*v[2]+(9/19712000*lambda[4]*lambda[3]^4+1/4928000*
lambda[4]^2*lambda[3]^2*lambda[2]+1/448000*lambda[3]^3*lambda[2]+17/7392000*
lambda[4]^3*lambda[2]^2+1/96000*lambda[4]*lambda[3]*lambda[2]^2+1/704000*
lambda[2]^3-1/77000*lambda[4]^3*lambda[3]*lambda[1]-9/352000*lambda[4]*lambda[
3]^2*lambda[1]+19/1848000*lambda[4]^2*lambda[2]*lambda[1]+1/336000*lambda[3]*
lambda[2]*lambda[1]+59/3696000*lambda[4]*lambda[1]^2-1/88000*lambda[4]^4*
lambda[0]-3/28000*lambda[4]^2*lambda[3]*lambda[0]-1/15400*lambda[3]^2*lambda[0
]-1/61600*lambda[4]*lambda[2]*lambda[0]-1/184800*lambda[1]*lambda[0])*v[4]^5*v
[3]^11*v[2]^2+(-57/2009047040000*lambda[4]^3*lambda[3]^3+51/401809408000*
lambda[4]*lambda[3]^4+127/1506785280000*lambda[4]^4*lambda[3]*lambda[2]-2609/
6027141120000*lambda[4]^2*lambda[3]^2*lambda[2]+1/3444080640*lambda[3]^3*
lambda[2]-1217/1506785280000*lambda[4]^3*lambda[2]^2-1277/1205428224000*lambda
[4]*lambda[3]*lambda[2]^2-193/723256934400*lambda[2]^3+863/2260177920000*
lambda[4]^5*lambda[1]+389/173859840000*lambda[4]^3*lambda[3]*lambda[1]-29/
64576512000*lambda[4]*lambda[3]^2*lambda[1]-433/113008896000*lambda[4]^2*
lambda[2]*lambda[1]-97/129153024000*lambda[3]*lambda[2]*lambda[1]-9/2009047040
*lambda[4]*lambda[1]^2+157/34771968000*lambda[4]^4*lambda[0]+5587/452035584000
*lambda[4]^2*lambda[3]*lambda[0]+19/25830604800*lambda[3]^2*lambda[0]-3/
12556544000*lambda[4]*lambda[2]*lambda[0]-9/2009047040*lambda[1]*lambda[0])*v[
4]^15*v[3]^8*v[2]+(3/1600*lambda[4]*lambda[3]^4+1/400*lambda[4]^2*lambda[3]^2*
lambda[2]+3/400*lambda[3]^3*lambda[2]+1/600*lambda[4]^3*lambda[2]^2+1/200*
lambda[4]*lambda[3]*lambda[2]^2+1/150*lambda[2]^3-1/150*lambda[4]^3*lambda[3]*
lambda[1]+1/200*lambda[4]*lambda[3]^2*lambda[1]-17/300*lambda[3]*lambda[2]*
lambda[1]+1/300*lambda[4]*lambda[1]^2-1/150*lambda[4]^4*lambda[0]-1/50*lambda[
4]^2*lambda[3]*lambda[0]+9/50*lambda[3]^2*lambda[0]-3/100*lambda[4]*lambda[2]*
lambda[0])*v[4]*v[3]^5*v[2]^6+(-3/179200*lambda[4]*lambda[3]^4+13/403200*
lambda[4]^2*lambda[3]^2*lambda[2]-1/57600*lambda[3]^3*lambda[2]+1/67200*lambda
[4]^3*lambda[2]^2+1/9600*lambda[4]*lambda[3]*lambda[2]^2+1/22400*lambda[2]^3-1
/12600*lambda[4]^3*lambda[3]*lambda[1]+1/28800*lambda[4]*lambda[3]^2*lambda[1]
-1/16800*lambda[4]^2*lambda[2]*lambda[1]+1/6720*lambda[3]*lambda[2]*lambda[1]-\
1/33600*lambda[4]*lambda[1]^2-1/16800*lambda[4]^4*lambda[0]-1/3150*lambda[4]^2
*lambda[3]*lambda[0]-1/25200*lambda[3]^2*lambda[0]-3/11200*lambda[4]*lambda[2]
*lambda[0])*v[4]^9*v[3]*v[2]^6+(-1/280*lambda[3]^3*lambda[2]+1/70*lambda[4]*
lambda[3]*lambda[2]^2-1/35*lambda[2]^3-3/280*lambda[4]*lambda[3]^2*lambda[1]+1
/70*lambda[4]^2*lambda[2]*lambda[1]+1/35*lambda[3]*lambda[2]*lambda[1]+1/70*
lambda[4]*lambda[1]^2-3/35*lambda[4]^2*lambda[3]*lambda[0]+11/280*lambda[3]^2*
lambda[0]+9/70*lambda[4]*lambda[2]*lambda[0]-13/70*lambda[1]*lambda[0])*v[2]^7
*v[1]+(31/66491812600012800*lambda[4]^7*lambda[3]-31/22163937533337600*lambda[
4]^5*lambda[3]^2+68603/17731150026670080000*lambda[4]^3*lambda[3]^3-1221251/
53193450080010240000*lambda[4]*lambda[3]^4-31/66491812600012800*lambda[4]^6*
lambda[2]-79979/4432787506667520000*lambda[4]^4*lambda[3]*lambda[2]+540571/
5910383342223360000*lambda[4]^2*lambda[3]^2*lambda[2]+1956763/
26596725040005120000*lambda[3]^3*lambda[2]-51/1379641303040000*lambda[4]^3*
lambda[2]^2-533107/5910383342223360000*lambda[4]*lambda[3]*lambda[2]^2-823/
8041337880576000*lambda[2]^3+110287/2216393753333760000*lambda[4]^5*lambda[1]-\
82153/443278750666752000*lambda[4]^3*lambda[3]*lambda[1]-277/25330214323814400
*lambda[4]*lambda[3]^2*lambda[1]+52967/147759583555584000*lambda[4]^2*lambda[2
]*lambda[1]-20759/59103833422233600*lambda[3]*lambda[2]*lambda[1]+37/
69533921673216*lambda[4]*lambda[1]^2+389797/2216393753333760000*lambda[4]^4*
lambda[0]-61/108222351237000*lambda[4]^2*lambda[3]*lambda[0]-2357/
22163937533337600*lambda[3]^2*lambda[0]+2879/3693989588889600*lambda[4]*lambda
[2]*lambda[0]+37/69533921673216*lambda[1]*lambda[0])*v[4]^23*v[2]^3+(-1/160*
lambda[4]*lambda[1]^2+1/80*lambda[4]^2*lambda[3]*lambda[0]+1/160*lambda[3]^2*
lambda[0]+1/40*lambda[4]*lambda[2]*lambda[0]-3/160*lambda[1]*lambda[0])*v[4]^6
*v[3]^2*v[2]*v[1]^3+(3/25625600*lambda[4]*lambda[3]^4+1/19219200*lambda[4]^2*
lambda[3]^2*lambda[2]+3/6406400*lambda[3]^3*lambda[2]+17/28828800*lambda[4]^3*
lambda[2]^2+1/9609600*lambda[4]*lambda[3]*lambda[2]^2+1/400400*lambda[2]^3-1/
300300*lambda[4]^3*lambda[3]*lambda[1]+1/9609600*lambda[4]*lambda[3]^2*lambda[
1]-1/1029600*lambda[4]^2*lambda[2]*lambda[1]-41/1601600*lambda[3]*lambda[2]*
lambda[1]+19/14414400*lambda[4]*lambda[1]^2-1/343200*lambda[4]^4*lambda[0]-1/
100100*lambda[4]^2*lambda[3]*lambda[0]+17/100100*lambda[3]^2*lambda[0]-61/
4804800*lambda[4]*lambda[2]*lambda[0]+1/34320*lambda[1]*lambda[0])*v[4]*v[3]^
13*v[2]^2+(-3/20070400*lambda[4]*lambda[3]^4-13/45158400*lambda[4]^2*lambda[3]
^2*lambda[2]-23/45158400*lambda[3]^3*lambda[2]-17/67737600*lambda[4]^3*lambda[
2]^2-11/13547520*lambda[4]*lambda[3]*lambda[2]^2-43/203212800*lambda[2]^3+1/
1128960*lambda[4]^3*lambda[3]*lambda[1]-1/645120*lambda[4]*lambda[3]^2*lambda[
1]-1/423360*lambda[4]^2*lambda[2]*lambda[1]-1/691200*lambda[3]*lambda[2]*
lambda[1]-1/322560*lambda[4]*lambda[1]^2+1/806400*lambda[4]^4*lambda[0]+67/
5644800*lambda[4]^2*lambda[3]*lambda[0]-29/5644800*lambda[3]^2*lambda[0]-1/
1612800*lambda[4]*lambda[2]*lambda[0]-1/564480*lambda[1]*lambda[0])*v[4]^9*v[3
]^9*v[2]^2+(1/4*lambda[4]*lambda[1]^2-1/4*lambda[3]^2*lambda[0]+3/4*lambda[1]*
lambda[0])*v[4]^2*v[2]^3*v[1]^3+(-1/12*lambda[4]*lambda[1]^2+3/4*lambda[3]^2*
lambda[0]+1/3*lambda[4]*lambda[2]*lambda[0]+5/12*lambda[1]*lambda[0])*v[3]^3*v
[2]^2*v[1]^3+(1/960*lambda[4]^2*lambda[3]^2*lambda[2]+1/1920*lambda[3]^3*
lambda[2]+1/480*lambda[4]*lambda[3]*lambda[2]^2+1/960*lambda[2]^3+1/480*lambda
[4]^3*lambda[3]*lambda[1]+11/1920*lambda[4]*lambda[3]^2*lambda[1]+1/480*lambda
[4]^2*lambda[2]*lambda[1]+1/240*lambda[3]*lambda[2]*lambda[1]+1/160*lambda[4]*
lambda[1]^2-1/480*lambda[4]^2*lambda[3]*lambda[0]+5/384*lambda[3]^2*lambda[0]-\
1/480*lambda[4]*lambda[2]*lambda[0]-1/160*lambda[1]*lambda[0])*v[4]^6*v[3]^3*v
[2]^4*v[1]+(3/320*lambda[3]^3*lambda[2]+1/240*lambda[4]*lambda[3]*lambda[2]^2+
1/80*lambda[2]^3+9/320*lambda[4]*lambda[3]^2*lambda[1]+1/240*lambda[4]^2*
lambda[2]*lambda[1]+1/120*lambda[3]*lambda[2]*lambda[1]+11/240*lambda[4]*
lambda[1]^2-1/40*lambda[4]^2*lambda[3]*lambda[0]-33/320*lambda[3]^2*lambda[0]-\
11/240*lambda[4]*lambda[2]*lambda[0]+17/240*lambda[1]*lambda[0])*v[4]^4*v[3]^2
*v[2]^5*v[1]+(19/5381376000*lambda[4]^3*lambda[3]*lambda[1]-17/1076275200*
lambda[4]*lambda[3]^2*lambda[1]+113/16144128000*lambda[4]^2*lambda[2]*lambda[1
]+17/3228825600*lambda[3]*lambda[2]*lambda[1]-19/244608000*lambda[4]*lambda[1]
^2-127/8072064000*lambda[4]^4*lambda[0]+227/3228825600*lambda[4]^2*lambda[3]*
lambda[0]-401/6457651200*lambda[3]^2*lambda[0]+31/107627520*lambda[4]*lambda[2
]*lambda[0]-1/26906880*lambda[1]*lambda[0])*v[4]^15*v[3]^3*v[1]^2+(-1/40*
lambda[4]*lambda[3]^2*lambda[1]+1/10*lambda[4]^2*lambda[2]*lambda[1]-1/20*
lambda[3]*lambda[2]*lambda[1]+1/5*lambda[4]*lambda[1]^2-1/5*lambda[4]^2*lambda
[3]*lambda[0]-3/40*lambda[3]^2*lambda[0]+1/10*lambda[4]*lambda[2]*lambda[0]+2/
5*lambda[1]*lambda[0])*v[4]*v[2]^5*v[1]^2+(-3/3200*lambda[4]*lambda[3]^2*
lambda[1]-1/2400*lambda[4]^2*lambda[2]*lambda[1]-7/4800*lambda[3]*lambda[2]*
lambda[1]+1/600*lambda[4]*lambda[1]^2-3/640*lambda[3]^2*lambda[0]-1/80*lambda[
4]*lambda[2]*lambda[0]-1/240*lambda[1]*lambda[0])*v[4]^5*v[3]^6*v[2]*v[1]^2+(
1517/315618016704732758016000000*lambda[4]^9-2157229/
35901549400163351224320000000*lambda[4]^7*lambda[3]+1761901/
7815303270783858769920000000*lambda[4]^5*lambda[3]^2-17287379/
114884958080522723917824000000*lambda[4]^3*lambda[3]^3-104283281/
267368629714671066572390400000*lambda[4]*lambda[3]^4+506951/
2815807796091243233280000000*lambda[4]^6*lambda[2]-4094003/
2552999068456060531507200000*lambda[4]^4*lambda[3]*lambda[2]+1655207/
453866501058855205601280000*lambda[4]^2*lambda[3]^2*lambda[2]-407971/
891228765715570221907968000*lambda[3]^3*lambda[2]+3943/
3946665226598740918272000*lambda[4]^3*lambda[2]^2-123559/
27231990063531312336076800*lambda[4]*lambda[3]*lambda[2]^2+1/
3221767531917339525120*lambda[2]^3+25321/41444790072338644992000000*lambda[4]^
5*lambda[1]-1175893/371345319048154259128320000*lambda[4]^3*lambda[3]*lambda[1
]+6367/2184384229695025053696000*lambda[4]*lambda[3]^2*lambda[1]+263/
97083743542001113497600*lambda[4]^2*lambda[2]*lambda[1]+11591/
4951270920642056788377600*lambda[3]*lambda[2]*lambda[1]-31513/
4951270920642056788377600*lambda[4]*lambda[1]^2+3533/2813222114001168629760000
*lambda[4]^4*lambda[0]-10739/2250577691200934903808000*lambda[4]^2*lambda[3]*
lambda[0]+73/900231076480373961523200*lambda[3]^2*lambda[0]+1223/
150038512746728993587200*lambda[4]*lambda[2]*lambda[0]-1/652341359768386928640
*lambda[1]*lambda[0])*v[4]^33*v[3]+(-31/398950875600076800000*lambda[4]^9-31/
19947543780003840000*lambda[4]^7*lambda[3]-20513/13298362520002560000000*
lambda[4]^5*lambda[3]^2+151/1877415885176832000*lambda[4]^3*lambda[3]^3-477509
/2687669056674201600000*lambda[4]*lambda[3]^4+5617/356206138928640000000*
lambda[4]^6*lambda[2]-811/3454120135065600000*lambda[4]^4*lambda[3]*lambda[2]+
67867/111986210694758400000*lambda[4]^2*lambda[3]^2*lambda[2]+286529/
2553285603840491520000*lambda[3]^3*lambda[2]-8233/35462300053340160000*lambda[
4]^3*lambda[2]^2+5/113479360170688512*lambda[4]*lambda[3]*lambda[2]^2-59/
82231420413542400*lambda[2]^3+1409/5277127984128000000*lambda[4]^5*lambda[1]-\
133459/118207666844467200000*lambda[4]^3*lambda[3]*lambda[1]+761/
656709260247040000*lambda[4]*lambda[3]^2*lambda[1]-6101/14184920021336064000*
lambda[4]^2*lambda[2]*lambda[1]+31/2836984004267212800*lambda[3]*lambda[2]*
lambda[1]-29/10391882799513600*lambda[4]*lambda[1]^2+293/183173037465600000*
lambda[4]^4*lambda[0]-859/921098702684160000*lambda[4]^2*lambda[3]*lambda[0]+
1289/2579076367515648000*lambda[3]^2*lambda[0]+137/85969212250521600*lambda[4]
*lambda[2]*lambda[0]-1/373779183697920*lambda[1]*lambda[0])*v[4]^25*v[3]^5+(-\
19/17937920000*lambda[4]^3*lambda[3]^3+17/3587584000*lambda[4]*lambda[3]^4-37/
11007360000*lambda[4]^4*lambda[3]*lambda[2]+17/1976832000*lambda[4]^2*lambda[3
]^2*lambda[2]+29/9686476800*lambda[3]^3*lambda[2]-71/5765760000*lambda[4]^3*
lambda[2]^2-23/10762752000*lambda[4]*lambda[3]*lambda[2]^2+1/73216000*lambda[2
]^3+37/5503680000*lambda[4]^5*lambda[1]+89/60540480000*lambda[4]^3*lambda[3]*
lambda[1]-37/1100736000*lambda[4]*lambda[3]^2*lambda[1]-3/56056000*lambda[4]^2
*lambda[2]*lambda[1]+1/538137600*lambda[3]*lambda[2]*lambda[1]+1/32288256*
lambda[4]*lambda[1]^2+3389/60540480000*lambda[4]^4*lambda[0]+667/12108096000*
lambda[4]^2*lambda[3]*lambda[0]-71/4843238400*lambda[3]^2*lambda[0]-1/12612600
*lambda[4]*lambda[2]*lambda[0]+1/32288256*lambda[1]*lambda[0])*v[4]^15*v[2]^5+
(-1/80*lambda[3]*lambda[2]*lambda[1]+1/40*lambda[4]*lambda[1]^2+9/160*lambda[3
]^2*lambda[0]-3/20*lambda[4]*lambda[2]*lambda[0])*v[4]^3*v[3]^5*v[2]^2*v[1]^2+
(3/35840*lambda[4]*lambda[3]^2*lambda[1]+1/80640*lambda[4]^2*lambda[2]*lambda[
1]+1/23040*lambda[3]*lambda[2]*lambda[1]-1/13440*lambda[4]*lambda[1]^2+1/4480*
lambda[4]^2*lambda[3]*lambda[0]+13/35840*lambda[3]^2*lambda[0]+3/8960*lambda[4
]*lambda[2]*lambda[0]+1/6720*lambda[1]*lambda[0])*v[4]^9*v[3]^4*v[2]*v[1]^2+(
53/27254732144640000*lambda[4]^5*lambda[3]^2-367/68136830361600000*lambda[4]^3
*lambda[3]^3-4189/436075714314240000*lambda[4]*lambda[3]^4-1/907743957120000*
lambda[4]^6*lambda[2]+2759/141514955366400000*lambda[4]^4*lambda[3]*lambda[2]-\
547/13140674426880000*lambda[4]^2*lambda[3]^2*lambda[2]+54269/
8830533214863360000*lambda[3]^3*lambda[2]+599/81764196433920000*lambda[4]^3*
lambda[2]^2-67/743310876672000*lambda[4]*lambda[3]*lambda[2]^2-1/
124593061232640*lambda[2]^3-1367/76653934156800000*lambda[4]^5*lambda[1]+8443/
49058517860352000*lambda[4]^3*lambda[3]*lambda[1]+10853/245292589301760000*
lambda[4]*lambda[3]^2*lambda[1]+1019/9811703572070400*lambda[4]^2*lambda[2]*
lambda[1]-83/754746428620800*lambda[3]*lambda[2]*lambda[1]+523/
3270567857356800*lambda[4]*lambda[1]^2-1/3220753536000*lambda[4]^4*lambda[0]+
17/108488540160000*lambda[4]^2*lambda[3]*lambda[0]-6437/98117035720704000*
lambda[3]^2*lambda[0]+41/817641964339200*lambda[4]*lambda[2]*lambda[0]+31/
65411357147136*lambda[1]*lambda[0])*v[4]^21*v[3]^7+(3/160*lambda[4]*lambda[3]^
2*lambda[1]-1/240*lambda[3]*lambda[2]*lambda[1]-1/60*lambda[4]*lambda[1]^2+3/
40*lambda[4]^2*lambda[3]*lambda[0]+3/32*lambda[3]^2*lambda[0]+1/30*lambda[1]*
lambda[0])*v[4]^5*v[3]^2*v[2]^3*v[1]^2+(-1/800*lambda[3]^3*lambda[2]+19/4800*
lambda[4]*lambda[3]*lambda[2]^2+17/14400*lambda[2]^3-9/400*lambda[4]*lambda[3]
^2*lambda[1]+1/1200*lambda[4]^2*lambda[2]*lambda[1]-1/240*lambda[3]*lambda[2]*
lambda[1]-1/360*lambda[4]*lambda[1]^2-7/400*lambda[4]^2*lambda[3]*lambda[0]-9/
400*lambda[3]^2*lambda[0]-7/1800*lambda[4]*lambda[2]*lambda[0]-1/360*lambda[1]
*lambda[0])*v[4]^3*v[3]^6*v[2]^5+(1/4928000*lambda[4]^3*lambda[3]*lambda[1]-1/
4928000*lambda[4]*lambda[3]^2*lambda[1]+19/44352000*lambda[4]^2*lambda[2]*
lambda[1]+61/88704000*lambda[3]*lambda[2]*lambda[1]-1/192000*lambda[4]*lambda[
1]^2-1/2464000*lambda[4]^4*lambda[0]+13/4928000*lambda[4]^2*lambda[3]*lambda[0
]+1/358400*lambda[3]^2*lambda[0]+1/44800*lambda[4]*lambda[2]*lambda[0]-1/
134400*lambda[1]*lambda[0])*v[4]^11*v[3]^5*v[1]^2+(-1/17920*lambda[4]*lambda[3
]^4-1/6720*lambda[4]^2*lambda[3]^2*lambda[2]-1/4480*lambda[3]^3*lambda[2]-1/
3360*lambda[4]*lambda[3]*lambda[2]^2-1/3360*lambda[2]^3-1/3360*lambda[4]^3*
lambda[3]*lambda[1]-1/3360*lambda[4]*lambda[3]^2*lambda[1]-1/3360*lambda[4]^2*
lambda[2]*lambda[1]+3/1120*lambda[3]*lambda[2]*lambda[1]+1/1120*lambda[4]*
lambda[1]^2-1/1120*lambda[4]^2*lambda[3]*lambda[0]-27/2240*lambda[3]^2*lambda[
0]-1/3360*lambda[4]*lambda[2]*lambda[0]-1/1680*lambda[1]*lambda[0])*v[4]*v[3]^
9*v[2]^4+(-1/470400*lambda[4]^3*lambda[3]*lambda[1]-1/94080*lambda[4]*lambda[3
]^2*lambda[1]-1/94080*lambda[4]^2*lambda[2]*lambda[1]-1/156800*lambda[3]*
lambda[2]*lambda[1]+1/47040*lambda[4]*lambda[1]^2+1/235200*lambda[4]^4*lambda[
0]-11/470400*lambda[4]^2*lambda[3]*lambda[0]-1/44800*lambda[3]^2*lambda[0]-61/
235200*lambda[4]*lambda[2]*lambda[0]-1/5880*lambda[1]*lambda[0])*v[4]^7*v[3]^7
*v[1]^2+(-1/33600*lambda[4]^2*lambda[3]^2*lambda[2]-13/268800*lambda[3]^3*
lambda[2]+1/8400*lambda[4]^3*lambda[2]^2+1/22400*lambda[4]*lambda[3]*lambda[2]
^2-1/16800*lambda[4]^3*lambda[3]*lambda[1]-71/268800*lambda[4]*lambda[3]^2*
lambda[1]+17/22400*lambda[4]^2*lambda[2]*lambda[1]+1/11200*lambda[3]*lambda[2]
*lambda[1]+17/13440*lambda[4]*lambda[1]^2-1/2100*lambda[4]^4*lambda[0]-43/
33600*lambda[4]^2*lambda[3]*lambda[0]-41/268800*lambda[3]^2*lambda[0]+1/1920*
lambda[4]*lambda[2]*lambda[0]+11/13440*lambda[1]*lambda[0])*v[4]^8*v[2]^5*v[1]
+(-1/57657600*lambda[4]^5*lambda[1]-1/5765760*lambda[4]^3*lambda[3]*lambda[1]+
313/461260800*lambda[4]*lambda[3]^2*lambda[1]+1/7687680*lambda[4]^2*lambda[2]*
lambda[1]-17/10982400*lambda[3]*lambda[2]*lambda[1]-1/960960*lambda[4]*lambda[
1]^2-1/1478400*lambda[4]^4*lambda[0]-1/1478400*lambda[4]^2*lambda[3]*lambda[0]
+79/11827200*lambda[3]^2*lambda[0]+3/457600*lambda[4]*lambda[2]*lambda[0]-1/
1281280*lambda[1]*lambda[0])*v[4]^13*v[3]^2*v[2]*v[1]^2+(-1/8960*lambda[3]^3*
lambda[2]-1/6720*lambda[4]*lambda[3]*lambda[2]^2+1/4480*lambda[2]^3-3/8960*
lambda[4]*lambda[3]^2*lambda[1]-1/6720*lambda[4]^2*lambda[2]*lambda[1]-1/3360*
lambda[3]*lambda[2]*lambda[1]+1/960*lambda[4]*lambda[1]^2-3/1120*lambda[4]^2*
lambda[3]*lambda[0]-89/8960*lambda[3]^2*lambda[0]-23/6720*lambda[4]*lambda[2]*
lambda[0]+17/6720*lambda[1]*lambda[0])*v[4]^2*v[3]^9*v[2]^2*v[1]+(-1/48*lambda
[4]*lambda[1]^2+3/16*lambda[3]^2*lambda[0]+1/12*lambda[4]*lambda[2]*lambda[0]+
5/48*lambda[1]*lambda[0])*v[4]^2*v[3]^4*v[2]*v[1]^3+(3/320*lambda[3]^3*lambda[
2]+1/240*lambda[4]*lambda[3]*lambda[2]^2-1/480*lambda[2]^3+9/320*lambda[4]*
lambda[3]^2*lambda[1]+1/240*lambda[4]^2*lambda[2]*lambda[1]+1/120*lambda[3]*
lambda[2]*lambda[1]-3/80*lambda[4]*lambda[1]^2-1/40*lambda[4]^2*lambda[3]*
lambda[0]-69/320*lambda[3]^2*lambda[0]+1/80*lambda[4]*lambda[2]*lambda[0]-1/16
*lambda[1]*lambda[0])*v[4]^2*v[3]^5*v[2]^4*v[1]+(1/88704000*lambda[4]^4*lambda
[3]*lambda[2]+1/88704000*lambda[4]^2*lambda[3]^2*lambda[2]-79/709632000*lambda
[3]^3*lambda[2]+1/22176000*lambda[4]^3*lambda[2]^2+13/177408000*lambda[4]*
lambda[3]*lambda[2]^2-1/5068800*lambda[2]^3+1/88704000*lambda[4]^5*lambda[1]+1
/8870400*lambda[4]^3*lambda[3]*lambda[1]-41/141926400*lambda[4]*lambda[3]^2*
lambda[1]+61/177408000*lambda[4]^2*lambda[2]*lambda[1]+13/88704000*lambda[3]*
lambda[2]*lambda[1]-1/5376000*lambda[4]*lambda[1]^2+43/88704000*lambda[4]^4*
lambda[0]+439/88704000*lambda[4]^2*lambda[3]*lambda[0]+29/28385280*lambda[3]^2
*lambda[0]+1/788480*lambda[4]*lambda[2]*lambda[0]+1/3942400*lambda[1]*lambda[0
])*v[4]^12*v[3]^6*v[2]*v[1]+(-23/1235025792000*lambda[4]^6*lambda[2]-23/
823350528000*lambda[4]^4*lambda[3]*lambda[2]+167/470486016000*lambda[4]^2*
lambda[3]^2*lambda[2]+18527/79041650688000*lambda[3]^3*lambda[2]-1/
274450176000*lambda[4]^3*lambda[2]^2-3427/2195601408000*lambda[4]*lambda[3]*
lambda[2]^2-23/41820979200*lambda[2]^3-23/91483392000*lambda[4]^5*lambda[1]+89
/182966784000*lambda[4]^3*lambda[3]*lambda[1]+113/53226700800*lambda[4]*lambda
[3]^2*lambda[1]-139/87824056320*lambda[4]^2*lambda[2]*lambda[1]-3427/
1097800704000*lambda[3]*lambda[2]*lambda[1]-19/3753164800*lambda[4]*lambda[1]^
2-127/274450176000*lambda[4]^4*lambda[0]+7283/1097800704000*lambda[4]^2*lambda
[3]*lambda[0]+211/103322419200*lambda[3]^2*lambda[0]+101/146373427200*lambda[4
]*lambda[2]*lambda[0]-103/29274685440*lambda[1]*lambda[0])*v[4]^18*v[3]*v[2]^2
*v[1]+(-1/80*lambda[3]^3*lambda[2]+1/20*lambda[4]*lambda[3]*lambda[2]^2+1/40*
lambda[2]^3-3/80*lambda[4]*lambda[3]^2*lambda[1]+1/20*lambda[4]^2*lambda[2]*
lambda[1]+1/10*lambda[3]*lambda[2]*lambda[1]+1/20*lambda[4]*lambda[1]^2-3/10*
lambda[4]^2*lambda[3]*lambda[0]-9/80*lambda[3]^2*lambda[0]-1/20*lambda[4]*
lambda[2]*lambda[0]+7/20*lambda[1]*lambda[0])*v[4]^2*v[3]*v[2]^6*v[1]+(3/
89689600*lambda[3]^3*lambda[2]+379/538137600*lambda[4]*lambda[3]*lambda[2]^2-1
/25625600*lambda[2]^3-93/44844800*lambda[4]*lambda[3]^2*lambda[1]-19/134534400
*lambda[4]^2*lambda[2]*lambda[1]+79/134534400*lambda[3]*lambda[2]*lambda[1]-1/
1223040*lambda[4]*lambda[1]^2+1/183040*lambda[4]^2*lambda[3]*lambda[0]-93/
44844800*lambda[3]^2*lambda[0]+89/22422400*lambda[4]*lambda[2]*lambda[0]-1/
1223040*lambda[1]*lambda[0])*v[4]^3*v[3]^14*v[2]+(-23/46930980096000*lambda[4]
^7*lambda[3]-23/3128732006400*lambda[4]^5*lambda[3]^2+2663/125149280256000*
lambda[4]^3*lambda[3]^3+24223/375447840768000*lambda[4]*lambda[3]^4-23/
46930980096000*lambda[4]^6*lambda[2]-1213/31287320064000*lambda[4]^4*lambda[3]
*lambda[2]+23/556219023360*lambda[4]^2*lambda[3]^2*lambda[2]-4297/
750895681536000*lambda[3]^3*lambda[2]-109/695273779200*lambda[4]^3*lambda[2]^2
-2579/23837958144000*lambda[4]*lambda[3]*lambda[2]^2-1627/55621902336000*
lambda[2]^3+61/920215296000*lambda[4]^5*lambda[1]+101/3910915008000*lambda[4]^
3*lambda[3]*lambda[1]-1/38745907200*lambda[4]*lambda[3]^2*lambda[1]-28607/
41716426752000*lambda[4]^2*lambda[2]*lambda[1]-1817/8343285350400*lambda[3]*
lambda[2]*lambda[1]-5/9815629824*lambda[4]*lambda[1]^2+643/920215296000*lambda
[4]^4*lambda[0]+7867/6586804224000*lambda[4]^2*lambda[3]*lambda[0]+457/
1787846860800*lambda[3]^2*lambda[0]-1151/4171642675200*lambda[4]*lambda[2]*
lambda[0]-5/9815629824*lambda[1]*lambda[0])*v[4]^19*v[3]^2*v[2]^3+(-1/
2759680000*lambda[4]^3*lambda[3]^3+1/2759680000*lambda[4]*lambda[3]^4+1/
2069760000*lambda[4]^4*lambda[3]*lambda[2]-97/24837120000*lambda[4]^2*lambda[3
]^2*lambda[2]-113/24837120000*lambda[3]^3*lambda[2]-139/18627840000*lambda[4]^
3*lambda[2]^2-1313/29804544000*lambda[4]*lambda[3]*lambda[2]^2-767/89413632000
*lambda[2]^3+1/344960000*lambda[4]^5*lambda[1]+43/1552320000*lambda[4]^3*
lambda[3]*lambda[1]+103/1774080000*lambda[4]*lambda[3]^2*lambda[1]-199/
5322240000*lambda[4]^2*lambda[2]*lambda[1]-421/7451136000*lambda[3]*lambda[2]*
lambda[1]-1/49674240*lambda[4]*lambda[1]^2+139/3104640000*lambda[4]^4*lambda[0
]-241/2483712000*lambda[4]^2*lambda[3]*lambda[0]+17/354816000*lambda[3]^2*
lambda[0]-1/16128000*lambda[4]*lambda[2]*lambda[0]-1/49674240*lambda[1]*lambda
[0])*v[4]^11*v[3]^10*v[2]+(19/7175168000*lambda[4]^3*lambda[3]^3-17/1435033600
*lambda[4]*lambda[3]^4+241/48432384000*lambda[4]^4*lambda[3]*lambda[2]-173/
14902272000*lambda[4]^2*lambda[3]^2*lambda[2]-67/3874590720*lambda[3]^3*lambda
[2]-53/5381376000*lambda[4]^3*lambda[2]^2-1/21504000*lambda[4]*lambda[3]*
lambda[2]^2-151/21525504000*lambda[2]^3+127/24216192000*lambda[4]^5*lambda[1]+
1891/24216192000*lambda[4]^3*lambda[3]*lambda[1]+487/9686476800*lambda[4]*
lambda[3]^2*lambda[1]-41/2018016000*lambda[4]^2*lambda[2]*lambda[1]-19/
3228825600*lambda[3]*lambda[2]*lambda[1]+1/64576512*lambda[4]*lambda[1]^2+1081
/24216192000*lambda[4]^4*lambda[0]+1283/4843238400*lambda[4]^2*lambda[3]*
lambda[0]+131/1210809600*lambda[3]^2*lambda[0]+29/807206400*lambda[4]*lambda[2
]*lambda[0]+1/64576512*lambda[1]*lambda[0])*v[4]^15*v[3]^4*v[2]^3+(1/9856000*
lambda[4]^3*lambda[3]^3-1/9856000*lambda[4]*lambda[3]^4+1/7392000*lambda[4]^4*
lambda[3]*lambda[2]+1/1971200*lambda[4]^2*lambda[3]^2*lambda[2]-1/4224000*
lambda[3]^3*lambda[2]+1/22176000*lambda[4]^3*lambda[2]^2-173/177408000*lambda[
4]*lambda[3]*lambda[2]^2-1/8448000*lambda[2]^3+1/11088000*lambda[4]^5*lambda[1
]+1/504000*lambda[4]^3*lambda[3]*lambda[1]+67/11088000*lambda[4]*lambda[3]^2*
lambda[1]+1/806400*lambda[4]^2*lambda[2]*lambda[1]-1/576000*lambda[3]*lambda[2
]*lambda[1]-1/887040*lambda[4]*lambda[1]^2+1/3696000*lambda[4]^4*lambda[0]+47/
6336000*lambda[4]^2*lambda[3]*lambda[0]+1/177408*lambda[3]^2*lambda[0]+1/
633600*lambda[4]*lambda[2]*lambda[0]-1/887040*lambda[1]*lambda[0])*v[4]^11*v[3
]^6*v[2]^3+(-1/1254400*lambda[4]^3*lambda[3]^3-1/250880*lambda[4]*lambda[3]^4-\
1/940800*lambda[4]^4*lambda[3]*lambda[2]-13/752640*lambda[4]^2*lambda[3]^2*
lambda[2]-1/89600*lambda[3]^3*lambda[2]-1/940800*lambda[4]^3*lambda[2]^2-33/
1254400*lambda[4]*lambda[3]*lambda[2]^2+31/3763200*lambda[2]^3-1/1411200*
lambda[4]^5*lambda[1]-53/1411200*lambda[4]^3*lambda[3]*lambda[1]-37/940800*
lambda[4]*lambda[3]^2*lambda[1]-9/156800*lambda[4]^2*lambda[2]*lambda[1]-349/
2822400*lambda[3]*lambda[2]*lambda[1]-13/282240*lambda[4]*lambda[1]^2-1/470400
*lambda[4]^4*lambda[0]+29/235200*lambda[4]^2*lambda[3]*lambda[0]+13/39200*
lambda[3]^2*lambda[0]-3/39200*lambda[4]*lambda[2]*lambda[0]-13/282240*lambda[1
]*lambda[0])*v[4]^7*v[3]^8*v[2]^3+(-9103/32637772181966682931200000*lambda[4]^
9+1283497/466253888313809756160000000*lambda[4]^7*lambda[3]-10404131/
1087925739398889431040000000*lambda[4]^5*lambda[3]^2+13064869/
835526967858347083038720000*lambda[4]^3*lambda[3]^3-59788919/
4177634839291735415193600000*lambda[4]*lambda[3]^4-76729/
51805987590423306240000000*lambda[4]^6*lambda[2]-198823/
52747914637521911808000000*lambda[4]^4*lambda[3]*lambda[2]+1014397/
20181810817834470604800000*lambda[4]^2*lambda[3]^2*lambda[2]-94951/
2018181081783447060480000*lambda[3]^3*lambda[2]-183779/
7736360813503213731840000*lambda[4]^3*lambda[2]^2+39827/
884155521543224426496000*lambda[4]*lambda[3]*lambda[2]^2-59/
400977560790577971200*lambda[2]^3+422761/11604541220254820597760000*lambda[4]^
5*lambda[1]-90809/464181648810192823910400*lambda[4]^3*lambda[3]*lambda[1]+
469877/2320908244050964119552000*lambda[4]*lambda[3]^2*lambda[1]+61981/
386818040675160686592000*lambda[4]^2*lambda[2]*lambda[1]+37/
589437014362149617664*lambda[3]*lambda[2]*lambda[1]-50657/
154727216270064274636800*lambda[4]*lambda[1]^2+460417/
3868180406751606865920000*lambda[4]^4*lambda[0]-385771/
773636081350321373184000*lambda[4]^2*lambda[3]*lambda[0]+57809/
309454432540128549273600*lambda[3]^2*lambda[0]+13/19073867883390566400*lambda[
4]*lambda[2]*lambda[0]-79/158694580789809512448*lambda[1]*lambda[0])*v[4]^31*v
[2]+(31/66491812600012800*lambda[4]^6*lambda[2]-13649/4432787506667520000*
lambda[4]^4*lambda[3]*lambda[2]+108971/17731150026670080000*lambda[4]^2*lambda
[3]^2*lambda[2]-2195653/425547600640081920000*lambda[3]^3*lambda[2]-3799/
1477595835555840000*lambda[4]^3*lambda[2]^2+6109/337736190984192000*lambda[4]*
lambda[3]*lambda[2]^2-1/22975251087360*lambda[2]^3+59/23453902151680000*lambda
[4]^5*lambda[1]-12157/985063890370560000*lambda[4]^3*lambda[3]*lambda[1]+
143491/15761022245928960000*lambda[4]*lambda[3]^2*lambda[1]+31463/
11820766684446720000*lambda[4]^2*lambda[2]*lambda[1]+6109/168868095492096000*
lambda[3]*lambda[2]*lambda[1]-1503/52536740819763200*lambda[4]*lambda[1]^2+
48619/1477595835555840000*lambda[4]^4*lambda[0]-122827/1182076668444672000*
lambda[4]^2*lambda[3]*lambda[0]-103969/1891322669511475200*lambda[3]^2*lambda[
0]+31853/157610222459289600*lambda[4]*lambda[2]*lambda[0]+5069/
31522044491857920*lambda[1]*lambda[0])*v[4]^24*v[2]*v[1]+(1/8960*lambda[4]*
lambda[1]^2+1/3360*lambda[4]^2*lambda[3]*lambda[0]+13/26880*lambda[3]^2*lambda
[0]-1/3360*lambda[4]*lambda[2]*lambda[0]+1/26880*lambda[1]*lambda[0])*v[4]^8*v
[3]^3*v[1]^3+(1/985600*lambda[3]^3*lambda[2]-1/739200*lambda[4]*lambda[3]*
lambda[2]^2-1/123200*lambda[2]^3+3/985600*lambda[4]*lambda[3]^2*lambda[1]-1/
739200*lambda[4]^2*lambda[2]*lambda[1]-1/369600*lambda[3]*lambda[2]*lambda[1]-\
23/739200*lambda[4]*lambda[1]^2-1/11200*lambda[4]^2*lambda[3]*lambda[0]+23/
89600*lambda[3]^2*lambda[0]-1/739200*lambda[4]*lambda[2]*lambda[0]+23/147840*
lambda[1]*lambda[0])*v[3]^12*v[2]*v[1]+(-23/24216192000*lambda[4]^4*lambda[3]*
lambda[2]+173/48432384000*lambda[4]^2*lambda[3]^2*lambda[2]+211/154983628800*
lambda[3]^3*lambda[2]-1/1009008000*lambda[4]^3*lambda[2]^2-131/21525504000*
lambda[4]*lambda[3]*lambda[2]^2-1/73216000*lambda[2]^3-23/24216192000*lambda[4
]^5*lambda[1]-1/2201472000*lambda[4]^3*lambda[3]*lambda[1]+14237/774918144000*
lambda[4]*lambda[3]^2*lambda[1]-37/3075072000*lambda[4]^2*lambda[2]*lambda[1]-\
131/10762752000*lambda[3]*lambda[2]*lambda[1]-23/369008640*lambda[4]*lambda[1]
^2+211/24216192000*lambda[4]^4*lambda[0]+199/13837824000*lambda[4]^2*lambda[3]
*lambda[0]+103/6199345152*lambda[3]^2*lambda[0]+811/12915302400*lambda[4]*
lambda[2]*lambda[0]-131/2583060480*lambda[1]*lambda[0])*v[4]^16*v[2]^3*v[1]+(-\
23/137225088000*lambda[4]^5*lambda[1]+23/68612544000*lambda[4]^3*lambda[3]*
lambda[1]+6077/4391202816000*lambda[4]*lambda[3]^2*lambda[1]-277/365933568000*
lambda[4]^2*lambda[2]*lambda[1]-197/34850816000*lambda[3]*lambda[2]*lambda[1]+
347/182966784000*lambda[4]*lambda[1]^2-23/8072064000*lambda[4]^4*lambda[0]+173
/16144128000*lambda[4]^2*lambda[3]*lambda[0]+211/51661209600*lambda[3]^2*
lambda[0]-59/4305100800*lambda[4]*lambda[2]*lambda[0]-1/228708480*lambda[1]*
lambda[0])*v[4]^17*v[2]*v[1]^2+(1/537600*lambda[4]*lambda[1]^2-1/2217600*
lambda[4]^4*lambda[0]-1/2217600*lambda[4]^2*lambda[3]*lambda[0]+79/17740800*
lambda[3]^2*lambda[0]-1/147840*lambda[4]*lambda[2]*lambda[0]+13/1182720*lambda
[1]*lambda[0])*v[4]^12*v[3]*v[1]^3+(23/32288256000*lambda[4]^4*lambda[3]*
lambda[2]-173/64576512000*lambda[4]^2*lambda[3]^2*lambda[2]-211/206644838400*
lambda[3]^3*lambda[2]+23/16144128000*lambda[4]^3*lambda[2]^2+19/36900864000*
lambda[4]*lambda[3]*lambda[2]^2+1/574013440*lambda[2]^3+23/32288256000*lambda[
4]^5*lambda[1]+1/2935296000*lambda[4]^3*lambda[3]*lambda[1]-14237/
1033224192000*lambda[4]*lambda[3]^2*lambda[1]+2341/258306048000*lambda[4]^2*
lambda[2]*lambda[1]+19/18450432000*lambda[3]*lambda[2]*lambda[1]+19/1148026880
*lambda[4]*lambda[1]^2+69/3587584000*lambda[4]^4*lambda[0]+223/8610201600*
lambda[4]^2*lambda[3]*lambda[0]-29/1405747200*lambda[3]^2*lambda[0]+443/
17220403200*lambda[4]*lambda[2]*lambda[0]+67/3444080640*lambda[1]*lambda[0])*v
[4]^16*v[3]^4*v[2]*v[1]+(1/179200*lambda[3]^3*lambda[2]-1/134400*lambda[4]*
lambda[3]*lambda[2]^2+1/134400*lambda[2]^3+3/179200*lambda[4]*lambda[3]^2*
lambda[1]-1/134400*lambda[4]^2*lambda[2]*lambda[1]-1/67200*lambda[3]*lambda[2]
*lambda[1]+1/26880*lambda[4]*lambda[1]^2-11/22400*lambda[4]^2*lambda[3]*lambda
[0]-3/7168*lambda[3]^2*lambda[0]-3/8960*lambda[4]*lambda[2]*lambda[0]+1/8960*
lambda[1]*lambda[0])*v[4]^4*v[3]^10*v[2]*v[1]+(-1/115315200*lambda[4]^4*lambda
[3]*lambda[2]+5/129153024*lambda[4]^2*lambda[3]^2*lambda[2]-401/6457651200*
lambda[3]^3*lambda[2]+17/807206400*lambda[4]^3*lambda[2]^2-163/1614412800*
lambda[4]*lambda[3]*lambda[2]^2-53/358758400*lambda[2]^3-1/115315200*lambda[4]
^5*lambda[1]+1/124185600*lambda[4]^3*lambda[3]*lambda[1]-29/922521600*lambda[4
]*lambda[3]^2*lambda[1]+41/1614412800*lambda[4]^2*lambda[2]*lambda[1]-163/
807206400*lambda[3]*lambda[2]*lambda[1]-53/538137600*lambda[4]*lambda[1]^2+211
/807206400*lambda[4]^4*lambda[0]+131/64576512*lambda[4]^2*lambda[3]*lambda[0]+
7991/6457651200*lambda[3]^2*lambda[0]+31/48921600*lambda[4]*lambda[2]*lambda[0
]+27/35875840*lambda[1]*lambda[0])*v[4]^14*v[3]^3*v[2]^2*v[1]+(1/448000*lambda
[4]^2*lambda[3]^2*lambda[2]+1/358400*lambda[3]^3*lambda[2]+1/1008000*lambda[4]
^3*lambda[2]^2+23/4032000*lambda[4]*lambda[3]*lambda[2]^2+13/2688000*lambda[2]
^3+1/224000*lambda[4]^3*lambda[3]*lambda[1]+31/1792000*lambda[4]*lambda[3]^2*
lambda[1]+47/4032000*lambda[4]^2*lambda[2]*lambda[1]+23/2016000*lambda[3]*
lambda[2]*lambda[1]+53/1344000*lambda[4]*lambda[1]^2+1/84000*lambda[4]^4*
lambda[0]+13/168000*lambda[4]^2*lambda[3]*lambda[0]+1/14336*lambda[3]^2*lambda
[0]+1/38400*lambda[4]*lambda[2]*lambda[0]+1/38400*lambda[1]*lambda[0])*v[4]^10
*v[3]^5*v[2]^2*v[1]+(5/24*lambda[3]*lambda[2]*lambda[1]+1/12*lambda[4]*lambda[
1]^2-3/16*lambda[3]^2*lambda[0]-1/6*lambda[1]*lambda[0])*v[4]^3*v[3]*v[2]^4*v[
1]^2+(-1/134400*lambda[4]^2*lambda[3]^2*lambda[2]-1/107520*lambda[3]^3*lambda[
2]+11/134400*lambda[4]*lambda[3]*lambda[2]^2+3/89600*lambda[2]^3-1/67200*
lambda[4]^3*lambda[3]*lambda[1]-31/537600*lambda[4]*lambda[3]^2*lambda[1]+11/
134400*lambda[4]^2*lambda[2]*lambda[1]+11/67200*lambda[3]*lambda[2]*lambda[1]+
13/134400*lambda[4]*lambda[1]^2-1/2240*lambda[4]^2*lambda[3]*lambda[0]-3/35840
*lambda[3]^2*lambda[0]-1/19200*lambda[4]*lambda[2]*lambda[0]-1/26880*lambda[1]
*lambda[0])*v[4]^10*v[3]*v[2]^4*v[1]+(3/280*lambda[3]^3*lambda[2]+11/560*
lambda[4]*lambda[3]*lambda[2]^2-1/560*lambda[2]^3-3/70*lambda[4]*lambda[3]^2*
lambda[1]+1/140*lambda[4]^2*lambda[2]*lambda[1]+13/420*lambda[3]*lambda[2]*
lambda[1]+1/42*lambda[4]*lambda[1]^2-13/140*lambda[4]^2*lambda[3]*lambda[0]-3/
70*lambda[3]^2*lambda[0]+1/70*lambda[4]*lambda[2]*lambda[0]+1/42*lambda[1]*
lambda[0])*v[4]^3*v[3]^2*v[2]^7+(-3/2240*lambda[4]*lambda[3]^4+1/210*lambda[4]
^2*lambda[3]^2*lambda[2]-3/560*lambda[3]^3*lambda[2]+1/420*lambda[4]^3*lambda[
2]^2+1/105*lambda[4]*lambda[3]*lambda[2]^2+1/140*lambda[2]^3-1/84*lambda[4]^3*
lambda[3]*lambda[1]+1/105*lambda[4]*lambda[3]^2*lambda[1]-1/420*lambda[4]^2*
lambda[2]*lambda[1]-1/140*lambda[3]*lambda[2]*lambda[1]+17/420*lambda[4]*
lambda[1]^2-1/105*lambda[4]^4*lambda[0]-1/28*lambda[4]^2*lambda[3]*lambda[0]-1
/280*lambda[3]^2*lambda[0]-1/28*lambda[4]*lambda[2]*lambda[0]+1/14*lambda[1]*
lambda[0])*v[4]*v[3]*v[2]^8+(1/13440*lambda[4]^2*lambda[3]^2*lambda[2]+13/
107520*lambda[3]^3*lambda[2]+1/3840*lambda[4]*lambda[3]*lambda[2]^2+1/6720*
lambda[2]^3+1/6720*lambda[4]^3*lambda[3]*lambda[1]+71/107520*lambda[4]*lambda[
3]^2*lambda[1]+1/3840*lambda[4]^2*lambda[2]*lambda[1]+1/1920*lambda[3]*lambda[
2]*lambda[1]+23/26880*lambda[4]*lambda[1]^2+3/4480*lambda[4]^2*lambda[3]*
lambda[0]-3/5120*lambda[3]^2*lambda[0]-17/26880*lambda[4]*lambda[2]*lambda[0]+
53/26880*lambda[1]*lambda[0])*v[4]^8*v[3]^4*v[2]^3*v[1]+(-1/640*lambda[3]^3*
lambda[2]-1/480*lambda[4]*lambda[3]*lambda[2]^2+1/1440*lambda[2]^3-3/640*
lambda[4]*lambda[3]^2*lambda[1]-1/480*lambda[4]^2*lambda[2]*lambda[1]-1/240*
lambda[3]*lambda[2]*lambda[1]+1/1440*lambda[4]*lambda[1]^2-3/80*lambda[4]^2*
lambda[3]*lambda[0]-29/640*lambda[3]^2*lambda[0]-31/1440*lambda[4]*lambda[2]*
lambda[0]-1/288*lambda[1]*lambda[0])*v[4]^4*v[3]^6*v[2]^3*v[1]+(73/
3834931516416000000*lambda[4]^6*lambda[2]-73/511324202188800000*lambda[4]^4*
lambda[3]*lambda[2]+10753/40087817451601920000*lambda[4]^2*lambda[3]^2*lambda[
2]-61/8746432898531328000*lambda[3]^3*lambda[2]+79/334065145430016000*lambda[4
]^3*lambda[2]^2-463/534504232688025600*lambda[4]*lambda[3]*lambda[2]^2+1/
1454433286225920*lambda[2]^3+73/852207003648000000*lambda[4]^5*lambda[1]-20233
/33406514543001600000*lambda[4]^3*lambda[3]*lambda[1]+8033/7635774752686080000
*lambda[4]*lambda[3]^2*lambda[1]+211/381788737634304000*lambda[4]^2*lambda[2]*
lambda[1]-463/267252116344012800*lambda[3]*lambda[2]*lambda[1]-1/
16197097960243200*lambda[4]*lambda[1]^2+1163/1670325727150080000*lambda[4]^4*
lambda[0]-227/83516286357504000*lambda[4]^2*lambda[3]*lambda[0]+1/
1633320802713600*lambda[3]^2*lambda[0]+25/7126723102507008*lambda[4]*lambda[2]
*lambda[0]+1/647883918409728*lambda[1]*lambda[0])*v[4]^26*v[3]*v[1]+(-31/
8672845121740800*lambda[4]^6*lambda[2]-199/57818967478272000*lambda[4]^4*
lambda[3]*lambda[2]+9811/177904515317760000*lambda[4]^2*lambda[3]^2*lambda[2]+
16039/252300948996096000*lambda[3]^3*lambda[2]-239/19272989159424000*lambda[4]
^3*lambda[2]^2-3683/15418391327539200*lambda[4]*lambda[3]*lambda[2]^2-101/
411157102067712*lambda[2]^3-47/1014367850496000*lambda[4]^5*lambda[1]+1679/
20287357009920000*lambda[4]^3*lambda[3]*lambda[1]+33377/81149428039680000*
lambda[4]*lambda[3]^2*lambda[1]-24151/77091956637696000*lambda[4]^2*lambda[2]*
lambda[1]-3683/7709195663769600*lambda[3]*lambda[2]*lambda[1]-43/
24590735769600*lambda[4]*lambda[1]^2-3863/19272989159424000*lambda[4]^4*lambda
[0]+142183/77091956637696000*lambda[4]^2*lambda[3]*lambda[0]+107/
329805162086400*lambda[3]^2*lambda[0]+421/1027892755169280*lambda[4]*lambda[2]
*lambda[0]-131/93444795924480*lambda[1]*lambda[0])*v[4]^22*v[3]^3*v[1]+(23/
24700515840000*lambda[4]^6*lambda[2]+23/16467010560000*lambda[4]^4*lambda[3]*
lambda[2]-167/9409720320000*lambda[4]^2*lambda[3]^2*lambda[2]-18527/
1580833013760000*lambda[3]^3*lambda[2]+43/2744501760000*lambda[4]^3*lambda[2]^
2+11/798400512000*lambda[4]*lambda[3]*lambda[2]^2+1/234197483520*lambda[2]^3+
23/1829667840000*lambda[4]^5*lambda[1]-89/3659335680000*lambda[4]^3*lambda[3]*
lambda[1]-113/1064534016000*lambda[4]*lambda[3]^2*lambda[1]+4733/
43912028160000*lambda[4]^2*lambda[2]*lambda[1]+11/399200256000*lambda[3]*
lambda[2]*lambda[1]+29/59744256000*lambda[4]*lambda[1]^2+1147/5489003520000*
lambda[4]^4*lambda[0]-23/399200256000*lambda[4]^2*lambda[3]*lambda[0]-211/
2066448384000*lambda[3]^2*lambda[0]-29/39032913920*lambda[4]*lambda[2]*lambda[
0]+239/585493708800*lambda[1]*lambda[0])*v[4]^18*v[3]^5*v[1];