#BEGIN: [Mon Sep 4 15:10:14 2023] #HOST: s06 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance036_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance036_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance036_graph002.col /benchmark/random_instance/random_instance036_graph002_01.dat c /benchmark/random_instance/random_instance036_graph002.col c /benchmark/random_instance/random_instance036_graph002_01.dat s 152 404 182 177 157 124 2 106 132 170 109 69 450 281 139 185 37 468 295 278 194 248 148 47 454 167 120 95 359 67 240 39 179 44 402 313 52 315 425 64 464 29 217 292 97 184 190 154 237 43 284 380 82 306 126 246 310 202 407 6 59 224 172 247 453 183 125 27 58 89 166 140 110 399 396 327 164 287 291 296 297 85 252 76 419 45 466 73 13 253 5 307 86 448 71 294 117 130 236 9 392 411 155 302 150 271 65 135 203 349 369 218 378 191 326 452 201 457 410 231 372 32 338 345 200 87 330 215 398 142 23 186 273 165 427 324 230 28 443 333 251 272 181 42 149 299 1 205 420 119 422 351 436 t 204 405 347 88 394 412 259 401 314 37 8 29 454 74 158 150 386 306 462 281 77 43 171 456 437 318 151 143 297 467 280 55 261 46 109 457 125 167 324 398 209 443 31 185 391 101 172 295 273 95 278 40 54 38 272 128 466 433 11 409 39 192 181 73 137 214 120 45 157 428 408 411 191 323 175 236 232 19 277 430 434 224 445 78 325 21 447 97 344 333 327 356 274 390 66 348 234 326 243 195 135 216 292 108 423 117 422 413 36 168 84 307 459 149 53 219 194 396 155 240 361 249 145 251 148 33 211 296 419 1 255 136 96 217 64 156 293 203 436 20 340 212 173 353 289 410 322 407 399 377 349 230 420 a YES a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 338 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 142 143 148 149 150 152 154 155 157 164 165 166 167 170 172 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 338 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 143 148 149 150 152 154 155 157 164 165 166 167 170 172 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 338 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 456 457 464 466 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 143 148 149 150 152 154 155 157 164 165 166 167 170 172 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 338 345 348 349 351 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 456 457 464 466 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 143 148 149 150 152 154 155 157 164 165 166 167 170 172 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 338 348 349 351 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 456 457 464 466 467 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 143 148 149 150 152 154 155 157 164 165 166 167 170 172 179 181 182 183 184 185 186 190 191 194 200 202 203 205 215 217 218 224 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 338 348 349 351 369 372 377 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 456 457 464 466 467 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 143 148 149 150 152 154 155 157 164 165 166 167 170 172 179 181 182 183 184 185 186 190 191 194 200 202 203 205 215 217 218 224 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 338 348 349 351 356 369 372 377 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 436 443 448 450 452 453 454 456 457 464 466 467 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 143 148 149 150 152 154 155 157 164 165 166 167 170 172 179 181 182 183 184 185 186 190 191 194 200 202 203 205 215 217 218 224 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 351 356 369 372 377 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 436 443 448 450 452 453 454 456 457 464 466 467 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 143 148 149 150 152 154 155 157 164 165 167 170 172 179 181 182 183 184 185 186 190 191 194 200 202 203 205 212 215 217 218 224 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 351 356 369 372 377 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 436 443 448 450 452 453 454 456 457 464 466 467 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 143 148 149 150 152 154 155 157 164 165 167 170 172 179 181 182 183 184 185 186 190 191 194 200 203 205 212 215 217 218 224 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 351 356 369 372 377 378 380 392 396 398 399 402 404 407 408 410 411 419 420 422 425 436 443 448 450 452 453 454 456 457 464 466 467 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 143 148 149 150 152 154 155 157 164 165 167 170 172 179 181 182 183 184 185 186 190 191 194 200 203 205 212 215 217 218 224 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 356 369 372 377 378 380 392 396 398 399 402 404 407 408 410 411 419 420 422 425 436 443 448 450 452 453 454 456 457 462 464 466 467 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 136 139 140 143 148 149 150 152 154 155 157 164 165 167 170 172 179 181 182 183 184 185 186 190 191 194 200 203 205 212 215 217 218 224 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 356 369 372 377 378 380 392 396 398 399 402 404 407 408 410 411 419 420 422 425 436 443 448 450 452 453 454 456 457 462 464 466 467 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 45 52 58 59 64 65 67 69 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 136 139 140 143 148 149 150 152 154 155 157 164 165 167 170 172 179 181 182 183 184 185 186 190 191 194 200 203 205 212 215 217 218 224 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 356 369 372 377 378 380 392 396 398 399 402 404 407 408 410 411 419 420 422 425 436 443 447 448 450 452 453 454 456 457 462 464 466 467 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 45 52 58 59 64 65 67 69 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 136 139 140 143 148 149 150 152 154 155 157 164 165 167 170 172 179 181 182 183 184 185 186 190 191 194 200 203 205 212 215 217 218 224 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 356 369 372 377 378 392 396 398 399 402 404 407 408 410 411 419 420 422 425 430 436 443 447 448 450 452 453 454 456 457 462 464 466 467 468 a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 45 52 58 59 64 65 67 69 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 136 139 140 143 148 149 150 152 154 155 157 164 165 167 170 172 179 181 182 183 184 185 186 190 191 194 200 203 205 212 215 217 218 224 230 231 236 240 246 247 248 251 252 253 271 272 273 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 356 369 372 377 378 392 396 398 399 402 404 407 408 410 411 419 420 422 425 430 436 443 447 448 450 452 453 454 456 457 462 464 466 467 468 a 1 2 5 6 9 13 23 27 29 32 37 39 42 43 44 45 52 58 59 64 65 67 69 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 136 139 140 143 148 149 150 152 154 155 157 164 165 167 170 172 179 181 182 183 184 185 186 190 191 194 200 203 205 211 212 215 217 218 224 230 231 236 240 246 247 248 251 252 253 271 272 273 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 356 369 372 377 378 392 396 398 399 402 404 407 408 410 411 419 420 422 425 430 436 443 447 448 450 452 453 454 456 457 462 464 466 467 468 a 1 2 5 6 9 13 23 27 29 32 37 39 42 43 44 45 52 58 59 64 65 67 69 73 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 136 139 140 143 148 149 150 152 154 155 157 164 165 167 170 172 179 181 182 183 184 185 186 190 191 194 200 203 205 211 212 215 217 218 224 230 231 236 240 246 247 248 251 252 253 271 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 356 369 372 377 378 392 396 398 399 402 404 407 408 410 411 419 420 422 425 430 436 443 447 448 450 452 453 454 456 457 462 464 466 467 468 a 1 2 5 6 9 11 13 23 27 29 32 37 39 42 43 44 45 52 58 59 64 65 67 69 73 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 136 139 140 143 148 149 150 152 154 155 157 164 165 167 170 172 179 181 182 183 184 185 186 190 191 194 200 203 205 211 212 215 217 218 224 230 231 236 240 246 247 248 251 252 253 271 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 356 369 372 377 378 392 396 398 399 402 404 407 408 410 411 419 420 422 425 430 436 443 447 448 450 452 454 456 457 462 464 466 467 468 a 1 2 5 6 9 11 13 23 27 29 32 37 39 42 43 44 45 52 58 59 64 65 67 69 73 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 136 139 140 143 148 149 150 152 154 155 157 164 165 167 168 170 172 179 181 182 183 184 185 186 190 191 194 200 203 205 211 212 215 217 218 224 230 236 240 246 247 248 251 252 253 271 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 356 369 372 377 378 392 396 398 399 402 404 407 408 410 411 419 420 422 425 430 436 443 447 448 450 452 454 456 457 462 464 466 467 468 a 1 2 5 6 9 11 13 21 23 27 29 32 37 39 42 43 44 45 52 58 59 64 65 67 69 73 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 136 139 140 143 148 149 150 152 154 155 157 164 165 167 168 170 172 179 181 182 184 185 186 190 191 194 200 203 205 211 212 215 217 218 224 230 236 240 246 247 248 251 252 253 271 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 356 369 372 377 378 392 396 398 399 402 404 407 408 410 411 419 420 422 425 430 436 443 447 448 450 452 454 456 457 462 464 466 467 468 a 1 2 5 6 9 11 13 21 23 27 29 32 37 39 42 43 44 45 52 58 59 64 65 67 69 73 82 85 86 87 89 95 97 106 109 110 117 120 124 125 126 130 132 135 136 139 140 143 148 149 150 152 154 155 157 164 165 167 168 170 172 179 181 182 184 185 186 190 191 192 194 200 203 205 211 212 215 217 218 224 230 236 240 246 247 248 251 252 253 271 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 356 369 372 377 378 392 396 398 399 402 404 407 408 410 411 419 420 422 425 430 436 443 447 448 450 452 454 456 457 462 464 466 467 468 a 1 2 5 6 9 11 13 21 23 27 29 32 37 39 42 43 44 45 52 58 59 64 65 67 69 73 78 82 85 86 87 89 95 97 106 109 110 117 120 124 125 126 130 132 135 136 139 140 143 148 149 150 152 154 155 157 164 165 167 168 172 179 181 182 184 185 186 190 191 192 194 200 203 205 211 212 215 217 218 224 230 236 240 246 247 248 251 252 253 271 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 356 369 372 377 378 392 396 398 399 402 404 407 408 410 411 419 420 422 425 430 436 443 447 448 450 452 454 456 457 462 464 466 467 468 a 1 2 5 6 9 11 13 21 23 27 29 32 37 39 42 43 44 45 52 58 59 64 65 67 69 73 78 82 85 86 87 89 95 97 106 109 110 117 120 124 125 126 130 132 135 136 139 140 143 148 149 150 152 154 155 157 164 165 167 168 172 179 181 182 184 185 186 190 191 192 194 200 203 205 211 212 215 217 218 224 230 236 240 246 247 248 251 252 253 271 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 356 369 372 377 378 392 396 398 399 402 404 407 408 410 411 412 419 420 422 425 430 436 443 447 448 450 452 454 456 457 462 464 466 467 a 1 2 5 6 9 11 13 21 23 27 29 32 37 39 40 42 43 44 45 52 58 59 64 65 67 69 73 78 82 85 86 87 89 95 97 106 109 110 117 120 124 125 126 132 135 136 139 140 143 148 149 150 152 154 155 157 164 165 167 168 172 179 181 182 184 185 186 190 191 192 194 200 203 205 211 212 215 217 218 224 230 236 240 246 247 248 251 252 253 271 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 356 369 372 377 378 392 396 398 399 402 404 407 408 410 411 412 419 420 422 425 430 436 443 447 448 450 452 454 456 457 462 464 466 467 a 1 2 5 6 9 11 13 21 23 27 29 32 37 39 40 42 43 44 45 52 58 59 64 65 67 69 73 78 82 85 86 87 89 95 97 106 109 110 117 120 124 125 126 132 135 136 139 140 143 148 149 150 152 154 155 157 165 167 168 172 179 181 182 184 185 186 190 191 192 194 200 203 205 211 212 215 217 218 224 230 236 240 246 247 248 251 252 253 271 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 356 369 372 377 378 386 392 396 398 399 402 404 407 408 410 411 412 419 420 422 425 430 436 443 447 448 450 452 454 456 457 462 464 466 467 a 1 2 5 6 9 11 13 21 23 27 29 32 36 37 39 40 42 43 44 45 52 58 59 64 65 67 69 73 78 82 85 86 87 89 95 97 106 109 110 117 120 124 125 126 135 136 139 140 143 148 149 150 152 154 155 157 165 167 168 172 179 181 182 184 185 186 190 191 192 194 200 203 205 211 212 215 217 218 224 230 236 240 246 247 248 251 252 253 271 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 356 369 372 377 378 386 392 396 398 399 402 404 407 408 410 411 412 419 420 422 425 430 436 443 447 448 450 452 454 456 457 462 464 466 467 a 1 2 5 6 9 11 13 21 23 27 29 32 36 37 39 40 42 43 44 45 52 53 58 59 64 65 67 69 73 78 82 85 86 87 89 95 97 106 109 110 117 120 124 125 126 135 136 139 140 143 148 149 150 152 154 155 157 165 167 168 172 181 182 184 185 186 190 191 192 194 200 203 205 211 212 215 217 218 224 230 236 240 246 247 248 251 252 253 271 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 324 325 326 327 330 333 338 348 349 356 369 372 377 378 386 392 396 398 399 402 404 407 408 410 411 412 419 420 422 425 430 436 443 447 448 450 452 454 456 457 462 464 466 467 a 1 2 5 6 9 11 13 21 23 27 29 32 36 37 39 40 42 43 44 45 52 53 58 59 64 65 67 69 73 78 82 85 86 87 89 95 97 106 109 110 117 120 124 125 126 135 136 139 140 143 148 149 150 152 154 155 157 165 167 168 172 181 182 184 185 186 190 191 192 194 200 203 205 211 212 215 217 218 224 230 236 240 246 247 248 251 252 253 271 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 338 348 349 356 369 372 377 378 386 392 396 398 399 402 404 407 408 410 411 412 419 420 422 425 430 436 443 447 448 450 454 456 457 462 464 466 467 a 1 2 5 6 9 11 13 21 23 27 29 32 36 37 39 40 42 43 44 45 52 53 58 59 64 65 67 69 73 78 82 85 86 87 89 95 97 106 109 110 117 120 124 125 126 135 136 139 140 143 148 149 150 152 154 155 157 165 167 168 172 181 182 185 186 190 191 192 194 200 203 205 211 212 215 217 218 224 230 236 240 246 247 248 251 252 253 271 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 338 348 349 356 369 372 377 378 386 392 396 398 399 402 404 407 408 410 411 412 419 420 422 425 430 436 443 447 448 450 454 456 457 459 462 464 466 467 a 1 2 5 6 9 11 13 21 23 27 29 32 36 37 39 40 42 43 44 45 52 53 58 59 64 65 67 69 73 74 78 82 85 86 87 89 95 97 106 109 110 117 120 124 125 126 135 136 139 140 143 148 149 150 152 154 155 157 165 167 168 172 181 182 185 186 190 191 192 194 200 203 205 211 212 215 217 218 224 230 236 240 246 247 248 251 252 253 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 338 348 349 356 369 372 377 378 386 392 396 398 399 402 404 407 408 410 411 412 419 420 422 425 430 436 443 447 448 450 454 456 457 459 462 464 466 467 a 1 2 5 6 8 9 11 13 21 23 27 29 32 36 37 39 40 42 43 44 45 52 53 58 59 64 65 67 69 73 74 78 82 85 86 87 89 95 97 106 109 110 117 120 124 125 126 135 136 139 140 143 148 149 150 152 154 155 157 167 168 172 181 182 185 186 190 191 192 194 200 203 205 211 212 215 217 218 224 230 236 240 246 247 248 251 252 253 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 338 348 349 356 369 372 377 378 386 392 396 398 399 402 404 407 408 410 411 412 419 420 422 425 430 436 443 447 448 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 13 21 23 27 29 32 36 37 39 40 42 43 44 45 52 53 58 59 64 65 67 69 73 74 78 82 85 86 87 89 95 97 106 109 110 117 120 124 125 126 135 136 139 140 143 148 149 150 152 154 155 157 167 168 172 181 182 185 186 190 191 192 194 200 203 205 211 212 214 215 217 218 224 230 236 240 246 247 248 251 252 253 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 338 348 349 356 369 372 377 378 386 392 396 398 399 402 404 407 408 410 411 412 419 420 422 425 430 436 443 447 448 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 13 21 23 27 29 32 36 37 39 40 42 43 44 45 52 53 58 59 64 65 67 69 73 74 78 82 85 86 87 89 95 97 106 109 117 120 124 125 126 135 136 139 140 143 148 149 150 152 154 155 157 167 168 172 181 182 185 186 190 191 192 194 195 200 203 205 211 212 214 215 217 218 224 230 236 240 246 247 248 251 252 253 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 338 348 349 356 369 372 377 378 386 392 396 398 399 402 404 407 408 410 411 412 419 420 422 425 430 436 443 447 448 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 13 21 23 27 29 32 36 37 39 40 42 43 44 45 52 53 58 59 64 65 67 69 73 74 78 82 85 86 87 89 95 97 106 109 117 120 124 125 126 135 136 140 143 148 149 150 152 154 155 157 167 168 172 181 182 185 186 190 191 192 194 195 200 203 205 211 212 214 215 217 218 224 230 236 240 246 247 248 251 252 253 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 338 348 349 356 369 372 377 378 386 392 396 398 399 402 404 407 408 410 411 412 419 420 422 425 430 434 436 443 447 448 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 13 21 23 27 29 32 36 37 39 40 42 43 44 45 52 53 58 59 64 65 67 69 73 74 78 85 86 87 89 95 97 106 109 117 120 124 125 126 135 136 140 143 148 149 150 152 154 155 157 167 168 172 181 182 185 186 190 191 192 194 195 200 203 204 205 211 212 214 215 217 218 224 230 236 240 246 247 248 251 252 253 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 338 348 349 356 369 372 377 378 386 392 396 398 399 402 404 407 408 410 411 412 419 420 422 425 430 434 436 443 447 448 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 13 21 23 27 29 32 36 37 39 40 42 43 44 45 52 53 58 59 64 65 67 69 73 74 78 85 86 87 89 95 97 106 109 117 120 124 125 126 135 136 140 143 148 149 150 152 154 155 157 167 168 172 181 182 185 186 190 191 192 194 195 200 203 204 205 211 212 214 215 217 218 224 230 236 240 246 247 248 251 252 253 272 273 277 278 280 281 284 287 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 338 348 349 356 369 372 377 386 392 396 398 399 402 404 407 408 409 410 411 412 419 420 422 425 430 434 436 443 447 448 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 13 21 23 27 29 32 36 37 39 40 42 43 44 45 52 53 58 59 64 65 67 69 73 74 78 85 86 87 89 95 97 106 109 117 120 124 125 126 135 136 140 143 148 149 150 152 154 155 157 167 168 172 181 182 185 186 190 191 192 194 195 200 203 204 205 211 212 214 215 217 218 224 230 234 236 240 246 247 248 251 252 253 272 273 277 278 280 281 284 287 292 294 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 338 348 349 356 369 372 377 386 392 396 398 399 402 404 407 408 409 410 411 412 419 420 422 425 430 434 436 443 447 448 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 13 21 23 27 29 32 36 37 39 40 42 43 44 45 46 52 53 58 59 64 65 67 69 73 74 78 85 86 87 89 95 97 106 109 117 120 124 125 126 135 136 140 143 148 149 150 152 154 155 157 167 168 172 181 182 185 186 190 191 192 194 195 200 203 204 205 211 212 214 215 217 218 224 230 234 236 240 246 247 248 251 252 253 272 273 277 278 280 281 287 292 294 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 338 348 349 356 369 372 377 386 392 396 398 399 402 404 407 408 409 410 411 412 419 420 422 425 430 434 436 443 447 448 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 13 21 23 27 29 32 36 37 39 40 42 43 44 45 46 52 53 58 59 64 65 67 69 73 74 78 85 87 89 95 97 106 109 117 120 124 125 126 135 136 140 143 148 149 150 152 154 155 157 167 168 172 181 182 185 186 190 191 192 194 195 200 203 204 205 211 212 214 215 217 218 224 230 234 236 240 246 247 248 251 252 253 272 273 277 278 280 281 287 292 294 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 338 348 349 356 369 372 377 386 392 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 425 430 434 436 443 447 448 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 13 21 23 27 29 32 36 37 39 40 43 44 45 46 52 53 58 59 64 65 67 69 73 74 78 85 87 89 95 97 106 109 117 120 124 125 126 135 136 140 143 148 149 150 152 154 155 157 167 168 172 181 182 185 186 190 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 246 247 248 251 252 253 272 273 277 278 280 281 287 292 294 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 338 348 349 356 369 372 377 386 392 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 425 430 434 436 443 447 448 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 13 21 23 27 29 32 36 37 39 40 43 44 45 46 52 53 58 59 64 65 67 69 73 74 78 85 87 89 95 97 106 109 117 120 124 125 126 135 136 140 143 148 149 150 152 154 155 157 167 168 172 181 182 185 186 190 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 246 247 248 251 253 272 273 277 278 280 281 287 289 292 294 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 338 348 349 356 369 372 377 386 392 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 425 430 434 436 443 447 448 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 13 21 23 27 29 32 36 37 39 40 43 44 45 46 52 53 58 59 64 65 67 69 73 74 78 85 87 89 95 97 106 109 117 120 124 125 126 135 136 140 143 148 149 150 152 154 155 156 157 167 168 172 181 182 185 186 190 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 246 247 248 251 253 272 273 277 278 280 281 289 292 294 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 338 348 349 356 369 372 377 386 392 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 425 430 434 436 443 447 448 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 13 21 23 27 29 32 36 37 39 40 43 44 45 46 52 53 55 58 64 65 67 69 73 74 78 85 87 89 95 97 106 109 117 120 124 125 126 135 136 140 143 148 149 150 152 154 155 156 157 167 168 172 181 182 185 186 190 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 246 247 248 251 253 272 273 277 278 280 281 289 292 294 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 338 348 349 356 369 372 377 386 392 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 425 430 434 436 443 447 448 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 13 21 23 27 29 32 36 37 39 40 43 44 45 46 52 53 55 58 64 65 67 69 73 74 78 85 87 89 95 97 106 109 117 120 124 125 126 135 136 143 148 149 150 152 154 155 156 157 167 168 172 181 182 185 186 190 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 246 247 248 251 253 272 273 277 278 280 281 289 292 294 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 338 348 349 356 369 372 377 386 391 392 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 425 430 434 436 443 447 448 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 21 23 27 29 32 33 36 37 39 40 43 44 45 46 52 53 55 58 64 65 67 69 73 74 78 85 87 89 95 97 106 109 117 120 124 125 126 135 136 143 148 149 150 152 154 155 156 157 167 168 172 181 182 185 186 190 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 246 247 248 251 253 272 273 277 278 280 281 289 292 294 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 338 348 349 356 369 372 377 386 391 392 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 425 430 434 436 443 447 448 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 21 23 27 29 31 32 33 36 37 39 40 43 44 45 46 52 53 55 58 64 65 67 69 73 74 78 85 87 89 95 97 106 109 117 120 124 125 126 135 136 143 148 149 150 152 154 155 156 157 167 168 172 181 182 185 186 190 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 246 247 248 251 253 272 273 277 278 280 281 289 292 294 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 348 349 356 369 372 377 386 391 392 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 425 430 434 436 443 447 448 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 21 23 27 29 31 32 33 36 37 39 40 43 44 45 46 52 53 55 58 64 65 67 69 73 74 78 85 87 89 95 96 97 106 109 117 120 124 125 126 135 136 143 148 149 150 152 154 155 156 157 167 168 172 181 182 185 186 190 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 246 247 248 251 253 272 273 277 278 280 281 289 292 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 348 349 356 369 372 377 386 391 392 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 425 430 434 436 443 447 448 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 21 23 27 29 31 32 33 36 37 39 40 43 44 45 46 52 53 55 58 64 65 67 69 73 74 78 85 87 89 95 96 97 106 109 117 120 124 125 126 135 136 143 148 149 150 152 154 155 156 157 167 168 172 181 182 185 186 190 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 246 247 248 251 253 272 273 277 278 280 281 289 292 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 348 349 356 369 372 377 386 390 391 392 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 425 430 434 436 443 447 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 21 23 27 29 31 32 33 36 37 39 40 43 44 45 46 53 55 58 64 65 67 69 73 74 78 85 87 89 95 96 97 106 109 117 120 124 125 126 135 136 143 148 149 150 151 152 154 155 156 157 167 168 172 181 182 185 186 190 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 246 247 248 251 253 272 273 277 278 280 281 289 292 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 348 349 356 369 372 377 386 390 391 392 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 425 430 434 436 443 447 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 21 23 27 29 31 32 33 36 37 39 40 43 44 45 46 53 55 58 64 65 67 69 73 74 78 85 87 89 95 96 97 106 109 117 120 124 125 126 135 136 143 148 149 150 151 152 154 155 156 157 167 168 172 173 181 182 185 186 190 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 247 248 251 253 272 273 277 278 280 281 289 292 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 348 349 356 369 372 377 386 390 391 392 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 425 430 434 436 443 447 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 21 23 27 29 31 32 33 36 37 39 40 43 44 45 46 53 55 58 64 65 67 69 73 74 77 78 85 87 89 95 96 97 106 109 117 120 124 125 126 135 136 143 148 149 150 151 152 154 155 156 157 167 168 172 173 181 182 185 186 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 247 248 251 253 272 273 277 278 280 281 289 292 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 348 349 356 369 372 377 386 390 391 392 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 425 430 434 436 443 447 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 21 23 27 29 31 32 33 36 37 39 40 43 44 45 46 53 55 58 64 65 67 69 73 74 77 78 85 87 89 95 96 97 106 109 117 120 124 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 167 168 172 173 181 185 186 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 247 248 251 253 272 273 277 278 280 281 289 292 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 348 349 356 369 372 377 386 390 391 392 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 425 430 434 436 443 447 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 21 23 27 29 31 32 33 36 37 39 40 43 44 45 46 53 55 58 64 65 67 69 73 74 77 78 87 89 95 96 97 106 109 117 120 124 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 167 168 172 173 181 185 186 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 247 248 251 253 272 273 277 278 280 281 289 292 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 348 349 356 369 372 377 386 390 391 392 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 423 425 430 434 436 443 447 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 21 23 27 29 31 32 33 36 37 39 40 43 44 45 46 53 55 58 64 65 67 69 73 74 77 78 87 89 95 96 97 106 109 117 120 124 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 167 168 172 173 181 185 186 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 247 248 251 253 272 273 277 278 280 281 289 292 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 423 425 430 434 436 443 447 450 454 456 457 459 462 464 466 467 a 1 2 5 8 9 11 21 23 27 29 31 32 33 36 37 39 40 43 44 45 46 53 55 58 64 65 67 69 73 74 77 78 87 89 95 96 97 106 109 117 120 124 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 167 168 172 173 181 185 186 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 247 248 251 253 272 273 277 278 280 281 289 292 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 348 349 356 361 377 386 390 391 392 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 423 425 430 434 436 437 443 447 450 454 456 457 459 462 464 466 467 a 1 2 5 8 11 21 23 27 29 31 32 33 36 37 39 40 43 44 45 46 53 55 58 64 65 67 69 73 74 77 78 87 89 95 96 97 106 109 117 120 124 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 167 168 171 172 173 181 185 186 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 247 248 251 253 272 273 277 278 280 281 289 292 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 348 349 356 361 377 386 390 391 392 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 423 425 430 434 436 437 443 447 450 454 456 457 459 462 464 466 467 a 1 2 5 8 11 21 23 27 29 31 32 33 36 37 39 40 43 44 45 46 53 55 58 64 65 67 69 73 74 77 78 87 89 95 96 97 106 109 117 120 124 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 167 168 171 172 173 181 185 186 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 247 248 249 251 253 272 273 277 278 280 281 289 292 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 348 349 356 361 377 386 390 391 392 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 423 425 430 434 436 437 443 447 454 456 457 459 462 464 466 467 a 1 2 5 8 11 21 23 27 29 31 32 33 36 37 39 40 43 44 45 46 53 55 58 64 65 67 69 73 74 77 78 87 89 95 96 97 106 109 117 120 124 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 167 168 171 172 173 181 185 186 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 247 248 249 251 253 272 273 277 278 280 281 289 292 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 348 349 356 361 377 386 390 391 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 423 425 428 430 434 436 437 443 447 454 456 457 459 462 464 466 467 a 1 2 5 8 11 21 27 29 31 32 33 36 37 39 40 43 44 45 46 53 55 58 64 65 67 69 73 74 77 78 87 89 95 96 97 106 109 117 120 124 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 167 168 171 172 173 181 185 186 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 247 248 249 251 253 272 273 274 277 278 280 281 289 292 295 296 297 299 306 307 310 313 315 318 324 325 326 327 330 333 348 349 356 361 377 386 390 391 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 423 425 428 430 434 436 437 443 447 454 456 457 459 462 464 466 467 a 1 2 5 8 11 21 27 29 31 32 33 36 37 39 40 43 45 46 53 55 58 64 65 67 69 73 74 77 78 87 89 95 96 97 106 109 117 120 124 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 167 168 171 172 173 181 185 186 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 247 248 249 251 253 272 273 274 277 278 280 281 289 292 295 296 297 299 306 307 310 313 315 318 322 324 325 326 327 330 333 348 349 356 361 377 386 390 391 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 423 425 428 430 434 436 437 443 447 454 456 457 459 462 464 466 467 a 1 2 5 8 11 21 29 31 32 33 36 37 39 40 43 45 46 53 55 58 64 65 67 69 73 74 77 78 87 89 95 96 97 106 109 117 120 124 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 167 168 171 172 173 181 185 186 191 192 194 195 200 203 204 205 211 212 214 215 217 218 219 224 230 234 236 240 247 248 249 251 253 272 273 274 277 278 280 281 289 292 295 296 297 299 306 307 310 313 315 318 322 324 325 326 327 330 333 348 349 356 361 377 386 390 391 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 464 466 467 a 1 2 5 8 11 21 29 31 32 33 36 37 39 40 43 45 46 53 55 58 64 65 67 69 73 74 77 78 87 89 95 96 97 106 109 117 120 124 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 167 168 171 172 173 181 185 186 191 192 194 195 203 204 205 209 211 212 214 215 217 218 219 224 230 234 236 240 247 248 249 251 253 272 273 274 277 278 280 281 289 292 295 296 297 299 306 307 310 313 315 318 322 324 325 326 327 330 333 348 349 356 361 377 386 390 391 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 464 466 467 a 1 2 5 8 11 21 29 31 32 33 36 37 39 40 43 45 46 53 55 58 64 65 67 69 73 74 77 78 87 89 95 96 97 106 109 117 120 124 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 167 168 171 172 173 181 185 186 191 192 194 195 203 204 205 209 211 212 214 215 217 218 219 224 230 234 236 240 243 247 248 249 251 272 273 274 277 278 280 281 289 292 295 296 297 299 306 307 310 313 315 318 322 324 325 326 327 330 333 348 349 356 361 377 386 390 391 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 464 466 467 a 1 2 5 8 11 21 29 31 32 33 36 37 39 40 43 45 46 53 54 55 58 64 65 67 69 73 74 77 78 87 89 95 96 97 106 109 117 120 124 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 167 168 171 172 173 181 185 186 191 192 194 195 203 204 205 209 211 212 214 215 217 218 219 224 230 234 236 240 243 247 248 249 251 272 273 274 277 278 280 281 289 292 295 296 297 299 306 307 310 315 318 322 324 325 326 327 330 333 348 349 356 361 377 386 390 391 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 464 466 467 a 1 2 5 8 11 21 29 31 32 33 36 37 39 40 43 45 46 53 54 55 58 64 65 69 73 74 77 78 87 89 95 96 97 106 108 109 117 120 124 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 167 168 171 172 173 181 185 186 191 192 194 195 203 204 205 209 211 212 214 215 217 218 219 224 230 234 236 240 243 247 248 249 251 272 273 274 277 278 280 281 289 292 295 296 297 299 306 307 310 315 318 322 324 325 326 327 330 333 348 349 356 361 377 386 390 391 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 464 466 467 a 1 2 5 8 11 21 29 31 32 33 36 37 39 40 43 45 46 53 54 55 58 64 65 69 73 74 77 78 87 89 95 96 97 106 108 109 117 120 124 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 167 168 171 172 173 181 185 186 191 192 194 195 203 204 205 209 211 212 214 215 217 218 219 224 230 234 236 240 243 247 248 249 251 261 272 273 274 277 278 280 281 289 292 295 296 297 299 306 307 310 315 318 322 324 325 326 327 330 333 348 349 356 361 377 386 390 391 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 423 425 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 2 5 8 11 21 29 31 32 33 36 37 39 40 43 45 46 53 54 55 58 64 65 69 73 74 77 78 87 89 95 96 97 106 108 109 117 120 124 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 158 167 168 171 172 173 181 185 186 191 192 194 195 203 204 205 209 211 212 214 215 217 218 219 224 230 234 236 240 243 247 248 249 251 261 272 273 274 277 278 280 281 289 292 295 296 297 299 306 307 310 315 318 322 324 325 326 327 330 333 348 349 356 361 377 386 390 391 396 398 399 401 402 404 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 2 5 8 11 21 29 31 32 33 36 37 39 40 43 45 46 53 54 55 58 64 65 69 73 74 77 78 87 88 89 95 96 97 106 108 109 117 120 124 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 158 167 168 171 172 173 181 185 186 191 192 194 195 203 204 205 209 211 212 214 215 217 218 219 224 230 234 236 240 243 247 248 249 251 261 272 273 274 277 278 280 281 289 292 295 296 297 299 306 307 310 315 318 322 324 325 326 327 330 333 348 349 356 361 377 386 390 391 396 398 399 401 404 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 2 5 8 11 21 29 31 32 33 36 37 39 40 43 45 46 53 54 55 58 64 65 69 73 74 77 78 87 88 89 95 96 97 106 108 109 117 120 124 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 158 167 168 171 172 173 181 185 186 191 192 194 195 203 204 205 209 211 212 214 215 217 219 224 230 232 234 236 240 243 247 248 249 251 261 272 273 274 277 278 280 281 289 292 295 296 297 299 306 307 310 315 318 322 324 325 326 327 330 333 348 349 356 361 377 386 390 391 396 398 399 401 404 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 2 5 8 11 21 29 31 32 33 36 37 39 40 43 45 46 53 54 55 58 64 65 69 73 74 77 78 87 88 89 95 96 97 106 108 109 117 120 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 158 167 168 171 172 173 181 185 186 191 192 194 195 203 204 205 209 211 212 214 215 217 219 224 230 232 234 236 240 243 247 248 249 251 261 272 273 274 277 278 280 281 289 292 295 296 297 299 306 307 310 315 318 322 324 325 326 327 330 333 347 348 349 356 361 377 386 390 391 396 398 399 401 404 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 2 5 8 11 21 29 31 32 33 36 37 39 40 43 45 46 53 54 55 58 64 65 69 73 74 77 78 87 88 89 95 96 97 106 108 109 117 120 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 158 167 168 171 172 173 181 185 186 191 192 194 195 203 204 205 209 211 212 214 217 219 224 230 232 234 236 240 243 247 248 249 251 261 272 273 274 277 278 280 281 289 292 295 296 297 299 306 307 310 315 318 322 324 325 326 327 330 333 347 348 349 356 361 377 386 390 391 396 398 399 401 404 405 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 2 5 8 11 21 29 31 32 33 36 37 39 40 43 45 46 53 54 55 58 64 65 69 73 74 77 78 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 158 167 168 171 172 173 181 185 186 191 192 194 195 203 204 205 209 211 212 214 217 219 224 230 232 234 236 240 243 247 248 249 251 261 272 273 274 277 278 280 281 289 292 295 296 297 299 306 307 310 315 318 322 324 325 326 327 330 333 347 348 349 356 361 377 386 390 391 396 398 399 401 404 405 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 2 5 8 11 21 29 31 32 33 36 37 39 40 43 45 46 53 54 55 58 64 65 69 73 74 77 78 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 158 167 168 171 172 173 181 185 186 191 192 194 195 203 204 205 209 211 212 214 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 289 292 295 296 297 299 306 307 310 318 322 324 325 326 327 330 333 347 348 349 356 361 377 386 390 391 396 398 399 401 404 405 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 2 5 8 11 21 29 31 33 36 37 39 40 43 45 46 53 54 55 58 64 65 69 73 74 77 78 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 158 167 168 171 172 173 181 185 186 191 192 194 195 203 204 205 209 211 212 214 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 289 292 293 295 296 297 299 306 307 310 318 322 324 325 326 327 330 333 347 348 349 356 361 377 386 390 391 396 398 399 401 404 405 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 2 5 8 11 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 64 65 69 73 74 77 78 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 158 167 168 171 172 173 181 185 186 191 192 194 195 203 204 209 211 212 214 217 219 224 230 232 234 236 240 243 247 248 249 251 255 261 272 273 274 277 278 280 281 289 292 293 295 296 297 299 306 307 310 318 322 324 325 326 327 330 333 347 348 349 356 361 377 386 390 391 396 398 399 401 404 405 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 2 5 8 11 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 64 65 69 73 74 77 78 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 158 167 168 171 172 173 181 185 186 191 192 194 195 203 204 209 211 212 214 217 219 224 230 232 234 236 240 243 247 249 251 255 261 272 273 274 277 278 280 281 289 292 293 295 296 297 299 306 307 310 318 322 324 325 326 327 330 333 347 348 349 353 356 361 377 386 390 391 396 398 399 401 404 405 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 2 5 8 11 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 64 65 69 73 74 77 78 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 158 167 168 171 172 173 181 185 186 191 192 194 195 203 204 209 211 212 214 217 219 224 230 232 234 236 240 243 247 249 251 255 261 272 273 274 277 278 280 281 289 292 293 295 296 297 299 306 307 310 318 322 324 325 326 327 333 347 348 349 353 356 361 377 386 390 391 396 398 399 401 404 405 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 2 5 8 11 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 64 69 73 74 77 78 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 158 167 168 171 172 173 181 185 186 191 192 194 195 203 204 209 211 212 214 217 219 224 230 232 234 236 240 243 247 249 251 255 261 272 273 274 277 278 280 281 289 292 293 295 296 297 299 306 307 310 314 318 322 324 325 326 327 333 347 348 349 353 356 361 377 386 390 391 396 398 399 401 404 405 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 2 5 8 11 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 64 66 73 74 77 78 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 143 148 149 150 151 152 154 155 156 157 158 167 168 171 172 173 181 185 186 191 192 194 195 203 204 209 211 212 214 217 219 224 230 232 234 236 240 243 247 249 251 255 261 272 273 274 277 278 280 281 289 292 293 295 296 297 299 306 307 310 314 318 322 324 325 326 327 333 347 348 349 353 356 361 377 386 390 391 396 398 399 401 404 405 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 2 5 8 11 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 64 66 73 74 77 78 88 89 95 96 97 101 106 108 109 117 120 125 126 128 135 136 143 148 149 150 151 154 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 203 204 209 211 212 214 217 219 224 230 232 234 236 240 243 247 249 251 255 261 272 273 274 277 278 280 281 289 292 293 295 296 297 299 306 307 310 314 318 322 324 325 326 327 333 347 348 349 353 356 361 377 386 390 391 396 398 399 401 404 405 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 2 5 8 11 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 64 66 73 74 77 78 88 89 95 96 97 101 106 108 109 117 120 125 128 135 136 143 145 148 149 150 151 154 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 203 204 209 211 212 214 217 219 224 230 232 234 236 240 243 247 249 251 255 261 272 273 274 277 278 280 281 289 292 293 295 296 297 299 306 307 310 314 318 322 324 325 326 327 333 347 348 349 353 356 361 377 386 390 391 396 398 399 401 404 405 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 2 8 11 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 64 66 73 74 77 78 88 89 95 96 97 101 106 108 109 117 120 125 128 135 136 137 143 145 148 149 150 151 154 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 203 204 209 211 212 214 217 219 224 230 232 234 236 240 243 247 249 251 255 261 272 273 274 277 278 280 281 289 292 293 295 296 297 299 306 307 310 314 318 322 324 325 326 327 333 347 348 349 353 356 361 377 386 390 391 396 398 399 401 404 405 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 8 11 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 64 66 73 74 77 78 88 89 95 96 97 101 106 108 109 117 120 125 128 135 136 137 143 145 148 149 150 151 154 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 203 204 209 211 212 214 217 219 224 230 232 234 236 240 243 247 249 251 255 259 261 272 273 274 277 278 280 281 289 292 293 295 296 297 299 306 307 310 314 318 322 324 325 326 327 333 347 348 349 353 356 361 377 386 390 391 396 398 399 401 404 405 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 8 11 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 64 66 73 74 77 78 88 89 95 96 97 101 108 109 117 120 125 128 135 136 137 143 145 148 149 150 151 154 155 156 157 158 167 168 171 172 173 175 181 185 186 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 247 249 251 255 259 261 272 273 274 277 278 280 281 289 292 293 295 296 297 299 306 307 310 314 318 322 324 325 326 327 333 347 348 349 353 356 361 377 386 390 391 396 398 399 401 404 405 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 8 11 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 64 66 73 74 77 78 88 89 95 96 97 101 108 109 117 120 125 128 135 136 137 143 145 148 149 150 151 154 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 247 249 251 255 259 261 272 273 274 277 278 280 281 289 292 293 295 296 297 299 306 307 310 314 318 322 324 325 326 327 333 344 347 348 349 353 356 361 377 386 390 391 396 398 399 401 404 405 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 8 11 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 64 66 73 74 77 78 88 95 96 97 101 108 109 117 120 125 128 135 136 137 143 145 148 149 150 151 154 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 247 249 251 255 259 261 272 273 274 277 278 280 281 289 292 293 295 296 297 299 306 307 310 314 318 322 324 325 326 327 333 344 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 404 405 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 8 11 19 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 64 66 73 74 77 78 88 95 96 97 101 108 109 117 120 125 128 135 136 137 143 145 148 149 150 151 154 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 247 249 251 255 259 261 272 273 274 277 278 280 281 289 292 293 295 296 297 306 307 310 314 318 322 324 325 326 327 333 344 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 404 405 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 8 11 19 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 64 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 128 135 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 247 249 251 255 259 261 272 273 274 277 278 280 281 289 292 293 295 296 297 306 307 310 314 318 322 324 325 326 327 333 344 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 404 405 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 8 11 19 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 64 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 128 135 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 249 251 255 259 261 272 273 274 277 278 280 281 289 292 293 295 296 297 306 307 310 314 318 322 324 325 326 327 333 344 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 404 405 407 408 409 410 411 412 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 8 11 19 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 64 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 128 135 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 249 251 255 259 261 272 273 274 277 278 280 281 289 292 293 295 296 297 306 307 310 314 318 322 324 325 326 327 333 344 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 8 11 19 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 58 64 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 128 135 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 249 251 255 259 261 272 273 274 277 278 280 281 289 292 293 295 296 297 306 307 314 318 322 324 325 326 327 333 340 344 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 8 11 19 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 64 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 128 135 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 249 251 255 259 261 272 273 274 277 278 280 281 289 292 293 295 296 297 306 307 314 318 322 323 324 325 326 327 333 340 344 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 c Step: 91 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance036_graph002.col /benchmark/random_instance/random_instance036_graph002_01.dat" User time (seconds): 13.83 System time (seconds): 0.33 Percent of CPU this job got: 231% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:06.12 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): 422476 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 281595 Voluntary context switches: 16727 Involuntary context switches: 70 Swaps: 0 File system inputs: 0 File system outputs: 696 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:10:21 2023]