#include <bits/stdc++.h>
int n;
int a[100001];
int cmp(const void *a, const void *b) { return *(int *)a - *(int *)b; }
int main() {
  int i;
  scanf("%d", &n);
  for (i = 1; i <= n; i++) scanf("%d", &a[i]);
  qsort(a + 1, n, sizeof(int), cmp);
  a[0] = 1;
  for (i = 0; i < n - 1; i++) printf("%d ", a[i]);
  if (a[n] == 1) a[n - 1] = 2;
  printf("%d\n", a[n - 1]);
  return 0;
}
