*******************************
*** The hack uses generator ***
*******************************

** Command line arguments **
no arguments

** Generated test **
200000 200000
200000
199001 199001
199001 199002
199001 199003
199001 199004
199001 199005
199001 199006
199001 199007
199001 199008
199001 199009
199001 199010
199001 199011
199001 199012
199001 199013
199001 199014
199001 199015
199001 199016
199001 199017
199001 199018
199001 199019
199001 199020
199001 199021
199001 199022
199001 199023
199001 199024
199001 199025
199001 199026
199001 199027
199001 199028
199001 199029
199001 199030
199001 199031
199001 199032
199001 1...

** Generator source **
//And in that light,I find deliverance.
#include<bits/stdc++.h>
// #pragma GCC optimize("Ofast")
// #pragma GCC optimize("unroll-loops")
// #pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,avx2,tune=native")
using namespace std;
inline int read(){
   int s=0,w=1;
   char ch=getchar();
   while(ch<'0'||ch>'9'){if(ch=='-')w=-1;ch=getchar();}
   while(ch>='0'&&ch<='9') s=s*10+ch-'0',ch=getchar();
   return s*w;
}
signed main()
{
	puts("200000 200000");
	puts("200000");
	int A=199000;
	for(int i=A+1; i<=A+400; ++i)
		for(int j=A+1; j<=A+500; ++j)
			printf("%d %d\n",i,j);
	return 0;
}