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