u=input( ) t=list(map(int,input().split(" "))) s=[] t.sort() if t[0]<t[1]: s.append(t[0]) for i in range(1,len(t)): if t[i]>t[i-1]: s.append(t[i]) print(len(s)) print(" ".join(map(str,s)))
