题目描述

比太郎有 $N$ 张扑克牌，编号为 $1$ 到 $N$。每张扑克牌都有一个正整数，扑克牌 $i$ 上的正整数为 $A_i$。

将满足以下条件的包含 $K$ 张扑克牌的牌组称为“顺子”：

• 将这些扑克牌按照牌上的正整数从小到大排序后，任意相邻两张牌上的正整数差为 $1$。

判断比太郎是否能从 $N$ 张扑克牌中选出 $K$ 张，使这 $K$ 张牌组成的牌组为一个顺子。

输入格式

第一行输入两个整数 $N,K$。

第二行输入 $N$ 个整数 $A_1,A_2,\ldots,A_N$。

输出格式

输出一行一个字符串，如果可以组成一个顺子输出 Yes，否则输出 No。

5 2
1 1 2 4 3

Yes

7 4
1 1 2 3 3 5 6

No

提示

【样例解释 #1】

可以选择 $K=2$ 张扑克牌 $1,3$，牌上的正整数分别为 $1,2$，组成了一个顺子。

该样例满足所有子任务的限制。

【样例解释 #2】

没法选出 $K=4$ 张扑克牌使其组成一个顺子。

该样例满足子任务 $2,3$ 的限制。

【数据范围】

• $2 \le N \le 3\times 10^5$；
• $2 \le K \le N$；
• $1 \le A_i \le 10^9(1 \le i \le N)$。

【子任务】

1. （$30$ 分）$K=2$；
2. （$30$ 分）$A_i\le 3\times 10^5(1\le i\le N)$；
3. （$40$ 分）无附加限制。