#include<bits/stdc++.h>
#define int long long 

signed main () {
	std::ios::sync_with_stdio(false);
	std::cin.tie(nullptr),std::cout.tie(nullptr);
	int n = 1024 , m = 0 , c = 1;
	for(int i = 2; i < n; ++ i) for(int j = 1; j < i; ++ j) m ++; 
	std::cout << n << ' ' << m << ' ' << c << '\n';
	for(int i = 1; i <= n; ++ i) std::cout << c << ' ';
	std::cout << '\n';
	for(int i = 2; i < n; ++ i) for(int j = 1; j < i; ++ j) std::cout << j << ' ' << i << '\n'; 
}