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

#define rep(i, n) for(int i = 0; i < n; i++)
#define repr(i, n) for(int i = n; i >= 0; i--)

#define INF 2e9
#define ALL(v) v.begin(), v.end()

int main(){
    int N[4];
    rep(i,4){
        cin>>N[i];
    }
    sort(N,N+4);
    int n_min=N[0];
    bool flag=true;
    rep(i,4){
        if(N[i]!=(n_min+i)){
            flag=false;
            break;
        }
        if (flag)cout<<"Yes"<<endl;
        else cout<<"No"<<endl;
    }
      if (flag)cout<<"Yes"<<endl;
        else cout<<"No"<<endl;
    
    return 0;
}