#include<iostream>
#include<cassert>
using namespace std;
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	cout<<1000<<" "<<1000<<"\n";
	for(int w=1;w<=1000;w++)
	{
		int v=w==1?(int)1e5:(w-1)*((int)1e5+1);
		cout<<v<<" "<<w<<"\n";
	}
}