AT_pakencamp_2023_day3_f MEX2

给定一个正整数 $N$、一个非负整数 $K$，以及一个长度为 $N$ 的非负整数序列 $A=(A_1, A_2, \ldots, A_N)$。 请计算有多少对整数 $(L, R)$ 满足 $1 \leq L \leq R \leq N$，并且 $\operatorname{mex}(\{A_L, A_{L+1}, \ldots, A_R\}) = K$。 mex 的定义：对于一个非负整数的有限集合 $S$，$\operatorname{mex}(S)$ 被定义为不属于 $S$ 的最小非负整数 $x$。

输入将以下述格式从标准输入读入。 > $N$ $K$ $A_1$ $A_2$ $\ldots$ $A_N$

输出满足条件的 $(L,R)$ 的对数。

### 样例解释 1 满足条件的 $(L,R)$ 有 $(1,2)$ 和 $(4,5)$ 共 $2$ 对。 ### 约束条件 - $1 \leq N \leq 2 \times 10^5$ - $0 \leq K \leq N$ - $0 \leq A_i \leq N$ 由 ChatGPT 5 翻译