# -*- coding: utf-8 -*-

a = []
for i in range(4):
    a.append(list(map(int, input().split())))
A = [[1,2,3,4], [5,6,7,8], [9,10,11,12], [13,14,15,0]]

def find_n(n):
    for i in range(4):
        for j in range(4):
            if A[i][j] == n:
                return [i,j]

is_possible = True
for i in range(4):
    for j in range(4):
        n = a[i][j]
        coord = find_n(n)
        if abs(coord[0]-i)+abs(coord[1]-j) > 1:
            is_possible = False
            break
    if not is_possible:
        break

print('Yes') if is_possible else print('No')