#include <bits/stdc++.h>
//#include <iostream>
#include <atcoder/all>
#include <math.h>
#define rep(i, n) for(int i = 0; i < (n); i++)
#define rrep(i, n) for(int i = (n-1); i >= 0; i--)
using namespace std;
using namespace atcoder;
typedef long long ll;
const int MOD = 1000000007;
//const int MOD =  998244353;
 
const ll INF = 1LL<<61;
const int IINF = 1000000000;
template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; }
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; }

typedef pair<int, int> PI;
typedef pair<ll, ll> P;
typedef pair<string, ll> PS;

using mint = modint1000000007;



int main(){

    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    
    int N; cin >> N;
    vector<PI> ABC(3);
    ABC[0] = {2,8};
    ABC[1] = {3,9};
    ABC[2] = {7,9};

    vector<PI> xy(N);
    vector<PI> Nxy(N);
    rep(i,N) {
        int x, y;
        cin >> x >> y;
        xy[i] = {x, y};
        cin >> x >> y;
        Nxy[i] = {x, y};
    }

    rep(i,N){
        rep(j,3){
            if(xy[i] == ABC[j]){
                ABC[j] = Nxy[i];
                break;
            }
        }    
    }

    bool isok = true;
    vector<PI> muteki(3);
    muteki[0] = {5,8};
    muteki[1] = {4,8};
    muteki[2] = {6,8};
    rep(i,3){
        if(ABC[i] != muteki[i]) isok = false;
    }

    if(isok) cout << "YES" << endl;
    else cout << "NO" << endl;

}