#include <iostream>
using namespace std;

const int n=32,M=1000;
int m=0,k,s[M],t[M];

int main(){
	cin>>k;
	for(int i=1;i<n;i++) for(int j=i+1;j<n;j++) s[m]=i,t[m++]=j;
	for(int i=0;i<30;i++) if(k&1<<i) s[m]=i+2,t[m++]=n;
	cout<<n<<' '<<m<<endl;
	for(int i=0;i<m;i++) cout<<s[i]<<' '<<t[i]<<endl;
}