#include <fstream>
#include <vector>

const int MAX_N = 256;
std::vector<int> sol[1 + MAX_N];

int main() {
  std::ifstream fin("lacate.in");
  std::ofstream fout("lacate.out");
  int n;
  fin >> n;
  int l = 0;
  for (int i = 1; i <= n; i++) {
    for (int j = i + 1; j <= n; j++) {
      l++;
      sol[i].push_back(l);
      sol[j].push_back(l);
    }
  }
  fout << l << " " << n - 1 << "\n";
  for (int i = 1; i <= n; i++) {
    for (int it : sol[i]) {
      fout << it << " ";
    }
    fout << "\n";
  }
  return 0;
}