#include<bits/stdc++.h>
#define int long long
#define double long double
#define lowbit(x) x&(-x)
#define fastios ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
#define endl '\n'
#define el puts("")
#define udm unordered_map<int,int>
#define set_0(a) memset(&a,0,sizeof(a))
#define set_unint(a) memset(&a,-1,sizeof(a))
using namespace std;
//define_var
const int M=1e5+9,inf=1e18;
//define_var
//function_begin
int read()
{
	int x=0,f=1;
	char c=getchar();
	while(c<'0'||c>'9'){if(c=='-') f=-1;c=getchar();}
	while(c>='0'&&c<='9') x=x*10+c-'0',c=getchar();
	return x*f;
}
void write(int x)
{
	if(x<0) putchar('-'),x=-x;
	if(x>9) write(x/10);
	putchar(x%10+'0');
}
int quick(int a,int b)
{
	if(b==0)
		return 1;
	int pro=quick(a,b/2);
	if(b&1) return pro*pro*a;
	return pro*pro;
}
//function_end
//solve_begin
void solve()
{
	int k;
	cin>>k;
	vector<pair<int,int> > edge;
	int n=1024;
	for(int i=1;i<=n;i+=2)
	{
		int n1=i,n2=i+1;
		for(int j=2;j<n1;j+=2)
		{
			edge.push_back({n1,j});
		}
		for(int j=1;j<n2-1;j+=2)
		{
			edge.push_back({n2,j});
		}
	}
	cout<<n<<" "<<edge.size()<<" "<<2<<endl;
	for(int i=1;i<=n;i++)
	{
		if(i&1) cout<<1<<" ";
		else cout<<2<<" ";
	}
	cout<<endl;
	for(auto [x,y]: edge)
		cout<<x<<" "<<y<<endl;
}
//solve_end
//main_begin
signed main()
{
	fastios
	int T=1;
//	cin>>T;
	while(T--)
		solve();
}
//main_end