#include <cstdio>
#include <iostream>
#include <string>
#include <sstream>
#include <stack>
#include <algorithm>
#include <cmath>
#include <queue>
#include <map>
#include <set>
#include <cstdlib>
#include <bitset>
#include <tuple>
#include <assert.h>
#include <deque>
#include <bitset>
#include <iomanip>
#include <limits>
#include <chrono>
#include <random>
#include <array>
#include <unordered_map>
#include <functional>
#include <complex>

template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; }
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; }

constexpr long long MAX = 5100000;
constexpr long long INF = 1LL << 60;
constexpr int inf = 1 << 28;
constexpr long long mod = 1000000007LL;
//constexpr long long mod = 998244353LL;

using namespace std;
typedef unsigned long long ull;
typedef long long ll;

ll A, B;
map<pair<ll, ll>, int> mp;
bool dfs(ll X, ll Y) {
	if (mp.find({ X, Y }) != mp.end()) return mp[make_pair(X, Y)];
	if (X == A && Y == B) return true;
	if (X > A || Y > B) return false;
	bool flag = false;
	flag |= dfs(X + 1, Y * 2);
	if (flag) return mp[{X, Y}] = true;
	flag |= dfs(X * 2, Y + 1);
	return mp[{X, Y}] = true;
}
int main()
{
	/*
	cin.tie(nullptr);
	ios::sync_with_stdio(false);
	*/
	scanf("%lld %lld", &A, &B);
	if (A == 0 || B == 0) {
		puts("Yes");
		return 0;
	}
	bool flag = false;
	flag |= dfs(0, 1);
	flag |= dfs(1, 0);
	if (flag) puts("Yes");
	else puts("No");
	return 0;
	/*
		おまじないを使ったらscanfとprintf関連注意！！！！！！！！！！！！
	*/
}