第一行两个整数第二行一个长度为的字符串表示每个节点的标签。接下来行每行两个整数表示一条间的路径。
存在请输出"Yes"，否则输出"No"。
2 3 AB 1 1 1 2 2 2
Yes
4 3 ABAB 1 2 2 3 3 1
No
13 23 ABAAAABBBBAAB 7 1 10 6 1 11 2 10 2 8 2 11 11 12 8 3 7 12 11 2 13 13 11 9 4 1 9 7 9 6 8 13 8 6 4 10 8 7 4 3 2 1 8 12 6 9