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