#define _GLIBCXX_DEBUG #include #include using namespace std; using namespace atcoder; typedef long long ll; typedef pair pi; #define ALL(x) x.begin(),x.end() #define rep(i,a,b) for(int i=a;i; using vvi = vector; using li =vector; using lli=vector
  • ; using si =vector; using ssi =vector; const long long mod=998244353; //for (auto [key, val] : mp) int main() { ll n;cin>>n; vectorvec(10); vec[0]=6; vec[1]=28; vec[2]=496; vec[3]=8128; vec[4]=33550336; vec[5]=8589869056; vec[6]=137438691328; rep(i,0,7){if(vec[i]==n){cout<<"Yes";return 0;}} cout<<"No"; }