#include <stdio.h>
int main() {
int n;
int count[1001] = {0};
scanf("%d", &n);
int input_num[n];
for ( int i = 0; i < n; i++ ) {
scanf("%d", &input_num[i]);
}
for ( int i = 0; i < n; i++ ) {
if ( count[input_num[i]] != 1) {
count[input_num[i]] = 1;
}
}
int result_num;
for ( int i = 0; i< 1001; i++ ) {
if (count[i] == 1) {
result_num++;
}
}
printf("%d\n", result_num);
for ( int i = 0; i< 1001; i++ ) {
if (count[i] == 1) {
printf("%d ", i);
}
}
return 0;
}