运算包含很多种，在计算机中除了算术运算以外，还涉及到了其它运算，比如逻辑运算。逻辑运算包括与(AND)、或(OR)、异或(XOR)等。其运算规则如下：

1 AND 1 = 1 1 OR 1 = 1 1 XOR 1 = 0

1 AND 0 = 0 1 OR 0 = 1 1 XOR 0 = 1

0 AND 1 = 0 0 OR 1 = 1 0 XOR 1 = 1

0 AND 0 = 0 0 OR 0 = 0 0 XOR 0 = 0

现有n个变量d[1]到d[n]，每个变量的值非0即1。有m个算式，每个式子形如a b c op，其中a和b是两个下标，分别代表d[a]和d[b]两个变量的值；c是一个数字，非0即1；op代表一种操作，是AND、OR、XOR其中的一个,算式的含义为：d[a] op d[b] = c。请判断，是否存在一组d[1]到d[n]的赋值，使得m个算式都成立。

第一行两个整数n和m。1≤n≤1000, 0≤m≤1000000

接下来m行，每行三个整字a、b、c和一个操作op，如题目描述所示。
0≤a, b

如果存在一组赋值使得 m个算式都成立，则输出 YES否则输出 NO

这个序列包含三个整数，当d[0] = 1, d[1] = 0, d[2] = 1时，三个式子d[0] AND d[1] = 0, d[1] OR d[2] = 1, d[0] XOR d[2] = 0都成立，因此输出YES。