CF1330B.Dreamoon Likes Permutations

The sequence of $m$ integers is called the permutation if it contains all integers from $1$ to $m$ exactly once. The number $m$ is called the length of the permutation.

Dreamoon has two permutations $p_1$ and $p_2$ of non-zero lengths $l_1$ and $l_2$.

Now Dreamoon concatenates these two permutations into another sequence $a$ of length $l_1 + l_2$. First $l_1$ elements of $a$ is the permutation $p_1$ and next $l_2$ elements of $a$ is the permutation $p_2$.

You are given the sequence $a$, and you need to find two permutations $p_1$ and $p_2$. If there are several possible ways to restore them, you should find all of them. (Note that it is also possible that there will be no ways.)

由 $m$ 个整数组成的序列被称为排列，当且仅当它恰好包含从 $1$ 到 $m$ 的所有整数各一次。称该数 $m$ 为该排列的长度。

Dreamoon 拥有两个非零长度的排列 $p_1$ 和 $p_2$，其长度分别为 $l_1$ 和 $l_2$。

现在 Dreamoon 将这两个排列连接（拼接）成另一个长度为 $l_1 + l_2$ 的序列 $a$：$a$ 的前 $l_1$ 个元素是排列 $p_1$，后 $l_2$ 个元素是排列 $p_2$。

你将被给定序列 $a$，需要找出两个排列 $p_1$ 和 $p_2$。如果存在多种可能的恢复方式，则你需要找出所有可能的方式。（注意：也有可能不存在任何可行方式。）

The first line contains an integer $t$ ($1 \le t \le 10\,000$) denoting the number of test cases in the input.

Each test case contains two lines. The first line contains one integer $n$ ($2 \leq n \leq 200\,000$): the length of $a$. The second line contains $n$ integers $a_1, a_2, \ldots, a_n$ ($1 \leq a_i \leq n-1$).

The total sum of $n$ is less than $200\,000$.

第一行包含一个整数 $t$（$1 \le t \le 10\,000$），表示输入中测试用例的数量。

每个测试用例包含两行。第一行包含一个整数 $n$（$2 \leq n \leq 200\,000$）：数组 $a$ 的长度。第二行包含 $n$ 个整数 $a_1, a_2, \ldots, a_n$（$1 \leq a_i \leq n-1$）。

所有测试用例的 $n$ 值之和小于 $200\,000$。

For each test case, the first line of output should contain one integer $k$: the number of ways to divide $a$ into permutations $p_1$ and $p_2$.

Each of the next $k$ lines should contain two integers $l_1$ and $l_2$ ($1 \leq l_1, l_2 \leq n, l_1 + l_2 = n$), denoting, that it is possible to divide $a$ into two permutations of length $l_1$ and $l_2$ ($p_1$ is the first $l_1$ elements of $a$, and $p_2$ is the last $l_2$ elements of $a$). You can print solutions in any order.

对于每个测试用例，输出的第一行应包含一个整数 $k$：将 $a$ 划分为两个排列 $p_1$ 和 $p_2$ 的方案数。

接下来的 $k$ 行中，每行应包含两个整数 $l_1$ 和 $l_2$（$1 \leq l_1, l_2 \leq n$，且 $l_1 + l_2 = n$），表示可以将 $a$ 划分为长度分别为 $l_1$ 和 $l_2$ 的两个排列（其中 $p_1$ 是 $a$ 的前 $l_1$ 个元素，$p_2$ 是 $a$ 的后 $l_2$ 个元素）。你可以以任意顺序输出这些解。

In the first example, two possible ways to divide $a$ into permutations are ${1} + {4, 3, 2, 1}$ and ${1,4,3,2} + {1}$.

In the second example, the only way to divide $a$ into permutations is ${2,4,1,3} + {2,1}$.

In the third example, there are no possible ways.

在第一个例子中，将 $a$ 划分为排列的两种可能方式是 ${1} + {4, 3, 2, 1}$ 和 ${1,4,3,2} + {1}$。

在第二个例子中，将 $a$ 划分为排列的唯一方式是 ${2,4,1,3} + {2,1}$。

在第三个例子中，不存在任何可行的方式。