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

signed main() {
	ios::sync_with_stdio(false);
	cin.tie(0);
	int goal[4][4], a[4][4];
	int x, y;
	for (int i = 0; i < 4; i++) {
		for (int j = 0; j < 4; j++) {
			cin >> a[i][j];
			goal[i][j] = i * 4 + j + 1;
			if(a[i][j] == 0) {
				x = i;
				y = j;
			}
		}
	}
	goal[3][3] = 0;
	int dx[] = {1, -1, 0, 0}, dy[] = {0, 0, 1, -1};
	while (true) {
		bool flag = false;
		for (int i = 0; i < 4; i++) {
			int xx = x + dx[i];
			int yy = y + dy[i];
			if (xx >= 0 && xx < 4 && yy >= 0 && yy < 4) {
				if (a[xx][yy] == x * 4 + y + 1) {
					swap(a[xx][yy], a[x][y]);
					x = xx;
					y = yy;
					flag = true;
					break;
				}
			}
		}
		if(!flag) break;
	}
	for (int i = 0; i < 4; i++) {
		for (int j = 0; j < 4; j++) {
			if(a[i][j] != goal[i][j]) {
				cout << "No" << endl;
				return 0;
			}
		}
	}
	cout << "Yes" << endl;
	return 0;
}