a43, a42, a41, a32, a31, a21, b1, b2, b3, b4, c4, c3, c2, 
b1+b2+b3+b4-1
2*b2*c2+2*b3*c3+2*b4*c4-1
3*b2*c2^2+3*b3*c3^2+3*b4*c4^2-1
6*a32*b3*c2+6*a42*b4*c2+6*a43*b4*c3-1
4*b2*c2^3+4*b3*c3^3+4*b4*c4^3-1
8*a32*b3*c2*c3+8*a42*b4*c2*c4+8*a43*b4*c3*c4-1
12*a32*b3*c2^2+12*a42*b4*c2^2+12*a43*b4*c3^2-1
24*a32*a43*b4*c2-1
c2-a21
c3-a31-a32
c4-a41-a42-a43
