#include <bits/stdc++.h>
using namespace std;
using ll = long long;
#define all(x) ::begin(x), ::end(x)
void _d(auto... x) { ((cerr << ' ' << x), ...) << endl; }
#define debug(x...) cerr << "["#x"]:", _d(x)

int main() {
    cin.tie(0)->sync_with_stdio(0);

    int k;
    cin >> k;

    int n = 1004;

    vector<pair<int, int>> edges;
    vector<int> col(n);
    for (int i=0; i<n; i++) col[i] = i/2;

    for (int i=0; i<n/2; i++) {
        for (int j=i+1; j<n/2; j++) {
            edges.emplace_back(2*i, 2*j+1);
            edges.emplace_back(2*i+1, 2*j);
        }
    }

    cout << n << ' ' << ssize(edges) << '\n';
    for (int e : col) cout << e+1 << ' ';
    cout << '\n';
    for (auto [u, v] : edges) cout << u+1 << ' ' << v+1 << '\n';
}