#include<bits/stdc++.h>
#define ll long long
using ull = unsigned long long;
#define pii array<ll,2>
#define endl '\n'
using namespace std;
const int N=4e5+5;

int k;
void solve(){
    cin >> k;
    cout<<1024<<' '<<524288<<' '<<2<<endl;
    for(int i=1;i<=1024;i++) cout<<(i%2)+1<<' ';
    for(int i=1;i<=1024;i++){
        if(i%2==1){
            for(int j=2;j<=i;j+=2){
                cout<<i<<' '<<j<<endl;
            }
        }
        else{
            for(int j=1;j+1<i;j+=2){
                cout<<i<<' '<<j<<endl;
            }
        }
    }
}
signed main(){
    ios::sync_with_stdio(0);cin.tie(0);cout.tie(0);
    // int T=1;cin>>T;while(T--) 
    solve();
}