#include <stdio.h>

#define WALL	(99)
int start[6][6] = {
	{WALL,WALL,WALL,WALL,WALL,WALL},
	{WALL,   1,   2,   3,   4,WALL},
	{WALL,   5,   6,   7,   8,WALL},
	{WALL,   9,  10,  11,  12,WALL},
	{WALL,  13,  14,  15,   0,WALL},
	{WALL,WALL,WALL,WALL,WALL,WALL}
};

int target[6][6];
int used[18];

int saiki(int x, int y){
	int i,j;
	int ret=0, flag=1;
	int px[] = {-1, 0, 1, 0};
	int py[] = { 0,-1, 0, 1};
	
	for(i=0;i<6;i++){
		for(j=0;j<6;j++){
			if(start[i][j] != target[i][j]){
				i=j=6;
				flag = 0;
				break;
			}
		}
	}
	
	if(flag==1){
		return 1;
	}
	
	for(i=0;i<4;i++){
		int tmp = start[y+py[i]][x+px[i]];
		int chg;
		if(tmp == WALL){
			continue;
		}
		
		if(used[tmp] == 1){
			continue;
		}
		
		chg = start[y+py[i]][x+px[i]];
		start[y+py[i]][x+px[i]] = start[y][x];
		start[y][x] = chg;
		
		used[tmp] = 1;
		ret= saiki(x+px[i], y+py[i]);
		used[tmp] = 0;
		
		chg = start[y+py[i]][x+px[i]];
		start[y+py[i]][x+px[i]] = start[y][x];
		start[y][x] = chg;
		
		if(ret == 1){
			break;
		}
	}
	
	return ret;
}

int main(void){
	int i,j;
	int ret;
	for(i=0;i<6;i++){
		for(j=0;j<6;j++){
			target[i][j] = WALL;
		}
	}
	
	for(i=0;i<18;i++){used[i] = 0;}
	
	for(i=1;i<=4;i++){
		for(j=1;j<=4;j++){
			int tmp;
			scanf("%d", &tmp);
			target[i][j] = tmp;
		}
	}
	
	ret = saiki(4,4);
	
	if(ret==1){
		printf("Yes\n");
	}else{
		printf("No\n");
	}
	return 0;
}