#include <bits/stdc++.h>
using namespace std;
#define _ <<" "<<
#define sz(x) ((int) (x).size())
typedef pair<int, int> pii;
typedef long long ll;
const int maxn = 1e6 + 5;


int n, m;
vector<int> G[maxn];
int id[maxn];

void addedge(int a,int b) {
    G[a].push_back(b);
    G[b].push_back(a);
}

vector<pii> ans;

void dfs(int x,int fa) {
    for (auto v : G[x]) if (v != fa) {
        dfs(v, x);
        ans.push_back({v, x});
    }
}
int sum = 0;

void varify(int x,int fa,int dep) {
    sum += dep;
    for (auto v : G[x]) if (v != fa) {
        varify(v, x, dep+1);
    }
}

void solve(int a,int b) {
    
    if (a < b-1) {
        cout << "impossible\n";
        return;
    }
    int t,n;
    int ok = 0;
    for (int p = 1;p <= 1000000; ++p) if (p*b <= 1000000) {
        ll cur = (ll)(b*p-1)*b*p/2;
        if (a*p >= b*p - 1 && a*p <= cur) {
            n = b*p;
            t = a*p;
            ok = 1;
            break;
        }
    }
    assert(ok == 1);
    
    for (int i = 1;i <= n; ++i) G[i].clear();
    memset(id,0,sizeof(id));
    ans.clear();
    int tar = t;
    int k = n;
    int maxdep = 0;
    id[0] = n; k--;
    int mx = n;
    // cout << "Tar" _ t _ k << endl;

    while (k <= t-maxdep) {
        addedge(k,mx); mx = k;
        id[++maxdep] = k;
        k--; 
        t -= maxdep;
    }
    //  cout << "Tar" _ t _ k << endl;
    for (int i = 1;i < k; ++i) {
        addedge(n, i);
        t--;
    }
    // cout << "Tar" _ t _ k << endl;
    addedge(id[t-1], k);
    dfs(n,0);
    cout << n _ n-1 << '\n';
    for (auto [a,b] : ans) {
        if (a == n) a = 1;
        else if (a == 1) a = n;
        if (b == n) b = 1;
        else if (b == 1) b = n;
        cout << a _ b << '\n';
    }
    for (int i = 1;i <= n; ++i) G[i].clear();
    for (auto [x,y] : ans) {
        addedge(x,y);
    }
    sum = 0;
    varify(n,0,0);
    // cout << sum _ tar << endl;
    assert(sum == tar);
    assert(tar*b == a*n);
    assert(n <= 1000000 && sz(ans) <= 1000000);
    assert(sz(ans) == n-1);
}

int main() {
    ios_base::sync_with_stdio(0);
    cin.tie(0);
    int a; cin >> a;
    char c; cin >> c;
    int b; cin >> b;
    solve(a,b);
    // for (int a = 1000;a >= 1; --a) {
    //     for (int b = 1000;b >= 1; --b) {
    //         cout << a _ b << endl;
    //         solve(a,b);
    //     }
    // }
    // for (int a = 1;a <= 1000; ++a) {
    //     for (int b = 1;b <= 1000; ++b) {
    //         cout << a _ b << endl;
    //         solve(a,b);
    //     }
    // }
    return 0;
}