#include <float.h>
#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部定数
#define D_ARRAY_MAX		100000									// 最大配列数

// 内部構造体 - 値情報
typedef struct Val {
	int miVal;													// 値
} Val;

// 内部変数
static FILE *szpFpI;											// 入力
static int siA, siB, siC, siD;									// A, B, C, D

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
	static int siTNo;
#endif

// 出力
int
fOut(
	char *pcpLine				// <I> １行
)
{
	char lc1Buf[1024];

#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, pcpLine)) {
		siRes = -1;
	}
#else
	printf("%s", pcpLine);
#endif

	return 0;
}

// 出力・加算
int
fOut2(
	int piVal1					// <I> 値１
	, int *pipVal2				// <IO> 値２
	, int piAdd					// <I> 加算値
)
{
	char lc1Buf[1024];

	sprintf(lc1Buf, "%d %d\n", piVal1, *pipVal2);
	fOut(lc1Buf);
	*pipVal2 += piAdd;

	return 0;
}

// 数値(int) - 入れ替え
int
fSwap(
	int *pipVal1				// <IO> 値１
	, int *pipVal2				// <IO> 値２
)
{
	int liWork = *pipVal1;
	*pipVal1 = *pipVal2;
	*pipVal2 = liWork;

	return 0;
}

// 実行メイン
int
fMain(
)
{
	int i;
	char lc1Buf[1024];

	// A, B, C, D - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d%d%d%d", &siA, &siB, &siC, &siD);

	// 大小
	int liNoA = 0;
	int liNoB = 1;
	if (siA < siB) {
		fSwap(&siA, &siB);
		fSwap(&liNoA, &liNoB);
	}

	if (siB == siC) {

		// 村数
		siA -= siB;
		int liVCnt = siA + siB;

		// 必要水路
		int liWCnt = siB - 1 + siA;
		if (liWCnt > siD) {
			return -1;
		}

		// 出力 - 先頭行
		fOut2(liVCnt, &liWCnt, 0);

		// 出力 - 水路A
		fOut2(liNoA, &liNoB, 0);
		int liNo = 2;
		for (i = 0; i < siA - 1; i++) {
			fOut2(liNoA, &liNo, 1);
		}

		// 出力 - 水路B
		for (i = 0; i < siB - 1; i++) {
			fOut2(liNoB, &liNo, 1);
		}
	}
	else {

		// 村数
		siA -= siC;
		siB -= siC;
		int liVCnt = siA + siB + siC;

		// 必要水路
		int liWCnt = siA - 1 + siB - 1;
		if (siC > 0) {
			liWCnt += siC + 1;
		}
		if (liWCnt > siD) {
			return -1;
		}

		// 出力 - 先頭行
		fOut2(liVCnt, &liWCnt, 0);

		// 出力 - 水路A
		int liNo = 2;
		for (i = 0; i < siA - 1; i++) {
			fOut2(liNoA, &liNo, 1);
		}

		// 出力 - 水路B
		for (i = 0; i < siB - 1; i++) {
			fOut2(liNoB, &liNo, 1);
		}

		// 出力 - 水路C
		if (siC > 0) {
			fOut2(liNoA, &liNo, 0);
			fOut2(liNoB, &liNo, 1);
			for (i = 0; i < siC - 1; i++) {
				fOut2(liNo - 1, &liNo, 1);
			}
		}
	}

	return 0;
}

// １回実行
int
fOne(
)
{
	int liRet;
	char lc1Buf[1024];

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", siTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", siTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 実行メイン
	liRet = fMain();
	if (liRet != 0) {
		sprintf(lc1Buf, "-1\n");
		fOut(lc1Buf);
	}

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", siTNo);
	}
	else {
		printf("NG %d\n", siTNo);
	}
#endif

	return 0;
}

// プログラム開始
int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		siTNo = i;
		fOne();
	}
#else
	fOne();
#endif

	return 0;
}