mimi

digraph {
	graph [rankdir=LR]
	node [shape=circle]
	"i_00|00" [shape=point]
	"i_00|00" -> "00|00"
	"00|01" [shape=doublecircle]
	"00|11" [shape=doublecircle]
	"01|01" [shape=doublecircle]
	"01|11" [shape=doublecircle]
	"10|00" [shape=doublecircle]
	"10|10" [shape=doublecircle]
	"11|00" [shape=doublecircle]
	"11|10" [shape=doublecircle]
	"00|00" -> "00|00" [label=0]
	"00|00" -> "01|10" [label=1]
	"01|10" -> "10|01" [label=0]
	"01|10" -> "11|11" [label=1]
	"10|01" -> "00|00" [label=0]
	"10|01" -> "01|10" [label=1]
	"11|11" -> "10|01" [label=0]
	"11|11" -> "11|11" [label=1]
	"00|10" -> "00|01" [label=0]
	"00|10" -> "01|11" [label=1]
	"01|01" -> "10|00" [label=0]
	"01|01" -> "11|10" [label=1]
	"10|11" -> "00|01" [label=0]
	"10|11" -> "01|11" [label=1]
	"11|00" -> "10|00" [label=0]
	"11|00" -> "11|10" [label=1]
	"00|01" -> "00|00" [label=0]
	"00|01" -> "01|10" [label=1]
	"01|11" -> "10|01" [label=0]
	"01|11" -> "11|11" [label=1]
	"10|00" -> "00|00" [label=0]
	"10|00" -> "01|10" [label=1]
	"11|10" -> "10|01" [label=0]
	"11|10" -> "11|11" [label=1]
	"00|11" -> "00|01" [label=0]
	"00|11" -> "01|11" [label=1]
	"01|00" -> "10|00" [label=0]
	"01|00" -> "11|10" [label=1]
	"10|10" -> "00|01" [label=0]
	"10|10" -> "01|11" [label=1]
	"11|01" -> "10|00" [label=0]
	"11|01" -> "11|10" [label=1]
}