#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;
    for(int i=1;i<=20;i++)cnt1+=i*max(cnt[i]-1,0);
    if(cnt[16]>0&&cnt[8]>0)
    {
        cnt1+=8;
        cnt[8]+=cnt[16];
        cnt[16]=0;
    }
    if(cnt[8]>0&&cnt[4]>0)
    {
        cnt1+=4;
        cnt[4]+=cnt[8];
        cnt[8]=0;
    }
    int j=res.size()-1;
    for(int i=1;i<=20;i++)
    {
        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+cnt1<<'\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;
}