#include <bits/stdc++.h>

using i64 = long long;
using u64 = unsigned long long;
using u32 = unsigned;
using u128 = unsigned __int128;

int main() {
    std::ios::sync_with_stdio(false);
    std::cin.tie(nullptr);
    
    int N;
    std::cin >> N;
    
    N /= 2;
    
    int F;
    std::mt19937 rng(std::chrono::steady_clock::now().time_since_epoch().count());
    while (true) {
        F = rng() % (1 << N) + (1 << N);
        
        bool ok = true;
        for (int s = 2; s < (1 << N); s++) {
            int x = F;
            
            int d = std::__lg(s);
            
            for (int i = N; i >= d; i--) {
                if (x >> i & 1) {
                    x ^= s << (i - d);
                }
            }
            
            if (x == 0) {
                ok = false;
                break;
            }
        }
        if (ok) {
            break;
        }
    }
    
    std::cout << (1 << N) << "\n";
    
    for (int x = 0; x < (1 << N); x++) {
        int y = 0;
        for (int i = 0; i < N; i++) {
            if (x >> i & 1) {
                y ^= x << i;
            }
        }
        for (int i = 2 * N - 1; i >= N; i--) {
            if (y >> i & 1) {
                y ^= F << (i - N);
            }
        }
        int a = x | (y << N);
        std::cout << a << " \n"[x == (1 << N) - 1];
    }
    
    return 0;
}