def main():
    input()
    A = sorted(map(int, input().split()))
    ans = A[0]
    for i in range(1, len(A)):
        if A[i-1] + 1 != A[i]:
            ans += A[i]
    print(ans)


if __name__ == '__main__':
    main()