"a" [0, 1]
"b" [0, 1]
"c" [0, 1, 2]

"a" 0 -> 1 when "b"=1 and "c"=2
"a" 0 -> 1 when "c"=0
"a" 1 -> 0 when "b"=0

"b" 1 -> 0 when "a"=0 and "c"=0

"c" 0 -> 1 when "a"=0
"c" 1 -> 2 when "a"=0 and "b"=0
"c" 1 -> 2 when "a"=1 and "b"=1
"c" 2 -> 1
"c" 1 -> 0 when "a"=0 and "b"=0