#include using namespace std; #ifdef _RUTHEN #include "debug.hpp" #else #define show(...) true #endif using ll = long long; #define rep(i, n) for (int i = 0; i < (n); i++) template using V = vector; #include int main() { ios::sync_with_stdio(false); cin.tie(0); int N; cin >> N; V A(N); rep(i, N) cin >> A[i]; const int M = 100000; V cnt(M + 1, 0); rep(i, N) cnt[A[i]]++; ll ans = 0; V B; for (int i = 1; i <= M; i++) { if (cnt[i] > 0) { ans += i * (cnt[i] - 1); cnt[i] = 1; B.push_back(i); } } V Bid(M + 1, -1); int N2 = B.size(); rep(i, N2) Bid[B[i]] = i; V> es; for (int d = 1; d <= M; d++) { // gcd=dと決め打ってしまう(実際にはgcdがdより大きくなる場合、コストが小さくなるだけなので最小のものを考えているときには問題ない) // lcm(a,b)=a*b/d V id; for (int j = d; j <= M; j += d) { if (cnt[j]) { id.push_back(Bid[j]); } } for (int i = 1; i < id.size(); i++) { es.push_back({B[id[0]] * B[id[i]] / d, id[0], id[i]}); } } atcoder::dsu uf(N2); sort(es.begin(), es.end()); for (auto [cost, a, b] : es) { if (!uf.same(a, b)) { uf.merge(a, b); ans += cost; } } cout << ans << '\n'; return 0; }