#include #define rep(i,n) for(int i = 0; i < (n); i++) using namespace std; typedef long long ll; int main(){ cin.tie(0); ios::sync_with_stdio(0); int N,X,M; cin >> N >> X >> M; vector A(N); rep(i,N) cin >> A[i]; int cnt = 0, cost = 0; for(int i = N - 1; i >= 0; i--) { rep(_,cnt) A[i] /= 2; while(X <= A[i]) { A[i] /= 2; cnt++; cost += i + 1; } } cout << (cost <= M ? "Yes" : "No") << endl; }