题目描述

小鼠研究员小白管理一批实验鼠，每只鼠有固定编号（$1$ ~ $10^6$）。

实验室每天会从一批鼠中抽取一只进行实验，但为了避免同一只鼠短期内被重复抽取产生应激反应，系统会记录最近参与实验的 $m$ 只鼠。

每天抽鼠时规则如下：

• 如果被抽到的鼠不在最近记录中，就需要为它安排一次适应性训练，并把它加入记录末尾。
• 如果被抽到的鼠已在最近记录中，说明它在近期已参加过实验，今天不再安排训练，但要将它移到记录的末尾（表示刚刚又被访问过）。
• 如果记录已满（达到 $m$ 只鼠）且要加入新鼠，则删除记录中最久之前被访问的那一只。

给定 $n$ 天的抽鼠记录，问总共安排了多少次 “适应性训练”。

输入格式

第一行两个整数 $n,\ m$，$n$ 是实验天数，$m$ 是最多记录数。

第二行 $n$ 个整数，表示每天抽到的鼠编号。

输出格式

一个整数，表示适应性训练的次数。

样例

10 3
1 2 3 4 3 2 1 5 4 1

7

样例1解释

初始记录为空。

第 $1$ 天：鼠 $1$ 不在记录 → 安排训练，记录 $=[1]$，次数 $=1$

第 $2$ 天：鼠 $2$ 不在记录 → 安排训练，记录 $=[1,\ 2]$，次数 $=2$

第 $3$ 天：鼠 $3$ 不在记录 → 安排训练，记录 $=[1,2,3]$，次数 $=3$

第 $4$ 天：鼠 $4$ 不在记录，记录已满 → 淘汰最早的 $1$，记录 $=[2,3,4]$，次数 $=4$

第 $5$ 天：鼠 $3$ 在记录 → 不安排训练，但将 $3$ 移到末尾，记录 $=[2,\ 4,\ 3]$

第 $6$ 天：鼠 $2$ 在记录 → 不安排训练，但将 $2$ 移到末尾，记录 $=[4,\ 3,\ 2]$

第 $7$ 天：鼠 $1$ 不在记录，记录已满 → 淘汰最早的 $4$，记录 $=[3,\ 2,\ 1]$，次数 $=5$

第 $8$ 天：鼠 $5$ 不在记录，记录已满 → 淘汰最早的 $3$，记录 $=[2,\ 1,\ 5]$，次数 $=6$

第 $9$ 天：鼠 $4$ 不在记录，记录已满 → 淘汰最早的 $2$，记录 $=[1,\ 5,\ 4]$，次数 $=7$

第 $10$ 天：鼠 $1$ 在记录 → 不安排训练，但将 $1$ 移到末尾，记录 $=[5,\ 4,\ 1]$

总次数 $= 7$。

数据范围

对于 $80\%$ 的数据，$1\le m<n\le 1000$。

对于 $100\%$ 的数据，$1\le m<n\le 10^6$。

数据已从 $10^5$ 提升到 $10^6$。