n = int(input())
an = (sorted(map(int,input().split())))
result = [an[0]]
for i in range(1,len(an)):
    if an[i-1]!=an[i]-1:
        result.append(an[i])
print(sum(result))