#include<iostream>
#include<vector>
using namespace std;
int K;
main()
{
	cin>>K;
	vector<pair<int,int> >E;
	for(int i=0;i<30;i++)for(int j=i+1;j<=30;j++)E.push_back(make_pair(i,j));
	for(int i=0;i<30;i++)if(K>>i&1)E.push_back(make_pair(i+1,31));
	cout<<32<<" "<<E.size()<<endl;
	for(pair<int,int>e:E)cout<<e.first+1<<" "<<e.second+1<<endl;
}