using System;
using System.Collections;
using System.Collections.Generic;
using System.Collections.Specialized;
using System.Text;
using System.Text.RegularExpressions;
using System.Linq;
using System.IO;

class Program
{
    static private Magatro M = new Magatro();
    static private void Main(string[]args)
    {
        M.Scan();
        M.Solve();
    }
}

public class Scanner
{
    private string[] S;
    private int Index;
    private char Separator;

    public Scanner(char separator = ' ')
    {
        Index = 0;
        Separator = separator;
    }

    private string[] Line()
    {
        return Console.ReadLine().Split(Separator);
    }

    public string Next()
    {
        string result;
        if (S == null || Index >= S.Length)
        {
            S = Line();
            Index = 0;
        }
        result = S[Index];
        Index++;
        return result;
    }
    public int NextInt()
    {
        return int.Parse(Next());
    }
    public double NextDouble()
    {
        return double.Parse(Next());
    }
    public long NextLong()
    {
        return long.Parse(Next());
    }
}

public class Magatro
{
    int[,] a = new int[5, 5];
    int[,] Source = new int[4, 4];
    public void Scan()
    {
        Scanner sc = new Scanner();
        for(int i = 0; i < 4; i++)
        {
            for(int j = 0; j < 4; j++)
            {
                a[i, j] = sc.NextInt();
            }
        }
    }
    private void Start()
    {
        for (int i = 0; i < 4; i++)
        {
            for (int j = 0; j < 4; j++)
            {
                if (i == 3 && j == 3)
                {
                    Source[i, j] = 0;
                }
                else
                {
                    Source[i, j] = i * 4 + j + 1;
                }
            }
        }
    }
    public void Solve()
    {
        Start();
        int cnt = 0;
        for (int i = 0; i < 4; i++)
        {
            for (int j = 0; j < 4; j++)
            {
                int p = a[i, j];
                if (p != 0)
                {
                    if (p == Source[i, j]) continue;
                    cnt++;
                    if (i > 0 && p == Source[i - 1, j]) continue;
                    if (j > 0 && p == Source[i, j - 1]) continue;
                    if (i < 3 && p == Source[i + 1, j]) continue;
                    if (j < 3 && p == Source[i, j + 1]) continue;

                    Console.WriteLine("No");
                    return;
                }
            }
        }
        int target = 0;
        while (target != 16)
        {
            int i;
            for (i = 0; a[i / 4, i % 4] != target; i++) ;

            cnt--;
            target = i+1;
        }
        Console.WriteLine(cnt == -1 ? "Yes" : "No");
    }
}