(string-grobner "[-((2*PSI0-K0*L2-K0*L1-K0*L0)*PSI1+(-2*K1*L2-2*K1*L0)*PSI0+2*K0*K1*L1*L2 +2*K0*K1*L0*L1) *PSI2 -(-2*K2*L0*PSI0+2*K0*K2*L0*L2+2*K0*K2*L0*L1)*PSI1-4*K1*K2*L0*L2*PSI0 +4*K0*K1*K2*L0*L1*L2, ((2*K0*PSI0-K0^2*L2-K0^2*L1-K0^2*L0)*PSI1 +2*K1*PSI0^2+(-2*K0*K1*L2-2*K0*K1*L1-2*K0*K1*L0)*PSI0+2*K0^2*K1*L1*L2 +2*K0^2*K1*L0*L1) *PSI2 +(2*K2*PSI0^2+(-2*K0*K2*L2-2*K0*K2*L1-2*K0*K2*L0)*PSI0+2*K0^2*K2*L0*L2 +2*K0^2*K2*L0*L1) *PSI1-4*K1*K2*L2*PSI0^2+(4*K0*K1*K2*L1+4*K0*K1*K2*L0)*L2*PSI0 -4*K0^2*K1*K2*L0*L1*L2, ((((K0*L2^2+(K0*L0-2*K0*L1)*L2)*PHI0+K1\_0*L1*L2^2 +(K1\_0*L1^2+K1\_0*L0*L1)*L2) *PSI0^2 +(4*K0^2*L1*L2^2+(4*K0^2*L1^2+4*K0^2*L0*L1)*L2)*PHI0*PSI0 +(-K0^3*L1*L2^3+(-2*K0^3*L1^2-2*K0^3*L0*L1)*L2^2 +(-K0^3*L1^3-2*K0^3*L0*L1^2-K0^3*L0^2*L1)*L2) *PHI0) *PSI1^3 +(((-2*K0*L2^2+(-4*K0*L1-2*K0*L0)*L2-2*K0*L0*L1)*PHI1-4*K1*L1*L2*PHI0) *PSI0^3 +((K0^2*L1*L2^2+(4*K0^2*L1^2+K0^2*L0*L1)*L2+2*K0^2*L0*L1^2)*PHI1 +(10*K0*K1*L1*L2^2+(8*K0*K1*L1^2+10*K0*K1*L0*L1)*L2)*PHI0 -2*K1*K1\_0*L1^2*L2^2-2*K1*K1\_0*L0*L1^2*L2) *PSI0^2 +(-4*K0^2*K1*L1*L2^3+(-16*K0^2*K1*L1^2-8*K0^2*K1*L0*L1)*L2^2 +(-4*K0^2*K1*L1^3-16*K0^2*K1*L0*L1^2 -4*K0^2*K1*L0^2*L1) *L2) *PHI0*PSI0 +(4*K0^3*K1*L1^2*L2^3+(4*K0^3*K1*L1^3+8*K0^3*K1*L0*L1^2)*L2^2 +(4*K0^3*K1*L0*L1^3+4*K0^3*K1*L0^2*L1^2)*L2) *PHI0) *PSI1^2 +(((-K1*L2^2+(-4*K1*L1-K1*L0)*L2-3*K1*L0*L1)*PHI1 -K1\_1*L1*L2^2-K1\_1*L0*L1*L2) *PSI0^4 +((4*K0*K1*L1*L2^2+(8*K0*K1*L1^2+4*K0*K1*L0*L1)*L2+6*K0*K1*L0*L1^2) *PHI1 +(8*K1^2*L1*L2^2+8*K1^2*L0*L1*L2)*PHI0+2*K0*K1\_1*L1^2*L2^2 +2*K0*K1\_1*L0*L1^2*L2) *PSI0^3 +((-3*K0^2*K1*L1^2*L2^2+(-4*K0^2*K1*L1^3-3*K0^2*K1*L0*L1^2)*L2 -3*K0^2*K1*L0*L1^3) *PHI1 +(-4*K0*K1^2*L1*L2^3+(-16*K0*K1^2*L1^2-8*K0*K1^2*L0*L1)*L2^2 +(-16*K0*K1^2*L0*L1^2-4*K0*K1^2*L0^2*L1)*L2) *PHI0-K0^2*K1\_1*L1^3*L2^2-K0^2*K1\_1*L0*L1^3*L2) *PSI0^2 +(8*K0^2*K1^2*L1^2*L2^3+(8*K0^2*K1^2*L1^3+16*K0^2*K1^2*L0*L1^2)*L2^2 +(8*K0^2*K1^2*L0*L1^3+8*K0^2*K1^2*L0^2*L1^2) *L2) *PHI0*PSI0 +(-4*K0^3*K1^2*L1^3*L2^3-8*K0^3*K1^2*L0*L1^3*L2^2 -4*K0^3*K1^2*L0^2*L1^3*L2) *PHI0) *PSI1+(K1^2*L1*L2^2+K1^2*L0*L1*L2)*PHI1*PSI0^4 +(-2*K0*K1^2*L1^2*L2^2-2*K0*K1^2*L0*L1^2*L2)*PHI1*PSI0^3 +(K0^2*K1^2*L1^3*L2^2+K0^2*K1^2*L0*L1^3*L2)*PHI1*PSI0^2) *PSI2^3 +((((4*K0*L1*L2+2*K0*L0*L1)*PHI2-4*K2*L1*L2*PHI0)*PSI0^3 +((-4*K0^2*L1*L2^2+(-4*K0^2*L1^2-K0^2*L0*L1)*L2-2*K0^2*L0*L1^2)*PHI2 +((8*K0*K2*L1-2*K0*K2*L0)*L2^2+(8*K0*K2*L1^2+10*K0*K2*L0*L1)*L2)*PHI0 -2*K1\_0*K2*L0*L1*L2^2-2*K1\_0*K2*L0*L1^2*L2) *PSI0^2 +(-4*K0^2*K2*L1*L2^3+(-8*K0^2*K2*L1^2-16*K0^2*K2*L0*L1)*L2^2 +(-4*K0^2*K2*L1^3-16*K0^2*K2*L0*L1^2 -4*K0^2*K2*L0^2*L1) *L2) *PHI0*PSI0 +(4*K0^3*K2*L0*L1*L2^3+(8*K0^3*K2*L0*L1^2+4*K0^3*K2*L0^2*L1)*L2^2 +(4*K0^3*K2*L0*L1^3+4*K0^3*K2*L0^2*L1^2)*L2) *PHI0) *PSI1^3 +((8*K1*L1*L2+4*K1*L0*L1)*PHI2*PSI0^4 +((-16*K0*K1*L1*L2^2+(-16*K0*K1*L1^2-4*K0*K1*L0*L1)*L2 -8*K0*K1*L0*L1^2) *PHI2 +(4*K0*K2*L0*L2^2+8*K0*K2*L0*L1*L2)*PHI1 +(16*K1*K2*L1*L2^2+16*K1*K2*L0*L1*L2)*PHI0) *PSI0^3 +((16*K0^2*K1*L1^2*L2^2+(8*K0^2*K1*L1^3+4*K0^2*K1*L0*L1^2)*L2 +4*K0^2*K1*L0*L1^3) *PHI2 +(-2*K0^2*K2*L0*L1*L2^2-8*K0^2*K2*L0*L1^2*L2)*PHI1 +(-16*K0*K1*K2*L1*L2^3+(-32*K0*K1*K2*L1^2-44*K0*K1*K2*L0*L1)*L2^2 +(-32*K0*K1*K2*L0*L1^2-8*K0*K1*K2*L0^2*L1)*L2) *PHI0+4*K1*K1\_0*K2*L0*L1^2*L2^2) *PSI0^2 +((16*K0^2*K1*K2*L1^2+16*K0^2*K1*K2*L0*L1)*L2^3 +(16*K0^2*K1*K2*L1^3+64*K0^2*K1*K2*L0*L1^2+16*K0^2*K1*K2*L0^2*L1) *L2^2+(16*K0^2*K1*K2*L0*L1^3+16*K0^2*K1*K2*L0^2*L1^2)*L2) *PHI0*PSI0 +(-16*K0^3*K1*K2*L0*L1^2*L2^3+(-16*K0^3*K1*K2*L0*L1^3 -16*K0^3*K1*K2*L0^2*L1^2) *L2^2-8*K0^3*K1*K2*L0^2*L1^3*L2) *PHI0) *PSI1^2 +(((-16*K1^2*L1*L2^2-4*K1^2*L0*L1*L2)*PHI2 +(2*K1*K2*L0*L2^2+8*K1*K2*L0*L1*L2)*PHI1+2*K1\_1*K2*L0*L1*L2^2) *PSI0^4 +((32*K0*K1^2*L1^2*L2^2+8*K0*K1^2*L0*L1^2*L2)*PHI2 +(-8*K0*K1*K2*L0*L1*L2^2-16*K0*K1*K2*L0*L1^2*L2)*PHI1 +(-16*K1^2*K2*L1*L2^3-32*K1^2*K2*L0*L1*L2^2)*PHI0 -4*K0*K1\_1*K2*L0*L1^2*L2^2) *PSI0^3 +((-16*K0^2*K1^2*L1^3*L2^2-4*K0^2*K1^2*L0*L1^3*L2)*PHI2 +(6*K0^2*K1*K2*L0*L1^2*L2^2+8*K0^2*K1*K2*L0*L1^3*L2)*PHI1 +((32*K0*K1^2*K2*L1^2+16*K0*K1^2*K2*L0*L1)*L2^3 +(64*K0*K1^2*K2*L0*L1^2+16*K0*K1^2*K2*L0^2*L1)*L2^2) *PHI0+2*K0^2*K1\_1*K2*L0*L1^3*L2^2) *PSI0^2 +((-16*K0^2*K1^2*K2*L1^3-32*K0^2*K1^2*K2*L0*L1^2)*L2^3 +(-32*K0^2*K1^2*K2*L0*L1^3-32*K0^2*K1^2*K2*L0^2*L1^2)*L2^2) *PHI0*PSI0 +(16*K0^3*K1^2*K2*L0*L1^3*L2^3+16*K0^3*K1^2*K2*L0^2*L1^3*L2^2)*PHI0) *PSI1-2*K1^2*K2*L0*L1*L2^2*PHI1*PSI0^4 +4*K0*K1^2*K2*L0*L1^2*L2^2*PHI1*PSI0^3 -2*K0^2*K1^2*K2*L0*L1^3*L2^2*PHI1*PSI0^2) *PSI2^2 +((((4*K2*L1*L2+K2*L0*L1)*PHI2+K1\_2*L0*L1*L2)*PSI0^4 +((-8*K0*K2*L1*L2^2+(-8*K0*K2*L1^2-4*K0*K2*L0*L1)*L2-2*K0*K2*L0*L1^2) *PHI2 +8*K2^2*L0*L1*L2*PHI0-2*K0*K1\_2*L0*L1*L2^2-2*K0*K1\_2*L0*L1^2*L2) *PSI0^3 +((4*K0^2*K2*L1*L2^3+(8*K0^2*K2*L1^2+3*K0^2*K2*L0*L1)*L2^2 +(4*K0^2*K2*L1^3+4*K0^2*K2*L0*L1^2)*L2 +K0^2*K2*L0*L1^3) *PHI2 +((-16*K0*K2^2*L0*L1^2-4*K0*K2^2*L0^2*L1)*L2-16*K0*K2^2*L0*L1*L2^2) *PHI0+K0^2*K1\_2*L0*L1*L2^3+2*K0^2*K1\_2*L0*L1^2*L2^2 +K0^2*K1\_2*L0*L1^3*L2) *PSI0^2 +(8*K0^2*K2^2*L0*L1*L2^3+(16*K0^2*K2^2*L0*L1^2+8*K0^2*K2^2*L0^2*L1) *L2^2 +(8*K0^2*K2^2*L0*L1^3+8*K0^2*K2^2*L0^2*L1^2) *L2) *PHI0*PSI0 +(-4*K0^3*K2^2*L0^2*L1*L2^3-8*K0^3*K2^2*L0^2*L1^2*L2^2 -4*K0^3*K2^2*L0^2*L1^3*L2) *PHI0) *PSI1^3 +(((-16*K1*K2*L1*L2^2-8*K1*K2*L0*L1*L2)*PHI2-4*K1*K1\_2*L0*L1*L2^2) *PSI0^4 +((16*K0*K1*K2*L1*L2^3+(32*K0*K1*K2*L1^2+12*K0*K1*K2*L0*L1)*L2^2 +16*K0*K1*K2*L0*L1^2*L2) *PHI2 -32*K1*K2^2*L0*L1*L2^2*PHI0+4*K0*K1*K1\_2*L0*L1*L2^3 +8*K0*K1*K1\_2*L0*L1^2*L2^2) *PSI0^3 +((-16*K0^2*K1*K2*L1^2*L2^3+(-16*K0^2*K1*K2*L1^3 -12*K0^2*K1*K2*L0*L1^2) *L2^2-8*K0^2*K1*K2*L0*L1^3*L2) *PHI2 +(32*K0*K1*K2^2*L0*L1*L2^3+(64*K0*K1*K2^2*L0*L1^2 +16*K0*K1*K2^2*L0^2*L1) *L2^2) *PHI0-4*K0^2*K1*K1\_2*L0*L1^2*L2^3-4*K0^2*K1*K1\_2*L0*L1^3*L2^2) *PSI0^2 +((-32*K0^2*K1*K2^2*L0*L1^2-16*K0^2*K1*K2^2*L0^2*L1)*L2^3 +(-32*K0^2*K1*K2^2*L0*L1^3-32*K0^2*K1*K2^2*L0^2*L1^2)*L2^2) *PHI0*PSI0 +(16*K0^3*K1*K2^2*L0^2*L1^2*L2^3+16*K0^3*K1*K2^2*L0^2*L1^3*L2^2) *PHI0) *PSI1^2 +(((16*K1^2*K2*L1*L2^3+12*K1^2*K2*L0*L1*L2^2)*PHI2 +4*K1^2*K1\_2*L0*L1*L2^3) *PSI0^4 +((-32*K0*K1^2*K2*L1^2*L2^3-24*K0*K1^2*K2*L0*L1^2*L2^2)*PHI2 +32*K1^2*K2^2*L0*L1*L2^3*PHI0-8*K0*K1^2*K1\_2*L0*L1^2*L2^3) *PSI0^3 +((16*K0^2*K1^2*K2*L1^3*L2^3+12*K0^2*K1^2*K2*L0*L1^3*L2^2)*PHI2 +(-64*K0*K1^2*K2^2*L0*L1^2-16*K0*K1^2*K2^2*L0^2*L1)*L2^3*PHI0 +4*K0^2*K1^2*K1\_2*L0*L1^3*L2^3) *PSI0^2 +(32*K0^2*K1^2*K2^2*L0*L1^3+32*K0^2*K1^2*K2^2*L0^2*L1^2) *L2^3*PHI0*PSI0-16*K0^3*K1^2*K2^2*L0^2*L1^3*L2^3*PHI0) *PSI1) *PSI2 +(-K2^2*L0*L1*L2*PHI2*PSI0^4+(2*K0*K2^2*L0*L1*L2^2 +2*K0*K2^2*L0*L1^2*L2) *PHI2*PSI0^3 +(-K0^2*K2^2*L0*L1*L2^3 -2*K0^2*K2^2*L0*L1^2*L2^2 -K0^2*K2^2*L0*L1^3*L2) *PHI2*PSI0^2) *PSI1^3 +(4*K1*K2^2*L0*L1*L2^2*PHI2*PSI0^4 +(-4*K0*K1*K2^2*L0*L1*L2^3-8*K0*K1*K2^2*L0*L1^2*L2^2)*PHI2*PSI0^3 +(4*K0^2*K1*K2^2*L0*L1^2*L2^3+4*K0^2*K1*K2^2*L0*L1^3*L2^2) *PHI2*PSI0^2) *PSI1^2 +(-4*K1^2*K2^2*L0*L1*L2^3*PHI2*PSI0^4 +8*K0*K1^2*K2^2*L0*L1^2*L2^3*PHI2*PSI0^3 -4*K0^2*K1^2*K2^2*L0*L1^3*L2^3*PHI2*PSI0^2) *PSI1, -((((3*K0*L1-K0*L0)*L2*PHI0-K1\_0*L0*L1*L2)*PSI0^3 +(((K0^2*L0-4*K0^2*L1)*L2^2+(-4*K0^2*L1^2-6*K0^2*L0*L1+K0^2*L0^2)*L2) *PHI0 +K0*K1\_0*L0*L1*L2^2+(K0*K1\_0*L0*L1^2+K0*K1\_0*L0^2*L1)*L2) *PSI0^2 +(K0^3*L1*L2^3+(2*K0^3*L1^2+6*K0^3*L0*L1)*L2^2 +(K0^3*L1^3+6*K0^3*L0*L1^2+5*K0^3*L0^2*L1)*L2) *PHI0*PSI0 +(-K0^4*L0*L1*L2^3+(-2*K0^4*L0*L1^2-2*K0^4*L0^2*L1)*L2^2 +(-K0^4*L0*L1^3-2*K0^4*L0^2*L1^2-K0^4*L0^3*L1)*L2) *PHI0) *PSI1^3 +(((2*K0*L0*L2+2*K0*L0*L1)*PHI1+4*K1*L1*L2*PHI0)*PSI0^4 +((-2*K0^2*L0*L2^2+(-5*K0^2*L0*L1-2*K0^2*L0^2)*L2-2*K0^2*L0*L1^2 -2*K0^2*L0^2*L1) *PHI1 +((-8*K0*K1*L1^2-14*K0*K1*L0*L1)*L2-12*K0*K1*L1*L2^2)*PHI0 +2*K1*K1\_0*L0*L1^2*L2) *PSI0^3 +((K0^3*L0*L1*L2^2+(4*K0^3*L0*L1^2+K0^3*L0^2*L1)*L2+2*K0^3*L0^2*L1^2) *PHI1 +(4*K0^2*K1*L1*L2^3+(16*K0^2*K1*L1^2+18*K0^2*K1*L0*L1)*L2^2 +(4*K0^2*K1*L1^3+24*K0^2*K1*L0*L1^2 +14*K0^2*K1*L0^2*L1) *L2) *PHI0-2*K0*K1*K1\_0*L0*L1^2*L2^2-2*K0*K1*K1\_0*L0^2*L1^2*L2) *PSI0^2 +((-4*K0^3*K1*L1^2-4*K0^3*K1*L0*L1)*L2^3 +(-4*K0^3*K1*L1^3-24*K0^3*K1*L0*L1^2-8*K0^3*K1*L0^2*L1)*L2^2 +(-8*K0^3*K1*L0*L1^3-20*K0^3*K1*L0^2*L1^2-4*K0^3*K1*L0^3*L1)*L2) *PHI0*PSI0 +(4*K0^4*K1*L0*L1^2*L2^3+(4*K0^4*K1*L0*L1^3+8*K0^4*K1*L0^2*L1^2)*L2^2 +(4*K0^4*K1*L0^2*L1^3+4*K0^4*K1*L0^3*L1^2)*L2) *PHI0) *PSI1^2 +(((K1*L0*L2+3*K1*L0*L1)*PHI1+K1\_1*L0*L1*L2)*PSI0^5 +((-K0*K1*L0*L2^2+(-8*K0*K1*L0*L1-K0*K1*L0^2)*L2-6*K0*K1*L0*L1^2 -3*K0*K1*L0^2*L1) *PHI1 +(-8*K1^2*L1*L2^2-8*K1^2*L0*L1*L2)*PHI0-K0*K1\_1*L0*L1*L2^2 +(-2*K0*K1\_1*L0*L1^2-K0*K1\_1*L0^2*L1)*L2) *PSI0^4 +((4*K0^2*K1*L0*L1*L2^2+(11*K0^2*K1*L0*L1^2+4*K0^2*K1*L0^2*L1)*L2 +3*K0^2*K1*L0*L1^3+6*K0^2*K1*L0^2*L1^2) *PHI1 +(4*K0*K1^2*L1*L2^3+(16*K0*K1^2*L1^2+16*K0*K1^2*L0*L1)*L2^2 +(16*K0*K1^2*L0*L1^2+12*K0*K1^2*L0^2*L1)*L2) *PHI0+2*K0^2*K1\_1*L0*L1^2*L2^2 +(K0^2*K1\_1*L0*L1^3+2*K0^2*K1\_1*L0^2*L1^2)*L2) *PSI0^3 +((-3*K0^3*K1*L0*L1^2*L2^2+(-4*K0^3*K1*L0*L1^3-3*K0^3*K1*L0^2*L1^2)*L2 -3*K0^3*K1*L0^2*L1^3) *PHI1 +((-8*K0^2*K1^2*L1^2-4*K0^2*K1^2*L0*L1)*L2^3 +(-8*K0^2*K1^2*L1^3-32*K0^2*K1^2*L0*L1^2-8*K0^2*K1^2*L0^2*L1)*L2^2 +(-8*K0^2*K1^2*L0*L1^3-24*K0^2*K1^2*L0^2*L1^2-4*K0^2*K1^2*L0^3*L1) *L2) *PHI0-K0^3*K1\_1*L0*L1^3*L2^2-K0^3*K1\_1*L0^2*L1^3*L2) *PSI0^2 +((4*K0^3*K1^2*L1^3+8*K0^3*K1^2*L0*L1^2)*L2^3 +(16*K0^3*K1^2*L0*L1^3+16*K0^3*K1^2*L0^2*L1^2)*L2^2 +(12*K0^3*K1^2*L0^2*L1^3+8*K0^3*K1^2*L0^3*L1^2)*L2) *PHI0*PSI0 +(-4*K0^4*K1^2*L0*L1^3*L2^3-8*K0^4*K1^2*L0^2*L1^3*L2^2 -4*K0^4*K1^2*L0^3*L1^3*L2) *PHI0) *PSI1-K1^2*L0*L1*L2*PHI1*PSI0^5 +(K0*K1^2*L0*L1*L2^2+(2*K0*K1^2*L0*L1^2+K0*K1^2*L0^2*L1)*L2) *PHI1*PSI0^4 +((-K0^2*K1^2*L0*L1^3-2*K0^2*K1^2*L0^2*L1^2)*L2 -2*K0^2*K1^2*L0*L1^2*L2^2) *PHI1*PSI0^3 +(K0^3*K1^2*L0*L1^3*L2^2+K0^3*K1^2*L0^2*L1^3*L2)*PHI1*PSI0^2) *PSI2^3 -((((-2*K0*L1*L2-2*K0*L0*L1)*PHI2+4*K2*L1*L2*PHI0)*PSI0^4 +((2*K0^2*L1*L2^2+(2*K0^2*L1^2+5*K0^2*L0*L1)*L2+2*K0^2*L0*L1^2 +2*K0^2*L0^2*L1) *PHI2 +((2*K0*K2*L0-8*K0*K2*L1)*L2^2+(-8*K0*K2*L1^2-14*K0*K2*L0*L1)*L2) *PHI0+2*K1\_0*K2*L0*L1*L2^2+2*K1\_0*K2*L0*L1^2*L2) *PSI0^3 +((-4*K0^3*L0*L1*L2^2+(-4*K0^3*L0*L1^2-K0^3*L0^2*L1)*L2 -2*K0^3*L0^2*L1^2) *PHI2 +(4*K0^2*K2*L1*L2^3+(8*K0^2*K2*L1^2+24*K0^2*K2*L0*L1-2*K0^2*K2*L0^2) *L2^2 +(4*K0^2*K2*L1^3+24*K0^2*K2*L0*L1^2 +14*K0^2*K2*L0^2*L1) *L2) *PHI0-2*K0*K1\_0*K2*L0^2*L1*L2^2-2*K0*K1\_0*K2*L0^2*L1^2*L2) *PSI0^2 +(-8*K0^3*K2*L0*L1*L2^3+(-16*K0^3*K2*L0*L1^2-20*K0^3*K2*L0^2*L1)*L2^2 +(-8*K0^3*K2*L0*L1^3-20*K0^3*K2*L0^2*L1^2 -4*K0^3*K2*L0^3*L1) *L2) *PHI0*PSI0 +(4*K0^4*K2*L0^2*L1*L2^3+(8*K0^4*K2*L0^2*L1^2+4*K0^4*K2*L0^3*L1)*L2^2 +(4*K0^4*K2*L0^2*L1^3+4*K0^4*K2*L0^3*L1^2)*L2) *PHI0) *PSI1^3 +((-4*K1*L1*L2-4*K1*L0*L1)*PHI2*PSI0^5 +((8*K0*K1*L1*L2^2+(8*K0*K1*L1^2+12*K0*K1*L0*L1)*L2+8*K0*K1*L0*L1^2 +4*K0*K1*L0^2*L1) *PHI2 +(-4*K0*K2*L0*L2^2-8*K0*K2*L0*L1*L2)*PHI1 +(-16*K1*K2*L1*L2^2-16*K1*K2*L0*L1*L2)*PHI0) *PSI0^4 +(((-8*K0^2*K1*L1^2-16*K0^2*K1*L0*L1)*L2^2 +(-4*K0^2*K1*L1^3-20*K0^2*K1*L0*L1^2-4*K0^2*K1*L0^2*L1)*L2 -4*K0^2*K1*L0*L1^3-8*K0^2*K1*L0^2*L1^2) *PHI2 +((2*K0^2*K2*L0*L1+4*K0^2*K2*L0^2)*L2^2 +(8*K0^2*K2*L0*L1^2+8*K0^2*K2*L0^2*L1)*L2) *PHI1 +(16*K0*K1*K2*L1*L2^3+(32*K0*K1*K2*L1^2+60*K0*K1*K2*L0*L1)*L2^2 +(32*K0*K1*K2*L0*L1^2+24*K0*K1*K2*L0^2*L1)*L2) *PHI0-4*K1*K1\_0*K2*L0*L1^2*L2^2) *PSI0^3 +((16*K0^3*K1*L0*L1^2*L2^2+(8*K0^3*K1*L0*L1^3+4*K0^3*K1*L0^2*L1^2)*L2 +4*K0^3*K1*L0^2*L1^3) *PHI2 +(-2*K0^3*K2*L0^2*L1*L2^2-8*K0^3*K2*L0^2*L1^2*L2)*PHI1 +((-16*K0^2*K1*K2*L1^2-32*K0^2*K1*K2*L0*L1)*L2^3 +(-16*K0^2*K1*K2*L1^3-96*K0^2*K1*K2*L0*L1^2-60*K0^2*K1*K2*L0^2*L1) *L2^2 +(-16*K0^2*K1*K2*L0*L1^3-48*K0^2*K1*K2*L0^2*L1^2 -8*K0^2*K1*K2*L0^3*L1) *L2) *PHI0+4*K0*K1*K1\_0*K2*L0^2*L1^2*L2^2) *PSI0^2 +((32*K0^3*K1*K2*L0*L1^2+16*K0^3*K1*K2*L0^2*L1)*L2^3 +(32*K0^3*K1*K2*L0*L1^3+80*K0^3*K1*K2*L0^2*L1^2 +16*K0^3*K1*K2*L0^3*L1) *L2^2+(24*K0^3*K1*K2*L0^2*L1^3+16*K0^3*K1*K2*L0^3*L1^2)*L2) *PHI0*PSI0 +(-16*K0^4*K1*K2*L0^2*L1^2*L2^3 +(-16*K0^4*K1*K2*L0^2*L1^3-16*K0^4*K1*K2*L0^3*L1^2)*L2^2 -8*K0^4*K1*K2*L0^3*L1^3*L2) *PHI0) *PSI1^2 +(((8*K1^2*L1*L2^2+4*K1^2*L0*L1*L2)*PHI2 +(-2*K1*K2*L0*L2^2-8*K1*K2*L0*L1*L2)*PHI1-2*K1\_1*K2*L0*L1*L2^2) *PSI0^5 +(((-16*K0*K1^2*L1^2-16*K0*K1^2*L0*L1)*L2^2 +(-8*K0*K1^2*L0*L1^2-4*K0*K1^2*L0^2*L1)*L2) *PHI2 +((8*K0*K1*K2*L0*L1+2*K0*K1*K2*L0^2)*L2^2 +(16*K0*K1*K2*L0*L1^2+8*K0*K1*K2*L0^2*L1)*L2) *PHI1+(16*K1^2*K2*L1*L2^3+32*K1^2*K2*L0*L1*L2^2)*PHI0 +(4*K0*K1\_1*K2*L0*L1^2+2*K0*K1\_1*K2*L0^2*L1)*L2^2) *PSI0^4 +(((8*K0^2*K1^2*L1^3+32*K0^2*K1^2*L0*L1^2)*L2^2 +(4*K0^2*K1^2*L0*L1^3+8*K0^2*K1^2*L0^2*L1^2)*L2) *PHI2 +((-6*K0^2*K1*K2*L0*L1^2-8*K0^2*K1*K2*L0^2*L1)*L2^2 +(-8*K0^2*K1*K2*L0*L1^3-16*K0^2*K1*K2*L0^2*L1^2)*L2) *PHI1 +((-32*K0*K1^2*K2*L1^2-32*K0*K1^2*K2*L0*L1)*L2^3 +(-64*K0*K1^2*K2*L0*L1^2-48*K0*K1^2*K2*L0^2*L1)*L2^2) *PHI0+(-2*K0^2*K1\_1*K2*L0*L1^3-4*K0^2*K1\_1*K2*L0^2*L1^2)*L2^2) *PSI0^3 +((-16*K0^3*K1^2*L0*L1^3*L2^2-4*K0^3*K1^2*L0^2*L1^3*L2)*PHI2 +(6*K0^3*K1*K2*L0^2*L1^2*L2^2+8*K0^3*K1*K2*L0^2*L1^3*L2)*PHI1 +((16*K0^2*K1^2*K2*L1^3+64*K0^2*K1^2*K2*L0*L1^2 +16*K0^2*K1^2*K2*L0^2*L1) *L2^3 +(32*K0^2*K1^2*K2*L0*L1^3+96*K0^2*K1^2*K2*L0^2*L1^2 +16*K0^2*K1^2*K2*L0^3*L1) *L2^2) *PHI0+2*K0^3*K1\_1*K2*L0^2*L1^3*L2^2) *PSI0^2 +((-32*K0^3*K1^2*K2*L0*L1^3-32*K0^3*K1^2*K2*L0^2*L1^2)*L2^3 +(-48*K0^3*K1^2*K2*L0^2*L1^3-32*K0^3*K1^2*K2*L0^3*L1^2)*L2^2) *PHI0*PSI0 +(16*K0^4*K1^2*K2*L0^2*L1^3*L2^3+16*K0^4*K1^2*K2*L0^3*L1^3*L2^2) *PHI0) *PSI1+2*K1^2*K2*L0*L1*L2^2*PHI1*PSI0^5 +(-4*K0*K1^2*K2*L0*L1^2-2*K0*K1^2*K2*L0^2*L1)*L2^2*PHI1*PSI0^4 +(2*K0^2*K1^2*K2*L0*L1^3+4*K0^2*K1^2*K2*L0^2*L1^2)*L2^2*PHI1*PSI0^3 -2*K0^3*K1^2*K2*L0^2*L1^3*L2^2*PHI1*PSI0^2) *PSI2^2 -((((-3*K2*L1*L2-K2*L0*L1)*PHI2-K1\_2*L0*L1*L2)*PSI0^5 +((6*K0*K2*L1*L2^2+(6*K0*K2*L1^2+8*K0*K2*L0*L1)*L2+2*K0*K2*L0*L1^2 +K0*K2*L0^2*L1) *PHI2 -8*K2^2*L0*L1*L2*PHI0+2*K0*K1\_2*L0*L1*L2^2 +(2*K0*K1\_2*L0*L1^2+K0*K1\_2*L0^2*L1)*L2) *PSI0^4 +((-3*K0^2*K2*L1*L2^3+(-6*K0^2*K2*L1^2-11*K0^2*K2*L0*L1)*L2^2 +(-3*K0^2*K2*L1^3-12*K0^2*K2*L0*L1^2 -4*K0^2*K2*L0^2*L1) *L2-K0^2*K2*L0*L1^3-2*K0^2*K2*L0^2*L1^2) *PHI2 +(16*K0*K2^2*L0*L1*L2^2+(16*K0*K2^2*L0*L1^2+12*K0*K2^2*L0^2*L1)*L2) *PHI0-K0^2*K1\_2*L0*L1*L2^3 +(-2*K0^2*K1\_2*L0*L1^2-2*K0^2*K1\_2*L0^2*L1)*L2^2 +(-K0^2*K1\_2*L0*L1^3-2*K0^2*K1\_2*L0^2*L1^2)*L2) *PSI0^3 +((4*K0^3*K2*L0*L1*L2^3+(8*K0^3*K2*L0*L1^2+3*K0^3*K2*L0^2*L1)*L2^2 +(4*K0^3*K2*L0*L1^3+4*K0^3*K2*L0^2*L1^2)*L2 +K0^3*K2*L0^2*L1^3) *PHI2 +(-8*K0^2*K2^2*L0*L1*L2^3+(-16*K0^2*K2^2*L0*L1^2 -24*K0^2*K2^2*L0^2*L1) *L2^2 +(-8*K0^2*K2^2*L0*L1^3 -24*K0^2*K2^2*L0^2*L1^2 -4*K0^2*K2^2*L0^3*L1) *L2) *PHI0+K0^3*K1\_2*L0^2*L1*L2^3+2*K0^3*K1\_2*L0^2*L1^2*L2^2 +K0^3*K1\_2*L0^2*L1^3*L2) *PSI0^2 +(12*K0^3*K2^2*L0^2*L1*L2^3+(24*K0^3*K2^2*L0^2*L1^2 +8*K0^3*K2^2*L0^3*L1) *L2^2 +(12*K0^3*K2^2*L0^2*L1^3 +8*K0^3*K2^2*L0^3*L1^2) *L2) *PHI0*PSI0 +(-4*K0^4*K2^2*L0^3*L1*L2^3-8*K0^4*K2^2*L0^3*L1^2*L2^2 -4*K0^4*K2^2*L0^3*L1^3*L2) *PHI0) *PSI1^3 +(((12*K1*K2*L1*L2^2+8*K1*K2*L0*L1*L2)*PHI2+4*K1*K1\_2*L0*L1*L2^2) *PSI0^5 +((-12*K0*K1*K2*L1*L2^3+(-24*K0*K1*K2*L1^2-28*K0*K1*K2*L0*L1)*L2^2 +(-16*K0*K1*K2*L0*L1^2-8*K0*K1*K2*L0^2*L1)*L2) *PHI2 +32*K1*K2^2*L0*L1*L2^2*PHI0-4*K0*K1*K1\_2*L0*L1*L2^3 +(-8*K0*K1*K1\_2*L0*L1^2-4*K0*K1*K1\_2*L0^2*L1)*L2^2) *PSI0^4 +(((12*K0^2*K1*K2*L1^2+16*K0^2*K1*K2*L0*L1)*L2^3 +(12*K0^2*K1*K2*L1^3+44*K0^2*K1*K2*L0*L1^2+12*K0^2*K1*K2*L0^2*L1) *L2^2+(8*K0^2*K1*K2*L0*L1^3+16*K0^2*K1*K2*L0^2*L1^2)*L2) *PHI2 +((-64*K0*K1*K2^2*L0*L1^2-48*K0*K1*K2^2*L0^2*L1)*L2^2 -32*K0*K1*K2^2*L0*L1*L2^3) *PHI0+(4*K0^2*K1*K1\_2*L0*L1^2+4*K0^2*K1*K1\_2*L0^2*L1)*L2^3 +(4*K0^2*K1*K1\_2*L0*L1^3+8*K0^2*K1*K1\_2*L0^2*L1^2)*L2^2) *PSI0^3 +((-16*K0^3*K1*K2*L0*L1^2*L2^3+(-16*K0^3*K1*K2*L0*L1^3 -12*K0^3*K1*K2*L0^2*L1^2) *L2^2-8*K0^3*K1*K2*L0^2*L1^3*L2) *PHI2 +((32*K0^2*K1*K2^2*L0*L1^2+48*K0^2*K1*K2^2*L0^2*L1)*L2^3 +(32*K0^2*K1*K2^2*L0*L1^3+96*K0^2*K1*K2^2*L0^2*L1^2 +16*K0^2*K1*K2^2*L0^3*L1) *L2^2) *PHI0-4*K0^3*K1*K1\_2*L0^2*L1^2*L2^3 -4*K0^3*K1*K1\_2*L0^2*L1^3*L2^2) *PSI0^2 +((-48*K0^3*K1*K2^2*L0^2*L1^2-16*K0^3*K1*K2^2*L0^3*L1)*L2^3 +(-48*K0^3*K1*K2^2*L0^2*L1^3-32*K0^3*K1*K2^2*L0^3*L1^2)*L2^2) *PHI0*PSI0 +(16*K0^4*K1*K2^2*L0^3*L1^2*L2^3+16*K0^4*K1*K2^2*L0^3*L1^3*L2^2) *PHI0) *PSI1^2 +(((-12*K1^2*K2*L1*L2^3-12*K1^2*K2*L0*L1*L2^2)*PHI2 -4*K1^2*K1\_2*L0*L1*L2^3) *PSI0^5 +(((24*K0*K1^2*K2*L1^2+16*K0*K1^2*K2*L0*L1)*L2^3 +(24*K0*K1^2*K2*L0*L1^2+12*K0*K1^2*K2*L0^2*L1)*L2^2) *PHI2 -32*K1^2*K2^2*L0*L1*L2^3*PHI0 +(8*K0*K1^2*K1\_2*L0*L1^2+4*K0*K1^2*K1\_2*L0^2*L1)*L2^3) *PSI0^4 +(((-12*K0^2*K1^2*K2*L1^3-32*K0^2*K1^2*K2*L0*L1^2)*L2^3 +(-12*K0^2*K1^2*K2*L0*L1^3-24*K0^2*K1^2*K2*L0^2*L1^2)*L2^2) *PHI2 +(64*K0*K1^2*K2^2*L0*L1^2+48*K0*K1^2*K2^2*L0^2*L1)*L2^3*PHI0 +(-4*K0^2*K1^2*K1\_2*L0*L1^3-8*K0^2*K1^2*K1\_2*L0^2*L1^2)*L2^3) *PSI0^3 +((16*K0^3*K1^2*K2*L0*L1^3*L2^3+12*K0^3*K1^2*K2*L0^2*L1^3*L2^2)*PHI2 +(-32*K0^2*K1^2*K2^2*L0*L1^3-96*K0^2*K1^2*K2^2*L0^2*L1^2 -16*K0^2*K1^2*K2^2*L0^3*L1) *L2^3*PHI0+4*K0^3*K1^2*K1\_2*L0^2*L1^3*L2^3) *PSI0^2 +(48*K0^3*K1^2*K2^2*L0^2*L1^3+32*K0^3*K1^2*K2^2*L0^3*L1^2) *L2^3*PHI0*PSI0-16*K0^4*K1^2*K2^2*L0^3*L1^3*L2^3*PHI0) *PSI1) *PSI2 -(K2^2*L0*L1*L2*PHI2*PSI0^5+((-2*K0*K2^2*L0*L1^2-K0*K2^2*L0^2*L1)*L2 -2*K0*K2^2*L0*L1*L2^2) *PHI2*PSI0^4 +(K0^2*K2^2*L0*L1*L2^3 +(2*K0^2*K2^2*L0*L1^2+2*K0^2*K2^2*L0^2*L1) *L2^2 +(K0^2*K2^2*L0*L1^3+2*K0^2*K2^2*L0^2*L1^2) *L2) *PHI2*PSI0^3 +(-K0^3*K2^2*L0^2*L1*L2^3 -2*K0^3*K2^2*L0^2*L1^2*L2^2 -K0^3*K2^2*L0^2*L1^3*L2) *PHI2*PSI0^2) *PSI1^3 -(-4*K1*K2^2*L0*L1*L2^2*PHI2*PSI0^5 +(4*K0*K1*K2^2*L0*L1*L2^3+(8*K0*K1*K2^2*L0*L1^2+4*K0*K1*K2^2*L0^2*L1) *L2^2) *PHI2*PSI0^4 +((-4*K0^2*K1*K2^2*L0*L1^2-4*K0^2*K1*K2^2*L0^2*L1)*L2^3 +(-4*K0^2*K1*K2^2*L0*L1^3-8*K0^2*K1*K2^2*L0^2*L1^2)*L2^2) *PHI2*PSI0^3 +(4*K0^3*K1*K2^2*L0^2*L1^2*L2^3+4*K0^3*K1*K2^2*L0^2*L1^3*L2^2) *PHI2*PSI0^2) *PSI1^2 -(4*K1^2*K2^2*L0*L1*L2^3*PHI2*PSI0^5 +(-8*K0*K1^2*K2^2*L0*L1^2-4*K0*K1^2*K2^2*L0^2*L1)*L2^3*PHI2*PSI0^4 +(4*K0^2*K1^2*K2^2*L0*L1^3+8*K0^2*K1^2*K2^2*L0^2*L1^2) *L2^3*PHI2*PSI0^3-4*K0^3*K1^2*K2^2*L0^2*L1^3*L2^3*PHI2*PSI0^2) *PSI1, -((L2+L1+L0)*PSI1-2*K1*L1*L2-2*K1*L0*L1)*PSI2 -(-2*K2*L0*L2-2*K2*L0*L1)*PSI1-4*K1*K2*L0*L1*L2, -((2*PSI0-K0*L2-K0*L1-K0*L0)*PSI1-2*K1*L1*PSI0+2*K0*K1*L1*L2 +2*K0*K1*L0*L1) *PSI2 -((-2*K2*L2-2*K2*L1)*PSI0+2*K0*K2*L0*L2+2*K0*K2*L0*L1)*PSI1 -4*K1*K2*L1*L2*PSI0+4*K0*K1*K2*L0*L1*L2, -(((L2^2+L0*L2)*PHI0*PSI0^2+(3*K0*L1*L2^2+(3*K0*L1^2+3*K0*L0*L1)*L2) *PHI0*PSI0 +(-K0^2*L1*L2^3 +(-2*K0^2*L1^2-2*K0^2*L0*L1)*L2^2 +(-K0^2*L1^3-2*K0^2*L0*L1^2-K0^2*L0^2*L1) *L2) *PHI0) *PSI1^3 +((-L2^2+(-2*L1-L0)*L2-L0*L1)*PHI1*PSI0^3 +((K0*L1*L2^2+(4*K0*L1^2+K0*L0*L1)*L2+2*K0*L0*L1^2)*PHI1 +(2*K1*L1*L2^2+(4*K1*L1^2+2*K1*L0*L1)*L2)*PHI0) *PSI0^2 +(-2*K0*K1*L1*L2^3+(-12*K0*K1*L1^2-4*K0*K1*L0*L1)*L2^2 +(-4*K0*K1*L1^3-12*K0*K1*L0*L1^2-2*K0*K1*L0^2*L1) *L2) *PHI0*PSI0 +(4*K0^2*K1*L1^2*L2^3+(4*K0^2*K1*L1^3+8*K0^2*K1*L0*L1^2)*L2^2 +(4*K0^2*K1*L0*L1^3+4*K0^2*K1*L0^2*L1^2)*L2) *PHI0) *PSI1^2 +(((2*K1*L1*L2^2+(4*K1*L1^2+2*K1*L0*L1)*L2+3*K1*L0*L1^2)*PHI1 +K1\_1*L1^2*L2^2+K1\_1*L0*L1^2*L2) *PSI0^3 +((-3*K0*K1*L1^2*L2^2+(-4*K0*K1*L1^3-3*K0*K1*L0*L1^2)*L2 -3*K0*K1*L0*L1^3) *PHI1 +(-8*K1^2*L1^2*L2^2-8*K1^2*L0*L1^2*L2)*PHI0-K0*K1\_1*L1^3*L2^2 -K0*K1\_1*L0*L1^3*L2) *PSI0^2 +(4*K0*K1^2*L1^2*L2^3+(8*K0*K1^2*L1^3+8*K0*K1^2*L0*L1^2)*L2^2 +(8*K0*K1^2*L0*L1^3+4*K0*K1^2*L0^2*L1^2)*L2) *PHI0*PSI0 +(-4*K0^2*K1^2*L1^3*L2^3-8*K0^2*K1^2*L0*L1^3*L2^2 -4*K0^2*K1^2*L0^2*L1^3*L2) *PHI0) *PSI1+(-K1^2*L1^2*L2^2-K1^2*L0*L1^2*L2)*PHI1*PSI0^3 +(K0*K1^2*L1^3*L2^2+K0*K1^2*L0*L1^3*L2)*PHI1*PSI0^2) *PSI2^3 -(((2*L1*L2+L0*L1)*PHI2*PSI0^3+((-4*K0*L1*L2^2+(-4*K0*L1^2-K0*L0*L1)*L2 -2*K0*L0*L1^2) *PHI2 +((4*K2*L1-2*K2*L0)*L2^2 +(4*K2*L1^2+2*K2*L0*L1)*L2) *PHI0) *PSI0^2 +(-4*K0*K2*L1*L2^3 +(-8*K0*K2*L1^2-12*K0*K2*L0*L1)*L2^2 +(-4*K0*K2*L1^3-12*K0*K2*L0*L1^2 -2*K0*K2*L0^2*L1) *L2) *PHI0*PSI0 +(4*K0^2*K2*L0*L1*L2^3 +(8*K0^2*K2*L0*L1^2+4*K0^2*K2*L0^2*L1) *L2^2 +(4*K0^2*K2*L0*L1^3+4*K0^2*K2*L0^2*L1^2) *L2) *PHI0) *PSI1^3 +(((-8*K1*L1*L2^2+(-8*K1*L1^2-2*K1*L0*L1)*L2-4*K1*L0*L1^2)*PHI2 +(2*K2*L0*L2^2+4*K2*L0*L1*L2)*PHI1) *PSI0^3 +((16*K0*K1*L1^2*L2^2+(8*K0*K1*L1^3+4*K0*K1*L0*L1^2)*L2 +4*K0*K1*L0*L1^3) *PHI2 +(-2*K0*K2*L0*L1*L2^2-8*K0*K2*L0*L1^2*L2)*PHI1 +(-8*K1*K2*L1*L2^3+(-16*K1*K2*L1^2-12*K1*K2*L0*L1)*L2^2 -16*K1*K2*L0*L1^2*L2) *PHI0) *PSI0^2 +((16*K0*K1*K2*L1^2+8*K0*K1*K2*L0*L1)*L2^3 +(16*K0*K1*K2*L1^3+48*K0*K1*K2*L0*L1^2+8*K0*K1*K2*L0^2*L1)*L2^2 +(16*K0*K1*K2*L0*L1^3+8*K0*K1*K2*L0^2*L1^2)*L2) *PHI0*PSI0 +(-16*K0^2*K1*K2*L0*L1^2*L2^3+(-16*K0^2*K1*K2*L0*L1^3 -16*K0^2*K1*K2*L0^2*L1^2) *L2^2-8*K0^2*K1*K2*L0^2*L1^3*L2) *PHI0) *PSI1^2 +(((16*K1^2*L1^2*L2^2+4*K1^2*L0*L1^2*L2)*PHI2 +(-4*K1*K2*L0*L1*L2^2-8*K1*K2*L0*L1^2*L2)*PHI1 -2*K1\_1*K2*L0*L1^2*L2^2) *PSI0^3 +((-16*K0*K1^2*L1^3*L2^2-4*K0*K1^2*L0*L1^3*L2)*PHI2 +(6*K0*K1*K2*L0*L1^2*L2^2+8*K0*K1*K2*L0*L1^3*L2)*PHI1 +(16*K1^2*K2*L1^2*L2^3+32*K1^2*K2*L0*L1^2*L2^2)*PHI0 +2*K0*K1\_1*K2*L0*L1^3*L2^2) *PSI0^2 +((-16*K0*K1^2*K2*L1^3-16*K0*K1^2*K2*L0*L1^2)*L2^3 +(-32*K0*K1^2*K2*L0*L1^3-16*K0*K1^2*K2*L0^2*L1^2)*L2^2) *PHI0*PSI0 +(16*K0^2*K1^2*K2*L0*L1^3*L2^3+16*K0^2*K1^2*K2*L0^2*L1^3*L2^2)*PHI0) *PSI1+2*K1^2*K2*L0*L1^2*L2^2*PHI1*PSI0^3 -2*K0*K1^2*K2*L0*L1^3*L2^2*PHI1*PSI0^2) *PSI2^2 -((((-4*K2*L1*L2^2+(-4*K2*L1^2-2*K2*L0*L1)*L2-K2*L0*L1^2)*PHI2 -K1\_2*L0*L1*L2^2-K1\_2*L0*L1^2*L2) *PSI0^3 +((4*K0*K2*L1*L2^3+(8*K0*K2*L1^2+3*K0*K2*L0*L1)*L2^2 +(4*K0*K2*L1^3+4*K0*K2*L0*L1^2)*L2+K0*K2*L0*L1^3) *PHI2 +(-8*K2^2*L0*L1*L2^2-8*K2^2*L0*L1^2*L2)*PHI0+K0*K1\_2*L0*L1*L2^3 +2*K0*K1\_2*L0*L1^2*L2^2+K0*K1\_2*L0*L1^3*L2) *PSI0^2 +(8*K0*K2^2*L0*L1*L2^3+(16*K0*K2^2*L0*L1^2+4*K0*K2^2*L0^2*L1)*L2^2 +(8*K0*K2^2*L0*L1^3+4*K0*K2^2*L0^2*L1^2)*L2) *PHI0*PSI0 +(-4*K0^2*K2^2*L0^2*L1*L2^3-8*K0^2*K2^2*L0^2*L1^2*L2^2 -4*K0^2*K2^2*L0^2*L1^3*L2) *PHI0) *PSI1^3 +(((8*K1*K2*L1*L2^3+(16*K1*K2*L1^2+6*K1*K2*L0*L1)*L2^2 +8*K1*K2*L0*L1^2*L2) *PHI2 +2*K1*K1\_2*L0*L1*L2^3+4*K1*K1\_2*L0*L1^2*L2^2) *PSI0^3 +((-16*K0*K1*K2*L1^2*L2^3+(-16*K0*K1*K2*L1^3-12*K0*K1*K2*L0*L1^2) *L2^2-8*K0*K1*K2*L0*L1^3*L2) *PHI2 +(16*K1*K2^2*L0*L1*L2^3+32*K1*K2^2*L0*L1^2*L2^2)*PHI0 -4*K0*K1*K1\_2*L0*L1^2*L2^3-4*K0*K1*K1\_2*L0*L1^3*L2^2) *PSI0^2 +((-32*K0*K1*K2^2*L0*L1^2-8*K0*K1*K2^2*L0^2*L1)*L2^3 +(-32*K0*K1*K2^2*L0*L1^3-16*K0*K1*K2^2*L0^2*L1^2)*L2^2) *PHI0*PSI0 +(16*K0^2*K1*K2^2*L0^2*L1^2*L2^3+16*K0^2*K1*K2^2*L0^2*L1^3*L2^2) *PHI0) *PSI1^2 +(((-16*K1^2*K2*L1^2*L2^3-12*K1^2*K2*L0*L1^2*L2^2)*PHI2 -4*K1^2*K1\_2*L0*L1^2*L2^3) *PSI0^3 +((16*K0*K1^2*K2*L1^3*L2^3+12*K0*K1^2*K2*L0*L1^3*L2^2)*PHI2 -32*K1^2*K2^2*L0*L1^2*L2^3*PHI0+4*K0*K1^2*K1\_2*L0*L1^3*L2^3) *PSI0^2 +(32*K0*K1^2*K2^2*L0*L1^3+16*K0*K1^2*K2^2*L0^2*L1^2)*L2^3*PHI0*PSI0 -16*K0^2*K1^2*K2^2*L0^2*L1^3*L2^3*PHI0) *PSI1) *PSI2 -((K2^2*L0*L1*L2^2+K2^2*L0*L1^2*L2)*PHI2*PSI0^3 +(-K0*K2^2*L0*L1*L2^3-2*K0*K2^2*L0*L1^2*L2^2-K0*K2^2*L0*L1^3*L2) *PHI2*PSI0^2) *PSI1^3 -((-2*K1*K2^2*L0*L1*L2^3-4*K1*K2^2*L0*L1^2*L2^2)*PHI2*PSI0^3 +(4*K0*K1*K2^2*L0*L1^2*L2^3+4*K0*K1*K2^2*L0*L1^3*L2^2)*PHI2*PSI0^2) *PSI1^2 -(4*K1^2*K2^2*L0*L1^2*L2^3*PHI2*PSI0^3 -4*K0*K1^2*K2^2*L0*L1^3*L2^3*PHI2*PSI0^2) *PSI1, (((L1-L0)*L2*PHI0*PSI0^3+((K0*L0-3*K0*L1)*L2^2 +(-3*K0*L1^2-3*K0*L0*L1+K0*L0^2)*L2) *PHI0*PSI0^2 +(K0^2*L1*L2^3+(2*K0^2*L1^2+5*K0^2*L0*L1)*L2^2 +(K0^2*L1^3+5*K0^2*L0*L1^2 +4*K0^2*L0^2*L1) *L2) *PHI0*PSI0 +(-K0^3*L0*L1*L2^3 +(-2*K0^3*L0*L1^2-2*K0^3*L0^2*L1)*L2^2 +(-K0^3*L0*L1^3-2*K0^3*L0^2*L1^2-K0^3*L0^3*L1) *L2) *PHI0) *PSI1^3 +((L0*L2+L0*L1)*PHI1*PSI0^4+((-K0*L0*L2^2+(-3*K0*L0*L1-K0*L0^2)*L2 -2*K0*L0*L1^2-K0*L0^2*L1) *PHI1 +((-4*K1*L1^2-2*K1*L0*L1)*L2-4*K1*L1*L2^2) *PHI0) *PSI0^3 +((K0^2*L0*L1*L2^2 +(4*K0^2*L0*L1^2+K0^2*L0^2*L1)*L2 +2*K0^2*L0^2*L1^2) *PHI1 +(2*K0*K1*L1*L2^3 +(12*K0*K1*L1^2+6*K0*K1*L0*L1)*L2^2 +(4*K0*K1*L1^3+16*K0*K1*L0*L1^2 +4*K0*K1*L0^2*L1) *L2) *PHI0) *PSI0^2 +((-4*K0^2*K1*L1^2-2*K0^2*K1*L0*L1)*L2^3 +(-4*K0^2*K1*L1^3-20*K0^2*K1*L0*L1^2 -4*K0^2*K1*L0^2*L1) *L2^2 +(-8*K0^2*K1*L0*L1^3-16*K0^2*K1*L0^2*L1^2 -2*K0^2*K1*L0^3*L1) *L2) *PHI0*PSI0 +(4*K0^3*K1*L0*L1^2*L2^3 +(4*K0^3*K1*L0*L1^3+8*K0^3*K1*L0^2*L1^2) *L2^2 +(4*K0^3*K1*L0^2*L1^3+4*K0^3*K1*L0^3*L1^2) *L2) *PHI0) *PSI1^2 +(((-2*K1*L0*L1*L2-3*K1*L0*L1^2)*PHI1-K1\_1*L0*L1^2*L2)*PSI0^4 +((2*K0*K1*L0*L1*L2^2+(7*K0*K1*L0*L1^2+2*K0*K1*L0^2*L1)*L2 +3*K0*K1*L0*L1^3+3*K0*K1*L0^2*L1^2) *PHI1 +(8*K1^2*L1^2*L2^2+8*K1^2*L0*L1^2*L2)*PHI0+K0*K1\_1*L0*L1^2*L2^2 +(K0*K1\_1*L0*L1^3+K0*K1\_1*L0^2*L1^2)*L2) *PSI0^3 +((-3*K0^2*K1*L0*L1^2*L2^2+(-4*K0^2*K1*L0*L1^3-3*K0^2*K1*L0^2*L1^2)*L2 -3*K0^2*K1*L0^2*L1^3) *PHI1 +(-4*K0*K1^2*L1^2*L2^3+(-8*K0*K1^2*L1^3-16*K0*K1^2*L0*L1^2)*L2^2 +(-8*K0*K1^2*L0*L1^3-12*K0*K1^2*L0^2*L1^2)*L2) *PHI0-K0^2*K1\_1*L0*L1^3*L2^2-K0^2*K1\_1*L0^2*L1^3*L2) *PSI0^2 +((4*K0^2*K1^2*L1^3+4*K0^2*K1^2*L0*L1^2)*L2^3 +(16*K0^2*K1^2*L0*L1^3+8*K0^2*K1^2*L0^2*L1^2)*L2^2 +(12*K0^2*K1^2*L0^2*L1^3+4*K0^2*K1^2*L0^3*L1^2)*L2) *PHI0*PSI0 +(-4*K0^3*K1^2*L0*L1^3*L2^3-8*K0^3*K1^2*L0^2*L1^3*L2^2 -4*K0^3*K1^2*L0^3*L1^3*L2) *PHI0) *PSI1+K1^2*L0*L1^2*L2*PHI1*PSI0^4 +((-K0*K1^2*L0*L1^3-K0*K1^2*L0^2*L1^2)*L2-K0*K1^2*L0*L1^2*L2^2) *PHI1*PSI0^3 +(K0^2*K1^2*L0*L1^3*L2^2+K0^2*K1^2*L0^2*L1^3*L2)*PHI1*PSI0^2) *PSI2^3 +(((-L1*L2-L0*L1)*PHI2*PSI0^4+((2*K0*L1*L2^2+(2*K0*L1^2+3*K0*L0*L1)*L2 +2*K0*L0*L1^2+K0*L0^2*L1) *PHI2 +((2*K2*L0-4*K2*L1)*L2^2 +(-4*K2*L1^2-2*K2*L0*L1)*L2) *PHI0) *PSI0^3 +((-4*K0^2*L0*L1*L2^2 +(-4*K0^2*L0*L1^2-K0^2*L0^2*L1)*L2 -2*K0^2*L0^2*L1^2) *PHI2 +(4*K0*K2*L1*L2^3 +(8*K0*K2*L1^2+16*K0*K2*L0*L1 -2*K0*K2*L0^2) *L2^2 +(4*K0*K2*L1^3+16*K0*K2*L0*L1^2 +4*K0*K2*L0^2*L1) *L2) *PHI0) *PSI0^2 +(-8*K0^2*K2*L0*L1*L2^3 +(-16*K0^2*K2*L0*L1^2-16*K0^2*K2*L0^2*L1) *L2^2 +(-8*K0^2*K2*L0*L1^3-16*K0^2*K2*L0^2*L1^2 -2*K0^2*K2*L0^3*L1) *L2) *PHI0*PSI0 +(4*K0^3*K2*L0^2*L1*L2^3 +(8*K0^3*K2*L0^2*L1^2+4*K0^3*K2*L0^3*L1) *L2^2 +(4*K0^3*K2*L0^2*L1^3 +4*K0^3*K2*L0^3*L1^2) *L2) *PHI0) *PSI1^3 +(((4*K1*L1*L2^2+(4*K1*L1^2+2*K1*L0*L1)*L2+4*K1*L0*L1^2)*PHI2 +(-2*K2*L0*L2^2-4*K2*L0*L1*L2)*PHI1) *PSI0^4 +(((-8*K0*K1*L1^2-8*K0*K1*L0*L1)*L2^2 +(-4*K0*K1*L1^3-12*K0*K1*L0*L1^2-2*K0*K1*L0^2*L1)*L2-4*K0*K1*L0*L1^3 -4*K0*K1*L0^2*L1^2) *PHI2 +((2*K0*K2*L0*L1+2*K0*K2*L0^2)*L2^2 +(8*K0*K2*L0*L1^2+4*K0*K2*L0^2*L1)*L2) *PHI1 +(8*K1*K2*L1*L2^3+(16*K1*K2*L1^2+12*K1*K2*L0*L1)*L2^2 +16*K1*K2*L0*L1^2*L2) *PHI0) *PSI0^3 +((16*K0^2*K1*L0*L1^2*L2^2+(8*K0^2*K1*L0*L1^3+4*K0^2*K1*L0^2*L1^2)*L2 +4*K0^2*K1*L0^2*L1^3) *PHI2 +(-2*K0^2*K2*L0^2*L1*L2^2-8*K0^2*K2*L0^2*L1^2*L2)*PHI1 +((-16*K0*K1*K2*L1^2-16*K0*K1*K2*L0*L1)*L2^3 +(-16*K0*K1*K2*L1^3-64*K0*K1*K2*L0*L1^2-20*K0*K1*K2*L0^2*L1)*L2^2 +(-16*K0*K1*K2*L0*L1^3-24*K0*K1*K2*L0^2*L1^2)*L2) *PHI0) *PSI0^2 +((32*K0^2*K1*K2*L0*L1^2+8*K0^2*K1*K2*L0^2*L1)*L2^3 +(32*K0^2*K1*K2*L0*L1^3+64*K0^2*K1*K2*L0^2*L1^2 +8*K0^2*K1*K2*L0^3*L1) *L2^2+(24*K0^2*K1*K2*L0^2*L1^3+8*K0^2*K1*K2*L0^3*L1^2)*L2) *PHI0*PSI0 +(-16*K0^3*K1*K2*L0^2*L1^2*L2^3 +(-16*K0^3*K1*K2*L0^2*L1^3-16*K0^3*K1*K2*L0^3*L1^2)*L2^2 -8*K0^3*K1*K2*L0^3*L1^3*L2) *PHI0) *PSI1^2 +(((-8*K1^2*L1^2*L2^2-4*K1^2*L0*L1^2*L2)*PHI2 +(4*K1*K2*L0*L1*L2^2+8*K1*K2*L0*L1^2*L2)*PHI1 +2*K1\_1*K2*L0*L1^2*L2^2) *PSI0^4 +(((8*K0*K1^2*L1^3+16*K0*K1^2*L0*L1^2)*L2^2 +(4*K0*K1^2*L0*L1^3+4*K0*K1^2*L0^2*L1^2)*L2) *PHI2 +((-6*K0*K1*K2*L0*L1^2-4*K0*K1*K2*L0^2*L1)*L2^2 +(-8*K0*K1*K2*L0*L1^3-8*K0*K1*K2*L0^2*L1^2)*L2) *PHI1+(-16*K1^2*K2*L1^2*L2^3-32*K1^2*K2*L0*L1^2*L2^2)*PHI0 +(-2*K0*K1\_1*K2*L0*L1^3-2*K0*K1\_1*K2*L0^2*L1^2)*L2^2) *PSI0^3 +((-16*K0^2*K1^2*L0*L1^3*L2^2-4*K0^2*K1^2*L0^2*L1^3*L2)*PHI2 +(6*K0^2*K1*K2*L0^2*L1^2*L2^2+8*K0^2*K1*K2*L0^2*L1^3*L2)*PHI1 +((16*K0*K1^2*K2*L1^3+32*K0*K1^2*K2*L0*L1^2)*L2^3 +(32*K0*K1^2*K2*L0*L1^3+48*K0*K1^2*K2*L0^2*L1^2)*L2^2) *PHI0+2*K0^2*K1\_1*K2*L0^2*L1^3*L2^2) *PSI0^2 +((-32*K0^2*K1^2*K2*L0*L1^3-16*K0^2*K1^2*K2*L0^2*L1^2)*L2^3 +(-48*K0^2*K1^2*K2*L0^2*L1^3-16*K0^2*K1^2*K2*L0^3*L1^2)*L2^2) *PHI0*PSI0 +(16*K0^3*K1^2*K2*L0^2*L1^3*L2^3+16*K0^3*K1^2*K2*L0^3*L1^3*L2^2) *PHI0) *PSI1-2*K1^2*K2*L0*L1^2*L2^2*PHI1*PSI0^4 +(2*K0*K1^2*K2*L0*L1^3+2*K0*K1^2*K2*L0^2*L1^2)*L2^2*PHI1*PSI0^3 -2*K0^2*K1^2*K2*L0^2*L1^3*L2^2*PHI1*PSI0^2) *PSI2^2 +((((3*K2*L1*L2^2+(3*K2*L1^2+2*K2*L0*L1)*L2+K2*L0*L1^2)*PHI2 +K1\_2*L0*L1*L2^2+K1\_2*L0*L1^2*L2) *PSI0^4 +((-3*K0*K2*L1*L2^3+(-6*K0*K2*L1^2-7*K0*K2*L0*L1)*L2^2 +(-3*K0*K2*L1^3-8*K0*K2*L0*L1^2-2*K0*K2*L0^2*L1)*L2 -K0*K2*L0*L1^3-K0*K2*L0^2*L1^2) *PHI2 +(8*K2^2*L0*L1*L2^2+8*K2^2*L0*L1^2*L2)*PHI0-K0*K1\_2*L0*L1*L2^3 +(-2*K0*K1\_2*L0*L1^2-K0*K1\_2*L0^2*L1)*L2^2 +(-K0*K1\_2*L0*L1^3-K0*K1\_2*L0^2*L1^2)*L2) *PSI0^3 +((4*K0^2*K2*L0*L1*L2^3+(8*K0^2*K2*L0*L1^2+3*K0^2*K2*L0^2*L1)*L2^2 +(4*K0^2*K2*L0*L1^3+4*K0^2*K2*L0^2*L1^2)*L2 +K0^2*K2*L0^2*L1^3) *PHI2 +(-8*K0*K2^2*L0*L1*L2^3+(-16*K0*K2^2*L0*L1^2-12*K0*K2^2*L0^2*L1)*L2^2 +(-8*K0*K2^2*L0*L1^3-12*K0*K2^2*L0^2*L1^2)*L2) *PHI0+K0^2*K1\_2*L0^2*L1*L2^3+2*K0^2*K1\_2*L0^2*L1^2*L2^2 +K0^2*K1\_2*L0^2*L1^3*L2) *PSI0^2 +(12*K0^2*K2^2*L0^2*L1*L2^3+(24*K0^2*K2^2*L0^2*L1^2 +4*K0^2*K2^2*L0^3*L1) *L2^2 +(12*K0^2*K2^2*L0^2*L1^3 +4*K0^2*K2^2*L0^3*L1^2) *L2) *PHI0*PSI0 +(-4*K0^3*K2^2*L0^3*L1*L2^3-8*K0^3*K2^2*L0^3*L1^2*L2^2 -4*K0^3*K2^2*L0^3*L1^3*L2) *PHI0) *PSI1^3 +(((-6*K1*K2*L1*L2^3+(-12*K1*K2*L1^2-6*K1*K2*L0*L1)*L2^2 -8*K1*K2*L0*L1^2*L2) *PHI2 -2*K1*K1\_2*L0*L1*L2^3-4*K1*K1\_2*L0*L1^2*L2^2) *PSI0^4 +(((12*K0*K1*K2*L1^2+8*K0*K1*K2*L0*L1)*L2^3 +(12*K0*K1*K2*L1^3+28*K0*K1*K2*L0*L1^2+6*K0*K1*K2*L0^2*L1)*L2^2 +(8*K0*K1*K2*L0*L1^3+8*K0*K1*K2*L0^2*L1^2)*L2) *PHI2 +(-16*K1*K2^2*L0*L1*L2^3-32*K1*K2^2*L0*L1^2*L2^2)*PHI0 +(4*K0*K1*K1\_2*L0*L1^2+2*K0*K1*K1\_2*L0^2*L1)*L2^3 +(4*K0*K1*K1\_2*L0*L1^3+4*K0*K1*K1\_2*L0^2*L1^2)*L2^2) *PSI0^3 +((-16*K0^2*K1*K2*L0*L1^2*L2^3+(-16*K0^2*K1*K2*L0*L1^3 -12*K0^2*K1*K2*L0^2*L1^2) *L2^2-8*K0^2*K1*K2*L0^2*L1^3*L2) *PHI2 +((32*K0*K1*K2^2*L0*L1^2+24*K0*K1*K2^2*L0^2*L1)*L2^3 +(32*K0*K1*K2^2*L0*L1^3+48*K0*K1*K2^2*L0^2*L1^2)*L2^2) *PHI0-4*K0^2*K1*K1\_2*L0^2*L1^2*L2^3 -4*K0^2*K1*K1\_2*L0^2*L1^3*L2^2) *PSI0^2 +((-48*K0^2*K1*K2^2*L0^2*L1^2-8*K0^2*K1*K2^2*L0^3*L1)*L2^3 +(-48*K0^2*K1*K2^2*L0^2*L1^3-16*K0^2*K1*K2^2*L0^3*L1^2)*L2^2) *PHI0*PSI0 +(16*K0^3*K1*K2^2*L0^3*L1^2*L2^3+16*K0^3*K1*K2^2*L0^3*L1^3*L2^2) *PHI0) *PSI1^2 +(((12*K1^2*K2*L1^2*L2^3+12*K1^2*K2*L0*L1^2*L2^2)*PHI2 +4*K1^2*K1\_2*L0*L1^2*L2^3) *PSI0^4 +(((-12*K0*K1^2*K2*L1^3-16*K0*K1^2*K2*L0*L1^2)*L2^3 +(-12*K0*K1^2*K2*L0*L1^3-12*K0*K1^2*K2*L0^2*L1^2)*L2^2) *PHI2 +32*K1^2*K2^2*L0*L1^2*L2^3*PHI0 +(-4*K0*K1^2*K1\_2*L0*L1^3-4*K0*K1^2*K1\_2*L0^2*L1^2)*L2^3) *PSI0^3 +((16*K0^2*K1^2*K2*L0*L1^3*L2^3+12*K0^2*K1^2*K2*L0^2*L1^3*L2^2)*PHI2 +(-32*K0*K1^2*K2^2*L0*L1^3-48*K0*K1^2*K2^2*L0^2*L1^2)*L2^3*PHI0 +4*K0^2*K1^2*K1\_2*L0^2*L1^3*L2^3) *PSI0^2 +(48*K0^2*K1^2*K2^2*L0^2*L1^3+16*K0^2*K1^2*K2^2*L0^3*L1^2) *L2^3*PHI0*PSI0-16*K0^3*K1^2*K2^2*L0^3*L1^3*L2^3*PHI0) *PSI1) *PSI2 +((-K2^2*L0*L1*L2^2-K2^2*L0*L1^2*L2)*PHI2*PSI0^4 +(K0*K2^2*L0*L1*L2^3+(2*K0*K2^2*L0*L1^2+K0*K2^2*L0^2*L1)*L2^2 +(K0*K2^2*L0*L1^3+K0*K2^2*L0^2*L1^2)*L2) *PHI2*PSI0^3 +(-K0^2*K2^2*L0^2*L1*L2^3-2*K0^2*K2^2*L0^2*L1^2*L2^2 -K0^2*K2^2*L0^2*L1^3*L2) *PHI2*PSI0^2) *PSI1^3 +((2*K1*K2^2*L0*L1*L2^3+4*K1*K2^2*L0*L1^2*L2^2)*PHI2*PSI0^4 +((-4*K0*K1*K2^2*L0*L1^2-2*K0*K1*K2^2*L0^2*L1)*L2^3 +(-4*K0*K1*K2^2*L0*L1^3-4*K0*K1*K2^2*L0^2*L1^2)*L2^2) *PHI2*PSI0^3 +(4*K0^2*K1*K2^2*L0^2*L1^2*L2^3+4*K0^2*K1*K2^2*L0^2*L1^3*L2^2) *PHI2*PSI0^2) *PSI1^2 +(-4*K1^2*K2^2*L0*L1^2*L2^3*PHI2*PSI0^4 +(4*K0*K1^2*K2^2*L0*L1^3+4*K0*K1^2*K2^2*L0^2*L1^2)*L2^3*PHI2*PSI0^3 -4*K0^2*K1^2*K2^2*L0^2*L1^3*L2^3*PHI2*PSI0^2) *PSI1, (((3*L2^2+(3*L1+3*L0)*L2)*PHI0*PSI0 +(-K0*L2^3+(-2*K0*L1-2*K0*L0)*L2^2+(-K0*L1^2-2*K0*L0*L1-K0*L0^2)*L2) *PHI0) *PSI1^3 +((L2^2+(4*L1+L0)*L2+2*L0*L1)*PHI1*PSI0^2 +((-4*K1*L1^2-10*K1*L0*L1)*L2-10*K1*L1*L2^2)*PHI0*PSI0 +(4*K0*K1*L1*L2^3+(4*K0*K1*L1^2+8*K0*K1*L0*L1)*L2^2 +(4*K0*K1*L0*L1^2+4*K0*K1*L0^2*L1)*L2) *PHI0) *PSI1^2 +(((-3*K1*L1*L2^2+(-4*K1*L1^2-3*K1*L0*L1)*L2-3*K1*L0*L1^2)*PHI1 -K1\_1*L1^2*L2^2-K1\_1*L0*L1^2*L2) *PSI0^2 +(8*K1^2*L1^2*L2^2+8*K1^2*L0*L1^2*L2)*PHI0*PSI0 +(-4*K0*K1^2*L1^2*L2^3-8*K0*K1^2*L0*L1^2*L2^2-4*K0*K1^2*L0^2*L1^2*L2) *PHI0) *PSI1+(K1^2*L1^2*L2^2+K1^2*L0*L1^2*L2)*PHI1*PSI0^2) *PSI2^3 +(((-4*L2^2+(-4*L1-L0)*L2-2*L0*L1)*PHI2*PSI0^2 +(-4*K2*L2^3+(-8*K2*L1-10*K2*L0)*L2^2+(-4*K2*L1^2-10*K2*L0*L1)*L2) *PHI0*PSI0 +(4*K0*K2*L0*L2^3+(8*K0*K2*L0*L1+4*K0*K2*L0^2)*L2^2 +(4*K0*K2*L0*L1^2+4*K0*K2*L0^2*L1)*L2) *PHI0) *PSI1^3 +(((16*K1*L1*L2^2+(8*K1*L1^2+4*K1*L0*L1)*L2+4*K1*L0*L1^2)*PHI2 +(-2*K2*L0*L2^2-8*K2*L0*L1*L2)*PHI1) *PSI0^2 +(16*K1*K2*L1*L2^3+(16*K1*K2*L1^2+36*K1*K2*L0*L1)*L2^2 +16*K1*K2*L0*L1^2*L2) *PHI0*PSI0 +(-16*K0*K1*K2*L0*L1*L2^3+(-16*K0*K1*K2*L0*L1^2-16*K0*K1*K2*L0^2*L1) *L2^2-8*K0*K1*K2*L0^2*L1^2*L2) *PHI0) *PSI1^2 +(((-16*K1^2*L1^2*L2^2-4*K1^2*L0*L1^2*L2)*PHI2 +(6*K1*K2*L0*L1*L2^2+8*K1*K2*L0*L1^2*L2)*PHI1 +2*K1\_1*K2*L0*L1^2*L2^2) *PSI0^2 +(-16*K1^2*K2*L1^2*L2^3-32*K1^2*K2*L0*L1^2*L2^2)*PHI0*PSI0 +(16*K0*K1^2*K2*L0*L1^2*L2^3+16*K0*K1^2*K2*L0^2*L1^2*L2^2)*PHI0) *PSI1-2*K1^2*K2*L0*L1^2*L2^2*PHI1*PSI0^2) *PSI2^2 +((((4*K2*L2^3+(8*K2*L1+3*K2*L0)*L2^2+(4*K2*L1^2+4*K2*L0*L1)*L2 +K2*L0*L1^2) *PHI2 +K1\_2*L0*L2^3+2*K1\_2*L0*L1*L2^2+K1\_2*L0*L1^2*L2) *PSI0^2 +(8*K2^2*L0*L2^3+16*K2^2*L0*L1*L2^2+8*K2^2*L0*L1^2*L2)*PHI0*PSI0 +(-4*K0*K2^2*L0^2*L2^3-8*K0*K2^2*L0^2*L1*L2^2-4*K0*K2^2*L0^2*L1^2*L2) *PHI0) *PSI1^3 +(((-16*K1*K2*L1*L2^3+(-16*K1*K2*L1^2-12*K1*K2*L0*L1)*L2^2 -8*K1*K2*L0*L1^2*L2) *PHI2 -4*K1*K1\_2*L0*L1*L2^3-4*K1*K1\_2*L0*L1^2*L2^2) *PSI0^2 +(-32*K1*K2^2*L0*L1*L2^3-32*K1*K2^2*L0*L1^2*L2^2)*PHI0*PSI0 +(16*K0*K1*K2^2*L0^2*L1*L2^3+16*K0*K1*K2^2*L0^2*L1^2*L2^2)*PHI0) *PSI1^2 +(((16*K1^2*K2*L1^2*L2^3+12*K1^2*K2*L0*L1^2*L2^2)*PHI2 +4*K1^2*K1\_2*L0*L1^2*L2^3) *PSI0^2 +32*K1^2*K2^2*L0*L1^2*L2^3*PHI0*PSI0 -16*K0*K1^2*K2^2*L0^2*L1^2*L2^3*PHI0) *PSI1) *PSI2 +(-K2^2*L0*L2^3-2*K2^2*L0*L1*L2^2-K2^2*L0*L1^2*L2)*PHI2*PSI0^2*PSI1^3 +(4*K1*K2^2*L0*L1*L2^3+4*K1*K2^2*L0*L1^2*L2^2)*PHI2*PSI0^2*PSI1^2 -4*K1^2*K2^2*L0*L1^2*L2^3*PHI2*PSI0^2*PSI1, (((2*L2^2+(2*L1+3*L0)*L2)*PHI0*PSI0^2 +(-K0*L2^3+(-2*K0*L1-5*K0*L0)*L2^2+(-K0*L1^2-5*K0*L0*L1-4*K0*L0^2)*L2) *PHI0*PSI0 +(K0^2*L0*L2^3+(2*K0^2*L0*L1+2*K0^2*L0^2)*L2^2 +(K0^2*L0*L1^2+2*K0^2*L0^2*L1+K0^2*L0^3)*L2) *PHI0) *PSI1^3 +((L0*L2+2*L0*L1)*PHI1*PSI0^3+((-K0*L0*L2^2+(-4*K0*L0*L1-K0*L0^2)*L2 -2*K0*L0^2*L1) *PHI1 +((-4*K1*L1^2-10*K1*L0*L1)*L2 -8*K1*L1*L2^2) *PHI0) *PSI0^2 +(4*K0*K1*L1*L2^3 +(4*K0*K1*L1^2+18*K0*K1*L0*L1)*L2^2 +(8*K0*K1*L0*L1^2+14*K0*K1*L0^2*L1)*L2) *PHI0*PSI0 +(-4*K0^2*K1*L0*L1*L2^3 +(-4*K0^2*K1*L0*L1^2-8*K0^2*K1*L0^2*L1) *L2^2 +(-4*K0^2*K1*L0^2*L1^2-4*K0^2*K1*L0^3*L1) *L2) *PHI0) *PSI1^2 +(((-3*K1*L0*L1*L2-3*K1*L0*L1^2)*PHI1-K1\_1*L0*L1^2*L2)*PSI0^3 +((3*K0*K1*L0*L1*L2^2+(4*K0*K1*L0*L1^2+3*K0*K1*L0^2*L1)*L2 +3*K0*K1*L0^2*L1^2) *PHI1 +(8*K1^2*L1^2*L2^2+8*K1^2*L0*L1^2*L2)*PHI0+K0*K1\_1*L0*L1^2*L2^2 +K0*K1\_1*L0^2*L1^2*L2) *PSI0^2 +(-4*K0*K1^2*L1^2*L2^3-16*K0*K1^2*L0*L1^2*L2^2 -12*K0*K1^2*L0^2*L1^2*L2) *PHI0*PSI0 +(4*K0^2*K1^2*L0*L1^2*L2^3+8*K0^2*K1^2*L0^2*L1^2*L2^2 +4*K0^2*K1^2*L0^3*L1^2*L2) *PHI0) *PSI1+K1^2*L0*L1^2*L2*PHI1*PSI0^3 +(-K0*K1^2*L0*L1^2*L2^2-K0*K1^2*L0^2*L1^2*L2)*PHI1*PSI0^2) *PSI2^3 +(((-2*L2^2+(-2*L1-L0)*L2-2*L0*L1)*PHI2*PSI0^3 +((4*K0*L0*L2^2+(4*K0*L0*L1+K0*L0^2)*L2+2*K0*L0^2*L1)*PHI2 +(-4*K2*L2^3+(-8*K2*L1-10*K2*L0)*L2^2+(-4*K2*L1^2-10*K2*L0*L1)*L2) *PHI0) *PSI0^2 +(8*K0*K2*L0*L2^3+(16*K0*K2*L0*L1+14*K0*K2*L0^2)*L2^2 +(8*K0*K2*L0*L1^2+14*K0*K2*L0^2*L1)*L2) *PHI0*PSI0 +(-4*K0^2*K2*L0^2*L2^3+(-8*K0^2*K2*L0^2*L1-4*K0^2*K2*L0^3)*L2^2 +(-4*K0^2*K2*L0^2*L1^2-4*K0^2*K2*L0^3*L1)*L2) *PHI0) *PSI1^3 +(((8*K1*L1*L2^2+(4*K1*L1^2+4*K1*L0*L1)*L2+4*K1*L0*L1^2)*PHI2 +(-2*K2*L0*L2^2-8*K2*L0*L1*L2)*PHI1) *PSI0^3 +((-16*K0*K1*L0*L1*L2^2+(-8*K0*K1*L0*L1^2-4*K0*K1*L0^2*L1)*L2 -4*K0*K1*L0^2*L1^2) *PHI2 +(2*K0*K2*L0^2*L2^2+8*K0*K2*L0^2*L1*L2)*PHI1 +(16*K1*K2*L1*L2^3+(16*K1*K2*L1^2+36*K1*K2*L0*L1)*L2^2 +16*K1*K2*L0*L1^2*L2) *PHI0) *PSI0^2 +(-32*K0*K1*K2*L0*L1*L2^3+(-32*K0*K1*K2*L0*L1^2-52*K0*K1*K2*L0^2*L1) *L2^2-24*K0*K1*K2*L0^2*L1^2*L2) *PHI0*PSI0 +(16*K0^2*K1*K2*L0^2*L1*L2^3+(16*K0^2*K1*K2*L0^2*L1^2 +16*K0^2*K1*K2*L0^3*L1) *L2^2+8*K0^2*K1*K2*L0^3*L1^2*L2) *PHI0) *PSI1^2 +(((-8*K1^2*L1^2*L2^2-4*K1^2*L0*L1^2*L2)*PHI2 +(6*K1*K2*L0*L1*L2^2+8*K1*K2*L0*L1^2*L2)*PHI1 +2*K1\_1*K2*L0*L1^2*L2^2) *PSI0^3 +((16*K0*K1^2*L0*L1^2*L2^2+4*K0*K1^2*L0^2*L1^2*L2)*PHI2 +(-6*K0*K1*K2*L0^2*L1*L2^2-8*K0*K1*K2*L0^2*L1^2*L2)*PHI1 +(-16*K1^2*K2*L1^2*L2^3-32*K1^2*K2*L0*L1^2*L2^2)*PHI0 -2*K0*K1\_1*K2*L0^2*L1^2*L2^2) *PSI0^2 +(32*K0*K1^2*K2*L0*L1^2*L2^3+48*K0*K1^2*K2*L0^2*L1^2*L2^2)*PHI0*PSI0 +(-16*K0^2*K1^2*K2*L0^2*L1^2*L2^3-16*K0^2*K1^2*K2*L0^3*L1^2*L2^2) *PHI0) *PSI1-2*K1^2*K2*L0*L1^2*L2^2*PHI1*PSI0^3 +2*K0*K1^2*K2*L0^2*L1^2*L2^2*PHI1*PSI0^2) *PSI2^2 +((((3*K2*L2^3+(6*K2*L1+3*K2*L0)*L2^2+(3*K2*L1^2+4*K2*L0*L1)*L2 +K2*L0*L1^2) *PHI2 +K1\_2*L0*L2^3+2*K1\_2*L0*L1*L2^2+K1\_2*L0*L1^2*L2) *PSI0^3 +((-4*K0*K2*L0*L2^3+(-8*K0*K2*L0*L1-3*K0*K2*L0^2)*L2^2 +(-4*K0*K2*L0*L1^2-4*K0*K2*L0^2*L1)*L2 -K0*K2*L0^2*L1^2) *PHI2 +(8*K2^2*L0*L2^3+16*K2^2*L0*L1*L2^2+8*K2^2*L0*L1^2*L2)*PHI0 -K0*K1\_2*L0^2*L2^3-2*K0*K1\_2*L0^2*L1*L2^2-K0*K1\_2*L0^2*L1^2*L2) *PSI0^2 +(-12*K0*K2^2*L0^2*L2^3-24*K0*K2^2*L0^2*L1*L2^2 -12*K0*K2^2*L0^2*L1^2*L2) *PHI0*PSI0 +(4*K0^2*K2^2*L0^3*L2^3+8*K0^2*K2^2*L0^3*L1*L2^2 +4*K0^2*K2^2*L0^3*L1^2*L2) *PHI0) *PSI1^3 +(((-12*K1*K2*L1*L2^3+(-12*K1*K2*L1^2-12*K1*K2*L0*L1)*L2^2 -8*K1*K2*L0*L1^2*L2) *PHI2 -4*K1*K1\_2*L0*L1*L2^3-4*K1*K1\_2*L0*L1^2*L2^2) *PSI0^3 +((16*K0*K1*K2*L0*L1*L2^3+(16*K0*K1*K2*L0*L1^2+12*K0*K1*K2*L0^2*L1) *L2^2+8*K0*K1*K2*L0^2*L1^2*L2) *PHI2 +(-32*K1*K2^2*L0*L1*L2^3-32*K1*K2^2*L0*L1^2*L2^2)*PHI0 +4*K0*K1*K1\_2*L0^2*L1*L2^3+4*K0*K1*K1\_2*L0^2*L1^2*L2^2) *PSI0^2 +(48*K0*K1*K2^2*L0^2*L1*L2^3+48*K0*K1*K2^2*L0^2*L1^2*L2^2)*PHI0*PSI0 +(-16*K0^2*K1*K2^2*L0^3*L1*L2^3-16*K0^2*K1*K2^2*L0^3*L1^2*L2^2)*PHI0) *PSI1^2 +(((12*K1^2*K2*L1^2*L2^3+12*K1^2*K2*L0*L1^2*L2^2)*PHI2 +4*K1^2*K1\_2*L0*L1^2*L2^3) *PSI0^3 +((-16*K0*K1^2*K2*L0*L1^2*L2^3-12*K0*K1^2*K2*L0^2*L1^2*L2^2)*PHI2 +32*K1^2*K2^2*L0*L1^2*L2^3*PHI0-4*K0*K1^2*K1\_2*L0^2*L1^2*L2^3) *PSI0^2-48*K0*K1^2*K2^2*L0^2*L1^2*L2^3*PHI0*PSI0 +16*K0^2*K1^2*K2^2*L0^3*L1^2*L2^3*PHI0) *PSI1) *PSI2 +((-K2^2*L0*L2^3-2*K2^2*L0*L1*L2^2-K2^2*L0*L1^2*L2)*PHI2*PSI0^3 +(K0*K2^2*L0^2*L2^3+2*K0*K2^2*L0^2*L1*L2^2+K0*K2^2*L0^2*L1^2*L2) *PHI2*PSI0^2) *PSI1^3 +((4*K1*K2^2*L0*L1*L2^3+4*K1*K2^2*L0*L1^2*L2^2)*PHI2*PSI0^3 +(-4*K0*K1*K2^2*L0^2*L1*L2^3-4*K0*K1*K2^2*L0^2*L1^2*L2^2)*PHI2*PSI0^2) *PSI1^2 +(4*K0*K1^2*K2^2*L0^2*L1^2*L2^3*PHI2*PSI0^2 -4*K1^2*K2^2*L0*L1^2*L2^3*PHI2*PSI0^3) *PSI1,PSI0^2+PHI0^2-1,PSI1^2+PHI1^2-1,PSI2^2+PHI2^2-1, 2*PHI0*PSI0*ST0+CT0*PSI0^2-CT0*PHI0^2+CT1, 2*PHI1*PSI1*ST1+CT1*PSI1^2-CT1*PHI1^2+CT2, 2*PHI2*PSI2*ST2+CT2*PSI2^2-CT2*PHI2^2+CT0, ST1-2*PHI0*PSI0*ST0+CT0*PSI0^2-CT0*PHI0^2, ST2-2*PHI1*PSI1*ST1+CT1*PSI1^2-CT1*PHI1^2, -2*PHI2*PSI2*ST2+ST0+CT2*PSI2^2-CT2*PHI2^2,CT2*L2+CT1*L1+CT0*L0, L2*ST2+L1*ST1+L0*ST0]" ;;"[K0,K1,K2,L0,L1,L2,PSI0,PSI1,PSI2,PHI2,PHI0,K1\_2,PHI1,K1\_1,K1\_0,CT1, CT0,ST0,CT2,ST1,ST2]" "[CT0,ST0,K0,L0,PHI0,PSI0,K1\_0,CT1,ST1,K1,L1,PHI1,PSI1,K1\_1,CT2,ST2,K2,L2,PHI2,PSI2,K1\_2]" :order #'lex>)