#include<iostream>
#include<vector>
#include<cassert>
using namespace std;
vector<pair<int,int> >E;
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	E.push_back(make_pair(1,2));
	int prv=2;
	for(int i=0;i<1000;i++)
	{
		E.push_back(make_pair(prv+1,prv+2));
		E.push_back(make_pair(prv+2,prv+3));
		E.push_back(make_pair(prv+3,prv+4));
		E.push_back(make_pair(prv+4,prv+5));
		E.push_back(make_pair(prv,prv+3));
		E.push_back(make_pair(prv+3,prv+6));
		prv+=6;
	}
	E.push_back(make_pair(prv,prv+1));
	prv+=1;
	assert(E.size()==prv-1);
	cout<<prv<<"\n";
	for(auto[u,v]:E)cout<<u<<" "<<v<<"\n";
}