C31 := (53/6528287055273984*v[6]^25*v[4]^2+1/3*v[3]^4*v[2]-1/48*v[5]^2*v[4]^9-\
1/6*v[6]^3*v[2]^4+1/2880*v[6]^4*v[4]^9-1/83547459072*v[6]^19*v[5]^6+13/
376631945496576*v[6]^23*v[5]^4+1/2*v[6]^2*v[5]^2*v[4]*v[1]^2+1/6720*v[6]^7*v[4
]^8-1/45360*v[6]^8*v[5]^6*v[1]-1/145297152*v[6]^16*v[5]^3*v[4]*v[3]-1/18*v[6]^
3*v[4]^3*v[3]^2*v[2]-1/9283051008*v[6]^19*v[3]^2+v[4]^2*v[2]^2*v[1]+101/
1259844870316032*v[6]^24*v[5]^2*v[4]-1/6*v[6]^3*v[4]*v[2]^2*v[1]+1/9072*v[6]^
10*v[5]^3*v[4]^3*v[3]-1/5040*v[6]^8*v[3]^2*v[1]-1/12474*v[6]^11*v[4]^2*v[2]^2+
13/1890*v[6]^3*v[5]^8*v[3]^2-1/352066176*v[6]^15*v[5]^8-1/120960*v[6]^10*v[4]^
7-1/1134*v[5]^10*v[1]-1/756*v[6]^7*v[3]^4+1/128304*v[6]^12*v[5]^3*v[3]*v[2]-\
1307/54289235151658450944*v[6]^28*v[4]+1/36*v[6]^6*v[5]^2*v[2]^3+25/37422*v[5]
^12*v[2]-17/12972960*v[6]^13*v[5]^2*v[4]*v[1]+1/54*v[6]^4*v[5]^4*v[4]^4*v[2]-1
/240*v[6]*v[4]^10-25/37422*v[6]*v[5]^12*v[4]^2-1/9*v[6]*v[5]^6*v[2]*v[1]+1/3*v
[6]^3*v[5]*v[4]^3*v[3]*v[1]+1/270*v[6]^5*v[5]^6*v[4]*v[1]-1/30*v[6]^5*v[5]^5*v
[4]*v[3]*v[2]-1/37721376*v[6]^11*v[5]^10+1/60*v[6]^5*v[5]^4*v[2]*v[1]+1/30*v[6
]^5*v[4]*v[3]^2*v[1]-1/6*v[6]^2*v[5]^4*v[2]^3+1/12*v[6]^4*v[5]^2*v[4]^4*v[1]-1
/432432*v[6]^13*v[4]^2*v[3]^2-25/149146250416644096*v[6]^27*v[5]^2+1/7560*v[6]
^8*v[5]^3*v[3]*v[1]-1/504*v[6]^5*v[5]^8*v[4]*v[2]+1/3*v[5]^4*v[3]^2*v[1]-13/
2520*v[6]^7*v[4]^2*v[2]*v[1]-1/748440*v[6]^11*v[5]^7*v[3]-11/756*v[6]^7*v[5]*v
[4]^3*v[3]*v[2]+1/3024*v[6]^6*v[5]^8*v[4]^3-1/3*v[6]*v[4]^3*v[2]^3+1/48*v[4]^8
*v[2]+13/62771990916096*v[6]^23*v[5]*v[3]+1/399168*v[6]^11*v[5]^4*v[4]^4+1/5*v
[6]^2*v[5]^5*v[4]^2*v[3]*v[2]-1/42336*v[6]^8*v[5]^8*v[2]-1/168*v[5]^8*v[4]^5-1
/2835*v[6]^7*v[5]^6*v[3]^2+1/96864768*v[6]^16*v[4]*v[3]^2+1/66528*v[6]^11*v[5]
*v[4]^4*v[3]+23/2470051584*v[6]^17*v[5]*v[4]^2*v[3]+1/217945728*v[6]^14*v[5]^4
*v[4]^3+1/672*v[6]^8*v[5]^2*v[4]^4*v[2]+1/37422*v[5]^14*v[4]-1/10*v[5]^5*v[4]^
5*v[3]-1/120*v[6]^2*v[5]^4*v[4]^7+1/7560*v[6]^9*v[1]^2+1/180*v[6]^4*v[5]^6*v[4
]^5+1/36*v[6]^6*v[4]^2*v[3]^2*v[2]+113/3379030566912*v[6]^19*v[4]^4+1/2*v[4]^3
*v[1]^2+1/45*v[6]^6*v[5]^2*v[4]*v[2]*v[1]-v[4]*v[2]^4+127/10137091700736*v[6]^
20*v[5]^4*v[4]-1/2*v[6]^2*v[4]^2*v[3]^2*v[1]+13/360*v[6]^3*v[4]^7*v[2]+5/4536*
v[6]^9*v[5]*v[3]*v[2]^2-13/630*v[5]^8*v[4]*v[3]^2-1/54432*v[6]^10*v[5]^6*v[4]^
3+v[6]^2*v[5]^3*v[4]*v[3]*v[2]^2+5/27216*v[6]^9*v[5]^4*v[2]^2+19/36324288*v[6]
^14*v[5]^2*v[4]^2*v[2]+2/3*v[5]^2*v[4]^3*v[2]*v[1]-1/3*v[6]*v[5]^4*v[4]*v[3]^2
*v[2]+127/1689515283456*v[6]^20*v[5]*v[4]*v[3]+1/13924576512*v[6]^19*v[5]^3*v[
3]+1/6480*v[6]^9*v[5]^4*v[4]*v[1]+1/30*v[6]^5*v[5]^2*v[1]^2-11/180*v[6]*v[5]^4
*v[4]^5*v[2]-25/449064*v[6]^4*v[5]^12*v[4]-1/1008*v[6]^8*v[5]^4*v[4]*v[3]^2-11
/9072*v[6]^9*v[4]*v[3]^2*v[2]+17/51891840*v[6]^13*v[4]^6-1/60*v[6]^5*v[5]^2*v[
4]^5*v[2]-1/18*v[6]^2*v[5]^6*v[4]^2*v[1]+1/18*v[6]^3*v[5]^4*v[4]^3*v[1]-v[6]*v
[3]^2*v[2]*v[1]+23/45360*v[6]^9*v[5]^2*v[2]*v[1]-5/3420071424*v[6]^17*v[2]^2-1
/6*v[6]^2*v[5]^4*v[4]^3*v[3]^2-1/977163264*v[6]^18*v[5]^2*v[4]^3-1/528353280*v
[6]^16*v[4]^5+1/9*v[5]^4*v[4]^3*v[2]^2-1/90720*v[6]^12*v[5]*v[3]*v[1]-1/504*v[
6]^8*v[5]*v[4]*v[3]^3+1/30240*v[6]^9*v[5]^2*v[4]^6+1/504*v[6]^4*v[5]^8*v[1]-1/
544320*v[6]^12*v[5]^4*v[1]+1/504*v[6]^7*v[4]*v[2]^3-1/332640*v[6]^11*v[4]^3*v[
1]-23/120*v[6]^2*v[4]^5*v[2]^2+1/381024*v[6]^8*v[5]^10*v[4]+23/714420*v[6]^7*v
[5]^9*v[3]+19/93555*v[6]^3*v[5]^11*v[3]-1/1512*v[6]^8*v[4]^3*v[2]^2-1/16765056
*v[6]^12*v[5]^8*v[4]-1/299376*v[6]^13*v[5]^2*v[2]^2+2/3*v[5]*v[3]^3*v[1]+1/
36324288*v[6]^14*v[5]*v[4]^3*v[3]-1/9*v[6]^4*v[5]*v[3]^3*v[2]-1/9072*v[6]^10*v
[5]*v[4]^2*v[3]*v[2]-4/45*v[6]*v[5]^6*v[4]^2*v[3]^2-11/30*v[6]*v[5]*v[4]^5*v[3
]*v[2]-5/4245696*v[6]^13*v[5]^4*v[4]*v[2]-19/31185*v[5]^11*v[4]*v[3]+7/12*v[6]
*v[4]^4*v[2]*v[1]-1/54432*v[6]^10*v[5]^4*v[4]^2*v[2]+1/324*v[6]^6*v[5]^6*v[4]^
2*v[2]+1/80*v[6]^3*v[5]^2*v[4]^8+23/14820309504*v[6]^17*v[5]^4*v[4]^2-1/6048*v
[6]^10*v[4]^3*v[3]^2-1/36*v[6]^6*v[5]*v[4]*v[3]*v[2]^2+1/1134*v[6]*v[5]^10*v[4
]*v[2]+1/135*v[6]^4*v[5]^7*v[3]*v[2]-5/707616*v[6]^13*v[5]*v[4]*v[3]*v[2]-1/
18144*v[6]^10*v[2]^3-1/30*v[6]^4*v[5]^3*v[4]^5*v[3]-1/1260*v[6]^7*v[5]^2*v[4]^
3*v[1]-v[6]^2*v[5]*v[3]*v[2]^3-3/2*v[6]^2*v[4]*v[3]^2*v[2]^2+1/180*v[6]^6*v[5]
^5*v[4]^3*v[3]-1/20956320*v[6]^15*v[5]^5*v[3]+1/871782912*v[6]^16*v[5]^6*v[4]+
1/6048*v[6]^10*v[5]^2*v[4]^2*v[1]+1/7560*v[6]^8*v[5]^7*v[4]*v[3]+2699/
49715416805548032*v[6]^24*v[2]-1/12528285034998104064*v[6]^31+1/1080*v[6]^9*v[
5]*v[4]*v[3]*v[1]+1/3360*v[6]^8*v[5]*v[4]^5*v[3]+1/12*v[5]^4*v[4]^4*v[1]+11/
13608*v[6]^9*v[5]^3*v[4]*v[3]*v[2]+1/10*v[6]*v[5]^2*v[4]^5*v[1]+1/84*v[6]^2*v[
5]^8*v[4]^2*v[2]+1/9*v[6]^4*v[5]*v[4]^4*v[3]*v[2]-11/4536*v[6]^7*v[5]^4*v[4]^3
*v[2]-1/30*v[6]^3*v[5]^5*v[4]^4*v[3]+5/548900352*v[6]^17*v[5]^2*v[4]*v[2]-11/
81648*v[6]^9*v[5]^6*v[4]*v[2]-25/9430344*v[6]^7*v[5]^12-1/112266*v[6]^3*v[5]^
14-1/15*v[6]*v[5]^3*v[4]^6*v[3]-1/3*v[6]^2*v[5]*v[4]^3*v[3]^3-1/6*v[6]^2*v[5]^
6*v[4]*v[2]^2-1/9*v[6]^3*v[5]^4*v[4]^2*v[2]^2+1/45*v[6]^2*v[5]^7*v[4]^3*v[3]+1
/7560*v[6]^9*v[5]^5*v[4]^2*v[3]-1/18*v[6]^4*v[5]^4*v[3]^2*v[2]+5/6*v[6]*v[5]^2
*v[4]^4*v[2]^2+1/3*v[6]^2*v[5]^3*v[4]^2*v[3]*v[1]-1/42*v[6]*v[5]^8*v[4]*v[1]-1
/54*v[6]^6*v[5]^3*v[4]^2*v[3]*v[2]-317/1561112121913344*v[6]^22*v[4]^3-23/2835
*v[5]^9*v[3]*v[2]+7/360*v[6]^6*v[2]^2*v[1]+1/120*v[6]^6*v[4]*v[1]^2-1/960*v[6]
^8*v[4]^4*v[1]+1/3669120*v[6]^14*v[4]^2*v[1]-1/85536*v[6]^12*v[3]^2*v[2]+4/45*
v[5]^6*v[3]^2*v[2]+7/6*v[4]^4*v[3]^2*v[2]+107/217945728*v[6]^14*v[4]*v[2]^2+1/
173920690944*v[6]^21*v[5]^2*v[4]^2+1/99792*v[6]^11*v[5]^4*v[3]^2-1/504*v[6]^3*
v[5]^8*v[4]^4+1/12108096*v[6]^15*v[5]^2*v[4]^4-2*v[5]^2*v[4]^2*v[2]^3+89/
24700515840*v[6]^17*v[4]*v[1]-1/3891888*v[6]^13*v[5]^6*v[4]^2+1/127008*v[6]^9*
v[5]^8*v[4]^2+1/2268*v[6]^2*v[5]^10*v[4]^3+1/335301120*v[6]^16*v[5]^2*v[1]+1/
42*v[6]*v[5]^8*v[2]^2+1/20160*v[6]^8*v[5]^4*v[4]^5-1/997920*v[6]^12*v[5]^5*v[4
]*v[3]+7/54*v[5]^6*v[4]^4*v[2]+8/9*v[5]^3*v[3]^3*v[2]-2/45*v[5]^7*v[3]*v[1]+1/
360*v[6]^5*v[5]^4*v[4]^6+1/90*v[6]*v[5]^6*v[4]^6+1/10*v[6]*v[4]^6*v[3]^2+1/40*
v[6]^2*v[4]^6*v[1]+1/20*v[6]^4*v[4]^5*v[3]^2-1/2*v[6]^2*v[2]*v[1]^2+1/49896*v[
6]^11*v[5]*v[3]^3-2/567*v[6]^7*v[5]^3*v[3]^3+2/135*v[6]^3*v[5]^5*v[3]^3-2/45*v
[5]^5*v[4]*v[3]^3-1/9*v[6]^3*v[5]^2*v[3]^4-1/36*v[6]^4*v[4]*v[3]^4+1/3*v[5]^2*
v[4]*v[3]^4-1/3*v[6]*v[4]^2*v[3]^4+23/389888142336*v[6]^20*v[5]^2*v[2]+1/
603542016*v[6]^16*v[5]^4*v[2]-1/769824*v[6]^12*v[5]^6*v[2]+1/6804*v[6]^4*v[5]^
10*v[2]-1633/212878925715456*v[6]^21*v[4]*v[2]+409/266765571072*v[6]^18*v[4]^2
*v[2]-41/653837184*v[6]^15*v[4]^3*v[2]-1/1197504*v[6]^12*v[4]^4*v[2]+17/181440
*v[6]^9*v[4]^5*v[2]+1/1080*v[6]^6*v[4]^6*v[2]-2/3*v[6]^3*v[5]*v[4]^2*v[3]*v[2]
^2-2/3*v[6]*v[5]*v[4]*v[3]^3*v[2]-8/9*v[6]*v[5]^3*v[4]^2*v[3]^3-1/135*v[6]^4*v
[5]^6*v[4]*v[3]^2+1/2*v[5]*v[4]^4*v[3]*v[1]+1/30*v[6]^4*v[5]^5*v[3]*v[1]-2/27*
v[6]^4*v[5]^3*v[4]*v[3]^3+2/3*v[6]*v[5]^3*v[3]*v[2]*v[1]-1/2520*v[6]^8*v[5]^5*
v[3]*v[2]-1/252*v[6]^7*v[5]^2*v[4]^2*v[2]^2+1/11340*v[6]^10*v[4]*v[2]*v[1]-1/
45*v[6]^5*v[5]^3*v[4]*v[3]*v[1]+1/18*v[6]^4*v[4]^3*v[2]*v[1]+2/45*v[6]*v[5]^7*
v[4]*v[3]*v[2]-1/60*v[6]^6*v[5]*v[4]^2*v[3]*v[1]-1/216*v[6]^6*v[5]^4*v[4]*v[2]
^2-1/6*v[6]^3*v[5]^2*v[4]*v[2]^3+1/855360*v[6]^13*v[2]*v[1]+1/332640*v[6]^12*v
[5]^2*v[4]^5-7/9*v[5]^3*v[4]^4*v[3]*v[2]+1/185661020160*v[6]^20*v[1]+23/34020*
v[6]^4*v[5]^9*v[4]*v[3]-7/36*v[6]^4*v[5]^2*v[4]^3*v[2]^2+1/60*v[6]^5*v[5]*v[4]
^6*v[3]-11/60*v[6]^2*v[5]^2*v[4]^6*v[2]+1/100590336*v[6]^16*v[5]*v[3]*v[2]+2/3
*v[5]*v[4]^3*v[3]*v[2]^2+1/2*v[6]^2*v[5]^2*v[2]^2*v[1]-1/360*v[6]^6*v[5]^4*v[4
]^2*v[1]+5/6*v[6]^3*v[5]^2*v[4]^2*v[2]*v[1]+1/12*v[6]^4*v[4]^2*v[2]^3+1/18144*
v[6]^10*v[5]^2*v[4]*v[2]^2-1/20*v[6]^2*v[5]*v[4]^7*v[3]-1/162*v[6]^3*v[5]^6*v[
4]^3*v[2]+1/648648*v[6]^13*v[5]^3*v[4]^2*v[3]+1/27*v[6]^3*v[5]^3*v[4]^3*v[3]*v
[2]+1/10*v[6]^5*v[5]*v[3]*v[2]*v[1]-1/72*v[6]^5*v[4]^4*v[2]^2-2/5*v[6]*v[5]^5*
v[4]*v[3]*v[1]+23/2835*v[6]*v[5]^9*v[4]^2*v[3]+2/5*v[6]*v[5]^5*v[3]*v[2]^2-1/
28512*v[6]^11*v[5]^2*v[4]^3*v[2])*lambda[1]+(-8549/2589344625288960000*v[6]^25
*v[4]^2+1/720*v[5]^2*v[4]^9+13/8640*v[6]^4*v[4]^9-61/38183799654000*v[6]^19*v[
5]^6+5207/1514766605794041600*v[6]^23*v[5]^4+41/100800*v[6]^7*v[4]^8-2/
1915538625*v[6]^16*v[5]^3*v[4]*v[3]+1/237588086736000*v[6]^19*v[3]^2+1271/
367216146859161600*v[6]^24*v[5]^2*v[4]-8/127575*v[6]^10*v[5]^3*v[4]^3*v[3]-1/
1247400*v[6]^11*v[4]^2*v[2]^2+47/402263111250*v[6]^15*v[5]^8-61/907200*v[6]^10
*v[4]^7-2/14175*v[5]^10*v[1]-15013/5089615795467979776000*v[6]^28*v[4]+2/93555
*v[5]^12*v[2]+1/27*v[6]^4*v[5]^4*v[4]^4*v[2]+1/3600*v[6]*v[4]^10-172/155925*v[
6]*v[5]^12*v[4]^2-1/1473491250*v[6]^11*v[5]^10+1/97297200*v[6]^13*v[4]^2*v[3]^
2-41/25967427527897856000*v[6]^27*v[5]^2+2/4725*v[6]^5*v[5]^8*v[4]*v[2]-8/
49116375*v[6]^11*v[5]^7*v[3]+1/42525*v[6]^6*v[5]^8*v[4]^3+19/5400*v[6]^6*v[5]^
2*v[4]^7-1/720*v[4]^8*v[2]-41/504922201931347200*v[6]^23*v[5]*v[3]+551/
22453200*v[6]^11*v[5]^4*v[4]^4-13/42525*v[6]^7*v[5]^6*v[4]^4+1/198450*v[6]^8*v
[5]^8*v[2]+31/18900*v[5]^8*v[4]^5-1/81729648000*v[6]^16*v[4]*v[3]^2-13/1496880
*v[6]^11*v[5]*v[4]^4*v[3]-257/1389404016000*v[6]^17*v[5]*v[4]^2*v[3]-31/
94303440*v[6]^14*v[5]^4*v[4]^3+1/945*v[6]^8*v[5]^2*v[4]^4*v[2]-314/3274425*v[5
]^14*v[4]-2/225*v[5]^5*v[4]^5*v[3]+1/270*v[6]^2*v[5]^4*v[4]^7+4/2025*v[6]^4*v[
5]^6*v[4]^5+295829/633568231296000*v[6]^19*v[4]^4-8/4725*v[6]^5*v[5]^7*v[4]^2*
v[3]-33023/7127642602080000*v[6]^20*v[5]^4*v[4]-8/2835*v[6]^7*v[5]^3*v[4]^4*v[
3]+1/108*v[6]^3*v[4]^7*v[2]+29/1913625*v[6]^10*v[5]^6*v[4]^3+4/42567525*v[6]^
14*v[5]^2*v[4]^2*v[2]-73/339411552480000*v[6]^20*v[5]*v[4]*v[3]-4/
5568470782875*v[6]^19*v[5]^3*v[3]+2/45*v[6]*v[5]^4*v[4]^5*v[2]+1/900*v[6]^5*v[
4]^5*v[1]+167/935550*v[6]^4*v[5]^12*v[4]-797/486486000*v[6]^13*v[4]^6+4/225*v[
6]^5*v[5]^2*v[4]^5*v[2]-1/1389404016000*v[6]^17*v[2]^2+7367/8336424096000*v[6]
^18*v[5]^2*v[4]^3+13711/1089728640000*v[6]^16*v[4]^5-29/151200*v[6]^9*v[5]^2*v
[4]^6+37/141750*v[6]^5*v[5]^10*v[4]^2+1/3742200*v[6]^11*v[4]^3*v[1]+1/30*v[6]^
2*v[4]^5*v[2]^2-2/496125*v[6]^8*v[5]^10*v[4]-4/893025*v[6]^7*v[5]^9*v[3]-4/
467775*v[6]^3*v[5]^11*v[3]+1/7560*v[6]^8*v[4]^3*v[2]^2-2/29469825*v[6]^12*v[5]
^8*v[4]-127/2043241200*v[6]^14*v[5]*v[4]^3*v[3]+4/18243225*v[6]^13*v[5]^4*v[4]
*v[2]+4/155925*v[5]^11*v[4]*v[3]+2/42525*v[6]^10*v[5]^4*v[4]^2*v[2]+4/2025*v[6
]^6*v[5]^6*v[4]^2*v[2]+1/720*v[6]^3*v[5]^2*v[4]^8+8159/4168212048000*v[6]^17*v
[5]^4*v[4]^2-1/340200*v[6]^10*v[4]^3*v[3]^2+2/14175*v[6]*v[5]^10*v[4]*v[2]-4/
135*v[6]^4*v[5]^3*v[4]^5*v[3]-8/2025*v[6]^6*v[5]^5*v[4]^3*v[3]-8/9577693125*v[
6]^15*v[5]^5*v[3]+479/459729270000*v[6]^16*v[5]^6*v[4]-4/99225*v[6]^8*v[5]^7*v
[4]*v[3]+41/12118132846352332800*v[6]^24*v[2]+1/1174526722031072256000*v[6]^31
-31/75600*v[6]^8*v[5]*v[4]^5*v[3]+1/315*v[6]^2*v[5]^8*v[4]^2*v[2]+8/2835*v[6]^
7*v[5]^4*v[4]^3*v[2]-4/135*v[6]^3*v[5]^5*v[4]^4*v[3]+2/10854718875*v[6]^17*v[5
]^2*v[4]*v[2]+4/127575*v[6]^9*v[5]^6*v[4]*v[2]-59/32744250*v[6]^7*v[5]^12+314/
9823275*v[6]^3*v[5]^14-4/135*v[6]*v[5]^3*v[4]^6*v[3]-8/945*v[6]^2*v[5]^7*v[4]^
3*v[3]-4/42525*v[6]^9*v[5]^5*v[4]^2*v[3]+4429/29270852285875200*v[6]^22*v[4]^3
+4/2835*v[5]^9*v[3]*v[2]-1/30240*v[6]^8*v[4]^4*v[1]-1/1362160800*v[6]^14*v[4]^
2*v[1]+1/681080400*v[6]^14*v[4]*v[2]^2-41/15652862184960*v[6]^21*v[5]^2*v[4]^2
-31/11340*v[6]^3*v[5]^8*v[4]^4-479/3714984000*v[6]^15*v[5]^2*v[4]^4+1/
1389404016000*v[6]^17*v[4]*v[1]-137/547296750*v[6]^13*v[5]^6*v[4]^2-1/3572100*
v[6]^9*v[5]^8*v[4]^2-44/14175*v[6]^2*v[5]^10*v[4]^3-19/45360*v[6]^8*v[5]^4*v[4
]^5-4/7016625*v[6]^12*v[5]^5*v[4]*v[3]+1/135*v[5]^6*v[4]^4*v[2]+53/8100*v[6]^5
*v[5]^4*v[4]^6+11/4050*v[6]*v[5]^6*v[4]^6+1/90*v[6]*v[4]^6*v[3]^2-1/180*v[6]^2
*v[4]^6*v[1]+1/3780*v[6]^7*v[4]^4*v[3]^2-1/180*v[6]^4*v[4]^5*v[3]^2+1/
9280784638125*v[6]^20*v[5]^2*v[2]+1/3831077250*v[6]^16*v[5]^4*v[2]+2/21049875*
v[6]^12*v[5]^6*v[2]+1/42525*v[6]^4*v[5]^10*v[2]+41/3991479857164800*v[6]^21*v[
4]*v[2]+127/12504636144000*v[6]^18*v[4]^2*v[2]+263/61297236000*v[6]^15*v[4]^3*
v[2]+59/89812800*v[6]^12*v[4]^4*v[2]+11/194400*v[6]^9*v[4]^5*v[2]+1/2025*v[6]^
6*v[4]^6*v[2]+1493/149688000*v[6]^12*v[5]^2*v[4]^5-1/4751761734720000*v[6]^20*
v[1]-2/8505*v[6]^4*v[5]^9*v[4]*v[3]-17/2700*v[6]^5*v[5]*v[4]^6*v[3]+2/45*v[6]^
2*v[5]^2*v[4]^6*v[2]-1/90*v[6]^2*v[5]*v[4]^7*v[3]+8/405*v[6]^3*v[5]^6*v[4]^3*v
[2]-8/18243225*v[6]^13*v[5]^3*v[4]^2*v[3]-1/180*v[6]^5*v[4]^4*v[2]^2-2/2835*v[
6]*v[5]^9*v[4]^2*v[3]+8/467775*v[6]^11*v[5]^2*v[4]^3*v[2])*lambda[4]^4+(631/
29921315670005760*v[6]^25*v[4]^2+1/120*v[5]^2*v[4]^9+7/1440*v[6]^4*v[4]^9+193/
19007046938880*v[6]^19*v[5]^6+6709/134645920515025920*v[6]^23*v[5]^4+1/2800*v[
6]^7*v[4]^8-1/37800*v[6]^8*v[5]^6*v[1]-23/3269185920*v[6]^16*v[5]^3*v[4]*v[3]-\
4/9*v[6]^3*v[4]^3*v[3]^2*v[2]+25/422378820864*v[6]^19*v[3]^2+1/2*v[4]^2*v[2]^2
*v[1]+25/314042963300352*v[6]^24*v[5]^2*v[4]-1/3*v[6]^3*v[4]*v[2]^2*v[1]+1/
4536*v[6]^10*v[5]^3*v[4]^3*v[3]-353/4989600*v[6]^11*v[4]^2*v[2]^2+13/945*v[6]^
3*v[5]^8*v[3]^2-53/19070251200*v[6]^15*v[5]^8-1/151200*v[6]^10*v[4]^7+1/1350*v
[6]^5*v[5]^6*v[2]^2-1/315*v[5]^10*v[1]-1/1890*v[6]^7*v[3]^4-23/2806650*v[6]^12
*v[5]^3*v[3]*v[2]-229/10440237529165086720*v[6]^28*v[4]+23/66825*v[5]^12*v[2]-\
17/6486480*v[6]^13*v[5]^2*v[4]*v[1]-1/216*v[6]^4*v[5]^4*v[4]^4*v[2]+1/600*v[6]
*v[4]^10-106/467775*v[6]*v[5]^12*v[4]^2+1/225*v[6]^5*v[5]^6*v[4]*v[1]-2/225*v[
6]^5*v[5]^5*v[4]*v[3]*v[2]-1/9622800*v[6]^11*v[5]^10+1/45*v[6]^5*v[5]^4*v[2]*v
[1]+1/6*v[6]^4*v[5]^2*v[4]^4*v[1]-31/12972960*v[6]^13*v[4]^2*v[3]^2+223/
4847253138540933120*v[6]^27*v[5]^2+1/3780*v[6]^5*v[5]^8*v[4]*v[2]-1/30*v[6]^5*
v[5]^4*v[4]^2*v[3]^2+2/315*v[6]^7*v[4]^2*v[2]*v[1]+1/13097700*v[6]^11*v[5]^7*v
[3]-17/945*v[6]^7*v[5]*v[4]^3*v[3]*v[2]+1/30*v[6]^5*v[3]^2*v[2]^2+23/37800*v[6
]^6*v[5]^8*v[4]^3-1/6*v[6]*v[4]^3*v[2]^3+1/3600*v[6]^6*v[5]^2*v[4]^7-1/120*v[4
]^8*v[2]-431/22440986752504320*v[6]^23*v[5]*v[3]+1/498960*v[6]^11*v[5]^4*v[4]^
4+2/15*v[6]^2*v[5]^5*v[4]^2*v[3]*v[2]+37/37800*v[6]^7*v[5]^6*v[4]^4-79/1587600
*v[6]^8*v[5]^8*v[2]+29/6300*v[5]^8*v[4]^5-4/4725*v[6]^7*v[5]^6*v[3]^2+73/
2179457280*v[6]^16*v[4]*v[3]^2-1/332640*v[6]^11*v[5]*v[4]^4*v[3]+31/3087564480
*v[6]^17*v[5]*v[4]^2*v[3]-1/15*v[6]^5*v[5]*v[4]^2*v[3]^3+1/108972864*v[6]^14*v
[5]^4*v[4]^3-1/1260*v[6]^8*v[5]^2*v[4]^4*v[2]+17/467775*v[5]^14*v[4]-7/150*v[5
]^5*v[4]^5*v[3]-1/60*v[6]^2*v[5]^4*v[4]^7+1/1800*v[6]^4*v[5]^6*v[4]^5+1/45*v[6
]^6*v[4]^2*v[3]^2*v[2]+365/1689515283456*v[6]^19*v[4]^4+1/3*v[6]^2*v[5]^4*v[4]
*v[2]*v[1]+2/45*v[6]^6*v[5]^2*v[4]*v[2]*v[1]+1/1575*v[6]^5*v[5]^7*v[4]^2*v[3]+
97/5068545850368*v[6]^20*v[5]^4*v[4]-1/945*v[6]^7*v[5]^3*v[4]^4*v[3]-1/360*v[6
]^3*v[4]^7*v[2]-1/22680*v[6]^9*v[5]*v[3]*v[2]^2-13/315*v[5]^8*v[4]*v[3]^2-1/
97200*v[6]^10*v[5]^6*v[4]^3+1/6804*v[6]^9*v[5]^4*v[2]^2-1/1009008*v[6]^14*v[5]
^2*v[4]^2*v[2]+1/3*v[5]^2*v[4]^3*v[2]*v[1]+29/844757641728*v[6]^20*v[5]*v[4]*v
[3]+1/70396470144*v[6]^19*v[5]^3*v[3]+1/4536*v[6]^9*v[5]^4*v[4]*v[1]+17/180*v[
6]*v[5]^4*v[4]^5*v[2]+7/600*v[6]^5*v[4]^5*v[1]-271/5613300*v[6]^4*v[5]^12*v[4]
-1/840*v[6]^8*v[5]^4*v[4]*v[3]^2-1/5670*v[6]^9*v[4]*v[3]^2*v[2]+439/518918400*
v[6]^13*v[4]^6-1/50*v[6]^5*v[5]^2*v[4]^5*v[2]-1/15*v[6]^2*v[5]^6*v[4]^2*v[1]+1
/9*v[6]^3*v[5]^4*v[4]^3*v[1]+1/2835*v[6]^9*v[5]^2*v[2]*v[1]+1447/555761606400*
v[6]^17*v[2]^2-1/3*v[6]^2*v[5]^4*v[4]^3*v[3]^2+25/44460928512*v[6]^18*v[5]^2*v
[4]^3-43/4843238400*v[6]^16*v[4]^5-1/9*v[5]^4*v[4]^3*v[2]^2-1/420*v[6]^8*v[5]*
v[4]*v[3]^3+1/4032*v[6]^9*v[5]^2*v[4]^6+1/252*v[6]^4*v[5]^8*v[1]-1/14175*v[6]^
5*v[5]^10*v[4]^2-1/598752*v[6]^12*v[5]^4*v[1]+1/252*v[6]^7*v[4]*v[2]^3-1/
166320*v[6]^11*v[4]^3*v[1]+1/60*v[6]^2*v[4]^5*v[2]^2+11/1587600*v[6]^8*v[5]^10
*v[4]-1/255150*v[6]^7*v[5]^9*v[3]+134/155925*v[6]^3*v[5]^11*v[3]-13/7560*v[6]^
8*v[4]^3*v[2]^2-317/628689600*v[6]^12*v[5]^8*v[4]+1/1360800*v[6]^13*v[5]^2*v[2
]^2-1/1297296*v[6]^14*v[5]*v[4]^3*v[3]+41/113400*v[6]^10*v[5]*v[4]^2*v[3]*v[2]
-4/15*v[6]*v[5]^6*v[4]^2*v[3]^2+4/15*v[6]*v[5]*v[4]^5*v[3]*v[2]-1069/583783200
*v[6]^13*v[5]^4*v[4]*v[2]-134/51975*v[5]^11*v[4]*v[3]+2/3*v[6]*v[4]^4*v[2]*v[1
]+41/680400*v[6]^10*v[5]^4*v[4]^2*v[2]-7/2025*v[6]^6*v[5]^6*v[4]^2*v[2]-1/60*v
[6]^3*v[5]^2*v[4]^8+31/18525386880*v[6]^17*v[5]^4*v[4]^2-1/3024*v[6]^10*v[4]^3
*v[3]^2+1/90*v[6]^6*v[5]*v[4]*v[3]*v[2]^2+1/315*v[6]*v[5]^10*v[4]*v[2]-317/
48648600*v[6]^13*v[5]*v[4]*v[3]*v[2]-1/56700*v[6]^10*v[2]^3+1/90*v[6]^4*v[5]^3
*v[4]^5*v[3]-1/630*v[6]^7*v[5]^2*v[4]^3*v[1]-v[6]^2*v[4]*v[3]^2*v[2]^2-1/
136216080*v[6]^15*v[5]^5*v[3]-157/32691859200*v[6]^16*v[5]^6*v[4]+1/3024*v[6]^
10*v[5]^2*v[4]^2*v[1]+1/44100*v[6]^8*v[5]^7*v[4]*v[3]-467/85039528746332160*v[
6]^24*v[2]+1/31320712587495260160*v[6]^31-19/16800*v[6]^8*v[5]*v[4]^5*v[3]+1/
12*v[5]^4*v[4]^4*v[1]+4/8505*v[6]^9*v[5]^3*v[4]*v[3]*v[2]+1/5*v[6]*v[5]^2*v[4]
^5*v[1]-1/90*v[6]^2*v[5]^8*v[4]^2*v[2]+1/18*v[6]^4*v[5]*v[4]^4*v[3]*v[2]-2/567
*v[6]^7*v[5]^4*v[4]^3*v[2]-1/90*v[6]^3*v[5]^5*v[4]^4*v[3]+23/3780691200*v[6]^
17*v[5]^2*v[4]*v[2]-41/1020600*v[6]^9*v[5]^6*v[4]*v[2]-139/117879300*v[6]^7*v[
5]^12-17/1403325*v[6]^3*v[5]^14-1/6*v[6]*v[5]^3*v[4]^6*v[3]-2/3*v[6]^2*v[5]*v[
4]^3*v[3]^3-1/45*v[6]^2*v[5]^6*v[4]*v[2]^2-1/18*v[6]^3*v[5]^4*v[4]^2*v[2]^2+2/
315*v[6]^2*v[5]^7*v[4]^3*v[3]+1/11340*v[6]^9*v[5]^5*v[4]^2*v[3]-1/3*v[6]*v[5]^
2*v[4]^4*v[2]^2-1/21*v[6]*v[5]^8*v[4]*v[1]-1/27*v[6]^6*v[5]^3*v[4]^2*v[3]*v[2]
-4171/3902780304783360*v[6]^22*v[4]^3-2/945*v[5]^9*v[3]*v[2]+1/180*v[6]^6*v[2]
^2*v[1]-41/20160*v[6]^8*v[4]^4*v[1]+1/2594592*v[6]^14*v[4]^2*v[1]+1/3742200*v[
6]^12*v[3]^2*v[2]+8/45*v[5]^6*v[3]^2*v[2]+1/3*v[4]^4*v[3]^2*v[2]+101/272432160
*v[6]^14*v[4]*v[2]^2+1/47432915712*v[6]^21*v[5]^2*v[4]^2-1/249480*v[6]^11*v[5]
^4*v[3]^2+11/3780*v[6]^3*v[5]^8*v[4]^4+227/1089728640*v[6]^15*v[5]^2*v[4]^4+
239/37050773760*v[6]^17*v[4]*v[1]-1/1871100*v[6]^13*v[5]^6*v[4]^2+1/476280*v[6
]^9*v[5]^8*v[4]^2+1/1134*v[6]^2*v[5]^10*v[4]^3+1/167650560*v[6]^16*v[5]^2*v[1]
+1/315*v[6]*v[5]^8*v[2]^2-1/25200*v[6]^8*v[5]^4*v[4]^5+1/1496880*v[6]^12*v[5]^
5*v[4]*v[3]-1/135*v[5]^6*v[4]^4*v[2]+8/9*v[5]^3*v[3]^3*v[2]+17/3600*v[6]^5*v[5
]^4*v[4]^6-7/900*v[6]*v[5]^6*v[4]^6+3/20*v[6]*v[4]^6*v[3]^2+3/40*v[6]^2*v[4]^6
*v[1]-1/2520*v[6]^7*v[4]^4*v[3]^2+1/24*v[6]^4*v[4]^5*v[3]^2-1/124740*v[6]^11*v
[5]*v[3]^3-8/2835*v[6]^7*v[5]^3*v[3]^3-4/135*v[6]^3*v[5]^5*v[3]^3+4/45*v[5]^5*
v[4]*v[3]^3+1/18*v[6]^4*v[4]*v[3]^4-1/3*v[6]*v[4]^2*v[3]^4-577/63356823129600*
v[6]^20*v[5]^2*v[2]+589/98075577600*v[6]^16*v[5]^4*v[2]-43/67359600*v[6]^12*v[
5]^6*v[2]+1/1890*v[6]^4*v[5]^10*v[2]-2341/2660986571443200*v[6]^21*v[4]*v[2]+
1369/476367091200*v[6]^18*v[4]^2*v[2]+389/4086482400*v[6]^15*v[4]^3*v[2]-1081/
59875200*v[6]^12*v[4]^4*v[2]-37/129600*v[6]^9*v[4]^5*v[2]-1/1080*v[6]^6*v[4]^6
*v[2]-1/3*v[6]^3*v[5]*v[4]^2*v[3]*v[2]^2-4/9*v[6]*v[5]^3*v[4]^2*v[3]^3-4/27*v[
6]^4*v[5]^3*v[4]*v[3]^3+1/18900*v[6]^8*v[5]^5*v[3]*v[2]+11/1260*v[6]^7*v[5]^2*
v[4]^2*v[2]^2+19/226800*v[6]^10*v[4]*v[2]*v[1]+1/36*v[6]^4*v[4]^3*v[2]*v[1]+1/
135*v[6]^6*v[5]^4*v[4]*v[2]^2+1/7484400*v[6]^13*v[2]*v[1]+79/19958400*v[6]^12*
v[5]^2*v[4]^5+1/9*v[5]^3*v[4]^4*v[3]*v[2]-5/1689515283456*v[6]^20*v[1]+5/3402*
v[6]^4*v[5]^9*v[4]*v[3]+1/36*v[6]^4*v[5]^2*v[4]^3*v[2]^2+17/600*v[6]^5*v[5]*v[
4]^6*v[3]+1/12*v[6]^2*v[5]^2*v[4]^6*v[2]+13/1257379200*v[6]^16*v[5]*v[3]*v[2]+
1/3*v[5]*v[4]^3*v[3]*v[2]^2+2/3*v[6]^3*v[5]^2*v[4]^2*v[2]*v[1]-1/12*v[6]^4*v[4
]^2*v[2]^3+7/32400*v[6]^10*v[5]^2*v[4]*v[2]^2-1/20*v[6]^2*v[5]*v[4]^7*v[3]-11/
405*v[6]^3*v[5]^6*v[4]^3*v[2]+1/1769040*v[6]^13*v[5]^3*v[4]^2*v[3]+8/27*v[6]^3
*v[5]^3*v[4]^3*v[3]*v[2]+1/45*v[6]^5*v[4]^4*v[2]^2-16/2835*v[6]*v[5]^9*v[4]^2*
v[3]+2/15*v[6]*v[5]^5*v[3]*v[2]^2+29/2494800*v[6]^11*v[5]^2*v[4]^3*v[2])*
lambda[4]*lambda[2]+(29537/6732296025751296000*v[6]^25*v[4]^2-1/144*v[5]^2*v[4
]^9-11/8640*v[6]^4*v[4]^9+1783/855317112249600*v[6]^19*v[5]^6-2911/
242362656927046656*v[6]^23*v[5]^4+1/20160*v[6]^7*v[4]^8+1/56700*v[6]^8*v[5]^6*
v[1]+4603/490377888000*v[6]^16*v[5]^3*v[4]*v[3]-1/9*v[6]^3*v[4]^3*v[3]^2*v[2]-\
1/3455826716160*v[6]^19*v[3]^2-3559/201968880772538880*v[6]^24*v[5]^2*v[4]+13/
291600*v[6]^10*v[5]^3*v[4]^3*v[3]+1/113400*v[6]^11*v[4]^2*v[2]^2-1/1890*v[6]^3
*v[5]^8*v[3]^2+53/160905244500*v[6]^15*v[5]^8-67/3628800*v[6]^10*v[4]^7+2/675*
v[6]^5*v[5]^6*v[2]^2-1/314344800*v[6]^15*v[5]^2*v[3]^2-1/1350*v[5]^10*v[1]-1/
1403325*v[6]^12*v[5]^3*v[3]*v[2]+8587/1017923159093595955200*v[6]^28*v[4]-19/
51975*v[5]^12*v[2]+31/194594400*v[6]^13*v[5]^2*v[4]*v[1]+11/216*v[6]^4*v[5]^4*
v[4]^4*v[2]-1/720*v[6]*v[4]^10+13/155925*v[6]*v[5]^12*v[4]^2+1/675*v[6]^5*v[5]
^6*v[4]*v[1]-2/225*v[6]^5*v[5]^5*v[4]*v[3]*v[2]-13/235758600*v[6]^11*v[5]^10-\
31/14968800*v[6]^12*v[5]^2*v[4]*v[3]^2+5/144*v[6]^4*v[5]^2*v[4]^4*v[1]-1/
8845200*v[6]^13*v[4]^2*v[3]^2+67/18177199269528499200*v[6]^27*v[5]^2+17/7560*v
[6]^5*v[5]^8*v[4]*v[2]-1/45*v[6]^5*v[5]^4*v[4]^2*v[3]^2-1/3638250*v[6]^11*v[5]
^7*v[3]-1/270*v[6]^7*v[5]*v[4]^3*v[3]*v[2]+97/680400*v[6]^6*v[5]^8*v[4]^3+1/3*
v[6]*v[4]^3*v[2]^3+19/21600*v[6]^6*v[5]^2*v[4]^7+1/144*v[4]^8*v[2]+41/
7344322937183232*v[6]^23*v[5]*v[3]+1391/89812800*v[6]^11*v[5]^4*v[4]^4-1/15*v[
6]^2*v[5]^5*v[4]^2*v[3]*v[2]-47/340200*v[6]^7*v[5]^6*v[4]^4-1/396900*v[6]^8*v[
5]^8*v[2]-23/4725*v[5]^8*v[4]^5-2/14175*v[6]^7*v[5]^6*v[3]^2-19/46702656000*v[
6]^16*v[4]*v[3]^2+289/29937600*v[6]^11*v[5]*v[4]^4*v[3]+43/15788682000*v[6]^17
*v[5]*v[4]^2*v[3]-2053/12259447200*v[6]^14*v[5]^4*v[4]^3-37/30240*v[6]^8*v[5]^
2*v[4]^4*v[2]-67/1091475*v[5]^14*v[4]+29/900*v[5]^5*v[4]^5*v[3]+1/432*v[6]^2*v
[5]^4*v[4]^7+1/810*v[6]^4*v[5]^6*v[4]^5+1/180*v[6]^6*v[4]^2*v[3]^2*v[2]+6263/
15839205782400*v[6]^19*v[4]^4-1/630*v[6]^5*v[5]^7*v[4]^2*v[3]+42281/
5702114081664000*v[6]^20*v[5]^4*v[4]-103/22680*v[6]^7*v[5]^3*v[4]^4*v[3]+1/27*
v[6]^3*v[4]^7*v[2]+1/630*v[5]^8*v[4]*v[3]^2+103/6123600*v[6]^10*v[5]^6*v[4]^3+
1/8505*v[6]^9*v[5]^4*v[2]^2-7/5054400*v[6]^14*v[5]^2*v[4]^2*v[2]-257/
38789891712000*v[6]^20*v[5]*v[4]*v[3]-499/57021140816640*v[6]^19*v[5]^3*v[3]+1
/17010*v[6]^9*v[5]^4*v[4]*v[1]-23/360*v[6]*v[5]^4*v[4]^5*v[2]+19/3600*v[6]^5*v
[4]^5*v[1]+29/374220*v[6]^4*v[5]^12*v[4]-1/1890*v[6]^8*v[5]^4*v[4]*v[3]^2-1/
22680*v[6]^9*v[4]*v[3]^2*v[2]-1933/3891888000*v[6]^13*v[4]^6+229/3600*v[6]^5*v
[5]^2*v[4]^5*v[2]+1/90*v[6]^2*v[5]^6*v[4]^2*v[1]+1/27*v[6]^3*v[5]^4*v[4]^3*v[1
]+1/20209512960*v[6]^17*v[2]^2-1/9*v[6]^2*v[5]^4*v[4]^3*v[3]^2+2501/
1333827855360*v[6]^18*v[5]^2*v[4]^3+13/3353011200*v[6]^16*v[4]^5+1/9*v[5]^4*v[
4]^3*v[2]^2-1/15120*v[6]^9*v[5]^2*v[4]^6+1/7560*v[6]^4*v[5]^8*v[1]+1/4050*v[6]
^5*v[5]^10*v[4]^2+1/5613300*v[6]^12*v[5]^4*v[1]+1/630*v[6]^7*v[4]*v[2]^3+29/
7484400*v[6]^11*v[4]^3*v[1]+19/120*v[6]^2*v[4]^5*v[2]^2-53/11907000*v[6]^8*v[5
]^10*v[4]-23/396900*v[6]^7*v[5]^9*v[3]+157/155925*v[6]^3*v[5]^11*v[3]+29/15120
*v[6]^8*v[4]^3*v[2]^2-499/2357586000*v[6]^12*v[5]^8*v[4]+1/2993760*v[6]^13*v[5
]^2*v[2]^2-1333/2043241200*v[6]^14*v[5]*v[4]^3*v[3]-17/226800*v[6]^10*v[5]*v[4
]^2*v[3]*v[2]-1/45*v[6]*v[5]^6*v[4]^2*v[3]^2-1/30*v[6]*v[5]*v[4]^5*v[3]*v[2]-\
587/291891600*v[6]^13*v[5]^4*v[4]*v[2]-157/51975*v[5]^11*v[4]*v[3]+143/680400*
v[6]^10*v[5]^4*v[4]^2*v[2]+1/2025*v[6]^6*v[5]^6*v[4]^2*v[2]+7/720*v[6]^3*v[5]^
2*v[4]^8-5/36*v[6]^3*v[5]^2*v[4]^4*v[3]^2-6161/8336424096000*v[6]^17*v[5]^4*v[
4]^2-29/680400*v[6]^10*v[4]^3*v[3]^2-1/126*v[6]*v[5]^10*v[4]*v[2]-1/945*v[6]^4
*v[5]^7*v[3]*v[2]-31/97297200*v[6]^13*v[5]*v[4]*v[3]*v[2]-1/226800*v[6]^10*v[2
]^3+43/1080*v[6]^4*v[5]^3*v[4]^5*v[3]+1/540*v[6]^7*v[5]^2*v[4]^3*v[1]-2/405*v[
6]^6*v[5]^5*v[4]^3*v[3]+37/7662154500*v[6]^15*v[5]^5*v[3]+43/210161952000*v[6]
^16*v[5]^6*v[4]+17/453600*v[6]^10*v[5]^2*v[4]^2*v[1]-4/33075*v[6]^8*v[5]^7*v[4
]*v[3]-3925/484725313854093312*v[6]^24*v[2]-1/234905344406214451200*v[6]^31-\
439/302400*v[6]^8*v[5]*v[4]^5*v[3]+1/72*v[5]^4*v[4]^4*v[1]-2/8505*v[6]^9*v[5]^
3*v[4]*v[3]*v[2]+1/60*v[6]*v[5]^2*v[4]^5*v[1]-23/1260*v[6]^2*v[5]^8*v[4]^2*v[2
]-5/72*v[6]^4*v[5]*v[4]^4*v[3]*v[2]-1/405*v[6]^7*v[5]^4*v[4]^3*v[2]+1/540*v[6]
^3*v[5]^5*v[4]^4*v[3]+4507/793945152000*v[6]^17*v[5]^2*v[4]*v[2]+1/20412*v[6]^
9*v[5]^6*v[4]*v[2]+197/196465500*v[6]^7*v[5]^12+67/3274425*v[6]^3*v[5]^14+31/
270*v[6]*v[5]^3*v[4]^6*v[3]+2/45*v[6]^2*v[5]^6*v[4]*v[2]^2+2/9*v[6]^3*v[5]^4*v
[4]^2*v[2]^2-1/21*v[6]^2*v[5]^7*v[4]^3*v[3]-1/34020*v[6]^9*v[5]^5*v[4]^2*v[3]+
5/12*v[6]*v[5]^2*v[4]^4*v[2]^2-1/630*v[6]*v[5]^8*v[4]*v[1]-2/135*v[6]^6*v[5]^3
*v[4]^2*v[3]*v[2]-118081/585417045717504000*v[6]^22*v[4]^3+1/135*v[5]^9*v[3]*v
[2]-1/17280*v[6]^8*v[4]^4*v[1]+1/123832800*v[6]^14*v[4]^2*v[1]+1/14968800*v[6]
^12*v[3]^2*v[2]+2/45*v[5]^6*v[3]^2*v[2]+1/12*v[4]^4*v[3]^2*v[2]+19/389188800*v
[6]^14*v[4]*v[2]^2+47/15050829024000*v[6]^21*v[5]^2*v[4]^2-1/467775*v[6]^11*v[
5]^4*v[3]^2-19/11340*v[6]^3*v[5]^8*v[4]^4-277/10216206000*v[6]^15*v[5]^2*v[4]^
4+19/793945152000*v[6]^17*v[4]*v[1]-2909/8756748000*v[6]^13*v[5]^6*v[4]^2+1/
7144200*v[6]^9*v[5]^8*v[4]^2-23/56700*v[6]^2*v[5]^10*v[4]^3+1/5029516800*v[6]^
16*v[5]^2*v[1]+1/630*v[6]*v[5]^8*v[2]^2+163/907200*v[6]^8*v[5]^4*v[4]^5-1/
801900*v[6]^12*v[5]^5*v[4]*v[3]+1/135*v[5]^6*v[4]^4*v[2]-1/2025*v[6]^5*v[5]^4*
v[4]^6-1/4050*v[6]*v[5]^6*v[4]^6-7/180*v[6]*v[4]^6*v[3]^2+7/360*v[6]^2*v[4]^6*
v[1]+1/2160*v[6]^7*v[4]^4*v[3]^2-19/720*v[6]^4*v[4]^5*v[3]^2-1/60*v[5]^2*v[4]^
5*v[3]^2-1/134993231100*v[6]^20*v[5]^2*v[2]+307/98075577600*v[6]^16*v[5]^4*v[2
]-7/12028500*v[6]^12*v[5]^6*v[2]+4/4725*v[6]^4*v[5]^10*v[2]+58171/
79829597143296000*v[6]^21*v[4]*v[2]+8431/1539032140800*v[6]^18*v[4]^2*v[2]+
23659/122594472000*v[6]^15*v[4]^3*v[2]-2383/89812800*v[6]^12*v[4]^4*v[2]-6427/
5443200*v[6]^9*v[4]^5*v[2]+551/64800*v[6]^6*v[4]^6*v[2]-1/135*v[6]^4*v[5]^6*v[
4]*v[3]^2-1/9450*v[6]^8*v[5]^5*v[3]*v[2]-7/540*v[6]^6*v[5]^2*v[4]^3*v[3]^2+17/
1260*v[6]^7*v[5]^2*v[4]^2*v[2]^2+4/315*v[6]*v[5]^7*v[4]*v[3]*v[2]+2/135*v[6]^6
*v[5]^4*v[4]*v[2]^2+841/299376000*v[6]^12*v[5]^2*v[4]^5-1/18*v[5]^3*v[4]^4*v[3
]*v[2]+1/69116534323200*v[6]^20*v[1]+1/420*v[6]^4*v[5]^9*v[4]*v[3]+7/36*v[6]^4
*v[5]^2*v[4]^3*v[2]^2+29/5400*v[6]^5*v[5]*v[4]^6*v[3]-11/360*v[6]^2*v[5]^2*v[4
]^6*v[2]-1/2514758400*v[6]^16*v[5]*v[3]*v[2]+1/270*v[6]^6*v[5]^4*v[4]^2*v[1]-1
/12*v[6]^4*v[4]^2*v[2]^3+31/226800*v[6]^10*v[5]^2*v[4]*v[2]^2+7/180*v[6]^2*v[5
]*v[4]^7*v[3]+1/810*v[6]^3*v[5]^6*v[4]^3*v[2]-239/116756640*v[6]^13*v[5]^3*v[4
]^2*v[3]-4/27*v[6]^3*v[5]^3*v[4]^3*v[3]*v[2]-17/45360*v[6]^9*v[5]^2*v[4]^2*v[3
]^2-7/720*v[6]^5*v[4]^4*v[2]^2-8/315*v[6]*v[5]^9*v[4]^2*v[3]+7/38880*v[6]^11*v
[5]^2*v[4]^3*v[2])*lambda[4]^2*lambda[3]+(-27653/21543347282404147200*v[6]^25*
v[4]^2+1/180*v[5]^2*v[4]^9-1/12*v[6]^3*v[2]^4-1/4320*v[6]^4*v[4]^9+31/
105269798430720*v[6]^19*v[5]^6-2699/149146250416644096*v[6]^23*v[5]^4-1/25200*
v[6]^7*v[4]^8+1/60480*v[6]^8*v[5]^6*v[1]+97/78460462080*v[6]^16*v[5]^3*v[4]*v[
3]-1/18*v[6]^3*v[4]^3*v[3]^2*v[2]-5/212666259456*v[6]^19*v[3]^2-39499/
1846572624206069760*v[6]^24*v[5]^2*v[4]-97/4082400*v[6]^10*v[5]^3*v[4]^3*v[3]-\
53/1425600*v[6]^11*v[4]^2*v[2]^2+17/7560*v[6]^3*v[5]^8*v[3]^2+1/1293304320*v[6
]^15*v[5]^8+1/725760*v[6]^10*v[4]^7+1/360*v[6]^5*v[5]^6*v[2]^2+1/50295168*v[6]
^15*v[5]^2*v[3]^2-1/12600*v[5]^10*v[1]+1/3592512*v[6]^12*v[5]^3*v[3]*v[2]+
31001/3257354109099507056640*v[6]^28*v[4]+1/72*v[6]^6*v[5]^2*v[2]^3-23/138600*
v[5]^12*v[2]+43/155675520*v[6]^13*v[5]^2*v[4]*v[1]-1/864*v[6]^4*v[5]^4*v[4]^4*
v[2]+1/900*v[6]*v[4]^10+23/138600*v[6]*v[5]^12*v[4]^2+1/1800*v[6]^5*v[5]^6*v[4
]*v[1]-1/300*v[6]^5*v[5]^5*v[4]*v[3]*v[2]-19/3772137600*v[6]^11*v[5]^10-43/
11975040*v[6]^12*v[5]^2*v[4]*v[3]^2+1/12*v[6]^2*v[5]^4*v[2]^3-1/72*v[6]^4*v[5]
^2*v[4]^4*v[1]+53/111196800*v[6]^13*v[4]^2*v[3]^2-25/1789755004999729152*v[6]^
27*v[5]^2+89/151200*v[6]^5*v[5]^8*v[4]*v[2]-1/360*v[6]^5*v[5]^4*v[4]^2*v[3]^2-\
17/62868960*v[6]^11*v[5]^7*v[3]-1/540*v[6]^7*v[5]*v[4]^3*v[3]*v[2]-227/2721600
*v[6]^6*v[5]^8*v[4]^3+1/6*v[6]*v[4]^3*v[2]^3+1/21600*v[6]^6*v[5]^2*v[4]^7-1/
180*v[4]^8*v[2]-353/24857708402774016*v[6]^23*v[5]*v[3]+83/359251200*v[6]^11*v
[5]^4*v[4]^4-1/10*v[6]^2*v[5]^5*v[4]^2*v[3]*v[2]-53/1360800*v[6]^7*v[5]^6*v[4]
^4+19/2540160*v[6]^8*v[5]^8*v[2]+239/151200*v[5]^8*v[4]^5-1/7560*v[6]^7*v[5]^6
*v[3]^2-97/52306974720*v[6]^16*v[4]*v[3]^2+17/14968800*v[6]^11*v[5]*v[4]^4*v[3
]-893/2223046425600*v[6]^17*v[5]*v[4]^2*v[3]-2311/196151155200*v[6]^14*v[5]^4*
v[4]^3-13/120960*v[6]^8*v[5]^2*v[4]^4*v[2]-13/1746360*v[5]^14*v[4]+1/75*v[5]^5
*v[4]^5*v[3]+1/432*v[6]^2*v[5]^4*v[4]^7-91/64800*v[6]^4*v[5]^6*v[4]^5+1/360*v[
6]^6*v[4]^2*v[3]^2*v[2]+1409/144815595724800*v[6]^19*v[4]^4+1/4*v[4]*v[2]^4+17
/18900*v[6]^5*v[5]^7*v[4]^2*v[3]+409/1824676506132480*v[6]^20*v[5]^4*v[4]+1/
2835*v[6]^7*v[5]^3*v[4]^4*v[3]-1/216*v[6]^3*v[4]^7*v[2]-17/2520*v[5]^8*v[4]*v[
3]^2+239/48988800*v[6]^10*v[5]^6*v[4]^3-5/108864*v[6]^9*v[5]^4*v[2]^2+2047/
10897286400*v[6]^14*v[5]^2*v[4]^2*v[2]+1/6*v[6]*v[5]^4*v[4]*v[3]^2*v[2]-131/
43444678717440*v[6]^20*v[5]*v[4]*v[3]+5/318999389184*v[6]^19*v[5]^3*v[3]-11/
544320*v[6]^9*v[5]^4*v[4]*v[1]+1/360*v[6]*v[5]^4*v[4]^5*v[2]+1/360*v[6]^5*v[4]
^5*v[1]+23/1663200*v[6]^4*v[5]^12*v[4]+11/60480*v[6]^8*v[5]^4*v[4]*v[3]^2-11/
90720*v[6]^9*v[4]*v[3]^2*v[2]-53/444787200*v[6]^13*v[4]^6+1/144*v[6]^5*v[5]^2*
v[4]^5*v[2]+1/60*v[6]^2*v[5]^6*v[4]^2*v[1]-1/108*v[6]^3*v[5]^4*v[4]^3*v[1]+5/
1243662336*v[6]^17*v[2]^2+1/36*v[6]^2*v[5]^4*v[4]^3*v[3]^2+607/2052042854400*v
[6]^18*v[5]^2*v[4]^3+263/348713164800*v[6]^16*v[4]^5-1/36*v[5]^4*v[4]^3*v[2]^2
-1/86400*v[6]^9*v[5]^2*v[4]^6-17/30240*v[6]^4*v[5]^8*v[1]+1/113400*v[6]^5*v[5]
^10*v[4]^2-1/14370048*v[6]^12*v[5]^4*v[1]+11/2520*v[6]^7*v[4]*v[2]^3-97/
29937600*v[6]^11*v[4]^3*v[1]+1/12*v[6]^2*v[4]^5*v[2]^2-13/38102400*v[6]^8*v[5]
^10*v[4]-1/317520*v[6]^7*v[5]^9*v[3]+37/623700*v[6]^3*v[5]^11*v[3]-97/60480*v[
6]^8*v[4]^3*v[2]^2+31/1371686400*v[6]^12*v[5]^8*v[4]-5/2395008*v[6]^13*v[5]^2*
v[2]^2-179/2335132800*v[6]^14*v[5]*v[4]^3*v[3]+1/453600*v[6]^10*v[5]*v[4]^2*v[
3]*v[2]-1/30*v[6]*v[5]^6*v[4]^2*v[3]^2+2/15*v[6]*v[5]*v[4]^5*v[3]*v[2]-307/
934053120*v[6]^13*v[5]^4*v[4]*v[2]-37/207900*v[5]^11*v[4]*v[3]+187/5443200*v[6
]^10*v[5]^4*v[4]^2*v[2]+7/32400*v[6]^6*v[5]^6*v[4]^2*v[2]-1/360*v[6]^3*v[5]^2*
v[4]^8+1/18*v[6]^3*v[5]^2*v[4]^4*v[3]^2-7523/13338278553600*v[6]^17*v[5]^4*v[4
]^2+97/2721600*v[6]^10*v[4]^3*v[3]^2-17/37800*v[6]*v[5]^10*v[4]*v[2]+17/3780*v
[6]^4*v[5]^7*v[3]*v[2]-43/77837760*v[6]^13*v[5]*v[4]*v[3]*v[2]+1/36288*v[6]^10
*v[2]^3+1/108*v[6]^4*v[5]^3*v[4]^5*v[3]+1/1080*v[6]^7*v[5]^2*v[4]^3*v[1]-7/
5400*v[6]^6*v[5]^5*v[4]^3*v[3]+1/251475840*v[6]^15*v[5]^5*v[3]+31/336259123200
*v[6]^16*v[5]^6*v[4]-1/907200*v[6]^10*v[5]^2*v[4]^2*v[1]-187/3175200*v[6]^8*v[
5]^7*v[4]*v[3]+12083/596585001666576384*v[6]^24*v[2]-1/150339420419977248768*v
[6]^31-1/7560*v[6]^8*v[5]*v[4]^5*v[3]-1/18*v[5]^4*v[4]^4*v[1]+11/136080*v[6]^9
*v[5]^3*v[4]*v[3]*v[2]-1/15*v[6]*v[5]^2*v[4]^5*v[1]-13/5040*v[6]^2*v[5]^8*v[4]
^2*v[2]+1/36*v[6]^4*v[5]*v[4]^4*v[3]*v[2]+19/22680*v[6]^7*v[5]^4*v[4]^3*v[2]+1
/90*v[6]^3*v[5]^5*v[4]^4*v[3]+2341/889218570240*v[6]^17*v[5]^2*v[4]*v[2]+229/
8164800*v[6]^9*v[5]^6*v[4]*v[2]+23/34927200*v[6]^7*v[5]^12+13/5239080*v[6]^3*v
[5]^14+2/135*v[6]*v[5]^3*v[4]^6*v[3]+1/60*v[6]^2*v[5]^6*v[4]*v[2]^2+1/36*v[6]^
3*v[5]^4*v[4]^2*v[2]^2-17/1890*v[6]^2*v[5]^7*v[4]^3*v[3]+1/453600*v[6]^9*v[5]^
5*v[4]^2*v[3]-1/72*v[6]^4*v[5]^4*v[3]^2*v[2]-1/6*v[6]*v[5]^2*v[4]^4*v[2]^2+17/
2520*v[6]*v[5]^8*v[4]*v[1]-1/540*v[6]^6*v[5]^3*v[4]^2*v[3]*v[2]+48277/
468333636574003200*v[6]^22*v[4]^3+1/1260*v[5]^9*v[3]*v[2]+1/15120*v[6]^8*v[4]^
4*v[1]-53/1556755200*v[6]^14*v[4]^2*v[1]-1/2395008*v[6]^12*v[3]^2*v[2]+1/30*v[
5]^6*v[3]^2*v[2]-1/3*v[4]^4*v[3]^2*v[2]+97/435891456*v[6]^14*v[4]*v[2]^2-709/
313057243699200*v[6]^21*v[5]^2*v[4]^2+1/1197504*v[6]^11*v[5]^4*v[3]^2+43/90720
*v[6]^3*v[5]^8*v[4]^4-311/13076743680*v[6]^15*v[5]^2*v[4]^4+1/2*v[5]^2*v[4]^2*
v[2]^3+97/889218570240*v[6]^17*v[4]*v[1]+61/875674800*v[6]^13*v[5]^6*v[4]^2-\
257/114307200*v[6]^9*v[5]^8*v[4]^2-11/226800*v[6]^2*v[5]^10*v[4]^3-1/804722688
*v[6]^16*v[5]^2*v[1]-17/2520*v[6]*v[5]^8*v[2]^2-1/725760*v[6]^8*v[5]^4*v[4]^5-\
43/59875200*v[6]^12*v[5]^5*v[4]*v[3]-37/1080*v[5]^6*v[4]^4*v[2]-59/64800*v[6]^
5*v[5]^4*v[4]^6-49/16200*v[6]*v[5]^6*v[4]^6-1/45*v[6]*v[4]^6*v[3]^2+1/90*v[6]^
2*v[4]^6*v[1]-1/1890*v[6]^7*v[4]^4*v[3]^2-1/72*v[6]^4*v[4]^5*v[3]^2+1/15*v[5]^
2*v[4]^5*v[3]^2+13/668379672576*v[6]^20*v[5]^2*v[2]-13/2414168064*v[6]^16*v[5]
^4*v[2]-53/107775360*v[6]^12*v[5]^6*v[2]+13/226800*v[6]^4*v[5]^10*v[2]-13571/
12772735542927360*v[6]^21*v[4]*v[2]+66631/80029671321600*v[6]^18*v[4]^2*v[2]+
487/49037788800*v[6]^15*v[4]^3*v[2]+439/718502400*v[6]^12*v[4]^4*v[2]-83/
1088640*v[6]^9*v[4]^5*v[2]+29/64800*v[6]^6*v[4]^6*v[2]-1/2*v[6]^2*v[5]^2*v[4]^
2*v[3]^2*v[2]-1/360*v[6]^4*v[5]^6*v[4]*v[3]^2-1/10080*v[6]^8*v[5]^5*v[3]*v[2]-\
7/1080*v[6]^6*v[5]^2*v[4]^3*v[3]^2-1/2520*v[6]^7*v[5]^2*v[4]^2*v[2]^2-17/315*v
[6]*v[5]^7*v[4]*v[3]*v[2]-11/2160*v[6]^6*v[5]^4*v[4]*v[2]^2+1/6*v[6]^3*v[5]^2*
v[4]*v[2]^3-193/239500800*v[6]^12*v[5]^2*v[4]^5+2/9*v[5]^3*v[4]^4*v[3]*v[2]+1/
850665037824*v[6]^20*v[1]-1/15120*v[6]^4*v[5]^9*v[4]*v[3]+7/72*v[6]^4*v[5]^2*v
[4]^3*v[2]^2-11/2700*v[6]^5*v[5]*v[4]^6*v[3]+13/360*v[6]^2*v[5]^2*v[4]^6*v[2]+
1/402361344*v[6]^16*v[5]*v[3]*v[2]+1/2160*v[6]^6*v[5]^4*v[4]^2*v[1]-1/24*v[6]^
4*v[4]^2*v[2]^3+43/181440*v[6]^10*v[5]^2*v[4]*v[2]^2+1/45*v[6]^2*v[5]*v[4]^7*v
[3]+1/810*v[6]^3*v[5]^6*v[4]^3*v[2]-1/60*v[6]^5*v[5]^2*v[4]*v[3]^2*v[2]-53/
166795200*v[6]^13*v[5]^3*v[4]^2*v[3]+1/27*v[6]^3*v[5]^3*v[4]^3*v[3]*v[2]+1/
90720*v[6]^9*v[5]^2*v[4]^2*v[3]^2-1/2016*v[6]^8*v[5]^2*v[3]^2*v[2]+1/90*v[6]^5
*v[4]^4*v[2]^2-1/1260*v[6]*v[5]^9*v[4]^2*v[3]+289/14968800*v[6]^11*v[5]^2*v[4]
^3*v[2])*lambda[3]^2;