#include <bits/stdc++.h>
using namespace std;
#define rep(i,n) for(int i=0;i<n;i++)
#define per(i,n) for(int i=n-1;i>=0;i--)
#define rng(i,c,n) for(int i=c;i<n;i++)
#define fi first
#define se second
#define pb push_back
#define sz(a) (int) a.size()
#define all(a) a.begin(),a.end()
#define vec(...) vector<__VA_ARGS__>
#define _3M8yqhy ios::sync_with_stdio(0),cin.tie(0)
typedef long long ll;
typedef vector<int> vi;
typedef pair<int,int> pii;
void print(){cout<<'\n';}
template<class h,class...t>
void print(const h&v,const t&...u){cout<<v<<' ',print(u...);}

int get(int n,vec(pii) es){
	vec(vi) adj(n);
	for(auto [u,v]:es){
		assert(max(u,v)<n);
		adj[u].pb(v),adj[v].pb(u);
	}
	vi f(n,1);
	rep(v,n){
		map<int,int> mp;
		for(auto u:adj[v]){
			if(u<v){
				mp[f[u]]=1;
			}
		}
		int x=1;
		while(mp[x]){
			x+=1;
		}
		f[v]=x;
	}
	// print(n)
	// rep(i,n) cout<<f[i]<<" ";
	// print();
	return *max_element(all(f));
}

void slv(){
	int k;
	cin>>k;

	int n=504;
	vi lhs,rhs;
	vec(pii) es;
	int c=0;
	rep(i,n){
		for(auto v:rhs){
			es.pb({c,v});
		}
		for(auto v:lhs){
			es.pb({c+1,v});
		}
		lhs.pb(c++);
		rhs.pb(c++);
	}

	cout<<n*2<<" "<<sz(es)<<" "<<2<<"\n";
	rep(i,n*2) cout<<(i%2)+1<<" ";
	cout<<"\n";
	for(auto [u,v]:es){
		cout<<u+1<<" "<<v+1<<"\n";
	}
}

signed main(){
_3M8yqhy;
	slv();
}