u5, u4, u3, u2, u1, u0, 
u0^2+2*u1^2+2*u2^2+2*u3^2+2*u4^2+2*u5^2-u0
2*u0*u1+2*u1*u2+2*u2*u3+2*u3*u4+2*u4*u5-u1
2*u0*u2+u1^2+2*u1*u3+2*u2*u4+2*u3*u5-u2
2*u0*u3+2*u1*u2+2*u1*u4+2*u2*u5-u3
2*u0*u4+2*u1*u3+2*u1*u5+u2^2-u4
u0+2*u1+2*u2+2*u3+2*u4+2*u5-1
