int main(){
    int arr[1001]={0};//因为输入范围是1~1000
    int i=getchar();//把第一行输入的值消掉，因为这个解法不需要用到
    while(~scanf(" %d",&i))//依次输入
        arr[i]=i;//这里是关键，去重和排序都解决了
    for(int i=0;i<1001;i++)
        if(arr[i])
            printf("%d ",arr[i]);//非0 就输出
    return 0;
}