#include <bits/stdc++.h>
using namespace std;
int arr[100000];
int main() {
  int N;
  cin >> N;
  for (int i = (0); i < (N); i++) scanf("%d", &arr[i]);
  int mini = 0;
  for (int i = (0); i < (N); i++) {
    if (arr[mini] > arr[i]) mini = i;
  }
  int maxi = 0;
  for (int i = (0); i < (N); i++) {
    if (arr[i] > arr[maxi]) {
      maxi = i;
    }
  }
  if (arr[maxi] == 1)
    arr[maxi] = 2;
  else
    arr[maxi] = 1;
  sort(arr, arr + N);
  for (int i = (0); i < (N); i++) {
    if (i > 0) printf(" ");
    printf("%d", arr[i]);
  }
  cout << endl;
}
