r^10*s^3 - 7*r^10*s^2 + 14*r^10*s - 7*r^10 + 11*r^9*s^3 - 21*r^9*s^2 - 28*r^9*s 
    + 28*r^9 - r^8*s^12 + 19*r^8*s^11 - 160*r^8*s^10 + 785*r^8*s^9 - 
    2485*r^8*s^8 + 5313*r^8*s^7 - 7812*r^8*s^6 + 7890*r^8*s^5 - 5395*r^8*s^4 + 
    2431*r^8*s^3 - 582*r^8*s^2 + 98*r^8*s - 56*r^8 - 2*r^7*s^12 + 27*r^7*s^11 - 
    125*r^7*s^10 + 105*r^7*s^9 + 1225*r^7*s^8 - 5719*r^7*s^7 + 12509*r^7*s^6 - 
    16210*r^7*s^5 + 13000*r^7*s^4 - 6589*r^7*s^3 + 1827*r^7*s^2 - 238*r^7*s + 
    70*r^7 - r^6*s^14 + 17*r^6*s^13 - 138*r^6*s^12 + 674*r^6*s^11 - 
    2116*r^6*s^10 + 4423*r^6*s^9 - 6696*r^6*s^8 + 9094*r^6*s^7 - 13037*r^6*s^6 +
    16483*r^6*s^5 - 14107*r^6*s^4 + 7695*r^6*s^3 - 2309*r^6*s^2 + 284*r^6*s - 
    56*r^6 - r^5*s^13 + 27*r^5*s^12 - 284*r^5*s^11 + 1548*r^5*s^10 - 
    4855*r^5*s^9 + 9361*r^5*s^8 - 12152*r^5*s^7 + 12384*r^5*s^6 - 12025*r^5*s^5 
    + 9475*r^5*s^4 - 5181*r^5*s^3 + 1607*r^5*s^2 - 184*r^5*s + 28*r^5 - r^4*s^13
    + 21*r^4*s^12 - 147*r^4*s^11 + 377*r^4*s^10 + 65*r^4*s^9 - 2114*r^4*s^8 + 
    4684*r^4*s^7 - 5333*r^4*s^6 + 4928*r^4*s^5 - 3710*r^4*s^4 + 2024*r^4*s^3 - 
    639*r^4*s^2 + 63*r^4*s - 8*r^4 - r^3*s^13 + 15*r^3*s^12 - 55*r^3*s^11 - 
    19*r^3*s^10 + 305*r^3*s^9 - 369*r^3*s^8 - 316*r^3*s^7 + 764*r^3*s^6 - 
    876*r^3*s^5 + 720*r^3*s^4 - 416*r^3*s^3 + 136*r^3*s^2 - 9*r^3*s + r^3 - 
    r^2*s^13 + 9*r^2*s^12 - 8*r^2*s^11 - 15*r^2*s^10 + 126*r^2*s^8 - 91*r^2*s^7 
    + 15*r^2*s^6 + 40*r^2*s^5 - 55*r^2*s^4 + 39*r^2*s^3 - 14*r^2*s^2 - r*s^13 + 
    3*r*s^12 - 6*r*s^11 + 14*r*s^10 - 36*r*s^9 + 28*r*s^8 - 21*r*s^7 + 15*r*s^6 
    - 10*r*s^5 + 6*r*s^4 - 3*r*s^3 + r*s^2 + s^10