N = int(input())
an = list(map(int,input().split()))
an = sorted(an)
result = an[0]
for i in range(1,len(an)):
    if an[i] - 1 == an[i-1]:
        continue
    else:
        result += an[i]
print(result)