x^13*y^6 - 2*x^13*y^5 + x^13*y^4 + 3*x^12*y^6 - 13*x^12*y^5 + 14*x^12*y^4 - 
    4*x^12*y^3 + 2*x^11*y^7 - 2*x^11*y^6 - 26*x^11*y^5 + 60*x^11*y^4 - 
    38*x^11*y^3 + 7*x^11*y^2 + 10*x^10*y^7 - 30*x^10*y^6 + 23*x^10*y^5 + 
    79*x^10*y^4 - 115*x^10*y^3 + 48*x^10*y^2 - 6*x^10*y + x^9*y^8 + 18*x^9*y^7 -
    61*x^9*y^6 + 172*x^9*y^5 - 119*x^9*y^4 - 68*x^9*y^3 + 90*x^9*y^2 - 26*x^9*y 
    + 2*x^9 + 9*x^8*y^8 + 2*x^8*y^7 + 17*x^8*y^6 + 136*x^8*y^5 - 345*x^8*y^4 + 
    206*x^8*y^3 - 2*x^8*y^2 - 24*x^8*y + 4*x^8 + 25*x^7*y^8 - 20*x^7*y^7 + 
    153*x^7*y^6 - 278*x^7*y^5 + 5*x^7*y^4 + 210*x^7*y^3 - 105*x^7*y^2 + 8*x^7*y 
    + 2*x^7 + 3*x^6*y^9 + 30*x^6*y^8 + 27*x^6*y^7 - 30*x^6*y^6 - 286*x^6*y^5 + 
    395*x^6*y^4 - 127*x^6*y^3 - 24*x^6*y^2 + 12*x^6*y + 12*x^5*y^9 + 26*x^5*y^8 
    + 22*x^5*y^7 - 277*x^5*y^6 + 278*x^5*y^5 + 16*x^5*y^4 - 108*x^5*y^3 + 
    31*x^5*y^2 + 22*x^4*y^9 + 16*x^4*y^8 - 129*x^4*y^7 + 36*x^4*y^6 + 
    186*x^4*y^5 - 176*x^4*y^4 + 45*x^4*y^3 + 3*x^3*y^10 + 18*x^3*y^9 - 
    32*x^3*y^8 - 82*x^3*y^7 + 213*x^3*y^6 - 160*x^3*y^5 + 40*x^3*y^4 + 
    5*x^2*y^10 + 7*x^2*y^9 - 73*x^2*y^8 + 127*x^2*y^7 - 88*x^2*y^6 + 22*x^2*y^5 
    + 7*x*y^10 - 28*x*y^9 + 42*x*y^8 - 28*x*y^7 + 7*x*y^6 + y^11 - 4*y^10 + 
    6*y^9 - 4*y^8 + y^7