SP1847 NOCHANGE - No Change

在一个名叫 Additivia 的小国，人们没有“找零”的概念，这可能跟他们不会做减法有关。当他们购物时，必须用刚好符合商品价格的 addollars（他们的货币）付款。唯一的其他选择是多付，但显然不是上佳之策。 数学家 Adem 教授提出了一种管理硬币的方法。其核心理念是：如果你拥有的面值为 $v_1$ 的硬币比面值为 $v_2$ 的硬币多，那么每次付款时，应使用至少相同数量的 $v_1$ 和 $v_2$ 面值硬币。当然，用太多 $v_1$ 的硬币也不好，不过为了简化算法，Adem 教授选择忽略这个问题。这个算法很受欢迎，Adem 教授正打算开发一种内置此算法的“电子钱包”。他需要一个软件，来决定是否能使用一组给定的硬币按照他的规则支付指定数量的 addollars。作为他信任的程序员，你将负责完成这个任务。

输入首先是要支付的 addollars 金额 $x$，满足 $1 \le x \le 100,000$。接着是可用的硬币面值数量 $k$，满足 $1 \le k \le 5$。然后，依次给出硬币的面值 $v_1, \ldots, v_k$，满足 $1 \le v_i \le 10,000$。 需要特别注意的是，硬币面值的顺序很重要：需要确保使用的面值 $v_1$ 的硬币数量不少于面值为 $v_2$ 的硬币，面值 $v_2$ 的硬币不少于面值为 $v_3$ 的硬币，以此类推。可以假设每种面值的硬币数量都足够多。

对于每一个测试用例，如果可以按照上述规则准确支付给定金额，则输出 `YES`；否则，输出 `NO`。 **本翻译由 AI 自动生成**