n = gets.to_i # 持っているカードの枚数
inputs = gets.split(' ').map(&:to_i)

sorted = inputs.sort
total = 0

total += sorted.first if sorted.size == 1

0.upto(n - 1).each do |i|
  break if i + 1 == n

  total += sorted[i] if i.zero?
  next if sorted[i + 1] - sorted[i] == 1

  total += sorted[i + 1]
end

puts total