U7, u7, U6, U5, U4, U3, U2, u6, u5, u4, u3, u2, 
2*u7+2*u6+2*u5+2*u4+2*u3+2*u2+1
U2*u2-1
2*U7+2*U6+2*U5+2*U4+2*U3+2*U2+1
U3*u3-1
U4*u4-1
(16*u3+16*u2+8)*u5*U4+((16*u2+8)*u5+(16*u2+8)*u4)*U3+(8*u5+8*u4+8*u3)*U2+18*u5+18*u4+18*u3+18*u2+11
U5*u5-1
8*u6*U5+(8*u6+8*u5)*U4+(8*u6+8*u5+8*u4)*U3+(8*u6+8*u5+8*u4+8*u3)*U2+4*u6+4*u5+4*u4+4*u3+4*u2+17
(16*u4*U3+(16*u4+16*u3)*U2+8*u4+8*u3+8*u2+18)*U5+(16*U2*u3+8*u2+8*u3+18)*U4+(8*u2+18)*U3+18*U2+11
(8*u5+8*u4+8*u3+8*u2+4)*U6+(8*u4+8*u3+8*u2+4)*U5+(8*u3+8*u2+4)*U4+(8*u2+4)*U3+4*U2+17
U6*u6-1
U7*u7-1
