#include<bits/stdc++.h>
    using namespace std;
    int n,m,s,o,a[10000],b[1000];
    void dfs(int now,int RL,int LR,int st){
        if(st>n){
            s++;
            if(o<3){
               for(int i=1;i<st;i++){
                cout<<b[i]<<' ';
            } 
            cout<<endl;
            o++;
            }
            return;
        }
        int lim=(now|RL|LR)^((1<<n)-1);
        lim=lim&((1<<n)-1);
        for(int i=lim;i;i&=(i-1)){
            int t=i&(-i);
            b[st]=a[t];
            dfs(now|t,(RL|t)<<1,(LR|t)>>1,st+1);
            
        }
    } 
    int main(){
        freopen("checker.in","r",stdin);
        freopen("checker.out","w",stdout);
        cin>>n;
        for(int i=1;i<=n;i++){
            int x=pow(2,i-1);
            a[x]=i;
        }
        dfs(0,0,0,1);
        cout<<s;
          
          
          
        return 0;
    }