defmodule Main do
  def main do
    list = IO.read(:line) |> String.trim() |> String.split(" ") |> Enum.map(&String.to_integer/1)
    k = IO.read(:line) |> String.trim() |> String.to_integer()

    solve(list, k)
    |> IO.puts()
  end

  @doc ~S"""
  https://atcoder.jp/contests/m-solutions2020/tasks/m_solutions2020_b

  ## Examples

      iex> MSolutions2020B.solve([7, 2, 5], 3)
      "Yes"
      iex> MSolutions2020B.solve([7, 4, 2], 3)
      "No"

  """
  def solve([r, g, b], _) when g > r and b > g, do: "Yes"

  def solve(list, k) do
    1..k
    |> Enum.reduce_while([list], fn _i, acc_list_of_lists ->
      list_of_lists =
        acc_list_of_lists
        |> Enum.flat_map(fn [a, b, c] ->
          [[2 * a, b, c], [a, 2 * b, c], [a, b, 2 * c]]
        end)

      empty? =
        list_of_lists
        |> Enum.filter(fn [r, g, b] -> g > r && b > g end)
        |> Enum.empty?()

      if empty?, do: {:cont, list_of_lists}, else: {:halt, "Yes"}
    end)
    |> (fn result -> if is_list(result), do: "No", else: result end).()
  end
end