K1002 :a^3 x^2 y-b^3 x^2 y-a b c x^2 y+c^3 x^2 y+a^3 x y^2-b^3 x y^2+a b c x y^2-c^3 x y^2-a^3 x^2 z-b^3 x^2 z+a b c x^2 z+c^3 x^2 z+a^3 y^2 z+b^3 y^2 z-a b c y^2 z-c^3 y^2 z-a^3 x z^2+b^3 x z^2-a b c x z^2+c^3 x z^2-a^3 y z^2+b^3 y z^2+a b c y z^2-c^3 y z^2= 0