### 问题描述 桥田君毕业后去电子厂上班了，他的工作是在机床上加工产品。具体的工作方式是这样的，有一个显示屏会不断告诉桥田君此时他应该加工几号产品，桥田君则消耗 $1$ 点能量拿起对应的产品放在机床上加工。如果产品当前时刻已经在机床上了，那么他就不需要执行这个操作。如果产品当前时刻不仅不在机床上，而且机床上还已经放满了产品，那么他就需要消耗 $2$ 点能量将当前机床上最早出现在机床上的产品拿走，然后拿起对应的产品放在机床上加工。已知显示屏总计会告诉桥田君 $N$ 次信息，机床大小为 $K$，请计算一下桥田君处理完这 $N$ 次信息需要消耗的能量。 ### 输入格式 第一行两个正整数 $N,K$，表示有 $N$ 次信息待桥田君处理，机床大小为 $K$。 接下来一行，$N$ 个正整数 $a_i$，表示每一次显示屏上出现的产品编号。 ### 输出格式 输出共一行，输出一个整数表示桥田君处理完这 $N$ 次信息需要消耗的能量。 ### 样例输入 ```text 7 3 2 3 2 1 5 2 4 ``` ### 样例输出 ```text 9 ``` ### 说明 样例中，桥田君处理第 $1$、$2$ 和 $4$ 则消息需要消耗 $1$ 点能量，处理第 $5$、$6$ 和 $7$ 则消息需要消耗 $2$ 点能量，所以总共消耗 $1 \times 3+3 \times 2=9$ 点能量。 ### 评测数据规模 对于所有评测数据，$2 \leq N,K \leq 10^4$，$1 \leq a_i \leq N$。