digraph zulu { node [shape = doublecircle]; 1 4 6 7 8 9 11 ; node [shape = circle]; 1 -> 2 [ label = "0" ]; 1 -> 10 [ label = "1" ]; 2 -> 3 [ label = "0" ]; 2 -> 5 [ label = "1" ]; 3 -> 4 [ label = "0" ]; 3 -> 3 [ label = "1" ]; 4 -> 1 [ label = "0" ]; 4 -> 4 [ label = "1" ]; 5 -> 6 [ label = "0" ]; 5 -> 9 [ label = "1" ]; 6 -> 7 [ label = "0" ]; 6 -> 8 [ label = "1" ]; 7 -> 4 [ label = "0" ]; 7 -> 8 [ label = "1" ]; 8 -> 3 [ label = "0" ]; 8 -> 6 [ label = "1" ]; 9 -> 10 [ label = "0" ]; 9 -> 11 [ label = "1" ]; 10 -> 11 [ label = "0" ]; 10 -> 3 [ label = "1" ]; 11 -> 11 [ label = "0" ]; 11 -> 12 [ label = "1" ]; 12 -> 13 [ label = "0" ]; 12 -> 9 [ label = "1" ]; 13 -> 6 [ label = "0" ]; 13 -> 6 [ label = "1" ]; }