import sys
import copy

goal = list(map(lambda e:e%16,  range(1,17)))

def yes():
    print("Yes")
    sys.exit()

def dfs(a, moved,dep=0):
    # print(dep,a,moved)
    if a == goal: yes()
    idx = a.index(0)
    x = idx%4
    y = idx/4
    if 0<x and not moved[a[idx-1]]:
        moved[a[idx-1]] = 1
        a[idx-1], a[idx] = a[idx], a[idx-1]
        dfs(copy.copy(a), copy.copy(moved), dep+1)
        a[idx-1], a[idx] = a[idx], a[idx-1]
        moved[a[idx-1]] = 0
    if x<3 and not moved[a[idx+1]]:
        moved[a[idx+1]] = 1
        a[idx+1], a[idx] = a[idx], a[idx+1]
        dfs(copy.copy(a), copy.copy(moved), dep+1)
        a[idx+1], a[idx] = a[idx], a[idx+1]
        moved[a[idx+1]] = 0
    if 0<y and not moved[a[idx-4]]:
        moved[a[idx-4]] = 1
        a[idx-4], a[idx] = a[idx], a[idx-4]
        dfs(copy.copy(a), copy.copy(moved), dep+1)
        a[idx-4], a[idx] = a[idx], a[idx-4]
        moved[a[idx-4]] = 0
    if y<3 and not moved[a[idx+4]]:
        moved[a[idx+4]] = 1
        a[idx+4], a[idx] = a[idx], a[idx+4]
        dfs(copy.copy(a), copy.copy(moved), dep+1)
        a[idx+4], a[idx] = a[idx], a[idx+4]
        moved[a[idx+4]] = 0

x = list(map(int,input().split()))
x+= list(map(int,input().split()))
x+= list(map(int,input().split()))
x+= list(map(int,input().split()))

dfs(x,[0]*16)

print("No")