#include<stdio.h>
unsigned l,n,c,x[30][30],i,j,a=1;
int main()
{   FILE *f=fopen("lacate.in","r");
    FILE *g=fopen("lacate.out","w");
    fscanf(f,"%u",&n);
    l=n*(n-1)/2;
    c=n-1;
    fprintf(g,"%u %u\n",l,c);
    for(i=1;i<n;i++)
    for(j=i;j<n;j++)
	x[i][j]=a++;
    a=1;   
    for(j=1;j<=n;j++)
    for(i=j+1;i<=n;i++)
    	x[i][j]=a++;
    for(i=1;i<=n;i++)
       { for(j=1;j<n;j++) fprintf(g,"%u ",x[i][j]);
	 fprintf(g,"\n");
	}		
    fcloseall();
    return 0;
 }