#include <bits/stdc++.h>
#ifdef dbg
#define D(...) fprintf(stderr, __VA_ARGS__)
#define DD(...) D(#__VA_ARGS__ " = "), debug_helper::debug(__VA_ARGS__), D("\n")
#include "C:\Users\wsyear\Desktop\OI\templates\debug.hpp"
#else
#define D(...) ((void)0)
#define DD(...) ((void)0)
#endif
#define rep(i, j, k) for (int i = (j); i <= (k); ++i)
#define per(i, j, k) for (int i = (j); i >= (k); --i)
#define SZ(v) int((v).size())
#define ALL(v) (v).begin(),(v).end()
#define fi first
#define se second
using ll = long long;
using pii = std::pair<int, int>;
using pll = std::pair<ll, ll>;

using namespace std;

int k;

int main() {
  cin.tie(nullptr) -> ios::sync_with_stdio(false);
  cin >> k;
  if (k == 1) {
    cout << "2 1\n";
    cout << "1 2\n";
  } else if (k == 2) {
    cout << "4 4\n";
    cout << "1 2\n";
    cout << "1 3\n";
    cout << "2 3\n";
    cout << "3 4\n";
  } else if (k <= 20) {
    cout << k << " " << k << "\n";
    rep (i, 1, k) cout << i << " " << i % k + 1 << "\n";
  } else {
    rep (x, 3, 20) rep (y, 2, 20 - x) {
      int cnt = x * (x - 1) / 2 + y - 1 + 2 * (x - 2) + 1;
      if (cnt != k) continue;
      cout << x + y << " " << x * (x - 1) / 2 + y + 1 << "\n";
      rep (i, 1, x) rep (j, i + 1, x) cout << i << " " << j << "\n";
      rep (i, 2, y) cout << x + i - 1 << " " << x + i << "\n";
      cout << "1 " << x + 1 << "\n";
      cout << "2 " << x + y << "\n";
      return 0;
    }
  }
}