#BEGIN: [Tue Sep 5 02:24:21 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest1 #INSTANCE1: /benchmark/random_instance/random_instance020_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance020_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance020_graph005.col /benchmark/random_instance/random_instance020_graph005_01.dat c /benchmark/random_instance/random_instance020_graph005.col c /benchmark/random_instance/random_instance020_graph005_01.dat TIMEOUT 1800 c send SIGTERM to CID 5bdbc5f30ea208e6de43df6d903a738fed90ce3b15c4560d10f67d91c5f075ea s 205 181 36 65 77 95 84 26 45 144 195 192 28 152 203 179 5 117 52 60 251 178 134 54 107 4 34 71 167 157 184 105 88 246 247 162 131 10 209 241 70 24 92 242 206 3 87 213 249 85 108 188 185 245 104 212 145 231 113 119 9 82 200 42 207 76 122 123 176 258 64 15 182 86 78 211 140 215 191 254 20 t 29 35 17 30 57 251 85 167 194 229 214 56 112 102 24 181 245 173 70 189 111 249 257 12 120 49 212 96 160 53 195 61 10 159 232 198 199 42 209 241 171 187 26 217 162 68 16 100 260 66 211 258 99 126 22 50 166 248 78 113 259 77 158 87 52 122 141 196 79 138 254 20 178 131 228 146 182 231 239 234 27 a YES a 3 4 5 9 10 15 20 24 26 28 34 36 42 45 52 54 60 64 65 70 71 76 77 78 82 84 85 86 87 88 92 95 104 105 107 108 113 117 119 122 123 131 134 140 144 145 152 157 162 167 176 178 179 181 182 184 185 188 191 192 195 200 203 205 206 207 209 211 212 213 215 231 241 242 245 246 247 249 251 254 258 a 3 4 5 9 10 15 20 24 26 28 34 35 36 42 45 52 54 60 65 70 71 76 77 78 82 84 85 86 87 88 92 95 104 105 107 108 113 117 119 122 123 131 134 140 144 145 152 157 162 167 176 178 179 181 182 184 185 188 191 192 195 200 203 205 206 207 209 211 212 213 215 231 241 242 245 246 247 249 251 254 258 a 3 4 5 9 10 15 20 24 26 28 35 36 42 45 52 54 60 65 70 71 76 77 78 82 84 85 86 87 88 92 95 104 105 107 108 113 117 119 122 123 131 134 140 144 145 152 157 162 167 176 178 179 181 182 184 185 188 191 192 195 200 203 205 206 207 209 211 212 213 215 231 241 242 245 246 247 249 250 251 254 258 a 3 4 5 9 10 15 20 24 26 28 35 36 42 45 52 54 58 60 65 70 71 76 77 78 82 84 85 86 87 88 92 95 104 105 107 108 113 117 119 122 123 131 134 140 144 145 152 157 162 167 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 211 212 213 215 231 241 242 245 246 247 249 250 251 254 258 a 3 4 5 9 10 15 20 24 26 28 35 36 42 44 45 52 54 58 60 65 70 71 76 77 78 82 84 85 86 87 88 92 104 105 107 108 113 117 119 122 123 131 134 140 144 145 152 157 162 167 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 211 212 213 215 231 241 242 245 246 247 249 250 251 254 258 a 3 4 5 9 10 15 20 24 26 27 28 35 36 42 44 45 52 54 58 60 65 70 71 76 77 78 82 84 85 86 87 88 92 104 105 107 108 113 117 119 122 123 131 134 140 144 145 152 157 162 167 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 211 212 213 215 231 241 242 245 246 247 249 250 254 258 a 3 4 5 6 9 10 15 20 24 26 27 28 35 36 42 44 45 52 54 58 60 65 70 71 76 77 78 82 84 85 86 87 88 92 104 105 107 108 113 117 119 123 131 134 140 144 145 152 157 162 167 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 211 212 213 215 231 241 242 245 246 247 249 250 254 258 a 3 4 5 6 9 10 15 20 24 26 27 28 35 36 42 44 45 52 54 60 65 70 71 76 77 78 82 84 85 86 87 88 92 104 105 107 108 113 117 119 123 131 134 140 144 145 147 152 157 162 167 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 211 212 213 215 231 241 242 245 246 247 249 250 254 258 a 3 4 5 6 9 10 15 20 24 26 27 28 35 36 42 44 45 52 54 60 65 70 71 77 78 82 84 85 86 87 88 92 104 105 107 108 113 117 119 123 131 134 140 144 145 147 152 157 162 167 176 177 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 211 212 213 215 231 241 242 245 246 247 249 250 254 258 a 3 4 5 6 9 10 15 20 24 26 27 28 35 36 39 42 44 45 52 54 60 65 70 71 77 78 84 85 86 87 88 92 104 105 107 108 113 117 119 123 131 134 140 144 145 147 152 157 162 167 176 177 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 211 212 213 215 231 241 242 245 246 247 249 250 254 258 a 3 4 5 6 9 10 15 20 24 26 27 28 35 36 39 42 44 45 52 54 60 65 70 71 76 77 78 84 85 86 87 88 92 104 105 107 108 113 117 119 123 131 134 140 144 145 147 152 157 162 167 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 211 212 213 215 231 241 242 245 246 247 249 250 254 258 a 3 4 5 6 9 10 15 20 24 26 27 28 35 36 39 42 44 45 52 54 60 65 70 76 77 78 84 85 86 87 88 92 104 105 107 108 113 117 119 123 131 134 140 144 145 147 152 157 162 167 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 211 212 213 214 215 231 241 242 245 246 247 249 250 254 258 a 3 4 5 6 9 10 15 20 24 26 27 28 35 36 39 42 44 45 52 54 60 65 70 76 77 78 84 85 86 87 88 92 104 105 107 108 113 117 119 123 131 134 140 144 145 147 152 157 162 167 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 210 211 212 213 214 215 231 241 245 246 247 249 250 254 258 a 3 4 5 6 9 10 15 20 24 26 27 28 35 36 39 42 44 45 52 54 60 65 70 76 77 78 84 85 86 87 88 92 104 105 107 108 113 117 119 123 131 134 140 144 145 147 152 157 162 167 176 178 179 181 182 184 185 188 192 200 203 205 206 207 209 210 211 212 213 214 215 231 241 242 245 246 247 249 250 254 258 a 3 4 5 6 9 10 15 20 24 26 27 28 35 36 39 42 44 45 52 54 60 65 70 76 77 78 84 85 86 87 88 92 104 105 107 108 113 117 119 123 131 134 140 144 145 147 152 157 162 167 176 178 179 181 182 184 185 188 192 200 203 205 206 209 210 211 212 213 214 215 230 231 241 242 245 246 247 249 250 254 258 a 3 4 5 6 9 10 15 20 24 26 27 28 35 36 39 42 44 45 52 54 60 65 70 76 77 78 84 85 86 87 88 92 104 105 107 108 113 117 123 131 134 140 144 145 147 152 157 162 167 176 178 179 181 182 184 185 188 192 200 203 205 206 209 210 211 212 213 214 215 230 231 241 242 243 245 246 247 249 250 254 258 a 3 4 5 9 10 15 20 24 26 27 28 35 36 39 42 44 45 52 54 60 65 70 76 77 78 84 85 86 87 88 92 104 105 107 108 113 117 123 131 134 136 140 144 145 147 152 157 162 167 176 178 179 181 182 184 185 188 192 200 203 205 206 209 210 211 212 213 214 215 230 231 241 242 243 245 246 247 249 250 254 258 a 3 4 5 9 10 15 20 24 26 27 28 35 36 39 42 44 45 52 54 60 65 70 76 77 78 84 85 86 87 88 92 104 105 107 108 113 117 119 123 131 134 136 140 144 145 147 152 157 162 167 176 178 179 181 182 184 185 188 192 200 203 205 206 209 210 211 212 213 214 215 230 231 241 242 243 245 246 247 250 254 258 a 3 4 5 9 10 15 20 24 26 27 28 35 36 39 42 44 45 52 54 60 65 70 76 77 78 84 85 86 87 88 92 104 105 107 108 113 117 119 123 131 134 136 140 144 145 147 152 157 162 167 176 178 179 181 182 184 185 188 191 192 200 203 205 206 209 210 211 212 213 215 230 231 241 242 243 245 246 247 250 254 258 a 3 4 5 9 10 15 20 24 26 27 28 35 36 39 42 44 52 54 60 65 70 71 76 77 78 84 85 86 87 88 92 104 105 107 108 113 117 119 123 131 134 136 140 144 145 147 152 157 162 167 176 178 179 181 182 184 185 188 191 192 200 203 205 206 209 210 211 212 213 215 230 231 241 242 243 245 246 247 250 254 258 a 3 4 5 9 10 15 20 24 26 27 28 35 36 39 42 44 52 54 60 65 70 71 76 77 78 84 85 86 87 88 92 104 105 107 108 113 117 119 123 131 134 136 140 144 145 147 152 157 162 167 176 178 179 181 182 184 185 188 191 192 200 203 205 206 209 210 211 212 213 215 230 231 241 242 243 245 246 247 249 250 254 a 3 4 5 9 10 15 20 24 26 27 28 35 36 39 42 44 52 54 60 65 70 71 76 77 78 84 85 86 87 88 92 104 105 107 108 113 117 119 123 131 134 136 140 144 145 147 152 157 162 167 176 178 179 182 184 185 188 191 192 200 203 205 206 209 210 211 212 213 215 230 231 241 242 243 245 246 247 249 250 254 258 a 3 4 5 9 10 15 20 24 26 27 28 35 36 39 42 44 52 54 58 60 65 70 71 76 77 78 84 85 86 87 88 92 104 105 107 108 113 117 119 123 131 134 136 140 144 145 147 152 157 162 167 176 178 179 182 184 185 188 191 192 200 203 205 206 209 210 211 212 213 215 230 231 241 242 243 245 246 247 249 250 254 a 3 4 5 9 10 15 20 24 26 27 28 35 36 39 42 44 52 54 58 60 65 70 71 76 77 78 84 85 86 87 88 92 104 105 107 108 113 117 119 123 131 134 136 140 144 145 147 152 157 162 167 176 178 179 182 184 185 188 191 192 196 203 205 206 209 210 211 212 213 215 230 231 241 242 243 245 246 247 249 250 254 a 3 4 5 9 10 15 20 24 26 27 28 35 39 42 44 52 54 58 60 65 70 71 76 77 78 84 85 86 87 88 92 104 105 107 108 113 117 119 123 131 134 136 139 140 144 145 147 152 157 162 167 176 178 179 182 184 185 188 191 192 196 203 205 206 209 210 211 212 213 215 230 231 241 242 243 245 246 247 249 250 254 a 3 4 5 9 10 15 20 24 26 27 28 35 39 42 44 52 54 58 60 65 70 71 76 77 78 84 85 86 87 88 92 104 105 107 108 113 117 119 123 131 134 136 139 140 144 145 147 152 157 162 167 176 178 179 182 184 185 188 191 192 196 203 205 206 209 210 211 212 213 215 230 231 241 242 243 245 246 247 250 254 258 a 3 4 5 9 10 15 20 24 26 27 28 35 39 42 44 52 54 58 60 65 70 71 76 77 78 84 85 86 87 88 92 104 105 107 108 113 117 119 123 131 134 136 139 140 144 145 147 152 157 162 167 176 178 179 182 184 185 188 191 192 196 203 205 206 209 211 212 213 215 230 231 241 242 243 245 246 247 249 250 254 258 a 3 4 5 9 10 15 20 24 26 27 28 35 39 42 52 54 58 60 65 70 71 76 77 78 84 85 86 87 88 92 95 104 105 107 108 113 117 119 123 131 134 136 139 140 144 145 147 152 157 162 167 176 178 179 182 184 185 188 191 192 196 203 205 206 209 211 212 213 215 230 231 241 242 243 245 246 247 249 250 254 258 a 3 4 5 9 10 15 20 24 26 27 28 35 39 42 52 54 58 60 65 70 71 76 77 78 84 85 86 87 88 92 95 104 105 107 108 113 117 119 122 123 131 134 136 139 140 144 145 147 152 157 162 167 176 178 179 182 184 185 188 191 192 196 203 205 206 209 211 212 213 215 230 231 241 242 243 245 246 247 249 250 258 a 4 5 9 10 15 20 24 26 27 28 35 39 42 52 54 58 60 65 70 71 76 77 78 84 85 86 87 88 92 95 104 105 107 108 113 117 119 122 123 131 134 136 139 140 144 145 147 152 157 162 167 176 178 179 182 184 185 188 191 192 196 203 205 206 209 210 211 212 213 215 230 231 241 242 243 245 246 247 249 250 258 a 4 5 9 10 15 20 24 26 27 28 35 39 42 52 54 58 60 65 70 71 76 77 78 84 85 86 87 88 92 95 104 105 107 108 117 119 122 123 125 131 134 136 139 140 144 145 147 152 157 162 167 176 178 179 182 184 185 188 191 192 196 203 205 206 209 210 211 212 213 215 230 231 241 242 243 245 246 247 249 250 258 a 4 5 9 15 20 24 26 27 28 35 39 42 52 54 58 60 65 70 71 76 77 78 84 85 86 87 88 92 95 104 105 107 108 117 119 122 123 125 131 134 136 139 140 144 145 147 152 157 162 167 176 178 179 182 184 185 188 191 192 196 199 203 205 206 209 210 211 212 213 215 230 231 241 242 243 245 246 247 249 250 258 a 4 5 9 10 15 20 24 26 27 28 35 39 42 52 54 58 60 65 70 71 76 77 78 84 85 86 87 88 92 95 104 105 107 108 117 119 122 123 125 131 134 136 139 140 144 145 147 152 157 162 167 176 178 179 182 184 185 188 191 192 196 199 203 205 206 209 210 211 212 213 215 230 231 241 242 243 245 246 247 249 250 a 4 5 9 10 15 20 24 26 27 28 35 39 42 52 54 58 60 65 70 71 76 77 78 84 85 86 87 88 92 95 104 105 107 108 117 119 122 123 125 131 134 136 139 140 144 145 147 152 157 167 176 178 179 182 184 185 188 191 192 196 199 203 205 206 209 210 211 212 213 215 224 230 231 241 242 243 245 246 247 249 250 a 4 5 9 10 15 20 24 26 27 28 35 39 42 51 52 54 58 60 70 71 76 77 78 84 85 86 87 88 92 95 104 105 107 108 117 119 122 123 125 131 134 136 139 140 144 145 147 152 157 167 176 178 179 182 184 185 188 191 192 196 199 203 205 206 209 210 211 212 213 215 224 230 231 241 242 243 245 246 247 249 250 a 4 5 9 10 15 20 24 26 27 28 35 39 42 51 52 54 58 60 70 71 76 77 78 85 86 87 88 92 95 104 105 107 108 117 119 122 123 125 131 134 136 139 140 144 145 147 152 157 167 176 178 179 182 184 185 188 191 192 196 199 203 205 206 209 210 211 212 213 215 224 230 231 241 242 243 245 246 247 249 250 258 a 4 5 9 10 15 20 24 26 27 28 35 39 42 51 52 54 58 60 70 71 76 77 85 86 87 88 92 95 104 105 107 108 117 119 122 123 125 126 131 134 136 139 140 144 145 147 152 157 167 176 178 179 182 184 185 188 191 192 196 199 203 205 206 209 210 211 212 213 215 224 230 231 241 242 243 245 246 247 249 250 258 a 4 5 9 10 15 20 24 26 27 28 35 39 42 51 52 54 58 60 70 71 76 77 85 86 87 88 92 95 104 105 107 108 117 119 122 123 125 126 131 134 136 139 140 144 145 147 152 157 167 176 178 179 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 224 230 231 241 242 243 245 246 247 249 250 258 a 4 5 9 10 15 20 24 26 27 28 35 39 42 45 51 52 54 58 60 70 71 76 77 85 86 87 88 92 95 104 105 107 108 117 119 122 123 126 131 134 136 139 140 144 145 147 152 157 167 176 178 179 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 224 230 231 241 242 243 245 246 247 249 250 258 a 4 5 9 10 15 20 24 26 27 28 35 39 42 45 51 52 54 58 60 70 71 76 77 84 85 86 87 88 92 95 104 107 108 117 119 122 123 126 131 134 136 139 140 144 145 147 152 157 167 176 178 179 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 224 230 231 241 242 243 245 246 247 249 250 258 a 4 5 9 15 20 24 26 27 28 35 39 42 45 51 52 54 58 60 70 71 76 77 84 85 86 87 88 91 92 95 104 107 108 117 119 122 123 126 131 134 136 139 140 144 145 147 152 157 167 176 178 179 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 224 230 231 241 242 243 245 246 247 249 250 258 a 4 5 9 15 20 24 26 27 28 35 39 42 45 51 52 54 58 60 70 71 76 77 84 85 86 88 91 92 95 104 107 108 117 119 122 123 126 131 134 136 139 140 144 145 147 149 152 157 167 176 178 179 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 224 230 231 241 242 243 245 246 247 249 250 258 a 4 5 9 15 20 24 26 27 28 35 39 42 45 51 52 54 58 60 70 71 76 77 78 84 85 86 88 91 92 95 104 107 108 117 119 122 123 126 131 134 136 139 140 145 147 149 152 157 167 176 178 179 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 224 230 231 241 242 243 245 246 247 249 250 258 a 4 5 9 15 20 24 26 27 28 35 36 39 42 45 51 52 54 58 60 70 71 76 77 78 84 85 86 88 91 92 95 104 107 108 117 119 122 123 126 131 134 136 140 145 147 149 152 157 167 176 178 179 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 224 230 231 241 242 243 245 246 247 249 250 258 a 4 5 9 15 20 24 26 27 28 35 36 39 42 45 51 52 54 58 60 70 71 76 77 84 85 86 88 91 92 95 104 107 108 117 119 122 123 126 131 134 136 140 144 145 147 149 152 157 167 176 178 179 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 224 230 231 241 242 243 245 246 247 249 250 258 a 4 5 9 15 20 24 26 27 28 35 36 39 42 45 52 54 58 60 70 71 76 77 84 85 86 88 91 92 95 104 107 108 117 119 122 123 126 131 134 136 140 144 145 147 149 152 157 167 176 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 224 230 231 241 242 243 245 246 247 249 250 258 a 4 5 9 15 20 24 26 27 28 35 36 39 42 45 52 54 58 60 70 71 76 84 85 86 88 91 92 95 104 107 108 117 119 122 123 126 131 134 136 140 144 145 147 149 152 157 167 176 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 224 230 231 241 242 243 245 246 247 249 250 254 258 a 4 5 9 15 20 24 26 27 28 35 36 39 42 45 52 54 58 60 70 71 84 85 86 88 91 92 95 104 107 108 117 119 122 123 126 131 134 136 140 144 145 147 149 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 224 230 231 241 242 243 245 246 247 249 250 254 258 a 4 5 9 15 20 24 26 27 28 35 36 42 45 52 54 58 60 70 71 84 85 86 88 91 92 95 104 107 108 111 117 119 122 123 126 131 134 136 140 144 145 147 149 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 224 230 231 241 242 243 245 246 247 249 250 254 258 a 4 5 9 15 20 24 26 27 28 35 36 42 45 52 54 58 60 70 71 77 84 85 86 88 91 92 95 104 107 108 111 117 119 122 123 126 131 134 136 140 144 145 147 149 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 230 231 241 242 243 245 246 247 249 250 254 258 a 4 5 9 15 20 24 27 28 35 36 39 42 45 52 54 58 60 70 71 77 84 85 86 88 91 92 95 104 107 108 111 117 119 122 123 126 131 134 136 140 144 145 147 149 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 230 231 241 242 243 245 246 247 249 250 254 258 a 4 9 15 20 24 26 27 28 35 36 39 42 45 52 54 58 60 70 71 77 84 85 86 88 91 92 95 104 107 108 111 117 119 122 123 126 131 134 136 140 144 145 147 149 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 230 231 241 242 243 245 246 247 249 250 254 258 a 4 5 9 15 20 24 26 27 28 35 36 39 42 52 54 58 60 70 71 77 84 85 86 88 91 92 95 104 107 108 111 117 119 122 123 126 131 134 136 140 144 145 147 149 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 230 231 241 242 243 245 246 247 249 250 254 258 a 4 5 9 15 20 24 26 27 28 35 36 39 42 52 54 58 60 70 71 77 84 85 86 88 91 92 95 104 107 108 111 117 119 122 123 126 131 134 136 140 144 145 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 224 230 231 241 242 243 245 246 247 249 250 254 258 a 4 5 9 15 20 24 26 27 28 35 39 42 52 54 58 60 70 71 77 84 85 86 88 91 92 95 104 107 108 111 117 119 122 123 126 131 134 136 140 144 145 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 230 231 241 242 243 245 246 247 249 250 254 258 a 4 5 9 15 20 24 26 27 28 35 39 42 52 54 58 60 70 71 77 84 85 86 88 91 92 95 104 105 107 108 117 119 122 123 126 131 134 136 140 144 145 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 230 231 241 242 243 245 246 247 249 250 254 258 a 4 9 15 20 24 26 27 28 33 35 39 42 52 54 58 60 70 71 77 84 85 86 88 91 92 95 104 105 107 108 117 119 122 123 126 131 134 136 140 144 145 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 230 231 241 242 243 245 246 247 249 250 254 258 a 4 9 15 20 24 26 27 28 33 35 39 42 52 54 58 60 70 71 77 84 85 86 87 88 91 92 95 104 105 107 108 117 119 122 123 126 131 134 136 140 144 145 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 230 231 241 242 243 245 246 247 249 250 254 a 4 9 15 20 24 26 27 28 33 35 39 42 52 54 58 60 70 71 77 84 85 86 87 88 91 92 95 104 105 107 108 113 117 119 122 123 126 131 134 136 140 144 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 230 231 241 242 243 245 246 247 249 250 254 a 4 9 15 20 24 26 27 28 33 35 39 42 45 52 54 58 60 70 71 77 84 85 86 87 88 91 92 95 104 105 107 108 113 117 119 122 123 131 134 136 140 144 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 230 231 241 242 243 245 246 247 249 250 254 a 4 9 15 20 24 26 27 28 33 35 36 39 42 45 52 54 58 60 70 71 77 84 85 86 87 88 91 92 95 104 105 107 108 113 117 119 122 123 131 134 136 140 144 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 224 230 231 241 242 243 245 246 247 249 250 254 a 4 9 15 20 24 26 27 28 33 35 36 39 42 45 52 54 58 60 70 71 77 84 85 86 87 88 91 92 95 104 105 107 108 113 117 119 122 123 126 131 134 136 140 144 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 224 230 231 241 242 243 245 246 247 249 250 a 4 9 15 20 24 26 27 28 33 35 39 42 45 52 54 58 60 70 71 77 84 85 86 87 88 91 92 95 104 105 107 108 113 117 119 122 123 126 131 134 136 140 144 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 230 231 241 242 243 245 246 247 249 250 a 4 5 9 15 20 24 26 27 28 33 35 39 42 45 52 54 58 60 70 71 77 84 85 86 87 88 91 92 95 104 105 107 108 113 117 119 122 123 126 131 134 136 144 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 230 231 241 242 243 245 246 247 249 250 a 4 5 9 15 20 24 26 27 28 33 35 39 42 45 52 54 58 60 70 71 77 84 85 86 87 88 91 95 104 105 107 108 113 117 119 122 123 126 131 134 136 144 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 230 231 241 242 243 245 246 247 249 250 258 a 5 9 15 20 24 26 27 28 33 35 39 42 45 52 54 58 60 70 71 77 84 85 86 87 88 91 95 104 105 107 108 113 117 119 122 123 126 131 134 136 140 144 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 230 231 241 242 243 245 246 247 249 250 258 a 5 9 15 20 24 26 27 33 35 39 42 45 52 54 58 60 70 71 77 78 84 85 86 87 88 91 95 104 105 107 108 113 117 119 122 123 126 131 134 136 140 144 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 230 231 241 242 243 245 246 247 249 250 258 a 5 9 15 20 24 26 27 33 35 39 42 45 52 54 58 60 70 71 77 78 84 85 86 87 88 91 92 95 104 105 107 108 113 117 119 122 123 126 131 134 136 140 144 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 230 231 241 242 243 245 246 247 249 250 a 5 9 15 20 24 26 27 33 35 39 42 45 52 54 58 60 70 71 77 78 84 85 86 87 88 91 95 104 105 107 108 113 117 119 122 123 126 131 134 136 140 144 145 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 230 231 241 242 243 245 246 247 249 250 a 5 9 15 20 24 26 27 33 35 39 42 45 52 54 58 60 70 71 77 78 84 85 86 87 88 91 92 95 104 105 107 108 113 117 119 122 123 126 131 134 136 140 144 145 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 230 231 241 242 243 245 246 247 249 a 5 15 20 24 26 27 33 35 39 42 45 52 54 58 60 70 71 77 78 84 85 86 87 88 91 92 95 104 105 107 108 113 117 119 122 123 126 131 134 136 140 144 145 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 230 231 241 242 243 245 246 247 249 258 a 5 20 24 26 27 33 35 39 42 45 52 54 58 60 61 70 71 77 78 84 85 86 87 88 91 92 95 104 105 107 108 113 117 119 122 123 126 131 134 136 140 144 145 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 230 231 241 242 243 245 246 247 249 258 a 5 20 24 26 27 33 35 39 42 45 52 54 58 60 61 70 71 77 78 84 85 86 87 88 91 92 95 104 107 108 111 113 117 119 122 123 126 131 134 136 140 144 145 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 230 231 241 242 243 245 246 247 249 258 a 5 20 24 26 27 33 35 39 42 45 52 54 58 60 61 70 71 77 78 84 85 86 87 88 91 92 95 104 107 108 111 113 117 119 122 123 126 131 134 136 140 144 145 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 231 241 242 243 245 246 247 249 254 258 a 5 20 24 26 27 33 35 39 42 45 52 54 58 60 61 70 71 77 78 84 85 87 88 91 92 95 104 107 108 111 113 117 119 122 123 126 131 134 136 140 144 145 146 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 231 241 242 243 245 246 247 249 254 258 a 5 20 24 26 27 33 35 39 42 45 52 54 58 60 61 70 71 77 78 84 85 87 88 91 92 95 104 107 111 113 117 119 122 123 126 131 134 136 140 144 145 146 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 231 234 241 242 243 245 246 247 249 254 258 a 5 20 24 26 27 33 35 39 42 45 52 54 58 60 61 70 71 77 78 84 85 87 88 91 92 95 107 111 113 117 119 122 123 126 131 134 136 140 144 145 146 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 231 234 241 242 243 245 246 247 249 254 257 258 a 5 20 22 24 26 27 33 35 39 42 45 52 54 58 60 61 70 71 77 78 84 85 87 88 91 92 95 107 111 113 117 119 122 123 126 131 136 140 144 145 146 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 231 234 241 242 243 245 246 247 249 254 257 258 a 5 20 22 24 26 27 33 35 39 42 45 52 54 60 61 70 71 77 78 84 85 87 88 91 92 95 107 111 113 117 119 122 123 126 131 136 140 144 145 146 147 152 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 231 232 234 241 242 243 245 246 247 249 254 257 258 a 5 20 22 24 26 27 33 35 39 42 45 52 54 60 61 70 71 77 78 84 85 87 88 91 92 95 107 111 113 117 119 122 123 126 131 136 140 144 145 146 147 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 228 231 232 234 241 242 243 245 246 247 249 254 257 258 a 20 22 24 26 27 33 35 39 42 45 52 54 60 61 70 71 77 78 84 85 87 88 91 92 95 100 107 111 113 117 119 122 123 126 131 136 140 144 145 146 147 157 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 228 231 232 234 241 242 243 245 246 247 249 254 257 258 a 20 22 24 26 27 33 35 39 42 45 52 54 60 61 70 71 77 78 84 85 87 88 91 92 95 100 107 111 113 117 119 122 123 126 131 136 140 144 145 146 147 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 228 231 232 234 241 242 243 245 246 247 249 254 257 258 260 a 20 22 24 26 27 33 35 39 42 45 50 52 54 60 61 70 71 77 78 84 85 87 88 91 92 100 107 111 113 117 119 122 123 126 131 136 140 144 145 146 147 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 222 224 228 231 232 234 241 242 243 245 246 247 249 254 257 258 260 a 12 20 22 24 26 27 33 35 39 42 45 50 52 54 60 61 70 71 77 78 84 85 87 88 91 92 100 107 111 113 117 119 122 123 126 131 136 140 144 145 146 147 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 224 228 231 232 234 241 242 243 245 246 247 249 254 257 258 260 a 12 20 22 24 26 27 33 35 39 42 45 50 52 54 60 61 70 71 77 78 84 85 87 88 91 92 99 100 107 111 113 117 122 123 126 131 136 140 144 145 146 147 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 205 206 209 210 211 212 213 215 224 228 231 232 234 241 242 243 245 246 247 249 254 257 258 260 a 12 20 22 24 26 27 33 35 39 42 45 50 52 54 60 61 70 71 77 78 84 85 87 88 91 92 99 100 107 111 113 117 122 123 126 131 136 140 141 144 145 146 147 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 206 209 210 211 212 213 215 224 228 231 232 234 241 242 243 245 246 247 249 254 257 258 260 a 12 20 22 24 26 27 33 35 39 42 45 50 52 54 60 61 70 71 77 78 84 85 87 88 91 92 99 100 107 111 113 117 122 123 126 131 136 140 141 144 145 146 159 167 176 177 178 179 181 182 184 185 188 191 192 199 200 203 206 209 210 211 212 213 215 224 228 231 232 234 241 242 243 245 246 247 249 254 257 258 260 a 12 20 22 24 26 27 33 35 39 42 45 50 52 54 60 61 70 71 77 78 84 85 87 88 91 92 99 100 107 111 113 117 122 123 126 131 136 140 141 144 145 146 159 167 176 177 178 179 181 182 185 188 191 192 199 200 203 206 209 210 211 212 213 215 224 228 231 232 234 241 242 243 245 246 247 249 254 257 258 259 260 a 12 20 22 24 26 27 33 35 39 42 45 50 52 54 60 61 70 71 77 78 84 85 87 88 91 92 99 100 107 111 113 117 122 123 126 131 136 140 141 144 145 146 159 167 176 177 178 179 181 182 185 188 191 192 199 200 203 206 209 210 211 212 213 215 224 228 229 231 232 234 241 242 243 245 247 249 254 257 258 259 260 a 12 20 22 24 26 27 33 35 39 42 45 50 52 54 60 61 70 71 77 78 84 85 87 88 91 92 99 100 107 111 113 117 122 123 126 131 136 140 141 144 145 146 159 167 176 177 178 179 181 182 185 188 191 199 200 203 206 209 210 211 212 213 215 224 228 229 231 232 234 239 241 242 243 245 247 249 254 257 258 259 260 a 12 20 22 24 26 27 33 35 39 42 45 50 52 54 60 61 70 71 77 78 84 85 87 88 91 92 99 100 107 111 113 117 122 123 126 131 136 140 141 144 145 146 159 167 176 177 178 179 181 182 185 188 191 196 199 203 206 209 210 211 212 213 215 224 228 229 231 232 234 239 241 242 243 245 247 249 254 257 258 259 260 a 12 20 22 24 26 27 33 35 39 42 45 50 52 54 60 61 70 71 77 78 84 85 87 88 91 99 100 107 111 113 117 122 123 126 131 136 140 141 144 145 146 159 166 167 176 177 178 179 181 182 185 188 191 196 199 203 206 209 210 211 212 213 215 224 228 229 231 232 234 239 241 242 243 245 247 249 254 257 258 259 260 a 12 20 22 24 26 27 33 35 39 42 45 50 52 54 60 61 70 71 77 78 84 85 87 88 91 99 100 107 111 113 117 122 123 126 131 136 140 141 144 145 146 159 166 167 176 177 178 179 181 182 185 188 189 191 196 199 203 206 209 210 211 212 215 224 228 229 231 232 234 239 241 242 243 245 247 249 254 257 258 259 260 a 12 16 20 22 24 26 27 33 35 39 42 45 50 52 54 60 61 70 71 77 78 84 85 87 88 91 99 100 111 113 117 122 123 126 131 136 140 141 144 145 146 159 166 167 176 177 178 179 181 182 185 188 189 191 196 199 203 206 209 210 211 212 215 224 228 229 231 232 234 239 241 242 243 245 247 249 254 257 258 259 260 a 12 16 20 22 24 26 27 33 35 39 42 45 50 52 54 60 61 70 71 77 78 84 85 87 88 91 99 100 102 111 113 117 122 123 126 131 136 140 141 144 145 146 159 166 167 176 177 178 179 181 182 185 188 189 196 199 203 206 209 210 211 212 215 224 228 229 231 232 234 239 241 242 243 245 247 249 254 257 258 259 260 a 12 16 20 22 24 26 27 33 35 39 42 50 52 54 60 61 70 71 77 78 84 85 87 88 91 96 99 100 102 111 113 117 122 123 126 131 136 140 141 144 145 146 159 166 167 176 177 178 179 181 182 185 188 189 196 199 203 206 209 210 211 212 215 224 228 229 231 232 234 239 241 242 243 245 247 249 254 257 258 259 260 a 12 16 20 22 24 26 27 33 35 39 42 50 52 54 60 61 70 71 77 78 79 84 85 87 88 91 96 99 100 102 111 113 117 122 126 131 136 140 141 144 145 146 159 166 167 176 177 178 179 181 182 185 188 189 196 199 203 206 209 210 211 212 215 224 228 229 231 232 234 239 241 242 243 245 247 249 254 257 258 259 260 a 12 16 20 22 24 26 27 29 33 35 39 42 50 52 54 60 61 70 71 77 78 79 85 87 88 91 96 99 100 102 111 113 117 122 126 131 136 140 141 144 145 146 159 166 167 176 177 178 179 181 182 185 188 189 196 199 203 206 209 210 211 212 215 224 228 229 231 232 234 239 241 242 243 245 247 249 254 257 258 259 260 a 10 12 16 20 22 24 26 27 29 33 35 39 42 50 52 54 60 61 70 71 77 78 79 85 87 88 96 99 100 102 111 113 117 122 126 131 136 140 141 144 145 146 159 166 167 176 177 178 179 181 182 185 188 189 196 199 203 206 209 210 211 212 215 224 228 229 231 232 234 239 241 242 243 245 247 249 254 257 258 259 260 a 10 12 16 20 22 24 26 27 29 35 39 42 50 52 54 60 61 70 71 77 78 79 85 87 88 96 99 100 102 111 113 117 122 126 131 136 140 141 144 145 146 159 166 167 176 177 178 179 181 182 185 188 189 196 199 203 206 209 210 211 212 215 224 228 229 231 232 234 239 241 242 243 245 247 248 249 254 257 258 259 260 a 10 12 16 20 22 24 26 27 29 30 35 39 42 50 52 60 61 70 71 77 78 79 85 87 88 96 99 100 102 111 113 117 122 126 131 136 140 141 144 145 146 159 166 167 176 177 178 179 181 182 185 188 189 196 199 203 206 209 210 211 212 215 224 228 229 231 232 234 239 241 242 243 245 247 248 249 254 257 258 259 260 a 10 12 16 20 22 24 26 27 29 30 35 39 42 49 50 52 60 61 70 71 77 78 79 85 87 88 96 99 100 102 111 113 117 122 126 131 136 140 141 144 145 146 159 166 167 176 177 178 179 181 182 185 189 196 199 203 206 209 210 211 212 215 224 228 229 231 232 234 239 241 242 243 245 247 248 249 254 257 258 259 260 a 10 12 16 20 22 24 26 27 29 30 35 39 42 49 50 52 60 61 70 77 78 79 85 87 88 96 99 100 102 111 113 117 122 126 131 136 140 141 144 145 146 159 160 166 167 176 177 178 179 181 182 185 189 196 199 203 206 209 210 211 212 215 224 228 229 231 232 234 239 241 242 243 245 247 248 249 254 257 258 259 260 a 10 12 16 20 22 24 26 27 29 30 35 39 42 49 50 52 61 70 77 78 79 85 87 88 96 99 100 102 111 113 117 122 126 131 136 140 141 144 145 146 158 159 160 166 167 176 177 178 179 181 182 185 189 196 199 203 206 209 210 211 212 215 224 228 229 231 232 234 239 241 242 243 245 247 248 249 254 257 258 259 260 a 10 12 16 20 22 24 26 27 29 30 35 39 42 49 50 52 56 61 70 77 78 79 85 87 88 96 99 100 102 111 113 117 122 126 131 136 140 141 144 145 146 158 159 160 166 167 176 177 178 179 181 182 189 196 199 203 206 209 210 211 212 215 224 228 229 231 232 234 239 241 242 243 245 247 248 249 254 257 258 259 260 a 10 12 16 20 22 24 26 27 29 30 35 39 42 49 50 52 53 56 61 70 77 78 79 85 87 88 96 99 100 102 111 113 117 122 126 131 136 140 141 144 145 146 158 159 160 166 167 176 177 178 179 181 182 189 196 199 203 206 209 210 211 212 224 228 229 231 232 234 239 241 242 243 245 247 248 249 254 257 258 259 260 a 10 12 16 20 22 24 26 27 29 30 35 39 42 49 50 52 53 56 61 70 77 78 79 85 87 88 96 99 100 102 111 113 117 122 126 131 136 140 141 144 145 146 158 159 160 166 167 176 178 179 181 182 189 196 199 203 206 209 210 211 212 214 224 228 229 231 232 234 239 241 242 243 245 247 248 249 254 257 258 259 260 a 10 12 16 20 22 24 26 27 29 30 35 42 49 50 52 53 56 61 70 77 78 79 85 87 88 96 99 100 102 111 113 117 122 126 131 136 140 141 144 145 146 158 159 160 166 167 176 178 179 181 182 189 196 199 203 206 209 210 211 212 214 217 224 228 229 231 232 234 239 241 242 243 245 247 248 249 254 257 258 259 260 a 10 12 16 20 22 24 26 27 29 30 35 42 49 50 52 53 56 61 70 77 78 79 85 87 88 96 99 100 102 111 113 117 122 126 131 136 140 141 144 145 146 158 159 160 166 167 176 178 179 181 182 187 189 196 199 203 209 210 211 212 214 217 224 228 229 231 232 234 239 241 242 243 245 247 248 249 254 257 258 259 260 a 10 12 16 20 22 24 26 27 29 30 35 42 49 50 52 53 56 57 61 70 77 78 79 85 87 88 96 99 100 102 111 113 117 122 126 131 136 140 141 144 145 146 158 159 160 166 167 178 179 181 182 187 189 196 199 203 209 210 211 212 214 217 224 228 229 231 232 234 239 241 242 243 245 247 248 249 254 257 258 259 260 a 10 12 16 20 22 24 26 27 29 30 35 42 49 50 52 53 56 57 61 70 77 78 79 85 87 88 96 99 100 102 111 113 117 122 126 131 136 140 141 144 145 146 158 159 160 166 167 178 179 181 182 187 189 195 196 199 203 209 210 211 212 214 217 224 228 229 231 232 234 239 241 242 245 247 248 249 254 257 258 259 260 a 10 12 16 20 22 24 26 27 29 30 35 42 49 50 52 53 56 57 61 70 77 78 79 85 87 88 96 99 100 102 111 113 117 122 126 131 136 140 141 144 145 146 158 159 160 162 166 167 178 179 181 182 187 189 195 196 199 203 209 210 211 212 214 217 228 229 231 232 234 239 241 242 245 247 248 249 254 257 258 259 260 a 10 12 16 20 22 24 26 27 29 30 35 42 49 50 52 53 56 57 61 70 77 78 79 85 87 88 96 99 100 102 111 112 113 117 122 126 131 136 140 141 144 145 146 158 159 160 162 166 167 178 179 181 182 187 189 195 196 199 203 209 210 211 212 214 217 228 229 231 232 234 239 241 242 245 248 249 254 257 258 259 260 a 10 12 16 20 22 24 26 27 29 30 35 42 49 50 52 53 56 57 61 70 77 78 79 85 87 88 96 99 100 102 111 112 113 117 122 126 131 136 140 141 144 146 158 159 160 162 166 167 173 178 179 181 182 187 189 195 196 199 203 209 210 211 212 214 217 228 229 231 232 234 239 241 242 245 248 249 254 257 258 259 260 a 10 12 16 17 20 22 24 26 27 29 30 35 42 49 50 52 53 56 57 61 70 77 78 79 85 87 88 96 99 100 102 111 112 113 117 122 126 131 136 140 141 144 146 158 159 160 162 166 167 173 178 179 181 182 187 189 195 196 199 209 210 211 212 214 217 228 229 231 232 234 239 241 242 245 248 249 254 257 258 259 260 a 10 12 16 17 20 22 24 26 27 29 30 35 42 49 50 52 53 56 57 61 70 77 78 79 85 87 96 99 100 102 111 112 113 117 122 126 131 136 140 141 144 146 158 159 160 162 166 167 173 178 179 181 182 187 189 194 195 196 199 209 210 211 212 214 217 228 229 231 232 234 239 241 242 245 248 249 254 257 258 259 260 a 10 12 16 17 20 22 24 26 27 29 30 35 42 49 50 52 53 56 57 61 70 77 78 79 85 87 96 99 100 102 111 112 113 117 122 126 131 136 140 141 144 146 158 159 160 162 166 167 171 173 178 179 181 182 187 189 194 195 196 199 209 210 211 212 214 217 228 229 231 232 234 239 241 245 248 249 254 257 258 259 260 a 10 12 16 17 20 22 24 26 27 29 30 35 42 49 50 52 53 56 57 61 68 70 77 78 79 85 87 96 99 100 102 111 112 113 117 122 126 131 140 141 144 146 158 159 160 162 166 167 171 173 178 179 181 182 187 189 194 195 196 199 209 210 211 212 214 217 228 229 231 232 234 239 241 245 248 249 254 257 258 259 260 a 10 12 16 17 20 22 24 26 27 29 30 35 42 49 50 52 53 56 57 61 68 70 77 78 79 85 87 96 99 100 102 111 112 113 117 122 126 131 138 140 141 144 146 158 159 160 162 166 167 171 173 178 181 182 187 189 194 195 196 199 209 210 211 212 214 217 228 229 231 232 234 239 241 245 248 249 254 257 258 259 260 a 10 12 16 17 20 22 24 26 27 29 30 35 42 49 50 52 53 56 57 61 68 70 77 78 79 85 87 96 99 100 102 111 112 113 120 122 126 131 138 140 141 144 146 158 159 160 162 166 167 171 173 178 181 182 187 189 194 195 196 199 209 210 211 212 214 217 228 229 231 232 234 239 241 245 248 249 254 257 258 259 260 a 10 12 16 17 20 22 24 26 27 29 30 35 42 49 50 52 53 56 57 61 68 70 77 78 79 85 87 96 99 100 102 111 112 113 120 122 126 131 138 140 141 144 146 158 159 160 162 166 167 171 173 178 181 182 187 189 194 195 196 199 209 211 212 214 217 228 229 231 232 234 239 241 245 248 249 251 254 257 258 259 260 a 10 12 16 17 20 22 24 26 27 29 30 35 42 49 50 52 53 56 57 61 66 68 70 77 78 79 85 87 96 99 100 102 111 112 113 120 122 126 131 138 140 141 146 158 159 160 162 166 167 171 173 178 181 182 187 189 194 195 196 199 209 211 212 214 217 228 229 231 232 234 239 241 245 248 249 251 254 257 258 259 260 a 10 12 16 17 20 22 24 26 27 29 30 35 42 49 50 52 53 56 57 61 66 68 70 77 78 79 85 87 96 99 100 102 111 112 113 120 122 126 131 138 141 146 158 159 160 162 166 167 171 173 178 181 182 187 189 194 195 196 198 199 209 211 212 214 217 228 229 231 232 234 239 241 245 248 249 251 254 257 258 259 260 c Step: 122 #END: [Tue Sep 5 02:54:21 2023]