#include<bits/stdc++.h>
using namespace std;
int n=19,k=500;
vector<pair<int,int> >E;
void adde(int x,int y){
	E.emplace_back(x,y);
}
int main(){
	adde(1,2),adde(1,3),adde(2,3);
	for(int i=4;i<=11;++i)adde((i-1)%3+1,i);
	for(int i=4;i<11;++i)adde(i,i+1);
	printf("%d %d\n",n,E.size());
	for(auto [x,y]:E)printf("%d %d\n",x,y);
	for(int i=1;i<=k;++i){
		E.clear();
		int u=i,v=11,w=3;
		while(!(u&1))adde(++v,1),u>>=1;
		while(u>1){
			if(u&1)++w;
			adde(++v,w);
			adde(v,w%3+1);
			u>>=1;
		}
		if(w<11)++w,adde(w,w%3+1);
		while(v<19)adde(++v,1),adde(v,2);
		printf("%d\n",E.size());
		for(auto [x,y]:E)printf("%d %d\n",x,y);
	}
	return 0;
}