C33 := 1/4*lambda[6]^2*v[7]^2*v[6]^3*v[5]^3*v[1]+(1/22400*lambda[6]^2-1/8400*
lambda[7]*lambda[5]+1/3360*lambda[4])*v[6]^10*v[1]+(3/11264000*lambda[7]^4+1/
1792000*lambda[7]^2*lambda[6]-1/4928000*lambda[6]^2-1/1478400*lambda[7]*lambda
[5]+1/1848000*lambda[4])*v[7]^5*v[6]^14+(89/59935437619200000*lambda[7]^4-\
19127/2569731887923200000*lambda[7]^2*lambda[6]-211/128486594396160000*lambda[
6]^2+359/19467665817600000*lambda[7]*lambda[5]+1/248312064000000*lambda[4])*v[
7]^25*v[5]^2+(-4561/738017280000*lambda[7]^4-317/117411840000*lambda[7]^2*
lambda[6]+17/322882560000*lambda[6]^2+3/3587584000*lambda[7]*lambda[5]-1/
2690688000*lambda[4])*v[7]^13*v[6]^10+(1/11200*lambda[7]^2*lambda[6]+1/22400*
lambda[6]^2-1/33600*lambda[7]*lambda[5]+89/16800*lambda[4])*v[7]*v[6]^10*v[4]*
v[3]+(-1/2908866572451840000*lambda[7]^4-3463/1247176542938726400000*lambda[7]
^2*lambda[6]+109/14847339796889600000*lambda[6]^2+23/4724153571737600000*
lambda[7]*lambda[5]-131/5905191964672000000*lambda[4])*v[7]^29*v[6]^2+(-21379/
19070366515200000*lambda[7]^4-33701/46722397962240000*lambda[7]^2*lambda[6]-\
2161/4492538265600000*lambda[6]^2+237/3244610969600000*lambda[7]*lambda[5]+
1119/811152742400000*lambda[4])*v[7]^21*v[6]^6+(225289/82231420413542400000*
lambda[7]^4+19127/10278927551692800000*lambda[7]^2*lambda[6]+211/
513946377584640000*lambda[6]^2-3/6489221939200000*lambda[7]*lambda[5]-1/
993248256000000*lambda[4])*v[7]^25*v[6]^4+(-9/32*lambda[6]^2-1/8*lambda[7]*
lambda[5]+3/8*lambda[4])*v[7]^4*v[6]^2*v[5]^2*v[4]^2*v[3]+(1/32*lambda[6]^2-1/
8*lambda[4])*v[7]^4*v[5]^4*v[1]-3/2*lambda[6]^2*v[6]^2*v[5]^3*v[3]*v[2]+(
1144817/46722397962240000*lambda[7]^4+730523/11680599490560000*lambda[7]^2*
lambda[6]+2231/153692098560000*lambda[6]^2+223/69527377920000*lambda[7]*lambda
[5]-1/620780160000*lambda[4])*v[7]^21*v[6]^2*v[5]^2+(1/3360*lambda[7]^4+83/
26880*lambda[7]^2*lambda[6]-1/960*lambda[6]^2-1/320*lambda[7]*lambda[5])*v[7]^
8*v[6]^3*v[5]^3*v[3]+1/4*lambda[4]*v[7]^4*v[6]*v[4]^2*v[3]*v[2]+(1/17920*
lambda[7]^2*lambda[6]+1/33600*lambda[7]*lambda[5])*v[7]^3*v[6]^13*v[5]+(-1/
2217600*lambda[7]^4+1/1108800*lambda[7]^2*lambda[6]+1/1774080*lambda[6]^2-29/
5913600*lambda[7]*lambda[5]+1/184800*lambda[4])*v[7]^12*v[3]^3+(-97/1892352000
*lambda[7]^4-17/150528000*lambda[7]^2*lambda[6]-1/27596800*lambda[6]^2+1/
25872000*lambda[7]*lambda[5]+1/10348800*lambda[4])*v[7]^9*v[6]^12+(-1/
1435033600*lambda[7]^4-337/172204032000*lambda[7]^2*lambda[6]-59/43051008000*
lambda[6]^2-103/43051008000*lambda[7]*lambda[5])*v[7]^18*v[6]^3*v[5]*v[4]+(1/
1441440*lambda[7]^4-73/115315200*lambda[7]^2*lambda[6]-313/115315200*lambda[6]
^2+239/38438400*lambda[7]*lambda[5]-1/1921920*lambda[4])*v[7]^13*v[6]*v[5]^2*v
[2]+(237/35840*lambda[7]^2*lambda[6]+3/448*lambda[6]^2+53/26880*lambda[7]*
lambda[5]-1/840*lambda[4])*v[7]^4*v[6]^8*v[5]^2*v[4]+(1/28828800*lambda[7]^4-5
/32288256*lambda[7]^2*lambda[6]+401/1614412800*lambda[6]^2-1/134534400*lambda[
7]*lambda[5]+229/134534400*lambda[4])*v[7]^14*v[6]*v[3]*v[2]+(1/4*lambda[7]^2*
lambda[6]+1/4*lambda[7]*lambda[5])*v[7]*v[6]*v[5]^5*v[4]^2+(-1/8*lambda[7]*
lambda[5]+3/5*lambda[4])*v[6]^5*v[5]*v[4]*v[3]^2+1/80*lambda[4]*v[7]^6*v[3]^2*
v[1]-1/320*lambda[7]*lambda[5]*v[7]^3*v[6]^8*v[5]*v[2]-3/10*lambda[4]*v[7]*v[4
]^5*v[3]+(-1/2*lambda[7]*lambda[5]-lambda[4])*v[7]*v[6]^2*v[5]^2*v[2]^2+lambda
[4]*v[5]^2*v[4]*v[3]*v[1]+(3/40*lambda[7]^2*lambda[6]+1/8*lambda[6]^2+3/40*
lambda[7]*lambda[5])*v[7]^5*v[6]*v[5]^3*v[3]^2+(-1/40*lambda[7]^2*lambda[6]-1/
80*lambda[6]^2+1/20*lambda[4])*v[7]^6*v[6]*v[5]^2*v[3]*v[2]+(13/118272000*
lambda[7]^4-431/331161600*lambda[7]^2*lambda[6]-1/14784000*lambda[6]^2-41/
206976000*lambda[7]*lambda[5])*v[7]^11*v[6]^9*v[5]+(1/800*lambda[7]^2*lambda[6
]+1/1600*lambda[6]^2+1/400*lambda[7]*lambda[5]-1/400*lambda[4])*v[7]^6*v[6]^5*
v[3]*v[2]+(1/369600*lambda[7]^4+1/123200*lambda[7]^2*lambda[6]-79/1478400*
lambda[6]^2-13/369600*lambda[7]*lambda[5])*v[7]^11*v[6]^3*v[5]*v[4]*v[3]+(17/
1956864000*lambda[7]^4+22499/753392640000*lambda[7]^2*lambda[6]+397/
94174080000*lambda[6]^2+139/31391360000*lambda[7]*lambda[5]-1/133770000*lambda
[4])*v[7]^15*v[6]^7*v[5]+(1/120*lambda[7]*lambda[5]+1/60*lambda[4])*v[7]*v[6]^
6*v[2]^2+(3/560*lambda[6]^2+1/420*lambda[7]*lambda[5]-13/420*lambda[4])*v[7]^2
*v[6]^7*v[3]*v[2]+(-1/2217600*lambda[7]^4-1/2217600*lambda[7]^2*lambda[6]+79/
17740800*lambda[6]^2+1/1478400*lambda[7]*lambda[5]-1/59136*lambda[4])*v[7]^12*
v[5]^2*v[1]+(1/33600*lambda[7]^2*lambda[6]+1/26880*lambda[6]^2+1/33600*lambda[
7]*lambda[5])*v[7]^10*v[6]^3*v[5]*v[1]+(1/40*lambda[7]*lambda[5]+1/20*lambda[4
])*v[7]^5*v[5]^2*v[3]*v[1]+(-1/9600*lambda[7]^2*lambda[6]-1/19200*lambda[6]^2-\
1/4800*lambda[7]*lambda[5]+1/4800*lambda[4])*v[7]^6*v[6]^6*v[4]^3+(1/268800*
lambda[7]^2*lambda[6]+1/215040*lambda[6]^2+1/268800*lambda[7]*lambda[5]-3/
89600*lambda[4])*v[7]^10*v[6]^4*v[4]^3+(-1/115315200*lambda[7]^4+5/129153024*
lambda[7]^2*lambda[6]-401/6457651200*lambda[6]^2+1/538137600*lambda[7]*lambda[
5]-229/538137600*lambda[4])*v[7]^14*v[6]^2*v[4]^3+(-3/4480*lambda[6]^2-11/1680
*lambda[7]*lambda[5]-1/420*lambda[4])*v[7]^3*v[6]^8*v[3]^2+(1/33600*lambda[7]^
4-1/16800*lambda[7]^2*lambda[6]-1/9600*lambda[6]^2-3/2240*lambda[7]*lambda[5]-\
1/4200*lambda[4])*v[7]^7*v[6]^6*v[3]^2+(-1/369600*lambda[7]^4-1/36960*lambda[7
]^2*lambda[6]-1/26880*lambda[6]^2-3/123200*lambda[7]*lambda[5])*v[7]^11*v[5]^2
*v[3]^2+(1/8*lambda[7]^2*lambda[6]+1/2*lambda[6]^2+1/2*lambda[7]*lambda[5])*v[
6]^3*v[5]^5*v[3]+(-1/28828800*lambda[7]^4+1/3603600*lambda[7]^2*lambda[6]-1/
1801800*lambda[6]^2+41/1076275200*lambda[7]*lambda[5]+37/269068800*lambda[4])*
v[7]^14*v[4]*v[3]^2-1/8*lambda[6]^2*v[7]^3*v[5]^4*v[3]^2-lambda[4]*v[5]^2*v[4]
*v[2]^2+(1/160*lambda[7]*lambda[5]+1/80*lambda[4])*v[7]^5*v[6]^4*v[2]^2+(1/
2240*lambda[7]^4+3/1120*lambda[7]^2*lambda[6]-1/2240*lambda[6]^2+1/2240*lambda
[7]*lambda[5]+1/560*lambda[4])*v[7]^7*v[5]^4*v[4]^2+lambda[4]*v[6]^3*v[4]^2*v[
3]*v[2]+(-223/16144128000*lambda[7]^4+367/8072064000*lambda[7]^2*lambda[6]-19/
645765120*lambda[6]^2-239/1076275200*lambda[7]*lambda[5]+109/1345344000*lambda
[4])*v[7]^15*v[5]^2*v[4]^2+(-1/537600*lambda[7]^4-13/1881600*lambda[7]^2*
lambda[6]-3/1254400*lambda[6]^2+29/752640*lambda[7]*lambda[5]+13/940800*lambda
[4])*v[7]^7*v[6]^8*v[4]^2+(-1/28828800*lambda[7]^4+5/32288256*lambda[7]^2*
lambda[6]-401/1614412800*lambda[6]^2+1/134534400*lambda[7]*lambda[5]+1/672672*
lambda[4])*v[7]^14*v[6]*v[5]*v[1]+(479/182509367040000*lambda[7]^4-5107/
530936340480000*lambda[7]^2*lambda[6]-4189/1168059949056000*lambda[6]^2+2047/
77870663270400*lambda[7]*lambda[5]+79/3893533163520*lambda[4])*v[7]^21*v[6]*v[
2]+(1/2*lambda[7]*lambda[5]+1/2*lambda[4])*v[7]*v[6]^2*v[3]^4+(-1/2240*lambda[
6]^2+1/840*lambda[7]*lambda[5]-1/336*lambda[4])*v[6]^9*v[4]*v[2]+(71/
5959489536000*lambda[7]^4-43/1896201216000*lambda[7]^2*lambda[6]-17581/
166865707008000*lambda[6]^2-8383/55621902336000*lambda[7]*lambda[5]+487/
13905475584000*lambda[4])*v[7]^19*v[6]^2*v[4]^2+(-1/40*lambda[6]^2+17/240*
lambda[7]*lambda[5]+1/15*lambda[4])*v[6]^6*v[3]^3+(3/8*lambda[6]^2+1/2*lambda[
4])*v[6]^2*v[5]^4*v[1]+(3/16*lambda[7]^2*lambda[6]-1/2*lambda[6]^2+1/4*lambda[
7]*lambda[5])*v[6]^2*v[5]^6*v[4]+(1/64*lambda[7]^2*lambda[6]-1/16*lambda[7]*
lambda[5])*v[7]^4*v[5]^6*v[4]+(17/320*lambda[7]^2*lambda[6]-9/40*lambda[6]^2+1
/240*lambda[7]*lambda[5]-1/15*lambda[4])*v[6]^6*v[5]^4*v[4]-1/2*lambda[4]*v[7]
^2*v[6]^2*v[3]*v[2]^2+(1/22528000*lambda[7]^4-1/2464000*lambda[6]^2+1/7392000*
lambda[7]*lambda[5]+1/924000*lambda[4])*v[7]*v[6]^16+(-1/806400*lambda[7]^4-\
181/70963200*lambda[7]^2*lambda[6]+1/887040*lambda[6]^2-7/844800*lambda[7]*
lambda[5]-1/184800*lambda[4])*v[7]^12*v[5]^4*v[4]+(79/44800*lambda[7]^2*lambda
[6]-31/5600*lambda[6]^2+67/33600*lambda[7]*lambda[5]-1/525*lambda[4])*v[6]^10*
v[5]^2*v[4]-lambda[4]*v[7]^2*v[6]*v[5]*v[4]*v[2]^2+(13/1126400*lambda[7]^2*
lambda[6]+1/98560*lambda[6]^2+43/5913600*lambda[7]*lambda[5]-1/36960*lambda[4]
)*v[7]^4*v[6]^12*v[4]+(1/5376000*lambda[7]^4+43/100352000*lambda[7]^2*lambda[6
]+47/37632000*lambda[6]^2-289/75264000*lambda[7]*lambda[5]-1/188160*lambda[4])
*v[7]^8*v[6]^10*v[4]+(-1/67200*lambda[7]^2*lambda[6]-13/537600*lambda[6]^2+1/
67200*lambda[7]*lambda[5]+1/26880*lambda[4])*v[7]^8*v[6]^6*v[1]+(-97/
502353602150400000*lambda[7]^4+1663/2727062411673600000*lambda[7]^2*lambda[6]-\
1151/8351628635750400000*lambda[6]^2-1/1840579313664000*lambda[7]*lambda[5]+1/
1412274864000000*lambda[4])*v[7]^27*v[6]*v[5]+(-3/80*lambda[6]^2-1/60*lambda[7
]*lambda[5]+1/60*lambda[4])*v[6]^6*v[5]^2*v[1]+3/160*lambda[4]*v[7]^6*v[4]^4*v
[3]+(13/1478400*lambda[7]^4-157/2956800*lambda[7]^2*lambda[6]-1/184800*lambda[
6]^2-3/123200*lambda[7]*lambda[5])*v[7]^11*v[6]*v[5]^5+(1/369600*lambda[7]^4+1
/92400*lambda[7]^2*lambda[6]-1/184800*lambda[6]^2-27/246400*lambda[7]*lambda[5
])*v[7]^11*v[5]^3*v[2]+(3/16*lambda[6]^2-1/3*lambda[7]*lambda[5])*v[7]^3*v[6]^
4*v[5]^2*v[3]^2+(-1/44800*lambda[7]^2*lambda[6]-1/44800*lambda[6]^2-3/44800*
lambda[7]*lambda[5]-1/6720*lambda[4])*v[7]^5*v[6]^9*v[2]+(-1/67200*lambda[7]^2
*lambda[6]-1/53760*lambda[6]^2+1/5600*lambda[7]*lambda[5]+3/22400*lambda[4])*v
[7]^10*v[5]^2*v[4]^3+(-3/560*lambda[6]^2-1/420*lambda[7]*lambda[5]-2/105*
lambda[4])*v[6]^7*v[5]*v[4]^3+(-3/8960*lambda[6]^2-1/6720*lambda[7]*lambda[5]+
13/6720*lambda[4])*v[7]^2*v[6]^8*v[4]^3-lambda[4]*v[7]^2*v[5]*v[4]^2*v[3]*v[2]
-1/448*lambda[4]*v[7]^8*v[4]*v[2]^2+(1/115315200*lambda[7]^4-1/14414400*lambda
[7]^2*lambda[6]+1/7207200*lambda[6]^2-1/30750720*lambda[7]*lambda[5]-1/
15375360*lambda[4])*v[7]^13*v[4]^4+(-1/40*lambda[7]*lambda[5]-1/20*lambda[4])*
v[7]^5*v[5]^2*v[2]^2+7/4*lambda[4]*v[7]^2*v[4]^2*v[3]^3+1/16*lambda[6]^2*v[7]^
4*v[6]*v[5]^3*v[4]^3+(197/81115274240000*lambda[7]^4-30461/1946766581760000*
lambda[7]^2*lambda[6]+18461/778706632704000*lambda[6]^2+111/25956887756800*
lambda[7]*lambda[5]+11261/324461096960000*lambda[4])*v[7]^21*v[4]*v[3]+(7/
12800*lambda[7]^4+9/3200*lambda[7]^2*lambda[6]-9/800*lambda[6]^2-1/300*lambda[
4])*v[7]^5*v[6]^6*v[5]^4+(-6833/83432853504000*lambda[7]^4-560239/
1668657070080000*lambda[7]^2*lambda[6]+157/52145533440000*lambda[6]^2+47/
23175792640000*lambda[7]*lambda[5]-1/10863652800*lambda[4])*v[7]^19*v[6]^5*v[5
]+(-31/6134768640000*lambda[7]^4+31/1226953728000*lambda[7]^2*lambda[6]-79/
3926251929600*lambda[6]^2-1/32718766080*lambda[7]*lambda[5]+1/13087506432*
lambda[4])*v[7]^20*v[1]+(17/41642065920000*lambda[7]^4+419/458062725120000*
lambda[7]^2*lambda[6]+1/19085946880000*lambda[6]^2-1/19085946880000*lambda[7]*
lambda[5])*v[7]^23*v[6]^3*v[5]+(-3/640*lambda[7]^4-1/32*lambda[7]^2*lambda[6]-\
1/40*lambda[6]^2)*v[7]^5*v[6]^2*v[5]^6+(-3/160*lambda[7]^2*lambda[6]-1/60*
lambda[7]*lambda[5])*v[7]^3*v[6]^5*v[5]^5+(-3/2240*lambda[7]^4-61/6720*lambda[
7]^2*lambda[6]-1/840*lambda[6]^2-1/840*lambda[7]*lambda[5])*v[7]^7*v[6]^3*v[5]
^5+(1/840*lambda[7]^2*lambda[6]-1/210*lambda[6]^2+1/280*lambda[7]*lambda[5]-1/
80*lambda[4])*v[7]^7*v[4]*v[3]^3+(-1/492800*lambda[7]^4+1/105600*lambda[7]^2*
lambda[6]+1/107520*lambda[6]^2+83/1478400*lambda[7]*lambda[5])*v[7]^11*v[6]^4*
v[3]^2+(-311/8072064000*lambda[7]^4+139/807206400*lambda[7]^2*lambda[6]-401/
3228825600*lambda[6]^2+817/2690688000*lambda[7]*lambda[5]-47/336336000*lambda[
4])*v[7]^15*v[6]^2*v[3]^2-1/80*lambda[4]*v[6]^4*v[4]^5+(3/627200*lambda[7]^2*
lambda[6]+3/627200*lambda[6]^2+13/1881600*lambda[7]*lambda[5]-13/470400*lambda
[4])*v[7]^9*v[6]^7*v[2]+(-1/28828800*lambda[7]^4+73/2306304000*lambda[7]^2*
lambda[6]+313/2306304000*lambda[6]^2+111/256256000*lambda[7]*lambda[5]+1/
38438400*lambda[4])*v[7]^13*v[6]^5*v[2]+(-23/17153136000*lambda[7]^4+1499/
313657344000*lambda[7]^2*lambda[6]+6077/2195601408000*lambda[6]^2-303/
48791142400*lambda[7]*lambda[5]-83/7318671360*lambda[4])*v[7]^17*v[6]^3*v[2]+(
-529/19767168368640000*lambda[7]^4+12433/128486594396160000*lambda[7]^2*lambda
[6]+10649/256973188792320000*lambda[6]^2-421/1557413265408000*lambda[7]*lambda
[5]+199/389353316352000*lambda[4])*v[7]^23*v[4]^2+(1/2560*lambda[7]^4-27/560*
lambda[6]^2-1/1680*lambda[7]*lambda[5]-1/210*lambda[4])*v[7]*v[6]^8*v[5]^4+(-\
29/560*lambda[7]^2*lambda[6]+3/20*lambda[6]^2-9/140*lambda[7]*lambda[5])*v[6]^
7*v[5]^3*v[3]+(-1/4480*lambda[7]*lambda[5]-1/2240*lambda[4])*v[7]^9*v[6]^2*v[2
]^2-3/16*lambda[4]*v[7]^4*v[4]^3*v[3]^2+(2173/18450432000*lambda[7]^4+6541/
4612608000*lambda[7]^2*lambda[6]+727/1153152000*lambda[6]^2-1/64064000*lambda[
7]*lambda[5]-1/12012000*lambda[4])*v[7]^13*v[6]^6*v[5]^2+(-70237/
35129622528000*lambda[7]^4-11749/2195601408000*lambda[7]^2*lambda[6]-379/
78414336000*lambda[6]^2-23/17425408000*lambda[7]*lambda[5]+1/933504000*lambda[
4])*v[7]^17*v[6]^4*v[5]^2+(-37/430080*lambda[7]^4-7/7680*lambda[7]^2*lambda[6]
-1/2240*lambda[6]^2-1/13440*lambda[7]*lambda[5])*v[7]^9*v[6]^4*v[5]^4+(317/
263577600*lambda[7]^4+2627/461260800*lambda[7]^2*lambda[6]-139/115315200*
lambda[6]^2-1/9609600*lambda[7]*lambda[5]-1/686400*lambda[4])*v[7]^13*v[6]^2*v
[5]^4+(-1567/2196352040960000*lambda[7]^4+94907/24473637027840000*lambda[7]^2*
lambda[6]+8867/21414432399360000*lambda[6]^2+591/129784438784000*lambda[7]*
lambda[5]+1/20278818560000*lambda[4])*v[7]^22*v[6]^2*v[3]-5/48*lambda[7]*
lambda[5]*v[7]^4*v[6]^3*v[5]*v[4]*v[3]^2+(-1/160*lambda[7]*lambda[5]-1/80*
lambda[4])*v[7]^5*v[6]^4*v[3]*v[1]+(-1/140*lambda[7]*lambda[5]-1/70*lambda[4])
*v[7]^7*v[6]*v[5]*v[2]^2+(-3/320*lambda[6]^2-1/240*lambda[7]*lambda[5])*v[7]^4
*v[6]^5*v[5]*v[4]^3+(17/28828800*lambda[7]^4-13/8870400*lambda[7]^2*lambda[6]-\
401/230630400*lambda[6]^2-1/219648*lambda[7]*lambda[5]-61/19219200*lambda[4])*
v[7]^13*v[5]^2*v[4]*v[3]-1/2*lambda[7]*lambda[5]*v[6]*v[5]^3*v[4]*v[3]^2+(9/
4480*lambda[6]^2-3/560*lambda[7]*lambda[5]-27/1120*lambda[4])*v[6]^8*v[4]^2*v[
3]+(1/89600*lambda[7]^2*lambda[6]-1/22400*lambda[6]^2-3/89600*lambda[7]*lambda
[5])*v[7]^9*v[6]^5*v[5]*v[4]^2+(23/838656000*lambda[7]^4+1069/11741184000*
lambda[7]^2*lambda[6]-31/1467648000*lambda[6]^2+327/1793792000*lambda[7]*
lambda[5]+1/11211200*lambda[4])*v[7]^14*v[6]^6*v[3]+(283/
342082708920336384000000*lambda[7]^4-283/74830592576323584000000*lambda[7]^2*
lambda[6]+1/411157102067712000000*lambda[6]^2+1/226759371443404800000*lambda[7
]*lambda[5]-1/141724607152128000000*lambda[4])*v[7]^33+(1/120*lambda[7]^2*
lambda[6]+1/240*lambda[6]^2)*v[7]^6*v[6]*v[5]^3*v[1]+(3/560*lambda[6]^2+1/28*
lambda[7]*lambda[5]+2/105*lambda[4])*v[7]^3*v[6]^7*v[5]*v[4]*v[3]+3/4*lambda[4
]*v[7]^3*v[6]^2*v[4]*v[3]^3+(-1423/102789275516928000*lambda[7]^4+138629/
4111571020677120000*lambda[7]^2*lambda[6]+1231/513946377584640000*lambda[6]^2+
2539/31148265308160000*lambda[7]*lambda[5]+47/1946766581760000*lambda[4])*v[7]
^24*v[6]^2*v[4]-1/8*lambda[7]^2*lambda[6]*v[7]^3*v[6]*v[5]^7+(9/44800*lambda[7
]^2*lambda[6]+3/89600*lambda[6]^2+47/44800*lambda[7]*lambda[5]-97/67200*lambda
[4])*v[7]^5*v[6]^8*v[4]*v[3]+1/11200*lambda[4]*v[7]^11*v[4]^3*v[3]+(9/800*
lambda[7]^2*lambda[6]+9/800*lambda[6]^2+7/800*lambda[7]*lambda[5]-1/200*lambda
[4])*v[7]^5*v[6]^5*v[5]^2*v[2]+(23/19603584000*lambda[7]^4-7951/2195601408000*
lambda[7]^2*lambda[6]-18527/4391202816000*lambda[6]^2-1013/146373427200*lambda
[7]*lambda[5]-9871/365933568000*lambda[4])*v[7]^17*v[6]^2*v[4]*v[3]+(-23/
4036032000*lambda[7]^4+173/8072064000*lambda[7]^2*lambda[6]+211/25830604800*
lambda[6]^2-1/19568640*lambda[7]*lambda[5]-1/86102016*lambda[4])*v[7]^16*v[6]*
v[4]*v[2]+(1217/10429106688000*lambda[7]^4-233/521455334400*lambda[7]^2*lambda
[6]-461/5214553344000*lambda[6]^2+15737/13905475584000*lambda[7]*lambda[5]+1/
2172730560*lambda[4])*v[7]^19*v[5]*v[2]-3*lambda[4]*v[5]*v[4]*v[3]^2*v[2]+(1/
160*lambda[7]*lambda[5]+1/80*lambda[4])*v[7]^5*v[5]^2*v[4]^4+(1/16473600*
lambda[7]^4-5/18450432*lambda[7]^2*lambda[6]+401/922521600*lambda[6]^2-593/
153753600*lambda[7]*lambda[5]+61/76876800*lambda[4])*v[7]^13*v[6]^4*v[4]*v[3]+
(-1/123200*lambda[7]^2*lambda[6]-1/123200*lambda[6]^2+1/73920*lambda[7]*lambda
[5]+79/92400*lambda[4])*v[7]*v[6]^11*v[2]+1/280*lambda[4]*v[7]^7*v[6]^2*v[4]^3
*v[3]+(-9/160*lambda[7]*lambda[5]-7/80*lambda[4])*v[7]^5*v[6]^2*v[4]^2*v[3]^2+
lambda[4]*v[7]^2*v[6]*v[5]*v[4]*v[3]*v[1]+(-1/640*lambda[7]*lambda[5]-1/320*
lambda[4])*v[7]^5*v[6]^4*v[4]^4+(-1/67200*lambda[7]^4-123/1254400*lambda[7]^2*
lambda[6]-109/940800*lambda[6]^2+367/940800*lambda[7]*lambda[5]-1/14700*lambda
[4])*v[7]^8*v[6]^7*v[5]*v[3]-3/4*lambda[6]^2*v[7]^2*v[6]^2*v[5]^3*v[4]*v[2]+(-\
1/480*lambda[7]*lambda[5]-1/240*lambda[4])*v[7]*v[6]^6*v[4]^4+(-1/16*lambda[6]
^2+1/4*lambda[7]*lambda[5]+1/4*lambda[4])*v[7]^2*v[5]^4*v[4]^3+(-1/16800*
lambda[7]^4-17/16800*lambda[7]^2*lambda[6]-13/11200*lambda[6]^2-13/8400*lambda
[7]*lambda[5]+1/175*lambda[4])*v[7]^7*v[6]^5*v[5]*v[4]*v[3]+(1/17920*lambda[7]
*lambda[5]+1/8960*lambda[4])*v[7]^9*v[6]^2*v[4]^4+1/20*lambda[4]*v[7]^2*v[6]*v
[5]*v[4]^5+(-3/2240*lambda[6]^2+1/280*lambda[7]*lambda[5]+13/1680*lambda[4])*v
[7]^4*v[6]^7*v[4]*v[2]-2*lambda[4]*v[7]^3*v[6]*v[5]*v[4]^2*v[3]^2+(-1/32*
lambda[6]^2+17/192*lambda[7]*lambda[5])*v[7]^4*v[6]^4*v[3]^3-1/4*lambda[7]*
lambda[5]*v[7]^3*v[5]^5*v[2]+3/4*lambda[6]^2*v[7]^2*v[6]*v[5]^3*v[4]^2*v[3]+3/
2*lambda[4]*v[6]*v[5]*v[4]^4*v[3]+(3/16*lambda[6]^2+1/12*lambda[7]*lambda[5]+1
/4*lambda[4])*v[7]^4*v[6]^3*v[5]^2*v[4]*v[2]+(1/1120*lambda[7]^2*lambda[6]+13/
8960*lambda[6]^2+1/2240*lambda[7]*lambda[5]+1/2240*lambda[4])*v[7]^8*v[5]^2*v[
4]^2*v[3]+(1/280*lambda[7]^2*lambda[6]-3/280*lambda[6]^2-1/840*lambda[7]*
lambda[5]-4/105*lambda[4])*v[7]*v[6]^7*v[5]*v[3]^2+(5/64*lambda[7]^2*lambda[6]
-1/2*lambda[6]^2+1/4*lambda[7]*lambda[5])*v[7]^2*v[6]^4*v[5]^4*v[3]+(-251/
4171642675200*lambda[7]^4+70123/238379581440000*lambda[7]^2*lambda[6]+281/
1516960972800*lambda[6]^2+3023/12641341440000*lambda[7]*lambda[5]+1/
155195040000*lambda[4])*v[7]^20*v[6]*v[5]*v[3]+(-9/16*lambda[6]^2-1/4*lambda[7
]*lambda[5]-5/4*lambda[4])*v[6]^4*v[5]^2*v[4]^2*v[3]+(-3/4480*lambda[7]^2*
lambda[6]-3/4480*lambda[6]^2-3/4480*lambda[7]*lambda[5]-1/1120*lambda[4])*v[7]
^9*v[6]^3*v[5]^2*v[2]+(-1/2217600*lambda[7]^4-1/2217600*lambda[7]^2*lambda[6]+
79/17740800*lambda[6]^2+1/1478400*lambda[7]*lambda[5]+1/184800*lambda[4])*v[7]
^12*v[6]*v[5]*v[4]^3+(3881/9544718440857600000*lambda[7]^4-501817/
267252116344012800000*lambda[7]^2*lambda[6]+271/208790715893760000*lambda[6]^2
+37/20246372450304000*lambda[7]*lambda[5]-619/316349569536000000*lambda[4])*v[
7]^26*v[3]+(31159/281036980224000*lambda[7]^4+10561/122953678848000*lambda[7]^
2*lambda[6]-107/4802878080000*lambda[6]^2-241/4657336320000*lambda[7]*lambda[5
]+113/1600959360000*lambda[4])*v[7]^17*v[6]^8+(-3/64*lambda[6]^2-1/48*lambda[7
]*lambda[5]-1/16*lambda[4])*v[7]^4*v[6]^4*v[5]^2*v[1]+(-1/28828800*lambda[7]^4
+1/3603600*lambda[7]^2*lambda[6]-1/1801800*lambda[6]^2+1/7687680*lambda[7]*
lambda[5]+1/3843840*lambda[4])*v[7]^13*v[2]^2+(-3/160*lambda[7]^2*lambda[6]-3/
320*lambda[6]^2+1/160*lambda[7]*lambda[5]-1/16*lambda[4])*v[7]^5*v[6]^4*v[5]^2
*v[4]*v[3]+(-1/2059200*lambda[7]^4-251/115315200*lambda[7]^2*lambda[6]+79/
8870400*lambda[6]^2+163/38438400*lambda[7]*lambda[5]-1/343200*lambda[4])*v[7]^
13*v[6]*v[5]*v[3]^2+(-1/492800*lambda[7]^4-1/123200*lambda[7]^2*lambda[6]+1/
246400*lambda[6]^2-1/140800*lambda[7]*lambda[5])*v[7]^11*v[6]^4*v[5]*v[2]+2*
lambda[4]*v[4]*v[3]^4+(1/2*lambda[7]*lambda[5]+lambda[4])*v[7]*v[6]^2*v[5]^2*v
[3]*v[1]+(1/160*lambda[7]^2*lambda[6]+1/320*lambda[6]^2+1/80*lambda[7]*lambda[
5])*v[7]^6*v[6]^4*v[5]*v[4]*v[2]-2*lambda[4]*v[6]*v[5]*v[3]*v[2]^2+(-153877/
128486594396160000*lambda[7]^4+478741/256973188792320000*lambda[7]^2*lambda[6]
+177193/64243297198080000*lambda[6]^2+1259/149751275520000*lambda[7]*lambda[5]
+23/15209113920000*lambda[4])*v[7]^22*v[6]*v[5]*v[4]+(1/1600*lambda[7]^4+89/
9600*lambda[7]^2*lambda[6]-1/480*lambda[6]^2+11/2400*lambda[7]*lambda[5])*v[7]
^6*v[6]^5*v[5]^3*v[4]+(-163/10429106688000*lambda[7]^4-61/1042910668800*lambda
[7]^2*lambda[6]+40951/83432853504000*lambda[6]^2-23/133706496000*lambda[7]*
lambda[5]+331/869092224000*lambda[4])*v[7]^19*v[3]^2+(-13/107520*lambda[7]^4-1
/13440*lambda[7]^2*lambda[6])*v[7]^9*v[5]^6+1/448*lambda[4]*v[7]^8*v[4]*v[3]*v
[1]+(-87/8960*lambda[7]^2*lambda[6]-3/112*lambda[6]^2-1/48*lambda[7]*lambda[5]
+1/210*lambda[4])*v[7]^2*v[6]^8*v[5]^2*v[3]-1/64*lambda[7]^4*v[7]*v[5]^8+(17/
1120*lambda[7]^2*lambda[6]+3/40*lambda[6]^2-1/280*lambda[7]*lambda[5])*v[7]^2*
v[6]^7*v[5]^3*v[4]+(-1/120*lambda[7]^2*lambda[6]-1/240*lambda[6]^2)*v[7]^6*v[5
]^3*v[4]*v[2]+(-1019/133626058172006400000*lambda[7]^4+3763/
115123988578959360000*lambda[7]^2*lambda[6]-2957/233845601801011200000*lambda[
6]^2-571/11337968572170240000*lambda[7]*lambda[5]+1/13627366072320000*lambda[4
])*v[7]^28*v[4]+(-173/6457651200*lambda[7]^4-50257/516612096000*lambda[7]^2*
lambda[6]+37/64576512000*lambda[6]^2+1/79872000*lambda[7]*lambda[5]+19/
672672000*lambda[4])*v[7]^16*v[6]^2*v[5]^2*v[4]+(-1/4480*lambda[7]^2*lambda[6]
+1/1792*lambda[6]^2+9/4480*lambda[7]*lambda[5]-1/2240*lambda[4])*v[7]^9*v[6]^2
*v[5]^2*v[4]*v[3]+(-5/3584*lambda[7]^2*lambda[6]-1/640*lambda[6]^2-17/13440*
lambda[7]*lambda[5])*v[7]^4*v[6]^9*v[5]*v[3]+1/20*lambda[4]*v[5]^2*v[4]^5-1/40
*lambda[4]*v[7]^6*v[3]*v[2]^2+(108263/17564811264000*lambda[7]^4+5591/
1097800704000*lambda[7]^2*lambda[6]-257/548900352000*lambda[6]^2-1/746803200*
lambda[7]*lambda[5]+1/466752000*lambda[4])*v[7]^17*v[5]^4+(-1/40*lambda[7]*
lambda[5]+1/10*lambda[4])*v[7]^5*v[5]*v[3]^2*v[2]+1/2*lambda[4]*v[7]^3*v[6]^3*
v[3]^2*v[2]-3/2*lambda[4]*v[7]^2*v[6]*v[4]*v[3]^2*v[2]-1/2*lambda[7]*lambda[5]
*v[7]*v[6]^2*v[5]*v[3]^2*v[2]+1/8960*lambda[4]*v[7]^8*v[4]^5+(-1/560*lambda[7]
^2*lambda[6]-13/4480*lambda[6]^2-1/1120*lambda[7]*lambda[5])*v[7]^8*v[6]^2*v[5
]*v[3]*v[2]+(-1/840*lambda[7]^4-1/840*lambda[7]^2*lambda[6]+13/1680*lambda[6]^
2+3/140*lambda[7]*lambda[5])*v[7]^7*v[6]*v[5]^3*v[4]*v[3]+1/4*lambda[4]*v[7]^2
*v[6]^2*v[3]^2*v[1]+(3/40*lambda[6]^2+1/30*lambda[7]*lambda[5]+4/15*lambda[4])
*v[6]^6*v[5]*v[3]*v[2]+(3/32*lambda[6]^2+1/24*lambda[7]*lambda[5])*v[7]^4*v[6]
^4*v[5]*v[3]*v[2]+(1/3360*lambda[7]^2*lambda[6]+13/26880*lambda[6]^2+1/6720*
lambda[7]*lambda[5])*v[7]^8*v[6]^3*v[5]*v[4]^3+(1/1108800*lambda[7]^4+1/
1108800*lambda[7]^2*lambda[6]-79/8870400*lambda[6]^2-1/739200*lambda[7]*lambda
[5]-1/92400*lambda[4])*v[7]^12*v[5]*v[3]*v[2]+(3/80*lambda[6]^2+1/60*lambda[7]
*lambda[5]+2/15*lambda[4])*v[7]^2*v[6]^6*v[5]*v[4]*v[2]+(1/140*lambda[7]*
lambda[5]+1/70*lambda[4])*v[7]^7*v[6]*v[5]*v[3]*v[1]+(-1/4480*lambda[7]^2*
lambda[6]-13/35840*lambda[6]^2+1/4480*lambda[7]*lambda[5]-1/8960*lambda[4])*v[
7]^8*v[6]^4*v[4]^2*v[3]+(-1/2240*lambda[7]^2*lambda[6]-1/2240*lambda[7]*lambda
[5])*v[7]*v[6]^9*v[5]*v[4]^2+(-9/11200*lambda[7]^2*lambda[6]+3/5600*lambda[6]^
2+17/11200*lambda[7]*lambda[5]+1/525*lambda[4])*v[7]^5*v[6]^7*v[5]*v[4]^2+(-3/
4*lambda[6]^2-lambda[4])*v[7]^2*v[6]^3*v[5]^2*v[3]*v[2]+(-6949/208582133760000
*lambda[7]^4+41297/476759162880000*lambda[7]^2*lambda[6]-31/3792402432000*
lambda[6]^2+43943/278109511680000*lambda[7]*lambda[5]+641/8690922240000*lambda
[4])*v[7]^20*v[5]^2*v[4]+(-1/120*lambda[7]*lambda[5]-1/60*lambda[4])*v[7]*v[6]
^6*v[3]*v[1]+(-1/13440*lambda[7]^4-1/960*lambda[7]^2*lambda[6]+3/4480*lambda[6
]^2+1/1920*lambda[7]*lambda[5]+1/1120*lambda[4])*v[7]^7*v[6]^4*v[5]^2*v[4]^2+(
-1/4*lambda[7]^2*lambda[6]-1/4*lambda[6]^2-1/4*lambda[7]*lambda[5]+lambda[4])*
v[7]*v[6]^3*v[5]^4*v[2]+2*lambda[4]*v[7]*v[4]*v[3]*v[2]^2+(3/280*lambda[7]^2*
lambda[6]+3/280*lambda[6]^2+13/840*lambda[7]*lambda[5]-13/210*lambda[4])*v[7]*
v[6]^7*v[5]^2*v[2]+(1/320*lambda[7]^4+29/1920*lambda[7]^2*lambda[6]+1/48*
lambda[6]^2-1/80*lambda[7]*lambda[5])*v[7]^6*v[6]^2*v[5]^4*v[3]+1/4*lambda[6]^
2*v[6]^3*v[5]^3*v[4]^3+(1/2*lambda[6]^2+1/4*lambda[7]*lambda[5])*v[7]^2*v[6]^3
*v[5]*v[3]^3+(-1/640*lambda[7]*lambda[5]+3/560*lambda[4])*v[7]^8*v[6]*v[5]*v[4
]*v[3]^2+(-1/800*lambda[7]^2*lambda[6]-1/1600*lambda[6]^2-1/400*lambda[7]*
lambda[5])*v[7]^6*v[6]^5*v[5]*v[1]+(-1/80*lambda[7]^2*lambda[6]+1/160*lambda[6
]^2+1/16*lambda[7]*lambda[5]-1/8*lambda[4])*v[7]^5*v[5]^4*v[4]*v[3]+(3/640*
lambda[6]^2-1/80*lambda[7]*lambda[5]+1/96*lambda[4])*v[7]^4*v[6]^6*v[4]^2*v[3]
+(1/28828800*lambda[7]^4-5/32288256*lambda[7]^2*lambda[6]+401/1614412800*
lambda[6]^2-1/134534400*lambda[7]*lambda[5]-1/672672*lambda[4])*v[7]^14*v[5]*v
[4]*v[2]+(3/8*lambda[6]^2-5/2*lambda[4])*v[5]^4*v[4]^2*v[3]+(1/560*lambda[7]*
lambda[5]+1/280*lambda[4])*v[7]^7*v[6]*v[5]*v[4]^4+(-29/320*lambda[7]^2*lambda
[6]-1/16*lambda[6]^2-13/240*lambda[7]*lambda[5])*v[7]^4*v[6]^5*v[5]^3*v[3]+(
2237/4391202816000*lambda[7]^4-4957/7025924505600*lambda[7]^2*lambda[6]-59/
168892416000*lambda[6]^2-1/408408000*lambda[7]*lambda[5]+1/1867008000*lambda[4
])*v[7]^18*v[6]^4*v[3]+lambda[4]*v[7]^3*v[5]^2*v[4]^3*v[3]+(-1/33600*lambda[7]
^2*lambda[6]-1/26880*lambda[6]^2-1/33600*lambda[7]*lambda[5]+3/11200*lambda[4]
)*v[7]^10*v[6]^3*v[3]*v[2]+(-1/11200*lambda[7]^2*lambda[6]-1/8960*lambda[6]^2-\
1/11200*lambda[7]*lambda[5])*v[7]^10*v[6]^2*v[5]*v[4]*v[2]+(1/20*lambda[7]*
lambda[5]+1/10*lambda[4])*v[7]^5*v[6]^3*v[4]*v[3]*v[2]+lambda[4]*v[6]*v[5]*v[3
]^2*v[1]+(-19/896896000*lambda[7]^4+1/16016000*lambda[7]^2*lambda[6]+17/
89689600*lambda[6]^2+71/896896000*lambda[7]*lambda[5])*v[7]^15*v[6]^2*v[5]*v[2
]+(-599/4612608000*lambda[7]^4-37321/64576512000*lambda[7]^2*lambda[6]-29/
3228825600*lambda[6]^2+31/163072000*lambda[7]*lambda[5]+1/3363360*lambda[4])*v
[7]^14*v[6]^5*v[5]*v[4]+(-3/160*lambda[6]^2+1/32*lambda[7]*lambda[5]+1/120*
lambda[4])*v[7]^3*v[6]^6*v[5]^2*v[4]^2+(-3/16*lambda[7]*lambda[5]-5/8*lambda[4
])*v[7]*v[6]^4*v[4]^2*v[3]^2+(-191/538137600*lambda[7]^4-1231/1076275200*
lambda[7]^2*lambda[6]-73/269068800*lambda[6]^2+137/89689600*lambda[7]*lambda[5
])*v[7]^14*v[6]*v[5]^3*v[4]+(-1/96*lambda[7]*lambda[5]-7/120*lambda[4])*v[7]^2
*v[6]^6*v[4]*v[3]^2+(1/1120*lambda[7]^2*lambda[6]+13/8960*lambda[6]^2+1/2240*
lambda[7]*lambda[5]-1/448*lambda[4])*v[7]^8*v[6]^2*v[5]^2*v[1]+(3/2*lambda[6]^
2+3/4*lambda[7]*lambda[5])*v[6]^2*v[5]^2*v[3]^3+(1/60*lambda[7]^2*lambda[6]+1/
120*lambda[6]^2+3/80*lambda[7]*lambda[5])*v[7]^6*v[6]*v[5]*v[3]^3+(97/
9225216000*lambda[7]^4-1387/32288256000*lambda[7]^2*lambda[6]+19/2583060480*
lambda[6]^2-17/279552000*lambda[7]*lambda[5]-109/5381376000*lambda[4])*v[7]^15
*v[6]^4*v[4]^2+(1/8*lambda[6]^2+1/16*lambda[7]*lambda[5])*v[7]^4*v[5]^2*v[3]^3
-1/8*lambda[6]^2*v[7]^4*v[5]^3*v[3]*v[2]+(3/1971200*lambda[7]^2*lambda[6]-1/
246400*lambda[6]^2-1/1478400*lambda[7]*lambda[5]+1/92400*lambda[4])*v[6]^14*v[
4]+(-1/2217600*lambda[7]^4-1/2217600*lambda[7]^2*lambda[6]+79/17740800*lambda[
6]^2-1/147840*lambda[7]*lambda[5]-1/59136*lambda[4])*v[7]^12*v[6]^3*v[4]*v[2]+
(-2*lambda[7]*lambda[5]-4*lambda[4])*v[7]*v[6]*v[5]^2*v[4]*v[3]*v[2]+(1/
8870400*lambda[7]^4+1/8870400*lambda[7]^2*lambda[6]-79/70963200*lambda[6]^2+1/
591360*lambda[7]*lambda[5]+1/236544*lambda[4])*v[7]^12*v[6]^4*v[1]+(1/11200*
lambda[7]^2*lambda[6]+1/8960*lambda[6]^2+1/11200*lambda[7]*lambda[5]+3/2800*
lambda[4])*v[7]^10*v[6]*v[5]*v[4]^2*v[3]+(-23/17740800*lambda[7]^4-439/
20275200*lambda[7]^2*lambda[6]-47/4435200*lambda[6]^2+13/3942400*lambda[7]*
lambda[5]-1/369600*lambda[4])*v[7]^12*v[6]^4*v[5]^2*v[4]+(23/8072064000*lambda
[7]^4-173/16144128000*lambda[7]^2*lambda[6]-211/51661209600*lambda[6]^2+1/
39137280*lambda[7]*lambda[5]+1/172204032*lambda[4])*v[7]^16*v[6]^2*v[1]+lambda
[4]*v[6]*v[3]^3*v[2]+(-1217/1097800704000*lambda[7]^4+52121/8782405632000*
lambda[7]^2*lambda[6]+59/42223104000*lambda[6]^2+551/182966784000*lambda[7]*
lambda[5]-1/466752000*lambda[4])*v[7]^18*v[5]^2*v[3]+(3/4*lambda[7]*lambda[5]+
5/2*lambda[4])*v[7]*v[5]^2*v[4]^2*v[3]^2+1/8*lambda[4]*v[7]^4*v[6]^2*v[4]*v[2]
^2+(lambda[7]*lambda[5]+5*lambda[4])*v[7]*v[6]*v[5]*v[4]*v[3]^3+(-1/78848*
lambda[7]^2*lambda[6]-1/24640*lambda[6]^2+73/184800*lambda[7]*lambda[5]+1/9240
*lambda[4])*v[7]^2*v[6]^12*v[3]+(1/1680*lambda[7]^4+13/840*lambda[7]^2*lambda[
6]+1/160*lambda[6]^2+13/560*lambda[7]*lambda[5])*v[7]^7*v[6]^2*v[5]^2*v[3]^2+(
1/806400*lambda[7]^4+673/70963200*lambda[7]^2*lambda[6]+383/88704000*lambda[6]
^2+31/4224000*lambda[7]*lambda[5]+1/462000*lambda[4])*v[7]^12*v[6]^5*v[5]*v[3]
+(17/256*lambda[7]^2*lambda[6]+1/8*lambda[6]^2-1/64*lambda[7]*lambda[5])*v[7]^
4*v[6]^4*v[5]^4*v[4]+(1/480*lambda[7]^4+11/960*lambda[7]^2*lambda[6]-1/240*
lambda[6]^2-1/80*lambda[7]*lambda[5])*v[7]^6*v[6]*v[5]^5*v[4]+(3/800*lambda[7]
^2*lambda[6]-3/160*lambda[6]^2-91/2400*lambda[7]*lambda[5]-1/50*lambda[4])*v[7
]^5*v[6]^5*v[5]*v[3]^2+(-1/384000*lambda[7]^4-113/5376000*lambda[7]^2*lambda[6
]+1/134400*lambda[6]^2-1/8960*lambda[7]*lambda[5]-1/21000*lambda[4])*v[7]^6*v[
6]^10*v[3]+(1/10*lambda[7]*lambda[5]+1/5*lambda[4])*v[7]*v[6]^5*v[4]*v[3]*v[2]
+(-17/4480*lambda[7]^2*lambda[6]-1/840*lambda[7]*lambda[5])*v[7]^3*v[6]^9*v[5]
^3+(3/8960*lambda[7]*lambda[5]-11/4480*lambda[4])*v[7]^9*v[4]^2*v[3]^2+(-1/560
*lambda[7]^2*lambda[6]-13/4480*lambda[6]^2-1/1120*lambda[7]*lambda[5]+1/224*
lambda[4])*v[7]^8*v[6]*v[5]^2*v[4]*v[2]+(3/32*lambda[6]^2+1/8*lambda[4])*v[7]^
2*v[6]^4*v[5]^2*v[4]^3+(1/160*lambda[7]^2*lambda[6]+1/320*lambda[6]^2-1/80*
lambda[4])*v[7]^6*v[6]^2*v[5]^2*v[4]^3+(1/44800*lambda[6]^2+9/44800*lambda[7]*
lambda[5]+1/6720*lambda[4])*v[7]^3*v[6]^10*v[4]^2+(1/1478400*lambda[7]^4+1/
1478400*lambda[7]^2*lambda[6]-79/11827200*lambda[6]^2+1/98560*lambda[7]*lambda
[5]-41/985600*lambda[4])*v[7]^12*v[6]^2*v[4]^2*v[3]+(-3/4*lambda[6]^2-lambda[4
])*v[6]*v[5]^4*v[4]*v[2]+3/8*lambda[4]*v[7]^2*v[6]^2*v[4]^4*v[3]+(-1/4*lambda[
6]^2+1/3*lambda[7]*lambda[5])*v[7]^3*v[6]^3*v[5]^3*v[4]*v[3]+(-1/448000*lambda
[7]^4-283/37632000*lambda[7]^2*lambda[6]-53/9408000*lambda[6]^2-1/448000*
lambda[7]*lambda[5]-1/147000*lambda[4])*v[7]^10*v[6]^7*v[5]*v[4]+(157/
5381376000*lambda[7]^4+3/12544000*lambda[7]^2*lambda[6]+151/672672000*lambda[6
]^2+29/336336000*lambda[7]*lambda[5])*v[7]^15*v[6]^3*v[5]^3+(-1/591360*lambda[
7]^4-263/29568000*lambda[7]^2*lambda[6]-1/369600*lambda[6]^2-1/616000*lambda[7
]*lambda[5])*v[7]^11*v[6]^5*v[5]^3+(1/89600*lambda[7]*lambda[5]+1/3200*lambda[
4])*v[7]^10*v[6]^2*v[4]*v[3]^2+(-1/80*lambda[7]^2*lambda[6]-1/160*lambda[6]^2-\
1/40*lambda[7]*lambda[5])*v[7]^6*v[6]^3*v[5]*v[4]^2*v[3]+(23/13722508800*
lambda[7]^4-15577/2195601408000*lambda[7]^2*lambda[6]+37/274450176000*lambda[6
]^2-3163/731867136000*lambda[7]*lambda[5]-29/2858856000*lambda[4])*v[7]^17*v[6
]*v[5]*v[4]^2+(1/22400*lambda[7]^4+409/470400*lambda[7]^2*lambda[6]+13/8400*
lambda[6]^2+1/5880*lambda[7]*lambda[5])*v[7]^7*v[6]^7*v[5]^3+(1/2688*lambda[7]
^4+37/15360*lambda[7]^2*lambda[6]+11/13440*lambda[6]^2-13/8960*lambda[7]*
lambda[5]-1/560*lambda[4])*v[7]^8*v[6]^2*v[5]^4*v[4]+(-23/709632000*lambda[7]^
4-9631/39739392000*lambda[7]^2*lambda[6]-1/38808000*lambda[6]^2-79/3311616000*
lambda[7]*lambda[5]+1/25872000*lambda[4])*v[7]^12*v[6]^8*v[4]+(1/492800*lambda
[7]^4+3/246400*lambda[7]^2*lambda[6]+67/985600*lambda[6]^2+1/140800*lambda[7]*
lambda[5]-1/22400*lambda[4])*v[7]^11*v[6]^2*v[5]^2*v[4]^2+(-1/4*lambda[7]^2*
lambda[6]+3/8*lambda[6]^2-1/4*lambda[7]*lambda[5]+5/2*lambda[4])*v[7]*v[6]^2*v
[5]^4*v[4]*v[3]+(-47/18450432000*lambda[7]^4+29/187858944000*lambda[7]^2*
lambda[6]+691/1291530240000*lambda[6]^2+2383/861020160000*lambda[7]*lambda[5]-\
67/53813760000*lambda[4])*v[7]^16*v[6]^6*v[4]+(9/40*lambda[6]^2+1/10*lambda[7]
*lambda[5]-1/10*lambda[4])*v[6]^5*v[5]^2*v[4]*v[2]+(1/38400*lambda[7]^4+5/
21504*lambda[7]^2*lambda[6]-1/19200*lambda[6]^2-3/44800*lambda[7]*lambda[5])*v
[7]^6*v[6]^9*v[5]*v[4]+(-1/70*lambda[7]*lambda[5]-1/35*lambda[4])*v[7]^7*v[5]*
v[4]*v[3]*v[2]+(-1/128*lambda[7]*lambda[5]-1/32*lambda[4])*v[7]^6*v[6]^4*v[4]*
v[3]^2+(79/492800*lambda[7]^2*lambda[6]+61/123200*lambda[6]^2+13/52800*lambda[
7]*lambda[5]+2/5775*lambda[4])*v[7]^2*v[6]^11*v[5]*v[4]+(-3/560*lambda[6]^2-1/
420*lambda[7]*lambda[5]-2/105*lambda[4])*v[7]^2*v[6]^7*v[5]*v[1]+(3/16*lambda[
6]^2+3/16*lambda[7]*lambda[5]+1/4*lambda[4])*v[7]^3*v[6]^2*v[5]^4*v[4]^2+(11/
13440*lambda[7]^2*lambda[6]+1/3360*lambda[6]^2+1/896*lambda[7]*lambda[5])*v[7]
^9*v[6]*v[5]^3*v[4]^2+(-3/160*lambda[7]*lambda[5]+1/8*lambda[4])*v[7]^6*v[5]^2
*v[4]*v[3]^2+(-73/75848048640000*lambda[7]^4-34163/1026865889280000*lambda[7]^
2*lambda[6]+31/15169609728000*lambda[6]^2-739/52973240320000*lambda[7]*lambda[
5]-641/34763688960000*lambda[4])*v[7]^20*v[6]^4*v[4]+(-1/80*lambda[7]^2*lambda
[6]-1/40*lambda[6]^2+1/80*lambda[7]*lambda[5])*v[7]^5*v[6]^3*v[5]^3*v[4]^2+(1/
2688*lambda[7]^2*lambda[6]+13/13440*lambda[6]^2+17/13440*lambda[7]*lambda[5])*
v[7]^9*v[6]^3*v[5]*v[3]^2+(-9/80*lambda[6]^2-1/20*lambda[7]*lambda[5]+1/5*
lambda[4])*v[7]^2*v[6]^5*v[5]*v[4]^2*v[3]+(23/8072064000*lambda[7]^4-173/
16144128000*lambda[7]^2*lambda[6]-211/51661209600*lambda[6]^2+1/39137280*
lambda[7]*lambda[5]-2449/21525504000*lambda[4])*v[7]^16*v[4]^2*v[3]+(157/
5381376000*lambda[7]^4+23/946176000*lambda[7]^2*lambda[6]-417/7175168000*
lambda[6]^2+313/21525504000*lambda[7]*lambda[5])*v[7]^16*v[6]^3*v[5]*v[3]+(-3/
8*lambda[7]*lambda[5]-5/2*lambda[4])*v[7]^2*v[6]^2*v[5]^2*v[4]*v[3]^2+(-1/1680
*lambda[7]^4-1/105*lambda[7]^2*lambda[6]-1/168*lambda[6]^2-1/80*lambda[7]*
lambda[5])*v[7]^7*v[6]^2*v[5]^3*v[2]+(-9/256000*lambda[7]^4-121/448000*lambda[
7]^2*lambda[6]-31/112000*lambda[6]^2-1/11200*lambda[7]*lambda[5]-1/10500*
lambda[4])*v[7]^5*v[6]^10*v[5]^2+(-1/40*lambda[7]^2*lambda[6]-3/80*lambda[6]^2
-1/24*lambda[7]*lambda[5]-11/60*lambda[4])*v[7]*v[6]^6*v[5]^2*v[4]*v[3]+(-1/
1120*lambda[7]*lambda[5]-1/560*lambda[4])*v[7]^9*v[6]*v[4]*v[3]*v[2]+(1/44800*
lambda[7]^4+29/1075200*lambda[7]^2*lambda[6]+41/134400*lambda[6]^2+13/38400*
lambda[7]*lambda[5]+1/4200*lambda[4])*v[7]^8*v[6]^6*v[5]^2*v[4]-1/5*lambda[4]*
v[7]^5*v[6]*v[5]*v[4]^3*v[3]+(-1/64*lambda[7]^4+1/2*lambda[6]^2)*v[7]*v[6]^4*v
[5]^6+(-1/134400*lambda[7]^4-163/537600*lambda[7]^2*lambda[6]-1/33600*lambda[6
]^2)*v[7]^10*v[5]^4*v[3]+(-1/246400*lambda[7]^4+13/844800*lambda[7]^2*lambda[6
]-1/59136*lambda[6]^2-1/492800*lambda[7]*lambda[5])*v[7]^12*v[6]*v[5]^3*v[3]+(
1/3584000*lambda[7]^4+103/301056000*lambda[7]^2*lambda[6]+1/9408000*lambda[6]^
2-221/18816000*lambda[7]*lambda[5]-1/784000*lambda[4])*v[7]^10*v[6]^8*v[3]+(1/
9609600*lambda[7]^4+59/76876800*lambda[7]^2*lambda[6]-17/5491200*lambda[6]^2-\
67/15375360*lambda[7]*lambda[5])*v[7]^13*v[6]^3*v[5]*v[4]^2-3/16*lambda[7]^2*
lambda[6]*v[7]^2*v[5]^6*v[3]+1/4*lambda[4]*v[6]^4*v[4]*v[2]^2+(1/8*lambda[7]*
lambda[5]+1/4*lambda[4])*v[7]*v[6]^2*v[5]^2*v[4]^4+(-23/274450176000*lambda[7]
^4+457/1097800704000*lambda[7]^2*lambda[6]-2803/8782405632000*lambda[6]^2-1/
1900953600*lambda[7]*lambda[5]+113/146373427200*lambda[4])*v[7]^18*v[4]^3+(1/
28828800*lambda[7]^4-1/3603600*lambda[7]^2*lambda[6]+1/1801800*lambda[6]^2-1/
7687680*lambda[7]*lambda[5]-1/3843840*lambda[4])*v[7]^13*v[3]*v[1]-1/4*lambda[
4]*v[7]^3*v[6]^4*v[4]^3*v[3]+(1/32*lambda[7]^2*lambda[6]-1/8*lambda[6]^2-1/8*
lambda[7]*lambda[5])*v[7]^4*v[6]*v[5]^5*v[3]-1/24*lambda[7]*lambda[5]*v[7]^3*v
[6]^4*v[5]^3*v[2]+(-1/53760*lambda[7]^2*lambda[6]-1/107520*lambda[6]^2-17/
268800*lambda[7]*lambda[5]-1/8960*lambda[4])*v[7]^9*v[6]^6*v[4]*v[3]+(-1/40*
lambda[7]^2*lambda[6]-1/40*lambda[7]*lambda[5])*v[7]*v[6]^5*v[5]^3*v[4]^2+(61/
461260800*lambda[7]^4+2383/1291530240*lambda[7]^2*lambda[6]+73/32288256*lambda
[6]^2+391/269068800*lambda[7]*lambda[5]+1/686400*lambda[4])*v[7]^14*v[6]^2*v[5
]^2*v[3]+(11/2867200*lambda[7]^4+113/2508800*lambda[7]^2*lambda[6]-3/125440*
lambda[6]^2+1/268800*lambda[7]*lambda[5]+1/235200*lambda[4])*v[7]^9*v[6]^8*v[5
]^2-1/8*lambda[4]*v[7]^4*v[6]^2*v[4]*v[3]*v[1]-1/4*lambda[4]*v[6]^4*v[4]*v[3]*
v[1]+(1/4480*lambda[7]*lambda[5]+1/2240*lambda[4])*v[7]^9*v[6]^2*v[3]*v[1]+(-3
/9856*lambda[7]^2*lambda[6]+61/61600*lambda[6]^2+13/26400*lambda[7]*lambda[5]+
4/5775*lambda[4])*v[6]^11*v[5]*v[3]+(1/40*lambda[7]*lambda[5]-1/40*lambda[4])*
v[7]^5*v[3]^4+(-3/80*lambda[7]^2*lambda[6]-3/80*lambda[6]^2-1/80*lambda[7]*
lambda[5]-1/20*lambda[4])*v[7]^5*v[6]*v[5]^4*v[2]-1/160*lambda[4]*v[7]^4*v[6]^
2*v[4]^5+(3/16*lambda[7]^2*lambda[6]+1/4*lambda[6]^2+1/4*lambda[7]*lambda[5])*
v[7]^2*v[6]^3*v[5]^5*v[4]+(-9/9856000*lambda[7]^4-71/3763200*lambda[7]^2*
lambda[6]-1/206976*lambda[6]^2-13/8624000*lambda[7]*lambda[5]+1/202125*lambda[
4])*v[7]^7*v[6]^11*v[5]+(-1/67200*lambda[7]^4+3/89600*lambda[7]^2*lambda[6]+1/
67200*lambda[6]^2-17/67200*lambda[7]*lambda[5])*v[7]^10*v[6]^3*v[5]^3*v[4]+(1/
2*lambda[7]^2*lambda[6]+1/2*lambda[6]^2+1/2*lambda[7]*lambda[5])*v[7]*v[6]^3*v
[5]^3*v[3]^2+(3/17920*lambda[6]^2-1/2240*lambda[7]*lambda[5]-13/13440*lambda[4
])*v[7]^4*v[6]^8*v[1]+(1/11200*lambda[7]^2*lambda[6]+13/89600*lambda[6]^2-1/
11200*lambda[7]*lambda[5]-1/4480*lambda[4])*v[7]^8*v[6]^5*v[4]*v[2]+(-7/9600*
lambda[7]^4-149/19200*lambda[7]^2*lambda[6]-1/2400*lambda[6]^2+1/800*lambda[7]
*lambda[5]+1/300*lambda[4])*v[7]^6*v[6]^6*v[5]^2*v[3]+(87/136328192000*lambda[
7]^4+41/29744332800*lambda[7]^2*lambda[6]+1/10224614400*lambda[6]^2+3/
34082048000*lambda[7]*lambda[5])*v[7]^19*v[6]*v[5]^3+(1/38400*lambda[7]^4+3/
14336*lambda[7]^2*lambda[6]+1/8400*lambda[6]^2-1/11200*lambda[7]*lambda[5])*v[
7]^10*v[6]^4*v[5]^2*v[3]-lambda[4]*v[7]*v[4]*v[3]^2*v[1]+(-1/280*lambda[7]*
lambda[5]-1/280*lambda[4])*v[7]^7*v[6]*v[3]^2*v[2]+(197/4036032000*lambda[7]^4
-619/4036032000*lambda[7]^2*lambda[6]-211/1614412800*lambda[6]^2-23/51744000*
lambda[7]*lambda[5]+73/84084000*lambda[4])*v[7]^15*v[6]*v[5]*v[4]*v[3]+(1/
4224000*lambda[7]^4-1/2112000*lambda[7]^2*lambda[6]-67/59136000*lambda[6]^2-43
/11827200*lambda[7]*lambda[5]+1/1344000*lambda[4])*v[7]^11*v[6]^6*v[4]^2+(1/
33600*lambda[7]^4+1/2100*lambda[7]^2*lambda[6]+1/3360*lambda[6]^2+1/1600*
lambda[7]*lambda[5]+1/525*lambda[4])*v[7]^7*v[6]^6*v[5]*v[2]+(-3/281600*lambda
[7]^4+9/7700*lambda[6]^2+1/36960*lambda[7]*lambda[5]+1/4620*lambda[4])*v[7]*v[
6]^12*v[5]^2-9/4*lambda[4]*v[6]^2*v[4]^3*v[3]^2+(1/1680*lambda[7]^2*lambda[6]+
13/13440*lambda[6]^2-1/1792*lambda[7]*lambda[5]+1/560*lambda[4])*v[7]^8*v[6]^2
*v[3]^3;