#include <bits/stdc++.h>

using namespace std;

#define FILE_IO

int N;
int v[15], c[15], dg1[35], dg2[35];
int cnt, r[15];

void bck(int pas)
{
    if(pas > N)
    {
        cnt++;
        if(cnt == 1)
        {
            for(int i = 1; i <= N; i++)
                r[i] = v[i];
        }
        return;
    }

    for(v[pas] = 1; v[pas] <= N; v[pas]++)
    {
        if(c[ v[pas] ]) continue;
        if(dg2[ v[pas] - pas + 15 ]) continue;
        if(dg1[ v[pas] + pas ]) continue;

        c[ v[pas] ] = 1;
        dg2[ v[pas] - pas + 15 ] = 1;
        dg1[ v[pas] + pas ] = 1;

        bck(pas + 1);

        c[ v[pas] ] = 0;
        dg2[ v[pas] - pas + 15 ] = 0;
        dg1[ v[pas] + pas ] = 0;
    }
}

int main()
{
    #ifdef FILE_IO
    freopen("damesah.in", "r", stdin);
    freopen("damesah.out", "w", stdout);
    #endif

    scanf("%d", &N);
    bck(1);

    for(int i = 1; i <= N; i++)
        printf("%d ", r[i]);
    printf("\n%d\n", cnt);

    return 0;
}