C25 := (3/60988928000*lambda[6]^3-1/831667200*lambda[6]*lambda[5]+3/311168000*
lambda[4])*v[6]^17*v[2]+(-3/40*lambda[6]^3-1/30*lambda[6]*lambda[5]+1/15*
lambda[4])*v[6]^3*v[5]^5*v[4]*v[2]+(1/25625600*lambda[6]^3-1/19219200*lambda[6
]*lambda[5]+1/1830400*lambda[4])*v[6]^13*v[4]^3+(-1/4*lambda[6]*lambda[5]+1/4*
lambda[4])*v[6]^3*v[5]^2*v[3]^2*v[2]+(1/8*lambda[6]^3+5/24*lambda[6]*lambda[5]
+1/48*lambda[4])*v[6]^4*v[5]^3*v[3]^3+(-1/112*lambda[6]*lambda[5]-27/1120*
lambda[4])*v[6]^7*v[5]^2*v[4]*v[3]^2+(3/560*lambda[6]^3+1/140*lambda[6]*lambda
[5]+1/210*lambda[4])*v[6]^7*v[5]^3*v[4]*v[2]+(3/4*lambda[6]*lambda[5]-7/4*
lambda[4])*v[6]*v[5]^3*v[4]^2*v[3]^2+(-9/80*lambda[6]*lambda[5]-11/80*lambda[4
])*v[6]^5*v[5]*v[4]^2*v[3]^2+(-lambda[6]*lambda[5]-lambda[4])*v[6]^2*v[5]^3*v[
4]*v[3]*v[2]+(9/80*lambda[6]^3+1/20*lambda[6]*lambda[5]+11/40*lambda[4])*v[6]^
2*v[5]^5*v[4]^2*v[3]+(-149/313600*lambda[6]^3-1/38400*lambda[6]*lambda[5]+1/
268800*lambda[4])*v[6]^7*v[5]^9-3/10*lambda[4]*v[4]^5*v[3]+(-1/280*lambda[6]^3
+1/70*lambda[6]*lambda[5]-1/35*lambda[4])*v[5]^7*v[1]+(-3/22099517440000*
lambda[6]^3+127/322021539840000*lambda[6]*lambda[5]-1/3066871808000*lambda[4])
*v[6]^23*v[5]+(419/34496000*lambda[6]^3-1/9856000*lambda[6]*lambda[5]+13/
29568000*lambda[4])*v[6]^11*v[5]^7+(-1/20*lambda[6]^3-1/20*lambda[6]*lambda[5]
+1/40*lambda[4])*v[5]^5*v[3]^3+3/4*lambda[4]*v[6]^2*v[5]*v[4]^4*v[3]+(1/24*
lambda[6]*lambda[5]-13/480*lambda[4])*v[6]^4*v[5]^6*v[4]*v[3]+(1/246400*lambda
[6]^3+1/21120*lambda[6]*lambda[5]-3/197120*lambda[4])*v[6]^12*v[5]^2*v[4]*v[3]
+(21/6400*lambda[6]^3-13/4800*lambda[6]*lambda[5]-73/134400*lambda[4])*v[6]^5*
v[5]^8*v[4]+(37/89600*lambda[6]^3+3/22400*lambda[6]*lambda[5]+1/268800*lambda[
4])*v[6]^9*v[5]^6*v[4]+(369/51251200*lambda[6]^3-19/12812800*lambda[6]*lambda[
5]-23/30750720*lambda[4])*v[6]^13*v[5]^4*v[4]+(3/246400*lambda[6]*lambda[5]-1/
70400*lambda[4])*v[6]^11*v[4]*v[3]^2+(-369/243955712000*lambda[6]^3+173/
16633344000*lambda[6]*lambda[5]+1/633651200*lambda[4])*v[6]^18*v[5]*v[3]+1/20*
lambda[4]*v[6]*v[5]^2*v[4]^5+(1/24*lambda[6]*lambda[5]+1/24*lambda[4])*v[6]^3*
v[5]^3*v[4]^4+(-11/280*lambda[6]^3-17/560*lambda[6]*lambda[5]-1/560*lambda[4])
*v[6]*v[5]^7*v[3]^2+(21/800*lambda[6]^3+41/4800*lambda[6]*lambda[5]-7/4800*
lambda[4])*v[6]^5*v[5]^5*v[3]^2+(-1/4480*lambda[6]^3-27/8960*lambda[6]*lambda[
5]-1/26880*lambda[4])*v[6]^9*v[5]^3*v[3]^2+lambda[4]*v[6]*v[5]^2*v[4]*v[3]*v[1
]+(1/2240*lambda[6]^3-1/560*lambda[6]*lambda[5]-1/2240*lambda[4])*v[6]*v[5]^10
*v[4]+(-1/12812800*lambda[6]^3-733/76876800*lambda[6]*lambda[5]-3/5125120*
lambda[4])*v[6]^13*v[5]*v[3]^2+(3/280*lambda[6]^3+11/560*lambda[6]*lambda[5]-1
/560*lambda[4])*v[6]^3*v[5]^7*v[4]^2+(-3/5600*lambda[6]^3+19/11200*lambda[6]*
lambda[5]+17/33600*lambda[4])*v[6]^7*v[5]^5*v[4]^2+(-1/246400*lambda[6]^3+89/
1478400*lambda[6]*lambda[5]+13/1478400*lambda[4])*v[6]^11*v[5]^3*v[4]^2+(-3/
1600*lambda[6]^3-37/8400*lambda[6]*lambda[5]-1/33600*lambda[4])*v[6]^6*v[5]^7*
v[3]+(-131/448000*lambda[6]^3+11/112000*lambda[6]*lambda[5]-23/1344000*lambda[
4])*v[6]^10*v[5]^5*v[3]+(-51/25625600*lambda[6]^3-23/8968960*lambda[6]*lambda[
5]-23/76876800*lambda[4])*v[6]^14*v[5]^3*v[3]+(3309/243955712000*lambda[6]^3+
1657/182966784000*lambda[6]*lambda[5]+53/34850816000*lambda[4])*v[6]^17*v[5]^2
*v[4]+(-1/1120*lambda[6]*lambda[5]-1/1120*lambda[4])*v[6]^7*v[5]*v[4]^4+(-1/80
*lambda[6]^3+1/20*lambda[6]*lambda[5]+1/40*lambda[4])*v[6]*v[5]^6*v[4]^3+1/2*
lambda[4]*v[6]^2*v[5]*v[3]^2*v[1]+(3/320*lambda[6]^3+1/240*lambda[6]*lambda[5]
-1/480*lambda[4])*v[6]^5*v[5]^4*v[4]^3+(-1/8960*lambda[6]^3-1/6720*lambda[6]*
lambda[5]+1/4480*lambda[4])*v[6]^9*v[5]^2*v[4]^3+7/2*lambda[4]*v[5]*v[4]^2*v[3
]^3+(3/560*lambda[6]^3-3/140*lambda[6]*lambda[5]-1/140*lambda[4])*v[6]*v[5]^8*
v[2]+(-3/400*lambda[6]^3-7/600*lambda[6]*lambda[5]-1/150*lambda[4])*v[6]^5*v[5
]^6*v[2]+(1/4480*lambda[6]^3+1/3360*lambda[4])*v[6]^9*v[5]^4*v[2]+2*lambda[4]*
v[6]*v[4]*v[3]^4+(1/40*lambda[6]^3-1/10*lambda[6]*lambda[5]-1/20*lambda[4])*v[
5]^6*v[3]*v[2]+(1/280*lambda[6]*lambda[5]+1/280*lambda[4])*v[6]^7*v[5]*v[2]^2+
1/2*lambda[4]*v[6]^2*v[3]^3*v[2]+(1/560*lambda[6]*lambda[5]+1/80*lambda[4])*v[
6]^7*v[3]^2*v[2]-lambda[4]*v[4]*v[3]^2*v[1]-3/4*lambda[4]*v[6]^3*v[4]^3*v[3]^2
+(-1/985600*lambda[6]^3+1/739200*lambda[6]*lambda[5]-1/70400*lambda[4])*v[6]^
12*v[3]*v[2]+(-3/246400*lambda[6]^3+1/61600*lambda[6]*lambda[5]+3/30800*lambda
[4])*v[6]^11*v[5]*v[4]*v[2]+(-3/32*lambda[6]^3-1/24*lambda[6]*lambda[5]+1/48*
lambda[4])*v[6]^4*v[5]^4*v[3]*v[2]-1/8*lambda[4]*v[6]^4*v[5]^2*v[4]^3*v[3]+1/4
*lambda[4]*v[6]^4*v[4]^2*v[3]*v[2]+(-1/240*lambda[6]*lambda[5]+3/80*lambda[4])
*v[6]^6*v[4]*v[3]^3+(-3/6406400*lambda[6]^3-1/291200*lambda[6]*lambda[5]-1/
400400*lambda[4])*v[6]^13*v[5]^2*v[2]+(-3/3587584000*lambda[6]^3+1/48921600*
lambda[6]*lambda[5]+3/29286400*lambda[4])*v[6]^16*v[4]*v[3]+(1/560*lambda[6]^3
-1/140*lambda[6]*lambda[5]-33/1120*lambda[4])*v[5]^8*v[4]*v[3]+(-17/2240*
lambda[6]^3-3/560*lambda[6]*lambda[5]+1/2240*lambda[4])*v[6]^2*v[5]^9*v[3]+(3/
448448000*lambda[6]^3+379/2690688000*lambda[6]*lambda[5]-1/128128000*lambda[4]
)*v[6]^15*v[5]*v[4]^2+3/4*lambda[4]*v[5]^4*v[4]^3*v[3]-1/320*lambda[4]*v[6]^8*
v[4]^3*v[3]+(-3/2240*lambda[6]^3+11/6720*lambda[6]*lambda[5]-1/896*lambda[4])*
v[6]^8*v[5]*v[3]^3+(1/985600*lambda[6]^3-1/739200*lambda[6]*lambda[5]-1/123200
*lambda[4])*v[6]^12*v[5]*v[1]+(3/160*lambda[6]^3+1/120*lambda[6]*lambda[5]-1/
60*lambda[4])*v[6]^4*v[5]^5*v[1]+2*lambda[4]*v[4]*v[3]*v[2]^2+(-3/4480*lambda[
6]^3-1/1120*lambda[6]*lambda[5]-1/1680*lambda[4])*v[6]^8*v[5]^3*v[1]+(-571/
1793792000*lambda[6]^3-359/10762752000*lambda[6]*lambda[5]+3/232960000*lambda[
4])*v[6]^15*v[5]^5+(9/4480*lambda[6]^3+3/1120*lambda[6]*lambda[5]-9/2240*
lambda[4])*v[6]^8*v[5]^2*v[3]*v[2]+(19/14350336000*lambda[6]^3+211/
1463734272000*lambda[6]*lambda[5]-1/19009536000*lambda[4])*v[6]^19*v[5]^3+(1/
20*lambda[6]*lambda[5]+1/20*lambda[4])*v[6]^6*v[5]*v[4]*v[3]*v[2]-lambda[4]*v[
6]^2*v[5]*v[3]*v[2]^2+1/20*lambda[4]*v[6]^5*v[4]*v[2]^2+(57/34153799680000*
lambda[6]^3-23/3659335680000*lambda[6]*lambda[5]+1/99573760000*lambda[4])*v[6]
^21*v[4]+(-1/2240*lambda[6]^3-1/13440*lambda[6]*lambda[5]-1/13440*lambda[4])*v
[6]^3*v[5]^11+(-1/6*lambda[6]*lambda[5]-1/6*lambda[4])*v[6]^3*v[5]^3*v[2]^2-1/
20*lambda[4]*v[6]^5*v[4]*v[3]*v[1]+(1/6*lambda[6]*lambda[5]+1/6*lambda[4])*v[6
]^3*v[5]^3*v[3]*v[1]-lambda[4]*v[6]*v[5]^2*v[4]*v[2]^2+(-3/160*lambda[6]^3-1/
40*lambda[6]*lambda[5]+1/48*lambda[4])*v[6]^6*v[5]^3*v[4]^2*v[3]+(3/44800*
lambda[6]^3-1/11200*lambda[6]*lambda[5]+9/22400*lambda[4])*v[6]^10*v[5]*v[4]^2
*v[3]+(-1/280*lambda[6]*lambda[5]-1/280*lambda[4])*v[6]^7*v[5]*v[3]*v[1]+(1/24
*lambda[6]*lambda[5]+11/48*lambda[4])*v[6]^3*v[5]^4*v[4]*v[3]^2+(1/4*lambda[6]
*lambda[5]+3/4*lambda[4])*v[6]^2*v[5]^2*v[4]*v[3]^3+(-3/4480*lambda[6]^3+1/560
*lambda[6]*lambda[5]+23/26880*lambda[4])*v[6]^8*v[5]^4*v[4]*v[3]+1/2*lambda[6]
*lambda[5]*v[6]^3*v[5]*v[3]^4-3*lambda[4]*v[6]*v[5]*v[4]*v[3]^2*v[2]-lambda[4]
*v[5]^2*v[4]^2*v[3]*v[2]-1/400*lambda[4]*v[6]^5*v[4]^5;