//tの遷移木を書くと, 最終的なtさえ分かれば最終的なsが分かること、最終的なtは好きに選べることが分かる。
//さらに, 最終的なtを2進数表示し, 最終的なsの対応を考えると, sは, tの[1,2,4,8]の位を[1,3,7,15]の位として見たものだと分かる。
//よって、「2^n - 1 (n = 0,1,2,…)が1個ずつあるとき、それらのいくつかを使ってNを作れるか」という問題に帰着できる。
//おそらく、大きいほうから貪欲に取って良いので(未証明)、それを実装する。

#include <iostream>
using namespace std;

int n;

int main() {
	cin >> n;
	
	int p2 = 1, rui = 0;
	while (rui <= n) { rui += p2; p2 *= 2; }
	while (rui >= 1) {
		if (n >= rui) n -= rui;
		rui /= 2;
	}
	if (n == 0) cout << "YES" << endl;
	else cout << "NO" << endl;
	return 0;
}