AT_abc478_c [ABC478C] Sort Subarray

長さ $ N $ の整数列 $ A=(A _ 1,A _ 2,\ldots,A _ N) $ が与えられます。 $ A $ に対して、次の操作を**ちょうど $ \mathbf{1} $ 回**行います。 - $ 1 $ 以上 $ N-K+1 $ 以下の整数 $ i $ をひとつ選ぶ。 $ A _ i,A _ {i+1},\ldots,A _ {i+K-1} $ を昇順にソートする。より厳密には、 $ A _ i,A _ {i+1},\ldots,A _ {i+K-1} $ を小さいほうから順に並べたものを $ B _ 1,B _ 2,\ldots,B _ K $ とし、 $ 1\le j\le K $ について一斉に $ A _ {i+j-1} $ を $ B _ j $ で置き換える。 この操作ののち、 $ A $ が昇順になっている、つまりすべての $ 1\le i\lt N $ に対して $ A _ i\le A _ {i+1} $ が成り立っているようにできるか判定してください。

入力は以下の形式で標準入力から与えられる。 > $ N $ $ K $ $ A _ 1 $ $ A _ 2 $ $ \ldots $ $ A _ N $

操作を $ 1 $ 回行うことで $ A $ を昇順に並べ替えられるなら `Yes` を、そうでなければ `No` を出力せよ。

### Sample Explanation 1 例えば、 $ i $ として $ 2 $ を選ぶと、 $ (A _ 2,A _ 3,A _ 4,A _ 5,A _ 6,A _ 7)=(4,1,4,2,1,3) $ が $ (1,1,2,3,4,4) $ に置き換えられます。 操作が終わったあとの $ A $ は $ (1,1,1,2,3,4,4,5,6) $ となり、条件を満たします。 よって、`Yes` を出力してください。 ### Sample Explanation 2 $ K=1 $ なので、どの $ i $ に対して操作を行っても $ A $ は変化しません。 よって、`No` を出力してください。 ### Constraints - $ 1\le K\lt N\le2\times10 ^ 5 $ - $ 1\le A _ i\le N\ (1\le i\le N) $ - 入力は全て整数