#include using namespace std; using ll = long long; using ld = long double; using vl = vector; template using vc = vector; template using vvc = vector>; const ll MOD = 1e9 + 7; const ll INF = 1e16; const ld EPS = 1e-11; const ld PI = acos(-1.0L); #define eb emplace_back #define all(x) (x).begin(), (x).end() #define rep(i, n) for (ll i = 0; i < (n); i++) #define repr(i, n) for (ll i = (n)-1; i >= 0; i--) #define repe(i, l, r) for (ll i = (l); i < (r); i++) #define reper(i, l, r) for (ll i = (r)-1; i >= (l); i--) template bool chmax(T &a, const T &b) { if (a bool chmin(T &a, const T &b) { if (b> a[i]; sort(all(a)); ll p = a[0]; bool isok = true; rep(i,4){ if(p+i!=a[i]){ isok = false; break; } } cout << (isok ? "Yes" : "No") << endl; }