#include <stdio.h>
//#include <stdlib.h>
int main()
{
int N;
scanf("%d",&N);
int i,num,a[1005]={0};
num=0;
while(N--)
{
scanf("%d",&i);
if(a[i]==0)
{
a[i]=1;
num++;
}
}
printf("%d
",num);
for(i=0;i<1005;i++)
if(a[i])
printf("%d ",i);
printf("
");
//system("pause");
return 0;
}