#include<fstream.h>
int n,i=1;
int main()
{
ifstream f("lacate.in");
ofstream g("lacate.out");
f>>n;
if(n==2) {g<<"1 1"<<'\n'<<"1"<<'\n'<<"1";}
else { g<<n<<" "<<"2"<<'\n'<<i<<" "<<n<<'\n';n--;
	while(n)
	 {g<<i<<" "<<i+1<<'\n';
	  i++;n--;
	  }
	 }
f.close();
g.close();
return 0;
}