#include <bits/stdc++.h>
#define ll long long
#define pb push_back

using namespace std;

int main()
{
    ll a, b;
    cin >> a;
    getchar();
    cin >> b;

    ios_base::sync_with_stdio(false);
	cin.tie(nullptr);
	cout.tie(nullptr);

    if(a<=b)
    {
        if(a==b) cout << "3 2\n1 2\n2 3";
        else if(a+1==b)
        {
            cout << b << " " << a << '\n';
            for(int i=1; i<=a; i++) cout << 1 << " " << i + 1 << "\n";
        }
        else cout << "impossible";
    }
    else
    {
        ll sum = 0, cnt = 1;
        vector<int> ans;

        for(int i=1; i<=a/b + 1; i++)
        {
            ans.pb(i);
            sum += i;
            cnt++;
        }

        /*cout << sum << " " << cnt;
        exit(0);*/

        while(a * cnt != b * sum)
        {
            //cout << a * cnt << " " << b * sum << "\n";
            if(a * cnt > b * sum)
            {
                ans.pb(a/b + 1);
                sum += a/b + 1;
                cnt++;
            }
            else
            {
                ans.pb(1);
                sum++;
                cnt++;
            }
        }

        cout << cnt << " " << cnt - 1 << "\n";
        for(int i=1; i<=cnt-1; i++)
        {
            cout << ans[i-1] << " " << i + 1 << "\n";
        }
    }
}