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

#define rep(i,n) for (int i=0;i<(n);i++)
#define rep2(i,a,b) for (int i=(a);i<(b);i++)
#define rrep(i,n) for (int i=(n)-1;i>=0;i--)
#define rrep2(i,a,b) for (int i=(b)-1;i>=(a);i--)
#define all(a) (a).begin(),(a).end()

typedef long long ll;
typedef pair<int, int> P;

int main() {
    std::ios::sync_with_stdio(false);
    std::cin.tie(0);

    int A, B, C, D;
    cin >> A >> B >> C >> D;

    int N = A + B - C;                  // 村の個数
    int M = N - 1;                      // 辺の本数の最小値
    if (C == 0)             M = N - 2;  // 非連結になるとき
    if (A == C && B == C)   M = N;      // 閉路になるとき

    // 村が2個未満 or 辺の本数の最小値が D より大きい ならば、条件を満たす組はない
    if (N < 2 || M > D) {
        cout << -1 << endl;
        return 0;
    }

    vector<P> edges;    // 水路を格納しておくやつ
    if (A == C && B == C) {
        // 閉路になるとき
        rep(i, N) edges.emplace_back(i, (i + 1) % N);
    } else {
        // 閉路になるとき以外
        int id = 2; // 村0, 1の次の2から番号を振っていく
        // 村0からのみ水が流れる村は、村0を除くと A-C-1個
        rep(i, A - C - 1) {
            edges.emplace_back(P(0, id));
            id++;
        }
        // 村1からのみ水が流れる村は、村1を除くと B-C-1個
        rep(i, B - C - 1) {
            edges.emplace_back(P(1, id));
            id++;
        }

        // 村0と村1の両方から水が流れる村
        if (C > 0) {
            int par;
            if (C == A) {
                edges.emplace_back(P(1, 0));
                par = 0;
            }
            else if (C == B) {
                edges.emplace_back(P(0, 1));
                par = 1;
            }
            else {
                edges.emplace_back(P(0, id));
                edges.emplace_back(P(1, id));
                par = id++;
            }
            rep2(i, id, N) {
                edges.emplace_back(P(par, i));
            }
        }
    }

    cout << N << " " << M << endl;
    assert(edges.size() == M);
    for (auto p : edges) {
        cout << p.first << " " << p.second << endl;
    }
}