#include #include using namespace std; using ll = long long; #define int ll #define rng(i, a, b) for (int i = int(a); i < int(b); i++) #define rep(i, b) rng(i, 0, b) #define ALL(a) (a).begin(), (a).end() template void chmax(t& a, u b) { if (a < b) a = b; } template void chmin(t& a, u b) { if (b < a) a = b; } template using vc = vector; template using vvc = vc>; using pi = pair; using vi = vc; using uint = unsigned; using ull = unsigned long long; int popcount(signed t) { return __builtin_popcount(t); } int popcount(ll t) { return __builtin_popcountll(t); } bool ispow2(int i) { return i && (i & -i) == i; } ll mask(int i) { return (ll(1) << i) - 1; } int lcm(int a, int b) { return a / __gcd(a, b) * b; } vvc g(400400); bool ok = false; signed main() { cin.tie(0); ios::sync_with_stdio(0); cout << fixed << setprecision(20); int n, k; cin >> n >> k; for (int i = 1; i <= n; i++) { g[i].push_back(i + 3); g[i].push_back(2 * i); } queue q; q.push(make_pair(1, k)); while (!q.empty()) { auto [np, nk] = q.front(); q.pop(); if (np > n * 2) break; if (np == n && nk > 0) { cout << "YES" << endl; return 0; } for (const auto x : g[np]) { if (nk - 1 > 0) { q.push(make_pair(x, nk - 1)); } } } cout << "NO" << endl; }