题目描述

睿爸附小有 $N（\le1000）$ 名小学生，今天的午饭主食是切糕。每名小学生需要一块边长为 $2^{A_i} ({A_i}<26）$ 的正方形切糕。

徐校长从隔壁菜场买了一块 $H （\le10^9）\times W（\le10^9）$ 的切糕，你需要判断能否满足所有小朋友的需求。

注意，小朋友一旦发现分给他的切糕是粘贴的，就会哇哇大哭，告诉家长，说这个学校不好，让他吃胶水切糕，要求退学。

因此，只能切割，不能拼接。

假设切割不会产生碎屑，能够精准切割。

输入格式

第一行三个正整数 $H、W、N$，表示切糕的大小和小学生的数量。

第二行 $N$ 个自然数，第 $i$ 个数为 $A_i$ 表示第 $i$ 个小学生需要一块边长为 $2^{A_i}$ 的正方形切糕。

输出格式

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

输入输出样例 #1

输入 #1

4 4 4
1 1 1 1

输出 #1

Yes