K1056 :

a^2 b^2 c^4 x^2 y-b^4 c^4 x^2 y+a b^2 c^5 x^2 y+b^2 c^6 x^2 y+a^4 c^4 x y^2-a^2 b^2 c^4 x y^2-a^2 b c^5 x y^2-a^2 c^6 x y^2-a^2 b^4 c^2 x^2 z-a b^5 c^2 x^2 z-b^6 c^2 x^2 z+b^4 c^4 x^2 z+a^6 c^2 y^2 z+a^5 b c^2 y^2 z+a^4 b^2 c^2 y^2 z-a^4 c^4 y^2 z-a^4 b^4 x z^2+a^2 b^6 x z^2+a^2 b^5 c x z^2+a^2 b^4 c^2 x z^2-a^6 b^2 y z^2+a^4 b^4 y z^2-a^5 b^2 c y z^2-a^4 b^2 c^2 y z^2=0