#include <bits/stdc++.h>
using namespace std;

#define rep(i,n) for (int i=0;i<(n);i++)
#define rep2(i,a,b) for (int i=(a);i<(b);i++)
#define rrep(i,n) for (int i=(n)-1;i>=0;i--)
#define rrep2(i,a,b) for (int i=(b)-1;i>=(a);i--)
#define all(a) (a).begin(),(a).end()

typedef long long ll;
typedef pair<int, int> P;

// assert用

const int MAX_A = 10000;
const int MAX_B = 10000;
const int MAX_D = 100000;

int main() {
    std::ios::sync_with_stdio(false);
    std::cin.tie(0);

    int A, B, C, D;
    cin >> A >> B >> C >> D;

    assert(1 <= A && A <= MAX_A);
    assert(1 <= B && B <= MAX_B);
    assert(0 <= C && C <= min(A, B));
    assert(0 <= D && D <= MAX_D);

}