N = gets.chop.to_i
P = gets.split.map(&:to_i)
P.sort!.reverse!
ans = 1

N.times do |n|
  num = 2**n
  num.times do |i|
    if P[i] <= P[num+i]
      ans *= 0
    end
  end
end

if ans==1
  print 'Yes'
else
  print 'No'
end
