#include <bits/stdc++.h>
using namespace std;
void solve() {
  long long int n;
  cin >> n;
  vector<long long int> v(n);
  long long int i;
  for (i = 0; i < n; i++) cin >> v[i];
  ;
  sort(v.begin(), v.end());
  ;
  if (v[n - 1] == 1)
    v[n - 1] = 2;
  else
    v[n - 1] = 1;
  sort(v.begin(), v.end());
  ;
  for (i = 0; i < n; i++) cout << v[i] << " ";
  ;
  return;
}
int main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  ;
  long long int t = 1;
  while (t--) solve();
  return 0;
}
