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