C23 := (1/9*v[6]^3*v[5]*v[4]^4*v[3]+11/15120*v[6]^8*v[5]^3*v[4]*v[3]+5/144*v[6
]^4*v[4]^4*v[2]+1/2016*v[6]^8*v[5]^2*v[1]+1/12*v[6]^4*v[3]^2*v[2]+v[5]^2*v[3]^
2*v[2]+1/12*v[6]^5*v[5]^2*v[2]^2+1/6*v[6]*v[5]^4*v[2]^2+1/72*v[6]^4*v[5]^4*v[1
]-1/252*v[6]^7*v[5]^2*v[3]^2-1/18*v[6]^3*v[5]^4*v[3]^2+1/6*v[5]^4*v[4]*v[3]^2-
v[6]^2*v[5]*v[4]^2*v[3]*v[2]+1/60*v[6]^5*v[5]^2*v[4]*v[1]-1/167650560*v[6]^14*
v[4]^3-1/641520*v[6]^11*v[5]^6+1/158760*v[6]^7*v[5]^8+1/3*v[4]^4*v[1]-1/1890*v
[5]^10*v[4]+1/335301120*v[6]^17*v[4]^2+1/720*v[6]^5*v[4]^6+1/120*v[6]^2*v[4]^7
-1/199584*v[6]^11*v[3]^2+1/28740096*v[6]^16*v[2]-1/30*v[5]^6*v[1]+1/
11467298304*v[6]^19*v[5]^2+5/18144*v[6]^9*v[2]^2+1/10595783632896*v[6]^23-7/90
*v[6]*v[5]^6*v[4]*v[2]-7/360*v[6]^5*v[5]^4*v[4]*v[2]-1/360*v[6]^6*v[5]^2*v[4]^
2*v[2]-7/540*v[6]^6*v[5]*v[4]^3*v[3]+2/9*v[6]^3*v[5]^2*v[4]^3*v[2]-1/60*v[6]^4
*v[5]^5*v[4]*v[3]-1/360*v[6]^6*v[4]^2*v[1]-1/6*v[6]^3*v[4]^2*v[2]^2-1/74844*v[
6]^12*v[5]^2*v[2]+1/5*v[5]^5*v[3]*v[2]+1/18*v[6]^3*v[4]^3*v[1]+11/90720*v[6]^9
*v[4]*v[1]-1/630*v[5]^8*v[2]+1/2395008*v[6]^12*v[1]-17/315*v[5]^7*v[4]*v[3]-1/
229345966080*v[6]^20*v[4]+1/6*v[4]^3*v[2]^2-1/30*v[6]^5*v[5]*v[4]*v[3]*v[2]+17
/11975040*v[6]^13*v[4]*v[2]+11/360*v[6]^6*v[4]*v[2]^2+1/111767040*v[6]^16*v[5]
^2*v[4]-29/17962560*v[6]^12*v[5]^4*v[4]-1/45360*v[6]^8*v[5]^6*v[4]+1/7560*v[6]
^4*v[5]^8*v[4]-1/12*v[6]^2*v[5]^4*v[4]^2*v[2]+1/45360*v[6]^9*v[5]*v[4]^2*v[3]-\
1/90*v[6]^5*v[5]^3*v[4]^2*v[3]-v[6]*v[4]*v[3]^2*v[2]-1/12*v[6]^4*v[5]^2*v[4]*v
[3]^2-v[6]*v[5]^2*v[4]^2*v[3]^2+1/2*v[6]^2*v[5]^2*v[4]^2*v[1]-1/1008*v[6]^8*v[
5]*v[3]*v[2]+1/2*v[6]^2*v[5]^2*v[4]*v[2]^2-1/6*v[6]*v[5]^4*v[4]*v[1]-1/18*v[6]
^4*v[5]^3*v[3]*v[2]+1/1995840*v[6]^13*v[5]^2*v[4]^2+1/17010*v[6]^9*v[5]^4*v[4]
^2+1/540*v[6]^5*v[5]^6*v[4]^2+1/630*v[6]*v[5]^8*v[4]^2+1/36288*v[6]^10*v[5]^2*
v[4]^3+1/6480*v[6]^6*v[5]^4*v[4]^3+2/15*v[5]*v[4]^5*v[3]-1/75442752*v[6]^15*v[
5]^4+1/1680*v[6]^7*v[5]^2*v[4]^4+1/216*v[6]^3*v[5]^4*v[4]^4+1/240*v[6]^4*v[5]^
2*v[4]^5-1/60*v[6]*v[5]^2*v[4]^6+1/25147584*v[6]^15*v[5]*v[3]-1/540*v[6]^2*v[5
]^6*v[4]^3+1/299376*v[6]^11*v[5]^3*v[3]-1/1260*v[6]^7*v[5]^5*v[3]+17/945*v[6]^
3*v[5]^7*v[3]-13/1890*v[6]^7*v[4]^3*v[2]-37/181440*v[6]^10*v[4]^2*v[2]+7/60*v[
6]*v[4]^5*v[2]-1/2*v[6]^2*v[2]^3+2/3*v[6]*v[5]^3*v[4]*v[3]*v[2]+1/5670*v[6]^3*
v[5]^10+1/9*v[6]^2*v[5]^3*v[4]^3*v[3]-11/10080*v[6]^8*v[4]*v[3]^2+1/60*v[6]^5*
v[4]^2*v[3]^2-1/6*v[6]^2*v[4]^3*v[3]^2-1/3024*v[6]^8*v[5]^4*v[2]+2/135*v[6]^4*
v[5]^6*v[2]-1/5*v[6]*v[5]^5*v[4]^2*v[3]-43/5987520*v[6]^12*v[5]*v[4]*v[3]+113/
90720*v[6]^9*v[5]^2*v[4]*v[2]+1/12*v[5]^2*v[4]^4*v[2]-1/3991680*v[6]^11*v[4]^4
-1/8064*v[6]^8*v[4]^5-7/360*v[5]^4*v[4]^5)*lambda[3]+(-5/18*v[6]^3*v[5]*v[4]^4
*v[3]-2/945*v[6]^8*v[5]^3*v[4]*v[3]-1/72*v[6]^4*v[4]^4*v[2]+19/41912640*v[6]^
14*v[4]^3-1/561330*v[6]^11*v[5]^6-43/396900*v[6]^7*v[5]^8-1/12*v[4]^4*v[1]-41/
4725*v[5]^10*v[4]+17/838252800*v[6]^17*v[4]^2+13/900*v[6]^5*v[4]^6+1/24*v[6]^2
*v[4]^7+1/1247400*v[6]^11*v[3]^2+1/2514758400*v[6]^16*v[2]-2/45*v[5]^6*v[1]-1/
28668245760*v[6]^19*v[5]^2-1/22680*v[6]^9*v[2]^2-1/26489459082240*v[6]^23+2/45
*v[6]*v[5]^6*v[4]*v[2]+2/45*v[6]^5*v[5]^4*v[4]*v[2]+2/45*v[6]^6*v[5]^2*v[4]^2*
v[2]-7/270*v[6]^6*v[5]*v[4]^3*v[3]+4/9*v[6]^3*v[5]^2*v[4]^3*v[2]-2/45*v[6]^4*v
[5]^5*v[4]*v[3]-1/180*v[6]^6*v[4]^2*v[1]-1/3*v[6]^3*v[4]^2*v[2]^2+1/467775*v[6
]^12*v[5]^2*v[2]+4/15*v[5]^5*v[3]*v[2]+1/9*v[6]^3*v[4]^3*v[1]+1/22680*v[6]^9*v
[4]*v[1]+1/105*v[5]^8*v[2]-1/14968800*v[6]^12*v[1]+4/315*v[5]^7*v[4]*v[3]+1/
573364915200*v[6]^20*v[4]+1/3*v[4]^3*v[2]^2+1/2993760*v[6]^13*v[4]*v[2]+1/90*v
[6]^6*v[4]*v[2]^2+1/39916800*v[6]^16*v[5]^2*v[4]-13/2041200*v[6]^12*v[5]^4*v[4
]-1/14175*v[6]^8*v[5]^6*v[4]+5/756*v[6]^4*v[5]^8*v[4]+1/3*v[6]^2*v[5]^4*v[4]^2
*v[2]-17/22680*v[6]^9*v[5]*v[4]^2*v[3]-4/45*v[6]^5*v[5]^3*v[4]^2*v[3]-1/199584
*v[6]^13*v[5]^2*v[4]^2+29/68040*v[6]^9*v[5]^4*v[4]^2-1/1350*v[6]^5*v[5]^6*v[4]
^2-17/315*v[6]*v[5]^8*v[4]^2+101/226800*v[6]^10*v[5]^2*v[4]^3-1/162*v[6]^6*v[5
]^4*v[4]^3-1/30*v[5]*v[4]^5*v[3]+1/67359600*v[6]^15*v[5]^4-1/280*v[6]^7*v[5]^2
*v[4]^4+7/108*v[6]^3*v[5]^4*v[4]^4+13/120*v[6]^4*v[5]^2*v[4]^5+1/15*v[6]*v[5]^
2*v[4]^6-1/157172400*v[6]^15*v[5]*v[3]-8/135*v[6]^2*v[5]^6*v[4]^3-4/467775*v[6
]^11*v[5]^3*v[3]-4/4725*v[6]^7*v[5]^5*v[3]-4/945*v[6]^3*v[5]^7*v[3]+23/3780*v[
6]^7*v[4]^3*v[2]+1/16200*v[6]^10*v[4]^2*v[2]+17/60*v[6]*v[4]^5*v[2]+41/14175*v
[6]^3*v[5]^10-4/9*v[6]^2*v[5]^3*v[4]^3*v[3]-1/2520*v[6]^8*v[4]*v[3]^2+1/30*v[6
]^5*v[4]^2*v[3]^2-1/3*v[6]^2*v[4]^3*v[3]^2+1/1890*v[6]^8*v[5]^4*v[2]+1/135*v[6
]^4*v[5]^6*v[2]-2/15*v[6]*v[5]^5*v[4]^2*v[3]-31/7484400*v[6]^12*v[5]*v[4]*v[3]
+2/2835*v[6]^9*v[5]^2*v[4]*v[2]+1/6*v[5]^2*v[4]^4*v[2]-593/9979200*v[6]^11*v[4
]^4-247/100800*v[6]^8*v[4]^5+1/36*v[5]^4*v[4]^5)*lambda[4]^2;