x^8*y^4 - x^8*y^3 - 4*x^7*y^5 + x^7*y^4 + 4*x^7*y^3 + 6*x^6*y^6 + 5*x^6*y^5 - 
    11*x^6*y^4 - 7*x^6*y^3 + 3*x^6*y^2 - 4*x^5*y^7 - 11*x^5*y^6 + 9*x^5*y^5 + 
    15*x^5*y^4 + 6*x^5*y^3 - 9*x^5*y^2 + x^4*y^8 + 8*x^4*y^7 - 9*x^4*y^5 - 
    20*x^4*y^4 + 6*x^4*y^3 + 13*x^4*y^2 - 3*x^4*y - 2*x^3*y^8 - 3*x^3*y^7 + 
    x^3*y^6 + 9*x^3*y^5 + 15*x^3*y^4 - 17*x^3*y^3 - 8*x^3*y^2 + 6*x^3*y + 
    x^2*y^8 + 3*x^2*y^6 - 14*x^2*y^5 + 5*x^2*y^4 + 6*x^2*y^3 + 5*x^2*y^2 - 
    7*x^2*y + x^2 - x*y^7 + 2*x*y^6 - x*y^5 + 5*x*y^4 - 10*x*y^3 + 4*x*y^2 + 
    2*x*y - x - y^3 + 3*y^2 - 3*y + 1