#BEGIN: [Tue Sep 26 03:56:24 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest1 #INSTANCE1: /benchmark/random_instance/random_instance016_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance016_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_instance016_graph001.col /benchmark/random_instance/random_instance016_graph001_01.dat c /benchmark/random_instance/random_instance016_graph001.col c /benchmark/random_instance/random_instance016_graph001_01.dat TIMEOUT 1800 c send SIGTERM to CID fd7db7450ba955f114e9ecef450ad134b55cfe6a5eea1938c871bb1d49757e99 s 97 115 47 40 71 59 88 6 32 7 91 150 72 55 10 142 136 184 200 22 131 61 204 35 201 13 111 190 69 177 1 123 31 140 208 189 83 186 132 58 36 121 76 133 206 89 41 29 171 34 183 162 11 191 124 144 33 17 141 51 120 78 127 53 86 148 207 154 t 193 58 149 41 15 126 53 161 12 190 71 180 115 140 33 186 133 84 95 23 47 146 118 31 35 68 121 27 128 181 52 122 6 156 40 132 177 188 46 191 62 169 105 111 125 18 34 108 147 67 100 29 144 200 179 114 207 11 36 173 78 21 94 69 50 124 184 137 a YES a 1 6 7 10 11 13 17 22 29 31 32 33 34 35 36 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 88 89 91 97 111 115 120 121 123 124 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 183 184 186 189 190 191 200 201 204 206 207 208 a 1 6 7 10 11 13 17 22 29 31 32 33 34 35 36 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 88 89 91 97 111 115 120 121 123 124 125 127 131 132 133 136 140 141 142 144 148 150 154 162 171 177 183 184 186 189 190 191 200 201 206 207 208 a 1 6 7 10 11 13 17 22 29 31 32 33 34 35 36 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 89 91 97 111 115 120 121 123 124 125 127 131 132 133 136 140 141 142 144 148 150 154 162 171 175 177 183 184 186 189 190 191 200 201 206 207 208 a 1 6 7 10 11 13 14 17 22 29 31 32 33 35 36 40 41 47 51 53 55 58 59 61 69 71 72 76 78 83 86 89 91 97 111 115 120 121 123 124 125 127 131 132 133 136 140 141 142 144 148 150 154 162 171 175 177 183 184 186 189 190 191 200 201 206 207 208 a 1 6 7 10 11 13 14 17 22 29 31 32 33 35 36 40 41 47 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 115 120 121 123 124 125 127 131 132 133 136 140 141 144 148 150 154 162 171 175 177 183 184 186 189 190 191 200 201 206 207 208 a 1 6 7 10 11 13 14 17 21 22 29 31 32 33 35 36 40 41 47 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 120 121 123 124 125 127 131 132 133 136 140 141 144 148 150 154 162 171 175 177 183 184 186 189 190 191 200 201 206 207 208 a 1 6 10 11 13 14 17 21 22 29 31 32 33 35 36 40 41 47 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 115 120 121 123 124 125 127 131 132 133 136 140 141 144 148 150 154 162 171 175 177 183 184 186 189 190 191 200 201 206 207 208 a 1 6 10 11 13 14 17 21 22 29 31 32 33 35 36 40 41 47 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 115 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 162 171 175 177 183 184 186 189 190 191 200 201 204 206 207 208 a 1 6 10 11 13 14 17 21 22 29 31 32 33 35 36 40 41 47 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 115 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 156 162 171 175 177 183 184 186 189 190 191 200 201 204 206 207 a 1 6 11 13 14 17 21 22 29 31 32 33 35 36 40 41 47 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 156 162 171 175 177 183 184 186 189 190 191 200 201 204 206 207 a 6 7 11 13 14 17 21 22 29 31 32 33 35 36 40 41 47 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 156 162 171 175 177 183 184 186 189 190 191 200 201 204 206 207 a 6 7 11 13 14 17 21 22 29 31 32 33 35 36 40 41 47 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 156 162 171 175 177 183 184 186 189 190 191 200 201 204 206 208 a 6 11 13 14 17 21 22 29 31 32 33 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 156 162 171 175 177 183 184 186 189 190 191 200 201 204 206 208 a 6 7 11 13 14 17 21 29 31 32 33 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 156 162 171 175 177 183 184 186 189 190 191 200 201 204 206 208 a 7 11 13 14 17 21 22 29 31 32 33 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 156 162 171 175 177 183 184 186 189 190 191 200 201 204 206 208 a 7 11 13 17 21 22 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 156 162 171 175 177 183 184 186 189 190 191 200 201 204 206 208 a 7 11 13 17 21 22 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 156 162 171 175 177 183 184 186 189 190 191 200 204 206 207 208 a 7 11 13 17 21 22 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 156 162 171 175 177 183 184 189 190 191 200 201 204 206 207 208 a 7 13 17 21 22 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 156 162 171 175 177 183 184 186 189 190 191 200 201 204 206 207 208 a 6 7 13 17 21 22 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 156 162 171 175 177 183 184 186 189 190 191 200 201 204 206 207 a 6 7 13 17 21 22 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 84 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 156 162 175 177 183 184 186 189 190 191 200 201 204 206 207 a 6 13 17 21 22 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 84 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 156 162 175 177 183 184 186 189 190 191 200 201 204 206 207 208 a 6 11 13 17 21 22 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 84 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 156 162 175 177 183 184 186 189 190 191 200 201 204 206 208 a 6 11 13 17 21 22 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 84 86 89 91 97 111 115 119 120 121 123 124 127 131 133 136 140 141 144 148 150 154 156 157 162 175 177 183 184 186 189 190 191 200 201 204 206 208 a 11 13 17 21 22 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 84 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 156 157 162 175 177 183 184 186 189 190 191 200 201 204 206 208 a 7 11 13 17 21 22 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 84 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 156 157 162 175 177 183 184 186 189 190 191 200 201 204 208 a 7 11 13 17 21 22 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 84 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 156 157 162 175 177 183 184 186 189 191 200 201 204 206 208 a 7 11 13 17 21 22 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 84 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 154 156 157 162 175 177 183 184 186 189 190 191 201 204 206 208 a 7 11 13 17 21 22 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 84 86 89 91 97 111 115 119 120 121 123 124 131 132 133 136 140 141 144 148 149 150 154 156 157 162 175 177 183 184 186 189 190 191 201 204 206 208 a 7 11 13 17 21 22 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 84 86 89 91 97 111 115 119 120 121 123 124 131 132 133 136 140 141 144 148 149 150 156 157 162 175 177 183 184 186 189 190 191 200 201 204 206 208 a 7 11 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 84 86 89 91 97 111 115 119 120 121 123 124 131 132 133 136 140 141 144 148 149 150 156 157 162 175 177 183 184 186 189 190 191 200 201 206 208 a 7 11 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 84 86 89 91 97 111 115 119 120 121 123 124 131 132 133 136 140 141 144 148 149 150 156 157 162 175 177 183 184 186 189 190 191 200 201 204 208 a 7 11 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 84 86 89 91 97 111 115 119 120 121 123 124 131 132 133 136 140 141 144 148 149 150 152 156 157 162 175 177 183 184 186 189 190 191 200 204 208 a 7 11 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 115 119 120 121 123 124 131 132 133 136 140 141 144 148 149 150 152 156 157 162 171 175 177 183 184 186 189 190 191 200 204 208 a 7 11 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 115 119 120 121 123 124 131 132 133 136 140 141 144 148 149 150 152 154 156 157 162 171 175 177 183 184 186 189 190 200 204 208 a 7 11 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 115 119 120 121 123 124 131 132 133 136 140 141 144 148 149 150 152 154 156 157 162 171 175 177 183 184 186 189 190 191 200 208 a 6 7 11 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 78 83 86 89 91 97 111 115 119 120 121 123 124 131 132 133 136 140 141 144 148 149 150 152 154 156 157 162 171 175 177 183 184 186 189 190 191 200 208 a 6 7 11 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 78 83 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 152 154 156 157 162 171 175 177 183 184 186 189 190 191 200 208 a 6 11 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 78 83 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 152 154 156 157 162 171 172 175 177 183 184 186 189 190 191 200 208 a 11 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 78 83 86 89 91 97 111 115 119 120 121 123 124 127 131 132 133 136 140 141 144 148 150 152 154 156 157 162 171 172 175 177 183 184 186 189 190 191 200 204 208 a 11 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 78 83 86 89 91 97 111 115 119 120 121 123 124 127 128 132 133 136 140 141 144 148 150 152 154 156 157 162 171 172 175 177 183 184 186 189 190 191 200 204 208 a 11 13 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 78 83 86 89 91 97 111 115 119 120 121 123 124 127 128 132 133 136 140 141 144 148 150 152 154 156 157 162 171 172 175 177 183 184 186 189 190 191 200 204 206 208 a 11 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 78 83 86 89 91 97 111 115 119 120 121 123 124 127 128 132 133 136 140 141 144 148 150 152 154 156 157 162 171 172 175 177 183 184 186 189 191 200 204 206 208 a 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 111 115 119 120 121 123 124 127 128 132 133 136 140 141 144 148 150 152 154 156 157 162 171 172 175 177 183 184 186 189 191 200 204 206 208 a 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 107 111 115 119 121 123 124 127 128 132 133 136 140 141 144 148 150 152 154 156 157 162 171 172 175 177 183 184 186 189 191 200 204 206 208 a 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 107 111 115 119 121 123 124 127 128 132 133 136 140 141 144 148 150 152 154 156 157 162 171 172 175 177 183 184 186 189 190 191 200 204 206 a 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 86 89 91 97 107 111 115 119 121 123 124 127 128 129 132 133 136 140 141 144 148 150 152 154 156 157 162 171 172 175 177 183 184 186 189 190 191 200 204 206 a 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 86 89 91 97 107 111 115 119 123 124 127 128 129 132 133 136 140 141 144 148 150 152 154 156 157 162 171 172 175 177 183 184 186 189 190 191 200 204 206 208 a 11 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 86 89 91 97 107 111 115 119 123 124 127 128 129 132 133 136 140 141 144 148 150 152 154 156 157 162 171 172 175 177 183 184 186 189 190 191 200 204 206 a 11 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 86 89 91 97 107 111 115 119 121 123 124 127 128 129 132 133 136 140 141 144 148 150 152 154 156 157 162 171 172 175 177 183 184 186 189 190 191 204 206 a 11 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 107 111 115 119 121 123 124 127 128 132 133 136 140 141 144 148 150 152 154 156 157 162 171 172 175 177 183 184 186 189 190 191 204 206 a 11 13 17 21 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 107 111 115 119 121 123 124 127 128 132 133 136 140 141 144 148 150 152 154 156 157 162 171 172 175 177 183 184 186 189 190 191 200 204 206 a 13 17 21 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 107 111 115 119 121 123 124 127 128 132 133 136 140 141 144 148 150 152 154 156 157 158 162 171 172 175 177 183 184 186 189 190 191 200 204 206 a 13 17 21 22 27 29 31 32 33 34 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 107 111 115 119 121 123 124 127 128 132 133 136 140 141 144 148 150 152 154 156 157 158 162 171 172 175 177 183 184 186 189 190 191 200 204 a 11 13 17 21 22 27 29 31 32 33 35 36 40 41 47 49 51 53 55 58 59 61 67 69 71 72 76 78 83 86 89 91 97 107 111 115 119 121 123 124 127 128 132 133 136 140 141 144 148 150 152 154 156 157 158 162 171 172 175 177 183 184 186 189 190 191 200 204 a 11 13 17 21 22 27 29 31 32 33 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 91 97 107 111 115 119 121 123 124 127 128 132 133 136 140 141 144 148 150 152 154 156 157 158 162 171 172 175 177 183 184 186 189 190 191 200 204 a 11 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 91 97 107 111 115 119 121 123 124 127 128 132 133 136 140 141 144 148 150 152 154 156 157 158 162 171 172 175 177 183 184 186 189 190 191 200 204 a 11 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 91 97 107 111 115 119 121 123 124 127 128 132 133 136 140 141 144 148 150 152 154 156 157 158 162 171 172 175 177 183 184 189 190 191 200 204 a 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 91 97 107 111 115 119 121 123 124 127 128 132 133 136 140 141 144 148 150 152 154 156 157 158 162 171 172 175 177 183 184 189 190 191 200 204 206 a 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 107 111 115 119 121 123 124 127 128 132 133 136 140 141 144 148 150 152 154 156 157 158 162 171 172 175 177 183 184 189 190 191 200 204 206 a 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 107 111 115 119 123 124 127 128 132 133 136 140 141 144 148 150 152 154 156 157 158 162 171 172 175 177 183 184 186 189 190 191 200 204 206 a 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 107 111 115 119 123 124 127 128 132 133 136 140 141 144 148 152 154 156 157 158 162 171 172 175 177 183 184 186 189 190 191 200 204 206 a 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 107 111 115 119 123 124 127 128 132 133 136 140 144 148 152 154 156 157 158 162 171 172 175 177 183 184 186 189 190 191 200 204 206 208 a 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 107 111 115 119 123 124 127 128 132 133 136 140 141 144 148 152 154 156 157 158 162 171 172 175 177 183 184 186 189 190 191 200 204 208 a 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 100 101 107 111 115 119 123 124 127 128 132 133 136 140 141 144 148 152 154 156 157 158 162 171 172 175 177 183 184 186 189 190 191 200 204 206 208 a 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 100 101 107 111 115 119 123 124 125 127 128 132 133 136 140 141 144 148 152 154 156 157 158 162 171 172 175 177 183 184 186 189 190 191 200 206 208 a 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 107 111 115 119 123 124 125 127 128 132 133 136 140 141 144 148 152 154 156 157 158 162 171 172 175 177 183 184 186 189 190 200 206 208 a 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 107 111 115 119 123 124 125 127 128 132 133 136 140 141 144 148 152 154 156 157 158 162 171 172 175 177 183 184 186 189 190 191 200 206 a 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 111 115 123 124 125 127 128 132 133 136 140 141 144 148 152 154 156 157 158 162 171 172 175 177 183 184 186 189 190 191 200 206 a 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 111 115 121 123 124 125 127 128 132 133 136 140 141 144 148 152 154 156 157 158 162 171 172 175 177 183 184 186 189 190 200 206 a 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 111 115 121 123 124 125 127 128 132 133 136 140 141 144 147 148 152 154 156 157 158 162 171 172 175 177 183 184 186 190 200 206 a 1 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 111 115 121 123 124 125 127 128 133 136 140 141 144 147 148 152 154 156 157 158 162 171 172 175 177 183 184 186 190 200 206 a 1 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 111 115 121 123 124 125 127 128 133 140 141 144 147 148 152 154 156 157 158 162 171 172 175 177 183 184 186 190 191 200 206 a 1 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 111 115 121 123 124 125 127 128 133 136 140 141 144 147 148 152 154 156 157 158 162 171 172 175 177 183 184 186 190 191 206 a 1 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 111 115 121 123 124 125 127 128 133 136 140 141 144 147 148 154 156 157 158 162 171 172 175 177 183 184 186 190 191 206 208 a 1 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 111 115 121 123 124 125 127 128 133 136 140 141 144 147 148 154 156 157 158 162 171 175 177 183 184 186 190 191 201 206 208 a 1 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 111 115 121 123 124 125 128 133 136 140 141 144 147 148 149 154 156 157 158 162 171 175 177 183 184 186 190 191 201 206 208 a 1 13 17 21 22 27 29 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 111 115 121 123 124 125 128 132 133 136 140 141 144 147 148 149 154 156 157 158 162 171 175 177 183 184 186 190 191 201 206 208 a 1 13 17 21 22 27 29 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 111 115 121 123 124 125 128 132 133 136 140 141 144 148 149 154 156 157 158 162 171 175 177 183 184 186 189 190 191 201 206 208 a 1 10 13 17 21 22 27 29 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 111 115 121 123 124 125 128 132 133 136 140 141 144 148 149 154 156 158 162 171 175 177 183 184 186 189 190 191 201 206 208 a 1 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 111 115 121 123 124 125 128 132 133 136 140 141 144 148 149 154 156 158 162 171 175 177 183 184 186 189 190 191 201 206 208 a 1 10 13 17 21 22 27 29 31 32 33 34 36 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 111 115 121 123 124 125 128 132 133 136 140 141 144 148 149 154 156 158 162 171 175 177 183 184 186 189 190 191 201 206 208 a 1 10 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 100 101 105 107 111 115 121 123 124 125 128 132 133 136 140 141 144 148 149 154 156 158 162 171 175 177 183 184 186 189 190 191 201 206 208 a 1 10 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 111 115 121 123 124 125 128 132 133 140 141 144 148 149 154 156 158 162 171 175 177 183 184 186 189 190 191 201 206 208 a 1 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 111 115 121 123 124 125 128 132 133 140 141 144 148 149 154 156 158 162 171 175 177 183 184 186 189 190 191 200 201 206 208 a 1 13 17 21 22 27 29 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 111 115 121 123 124 125 128 132 133 135 140 141 144 148 149 154 156 158 162 171 175 177 183 184 186 189 190 191 200 201 206 208 a 1 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 111 115 121 123 124 125 128 132 133 135 140 141 144 148 149 156 158 162 171 175 177 183 184 186 189 190 191 200 201 206 208 a 1 3 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 115 121 123 124 125 128 132 133 135 140 141 144 148 149 156 158 162 171 175 177 183 184 186 189 190 191 200 201 206 208 a 1 3 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 115 121 123 124 125 128 132 133 135 140 141 144 148 149 154 156 158 162 171 175 177 183 184 186 189 190 191 200 206 208 a 1 3 10 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 100 101 105 107 115 121 123 124 125 128 132 133 135 140 141 144 148 149 154 156 158 162 171 175 177 183 184 186 189 190 191 200 206 a 1 3 10 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 115 121 123 124 125 128 132 133 135 140 141 144 148 149 150 154 156 158 162 171 175 177 183 184 186 189 190 191 200 206 a 1 3 10 11 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 115 121 123 124 125 128 132 133 135 140 141 144 148 149 150 154 156 158 162 171 175 177 183 184 186 189 190 191 206 a 1 3 10 11 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 115 121 123 124 125 128 132 133 135 140 141 144 148 149 150 154 156 158 162 171 175 177 183 184 186 189 190 191 201 a 1 3 10 11 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 121 123 124 125 128 132 133 135 140 141 144 148 149 150 154 156 158 162 171 175 177 183 184 186 189 190 191 201 205 a 3 10 11 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 121 123 124 125 128 132 133 135 140 141 144 148 149 150 154 156 158 162 171 175 177 183 184 186 189 190 191 201 205 a 3 10 11 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 121 123 124 125 128 132 133 135 140 141 144 148 149 150 154 156 158 162 171 177 183 184 186 189 190 191 200 201 205 a 3 10 11 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 121 123 124 125 128 132 133 135 140 141 144 148 149 150 154 156 158 162 171 175 177 183 184 186 189 190 191 200 201 a 1 3 10 11 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 121 123 124 125 128 132 133 135 140 141 144 148 149 150 154 156 158 162 171 175 177 183 184 186 189 190 191 200 201 a 1 3 10 11 13 17 21 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 121 123 124 125 128 132 133 135 140 141 144 148 149 150 154 156 158 162 171 175 177 181 183 184 186 189 190 191 200 201 a 1 3 6 10 11 13 17 21 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 121 123 124 125 128 132 133 135 140 141 144 148 149 150 154 156 158 162 171 175 177 181 183 184 186 189 190 191 200 a 1 3 6 10 11 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 121 123 124 125 128 132 133 135 140 141 144 148 149 150 154 156 158 162 171 175 177 181 183 184 186 189 190 200 a 1 3 6 10 11 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 78 83 86 89 97 101 105 107 121 123 124 125 128 132 133 135 140 141 144 148 149 150 154 156 158 161 162 171 175 177 181 183 184 186 189 190 200 a 1 3 6 10 11 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 78 83 86 89 97 101 105 107 121 123 124 128 132 133 135 140 141 144 148 149 150 154 156 158 161 162 171 175 177 181 183 184 186 189 190 200 204 a 1 3 6 10 11 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 78 83 86 89 97 101 105 107 121 123 124 128 132 133 135 140 141 144 148 149 150 154 156 158 161 162 171 175 177 181 183 184 186 189 190 195 204 a 1 3 6 11 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 78 83 86 89 97 101 105 107 121 123 124 128 132 133 135 140 141 144 148 149 150 154 156 157 158 161 162 171 175 177 181 183 184 186 189 190 195 204 a 1 3 6 11 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 121 123 124 128 132 133 135 140 141 144 148 149 150 154 156 157 158 162 171 175 177 181 183 184 186 189 190 195 204 a 1 3 6 11 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 121 123 124 128 132 133 135 140 141 144 148 149 150 154 156 157 158 162 171 175 177 181 183 184 186 189 195 200 204 a 3 6 11 13 17 21 22 27 29 31 32 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 121 123 124 128 132 133 135 140 141 144 148 149 150 154 156 157 158 162 171 175 177 181 183 184 186 189 195 200 204 a 2 3 6 11 13 17 21 22 27 29 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 121 123 124 128 132 133 135 140 141 144 148 149 150 154 156 157 158 162 171 175 177 181 183 184 186 189 195 200 204 a 2 3 6 7 11 13 17 21 22 27 29 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 121 123 124 128 132 133 135 140 141 144 148 149 150 154 156 157 162 171 175 177 181 183 184 186 189 195 200 204 a 2 3 6 7 11 13 17 21 22 27 29 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 121 123 124 128 132 135 140 141 144 148 149 150 154 156 157 162 171 175 177 181 183 184 186 189 191 195 200 204 a 2 3 6 7 11 13 17 21 22 27 29 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 121 123 124 128 132 133 135 140 141 144 148 149 150 154 156 157 162 171 175 177 181 183 184 186 189 191 195 200 a 2 3 6 7 11 13 17 21 22 27 29 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 157 162 171 175 177 181 183 184 186 189 191 195 200 a 2 3 6 7 11 17 21 22 27 29 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 157 162 171 175 177 181 183 184 186 189 191 195 200 204 a 2 3 6 7 11 17 21 22 27 29 31 33 34 36 40 41 47 49 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 157 162 171 175 177 181 183 184 186 189 190 191 195 200 204 a 2 3 6 7 11 17 21 22 27 29 31 33 34 36 40 41 44 47 49 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 157 162 171 175 177 181 183 184 189 190 191 195 200 204 a 2 3 6 7 11 17 21 22 27 29 31 33 34 36 40 41 44 47 49 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 107 108 119 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 157 162 171 175 177 181 183 184 189 190 191 195 200 204 a 3 6 7 11 17 21 22 27 29 31 33 34 36 40 41 44 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 107 108 119 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 157 162 171 175 177 181 183 184 189 190 191 195 200 204 a 3 6 7 11 21 22 27 29 31 33 34 36 40 41 44 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 107 108 119 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 157 162 169 171 175 177 181 183 184 189 190 191 195 200 204 a 2 3 6 7 11 21 22 27 31 33 34 36 40 41 44 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 107 108 119 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 157 162 169 171 175 177 181 183 184 189 190 191 195 200 204 a 2 3 6 7 11 21 22 27 29 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 107 108 119 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 157 162 169 171 175 177 181 183 184 189 190 191 195 200 204 a 2 3 6 7 11 13 21 22 27 29 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 107 108 119 121 123 124 127 128 132 133 135 140 141 148 150 154 156 157 162 169 171 175 177 181 183 184 189 190 191 195 200 204 a 2 3 7 11 13 21 22 27 29 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 107 108 119 121 123 124 127 128 132 133 135 140 141 148 150 154 156 157 162 169 171 175 177 181 183 184 186 189 190 191 195 200 204 a 2 3 7 11 13 21 22 27 29 31 33 34 36 40 41 47 49 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 107 108 119 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 157 162 169 171 175 177 181 183 184 186 189 190 191 195 200 204 a 2 3 7 11 13 21 22 27 29 31 33 34 36 40 47 49 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 107 108 114 119 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 157 162 169 171 175 177 181 183 184 186 189 190 191 195 200 204 a 2 3 7 11 13 21 22 27 31 33 34 36 40 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 107 108 114 119 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 157 162 169 171 175 177 181 183 184 186 189 190 191 195 200 204 a 2 3 7 11 21 22 27 31 33 34 36 40 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 107 108 114 119 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 157 162 169 171 175 177 181 183 184 186 189 190 191 195 200 201 204 a 3 7 11 13 21 22 27 31 33 34 36 40 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 107 108 114 119 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 157 162 169 171 175 177 181 183 184 186 189 190 191 195 200 201 204 a 3 7 11 13 21 22 27 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 107 108 114 119 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 157 162 169 171 175 177 181 183 184 186 189 190 191 195 200 204 a 3 7 11 13 21 22 27 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 114 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 157 162 169 171 175 177 181 183 184 186 189 190 191 195 200 204 a 3 7 11 13 21 22 27 29 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 114 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 157 162 169 171 175 177 181 183 184 186 189 190 191 195 200 a 7 11 13 21 22 27 29 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 111 114 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 157 162 169 171 175 177 181 183 184 186 189 190 191 195 200 a 2 7 11 13 21 22 27 29 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 111 114 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 162 169 171 175 177 181 183 184 186 189 190 191 195 200 a 2 7 11 13 21 22 27 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 111 114 121 123 124 127 128 132 133 135 140 141 144 148 150 154 156 157 162 169 171 175 177 181 183 184 186 189 190 191 195 200 a 2 7 11 13 21 22 27 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 111 114 121 123 124 127 128 132 133 135 140 141 144 147 148 150 154 156 157 162 169 171 175 177 181 183 184 186 190 191 195 200 a 2 7 11 13 21 22 27 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 111 114 121 123 124 127 128 132 133 135 140 141 144 147 148 154 156 157 162 169 171 175 177 181 183 184 186 190 191 195 200 201 a 2 7 11 13 21 22 27 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 111 114 121 123 124 127 128 132 133 135 140 141 144 147 148 150 154 156 157 162 169 171 175 177 181 184 186 190 191 195 200 201 a 2 6 7 11 13 21 22 27 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 111 114 121 123 124 127 128 132 133 135 140 141 144 147 148 150 154 156 157 162 169 171 175 177 181 184 186 190 191 195 200 a 2 6 7 11 13 21 22 27 31 33 34 36 40 41 47 49 51 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 111 114 121 124 125 127 128 132 133 135 140 141 144 147 148 150 154 156 157 162 169 171 175 177 181 184 186 190 191 195 200 a 2 6 7 11 13 21 22 27 29 31 33 34 36 40 41 47 49 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 111 114 121 124 125 127 128 132 133 135 140 141 144 147 148 150 154 156 157 162 169 171 175 177 181 184 186 190 191 195 200 a 2 6 7 11 13 21 22 27 29 31 33 34 36 40 41 47 49 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 111 114 121 124 125 126 127 128 132 133 135 140 141 144 147 148 150 154 156 157 162 169 171 177 181 184 186 190 191 195 200 a 2 6 7 11 13 21 22 27 29 31 33 34 36 40 41 47 49 53 55 58 59 61 67 69 70 71 72 76 78 83 86 89 97 101 105 107 108 111 114 121 124 125 126 128 132 133 135 140 141 144 147 148 149 150 154 156 157 162 169 171 177 181 184 186 190 191 195 200 a 2 6 7 11 13 21 22 27 29 31 33 34 36 40 41 47 49 53 55 58 59 61 67 69 70 71 72 78 83 86 89 97 101 105 107 108 111 114 121 124 125 126 128 132 133 135 140 141 144 147 148 149 150 154 156 157 161 162 169 171 177 181 184 186 190 191 195 200 a 2 6 7 11 13 21 22 27 29 31 33 34 36 40 41 47 49 53 55 58 59 61 67 68 69 71 72 78 83 86 89 97 101 105 107 108 111 114 121 124 125 126 128 132 133 135 140 141 144 147 148 149 150 154 156 157 161 162 169 171 177 181 184 186 190 191 195 200 a 2 6 7 11 12 13 21 22 27 29 31 33 34 36 40 41 47 49 53 55 58 59 61 67 68 69 71 78 83 86 89 97 101 105 107 108 111 114 121 124 125 126 128 132 133 135 140 141 144 147 148 149 150 154 156 157 161 162 169 171 177 181 184 186 190 191 195 200 a 2 6 7 11 12 13 21 22 27 29 31 33 34 36 40 41 47 49 53 55 58 59 61 67 68 69 71 78 83 89 97 101 105 107 108 111 114 121 124 125 126 128 132 133 135 140 141 144 147 148 149 150 154 156 157 161 162 169 171 177 179 181 184 186 190 191 195 200 a 2 6 7 11 12 13 18 21 22 27 29 31 33 34 36 40 41 47 49 53 55 58 59 61 67 68 69 71 78 83 97 101 105 107 108 111 114 121 124 125 126 128 132 133 135 140 141 144 147 148 149 150 154 156 157 161 162 169 171 177 179 181 184 186 190 191 195 200 a 2 6 11 12 13 18 21 22 27 29 31 33 34 36 40 41 47 49 53 55 58 59 61 67 68 69 71 78 83 97 101 105 107 108 111 114 121 124 125 126 128 132 133 135 140 141 144 147 148 149 150 154 156 157 161 162 169 171 173 177 179 181 184 186 190 191 195 200 a 2 6 11 12 13 18 21 22 27 29 31 33 34 36 40 41 47 49 53 55 58 59 61 67 68 69 71 78 83 97 101 105 107 108 111 114 115 121 124 125 126 128 132 133 135 140 141 144 147 148 149 150 154 156 157 161 162 169 171 173 177 179 181 184 186 190 191 200 a 2 6 11 12 13 18 21 22 27 29 31 33 34 36 40 41 47 49 53 55 58 59 61 67 68 69 71 78 83 97 100 101 105 107 108 111 114 115 121 124 125 126 128 132 133 135 140 141 144 147 148 149 154 156 157 161 162 169 171 173 177 179 181 184 186 190 191 200 a 2 6 11 12 13 18 21 22 27 29 31 33 34 36 40 41 47 49 53 55 58 59 61 67 68 69 71 78 83 97 100 101 105 107 108 111 114 115 121 124 125 126 128 132 133 135 140 141 144 147 148 149 154 156 161 162 169 171 173 177 179 181 184 186 190 191 200 207 a 2 6 11 12 13 18 21 22 27 29 31 33 34 35 36 40 41 47 49 53 55 58 59 61 67 68 69 71 78 83 97 100 105 107 108 111 114 115 121 124 125 126 128 132 133 135 140 141 144 147 148 149 154 156 161 162 169 171 173 177 179 181 184 186 190 191 200 207 a 2 6 11 12 13 18 21 22 27 29 31 33 34 35 36 40 41 47 49 53 58 59 61 67 68 69 71 78 83 94 97 100 105 107 108 111 114 115 121 124 125 126 128 132 133 135 140 141 144 147 148 149 154 156 161 162 169 171 173 177 179 181 184 186 190 191 200 207 a 6 11 12 13 18 21 22 27 29 31 33 34 35 36 40 41 47 49 52 53 58 59 61 67 68 69 71 78 83 94 97 100 105 107 108 111 114 115 121 124 125 126 128 132 133 135 140 141 144 147 148 149 154 156 161 162 169 171 173 177 179 181 184 186 190 191 200 207 a 6 11 12 13 18 21 22 27 29 31 33 34 35 36 40 41 47 49 52 53 58 59 61 67 68 69 71 78 83 94 97 100 105 107 108 111 114 115 121 124 125 126 128 132 133 135 140 141 144 147 148 149 154 156 161 169 171 173 177 179 181 184 186 190 191 193 200 207 a 6 11 12 13 18 21 22 27 29 31 33 34 35 36 40 41 47 49 52 53 58 59 61 67 68 69 71 78 83 94 97 100 105 107 108 111 114 115 118 121 124 125 126 128 132 133 140 141 144 147 148 149 154 156 161 169 171 173 177 179 181 184 186 190 191 193 200 207 a 6 11 12 13 18 21 22 27 29 31 33 34 35 36 40 41 46 47 49 52 53 58 59 67 68 69 71 78 83 94 97 100 105 107 108 111 114 115 118 121 124 125 126 128 132 133 140 141 144 147 148 149 154 156 161 169 171 173 177 179 181 184 186 190 191 193 200 207 a 6 11 12 13 15 18 21 22 27 29 31 33 34 35 36 40 41 46 47 49 52 53 58 59 67 68 69 71 78 94 97 100 105 107 108 111 114 115 118 121 124 125 126 128 132 133 140 141 144 147 148 149 154 156 161 169 171 173 177 179 181 184 186 190 191 193 200 207 a 6 11 12 13 15 18 21 22 27 29 31 33 34 35 36 40 41 46 47 49 52 53 58 59 67 68 69 71 78 94 95 97 100 105 107 108 111 114 115 118 121 124 125 126 128 132 133 140 141 144 147 148 149 156 161 169 171 173 177 179 181 184 186 190 191 193 200 207 a 6 11 12 15 18 21 22 27 29 31 33 34 35 36 40 41 46 47 49 52 53 58 59 67 68 69 71 78 94 95 97 100 105 107 108 111 114 115 118 121 122 124 125 126 128 132 133 140 141 144 147 148 149 156 161 169 171 173 177 179 181 184 186 190 191 193 200 207 a 6 11 12 15 18 21 22 27 29 31 33 34 35 36 40 41 46 47 49 52 53 58 59 67 68 69 71 78 84 94 95 97 100 105 107 108 111 114 115 118 121 122 124 125 126 128 132 133 140 141 144 147 148 149 156 161 169 173 177 179 181 184 186 190 191 193 200 207 a 6 11 12 15 18 21 22 27 29 31 33 34 35 36 40 41 46 47 52 53 58 59 67 68 69 71 78 84 94 95 97 100 105 107 108 111 114 115 118 121 122 124 125 126 128 132 133 137 140 141 144 147 148 149 156 161 169 173 177 179 181 184 186 190 191 193 200 207 a 6 11 12 15 18 21 22 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 59 67 68 69 71 78 84 94 95 100 105 107 108 111 114 115 118 121 122 124 125 126 128 132 133 137 140 141 144 147 148 149 156 161 169 173 177 179 181 184 186 190 191 193 200 207 a 6 11 12 15 18 21 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 59 67 68 69 71 78 84 94 95 100 105 107 108 111 114 115 118 121 122 124 125 126 128 132 133 137 140 141 144 147 148 149 156 161 169 173 177 179 180 181 184 186 190 191 193 200 207 a 6 11 12 15 18 21 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 59 67 68 69 71 78 84 94 95 100 105 107 108 111 114 115 118 121 122 124 125 126 128 132 133 137 140 144 146 147 148 149 156 161 169 173 177 179 180 181 184 186 190 191 193 200 207 a 6 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 67 68 69 71 78 84 94 95 100 105 107 108 111 114 115 118 121 122 124 125 126 128 132 133 137 140 144 146 147 148 149 156 161 169 173 177 179 180 181 184 186 190 191 193 200 207 a 6 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 67 68 69 71 78 84 94 95 100 105 108 111 114 115 118 121 122 124 125 126 128 132 133 137 140 144 146 147 148 149 156 161 169 173 177 179 180 181 184 186 188 190 191 193 200 207 a 6 11 12 15 18 21 23 27 29 31 33 34 35 36 40 41 46 47 50 52 53 58 62 67 68 69 71 78 84 94 95 100 105 108 111 114 115 118 121 122 124 125 126 128 132 133 137 140 144 146 147 149 156 161 169 173 177 179 180 181 184 186 188 190 191 193 200 207 c Step: 167 #END: [Tue Sep 26 04:26:24 2023]