#Lutece2411. Stardust

Stardust

Migrated from Lutece 2411 Stardust

All parts of this problem, including description, images, samples, data and checker, might be broken. If you find bugs in this problem, please contact the admins.

Description

总之就是想要打牌。

“聚集的祈愿将成为新生的闪耀之星,化作光芒闪耀的.......”诶,星星不见了?出于种种原因,同调召唤所需要的星星受到了干扰,各处使用同调召唤的决斗者所期望的星星状态无法被满足。

现在天空中有 nn 颗星星,标号 11nn。每颗星星都有闪耀和暗淡两种状态。每位决斗者希望其中特定的 33 颗星星至少有两颗处于他们期望的状态。例如,某位决斗者希望第三颗星星闪耀、第五颗星星暗淡、第七颗星星暗淡,则对于第三、第五、第七颗星星来说,{闪耀、暗淡、暗淡}、{暗淡、暗淡、暗淡}、{闪耀、闪耀、暗淡}、{闪耀、暗淡、闪耀} 均满足要求。

OrangeRain 想让这个世界充满笑容,为此他想要通过任意改变星星状态来满足每一位决斗者的要求,但他不知道是否能做到,你能帮帮他吗?

Input

第一行包含两个正整数 n,mn,m (3n1000003 \leq n \leq 1000001m1000001 \leq m \leq 100000),代表有 nn 颗星星,mm 位决斗者。

接下来共有 mm 行,第 ii 行包含六个整数 a,u,b,v,c,wa,u,b,v,c,w1a,b,cn1 \leq a,b,c \leq n, aba \neq baca \neq cbcb \neq c, 0u,v,w10 \leq u,v,w \leq 1),表示第 ii 位决斗者期望第 aa 颗星星处于状态 uu,第 bb 颗星星处于状态 vv,第 cc 颗星星处于状态 ww,其中状态 00 表示星星暗淡,状态 11 表示星星闪耀。

Output

若 OrangeRain 能够满足每一位决斗者的要求,则输出 YES,否则输出 NO

Samples

7 5
3 1 5 1 6 0
1 0 2 0 3 1
4 1 5 0 6 0
5 1 6 0 7 0
1 1 2 1 4 1
YES
5 6
1 0 3 1 4 0
2 0 3 1 4 1
1 0 2 1 3 1
3 1 4 0 5 0
3 0 4 0 5 0
1 1 2 1 4 1
NO

Note

样例一中,一种可以满足所有决斗者要求的星星状态为 {0,1,1,1,0,0,0}\{0,1,1,1,0,0,0\}

PS:废二是不能带来笑容的啊!

Resources

2020 UESTC ICPC Training for Graph