#BEGIN: [Tue Sep 26 02:22:14 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance025_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance025_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance025_graph005.col /benchmark/random_instance/random_instance025_graph005_01.dat c /benchmark/random_instance/random_instance025_graph005.col c /benchmark/random_instance/random_instance025_graph005_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 295 204 107 255 242 247 131 205 178 305 292 268 186 197 63 210 15 148 323 65 177 293 47 54 214 34 303 77 273 157 158 289 140 206 228 315 259 224 199 213 167 106 29 18 231 266 149 284 9 1 144 201 49 220 310 251 39 237 252 42 175 151 269 31 128 87 195 302 185 146 133 216 152 101 179 80 278 86 170 154 229 291 135 233 68 117 265 5 94 234 276 79 188 279 257 12 203 71 115 166 66 222 116 50 93 t 293 69 197 102 84 13 264 148 107 130 166 125 267 248 180 227 119 155 17 99 192 253 123 229 31 298 290 55 92 21 162 19 204 139 135 134 39 47 124 154 282 228 20 103 26 259 221 191 62 277 165 308 207 82 1 306 212 185 105 115 320 73 57 193 269 71 304 72 141 205 252 237 163 233 94 209 289 59 61 169 294 300 215 144 296 318 100 199 29 136 198 276 52 201 30 195 299 187 80 173 184 44 167 75 188 a YES a 1 5 9 12 15 18 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 79 80 86 87 93 94 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 213 214 216 220 222 224 228 229 231 233 234 237 242 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 79 80 86 87 93 94 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 213 214 216 220 222 224 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 79 80 86 87 93 94 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 213 216 220 222 224 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 216 220 222 224 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 101 106 107 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 224 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 97 101 106 107 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 29 31 34 39 42 47 49 50 54 63 65 68 71 77 80 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 29 31 34 39 47 49 50 54 59 63 65 68 71 77 80 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 21 29 31 34 39 47 49 50 54 59 63 65 68 71 77 80 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 21 29 31 34 39 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 21 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 21 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 21 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 21 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 158 166 167 170 173 175 177 178 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 228 229 231 233 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 21 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 84 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 158 166 167 170 173 175 177 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 228 229 231 233 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 5 9 12 15 21 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 84 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 158 166 167 170 173 175 177 179 185 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 323 a 1 5 9 12 15 21 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 84 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 173 175 177 179 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 323 a 1 9 12 15 21 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 84 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 173 175 177 179 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 323 a 1 9 12 15 21 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 84 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 177 179 186 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 a 1 9 12 15 21 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 84 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 177 179 185 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 315 a 1 5 9 12 15 21 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 84 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 177 179 185 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 305 310 a 1 5 9 12 15 21 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 84 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 162 166 167 170 171 173 175 177 179 185 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 295 302 303 310 a 1 5 9 12 15 21 29 31 34 39 42 44 47 49 50 54 63 65 66 68 71 77 80 84 86 87 93 94 97 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 162 166 167 170 171 173 175 177 179 185 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 302 303 310 a 1 5 9 12 15 21 29 31 34 39 42 44 47 49 50 54 63 65 66 68 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 154 157 158 162 166 167 170 171 173 175 177 179 185 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 302 303 310 a 1 5 9 12 15 21 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 154 157 158 162 166 167 170 171 173 175 177 179 185 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 302 303 310 315 a 1 5 9 12 15 21 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 154 157 158 162 166 167 170 171 173 175 177 179 185 188 195 197 199 201 203 204 205 206 210 212 213 214 216 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 302 303 308 310 315 a 1 5 9 12 15 21 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 154 157 158 162 166 167 170 171 173 175 177 179 185 188 195 197 199 201 203 204 205 206 212 213 214 216 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 302 303 305 308 310 315 a 1 5 9 12 15 21 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 154 157 158 162 166 167 170 171 173 175 177 179 181 185 188 195 197 199 201 203 204 206 212 213 214 216 220 222 228 229 231 233 234 237 242 243 247 251 252 255 257 259 265 266 268 273 276 278 279 284 289 291 292 293 302 303 305 308 310 315 a 1 5 9 12 15 21 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 154 157 158 162 166 167 170 171 173 175 177 179 181 185 188 195 197 199 201 203 204 206 212 213 214 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 265 266 268 273 276 278 279 284 289 291 292 293 302 303 305 308 310 315 a 1 5 9 12 15 21 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 177 179 181 185 186 188 195 197 199 201 203 204 206 212 213 214 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 265 266 268 273 276 278 279 284 289 291 292 293 302 303 305 308 310 315 a 1 5 9 12 15 21 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 177 179 181 185 186 188 195 197 199 201 203 204 206 212 213 214 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 265 266 268 269 273 276 278 279 284 289 291 292 293 302 303 305 308 315 a 5 9 12 15 21 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 143 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 177 179 181 185 186 188 195 197 199 201 203 204 206 212 213 214 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 265 266 268 269 273 276 278 279 284 289 291 292 293 302 303 305 308 315 a 5 9 12 15 21 29 31 34 39 42 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 140 143 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 177 179 181 185 186 188 195 197 199 201 203 204 206 212 213 214 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 265 266 268 269 273 276 278 279 284 289 291 292 293 302 303 305 308 315 a 5 9 12 15 21 29 31 34 39 42 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 140 143 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 177 179 181 185 186 188 195 197 199 201 203 204 206 213 214 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 302 303 305 308 315 a 5 9 12 15 21 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 140 143 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 177 179 181 185 186 188 195 197 199 201 203 204 206 213 214 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 302 303 305 315 a 5 9 12 15 21 29 31 34 39 42 47 49 50 54 63 65 66 68 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 140 143 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 177 179 181 185 186 188 195 197 199 201 203 204 206 212 213 214 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 303 305 315 a 5 9 12 15 21 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 140 143 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 177 179 181 185 186 188 195 197 199 201 203 204 206 212 213 214 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 303 305 315 a 5 9 12 15 21 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 140 143 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 177 179 181 185 186 188 195 197 199 201 203 204 206 212 213 214 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 279 284 289 291 292 293 302 303 305 315 a 9 12 15 21 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 140 143 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 177 179 181 185 186 188 195 197 199 201 203 204 206 212 213 214 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 279 284 289 291 292 293 302 303 305 308 315 a 9 12 15 21 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 140 143 144 146 148 149 152 154 157 158 166 167 170 171 173 175 177 179 181 185 186 188 195 197 199 201 203 204 206 212 213 214 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 279 284 289 291 292 293 302 303 305 308 310 315 a 9 12 15 21 25 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 140 143 144 146 148 149 152 154 157 158 166 167 170 171 173 175 177 179 181 185 186 188 195 197 199 201 203 204 206 212 213 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 279 284 289 291 292 293 302 303 305 308 310 315 a 9 12 15 21 25 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 140 143 144 146 148 149 152 154 157 158 166 167 170 171 173 175 177 179 181 185 186 188 195 197 199 201 203 204 206 212 213 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 302 305 308 310 315 a 9 12 15 21 25 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 140 143 144 146 148 149 152 154 157 158 166 167 170 171 173 175 177 178 179 181 185 186 188 195 197 199 201 203 204 206 212 213 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 302 305 308 310 315 a 9 12 15 21 25 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 140 143 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 177 178 179 181 185 186 188 195 197 199 201 203 204 206 212 213 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 284 289 291 292 293 302 305 308 310 315 a 9 12 15 21 25 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 140 143 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 177 179 181 185 186 188 195 197 199 201 203 204 206 212 213 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 284 289 291 292 293 302 303 305 308 310 315 a 9 12 15 21 25 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 140 143 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 177 179 181 185 186 188 195 197 199 201 203 204 206 212 213 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 273 276 278 284 289 291 292 293 302 303 305 308 310 a 9 12 15 21 25 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 140 143 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 177 179 181 185 186 188 195 197 199 201 203 204 206 212 213 216 220 222 228 229 231 233 234 236 237 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 302 303 305 308 310 a 5 9 12 15 21 25 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 140 143 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 177 179 181 185 186 188 195 197 199 201 203 204 206 212 213 216 220 222 228 229 231 233 234 236 237 243 247 251 252 255 257 259 265 266 268 269 273 276 278 279 284 289 291 292 293 302 303 308 310 a 5 9 12 15 21 25 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 140 143 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 177 179 181 185 186 188 195 197 199 201 203 204 206 212 213 216 220 222 228 229 231 233 234 236 237 243 247 251 252 255 257 259 265 266 268 269 273 276 279 284 289 291 292 293 302 303 308 310 315 a 5 9 12 15 21 25 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 140 143 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 179 181 185 186 188 195 197 199 201 203 204 206 209 212 213 216 220 222 228 229 231 233 234 236 237 243 247 251 252 255 257 259 265 266 268 269 273 276 279 284 289 291 292 293 302 303 308 310 315 a 1 5 9 12 15 21 25 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 179 181 185 186 188 195 197 199 201 203 204 206 209 212 213 216 220 222 228 229 231 233 234 236 237 243 247 251 252 255 257 259 265 266 268 269 273 276 279 284 289 291 292 293 302 303 308 310 315 a 1 5 9 12 15 21 25 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 121 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 179 181 185 186 188 195 197 199 201 203 204 206 209 212 213 216 220 222 228 229 231 233 234 236 237 243 247 251 252 255 257 259 265 266 268 269 276 279 284 289 291 292 293 302 303 308 310 315 a 1 5 9 12 15 21 25 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 121 128 131 133 135 140 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 179 181 185 186 188 195 197 199 201 203 204 206 209 212 213 216 220 222 228 229 231 233 234 236 237 243 247 251 252 255 257 259 265 266 268 269 276 279 284 289 291 292 293 302 303 305 308 310 a 1 5 9 12 15 21 25 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 121 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 179 181 185 186 188 195 197 199 201 203 204 206 209 212 213 216 220 222 228 229 231 233 234 236 237 243 247 251 252 255 257 259 265 266 268 269 276 279 284 289 291 292 293 302 303 305 307 308 310 a 1 5 9 12 15 21 25 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 121 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 179 185 186 188 195 197 199 201 203 204 206 209 212 213 216 220 222 228 229 231 233 234 236 237 243 247 251 252 255 257 259 265 266 268 269 276 278 279 284 289 291 292 293 302 303 305 307 308 310 a 1 5 9 12 15 21 25 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 121 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 179 185 186 188 195 197 199 201 203 204 206 209 212 213 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 276 278 279 284 289 291 292 293 302 303 305 307 308 a 1 5 9 12 15 21 25 29 31 34 39 42 44 47 49 50 54 63 65 66 71 77 84 86 87 93 94 97 99 101 106 107 115 116 117 121 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 179 181 185 186 188 195 197 199 201 203 204 206 209 212 213 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 276 278 279 284 289 291 292 293 302 303 305 307 308 a 1 5 9 12 15 21 25 31 34 39 42 44 47 49 50 54 63 65 66 71 77 84 86 87 93 94 97 99 101 106 107 115 116 117 121 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 179 181 185 186 188 195 197 199 201 203 204 206 209 212 213 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 276 278 279 284 289 291 292 293 302 303 305 307 308 310 a 1 5 9 12 15 21 25 31 34 39 42 44 47 49 50 54 63 65 66 71 77 84 86 87 93 94 97 99 101 106 107 115 116 117 121 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 179 185 186 188 195 197 199 201 203 204 205 206 209 212 213 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 276 278 279 284 289 291 292 293 302 303 305 307 308 310 a 1 5 9 12 15 21 25 31 34 39 42 44 47 49 54 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 121 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 179 185 186 188 195 197 199 201 203 204 205 206 209 212 213 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 276 278 279 284 289 291 292 293 302 303 305 307 308 310 a 1 5 9 12 15 21 25 29 31 34 39 42 44 47 49 63 65 66 71 77 80 84 86 87 93 94 97 99 101 106 107 115 116 117 121 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 179 185 186 188 195 197 199 201 203 204 205 206 209 212 213 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 276 278 279 284 289 291 292 293 302 303 305 307 308 310 a 1 5 9 12 15 21 25 29 31 34 39 42 44 47 49 63 65 66 71 77 80 86 87 93 94 97 99 101 106 107 115 116 117 121 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 178 179 185 186 188 195 197 199 201 203 204 205 206 209 212 213 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 276 278 279 284 289 291 292 293 302 303 305 307 308 310 a 1 5 12 15 21 25 29 31 34 39 42 44 47 49 50 63 65 66 71 77 80 86 87 93 94 97 99 101 106 107 115 116 117 121 128 131 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 178 179 185 186 188 195 197 199 201 203 204 205 206 209 212 213 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 276 278 279 284 289 291 292 293 302 303 305 307 308 310 a 1 5 12 15 21 25 29 31 34 39 42 44 47 49 50 63 65 66 71 77 80 86 87 93 94 97 99 101 106 107 115 116 117 121 128 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 178 179 185 186 188 195 196 197 199 201 203 204 205 206 209 212 213 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 276 278 279 284 289 291 292 293 302 303 305 307 308 310 a 1 5 12 15 21 25 29 31 34 39 42 44 47 49 50 63 65 66 71 77 80 86 87 93 94 97 99 101 105 106 107 115 116 117 121 128 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 178 179 185 186 188 195 196 197 199 201 203 204 205 206 209 212 213 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 278 279 284 289 291 292 293 302 303 305 307 308 310 a 1 5 12 15 21 25 29 31 34 39 42 44 47 49 50 63 65 66 71 77 80 86 87 93 94 97 99 101 105 106 107 115 116 117 121 128 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 178 179 185 186 188 195 196 197 199 201 203 204 205 206 209 212 213 215 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 278 279 284 289 291 292 293 302 303 305 307 308 a 1 5 12 13 15 21 25 29 31 34 39 42 44 47 49 50 63 65 66 71 77 80 86 87 93 94 97 99 101 105 106 107 115 116 117 121 128 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 178 179 185 186 188 195 196 197 199 201 203 204 205 206 209 212 213 215 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 278 279 284 289 292 293 302 303 305 307 308 a 1 5 12 13 15 21 25 29 31 34 39 42 44 47 49 50 63 65 66 71 77 80 86 87 93 94 97 99 101 105 106 107 115 116 117 121 128 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 178 179 185 186 188 195 196 197 198 199 201 203 204 205 206 209 212 213 215 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 278 279 284 289 292 293 302 303 305 308 a 1 5 12 13 15 19 21 25 29 31 34 39 42 44 47 49 50 65 66 71 77 80 86 87 93 94 97 99 101 105 106 107 115 116 117 121 128 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 178 179 185 186 188 195 196 197 198 199 201 203 204 205 206 209 212 213 215 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 278 279 284 289 292 293 302 303 305 308 a 1 5 12 13 15 19 21 25 29 31 34 39 42 44 47 49 50 65 66 71 77 80 86 93 94 97 99 101 105 106 107 115 116 117 121 128 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 178 179 185 186 188 195 196 197 198 199 201 203 204 205 206 209 212 213 215 216 220 222 228 229 231 233 234 236 237 242 243 247 251 252 255 257 259 265 266 268 269 278 279 284 289 292 293 300 302 303 305 308 a 1 5 12 13 15 19 21 25 29 31 34 39 42 44 47 49 50 65 66 71 77 80 86 93 94 97 99 101 105 106 107 115 116 117 121 128 133 135 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 178 179 185 186 188 195 196 197 198 199 201 203 204 205 206 209 212 213 215 216 220 222 228 229 231 233 234 237 242 243 247 248 251 252 255 257 259 265 266 268 269 278 279 284 289 292 293 300 302 303 305 308 a 1 5 12 13 15 19 21 25 29 31 34 39 42 44 47 49 50 65 66 71 77 80 86 93 94 97 99 101 105 106 107 115 116 117 121 128 133 135 136 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 178 179 185 186 188 195 196 197 198 199 201 203 204 205 206 209 212 213 215 216 220 222 228 229 231 233 234 237 242 243 247 248 251 252 255 257 259 265 266 268 269 278 279 284 289 292 293 300 302 303 308 a 1 5 12 13 15 19 21 25 29 31 34 39 42 44 47 49 50 62 65 66 71 77 80 86 93 94 97 99 101 105 106 107 115 116 117 121 128 133 135 136 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 178 179 185 186 188 195 196 197 198 199 201 203 204 205 206 209 212 213 215 216 220 222 228 229 231 233 234 237 242 243 247 248 251 252 255 257 259 265 266 268 269 278 284 289 292 293 300 302 303 308 a 1 5 12 13 15 19 21 25 29 31 34 39 42 44 47 49 50 62 65 66 71 77 80 86 93 94 97 99 101 105 106 107 115 116 117 121 128 133 135 136 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 178 179 185 186 188 195 196 197 198 199 201 203 204 205 206 209 212 213 215 216 220 222 228 229 231 233 234 237 242 243 247 248 251 252 255 257 259 265 266 269 278 284 289 292 293 298 300 302 303 308 a 1 5 12 13 15 19 21 25 29 31 34 39 42 44 47 49 50 62 65 66 71 77 80 86 93 94 97 99 101 105 106 107 115 116 117 121 128 133 135 136 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 178 179 185 186 188 195 196 197 198 199 201 203 204 205 206 209 212 213 215 216 220 222 228 229 231 233 234 237 242 243 247 248 251 252 255 257 259 265 266 269 276 278 284 289 292 293 298 300 303 308 a 1 5 12 13 15 19 21 25 29 31 34 39 42 44 47 49 50 59 62 65 71 77 80 86 93 94 97 99 101 105 106 107 115 116 117 121 128 133 135 136 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 178 179 185 186 188 195 196 197 198 199 201 203 204 205 206 209 212 213 215 216 220 222 228 229 231 233 234 237 242 243 247 248 251 252 255 257 259 265 266 269 276 278 284 289 292 293 298 300 303 308 a 1 5 12 13 15 19 21 25 29 31 34 39 42 44 47 49 50 59 62 65 71 77 80 86 93 94 97 99 101 105 106 107 115 116 117 121 123 128 133 135 136 144 146 148 149 151 152 154 157 158 166 167 170 171 173 175 178 179 185 186 188 195 196 197 198 199 201 203 204 205 206 209 212 213 215 216 220 222 228 229 231 233 234 237 242 243 247 248 251 252 255 257 259 265 266 269 276 278 289 292 293 298 300 303 308 a 1 5 12 13 15 19 21 25 29 31 34 39 42 44 47 49 50 59 62 65 71 77 80 86 93 94 97 99 101 105 106 107 115 116 117 121 123 128 133 135 136 144 146 148 149 151 152 154 155 157 158 166 167 170 171 173 178 179 185 186 188 195 196 197 198 199 201 203 204 205 206 209 212 213 215 216 220 222 228 229 231 233 234 237 242 243 247 248 251 252 255 257 259 265 266 269 276 278 289 292 293 298 300 303 308 a 1 5 12 13 15 19 21 25 29 31 34 39 42 44 47 49 50 59 62 65 71 77 80 86 93 94 97 99 101 105 106 107 115 116 117 119 121 123 128 133 135 136 144 146 148 149 151 152 154 155 157 158 166 167 170 171 173 178 179 185 186 188 195 196 197 198 199 201 203 204 205 206 209 212 215 216 220 222 228 229 231 233 234 237 242 243 247 248 251 252 255 257 259 265 266 269 276 278 289 292 293 298 300 303 308 a 1 5 12 13 15 19 21 25 29 31 34 39 42 44 47 49 50 59 62 65 71 77 80 86 93 94 97 99 101 103 105 106 107 115 116 117 119 121 123 128 133 135 136 144 146 148 149 151 152 154 155 157 158 166 167 170 171 173 178 179 185 186 188 195 196 197 198 199 201 203 204 205 206 209 212 215 216 220 222 228 229 231 233 234 237 242 243 247 248 251 252 255 259 265 266 269 276 278 289 292 293 298 300 303 308 a 1 5 12 13 15 19 21 25 29 31 34 39 42 44 47 49 50 59 62 65 71 77 80 86 93 94 97 99 101 103 105 106 107 115 116 117 119 121 123 128 133 135 136 144 146 148 149 151 152 154 155 157 158 166 167 170 171 173 178 179 185 186 187 188 195 196 197 198 199 201 203 204 205 206 209 212 215 216 220 222 228 229 231 233 234 237 242 243 248 251 252 255 259 265 266 269 276 278 289 292 293 298 300 303 308 a 1 5 12 13 15 19 21 25 29 31 34 39 42 44 47 49 50 59 62 65 71 77 80 86 93 94 97 99 101 103 105 106 107 115 116 117 119 121 123 128 133 135 136 144 148 149 151 152 154 155 157 158 166 167 170 171 173 178 179 185 186 187 188 195 196 197 198 199 201 203 204 205 206 209 212 215 216 220 222 228 229 231 233 234 237 242 243 248 251 252 255 259 265 266 269 276 278 289 292 293 296 298 300 303 308 a 1 5 12 13 15 19 21 25 29 31 34 39 42 44 47 49 50 57 59 62 65 71 77 80 86 93 94 97 99 101 103 105 106 107 115 116 117 119 121 123 128 133 135 136 144 148 149 151 152 154 155 157 158 166 167 170 171 173 179 185 186 187 188 195 196 197 198 199 201 203 204 205 206 209 212 215 216 220 222 228 229 231 233 234 237 242 243 248 251 252 255 259 265 266 269 276 278 289 292 293 296 298 300 303 308 a 1 5 12 13 15 19 21 25 29 31 39 42 44 47 49 50 57 59 62 65 71 77 80 86 93 94 97 99 101 103 105 106 107 115 116 117 119 121 123 128 133 135 136 144 148 149 151 152 154 155 157 158 166 167 170 171 173 179 184 185 186 187 188 195 196 197 198 199 201 203 204 205 206 209 212 215 216 220 222 228 229 231 233 234 237 242 243 248 251 252 255 259 265 266 269 276 278 289 292 293 296 298 300 303 308 a 1 5 12 13 15 19 21 25 29 31 39 42 44 47 49 50 57 59 62 65 71 77 80 86 93 94 97 99 103 105 106 107 115 116 117 119 121 123 128 133 135 136 144 148 149 151 152 154 155 157 158 166 167 170 171 173 179 180 184 185 186 187 188 195 196 197 198 199 201 203 204 205 206 209 212 215 216 220 222 228 229 231 233 234 237 242 243 248 251 252 255 259 265 266 269 276 278 289 292 293 296 298 300 303 308 a 1 5 12 13 15 19 21 25 29 31 39 42 44 47 49 50 57 59 62 65 71 77 80 84 86 93 94 97 99 103 105 106 107 115 116 117 119 121 123 128 133 135 136 144 148 149 151 152 154 155 157 158 166 167 170 171 173 179 180 184 185 186 187 188 195 197 198 199 201 203 204 205 206 209 212 215 216 220 222 228 229 231 233 234 237 242 243 248 251 252 255 259 265 266 269 276 278 289 292 293 296 298 300 303 308 a 1 5 12 13 15 19 21 25 29 31 39 42 44 47 49 50 57 59 62 65 71 77 80 84 86 93 94 97 99 103 105 106 107 115 116 117 119 121 123 128 133 135 136 144 148 149 151 154 155 157 158 166 167 170 171 173 179 180 184 185 186 187 188 195 197 198 199 201 203 204 205 206 209 212 215 216 220 222 228 229 231 233 234 237 242 243 248 251 252 255 259 265 266 269 276 278 289 292 293 296 298 300 303 308 318 a 1 5 12 13 15 19 21 25 29 31 39 42 44 47 49 50 57 59 62 65 71 77 80 84 86 93 94 97 99 103 105 106 107 115 116 117 119 121 123 128 133 135 136 144 148 149 151 154 155 157 158 162 166 167 170 171 173 179 180 184 185 187 188 195 197 198 199 201 203 204 205 206 209 212 215 216 220 222 228 229 231 233 234 237 242 243 248 251 252 255 259 265 266 269 276 278 289 292 293 296 298 300 303 308 318 a 1 5 12 13 15 19 21 25 29 31 39 42 44 47 49 50 57 59 62 65 71 72 77 80 84 86 93 94 97 99 103 105 107 115 116 117 119 121 123 128 133 135 136 144 148 149 151 154 155 157 158 162 166 167 170 171 173 179 180 184 185 187 188 195 197 198 199 201 203 204 205 206 209 212 215 216 220 222 228 229 231 233 234 237 242 243 248 251 252 255 259 265 266 269 276 278 289 292 293 296 298 300 303 308 318 a 1 5 12 13 15 19 21 25 26 29 31 39 42 44 47 49 50 57 59 62 65 71 72 80 84 86 93 94 97 99 103 105 107 115 116 117 119 121 123 128 133 135 136 144 148 149 151 154 155 157 158 162 166 167 170 171 173 179 180 184 185 187 188 195 197 198 199 201 203 204 205 206 209 212 215 216 220 222 228 229 231 233 234 237 242 243 248 251 252 255 259 265 266 269 276 278 289 292 293 296 298 300 303 308 318 a 1 5 12 13 15 19 21 25 26 29 31 39 42 44 47 49 50 57 59 62 65 71 72 80 84 86 93 94 97 99 103 105 107 115 116 117 119 121 123 128 133 135 136 141 144 148 149 151 154 155 157 158 162 166 167 170 171 173 179 180 184 185 187 188 195 197 198 199 201 203 204 205 206 209 212 215 216 220 222 228 229 231 233 237 242 243 248 251 252 255 259 265 266 269 276 278 289 292 293 296 298 300 303 308 318 a 1 5 12 13 15 19 21 25 26 29 31 39 42 44 47 49 50 57 59 62 65 69 71 72 80 84 86 93 94 97 99 103 105 107 115 116 117 119 121 123 128 133 135 136 141 144 148 149 151 154 155 157 158 162 166 167 170 171 173 179 180 184 185 187 188 195 197 198 199 201 203 204 205 206 209 212 215 216 220 222 228 229 231 233 237 242 243 248 251 252 255 259 265 266 269 276 278 289 293 296 298 300 303 308 318 a 1 5 12 13 15 19 21 25 26 29 31 39 42 44 47 49 50 57 59 62 65 69 71 72 80 84 86 93 94 97 99 103 105 107 115 116 117 119 121 123 128 133 135 136 141 144 148 149 151 154 155 157 158 162 166 167 170 171 173 179 180 184 185 187 188 195 197 198 199 201 203 204 205 206 209 212 215 216 220 228 229 231 233 237 242 243 248 251 252 255 259 265 266 269 276 278 289 293 296 298 300 303 306 308 318 a 1 5 12 13 19 21 25 26 29 31 39 42 44 47 49 50 57 59 62 65 69 71 72 80 84 86 93 94 97 99 103 105 107 115 116 117 119 121 123 128 133 135 136 141 144 148 149 151 154 155 157 158 162 165 166 167 170 171 173 179 180 184 185 187 188 195 197 198 199 201 203 204 205 206 209 212 215 216 220 228 229 231 233 237 242 243 248 251 252 255 259 265 266 269 276 278 289 293 296 298 300 303 306 308 318 a 1 5 12 13 19 21 25 26 29 31 39 42 44 47 49 50 57 59 62 65 69 71 72 75 80 84 86 93 94 97 99 103 105 107 115 116 117 119 121 123 128 133 135 136 141 144 148 149 151 154 155 157 158 162 165 166 167 170 171 173 179 180 184 185 187 188 195 197 198 199 201 203 204 205 206 209 212 215 216 220 228 229 231 233 237 242 243 248 251 252 255 259 265 269 276 278 289 293 296 298 300 303 306 308 318 a 1 5 12 13 19 21 25 26 29 31 39 42 44 47 49 50 57 59 62 65 69 71 72 75 80 84 86 93 94 97 99 103 105 107 115 116 117 119 121 123 128 133 135 136 141 144 148 149 151 154 155 157 158 162 165 166 167 170 171 173 179 180 184 185 187 188 195 197 198 199 201 203 204 205 206 209 212 215 216 220 227 228 229 231 233 237 242 243 248 251 252 255 259 265 269 276 278 289 293 296 298 300 306 308 318 a 1 5 12 13 19 21 25 26 29 31 39 42 44 47 49 50 57 59 62 65 69 71 72 75 80 84 86 93 94 97 99 103 105 107 115 116 117 119 121 123 128 133 134 135 136 141 144 148 149 151 154 155 157 158 162 165 166 167 170 173 179 180 184 185 187 188 195 197 198 199 201 203 204 205 206 209 212 215 216 220 227 228 229 231 233 237 242 243 248 251 252 255 259 265 269 276 278 289 293 296 298 300 306 308 318 a 1 5 12 13 17 19 21 25 26 29 31 39 42 44 47 49 50 57 59 62 65 69 71 72 75 80 84 86 93 94 97 99 103 105 107 115 117 119 121 123 128 133 134 135 136 141 144 148 149 151 154 155 157 158 162 165 166 167 170 173 179 180 184 185 187 188 195 197 198 199 201 203 204 205 206 209 212 215 216 220 227 228 229 231 233 237 242 243 248 251 252 255 259 265 269 276 278 289 293 296 298 300 306 308 318 a 1 5 12 13 17 19 21 25 26 29 31 39 42 44 47 49 50 57 59 62 65 69 71 72 75 80 84 86 93 94 97 99 103 105 107 115 117 119 121 123 128 133 134 135 136 141 144 148 149 151 154 155 157 158 162 165 166 167 170 173 179 180 184 185 187 188 195 197 198 199 201 203 204 205 206 209 212 215 216 220 227 228 229 231 233 237 242 248 251 252 255 259 265 269 276 278 289 293 294 296 298 300 306 308 318 a 1 5 12 13 17 19 21 25 26 29 31 39 42 44 47 49 50 57 59 62 65 69 71 72 75 80 84 86 93 94 97 99 103 105 107 115 117 119 121 123 128 133 134 135 136 141 144 148 149 151 154 155 157 158 162 165 166 167 173 179 180 184 185 187 188 195 197 198 199 201 203 204 205 206 209 212 215 216 220 227 228 229 231 233 237 242 248 251 252 255 259 265 269 276 278 282 289 293 294 296 298 300 306 308 318 a 1 5 12 13 17 19 21 25 26 29 31 39 42 44 47 49 50 57 59 62 65 69 71 72 75 80 84 93 94 97 99 103 105 107 115 117 119 121 123 128 133 134 135 136 141 144 148 149 151 154 155 157 158 162 165 166 167 173 179 180 184 185 187 188 195 197 198 199 201 203 204 205 206 209 212 215 216 220 227 228 229 231 233 237 242 248 251 252 255 259 265 267 269 276 278 282 289 293 294 296 298 300 306 308 318 a 1 5 12 13 17 19 21 25 26 29 31 39 42 44 47 49 50 57 59 62 65 69 71 72 75 80 84 93 94 97 99 103 105 107 115 117 119 121 123 128 133 134 135 136 141 144 148 149 151 154 155 157 158 162 165 166 167 173 179 180 184 185 187 188 193 195 197 198 199 201 203 204 205 206 209 212 215 216 220 227 228 229 231 233 237 242 248 251 252 255 259 265 267 269 276 282 289 293 294 296 298 300 306 308 318 a 1 5 12 13 17 19 21 25 26 29 31 39 42 44 47 49 50 57 59 62 65 69 71 72 75 80 84 93 94 97 99 103 105 107 115 117 119 121 123 128 134 135 136 141 144 148 149 151 154 155 157 158 162 165 166 167 173 179 180 184 185 187 188 192 193 195 197 198 199 201 203 204 205 206 209 212 215 216 220 227 228 229 231 233 237 242 248 251 252 255 259 265 267 269 276 282 289 293 294 296 298 300 306 308 318 a 1 5 12 13 17 19 21 25 26 29 31 39 42 44 47 49 57 59 62 65 69 71 72 75 80 82 84 93 94 97 99 103 105 107 115 117 119 121 123 128 134 135 136 141 144 148 149 151 154 155 157 158 162 165 166 167 173 179 180 184 185 187 188 192 193 195 197 198 199 201 203 204 205 206 209 212 215 216 220 227 228 229 231 233 237 242 248 251 252 255 259 265 267 269 276 282 289 293 294 296 298 300 306 308 318 a 1 5 13 17 19 21 25 26 29 31 39 42 44 47 49 57 59 62 65 69 71 72 75 80 82 84 93 94 97 99 103 105 107 115 117 119 121 123 128 134 135 136 141 144 148 149 151 154 155 157 158 162 165 166 167 173 179 180 184 185 187 188 192 193 195 197 198 199 201 203 204 205 206 209 212 215 216 220 227 228 229 231 233 237 242 248 251 252 255 259 265 267 269 276 282 289 290 293 294 296 298 300 306 308 318 a 1 5 13 17 19 21 25 26 29 31 39 42 44 47 49 55 57 59 62 65 69 71 72 75 80 82 84 93 94 97 99 103 105 107 115 117 119 121 123 134 135 136 141 144 148 149 151 154 155 157 158 162 165 166 167 173 179 180 184 185 187 188 192 193 195 197 198 199 201 203 204 205 206 209 212 215 216 220 227 228 229 231 233 237 242 248 251 252 255 259 265 267 269 276 282 289 290 293 294 296 298 300 306 308 318 a 1 5 13 17 19 21 26 29 31 39 42 44 47 49 55 57 59 62 65 69 71 72 75 80 82 84 93 94 97 99 103 105 107 115 117 119 121 123 134 135 136 141 144 148 149 151 154 155 157 158 162 165 166 167 173 179 180 184 185 187 188 192 193 195 197 198 199 201 203 204 205 206 207 209 212 215 216 220 227 228 229 231 233 237 242 248 251 252 255 259 265 267 269 276 282 289 290 293 294 296 298 300 306 308 318 a 1 5 13 17 19 21 26 29 31 39 42 44 47 49 55 57 59 62 65 69 71 72 75 80 82 84 93 94 97 99 103 105 107 115 117 119 121 123 134 135 136 141 144 148 149 154 155 157 158 162 165 166 167 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 203 204 205 206 207 209 212 215 216 220 227 228 229 231 233 237 242 248 251 252 255 259 265 267 269 276 282 289 290 293 294 296 298 300 306 308 318 a 1 5 13 17 19 21 26 29 31 39 42 44 47 49 52 55 57 59 62 65 69 71 72 75 80 82 84 93 94 97 99 103 105 107 115 117 119 121 123 134 135 136 141 144 148 149 154 155 157 158 162 165 166 167 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 203 204 205 207 209 212 215 216 220 227 228 229 231 233 237 242 248 251 252 255 259 265 267 269 276 282 289 290 293 294 296 298 300 306 308 318 a 1 5 13 17 19 21 26 29 31 39 42 44 47 49 52 55 57 59 62 65 69 71 72 75 80 82 84 93 94 97 99 102 103 105 107 115 117 119 121 123 134 135 136 141 144 148 149 154 155 157 158 162 165 166 167 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 203 204 205 207 209 212 215 220 227 228 229 231 233 237 242 248 251 252 255 259 265 267 269 276 282 289 290 293 294 296 298 300 306 308 318 a 1 5 13 17 19 21 26 29 31 39 44 47 49 52 55 57 59 62 65 69 71 72 75 80 82 84 93 94 97 99 102 103 105 107 115 117 119 121 123 134 135 136 141 144 148 149 154 155 157 158 162 165 166 167 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 203 204 205 207 209 212 215 220 227 228 229 231 233 237 242 248 251 252 255 259 265 267 269 276 282 289 290 293 294 296 298 299 300 306 308 318 a 1 5 13 17 19 21 26 29 31 39 44 47 49 52 55 57 59 62 65 69 71 72 73 75 80 82 84 93 94 97 99 102 103 105 107 115 117 119 121 123 134 135 136 141 144 148 149 154 155 157 158 162 165 166 167 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 220 227 228 229 231 233 237 242 248 251 252 255 259 265 267 269 276 282 289 290 293 294 296 298 299 300 306 308 318 a 1 5 13 17 19 21 26 29 31 39 44 47 49 52 55 57 59 61 62 65 69 71 72 73 75 80 82 84 93 94 97 99 102 103 105 107 115 117 119 121 123 134 135 136 141 144 148 154 155 157 158 162 165 166 167 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 220 227 228 229 231 233 237 242 248 251 252 255 259 265 267 269 276 282 289 290 293 294 296 298 299 300 306 308 318 a 1 5 13 17 19 21 26 29 31 39 44 47 49 52 55 57 59 61 62 65 69 71 72 73 75 80 82 84 92 93 94 97 99 102 103 105 107 115 117 119 121 123 134 135 136 141 144 148 154 155 157 158 162 165 166 167 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 227 228 229 231 233 237 242 248 251 252 255 259 265 267 269 276 282 289 290 293 294 296 298 299 300 306 308 318 a 1 5 13 17 19 21 26 29 31 39 44 47 49 52 55 57 59 61 62 65 69 71 72 73 75 80 82 84 92 93 94 99 102 103 105 107 115 117 119 121 123 134 135 136 141 144 148 154 155 157 158 162 165 166 167 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 231 233 237 242 248 251 252 255 259 265 267 269 276 282 289 290 293 294 296 298 299 300 306 308 318 a 1 5 13 17 19 21 26 29 31 39 44 47 49 52 55 57 59 61 62 65 69 71 72 73 75 80 82 84 92 93 94 99 102 103 105 107 115 117 119 121 123 125 134 135 136 141 144 148 154 155 157 162 165 166 167 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 231 233 237 242 248 251 252 255 259 265 267 269 276 282 289 290 293 294 296 298 299 300 306 308 318 a 1 5 13 17 19 21 26 29 31 39 44 47 52 55 57 59 61 62 65 69 71 72 73 75 80 82 84 92 93 94 99 100 102 103 105 107 115 117 119 121 123 125 134 135 136 141 144 148 154 155 157 162 165 166 167 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 231 233 237 242 248 251 252 255 259 265 267 269 276 282 289 290 293 294 296 298 299 300 306 308 318 a 1 13 17 19 21 26 29 31 39 44 47 52 55 57 59 61 62 65 69 71 72 73 75 80 82 84 92 93 94 99 100 102 103 105 107 115 117 119 121 123 125 134 135 136 141 144 148 154 155 157 162 165 166 167 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 231 233 237 242 248 251 252 253 255 259 265 267 269 276 282 289 290 293 294 296 298 299 300 306 308 318 a 1 13 17 19 21 26 29 31 39 44 47 52 55 57 59 61 62 65 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 117 119 121 123 125 134 135 136 139 141 144 148 154 155 157 162 165 166 167 173 179 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 231 233 237 242 248 251 252 253 255 259 265 267 269 276 282 289 290 293 294 296 298 299 300 306 308 318 a 1 13 17 19 21 26 29 31 39 44 47 52 55 57 59 61 62 65 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 117 119 121 123 125 134 135 136 139 141 144 148 154 155 157 162 165 166 167 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 231 233 237 242 248 251 252 253 255 259 265 267 269 276 282 289 290 293 294 296 298 299 300 306 308 318 320 a 1 13 17 19 21 26 29 31 39 44 47 52 55 57 59 61 62 65 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 119 121 123 125 134 135 136 139 141 144 148 154 155 157 162 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 231 233 237 242 248 251 252 253 255 259 265 267 269 276 282 289 290 293 294 296 298 299 300 306 308 318 320 a 1 13 17 19 21 26 29 31 39 44 47 52 55 57 59 61 62 65 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 119 121 123 125 134 135 136 139 141 144 148 154 155 157 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 233 237 242 248 251 252 253 255 259 265 267 269 276 282 289 290 293 294 296 298 299 300 306 308 318 320 a 1 13 17 19 21 26 29 31 39 44 47 52 55 57 59 61 62 65 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 119 121 123 125 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 233 237 242 248 251 252 253 255 259 264 265 267 269 276 282 289 290 293 294 296 298 299 300 306 308 318 320 a 1 13 17 19 21 26 29 31 39 44 47 52 55 57 59 61 62 65 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 119 121 123 125 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 233 237 242 248 251 252 253 259 264 265 267 269 276 277 282 289 290 293 294 296 298 299 300 306 308 318 320 a 1 13 17 19 21 26 29 31 39 44 47 52 55 57 59 61 62 65 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 119 121 123 125 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 233 237 242 248 252 253 259 264 265 267 269 276 277 282 289 290 293 294 296 298 299 300 306 308 318 320 a 1 13 17 19 21 26 29 30 31 39 44 47 52 55 57 59 61 62 65 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 119 121 123 125 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 233 237 248 252 253 259 264 265 267 269 276 277 282 289 290 293 294 296 298 299 300 306 308 318 320 a 1 13 17 19 21 26 29 30 31 39 44 47 52 55 57 59 61 62 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 119 121 123 125 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 233 237 248 252 253 259 264 265 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320 a 1 13 17 19 20 21 26 29 30 31 39 44 47 52 55 57 59 61 62 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 119 123 125 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 233 237 248 252 253 259 264 265 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320 a 1 13 17 19 20 21 26 29 30 31 39 44 47 52 55 57 59 61 62 69 71 72 73 75 80 82 84 92 94 99 100 102 103 105 107 115 119 123 124 125 130 134 135 136 139 141 144 148 154 155 162 163 165 166 167 169 173 180 184 185 187 188 191 192 193 195 197 198 199 201 204 205 207 209 212 215 221 227 228 229 233 237 248 252 253 259 264 267 269 276 277 282 289 290 293 294 296 298 299 300 304 306 308 318 320 c Step: 128 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance025_graph005.col /benchmark/random_instance/random_instance025_graph005_01.dat" User time (seconds): 356.38 System time (seconds): 7.65 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.06 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 27780464 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 9459567 Voluntary context switches: 24 Involuntary context switches: 2230 Swaps: 0 File system inputs: 0 File system outputs: 688 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 02:28:18 2023]