#include <bits/stdc++.h>
using namespace std;
signed main() {
    cin.tie(0)->sync_with_stdio(0);
    vector<int> cnt(21); int n, a;
    int b[21][21];
    for(int i=1;i<21;i++)
    {
        for(int j=1;j<21;j++)
        {
            b[i][j]=__gcd(i,j);
        }
    }
    cin >> n;
    for(int i=0;i<n;i++) {
        cin >> a;
        cnt[a]++;
    }
    vector<int>v={1,11,13,17,19,7,14};
    vector<int>res;
    for(int&i:v)
    {
        if(cnt[i])
        {
            res.push_back(i);
        }
    }
    int cnt1=0;
    cnt1=8*max(cnt[8]-1,0)+16*max(cnt[16]-1,0);
    if(cnt[8]>0&&cnt[16]>0)
    {
        cnt1+=8;
    }
    cnt[4]=max(cnt[4],1*(cnt[8]+cnt[16]>0));
    cnt[8]=cnt[16]=0;
    vector<int>k;
    if(cnt[2])k.push_back(2);
    if(cnt[3])k.push_back(3);
    if(cnt[5])k.push_back(5);
    int j=res.size()-1;
    for(int i=1;i<=20;i++)
    {
        cnt1+=i*max(cnt[i]-1ll,0ll);
        if(cnt[i]&&i!=1&&i!=11&&i!=13&&i!=17&&i!=19&&i!=7&&i!=14)
        {
            res.push_back(i);
        }
    }
    if(res.size()-j==12)
    {
        cout<<75<<'\n';
        return 0;
    }
    int ans=0;
    for(int i=1;i<res.size();i++)
    {
        ans+=b[res[i]][res[i-1]];
    }
    sort(res.begin()+j,res.end());
    do
    {
        int ans1=0;
        for(int l=1;l<res.size();l++)
        {
            ans1+=b[res[l]][res[l-1]];
        }ans=max(ans,ans1);
    }while(next_permutation(res.begin()+j,res.end()));
    cout<<ans+cnt1<<'\n';
    return 0;
}