#include using namespace std; typedef long long ll; typedef vector< int > vi; typedef vector< vi > vvi; typedef vector< ll > vl; typedef vector< vl > vvl; typedef pair< int, int > pii; typedef vector< pii > vp; typedef vector< double > vd; typedef vector< vd > vvd; typedef vector< string > vs; template< class T1, class T2 > int upmin( T1 &x, T2 v ){ if( x > v ){ x = v; return 1; } return 0; } template< class T1, class T2 > int upmax( T1 &x, T2 v ){ if( x < v ){ x = v; return 1; } return 0; } const int INF = 0x3f3f3f3f; int A, B, C, D; void init(){ cin >> A >> B >> C >> D; } void preprocess(){ int cnt = A + B - C - 2; if( cnt < 0 or A + B - 2 > D ) cout << -1 << endl, exit( 0 ); int a = A - C - 1; int b = B - C - 1; cout << cnt + 2 << " " << a + b + C - 1 + 2 << endl; cnt = 2; if( C ) cout << 0 << " " << cnt << endl, cout << 1 << " " << cnt++ << endl, --C; while( C ) cout << cnt - 1 << " ", cout << cnt++ << endl, --C; if( a ) cout << 0 << " ", cout << cnt++ << endl, --a; while( a ) cout << cnt - 1, cout << " " << cnt++ << endl, --a; if( b ) cout << 1 << " ", cout << cnt++ << endl, --b; while( b ) cout << cnt - 1 << " ", cout << cnt++ << endl, --b; } void solve(){ } signed main(){ ios::sync_with_stdio( 0 ); init(); preprocess(); solve(); return 0; }