#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define ALL(v) v.begin(),v.end()
typedef long long ll;

#include<bits/stdc++.h>
using namespace std;

bool isPrime(ll x){
  if(x<2) return false;
  else if(x==2) return true;
  if(x%2==0) return false;
  for(ll i=3;i*i<=x;i+=2){
    if(x%i==0) return false;
  }
  return true;
}

int main(){
  ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  
  vector<ll> C;
  for(int i=2;i<100000;i++){
    if(isPrime(i)) C.push_back(i);
  }
  
  ll m;
  cin>>m;
  
  priority_queue<pair<ll,ll>> que;
  ll t=2;
  ll now=1;
  while(t<998244353){
    que.push({t-1,now});
    t*=2;
    now++;
  }
  
  queue<ll> que2;
  while(m>0){
    while(que.top().first>m) que.pop();
    que2.push(que.top().second);
    m-=que.top().first;
  }
  vector<ll> ANS;
  int nx=0;
  int np=que2.size();
  while(que2.size()){
    ll a=que2.front();
    que2.pop();
    ll c=C[nx];
    ANS.push_back(c);
    rep(i,a-1){
      ANS.push_back(c*C[np]);
      np++;
    }
    nx++;
  }
  int y=ANS.size();
  cout<<y<<endl;
  rep(i,y){
    if(i) cout<<" ";
    cout<<ANS[i];
  }
  cout<<endl;
      
  return 0;
}