#include <cstdio>

using namespace std;

int v[5010],vaz[5010];

int main()
{
    //freopen("file.in", "r", stdin);
    //freopen("file.out", "w", stdout);
    int k,nr=0;
    scanf("%d",&k);
    for(int i=1;nr<k;i++)
    {
        int cnt=0;
        if(!vaz[i]) cnt++;
        for(int j=1;j<=nr;j++)
            if(!vaz[i|v[j]]) cnt++;
        if(cnt+nr<=k)
        {
            if(!vaz[i]) {v[++nr]=i;vaz[i]=1;}
            for(int j=nr-1;j;j--)
                if(!vaz[i|v[j]]) {v[++nr]=i|v[j];vaz[i|v[j]]=1;}
        }
    }
    printf("%d\n",nr);
    for(int i=1;i<=nr;i++) printf("%d ",v[i]);
    return 0;
}