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