#include <bits/stdc++.h>
int count[5010];
int main() {
  int i;
  for (i = 0; i < 5010; i++) {
    count[i] = 0;
  }
  int m;
  scanf("%d", &m);
  for (i = 0; i < m; i++) {
    int b;
    scanf("%d", &b);
    count[b]++;
  }
  int flag = 0;
  for (i = 0; i < 5010; i++) {
    if (count[i] > 1) {
      flag = 1;
      break;
    }
  }
  if (flag == 0) {
    printf("%d\n", m);
    for (i = 5001; i >= 1; i--) {
      if (count[i] == 1) printf("%d ", i);
    }
  } else {
    int total = 0;
    int max = 0;
    for (i = 1; i < 5010; i++) {
      if (count[i] >= 1) {
        if (i > max) max = i;
      }
    }
    int ans[200000];
    for (i = 1; i < 5010; i++) {
      if (count[i] >= 1) {
        ans[total] = i;
        total++;
        count[i]--;
      }
    }
    count[max] = 0;
    for (i = 5010; i > 0; i--) {
      if (count[i] >= 1) {
        ans[total] = i;
        total++;
      }
    }
    printf("%d\n", total);
    for (i = 0; i < total; i++) printf("%d ", ans[i]);
  }
  return 0;
}
