#pragma GCC optimization ("O3") #include using namespace std; using ll = long long; using vec = vector; using mat = vector; using pll = pair; #define INF (1LL<<61) #define MOD 1000000007LL //#define MOD 998244353LL #define EPS (1e-10) #define PR(x) cout << (x) << endl #define PS(x) cout << (x) << " " #define REP(i,m,n) for(ll (i)=(m),(i_len)=(n);(i)<(i_len);++(i)) #define FORE(i,v) for(auto (i):v) #define ALL(x) (x).begin(), (x).end() #define SZ(x) ((ll)(x).size()) #define REV(x) reverse(ALL((x))) #define ASC(x) sort(ALL((x))) #define DESC(x) {ASC((x)); REV((x));} #define BIT(s,i) (((s)>>(i))&1) #define pb push_back #define fi first #define se second template inline int chmin(T& a, T b) {if(a>b) {a=b; return 1;} return 0;} template inline int chmax(T& a, T b) {if(a=MOD) x-=MOD; return *this;} mint& operator-=(const mint& a) {if((x+=MOD-a.x)>=MOD) x-=MOD; return *this;} mint& operator*=(const mint& a) {(x*=a.x)%=MOD; return *this;} mint operator+(const mint& a) const {mint b(*this); return b+=a;} mint operator-(const mint& a) const {mint b(*this); return b-=a;} mint operator*(const mint& a) const {mint b(*this); return b*=a;} mint pow(ll t) const {if(!t) return 1; mint a=pow(t>>1); return (t&1?*this*a:a)*a;} mint inv() const {return pow(MOD-2);} mint& operator/=(const mint& a) {return *this*=a.inv();} mint operator/(const mint& a) const {mint b(*this); return b/=a;} }; istream &operator>>(istream& is, mint& a) {ll t; is>>t; a=t; return is;} ostream &operator<<(ostream& os, const mint& a) {return os<; using mmat = vector; using dvec = vector; using dmat = vector; int main() { ll N, S, id; cin >> N >> S >> id; vec A(N); ll m; for(ll i=0; i> A[i]; if(i == id) { m = A[i]+100*S; --i; --N; id = -1; } } DESC(A); auto sc = [&](ll r) -> ll { return 50*S+250*S/(4+r); }; double p = 1.0; REP(i,0,N) { ll l = m-A[i]; if(l < sc(N)) { p = 0.0; break; } ll x = N; for(ll j=20; j>=0; --j) { ll nx = x-(1LL<= 1 && sc(nx) <= l) x = nx; } ll ok = N-x+1; if(ok < i) { p = 0.0; break; } p *= (double)(ok-i)/(N-i); } cout << setprecision(12) << p << endl; return 0; } /* */