U2, U3, U4, U5, U6, u2, u3, u4, u5, u6, 
2*u6+2*u5+2*u4+2*u3+2*u2+1
8*U2*u2+8*U2*u3+8*U2*u4+8*U2*u5+8*U2*u6+8*U3*u3+8*U3*u4+8*U3*u5+8*U3*u6+8*U4*u4+8*U4*u5+8*U4*u6+8*U5*u5+8*U5*u6-13
2*U6+2*U5+2*U4+2*U3+2*U2+1
8*U2*u2+8*U3*u2+8*U3*u3+8*U4*u2+8*U4*u3+8*U4*u4+8*U5*u2+8*U5*u3+8*U5*u4+8*U5*u5+8*U6*u2+8*U6*u3+8*U6*u4+8*U6*u5-13
U2*u2-1
U3*u3-1
U4*u4-1
U5*u5-1
U6*u6-1
