import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;
import java.io.PrintWriter;
import java.util.*;

public class Main {

    void solve() throws IOException {
        int[][] b = new int[4][4];
        int si = 0, sj = 0;
        for (int i = 0; i < 4; i++) {
            for (int j = 0; j < 4; j++) {
                b[i][j] = ni();
                if (b[i][j] == 0) {
                    si = i;
                    sj = j;
                }
            }
        }

        while (si != 3 || sj != 3) {
            int x = si * 4 + sj + 1;
            if (si > 0 && b[si - 1][sj] == x) {
                b[si][sj] = x;
                b[si - 1][sj] = 0;
                si--;
            } else if (si < 3 && b[si + 1][sj] == x) {
                b[si][sj] = x;
                b[si + 1][sj] = 0;
                si++;
            } else if (sj > 0 && b[si][sj - 1] == x) {
                b[si][sj] = x;
                b[si][sj - 1] = 0;
                sj--;
            } else if (sj < 3 && b[si][sj + 1] == x) {
                b[si][sj] = x;
                b[si][sj + 1] = 0;
                sj++;
            } else {
                out.println("No");
                return;
            }
        }

        for (int i = 1; i < 16; i++) {
            if (b[(i - 1) / 4][(i - 1) % 4] != i) {
                out.println("No");
                return;
            }
        }

        out.println("Yes");
    }

    String ns() throws IOException {
        while (!tok.hasMoreTokens()) {
            tok = new StringTokenizer(in.readLine(), " ");
        }
        return tok.nextToken();
    }

    int ni() throws IOException {
        return Integer.parseInt(ns());
    }

    long nl() throws IOException {
        return Long.parseLong(ns());
    }

    double nd() throws IOException {
        return Double.parseDouble(ns());
    }

    String[] nsa(int n) throws IOException {
        String[] res = new String[n];
        for (int i = 0; i < n; i++) {
            res[i] = ns();
        }
        return res;
    }

    int[] nia(int n) throws IOException {
        int[] res = new int[n];
        for (int i = 0; i < n; i++) {
            res[i] = ni();
        }
        return res;
    }

    long[] nla(int n) throws IOException {
        long[] res = new long[n];
        for (int i = 0; i < n; i++) {
            res[i] = nl();
        }
        return res;
    }

    static BufferedReader in;
    static PrintWriter out;
    static StringTokenizer tok;

    public static void main(String[] args) throws IOException {
        in = new BufferedReader(new InputStreamReader(System.in));
        out = new PrintWriter(System.out);
        tok = new StringTokenizer("");
        Main main = new Main();
        main.solve();
        out.close();
    }
}