#include <bits/stdc++.h>
#include <iostream>
#include <set>
#include <string>
#include <map>
using namespace std;
#define pb push_back
typedef long long ll;
int main() {
    int k;
    cin>>k;
    const int U=510;
    vector<vector<int>> es;
    for(int i=0;i<U;++i) {
        for(int j=0;j<i;++j)
            es.pb({i*2,j*2+1}),
            es.pb({i*2+1,j*2});
    }
    cout<<U*2<<" "<<es.size()<<" "<<2<<"\n";
    for(int i=1;i<=U*2;++i)
        cout<<(i%2+1)<<" ";cout<<"\n";
    for(auto e:es)
        cout<<e[0]+1<<" "<<e[1]+1<<"\n";
}