#BEGIN: [Mon Sep 4 22:32:44 2023] #HOST: s02 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest2 #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 --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /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 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 27 28 34 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 27 28 34 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 200 203 205 206 207 209 211 212 213 215 231 241 242 243 245 246 247 249 251 254 258 a 3 4 5 9 10 15 20 24 26 27 28 34 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 136 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 243 245 246 247 249 254 258 a 3 4 5 9 10 15 20 24 27 28 34 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 136 140 144 145 152 157 162 167 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 210 211 212 213 215 231 241 242 243 245 246 247 249 254 258 a 3 4 5 9 10 15 20 27 28 34 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 136 140 144 145 152 157 162 167 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 210 211 212 213 215 227 231 241 242 243 245 246 247 249 254 258 a 3 4 5 9 10 15 20 27 28 34 36 42 45 52 54 60 65 70 71 76 77 78 82 84 85 86 88 92 93 95 104 105 107 108 113 117 119 122 123 131 134 136 140 144 145 152 157 162 167 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 210 211 212 213 215 227 231 241 242 243 245 246 247 249 254 258 a 3 4 5 9 10 15 20 27 28 34 36 42 45 52 54 60 65 70 71 76 77 78 82 84 85 86 88 92 93 95 104 105 107 108 113 117 119 122 123 131 134 136 140 144 145 152 157 167 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 210 211 212 213 215 224 227 231 241 242 243 245 246 247 249 254 258 a 3 4 5 9 10 15 20 27 28 34 36 42 45 52 54 60 65 70 71 76 77 78 82 85 86 88 92 93 95 104 105 107 108 113 117 119 122 123 131 134 136 140 144 145 152 157 167 175 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 210 211 212 213 215 224 227 231 241 242 243 245 246 247 249 254 258 a 3 4 5 9 10 15 20 27 28 33 34 36 42 45 52 54 60 65 70 71 76 77 78 82 85 86 88 92 95 104 105 107 108 113 117 119 122 123 131 134 136 140 144 145 152 157 167 175 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 210 211 212 213 215 224 227 231 241 242 243 245 246 247 249 254 258 a 3 4 5 9 10 15 20 27 28 33 34 36 42 45 52 54 55 60 65 70 71 76 77 78 82 85 86 88 92 95 104 105 107 108 113 117 119 122 123 131 134 136 140 144 145 152 157 167 175 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 210 211 212 213 215 224 227 231 241 242 243 245 246 247 254 258 a 3 4 5 9 10 15 20 27 28 34 36 42 45 52 54 55 60 65 70 71 76 77 78 82 85 86 88 92 93 95 104 105 107 108 113 117 119 122 123 131 134 136 140 144 145 152 157 167 175 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 210 211 212 213 215 224 227 231 241 242 243 245 246 247 254 258 a 3 4 5 9 10 15 20 27 28 34 36 42 45 52 55 60 65 70 71 76 77 78 82 85 86 88 92 93 95 104 105 107 108 113 117 119 122 123 131 134 136 140 144 145 152 157 158 167 175 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 210 211 212 213 215 224 227 231 241 242 243 245 246 247 254 258 a 3 4 5 9 10 15 20 27 28 34 36 42 45 48 52 60 65 70 71 76 77 78 82 85 86 88 92 93 95 104 105 107 108 113 117 119 122 123 131 134 136 140 144 145 152 157 158 167 175 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 210 211 212 213 215 224 227 231 241 242 243 245 246 247 254 258 a 3 4 5 9 10 15 20 28 34 36 42 43 45 48 52 60 65 70 71 76 77 78 82 85 86 88 92 93 95 104 105 107 108 113 117 119 122 123 131 134 136 140 144 145 152 157 158 167 175 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 210 211 212 213 215 224 227 231 241 242 243 245 246 247 254 258 a 3 4 5 9 10 15 20 28 34 36 42 43 45 48 52 55 60 65 70 71 76 77 82 85 86 88 92 93 95 104 105 107 108 113 117 119 122 123 131 134 136 140 144 145 152 157 158 167 175 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 210 211 212 213 215 224 227 231 241 242 243 245 246 247 254 258 a 3 4 5 9 10 15 20 28 34 36 42 43 45 48 52 55 60 65 70 71 76 77 78 82 85 86 88 92 93 95 105 107 108 113 117 119 122 123 131 134 136 140 144 145 152 157 158 167 175 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 210 211 212 213 215 224 227 231 241 242 243 245 246 247 254 258 a 3 4 5 9 10 15 20 28 34 36 42 43 45 48 52 55 60 65 70 71 76 77 78 82 85 86 88 92 93 95 105 107 108 113 117 119 122 123 131 134 136 140 144 145 152 157 158 163 167 175 176 178 179 181 182 184 185 188 191 192 200 203 205 206 207 209 210 211 212 213 215 224 227 231 241 242 243 245 246 247 254 a 3 4 5 9 10 15 20 28 34 36 42 43 45 48 52 55 60 65 70 71 76 77 78 82 85 86 88 92 93 95 105 107 108 113 117 119 122 123 131 134 136 140 144 145 152 157 158 163 167 175 176 178 179 181 182 184 185 188 191 192 200 202 203 205 206 207 209 210 211 212 213 215 224 227 231 241 242 243 245 246 247 a 3 4 5 9 10 15 20 28 34 36 42 43 45 48 52 55 60 65 70 71 76 77 78 82 85 86 88 92 93 95 105 107 108 113 117 119 122 123 131 134 136 140 144 145 152 157 158 163 167 175 176 178 179 181 182 184 185 188 191 192 200 202 203 205 206 207 209 210 211 212 213 215 224 227 231 241 242 243 245 246 254 a 3 4 5 9 15 20 28 34 36 42 43 45 48 52 55 60 65 70 71 76 77 78 82 85 86 88 91 92 93 95 105 107 108 113 117 119 122 123 131 134 136 140 144 145 152 157 158 163 167 175 176 178 179 181 182 184 185 188 191 192 200 202 203 205 206 207 209 210 211 212 213 215 224 227 231 241 242 243 245 246 254 a 3 4 5 9 15 20 28 34 36 42 43 45 48 52 55 60 65 70 71 76 77 78 82 85 86 88 91 92 93 95 105 107 108 113 117 119 122 123 131 134 136 140 144 145 152 157 158 163 167 175 176 178 179 181 182 184 185 188 191 192 200 202 203 205 206 207 209 210 211 212 213 215 224 227 231 241 242 245 246 254 258 a 3 4 5 9 15 20 28 34 36 42 43 45 48 52 55 60 65 70 71 76 77 78 82 85 86 88 91 92 93 95 105 107 108 113 117 119 122 123 131 134 136 140 144 145 152 157 158 163 167 175 176 178 179 181 182 184 185 188 191 192 200 202 203 205 206 207 209 210 211 212 213 215 224 227 231 237 241 245 246 254 258 a 3 4 5 9 11 15 20 28 34 36 42 43 45 48 52 55 60 65 70 71 76 77 78 82 85 86 88 91 92 93 95 105 107 108 113 117 119 122 123 131 134 136 140 144 145 152 157 158 163 167 175 176 178 179 181 182 184 185 188 191 192 200 202 203 205 206 207 209 210 211 212 213 215 224 227 231 237 241 245 246 254 a 3 4 5 9 11 15 20 28 34 36 42 43 45 48 52 55 60 70 71 76 77 78 82 85 86 88 91 92 93 95 105 107 108 113 117 119 122 123 126 131 134 136 140 144 145 152 157 158 163 167 175 176 178 179 181 182 184 185 188 191 192 200 202 203 205 206 207 209 210 211 212 213 215 224 227 231 237 241 245 246 254 a 3 4 5 9 11 15 20 27 28 34 36 42 45 48 52 55 60 70 71 76 77 78 82 85 86 88 91 92 93 95 105 107 108 113 117 119 122 123 126 131 134 136 140 144 145 152 157 158 163 167 175 176 178 179 181 182 184 185 188 191 192 200 202 203 205 206 207 209 210 211 212 213 215 224 227 231 237 241 245 246 254 a 3 4 5 9 11 15 20 27 28 34 36 42 45 48 52 55 60 70 71 76 77 78 82 85 86 88 91 92 93 95 105 107 108 113 117 119 122 123 126 131 134 136 140 144 145 152 157 158 163 167 175 176 178 179 181 182 184 185 188 191 192 200 202 203 205 206 207 209 210 211 212 213 215 224 227 231 237 241 245 246 258 a 3 4 5 9 11 15 20 27 28 34 36 42 45 48 52 55 60 70 71 76 77 78 82 85 86 88 91 92 93 95 104 105 107 108 113 117 119 122 123 126 131 134 136 140 144 145 152 157 158 163 167 175 176 178 179 181 182 184 185 188 191 192 200 202 203 205 206 207 209 210 211 212 213 215 224 231 237 241 245 246 258 a 3 4 5 9 11 15 20 28 34 36 42 43 45 48 52 55 60 70 71 76 77 78 82 85 86 88 91 92 93 95 104 105 107 108 113 117 119 122 123 126 131 134 136 140 144 145 152 157 158 163 167 175 176 178 179 181 182 184 185 188 191 192 200 202 203 205 206 207 209 210 211 212 213 215 224 231 237 241 245 246 258 a 3 4 5 9 11 15 20 28 34 36 42 43 45 48 52 55 60 70 71 76 77 78 82 85 86 88 91 92 93 95 104 105 107 108 113 117 119 122 123 126 131 134 136 140 142 144 145 157 158 163 167 175 176 178 179 181 182 184 185 188 191 192 200 202 203 205 206 207 209 210 211 212 213 215 224 231 237 241 245 246 258 a 3 4 5 9 11 15 20 21 28 34 36 42 43 45 48 52 55 60 70 76 77 78 82 85 86 88 91 92 93 95 104 105 107 108 113 117 119 122 123 126 131 134 136 140 142 144 145 157 158 163 167 175 176 178 179 181 182 184 185 188 191 192 200 202 203 205 206 207 209 210 211 212 213 215 224 231 237 241 245 246 258 a 3 4 5 9 11 15 20 21 28 34 36 42 43 45 48 52 55 60 70 76 77 78 82 85 86 88 91 92 93 95 104 105 107 108 113 117 119 122 123 126 131 134 136 140 142 144 145 157 158 163 167 176 178 179 181 182 184 185 188 191 192 200 202 203 205 206 207 209 210 211 212 213 215 224 231 237 241 245 246 247 258 a 3 4 5 9 11 15 20 21 28 34 36 41 42 43 45 48 52 55 60 70 76 77 78 82 85 86 88 91 92 93 95 104 105 107 108 113 117 119 122 123 126 131 134 136 140 142 144 145 157 158 163 167 176 178 179 181 182 184 185 188 191 192 200 202 205 206 207 209 210 211 212 213 215 224 231 237 241 245 246 247 258 a 3 4 5 9 11 15 20 21 28 34 36 41 42 43 45 48 52 55 60 64 70 76 77 78 82 85 86 88 91 92 93 95 104 105 107 108 113 117 119 122 123 126 131 134 136 140 142 144 145 157 158 163 167 176 178 179 181 182 184 185 188 191 192 200 202 205 206 207 209 210 211 212 213 215 224 231 237 241 245 246 258 a 3 4 5 9 11 15 20 28 34 36 41 42 43 45 48 52 55 60 64 70 71 76 77 78 82 85 86 88 91 92 93 95 104 105 107 108 113 117 119 122 123 126 131 134 136 140 142 144 145 157 158 163 167 176 178 179 181 182 184 185 188 191 192 200 202 205 206 207 209 210 211 212 213 215 224 231 237 241 245 246 258 a 3 4 5 9 11 15 20 28 34 36 41 42 43 45 48 52 55 60 64 70 71 76 77 78 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 136 140 142 144 145 157 158 163 167 176 178 179 181 182 184 185 188 191 192 200 202 205 206 207 209 210 211 212 213 215 224 231 237 241 245 246 258 a 3 4 5 9 11 13 15 20 28 34 36 41 42 43 45 48 52 55 60 64 70 71 76 77 78 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 136 140 142 144 145 157 158 163 167 176 178 179 181 182 184 185 188 191 192 200 202 205 206 207 209 210 211 212 213 215 224 231 237 241 245 246 a 3 4 5 9 11 13 15 20 28 34 36 41 42 43 45 48 52 55 60 64 70 71 76 77 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 136 140 142 144 145 157 158 163 167 176 178 179 180 181 182 184 185 188 191 192 200 202 205 206 207 209 210 211 212 213 215 224 231 237 241 245 246 a 3 4 5 9 11 13 15 20 28 34 36 41 42 43 45 48 52 55 60 64 70 71 76 77 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 136 140 142 144 145 149 157 158 163 167 176 178 179 180 181 182 184 185 188 191 192 200 202 205 206 207 209 210 211 212 213 215 224 231 237 241 245 a 3 4 5 9 11 13 15 20 28 34 36 41 42 43 45 48 52 55 60 64 70 71 76 77 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 136 140 142 144 145 149 157 158 163 167 176 178 179 181 182 184 185 188 191 192 200 202 205 206 207 209 210 211 212 213 215 224 231 237 241 245 258 a 3 4 5 9 11 13 15 20 28 34 36 41 42 43 45 48 52 55 60 64 70 71 76 77 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 136 140 144 145 149 152 157 158 163 167 176 178 179 181 182 184 185 188 191 192 200 202 205 206 207 209 210 211 212 213 215 224 231 237 241 245 258 a 3 4 5 9 11 13 15 20 28 34 36 41 42 43 45 48 52 55 60 64 70 71 76 77 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 130 131 134 136 140 144 145 149 152 157 158 163 167 176 178 179 181 182 184 185 188 192 200 202 205 206 207 209 210 211 212 213 215 224 231 237 241 245 258 a 3 4 5 9 11 13 15 20 28 34 36 41 42 43 45 48 52 55 60 64 70 71 76 77 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 130 131 134 136 140 144 145 149 152 157 158 163 167 176 178 179 181 182 184 185 188 192 200 202 205 206 207 209 210 211 212 213 215 223 224 231 237 245 258 a 3 4 5 9 11 13 15 20 28 34 36 41 42 43 45 48 52 55 60 64 70 71 76 77 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 136 140 144 145 149 152 157 158 163 167 176 178 179 181 182 184 185 188 192 200 202 205 206 207 209 210 211 212 213 215 223 224 231 237 245 247 258 a 3 4 5 9 11 13 15 20 28 34 36 41 42 43 45 48 52 55 60 64 70 71 76 77 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 136 140 144 145 149 152 157 158 161 163 167 176 178 179 181 182 184 185 188 192 200 202 205 206 207 209 210 211 212 213 215 223 224 231 237 245 247 a 3 4 5 9 11 13 15 20 28 34 36 41 42 43 45 48 52 55 60 64 70 71 76 77 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 136 140 144 145 149 152 157 158 161 163 167 176 178 179 181 182 184 185 188 192 200 202 205 206 207 209 210 211 212 213 215 223 224 231 237 245 258 a 3 4 5 9 11 13 15 20 28 34 36 41 42 43 45 48 52 55 60 64 70 71 76 77 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 136 140 144 145 149 152 157 158 161 163 167 176 178 179 180 181 182 184 185 188 192 200 202 205 206 207 209 210 211 212 213 215 223 224 231 237 245 a 3 4 5 9 11 13 15 20 28 34 36 41 42 43 45 48 52 55 60 64 70 71 76 77 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 136 140 144 145 149 152 157 158 161 163 167 176 178 179 180 181 182 184 185 188 192 200 202 205 206 207 209 210 211 212 213 215 223 224 237 245 246 a 3 4 5 9 11 13 15 20 28 34 36 41 42 43 45 48 52 55 60 64 70 71 76 77 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 138 140 144 145 149 152 157 158 161 163 167 176 178 179 180 181 182 184 185 188 192 200 202 205 206 207 209 210 211 212 213 215 223 224 237 245 246 a 3 4 5 9 11 13 15 20 28 34 36 41 42 43 45 48 52 55 60 64 70 71 76 77 78 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 138 140 144 145 149 152 157 158 161 163 167 176 178 179 180 181 182 184 185 188 192 200 202 205 206 207 209 210 211 213 215 223 224 237 245 246 a 3 4 5 9 11 13 15 20 28 34 36 42 43 45 48 52 55 60 64 70 71 76 77 78 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 138 140 144 145 149 152 157 158 161 163 167 176 178 179 180 181 182 184 185 188 192 200 202 205 206 207 209 210 211 213 215 223 224 237 245 246 254 a 3 4 5 9 11 13 15 20 28 34 36 42 43 45 48 52 55 60 64 70 71 76 77 78 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 138 140 144 145 149 152 157 158 161 163 167 176 178 179 180 181 182 184 185 188 192 200 202 205 206 207 209 210 211 213 215 223 224 237 245 246 247 a 3 4 5 9 11 13 15 20 25 28 34 36 42 43 45 48 52 55 60 64 70 71 76 77 78 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 138 140 144 149 152 157 158 161 163 167 176 178 179 180 181 182 184 185 188 192 200 202 205 206 207 209 210 211 213 215 223 224 237 245 246 247 a 3 4 5 9 11 13 15 20 25 28 34 36 42 43 45 48 52 55 60 64 70 71 76 77 78 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 138 140 144 149 152 157 158 161 163 167 176 178 179 180 181 184 185 188 192 200 202 205 206 207 209 210 211 213 215 223 224 231 237 245 246 247 a 3 4 5 9 11 13 15 20 25 28 34 36 42 43 45 48 52 55 60 64 70 71 76 77 78 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 138 140 144 149 152 157 158 161 163 167 176 178 179 180 184 185 188 191 192 200 202 205 206 207 209 210 211 213 215 223 224 231 237 245 246 247 a 3 4 5 9 11 13 15 20 25 28 34 36 42 43 45 48 52 55 60 64 70 71 76 77 78 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 140 144 149 152 157 158 161 163 167 176 178 179 180 182 184 185 188 191 192 200 202 205 206 207 209 210 211 213 215 223 224 231 237 245 246 247 a 3 4 5 9 11 13 15 20 25 28 34 36 42 43 45 48 52 55 60 64 70 71 76 77 78 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 140 144 149 152 157 158 161 163 167 176 178 179 180 182 184 185 188 191 192 200 202 205 206 207 209 210 211 213 215 223 224 231 237 245 246 254 a 3 4 5 9 11 13 15 20 25 28 30 34 36 42 43 45 48 52 55 60 64 70 71 76 77 78 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 140 144 149 152 157 158 161 163 167 176 178 179 180 182 184 185 188 191 192 200 202 205 206 207 209 210 211 213 215 223 224 231 237 245 254 a 3 4 5 9 11 13 15 20 25 28 30 34 36 42 43 45 48 52 55 60 64 70 71 76 77 78 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 140 144 149 152 157 158 161 163 167 176 178 179 180 181 182 184 185 188 191 192 200 202 205 206 207 209 210 211 213 215 223 224 231 245 254 a 3 4 5 9 11 13 15 20 25 28 30 34 42 43 45 48 52 55 60 61 64 70 71 76 77 78 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 140 144 149 152 157 158 161 163 167 176 178 179 180 181 182 184 185 188 191 192 200 202 205 206 207 209 210 211 213 215 223 224 231 245 254 a 3 4 5 9 11 13 15 20 25 28 30 34 42 43 45 48 52 55 60 61 64 70 71 76 77 78 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 140 144 149 152 157 158 161 163 167 176 178 179 180 181 182 184 185 188 191 192 200 205 206 207 209 210 211 212 213 215 223 224 231 245 254 a 3 5 9 11 13 15 20 25 28 30 34 42 43 45 48 52 55 60 61 64 70 71 76 77 78 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 140 144 146 149 152 157 158 161 163 167 176 178 179 180 181 182 184 185 188 191 192 200 205 206 207 209 210 211 212 213 215 223 224 231 245 254 a 3 5 9 11 13 15 20 25 28 30 34 42 43 45 48 52 55 60 61 64 70 71 76 77 78 82 85 86 88 91 92 93 95 98 105 107 108 113 117 119 122 123 126 131 134 140 144 146 149 152 157 158 161 163 167 176 178 179 180 181 182 184 185 188 191 195 200 205 206 207 209 210 211 212 213 215 223 224 231 245 254 a 3 5 9 11 13 15 20 25 28 30 34 42 43 45 48 50 52 55 60 61 64 70 71 76 77 78 82 85 86 88 91 92 93 98 105 107 108 113 117 119 122 123 126 131 134 140 144 146 149 152 157 158 161 163 167 176 178 179 180 181 182 184 185 188 191 195 200 205 206 207 209 210 211 212 213 215 223 224 231 245 254 a 3 5 9 11 13 15 20 25 28 30 34 42 43 45 48 50 52 55 60 61 64 70 71 76 77 78 82 85 86 88 91 92 93 98 105 107 108 113 117 119 122 123 126 131 134 140 141 144 146 149 152 157 158 161 163 167 176 178 179 180 181 182 184 185 188 191 195 200 206 207 209 210 211 212 213 215 223 224 231 245 254 a 3 5 9 11 13 15 20 25 28 30 34 42 43 45 48 50 52 55 60 61 64 70 71 76 77 78 82 85 86 88 91 92 93 98 105 107 108 113 117 119 122 123 126 131 134 140 141 144 146 149 157 158 161 163 167 176 178 179 180 181 182 184 185 188 191 195 200 206 207 209 210 211 212 213 215 223 224 228 231 245 254 a 3 5 9 11 13 15 17 20 25 28 30 34 42 43 45 48 50 52 55 60 61 64 70 71 76 77 78 82 85 86 88 91 92 93 98 105 107 108 113 117 119 122 123 126 131 134 140 141 144 146 157 158 161 163 167 176 178 179 180 181 182 184 185 188 191 195 200 206 207 209 210 211 212 213 215 223 224 228 231 245 254 a 5 9 11 13 15 17 20 25 28 30 34 42 43 45 48 50 52 55 60 61 64 70 71 76 77 78 82 85 86 88 91 92 93 98 105 107 108 113 117 119 122 123 126 131 134 138 140 141 144 146 157 158 161 163 167 176 178 179 180 181 182 184 185 188 191 195 200 206 207 209 210 211 212 213 215 223 224 228 231 245 254 a 5 9 11 13 15 17 20 25 28 30 34 42 43 45 48 50 52 55 60 61 64 70 71 76 77 78 82 85 86 88 91 92 93 98 105 107 108 113 117 119 122 123 126 131 134 138 140 141 144 146 157 158 161 163 167 176 178 179 181 182 184 185 188 191 195 200 206 207 209 210 211 212 213 215 223 224 228 231 245 254 258 a 5 9 11 13 15 17 20 25 28 30 34 42 43 45 48 50 52 55 60 61 64 70 71 76 77 78 85 86 88 91 92 93 98 100 105 107 108 113 117 119 122 123 126 131 134 138 140 141 144 146 157 158 161 163 167 176 178 179 181 182 184 185 188 191 195 200 206 207 209 210 211 212 213 215 223 224 228 231 245 254 258 a 5 9 11 13 15 17 20 25 28 30 34 42 43 45 48 50 52 55 60 61 64 70 71 76 77 78 85 86 88 91 92 93 98 100 105 107 108 113 117 119 122 123 126 131 134 138 140 141 144 146 157 158 161 163 167 176 178 179 181 182 184 185 188 191 195 200 206 207 209 210 211 212 213 215 224 228 231 241 245 254 258 a 5 9 11 13 15 17 20 24 25 28 30 34 42 43 45 48 50 52 55 60 61 64 70 71 76 77 78 85 86 88 91 92 93 98 100 105 107 108 113 117 119 122 123 126 131 134 138 140 141 144 146 157 158 161 163 167 178 179 181 182 184 185 188 191 195 200 206 207 209 210 211 212 213 215 224 228 231 241 245 254 258 a 5 9 11 13 15 17 20 24 25 28 30 34 42 43 45 48 50 52 55 60 61 64 70 71 76 77 78 85 86 88 91 92 93 98 100 105 107 108 113 117 119 122 123 126 131 134 138 140 141 144 146 157 158 161 163 167 178 179 181 182 184 185 188 191 195 199 200 206 209 210 211 212 213 215 224 228 231 241 245 254 258 a 5 9 11 12 13 15 17 20 24 25 28 30 34 42 43 45 48 50 52 55 60 61 64 70 71 76 77 78 85 86 88 91 92 93 98 100 105 107 108 113 117 119 122 123 126 131 134 138 140 141 144 146 157 158 161 163 167 178 179 181 182 184 185 188 195 199 200 206 209 210 211 212 213 215 224 228 231 241 245 254 258 a 5 9 11 12 13 15 17 20 24 25 28 30 34 42 43 45 48 50 52 55 60 61 64 70 71 76 77 78 85 86 88 91 93 98 100 105 107 108 113 117 119 122 123 126 131 134 138 140 141 144 146 157 158 161 163 166 167 178 179 181 182 184 185 188 195 199 200 206 209 210 211 212 213 215 224 228 231 241 245 254 258 a 5 9 11 12 13 15 17 20 24 25 28 30 34 42 43 45 48 50 52 55 60 61 64 70 71 76 77 78 85 86 88 91 93 98 100 105 107 108 113 117 122 123 126 131 134 138 140 141 144 146 157 158 161 163 166 167 178 179 181 182 184 185 188 195 199 200 206 209 210 211 212 213 215 224 228 231 239 241 245 254 258 a 5 9 11 12 13 15 17 20 22 24 25 28 30 34 42 43 45 48 50 52 55 60 61 64 70 71 76 77 78 85 86 88 91 93 98 100 105 107 113 117 122 123 126 131 134 138 140 141 144 146 157 158 161 163 166 167 178 179 181 182 184 185 188 195 199 200 206 209 210 211 212 213 215 224 228 231 239 241 245 254 258 a 5 9 11 12 13 15 17 20 22 24 25 28 30 34 42 43 45 48 50 52 55 61 64 70 71 76 77 78 85 86 88 91 93 98 100 105 107 113 117 122 123 126 131 134 138 140 141 144 146 157 158 161 163 166 167 178 179 181 182 184 185 187 188 195 199 200 206 209 210 211 212 213 215 224 228 231 239 241 245 254 258 a 5 11 12 13 15 17 20 22 24 25 28 30 34 42 43 45 48 50 52 55 61 64 70 71 76 77 78 85 86 88 91 93 98 100 105 107 113 117 122 123 126 131 134 138 140 141 144 146 157 158 159 161 163 166 167 178 179 181 182 184 185 187 188 195 199 200 206 209 210 211 212 213 215 224 228 231 239 241 245 254 258 a 5 11 12 13 15 17 20 22 24 25 28 30 34 42 43 45 48 50 52 55 61 64 70 71 76 77 78 85 86 88 91 93 98 100 105 107 113 117 122 123 126 131 134 138 140 141 144 146 157 158 159 161 163 166 167 178 179 181 182 185 187 188 195 199 200 206 209 210 211 212 213 215 224 228 231 239 241 245 254 258 259 a 5 11 12 13 15 17 20 22 24 25 28 30 34 42 43 45 48 50 52 53 55 61 64 70 71 76 77 78 85 86 88 91 93 98 100 105 107 113 117 122 123 126 131 134 138 140 141 144 146 157 158 159 161 163 166 167 178 179 181 182 185 187 188 195 199 200 206 209 210 211 212 213 224 228 231 239 241 245 254 258 259 a 5 11 12 13 15 17 20 22 24 25 28 30 34 42 43 45 48 50 52 53 55 61 64 70 71 76 77 78 85 86 91 93 98 100 105 107 113 117 122 123 126 131 134 138 140 141 144 146 157 158 159 161 163 166 167 178 179 181 182 185 187 188 195 199 200 206 209 210 211 212 213 224 228 231 232 239 241 245 254 258 259 a 5 10 11 12 13 15 17 20 22 24 25 28 30 34 42 43 45 48 50 52 53 55 61 64 70 71 76 77 78 85 86 93 98 100 105 107 113 117 122 123 126 131 134 138 140 141 144 146 157 158 159 161 163 166 167 178 179 181 182 185 187 188 195 199 200 206 209 210 211 212 213 224 228 231 232 239 241 245 254 258 259 a 5 10 11 12 13 15 17 20 22 24 25 28 30 34 42 43 45 48 50 52 53 55 61 64 70 71 76 77 78 85 86 98 100 105 107 113 117 122 123 126 131 134 138 140 141 144 146 157 158 159 161 163 166 167 178 179 181 182 185 187 188 194 195 199 200 206 209 210 211 212 213 224 228 231 232 239 241 245 254 258 259 a 5 10 11 12 13 15 17 20 22 24 25 28 30 34 42 43 45 48 50 52 53 55 61 64 70 71 76 77 78 85 86 98 100 105 107 112 113 117 122 123 126 131 134 138 140 141 144 146 157 158 159 161 163 166 167 178 179 181 182 185 187 188 194 195 199 200 206 209 210 211 212 213 228 231 232 239 241 245 254 258 259 a 5 10 11 12 13 15 16 17 20 22 24 25 28 30 34 42 43 45 48 50 52 53 55 61 64 70 71 76 77 78 85 86 98 100 105 112 113 117 122 123 126 131 134 138 140 141 144 146 157 158 159 161 163 166 167 178 179 181 182 185 187 188 194 195 199 200 206 209 210 211 212 213 228 231 232 239 241 245 254 258 259 a 10 11 12 13 15 16 17 20 22 24 25 28 30 34 42 43 45 48 50 52 53 55 61 64 68 70 71 76 77 78 85 86 98 100 105 112 113 117 122 123 126 131 134 138 140 141 144 146 157 158 159 161 163 166 167 178 179 181 182 185 187 188 194 195 199 200 206 209 210 211 212 213 228 231 232 239 241 245 254 258 259 a 10 12 13 15 16 17 20 22 24 25 28 30 34 42 43 45 48 50 52 53 55 61 64 68 70 71 76 77 78 85 86 98 100 105 112 113 117 122 123 126 131 134 138 140 141 144 146 157 158 159 161 163 166 167 178 179 181 182 185 187 188 194 195 199 200 206 209 210 211 212 213 228 231 232 239 241 245 248 254 258 259 a 10 12 13 15 16 17 20 22 24 25 28 30 34 42 43 45 48 50 52 53 55 61 64 68 70 71 76 77 78 85 86 98 100 105 112 113 117 122 123 126 131 134 138 140 141 144 146 157 158 159 161 163 166 167 178 179 181 182 185 187 188 194 195 199 200 206 209 211 212 213 228 231 232 239 241 245 248 251 254 258 259 a 10 12 13 15 16 17 20 22 24 25 28 30 34 42 43 45 48 50 52 53 55 61 64 68 70 71 76 77 78 85 98 100 105 112 113 117 122 123 126 131 134 138 140 141 144 146 157 158 159 161 163 166 167 178 179 181 182 185 187 188 194 195 199 200 206 209 211 212 213 228 231 232 234 239 241 245 248 251 254 258 259 a 10 12 13 15 16 17 20 22 24 25 28 30 34 42 43 45 48 50 52 53 55 61 64 66 68 70 71 76 77 78 85 98 100 105 112 113 117 122 123 126 131 134 138 140 141 146 157 158 159 161 163 166 167 178 179 181 182 185 187 188 194 195 199 200 206 209 211 212 213 228 231 232 234 239 241 245 248 251 254 258 259 a 10 12 13 15 16 17 20 22 24 25 28 30 34 42 43 45 50 52 53 55 61 64 66 68 70 71 76 77 78 85 98 100 105 112 113 117 122 123 126 131 134 138 140 141 146 157 158 159 161 163 166 167 171 178 179 181 182 185 187 188 194 195 199 200 206 209 211 212 213 228 231 232 234 239 241 245 248 251 254 258 259 a 10 12 13 15 16 17 20 22 24 25 28 30 34 42 43 45 49 50 52 53 55 61 64 66 68 70 71 76 77 78 85 98 100 105 112 113 117 122 123 126 131 134 138 140 141 146 157 158 159 161 163 166 167 171 178 179 181 182 185 187 194 195 199 200 206 209 211 212 213 228 231 232 234 239 241 245 248 251 254 258 259 a 10 12 13 15 16 17 20 22 24 25 28 30 34 42 43 45 49 50 52 53 55 61 64 66 68 70 71 76 77 78 85 98 100 102 105 112 113 117 122 123 126 131 134 138 140 141 146 157 158 159 161 163 166 167 171 178 179 181 182 185 187 194 195 199 206 209 211 212 213 228 231 232 234 239 241 245 248 251 254 258 259 a 10 12 13 15 16 17 20 22 24 25 28 30 34 42 43 45 49 50 52 53 55 56 61 64 66 68 70 71 76 77 78 85 98 100 102 105 112 113 117 122 123 126 131 134 138 140 141 146 157 158 159 161 163 166 167 171 178 179 181 182 187 194 195 199 206 209 211 212 213 228 231 232 234 239 241 245 248 251 254 258 259 a 10 12 13 15 16 17 20 22 24 25 28 30 34 42 43 45 49 50 52 53 55 56 61 64 66 68 70 71 76 77 78 85 98 100 102 105 112 113 117 122 123 126 131 134 138 140 141 146 157 158 159 161 163 166 167 171 178 179 181 182 187 194 195 196 199 206 209 211 212 228 231 232 234 239 241 245 248 251 254 258 259 a 10 12 13 15 16 17 20 22 24 25 28 30 34 42 43 49 50 52 53 55 56 61 64 66 68 70 71 76 77 78 85 96 98 100 102 105 112 113 117 122 123 126 131 134 138 140 141 146 157 158 159 161 163 166 167 171 178 179 181 182 187 194 195 196 199 206 209 211 212 228 231 232 234 239 241 245 248 251 254 258 259 a 10 12 13 15 16 17 20 22 24 25 28 30 34 42 43 49 50 52 53 55 56 61 64 66 68 70 71 76 77 78 85 96 98 100 102 105 112 113 117 122 123 126 131 134 138 140 141 146 157 158 159 161 166 167 171 178 179 181 182 187 194 195 196 199 206 209 211 212 228 229 231 232 234 239 241 245 248 251 254 258 259 a 10 12 13 15 16 17 20 22 24 25 28 30 34 42 43 49 50 52 53 55 56 61 64 66 68 70 71 76 77 78 79 85 96 98 100 102 105 112 113 117 122 126 131 134 138 140 141 146 157 158 159 161 166 167 171 178 179 181 182 187 194 195 196 199 206 209 211 212 228 229 231 232 234 239 241 245 248 251 254 258 259 a 10 12 13 15 16 17 20 22 24 25 28 30 34 42 43 49 50 52 53 55 56 61 64 66 68 70 76 77 78 79 85 96 98 100 102 105 112 113 117 122 126 131 134 138 140 141 146 157 158 159 161 166 167 171 178 179 181 182 187 194 195 196 199 206 209 211 212 214 228 229 231 232 234 239 241 245 248 251 254 258 259 a 10 12 13 16 17 20 22 24 25 28 30 34 42 43 49 50 52 53 55 56 61 64 66 68 70 76 77 78 79 85 96 98 100 102 105 112 113 117 122 126 131 134 138 140 141 146 157 158 159 160 161 166 167 171 178 179 181 182 187 194 195 196 199 206 209 211 212 214 228 229 231 232 234 239 241 245 248 251 254 258 259 a 10 12 13 16 17 20 22 24 25 28 29 30 34 42 43 49 50 52 53 55 56 61 64 66 68 70 76 77 78 79 85 96 100 102 105 112 113 117 122 126 131 134 138 140 141 146 157 158 159 160 161 166 167 171 178 179 181 182 187 194 195 196 199 206 209 211 212 214 228 229 231 232 234 239 241 245 248 251 254 258 259 a 10 12 13 16 17 20 22 24 25 28 29 30 34 42 49 50 52 53 55 56 57 61 64 66 68 70 76 77 78 79 85 96 100 102 105 112 113 117 122 126 131 134 138 140 141 146 157 158 159 160 161 166 167 171 178 179 181 182 187 194 195 196 199 206 209 211 212 214 228 229 231 232 234 239 241 245 248 251 254 258 259 a 10 12 13 16 17 20 22 24 25 28 29 30 34 42 49 50 52 53 55 56 57 61 64 66 68 70 76 77 78 79 85 96 99 100 102 112 113 117 122 126 131 134 138 140 141 146 157 158 159 160 161 166 167 171 178 179 181 182 187 194 195 196 199 206 209 211 212 214 228 229 231 232 234 239 241 245 248 251 254 258 259 a 10 12 16 17 20 22 24 25 28 29 30 34 42 49 50 52 53 55 56 57 61 64 66 68 70 76 77 78 79 85 96 99 100 102 112 113 117 122 126 131 134 138 140 141 146 157 158 159 160 161 166 167 171 178 179 181 182 187 194 195 196 199 206 209 211 212 214 228 229 231 232 234 239 241 245 248 251 254 257 258 259 a 10 12 16 17 20 22 24 25 28 29 30 34 42 49 50 52 53 56 57 61 64 66 68 70 76 77 78 79 85 87 96 99 100 102 112 113 117 122 126 131 134 138 140 141 146 157 158 159 160 161 166 167 171 178 179 181 182 187 194 195 196 199 206 209 211 212 214 228 229 231 232 234 239 241 245 248 251 254 257 258 259 a 10 12 16 17 20 22 24 25 28 29 30 42 49 50 52 53 56 57 61 64 66 68 70 76 77 78 79 85 87 96 99 100 102 111 112 113 117 122 126 131 134 138 140 141 146 157 158 159 160 161 166 167 171 178 179 181 182 187 194 195 196 199 206 209 211 212 214 228 229 231 232 234 239 241 245 248 251 254 257 258 259 a 10 12 16 17 20 22 24 25 28 29 30 42 49 50 52 53 56 57 61 64 66 68 70 76 77 78 79 85 87 96 99 100 102 111 112 113 117 122 126 131 134 138 140 141 146 158 159 160 161 166 167 171 178 179 181 182 187 194 195 196 199 206 209 211 212 214 228 229 231 232 234 239 241 245 248 251 254 257 258 259 260 a 10 12 16 17 20 22 24 25 29 30 42 49 50 52 53 56 57 61 64 66 68 70 76 77 78 79 85 87 96 99 100 102 111 112 113 117 122 126 131 134 138 140 141 146 158 159 160 161 166 167 171 178 179 181 182 187 189 194 195 196 199 206 209 211 212 214 228 229 231 232 234 239 241 245 248 251 254 257 258 259 260 a 10 12 16 17 20 22 24 25 29 30 42 49 50 52 53 56 57 61 64 66 68 70 76 77 78 79 85 87 96 99 100 102 111 112 113 117 122 126 131 134 138 140 141 146 158 159 160 162 166 167 171 178 179 181 182 187 189 194 195 196 199 206 209 211 212 214 228 229 231 232 234 239 241 245 248 251 254 257 258 259 260 a 10 12 16 17 20 22 24 25 29 30 42 49 50 52 53 56 57 61 64 66 68 70 76 77 78 79 85 87 96 99 100 102 111 112 113 117 122 126 131 134 138 140 141 146 158 159 160 162 166 167 171 178 179 181 182 187 189 194 195 196 199 209 211 212 214 217 228 229 231 232 234 239 241 245 248 251 254 257 258 259 260 a 10 12 16 17 20 22 24 29 30 42 49 50 52 53 56 57 61 64 66 68 70 76 77 78 79 85 87 96 99 100 102 111 112 113 117 122 126 131 134 138 140 141 146 158 159 160 162 166 167 171 178 179 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 29 30 35 42 49 50 52 53 56 57 61 66 68 70 76 77 78 79 85 87 96 99 100 102 111 112 113 117 122 126 131 134 138 140 141 146 158 159 160 162 166 167 171 178 179 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 29 30 35 42 49 50 52 53 56 57 61 66 68 70 76 77 78 79 85 87 96 99 100 102 111 112 113 117 122 126 131 134 138 140 141 146 158 159 160 162 166 167 171 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 29 30 35 42 49 50 52 53 56 57 61 66 68 70 76 77 78 79 85 87 96 99 100 102 111 112 113 120 122 126 131 134 138 140 141 146 158 159 160 162 166 167 171 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 134 138 140 141 146 158 159 160 162 166 167 171 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 134 138 141 146 158 159 160 162 166 167 171 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 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: 117 #END: [Mon Sep 4 22:40:56 2023]