巧克力在世界各地受到数百万人的喜爱，是真正意义上全球通用的糖果，几乎在世界上的每个国家都能买到。

你发现，吃巧克力唯一比自己吃更好的事情就是与朋友分享。不幸的是，你的朋友们非常挑剔，胃口各不相同：有些人想要更多，有些人想要更少。你发现要确定他们的需求能否得到满足变得越来越困难。现在是时候编写一个程序，一劳永逸地解决这个问题了！

你的巧克力是一块矩形巧克力棒。这块巧克力棒由大小相同的矩形小块组成。为了分享巧克力，你可以沿着巧克力棒行或列之间的分割线将一块巧克力分成两块。然后，你可以以同样的方式反复分割得到的巧克力块。你的每一位朋友都坚持要得到一块特定数量小块的矩形巧克力。你也有点固执：只有当你的巧克力棒能被完全分发给你的朋友，且没有剩余时，你才会把巧克力棒分掉。

例如，图 9 展示了一种将 $3 \times 4$ 的巧克力棒分成 4 部分的方法，这些部分分别包含 6、3、2 和 1 块，通过分割 3 次即可实现。（这对应于第一个样例输入。）

图 9

输入格式

输入包含多个测试用例。每个描述以包含单个整数 $n$ ($1 \le n \le 15$) 的行开始，表示巧克力棒需要被分割成的部分数量。 接下来是一行，包含两个整数 $x$ 和 $y$ ($1 \le x, y \le 100$)，表示巧克力棒的尺寸。 下一行包含 $n$ 个正整数，给出了这 $n$ 个部分中每一部分应该包含的小块数量。

输入以包含整数 0 的行结束。

输出格式

对于每个测试用例，首先显示其用例编号。然后显示是否可能以所需方式分割巧克力，如果可能则显示“Yes”，否则显示“No”。请遵循样例输出的格式。

样例

输入 1

4 
3 4 
6 3 2 1 
2 
2 3 
1 5 
0

输出 1

Case 1: Yes
Case 2: No