//n = 1 :
//	3 0 n+1 n
//	flip n+1
//	3 0 n+1 n
//
//n = 2 :
//	3 0 1 n
//	
//n = 3 : 
//	3 0 1
//	
//0 1 1  
//
//xi.
//
//a b c
//c d e
//a b c
//c d e
//
//<=>
//
//a b d e
//
//
//0 1 2 3 [4] 5
//
//0 & 1 : flip 5
//5 & 1 : flip 2 
//
//DOIT(if (5 2 3 : FLIP 4))
//
//if 5 2 3 : FLIP 4
//
//[
//if 2 & 5 : FLIP 1
//FLIP 1
//if 1 & 3 : FLIP 2
//FLIP 2
//
//......
//
//back to ground!
//]
#include<bits/stdc++.h>
#define L(i, j, k) for(int i = (j); i <= (k); ++i) 
#define R(i, j, k) for(int i = (j); i >= (k); --i) 
#define ll long long 
#define vi vector < int > 
#define ull unsigned long long 
#define sz(a) ((int) (a).size())
#define me(a, x) memset(a, x, sizeof(a)) 
using namespace std;
const int N = 1e5 + 7;
int n, m, q, CASE;
void solve(int pre, vi a) {
	if(sz(a) == 2) {
		cout << 3 << ' ' << a[0] << ' ' << a[1] << ' ' << n << '\n';
		return ;
	}
	cout << 3 << ' ' << a[0] << ' ' << a[1] << ' ' << pre << '\n';
	cout << 1 << ' ' << pre << '\n';
	vi cur = vi{pre};
	L(j, 2, sz(a) - 1) cur.emplace_back(a[j]); 
	solve(pre + 1, cur);
	cout << 1 << ' ' << pre << '\n';
	cout << 3 << ' ' << a[0] << ' ' << a[1] << ' ' << pre << '\n';
}
int main() {
	ios :: sync_with_stdio(false);
	cin.tie(0); cout.tie(0);
	cin >> n >> m >> q >> CASE;
	if(n == 0) {
		cout << 1 << '\n' << 1 << ' ' << 0 << '\n';
		return 0;
	}
	if(n == 1) {
		cout << 1 << '\n' << 2 << ' ' << 0 << ' ' << 1 << '\n';
		return 0;
	}
	if(n == 2) {
		cout << 1 << '\n' << 3 << ' ' << 0 << ' ' << 1 << ' ' << 2 << '\n';
		return 0;
	}
	cout << 8 * n - 20 << '\n';
	vi a = vi{n + 1};
	L(i, 2, n - 1) a.emplace_back(i);
	cout << 3 << ' ' << 0 << ' ' << 1 << ' ' << n + 1 << '\n';
	solve(1, a); 
	cout << 3 << ' ' << 0 << ' ' << 1 << ' ' << n + 1 << '\n';
	solve(1, a); 
	return 0;
}