#include <bits/stdc++.h>
using namespace std;

vector<vector<int>> t = {{1,2,3,4},{5,6,7,8},{9,10,11,12},{13,14,15,0}};
const int dx[] = {-1, 0, 1, 0};
const int dy[] = {0, -1, 0, 1};

int main(){
	vector<vector<int>> a(4,vector<int>(4));
	int x,y;
	for(int i = 0; i < 4; i++){
		for(int j = 0; j < 4; j++){
			cin >> a[i][j];
			if(a[i][j] == 0) x = i, y = j;
		}
	}
	bool flag = true;
	while(flag){
		flag = false;
		for(int i = 0; i < 4; i++){
			int xx = x + dx[i];
			int yy = y + dy[i];
			if(xx < 0 or xx >= 4 or yy < 0 or yy >= 4) continue;
			if(a[xx][yy] == t[x][y]){
				swap(a[xx][yy],a[x][y]);
				x = xx, y = yy;
				flag = true;
				break;
			}
		}
	}
	cout << (t == a ? "Yes" : "No") << endl;
	return 0;
}