table=[map(int,raw_input().split()) for i in range(4)]
default=[[1,2,3,4],[5,6,7,8],[9,10,11,12],[13,14,15,0]]
x,y=3,3
d=[(0,1),(0,-1),(1,0),(-1,0)]
while table[x][y]!=0:
    ok = False
    for dx,dy in d:
        #print dx,dy
        nx,ny=x+dx,y+dy
        if nx>=0 and ny>=0 and nx <4 and ny<4:
            if default[nx][ny]==table[x][y]:
                ok=True
                #print nx,ny,"<=>",x,y
                default[nx][ny],default[x][y]=default[x][y],default[nx][ny]
                x,y=nx,ny
                break
    if ok==False:
        break
yes=True
for i in range(4):
    for j in range(4):
        #print default[i][j],
        if table[i][j]!=default[i][j]:
            yes=False
            break
    #print
if yes:
    print "Yes"
else:
    print "No"