n = io.read("*n")
t = {}
for i = 1, n do
  a = io.read("*n")
  t[a] = true
end
v = 0
for z, _u in pairs(t) do
  if not t[z - 1] then v = v + z end
end
print(v)