#BEGIN: [Mon Sep 4 15:10:42 2023] #HOST: s06 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-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 -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 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 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 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 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 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 472 477 480 481 482 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 49 51 57 59 60 61 63 64 71 79 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 482 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 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 482 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 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 311 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 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 482 484 486 487 488 489 490 491 492 493 495 496 499 502 503 505 506 a 1 4 7 8 9 10 14 16 17 18 22 27 28 32 35 39 40 42 45 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 311 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 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 482 484 486 487 488 489 490 491 492 493 495 496 499 502 503 505 506 a 1 4 7 8 9 10 14 16 17 18 22 27 28 32 35 39 40 42 45 49 51 57 59 60 61 63 64 71 73 80 81 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 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 311 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 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 482 484 486 487 488 489 490 491 492 493 495 496 499 502 503 505 506 a 1 4 7 8 9 10 14 16 17 18 22 27 28 32 35 39 40 42 45 49 51 57 59 60 61 63 64 71 73 80 81 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 173 177 180 183 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 311 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 424 425 427 432 433 435 436 440 449 451 455 456 457 460 471 477 480 481 482 484 486 487 488 489 490 491 492 493 495 496 499 502 503 505 506 a 1 4 7 8 9 10 14 16 17 18 22 27 28 32 35 39 40 42 45 49 51 57 59 60 61 63 64 71 73 80 81 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 173 177 180 183 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 311 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 422 424 425 427 432 433 435 436 440 449 451 455 456 457 460 471 477 480 481 482 484 486 487 488 489 490 491 492 493 495 496 502 503 505 506 a 1 4 7 8 9 10 14 16 17 18 22 27 28 32 35 39 40 42 45 49 51 57 59 60 61 63 64 71 73 80 81 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 173 177 180 183 195 199 200 201 205 210 211 213 214 218 228 229 230 232 238 242 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 422 424 425 427 432 433 435 440 449 451 455 456 457 460 471 477 480 481 482 484 486 487 488 489 490 491 492 493 495 496 502 503 505 506 a 1 4 7 8 9 10 14 16 17 18 22 27 28 32 35 39 40 42 45 49 51 57 59 60 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 177 180 183 195 199 200 201 205 210 211 213 214 218 228 229 230 232 238 242 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 422 424 425 427 432 433 435 440 449 451 455 456 457 460 471 477 480 481 482 484 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 9 10 14 16 17 18 22 27 28 32 35 39 40 42 45 49 51 57 59 60 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 177 180 183 195 199 200 201 205 210 211 213 214 218 223 228 229 230 232 238 242 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 366 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 422 424 425 427 432 433 435 440 449 451 456 457 460 471 477 480 481 482 484 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 9 10 14 16 17 18 22 27 28 32 35 39 40 42 45 49 51 57 59 60 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 171 173 177 180 183 195 199 200 201 205 210 211 213 214 218 223 228 229 230 232 238 242 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 363 366 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 422 424 425 427 432 433 435 440 449 451 456 457 460 471 477 480 481 482 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 9 10 14 16 17 18 22 27 28 32 35 39 40 42 45 49 51 57 59 60 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 173 177 180 183 187 195 199 200 201 205 210 211 213 214 218 223 228 229 230 232 238 242 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 363 366 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 422 424 425 427 432 433 435 440 449 451 456 457 460 471 477 480 481 482 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 9 10 14 16 17 18 22 27 28 32 35 39 40 42 45 49 51 57 59 60 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 230 232 238 242 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 363 366 374 377 382 384 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 422 424 425 427 432 433 435 440 449 451 456 457 471 477 480 481 482 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 9 10 14 16 17 18 22 27 28 32 35 39 42 45 49 51 57 59 60 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 230 232 238 242 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 363 366 374 377 382 384 386 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 422 424 425 427 432 433 435 440 449 451 456 457 471 477 480 481 482 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 9 10 14 16 17 18 22 27 28 32 35 39 42 45 49 51 57 59 60 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 230 238 242 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 363 366 374 377 382 384 386 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 422 424 425 427 432 433 435 440 449 451 456 457 471 477 480 481 482 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 9 10 14 16 17 18 22 27 28 32 35 39 42 45 49 51 57 59 60 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 230 238 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 320 322 324 327 332 333 334 335 343 348 351 353 355 356 358 361 363 366 374 377 382 384 386 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 422 424 425 427 432 433 435 440 449 451 456 457 471 477 480 481 482 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 9 10 14 16 17 18 22 27 28 32 35 39 42 45 49 51 57 59 60 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 113 117 121 122 123 125 127 134 135 136 138 142 146 147 149 150 152 153 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 230 238 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 322 324 327 332 333 334 335 348 351 353 355 356 358 361 363 366 374 377 382 384 386 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 422 424 425 427 432 433 435 440 449 451 456 457 471 477 480 481 482 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 9 10 14 16 17 18 22 27 28 32 35 39 42 45 49 51 57 59 60 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 113 114 117 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 230 238 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 322 324 327 332 333 334 335 348 351 353 355 356 358 361 363 366 374 377 382 384 386 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 422 424 425 427 432 433 435 440 449 451 456 457 471 477 480 481 482 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 9 14 16 17 18 22 27 28 32 35 39 42 45 49 51 57 59 60 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 113 114 117 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 230 238 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 322 324 327 332 333 334 335 348 351 353 355 356 358 361 363 366 374 377 382 384 386 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 422 424 425 427 432 433 435 440 449 451 456 457 471 477 480 481 482 483 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 9 14 16 17 18 22 27 28 32 35 39 42 45 51 57 59 60 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 113 114 117 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 230 238 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 322 324 326 327 332 333 334 335 348 351 353 355 356 358 361 363 366 374 377 382 384 386 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 422 424 425 427 432 433 435 440 449 451 456 457 471 477 480 481 482 483 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 9 14 16 17 18 22 27 28 32 35 39 42 45 51 57 59 60 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 113 114 117 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 238 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 322 324 326 327 332 333 334 335 348 351 353 355 356 358 361 363 366 374 377 382 384 386 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 422 424 425 427 432 433 435 440 449 451 456 457 471 477 479 480 481 482 483 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 9 14 16 17 18 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 113 114 117 121 122 123 125 127 134 135 136 138 146 147 149 150 152 153 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 238 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 322 324 326 327 332 333 334 335 348 351 353 355 356 358 361 363 366 374 377 382 384 386 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 422 424 425 427 432 433 435 440 449 451 456 457 471 477 479 480 481 482 483 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 9 14 16 17 18 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 117 121 122 123 125 127 134 135 136 138 146 147 150 152 153 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 238 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 322 324 326 327 332 333 334 335 348 351 353 355 356 358 361 363 366 374 377 382 384 386 387 389 392 397 398 402 403 404 408 409 410 413 416 417 420 422 424 425 427 432 433 435 440 449 451 456 457 471 477 479 480 481 482 483 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 9 14 16 17 18 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 117 121 122 123 125 127 134 135 136 138 146 147 150 152 153 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 238 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 322 324 326 327 332 333 334 335 348 351 353 355 356 358 361 363 366 374 377 382 384 386 387 389 392 397 398 402 403 404 405 408 409 410 413 416 417 420 422 424 425 432 433 435 440 449 451 456 457 471 477 479 480 481 482 483 486 487 488 489 490 491 492 493 495 496 502 503 506 a 1 4 7 8 9 14 16 17 18 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 117 121 122 123 125 127 134 135 136 138 146 147 150 152 153 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 238 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 322 324 326 327 332 333 334 335 348 351 353 355 356 358 361 363 366 374 377 382 384 386 387 389 392 397 398 402 403 404 405 408 409 410 413 416 417 420 422 424 425 431 432 433 435 440 449 451 456 457 471 477 479 480 481 482 483 486 487 488 489 490 491 492 493 496 502 503 506 a 1 4 7 8 9 14 16 17 18 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 117 121 122 123 125 127 134 135 136 138 146 147 150 152 153 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 238 246 247 252 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 322 324 326 327 332 333 334 335 348 351 353 355 356 358 361 363 366 374 377 382 384 386 387 389 392 397 398 402 403 404 405 408 409 410 413 416 417 420 422 424 425 431 432 433 435 440 449 451 456 457 471 477 479 480 481 482 483 486 487 488 489 490 491 492 493 496 497 503 506 a 1 4 7 8 9 14 16 17 18 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 117 121 122 123 125 127 134 135 136 138 146 147 150 152 153 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 238 246 247 252 255 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 322 324 326 327 332 333 334 335 348 351 353 355 356 358 361 363 366 374 377 382 384 386 387 389 392 397 398 402 403 404 405 408 409 410 413 416 417 420 422 424 425 431 432 433 435 440 449 451 456 457 471 477 479 480 481 482 483 486 487 488 489 491 492 493 496 497 503 506 a 1 4 7 8 9 14 16 17 18 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 117 121 122 123 125 127 134 135 136 138 146 147 150 152 153 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 238 246 247 252 255 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 322 324 326 327 332 333 334 335 348 351 353 355 356 358 361 363 366 374 377 382 384 386 387 389 392 397 398 402 403 404 405 408 410 413 416 417 420 422 424 425 431 432 433 435 440 449 451 456 457 471 474 477 479 480 481 482 483 486 487 488 489 491 492 493 496 497 503 506 a 1 4 7 8 9 14 16 18 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 117 121 122 123 125 127 134 135 136 138 146 147 150 152 153 158 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 238 246 247 252 255 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 322 324 326 327 332 333 334 335 348 351 353 355 356 358 361 363 366 374 377 382 384 386 387 389 392 397 398 402 403 404 405 408 410 413 416 417 420 422 424 425 431 432 433 435 440 449 451 456 457 471 474 477 479 480 481 482 483 486 487 488 489 491 492 493 496 497 503 506 a 1 4 7 8 9 14 16 18 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 72 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 121 122 123 125 127 134 135 136 138 146 147 150 152 153 158 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 238 246 247 252 255 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 322 324 326 327 332 333 334 335 348 351 353 355 356 358 361 363 366 374 377 382 384 386 387 389 392 397 398 402 403 404 405 408 410 413 416 417 420 422 424 425 431 432 433 435 440 449 451 456 457 471 474 477 479 480 481 482 483 486 487 488 489 491 492 493 496 497 503 506 a 1 4 7 8 9 14 16 18 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 72 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 121 122 123 125 127 134 135 136 138 146 147 150 152 153 158 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 238 246 247 252 255 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 322 324 326 327 332 334 335 348 351 353 355 356 358 361 363 366 374 377 382 384 386 387 389 392 394 397 398 402 403 404 405 408 410 413 416 417 420 422 424 425 431 432 433 435 440 449 451 456 457 471 474 477 479 480 481 482 483 486 487 488 489 491 492 493 496 497 503 506 a 1 4 7 8 9 14 16 18 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 72 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 121 122 123 125 127 134 135 136 138 146 147 150 152 153 158 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 238 246 247 252 255 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 322 324 326 327 332 334 335 348 351 353 355 356 358 361 363 366 374 377 382 386 387 389 392 394 397 398 402 403 404 405 408 410 413 416 417 419 420 422 424 425 431 432 433 435 440 449 451 456 457 471 474 477 479 480 481 482 483 486 487 488 489 491 492 493 496 497 503 506 a 1 4 5 7 8 9 14 16 18 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 72 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 121 122 123 125 127 134 135 136 138 146 147 150 152 153 158 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 238 246 247 252 255 256 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 332 334 335 348 351 353 355 356 358 361 363 366 374 377 382 386 387 389 392 394 397 398 402 403 404 405 408 410 413 416 417 419 420 422 424 425 431 432 433 435 440 449 451 456 457 471 474 477 479 480 481 482 483 486 487 488 489 491 492 493 496 497 503 506 a 1 4 5 7 8 9 14 16 18 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 72 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 121 122 123 125 127 134 135 136 138 146 147 150 152 153 158 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 236 238 246 247 252 255 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 332 334 335 348 351 353 355 356 358 361 363 366 374 377 382 386 387 389 392 394 397 398 402 403 404 405 408 410 413 416 417 419 420 422 424 425 431 432 433 435 440 449 451 456 457 471 474 477 479 480 481 482 483 486 487 488 489 491 492 493 496 497 503 506 a 1 4 5 7 8 9 14 16 18 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 72 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 121 122 123 125 127 134 135 136 138 146 147 150 152 153 158 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 233 236 238 246 247 252 255 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 332 334 335 348 351 353 355 356 358 361 363 366 374 377 382 386 387 389 392 394 397 398 402 403 405 408 410 413 416 417 419 420 422 424 425 431 432 433 435 440 449 451 456 457 471 474 477 479 480 481 482 483 486 487 488 489 491 492 493 496 497 503 506 a 1 4 5 7 8 9 14 16 18 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 72 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 121 122 123 125 127 134 135 136 138 146 147 150 152 153 154 158 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 228 229 233 236 238 246 247 252 255 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 332 334 335 348 351 353 355 356 358 361 363 366 374 377 382 386 387 389 392 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 449 451 456 457 471 474 477 479 480 481 482 483 486 487 488 489 491 492 493 496 497 503 506 a 1 4 5 7 8 9 14 16 18 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 72 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 121 122 123 125 127 134 135 136 138 146 147 150 152 153 154 158 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 224 228 229 233 236 238 246 247 252 255 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 332 334 335 348 351 353 355 356 358 361 363 366 374 377 382 386 387 389 392 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 471 474 477 479 480 481 482 483 486 487 488 489 491 492 493 496 497 503 506 a 1 5 7 8 9 14 16 18 21 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 72 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 121 122 123 125 127 134 135 136 138 146 147 150 152 153 154 158 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 224 228 229 233 236 238 246 247 252 255 257 258 268 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 332 334 335 348 351 353 355 356 358 361 363 366 374 377 382 386 387 389 392 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 471 474 477 479 480 481 482 483 486 487 488 489 491 492 493 496 497 503 506 a 1 5 7 8 9 16 18 21 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 72 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 121 122 123 125 127 134 135 136 138 146 147 150 152 153 154 158 167 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 224 228 229 233 236 238 246 247 252 255 257 258 268 269 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 332 334 335 348 351 353 355 356 358 361 363 366 374 377 382 386 387 389 392 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 471 474 477 479 480 481 482 483 486 487 488 489 491 492 493 496 497 503 506 a 1 5 7 8 9 16 18 21 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 72 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 121 122 123 125 127 134 135 136 138 146 147 150 152 153 154 158 167 170 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 224 228 229 233 236 238 246 247 252 255 258 268 269 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 332 334 335 348 351 353 355 356 358 361 363 366 374 377 382 386 387 389 392 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 471 474 477 479 480 481 482 483 486 487 488 489 491 492 493 496 497 503 506 a 1 5 7 8 9 16 18 21 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 72 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 121 122 123 125 127 134 135 136 138 146 147 150 152 153 154 158 167 170 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 224 228 229 233 236 238 246 247 252 255 258 268 269 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 332 334 335 348 351 353 355 356 358 361 363 366 374 377 380 382 386 387 389 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 471 474 477 479 480 481 482 483 486 487 488 489 491 492 493 496 497 503 506 a 1 5 7 8 9 16 18 21 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 72 73 80 81 82 86 91 94 97 98 101 102 103 105 108 113 114 121 122 123 125 127 133 134 135 136 138 146 147 150 152 153 154 158 167 170 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 224 228 229 233 236 238 246 247 252 255 258 268 269 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 334 335 348 351 353 355 356 358 361 363 366 374 377 380 382 386 387 389 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 471 474 477 479 480 481 482 483 486 487 488 489 491 492 493 496 497 503 506 a 1 5 7 8 9 16 18 21 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 72 73 80 81 82 91 94 97 98 101 102 103 105 108 113 114 121 122 123 125 127 133 134 135 136 138 146 147 150 152 153 154 158 167 170 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 224 228 229 233 236 238 246 247 252 255 258 268 269 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 348 351 353 355 356 358 361 363 366 374 377 380 382 386 387 389 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 471 474 477 479 480 481 482 483 486 487 488 489 491 492 493 496 497 503 506 a 1 5 7 8 9 16 18 21 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 72 73 80 81 82 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 134 135 136 138 146 147 150 152 153 154 158 167 170 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 224 228 229 233 236 238 246 247 252 255 258 268 269 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 348 351 353 355 356 358 361 363 366 374 377 380 382 386 387 389 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 463 471 474 477 479 480 481 482 483 486 487 488 489 491 492 493 496 497 503 506 a 1 5 7 8 9 16 18 21 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 72 73 80 81 82 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 134 135 136 138 146 147 150 152 153 154 158 167 170 173 177 180 183 187 192 195 199 200 201 205 210 211 213 214 218 223 224 228 229 233 236 238 246 247 252 255 258 268 269 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 348 351 353 355 356 358 361 363 366 374 377 380 382 386 387 389 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 463 471 474 475 477 479 480 481 482 483 486 487 488 489 491 492 496 497 503 506 a 1 5 7 8 9 16 18 21 22 27 28 32 35 39 42 44 45 51 57 59 61 63 64 71 72 73 80 81 82 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 134 135 136 138 146 147 150 152 153 154 158 167 170 173 177 180 183 187 192 195 199 200 201 205 210 213 214 218 223 224 228 229 233 236 238 246 247 252 255 258 268 269 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 348 351 353 355 356 358 361 363 366 374 377 380 382 386 387 389 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 463 471 474 475 477 479 480 481 482 483 486 487 488 489 491 492 496 497 503 506 a 1 5 7 8 9 16 18 21 22 27 28 32 35 39 42 44 45 47 51 57 59 61 64 71 72 73 80 81 82 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 134 135 136 138 146 147 150 152 153 154 158 167 170 173 177 180 183 187 192 195 199 200 201 205 210 213 214 218 223 224 228 229 233 236 238 246 247 252 255 258 268 269 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 348 351 353 355 356 358 361 363 366 374 377 380 382 386 387 389 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 463 471 474 475 477 479 480 481 482 483 486 487 488 489 491 492 496 497 503 506 a 1 5 7 8 9 16 18 21 22 27 28 32 35 39 42 44 45 47 51 57 59 61 64 71 72 73 80 81 82 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 134 135 136 138 146 147 150 152 153 154 158 167 170 173 177 180 183 187 192 195 199 200 201 205 210 213 214 218 223 224 226 228 229 233 236 238 246 247 252 255 258 268 269 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 348 351 353 355 356 358 361 363 366 374 377 380 382 386 387 389 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 463 471 474 475 477 479 480 481 482 483 487 488 489 491 492 496 497 503 506 a 1 5 7 9 16 18 21 22 27 28 32 35 39 42 44 45 47 51 54 57 59 61 64 71 72 73 80 81 82 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 134 135 136 138 146 147 150 152 153 154 158 167 170 173 177 180 183 187 192 195 199 200 201 205 210 213 214 218 223 224 226 228 229 233 236 238 246 247 252 255 258 268 269 274 278 280 282 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 348 351 353 355 356 358 361 363 366 374 377 380 382 386 387 389 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 463 471 474 475 477 479 480 481 482 483 487 488 489 491 492 496 497 503 506 a 1 5 7 9 16 18 21 22 27 28 32 35 39 42 44 45 47 51 54 57 59 61 64 71 72 73 80 81 82 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 134 135 136 138 146 147 150 152 153 154 158 167 170 173 177 180 183 187 192 195 199 200 201 205 210 213 214 218 223 224 226 228 229 233 236 238 246 247 252 255 258 268 269 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 348 351 353 355 356 358 361 363 366 374 377 380 382 386 387 389 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 480 481 482 483 487 488 489 491 492 496 497 503 506 a 1 5 7 9 16 18 21 22 27 28 32 35 39 42 44 45 47 51 54 57 59 61 64 71 72 73 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 134 135 136 138 146 147 150 152 153 154 158 167 170 173 177 180 183 187 192 195 199 200 201 205 210 213 214 218 223 224 226 228 229 233 236 238 246 247 252 255 268 269 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 348 351 353 355 356 358 361 363 366 374 377 380 382 386 387 389 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 480 481 482 483 487 488 489 491 492 496 497 503 506 a 1 5 7 9 16 18 21 22 27 28 32 35 39 42 44 45 47 51 54 57 59 61 64 72 73 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 134 135 136 138 146 147 150 152 153 154 158 167 170 173 177 180 183 187 192 195 199 200 201 205 210 213 214 218 223 224 226 228 229 233 236 237 238 246 247 252 255 268 269 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 348 351 353 355 356 358 361 363 366 374 377 380 382 386 387 389 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 480 481 482 483 487 488 489 491 492 496 497 503 506 a 1 5 7 9 16 18 21 22 27 28 32 35 39 42 44 45 47 51 54 57 59 61 64 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 134 135 136 138 146 147 150 152 153 154 158 167 170 173 177 180 183 187 192 195 199 200 201 205 210 213 214 218 223 224 226 228 229 233 236 237 238 246 247 252 255 268 269 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 348 351 353 355 356 358 361 363 366 374 377 380 382 386 387 389 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 480 481 482 483 487 488 489 491 496 497 503 506 a 1 5 7 9 16 18 21 22 27 28 32 35 39 42 44 45 47 51 54 57 59 61 64 67 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 134 135 136 138 146 147 150 152 153 154 158 167 170 173 177 180 183 187 192 195 199 200 201 205 210 213 214 218 223 224 226 228 229 233 236 237 238 246 247 252 255 268 269 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 348 351 353 355 356 358 361 363 366 374 377 380 382 386 387 389 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 480 481 482 483 487 488 489 496 497 503 506 a 1 5 7 9 16 18 21 22 27 28 32 35 39 42 44 45 47 51 54 57 59 61 64 67 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 134 135 136 138 146 147 150 152 153 154 158 163 167 170 173 177 180 183 187 192 195 199 200 201 205 213 214 218 223 224 226 228 229 233 236 237 238 246 247 252 255 268 269 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 348 351 353 355 356 358 361 363 366 374 377 380 382 386 387 389 394 397 398 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 480 481 482 483 487 488 489 496 497 503 506 a 1 5 7 9 16 18 21 22 27 28 32 35 39 42 44 45 47 51 54 57 59 61 64 67 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 135 136 138 146 147 150 152 153 154 158 163 167 170 173 177 180 183 187 192 195 199 200 201 205 213 214 218 223 224 226 228 229 233 236 237 238 246 247 252 255 268 269 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 348 351 353 355 356 358 361 363 366 374 377 380 382 386 387 389 394 397 398 401 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 480 481 482 483 487 488 489 496 497 503 506 a 1 5 7 9 16 18 21 22 27 28 32 35 39 42 44 45 47 51 54 57 59 61 64 67 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 135 136 138 146 147 150 152 153 154 158 163 167 169 170 173 177 180 183 187 192 195 199 200 201 205 213 214 218 223 224 226 228 229 233 236 237 238 246 247 252 255 268 269 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 348 351 353 355 356 358 361 363 366 374 377 380 382 386 387 389 394 397 398 401 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 5 7 9 16 18 21 22 27 28 32 35 39 42 44 45 47 51 54 57 59 61 64 67 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 135 136 138 146 147 150 152 153 154 158 163 169 170 173 177 180 183 187 192 195 199 200 201 205 213 214 218 223 224 226 228 229 233 236 237 238 246 247 252 255 268 269 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 345 348 351 353 355 356 358 361 363 366 374 377 380 382 386 387 389 394 397 398 401 402 403 405 408 410 413 416 417 419 420 422 425 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 5 7 9 16 18 21 22 27 28 32 35 39 42 44 45 47 51 54 57 59 61 64 67 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 135 136 138 146 147 150 152 153 154 158 163 169 170 173 177 180 183 187 192 195 199 200 201 205 213 214 218 223 224 226 228 229 233 236 237 238 246 247 252 255 268 269 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 345 348 351 353 355 356 358 361 363 366 374 377 380 382 386 387 389 394 397 398 401 402 403 405 408 410 413 417 419 420 422 425 428 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 5 7 9 16 18 21 22 27 28 32 35 39 42 44 45 46 47 51 54 57 59 61 64 67 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 135 136 138 146 147 150 152 153 154 158 163 169 170 173 177 180 183 187 192 195 199 200 201 205 213 214 218 223 224 226 228 229 233 236 237 238 246 247 252 255 268 269 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 345 348 351 353 355 358 361 363 366 374 377 380 382 386 387 389 394 397 398 401 402 403 405 408 410 413 417 419 420 422 425 428 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 5 7 9 16 18 21 22 28 32 35 39 42 44 45 46 47 51 54 57 59 61 64 67 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 135 136 138 146 147 150 152 153 154 158 163 169 170 173 177 180 183 187 192 195 199 200 201 205 213 214 218 223 224 226 228 229 233 236 237 238 246 247 252 255 268 269 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 338 345 348 351 353 355 358 361 363 366 374 377 380 382 386 387 389 394 397 398 401 402 403 405 408 410 413 417 419 420 422 425 428 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 5 7 9 16 18 21 22 28 32 35 39 42 44 45 46 47 51 54 57 59 61 64 67 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 135 136 138 146 147 150 152 153 154 158 163 169 170 173 177 180 183 187 192 195 199 200 201 205 213 214 218 222 223 224 226 228 229 233 236 237 238 246 252 255 268 269 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 338 345 348 351 353 355 358 361 363 366 374 377 380 382 386 387 389 394 397 398 401 402 403 405 408 410 413 417 419 420 422 425 428 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 5 7 9 16 18 21 22 28 32 35 39 42 44 45 46 47 51 54 57 59 61 64 67 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 135 136 138 146 147 150 152 153 154 158 163 169 170 173 177 180 183 187 192 195 199 200 201 205 213 214 218 222 223 224 226 228 229 233 236 237 238 246 252 255 268 269 270 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 338 345 348 351 353 355 358 361 363 366 374 377 380 382 386 387 389 394 397 398 401 402 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 5 7 9 16 18 21 22 28 32 35 39 42 44 45 46 47 51 54 57 59 61 64 67 69 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 135 136 138 146 147 150 152 153 154 158 163 169 170 173 177 180 183 187 192 199 200 201 205 213 214 218 222 223 224 226 228 229 233 236 237 238 246 252 255 268 269 270 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 338 345 348 351 353 355 358 361 363 366 374 377 380 382 386 387 389 394 397 398 401 402 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 16 18 21 22 28 32 35 39 42 44 45 46 47 51 54 57 59 61 64 67 69 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 135 136 138 146 147 150 152 153 154 158 163 169 170 173 177 180 183 187 192 199 200 201 205 213 214 218 222 223 224 226 228 229 233 236 237 238 246 252 255 268 269 270 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 338 345 348 351 353 355 358 361 363 366 374 380 382 386 387 389 394 397 398 401 402 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 16 18 21 22 28 32 35 39 42 44 45 46 47 51 54 57 59 64 67 69 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 135 136 138 146 147 150 152 153 154 158 163 169 170 172 173 177 180 183 187 192 199 200 201 205 213 214 218 222 223 224 226 228 229 233 236 237 238 246 252 255 268 269 270 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 338 345 348 351 353 355 358 361 363 366 374 380 382 386 387 389 394 397 398 401 402 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 16 18 21 22 28 32 35 39 42 44 45 46 47 51 54 57 59 64 67 69 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 135 136 138 141 146 147 150 152 153 154 158 163 169 170 172 173 177 180 183 187 192 199 201 205 213 214 218 222 223 224 226 228 229 233 236 237 238 246 252 255 268 269 270 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 338 345 348 351 353 355 358 361 363 366 374 380 382 386 387 389 394 397 398 401 402 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 16 18 21 22 25 28 32 35 39 42 44 45 46 47 51 54 57 59 64 67 69 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 135 136 138 141 146 147 150 152 153 154 158 163 169 170 172 173 177 180 183 187 192 199 201 205 213 214 218 222 223 224 226 228 229 233 236 237 238 246 252 255 268 269 270 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 334 335 338 345 348 351 353 355 358 361 363 366 374 380 382 386 387 389 394 397 398 401 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 16 18 21 22 25 28 32 35 39 42 44 45 46 47 51 54 57 59 64 67 69 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 135 136 138 141 146 147 150 152 153 154 158 163 169 170 172 173 177 180 183 187 192 199 201 205 213 214 218 221 222 223 224 226 228 229 233 236 237 238 246 252 255 268 269 270 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 335 338 345 348 351 353 355 358 361 363 366 374 380 382 386 387 389 394 397 398 401 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 463 464 471 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 16 18 21 22 25 28 32 35 39 42 44 45 46 47 51 54 57 59 64 67 69 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 133 135 136 138 141 146 147 150 152 153 154 158 163 169 170 172 173 177 180 183 187 192 199 201 205 213 214 218 221 222 223 224 226 228 229 233 236 237 238 246 252 255 268 269 270 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 335 338 345 348 351 353 355 358 361 363 366 374 380 382 386 387 394 397 398 401 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 459 463 464 471 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 16 18 21 25 28 32 35 39 42 44 45 46 47 51 54 57 59 64 67 69 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 130 133 135 136 138 141 146 147 150 152 153 154 158 163 169 170 172 173 177 180 183 187 192 199 201 205 213 214 218 221 222 223 224 226 228 229 233 236 237 238 246 252 255 268 269 270 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 335 338 345 348 351 353 355 358 361 363 366 374 380 382 386 387 394 397 398 401 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 459 463 464 471 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 16 18 21 25 28 32 35 39 42 44 45 46 47 51 54 57 59 64 67 69 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 130 133 135 136 138 141 145 146 147 150 152 153 154 158 163 169 170 172 173 177 180 183 187 192 199 201 205 213 214 218 221 222 223 224 226 228 229 233 236 237 238 246 252 255 268 269 270 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 330 335 338 345 348 351 353 355 358 361 363 366 374 380 382 386 387 394 397 398 401 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 16 18 21 25 28 32 35 39 42 44 45 46 47 51 54 57 59 64 67 69 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 130 133 135 136 141 145 146 147 150 152 153 154 158 163 169 170 172 173 177 180 183 187 192 199 201 205 213 214 218 221 222 223 224 226 228 229 233 236 237 238 246 252 255 268 269 270 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 329 330 335 338 345 348 351 353 355 358 361 363 366 374 380 382 386 387 394 397 398 401 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 16 18 21 25 28 32 35 39 42 44 45 46 47 51 54 57 59 64 67 69 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 130 133 135 136 141 145 146 147 150 152 153 154 155 158 163 169 170 172 173 177 180 183 187 192 199 201 205 213 214 218 221 222 223 224 226 228 229 233 236 237 238 246 252 255 268 269 270 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 329 330 335 338 345 351 353 355 358 361 363 366 374 380 382 386 387 394 397 398 401 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 16 18 21 25 28 32 35 39 42 44 45 46 47 51 54 57 59 64 67 69 72 73 75 80 81 82 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 130 133 135 136 141 145 146 147 150 152 153 154 155 158 163 169 170 172 173 177 180 183 187 192 199 201 205 213 214 218 221 222 223 224 226 228 229 233 236 237 238 246 252 253 255 268 269 270 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 329 330 335 338 345 353 355 358 361 363 366 374 380 382 386 387 394 397 398 401 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 16 18 21 25 28 32 35 39 42 44 45 46 47 51 54 57 59 64 67 69 72 73 75 80 81 83 87 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 150 152 153 154 155 158 163 169 170 172 173 177 180 183 187 192 199 201 205 213 214 218 221 222 223 224 226 228 229 233 236 237 238 246 252 253 255 268 269 270 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 329 330 335 338 345 353 355 358 361 363 366 374 380 382 386 387 394 397 398 401 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 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 91 94 97 98 101 102 103 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 150 152 153 154 155 158 163 169 170 172 173 177 180 183 187 192 199 201 205 213 214 218 221 222 223 224 226 228 229 233 236 237 238 246 252 253 255 268 269 270 274 278 280 283 286 291 294 295 296 297 305 311 312 315 316 320 324 326 327 329 330 335 338 345 353 355 358 361 363 366 374 380 382 386 387 394 397 398 401 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 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 91 94 97 98 102 103 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 150 152 153 154 155 158 163 169 170 172 173 177 180 183 187 192 199 201 205 213 214 218 221 222 223 224 226 228 229 233 236 237 238 246 252 253 255 268 269 270 274 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 335 338 345 353 355 358 361 363 366 374 380 382 386 387 394 397 398 401 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 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 91 94 97 98 102 103 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 150 151 152 153 154 155 158 163 169 170 172 173 177 180 183 187 192 199 201 205 213 214 218 221 222 223 224 226 228 229 233 236 237 238 246 252 253 255 268 269 270 274 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 335 338 345 353 355 358 361 363 366 374 380 386 387 394 397 398 401 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 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 91 94 97 98 102 103 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 150 151 152 153 154 155 158 163 169 170 172 173 177 180 183 187 192 196 199 205 213 214 218 221 222 223 224 226 228 229 233 236 237 238 246 252 253 255 268 269 270 274 278 280 283 286 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 335 338 345 353 355 358 361 363 366 374 380 386 387 394 397 398 401 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 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 91 94 97 98 102 103 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 150 151 152 153 154 155 158 163 169 170 172 173 177 180 183 187 192 196 199 205 213 214 218 221 222 223 224 226 228 229 233 236 237 238 246 252 253 255 268 269 270 274 278 279 280 283 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 335 338 345 353 355 358 361 363 366 374 380 386 387 394 397 398 401 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 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 91 94 97 98 102 103 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 150 151 152 153 154 155 158 163 169 170 172 173 177 180 181 183 187 192 196 199 205 213 214 218 221 222 223 224 226 228 229 233 236 237 238 252 253 255 268 269 270 274 278 279 280 283 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 335 338 345 353 355 358 361 363 366 374 380 386 387 394 397 398 401 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 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 90 91 94 97 98 102 103 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 150 151 152 153 154 155 158 163 169 170 172 173 177 180 181 183 187 192 196 199 205 213 214 218 221 222 223 224 226 229 233 236 237 238 252 253 255 268 269 270 274 278 279 280 283 291 294 295 296 297 305 306 311 312 315 316 320 324 326 327 329 330 335 338 345 353 355 358 361 363 366 374 380 386 387 394 397 398 401 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 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 90 91 94 97 98 102 103 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 150 151 152 153 154 155 158 163 169 170 172 173 177 180 181 183 187 192 196 199 205 213 214 218 221 222 223 224 226 229 233 236 237 238 252 253 255 268 269 270 274 278 279 280 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 338 345 353 355 358 361 363 366 374 380 386 387 394 397 398 401 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 459 463 464 474 475 477 479 481 482 483 487 488 489 496 497 503 506 a 1 2 5 7 9 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 90 94 97 98 102 103 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 150 151 152 153 154 155 158 163 169 170 172 173 177 180 181 183 187 192 196 199 205 213 214 218 221 222 223 224 226 229 233 236 237 238 252 253 255 268 269 270 274 278 279 280 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 338 345 353 355 358 361 363 366 374 380 386 387 394 397 398 401 403 405 408 410 413 419 420 422 425 428 431 432 433 435 440 451 456 457 459 463 464 469 474 475 477 479 481 482 483 487 488 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 90 94 97 98 102 103 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 150 151 152 153 154 155 158 163 169 170 172 173 177 180 181 183 187 192 196 199 205 213 214 218 221 222 223 224 226 229 233 236 237 238 252 253 255 268 269 270 274 278 279 280 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 338 345 353 355 358 361 363 366 374 380 386 387 394 397 398 401 403 405 408 410 413 419 420 422 425 428 429 431 432 433 435 440 451 456 457 459 463 464 469 474 475 477 479 481 482 483 487 488 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 103 105 108 113 114 122 123 125 127 130 131 133 135 136 141 145 146 147 150 151 152 153 154 155 158 163 169 170 172 173 177 180 181 183 187 192 196 199 205 213 214 218 221 222 223 224 226 229 233 236 237 238 252 253 255 268 269 270 274 278 279 280 291 294 295 296 297 300 305 306 311 312 315 316 320 324 326 327 329 330 335 338 345 353 355 358 361 363 366 374 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 428 429 431 432 433 435 440 451 456 457 459 463 464 469 474 475 477 479 481 482 483 487 488 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 103 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 180 181 183 187 192 196 199 205 213 214 218 221 222 223 224 226 229 233 236 237 238 252 253 255 268 269 270 274 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 366 374 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 428 429 431 432 433 435 440 451 456 457 459 463 464 469 474 475 477 479 481 482 483 487 488 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 103 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 180 181 183 187 192 196 199 205 213 218 221 222 223 224 226 229 233 236 237 238 252 253 255 268 269 270 274 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 366 374 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 428 429 431 432 433 435 440 451 456 457 459 463 464 469 474 475 477 479 481 482 483 487 488 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 103 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 180 181 183 187 192 196 199 205 213 218 221 222 223 224 226 229 233 236 237 238 252 253 255 266 268 269 270 274 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 374 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 428 429 431 432 433 435 440 451 456 457 459 463 464 469 474 475 477 479 481 482 483 487 488 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 150 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 252 253 255 266 268 269 270 274 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 374 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 428 429 431 432 433 435 440 451 456 457 459 463 464 469 474 475 477 479 481 482 483 487 488 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 150 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 252 253 255 266 268 269 270 271 274 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 374 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 428 429 431 432 433 435 440 451 456 457 459 463 464 469 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 150 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 252 253 255 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 374 380 386 387 394 397 398 401 403 405 408 410 413 419 422 425 428 429 431 432 433 435 440 451 456 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 150 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 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 451 456 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 150 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 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): 46.99 System time (seconds): 0.43 Percent of CPU this job got: 313% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:15.14 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): 607568 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 379581 Voluntary context switches: 19865 Involuntary context switches: 145 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 15:10:58 2023]