r^9 - r^8*s^9 + 15*r^8*s^8 - 94*r^8*s^7 + 319*r^8*s^6 - 636*r^8*s^5 + 
    756*r^8*s^4 - 520*r^8*s^3 + 189*r^8*s^2 - 35*r^8*s - 2*r^8 - 4*r^7*s^9 + 
    39*r^7*s^8 - 120*r^7*s^7 + 28*r^7*s^6 + 597*r^7*s^5 - 1341*r^7*s^4 + 
    1256*r^7*s^3 - 525*r^7*s^2 + 105*r^7*s + r^7 - 10*r^6*s^9 + 45*r^6*s^8 + 
    24*r^6*s^7 - 357*r^6*s^6 + 324*r^6*s^5 + 570*r^6*s^4 - 1130*r^6*s^3 + 
    576*r^6*s^2 - 126*r^6*s + r^5*s^13 - 14*r^5*s^12 + 93*r^5*s^11 - 
    370*r^5*s^10 + 970*r^5*s^9 - 1827*r^5*s^8 + 2553*r^5*s^7 - 2296*r^5*s^6 + 
    1095*r^5*s^5 - 480*r^5*s^4 + 686*r^5*s^3 - 369*r^5*s^2 + 84*r^5*s + r^4*s^12
    - 21*r^4*s^11 + 165*r^4*s^10 - 650*r^4*s^9 + 1530*r^4*s^8 - 2562*r^4*s^7 + 
    2957*r^4*s^6 - 2046*r^4*s^5 + 780*r^4*s^4 - 415*r^4*s^3 + 171*r^4*s^2 - 
    36*r^4*s + r^3*s^12 - 15*r^3*s^11 + 66*r^3*s^10 - 84*r^3*s^9 - 45*r^3*s^8 + 
    402*r^3*s^7 - 833*r^3*s^6 + 837*r^3*s^5 - 351*r^3*s^4 + 145*r^3*s^3 - 
    48*r^3*s^2 + 9*r^3*s + r^2*s^12 - 9*r^2*s^11 + 13*r^2*s^10 - r^2*s^9 - 
    24*r^2*s^8 + 28*r^2*s^7 + 42*r^2*s^6 - 126*r^2*s^5 + 56*r^2*s^4 - 21*r^2*s^3
    + 6*r^2*s^2 - r^2*s + r*s^12 - 3*r*s^11 + 6*r*s^10 - 10*r*s^9 + 15*r*s^8 - 
    21*r*s^7 + 21*r*s^6 - s^6