#include<bits/stdc++.h>
#define int long long
using namespace std;
const int N=5e5+5;
inline int read(){
	int x=0,f=1;char ch=getchar();
	while(!isdigit(ch)){if(ch=='-')f=-1;ch=getchar();}
	while(isdigit(ch)){x=(x<<1)+(x<<3)+ch-48,ch=getchar();}
	return x*f;
}
int k,idx;

int s1[N],tot1,s2[N],tot2;
int u[N],v[N],tot,col[N];

signed main(){	
	//freopen("road.in","r",stdin);
	//freopen("road.out","w",stdout);
	k=read();
	s1[++tot1]=++idx;
	s2[++tot2]=++idx;
	for(int i=1;i<=510;i++){
		int f2=++idx;
		for(int j=1;j<=tot1;j++)
			++tot,u[tot]=s1[j],v[tot]=f2;
		
		int f1=++idx;
		for(int j=1;j<=tot2;j++)
			++tot,u[tot]=s2[j],v[tot]=f1;
		
		s1[++tot1]=f1;
		s2[++tot2]=f2;
	}
	cout<<idx<<" "<<tot<<" "<<2<<"\n";
	for(int i=1;i<=tot1;i++) col[s1[i]]=1;
	for(int i=1;i<=tot2;i++) col[s2[i]]=2;
	for(int i=1;i<=idx;i++) cout<<col[i]<<" ";cout<<"\n";
	for(int i=1;i<=tot;i++) cout<<u[i]<<" "<<v[i]<<"\n";
	return 0;
}