#P2383. LLM找对象

LLM找对象

找对象可不是一件容易的事情,如果你想找个好对象啊,喜欢打游戏的得把游戏戒了,喜欢acm的得把acm戒了,然后“天将降女朋友于斯人也,必先看其有没有穿拖鞋”,现在LLM相中了N个妹子,他通过观星、占卜、杀队友祭天等方法终于发现了自己与这N个妹子分别

相遇的时间,但是LLM还是想穿拖鞋(但是穿了拖鞋就会情商急速下降找无法认识妹子),因此LLM决定忍痛割爱选择K天不穿拖鞋,但是不可以有任意两天连续不穿拖鞋,现在LLM问你他最多可以认识多少妹子

Input

每个测试文件包含不多于10组测试样例

每个测试样例第一行包含两个整数,N,K

接下来一行有N个数字,分别代表和第i个妹子相遇的是哪一天(这一天的编号小于100000000)

1<=N<=500,1<=K<=100000000

 

Output

输出包含一行,代表可以认识的妹子数量

Sample Input

5 2
666 233 10086 233 10086

Sample Output

4

HINT

Source