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