#include<bits/stdc++.h>
#include<atcoder/all>
using namespace atcoder;
using namespace std;
using ll=long long;
const int m=32;
ll gcd(ll x,ll y){
  if(y==0)return x;
  else return gcd(y,x%y);
}
int main(){
  ll n;
  cin>>n;
  vector<ll> p(m+1);
  for(int i=1;i<=m;i++){
    p[i]=(1LL<<i)-1;
    
  }
  ll t=p[n+1];
  for(int i=n;i>0;i--){
    t/=gcd(t,p[i]);
  }
  
  if(t==1)cout<<"Yes"<<endl;
  else cout<<"No"<<endl;
  
  
}