#include<bits/stdc++.h>
#define LL long long
using namespace std;
inline LL read(){
	LL res=0,fl=1;
	char ch=getchar();
	while(!(ch>='0' && ch<='9')){
		if(ch=='-')fl=-1;
		ch=getchar();
	}
	while(ch>='0' && ch<='9')res=res*10+ch-'0',ch=getchar();
	return res*fl;
}
const LL N=1e5+5;
int main(){
//	freopen(".in","r",stdin);
//	freopen(".out","w",stdout);
	srand(int(time(0)));
	int n=4,m=4;
	cout<<n<<' '<<n-1<<'\n';
	for(int i=2;i<=n;i++){
		int x=i,y=rand()%(i-1)+1;
		
		if(x>y)swap(x,y);
		cout<<x<<' '<<y<<'\n';
	}
	return 0;
}
