#include <stdio.h>

int main()
{
    FILE* fin = fopen("lacate.in", "r");
    FILE* fout = fopen("lacate.out", "w");
    
    int N;
    fscanf(fin, "%d", &N);
    
    int a = N-1;
    int m = N*a/2;
    
    fprintf(fout, "%d %d\n", m, a);
    
    int A[256][256];
    int ct = 1;

    for (int i = 0; i < a; i++)
        for (int j = i; j < a; j++)
        {
            A[i][j] = ct;
            A[1+j][i] = ct++;
        }
        
    for (int i = 0; i < N; i++)
    {
        for (int j = 0; j < a; j++)
            fprintf(fout, "%d ", A[i][j]);
        fprintf(fout, "\n");
    }
    
    fclose(fin);
    fclose(fout);
    
    return 0;
}