f(f(f(f(f(x,y),z),z),y),f(f(f(x,y),f(z,y)),x)) = y.
f(f(f(f(f(x,y),z),z),y),f(x,f(f(y,x),f(y,z)))) = y.
f(f(f(f(f(x,y),z),z),y),f(x,f(f(z,y),f(y,x)))) = y.
f(f(f(f(f(x,y),z),z),y),f(x,f(f(x,y),f(y,z)))) = y.
f(f(f(f(f(x,y),z),z),y),f(x,f(f(y,y),f(y,z)))) = y.
f(f(f(f(f(x,y),z),z),y),f(x,f(f(y,y),f(y,x)))) = y.
f(f(f(f(x,f(y,z)),x),y),f(f(f(z,y),f(z,y)),z)) = y.
f(f(f(f(x,f(y,z)),x),z),f(f(f(y,z),f(y,z)),y)) = z.
f(f(f(f(x,f(y,z)),x),y),f(f(f(z,y),f(x,y)),z)) = y.
f(f(f(f(x,f(y,z)),x),y),f(f(f(x,y),f(z,y)),z)) = y.
f(f(f(f(x,f(y,z)),x),z),f(f(f(y,z),f(x,z)),y)) = z.
f(f(f(f(x,f(y,z)),x),z),f(f(f(x,z),f(y,z)),y)) = z.
f(f(f(f(x,f(y,z)),x),y),f(z,f(f(z,y),f(y,z)))) = y.
f(f(f(f(x,f(y,z)),x),y),f(z,f(f(y,z),f(y,x)))) = y.
f(f(f(f(x,f(y,z)),x),z),f(y,f(f(z,y),f(z,x)))) = z.
f(f(f(f(x,f(y,z)),x),z),f(y,f(f(z,x),f(z,y)))) = z.
f(f(f(f(x,f(y,z)),x),z),f(y,f(f(x,z),f(z,y)))) = z.
f(f(f(f(x,f(y,z)),x),y),f(z,f(f(y,y),f(y,x)))) = y.
f(f(f(f(x,f(y,z)),x),z),f(y,f(f(z,z),f(z,y)))) = z.
f(f(f(f(x,f(y,z)),x),z),f(y,f(f(z,z),f(z,x)))) = z.
f(f(f(f(x,y),f(y,x)),x),f(y,f(f(f(y,x),z),z))) = y.
f(f(f(f(x,y),f(y,z)),z),f(y,f(f(f(y,z),x),x))) = y.
f(f(f(f(x,y),f(y,z)),z),f(y,f(f(f(z,y),x),x))) = y.
f(f(f(f(x,y),f(y,z)),x),f(y,f(f(f(y,x),z),z))) = y.
f(f(f(f(x,y),f(y,z)),x),f(y,f(f(f(x,y),z),z))) = y.
f(f(f(f(x,y),f(z,y)),z),f(y,f(f(f(y,z),x),x))) = y.
f(f(f(f(x,y),f(z,y)),z),f(y,f(f(f(z,y),x),x))) = y.
f(f(f(f(x,y),f(z,y)),x),f(y,f(f(f(x,y),z),z))) = y.
f(f(f(f(x,y),f(y,y)),z),f(y,f(f(f(y,z),x),x))) = y.
f(f(f(f(x,y),f(y,y)),z),f(y,f(f(f(z,y),x),x))) = y.
f(f(f(f(x,y),f(y,x)),x),f(y,f(f(z,f(y,x)),z))) = y.
f(f(f(f(x,y),f(y,z)),z),f(y,f(f(x,f(z,y)),x))) = y.
f(f(f(f(x,y),f(y,z)),x),f(y,f(f(z,f(x,y)),z))) = y.
f(f(f(f(x,y),f(z,y)),z),f(y,f(f(x,f(y,z)),x))) = y.
f(f(f(f(x,y),f(z,y)),z),f(y,f(f(x,f(z,y)),x))) = y.
f(f(f(f(x,y),f(z,y)),x),f(y,f(f(z,f(y,x)),z))) = y.
f(f(f(f(x,y),f(y,y)),z),f(y,f(f(x,f(y,z)),x))) = y.
f(f(f(f(x,y),f(y,y)),z),f(y,f(f(x,f(z,y)),x))) = y.
f(f(f(f(x,y),f(y,z)),x),f(y,f(z,f(f(y,x),z)))) = y.
f(f(f(f(x,y),f(z,y)),z),f(y,f(x,f(f(y,z),x)))) = y.
f(f(f(f(x,y),f(z,y)),z),f(y,f(x,f(f(z,y),x)))) = y.
f(f(f(f(x,y),f(z,y)),x),f(y,f(z,f(f(y,x),z)))) = y.
f(f(f(f(x,y),f(y,y)),z),f(y,f(x,f(f(y,z),x)))) = y.
f(f(f(f(x,y),f(y,y)),z),f(y,f(x,f(f(z,y),x)))) = y.
f(f(f(f(x,y),f(y,y)),x),f(y,f(z,f(f(y,x),z)))) = y.
f(f(f(f(x,y),f(y,z)),x),f(y,f(z,f(z,f(y,x))))) = y.
f(f(f(f(x,y),f(z,y)),z),f(y,f(x,f(x,f(y,z))))) = y.
f(f(f(f(x,y),f(y,y)),z),f(y,f(x,f(x,f(y,z))))) = y.
f(f(f(f(x,y),f(y,y)),x),f(y,f(z,f(z,f(y,x))))) = y.
f(f(f(x,f(f(y,z),x)),y),f(f(f(z,y),f(z,y)),z)) = y.
f(f(f(x,f(f(y,z),x)),z),f(f(f(y,z),f(y,z)),y)) = z.
f(f(f(x,f(f(y,z),x)),y),f(f(f(x,y),f(z,y)),z)) = y.
f(f(f(x,f(f(y,z),x)),z),f(f(f(y,z),f(x,z)),y)) = z.
f(f(f(x,f(f(y,z),x)),z),f(f(f(x,z),f(y,z)),y)) = z.
f(f(f(x,f(f(y,z),x)),z),f(y,f(f(y,z),f(z,y)))) = z.
f(f(f(x,f(f(y,z),x)),y),f(z,f(f(y,z),f(y,x)))) = y.
f(f(f(x,f(f(y,z),x)),y),f(z,f(f(z,y),f(y,x)))) = y.
f(f(f(x,f(f(y,z),x)),y),f(z,f(f(x,y),f(y,z)))) = y.
f(f(f(x,f(f(y,z),x)),z),f(y,f(f(z,y),f(z,x)))) = z.
f(f(f(x,f(f(y,z),x)),z),f(y,f(f(z,x),f(z,y)))) = z.
f(f(f(x,f(f(y,z),x)),y),f(z,f(f(y,y),f(y,x)))) = y.
f(f(f(x,f(f(y,z),x)),z),f(y,f(f(z,z),f(z,x)))) = z.
f(f(f(x,f(x,f(y,z))),y),f(f(f(z,y),f(x,y)),z)) = y.
f(f(f(x,f(x,f(y,z))),z),f(f(f(y,z),f(x,z)),y)) = z.
f(f(f(x,f(x,f(y,z))),z),f(f(f(x,z),f(y,z)),y)) = z.
f(f(f(x,f(x,f(y,z))),z),f(y,f(f(y,z),f(z,y)))) = z.
f(f(f(x,f(x,f(y,z))),y),f(z,f(f(y,z),f(y,x)))) = y.
f(f(f(x,f(x,f(y,z))),y),f(z,f(f(y,x),f(y,z)))) = y.
f(f(f(x,f(x,f(y,z))),y),f(z,f(f(z,y),f(y,x)))) = y.
f(f(f(x,f(x,f(y,z))),y),f(z,f(f(x,y),f(y,z)))) = y.
f(f(f(x,f(x,f(y,z))),z),f(y,f(f(z,y),f(z,x)))) = z.
f(f(f(x,f(x,f(y,z))),z),f(y,f(f(x,z),f(z,y)))) = z.
f(f(f(x,f(x,f(y,z))),y),f(z,f(f(y,y),f(y,x)))) = y.
f(f(f(x,f(x,f(y,z))),z),f(y,f(f(z,z),f(z,x)))) = z.
f(f(x,f(f(y,x),f(y,x))),f(y,f(f(f(x,y),z),z))) = y.
f(f(x,f(f(y,z),f(y,x))),f(y,f(f(f(y,x),z),z))) = y.
f(f(x,f(f(y,z),f(y,x))),f(y,f(f(f(x,y),z),z))) = y.
f(f(x,f(f(y,x),f(y,z))),f(y,f(f(f(y,x),z),z))) = y.
f(f(x,f(f(y,x),f(y,x))),f(y,f(f(z,f(y,x)),z))) = y.
f(f(x,f(f(y,x),f(y,x))),f(y,f(f(z,f(x,y)),z))) = y.
f(f(x,f(f(y,z),f(y,x))),f(y,f(f(z,f(y,x)),z))) = y.
f(f(x,f(f(y,x),f(y,z))),f(y,f(f(z,f(y,x)),z))) = y.
f(f(x,f(f(y,x),f(y,z))),f(y,f(f(z,f(x,y)),z))) = y.
f(f(x,f(f(y,x),f(y,x))),f(y,f(z,f(f(y,x),z)))) = y.
f(f(x,f(f(y,x),f(y,x))),f(y,f(z,f(f(x,y),z)))) = y.
f(f(x,f(f(y,z),f(y,x))),f(y,f(z,f(f(y,x),z)))) = y.
f(f(x,f(f(y,z),f(y,x))),f(y,f(z,f(f(x,y),z)))) = y.
f(f(x,f(f(y,x),f(y,z))),f(y,f(z,f(f(y,x),z)))) = y.
f(f(x,f(f(y,x),f(y,z))),f(y,f(z,f(f(x,y),z)))) = y.
f(f(x,f(f(y,z),f(y,x))),f(y,f(z,f(z,f(y,x))))) = y.
f(f(f(x,f(y,y)),y),f(f(f(f(z,x),x),f(z,y)),z)) = y.
f(f(f(x,f(y,y)),y),f(f(f(f(x,z),x),f(z,y)),z)) = y.
f(f(f(x,f(y,y)),y),f(f(f(x,f(z,x)),f(z,y)),z)) = y.
f(f(f(x,f(y,y)),y),f(f(f(z,y),f(f(z,x),x)),z)) = y.
f(f(f(x,f(y,y)),y),f(f(f(z,y),f(f(x,z),x)),z)) = y.
f(f(f(x,f(y,y)),y),f(f(f(z,y),f(x,f(z,x))),z)) = y.
f(f(f(x,f(y,y)),y),f(f(f(z,y),f(x,f(x,z))),z)) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(f(x,z),x),f(y,z)))) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(x,f(z,x)),f(y,z)))) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(x,f(x,z)),f(y,z)))) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(y,z),f(f(z,x),x)))) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(y,z),f(f(x,z),x)))) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(z,y),f(f(z,x),x)))) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(z,y),f(f(x,z),x)))) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(y,z),f(x,f(z,x))))) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(y,z),f(x,f(x,z))))) = y.
f(f(f(f(f(x,y),z),z),y),f(f(f(u,y),f(x,y)),x)) = y.
f(f(f(f(f(x,y),z),z),y),f(f(f(y,u),f(x,y)),x)) = y.
f(f(f(f(f(x,y),z),z),y),f(f(f(x,y),f(u,y)),x)) = y.
f(f(f(f(f(x,y),z),z),y),f(x,f(f(u,y),f(y,x)))) = y.
f(f(f(f(f(x,y),z),z),y),f(x,f(f(y,u),f(y,x)))) = y.
f(f(f(f(f(x,y),z),z),y),f(x,f(f(y,x),f(y,u)))) = y.
f(f(f(f(f(x,y),z),z),y),f(x,f(f(x,y),f(y,u)))) = y.
f(f(f(f(f(x,y),z),z),y),f(x,f(f(y,y),f(y,u)))) = y.
f(f(f(f(x,f(y,z)),x),y),f(f(f(u,y),f(z,y)),z)) = y.
f(f(f(f(x,f(y,z)),x),y),f(f(f(y,u),f(z,y)),z)) = y.
f(f(f(f(x,f(y,z)),x),y),f(f(f(z,y),f(u,y)),z)) = y.
f(f(f(f(x,f(y,z)),x),z),f(f(f(u,z),f(y,z)),y)) = z.
f(f(f(f(x,f(y,z)),x),z),f(f(f(z,u),f(y,z)),y)) = z.
f(f(f(f(x,f(y,z)),x),z),f(f(f(y,z),f(u,z)),y)) = z.
f(f(f(f(x,f(y,z)),x),y),f(z,f(f(u,y),f(y,z)))) = y.
f(f(f(f(x,f(y,z)),x),y),f(z,f(f(y,u),f(y,z)))) = y.
f(f(f(f(x,f(y,z)),x),y),f(z,f(f(y,z),f(y,u)))) = y.
f(f(f(f(x,f(y,z)),x),y),f(z,f(f(z,y),f(y,u)))) = y.
f(f(f(f(x,f(y,z)),x),z),f(y,f(f(u,z),f(z,y)))) = z.
f(f(f(f(x,f(y,z)),x),z),f(y,f(f(z,u),f(z,y)))) = z.
f(f(f(f(x,f(y,z)),x),z),f(y,f(f(z,y),f(z,u)))) = z.
f(f(f(f(x,f(y,z)),x),z),f(y,f(f(y,z),f(z,u)))) = z.
f(f(f(f(x,f(y,z)),x),y),f(z,f(f(y,y),f(y,u)))) = y.
f(f(f(f(x,f(y,z)),x),z),f(y,f(f(z,z),f(z,u)))) = z.
f(f(f(f(x,y),f(y,z)),z),f(y,f(f(f(y,z),u),u))) = y.
f(f(f(f(x,y),f(y,z)),z),f(y,f(f(f(z,y),u),u))) = y.
f(f(f(f(x,y),f(y,z)),x),f(y,f(f(f(y,x),u),u))) = y.
f(f(f(f(x,y),f(y,z)),x),f(y,f(f(f(x,y),u),u))) = y.
f(f(f(f(x,y),f(z,y)),z),f(y,f(f(f(y,z),u),u))) = y.
f(f(f(f(x,y),f(z,y)),z),f(y,f(f(f(z,y),u),u))) = y.
f(f(f(f(x,y),f(z,y)),x),f(y,f(f(f(y,x),u),u))) = y.
f(f(f(f(x,y),f(z,y)),x),f(y,f(f(f(x,y),u),u))) = y.
f(f(f(f(x,y),f(y,y)),z),f(y,f(f(f(y,z),u),u))) = y.
f(f(f(f(x,y),f(y,y)),z),f(y,f(f(f(z,y),u),u))) = y.
f(f(f(f(x,y),f(y,z)),z),f(y,f(f(u,f(y,z)),u))) = y.
f(f(f(f(x,y),f(y,z)),z),f(y,f(f(u,f(z,y)),u))) = y.
f(f(f(f(x,y),f(y,z)),x),f(y,f(f(u,f(y,x)),u))) = y.
f(f(f(f(x,y),f(y,z)),x),f(y,f(f(u,f(x,y)),u))) = y.
f(f(f(f(x,y),f(z,y)),z),f(y,f(f(u,f(y,z)),u))) = y.
f(f(f(f(x,y),f(z,y)),z),f(y,f(f(u,f(z,y)),u))) = y.
f(f(f(f(x,y),f(z,y)),x),f(y,f(f(u,f(y,x)),u))) = y.
f(f(f(f(x,y),f(z,y)),x),f(y,f(f(u,f(x,y)),u))) = y.
f(f(f(f(x,y),f(y,y)),z),f(y,f(f(u,f(y,z)),u))) = y.
f(f(f(f(x,y),f(y,y)),z),f(y,f(f(u,f(z,y)),u))) = y.
f(f(f(f(x,y),f(y,z)),z),f(y,f(u,f(f(y,z),u)))) = y.
f(f(f(f(x,y),f(y,z)),z),f(y,f(u,f(f(z,y),u)))) = y.
f(f(f(f(x,y),f(y,z)),x),f(y,f(u,f(f(y,x),u)))) = y.
f(f(f(f(x,y),f(y,z)),x),f(y,f(u,f(f(x,y),u)))) = y.
f(f(f(f(x,y),f(z,y)),z),f(y,f(u,f(f(y,z),u)))) = y.
f(f(f(f(x,y),f(z,y)),z),f(y,f(u,f(f(z,y),u)))) = y.
f(f(f(f(x,y),f(z,y)),x),f(y,f(u,f(f(y,x),u)))) = y.
f(f(f(f(x,y),f(z,y)),x),f(y,f(u,f(f(x,y),u)))) = y.
f(f(f(f(x,y),f(y,y)),z),f(y,f(u,f(f(y,z),u)))) = y.
f(f(f(f(x,y),f(y,y)),z),f(y,f(u,f(f(z,y),u)))) = y.
f(f(f(f(x,y),f(y,z)),z),f(y,f(u,f(u,f(y,z))))) = y.
f(f(f(f(x,y),f(y,z)),x),f(y,f(u,f(u,f(y,x))))) = y.
f(f(f(f(x,y),f(z,y)),z),f(y,f(u,f(u,f(y,z))))) = y.
f(f(f(f(x,y),f(z,y)),x),f(y,f(u,f(u,f(y,x))))) = y.
f(f(f(f(x,y),f(y,y)),z),f(y,f(u,f(u,f(y,z))))) = y.
f(f(f(x,f(f(y,z),x)),y),f(f(f(u,y),f(z,y)),z)) = y.
f(f(f(x,f(f(y,z),x)),y),f(f(f(y,u),f(z,y)),z)) = y.
f(f(f(x,f(f(y,z),x)),y),f(f(f(z,y),f(u,y)),z)) = y.
f(f(f(x,f(f(y,z),x)),z),f(f(f(u,z),f(y,z)),y)) = z.
f(f(f(x,f(f(y,z),x)),z),f(f(f(z,u),f(y,z)),y)) = z.
f(f(f(x,f(f(y,z),x)),z),f(f(f(y,z),f(u,z)),y)) = z.
f(f(f(x,f(f(y,z),x)),y),f(z,f(f(u,y),f(y,z)))) = y.
f(f(f(x,f(f(y,z),x)),y),f(z,f(f(y,u),f(y,z)))) = y.
f(f(f(x,f(f(y,z),x)),y),f(z,f(f(y,z),f(y,u)))) = y.
f(f(f(x,f(f(y,z),x)),y),f(z,f(f(z,y),f(y,u)))) = y.
f(f(f(x,f(f(y,z),x)),z),f(y,f(f(u,z),f(z,y)))) = z.
f(f(f(x,f(f(y,z),x)),z),f(y,f(f(z,u),f(z,y)))) = z.
f(f(f(x,f(f(y,z),x)),z),f(y,f(f(z,y),f(z,u)))) = z.
f(f(f(x,f(f(y,z),x)),z),f(y,f(f(y,z),f(z,u)))) = z.
f(f(f(x,f(f(y,z),x)),y),f(z,f(f(y,y),f(y,u)))) = y.
f(f(f(x,f(f(y,z),x)),z),f(y,f(f(z,z),f(z,u)))) = z.
f(f(f(x,f(x,f(y,z))),y),f(f(f(u,y),f(z,y)),z)) = y.
f(f(f(x,f(x,f(y,z))),y),f(f(f(y,u),f(z,y)),z)) = y.
f(f(f(x,f(x,f(y,z))),y),f(f(f(z,y),f(u,y)),z)) = y.
f(f(f(x,f(x,f(y,z))),z),f(f(f(u,z),f(y,z)),y)) = z.
f(f(f(x,f(x,f(y,z))),z),f(f(f(z,u),f(y,z)),y)) = z.
f(f(f(x,f(x,f(y,z))),z),f(f(f(y,z),f(u,z)),y)) = z.
f(f(f(x,f(x,f(y,z))),y),f(z,f(f(u,y),f(y,z)))) = y.
f(f(f(x,f(x,f(y,z))),y),f(z,f(f(y,u),f(y,z)))) = y.
f(f(f(x,f(x,f(y,z))),y),f(z,f(f(y,z),f(y,u)))) = y.
f(f(f(x,f(x,f(y,z))),y),f(z,f(f(z,y),f(y,u)))) = y.
f(f(f(x,f(x,f(y,z))),z),f(y,f(f(u,z),f(z,y)))) = z.
f(f(f(x,f(x,f(y,z))),z),f(y,f(f(z,u),f(z,y)))) = z.
f(f(f(x,f(x,f(y,z))),z),f(y,f(f(z,y),f(z,u)))) = z.
f(f(f(x,f(x,f(y,z))),z),f(y,f(f(y,z),f(z,u)))) = z.
f(f(f(x,f(x,f(y,z))),y),f(z,f(f(y,y),f(y,u)))) = y.
f(f(f(x,f(x,f(y,z))),z),f(y,f(f(z,z),f(z,u)))) = z.
f(f(x,f(f(y,z),f(y,x))),f(y,f(f(f(y,x),u),u))) = y.
f(f(x,f(f(y,z),f(y,x))),f(y,f(f(f(x,y),u),u))) = y.
f(f(x,f(f(y,x),f(y,z))),f(y,f(f(f(y,x),u),u))) = y.
f(f(x,f(f(y,x),f(y,z))),f(y,f(f(f(x,y),u),u))) = y.
f(f(x,f(f(y,x),f(z,y))),f(y,f(f(f(y,x),u),u))) = y.
f(f(x,f(f(y,x),f(z,y))),f(y,f(f(f(x,y),u),u))) = y.
f(f(x,f(f(y,z),f(y,x))),f(y,f(f(u,f(y,x)),u))) = y.
f(f(x,f(f(y,z),f(y,x))),f(y,f(f(u,f(x,y)),u))) = y.
f(f(x,f(f(y,x),f(y,z))),f(y,f(f(u,f(y,x)),u))) = y.
f(f(x,f(f(y,x),f(y,z))),f(y,f(f(u,f(x,y)),u))) = y.
f(f(x,f(f(y,x),f(z,y))),f(y,f(f(u,f(y,x)),u))) = y.
f(f(x,f(f(y,x),f(z,y))),f(y,f(f(u,f(x,y)),u))) = y.
f(f(x,f(f(y,z),f(y,x))),f(y,f(u,f(f(y,x),u)))) = y.
f(f(x,f(f(y,z),f(y,x))),f(y,f(u,f(f(x,y),u)))) = y.
f(f(x,f(f(y,x),f(y,z))),f(y,f(u,f(f(y,x),u)))) = y.
f(f(x,f(f(y,x),f(y,z))),f(y,f(u,f(f(x,y),u)))) = y.
f(f(x,f(f(y,x),f(z,y))),f(y,f(u,f(f(y,x),u)))) = y.
f(f(x,f(f(y,x),f(z,y))),f(y,f(u,f(f(x,y),u)))) = y.
f(f(x,f(f(y,z),f(y,x))),f(y,f(u,f(u,f(y,x))))) = y.
f(f(x,f(f(y,x),f(y,z))),f(y,f(u,f(u,f(y,x))))) = y.
f(f(x,f(f(y,x),f(z,y))),f(y,f(u,f(u,f(y,x))))) = y.
f(f(f(x,f(y,y)),y),f(f(f(f(z,u),u),f(z,y)),z)) = y.
f(f(f(x,f(y,y)),y),f(f(f(f(z,u),z),f(u,y)),u)) = y.
f(f(f(x,f(y,y)),y),f(f(f(z,f(u,z)),f(u,y)),u)) = y.
f(f(f(x,f(y,y)),y),f(f(f(z,f(z,u)),f(u,y)),u)) = y.
f(f(f(x,f(y,y)),y),f(f(f(z,y),f(f(u,z),u)),z)) = y.
f(f(f(x,f(y,y)),y),f(f(f(z,y),f(f(z,u),u)),z)) = y.
f(f(f(x,f(y,y)),y),f(f(f(z,y),f(u,f(u,z))),z)) = y.
f(f(f(x,f(y,y)),y),f(f(f(z,y),f(u,f(z,u))),z)) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(f(u,z),u),f(y,z)))) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(f(z,u),u),f(y,z)))) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(u,f(u,z)),f(y,z)))) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(u,f(z,u)),f(y,z)))) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(y,z),f(f(u,z),u)))) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(y,z),f(f(z,u),u)))) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(z,y),f(f(u,z),u)))) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(z,y),f(f(z,u),u)))) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(y,z),f(u,f(u,z))))) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(y,z),f(u,f(z,u))))) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(z,y),f(u,f(u,z))))) = y.
f(f(f(x,f(y,y)),y),f(z,f(f(z,y),f(u,f(z,u))))) = y.
% clausefilter non-MOL-OML.interps false_in_all: checked 296, passed 238, 2.81 seconds.