ビ太郎有 $N$ 张卡牌，每张卡牌编号从 $1$ 到 $N$。每张卡牌 $i$（$1 \leq i \leq N$）上写有一个正整数 $A_i$。

满足以下条件的 $K$ 张卡牌的组合被称为“顺子”：

• 当这 $K$ 张卡牌按照卡牌上写的整数递增的顺序一字排开时，任意相邻的两张卡牌上写的数的差都为 $1$。

现在，ビ太郎想从 $N$ 张卡牌中选出 $K$ 张卡牌组成一个顺子。

给定卡牌的信息，请编写一个程序判断ビ太郎是否能够选出 $K$ 张卡牌组成顺子。

输入通过标准输入以如下格式给出：

$N$ $K$ $A_1$ $A_2$ $\cdots$ $A_N$

请输出一行。如果ビ太郎能够选出 $K$ 张卡牌组成顺子则输出 Yes，否则输出 No。

子任务

1.（$30$ 分）$K=2$。
2.（$30$ 分）$A_i \leq 300\,000$（$1 \leq i \leq N$）。
3.（$40$ 分）无其他额外限制。

---

样例解释 1

卡牌 $1,3$ 上写的整数分别为 $1,2$，因此卡牌 $1,3$ 组成的组就是一个顺子。ビ太郎能够选出 $K=2$ 张卡牌组成顺子，所以输出 Yes。

该输入示例满足所有子任务的约束。

---

样例解释 2

ビ太郎无法选出 $K=4$ 张卡牌组成顺子。因此，输出 No。

该输入示例满足子任务 $2,3$ 的约束。

数据范围

• $2 \leq N \leq 300\,000$。
• $2 \leq K \leq N$。
• $1 \leq A_i \leq 10^9$（$1 \leq i \leq N$）。
• 输入数据均为整数。

由 ChatGPT 5 翻译