using System;
using System.Collections.Generic;
using System.Collections;
using System.Collections.Specialized;
using System.Linq;
using System.Text;
using System.IO;
using System.Reflection;
using static System.Math;
using System.Numerics;
using System.Threading;
using System.Runtime.CompilerServices;
using System.Diagnostics;
//using nint=System.Int32;
static class Program{
	const int mod=(int)1e9+7;
	static void Main(){
		Sc sc=new Sc();
		var s=sc.Ia;
		StringBuilder sb=new StringBuilder();
		int p=0,o=0;
		if(s[0]==s[1]&&s[0]==s[2]){
			if(s[0]>s[3]){
				Console.WriteLine(-1);
				return;
			}
			p=s[0];
			for(int i = 0;i<s[0];i++) {sb.Append(i+" "+((i+1)%s[0])+"\n");}
			o--;
		}
		else if(s[1]==s[2]){
			sb.Append("0 1\n");
			p++;
			for(int i = 0;i<s[1]-1;i++) {
				sb.Append("1 "+(i+2)+"\n");
				p++;
			}
			for(int i = s[1];i<s[0]-1;i++) {
				sb.Append("0 "+(p+1)+"\n");
				p++;
			}
		}
		else if(s[0]==s[2]){
			sb.Append("1 0\n");
			p++;
			for(int i = 0;i<s[0]-1;i++) {
				sb.Append("0 "+(i+2)+"\n");
				p++;
			}
			for(int i = s[0];i<s[1]-1;i++) {
				sb.Append("1 "+(p+1)+"\n");
				p++;
			}
		}
		else{
			if(s[2]>0){
				sb.Append("0 2\n");
				sb.Append("1 2\n");
				p=2;
				for(int i = 1;i<s[2];i++) {
					sb.Append("2 "+(p+1)+"\n");
					p++;
				}
				for(int i = s[2];i<s[0]-1;i++) {
					sb.Append("0 "+(p+1)+"\n");
					p++;
				}
				for(int i = s[2];i<s[1]-1;i++) {
					sb.Append("1 "+(p+1)+"\n");
					p++;
				}
			}
			else{
				o++;
				for(int i = 0;i<s[0]-1;i++) {
					sb.Append("0 "+(p+2)+"\n");
					p++;
				}
				for(int i = 0;i<s[1]-1;i++) {
					sb.Append("1 "+(p+2)+"\n");
					p++;
				}
			}
		}
		if(s[3]>=p){
			Console.WriteLine("{0} {1}",p+1+o,p);
			Console.Write(sb);
		}
		else{
			Console.WriteLine(-1);
		}
	}
}

public class Sc{
	public int I{get{return int.Parse(Console.ReadLine());}}
	public long L{get{return long.Parse(Console.ReadLine());}}
	public double D{get{return double.Parse(Console.ReadLine());}}
	public string S{get{return Console.ReadLine();}}
	public int[] Ia{get{return Array.ConvertAll(Console.ReadLine().Split(),int.Parse);}}
	public long[] La{get{return Array.ConvertAll(Console.ReadLine().Split(),long.Parse);}}
	public double[] Da{get{return Array.ConvertAll(Console.ReadLine().Split(),double.Parse);}}
	public string[] Sa{get{return Console.ReadLine().Split();}}
	public object[] Oa{get{return Console.ReadLine().Split();}}
	public int[] Ia2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),int.Parse);}}
	public int[] Ia3(string a,string b){return Array.ConvertAll((a+Console.ReadLine()+b).Split(),int.Parse);}
	public int[] Ia3(int a){return Array.ConvertAll((Console.ReadLine()+" "+a.ToString()).Split(),int.Parse);}
	public long[] La2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),long.Parse);}}
	public long[] La3(string a,string b){return Array.ConvertAll((a+Console.ReadLine()+b).Split(),long.Parse);}
	public long[] La3(int a){return Array.ConvertAll((Console.ReadLine()+" "+a.ToString()).Split(),long.Parse);}
	public double[] Da2{get{return Array.ConvertAll(("0 "+Console.ReadLine()+" 0").Split(),double.Parse);}}
	public double[] Da3(string a,string b){return Array.ConvertAll((a+Console.ReadLine()+b).Split(),double.Parse);}
	public T[] Arr<T>(int n,Func<T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f();}return a;}
	public T[] Arr<T>(int n,Func<int,T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f(i);}return a;}
	public T[] Arr<T>(int n,Func<string[],T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f(Console.ReadLine().Split());}return a;}
	public T[] Arr<T>(int n,Func<int,string[],T> f){var a=new T[n];for(int i=0;i<n;i++){a[i]=f(i,Console.ReadLine().Split());}return a;}
	public (T,T) Tp2<T>(){var s=Console.ReadLine().Split();return (Ct<T>(s[0]),Ct<T>(s[1]));}
	public (T1,T2) Tp2<T1,T2>(){var s=Console.ReadLine().Split();return (Ct<T1>(s[0]),Ct<T2>(s[1]));}
	public (T,T,T) Tp3<T>(){var s=Console.ReadLine().Split();return (Ct<T>(s[0]),Ct<T>(s[1]),Ct<T>(s[2]));}
	public (T1,T1,T2) Tp3<T1,T2>(){var s=Console.ReadLine().Split();return (Ct<T1>(s[0]),Ct<T1>(s[1]),Ct<T2>(s[2]));}
	private T Ct<T>(string s){return (T)Convert.ChangeType(s,typeof(T));}
}