AT_abc241_b.[ABC241B] Pasta

高桥家里有 $N$ 根意大利面，第 $i$ 根面的长度为 $A_i$。
高桥计划在接下来的 $M$ 天里，每天从这些面中选出一根长度恰好为 $B_i$ 的面来吃。如果从第 $1$ 天到第 $M$ 天中有一天没有满足条件的面可选，则他的饮食计划就会失败。此外，同一根面不能在多天内重复食用。

请判断高桥是否能够顺利完成他的饮食计划。

输入以如下格式从标准输入读入。

$N$ $M$ $A_1$ $A_2$ $\ldots$ $A_N$ $B_1$ $B_2$ $\ldots$ $B_M$

如果高桥能够顺利完成饮食计划，输出 Yes，否则输出 No。

限制条件

• $1 \leq M \leq N \leq 1000$
• $1 \leq A_i \leq 10^9$
• $1 \leq B_i \leq 10^9$
• 所有输入均为整数。

样例解释 1

第 $1$ 天可以吃第 $3$ 根面，第 $2$ 天可以吃第 $1$ 根面，因此高桥的饮食计划可以顺利完成。

样例解释 2

需要有一根长度恰好为 $1$ 的面。

样例解释 3

长度为 $5$ 的面只有一根，因此第 $2$ 天无法吃到，饮食计划失败。

由 ChatGPT 4.1 翻译