#BEGIN: [Mon Sep 4 17:11:08 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest1 #INSTANCE1: /benchmark/random_instance/random_instance014_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance014_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance014_graph001.col /benchmark/random_instance/random_instance014_graph001_01.dat c /benchmark/random_instance/random_instance014_graph001.col c /benchmark/random_instance/random_instance014_graph001_01.dat TIMEOUT 1800 c send SIGTERM to CID 015a4707c670fe35f22277d014ee27e68ca1c672f2332476f364b0766b5a8f76 s 17 158 80 27 5 165 90 134 18 156 103 159 44 137 105 50 38 64 93 29 59 128 49 101 152 7 121 8 94 92 127 55 155 95 170 147 146 56 144 71 62 172 52 131 42 182 36 65 173 1 167 79 33 19 74 88 112 115 116 69 106 t 101 162 132 96 179 56 49 72 137 171 117 116 94 108 51 135 172 44 120 181 84 142 175 166 55 105 170 139 59 50 60 92 47 176 33 155 79 64 38 14 61 161 129 80 63 131 93 71 53 180 54 9 23 167 42 45 90 77 177 31 154 a YES a 1 5 7 8 17 18 19 27 29 33 36 38 42 44 49 50 52 55 56 59 62 64 65 69 71 74 79 80 88 90 92 93 94 95 101 103 105 106 112 115 116 121 127 128 131 134 137 144 146 147 152 155 156 158 159 165 167 170 172 173 182 a 1 5 7 8 17 18 19 27 29 33 36 38 42 44 49 50 52 55 56 59 62 64 69 71 74 79 80 88 90 92 93 94 95 101 103 105 106 112 115 116 121 127 128 131 134 137 144 146 147 152 155 156 158 159 165 167 170 172 173 179 182 a 1 5 7 8 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 64 69 71 74 79 80 88 90 92 93 94 95 101 103 105 106 112 115 116 121 127 128 131 134 137 144 146 147 152 155 156 158 159 165 167 170 172 173 179 182 a 1 5 7 8 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 64 69 71 74 79 80 88 90 92 93 94 95 101 103 105 106 112 115 116 121 127 128 129 134 137 144 146 147 152 155 156 158 159 165 167 170 172 173 179 182 a 1 5 7 8 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 64 69 71 74 79 80 88 90 92 93 94 95 101 103 105 106 112 115 116 121 127 128 129 131 134 137 144 146 147 152 155 156 158 159 165 167 170 172 173 182 a 1 5 7 8 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 64 69 71 74 79 80 88 90 92 93 94 95 101 103 105 106 112 115 116 121 127 128 129 131 134 137 144 146 147 152 155 156 158 165 167 170 172 173 179 182 a 5 7 8 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 64 69 71 74 79 80 88 90 92 93 94 95 101 103 105 106 112 115 116 121 127 128 129 131 134 137 144 146 147 152 155 156 158 159 165 167 170 172 173 179 182 a 5 7 8 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 64 69 71 74 79 80 88 90 92 93 94 95 101 103 105 106 112 115 116 121 127 128 129 131 134 137 144 146 147 152 155 156 158 159 167 170 172 173 179 182 a 5 7 8 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 64 69 71 74 79 80 88 90 92 93 94 95 101 103 105 106 112 115 116 121 127 128 129 131 134 137 144 146 147 152 155 156 158 159 165 167 170 172 173 179 a 5 6 7 8 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 64 69 71 74 79 80 88 90 92 94 95 101 103 105 106 112 115 116 121 127 128 129 131 134 137 144 146 147 152 155 156 158 159 165 167 170 172 173 179 a 5 6 7 8 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 64 69 71 74 79 80 88 90 92 94 95 101 103 105 106 110 112 115 116 121 127 128 129 131 134 137 144 146 147 152 155 156 158 159 165 167 170 172 173 a 5 6 7 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 64 69 71 74 79 80 88 90 92 94 95 101 103 105 106 110 112 115 116 121 127 128 129 131 134 137 144 146 147 152 155 156 158 159 165 167 170 172 173 179 a 5 6 8 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 64 69 71 74 79 80 88 90 92 94 95 101 103 105 106 110 112 115 116 121 127 128 129 131 134 137 144 146 147 152 155 156 158 159 165 167 170 172 173 179 a 5 6 7 8 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 64 69 71 74 79 80 88 90 92 94 95 101 103 105 106 110 112 115 116 121 127 128 129 131 134 137 144 146 147 152 155 156 158 159 165 167 170 172 173 179 a 5 6 7 8 9 17 18 19 27 33 36 42 44 49 50 51 52 55 56 59 62 64 69 71 74 79 80 88 90 92 94 95 101 103 105 106 110 112 115 116 121 127 128 129 131 134 137 144 146 147 152 155 156 158 159 165 167 170 172 173 179 a 5 6 7 8 9 17 19 27 33 36 42 44 49 50 51 52 55 56 59 62 64 69 71 74 79 80 88 90 92 94 95 101 103 105 106 110 112 115 116 121 127 128 129 131 134 137 144 146 147 152 155 156 158 159 165 167 170 172 173 179 182 a 5 6 7 8 9 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 64 69 71 74 79 80 88 90 92 94 95 101 103 105 106 110 112 115 116 121 127 128 129 131 134 137 144 146 147 152 155 156 158 159 165 167 170 172 179 182 a 5 6 7 8 9 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 64 69 71 74 79 80 88 90 92 94 95 101 103 105 106 110 112 115 116 121 127 128 129 131 134 137 144 146 152 155 156 158 159 165 167 170 172 173 179 182 a 5 6 7 8 9 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 64 69 71 74 79 80 88 90 92 94 95 101 103 105 106 110 112 115 116 121 127 128 129 131 134 137 144 146 147 152 155 156 158 159 165 167 170 173 179 182 a 5 6 7 8 9 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 74 79 80 88 90 92 94 95 97 101 103 105 106 110 112 115 116 121 127 128 129 131 134 137 144 146 147 152 155 156 158 159 165 167 170 173 179 182 a 5 6 7 8 9 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 74 79 80 88 90 92 94 95 97 101 103 105 106 110 112 115 116 121 127 128 129 131 134 137 144 146 147 152 155 156 158 159 165 167 170 172 173 182 a 5 6 7 8 9 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 72 74 79 80 88 90 92 94 95 97 101 103 105 106 110 112 115 116 127 128 129 131 134 137 144 146 147 152 155 156 158 159 165 167 170 172 173 182 a 5 6 7 8 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 72 74 79 80 88 90 92 94 95 97 101 103 105 106 110 112 115 116 127 128 129 131 134 137 144 146 147 152 156 158 159 165 167 170 172 173 182 a 5 6 7 8 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 72 74 79 80 88 90 92 94 95 97 101 103 105 106 109 110 112 115 116 127 128 129 131 134 137 144 146 147 152 156 158 159 165 167 170 173 182 a 5 6 7 8 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 74 79 80 88 90 92 94 95 97 101 103 105 106 109 110 112 115 116 121 127 128 129 131 134 137 144 146 147 152 156 158 159 165 167 170 173 182 a 5 6 7 8 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 74 79 80 88 90 92 94 95 97 101 103 105 106 109 110 112 115 116 121 127 128 129 131 134 137 144 146 147 152 156 158 159 165 167 170 179 182 a 6 7 8 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 74 79 80 88 90 92 94 95 97 101 103 105 106 109 110 112 115 116 121 127 128 129 131 134 137 144 146 147 152 155 156 158 159 165 167 170 179 182 a 6 7 8 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 74 79 80 88 90 92 94 95 97 101 103 105 106 109 110 112 115 116 121 127 128 129 131 134 137 144 146 147 152 155 156 158 159 165 167 170 173 182 a 6 7 8 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 74 79 80 88 90 92 94 95 97 101 103 105 106 109 110 112 115 116 121 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 182 a 5 6 7 8 9 17 18 19 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 74 79 80 88 90 92 94 95 97 101 103 105 106 109 110 112 115 116 121 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 182 a 5 7 8 9 17 18 19 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 74 79 80 88 90 92 94 95 97 101 103 105 106 109 110 112 115 116 121 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 174 182 a 5 6 7 8 9 17 18 19 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 74 80 88 90 92 94 95 97 101 103 105 106 109 110 112 115 116 121 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 174 182 a 6 7 8 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 74 80 88 90 92 94 95 97 101 103 105 106 109 110 112 115 116 121 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 174 182 a 6 7 8 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 74 80 88 90 92 94 95 97 101 103 105 106 109 110 112 115 116 121 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 174 179 182 a 6 7 8 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 74 79 80 88 90 92 94 95 97 101 103 105 106 109 110 112 116 121 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 174 179 182 a 6 7 8 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 74 79 80 88 90 92 94 95 97 101 103 105 106 109 110 112 116 121 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 174 179 a 6 7 8 9 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 74 79 80 88 90 92 94 95 97 101 103 105 106 109 110 112 116 121 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 174 179 a 6 7 8 9 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 74 79 80 88 90 92 94 95 97 101 103 105 106 109 110 112 115 116 121 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 170 173 174 179 a 6 7 8 9 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 74 79 80 88 90 92 94 95 97 101 103 105 106 109 110 112 115 116 121 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 170 172 174 179 a 7 8 9 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 74 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 121 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 170 172 174 179 a 7 8 9 12 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 74 79 80 88 90 92 93 95 97 101 103 105 106 109 110 112 115 116 121 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 170 172 174 179 a 6 7 8 9 12 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 74 79 80 88 90 92 95 97 101 103 105 106 109 110 112 115 116 121 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 170 172 174 179 a 6 7 8 9 12 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 79 80 88 90 92 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 170 172 174 179 a 6 7 8 9 12 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 155 156 158 159 165 170 172 174 179 a 6 8 9 12 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 155 156 158 159 165 170 172 173 174 179 a 6 8 9 12 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 170 172 174 179 a 6 8 9 12 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 170 174 179 a 6 8 9 12 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 170 173 179 a 6 8 9 12 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 a 8 9 12 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 a 8 9 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 a 8 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 a 8 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 167 170 173 174 a 8 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 167 170 172 173 174 a 8 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 167 170 172 174 a 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 167 170 172 174 179 a 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 172 174 179 a 17 18 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 172 173 174 179 a 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 172 173 174 a 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 174 182 a 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 72 74 77 79 80 88 90 92 93 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 174 182 a 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 182 a 9 17 18 19 27 33 36 38 42 44 49 50 51 52 55 56 59 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 174 182 a 9 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 174 182 a 9 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 182 a 5 9 17 19 27 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 182 a 5 9 17 19 27 33 36 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 85 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 182 a 5 9 17 19 27 33 36 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 85 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 173 177 a 5 9 17 19 27 33 36 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 85 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 170 172 173 a 5 9 17 19 27 33 36 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 85 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 172 173 177 a 5 17 19 27 33 36 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 85 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 172 173 174 177 a 5 19 27 33 36 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 85 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 151 152 155 156 158 159 165 167 172 173 174 177 a 5 19 33 36 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 85 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 151 152 155 156 158 159 165 167 172 173 174 177 179 a 5 19 27 33 36 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 85 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 151 152 155 156 158 159 165 167 173 174 177 179 a 19 27 28 33 36 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 85 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 151 152 155 156 158 159 165 167 173 174 177 179 a 19 27 28 33 36 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 85 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 151 152 155 156 158 159 165 167 172 173 174 179 a 9 19 27 28 33 36 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 85 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 151 152 155 156 158 159 165 167 172 173 179 a 5 9 19 27 28 33 36 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 85 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 151 152 155 156 159 165 167 172 173 179 a 5 9 19 27 28 33 36 42 44 49 50 51 52 56 59 61 62 69 71 72 74 77 79 80 85 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 151 152 155 156 159 165 167 172 173 174 179 a 5 9 19 27 28 33 36 42 44 49 50 51 52 56 59 61 62 69 71 72 74 77 80 85 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 151 152 155 156 159 165 167 172 173 174 177 179 a 5 9 19 27 28 33 36 42 44 49 50 51 52 56 59 61 62 69 71 72 74 77 80 85 88 90 92 93 94 95 97 101 103 105 106 109 112 115 116 126 127 128 129 131 137 144 146 147 151 152 155 156 158 159 165 167 172 173 174 177 179 a 5 9 17 19 27 28 33 36 42 44 49 50 51 52 56 59 61 62 69 71 72 74 77 80 85 88 90 92 93 94 95 97 101 103 105 106 109 112 115 116 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 172 173 174 177 179 a 5 9 17 19 27 28 33 36 38 42 44 49 50 51 52 56 59 61 62 69 71 72 74 77 80 88 90 92 93 94 95 97 101 103 105 106 109 112 115 116 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 172 173 174 177 179 a 5 7 9 17 19 27 28 33 36 38 42 44 49 50 51 52 56 59 61 62 69 71 72 74 77 80 88 90 92 93 94 95 97 101 103 105 106 109 112 115 116 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 172 173 174 177 a 5 7 9 17 19 27 28 33 36 38 42 44 49 50 51 52 56 59 61 62 69 71 72 74 77 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 129 131 137 144 146 147 152 155 156 158 159 165 167 172 173 174 177 a 5 7 8 9 17 19 27 28 33 36 38 42 44 49 50 51 52 56 59 61 62 69 71 72 74 77 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 129 131 137 144 146 147 152 155 156 158 159 165 167 172 173 174 a 5 8 9 17 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 129 131 137 144 146 147 152 155 156 158 159 165 167 172 173 174 a 5 8 9 17 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 172 173 a 5 9 17 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 172 173 a 5 9 17 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 172 174 a 9 17 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 172 174 a 9 17 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 172 179 a 9 17 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 172 173 a 9 17 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 165 167 172 173 174 a 9 17 19 27 28 33 36 38 42 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 152 155 156 158 159 165 167 172 173 174 a 9 19 27 28 33 36 38 42 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 152 155 156 158 159 165 167 172 173 174 a 9 19 27 28 33 36 38 42 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 173 174 181 a 9 19 27 28 33 36 38 42 49 50 51 52 55 56 59 61 62 69 71 72 74 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 173 174 179 181 a 9 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 173 179 181 a 9 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 174 179 181 a 9 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 167 172 173 174 179 181 a 9 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 79 80 88 90 92 93 94 95 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 173 174 179 181 a 9 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 79 80 88 90 92 93 94 95 97 101 103 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 173 174 179 181 a 9 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 173 174 181 a 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 173 174 181 a 8 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 173 174 181 a 8 19 27 28 33 36 38 42 44 49 50 51 52 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 173 174 181 a 8 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 173 174 a 8 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 174 181 a 8 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 172 174 181 182 a 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 174 181 182 a 19 27 28 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 173 174 181 182 a 19 27 28 33 36 38 42 44 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 173 174 181 182 a 7 19 27 28 33 36 38 42 44 50 51 52 55 56 59 61 62 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 173 174 181 182 a 7 27 28 33 36 38 42 44 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 173 174 181 182 a 7 19 27 28 33 36 38 42 44 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 173 174 181 182 a 7 8 19 27 28 33 36 38 42 44 50 51 52 55 56 59 61 62 69 71 72 74 79 80 88 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 173 174 181 182 a 8 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 79 80 88 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 173 174 181 182 a 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 173 174 181 182 a 19 27 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 137 144 146 147 151 155 156 158 159 165 167 172 173 174 182 a 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 132 137 144 146 147 151 155 156 158 159 165 167 172 173 174 182 a 8 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 132 137 144 146 147 151 155 156 158 159 165 167 172 174 182 a 8 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 132 137 144 146 147 151 155 156 158 159 165 167 172 181 182 a 8 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 126 127 128 129 131 132 137 146 147 151 155 156 158 159 165 167 172 173 181 182 a 8 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 127 128 129 131 132 134 137 146 147 151 155 156 158 159 165 167 172 173 181 182 a 8 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 127 128 129 131 132 134 137 144 146 147 151 155 156 158 159 165 167 172 181 182 a 8 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 127 128 129 131 132 134 137 144 146 147 151 156 158 159 165 167 172 173 181 182 a 8 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 103 105 106 109 110 112 115 116 117 127 128 129 131 132 134 137 144 146 147 151 156 158 165 167 172 173 181 182 a 8 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 80 82 88 90 92 93 94 95 97 101 103 104 105 106 109 110 112 115 116 117 127 128 129 131 132 134 137 144 146 147 151 156 158 165 167 172 173 181 182 a 8 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 80 82 88 90 92 93 94 95 97 101 103 104 105 106 109 110 111 112 115 116 117 127 128 129 131 132 134 137 144 146 147 151 156 158 167 172 173 181 182 a 8 19 28 33 36 38 42 44 47 49 50 51 52 55 56 59 61 62 69 71 72 74 77 80 82 88 90 92 93 94 95 97 101 103 104 105 106 109 110 111 115 116 117 127 128 129 131 132 134 137 144 146 147 151 156 158 167 172 173 181 182 a 8 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 103 104 105 106 109 110 111 115 116 117 127 128 129 131 132 134 137 144 146 147 151 156 158 167 172 173 181 182 a 8 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 103 104 105 106 109 110 111 112 115 116 117 127 128 129 131 132 134 137 144 146 147 151 156 158 167 172 173 182 a 8 19 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 103 104 105 106 109 110 111 112 115 116 117 127 128 129 131 132 134 137 144 146 147 151 156 158 167 172 173 181 182 a 8 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 101 103 104 105 106 109 110 111 112 115 116 117 127 128 129 131 132 134 137 144 146 147 151 156 158 167 172 173 181 182 a 8 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 103 104 105 106 109 110 111 112 115 116 117 127 128 129 131 132 134 137 144 146 147 151 156 158 167 172 173 181 a 8 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 103 104 105 106 109 110 111 112 115 116 117 127 128 129 131 132 134 137 144 146 147 151 155 156 158 167 172 173 a 8 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 103 104 105 106 109 110 111 112 115 116 117 127 128 129 131 132 134 137 144 146 147 151 155 156 158 167 172 182 a 8 14 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 103 104 105 106 109 110 111 112 115 116 117 127 128 129 131 132 134 137 144 146 147 151 155 156 158 167 172 a 8 14 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 103 104 105 106 109 110 111 112 115 116 117 127 128 129 131 132 134 144 146 147 151 155 156 158 167 172 182 a 14 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 103 104 105 106 109 110 111 112 115 116 117 127 128 129 131 132 134 137 144 146 147 151 155 156 158 167 172 182 a 14 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 103 104 105 106 109 110 111 112 115 116 117 127 128 129 131 132 134 137 144 146 147 151 155 156 158 167 173 182 a 14 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 103 104 105 106 109 110 111 112 115 116 117 127 128 129 131 132 134 137 144 146 147 151 156 158 167 173 181 182 a 14 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 104 105 106 109 110 111 112 115 116 117 127 128 129 131 132 134 137 141 144 146 147 151 156 158 167 173 181 182 a 14 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 104 105 106 109 110 111 112 115 116 117 127 128 129 131 132 134 137 141 144 146 147 151 154 156 158 167 173 181 a 14 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 104 105 106 109 110 111 112 115 116 117 127 128 129 131 132 134 137 141 146 147 151 154 155 156 158 167 173 181 a 14 19 28 33 36 38 42 44 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 104 105 106 109 110 111 112 115 116 117 127 128 129 131 132 134 137 141 144 146 147 151 154 155 156 158 167 173 181 a 14 19 28 33 36 38 42 44 47 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 104 105 106 109 110 111 115 116 117 127 128 129 131 132 134 137 141 144 146 147 151 154 155 156 158 167 173 181 a 19 28 33 36 38 42 44 47 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 104 105 106 109 110 111 115 116 117 127 128 129 131 132 134 137 141 144 146 147 151 154 155 156 158 167 173 181 a 19 28 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 104 105 106 109 110 111 112 115 116 117 127 128 129 131 132 134 137 141 144 146 147 151 154 155 156 158 167 173 181 a 19 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 104 105 106 109 110 111 112 115 116 117 127 128 129 131 132 134 137 141 142 144 146 147 151 154 155 156 158 167 173 181 a 9 19 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 104 105 106 109 110 111 112 115 116 117 127 128 129 131 132 134 137 141 142 144 146 147 151 154 155 156 158 167 181 a 9 19 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 104 105 106 109 110 111 112 116 117 127 128 129 131 132 134 137 141 142 144 146 147 151 154 155 156 158 167 179 181 a 9 14 19 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 104 105 106 109 110 111 116 117 127 128 129 131 132 134 137 141 142 144 146 147 151 154 155 156 158 167 179 181 a 9 14 19 33 36 38 42 44 49 50 51 52 55 56 59 61 62 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 104 105 106 110 111 116 117 120 127 128 129 131 132 134 137 141 142 144 146 147 151 154 155 156 158 167 179 181 a 9 14 19 33 36 38 42 44 49 50 51 52 55 56 59 61 62 63 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 105 106 110 111 116 117 120 127 128 129 131 132 134 137 141 142 144 146 147 151 154 155 156 158 167 179 181 a 9 14 19 33 38 42 44 49 50 51 52 55 56 59 61 62 63 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 105 106 110 111 116 117 120 127 128 129 131 132 134 137 141 142 144 146 147 151 154 155 156 158 167 172 179 181 a 9 14 19 33 38 42 44 49 50 51 55 56 59 61 62 63 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 105 106 110 111 116 117 120 127 128 129 131 132 134 137 141 142 144 146 147 151 154 155 156 158 167 170 172 179 181 a 9 14 33 38 42 44 47 49 50 51 55 56 59 61 62 63 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 105 106 110 111 116 117 120 127 128 129 131 132 134 137 141 142 144 146 147 151 154 155 156 158 167 170 172 179 181 a 9 14 33 38 42 44 47 49 50 51 55 56 59 61 62 63 69 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 105 106 110 111 116 117 120 127 128 129 131 132 134 137 141 142 146 147 151 154 155 156 158 167 170 172 176 179 181 a 9 14 33 38 42 44 47 49 50 51 55 56 59 61 62 63 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 105 106 110 111 116 117 120 127 128 129 131 132 134 135 137 141 142 146 147 151 154 155 156 158 167 170 172 176 179 181 a 9 14 33 38 42 44 47 49 50 51 55 56 59 61 63 71 72 74 77 79 80 82 88 90 92 93 94 95 97 101 105 106 110 111 116 117 120 127 128 129 131 132 134 135 137 141 142 146 147 151 154 155 156 158 167 170 172 176 179 180 181 a 9 14 33 38 42 44 47 49 50 51 55 56 59 61 63 71 72 74 77 79 80 82 84 88 90 92 93 94 97 101 105 106 110 111 116 117 120 127 128 129 131 132 134 135 137 141 142 146 147 151 154 155 156 158 167 170 172 176 179 180 181 a 9 14 33 38 42 44 47 49 50 51 55 56 59 61 63 71 72 74 77 79 80 82 84 88 90 92 93 94 96 97 101 105 106 110 116 117 120 127 128 129 131 132 134 135 137 141 142 146 147 151 154 155 156 158 167 170 172 176 179 180 181 a 9 14 33 38 42 44 47 49 50 51 55 56 59 61 63 71 72 77 79 80 82 84 88 90 92 93 94 96 97 101 105 106 108 110 116 117 120 127 128 129 131 132 134 135 137 141 142 146 147 151 154 155 156 158 167 170 172 176 179 180 181 a 9 14 33 38 42 44 47 49 50 51 55 56 59 61 63 71 72 77 79 80 82 84 88 90 92 93 94 96 97 101 105 106 108 110 116 117 120 127 128 129 131 132 135 137 141 142 146 147 151 154 155 156 158 167 170 172 176 177 179 180 181 a 9 14 31 33 38 42 44 47 49 50 51 55 56 59 61 63 71 72 77 79 80 82 84 88 90 92 93 94 96 97 101 105 106 108 110 116 117 120 127 128 129 131 132 135 137 141 142 146 147 151 154 155 158 167 170 172 176 177 179 180 181 a 9 14 31 33 38 42 44 47 49 50 51 55 56 59 61 63 71 72 77 79 80 82 84 88 90 92 93 94 96 97 101 105 106 108 110 116 117 120 127 128 129 131 132 135 137 141 142 147 151 154 155 158 167 170 172 175 176 177 179 180 181 a 9 14 23 31 33 38 42 44 47 49 50 51 55 56 59 61 63 71 72 77 79 80 82 84 88 90 92 93 94 96 97 101 105 106 108 110 116 117 120 128 129 131 132 135 137 141 142 147 151 154 155 158 167 170 172 175 176 177 179 180 181 a 9 14 23 31 33 38 42 44 47 49 50 51 55 56 59 61 63 71 72 77 79 80 82 84 88 90 92 93 94 96 97 101 105 108 110 116 117 120 128 129 131 132 135 137 141 142 147 151 154 155 158 166 167 170 172 175 176 177 179 180 181 a 9 14 23 31 33 38 42 44 47 49 50 51 55 56 59 61 63 71 72 77 79 80 82 84 88 90 92 93 94 96 97 101 105 108 110 116 117 120 128 129 131 132 135 137 139 142 147 151 154 155 158 166 167 170 172 175 176 177 179 180 181 a 9 14 23 31 33 38 42 44 47 49 50 51 55 56 59 61 63 71 72 77 79 80 82 84 90 92 93 94 96 97 101 105 108 110 116 117 120 128 129 131 132 135 137 139 142 147 151 154 155 158 162 166 167 170 172 175 176 177 179 180 181 a 9 14 23 31 33 38 42 44 47 49 50 51 55 56 59 61 63 71 72 77 79 80 84 90 92 93 94 96 97 101 105 108 110 116 117 120 128 129 131 132 135 137 139 142 147 151 154 155 158 161 162 166 167 170 172 175 176 177 179 180 181 a 9 14 23 31 33 38 42 44 47 49 50 51 53 55 56 59 61 63 71 72 77 79 80 84 90 92 93 94 96 97 101 105 108 110 116 117 120 129 131 132 135 137 139 142 147 151 154 155 158 161 162 166 167 170 172 175 176 177 179 180 181 a 9 14 23 31 33 38 42 44 47 49 50 51 53 55 56 59 60 61 63 71 72 77 79 80 84 90 92 93 94 96 101 105 108 110 116 117 120 129 131 132 135 137 139 142 147 151 154 155 158 161 162 166 167 170 172 175 176 177 179 180 181 a 9 14 23 31 33 38 42 44 45 47 49 50 51 53 55 56 59 60 61 63 71 72 77 79 80 84 90 92 93 94 96 101 105 108 110 116 117 120 129 131 132 135 137 139 142 147 154 155 158 161 162 166 167 170 172 175 176 177 179 180 181 a 9 14 23 31 33 38 42 44 45 47 49 50 51 53 55 56 59 60 61 63 64 71 72 77 79 80 84 90 92 93 94 96 101 105 108 116 117 120 129 131 132 135 137 139 142 147 154 155 158 161 162 166 167 170 172 175 176 177 179 180 181 a 9 14 23 31 33 38 42 44 45 47 49 50 51 53 54 55 56 59 60 61 63 64 71 72 77 79 80 84 90 92 93 94 96 101 105 108 116 117 120 129 131 132 135 137 139 142 154 155 158 161 162 166 167 170 172 175 176 177 179 180 181 a 9 14 23 31 33 38 42 44 45 47 49 50 51 53 54 55 56 59 60 61 63 64 71 72 77 79 80 84 90 92 93 94 96 101 105 108 116 117 120 129 131 132 135 137 139 142 154 155 161 162 166 167 170 171 172 175 176 177 179 180 181 c Step: 178 #END: [Mon Sep 4 17:41:08 2023]