#include <stdio.h>

int main()
{
    int n,num[1001]={0},temp,sum=0;
    scanf("%d",&n);
    for(int i=1;i<=n;i++){
        scanf("%d",&temp);
        if(num[temp]==0) {
            num[temp]++;
            sum+=1;
        }
        else continue;
    }
    printf("%d\n",sum);
    for(int i=1;i<=1001;i++)
        if(num[i]!=0) printf("%d ",i);
    return 0;
}

测试数据过了还是全WA，求解