#include using namespace std; #include using namespace atcoder; // #include // using namespace boost; // using rat = rational; #define ll long long #define ld long double #define ull uint64_t #define pll pair #define vll vector #define vvll vector #define vvvll vector #define vpll vector #define v(T) vector #define vv(T) vector> #define vvv(T) vector>> using mint = modint998244353; template using pqg = priority_queue, greater>; #define maxseg(T) segtree #define minseg(T) segtree #define sumseg(T) segtree // template using maxseg = segtree; // template using minseg = segtree; // template using sumseg = segtree; // template struct v : vector { using vector :: vector; }; // template struct vv : vector> { using vector> :: vector; }; // template struct vvv : vector> { using vector> :: vector; }; template inline bool chmin(T& a, T b) {if(a > b){a = b; return true;} else {return false;}}; template inline bool chmax(T& a, T b) {if(a < b){a = b; return true;} else {return false;}}; #define rep(i,n) for(ll i = 0; i < (ll)(n); i++) #define repr(i,n) for(ll i = (ll)(n) - 1; i >= 0; i--) #define REP(i, l, r) for(ll i = (ll)l; i <= (ll)(r); i++) #define REPR(i, l, r) for(ll i = (ll)r; i >= (ll)(l); i--) const ll inf = (1 << 30); const ll INF = ((ll)1 << 60); const vector> DIJ = {{1, 0}, {0, -1}, {-1, 0}, {0, 1}}; template void out(T a){cout << a << endl;} void out1(mint a){cout << a.val();} template void out1(T a){cout << a;} template void out2(T a, U b){cout << a << " " << b << endl;} template void out3(T a, U b, V c) {cout << a << " " << b << " " << c << endl;} template void outp(pair a){ out1(a.first); out1(" "); out1(a.second); cout << endl; } template void outv(T a){rep(i, a.size()){ cout << a.at(i) << " "; } cout << endl;} template void outvmint(T a) {rep(i, a.size()) { cout << a.at(i).val() << " "; } cout << endl;} template void outvL(T a){rep(i, a.size()){out(a.at(i));}} template void outvLmint(T a) {rep(i, a.size()){out(a.at(i).val());}} template void outvv(T a){rep(i, a.size()){ rep(j, a.at(i).size()){cout << a.at(i).at(j) << " "; } cout << endl; }} template void outvp(T a){rep(i, a.size()){ out2(a.at(i).first, a.at(i).second); }} void setpre(int a){cout << fixed << setprecision(a);} #define outN out("No") #define outY out("Yes") #define outL cout << endl #define dame(a) {out(a);return 0;} #define All(a) (a).begin(), (a).end() template inline void sortr(T& v){sort(All(v)); reverse(All(v));} template inline vector argsort(T V, bool rev = false){vector res(V.size()); iota(res.begin(), res.end(), 0); sort(res.begin(), res.end(), [&](int x, int y){if(!rev){return V.at(x) < V.at(y);}else{return V.at(x) > V.at(y);}}); return res;} template inline void sort_by_idx(T& V, vector& I){assert(V.size() == I.size()); T tmpv = V; for(int loopi = 0; loopi < (int)I.size(); loopi++){V.at(loopi) = tmpv.at(I.at(loopi));}} template inline void sortp(vector& v1, vector& v2, bool rev1 = false, int rev2 = false){assert(v1.size() == v2.size()); vector I(v1.size()); iota(I.begin(), I.end(), 0); sort(I.begin(), I.end(), [&](const int x, const int y){if(v1.at(x) != v1.at(y)){return (bool)(rev1 ^ (v1.at(x) < v1.at(y)));}else{if(v2.at(x)==v2.at(y)){return false;} return (bool)(rev2 ^ (v2.at(x) < v2.at(y)));}}); sort_by_idx(v1, I); sort_by_idx(v2, I);} template T POW(T x, ll n) {T ret = 1; while(n > 0){if(n & 1) ret *= x; x *= x; n >>= 1;} return ret;} ll powll(ll x, ll n){ll ret = 1; while(n > 0){if(n & 1) ret *= x; x *= x; n >>= 1;} return ret;} #define cin1(n) cin >> (n) #define cin2(n, m) cin >> (n) >> (m) #define cin3(n, m, k) cin >> (n) >> (m) >> (k) #define cin4(n, m, k, l) cin >> (n) >> (m) >> (k) >> (l) #define cinv(a) rep(lopi, a.size()) cin >> (a).at(lopi) #define cinll1(n) ll n; cin >> (n) #define cinll2(n, m) ll n, m; cin >> (n) >> (m) #define cinll3(n, m, k) ll n, m, k; cin >> (n) >> (m) >> (k) #define cinll4(n, m, k, l) ll n, m, k, l; cin >> (n) >> (m) >> (k) >> (l) #define cinvll(a, n) vll a(n); rep(lopi, (n)) cin >> (a).at(lopi) #define cinstr(S) string S; cin >> (S) #define cinvt(type, a, n) v(type) a(n); rep(lopi, n) cin >> (a).at(lopi) #define makeundirGll(G, N, M) G = vvll(N); rep(lopi, M) {ll a, b; cin >> a >> b; G.at(a-1).push_back(b-1); G.at(b-1).push_back(a-1);} #define makedirGll(G, N, M) G = vvll(N); rep(lopi, M) {ll a, b; cin >> a >> b; G.at(a-1).push_back(b-1);} #define makeundirwghGll(G, N, M) G = vv(pll)(N); rep(lopi, M) {ll a, b, c; cin >> a >> b >> c; G.at(a-1).push_back({b-1,c}); G.at(b-1).push_back({a-1, c});} #define makedirwghGll (G, N, M) G = vv(pll)(N); rep(lopi, M) {ll a, b, c; cin >> a >> b >> c; G.at(a-1).push_back({b-1, c});} ll llceil(ll x, ll y) { if(x >= 0) {return(x / y + (ll)(x % y != 0)); } else { return -((-x) / y); } } inline bool inLR(ll x, ll L, ll R){ return (L <= x && x < R); } inline bool is_in_Rect(ll pos_x, ll pos_y, ll rect_H, ll rect_W, ll rect_h = 0, ll rect_w = 0){ return (rect_h <= pos_x && pos_x < rect_H && rect_w <= pos_y && pos_y < rect_W); } template vector &operator++(vector &v) {for(auto &e : v){e++;} return v;} template vector operator++(vector &v, signed) {auto res=v; for(auto &e : v){e++;} return res;} template vector &operator--(vector &v) {for(auto &e : v){e--;} return v;} template vector operator--(vector &v, signed) {auto res=v; for(auto &e : v){e--;} return res;} template pair operator+(pair &x, pair &y) { return make_pair(x.first + y.first, x.second + y.second); } template void operator+=(pair &x, pair &y) { x = x + y; } int main() { std::cin.tie(nullptr), std::ios_base::sync_with_stdio(false); cinll3(N, M, K); if(N >= M + K) outY; else outN; }