N = int(input())
a = list(map(int, input().split()))
a = sorted(a)

ans = a[0]

if len(a) > 1:
    for i in range(1, len(a)):
        if a[i] - 1 != a[i - 1]:
            ans += a[i]

print(ans)