#include using namespace std; /* macro */ #define rep(i,a,b) for(int i=a;i b; i--) #define int long long #define exist(s,e) ((s).find(e)!=(s).end()) #define all(v) (v).begin(), (v).end() #define each(s,itr) for(auto (itr) = s.begin(); (itr) != s.end(); (itr)++) #define sum(v) accumulate(all(v), (0LL)) #define Sort(v) sort(all(v)) /* constant */ const int inf = 100100100100100100; const int mod = 1000000007; int dx[8]={1,0,-1,0,-1,1,-1,1}; int dy[8]={0,1,0,-1,-1,-1,1,1}; /* io_method */ int input(){int tmp;cin >> tmp;return tmp;} string raw_input(){string tmp;cin >> tmp;return tmp;} string readline(){string s;getline(cin, s);return s;} template void printx(T n){cout << n;} template void printx(pair p){cout << "(" << p.first << "," << p.second << ")";} template void printx(vector v){cout << "{";rep(i,0,v.size()){printx(v[i]);if(i != v.size()-1)printx(",");}cout << "}";} template void print(T n){printx(n);cout << endl;} template void print(set s){cout << "{";each(s, e){if(e != s.begin()) printx(",");printx(*e);}cout << "}" << endl;} template void print(map mp){cout << "{";each(mp, e){cout << "(" << e -> first << "," << e -> second << ")";}cout << "}" << endl;} /* general_method */ templatebool chmax(T &a, const T &b) { if (abool chmin(T &a, const T &b) { if (b cs(vector arr){vector tmp;if(arr.size() == 0) return tmp;tmp.push_back(arr[0]);rep(i,1,arr.size()){tmp.push_back(tmp.back() + arr[i]);}return tmp;} /* math_library */ int gcd(int a, int b){ if(b == 0) return a; return gcd(b, a % b);} int lcm(int a, int b){ return a * b / gcd(a,b);} int ceil(int a, int b){ if(a % b == 0) return a/b; else return a/b + 1;} int digitlen(int n){int t = n;int cnt = 0;while(t){cnt++;t /= 10;}return cnt;} bool isprime(int n){ if(n < 2) return false; if(n % 2 == 0 || n % 3 == 0 || n % 5 == 0) return false; for(int i = 7; i * i < n + 1; i += 2){ if(n % i == 0) return false; } return true; } /* main */ int n; int accum(int t){ int s = 0; while(t){ s += t; t /= 2; } return s; } signed main(){ cin.tie(0); ios::sync_with_stdio(false); n = input(); int left = 0; int right = 1000000000; rep(i,0,100){ int mid = (left + right)/2; if(accum(mid) >= n){ right = mid; }else{ left = mid; } } if(accum(right) == n){ print("YES"); }else{ print("NO"); } }