K544 :
-a^16*c^2*x^2*y + 2*a^14*b^2*c^2*x^2*y + 2*a^10*b^6*c^2*x^2*y -   10*a^8*b^8*c^2*x^2*y + 6*a^6*b^10*c^2*x^2*y + 8*a^4*b^12*c^2*x^2*y -   10*a^2*b^14*c^2*x^2*y + 3*b^16*c^2*x^2*y + 5*a^14*c^4*x^2*y -   10*a^12*b^2*c^4*x^2*y + 11*a^8*b^6*c^4*x^2*y + 5*a^6*b^8*c^4*x^2*y -   36*a^4*b^10*c^4*x^2*y + 38*a^2*b^12*c^4*x^2*y - 13*b^14*c^4*x^2*y -   9*a^12*c^6*x^2*y + 18*a^10*b^2*c^6*x^2*y -   9*a^8*b^4*c^6*x^2*y - 18*a^6*b^6*c^6*x^2*y +   45*a^4*b^8*c^6*x^2*y -   48*a^2*b^10*c^6*x^2*y + 21*b^12*c^6*x^2*y + 5*a^10*c^8*x^2*y -   13*a^8*b^2*c^8*x^2*y + 18*a^6*b^4*c^8*x^2*y - 16*a^4*b^6*c^8*x^2*y +   17*a^2*b^8*c^8*x^2*y - 15*b^10*c^8*x^2*y + 5*a^8*c^10*x^2*y +   2*a^6*b^2*c^10*x^2*y - 6*a^4*b^4*c^10*x^2*y + 8*a^2*b^6*c^10*x^2*y +   5*b^8*c^10*x^2*y - 9*a^6*c^12*x^2*y - 6*a^2*b^4*c^12*x^2*y -   3*b^6*c^12*x^2*y + 5*a^4*c^14*x^2*y + 2*a^2*b^2*c^14*x^2*y +   3*b^4*c^14*x^2*y - a^2*c^16*x^2*y - b^2*c^16*x^2*y -   3*a^16*c^2*x*y^2 +   10*a^14*b^2*c^2*x*y^2 - 8*a^12*b^4*c^2*x*y^2 -   6*a^10*b^6*c^2*x*y^2 + 10*a^8*b^8*c^2*x*y^2 - 2*a^6*b^10*c^2*x*y^2 -   2*a^2*b^14*c^2*x*y^2 + b^16*c^2*x*y^2 + 13*a^14*c^4*x*y^2 -   38*a^12*b^2*c^4*x*y^2 + 36*a^10*b^4*c^4*x*y^2 - 5*a^8*b^6*c^4*x*y^2 -   11*a^6*b^8*c^4*x*y^2 + 10*a^2*b^12*c^4*x*y^2 - 5*b^14*c^4*x*y^2 -   21*a^12*c^6*x*y^2 + 48*a^10*b^2*c^6*x*y^2 - 45*a^8*b^4*c^6*x*y^2 +   18*a^6*b^6*c^6*x*y^2 + 9*a^4*b^8*c^6*x*y^2 -   18*a^2*b^10*c^6*x*y^2 + 9*b^12*c^6*x*y^2 + 15*a^10*c^8*x*y^2 -   17*a^8*b^2*c^8*x*y^2 + 16*a^6*b^4*c^8*x*y^2 - 18*a^4*b^6*c^8*x*y^2 +   13*a^2*b^8*c^8*x*y^2 - 5*b^10*c^8*x*y^2 - 5*a^8*c^10*x*y^2 -   8*a^6*b^2*c^10*x*y^2 + 6*a^4*b^4*c^10*x*y^2 - 2*a^2*b^6*c^10*x*y^2 -   5*b^8*c^10*x*y^2 + 3*a^6*c^12*x*y^2 + 6*a^4*b^2*c^12*x*y^2 +   9*b^6*c^12*x*y^2 - 3*a^4*c^14*x*y^2 - 2*a^2*b^2*c^14*x*y^2 -   5*b^4*c^14*x*y^2 + a^2*c^16*x*y^2 + b^2*c^16*x*y^2 +   a^16*b^2*x^2*z -   5*a^14*b^4*x^2*z + 9*a^12*b^6*x^2*z - 5*a^10*b^8*x^2*z -   5*a^8*b^10*x^2*z + 9*a^6*b^12*x^2*z - 5*a^4*b^14*x^2*z +   a^2*b^16*x^2*z - 2*a^14*b^2*c^2*x^2*z + 10*a^12*b^4*c^2*x^2*z -   18*a^10*b^6*c^2*x^2*z + 13*a^8*b^8*c^2*x^2*z - 2*a^6*b^10*c^2*x^2*z -   2*a^2*b^14*c^2*x^2*z + b^16*c^2*x^2*z + 9*a^8*b^6*c^4*x^2*z -   18*a^6*b^8*c^4*x^2*z + 6*a^4*b^10*c^4*x^2*z + 6*a^2*b^12*c^4*x^2*z -   3*b^14*c^4*x^2*z - 2*a^10*b^2*c^6*x^2*z - 11*a^8*b^4*c^6*x^2*z +   18*a^6*b^6*c^6*x^2*z + 16*a^4*b^8*c^6*x^2*z -   8*a^2*b^10*c^6*x^2*z + 3*b^12*c^6*x^2*z + 10*a^8*b^2*c^8*x^2*z -   5*a^6*b^4*c^8*x^2*z - 45*a^4*b^6*c^8*x^2*z - 17*a^2*b^8*c^8*x^2*z -   5*b^10*c^8*x^2*z - 6*a^6*b^2*c^10*x^2*z + 36*a^4*b^4*c^10*x^2*z +   48*a^2*b^6*c^10*x^2*z + 15*b^8*c^10*x^2*z - 8*a^4*b^2*c^12*x^2*z -   38*a^2*b^4*c^12*x^2*z - 21*b^6*c^12*x^2*z + 10*a^2*b^2*c^14*x^2*z +   13*b^4*c^14*x^2*z - 3*b^2*c^16*x^2*z - a^16*b^2*y^2*z +   5*a^14*b^4*y^2*z - 9*a^12*b^6*y^2*z + 5*a^10*b^8*y^2*z +   5*a^8*b^10*y^2*z - 9*a^6*b^12*y^2*z + 5*a^4*b^14*y^2*z -   a^2*b^16*y^2*z -   a^16*c^2*y^2*z + 2*a^14*b^2*c^2*y^2*z + 2*a^10*b^6*c^2*y^2*z -   13*a^8*b^8*c^2*y^2*z + 18*a^6*b^10*c^2*y^2*z -   10*a^4*b^12*c^2*y^2*z +   2*a^2*b^14*c^2*y^2*z + 3*a^14*c^4*y^2*z - 6*a^12*b^2*c^4*y^2*z -   6*a^10*b^4*c^4*y^2*z + 18*a^8*b^6*c^4*y^2*z -   9*a^6*b^8*c^4*y^2*z - 3*a^12*c^6*y^2*z + 8*a^10*b^2*c^6*y^2*z -   16*a^8*b^4*c^6*y^2*z - 18*a^6*b^6*c^6*y^2*z + 11*a^4*b^8*c^6*y^2*z +   2*a^2*b^10*c^6*y^2*z + 5*a^10*c^8*y^2*z + 17*a^8*b^2*c^8*y^2*z +   45*a^6*b^4*c^8*y^2*z + 5*a^4*b^6*c^8*y^2*z -   10*a^2*b^8*c^8*y^2*z -   15*a^8*c^10*y^2*z - 48*a^6*b^2*c^10*y^2*z - 36*a^4*b^4*c^10*y^2*z +   6*a^2*b^6*c^10*y^2*z + 21*a^6*c^12*y^2*z +   38*a^4*b^2*c^12*y^2*z + 8*a^2*b^4*c^12*y^2*z - 13*a^4*c^14*y^2*z -   10*a^2*b^2*c^14*y^2*z + 3*a^2*c^16*y^2*z + 3*a^16*b^2*x*z^2 -   13*a^14*b^4*x*z^2 + 21*a^12*b^6*x*z^2 - 15*a^10*b^8*x*z^2 +   5*a^8*b^10*x*z^2 - 3*a^6*b^12*x*z^2 + 3*a^4*b^14*x*z^2 -   a^2*b^16*x*z^2 - 10*a^14*b^2*c^2*x*z^2 + 38*a^12*b^4*c^2*x*z^2 -   48*a^10*b^6*c^2*x*z^2 + 17*a^8*b^8*c^2*x*z^2 + 8*a^6*b^10*c^2*x*z^2 -   6*a^4*b^12*c^2*x*z^2 + 2*a^2*b^14*c^2*x*z^2 - b^16*c^2*x*z^2 +   8*a^12*b^2*c^4*x*z^2 - 36*a^10*b^4*c^4*x*z^2 + 45*a^8*b^6*c^4*x*z^2 -   16*a^6*b^8*c^4*x*z^2 - 6*a^4*b^10*c^4*x*z^2 + 5*b^14*c^4*x*z^2 +   6*a^10*b^2*c^6*x*z^2 + 5*a^8*b^4*c^6*x*z^2 -   18*a^6*b^6*c^6*x*z^2 +   18*a^4*b^8*c^6*x*z^2 + 2*a^2*b^10*c^6*x*z^2 - 9*b^12*c^6*x*z^2 -   10*a^8*b^2*c^8*x*z^2 + 11*a^6*b^4*c^8*x*z^2 -   9*a^4*b^6*c^8*x*z^2 - 13*a^2*b^8*c^8*x*z^2 + 5*b^10*c^8*x*z^2 +   2*a^6*b^2*c^10*x*z^2 + 18*a^2*b^6*c^10*x*z^2 + 5*b^8*c^10*x*z^2 -   10*a^2*b^4*c^12*x*z^2 - 9*b^6*c^12*x*z^2 + 2*a^2*b^2*c^14*x*z^2 +   5*b^4*c^14*x*z^2 - b^2*c^16*x*z^2 + a^16*b^2*y*z^2 -   3*a^14*b^4*y*z^2 + 3*a^12*b^6*y*z^2 - 5*a^10*b^8*y*z^2 +   15*a^8*b^10*y*z^2 - 21*a^6*b^12*y*z^2 + 13*a^4*b^14*y*z^2 -   3*a^2*b^16*y*z^2 +   a^16*c^2*y*z^2 - 2*a^14*b^2*c^2*y*z^2 + 6*a^12*b^4*c^2*y*z^2 -   8*a^10*b^6*c^2*y*z^2 - 17*a^8*b^8*c^2*y*z^2 + 48*a^6*b^10*c^2*y*z^2 -   38*a^4*b^12*c^2*y*z^2 + 10*a^2*b^14*c^2*y*z^2 - 5*a^14*c^4*y*z^2 +   6*a^10*b^4*c^4*y*z^2 + 16*a^8*b^6*c^4*y*z^2 - 45*a^6*b^8*c^4*y*z^2 +   36*a^4*b^10*c^4*y*z^2 - 8*a^2*b^12*c^4*y*z^2 + 9*a^12*c^6*y*z^2 -   2*a^10*b^2*c^6*y*z^2 - 18*a^8*b^4*c^6*y*z^2 +   18*a^6*b^6*c^6*y*z^2 - 5*a^4*b^8*c^6*y*z^2 -   6*a^2*b^10*c^6*y*z^2 -   5*a^10*c^8*y*z^2 + 13*a^8*b^2*c^8*y*z^2 + 9*a^6*b^4*c^8*y*z^2 -   11*a^4*b^6*c^8*y*z^2 + 10*a^2*b^8*c^8*y*z^2 - 5*a^8*c^10*y*z^2 -   18*a^6*b^2*c^10*y*z^2 - 2*a^2*b^6*c^10*y*z^2 + 9*a^6*c^12*y*z^2 +   10*a^4*b^2*c^12*y*z^2 - 5*a^4*c^14*y*z^2 - 2*a^2*b^2*c^14*y*z^2 +   a^2*c^16*y*z^2 = 0