n = int(input())
A = list(map(int, input().split()))
l = [0]*36
for i in A:
	l[i] += 1
ans = 0
for i in range(1, 36):
	if l[i-1] == 0:
		ans += i * l[i]
print(ans)