#include<fstream>
using namespace std;
int n,c=0,m;
unsigned q[15];
ofstream fo("checker.out");
ifstream fi("checker.in");
void qi(unsigned s,unsigned l,unsigned r,unsigned i);
int main()
{
	fi>>n;
	m=(1<<n)-1;
	qi(0,0,0,1);
	fo<<c;
	return 0;
}
void qi(unsigned s,unsigned l,unsigned r,unsigned i)
{
	if(i==n+1)
	{
		c++;
		if(c<=3)
		{
			for(int h=1;h<=n;h++)
			{
				fo<<q[h]<<' ';
			}
			fo<<endl;
		}
	}
	else
	{
		int e=0,x,lie;
		e=(~(s|l|r))&m;
		while(e!=0)
		{
			x=0;
			lie=0;
			int w;
			w=(e&-e);
			e-=w;
			x=w;
			for(;x>0;)
			{
				lie++;
				x>>=1;
			}
			q[i]=lie;
			s=s&m;
			l=l&m;
			r=r&m;
			qi((s+w),((l+w)<<1),((r+w)>>1),(i+1));
		}
	}
}