#include <bits/stdc++.h>
using namespace std;
long long power(long long b, long long e) {
  long long MOD = 1e9 + 9;
  if (e == 0) return 1;
  if (e % 2)
    return ((b % MOD) * power((b % MOD) * (b % MOD), (e - 1) / 2)) % MOD;
  else
    return power((b % MOD) * (b % MOD), e / 2) % MOD;
}
void dpv(vector<long long> v) {
  for (long long i = 0; i < v.size(); i++) {
    cout << v[i] << " ";
  }
  cout << '\n';
}
void dpv(vector<pair<long long, long long> > v) {
  for (long long i = 0; i < v.size(); i++) {
    cout << v[i].first << " " << v[i].second << '\n';
  }
}
void dpv(set<long long> v) {
  for (auto i : v) {
    cout << i << " ";
  }
  cout << '\n';
}
long long Logn(long long n, long long k) {
  return (n > k - 1) ? 1 + Logn(n / k, k) : 0;
}
long long max(long long a, long long b) {
  if (a > b) {
    return a;
  } else {
    return b;
  }
}
long long min(long long a, long long b) {
  if (a < b) {
    return a;
  } else {
    return b;
  }
}
void oblivious() {
  long long n;
  cin >> n;
  long long a[n];
  for (long long i = 0; i < n; i++) {
    cin >> a[i];
  }
  sort(a, a + n);
  long long z = a[n - 1];
  if (z == 1) {
    a[n - 1] = 2;
    for (long long i = 0; i < n; i++) {
      cout << a[i] << " ";
    }
  } else {
    a[n - 1] = 1;
    sort(a, a + n);
    for (long long i = 0; i < n; i++) {
      cout << a[i] << " ";
    }
  }
}
signed main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  long long t = 1;
  while (t--) {
    oblivious();
  }
  return 0;
}
