#include <bits/stdc++.h>
using namespace std;
int main(int argc, char** argv) {
  int n;
  cin >> n;
  int contador[1001] = {0};
  int vetor[n + 1];
  vector<int> res;
  for (int i = 0; i < n; i++) cin >> vetor[i];
  for (int i = n - 1; i >= 0; i--) {
    if (contador[vetor[i]]) continue;
    contador[vetor[i]] = 1;
    res.push_back(vetor[i]);
  }
  int t = (int)res.size();
  cout << t << endl;
  for (int i = t - 1; i > 0; i--) cout << res[i] << " ";
  cout << res[0] << endl;
  return 0;
}
