K507 :
a^4*b^5*c^3*x^2*y - a*b^8*c^3*x^2*y - a^5*b^3*c^4*x^2*y + a^3*b^5*c^4*x^2*y -   a^4*b^3*c^5*x^2*y + a^2*b^5*c^5*x^2*y - a^3*b^3*c^6*x^2*y +   a*b^5*c^6*x^2*y + a^5*c^7*x^2*y -   a^2*b^3*c^7*x^2*y - a^8*b*c^3*x*y^2 + a^5*b^4*c^3*x*y^2 +   a^5*b^3*c^4*x*y^2 - a^3*b^5*c^4*x*y^2 + a^5*b^2*c^5*x*y^2 -   a^3*b^4*c^5*x*y^2 + a^5*b*c^6*x*y^2 - a^3*b^3*c^6*x*y^2 -   a^3*b^2*c^7*x*y^2 + b^5*c^7*x*y^2 + a^5*b^7*x^2*z - a^5*b^4*c^3*x^2*z -   a^4*b^5*c^3*x^2*z - a^3*b^6*c^3*x^2*z - a^2*b^7*c^3*x^2*z +   a^4*b^3*c^5*x^2*z + a^3*b^4*c^5*x^2*z +   a^2*b^5*c^5*x^2*z + a*b^6*c^5*x^2*z - a*b^3*c^8*x^2*z - a^7*b^5*x*y*z -   a^5*b^7*x*y*z + a^8*b^3*c*x*y*z - a^6*b^5*c*x*y*z - a^5*b^6*c*x*y*z +   a^3*b^8*c*x*y*z + a^7*b^3*c^2*x*y*z -   2*a^5*b^5*c^2*x*y*z + a^3*b^7*c^2*x*y*z + a^8*b*c^3*x*y*z +   a^7*b^2*c^3*x*y*z + 2*a^6*b^3*c^3*x*y*z + 2*a^3*b^6*c^3*x*y*z +   a^2*b^7*c^3*x*y*z + a*b^8*c^3*x*y*z - a^7*c^5*x*y*z -   a^6*b*c^5*x*y*z - 2*a^5*b^2*c^5*x*y*z - 2*a^2*b^5*c^5*x*y*z -   a*b^6*c^5*x*y*z - b^7*c^5*x*y*z - a^5*b*c^6*x*y*z + 2*a^3*b^3*c^6*x*y*z -   a*b^5*c^6*x*y*z - a^5*c^7*x*y*z +   a^3*b^2*c^7*x*y*z + a^2*b^3*c^7*x*y*z - b^5*c^7*x*y*z +   a^3*b*c^8*x*y*z + a*b^3*c^8*x*y*z + a^7*b^5*y^2*z - a^7*b^2*c^3*y^2*z -   a^6*b^3*c^3*y^2*z - a^5*b^4*c^3*y^2*z -   a^4*b^5*c^3*y^2*z + a^6*b*c^5*y^2*z + a^5*b^2*c^5*y^2*z +   a^4*b^3*c^5*y^2*z + a^3*b^4*c^5*y^2*z - a^3*b*c^8*y^2*z - a^8*b^3*c*x*z^2 +   a^5*b^6*c*x*z^2 + a^5*b^5*c^2*x*z^2 -   a^3*b^7*c^2*x*z^2 + a^5*b^4*c^3*x*z^2 - a^3*b^6*c^3*x*z^2 +   a^5*b^3*c^4*x*z^2 - a^3*b^5*c^4*x*z^2 - a^3*b^4*c^5*x*z^2 + b^7*c^5*x*z^2 +   a^6*b^5*c*y*z^2 - a^3*b^8*c*y*z^2 -   a^7*b^3*c^2*y*z^2 + a^5*b^5*c^2*y*z^2 - a^6*b^3*c^3*y*z^2 +   a^4*b^5*c^3*y*z^2 - a^5*b^3*c^4*y*z^2 + a^3*b^5*c^4*y*z^2 + a^7*c^5*y*z^2 -   a^4*b^3*c^5*y*z^2 = 0