#include <stdio.h>
#define MAXN 256
int afis[MAXN][MAXN];

int main(){
  FILE *in = fopen("lacate.in", "r");
  int n;
  fscanf(in, "%d", &n);
  fclose(in);
  int i, j, last = 1;
  for(i = 0; i < n - 1; i++){
    for(j = i; j < n - 1; j++){
      afis[i][j] = last;
      last++;
    }
    for(j = i + 1; j < n; j++){
      afis[j][i] = afis[i][j - 1];
    }
  }
  FILE *out = fopen("lacate.out", "w");
  fprintf(out, "%d %d\n", n * (n - 1) / 2, n - 1);
  for(i = 0; i < n; i++){
    for(j = 0; j < n - 1; j++){
      fprintf(out, "%d ", afis[i][j]);
    }
    fputc('\n', out);
  }
  fclose(out);
  return 0;
}