#include<stdio.h>
int x[260][260],i,j,k,n;

int main(){
FILE *f=fopen("lacate.in","r");

fscanf(f,"%d",&n);
fclose(f);

k=1;


for(i=1;i<n;i++)
  for(j=i+1;j<=n;j++)
        {x[i][0]++;
        x[j][0]++;
        x[i][x[i][0]]=x[j][x[j][0]]=k;
        k++;
        }
FILE *g=fopen("lacate.out","w");
fprintf(g,"%d %d\n",k-1,n-1);


for(i=1;i<=n;i++)
 { for(j=1;j<=n-1;j++)
        fprintf(g,"%d ",x[i][j]);
  fprintf(g,"%c",'\n');}
return 0;}