#include<bits/stdc++.h>
using namespace std;
using Int = long long;
template<typename T1,typename T2> inline void chmin(T1 &a,T2 b){if(a>b) a=b;}
template<typename T1,typename T2> inline void chmax(T1 &a,T2 b){if(a<b) a=b;}


struct FastIO{
  FastIO(){
    cin.tie(0);
    ios::sync_with_stdio(0);
  }
}fastio_beet;

//INSERT ABOVE HERE
signed main(){
  int a,b,c,d;
  cin>>a>>b>>c>>d;
  auto NG=[](){cout<<-1<<endl;exit(0);};
  
  int n=a+b-c;

  using P = pair<int, int>;
  vector<P> vp;
  if(a==b){
    if(a==c){
      if(a<=1) NG();
      vp.emplace_back(1,0);
      for(int i=1;i<n;i++) vp.emplace_back(0,i);
    }else{      
      int idx=2;
      if(c){
        vp.emplace_back(0,idx);
        vp.emplace_back(1,idx);
        idx++;
      }
      for(int i=1;i<c;i++) vp.emplace_back(2,idx++);
      for(int i=1;i<a-c;i++) vp.emplace_back(0,idx++);
      for(int i=1;i<b-c;i++) vp.emplace_back(1,idx++);
    }
  }else{
    if(min(a,b)==c){
      if(a<b){
        vp.emplace_back(1,0);
        int idx=2;
        for(int i=1;i<a;i++) vp.emplace_back(0,idx++);
        for(int i=1;i<b-a;i++) vp.emplace_back(1,idx++);
      }else{
        vp.emplace_back(0,1);     
        int idx=2;
        for(int i=1;i<b;i++) vp.emplace_back(1,idx++);
        for(int i=1;i<a-b;i++) vp.emplace_back(0,idx++); 
      }
    }else{
      int idx=2;
      if(c){
        vp.emplace_back(0,idx);
        vp.emplace_back(1,idx);
        idx++;
      }
      for(int i=1;i<c;i++) vp.emplace_back(2,idx++);
      for(int i=1;i<a-c;i++) vp.emplace_back(0,idx++);
      for(int i=1;i<b-c;i++) vp.emplace_back(1,idx++);
    }    
  }
  if((int)vp.size()>d) NG();
  cout<<n<<" "<<vp.size()<<"\n";
  for(auto p:vp) cout<<p.first<<" "<<p.second<<"\n";
  cout<<flush;
  return 0;
}