#include<stdio.h>
int main()
{
	int N;
	scanf("%d",&N);
	int a[110]={0};
	for(int i=1;i<=N;i++)
	{
		scanf("%d",&a[i]);//输入
	}
	int b[1001]={0};
	int count=0;
	for(int i=1;i<=N;i++)
	{
		if(b[a[i]]==0)//去重
			{	count++;
				b[a[i]]=a[i];
			}
	}
	printf("%d\n",count);
	for(int i=1;i<=1001;i++)
	{
		if(b[i]>0)
			printf("%d ",b[i]);//输出
	}
}