#include <stdio.h>

int main() {
	int n, t, i;
	int count = 0;
	int a[1001] = {0};
	scanf("%d", &n);
	for (i = 0; i < n; i++) {
		scanf("%d", &t);
		if (a[t] == 0) {
			a[t] = t;
			count++;
		}
	}
	printf("%d\n", count);
	for (i = 0; i < 1001; i++) {
		if (a[i] != 0)
			printf("%d", a[i]);
	}
	return 0;
}