#include <bits/stdc++.h>
using namespace std;
int k[1000];
int main() {
  int n;
  cin >> n;
  int a[n];
  vector<int> ans;
  for (int i = 1; i <= n; i++) {
    cin >> a[i];
  }
  for (int i = n; i >= 1; i--) {
    if (k[a[i]] == 0) {
      ans.push_back(a[i]);
      k[a[i]] = 1;
    }
  }
  reverse(ans.begin(), ans.end());
  cout << ans.size() << endl;
  for (int i = 0; i < ans.size(); i++) {
    cout << ans[i] << ' ';
  }
}
