#include #include #include using namespace std; typedef pair P; int main() { long long N, K; cin >> N >> K; vector

A(N + 1, make_pair(false, 1000000009)); A.at(0) =make_pair(true, 0); A.at(1) = make_pair(true, 0); for (long long i = 2; i <= N; i++) { if (i % 2 == 0) { if (A.at(i / 2).first) A.at(i) = make_pair(true, min(A.at(i / 2).second + 1, A.at(i).second)); if (i > 3) { if (A.at(i - 3).first) A.at(i) = make_pair(true, min(A.at(i - 3).second + 1, A.at(i).second)); } } else { if (i > 3) { if (A.at(i - 3).first) A.at(i) = make_pair(true, min(A.at(i - 3).second + 1, A.at(i).second)); } } } if (A.at(N).first && A.at(N).second <= K) cout << "YES" << endl; else cout << "NO" << endl; }