N = int(input())
A = list(map(int,input().split()))
dat = [0] * 36
for i in range(N):
    dat[A[i]] += 1
sum = 0
for i in range(3,36):
    if dat[i] != 0 and dat[i-1] == 0:
        sum += i
print(sum)