#include <bits/stdc++.h>
#define endl '\n'
using namespace std;
int main(){
    ios_base::sync_with_stdio(false);
    cin.tie(NULL);
	int n, k;
	cin >> n >> k;
	if(k-n==1){
		cout << 1;
		return 0;
	}
	cout << n << " " <<k<< endl;
	long long int a1=0;
	long long int b1=n;
	long long int a2=0;
	long long int b2=n;
	long long int sum=0;
	long long int m=1000000007;

	if(k==1){
		for(int i=k; i<n+1; i++){
				a2=a1+i;
				b2=b1+n-i;
				sum=(sum-a2+b2+1)%m;
				a1=a2;
				b1=b2;
				cout << a1 << " " <<b1 << endl;
		}
		
		cout << sum;
	    return 0;
	}
	for(int i=1; i<k-1; i++){
		a1=a1+i;
		b1=b1+n-i;
	}
	cout << a1 << " " <<b1<< endl;
	for(int i=k-1; i<n+1; i++){
		a2=a1+i;
		b2=b1+n-i;
		sum=(sum-a2+b2+1)%m;
		a1=a2;
		b1=b2;
	}
	cout << sum;
    return 0;
}