#include <bits/stdc++.h>
using namespace std;
#define LL long long
const int Rea=1e5+3;
bool ifnum(char x){return x>='0'&&x<='9';}
bool ifupchr(char x){return x>='A'&&x<='Z';}
bool iflochr(char x){return x>='a'&&x<='z';}
bool ifchr(char x){return x=='+'||x=='-';}
struct Rin
{
    char c;
    char gc()
    {
        static char rea[Rea];
        static char *head,*tail;
        return head==tail&&(tail=(head=rea)+fread(rea,1,Rea,stdin)
        ,head==tail)?EOF:*head++;
    }
    Rin&operator >>(int &x)
    {
        bool tag=false;x=0;
        for(c=gc();c>'9'||c<'0';c=gc())if(c=='-'){c=gc();tag=true;break;}
        for(;c>='0'&&c<='9';c=gc())x=(x<<1)+(x<<3)+(c^'0');if(tag)x=-x;return *this;
    }
    Rin&operator >>(LL &x)
    {
        bool tag=false;x=0;
        for(c=gc();c>'9'||c<'0';c=gc())if(c=='-'){c=gc();tag=true;break;}
        for(;c>='0'&&c<='9';c=gc())x=(x<<1)+(x<<3)+(c^'0');if(tag)x=-x;return *this;
    }
    Rin&operator >>(char &x)
    {
        for(c=gc();!ifchr(c);c=gc());
        x=c;
        return *this;
    }
    Rin&operator >>(string &x)
    {
        x.clear();
        for(c=gc();!ifnum(c)&&!iflochr(c)&&!ifupchr(c);c=gc());
        for(;ifnum(c)||iflochr(c)||ifupchr(c);c=gc())x.push_back(c);
        return *this;
    }
}rin;
const int N=1e3+35;

int n,m,k;

#define ls(x) ((x<<1)-1)
#define rs(x) (x<<1)

#define num(x) ((x+1)>>1)

vector<pair<int,int> >ans;
int main()
{
    rin>>k;
    n=1024;
    for(int i=1;i<=(n>>1);i++)
    {
        for(int j=1;j<i;j++)
        {
            ans.push_back({ls(j),rs(i)});
            ans.push_back({rs(j),ls(i)});
        }
    }
    m=ans.size();
    printf("%d %d 2\n",n,m);
    for(int i=1;i<=(n>>1);i++)printf("%d %d ",1,2);puts("");
    for(auto [x,y]:ans)printf("%d %d\n",x,y);
    return 0;
}