digraph zulu { node [shape = doublecircle]; 2 5 9 11 12 13 14 17 18 19 21 22 24 26 30 31 32 33 34 36 37 38 39 41 43 44 45 46 47 51 53 55 57 59 60 64 66 68 71 72 73 74 75 78 79 ; node [shape = circle]; 1 -> 2 [ label = "0" ]; 1 -> 79 [ label = "1" ]; 2 -> 3 [ label = "0" ]; 2 -> 11 [ label = "1" ]; 3 -> 4 [ label = "0" ]; 3 -> 13 [ label = "1" ]; 4 -> 5 [ label = "0" ]; 4 -> 39 [ label = "1" ]; 5 -> 6 [ label = "0" ]; 5 -> 22 [ label = "1" ]; 6 -> 7 [ label = "0" ]; 6 -> 21 [ label = "1" ]; 7 -> 8 [ label = "0" ]; 7 -> 51 [ label = "1" ]; 8 -> 9 [ label = "0" ]; 8 -> 44 [ label = "1" ]; 9 -> 4 [ label = "0" ]; 9 -> 10 [ label = "1" ]; 10 -> 11 [ label = "0" ]; 10 -> 45 [ label = "1" ]; 11 -> 12 [ label = "0" ]; 11 -> 6 [ label = "1" ]; 12 -> 2 [ label = "0" ]; 12 -> 13 [ label = "1" ]; 13 -> 14 [ label = "0" ]; 13 -> 70 [ label = "1" ]; 14 -> 15 [ label = "0" ]; 14 -> 10 [ label = "1" ]; 15 -> 16 [ label = "0" ]; 15 -> 57 [ label = "1" ]; 16 -> 17 [ label = "0" ]; 16 -> 56 [ label = "1" ]; 17 -> 18 [ label = "0" ]; 17 -> 35 [ label = "1" ]; 18 -> 19 [ label = "0" ]; 18 -> 18 [ label = "1" ]; 19 -> 20 [ label = "0" ]; 19 -> 65 [ label = "1" ]; 20 -> 14 [ label = "0" ]; 20 -> 21 [ label = "1" ]; 21 -> 22 [ label = "0" ]; 21 -> 26 [ label = "1" ]; 22 -> 23 [ label = "0" ]; 22 -> 52 [ label = "1" ]; 23 -> 24 [ label = "0" ]; 23 -> 69 [ label = "1" ]; 24 -> 25 [ label = "0" ]; 24 -> 78 [ label = "1" ]; 25 -> 10 [ label = "0" ]; 25 -> 26 [ label = "1" ]; 26 -> 27 [ label = "0" ]; 26 -> 26 [ label = "1" ]; 27 -> 12 [ label = "0" ]; 27 -> 28 [ label = "1" ]; 28 -> 29 [ label = "0" ]; 28 -> 76 [ label = "1" ]; 29 -> 6 [ label = "0" ]; 29 -> 30 [ label = "1" ]; 30 -> 31 [ label = "0" ]; 30 -> 11 [ label = "1" ]; 31 -> 13 [ label = "0" ]; 31 -> 32 [ label = "1" ]; 32 -> 33 [ label = "0" ]; 32 -> 31 [ label = "1" ]; 33 -> 34 [ label = "0" ]; 33 -> 48 [ label = "1" ]; 34 -> 35 [ label = "0" ]; 34 -> 27 [ label = "1" ]; 35 -> 36 [ label = "0" ]; 35 -> 30 [ label = "1" ]; 36 -> 37 [ label = "0" ]; 36 -> 40 [ label = "1" ]; 37 -> 38 [ label = "0" ]; 37 -> 77 [ label = "1" ]; 38 -> 39 [ label = "0" ]; 38 -> 40 [ label = "1" ]; 39 -> 8 [ label = "0" ]; 39 -> 1 [ label = "1" ]; 40 -> 41 [ label = "0" ]; 40 -> 56 [ label = "1" ]; 41 -> 42 [ label = "0" ]; 41 -> 49 [ label = "1" ]; 42 -> 26 [ label = "0" ]; 42 -> 43 [ label = "1" ]; 43 -> 41 [ label = "0" ]; 43 -> 44 [ label = "1" ]; 44 -> 18 [ label = "0" ]; 44 -> 45 [ label = "1" ]; 45 -> 46 [ label = "0" ]; 45 -> 48 [ label = "1" ]; 46 -> 47 [ label = "0" ]; 46 -> 21 [ label = "1" ]; 47 -> 9 [ label = "0" ]; 47 -> 21 [ label = "1" ]; 48 -> 1 [ label = "0" ]; 48 -> 31 [ label = "1" ]; 49 -> 50 [ label = "0" ]; 49 -> 51 [ label = "1" ]; 50 -> 25 [ label = "0" ]; 50 -> 46 [ label = "1" ]; 51 -> 52 [ label = "0" ]; 51 -> 70 [ label = "1" ]; 52 -> 53 [ label = "0" ]; 52 -> 64 [ label = "1" ]; 53 -> 42 [ label = "0" ]; 53 -> 54 [ label = "1" ]; 54 -> 19 [ label = "0" ]; 54 -> 55 [ label = "1" ]; 55 -> 6 [ label = "0" ]; 55 -> 56 [ label = "1" ]; 56 -> 57 [ label = "0" ]; 56 -> 63 [ label = "1" ]; 57 -> 58 [ label = "0" ]; 57 -> 40 [ label = "1" ]; 58 -> 59 [ label = "0" ]; 58 -> 62 [ label = "1" ]; 59 -> 18 [ label = "0" ]; 59 -> 60 [ label = "1" ]; 60 -> 61 [ label = "0" ]; 60 -> 27 [ label = "1" ]; 61 -> 43 [ label = "0" ]; 61 -> 33 [ label = "1" ]; 62 -> 53 [ label = "0" ]; 62 -> 3 [ label = "1" ]; 63 -> 18 [ label = "0" ]; 63 -> 44 [ label = "1" ]; 64 -> 1 [ label = "0" ]; 64 -> 65 [ label = "1" ]; 65 -> 66 [ label = "0" ]; 65 -> 40 [ label = "1" ]; 66 -> 67 [ label = "0" ]; 66 -> 69 [ label = "1" ]; 67 -> 61 [ label = "0" ]; 67 -> 68 [ label = "1" ]; 68 -> 57 [ label = "0" ]; 68 -> 54 [ label = "1" ]; 69 -> 38 [ label = "0" ]; 69 -> 44 [ label = "1" ]; 70 -> 71 [ label = "0" ]; 70 -> 75 [ label = "1" ]; 71 -> 72 [ label = "0" ]; 71 -> 73 [ label = "1" ]; 72 -> 66 [ label = "0" ]; 72 -> 64 [ label = "1" ]; 73 -> 74 [ label = "0" ]; 73 -> 37 [ label = "1" ]; 74 -> 59 [ label = "0" ]; 74 -> 29 [ label = "1" ]; 75 -> 76 [ label = "0" ]; 75 -> 59 [ label = "1" ]; 76 -> 38 [ label = "0" ]; 76 -> 49 [ label = "1" ]; 77 -> 70 [ label = "0" ]; 77 -> 29 [ label = "1" ]; 78 -> 43 [ label = "0" ]; 78 -> 65 [ label = "1" ]; 79 -> 56 [ label = "0" ]; 79 -> 72 [ label = "1" ]; }