Problem: Malek is a rich man. He also is very generous. That's why he decided to split his money between poor people. A charity institute knows n poor people numbered from 1 to n. The institute gave Malek q recommendations. A recommendation is a segment of people like [l, r] which means the institute recommended that Malek gives one dollar to every person whose number is in this segment.

However this charity has very odd rules about the recommendations. Because of those rules the recommendations are given in such a way that for every two recommendation [a, b] and [c, d] one of the following conditions holds: 

  * The two segments are completely disjoint. More formally either a ≤ b < c ≤ d or c ≤ d < a ≤ b
  * One of the two segments are inside another. More formally either a ≤ c ≤ d ≤ b or c ≤ a ≤ b ≤ d. 



The goodness of a charity is the value of maximum money a person has after Malek finishes giving his money. The institute knows for each recommendation what is the probability that Malek will accept it. They want to know the expected value of goodness of this charity. So they asked you for help.

You have been given the list of recommendations and for each recommendation the probability of it being accepted by Malek. You have also been given how much money each person initially has. You must find the expected value of goodness.

Input

In the first line two space-separated integers n, q (1 ≤ n ≤ 105, 1 ≤ q ≤ 5000) are given.

In the second line n space-separated integers a1, a2, ..., an (0 ≤ ai ≤ 109) are given meaning that person number i initially has ai dollars. 

Each of the next q lines contains three space-separated numbers li, ri, pi (1 ≤ li ≤ ri ≤ n, 0 ≤ p ≤ 1) where li and ri are two integers describing the segment of recommendation and pi is a real number given with exactly three digits after decimal point which is equal to probability of Malek accepting this recommendation.

Note that a segment may appear several times in recommendations.

Output

Output the sought value. Your answer will be considered correct if its absolute or relative error is less than 10 - 6.

Examples

Input

5 2
1 7 2 4 3
1 3 0.500
2 2 0.500


Output

8.000000000


Input

5 2
281 280 279 278 282
1 4 1.000
1 4 0.000


Output

282.000000000


Input

3 5
1 2 3
1 3 0.500
2 2 0.250
1 2 0.800
1 1 0.120
2 2 0.900


Output

4.465000000

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const int N = 1e5 + 10;
const int LG = 20;
const int M = 5e3 + 10;
int n, q;
int a[N];
struct Segment {
  int l, r;
  double p;
  Segment() {}
  Segment(int l, int r, double p) : l(l), r(r), p(p) {}
  bool operator<(const Segment &that) const {
    if (l != that.l) return l < that.l;
    return r > that.r;
  }
} segs[N];
struct RMQ {
  int n;
  int lg[N];
  int spT[N][LG + 2];
  void Init(int *a, int _n) {
    n = _n;
    for (int i = 1; i <= n; ++i) spT[i][0] = a[i];
    for (int j = 1; (1 << j) <= n; ++j)
      for (int i = 1; i + (1 << j) - 1 <= n; ++i)
        spT[i][j] = max(spT[i][j - 1], spT[i + (1 << (j - 1))][j - 1]);
    for (int i = 0; (1 << i) <= n; ++i) lg[1 << i] = i;
    for (int i = 1; i <= n; ++i)
      if (!lg[i]) lg[i] = lg[i - 1];
  }
  int Query(int l, int r) {
    int k = lg[r - l + 1];
    return max(spT[l][k], spT[r - (1 << k) + 1][k]);
  }
} RMQ;
vector<int> adj[N];
double dp[M][M];
void Seg(int p) { cout << "[" << segs[p].l << ", " << segs[p].r << "]"; }
void BuildTree() {
  vector<int> st;
  st.push_back(1);
  for (int i = 2; i <= q; ++i) {
    int l = segs[i].l, r = segs[i].r;
    while (st.size() && l > segs[st.back()].r) st.pop_back();
    assert(st.size());
    adj[st.back()].push_back(i);
    st.push_back(i);
  }
}
void DFS(int u) {
  int child = 0;
  for (int v : adj[u]) {
    DFS(v);
    ++child;
  }
  if (child == 0) {
    dp[u][0] = 1. - segs[u].p;
    for (int i = 1; i < M; ++i) dp[u][i] = 1.;
  } else {
    sort(adj[u].begin(), adj[u].end(),
         [&](int x, int y) { return segs[x].l < segs[y].l; });
    for (int j = 0; j < M; ++j) {
      double p1 = 1., p2 = 1.;
      int p = segs[u].l, val_max = 0;
      for (int v : adj[u]) {
        int k = RMQ.Query(segs[u].l, segs[u].r) -
                RMQ.Query(segs[v].l, segs[v].r) + j;
        k = min(k, M - 1);
        if (segs[v].l > p) {
          val_max = max(val_max, RMQ.Query(p, segs[v].l - 1));
        }
        p = segs[v].r + 1;
        assert(k >= 0);
        p1 *= dp[v][k];
        p2 *= (k > 0 ? dp[v][k - 1] : 0);
      }
      if (p <= segs[u].r) {
        val_max = max(val_max, RMQ.Query(p, segs[u].r));
      }
      dp[u][j] += (1. - segs[u].p) * p1;
      dp[u][j] +=
          ((j == 0 && val_max == RMQ.Query(segs[u].l, segs[u].r)) ? 0
                                                                  : segs[u].p) *
          p2;
    }
  }
}
int main() {
  cin >> n >> q;
  for (int i = 1; i <= n; ++i) cin >> a[i];
  bool has = false;
  for (int i = 1; i <= q; ++i) {
    int l, r;
    double p;
    cin >> l >> r >> p;
    if (l == 1 && r == n) has = true;
    segs[i] = Segment(l, r, p);
  }
  RMQ.Init(a, n);
  if (has == false) segs[++q] = Segment(1, n, 0);
  sort(segs + 1, segs + q + 1);
  BuildTree();
  DFS(1);
  double answer = 0;
  int val_max = RMQ.Query(1, n);
  for (int i = 0; i < M; ++i) {
    double prob = dp[1][i] - (i == 0 ? 0 : dp[1][i - 1]);
    answer += prob * (val_max + i);
  }
  cout << fixed << setprecision(10) << answer << endl;
  return 0;
}