#1668. [ABC232C] Graph Isomorphism

[ABC232C] Graph Isomorphism

Description

高桥和青木各有一个用 MM 根绳子绑在 NN 个球上做成的玩具。

在高桥的玩具中,球的编号是 1,,N1, \dots, N ,第 ii 条绳子系着球 AiA_iBiB_i

同样,在青木的玩具中,球的编号是 1,,N1, \dots, N ,第 ii 条绳子系着球 CiC_iDiD_i

在每个玩具中,没有一条绳子将一个球与自己绑在一起,也没有两个球被两条或两条以上不同的绳子绑在一起。

Snuke 想知道这两个玩具的形状是否相同。 在这里,当有一个满足以下条件的序列 PP 时,就可以说它们具有相同的形状。

  • PP(1,,N)(1, \dots, N) 的排列。
  • 对于介于 11NN 之间的每一对整数 i,ji, j 都成立一下这个条件即:。
    • 当且仅当青木玩具中的球 PiP_iPjP_j 用绳子系住时,高桥玩具中的球 iijj 用绳子系住。

如果两个玩具的形状相同,则打印 Yes;否则打印 No

Format

Input

第一行输入两个空格隔开的整数 N,MN,M

接下来 MM 行每行两个整数代表 Ai,BiA_i,B_i

接下来 MM 行每行两个整数代表 Ci,DiC_i,D_i

Output

如果两个玩具的形状相同,则打印 Yes;否则,打印 No

Samples

4 4
1 2
1 3
1 4
3 4
1 3
1 4
2 3
3 4
Yes
5 6
1 2
1 3
1 4
3 4
3 5
4 5
1 2
1 3
1 4
1 5
3 5
4 5
No
0 0
Yes

样例 1 解释

下图左边是高桥的玩具,右边是青木的玩具。

yes1

如下图所示,两个玩具的形状相同。例如,当 P=(3,2,1,4)P = (3, 2, 1, 4) 时,声明中的条件得到满足。

yes2

样例 2 解释

这两个玩具的形状不一样。

no

Limitation

  • 1N81 \leq N \leq 8
  • 0MN(N1)20 \leq M \leq \frac{N(N - 1)}{2}
  • 1Ai<BiN(1iM)1 \leq A_i \lt B_i \leq N \, (1 \leq i \leq M)
  • (Ai,Bi)(Aj,Bj)(ij)(A_i, B_i) \neq (A_j, B_j) \, (i \neq j)
  • 1Ci<DiN(1iM)1 \leq C_i \lt D_i \leq N \, (1 \leq i \leq M)
  • (Ci,Di)(Cj,Dj)(ij)(C_i, D_i) \neq (C_j, D_j) \, (i \neq j)
  • 输入值均为整数。