// #includes {{{
#include <algorithm>
#include <numeric>
#include <iostream>
#include <string>
#include <vector>
#include <queue>
#include <list>
#include <deque>
#include <stack>
#include <set>
#include <map>
#include <cstdio>
#include <cstdlib>
#include <cassert>
#include <cstring>
#include <cmath>
using namespace std;
// }}}
// pre-written code {{{
#define REP(i,n) for(int i=0;i<(int)(n);++i)
#define RREP(i,a,b) for(int i=(int)(a);i<(int)(b);++i)
#define FOR(i,c) for(__typeof((c).begin()) i=(c).begin();i!=(c).end();++i)
#define LET(x,a) __typeof(a) x(a)
//#define IFOR(i,it,c) for(__typeof((c).begin())it=(c).begin();it!=(c).end();++it,++i)
#define ALL(c) (c).begin(), (c).end()
#define MP make_pair

#define EXIST(e,s) ((s).find(e)!=(s).end())

#define RESET(a) memset((a),0,sizeof(a))
#define SET(a) memset((a),-1,sizeof(a))
#define PB push_back
#define DEC(it,command) __typeof(command) it=command

//debug
#define dump(x)  cerr << #x << " = " << (x) << endl;
#define debug(x) cerr << #x << " = " << (x) << " (L" << __LINE__ << ")" << " " << __FILE__ << endl;
#define debug2(x) cerr << #x << " = [";REP(__ind,(x).size()){cerr << (x)[__ind] << ", ";}cerr << "] (L" << __LINE__ << ")" << endl;

const int INF=0x3f3f3f3f;

typedef long long Int;
typedef unsigned long long uInt;
#ifdef __MINGW32__
typedef double rn;
#else
typedef long double rn;
#endif

typedef pair<int,int> pii;

/*
#ifdef MYDEBUG
#include"debug.h"
#include"print.h"
#endif
*/
// }}}

int N;
int A,B,C,D;

int main(){
	vector<int> a,b,c;
	cin>>A>>B>>C>>D;
	if(A==C){
		c.push_back(0);
		int t = 2;
		REP(i,C-1)c.push_back(t++);
		b.push_back(1);
		REP(j,B-C-1)b.push_back(t++);
		N = (int)a.size()+(int)b.size()+(int)c.size()-1;
	}else if(B==C){
		c.push_back(1);
		int t = 2;
		REP(i,C-1)c.push_back(t++);
		a.push_back(0);
		REP(j,A-C-1)a.push_back(t++);
	}else{
		int t = 2;
		a.push_back(0);
		REP(i,A-C-1){
			a.push_back(t++);
		}
		b.push_back(1);
		REP(j,B-C-1){
			b.push_back(t++);
		}
		REP(k,C){
			c.push_back(t++);
		}
	}
	N = (int)a.size()+(int)b.size()+(int)c.size()+10;
	vector<pii> e;
	REP(i,a.size()){
		if(i+1<a.size())e.push_back(make_pair(a[i],a[i+1]));
	}
	REP(i,b.size()){
		if(i+1<b.size())e.push_back(make_pair(b[i],b[i+1]));
	}
	if(a.size()>0 and c.size()>0)e.push_back(make_pair(a.back(),c.front()));
	if(b.size()>0 and c.size()>0)e.push_back(make_pair(b.back(),c.front()));
	REP(i,c.size()){
		if(i+1<c.size())e.push_back(make_pair(c[i],c[i+1]));
	}
	if(D<e.size()){
//	if(false){
		cout<<-1<<endl;
	}else{
		cout<<N<<" "<<e.size()<<endl;
		REP(i,e.size()){
			cout<<e[i].first<<" "<<e[i].second<<endl;
		}
	}
	return 0;
}