x^14*y^7 - 3*x^14*y^6 + 3*x^14*y^5 - x^14*y^4 + 4*x^13*y^7 - 19*x^13*y^6 + 
    30*x^13*y^5 - 19*x^13*y^4 + 4*x^13*y^3 + x^12*y^8 - 9*x^12*y^7 - 16*x^12*y^6
    + 83*x^12*y^5 - 96*x^12*y^4 + 42*x^12*y^3 - 6*x^12*y^2 - 2*x^11*y^8 - 
    66*x^11*y^7 + 142*x^11*y^6 - 31*x^11*y^5 - 146*x^11*y^4 + 136*x^11*y^3 - 
    42*x^11*y^2 + 4*x^11*y - 54*x^10*y^8 - 21*x^10*y^7 + 344*x^10*y^6 - 
    471*x^10*y^5 + 142*x^10*y^4 + 125*x^10*y^3 - 93*x^10*y^2 + 19*x^10*y - x^10 
    - 15*x^9*y^9 - 156*x^9*y^8 + 368*x^9*y^7 - 51*x^9*y^6 - 582*x^9*y^5 + 
    611*x^9*y^4 - 157*x^9*y^3 - 54*x^9*y^2 + 29*x^9*y - 3*x^9 - 95*x^8*y^9 - 
    39*x^8*y^8 + 649*x^8*y^7 - 951*x^8*y^6 + 291*x^8*y^5 + 435*x^8*y^4 - 
    377*x^8*y^3 + 75*x^8*y^2 + 10*x^8*y - 3*x^8 - 15*x^7*y^10 - 193*x^7*y^9 + 
    453*x^7*y^8 - 8*x^7*y^7 - 935*x^7*y^6 + 1122*x^7*y^5 - 390*x^7*y^4 - 
    119*x^7*y^3 + 96*x^7*y^2 - 11*x^7*y - x^7 - 73*x^6*y^10 - 66*x^6*y^9 + 
    693*x^6*y^8 - 1061*x^6*y^7 + 429*x^6*y^6 + 477*x^6*y^5 - 584*x^6*y^4 + 
    189*x^6*y^3 + 3*x^6*y^2 - 7*x^6*y - 6*x^5*y^11 - 132*x^5*y^10 + 334*x^5*y^9 
    - 9*x^5*y^8 - 812*x^5*y^7 + 1157*x^5*y^6 - 642*x^5*y^5 + 50*x^5*y^4 + 
    81*x^5*y^3 - 21*x^5*y^2 - 30*x^4*y^11 - 42*x^4*y^10 + 439*x^4*y^9 - 
    828*x^4*y^8 + 619*x^4*y^7 - 5*x^4*y^6 - 303*x^4*y^5 + 185*x^4*y^4 - 
    35*x^4*y^3 - x^3*y^12 - 51*x^3*y^11 + 175*x^3*y^10 - 143*x^3*y^9 - 
    201*x^3*y^8 + 529*x^3*y^7 - 480*x^3*y^6 + 207*x^3*y^5 - 35*x^3*y^4 - 
    7*x^2*y^12 - 3*x^2*y^11 + 119*x^2*y^10 - 335*x^2*y^9 + 447*x^2*y^8 - 
    329*x^2*y^7 + 129*x^2*y^6 - 21*x^2*y^5 - 10*x*y^12 + 54*x*y^11 - 124*x*y^10 
    + 155*x*y^9 - 111*x*y^8 + 43*x*y^7 - 7*x*y^6 - y^13 + 6*y^12 - 15*y^11 + 
    20*y^10 - 15*y^9 + 6*y^8 - y^7