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

def isok(B):
    for i in range(4):
        for j in range(4):
            if B[i][j] != (i * 4 + j + 1) % 16:
                return False
    return True

dr = [-1, 0, 0, 1]
dc = [0, -1, 1, 0]

if isok(A):
    print("Yes")
    exit()

for afoifyuboiau in range(15):
    zi = -1
    zj = -1
    for i in range(4):
        for j in range(4):
            if A[i][j] == 0:
                zi = i
                zj = j
                break
    t = (zi * 4 + zj + 1) % 16
    ok = False
    for d in range(4):
        ni = zi + dr[d]
        nj = zj + dc[d]
        if not (0 <= ni < 4 and 0 <= nj < 4):
            continue
        if A[ni][nj] == t:
            ok = True
            A[zi][zj], A[ni][nj] = A[ni][nj], A[zi][zj]
            break
    if not ok:
        print("No")
        exit()
    if isok(A):
        print("Yes")
        exit()
print("No")