K266 : 5*a^16*b^2*x^3 - 31*a^14*b^4*x^3 + 77*a^12*b^6*x^3 - 91*a^10*b^8*x^3 + 35*a^8*b^10*x^3 + 35*a^6*b^12*x^3 - 49*a^4*b^14*x^3 + 23*a^2*b^16*x^3 - 4*b^18*x^3 - 5*a^16*c^2*x^3 + 51*a^12*b^4*c^2*x^3 - 98*a^10*b^6*c^2*x^3 + 75*a^8*b^8*c^2*x^3 - 60*a^6*b^10*c^2*x^3 + 85*a^4*b^12*c^2*x^3 - 66*a^2*b^14*c^2*x^3 + 18*b^16*c^2*x^3 + 31*a^14*c^4*x^3 - 51*a^12*b^2*c^4*x^3 + 16*a^8*b^6*c^4*x^3 + 15*a^6*b^8*c^4*x^3 - 27*a^4*b^10*c^4*x^3 + 34*a^2*b^12*c^4*x^3 - 18*b^14*c^4*x^3 - 77*a^12*c^6*x^3 + 98*a^10*b^2*c^6*x^3 - 16*a^8*b^4*c^6*x^3 - a^4*b^8*c^6*x^3 + 38*a^2*b^10*c^6*x^3 - 42*b^12*c^6*x^3 + 91*a^10*c^8*x^3 - 75*a^8*b^2*c^8*x^3 - 15*a^6*b^4*c^8*x^3 + a^4*b^6*c^8*x^3 + 126*b^10*c^8*x^3 - 35*a^8*c^10*x^3 + 60*a^6*b^2*c^10*x^3 + 27*a^4*b^4*c^10*x^3 - 38*a^2*b^6*c^10*x^3 - 126*b^8*c^10*x^3 - 35*a^6*c^12*x^3 - 85*a^4*b^2*c^12*x^3 - 34*a^2*b^4*c^12*x^3 + 42*b^6*c^12*x^3 + 49*a^4*c^14*x^3 + 66*a^2*b^2*c^14*x^3 + 18*b^4*c^14*x^3 - 23*a^2*c^16*x^3 - 18*b^2*c^16*x^3 + 4*c^18*x^3 + 4*a^18*x^2*y - 18*a^16*b^2*x^2*y + 18*a^14*b^4*x^2*y + 42*a^12*b^6*x^2*y - 126*a^10*b^8*x^2*y + 126*a^8*b^10*x^2*y - 42*a^6*b^12*x^2*y - 18*a^4*b^14*x^2*y + 18*a^2*b^16*x^2*y - 4*b^18*x^2*y - 15*a^16*c^2*x^2*y + 39*a^14*b^2*c^2*x^2*y - 23*a^12*b^4*c^2*x^2*y + 24*a^10*b^6*c^2*x^2*y - 90*a^8*b^8*c^2*x^2*y + 55*a^6*b^10*c^2*x^2*y + 81*a^4*b^12*c^2*x^2*y - 102*a^2*b^14*c^2*x^2*y + 31*b^16*c^2*x^2*y + 14*a^14*c^4*x^2*y - 45*a^12*b^2*c^4*x^2*y - 9*a^10*b^4*c^4*x^2*y + 95*a^8*b^6*c^4*x^2*y + 48*a^6*b^8*c^4*x^2*y - 243*a^4*b^10*c^4*x^2*y + 179*a^2*b^12*c^4*x^2*y - 39*b^14*c^4*x^2*y + 7*a^12*c^6*x^2*y + 48*a^10*b^2*c^6*x^2*y - 114*a^8*b^4*c^6*x^2*y - 186*a^6*b^6*c^6*x^2*y + 393*a^4*b^8*c^6*x^2*y - 54*a^2*b^10*c^6*x^2*y - 94*b^12*c^6*x^2*y + 72*a^8*b^2*c^8*x^2*y + 280*a^6*b^4*c^8*x^2*y - 246*a^4*b^6*c^8*x^2*y - 228*a^2*b^8*c^8*x^2*y + 250*b^10*c^8*x^2*y - 49*a^8*c^10*x^2*y - 225*a^6*b^2*c^10*x^2*y - 51*a^4*b^4*c^10*x^2*y + 362*a^2*b^6*c^10*x^2*y - 141*b^8*c^10*x^2*y + 70*a^6*c^12*x^2*y + 123*a^4*b^2*c^12*x^2*y - 225*a^2*b^4*c^12*x^2*y - 91*b^6*c^12*x^2*y - 39*a^4*c^14*x^2*y + 42*a^2*b^2*c^14*x^2*y + 124*b^4*c^14*x^2*y + 8*a^2*c^16*x^2*y - 36*b^2*c^16*x^2*y + 4*a^18*x*y^2 - 18*a^16*b^2*x*y^2 + 18*a^14*b^4*x*y^2 + 42*a^12*b^6*x*y^2 - 126*a^10*b^8*x*y^2 + 126*a^8*b^10*x*y^2 - 42*a^6*b^12*x*y^2 - 18*a^4*b^14*x*y^2 + 18*a^2*b^16*x*y^2 - 4*b^18*x*y^2 - 31*a^16*c^2*x*y^2 + 102*a^14*b^2*c^2*x*y^2 - 81*a^12*b^4*c^2*x*y^2 - 55*a^10*b^6*c^2*x*y^2 + 90*a^8*b^8*c^2*x*y^2 - 24*a^6*b^10*c^2*x*y^2 + 23*a^4*b^12*c^2*x*y^2 - 39*a^2*b^14*c^2*x*y^2 + 15*b^16*c^2*x*y^2 + 39*a^14*c^4*x*y^2 - 179*a^12*b^2*c^4*x*y^2 + 243*a^10*b^4*c^4*x*y^2 - 48*a^8*b^6*c^4*x*y^2 - 95*a^6*b^8*c^4*x*y^2 + 9*a^4*b^10*c^4*x*y^2 + 45*a^2*b^12*c^4*x*y^2 - 14*b^14*c^4*x*y^2 + 94*a^12*c^6*x*y^2 + 54*a^10*b^2*c^6*x*y^2 - 393*a^8*b^4*c^6*x*y^2 + 186*a^6*b^6*c^6*x*y^2 + 114*a^4*b^8*c^6*x*y^2 - 48*a^2*b^10*c^6*x*y^2 - 7*b^12*c^6*x*y^2 - 250*a^10*c^8*x*y^2 + 228*a^8*b^2*c^8*x*y^2 + 246*a^6*b^4*c^8*x*y^2 - 280*a^4*b^6*c^8*x*y^2 - 72*a^2*b^8*c^8*x*y^2 + 141*a^8*c^10*x*y^2 - 362*a^6*b^2*c^10*x*y^2 + 51*a^4*b^4*c^10*x*y^2 + 225*a^2*b^6*c^10*x*y^2 + 49*b^8*c^10*x*y^2 + 91*a^6*c^12*x*y^2 + 225*a^4*b^2*c^12*x*y^2 - 123*a^2*b^4*c^12*x*y^2 - 70*b^6*c^12*x*y^2 - 124*a^4*c^14*x*y^2 - 42*a^2*b^2*c^14*x*y^2 + 39*b^4*c^14*x*y^2 + 36*a^2*c^16*x*y^2 - 8*b^2*c^16*x*y^2 + 4*a^18*y^3 - 23*a^16*b^2*y^3 + 49*a^14*b^4*y^3 - 35*a^12*b^6*y^3 - 35*a^10*b^8*y^3 + 91*a^8*b^10*y^3 - 77*a^6*b^12*y^3 + 31*a^4*b^14*y^3 - 5*a^2*b^16*y^3 - 18*a^16*c^2*y^3 + 66*a^14*b^2*c^2*y^3 - 85*a^12*b^4*c^2*y^3 + 60*a^10*b^6*c^2*y^3 - 75*a^8*b^8*c^2*y^3 + 98*a^6*b^10*c^2*y^3 - 51*a^4*b^12*c^2*y^3 + 5*b^16*c^2*y^3 + 18*a^14*c^4*y^3 - 34*a^12*b^2*c^4*y^3 + 27*a^10*b^4*c^4*y^3 - 15*a^8*b^6*c^4*y^3 - 16*a^6*b^8*c^4*y^3 + 51*a^2*b^12*c^4*y^3 - 31*b^14*c^4*y^3 + 42*a^12*c^6*y^3 - 38*a^10*b^2*c^6*y^3 + a^8*b^4*c^6*y^3 + 16*a^4*b^8*c^6*y^3 - 98*a^2*b^10*c^6*y^3 + 77*b^12*c^6*y^3 - 126*a^10*c^8*y^3 - a^6*b^4*c^8*y^3 + 15*a^4*b^6*c^8*y^3 + 75*a^2*b^8*c^8*y^3 - 91*b^10*c^8*y^3 + 126*a^8*c^10*y^3 + 38*a^6*b^2*c^10*y^3 - 27*a^4*b^4*c^10*y^3 - 60*a^2*b^6*c^10*y^3 + 35*b^8*c^10*y^3 - 42*a^6*c^12*y^3 + 34*a^4*b^2*c^12*y^3 + 85*a^2*b^4*c^12*y^3 + 35*b^6*c^12*y^3 - 18*a^4*c^14*y^3 - 66*a^2*b^2*c^14*y^3 - 49*b^4*c^14*y^3 + 18*a^2*c^16*y^3 + 23*b^2*c^16*y^3 - 4*c^18*y^3 - 4*a^18*x^2*z + 15*a^16*b^2*x^2*z - 14*a^14*b^4*x^2*z - 7*a^12*b^6*x^2*z + 49*a^8*b^10*x^2*z - 70*a^6*b^12*x^2*z + 39*a^4*b^14*x^2*z - 8*a^2*b^16*x^2*z + 18*a^16*c^2*x^2*z - 39*a^14*b^2*c^2*x^2*z + 45*a^12*b^4*c^2*x^2*z - 48*a^10*b^6*c^2*x^2*z - 72*a^8*b^8*c^2*x^2*z + 225*a^6*b^10*c^2*x^2*z - 123*a^4*b^12*c^2*x^2*z - 42*a^2*b^14*c^2*x^2*z + 36*b^16*c^2*x^2*z - 18*a^14*c^4*x^2*z + 23*a^12*b^2*c^4*x^2*z + 9*a^10*b^4*c^4*x^2*z + 114*a^8*b^6*c^4*x^2*z - 280*a^6*b^8*c^4*x^2*z + 51*a^4*b^10*c^4*x^2*z + 225*a^2*b^12*c^4*x^2*z - 124*b^14*c^4*x^2*z - 42*a^12*c^6*x^2*z - 24*a^10*b^2*c^6*x^2*z - 95*a^8*b^4*c^6*x^2*z + 186*a^6*b^6*c^6*x^2*z + 246*a^4*b^8*c^6*x^2*z - 362*a^2*b^10*c^6*x^2*z + 91*b^12*c^6*x^2*z + 126*a^10*c^8*x^2*z + 90*a^8*b^2*c^8*x^2*z - 48*a^6*b^4*c^8*x^2*z - 393*a^4*b^6*c^8*x^2*z + 228*a^2*b^8*c^8*x^2*z + 141*b^10*c^8*x^2*z - 126*a^8*c^10*x^2*z - 55*a^6*b^2*c^10*x^2*z + 243*a^4*b^4*c^10*x^2*z + 54*a^2*b^6*c^10*x^2*z - 250*b^8*c^10*x^2*z + 42*a^6*c^12*x^2*z - 81*a^4*b^2*c^12*x^2*z - 179*a^2*b^4*c^12*x^2*z + 94*b^6*c^12*x^2*z + 18*a^4*c^14*x^2*z + 102*a^2*b^2*c^14*x^2*z + 39*b^4*c^14*x^2*z - 18*a^2*c^16*x^2*z - 31*b^2*c^16*x^2*z + 4*c^18*x^2*z + 2*a^16*b^2*x*y*z - 14*a^14*b^4*x*y*z + 42*a^12*b^6*x*y*z - 70*a^10*b^8*x*y*z + 70*a^8*b^10*x*y*z - 42*a^6*b^12*x*y*z + 14*a^4*b^14*x*y*z - 2*a^2*b^16*x*y*z - 2*a^16*c^2*x*y*z + 20*a^12*b^4*c^2*x*y*z - 32*a^10*b^6*c^2*x*y*z + 32*a^6*b^10*c^2*x*y*z - 20*a^4*b^12*c^2*x*y*z + 2*b^16*c^2*x*y*z + 14*a^14*c^4*x*y*z - 20*a^12*b^2*c^4*x*y*z + 2*a^8*b^6*c^4*x*y*z - 2*a^6*b^8*c^4*x*y*z + 20*a^2*b^12*c^4*x*y*z - 14*b^14*c^4*x*y*z - 42*a^12*c^6*x*y*z + 32*a^10*b^2*c^6*x*y*z - 2*a^8*b^4*c^6*x*y*z + 2*a^4*b^8*c^6*x*y*z - 32*a^2*b^10*c^6*x*y*z + 42*b^12*c^6*x*y*z + 70*a^10*c^8*x*y*z + 2*a^6*b^4*c^8*x*y*z - 2*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 - 32*a^6*b^2*c^10*x*y*z + 32*a^2*b^6*c^10*x*y*z + 70*b^8*c^10*x*y*z + 42*a^6*c^12*x*y*z + 20*a^4*b^2*c^12*x*y*z - 20*a^2*b^4*c^12*x*y*z - 42*b^6*c^12*x*y*z - 14*a^4*c^14*x*y*z + 14*b^4*c^14*x*y*z + 2*a^2*c^16*x*y*z - 2*b^2*c^16*x*y*z + 8*a^16*b^2*y^2*z - 39*a^14*b^4*y^2*z + 70*a^12*b^6*y^2*z - 49*a^10*b^8*y^2*z + 7*a^6*b^12*y^2*z + 14*a^4*b^14*y^2*z - 15*a^2*b^16*y^2*z + 4*b^18*y^2*z - 36*a^16*c^2*y^2*z + 42*a^14*b^2*c^2*y^2*z + 123*a^12*b^4*c^2*y^2*z - 225*a^10*b^6*c^2*y^2*z + 72*a^8*b^8*c^2*y^2*z + 48*a^6*b^10*c^2*y^2*z - 45*a^4*b^12*c^2*y^2*z + 39*a^2*b^14*c^2*y^2*z - 18*b^16*c^2*y^2*z + 124*a^14*c^4*y^2*z - 225*a^12*b^2*c^4*y^2*z - 51*a^10*b^4*c^4*y^2*z + 280*a^8*b^6*c^4*y^2*z - 114*a^6*b^8*c^4*y^2*z - 9*a^4*b^10*c^4*y^2*z - 23*a^2*b^12*c^4*y^2*z + 18*b^14*c^4*y^2*z - 91*a^12*c^6*y^2*z + 362*a^10*b^2*c^6*y^2*z - 246*a^8*b^4*c^6*y^2*z - 186*a^6*b^6*c^6*y^2*z + 95*a^4*b^8*c^6*y^2*z + 24*a^2*b^10*c^6*y^2*z + 42*b^12*c^6*y^2*z - 141*a^10*c^8*y^2*z - 228*a^8*b^2*c^8*y^2*z + 393*a^6*b^4*c^8*y^2*z + 48*a^4*b^6*c^8*y^2*z - 90*a^2*b^8*c^8*y^2*z - 126*b^10*c^8*y^2*z + 250*a^8*c^10*y^2*z - 54*a^6*b^2*c^10*y^2*z - 243*a^4*b^4*c^10*y^2*z + 55*a^2*b^6*c^10*y^2*z + 126*b^8*c^10*y^2*z - 94*a^6*c^12*y^2*z + 179*a^4*b^2*c^12*y^2*z + 81*a^2*b^4*c^12*y^2*z - 42*b^6*c^12*y^2*z - 39*a^4*c^14*y^2*z - 102*a^2*b^2*c^14*y^2*z - 18*b^4*c^14*y^2*z + 31*a^2*c^16*y^2*z + 18*b^2*c^16*y^2*z - 4*c^18*y^2*z - 4*a^18*x*z^2 + 31*a^16*b^2*x*z^2 - 39*a^14*b^4*x*z^2 - 94*a^12*b^6*x*z^2 + 250*a^10*b^8*x*z^2 - 141*a^8*b^10*x*z^2 - 91*a^6*b^12*x*z^2 + 124*a^4*b^14*x*z^2 - 36*a^2*b^16*x*z^2 + 18*a^16*c^2*x*z^2 - 102*a^14*b^2*c^2*x*z^2 + 179*a^12*b^4*c^2*x*z^2 - 54*a^10*b^6*c^2*x*z^2 - 228*a^8*b^8*c^2*x*z^2 + 362*a^6*b^10*c^2*x*z^2 - 225*a^4*b^12*c^2*x*z^2 + 42*a^2*b^14*c^2*x*z^2 + 8*b^16*c^2*x*z^2 - 18*a^14*c^4*x*z^2 + 81*a^12*b^2*c^4*x*z^2 - 243*a^10*b^4*c^4*x*z^2 + 393*a^8*b^6*c^4*x*z^2 - 246*a^6*b^8*c^4*x*z^2 - 51*a^4*b^10*c^4*x*z^2 + 123*a^2*b^12*c^4*x*z^2 - 39*b^14*c^4*x*z^2 - 42*a^12*c^6*x*z^2 + 55*a^10*b^2*c^6*x*z^2 + 48*a^8*b^4*c^6*x*z^2 - 186*a^6*b^6*c^6*x*z^2 + 280*a^4*b^8*c^6*x*z^2 - 225*a^2*b^10*c^6*x*z^2 + 70*b^12*c^6*x*z^2 + 126*a^10*c^8*x*z^2 - 90*a^8*b^2*c^8*x*z^2 + 95*a^6*b^4*c^8*x*z^2 - 114*a^4*b^6*c^8*x*z^2 + 72*a^2*b^8*c^8*x*z^2 - 49*b^10*c^8*x*z^2 - 126*a^8*c^10*x*z^2 + 24*a^6*b^2*c^10*x*z^2 - 9*a^4*b^4*c^10*x*z^2 + 48*a^2*b^6*c^10*x*z^2 + 42*a^6*c^12*x*z^2 - 23*a^4*b^2*c^12*x*z^2 - 45*a^2*b^4*c^12*x*z^2 + 7*b^6*c^12*x*z^2 + 18*a^4*c^14*x*z^2 + 39*a^2*b^2*c^14*x*z^2 + 14*b^4*c^14*x*z^2 - 18*a^2*c^16*x*z^2 - 15*b^2*c^16*x*z^2 + 4*c^18*x*z^2 + 36*a^16*b^2*y*z^2 - 124*a^14*b^4*y*z^2 + 91*a^12*b^6*y*z^2 + 141*a^10*b^8*y*z^2 - 250*a^8*b^10*y*z^2 + 94*a^6*b^12*y*z^2 + 39*a^4*b^14*y*z^2 - 31*a^2*b^16*y*z^2 + 4*b^18*y*z^2 - 8*a^16*c^2*y*z^2 - 42*a^14*b^2*c^2*y*z^2 + 225*a^12*b^4*c^2*y*z^2 - 362*a^10*b^6*c^2*y*z^2 + 228*a^8*b^8*c^2*y*z^2 + 54*a^6*b^10*c^2*y*z^2 - 179*a^4*b^12*c^2*y*z^2 + 102*a^2*b^14*c^2*y*z^2 - 18*b^16*c^2*y*z^2 + 39*a^14*c^4*y*z^2 - 123*a^12*b^2*c^4*y*z^2 + 51*a^10*b^4*c^4*y*z^2 + 246*a^8*b^6*c^4*y*z^2 - 393*a^6*b^8*c^4*y*z^2 + 243*a^4*b^10*c^4*y*z^2 - 81*a^2*b^12*c^4*y*z^2 + 18*b^14*c^4*y*z^2 - 70*a^12*c^6*y*z^2 + 225*a^10*b^2*c^6*y*z^2 - 280*a^8*b^4*c^6*y*z^2 + 186*a^6*b^6*c^6*y*z^2 - 48*a^4*b^8*c^6*y*z^2 - 55*a^2*b^10*c^6*y*z^2 + 42*b^12*c^6*y*z^2 + 49*a^10*c^8*y*z^2 - 72*a^8*b^2*c^8*y*z^2 + 114*a^6*b^4*c^8*y*z^2 - 95*a^4*b^6*c^8*y*z^2 + 90*a^2*b^8*c^8*y*z^2 - 126*b^10*c^8*y*z^2 - 48*a^6*b^2*c^10*y*z^2 + 9*a^4*b^4*c^10*y*z^2 - 24*a^2*b^6*c^10*y*z^2 + 126*b^8*c^10*y*z^2 - 7*a^6*c^12*y*z^2 + 45*a^4*b^2*c^12*y*z^2 + 23*a^2*b^4*c^12*y*z^2 - 42*b^6*c^12*y*z^2 - 14*a^4*c^14*y*z^2 - 39*a^2*b^2*c^14*y*z^2 - 18*b^4*c^14*y*z^2 + 15*a^2*c^16*y*z^2 + 18*b^2*c^16*y*z^2 - 4*c^18*y*z^2 - 4*a^18*z^3 + 18*a^16*b^2*z^3 - 18*a^14*b^4*z^3 - 42*a^12*b^6*z^3 + 126*a^10*b^8*z^3 - 126*a^8*b^10*z^3 + 42*a^6*b^12*z^3 + 18*a^4*b^14*z^3 - 18*a^2*b^16*z^3 + 4*b^18*z^3 + 23*a^16*c^2*z^3 - 66*a^14*b^2*c^2*z^3 + 34*a^12*b^4*c^2*z^3 + 38*a^10*b^6*c^2*z^3 - 38*a^6*b^10*c^2*z^3 - 34*a^4*b^12*c^2*z^3 + 66*a^2*b^14*c^2*z^3 - 23*b^16*c^2*z^3 - 49*a^14*c^4*z^3 + 85*a^12*b^2*c^4*z^3 - 27*a^10*b^4*c^4*z^3 - a^8*b^6*c^4*z^3 + a^6*b^8*c^4*z^3 + 27*a^4*b^10*c^4*z^3 - 85*a^2*b^12*c^4*z^3 + 49*b^14*c^4*z^3 + 35*a^12*c^6*z^3 - 60*a^10*b^2*c^6*z^3 + 15*a^8*b^4*c^6*z^3 - 15*a^4*b^8*c^6*z^3 + 60*a^2*b^10*c^6*z^3 - 35*b^12*c^6*z^3 + 35*a^10*c^8*z^3 + 75*a^8*b^2*c^8*z^3 + 16*a^6*b^4*c^8*z^3 - 16*a^4*b^6*c^8*z^3 - 75*a^2*b^8*c^8*z^3 - 35*b^10*c^8*z^3 - 91*a^8*c^10*z^3 - 98*a^6*b^2*c^10*z^3 + 98*a^2*b^6*c^10*z^3 + 91*b^8*c^10*z^3 + 77*a^6*c^12*z^3 + 51*a^4*b^2*c^12*z^3 - 51*a^2*b^4*c^12*z^3 - 77*b^6*c^12*z^3 - 31*a^4*c^14*z^3 + 31*b^4*c^14*z^3 + 5*a^2*c^16*z^3 - 5*b^2*c^16*z^3 = 0