z, y, x, a, b, 
x^2-x*y+y^2-1
-a^2+y^2-y*z+z^2
-b^2+x^2-x*z+z^2
a^2-b^2+b-1
3*b^6+56*b^4-122*b^3+56*b^2+3
