#define _CRT_SECURE_NO_WARNINGS
#include<sstream>
#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<climits>
#include<cmath>
#include<string>
#include<vector>
#include<set>
#include<map>
#include<queue>
#include<numeric>
#include<functional>
#include<algorithm>
#include<bitset>
#include<tuple>
#include<unordered_set>
#include<random>
using namespace std;
#define INF (1<<29)
#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define all(v) v.begin(),v.end()
#define uniq(v) v.erase(unique(all(v)),v.end())







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

	int a, b, c, d;
	cin >> a >> b >> c >> d;
	vector<pair<int, int>> edge;

	auto print = [&](int n) {
		if (edge.size() <= d) {
			cout << n << ' ' << edge.size() << endl;
			for (auto e : edge) {
				cout << e.first << ' ' << e.second << endl;
			}
		}
		else {
			cout << -1 << endl;
		}
	};

	
	if (min(a,b) != c) {
		if (c == 0) {
			rep(i, a - 1)edge.emplace_back(0, 2 + i);
			rep(i, b - 1)edge.emplace_back(1, 2 + a - 1 + i);
			print(a + b);
		}
		else if (c == 1) {
			rep(i, a - 2)edge.emplace_back(0, 2 + i);
			rep(i, b - 2)edge.emplace_back(1, a + i);
			edge.emplace_back(0, a + b - 2);
			edge.emplace_back(1, a + b - 2);
			print(a + b - 1);
		}
		else {
			edge.emplace_back(0, 2);
			edge.emplace_back(1, 2);
			rep(i, c - 1)edge.emplace_back(2, 3 + i);
			rep(i, a - 1 - c)edge.emplace_back(0, c + 2 + i);
			rep(i, b - 1 - c)edge.emplace_back(1, a + 1 + i);
			print(a + b - c);
		}
	}
	else if(a!=b){
		int s = 0, t = 1;
		if (a < b) {
			swap(s, t);
			swap(a, b);
		}
		edge.emplace_back(s, t);
		rep(i, c - 1)edge.emplace_back(t, 2 + i);
		rep(i, max(a, b) - 1 - c)edge.emplace_back(s, c + 1 + i);
		print(max(a, b));
	}
	else{//a=b=c
		if (c == 1) {
			cout << -1 << endl;
		}
		else {
			edge.emplace_back(0, 1);
			edge.emplace_back(1, 0);
			rep(i, c - 2)edge.emplace_back(0, 2 + i);
			print(c);
		}
	}


	return 0;
}