goal=[]
for i in range(4):
    line=[int(i) for i in input().split()]
    goal.append(line)
# print(goal)

#init
puzzle=[]
puzzle.append([1,2,3,4])
puzzle.append([5,6,7,8])
puzzle.append([9,10,11,12])
puzzle.append([13,14,15,0])
moved=[[False for i in range(4)] for j in range(4)]

zero_pos=[3,3]
while(1):
    # print(zero_pos)
    # for i in range(4):
    #     print(puzzle[i])
    # print('\n')
    if puzzle==goal:
        print("Yes")
        break
    zero_pos_y=zero_pos[0]
    zero_pos_x=zero_pos[1]
    goal_num=goal[zero_pos_y][zero_pos_x]
    #↑
    if zero_pos_y!=0:
        if goal_num==puzzle[zero_pos_y-1][zero_pos_x]:
            zero_pos=[zero_pos_y-1,zero_pos_x]
            puzzle[zero_pos_y-1][zero_pos_x]=0
            puzzle[zero_pos_y][zero_pos_x]=goal_num
            continue
    #↓
    if zero_pos_y!=3:
        if goal_num==puzzle[zero_pos_y+1][zero_pos_x]:
            zero_pos=[zero_pos_y+1,zero_pos_x]
            puzzle[zero_pos_y+1][zero_pos_x]=0
            puzzle[zero_pos_y][zero_pos_x]=goal_num
            continue
    #←
    if zero_pos_x!=0:
        if goal_num==puzzle[zero_pos_y][zero_pos_x-1]:
            zero_pos=[zero_pos_y,zero_pos_x-1]
            puzzle[zero_pos_y][zero_pos_x-1]=0
            puzzle[zero_pos_y][zero_pos_x]=goal_num
            continue
    #→
    if zero_pos_x!=3:
        if goal_num==puzzle[zero_pos_y][zero_pos_x+1]:
            zero_pos=[zero_pos_y,zero_pos_x+1]
            puzzle[zero_pos_y][zero_pos_x+1]=0
            puzzle[zero_pos_y][zero_pos_x]=goal_num
            continue
    print("No")
    break