Problem: Touko's favorite sequence of numbers is a permutation a_1, a_2, ..., a_n of 1, 2, ..., n, and she wants some collection of permutations that are similar to her favorite permutation.

She has a collection of q intervals of the form [l_i, r_i] with 1 ≤ l_i ≤ r_i ≤ n. To create permutations that are similar to her favorite permutation, she coined the following definition:

  * A permutation b_1, b_2, ..., b_n allows an interval [l', r'] to holds its shape if for any pair of integers (x, y) such that l' ≤ x < y ≤ r', we have b_x < b_y if and only if a_x < a_y. 
  * A permutation b_1, b_2, ..., b_n is k-similar if b allows all intervals [l_i, r_i] for all 1 ≤ i ≤ k to hold their shapes. 



Yuu wants to figure out all k-similar permutations for Touko, but it turns out this is a very hard task; instead, Yuu will encode the set of all k-similar permutations with directed acylic graphs (DAG). Yuu also coined the following definitions for herself:

  * A permutation b_1, b_2, ..., b_n satisfies a DAG G' if for all edge u → v in G', we must have b_u < b_v. 
  * A k-encoding is a DAG G_k on the set of vertices 1, 2, ..., n such that a permutation b_1, b_2, ..., b_n satisfies G_k if and only if b is k-similar. 



Since Yuu is free today, she wants to figure out the minimum number of edges among all k-encodings for each k from 1 to q.

Input

The first line contains two integers n and q (1 ≤ n ≤ 25 000, 1 ≤ q ≤ 100 000).

The second line contains n integers a_1, a_2, ..., a_n which form a permutation of 1, 2, ..., n.

The i-th of the following q lines contains two integers l_i and r_i. (1 ≤ l_i ≤ r_i ≤ n).

Output

Print q lines. The k-th of them should contain a single integer — The minimum number of edges among all k-encodings.

Examples

Input


4 3
2 4 1 3
1 3
2 4
1 4


Output


2
4
3


Input


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


Output


3
5
9
7


Input


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


Output


0
1
3
6
6
9
9
9
9
8

Note

For the first test case:

  * All 1-similar permutations must allow the interval [1, 3] to hold its shape. Therefore, the set of all 1-similar permutations is \{[3, 4, 2, 1], [3, 4, 1, 2], [2, 4, 1, 3], [2, 3, 1, 4]\}. The optimal encoding of these permutations is <image>
  * All 2-similar permutations must allow the intervals [1, 3] and [2, 4] to hold their shapes. Therefore, the set of all 2-similar permutations is \{[3, 4, 1, 2], [2, 4, 1, 3]\}. The optimal encoding of these permutations is <image>
  * All 3-similar permutations must allow the intervals [1, 3], [2, 4], and [1, 4] to hold their shapes. Therefore, the set of all 3-similar permutations only includes [2, 4, 1, 3]. The optimal encoding of this permutation is <image>

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
using namespace chrono;

const int N = 25005, Q = 100005, D = 80;

int n, q, a[N], l[Q], r[Q], pos[N], ans[Q];
set<int> se;
vector<pair<int, int>> edges;
vector<int> in, out;
vector<pair<int, int>> l_edge[N], r_edge[N];
vector<array<int, 3>> eve[N];
vector<pair<int, int>> add[N];
vector<pair<int, int>> cur, fin;

struct fenwick_tree {
    int bit[N];

    void init() {
        fill(bit + 1, bit + n + 1, Q);
    }

    void update(int u, int v) {
        for (; u > 0; u -= u & -u) {
            bit[u] = min(bit[u], v);
        }
    }
    
    int query(int u) {
        int ans = Q;
        for (; u <= n; u += u & -u) {
            ans = min(ans, bit[u]);
        }
        return ans;
    }
} bit;

