K597 :
2*a^16*b^2*x^2*y - 13*a^14*b^4*x^2*y + 35*a^12*b^6*x^2*y -   49*a^10*b^8*x^2*y + 35*a^8*b^10*x^2*y - 7*a^6*b^12*x^2*y -   7*a^4*b^14*x^2*y + 5*a^2*b^16*x^2*y - b^18*x^2*y + 2*a^16*c^2*x^2*y -   2*a^14*b^2*c^2*x^2*y - 8*a^12*b^4*c^2*x^2*y + a^10*b^6*c^2*x^2*y +   45*a^8*b^8*c^2*x^2*y - 72*a^6*b^10*c^2*x^2*y + 42*a^4*b^12*c^2*x^2*y -   7*a^2*b^14*c^2*x^2*y - b^16*c^2*x^2*y - 5*a^14*c^4*x^2*y +   17*a^12*b^2*c^4*x^2*y + 25*a^10*b^4*c^4*x^2*y - 120*a^8*b^6*c^4*x^2*y +   106*a^6*b^8*c^4*x^2*y + 2*a^4*b^10*c^4*x^2*y - 34*a^2*b^12*c^4*x^2*y +   9*b^14*c^4*x^2*y - 4*a^12*c^6*x^2*y -   41*a^10*b^2*c^6*x^2*y + 86*a^8*b^4*c^6*x^2*y + 36*a^6*b^6*c^6*x^2*y -   142*a^4*b^8*c^6*x^2*y + 66*a^2*b^10*c^6*x^2*y - b^12*c^6*x^2*y +   24*a^10*c^8*x^2*y - a^8*b^2*c^8*x^2*y - 136*a^6*b^4*c^8*x^2*y +   128*a^4*b^6*c^8*x^2*y + 10*a^2*b^8*c^8*x^2*y - 26*b^10*c^8*x^2*y -   25*a^8*c^10*x^2*y + 66*a^6*b^2*c^10*x^2*y + 18*a^4*b^4*c^10*x^2*y -   80*a^2*b^6*c^10*x^2*y + 26*b^8*c^10*x^2*y + 3*a^6*c^12*x^2*y -   51*a^4*b^2*c^12*x^2*y + 37*a^2*b^4*c^12*x^2*y + b^6*c^12*x^2*y +   10*a^4*c^14*x^2*y + 9*a^2*b^2*c^14*x^2*y - 9*b^4*c^14*x^2*y -   6*a^2*c^16*x^2*y + b^2*c^16*x^2*y + c^18*x^2*y + a^18*x*y^2 -   5*a^16*b^2*x*y^2 + 7*a^14*b^4*x*y^2 + 7*a^12*b^6*x*y^2 -   35*a^10*b^8*x*y^2 + 49*a^8*b^10*x*y^2 - 35*a^6*b^12*x*y^2 +   13*a^4*b^14*x*y^2 - 2*a^2*b^16*x*y^2 + a^16*c^2*x*y^2 +   7*a^14*b^2*c^2*x*y^2 -   42*a^12*b^4*c^2*x*y^2 + 72*a^10*b^6*c^2*x*y^2 - 45*a^8*b^8*c^2*x*y^2 -   a^6*b^10*c^2*x*y^2 + 8*a^4*b^12*c^2*x*y^2 + 2*a^2*b^14*c^2*x*y^2 -   2*b^16*c^2*x*y^2 - 9*a^14*c^4*x*y^2 + 34*a^12*b^2*c^4*x*y^2 -   2*a^10*b^4*c^4*x*y^2 - 106*a^8*b^6*c^4*x*y^2 + 120*a^6*b^8*c^4*x*y^2 -   25*a^4*b^10*c^4*x*y^2 - 17*a^2*b^12*c^4*x*y^2 + 5*b^14*c^4*x*y^2 +   a^12*c^6*x*y^2 - 66*a^10*b^2*c^6*x*y^2 + 142*a^8*b^4*c^6*x*y^2 -   36*a^6*b^6*c^6*x*y^2 - 86*a^4*b^8*c^6*x*y^2 + 41*a^2*b^10*c^6*x*y^2 +   4*b^12*c^6*x*y^2 + 26*a^10*c^8*x*y^2 - 10*a^8*b^2*c^8*x*y^2 -   128*a^6*b^4*c^8*x*y^2 + 136*a^4*b^6*c^8*x*y^2 + a^2*b^8*c^8*x*y^2 -   24*b^10*c^8*x*y^2 - 26*a^8*c^10*x*y^2 + 80*a^6*b^2*c^10*x*y^2 -   18*a^4*b^4*c^10*x*y^2 - 66*a^2*b^6*c^10*x*y^2 + 25*b^8*c^10*x*y^2 -   a^6*c^12*x*y^2 - 37*a^4*b^2*c^12*x*y^2 + 51*a^2*b^4*c^12*x*y^2 -   3*b^6*c^12*x*y^2 + 9*a^4*c^14*x*y^2 - 9*a^2*b^2*c^14*x*y^2 -   10*b^4*c^14*x*y^2 - a^2*c^16*x*y^2 + 6*b^2*c^16*x*y^2 - c^18*x*y^2 -   2*a^16*b^2*x^2*z + 5*a^14*b^4*x^2*z + 4*a^12*b^6*x^2*z -   24*a^10*b^8*x^2*z + 25*a^8*b^10*x^2*z - 3*a^6*b^12*x^2*z -   10*a^4*b^14*x^2*z + 6*a^2*b^16*x^2*z - b^18*x^2*z - 2*a^16*c^2*x^2*z +   2*a^14*b^2*c^2*x^2*z - 17*a^12*b^4*c^2*x^2*z + 41*a^10*b^6*c^2*x^2*z +   a^8*b^8*c^2*x^2*z - 66*a^6*b^10*c^2*x^2*z + 51*a^4*b^12*c^2*x^2*z -   9*a^2*b^14*c^2*x^2*z - b^16*c^2*x^2*z + 13*a^14*c^4*x^2*z +   8*a^12*b^2*c^4*x^2*z - 25*a^10*b^4*c^4*x^2*z - 86*a^8*b^6*c^4*x^2*z +   136*a^6*b^8*c^4*x^2*z - 18*a^4*b^10*c^4*x^2*z - 37*a^2*b^12*c^4*x^2*z +   9*b^14*c^4*x^2*z - 35*a^12*c^6*x^2*z - a^10*b^2*c^6*x^2*z +   120*a^8*b^4*c^6*x^2*z - 36*a^6*b^6*c^6*x^2*z - 128*a^4*b^8*c^6*x^2*z +   80*a^2*b^10*c^6*x^2*z - b^12*c^6*x^2*z + 49*a^10*c^8*x^2*z -   45*a^8*b^2*c^8*x^2*z - 106*a^6*b^4*c^8*x^2*z + 142*a^4*b^6*c^8*x^2*z -   10*a^2*b^8*c^8*x^2*z - 26*b^10*c^8*x^2*z - 35*a^8*c^10*x^2*z +   72*a^6*b^2*c^10*x^2*z - 2*a^4*b^4*c^10*x^2*z - 66*a^2*b^6*c^10*x^2*z +   26*b^8*c^10*x^2*z + 7*a^6*c^12*x^2*z - 42*a^4*b^2*c^12*x^2*z +   34*a^2*b^4*c^12*x^2*z + b^6*c^12*x^2*z + 7*a^4*c^14*x^2*z +   7*a^2*b^2*c^14*x^2*z - 9*b^4*c^14*x^2*z - 5*a^2*c^16*x^2*z +   b^2*c^16*x^2*z + c^18*x^2*z - 2*a^16*b^2*x*y*z + 28*a^12*b^6*x*y*z -   70*a^10*b^8*x*y*z + 70*a^8*b^10*x*y*z - 28*a^6*b^12*x*y*z +   2*a^2*b^16*x*y*z + 2*a^16*c^2*x*y*z - 54*a^12*b^4*c^2*x*y*z +   100*a^10*b^6*c^2*x*y*z - 100*a^6*b^10*c^2*x*y*z + 54*a^4*b^12*c^2*x*y*z -   2*b^16*c^2*x*y*z + 54*a^12*b^2*c^4*x*y*z - 260*a^8*b^6*c^4*x*y*z +   260*a^6*b^8*c^4*x*y*z - 54*a^2*b^12*c^4*x*y*z - 28*a^12*c^6*x*y*z -   100*a^10*b^2*c^6*x*y*z + 260*a^8*b^4*c^6*x*y*z - 260*a^4*b^8*c^6*x*y*z +   100*a^2*b^10*c^6*x*y*z + 28*b^12*c^6*x*y*z +   70*a^10*c^8*x*y*z - 260*a^6*b^4*c^8*x*y*z + 260*a^4*b^6*c^8*x*y*z -   70*b^10*c^8*x*y*z - 70*a^8*c^10*x*y*z + 100*a^6*b^2*c^10*x*y*z -   100*a^2*b^6*c^10*x*y*z + 70*b^8*c^10*x*y*z + 28*a^6*c^12*x*y*z -   54*a^4*b^2*c^12*x*y*z + 54*a^2*b^4*c^12*x*y*z - 28*b^6*c^12*x*y*z -   2*a^2*c^16*x*y*z + 2*b^2*c^16*x*y*z + a^18*y^2*z - 6*a^16*b^2*y^2*z +   10*a^14*b^4*y^2*z + 3*a^12*b^6*y^2*z - 25*a^10*b^8*y^2*z +   24*a^8*b^10*y^2*z - 4*a^6*b^12*y^2*z - 5*a^4*b^14*y^2*z +   2*a^2*b^16*y^2*z + a^16*c^2*y^2*z + 9*a^14*b^2*c^2*y^2*z -   51*a^12*b^4*c^2*y^2*z + 66*a^10*b^6*c^2*y^2*z - a^8*b^8*c^2*y^2*z -   41*a^6*b^10*c^2*y^2*z + 17*a^4*b^12*c^2*y^2*z - 2*a^2*b^14*c^2*y^2*z +   2*b^16*c^2*y^2*z - 9*a^14*c^4*y^2*z + 37*a^12*b^2*c^4*y^2*z +   18*a^10*b^4*c^4*y^2*z - 136*a^8*b^6*c^4*y^2*z +   86*a^6*b^8*c^4*y^2*z + 25*a^4*b^10*c^4*y^2*z - 8*a^2*b^12*c^4*y^2*z -   13*b^14*c^4*y^2*z + a^12*c^6*y^2*z - 80*a^10*b^2*c^6*y^2*z +   128*a^8*b^4*c^6*y^2*z + 36*a^6*b^6*c^6*y^2*z - 120*a^4*b^8*c^6*y^2*z +   a^2*b^10*c^6*y^2*z + 35*b^12*c^6*y^2*z + 26*a^10*c^8*y^2*z +   10*a^8*b^2*c^8*y^2*z - 142*a^6*b^4*c^8*y^2*z + 106*a^4*b^6*c^8*y^2*z +   45*a^2*b^8*c^8*y^2*z - 49*b^10*c^8*y^2*z - 26*a^8*c^10*y^2*z +   66*a^6*b^2*c^10*y^2*z + 2*a^4*b^4*c^10*y^2*z - 72*a^2*b^6*c^10*y^2*z +   35*b^8*c^10*y^2*z - a^6*c^12*y^2*z - 34*a^4*b^2*c^12*y^2*z +   42*a^2*b^4*c^12*y^2*z - 7*b^6*c^12*y^2*z + 9*a^4*c^14*y^2*z -   7*a^2*b^2*c^14*y^2*z - 7*b^4*c^14*y^2*z - a^2*c^16*y^2*z +   5*b^2*c^16*y^2*z - c^18*y^2*z - a^18*x*z^2 - a^16*b^2*x*z^2 +   9*a^14*b^4*x*z^2 - a^12*b^6*x*z^2 - 26*a^10*b^8*x*z^2 +   26*a^8*b^10*x*z^2 +   a^6*b^12*x*z^2 - 9*a^4*b^14*x*z^2 + a^2*b^16*x*z^2 + b^18*x*z^2 +   5*a^16*c^2*x*z^2 - 7*a^14*b^2*c^2*x*z^2 - 34*a^12*b^4*c^2*x*z^2 +   66*a^10*b^6*c^2*x*z^2 + 10*a^8*b^8*c^2*x*z^2 - 80*a^6*b^10*c^2*x*z^2 +   37*a^4*b^12*c^2*x*z^2 + 9*a^2*b^14*c^2*x*z^2 - 6*b^16*c^2*x*z^2 -   7*a^14*c^4*x*z^2 + 42*a^12*b^2*c^4*x*z^2 + 2*a^10*b^4*c^4*x*z^2 -   142*a^8*b^6*c^4*x*z^2 + 128*a^6*b^8*c^4*x*z^2 +   18*a^4*b^10*c^4*x*z^2 - 51*a^2*b^12*c^4*x*z^2 + 10*b^14*c^4*x*z^2 -   7*a^12*c^6*x*z^2 - 72*a^10*b^2*c^6*x*z^2 + 106*a^8*b^4*c^6*x*z^2 +   36*a^6*b^6*c^6*x*z^2 - 136*a^4*b^8*c^6*x*z^2 +   66*a^2*b^10*c^6*x*z^2 + 3*b^12*c^6*x*z^2 + 35*a^10*c^8*x*z^2 +   45*a^8*b^2*c^8*x*z^2 - 120*a^6*b^4*c^8*x*z^2 + 86*a^4*b^6*c^8*x*z^2 -   a^2*b^8*c^8*x*z^2 - 25*b^10*c^8*x*z^2 - 49*a^8*c^10*x*z^2 +   a^6*b^2*c^10*x*z^2 + 25*a^4*b^4*c^10*x*z^2 - 41*a^2*b^6*c^10*x*z^2 +   24*b^8*c^10*x*z^2 + 35*a^6*c^12*x*z^2 - 8*a^4*b^2*c^12*x*z^2 +   17*a^2*b^4*c^12*x*z^2 - 4*b^6*c^12*x*z^2 - 13*a^4*c^14*x*z^2 -   2*a^2*b^2*c^14*x*z^2 - 5*b^4*c^14*x*z^2 + 2*a^2*c^16*x*z^2 +   2*b^2*c^16*x*z^2 - a^18*y*z^2 - a^16*b^2*y*z^2 + 9*a^14*b^4*y*z^2 -   a^12*b^6*y*z^2 - 26*a^10*b^8*y*z^2 + 26*a^8*b^10*y*z^2 + a^6*b^12*y*z^2 -   9*a^4*b^14*y*z^2 + a^2*b^16*y*z^2 + b^18*y*z^2 + 6*a^16*c^2*y*z^2 -   9*a^14*b^2*c^2*y*z^2 - 37*a^12*b^4*c^2*y*z^2 + 80*a^10*b^6*c^2*y*z^2 -   10*a^8*b^8*c^2*y*z^2 - 66*a^6*b^10*c^2*y*z^2 +   34*a^4*b^12*c^2*y*z^2 + 7*a^2*b^14*c^2*y*z^2 - 5*b^16*c^2*y*z^2 -   10*a^14*c^4*y*z^2 + 51*a^12*b^2*c^4*y*z^2 - 18*a^10*b^4*c^4*y*z^2 -   128*a^8*b^6*c^4*y*z^2 + 142*a^6*b^8*c^4*y*z^2 -   2*a^4*b^10*c^4*y*z^2 - 42*a^2*b^12*c^4*y*z^2 + 7*b^14*c^4*y*z^2 -   3*a^12*c^6*y*z^2 - 66*a^10*b^2*c^6*y*z^2 + 136*a^8*b^4*c^6*y*z^2 -   36*a^6*b^6*c^6*y*z^2 - 106*a^4*b^8*c^6*y*z^2 +   72*a^2*b^10*c^6*y*z^2 + 7*b^12*c^6*y*z^2 + 25*a^10*c^8*y*z^2 +   a^8*b^2*c^8*y*z^2 - 86*a^6*b^4*c^8*y*z^2 + 120*a^4*b^6*c^8*y*z^2 -   45*a^2*b^8*c^8*y*z^2 - 35*b^10*c^8*y*z^2 - 24*a^8*c^10*y*z^2 +   41*a^6*b^2*c^10*y*z^2 - 25*a^4*b^4*c^10*y*z^2 - a^2*b^6*c^10*y*z^2 +   49*b^8*c^10*y*z^2 + 4*a^6*c^12*y*z^2 - 17*a^4*b^2*c^12*y*z^2 +   8*a^2*b^4*c^12*y*z^2 - 35*b^6*c^12*y*z^2 + 5*a^4*c^14*y*z^2 +   2*a^2*b^2*c^14*y*z^2 + 13*b^4*c^14*y*z^2 - 2*a^2*c^16*y*z^2 -   2*b^2*c^16*y*z^2 = 0