#include <bits/stdc++.h>
using namespace std;
typedef long long int ll;

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 c[4][4];

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

int main(){
	cin.tie(nullptr);
	ios::sync_with_stdio(false);
	for(int i=0;i<4;i++){
		for(int j=0;j<4;j++){
			cin >> b[i][j];
			c[i][j]=0;
		}
	}
	int zx=3,zy=3;
	while(1){
		bool f=false;
		for(int i=0;i<4;i++){
			int nx=zx+dx[i],ny=zy+dy[i];
			if(0<=nx and nx<4 and 0<=ny and ny<4){
				if(c[nx][ny])continue;
				if(a[nx][ny]==b[zx][zy]){
					swap(a[nx][ny],a[zx][zy]);
					zx=nx; zy=ny;
					f=true;
					c[nx][ny]=true;
				}
			}
		}
		if(!f)break;
	}
	bool ok=true;
	for(int i=0;i<4;i++){
		for(int j=0;j<4;j++){
			if(a[i][j]!=b[i][j])ok=false;
 		}
 		cout << endl;
	}
	if(ok)printf("Yes\n");
	else printf("No\n");
}