from itertools import * from bisect import * from collections import * from heapq import * import sys sys.setrecursionlimit(10 ** 6) def II(): return int(sys.stdin.readline()) def MI(): return map(int, sys.stdin.readline().split()) def LI(): return list(map(int, sys.stdin.readline().split())) def SI(): return sys.stdin.readline()[:-1] def LLI(rows_number): return [LI() for _ in range(rows_number)] def LLI1(rows_number): return [LI1() for _ in range(rows_number)] int1 = lambda x: int(x) - 1 def MI1(): return map(int1, sys.stdin.readline().split()) def LI1(): return list(map(int1, sys.stdin.readline().split())) p2D = lambda x: print(*x, sep="\n") dij = [(1, 0), (0, 1), (-1, 0), (0, -1)] def main(): def ng(): print(-1) exit() a,b,c,d=MI() # aを村0「だけ」から、水を受け取る村の数 # bを村1「だけ」から、水を受け取る村の数にする a-=c b-=c # すべての村が0,1から受け取る if a==0 and b==0: if c>d:ng() print(a+b+c,c) print(0,1) print(1,0) for i in range(2,c): print(1,i) # 村1「だけ」から受け取る村の数がない elif b==0: if a+c-1>d:ng() print(a+b+c,a+c-1) print(0,1) for i in range(2,a+1): print(0,i) for i in range(a+1,a+c): print(1,i) # 村0「だけ」から受け取る村の数がない elif a==0: if b+c-1>d:ng() print(a+b+c,b+c-1) print(1,0) for i in range(2,b+1): print(1,i) for i in range(b+1,b+c): print(0,i) # 両方から受け取る村がない elif c==0: if a+b-2>d:ng() print(a+b+c,a+b-2) for i in range(2,a+1): print(0,i) for i in range(a+1,a+b): print(1,i) # 全パターンある else: if a+b+c-1>d:ng() print(a+b+c,a+b+c-1) print(0,2) print(1,2) for i in range(3,2+a): print(0,i) for i in range(2+a,1+a+b): print(1,i) for i in range(1+a+b,a+b+c): print(2,i) main()