a, b, c, d, e, f, t, u, v, w, x, y, z, 
w+a+b+c-1
2*a*f+2*b*e+2*c*d-1
3*a*f^2+3*b*c^2+3*c*d^2-1
6*b*f*t+6*c*e*x+6*c*f*y-1
4*a*f^3+4*b*e^3+4*c*d^3-1
8*b*e*f*t+8*c*d*e*x+8*c*d*f*y-1
12*b*f^2*t+12*c*e^2*x+12*c*f^2*y-1
24*c*f*t*x-1
-v+f
-t-u+e
-x-y-z+d
