3
0 0 0
0 1 0
1 0 0 \n
 · · \n
 · · \n
 · · \n

3
x1 -> !x2
x3 -> x1
x3 -> x2 \n
  ·  ·   \n
  ·  ·  \n
  ·  ·  \n