from sys import stdin
N, *A = map(int, stdin.read().split())

a = sorted(A)
a = list(range(3)) + a
dr = [False] * 36

for elem in A:
    dr[elem] = True

res = 0
for elem in A:
    if dr[elem-1]:
        pass
    else:
        res += elem

print(res)