#include <iostream>
#include <utility>
using namespace std;

int a[4][4] = {
	{1, 2, 3, 4},
	{5, 6, 7, 8},
	{9, 10, 11, 12},
	{13, 14, 15, 0}
};
int b[4][4];
int dx[] = {-1, 0, 1, 0};
int dy[] = {0, -1, 0, 1};

bool slide(int& x, int& y) {
	int k = b[y][x];
	if (k == 0) return false;
	for (int i = 0; i < 4; i++) {
		int _x = x + dx[i], _y = y + dy[i];
		if (_x >= 0 && _x < 4 && _y >= 0 && _y < 4 && a[_y][_x] == k) {
			swap(a[y][x], a[_y][_x]);
			x = _x; y = _y;
			return true;
		}
	}
	return false;
}

bool check() {
	for (int y = 0; y < 4; y++)
		for (int x = 0; x < 4; x++)
			if (a[y][x] != b[y][x])
				return false;
	return true;
}

int main() {
	for (int y = 0; y < 4; y++)
		for (int x = 0; x < 4; x++)
			cin >> b[y][x];
	int x = 3, y = 3;
	while (slide(x, y));
	cout << (check() ? "Yes" : "No") << endl;
}