K500 :
-a^8 b^2 c^4 x^2 y + a^6 b^4 c^4 x^2 y + a^2 b^8 c^4 x^2 y -   b^10 c^4 x^2 y + 2 a^6 b^2 c^6 x^2 y + 4 b^8 c^6 x^2 y -   2 a^4 b^2 c^8 x^2 y - 3 a^2 b^4 c^8 x^2 y - 6 b^6 c^8 x^2 y +   2 a^2 b^2 c^10 x^2 y + 4 b^4 c^10 x^2 y - b^2 c^12 x^2 y + a^10 c^4 x y^2 -  a^8 b^2 c^4 x y^2 - a^4 b^6 c^4 x y^2 + a^2 b^8 c^4 x y^2 -   4 a^8 c^6 x y^2 - 2 a^2 b^6 c^6 x y^2 + 6 a^6 c^8 x y^2 +   3 a^4 b^2 c^8 x y^2 + 2 a^2 b^4 c^8 x y^2 - 4 a^4 c^10 x y^2 -   2 a^2 b^2 c^10 x y^2 + a^2 c^12 x y^2 + a^8 b^4 c^2 x^2 z -   2 a^6 b^6 c^2 x^2 z + 2 a^4 b^8 c^2 x^2 z - 2 a^2 b^10 c^2 x^2 z +   b^12 c^2 x^2 z - a^6 b^4 c^4 x^2 z + 3 a^2 b^8 c^4 x^2 z -   4 b^10 c^4 x^2 z + 6 b^8 c^6 x^2 z - a^2 b^4 c^8 x^2 z - 4 b^6 c^8 x^2 z +   b^4 c^10 x^2 z - a^12 c^2 y^2 z + 2 a^10 b^2 c^2 y^2 z -   2 a^8 b^4 c^2 y^2 z + 2 a^6 b^6 c^2 y^2 z - a^4 b^8 c^2 y^2 z +   4 a^10 c^4 y^2 z - 3 a^8 b^2 c^4 y^2 z + a^4 b^6 c^4 y^2 z -   6 a^8 c^6 y^2 z + 4 a^6 c^8 y^2 z + a^4 b^2 c^8 y^2 z - a^4 c^10 y^2 z -   a^10 b^4 x z^2 + 4 a^8 b^6 x z^2 - 6 a^6 b^8 x z^2 + 4 a^4 b^10 x z^2 -   a^2 b^12 x z^2 + a^8 b^4 c^2 x z^2 - 3 a^4 b^8 c^2 x z^2 +   2 a^2 b^10 c^2 x z^2 - 2 a^2 b^8 c^4 x z^2 + a^4 b^4 c^6 x z^2 +   2 a^2 b^6 c^6 x z^2 - a^2 b^4 c^8 x z^2 + a^12 b^2 y z^2 -   4 a^10 b^4 y z^2 + 6 a^8 b^6 y z^2 - 4 a^6 b^8 y z^2 + a^4 b^10 y z^2 -   2 a^10 b^2 c^2 y z^2 + 3 a^8 b^4 c^2 y z^2 - a^4 b^8 c^2 y z^2 +   2 a^8 b^2 c^4 y z^2 - 2 a^6 b^2 c^6 y z^2 - a^4 b^4 c^6 y z^2 +   a^4 b^2 c^8 y z^2 = 0