#include <stdio.h>
long nr[260];
int main()
{ freopen ("lacate.in","r",stdin);
  freopen ("lacate.out","w",stdout);

  long nrl,nrc,q,i,j,n,x,k;
   scanf ("%ld",&n);
   nrl=n*(n-1)/2;
   nrc=n-1;
   printf ("%ld  %ld\n",nrl,nrc);
   for (i=1;i<=nrc;i++)
    {nr[i]=i;
     printf ("%ld ",nr[i]);
    }
   printf ("\n");
   n--;
   q=1;
   for (i=1;i<=n;i++)
      {j=1;
       while (j<q)
	{nr[j]=nr[j]+1;
	 j++;
	}
       j++;
       x=1;
       for (k=j;k<=nrc;k++)
	 {nr[k]=nr[nrc]+x;
	  x++;
	 }
       q++;
       for (j=1;j<=nrc;j++)
	printf ("%ld ",nr[j]);
        printf ("\n");
      }
  fcloseall();
  return 0;

}