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