#include <fstream>
using namespace std;

int v[1<<9],n,nr;

ifstream in("lacate.in");
ofstream out("lacate.out");

void print()
{
	for (int i=1;i<n;i++)
		out<<v[i]<<" ";
	out<<"\n";
}

void bkt(int p)
{
	if (p==n)
	{
		print();
		return;
	}
	for (int i=v[p-1]+1;i<nr-n+p;i++)
	{
		v[p]=i;
		bkt(p+1);
	}
}

int main()
{
	in>>n;
	nr=n*(n-1)/2;
	out<<nr<<" "<<n-1<<"\n";
	bkt(1);
	return 0;
}