Is It Flower?

Description:

Input:

The first line of input contains the single integer $$$t$$$ ($$$1 \le t \le 10^4$$$) — the number of test cases in the test.

The descriptions of the cases follow. An empty string is written before each case.

The first line of each case contains two integers $$$n$$$ and $$$m$$$ ($$$2 \le n \le 2 \cdot 10^5$$$, $$$1 \le m \le \min(2 \cdot 10^5, \frac{n \cdot (n-1)}{2})$$$) — the number of vertices and edges in the graph, respectively.

The next $$$m$$$ lines contain two integers each $$$u$$$ and $$$v$$$ ($$$1 \le u, v \le n$$$, $$$u \ne v$$$) — numbers of vertices connected by an edge. It is guaranteed that the graph does not contain multiple edges and self-loops.

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

Output:

Output $$$t$$$ lines, each of which is the answer to the corresponding test case. As an answer, output "YES" if Vlad's graph is a $$$k$$$-flower for some $$$k$$$, and "NO" otherwise.

You can output the answer in any case (for example, the strings "yEs", "yes", "Yes" and "YES" will be recognized as a positive answer).

Sample Input:

5

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

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

4 3
1 2
4 2
3 1

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

5 7
2 4
2 5
3 4
3 5
4 1
4 5
1 5

Sample Output:

YES
NO
NO
NO
NO

Sample Input:

4

2 1
1 2

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

9 12
2 9
2 8
6 9
6 8
6 5
6 1
9 8
9 3
9 1
8 3
8 7
5 7

3 3
1 2
1 3
2 3

Sample Output:

NO
NO
NO
NO