#include<bits/stdc++.h>
using namespace std; 
int n,x,s=0,a[1002];
int main(){
  //freopen("b.in","r",stdin);
  //freopen("b.out","w",stdout);
  cin>>n;
  for(int i=1;i<=n;i++){
    cin>>x;
    a[x]=1;
    }
  cout<<s;
  for(int i=1;i<=1000;i++){
    if(a[i]==1){
      s++;
    }
  }
  cout<<s<<endl;
  for(int i=1;i<=1000;i++){
    if(a[i]==1){
      cout<<i<<' ';
    }
  }
  //fclose(stdin);fclose(stdout);
  return 0;
}

我的样例输出长这样：

08

15 20 32 40 67 89 300 400