CF1736C1.Good Subarrays (Easy Version)

This is the easy version of this problem. In this version, we do not have queries. Note that we have multiple test cases in this version. You can make hacks only if both versions of the problem are solved.

An array $b$ of length $m$ is good if for all $i$ the $i$-th element is greater than or equal to $i$. In other words, $b$ is good if and only if $b_i \geq i$ for all $i$ ($1 \leq i \leq m$).

You are given an array $a$ consisting of $n$ positive integers. Find the number of pairs of indices $(l, r)$, where $1 \le l \le r \le n$, such that the array $[a_l, a_{l+1}, \ldots, a_r]$ is good.

本题是该问题的简单版本。在此版本中，我们不需要处理查询。请注意，此版本包含多个测试用例。仅当两个版本的问题均被解决时，才允许进行 hack。

长度为 $m$ 的数组 $b$ 被称为好数组，当且仅当对所有 $i$，第 $i$ 个元素不小于 $i$。换言之，$b$ 是好数组当且仅当对所有 $i$（$1 \leq i \leq m$）满足 $b_i \geq i$。

给定一个由 $n$ 个正整数组成的数组 $a$。请找出满足条件的下标对 $(l, r)$ 的数量，其中 $1 \le l \le r \le n$，使得子数组 $[a_l, a_{l+1}, \ldots, a_r]$ 是好数组。

Each test contains multiple test cases. The first line contains the number of test cases $t$ ($1 \leq t \leq 2 \cdot 10^5$). Description of the test cases follows.

The first line of each test case contains an integer $n$ ($1 \leq n \leq 2 \cdot 10^5$), the length of the array $a$.

The second line of each test case contains $n$ space-separated integers $a_1,a_2,\ldots,a_n$ ($1 \leq a_i \leq n$), representing the array $a$.

It is guaranteed that the sum of $n$ over all test cases does not exceed $2 \cdot 10^5$.

每个测试包含多个测试用例。第一行包含测试用例的数量 $t$（$1 \leq t \leq 2 \cdot 10^5$）。随后是各测试用例的描述。

每个测试用例的第一行包含一个整数 $n$（$1 \leq n \leq 2 \cdot 10^5$），表示数组 $a$ 的长度。

每个测试用例的第二行包含 $n$ 个以空格分隔的整数 $a_1,a_2,\ldots,a_n$（$1 \leq a_i \leq n$），表示数组 $a$。

保证所有测试用例的 $n$ 值之和不超过 $2 \cdot 10^5$。

For each test case, print the number of suitable pairs of indices.

对于每个测试用例，输出满足条件的索引对的数量。

In the first test case, all subarrays of $a$ are good, so all pairs are suitable.

In the second test case, the pairs $(1, 1)$, $(2, 2)$, and $(3, 3)$ are suitable. For example, when $(l, r) = (1, 2)$, the array $b=[1,1]$ is not good because $b_2 \lt 2$.

在第一个测试用例中，数组 $a$ 的所有子数组都是“好”的，因此所有数对都满足条件。

在第二个测试用例中，满足条件的数对为 $(1, 1)$、$(2, 2)$ 和 $(3, 3)$。例如，当 $(l, r) = (1, 2)$ 时，数组 $b=[1,1]$ 不是“好”的，因为 $b_2 \lt 2$。