C36 := (-3/246400*lambda[7]*lambda[6]^2-61/492800*lambda[7]^2*lambda[5]+9/
17600*lambda[6]*lambda[5]-3/123200*lambda[7]*lambda[4]+1/1760*lambda[3])*v[6]^
11*v[3]^2+(233/17816807756267520000000*lambda[7]^5-207/3500846436319232000000*
lambda[7]^3*lambda[6]+3593/99774123435098112000000*lambda[7]*lambda[6]^2+6913/
99774123435098112000000*lambda[7]^2*lambda[5]+137/24943530858774528000000*
lambda[6]*lambda[5]-61/539903265341440000000*lambda[7]*lambda[4]-1/
145358571438080000000*lambda[3])*v[7]^32*v[5]+(-23/2607276672000*lambda[7]^5+
89/2979744768000*lambda[7]^3*lambda[6]+461/20858213376000*lambda[7]*lambda[6]^
2-277/6952737792000*lambda[7]^2*lambda[5]-317/1854063411200*lambda[6]*lambda[5
]+191/1986496512000*lambda[7]*lambda[4]+89/421378048000*lambda[3])*v[7]^19*v[6
]*v[4]^3+(-5/112*lambda[7]^3*lambda[6]+8/35*lambda[7]*lambda[6]^2-3/140*lambda
[7]^2*lambda[5]+1/35*lambda[6]*lambda[5]+1/35*lambda[7]*lambda[4]-2/35*lambda[
3])*v[6]^4*v[5]^7-1/80*lambda[3]*v[7]^6*v[2]^3+(-1/240*lambda[7]^3*lambda[6]+7
/960*lambda[7]*lambda[6]^2+7/240*lambda[7]^2*lambda[5]+1/40*lambda[6]*lambda[5
]-1/48*lambda[7]*lambda[4]-1/48*lambda[3])*v[7]^6*v[6]*v[5]^4*v[4]*v[3]+(47/
338122616832000*lambda[7]^5-1679/6762452336640000*lambda[7]^3*lambda[6]-33377/
27049809346560000*lambda[7]*lambda[6]^2+883/450830155776000*lambda[7]^2*lambda
[5]+53/90166031155200*lambda[6]*lambda[5]+43/8196911923200*lambda[7]*lambda[4]
-1/3104890880000*lambda[3])*v[7]^22*v[6]^2*v[2]+(-1/100800*lambda[7]^2*lambda[
5]-1/80640*lambda[6]*lambda[5]-1/19200*lambda[7]*lambda[4]+1/67200*lambda[3])*
v[7]^10*v[6]^3*v[2]^2+(13/3942400*lambda[7]*lambda[6]^2+13/844800*lambda[7]^2*
lambda[5]+23/985600*lambda[6]*lambda[5]+47/2956800*lambda[7]*lambda[4]-19/
492800*lambda[3])*v[7]^4*v[6]^11*v[4]^2+(-1/33600*lambda[7]^3*lambda[6]-1/3840
*lambda[7]*lambda[6]^2-1/12800*lambda[7]^2*lambda[5]+1/67200*lambda[6]*lambda[
5]+1/67200*lambda[7]*lambda[4]-1/33600*lambda[3])*v[7]^10*v[5]^3*v[3]^2+(-43/
28176884736000000*lambda[7]^5+3337/527124489830400000*lambda[7]^3*lambda[6]-83
/13178112245760000*lambda[7]*lambda[6]^2+38099/20557855103385600000*lambda[7]^
2*lambda[5]+4867/513946377584640000*lambda[6]*lambda[5]+127/9733832908800000*
lambda[7]*lambda[4]-1/66533376000000*lambda[3])*v[7]^25*v[6]^3*v[4]+(1/
177408000*lambda[7]^5-1/620928000*lambda[7]^3*lambda[6]-643/9934848000*lambda[
7]*lambda[6]^2-1607/4967424000*lambda[7]^2*lambda[5]-809/2483712000*lambda[6]*
lambda[5]-1/827904000*lambda[7]*lambda[4]+17/37632000*lambda[3])*v[7]^12*v[6]^
7*v[4]^2+(37/93929472000*lambda[7]^5+72143/28930277376000*lambda[7]^3*lambda[6
]+28307/72325693440000*lambda[7]*lambda[6]^2+21023/72325693440000*lambda[7]^2*
lambda[5]+1037/1643765760000*lambda[6]*lambda[5]-4643/6027141120000*lambda[7]*
lambda[4]-601/602714112000*lambda[3])*v[7]^16*v[6]^8*v[5]+(73/
32777192448000000*lambda[7]^5-55637/10278927551692800000*lambda[7]^3*lambda[6]
-47/4518209912832000*lambda[7]*lambda[6]^2+20329/3426309183897600000*lambda[7]
^2*lambda[5]+1983/57105153064960000*lambda[6]*lambda[5]-83/11124380467200000*
lambda[7]*lambda[4]-1941/64892219392000000*lambda[3])*v[7]^25*v[5]*v[3]+(-19/
1971200*lambda[7]*lambda[6]^2+13/281600*lambda[7]^2*lambda[5]-1/1478400*lambda
[6]*lambda[5]+43/1478400*lambda[7]*lambda[4]-1/246400*lambda[3])*v[7]^3*v[6]^
13*v[3]+(1/268800*lambda[7]^5-17/268800*lambda[7]^3*lambda[6]-29/672000*lambda
[7]*lambda[6]^2-9/112000*lambda[7]^2*lambda[5]+1/56000*lambda[6]*lambda[5]+1/
56000*lambda[7]*lambda[4]-1/28000*lambda[3])*v[7]^10*v[6]*v[5]^6+1/80*lambda[3
]*v[7]^2*v[5]*v[4]^6+(-2489/14637342720000*lambda[7]^5-941/836419584000*lambda
[7]^3*lambda[6]-1373/1125949440000*lambda[7]*lambda[6]^2-53/274450176000*
lambda[7]^2*lambda[5]+83/1568286720000*lambda[6]*lambda[5]-131/522762240000*
lambda[7]*lambda[4]-1303/1829667840000*lambda[3])*v[7]^18*v[6]^5*v[5]^2+(
130451/102789275516928000*lambda[7]^5+2194319/256973188792320000*lambda[7]^3*
lambda[6]+821/302321398579200*lambda[7]*lambda[6]^2-153613/128486594396160000*
lambda[7]^2*lambda[5]+16231/8030412149760000*lambda[6]*lambda[5]+1/
760455696000*lambda[7]*lambda[4]-1/291083520000*lambda[3])*v[7]^22*v[6]^3*v[5]
^2+(-103339/95447184408576000000*lambda[7]^5+481951/133626058172006400000*
lambda[7]^3*lambda[6]-90799/66813029086003200000*lambda[7]*lambda[6]^2-2537/
856577295974400000*lambda[7]^2*lambda[5]-2257/1855917474611200000*lambda[6]*
lambda[5]+1579/194676658176000000*lambda[7]*lambda[4]+109/22199969792000000*
lambda[3])*v[7]^26*v[6]*v[5]^2+(1/2400*lambda[7]^2*lambda[5]+1/4800*lambda[6]*
lambda[5]+3/1600*lambda[7]*lambda[4]+1/800*lambda[3])*v[7]^6*v[6]^5*v[2]^2+(11
/80*lambda[7]*lambda[6]^2+3/40*lambda[7]^2*lambda[5]-7/20*lambda[6]*lambda[5]+
3/20*lambda[7]*lambda[4]-3/10*lambda[3])*v[6]*v[5]^6*v[4]^2+(-37/
14898723840000*lambda[7]^5-67/4171642675200*lambda[7]^3*lambda[6]+34897/
333731414016000*lambda[7]*lambda[6]^2-2763/52973240320000*lambda[7]^2*lambda[5
]+6497/55621902336000*lambda[6]*lambda[5]+443/5675704320000*lambda[7]*lambda[4
]+33/842756096000*lambda[3])*v[7]^20*v[6]*v[3]^2+(1/67200*lambda[7]^3*lambda[6
]+31/537600*lambda[7]*lambda[6]^2-29/134400*lambda[7]^2*lambda[5]-17/134400*
lambda[6]*lambda[5]-13/134400*lambda[7]*lambda[4]+13/67200*lambda[3])*v[7]^10*
v[5]^4*v[2]+(1/24460800*lambda[7]^2*lambda[5]-1/9784320*lambda[6]*lambda[5]+1/
16307200*lambda[7]*lambda[4]+1/1164800*lambda[3])*v[7]^14*v[6]*v[2]^2+(23/
91483392000*lambda[7]^5-89/182966784000*lambda[7]^3*lambda[6]-113/53226700800*
lambda[7]*lambda[6]^2+157/48791142400*lambda[7]^2*lambda[5]+531/243955712000*
lambda[6]*lambda[5]+19/3753164800*lambda[7]*lambda[4]-23/9382912000*lambda[3])
*v[7]^18*v[5]^2*v[2]+(-9/246400*lambda[7]*lambda[6]^2-1/12320*lambda[7]^2*
lambda[5]+23/61600*lambda[6]*lambda[5]+23/61600*lambda[7]*lambda[4]+1/2200*
lambda[3])*v[6]^11*v[5]*v[2]+(839/37377918369792000*lambda[7]^5+46283/
822314204135424000*lambda[7]^3*lambda[6]+7103/158137346949120000*lambda[7]*
lambda[6]^2+34733/2055785510338560000*lambda[7]^2*lambda[5]-18287/
513946377584640000*lambda[6]*lambda[5]-197/5191377551360000*lambda[7]*lambda[4
]+79/1557413265408000*lambda[3])*v[7]^24*v[6]^4*v[5]+(1/560*lambda[6]*lambda[5
]+1/560*lambda[7]*lambda[4]-3/280*lambda[3])*v[7]^2*v[6]^7*v[2]^2+(311/
322882560000*lambda[7]^5+391/64576512000*lambda[7]^3*lambda[6]+1/4520355840000
*lambda[7]*lambda[6]^2+95203/4520355840000*lambda[7]^2*lambda[5]-223/
45203558400*lambda[6]*lambda[5]+5683/376696320000*lambda[7]*lambda[4]+151/
17122560000*lambda[3])*v[7]^15*v[6]^7*v[3]+(1/480*lambda[7]^3*lambda[6]+19/
9600*lambda[7]*lambda[6]^2+7/4800*lambda[7]^2*lambda[5]-13/2400*lambda[6]*
lambda[5]+7/2400*lambda[7]*lambda[4]+1/150*lambda[3])*v[7]^6*v[5]^5*v[4]^2+
lambda[3]*v[6]*v[3]^3*v[1]+3/20*lambda[3]*v[5]*v[4]^5*v[3]-3/20*lambda[3]*v[7]
*v[4]^5*v[2]+(-23/8072064000*lambda[7]^5+41/2306304000*lambda[7]^3*lambda[6]-\
29/1054310400*lambda[7]*lambda[6]^2+32353/516612096000*lambda[7]^2*lambda[5]-\
4363/129153024000*lambda[6]*lambda[5]-47/2050048000*lambda[7]*lambda[4]-47/
1956864000*lambda[3])*v[7]^16*v[6]^3*v[3]^2+(-1/1478400*lambda[7]^5-1/295680*
lambda[7]^3*lambda[6]+1/448000*lambda[7]*lambda[6]^2-619/29568000*lambda[7]^2*
lambda[5]+19/3696000*lambda[6]*lambda[5]-13/528000*lambda[7]*lambda[4]-29/
1848000*lambda[3])*v[7]^11*v[5]^5*v[4]+(1/4480*lambda[7]*lambda[6]^2-11/80640*
lambda[7]^2*lambda[5]+41/80640*lambda[6]*lambda[5]+1/3840*lambda[7]*lambda[4]+
1/2688*lambda[3])*v[7]^9*v[6]^3*v[3]^3+(-1/28828800*lambda[7]^5-1/7207200*
lambda[7]^3*lambda[6]+83/115315200*lambda[7]*lambda[6]^2-7/3660800*lambda[7]^2
*lambda[5]+283/76876800*lambda[6]*lambda[5]+17/10982400*lambda[7]*lambda[4]-3/
1164800*lambda[3])*v[7]^13*v[6]*v[3]^3-3/160*lambda[3]*v[6]^8*v[4]^2*v[2]+3/4*
lambda[3]*v[6]^3*v[4]^2*v[2]^2+(-1/1792*lambda[7]*lambda[6]^2+17/13440*lambda[
7]^2*lambda[5]-19/2240*lambda[6]*lambda[5]+1/1344*lambda[7]*lambda[4]-1/160*
lambda[3])*v[6]^9*v[5]^2*v[4]^2+(-1/14784000*lambda[7]^5+1/2956800*lambda[7]^3
*lambda[6]+31/118272000*lambda[7]*lambda[6]^2+4211/709632000*lambda[7]^2*
lambda[5]+871/177408000*lambda[6]*lambda[5]+59/59136000*lambda[7]*lambda[4]-1/
2688000*lambda[3])*v[7]^12*v[6]^5*v[3]^2+(-1/3763200*lambda[7]^3*lambda[6]-1/
1720320*lambda[7]*lambda[6]^2+1/1204224*lambda[7]^2*lambda[5]+31/15052800*
lambda[6]*lambda[5]+11/5017600*lambda[7]*lambda[4]-27/2508800*lambda[3])*v[7]^
8*v[6]^9*v[4]^2+2*lambda[3]*v[4]*v[3]^3*v[2]+(-23/137225088000*lambda[7]^5+23/
68612544000*lambda[7]^3*lambda[6]+6077/4391202816000*lambda[7]*lambda[6]^2-277
/365933568000*lambda[7]^2*lambda[5]-197/34850816000*lambda[6]*lambda[5]+347/
182966784000*lambda[7]*lambda[4]+71/9382912000*lambda[3])*v[7]^17*v[5]*v[4]^3+
(53/128486594396160000*lambda[7]^5-211/15116069928960000*lambda[7]^3*lambda[6]
+202513/4111571020677120000*lambda[7]*lambda[6]^2-509/32631516037120000*lambda
[7]^2*lambda[5]-3499/68526183677952000*lambda[6]*lambda[5]+1429/
31148265308160000*lambda[7]*lambda[4]+83/471943413760000*lambda[3])*v[7]^24*v[
6]*v[4]^2+(-1/470400*lambda[7]^3*lambda[6]-1/94080*lambda[7]*lambda[6]^2-1/
94080*lambda[7]^2*lambda[5]-1/156800*lambda[6]*lambda[5]+1/47040*lambda[7]*
lambda[4]+1/11200*lambda[3])*v[7]^7*v[6]^7*v[4]^3+(1/4928000*lambda[7]^3*
lambda[6]-1/4928000*lambda[7]*lambda[6]^2+19/44352000*lambda[7]^2*lambda[5]+61
/88704000*lambda[6]*lambda[5]-1/192000*lambda[7]*lambda[4]-1/192000*lambda[3])
*v[7]^11*v[6]^5*v[4]^3+(1/246400*lambda[7]*lambda[6]^2-1/92400*lambda[7]^2*
lambda[5]+1/123200*lambda[6]*lambda[5]-1/46200*lambda[7]*lambda[4]+1/2464*
lambda[3])*v[7]*v[6]^11*v[1]+(1/89600*lambda[7]*lambda[6]^2-1/33600*lambda[7]^
2*lambda[5]+1/26880*lambda[6]*lambda[5]-1/6720*lambda[7]*lambda[4]-1/4480*
lambda[3])*v[7]^5*v[6]^9*v[1]+(1/4*lambda[6]*lambda[5]+1/4*lambda[7]*lambda[4]
-1/4*lambda[3])*v[7]^2*v[6]^3*v[5]^2*v[3]*v[1]+3/320*lambda[3]*v[7]^6*v[4]^4*v
[2]+(-1/38438400*lambda[7]^5-1/48921600*lambda[7]^3*lambda[6]+137/430510080*
lambda[7]*lambda[6]^2-61/153753600*lambda[7]^2*lambda[5]-137/179379200*lambda[
6]*lambda[5]-1/48921600*lambda[7]*lambda[4]+13/10348800*lambda[3])*v[7]^14*v[5
]^3*v[4]^2+(-1439/6424329719808000*lambda[7]^5+97283/128486594396160000*lambda
[7]^3*lambda[6]+22109/39534336737280000*lambda[7]*lambda[6]^2-43501/
17131545919488000*lambda[7]^2*lambda[5]+4989/14276288266240000*lambda[6]*
lambda[5]+1301/299502551040000*lambda[7]*lambda[4]+43/12479272960000*lambda[3]
)*v[7]^22*v[5]*v[4]^2+(23/46126080000*lambda[7]^5-131/64576512000*lambda[7]^3*
lambda[6]+2029/10332241920000*lambda[7]*lambda[6]^2-33623/5166120960000*lambda
[7]^2*lambda[5]+7039/2583060480000*lambda[6]*lambda[5]-491/123002880000*lambda
[7]*lambda[4]-157/39137280000*lambda[3])*v[7]^16*v[6]^5*v[4]^2+(-1/1478400*
lambda[7]^2*lambda[5]+23/11827200*lambda[6]*lambda[5]-3/3942400*lambda[7]*
lambda[4]+1/492800*lambda[3])*v[7]^12*v[5]*v[4]^4+(-28871/8343285350400000*
lambda[7]^5-960173/33373141401600000*lambda[7]^3*lambda[6]-16147/
2383795814400000*lambda[7]*lambda[6]^2+163/55621902336000*lambda[7]^2*lambda[5
]+9/2726563840000*lambda[6]*lambda[5]-1247/139054755840000*lambda[7]*lambda[4]
+3/3408204800000*lambda[3])*v[7]^20*v[6]^6*v[5]+(-1/2240*lambda[6]*lambda[5]-1
/2240*lambda[7]*lambda[4]+3/1120*lambda[3])*v[7]^2*v[6]^7*v[4]^4+(-1/9600*
lambda[7]^2*lambda[5]-1/19200*lambda[6]*lambda[5]-3/6400*lambda[7]*lambda[4]-1
/3200*lambda[3])*v[7]^6*v[6]^5*v[4]^4+(1/403200*lambda[7]^2*lambda[5]+1/322560
*lambda[6]*lambda[5]+1/76800*lambda[7]*lambda[4]-1/268800*lambda[3])*v[7]^10*v
[6]^3*v[4]^4+(-1/17920*lambda[7]*lambda[6]^2-61/107520*lambda[7]^2*lambda[5]-5
/5376*lambda[6]*lambda[5]-1/3840*lambda[7]*lambda[4]-3/4480*lambda[3])*v[7]^4*
v[6]^9*v[3]^2+(-1/46351585280000*lambda[7]^5+69/23175792640000*lambda[7]^3*
lambda[6]-347/29665014579200*lambda[7]*lambda[6]^2-47903/3337314140160000*
lambda[7]^2*lambda[5]-29/1596801024000*lambda[6]*lambda[5]-1/11351408640000*
lambda[7]*lambda[4]-1/1330667520000*lambda[3])*v[7]^20*v[6]^3*v[4]^2+(-1/160*
lambda[6]*lambda[5]-1/160*lambda[7]*lambda[4]-1/40*lambda[3])*v[6]^6*v[5]*v[4]
^4+(1/40*lambda[7]*lambda[6]^2-3/80*lambda[7]^2*lambda[5]-1/30*lambda[6]*
lambda[5]-1/30*lambda[7]*lambda[4]+1/15*lambda[3])*v[7]^3*v[5]^7*v[4]+1/22400*
lambda[3]*v[7]^11*v[4]^3*v[2]+(1/576576000*lambda[7]^5+1/57657600*lambda[7]^3*
lambda[6]-313/4612608000*lambda[7]*lambda[6]^2+19/144144000*lambda[7]^2*lambda
[5]-17/65894400*lambda[6]*lambda[5]+9/12812800*lambda[7]*lambda[4]+1/1397760*
lambda[3])*v[7]^13*v[6]^5*v[1]+(1/739200*lambda[7]^2*lambda[5]-23/5913600*
lambda[6]*lambda[5]-1/179200*lambda[7]*lambda[4]+1/89600*lambda[3])*v[7]^12*v[
3]^2*v[2]+(23/137225088000*lambda[7]^5-23/68612544000*lambda[7]^3*lambda[6]-\
6077/4391202816000*lambda[7]*lambda[6]^2+197/109780070400*lambda[7]^2*lambda[5
]+83/87824056320*lambda[6]*lambda[5]+1/522762240*lambda[7]*lambda[4]-1/
266133504*lambda[3])*v[7]^17*v[6]^3*v[1]+(-53/146007493632000*lambda[7]^5+367/
365018734080000*lambda[7]^3*lambda[6]+4189/2336119898112000*lambda[7]*lambda[6
]^2-9/6489221939200*lambda[7]^2*lambda[5]-151/15574132654080*lambda[6]*lambda[
5]+43/3893533163520*lambda[7]*lambda[4]+1/47194341376*lambda[3])*v[7]^21*v[6]*
v[1]+(-1/369600*lambda[7]^3*lambda[6]+1/369600*lambda[7]*lambda[6]^2+1/369600*
lambda[7]^2*lambda[5]+23/739200*lambda[6]*lambda[5]-1/14784*lambda[7]*lambda[4
]-1/14784*lambda[3])*v[7]^11*v[5]^3*v[1]+lambda[3]*v[7]*v[4]*v[2]^3+(1/12*
lambda[6]*lambda[5]+1/12*lambda[7]*lambda[4]-1/6*lambda[3])*v[7]^3*v[5]^3*v[3]
^3+(-23/137225088000*lambda[7]^5-89/548900352000*lambda[7]^3*lambda[6]+14957/
4391202816000*lambda[7]*lambda[6]^2-6163/2927468544000*lambda[7]^2*lambda[5]+
173/56297472000*lambda[6]*lambda[5]+359/104552448000*lambda[7]*lambda[4]-347/
121977856000*lambda[3])*v[7]^18*v[5]*v[3]^2+(1/369600*lambda[7]^2*lambda[5]-23
/2956800*lambda[6]*lambda[5]+3/985600*lambda[7]*lambda[4]-1/123200*lambda[3])*
v[7]^12*v[5]*v[2]^2+(1/12*lambda[6]*lambda[5]-1/6*lambda[7]*lambda[4]-1/6*
lambda[3])*v[7]^3*v[5]^5*v[1]+(-1/97843200*lambda[7]^2*lambda[5]+1/39137280*
lambda[6]*lambda[5]-1/65228800*lambda[7]*lambda[4]-1/4659200*lambda[3])*v[7]^
14*v[6]*v[4]^4+(-1/40*lambda[7]*lambda[6]^2+1/10*lambda[7]^2*lambda[5]-1/20*
lambda[6]*lambda[5]+1/5*lambda[7]*lambda[4]+1/10*lambda[3])*v[7]*v[5]^5*v[4]^3
+(19/5381376000*lambda[7]^3*lambda[6]-17/1076275200*lambda[7]*lambda[6]^2+113/
16144128000*lambda[7]^2*lambda[5]+17/3228825600*lambda[6]*lambda[5]-19/
244608000*lambda[7]*lambda[4]-19/244608000*lambda[3])*v[7]^15*v[6]^3*v[4]^3+(-\
23/15247232000*lambda[7]^5+11393/1463734272000*lambda[7]^3*lambda[6]+19573/
1463734272000*lambda[7]*lambda[6]^2+1329/69701632000*lambda[7]^2*lambda[5]-43/
21525504000*lambda[6]*lambda[5]-601/33266688000*lambda[7]*lambda[4]+43/
10762752000*lambda[3])*v[7]^17*v[5]^3*v[3]+(1/40*lambda[6]*lambda[5]+1/40*
lambda[7]*lambda[4]+1/10*lambda[3])*v[6]^6*v[5]*v[2]^2+(-1/184800*lambda[7]^3*
lambda[6]+1/184800*lambda[7]*lambda[6]^2-1/92400*lambda[7]^2*lambda[5]-59/
1478400*lambda[6]*lambda[5]+1/70400*lambda[7]*lambda[4]+9/246400*lambda[3])*v[
7]^11*v[5]*v[3]^3+(-941/47723592204288000000*lambda[7]^5-2467/
66813029086003200000*lambda[7]^3*lambda[6]+3233/7860356363059200000*lambda[7]*
lambda[6]^2-8929/89084038781337600000*lambda[7]^2*lambda[5]-2997/
3711834949222400000*lambda[6]*lambda[5]+31/144616946073600000*lambda[7]*lambda
[4]+9/4991709184000000*lambda[3])*v[7]^27*v[5]*v[4]+(1/9856000*lambda[7]^3*
lambda[6]+1/9856000*lambda[7]^2*lambda[5]-3/1232000*lambda[6]*lambda[5]+1/
308000*lambda[7]*lambda[4]+1/308000*lambda[3])*v[7]*v[6]^15*v[4]+(3/5632000*
lambda[7]^3*lambda[6]+9/9856000*lambda[7]*lambda[6]^2+1/1126400*lambda[7]^2*
lambda[5]+1/591360*lambda[6]*lambda[5]-31/7392000*lambda[7]*lambda[4]-1/308000
*lambda[3])*v[7]^5*v[6]^13*v[4]+(-23/662323200*lambda[7]^3*lambda[6]+47/
413952000*lambda[7]*lambda[6]^2-2077/9934848000*lambda[7]^2*lambda[5]+239/
1241856000*lambda[6]*lambda[5]-9/8624000*lambda[7]*lambda[4]-29/103488000*
lambda[3])*v[7]^9*v[6]^11*v[4]+(-1/1537536000*lambda[7]^5-3/208732160*lambda[7
]^3*lambda[6]-29/3311616000*lambda[7]*lambda[6]^2-3803/516612096000*lambda[7]^
2*lambda[5]+41/12915302400*lambda[6]*lambda[5]+11/978432000*lambda[7]*lambda[4
]-1/244608000*lambda[3])*v[7]^13*v[6]^9*v[4]+(-23/249500160000*lambda[7]^5-\
18281/245907357696000*lambda[7]^3*lambda[6]+3821/76846049280000*lambda[7]*
lambda[6]^2+427051/1229536788480000*lambda[7]^2*lambda[5]+2531/30738419712000*
lambda[6]*lambda[5]-2593/12807674880000*lambda[7]*lambda[4]-89/1164334080000*
lambda[3])*v[7]^17*v[6]^7*v[4]+(379/2085821337600000*lambda[7]^5-1062559/
467223979622400000*lambda[7]^3*lambda[6]-75199/116805994905600000*lambda[7]*
lambda[6]^2-113261/93444795924480000*lambda[7]^2*lambda[5]+61823/
58402997452800000*lambda[6]*lambda[5]-41/13243310080000*lambda[7]*lambda[4]-53
/55305868800000*lambda[3])*v[7]^21*v[6]^5*v[4]+(7471/417164267520000*lambda[7]
^5+677/83432853504000*lambda[7]^3*lambda[6]-183229/3337314140160000*lambda[7]*
lambda[6]^2-113987/370812682240000*lambda[7]^2*lambda[5]-3869/92703170560000*
lambda[6]*lambda[5]+2539/39729930240000*lambda[7]*lambda[4]+23/324136960000*
lambda[3])*v[7]^19*v[6]^5*v[3]+(1/96*lambda[6]*lambda[5]+1/96*lambda[7]*lambda
[4]+1/24*lambda[3])*v[7]^4*v[5]^3*v[4]^4+(-3/1971200*lambda[7]*lambda[6]^2-1/
295680*lambda[7]^2*lambda[5]-1/70400*lambda[6]*lambda[5]+41/211200*lambda[7]*
lambda[4]+23/246400*lambda[3])*v[7]^2*v[6]^12*v[2]+(-1/24*lambda[6]*lambda[5]-\
1/24*lambda[7]*lambda[4]-1/6*lambda[3])*v[7]^4*v[5]^3*v[2]^2-3/2*lambda[3]*v[5
]^4*v[4]^2*v[2]+(1/80*lambda[6]*lambda[5]+7/80*lambda[7]*lambda[4]+1/8*lambda[
3])*v[6]^6*v[3]^2*v[2]+(-827/334065145430016000000*lambda[7]^5+88817/
7483059257632358400000*lambda[7]^3*lambda[6]-15913/1870764814408089600000*
lambda[7]*lambda[6]^2-2591/146726652110438400000*lambda[7]^2*lambda[5]+199/
20786275715645440000*lambda[6]*lambda[5]+353/14172460715212800000*lambda[7]*
lambda[4]-1/41295048704000000*lambda[3])*v[7]^29*v[6]*v[4]+(-9/224*lambda[7]^3
*lambda[6]-3/112*lambda[7]*lambda[6]^2-3/112*lambda[7]^2*lambda[5]+1/28*lambda
[6]*lambda[5]+1/28*lambda[7]*lambda[4]-1/14*lambda[3])*v[7]^2*v[6]*v[5]^8+(-5/
224*lambda[7]^3*lambda[6]-17/280*lambda[7]*lambda[6]^2+1/560*lambda[7]^2*
lambda[5]-1/420*lambda[6]*lambda[5]-1/420*lambda[7]*lambda[4]+1/210*lambda[3])
*v[7]^4*v[6]^2*v[5]^7+(-1/32*lambda[7]^3*lambda[6]+47/400*lambda[7]*lambda[6]^
2-1/50*lambda[7]^2*lambda[5]+1/100*lambda[6]*lambda[5]+1/100*lambda[7]*lambda[
4]-1/50*lambda[3])*v[7]^2*v[6]^5*v[5]^6+(-1/1920*lambda[7]^5-3/320*lambda[7]^3
*lambda[6]-1/96*lambda[7]*lambda[6]^2-1/480*lambda[7]^2*lambda[5])*v[7]^6*v[6]
^3*v[5]^6+(-9/320*lambda[7]*lambda[6]^2+3/160*lambda[7]^2*lambda[5]-3/16*
lambda[6]*lambda[5]-1/80*lambda[7]*lambda[4]-3/40*lambda[3])*v[6]^5*v[5]^4*v[4
]^2+(-1/280*lambda[7]*lambda[6]^2+17/1680*lambda[7]^2*lambda[5]-1/112*lambda[6
]*lambda[5]+13/1680*lambda[7]*lambda[4]-3/280*lambda[3])*v[7]*v[6]^7*v[3]^3+(3
/640*lambda[7]^3*lambda[6]-37/1600*lambda[7]*lambda[6]^2+1/1200*lambda[7]^2*
lambda[5]-1/150*lambda[6]*lambda[5]-1/150*lambda[7]*lambda[4]-1/300*lambda[3])
*v[7]^4*v[6]^6*v[5]^5+(-1/17920*lambda[7]^5-151/107520*lambda[7]^3*lambda[6]-\
599/268800*lambda[7]*lambda[6]^2-109/268800*lambda[7]^2*lambda[5]-1/9600*
lambda[6]*lambda[5]+13/67200*lambda[7]*lambda[4]-13/33600*lambda[3])*v[7]^8*v[
6]^4*v[5]^5+(23/17740800*lambda[7]^5+307/35481600*lambda[7]^3*lambda[6]-617/
88704000*lambda[7]*lambda[6]^2-1/2112000*lambda[7]^2*lambda[5]-1/336000*lambda
[6]*lambda[5]-31/3696000*lambda[7]*lambda[4]-1/462000*lambda[3])*v[7]^12*v[6]^
2*v[5]^5+(1/1792*lambda[7]^3*lambda[6]-51/4480*lambda[7]*lambda[6]^2+1/13440*
lambda[7]^2*lambda[5]-1/1120*lambda[6]*lambda[5]-1/480*lambda[7]*lambda[4]+1/
560*lambda[3])*v[7]^2*v[6]^9*v[5]^4+(1/38400*lambda[7]^5+11/19200*lambda[7]^3*
lambda[6]+151/67200*lambda[7]*lambda[6]^2+1/4200*lambda[7]^2*lambda[5]+1/2100*
lambda[6]*lambda[5]-1/2100*lambda[7]*lambda[4]-1/1400*lambda[3])*v[7]^6*v[6]^7
*v[5]^4+(-1/768000*lambda[7]^5-67/1075200*lambda[7]^3*lambda[6]-3/25600*lambda
[7]*lambda[6]^2-41/8064000*lambda[7]^2*lambda[5]-1/80640*lambda[6]*lambda[5]-1
/96000*lambda[7]*lambda[4]+1/48000*lambda[3])*v[7]^10*v[6]^5*v[5]^4+(113/
1845043200*lambda[7]^5+863/1291530240*lambda[7]^3*lambda[6]+61/49674240*lambda
[7]*lambda[6]^2+457/1614412800*lambda[7]^2*lambda[5]+83/403603200*lambda[6]*
lambda[5]-9/44844800*lambda[7]*lambda[4]-1/3057600*lambda[3])*v[7]^14*v[6]^3*v
[5]^4+(647/627314688000*lambda[7]^5+5827/1254629376000*lambda[7]^3*lambda[6]+
2549/4391202816000*lambda[7]*lambda[6]^2-227/1463734272000*lambda[7]^2*lambda[
5]+113/365933568000*lambda[6]*lambda[5]+317/365933568000*lambda[7]*lambda[4]-\
11/16633344000*lambda[3])*v[7]^18*v[6]*v[5]^4+(-39/89600*lambda[7]^3*lambda[6]
-9/22400*lambda[7]*lambda[6]^2-31/134400*lambda[7]^2*lambda[5]-13/33600*lambda
[6]*lambda[5]-1/33600*lambda[7]*lambda[4]-1/2400*lambda[3])*v[7]^4*v[6]^10*v[5
]^3+(-1/8960*lambda[7]*lambda[6]^2+1/3360*lambda[7]^2*lambda[5]+1/13440*lambda
[6]*lambda[5]+1/1680*lambda[7]*lambda[4]+1/6720*lambda[3])*v[7]^9*v[5]^3*v[4]^
3+(1/12544000*lambda[7]^3*lambda[6]+31/100352000*lambda[7]*lambda[6]^2+151/
225792000*lambda[7]^2*lambda[5]+11/9031680*lambda[6]*lambda[5]-29/5017600*
lambda[7]*lambda[4]-109/37632000*lambda[3])*v[7]^10*v[6]^8*v[2]+(-1/2306304000
*lambda[7]^5+1/2483712000*lambda[7]^3*lambda[6]-29/18450432000*lambda[7]*
lambda[6]^2+1387/32288256000*lambda[7]^2*lambda[5]+1301/32288256000*lambda[6]*
lambda[5]+563/10762752000*lambda[7]*lambda[4]-23/489216000*lambda[3])*v[7]^14*
v[6]^6*v[2]+(-23/365933568000*lambda[7]^5+89/731867136000*lambda[7]^3*lambda[6
]+113/212906803200*lambda[7]*lambda[6]^2-293/798400512000*lambda[7]^2*lambda[5
]+173/1756481126400*lambda[6]*lambda[5]-29/11948851200*lambda[7]*lambda[4]-73/
133066752000*lambda[3])*v[7]^18*v[6]^4*v[2]+(1/1075200*lambda[7]^5+363/5017600
*lambda[7]^3*lambda[6]+17/67200*lambda[7]*lambda[6]^2+1/47040*lambda[7]^2*
lambda[5]+11/313600*lambda[6]*lambda[5]+11/940800*lambda[7]*lambda[4]+1/67200*
lambda[3])*v[7]^8*v[6]^8*v[5]^3+(-17/177408000*lambda[7]^5+521/354816000*
lambda[7]^3*lambda[6]+299/88704000*lambda[7]*lambda[6]^2-17/59136000*lambda[7]
^2*lambda[5]+1/14784000*lambda[6]*lambda[5]-1/4928000*lambda[7]*lambda[4]-1/
1478400*lambda[3])*v[7]^12*v[6]^6*v[5]^3+(-239/129153024000*lambda[7]^5+31/
73801728000*lambda[7]^3*lambda[6]+71/6457651200*lambda[7]*lambda[6]^2+17/
3913728000*lambda[7]^2*lambda[5]+29/5381376000*lambda[6]*lambda[5]+1/269068800
*lambda[7]*lambda[4]+29/2690688000*lambda[3])*v[7]^16*v[6]^4*v[5]^3+(1259/
19864965120000*lambda[7]^5+139697/556219023360000*lambda[7]^3*lambda[6]+27119/
139054755840000*lambda[7]*lambda[6]^2+401/7131013120000*lambda[7]^2*lambda[5]-\
3/123934720000*lambda[6]*lambda[5]-89/1782753280000*lambda[7]*lambda[4]+9/
136328192000*lambda[3])*v[7]^20*v[6]^2*v[5]^3+(-9/985600*lambda[7]^3*lambda[6]
+3/14080*lambda[7]*lambda[6]^2+1/369600*lambda[7]^2*lambda[5]+13/123200*lambda
[6]*lambda[5]+1/33600*lambda[7]*lambda[4]+3/61600*lambda[3])*v[7]^2*v[6]^13*v[
5]^2+(-3/2816000*lambda[7]^5-643/29568000*lambda[7]^3*lambda[6]-7/84480*lambda
[7]*lambda[6]^2-131/14784000*lambda[7]^2*lambda[5]-1/231000*lambda[6]*lambda[5
]-3/308000*lambda[7]*lambda[4]+1/154000*lambda[3])*v[7]^6*v[6]^11*v[5]^2+(1/
7168000*lambda[7]^5+367/150528000*lambda[7]^3*lambda[6]-383/75264000*lambda[7]
*lambda[6]^2+37/112896000*lambda[7]^2*lambda[5]-19/11289600*lambda[6]*lambda[5
]+1/2688000*lambda[7]*lambda[4]+13/9408000*lambda[3])*v[7]^10*v[6]^9*v[5]^2+(
1237/129153024000*lambda[7]^5+11269/90407116800*lambda[7]^3*lambda[6]+1627/
9040711680*lambda[7]*lambda[6]^2+6943/226017792000*lambda[7]^2*lambda[5]+349/
28252224000*lambda[6]*lambda[5]-647/9417408000*lambda[7]*lambda[4]-1/61152000*
lambda[3])*v[7]^14*v[6]^7*v[5]^2+(-9/40*lambda[7]*lambda[6]^2-1/10*lambda[7]^2
*lambda[5]+3/10*lambda[6]*lambda[5]+3/10*lambda[7]*lambda[4]+2/5*lambda[3])*v[
6]^3*v[5]^5*v[2]+(53/146007493632000*lambda[7]^5-367/365018734080000*lambda[7]
^3*lambda[6]-4189/2336119898112000*lambda[7]*lambda[6]^2+9/6489221939200*
lambda[7]^2*lambda[5]+151/15574132654080*lambda[6]*lambda[5]-43/3893533163520*
lambda[7]*lambda[4]+101/2268958720000*lambda[3])*v[7]^21*v[4]*v[2]+(9/560*
lambda[7]*lambda[6]^2+1/420*lambda[7]^2*lambda[5]+1/28*lambda[6]*lambda[5]-13/
420*lambda[7]*lambda[4])*v[6]^7*v[5]^3*v[2]-3/50176000*lambda[3]*v[7]^16*v[4]^
2*v[2]+(-1/13440*lambda[6]*lambda[5]+1/2240*lambda[7]*lambda[4]+1/2240*lambda[
3])*v[7]^3*v[6]^9*v[4]^3-1/4*lambda[3]*v[7]^2*v[6]^2*v[2]^3+1/4*lambda[3]*v[7]
^3*v[5]*v[4]^3*v[3]^2+(79/179200*lambda[7]^3*lambda[6]+43/44800*lambda[7]*
lambda[6]^2+59/537600*lambda[7]^2*lambda[5]+19/67200*lambda[6]*lambda[5]-11/
33600*lambda[7]*lambda[4]-1/5600*lambda[3])*v[7]^5*v[6]^9*v[5]^2*v[4]+(-9/80*
lambda[7]*lambda[4]-1/16*lambda[3])*v[7]^5*v[6]*v[4]^3*v[3]^2+(1/24*lambda[6]*
lambda[5]+1/24*lambda[7]*lambda[4]-5/24*lambda[3])*v[7]^4*v[5]^3*v[3]*v[1]+(-3
/80*lambda[7]*lambda[6]^2+1/60*lambda[7]^2*lambda[5]-1/4*lambda[6]*lambda[5]-7
/60*lambda[7]*lambda[4]-3/20*lambda[3])*v[6]^6*v[5]^3*v[4]*v[3]+(39/160*lambda
[7]*lambda[6]^2-11/960*lambda[7]^2*lambda[5]+11/120*lambda[6]*lambda[5]+1/120*
lambda[7]*lambda[4]-1/60*lambda[3])*v[7]^3*v[6]^4*v[5]^5*v[4]+(-1/115315200*
lambda[7]^5-1/11531520*lambda[7]^3*lambda[6]+313/922521600*lambda[7]*lambda[6]
^2-19/28828800*lambda[7]^2*lambda[5]+17/13178880*lambda[6]*lambda[5]-9/2562560
*lambda[7]*lambda[4]-1/998400*lambda[3])*v[7]^13*v[6]^4*v[4]*v[2]+(-19/
57657600*lambda[7]^5+23/7096320*lambda[7]^3*lambda[6]+4813/461260800*lambda[7]
*lambda[6]^2+499/153753600*lambda[7]^2*lambda[5]-1/1164800*lambda[6]*lambda[5]
+251/38438400*lambda[7]*lambda[4]+19/6406400*lambda[3])*v[7]^13*v[6]^2*v[5]^3*
v[3]-1/320*lambda[3]*v[7]^4*v[6]*v[4]^6+(3/4*lambda[7]*lambda[4]+3/8*lambda[3]
)*v[7]*v[6]^2*v[5]*v[4]^4*v[3]-1/40*lambda[7]*lambda[4]*v[7]^5*v[6]^3*v[4]*v[3
]*v[1]+(1/28828800*lambda[7]^5+1/2882880*lambda[7]^3*lambda[6]-313/230630400*
lambda[7]*lambda[6]^2-1/3843840*lambda[7]^2*lambda[5]+17/5491200*lambda[6]*
lambda[5]-1/240240*lambda[7]*lambda[4]-1/70400*lambda[3])*v[7]^13*v[5]^2*v[4]*
v[2]+(-1/40*lambda[6]*lambda[5]-1/40*lambda[7]*lambda[4]+1/8*lambda[3])*v[6]^6
*v[5]*v[3]*v[1]+(-9/16*lambda[6]*lambda[5]-11/16*lambda[7]*lambda[4]-3/8*
lambda[3])*v[6]^4*v[5]*v[4]^2*v[3]^2+(-19/896896000*lambda[7]^3*lambda[6]+17/
179379200*lambda[7]*lambda[6]^2-113/2690688000*lambda[7]^2*lambda[5]-17/
538137600*lambda[6]*lambda[5]+19/40768000*lambda[7]*lambda[4]-9/40768000*
lambda[3])*v[7]^15*v[6]^2*v[3]*v[2]+(1/57657600*lambda[7]^5+1/5765760*lambda[7
]^3*lambda[6]-313/461260800*lambda[7]*lambda[6]^2+19/14414400*lambda[7]^2*
lambda[5]-17/6589440*lambda[6]*lambda[5]-27/3203200*lambda[7]*lambda[4]-11/
3494400*lambda[3])*v[7]^13*v[6]^3*v[4]^2*v[3]+(-1/134400*lambda[7]^3*lambda[6]
+17/107520*lambda[7]*lambda[6]^2+121/645120*lambda[7]^2*lambda[5]+241/806400*
lambda[6]*lambda[5]+11/268800*lambda[7]*lambda[4]-11/134400*lambda[3])*v[7]^10
*v[6]^4*v[5]*v[3]^2+(-3/4*lambda[7]*lambda[4]-1/4*lambda[3])*v[7]*v[6]^3*v[4]^
3*v[3]^2+(1/67200*lambda[7]^3*lambda[6]+127/537600*lambda[7]*lambda[6]^2+19/
268800*lambda[7]^2*lambda[5]+13/44800*lambda[6]*lambda[5]-13/134400*lambda[7]*
lambda[4]-1/3360*lambda[3])*v[7]^10*v[6]^2*v[5]^3*v[4]^2+(-1/39424*lambda[7]^3
*lambda[6]+3/985600*lambda[7]*lambda[6]^2-1/53760*lambda[7]^2*lambda[5]+71/
49280*lambda[6]*lambda[5]+169/739200*lambda[7]*lambda[4]+53/123200*lambda[3])*
v[7]*v[6]^12*v[5]*v[3]+(13/107520*lambda[7]^3*lambda[6]+1/1920*lambda[7]*
lambda[6]^2-157/322560*lambda[7]^2*lambda[5]-5/8064*lambda[6]*lambda[5]-1/1680
*lambda[7]*lambda[4]+1/3360*lambda[3])*v[7]^9*v[6]^3*v[5]^4*v[4]+(3/8960*
lambda[7]*lambda[6]^2+1/20160*lambda[7]^2*lambda[5]+1/5760*lambda[6]*lambda[5]
-1/3360*lambda[7]*lambda[4]-1/1344*lambda[3])*v[7]^9*v[6]^3*v[5]^2*v[1]+(-1/
22400*lambda[7]*lambda[6]^2+1/8400*lambda[7]^2*lambda[5]-1/11200*lambda[6]*
lambda[5]+1/4200*lambda[7]*lambda[4]+17/5600*lambda[3])*v[7]*v[6]^10*v[4]*v[2]
+(23/2217600*lambda[7]^2*lambda[5]-13/633600*lambda[6]*lambda[5]+1/9600*lambda
[7]*lambda[4]-1/19200*lambda[3])*v[7]^11*v[6]^3*v[4]*v[3]^2+(13/22400*lambda[7
]*lambda[4]+13/44800*lambda[3])*v[7]^10*v[5]*v[4]^3*v[3]+(-3/1792*lambda[7]*
lambda[6]^2+17/4480*lambda[7]^2*lambda[5]+3/448*lambda[6]*lambda[5]+1/192*
lambda[7]*lambda[4]+1/1120*lambda[3])*v[7]^4*v[6]^7*v[5]^2*v[4]^2+(2*lambda[7]
*lambda[4]+lambda[3])*v[7]*v[6]*v[4]*v[3]^4+(-1/2240*lambda[7]*lambda[4]-9/
4480*lambda[3])*v[7]^9*v[4]^2*v[3]*v[2]+(-1/1680*lambda[7]^2*lambda[5]-13/
13440*lambda[6]*lambda[5]-3/896*lambda[7]*lambda[4]-1/224*lambda[3])*v[7]^8*v[
6]^2*v[5]*v[2]^2+(1/560*lambda[6]*lambda[5]-3/280*lambda[7]*lambda[4]+1/560*
lambda[3])*v[7]^3*v[6]^7*v[4]*v[3]^2+(-9/501760*lambda[7]^3*lambda[6]+9/313600
*lambda[7]*lambda[6]^2+107/4515840*lambda[7]^2*lambda[5]-17/2822400*lambda[6]*
lambda[5]+3/78400*lambda[7]*lambda[4]-1/58800*lambda[3])*v[7]^9*v[6]^7*v[5]^2*
v[4]-3/4*lambda[3]*v[6]^4*v[5]^2*v[4]^2*v[2]+1/2*lambda[3]*v[7]^3*v[5]^2*v[4]^
3*v[2]+(1/840*lambda[7]^2*lambda[5]-1/210*lambda[6]*lambda[5]-3/280*lambda[7]*
lambda[4]-11/560*lambda[3])*v[7]^7*v[4]*v[3]^2*v[2]+(-1/369600*lambda[7]^2*
lambda[5]+23/2956800*lambda[6]*lambda[5]-3/985600*lambda[7]*lambda[4]-1/39424*
lambda[3])*v[7]^12*v[5]*v[3]*v[1]+(1/80*lambda[7]^3*lambda[6]+7/160*lambda[7]*
lambda[6]^2+9/320*lambda[7]^2*lambda[5]+13/240*lambda[6]*lambda[5]+1/240*
lambda[7]*lambda[4]-1/120*lambda[3])*v[7]^6*v[6]^2*v[5]^3*v[3]^2+(13/35840*
lambda[7]^3*lambda[6]+1/7168*lambda[7]*lambda[6]^2-19/35840*lambda[7]^2*lambda
[5]-17/26880*lambda[6]*lambda[5]-1/26880*lambda[7]*lambda[4]+1/13440*lambda[3]
)*v[7]^9*v[6]^4*v[5]^3*v[3]-3/4*lambda[3]*v[7]^2*v[5]*v[4]^2*v[2]^2+(1/1680*
lambda[7]^3*lambda[6]+1/336*lambda[7]*lambda[6]^2+1/1680*lambda[7]^2*lambda[5]
+1/240*lambda[6]*lambda[5]+1/210*lambda[7]*lambda[4]-1/1680*lambda[3])*v[7]^7*
v[5]^3*v[4]^2*v[3]+(-23/8072064000*lambda[7]^5-1/733824000*lambda[7]^3*lambda[
6]+14237/258306048000*lambda[7]*lambda[6]^2-391/64576512000*lambda[7]^2*lambda
[5]+109/64576512000*lambda[6]*lambda[5]-19/287006720*lambda[7]*lambda[4]-1/
16558080*lambda[3])*v[7]^16*v[6]^3*v[5]*v[2]+(-1/3360*lambda[7]^2*lambda[5]-13
/26880*lambda[6]*lambda[5]-9/8960*lambda[7]*lambda[4]+13/4480*lambda[3])*v[7]^
8*v[6]^2*v[3]^2*v[2]+(-3301/730037468160000*lambda[7]^5+81919/
23361198981120000*lambda[7]^3*lambda[6]+75199/5840299745280000*lambda[7]*
lambda[6]^2+2017/41642065920000*lambda[7]^2*lambda[5]+8241/324461096960000*
lambda[6]*lambda[5]+3637/97338329088000*lambda[7]*lambda[4]-23/4269224960000*
lambda[3])*v[7]^21*v[6]*v[5]^2*v[4]+(5/39424*lambda[7]*lambda[6]^2+167/5913600
*lambda[7]^2*lambda[5]+17/739200*lambda[6]*lambda[5]+13/246400*lambda[7]*
lambda[4]-1/24640*lambda[3])*v[7]^3*v[6]^12*v[5]*v[4]+(5/16*lambda[7]*lambda[6
]^2+3/32*lambda[7]^2*lambda[5]-7/8*lambda[6]*lambda[5]+1/8*lambda[7]*lambda[4]
-1/4*lambda[3])*v[7]^2*v[6]^4*v[5]^3*v[3]^2+(1/8870400*lambda[7]^5+1/887040*
lambda[7]^3*lambda[6]+1/6451200*lambda[7]*lambda[6]^2-7/1013760*lambda[7]^2*
lambda[5]-29/2534400*lambda[6]*lambda[5]-3/281600*lambda[7]*lambda[4]-1/268800
*lambda[3])*v[7]^12*v[6]^3*v[5]^2*v[4]^2+1/560*lambda[3]*v[7]^7*v[6]^2*v[4]^3*
v[2]+(1/461260800*lambda[7]^5+599/6457651200*lambda[7]^3*lambda[6]-103/
283852800*lambda[7]*lambda[6]^2-1333/2583060480*lambda[7]^2*lambda[5]-283/
587059200*lambda[6]*lambda[5]-149/717516800*lambda[7]*lambda[4]+1/2069760*
lambda[3])*v[7]^14*v[6]^4*v[5]*v[4]^2+(117/4480*lambda[7]*lambda[6]^2-29/26880
*lambda[7]^2*lambda[5]+9/1120*lambda[6]*lambda[5]-1/3360*lambda[7]*lambda[4]-1
/240*lambda[3])*v[7]^3*v[6]^8*v[5]^3*v[4]+(1/16*lambda[7]*lambda[6]^2+1/8*
lambda[6]*lambda[5]+1/4*lambda[3])*v[7]*v[6]^4*v[5]^3*v[4]^3+3/4*lambda[3]*v[6
]*v[5]*v[4]^4*v[2]+(-1/160*lambda[7]*lambda[6]^2+1/40*lambda[7]^2*lambda[5]+1/
120*lambda[6]*lambda[5]-29/120*lambda[7]*lambda[4]-17/120*lambda[3])*v[7]^4*v[
5]^5*v[4]*v[3]+(-9/160*lambda[6]*lambda[5]-11/160*lambda[7]*lambda[4]-9/80*
lambda[3])*v[7]^2*v[6]^5*v[4]^2*v[3]^2+3/2240*lambda[3]*v[7]^8*v[5]^2*v[4]^2*v
[2]+(-1/2217600*lambda[7]^5-19/2217600*lambda[7]^3*lambda[6]+223/17740800*
lambda[7]*lambda[6]^2-17/11827200*lambda[7]^2*lambda[5]+67/2956800*lambda[6]*
lambda[5]+1/2956800*lambda[7]*lambda[4]-19/492800*lambda[3])*v[7]^12*v[6]*v[5]
^2*v[3]^2+(-29/3200*lambda[7]^3*lambda[6]-67/3200*lambda[7]*lambda[6]^2-29/
9600*lambda[7]^2*lambda[5]-41/2400*lambda[6]*lambda[5]+11/2400*lambda[7]*
lambda[4]+1/1200*lambda[3])*v[7]^5*v[6]^6*v[5]^3*v[3]+(1/100800*lambda[7]^2*
lambda[5]+1/80640*lambda[6]*lambda[5]+1/19200*lambda[7]*lambda[4]+1/5376*
lambda[3])*v[7]^10*v[6]^3*v[3]*v[1]+(-1/2240*lambda[7]*lambda[4]-3/2240*lambda
[3])*v[7]^9*v[6]*v[4]*v[2]^2+(9/320*lambda[7]*lambda[6]^2+1/240*lambda[7]^2*
lambda[5]-1/48*lambda[6]*lambda[5]-1/240*lambda[7]*lambda[4]-1/60*lambda[3])*v
[7]^4*v[6]^5*v[5]^3*v[2]+(-3/4480*lambda[7]*lambda[6]^2-31/5376*lambda[7]^2*
lambda[5]-69/2240*lambda[6]*lambda[5]-11/1344*lambda[7]*lambda[4]-3/1120*
lambda[3])*v[7]^2*v[6]^8*v[5]*v[3]^2+(-131/4907814912000*lambda[7]^5-1933/
11918979072000*lambda[7]^3*lambda[6]-85513/333731414016000*lambda[7]*lambda[6]
^2-41389/133492565606400*lambda[7]^2*lambda[5]-7127/83432853504000*lambda[6]*
lambda[5]-131/842756096000*lambda[7]*lambda[4]-37/213930393600*lambda[3])*v[7]
^19*v[6]^4*v[5]*v[4]+(1/20*lambda[7]*lambda[4]+3/20*lambda[3])*v[7]*v[6]^5*v[4
]*v[2]^2-1/4*lambda[3]*v[7]^3*v[6]*v[4]^2*v[3]^3+(-191/993248256000*lambda[7]^
5+1719/2317579264000*lambda[7]^3*lambda[6]+107959/55621902336000*lambda[7]*
lambda[6]^2+86881/55621902336000*lambda[7]^2*lambda[5]+5/10113073152*lambda[6]
*lambda[5]-1671/4635158528000*lambda[7]*lambda[4]-27/121977856000*lambda[3])*v
[7]^19*v[6]*v[5]^2*v[3]+(1/1680*lambda[7]^2*lambda[5]-17/13440*lambda[6]*
lambda[5]+3/4480*lambda[7]*lambda[4]-3/1120*lambda[3])*v[7]^8*v[6]*v[4]*v[3]^3
+(1/40*lambda[7]*lambda[4]+1/8*lambda[3])*v[7]^5*v[5]*v[3]^2*v[1]+(1/64*lambda
[6]*lambda[5]+7/64*lambda[7]*lambda[4]+1/32*lambda[3])*v[7]^4*v[6]^4*v[3]^2*v[
2]+(-1/22400*lambda[7]^3*lambda[6]+1/358400*lambda[7]*lambda[6]^2+1/179200*
lambda[7]^2*lambda[5]+23/89600*lambda[6]*lambda[5]+13/89600*lambda[7]*lambda[4
]+23/44800*lambda[3])*v[7]^8*v[6]^5*v[5]^2*v[4]^2+(1/134400*lambda[7]^3*lambda
[6]+1/107520*lambda[7]*lambda[6]^2+13/134400*lambda[7]^2*lambda[5]-1/67200*
lambda[6]*lambda[5]-43/134400*lambda[7]*lambda[4]-9/44800*lambda[3])*v[7]^6*v[
6]^9*v[4]*v[3]+(-1/14784000*lambda[7]^5-1/1478400*lambda[7]^3*lambda[6]+41/
23654400*lambda[7]*lambda[6]^2+17/29568000*lambda[7]^2*lambda[5]+7/4224000*
lambda[6]*lambda[5]+1/896000*lambda[7]*lambda[4]-1/1232000*lambda[3])*v[7]^12*
v[6]^5*v[5]*v[2]+1/4*lambda[3]*v[7]^3*v[6]^3*v[3]*v[2]^2+(-3/40*lambda[7]*
lambda[6]^2+3/10*lambda[7]^2*lambda[5]-9/10*lambda[6]*lambda[5]+11/10*lambda[7
]*lambda[4]+3/10*lambda[3])*v[6]^2*v[5]^5*v[4]*v[3]+3/16*lambda[3]*v[7]^4*v[6]
*v[4]^2*v[2]^2+(-1/985600*lambda[7]^5-1/53760*lambda[7]^3*lambda[6]-43/844800*
lambda[7]*lambda[6]^2-23/1075200*lambda[7]^2*lambda[5]-1/70400*lambda[6]*
lambda[5]-1/295680*lambda[7]*lambda[4]-19/739200*lambda[3])*v[7]^11*v[6]^4*v[5
]^3*v[4]+(1/22400*lambda[7]^2*lambda[5]+1/17920*lambda[6]*lambda[5]-17/89600*
lambda[7]*lambda[4]+1/8960*lambda[3])*v[7]^10*v[6]*v[4]^2*v[3]^2+(-3/4480*
lambda[7]*lambda[6]^2-1/3360*lambda[7]^2*lambda[5]-3/2240*lambda[6]*lambda[5]-\
1/1680*lambda[7]*lambda[4]-1/224*lambda[3])*v[7]*v[6]^8*v[5]*v[4]^3+(1/840*
lambda[7]^3*lambda[6]+1/168*lambda[7]*lambda[6]^2+1/140*lambda[7]^2*lambda[5]+
1/160*lambda[6]*lambda[5]+1/160*lambda[7]*lambda[4]+1/560*lambda[3])*v[7]^7*v[
6]^2*v[5]*v[3]^3+(1/1153152000*lambda[7]^5-29/1467648000*lambda[7]^3*lambda[6]
+713/9225216000*lambda[7]*lambda[6]^2-6289/16144128000*lambda[7]^2*lambda[5]+
131/8072064000*lambda[6]*lambda[5]+487/1793792000*lambda[7]*lambda[4]+103/
489216000*lambda[3])*v[7]^14*v[6]^5*v[4]*v[3]+(1/2*lambda[7]*lambda[6]^2+1/4*
lambda[7]^2*lambda[5]+5/4*lambda[6]*lambda[5]+1/4*lambda[7]*lambda[4]-1/2*
lambda[3])*v[7]*v[6]^3*v[5]^2*v[3]^3+(-9/160*lambda[7]*lambda[6]^2-1/40*lambda
[7]^2*lambda[5]-11/120*lambda[6]*lambda[5]-11/120*lambda[7]*lambda[4]-1/15*
lambda[3])*v[7]^4*v[6]*v[5]^5*v[2]+(1/20*lambda[7]*lambda[4]+3/20*lambda[3])*v
[7]*v[6]*v[5]^2*v[4]^5+(1/40*lambda[7]*lambda[4]+3/40*lambda[3])*v[7]^5*v[6]^3
*v[4]*v[2]^2+(1/120*lambda[7]^2*lambda[5]-1/48*lambda[6]*lambda[5]+3/80*lambda
[7]*lambda[4]+1/40*lambda[3])*v[7]^6*v[5]*v[4]*v[3]^3+(-3/4*lambda[6]*lambda[5
]+3/4*lambda[7]*lambda[4]-3/2*lambda[3])*v[6]^2*v[5]^2*v[3]^2*v[2]+(-3/2240*
lambda[6]*lambda[5]-1/224*lambda[7]*lambda[4]-1/224*lambda[3])*v[7]^3*v[6]^8*v
[5]*v[1]+(1/6720*lambda[7]^5+13/6720*lambda[7]^3*lambda[6]+1/384*lambda[7]*
lambda[6]^2-79/13440*lambda[7]^2*lambda[5]-17/3360*lambda[6]*lambda[5]-3/1120*
lambda[7]*lambda[4]+3/560*lambda[3])*v[7]^7*v[6]^3*v[5]^4*v[3]+(43/1153152000*
lambda[7]^5+1453/1845043200*lambda[7]^3*lambda[6]+601/838656000*lambda[7]*
lambda[6]^2+1119/1025024000*lambda[7]^2*lambda[5]+47/51251200*lambda[6]*lambda
[5]+29/30750720*lambda[7]*lambda[4]+41/128128000*lambda[3])*v[7]^13*v[6]^6*v[5
]*v[3]+(-9/89600*lambda[7]*lambda[6]^2+3/11200*lambda[7]^2*lambda[5]-3/8960*
lambda[6]*lambda[5]+3/2240*lambda[7]*lambda[4]+3/22400*lambda[3])*v[7]^5*v[6]^
8*v[4]*v[2]+(1/704000*lambda[7]^5+17/985600*lambda[7]^3*lambda[6]+943/19712000
*lambda[7]*lambda[6]^2+229/35481600*lambda[7]^2*lambda[5]+283/44352000*lambda[
6]*lambda[5]+23/2112000*lambda[7]*lambda[4]+31/7392000*lambda[3])*v[7]^11*v[6]
^5*v[5]^2*v[3]+(5/32*lambda[7]*lambda[6]^2+3/64*lambda[7]^2*lambda[5]-7/48*
lambda[6]*lambda[5]-1/48*lambda[7]*lambda[4]+1/24*lambda[3])*v[7]^4*v[6]*v[5]^
4*v[3]^2+(79/492800*lambda[7]^3*lambda[6]+79/492800*lambda[7]^2*lambda[5]+71/
61600*lambda[6]*lambda[5]+1/7700*lambda[7]*lambda[4]+1/7700*lambda[3])*v[7]*v[
6]^11*v[5]^2*v[4]+(17/10035200*lambda[7]^3*lambda[6]-143/10035200*lambda[7]*
lambda[6]^2+557/18063360*lambda[7]^2*lambda[5]-967/22579200*lambda[6]*lambda[5
]-17/1505280*lambda[7]*lambda[4]-67/3763200*lambda[3])*v[7]^9*v[6]^8*v[5]*v[3]
+(19/896896000*lambda[7]^3*lambda[6]-17/179379200*lambda[7]*lambda[6]^2+113/
2690688000*lambda[7]^2*lambda[5]+17/538137600*lambda[6]*lambda[5]-17/32032000*
lambda[7]*lambda[4]-29/68992000*lambda[3])*v[7]^15*v[5]*v[4]^2*v[3]+(-1/120*
lambda[7]^2*lambda[5]-1/240*lambda[6]*lambda[5]-3/80*lambda[7]*lambda[4]-1/40*
lambda[3])*v[7]^6*v[6]*v[5]^2*v[2]^2+(7/2*lambda[7]*lambda[4]+3/2*lambda[3])*v
[7]*v[5]*v[4]^2*v[3]^3+(33/160*lambda[7]*lambda[6]^2+9/80*lambda[7]^2*lambda[5
]+9/40*lambda[6]*lambda[5]+9/40*lambda[7]*lambda[4]+3/10*lambda[3])*v[7]^2*v[6
]^2*v[5]^5*v[4]^2+(3/320*lambda[7]^3*lambda[6]+3/400*lambda[7]*lambda[6]^2-23/
1600*lambda[7]^2*lambda[5]-7/200*lambda[6]*lambda[5]-1/100*lambda[7]*lambda[4]
+1/50*lambda[3])*v[7]^5*v[6]*v[5]^6*v[4]+(1/2*lambda[6]*lambda[5]+3/2*lambda[7
]*lambda[4]+2*lambda[3])*v[6]*v[5]^2*v[4]*v[3]^3+(-1/67200*lambda[7]^5-239/
470400*lambda[7]^3*lambda[6]-31/62720*lambda[7]*lambda[6]^2+421/940800*lambda[
7]^2*lambda[5]+523/235200*lambda[6]*lambda[5]+37/78400*lambda[7]*lambda[4]+1/
5600*lambda[3])*v[7]^7*v[6]^7*v[5]^2*v[3]+(-81/8960*lambda[7]*lambda[6]^2-17/
5376*lambda[7]^2*lambda[5]-1/960*lambda[6]*lambda[5]-1/960*lambda[7]*lambda[4]
+1/224*lambda[3])*v[7]^3*v[6]^9*v[5]^2*v[3]+(1/1120*lambda[7]^2*lambda[5]+13/
8960*lambda[6]*lambda[5]-73/8960*lambda[7]*lambda[4]-17/4480*lambda[3])*v[7]^8
*v[5]*v[4]^2*v[3]^2+(-1/960*lambda[7]^3*lambda[6]-11/3840*lambda[7]*lambda[6]^
2+1/384*lambda[7]^2*lambda[5]-1/320*lambda[6]*lambda[5]+1/192*lambda[7]*lambda
[4]-1/240*lambda[3])*v[7]^6*v[6]^4*v[5]^3*v[4]^2+(5/24*lambda[6]*lambda[5]+1/
12*lambda[7]*lambda[4]+1/12*lambda[3])*v[7]^3*v[6]*v[5]^4*v[4]^3+(-1/492800*
lambda[7]^5-13/1478400*lambda[7]^3*lambda[6]-37/537600*lambda[7]*lambda[6]^2+
71/5913600*lambda[7]^2*lambda[5]-3/44800*lambda[6]*lambda[5]-1/26880*lambda[7]
*lambda[4]+1/13440*lambda[3])*v[7]^11*v[6]*v[5]^4*v[3]+(3/2240*lambda[6]*
lambda[5]-9/1120*lambda[7]*lambda[4]-1/560*lambda[3])*v[7]^3*v[6]^8*v[3]*v[2]+
(27/8960*lambda[7]*lambda[6]^2+1/2240*lambda[7]^2*lambda[5]-3/320*lambda[6]*
lambda[5]-3/320*lambda[7]*lambda[4]-11/1120*lambda[3])*v[7]^2*v[6]^8*v[5]^2*v[
2]+(-17/80*lambda[7]*lambda[6]^2-7/80*lambda[7]^2*lambda[5]-1/20*lambda[6]*
lambda[5]-1/20*lambda[7]*lambda[4]+1/10*lambda[3])*v[7]^3*v[6]*v[5]^6*v[3]+(1/
8*lambda[7]*lambda[6]^2+1/4*lambda[6]*lambda[5]+1/2*lambda[3])*v[7]*v[6]^3*v[5
]^4*v[1]+(1/1120*lambda[7]^3*lambda[6]+31/8960*lambda[7]*lambda[6]^2+199/53760
*lambda[7]^2*lambda[5]+23/13440*lambda[6]*lambda[5]+3/4480*lambda[7]*lambda[4]
-3/2240*lambda[3])*v[7]^8*v[6]^3*v[5]^2*v[3]^2+(-1/16*lambda[6]*lambda[5]+1/16
*lambda[7]*lambda[4]+3/8*lambda[3])*v[7]^4*v[5]^2*v[3]^2*v[2]+(1/1680*lambda[7
]^3*lambda[6]+1/336*lambda[7]*lambda[6]^2+1/1680*lambda[7]^2*lambda[5]+1/240*
lambda[6]*lambda[5]-1/168*lambda[7]*lambda[4]-1/168*lambda[3])*v[7]^7*v[6]^2*v
[5]^3*v[1]+(-3/320*lambda[7]*lambda[6]^2-31/384*lambda[7]^2*lambda[5]-13/160*
lambda[6]*lambda[5]-7/160*lambda[7]*lambda[4]-1/80*lambda[3])*v[7]^4*v[6]^5*v[
5]^2*v[3]^2+(197/2690688000*lambda[7]^2*lambda[5]-157/538137600*lambda[6]*
lambda[5]+3/10192000*lambda[7]*lambda[4]+1/16307200*lambda[3])*v[7]^15*v[6]*v[
4]*v[3]^2+(1/33600*lambda[7]^3*lambda[6]+1/6720*lambda[7]*lambda[6]^2+1/6720*
lambda[7]^2*lambda[5]+1/11200*lambda[6]*lambda[5]-1/3360*lambda[7]*lambda[4]+3
/5600*lambda[3])*v[7]^7*v[6]^6*v[3]*v[2]+(-69/320*lambda[7]*lambda[6]^2-3/320*
lambda[7]^2*lambda[5]-11/240*lambda[6]*lambda[5]-7/240*lambda[7]*lambda[4]+7/
120*lambda[3])*v[7]^3*v[6]^5*v[5]^4*v[3]+(-23/12475008000*lambda[7]^5-7519/
675569664000*lambda[7]^3*lambda[6]-4117/548900352000*lambda[7]*lambda[6]^2-\
1849/250925875200*lambda[7]^2*lambda[5]-10403/1097800704000*lambda[6]*lambda[5
]+61/22870848000*lambda[7]*lambda[4]+41/4158336000*lambda[3])*v[7]^17*v[6]^3*v
[5]^2*v[4]+3/40*lambda[3]*v[7]^2*v[6]*v[4]^5*v[3]+(3/4480*lambda[7]*lambda[4]+
3/8960*lambda[3])*v[7]^8*v[6]^3*v[4]^3*v[3]+(-941/36710455541760000*lambda[7]^
5-1237/3953433673728000*lambda[7]^3*lambda[6]+184579/256973188792320000*lambda
[7]*lambda[6]^2+251/163938238464000*lambda[7]^2*lambda[5]+1/38171893760000*
lambda[6]*lambda[5]+107/389353316352000*lambda[7]*lambda[4]+3/3817189376000*
lambda[3])*v[7]^23*v[6]^2*v[5]*v[4]+(-1/492800*lambda[7]^3*lambda[6]+1/492800*
lambda[7]*lambda[6]^2-19/4435200*lambda[7]^2*lambda[5]-61/8870400*lambda[6]*
lambda[5]+1/19200*lambda[7]*lambda[4]+1/33600*lambda[3])*v[7]^11*v[6]^4*v[3]*v
[2]+(-3/17920*lambda[7]*lambda[6]^2-1/2688*lambda[7]^2*lambda[5]-1/2688*lambda
[6]*lambda[5]-1/2688*lambda[7]*lambda[4])*v[7]^4*v[6]^9*v[5]*v[2]+(-1/4*lambda
[6]*lambda[5]-1/4*lambda[7]*lambda[4]-1/2*lambda[3])*v[7]^2*v[6]^3*v[5]^2*v[2]
^2+(-1/2400*lambda[7]^2*lambda[5]-1/4800*lambda[6]*lambda[5]-3/1600*lambda[7]*
lambda[4]-1/320*lambda[3])*v[7]^6*v[6]^5*v[3]*v[1]+(23/10762752000*lambda[7]^5
+22549/5854937088000*lambda[7]^3*lambda[6]-19573/1951645696000*lambda[7]*
lambda[6]^2-101/17547264000*lambda[7]^2*lambda[5]-65981/4391202816000*lambda[6
]*lambda[5]+3089/1463734272000*lambda[7]*lambda[4]+5143/731867136000*lambda[3]
)*v[7]^17*v[6]^4*v[5]*v[3]+(-23/45741696000*lambda[7]^5+23/22870848000*lambda[
7]^3*lambda[6]+6077/1463734272000*lambda[7]*lambda[6]^2-197/36593356800*lambda
[7]^2*lambda[5]-83/29274685440*lambda[6]*lambda[5]-1/174254080*lambda[7]*
lambda[4]-181/11088896000*lambda[3])*v[7]^17*v[6]^2*v[4]*v[2]+(3/160*lambda[7]
*lambda[6]^2-1/240*lambda[6]*lambda[5]-1/60*lambda[7]*lambda[4]-1/24*lambda[3]
)*v[7]^5*v[6]*v[5]^4*v[1]+(1/67200*lambda[7]^5+47/67200*lambda[7]^3*lambda[6]+
13/22400*lambda[7]*lambda[6]^2+109/134400*lambda[7]^2*lambda[5]+11/5600*lambda
[6]*lambda[5]+11/16800*lambda[7]*lambda[4]+1/1680*lambda[3])*v[7]^7*v[6]^6*v[5
]^3*v[4]+(-3/64064000*lambda[7]^5-2143/1025024000*lambda[7]^3*lambda[6]-773/
256256000*lambda[7]*lambda[6]^2+5539/9225216000*lambda[7]^2*lambda[5]+239/
230630400*lambda[6]*lambda[5]+41/38438400*lambda[7]*lambda[4]+53/96096000*
lambda[3])*v[7]^13*v[6]^5*v[5]^2*v[4]+(23/274450176000*lambda[7]^5-83/
548900352000*lambda[7]^3*lambda[6]-6491/8782405632000*lambda[7]*lambda[6]^2-\
239/731867136000*lambda[7]^2*lambda[5]-1/746803200*lambda[6]*lambda[5]-4393/
731867136000*lambda[7]*lambda[4]-3/3168256000*lambda[3])*v[7]^18*v[6]^3*v[4]*v
[3]+(1/89600*lambda[7]*lambda[4]+1/179200*lambda[3])*v[7]^12*v[6]*v[4]^3*v[3]+
(-9/1600*lambda[7]*lambda[6]^2-1/400*lambda[7]^2*lambda[5]-7/800*lambda[6]*
lambda[5]-1/100*lambda[7]*lambda[4]-1/80*lambda[3])*v[7]^5*v[6]^5*v[5]^2*v[1]+
(1/38438400*lambda[7]^5-1/41395200*lambda[7]^3*lambda[6]+29/307507200*lambda[7
]*lambda[6]^2+443/538137600*lambda[7]^2*lambda[5]+67/41395200*lambda[6]*lambda
[5]+53/179379200*lambda[7]*lambda[4]-1/8153600*lambda[3])*v[7]^14*v[6]^2*v[5]^
2*v[2]+(-1/24*lambda[6]*lambda[5]-1/12*lambda[7]*lambda[4]-1/12*lambda[3])*v[7
]^3*v[6]^4*v[5]^3*v[1]+(-1/1568000*lambda[7]^3*lambda[6]-1/12544000*lambda[7]*
lambda[6]^2-191/28224000*lambda[7]^2*lambda[5]-1/176400*lambda[6]*lambda[5]-11
/376320*lambda[7]*lambda[4]-47/9408000*lambda[3])*v[7]^10*v[6]^7*v[4]*v[3]+(-1
/44800*lambda[7]^3*lambda[6]-31/358400*lambda[7]*lambda[6]^2-41/806400*lambda[
7]^2*lambda[5]-31/806400*lambda[6]*lambda[5]-53/268800*lambda[7]*lambda[4]-1/
19200*lambda[3])*v[7]^10*v[6]^4*v[5]^2*v[2]-3*lambda[3]*v[5]*v[4]*v[3]*v[2]^2+
(1/123200*lambda[7]^3*lambda[6]-1/123200*lambda[7]*lambda[6]^2-1/123200*lambda
[7]^2*lambda[5]-23/246400*lambda[6]*lambda[5]-9/123200*lambda[7]*lambda[4]+1/
61600*lambda[3])*v[7]^11*v[5]^2*v[3]*v[2]-1/8*lambda[3]*v[7]^4*v[4]^3*v[3]*v[2
]+(3/2*lambda[7]*lambda[4]+3/4*lambda[3])*v[7]^2*v[5]^3*v[4]^3*v[3]+(1/3200*
lambda[7]*lambda[6]^2+19/16800*lambda[7]^2*lambda[5]-23/5600*lambda[6]*lambda[
5]+47/16800*lambda[7]*lambda[4]-1/800*lambda[3])*v[6]^10*v[5]*v[4]*v[3]+(-1/
140*lambda[7]*lambda[4]-1/80*lambda[3])*v[7]^7*v[6]*v[3]*v[2]^2+(1/2217600*
lambda[7]^5-1/1108800*lambda[7]^3*lambda[6]-1/17740800*lambda[7]*lambda[6]^2-\
17/1478400*lambda[7]^2*lambda[5]-23/1478400*lambda[6]*lambda[5]-53/1478400*
lambda[7]*lambda[4]+1/70400*lambda[3])*v[7]^12*v[5]^3*v[4]*v[3]+(1/2*lambda[7]
*lambda[4]+1/2*lambda[3])*v[7]*v[6]^2*v[3]^3*v[2]+(-1/80*lambda[6]*lambda[5]+1
/40*lambda[7]*lambda[4]+1/40*lambda[3])*v[7]^3*v[6]^5*v[5]^2*v[4]^3+(1/2217600
*lambda[7]^5+1/221760*lambda[7]^3*lambda[6]-41/3548160*lambda[7]*lambda[6]^2+1
/134400*lambda[7]^2*lambda[5]-23/1478400*lambda[6]*lambda[5]+1/295680*lambda[7
]*lambda[4]-1/73920*lambda[3])*v[7]^12*v[6]*v[5]^3*v[2]+(17/39424000*lambda[7]
^3*lambda[6]-31/19712000*lambda[7]*lambda[6]^2+19/59136000*lambda[7]^2*lambda[
5]+9/4928000*lambda[6]*lambda[5]-13/14784000*lambda[7]*lambda[4]+1/352000*
lambda[3])*v[6]^16*v[5]+(-1/128*lambda[6]*lambda[5]-1/128*lambda[7]*lambda[4])
*v[7]^4*v[6]^4*v[5]*v[4]^4+(-3/160*lambda[7]*lambda[6]^2+1/240*lambda[6]*
lambda[5]+1/60*lambda[7]*lambda[4]-13/120*lambda[3])*v[7]^5*v[5]^4*v[4]*v[2]+(
23/16144128000*lambda[7]^5-37/16144128000*lambda[7]^3*lambda[6]-10469/
516612096000*lambda[7]*lambda[6]^2-4247/86102016000*lambda[7]^2*lambda[5]+163/
8610201600*lambda[6]*lambda[5]-1363/43051008000*lambda[7]*lambda[4]-391/
7175168000*lambda[3])*v[7]^16*v[6]*v[5]^2*v[4]^2+(101/8022389760000*lambda[7]^
5-379/4740503040000*lambda[7]^3*lambda[6]+39427/333731414016000*lambda[7]*
lambda[6]^2-5461/139054755840000*lambda[7]^2*lambda[5]+261/1324331008000*
lambda[6]*lambda[5]+8641/19864965120000*lambda[7]*lambda[4]-103/3565506560000*
lambda[3])*v[7]^20*v[5]*v[4]*v[3]+(1/6720*lambda[7]^2*lambda[5]+13/53760*
lambda[6]*lambda[5]+3/3584*lambda[7]*lambda[4]+1/896*lambda[3])*v[7]^8*v[6]^2*
v[5]*v[4]^4+(1/4800*lambda[7]^3*lambda[6]-17/9600*lambda[7]*lambda[6]^2-107/
19200*lambda[7]^2*lambda[5]-23/4800*lambda[6]*lambda[5]-19/4800*lambda[7]*
lambda[4]+1/800*lambda[3])*v[7]^6*v[6]^6*v[5]*v[3]^2+(-1/24460800*lambda[7]^2*
lambda[5]+1/9784320*lambda[6]*lambda[5]-1/16307200*lambda[7]*lambda[4]+1/
652288*lambda[3])*v[7]^14*v[6]*v[3]*v[1]+(-9/179200*lambda[7]*lambda[6]^2+1/
33600*lambda[7]^2*lambda[5]-23/268800*lambda[6]*lambda[5]-1/11200*lambda[7]*
lambda[4]-1/22400*lambda[3])*v[7]^9*v[6]^5*v[4]^2*v[3]+(1/29952000*lambda[7]^5
+4163/16144128000*lambda[7]^3*lambda[6]+3799/32288256000*lambda[7]*lambda[6]^2
+4117/32288256000*lambda[7]^2*lambda[5]+2531/8072064000*lambda[6]*lambda[5]+
279/896896000*lambda[7]*lambda[4]+1/9408000*lambda[3])*v[7]^15*v[6]^3*v[5]^2*v
[3]+(1/4480*lambda[7]*lambda[6]^2-1/1680*lambda[7]^2*lambda[5]+1/2240*lambda[6
]*lambda[5]-1/840*lambda[7]*lambda[4]+1/280*lambda[3])*v[7]*v[6]^9*v[4]^2*v[3]
+(3/560*lambda[7]*lambda[4]+1/320*lambda[3])*v[7]^7*v[6]*v[4]^4*v[3]+(17/2240*
lambda[7]^3*lambda[6]+17/2240*lambda[7]^2*lambda[5]-11/280*lambda[6]*lambda[5]
-1/70*lambda[7]*lambda[4]-1/70*lambda[3])*v[7]*v[6]^7*v[5]^4*v[4]+(23/
182966784000*lambda[7]^5-101/365933568000*lambda[7]^3*lambda[6]-809/
836419584000*lambda[7]*lambda[6]^2-2671/2927468544000*lambda[7]^2*lambda[5]-59
/86102016000*lambda[6]*lambda[5]-181/97582284800*lambda[7]*lambda[4]-1/
1435033600*lambda[3])*v[7]^18*v[6]^2*v[5]*v[4]^2-1/16*lambda[3]*v[7]^3*v[6]^3*
v[4]^4*v[3]+(3/179200*lambda[7]*lambda[6]^2-1/100800*lambda[7]^2*lambda[5]+23/
806400*lambda[6]*lambda[5]-1/16800*lambda[7]*lambda[4]-13/134400*lambda[3])*v[
7]^9*v[6]^6*v[4]*v[2]+(-3/89600*lambda[7]^3*lambda[6]+3/358400*lambda[7]*
lambda[6]^2+31/179200*lambda[7]^2*lambda[5]+1/12800*lambda[6]*lambda[5]+27/
89600*lambda[7]*lambda[4]+1/2240*lambda[3])*v[7]^6*v[6]^8*v[5]*v[4]^2+(9/4480*
lambda[7]^3*lambda[6]-171/11200*lambda[7]*lambda[6]^2+47/33600*lambda[7]^2*
lambda[5]-33/2800*lambda[6]*lambda[5]+1/8400*lambda[7]*lambda[4]-1/200*lambda[
3])*v[6]^8*v[5]^5-3/2*lambda[3]*v[6]^2*v[4]^3*v[3]*v[2]+3/160*lambda[3]*v[7]^4
*v[6]^6*v[4]^2*v[2]-3/8960*lambda[3]*v[7]^8*v[6]^4*v[4]^2*v[2]+(-1/246400*
lambda[7]^3*lambda[6]+1/246400*lambda[7]*lambda[6]^2+1/246400*lambda[7]^2*
lambda[5]+23/492800*lambda[6]*lambda[5]+9/246400*lambda[7]*lambda[4]+9/246400*
lambda[3])*v[7]^11*v[6]*v[5]^2*v[4]^3+(13/48*lambda[6]*lambda[5]-1/16*lambda[7
]*lambda[4]+1/8*lambda[3])*v[7]^3*v[6]^4*v[5]*v[3]^3+(-1/57657600*lambda[7]^5-\
137/322882560*lambda[7]^3*lambda[6]+4783/3228825600*lambda[7]*lambda[6]^2+3719
/2152550400*lambda[7]^2*lambda[5]+361/179379200*lambda[6]*lambda[5]-71/
76876800*lambda[7]*lambda[4]+43/89689600*lambda[3])*v[7]^14*v[6]^2*v[5]*v[3]^2
+(-1/20*lambda[7]*lambda[4]-1/40*lambda[3])*v[7]^5*v[5]*v[3]*v[2]^2+(3/160*
lambda[7]*lambda[6]^2-1/240*lambda[6]*lambda[5]-1/60*lambda[7]*lambda[4]-1/24*
lambda[3])*v[7]^5*v[6]^2*v[5]^3*v[4]^3+(1/32*lambda[7]^3*lambda[6]+9/160*
lambda[7]*lambda[6]^2+9/160*lambda[7]^2*lambda[5]+37/40*lambda[6]*lambda[5]-3/
40*lambda[7]*lambda[4]+3/20*lambda[3])*v[7]*v[6]^4*v[5]^5*v[3]+1/4*lambda[3]*v
[7]^3*v[6]^3*v[3]^2*v[1]+(-1/33600*lambda[7]^3*lambda[6]-1/6720*lambda[7]*
lambda[6]^2-1/6720*lambda[7]^2*lambda[5]-1/11200*lambda[6]*lambda[5]-1/16800*
lambda[7]*lambda[4]+1/1120*lambda[3])*v[7]^7*v[6]^6*v[5]*v[1]+(1/492800*lambda
[7]^3*lambda[6]-1/492800*lambda[7]*lambda[6]^2+19/4435200*lambda[7]^2*lambda[5
]+61/8870400*lambda[6]*lambda[5]+1/59136*lambda[7]*lambda[4]+1/59136*lambda[3]
)*v[7]^11*v[6]^4*v[5]*v[1]+(-1/3843840*lambda[7]^5-641/307507200*lambda[7]^3*
lambda[6]-179/76876800*lambda[7]*lambda[6]^2+1061/307507200*lambda[7]^2*lambda
[5]+1/1830400*lambda[6]*lambda[5]+1/1747200*lambda[7]*lambda[4]-1/218400*
lambda[3])*v[7]^13*v[6]*v[5]^4*v[4]+(1/78400*lambda[7]^3*lambda[6]+71/1254400*
lambda[7]*lambda[6]^2+41/940800*lambda[7]^2*lambda[5]+13/940800*lambda[6]*
lambda[5]+19/62720*lambda[7]*lambda[4]+1/15680*lambda[3])*v[7]^8*v[6]^7*v[5]*v
[2]+(-1/160*lambda[7]^3*lambda[6]-11/640*lambda[7]*lambda[6]^2-7/480*lambda[7]
^2*lambda[5]-1/96*lambda[6]*lambda[5]-3/160*lambda[7]*lambda[4]+1/80*lambda[3]
)*v[7]^6*v[6]^2*v[5]^4*v[2]+(3/35840*lambda[7]*lambda[6]^2+1/80640*lambda[7]^2
*lambda[5]+1/23040*lambda[6]*lambda[5]-1/13440*lambda[7]*lambda[4]-1/5376*
lambda[3])*v[7]^9*v[6]^4*v[5]*v[4]^3+(1/280*lambda[7]*lambda[4]+1/112*lambda[3
])*v[7]^7*v[6]*v[3]^2*v[1]-1/8*lambda[3]*v[7]^3*v[6]^4*v[4]^3*v[2]+(31/
2044922880000*lambda[7]^5-31/1022461440000*lambda[7]^3*lambda[6]-799/
6543753216000*lambda[7]*lambda[6]^2+491/2726563840000*lambda[7]^2*lambda[5]+79
/545312768000*lambda[6]*lambda[5]+1/3116072960*lambda[7]*lambda[4]+3/
170410240000*lambda[3])*v[7]^20*v[6]*v[5]*v[2]+(-1/160*lambda[7]^2*lambda[5]-1
/320*lambda[6]*lambda[5]-11/320*lambda[7]*lambda[4]-1/160*lambda[3])*v[7]^6*v[
6]^3*v[4]^2*v[3]^2+(-1/112*lambda[7]^3*lambda[6]+3/280*lambda[7]*lambda[6]^2+3
/280*lambda[7]^2*lambda[5]-1/70*lambda[6]*lambda[5]-1/70*lambda[7]*lambda[4]+1
/35*lambda[3])*v[5]^9+(-1/57657600*lambda[7]^5-1/5765760*lambda[7]^3*lambda[6]
+313/461260800*lambda[7]*lambda[6]^2+1/7687680*lambda[7]^2*lambda[5]-17/
10982400*lambda[6]*lambda[5]-1/960960*lambda[7]*lambda[4]-3/2562560*lambda[3])
*v[7]^13*v[6]^2*v[5]*v[4]^3+(1/1344*lambda[7]^3*lambda[6]+103/107520*lambda[7]
*lambda[6]^2+23/10752*lambda[7]^2*lambda[5]+17/26880*lambda[6]*lambda[5]+1/
3840*lambda[7]*lambda[4]-1/1920*lambda[3])*v[7]^8*v[6]*v[5]^4*v[4]^2+(19/
896896000*lambda[7]^3*lambda[6]-17/179379200*lambda[7]*lambda[6]^2+113/
2690688000*lambda[7]^2*lambda[5]+17/538137600*lambda[6]*lambda[5]+1/3587584*
lambda[7]*lambda[4]+1/3587584*lambda[3])*v[7]^15*v[6]^2*v[5]*v[1]+(-1/14414400
*lambda[7]^5+1/1801800*lambda[7]^3*lambda[6]-1/900900*lambda[7]*lambda[6]^2+29
/25625600*lambda[7]^2*lambda[5]-19/4804800*lambda[6]*lambda[5]-127/38438400*
lambda[7]*lambda[4]+3/985600*lambda[3])*v[7]^13*v[5]*v[4]*v[3]^2+(-3/39424000*
lambda[7]^5-31/39424000*lambda[7]^3*lambda[6]-1039/551936000*lambda[7]*lambda[
6]^2-2627/9934848000*lambda[7]^2*lambda[5]+403/1241856000*lambda[6]*lambda[5]-\
151/137984000*lambda[7]*lambda[4]-31/41395200*lambda[3])*v[7]^11*v[6]^8*v[5]*v
[4]+(1/70400*lambda[7]*lambda[6]^2+19/369600*lambda[7]^2*lambda[5]+1/6160*
lambda[6]*lambda[5]+533/369600*lambda[7]*lambda[4]+43/123200*lambda[3])*v[7]^2
*v[6]^11*v[4]*v[3]+(1/448000*lambda[7]^3*lambda[6]-29/3584000*lambda[7]*lambda
[6]^2-47/5376000*lambda[7]^2*lambda[5]-17/896000*lambda[6]*lambda[5]-11/
2688000*lambda[7]*lambda[4]+1/224000*lambda[3])*v[7]^10*v[6]^6*v[5]*v[4]^2-1/
20*lambda[7]*lambda[4]*v[7]*v[6]^5*v[4]*v[3]*v[1]+(-7/160*lambda[7]*lambda[4]-\
7/320*lambda[3])*v[7]^4*v[6]^5*v[4]^3*v[3]+(51/6400*lambda[7]^3*lambda[6]+39/
1600*lambda[7]*lambda[6]^2+127/19200*lambda[7]^2*lambda[5]-1/96*lambda[6]*
lambda[5]-1/1200*lambda[7]*lambda[4]-1/300*lambda[3])*v[7]^5*v[6]^5*v[5]^4*v[4
]+(113/27022786560000*lambda[7]^5+1531/196725886156800*lambda[7]^3*lambda[6]+
3461/2459073576960000*lambda[7]*lambda[6]^2-14219/2459073576960000*lambda[7]^2
*lambda[5]-817/87824056320000*lambda[6]*lambda[5]+317/29274685440000*lambda[7]
*lambda[4]+127/9314672640000*lambda[3])*v[7]^18*v[6]^9+(-1/2*lambda[7]*lambda[
4]-1/4*lambda[3])*v[6]^3*v[5]^2*v[4]^3*v[3]+(-3/3200*lambda[7]*lambda[6]^2-1/
2400*lambda[7]^2*lambda[5]-7/4800*lambda[6]*lambda[5]+1/600*lambda[7]*lambda[4
]+1/800*lambda[3])*v[7]^5*v[6]^6*v[5]*v[4]^3+(-1/28828800*lambda[7]^5-1/
2882880*lambda[7]^3*lambda[6]+313/230630400*lambda[7]*lambda[6]^2+1/3843840*
lambda[7]^2*lambda[5]-17/5491200*lambda[6]*lambda[5]+1/240240*lambda[7]*lambda
[4]+1/256256*lambda[3])*v[7]^13*v[6]*v[5]^2*v[1]+(1/480*lambda[7]^2*lambda[5]+
1/960*lambda[6]*lambda[5]+3/320*lambda[7]*lambda[4]+1/160*lambda[3])*v[7]^6*v[
6]*v[5]^2*v[4]^4+(-1/13440*lambda[7]^5-37/188160*lambda[7]^3*lambda[6]+1/9800*
lambda[7]*lambda[6]^2+1/9800*lambda[7]^2*lambda[5]-1/7350*lambda[6]*lambda[5]-\
1/7350*lambda[7]*lambda[4]+1/3675*lambda[3])*v[7]^8*v[5]^7+(1/32*lambda[6]*
lambda[5]+1/32*lambda[7]*lambda[4])*v[7]^4*v[6]^4*v[5]*v[2]^2+(-29/4480*lambda
[7]^3*lambda[6]-9/4480*lambda[7]*lambda[6]^2-13/1920*lambda[7]^2*lambda[5]-89/
1120*lambda[6]*lambda[5]+13/3360*lambda[7]*lambda[4]-1/80*lambda[3])*v[7]*v[6]
^8*v[5]^3*v[3]+(-3/35840*lambda[7]^3*lambda[6]-157/896000*lambda[7]*lambda[6]^
2-563/2688000*lambda[7]^2*lambda[5]-359/672000*lambda[6]*lambda[5]-41/224000*
lambda[7]*lambda[4]-1/16000*lambda[3])*v[7]^5*v[6]^10*v[5]*v[3]+(-1/140*lambda
[7]*lambda[4]-3/140*lambda[3])*v[7]^7*v[5]*v[4]*v[2]^2+(-97/15375360000*lambda
[7]^5-307/7175168000*lambda[7]^3*lambda[6]+13/8279040000*lambda[7]*lambda[6]^2
+277/14350336000*lambda[7]^2*lambda[5]+149/26906880000*lambda[6]*lambda[5]+113
/2069760000*lambda[7]*lambda[4]+29/4484480000*lambda[3])*v[7]^15*v[6]^6*v[5]*v
[4]+(1/11766171648000*lambda[7]^5-641/1259672494080000*lambda[7]^3*lambda[6]+
57791/85657729597440000*lambda[7]*lambda[6]^2-10837/4282886479872000*lambda[7]
^2*lambda[5]+3649/428288647987200*lambda[6]*lambda[5]+1049/92703170560000*
lambda[7]*lambda[4]-243/58992926720000*lambda[3])*v[7]^22*v[6]*v[4]*v[3]+(1/16
*lambda[7]^3*lambda[6]+1/16*lambda[7]^2*lambda[5]+1/2*lambda[6]*lambda[5])*v[7
]*v[6]^3*v[5]^6*v[4]+(-1/1680*lambda[7]^3*lambda[6]-71/26880*lambda[7]*lambda[
6]^2-13/6720*lambda[7]^2*lambda[5]-19/6720*lambda[6]*lambda[5]-23/6720*lambda[
7]*lambda[4]-1/840*lambda[3])*v[7]^8*v[6]^3*v[5]^3*v[2]+(23/45741696000*lambda
[7]^5-23/22870848000*lambda[7]^3*lambda[6]-6077/1463734272000*lambda[7]*lambda
[6]^2+197/36593356800*lambda[7]^2*lambda[5]+83/29274685440*lambda[6]*lambda[5]
-947/30494464000*lambda[7]*lambda[4]-11/693056000*lambda[3])*v[7]^17*v[6]*v[4]
^2*v[3]+(1/8*lambda[6]*lambda[5]-1/4*lambda[7]*lambda[4])*v[7]^3*v[6]^4*v[5]^2
*v[3]*v[2]+(1/16*lambda[6]*lambda[5]+1/16*lambda[7]*lambda[4]+1/8*lambda[3])*v
[7]^2*v[6]^3*v[5]^2*v[4]^4+(3/80*lambda[7]*lambda[4]+1/160*lambda[3])*v[7]^5*v
[5]*v[4]^4*v[3]+(3/40*lambda[7]*lambda[6]^2+3/80*lambda[7]^2*lambda[5]+13/80*
lambda[6]*lambda[5]+1/80*lambda[7]*lambda[4]-1/40*lambda[3])*v[7]^5*v[6]*v[5]^
2*v[3]^3+(1/3360*lambda[7]^3*lambda[6]+1/672*lambda[7]*lambda[6]^2+1/3360*
lambda[7]^2*lambda[5]+1/480*lambda[6]*lambda[5]-1/560*lambda[7]*lambda[4]-1/
560*lambda[3])*v[7]^7*v[6]^3*v[5]^2*v[4]^3+(1/2688000*lambda[7]^5+209/18816000
*lambda[7]^3*lambda[6]+39/6272000*lambda[7]*lambda[6]^2-17/1792000*lambda[7]^2
*lambda[5]-131/4704000*lambda[6]*lambda[5]-47/4704000*lambda[7]*lambda[4]-1/
112000*lambda[3])*v[7]^7*v[6]^10*v[5]*v[4]+(3/320*lambda[7]^3*lambda[6]+9/1600
*lambda[7]*lambda[6]^2-51/1600*lambda[7]^2*lambda[5]-49/1200*lambda[6]*lambda[
5]+11/1200*lambda[7]*lambda[4]-11/600*lambda[3])*v[7]^5*v[6]^2*v[5]^5*v[3]+(-1
/80*lambda[7]^2*lambda[5]+1/30*lambda[6]*lambda[5]+19/120*lambda[7]*lambda[4]+
7/120*lambda[3])*v[7]^5*v[5]^3*v[4]*v[3]^2+(-3/560*lambda[7]*lambda[6]^2-1/420
*lambda[7]^2*lambda[5]-3/280*lambda[6]*lambda[5]-1/210*lambda[7]*lambda[4]-1/
28*lambda[3])*v[7]*v[6]^7*v[5]^2*v[1]+(-1/48*lambda[6]*lambda[5]+3/16*lambda[7
]*lambda[4])*v[7]^4*v[6]^3*v[4]*v[3]^3+3/16*lambda[3]*v[7]^2*v[6]^2*v[4]^4*v[2
]+(1/12230400*lambda[7]^2*lambda[5]-1/4892160*lambda[6]*lambda[5]+1/8153600*
lambda[7]*lambda[4]-1/1254400*lambda[3])*v[7]^14*v[4]*v[3]*v[2]+(1/6720*lambda
[7]^5+23/6720*lambda[7]^3*lambda[6]+3/1600*lambda[7]*lambda[6]^2-239/67200*
lambda[7]^2*lambda[5]-1/8400*lambda[6]*lambda[5]-41/8400*lambda[7]*lambda[4]-\
19/4200*lambda[3])*v[7]^7*v[6]^2*v[5]^5*v[4]+(-5/12*lambda[6]*lambda[5]-1/6*
lambda[7]*lambda[4]+1/3*lambda[3])*v[7]^3*v[5]^4*v[3]*v[2]+(1/1600*lambda[7]^3
*lambda[6]+11/6400*lambda[7]*lambda[6]^2+1/960*lambda[7]^2*lambda[5]+13/4800*
lambda[6]*lambda[5]+7/1600*lambda[7]*lambda[4]+3/800*lambda[3])*v[7]^6*v[6]^6*
v[5]^2*v[2]+(9/22400*lambda[7]*lambda[6]^2-3/2800*lambda[7]^2*lambda[5]+3/2240
*lambda[6]*lambda[5]+3/1400*lambda[7]*lambda[4]-3/5600*lambda[3])*v[7]^5*v[6]^
7*v[4]^2*v[3]+(-41/1467648000*lambda[7]^5-397/1241856000*lambda[7]^3*lambda[6]
-2407/16144128000*lambda[7]*lambda[6]^2+361/2152550400*lambda[7]^2*lambda[5]+
61/269068800*lambda[6]*lambda[5]+239/1345344000*lambda[7]*lambda[4]+1/10348800
*lambda[3])*v[7]^15*v[6]^2*v[5]^3*v[4]+(-3/320*lambda[7]*lambda[6]^2+1/160*
lambda[7]^2*lambda[5]+1/16*lambda[6]*lambda[5]+1/80*lambda[7]*lambda[4])*v[7]^
2*v[6]^6*v[5]^3*v[4]^2+3/2*lambda[3]*v[7]^2*v[4]^2*v[3]^2*v[2]+(-9/64*lambda[7
]*lambda[6]^2-1/16*lambda[7]^2*lambda[5]-1/16*lambda[6]*lambda[5]+3/16*lambda[
7]*lambda[4]+1/8*lambda[3])*v[7]^2*v[6]^4*v[5]^4*v[2]+(-3/128*lambda[7]*lambda
[6]^2+1/64*lambda[7]^2*lambda[5]+3/32*lambda[6]*lambda[5]+1/32*lambda[7]*
lambda[4]+1/16*lambda[3])*v[7]^4*v[6]^3*v[5]^4*v[4]^2-3/2*lambda[3]*v[7]^3*v[6
]*v[5]*v[4]^2*v[3]*v[2]+(3/80*lambda[7]*lambda[6]^2+1/60*lambda[7]^2*lambda[5]
+3/40*lambda[6]*lambda[5]+1/30*lambda[7]*lambda[4]-1/20*lambda[3])*v[7]*v[6]^6
*v[5]^2*v[4]*v[2]+(23/7096320000*lambda[7]^5-9431/99348480000*lambda[7]^3*
lambda[6]-1291/49674240000*lambda[7]*lambda[6]^2-81/2759680000*lambda[7]^2*
lambda[5]+13/1034880000*lambda[6]*lambda[5]+1/129360000*lambda[7]*lambda[4]-1/
49280000*lambda[3])*v[7]^12*v[6]^10*v[5]+(-1/64*lambda[7]^2*lambda[5]-1/40*
lambda[6]*lambda[5]-19/160*lambda[7]*lambda[4]-11/160*lambda[3])*v[7]^5*v[6]^4
*v[5]*v[4]*v[3]^2+(-541553/10278927551692800000*lambda[7]^5-692221/
35976246430924800000*lambda[7]^3*lambda[6]-11393/211624979005440000*lambda[7]*
lambda[6]^2-170227/4497030803865600000*lambda[7]^2*lambda[5]-99563/
1124257700966400000*lambda[6]*lambda[5]+4673/17034207590400000*lambda[7]*
lambda[4]+23/163006771200000*lambda[3])*v[7]^22*v[6]^7+(53/
363608321556480000000*lambda[7]^5-79/84841941696512000000*lambda[7]^3*lambda[6
]+811/1247176542938726400000*lambda[7]*lambda[6]^2+631/492306530107392000000*
lambda[7]^2*lambda[5]+739/467691203602022400000*lambda[6]*lambda[5]-1/
229031362560000000*lambda[7]*lambda[4]-1/423817605120000000*lambda[3])*v[7]^30
*v[6]^3+(9/800*lambda[7]*lambda[6]^2+1/200*lambda[7]^2*lambda[5]+7/400*lambda[
6]*lambda[5]-1/50*lambda[7]*lambda[4]-1/400*lambda[3])*v[7]^5*v[6]^5*v[5]*v[3]
*v[2]+(1/168960000*lambda[7]^5+1/23654400*lambda[7]^3*lambda[6]+3/98560000*
lambda[7]*lambda[6]^2-1/18480000*lambda[7]^2*lambda[5]-1/9240000*lambda[6]*
lambda[5]+1/18480000*lambda[7]*lambda[4]+1/6160000*lambda[3])*v[7]^6*v[6]^15+(
1/213801693075210240000000*lambda[7]^5+251/1197289481221177344000000*lambda[7]
^3*lambda[6]-491/598644740610588672000000*lambda[7]*lambda[6]^2-37/
199548246870196224000000*lambda[7]^2*lambda[5]+1/525126965447884800000*lambda[
6]*lambda[5]-1/3239419592048640000000*lambda[7]*lambda[4]-1/
343574805217280000000*lambda[3])*v[7]^34*v[6]+(1/2*lambda[7]*lambda[4]+3/2*
lambda[3])*v[7]*v[6]^2*v[5]*v[3]^2*v[1]+(1/1971200*lambda[7]*lambda[6]^2+1/
422400*lambda[7]^2*lambda[5]-1/98560*lambda[6]*lambda[5]+1/211200*lambda[7]*
lambda[4]+1/35200*lambda[3])*v[6]^13*v[4]^2+(-39/492800*lambda[7]^3*lambda[6]+
3/6160*lambda[7]*lambda[6]^2-19/369600*lambda[7]^2*lambda[5]+1/7700*lambda[6]*
lambda[5]+1/9240*lambda[7]*lambda[4])*v[6]^12*v[5]^3+(-73/852207003648000000*
lambda[7]^5+20233/33406514543001600000*lambda[7]^3*lambda[6]-8033/
7635774752686080000*lambda[7]*lambda[6]^2-529/890840387813376000*lambda[7]^2*
lambda[5]+109/59389359187558400*lambda[6]*lambda[5]+1/16197097960243200*lambda
[7]*lambda[4]-1/907583488000000*lambda[3])*v[7]^26*v[2]+(-17/67092480000*
lambda[7]^5-821/2583060480000*lambda[7]^3*lambda[6]+53/695439360000*lambda[7]*
lambda[6]^2+1/5166120960*lambda[7]^2*lambda[5]-19/226017792000*lambda[6]*
lambda[5]-3/17937920000*lambda[7]*lambda[4]+1/6726720000*lambda[3])*v[7]^14*v[
6]^11+(-3/800*lambda[7]*lambda[6]^2+17/1600*lambda[7]^2*lambda[5]-71/4800*
lambda[6]*lambda[5]-1/1600*lambda[7]*lambda[4]-11/800*lambda[3])*v[7]^5*v[6]^5
*v[3]^3+(-1/675840000*lambda[7]^5-41/6623232000*lambda[7]^3*lambda[6]-19/
3311616000*lambda[7]*lambda[6]^2+1/1986969600*lambda[7]^2*lambda[5]-1/
225792000*lambda[6]*lambda[5]+83/4139520000*lambda[7]*lambda[4]+17/2069760000*
lambda[3])*v[7]^10*v[6]^13+(1/78848000*lambda[7]^3*lambda[6]-1/39424000*lambda
[7]*lambda[6]^2+1/118272000*lambda[7]^2*lambda[5]-1/9856000*lambda[6]*lambda[5
]+1/5913600*lambda[7]*lambda[4]+1/4928000*lambda[3])*v[7]^2*v[6]^17-1/80*
lambda[3]*v[6]^3*v[4]^6+(19/2583060480*lambda[7]^5+419/23482368000*lambda[7]^3
*lambda[6]-173/92252160000*lambda[7]*lambda[6]^2-1997/215255040000*lambda[7]^2
*lambda[5]-151/53813760000*lambda[6]*lambda[5]+829/53813760000*lambda[7]*
lambda[4]+151/26906880000*lambda[3])*v[7]^16*v[5]^5+3/5600*lambda[3]*v[7]^10*v
[6]*v[5]*v[4]^2*v[2]+(1/120*lambda[7]^2*lambda[5]+1/240*lambda[6]*lambda[5]+3/
80*lambda[7]*lambda[4]+1/16*lambda[3])*v[7]^6*v[6]*v[5]^2*v[3]*v[1]+(907/
73420911083520000*lambda[7]^5-10151/205578551033856000*lambda[7]^3*lambda[6]-\
449/32121648599040000*lambda[7]*lambda[6]^2+59/556219023360000*lambda[7]^2*
lambda[5]-1/114515681280000*lambda[6]*lambda[5]+27/648922193920000*lambda[7]*
lambda[4]+1/57257840640000*lambda[3])*v[7]^24*v[5]^3+(881/8494981447680000000*
lambda[7]^5+3007/15813734694912000000*lambda[7]^3*lambda[6]-26731/
1336260581720064000000*lambda[7]*lambda[6]^2-41719/445420193906688000000*
lambda[7]^2*lambda[5]+18209/111355048476672000000*lambda[6]*lambda[5]-5777/
50615931125760000000*lambda[7]*lambda[4]-211/766908047360000000*lambda[3])*v[7
]^26*v[6]^5+(1/240*lambda[7]^2*lambda[5]+1/480*lambda[6]*lambda[5]+3/160*
lambda[7]*lambda[4]-7/320*lambda[3])*v[7]^6*v[6]^4*v[4]*v[3]*v[2]+(-19/33600*
lambda[7]^2*lambda[5]-23/33600*lambda[6]*lambda[5]-3/560*lambda[7]*lambda[4]-\
11/11200*lambda[3])*v[7]^7*v[6]^5*v[4]*v[3]^2+(-1/2240*lambda[7]^3*lambda[6]-1
/448*lambda[7]*lambda[6]^2-1/448*lambda[7]^2*lambda[5]-3/2240*lambda[6]*lambda
[5]+1/560*lambda[7]*lambda[4]+9/2240*lambda[3])*v[7]^7*v[6]^4*v[5]*v[4]^2*v[3]
+(-9/80*lambda[7]*lambda[6]^2-1/20*lambda[7]^2*lambda[5]-9/40*lambda[6]*lambda
[5]-1/10*lambda[7]*lambda[4]-3/10*lambda[3])*v[7]*v[6]^5*v[5]^2*v[4]^2*v[3]+3/
10*lambda[3]*v[7]^2*v[6]^5*v[5]*v[4]^2*v[2]-3/89600*lambda[3]*v[7]^12*v[6]^2*v
[4]^2*v[2]+(1/4*lambda[6]*lambda[5]+1/4*lambda[7]*lambda[4]+3/8*lambda[3])*v[7
]^4*v[6]^3*v[5]*v[4]*v[3]*v[2]+(-3/56*lambda[7]^3*lambda[6]-3/280*lambda[7]*
lambda[6]^2-3/280*lambda[7]^2*lambda[5]+1/70*lambda[6]*lambda[5]+1/70*lambda[7
]*lambda[4]-1/35*lambda[3])*v[7]*v[5]^7*v[3]+(3/246400*lambda[7]^3*lambda[6]-3
/246400*lambda[7]*lambda[6]^2+19/739200*lambda[7]^2*lambda[5]+61/1478400*
lambda[6]*lambda[5]-1/30800*lambda[7]*lambda[4]+17/492800*lambda[3])*v[7]^11*v
[6]^2*v[5]*v[4]^2*v[3]+(-1/8*lambda[7]*lambda[4]-1/16*lambda[3])*v[7]^2*v[6]^4
*v[5]*v[4]^3*v[3]+(-1/78848000*lambda[7]^5-3797/3311616000*lambda[7]^3*lambda[
6]-397/331161600*lambda[7]*lambda[6]^2-153/551936000*lambda[7]^2*lambda[5]-19/
82790400*lambda[6]*lambda[5]+71/59136000*lambda[7]*lambda[4]+13/13798400*
lambda[3])*v[7]^8*v[6]^12*v[5]+(17/3942400*lambda[7]^3*lambda[6]+1/1971200*
lambda[7]*lambda[6]^2+1/369600*lambda[7]^2*lambda[5]-1/739200*lambda[6]*lambda
[5]+1/739200*lambda[7]*lambda[4])*v[7]^4*v[6]^14*v[5]+(1/8*lambda[6]*lambda[5]
-1/8*lambda[3])*v[7]^4*v[5]*v[3]^4+(-lambda[7]*lambda[4]+3/2*lambda[3])*v[7]*v
[5]^2*v[4]^2*v[3]*v[2]+(-1/40*lambda[7]*lambda[4]-1/80*lambda[3])*v[6]^7*v[4]^
3*v[3]-3/2*lambda[3]*v[7]^2*v[6]*v[4]*v[3]*v[2]^2+(-7237/1460074936320000*
lambda[7]^5+449957/23361198981120000*lambda[7]^3*lambda[6]+1125419/
23361198981120000*lambda[7]*lambda[6]^2+413549/7787066327040000*lambda[7]^2*
lambda[5]+691/38171893760000*lambda[6]*lambda[5]-269/278109511680000*lambda[7]
*lambda[4]+73/19085946880000*lambda[3])*v[7]^21*v[6]^2*v[5]*v[3]+(1/44800*
lambda[7]*lambda[4]+3/44800*lambda[3])*v[7]^9*v[6]*v[4]^5+(-3/80*lambda[7]*
lambda[4]-3/160*lambda[3])*v[7]^6*v[6]^2*v[5]*v[4]^3*v[3]+(-1/1680*lambda[7]^3
*lambda[6]+11/5376*lambda[7]*lambda[6]^2+29/6720*lambda[7]^2*lambda[5]+29/6720
*lambda[6]*lambda[5]-23/6720*lambda[7]*lambda[4]-17/6720*lambda[3])*v[7]^8*v[6
]^2*v[5]^3*v[4]*v[3]+(-1543/20858213376000*lambda[7]^5+2777/20858213376000*
lambda[7]^3*lambda[6]+5063/83432853504000*lambda[7]*lambda[6]^2+39521/
55621902336000*lambda[7]^2*lambda[5]-71/408984576000*lambda[6]*lambda[5]+3581/
6952737792000*lambda[7]*lambda[4]+1/2247168000*lambda[3])*v[7]^19*v[5]^3*v[4]+
(9/8*lambda[6]*lambda[5]-21/8*lambda[7]*lambda[4]-3/4*lambda[3])*v[7]^2*v[6]*v
[5]^2*v[4]^2*v[3]^2+(-1/16*lambda[7]*lambda[6]^2+1/4*lambda[7]^2*lambda[5]+3/4
*lambda[7]*lambda[4]-1/4*lambda[3])*v[7]^2*v[6]^3*v[5]^4*v[4]*v[3]+(-3/560*
lambda[7]*lambda[6]^2-31/672*lambda[7]^2*lambda[5]+9/40*lambda[6]*lambda[5]-37
/840*lambda[7]*lambda[4]+1/20*lambda[3])*v[6]^7*v[5]^2*v[3]^2+(1/4*lambda[6]*
lambda[5]+1/4*lambda[3])*v[7]^2*v[6]^3*v[3]^4+(-1/840*lambda[7]^3*lambda[6]-1/
168*lambda[7]*lambda[6]^2-1/840*lambda[7]^2*lambda[5]-1/120*lambda[6]*lambda[5
]+1/84*lambda[7]*lambda[4]+1/84*lambda[3])*v[7]^7*v[6]*v[5]^3*v[4]*v[2]+3/8*
lambda[3]*v[7]^4*v[6]^2*v[5]^2*v[4]^2*v[2]+(-1/17920*lambda[7]*lambda[6]^2+17/
134400*lambda[7]^2*lambda[5]+23/22400*lambda[6]*lambda[5]+1/13440*lambda[7]*
lambda[4]+1/800*lambda[3])*v[7]^2*v[6]^10*v[5]*v[4]^2+(1/19219200*lambda[7]^5+
23/269068800*lambda[7]^3*lambda[6]-1129/1076275200*lambda[7]*lambda[6]^2-47/
24460800*lambda[7]^2*lambda[5]-19/134534400*lambda[6]*lambda[5]+3/627200*
lambda[7]*lambda[4]+233/89689600*lambda[3])*v[7]^14*v[6]*v[5]^2*v[4]*v[3]+(1/
120*lambda[7]^2*lambda[5]+1/240*lambda[6]*lambda[5]-1/80*lambda[3])*v[7]^6*v[6
]*v[3]^4+(3/2*lambda[6]*lambda[5]+1/2*lambda[3])*v[6]^2*v[5]*v[3]^4+(-1/2*
lambda[7]*lambda[6]^2-lambda[6]*lambda[5]+lambda[3])*v[7]*v[6]^3*v[5]^3*v[3]*v
[2]+(-19/448448000*lambda[7]^3*lambda[6]+17/89689600*lambda[7]*lambda[6]^2-113
/1345344000*lambda[7]^2*lambda[5]-17/269068800*lambda[6]*lambda[5]-1/1793792*
lambda[7]*lambda[4]+139/224224000*lambda[3])*v[7]^15*v[6]*v[5]*v[4]*v[2]+(3/8*
lambda[7]*lambda[6]^2+3/4*lambda[6]*lambda[5])*v[7]*v[6]*v[5]^4*v[4]^2*v[3]+(-\
1/29568000*lambda[7]^5-13/13798400*lambda[7]^3*lambda[6]-157/413952000*lambda[
7]*lambda[6]^2-697/59136000*lambda[7]^2*lambda[5]+59/103488000*lambda[6]*
lambda[5]-893/103488000*lambda[7]*lambda[4]-1/352000*lambda[3])*v[7]^7*v[6]^11
*v[3]+(-3/80*lambda[6]*lambda[5]+1/10*lambda[7]*lambda[4]-1/80*lambda[3])*v[7]
^3*v[6]^6*v[5]*v[4]^2*v[3]+(-1/16800*lambda[7]^2*lambda[5]-1/13440*lambda[6]*
lambda[5]-1/3200*lambda[7]*lambda[4]+11/44800*lambda[3])*v[7]^10*v[6]^2*v[4]*v
[3]*v[2]+(1/1680*lambda[7]^2*lambda[5]+13/13440*lambda[6]*lambda[5]+3/896*
lambda[7]*lambda[4]+1/896*lambda[3])*v[7]^8*v[6]^2*v[5]*v[3]*v[1]+(-1/4*lambda
[7]^2*lambda[5]+lambda[6]*lambda[5]+1/2*lambda[7]*lambda[4]+3/2*lambda[3])*v[7
]*v[6]^2*v[5]^3*v[4]*v[3]^2+(-1/400*lambda[7]*lambda[4]-3/400*lambda[3])*v[7]*
v[6]^5*v[4]^5+(-1/800*lambda[7]*lambda[4]-3/800*lambda[3])*v[7]^5*v[6]^3*v[4]^
5+(-1/123200*lambda[7]^3*lambda[6]+1/123200*lambda[7]*lambda[6]^2-19/1108800*
lambda[7]^2*lambda[5]-61/2217600*lambda[6]*lambda[5]-1/14784*lambda[7]*lambda[
4]-1/14784*lambda[3])*v[7]^11*v[6]^3*v[5]*v[4]*v[2]+(-9/8960*lambda[7]*lambda[
6]^2-1/6720*lambda[7]^2*lambda[5]-1/1920*lambda[6]*lambda[5]+1/1120*lambda[7]*
lambda[4]-1/2240*lambda[3])*v[7]^9*v[6]^2*v[5]^2*v[4]*v[2]+(-3/40*lambda[7]*
lambda[6]^2+1/60*lambda[6]*lambda[5]+1/15*lambda[7]*lambda[4]+1/60*lambda[3])*
v[7]^5*v[6]*v[5]^3*v[3]*v[2]+(1/2800*lambda[7]*lambda[4]+3/2800*lambda[3])*v[7
]^7*v[5]*v[4]^5+(-2*lambda[6]*lambda[5]-2*lambda[7]*lambda[4]-3*lambda[3])*v[6
]*v[5]^3*v[4]*v[3]*v[2]+(-1/40*lambda[6]*lambda[5]+9/40*lambda[7]*lambda[4]+1/
10*lambda[3])*v[6]^5*v[4]*v[3]^3+(-3469/267252116344012800000*lambda[7]^5+1327
/287809971447398400000*lambda[7]^3*lambda[6]+19241/267252116344012800000*
lambda[7]*lambda[6]^2-31/4049274490060800000*lambda[7]^2*lambda[5]-1/
9202896568320000*lambda[7]*lambda[4]-1/13894569328640000*lambda[3])*v[7]^28*v[
6]^2*v[5]+(-1/4*lambda[6]*lambda[5]-1/2*lambda[7]*lambda[4]-1/4*lambda[3])*v[7
]^3*v[6]^3*v[5]^2*v[4]*v[3]^2+(1/40*lambda[6]*lambda[5]+1/40*lambda[7]*lambda[
4]+3/80*lambda[3])*v[7]^2*v[6]^6*v[4]*v[3]*v[2]+(9/320*lambda[7]*lambda[6]^2+1
/80*lambda[7]^2*lambda[5]+7/160*lambda[6]*lambda[5]+1/20*lambda[7]*lambda[4]-1
/80*lambda[3])*v[7]^5*v[6]^4*v[5]^2*v[4]*v[2]+(1/14414400*lambda[7]^5+1/
1441440*lambda[7]^3*lambda[6]-313/115315200*lambda[7]*lambda[6]^2-1/1921920*
lambda[7]^2*lambda[5]+17/2745600*lambda[6]*lambda[5]+1/240240*lambda[7]*lambda
[4]+41/6406400*lambda[3])*v[7]^13*v[6]*v[5]*v[3]*v[2]+(-1/33600*lambda[7]^3*
lambda[6]-107/537600*lambda[7]*lambda[6]^2-1/5376*lambda[7]^2*lambda[5]-1/
134400*lambda[6]*lambda[5]+127/134400*lambda[7]*lambda[4]+9/44800*lambda[3])*v
[7]^8*v[6]^6*v[5]*v[4]*v[3]+(-1/26880*lambda[7]^2*lambda[5]+1/960*lambda[6]*
lambda[5]+11/4480*lambda[7]*lambda[4]+1/4480*lambda[3])*v[7]^9*v[6]^2*v[5]*v[4
]*v[3]^2+(-23/1303638336000*lambda[7]^5+89/1489872384000*lambda[7]^3*lambda[6]
+461/10429106688000*lambda[7]*lambda[6]^2-277/3476368896000*lambda[7]^2*lambda
[5]-317/927031705600*lambda[6]*lambda[5]+131/278109511680*lambda[7]*lambda[4]+
1/1426202624*lambda[3])*v[7]^19*v[5]*v[1]+(-1/336*lambda[7]^2*lambda[5]+23/
1680*lambda[6]*lambda[5]+1/20*lambda[7]*lambda[4]+3/560*lambda[3])*v[7]^7*v[6]
*v[5]^2*v[4]*v[3]^2+(23/8072064000*lambda[7]^5+1/230630400*lambda[7]^3*lambda[
6]-329/5271552000*lambda[7]*lambda[6]^2-1613/21525504000*lambda[7]^2*lambda[5]
-263/7175168000*lambda[6]*lambda[5]+599/21525504000*lambda[7]*lambda[4]-271/
7175168000*lambda[3])*v[7]^16*v[6]^2*v[5]*v[4]*v[3]+(-1/32*lambda[6]*lambda[5]
-1/32*lambda[7]*lambda[4]-3/32*lambda[3])*v[7]^4*v[6]^4*v[5]*v[3]*v[1]+(1/2*
lambda[6]*lambda[5]+1/2*lambda[7]*lambda[4]+3/2*lambda[3])*v[6]^2*v[5]^3*v[3]*
v[1]+(3/280*lambda[7]*lambda[6]^2+1/210*lambda[7]^2*lambda[5]+3/140*lambda[6]*
lambda[5]+1/105*lambda[7]*lambda[4]-11/140*lambda[3])*v[7]*v[6]^7*v[5]*v[3]*v[
2]+3/4*lambda[3]*v[7]^3*v[6]^2*v[4]*v[3]^2*v[2]+(9/8960*lambda[7]*lambda[6]^2+
1/6720*lambda[7]^2*lambda[5]+1/1920*lambda[6]*lambda[5]+1/224*lambda[7]*lambda
[4]+1/560*lambda[3])*v[7]^9*v[6]*v[5]^2*v[4]^2*v[3]+(3/2560*lambda[7]*lambda[6
]^2+19/4480*lambda[7]^2*lambda[5]+3/640*lambda[6]*lambda[5]+1/2688*lambda[7]*
lambda[4]-1/4480*lambda[3])*v[7]^4*v[6]^8*v[5]*v[4]*v[3]+(-1/8*lambda[7]*
lambda[4]-1/16*lambda[3])*v[7]^4*v[6]*v[5]^2*v[4]^3*v[3]+(1/470400*lambda[7]^3
*lambda[6]-41/3763200*lambda[7]*lambda[6]^2-391/7526400*lambda[7]^2*lambda[5]-\
1/12800*lambda[6]*lambda[5]-1/38400*lambda[7]*lambda[4]-37/313600*lambda[3])*v
[7]^8*v[6]^7*v[3]^2+(-9/160*lambda[7]*lambda[6]^2-1/40*lambda[7]^2*lambda[5]-7
/80*lambda[6]*lambda[5]+1/20*lambda[7]*lambda[4]+1/40*lambda[3])*v[7]^5*v[6]^3
*v[5]^2*v[4]^2*v[3]+(-lambda[7]*lambda[4]-3/2*lambda[3])*v[7]*v[6]^2*v[5]*v[3]
*v[2]^2+(-1/48*lambda[7]^2*lambda[5]-1/20*lambda[6]*lambda[5]-11/120*lambda[7]
*lambda[4]+1/40*lambda[3])*v[7]*v[6]^6*v[5]*v[4]*v[3]^2+(1/118272000*lambda[7]
^5+13/165580800*lambda[7]^3*lambda[6]+193/1103872000*lambda[7]*lambda[6]^2-\
2501/1986969600*lambda[7]^2*lambda[5]-23/99348480*lambda[6]*lambda[5]-1/
2150400*lambda[7]*lambda[4]+11/37632000*lambda[3])*v[7]^11*v[6]^9*v[3]+(-1/60*
lambda[7]^2*lambda[5]-1/120*lambda[6]*lambda[5]-3/40*lambda[7]*lambda[4]+7/80*
lambda[3])*v[7]^6*v[5]^2*v[4]*v[3]*v[2]+(-83/2196352040960000*lambda[7]^5+109/
582705643520000*lambda[7]^3*lambda[6]+151/878540816384000*lambda[7]*lambda[6]^
2+308741/513946377584640000*lambda[7]^2*lambda[5]-1669/25697318879232000*
lambda[6]*lambda[5]-23/556219023360000*lambda[7]*lambda[4]+1/9314672640000*
lambda[3])*v[7]^23*v[6]^3*v[3]-1/10*lambda[3]*v[7]^5*v[6]*v[5]*v[4]^3*v[2]+(-1
/2*lambda[6]*lambda[5]-1/2*lambda[7]*lambda[4])*v[6]^2*v[5]^3*v[2]^2+(-1/560*
lambda[7]^3*lambda[6]-1/112*lambda[7]*lambda[6]^2-1/560*lambda[7]^2*lambda[5]-\
1/80*lambda[6]*lambda[5]+3/280*lambda[7]*lambda[4]+1/280*lambda[3])*v[7]^7*v[6
]^2*v[5]^2*v[3]*v[2]+(1/8870400*lambda[7]^5+1/887040*lambda[7]^3*lambda[6]-313
/70963200*lambda[7]*lambda[6]^2-17/1612800*lambda[7]^2*lambda[5]-269/17740800*
lambda[6]*lambda[5]+1/394240*lambda[7]*lambda[4]+23/5913600*lambda[3])*v[7]^12
*v[6]^4*v[5]*v[4]*v[3]+(-1/560*lambda[6]*lambda[5]-1/560*lambda[7]*lambda[4]-3
/112*lambda[3])*v[7]^2*v[6]^7*v[3]*v[1]+(3/280*lambda[6]*lambda[5]+1/28*lambda
[7]*lambda[4]+1/28*lambda[3])*v[7]^3*v[6]^7*v[5]*v[4]*v[2]+(-9/1120*lambda[7]*
lambda[6]^2+1/280*lambda[7]^2*lambda[5]+3/35*lambda[6]*lambda[5]-9/280*lambda[
7]*lambda[4]+11/280*lambda[3])*v[7]^2*v[6]^7*v[5]^2*v[4]*v[3]+(1/40*lambda[7]*
lambda[4]-1/40*lambda[3])*v[7]^5*v[3]^3*v[2]+(-3/4480*lambda[7]*lambda[6]^2-1/
10080*lambda[7]^2*lambda[5]-1/2880*lambda[6]*lambda[5]+1/1680*lambda[7]*lambda
[4]+1/6720*lambda[3])*v[7]^9*v[6]^3*v[5]*v[3]*v[2]+(1/4*lambda[7]*lambda[4]-3/
8*lambda[3])*v[7]*v[6]^4*v[4]^2*v[3]*v[2]+(-19/53760*lambda[7]^3*lambda[6]-79/
268800*lambda[7]*lambda[6]^2-13/89600*lambda[7]^2*lambda[5]+13/67200*lambda[6]
*lambda[5]+13/67200*lambda[7]*lambda[4]-13/33600*lambda[3])*v[7]^9*v[5]^5*v[3]
+(-1/120*lambda[7]^2*lambda[5]-1/240*lambda[6]*lambda[5]+3/80*lambda[7]*lambda
[4]+1/40*lambda[3])*v[7]^6*v[6]*v[5]*v[3]^2*v[2]+(-1/4*lambda[6]*lambda[5]+
lambda[7]*lambda[4]+1/4*lambda[3])*v[7]^3*v[6]^2*v[5]^3*v[4]^2*v[3]+(1/8*
lambda[6]*lambda[5]+1/8*lambda[7]*lambda[4])*v[6]^2*v[5]^3*v[4]^4+(5/8*lambda[
7]*lambda[6]^2+3/16*lambda[7]^2*lambda[5]+3/4*lambda[6]*lambda[5]+1/4*lambda[7
]*lambda[4]-1/2*lambda[3])*v[6]^3*v[5]^4*v[3]^2+(3/80*lambda[7]*lambda[6]^2-3/
20*lambda[7]^2*lambda[5]-1/20*lambda[6]*lambda[5]-1/20*lambda[7]*lambda[4]+1/
10*lambda[3])*v[7]^2*v[5]^6*v[2]+(-3*lambda[7]*lambda[4]+3*lambda[3])*v[7]*v[6
]*v[5]*v[4]*v[3]^2*v[2]+(-1/1344000*lambda[7]^3*lambda[6]-11/5376000*lambda[7]
*lambda[6]^2-3/448000*lambda[7]^2*lambda[5]-1/448000*lambda[6]*lambda[5]-3/
64000*lambda[7]*lambda[4]-1/224000*lambda[3])*v[7]^6*v[6]^10*v[2]+(3/40*lambda
[7]*lambda[4]-3/80*lambda[3])*v[7]^5*v[6]^2*v[4]^2*v[3]*v[2]+1/140*lambda[7]*
lambda[4]*v[7]^7*v[5]*v[4]*v[3]*v[1]+(5029/47723592204288000000*lambda[7]^5-\
2923/5139463775846400000*lambda[7]^3*lambda[6]+171233/267252116344012800000*
lambda[7]*lambda[6]^2+37/80619039621120000*lambda[7]^2*lambda[5]-23/
46886336200704000*lambda[6]*lambda[5]-109/289233892147200000*lambda[7]*lambda[
4]+47/153381609472000000*lambda[3])*v[7]^27*v[6]*v[3]+(-1/420*lambda[7]^2*
lambda[5]-13/3360*lambda[6]*lambda[5]-3/224*lambda[7]*lambda[4]+19/2240*lambda
[3])*v[7]^8*v[6]*v[5]*v[4]*v[3]*v[2]+(-lambda[7]*lambda[4]-3*lambda[3])*v[7]*v
[6]*v[5]^2*v[4]*v[2]^2+(3/4*lambda[6]*lambda[5]-7/4*lambda[7]*lambda[4]-3/2*
lambda[3])*v[5]^3*v[4]^2*v[3]^2+(1/6*lambda[6]*lambda[5]+1/3*lambda[7]*lambda[
4]+1/3*lambda[3])*v[7]^3*v[6]^3*v[5]^3*v[4]*v[2]+(23/1303638336000*lambda[7]^5
-89/1489872384000*lambda[7]^3*lambda[6]-461/10429106688000*lambda[7]*lambda[6]
^2+277/3476368896000*lambda[7]^2*lambda[5]+317/927031705600*lambda[6]*lambda[5
]-191/993248256000*lambda[7]*lambda[4]+9/8103424000*lambda[3])*v[7]^19*v[3]*v[
2]+1/2240*lambda[7]*lambda[4]*v[7]^9*v[6]*v[4]*v[3]*v[1]+(-3/8*lambda[7]*
lambda[6]^2-3/4*lambda[6]*lambda[5]+3/2*lambda[3])*v[7]*v[6]^2*v[5]^4*v[4]*v[2
]+(3/10*lambda[6]*lambda[5]+3/10*lambda[7]*lambda[4]+9/20*lambda[3])*v[6]^5*v[
5]*v[4]*v[3]*v[2]+(-9/40*lambda[7]*lambda[6]^2-3/80*lambda[7]^2*lambda[5]+1/20
*lambda[6]*lambda[5]+1/20*lambda[7]*lambda[4]-1/10*lambda[3])*v[7]^2*v[5]^5*v[
3]^2-lambda[3]*v[6]*v[5]*v[2]^3+(-3/2*lambda[6]*lambda[5]-3/2*lambda[7]*lambda
[4]-9/4*lambda[3])*v[7]^2*v[6]^2*v[5]^2*v[4]*v[3]*v[2]+(-3/1254400*lambda[7]*
lambda[6]^2+1/705600*lambda[7]^2*lambda[5]-23/5644800*lambda[6]*lambda[5]+1/
117600*lambda[7]*lambda[4]-1/188160*lambda[3])*v[7]^9*v[6]^7*v[1]+(-1/4*lambda
[6]*lambda[5]+1/4*lambda[7]*lambda[4]-1/2*lambda[3])*v[7]^2*v[6]^3*v[5]*v[3]^2
*v[2]+(1/33600*lambda[7]^3*lambda[6]-17/268800*lambda[7]*lambda[6]^2+19/201600
*lambda[7]^2*lambda[5]-1/50400*lambda[6]*lambda[5]-17/67200*lambda[7]*lambda[4
]+19/67200*lambda[3])*v[7]^10*v[6]^3*v[5]^2*v[4]*v[3]+(-1/800*lambda[7]^3*
lambda[6]-11/3200*lambda[7]*lambda[6]^2+1/800*lambda[7]^2*lambda[5]-3/400*
lambda[6]*lambda[5]+1/160*lambda[7]*lambda[4]+1/800*lambda[3])*v[7]^6*v[6]^5*v
[5]^2*v[4]*v[3]+lambda[7]*lambda[4]*v[7]*v[6]*v[5]^2*v[4]*v[3]*v[1]+(-9/32*
lambda[6]*lambda[5]-11/32*lambda[7]*lambda[4]-3/16*lambda[3])*v[7]^4*v[6]^2*v[
5]*v[4]^2*v[3]^2+(1/4*lambda[6]*lambda[5]+3/4*lambda[7]*lambda[4]-1/2*lambda[3
])*v[7]^2*v[6]^2*v[5]*v[4]*v[3]^3+(1/5600*lambda[7]^3*lambda[6]+1/1120*lambda[
7]*lambda[6]^2+1/1120*lambda[7]^2*lambda[5]+3/5600*lambda[6]*lambda[5]+1/2800*
lambda[7]*lambda[4]+9/2800*lambda[3])*v[7]^7*v[6]^5*v[5]*v[4]*v[2]+(-3/64*
lambda[7]*lambda[6]^2+1/48*lambda[7]^2*lambda[5]+7/48*lambda[6]*lambda[5]-7/48
*lambda[7]*lambda[4]-1/48*lambda[3])*v[7]^4*v[6]^4*v[5]^3*v[4]*v[3];