#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\n",num);
        for(i=0;i<1005;i++)
        if(a[i])
        printf("%d ",i);
        printf("\n");
        //system("pause");
        return 0;
    }