(string-grobner "[-2*PSI0*PSI1*PSI2+K0*L2*PSI1*PSI2+K0*L1*PSI1*PSI2+K0*L0*PSI1*PSI2
			 +2*K1*L2*PSI0*PSI2+2*K1*L0*PSI0*PSI2
			 -2*K0*K1*L1*L2*PSI2-2*K0*K1*L0*L1*PSI2
			 +2*K2*L0*PSI0*PSI1-2*K0*K2*L0*L2*PSI1
			 -2*K0*K2*L0*L1*PSI1-4*K1*K2*L0*L2*PSI0
			 +4*K0*K1*K2*L0*L1*L2,
	2*K0*PSI0*PSI1*PSI2-K0^2*L2*PSI1*PSI2-K0^2*L1*PSI1*PSI2
			   -K0^2*L0*PSI1*PSI2+2*K1*PSI0^2*PSI2
			   -2*K0*K1*L2*PSI0*PSI2-2*K0*K1*L1*PSI0*PSI2
			   -2*K0*K1*L0*PSI0*PSI2+2*K0^2*K1*L1*L2*PSI2
			   +2*K0^2*K1*L0*L1*PSI2+2*K2*PSI0^2*PSI1
			   -2*K0*K2*L2*PSI0*PSI1-2*K0*K2*L1*PSI0*PSI1
			   -2*K0*K2*L0*PSI0*PSI1+2*K0^2*K2*L0*L2*PSI1
			   +2*K0^2*K2*L0*L1*PSI1-4*K1*K2*L2*PSI0^2
			   +4*K0*K1*K2*L1*L2*PSI0+4*K0*K1*K2*L0*L2*PSI0
			   -4*K0^2*K1*K2*L0*L1*L2,
	-L2*PSI1*PSI2-L1*PSI1*PSI2-L0*PSI1*PSI2+2*K1*L1*L2*PSI2
		     +2*K1*L0*L1*PSI2+2*K2*L0*L2*PSI1+2*K2*L0*L1*PSI1
		     -4*K1*K2*L0*L1*L2,
	-2*PSI0*PSI1*PSI2+K0*L2*PSI1*PSI2+K0*L1*PSI1*PSI2+K0*L0*PSI1*PSI2
			 +2*K1*L1*PSI0*PSI2-2*K0*K1*L1*L2*PSI2
			 -2*K0*K1*L0*L1*PSI2+2*K2*L2*PSI0*PSI1
			 +2*K2*L1*PSI0*PSI1-2*K0*K2*L0*L2*PSI1
			 -2*K0*K2*L0*L1*PSI1-4*K1*K2*L1*L2*PSI0
			 +4*K0*K1*K2*L0*L1*L2,PSI0^2+PHI0^2-1,PSI1^2+PHI1^2-1,
	PSI2^2+PHI2^2-1,PSI0^2-PHI0^2+CT1,
	2*PHI1*PSI1*ST1+CT1*PSI1^2-CT1*PHI1^2+CT2,
	2*PHI2*PSI2*ST2+CT2*PSI2^2-CT2*PHI2^2+1,ST1+PSI0^2-PHI0^2,
	ST2-2*PHI1*PSI1*ST1+CT1*PSI1^2-CT1*PHI1^2,
	-2*PHI2*PSI2*ST2+CT2*PSI2^2-CT2*PHI2^2,CT2*L2+CT1*L1+L0,L2*ST2+L1*ST1]"
		"[K0,K1,K2,L0,L1,L2,PSI0,PSI1,PSI2,PHI0,PHI1,PHI2,CT1,CT2,ST1,ST2]"
		:order #'grevlex>)