K1058 :

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