#include <bits/stdc++.h>
using namespace std;
#define PII pair<int,int>
const int mod=1e9+7;

long long pas[100][100];
long long bin[100];
int cnt[100];
vector<PII> res;

int main()
{
    ios_base::sync_with_stdio(0);
    pas[1][1]=1;
    for(int i=1;i<=70;i++)
    {
        for(int j=0;j<=i;j++)pas[j+1][i-j+1]=pas[j][i-j+1]+pas[j+1][i-j];
    }

    for(int i=0;i<=32;i++)bin[i]=pas[i+1][64-i+1];
   // for(int i=0;i<=32;i++)cout<<bin[i]<<endl;

    long long N;
    cin>>N;
    for(int i=32;i>=0;i--)
    {
        while(N>=bin[i])
        {
            N-=bin[i];
            cnt[i]++;
        }
        //cout<<cnt[i]<<endl;
    }

    int C=0;
    for(int i=32;i>=0;i--)C+=(65-i)*(i+1)*cnt[i];
    cout<<C<<endl;
    int X=0;
    int Y=0;
    int sum=0;
    for(int i=32;i>=0;i--)
    {
        sum+=cnt[i];
        for(int j=0;j<cnt[i];j++)
        {
            for(int x=X;x<X+65-i;x++)for(int y=Y;y<Y+i+1;y++)
            {
                cout<<x<<" "<<y<<" ";
                if(x==X&&y==Y)cout<<1<<endl;
                else cout<<0<<endl;
            }
            res.push_back({X+64-i,Y+i});
            X+=200;
        }
    }

    cout<<sum<<" "<<64<<endl;
    for(PII u:res)cout<<u.first<<" "<<u.second<<endl;
}