#include<bits/stdc++.h>
using namespace std;

#include<atcoder/all>
using namespace atcoder;
using mint=atcoder::modint998244353;

#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")

#define int long long

signed main(){
	int X,Y;cin>>X>>Y;
	vector<pair<int,int>> edge;
	for(int i=0;i<X;i++){
		edge.push_back({i,(i+1)%X});
	}
	for(int i=0;i<Y-1;i++){
		for(int j=0;j<X;j++){
			edge.push_back({j+i*X,j+(i+1)*X});
		}
	}

	cout<<X*Y<<" "<<edge.size()<<endl;
	for(auto&&[u,v]:edge){
		cout<<u+1<<" "<<v+1<<endl;
	}
	return 0;
}