n = gets.to_i
s = gets.split(' ').map(&:to_i)

i = 0
no_flg = false
loop do
  max = s.max
  if s.count(max) > 2**i
    print 'No'
    no_flg = true
    break
  else
    s.delete(max)
    i += 1
    break if i == n
  end
end
print 'Yes' unless no_flg
