using System;
using System.Collections;
using System.Collections.Generic;
using System.IO;
using System.Linq;
using System.Numerics;
using System.Text;
using static System.Console;
using static System.Convert;
using static System.Math;
using static Extentions;

class IO
{
    int idx;
    string[] input;

    public IO(TextReader reader)
    {
        input = reader.ReadToEnd().Split(new[] { " ", Environment.NewLine },
            StringSplitOptions.RemoveEmptyEntries);
    }

    T Get<T>(Func<string, T> parser) => parser(input[idx++]);

    public string S => Get(s => s);
    public char C => Get(char.Parse);
    public int I => Get(int.Parse);
    public long L => Get(long.Parse);
    public double F => Get(double.Parse);
    public decimal D => Get(decimal.Parse);
    public BigInteger B => Get(BigInteger.Parse);

    T[] Gets<T>(int n, Func<string, T> parser)
        => input.Skip((idx += n) - n).Take(n).Select(parser).ToArray();

    public string[] Ss(int n) => Gets(n, s => s);
    public char[] Cs(int n) => Gets(n, char.Parse);
    public int[] Is(int n) => Gets(n, int.Parse);
    public long[] Ls(int n) => Gets(n, long.Parse);
    public double[] Fs(int n) => Gets(n, double.Parse);
    public decimal[] Ds(int n) => Gets(n, decimal.Parse);
    public BigInteger[] Bs(int n) => Gets(n, BigInteger.Parse);

    public void Write<T>(params T[] xs) => WriteLine(string.Join(" ", xs));
    public void Write(params object[] xs) => WriteLine(string.Join(" ", xs));
}

static class Extentions
{
    public static void Swap<T>(ref T x, ref T y)
    {
        var tmp = x;
        x = y;
        y = tmp;
    }

    public static int[] Dx = { -1, 0, 1, 0 };
    public static int[] Dy = { 0, -1, 0, 1 };
}

static class Program
{
    public static void Main()
    {
#if !DEBUG
        SetOut(new StreamWriter(OpenStandardOutput()) { AutoFlush = false });
#endif
        Solve(new IO(In));
        Out.Flush();
    }

    static bool Search(int[,] a)
    {
        var ok = true;

        for (var i = 0; i < 4; i++)
        {
            for (var j = 0; j < 4; j++)
            {
                if (i == 3 && j == 3) break;
                ok &= Abs(a[i, j]) == i * 4 + (j + 1);
            }
        }

        if (ok) return true;

        var x = -1;
        var y = -1;

        for (var i = 0; i < 4; i++)
        {
            for (var j = 0; j < 4; j++)
            {
                if (a[i, j] == 0) { x = i; y = j; }
            }
        }

        for (var i = 0; i < 4; i++)
        {
            var tx = x + Dx[i];
            var ty = y + Dy[i];

            if (!(0 <= tx && tx < 4 && 0 <= ty && ty < 4)) continue;

            if (a[tx, ty] > 0)
            {
                var b = new int[4, 4];
                Array.Copy(a, b, 16);
                b[tx, ty] *= -1;
                Swap(ref b[tx, ty], ref b[x, y]);
                if (Search(b)) return true;
            }
        }

        return false;
    }

    static void Solve(IO io)
    {
        var a = new int[4, 4];

        for (var i = 0; i < 4; i++)
        {
            for (var j = 0; j < 4; j++)
            {
                a[i, j] = io.I;
            }
        }

        if (Search(a)) io.Write("Yes");
        else io.Write("No");
    }    
}