#BEGIN: [Mon Sep 4 12:44:37 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance039_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance039_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance039_graph002.col /benchmark/random_instance/random_instance039_graph002_01.dat c /benchmark/random_instance/random_instance039_graph002.col c /benchmark/random_instance/random_instance039_graph002_01.dat s 333 392 242 397 432 493 296 427 246 82 14 486 125 117 324 142 320 4 499 121 134 491 420 138 171 127 177 449 384 492 403 436 32 351 123 136 343 12 183 416 79 232 424 460 417 297 39 480 218 10 280 27 22 228 229 210 64 18 35 283 505 332 377 506 57 353 94 358 60 409 16 211 322 7 103 502 40 414 484 252 71 410 230 45 456 402 355 372 356 17 471 472 9 291 490 201 295 195 389 135 256 495 461 8 374 294 315 268 152 457 455 408 451 91 149 146 334 503 49 180 247 42 150 335 488 481 191 258 398 113 387 1 282 213 199 305 205 200 147 441 440 105 425 489 101 477 257 366 433 97 382 327 61 153 59 413 51 63 404 274 122 98 487 214 167 86 435 348 286 496 t 81 479 102 280 54 255 173 229 196 440 266 95 398 459 135 163 45 238 470 294 56 218 311 264 145 244 295 483 316 397 39 429 2 358 337 236 32 278 146 114 435 1 97 133 136 237 422 98 18 291 233 279 335 326 394 16 355 496 67 147 105 408 183 464 306 108 387 75 51 222 386 224 481 482 477 419 155 181 405 94 312 380 87 158 64 253 450 73 363 503 433 170 271 205 300 131 130 330 410 428 463 431 338 403 28 59 177 475 21 432 401 296 83 497 315 169 489 268 25 141 413 113 221 327 269 324 345 469 223 252 80 90 192 187 5 329 270 123 305 47 44 152 172 42 487 122 154 506 297 180 7 199 320 353 69 425 127 125 57 457 46 72 213 474 451 361 151 226 88 179 a YES a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 49 51 57 59 60 61 63 64 71 79 82 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 177 180 183 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 242 246 247 252 256 257 258 268 274 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 414 416 417 420 424 425 427 432 433 435 436 440 441 449 451 455 456 457 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503 505 506 a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 49 51 57 59 60 61 63 64 71 82 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 177 180 183 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 242 246 247 252 256 257 258 268 274 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 414 416 417 420 424 425 427 432 433 435 436 440 441 449 451 455 456 457 460 461 471 472 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503 505 506 a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 49 51 57 59 60 61 63 64 71 73 82 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 177 180 183 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 242 246 247 252 256 257 258 268 274 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 414 416 417 420 424 425 427 432 433 435 436 440 441 449 451 455 456 457 460 461 471 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503 505 506 a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 49 51 57 59 60 61 63 64 71 73 80 82 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 177 180 183 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 242 246 247 252 256 257 258 268 274 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 414 416 417 420 424 425 427 432 433 435 436 440 441 449 451 455 456 457 460 471 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503 505 506 a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 49 51 57 59 60 61 63 64 71 73 80 82 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 177 180 183 191 195 199 200 201 205 210 211 213 214 218 228 229 230 232 242 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 414 416 417 420 424 425 427 432 433 435 436 440 449 451 455 456 457 460 471 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503 505 506 a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 49 51 57 59 60 61 63 64 71 73 80 82 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 172 177 180 183 191 195 199 200 201 205 210 211 213 214 218 228 229 232 242 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 414 416 417 420 424 425 427 432 433 435 436 440 449 451 455 456 457 460 471 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503 505 506 a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 49 51 57 59 60 61 63 64 71 73 80 82 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 172 177 180 183 191 195 199 200 201 205 210 211 213 214 218 223 228 229 232 242 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 414 416 417 420 424 425 427 432 433 435 436 440 449 451 455 456 457 460 471 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503 506 a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 49 51 57 59 60 61 63 64 71 73 80 82 83 86 91 94 97 98 101 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 172 177 180 183 191 195 199 200 201 205 210 211 213 214 218 223 228 229 232 242 246 247 252 256 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 414 416 417 420 424 425 427 432 433 435 436 440 449 451 455 456 457 460 471 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503 506 a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 49 51 57 59 60 61 63 64 71 73 80 82 83 86 91 94 97 98 101 103 105 113 117 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 172 177 180 183 191 195 199 200 201 205 210 211 213 214 218 223 228 229 232 242 246 247 252 256 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 414 416 417 420 424 425 427 432 433 435 436 440 449 451 455 456 457 460 471 475 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503 506 a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 49 51 57 59 60 61 63 64 71 72 73 80 82 83 86 91 94 97 98 101 103 105 113 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 172 177 180 183 191 195 199 200 201 205 210 211 213 214 218 223 228 229 232 242 246 247 252 256 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 414 416 417 420 424 425 427 432 433 435 436 440 449 451 455 456 457 460 471 475 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503 506 a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 49 51 57 59 60 61 63 64 71 72 73 80 82 83 86 91 94 97 98 101 102 103 105 113 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 172 177 180 183 191 195 199 200 201 205 210 211 213 214 218 223 228 229 232 242 246 247 252 256 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 414 416 417 420 424 425 427 432 433 435 440 449 451 455 456 457 460 471 475 477 480 481 484 486 487 488 489 490 491 492 493 495 496 499 502 503 506 a 1 4 7 8 9 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 49 51 57 59 60 61 63 64 71 72 73 80 82 83 86 91 94 97 98 101 102 103 105 113 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 172 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 228 229 232 242 246 247 252 256 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 414 416 417 420 424 425 427 432 433 435 440 449 451 455 456 457 460 471 475 477 480 481 484 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 49 51 57 59 60 61 63 64 71 72 73 80 82 83 86 91 94 97 98 101 102 103 105 113 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 172 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 228 229 232 242 246 247 252 256 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 414 416 417 420 422 424 425 427 432 433 435 440 449 451 455 456 457 460 471 475 477 480 481 484 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 49 51 57 59 60 61 63 64 71 72 73 80 82 83 86 91 94 97 98 101 102 103 105 113 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 172 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 228 229 232 242 246 247 252 256 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 414 416 417 420 422 424 425 427 432 433 435 440 449 451 455 456 457 460 471 475 477 480 481 482 484 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 49 51 57 59 60 61 63 64 71 72 73 80 82 83 86 91 94 97 98 101 102 103 105 113 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 172 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 228 229 232 242 246 247 252 256 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 424 425 427 432 433 435 440 449 451 455 456 457 460 471 475 477 480 481 482 484 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 51 57 59 60 61 63 64 71 72 73 80 82 83 86 91 94 97 98 101 102 103 105 113 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 172 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 228 229 232 242 246 247 252 256 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 372 374 377 382 384 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 424 425 427 432 433 435 440 449 451 455 456 457 460 471 475 477 480 481 482 483 484 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 51 57 59 60 61 63 64 71 72 73 80 82 83 86 91 94 97 98 101 102 103 105 113 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 172 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 228 229 232 242 246 247 252 256 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 363 366 372 374 377 382 384 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 424 425 427 432 433 435 440 449 451 455 456 457 460 471 475 477 480 481 482 483 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 51 57 59 60 61 63 64 71 72 73 80 82 83 86 91 94 97 98 101 102 103 105 113 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 172 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 228 229 232 242 246 247 252 256 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 363 366 372 374 377 382 384 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 424 425 427 432 433 435 440 449 451 455 456 457 460 471 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 7 8 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 51 57 59 60 61 63 64 71 72 73 80 82 83 86 91 94 97 98 101 102 103 105 113 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 172 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 228 229 232 242 246 247 252 256 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 363 366 372 374 377 382 384 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 424 425 427 432 433 435 440 449 451 455 456 457 460 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 7 8 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 51 57 59 60 61 63 64 71 72 73 80 82 83 86 91 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 172 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 228 229 232 242 246 247 252 256 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 363 366 372 374 377 382 384 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 424 425 427 432 433 435 440 449 451 455 456 457 460 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 51 57 59 60 61 63 64 71 72 73 80 82 83 86 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 171 172 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 228 229 232 242 246 247 252 256 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 337 343 348 351 353 355 356 358 363 366 372 374 377 382 384 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 424 425 427 432 433 435 440 449 451 455 456 457 460 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 10 12 14 16 17 18 22 27 32 35 39 40 42 45 47 51 57 59 60 61 63 64 71 72 73 80 82 83 86 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 167 171 172 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 228 229 232 242 246 247 252 256 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 337 343 348 351 353 355 356 358 363 366 372 374 377 382 384 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 424 425 427 432 433 435 440 451 455 456 457 460 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 10 12 14 16 17 18 22 27 32 35 39 40 42 44 45 47 51 57 59 61 63 64 71 72 73 80 82 83 86 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 167 171 172 177 180 183 187 191 195 199 200 201 205 210 211 213 214 218 223 228 229 232 242 246 247 252 256 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 337 343 348 351 353 355 356 358 363 366 372 374 377 382 384 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 424 425 427 432 433 435 440 451 455 456 457 460 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 10 12 14 16 17 18 22 27 32 35 39 40 42 44 45 47 51 57 59 61 63 64 71 72 73 80 82 83 86 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 167 171 172 177 180 183 187 191 192 195 199 200 201 205 210 211 213 214 218 223 228 229 232 242 246 247 252 256 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 337 343 348 351 353 355 356 358 363 366 372 374 377 382 384 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 424 425 427 432 433 435 440 451 455 456 457 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 10 12 14 16 17 18 22 32 35 39 40 42 44 45 47 51 57 59 61 63 64 71 72 73 80 82 83 86 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 167 171 172 177 180 183 187 191 192 195 199 200 201 205 210 211 213 214 218 223 228 229 232 242 246 247 252 256 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 337 343 348 351 353 355 356 358 363 366 372 374 377 382 384 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 424 425 427 431 432 433 435 440 451 455 456 457 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 10 12 14 16 17 18 22 32 35 39 40 42 44 45 47 51 57 59 61 63 64 72 73 80 82 83 86 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 167 171 172 177 180 183 187 191 192 195 199 200 201 205 210 211 213 214 218 223 228 229 232 237 242 246 247 252 256 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 337 343 348 351 353 355 356 358 363 366 372 374 377 382 384 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 424 425 427 431 432 433 435 440 451 455 456 457 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 10 12 14 16 17 18 21 22 32 35 39 40 42 44 45 47 51 57 59 61 63 64 72 73 80 82 83 86 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 167 171 172 177 180 183 187 191 192 195 199 200 201 205 210 211 213 214 218 223 228 229 232 237 242 246 247 252 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 337 343 348 351 353 355 356 358 363 366 372 374 377 382 384 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 424 425 427 431 432 433 435 440 451 455 456 457 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 10 12 14 16 17 18 21 22 32 35 39 40 42 44 45 47 51 57 59 61 63 64 72 73 80 82 83 86 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 167 171 172 177 180 181 183 187 191 192 195 199 200 201 205 210 211 213 214 218 223 228 229 232 237 242 247 252 257 268 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 337 343 348 351 353 355 356 358 363 366 372 374 377 382 384 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 424 425 427 431 432 433 435 440 451 455 456 457 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 10 12 16 17 18 21 22 32 35 39 40 42 44 45 47 51 57 59 61 63 64 72 73 80 82 83 86 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 167 171 172 177 180 181 183 187 191 192 195 199 200 201 205 210 211 213 214 218 223 228 229 232 237 242 247 252 257 268 269 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 337 343 348 351 353 355 356 358 363 366 372 374 377 382 384 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 424 425 427 431 432 433 435 440 451 455 456 457 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 10 12 16 17 18 21 22 32 35 39 40 42 44 45 47 51 57 59 61 63 64 72 73 80 82 83 86 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 167 171 172 177 180 181 183 187 191 192 195 199 200 201 205 210 211 213 214 218 223 228 229 232 237 242 247 252 257 268 269 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 337 343 348 351 353 355 356 358 363 366 372 374 377 382 384 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 425 427 431 432 433 435 440 451 455 456 457 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 10 12 16 17 18 21 22 32 35 39 40 42 44 45 47 51 57 59 61 63 64 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 167 171 172 177 180 181 183 187 191 192 195 199 201 205 210 211 213 214 218 223 228 229 232 237 242 247 252 257 268 269 274 278 280 282 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 337 343 348 351 353 355 356 358 363 366 372 374 377 382 384 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 425 427 431 432 433 435 440 451 455 456 457 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 10 12 16 17 18 21 22 32 35 39 40 42 44 45 47 51 57 59 61 63 64 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 167 171 172 177 180 181 183 187 191 192 195 199 201 205 210 211 213 214 218 223 228 229 232 237 242 247 252 257 268 269 274 278 280 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 337 343 348 351 353 355 356 358 363 366 372 374 377 382 384 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 425 427 429 431 432 433 435 440 451 455 456 457 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 10 12 16 17 18 21 22 32 35 39 42 44 45 47 51 57 59 61 63 64 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 167 171 172 177 180 181 183 187 191 192 195 199 201 205 210 211 213 214 218 223 228 229 232 237 242 247 252 257 268 269 274 278 280 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 337 343 348 351 353 355 356 358 363 366 372 374 377 382 384 386 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 425 427 429 431 432 433 435 440 451 455 456 457 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 10 12 16 17 18 21 22 32 35 39 42 44 45 47 51 57 59 61 63 64 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 167 171 172 177 180 181 183 187 191 192 195 199 201 205 210 211 213 214 218 223 228 229 237 242 247 252 257 268 269 274 278 280 283 286 291 294 295 296 297 305 315 320 322 324 327 332 333 334 335 337 343 348 351 353 355 356 358 363 366 372 374 377 382 384 386 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 425 427 429 431 432 433 435 440 451 455 456 457 464 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 10 12 16 17 18 21 22 32 35 39 42 44 45 47 51 57 59 61 63 64 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 167 171 172 177 180 181 183 187 191 192 195 199 201 205 210 211 213 214 218 223 228 229 237 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 312 315 320 322 324 327 332 333 334 335 337 343 348 351 353 355 356 358 363 366 372 374 377 382 384 386 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 425 427 429 431 432 433 435 440 451 455 456 457 464 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 12 16 17 18 21 22 32 35 39 42 44 45 47 51 57 59 61 63 64 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 167 171 172 177 180 181 183 187 191 192 195 199 201 205 210 211 213 214 218 223 228 229 237 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 312 315 320 322 324 326 327 332 333 334 335 337 343 348 351 353 355 356 358 363 366 372 374 377 382 384 386 387 389 392 394 397 398 402 403 404 408 410 413 414 416 417 420 422 425 427 429 431 432 433 435 440 451 455 456 457 464 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 12 16 17 18 21 22 32 35 39 42 44 45 47 51 57 59 61 63 64 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 167 171 172 177 180 181 183 187 191 192 195 199 201 205 210 211 213 214 218 223 228 229 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 312 315 320 322 324 326 327 332 333 334 335 337 343 348 351 353 355 356 358 363 366 372 374 377 382 384 386 387 389 392 394 397 398 402 403 404 408 410 413 416 417 420 422 425 427 429 431 432 433 435 440 451 455 456 457 464 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 12 16 17 18 21 22 32 35 39 42 44 45 47 51 57 59 61 63 64 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 167 171 172 177 180 181 183 187 191 192 195 199 201 205 210 211 213 214 218 223 228 229 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 312 315 320 322 324 326 327 332 333 334 335 337 338 343 348 351 353 355 358 363 366 372 374 377 382 384 386 387 389 392 394 397 398 402 403 404 408 410 413 416 417 420 422 425 427 429 431 432 433 435 440 451 455 456 457 464 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 12 16 17 18 21 22 32 39 42 44 45 47 51 56 57 59 61 63 64 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 167 171 172 177 180 181 183 187 191 192 195 199 201 205 210 211 213 214 218 223 228 229 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 312 315 320 322 324 326 327 332 333 334 335 337 338 343 348 351 353 355 358 363 366 372 374 377 382 384 386 387 389 392 394 397 398 402 403 404 408 410 413 416 417 420 422 425 427 429 431 432 433 435 440 451 455 456 457 464 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 493 495 496 503 506 a 1 7 8 12 16 17 18 21 22 32 39 42 44 45 47 51 56 57 59 61 63 64 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 167 171 172 177 180 181 183 187 191 192 195 199 201 205 210 211 213 214 218 223 228 229 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 312 315 320 322 324 326 327 332 333 334 335 337 338 343 348 351 353 355 358 363 366 372 374 377 382 384 386 387 389 392 394 397 398 402 403 404 408 410 413 416 417 420 422 425 427 429 431 432 433 435 440 451 455 456 457 464 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 495 496 503 506 a 1 7 8 12 16 17 18 21 22 32 39 42 44 45 47 51 56 57 59 61 63 64 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 167 171 172 177 180 181 183 187 191 192 195 199 201 205 210 211 213 214 218 223 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 312 315 320 322 324 326 327 332 333 334 335 337 338 343 348 351 353 355 358 363 366 372 374 377 382 384 386 387 389 392 394 397 398 402 403 408 410 413 416 417 420 422 425 427 429 431 432 433 435 440 451 455 456 457 464 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 495 496 503 506 a 1 7 8 12 16 18 21 22 32 39 42 44 45 47 51 56 57 59 61 63 64 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 158 167 171 172 177 180 181 183 187 191 192 195 199 201 205 210 211 213 214 218 223 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 312 315 320 322 324 326 327 332 333 334 335 337 338 343 348 351 353 355 358 363 366 372 374 377 382 384 386 387 389 392 394 397 398 402 403 408 410 413 416 417 420 422 425 427 429 431 432 433 435 440 451 455 456 457 464 471 474 475 477 479 481 482 483 486 487 488 489 490 491 492 495 496 503 506 a 1 7 8 12 16 18 21 22 32 39 42 44 45 47 51 56 57 59 61 63 64 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 158 167 171 172 173 177 180 181 183 187 191 192 195 199 201 205 210 211 213 214 218 223 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 312 315 320 322 324 326 327 332 333 334 335 337 338 343 348 351 353 355 358 363 366 372 374 377 382 384 386 387 389 392 394 397 398 402 403 408 410 413 416 417 420 422 425 427 429 431 432 433 435 440 451 455 456 457 464 471 474 475 477 479 481 482 483 487 488 489 490 491 492 495 496 503 506 a 1 7 8 12 16 18 21 22 32 39 42 44 45 47 51 56 57 59 61 63 64 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 158 167 171 172 173 177 180 181 183 187 191 192 195 199 201 205 210 211 213 214 218 223 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 312 315 320 322 324 326 327 332 333 334 335 337 338 343 348 351 353 355 358 363 366 372 374 377 382 384 386 387 389 392 394 397 398 402 403 408 410 413 416 420 422 425 427 429 431 432 433 435 440 451 455 456 457 464 471 474 475 477 479 481 482 483 487 488 489 490 491 492 495 496 497 503 506 a 1 7 8 16 18 21 22 28 32 39 42 44 45 47 51 56 57 59 61 63 64 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 158 167 171 172 173 177 180 181 183 187 191 192 195 199 201 205 210 211 213 214 218 223 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 312 315 320 322 324 326 327 332 333 334 335 337 338 343 348 351 353 355 358 363 366 372 374 377 382 384 386 387 389 392 394 397 398 402 403 408 410 413 416 420 422 425 427 429 431 432 433 435 440 451 455 456 457 464 471 474 475 477 479 481 482 483 487 488 489 490 491 492 495 496 497 503 506 a 1 5 7 8 16 18 21 22 28 32 39 42 44 45 47 51 56 57 59 61 63 64 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 158 167 171 172 173 177 180 181 183 187 191 192 195 199 201 205 210 211 213 214 218 223 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 312 315 320 324 326 327 332 333 334 335 337 338 343 348 351 353 355 358 363 366 372 374 377 382 384 386 387 389 392 394 397 398 402 403 408 410 413 416 420 422 425 427 429 431 432 433 435 440 451 455 456 457 464 471 474 475 477 479 481 482 483 487 488 489 490 491 492 495 496 497 503 506 a 1 5 7 8 16 18 21 22 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 158 167 171 172 173 177 180 181 183 187 191 192 195 199 201 205 210 211 213 214 218 223 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 312 315 320 324 326 327 332 333 334 335 337 338 343 351 353 355 358 363 366 372 374 377 382 384 386 387 389 392 394 397 398 402 403 408 410 413 416 420 422 425 427 429 431 432 433 435 440 451 455 456 457 464 471 474 475 477 479 481 482 483 487 488 489 490 491 492 495 496 497 503 506 a 1 5 7 8 16 18 21 22 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 155 158 167 171 172 173 177 180 181 183 187 191 192 195 199 201 205 210 211 213 214 218 223 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 312 315 320 324 326 327 332 333 334 335 337 338 343 351 353 355 358 363 366 372 374 377 382 384 386 387 389 392 394 397 398 402 403 408 410 413 416 420 422 425 427 429 431 432 433 435 440 451 455 457 464 471 474 475 477 479 481 482 483 487 488 489 490 491 492 495 496 497 503 506 a 1 5 7 8 16 18 21 22 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 155 158 167 171 172 173 177 180 181 183 187 191 192 195 199 201 205 210 213 214 218 223 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 312 315 320 324 326 327 332 333 334 335 337 338 343 345 351 353 355 358 363 366 372 374 377 382 384 386 387 389 392 394 397 398 402 403 408 410 413 416 420 422 425 427 429 431 432 433 435 440 451 455 457 464 471 474 475 477 479 481 482 483 487 488 489 490 491 492 495 496 497 503 506 a 1 5 7 8 16 18 21 22 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 69 72 73 80 82 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 155 158 167 172 173 177 180 181 183 187 191 192 195 199 201 205 210 213 214 218 223 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 312 315 320 324 326 327 332 333 334 335 337 338 343 345 351 353 355 358 363 366 372 374 377 382 384 386 387 389 392 394 397 398 402 403 408 410 413 416 420 422 425 427 429 431 432 433 435 440 451 455 457 464 471 474 475 477 479 481 482 483 487 488 489 490 491 492 495 496 497 503 506 a 1 5 7 8 16 18 21 22 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 69 72 73 80 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 134 135 136 138 146 147 149 150 151 152 153 154 155 158 167 172 173 177 180 181 183 187 191 192 195 199 201 205 210 213 214 218 223 224 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 312 315 320 324 326 327 332 333 334 335 337 338 343 345 351 353 355 358 363 366 372 374 377 382 384 386 387 389 392 394 397 398 402 403 408 410 413 416 420 422 425 427 429 431 432 433 435 440 451 455 457 464 471 474 475 477 479 481 482 483 487 488 489 490 491 492 495 496 497 503 506 a 1 5 7 8 16 18 21 22 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 69 72 73 80 83 86 88 94 97 98 101 102 103 105 108 113 122 123 125 127 131 134 135 136 138 146 147 149 150 151 152 153 154 155 158 167 172 173 177 180 181 183 187 191 192 195 199 201 205 210 213 214 218 223 224 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 312 315 320 324 326 327 332 333 334 335 337 338 343 345 351 353 355 358 363 366 372 374 377 382 386 387 389 392 394 397 398 402 403 408 410 413 416 420 422 425 427 429 431 432 433 435 440 451 455 457 464 471 474 475 477 479 481 482 483 487 488 489 490 491 492 495 496 497 503 506 a 1 5 7 8 16 18 21 22 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 69 72 73 80 83 86 88 94 97 98 101 102 103 105 108 113 114 122 123 125 127 131 134 135 136 138 146 147 149 150 151 152 153 154 155 158 167 172 173 177 180 181 183 187 191 192 195 199 201 205 210 213 214 218 223 224 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 312 315 320 324 326 327 332 333 334 335 337 338 343 345 351 353 355 358 363 366 374 377 382 386 387 389 392 394 397 398 402 403 408 410 413 416 420 422 425 427 429 431 432 433 435 440 451 455 457 464 471 474 475 477 479 481 482 483 487 488 489 490 491 492 495 496 497 503 506 a 1 5 7 8 16 18 21 22 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 69 72 73 80 83 86 88 94 97 98 101 102 103 105 108 113 114 122 123 125 127 131 134 135 136 138 146 147 149 150 151 152 153 154 155 158 167 172 173 177 180 181 183 187 191 192 195 199 201 205 210 213 214 218 223 224 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 311 312 315 320 324 326 327 332 333 334 335 337 338 343 345 351 353 355 358 363 366 374 377 382 386 387 389 392 394 397 398 402 403 408 410 413 416 422 425 427 429 431 432 433 435 440 451 455 457 464 471 474 475 477 479 481 482 483 487 488 489 490 491 492 495 496 497 503 506 a 1 2 5 7 8 16 18 21 22 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 69 72 73 80 83 86 88 94 97 98 101 102 103 105 108 113 114 122 123 125 127 131 134 135 136 138 146 147 149 150 151 152 153 154 155 158 167 172 173 177 180 181 183 187 191 192 195 199 201 205 210 213 214 218 223 224 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 311 312 315 320 324 326 327 332 333 334 335 337 338 343 345 351 353 355 358 363 366 374 382 386 387 389 392 394 397 398 402 403 408 410 413 416 422 425 427 429 431 432 433 435 440 451 455 457 464 471 474 475 477 479 481 482 483 487 488 489 490 491 492 495 496 497 503 506 a 1 2 5 7 8 16 18 21 22 25 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 69 72 73 80 83 86 88 94 97 98 101 102 103 105 108 113 114 122 123 125 127 131 134 135 136 138 146 147 149 150 151 152 153 154 155 158 167 172 173 177 180 181 183 187 191 192 195 199 201 205 210 213 214 218 223 224 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 311 312 315 320 324 326 327 332 333 334 335 337 338 343 345 351 353 355 358 363 366 374 382 386 387 389 392 394 397 398 403 408 410 413 416 422 425 427 429 431 432 433 435 440 451 455 457 464 471 474 475 477 479 481 482 483 487 488 489 490 491 492 495 496 497 503 506 a 1 2 5 7 8 16 18 21 22 25 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 69 72 73 80 83 86 88 94 97 98 101 102 103 105 108 113 114 122 123 125 127 131 134 135 136 138 146 147 149 150 151 152 153 154 155 158 167 172 173 177 180 181 183 187 191 192 199 201 205 210 213 214 218 223 224 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 311 312 315 320 324 326 327 332 333 334 335 337 338 343 345 351 353 355 358 363 366 374 382 386 387 389 392 394 397 398 403 408 410 413 416 422 425 427 429 431 432 433 435 440 450 451 455 457 464 471 474 475 477 479 481 482 483 487 488 489 490 491 492 495 496 497 503 506 a 1 2 5 7 8 16 18 21 22 25 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 69 72 73 80 83 86 88 94 97 98 101 102 103 105 108 113 114 122 123 125 127 131 134 135 136 138 146 147 149 150 151 152 153 154 155 158 167 172 173 177 180 181 183 187 191 192 199 201 205 210 213 214 218 223 224 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 306 311 312 315 320 324 326 327 332 333 334 335 337 338 343 345 351 353 355 358 363 366 374 382 386 387 389 392 394 397 398 403 408 410 413 416 422 425 427 429 431 432 433 435 440 450 451 457 464 471 474 475 477 479 481 482 483 487 488 489 490 491 492 495 496 497 503 506 a 1 2 5 7 8 16 18 21 22 25 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 67 69 72 73 80 83 86 88 94 97 98 101 102 103 105 108 113 114 122 123 125 127 131 134 135 136 138 146 147 149 150 151 152 153 154 155 158 167 172 173 177 180 181 183 187 191 192 199 201 205 210 213 214 218 223 224 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 306 311 312 315 320 324 326 327 332 333 334 335 337 338 343 345 351 353 355 358 363 366 374 382 386 387 389 392 394 397 398 403 408 410 413 416 422 425 427 429 431 432 433 435 440 450 451 457 464 471 474 475 477 479 481 482 483 487 488 489 490 492 495 496 497 503 506 a 1 2 5 7 8 16 18 21 22 25 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 67 69 72 73 80 83 86 88 94 97 98 101 102 103 105 108 113 114 122 123 125 127 131 134 135 136 138 145 146 147 149 150 151 152 153 154 155 158 167 172 173 177 180 181 183 187 191 192 199 201 205 210 213 214 218 223 224 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 306 311 312 315 320 324 326 327 332 333 334 335 337 338 343 345 351 353 355 358 363 366 374 382 386 387 389 392 394 397 398 403 408 410 413 416 422 425 427 429 431 432 433 435 440 450 451 457 464 474 475 477 479 481 482 483 487 488 489 490 492 495 496 497 503 506 a 1 2 5 7 8 16 18 21 22 25 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 67 69 72 73 80 83 86 87 88 94 97 98 102 103 105 108 113 114 122 123 125 127 131 134 135 136 138 145 146 147 149 150 151 152 153 154 155 158 167 172 173 177 180 181 183 187 191 192 199 201 205 210 213 214 218 223 224 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 306 311 312 315 320 324 326 327 332 333 334 335 337 338 343 345 351 353 355 358 363 366 374 382 386 387 389 392 394 397 398 403 408 410 413 416 422 425 427 429 431 432 433 435 440 450 451 457 464 474 475 477 479 481 482 483 487 488 489 490 492 495 496 497 503 506 a 1 2 5 7 8 16 18 21 22 25 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 67 69 72 73 80 83 86 87 88 94 97 98 102 103 105 108 113 114 122 123 125 127 131 134 135 136 138 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 180 181 183 187 191 192 199 201 205 210 213 214 218 223 224 228 229 233 236 237 238 242 247 252 257 268 269 278 280 283 286 291 294 295 296 297 305 306 311 312 315 320 324 326 327 332 333 334 335 337 338 343 345 351 353 355 358 363 366 374 382 386 387 389 392 394 397 398 403 408 410 413 416 422 425 427 429 431 432 433 435 440 450 451 457 464 474 475 477 479 481 482 483 487 488 489 490 492 495 496 497 503 506 a 1 2 5 7 8 16 18 21 22 25 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 67 69 72 73 80 83 86 87 88 94 97 98 102 103 105 108 113 114 122 123 125 127 131 134 135 136 138 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 180 181 183 187 191 192 199 201 205 210 213 214 218 223 224 228 229 233 236 237 238 242 247 252 257 264 268 269 278 280 283 286 291 294 295 296 297 305 306 311 312 315 320 324 326 327 332 333 334 335 337 338 343 345 351 353 355 358 363 366 382 386 387 389 392 394 397 398 403 408 410 413 416 422 425 427 429 431 432 433 435 440 450 451 457 464 474 475 477 479 481 482 483 487 488 489 490 492 495 496 497 503 506 a 1 2 5 7 8 16 18 21 22 25 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 67 69 72 73 80 83 86 87 88 94 97 98 102 103 105 108 113 114 122 123 125 127 131 134 135 136 138 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 180 181 183 187 191 192 199 201 205 210 213 214 218 223 224 228 229 233 236 237 238 242 247 252 257 264 266 268 269 278 280 283 286 291 294 295 296 297 305 306 311 312 315 320 324 326 327 332 333 334 335 337 338 343 345 351 353 355 358 363 382 386 387 389 392 394 397 398 403 408 410 413 416 422 425 427 429 431 432 433 435 440 450 451 457 464 474 475 477 479 481 482 483 487 488 489 490 492 495 496 497 503 506 a 1 2 5 7 8 16 18 21 22 25 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 67 69 72 73 80 83 86 87 88 94 97 98 102 103 105 108 113 114 122 123 125 127 131 134 135 136 138 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 180 181 183 187 191 192 199 201 205 210 213 214 218 221 223 224 228 229 233 236 237 238 242 247 252 257 264 266 268 269 278 280 283 286 291 294 295 296 297 305 306 311 312 315 320 324 326 327 332 333 335 337 338 343 345 351 353 355 358 363 382 386 387 389 392 394 397 398 403 408 410 413 416 422 425 427 429 431 432 433 435 440 450 451 457 464 474 475 477 479 481 482 483 487 488 489 490 492 495 496 497 503 506 a 1 2 5 7 8 16 18 21 22 25 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 67 69 72 73 80 83 86 87 88 94 97 98 102 103 105 108 113 114 122 123 125 127 131 134 135 136 138 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 180 181 183 187 191 192 199 201 205 210 213 214 218 221 223 224 228 229 233 236 237 238 242 247 252 257 264 266 268 269 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 332 333 335 337 338 345 351 353 355 358 363 382 386 387 389 392 394 397 398 403 408 410 413 416 422 425 427 429 431 432 433 435 440 450 451 457 464 474 475 477 479 481 482 483 487 488 489 490 492 495 496 497 503 506 a 1 2 5 7 8 16 18 21 22 25 28 32 39 42 44 45 46 47 51 56 57 59 61 63 64 67 69 72 73 80 83 86 87 88 94 97 98 102 103 105 108 113 114 122 123 125 127 131 134 135 136 138 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 180 181 183 187 191 192 196 199 205 210 213 214 218 221 223 224 228 229 233 236 237 238 242 247 252 257 264 266 268 269 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 332 333 335 337 338 345 351 353 355 358 363 382 386 387 389 392 394 397 398 403 408 410 413 416 422 425 427 429 431 432 433 435 440 450 451 457 464 474 475 477 479 481 482 483 487 488 489 490 492 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 63 64 67 69 72 73 80 83 86 87 88 94 97 98 102 103 105 108 113 114 122 123 125 127 131 134 135 136 138 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 180 181 183 187 191 192 196 199 205 210 213 214 218 221 223 224 228 229 233 236 237 238 242 247 252 257 264 266 268 269 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 332 333 335 337 338 345 351 353 355 358 363 382 386 387 389 392 394 397 398 403 408 410 413 416 422 425 427 429 431 432 433 435 440 450 451 457 464 474 475 477 479 481 482 483 487 488 489 490 492 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 63 64 67 69 72 73 80 83 86 87 88 94 97 98 102 103 105 108 113 114 122 123 125 127 131 134 135 136 138 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 180 181 183 187 191 192 196 199 205 210 213 214 218 221 223 224 228 229 233 236 237 238 247 252 257 264 266 268 269 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 332 333 335 337 338 345 351 353 355 358 361 363 382 386 387 389 392 394 397 398 403 408 410 413 416 422 425 427 429 431 432 433 435 440 450 451 457 464 474 475 477 479 481 482 483 487 488 489 490 492 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 63 64 67 69 72 73 80 83 86 87 88 94 97 98 102 103 105 108 113 114 122 123 125 127 131 134 135 136 138 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 180 181 183 187 191 192 196 199 205 210 213 214 218 221 223 224 228 229 233 236 237 238 247 252 257 264 266 268 269 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 332 335 337 338 345 351 353 355 358 361 363 382 386 387 389 392 394 397 398 403 408 410 413 416 419 422 425 427 429 431 432 433 435 440 450 451 457 464 474 475 477 479 481 482 483 487 488 489 490 492 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 63 64 67 69 72 73 80 83 86 87 88 94 97 98 102 103 105 108 113 114 122 123 125 127 131 134 135 136 138 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 180 181 183 187 191 192 196 199 205 210 213 214 218 221 223 224 228 229 233 236 237 238 247 252 257 264 266 268 269 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 330 332 335 337 338 345 353 355 358 361 363 382 386 387 389 392 394 397 398 403 408 410 413 416 419 422 425 427 429 431 432 433 435 440 450 451 457 464 474 475 477 479 481 482 483 487 488 489 490 492 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 63 64 67 69 72 73 80 83 86 87 88 94 97 98 102 103 105 108 113 114 122 123 125 127 131 134 135 136 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 180 181 183 187 191 192 196 199 205 210 213 214 218 221 223 224 228 229 233 236 237 238 247 252 257 264 266 268 269 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 330 332 335 337 338 345 353 355 358 361 363 382 386 387 389 392 394 397 398 403 408 410 413 416 419 422 425 427 429 431 432 433 435 440 450 451 457 463 464 474 475 477 479 481 482 483 487 488 489 490 492 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 63 64 67 69 72 73 80 83 86 87 88 94 97 98 102 103 105 108 113 114 122 123 125 127 131 134 135 136 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 180 181 183 187 191 192 196 199 205 210 213 214 218 221 223 224 228 229 233 236 237 238 247 252 257 264 266 268 269 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 332 335 337 338 345 353 355 358 361 363 382 386 387 392 394 397 398 403 408 410 413 416 419 422 425 427 429 431 432 433 435 440 450 451 457 463 464 474 475 477 479 481 482 483 487 488 489 490 492 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 63 64 67 69 72 73 80 83 86 87 88 94 97 98 102 103 105 108 113 114 122 123 125 127 131 134 135 136 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 180 181 183 187 191 192 196 199 205 210 213 214 218 221 223 224 228 229 233 236 237 238 247 252 257 264 266 268 269 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 332 335 337 338 345 353 355 358 361 363 382 386 387 392 394 397 398 403 408 410 413 416 419 422 425 427 429 431 432 433 435 440 450 451 457 459 463 464 474 475 477 479 481 482 483 487 489 490 492 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 63 64 67 69 72 73 80 83 86 87 88 94 97 98 102 105 108 113 114 122 123 125 127 131 134 135 136 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 180 181 183 187 191 192 196 199 205 210 213 214 218 221 223 224 228 229 233 236 237 238 247 252 257 264 266 268 269 271 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 332 335 337 338 345 353 355 358 361 363 382 386 387 392 394 397 398 403 408 410 413 416 419 422 425 427 429 431 432 433 435 440 450 451 457 459 463 464 474 475 477 479 481 482 483 487 489 490 492 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 63 64 67 69 72 73 80 83 86 87 88 94 97 98 102 105 108 113 114 122 123 125 127 131 133 134 135 136 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 180 181 183 187 191 192 196 199 205 210 213 214 218 221 223 224 228 229 233 236 237 238 247 252 257 264 266 268 269 271 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 382 386 387 392 394 397 398 403 408 410 413 416 419 422 425 427 429 431 432 433 435 440 450 451 457 459 463 464 474 475 477 479 481 482 483 487 489 490 492 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 63 64 67 69 72 73 80 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 131 133 134 135 136 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 179 180 181 183 187 191 192 196 199 205 210 213 214 218 221 223 224 228 229 233 236 237 238 247 252 257 264 266 268 269 271 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 382 386 387 392 394 397 398 403 408 410 413 416 419 422 425 427 429 431 432 433 435 440 450 451 457 459 463 464 474 475 477 479 481 482 483 487 489 490 492 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 80 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 131 133 134 135 136 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 179 180 181 183 187 191 192 196 199 205 210 213 214 218 221 223 224 228 229 233 236 237 238 247 252 257 264 266 268 269 271 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 382 386 387 392 394 397 398 403 408 410 413 416 419 422 425 427 429 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 490 492 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 131 133 134 135 136 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 179 180 181 183 187 191 192 196 199 205 210 213 214 218 221 223 224 228 229 233 236 237 238 247 252 257 264 266 268 269 271 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 382 386 387 392 394 397 398 403 408 410 413 416 419 422 425 427 429 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 490 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 131 133 135 136 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 179 180 181 183 187 191 192 196 199 205 210 213 214 218 221 223 224 228 229 233 236 237 238 247 252 257 264 266 268 269 271 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 382 386 387 392 394 397 398 401 403 408 410 413 416 419 422 425 427 429 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 490 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 149 150 151 152 153 154 155 158 172 173 177 179 180 181 183 187 191 192 196 199 205 210 213 214 218 221 223 224 228 229 233 236 237 238 247 252 257 264 266 268 269 271 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 382 386 387 392 394 397 398 401 403 408 410 413 419 422 425 427 429 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 490 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 149 150 151 152 154 155 158 172 173 177 179 180 181 183 187 191 192 196 199 205 210 213 214 218 221 223 224 228 229 233 236 237 238 247 252 257 264 266 268 269 271 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 382 386 387 392 394 397 398 401 403 408 410 413 419 422 425 427 428 429 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 490 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 149 150 151 152 154 155 158 172 173 177 179 180 181 183 187 192 196 199 205 210 213 214 218 221 223 224 228 229 233 236 237 238 247 252 257 264 266 268 269 271 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 382 386 387 392 394 397 398 401 403 408 410 413 419 422 425 427 428 429 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 490 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 149 150 151 152 154 155 158 170 172 173 177 179 180 181 183 187 192 196 199 205 210 213 214 218 221 223 224 228 229 233 236 237 238 247 252 264 266 268 269 271 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 382 386 387 392 394 397 398 401 403 408 410 413 419 422 425 427 428 429 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 490 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 149 150 151 152 154 155 158 170 172 173 177 179 180 181 183 187 192 196 199 205 210 213 214 218 221 223 224 228 229 233 236 237 238 247 252 264 266 268 269 271 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 382 386 387 394 397 398 401 403 408 410 413 419 422 425 427 428 429 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 490 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 149 150 151 152 154 155 158 169 170 172 173 177 179 180 181 183 187 192 196 199 205 213 214 218 221 223 224 228 229 233 236 237 238 247 252 264 266 268 269 271 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 382 386 387 394 397 398 401 403 408 410 413 419 422 425 427 428 429 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 490 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 149 150 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 196 199 205 213 214 218 221 223 224 228 229 233 236 237 238 252 264 266 268 269 271 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 382 386 387 394 397 398 401 403 408 410 413 419 422 425 427 428 429 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 490 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 150 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 196 199 205 213 214 218 221 223 224 228 229 233 236 237 238 252 264 266 268 269 271 278 280 283 286 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 382 386 387 394 397 398 401 403 408 410 413 419 422 425 427 428 429 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 490 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 196 199 205 213 214 218 221 223 224 228 229 233 236 237 238 252 264 266 268 269 270 271 278 280 283 286 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 382 386 387 394 397 398 401 403 408 410 413 419 422 425 427 428 429 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 490 495 496 497 503 506 a 1 2 5 7 16 18 21 22 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 196 199 205 213 214 218 221 223 224 228 229 233 236 237 238 252 264 266 268 269 270 271 278 279 280 283 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 382 386 387 394 397 398 401 403 408 410 413 419 422 425 427 428 429 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 490 495 496 497 503 506 a 1 2 5 7 16 18 21 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 196 199 205 213 214 218 221 223 224 228 229 233 236 237 238 244 252 264 266 268 269 270 271 278 279 280 283 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 382 386 387 394 397 398 401 403 408 410 413 419 422 425 427 428 429 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 490 495 496 497 503 506 a 1 2 5 7 16 18 21 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 196 199 205 213 214 218 221 223 224 229 233 236 237 238 244 252 253 264 266 268 269 270 271 278 279 280 283 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 382 386 387 394 397 398 401 403 408 410 413 419 422 425 427 428 429 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 490 495 496 497 503 506 a 1 2 5 7 16 18 21 25 28 32 39 42 44 45 46 47 51 54 56 57 59 61 64 67 69 72 73 75 80 81 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 196 199 205 213 214 218 221 222 223 224 229 233 236 237 238 244 252 253 264 266 268 269 270 271 278 279 280 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 382 386 387 394 397 398 401 403 408 410 413 419 422 425 427 428 429 431 432 433 435 440 450 451 457 459 463 464 470 474 475 477 479 481 482 483 487 489 490 495 496 497 503 506 a 1 2 5 7 16 18 21 25 28 32 39 42 44 45 46 47 51 54 56 57 59 64 67 69 72 73 75 80 81 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 196 199 205 213 214 218 221 222 223 224 229 233 236 237 238 244 252 253 264 266 268 269 270 271 278 279 280 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 382 386 387 394 397 398 401 403 408 410 413 419 422 425 427 428 429 431 432 433 435 440 450 451 457 459 463 464 469 470 474 475 477 479 481 482 483 487 489 490 495 496 497 503 506 a 1 2 5 7 16 18 21 25 28 32 39 42 44 45 46 47 51 54 56 57 59 64 67 69 72 73 75 80 81 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 196 199 205 213 214 218 221 222 223 224 226 229 233 236 237 238 244 252 253 264 266 268 269 270 271 278 279 280 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 382 386 387 394 397 398 401 403 408 410 413 419 422 425 427 428 429 431 432 433 435 440 450 451 457 459 463 464 469 470 474 475 477 479 481 482 483 487 489 490 496 497 503 506 a 1 2 5 7 16 18 21 25 28 32 39 42 44 45 46 47 51 54 56 57 59 64 67 69 72 73 75 80 81 83 87 88 94 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 196 199 205 213 214 218 221 222 223 224 226 229 233 236 237 238 244 252 253 255 264 266 268 269 270 271 278 279 280 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 382 386 387 394 397 398 401 403 408 410 413 419 422 425 427 428 429 431 432 433 435 440 450 451 457 459 463 464 469 470 474 475 477 479 481 482 483 487 489 496 497 503 506 a 1 2 5 7 16 18 21 25 28 32 39 42 44 45 46 47 51 54 56 57 59 64 67 69 72 73 75 80 81 83 87 88 90 94 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 196 199 205 213 214 218 221 222 223 224 226 229 233 236 237 238 244 252 253 255 264 266 268 269 270 271 278 279 280 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 386 387 394 397 398 401 403 408 410 413 419 422 425 427 428 429 431 432 433 435 440 450 451 457 459 463 464 469 470 474 475 477 479 481 482 483 487 489 496 497 503 506 a 1 2 5 7 16 18 21 25 28 32 39 42 44 45 46 47 51 54 56 57 59 64 67 69 72 73 75 80 81 83 87 88 90 94 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 196 199 205 213 214 218 221 222 223 224 226 229 233 236 237 238 244 252 253 255 264 266 268 269 270 271 278 279 280 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 428 429 431 432 433 435 440 450 451 457 459 463 464 469 470 474 475 477 479 481 482 483 487 489 496 497 503 506 a 1 2 5 7 16 18 21 25 28 32 39 42 44 45 46 47 51 54 56 57 59 64 67 69 72 73 75 80 81 83 87 88 90 94 95 97 98 102 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 151 152 154 155 158 163 169 170 172 173 177 179 180 181 183 187 192 196 199 205 213 218 221 222 223 224 226 229 233 236 237 238 244 252 253 255 264 266 268 269 270 271 278 279 280 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 337 338 345 353 355 358 361 363 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 428 429 431 432 433 435 440 450 451 457 459 463 464 469 470 474 475 477 479 481 482 483 487 489 496 497 503 506 c Step: 98 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance039_graph002.col /benchmark/random_instance/random_instance039_graph002_01.dat" User time (seconds): 59.72 System time (seconds): 0.42 Percent of CPU this job got: 328% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:18.33 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): 620888 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 382949 Voluntary context switches: 20807 Involuntary context switches: 160 Swaps: 0 File system inputs: 0 File system outputs: 824 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:44:56 2023]