AT_arc172_a [ARC172A] Chocolate

你有一个大小为 $H \times W$ 的格子状矩形，你需要判断是否能把它从格子处分成 $N$ 个正方形，满足第 $i$ 个正方形的边长为 $2^{A_i}$，可以有剩余。

第一行三个正整数 $H W N$，表示矩形的大小和需要分成的正方形的数量。 第二行 $N$ 个自然数，第 $i$ 个数为 $A_i$ 表示第 $i$ 个正方形的边长为 $2^{A_i}$。

如果存在一种合法的方案，输出`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 $ のピースを両方得ることは不可能です。