该比赛已结束，您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

问题描述

小明召集大家一起来玩游戏！

小明总共召集了 $n$ 为玩家，每位玩家有一个专属分数 $a_i$，现在需要将 $n$ 为玩家进行分组，分组之后每个组将获得一个小组专属分数 $b_i$。小组专属分数为小组内每位玩家专属分数组成的集合中没有出现过的最小的自然数。比如第一组中每个人分数为 1,2，那么小组分数为 0，第二组中每个人的分数为 0,1,2，那么小组分数为 3。

为了提高胜率，肯定要让 $\sum b_i$ 最大，请输出最大的 $\sum b_i$ 。

输入格式

第一行包含一个整数 $n$，表示 $n$ 为玩家。

第二行输入 $n$ 个非负整数，表示 $a_i$。

输出格式

输出一行表示最大的 $\sum b_i$

5
0 0 1 1 2

5

样例解释

样例可以分成0,1和0,1,2两个小组，那么两个小组得分分别为2和3

数据范围

全部测试点下：$1 \leq n \leq 10^5,0 \leq a_i \leq 1000$