import sys
input = sys.stdin.readline

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

A.sort()

ANS=0

for i in range(N):
    if A[i-1]!=A[i]-1:
        ANS+=A[i]

print(ANS)