using System;

public class Hello
{
    static void Main()
    {
        var n = int.Parse(Console.ReadLine().Trim());
        string[] line = Console.ReadLine().Trim().Split(' ');
        var a = Array.ConvertAll(line, int.Parse);
        getAns(n, a);
    }
    static void getAns(int n, int[] a)
    {
        var t = new bool[40];
        for (int i = 0; i < n; i++) t[a[i]] = true;
        var ans = 0;
        for (int i = 1; i < 40; i++)
        {
            if (t[i] && !t[i - 1]) ans += i;
        }
        Console.WriteLine(ans);
    }
}