Problem: The only difference between easy and hard versions is a number of elements in the array.

You are given an array a consisting of n integers. The value of the i-th element of the array is a_i.

You are also given a set of m segments. The j-th segment is [l_j; r_j], where 1 ≤ l_j ≤ r_j ≤ n.

You can choose some subset of the given set of segments and decrease values on each of the chosen segments by one (independently). For example, if the initial array a = [0, 0, 0, 0, 0] and the given segments are [1; 3] and [2; 4] then you can choose both of them and the array will become b = [-1, -2, -2, -1, 0].

You have to choose some subset of the given segments (each segment can be chosen at most once) in such a way that if you apply this subset of segments to the array a and obtain the array b then the value max_{i=1}^{n}b_i - min_{i=1}^{n}b_i will be maximum possible.

Note that you can choose the empty set.

If there are multiple answers, you can print any.

If you are Python programmer, consider using PyPy instead of Python when you submit your code.

Input

The first line of the input contains two integers n and m (1 ≤ n ≤ 300, 0 ≤ m ≤ 300) — the length of the array a and the number of segments, respectively.

The second line of the input contains n integers a_1, a_2, ..., a_n (-10^6 ≤ a_i ≤ 10^6), where a_i is the value of the i-th element of the array a.

The next m lines are contain two integers each. The j-th of them contains two integers l_j and r_j (1 ≤ l_j ≤ r_j ≤ n), where l_j and r_j are the ends of the j-th segment.

Output

In the first line of the output print one integer d — the maximum possible value max_{i=1}^{n}b_i - min_{i=1}^{n}b_i if b is the array obtained by applying some subset of the given segments to the array a.

In the second line of the output print one integer q (0 ≤ q ≤ m) — the number of segments you apply.

In the third line print q distinct integers c_1, c_2, ..., c_q in any order (1 ≤ c_k ≤ m) — indices of segments you apply to the array a in such a way that the value max_{i=1}^{n}b_i - min_{i=1}^{n}b_i of the obtained array b is maximum possible.

If there are multiple answers, you can print any.

Examples

Input


5 4
2 -2 3 1 2
1 3
4 5
2 5
1 3


Output


6
2
1 4 


Input


5 4
2 -2 3 1 4
3 5
3 4
2 4
2 5


Output


7
2
3 2 


Input


1 0
1000000


Output


0
0

Note

In the first example the obtained array b will be [0, -4, 1, 1, 2] so the answer is 6.

In the second example the obtained array b will be [2, -3, 1, -1, 4] so the answer is 7.

In the third example you cannot do anything so the answer is 0.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const int INFL = (int)1e9;
const long long int INFLL = (long long int)1e18;
const double INFD = numeric_limits<double>::infinity();
const double PI = 3.14159265358979323846;
bool nearlyeq(double x, double y) { return abs(x - y) < 1e-9; }
bool inrange(int x, int t) { return x >= 0 && x < t; }
long long int rndf(double x) {
  return (long long int)(x + (x >= 0 ? 0.5 : -0.5));
}
long long int floorsqrt(double x) {
  long long int m = (long long int)sqrt(x);
  return m + (m * m <= (long long int)(x) ? 0 : -1);
}
long long int ceilsqrt(double x) {
  long long int m = (long long int)sqrt(x);
  return m + ((long long int)x <= m * m ? 0 : 1);
}
long long int rnddiv(long long int a, long long int b) {
  return (a / b + (a % b * 2 >= b ? 1 : 0));
}
long long int ceildiv(long long int a, long long int b) {
  return (a / b + (a % b == 0 ? 0 : 1));
}
long long int gcd(long long int m, long long int n) {
  if (n == 0)
    return m;
  else
    return gcd(n, m % n);
}
long long int lcm(long long int m, long long int n) {
  return m * n / gcd(m, n);
}
template <class T>
class SegTree {
 protected:
  int n, N;
  int base;
  vector<T> nodes;
  int left_of(int index) {
    if (index >= base)
      return -1;
    else
      return index * 2 + 1;
  }
  int right_of(int index) {
    if (index >= base)
      return -1;
    else
      return index * 2 + 2;
  }
  int parent_of(int index) {
    if (index == 0)
      return -1;
    else
      return (index - 1) >> 1;
  }
  void add_rec(int s, int t, int l, int r, int index, int v) {
    if (s == l && t == r) {
      nodes[index] = {nodes[index].first, nodes[index].second + v};
    } else {
      int mid = (l + r) / 2;
      if (s < mid && mid < t) {
        add_rec(s, mid, l, mid, left_of(index), v);
        add_rec(mid, t, mid, r, right_of(index), v);
      } else if (s < mid) {
        add_rec(s, t, l, mid, left_of(index), v);
      } else if (mid < t) {
        add_rec(s, t, mid, r, right_of(index), v);
      }
      int index_l = left_of(index);
      int index_r = right_of(index);
      nodes[index] = {min(nodes[index_l].first + nodes[index_l].second,
                          nodes[index_r].first + nodes[index_r].second),
                      nodes[index].second};
    }
  }

