fun main() {
val N=readLine()!!.toInt()
val list = readLine()!!.split(" ").map{it.toInt()}
list.sorted()
var ans=list[0];
for(i in 1 until N){
if(list[i]-1>list[i-1]){
ans+=list[i]
}
}
println(ans)
}
ZnVuIG1haW4oKSB7Cgl2YWwgTj1yZWFkTGluZSgpISEudG9JbnQoKQoKCXZhbCBsaXN0ID0gcmVhZExpbmUoKSEhLnNwbGl0KCIgIikubWFwe2l0LnRvSW50KCl9CglsaXN0LnNvcnRlZCgpCgkKCXZhciBhbnM9bGlzdFswXTsKCQoJZm9yKGkgaW4gMSB1bnRpbCBOKXsKCQlpZihsaXN0W2ldLTE+bGlzdFtpLTFdKXsKCQkJYW5zKz1saXN0W2ldCgkJfQoJfQoJCglwcmludGxuKGFucykKICAgIAp9