AT_arc232_a.Two in the Range

You are given an integer $N$, and $M$ pairs of integers $(L_1,R_1),(L_2,R_2),\ldots,(L_M,R_M)$ satisfying $1\leq L_i<R_i\leq N$.

Determine whether there exists a length-$N$ sequence of $0$s and $1$s, $x=(x_1,x_2,\ldots,x_N)$, that satisfies all of the following conditions.

• $x_{L_i}+x_{L_i+1}+\cdots+x_{R_i}=2$ for every $i=1,2,\ldots,M$.

You are given $T$ test cases; solve each of them.

给你一个整数 $N$，以及 $M$ 对整数 $(L_1,R_1),(L_2,R_2),\ldots,(L_M,R_M)$，满足 $1\leq L_i<R_i\leq N$。

判断是否存在一个长度为 $N$ 的、由 $0$ 和 $1$ 构成的序列 $x=(x_1,x_2,\ldots,x_N)$，使得以下条件全部成立：

• 对每个 $i=1,2,\ldots,M$，均有 $x_{L_i}+x_{L_i+1}+\cdots+x_{R_i}=2$。

你将得到 $T$ 组测试数据；请分别求解每组数据。

The input is given from Standard Input in the following format:

$T$
$\mathrm{case}_1$
$\mathrm{case}_2$
$\vdots$
$\mathrm{case}_T$

Each test case is given in the following format:

$N$ $M$
$L_1$ $R_1$
$L_2$ $R_2$
$\vdots$
$L_M$ $R_M$

输入从标准输入中按以下格式给出：

$T$
$\mathrm{case}_1$
$\mathrm{case}_2$
$\vdots$
$\mathrm{case}_T$

每个测试用例按以下格式给出：

$N$ $M$
$L_1$ $R_1$
$L_2$ $R_2$
$\vdots$
$L_M$ $R_M$

Output $T$ lines. The $i$-th line should contain Yes if a sequence satisfying the conditions exists for the $i$-th test case, and No otherwise.

输出 $T$ 行。第 $i$ 行应包含 Yes（如果第 $i$ 个测试用例存在满足条件的序列），否则包含 No。

Sample 1 Explanation:
In the first test case, the first two conditions imply $x_1=x_2=x_3=1$, but then the third condition is not satisfied. Thus, no sequence satisfies the conditions.

In the second test case, if $x=(0,1,0,1,0,0,1,0,1,0)$, the sums over the specified intervals $[1,4],[3,7],[6,10],[1,4],[2,6]$ are all $2$. Thus, this sequence satisfies all the conditions.

Constraints

• $1\leq T\leq 250000$
• $2\leq N\leq 500000$
• $1\leq M\leq 500000$
• $1\leq L_i<R_i\leq N$ $(1 \leq i \leq M)$
• The sum of $N$ over all test cases is at most $500000$.
• The sum of $M$ over all test cases is at most $500000$.
• All input values are integers.

样例 1 解释：
在第一个测试用例中，前两个条件意味着 $x_1=x_2=x_3=1$，但此时第三个条件不满足。因此，不存在满足所有条件的序列。

在第二个测试用例中，若 $x=(0,1,0,1,0,0,1,0,1,0)$，则在指定区间 $[1,4],[3,7],[6,10],[1,4],[2,6]$ 上的和均为 $2$。因此，该序列满足所有条件。

约束条件

• $1\leq T\leq 250000$
• $2\leq N\leq 500000$
• $1\leq M\leq 500000$
• $1\leq L_i<R_i\leq N$ $(1 \leq i \leq M)$
• 所有测试用例的 $N$ 之和不超过 $500000$。
• 所有测试用例的 $M$ 之和不超过 $500000$。
• 所有输入值均为整数。