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 sub1(ll k){
    cout<<k+3<<' '<<2*(k+1)<<endl;
    for(int i=2; i<=k+2; i++){
        cout<<1<<' '<<i<<endl;
        cout<<i<<' '<<k+3<<endl;
    }
}
int main() {
    ios::sync_with_stdio(0); cin.tie(0);
	int t =1;
// 	cin>>t;
	while(t--){
	   ll k;
	   cin>>k;
	   sub1(k);
	}
    
	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... |