#include <cstdio>

#define MAXN 256

int c[MAXN][MAXN],
    t[MAXN];

int main() {
  int n, k;
  FILE *f = fopen("lacate.in", "r");
  fscanf(f, "%d", &n);
  fclose(f);
  k = 0;
  for (int i = 0; i < n; ++i) {
    for (int j = i + 1; j < n; ++j) {
      ++k;
      c[i][t[i]++] = k;
      c[j][t[j]++] = k;
    }
  }
  f = fopen("lacate.out", "w");
  fprintf(f, "%d %d\n", k, n - 1);
  for (int i = 0; i < n; ++i) {
    for (int j = 0; j < n - 1; ++j) {
      fprintf(f, "%d\n", c[i][j]);
    }
  }
  fclose(f);
  return 0;
}