#シミュレーション
a = [list(map(int, input().split())) for _ in range(4)]
goal = [[1, 2, 3, 4], [5, 6, 7, 8], [9, 10, 11, 12], [13, 14, 15, 0]]
locked = [None] + [False] * 15

while True:
    if a == goal:
        print('Yes')
        break
        
    for i in range(4):
        for j in range(4):
            if a[i][j] == 0:
                mx, my = i, j
                break
    
    for nx, ny in [(mx+1, my), (mx-1, my), (mx, my+1), (mx, my-1)]:
        if 0 <= nx <= 3 and 0 <= ny <= 3:
            if a[nx][ny] == goal[mx][my] and not locked[a[nx][ny]]:
                locked[a[nx][ny]] = True
                a[mx][my] = a[nx][ny]
                a[nx][ny] = 0
                break
    else:
        print('No')
        break