#include <stdio.h>
#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf32 1000000001
#define Inf64 4000000000000000001



int main(){
	
	vector<int> ps;
	for(int i=2;i<=100000;i++){
		bool f = true;
		for(int j=2;j<i;j++){
			if(i%j==0){
				f = false;
				break;
			}
		}
		if(f)ps.push_back(i);
	}
		
	int l = 0,r = ps.size()-1;
	int M;
	cin>>M;
	vector<int> ans;
	while(M!=0){
		int t = 1;
		int cnt = 0;
		while(t*2-1<=M){
			t*=2;
			cnt++;
		}
		M -= t - 1;
		int P = ps[l];
		rep(j,cnt){
			while(P*ps[r]>100000)r--;
			ans.push_back(P*ps[r]);
			r--;
		}
		l++;
	}
	cout<<ans.size()<<endl;
	rep(i,ans.size()){
		if(i!=0)cout<<' ';
		cout<<ans[i];
	}
	cout<<endl;
		
		
	
	return 0;
}