4 7
0 true false
1 false true
2 false true
3 false true
0 1 a
1 2 b
1 3 c
2 2 b
2 3 c
3 2 b
3 3 c