This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
#include <bits/stdc++.h>
using namespace std;
#define ll long long
void solve() {
    int k;
    cin >> k;
    if (k == 0) {
        cout << "6 6\n1 4\n1 5\n4 3\n5 3\n3 2\n2 6\n";
        return;
    }
    cout << k + 3 << " " << 2 * k + 2 << '\n';
    for (int i = 2; i <= k + 2; i++) {
        cout << "1 " << i << '\n';
        cout << i << " " << k + 3 << '\n';
    }
}
int main() {
    ios::sync_with_stdio(0);
    cin.tie(0);
    int tc = 1;
    //cin >> tc;
    for (int i = 1; i <= tc; i++) {
        solve();
    }
    return 0;
}
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... |