#include<bits/stdc++.h>

using namespace std;
typedef unsigned int uint;
typedef long long int ll;
typedef unsigned long long int ull;

#define debugv(v) printf("L%d %s => ",__LINE__,#v);for(auto e:v){cout<<e<<" ";}cout<<endl;
#define debugm(m) printf("L%d %s is..\n",__LINE__,#m);for(auto v:m){for(auto e:v){cout<<e<<" ";}cout<<endl;}
#define debuga(m,w) printf("L%d %s is => ",__LINE__,#m);for(int x=0;x<(w);x++){cout<<(m)[x]<<" ";}cout<<endl;
#define debugaa(m,w,h) printf("L%d %s is..\n",__LINE__,#m);for(int y=0;y<(h);y++){for(int x=0;x<(w);x++){cout<<(m)[x][y]<<" ";}cout<<endl;}
#define debugaar(m,w,h) printf("L%d %s is..\n",__LINE__,#m);for(int y=0;y<(h);y++){for(int x=0;x<(w);x++){cout<<(m)[y][x]<<" ";}cout<<endl;}
#define ALL(v) (v).begin(),(v).end()
#define BIGINT 0x7FFFFFFF
#define E107 1000000007ll
void printbit(int u){if(u==0)cout<<0;else{int s=0,k=0;for(;0<u;u>>=1,k++)s=(s<<1)|(u&1);for(;0<k--;s>>=1)cout<<(s&1);}}

#define TIME chrono::system_clock::now()
#define MILLISEC(t) (chrono::duration_cast<chrono::milliseconds>(t).count())

template<typename T1,typename T2>
ostream& operator <<(ostream &o,const pair<T1,T2> p){o<<"("<<p.first<<":"<<p.second<<")";return o;}

int width,height;
int m,n;

int ai,bi,ci;

void halt(){
    cout << -1 << endl;
    exit(0);
}

int main(){
    int i,j,k;
    int x,y,a,b;
    
    cin >> ai >> bi >> ci >> n;
    
    int abm = max(ai,bi);
    
    if (ai==ci && bi==ci){
        // cycle
        if (n<ai) halt();
        
        printf("101010 %d\n",ai);
        for (i=1;i<ai;i++){
            printf("%d %d\n",i-1,i);
        }
        printf("%d %d\n",0,n);
        exit(0);
    }
    
    if (ai==ci){
        // path(1->...->0->...)
        if (n<bi-1) halt();
        
        printf("101010 %d\n",bi-1);
        k=1;
        for (i=0;i<bi-ci-1;i++){
            printf("%d %d\n",k,k+1);
            k++;
        }
        printf("%d %d\n",k,0);
        if (ci>1){
            k++;
            printf("%d %d\n",0,k);
            for (i=0;i<ci-2;i++){
                printf("%d %d\n",k,k+1);
                k++;
            }
        }
        
        exit(0);
    }
    if (bi==ci){
        // path(1->...->0->...)
        if (n<ai-1) halt();
        
        printf("101010 %d\n",ai-1);
        
        k=1;
        if (ai-ci>1){
            k=2;
            printf("%d %d\n",0,2);
            for (i=0;i<ai-ci-2;i++){
                printf("%d %d\n",k,k+1);
                k++;
            }
            printf("%d %d\n",k,1);
        }else{
            printf("%d %d\n",0,1);
        }
        
        if (ci>1){
            k++;
            printf("%d %d",1,k);
            for (i=0;i<ci-2;i++){
                printf("%d %d",k,k+1);
            }
        }
        
        exit(0);
    }
    
    if (ci==0){
        
        if (n<ai+bi-2) halt();
        printf("101010 %d\n",ai+bi-2);
        
        k=1;
        for (i=0;i<bi-1;i++){
            printf("%d %d\n",k,k+1);
            k++;
        }
        if (ai>1){
            k++;
            printf("%d %d\n",0,k);
            for (i=0;i<ai-2;i++){
                printf("%d %d\n",k,k+1);
                k++;
            }
        }
        
        exit(0);
    }
    
    if (true){
        if (n<bi-1+ai-ci) halt();
        printf("101010 %d\n",bi-1+ai-ci);
        for (k=1;k<bi;k++){
            printf("%d %d\n",k,k+1);
        }
        if (ci+1==ai){
            printf("%d %d\n",0,bi-ci+1);
            exit(0);
        }else{
            k++;
            printf("%d %d\n",0,k);
            for (i=0;i<ai-ci-2;i++){
                printf("%d %d\n",k,k+1);
                k++;
            }
            printf("%d %d\n",k,bi-ci+1);
            exit(0);
        }
    }
    cerr << "!" << endl;

    return 0;
}