NOW=[[1,2,3,4],[5,6,7,8],[9,10,11,12],[13,14,15,0]]
A=[list(map(int,input().split())) for i in range(4)]

while NOW!=A:
    for i in range(4):
        for j in range(4):
            if NOW[i][j]==0:
                x=i
                y=j

    k=A[x][y]

    for z,w in [(x+1,y),(x-1,y),(x,y+1),(x,y-1)]:
        if 0<=z<4 and 0<=w<4 and NOW[z][w]==k:
            NOW[z][w],NOW[x][y]=NOW[x][y],NOW[z][w]
            break
    else:
        print("No")
        exit()

print("Yes")