a = readlines.map{|s| s.split.map &:to_i }
goal = (1..16).each_slice(4).map{|a| a.map{|n| n%16 } }
moved = {}

loop{
	(puts 'Yes'; exit) if a == goal
	zero_y = a.index{|r| r.include? 0 }
	zero_x = a[zero_y].index(0)
	n = zero_y*4 + zero_x + 1
	(puts 'No'; exit) if moved[n]
	[[zero_y-1,zero_x],[zero_y+1,zero_x],[zero_y,zero_x-1],[zero_y,zero_x+1]].each{|y,x|
		next unless (0...4) === y && (0...4) === x
		if a[y][x] == n
			a[zero_y][zero_x], a[y][x] = n, 0
			moved[n] = true
			break
		end
	}
	(puts 'No'; exit) if a[zero_y][zero_x] == 0
}