n = int(input())
A = list(map(int, input().split()))


A = sorted(A)
ans = [A[0]]
for i in range(1, n):
    if A[i-1] != A[i] - 1:
        ans.append(A[i])
print(sum(ans))