#include <fstream>
#include <vector>

using namespace std;

const char InFile[]="lacate.in";
const char OutFile[]="lacate.out";
const int MaxN=300;

ifstream fin(InFile);
ofstream fout(OutFile);

vector<int> v[MaxN];
int n,k;

int main()
{
	fin>>n;
	fin.close();

	for(register int i=1;i<=n;++i)
	{
		for(register int j=i+1;j<=n;++j)
		{
			++k;
			v[i].push_back(k);
			v[j].push_back(k);
		}
	}

	fout<<k<<" "<<v[1].size()<<"\n";
	for(register int i=1;i<=n;++i)
	{
		for(register int j=0;j<(int)v[i].size();++j)
		{
			fout<<v[i][j]<<" ";
		}
		fout<<"\n";
	}
	fout.close();
	return 0;
}