C24 := 1/4*PV(1,2,2)*PU(1,4,4)-1/8*TV(2,2,2,2,2,2)+1/4*PU(4,4,4)*PV(1,1,1)-1/2
*PPU(1,3,3,4)*PPV(1,3,3,4)+1/8*PV(1,2,2)*PU(2,2,4)-1/24*QUd3(1,2,4,4)*QVd3(2,4
,4,4)-3/8*PU(1,1,2)*PV(2,4,4)+1/4*PU(1,1,4)*PV(2,2,4)-1/8*PU(3,3,3)*PV(1,1,2)+
3/4*TV(1,1,4,4,4,4)*PU(2,3)-1/8*PV(2,2,2)*PU(1,2,4)-1/24*PV(1,2,2)*QUd3(2,4,4,
4)-1/6*PV(1,2,4)*QUd3(1,4,4,4)-1/4*PV(1,4,4)*PU(1,1,4)-1/72*QUd3(1,4,4,4)*QVd3
(1,4,4,4)+1/24*PU(2,2,2)*QVd3(1,4,4,4)-1/2*PPU(2,3,2,3)*PPV(1,3,3,4)+1/8*QUd3(
1,2,4,4)*PV(2,2,4)+3/4*TU(1,3,3,3,4,4)*PV(1,3)-1/8*QVd3(1,1,4,4)*PU(3,3,3)+1/2
*PPV(3,4,3,4)*PPU(1,3,1,3)+3/8*PV(3,4)*TU(2,2,2,2,2,4)+1/2*PPU(1,3,2,3)*PPV(2,
3,3,4)+1/6*QUd3(2,4,4,4)*PV(1,1,4)-PPU(1,3,1,3)*PV(2,3)+1/16*QU(2,2,3,3)*QV(2,
2,3,3)-1/2*QUd3(1,2,4,4)*PV(1,4,4)+1/4*PPU(1,3,2,3)*PV(1,3)-1/8*PU(1,2,4)*PV(1
,2,4);
C21 := -1/4*PV(1,3)*QU(2,2,3,3)*lambda[4]+1/36*QUd3(2,4,4,4)*QVd3(1,4,4,4)*
lambda[4]-1/12*PU(2,2,4)*QVd3(1,4,4,4)*lambda[4]+1/4*PU(1,1,4)*PV(3,3,3)*
lambda[4]+1/3*PU(1,4,4)*QVd3(1,4,4,4)*lambda[4]-PU(3,4)*PPV(1,3,1,3)*lambda[4]
+1/2*PU(1,3)*PPV(1,3,3,4)*lambda[4]+3/8*TU(2,2,2,2,2,4)*lambda[4];
C18 := -3/8*TU(1,3,3,3,4,4)*PV(3,4)*lambda[3]-3/8*PU(2,3)*QV(2,2,3,3)*lambda[3
]+3/4*PU(1,3)*PV(1,3)*lambda[3]+3/8*PPU(1,3,2,3)*PV(3,4)*lambda[3]+1/24*PU(3,3
,3)*QVd3(1,4,4,4)*lambda[3]-1/8*PU(3,3,3)*PV(1,2,4)*lambda[3]-1/2*PPV(1,3,1,3)
*lambda[4]^2+3/4*TU(1,1,4,4,4,4)*lambda[3]-PPU(1,3,1,3)*lambda[3];
C15 := -3/4*PV(3,4)*PPU(1,3,3,4)*lambda[4]*lambda[3]+1/2*PPU(3,4,3,4)*PV(1,3)*
lambda[2]-3/8*TU(1,3,3,3,4,4)*lambda[4]*lambda[3]-3/4*PU(3,4)*PPV(2,3,2,3)*
lambda[2]+1/4*PU(3,3,3)*PV(1,4,4)*lambda[2]-PU(3,4)*PPV(1,3,3,4)*lambda[2]-1/8
*PPU(1,3,2,3)*lambda[4]*lambda[3]+3/8*QU(2,2,3,3)*PV(3,4)*lambda[2]+1/2*PU(2,3
)*PV(1,3)*lambda[2]-1/4*PU(3,4)*QV(2,2,3,3)*lambda[4]*lambda[3]+3/4*TU(1,3,3,3
,4,4)*lambda[2]+3/4*PV(2,3)*PU(1,3)*lambda[4]*lambda[3]+1/4*PPV(1,3,2,3)*
lambda[2];
C12 := 5/2*PV(3,4)*PU(1,3)*lambda[1]-1/4*PPU(2,3,2,3)*lambda[4]*lambda[2]+1/8*
QV(2,2,3,3)*lambda[4]*lambda[2]-3/8*PPU(2,3,3,4)*PV(3,4)*lambda[3]^2-3/4*PPV(1
,3,3,4)*lambda[4]^2*lambda[3]-3/2*PU(1,3)*PV(3,4)*lambda[3]^2-1/4*PU(2,3)*PV(2
,3)*lambda[1]-1/2*PU(3,4)*PV(1,3)*lambda[4]*lambda[2]+9/16*PU(2,3)*PV(2,3)*
lambda[3]^2-1/4*PU(2,3)*PPV(3,4,3,4)*lambda[1]-1/4*QV(2,2,3,3)*lambda[4]^2*
lambda[3]+1/2*PU(3,4)*PPV(2,3,3,4)*lambda[1]-1/8*PU(2,4,4)*PV(3,3,3)*lambda[1]
+1/2*PPU(1,3,3,4)*lambda[4]*lambda[2]+PU(3,4)*PV(1,3)*lambda[4]^2*lambda[3]-1/
2*QU(2,2,3,3)*lambda[1]-1/8*PPU(2,3,2,3)*lambda[3]^2-1/2*PPV(1,3,3,4)*lambda[3
]^2+1/4*QV(2,2,3,3)*lambda[3]^2+1/2*PPV(2,3,2,3)*lambda[1];
C9 := 3/4*PU(2,3)*PV(3,4)*lambda[4]*lambda[3]^2-3/8*PPU(2,3,3,4)*lambda[4]*
lambda[3]^2+3/4*PU(3,4)*PV(2,3)*lambda[0]-1/2*PV(1,3)*lambda[4]^2*lambda[2]-2*
PV(1,3)*lambda[4]*lambda[3]^2+1/2*PPU(2,3,3,4)*lambda[3]*lambda[2]+3*PV(1,3)*
lambda[3]*lambda[2]+2*PV(1,3)*lambda[4]*lambda[1]+1/2*PPV(2,3,3,4)*lambda[4]*
lambda[1]+1/4*PU(3,3,3)*PV(4,4,4)*lambda[0]+PV(1,3)*lambda[4]^3*lambda[3]-3/4*
PPV(3,4,3,4)*PU(3,4)*lambda[3]*lambda[2]-3/4*PU(2,3)*PV(3,4)*lambda[3]*lambda[
2]-9/2*PV(1,3)*lambda[0]+5/4*PU(3,4)*PV(2,3)*lambda[4]*lambda[1];
C6 := PPV(3,4,3,4)*lambda[2]^2-3/4*PPU(3,4,3,4)*lambda[4]*lambda[3]*lambda[2]+
PU(2,3)*lambda[4]^2*lambda[1]-1/4*PPU(3,4,3,4)*lambda[3]*lambda[1]+3/4*PU(2,3)
*lambda[4]^2*lambda[3]^2+3/4*PV(2,3)*lambda[4]*lambda[0]-3*PU(3,4)*PV(3,4)*
lambda[4]*lambda[0]+1/2*PU(3,4)*PV(3,4)*lambda[2]^2-3/2*PU(3,4)*PV(3,4)*lambda
[4]^2*lambda[1]-3/4*PV(2,3)*lambda[3]^3-1/2*PV(2,3)*lambda[2]^2+1/4*PU(3,4)*PV
(3,4)*lambda[4]*lambda[3]*lambda[2]+PU(2,3)*lambda[3]*lambda[1];
C3 := 3/4*PV(3,4)*lambda[4]^2*lambda[3]*lambda[2]+5/4*PV(3,4)*lambda[4]*lambda
[3]*lambda[1]-1/4*PV(3,4)*lambda[4]*lambda[2]^2-1/2*PV(3,4)*lambda[3]^2*lambda
[2]-3/2*PV(3,4)*lambda[4]^2*lambda[0]+9/4*PV(3,4)*lambda[3]*lambda[0]-3/2*PV(3
,4)*lambda[4]^3*lambda[1];
C0 := -1/2*lambda[4]^2*lambda[2]^2+1/2*lambda[3]^2*lambda[1]+1/2*lambda[4]^3*
lambda[0]-9/4*lambda[2]*lambda[0]-2*lambda[1]^2-1/2*lambda[4]*lambda[3]^2*
lambda[2]+1/2*lambda[4]^3*lambda[3]*lambda[2]-1/4*lambda[4]^2*lambda[3]*lambda
[1]+9/4*lambda[4]*lambda[2]*lambda[1]+3/2*lambda[4]*lambda[3]*lambda[0];