Problem: One day Masha came home and noticed n mice in the corridor of her flat. Of course, she shouted loudly, so scared mice started to run to the holes in the corridor.

The corridor can be represeted as a numeric axis with n mice and m holes on it. ith mouse is at the coordinate xi, and jth hole — at coordinate pj. jth hole has enough room for cj mice, so not more than cj mice can enter this hole.

What is the minimum sum of distances that mice have to go through so that they all can hide in the holes? If ith mouse goes to the hole j, then its distance is |xi - pj|.

Print the minimum sum of distances.

Input

The first line contains two integer numbers n, m (1 ≤ n, m ≤ 5000) — the number of mice and the number of holes, respectively.

The second line contains n integers x1, x2, ..., xn ( - 109 ≤ xi ≤ 109), where xi is the coordinate of ith mouse.

Next m lines contain pairs of integer numbers pj, cj ( - 109 ≤ pj ≤ 109, 1 ≤ cj ≤ 5000), where pj is the coordinate of jth hole, and cj is the maximum number of mice that can hide in the hole j.

Output

Print one integer number — the minimum sum of distances. If there is no solution, print -1 instead.

Examples

Input

4 5
6 2 8 9
3 6
2 1
3 6
4 7
4 7


Output

11


Input

7 2
10 20 30 40 50 45 35
-1000000000 10
1000000000 1


Output

7000000130

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
clock_t start;
mt19937_64 rng(chrono::system_clock::now().time_since_epoch().count());
template <typename T>
void _F(const char *name, T arg1) {
  cerr << name << " = " << arg1 << '\n';
}
template <typename T, typename... Args>
void _F(const char *names, T arg1, Args... args) {
  const char *name = strchr(names, ',');
  cerr.write(names, name - names) << " = " << arg1 << '\n';
  _F(name + 2, args...);
}
template <typename T1, typename T2>
istream &operator>>(istream &in, pair<T1, T2> &q) {
  in >> q.first >> q.second;
  return in;
}
template <typename T1, typename T2>
ostream &operator<<(ostream &out, pair<T1, T2> &q) {
  out << q.first << " " << q.second;
  return out;
}
template <typename T1, typename T2>
pair<T1, T2> operator+(pair<T1, T2> p1, pair<T1, T2> p2) {
  return {p1.first + p2.first, p1.second + p2.second};
}
template <typename T1, typename T2>
pair<T1, T2> operator-(pair<T1, T2> p1, pair<T1, T2> p2) {
  return {p1.first - p2.first, p1.second - p2.second};
}
const long long N = 5e3 + 1;
long long dp[N][N], pre[N], x[N];
deque<long long> q;
void add(long long i, long long j) {
  while (!q.empty() && dp[j][q.back()] - pre[q.back()] >= dp[j][i] - pre[i])
    q.pop_back();
  q.push_back(i);
}
void erase(long long i) {
  if (q.front() == i) q.pop_front();
}
long long get_min(long long i) {
  if (q.empty()) return (long long)(1e18);
  return dp[i][q.front()] - pre[q.front()];
}
void solve() {
  long long n, m;
  cin >> n >> m;
  long long pp, cc;
  for (long long i = 1; i <= n; i++) {
    cin >> x[i];
    dp[0][i] = (long long)(1e18);
  }
  sort(x + 1, x + n + 1);
  vector<pair<long long, long long> > v;
  for (long long i = 1; i <= m; i++) {
    cin >> pp >> cc;
    v.push_back({pp, cc});
  }
  sort((v).begin(), (v).end());
  for (long long i = 1; i <= m; i++) {
    long long c = v[i - 1].second, p = v[i - 1].first;
    for (long long j = 1; j <= n; j++) {
      pre[j] = pre[j - 1] + abs(x[j] - p);
    }
    add(0, 0);
    for (long long j = 1; j <= n; j++) {
      add(j, i - 1);
      if (j > c) erase(j - c - 1);
      dp[i][j] = get_min(i - 1) + pre[j];
    }
    while (!q.empty()) q.pop_back();
  }
  if (dp[m][n] < (long long)(1e18)) {
    cout << dp[m][n] << '\n';
  } else {
    cout << -1 << '\n';
  }
}
signed main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  long long t = 1;
  start = clock();
  cout << fixed << setprecision(12);
  for (long long i = 1; i <= t; ++i) {
    solve();
  }
  return 0;
}