import sequtils import strutils var N: int = stdin.readLine().parseInt() var A = map(stdin.readLine().split(" "), proc(x: string): int = x.parseInt()) var answer: int = 0 for a in A: if not A.contains(a - 1): answer = answer + a echo(answer)