[CQOI2013]图的逆变换
时间限制:C/C++/Rust/Pascal 1秒,其他语言2秒
空间限制:C/C++/Rust/Pascal 256 M,其他语言512 M
64bit IO Format: %lld

题目描述

给一个n结点m条边的有向图D,可以这样构造图E:
给D的每条边u- > v,在E中建立一个点uv,然后对于D中的两条边u- > v和v- > w,在E中从uv向vw连一条有向边。E中不含有其他点和边。 
输入E,你的任务是判断是否存在相应的D。注意,D可以有重边和自环。  

输入描述:

第一行包含测试数据个数T(T ≤ 10)。
每组数据前两行为D的边数(即E的点数)m和E的边数k(0 ≤ m ≤ 300)。
以下k行每行两个整数x, y,表示E中有一条有向边x- > y。E中的点编号为0~m-1。

输出描述:

对于每组数据输出一行。如果存在,输出Yes,否则输出No。
示例1

输入

复制
4
2
1
0 1
5
0
4
3
0 1
2 1
2 3
3
9
0 1
0 2
1 2
1 0
2 0
2 1
0 0
1 1
2 2

输出

复制
Yes
Yes
No
Yes