x y z a
-x -y z+1/2 a
x+1/2 -y+1/2 z a
-x+1/2 y+1/2 z+1/2 a
