r^11 - r^10*s^11 + 19*r^10*s^10 - 156*r^10*s^9 + 725*r^10*s^8 - 2099*r^10*s^7 + 
    3927*r^10*s^6 - 4768*r^10*s^5 + 3676*r^10*s^4 - 1710*r^10*s^3 + 435*r^10*s^2
    - 57*r^10*s - 2*r^10 - r^9*s^13 + 20*r^9*s^12 - 183*r^9*s^11 + 997*r^9*s^10 
    - 3499*r^9*s^9 + 7980*r^9*s^8 - 11279*r^9*s^7 + 8255*r^9*s^6 - 3*r^9*s^5 - 
    5200*r^9*s^4 + 4044*r^9*s^3 - 1260*r^9*s^2 + 183*r^9*s + r^9 - r^8*s^15 + 
    21*r^8*s^14 - 204*r^8*s^13 + 1200*r^8*s^12 - 4707*r^8*s^11 + 12720*r^8*s^10 
    - 23353*r^8*s^9 + 27024*r^8*s^8 - 15483*r^8*s^7 - 1170*r^8*s^6 + 
    4698*r^8*s^5 + 1851*r^8*s^4 - 4093*r^8*s^3 + 1584*r^8*s^2 - 252*r^8*s - 
    r^7*s^15 + 15*r^7*s^14 - 75*r^7*s^13 - 21*r^7*s^12 + 2027*r^7*s^11 - 
    11273*r^7*s^10 + 33680*r^7*s^9 - 61690*r^7*s^8 + 68557*r^7*s^7 - 
    42519*r^7*s^6 + 13049*r^7*s^5 - 3707*r^7*s^4 + 3377*r^7*s^3 - 1299*r^7*s^2 +
    210*r^7*s - r^6*s^15 + 9*r^6*s^14 + 8*r^6*s^13 - 379*r^6*s^12 + 
    1803*r^6*s^11 - 3083*r^6*s^10 - 3608*r^6*s^9 + 26994*r^6*s^8 - 52733*r^6*s^7
    + 49643*r^6*s^6 - 23694*r^6*s^5 + 6527*r^6*s^4 - 2629*r^6*s^3 + 801*r^6*s^2 
    - 120*r^6*s - r^5*s^15 + 3*r^5*s^14 + 45*r^5*s^13 - 264*r^5*s^12 + 
    309*r^5*s^11 + 1587*r^5*s^10 - 5785*r^5*s^9 + 3960*r^5*s^8 + 10707*r^5*s^7 -
    20877*r^5*s^6 + 13935*r^5*s^5 - 4194*r^5*s^4 + 1325*r^5*s^3 - 333*r^5*s^2 + 
    45*r^5*s - r^4*s^15 - 2*r^4*s^14 + 29*r^4*s^13 - 24*r^4*s^12 - 359*r^4*s^11 
    + 1136*r^4*s^10 - 208*r^4*s^9 - 3034*r^4*s^8 + 1681*r^4*s^7 + 3534*r^4*s^6 -
    4085*r^4*s^5 + 1304*r^4*s^4 - 373*r^4*s^3 + 82*r^4*s^2 - 10*r^4*s + r^3*s^16
    - 9*r^3*s^15 + 45*r^3*s^14 - 166*r^3*s^13 + 484*r^3*s^12 - 1017*r^3*s^11 + 
    1233*r^3*s^10 - 803*r^3*s^9 + 1314*r^3*s^8 - 1731*r^3*s^7 + 439*r^3*s^6 + 
    504*r^3*s^5 - 166*r^3*s^4 + 45*r^3*s^3 - 9*r^3*s^2 + r^3*s - 10*r^2*s^12 + 
    105*r^2*s^11 - 330*r^2*s^10 + 307*r^2*s^9 - 267*r^2*s^8 + 393*r^2*s^7 - 
    253*r^2*s^6 - 4*r*s^12 + 21*r*s^11 - 3*r*s^10 - 8*r*s^9 - 3*r*s^8 - 15*r*s^7
    + 23*r*s^6 - s^12 + s^9 - s^6