 public:
  SegTree(int n, T init) {
    SegTree::n = n;
    N = (int)pow(2, ceil(log2(n)));
    base = N - 1;
    nodes = vector<T>(base + N, init);
  }
  vector<int> get_index_above(int index, bool from_base = false) {
    if (from_base) index += base;
    vector<int> ret;
    while (index >= 0) {
      ret.push_back(index);
      index = parent_of(index);
    }
    return ret;
  }
  int cover_size(int index) {
    int cnt = 1;
    while (left_of(index) != -1) {
      index = left_of(index);
      cnt *= 2;
    }
    int l = index - base;
    int r = min(l + cnt, n);
    return max(0, r - l);
  }
  void update(const vector<int> &a) {
    int index = base;
    for (int i = 0; i < (int)(a.size()); i++) {
      nodes[index] = {a[i], 0};
      index++;
    }
    for (int i = (int)(base)-1; i >= 0; i--) {
      nodes[i] = {min(nodes[left_of(i)].first, nodes[right_of(i)].first), 0};
    }
  }
  void add(int s, int t, int x) { add_rec(s, t, 0, N, 0, x); }
  int solve() { return nodes[0].first + nodes[0].second; }
};
struct pq0_t {
  int id;
  int l, r;
  bool operator<(const pq0_t &another) const { return l > another.l; }
};
struct pq1_t {
  int id;
  int l, r;
  bool operator<(const pq1_t &another) const { return r > another.r; }
};
int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  ;
  int n;
  cin >> n;
  int m;
  cin >> m;
  vector<int> a(n);
  for (int i = 0; i < (int)(n); i++) cin >> a[i];
  vector<int> l(m), r(m);
  priority_queue<pq0_t> pq0;
  priority_queue<pq1_t> pq1;
  SegTree<pair<int, int> > st(n, {INT_MAX, 0});
  st.update(a);
  set<int> lst;
  for (int i = 0; i < (int)(m); i++) {
    cin >> l[i] >> r[i];
    l[i]--;
    pq0.push({i, l[i], r[i]});
    st.add(l[i], r[i], -1);
    lst.insert(i);
  }
  int ans = INT_MIN;
  set<int> ans_lst;
  for (int i = 0; i < (int)(n); i++) {
    while (pq0.size() && pq0.top().l == i) {
      pq0_t buf = pq0.top();
      pq0.pop();
      pq1.push({buf.id, buf.l, buf.r});
      st.add(buf.l, buf.r, 1);
      lst.erase(buf.id);
    }
    while (pq1.size() && pq1.top().r == i) {
      pq1_t buf = pq1.top();
      pq1.pop();
      st.add(buf.l, buf.r, -1);
      lst.insert(buf.id);
    }
    int buf = a[i] - st.solve();
    if (buf > ans) {
      ans = buf;
      ans_lst = lst;
    }
  }
  cout << ans << endl;
  cout << ans_lst.size() << endl;
  for (auto itr = ans_lst.begin(); itr != ans_lst.end(); itr++) {
    cout << *itr + 1 << " ";
  }
  cout << endl;
}