#include<bits/stdc++.h>
using namespace std;
using lld = long long;

const int MAXN = 20;

struct T {
	int x,y,t;
};

char D[MAXN+1][MAXN+1];

int main() {
	ios_base::sync_with_stdio(false);
	cin.tie(nullptr);

	vector<T> t;
	vector<int> X;
	int b = 0;
	for(int i=0;i<62;i++) {
		for(int j=0;j<=i;j++)
			for(int k=0;k<=j;k++)
				t.push_back({j+b,k,(j==k ? 1 : 0)});
		b += i+2;

		for(int j=1;j<=80;j++)
			t.push_back({b-2,-j,0});

		X.push_back(b-2);
	}

	cout << t.size() << "\n";
	for(auto& i : t)
		cout << i.x << " " << i.y << " " << i.t << "\n";

	vector<pair<int,int>> R;
	lld K;
	cin >> K;

	for(int i=0;i<62;i++)
		if(K&(1ll<<i))
			R.emplace_back(X[i],-80+i);

	cout << R.size() << " " << 80 << "\n";
	for(auto& i : R)
		cout << i.first << " " << i.second << "\n";

	return 0;
}