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