n = int(input()) nums = list(map(int, input().split()))

unique_nums = sorted(set(nums)) m = len(unique_nums) print(m) print(" ".join(str(num) for num in unique_nums))

if name == "main": main()