i = 1 num_list = [] N = int(input()) num_list = list(map(int, input().split())) num_list.sort() while i < N: if num_list[i] == num_list[i-1]: num_list.pop(i) i -= 1 N -= 1 i += 1 print(len(num_list)) for num in num_list: print(num, end='\t')