#include <bits/stdc++.h>
int main() {
  int n, A[50], B[1001], i, X, C[50], t = 0;
  scanf("%d", &n);
  for (i = 0; i <= 1000; i++) {
    B[i] = 0;
  }
  for (i = 0; i < n; i++) {
    scanf("%d", &A[i]);
    X = A[i];
    B[X] += 1;
  }
  for (i = 0; i < n; i++) {
    X = A[i];
    if (B[X] == 1) {
      C[t] = X;
      t++;
    } else {
      B[X] -= 1;
    }
  }
  printf("%d\n", t);
  for (i = 0; i < t; i++) {
    if (i == t - 1) {
      printf("%d\n", C[i]);
    } else {
      printf("%d ", C[i]);
    }
  }
  return 0;
}
