# include # include # include # include # include # include # include # include # include # include # include # include # include # include # include # include # include # include # include # include # include # include # include using namespace std; using LL = long long; using ULL = unsigned long long; constexpr int INF = 2147483647; constexpr int HINF = INF / 2; constexpr double DINF = 100000000000000000.0; constexpr double HDINF = 50000000000000000.0; constexpr long long LINF = 9223372036854775807; constexpr long long HLINF = 4500000000000000000; const double PI = acos(-1); template T_char TL(T_char cX) { return tolower(cX); }; template T_char TU(T_char cX) { return toupper(cX); }; const int vy[] = { -1, -1, -1, 0, 1, 1, 1, 0 }, vx[] = { -1, 0, 1, 1, 1, 0, -1, -1 }; const int dx[4] = { 0,1,0,-1 }, dy[4] = { 1,0,-1,0 }; # define ALL(x) (x).begin(),(x).end() # define UNIQUE(c) sort(ALL((c)));(c).erase(unique(ALL((c))),(c).end()) # define LOWER(s) transform(ALL((s)),(s).begin(),TL) # define UPPER(s) transform(ALL((s)),(s).begin(),TU) # define FOR(i,a,b) for(LL i=(a);i<(b);i++) # define RFOR(i,a,b) for(LL i=(a);i>=(b);i--) # define REP(i,n) FOR(i,0,n) # define INIT std::ios::sync_with_stdio(false);std::cin.tie(0) LL a, b; bool solve(LL a, LL b) { queue>que; que.push(make_pair(a, b)); while (!que.empty()) { auto q = que.front(); que.pop(); if (q.first < 0 || q.second < 0)continue; if (q.first % 2 && q.second % 2)continue; if (!q.first && !q.second)return true; if (q.first % 2 == 0)que.push(make_pair(q.first / 2, q.second - 1)); if (q.second % 2 == 0)que.push(make_pair(q.first - 1, q.second / 2)); } return false; } int main() { cin >> a >> b; cout << (solve(a, b) ? "Yes" : "No") << endl; }