#include <iostream>

#include <vector>

using namespace std;

vector <int> toBin(int x){
	vector<int> X;
    if (x==0)X.push_back(0);
    else{
        while (x !=0){
        X.push_back(x%2);
		x /= 2;
    	}
    }
	while(X.size()<30){
		X.push_back(0);
	}
	return X;
}

int main(){
	cin.tie(0);cout.tie(0);ios_base::sync_with_stdio(false);
	int k; cin >> k;
	vector<int> X = toBin(k);
	cout << 61 << '\n';
	for(int i=1;i<30;i++){
		// cout << i << ' ';
		cout << i+1 << ' ' << i+30 << '\n';
	}
	cout << 60 << ' ' << -1 << '\n';
	for(int i=1;i<=30;i++){
		// cout << i + 30 << ' ';
		if(i<30)cout << i +1 << ' ';
		else cout << -1 << ' ';
		if(X[i-1]==0)cout << - 1 << '\n';
		else cout << 61 << '\n';
	}
	cout << -1 << ' ' << -1 << '\n';
}