from sys import stdin
import sys

N = int(stdin.readline())

A = list(map(int,stdin.readline().split()))

A.sort()

ans = A[0]
for i in range(1,N):

    if A[i-1] != A[i]-1:
        ans += A[i]

print (ans)