A = [list(map(int, input().split())) for _ in range(4)]

for i in range(4):
    for j in range(4):
        if A[i][j] == 0:
            si, sj = i, j
            
directions = [(1, 0), (-1, 0), (0, 1), (0, -1)]
while si != 3 or sj != 3:
    ng = True
    x = 4 * si + 1 + sj
    for di, dj in directions:
        ni = si + di
        nj = sj + dj
        if ni == -1 or nj == -1 or ni == 4 or nj == 4:
            continue
        if A[ni][nj] == x:
            A[ni][nj], A[si][sj] = A[si][sj], A[ni][nj]
            si, sj = ni, nj
            ng = False
            break
    if ng:
        print("No")
        exit()

for i in range(4):
    for j in range(4):
        if i == j == 3:
            break
        if A[i][j] != 4 * i + 1 + j:
            print("No")
            exit()
print("Yes")