#include <bits/stdc++.h>
using namespace std;
#include <atcoder/all>
using namespace atcoder;
#define rep(i, n) for (int i = 0; i < (long long)(n); i++)
#define REP(i, n) for (int i = 1; i < (long long)(n); i++)
typedef long long ll;
//#pragma GCC target("avx512f")
//#pragma GCC optimize("Ofast")
//#pragma GCC optimize("unroll-loops")
#define updiv(N,X) (N + X - 1) / X
#define l(n) n.begin(),n.end()

#define YesNo(Q) Q==1?cout<<"Yes":cout<<"No"
using P = pair<int, int>;
using mint = modint998244353;
const int MOD = 998244353LL;
const ll INF = 999999999999LL;
ll dvt(ll a,ll b){
    ll res=0;ll aa=a; 
    while(b<=aa){aa /= 2;res++;}
    return res;
}

int main() {
 ll n,x,m;cin>>n>>x>>m;
 vector<ll>v(n);
 rep(i,n){cin>>v[i];}
 ll res=0;ll mx=0;
 rep(i,n){
    mx=max(dvt(v[n-i-1],x),mx);//cout<<mx<<endl;
    res += mx;
 }
 YesNo(res<=m);
}