#include <bits/stdc++.h>
using namespace std;
int main() {
  int wielkosc;
  cin >> wielkosc;
  int tablica[wielkosc];
  int i;
  for (i = 0; i < wielkosc; i++) cin >> tablica[i];
  vector<int> wektor(tablica, tablica + wielkosc);
  sort(wektor.begin(), wektor.end());
  if (wektor[wielkosc - 1] == 1) {
    for (i = 0; i < (wielkosc - 1); i++) cout << wektor[i] << " ";
    cout << "2";
  } else {
    cout << "1 ";
    for (i = 0; i < (wielkosc - 1); i++) cout << wektor[i] << " ";
  }
  return 0;
}
