n = int(input())
a = list(map(int, input().split()))
ans = 0
for i in a:
	if i - 1 in a: continue
	ans += i
print(ans)