AT_arc172_a [ARC172A] Chocolate

[problemUrl]: https://atcoder.jp/contests/arc172/tasks/arc172_a AtCoder さんはバレンタインデーの日に $ N $ 人の友達にチョコレートを配ることにしました。$ i $ 人目 $ (1\ \leq\ i\ \leq\ N) $ の友達には、大きさ $ 2^{A_i}\ \times\ 2^{A_i} $ の正方形の板チョコを渡したいです。 ここで、AtCoder さんは大きさ $ H\ \times\ W $ の長方形の板チョコを $ 1 $ 枚仕入れました。この板チョコは切れ目によって縦 $ H $ 行・横 $ W $ 列のマス目状に区切られており、その各マスは大きさ $ 1\ \times\ 1 $ の正方形になっています。 板チョコを切れ目に沿っていくつかのピースに分割することにより、友達に渡す板チョコをすべて得ることが可能か判定してください。なお、余るピースがあっても構いません。

入力は以下の形式で標準入力から与えられます。 > $ H $ $ W $ $ N $ $ A_1 $ $ A_2 $ $ \cdots $ $ A_N $

可能ならば `Yes`、不可能ならば `No` と出力してください。

### 制約 - $ 1\ \leq\ H\ \leq\ 10^9 $ - $ 1\ \leq\ W\ \leq\ 10^9 $ - $ 1\ \leq\ N\ \leq\ 1000 $ - $ 0\ \leq\ A_i\ \leq\ 25\ (1\ \leq\ i\ \leq\ N) $ - 入力はすべて整数 ### Sample Explanation 1 以下の図のように大きさ $ 4\ \times\ 4 $ の板チョコを分割することで、大きさ $ 2\ \times\ 2,\ 1\ \times\ 1,\ 1\ \times\ 1,\ 2\ \times\ 2 $ のピースを得ることができます。 !\[ \](https://img.atcoder.jp/arc172/46f487245ec72edd225e4e6b36cb7600.png) ### Sample Explanation 2 以下の図のように大きさ $ 5\ \times\ 7 $ の板チョコを分割することで、大きさ $ 1\ \times\ 1,\ 2\ \times\ 2,\ 1\ \times\ 1,\ 4\ \times\ 4,\ 1\ \times\ 1,\ 2\ \times\ 2 $ のピースを得ることができます。 !\[ \](https://img.atcoder.jp/arc172/4c2ab4192df6687b23e2d68d318868bb.png) ### Sample Explanation 3 大きさ $ 3\ \times\ 2 $ の板チョコから、大きさ $ 1\ \times\ 1 $ のピースを $ 7 $ つ得ることは不可能です。 ### Sample Explanation 4 大きさ $ 11\ \times\ 11 $ の板チョコから、大きさ $ 4\ \times\ 4,\ 8\ \times\ 8 $ のピースを両方得ることは不可能です。