AT_arc232_a [ARC232A] Two in the Range
Description
整数 $ N $ と, $ 1\leq L_i
Input Format
入力は以下の形式で標準入力から与えられる.
> $ 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 Format
$ T $ 行出力せよ. $ i $ 行目には, $ i $ 番目のテストケースについて,条件を満たす列が存在する場合は `Yes`,存在しない場合は `No` と出力せよ.
Explanation/Hint
### Sample Explanation 1
$ 1 $ 番目のテストケースでは,最初の $ 2 $ 個の条件から $ x_1=x_2=x_3=1 $ となりますが,これは $ 3 $ 個目の条件を満たしません. よって,条件を満たす列は存在しません.
$ 2 $ 番目のテストケースでは, $ x=(0,1,0,1,0,0,1,0,1,0) $ とすると,指定された区間 $ [1,4],[3,7],[6,10],[1,4],[2,6] $ の和はいずれも $ 2 $ になります. よって,この列はすべての条件を満たします.
### Constraints
- $ 1\leq T\leq 250000 $
- $ 2\leq N\leq 500000 $
- $ 1\leq M\leq 500000 $
- $ 1\leq L_i