#include <vector>
#include <list>
#include <map>
#include <set>
#include <deque>
#include <queue>
#include <stack>
#include <bitset>
#include <algorithm>
#include <functional>
#include <numeric>
#include <utility>
#include <sstream>
#include <iostream>
#include <iomanip>
#include <cstdio>
#include <cmath>
#include <cstdlib>
#include <cctype>
#include <string>
#include <cstring>
#include <cstdio>
#include <cmath>
#include <cstdlib>
#include <ctime>
#include <fstream>
#include <iterator>
#include <assert.h>
#include <unordered_map>
using namespace std;
 
 
const string file = "damesah";
 
const string infile = file + ".in";
const string outfile = file + ".out";
 
const int INF = 0x3f3f3f3f;
 

const int MAXN = 14;

int N;

bool uz[MAXN];
int X[MAXN];

int Sol[MAXN];
bool principala[MAXN * 2];
bool secundara[MAXN*2];

int Sols;



void bkt(int k)
{
	if(k == N)
	{
		if(Sols == 0)
		{
			memcpy(Sol, X, sizeof(Sol));
		}
		Sols++;
	}
	else
	{
		for(int i = 0; i < N; i++)
		{
			int prin = i - k + N - 1;
			int sec = k + i;
			
			if(uz[i] == false && principala[prin] == false && secundara[sec] == false)
			{
				X[k] = i;
				
				uz[i] = true;
				principala[prin] = true;
				secundara[sec] = true;

				bkt(k + 1);

				secundara[sec] = false;
				principala[prin] = false;
				uz[i] = false;
			}
		}
	}
}




int main()
{
#ifdef ONLINE_JUDGE
    ostream &fout = cout;
    istream &fin = cin;
#else
    fstream fout(outfile.c_str(), ios::out);
    fstream fin(infile.c_str(), ios::in);
#endif  

	
	fin >> N;

	bkt(0);


	for(int i = 0; i < N; i++)
	{
		fout << Sol[i] + 1 << " ";
	}
	fout << "\n";
	fout << Sols << "\n";

 
#ifdef ONLINE_JUDGE
#else
 
    fin.close();
    fout.close();
#endif
}