#include <stdio.h>

int main()
{
	int n,i,j;
	scanf("%d",&n);              //读入n，有几个数 
	int a[n];                     
    for(i=0;i<n;i++)
    {
    	scanf("%d",&a[i]);     //把数据装入数组中 
	}
	for(i=0;i<j-1;i++)         //把所有相同的数在后面出现的归0 
	{
		if(a[i]!=0)
		{
			for(j=i+1;j<n;j++)
		{
			if(a[j]==a[i])
			{
				a[j]=0;
			}
		}
		} 
	}
	int temp;
	for(i=0;i<n-1;i++)
	{
		for(j=0;j<n-1-i;j++)
		{
			if(a[j]>a[j+1])
			{
				temp=a[j];
				a[j]=a[j+1];
				a[j+1]=temp;
			}
		}
	} 
	int cnt=0;
	for(i=0;i<n;i++)
	{
		if(a[i]!=0)
		{
		 cnt++;
		}
	}
	printf("%d\n",cnt);
	for(i=0;i<10;i++)
	{
		if(a[i]!=0)
		{
			printf("%d ",a[i]);
		}
	}
	return 0;
}