n = gets.to_i
a = gets.split(" ").map(&:to_i).sort!

ans = 0
a.each.with_index{|v, i|
	if i == 0
		ans += v
	else
		if a[i-1] + 1 != v
			ans += v
		end
	end
}
puts ans