r^8*s^6 - 11*r^8*s^5 + 45*r^8*s^4 - 84*r^8*s^3 + 70*r^8*s^2 - 21*r^8*s + r^8 + 
    r^7*s^10 - 16*r^7*s^9 + 109*r^7*s^8 - 412*r^7*s^7 + 952*r^7*s^6 - 
    1395*r^7*s^5 + 1252*r^7*s^4 - 558*r^7*s^3 + 23*r^7*s^2 + 38*r^7*s - 2*r^7 + 
    3*r^6*s^10 - 34*r^6*s^9 + 132*r^6*s^8 - 140*r^6*s^7 - 402*r^6*s^6 + 
    1498*r^6*s^5 - 2122*r^6*s^4 + 1401*r^6*s^3 - 291*r^6*s^2 - 18*r^6*s + r^6 + 
    6*r^5*s^10 - 40*r^5*s^9 + 35*r^5*s^8 + 210*r^5*s^7 - 435*r^5*s^6 - 
    42*r^5*s^5 + 1035*r^5*s^4 - 1155*r^5*s^3 + 330*r^5*s^2 + 10*r^4*s^10 - 
    20*r^4*s^9 - 55*r^4*s^8 + 80*r^4*s^7 + 160*r^4*s^6 - 365*r^4*s^5 - 
    15*r^4*s^4 + 440*r^4*s^3 - 165*r^4*s^2 - r^3*s^13 + 10*r^3*s^12 - 
    56*r^3*s^11 + 191*r^3*s^10 - 405*r^3*s^9 + 656*r^3*s^8 - 830*r^3*s^7 + 
    726*r^3*s^6 - 321*r^3*s^5 + 55*r^3*s^4 - 136*r^3*s^3 + 55*r^3*s^2 + r^2*s^12
    - 7*r^2*s^11 + 3*r^2*s^10 + 30*r^2*s^9 - 100*r^2*s^8 + 189*r^2*s^7 - 
    238*r^2*s^6 + 168*r^2*s^5 - 36*r^2*s^4 + 29*r^2*s^3 - 11*r^2*s^2 + r*s^12 - 
    3*r*s^11 + 6*r*s^10 - 10*r*s^9 + 15*r*s^8 - 21*r*s^7 + 28*r*s^6 - 28*r*s^5 +
    6*r*s^4 - 3*r*s^3 + r*s^2 + s^5