#include using namespace std; typedef long long ll; typedef vector vint; typedef pair pint; typedef vector vpint; #define rep(i,n) for(int i=0;i<(n);i++) #define reps(i,f,n) for(int i=(f);i<(n);i++) #define each(it,v) for(__typeof((v).begin()) it=(v).begin();it!=(v).end();it++) #define all(v) (v).begin(),(v).end() #define pb push_back #define mp make_pair #define fi first #define se second #define chmax(a, b) a = (((a)<(b)) ? (b) : (a)) #define chmin(a, b) a = (((a)>(b)) ? (b) : (a)) const int MOD = 1e9 + 7; const int INF = 1e9; class strongly_connected_components{ public: int group_cnt; // sccの数 vector > G, rG; vector used, vs; vector cmp; //cmp[v] := 頂点vが含まれる連結成分がどれなのかを示す番号 strongly_connected_components(const vector > &g, const vector > &rg, int n): G(g), rG(rg), cmp(2 * n), used(2 * n){ //mainの処理 fill(used.begin(), used.end(), 0); for (int i = 0; i < G.size(); ++i){ if(!used[i]) dfs(i); } fill(used.begin(), used.end(), 0); int k = 0; for (int i = vs.size() - 1; i >= 0; --i){ if(!used[vs[i]]) rdfs(vs[i], k++); } group_cnt = k; } int operator[](int i){//連結成分の番号を返す return cmp[i]; } private: void dfs(int curr){ used[curr] = true; for(auto next : G[curr]){ if(!used[next]) dfs(next); } vs.push_back(curr); } void rdfs(int curr, int k){ used[curr] = true; cmp[curr] = k;//頂点vに対して、k番目と強連結成分であること入れる for(auto next : rG[curr]){ if(!used[next]) rdfs(next, k); } } }; class twosatisfiability{ public: int V; vector res; // 1:= 0:= vector > g, rg; twosatisfiability(int n) : V(n), g(2 * n), rg(2 * n), res(n){} bool exec() { strongly_connected_components scc(g, rg, V); for (int i = 0; i < V; i++) { if (scc[i] == scc[i + V]) return false; res[i] = scc[i] > scc[i + V]; } return true; } void add_edge(int a, int b){ g[a].push_back(b); rg[b].push_back(a); } //0~V-1: x_i //V~2V-1: notx_i void add(int a, bool apos, int b, bool bpos){//a V b をグラフへ add_edge(a + (apos ? V : 0), b + (bpos ? 0 : V)); // not a -> b add_edge(b + (bpos ? V : 0), a + (apos ? 0 : V)); // not b -> a } bool operator[](int k){ return res[k]; } }; int n; int r0[110], c0[110], r1[110], c1[110]; int main(void){ cin >> n; rep(i, n){ cin >> r0[i] >> c0[i] >> r1[i] >> c1[i]; } twosatisfiability sat(n); rep(i, n){ reps(j, i + 1, n){ //そのままで一致するとき、true //被りが生じるような組み合わせには偽となるような節を追加 //かぶさる可能性のあるものを反転させたものをグラフに追加する if (r1[i] == r1[j] && c1[i] == c1[j]){// false false sat.add(i, true, j, true); } if (r1[i] == r0[j] && c1[i] == c0[j]) {//false true sat.add(i, true, j, false); } if (r0[i] == r1[j] && c0[i] == c1[j]) {//true false sat.add(i, false, j, true); } if (r0[i] == r0[j] && c0[i] == c0[j]) {//true true sat.add(i, false, j, false); } } } bool flag = sat.exec(); if(flag){ printf("YES\n"); }else{ printf("NO\n"); } return 0; }