#include<bits/stdc++.h>

int main(){
    using namespace std;
    unsigned long N;
    cin >> N;
    cout << "2000000000 1000000001";
    for(unsigned long i{1}; i < N; ++i)cout << i << " ";
    cout << "2000000000" << endl;
    return 0;
}