C32 := (31/797901751200153600*lambda[4]^8+31/398950875600076800*lambda[4]^6*
lambda[3]-23641/26596725040005120000*lambda[4]^4*lambda[3]^2-33169/
45594385782865920000*lambda[4]^2*lambda[3]^3+5634323/2553285603840491520000*
lambda[3]^4+617/2216393753333760000*lambda[4]^5*lambda[2]-40933/
8865575013335040000*lambda[4]^3*lambda[3]*lambda[2]+1823959/
70924600106680320000*lambda[4]*lambda[3]^2*lambda[2]-48847/
11820766684446720000*lambda[4]^2*lambda[2]^2-1327/30703290089472000*lambda[3]*
lambda[2]^2+62663/4432787506667520000*lambda[4]^4*lambda[1]-87019/
1773115002667008000*lambda[4]^2*lambda[3]*lambda[1]-35897/1418492002133606400*
lambda[3]^2*lambda[1]+67/632126560665600*lambda[4]*lambda[2]*lambda[1]+37/
556271373385728*lambda[1]^2+5183/197012778074112000*lambda[4]^3*lambda[0]-131/
1515482908262400*lambda[4]*lambda[3]*lambda[0]+543/5253674081976320*lambda[2]*
lambda[0])*v[4]^24*v[2]^2+(-31/19947543780003840000*lambda[4]^8+31/
1246721486250240000*lambda[4]^6*lambda[3]-31/207786914375040000*lambda[4]^4*
lambda[3]^2+31/77920092890640000*lambda[4]^2*lambda[3]^3-31/77920092890640000*
lambda[3]^4+13619/110819687666688000000*lambda[4]^5*lambda[2]-101/
116652302807040000*lambda[4]^3*lambda[3]*lambda[2]+42467/28369840042672128000*
lambda[4]*lambda[3]^2*lambda[2]+1/1055425596825600*lambda[4]^2*lambda[2]^2-1/
350894743879680*lambda[3]*lambda[2]^2+503/1385246095833600000*lambda[4]^4*
lambda[1]-156113/70924600106680320000*lambda[4]^2*lambda[3]*lambda[1]+42467/
14184920021336064000*lambda[3]^2*lambda[1]+127/135094476393676800*lambda[4]*
lambda[2]*lambda[1]-109/47283066737786880*lambda[1]^2+1/263386066944000*lambda
[4]^3*lambda[0]-401/28656404083507200*lambda[4]*lambda[3]*lambda[0]+43/
1910426938900480*lambda[2]*lambda[0])*v[4]^25*v[1]+(-9/17920*lambda[3]^4-3/
2240*lambda[4]*lambda[3]^2*lambda[2]-3/1120*lambda[3]*lambda[2]^2-3/1120*
lambda[4]^2*lambda[3]*lambda[1]+3/320*lambda[3]^2*lambda[1]-1/3360*lambda[4]*
lambda[2]*lambda[1]+13/3360*lambda[1]^2-9/1120*lambda[4]*lambda[3]*lambda[0]-1
/160*lambda[2]*lambda[0])*v[3]^8*v[2]^4+(9103/72609059359213977600000*lambda[4
]^8-211/293963803073740800000*lambda[4]^6*lambda[3]-125287/
387248316582474547200000*lambda[4]^4*lambda[3]^2+900857/
165963564249631948800000*lambda[4]^2*lambda[3]^3-5005523/
1858791919595877826560000*lambda[3]^4+272231/80676732621348864000000*lambda[4]
^5*lambda[2]-99809/6454138609707909120000*lambda[4]^3*lambda[3]*lambda[2]+
11399/1290827721941581824000*lambda[4]*lambda[3]^2*lambda[2]+31/
1756228193117798400*lambda[4]^2*lambda[2]^2-757/27537658068087078912*lambda[3]
*lambda[2]^2+44651/6454138609707909120000*lambda[4]^4*lambda[1]-86857/
2581655443883163648000*lambda[4]^2*lambda[3]*lambda[1]+28733/
1032662177553265459200*lambda[3]^2*lambda[1]+31/782319831479746560*lambda[4]*
lambda[2]*lambda[1]-137/2024827799124049920*lambda[1]^2-1/283449214304256000*
lambda[4]^3*lambda[0]-1/651933192899788800*lambda[4]*lambda[3]*lambda[0]+9/
173848851439943680*lambda[2]*lambda[0])*v[4]^28*v[3]^2+(1/268800*lambda[4]^2*
lambda[3]*lambda[1]+1/215040*lambda[3]^2*lambda[1]+1/268800*lambda[4]*lambda[2
]*lambda[1]-3/89600*lambda[1]^2-1/134400*lambda[4]^3*lambda[0]+1/13440*lambda[
4]*lambda[3]*lambda[0]+1/10752*lambda[2]*lambda[0])*v[4]^10*v[3]^4*v[1]^2+(-3/
560*lambda[3]^4+2/105*lambda[4]*lambda[3]^2*lambda[2]+1/105*lambda[4]^2*lambda
[2]^2+23/840*lambda[3]*lambda[2]^2-1/21*lambda[4]^2*lambda[3]*lambda[1]+1/420*
lambda[3]^2*lambda[1]+1/210*lambda[4]*lambda[2]*lambda[1]+8/105*lambda[1]^2-4/
105*lambda[4]^3*lambda[0]-9/70*lambda[4]*lambda[3]*lambda[0]-1/70*lambda[2]*
lambda[0])*v[4]^2*v[3]*v[2]^7+(-1/115315200*lambda[4]^4*lambda[3]^2+5/
129153024*lambda[4]^2*lambda[3]^3-401/6457651200*lambda[3]^4+23/807206400*
lambda[4]^3*lambda[3]*lambda[2]-137/807206400*lambda[4]*lambda[3]^2*lambda[2]-\
1/5045040*lambda[4]^2*lambda[2]^2-361/1076275200*lambda[3]*lambda[2]^2+1/
8968960*lambda[4]^4*lambda[1]+83/115315200*lambda[4]^2*lambda[3]*lambda[1]+109
/322882560*lambda[3]^2*lambda[1]-349/807206400*lambda[4]*lambda[2]*lambda[1]+
331/403603200*lambda[4]^3*lambda[0]+1747/807206400*lambda[4]*lambda[3]*lambda[
0]-17/161441280*lambda[2]*lambda[0])*v[4]^14*v[3]^3*v[2]^3+(3/35840*lambda[4]*
lambda[3]^2*lambda[2]+1/80640*lambda[4]^2*lambda[2]^2+1/23040*lambda[3]*lambda
[2]^2+3/17920*lambda[4]^2*lambda[3]*lambda[1]+3/17920*lambda[3]^2*lambda[1]+1/
10752*lambda[4]*lambda[2]*lambda[1]+1/4480*lambda[1]^2+1/6720*lambda[4]^3*
lambda[0]+19/53760*lambda[4]*lambda[3]*lambda[0]+1/53760*lambda[2]*lambda[0])*
v[4]^9*v[3]^4*v[2]^2*v[1]+(1/32*lambda[4]*lambda[3]^2*lambda[2]+1/16*lambda[3]
*lambda[2]^2+1/16*lambda[4]^2*lambda[3]*lambda[1]+1/16*lambda[3]^2*lambda[1]+1
/16*lambda[4]*lambda[2]*lambda[1]-1/4*lambda[1]^2+3/16*lambda[4]*lambda[3]*
lambda[0]+5/16*lambda[2]*lambda[0])*v[4]*v[3]^4*v[2]^4*v[1]+(-10831/
450176168027126661120000000*lambda[4]^8+10831/45017616802712666112000000*
lambda[4]^6*lambda[3]-33629/34299136611590602752000000*lambda[4]^4*lambda[3]^2
+703861/288112747537361063116800000*lambda[4]^2*lambda[3]^3-6128209/
1843921584239110803947520000*lambda[3]^4+2087/10003914845047259136000000*
lambda[4]^5*lambda[2]-5179/1600626375207561461760000*lambda[4]^3*lambda[3]*
lambda[2]+24539/2561002200332098338816000*lambda[4]*lambda[3]^2*lambda[2]+1/
443463584473090621440*lambda[4]^2*lambda[2]^2-53/3484356735145712025600*lambda
[3]*lambda[2]^2+773/200078296900945182720000*lambda[4]^4*lambda[1]-401/
19255655641594724352000*lambda[4]^2*lambda[3]*lambda[1]+22207/
1024400880132839335526400*lambda[3]^2*lambda[1]+467/24390497146019984179200*
lambda[4]*lambda[2]*lambda[1]-67/2008629176731057520640*lambda[1]^2+1/
165825058296561664000*lambda[4]^3*lambda[0]-3/132660046637249331200*lambda[4]*
lambda[3]*lambda[0]+1/26532009327449866240*lambda[2]*lambda[0])*v[4]^32+(3/32*
lambda[3]^2*lambda[1]+1/8*lambda[1]^2+3/8*lambda[4]*lambda[3]*lambda[0]-3/8*
lambda[2]*lambda[0])*v[4]^2*v[3]^4*v[2]^2*v[1]^2+(1/16*lambda[3]^2*lambda[1]+1
/4*lambda[4]*lambda[3]*lambda[0]-1/8*lambda[2]*lambda[0])*v[4]^4*v[3]*v[2]^3*v
[1]^2+(-3/4480*lambda[4]*lambda[3]^2*lambda[2]-1/3360*lambda[4]^2*lambda[2]^2-\
3/2240*lambda[3]*lambda[2]^2-3/2240*lambda[4]^2*lambda[3]*lambda[1]-3/2240*
lambda[3]^2*lambda[1]-17/6720*lambda[4]*lambda[2]*lambda[1]+13/1680*lambda[1]^
2-1/280*lambda[4]^3*lambda[0]-9/2240*lambda[4]*lambda[3]*lambda[0]-31/2240*
lambda[2]*lambda[0])*v[4]*v[3]^8*v[2]^2*v[1]+(19/2690688000*lambda[4]^3*lambda
[3]*lambda[2]-17/538137600*lambda[4]*lambda[3]^2*lambda[2]+113/8072064000*
lambda[4]^2*lambda[2]^2+17/1614412800*lambda[3]*lambda[2]^2+19/2690688000*
lambda[4]^4*lambda[1]-1/48048000*lambda[4]^2*lambda[3]*lambda[1]-17/269068800*
lambda[3]^2*lambda[1]+179/2690688000*lambda[4]*lambda[2]*lambda[1]+3/13798400*
lambda[4]^3*lambda[0]+3/11211200*lambda[4]*lambda[3]*lambda[0]+9/35875840*
lambda[2]*lambda[0])*v[4]^15*v[3]^3*v[2]*v[1]+(-1/120*lambda[4]*lambda[3]^2*
lambda[2]+1/30*lambda[4]^2*lambda[2]^2-1/60*lambda[3]*lambda[2]^2-1/60*lambda[
4]^2*lambda[3]*lambda[1]-1/60*lambda[3]^2*lambda[1]+7/60*lambda[4]*lambda[2]*
lambda[1]+1/15*lambda[1]^2-2/15*lambda[4]^3*lambda[0]-1/20*lambda[4]*lambda[3]
*lambda[0]+1/20*lambda[2]*lambda[0])*v[4]*v[2]^6*v[1]+(23/21525504000*lambda[4
]^4*lambda[3]^2-173/43051008000*lambda[4]^2*lambda[3]^3-211/137763225600*
lambda[3]^4+23/48432384000*lambda[4]^5*lambda[2]+241/96864768000*lambda[4]^3*
lambda[3]*lambda[2]-13511/1549836288000*lambda[4]*lambda[3]^2*lambda[2]-47/
19869696000*lambda[4]^2*lambda[2]^2+113/129153024000*lambda[3]*lambda[2]^2+1/
168168000*lambda[4]^4*lambda[1]+701/32288256000*lambda[4]^2*lambda[3]*lambda[1
]+1/7380172800*lambda[3]^2*lambda[1]+1/117411840*lambda[4]*lambda[2]*lambda[1]
+1/344408064*lambda[1]^2+43/2583060480*lambda[4]^3*lambda[0]+391/12915302400*
lambda[4]*lambda[3]*lambda[0]+17/1722040320*lambda[2]*lambda[0])*v[4]^16*v[3]^
4*v[2]^2+(-1/115315200*lambda[4]^4*lambda[1]+5/129153024*lambda[4]^2*lambda[3]
*lambda[1]-401/6457651200*lambda[3]^2*lambda[1]+1/538137600*lambda[4]*lambda[2
]*lambda[1]-229/538137600*lambda[1]^2-9/35875840*lambda[4]^3*lambda[0]+9/
11211200*lambda[4]*lambda[3]*lambda[0]+1/896896*lambda[2]*lambda[0])*v[4]^14*v
[3]^2*v[1]^2+(-23/31287320064000*lambda[4]^6*lambda[3]-1063/417164267520000*
lambda[4]^4*lambda[3]^2+257/11918979072000*lambda[4]^2*lambda[3]^3+547/
308059766784000*lambda[3]^4-67/104291066880000*lambda[4]^5*lambda[2]-1543/
104291066880000*lambda[4]^3*lambda[3]*lambda[2]+43/47675916288000*lambda[4]*
lambda[3]^2*lambda[2]-15251/278109511680000*lambda[4]^2*lambda[2]^2-1041/
37081268224000*lambda[3]*lambda[2]^2+181/6134768640000*lambda[4]^4*lambda[1]-\
269/20858213376000*lambda[4]^2*lambda[3]*lambda[1]+349/33373141401600*lambda[3
]^2*lambda[1]-1/6742048768*lambda[4]*lambda[2]*lambda[1]-1/13087506432*lambda[
1]^2+199/817969152000*lambda[4]^3*lambda[0]+13/61122969600*lambda[4]*lambda[3]
*lambda[0]-1/26486620160*lambda[2]*lambda[0])*v[4]^20*v[3]^2*v[2]^2+(31/
19947543780003840000*lambda[4]^8+418039/12965903457002496000000*lambda[4]^6*
lambda[3]-482519/1728787127600332800000*lambda[4]^4*lambda[3]^2+3376237/
8298178212481597440000*lambda[4]^2*lambda[3]^3+12511019/
33192712849926389760000*lambda[3]^4+34883/720327969833472000000*lambda[4]^5*
lambda[2]+419453/1152524751733555200000*lambda[4]^3*lambda[3]*lambda[2]-262319
/131717114483834880000*lambda[4]*lambda[3]^2*lambda[2]+61/253999945285632000*
lambda[4]^2*lambda[2]^2+1607/1294062879139430400*lambda[3]*lambda[2]^2+109/
2095499548606464000*lambda[4]^4*lambda[1]+67/141849200213360640*lambda[4]^2*
lambda[3]*lambda[1]-643/277299188387020800*lambda[3]^2*lambda[1]+5641/
6146798675912294400*lambda[4]*lambda[2]*lambda[1]+1/282481556797440*lambda[1]^
2-1/1345150270464000*lambda[4]^3*lambda[0]+241/107838573261619200*lambda[4]*
lambda[3]*lambda[0]-257/136595526131384320*lambda[2]*lambda[0])*v[4]^26*v[3]*v
[2]+(-31/2890948373913600*lambda[4]^6*lambda[3]-199/19272989159424000*lambda[4
]^4*lambda[3]^2+9811/59301505105920000*lambda[4]^2*lambda[3]^3+16039/
84100316332032000*lambda[3]^4-31/963649457971200*lambda[4]^5*lambda[2]-89/
2267410489344000*lambda[4]^3*lambda[3]*lambda[2]-4373/22674104893440000*lambda
[4]*lambda[3]^2*lambda[2]-13807/12848659439616000*lambda[4]^2*lambda[2]^2+1669
/3426309183897600*lambda[3]*lambda[2]^2+37/130047160320000*lambda[4]^4*lambda[
1]+179/285525765324800*lambda[4]^2*lambda[3]*lambda[1]-79/93444795924480*
lambda[3]^2*lambda[1]-1471/367104555417600*lambda[4]*lambda[2]*lambda[1]+1403/
338122616832000*lambda[4]^3*lambda[0]+9883/2569731887923200*lambda[4]*lambda[3
]*lambda[0]-29/13178112245760*lambda[2]*lambda[0])*v[4]^22*v[3]^3*v[2]+(23/
8233505280000*lambda[4]^6*lambda[3]+23/5489003520000*lambda[4]^4*lambda[3]^2-\
167/3136573440000*lambda[4]^2*lambda[3]^3-18527/526944337920000*lambda[3]^4+23
/1372250880000*lambda[4]^5*lambda[2]+83/5489003520000*lambda[4]^3*lambda[3]*
lambda[2]-4469/43912028160000*lambda[4]*lambda[3]^2*lambda[2]+179/
3136573440000*lambda[4]^2*lambda[2]^2-1297/17564811264000*lambda[3]*lambda[2]^
2+83/914833920000*lambda[4]^4*lambda[1]+41/166333440000*lambda[4]^2*lambda[3]*
lambda[1]+83/585493708800*lambda[3]^2*lambda[1]+521/1463734272000*lambda[4]*
lambda[2]*lambda[1]-1/5629747200*lambda[4]^3*lambda[0]-43/112594944000*lambda[
4]*lambda[3]*lambda[0]+1/7506329600*lambda[2]*lambda[0])*v[4]^18*v[3]^5*v[2]+(
1/5381376000*lambda[4]^4*lambda[3]^2-1/1205428224*lambda[4]^2*lambda[3]^3+401/
301357056000*lambda[3]^4+1/12108096000*lambda[4]^5*lambda[2]+991/339026688000*
lambda[4]^3*lambda[3]*lambda[2]-6907/678053376000*lambda[4]*lambda[3]^2*lambda
[2]-19/1232824320*lambda[4]^2*lambda[2]^2-15157/1356106752000*lambda[3]*lambda
[2]^2+1741/169513344000*lambda[4]^4*lambda[1]+12869/339026688000*lambda[4]^2*
lambda[3]*lambda[1]-1697/678053376000*lambda[3]^2*lambda[1]-551/12556544000*
lambda[4]*lambda[2]*lambda[1]-1/35315280*lambda[1]^2+1523/18834816000*lambda[4
]^3*lambda[0]+191/1506785280*lambda[4]*lambda[3]*lambda[0]-1/293529600*lambda[
2]*lambda[0])*v[4]^14*v[3]^7*v[2]+(1/4*lambda[3]^2*lambda[1]+lambda[4]*lambda[
3]*lambda[0]+1/2*lambda[2]*lambda[0])*v[3]^3*v[2]^3*v[1]^2+(1/6*lambda[1]^2+1/
12*lambda[2]*lambda[0])*v[4]^3*v[2]^2*v[1]^3+(-1/16*lambda[3]^2*lambda[1]+1/4*
lambda[4]*lambda[2]*lambda[1]+1/4*lambda[1]^2-1/2*lambda[4]*lambda[3]*lambda[0
]+1/4*lambda[2]*lambda[0])*v[4]^2*v[2]^4*v[1]^2+(-1/9600*lambda[4]^2*lambda[3]
*lambda[1]-1/19200*lambda[3]^2*lambda[1]-1/4800*lambda[4]*lambda[2]*lambda[1]+
1/4800*lambda[1]^2+1/4800*lambda[4]^3*lambda[0]-1/1200*lambda[4]*lambda[3]*
lambda[0]-1/480*lambda[2]*lambda[0])*v[4]^6*v[3]^6*v[1]^2+(-3/3200*lambda[4]*
lambda[3]^2*lambda[2]-1/2400*lambda[4]^2*lambda[2]^2-7/4800*lambda[3]*lambda[2
]^2-3/1600*lambda[4]^2*lambda[3]*lambda[1]-3/1600*lambda[3]^2*lambda[1]-1/320*
lambda[4]*lambda[2]*lambda[1]+1/1200*lambda[1]^2-1/200*lambda[4]^3*lambda[0]-\
37/1600*lambda[4]*lambda[3]*lambda[0]-7/960*lambda[2]*lambda[0])*v[4]^5*v[3]^6
*v[2]^2*v[1]+(1/2464000*lambda[4]^3*lambda[3]*lambda[2]-1/2464000*lambda[4]*
lambda[3]^2*lambda[2]+19/22176000*lambda[4]^2*lambda[2]^2+61/44352000*lambda[3
]*lambda[2]^2+1/2464000*lambda[4]^4*lambda[1]+1/616000*lambda[4]^2*lambda[3]*
lambda[1]-1/1232000*lambda[3]^2*lambda[1]+71/14784000*lambda[4]*lambda[2]*
lambda[1]+73/7392000*lambda[4]^3*lambda[0]+61/1478400*lambda[4]*lambda[3]*
lambda[0]+1/268800*lambda[2]*lambda[0])*v[4]^11*v[3]^5*v[2]*v[1]+(-1/6720*
lambda[3]*lambda[2]^2-1/6720*lambda[4]*lambda[2]*lambda[1]-1/160*lambda[4]*
lambda[3]*lambda[0]-1/6720*lambda[2]*lambda[0])*v[4]^3*v[3]^9*v[2]*v[1]+(1/
9856000*lambda[4]^2*lambda[3]^3+1/19712000*lambda[3]^4-1/7392000*lambda[4]^3*
lambda[3]*lambda[2]+1/1344000*lambda[4]*lambda[3]^2*lambda[2]+1/672000*lambda[
4]^2*lambda[2]^2+37/29568000*lambda[3]*lambda[2]^2-1/1232000*lambda[4]^4*
lambda[1]-17/2464000*lambda[4]^2*lambda[3]*lambda[1]+1/704000*lambda[3]^2*
lambda[1]+3/492800*lambda[4]*lambda[2]*lambda[1]-37/3696000*lambda[4]^3*lambda
[0]-59/1478400*lambda[4]*lambda[3]*lambda[0]+1/211200*lambda[2]*lambda[0])*v[4
]^6*v[3]^11*v[2]+(-1/75264000*lambda[4]^2*lambda[3]^3-1/60211200*lambda[3]^4+1
/56448000*lambda[4]^3*lambda[3]*lambda[2]-43/225792000*lambda[4]*lambda[3]^2*
lambda[2]-19/112896000*lambda[4]^2*lambda[2]^2-31/90316800*lambda[3]*lambda[2]
^2+1/9408000*lambda[4]^4*lambda[1]+19/56448000*lambda[4]^2*lambda[3]*lambda[1]
+1/6451200*lambda[3]^2*lambda[1]-11/22579200*lambda[4]*lambda[2]*lambda[1]+1/
940800*lambda[4]^3*lambda[0]-3/2508800*lambda[4]*lambda[3]*lambda[0]-1/2508800
*lambda[2]*lambda[0])*v[4]^10*v[3]^9*v[2]+(-1/235200*lambda[4]^3*lambda[3]*
lambda[2]-1/47040*lambda[4]*lambda[3]^2*lambda[2]-1/47040*lambda[4]^2*lambda[2
]^2-1/78400*lambda[3]*lambda[2]^2-1/235200*lambda[4]^4*lambda[1]-1/14700*
lambda[4]^2*lambda[3]*lambda[1]-1/23520*lambda[3]^2*lambda[1]-23/235200*lambda
[4]*lambda[2]*lambda[1]-1/3675*lambda[1]^2-17/78400*lambda[4]^3*lambda[0]-1/
2800*lambda[4]*lambda[3]*lambda[0]+1/2240*lambda[2]*lambda[0])*v[4]^7*v[3]^7*v
[2]*v[1]+(-1/49674240000*lambda[4]^4*lambda[3]^2-1/49674240000*lambda[4]^2*
lambda[3]^3+79/397393920000*lambda[3]^4+1/18627840000*lambda[4]^5*lambda[2]-1/
5322240000*lambda[4]^3*lambda[3]*lambda[2]-1/1693440000*lambda[4]*lambda[3]^2*
lambda[2]-31/9313920000*lambda[4]^2*lambda[2]^2-167/59609088000*lambda[3]*
lambda[2]^2+1/760320000*lambda[4]^4*lambda[1]+23/2980454400*lambda[4]^2*lambda
[3]*lambda[1]+17/29804544000*lambda[3]^2*lambda[1]-1/155232000*lambda[4]*
lambda[2]*lambda[1]-1/198696960*lambda[1]^2-1/82790400*lambda[4]^3*lambda[0]+1
/82790400*lambda[4]*lambda[3]*lambda[0]+1/496742400*lambda[2]*lambda[0])*v[4]^
12*v[3]^10+(-23/1303638336000*lambda[4]^5*lambda[2]+89/1489872384000*lambda[4]
^3*lambda[3]*lambda[2]+461/10429106688000*lambda[4]*lambda[3]^2*lambda[2]-277/
3476368896000*lambda[4]^2*lambda[2]^2-317/927031705600*lambda[3]*lambda[2]^2-\
1217/10429106688000*lambda[4]^4*lambda[1]+233/521455334400*lambda[4]^2*lambda[
3]*lambda[1]+461/5214553344000*lambda[3]^2*lambda[1]-9187/13905475584000*
lambda[4]*lambda[2]*lambda[1]-1/2172730560*lambda[1]^2-1/16633344000*lambda[4]
^3*lambda[0]+107/73186713600*lambda[4]*lambda[3]*lambda[0]-41/185406341120*
lambda[2]*lambda[0])*v[4]^19*v[3]*v[2]*v[1]+(-1/30*lambda[1]^2+3/40*lambda[4]*
lambda[3]*lambda[0]+7/120*lambda[2]*lambda[0])*v[4]^5*v[3]*v[2]*v[1]^3+(23/
548900352000*lambda[4]^5*lambda[2]-23/274450176000*lambda[4]^3*lambda[3]*
lambda[2]-6077/17564811264000*lambda[4]*lambda[3]^2*lambda[2]+197/439120281600
*lambda[4]^2*lambda[2]^2+83/351296225280*lambda[3]*lambda[2]^2+23/68612544000*
lambda[4]^4*lambda[1]-1499/1254629376000*lambda[4]^2*lambda[3]*lambda[1]-6077/
8782405632000*lambda[3]^2*lambda[1]+1189/585493708800*lambda[4]*lambda[2]*
lambda[1]+83/29274685440*lambda[1]^2+151/36593356800*lambda[4]^3*lambda[0]-271
/83641958400*lambda[4]*lambda[3]*lambda[0]-71/23419748352*lambda[2]*lambda[0])
*v[4]^17*v[3]^4*v[1]+(-31/3191607004800614400*lambda[4]^8-31/
1595803502400307200*lambda[4]^6*lambda[3]+23641/106386900160020480000*lambda[4
]^4*lambda[3]^2+33169/182377543131463680000*lambda[4]^2*lambda[3]^3-5634323/
10213142415361966080000*lambda[3]^4+43/633255358095360000*lambda[4]^5*lambda[2
]-11279/3223845459394560000*lambda[4]^3*lambda[3]*lambda[2]+35423/
3546230005334016000*lambda[4]*lambda[3]^2*lambda[2]-197/47283066737786880*
lambda[4]^2*lambda[2]^2-2351/378264533902295040*lambda[3]*lambda[2]^2+66643/
17731150026670080000*lambda[4]^4*lambda[1]-10789/1091147693948928000*lambda[4]
^2*lambda[3]*lambda[1]+35897/5673968008534425600*lambda[3]^2*lambda[1]-523/
37826453390229504*lambda[4]*lambda[2]*lambda[1]-37/2225085493542912*lambda[1]^
2+3037/107461515313152000*lambda[4]^3*lambda[0]-47/85969212250521600*lambda[4]
*lambda[3]*lambda[0]+1/382085387780096*lambda[2]*lambda[0])*v[4]^24*v[3]^4+(-\
53/292014987264000*lambda[4]^5*lambda[2]+367/730037468160000*lambda[4]^3*
lambda[3]*lambda[2]+4189/4672239796224000*lambda[4]*lambda[3]^2*lambda[2]-9/
12978443878400*lambda[4]^2*lambda[2]^2-151/31148265308160*lambda[3]*lambda[2]^
2-479/365018734080000*lambda[4]^4*lambda[1]+5107/1061872680960000*lambda[4]^2*
lambda[3]*lambda[1]+4189/2336119898112000*lambda[3]^2*lambda[1]-1187/
155741326540800*lambda[4]*lambda[2]*lambda[1]-79/7787066327040*lambda[1]^2-1/
1280767488000*lambda[4]^3*lambda[0]+151/8196911923200*lambda[4]*lambda[3]*
lambda[0]+3/2076551020544*lambda[2]*lambda[0])*v[4]^21*v[3]^2*v[1]+(1/
3459456000*lambda[4]^5*lambda[2]+1/345945600*lambda[4]^3*lambda[3]*lambda[2]-\
313/27675648000*lambda[4]*lambda[3]^2*lambda[2]+19/864864000*lambda[4]^2*
lambda[2]^2-17/395366400*lambda[3]*lambda[2]^2+1/172972800*lambda[4]^4*lambda[
1]-73/13837824000*lambda[4]^2*lambda[3]*lambda[1]-313/13837824000*lambda[3]^2*
lambda[1]+23/512512000*lambda[4]*lambda[2]*lambda[1]-1/230630400*lambda[1]^2+
59/192192000*lambda[4]^3*lambda[0]+61/307507200*lambda[4]*lambda[3]*lambda[0]+
1/5271552*lambda[2]*lambda[0])*v[4]^13*v[3]^6*v[1]+(3/320*lambda[4]*lambda[3]^
2*lambda[2]-1/480*lambda[3]*lambda[2]^2+3/160*lambda[4]^2*lambda[3]*lambda[1]+
3/160*lambda[3]^2*lambda[1]-1/480*lambda[4]*lambda[2]*lambda[1]+1/40*lambda[1]
^2+1/32*lambda[4]*lambda[3]*lambda[0]-13/480*lambda[2]*lambda[0])*v[4]^5*v[3]^
2*v[2]^4*v[1]+(23/1877239203840000*lambda[4]^6*lambda[3]+1063/
25029856051200000*lambda[4]^4*lambda[3]^2-257/715138744320000*lambda[4]^2*
lambda[3]^3-547/18483586007040000*lambda[3]^4+29/3128732006400000*lambda[4]^5*
lambda[2]+557/1251492802560000*lambda[4]^3*lambda[3]*lambda[2]-3979/
5005971210240000*lambda[4]*lambda[3]^2*lambda[2]-43/1001194242048000*lambda[4]
^2*lambda[2]^2-1/1346143518720*lambda[3]*lambda[2]^2-1/14723444736000*lambda[4
]^4*lambda[1]+1549/455088291840000*lambda[4]^2*lambda[3]*lambda[1]-349/
2002388484096000*lambda[3]^2*lambda[1]+43/33373141401600*lambda[4]*lambda[2]*
lambda[1]+1/785250385920*lambda[1]^2-137/24539074560000*lambda[4]^3*lambda[0]+
199/166865707008000*lambda[4]*lambda[3]*lambda[0]+1/834328535040*lambda[2]*
lambda[0])*v[4]^20*v[3]^6+(-1/8960*lambda[3]^4-1/3360*lambda[4]*lambda[3]^2*
lambda[2]+13/13440*lambda[3]*lambda[2]^2-1/1680*lambda[4]^2*lambda[3]*lambda[1
]-5/1344*lambda[3]^2*lambda[1]+1/1120*lambda[4]*lambda[2]*lambda[1]-11/1120*
lambda[4]*lambda[3]*lambda[0]+1/1120*lambda[2]*lambda[0])*v[4]^2*v[3]^9*v[2]^3
+(3/640*lambda[3]^4+1/160*lambda[4]*lambda[3]^2*lambda[2]+1/240*lambda[4]^2*
lambda[2]^2+7/480*lambda[3]*lambda[2]^2-1/60*lambda[4]^2*lambda[3]*lambda[1]-1
/48*lambda[3]^2*lambda[1]+1/40*lambda[4]*lambda[2]*lambda[1]+1/120*lambda[1]^2
-1/60*lambda[4]^3*lambda[0]-13/120*lambda[4]*lambda[3]*lambda[0]+1/60*lambda[2
]*lambda[0])*v[4]^4*v[3]^2*v[2]^6+(9/1600*lambda[3]^4+3/400*lambda[4]*lambda[3
]^2*lambda[2]+1/200*lambda[4]^2*lambda[2]^2+1/800*lambda[3]*lambda[2]^2-1/50*
lambda[4]^2*lambda[3]*lambda[1]-9/400*lambda[3]^2*lambda[1]-3/200*lambda[4]*
lambda[2]*lambda[1]-1/50*lambda[4]^3*lambda[0]+1/40*lambda[4]*lambda[3]*lambda
[0]-1/40*lambda[2]*lambda[0])*v[4]^2*v[3]^5*v[2]^5+(3/358400*lambda[3]^4+1/
268800*lambda[4]*lambda[3]^2*lambda[2]+17/403200*lambda[4]^2*lambda[2]^2+1/
17920*lambda[3]*lambda[2]^2-1/4200*lambda[4]^2*lambda[3]*lambda[1]-9/44800*
lambda[3]^2*lambda[1]+11/201600*lambda[4]*lambda[2]*lambda[1]+1/13440*lambda[1
]^2-1/4800*lambda[4]^3*lambda[0]-11/13440*lambda[4]*lambda[3]*lambda[0]-1/6720
*lambda[2]*lambda[0])*v[4]^4*v[3]^10*v[2]^2+(-3/10035200*lambda[4]*lambda[3]^2
*lambda[2]+1/5644800*lambda[4]^2*lambda[2]^2-23/45158400*lambda[3]*lambda[2]^2
-3/5017600*lambda[4]^2*lambda[3]*lambda[1]-3/5017600*lambda[3]^2*lambda[1]+1/
5017600*lambda[4]*lambda[2]*lambda[1]+13/3763200*lambda[1]^2+1/470400*lambda[4
]^3*lambda[0]-83/15052800*lambda[4]*lambda[3]*lambda[0]-37/3010560*lambda[2]*
lambda[0])*v[4]^9*v[3]^8*v[1]+(1/5040*lambda[4]^3*lambda[3]*lambda[2]+1/1008*
lambda[4]*lambda[3]^2*lambda[2]+1/5040*lambda[4]^2*lambda[2]^2+1/720*lambda[3]
*lambda[2]^2+1/5040*lambda[4]^4*lambda[1]+1/315*lambda[4]^2*lambda[3]*lambda[1
]+1/504*lambda[3]^2*lambda[1]+11/5040*lambda[4]*lambda[2]*lambda[1]+1/1680*
lambda[4]^3*lambda[0]+1/210*lambda[4]*lambda[3]*lambda[0]-1/5040*lambda[2]*
lambda[0])*v[4]^7*v[3]^3*v[2]^3*v[1]+(-1/22400*lambda[4]^2*lambda[3]^3-1/44800
*lambda[3]^4-1/16800*lambda[4]^3*lambda[3]*lambda[2]-1/3360*lambda[4]*lambda[3
]^2*lambda[2]-1/25200*lambda[4]^2*lambda[2]^2-11/40320*lambda[3]*lambda[2]^2-1
/25200*lambda[4]^4*lambda[1]-37/50400*lambda[4]^2*lambda[3]*lambda[1]+1/11200*
lambda[3]^2*lambda[1]-1/2016*lambda[4]*lambda[2]*lambda[1]-1/8400*lambda[4]^3*
lambda[0]+1/3360*lambda[4]*lambda[3]*lambda[0]-1/2016*lambda[2]*lambda[0])*v[4
]^6*v[3]^7*v[2]^3+(1/896000*lambda[4]*lambda[3]^2*lambda[2]-1/336000*lambda[4]
^2*lambda[2]^2+1/268800*lambda[3]*lambda[2]^2+1/448000*lambda[4]^2*lambda[3]*
lambda[1]+1/448000*lambda[3]^2*lambda[1]-11/1344000*lambda[4]*lambda[2]*lambda
[1]+1/67200*lambda[1]^2-1/28000*lambda[4]^3*lambda[0]-1/17920*lambda[4]*lambda
[3]*lambda[0]-9/89600*lambda[2]*lambda[0])*v[4]^5*v[3]^10*v[1]+(-23/
1235025792000*lambda[4]^6*lambda[3]-23/823350528000*lambda[4]^4*lambda[3]^2+
167/470486016000*lambda[4]^2*lambda[3]^3+18527/79041650688000*lambda[3]^4-19/
54890035200*lambda[4]^3*lambda[3]*lambda[2]-199/1097800704000*lambda[4]*lambda
[3]^2*lambda[2]-109/91483392000*lambda[4]^2*lambda[2]^2-57/487911424000*lambda
[3]*lambda[2]^2+1/1507968000*lambda[4]^4*lambda[1]+1/9980006400*lambda[4]^2*
lambda[3]*lambda[1]-83/87824056320*lambda[3]^2*lambda[1]-241/73186713600*
lambda[4]*lambda[2]*lambda[1]+751/137225088000*lambda[4]^3*lambda[0]+1/
263577600*lambda[4]*lambda[3]*lambda[0]-1/1125949440*lambda[2]*lambda[0])*v[4]
^18*v[3]*v[2]^3+(1/2956800*lambda[4]*lambda[3]^2*lambda[2]-1/1108800*lambda[4]
^2*lambda[2]^2+1/1478400*lambda[3]*lambda[2]^2+1/1478400*lambda[4]^2*lambda[3]
*lambda[1]+1/1478400*lambda[3]^2*lambda[1]-13/4435200*lambda[4]*lambda[2]*
lambda[1]-79/1108800*lambda[1]^2-1/92400*lambda[4]^3*lambda[0]+1/492800*lambda
[4]*lambda[3]*lambda[0]+73/295680*lambda[2]*lambda[0])*v[4]*v[3]^12*v[1]+(-3/
2508800*lambda[4]^2*lambda[3]^3-39/20070400*lambda[3]^4-1/627200*lambda[4]^3*
lambda[3]*lambda[2]-43/5017600*lambda[4]*lambda[3]^2*lambda[2]-11/2508800*
lambda[4]^2*lambda[2]^2-1/501760*lambda[3]*lambda[2]^2-1/940800*lambda[4]^4*
lambda[1]-1/1881600*lambda[4]^2*lambda[3]*lambda[1]-51/2508800*lambda[3]^2*
lambda[1]-11/376320*lambda[4]*lambda[2]*lambda[1]-13/752640*lambda[1]^2+1/
53760*lambda[4]^3*lambda[0]+11/94080*lambda[4]*lambda[3]*lambda[0]+1/752640*
lambda[2]*lambda[0])*v[4]^8*v[3]^8*v[2]^2+(1/59136000*lambda[4]^4*lambda[3]^2+
1/59136000*lambda[4]^2*lambda[3]^3-79/473088000*lambda[3]^4+1/133056000*lambda
[4]^5*lambda[2]+19/133056000*lambda[4]^3*lambda[3]*lambda[2]-23/212889600*
lambda[4]*lambda[3]^2*lambda[2]-17/76032000*lambda[4]^2*lambda[2]^2-731/
1064448000*lambda[3]*lambda[2]^2+17/133056000*lambda[4]^4*lambda[1]+61/
26611200*lambda[4]^2*lambda[3]*lambda[1]+377/532224000*lambda[3]^2*lambda[1]-\
41/29568000*lambda[4]*lambda[2]*lambda[1]-1/3548160*lambda[1]^2+1/704000*
lambda[4]^3*lambda[0]+13/1971200*lambda[4]*lambda[3]*lambda[0]-1/1108800*
lambda[2]*lambda[0])*v[4]^12*v[3]^6*v[2]^2+(-3/560*lambda[3]^2*lambda[1]-1/420
*lambda[4]*lambda[2]*lambda[1]-2/105*lambda[1]^2+3/40*lambda[2]*lambda[0])*v[3
]^7*v[2]*v[1]^2+(-1/67200*lambda[4]^2*lambda[3]*lambda[1]-1/53760*lambda[3]^2*
lambda[1]+1/5600*lambda[4]*lambda[2]*lambda[1]+3/22400*lambda[1]^2-1/33600*
lambda[4]^3*lambda[0]-1/2688*lambda[4]*lambda[3]*lambda[0]+1/4480*lambda[2]*
lambda[0])*v[4]^10*v[2]^2*v[1]^2+(3/320*lambda[3]^4+1/80*lambda[4]*lambda[3]^2
*lambda[2]+1/120*lambda[4]^2*lambda[2]^2-1/30*lambda[3]*lambda[2]^2-1/30*
lambda[4]^2*lambda[3]*lambda[1]+1/8*lambda[3]^2*lambda[1]-1/30*lambda[4]*
lambda[2]*lambda[1]+1/60*lambda[1]^2-1/30*lambda[4]^3*lambda[0]+1/5*lambda[4]*
lambda[3]*lambda[0]-1/20*lambda[2]*lambda[0])*v[3]^4*v[2]^6+(1/1655808000*
lambda[4]^2*lambda[3]^3+13/13246464000*lambda[3]^4-1/1241856000*lambda[4]^3*
lambda[3]*lambda[2]+1/1241856000*lambda[4]*lambda[3]^2*lambda[2]+1/137984000*
lambda[4]^2*lambda[2]^2+67/4967424000*lambda[3]*lambda[2]^2-1/206976000*lambda
[4]^4*lambda[1]-43/2483712000*lambda[4]^2*lambda[3]*lambda[1]-157/4967424000*
lambda[3]^2*lambda[1]+289/2483712000*lambda[4]*lambda[2]*lambda[1]+79/
496742400*lambda[1]^2-43/206976000*lambda[4]^3*lambda[0]-13/55193600*lambda[4]
*lambda[3]*lambda[0]+3/55193600*lambda[2]*lambda[0])*v[4]^8*v[3]^12+(-23/
32288256000*lambda[4]^4*lambda[3]^2+173/64576512000*lambda[4]^2*lambda[3]^3+
211/206644838400*lambda[3]^4-1/461260800*lambda[4]^3*lambda[3]*lambda[2]+13/
9934848000*lambda[4]*lambda[3]^2*lambda[2]-101/10762752000*lambda[4]^2*lambda[
2]^2+1/275968000*lambda[3]*lambda[2]^2+29/4036032000*lambda[4]^4*lambda[1]-79/
7175168000*lambda[4]^2*lambda[3]*lambda[1]-1/180633600*lambda[3]^2*lambda[1]-1
/66232320*lambda[4]*lambda[2]*lambda[1]+1/172204032*lambda[1]^2+13/310464000*
lambda[4]^3*lambda[0]+79/12915302400*lambda[4]*lambda[3]*lambda[0]-3/287006720
*lambda[2]*lambda[0])*v[4]^16*v[2]^4+(-1/369600*lambda[4]^3*lambda[3]*lambda[2
]+1/369600*lambda[4]*lambda[3]^2*lambda[2]+1/369600*lambda[4]^2*lambda[2]^2+23
/739200*lambda[3]*lambda[2]^2-1/369600*lambda[4]^4*lambda[1]-1/92400*lambda[4]
^2*lambda[3]*lambda[1]+1/184800*lambda[3]^2*lambda[1]+31/739200*lambda[4]*
lambda[2]*lambda[1]-1/123200*lambda[4]^3*lambda[0]-19/123200*lambda[4]*lambda[
3]*lambda[0]-1/147840*lambda[2]*lambda[0])*v[4]^11*v[3]*v[2]^3*v[1]+(-1/224000
*lambda[4]^2*lambda[3]^3-1/179200*lambda[3]^4-1/504000*lambda[4]^3*lambda[3]*
lambda[2]+17/403200*lambda[4]*lambda[3]^2*lambda[2]+1/112000*lambda[4]^2*
lambda[2]^2+17/268800*lambda[3]*lambda[2]^2+1/252000*lambda[4]^4*lambda[1]-41/
504000*lambda[4]^2*lambda[3]*lambda[1]+1/44800*lambda[3]^2*lambda[1]-1/22400*
lambda[4]*lambda[2]*lambda[1]-1/31500*lambda[4]^3*lambda[0]-41/201600*lambda[4
]*lambda[3]*lambda[0]-1/13440*lambda[2]*lambda[0])*v[4]^10*v[3]*v[2]^5+(-3/
8960*lambda[3]^2*lambda[1]-1/6720*lambda[4]*lambda[2]*lambda[1]+13/6720*lambda
[1]^2-3/320*lambda[2]*lambda[0])*v[4]^2*v[3]^8*v[1]^2+(-1/17920*lambda[4]*
lambda[3]^2*lambda[2]+1/6720*lambda[4]^2*lambda[2]^2+1/26880*lambda[3]*lambda[
2]^2-1/8960*lambda[4]^2*lambda[3]*lambda[1]-1/8960*lambda[3]^2*lambda[1]+17/
26880*lambda[4]*lambda[2]*lambda[1]+1/2240*lambda[1]^2-1/1680*lambda[4]^3*
lambda[0]-17/26880*lambda[4]*lambda[3]*lambda[0]+1/5376*lambda[2]*lambda[0])*v
[4]^9*v[2]^4*v[1]+(1/1680*lambda[1]^2+1/1680*lambda[4]^3*lambda[0]+1/336*
lambda[4]*lambda[3]*lambda[0]-1/672*lambda[2]*lambda[0])*v[4]^7*v[3]^2*v[1]^3+
(-1/24*lambda[1]^2+7/48*lambda[2]*lambda[0])*v[4]^3*v[3]^4*v[1]^3+(-1/5913600*
lambda[4]^4*lambda[3]^2-1/5913600*lambda[4]^2*lambda[3]^3+79/47308800*lambda[3
]^4-1/1478400*lambda[4]^3*lambda[3]*lambda[2]+1/844800*lambda[4]*lambda[3]^2*
lambda[2]-1/422400*lambda[4]^2*lambda[2]^2-3/3942400*lambda[3]*lambda[2]^2+1/
887040*lambda[4]^4*lambda[1]+7/1267200*lambda[4]^2*lambda[3]*lambda[1]-73/
17740800*lambda[3]^2*lambda[1]-1/98560*lambda[4]*lambda[2]*lambda[1]-1/118272*
lambda[1]^2+1/92400*lambda[4]^3*lambda[0]+1/134400*lambda[4]*lambda[3]*lambda[
0]-1/295680*lambda[2]*lambda[0])*v[4]^12*v[3]^2*v[2]^4+(3/25625600*lambda[3]^4
+1/19219200*lambda[4]*lambda[3]^2*lambda[2]+17/28828800*lambda[4]^2*lambda[2]^
2+29/7687680*lambda[3]*lambda[2]^2-1/300300*lambda[4]^2*lambda[3]*lambda[1]-\
181/19219200*lambda[3]^2*lambda[1]-7/4118400*lambda[4]*lambda[2]*lambda[1]-2/
225225*lambda[1]^2-1/343200*lambda[4]^3*lambda[0]+191/3203200*lambda[4]*lambda
[3]*lambda[0]+43/1921920*lambda[2]*lambda[0])*v[4]^2*v[3]^13*v[2]+(1/17920*
lambda[4]^2*lambda[3]^3+13/143360*lambda[3]^4+1/40320*lambda[4]^3*lambda[3]*
lambda[2]+13/32256*lambda[4]*lambda[3]^2*lambda[2]+17/80640*lambda[4]^2*lambda
[2]^2+61/161280*lambda[3]*lambda[2]^2-1/20160*lambda[4]^4*lambda[1]-31/80640*
lambda[4]^2*lambda[3]*lambda[1]-29/161280*lambda[3]^2*lambda[1]+61/80640*
lambda[4]*lambda[2]*lambda[1]+1/1792*lambda[1]^2-1/1120*lambda[4]^3*lambda[0]-\
5/1792*lambda[4]*lambda[3]*lambda[0]+13/80640*lambda[2]*lambda[0])*v[4]^8*v[3]
^4*v[2]^4+(-3/2560*lambda[3]^4-1/320*lambda[4]*lambda[3]^2*lambda[2]+1/384*
lambda[3]*lambda[2]^2-1/160*lambda[4]^2*lambda[3]*lambda[1]-1/64*lambda[3]^2*
lambda[1]-1/480*lambda[1]^2-1/30*lambda[4]*lambda[3]*lambda[0])*v[4]^4*v[3]^6*
v[2]^4+(1/67200*lambda[1]^2-1/369600*lambda[4]^3*lambda[0]+1/369600*lambda[4]*
lambda[3]*lambda[0]-1/59136*lambda[2]*lambda[0])*v[4]^11*v[1]^3+(-1/2217600*
lambda[4]^4*lambda[1]-1/2217600*lambda[4]^2*lambda[3]*lambda[1]+79/17740800*
lambda[3]^2*lambda[1]+1/1478400*lambda[4]*lambda[2]*lambda[1]+1/184800*lambda[
1]^2-1/123200*lambda[4]^3*lambda[0]+1/123200*lambda[4]*lambda[3]*lambda[0]+1/
197120*lambda[2]*lambda[0])*v[4]^12*v[3]*v[2]*v[1]^2+(-23/274450176000*lambda[
4]^4*lambda[1]+457/1097800704000*lambda[4]^2*lambda[3]*lambda[1]-2803/
8782405632000*lambda[3]^2*lambda[1]-1/1900953600*lambda[4]*lambda[2]*lambda[1]
+113/146373427200*lambda[1]^2-1/2010624000*lambda[4]^3*lambda[0]+37/
18296678400*lambda[4]*lambda[3]*lambda[0]-5/1951645696*lambda[2]*lambda[0])*v[
4]^18*v[1]^2+(-3/1435033600*lambda[3]^4+1/89689600*lambda[4]*lambda[3]^2*
lambda[2]+37/807206400*lambda[4]^2*lambda[2]^2+1/13977600*lambda[3]*lambda[2]^
2-1/5491200*lambda[4]^2*lambda[3]*lambda[1]-17/107627520*lambda[3]^2*lambda[1]
+1/44844800*lambda[4]*lambda[2]*lambda[1]+401/807206400*lambda[1]^2+1/1372800*
lambda[4]^3*lambda[0]-1/2745600*lambda[4]*lambda[3]*lambda[0]-1/1921920*lambda
[2]*lambda[0])*v[4]^4*v[3]^14+(-1/67200*lambda[4]^2*lambda[3]^3-13/537600*
lambda[3]^4+1/16800*lambda[4]^3*lambda[3]*lambda[2]-1/44800*lambda[4]*lambda[3
]^2*lambda[2]+3/22400*lambda[4]^2*lambda[2]^2-1/22400*lambda[3]*lambda[2]^2-1/
8400*lambda[4]^4*lambda[1]+3/22400*lambda[3]^2*lambda[1]+1/2800*lambda[4]*
lambda[2]*lambda[1]-1/6720*lambda[1]^2-11/16800*lambda[4]^3*lambda[0]-1/5600*
lambda[4]*lambda[3]*lambda[0]+1/6720*lambda[2]*lambda[0])*v[4]^8*v[2]^6+(1/2*
lambda[4]*lambda[3]*lambda[0]+1/2*lambda[2]*lambda[0])*v[4]*v[3]^3*v[2]*v[1]^3
+(-1/96*lambda[1]^2+1/24*lambda[2]*lambda[0])*v[4]^4*v[1]^4+(-1/8*lambda[1]^2+
1/2*lambda[2]*lambda[0])*v[3]^2*v[1]^4+(-3/320*lambda[3]^2*lambda[1]-1/240*
lambda[4]*lambda[2]*lambda[1]-1/32*lambda[2]*lambda[0])*v[4]^4*v[3]^5*v[2]*v[1
]^2+(1/3360*lambda[4]^2*lambda[3]*lambda[1]+13/26880*lambda[3]^2*lambda[1]+1/
6720*lambda[4]*lambda[2]*lambda[1]+1/1680*lambda[4]^3*lambda[0]+1/336*lambda[4
]*lambda[3]*lambda[0]+1/13440*lambda[2]*lambda[0])*v[4]^8*v[3]^3*v[2]*v[1]^2+(
-23/6027141120000*lambda[4]^4*lambda[3]^2+173/12054282240000*lambda[4]^2*
lambda[3]^3+211/38573703168000*lambda[3]^4+23/2260177920000*lambda[4]^5*lambda
[2]-47/821882880000*lambda[4]^3*lambda[3]*lambda[2]+37/1033224192000*lambda[4]
*lambda[3]^2*lambda[2]-289/1972518912000*lambda[4]^2*lambda[2]^2+67/
1084885401600*lambda[3]*lambda[2]^2+1087/6780533760000*lambda[4]^4*lambda[1]-\
1849/21697708032000*lambda[4]^2*lambda[3]*lambda[1]-1709/43395416064000*lambda
[3]^2*lambda[1]-107/289302773760*lambda[4]*lambda[2]*lambda[1]+1/22254059520*
lambda[1]^2+1699/1808142336000*lambda[4]^3*lambda[0]+563/7232569344000*lambda[
4]*lambda[3]*lambda[0]-61/289302773760*lambda[2]*lambda[0])*v[4]^16*v[3]^8+(1/
12*lambda[3]*lambda[2]^2+1/12*lambda[4]*lambda[2]*lambda[1]-1/2*lambda[4]*
lambda[3]*lambda[0]+1/12*lambda[2]*lambda[0])*v[4]^3*v[3]*v[2]^5*v[1]+(1/1600*
lambda[4]^2*lambda[3]^3+1/3200*lambda[3]^4+1/3600*lambda[4]^3*lambda[3]*lambda
[2]+19/7200*lambda[4]*lambda[3]^2*lambda[2]+7/3600*lambda[4]^2*lambda[2]^2+31/
14400*lambda[3]*lambda[2]^2-1/1800*lambda[4]^4*lambda[1]-17/3600*lambda[4]^2*
lambda[3]*lambda[1]+11/7200*lambda[3]^2*lambda[1]+23/3600*lambda[4]*lambda[2]*
lambda[1]-1/120*lambda[4]^3*lambda[0]-23/1200*lambda[4]*lambda[3]*lambda[0]+1/
720*lambda[2]*lambda[0])*v[4]^6*v[3]^3*v[2]^5+(-3/14350336000*lambda[3]^4+1/
896896000*lambda[4]*lambda[3]^2*lambda[2]+37/8072064000*lambda[4]^2*lambda[2]^
2-1/54912000*lambda[3]*lambda[2]^2-1/54912000*lambda[4]^2*lambda[3]*lambda[1]+
93/1793792000*lambda[3]^2*lambda[1]+109/8072064000*lambda[4]*lambda[2]*lambda[
1]-211/1614412800*lambda[1]^2+1/13728000*lambda[4]^3*lambda[0]-1/3660800*
lambda[4]*lambda[3]*lambda[0]+1/2196480*lambda[2]*lambda[0])*v[3]^16+(-23/
137225088000*lambda[4]^5*lambda[2]+23/68612544000*lambda[4]^3*lambda[3]*lambda
[2]+6077/4391202816000*lambda[4]*lambda[3]^2*lambda[2]-277/365933568000*lambda
[4]^2*lambda[2]^2-197/34850816000*lambda[3]*lambda[2]^2-23/17153136000*lambda[
4]^4*lambda[1]+1499/313657344000*lambda[4]^2*lambda[3]*lambda[1]+6077/
2195601408000*lambda[3]^2*lambda[1]-6353/731867136000*lambda[4]*lambda[2]*
lambda[1]-83/7318671360*lambda[1]^2+173/91483392000*lambda[4]^3*lambda[0]+271/
20910489600*lambda[4]*lambda[3]*lambda[0]+73/9758228480*lambda[2]*lambda[0])*v
[4]^17*v[2]^2*v[1]+(3/1971200*lambda[3]^4+1/1478400*lambda[4]*lambda[3]^2*
lambda[2]+17/2217600*lambda[4]^2*lambda[2]^2-1/23100*lambda[3]*lambda[2]^2-1/
23100*lambda[4]^2*lambda[3]*lambda[1]+97/739200*lambda[3]^2*lambda[1]-1/19800*
lambda[4]*lambda[2]*lambda[1]+79/1108800*lambda[1]^2-1/26400*lambda[4]^3*
lambda[0]+13/61600*lambda[4]*lambda[3]*lambda[0]-1/10560*lambda[2]*lambda[0])*
v[3]^12*v[2]^2+(-1/120*lambda[3]*lambda[2]^2-1/120*lambda[4]*lambda[2]*lambda[
1]-1/4*lambda[4]*lambda[3]*lambda[0]-1/24*lambda[2]*lambda[0])*v[4]^3*v[3]^5*v
[2]^3*v[1]+(-1/57657600*lambda[4]^5*lambda[2]-1/5765760*lambda[4]^3*lambda[3]*
lambda[2]+313/461260800*lambda[4]*lambda[3]^2*lambda[2]+1/7687680*lambda[4]^2*
lambda[2]^2-17/10982400*lambda[3]*lambda[2]^2-1/2882880*lambda[4]^4*lambda[1]+
73/230630400*lambda[4]^2*lambda[3]*lambda[1]+313/230630400*lambda[3]^2*lambda[
1]-79/76876800*lambda[4]*lambda[2]*lambda[1]+1/3843840*lambda[1]^2+1/686400*
lambda[4]^3*lambda[0]+989/76876800*lambda[4]*lambda[3]*lambda[0]-1/394240*
lambda[2]*lambda[0])*v[4]^13*v[3]^2*v[2]^2*v[1]+(1/160*lambda[4]^2*lambda[3]*
lambda[1]+1/320*lambda[3]^2*lambda[1]-1/80*lambda[1]^2+1/80*lambda[4]^3*lambda
[0]+1/16*lambda[4]*lambda[3]*lambda[0]+1/40*lambda[2]*lambda[0])*v[4]^6*v[3]^2
*v[2]^2*v[1]^2+(-3/2240*lambda[3]^4+1/210*lambda[4]*lambda[3]^2*lambda[2]+1/
420*lambda[4]^2*lambda[2]^2-1/84*lambda[3]*lambda[2]^2-1/84*lambda[4]^2*lambda
[3]*lambda[1]+11/840*lambda[3]^2*lambda[1]+11/420*lambda[4]*lambda[2]*lambda[1
]-13/420*lambda[1]^2-1/105*lambda[4]^3*lambda[0]-1/140*lambda[4]*lambda[3]*
lambda[0]+3/140*lambda[2]*lambda[0])*v[2]^8+(1/448000*lambda[4]^2*lambda[3]^3+
1/358400*lambda[3]^4+1/336000*lambda[4]^3*lambda[3]*lambda[2]+1/96000*lambda[4
]*lambda[3]^2*lambda[2]+1/201600*lambda[4]^2*lambda[2]^2+19/2688000*lambda[3]*
lambda[2]^2+1/504000*lambda[4]^4*lambda[1]+1/168000*lambda[4]^2*lambda[3]*
lambda[1]+11/806400*lambda[3]^2*lambda[1]+79/2016000*lambda[4]*lambda[2]*
lambda[1]-1/72000*lambda[4]^3*lambda[0]-1/16128*lambda[4]*lambda[3]*lambda[0]+
11/403200*lambda[2]*lambda[0])*v[4]^10*v[3]^5*v[2]^3;