#include #include #include #include #include #include #include #include #include #include #include #include #define vll vector #define vvvl vector #define vvl vector> #define VV(a, b, c, d) vector>(a, vector(b, c)) #define VVV(a, b, c, d) vector(a, vvl(b, vll (c, d))); #define re(c, b) for(ll c=0;c> a[i]; sort(all(a)); bool f = a[1] == a[0] + 1 && a[2] == a[1] + 1 && a[3] == a[2] + 1; std::cout << (f?"Yes":"No") << '\n'; }