#include using namespace std; #define rep(i, n) for(int i = 0; i < n; i++) #define rep2(i, x, n) for(int i = x; i <= n; i++) #define rep3(i, x, n) for(int i = x; i >= n; i--) #define elif else if #define sp(x) fixed << setprecision(x) #define pb push_back #define eb emplace_back #define all(x) x.begin(), x.end() #define sz(x) (int)x.size() using ll = long long; using pii = pair; using pil = pair; using pli = pair; using pll = pair; const ll MOD = 1000000007; //const ll MOD = 998244353; const int inf = (1<<30)-1; const ll INF = (1LL<<60)-1; const double pi = acos(-1.0); const double EPS = 1e-10; template bool chmax(T &x, const T &y) {return (x < y)? (x = y, true) : false;}; template bool chmin(T &x, const T &y) {return (x > y)? (x = y, true) : false;}; struct Graph{ vector> es; const int n; Graph(int n) : n(n){ es.resize(n); } void add_edge(int from, int to, bool directed = false){ es[from].pb(to); if(!directed) es[to].pb(from); } }; struct Strongly_Connected_Components{ vector> es, rs; vector vs, comp; vector used; const int n; Strongly_Connected_Components(int n) : n(n){ es.resize(n), rs.resize(n); vs.resize(n), comp.resize(n), used.resize(n); } void add_edge(int from, int to, bool directed = false){ es[from].pb(to), rs[to].pb(from); if(!directed) es[to].pb(from), rs[from].pb(to); } void dfs(int now){ used[now] = true; for(auto &e: es[now]) if(!used[e]) dfs(e); vs.pb(now); } void rdfs(int now, int cnt){ used[now] = true, comp[now] = cnt; for(auto &e: rs[now]) if(!used[e]) rdfs(e, cnt); } Graph decompose(){ fill(all(used), false); rep(i, n) if(!used[i]) dfs(i); fill(all(used), false), reverse(all(vs)); int cnt = 0; for(auto &e: vs) if(!used[e]) rdfs(e, cnt++); Graph G(cnt); rep(i, n){ for(auto &e: es[i]){ int u = comp[i], v = comp[e]; if(u != v) G.add_edge(u, v, true); } } return G; } int operator [] (int k) const{ return comp[k]; } }; bool intersect(int l1, int r1, int l2, int r2){ return l2 < r1 && l1 < r2; } int main(){ int H, W; cin >> H >> W; int L[H], R[H]; rep(i, H){ cin >> L[i] >> R[i]; R[i]++; } Strongly_Connected_Components G(2*H); rep(i, H){ rep(j, H){ if(j == i) continue; if(intersect(L[i], R[i], L[j], R[j])){ G.add_edge(i, H+j, true), G.add_edge(H+i, j, true); } if(intersect(L[i], R[i], W-R[j], W-L[j])){ G.add_edge(i, j, true), G.add_edge(H+i, H+j, true); } } } G.decompose(); bool ans = true; rep(i, H){ if(G[i] == G[H+i]) ans = false; } cout << (ans? "YES" : "NO") << endl; }