题目描述

FJ 喜欢给射箭选手打分，他的打分规则如下：选手共射出 $n$ 支箭，每单位时间射出 $1$ 支箭。环数的可能种类为 $1$ 到 $m$（共 $m$ 种），若选手能在某段连续的箭中包含所有 $1$ 到 $m$ 的环数，这段连续箭对应的时间段长度（即箭的数量）就是候选得分。请你找出最短的候选得分；若选手的 $n$ 支箭中始终未包含所有 $1$ 到 $m$ 的环数，则输出 $-1$。

输入格式

第一行包含两个整数 $n$ 和 $m$，分别表示箭的总数和环数的种类数。
第二行包含 $n$ 个整数，依次表示每支箭的环数。

输出格式

输出一个整数。若存在包含所有 $1$ 到 $m$ 环数的连续箭段，输出最短的该段长度；若无法覆盖所有环数，则输出 $-1$。

样例

12 5
2 5 3 1 3 2 4 1 1 5 4 3

6

样例说明
$n=12$（共 $12$ 支箭），$m=5$（需包含 $1,2,3,4,5$ 所有环数），$12$ 支箭的环数依次为 $2,5,3,1,3,2,4,1,1,5,4,3$。
在所有包含 $1$ 到 $5$ 全部环数的连续箭段中，最短的是长度为 $6$ 的段（例如从第 $2$ 支箭 “$5$” 到第 $7$ 支箭 “$4$”，这段箭的环数为 $5,3,1,3,2,4$，覆盖了 $1$ 到 $5$ 所有环数），因此输出 $6$。

数据范围

• $1 \le n \le 10^6$
• $1 \le m \le 2000$
• 所有环数均在 $1$ 到 $m$ 之间