#include <bits/stdc++.h>
using namespace std;
using ll = long long;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define all(c) begin(c), end(c)
#define dump(x) cerr << __LINE__ << ":\t" #x " = " << x << endl

set<pair<int,int>> es;

bool solve(int a, int b, int c, int m){
    int k = 2;
    es.clear();
    vector<int> as, bs, cs;

    rep(i, a - 1) as.push_back(k++);
    rep(i, b - 1) bs.push_back(k++);

    // assert((a && b) || (!a && !b));

    if(!c){
        if(!a || !b) return false;
        as.push_back(0);
        bs.push_back(1);
    } else {
        if(!a && !b && c == 1) return false;
        if(a) as.push_back(0); else cs.push_back(0);
        if(b) bs.push_back(1); else cs.push_back(1);
        rep(i, c - !a - !b) cs.push_back(k++);
    }

    sort(all(as));
    sort(all(bs));
    sort(all(cs));

    dump(a);
    dump(b);
    dump(c);

    // for(auto &e : as) cout << e << ' ';
    // cout << endl;
    // for(auto &e : bs) cout << e << ' ';
    // cout << endl;
    // for(auto &e : cs) cout << e << ' ';
    // cout << endl;

    // assert((int)cs.size() == c);

    rep(i, a - 1) es.emplace(as[i], as[i+1]);
    rep(i, b - 1) es.emplace(bs[i], bs[i+1]);
    rep(i, c - 1) es.emplace(cs[i], cs[i+1]);
    if(a && c) es.emplace(0, cs[0]);
    if(b && c) es.emplace(1, cs[0]);
    if(!a && !b) es.emplace(0, 1), es.emplace(1, 0);

    return (int)es.size() <= m;

    // auto fill_v = [&](const vector<int> &vs){
    //     rep(i, vs.size()) rep(j, i){
    //         if(m && !g[vs[i]][vs[j]]) g[vs[i]][vs[j]] = true, --m;
    //     }
    // };
    // auto fill_vw = [&](const vector<int> &vs, const vector<int> &ws){
    //     rep(i, vs.size()) rep(j, ws.size()){
    //         if(m && !g[vs[i]][ws[j]]) g[vs[i]][ws[j]] = true, --m;
    //     }
    // };

    // fill_v(as);
    // fill_v(bs);
    // fill_v(cs);
    // fill_vw(as, cs);
    // fill_vw(bs, cs);
}

int main(){
    int A, B, C, D;
    while(cin >> A >> B >> C >> D){
        int a = A - C;
        int b = B - C;
        if(solve(a, b, C, D)){
            int n = a + b + C;
            int m = es.size();
            cout << n << ' ' << m << '\n';
            for(auto &e : es) cout << e.first << ' ' << e.second << '\n';
        } else puts("-1");
    }
}