#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using mint = modint1000000007;
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf 1000000001


int main(){
	
	vector a(4,vector<int>(4));
	int y,x;
	rep(i,4){
		rep(j,4){
			cin>>a[i][j];
			a[i][j]--;
			if(a[i][j]<0){
				y = i,x = j;
				a[i][j] = 15;
			}
		}
	}
	vector<int> dx = {1,-1,0,0},dy = {0,0,1,-1};
	while(true){
		bool f = false;
		rep(i,4){
			int yy = y+dy[i],xx = x+dx[i];
			if(yy<0||yy>=4||xx<0||xx>=4)continue;
			if(a[yy][xx] == y*4+x){
				swap(a[yy][xx],a[y][x]);
				f = true;
				y = yy,x = xx;
				break;
			}
		}
		if(!f)break;
	}
	rep(i,4){
		rep(j,4){
			if(i*4+j!=a[i][j]){
				cout<<"No"<<endl;
				return 0;
			}
		}
	}
	
	cout<<"Yes"<<endl;
	
	return 0;
}