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