#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef long double ld;
#define REP(i, n) for (int i = 0; i < (n); ++i)
#define REPR(i, n) for (int i = n - 1; i >= 0; --i)
#define FOR(i, m, n) for (int i = m; i < n; ++i)
#define FORR(i, m, n) for (int i = m; i >= n; --i)
#define ALL(v) (v).begin(),(v).end()
template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return 1; } return 0; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return 1; } return 0; }
const ll INF=1LL<<60;
const int inf=(1<<30)-1;
const int mod=1e9+7;
int dx[8]={1,0,-1,0,-1,-1,1,1};
int dy[8]={0,1,0,-1,-1,1,-1,1};
vector<int> f(int n){
    vector<int> res(10);
    while(n){
        res[n%10]++;
        n/=10;
    }
    return res;
}
int main(){
    cin.tie(0);
    ios::sync_with_stdio(false);
    const int pmx=5000000;
    vector<bool> p(pmx+1,true);
    p[0]=false,p[1]=false;
    for(int i=2;i*i<=pmx;i++){
        if(p[i]){
            for(int j=2;j*i<=pmx;j++){
                p[i*j]=false;
            }
        }
    }
    int n;cin >> n;
    vector<bool> b(10);
    REP(i,n){
        int a;cin >> a;
        b[a]=true;
    }
    int l=-1,r=pmx;
    while(r-l>1){
        int mid=(l+r)/2;
        vector<int> c(10);
        bool ok=false;
        for(int i=1;i<=pmx;i++){
            if(p[i]){
                vector<int> u=f(i);
                REP(j,10){
                    c[j]+=u[j];
                }
            }
            if(i>mid){
                bool tf=true;
                REP(j,10){
                    if((b[j]^(c[j]>0))) tf=false;
                }
                if(tf) ok=true;
                if(p[i-mid]){
                    vector<int> v=f(i-mid);
                    REP(j,10){
                        c[j]-=v[j];
                    }
                }
            }
        }
        if(ok) l=mid;
        else r=mid;
    }
    cout << l << endl;
}