Problem: [Æsir - CHAOS](https://soundcloud.com/kivawu/aesir-chaos)

[Æsir - V.](https://soundcloud.com/kivawu/aesir-v)

"Everything has been planned out. No more hidden concerns. The condition of Cytus is also perfect.

The time right now...... 00:01:12......

It's time."

The emotion samples are now sufficient. After almost 3 years, it's time for Ivy to awake her bonded sister, Vanessa.

The system inside A.R.C.'s Library core can be considered as an undirected graph with infinite number of processing nodes, numbered with all positive integers (1, 2, 3, …). The node with a number x (x > 1), is directly connected with a node with number (x)/(f(x)), with f(x) being the lowest prime divisor of x.

Vanessa's mind is divided into n fragments. Due to more than 500 years of coma, the fragments have been scattered: the i-th fragment is now located at the node with a number k_i! (a factorial of k_i).

To maximize the chance of successful awakening, Ivy decides to place the samples in a node P, so that the total length of paths from each fragment to P is smallest possible. If there are multiple fragments located at the same node, the path from that node to P needs to be counted multiple times.

In the world of zeros and ones, such a requirement is very simple for Ivy. Not longer than a second later, she has already figured out such a node.

But for a mere human like you, is this still possible?

For simplicity, please answer the minimal sum of paths' lengths from every fragment to the emotion samples' assembly node P.

Input

The first line contains an integer n (1 ≤ n ≤ 10^6) — number of fragments of Vanessa's mind.

The second line contains n integers: k_1, k_2, …, k_n (0 ≤ k_i ≤ 5000), denoting the nodes where fragments of Vanessa's mind are located: the i-th fragment is at the node with a number k_i!.

Output

Print a single integer, denoting the minimal sum of path from every fragment to the node with the emotion samples (a.k.a. node P).

As a reminder, if there are multiple fragments at the same node, the distance from that node to P needs to be counted multiple times as well.

Examples

Input


3
2 1 4


Output


5


Input


4
3 1 4 4


Output


6


Input


4
3 1 4 1


Output


6


Input


5
3 1 4 1 5


Output


11

Note

Considering the first 24 nodes of the system, the node network will look as follows (the nodes 1!, 2!, 3!, 4! are drawn bold):

<image>

For the first example, Ivy will place the emotion samples at the node 1. From here:

  * The distance from Vanessa's first fragment to the node 1 is 1. 
  * The distance from Vanessa's second fragment to the node 1 is 0. 
  * The distance from Vanessa's third fragment to the node 1 is 4. 



The total length is 5.

For the second example, the assembly node will be 6. From here:

  * The distance from Vanessa's first fragment to the node 6 is 0. 
  * The distance from Vanessa's second fragment to the node 6 is 2. 
  * The distance from Vanessa's third fragment to the node 6 is 2. 
  * The distance from Vanessa's fourth fragment to the node 6 is again 2. 



The total path length is 6.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
vector<int> least = {0, 1};
vector<int> primes;
int precalculated = 1;
void RunLinearSieve(int n) {
  n = max(n, 1);
  least.assign(n + 1, 0);
  primes.clear();
  for (int i = 2; i <= n; i++) {
    if (least[i] == 0) {
      least[i] = i;
      primes.push_back(i);
    }
    for (int x : primes) {
      if (x > least[i] || i * x > n) {
        break;
      }
      least[i * x] = x;
    }
  }
  precalculated = n;
}
template <typename T>
void debug_out(T t) {
  cerr << t;
}
template <typename A, typename B>
void debug_out(pair<A, B> u) {
  cerr << "(" << u.first << " " << u.second << ")";
}
template <typename T>
void debug_out(vector<T> t) {
  int sz = t.size();
  for (int i = 0; i < sz; i++) {
    debug_out(t[i]);
    if (i != sz - 1) cerr << ", ";
  }
}
template <typename T>
void debug_out(vector<vector<T>> t) {
  int sz = t.size();
  for (int i = 0; i < sz; i++) {
    debug_out(t[i]);
    if (i != sz - 1) cerr << endl;
  }
}
template <typename Head, typename... Tail>
void debug_out(Head H, Tail... T) {
  debug_out(H);
  cerr << " ";
  debug_out(T...);
}
template <typename T>
void debug_out(set<T> a) {
  vector<T> _a;
  for (T t : a) _a.push_back(t);
  debug_out(_a);
}
int n;
int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  cin >> n;
  vector<int> sa(n);
  for (int i = 0; i < n; i++) cin >> sa[i];
  sort(sa.begin(), sa.end());
  vector<pair<int, int>> a;
  for (int i : sa) {
    if (a.empty() || a.back().first != i)
      a.emplace_back(i, 1);
    else
      a.back().second++;
  }
  int total = n;
  n = a.size();
  const int N = 5005;
  RunLinearSieve(N);
  vector<vector<int>> to(N);
  for (int i = 0; i < N; i++) {
    for (int j : primes) {
      int add = 0;
      int c = j;
      while (c <= i) {
        add += i / c;
        c *= j;
      }
      to[i].push_back(add);
    }
  }
  int sz = primes.size();
  vector<int> cnt(n + 1);
  for (int i = 1; i < n + 1; i++) cnt[i] = cnt[i - 1] + a[i - 1].second;
  vector<vector<long long>> sum(sz + 1, vector<long long>(n + 1));
  for (int i = 1; i < sz + 1; i++) {
    for (int j = 1; j < n + 1; j++) {
      sum[i][j] = 1LL * to[a[j - 1].first][i - 1] * a[j - 1].second;
      sum[i][j] += sum[i - 1][j] + sum[i][j - 1] - sum[i - 1][j - 1];
    }
  }
  vector<vector<long long>> calc(N, vector<long long>(sz + 1));
  for (int i = 0; i < N; i++) {
    for (int j = 1; j < sz + 1; j++) calc[i][j] = calc[i][j - 1] + to[i][j - 1];
  }
  vector<vector<int>> dif(N, vector<int>(N, -1));
  for (int d = 0; d < N; d++) {
    for (int i = 1; i < N - d; i++) {
      if (d == 0) {
        for (int j = 0; j < sz; j++)
          if (i % primes[j] == 0) dif[i][i + d] = j;
      } else {
        dif[i][i + d] = max(dif[i][i + d - 1], dif[i + d][i + d]);
      }
    }
  }
  vector<vector<long long>> pref(n, vector<long long>(n + 1));
  for (int i = 0; i < n; i++) {
    for (int j = 1; j < n + 1; j++) {
      pref[i][j] = pref[i][j - 1];
      if (j == i + 1) continue;
      int pos = dif[a[j - 1].first + 1][a[i].first];
      if (pos == -1) pos = dif[a[i].first + 1][a[j - 1].first];
      pref[i][j] += 1LL * abs(to[a[j - 1].first][pos] - to[a[i].first][pos]) *
                    a[j - 1].second;
      if (pos > 0)
        pref[i][j] += 1LL *
                      (calc[a[j - 1].first][pos] + calc[a[i].first][pos]) *
                      a[j - 1].second;
    }
  }
  long long res = LLONG_MAX;
  for (int i = 0; i < sz + 1; i++) {
    vector<pair<int, int>> cur;
    for (int j = 0; j < n; j++) {
      if (j == 0 || dif[a[j - 1].first + 1][a[j].first] >= i)
        cur.emplace_back(j, j);
      else
        cur.back().second++;
    }
    for (auto s : cur) {
      int l = s.first, r = s.second;
      long long add = 0;
      add += sum[i][r + 1] - sum[i][l];
      add -= 1LL * (total - cnt[r + 1] + cnt[l]) * calc[a[l].first][i];
      add += pref[l][l] + pref[l][n] - pref[l][r + 1];
      res = min(res, add);
    }
  }
  cout << res;
  return 0;
}