#BEGIN: [Tue Sep 5 08:25:19 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance020_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance020_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance020_graph003.col /benchmark/random_instance/random_instance020_graph003_01.dat c /benchmark/random_instance/random_instance020_graph003.col c /benchmark/random_instance/random_instance020_graph003_01.dat TIMEOUT 1800 c send SIGTERM to CID 94c9861e0cf28384aae0c01f2588a2fce04295b3804535b4eae150ada22d8dc1 s 145 190 177 93 23 251 214 78 30 98 82 25 210 233 188 38 115 103 86 35 163 218 135 212 150 72 197 70 138 13 194 253 232 96 102 125 227 148 224 191 90 151 49 89 116 91 37 184 206 31 258 158 123 247 8 67 143 229 61 75 199 205 168 254 259 43 183 94 220 32 128 165 144 1 225 160 99 219 55 53 63 213 t 139 124 44 14 242 59 235 184 121 215 95 49 81 105 5 157 223 65 120 246 234 7 133 13 238 176 96 34 8 160 145 41 79 119 116 76 134 162 112 239 161 72 17 230 16 159 98 30 113 213 37 3 231 31 187 259 168 194 240 229 68 212 103 155 69 90 4 12 158 20 73 198 218 249 38 56 143 108 71 29 225 226 a YES a 1 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 67 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 115 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 247 251 253 254 258 259 a 1 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 67 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 240 247 251 253 254 258 259 a 1 8 13 23 25 30 31 32 35 37 38 41 43 49 53 55 61 63 67 70 72 78 82 86 89 90 91 93 94 96 98 99 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 240 247 251 253 254 258 259 a 1 8 13 23 25 30 31 32 35 37 38 41 43 49 53 55 61 63 67 70 72 78 82 86 89 90 91 93 94 98 99 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 240 247 249 251 253 254 258 259 a 1 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 67 70 72 75 78 82 86 89 90 91 93 94 98 99 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 240 247 249 251 253 254 258 259 a 1 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 67 70 72 75 78 82 86 89 90 91 93 94 98 99 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 235 240 247 249 251 253 254 258 259 a 1 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 67 70 72 75 78 86 89 90 91 93 94 96 98 99 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 235 240 247 249 251 253 254 258 259 a 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 67 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 235 240 247 249 251 253 254 258 259 a 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 65 67 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 235 240 249 251 253 254 258 259 a 1 8 13 23 25 30 31 32 35 37 38 43 53 55 61 65 67 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 235 240 249 251 253 254 258 259 a 1 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 65 67 70 72 78 82 86 89 90 91 93 94 96 98 99 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 235 240 249 251 253 254 258 259 a 1 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 67 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 235 240 249 251 253 254 258 259 a 1 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 65 67 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 225 227 229 232 233 235 240 249 251 253 254 258 259 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 65 67 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 194 197 199 205 206 210 212 213 214 218 219 220 225 227 229 232 233 235 240 249 251 253 254 258 259 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 194 197 199 205 206 210 212 213 214 218 219 225 227 229 232 233 235 240 249 251 253 254 258 259 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 194 197 199 205 206 210 212 213 214 218 219 220 225 227 229 232 233 235 240 249 251 253 254 258 259 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 194 197 199 205 206 210 212 213 214 218 219 220 225 227 229 232 233 235 240 249 251 253 254 257 259 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 194 197 199 205 206 210 212 213 214 218 219 220 225 227 229 233 235 240 249 251 253 254 257 259 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 194 197 199 205 206 210 212 213 214 218 219 220 225 227 229 233 235 240 249 251 253 254 257 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 163 165 168 177 183 184 188 190 194 197 199 205 206 210 212 213 214 218 219 220 225 227 229 232 233 235 240 249 251 253 254 257 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 163 165 168 177 183 184 188 190 194 197 199 205 206 210 212 213 214 218 219 220 225 227 229 232 233 235 240 249 251 254 257 259 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 70 72 75 78 82 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 163 165 168 177 183 184 188 190 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 235 240 249 251 254 257 259 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 70 72 75 78 82 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 163 165 168 177 183 184 188 190 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 235 240 249 251 254 257 258 a 1 5 8 13 23 30 31 32 35 37 38 43 49 53 55 61 63 65 67 70 72 75 78 82 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 163 165 168 177 183 184 188 190 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 235 240 249 251 253 254 257 258 a 1 5 8 13 23 30 31 32 35 37 38 43 49 53 55 61 63 65 67 70 75 78 82 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 163 165 168 177 183 184 188 190 194 195 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 235 240 249 251 253 254 257 258 a 1 5 8 13 23 30 31 32 35 37 38 43 49 53 55 61 63 65 67 70 75 78 82 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 163 165 168 177 183 184 188 190 194 195 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 235 240 249 251 252 253 257 258 a 1 5 8 13 19 23 30 31 32 35 37 38 43 49 53 55 61 63 65 67 70 75 78 82 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 163 168 177 183 184 188 190 194 195 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 235 240 249 251 252 253 257 258 a 1 5 8 13 19 23 30 31 32 35 37 38 43 49 53 61 63 65 67 70 75 78 82 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 161 163 168 177 183 184 188 190 194 195 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 235 240 249 251 252 253 257 258 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 61 63 65 67 70 75 78 82 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 161 163 168 177 183 184 188 190 194 195 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 235 240 249 251 252 253 257 258 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 70 75 78 82 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 163 168 177 183 184 188 190 194 195 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 235 240 249 251 252 253 257 258 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 70 75 78 82 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 163 168 177 183 184 188 190 194 195 197 199 205 206 212 213 214 218 219 220 224 225 227 229 230 232 233 235 240 249 251 252 253 257 258 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 70 75 78 82 89 90 91 93 94 96 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 163 168 177 183 184 188 190 194 195 197 199 203 205 206 212 213 214 218 219 220 224 225 227 229 230 232 233 235 240 249 251 252 253 257 258 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 61 63 65 67 70 75 78 82 89 90 91 93 94 96 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 160 163 168 177 183 184 188 190 194 195 197 199 203 205 206 212 213 214 218 219 220 224 225 227 229 230 232 233 235 240 249 251 252 253 257 258 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 61 63 65 67 70 75 78 82 89 90 91 93 94 96 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 194 195 197 199 205 206 212 213 214 218 219 220 224 225 227 229 230 232 233 235 240 249 251 252 253 257 258 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 61 63 65 67 70 75 78 82 89 90 91 93 94 96 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 194 195 197 199 205 206 208 212 213 214 218 219 220 224 225 227 229 230 232 233 235 240 249 251 252 253 257 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 61 63 65 67 70 75 78 82 87 89 90 91 93 94 96 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 194 195 197 199 205 206 208 213 214 218 219 220 224 225 227 229 230 232 233 235 240 249 251 252 253 257 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 61 63 65 67 70 75 78 82 86 87 89 90 91 93 94 96 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 194 195 197 199 205 206 208 213 214 218 219 220 224 225 227 230 232 233 235 240 249 251 252 253 257 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 70 75 78 82 86 87 89 90 91 93 94 96 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 194 195 197 199 205 206 208 213 214 218 219 220 224 227 230 232 233 235 240 249 251 252 253 257 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 70 75 78 82 86 87 89 90 91 93 94 96 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 158 160 163 165 168 177 183 184 188 190 194 195 197 199 205 206 208 213 214 218 219 220 221 224 227 230 232 233 235 240 249 251 252 253 257 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 70 75 78 82 86 87 89 90 91 93 94 96 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 158 160 163 165 168 177 183 188 190 194 195 197 199 205 206 208 213 214 218 219 220 221 224 227 230 232 233 235 240 245 249 251 252 253 257 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 70 75 78 82 86 87 89 90 91 93 94 96 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 188 190 194 195 197 199 205 206 208 213 214 218 219 220 224 227 230 232 233 235 240 245 249 251 252 253 257 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 70 75 78 82 86 87 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 188 190 194 195 197 199 205 206 208 213 214 218 219 220 224 227 230 232 233 235 240 245 249 251 252 253 a 1 5 8 13 23 25 30 31 32 35 37 38 43 53 55 61 63 65 67 70 75 78 82 86 87 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 188 190 194 195 197 199 205 206 208 213 214 218 219 220 224 227 229 230 232 233 235 240 245 249 251 252 253 a 1 5 8 13 23 25 30 31 32 35 37 38 43 53 55 61 63 65 67 69 70 75 78 82 86 87 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 188 190 194 195 197 199 205 206 208 213 214 218 219 220 227 229 230 232 233 235 240 245 249 251 252 253 a 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 69 70 75 78 82 86 87 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 188 190 194 195 197 199 205 206 208 213 214 218 219 220 227 229 230 232 233 235 240 245 249 251 252 253 a 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 69 70 75 78 82 86 87 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 188 190 194 195 197 199 205 206 208 213 214 218 219 220 225 227 229 230 232 233 235 240 245 249 251 252 253 a 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 69 70 75 78 82 86 87 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 138 143 144 145 148 150 151 158 160 163 164 165 168 177 183 188 190 194 195 197 199 205 206 208 213 214 218 219 220 225 227 229 230 232 233 235 240 249 251 252 253 a 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 69 70 75 78 82 86 87 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 151 158 160 163 164 165 168 177 183 188 190 194 195 197 199 205 206 208 213 214 218 219 220 225 227 229 230 232 233 235 240 245 249 251 252 253 a 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 69 70 75 78 82 86 87 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 151 158 160 163 164 165 168 177 183 188 190 194 195 197 199 205 206 208 213 214 218 219 220 225 227 229 230 232 233 235 245 249 251 252 253 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 69 70 75 78 82 86 87 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 151 158 160 163 164 165 168 177 183 188 190 194 195 197 199 205 206 208 213 214 218 219 220 225 227 229 230 232 233 235 245 249 251 253 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 69 70 75 78 82 86 87 89 90 91 93 94 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 151 158 160 163 164 165 168 177 183 188 190 192 194 195 197 199 205 206 208 213 214 218 219 220 225 227 229 230 232 233 235 245 249 251 253 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 65 67 69 70 75 78 82 86 87 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 151 158 160 163 164 165 168 177 183 188 190 192 194 195 197 199 206 208 213 214 218 219 220 225 227 229 230 232 233 235 245 249 251 253 a 1 5 8 13 23 25 30 31 32 35 37 38 43 49 55 61 63 65 67 69 70 75 78 82 86 87 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 151 158 160 163 164 165 168 177 183 188 190 192 194 195 197 199 206 208 213 214 218 219 220 225 227 229 230 232 233 235 240 245 249 251 253 a 1 5 8 13 23 25 30 31 32 34 35 37 38 43 49 55 61 63 65 67 69 70 75 78 82 86 87 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 151 158 160 164 165 168 177 183 188 190 192 194 195 197 199 206 208 213 214 218 219 220 225 227 229 230 232 233 235 240 245 249 251 253 a 1 5 8 13 23 30 31 32 34 35 37 38 43 49 55 61 63 65 67 69 70 75 78 82 86 87 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 151 158 160 164 165 168 177 183 188 190 192 194 195 197 199 206 208 213 214 218 219 220 225 227 229 230 232 233 235 240 245 249 251 252 253 a 1 5 8 13 22 23 30 31 32 34 35 37 38 43 49 55 61 63 65 67 69 70 75 78 82 86 87 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 151 158 160 164 165 168 177 183 188 190 192 194 195 199 206 208 213 214 218 219 220 225 227 229 230 232 233 235 240 245 249 251 252 253 a 1 5 8 13 22 23 30 31 32 34 35 37 38 43 49 55 61 63 65 67 69 70 75 78 82 86 87 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 151 158 160 164 165 168 177 183 188 190 192 194 195 199 205 206 208 213 214 218 219 220 225 227 229 230 232 233 235 240 245 249 251 252 a 1 5 8 13 22 23 30 31 32 34 35 37 38 43 49 55 61 63 65 67 69 70 75 78 82 86 87 89 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 151 158 160 164 165 168 177 183 188 190 192 194 195 199 205 206 208 213 214 218 220 225 227 229 230 232 233 235 240 245 249 251 252 253 a 1 5 8 13 22 23 30 31 32 34 35 37 38 43 49 55 61 63 65 67 69 70 75 78 82 86 87 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 151 158 160 164 165 168 177 183 187 188 190 192 194 195 199 205 206 208 213 214 218 220 225 227 229 230 232 233 235 240 245 249 251 252 253 a 1 5 8 13 22 23 30 31 32 34 35 37 38 43 49 55 61 63 65 67 69 70 75 78 82 86 87 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 151 158 160 164 165 168 177 183 187 188 190 192 194 195 199 202 205 206 208 213 214 218 220 225 227 229 230 232 233 235 240 245 249 251 252 a 1 5 8 13 22 23 30 31 32 34 35 37 38 43 49 55 61 63 65 67 69 70 75 78 82 86 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 151 158 160 164 165 168 177 183 187 188 190 192 194 195 199 202 205 206 208 212 213 214 218 220 225 227 229 230 232 233 235 240 245 249 251 252 a 1 5 8 13 22 23 30 31 32 34 35 37 38 43 49 55 61 63 65 67 69 70 75 78 82 86 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 151 158 160 164 165 168 177 183 187 188 190 192 194 195 199 202 205 206 208 212 213 214 218 220 225 227 229 230 232 233 235 240 245 249 251 259 a 1 5 8 13 22 23 30 31 32 34 35 37 38 43 49 55 61 63 65 67 69 70 75 78 82 86 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 151 158 160 164 165 168 177 183 184 187 188 190 192 194 195 199 202 205 206 208 212 213 214 218 220 225 227 229 230 232 233 235 240 249 251 259 a 1 5 8 13 22 23 30 31 32 34 35 37 38 43 49 55 61 63 65 67 69 70 72 75 78 82 86 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 151 158 160 164 165 168 177 183 184 187 188 190 192 194 199 202 205 206 208 212 213 214 218 220 225 227 229 230 232 233 235 240 249 251 259 a 1 3 5 8 13 23 30 31 32 34 35 37 38 43 49 55 61 63 65 67 69 70 72 75 78 82 86 90 91 93 94 96 98 99 102 103 116 120 123 125 128 135 143 144 145 148 150 151 158 160 164 165 168 177 183 184 187 188 190 192 194 199 202 205 206 208 212 213 214 218 220 225 227 229 230 232 233 235 240 249 251 259 a 3 5 8 13 23 30 31 32 34 35 37 38 43 49 55 61 63 65 67 69 70 72 75 78 82 86 90 91 93 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 150 151 158 160 164 165 168 177 183 184 187 188 190 192 194 199 202 205 206 208 212 213 214 218 220 225 227 229 230 232 233 235 240 249 251 259 a 3 5 8 12 13 23 30 31 32 34 35 37 38 43 49 55 61 63 65 67 69 70 72 75 78 82 86 90 91 93 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 150 151 158 160 164 165 168 177 183 184 187 188 190 192 194 199 202 205 206 208 212 213 214 218 220 225 229 230 232 233 235 240 249 251 259 a 3 5 8 12 13 23 30 31 32 34 35 37 38 43 49 55 61 63 65 67 69 70 72 75 78 82 86 90 91 93 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 150 158 160 164 165 168 177 183 184 187 188 190 192 194 199 202 205 206 208 212 213 214 218 220 225 226 229 230 232 233 235 240 249 251 259 a 3 5 8 12 13 23 30 31 32 34 35 37 38 41 43 49 55 61 63 65 67 69 70 72 78 82 86 90 91 93 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 150 158 160 164 165 168 177 183 184 187 188 190 192 194 199 202 205 206 208 212 213 214 218 220 225 226 229 230 232 233 235 240 249 251 259 a 3 5 8 12 13 23 30 31 32 34 35 37 38 41 43 49 55 61 63 65 67 69 70 72 78 82 86 90 91 93 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 150 158 160 164 165 168 177 183 184 187 188 190 192 194 199 202 205 206 208 212 213 218 220 223 225 226 229 230 232 233 235 240 249 251 259 a 3 5 8 12 13 23 30 31 32 34 35 37 38 41 43 49 61 63 65 67 69 70 72 73 78 82 86 90 91 93 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 150 158 160 164 165 168 177 183 184 187 188 190 192 194 199 202 205 206 208 212 213 218 220 223 225 226 229 230 232 233 235 240 249 251 259 a 3 5 8 12 13 23 30 31 32 34 37 38 41 43 49 61 63 65 67 69 70 72 73 78 82 86 90 91 93 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 150 158 160 164 165 168 177 183 184 187 188 190 192 194 199 202 205 206 208 212 213 218 220 223 225 226 229 230 232 233 235 240 242 249 251 259 a 3 5 8 12 13 23 30 31 32 34 37 38 41 43 49 61 63 65 67 69 72 73 78 82 86 90 91 93 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 150 158 160 164 165 168 177 183 184 187 188 190 192 194 199 202 205 206 208 212 213 218 220 223 225 226 229 230 231 232 233 235 240 242 249 251 259 a 3 5 8 12 13 23 30 31 32 34 37 38 41 43 49 61 63 65 67 69 72 73 78 82 86 90 91 93 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 150 158 160 164 165 168 177 183 184 187 188 190 192 194 199 202 205 206 208 212 213 218 220 223 225 226 229 230 231 232 233 234 235 240 242 249 259 a 3 5 8 12 13 23 30 31 32 34 37 38 41 43 49 61 63 65 67 69 72 73 78 79 82 86 90 91 93 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 158 160 164 165 168 177 183 184 187 188 190 192 194 199 202 205 206 208 212 213 218 220 223 225 226 229 230 231 232 233 234 235 240 242 249 259 a 3 5 8 12 13 16 23 30 31 32 34 37 38 41 43 49 61 63 65 67 69 72 73 78 79 82 86 90 91 93 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 158 160 164 165 168 177 183 184 187 188 190 192 194 199 202 205 206 208 212 213 218 220 223 225 226 229 230 231 232 234 235 240 242 249 259 a 3 5 8 12 13 16 23 30 31 32 34 37 38 41 43 49 61 63 65 67 69 72 73 78 79 82 86 90 91 93 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 158 160 162 164 165 168 177 183 184 187 188 190 192 194 199 202 205 208 212 213 218 220 223 225 226 229 230 231 232 234 235 240 242 249 259 a 3 5 8 12 13 16 30 31 32 34 37 38 41 43 49 61 63 65 67 69 72 73 78 79 82 86 90 91 93 94 96 98 99 102 103 108 116 120 123 125 128 135 143 144 145 148 158 160 162 164 165 168 176 177 183 184 187 188 190 192 194 199 202 205 208 212 213 218 220 223 225 226 229 230 231 232 234 235 240 242 249 259 a 3 5 8 12 13 16 30 31 32 34 37 38 41 43 49 61 63 65 67 69 71 72 73 78 79 82 86 90 91 93 94 96 98 99 102 103 108 116 120 125 128 135 143 144 145 148 158 160 162 164 165 168 176 177 183 184 187 188 190 192 194 199 202 205 208 212 213 218 220 223 225 226 229 230 231 232 234 235 240 242 249 259 a 3 5 8 12 13 16 29 30 31 32 34 37 38 41 43 49 61 63 65 67 69 71 72 73 78 79 82 86 90 91 93 94 96 98 99 102 103 108 116 120 125 128 135 143 144 145 148 158 160 162 164 165 168 176 177 183 184 187 190 192 194 199 202 205 208 212 213 218 220 223 225 226 229 230 231 232 234 235 240 242 249 259 a 3 5 8 12 13 16 29 30 31 32 34 37 38 41 43 49 61 63 65 67 69 71 72 73 78 79 82 86 90 91 93 94 96 98 99 102 103 108 116 120 125 128 135 143 144 145 148 158 160 162 164 165 168 176 177 183 184 187 190 192 194 199 202 208 212 213 218 220 223 225 226 229 230 231 232 234 235 239 240 242 249 259 a 3 5 8 12 13 16 29 30 31 32 34 37 38 41 43 49 61 63 65 67 69 71 72 73 78 79 82 86 90 91 93 94 96 98 99 102 103 108 112 116 120 125 128 135 143 144 145 148 158 160 162 164 165 168 176 183 184 187 190 192 194 199 202 208 212 213 218 220 223 225 226 229 230 231 232 234 235 239 240 242 249 259 a 3 5 8 12 13 16 17 29 30 31 32 34 37 38 41 43 49 61 63 65 67 69 71 72 73 78 79 82 86 90 91 93 94 96 98 99 102 103 108 112 116 120 125 128 135 143 144 145 148 158 160 162 164 165 168 176 183 184 187 190 192 194 199 208 212 213 218 220 223 225 226 229 230 231 232 234 235 239 240 242 249 259 a 3 5 8 12 13 16 17 29 30 31 32 34 37 38 41 43 49 61 63 65 67 69 71 72 73 78 79 82 86 90 91 93 94 96 98 99 102 103 108 112 116 120 125 128 135 143 144 145 148 158 160 162 164 165 168 176 183 184 187 190 192 194 199 212 213 218 220 223 225 226 229 230 231 232 234 235 238 239 240 242 249 259 a 3 5 8 12 13 16 17 29 30 31 32 34 37 38 41 43 49 61 63 65 67 69 71 72 73 78 79 82 86 90 91 93 94 96 98 99 102 103 108 112 116 120 121 125 128 135 143 144 145 148 158 160 162 164 165 168 176 183 184 187 190 192 194 212 213 218 220 223 225 226 229 230 231 232 234 235 238 239 240 242 249 259 a 3 5 8 12 13 16 17 29 30 31 32 34 37 38 41 43 49 61 63 65 67 69 71 72 73 78 79 82 86 90 91 93 96 98 99 102 103 108 112 116 120 121 125 128 135 143 144 145 148 158 160 162 164 165 168 176 183 184 187 190 192 194 212 213 218 220 223 225 226 229 230 231 232 234 235 238 239 240 242 246 249 259 a 3 5 8 12 13 16 17 29 30 31 32 34 37 38 41 43 49 61 63 65 67 69 71 72 73 78 79 82 86 90 91 93 96 98 99 102 103 108 112 116 120 121 124 125 128 135 143 144 145 148 158 160 162 164 168 176 183 184 187 190 192 194 212 213 218 220 223 225 226 229 230 231 232 234 235 238 239 240 242 246 249 259 a 3 5 8 12 13 16 17 29 30 31 32 34 37 38 41 43 49 61 63 65 67 69 71 72 73 78 79 81 82 86 90 91 93 96 98 99 102 103 108 112 116 120 121 124 125 128 135 143 144 145 148 158 160 162 164 168 176 183 184 187 190 192 194 212 213 218 220 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 5 8 12 13 16 17 29 30 31 32 34 37 38 41 43 49 61 63 65 67 69 71 72 73 79 81 82 86 90 91 93 96 98 99 102 103 105 108 112 116 120 121 124 125 128 135 143 144 145 148 158 160 162 164 168 176 183 184 187 190 192 194 212 213 218 220 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 5 8 12 13 16 17 29 30 31 32 34 37 38 41 43 49 61 63 65 67 69 71 72 73 76 79 81 82 86 90 91 93 96 98 99 102 103 105 108 112 116 120 121 124 128 135 143 144 145 148 158 160 162 164 168 176 183 184 187 190 192 194 212 213 218 220 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 5 8 12 13 16 17 29 30 31 32 34 37 38 41 43 49 61 65 67 68 69 71 72 73 76 79 81 82 86 90 91 93 96 98 99 102 103 105 108 112 116 120 121 124 128 135 143 144 145 148 158 160 162 164 168 176 183 184 187 190 192 194 212 213 218 220 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 5 8 12 13 16 17 29 30 31 32 34 37 38 41 43 49 61 65 67 68 69 71 72 73 76 79 81 82 86 90 91 93 96 98 99 102 103 105 108 112 116 120 121 124 135 143 144 145 148 158 160 162 164 168 176 183 184 187 190 192 194 212 213 215 218 220 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 5 8 12 13 16 17 29 30 31 32 34 37 38 41 43 49 61 65 67 68 69 71 72 73 76 79 81 82 90 91 93 96 98 99 102 103 105 108 112 116 120 121 124 135 143 144 145 148 158 160 161 162 164 168 176 183 184 187 190 192 194 212 213 215 218 220 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 5 8 12 13 16 17 20 29 30 31 32 34 37 38 41 43 49 61 65 67 68 69 71 72 73 76 79 81 90 91 93 96 98 99 102 103 105 108 112 116 120 121 124 135 143 144 145 148 158 160 161 162 164 168 176 183 184 187 190 192 194 212 213 215 218 220 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 5 8 12 13 16 17 20 29 30 31 32 34 37 38 41 43 49 61 65 67 68 69 71 72 73 76 79 81 90 91 93 96 98 99 102 103 105 108 112 116 120 121 124 133 135 143 144 145 148 158 160 161 162 164 168 176 183 184 187 192 194 212 213 215 218 220 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 5 8 12 13 14 16 17 20 29 30 31 32 34 37 38 41 43 49 61 65 67 68 69 71 72 73 76 79 81 90 91 93 96 98 99 102 103 105 108 112 116 120 121 124 133 143 144 145 148 158 160 161 162 164 168 176 183 184 187 192 194 212 213 215 218 220 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 5 8 12 13 14 16 17 20 29 30 31 32 34 37 38 41 43 49 61 65 67 68 69 71 72 73 76 79 81 90 91 96 98 99 102 103 105 108 112 116 120 121 124 133 143 144 145 148 158 159 160 161 162 164 168 176 183 184 187 192 194 212 213 215 218 220 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 5 8 12 13 14 16 17 20 29 30 31 32 34 37 38 41 43 49 61 65 67 68 69 71 72 73 76 79 81 90 91 96 98 99 103 105 108 112 116 120 121 124 133 139 143 144 145 148 158 159 160 161 162 164 168 176 183 184 187 192 194 212 213 215 218 220 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 5 8 12 13 14 16 17 20 29 30 31 32 34 37 38 41 49 61 65 67 68 69 71 72 73 76 79 81 90 91 96 98 99 103 105 108 112 116 120 121 124 133 139 143 144 145 148 157 158 159 160 161 162 164 168 176 183 184 187 192 194 212 213 215 218 220 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 5 8 12 13 14 16 17 20 29 30 31 32 34 37 38 41 49 59 61 65 67 68 69 71 72 73 76 79 81 90 91 96 98 99 103 105 108 112 116 120 121 124 133 139 143 144 145 148 157 158 159 160 161 162 164 168 176 183 184 187 192 194 212 213 215 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 5 8 12 13 14 16 17 20 29 30 31 32 34 37 38 41 49 59 61 65 67 68 69 71 72 73 76 79 81 90 96 98 99 103 105 108 112 116 119 120 121 124 133 139 143 144 145 148 157 158 159 160 161 162 164 168 176 183 184 187 192 194 212 213 215 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 8 12 13 14 16 17 20 29 30 31 32 34 37 38 41 49 59 61 65 67 68 69 71 72 73 76 79 81 90 96 98 99 103 105 108 112 116 119 120 121 124 133 139 143 144 145 148 157 158 159 160 161 162 164 168 176 183 184 187 194 212 213 215 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 8 12 13 14 16 17 20 29 30 31 34 37 38 41 49 59 61 65 67 68 69 71 72 73 76 79 81 90 96 98 99 103 105 108 112 113 116 119 120 121 124 133 139 143 144 145 148 157 158 159 160 161 162 164 168 176 183 184 187 194 212 213 215 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 8 12 13 14 16 17 20 29 30 31 34 37 38 41 49 59 61 65 68 69 71 72 73 76 79 81 90 96 98 99 103 105 108 112 113 116 119 120 121 124 133 134 139 143 144 145 148 157 158 159 160 161 162 164 168 176 183 184 187 194 212 213 215 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 8 12 13 14 16 17 20 29 30 31 34 37 38 41 49 59 61 65 68 69 71 72 73 76 79 81 90 96 98 103 105 108 112 113 116 119 120 121 124 133 134 139 143 144 145 148 157 158 159 160 161 162 164 168 176 183 184 187 194 198 212 213 215 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 8 12 13 14 16 17 20 29 30 31 34 37 38 41 49 59 65 68 69 71 72 73 76 79 81 90 96 98 103 105 108 112 113 116 119 120 121 124 133 134 139 143 144 145 148 155 157 158 159 160 161 162 164 168 176 183 184 187 194 198 212 213 215 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 8 12 13 14 16 17 20 29 30 31 34 37 38 41 49 59 65 68 69 71 72 73 76 79 81 90 95 96 98 103 105 108 112 113 116 119 120 121 124 133 134 139 143 144 145 148 155 157 158 159 160 161 162 164 168 176 184 187 194 198 212 213 215 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 8 12 13 14 16 17 20 29 30 31 34 37 38 41 44 49 59 65 68 69 71 72 73 76 79 81 90 95 96 98 103 105 108 112 113 116 119 120 121 124 133 134 139 143 144 145 155 157 158 159 160 161 162 164 168 176 184 187 194 198 212 213 215 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 8 12 13 14 16 17 20 29 30 31 34 37 38 41 44 49 56 59 65 68 69 71 72 73 76 79 81 90 95 96 98 103 105 108 112 113 116 119 120 121 124 133 134 139 143 144 145 155 157 158 159 160 161 162 168 176 184 187 194 198 212 213 215 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 14 16 17 20 29 30 31 34 37 38 41 44 49 56 59 65 68 69 71 72 73 76 79 81 90 95 96 98 103 105 108 112 113 116 119 120 121 124 133 134 139 143 145 155 157 158 159 160 161 162 168 176 184 187 194 198 212 213 215 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 c Step: 109 #END: [Tue Sep 5 08:55:19 2023]