K601 :

-a^18*x^2*y + 4*a^16*b^2*x^2*y - 3*a^14*b^4*x^2*y - 10*a^12*b^6*x^2*y +25*a^10*b^8*x^2*y - 24*a^8*b^10*x^2*y + 11*a^6*b^12*x^2*y -2*a^4*b^14*x^2*y + 2*a^16*c^2*x^2*y - 14*a^14*b^2*c^2*x^2*y +33*a^12*b^4*c^2*x^2*y - 28*a^10*b^6*c^2*x^2*y - 8*a^8*b^8*c^2*x^2*y +30*a^6*b^10*c^2*x^2*y - 19*a^4*b^12*c^2*x^2*y + 4*a^2*b^14*c^2*x^2*y +2*a^14*c^4*x^2*y + 4*a^12*b^2*c^4*x^2*y -39*a^10*b^4*c^4*x^2*y + 80*a^8*b^6*c^4*x^2*y - 68*a^6*b^8*c^4*x^2*y +18*a^4*b^10*c^4*x^2*y + 5*a^2*b^12*c^4*x^2*y - 2*b^14*c^4*x^2*y -7*a^12*c^6*x^2*y + 22*a^10*b^2*c^6*x^2*y -30*a^8*b^4*c^6*x^2*y - 4*a^6*b^6*c^6*x^2*y + 46*a^4*b^8*c^6*x^2*y -30*a^2*b^10*c^6*x^2*y + 3*b^12*c^6*x^2*y + 5*a^10*c^8*x^2*y -8*a^8*b^2*c^8*x^2*y + 42*a^6*b^4*c^8*x^2*y - 64*a^4*b^6*c^8*x^2*y +19*a^2*b^8*c^8*x^2*y + 6*b^10*c^8*x^2*y - 4*a^8*c^10*x^2*y -20*a^6*b^2*c^10*x^2*y + 18*a^4*b^4*c^10*x^2*y + 20*a^2*b^6*c^10*x^2*y -14*b^8*c^10*x^2*y + 8*a^6*c^12*x^2*y + 10*a^4*b^2*c^12*x^2*y -24*a^2*b^4*c^12*x^2*y + 6*b^6*c^12*x^2*y - 7*a^4*c^14*x^2*y +4*a^2*b^2*c^14*x^2*y + 3*b^4*c^14*x^2*y + 2*a^2*c^16*x^2*y -2*b^2*c^16*x^2*y - 2*a^14*b^4*x*y^2 + 11*a^12*b^6*x*y^2 -24*a^10*b^8*x*y^2 +25*a^8*b^10*x*y^2 - 10*a^6*b^12*x*y^2 - 3*a^4*b^14*x*y^2 +4*a^2*b^16*x*y^2 - b^18*x*y^2 + 4*a^14*b^2*c^2*x*y^2 -19*a^12*b^4*c^2*x*y^2 + 30*a^10*b^6*c^2*x*y^2 - 8*a^8*b^8*c^2*x*y^2 -28*a^6*b^10*c^2*x*y^2 + 33*a^4*b^12*c^2*x*y^2 - 14*a^2*b^14*c^2*x*y^2 +2*b^16*c^2*x*y^2 - 2*a^14*c^4*x*y^2 + 5*a^12*b^2*c^4*x*y^2 +18*a^10*b^4*c^4*x*y^2 - 68*a^8*b^6*c^4*x*y^2 +80*a^6*b^8*c^4*x*y^2 - 39*a^4*b^10*c^4*x*y^2 + 4*a^2*b^12*c^4*x*y^2 +2*b^14*c^4*x*y^2 + 3*a^12*c^6*x*y^2 - 30*a^10*b^2*c^6*x*y^2 +46*a^8*b^4*c^6*x*y^2 - 4*a^6*b^6*c^6*x*y^2 - 30*a^4*b^8*c^6*x*y^2 +22*a^2*b^10*c^6*x*y^2 - 7*b^12*c^6*x*y^2 + 6*a^10*c^8*x*y^2 +19*a^8*b^2*c^8*x*y^2 - 64*a^6*b^4*c^8*x*y^2 + 42*a^4*b^6*c^8*x*y^2 -8*a^2*b^8*c^8*x*y^2 + 5*b^10*c^8*x*y^2 - 14*a^8*c^10*x*y^2 +20*a^6*b^2*c^10*x*y^2 + 18*a^4*b^4*c^10*x*y^2 - 20*a^2*b^6*c^10*x*y^2 -4*b^8*c^10*x*y^2 + 6*a^6*c^12*x*y^2 - 24*a^4*b^2*c^12*x*y^2 +10*a^2*b^4*c^12*x*y^2 + 8*b^6*c^12*x*y^2 + 3*a^4*c^14*x*y^2 +4*a^2*b^2*c^14*x*y^2 - 7*b^4*c^14*x*y^2 - 2*a^2*c^16*x*y^2 +2*b^2*c^16*x*y^2 - a^18*x^2*z + 2*a^16*b^2*x^2*z + 2*a^14*b^4*x^2*z -7*a^12*b^6*x^2*z + 5*a^10*b^8*x^2*z - 4*a^8*b^10*x^2*z +8*a^6*b^12*x^2*z - 7*a^4*b^14*x^2*z + 2*a^2*b^16*x^2*z +4*a^16*c^2*x^2*z - 14*a^14*b^2*c^2*x^2*z + 4*a^12*b^4*c^2*x^2*z +22*a^10*b^6*c^2*x^2*z - 8*a^8*b^8*c^2*x^2*z - 20*a^6*b^10*c^2*x^2*z +10*a^4*b^12*c^2*x^2*z + 4*a^2*b^14*c^2*x^2*z - 2*b^16*c^2*x^2*z -3*a^14*c^4*x^2*z + 33*a^12*b^2*c^4*x^2*z - 39*a^10*b^4*c^4*x^2*z -30*a^8*b^6*c^4*x^2*z + 42*a^6*b^8*c^4*x^2*z +18*a^4*b^10*c^4*x^2*z - 24*a^2*b^12*c^4*x^2*z + 3*b^14*c^4*x^2*z -10*a^12*c^6*x^2*z - 28*a^10*b^2*c^6*x^2*z + 80*a^8*b^4*c^6*x^2*z -4*a^6*b^6*c^6*x^2*z - 64*a^4*b^8*c^6*x^2*z +20*a^2*b^10*c^6*x^2*z + 6*b^12*c^6*x^2*z + 25*a^10*c^8*x^2*z -8*a^8*b^2*c^8*x^2*z - 68*a^6*b^4*c^8*x^2*z + 46*a^4*b^6*c^8*x^2*z +19*a^2*b^8*c^8*x^2*z - 14*b^10*c^8*x^2*z - 24*a^8*c^10*x^2*z +30*a^6*b^2*c^10*x^2*z + 18*a^4*b^4*c^10*x^2*z - 30*a^2*b^6*c^10*x^2*z +6*b^8*c^10*x^2*z + 11*a^6*c^12*x^2*z - 19*a^4*b^2*c^12*x^2*z +5*a^2*b^4*c^12*x^2*z + 3*b^6*c^12*x^2*z - 2*a^4*c^14*x^2*z +4*a^2*b^2*c^14*x^2*z - 2*b^4*c^14*x^2*z + 2*a^16*b^2*y^2*z -7*a^14*b^4*y^2*z + 8*a^12*b^6*y^2*z - 4*a^10*b^8*y^2*z + 5*a^8*b^10*y^2*z -7*a^6*b^12*y^2*z + 2*a^4*b^14*y^2*z + 2*a^2*b^16*y^2*z -b^18*y^2*z - 2*a^16*c^2*y^2*z + 4*a^14*b^2*c^2*y^2*z +10*a^12*b^4*c^2*y^2*z - 20*a^10*b^6*c^2*y^2*z - 8*a^8*b^8*c^2*y^2*z +22*a^6*b^10*c^2*y^2*z + 4*a^4*b^12*c^2*y^2*z - 14*a^2*b^14*c^2*y^2*z +4*b^16*c^2*y^2*z + 3*a^14*c^4*y^2*z - 24*a^12*b^2*c^4*y^2*z +18*a^10*b^4*c^4*y^2*z + 42*a^8*b^6*c^4*y^2*z - 30*a^6*b^8*c^4*y^2*z -39*a^4*b^10*c^4*y^2*z + 33*a^2*b^12*c^4*y^2*z - 3*b^14*c^4*y^2*z +6*a^12*c^6*y^2*z + 20*a^10*b^2*c^6*y^2*z - 64*a^8*b^4*c^6*y^2*z -4*a^6*b^6*c^6*y^2*z + 80*a^4*b^8*c^6*y^2*z - 28*a^2*b^10*c^6*y^2*z -10*b^12*c^6*y^2*z - 14*a^10*c^8*y^2*z + 19*a^8*b^2*c^8*y^2*z +46*a^6*b^4*c^8*y^2*z - 68*a^4*b^6*c^8*y^2*z - 8*a^2*b^8*c^8*y^2*z +25*b^10*c^8*y^2*z + 6*a^8*c^10*y^2*z - 30*a^6*b^2*c^10*y^2*z +18*a^4*b^4*c^10*y^2*z + 30*a^2*b^6*c^10*y^2*z - 24*b^8*c^10*y^2*z +3*a^6*c^12*y^2*z + 5*a^4*b^2*c^12*y^2*z - 19*a^2*b^4*c^12*y^2*z +11*b^6*c^12*y^2*z - 2*a^4*c^14*y^2*z + 4*a^2*b^2*c^14*y^2*z -2*b^4*c^14*y^2*z - 2*a^14*b^4*x*z^2 + 3*a^12*b^6*x*z^2 +6*a^10*b^8*x*z^2 - 14*a^8*b^10*x*z^2 + 6*a^6*b^12*x*z^2 +3*a^4*b^14*x*z^2 - 2*a^2*b^16*x*z^2 + 4*a^14*b^2*c^2*x*z^2 +5*a^12*b^4*c^2*x*z^2 - 30*a^10*b^6*c^2*x*z^2 + 19*a^8*b^8*c^2*x*z^2 +20*a^6*b^10*c^2*x*z^2 - 24*a^4*b^12*c^2*x*z^2 + 4*a^2*b^14*c^2*x*z^2 +2*b^16*c^2*x*z^2 - 2*a^14*c^4*x*z^2 - 19*a^12*b^2*c^4*x*z^2 +18*a^10*b^4*c^4*x*z^2 + 46*a^8*b^6*c^4*x*z^2 -64*a^6*b^8*c^4*x*z^2 + 18*a^4*b^10*c^4*x*z^2 + 10*a^2*b^12*c^4*x*z^2 -7*b^14*c^4*x*z^2 + 11*a^12*c^6*x*z^2 + 30*a^10*b^2*c^6*x*z^2 -68*a^8*b^4*c^6*x*z^2 - 4*a^6*b^6*c^6*x*z^2 +42*a^4*b^8*c^6*x*z^2 - 20*a^2*b^10*c^6*x*z^2 + 8*b^12*c^6*x*z^2 -24*a^10*c^8*x*z^2 - 8*a^8*b^2*c^8*x*z^2 + 80*a^6*b^4*c^8*x*z^2 -30*a^4*b^6*c^8*x*z^2 - 8*a^2*b^8*c^8*x*z^2 - 4*b^10*c^8*x*z^2 +25*a^8*c^10*x*z^2 - 28*a^6*b^2*c^10*x*z^2 - 39*a^4*b^4*c^10*x*z^2 +22*a^2*b^6*c^10*x*z^2 + 5*b^8*c^10*x*z^2 - 10*a^6*c^12*x*z^2 +33*a^4*b^2*c^12*x*z^2 + 4*a^2*b^4*c^12*x*z^2 - 7*b^6*c^12*x*z^2 -3*a^4*c^14*x*z^2 - 14*a^2*b^2*c^14*x*z^2 + 2*b^4*c^14*x*z^2 +4*a^2*c^16*x*z^2 + 2*b^2*c^16*x*z^2 - c^18*x*z^2 - 2*a^16*b^2*y*z^2 +3*a^14*b^4*y*z^2 + 6*a^12*b^6*y*z^2 - 14*a^10*b^8*y*z^2 +6*a^8*b^10*y*z^2 + 3*a^6*b^12*y*z^2 - 2*a^4*b^14*y*z^2 +2*a^16*c^2*y*z^2 + 4*a^14*b^2*c^2*y*z^2 - 24*a^12*b^4*c^2*y*z^2 +20*a^10*b^6*c^2*y*z^2 + 19*a^8*b^8*c^2*y*z^2 - 30*a^6*b^10*c^2*y*z^2 +5*a^4*b^12*c^2*y*z^2 + 4*a^2*b^14*c^2*y*z^2 - 7*a^14*c^4*y*z^2 +10*a^12*b^2*c^4*y*z^2 + 18*a^10*b^4*c^4*y*z^2 - 64*a^8*b^6*c^4*y*z^2 +46*a^6*b^8*c^4*y*z^2 + 18*a^4*b^10*c^4*y*z^2 -19*a^2*b^12*c^4*y*z^2 - 2*b^14*c^4*y*z^2 + 8*a^12*c^6*y*z^2 -20*a^10*b^2*c^6*y*z^2 + 42*a^8*b^4*c^6*y*z^2 - 4*a^6*b^6*c^6*y*z^2 -68*a^4*b^8*c^6*y*z^2 + 30*a^2*b^10*c^6*y*z^2 + 11*b^12*c^6*y*z^2 -4*a^10*c^8*y*z^2 - 8*a^8*b^2*c^8*y*z^2 - 30*a^6*b^4*c^8*y*z^2 +80*a^4*b^6*c^8*y*z^2 - 8*a^2*b^8*c^8*y*z^2 - 24*b^10*c^8*y*z^2 +5*a^8*c^10*y*z^2 + 22*a^6*b^2*c^10*y*z^2 - 39*a^4*b^4*c^10*y*z^2 -28*a^2*b^6*c^10*y*z^2 + 25*b^8*c^10*y*z^2 - 7*a^6*c^12*y*z^2 +4*a^4*b^2*c^12*y*z^2 + 33*a^2*b^4*c^12*y*z^2 - 10*b^6*c^12*y*z^2 +2*a^4*c^14*y*z^2 - 14*a^2*b^2*c^14*y*z^2 - 3*b^4*c^14*y*z^2 +2*a^2*c^16*y*z^2 + 4*b^2*c^16*y*z^2 - c^18*y*z^2 = 0