#include using namespace std; using ll = long long; using VI = vector; using VL = vector; using VS = vector; using VB = vector; using VVI = vector; using VVL = vector; using PII = std::pair; using PLL = std::pair; using TI3 = std::tuple; using TI4 = std::tuple; using TL3 = std::tuple; using TL4 = std::tuple; #define rep(i, n) for (int i = 0; i < (int)(n); i++) #define repr(i, n) for (int i = (int)(n)-1; i >= 0; i--) #define rep2(i, s, n) for (int i = (s); i < (int)(n); i++) #define rep3(i, s, n, d) for (int i = (s); i < (int)(n); i += (d)) #define allpt(v) (v).begin(), (v).end() #define allpt_c(v) (v).cbegin(), (v).cend() #define allpt_r(v) (v).rbegin(), (v).rend() const int mod1 = 1e9 + 7, mod2 = 998244353, mod3 = 1e9 + 9; const int mod = mod1; const ll inf = 1e18; const string wsp = " "; const string tb = "\t"; const string rt = "\n"; template void show1dvec(const vector &v) { if (v.size() == 0) return; int n = v.size() - 1; rep(i, n) cout << v[i] << wsp; cout << v[n] << rt; return; } template void show2dvec(const vector> &v) { int n = v.size(); rep(i, n) show1dvec(v[i]); } template void show1dpair(const vector> &v) { int n = v.size(); rep(i, n) cout << v[i].first << wsp << v[i].second << rt; return; } template void pairzip(const vector> &v, vector &t, vector &s) { int n = v.size(); rep(i, n) { t.push_back(v[i].first); s.push_back(v[i].second); } return; } template void maxvec(vector &v) { T s = v[0]; int n = v.size(); rep(i, n - 1) { if (s > v[i + 1]) { v[i + 1] = s; } s = v[i + 1]; } } template bool myfind(T t, S s) { return find(t.cbegin(), t.cend(), s) != t.cend(); } bool check(int y, int x, int h, int w) { return 0 <= y && y < h && 0 <= x && x < w; } template vector cumsum(const vector &v) { T s = 0; vector ret; rep(i, v.size()) { s += v[i]; s %= mod; ret.emplace_back(s); } return ret; } bool iskadomatsu(int a, int b, int c) { return (a != b && b != c && c != a) && ((a > b && b < c) || (a < b && b > c)); } VS split(string s, char c) { VS ret; string part; s += c; rep(i, s.length()) { if (s[i] == c) { ret.emplace_back(part); part = ""; } else if (s[i] != c) { part += s[i]; } } return ret; } string removezero(string &s) { string ret; for (auto z : s) if (z != '0') ret += z; return ret; } ll sumdigit(ll x) { ll ans{0}; while (x > 0) { ans += x % 10; x /= 10; } return ans; } template ll pow_mod(T p, S q, R mod = 1ll) { ll ret = 1, r = p; while (q) { if (q % 2) ret *= r, ret %= mod; r = (r * r) % mod, q /= 2; } return ret % mod; } template ll pow_no_mod(T p, S q) { ll ret = 1, r = p; while (q) { if (q % 2) ret *= r; r = (r * r), q /= 2; } return ret; } void make_frac_tables(VL &frac_list, VL &frac_inv_list) { rep(i, frac_list.size() - 1) { frac_list[i + 1] *= frac_list[i] * (i + 1); frac_list[i + 1] %= mod; frac_inv_list[i + 1] *= frac_inv_list[i] * pow_mod(i + 1, mod - 2, mod); frac_inv_list[i + 1] %= mod; } } ll comb(int a, int b, const VL &frac_list, const VL &frac_inv_list) { if (a < b) return 0; if (b < 0) return 0; ll ret = frac_list[a]; ret *= frac_inv_list[b]; ret %= mod; ret *= frac_inv_list[a - b]; ret %= mod; return ret; } void shave(vector &v, int n) { vector x, y; int n_sq = sqrt(n) + 1; for (int i = 3; i < n + 1; i += 2) { x.emplace_back(i); } for (int i = 3; i < n_sq; i += 2) { for (auto itr = x.begin(); itr != x.end(); itr++) { if (*itr == i || *itr % i != 0) y.emplace_back(*itr); } x.clear(); x = y; y.clear(); } if (n >= 2) v.emplace_back(2); for (auto itr = x.begin(); itr != x.end(); itr++) { v.emplace_back(*itr); } } int main() { cin.tie(0); ios::sync_with_stdio(false); #ifdef DEBUG cout << "DEBUG MODE" << endl; ifstream in("input.txt"); //for debug cin.rdbuf(in.rdbuf()); //for debug #endif int n, m, x, y, z, w, l, r, ans{-1}; constexpr int range = 5000000; VI primes, primes_ok; shave(primes, range); VI digits(10); cin >> n; VI use_digit(10, 0); rep(i, n) { cin >> x; use_digit[x]++; } primes.insert(primes.begin(), 0); primes.emplace_back(range + 1); m = primes.size(); primes_ok.resize(m); fill(allpt(primes_ok), 0); fill(allpt(digits), 0); l = 1; rep2(i, 1, m - 1) { x = primes[i]; y = z = w = 0; while (x > 0) { digits[x % 10] = 1; x /= 10; y++; } // show1dvec(use_digit); // show1dvec(digits); // cout << rt; rep(i, 10) { z += (use_digit[i] == digits[i]); w += (use_digit[i] == 0 && digits[i] == 1); } r = primes[i + 1] - 1; if (z == 10) { primes_ok[i] = 1; ans = max(ans, r - l); // cout << primes[i] << rt; } else if (w) { fill(allpt(digits), 0); l = primes[i] + 1; } } cout << ans << rt; return 0; }