#include #include #include #include #include #include using namespace std; using i32 = int32_t; using u32 = uint32_t; using i64 = int64_t; using u64 = uint64_t; #define rep(i,n) for(int i=0; i<(int)(n); i++) const i64 INF = 1001001001001001001; using modint = atcoder::static_modint<998244353>; int main(){ int N,X,M; cin >> N >> X >> M; vector A(N); rep(i,N) cin >> A[i]; i64 Q = 0; int q = 0; for(int i=N-1; i>=0; i--){ while(X <= A[i] >> q) q++; Q += q; } cout << ((M < Q) ? "No\n" : "Yes\n"); return 0; } struct ios_do_not_sync{ ios_do_not_sync(){ std::ios::sync_with_stdio(false); std::cin.tie(nullptr); } } ios_do_not_sync_instance;