学步园

#include <stdio.h>


int main(){
    int i,j,n,sum=0,x[1001]={0};
    scanf("%d",&n);
    for(i=0;i<n;i++){
        scanf("%d",&j);
        if(x[j]==0){
            x[j]=j;
            sum++;
        }
    }
    printf("%d\n",sum);
    for(i=1;i<=1000;i++){
        if(x[i]){
        printf("%d ",i);
        }
    }
   return 0;
}