C39 := (-27/1600*lambda[7]^2*lambda[6]^2-9/800*lambda[6]^3-3/400*lambda[7]^3*
lambda[5]-21/800*lambda[7]*lambda[6]*lambda[5]-1/400*lambda[5]^2-3/100*lambda[
7]^2*lambda[4]-11/200*lambda[6]*lambda[4]+1/80*lambda[7]*lambda[3]+1/100*
lambda[2])*v[7]^5*v[6]^2*v[5]^5*v[2]-1/16*lambda[2]*v[7]^4*v[6]^4*v[5]*v[2]*v[
1]+(1/96*lambda[7]*lambda[6]*lambda[5]+1/16*lambda[5]^2+11/192*lambda[7]^2*
lambda[4]-3/16*lambda[6]*lambda[4]-1/48*lambda[7]*lambda[3]-1/4*lambda[2])*v[7
]^4*v[5]^4*v[4]*v[3]^2+(4091/35336267366400000*lambda[7]^6+140477/
350417984716800000*lambda[7]^4*lambda[6]+86719/254849443430400000*lambda[7]^2*
lambda[6]^2+11377/52562697707520000*lambda[6]^3-6191/18322509004800000*lambda[
7]^3*lambda[5]-377/315265843200000*lambda[7]*lambda[6]*lambda[5]-1747/
4171642675200000*lambda[5]^2+229667/233611989811200000*lambda[7]^2*lambda[4]-\
293/365018734080000*lambda[6]*lambda[4]+601/208210329600000*lambda[7]*lambda[3
]+11/7900838400000*lambda[2])*v[7]^19*v[6]^10+(1/1478400*lambda[7]^4*lambda[6]
+1/1478400*lambda[7]^2*lambda[6]^2-79/11827200*lambda[6]^3+1/369600*lambda[7]^
3*lambda[5]+13/2956800*lambda[7]*lambda[6]*lambda[5]-1/84480*lambda[5]^2-47/
1971200*lambda[7]^2*lambda[4]-41/985600*lambda[6]*lambda[4]-1/78848*lambda[7]*
lambda[3])*v[7]^12*v[6]^3*v[5]*v[4]^2*v[3]+(-1/16*lambda[7]*lambda[3]+1/24*
lambda[2])*v[7]^4*v[6]*v[5]^2*v[4]^3*v[2]+(-1/4*lambda[5]^2-1/2*lambda[6]*
lambda[4]+3/4*lambda[7]*lambda[3]+lambda[2])*v[7]^3*v[5]^3*v[3]^2*v[2]+(1/80*
lambda[6]^3-1/120*lambda[7]*lambda[6]*lambda[5]-1/40*lambda[5]^2-7/30*lambda[7
]^2*lambda[4]-1/20*lambda[6]*lambda[4]-2/15*lambda[7]*lambda[3]+1/10*lambda[2]
)*v[7]^3*v[5]^6*v[4]*v[3]+(-23/2690688000*lambda[7]^4*lambda[6]+173/5381376000
*lambda[7]^2*lambda[6]^2+211/17220403200*lambda[6]^3-23/1345344000*lambda[7]^3
*lambda[5]-19/3075072000*lambda[7]*lambda[6]*lambda[5]-3/143503360*lambda[5]^2
-1/11038720*lambda[7]^2*lambda[4]-1/57401344*lambda[6]*lambda[4]-17/551936000*
lambda[7]*lambda[3]+1/25088000*lambda[2])*v[7]^16*v[6]^2*v[5]*v[4]*v[2]+(3/4*
lambda[6]*lambda[4]-lambda[2])*v[7]^2*v[6]^2*v[5]^2*v[4]*v[3]*v[1]+(-3/800*
lambda[7]*lambda[6]*lambda[5]-7/2400*lambda[5]^2-3/800*lambda[7]^2*lambda[4]-3
/400*lambda[6]*lambda[4]-1/32*lambda[7]*lambda[3]-3/100*lambda[2])*v[7]^5*v[6]
^5*v[5]*v[3]*v[1]+(-1/123200*lambda[7]^4*lambda[6]-1/46200*lambda[7]^2*lambda[
6]^2-1/26880*lambda[6]^3-1/49280*lambda[7]^3*lambda[5]+29/739200*lambda[7]*
lambda[6]*lambda[5]+1/147840*lambda[7]^2*lambda[4]-47/369600*lambda[7]*lambda[
3])*v[7]^11*v[6]*v[5]^3*v[3]^2+(-1/268800*lambda[7]^2*lambda[6]^2-1/537600*
lambda[6]^3+1/100800*lambda[7]^3*lambda[5]-1/57600*lambda[7]*lambda[6]*lambda[
5]-1/23040*lambda[5]^2+11/100800*lambda[7]^2*lambda[4]-1/80640*lambda[6]*
lambda[4]-1/44800*lambda[7]*lambda[3])*v[7]^6*v[6]^9*v[4]*v[2]+(1/26880*lambda
[7]^2*lambda[6]^2+1/5376*lambda[6]^3+1/4032*lambda[7]^3*lambda[5]+41/40320*
lambda[7]*lambda[6]*lambda[5]-1/1344*lambda[5]^2-1/840*lambda[7]^2*lambda[4]-3
/2240*lambda[6]*lambda[4]+1/1680*lambda[7]*lambda[3]+1/560*lambda[2])*v[7]^9*v
[6]^3*v[5]^3*v[4]*v[3]+(-3/2240*lambda[7]*lambda[6]*lambda[5]+1/2240*lambda[5]
^2-3/2240*lambda[7]^2*lambda[4]-3/1120*lambda[6]*lambda[4]+3/1120*lambda[7]*
lambda[3]+3/2240*lambda[2])*v[7]^9*v[6]^2*v[5]*v[4]*v[3]*v[2]+(-1/80*lambda[7]
^2*lambda[6]^2-1/160*lambda[6]^3-1/40*lambda[7]*lambda[6]*lambda[5]-1/80*
lambda[5]^2+1/80*lambda[7]^2*lambda[4]+1/40*lambda[6]*lambda[4]+1/80*lambda[7]
*lambda[3]+1/20*lambda[2])*v[7]^6*v[6]^2*v[5]^3*v[3]*v[2]+(1/25344000*lambda[7
]^6+59/59136000*lambda[7]^4*lambda[6]+131/21504000*lambda[7]^2*lambda[6]^2+389
/177408000*lambda[6]^3+37/23654400*lambda[7]^3*lambda[5]+73/11827200*lambda[7]
*lambda[6]*lambda[5]-1/44352000*lambda[5]^2+557/177408000*lambda[7]^2*lambda[4
]+53/22176000*lambda[6]*lambda[4]+79/29568000*lambda[7]*lambda[3]-1/1232000*
lambda[2])*v[7]^12*v[6]^6*v[5]^2*v[3]+(-100687/15017913630720000*lambda[7]^6-\
111329/1251492802560000*lambda[7]^4*lambda[6]-2123027/10011942420480000*lambda
[7]^2*lambda[6]^2+5191/938619601920000*lambda[6]^3-14719/1112438046720000*
lambda[7]^3*lambda[5]+571/11124380467200*lambda[7]*lambda[6]*lambda[5]+4259/
208582133760000*lambda[5]^2-30941/834328535040000*lambda[7]^2*lambda[4]-149/
2607276672000*lambda[6]*lambda[4]-421/2837852160000*lambda[7]*lambda[3]-11/
197520960000*lambda[2])*v[7]^19*v[6]^6*v[5]^2+(61/132464640000*lambda[7]^6+59/
7244160000*lambda[7]^4*lambda[6]+8231/463626240000*lambda[7]^2*lambda[6]^2+751
/251130880000*lambda[6]^3+2311/723256934400*lambda[7]^3*lambda[5]+41423/
4520355840000*lambda[7]*lambda[6]*lambda[5]+31/20180160000*lambda[5]^2-38947/
4520355840000*lambda[7]^2*lambda[4]-3013/565044480000*lambda[6]*lambda[4]-2601
/251130880000*lambda[7]*lambda[3]-1/219520000*lambda[2])*v[7]^15*v[6]^8*v[5]^2
+(3/788480000*lambda[7]^6+409/4139520000*lambda[7]^4*lambda[6]-459/788480000*
lambda[7]^2*lambda[6]^2-31/1034880000*lambda[6]^3+281/16558080000*lambda[7]^3*
lambda[5]-403/1379840000*lambda[7]*lambda[6]*lambda[5]-97/3104640000*lambda[5]
^2+227/12418560000*lambda[7]^2*lambda[4]-1/97020000*lambda[6]*lambda[4]+463/
2069760000*lambda[7]*lambda[3])*v[7]^11*v[6]^10*v[5]^2+(-311/
102903995690496000000*lambda[7]^6+2333/85372203832115200000*lambda[7]^4*lambda
[6]-62651/768349834489036800000*lambda[7]^2*lambda[6]^2+303703/
3688079205547376640000*lambda[6]^3-503/7317617471324160000*lambda[7]^3*lambda[
5]+3301/13659552613138432000*lambda[7]*lambda[6]*lambda[5]-41/
109276420905107456*lambda[5]^2-439/36588087356620800000*lambda[7]^2*lambda[4]+
6073/512233222992691200000*lambda[6]*lambda[4]+1/10660864614400000*lambda[7]*
lambda[3]+64223/38805547196416000000*lambda[2])*v[7]^27*v[4]*v[3]+(-23/53760*
lambda[7]^2*lambda[6]^2-13/53760*lambda[6]^3-3/35840*lambda[7]^3*lambda[5]-13/
26880*lambda[7]*lambda[6]*lambda[5]+3/8960*lambda[5]^2+1/53760*lambda[7]^2*
lambda[4]+3/4480*lambda[6]*lambda[4]-1/2688*lambda[7]*lambda[3]-3/2240*lambda[
2])*v[7]^9*v[5]^4*v[3]^2+(1/1920*lambda[5]^2-1/320*lambda[7]*lambda[3])*v[7]^3
*v[6]^8*v[2]^2+(13/96*lambda[5]^2-1/16*lambda[6]*lambda[4]+1/16*lambda[7]*
lambda[3]+1/8*lambda[2])*v[7]^3*v[6]^4*v[3]^4+(59963/4852735796772864000000*
lambda[7]^6-2589641/43027590731386060800000*lambda[7]^4*lambda[6]+166433/
5215465543198310400000*lambda[7]^2*lambda[6]^2+8015849/
129082772194158182400000*lambda[6]^3+424943/7171265121897676800000*lambda[7]^3
*lambda[5]-151663/2868506048759070720000*lambda[7]*lambda[6]*lambda[5]+199/
9561686829196902400*lambda[5]^2-7907/251623337610444800000*lambda[7]^2*lambda[
4]-36209/224102035059302400000*lambda[6]*lambda[4]+30103/217311064299929600000
*lambda[7]*lambda[3]-2477/10447647322112000000*lambda[2])*v[7]^28*v[6]^2*v[3]+
(-103487/106386900160020480000*lambda[7]^6+111311/20264171459051520000*lambda[
7]^4*lambda[6]+3796759/567396800853442560000*lambda[7]^2*lambda[6]^2+4630187/
425547600640081920000*lambda[6]^3+97973/2149230306263040000*lambda[7]^3*lambda
[5]+563243/23641533368893440000*lambda[7]*lambda[6]*lambda[5]-421/
21014696327905280*lambda[5]^2-16409/9456613347557376000*lambda[7]^2*lambda[4]-\
33977/909289744957440000*lambda[6]*lambda[4]+1187/51172150149120000*lambda[7]*
lambda[3]+433/7164101020876800*lambda[2])*v[7]^24*v[6]^4*v[3]+(23/
4940103168000*lambda[7]^6+23/3293402112000*lambda[7]^4*lambda[6]-167/
1881944064000*lambda[7]^2*lambda[6]^2-18527/316166602752000*lambda[6]^3+43/
548900352000*lambda[7]^3*lambda[5]+11/159680102400*lambda[7]*lambda[6]*lambda[
5]+1/46839496704*lambda[5]^2+151/878240563200*lambda[7]^2*lambda[4]+83/
351296225280*lambda[6]*lambda[4]-1/1330667520*lambda[7]*lambda[3]-1/1462272000
*lambda[2])*v[7]^18*v[6]^4*v[1]+(-23/23465490048000*lambda[7]^6+23/
1955457504000*lambda[7]^4*lambda[6]-23/488864376000*lambda[7]^2*lambda[6]^2+23
/366648282000*lambda[6]^3+131/29797447680000*lambda[7]^3*lambda[5]-839/
47675916288000*lambda[7]*lambda[6]*lambda[5]+31/2224876093440*lambda[5]^2-\
225647/3337314140160000*lambda[7]^2*lambda[4]+56653/166865707008000*lambda[6]*
lambda[4]+409/18540634112000*lambda[7]*lambda[3]-5191/69527377920000*lambda[2]
)*v[7]^20*v[4]*v[3]^2+(1/20*lambda[6]*lambda[4]+3/40*lambda[7]*lambda[3])*v[6]
*v[5]^3*v[4]^5+(67/43051008000*lambda[7]^2*lambda[4]-19/2690688000*lambda[6]*
lambda[4]-3/14350336000*lambda[7]*lambda[3]+61/21525504000*lambda[2])*v[7]^17*
v[4]^3*v[3]+(-1/268800*lambda[7]*lambda[6]*lambda[5]+1/44800*lambda[7]^2*
lambda[4]+1/44800*lambda[7]*lambda[3])*v[7]^3*v[6]^13*v[2]+(19997/
75089568153600000*lambda[7]^6+45247/25029856051200000*lambda[7]^4*lambda[6]+
113/2600504524800000*lambda[7]^2*lambda[6]^2-73103/30035827261440000*lambda[6]
^3-993/46351585280000*lambda[7]^3*lambda[5]-14779/1112438046720000*lambda[7]*
lambda[6]*lambda[5]+29/83432853504000*lambda[5]^2+1279/5562190233600000*lambda
[7]^2*lambda[4]+27/4729753600000*lambda[6]*lambda[4]+1021/71310131200000*
lambda[7]*lambda[3]+1739/173818444800000*lambda[2])*v[7]^20*v[6]^6*v[3]+(23/
861020160000*lambda[7]^6+9433/36162846720000*lambda[7]^4*lambda[6]+437/
3179151360000*lambda[7]^2*lambda[6]^2+149/5563514880000*lambda[6]^3+1003/
645765120000*lambda[7]^3*lambda[5]-4783/18081423360000*lambda[7]*lambda[6]*
lambda[5]-137/344408064000*lambda[5]^2+2433/1607237632000*lambda[7]^2*lambda[4
]-1307/6027141120000*lambda[6]*lambda[4]+299/231813120000*lambda[7]*lambda[3]+
207/143503360000*lambda[2])*v[7]^16*v[6]^8*v[3]-3/40*lambda[2]*v[7]^5*v[3]^2*v
[2]^2-1/48*lambda[2]*v[7]^4*v[4]^3*v[2]^2+(19/125565440000*lambda[7]^4*lambda[
6]-141/251130880000*lambda[7]^2*lambda[6]^2-17/25113088000*lambda[6]^3+3001/
1130088960000*lambda[7]^3*lambda[5]+1511/452035584000*lambda[7]*lambda[6]*
lambda[5]+23/11300889600*lambda[5]^2+1849/226017792000*lambda[7]^2*lambda[4]+
17/4346496000*lambda[6]*lambda[4]-67/11415040000*lambda[7]*lambda[3]-1/
101920000*lambda[2])*v[7]^15*v[6]^7*v[2]+(1/413952000*lambda[7]^4*lambda[6]+1/
275968000*lambda[7]^2*lambda[6]^2-1/413952000*lambda[6]^3+13/413952000*lambda[
7]^3*lambda[5]+53/331161600*lambda[7]*lambda[6]*lambda[5]+1/15523200*lambda[5]
^2-1517/2483712000*lambda[7]^2*lambda[4]-1/62092800*lambda[6]*lambda[4]-1/
1536000*lambda[7]*lambda[3])*v[7]^11*v[6]^9*v[2]+(-1/103488000*lambda[7]^4*
lambda[6]-1/9856000*lambda[7]^2*lambda[6]^2-1/20697600*lambda[6]^3-17/62092800
*lambda[7]^3*lambda[5]-229/620928000*lambda[7]*lambda[6]*lambda[5]+43/77616000
*lambda[5]^2-157/28224000*lambda[7]^2*lambda[4]-109/77616000*lambda[6]*lambda[
4]-3/985600*lambda[7]*lambda[3]+1/308000*lambda[2])*v[7]^7*v[6]^11*v[2]+(-3/40
*lambda[7]^2*lambda[6]^2-1/40*lambda[6]^3-1/80*lambda[7]^3*lambda[5]-1/20*
lambda[7]*lambda[6]*lambda[5]+1/20*lambda[5]^2+1/40*lambda[7]^2*lambda[4]+1/10
*lambda[6]*lambda[4]-1/10*lambda[7]*lambda[3]-1/5*lambda[2])*v[7]*v[5]^6*v[3]^
2+(-3/8960*lambda[7]*lambda[3]-1/1120*lambda[2])*v[7]^9*v[4]^2*v[2]^2+(1/17920
*lambda[6]^3-1/13440*lambda[7]*lambda[6]*lambda[5]+1/13440*lambda[5]^2-1/2240*
lambda[7]^2*lambda[4]-1/1920*lambda[6]*lambda[4]-3/2240*lambda[7]*lambda[3]-1/
1120*lambda[2])*v[7]^4*v[6]^9*v[5]*v[1]+(-1/240*lambda[7]*lambda[6]*lambda[5]-\
1/80*lambda[5]^2+3/80*lambda[7]^2*lambda[4]-11/240*lambda[6]*lambda[4]-1/80*
lambda[7]*lambda[3]+1/10*lambda[2])*v[7]*v[6]^6*v[4]*v[3]^3+(9/4480*lambda[6]^
3+3/1120*lambda[7]*lambda[6]*lambda[5]-9/2240*lambda[5]^2-9/2240*lambda[7]^2*
lambda[4]-3/160*lambda[6]*lambda[4]-53/2240*lambda[7]*lambda[3]-11/560*lambda[
2])*v[7]^2*v[6]^8*v[5]*v[3]*v[2]+(-7/160*lambda[7]*lambda[6]*lambda[5]-1/60*
lambda[5]^2+1/80*lambda[7]^2*lambda[4]+1/80*lambda[7]*lambda[3])*v[7]^3*v[6]^5
*v[5]^4*v[2]+(1/120*lambda[7]^2*lambda[4]+1/240*lambda[6]*lambda[4]+1/20*
lambda[2])*v[7]^6*v[5]^2*v[4]*v[3]*v[1]+(lambda[6]*lambda[4]+1/4*lambda[7]*
lambda[3])*v[7]^3*v[6]*v[5]^3*v[4]^3*v[3]+(-9/320*lambda[6]^3-3/80*lambda[7]*
lambda[6]*lambda[5]+9/160*lambda[5]^2+1/32*lambda[7]^2*lambda[4]+3/16*lambda[6
]*lambda[4]-1/32*lambda[7]*lambda[3]-3/40*lambda[2])*v[7]^2*v[6]^6*v[5]^2*v[4]
^2*v[3]+(1/492800*lambda[7]^4*lambda[6]+1/492800*lambda[7]^2*lambda[6]^2-79/
3942400*lambda[6]^3-1/211200*lambda[7]^3*lambda[5]-377/5913600*lambda[7]*
lambda[6]*lambda[5]-103/5913600*lambda[5]^2-1/42240*lambda[7]^2*lambda[4]-19/
591360*lambda[6]*lambda[4]+3/49280*lambda[7]*lambda[3]+9/492800*lambda[2])*v[7
]^11*v[6]^4*v[5]^2*v[4]*v[3]+1/8*lambda[2]*v[7]^4*v[6]*v[4]^2*v[2]*v[1]+(1/24*
lambda[7]*lambda[6]*lambda[5]+1/24*lambda[5]^2+1/24*lambda[7]^2*lambda[4]+1/12
*lambda[6]*lambda[4]+1/8*lambda[7]*lambda[3]+1/3*lambda[2])*v[7]*v[6]^3*v[5]^3
*v[4]^4+(-lambda[6]*lambda[4]-3/2*lambda[7]*lambda[3]-3*lambda[2])*v[5]^3*v[4]
^2*v[3]*v[2]+(9/320*lambda[6]^3+3/80*lambda[7]*lambda[6]*lambda[5]-1/80*lambda
[5]^2-9/160*lambda[7]^2*lambda[4]-1/80*lambda[6]*lambda[4]-1/32*lambda[7]*
lambda[3])*v[7]^4*v[6]^5*v[5]^2*v[3]*v[2]+(9/8960*lambda[7]*lambda[6]*lambda[5
]-3/8960*lambda[5]^2-31/26880*lambda[7]^2*lambda[4]+29/13440*lambda[6]*lambda[
4]+3/8960*lambda[7]*lambda[3]+1/560*lambda[2])*v[7]^9*v[6]*v[5]*v[4]^2*v[3]^2+
(23/823350528000*lambda[7]^6+23/548900352000*lambda[7]^4*lambda[6]-167/
313657344000*lambda[7]^2*lambda[6]^2-18527/52694433792000*lambda[6]^3+43/
91483392000*lambda[7]^3*lambda[5]+11/26613350400*lambda[7]*lambda[6]*lambda[5]
+1/7806582784*lambda[5]^2-163/53226700800*lambda[7]^2*lambda[4]-3943/
1463734272000*lambda[6]*lambda[4]-4349/975822848000*lambda[7]*lambda[3]-83/
243955712000*lambda[2])*v[7]^18*v[6]^2*v[4]^2*v[3]+(1/8960*lambda[7]^2*lambda[
6]^2+13/71680*lambda[6]^3+1/2560*lambda[7]*lambda[6]*lambda[5]+1/4480*lambda[5
]^2-23/107520*lambda[7]^2*lambda[4]+13/53760*lambda[6]*lambda[4]-17/17920*
lambda[7]*lambda[3]-1/26880*lambda[2])*v[7]^8*v[6]^4*v[5]^2*v[4]^3-1/960*
lambda[2]*v[7]^4*v[4]^7+(137239/171495683057953013760000000*lambda[7]^6+383/
3266584439199105024000000*lambda[7]^4*lambda[6]-2502977/
134789589491163070464000000*lambda[7]^2*lambda[6]^2+8309437/
384150330049814750822400000*lambda[6]^3+140207/10670842501383743078400000*
lambda[7]^3*lambda[5]-2183/266771062534593576960000*lambda[7]*lambda[6]*lambda
[5]+1553/56911160007379963084800*lambda[5]^2-10713839/
1067084250138374307840000000*lambda[7]^2*lambda[4]-13099321/
266771062534593576960000000*lambda[6]*lambda[4]+2143/51820330717675520000000*
lambda[7]*lambda[3]-36427/310921984306053120000000*lambda[2])*v[7]^32*v[3]+(31
/132983625200025600*lambda[7]^6-13649/8865575013335040000*lambda[7]^4*lambda[6
]+108971/35462300053340160000*lambda[7]^2*lambda[6]^2-2195653/
851095201280163840000*lambda[6]^3-3799/2955191671111680000*lambda[7]^3*lambda[
5]+6109/675472381968384000*lambda[7]*lambda[6]*lambda[5]-1/45950502174720*
lambda[5]^2-26731/2781356866928640000*lambda[7]^2*lambda[4]+130253/
4728306673778688000*lambda[6]*lambda[4]+37/21709397032960000*lambda[7]*lambda[
3]+587/10854698516480000*lambda[2])*v[7]^24*v[4]^3+(-3/40*lambda[7]*lambda[3]-\
11/120*lambda[2])*v[7]^5*v[6]*v[4]^3*v[3]*v[2]+(1/1971200*lambda[6]^3-1/
1478400*lambda[7]*lambda[6]*lambda[5]-1/246400*lambda[5]^2+1/140800*lambda[7]^
2*lambda[4]-23/1478400*lambda[6]*lambda[4]+1/70400*lambda[7]*lambda[3]+3/35200
*lambda[2])*v[6]^12*v[4]^3+(3/80*lambda[7]*lambda[6]*lambda[5]+7/240*lambda[5]
^2+3/80*lambda[7]^2*lambda[4]+3/40*lambda[6]*lambda[4]-1/80*lambda[7]*lambda[3
]-1/80*lambda[2])*v[7]^5*v[6]^4*v[5]*v[4]*v[3]*v[2]+1/2*lambda[2]*v[7]*v[5]^2*
v[4]^2*v[3]*v[1]+(-79/50176000*lambda[7]^4*lambda[6]-239/100352000*lambda[7]^2
*lambda[6]^2-59/25088000*lambda[6]^3+11/12902400*lambda[7]^3*lambda[5]-59/
56448000*lambda[7]*lambda[6]*lambda[5]+143/112896000*lambda[5]^2+751/225792000
*lambda[7]^2*lambda[4]-223/56448000*lambda[6]*lambda[4]-33/6272000*lambda[7]*
lambda[3]-13/3136000*lambda[2])*v[7]^10*v[6]^8*v[5]^2*v[4]+(3/1600*lambda[7]^2
*lambda[6]^2+3/3200*lambda[6]^3+1/1200*lambda[7]^3*lambda[5]+19/2400*lambda[7]
*lambda[6]*lambda[5]+17/4800*lambda[5]^2+1/150*lambda[7]^2*lambda[4]-1/2400*
lambda[6]*lambda[4]+9/800*lambda[7]*lambda[3])*v[7]^6*v[6]^5*v[5]^2*v[4]*v[2]+
(-1/29568000*lambda[7]^6-109/88704000*lambda[7]^4*lambda[6]-4549/354816000*
lambda[7]^2*lambda[6]^2-173/44352000*lambda[6]^3-29/35481600*lambda[7]^3*
lambda[5]+23/22176000*lambda[7]*lambda[6]*lambda[5]+1/739200*lambda[5]^2+29/
11827200*lambda[7]^2*lambda[4]+1/3696000*lambda[6]*lambda[4]-1/896000*lambda[7
]*lambda[3]-1/168000*lambda[2])*v[7]^12*v[6]^5*v[5]^3*v[4]+(-23/16144128000*
lambda[7]^6-1049/32288256000*lambda[7]^4*lambda[6]-13207/258306048000*lambda[7
]^2*lambda[6]^2+1/177408000*lambda[6]^3-607/129153024000*lambda[7]^3*lambda[5]
-67/6457651200*lambda[7]*lambda[6]*lambda[5]-17/2152550400*lambda[5]^2+751/
43051008000*lambda[7]^2*lambda[4]+3/1793792000*lambda[6]*lambda[4]+2011/
21525504000*lambda[7]*lambda[3]+1/18816000*lambda[2])*v[7]^16*v[6]^3*v[5]^3*v[
4]+(-1/6*lambda[7]*lambda[6]*lambda[5]-1/6*lambda[5]^2-1/6*lambda[7]^2*lambda[
4]-1/3*lambda[6]*lambda[4]-1/2*lambda[7]*lambda[3]+2/3*lambda[2])*v[7]*v[6]^3*
v[5]^3*v[2]^2+(1/369600*lambda[7]^3*lambda[5]-1/369600*lambda[7]*lambda[6]*
lambda[5]-3/70400*lambda[5]^2-1/52800*lambda[7]^2*lambda[4]-67/739200*lambda[6
]*lambda[4]+39/492800*lambda[7]*lambda[3]+9/123200*lambda[2])*v[7]^11*v[5]*v[3
]^2*v[2]+1/4*lambda[2]*v[6]*v[5]*v[4]^4*v[1]+(1/2402400*lambda[7]^3*lambda[5]-\
7/5491200*lambda[7]*lambda[6]*lambda[5]+3/2562560*lambda[5]^2+47/38438400*
lambda[7]^2*lambda[4]-7/2745600*lambda[6]*lambda[4]+1/232960*lambda[7]*lambda[
3]+1/291200*lambda[2])*v[7]^13*v[6]*v[5]*v[2]^2+(1/480*lambda[7]^2*lambda[4]+1
/960*lambda[6]*lambda[4]+9/640*lambda[7]*lambda[3])*v[7]^6*v[6]^4*v[4]*v[2]^2+
(9/80*lambda[7]*lambda[3]+3/40*lambda[2])*v[7]^3*v[6]^6*v[5]*v[4]^2*v[2]-1/120
*lambda[2]*v[7]^3*v[6]*v[5]*v[4]^6+(-3/320*lambda[6]^3-1/80*lambda[7]*lambda[6
]*lambda[5]+1/240*lambda[5]^2-1/120*lambda[7]^2*lambda[4]-11/240*lambda[6]*
lambda[4]-1/24*lambda[7]*lambda[3]-1/30*lambda[2])*v[7]^4*v[6]^5*v[5]^3*v[1]+(
-1/24460800*lambda[7]^2*lambda[4]+1/9784320*lambda[6]*lambda[4]+1/4076800*
lambda[2])*v[7]^14*v[4]*v[3]*v[1]+(1/78400*lambda[7]^4*lambda[6]+3/22400*
lambda[7]^2*lambda[6]^2+1/15680*lambda[6]^3+31/705600*lambda[7]^3*lambda[5]+
463/1411200*lambda[7]*lambda[6]*lambda[5]-1/17640*lambda[5]^2+71/100800*lambda
[7]^2*lambda[4]+59/35280*lambda[6]*lambda[4]+79/78400*lambda[7]*lambda[3]+3/
4900*lambda[2])*v[7]^7*v[6]^7*v[5]^2*v[2]+(-19/672672000*lambda[7]^3*lambda[5]
+17/134534400*lambda[7]*lambda[6]*lambda[5]-1/3587584*lambda[5]^2-29/672672000
*lambda[7]^2*lambda[4]+17/67267200*lambda[6]*lambda[4]-89/896896000*lambda[7]*
lambda[3]+129/448448000*lambda[2])*v[7]^15*v[6]*v[4]*v[3]*v[2]+(-46243/
3754478407680000*lambda[7]^6+1129/65868042240000*lambda[7]^4*lambda[6]+451981/
1430277488640000*lambda[7]^2*lambda[6]^2+205087/1501791363072000*lambda[6]^3+
1763/6755696640000*lambda[7]^3*lambda[5]+347747/834328535040000*lambda[7]*
lambda[6]*lambda[5]-107/2483120640000*lambda[5]^2-22213/834328535040000*lambda
[7]^2*lambda[4]-5483/52145533440000*lambda[6]*lambda[4]-739/46351585280000*
lambda[7]*lambda[3]+1739/8690922240000*lambda[2])*v[7]^20*v[6]^2*v[5]^2*v[3]+(
1/120*lambda[7]^2*lambda[4]+1/240*lambda[6]*lambda[4]+3/40*lambda[7]*lambda[3]
+1/10*lambda[2])*v[7]^6*v[6]*v[5]*v[3]^2*v[1]+(1/19219200*lambda[7]^4*lambda[6
]-5/21525504*lambda[7]^2*lambda[6]^2+401/1076275200*lambda[6]^3-17/134534400*
lambda[7]^3*lambda[5]+163/269068800*lambda[7]*lambda[6]*lambda[5]+159/
179379200*lambda[5]^2-11/6115200*lambda[7]^2*lambda[4]-109/53813760*lambda[6]*
lambda[4]+11/8153600*lambda[7]*lambda[3]+1/1019200*lambda[2])*v[7]^14*v[6]*v[5
]^2*v[4]*v[2]+(3/1120*lambda[7]*lambda[3]+1/420*lambda[2])*v[7]^7*v[6]*v[4]^4*
v[2]+(-3/896*lambda[7]^2*lambda[6]^2-1/112*lambda[6]^3+1/3360*lambda[7]^3*
lambda[5]-43/2240*lambda[7]*lambda[6]*lambda[5]-1/420*lambda[5]^2-3/2240*
lambda[7]^2*lambda[4]+3/1120*lambda[7]*lambda[3]+1/105*lambda[2])*v[7]^2*v[6]^
9*v[5]^3*v[3]+(1/1103872000*lambda[7]^2*lambda[6]^2+1/473088000*lambda[7]^3*
lambda[5]-3/275968000*lambda[7]*lambda[6]*lambda[5]-1/103488000*lambda[5]^2+1/
118272000*lambda[7]^2*lambda[4]+1/19712000*lambda[7]*lambda[3])*v[7]^3*v[6]^18
+(2637137/333995662958510936955027456000000*lambda[7]^6-2637137/
48707700848116178305941504000000*lambda[7]^4*lambda[6]+188025911/
1948308033924647132237660160000000*lambda[7]^2*lambda[6]^2-18562051/
730615512721742674589122560000000*lambda[6]^3+3753397/
59039637391655973704171520000000*lambda[7]^3*lambda[5]-497207/
2951981869582798685208576000000*lambda[7]*lambda[6]*lambda[5]+677/
9839939565275995617361920000*lambda[5]^2-5118137/
73799546739569967130214400000000*lambda[7]^2*lambda[4]+192557/
1844988668489249178255360000000*lambda[6]*lambda[4]+1/
10552503709781196800000000*lambda[7]*lambda[3]-1/3957188891167948800000000*
lambda[2])*v[7]^39+(1/10752*lambda[7]^4*lambda[6]+23/30720*lambda[7]^2*lambda[
6]^2-43/53760*lambda[6]^3-47/53760*lambda[7]^3*lambda[5]-101/26880*lambda[7]*
lambda[6]*lambda[5]-3/8960*lambda[5]^2-23/53760*lambda[7]^2*lambda[4]-1/13440*
lambda[6]*lambda[4]+1/1120*lambda[7]*lambda[3]+1/6720*lambda[2])*v[7]^8*v[6]^4
*v[5]^4*v[3]+(811/1314067442688000*lambda[7]^6-691/199101127680000*lambda[7]^4
*lambda[6]+66581/35041798471680000*lambda[7]^2*lambda[6]^2+16039/
1911370825728000*lambda[6]^3-41/1996001280000*lambda[7]^3*lambda[5]+347951/
5840299745280000*lambda[7]*lambda[6]*lambda[5]+419/9733832908800*lambda[5]^2+
2333/22813670880000*lambda[7]^2*lambda[4]+282767/2920149872640000*lambda[6]*
lambda[4]-3537/162230548480000*lambda[7]*lambda[3]-21943/243345822720000*
lambda[2])*v[7]^21*v[6]*v[5]*v[4]*v[3]-1/2*lambda[2]*v[7]*v[6]^2*v[3]^2*v[2]^2
+(-1/1153152000*lambda[7]^6-1/38438400*lambda[7]^4*lambda[6]+51/1025024000*
lambda[7]^2*lambda[6]^2+313/4612608000*lambda[6]^3+1/11827200*lambda[7]^3*
lambda[5]+73/139776000*lambda[7]*lambda[6]*lambda[5]+281/2306304000*lambda[5]^
2+103/288288000*lambda[7]^2*lambda[4]+37/104832000*lambda[6]*lambda[4]-199/
768768000*lambda[7]*lambda[3]-3/5824000*lambda[2])*v[7]^13*v[6]^6*v[5]*v[2]+(-\
3*lambda[7]*lambda[3]-lambda[2])*v[7]*v[6]*v[5]*v[4]*v[3]*v[2]^2+(-23/
1235025792000*lambda[7]^6+23/411675264000*lambda[7]^4*lambda[6]-101/
1646701056000*lambda[7]^2*lambda[6]^2+21877/39520825344000*lambda[6]^3-37/
156828672000*lambda[7]^3*lambda[5]-311/4391202816000*lambda[7]*lambda[6]*
lambda[5]-59/292746854400*lambda[5]^2-277/8782405632000*lambda[7]^2*lambda[4]+
5359/2195601408000*lambda[6]*lambda[4]-383/243955712000*lambda[7]*lambda[3]+
491/365933568000*lambda[2])*v[7]^18*v[3]^3-3/4*lambda[7]*lambda[3]*v[7]*v[5]^2
*v[4]^2*v[2]^2+(1/80*lambda[6]*lambda[4]+3/160*lambda[7]*lambda[3]+1/20*lambda
[2])*v[7]^2*v[6]^6*v[4]*v[2]^2+(-1/80*lambda[6]*lambda[4]-1/20*lambda[2])*v[7]
^2*v[6]^6*v[4]*v[3]*v[1]+(-1/5913600*lambda[7]^6-1/709632*lambda[7]^4*lambda[6
]+1691/70963200*lambda[7]^2*lambda[6]^2-73/17740800*lambda[6]^3+53/5913600*
lambda[7]^3*lambda[5]-61/5913600*lambda[7]*lambda[6]*lambda[5]-3/492800*lambda
[5]^2+41/5913600*lambda[7]^2*lambda[4]-1/73920*lambda[6]*lambda[4]+13/422400*
lambda[7]*lambda[3]+1/123200*lambda[2])*v[7]^12*v[6]^2*v[5]^4*v[3]+(-9/40*
lambda[6]^3-1/10*lambda[7]*lambda[6]*lambda[5]+1/5*lambda[5]^2+1/5*lambda[7]^2
*lambda[4]-11/10*lambda[6]*lambda[4]+9/10*lambda[7]*lambda[3]+1/5*lambda[2])*v
[6]^2*v[5]^5*v[4]*v[2]-1/22400*lambda[2]*v[7]^9*v[6]^6*v[4]*v[1]+(-1/60*lambda
[7]^2*lambda[4]-1/120*lambda[6]*lambda[4]-3/80*lambda[7]*lambda[3]-1/20*lambda
[2])*v[7]^6*v[6]*v[5]*v[3]*v[2]^2+(1/369600*lambda[7]^3*lambda[5]-1/369600*
lambda[7]*lambda[6]*lambda[5]-3/70400*lambda[5]^2+1/73920*lambda[7]^2*lambda[4
]-1/184800*lambda[6]*lambda[4]-1/22400*lambda[7]*lambda[3])*v[7]^11*v[5]^2*v[2
]^2+(167/76876800*lambda[7]^2*lambda[4]-17/2745600*lambda[6]*lambda[4]+1/
1601600*lambda[7]*lambda[3]-29/12812800*lambda[2])*v[7]^13*v[6]^2*v[4]^3*v[3]+
(1/80*lambda[7]*lambda[6]*lambda[5]-3/80*lambda[5]^2+3/80*lambda[7]^2*lambda[4
]+17/80*lambda[6]*lambda[4]+1/16*lambda[7]*lambda[3]+1/5*lambda[2])*v[7]^5*v[5
]^2*v[4]*v[3]^3+(-3/492800*lambda[6]^3+1/123200*lambda[7]*lambda[6]*lambda[5]-\
3/35200*lambda[5]^2+3/61600*lambda[7]^2*lambda[4]+23/123200*lambda[6]*lambda[4
]+111/123200*lambda[7]*lambda[3]+1/4400*lambda[2])*v[7]^2*v[6]^11*v[4]*v[2]+(-\
3/40*lambda[6]^3-7/60*lambda[7]*lambda[6]*lambda[5]-1/10*lambda[5]^2-1/60*
lambda[7]^2*lambda[4]-1/5*lambda[6]*lambda[4]+2/15*lambda[7]*lambda[3]+2/5*
lambda[2])*v[7]^3*v[6]*v[5]^5*v[3]^2+(3/160*lambda[6]^3+1/120*lambda[7]*lambda
[6]*lambda[5]-1/240*lambda[5]^2-1/240*lambda[7]^2*lambda[4]+11/120*lambda[6]*
lambda[4]+3/40*lambda[7]*lambda[3]+1/15*lambda[2])*v[7]^2*v[6]^5*v[5]^3*v[4]^3
+(-1/33600*lambda[7]^4*lambda[6]-11/33600*lambda[7]^2*lambda[6]^2-13/44800*
lambda[6]^3+13/100800*lambda[7]^3*lambda[5]-23/28800*lambda[7]*lambda[6]*
lambda[5]+199/201600*lambda[5]^2+11/6300*lambda[7]^2*lambda[4]+613/100800*
lambda[6]*lambda[4]+3/2800*lambda[7]*lambda[3]+13/5600*lambda[2])*v[7]^7*v[6]^
6*v[5]^2*v[4]*v[3]+(17/38400*lambda[7]^4*lambda[6]+157/38400*lambda[7]^2*
lambda[6]^2-3/3200*lambda[6]^3+1/1152*lambda[7]^3*lambda[5]+1/225*lambda[7]*
lambda[6]*lambda[5]+1/3600*lambda[5]^2+23/28800*lambda[7]^2*lambda[4]-1/3600*
lambda[6]*lambda[4]+1/1600*lambda[7]*lambda[3])*v[7]^6*v[6]^6*v[5]^4*v[4]+1/
5600*lambda[2]*v[7]^10*v[6]*v[5]*v[4]^2*v[1]+(31/1445474186956800*lambda[7]^6+
199/9636494579712000*lambda[7]^4*lambda[6]-9811/29650752552960000*lambda[7]^2*
lambda[6]^2-16039/42050158166016000*lambda[6]^3+239/3212164859904000*lambda[7]
^3*lambda[5]+3683/2569731887923200*lambda[7]*lambda[6]*lambda[5]+101/
68526183677952*lambda[5]^2-1/490781491200*lambda[7]^2*lambda[4]+79/
46722397962240*lambda[6]*lambda[4]+67/8427560960000*lambda[7]*lambda[3]+61/
11061173760000*lambda[2])*v[7]^22*v[6]*v[4]*v[2]+(1/33600*lambda[7]^2*lambda[4
]+1/26880*lambda[6]*lambda[4]+3/11200*lambda[2])*v[7]^10*v[6]^2*v[4]*v[3]*v[1]
+(-1/156800*lambda[7]^2*lambda[6]^2-13/1254400*lambda[6]^3-1/352800*lambda[7]^
3*lambda[5]-1/57600*lambda[7]*lambda[6]*lambda[5]-1/176400*lambda[5]^2+13/
1411200*lambda[7]^2*lambda[4]-59/2822400*lambda[6]*lambda[4]+1/6272*lambda[7]*
lambda[3]+1/7840*lambda[2])*v[7]^8*v[6]^7*v[5]*v[1]+(-49717/
2817102420365308172697600000*lambda[7]^6+5026601/41082743630327410851840000000
*lambda[7]^4*lambda[6]-558339/2921439547045504771686400000*lambda[7]^2*lambda[
6]^2-197503/6162411544549111627776000000*lambda[6]^3-13031/
95305770347287019520000000*lambda[7]^3*lambda[5]+115671/
331981766709716451328000000*lambda[7]*lambda[6]*lambda[5]+71/
1659908833548582256640000*lambda[5]^2+180673/1915279423325287219200000000*
lambda[7]^2*lambda[4]+1/9844158220216320000000*lambda[6]*lambda[4]-24331/
34295637056788889600000000*lambda[7]*lambda[3]-1/20610358808166400000000*
lambda[2])*v[7]^35*v[6]^2+(-1/48*lambda[5]^2-1/4*lambda[7]*lambda[3]-1/4*
lambda[2])*v[7]^3*v[6]^4*v[5]^2*v[3]*v[1]+(-1679/19760412672000*lambda[7]^6-\
361/479040307200*lambda[7]^4*lambda[6]-122951/105388867584000*lambda[7]^2*
lambda[6]^2-907/1437120921600*lambda[6]^3-2469/1951645696000*lambda[7]^3*
lambda[5]-431/182966784000*lambda[7]*lambda[6]*lambda[5]-643/1463734272000*
lambda[5]^2-317/798400512000*lambda[7]^2*lambda[4]-467/2195601408000*lambda[6]
*lambda[4]+1/36593356800*lambda[7]*lambda[3]+31/33266688000*lambda[2])*v[7]^18
*v[6]^4*v[5]^2*v[4]+2*lambda[2]*v[7]*v[6]*v[5]*v[4]*v[3]^2*v[1]+(1/4*lambda[7]
*lambda[6]*lambda[5]+3/4*lambda[5]^2+3/4*lambda[7]^2*lambda[4]+11/4*lambda[6]*
lambda[4]+3/4*lambda[7]*lambda[3]+2*lambda[2])*v[7]*v[6]^2*v[5]^2*v[4]*v[3]^3+
(-1/184800*lambda[7]^3*lambda[5]+1/184800*lambda[7]*lambda[6]*lambda[5]-1/
29568*lambda[5]^2-1/36960*lambda[7]^2*lambda[4]+1/92400*lambda[6]*lambda[4]+19
/492800*lambda[7]*lambda[3]-9/246400*lambda[2])*v[7]^11*v[6]^3*v[4]*v[3]*v[2]-\
1/40*lambda[2]*v[7]^5*v[6]^4*v[5]^2*v[4]*v[1]+(-17/1075200*lambda[7]^4*lambda[
6]+1/716800*lambda[7]^2*lambda[6]^2-11/537600*lambda[6]^3-1/22400*lambda[7]^3*
lambda[5]-59/268800*lambda[7]*lambda[6]*lambda[5]-1/89600*lambda[5]^2-37/
537600*lambda[7]^2*lambda[4]-1/134400*lambda[6]*lambda[4]-1/16800*lambda[7]*
lambda[3]+1/67200*lambda[2])*v[7]^10*v[6]^4*v[5]^4*v[4]+(1/32*lambda[6]*lambda
[4]+5/64*lambda[7]*lambda[3])*v[7]^4*v[6]^4*v[3]*v[2]^2+(-3/16*lambda[6]^3-1/
12*lambda[7]*lambda[6]*lambda[5]+1/24*lambda[5]^2+1/6*lambda[7]^2*lambda[4]+1/
12*lambda[6]*lambda[4]+3/4*lambda[7]*lambda[3]+1/3*lambda[2])*v[7]^2*v[6]^3*v[
5]^4*v[4]*v[2]+(-1/64*lambda[6]*lambda[4]+1/32*lambda[7]*lambda[3])*v[7]^4*v[6
]^4*v[3]^2*v[1]+(53/97338329088000*lambda[7]^6+197/81115274240000*lambda[7]^4*
lambda[6]-44433/2595688775680000*lambda[7]^2*lambda[6]^2-4189/778706632704000*
lambda[6]^3+25793/1946766581760000*lambda[7]^3*lambda[5]+75323/
3893533163520000*lambda[7]*lambda[6]*lambda[5]+9/1526875750400*lambda[5]^2+29/
499170918400*lambda[7]^2*lambda[4]+79/2595688775680*lambda[6]*lambda[4]+6507/
648922193920000*lambda[7]*lambda[3]-1/45660160000*lambda[2])*v[7]^21*v[6]^2*v[
5]*v[2]+(-1/2217600*lambda[7]^4*lambda[6]-1/2217600*lambda[7]^2*lambda[6]^2+79
/17740800*lambda[6]^3-1/1478400*lambda[7]*lambda[6]*lambda[5]-1/492800*lambda[
5]^2+1/147840*lambda[7]^2*lambda[4]-1/59136*lambda[6]*lambda[4]+1/147840*
lambda[7]*lambda[3])*v[7]^12*v[6]*v[5]^3*v[1]+(-3/22400*lambda[7]*lambda[3]-1/
11200*lambda[2])*v[7]^9*v[6]^5*v[4]^2*v[2]+(1/22400*lambda[7]^2*lambda[6]^2+13
/179200*lambda[6]^3+1/50400*lambda[7]^3*lambda[5]+7/57600*lambda[7]*lambda[6]*
lambda[5]+1/25200*lambda[5]^2-13/201600*lambda[7]^2*lambda[4]+59/403200*lambda
[6]*lambda[4]+19/44800*lambda[7]*lambda[3]+3/22400*lambda[2])*v[7]^8*v[6]^6*v[
5]*v[4]*v[2]+(8124553/5532118808321064960000000*lambda[7]^6+1803511/
92201980138684416000000*lambda[7]^4*lambda[6]-3919753/368807920554737664000000
*lambda[7]^2*lambda[6]^2-10883/5319345008001024000000*lambda[6]^3-220459/
13659552613138432000000*lambda[7]^3*lambda[5]+22723/788051112296448000000*
lambda[7]*lambda[6]*lambda[5]+4031/768349834489036800000*lambda[5]^2-3721/
10244664459853824000000*lambda[7]^2*lambda[4]+563/84248885360640000000*lambda[
6]*lambda[4]-4749/70555540357120000000*lambda[7]*lambda[3]-1/
254406996480000000*lambda[2])*v[7]^27*v[6]^6+(-36668497/
17021904025603276800000*lambda[7]^6-34933/124118050186690560000*lambda[7]^4*
lambda[6]-12390167/19858888029870489600000*lambda[7]^2*lambda[6]^2+3751807/
7447083011201433600000*lambda[6]^3-22882927/6619629343290163200000*lambda[7]^3
*lambda[5]-50189/2781356866928640000*lambda[7]*lambda[6]*lambda[5]-262723/
137908944651878400000*lambda[5]^2+8841907/330981467164508160000*lambda[7]^2*
lambda[4]-409543/206863416977817600000*lambda[6]*lambda[4]+15397/
455897337692160000*lambda[7]*lambda[3]+163/40705119436800000*lambda[2])*v[7]^
23*v[6]^8-1/10*lambda[2]*v[7]*v[6]^6*v[5]^2*v[4]*v[1]+(-1/480*lambda[7]^2*
lambda[4]-1/960*lambda[6]*lambda[4]-1/80*lambda[2])*v[7]^6*v[6]^4*v[4]*v[3]*v[
1]+(1/1120*lambda[7]^3*lambda[5]+1/224*lambda[7]*lambda[6]*lambda[5]+3/2240*
lambda[5]^2-53/3360*lambda[7]^2*lambda[4]+31/1680*lambda[6]*lambda[4]-5/448*
lambda[7]*lambda[3]-3/280*lambda[2])*v[7]^7*v[5]^2*v[4]^2*v[3]^2+(-9/896000*
lambda[7]^2*lambda[6]^2-3/448000*lambda[6]^3-1/44800*lambda[7]^3*lambda[5]-39/
448000*lambda[7]*lambda[6]*lambda[5]-13/672000*lambda[5]^2-1/11200*lambda[7]^2
*lambda[4]-3/16000*lambda[6]*lambda[4]-1/44800*lambda[7]*lambda[3]-1/56000*
lambda[2])*v[7]^5*v[6]^10*v[5]*v[2]+(1/40*lambda[7]*lambda[6]*lambda[5]-1/40*
lambda[5]^2+1/40*lambda[7]^2*lambda[4]+1/20*lambda[6]*lambda[4]+3/40*lambda[7]
*lambda[3])*v[7]^5*v[6]*v[5]^3*v[3]*v[1]-1/24*lambda[2]*v[7]^4*v[4]^3*v[3]*v[1
]+(19/320*lambda[7]^2*lambda[6]^2+9/80*lambda[6]^3-3/160*lambda[7]^3*lambda[5]
+1/5*lambda[7]*lambda[6]*lambda[5]+1/40*lambda[5]^2-1/80*lambda[7]^2*lambda[4]
+1/20*lambda[6]*lambda[4]-1/10*lambda[2])*v[7]^2*v[6]^4*v[5]^6*v[4]+(-1/320*
lambda[7]*lambda[6]*lambda[5]-7/960*lambda[5]^2+9/320*lambda[7]^2*lambda[4]-17
/320*lambda[6]*lambda[4]-1/64*lambda[7]*lambda[3]-1/20*lambda[2])*v[7]^5*v[6]^
4*v[4]*v[3]^3+(3/22400*lambda[7]*lambda[6]*lambda[5]-9/11200*lambda[5]^2-1/
6400*lambda[7]^2*lambda[4]+3/1600*lambda[6]*lambda[4]-1/1600*lambda[7]*lambda[
3]+1/400*lambda[2])*v[6]^10*v[4]*v[3]^2+(-1/1478400*lambda[7]^3*lambda[5]+1/
1478400*lambda[7]*lambda[6]*lambda[5]-1/236544*lambda[5]^2-1/295680*lambda[7]^
2*lambda[4]+1/739200*lambda[6]*lambda[4]+1/89600*lambda[7]*lambda[3])*v[7]^11*
v[6]^4*v[2]^2+(23/9386196019200*lambda[7]^6+1063/125149280256000*lambda[7]^4*
lambda[6]-257/3575693721600*lambda[7]^2*lambda[6]^2-547/92417930035200*lambda[
6]^3-97/41716426752000*lambda[7]^3*lambda[5]-69367/333731414016000*lambda[7]*
lambda[6]*lambda[5]-83/889950437376*lambda[5]^2-1559/2383795814400*lambda[7]^2
*lambda[4]-3389/33373141401600*lambda[6]*lambda[4]-283/1158789632000*lambda[7]
*lambda[3]-193/5562190233600*lambda[2])*v[7]^19*v[6]^4*v[4]*v[3]+(1/1182720*
lambda[7]^3*lambda[5]-47/23654400*lambda[7]*lambda[6]*lambda[5]-13/2365440*
lambda[5]^2+547/47308800*lambda[7]^2*lambda[4]+107/11827200*lambda[6]*lambda[4
]-27/3942400*lambda[7]*lambda[3]-13/985600*lambda[2])*v[7]^12*v[6]^4*v[4]*v[3]
^2+(13/41395200*lambda[7]^3*lambda[5]-697/538137600*lambda[7]*lambda[6]*lambda
[5]-93/89689600*lambda[5]^2+167/358758400*lambda[7]^2*lambda[4]+23/6899200*
lambda[6]*lambda[4]+43/22422400*lambda[7]*lambda[3]+41/11211200*lambda[2])*v[7
]^14*v[6]*v[5]*v[4]*v[3]^2+(-1/2*lambda[7]*lambda[3]-1/2*lambda[2])*v[7]*v[6]^
3*v[4]^3*v[3]*v[2]+3/40*lambda[2]*v[7]^2*v[6]*v[4]^5*v[2]+(-1/38438400*lambda[
7]^4*lambda[6]+5/43051008*lambda[7]^2*lambda[6]^2-401/2152550400*lambda[6]^3+
17/269068800*lambda[7]^3*lambda[5]-163/538137600*lambda[7]*lambda[6]*lambda[5]
-159/358758400*lambda[5]^2+11/12230400*lambda[7]^2*lambda[4]+109/107627520*
lambda[6]*lambda[4]+1/407680*lambda[7]*lambda[3]+1/627200*lambda[2])*v[7]^14*v
[6]^2*v[5]^2*v[1]+(23/23465490048000*lambda[7]^6+1063/312873200640000*lambda[7
]^4*lambda[6]-257/8939234304000*lambda[7]^2*lambda[6]^2-547/231044825088000*
lambda[6]^3+83/26072766720000*lambda[7]^3*lambda[5]+6581/83432853504000*lambda
[7]*lambda[6]*lambda[5]+61/1112438046720*lambda[5]^2-2087/75848048640000*
lambda[7]^2*lambda[4]+4951/83432853504000*lambda[6]*lambda[4]+21211/
92703170560000*lambda[7]*lambda[3]+1739/8690922240000*lambda[2])*v[7]^20*v[6]*
v[3]*v[2]+(3/2240*lambda[7]*lambda[3]+1/1120*lambda[2])*v[7]^7*v[6]^4*v[5]*v[4
]^2*v[2]+(-3/800*lambda[7]^2*lambda[6]^2-33/200*lambda[6]^3-9/400*lambda[7]^3*
lambda[5]+233/1200*lambda[7]*lambda[6]*lambda[5]-1/300*lambda[5]^2-43/1200*
lambda[7]^2*lambda[4]-1/150*lambda[6]*lambda[4]+3/40*lambda[7]*lambda[3]+1/75*
lambda[2])*v[7]^2*v[6]^5*v[5]^5*v[3]+(-1203203/138302970208026624000000*lambda
[7]^6+318319/64541386097079091200000*lambda[7]^4*lambda[6]+31721717/
258165544388316364800000*lambda[7]^2*lambda[6]^2-9453527/
193624158291237273600000*lambda[6]^3-1560187/21513795365693030400000*lambda[7]
^3*lambda[5]-13633/80878929946214400000*lambda[7]*lambda[6]*lambda[5]-43/
2507435357306880000*lambda[5]^2+3913643/43027590731386060800000*lambda[7]^2*
lambda[4]+1129451/5378448841423257600000*lambda[6]*lambda[4]+1019/
8692442571997184000*lambda[7]*lambda[3]-3517/37041658687488000000*lambda[2])*v
[7]^28*v[6]*v[5]*v[4]+3/20*lambda[2]*v[4]^5*v[3]^2+(1/246400*lambda[7]^4*
lambda[6]+3/492800*lambda[7]^2*lambda[6]^2-1/246400*lambda[6]^3+1/105600*
lambda[7]^3*lambda[5]-43/422400*lambda[7]*lambda[6]*lambda[5]-3/123200*lambda[
5]^2-1/1478400*lambda[7]^2*lambda[4]-1/184800*lambda[6]*lambda[4]-1/70400*
lambda[7]*lambda[3])*v[7]^11*v[6]*v[5]^4*v[2]+1/6*lambda[2]*v[7]^3*v[5]*v[4]^3
*v[3]*v[2]+(-3/16*lambda[6]^3-1/12*lambda[7]*lambda[6]*lambda[5]+1/24*lambda[5
]^2+1/24*lambda[7]^2*lambda[4]-11/12*lambda[6]*lambda[4]+3/8*lambda[7]*lambda[
3]-1/6*lambda[2])*v[7]^2*v[6]^4*v[5]^3*v[3]*v[2]+(1/6*lambda[7]*lambda[6]*
lambda[5]+1/6*lambda[5]^2+1/6*lambda[7]^2*lambda[4]+1/3*lambda[6]*lambda[4]+1/
2*lambda[7]*lambda[3]+4/3*lambda[2])*v[7]*v[6]^3*v[5]^3*v[3]*v[1]+(-13/1254400
*lambda[7]^2*lambda[6]^2-1/250880*lambda[6]^3-17/940800*lambda[7]^3*lambda[5]-\
41/1881600*lambda[7]*lambda[6]*lambda[5]-1/80640*lambda[5]^2+1/14400*lambda[7]
^2*lambda[4]-319/2822400*lambda[6]*lambda[4]+11/470400*lambda[7]*lambda[3]-3/
39200*lambda[2])*v[7]^9*v[6]^7*v[5]*v[4]*v[3]+(3/128*lambda[6]^3+1/96*lambda[7
]*lambda[6]*lambda[5]+1/32*lambda[5]^2-1/192*lambda[7]^2*lambda[4]+1/32*lambda
[6]*lambda[4]-5/96*lambda[7]*lambda[3]-1/48*lambda[2])*v[7]^4*v[6]^2*v[5]^4*v[
4]^3+(19/10762752000*lambda[7]^3*lambda[5]-17/2152550400*lambda[7]*lambda[6]*
lambda[5]+1/57401344*lambda[5]^2+29/10762752000*lambda[7]^2*lambda[4]-17/
1076275200*lambda[6]*lambda[4]-1/20384000*lambda[7]*lambda[3]-11/122304000*
lambda[2])*v[7]^15*v[6]^2*v[4]^4+(-1/13440*lambda[7]^2*lambda[6]^2-13/107520*
lambda[6]^3+1/3360*lambda[7]^3*lambda[5]+1/8960*lambda[7]*lambda[6]*lambda[5]+
53/53760*lambda[7]^2*lambda[4]+13/26880*lambda[6]*lambda[4]+17/26880*lambda[7]
*lambda[3]-1/13440*lambda[2])*v[7]^8*v[5]^4*v[4]^3+(3/64*lambda[6]^3+1/48*
lambda[7]*lambda[6]*lambda[5]-1/24*lambda[5]^2-1/96*lambda[7]^2*lambda[4]-1/48
*lambda[6]*lambda[4]+1/16*lambda[7]*lambda[3]+1/24*lambda[2])*v[6]^4*v[5]^4*v[
4]^3+(-3/160*lambda[6]*lambda[4]-1/64*lambda[7]*lambda[3]-1/80*lambda[2])*v[6]
^6*v[4]^4*v[3]+(-1/40*lambda[7]*lambda[3]-1/20*lambda[2])*v[7]^5*v[5]*v[2]^3+(
-31/2890948373913600*lambda[7]^6-199/19272989159424000*lambda[7]^4*lambda[6]+
9811/59301505105920000*lambda[7]^2*lambda[6]^2+16039/84100316332032000*lambda[
6]^3-239/6424329719808000*lambda[7]^3*lambda[5]-3683/5139463775846400*lambda[7
]*lambda[6]*lambda[5]-101/137052367355904*lambda[5]^2+1/981562982400*lambda[7]
^2*lambda[4]-79/93444795924480*lambda[6]*lambda[4]+1/235971706880*lambda[7]*
lambda[3]+37/13613752320000*lambda[2])*v[7]^22*v[6]^2*v[1]+(-23/16144128000*
lambda[7]^4*lambda[6]+173/32288256000*lambda[7]^2*lambda[6]^2+211/103322419200
*lambda[6]^3-1/672672000*lambda[7]^3*lambda[5]-131/14350336000*lambda[7]*
lambda[6]*lambda[5]-3/146432000*lambda[5]^2-1/4100096000*lambda[7]^2*lambda[4]
-401/43051008000*lambda[6]*lambda[4]+597/14350336000*lambda[7]*lambda[3]+83/
1956864000*lambda[2])*v[7]^16*v[5]^2*v[4]^3+(-9/8960*lambda[6]^3-3/2240*lambda
[7]*lambda[6]*lambda[5]-1/1120*lambda[5]^2+9/4480*lambda[7]^2*lambda[4]-27/
2240*lambda[6]*lambda[4]-11/2240*lambda[7]*lambda[3]-13/1120*lambda[2])*v[6]^8
*v[5]^2*v[4]^3+(-1/134400*lambda[7]^2*lambda[6]^2-1/107520*lambda[6]^3+11/
134400*lambda[7]*lambda[6]*lambda[5]+3/89600*lambda[5]^2-3/22400*lambda[7]^2*
lambda[4]+1/26880*lambda[6]*lambda[4]-1/3360*lambda[7]*lambda[3]-3/22400*
lambda[2])*v[7]^10*v[5]^4*v[1]+(29/34496000*lambda[7]^2*lambda[6]^2-3/1232000*
lambda[6]^3+1/3696000*lambda[7]^3*lambda[5]-1/1617000*lambda[7]*lambda[6]*
lambda[5]+1/4312000*lambda[5]^2+1/7392000*lambda[7]^2*lambda[4]+1/231000*
lambda[6]*lambda[4]+3/1232000*lambda[7]*lambda[3]+1/77000*lambda[2])*v[6]^15*v
[5]*v[4]-lambda[2]*v[5]*v[4]*v[2]^3+(1/5913600*lambda[7]^3*lambda[5]-1/5913600
*lambda[7]*lambda[6]*lambda[5]+1/946176*lambda[5]^2+1/1182720*lambda[7]^2*
lambda[4]-1/2956800*lambda[6]*lambda[4]-1/358400*lambda[7]*lambda[3]-1/268800*
lambda[2])*v[7]^11*v[6]^4*v[4]^4+(1/12*lambda[7]*lambda[6]*lambda[5]-1/6*
lambda[5]^2+11/24*lambda[7]^2*lambda[4]-11/6*lambda[6]*lambda[4]-4/3*lambda[2]
)*v[7]^2*v[6]^3*v[5]^3*v[4]*v[3]^2+(9/1120*lambda[6]^3+3/280*lambda[7]*lambda[
6]*lambda[5]-9/560*lambda[5]^2+1/140*lambda[7]^2*lambda[4]+27/280*lambda[6]*
lambda[4]+1/40*lambda[7]*lambda[3]+3/70*lambda[2])*v[7]^2*v[6]^7*v[5]^2*v[4]*v
[2]+(-1/1108800*lambda[7]^4*lambda[6]-1/1108800*lambda[7]^2*lambda[6]^2+79/
8870400*lambda[6]^3-1/246400*lambda[7]^3*lambda[5]-23/2956800*lambda[7]*lambda
[6]*lambda[5]+1/61600*lambda[5]^2+1/1971200*lambda[7]^2*lambda[4]+17/739200*
lambda[6]*lambda[4]-9/985600*lambda[7]*lambda[3]-9/123200*lambda[2])*v[7]^12*v
[6]*v[5]*v[3]^3+(-349/1976041267200000*lambda[7]^6-97001/12514928025600000*
lambda[7]^4*lambda[6]-66167/2043253555200000*lambda[7]^2*lambda[6]^2+1021/
600716545228800*lambda[6]^3-55483/2781095116800000*lambda[7]^3*lambda[5]-27017
/1390547558400000*lambda[7]*lambda[6]*lambda[5]+4679/347636889600000*lambda[5]
^2-96997/3337314140160000*lambda[7]^2*lambda[4]-28451/2085821337600000*lambda[
6]*lambda[4]-95941/2781095116800000*lambda[7]*lambda[3]-1529/31603353600000*
lambda[2])*v[7]^20*v[6]^5*v[5]*v[4]+(3/8*lambda[6]*lambda[4]-3/16*lambda[7]*
lambda[3]+1/8*lambda[2])*v[7]^4*v[6]^2*v[5]*v[4]^2*v[3]*v[2]-1/80*lambda[2]*v[
6]^2*v[4]^7+(1/80*lambda[7]^2*lambda[6]^2+1/160*lambda[6]^3+1/160*lambda[7]^3*
lambda[5]+11/160*lambda[7]*lambda[6]*lambda[5]+1/32*lambda[5]^2+3/320*lambda[7
]^2*lambda[4]+1/80*lambda[6]*lambda[4]-1/40*lambda[2])*v[7]^6*v[6]^2*v[5]^2*v[
3]^3+(-1/2*lambda[5]^2-9/4*lambda[6]*lambda[4]-lambda[2])*v[7]^2*v[6]^2*v[5]*v
[4]*v[3]^2*v[2]+(1/4804800*lambda[7]^3*lambda[5]-7/10982400*lambda[7]*lambda[6
]*lambda[5]+3/5125120*lambda[5]^2-167/76876800*lambda[7]^2*lambda[4]+17/
2745600*lambda[6]*lambda[4]+1/1971200*lambda[7]*lambda[3]+47/6406400*lambda[2]
)*v[7]^13*v[6]*v[3]^2*v[2]+(592663/1234847948285952000000*lambda[7]^6-103253/
59871415674470400000*lambda[7]^4*lambda[6]-2792497/9220198013868441600000*
lambda[7]^2*lambda[6]^2+1009199/1383029702080266240000*lambda[6]^3+334801/
1536699668978073600000*lambda[7]^3*lambda[5]+8951963/1536699668978073600000*
lambda[7]*lambda[6]*lambda[5]-1231/465666566356992000*lambda[5]^2+1525967/
1536699668978073600000*lambda[7]^2*lambda[4]-219223/192087458622259200000*
lambda[6]*lambda[4]-220063/38805547196416000000*lambda[7]*lambda[3]+17947/
1119390784512000000*lambda[2])*v[7]^26*v[6]*v[5]*v[3]+1/2548000*lambda[2]*v[7]
^15*v[6]*v[5]*v[4]*v[1]-1/1120*lambda[2]*v[7]^9*v[6]*v[4]*v[2]*v[1]+(-1/
384384000*lambda[7]^4*lambda[6]+1/86102016*lambda[7]^2*lambda[6]^2-401/
21525504000*lambda[6]^3-1/20697600*lambda[7]^3*lambda[5]+71/413952000*lambda[7
]*lambda[6]*lambda[5]+1/12300288*lambda[5]^2-23/61152000*lambda[7]^2*lambda[4]
+109/1076275200*lambda[6]*lambda[4]-1/4659200*lambda[7]*lambda[3]-1/20384000*
lambda[2])*v[7]^14*v[6]^5*v[4]*v[2]+(29/3942400*lambda[7]^2*lambda[6]^2+1/
140800*lambda[6]^3+1/422400*lambda[7]^3*lambda[5]+13/1478400*lambda[7]*lambda[
6]*lambda[5]+1/184800*lambda[5]^2+9/1971200*lambda[7]^2*lambda[4]-1/67200*
lambda[6]*lambda[4]-9/985600*lambda[7]*lambda[3]-3/123200*lambda[2])*v[7]^4*v[
6]^13*v[5]*v[4]+(-1/2956800*lambda[7]^4*lambda[6]-1/2956800*lambda[7]^2*lambda
[6]^2+79/23654400*lambda[6]^3-1/1971200*lambda[7]*lambda[6]*lambda[5]-3/
1971200*lambda[5]^2+1/11827200*lambda[7]^2*lambda[4]+1/5913600*lambda[6]*
lambda[4]+3/1971200*lambda[7]*lambda[3]-1/268800*lambda[2])*v[7]^12*v[6]^2*v[5
]^2*v[4]^3+(-1/34693120000*lambda[7]^6-41/182138880000*lambda[7]^4*lambda[6]-\
563/1699962880000*lambda[7]^2*lambda[6]^2-1/45534720000*lambda[6]^3-197/
2185666560000*lambda[7]^3*lambda[5]-3643/3824916480000*lambda[7]*lambda[6]*
lambda[5]-61/478114560000*lambda[5]^2+43/21856665600*lambda[7]^2*lambda[4]+1/
17075520000*lambda[6]*lambda[4]+17/8279040000*lambda[7]*lambda[3])*v[7]^11*v[6
]^14+(99/17920*lambda[7]^2*lambda[6]^2+93/4480*lambda[6]^3+1/1680*lambda[7]^3*
lambda[5]-1/448*lambda[7]*lambda[6]*lambda[5]+13/6720*lambda[5]^2-9/4480*
lambda[7]^2*lambda[4]+1/1120*lambda[6]*lambda[4]-1/160*lambda[7]*lambda[3]-1/
240*lambda[2])*v[7]^2*v[6]^8*v[5]^4*v[4]+(-3/4*lambda[6]*lambda[4]-9/8*lambda[
7]*lambda[3]-lambda[2])*v[7]^2*v[6]^2*v[5]^2*v[4]*v[2]^2+(-9/35840*lambda[7]^2
*lambda[6]^2-3/17920*lambda[6]^3-1/11520*lambda[7]^3*lambda[5]-97/161280*
lambda[7]*lambda[6]*lambda[5]+1/26880*lambda[5]^2-3/4480*lambda[7]^2*lambda[4]
-11/13440*lambda[6]*lambda[4]-13/26880*lambda[7]*lambda[3]-1/6720*lambda[2])*v
[7]^9*v[6]^4*v[5]^3*v[2]-1/291200*lambda[2]*v[7]^13*v[5]^2*v[4]*v[1]+(1747391/
26383951239685079040000000*lambda[7]^6-126527/588465579120427008000000*lambda[
7]^4*lambda[6]-12908317/80031318760378073088000000*lambda[7]^2*lambda[6]^2+
717319/6002348907028355481600000*lambda[6]^3+6980471/
26677106253459357696000000*lambda[7]^3*lambda[5]+5202559/
6669276563364839424000000*lambda[7]*lambda[6]*lambda[5]-18413/
69471630868383744000000*lambda[5]^2-19153111/33346382816824197120000000*lambda
[7]^2*lambda[4]-1965001/4168297852103024640000000*lambda[6]*lambda[4]-6387/
12955082679418880000000*lambda[7]*lambda[3]+451/441650545889280000000*lambda[2
])*v[7]^31*v[5]^2+(1/57657600*lambda[7]^6+1/1921920*lambda[7]^4*lambda[6]-51/
51251200*lambda[7]^2*lambda[6]^2-313/230630400*lambda[6]^3+19/12812800*lambda[
7]^3*lambda[5]+67/10982400*lambda[7]*lambda[6]*lambda[5]+1/1164800*lambda[5]^2
+9/3203200*lambda[7]^2*lambda[4]-1/3843840*lambda[6]*lambda[4]-17/7687680*
lambda[7]*lambda[3]-1/291200*lambda[2])*v[7]^13*v[6]^2*v[5]^3*v[2]+(1/1680*
lambda[7]^4*lambda[6]+1/140*lambda[7]^2*lambda[6]^2+1/480*lambda[6]^3+11/3360*
lambda[7]^3*lambda[5]+9/560*lambda[7]*lambda[6]*lambda[5]-1/840*lambda[5]^2+1/
840*lambda[7]^2*lambda[4]-1/420*lambda[6]*lambda[4]-1/840*lambda[7]*lambda[3]+
1/210*lambda[2])*v[7]^7*v[6]^3*v[5]^3*v[3]^2+(1/6*lambda[5]^2+1/4*lambda[7]*
lambda[3]+1/2*lambda[2])*v[7]^3*v[6]^3*v[5]^2*v[4]*v[3]*v[2]+(-3/22400*lambda[
7]^2*lambda[6]^2-39/179200*lambda[6]^3-1/16800*lambda[7]^3*lambda[5]-7/19200*
lambda[7]*lambda[6]*lambda[5]-1/8400*lambda[5]^2+1/268800*lambda[7]^2*lambda[4
]+43/134400*lambda[6]*lambda[4]+93/89600*lambda[7]*lambda[3]+9/11200*lambda[2]
)*v[7]^8*v[6]^5*v[5]*v[4]^2*v[3]+(1/9408000*lambda[7]^4*lambda[6]+1/1344000*
lambda[7]^2*lambda[6]^2+13/37632000*lambda[6]^3+113/28224000*lambda[7]^3*
lambda[5]+131/56448000*lambda[7]*lambda[6]*lambda[5]-589/56448000*lambda[5]^2-\
263/7056000*lambda[7]^2*lambda[4]-103/28224000*lambda[6]*lambda[4]-1/28000*
lambda[7]*lambda[3]-13/224000*lambda[2])*v[7]^7*v[6]^10*v[4]*v[3]+(1/1680*
lambda[7]^3*lambda[5]+1/336*lambda[7]*lambda[6]*lambda[5]+1/1120*lambda[5]^2+
11/1680*lambda[7]^2*lambda[4]+1/168*lambda[6]*lambda[4]+1/80*lambda[7]*lambda[
3]+1/280*lambda[2])*v[7]^7*v[6]^2*v[5]^2*v[3]*v[1]+(-23/182966784000*lambda[7]
^6-23/30494464000*lambda[7]^4*lambda[6]+9021/1951645696000*lambda[7]^2*lambda[
6]^2+6077/2927468544000*lambda[6]^3-29/22518988800*lambda[7]^3*lambda[5]+10691
/2927468544000*lambda[7]*lambda[6]*lambda[5]-3/5740134400*lambda[5]^2-261/
18765824000*lambda[7]^2*lambda[4]-83/9758228480*lambda[6]*lambda[4]-8077/
487911424000*lambda[7]*lambda[3]-3/652288000*lambda[2])*v[7]^17*v[6]^4*v[5]*v[
2]+(3/89600*lambda[6]^3-1/22400*lambda[7]*lambda[6]*lambda[5]+3/6400*lambda[5]
^2+9/44800*lambda[7]^2*lambda[4]+19/22400*lambda[6]*lambda[4]+51/44800*lambda[
7]*lambda[3]+3/1600*lambda[2])*v[7]^2*v[6]^10*v[4]^2*v[3]+(-3/2*lambda[6]*
lambda[4]-9/4*lambda[7]*lambda[3]-3/2*lambda[2])*v[7]^2*v[6]*v[5]^2*v[4]^2*v[3
]*v[2]+3/20*lambda[2]*v[6]^6*v[5]*v[2]*v[1]-1/80*lambda[2]*v[7]^3*v[6]^2*v[4]^
5*v[3]+(1/12800*lambda[7]^2*lambda[6]^2+1/89600*lambda[6]^3+19/67200*lambda[7]
^3*lambda[5]+39/44800*lambda[7]*lambda[6]*lambda[5]+1/8400*lambda[5]^2-1/4200*
lambda[7]^2*lambda[4]-13/9600*lambda[6]*lambda[4]-9/11200*lambda[7]*lambda[3]-\
1/5600*lambda[2])*v[7]^5*v[6]^9*v[5]*v[4]*v[3]+1/40*lambda[2]*v[7]^6*v[6]*v[5]
^2*v[2]*v[1]+(1/16*lambda[6]*lambda[4]+1/8*lambda[7]*lambda[3])*v[7]^4*v[5]^2*
v[3]^2*v[1]-1/80*lambda[2]*v[7]^5*v[6]^2*v[4]^2*v[3]*v[1]+(-1/16*lambda[7]*
lambda[6]*lambda[5]-3/40*lambda[5]^2-27/160*lambda[7]^2*lambda[4]+21/40*lambda
[6]*lambda[4]-3/40*lambda[7]*lambda[3]-1/10*lambda[2])*v[6]^6*v[5]^2*v[4]*v[3]
^2+(55903/276605940416053248000000*lambda[7]^6-11227/6454138609707909120000*
lambda[7]^4*lambda[6]+91873/21074738317413580800000*lambda[7]^2*lambda[6]^2-\
1967341/774496633164949094400000*lambda[6]^3+186503/172110362925544243200000*
lambda[7]^3*lambda[5]-142927/34422072585108848640000*lambda[7]*lambda[6]*
lambda[5]-241/229480483900725657600*lambda[5]^2-251287/86055181462772121600000
*lambda[7]^2*lambda[4]+47669/4302759073138606080000*lambda[6]*lambda[4]-9/
6078631169228800000*lambda[7]*lambda[3]-47/11397433442304000000*lambda[2])*v[7
]^29*v[4]^2+(23/93861960192000*lambda[7]^6-23/7821830016000*lambda[7]^4*lambda
[6]+23/1955457504000*lambda[7]^2*lambda[6]^2-23/1466593128000*lambda[6]^3-283/
41716426752000*lambda[7]^3*lambda[5]+227/8343285350400*lambda[7]*lambda[6]*
lambda[5]-1/18162253824*lambda[5]^2-563/41716426752000*lambda[7]^2*lambda[4]+
227/4171642675200*lambda[6]*lambda[4]-29/1685512192000*lambda[7]*lambda[3]+1/
8599552000*lambda[2])*v[7]^19*v[4]^4+(1/739200*lambda[7]^4*lambda[6]+1/295680*
lambda[7]^2*lambda[6]^2+67/2956800*lambda[6]^3-1/184800*lambda[7]^3*lambda[5]+
3/985600*lambda[7]*lambda[6]*lambda[5]+1/492800*lambda[5]^2-41/1478400*lambda[
7]^2*lambda[4]-1/67200*lambda[6]*lambda[4]-43/492800*lambda[7]*lambda[3]-1/
16800*lambda[2])*v[7]^11*v[6]^3*v[5]^3*v[4]^2+1/280*lambda[2]*v[7]^7*v[6]*v[3]
*v[2]*v[1]+lambda[2]*v[7]*v[6]^2*v[5]^4*v[4]*v[1]+(27/10035200*lambda[7]^2*
lambda[6]^2+9/5017600*lambda[6]^3+17/7526400*lambda[7]^3*lambda[5]+89/15052800
*lambda[7]*lambda[6]*lambda[5]+17/7526400*lambda[5]^2+27/1254400*lambda[7]^2*
lambda[4]-3/179200*lambda[6]*lambda[4]+9/2508800*lambda[7]*lambda[3]-11/627200
*lambda[2])*v[7]^9*v[6]^8*v[5]*v[2]+(-3/3200*lambda[7]*lambda[6]*lambda[5]-7/
9600*lambda[5]^2-3/3200*lambda[7]^2*lambda[4]-3/1600*lambda[6]*lambda[4]-1/
3200*lambda[7]*lambda[3]+1/1200*lambda[2])*v[7]^5*v[6]^5*v[5]*v[4]^4+(-lambda[
7]*lambda[6]*lambda[5]-lambda[5]^2-lambda[7]^2*lambda[4]-2*lambda[6]*lambda[4]
+lambda[2])*v[7]*v[6]^2*v[5]^3*v[4]*v[3]*v[2]+(-3/2*lambda[6]*lambda[4]-3/4*
lambda[7]*lambda[3]-2*lambda[2])*v[6]^2*v[5]^2*v[3]*v[2]^2+(-5/64*lambda[7]*
lambda[6]*lambda[5]+5/96*lambda[5]^2-27/128*lambda[7]^2*lambda[4]-3/32*lambda[
6]*lambda[4]-7/32*lambda[7]*lambda[3]-1/8*lambda[2])*v[7]^4*v[6]^4*v[5]^2*v[4]
*v[3]^2+(23/902518848000*lambda[7]^6-4801/31287320064000*lambda[7]^4*lambda[6]
+6229/31287320064000*lambda[7]^2*lambda[6]^2+547/23104482508800*lambda[6]^3-\
811/2085821337600*lambda[7]^3*lambda[5]+114799/83432853504000*lambda[7]*lambda
[6]*lambda[5]+5207/27810951168000*lambda[5]^2+6649/2979744768000*lambda[7]^2*
lambda[4]+3389/8343285350400*lambda[6]*lambda[4]+9/68164096000*lambda[7]*
lambda[3]+193/1390547558400*lambda[2])*v[7]^19*v[5]^2*v[4]*v[3]+(3/20*lambda[6
]*lambda[4]+9/40*lambda[7]*lambda[3]+1/10*lambda[2])*v[6]^5*v[5]*v[4]*v[2]^2+(
-3/160*lambda[6]^3-1/120*lambda[7]*lambda[6]*lambda[5]-1/40*lambda[5]^2+1/60*
lambda[7]^2*lambda[4]+3/40*lambda[6]*lambda[4]-31/120*lambda[7]*lambda[3]-3/20
*lambda[2])*v[7]^4*v[5]^5*v[4]*v[2]+(-1/4*lambda[7]*lambda[3]-1/2*lambda[2])*v
[6]^3*v[5]^2*v[4]^3*v[2]+(1/8*lambda[6]*lambda[4]+1/4*lambda[2])*v[7]^4*v[5]*v
[3]^3*v[2]+(-31/6649181260001280*lambda[7]^6+257731/8865575013335040000*lambda
[7]^4*lambda[6]-50459/1773115002667008000*lambda[7]^2*lambda[6]^2-5634323/
106386900160020480000*lambda[6]^3-949153/2955191671111680000*lambda[7]^3*
lambda[5]+1100773/1182076668444672000*lambda[7]*lambda[6]*lambda[5]+8999/
15761022245928960*lambda[5]^2+959473/738797917777920000*lambda[7]^2*lambda[4]+
1735691/2955191671111680000*lambda[6]*lambda[4]-727/1865651307520000*lambda[7]
*lambda[3]-36433/44775631380480000*lambda[2])*v[7]^23*v[6]^2*v[4]*v[3]+(-3/128
*lambda[6]*lambda[4]-5/256*lambda[7]*lambda[3]-5/192*lambda[2])*v[7]^4*v[6]^4*
v[4]^4*v[3]+(3/492800*lambda[7]^3*lambda[5]-3/492800*lambda[7]*lambda[6]*
lambda[5]+3/78848*lambda[5]^2+47/1478400*lambda[7]^2*lambda[4]-41/369600*
lambda[6]*lambda[4]+51/1971200*lambda[7]*lambda[3]-3/246400*lambda[2])*v[7]^11
*v[6]^2*v[4]^2*v[3]^2+(3/20*lambda[7]*lambda[3]+9/20*lambda[2])*v[7]*v[6]*v[5]
*v[4]^5*v[3]+(-31/5114754815385600*lambda[7]^6-26867/681967308718080000*lambda
[7]^4*lambda[6]+3438079/17731150026670080000*lambda[7]^2*lambda[6]^2+12961829/
53193450080010240000*lambda[6]^3-46741/184699479444480000*lambda[7]^3*lambda[5
]-758827/5910383342223360000*lambda[7]*lambda[6]*lambda[5]-2311/
17910252552192000*lambda[5]^2+108079/227322436239360000*lambda[7]^2*lambda[4]-\
465449/1477595835555840000*lambda[6]*lambda[4]+15349/5970084184064000*lambda[7
]*lambda[3]+1621/1017627985920000*lambda[2])*v[7]^23*v[6]*v[5]*v[4]^2+(-1/
14784000*lambda[7]^4*lambda[6]-1/14784000*lambda[7]^2*lambda[6]^2+79/118272000
*lambda[6]^3-1/3696000*lambda[7]^3*lambda[5]-13/29568000*lambda[7]*lambda[6]*
lambda[5]+1/844800*lambda[5]^2+313/59136000*lambda[7]^2*lambda[4]+1/29568000*
lambda[6]*lambda[4]+131/19712000*lambda[7]*lambda[3]+1/1232000*lambda[2])*v[7]
^12*v[6]^5*v[3]*v[2]+(-3/20*lambda[6]*lambda[4]-3/80*lambda[7]*lambda[3]-1/30*
lambda[2])*v[7]^3*v[6]^5*v[5]*v[4]^3*v[3]-lambda[2]*v[6]*v[5]*v[2]^2*v[1]+(1/
153753600*lambda[7]^4*lambda[6]-5/172204032*lambda[7]^2*lambda[6]^2+401/
8610201600*lambda[6]^3+1/8279040*lambda[7]^3*lambda[5]-71/165580800*lambda[7]*
lambda[6]*lambda[5]-5/24600576*lambda[5]^2-757/861020160*lambda[7]^2*lambda[4]
-107/2152550400*lambda[6]*lambda[4]-613/1435033600*lambda[7]*lambda[3]-9/
71751680*lambda[2])*v[7]^14*v[6]^4*v[4]^2*v[3]+(-1/2464000*lambda[7]^4*lambda[
6]+3/616000*lambda[7]^2*lambda[6]^2+1/179200*lambda[6]^3+647/44352000*lambda[7
]^3*lambda[5]+677/8870400*lambda[7]*lambda[6]*lambda[5]+1/70400*lambda[5]^2+23
/2956800*lambda[7]^2*lambda[4]+67/3696000*lambda[6]*lambda[4]-13/924000*lambda
[7]*lambda[3]-9/616000*lambda[2])*v[7]^11*v[6]^5*v[5]*v[3]^2+(-3/163072000*
lambda[7]*lambda[3]-1/81536000*lambda[2])*v[7]^17*v[6]*v[4]^2*v[2]+(-9/32*
lambda[6]*lambda[4]-1/16*lambda[7]*lambda[3]-1/4*lambda[2])*v[7]^2*v[6]^4*v[4]
^3*v[3]^2+(-1/115315200*lambda[7]^4*lambda[6]+5/129153024*lambda[7]^2*lambda[6
]^2-401/6457651200*lambda[6]^3+17/807206400*lambda[7]^3*lambda[5]-163/
1614412800*lambda[7]*lambda[6]*lambda[5]-53/358758400*lambda[5]^2-23/97843200*
lambda[7]^2*lambda[4]-229/538137600*lambda[6]*lambda[4]-31/48921600*lambda[7]*
lambda[3])*v[7]^14*v[6]^3*v[5]*v[4]^3+(1/2*lambda[7]*lambda[3]+lambda[2])*v[7]
*v[6]^2*v[3]^3*v[1]+(1/448000*lambda[7]^2*lambda[6]^2+1/358400*lambda[6]^3+1/
1008000*lambda[7]^3*lambda[5]+23/4032000*lambda[7]*lambda[6]*lambda[5]+13/
2688000*lambda[5]^2-31/2688000*lambda[7]^2*lambda[4]-9/448000*lambda[6]*lambda
[4]-71/1344000*lambda[7]*lambda[3]-17/336000*lambda[2])*v[7]^10*v[6]^5*v[5]*v[
4]^3+(1/1478400*lambda[7]^3*lambda[5]-1/1478400*lambda[7]*lambda[6]*lambda[5]+
1/236544*lambda[5]^2+1/295680*lambda[7]^2*lambda[4]-1/739200*lambda[6]*lambda[
4]+1/24640*lambda[7]*lambda[3]+3/70400*lambda[2])*v[7]^11*v[6]^4*v[3]*v[1]+(-\
29/551936000*lambda[7]^2*lambda[6]^2+3/19712000*lambda[6]^3+1/2956800*lambda[7
]^3*lambda[5]-61/51744000*lambda[7]*lambda[6]*lambda[5]+111/68992000*lambda[5]
^2+13/59136000*lambda[7]^2*lambda[4]-13/14784000*lambda[6]*lambda[4]+1/352000*
lambda[2])*v[6]^16*v[3]+(-1/2956800*lambda[7]^4*lambda[6]-1/2956800*lambda[7]^
2*lambda[6]^2+79/23654400*lambda[6]^3-1/739200*lambda[7]^3*lambda[5]-13/
5913600*lambda[7]*lambda[6]*lambda[5]+1/168960*lambda[5]^2-13/985600*lambda[7]
^2*lambda[4]-1/78848*lambda[6]*lambda[4]-37/1971200*lambda[7]*lambda[3]-1/
89600*lambda[2])*v[7]^12*v[6]^4*v[5]*v[4]*v[2]+(23/137225088000*lambda[7]^6+23
/27445017600*lambda[7]^4*lambda[6]-21979/4391202816000*lambda[7]^2*lambda[6]^2
-18527/4391202816000*lambda[6]^3-4541/1097800704000*lambda[7]^3*lambda[5]-8149
/439120281600*lambda[7]*lambda[6]*lambda[5]-1/205004800*lambda[5]^2-463/
30494464000*lambda[7]^2*lambda[4]-9871/365933568000*lambda[6]*lambda[4]-1291/
182966784000*lambda[7]*lambda[3])*v[7]^17*v[6]^3*v[5]*v[4]*v[3]+(-1/100800*
lambda[7]^3*lambda[5]-1/20160*lambda[7]*lambda[6]*lambda[5]+1/40320*lambda[5]^
2-11/100800*lambda[7]^2*lambda[4]-1/10080*lambda[6]*lambda[4]-1/2240*lambda[7]
*lambda[3]+1/5600*lambda[2])*v[7]^7*v[6]^6*v[3]*v[1]+(-1/320*lambda[7]^2*
lambda[6]^2-1/16*lambda[6]^3-3/160*lambda[7]^3*lambda[5]-29/240*lambda[7]*
lambda[6]*lambda[5]+1/240*lambda[7]^2*lambda[4]-1/120*lambda[7]*lambda[3])*v[7
]^4*v[6]^2*v[5]^6*v[3]+(-1/1920*lambda[5]^2-1/160*lambda[7]*lambda[3]-1/160*
lambda[2])*v[7]^3*v[6]^8*v[3]*v[1]+(-1/4*lambda[7]*lambda[6]*lambda[5]-1/4*
lambda[5]^2+1/4*lambda[7]^2*lambda[4]+1/4*lambda[7]*lambda[3]-lambda[2])*v[7]*
v[6]^3*v[5]^2*v[3]^2*v[2]+(3/800*lambda[7]*lambda[6]*lambda[5]+7/2400*lambda[5
]^2+3/800*lambda[7]^2*lambda[4]+3/400*lambda[6]*lambda[4]+1/800*lambda[7]*
lambda[3]+1/200*lambda[2])*v[7]^5*v[6]^5*v[5]*v[2]^2+(-1/134400*lambda[7]^4*
lambda[6]-307/1344000*lambda[7]^2*lambda[6]^2-1/336000*lambda[6]^3-1/672000*
lambda[7]^3*lambda[5]-89/672000*lambda[7]*lambda[6]*lambda[5]-3/56000*lambda[5
]^2-11/224000*lambda[7]^2*lambda[4]-3/28000*lambda[6]*lambda[4]+17/112000*
lambda[7]*lambda[3]+3/14000*lambda[2])*v[7]^10*v[6]*v[5]^5*v[3]+(-1/8*lambda[6
]*lambda[4]-1/16*lambda[7]*lambda[3])*v[7]^4*v[5]^2*v[3]*v[2]^2+(5/14336*
lambda[7]^2*lambda[6]^2+1/8960*lambda[6]^3+1/7168*lambda[7]^3*lambda[5]+37/
35840*lambda[7]*lambda[6]*lambda[5]+3/17920*lambda[5]^2-1/10752*lambda[7]^2*
lambda[4]+1/6720*lambda[6]*lambda[4]-3/2560*lambda[7]*lambda[3]-1/1120*lambda[
2])*v[7]^9*v[6]^2*v[5]^4*v[4]^2+(-3/80*lambda[7]*lambda[6]*lambda[5]+3/80*
lambda[5]^2+3/80*lambda[7]^2*lambda[4]+3/20*lambda[6]*lambda[4]+9/80*lambda[7]
*lambda[3]+3/20*lambda[2])*v[7]^5*v[6]*v[5]^2*v[3]^2*v[2]+(99/3200*lambda[7]^2
*lambda[6]^2+33/800*lambda[6]^3+1/300*lambda[7]^3*lambda[5]-1/240*lambda[7]*
lambda[6]*lambda[5]-1/300*lambda[5]^2+1/4800*lambda[7]^2*lambda[4]+1/600*
lambda[6]*lambda[4]-11/800*lambda[7]*lambda[3]-1/300*lambda[2])*v[7]^4*v[6]^5*
v[5]^5*v[4]+(23/5214553344000*lambda[7]^6-1/331082752000*lambda[7]^4*lambda[6]
-67/1986496512000*lambda[7]^2*lambda[6]^2-17581/166865707008000*lambda[6]^3-\
421/5214553344000*lambda[7]^3*lambda[5]-43507/166865707008000*lambda[7]*lambda
[6]*lambda[5]-3/28700672000*lambda[5]^2-279/1324331008000*lambda[7]^2*lambda[4
]+487/13905475584000*lambda[6]*lambda[4]-7459/27810951168000*lambda[7]*lambda[
3])*v[7]^19*v[6]^3*v[5]*v[4]^2+(-197/8072064000*lambda[7]^4*lambda[6]+1/
9172800*lambda[7]^2*lambda[6]^2-401/3228825600*lambda[6]^3+4789/16144128000*
lambda[7]^3*lambda[5]+3061/8072064000*lambda[7]*lambda[6]*lambda[5]+79/
672672000*lambda[5]^2-89/1345344000*lambda[7]^2*lambda[4]-47/336336000*lambda[
6]*lambda[4]+1/134534400*lambda[7]*lambda[3])*v[7]^15*v[6]^3*v[5]*v[3]^2+(19/
1120*lambda[7]^2*lambda[6]^2+1/140*lambda[6]^3-3/560*lambda[7]^3*lambda[5]-2/
35*lambda[7]*lambda[6]*lambda[5]-1/70*lambda[5]^2-9/560*lambda[7]^2*lambda[4]-\
1/35*lambda[6]*lambda[4]+13/280*lambda[7]*lambda[3]+2/35*lambda[2])*v[7]^4*v[6
]*v[5]^7*v[4]+(3/80*lambda[6]^3+13/80*lambda[7]*lambda[6]*lambda[5]+1/120*
lambda[5]^2+1/120*lambda[7]^2*lambda[4]+11/60*lambda[6]*lambda[4]+17/120*
lambda[7]*lambda[3]+2/15*lambda[2])*v[7]^3*v[6]^3*v[5]^5*v[4]^2+(-1/1120*
lambda[7]*lambda[6]*lambda[5]-1/1120*lambda[5]^2-1/1120*lambda[7]^2*lambda[4]-\
1/560*lambda[6]*lambda[4]-3/1120*lambda[7]*lambda[3]-1/70*lambda[2])*v[7]*v[6]
^7*v[5]*v[4]^4-1/2*lambda[2]*v[7]^2*v[5]*v[4]^2*v[2]*v[1]+(-3/20*lambda[6]*
lambda[4]+2/5*lambda[2])*v[6]^5*v[5]*v[4]*v[3]*v[1]+(1/420*lambda[7]^2*lambda[
4]-1/105*lambda[6]*lambda[4]-3/280*lambda[7]*lambda[3]-13/560*lambda[2])*v[7]^
7*v[4]*v[3]*v[2]^2+(1/3136000*lambda[7]^2*lambda[6]^2+1/2508800*lambda[6]^3-1/
1176000*lambda[7]^3*lambda[5]+1/268800*lambda[7]*lambda[6]*lambda[5]+1/322560*
lambda[5]^2-19/2822400*lambda[7]^2*lambda[4]-13/5644800*lambda[6]*lambda[4]-47
/1881600*lambda[7]*lambda[3]-1/112000*lambda[2])*v[7]^10*v[6]^7*v[4]*v[2]+(-3/
1280*lambda[6]^3-1/320*lambda[7]*lambda[6]*lambda[5]+1/960*lambda[5]^2+3/640*
lambda[7]^2*lambda[4]+1/960*lambda[6]*lambda[4]+3/320*lambda[7]*lambda[3]+1/
480*lambda[2])*v[7]^4*v[6]^6*v[5]^2*v[4]^3-1/1600*lambda[2]*v[7]^5*v[6]^8*v[4]
*v[1]+3/20*lambda[2]*v[7]^5*v[5]*v[3]*v[2]*v[1]+(3/80*lambda[6]^3-43/120*
lambda[7]*lambda[6]*lambda[5]-1/30*lambda[5]^2-1/120*lambda[7]^2*lambda[4]-1/
15*lambda[6]*lambda[4]-1/20*lambda[7]*lambda[3]+2/15*lambda[2])*v[7]^3*v[6]^5*
v[5]^3*v[3]^2+1/8*lambda[2]*v[7]*v[6]^2*v[4]^4*v[3]^2+(1/8*lambda[6]*lambda[4]
+3/16*lambda[7]*lambda[3]+1/4*lambda[2])*v[7]^4*v[6]^3*v[5]*v[4]*v[2]^2+(-1/
33600*lambda[7]^4*lambda[6]-19/67200*lambda[7]^2*lambda[6]^2+3/22400*lambda[6]
^3+1/4200*lambda[7]^3*lambda[5]+1/2688*lambda[7]*lambda[6]*lambda[5]+1/1600*
lambda[5]^2+9/11200*lambda[7]^2*lambda[4]+11/16800*lambda[6]*lambda[4]+43/
33600*lambda[7]*lambda[3]+1/2100*lambda[2])*v[7]^7*v[6]^5*v[5]^3*v[4]^2+(13/
44800*lambda[7]*lambda[3]+17/67200*lambda[2])*v[7]^10*v[5]*v[4]^3*v[2]-1/4*
lambda[2]*v[7]^2*v[6]^2*v[2]^2*v[1]+(1/35200*lambda[7]^2*lambda[6]^2+3/246400*
lambda[6]^3+19/184800*lambda[7]^3*lambda[5]+1/24640*lambda[7]*lambda[6]*lambda
[5]+27/61600*lambda[5]^2+1/9240*lambda[7]^2*lambda[4]+47/8800*lambda[6]*lambda
[4]+3/4400*lambda[7]*lambda[3]+1/3850*lambda[2])*v[7]*v[6]^11*v[5]*v[4]*v[3]+(
-23/1235025792000*lambda[7]^6-23/823350528000*lambda[7]^4*lambda[6]+167/
470486016000*lambda[7]^2*lambda[6]^2+18527/79041650688000*lambda[6]^3-1/
274450176000*lambda[7]^3*lambda[5]-3427/2195601408000*lambda[7]*lambda[6]*
lambda[5]-23/41820979200*lambda[5]^2+29/57028608000*lambda[7]^2*lambda[4]-59/
44808192000*lambda[6]*lambda[4]+141/48791142400*lambda[7]*lambda[3]+37/
16633344000*lambda[2])*v[7]^18*v[6]*v[5]*v[4]^3+(19/13440*lambda[7]^2*lambda[4
]+1/1680*lambda[6]*lambda[4]+1/640*lambda[7]*lambda[3]+1/1344*lambda[2])*v[7]^
9*v[5]^2*v[4]^3*v[3]+(-1/1971200*lambda[6]^3+29/591360*lambda[7]*lambda[6]*
lambda[5]-1/140800*lambda[5]^2+9/49280*lambda[7]^2*lambda[4]+23/1478400*lambda
[6]*lambda[4]+3/30800*lambda[7]*lambda[3]-3/35200*lambda[2])*v[7]^3*v[6]^12*v[
4]*v[3]+(11/35840*lambda[7]^2*lambda[6]^2+13/35840*lambda[6]^3+209/645120*
lambda[7]^3*lambda[5]+157/161280*lambda[7]*lambda[6]*lambda[5]+1/53760*lambda[
5]^2+13/107520*lambda[7]^2*lambda[4]+3/8960*lambda[6]*lambda[4]-11/26880*
lambda[7]*lambda[3]-3/4480*lambda[2])*v[7]^9*v[6]^4*v[5]^2*v[3]^2+(-1/420*
lambda[7]^3*lambda[5]-1/84*lambda[7]*lambda[6]*lambda[5]-1/280*lambda[5]^2-11/
420*lambda[7]^2*lambda[4]-1/42*lambda[6]*lambda[4]+31/560*lambda[7]*lambda[3]+
13/280*lambda[2])*v[7]^7*v[6]*v[5]^2*v[4]*v[3]*v[2]-1/4*lambda[2]*v[6]^4*v[5]^
2*v[4]^2*v[1]-3/4480*lambda[2]*v[7]^9*v[4]^2*v[3]*v[1]+(-3/4480*lambda[7]^2*
lambda[6]^2-9/4480*lambda[6]^3-31/5376*lambda[7]^3*lambda[5]-9/2240*lambda[7]*
lambda[6]*lambda[5]-67/2240*lambda[5]^2-101/13440*lambda[7]^2*lambda[4]-27/
1120*lambda[6]*lambda[4]+1/224*lambda[7]*lambda[3]-13/560*lambda[2])*v[7]*v[6]
^8*v[5]^2*v[3]^2+(-3/2464000*lambda[7]^4*lambda[6]-9/4928000*lambda[7]^2*
lambda[6]^2+3/2464000*lambda[6]^3-13/7392000*lambda[7]^3*lambda[5]+127/
29568000*lambda[7]*lambda[6]*lambda[5]-1/739200*lambda[5]^2-229/14784000*
lambda[7]^2*lambda[4]-1/1848000*lambda[6]*lambda[4]-83/4928000*lambda[7]*
lambda[3])*v[7]^11*v[6]^5*v[5]^2*v[2]+(3/160*lambda[6]^3+1/120*lambda[7]*
lambda[6]*lambda[5]+1/40*lambda[5]^2-1/60*lambda[7]^2*lambda[4]-3/40*lambda[6]
*lambda[4]-7/60*lambda[7]*lambda[3]-1/10*lambda[2])*v[7]^4*v[6]*v[5]^5*v[1]+(-\
19/896896000*lambda[7]^4*lambda[6]+141/1793792000*lambda[7]^2*lambda[6]^2+17/
179379200*lambda[6]^3+31/896896000*lambda[7]^3*lambda[5]+437/1793792000*lambda
[7]*lambda[6]*lambda[5]+1/8624000*lambda[5]^2-379/2690688000*lambda[7]^2*
lambda[4]+17/134534400*lambda[6]*lambda[4]-53/128128000*lambda[7]*lambda[3]-1/
5096000*lambda[2])*v[7]^15*v[6]^3*v[5]^2*v[2]+(-1/4480*lambda[7]^3*lambda[5]-1
/896*lambda[7]*lambda[6]*lambda[5]+1/1792*lambda[5]^2-43/13440*lambda[7]^2*
lambda[4]-31/6720*lambda[6]*lambda[4]-3/1792*lambda[7]*lambda[3]+3/1120*lambda
[2])*v[7]^7*v[6]^4*v[4]^2*v[3]^2+(-1/22400*lambda[7]^2*lambda[6]^2-1/44800*
lambda[6]^3-1/50400*lambda[7]^3*lambda[5]-19/100800*lambda[7]*lambda[6]*lambda
[5]-17/201600*lambda[5]^2+7/28800*lambda[7]^2*lambda[4]+1/100800*lambda[6]*
lambda[4]+9/11200*lambda[7]*lambda[3]+1/1400*lambda[2])*v[7]^6*v[6]^7*v[5]*v[4
]^3-1/2*lambda[2]*v[7]^3*v[6]*v[5]*v[4]^2*v[2]^2+(-3/80*lambda[7]^2*lambda[4]-\
3/20*lambda[6]*lambda[4]-3/40*lambda[7]*lambda[3]-11/120*lambda[2])*v[7]^5*v[6
]^2*v[5]^2*v[4]^3*v[3]+(-1/120*lambda[7]^2*lambda[4]-1/240*lambda[6]*lambda[4]
-9/160*lambda[7]*lambda[3])*v[7]^6*v[5]^2*v[4]*v[2]^2+(1/1600*lambda[7]^2*
lambda[6]^2+1/3200*lambda[6]^3+1/3600*lambda[7]^3*lambda[5]+19/7200*lambda[7]*
lambda[6]*lambda[5]+17/14400*lambda[5]^2-49/14400*lambda[7]^2*lambda[4]-1/7200
*lambda[6]*lambda[4]+3/1600*lambda[7]*lambda[3]+3/400*lambda[2])*v[7]^6*v[6]^6
*v[5]*v[3]*v[2]+(1/156800*lambda[7]^2*lambda[6]^2+13/1254400*lambda[6]^3+1/
352800*lambda[7]^3*lambda[5]+1/57600*lambda[7]*lambda[6]*lambda[5]+1/176400*
lambda[5]^2+1/161280*lambda[7]^2*lambda[4]-169/2822400*lambda[6]*lambda[4]+83/
627200*lambda[7]*lambda[3]-1/11200*lambda[2])*v[7]^8*v[6]^7*v[3]*v[2]+(1/
19219200*lambda[7]^4*lambda[6]-5/21525504*lambda[7]^2*lambda[6]^2+401/
1076275200*lambda[6]^3-17/134534400*lambda[7]^3*lambda[5]+163/269068800*lambda
[7]*lambda[6]*lambda[5]+159/179379200*lambda[5]^2+23/16307200*lambda[7]^2*
lambda[4]+229/89689600*lambda[6]*lambda[4]+3/16307200*lambda[7]*lambda[3]-1/
4076800*lambda[2])*v[7]^14*v[6]^2*v[5]*v[3]*v[2]+1/400*lambda[2]*v[7]*v[6]^10*
v[4]*v[1]+(-33/81536000*lambda[7]*lambda[3]-11/40768000*lambda[2])*v[7]^15*v[5
]*v[4]^2*v[2]+1/8*lambda[2]*v[7]^4*v[6]^2*v[5]^2*v[4]^2*v[1]+(-1/115315200*
lambda[7]^6+31/71751680*lambda[7]^4*lambda[6]+127/82790400*lambda[7]^2*lambda[
6]^2+53/57657600*lambda[6]^3+23/67267200*lambda[7]^3*lambda[5]+47/35875840*
lambda[7]*lambda[6]*lambda[5]+1/12230400*lambda[5]^2+643/538137600*lambda[7]^2
*lambda[4]+109/67267200*lambda[6]*lambda[4]+3/2562560*lambda[7]*lambda[3]-1/
3057600*lambda[2])*v[7]^14*v[6]^3*v[5]^3*v[3]+(79/5376000*lambda[7]^4*lambda[6
]+181/1792000*lambda[7]^2*lambda[6]^2-31/1344000*lambda[6]^3-1/8064000*lambda[
7]^3*lambda[5]-53/2016000*lambda[7]*lambda[6]*lambda[5]-1/1008000*lambda[5]^2-\
181/4032000*lambda[7]^2*lambda[4]-1/126000*lambda[6]*lambda[4]-3/44800*lambda[
7]*lambda[3])*v[7]^6*v[6]^10*v[5]^2*v[4]+(-137/3311616000*lambda[7]^4*lambda[6
]-13/118272000*lambda[7]^2*lambda[6]^2-1/39424000*lambda[6]^3-43/1986969600*
lambda[7]^3*lambda[5]-199/2483712000*lambda[7]*lambda[6]*lambda[5]-3/137984000
*lambda[5]^2+29/206976000*lambda[7]^2*lambda[4]+1/18816000*lambda[6]*lambda[4]
+101/413952000*lambda[7]*lambda[3]+3/34496000*lambda[2])*v[7]^9*v[6]^13*v[5]+(
17/98560000*lambda[7]^4*lambda[6]+27/68992000*lambda[7]^2*lambda[6]^2-3/
24640000*lambda[6]^3+43/295680000*lambda[7]^3*lambda[5]-239/517440000*lambda[7
]*lambda[6]*lambda[5]-29/129360000*lambda[5]^2+17/73920000*lambda[7]^2*lambda[
4]+1/4620000*lambda[6]*lambda[4]+3/12320000*lambda[7]*lambda[3]+1/1540000*
lambda[2])*v[7]^5*v[6]^15*v[5]+(1/39424000*lambda[7]^4*lambda[6]-3/9856000*
lambda[6]^3+1/39424000*lambda[7]^3*lambda[5]+1/4224000*lambda[7]*lambda[6]*
lambda[5]-1/4928000*lambda[5]^2-1/4928000*lambda[7]^2*lambda[4]+1/1478400*
lambda[6]*lambda[4]+3/4928000*lambda[7]*lambda[3]+1/1232000*lambda[2])*v[7]*v[
6]^17*v[5]+(-23/32288256000*lambda[7]^6+43/7175168000*lambda[7]^4*lambda[6]+
4171/172204032000*lambda[7]^2*lambda[6]^2+1349/129153024000*lambda[6]^3+1909/
43051008000*lambda[7]^3*lambda[5]+41/896896000*lambda[7]*lambda[6]*lambda[5]-\
207/7175168000*lambda[5]^2-93/2050048000*lambda[7]^2*lambda[4]-17/430510080*
lambda[6]*lambda[4]+1/827904000*lambda[7]*lambda[3]+207/1793792000*lambda[2])*
v[7]^16*v[5]^4*v[3]+(-27/1792*lambda[7]^2*lambda[6]^2+93/2240*lambda[6]^3+3/
2240*lambda[7]^3*lambda[5]-5/112*lambda[7]*lambda[6]*lambda[5]-41/3360*lambda[
5]^2+23/6720*lambda[7]^2*lambda[4]+1/560*lambda[6]*lambda[4]-1/80*lambda[7]*
lambda[3]-1/120*lambda[2])*v[6]^8*v[5]^4*v[3]+(-1/4480*lambda[7]^4*lambda[6]-\
51/89600*lambda[7]^2*lambda[6]^2-1/22400*lambda[6]^3-13/44800*lambda[7]^3*
lambda[5]+3/11200*lambda[7]*lambda[6]*lambda[5]+1/11200*lambda[5]^2+9/22400*
lambda[7]^2*lambda[4]+1/5600*lambda[6]*lambda[4]-1/1120*lambda[7]*lambda[3]-1/
2800*lambda[2])*v[7]^8*v[5]^6*v[3]+(-1/160*lambda[7]^2*lambda[6]^2+9/40*lambda
[6]^3-3/80*lambda[7]^3*lambda[5]+2/5*lambda[7]*lambda[6]*lambda[5]+1/20*lambda
[5]^2-1/40*lambda[7]^2*lambda[4]+1/10*lambda[6]*lambda[4]-1/5*lambda[2])*v[6]^
4*v[5]^6*v[3]+(-1/2508800*lambda[7]^2*lambda[6]^2-13/20070400*lambda[6]^3-1/
5644800*lambda[7]^3*lambda[5]-1/921600*lambda[7]*lambda[6]*lambda[5]-1/2822400
*lambda[5]^2-1/2580480*lambda[7]^2*lambda[4]+169/45158400*lambda[6]*lambda[4]+
53/5017600*lambda[7]*lambda[3]-1/1075200*lambda[2])*v[7]^8*v[6]^8*v[4]^3+(1/
358400*lambda[6]^3-1/268800*lambda[7]*lambda[6]*lambda[5]+1/268800*lambda[5]^2
+1/25600*lambda[7]^2*lambda[4]+1/53760*lambda[6]*lambda[4]+1/12800*lambda[7]*
lambda[3]-1/19200*lambda[2])*v[7]^4*v[6]^10*v[4]^3+(1/18378565632000*lambda[7]
^6-1277/398202255360000*lambda[7]^4*lambda[6]+12599/1078209183744000*lambda[7]
^2*lambda[6]^2+547/462089650176000*lambda[6]^3-274957/46722397962240000*lambda
[7]^3*lambda[5]+276121/11680599490560000*lambda[7]*lambda[6]*lambda[5]+1187/
155741326540800*lambda[5]^2+143753/23361198981120000*lambda[7]^2*lambda[4]+
8581/5840299745280000*lambda[6]*lambda[4]+7213/648922193920000*lambda[7]*
lambda[3]+281/973383290880000*lambda[2])*v[7]^21*v[6]^2*v[3]^2+(-117/985600*
lambda[7]^2*lambda[6]^2+13/35200*lambda[6]^3-13/211200*lambda[7]^3*lambda[5]+1
/2400*lambda[7]*lambda[6]*lambda[5]+1/24640*lambda[5]^2-1/739200*lambda[7]^2*
lambda[4]+23/36960*lambda[6]*lambda[4]+1/12320*lambda[7]*lambda[3]+1/2800*
lambda[2])*v[6]^12*v[5]^2*v[3]+(1/7096320000*lambda[7]^6+47/16558080000*lambda
[7]^4*lambda[6]+477/22077440000*lambda[7]^2*lambda[6]^2+239/49674240000*lambda
[6]^3-719/8279040000*lambda[7]^3*lambda[5]-23/788480000*lambda[7]*lambda[6]*
lambda[5]-107/12418560000*lambda[5]^2-3149/49674240000*lambda[7]^2*lambda[4]-1
/56448000*lambda[6]*lambda[4]+479/8279040000*lambda[7]*lambda[3]+1/49280000*
lambda[2])*v[7]^12*v[6]^10*v[3]+(-3589349/39515134345150464000000*lambda[7]^6-\
20711/4610099006934220800000*lambda[7]^4*lambda[6]+79733/98611743463833600000*
lambda[7]^2*lambda[6]^2-617993/3457574255200665600000*lambda[6]^3-79351/
472830667377868800000*lambda[7]^3*lambda[5]-1124141/1536699668978073600000*
lambda[7]*lambda[6]*lambda[5]-3637/128058305748172800000*lambda[5]^2+59677/
1536699668978073600000*lambda[7]^2*lambda[4]+90301/120054661638912000000*
lambda[6]*lambda[4]+9677/38805547196416000000*lambda[7]*lambda[3]-1/
12720349824000000*lambda[2])*v[7]^27*v[6]^2*v[5]^2+(18400127/
425547600640081920000*lambda[7]^6+219731/361860204625920000*lambda[7]^4*lambda
[6]+36670783/70924600106680320000*lambda[7]^2*lambda[6]^2+87169/
2045901926154240000*lambda[6]^3-139079/1576102224592896000*lambda[7]^3*lambda[
5]+36847/281446825820160000*lambda[7]*lambda[6]*lambda[5]-59/9471768176640000*
lambda[5]^2+7519/168868095492096000*lambda[7]^2*lambda[4]-51133/
738797917777920000*lambda[6]*lambda[4]-2137/6888558673920000*lambda[7]*lambda[
3]+163/1017627985920000*lambda[2])*v[7]^23*v[6]^4*v[5]^2+(-29/2508800*lambda[7
]^4*lambda[6]-423/10035200*lambda[7]^2*lambda[6]^2-139/2508800*lambda[6]^3+397
/9031680*lambda[7]^3*lambda[5]+809/2257920*lambda[7]*lambda[6]*lambda[5]+493/
11289600*lambda[5]^2+5/129024*lambda[7]^2*lambda[4]-191/5644800*lambda[6]*
lambda[4]-1/313600*lambda[7]*lambda[3]-13/313600*lambda[2])*v[7]^8*v[6]^8*v[5]
^2*v[3]+(9/160*lambda[7]*lambda[3]+1/40*lambda[2])*v[7]^5*v[6]^2*v[4]^2*v[2]^2
+(1/6720*lambda[7]^3*lambda[5]+1/1344*lambda[7]*lambda[6]*lambda[5]+1/4480*
lambda[5]^2+11/6720*lambda[7]^2*lambda[4]+1/672*lambda[6]*lambda[4]+1/224*
lambda[7]*lambda[3]+1/420*lambda[2])*v[7]^7*v[6]^2*v[5]^2*v[4]^4+(-1/4480*
lambda[6]^3-61/6720*lambda[7]*lambda[6]*lambda[5]+1/1120*lambda[5]^2-1/2240*
lambda[7]^2*lambda[4]-1/240*lambda[6]*lambda[4]+1/280*lambda[2])*v[7]^3*v[6]^9
*v[5]*v[3]^2+3/22400*lambda[2]*v[7]^10*v[6]^3*v[2]*v[1]+1/16*lambda[2]*v[7]^2*
v[6]^2*v[4]^4*v[1]+(-1/2*lambda[7]*lambda[3]-lambda[2])*v[7]*v[6]^2*v[5]*v[2]^
3+(3/4480*lambda[6]^3-1/1120*lambda[7]*lambda[6]*lambda[5]-3/560*lambda[5]^2+9
/2240*lambda[7]^2*lambda[4]-3/160*lambda[6]*lambda[4]-1/2240*lambda[7]*lambda[
3]-3/280*lambda[2])*v[6]^9*v[5]*v[4]^2*v[3]+(-3/64*lambda[6]^3+9/32*lambda[7]*
lambda[6]*lambda[5]+3/32*lambda[5]^2-1/24*lambda[7]^2*lambda[4]+1/48*lambda[6]
*lambda[4]-1/12*lambda[7]*lambda[3]-1/24*lambda[2])*v[7]^3*v[6]^4*v[5]^4*v[4]*
v[3]+(-7/320*lambda[5]^2+1/40*lambda[6]*lambda[4]-7/320*lambda[7]*lambda[3]-1/
40*lambda[2])*v[7]^3*v[6]^6*v[4]^2*v[3]^2+(1/28828800*lambda[7]^6+1/9609600*
lambda[7]^4*lambda[6]-1/3660800*lambda[7]^2*lambda[6]^2-401/230630400*lambda[6
]^3-67/19219200*lambda[7]^3*lambda[5]-41/7687680*lambda[7]*lambda[6]*lambda[5]
+1/3203200*lambda[5]^2+7/686400*lambda[7]^2*lambda[4]-61/19219200*lambda[6]*
lambda[4]+1/64064*lambda[7]*lambda[3])*v[7]^13*v[6]*v[5]^3*v[4]*v[3]+(1/739200
*lambda[7]^4*lambda[6]+1/739200*lambda[7]^2*lambda[6]^2-79/5913600*lambda[6]^3
+1/492800*lambda[7]*lambda[6]*lambda[5]+3/492800*lambda[5]^2-1/2956800*lambda[
7]^2*lambda[4]-1/1478400*lambda[6]*lambda[4]+17/985600*lambda[7]*lambda[3]-1/
61600*lambda[2])*v[7]^12*v[6]*v[5]^2*v[3]*v[2]+(1/8*lambda[6]^3+5/24*lambda[7]
*lambda[6]*lambda[5]+1/48*lambda[7]^2*lambda[4]-1/24*lambda[7]*lambda[3])*v[7]
^4*v[6]*v[5]^3*v[3]^3+(23/9225216000*lambda[7]^6+3551/129153024000*lambda[7]^4
*lambda[6]+383/206644838400*lambda[7]^2*lambda[6]^2-6157/258306048000*lambda[6
]^3-779/172204032000*lambda[7]^3*lambda[5]-1/54912000*lambda[7]*lambda[6]*
lambda[5]-73/8610201600*lambda[5]^2+3391/86102016000*lambda[7]^2*lambda[4]-17/
861020160*lambda[6]*lambda[4]+551/7175168000*lambda[7]*lambda[3]+207/
3587584000*lambda[2])*v[7]^16*v[6]^4*v[5]^2*v[3]+(-1/1120*lambda[7]^2*lambda[6
]^2-13/8960*lambda[6]^3-1/320*lambda[7]*lambda[6]*lambda[5]-1/560*lambda[5]^2+
23/13440*lambda[7]^2*lambda[4]-13/6720*lambda[6]*lambda[4]+1/4480*lambda[7]*
lambda[3]-1/560*lambda[2])*v[7]^8*v[6]^3*v[5]^2*v[3]*v[2]+(28876597/
1371965464463624110080000000*lambda[7]^6-747059/7275574432761643008000000*
lambda[7]^4*lambda[6]+12908317/320125275041512292352000000*lambda[7]^2*lambda[
6]^2-717319/24009395628113421926400000*lambda[6]^3+1697393/
11856491668204158976000000*lambda[7]^3*lambda[5]+57611/
269465719731912704000000*lambda[7]*lambda[6]*lambda[5]+911/
12703383930218741760000*lambda[5]^2-3326231/7020291119331409920000000*lambda[7
]^2*lambda[4]+1965001/16673191408412098560000000*lambda[6]*lambda[4]-90787/
183726627089940480000000*lambda[7]*lambda[3]-451/1766602183557120000000*lambda
[2])*v[7]^31*v[6]^4+(-1181/162363801600000*lambda[7]^6-457/20295475200000*
lambda[7]^4*lambda[6]-703/568273305600000*lambda[7]^2*lambda[6]^2+883/
165746380800000*lambda[6]^3+9679/568273305600000*lambda[7]^3*lambda[5]+10001/
994478284800000*lambda[7]*lambda[6]*lambda[5]-443/35517081600000*lambda[5]^2-\
523/28413665280000*lambda[7]^2*lambda[4]-2459/124309785600000*lambda[6]*lambda
[4]+53/2152550400000*lambda[7]*lambda[3]+3/89689600000*lambda[2])*v[7]^15*v[6]
^12+(-3/3200*lambda[7]^2*lambda[6]^2-3/640*lambda[6]^3-31/3840*lambda[7]^3*
lambda[5]-169/4800*lambda[7]*lambda[6]*lambda[5]-29/4800*lambda[5]^2-13/1920*
lambda[7]^2*lambda[4]-37/2400*lambda[6]*lambda[4]-1/800*lambda[7]*lambda[3]+3/
400*lambda[2])*v[7]^5*v[6]^6*v[5]^2*v[3]^2+(-117/179200*lambda[7]^2*lambda[6]^
2-31/44800*lambda[6]^3-13/38400*lambda[7]^3*lambda[5]-29/26880*lambda[7]*
lambda[6]*lambda[5]-3/5600*lambda[5]^2-53/134400*lambda[7]^2*lambda[4]-1/4200*
lambda[6]*lambda[4]+11/22400*lambda[7]*lambda[3])*v[7]^4*v[6]^10*v[5]^2*v[3]+(
-1/67200*lambda[7]^2*lambda[6]^2-1/53760*lambda[6]^3+11/67200*lambda[7]*lambda
[6]*lambda[5]+3/44800*lambda[5]^2+13/134400*lambda[7]^2*lambda[4]+3/22400*
lambda[6]*lambda[4]+11/67200*lambda[7]*lambda[3])*v[7]^10*v[6]*v[5]^3*v[4]^3+(
-19/12800*lambda[7]^2*lambda[6]^2-11/268800*lambda[7]^3*lambda[5]-61/67200*
lambda[7]*lambda[6]*lambda[5]-1/16800*lambda[5]^2-13/67200*lambda[7]^2*lambda[
4]-13/33600*lambda[7]*lambda[3])*v[7]^3*v[6]^10*v[5]^4+(1/4480*lambda[7]*
lambda[6]*lambda[5]-1/13440*lambda[5]^2+1/4480*lambda[7]^2*lambda[4]+1/2240*
lambda[6]*lambda[4]+3/4480*lambda[7]*lambda[3])*v[7]^9*v[6]^3*v[5]*v[3]*v[1]+(
1/4480*lambda[7]^4*lambda[6]+227/268800*lambda[7]^2*lambda[6]^2+37/67200*
lambda[6]^3-1/1600*lambda[7]^3*lambda[5]-23/16800*lambda[7]*lambda[6]*lambda[5
]-1/4800*lambda[5]^2-67/44800*lambda[7]^2*lambda[4]-1/525*lambda[6]*lambda[4]-\
1/13440*lambda[7]*lambda[3]+1/4200*lambda[2])*v[7]^8*v[6]^3*v[5]^5*v[4]+(-
lambda[6]*lambda[4]-3/2*lambda[7]*lambda[3]-2*lambda[2])*v[6]*v[5]^3*v[4]*v[2]
^2+(1/8960*lambda[7]*lambda[6]*lambda[5]-1/8960*lambda[5]^2-1/8960*lambda[7]^2
*lambda[4]+3/1792*lambda[6]*lambda[4]-1/8960*lambda[7]*lambda[3]-1/1120*lambda
[2])*v[7]^9*v[6]^2*v[4]*v[3]^3+(-9/80*lambda[6]^3-3/20*lambda[7]*lambda[6]*
lambda[5]-1/10*lambda[5]^2+1/8*lambda[7]^2*lambda[4]-21/20*lambda[6]*lambda[4]
-9/40*lambda[7]*lambda[3]-2/5*lambda[2])*v[6]^5*v[5]^3*v[4]^2*v[3]+(-3/32*
lambda[6]^3-1/8*lambda[7]*lambda[6]*lambda[5]+1/24*lambda[5]^2+5/48*lambda[7]^
2*lambda[4]+7/24*lambda[6]*lambda[4]+7/48*lambda[7]*lambda[3]+1/6*lambda[2])*v
[7]^4*v[6]^3*v[5]^3*v[4]^2*v[3]+(1/235200*lambda[7]^4*lambda[6]-1/14700*lambda
[7]^2*lambda[6]^2-1/22400*lambda[6]^3-467/1411200*lambda[7]^3*lambda[5]-617/
705600*lambda[7]*lambda[6]*lambda[5]+37/44100*lambda[5]^2-1/3528*lambda[7]^2*
lambda[4]-4/11025*lambda[6]*lambda[4]+1/19600*lambda[7]*lambda[3]-1/4900*
lambda[2])*v[7]^7*v[6]^7*v[5]*v[3]^2+(-9/80*lambda[7]*lambda[6]*lambda[5]-9/80
*lambda[5]^2-11/80*lambda[7]^2*lambda[4]-3/8*lambda[6]*lambda[4]-3/16*lambda[7
]*lambda[3]-3/5*lambda[2])*v[7]*v[6]^5*v[5]*v[4]^2*v[3]^2+lambda[2]*v[6]^2*v[5
]^3*v[2]*v[1]+(1/8*lambda[5]^2+1/4*lambda[6]*lambda[4]-1/4*lambda[7]*lambda[3]
-1/2*lambda[2])*v[7]^3*v[5]^2*v[3]^4+(1/320*lambda[5]^2+1/60*lambda[7]^2*
lambda[4]-7/240*lambda[6]*lambda[4]+1/80*lambda[7]*lambda[3]-1/80*lambda[2])*v
[7]^6*v[4]*v[3]^4+(14449/493939179314380800000*lambda[7]^6-6080483/
9220198013868441600000*lambda[7]^4*lambda[6]+25834447/18440396027736883200000*
lambda[7]^2*lambda[6]^2+4848229/2766059404160532480000*lambda[6]^3+567821/
3073399337956147200000*lambda[7]^3*lambda[5]-1034809/384174917244518400000*
lambda[7]*lambda[6]*lambda[5]-676891/256116611496345600000*lambda[5]^2+11467/
90394098175180800000*lambda[7]^2*lambda[4]-2701031/384174917244518400000*
lambda[6]*lambda[4]+2661/135683731456000000*lambda[7]*lambda[3]+37693/
2645832763392000000*lambda[2])*v[7]^26*v[5]^2*v[4]+(1/134400*lambda[7]^2*
lambda[6]^2+1/107520*lambda[6]^3-17/806400*lambda[7]^3*lambda[5]+163/1612800*
lambda[7]*lambda[6]*lambda[5]+47/537600*lambda[5]^2+19/1075200*lambda[7]^2*
lambda[4]+1/89600*lambda[6]*lambda[4]+19/268800*lambda[7]*lambda[3]-1/44800*
lambda[2])*v[7]^10*v[6]^4*v[3]^3+(-3/280*lambda[6]^3+11/840*lambda[7]*lambda[6
]*lambda[5]+13/140*lambda[5]^2-1/112*lambda[7]^2*lambda[4]+2/105*lambda[6]*
lambda[4]+3/280*lambda[7]*lambda[3]+2/35*lambda[2])*v[6]^7*v[5]*v[3]^3+(-1/8*
lambda[5]^2-1/16*lambda[6]*lambda[4]-1/8*lambda[7]*lambda[3]+1/8*lambda[2])*v[
6]^4*v[4]^2*v[3]^3+(-1/4800*lambda[7]^2*lambda[6]^2-1/9600*lambda[6]^3+17/
28800*lambda[7]^3*lambda[5]-7/5760*lambda[7]*lambda[6]*lambda[5]-83/28800*
lambda[5]^2-13/57600*lambda[7]^2*lambda[4]+1/14400*lambda[6]*lambda[4]-1/400*
lambda[7]*lambda[3]-1/800*lambda[2])*v[7]^6*v[6]^6*v[3]^3+(1/40*lambda[6]*
lambda[4]+1/16*lambda[7]*lambda[3]+1/10*lambda[2])*v[6]^6*v[3]*v[2]^2+(1/896*
lambda[5]^2+1/480*lambda[7]^2*lambda[4]-209/26880*lambda[6]*lambda[4]-3/4480*
lambda[7]*lambda[3]-13/4480*lambda[2])*v[7]^8*v[4]^2*v[3]^3+(-1/78848000*
lambda[7]^6-1/1254400*lambda[7]^4*lambda[6]-501/55193600*lambda[7]^2*lambda[6]
^2-101/34496000*lambda[6]^3-181/354816000*lambda[7]^3*lambda[5]-157/56448000*
lambda[7]*lambda[6]*lambda[5]-1/1108800*lambda[5]^2-113/620928000*lambda[7]^2*
lambda[4]+53/15523200*lambda[6]*lambda[4]+153/34496000*lambda[7]*lambda[3]+1/
392000*lambda[2])*v[7]^7*v[6]^12*v[5]^2+(29/1103872000*lambda[7]^2*lambda[6]^2
+3/39424000*lambda[6]^3+1/118272000*lambda[7]^3*lambda[5]-169/413952000*lambda
[7]*lambda[6]*lambda[5]-13/137984000*lambda[5]^2+71/118272000*lambda[7]^2*
lambda[4]-13/29568000*lambda[6]*lambda[4]+1/1408000*lambda[7]*lambda[3]+1/
704000*lambda[2])*v[7]^2*v[6]^16*v[4]+(1/2688000*lambda[7]^2*lambda[6]^2+1/
5376000*lambda[6]^3-1/1008000*lambda[7]^3*lambda[5]+1/576000*lambda[7]*lambda[
6]*lambda[5]+1/230400*lambda[5]^2-11/1008000*lambda[7]^2*lambda[4]+1/806400*
lambda[6]*lambda[4]-1/22400*lambda[7]*lambda[3]-1/32000*lambda[2])*v[7]^6*v[6]
^10*v[1]+(-3/3200*lambda[7]*lambda[3]-1/300*lambda[2])*v[7]^5*v[6]^2*v[4]^6+(-\
3/560*lambda[6]^3-1/140*lambda[7]*lambda[6]*lambda[5]-1/210*lambda[5]^2-1/210*
lambda[7]^2*lambda[4]+3/140*lambda[6]*lambda[4]-1/70*lambda[7]*lambda[3]-1/105
*lambda[2])*v[6]^7*v[5]^3*v[1]-7/480*lambda[2]*v[7]^5*v[4]^4*v[3]^2+(-1/80*
lambda[6]^3+1/20*lambda[7]*lambda[6]*lambda[5]+1/40*lambda[5]^2-1/10*lambda[7]
^2*lambda[4]+1/20*lambda[6]*lambda[4]-1/5*lambda[7]*lambda[3]-1/10*lambda[2])*
v[7]^2*v[5]^6*v[1]+(-1/66232320*lambda[7]^4*lambda[6]-193/6623232000*lambda[7]
^2*lambda[6]^2-127/1655808000*lambda[6]^3-367/496742400*lambda[7]^3*lambda[5]-\
943/2483712000*lambda[7]*lambda[6]*lambda[5]+563/2483712000*lambda[5]^2-3989/
4967424000*lambda[7]^2*lambda[4]+191/1241856000*lambda[6]*lambda[4]-13/
27596800*lambda[7]*lambda[3]+3/9856000*lambda[2])*v[7]^8*v[6]^12*v[3]+(-29/
55193600*lambda[7]^2*lambda[6]^2-1/1971200*lambda[6]^3+1/295680*lambda[7]^3*
lambda[5]+3/13798400*lambda[7]*lambda[6]*lambda[5]-1/862400*lambda[5]^2+1/
281600*lambda[7]^2*lambda[4]+1/739200*lambda[6]*lambda[4]-1/985600*lambda[7]*
lambda[3])*v[7]^4*v[6]^14*v[3]+(-1/985600*lambda[7]^2*lambda[6]^2+1/985600*
lambda[6]^3-61/5913600*lambda[7]^3*lambda[5]-1/295680*lambda[7]*lambda[6]*
lambda[5]+227/492800*lambda[5]^2-19/2956800*lambda[7]^2*lambda[4]-23/739200*
lambda[6]*lambda[4]+59/246400*lambda[7]*lambda[3]+3/17600*lambda[2])*v[7]*v[6]
^12*v[3]^2+(-1/403200*lambda[7]^3*lambda[5]-1/80640*lambda[7]*lambda[6]*lambda
[5]+1/161280*lambda[5]^2-11/403200*lambda[7]^2*lambda[4]-1/40320*lambda[6]*
lambda[4]-1/22400*lambda[7]*lambda[3]+1/8400*lambda[2])*v[7]^7*v[6]^6*v[4]^4+(
-23/1235025792000*lambda[7]^6-23/823350528000*lambda[7]^4*lambda[6]+167/
470486016000*lambda[7]^2*lambda[6]^2+18527/79041650688000*lambda[6]^3-1/
274450176000*lambda[7]^3*lambda[5]-3427/2195601408000*lambda[7]*lambda[6]*
lambda[5]-23/41820979200*lambda[5]^2+359/219560140800*lambda[7]^2*lambda[4]-83
/87824056320*lambda[6]*lambda[4]+1/187658240*lambda[7]*lambda[3]+1/365568000*
lambda[2])*v[7]^18*v[5]^2*v[1]+(1/80*lambda[7]*lambda[3]+1/20*lambda[2])*v[7]*
v[5]^2*v[4]^6+(1/100800*lambda[7]^3*lambda[5]+1/20160*lambda[7]*lambda[6]*
lambda[5]-1/40320*lambda[5]^2+11/100800*lambda[7]^2*lambda[4]+1/10080*lambda[6
]*lambda[4]+1/5600*lambda[7]*lambda[3]+1/1400*lambda[2])*v[7]^7*v[6]^6*v[2]^2+
3/20*lambda[2]*v[5]*v[4]^5*v[2]+(21053/3799532148572160000*lambda[7]^6+344143/
35462300053340160000*lambda[7]^4*lambda[6]-246643/2579076367515648000*lambda[7
]^2*lambda[6]^2-4630187/106386900160020480000*lambda[6]^3+168001/
23641533368893440000*lambda[7]^3*lambda[5]+251791/1182076668444672000*lambda[7
]*lambda[6]*lambda[5]+154747/1970127780741120000*lambda[5]^2-268613/
11820766684446720000*lambda[7]^2*lambda[4]+33977/227322436239360000*lambda[6]*
lambda[4]-281/1066086461440000*lambda[7]*lambda[3]-433/1791025255219200*lambda
[2])*v[7]^24*v[5]^2*v[3]+(-23/182966784000*lambda[7]^6+529/548900352000*lambda
[7]^4*lambda[6]-1153/702592450560*lambda[7]^2*lambda[6]^2-211/206644838400*
lambda[6]^3+229769/35129622528000*lambda[7]^3*lambda[5]-4211/675569664000*
lambda[7]*lambda[6]*lambda[5]-17/3130982400*lambda[5]^2-251/234197483520*
lambda[7]^2*lambda[4]+41/86102016000*lambda[6]*lambda[4]-9407/1463734272000*
lambda[7]*lambda[3]+9/1103872000*lambda[2])*v[7]^17*v[6]^4*v[3]^2+(-1/
1153152000*lambda[7]^6+1/384384000*lambda[7]^4*lambda[6]+139/3075072000*lambda
[7]^2*lambda[6]^2-79/709632000*lambda[6]^3+2381/6150144000*lambda[7]^3*lambda[
5]+157/219648000*lambda[7]*lambda[6]*lambda[5]+1933/4612608000*lambda[5]^2+313
/1845043200*lambda[7]^2*lambda[4]+841/2306304000*lambda[6]*lambda[4]-17/
153753600*lambda[7]*lambda[3]+47/128128000*lambda[2])*v[7]^13*v[6]^6*v[3]^2+(1
/10035200*lambda[7]^2*lambda[6]^2-13/10035200*lambda[6]^3+239/180633600*lambda
[7]^3*lambda[5]-293/45158400*lambda[7]*lambda[6]*lambda[5]-947/45158400*lambda
[5]^2+41/90316800*lambda[7]^2*lambda[4]+17/4515840*lambda[6]*lambda[4]-3/
100352*lambda[7]*lambda[3]-3/179200*lambda[2])*v[7]^9*v[6]^8*v[3]^2+1/320*
lambda[2]*v[7]^6*v[4]^4*v[1]+(1/160*lambda[7]*lambda[6]*lambda[5]-1/160*lambda
[5]^2+1/160*lambda[7]^2*lambda[4]+1/80*lambda[6]*lambda[4]+3/160*lambda[7]*
lambda[3])*v[7]^5*v[6]*v[5]^3*v[4]^4+(-1/840*lambda[7]^2*lambda[4]-13/6720*
lambda[6]*lambda[4]-9/896*lambda[7]*lambda[3]-1/1120*lambda[2])*v[7]^8*v[6]*v[
5]*v[4]*v[2]^2-1/8960*lambda[2]*v[7]^8*v[6]^4*v[4]^2*v[1]+(1/8*lambda[7]*
lambda[6]*lambda[5]-3/4*lambda[5]^2+11/16*lambda[7]^2*lambda[4]+3/4*lambda[6]*
lambda[4]+3/4*lambda[7]*lambda[3]+lambda[2])*v[6]^2*v[5]^4*v[4]*v[3]^2+(-1/
1537536000*lambda[7]^6-16483/129153024000*lambda[7]^4*lambda[6]-40297/
129153024000*lambda[7]^2*lambda[6]^2-43/1291530240*lambda[6]^3+569/12915302400
*lambda[7]^3*lambda[5]+2627/16144128000*lambda[7]*lambda[6]*lambda[5]-47/
4036032000*lambda[5]^2+7349/32288256000*lambda[7]^2*lambda[4]+1073/4036032000*
lambda[6]*lambda[4]+827/5381376000*lambda[7]*lambda[3]+1/20384000*lambda[2])*v
[7]^14*v[6]^6*v[5]^2*v[4]+(-7/320*lambda[7]*lambda[3]-1/480*lambda[2])*v[7]^4*
v[6]^5*v[4]^3*v[2]+(-1/40*lambda[7]*lambda[6]*lambda[5]+1/40*lambda[5]^2-1/40*
lambda[7]^2*lambda[4]-1/20*lambda[6]*lambda[4]-3/40*lambda[7]*lambda[3]-1/10*
lambda[2])*v[7]^5*v[6]*v[5]^3*v[2]^2+(9/89600*lambda[7]^2*lambda[6]^2+3/44800*
lambda[6]^3-17/67200*lambda[7]^3*lambda[5]-29/134400*lambda[7]*lambda[6]*
lambda[5]-3/22400*lambda[5]^2-3/11200*lambda[7]^2*lambda[4]-3/11200*lambda[6]*
lambda[4]+3/4480*lambda[7]*lambda[3]+3/5600*lambda[2])*v[7]^9*v[5]^5*v[2]+(3/
246400*lambda[6]^3-1/61600*lambda[7]*lambda[6]*lambda[5]-3/30800*lambda[5]^2-3
/30800*lambda[7]^2*lambda[4]+3/8800*lambda[6]*lambda[4]+1/6160*lambda[7]*
lambda[3]+1/3850*lambda[2])*v[6]^11*v[5]*v[1]+(1/78848000*lambda[7]^4*lambda[6
]+11/150528000*lambda[7]^2*lambda[6]^2-1/59136000*lambda[6]^3+1/22176000*
lambda[7]^3*lambda[5]+19/77616000*lambda[7]*lambda[6]*lambda[5]-1/28224000*
lambda[5]^2-13/35481600*lambda[7]^2*lambda[4]+1/22176000*lambda[6]*lambda[4]-1
/1971200*lambda[7]*lambda[3])*v[7]^6*v[6]^14*v[4]+(23/1568286720000*lambda[7]^
6-23/457416960000*lambda[7]^4*lambda[6]-23/709689344000*lambda[7]^2*lambda[6]^
2-37/21956014080000*lambda[6]^3-73621/175648112640000*lambda[7]^3*lambda[5]+
37903/175648112640000*lambda[7]*lambda[6]*lambda[5]+31/93929472000*lambda[5]^2
-35773/87824056320000*lambda[7]^2*lambda[4]+373/5489003520000*lambda[6]*lambda
[4]-149/177422336000*lambda[7]*lambda[3]-1/1630720000*lambda[2])*v[7]^17*v[6]^
6*v[4]^2-1/20*lambda[2]*v[7]*v[4]^5*v[1]+(193651/134746608116963082240000000*
lambda[7]^6-15648137/2817102420365308172697600000*lambda[7]^4*lambda[6]+
1407817/880344506364158803968000000*lambda[7]^2*lambda[6]^2-158567/
47801511657782378496000000*lambda[6]^3+3591683/426833700055349723136000000*
lambda[7]^3*lambda[5]+10159/4268337000553497231360000*lambda[7]*lambda[6]*
lambda[5]+419/29396260334390476800000*lambda[5]^2-14473/
825916602274283520000000*lambda[7]^2*lambda[4]+2131153/
133385531267296788480000000*lambda[6]*lambda[4]-17197/538931439463825408000000
*lambda[7]*lambda[3]-727/14132817468456960000000*lambda[2])*v[7]^33*v[6]*v[5]+
(-47/668130290860032000000*lambda[7]^6-3457/3741529628816179200000*lambda[7]^4
*lambda[6]-13151/1870764814408089600000*lambda[7]^2*lambda[6]^2+109/
14847339796889600000*lambda[6]^3+199/83145102862581760000*lambda[7]^3*lambda[5
]+641/18340831513804800000*lambda[7]*lambda[6]*lambda[5]+1/573150984806400000*
lambda[5]^2-43/1491837970022400000*lambda[7]^2*lambda[4]-131/
5905191964672000000*lambda[6]*lambda[4]-97/1816982142976000000*lambda[7]*
lambda[3])*v[7]^29*v[6]^3*v[5]+(-1/80*lambda[7]*lambda[3]-1/40*lambda[2])*v[6]
^7*v[4]^3*v[2]+(1/1680*lambda[7]^3*lambda[5]+1/336*lambda[7]*lambda[6]*lambda[
5]-3/2240*lambda[5]^2+1/1680*lambda[7]^2*lambda[4]+13/3360*lambda[6]*lambda[4]
-1/224*lambda[7]*lambda[3]+3/560*lambda[2])*v[7]^7*v[6]^2*v[3]^4+(1/2*lambda[5
]^2+1/4*lambda[6]*lambda[4]-1/2*lambda[7]*lambda[3]-1/2*lambda[2])*v[5]^2*v[4]
^2*v[3]^3+(1/2306304000*lambda[7]^4*lambda[6]-1/516612096*lambda[7]^2*lambda[6
]^2+401/129153024000*lambda[6]^3+1/124185600*lambda[7]^3*lambda[5]-71/
2483712000*lambda[7]*lambda[6]*lambda[5]-1/73801728*lambda[5]^2+23/366912000*
lambda[7]^2*lambda[4]-109/6457651200*lambda[6]*lambda[4]+1/6988800*lambda[7]*
lambda[3]+1/12544000*lambda[2])*v[7]^14*v[6]^6*v[1]+(-1/1478400*lambda[7]^3*
lambda[5]+1/1478400*lambda[7]*lambda[6]*lambda[5]+3/281600*lambda[5]^2-1/
295680*lambda[7]^2*lambda[4]+1/739200*lambda[6]*lambda[4]+1/89600*lambda[7]*
lambda[3]+1/67200*lambda[2])*v[7]^11*v[5]^2*v[4]^4+(-1/896000*lambda[7]^2*
lambda[6]^2-1/716800*lambda[6]^3+1/336000*lambda[7]^3*lambda[5]-1/76800*lambda
[7]*lambda[6]*lambda[5]-1/92160*lambda[5]^2-223/16128000*lambda[7]^2*lambda[4]
-19/1152000*lambda[6]*lambda[4]-79/5376000*lambda[7]*lambda[3]+1/448000*lambda
[2])*v[7]^10*v[6]^6*v[4]^2*v[3]+(-1/40*lambda[7]^2*lambda[6]^2+3/40*lambda[6]^
3+1/10*lambda[7]^3*lambda[5]-1/60*lambda[7]*lambda[6]*lambda[5]+13/30*lambda[5
]^2+2/15*lambda[7]^2*lambda[4]+71/30*lambda[6]*lambda[4]-1/5*lambda[7]*lambda[
3]+4/15*lambda[2])*v[7]*v[6]^3*v[5]^5*v[4]*v[3]+(-1/369600*lambda[7]^3*lambda[
5]+1/369600*lambda[7]*lambda[6]*lambda[5]+3/70400*lambda[5]^2-1/73920*lambda[7
]^2*lambda[4]+1/184800*lambda[6]*lambda[4]-1/6160*lambda[7]*lambda[3]-3/17600*
lambda[2])*v[7]^11*v[5]^2*v[3]*v[1]+(-1/112*lambda[7]*lambda[6]*lambda[5]+1/40
*lambda[5]^2-27/1120*lambda[7]^2*lambda[4]-19/280*lambda[6]*lambda[4]+1/70*
lambda[7]*lambda[3]+2/35*lambda[2])*v[7]^2*v[6]^7*v[5]*v[4]*v[3]^2+(17/
1537536000*lambda[7]^3*lambda[5]-79/1757184000*lambda[7]*lambda[6]*lambda[5]-1
/574013440*lambda[5]^2+16883/172204032000*lambda[7]^2*lambda[4]-6569/
43051008000*lambda[6]*lambda[4]+369/14350336000*lambda[7]*lambda[3]-321/
3587584000*lambda[2])*v[7]^16*v[6]^2*v[4]*v[3]^2+(1/480*lambda[7]^2*lambda[6]^
2+1/960*lambda[6]^3+1/240*lambda[7]*lambda[6]*lambda[5]+1/480*lambda[5]^2-1/
480*lambda[7]^2*lambda[4]-1/240*lambda[6]*lambda[4]-1/80*lambda[7]*lambda[3]-1
/60*lambda[2])*v[7]^6*v[6]^3*v[5]^3*v[4]^3-1/448*lambda[2]*v[7]^8*v[6]^2*v[5]*
v[2]*v[1]+(-1/80640*lambda[7]^3*lambda[5]-181/1612800*lambda[7]*lambda[6]*
lambda[5]-29/806400*lambda[5]^2-1007/3225600*lambda[7]^2*lambda[4]-47/161280*
lambda[6]*lambda[4]-23/89600*lambda[7]*lambda[3]-1/22400*lambda[2])*v[7]^8*v[6
]^6*v[4]*v[3]^2+(9/3200*lambda[7]^2*lambda[6]^2+3/1600*lambda[6]^3+1/2400*
lambda[7]^3*lambda[5]+13/4800*lambda[7]*lambda[6]*lambda[5]+1/2400*lambda[5]^2
+1/150*lambda[7]^2*lambda[4]-3/400*lambda[6]*lambda[4]+19/2400*lambda[7]*
lambda[3]-1/600*lambda[2])*v[7]^5*v[6]^6*v[5]^3*v[2]+1/4*lambda[2]*v[7]^3*v[6]
^2*v[4]*v[3]*v[2]^2+(-1/57657600*lambda[7]^6-7/8236800*lambda[7]^4*lambda[6]+1
/461260800*lambda[7]^2*lambda[6]^2+79/11827200*lambda[6]^3+23/20500480*lambda[
7]^3*lambda[5]+1247/76876800*lambda[7]*lambda[6]*lambda[5]+1/1971200*lambda[5]
^2-1/11827200*lambda[7]^2*lambda[4]+37/12812800*lambda[6]*lambda[4]-73/
12812800*lambda[7]*lambda[3]+47/6406400*lambda[2])*v[7]^13*v[6]^2*v[5]^2*v[3]^
2+(-241/161441280000*lambda[7]^4*lambda[6]+947/161441280000*lambda[7]^2*lambda
[6]^2+211/129153024000*lambda[6]^3-391/14676480000*lambda[7]^3*lambda[5]+67/
12915302400*lambda[7]*lambda[6]*lambda[5]-1/1435033600*lambda[5]^2+251/
6726720000*lambda[7]^2*lambda[4]-109/53813760000*lambda[6]*lambda[4]+193/
3363360000*lambda[7]*lambda[3]+129/8968960000*lambda[2])*v[7]^15*v[6]^6*v[4]*v
[3]+(-1/40*lambda[5]^2-1/40*lambda[7]^2*lambda[4]-1/80*lambda[6]*lambda[4]+1/
20*lambda[2])*v[7]^6*v[5]*v[4]*v[3]^2*v[2]+(-1/3360*lambda[7]^4*lambda[6]-1/
320*lambda[7]^2*lambda[6]^2-1/672*lambda[6]^3-1/480*lambda[7]^3*lambda[5]-3/
320*lambda[7]*lambda[6]*lambda[5]-1/420*lambda[5]^2-5/672*lambda[7]^2*lambda[4
]-1/280*lambda[6]*lambda[4]-1/480*lambda[7]*lambda[3]+1/210*lambda[2])*v[7]^7*
v[6]^3*v[5]^4*v[2]+(-1/320*lambda[7]^2*lambda[4]-1/320*lambda[7]*lambda[3]+1/
160*lambda[2])*v[7]*v[6]^8*v[4]^3*v[3]+(-3/640*lambda[7]^2*lambda[6]^2+1/320*
lambda[7]^3*lambda[5]-3/320*lambda[7]*lambda[6]*lambda[5]-1/160*lambda[5]^2+1/
160*lambda[7]^2*lambda[4]-1/32*lambda[7]*lambda[3])*v[7]*v[6]^6*v[5]^4*v[4]^2+
(3/40*lambda[6]*lambda[4]-3/80*lambda[7]*lambda[3]+3/40*lambda[2])*v[7]^2*v[6]
^5*v[4]^2*v[3]*v[2]+(1/33600*lambda[7]^2*lambda[6]^2+1/26880*lambda[6]^3-11/
33600*lambda[7]*lambda[6]*lambda[5]-3/22400*lambda[5]^2-13/67200*lambda[7]^2*
lambda[4]-3/11200*lambda[6]*lambda[4]+11/67200*lambda[7]*lambda[3]+3/5600*
lambda[2])*v[7]^10*v[5]^3*v[3]*v[2]+(-5/24*lambda[7]*lambda[6]*lambda[5]-1/12*
lambda[7]^2*lambda[4]-1/12*lambda[7]*lambda[3])*v[7]^3*v[6]*v[5]^6*v[2]+(9/560
*lambda[6]^3+3/140*lambda[7]*lambda[6]*lambda[5]+1/70*lambda[5]^2-9/280*lambda
[7]^2*lambda[4]+27/140*lambda[6]*lambda[4]-13/280*lambda[7]*lambda[3]+3/35*
lambda[2])*v[6]^7*v[5]^2*v[3]*v[2]+1/2*lambda[2]*v[7]^2*v[4]^2*v[3]^2*v[1]+(-3
/137984000*lambda[7]^4*lambda[6]+1/137984000*lambda[7]^2*lambda[6]^2+79/
1103872000*lambda[6]^3-23/59136000*lambda[7]^3*lambda[5]-323/331161600*lambda[
7]*lambda[6]*lambda[5]-191/993484800*lambda[5]^2-4393/1241856000*lambda[7]^2*
lambda[4]-1363/2483712000*lambda[6]*lambda[4]-71/51744000*lambda[7]*lambda[3]+
9/19712000*lambda[2])*v[7]^11*v[6]^8*v[4]*v[3]+(1/48*lambda[5]^2-1/8*lambda[7]
*lambda[3])*v[7]^3*v[6]^4*v[5]^2*v[2]^2+(1/2240*lambda[7]^2*lambda[4]+13/17920
*lambda[6]*lambda[4]+27/35840*lambda[7]*lambda[3]+41/26880*lambda[2])*v[7]^8*v
[6]^2*v[4]^4*v[3]-2*lambda[2]*v[5]*v[4]*v[3]*v[2]*v[1]+(3/44800*lambda[7]^2*
lambda[6]^2+3/35840*lambda[6]^3+1/33600*lambda[7]^3*lambda[5]+23/134400*lambda
[7]*lambda[6]*lambda[5]+13/89600*lambda[5]^2+3/12800*lambda[7]^2*lambda[4]+31/
44800*lambda[6]*lambda[4]+1/2560*lambda[7]*lambda[3]+1/22400*lambda[2])*v[7]^
10*v[6]^2*v[5]^2*v[4]^2*v[3]+(-1/1680*lambda[7]^2*lambda[4]-13/13440*lambda[6]
*lambda[4]-27/8960*lambda[7]*lambda[3]-1/1120*lambda[2])*v[7]^8*v[6]^2*v[3]*v[
2]^2+(-3/160*lambda[6]^3+11/480*lambda[7]*lambda[6]*lambda[5]-1/40*lambda[5]^2
-1/64*lambda[7]^2*lambda[4]-1/40*lambda[6]*lambda[4]+1/160*lambda[7]*lambda[3]
-1/20*lambda[2])*v[7]^4*v[6]^5*v[5]*v[3]^3+(-1/8870400*lambda[7]^6-1/591360*
lambda[7]^4*lambda[6]-31/5376000*lambda[7]^2*lambda[6]^2-7/6336000*lambda[6]^3
+1/224000*lambda[7]^3*lambda[5]-13/7392000*lambda[7]*lambda[6]*lambda[5]+3/
1232000*lambda[5]^2+17/9856000*lambda[7]^2*lambda[4]+13/3696000*lambda[6]*
lambda[4]-37/1344000*lambda[7]*lambda[3]-1/56000*lambda[2])*v[7]^12*v[6]*v[5]^
5*v[4]+(-3/4480*lambda[6]^3+11/13440*lambda[7]*lambda[6]*lambda[5]-9/896*
lambda[5]^2-1/1792*lambda[7]^2*lambda[4]+1/1344*lambda[6]*lambda[4]-3/2240*
lambda[7]*lambda[3]-1/160*lambda[2])*v[7]^2*v[6]^8*v[3]^3+(1/32*lambda[5]^2+1/
16*lambda[7]*lambda[3]+1/12*lambda[2])*v[7]^3*v[5]^4*v[4]^4+(7678613/
6649181260001280000000*lambda[7]^6+11353871/7092460010668032000000*lambda[7]^4
*lambda[6]+8981047/1773115002667008000000*lambda[7]^2*lambda[6]^2+1157269/
1063869001600204800000*lambda[6]^3+30103/10234430029824000000*lambda[7]^3*
lambda[5]-8651/3582050510438400000*lambda[7]*lambda[6]*lambda[5]-1237/
814102388736000000*lambda[5]^2-27367/4345870104576000000*lambda[7]^2*lambda[4]
-2453167/738797917777920000000*lambda[6]*lambda[4]+360523/44775631380480000000
*lambda[7]*lambda[3]+2857/1017627985920000000*lambda[2])*v[7]^25*v[6]^5*v[5]+(
-229/2246269132800000*lambda[7]^6-57873/36339642859520000*lambda[7]^4*lambda[6
]-17687/20965178572800000*lambda[7]^2*lambda[6]^2-126169/408820982169600000*
lambda[6]^3+8471/77870663270400000*lambda[7]^3*lambda[5]-307/8016097689600000*
lambda[7]*lambda[6]*lambda[5]-89/240482930688000*lambda[5]^2+2063/
21516893798400000*lambda[7]^2*lambda[4]+59/82958803200000*lambda[6]*lambda[4]+
88771/68136830361600000*lambda[7]*lambda[3]+1/799052800000*lambda[2])*v[7]^21*
v[6]^7*v[5]+(23/1996001280000*lambda[7]^6+8821/63053168640000*lambda[7]^4*
lambda[6]+127/1330667520000*lambda[7]^2*lambda[6]^2-3749/122953678848000*
lambda[6]^3+353/27022786560000*lambda[7]^3*lambda[5]-79/5166120960000*lambda[7
]*lambda[6]*lambda[5]+3/182640640000*lambda[5]^2-1697/34153799680000*lambda[7]
^2*lambda[4]+757/7318671360000*lambda[6]*lambda[4]-2089/20492279808000*lambda[
7]*lambda[3]-3/45660160000*lambda[2])*v[7]^17*v[6]^9*v[5]+(-1/25088000*lambda[
7]^2*lambda[6]^2-1/20070400*lambda[6]^3+1/9408000*lambda[7]^3*lambda[5]-1/
2150400*lambda[7]*lambda[6]*lambda[5]-1/2580480*lambda[5]^2+19/22579200*lambda
[7]^2*lambda[4]+13/45158400*lambda[6]*lambda[4]-1/940800*lambda[7]*lambda[3]-3
/1792000*lambda[2])*v[7]^10*v[6]^8*v[1]-1/80*lambda[2]*v[7]^6*v[2]^2*v[1]+(31/
6044710236364800*lambda[7]^6-55397/8865575013335040000*lambda[7]^4*lambda[6]-\
73603/1611922729697280000*lambda[7]^2*lambda[6]^2-1221251/26596725040005120000
*lambda[6]^3+16811/140723412910080000*lambda[7]^3*lambda[5]-28187/
394025556148224000*lambda[7]*lambda[6]*lambda[5]+109/1970127780741120*lambda[5
]^2+325349/591038334222336000*lambda[7]^2*lambda[4]+5639/29551916711116800*
lambda[6]*lambda[4]+541/8141023887360000*lambda[7]*lambda[3]-163/
508813992960000*lambda[2])*v[7]^23*v[6]^3*v[2]+(-667/469309800960000*lambda[7]
^6-149/48134338560000*lambda[7]^4*lambda[6]+5743/178784686080000*lambda[7]^2*
lambda[6]^2+24223/1877239203840000*lambda[6]^3-151/9932482560000*lambda[7]^3*
lambda[5]+5153/185406341120000*lambda[7]*lambda[6]*lambda[5]+1/69527377920*
lambda[5]^2-196643/834328535040000*lambda[7]^2*lambda[4]-587/10429106688000*
lambda[6]*lambda[4]-3547/25282682880000*lambda[7]*lambda[3]+11/197520960000*
lambda[2])*v[7]^19*v[6]^5*v[2]+(-3/400*lambda[6]*lambda[4]-9/800*lambda[7]*
lambda[3]-3/100*lambda[2])*v[6]^5*v[5]*v[4]^5+(1/2*lambda[6]^3+5/6*lambda[7]*
lambda[6]*lambda[5]+1/3*lambda[5]^2+1/12*lambda[7]^2*lambda[4]+2/3*lambda[6]*
lambda[4]-1/2*lambda[7]*lambda[3]-4/3*lambda[2])*v[6]^3*v[5]^3*v[3]^3+(-1/80*
lambda[6]*lambda[4]+1/40*lambda[7]*lambda[3]+1/10*lambda[2])*v[6]^6*v[3]^2*v[1
]+(-9887/617423974142976000000*lambda[7]^6+266093/2305049503467110400000*
lambda[7]^4*lambda[6]-860689/4610099006934220800000*lambda[7]^2*lambda[6]^2-\
104243/1383029702080266240000*lambda[6]^3-25777/153669966897807360000*lambda[7
]^3*lambda[5]+76781/122935973518245888000*lambda[7]*lambda[6]*lambda[5]-1/
3201457643704320*lambda[5]^2-7571/61467986759122944000*lambda[7]^2*lambda[4]+
443/1536699668978073600*lambda[6]*lambda[4]-239/1411110807142400000*lambda[7]*
lambda[3]-1/12720349824000000*lambda[2])*v[7]^27*v[6]*v[2]+(-1/9600*lambda[7]^
2*lambda[4]-1/19200*lambda[6]*lambda[4]-9/12800*lambda[7]*lambda[3]-11/9600*
lambda[2])*v[7]^6*v[6]^4*v[4]^5+(19/1793792000*lambda[7]^3*lambda[5]-17/
358758400*lambda[7]*lambda[6]*lambda[5]+3/28700672*lambda[5]^2+701/5381376000*
lambda[7]^2*lambda[4]-263/538137600*lambda[6]*lambda[4]+1/102502400*lambda[7]*
lambda[3]-191/448448000*lambda[2])*v[7]^15*v[4]^2*v[3]^2+(3/56376320000*lambda
[7]^6-70997/14206832640000*lambda[7]^4*lambda[6]-22423/7103416320000*lambda[7]
^2*lambda[6]^2-593/3551708160000*lambda[6]^3-871/364277760000*lambda[7]^3*
lambda[5]+257/236780544000*lambda[7]*lambda[6]*lambda[5]+367/443963520000*
lambda[5]^2+3743/3551708160000*lambda[7]^2*lambda[4]+23/63423360000*lambda[6]*
lambda[4]-199/53813760000*lambda[7]*lambda[3]-1/1121120000*lambda[2])*v[7]^13*
v[6]^11*v[5]+(1/3360*lambda[7]^2*lambda[6]^2+13/26880*lambda[6]^3+1/960*lambda
[7]*lambda[6]*lambda[5]+1/1680*lambda[5]^2-1/1120*lambda[7]^2*lambda[4]-1/1344
*lambda[6]*lambda[4]-13/3360*lambda[7]*lambda[3]-1/336*lambda[2])*v[7]^8*v[6]^
3*v[5]^3*v[1]+(1/8*lambda[5]^2-1/2*lambda[7]*lambda[3]-1/2*lambda[2])*v[7]^3*v
[5]^4*v[3]*v[1]+(-23/107627520000*lambda[7]^6-10117/4520355840000*lambda[7]^4*
lambda[6]-19463/36162846720000*lambda[7]^2*lambda[6]^2+4183/9040711680000*
lambda[6]^3+4567/3013570560000*lambda[7]^3*lambda[5]+61/34245120000*lambda[7]*
lambda[6]*lambda[5]+53/58705920000*lambda[5]^2+96841/18081423360000*lambda[7]^
2*lambda[4]-19/28252224000*lambda[6]*lambda[4]+191/231813120000*lambda[7]*
lambda[3]-1/439040000*lambda[2])*v[7]^16*v[6]^7*v[5]*v[4]+(1/2*lambda[7]*
lambda[6]*lambda[5]+1/2*lambda[5]^2+1/2*lambda[6]*lambda[4])*v[7]*v[6]^3*v[5]*
v[3]^4+(-3/80*lambda[6]^3+3/20*lambda[7]*lambda[6]*lambda[5]+3/40*lambda[5]^2+
3/40*lambda[7]^2*lambda[4]+3/20*lambda[6]*lambda[4]+3/20*lambda[7]*lambda[3]+1
/5*lambda[2])*v[7]^2*v[6]*v[5]^5*v[4]^3+(2*lambda[7]*lambda[3]+2*lambda[2])*v[
7]*v[6]*v[4]*v[3]^3*v[2]+(41/17920*lambda[7]^2*lambda[6]^2+1/448*lambda[6]^3-1
/5376*lambda[7]^3*lambda[5]+1/560*lambda[7]*lambda[6]*lambda[5]+1/3360*lambda[
5]^2-13/26880*lambda[7]^2*lambda[4]-1/896*lambda[7]*lambda[3]-1/420*lambda[2])
*v[7]^4*v[6]^9*v[5]^3*v[4]+(-1/9609600*lambda[7]^3*lambda[5]+7/21964800*lambda
[7]*lambda[6]*lambda[5]-3/10250240*lambda[5]^2-47/153753600*lambda[7]^2*lambda
[4]+7/10982400*lambda[6]*lambda[4]-1/931840*lambda[7]*lambda[3]-1/1747200*
lambda[2])*v[7]^13*v[6]*v[5]*v[4]^4+(1/640*lambda[7]^4*lambda[6]+71/9600*
lambda[7]^2*lambda[6]^2-1/480*lambda[6]^3-17/4800*lambda[7]^3*lambda[5]-11/
1200*lambda[7]*lambda[6]*lambda[5]-17/2400*lambda[7]^2*lambda[4]-13/1200*
lambda[7]*lambda[3])*v[7]^6*v[6]^2*v[5]^6*v[4]+3/16*lambda[7]*lambda[3]*v[7]*v
[6]^4*v[4]^2*v[2]^2+(-23/1173274502400*lambda[7]^6-3617/31287320064000*lambda[
7]^4*lambda[6]+5207/7821830016000*lambda[7]^2*lambda[6]^2+18527/39520825344000
*lambda[6]^3-419/834328535040*lambda[7]^3*lambda[5]+57643/41716426752000*
lambda[7]*lambda[6]*lambda[5]+2221/6952737792000*lambda[5]^2+22369/
41716426752000*lambda[7]^2*lambda[4]+1489/2085821337600*lambda[6]*lambda[4]-1/
3621217600*lambda[7]*lambda[3]-971/1738184448000*lambda[2])*v[7]^19*v[6]*v[5]*
v[3]^2+(1/2*lambda[5]^2+1/4*lambda[6]*lambda[4]-1/2*lambda[7]*lambda[3]-1/2*
lambda[2])*v[7]^2*v[6]*v[5]*v[4]^2*v[3]^3+(-3/1120*lambda[6]^3+27/1120*lambda[
7]*lambda[6]*lambda[5]+1/240*lambda[5]^2+1/240*lambda[7]^2*lambda[4]+3/280*
lambda[6]*lambda[4]-1/1680*lambda[7]*lambda[3]-1/210*lambda[2])*v[7]^3*v[6]^7*
v[5]^3*v[4]^2+(-lambda[5]^2-9/2*lambda[6]*lambda[4]-2*lambda[2])*v[6]*v[5]^2*v
[4]*v[3]^2*v[2]-1/30*lambda[2]*v[7]^5*v[6]*v[5]*v[4]^3*v[1]+(-1/8960*lambda[6]
^3-1/6720*lambda[7]*lambda[6]*lambda[5]+1/4480*lambda[5]^2+1/4480*lambda[7]^2*
lambda[4]+1/960*lambda[6]*lambda[4]+1/2240*lambda[7]*lambda[3]+1/560*lambda[2]
)*v[7]^2*v[6]^9*v[5]*v[4]^3+(-1/3200*lambda[7]^2*lambda[6]^2-1/6400*lambda[6]^
3-1/7200*lambda[7]^3*lambda[5]-19/14400*lambda[7]*lambda[6]*lambda[5]-17/28800
*lambda[5]^2-1/900*lambda[7]^2*lambda[4]+1/14400*lambda[6]*lambda[4]+1/800*
lambda[2])*v[7]^6*v[6]^6*v[5]^2*v[1]+(-33/280*lambda[7]^2*lambda[6]^2-1/35*
lambda[6]^3-1/35*lambda[7]^3*lambda[5]-17/140*lambda[7]*lambda[6]*lambda[5]+2/
35*lambda[5]^2-1/28*lambda[7]^2*lambda[4]+4/35*lambda[6]*lambda[4]+1/70*lambda
[7]*lambda[3]-8/35*lambda[2])*v[7]^2*v[6]*v[5]^7*v[3]+(-3/32*lambda[6]^3-1/24*
lambda[7]*lambda[6]*lambda[5]-1/8*lambda[5]^2+1/48*lambda[7]^2*lambda[4]-1/8*
lambda[6]*lambda[4]+1/48*lambda[7]*lambda[3])*v[7]^4*v[6]*v[5]^4*v[3]*v[2]+(-1
/280*lambda[7]*lambda[6]*lambda[5]-1/280*lambda[5]^2-1/280*lambda[7]^2*lambda[
4]-1/140*lambda[6]*lambda[4]-3/280*lambda[7]*lambda[3]-2/35*lambda[2])*v[7]*v[
6]^7*v[5]*v[3]*v[1]+1/2*lambda[2]*v[7]^3*v[6]^3*v[3]*v[2]*v[1]+(-1/2*lambda[6]
*lambda[4]-1/4*lambda[7]*lambda[3]-lambda[2])*v[7]^2*v[6]^3*v[5]*v[3]*v[2]^2+(
-9/17920*lambda[6]^3+3/4480*lambda[7]*lambda[6]*lambda[5]-3/4480*lambda[5]^2+9
/2240*lambda[7]^2*lambda[4]+3/640*lambda[6]*lambda[4]+33/4480*lambda[7]*lambda
[3]+11/2240*lambda[2])*v[7]^4*v[6]^8*v[5]*v[4]*v[2]+(9/40*lambda[6]^3+1/10*
lambda[7]*lambda[6]*lambda[5]-1/5*lambda[5]^2+11/20*lambda[7]^2*lambda[4]-19/
10*lambda[6]*lambda[4]-3/20*lambda[7]*lambda[3]-6/5*lambda[2])*v[6]*v[5]^5*v[4
]^2*v[3]+(9/4480*lambda[7]^2*lambda[6]^2+3/2240*lambda[6]^3+1/3360*lambda[7]^3
*lambda[5]+13/2240*lambda[7]*lambda[6]*lambda[5]+19/3360*lambda[5]^2+1/560*
lambda[7]^2*lambda[4]-31/560*lambda[6]*lambda[4]-1/224*lambda[7]*lambda[3]-19/
840*lambda[2])*v[7]*v[6]^8*v[5]^3*v[2]-1/8*lambda[2]*v[7]*v[6]^4*v[4]^2*v[3]*v
[1]+(-3/44800*lambda[7]*lambda[3]-1/22400*lambda[2])*v[7]^11*v[6]^2*v[5]*v[4]^
2*v[2]+(3/40*lambda[7]*lambda[3]+1/20*lambda[2])*v[7]^5*v[6]^3*v[5]^2*v[4]^2*v
[2]+(3/8*lambda[7]*lambda[3]+1/4*lambda[2])*v[7]*v[6]^2*v[5]*v[4]^4*v[2]-1/800
*lambda[2]*v[7]^6*v[6]^5*v[2]*v[1]+(-1/840*lambda[7]^2*lambda[4]-13/6720*
lambda[6]*lambda[4]-33/4480*lambda[7]*lambda[3]-9/2240*lambda[2])*v[7]^8*v[5]*
v[4]^2*v[3]*v[2]+(23/23465490048000*lambda[7]^6+1063/312873200640000*lambda[7]
^4*lambda[6]-257/8939234304000*lambda[7]^2*lambda[6]^2-547/231044825088000*
lambda[6]^3+83/26072766720000*lambda[7]^3*lambda[5]+6581/83432853504000*lambda
[7]*lambda[6]*lambda[5]+61/1112438046720*lambda[5]^2-137/1668657070080*lambda[
7]^2*lambda[4]+43/3337314140160*lambda[6]*lambda[4]+2461/6621655040000*lambda[
7]*lambda[3]+1529/6320670720000*lambda[2])*v[7]^20*v[5]*v[4]*v[2]+(3/2*lambda[
6]*lambda[4]-lambda[2])*v[6]^2*v[5]*v[3]^3*v[2]+(-3/16*lambda[5]^2-3/2*lambda[
6]*lambda[4]-3/16*lambda[7]*lambda[3]-1/2*lambda[2])*v[7]^3*v[6]^2*v[5]^2*v[4]
^2*v[3]^2+(23/8072064000*lambda[7]^4*lambda[6]-173/16144128000*lambda[7]^2*
lambda[6]^2-211/51661209600*lambda[6]^3+23/4036032000*lambda[7]^3*lambda[5]+19
/9225216000*lambda[7]*lambda[6]*lambda[5]+1/143503360*lambda[5]^2+1/33116160*
lambda[7]^2*lambda[4]+1/172204032*lambda[6]*lambda[4]+1/33116160*lambda[7]*
lambda[3])*v[7]^16*v[6]^3*v[5]*v[1]+(29/1344000*lambda[7]^4*lambda[6]+67/
896000*lambda[7]^2*lambda[6]^2+13/336000*lambda[6]^3-11/403200*lambda[7]^3*
lambda[5]-373/4032000*lambda[7]*lambda[6]*lambda[5]-1/56000*lambda[5]^2+29/
1344000*lambda[7]^2*lambda[4]-1/28000*lambda[6]*lambda[4]+31/672000*lambda[7]*
lambda[3]+1/14000*lambda[2])*v[7]^10*v[6]^5*v[5]^3*v[3]+(1/18923520000*lambda[
7]^6+1/752640000*lambda[7]^4*lambda[6]+1807/463626240000*lambda[7]^2*lambda[6]
^2+1/331161600*lambda[6]^3-83/39739392000*lambda[7]^3*lambda[5]-3761/
347719680000*lambda[7]*lambda[6]*lambda[5]-527/86929920000*lambda[5]^2+1/
283852800*lambda[7]^2*lambda[4]-71/6209280000*lambda[6]*lambda[4]+13/394240000
*lambda[7]*lambda[3]+1/49280000*lambda[2])*v[7]^7*v[6]^16+(-1/268800*lambda[7]
^4*lambda[6]+19/2688000*lambda[7]^2*lambda[6]^2-1/224000*lambda[6]^3-43/
1344000*lambda[7]^3*lambda[5]+1/168000*lambda[7]*lambda[6]*lambda[5]+1/112000*
lambda[5]^2-37/672000*lambda[7]^2*lambda[4]+1/56000*lambda[6]*lambda[4]-13/
168000*lambda[7]*lambda[3]-1/28000*lambda[2])*v[7]^10*v[5]^6*v[4]+1/67200*
lambda[2]*v[7]^11*v[4]^3*v[1]+1/2*lambda[2]*v[6]^3*v[4]^2*v[2]*v[1]+(-1/8960*
lambda[7]*lambda[6]*lambda[5]+1/26880*lambda[5]^2-1/5376*lambda[7]^2*lambda[4]
+1/3360*lambda[6]*lambda[4]+1/1792*lambda[7]*lambda[3]+3/2240*lambda[2])*v[7]^
9*v[6]^3*v[3]^2*v[2]+(1/20*lambda[7]*lambda[6]*lambda[5]+1/20*lambda[5]^2+1/20
*lambda[7]^2*lambda[4]+1/10*lambda[6]*lambda[4]+3/20*lambda[2])*v[7]*v[6]^6*v[
5]*v[4]*v[3]*v[2]+(-31/2890948373913600*lambda[7]^6-199/19272989159424000*
lambda[7]^4*lambda[6]+9811/59301505105920000*lambda[7]^2*lambda[6]^2+16039/
84100316332032000*lambda[6]^3-239/6424329719808000*lambda[7]^3*lambda[5]-3683/
5139463775846400*lambda[7]*lambda[6]*lambda[5]-101/137052367355904*lambda[5]^2
-23/10993505402880*lambda[7]^2*lambda[4]+100591/11680599490560000*lambda[6]*
lambda[4]-1597/2595688775680000*lambda[7]*lambda[3]+7229/1946766581760000*
lambda[2])*v[7]^22*v[4]^2*v[3]+(1/307200*lambda[7]^4*lambda[6]+83/3763200*
lambda[7]^2*lambda[6]^2-1/125440*lambda[6]^3+71/45158400*lambda[7]^3*lambda[5]
+1/282240*lambda[7]*lambda[6]*lambda[5]-1/470400*lambda[5]^2+1/627200*lambda[7
]^2*lambda[4]+1/134400*lambda[7]*lambda[3]+1/117600*lambda[2])*v[7]^9*v[6]^9*v
[5]^3+(-1/8*lambda[5]^2-1/4*lambda[7]*lambda[3])*v[7]^3*v[5]^4*v[2]^2+(1/40*
lambda[7]*lambda[3]+1/20*lambda[2])*v[7]^5*v[3]^3*v[1]-1/50176000*lambda[2]*v[
7]^16*v[4]^2*v[1]+(-1/7680*lambda[5]^2+1/1280*lambda[7]*lambda[3]+1/960*lambda
[2])*v[7]^3*v[6]^8*v[4]^4+(1/18450432000*lambda[7]^6+1/2483712000*lambda[7]^4*
lambda[6]-3253/1033224192000*lambda[7]^2*lambda[6]^2+17/4100096000*lambda[6]^3
-1247/73801728000*lambda[7]^3*lambda[5]-3013/73801728000*lambda[7]*lambda[6]*
lambda[5]-3799/258306048000*lambda[5]^2-227/51661209600*lambda[7]^2*lambda[4]-\
17/709632000*lambda[6]*lambda[4]+659/7827456000*lambda[7]*lambda[3]+3/46592000
*lambda[2])*v[7]^13*v[6]^8*v[4]^2+(-23/602112000*lambda[7]^2*lambda[6]^2+1/
75264000*lambda[6]^3-19/301056000*lambda[7]^3*lambda[5]+1/14336000*lambda[7]*
lambda[6]*lambda[5]+197/451584000*lambda[5]^2+1/12902400*lambda[7]^2*lambda[4]
+1/11289600*lambda[6]*lambda[4]-337/150528000*lambda[7]*lambda[3]-1/448000*
lambda[2])*v[7]^9*v[6]^10*v[4]^2+(13/78848000*lambda[7]^2*lambda[6]^2-1/
19712000*lambda[6]^3+13/16896000*lambda[7]^3*lambda[5]+111/39424000*lambda[7]*
lambda[6]*lambda[5]+9/2816000*lambda[5]^2+7/8448000*lambda[7]^2*lambda[4]+23/
14784000*lambda[6]*lambda[4]-3/256000*lambda[7]*lambda[3]-3/352000*lambda[2])*
v[7]^5*v[6]^12*v[4]^2+(23/24950016000*lambda[7]^6+14507/1463734272000*lambda[7
]^4*lambda[6]+1739/304944640000*lambda[7]^2*lambda[6]^2-7619/5489003520000*
lambda[6]^3-613/562974720000*lambda[7]^3*lambda[5]-31/7175168000*lambda[7]*
lambda[6]*lambda[5]+3/1630720000*lambda[5]^2+1299/304944640000*lambda[7]^2*
lambda[4]+2663/457416960000*lambda[6]*lambda[4]-1637/914833920000*lambda[7]*
lambda[3]-3/407680000*lambda[2])*v[7]^17*v[6]*v[5]^5+(1/12812800*lambda[7]^6+
467/461260800*lambda[7]^4*lambda[6]+3449/1153152000*lambda[7]^2*lambda[6]^2-\
101/576576000*lambda[6]^3+113/209664000*lambda[7]^3*lambda[5]+563/576576000*
lambda[7]*lambda[6]*lambda[5]+1/4368000*lambda[5]^2-29/27456000*lambda[7]^2*
lambda[4]-1/1001000*lambda[6]*lambda[4]-239/96096000*lambda[7]*lambda[3]-1/
1092000*lambda[2])*v[7]^13*v[6]^3*v[5]^5+(-13/179200*lambda[7]^4*lambda[6]-103
/224000*lambda[7]^2*lambda[6]^2-33/224000*lambda[6]^3-253/8064000*lambda[7]^3*
lambda[5]-23/288000*lambda[7]*lambda[6]*lambda[5]-1/336000*lambda[5]^2-1/
168000*lambda[6]*lambda[4]+1/336000*lambda[7]*lambda[3]+1/84000*lambda[2])*v[7
]^9*v[6]^5*v[5]^5+(9/22400*lambda[7]^4*lambda[6]+81/56000*lambda[7]^2*lambda[6
]^2-87/28000*lambda[6]^3+71/336000*lambda[7]^3*lambda[5]+67/84000*lambda[7]*
lambda[6]*lambda[5]+1/2625*lambda[5]^2-11/16800*lambda[7]^2*lambda[4]-9/3500*
lambda[6]*lambda[4]-101/42000*lambda[7]*lambda[3]-4/2625*lambda[2])*v[7]^5*v[6
]^7*v[5]^5+(1/4480*lambda[7]^4*lambda[6]-83/5600*lambda[6]^3+1/4480*lambda[7]^
3*lambda[5]-3/5600*lambda[7]*lambda[6]*lambda[5]-1/8400*lambda[5]^2-1/8400*
lambda[7]^2*lambda[4]-1/200*lambda[6]*lambda[4]+1/2800*lambda[7]*lambda[3]+1/
2100*lambda[2])*v[7]*v[6]^9*v[5]^5+(200797/1329836252000256000000*lambda[7]^6-\
311/197892299404800000*lambda[7]^4*lambda[6]+117961/33376282403143680000*
lambda[7]^2*lambda[6]^2+286529/212773800320040960000*lambda[6]^3-91363/
67547238196838400000*lambda[7]^3*lambda[5]-82177/94566133475573760000*lambda[7
]*lambda[6]*lambda[5]-2521/630440889837158400*lambda[5]^2+610319/
236415333688934400000*lambda[7]^2*lambda[4]-22193/5910383342223360000*lambda[6
]*lambda[4]+331/11425998438400000*lambda[7]*lambda[3]+5081/203525597184000000*
lambda[2])*v[7]^25*v[6]^2*v[4]^2+(-109/3003582726144000*lambda[7]^6+251/
673880739840000*lambda[7]^4*lambda[6]-3943/3920760668160000*lambda[7]^2*lambda
[6]^2+31663/84100316332032000*lambda[6]^3-157/289302773760000*lambda[7]^3*
lambda[5]-287017/93444795924480000*lambda[7]*lambda[6]*lambda[5]+173/
622965306163200*lambda[5]^2-2269/46722397962240000*lambda[7]^2*lambda[4]-22871
/11680599490560000*lambda[6]*lambda[4]-83/283166048256000*lambda[7]*lambda[3]-\
233/176978780160000*lambda[2])*v[7]^21*v[6]^4*v[4]^2+(23/23465490048000*lambda
[7]^6-23/1955457504000*lambda[7]^4*lambda[6]+23/488864376000*lambda[7]^2*
lambda[6]^2-23/366648282000*lambda[6]^3-283/10429106688000*lambda[7]^3*lambda[
5]+227/2085821337600*lambda[7]*lambda[6]*lambda[5]-1/4540563456*lambda[5]^2-\
563/10429106688000*lambda[7]^2*lambda[4]+227/1042910668800*lambda[6]*lambda[4]
+1/7131013120*lambda[7]*lambda[3]+373/534825984000*lambda[2])*v[7]^19*v[3]*v[1
]+(3/280*lambda[7]^2*lambda[6]^2+1/140*lambda[6]^3-3/70*lambda[7]^3*lambda[5]-\
1/140*lambda[7]*lambda[6]*lambda[5]-1/70*lambda[5]^2-1/35*lambda[7]^2*lambda[4
]-1/35*lambda[6]*lambda[4]+1/14*lambda[7]*lambda[3]+2/35*lambda[2])*v[7]*v[5]^
7*v[2]-lambda[2]*v[6]*v[3]*v[2]^3+(1/1971200*lambda[7]^6+17/1478400*lambda[7]^
4*lambda[6]-563/29568000*lambda[7]^2*lambda[6]^2-1/369600*lambda[6]^3-41/
9856000*lambda[7]^3*lambda[5]-3/224000*lambda[7]*lambda[6]*lambda[5]-43/
2464000*lambda[7]^2*lambda[4]-27/1232000*lambda[7]*lambda[3])*v[7]^11*v[6]^2*v
[5]^6+(-1/53760*lambda[7]^6-1/960*lambda[7]^4*lambda[6]-607/134400*lambda[7]^2
*lambda[6]^2-13/16800*lambda[6]^3-11/19200*lambda[7]^3*lambda[5]-47/33600*
lambda[7]*lambda[6]*lambda[5]+1/2800*lambda[5]^2+11/33600*lambda[7]^2*lambda[4
]+1/1400*lambda[6]*lambda[4]-17/16800*lambda[7]*lambda[3]-1/700*lambda[2])*v[7
]^7*v[6]^4*v[5]^6+(-7/1600*lambda[7]^2*lambda[6]^2-1/4800*lambda[7]^3*lambda[5
]-13/1200*lambda[7]*lambda[6]*lambda[5]-1/400*lambda[7]^2*lambda[4]-7/600*
lambda[7]*lambda[3])*v[7]^3*v[6]^6*v[5]^6+(-13/188160*lambda[7]^4*lambda[6]-1/
33600*lambda[7]^2*lambda[6]^2-1/39200*lambda[6]^3-31/313600*lambda[7]^3*lambda
[5]-1/11760*lambda[7]*lambda[6]*lambda[5]+1/19600*lambda[5]^2-1/117600*lambda[
7]^2*lambda[4]+1/9800*lambda[6]*lambda[4]-1/29400*lambda[7]*lambda[3]-1/4900*
lambda[2])*v[7]^9*v[6]*v[5]^7+(-1/224*lambda[7]^4*lambda[6]-7/400*lambda[7]^2*
lambda[6]^2-3/350*lambda[6]^3-19/16800*lambda[7]^3*lambda[5]-1/525*lambda[7]*
lambda[6]*lambda[5]+1/2100*lambda[5]^2-1/840*lambda[7]^2*lambda[4]+1/1050*
lambda[6]*lambda[4]+1/525*lambda[7]*lambda[3]-1/525*lambda[2])*v[7]^5*v[6]^3*v
[5]^7+(9/17920*lambda[7]*lambda[6]*lambda[5]+17/26880*lambda[5]^2-3/5120*
lambda[7]^2*lambda[4]-3/1280*lambda[6]*lambda[4]+1/1280*lambda[7]*lambda[3]-1/
320*lambda[2])*v[7]^4*v[6]^8*v[4]*v[3]^2+(-1/1680*lambda[7]^3*lambda[5]-1/336*
lambda[7]*lambda[6]*lambda[5]-1/1120*lambda[5]^2-11/1680*lambda[7]^2*lambda[4]
-1/168*lambda[6]*lambda[4]-1/56*lambda[7]*lambda[3]-1/70*lambda[2])*v[7]^7*v[6
]^2*v[5]^2*v[2]^2+(1339157/30396257188577280000*lambda[7]^6-84023/
633255358095360000*lambda[7]^4*lambda[6]-565219/3223845459394560000*lambda[7]^
2*lambda[6]^2+87287/2659672504000512000*lambda[6]^3+3861799/
11820766684446720000*lambda[7]^3*lambda[5]+7781/60310034104320000*lambda[7]*
lambda[6]*lambda[5]-12091/123132986296320000*lambda[5]^2+850631/
2955191671111680000*lambda[7]^2*lambda[4]-51133/369398958888960000*lambda[6]*
lambda[4]+267/2985042092032000*lambda[7]*lambda[3]+163/508813992960000*lambda[
2])*v[7]^23*v[5]^4+(3/34496000*lambda[7]^4*lambda[6]-13/68992000*lambda[7]^2*
lambda[6]^2-67/137984000*lambda[6]^3-17/25872000*lambda[7]^3*lambda[5]-23/
5376000*lambda[7]*lambda[6]*lambda[5]-503/620928000*lambda[5]^2-491/620928000*
lambda[7]^2*lambda[4]-437/310464000*lambda[6]*lambda[4]+439/206976000*lambda[7
]*lambda[3]+1/392000*lambda[2])*v[7]^11*v[6]^7*v[5]*v[4]^2+(3/4*lambda[7]*
lambda[3]+1/2*lambda[2])*v[7]^3*v[6]^2*v[5]^3*v[4]^2*v[2]+(-1/16*lambda[5]^2-1
/32*lambda[6]*lambda[4]-1/16*lambda[7]*lambda[3]-3/16*lambda[2])*v[7]^4*v[6]^2
*v[4]^2*v[3]^3+(-1/2240*lambda[7]^3*lambda[5]+43/8960*lambda[7]*lambda[6]*
lambda[5]+17/4480*lambda[5]^2+479/53760*lambda[7]^2*lambda[4]+79/13440*lambda[
6]*lambda[4]-3/4480*lambda[7]*lambda[3]-1/1120*lambda[2])*v[7]^8*v[6]^2*v[5]^2
*v[4]*v[3]^2-1/4*lambda[2]*v[6]^2*v[4]^3*v[2]^2+(1/369600*lambda[7]^2*lambda[4
]-23/2956800*lambda[6]*lambda[4]-1/1971200*lambda[7]*lambda[3]+1/123200*lambda
[2])*v[7]^12*v[3]*v[2]^2+lambda[2]*v[4]*v[3]^3*v[1]+(-3053/5256269770752000*
lambda[7]^6+163/312873200640000*lambda[7]^4*lambda[6]+62737/8245129052160000*
lambda[7]^2*lambda[6]^2-31663/21025079083008000*lambda[6]^3-206597/
23361198981120000*lambda[7]^3*lambda[5]-1679/359403061248000*lambda[7]*lambda[
6]*lambda[5]+17639/3893533163520000*lambda[5]^2+163369/11680599490560000*
lambda[7]^2*lambda[4]+22871/2920149872640000*lambda[6]*lambda[4]+9151/
259568877568000*lambda[7]*lambda[3]+233/44244695040000*lambda[2])*v[7]^21*v[5]
^2*v[4]^2+(-229/76480115712000000*lambda[7]^6+31/3512962252800000*lambda[7]^4*
lambda[6]-1471/1284865943961600000*lambda[7]^2*lambda[6]^2-211/
128486594396160000*lambda[6]^3-269/81578790092800000*lambda[7]^3*lambda[5]-183
/8922680166400000*lambda[7]*lambda[6]*lambda[5]+71/1769787801600000*lambda[7]^
2*lambda[4]+1/248312064000000*lambda[6]*lambda[4]+3319/48669164544000000*
lambda[7]*lambda[3])*v[7]^25*v[6]*v[5]^3+(4117/1460074936320000*lambda[7]^6+
25813/898507653120000*lambda[7]^4*lambda[6]+238361/5840299745280000*lambda[7]^
2*lambda[6]^2+1787/730037468160000*lambda[6]^3+1513/687094087680000*lambda[7]^
3*lambda[5]-31/10735845120000*lambda[7]*lambda[6]*lambda[5]+1/136980480000*
lambda[5]^2-349/139054755840000*lambda[7]^2*lambda[4]+3161/243345822720000*
lambda[6]*lambda[4]-503/48669164544000*lambda[7]*lambda[3]-1/34245120000*
lambda[2])*v[7]^21*v[6]^3*v[5]^3+(-529/2744501760000*lambda[7]^6-10239/
4879114240000*lambda[7]^4*lambda[6]-4391/1829667840000*lambda[7]^2*lambda[6]^2
-11383/5489003520000*lambda[6]^3-3/22077440000*lambda[7]^3*lambda[5]-487/
914833920000*lambda[7]*lambda[6]*lambda[5]+1/1630720000*lambda[5]^2-107/
152472320000*lambda[7]^2*lambda[4]+1051/457416960000*lambda[6]*lambda[4]-2557/
914833920000*lambda[7]*lambda[3]-1/407680000*lambda[2])*v[7]^17*v[6]^5*v[5]^3+
(-1/384384000*lambda[7]^6+4339/32288256000*lambda[7]^4*lambda[6]+12821/
16144128000*lambda[7]^2*lambda[6]^2+107/403603200*lambda[6]^3+919/32288256000*
lambda[7]^3*lambda[5]+359/2018016000*lambda[7]*lambda[6]*lambda[5]-1/122304000
*lambda[5]^2-1/5913600*lambda[7]^2*lambda[4]-67/672672000*lambda[6]*lambda[4]-\
199/672672000*lambda[7]*lambda[3]+1/30576000*lambda[2])*v[7]^13*v[6]^7*v[5]^3+
(267/13798400*lambda[7]^2*lambda[6]^2+1/1971200*lambda[7]^3*lambda[5]+43/
2069760*lambda[7]*lambda[6]*lambda[5]+1/517440*lambda[5]^2+1/492800*lambda[7]^
2*lambda[4]+3/246400*lambda[7]*lambda[3])*v[7]^3*v[6]^14*v[5]^2+(3/8*lambda[5]
^2+1/2*lambda[2])*v[6]^2*v[3]^5+(3/40*lambda[6]^3-3/10*lambda[7]*lambda[6]*
lambda[5]-3/20*lambda[5]^2-3/20*lambda[7]^2*lambda[4]-3/10*lambda[6]*lambda[4]
+9/20*lambda[7]*lambda[3]+3/5*lambda[2])*v[7]^2*v[5]^5*v[3]*v[2]+(1/739200*
lambda[7]^4*lambda[6]-1/246400*lambda[7]^2*lambda[6]^2+79/5913600*lambda[6]^3-\
1/67200*lambda[7]^3*lambda[5]-5/118272*lambda[7]*lambda[6]*lambda[5]-9/985600*
lambda[5]^2-29/246400*lambda[7]^2*lambda[4]-19/295680*lambda[6]*lambda[4]+19/
369600*lambda[7]*lambda[3]+9/246400*lambda[2])*v[7]^11*v[5]^4*v[4]*v[3]+(-1/
960*lambda[7]^3*lambda[5]-1/192*lambda[7]*lambda[6]*lambda[5]-11/2400*lambda[5
]^2-13/640*lambda[7]^2*lambda[4]-13/800*lambda[6]*lambda[4]-3/200*lambda[7]*
lambda[3]-1/100*lambda[2])*v[7]^6*v[6]^5*v[5]*v[4]*v[3]^2+(1/26400*lambda[7]^2
*lambda[4]+67/369600*lambda[6]*lambda[4]+41/492800*lambda[7]*lambda[3]+29/
184800*lambda[2])*v[7]^11*v[6]*v[5]*v[4]^3*v[3]+(1/2306304000*lambda[7]^6+
17999/452035584000*lambda[7]^4*lambda[6]+37787/452035584000*lambda[7]^2*lambda
[6]^2-17/8692992000*lambda[6]^3+83/821882880*lambda[7]^3*lambda[5]+3877/
20547072000*lambda[7]*lambda[6]*lambda[5]-179/28252224000*lambda[5]^2+5569/
45203558400*lambda[7]^2*lambda[4]+101/2825222400*lambda[6]*lambda[4]+323/
2511308800*lambda[7]*lambda[3]+1/71344000*lambda[2])*v[7]^14*v[6]^7*v[5]*v[3]+
(3/179200*lambda[7]^2*lambda[6]^2+3/358400*lambda[6]^3-1/22400*lambda[7]^3*
lambda[5]+1/12800*lambda[7]*lambda[6]*lambda[5]+1/5120*lambda[5]^2+9/35840*
lambda[7]^2*lambda[4]-9/89600*lambda[6]*lambda[4]-9/35840*lambda[7]*lambda[3]+
1/6400*lambda[2])*v[7]^6*v[6]^8*v[4]^2*v[3]+lambda[2]*v[7]*v[4]*v[2]^2*v[1]+(-\
9/71680*lambda[7]^2*lambda[6]^2+9/89600*lambda[6]^3+51/179200*lambda[7]^3*
lambda[5]+9/7168*lambda[7]*lambda[6]*lambda[5]+13/89600*lambda[5]^2+57/89600*
lambda[7]^2*lambda[4]+27/22400*lambda[6]*lambda[4]+83/89600*lambda[7]*lambda[3
]+13/11200*lambda[2])*v[7]^5*v[6]^8*v[5]^2*v[4]^2+(-23/23465490048000*lambda[7
]^6+23/1955457504000*lambda[7]^4*lambda[6]-23/488864376000*lambda[7]^2*lambda[
6]^2+23/366648282000*lambda[6]^3+283/10429106688000*lambda[7]^3*lambda[5]-227/
2085821337600*lambda[7]*lambda[6]*lambda[5]+1/4540563456*lambda[5]^2+563/
10429106688000*lambda[7]^2*lambda[4]-227/1042910668800*lambda[6]*lambda[4]+29/
421378048000*lambda[7]*lambda[3]+11/19752096000*lambda[2])*v[7]^19*v[2]^2+(-1/
1680*lambda[7]^3*lambda[5]-1/336*lambda[7]*lambda[6]*lambda[5]-1/1120*lambda[5
]^2+3/560*lambda[7]^2*lambda[4]-3/560*lambda[6]*lambda[4]+23/1120*lambda[7]*
lambda[3]+1/280*lambda[2])*v[7]^7*v[6]^2*v[5]*v[3]^2*v[2]+(-1/192*lambda[5]^2+
1/32*lambda[7]*lambda[3]+1/24*lambda[2])*v[7]^3*v[6]^4*v[5]^2*v[4]^4-1/40*
lambda[2]*v[7]^2*v[6]^7*v[2]*v[1]+(19/2690688000*lambda[7]^3*lambda[5]-17/
538137600*lambda[7]*lambda[6]*lambda[5]+1/14350336*lambda[5]^2+29/2690688000*
lambda[7]^2*lambda[4]-17/269068800*lambda[6]*lambda[4]+1/2759680*lambda[7]*
lambda[3]+9/34496000*lambda[2])*v[7]^15*v[6]^2*v[3]*v[1]+(1/80*lambda[7]^2*
lambda[4]+1/160*lambda[6]*lambda[4]+3/320*lambda[7]*lambda[3]+1/120*lambda[2])
*v[7]^6*v[6]*v[5]*v[4]^4*v[3]+(1/48*lambda[5]^2+3/8*lambda[6]*lambda[4]-1/16*
lambda[7]*lambda[3]+1/4*lambda[2])*v[7]^3*v[6]^4*v[5]*v[3]^2*v[2]+(-9/256*
lambda[7]^2*lambda[6]^2-9/320*lambda[6]^3+1/320*lambda[7]^3*lambda[5]-47/960*
lambda[7]*lambda[6]*lambda[5]-1/120*lambda[5]^2-1/320*lambda[7]^2*lambda[4]-1/
120*lambda[6]*lambda[4]+1/96*lambda[7]*lambda[3])*v[7]^4*v[6]^6*v[5]^4*v[3]+(-\
1/2402400*lambda[7]^3*lambda[5]+7/5491200*lambda[7]*lambda[6]*lambda[5]-3/
2562560*lambda[5]^2-47/38438400*lambda[7]^2*lambda[4]+7/2745600*lambda[6]*
lambda[4]+1/197120*lambda[7]*lambda[3]+1/123200*lambda[2])*v[7]^13*v[6]*v[5]*v
[3]*v[1]+(-1/160*lambda[7]^2*lambda[6]^2-1/320*lambda[6]^3-1/80*lambda[7]*
lambda[6]*lambda[5]-1/160*lambda[5]^2+1/60*lambda[7]^2*lambda[4]-1/240*lambda[
6]*lambda[4]+1/80*lambda[7]*lambda[3])*v[7]^6*v[6]*v[5]^4*v[4]*v[2]+(-1/1120*
lambda[7]^2*lambda[6]^2-13/8960*lambda[6]^3-1/320*lambda[7]*lambda[6]*lambda[5
]-1/560*lambda[5]^2+3/1120*lambda[7]^2*lambda[4]+1/448*lambda[6]*lambda[4]-1/
2240*lambda[7]*lambda[3]+1/1120*lambda[2])*v[7]^8*v[6]^2*v[5]^3*v[4]*v[2]+(-1/
160*lambda[6]*lambda[4]-3/320*lambda[7]*lambda[3])*v[7]^4*v[6]^3*v[5]*v[4]^5+(
-1/394240*lambda[7]^4*lambda[6]-509/29568000*lambda[7]^2*lambda[6]^2+1/211200*
lambda[6]^3-91/6336000*lambda[7]^3*lambda[5]-689/6336000*lambda[7]*lambda[6]*
lambda[5]+1/2772000*lambda[5]^2-23/806400*lambda[7]^2*lambda[4]-59/1386000*
lambda[6]*lambda[4]-9/352000*lambda[7]*lambda[3]+1/77000*lambda[2])*v[7]^6*v[6
]^11*v[5]*v[3]+(1/3360*lambda[7]^4*lambda[6]+59/33600*lambda[7]^2*lambda[6]^2-\
3/11200*lambda[6]^3+1/525*lambda[7]^3*lambda[5]+79/33600*lambda[7]*lambda[6]*
lambda[5]-1/800*lambda[5]^2+13/16800*lambda[7]^2*lambda[4]+3/2800*lambda[6]*
lambda[4]-1/480*lambda[7]*lambda[3]+1/700*lambda[2])*v[7]^7*v[6]*v[5]^5*v[4]^2
+lambda[2]*v[7]*v[6]^2*v[5]*v[3]*v[2]*v[1]+(1/20*lambda[5]^2+9/40*lambda[6]*
lambda[4]+3/10*lambda[7]*lambda[3]+1/10*lambda[2])*v[6]^5*v[4]*v[3]^2*v[2]+(-9
/160*lambda[7]*lambda[6]*lambda[5]-7/160*lambda[5]^2-11/160*lambda[7]^2*lambda
[4]-7/80*lambda[6]*lambda[4]-13/160*lambda[7]*lambda[3])*v[7]^5*v[6]^3*v[5]*v[
4]^2*v[3]^2+(1/1201200*lambda[7]^3*lambda[5]-7/2745600*lambda[7]*lambda[6]*
lambda[5]+3/1281280*lambda[5]^2+47/19219200*lambda[7]^2*lambda[4]-7/1372800*
lambda[6]*lambda[4]-7/915200*lambda[7]*lambda[3]-107/6406400*lambda[2])*v[7]^
13*v[5]*v[4]*v[3]*v[2]+(1/840*lambda[7]^3*lambda[5]-1/840*lambda[7]*lambda[6]*
lambda[5]+1/560*lambda[5]^2+1/60*lambda[7]^2*lambda[4]+17/1680*lambda[6]*
lambda[4]+3/560*lambda[7]*lambda[3]-1/70*lambda[2])*v[7]^7*v[6]*v[5]*v[4]*v[3]
^3+(5/32*lambda[7]^2*lambda[6]^2+3/32*lambda[6]^3+3/64*lambda[7]^3*lambda[5]+
17/48*lambda[7]*lambda[6]*lambda[5]+23/48*lambda[5]^2+7/96*lambda[7]^2*lambda[
4]-1/24*lambda[6]*lambda[4]-1/8*lambda[7]*lambda[3]+1/12*lambda[2])*v[7]*v[6]^
4*v[5]^4*v[3]^2+(1/120*lambda[5]^2+1/80*lambda[7]*lambda[3]+1/40*lambda[2])*v[
7]^3*v[6]^7*v[4]*v[3]*v[2]+(-23/91483392000*lambda[7]^6+373/1097800704000*
lambda[7]^4*lambda[6]+1961/258306048000*lambda[7]^2*lambda[6]^2+59/42223104000
*lambda[6]^3+2089/365933568000*lambda[7]^3*lambda[5]+4391/731867136000*lambda[
7]*lambda[6]*lambda[5]-1753/731867136000*lambda[7]^2*lambda[4]-1/466752000*
lambda[6]*lambda[4]-59/28148736000*lambda[7]*lambda[3])*v[7]^18*v[6]*v[5]^3*v[
3]+(1/16*lambda[5]^2+3/4*lambda[6]*lambda[4]+1/4*lambda[7]*lambda[3]-1/4*
lambda[2])*v[7]^2*v[6]^2*v[4]*v[3]^4+(3/4*lambda[7]*lambda[6]*lambda[5]+3/4*
lambda[5]^2-7/4*lambda[7]^2*lambda[4]+5/2*lambda[6]*lambda[4]-3/4*lambda[7]*
lambda[3])*v[7]*v[6]*v[5]^3*v[4]^2*v[3]^2+(-1/716800*lambda[7]^2*lambda[6]^2-1
/89600*lambda[6]^3-11/1075200*lambda[7]^3*lambda[5]-1/153600*lambda[7]*lambda[
6]*lambda[5]-1/46080*lambda[5]^2-1/322560*lambda[7]^2*lambda[4]+1/201600*
lambda[6]*lambda[4]+11/107520*lambda[7]*lambda[3]+1/11200*lambda[2])*v[7]^9*v[
6]^6*v[5]^2*v[4]^2+(1/1120*lambda[7]^2*lambda[6]^2+13/8960*lambda[6]^3+1/320*
lambda[7]*lambda[6]*lambda[5]+1/560*lambda[5]^2+39/4480*lambda[7]^2*lambda[4]+
1/2240*lambda[6]*lambda[4]+29/4480*lambda[7]*lambda[3])*v[7]^8*v[6]*v[5]^3*v[4
]^2*v[3]+(3/4*lambda[6]*lambda[4]-3/8*lambda[7]*lambda[3]-3/4*lambda[2])*v[6]^
4*v[5]*v[4]^2*v[3]*v[2]+(3/560*lambda[7]*lambda[3]+1/280*lambda[2])*v[7]^7*v[5
]^3*v[4]^2*v[2]+(9/8960*lambda[6]^3+117/4480*lambda[7]*lambda[6]*lambda[5]+3/
896*lambda[5]^2-1/160*lambda[7]^2*lambda[4]+27/2240*lambda[6]*lambda[4]+3/560*
lambda[7]*lambda[3]+13/1120*lambda[2])*v[7]^3*v[6]^8*v[5]^2*v[4]*v[3]+(-1/
33600*lambda[7]^2*lambda[4]-1/26880*lambda[6]*lambda[4]-3/12800*lambda[7]*
lambda[3]-1/11200*lambda[2])*v[7]^10*v[6]^2*v[4]*v[2]^2+(-1/280*lambda[7]^2*
lambda[4]+1/280*lambda[6]*lambda[4]-3/1120*lambda[7]*lambda[3])*v[7]^7*v[6]^3*
v[5]*v[4]^3*v[3]+(-9/160*lambda[7]^2*lambda[6]^2-3/80*lambda[6]^3-1/40*lambda[
7]^3*lambda[5]-31/240*lambda[7]*lambda[6]*lambda[5]-11/120*lambda[5]^2-1/60*
lambda[7]^2*lambda[4]+49/60*lambda[6]*lambda[4]+1/8*lambda[7]*lambda[3]+11/30*
lambda[2])*v[7]*v[6]^4*v[5]^5*v[2]+1/1164800*lambda[2]*v[7]^13*v[6]^4*v[4]*v[1
]+(1/27596800*lambda[7]^2*lambda[6]^2+1/5913600*lambda[7]^3*lambda[5]+1/
13798400*lambda[7]*lambda[6]*lambda[5]-3/627200*lambda[5]^2+1/2956800*lambda[7
]^2*lambda[4]+13/985600*lambda[7]*lambda[3])*v[7]*v[6]^14*v[4]^2+(73/
3834931516416000000*lambda[7]^6-73/511324202188800000*lambda[7]^4*lambda[6]+
10753/40087817451601920000*lambda[7]^2*lambda[6]^2-61/8746432898531328000*
lambda[6]^3+79/334065145430016000*lambda[7]^3*lambda[5]-463/534504232688025600
*lambda[7]*lambda[6]*lambda[5]+1/1454433286225920*lambda[5]^2-1/
24295646940364800*lambda[7]^2*lambda[4]+1/9718258776145920*lambda[6]*lambda[4]
-1/2722750464000000*lambda[2])*v[7]^26*v[1]+(-1/489216000*lambda[7]^2*lambda[4
]+1/195686400*lambda[6]*lambda[4]-3/652288000*lambda[7]*lambda[3]-29/489216000
*lambda[2])*v[7]^14*v[4]^5+(-1/112*lambda[7]^4*lambda[6]+57/350*lambda[6]^3-1/
112*lambda[7]^3*lambda[5]-2/525*lambda[7]*lambda[6]*lambda[5]+4/525*lambda[5]^
2+4/525*lambda[7]^2*lambda[4]+8/525*lambda[6]*lambda[4]-4/175*lambda[7]*lambda
[3]-16/525*lambda[2])*v[7]*v[6]^5*v[5]^7+1/45660160000*lambda[2]*v[7]^21*v[4]*
v[1]+(-23/1235025792000*lambda[7]^6-23/823350528000*lambda[7]^4*lambda[6]+167/
470486016000*lambda[7]^2*lambda[6]^2+18527/79041650688000*lambda[6]^3-43/
137225088000*lambda[7]^3*lambda[5]-11/39920025600*lambda[7]*lambda[6]*lambda[5
]-1/11709874176*lambda[5]^2-151/219560140800*lambda[7]^2*lambda[4]-83/
87824056320*lambda[6]*lambda[4]-37/9504768000*lambda[7]*lambda[3]-31/
16633344000*lambda[2])*v[7]^18*v[6]^3*v[4]*v[2]+(79/413952000*lambda[7]^4*
lambda[6]+249/551936000*lambda[7]^2*lambda[6]^2+401/413952000*lambda[6]^3-29/
49674240*lambda[7]^3*lambda[5]-151/44352000*lambda[7]*lambda[6]*lambda[5]-13/
124185600*lambda[5]^2-521/354816000*lambda[7]^2*lambda[4]-13/2822400*lambda[6]
*lambda[4]-299/137984000*lambda[7]*lambda[3]+1/4312000*lambda[2])*v[7]^8*v[6]^
11*v[5]*v[4]-1/2*lambda[2]*v[7]^2*v[6]*v[4]*v[2]^3+(3/8960*lambda[7]*lambda[3]
+1/13440*lambda[2])*v[7]^8*v[6]^3*v[4]^3*v[2]+(1/560*lambda[7]*lambda[6]*
lambda[5]+1/560*lambda[5]^2+1/80*lambda[7]^2*lambda[4]+1/80*lambda[7]*lambda[3
]-1/20*lambda[2])*v[7]*v[6]^7*v[3]^2*v[2]+(337/64576512000*lambda[7]^6+127/
4036032000*lambda[7]^4*lambda[6]+31/1774080000*lambda[7]^2*lambda[6]^2-1/
203840000*lambda[6]^3-983/53813760000*lambda[7]^3*lambda[5]-19/384384000*
lambda[7]*lambda[6]*lambda[5]+1/101920000*lambda[5]^2+171/4484480000*lambda[7]
^2*lambda[4]+1/50960000*lambda[6]*lambda[4]+401/6726720000*lambda[7]*lambda[3]
-1/25480000*lambda[2])*v[7]^15*v[5]^6+(-223/4317650168832000000*lambda[7]^6+
5801/4432787506667520000*lambda[7]^4*lambda[6]-156209/28369840042672128000*
lambda[7]^2*lambda[6]^2+266797/60792514377154560000*lambda[6]^3+1495019/
472830667377868800000*lambda[7]^3*lambda[5]-138973/23641533368893440000*lambda
[7]*lambda[6]*lambda[5]+3847/315220444918579200*lambda[5]^2-800803/
236415333688934400000*lambda[7]^2*lambda[4]+661/695339216732160000*lambda[6]*
lambda[4]+751/119401683681280000*lambda[7]*lambda[3]-209029/
4477563138048000000*lambda[2])*v[7]^25*v[3]^2-1/1120*lambda[2]*v[7]^9*v[6]^2*v
[5]^2*v[4]*v[1]+(3/8*lambda[6]*lambda[4]+1/16*lambda[7]*lambda[3])*v[7]^2*v[6]
^3*v[5]*v[4]^4*v[3]+(-1/38438400*lambda[7]^4*lambda[6]+5/43051008*lambda[7]^2*
lambda[6]^2-401/2152550400*lambda[6]^3+17/269068800*lambda[7]^3*lambda[5]-163/
538137600*lambda[7]*lambda[6]*lambda[5]-159/358758400*lambda[5]^2-23/16558080*
lambda[7]^2*lambda[4]+107/538137600*lambda[6]*lambda[4]-23/14350336*lambda[7]*
lambda[3]+9/17937920*lambda[2])*v[7]^14*v[5]^2*v[4]^2*v[3]+(-3/160*lambda[7]*
lambda[3]-1/80*lambda[2])*v[7]^6*v[6]^2*v[5]*v[4]^3*v[2]+(3/64*lambda[6]^3+1/
48*lambda[7]*lambda[6]*lambda[5]-1/96*lambda[5]^2-1/24*lambda[7]^2*lambda[4]-1
/48*lambda[6]*lambda[4]+1/24*lambda[2])*v[7]^2*v[6]^4*v[5]^4*v[1]+(-9/1164800*
lambda[7]*lambda[3]-3/582400*lambda[2])*v[7]^13*v[6]^3*v[4]^2*v[2]+(-3/800*
lambda[7]^2*lambda[6]^2+3/800*lambda[6]^3+3/200*lambda[7]^3*lambda[5]+21/400*
lambda[7]*lambda[6]*lambda[5]-1/50*lambda[5]^2-1/25*lambda[7]^2*lambda[4]-23/
200*lambda[6]*lambda[4]-1/20*lambda[7]*lambda[3]-1/50*lambda[2])*v[7]^5*v[6]*v
[5]^5*v[4]*v[3]-1/8*lambda[6]*lambda[4]*v[7]^4*v[6]^3*v[5]*v[4]*v[3]*v[1]+(1/
2217600*lambda[7]^4*lambda[6]+1/2217600*lambda[7]^2*lambda[6]^2-79/17740800*
lambda[6]^3+1/1478400*lambda[7]*lambda[6]*lambda[5]+1/492800*lambda[5]^2-1/
147840*lambda[7]^2*lambda[4]+1/59136*lambda[6]*lambda[4]-109/1478400*lambda[7]
*lambda[3]-1/22400*lambda[2])*v[7]^12*v[5]^3*v[4]*v[2]+(3*lambda[7]*lambda[3]+
3*lambda[2])*v[7]*v[5]*v[4]^2*v[3]^2*v[2]+(-1/22400*lambda[7]^2*lambda[6]^2-1/
17920*lambda[6]^3-1/50400*lambda[7]^3*lambda[5]-23/201600*lambda[7]*lambda[6]*
lambda[5]-13/134400*lambda[5]^2-1/33600*lambda[7]^2*lambda[4]-1/13440*lambda[6
]*lambda[4]-1/2688*lambda[7]*lambda[3]-1/5600*lambda[2])*v[7]^10*v[6]^3*v[5]^2
*v[4]*v[2]+(-9/2560*lambda[7]^2*lambda[6]^2-3/640*lambda[6]^3+3/1280*lambda[7]
^3*lambda[5]+13/1280*lambda[7]*lambda[6]*lambda[5]-1/384*lambda[5]^2+19/1920*
lambda[7]^2*lambda[4]+1/480*lambda[6]*lambda[4]+1/384*lambda[7]*lambda[3]-1/
240*lambda[2])*v[7]^5*v[6]^4*v[5]^4*v[4]^2+(3/64*lambda[7]^2*lambda[6]^2+3/64*
lambda[6]^3+9/640*lambda[7]^3*lambda[5]+17/480*lambda[7]*lambda[6]*lambda[5]-1
/160*lambda[5]^2+1/960*lambda[7]^2*lambda[4]+3/80*lambda[6]*lambda[4]-1/48*
lambda[7]*lambda[3]-3/40*lambda[2])*v[7]^5*v[6]^2*v[5]^4*v[3]^2+(1/16800*
lambda[7]^2*lambda[4]+13/134400*lambda[6]*lambda[4]+9/17920*lambda[7]*lambda[3
]+31/33600*lambda[2])*v[7]^8*v[6]*v[5]*v[4]^5+(3/160*lambda[7]*lambda[3]-1/240
*lambda[2])*v[7]^5*v[5]*v[4]^4*v[2]+(-1/709632000*lambda[7]^6-17/551936000*
lambda[7]^4*lambda[6]-97/441548800*lambda[7]^2*lambda[6]^2-227/4967424000*
lambda[6]^3-1/33792000*lambda[7]^3*lambda[5]-1/55193600*lambda[7]*lambda[6]*
lambda[5]+17/413952000*lambda[5]^2-307/3311616000*lambda[7]^2*lambda[4]+1/
8448000*lambda[6]*lambda[4]-9/50176000*lambda[7]*lambda[3]-1/6272000*lambda[2]
)*v[7]^12*v[6]^9*v[5]*v[4]+(-3/985600*lambda[7]^2*lambda[6]^2-1/492800*lambda[
6]^3-1/147840*lambda[7]^3*lambda[5]-1/295680*lambda[7]*lambda[6]*lambda[5]-1/
35200*lambda[5]^2+1/369600*lambda[7]^2*lambda[4]+41/52800*lambda[6]*lambda[4]+
43/246400*lambda[7]*lambda[3]+23/61600*lambda[2])*v[7]*v[6]^12*v[5]*v[2]+(-1/
44800*lambda[7]^2*lambda[6]^2-1/35840*lambda[6]^3-1/100800*lambda[7]^3*lambda[
5]-23/403200*lambda[7]*lambda[6]*lambda[5]-13/268800*lambda[5]^2+31/268800*
lambda[7]^2*lambda[4]+9/44800*lambda[6]*lambda[4]+19/268800*lambda[7]*lambda[3
]+3/22400*lambda[2])*v[7]^10*v[6]^4*v[5]*v[3]*v[2]-2*lambda[2]*v[7]*v[6]*v[5]^
2*v[4]*v[2]*v[1]+(9/4480*lambda[6]^3-3/1120*lambda[7]*lambda[6]*lambda[5]+3/
1120*lambda[5]^2+27/2240*lambda[7]^2*lambda[4]+3/160*lambda[6]*lambda[4]-3/
2240*lambda[7]*lambda[3]-1/140*lambda[2])*v[7]^4*v[6]^7*v[5]*v[4]^2*v[3]+(1/24
*lambda[5]^2+3/16*lambda[6]*lambda[4]+1/4*lambda[7]*lambda[3]+1/4*lambda[2])*v
[7]^4*v[6]^3*v[4]*v[3]^2*v[2]+(-1/448*lambda[5]^2-1/560*lambda[7]^2*lambda[4]-\
13/4480*lambda[6]*lambda[4]-3/1120*lambda[7]*lambda[3]-1/1120*lambda[2])*v[7]^
8*v[6]*v[4]*v[3]^2*v[2]+lambda[6]*lambda[4]*v[6]*v[5]^3*v[4]*v[3]*v[1]+(-1/
16800*lambda[7]^2*lambda[4]-1/13440*lambda[6]*lambda[4]-9/44800*lambda[7]*
lambda[3]+1/22400*lambda[2])*v[7]^10*v[6]*v[4]^2*v[3]*v[2]+(1/576576000*lambda
[7]^6+31/576576000*lambda[7]^4*lambda[6]-1063/4612608000*lambda[7]^2*lambda[6]
^2+401/1537536000*lambda[6]^3-1201/1153152000*lambda[7]^3*lambda[5]-641/
209664000*lambda[7]*lambda[6]*lambda[5]+29/64064000*lambda[5]^2+53/48048000*
lambda[7]^2*lambda[4]+23/15375360*lambda[6]*lambda[4]+71/38438400*lambda[7]*
lambda[3]+107/32032000*lambda[2])*v[7]^13*v[6]^5*v[5]*v[4]*v[3]+(1/320*lambda[
7]^2*lambda[6]^2+1/640*lambda[6]^3+1/160*lambda[7]*lambda[6]*lambda[5]+1/320*
lambda[5]^2-1/120*lambda[7]^2*lambda[4]+1/480*lambda[6]*lambda[4]-1/40*lambda[
7]*lambda[3]-1/80*lambda[2])*v[7]^6*v[6]^2*v[5]^4*v[1]+(-1/1881600*lambda[7]^4
*lambda[6]-1/537600*lambda[7]^2*lambda[6]^2-1/1254400*lambda[6]^3+1/117600*
lambda[7]^3*lambda[5]+61/3763200*lambda[7]*lambda[6]*lambda[5]-1/53760*lambda[
5]^2+43/1881600*lambda[7]^2*lambda[4]+1/134400*lambda[6]*lambda[4]+33/627200*
lambda[7]*lambda[3]+1/78400*lambda[2])*v[7]^7*v[6]^9*v[5]*v[4]^2+(-1/12*lambda
[5]^2+3/4*lambda[6]*lambda[4]-1/4*lambda[7]*lambda[3])*v[7]^3*v[6]^3*v[5]*v[4]
*v[3]^3-1/2*lambda[2]*v[7]^3*v[6]*v[4]^2*v[3]^2*v[2]+(-1/17920*lambda[7]^2*
lambda[6]^2+17/134400*lambda[7]^3*lambda[5]-1/8960*lambda[7]*lambda[6]*lambda[
5]+9/22400*lambda[5]^2+17/67200*lambda[7]^2*lambda[4]-3/22400*lambda[7]*lambda
[3])*v[7]*v[6]^10*v[5]^2*v[4]^2+(1/8400*lambda[7]^3*lambda[5]+1/1680*lambda[7]
*lambda[6]*lambda[5]-1/3360*lambda[5]^2+11/8400*lambda[7]^2*lambda[4]+1/840*
lambda[6]*lambda[4]-39/11200*lambda[7]*lambda[3]-13/5600*lambda[2])*v[7]^7*v[6
]^5*v[4]*v[3]*v[2]+(1/1680*lambda[7]^2*lambda[6]^2+13/13440*lambda[6]^3+1/3360
*lambda[7]^3*lambda[5]+11/4480*lambda[7]*lambda[6]*lambda[5]+1/960*lambda[5]^2
+9/8960*lambda[7]^2*lambda[4]+1/560*lambda[6]*lambda[4]+1/896*lambda[7]*lambda
[3])*v[7]^8*v[6]^3*v[5]*v[3]^3+(3/80*lambda[6]^3+1/20*lambda[7]*lambda[6]*
lambda[5]+1/30*lambda[5]^2+1/30*lambda[7]^2*lambda[4]-3/20*lambda[6]*lambda[4]
-1/20*lambda[7]*lambda[3]-1/30*lambda[2])*v[6]^6*v[5]^3*v[4]*v[2]-1/70*lambda[
2]*v[7]^7*v[5]*v[4]*v[2]*v[1]+(1/120*lambda[7]^2*lambda[4]+1/240*lambda[6]*
lambda[4]-1/40*lambda[2])*v[7]^6*v[6]*v[3]^3*v[2]+(-9/4*lambda[6]*lambda[4]-1/
2*lambda[7]*lambda[3])*v[6]^3*v[5]*v[4]^3*v[3]^2+(-9/8960*lambda[6]^3-3/2240*
lambda[7]*lambda[6]*lambda[5]+9/4480*lambda[5]^2-1/1120*lambda[7]^2*lambda[4]-\
27/2240*lambda[6]*lambda[4]-1/80*lambda[7]*lambda[3]-13/1120*lambda[2])*v[7]^2
*v[6]^8*v[5]^2*v[1]+(3/4*lambda[6]*lambda[4]+3/2*lambda[7]*lambda[3]+2*lambda[
2])*v[6]^2*v[5]^2*v[3]^2*v[1]+(-53/42828864798720000*lambda[7]^6-8081/
513946377584640000*lambda[7]^4*lambda[6]+457/24185711886336000*lambda[7]^2*
lambda[6]^2+1231/513946377584640000*lambda[6]^3+51899/513946377584640000*
lambda[7]^3*lambda[5]+13777/128486594396160000*lambda[7]*lambda[6]*lambda[5]-\
17/1679563325440000*lambda[5]^2+2909/31148265308160000*lambda[7]^2*lambda[4]+
47/1946766581760000*lambda[6]*lambda[4]+529/15574132654080000*lambda[7]*lambda
[3])*v[7]^24*v[6]^3*v[5]*v[4]+(-3/640*lambda[7]^2*lambda[6]^2-3/1280*lambda[6]
^3-1/480*lambda[7]^3*lambda[5]-19/960*lambda[7]*lambda[6]*lambda[5]-17/1920*
lambda[5]^2+5/384*lambda[7]^2*lambda[4]-1/192*lambda[6]*lambda[4]+9/640*lambda
[7]*lambda[3]+1/160*lambda[2])*v[7]^6*v[6]^4*v[5]^2*v[4]^2*v[3]+1/6*lambda[2]*
v[7]^3*v[5]^2*v[4]^3*v[1]+(-3/8*lambda[6]^3-1/6*lambda[7]*lambda[6]*lambda[5]+
1/3*lambda[5]^2+1/12*lambda[7]^2*lambda[4]+1/6*lambda[6]*lambda[4]+3/4*lambda[
7]*lambda[3]+2/3*lambda[2])*v[6]^3*v[5]^4*v[3]*v[2]+(-1/369600*lambda[7]^3*
lambda[5]+1/369600*lambda[7]*lambda[6]*lambda[5]-13/985600*lambda[5]^2+1/
369600*lambda[7]^2*lambda[4]+1/295680*lambda[6]*lambda[4]-3/492800*lambda[7]*
lambda[3]+13/246400*lambda[2])*v[7]^11*v[3]^4+1/350*lambda[2]*v[7]^7*v[6]^5*v[
5]*v[4]*v[1]-1/89600*lambda[2]*v[7]^12*v[6]^2*v[4]^2*v[1]+(17/940800*lambda[7]
^4*lambda[6]+29/752640*lambda[7]^2*lambda[6]^2+11/78400*lambda[6]^3+101/
1881600*lambda[7]^3*lambda[5]+1/3200*lambda[7]*lambda[6]*lambda[5]+11/470400*
lambda[5]^2+197/1881600*lambda[7]^2*lambda[4]+19/78400*lambda[6]*lambda[4]+17/
188160*lambda[7]*lambda[3]-1/117600*lambda[2])*v[7]^8*v[6]^7*v[5]^3*v[4]+(-3/
22400*lambda[6]^3+1/5600*lambda[7]*lambda[6]*lambda[5]+3/2800*lambda[5]^2+3/
2800*lambda[7]^2*lambda[4]-3/800*lambda[6]*lambda[4]+11/5600*lambda[7]*lambda[
3]-1/2800*lambda[2])*v[6]^10*v[5]*v[4]*v[2]+(667/23465490048000*lambda[7]^6+
149/2406716928000*lambda[7]^4*lambda[6]-5743/8939234304000*lambda[7]^2*lambda[
6]^2-24223/93861960192000*lambda[6]^3+1151/2085821337600*lambda[7]^3*lambda[5]
+72487/83432853504000*lambda[7]*lambda[6]*lambda[5]+97/267412992000*lambda[5]^
2+76487/41716426752000*lambda[7]^2*lambda[4]+587/521455334400*lambda[6]*lambda
[4]-69/927031705600*lambda[7]*lambda[3]-11/9876048000*lambda[2])*v[7]^19*v[6]*
v[5]^2*v[2]+(-11/4480*lambda[7]*lambda[6]*lambda[5]-1/1680*lambda[5]^2-3/2240*
lambda[7]^2*lambda[4]-3/2240*lambda[7]*lambda[3])*v[7]^3*v[6]^9*v[5]^2*v[2]+(3
/40*lambda[7]*lambda[6]*lambda[5]+1/20*lambda[5]^2+1/40*lambda[6]*lambda[4]-1/
20*lambda[7]*lambda[3]-1/10*lambda[2])*v[7]^5*v[6]*v[5]*v[3]^4+(-1/840*lambda[
7]^2*lambda[4]+1/210*lambda[6]*lambda[4]-1/280*lambda[2])*v[7]^7*v[4]*v[3]^2*v
[1]+(1/24460800*lambda[7]^2*lambda[4]-1/9784320*lambda[6]*lambda[4]+3/32614400
*lambda[7]*lambda[3]-1/2038400*lambda[2])*v[7]^14*v[4]*v[2]^2+(-21/320*lambda[
7]^2*lambda[6]^2-1/320*lambda[7]^3*lambda[5]+1/240*lambda[7]*lambda[6]*lambda[
5]+1/240*lambda[7]^2*lambda[4]-1/120*lambda[7]*lambda[3])*v[7]^3*v[6]^2*v[5]^8
+(-1/112*lambda[7]^4*lambda[6]-1/140*lambda[6]^3-1/112*lambda[7]^3*lambda[5]-1
/140*lambda[7]*lambda[6]*lambda[5]+1/70*lambda[5]^2+1/70*lambda[7]^2*lambda[4]
+1/35*lambda[6]*lambda[4]-3/70*lambda[7]*lambda[3]-2/35*lambda[2])*v[7]*v[6]*v
[5]^9+(-891587/2766059404160532480000000*lambda[7]^6+8082829/
5163310887766327296000000*lambda[7]^4*lambda[6]-72157/60744833973721497600000*
lambda[7]^2*lambda[6]^2+102593/774496633164949094400000*lambda[6]^3-224443/
107568976828465152000000*lambda[7]^3*lambda[5]+379/1955799578699366400000*
lambda[7]*lambda[6]*lambda[5]+257/143425302437953536000*lambda[5]^2+1484227/
430275907313860608000000*lambda[7]^2*lambda[4]+449/2689224420711628800000*
lambda[6]*lambda[4]-99/20158725816320000000*lambda[7]*lambda[3]-2003/
370416586874880000000*lambda[2])*v[7]^30*v[6]^2*v[4]+(-1742239/
13830297020802662400000*lambda[7]^6+336533/670559855554068480000*lambda[7]^4*
lambda[6]-739639/5673968008534425600000*lambda[7]^2*lambda[6]^2-4848229/
11064237616642129920000*lambda[6]^3-14181/136595526131384320000*lambda[7]^3*
lambda[5]-240577/1024466445985382400000*lambda[7]*lambda[6]*lambda[5]+43873/
40978657839415296000*lambda[5]^2+697297/472830667377868800000*lambda[7]^2*
lambda[4]+2701031/1536699668978073600000*lambda[6]*lambda[4]-6863/
2645832763392000000*lambda[7]*lambda[3]-37693/10583331053568000000*lambda[2])*
v[7]^26*v[6]^4*v[4]+(-1/8*lambda[6]^3-1/8*lambda[7]*lambda[6]*lambda[5]+1/8*
lambda[5]^2+1/16*lambda[7]^2*lambda[4]+1/4*lambda[6]*lambda[4]-1/4*lambda[7]*
lambda[3]-1/2*lambda[2])*v[7]^2*v[5]^4*v[3]^3+(-1/28828800*lambda[7]^4*lambda[
6]+1/3603600*lambda[7]^2*lambda[6]^2-1/1801800*lambda[6]^3-1/4804800*lambda[7]
^3*lambda[5]+59/76876800*lambda[7]*lambda[6]*lambda[5]-3/5125120*lambda[5]^2-\
43/76876800*lambda[7]^2*lambda[4]-3/25625600*lambda[6]*lambda[4]+9/25625600*
lambda[7]*lambda[3]+1/800800*lambda[2])*v[7]^13*v[4]*v[3]^3+lambda[2]*v[4]*v[3
]^2*v[2]^2+(1/22400*lambda[7]^2*lambda[4]+1/17920*lambda[6]*lambda[4]+1/8960*
lambda[7]*lambda[3]+1/33600*lambda[2])*v[7]^10*v[4]^3*v[3]^2+(1/2400*lambda[7]
^2*lambda[4]+1/4800*lambda[6]*lambda[4]+9/3200*lambda[7]*lambda[3]+11/2400*
lambda[2])*v[7]^6*v[5]^2*v[4]^5+(-1/320*lambda[7]*lambda[3]-1/80*lambda[2])*v[
7]*v[6]^4*v[4]^6+(-23/137225088000*lambda[7]^6-23/9148339200*lambda[7]^4*
lambda[6]+17711/1463734272000*lambda[7]^2*lambda[6]^2+211/51661209600*lambda[6
]^3-2983/585493708800*lambda[7]^3*lambda[5]+809/56297472000*lambda[7]*lambda[6
]*lambda[5]+9/1103872000*lambda[5]^2+12211/1463734272000*lambda[7]^2*lambda[4]
-41/21525504000*lambda[6]*lambda[4]-1083/121977856000*lambda[7]*lambda[3]-9/
275968000*lambda[2])*v[7]^17*v[5]^2*v[3]^2+3/80*lambda[2]*v[7]^2*v[4]^6*v[3]+(
3/16*lambda[6]^3+5/16*lambda[7]*lambda[6]*lambda[5]-7/16*lambda[5]^2+1/32*
lambda[7]^2*lambda[4]+1/8*lambda[6]*lambda[4]-1/8*lambda[7]*lambda[3]-1/4*
lambda[2])*v[7]^2*v[6]^4*v[5]^2*v[3]^3-1/2*lambda[2]*v[5]^4*v[4]^2*v[1]+(23/
137225088000*lambda[7]^6+23/22870848000*lambda[7]^4*lambda[6]-3007/
487911424000*lambda[7]^2*lambda[6]^2-6077/2195601408000*lambda[6]^3+2113/
365933568000*lambda[7]^3*lambda[5]+249/48791142400*lambda[7]*lambda[6]*lambda[
5]+3/652288000*lambda[5]^2+233/12197785600*lambda[7]^2*lambda[4]+83/7318671360
*lambda[6]*lambda[4]-5183/365933568000*lambda[7]*lambda[3]-3/163072000*lambda[
2])*v[7]^17*v[5]^3*v[2]+(-117/4928000*lambda[7]^4*lambda[6]-281/2464000*lambda
[7]^2*lambda[6]^2-23/308000*lambda[6]^3-41/2112000*lambda[7]^3*lambda[5]-13/
154000*lambda[7]*lambda[6]*lambda[5]+23/1848000*lambda[5]^2+19/3696000*lambda[
7]^2*lambda[4]-13/184800*lambda[6]*lambda[4]-61/924000*lambda[7]*lambda[3]-23/
462000*lambda[2])*v[7]^5*v[6]^11*v[5]^3+(-3/492800*lambda[7]^4*lambda[6]+3/
8800*lambda[6]^3-3/492800*lambda[7]^3*lambda[5]+1/30800*lambda[7]*lambda[6]*
lambda[5]-1/92400*lambda[5]^2-1/92400*lambda[7]^2*lambda[4]+3/15400*lambda[6]*
lambda[4]+1/30800*lambda[7]*lambda[3]+1/23100*lambda[2])*v[7]*v[6]^13*v[5]^3+(
11/3200*lambda[7]^2*lambda[6]^2+1/800*lambda[6]^3+3/1600*lambda[7]^3*lambda[5]
-7/1600*lambda[7]*lambda[6]*lambda[5]-7/800*lambda[5]^2+1/800*lambda[7]^2*
lambda[4]-1/200*lambda[6]*lambda[4]+3/160*lambda[7]*lambda[3]+1/100*lambda[2])
*v[7]^5*v[5]^6*v[4]^2+(-23/93861960192000*lambda[7]^6-1063/1251492802560000*
lambda[7]^4*lambda[6]+257/35756937216000*lambda[7]^2*lambda[6]^2+547/
924179300352000*lambda[6]^3-83/104291066880000*lambda[7]^3*lambda[5]-6581/
333731414016000*lambda[7]*lambda[6]*lambda[5]-61/4449752186880*lambda[5]^2+
2087/303392194560000*lambda[7]^2*lambda[4]-4951/333731414016000*lambda[6]*
lambda[4]+783/16855121920000*lambda[7]*lambda[3]+409/25282682880000*lambda[2])
*v[7]^20*v[6]^2*v[4]^3+(23/64576512000*lambda[7]^4*lambda[6]-173/129153024000*
lambda[7]^2*lambda[6]^2-211/413289676800*lambda[6]^3+23/32288256000*lambda[7]^
3*lambda[5]+19/73801728000*lambda[7]*lambda[6]*lambda[5]+1/1148026880*lambda[5
]^2-2579/344408064000*lambda[7]^2*lambda[4]+401/172204032000*lambda[6]*lambda[
4]-281/15654912000*lambda[7]*lambda[3]-83/7827456000*lambda[2])*v[7]^16*v[6]^4
*v[4]^3+(1/177408000*lambda[7]^4*lambda[6]+1/177408000*lambda[7]^2*lambda[6]^2
-79/1419264000*lambda[6]^3+1/44352000*lambda[7]^3*lambda[5]+13/354816000*
lambda[7]*lambda[6]*lambda[5]-1/10137600*lambda[5]^2-313/709632000*lambda[7]^2
*lambda[4]-1/354816000*lambda[6]*lambda[4]-3/3584000*lambda[7]*lambda[3]-1/
5376000*lambda[2])*v[7]^12*v[6]^6*v[4]^3+(-3/896000*lambda[7]^2*lambda[6]^2+1/
179200*lambda[6]^3-61/1792000*lambda[7]^3*lambda[5]-157/1344000*lambda[7]*
lambda[6]*lambda[5]-269/1344000*lambda[5]^2-23/896000*lambda[7]^2*lambda[4]-17
/672000*lambda[6]*lambda[4]-27/224000*lambda[7]*lambda[3]-3/16000*lambda[2])*v
[7]^5*v[6]^10*v[3]^2+(-1/76876800*lambda[7]^6-1/6406400*lambda[7]^4*lambda[6]+
1/3153920*lambda[7]^2*lambda[6]^2+17/21964800*lambda[6]^3-137/307507200*lambda
[7]^3*lambda[5]-23/23654400*lambda[7]*lambda[6]*lambda[5]-81/51251200*lambda[5
]^2-1/3942400*lambda[7]^2*lambda[4]-17/5491200*lambda[6]*lambda[4]+967/
153753600*lambda[7]*lambda[3]+3/582400*lambda[2])*v[7]^13*v[5]^4*v[4]^2+(19/
280*lambda[7]^2*lambda[6]^2-6/35*lambda[6]^3-3/140*lambda[7]^3*lambda[5]+5/21*
lambda[7]*lambda[6]*lambda[5]+1/105*lambda[5]^2+1/420*lambda[7]^2*lambda[4]+2/
105*lambda[6]*lambda[4]-1/70*lambda[7]*lambda[3]-4/105*lambda[2])*v[6]^3*v[5]^
7*v[4]+(9/2240*lambda[7]^2*lambda[6]^2+1/112*lambda[6]^3-9/560*lambda[7]^3*
lambda[5]+1/280*lambda[7]*lambda[6]*lambda[5]-1/56*lambda[5]^2-13/560*lambda[7
]^2*lambda[4]-1/28*lambda[6]*lambda[4]+9/140*lambda[7]*lambda[3]+1/14*lambda[2
])*v[7]^2*v[5]^8*v[4]+(-1/8*lambda[5]^2+3/2*lambda[6]*lambda[4]+1/2*lambda[7]*
lambda[3]+1/2*lambda[2])*v[7]*v[4]^2*v[3]^4+(1/672000*lambda[7]^2*lambda[4]+1/
537600*lambda[6]*lambda[4]+3/256000*lambda[7]*lambda[3]+13/1344000*lambda[2])*
v[7]^10*v[6]^2*v[4]^5+(8807/88340668416000*lambda[7]^6+87611/125149280256000*
lambda[7]^4*lambda[6]+831683/1001194242048000*lambda[7]^2*lambda[6]^2+2281/
18772392038400*lambda[6]^3+48029/333731414016000*lambda[7]^3*lambda[5]+521/
2383795814400*lambda[7]*lambda[6]*lambda[5]-191/1390547558400*lambda[5]^2-569/
6417911808000*lambda[7]^2*lambda[4]-37/130363833600*lambda[6]*lambda[4]+3977/
13905475584000*lambda[7]*lambda[3]+11/19752096000*lambda[2])*v[7]^19*v[6]^2*v[
5]^4+(-17/36900864000*lambda[7]^6+659/32288256000*lambda[7]^4*lambda[6]+14153/
129153024000*lambda[7]^2*lambda[6]^2+439/5381376000*lambda[6]^3+571/
25830604800*lambda[7]^3*lambda[5]+3181/32288256000*lambda[7]*lambda[6]*lambda[
5]+1/1345344000*lambda[5]^2-67/10762752000*lambda[7]^2*lambda[4]-1/122304000*
lambda[6]*lambda[4]-3/1793792000*lambda[7]*lambda[3]+1/61152000*lambda[2])*v[7
]^15*v[6]^4*v[5]^4+(-1/16896000*lambda[7]^6-47/29568000*lambda[7]^4*lambda[6]-\
107/39424000*lambda[7]^2*lambda[6]^2-3/2464000*lambda[6]^3-17/118272000*lambda
[7]^3*lambda[5]-71/29568000*lambda[7]*lambda[6]*lambda[5]-1/22176000*lambda[5]
^2-181/88704000*lambda[7]^2*lambda[4]-1/2772000*lambda[6]*lambda[4]+17/
14784000*lambda[7]*lambda[3])*v[7]^11*v[6]^6*v[5]^4+(1/2150400*lambda[7]^6+1/
29400*lambda[7]^4*lambda[6]+1023/2508800*lambda[7]^2*lambda[6]^2+33/62720*
lambda[6]^3+533/22579200*lambda[7]^3*lambda[5]+227/1128960*lambda[7]*lambda[6]
*lambda[5]+17/705600*lambda[5]^2-31/1128960*lambda[7]^2*lambda[4]+1/28224*
lambda[6]*lambda[4]-13/134400*lambda[7]*lambda[3]-1/16800*lambda[2])*v[7]^7*v[
6]^8*v[5]^4-1/160*lambda[2]*v[6]^8*v[4]^2*v[1]+(3/40*lambda[6]^3+1/30*lambda[7
]*lambda[6]*lambda[5]-1/15*lambda[5]^2-1/15*lambda[7]^2*lambda[4]+11/30*lambda
[6]*lambda[4]+1/5*lambda[7]*lambda[3]+4/15*lambda[2])*v[6]^3*v[5]^5*v[1]+(99/
5600*lambda[7]^2*lambda[6]^2-87/1400*lambda[6]^3+1/525*lambda[7]^3*lambda[5]+1
/2100*lambda[5]^2+1/400*lambda[7]^2*lambda[4]-9/175*lambda[6]*lambda[4]-1/1400
*lambda[7]*lambda[3]-16/525*lambda[2])*v[6]^7*v[5]^5*v[4]+1/10*lambda[2]*v[7]*
v[6]^5*v[4]*v[2]*v[1]+(-1/80*lambda[6]^3+1/20*lambda[7]*lambda[6]*lambda[5]-1/
10*lambda[5]^2+1/40*lambda[7]^2*lambda[4]+1/20*lambda[6]*lambda[4]+1/20*lambda
[7]*lambda[3]-1/10*lambda[2])*v[5]^6*v[4]^3+1/627200*lambda[2]*v[7]^14*v[6]*v[
2]*v[1]+(1/17920*lambda[7]*lambda[6]*lambda[5]-1/53760*lambda[5]^2+1/17920*
lambda[7]^2*lambda[4]+1/8960*lambda[6]*lambda[4]+3/17920*lambda[7]*lambda[3])*
v[7]^9*v[6]^3*v[5]*v[4]^4+(1/10752*lambda[7]^2*lambda[4]-1/6720*lambda[6]*
lambda[4]+1/17920*lambda[7]*lambda[3]-1/5376*lambda[2])*v[7]^9*v[6]^4*v[4]^3*v
[3]+1/2*lambda[2]*v[7]^3*v[6]^2*v[4]*v[3]^2*v[1]-lambda[2]*v[7]^2*v[6]*v[4]*v[
3]*v[2]*v[1]+(-1/53760*lambda[7]^6-1/4704*lambda[7]^4*lambda[6]-1/44800*lambda
[7]^2*lambda[6]^2+1/7840*lambda[6]^3+43/313600*lambda[7]^3*lambda[5]+37/235200
*lambda[7]*lambda[6]*lambda[5]-1/3920*lambda[5]^2-53/235200*lambda[7]^2*lambda
[4]-1/1960*lambda[6]*lambda[4]+83/117600*lambda[7]*lambda[3]+1/980*lambda[2])*
v[7]^7*v[5]^8+(-13/355809030635520*lambda[7]^6-2341607/1541839132753920000*
lambda[7]^4*lambda[6]+1851461/1541839132753920000*lambda[7]^2*lambda[6]^2+
39817/23599578562560000*lambda[6]^3+1845229/256973188792320000*lambda[7]^3*
lambda[5]+603557/64243297198080000*lambda[7]*lambda[6]*lambda[5]-2543/
2141443239936000*lambda[5]^2+69323/11680599490560000*lambda[7]^2*lambda[4]-239
/730037468160000*lambda[6]*lambda[4]+2813/648922193920000*lambda[7]*lambda[3]+
61/11061173760000*lambda[2])*v[7]^22*v[6]^2*v[5]^2*v[4]+(3/64*lambda[6]^3+1/16
*lambda[7]*lambda[6]*lambda[5]-1/48*lambda[5]^2+1/24*lambda[7]^2*lambda[4]+11/
48*lambda[6]*lambda[4]+1/48*lambda[7]*lambda[3]+1/24*lambda[2])*v[7]^4*v[6]^4*
v[5]^3*v[4]*v[2]+(1/840*lambda[7]^2*lambda[4]+13/6720*lambda[6]*lambda[4]+1/
280*lambda[2])*v[7]^8*v[6]*v[5]*v[4]*v[3]*v[1]+(9/32*lambda[6]^3+1/8*lambda[7]
*lambda[6]*lambda[5]-1/16*lambda[5]^2+11/16*lambda[7]^2*lambda[4]+5/8*lambda[6
]*lambda[4]+9/16*lambda[7]*lambda[3]+3/4*lambda[2])*v[7]^2*v[6]^2*v[5]^4*v[4]^
2*v[3]-1/2*lambda[2]*v[7]^3*v[6]*v[5]*v[4]^2*v[3]*v[1]+(-2099/208582133760000*
lambda[7]^6-509/69527377920000*lambda[7]^4*lambda[6]+25889/556219023360000*
lambda[7]^2*lambda[6]^2-31/3792402432000*lambda[6]^3+15331/92703170560000*
lambda[7]^3*lambda[5]+1/6077568000*lambda[7]*lambda[6]*lambda[5]+3/
681640960000*lambda[5]^2+2949/13243310080000*lambda[7]^2*lambda[4]+641/
8690922240000*lambda[6]*lambda[4]+521/7318671360000*lambda[7]*lambda[3])*v[7]^
20*v[6]*v[5]^3*v[4]-1/24*lambda[2]*v[7]^3*v[6]^4*v[4]^3*v[1]+(1/280*lambda[7]*
lambda[6]*lambda[5]+1/280*lambda[5]^2+1/280*lambda[7]^2*lambda[4]+1/140*lambda
[6]*lambda[4]+3/280*lambda[7]*lambda[3]-3/70*lambda[2])*v[7]*v[6]^7*v[5]*v[2]^
2-3/326144000*lambda[2]*v[7]^17*v[6]^2*v[4]*v[1]+(1/4*lambda[6]*lambda[4]+1/2*
lambda[2])*v[7]^2*v[6]^3*v[3]^3*v[2]+(1/3010560*lambda[7]^4*lambda[6]+9/
50176000*lambda[7]^2*lambda[6]^2+13/37632000*lambda[6]^3+73/45158400*lambda[7]
^3*lambda[5]-2297/225792000*lambda[7]*lambda[6]*lambda[5]-1/896000*lambda[5]^2
-19/15052800*lambda[7]^2*lambda[4]-1/448000*lambda[6]*lambda[4]-19/7526400*
lambda[7]*lambda[3]+3/1568000*lambda[2])*v[7]^10*v[6]^9*v[5]*v[3]+(1/3360*
lambda[7]^2*lambda[4]+13/26880*lambda[6]*lambda[4]+9/4480*lambda[7]*lambda[3]+
3/1120*lambda[2])*v[7]^8*v[6]^2*v[3]^2*v[1]+(-1/92252160*lambda[7]^6-597/
1435033600*lambda[7]^4*lambda[6]-131/123002880*lambda[7]^2*lambda[6]^2-529/
3228825600*lambda[6]^3+59/153753600*lambda[7]^3*lambda[5]+17/10762752*lambda[7
]*lambda[6]*lambda[5]+3/17937920*lambda[5]^2+787/1076275200*lambda[7]^2*lambda
[4]+3/22422400*lambda[6]*lambda[4]-193/538137600*lambda[7]*lambda[3]-1/2038400
*lambda[2])*v[7]^14*v[6]^2*v[5]^4*v[4]+(123/1971200*lambda[7]^2*lambda[6]^2+13
/70400*lambda[6]^3-1/197120*lambda[7]^3*lambda[5]+43/184800*lambda[7]*lambda[6
]*lambda[5]+1/22400*lambda[5]^2+17/492800*lambda[7]^2*lambda[4]+23/73920*
lambda[6]*lambda[4]-1/61600*lambda[7]*lambda[3]+1/5600*lambda[2])*v[7]^2*v[6]^
12*v[5]^2*v[4]+(11/160*lambda[7]^2*lambda[6]^2+3/80*lambda[7]^3*lambda[5]+11/
80*lambda[7]*lambda[6]*lambda[5]+1/8*lambda[5]^2+3/40*lambda[7]^2*lambda[4]+9/
40*lambda[7]*lambda[3])*v[7]*v[6]^2*v[5]^6*v[4]^2+(9/8*lambda[6]*lambda[4]+3/
16*lambda[7]*lambda[3]-1/4*lambda[2])*v[6]^2*v[5]^2*v[4]^4*v[3]+(1/179200*
lambda[7]*lambda[3]+1/134400*lambda[2])*v[7]^9*v[4]^6+(-8009/
121706613783063429120000000*lambda[7]^6+102667/227185679061718401024000000*
lambda[7]^4*lambda[6]-303757/363497086498749441638400000*lambda[7]^2*lambda[6]
^2+435893/1363114074370310406144000000*lambda[6]^3-5857/
13768829034043539456000000*lambda[7]^3*lambda[5]+103/105914069492642611200000*
lambda[7]*lambda[6]*lambda[5]-1/18358438712058052608000*lambda[5]^2+521/
809931119649619968000000*lambda[7]^2*lambda[4]-719/688441451702176972800000*
lambda[6]*lambda[4]-1/1215726233845760000000*lambda[7]*lambda[3]+29/
23706661559992320000000*lambda[2])*v[7]^34*v[4]+(1/492800*lambda[7]^3*lambda[5
]-3/394240*lambda[7]*lambda[6]*lambda[5]-3/197120*lambda[5]^2-211/11827200*
lambda[7]^2*lambda[4]-107/2956800*lambda[6]*lambda[4]+1/89600*lambda[7]*lambda
[3]+13/246400*lambda[2])*v[7]^12*v[5]^2*v[4]*v[3]^2+(1/960*lambda[7]^4*lambda[
6]-3/1600*lambda[7]^2*lambda[6]^2+7/1200*lambda[6]^3-17/2400*lambda[7]^3*
lambda[5]-3/160*lambda[7]*lambda[6]*lambda[5]-1/300*lambda[5]^2-7/2400*lambda[
7]^2*lambda[4]-1/150*lambda[6]*lambda[4]+11/1200*lambda[7]*lambda[3]+1/75*
lambda[2])*v[7]^6*v[6]^3*v[5]^5*v[3]-1/4*lambda[2]*v[6]*v[4]^4*v[3]*v[2]+(3/80
*lambda[6]*lambda[4]+9/160*lambda[7]*lambda[3]+3/40*lambda[2])*v[7]^2*v[6]^2*v
[5]^2*v[4]^5+(-23/23465490048000*lambda[7]^6-1063/312873200640000*lambda[7]^4*
lambda[6]+257/8939234304000*lambda[7]^2*lambda[6]^2+547/231044825088000*lambda
[6]^3-83/26072766720000*lambda[7]^3*lambda[5]-6581/83432853504000*lambda[7]*
lambda[6]*lambda[5]-61/1112438046720*lambda[5]^2+137/1668657070080*lambda[7]^2
*lambda[4]-43/3337314140160*lambda[6]*lambda[4]+59/185406341120*lambda[7]*
lambda[3]+53/243102720000*lambda[2])*v[7]^20*v[6]*v[5]*v[1]+(-83/8072064000*
lambda[7]^4*lambda[6]+479/16144128000*lambda[7]^2*lambda[6]^2-19/645765120*
lambda[6]^3-41/336336000*lambda[7]^3*lambda[5]-279/1793792000*lambda[7]*lambda
[6]*lambda[5]+73/896896000*lambda[5]^2-263/2690688000*lambda[7]^2*lambda[4]+
109/1345344000*lambda[6]*lambda[4]-263/2690688000*lambda[7]*lambda[3])*v[7]^15
*v[6]*v[5]^3*v[4]^2+(-1/17920*lambda[6]^3+1/13440*lambda[7]*lambda[6]*lambda[5
]-1/13440*lambda[5]^2-1/1280*lambda[7]^2*lambda[4]-1/2688*lambda[6]*lambda[4]-\
1/1280*lambda[7]*lambda[3])*v[7]^4*v[6]^9*v[3]*v[2]-1/2*lambda[2]*v[7]^2*v[6]^
3*v[5]^2*v[2]*v[1]+(-9/1600*lambda[7]^2*lambda[6]^2-3/1600*lambda[6]^3+1/400*
lambda[7]^3*lambda[5]+11/800*lambda[7]*lambda[6]*lambda[5]-1/150*lambda[5]^2+1
/300*lambda[7]^2*lambda[4]-71/1200*lambda[6]*lambda[4]-1/300*lambda[7]*lambda[
3]-1/150*lambda[2])*v[7]^5*v[6]^5*v[5]^3*v[4]*v[3]+(-1/3360*lambda[7]^4*lambda
[6]+1/3360*lambda[7]^2*lambda[6]^2+13/4480*lambda[6]^3+17/3360*lambda[7]^3*
lambda[5]+13/960*lambda[7]*lambda[6]*lambda[5]+9/2240*lambda[5]^2-1/84*lambda[
7]^2*lambda[4]+1/672*lambda[6]*lambda[4]-11/840*lambda[7]*lambda[3]-13/560*
lambda[2])*v[7]^7*v[6]^2*v[5]^4*v[4]*v[3]+1/2240*lambda[2]*v[7]^8*v[5]^2*v[4]^
2*v[1]+(3979/49401031680000*lambda[7]^6+26219/65868042240000*lambda[7]^4*
lambda[6]-157847/263472168960000*lambda[7]^2*lambda[6]^2-2081/17964011520000*
lambda[6]^3-41009/43912028160000*lambda[7]^3*lambda[5]-153151/43912028160000*
lambda[7]*lambda[6]*lambda[5]-1213/3659335680000*lambda[5]^2+251/1254629376000
*lambda[7]^2*lambda[4]-23/112020480000*lambda[6]*lambda[4]+14551/7318671360000
*lambda[7]*lambda[3]-223/914833920000*lambda[2])*v[7]^18*v[6]^5*v[5]*v[3]+(23/
2690688000*lambda[7]^4*lambda[6]-173/5381376000*lambda[7]^2*lambda[6]^2-211/
17220403200*lambda[6]^3+23/1345344000*lambda[7]^3*lambda[5]+19/3075072000*
lambda[7]*lambda[6]*lambda[5]+3/143503360*lambda[5]^2-361/2050048000*lambda[7]
^2*lambda[4]-93/7175168000*lambda[6]*lambda[4]-613/2870067200*lambda[7]*lambda
[3]-367/1793792000*lambda[2])*v[7]^16*v[6]*v[5]*v[4]^2*v[3]+(3/1600*lambda[7]*
lambda[6]*lambda[5]+7/4800*lambda[5]^2+21/1600*lambda[7]^2*lambda[4]-3/400*
lambda[6]*lambda[4]-1/1600*lambda[7]*lambda[3]-3/400*lambda[2])*v[7]^5*v[6]^5*
v[3]^2*v[2]+(-9/985600*lambda[7]^2*lambda[6]^2-1/35200*lambda[6]^3-1/211200*
lambda[7]^3*lambda[5]+431/1478400*lambda[7]*lambda[6]*lambda[5]+9/123200*
lambda[5]^2+1/26880*lambda[7]^2*lambda[4]+1/16800*lambda[6]*lambda[4]+1/9856*
lambda[7]*lambda[3]+3/30800*lambda[2])*v[7]^2*v[6]^13*v[5]*v[3]+(-3/160*lambda
[7]^2*lambda[4]-3/320*lambda[6]*lambda[4]-3/160*lambda[7]*lambda[3]-1/60*
lambda[2])*v[7]^6*v[6]^2*v[4]^3*v[3]^2+(3/800*lambda[7]*lambda[3]+1/400*lambda
[2])*v[7]^5*v[6]^7*v[4]^2*v[2]+(3/4*lambda[7]*lambda[3]+1/2*lambda[2])*v[7]^2*
v[5]^3*v[4]^3*v[2]-1/44800*lambda[2]*v[7]^12*v[5]*v[2]*v[1]+(1/89600*lambda[7]
^2*lambda[6]^2+1/71680*lambda[6]^3+1/201600*lambda[7]^3*lambda[5]+23/806400*
lambda[7]*lambda[6]*lambda[5]+13/537600*lambda[5]^2+1/134400*lambda[7]^2*
lambda[4]+1/53760*lambda[6]*lambda[4]-1/13440*lambda[7]*lambda[3]-3/44800*
lambda[2])*v[7]^10*v[6]^4*v[5]^2*v[1]-1/2*lambda[2]*v[6]^2*v[4]^3*v[3]*v[1]+(-\
89/377901748224000*lambda[7]^6+8929/23361198981120000*lambda[7]^4*lambda[6]+
1415273/256973188792320000*lambda[7]^2*lambda[6]^2+8867/21414432399360000*
lambda[6]^3+141943/25697318879232000*lambda[7]^3*lambda[5]+101863/
18355227770880000*lambda[7]*lambda[6]*lambda[5]-1/5248635392000*lambda[5]^2+
863/3893533163520000*lambda[7]^2*lambda[4]+1/20278818560000*lambda[6]*lambda[4
]-751/1946766581760000*lambda[7]*lambda[3])*v[7]^22*v[6]^3*v[5]*v[3]+1/1680*
lambda[2]*v[7]^7*v[6]^2*v[4]^3*v[1]-1/20*lambda[2]*v[7]^5*v[5]^4*v[4]*v[1]+(-1
/20*lambda[7]*lambda[6]*lambda[5]+1/20*lambda[5]^2-1/20*lambda[7]^2*lambda[4]-\
1/10*lambda[6]*lambda[4]+3/20*lambda[7]*lambda[3]-1/20*lambda[2])*v[7]^5*v[5]^
3*v[4]*v[3]*v[2]+(1/32*lambda[5]^2-1/8*lambda[2])*v[7]^4*v[3]^5-1/4*lambda[2]*
v[7]^4*v[5]^3*v[2]*v[1]+1/160*lambda[2]*v[7]^4*v[6]^6*v[4]^2*v[1]+(311/
53813760000*lambda[7]^4*lambda[6]-229/9784320000*lambda[7]^2*lambda[6]^2+19/
4305100800*lambda[6]^3-43/1121120000*lambda[7]^3*lambda[5]-2347/35875840000*
lambda[7]*lambda[6]*lambda[5]-773/53813760000*lambda[5]^2-709/17937920000*
lambda[7]^2*lambda[4]-109/8968960000*lambda[6]*lambda[4]+263/3587584000*lambda
[7]*lambda[3]+11/203840000*lambda[2])*v[7]^15*v[6]^5*v[5]*v[4]^2+(-23/
8072064000*lambda[7]^4*lambda[6]+173/16144128000*lambda[7]^2*lambda[6]^2+211/
51661209600*lambda[6]^3-23/4036032000*lambda[7]^3*lambda[5]-19/9225216000*
lambda[7]*lambda[6]*lambda[5]-1/143503360*lambda[5]^2+2579/43051008000*lambda[
7]^2*lambda[4]-401/21525504000*lambda[6]*lambda[4]-401/8610201600*lambda[7]*
lambda[3]-207/1793792000*lambda[2])*v[7]^16*v[6]^3*v[3]*v[2]+(1/320*lambda[7]^
2*lambda[6]^2+1/640*lambda[6]^3+1/160*lambda[7]*lambda[6]*lambda[5]+1/320*
lambda[5]^2+13/960*lambda[7]^2*lambda[4]-1/96*lambda[6]*lambda[4]+1/320*lambda
[7]*lambda[3]+1/80*lambda[2])*v[7]^6*v[5]^4*v[4]^2*v[3]+(23/617512896000*
lambda[7]^6+23/411675264000*lambda[7]^4*lambda[6]-167/235243008000*lambda[7]^2
*lambda[6]^2-18527/39520825344000*lambda[6]^3+1/137225088000*lambda[7]^3*
lambda[5]+3427/1097800704000*lambda[7]*lambda[6]*lambda[5]+23/20910489600*
lambda[5]^2-29/28514304000*lambda[7]^2*lambda[4]+59/22404096000*lambda[6]*
lambda[4]+1667/243955712000*lambda[7]*lambda[3]+223/182966784000*lambda[2])*v[
7]^18*v[5]*v[3]*v[2]+(1/4*lambda[6]*lambda[4]+1/2*lambda[7]*lambda[3])*v[7]^2*
v[6]^3*v[5]*v[3]^2*v[1]+(3/492800*lambda[6]^3+117/492800*lambda[7]*lambda[6]*
lambda[5]-1/246400*lambda[5]^2-1/246400*lambda[7]^2*lambda[4]+3/17600*lambda[6
]*lambda[4]+31/246400*lambda[7]*lambda[3]+1/7700*lambda[2])*v[7]^3*v[6]^11*v[5
]*v[4]^2+(1/179200*lambda[7]*lambda[3]-1/268800*lambda[2])*v[7]^12*v[6]*v[4]^3
*v[2]+(-29/67200*lambda[7]^4*lambda[6]-41/13440*lambda[7]^2*lambda[6]^2+1/2800
*lambda[6]^3+61/33600*lambda[7]*lambda[6]*lambda[5]+1/8400*lambda[5]^2+11/
33600*lambda[7]^2*lambda[4]+1/280*lambda[6]*lambda[4]-1/16800*lambda[7]*lambda
[3]-1/2100*lambda[2])*v[7]^6*v[6]^7*v[5]^3*v[3]+(23/182966784000*lambda[7]^6+
23/22870848000*lambda[7]^4*lambda[6]-37231/5854937088000*lambda[7]^2*lambda[6]
^2+37/365933568000*lambda[6]^3-2867/585493708800*lambda[7]^3*lambda[5]-15863/
2927468544000*lambda[7]*lambda[6]*lambda[5]+57/28700672000*lambda[5]^2-257/
26613350400*lambda[7]^2*lambda[4]-373/91483392000*lambda[6]*lambda[4]-5659/
487911424000*lambda[7]*lambda[3]-1/81536000*lambda[2])*v[7]^17*v[6]^2*v[5]^2*v
[4]^2+(9/8*lambda[6]*lambda[4]+3/4*lambda[7]*lambda[3]+lambda[2])*v[7]^2*v[5]^
2*v[4]^3*v[3]^2+(-3/560*lambda[7]^2*lambda[6]^2-3/560*lambda[6]^3+1/420*lambda
[7]^3*lambda[5]-1/56*lambda[7]*lambda[6]*lambda[5]-17/420*lambda[5]^2-5/28*
lambda[6]*lambda[4]-1/35*lambda[7]*lambda[3]-1/105*lambda[2])*v[7]*v[6]^7*v[5]
^3*v[4]*v[3]+(3989/330394099875840000*lambda[7]^6-135617/1622988560793600000*
lambda[7]^4*lambda[6]-3013363/30836782655078400000*lambda[7]^2*lambda[6]^2-\
1238441/23127586991308800000*lambda[6]^3-4903/45888069427200000*lambda[7]^3*
lambda[5]+54799/321216485990400000*lambda[7]*lambda[6]*lambda[5]-4909/
128486594396160000*lambda[5]^2-29/109935054028800*lambda[7]^2*lambda[4]+29/
245390745600000*lambda[6]*lambda[4]-37/168551219200000*lambda[7]*lambda[3]+61/
221223475200000*lambda[2])*v[7]^22*v[6]^6*v[4]+(-1679/790416506880000*lambda[7
]^6-9437/1475444146176000*lambda[7]^4*lambda[6]-3611/4215554703360000*lambda[7
]^2*lambda[6]^2-24223/22131662192640000*lambda[6]^3+56569/2459073576960000*
lambda[7]^3*lambda[5]+30493/1229536788480000*lambda[7]*lambda[6]*lambda[5]-\
12653/1229536788480000*lambda[5]^2-743/44710428672000*lambda[7]^2*lambda[4]+
743/614768394240000*lambda[6]*lambda[4]-233/18629345280000*lambda[7]*lambda[3]
+31/1330667520000*lambda[2])*v[7]^18*v[6]^8*v[4]+(-1/184504320000*lambda[7]^6-\
113/206644838400*lambda[7]^4*lambda[6]-5437/7232569344000*lambda[7]^2*lambda[6
]^2-1513/9040711680000*lambda[6]^3-227/322882560000*lambda[7]^3*lambda[5]-61/
322882560000*lambda[7]*lambda[6]*lambda[5]+17/51367680000*lambda[5]^2+1447/
1291530240000*lambda[7]^2*lambda[4]+67/113008896000*lambda[6]*lambda[4]-1/
2795520000*lambda[7]*lambda[3]-1/815360000*lambda[2])*v[7]^14*v[6]^10*v[4]+(-\
13/4730880000*lambda[7]^4*lambda[6]-71/66232320000*lambda[7]^2*lambda[6]^2-47/
16558080000*lambda[6]^3-389/49674240000*lambda[7]^3*lambda[5]+949/24837120000*
lambda[7]*lambda[6]*lambda[5]+19/24837120000*lambda[5]^2-697/7096320000*lambda
[7]^2*lambda[4]+31/12418560000*lambda[6]*lambda[4]-47/689920000*lambda[7]*
lambda[3]+3/98560000*lambda[2])*v[7]^10*v[6]^12*v[4]+(-1/1600*lambda[6]*lambda
[4]-3/3200*lambda[7]*lambda[3]+3/800*lambda[2])*v[7]^2*v[6]^6*v[4]^5+(-1/
739200*lambda[7]^2*lambda[4]+23/5913600*lambda[6]*lambda[4]-1/197120*lambda[7]
*lambda[3]-1/123200*lambda[2])*v[7]^12*v[3]^2*v[1]+(-1/492800*lambda[7]^2*
lambda[4]+23/3942400*lambda[6]*lambda[4]+1/7884800*lambda[7]*lambda[3]+1/
281600*lambda[2])*v[7]^12*v[4]^4*v[3]+(123/246400*lambda[7]^2*lambda[6]^2-23/
15400*lambda[6]^3-1/24640*lambda[7]^3*lambda[5]+109/92400*lambda[7]*lambda[6]*
lambda[5]+29/92400*lambda[5]^2+53/369600*lambda[7]^2*lambda[4]-13/9240*lambda[
6]*lambda[4]+27/61600*lambda[7]*lambda[3]-23/23100*lambda[2])*v[6]^11*v[5]^3*v
[4]+(-851/9880206336000*lambda[7]^6-859/13173608448000*lambda[7]^4*lambda[6]+
18409/52694433792000*lambda[7]^2*lambda[6]^2+47/434294784000*lambda[6]^3+547/
274450176000*lambda[7]^3*lambda[5]-977/2195601408000*lambda[7]*lambda[6]*
lambda[5]-439/731867136000*lambda[5]^2+229/125462937600*lambda[7]^2*lambda[4]-\
467/1097800704000*lambda[6]*lambda[4]+97/28148736000*lambda[7]*lambda[3]+31/
16633344000*lambda[2])*v[7]^18*v[5]^4*v[4]+1/6*lambda[2]*v[7]^3*v[4]^3*v[3]^3+
(-1/280*lambda[7]*lambda[3]-1/140*lambda[2])*v[7]^7*v[6]*v[2]^3+(-1/33600*
lambda[7]^2*lambda[6]^2-1/26880*lambda[6]^3-1/67200*lambda[7]^3*lambda[5]-19/
134400*lambda[7]*lambda[6]*lambda[5]-1/44800*lambda[5]^2+3/89600*lambda[7]^2*
lambda[4]-1/22400*lambda[6]*lambda[4]+3/22400*lambda[7]*lambda[3]+1/11200*
lambda[2])*v[7]^10*v[5]^2*v[3]^3+(-3/246400*lambda[6]^3+1/61600*lambda[7]*
lambda[6]*lambda[5]+3/30800*lambda[5]^2-3/17600*lambda[7]^2*lambda[4]+23/61600
*lambda[6]*lambda[4]+1/3520*lambda[7]*lambda[3]+1/2200*lambda[2])*v[6]^11*v[3]
*v[2]+(-21053/47494151857152000000*lambda[7]^6+26633/11081968766668800000*
lambda[7]^4*lambda[6]-208231/141849200213360640000*lambda[7]^2*lambda[6]^2-\
895207/212773800320040960000*lambda[6]^3-41273/59103833422233600000*lambda[7]^
3*lambda[5]-5569/1818579489914880000*lambda[7]*lambda[6]*lambda[5]+37/
2046886005964800*lambda[5]^2-79/33773619098419200*lambda[7]^2*lambda[4]+13/
957147099955200*lambda[6]*lambda[4]-9873/597008418406400000*lambda[7]*lambda[3
]-2857/203525597184000000*lambda[2])*v[7]^25*v[5]*v[2]+(-19/2690688000*lambda[
7]^3*lambda[5]+17/538137600*lambda[7]*lambda[6]*lambda[5]-1/14350336*lambda[5]
^2-29/2690688000*lambda[7]^2*lambda[4]+17/269068800*lambda[6]*lambda[4]+1/
5096000*lambda[7]*lambda[3]-1/10192000*lambda[2])*v[7]^15*v[6]^2*v[2]^2+(-1/
57657600*lambda[7]^4*lambda[6]+5/64576512*lambda[7]^2*lambda[6]^2-401/
3228825600*lambda[6]^3-373/1076275200*lambda[7]^3*lambda[5]+1301/1076275200*
lambda[7]*lambda[6]*lambda[5]+179/358758400*lambda[5]^2+523/2152550400*lambda[
7]^2*lambda[4]-81/179379200*lambda[6]*lambda[4]-9/89689600*lambda[7]*lambda[3]
-87/89689600*lambda[2])*v[7]^14*v[6]^2*v[3]^3+(1/1971200*lambda[6]^3-1/1478400
*lambda[7]*lambda[6]*lambda[5]+1/140800*lambda[5]^2-1/246400*lambda[7]^2*
lambda[4]-23/1478400*lambda[6]*lambda[4]+1/12320*lambda[7]*lambda[3]+3/35200*
lambda[2])*v[7]^2*v[6]^12*v[1]+(-1/2800*lambda[7]^2*lambda[4]+1/700*lambda[6]*
lambda[4]+3/5600*lambda[7]*lambda[3]+23/33600*lambda[2])*v[7]^7*v[4]^5*v[3]-1/
12*lambda[2]*v[7]^3*v[6]^3*v[4]^4*v[2]+(-9/16*lambda[6]*lambda[4]-1/8*lambda[7
]*lambda[3]-1/6*lambda[2])*v[7]^4*v[6]*v[5]*v[4]^3*v[3]^2+(1/14784000*lambda[7
]^4*lambda[6]+1/14784000*lambda[7]^2*lambda[6]^2-79/118272000*lambda[6]^3+1/
3696000*lambda[7]^3*lambda[5]+13/29568000*lambda[7]*lambda[6]*lambda[5]-1/
844800*lambda[5]^2+13/4928000*lambda[7]^2*lambda[4]+1/394240*lambda[6]*lambda[
4]+1/140800*lambda[7]*lambda[3]+1/224000*lambda[2])*v[7]^12*v[6]^5*v[5]*v[1]+1
/10*lambda[2]*v[7]^2*v[6]^5*v[5]*v[4]^2*v[1]+(-1/4480*lambda[7]*lambda[6]*
lambda[5]+1/13440*lambda[5]^2-1/4480*lambda[7]^2*lambda[4]-1/2240*lambda[6]*
lambda[4]-3/4480*lambda[7]*lambda[3]-1/1120*lambda[2])*v[7]^9*v[6]^3*v[5]*v[2]
^2+(127/2690688000*lambda[7]^4*lambda[6]-437/2690688000*lambda[7]^2*lambda[6]^
2-211/2152550400*lambda[6]^3-9/35875840*lambda[7]^3*lambda[5]-881/1793792000*
lambda[7]*lambda[6]*lambda[5]+171/1793792000*lambda[5]^2+331/672672000*lambda[
7]^2*lambda[4]+277/244608000*lambda[6]*lambda[4]+87/224224000*lambda[7]*lambda
[3]+129/448448000*lambda[2])*v[7]^15*v[6]^2*v[5]^2*v[4]*v[3]+(-7/1600*lambda[7
]^2*lambda[4]+1/400*lambda[6]*lambda[4]-3/800*lambda[7]*lambda[3]-11/2400*
lambda[2])*v[7]^5*v[6]^6*v[4]^3*v[3]+(1/461260800*lambda[7]^6+1/16473600*
lambda[7]^4*lambda[6]+107/527155200*lambda[7]^2*lambda[6]^2-17/14643200*lambda
[6]^3-1451/1845043200*lambda[7]^3*lambda[5]-8101/1845043200*lambda[7]*lambda[6
]*lambda[5]-47/307507200*lambda[5]^2-463/307507200*lambda[7]^2*lambda[4]-17/
10982400*lambda[6]*lambda[4]+563/307507200*lambda[7]*lambda[3]+3/1164800*
lambda[2])*v[7]^13*v[6]^4*v[5]^2*v[4]^2+(1/4*lambda[5]^2+3*lambda[6]*lambda[4]
+lambda[7]*lambda[3]+3*lambda[2])*v[6]*v[5]*v[4]*v[3]^4+(-1/16*lambda[7]*
lambda[3]+1/8*lambda[2])*v[7]^2*v[6]^4*v[5]*v[4]^3*v[2]+(-1/8*lambda[7]^2*
lambda[4]-1/8*lambda[7]*lambda[3]+1/4*lambda[2])*v[7]*v[6]^4*v[5]^2*v[4]^3*v[3
]+1/20*lambda[2]*v[7]^5*v[6]^3*v[4]*v[2]*v[1]+(1/40320*lambda[7]^3*lambda[5]+
17/403200*lambda[7]*lambda[6]*lambda[5]+11/67200*lambda[5]^2+5/10752*lambda[7]
^2*lambda[4]+1/3200*lambda[6]*lambda[4]-1/16800*lambda[7]*lambda[3])*v[7]^10*v
[6]^3*v[5]*v[4]*v[3]^2+(3/4*lambda[7]^2*lambda[4]+3/4*lambda[7]*lambda[3]+1/2*
lambda[2])*v[7]*v[5]^4*v[4]^3*v[3]+3/4*lambda[2]*v[7]^2*v[4]^2*v[3]*v[2]^2+(3/
32*lambda[6]*lambda[4]+1/64*lambda[7]*lambda[3]+5/48*lambda[2])*v[7]^4*v[5]^2*
v[4]^4*v[3]+2*lambda[2]*v[6]*v[3]^2*v[2]*v[1]+(-1/240*lambda[7]^3*lambda[5]+7/
240*lambda[7]*lambda[6]*lambda[5]+1/40*lambda[5]^2+11/160*lambda[7]^2*lambda[4
]+1/8*lambda[6]*lambda[4])*v[7]^6*v[6]*v[5]^3*v[4]*v[3]^2+(3/1120*lambda[7]*
lambda[3]+1/560*lambda[2])*v[7]^9*v[6]*v[5]^2*v[4]^2*v[2]+(-33/1120*lambda[7]^
2*lambda[6]^2+1/56*lambda[6]^3-1/140*lambda[7]^3*lambda[5]+2/35*lambda[7]*
lambda[6]*lambda[5]-1/28*lambda[5]^2+1/280*lambda[7]^2*lambda[4]-1/14*lambda[6
]*lambda[4]+1/35*lambda[7]*lambda[3]+1/7*lambda[2])*v[5]^8*v[3]+(1/120*lambda[
7]^2*lambda[4]+1/240*lambda[6]*lambda[4]-3/160*lambda[7]*lambda[3]-1/80*lambda
[2])*v[7]^6*v[6]^3*v[4]^2*v[3]*v[2];