#include <bits/stdc++.h>
using namespace std;
#define rep(i,a,b) for(int i=a;i<b;i++)

typedef vector<int> vi;
typedef vector<vi> vvi;

string solve(vvi a)
{
	vvi done(4, vi(4, 0));

	int x, y;

	rep(yy, 0, 4) rep(xx, 0, 4) if (a[yy][xx] == 0)
	{
		x = xx;
		y = yy;
	}

	int dx[4] = { 0,0,1,-1 };
	int dy[4] = { 1,-1,0,0 };

	while (1)
	{
		bool ok = true;
		rep(yy, 0, 4) rep(xx, 0, 4)
		{
			if ((yy * 4 + xx + 1) % 16 != a[yy][xx]) ok = false;
		}
		if (ok) return "Yes";

		ok = false;
		rep(i, 0, 4)
		{
			int xx = x + dx[i];
			int yy = y + dy[i];
			if (xx < 0 || 4 <= xx) continue;
			if (yy < 0 || 4 <= yy) continue;
			if (done[yy][xx] == 1) continue;

			if (a[yy][xx] == (y * 4 + x + 1) % 16)
			{
				swap(a[y][x], a[yy][xx]);
				ok = true;
				done[y][x] = 1;
				y = yy;
				x = xx;
				break;
			}
		}
		if (!ok) return "No";
	}
}

int main()
{
	vvi a(4, vi(4, 0));

	rep(y, 0, 4) rep(x, 0, 4) cin >> a[y][x];

	cout << solve(a) << endl;
}