N = int(input())
A = list(map(int,input().split()))

C = [0] * 36

for a in A:
    C[a] = 1
    
ans = 0
for i in range(1, len(C)):
    if C[i - 1] == 0:
        ans += C[i] * i
        
print(ans)