#include <stdio.h>
int a[20000][256];
int n, i, j, k;
long int lacate, chei;
int col, col1;
int main ()

{

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

FILE *g = fopen ("lacate.out","w");

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

lacate = (n - 1) * (n / 2);
chei = n - 1;
/*printf ("lacate = %d\n", lacate);
printf ("chei = %d\n", chei);*/
 
k = 1;
col = 1;
col1 = 1;
for (i=1; i<=n; ++i)
{
for (j=i+1; j<=n; ++j)
{
a[i][col] = k;
col ++;
a[j][col1] = k;
k ++;
}
col1 ++;
col = i + 1;
}
fprintf (g,"%ld %ld\n", lacate, chei);
for (i=1; i<=n; ++i)
{
for (j=1; j<=chei; ++j)
fprintf (g,"%d ", a[i][j]);
fprintf (g,"\n");
}
fclose(g);
fclose(f);

return 0;
}