N=gets.to_i
S=gets.split.map(&:to_i).sort.reverse
p S
q=[S.shift]
N.times do |n|
  (2**[n-1,0].max).times do
    x=q.shift
    (N-n).times do
      q<<S.shift
      next if q[-1]<x
      puts :No
      exit 0
    end
  end
end
puts :Yes