编程题
### 问题描述
一年一度的蓝桥杯省赛结束了,小明和小红在玩一个石头剪刀布游戏。这个游戏是这样子的,每轮游戏,两人同时出一个手势,手势分别有石头,剪刀,布,石头可以赢剪刀,剪刀可以赢布,布可以赢石头。为了方便描述,分别用 $1$,$2$,$3$ 来表示石头,剪刀,布。
小明和小红将进行 $N$ 轮游戏,小明看透了小红的心思,他将知道小红这 $N$ 轮出的手势,但是由于小明很懒,他最多只会改变 $M$ 次手势(他一开始可以是任意手势)。
请问,小明最多可以获胜多少轮?
### 输入格式
第一行包含两个正整数 $N, M$, 分别表示游戏的轮数和小明最多变换手势的次数。
第二行包含 $N$ 个整数,第 $i$ 个整数 $a_i$ 表示小红在 $i$ 轮出的手势。
### 输出格式
输出 $1$ 行,表示小明最多获胜多少轮。
### 样例输入
```text
3 0
1 2 3
```
### 样例输出
```text
1
```
### 评测数据规模
对于 $100\%$ 的评测数据, $1 \le N \le 10^5, 1 \le M \le 20, 1 \le a_i \le 3$。