import java.io.BufferedReader;
import java.io.InputStreamReader;

public class No278 {
    public static void main(String[] args) {
        try {
            int goal[][] = { { 1, 2, 3, 4 }, { 5, 6, 7, 8 }, { 9, 10, 11, 12 },
                    { 13, 14, 15, 0 } };
            BufferedReader br = new BufferedReader(new InputStreamReader(
                    System.in));
            int start[][] = new int[4][4];
            for (int i = 0; i < 4; i++) {
                start[i] = strToIntArray(br.readLine());
            }
            String str = "Yes";
            for (int i = 0; i < 4; i++) {
                for (int j = 0; j < 4; j++) {
                    if (goal[i][j] == 0) {
                        continue;
                    }
                    for (int j2 = 0; j2 < 4; j2++) {
                        for (int k = 0; k < 4; k++) {
                            // 距離が2以上離れてたらむりだろ
                            if (goal[i][j] == start[j2][k]) {
                                if (1 < Math.abs(i - j2) + Math.abs(j - k)) {
                                    str = "No";
                                }
                            }
                        }
                    }
                }
            }
            System.out.println(str);
        } catch (Exception e) {
            e.printStackTrace();
            System.err.println("Error:" + e.getMessage());
        }
    }

    static int[] strToIntArray(String S) {
        String[] strArray = S.split(" ");
        int[] intArray = new int[strArray.length];
        for (int i = 0; i < strArray.length; i++) {
            intArray[i] = Integer.parseInt(strArray[i]);
        }
        return intArray;
    }
}