#include"bits/stdc++.h"
using namespace std;
typedef long long ll;
#define all(x) (x).begin(),(x).end()
template<class T1,class T2> bool cmin(T1 &x,const T2 &y) { if (y<x) { x=y; return 1; }return 0; }
template<class T1,class T2> bool cmax(T1 &x,const T2 &y) { if (x<y) { x=y; return 1; }return 0; }

mt19937 rnd(2345);
const int dx[5]={1,0,-1,0,0},dy[5]={0,1,0,-1,0};
const ll inf=1e18;
int main()
{
	ios::sync_with_stdio(0); cin.tie(0);
	int n,m,i,j,k,l;
	// cin>>n>>m;
	n=m=31;
	vector f(n,vector<ll>(m));
	f[0][0]=1;
	auto av=[&](int x,int y)
		{
			return x>=0&&x<n&&y>=0&&y<m;
		};
	for (k=0; k<30; k++)
	{
		vector g(n,vector<ll>(m));
		for (i=0; i<n; i++) for (j=0; j<m; j++) for (l=0; l<5; l++) if (int x=i+dx[l],y=j+dy[l]; av(x,y))
		{
			g[x][y]=min(inf,g[x][y]+f[i][j]);
		}
		swap(f,g);
	}
	vector<tuple<ll,int,int>> a(19,{(ll)1e18,1,1});
	for (i=0; i<n; i++) for (j=0; j<m; j++) if (f[i][j]<inf&&f[i][j]) cmin(a[to_string(f[i][j]).size()],tuple{f[i][j],i,j});
	// for (auto [w,x,y]:a) cout<<w<<endl;
	ll q;
	cout<<n*m*100<<'\n';
	int x=-1e6+1,y=-1e6+1;
	for (k=0; k<100; k++)
	{
		for (i=0; i<n; i++) for (j=0; j<m; j++) cout<<x+i<<' '<<y+j<<' '<<(i==0&&j==0)<<'\n';
		x+=n+5; y+=m+5;
	}
	// for (k=0;k<)
	cin>>q;
	// return 0;
	vector<pair<int,int>> ans;
	while (q)
	{
		for (i=18; i; i--)
		{
			auto [w,x,y]=a[i];
			int xx=-1e6+1,yy=-1e6+1;
			while (q>=w)
			{
				q-=w;
				ans.push_back({xx+x,yy+y});
				xx+=n+5; yy+=m+5;
			}
		}
	}
	cout<<ans.size()<<' '<<30<<'\n';
	for (auto [x,y]:ans) cout<<x<<' '<<y<<'\n';
}