#include<iostream>
using namespace std;

int main() {
	int puzzle[4][4];
	int answer[4][4];
	int i, j, m, n;
	bool result = true;
	int x = 1;

	//puzzleを初期化
	for (int i = 0; i < 4;i++) {
		for (int j = 0; j < 4;j++) {
			puzzle[i][j] = x;
			x++;
		}
	}
	puzzle[3][3] = 0;

	//目標を入力
	for (int i = 0; i < 4; i++) {
		for (int j = 0; j < 4; j++) {
			cin >> answer[i][j];
		}
	}

	//目標との照合
	for (i = 0; i < 4; i++) {
		for (j = 0; j < 4; j++) {
			for (m = 0; m < 4; m++) {
				for (n = 0; n < 4; n++) {
					switch (result) {
					case true:
						if (puzzle[i][j] == answer[m][n] && puzzle[i][j] != 0) {
							if (abs(i - m) > 1 || abs(j - n) > 1 || (abs(i - m) == 1 && abs(j - n) == 1)) {
								result = false;
							}
							else {
								if (n != 0) {
									if (answer[m][n - 1] - answer[m][n] == 1) {
										result = false;
									}
									else if (answer[m][n] == puzzle[m][n - 1] && answer[m][n - 1] == puzzle[m][n] && answer[m][n] != 0 && answer[m][n - 1] != 0) {
										result = false;
									}
								}
								if (m != 0) {
									if (answer[m][n] == puzzle[m - 1][n] && answer[m - 1][n] == puzzle[m][n] && answer[m][n] != 0 && answer[m - 1][n] != 0) {
										result = false;
									}
								}
								if (n != 4) {
									if (answer[m][n] == puzzle[m][n + 1] && answer[m][n + 1] == puzzle[m][n] && answer[m][n] != 0 && answer[m][n + 1] != 0) {
										result = false;
									}
								}
								if (m != 4) {
									if (answer[m][n] == puzzle[m + 1][n] && answer[m + 1][n] == puzzle[m][n] && answer[m][n] != 0 && answer[m + 1][n] != 0) {
										result = false;
									}
								}
							}
						}
						break;

					case false:
						break;
					}
				}
			}
		}
	}

	if (result == true) 
		cout << "Yes";
	if (result == false) 
		cout << "No";
}