#pragma G++ optimize("O2")
#include<iostream>
#include<cstdio>
#include<vector>
#include<cstring>
#include<cstdlib>
#include<queue>
#include<map>
#include<cmath>
#include<algorithm>
//#include<bits/stdc++.h>
using namespace std;
using ll = long long;
using ull = unsigned long long;
using ld = long double;
using pll = pair<ll, ll>;
#define RI register int
#define int long long
#define fi first
#define se second
#define pb push_back
#define endl '\n'
#define For(i,a,b) for(RI(i)=(int)(a);(i)<=(int)(b);++(i))
#define Ford(i,a,b) for(RI(i)=(int)(a);(i)>=(int)(b);--(i))
template<class T>using _pq = priority_queue<T, vector<T>, greater<T> >;
int gcd(int a, int b) { return b == 0 ? a : gcd(b, a % b); }
int lcm(int a, int b) { return a / gcd(a, b) * b; }
bool check2(int x) { return x > 0 ? (x & (x - 1)) == 0 : false; }//2的幂
const ld PI = 3.1415926535897932384626;
const double EXP = 1e-8;
const ll N = 1e5 + 7, INF = 0x3f3f3f3f3f3f3f3f;
int m, n, x, y, z, w, k,s, c1, a1,b1, maxn, l, r, mod = 1e9 + 7, sum;
//int b[N],a[N],c[N];
//<int>e[N];
//void add(int a,int b){e[a].pb(b);e[b].pb(a);}
//void dfs(int u,int f) { for (auto v : e[u]) { if(f==v)continue;dfs(v); } }
void solve() {
    cin >> n ;
    cout << 1008 << ' ' << 504 * 503 << ' ' << 2 << endl;
    For(i, 1, 503)cout << 1 << ' '<<2<<' '; 
    cout << 1<<' '<<2 << endl;
    For(i,1,504)
        For(j, 1, 504) {
        if (i == j)continue;
        cout << 2 * i - 1 << ' ' << 2 * j << endl;
    }
}

signed main() {
    ios::sync_with_stdio(false); cin.tie(0); cout.tie(0);

    int t = 1;
    //cin>>t;
    while (t--)solve();
    return 0;
}