#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define f(i,a,b) for(ll i=a;i<=b;i++)
ll read(){
    ll x=0,f=1;char c=getchar();
    while(!isdigit(c)){if(c=='-')f=-1;c=getchar();}
    while(isdigit(c)){x=x*10+c-'0';c=getchar();}
    return x*f;
}
#define d read()
int main(){
    ll n=d;n=1024;
    cout<<n<<" "<<512*511<<" "<<2<<endl;
    f(i,1,n)cout<<(i&1)+1<<" ";puts("");
    f(i,3,n){
        if(i&1)for(int j=2;j<i;j+=2)cout<<i<<" "<<j<<endl;
        else for(int j=1;j<i-2;j+=2)cout<<i<<" "<<j<<endl;
    }
    return 0;
}