#include <bits/stdc++.h>
using namespace std;
long long cnt[5002];
long long n;
long long arr[100002];
vector<long long> ans;
int main() {
  long long i, j, ii, jj, ind;
  long long last = 5001;
  memset(cnt, 0, sizeof(cnt));
  scanf("%I64d", &n);
  for (i = 1; i <= n; i++) {
    scanf("%I64d", &arr[i]);
    cnt[arr[i]]++;
  }
  for (i = 1; i <= 5000; i++) {
    if (cnt[i] > 0) {
      last = i;
      ans.push_back(i);
    }
  }
  for (i = last - 1; i >= 1; i--) {
    if (cnt[i] > 1) {
      ans.push_back(i);
    }
  }
  cout << ans.size() << endl;
  for (i = 0; i + 1 < ans.size(); i++) {
    cout << ans[i] << " ";
  }
  cout << ans.back() << endl;
}