void find_all_edges() {
    auto add_node = [&](int u) {
        auto it = se.insert(u).first;
        if (it != se.begin()) {
            cur.push_back({*prev(it), u});
        }
        if (next(it) != se.end()) {
            cur.push_back({u, *next(it)});
        }
    };
    auto remove_node = [&](int u) {
        se.erase(u);
        auto it = se.lower_bound(u);
        if (it != se.end() && it != se.begin()) {
            cur.push_back({*prev(it), *it});
        }
    };
    auto flush_pair = [&]() {
        for (auto [u, v] : cur) {
            fin.push_back({u, v});
        }
        cur.clear();
    };
    vector<int> que;
    for (int i = 1; i <= q; i++) {
        que.push_back(i);
    }
    sort(que.begin(), que.end(), [](const int u, const int v) {
        return l[u] / D != l[v] / D ? l[u] < l[v] : r[u] < r[v];
    });
    int le = 1, ri = 0;
    for (int ind : que) {
        int cl = l[ind], cr = r[ind];
        while (ri < cr) {
            add_node(a[++ri]);
        }
        while (le > cl) {
            add_node(a[--le]);
        }
        while (ri > cr) {
            remove_node(a[ri--]);
        }
        while (le < cl) {
            remove_node(a[le++]);
        }
        flush_pair();
    }
    edges = vector<pair<int, int>>(fin.begin(), fin.end());
    sort(edges.begin(), edges.end());
    edges.erase(unique(edges.begin(), edges.end()), edges.end());
    in = vector<int>(edges.size(), Q - 1);
    out = vector<int>(edges.size(), Q - 1);
}

void build_events() {
    for (int i = 0; i < edges.size(); i++) {
        auto [u, v] = edges[i];
        int iu = pos[u], iv = pos[v];
        (iv > iu ? r_edge : l_edge)[iu].push_back({iv, i});
    }
    for (int i = 1; i <= n; i++) {
        vector<pair<int, int>> &le = l_edge[i], &re = r_edge[i];
        reverse(le.begin(), le.end());
        reverse(re.begin(), re.end());
        le.push_back({0, -1});
        re.push_back({n + 1, -1});
        int pl = 0, pr = 0;
        while (pl < le.size() - 1 || pr < re.size() - 1) {
            if (a[le[pl].first] > a[re[pr].first]) {
                int qi = le[pl].second;
                int u = i, v = le[pl].first; // (edge u => v, go to left)
                int t = re[pr].first;
                int vn = le[pl + 1].first;
                eve[v].push_back({u, qi, 0});
                eve[vn].push_back({u, qi, 1});
                eve[v].push_back({t, qi, 1});
                pl++;
            } else {
                int qi = re[pr].second;
                int u = i, w = re[pr].first; // (edge u => w, go to right)
                int t = le[pl].first;
                int wn = re[pr + 1].first;
                eve[u].push_back({w, qi, 0});
                eve[t].push_back({w, qi, 1});
                eve[u].push_back({wn, qi, 1});

                pr++;
            }
        }
    }

    for (int i = 1; i <= q; i++) {
        add[l[i]].push_back({r[i], i});
    }
}

void solve() {
    bit.init();
    for (int i = 1; i <= n; i++) {
        for (auto [r, v] : add[i]) {
            bit.update(r, v);
        }
        for (auto [r, i, t] : eve[i]) {
            int &upd = (t == 0 ? in[i] : out[i]);
            upd = min(upd, bit.query(r));
        }
    }
    for (int i = 0; i < edges.size(); i++) {
        ans[in[i]]++;
        ans[out[i]]--;
    }
    for (int i = 1; i <= q; i++) {
        ans[i] += ans[i - 1];
        cout << ans[i] << '\n';
    }
}

int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);
    cin >> n >> q;
    for (int i = 1; i <= n; i++) {
        cin >> a[i];
        pos[a[i]] = i;
    }
    for (int i = 1; i <= q; i++) {
        cin >> l[i] >> r[i];
    }
    find_all_edges();
    build_events();
    solve();
}