1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
#include <bits/stdc++.h>
using namespace std;
typedef long long lld;
typedef pair<int,int> pii;
typedef pair<lld,lld> pll;
typedef vector<int> vint;
#define ff first
#define ss second
#define mp make_pair
#define pb push_back

lld k;
int n;
int t[1024][2];

int main(){
	scanf("%lld",&k);
	n=1;
	while(k){
		t[n][0]=n+1;
		t[n][1]=n+2;
		++n;
		if(k&1) t[n][1]=69;
		else t[n][1]=-1;
		t[n][0]=n+1;
		++n;
		k>>=1;
	}
	t[n][0]=-1; 
	t[n][1]=-1; ++n;
	t[n][0]=-1; 
	t[n][1]=-1;
	printf("%d\n",n);
	for(int i=1;i<=n;++i){
		if(t[i][1]==69) t[i][1]=n;
		printf("%d %d\n",t[i][0],t[i][1]);
	}
	return 0;
}