digraph zulu { node [shape = doublecircle]; 2 3 8 9 10 11 12 16 18 20 22 25 26 27 30 32 33 35 36 41 42 43 ; node [shape = circle]; 1 -> 2 [ label = "0" ]; 1 -> 29 [ label = "1" ]; 1 -> 1 [ label = "2" ]; 1 -> 27 [ label = "3" ]; 2 -> 1 [ label = "0" ]; 2 -> 3 [ label = "1" ]; 2 -> 31 [ label = "2" ]; 2 -> 1 [ label = "3" ]; 3 -> 4 [ label = "0" ]; 3 -> 20 [ label = "1" ]; 3 -> 1 [ label = "2" ]; 3 -> 35 [ label = "3" ]; 4 -> 5 [ label = "0" ]; 4 -> 22 [ label = "1" ]; 4 -> 18 [ label = "2" ]; 4 -> 20 [ label = "3" ]; 5 -> 6 [ label = "0" ]; 5 -> 42 [ label = "1" ]; 5 -> 1 [ label = "2" ]; 5 -> 4 [ label = "3" ]; 6 -> 7 [ label = "0" ]; 6 -> 12 [ label = "1" ]; 6 -> 37 [ label = "2" ]; 6 -> 2 [ label = "3" ]; 7 -> 8 [ label = "0" ]; 7 -> 31 [ label = "1" ]; 7 -> 25 [ label = "2" ]; 7 -> 7 [ label = "3" ]; 8 -> 9 [ label = "0" ]; 8 -> 7 [ label = "1" ]; 8 -> 11 [ label = "2" ]; 8 -> 7 [ label = "3" ]; 9 -> 10 [ label = "0" ]; 9 -> 16 [ label = "1" ]; 9 -> 43 [ label = "2" ]; 9 -> 35 [ label = "3" ]; 10 -> 11 [ label = "0" ]; 10 -> 2 [ label = "1" ]; 10 -> 25 [ label = "2" ]; 10 -> 28 [ label = "3" ]; 11 -> 12 [ label = "0" ]; 11 -> 20 [ label = "1" ]; 11 -> 35 [ label = "2" ]; 11 -> 28 [ label = "3" ]; 12 -> 13 [ label = "0" ]; 12 -> 13 [ label = "1" ]; 12 -> 16 [ label = "2" ]; 12 -> 30 [ label = "3" ]; 13 -> 14 [ label = "0" ]; 13 -> 2 [ label = "1" ]; 13 -> 4 [ label = "2" ]; 13 -> 22 [ label = "3" ]; 14 -> 7 [ label = "0" ]; 14 -> 15 [ label = "1" ]; 14 -> 17 [ label = "2" ]; 14 -> 29 [ label = "3" ]; 15 -> 16 [ label = "0" ]; 15 -> 2 [ label = "1" ]; 15 -> 15 [ label = "2" ]; 15 -> 44 [ label = "3" ]; 16 -> 17 [ label = "0" ]; 16 -> 21 [ label = "1" ]; 16 -> 41 [ label = "2" ]; 16 -> 3 [ label = "3" ]; 17 -> 12 [ label = "0" ]; 17 -> 18 [ label = "1" ]; 17 -> 2 [ label = "2" ]; 17 -> 8 [ label = "3" ]; 18 -> 11 [ label = "0" ]; 18 -> 8 [ label = "1" ]; 18 -> 7 [ label = "2" ]; 18 -> 19 [ label = "3" ]; 19 -> 20 [ label = "0" ]; 19 -> 22 [ label = "1" ]; 19 -> 25 [ label = "2" ]; 19 -> 15 [ label = "3" ]; 20 -> 21 [ label = "0" ]; 20 -> 24 [ label = "1" ]; 20 -> 44 [ label = "2" ]; 20 -> 22 [ label = "3" ]; 21 -> 10 [ label = "0" ]; 21 -> 22 [ label = "1" ]; 21 -> 17 [ label = "2" ]; 21 -> 11 [ label = "3" ]; 22 -> 13 [ label = "0" ]; 22 -> 20 [ label = "1" ]; 22 -> 2 [ label = "2" ]; 22 -> 23 [ label = "3" ]; 23 -> 24 [ label = "0" ]; 23 -> 5 [ label = "1" ]; 23 -> 25 [ label = "2" ]; 23 -> 14 [ label = "3" ]; 24 -> 25 [ label = "0" ]; 24 -> 1 [ label = "1" ]; 24 -> 41 [ label = "2" ]; 24 -> 24 [ label = "3" ]; 25 -> 26 [ label = "0" ]; 25 -> 11 [ label = "1" ]; 25 -> 29 [ label = "2" ]; 25 -> 21 [ label = "3" ]; 26 -> 27 [ label = "0" ]; 26 -> 14 [ label = "1" ]; 26 -> 38 [ label = "2" ]; 26 -> 15 [ label = "3" ]; 27 -> 18 [ label = "0" ]; 27 -> 28 [ label = "1" ]; 27 -> 1 [ label = "2" ]; 27 -> 30 [ label = "3" ]; 28 -> 29 [ label = "0" ]; 28 -> 2 [ label = "1" ]; 28 -> 14 [ label = "2" ]; 28 -> 16 [ label = "3" ]; 29 -> 11 [ label = "0" ]; 29 -> 13 [ label = "1" ]; 29 -> 27 [ label = "2" ]; 29 -> 7 [ label = "3" ]; 30 -> 12 [ label = "0" ]; 30 -> 2 [ label = "1" ]; 30 -> 31 [ label = "2" ]; 30 -> 2 [ label = "3" ]; 31 -> 1 [ label = "0" ]; 31 -> 9 [ label = "1" ]; 31 -> 32 [ label = "2" ]; 31 -> 9 [ label = "3" ]; 32 -> 19 [ label = "0" ]; 32 -> 33 [ label = "1" ]; 32 -> 33 [ label = "2" ]; 32 -> 34 [ label = "3" ]; 33 -> 19 [ label = "0" ]; 33 -> 26 [ label = "1" ]; 33 -> 19 [ label = "2" ]; 33 -> 13 [ label = "3" ]; 34 -> 26 [ label = "0" ]; 34 -> 35 [ label = "1" ]; 34 -> 9 [ label = "2" ]; 34 -> 7 [ label = "3" ]; 35 -> 15 [ label = "0" ]; 35 -> 36 [ label = "1" ]; 35 -> 20 [ label = "2" ]; 35 -> 25 [ label = "3" ]; 36 -> 37 [ label = "0" ]; 36 -> 38 [ label = "1" ]; 36 -> 13 [ label = "2" ]; 36 -> 38 [ label = "3" ]; 37 -> 24 [ label = "0" ]; 37 -> 31 [ label = "1" ]; 37 -> 37 [ label = "2" ]; 37 -> 23 [ label = "3" ]; 38 -> 39 [ label = "0" ]; 38 -> 40 [ label = "1" ]; 38 -> 37 [ label = "2" ]; 38 -> 34 [ label = "3" ]; 39 -> 40 [ label = "0" ]; 39 -> 19 [ label = "1" ]; 39 -> 31 [ label = "2" ]; 39 -> 19 [ label = "3" ]; 40 -> 41 [ label = "0" ]; 40 -> 17 [ label = "1" ]; 40 -> 13 [ label = "2" ]; 40 -> 11 [ label = "3" ]; 41 -> 14 [ label = "0" ]; 41 -> 7 [ label = "1" ]; 41 -> 11 [ label = "2" ]; 41 -> 42 [ label = "3" ]; 42 -> 20 [ label = "0" ]; 42 -> 43 [ label = "1" ]; 42 -> 21 [ label = "2" ]; 42 -> 37 [ label = "3" ]; 43 -> 23 [ label = "0" ]; 43 -> 14 [ label = "1" ]; 43 -> 36 [ label = "2" ]; 43 -> 22 [ label = "3" ]; 44 -> 17 [ label = "0" ]; 44 -> 23 [ label = "1" ]; 44 -> 24 [ label = "2" ]; 44 -> 33 [ label = "3" ]; }