#include<stdio.h>
int a[260][260], n, i, j, lc;
int main()
{
	freopen("lacate.in","r",stdin);
	freopen("lacate.out","w",stdout);
	scanf("%d",&n);
	printf("%d %d\n",n*(n-1)/2,n-1);
	lc=1;
	for (i=1;i<n;i++)
		for (j=i+1;j<=n;j++){
			a[i][++a[i][0]]=lc;
			a[j][++a[j][0]]=lc;
			lc++;
		}
	for (i=1;i<=n;i++){
		for (j=1;j<=a[i][0];j++)
			printf("%d ",a[i][j]);
		printf("\n");
	}
	fclose(stdin);
	fclose(stdout);
	return 0;
}