#include<fstream>
#include<vector>
#define pb push_back
 
using namespace std;

ofstream out("lacate.out");
vector<vector<int> >G;
int n,rez;
void read();
void write();
int main()
{
	read();
	write();
	return 0;
}
void read()
{
	ifstream in("lacate.in");
	in>>n;
	G.resize(n+1);
	for(int i=1;i<n;++i)
		for(int j=i+1;j<=n;++j)
		{
		++rez;
			G[i].pb(rez);
			G[j].pb(rez);
		}
}
void write()
{
	out<<rez<<" "<<n-1<<" "<<'\n';
		for(int i=1;i<=n;i++)
		{
	for(unsigned j=0;j<G[i].size();++j)
		out<<G[i][j]<<" ";
	out<<'\n';
		}
}