import sys
input=lambda: sys.stdin.readline().rstrip()
import itertools
A=list(itertools.chain.from_iterable([list(map(int,input().split())) for _ in range(4)]))
AA=[(int(i)+1)%16 for i in range(16)]
ans=True
while True:
  s=A.index(0)
  if s==15:
    if A!=AA:
      ans=False
    break
  g=A.index(s+1)
  if g==s-1 and s%4!=0:
    A[s],A[g]=s+1,0
  elif g==s-4 and s>=4:
    A[s],A[g]=s+1,0
  elif g==s+1 and (s+1)%4!=0:
    A[s],A[g]=s+1,0
  elif g==s+4 and s<12:
    A[s],A[g]=s+1,0
  else:
    ans=False
    break
  if A==AA:
    break
print("Yes" if ans else "No")