import java.util.HashSet;
import java.util.Scanner;




public class Main {
	static int[][] originalpazz;
	static void change(int sr,int sc,int tr,int tc,int[][] originalpazz){
		int temp = originalpazz[sr][sc];
		originalpazz[sr][sc]=originalpazz[tr][tc];
		originalpazz[tr][tc]=temp;
	}
	public static void main(String[] args){
		// TODO 自動生成されたメソッド・スタブ
		Scanner sc = new Scanner(System.in);
		int[][] intputpazz = new int[4][4];
		originalpazz = new int[4][4];
		for(int i=0;i<4;i++){
			for(int j=0;j<4;j++){
				originalpazz[i][j]=i*4+j+1;
			}
		}
		originalpazz[3][3]=0;
		for(int i=0;i<4;i++){
			for(int j=0;j<4;j++){
				intputpazz[i][j]=sc.nextInt();
			}
		}
		int[] dx = {0,-1,0,1};
		int[] dy = {1,0,-1,0};
		HashSet<Integer> used = new HashSet<>();
		t:while(true){
			boolean flag = true;
			for(int i=0;i<4;i++){
				for(int j=0;j<4;j++){
					if(intputpazz[i][j]==0){
						int num = originalpazz[i][j];
						if(used.contains(num)) break t;
						for(int k=0;k<4;k++){
							if(i+dx[k]>=0 && i+dx[k]<4 && j+dy[k]>=0 && j+dy[k]<4){
								if(intputpazz[i+dx[k]][j+dy[k]]==num){
									flag = false;
									change(i, j, i+dx[k], j+dy[k],intputpazz);
									used.add(num);
								}
							}
						}
					}
				}
			}
			if(flag) break;
		}
		for(int i=0;i<4;i++){
			for(int j=0;j<4;j++){
				if(intputpazz[i][j]!=originalpazz[i][j]){
					System.out.println("No");
					return;
				}
			}
		}
		System.out.println("Yes");
	}
}