#include <iostream>
#include <cstdio>
#include <vector>

using namespace std;

typedef pair<int, int> PII;

const int N = 30;

int k, n, m;
vector<PII> sides;

int main() {
    // freopen("path.in", "r", stdin);
    // freopen("path.out", "w", stdout);

    scanf("%d", &k);

    n = 32;
    for (int i = 2; i < 32; ++i) {
        for (int j = i + 1; j <= 32; ++j) {
            sides.push_back({ i, j });
            ++m;
        }
    }
    
    for (int i = 30; i >= 0; --i) {
        if (k >> i & 1) {
            sides.push_back({ 1, n - i });
            ++m;
        }
    }

    printf("%d %d\n", n, m);
    for (auto [i, j] : sides) printf("%d %d\n", i, j);

    return 0;
}