#include<iostream> using namespace std; int main(){ int n; cin>>n; int t[100001]={0},a=0; int tmp; for(int i=0;i<n;i++){ cin>>tmp; t[tmp]++; if(t[tmp]==1){ a++; } } cout<<a<<endl; for(int i=0;i<10001;i++){ if(t[i]!=0){ cout<<i<<" "; } } return 0; }