C23 := (1/4*lambda[3]*lambda[2]+1/4*lambda[4]*lambda[1]-1/4*lambda[0])*v[4]^2*
v[3]^3*v[2]^2*v[1]+(3/160*lambda[4]*lambda[3]^2-1/240*lambda[3]*lambda[2]-1/60
*lambda[4]*lambda[1]-1/24*lambda[0])*v[4]^5*v[3]*v[2]^4+(1/2*lambda[4]*lambda[
1]+3/2*lambda[0])*v[4]*v[3]^2*v[2]*v[1]^2+(-1/24*lambda[3]*lambda[2]-1/12*
lambda[4]*lambda[1]-1/12*lambda[0])*v[4]^3*v[3]^4*v[2]^3+(1/1680*lambda[4]^3*
lambda[3]+1/336*lambda[4]*lambda[3]^2+1/1680*lambda[4]^2*lambda[2]+1/240*
lambda[3]*lambda[2]-1/168*lambda[4]*lambda[1]-1/168*lambda[0])*v[4]^7*v[3]^2*v
[2]^3+1/4*lambda[0]*v[4]^3*v[3]^3*v[1]^2+(-1/369600*lambda[4]^2*lambda[2]+23/
2956800*lambda[3]*lambda[2]-3/985600*lambda[4]*lambda[1]-1/39424*lambda[0])*v[
4]^12*v[2]*v[1]+(-9/1600*lambda[4]*lambda[3]^2-1/400*lambda[4]^2*lambda[2]-7/
800*lambda[3]*lambda[2]-1/100*lambda[4]*lambda[1]-1/80*lambda[0])*v[4]^5*v[3]^
5*v[2]^2+(-1/2400*lambda[4]^2*lambda[2]-1/4800*lambda[3]*lambda[2]-3/1600*
lambda[4]*lambda[1]-1/320*lambda[0])*v[4]^6*v[3]^5*v[1]+(-1/560*lambda[3]*
lambda[2]-1/560*lambda[4]*lambda[1]-3/112*lambda[0])*v[4]^2*v[3]^7*v[1]+(1/
100800*lambda[4]^2*lambda[2]+1/80640*lambda[3]*lambda[2]+1/19200*lambda[4]*
lambda[1]+1/5376*lambda[0])*v[4]^10*v[3]^3*v[1]+(1/24*lambda[3]*lambda[2]+1/24
*lambda[4]*lambda[1]-5/24*lambda[0])*v[4]^4*v[2]^3*v[1]+(3/8960*lambda[4]*
lambda[3]^2+1/20160*lambda[4]^2*lambda[2]+1/5760*lambda[3]*lambda[2]-1/3360*
lambda[4]*lambda[1]-1/1344*lambda[0])*v[4]^9*v[3]^3*v[2]^2+(-1/28828800*lambda
[4]^5-1/2882880*lambda[4]^3*lambda[3]+313/230630400*lambda[4]*lambda[3]^2+1/
3843840*lambda[4]^2*lambda[2]-17/5491200*lambda[3]*lambda[2]+1/240240*lambda[4
]*lambda[1]+1/256256*lambda[0])*v[4]^13*v[3]*v[2]^2+(1/2*lambda[3]*lambda[2]+1
/2*lambda[4]*lambda[1]+3/2*lambda[0])*v[3]^2*v[2]^3*v[1]+(-1/40*lambda[3]*
lambda[2]-1/40*lambda[4]*lambda[1]+1/8*lambda[0])*v[3]^6*v[2]*v[1]+(-3/560*
lambda[4]*lambda[3]^2-1/420*lambda[4]^2*lambda[2]-3/280*lambda[3]*lambda[2]-1/
210*lambda[4]*lambda[1]-1/28*lambda[0])*v[4]*v[3]^7*v[2]^2+(1/8*lambda[4]*
lambda[3]^2+1/4*lambda[3]*lambda[2]+1/2*lambda[0])*v[4]*v[3]^3*v[2]^4+(-1/
33600*lambda[4]^3*lambda[3]-1/6720*lambda[4]*lambda[3]^2-1/6720*lambda[4]^2*
lambda[2]-1/11200*lambda[3]*lambda[2]-1/16800*lambda[4]*lambda[1]+1/1120*
lambda[0])*v[4]^7*v[3]^6*v[2]+(-3/2240*lambda[3]*lambda[2]-1/224*lambda[4]*
lambda[1]-1/224*lambda[0])*v[4]^3*v[3]^8*v[2]+(1/492800*lambda[4]^3*lambda[3]-\
1/492800*lambda[4]*lambda[3]^2+19/4435200*lambda[4]^2*lambda[2]+61/8870400*
lambda[3]*lambda[2]+1/59136*lambda[4]*lambda[1]+1/59136*lambda[0])*v[4]^11*v[3
]^4*v[2]+(19/896896000*lambda[4]^3*lambda[3]-17/179379200*lambda[4]*lambda[3]^
2+113/2690688000*lambda[4]^2*lambda[2]+17/538137600*lambda[3]*lambda[2]+1/
3587584*lambda[4]*lambda[1]+1/3587584*lambda[0])*v[4]^15*v[3]^2*v[2]+(-1/
24460800*lambda[4]^2*lambda[2]+1/9784320*lambda[3]*lambda[2]-1/16307200*lambda
[4]*lambda[1]+1/652288*lambda[0])*v[4]^14*v[3]*v[1]+(-3/1254400*lambda[4]*
lambda[3]^2+1/705600*lambda[4]^2*lambda[2]-23/5644800*lambda[3]*lambda[2]+1/
117600*lambda[4]*lambda[1]-1/188160*lambda[0])*v[4]^9*v[3]^7+(-53/
146007493632000*lambda[4]^5+367/365018734080000*lambda[4]^3*lambda[3]+4189/
2336119898112000*lambda[4]*lambda[3]^2-9/6489221939200*lambda[4]^2*lambda[2]-\
151/15574132654080*lambda[3]*lambda[2]+43/3893533163520*lambda[4]*lambda[1]+1/
47194341376*lambda[0])*v[4]^21*v[3]+(1/576576000*lambda[4]^5+1/57657600*lambda
[4]^3*lambda[3]-313/4612608000*lambda[4]*lambda[3]^2+19/144144000*lambda[4]^2*
lambda[2]-17/65894400*lambda[3]*lambda[2]+9/12812800*lambda[4]*lambda[1]+1/
1397760*lambda[0])*v[4]^13*v[3]^5+(1/246400*lambda[4]*lambda[3]^2-1/92400*
lambda[4]^2*lambda[2]+1/123200*lambda[3]*lambda[2]-1/46200*lambda[4]*lambda[1]
+1/2464*lambda[0])*v[4]*v[3]^11+(1/89600*lambda[4]*lambda[3]^2-1/33600*lambda[
4]^2*lambda[2]+1/26880*lambda[3]*lambda[2]-1/6720*lambda[4]*lambda[1]-1/4480*
lambda[0])*v[4]^5*v[3]^9+(-1/369600*lambda[4]^3*lambda[3]+1/369600*lambda[4]*
lambda[3]^2+1/369600*lambda[4]^2*lambda[2]+23/739200*lambda[3]*lambda[2]-1/
14784*lambda[4]*lambda[1]-1/14784*lambda[0])*v[4]^11*v[2]^3+lambda[0]*v[3]*v[1
]^3+(-23/1303638336000*lambda[4]^5+89/1489872384000*lambda[4]^3*lambda[3]+461/
10429106688000*lambda[4]*lambda[3]^2-277/3476368896000*lambda[4]^2*lambda[2]-\
317/927031705600*lambda[3]*lambda[2]+131/278109511680*lambda[4]*lambda[1]+1/
1426202624*lambda[0])*v[4]^19*v[2]+(1/280*lambda[4]*lambda[1]+1/112*lambda[0])
*v[4]^7*v[3]*v[1]^2+(1/120*lambda[4]^2*lambda[2]+1/240*lambda[3]*lambda[2]+3/
80*lambda[4]*lambda[1]+1/16*lambda[0])*v[4]^6*v[3]*v[2]^2*v[1]+(1/12*lambda[3]
*lambda[2]-1/6*lambda[4]*lambda[1]-1/6*lambda[0])*v[4]^3*v[2]^5+(1/40*lambda[4
]*lambda[1]+1/8*lambda[0])*v[4]^5*v[2]*v[1]^2+(23/137225088000*lambda[4]^5-23/
68612544000*lambda[4]^3*lambda[3]-6077/4391202816000*lambda[4]*lambda[3]^2+197
/109780070400*lambda[4]^2*lambda[2]+83/87824056320*lambda[3]*lambda[2]+1/
522762240*lambda[4]*lambda[1]-1/266133504*lambda[0])*v[4]^17*v[3]^3+(1/1680*
lambda[4]^2*lambda[2]+13/13440*lambda[3]*lambda[2]+3/896*lambda[4]*lambda[1]+1
/896*lambda[0])*v[4]^8*v[3]^2*v[2]*v[1]+(-1/32*lambda[3]*lambda[2]-1/32*lambda
[4]*lambda[1]-3/32*lambda[0])*v[4]^4*v[3]^4*v[2]*v[1];