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