#include <stdio.h>

int a[258][258], i, j, n, val;

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

    fscanf(in, "%d", &n);
    
    val = 1;
    for (i = 1; i <= n-1; i++)
    for (j = i; j <= n-1; j++)
    {
        a[i][j] = val;
        a[j+1][i] = val;
        val++;
    }
    
    fprintf(out, "%d %d\n", val-1, n-1);
    
    for (i = 1; i <= n; i++)
    {
        for (j = 1; j <= n-1; j++)
            fprintf(out, "%d ", a[i][j]);
        fprintf(out, "\n");
    }
    
    fclose(in);
    fclose(out);
    return 0;   
}