题目描述

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

输入格式

第一行三个正整数 $H W N$，表示矩形的大小和需要分成的正方形的数量。

第二行 $N$ 个自然数，第 $i$ 个数为 $A_i$ 表示第 $i$ 个正方形的边长为 $2^{A_i}$。

输出格式

如果存在一种合法的方案，输出Yes，否则输出No。

样例 1

输入

4 4 4
1 0 0 1

输出

Yes

样例 2

输入

5 7 6
0 1 0 2 0 1

输出

Yes

样例 3

输入

3 2 7
0 0 0 0 0 0 0

输出

No

样例 4

输入

11 11 2
2 3

输出

No

样例 5

输入

777 777 6
8 6 9 1 2 0

输出

Yes