x^11*y^5 - x^11*y^4 + 9*x^10*y^5 - 17*x^10*y^4 + 8*x^10*y^3 - x^10*y^2 + 
    4*x^9*y^6 + 15*x^9*y^5 - 63*x^9*y^4 + 56*x^9*y^3 - 18*x^9*y^2 + 2*x^9*y + 
    23*x^8*y^6 - 47*x^8*y^5 - 40*x^8*y^4 + 108*x^8*y^3 - 63*x^8*y^2 + 14*x^8*y -
    x^8 + 6*x^7*y^7 + 26*x^7*y^6 - 161*x^7*y^5 + 165*x^7*y^4 - 2*x^7*y^3 - 
    60*x^7*y^2 + 25*x^7*y - 3*x^7 + 26*x^6*y^7 - 70*x^6*y^6 - 65*x^6*y^5 + 
    253*x^6*y^4 - 182*x^6*y^3 + 29*x^6*y^2 + 11*x^6*y - 3*x^6 + 4*x^5*y^8 + 
    23*x^5*y^7 - 165*x^5*y^6 + 226*x^5*y^5 - 36*x^5*y^4 - 104*x^5*y^3 + 
    60*x^5*y^2 - 7*x^5*y - x^5 + 15*x^4*y^8 - 45*x^4*y^7 - 33*x^4*y^6 + 
    202*x^4*y^5 - 205*x^4*y^4 + 64*x^4*y^3 + 7*x^4*y^2 - 5*x^4*y + x^3*y^9 + 
    15*x^3*y^8 - 88*x^3*y^7 + 150*x^3*y^6 - 83*x^3*y^5 - 23*x^3*y^4 + 38*x^3*y^3
    - 10*x^3*y^2 + 5*x^2*y^9 - 16*x^2*y^8 + 55*x^2*y^6 - 81*x^2*y^5 + 47*x^2*y^4
    - 10*x^2*y^3 + 5*x*y^9 - 25*x*y^8 + 50*x*y^7 - 50*x*y^6 + 25*x*y^5 - 5*x*y^4
    + y^10 - 5*y^9 + 10*y^8 - 10*y^7 + 5*y^6 - y^5