#include <bits/stdc++.h>

using namespace std;
void fast_io() {
    ios::sync_with_stdio(false);
    std::cin.tie(nullptr);
}
int ans[25] = {
    16777216, 25165824, 29360128, 31457280, 32505856, 33030144, 33292288,
    33423360, 33488896, 33521664, 33538048, 33546240, 33550336, 33552384,
    33553408, 33553920, 33554176, 33554304, 33554368, 33554400, 33554416,
    33554424, 33554428, 33554430, 33554431,
};
int main() {
    fast_io();
    int n;
    cin >> n;
    for (int i = 0; i < n; i++) {
        cout << ans[i] << " ";
    }
    cout << endl;
}