from collections import defaultdict

N = int(input())
*A, = map(int, input().split())
A.sort()

S = set()
dp = defaultdict(int)
for a in A:
    if a-1 in S:
        dp[a+1] = 1 + dp[a-1]
    S.add(a)
print(sum(dp.values()) + N)