C17 := (19/1345344000*lambda[4]^3-17/269068800*lambda[4]*lambda[3]+1/7175168*
lambda[2])*v[4]^15*v[3]+(1/369600*lambda[4]^3-1/369600*lambda[4]*lambda[3]+1/
59136*lambda[2])*v[4]^11*v[3]^3+(-1/16800*lambda[4]^3-1/3360*lambda[4]*lambda[
3]+1/6720*lambda[2])*v[4]^7*v[3]^5-1/240*lambda[2]*v[4]^3*v[3]^7+(-1/2402400*
lambda[4]^3+7/5491200*lambda[4]*lambda[3]-3/2562560*lambda[2])*v[4]^13*v[2]+(3
/4480*lambda[4]*lambda[3]-1/4480*lambda[2])*v[4]^9*v[3]^2*v[2]+(-3/160*lambda[
4]*lambda[3]-7/480*lambda[2])*v[4]^5*v[3]^4*v[2]+(-1/40*lambda[4]*lambda[3]-1/
40*lambda[2])*v[4]*v[3]^6*v[2]+(1/840*lambda[4]^3+1/168*lambda[4]*lambda[3]+1/
560*lambda[2])*v[4]^7*v[3]*v[2]^2-1/12*lambda[2]*v[4]^3*v[3]^3*v[2]^2+(1/40*
lambda[4]*lambda[3]-1/40*lambda[2])*v[4]^5*v[2]^3+(1/2*lambda[4]*lambda[3]+1/2
*lambda[2])*v[4]*v[3]^2*v[2]^3+1/448*lambda[2]*v[4]^8*v[3]*v[1]-1/24*lambda[2]
*v[4]^4*v[3]^3*v[1]-1/20*lambda[2]*v[3]^5*v[1]+1/40*lambda[2]*v[4]^6*v[2]*v[1]
+1/2*lambda[2]*v[4]^2*v[3]^2*v[2]*v[1]+lambda[2]*v[3]*v[2]^2*v[1];