#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
#define rep(i, n) for(int i=0;i<(n);++i)
#define rep1(i, n) for(int i=1;i<=(n);i++)
#define ll long long
using mint = modint998244353;
using P = pair<ll,ll>;
using lb = long double;
using T = tuple<ll, ll, ll>;
#ifdef LOCAL
#  include <debug_print.hpp>
#  define dbg(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__)
#else
#  define dbg(...) (static_cast<void>(0))
#endif

int main()
{
    int n;
    cin >> n;
    map<int, int> mp;
    for(int i=2;i<=n;i++){
        ll v = 1ll<<i;
        v-=1;
        ll x = v;
        for(ll j=2;j*j<=v;j++){
            while(x%j==0) {
                x /= j;
                mp[j]++;
            }
        }
        if(x!=1) mp[x]++;
    }
    ll v = 1<<(n+1);
    v-=1;
    dbg(v);
    ll x = v;
    map<int, int> g;
    for(ll j=2;j*j<=v;j++){
        while(x%j==0) {
            x /= j;
            g[j]++;
        }
    }
    if(x!=1) g[x]++;
    dbg(g, mp);
    for(auto b : g) {
        if(b.second>mp[b.first]) {
            cout << "No" << endl;
            return 0;
        }
    }
    cout << "Yes" << endl;
    return 0;
}