// Problem: C. Challenge NPC
// Contest: The 3rd Universal Cup. Stage 8: Cangqian
// URL: https://qoj.ac/contest/1780/problem/8934
// Author: Fourier_WJY
// Memory Limit: 1024 MB
// Time Limit: 1000 ms
// Copyright (c) 2023 Fourier All rights reserved.
//
// Powered by CP Editor (https://cpeditor.org)

#include <bits/stdc++.h>
#define ll long long

using namespace std;

signed main() {
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
    int k;
    cin >> k;
    vector<pair<int, int>> e;
    k += 2;
    for (int i = 1; i <= k; i++)
        for (int j = 1; j <= i; j++) e.push_back({i, j + k});
    cout << k * 2 << " " << e.size() << " " << 2 << "\n";
    for (int i = 1; i <= k; i++) cout << 1 << " ";
    for (int i = 1; i <= k; i++) cout << 2 << " ";
    cout << "\n";
    for (auto it : e) cout << it.first << " " << it.second << "\n";
    return 0;
}