#include <bits/stdc++.h>
using namespace std;
long long int POW_(long long int n, long long int p);
long long int noOfDivisor(long long int n);
long long int baseChange(long long int n, long long int b);
long long int largestPowerOfAPrimeInFactorial(long long int n, long long int p);
queue<long long int> v;
map<long long int, bool> m;
void printQ() {
  long long int k;
  if (!v.empty()) {
    k = v.front();
    v.pop();
    printQ();
    printf("%I64d ", k);
  }
  return;
}
int main() {
  int n, k;
  long long int tmp;
  scanf("%d %d", &n, &k);
  for (int i = 0; i < n; i++) {
    scanf("%lld", &tmp);
    if (v.size() < k) {
      if (m[tmp] == 0) {
        v.push(tmp);
        m[tmp] = true;
      }
    } else {
      if (m[tmp] == 0) {
        long long int f = v.front();
        v.pop();
        m[f] = false;
        v.push(tmp);
        m[tmp] = true;
      }
    }
  }
  printf("%d\n", v.size());
  printQ();
  printf("\n");
  return 0;
}
long long int POW_(long long int n, long long int p) {
  long long int tmp = n;
  for (int i = 0; i < p - 1; i++) {
    tmp *= n;
  }
  return tmp;
}
long long int noOfDivisor(long long int n) {
  long long int noOfDiv = 1, p = 0;
  while (n % 2 == 0) {
    n /= 2;
    p++;
  }
  noOfDiv *= (p + 1);
  for (long long int i = 3; i * i <= n; i = i + 2) {
    p = 0;
    while (n % i == 0) {
      n /= i;
      p++;
    }
    noOfDiv *= (p + 1);
  }
  if (n > 1) noOfDiv *= 2;
  return noOfDiv;
}
long long int baseChange(long long int n, long long int b) {
  long long int tmp = 0, x, i = 1;
  while (n) {
    x = n % b;
    n /= 2;
    tmp += x * i;
    i *= 10;
  }
  return tmp;
}
long long int largestPowerOfAPrimeInFactorial(long long int n,
                                              long long int p) {
  long long int tmp = p;
  long long int ans = 0;
  while (tmp <= n) {
    ans += n / tmp;
    tmp *= p;
  }
  return ans;
}
