(algforminput)
vars x,y,z,t;
y*x+x*y-x*x, z*y+y*z, z*z, t*y-z*x+y*t-x*z, t*z+z*t, t*t;
