a = (1..4).map {gets.split.map(&:to_i)}
D = [*0...4].product([*0...4])
def f(x)
  i1, j1 = D.find {|i, j| x[i][j] == 0}
  i2, j2 = D.find {|i, j| x[i][j] == 4 * i1 + j1 + 1} || [-1, -1]
  if (i2 - i1).abs + (j2 - j1).abs != 1
    x
  else
    f((0...4).map {|i|
        (0...4).map {|j|
          if [i, j] == [i1, j1]
            x[i2][j2]
          elsif [i, j] == [i2, j2]
            0
          else
            x[i][j]
          end
        }})
  end
end
ans = if D.all? {|i, j| f(a)[i][j] == (4 * i + j + 1) % 16}
        "Yes"
      else
        "No"
      end
puts ans