#include <bits/stdc++.h>
#define rep(i,n) for(int i=0;i<(n);++i)
#define all(a) (a).begin(),(a).end()
#define dunk(a) cout << (a) << endl
using namespace std;
typedef long long ll;

int main(){
  ios::sync_with_stdio(false);
  cin.tie(0);
  vector<vector<int>> a(4 + 2,vector<int>(4 + 2));
  for(int i = 0;i <= 5; ++i){
  	for(int j = 0; j<= 5; ++j){
  		a[i][j] = 0;
  	}
  }
  for(int i = 1;i <= 4;++i){
  	for(int j = 1;j <= 4; ++j){
  		int k; cin >> k;
  		a[i][j] = k;
  	}
  }
  int b = 1;
  int res = 0;
  for(int i = 1;i <= 4;++i){
  	for(int j = 1;j <= 4;++j){
  		if(a[i][j] == b || a[i + 1][j] == b || a[i - 1][j] == b || a[i][j + 1] == b || a[i][j - 1] == b){
  			res++;
  		}
  		b++;
  	}
  }
  
  puts(res == 15 ? "Yes" : "No");
  
  return 0;
}