#include <bits/stdc++.h>
using namespace std;
set<int> r;
stack<int> op;
stack<int> ppp;
int main() {
  int n;
  cin >> n;
  r.clear();
  for (int i = 0; i < n; i++) {
    int p;
    cin >> p;
    op.push(p);
  }
  while (op.empty() != true) {
    int ans = op.top();
    op.pop();
    if (r.find(ans) == r.end()) {
      ppp.push(ans);
    }
    r.insert(ans);
  }
  cout << r.size() << endl;
  while (ppp.empty() != true) {
    if (ppp.size() != 1)
      cout << ppp.top() << ' ';
    else
      cout << ppp.top();
    ppp.pop();
  }
  return 0;
}
