AT_m_solutions2020_b Magic 2

[problemUrl]: https://atcoder.jp/contests/m-solutions2020/tasks/m_solutions2020_b M 君は、以下の $ 3 $ 枚のカードを持っています。 - 整数 $ A $ が書かれた赤のカード - 整数 $ B $ が書かれた緑のカード - 整数 $ C $ が書かれた青のカード 彼は天才的な魔術師なので、以下の操作を $ K $ 回まで行うことができます。 - $ 3 $ 枚のうちいずれか $ 1 $ 枚のカードを選び、書かれた整数を $ 2 $ 倍する。 操作を行った後、以下の条件が同時に満たされれば、魔術は成功です。 - 緑のカードに書かれている整数は、赤のカードに書かれている整数より**真に**大きい。 - 青のカードに書かれている整数は、緑のカードに書かれている整数より**真に**大きい。 魔術を成功させることができるかどうか判定してください。

入力は以下の形式で標準入力から与えられます。 > $ A $ $ B $ $ C $ $ K $

魔術を成功させることができる場合は、`Yes` と出力してください。 そうでない場合は、`No` と出力してください。

### 制約 - $ 1\ \leq\ A,\ B,\ C\ \leq\ 7 $ - $ 1\ \leq\ K\ \leq\ 7 $ - 入力はすべて整数 ### Sample Explanation 1 例えば、以下のように操作を行った場合、魔術を成功させることができます。 - $ 1 $ 回目：青のカードを選ぶ。赤のカードには $ 7 $、緑には $ 2 $、青には $ 10 $ が書かれている状態になる。 - $ 2 $ 回目：緑のカードを選ぶ。赤のカードには $ 7 $、緑には $ 4 $、青には $ 10 $ が書かれている状態になる。 - $ 3 $ 回目：緑のカードを選ぶ。赤のカードには $ 7 $、緑には $ 8 $、青には $ 10 $ が書かれている状態になる。 ### Sample Explanation 2 M 君がどのように操作を行っても、$ 3 $ 回以内の操作で魔術を成功させることはできません。