#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; typedef long long ll; typedef unsigned int ui; const ll mod = 1000000007; const ll INF = (ll)1000000007 * 1000000007; typedef pair P; #define stop char nyaa;cin>>nyaa; #define rep(i,n) for(int i=0;i=0;i--) #define Rep(i,sta,n) for(int i=sta;i=sta;i--) #define rep1(i,n) for(int i=1;i<=n;i++) #define per1(i,n) for(int i=n;i>=1;i--) #define Rep1(i,sta,n) for(int i=sta;i<=n;i++) typedef long double ld; typedef complex Point; const ld eps = 1e-8; const ld pi = acos(-1.0); typedef pair LP; vector prime_list(int l,int r){//[l,r]に含まれる素数表 vector li(r+1,1); for(int i=2;i<=r;i++){ if (!li[i]) continue; for(int j=2*i;j<=r;j+=i){ li[j]=0; } } vector res={}; for(int i=max(2,l);i<=r;i++){ if (li[i]) res.push_back(i); } return res; } int n,x; int a[11],dp[500000][1024]; int check(int x){ int res=0; while(x>0){ int a=x%10; res|=(1 << a); x/=10; } return res; } void solve(){ cin >> n; if (n==10){ cout << 4999999 << endl; return; } rep(i,n){ cin >> a[i]; x|=(1 << a[i]); } vector prime=prime_list(0,5000000); int m=prime.size(); rep(i,m+1){ //cout << prime[i] << endl; rep(j,1024){ dp[i][j]=-1; } } cout << m << endl; dp[0][0]=0; int ans=-1; rep(i,m){ int s=check(prime[i]); if (i!=0) dp[i+1][s]=prime[i+1]-prime[i-1]-2; else dp[2][s]=2; rep(j,1024){ if (dp[i][j]!=-1) dp[i+1][j|s]=max(dp[i][j]+prime[i+1]-prime[i],dp[i+1][j]); } //cout << ans << endl; ans=max(ans,dp[i+1][x]); } cout << ans << endl; } int main(){ ios::sync_with_stdio(false); cin.tie(0); cout << fixed << setprecision(50); solve(); }