题目描述

有$n$个拳击手，第$i$个拳击手的重量是$a_i$。 他们每个人都可以在比赛前将体重改变不超过1（体重不能等于零，也就是说，它必须保持正值）。，重量始终是整数。
你需要根据人数选择最大的拳击队，使得团队中每名拳击手的重量都是唯一的。
编写一个程序，对于给定的重量$a_i$，找出团队中最大可能的拳击手数量。经过一些改变后，所有拳击手的重量不超过150001。

输入格式

第一行包含一个整数$n$($1\leq n\leq 150000$)，即拳击手的数量。第二行包含$n$个整数$a_1$，$a_2$，...，$a_n$($1\leq ai\leq 150000$)，其中$a_i$为第$i$个拳击手的重量。

输出格式

输出团队中最大可能的人数。

样例

4
3 2 4 1

4

6
1 1 1 4 4 4

5