#include<bits/stdc++.h>
using namespace std;
const int N=1919810;
typedef long long ll;
typedef pair<ll,ll> PII;
ll n,m,k;
ll a[N],b[N];
char s[N];

typedef struct{
    int x,y,z;
}Node;
Node e[N];
vector<PII> v;

int main(){
    ios::sync_with_stdio(0);
    cin.tie(0);
    cin>>k;
    n=1024;
    for(int i=1;i<=n;i++){
        int bg;
        if(i&1) bg=2;
        else bg=1;
        int cnt=(i+1)/2-1;
        for(int j=bg,c=1;c<=cnt;j+=2,c++) v.push_back({j,i});

    }
    cout<<n<<" "<<v.size()<<" "<<2<<endl;
    for(int i=1;i<=n;i++){
        if(i&1) cout<<1<<" ";
        else cout<<2<<" ";
    }
    cout<<endl;
    for(auto [x,y]:v) cout<<x<<" "<<y<<"\n";
    
}