C27 := -lambda[6]*v[5]^3*v[4]*v[2]+(-1/3200*lambda[7]^2-1/1600*lambda[6])*v[7]
^5*v[6]^9*v[5]+(1/22400*lambda[7]^2-1/22400*lambda[6])*v[7]^9*v[6]^7*v[5]-1/32
*lambda[7]^2*v[7]^3*v[6]^4*v[5]^4+(-61/6720*lambda[7]^2-1/840*lambda[6])*v[7]^
7*v[6]^2*v[5]^4-1/10*lambda[6]*v[7]*v[6]^7*v[5]^3+(1/400*lambda[7]^2-1/40*
lambda[6])*v[7]^5*v[6]^5*v[5]^3+3/20*lambda[6]*v[6]^5*v[3]*v[2]+(1/840*lambda[
7]^2-1/210*lambda[6])*v[7]^8*v[4]*v[3]^2+(1/40*lambda[7]^2+1/8*lambda[6])*v[7]
^5*v[5]^2*v[3]^2+(1/40*lambda[7]^2-1/40*lambda[6])*v[7]*v[6]^6*v[3]^2+(3/160*
lambda[7]^2-1/32*lambda[6])*v[7]^5*v[6]^4*v[3]^2+(-1/13440*lambda[7]^2+13/
13440*lambda[6])*v[7]^9*v[6]^2*v[3]^2+(1/33600*lambda[7]^2+1/26880*lambda[6])*
v[7]^10*v[4]^2*v[3]+(3/582400*lambda[7]^2-1/291200*lambda[6])*v[7]^13*v[6]*v[5
]^3-3/640*lambda[7]^2*v[7]^3*v[6]^8*v[5]^2+(61/67200*lambda[7]^2+1/336*lambda[
6])*v[7]^7*v[6]^6*v[5]^2+(-59/5913600*lambda[7]^2-1/369600*lambda[6])*v[7]^11*
v[6]^4*v[5]^2+(1369/5381376000*lambda[7]^2+283/672672000*lambda[6])*v[7]^15*v[
6]^2*v[5]^2+1/400*lambda[6]*v[7]*v[6]^11*v[5]+(3/40*lambda[7]^2-1/2*lambda[6])
*v[6]^5*v[5]^3*v[4]+(11/16800*lambda[7]^2+1/1680*lambda[6])*v[7]^7*v[6]^5*v[2]
+(-1/73920*lambda[7]^2+1/184800*lambda[6])*v[7]^11*v[6]^3*v[2]+(-29/1345344000
*lambda[7]^2+17/134534400*lambda[6])*v[7]^15*v[6]*v[2]+lambda[6]*v[7]*v[4]*v[3
]^3+2*lambda[6]*v[6]*v[5]*v[3]^3+(-lambda[7]^2+lambda[6])*v[7]*v[6]*v[5]^3*v[4
]*v[3]+1/2*lambda[6]*v[7]^2*v[6]^2*v[3]^3+(67/86102016000*lambda[7]^2-19/
5381376000*lambda[6])*v[7]^17*v[4]^2+(-1/1537536*lambda[7]^2+43/38438400*
lambda[6])*v[7]^13*v[3]^2+(-1/739200*lambda[7]^2+23/5913600*lambda[6])*v[7]^12
*v[4]^3+1/16*lambda[6]*v[7]^4*v[5]^2*v[4]^3+(-1/3200*lambda[7]^2+1/800*lambda[
6])*v[6]^10*v[3]-1/8*lambda[7]^2*v[7]^3*v[5]^6+(1/21504*lambda[7]^2-1/13440*
lambda[6])*v[7]^9*v[6]^4*v[4]^2+(167/153753600*lambda[7]^2-17/5491200*lambda[6
])*v[7]^13*v[6]^2*v[4]^2+(101/152687575040000*lambda[7]^2+1/19085946880000*
lambda[6])*v[7]^23*v[6]^2+(1/4*lambda[7]^2-lambda[6])*v[6]*v[5]^5*v[4]+(-191/
2956800*lambda[7]^2-1/184800*lambda[6])*v[7]^11*v[5]^4+(-1/24460800*lambda[7]^
2+1/9784320*lambda[6])*v[7]^14*v[1]+lambda[6]*v[6]*v[5]^3*v[1]+1/12800*lambda[
7]^2*v[7]^3*v[6]^12+(-1/480*lambda[7]^2-1/960*lambda[6])*v[7]^6*v[6]^4*v[1]+(1
/33600*lambda[7]^2+1/26880*lambda[6])*v[7]^10*v[6]^2*v[1]-3/20*lambda[6]*v[6]^
5*v[5]*v[1]+(-1/40*lambda[7]^2-1/20*lambda[6])*v[7]^5*v[6]*v[5]^5+(-1/1120*
lambda[7]^2-1/1120*lambda[6])*v[7]^9*v[6]^3*v[5]^3+(-1/40*lambda[7]^2-1/20*
lambda[6])*v[7]^5*v[5]^3*v[2]+(47/38438400*lambda[7]^2-7/2745600*lambda[6])*v[
7]^13*v[5]*v[2]+(19/76800*lambda[7]^2-1/19200*lambda[6])*v[7]^6*v[6]^8*v[4]+(-\
67/5376000*lambda[7]^2-11/1344000*lambda[6])*v[7]^10*v[6]^6*v[4]+(-373/
615014400*lambda[7]^2+73/1076275200*lambda[6])*v[7]^14*v[6]^4*v[4]+(-47/
34440806400*lambda[7]^2-59/43051008000*lambda[6])*v[7]^18*v[6]^2*v[4]+lambda[6
]*v[7]*v[6]^3*v[5]^5+(-1/840*lambda[7]^2+1/210*lambda[6])*v[7]^7*v[3]*v[1]+(-\
821/1076275200*lambda[7]^2-73/269068800*lambda[6])*v[7]^14*v[5]^2*v[4]+(-7/80*
lambda[7]^2+7/20*lambda[6])*v[6]^6*v[5]^2*v[3]+(-1013/32718766080000*lambda[7]
^2+277/1635938304000*lambda[6])*v[7]^20*v[3]+(-1/964342579200*lambda[7]^2+19/
6027141120000*lambda[6])*v[7]^22*v[4]+(-47/5913600*lambda[7]^2-1/59136*lambda[
6])*v[7]^12*v[5]^2*v[3]+(-3/2560*lambda[7]^2-1/640*lambda[6])*v[7]^4*v[6]^8*v[
3]+(-1/3360*lambda[7]^2+1/840*lambda[6])*v[7]^7*v[4]^4+(-53/537600*lambda[7]^2
-19/134400*lambda[6])*v[7]^8*v[6]^6*v[3]+(1811/1635938304000*lambda[7]^2+1/
10224614400*lambda[6])*v[7]^19*v[5]^2+(179/23654400*lambda[7]^2+1/236544*
lambda[6])*v[7]^12*v[6]^4*v[3]+(317/5740134400*lambda[7]^2-417/7175168000*
lambda[6])*v[7]^16*v[6]^2*v[3]+3/4*lambda[6]*v[6]^2*v[5]^2*v[4]^3+(-7/384000*
lambda[7]^2-1/336000*lambda[6])*v[7]^7*v[6]^10+(-1811/6543753216000*lambda[7]^
2-1/40898457600*lambda[6])*v[7]^19*v[6]^4+(-323/236544000*lambda[7]^2-1/
14784000*lambda[6])*v[7]^11*v[6]^8+(31/1182720000*lambda[7]^2+19/13453440000*
lambda[6])*v[7]^15*v[6]^6-1/64*lambda[6]*v[7]^4*v[6]^4*v[4]^3+(1/3360*lambda[7
]^2+13/26880*lambda[6])*v[7]^8*v[6]^2*v[4]^3+3/8*lambda[7]^2*v[7]*v[5]^4*v[4]^
2+(19/26880*lambda[7]^2+1/3360*lambda[6])*v[7]^9*v[5]^2*v[4]^2-1/640*lambda[7]
^2*v[7]*v[6]^8*v[4]^2+(-7/3200*lambda[7]^2+1/800*lambda[6])*v[7]^5*v[6]^6*v[4]
^2+(1/120*lambda[7]^2+1/240*lambda[6])*v[7]^6*v[5]^2*v[1]+(467/384384000*
lambda[7]^2+197/192192000*lambda[6])*v[7]^13*v[6]^5*v[5]+(-1/163072000*lambda[
7]^2-3/326144000*lambda[6])*v[7]^17*v[6]^3*v[5]+(3079/57257840640000*lambda[7]
^2+691/28628920320000*lambda[6])*v[7]^21*v[6]*v[5]-1/80*lambda[6]*v[7]^2*v[6]^
6*v[1]+(1/320*lambda[7]^2-1/80*lambda[6])*v[6]^9*v[5]*v[4]+(1/6400*lambda[7]^2
+1/1600*lambda[6])*v[7]^2*v[6]^10*v[4]+(7/960*lambda[7]^2-1/240*lambda[6])*v[7
]^6*v[5]^4*v[4]+(1/16016000*lambda[7]^2-41/179379200*lambda[6])*v[7]^15*v[4]*v
[3]+(3/8*lambda[7]^2+1/2*lambda[6])*v[6]^2*v[5]^4*v[3]+(1/32*lambda[7]^2-1/8*
lambda[6])*v[7]^4*v[5]^4*v[3]+(1/120*lambda[7]^2-1/120*lambda[6])*v[7]^6*v[3]^
3-1/80*lambda[6]*v[6]^6*v[4]^3+(-1/34027516723200000*lambda[7]^2+1/
14887038566400000*lambda[6])*v[7]^27-3/16*lambda[6]*v[7]^2*v[6]^4*v[4]^2*v[3]+
(17/268800*lambda[7]^2+13/67200*lambda[6])*v[7]^10*v[6]^2*v[5]^2*v[4]+(-11/840
*lambda[7]^2-1/84*lambda[6])*v[7]^7*v[6]*v[5]^2*v[2]+1/2*lambda[6]*v[7]^3*v[6]
*v[5]^3*v[4]^2-3/2*lambda[6]*v[6]^3*v[5]*v[4]^2*v[3]+3/4*lambda[6]*v[7]^2*v[6]
^2*v[5]^2*v[1]+(-3/179200*lambda[7]^2-1/44800*lambda[6])*v[7]^12*v[6]^3*v[5]*v
[4]+(1/840*lambda[7]^2+13/6720*lambda[6])*v[7]^8*v[6]*v[5]*v[1]+1/4*lambda[6]*
v[7]^2*v[6]^3*v[5]*v[4]^3+(-3827/43051008000*lambda[7]^2-109/10762752000*
lambda[6])*v[7]^16*v[6]*v[5]*v[4]-3/40*lambda[6]*v[7]^3*v[6]^5*v[5]*v[4]^2+(17
/4480*lambda[7]^2+1/1120*lambda[6])*v[7]^8*v[6]*v[5]^3*v[4]+(-3/4480*lambda[7]
^2-3/2240*lambda[6])*v[7]^9*v[6]^2*v[5]*v[2]+(1/120*lambda[7]^2+1/240*lambda[6
])*v[7]^6*v[6]*v[5]*v[4]^3+1/2*lambda[6]*v[7]^3*v[6]^3*v[5]*v[3]^2+(1/105*
lambda[7]^2+1/120*lambda[6])*v[7]^7*v[6]*v[5]*v[3]^2+(3/80*lambda[7]^2+1/20*
lambda[6])*v[7]^6*v[6]*v[5]^3*v[3]+(37/107627520*lambda[7]^2+361/134534400*
lambda[6])*v[7]^14*v[6]*v[5]*v[3]+(1/52800*lambda[7]^2+67/739200*lambda[6])*v[
7]^11*v[6]*v[5]*v[4]^2+(-1/840*lambda[7]^2-13/6720*lambda[6])*v[7]^8*v[5]*v[4]
*v[2]+1/8*lambda[6]*v[7]^4*v[6]^3*v[3]*v[2]+(5/16*lambda[7]^2+1/4*lambda[6])*v
[7]^2*v[6]^2*v[5]^4*v[4]+(-1/840*lambda[7]^2-13/6720*lambda[6])*v[7]^8*v[6]*v[
3]*v[2]+(11/44800*lambda[7]^2+3/11200*lambda[6])*v[7]^10*v[6]^3*v[5]*v[3]+(19/
1920*lambda[7]^2-1/480*lambda[6])*v[7]^6*v[6]^4*v[5]^2*v[4]+(1/16*lambda[7]^2+
1/4*lambda[6])*v[7]^4*v[6]^3*v[5]^3*v[4]+(-3/160*lambda[7]^2-3/40*lambda[6])*v
[7]^5*v[6]^2*v[5]^2*v[4]^2+(3/160*lambda[7]^2+3/80*lambda[6])*v[7]^5*v[6]^4*v[
5]*v[2]+(-17/268800*lambda[7]^2+17/67200*lambda[6])*v[7]^8*v[6]^5*v[5]*v[4]+(3
/320*lambda[7]^2+1/80*lambda[6])*v[7]^4*v[6]^7*v[5]*v[4]+(3/160*lambda[7]^2+7/
40*lambda[6])*v[7]^2*v[6]^6*v[5]^2*v[4]+(1/2*lambda[7]^2+3/2*lambda[6])*v[7]*v
[6]^2*v[5]^2*v[3]^2+(139/26880*lambda[7]^2+1/1344*lambda[6])*v[7]^8*v[6]^2*v[5
]^2*v[3]+(-1/2*lambda[7]^2-lambda[6])*v[7]*v[6]^2*v[5]^3*v[2]-3/2*lambda[6]*v[
7]^2*v[6]^2*v[5]*v[3]*v[2]+(-1/80*lambda[7]^2-1/20*lambda[6])*v[7]^2*v[6]^7*v[
5]*v[3]+(-7/64*lambda[7]^2-1/16*lambda[6])*v[7]^4*v[6]^4*v[5]^2*v[3]-1/8*
lambda[6]*v[7]^4*v[6]^3*v[5]*v[1]+(1/4*lambda[7]^2-lambda[6])*v[7]^2*v[6]^3*v[
5]^3*v[3]+(-1/80*lambda[7]^2-1/160*lambda[6])*v[7]^6*v[6]^2*v[4]^2*v[3]-3/8*
lambda[6]*v[7]^4*v[6]*v[5]*v[4]^2*v[3]-3*lambda[6]*v[6]*v[5]^2*v[3]*v[2]+(1/
92400*lambda[7]^2-79/1478400*lambda[6])*v[7]^11*v[6]^2*v[4]*v[3]+(1/120*lambda
[7]^2+1/240*lambda[6])*v[7]^6*v[6]^3*v[4]*v[2]+(-1/840*lambda[7]^2-13/6720*
lambda[6])*v[7]^7*v[6]^4*v[4]*v[3]-3/2*lambda[6]*v[7]^2*v[6]*v[5]^2*v[4]*v[2]+
(-1/105*lambda[7]^2+13/1680*lambda[6])*v[7]^7*v[5]^2*v[4]*v[3]+(-1/16800*
lambda[7]^2-1/13440*lambda[6])*v[7]^10*v[6]*v[4]*v[2]+3/40*lambda[6]*v[7]^2*v[
6]^5*v[4]*v[2]+(-1/560*lambda[7]^2+1/560*lambda[6])*v[7]^7*v[6]^3*v[5]*v[4]^2+
(-1/60*lambda[7]^2-1/120*lambda[6])*v[7]^6*v[5]*v[3]*v[2]+1/80*lambda[6]*v[7]^
3*v[6]^6*v[4]*v[3]+3/4*lambda[6]*v[6]^4*v[5]*v[4]*v[2]-1/16*lambda[7]^2*v[7]*v
[6]^4*v[5]^2*v[4]^2+3/8*lambda[6]*v[7]^4*v[6]^2*v[5]*v[4]*v[2]+(-1/1344*lambda
[7]^2+1/1344*lambda[6])*v[7]^9*v[6]*v[5]*v[4]*v[3]+(-1/40*lambda[7]^2-1/40*
lambda[6])*v[7]^5*v[6]^3*v[5]*v[4]*v[3]+(-1/20*lambda[7]^2-3/20*lambda[6])*v[7
]*v[6]^5*v[5]*v[4]*v[3]+(1/40*lambda[7]^2+1/20*lambda[6])*v[7]*v[6]^6*v[5]*v[2
]-3/4*lambda[6]*v[7]^3*v[6]^2*v[5]^2*v[4]*v[3]+3/4*lambda[6]*v[7]^2*v[5]^2*v[4
]^2*v[3]+(1/840*lambda[7]^2-1/210*lambda[6])*v[7]^7*v[2]^2+(-47/4800*lambda[7]
^2-7/1200*lambda[6])*v[7]^6*v[6]^5*v[5]*v[3];