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

a = [[1, 2, 3, 4], [5, 6, 7, 8], [9, 10, 11, 12], [13, 14, 15, 0]]

for i in range(4):
    for j in range(4):
        if A[i][j] == 0:
            x = i
            y = j
        
while x != 3 or y != 3:
    
    if x > 0 and A[x - 1][y] == a[x][y]:
        A[x][y], A[x - 1][y] = A[x - 1][y], A[x][y]
        x -= 1
        
    elif x < 3 and A[x + 1][y] == a[x][y]:
        A[x][y], A[x + 1][y] = A[x + 1][y], A[x][y]
        x += 1
        
    elif y > 0 and A[x][y - 1] == a[x][y]:
        A[x][y], A[x][y - 1] = A[x][y - 1], A[x][y]
        y -= 1
        
    elif y < 3 and A[x][y + 1] == a[x][y]:
        A[x][y], A[x][y + 1] = A[x][y + 1], A[x][y]
        y += 1
    else:
        print('No')
        exit()
        
        
if A == a:
    print('Yes')
    
else:
    print('No')