C24 := -3/2*lambda[7]*v[7]^2*v[6]*v[5]^2*v[4]*v[3]-1/2*lambda[7]*v[7]*v[6]^3*v
[4]^2*v[3]+1/8*lambda[7]*v[7]^4*v[6]^3*v[3]^2+13/44800*lambda[7]*v[7]^10*v[5]*
v[4]^2+1/280*lambda[7]*v[7]^7*v[6]*v[4]^3+3/44800*lambda[7]*v[7]^11*v[6]^3*v[3
]+1/50176000*lambda[7]*v[7]^16*v[6]^2*v[5]-1/6400*lambda[7]*v[7]^10*v[6]^2*v[2
]-1/40*lambda[7]*v[7]^2*v[6]^7*v[5]^2+1/16307200*lambda[7]*v[7]^14*v[2]-1/
89600*lambda[7]*v[7]^10*v[6]^7-1/6400*lambda[7]*v[7]^6*v[6]^9+1/20*lambda[7]*v
[7]^5*v[6]^3*v[5]^2*v[4]-1/44800*lambda[7]*v[7]^12*v[5]^3-1/8*lambda[7]*v[7]^4
*v[5]^5+3/20*lambda[7]*v[6]^5*v[3]^2+3/13045760000*lambda[7]*v[7]^20*v[5]+3/40
*lambda[7]*v[7]^3*v[6]^6*v[5]*v[4]+1/2*lambda[7]*v[7]*v[6]^2*v[5]*v[4]^3+1/8*
lambda[7]*v[7]^4*v[6]^3*v[5]*v[2]+lambda[7]*v[6]*v[5]^2*v[3]^2+1/800*lambda[7]
*v[6]^10*v[5]+1/2*lambda[7]*v[6]^2*v[5]^5-1/80*lambda[7]*v[7]^6*v[6]^3*v[4]*v[
3]+1/4*lambda[7]*v[7]*v[6]^4*v[4]*v[2]+3/40*lambda[7]*v[7]^5*v[6]^2*v[4]*v[2]-\
1/22400*lambda[7]*v[7]^11*v[6]^2*v[5]*v[4]+1/40*lambda[7]*v[7]^5*v[5]*v[4]^3+3
/20*lambda[7]*v[6]^5*v[5]*v[2]-1/8*lambda[7]*v[7]^4*v[6]^2*v[5]*v[4]*v[3]-1/40
*lambda[7]*v[7]*v[6]^6*v[5]*v[3]-1/4480*lambda[7]*v[7]^10*v[6]^3*v[5]^2-9/2240
*lambda[7]*v[7]^8*v[6]^2*v[5]^3-1/1164800*lambda[7]*v[7]^13*v[5]*v[3]-3/80*
lambda[7]*v[7]^6*v[5]^2*v[2]+3/4*lambda[7]*v[7]^2*v[5]^3*v[4]^2-1/11200*lambda
[7]*v[7]^9*v[6]^5*v[4]+3/40*lambda[7]*v[7]^5*v[5]^3*v[3]-1/20*lambda[7]*v[7]*v
[6]^5*v[1]+1/4*lambda[7]*v[7]^2*v[6]^3*v[5]^4+1/280*lambda[7]*v[7]^7*v[5]^3*v[
4]-1/640*lambda[7]*v[7]^4*v[6]^8*v[5]+1/140*lambda[7]*v[7]^7*v[5]*v[1]+1/80*
lambda[7]*v[7]^2*v[6]^6*v[2]-3/448*lambda[7]*v[7]^8*v[6]*v[5]*v[2]-3/4*lambda[
7]*v[7]^2*v[6]^2*v[5]^2*v[2]-1/40*lambda[7]*v[7]^2*v[6]^5*v[4]*v[3]+1/40*
lambda[7]*v[7]^6*v[5]*v[3]^2+3/8960*lambda[7]*v[7]^8*v[6]^3*v[4]^2+1/179200*
lambda[7]*v[7]^12*v[6]^4*v[5]+1/2*lambda[7]*v[7]^3*v[6]^2*v[5]^3*v[4]+lambda[7
]*v[7]*v[6]*v[5]^2*v[1]-2*lambda[7]*v[7]*v[6]*v[5]*v[3]*v[2]+3/112*lambda[7]*v
[7]^7*v[6]*v[5]^2*v[3]-1/4*lambda[7]*v[7]^3*v[6]^3*v[5]^2*v[3]-3/160*lambda[7]
*v[7]^6*v[6]^2*v[5]*v[4]^2-1/16*lambda[7]*v[7]^2*v[6]^4*v[5]*v[4]^2+2*lambda[7
]*v[7]*v[5]*v[4]*v[3]^2-1/4*lambda[7]*v[6]^4*v[5]*v[4]*v[3]-3/1304576000*
lambda[7]*v[7]^18*v[6]^3-11/2240*lambda[7]*v[7]^8*v[5]*v[4]*v[3]-lambda[7]*v[7
]*v[5]^2*v[4]*v[2]-1/80*lambda[7]*v[7]^6*v[6]*v[5]^4+1/179200*lambda[7]*v[7]^
12*v[6]*v[4]^2+3/320*lambda[7]*v[7]^6*v[6]^4*v[2]+23/44800*lambda[7]*v[7]^8*v[
6]^6*v[5]-1/40*lambda[7]*v[7]^5*v[6]^3*v[1]+3/800*lambda[7]*v[7]^6*v[6]^5*v[5]
^2+17/81536000*lambda[7]*v[7]^15*v[6]*v[3]-lambda[7]*v[5]^3*v[4]*v[3]-1/80*
lambda[7]*v[7]^3*v[6]^7*v[3]+17/8153600*lambda[7]*v[7]^14*v[6]*v[5]^2-3/582400
*lambda[7]*v[7]^13*v[6]^3*v[4]-1/16*lambda[7]*v[7]^4*v[6]^4*v[5]^3+1/400*
lambda[7]*v[7]^5*v[6]^7*v[4]-7/320*lambda[7]*v[7]^4*v[6]^5*v[4]^2+1/1600*
lambda[7]*v[7]^2*v[6]^11-1/80*lambda[7]*v[6]^7*v[4]^2-lambda[7]*v[6]*v[5]^3*v[
2]-1/140*lambda[7]*v[7]^7*v[3]*v[2]-1/16*lambda[7]*v[7]^4*v[6]*v[5]^2*v[4]^2+1
/2*lambda[7]*v[7]^2*v[6]^2*v[5]*v[3]^2-9/160*lambda[7]*v[7]^5*v[6]^4*v[5]*v[3]
-3/40*lambda[7]*v[7]^5*v[6]*v[4]^2*v[3]-3/22400*lambda[7]*v[7]^10*v[6]*v[4]*v[
3]+1/640*lambda[7]*v[7]^9*v[6]^2*v[5]*v[3]+1/182640640000*lambda[7]*v[7]^22*v[
6]+1/2*lambda[7]*v[7]*v[6]^2*v[5]^3*v[3]+lambda[7]*v[7]*v[6]*v[3]^3+1/560*
lambda[7]*v[7]^9*v[6]*v[5]^2*v[4]+1/1120*lambda[7]*v[7]^7*v[6]^4*v[5]*v[4]-23/
11200*lambda[7]*v[7]^7*v[6]^5*v[3]-1/4*lambda[7]*v[6]^3*v[5]^2*v[4]^2-1/2240*
lambda[7]*v[7]^9*v[4]*v[2]-1/81536000*lambda[7]*v[7]^17*v[6]*v[4]+1/2240*
lambda[7]*v[7]^8*v[6]*v[3]^2-11/40768000*lambda[7]*v[7]^15*v[5]*v[4]+1/4659200
*lambda[7]*v[7]^14*v[6]^5+1/2240*lambda[7]*v[7]^9*v[6]*v[1]-1/20*lambda[7]*v[6
]^6*v[5]^3;