#include <bits/stdc++.h>

using namespace std;
vector<int> v;
int k;
int verif[100], putere_putere = 1;
int putere = 0;
void Back_tracking (int n, int a)
{
    if (a==n && k>0)
    {
        int copie = putere_putere;
        for (int i = 0; i<= putere; ++i)
            if (verif[i]) copie = copie^(1<<i);
        --k;
        v.push_back(copie);
        return;
    }
    if (k == 0)
        return;
    for (int i = 0; i<=putere; ++i)
    {
        if (verif[i] == 0 && k)
        {
            verif[i] = 1;
            Back_tracking(n, a+1);
            verif[i] = 0;
        }
    }
}
void adauga_goluri (int goluri)
{
    Back_tracking(goluri, 0);
}
int main()
{
    cin >> k;
    putere = 11;
    putere_putere = 4095;
    --k;
    v.push_back(putere_putere);
    for (int i = 1; i<= putere; ++i)
        if (k)
            adauga_goluri (i);
    cout << v.size() << '\n';
    for (auto x:v)
        cout << x << " ";
    return 0;
}