#include <bits/stdc++.h> using namespace std; int c[1060]; int main(){ int a; cin>>a; int b,js=0; for(int i=0;i<a;i++){ cin>>b; if(c[b]==0){ js++; } c[b]=b; } cout<<js<<endl; for(int i=0;i<1060;i++){ if(c[i]!=0){ cout<<c[i]<<" "; } } return 0; }