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