n = int(input())
A = list(map(int, input().split()))
A.sort()
ans = A[0]
for i in range(1, n):
    if A[i] == A[i - 1] + 1:
        continue
    ans += A[i]
print(ans)