#include<bits/stdc++.h>
using namespace std;
#define int long long
const int maxn=1e3+5;
int k;
signed main(){
	ios::sync_with_stdio(false);
	cin.tie(0);cout.tie(0);
	cin>>k;k+=2;
	cout<<k*2<<" "<<(k-1)*k<<" "<<2<<endl;
	for(int i=1;i<=2*k;i++){
		if(i&1)cout<<0<<" ";
		else cout<<1<<" ";
	}
	cout<<endl;
	for(int i=1;i<=k;i++){
		for(int j=i+1;j<=k;j++){
			cout<<2*i-1<<" "<<2*j<<endl;
			cout<<2*i<<" "<<2*j-1<<endl;
		}
	}
	return 0;
}