#include <bits/stdc++.h>

using namespace std;

typedef long long ll;
template<class T> void check_min(T &a, const T &b){ a = (a < b) ? a : b; }
template<class T> void check_max(T &a, const T &b){ a = (a > b) ? a : b; }
#define all(x) (x).begin(), (x).end()

const int N = 60 + 3;

int k;

int main(){
    ios::sync_with_stdio(false);
    cin.tie(NULL);

    cin >> k;
    if(k <= 20){
        if(k == 1){
            cout << "2 1\n1 2\n";
            return 0;
        }
        if(k == 2){
            cout << "4 4\n1 2\n1 3\n2 3\n3 4\n";
            return 0;
        }
        cout << k << " " << k << "\n";
        for(int i = 1; i <= k - 1; ++i)
            cout << i << " " << i + 1 << "\n";
        cout << k << " " << 1 << "\n";
        return 0;
    }

    int i = 1;
    while((i + 1) * (i + 4) / 2 - 2 <= k){
         // cout << "from " << i * (i + 3) / 2 - 2 << " to " << i * (i + 3) / 2 + 21 - i - 5 << "\n";
        ++i;
    }

    int a = i;
    int n = 5 + k - a * (a + 3) / 2;

    cout << n + a - 1 << " " << a * (a - 1) / 2 + n << "\n"; 
    for(int i = 1; i <= a; ++i)
        for(int j = i + 1; j <= a; ++j)
            cout << i << " " << j << "\n";

    n += a - 1;
    for(int i = a; i < n; ++i)
        cout << i << " " << i + 1 << "\n";
    cout << n << " " << 1 << "\n";
}