結果
| 問題 | 
                            No.1917 LCMST
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2025-07-15 18:58:14 | 
| 言語 | C++23  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 148 ms / 4,000 ms | 
| コード長 | 1,936 bytes | 
| コンパイル時間 | 3,552 ms | 
| コンパイル使用メモリ | 291,744 KB | 
| 実行使用メモリ | 17,564 KB | 
| 最終ジャッジ日時 | 2025-07-15 18:58:25 | 
| 合計ジャッジ時間 | 9,641 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge2 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 42 | 
ソースコード
#include <atcoder/dsu.hpp>
#include <bits/stdc++.h>
#include <cassert>
using namespace std;
using ll = long long;
using pii = pair<int, int>;
using pll = pair<ll, ll>;
using vi = vector<int>;
using vl = vector<ll>;
#define rep3(i, a, b, c) for (ll i = (a); i < (b); i += (c))
#define rep2(i, a, b) rep3(i, a, b, 1)
#define rep1(i, n) rep2(i, 0, n)
#define rep0(n) rep1(aaaaa, n)
#define ov4(a, b, c, d, name, ...) name
#define rep(...) ov4(__VA_ARGS__, rep3, rep2, rep1, rep0)(__VA_ARGS__)
#define per(i, a, b) for (ll i = (a) - 1; i >= (b); i--)
#define fore(e, v) for (auto &&e : v)
#define all(a) begin(a), end(a)
#define sz(a) (int)(size(a))
#define lb(v, x) (lower_bound(all(v), x) - begin(v))
#define eb emplace_back
template <typename T, typename S> bool chmin(T &a, const S &b) {
  return a > b ? a = b, 1 : 0;
}
template <typename T, typename S> bool chmax(T &a, const S &b) {
  return a < b ? a = b, 1 : 0;
}
const int INF = 1e9 + 100;
const ll INFL = 3e18 + 100;
#define i128 __int128_t
struct _ {
  _() { cin.tie(0)->sync_with_stdio(0), cout.tie(0); }
} __;
int main() {
  int N;
  cin >> N;
  const int MAX_A = 100005;
  vl A(MAX_A);
  rep(N) {
    int t;
    cin >> t;
    A[t] += 1;
  }
  ll ans = 0;
  rep(i, 1, MAX_A) {
    if (A[i]) {
      rep(j, i * 2, MAX_A, i) {
        ans += A[j] * j;
        A[j] = 0;
      }
      if (A[i] > 1) {
        ans += (A[i] - 1) * i;
        A[i] = 1;
      }
    }
  }
  // cpp_dump(ans);
  atcoder::dsu UF(MAX_A);
  using al3 = array<ll, 3>;
  vector<al3> E;
  E.reserve(MAX_A * 20);
  per(g, MAX_A, 1) {
    ll m = -1;
    rep(i, g, MAX_A, g) {
      if (A[i]) {
        if (m == -1) {
          m = i;
        } else {
          // assert(gcd(m/g,s/g)==1);
          E.push_back(al3{lcm(m, i), i, m});
        }
      }
    }
  }
  sort(all(E));
  for (auto [c, u, v] : E) {
    if (!UF.same(u, v)) {
      ans += c;
      UF.merge(u, v);
    }
  }
  cout << ans << '\n';
}