#include<stdio.h>
int n,fn,i,tmp,k[1001]={0};
int main(){
scanf("%d\n",&n);fn=n;
for(i=0;i<n;i++){
scanf("%d",&tmp);
if(k[tmp]==1){fn--;}
k[tmp]=1;
}
printf("%d\n",fn);
for(i=0;i<1001;i++){
if(k[i]==1)printf("%d ",i);
}
return 0;
}
统排搞定。