def around(pos):
    ls = []
    #上
    if pos >= 4:
        ls.append(pos - 4)
    #下
    if pos <= 11:
        ls.append(pos + 4)
    #左
    if pos % 4 != 0:
        ls.append(pos - 1)
    #右
    if pos % 4 != 3:
        ls.append(pos + 1)
    return ls

def check(ls):
    pos = ls.index('0')
    g = goal[pos]
    
    for p in around(pos):
        if ls[p] == g:
            ls[p], ls[pos] = ls[pos], ls[p]
            return True
    return False
    
a = input().split()
b = input().split()
c = input().split()
d = input().split()
ls = a + b + c + d

goal = [str((i + 1) % 16) for i in range(16)]

while True:
    if ls == goal:
        print('Yes')
        break
    if not check(ls):
        print('No')
        break