#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
//const long nPrime = 1000000007;
//const long nPrime = 998244353;
typedef long long ll;
int main() {
    long n;
    cin >> n;
    vector<long> viA(n),viB(n);
    for(long i = 0; i < n; i++){
        viA[i] = 3*(i+1)+1;
        viB[i] = 3*(i+1);
    }
    if(n%3 != 2){
        long k = (n%3)+3;
        viB[n-1] += k;
        for(long i = 0; i < (n-k)/3; i++){
            viB[n-2-i] += 3;
        }
    } else {
        viB[n-1] += 10, viB[n-2] += 10;
        for(long i = 0; i < 5; i++){
            viA[n-i-1] += 3;
        }
        for(long i = 0; i < (n-5)/3; i++){
            viB[n-3-i] += 3;
        }
    }
    
    for(long i = 0; i < n; i++){
        cout << viA[i] << " ";
    }
    cout << endl;
    for(long i = 0; i < n; i++){
        cout << viB[i] << " ";
    }
    cout << endl;

    return 0;
}