#include <stdio.h>
int main()
{
    int n,s,p,u,j=0,a,b,c,d;
    scanf("%d",&n);
    int i[n],t[1000];
    for(s=0;s<1000;s++)
    {
        t[s]=0;
    }
    
    while(n>0)
    {
        scanf("%d",&p);
        if(t[p]==0)
        {
            i[j]=p;
            j++;
            t[p]=1;
        }
        n--;
    }
	for(a=0;a<j-1;a++)
	{
		c=a;
		for(b=a+1;b<j;b++)
		{
			if(i[c]>i[b])
			{
				c=b;
			}
			d=i[a];
			i[a]=i[c];
			i[c]=d;
		}
	 } 
	  printf("%d\n",j);
    for(a=0;a<j-1;a++)
    printf("%d ",i[a]);
    printf("%d",i[j-1]);
    return 0;
}