#include <bits/stdc++.h>
using namespace std;
int p[100000];
int main() {
  int n, i;
  scanf("%d", &n);
  for (i = 0; i < n; i++) scanf("%d", p + i);
  sort(p, p + n);
  if (p[n - 1] == 1)
    p[n - 1] = 2;
  else
    p[n - 1] = 1;
  sort(p, p + n);
  for (i = 0; i < n; i++) {
    if (i) printf(" ");
    printf("%d", p[i]);
  }
  return 0;
}
