Description

小黄和小杨合作完成一项任务。对于一个长度为 $n$ 的数组 $a$，小黄和小杨可以任意次进行以下操作：小黄和小杨分别选择一个索引 $i$ 和 $j$ ($1 \leq i, j \leq n$)，使得 $a_i$ 和 $a_j$ 分别加 $1$。两人的目标是将这个数组变成一个严格递增的数组。

但是小黄和小杨闹矛盾了，他们不想距离彼此太近，在操作中，他们两人选取的索引至少要间隔 $k$。也就是说，小黄和小杨分别选择一个索引 $i$ 和 $j$，需要满足 $|i - j| > k$。

请问在这样闹矛盾的情况下，两人是否还能达成目标。

Format

Input

第一行包含两个整数 $n, k\ (2 \leq n \leq 2 \times 10 ^ 5, 0 \leq k \leq 2 \times 10 ^ 5)$，表示数组的大小以及小黄和小杨选取索引间距的最小值。

第二行包含 $n$ 个整数 $a_1, a_2, \cdots, a_n\ , (1 \leq a_i \leq 10^9)$，表示数组中的值。

Output

如果在闹矛盾的情况下，两人能够达成目标，输出 $\texttt{Yes}$，否则输出 $\texttt{No}$，输出不区分大小写（$\texttt{yEs,yes,No,no}$ 等都被视为合法输出）。

Samples

5 200000
1 2 3 4 5

Yes

5 3
1 4 3 2 5

No

5 3
1 5 6 7 5

Yes

Limitation

1s, 1024KiB for each test case.