N, X, M = gets.split.map(&:to_i) A = gets.split.map(&:to_i) cur = 0 cost = 0 (N - 1).downto(0) do |i| a = A[i] cur.times do a /= 2 end while a >= X a /= 2 cur += 1 cost += i + 1 end end if cost <= M puts 'Yes' else puts 'No' end