#BEGIN: [Tue Sep 26 03:15:21 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance040_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance040_graph005_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_instance040_graph005.col /benchmark/random_instance/random_instance040_graph005_01.dat c /benchmark/random_instance/random_instance040_graph005.col c /benchmark/random_instance/random_instance040_graph005_01.dat s 339 494 377 136 176 295 73 128 426 331 109 305 177 428 115 195 298 89 84 114 306 144 141 360 143 146 168 12 282 1 229 46 263 333 394 329 301 126 406 271 287 356 182 328 34 83 420 104 134 507 392 140 22 413 511 267 124 395 184 519 65 231 35 94 93 74 317 101 190 472 180 447 284 513 164 91 75 321 67 25 318 340 60 367 119 185 441 446 382 315 162 211 480 223 15 433 467 212 380 350 401 291 288 125 112 36 354 473 138 31 78 496 416 505 135 320 171 379 375 281 6 196 30 117 165 50 172 244 232 294 269 199 17 381 501 123 121 44 103 45 462 440 481 489 227 28 296 24 409 240 365 154 157 225 105 80 336 268 226 173 344 402 376 149 t 80 353 67 432 309 238 158 237 500 482 121 458 236 372 75 210 201 252 448 78 269 390 13 397 385 68 335 468 371 217 186 245 478 308 81 214 187 277 110 6 514 290 119 66 41 143 90 211 45 53 400 293 64 15 398 292 100 516 320 324 470 515 357 318 118 368 227 488 205 85 379 129 96 302 388 428 146 507 142 328 274 191 91 415 123 376 505 232 383 473 416 60 509 226 333 138 467 197 486 474 65 225 367 256 102 462 101 72 30 178 469 346 250 233 481 240 365 89 231 216 411 471 173 157 177 171 364 122 88 194 195 370 348 36 117 204 12 362 46 393 244 19 350 179 445 407 391 124 107 165 284 275 404 472 218 401 27 180 331 336 426 306 395 8 a YES a 1 6 12 15 17 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 433 440 441 446 447 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519 a 1 6 12 15 17 19 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 433 440 441 446 447 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519 a 1 6 12 15 17 19 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 211 212 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 433 440 441 446 447 462 467 468 472 473 480 481 489 494 496 501 505 507 511 513 519 a 1 6 12 15 17 19 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 211 212 223 225 226 227 229 231 232 240 244 256 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 433 440 441 446 447 462 467 468 472 473 480 481 489 494 496 501 505 507 511 513 519 a 1 6 12 15 17 19 22 24 25 28 30 31 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 180 182 184 185 187 190 195 196 211 212 223 225 226 227 229 231 232 240 244 256 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 433 440 441 446 447 462 467 468 472 473 480 481 489 494 496 501 505 507 511 513 519 a 1 6 12 15 17 19 22 24 25 28 30 31 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 180 182 184 185 187 190 195 196 201 211 212 223 225 226 227 229 231 232 240 244 256 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 433 440 441 446 447 462 467 468 472 473 480 481 489 494 496 501 505 507 511 513 a 1 6 12 15 17 19 22 24 25 28 30 31 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 180 182 184 185 187 190 195 196 201 211 212 223 225 226 227 229 231 232 240 244 256 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 432 440 441 446 447 462 467 468 472 473 480 481 489 494 496 501 505 507 511 513 a 1 6 12 15 17 19 22 24 25 28 30 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 90 91 93 94 101 103 104 105 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 180 182 184 185 187 190 195 196 201 211 212 223 225 226 227 229 231 232 240 244 256 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 432 440 441 446 447 462 467 468 472 473 480 481 489 494 496 501 505 507 511 513 a 1 6 12 15 17 19 22 24 25 28 30 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 89 90 91 93 94 101 103 104 105 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 180 182 184 185 187 190 195 196 201 211 212 223 225 226 227 229 231 232 240 244 256 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 432 440 441 446 447 462 467 468 472 473 480 481 489 494 496 501 505 507 511 513 a 1 6 12 15 17 19 22 24 25 28 30 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 89 90 91 93 94 101 103 104 105 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 180 182 184 185 187 190 195 196 201 211 212 223 225 226 227 229 231 232 240 244 256 263 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 432 440 441 446 447 462 467 468 472 473 480 481 489 494 496 501 505 507 509 511 513 a 1 6 12 15 17 19 22 25 28 30 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 89 90 91 93 94 101 103 104 105 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 180 182 184 185 187 190 195 196 201 211 212 223 225 226 227 229 231 232 240 244 256 263 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 432 440 441 446 447 462 467 468 472 473 480 481 489 494 496 501 505 507 509 511 513 516 a 1 6 12 15 17 19 22 25 28 30 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 89 90 91 93 94 101 103 104 105 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 180 182 184 185 187 190 195 196 201 211 212 223 225 226 227 229 231 232 240 244 256 263 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 356 360 365 367 375 376 377 379 380 381 382 388 392 394 395 401 402 406 409 413 416 420 426 428 432 440 441 446 447 462 467 468 472 473 480 481 494 496 501 505 507 509 511 513 516 a 1 6 12 15 17 19 22 25 28 30 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 89 90 91 93 94 101 103 104 105 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 180 182 184 185 187 190 195 196 201 211 212 223 225 226 227 229 231 232 240 244 256 263 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 356 360 365 367 375 376 377 379 380 381 382 388 392 394 395 401 402 406 409 413 416 420 426 428 432 440 441 446 448 462 467 468 472 473 480 481 494 496 501 505 507 509 511 513 516 a 1 6 12 15 17 19 22 25 28 30 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 89 90 91 93 94 101 103 104 105 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 201 211 212 223 225 226 227 229 231 232 240 244 256 263 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 356 360 365 367 375 376 377 379 380 381 382 388 392 394 395 401 402 406 409 413 416 420 426 428 432 440 441 446 448 462 467 468 472 473 480 481 494 496 501 505 507 509 511 516 a 1 6 12 15 17 19 22 25 28 30 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 89 90 91 93 94 101 103 104 105 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 201 211 212 223 225 226 227 229 231 232 240 244 256 263 268 269 271 281 282 284 287 288 291 293 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 360 365 367 375 376 377 379 380 381 382 388 392 394 395 401 402 406 409 413 416 420 426 428 432 440 441 446 448 462 467 468 472 473 480 481 494 496 501 505 507 509 511 516 a 1 6 12 15 17 19 22 25 28 30 35 36 44 45 46 50 60 65 67 72 73 74 75 78 80 83 89 90 91 93 94 101 103 104 105 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 201 211 212 223 225 226 227 229 231 232 240 244 256 263 268 269 271 281 282 284 287 288 291 293 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 360 365 367 375 376 377 379 380 381 382 388 392 394 395 401 402 406 409 413 416 420 426 428 432 440 441 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 516 a 1 6 12 15 17 19 22 25 28 30 35 36 44 45 46 50 60 65 67 72 73 74 75 78 80 83 89 90 91 93 94 101 103 104 105 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 201 211 212 223 225 226 227 229 231 232 240 244 256 263 268 269 271 281 282 284 287 288 291 293 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 340 344 346 350 354 360 365 367 375 376 377 379 380 381 382 388 392 394 395 401 402 406 409 413 416 420 426 428 432 440 441 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 514 516 a 1 6 12 15 17 19 22 25 28 30 35 36 44 45 46 50 60 65 67 72 73 74 75 78 80 83 89 90 91 93 94 101 103 104 105 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 201 211 212 223 225 226 227 229 231 232 240 244 256 263 268 269 271 281 282 284 287 288 291 293 294 295 296 298 301 306 315 317 318 320 321 328 329 331 333 336 340 344 346 350 354 360 365 367 372 375 376 377 379 380 381 382 388 392 394 395 401 402 406 409 413 416 420 426 428 432 440 441 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 514 516 a 1 6 12 15 17 19 22 25 27 28 30 35 36 44 45 46 50 60 65 67 72 73 74 75 78 80 83 89 90 91 93 94 101 103 104 105 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 201 211 212 223 225 226 227 229 231 232 240 244 256 263 268 269 271 281 282 284 287 288 291 293 294 295 296 301 306 315 317 318 320 321 328 329 331 333 336 340 344 346 350 354 360 365 367 372 375 376 377 379 380 381 382 388 392 394 395 401 402 406 409 413 416 420 426 428 432 440 441 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 514 516 a 1 6 12 15 17 19 22 25 27 28 30 35 36 44 45 46 50 60 65 67 72 73 74 75 78 80 83 89 90 91 93 94 101 103 104 105 107 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 201 211 212 223 225 226 227 229 231 232 240 244 256 263 268 269 271 281 282 284 287 288 291 293 294 295 296 301 306 315 317 318 320 321 328 329 331 333 336 340 344 346 350 354 360 365 367 372 375 376 377 379 380 381 382 388 392 394 395 401 402 406 409 413 416 420 426 428 432 440 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 514 516 a 1 6 12 15 17 19 22 25 27 28 30 35 36 44 45 46 50 60 65 67 72 73 74 75 78 80 83 89 90 91 93 94 101 103 104 105 107 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 201 211 212 223 225 226 227 229 231 232 240 244 256 263 268 269 271 281 282 284 287 288 291 293 294 295 296 301 306 315 317 318 320 321 328 329 331 333 336 340 344 346 350 354 360 365 367 372 375 376 379 380 381 382 383 388 392 394 395 401 402 406 409 413 416 420 426 428 432 440 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 514 516 a 1 6 12 15 17 19 22 25 27 28 30 35 36 44 45 46 50 60 65 67 72 73 74 75 78 80 83 89 90 91 93 94 101 103 104 105 107 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 201 211 212 223 225 226 227 229 231 232 240 244 256 263 268 269 271 281 282 284 287 288 291 293 294 295 296 301 306 315 317 318 320 321 328 329 331 333 336 340 346 350 354 360 365 367 372 375 376 379 380 381 382 383 388 392 394 395 401 402 404 406 409 413 416 420 426 428 432 440 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 514 516 a 1 6 12 15 17 19 22 25 27 28 30 35 36 44 45 46 50 60 65 67 72 73 74 75 78 80 83 89 90 91 93 94 101 103 104 105 107 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 201 211 212 223 225 226 227 229 231 232 240 244 256 263 268 269 271 281 282 284 287 288 291 293 294 295 296 301 306 308 315 317 318 320 321 328 329 331 333 336 340 346 350 354 360 365 367 372 375 376 379 380 381 382 383 388 392 394 395 401 402 404 406 409 413 416 426 428 432 440 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 514 516 a 1 6 12 15 17 19 22 25 27 28 30 35 36 44 45 46 50 60 65 67 72 73 74 75 78 80 83 89 90 91 93 94 101 103 104 105 107 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 201 211 223 225 226 227 229 231 232 240 244 256 263 268 269 271 281 282 284 287 288 291 293 294 295 296 301 306 308 309 315 317 318 320 321 328 329 331 333 336 340 346 350 354 360 365 367 372 375 376 379 380 381 382 383 388 392 394 395 401 402 404 406 409 413 416 426 428 432 440 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 514 516 a 1 6 12 15 17 19 22 25 27 28 30 35 36 44 45 46 50 60 65 67 72 73 74 75 78 80 83 89 90 91 93 94 101 103 104 105 107 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 201 211 214 223 225 226 227 229 231 232 240 244 256 263 268 269 271 281 282 284 287 288 291 293 294 295 296 301 306 308 309 315 317 318 320 321 328 329 331 333 336 340 346 350 354 360 365 367 372 375 376 379 381 382 383 388 392 394 395 401 402 404 406 409 413 416 426 428 432 440 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 514 516 a 1 6 8 12 15 17 19 22 25 27 28 30 35 36 44 45 46 50 60 65 67 72 74 75 78 80 83 89 90 91 93 94 101 103 104 105 107 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 201 211 214 223 225 226 227 229 231 232 240 244 256 263 268 269 271 281 282 284 287 288 291 293 294 295 296 301 306 308 309 315 317 318 320 321 328 329 331 333 336 340 346 350 354 360 365 367 372 375 376 379 381 382 383 388 392 394 395 401 402 404 406 409 413 416 426 428 432 440 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 514 516 a 1 6 8 12 15 17 19 22 25 27 28 30 35 36 44 45 46 50 60 65 67 72 74 75 78 80 83 89 90 91 93 94 101 103 104 105 107 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 197 201 211 214 223 225 226 227 229 231 232 240 244 256 263 268 269 271 281 282 284 287 288 291 293 294 295 296 301 306 308 309 315 317 318 320 321 328 329 331 333 336 340 346 350 354 360 365 367 372 375 376 379 381 382 383 388 392 394 395 401 402 404 406 409 413 416 426 428 432 440 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 514 516 a 1 6 8 12 15 17 19 22 25 27 28 30 35 36 44 45 46 50 60 65 67 72 74 75 78 80 83 89 90 91 93 94 101 103 104 105 107 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 197 201 211 214 223 225 226 227 229 231 232 240 244 256 263 268 269 271 275 281 282 284 287 288 291 293 295 296 301 306 308 309 315 317 318 320 321 328 329 331 333 336 340 346 350 354 360 365 367 372 375 376 379 381 382 383 388 392 394 395 401 402 404 406 409 413 416 426 428 432 440 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 514 516 a 1 6 8 12 15 17 19 22 25 27 28 30 35 36 44 45 46 50 60 65 67 72 74 75 78 80 83 89 90 91 93 94 101 103 104 105 107 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 162 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 197 201 211 214 223 225 226 227 229 231 232 240 244 256 263 268 269 275 281 282 284 287 288 291 293 295 296 301 306 308 309 315 317 318 320 321 328 329 331 333 336 340 346 350 354 360 365 367 372 375 376 379 381 382 383 388 390 392 394 395 401 402 404 406 409 413 416 426 428 432 440 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 514 516 a 1 6 8 12 15 17 19 22 25 27 28 30 35 36 44 45 46 50 60 65 67 72 74 75 78 80 83 89 90 91 93 94 101 103 104 105 107 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 197 201 211 214 223 225 226 227 229 231 232 240 244 256 263 268 269 275 281 282 284 287 288 291 293 295 296 301 306 308 309 315 317 318 320 321 328 329 331 333 336 340 346 350 354 360 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 401 402 404 406 409 413 416 426 428 432 440 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 514 516 a 1 6 8 12 15 17 19 22 25 27 28 30 35 36 44 45 46 50 60 65 67 72 74 75 78 80 83 89 90 91 93 94 101 103 104 105 107 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 165 168 171 172 173 176 177 178 180 184 185 187 190 195 196 197 201 211 214 223 225 226 227 229 231 232 240 244 256 263 268 269 275 281 282 284 287 288 291 293 295 296 301 306 308 309 315 317 318 320 321 328 329 331 333 336 340 346 350 354 360 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 401 402 404 406 407 409 413 416 426 428 432 440 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 514 516 a 1 6 8 12 15 17 19 22 25 27 28 30 35 36 44 45 46 50 60 65 67 72 74 75 78 80 83 89 90 91 93 94 101 103 104 105 107 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 165 168 171 172 173 176 177 178 180 184 185 187 190 195 196 197 201 211 214 223 225 226 227 231 232 240 244 256 263 268 269 275 281 282 284 287 288 291 292 293 295 296 301 306 308 309 315 317 318 320 321 328 329 331 333 336 340 346 350 354 360 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 401 402 404 406 407 409 413 416 426 428 432 440 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 514 516 a 1 6 8 12 15 17 19 22 25 27 28 30 35 36 44 45 46 50 60 65 67 72 74 75 78 80 83 89 90 91 93 94 101 103 104 105 107 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 165 168 171 172 173 176 177 178 180 184 185 187 190 195 196 197 201 211 214 223 225 226 227 231 232 238 240 244 256 263 268 269 275 281 282 284 287 291 292 293 295 296 301 306 308 309 315 317 318 320 321 328 329 331 333 336 340 346 350 354 360 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 401 402 404 406 407 409 413 416 426 428 432 440 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 514 516 a 1 6 8 12 15 17 19 22 25 27 28 30 35 36 44 45 46 50 60 65 67 72 74 75 78 80 83 89 90 91 93 94 101 103 104 105 107 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 165 168 171 172 173 176 177 178 180 184 185 187 190 195 196 197 201 211 214 223 225 226 227 231 232 238 240 244 256 263 268 269 275 281 282 284 287 291 292 293 295 296 301 306 308 309 315 317 318 320 321 324 328 329 331 333 336 340 346 350 354 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 401 402 404 406 407 409 413 416 426 428 432 440 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 514 516 a 1 6 8 12 15 17 19 22 27 28 30 35 36 44 45 46 50 60 65 67 72 74 75 78 80 83 89 90 91 93 94 101 103 104 105 107 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 165 168 171 172 173 176 177 178 180 184 185 187 190 195 196 197 201 211 214 217 223 225 226 227 231 232 238 240 244 256 263 268 269 275 281 282 284 287 291 292 293 295 296 301 306 308 309 315 317 318 320 321 324 328 329 331 333 336 340 346 350 354 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 401 402 404 406 407 409 413 416 426 428 432 440 446 448 462 467 468 472 473 481 494 496 501 505 507 509 511 514 516 a 1 6 8 12 15 17 19 22 27 28 30 35 36 44 45 46 50 60 65 67 72 74 75 78 80 83 89 90 91 93 94 101 103 104 105 107 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 165 168 171 172 173 176 177 178 180 184 185 187 190 195 196 197 201 211 214 217 223 225 226 227 231 232 238 240 244 256 263 268 269 275 281 282 284 287 291 292 293 295 296 301 306 308 309 315 317 318 320 321 324 328 329 331 333 336 340 346 350 354 364 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 401 402 404 406 407 409 413 416 426 428 432 440 446 448 462 467 468 472 473 481 494 496 501 505 507 509 514 516 a 1 6 8 12 15 17 19 22 27 28 30 35 36 44 45 46 50 60 65 67 72 75 78 80 83 89 90 91 93 94 101 103 104 105 107 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 165 168 171 172 173 176 177 178 180 184 185 187 190 195 196 197 201 211 214 217 223 225 226 227 231 232 237 238 240 244 256 263 268 269 275 281 282 284 287 291 292 293 295 296 301 306 308 309 315 317 318 320 321 324 328 329 331 333 336 340 346 350 354 364 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 401 402 404 406 407 409 413 416 426 428 432 440 446 448 462 467 468 472 473 481 494 496 501 505 507 509 514 516 a 1 6 8 12 15 17 19 22 27 28 30 35 36 44 45 46 50 60 65 67 72 75 78 80 83 89 90 91 93 94 101 103 104 107 109 112 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 157 165 168 171 172 173 176 177 178 180 184 185 186 187 190 195 196 197 201 211 214 217 223 225 226 227 231 232 237 238 240 244 256 263 268 269 275 281 282 284 287 291 292 293 295 296 301 306 308 309 315 317 318 320 321 324 328 329 331 333 336 340 346 350 354 364 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 401 402 404 406 407 409 413 416 426 428 432 440 446 448 462 467 468 472 473 481 494 496 501 505 507 509 514 516 a 1 6 8 12 15 17 19 22 27 28 30 35 36 44 45 46 50 60 65 67 72 75 78 80 83 89 90 91 93 94 101 103 104 107 109 112 115 117 119 121 123 124 125 126 134 135 136 138 140 141 143 144 146 149 157 165 168 171 172 173 176 177 178 180 184 185 186 187 190 195 196 197 201 211 214 217 223 225 226 227 231 232 237 238 240 244 256 263 268 269 275 281 282 284 287 291 292 293 295 296 301 306 308 309 315 317 318 320 321 324 328 329 331 333 336 340 346 350 354 364 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 401 402 404 406 407 409 413 416 426 428 432 440 445 446 448 462 467 468 472 473 481 494 496 501 505 507 509 514 516 a 1 6 8 12 15 17 19 22 27 28 30 35 36 44 45 46 50 60 65 67 72 75 78 80 83 89 90 91 93 101 103 104 107 109 112 115 117 119 121 123 124 125 126 134 135 136 138 140 141 143 144 146 149 157 165 168 171 172 173 176 177 178 180 184 185 186 187 190 195 196 197 201 211 214 217 223 225 226 227 231 232 237 238 240 244 256 263 268 269 275 281 282 284 287 291 292 293 295 296 301 306 308 309 315 317 318 320 321 324 328 329 331 333 336 340 346 350 354 364 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 398 401 402 404 406 407 409 413 416 426 428 432 440 445 446 448 462 467 468 472 473 481 494 496 501 505 507 509 514 516 a 1 6 8 12 15 17 19 22 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 89 90 91 93 101 103 104 107 109 110 112 115 117 119 121 123 124 125 126 134 135 136 138 140 141 143 144 146 149 157 165 168 171 172 173 176 177 178 180 184 185 186 187 190 195 196 197 201 211 214 217 223 225 226 227 231 232 237 238 240 244 256 263 268 269 275 281 282 284 287 291 292 293 295 296 301 306 308 309 315 317 318 320 321 324 328 329 331 333 336 340 346 350 354 364 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 398 401 402 404 406 407 409 413 416 426 428 432 440 445 446 448 462 467 468 472 473 481 494 496 501 505 507 509 514 516 a 1 6 8 12 15 17 19 22 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 89 90 91 93 101 103 104 107 109 110 112 115 117 119 121 123 124 125 126 134 135 136 138 140 141 143 146 149 157 165 168 171 172 173 176 177 178 180 184 185 186 187 190 195 196 197 201 211 214 217 223 225 226 227 231 232 237 238 240 244 250 256 263 268 269 275 281 282 284 287 291 292 293 295 296 301 306 308 309 315 317 318 320 321 324 328 329 331 333 336 340 346 350 354 364 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 398 401 402 404 406 407 409 413 416 426 428 432 440 445 446 448 462 467 468 472 473 481 494 496 501 505 507 509 514 516 a 1 6 8 12 15 17 19 22 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 89 90 91 93 101 102 103 104 107 109 110 112 115 117 119 121 123 124 125 126 134 135 136 138 140 141 143 146 149 157 165 168 171 172 173 176 177 178 180 184 185 186 187 190 195 196 197 201 211 214 217 223 225 226 227 231 232 237 238 240 244 250 256 263 268 269 275 281 282 284 287 291 292 293 295 296 301 306 308 309 315 317 318 320 321 324 328 331 333 336 340 346 350 354 364 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 398 401 402 404 406 407 409 413 416 426 428 432 440 445 446 448 462 467 468 472 473 481 494 496 501 505 507 509 514 516 a 1 6 8 12 15 17 19 22 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 89 90 91 93 101 102 103 104 107 109 110 112 115 117 119 121 123 124 125 126 134 135 136 138 140 141 143 146 149 157 165 168 171 172 173 176 177 178 180 184 185 186 187 190 195 196 197 201 204 211 214 217 223 225 226 227 231 232 237 238 240 244 250 256 263 268 269 275 281 284 287 291 292 293 295 296 301 306 308 309 315 317 318 320 321 324 328 331 333 336 340 346 350 354 364 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 398 401 402 404 406 407 409 413 416 426 428 432 440 445 446 448 462 467 468 472 473 481 494 496 501 505 507 509 514 516 a 1 6 8 12 15 17 19 22 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 89 90 91 93 101 102 103 104 107 110 112 115 117 119 121 123 124 125 126 134 135 136 138 140 141 143 146 149 157 165 168 171 172 173 176 177 178 180 184 185 186 187 190 195 196 197 201 204 211 214 217 223 225 226 227 231 232 237 238 240 244 250 256 263 268 269 275 281 284 287 291 292 293 295 296 301 306 308 309 315 317 318 320 321 324 328 331 333 336 340 346 350 354 362 364 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 398 401 402 404 406 407 409 413 416 426 428 432 440 445 446 448 462 467 468 472 473 481 494 496 501 505 507 509 514 516 a 1 6 8 12 15 17 19 22 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 89 90 91 93 101 102 103 104 107 110 112 115 117 119 121 123 124 125 126 134 135 136 138 140 141 143 146 149 157 165 168 171 172 173 176 177 178 180 184 185 186 187 190 195 196 197 201 204 211 214 217 223 225 226 227 231 232 237 238 240 244 250 252 256 263 268 269 275 281 284 291 292 293 295 296 301 306 308 309 315 317 318 320 321 324 328 331 333 336 340 346 350 354 362 364 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 398 401 402 404 406 407 409 413 416 426 428 432 440 445 446 448 462 467 468 472 473 481 494 496 501 505 507 509 514 516 a 1 6 8 12 15 17 19 22 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 89 90 91 93 101 102 103 104 107 110 112 115 117 119 121 123 124 125 126 134 135 136 138 140 141 143 146 157 165 168 171 172 173 176 177 178 180 184 185 186 187 190 195 196 197 201 204 211 214 217 223 225 226 227 231 232 237 238 240 244 250 252 256 263 268 269 275 281 284 291 292 293 295 296 301 306 308 309 315 317 318 320 321 324 328 331 333 335 336 340 346 350 354 362 364 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 398 401 402 404 406 407 409 413 416 426 428 432 440 445 446 448 462 467 468 472 473 481 494 496 501 505 507 509 514 516 a 1 6 8 12 15 17 19 22 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 89 90 91 93 101 102 103 104 107 110 112 115 117 119 121 123 124 125 126 134 135 136 138 140 141 143 146 157 165 168 171 172 173 176 177 178 180 184 185 186 187 190 195 196 197 201 204 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 263 268 269 275 281 284 291 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 354 362 364 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 398 401 402 404 406 407 409 413 416 426 428 432 440 445 446 448 462 467 468 472 473 481 494 496 501 505 507 509 514 516 a 1 6 8 12 15 17 19 22 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 85 89 90 91 93 101 102 103 104 107 110 112 115 117 119 121 123 124 125 126 134 135 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 190 195 196 197 201 204 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 263 268 269 275 281 284 291 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 354 362 364 365 367 372 375 376 379 381 382 383 388 390 392 393 394 395 398 401 402 404 406 407 409 413 416 426 428 432 440 445 446 448 462 467 468 472 473 481 494 496 501 505 507 509 514 516 a 1 6 8 12 15 17 19 22 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 85 89 90 91 93 101 102 103 104 107 110 112 115 117 119 121 123 124 125 126 134 135 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 190 191 195 196 197 201 204 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 263 268 269 275 281 284 291 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 354 362 364 365 367 372 376 379 381 382 383 388 390 392 393 394 395 398 401 402 404 406 407 409 413 416 426 428 432 440 445 446 448 462 467 468 472 473 481 494 496 501 505 507 509 514 516 a 1 6 8 12 15 17 19 22 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 85 89 90 91 93 101 102 103 104 107 110 112 115 117 119 121 123 124 125 126 134 135 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 190 191 195 196 197 201 204 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 263 268 269 275 281 284 291 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 354 362 364 365 367 372 376 379 381 382 383 388 390 392 393 394 395 398 401 402 404 406 407 409 416 426 428 432 440 445 446 448 462 467 468 472 473 481 494 496 500 501 505 507 509 514 516 a 6 8 12 15 17 19 22 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 85 89 90 91 93 101 102 103 104 107 110 112 115 117 119 121 123 124 125 126 134 135 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 190 191 195 196 197 201 204 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 263 268 269 274 275 281 284 291 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 354 362 364 365 367 372 376 379 381 382 383 388 390 392 393 394 395 398 401 402 404 406 407 409 416 426 428 432 440 445 446 448 462 467 468 472 473 481 494 496 500 501 505 507 509 514 516 a 6 8 12 15 17 19 22 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 85 89 90 91 93 101 102 103 104 107 110 112 115 117 119 121 123 124 125 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 190 191 195 196 197 201 204 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 263 268 269 274 275 281 284 291 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 354 362 364 365 367 372 376 379 381 382 383 388 390 392 393 394 395 398 401 402 404 406 407 409 415 416 426 428 432 440 445 446 448 462 467 468 472 473 481 494 496 500 501 505 507 509 514 516 a 6 8 12 15 17 19 22 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 85 89 90 91 93 101 102 103 104 107 110 112 115 117 119 121 123 124 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 190 191 195 196 197 201 204 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 263 268 269 274 275 281 284 291 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 354 362 364 365 367 370 372 376 379 381 382 383 388 390 392 393 394 395 398 401 402 404 406 407 409 415 416 426 428 432 440 445 446 448 462 467 468 472 473 481 494 496 500 501 505 507 509 514 516 a 6 8 12 15 17 19 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 85 89 90 91 93 101 102 103 104 107 110 112 115 117 119 121 123 124 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 190 191 195 196 197 201 204 210 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 263 268 269 274 275 281 284 291 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 354 362 364 365 367 370 372 376 379 381 382 383 388 390 392 393 394 395 398 401 402 404 406 407 409 415 416 426 428 432 440 445 446 448 462 467 468 472 473 481 494 496 500 501 505 507 509 514 516 a 6 8 12 15 17 19 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 85 89 90 91 93 101 102 103 104 107 110 112 115 117 119 121 123 124 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 190 191 195 196 197 201 204 210 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 263 268 269 274 275 281 284 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 354 357 362 364 365 367 370 372 376 379 381 382 383 388 390 392 393 394 395 398 401 402 404 406 407 409 415 416 426 428 432 440 445 446 448 462 467 468 472 473 481 494 496 500 501 505 507 509 514 516 a 6 8 12 15 17 19 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 85 89 90 91 93 101 102 103 104 107 110 112 115 117 119 121 123 124 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 190 191 194 195 196 197 201 204 210 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 263 268 269 274 275 281 284 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 354 357 362 364 365 367 370 372 376 379 381 382 383 388 390 392 393 395 398 401 402 404 406 407 409 415 416 426 428 432 440 445 446 448 462 467 468 472 473 481 494 496 500 501 505 507 509 514 516 a 6 8 12 15 17 19 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 85 89 90 91 93 101 102 103 104 107 110 112 115 117 119 121 123 124 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 190 191 194 195 196 197 201 204 210 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 263 268 269 274 275 281 284 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 354 357 362 364 365 367 370 372 376 379 381 382 383 388 390 392 393 395 397 398 401 402 404 406 407 409 415 416 426 428 432 440 445 448 462 467 468 472 473 481 494 496 500 501 505 507 509 514 516 a 6 8 12 15 19 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 85 89 90 91 93 101 102 103 104 107 110 112 115 117 119 121 123 124 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 190 191 194 195 196 197 201 204 210 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 263 268 269 274 275 281 284 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 354 357 362 364 365 367 370 372 376 379 381 382 383 388 390 392 393 395 397 398 401 402 404 406 407 409 415 416 426 428 432 440 445 448 462 467 468 470 472 473 481 494 496 500 501 505 507 509 514 516 a 6 8 12 15 19 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 85 89 90 91 93 101 102 103 104 107 110 112 115 117 119 121 123 124 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 190 191 194 195 196 197 201 204 210 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 281 284 290 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 354 357 362 364 365 367 370 372 376 379 381 382 383 388 390 392 393 395 397 398 401 402 404 406 407 409 415 416 426 428 432 440 445 448 462 467 468 470 472 473 481 494 496 500 501 505 507 509 514 516 a 6 8 12 15 19 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 85 89 90 91 93 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 191 194 195 196 197 201 204 210 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 281 284 290 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 354 357 362 364 365 367 370 372 376 379 381 382 383 388 390 392 393 395 397 398 401 402 404 406 407 409 415 416 426 428 432 440 445 448 462 467 468 470 472 473 481 494 496 500 501 505 507 509 514 516 a 6 8 12 15 19 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 85 89 90 91 93 100 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 191 194 195 196 197 201 204 210 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 281 284 290 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 357 362 364 365 367 370 372 376 379 381 382 383 388 390 392 393 395 397 398 401 402 404 406 407 409 415 416 426 428 432 440 445 448 462 467 468 470 472 473 481 494 496 500 501 505 507 509 514 516 a 6 8 12 15 19 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 85 89 90 91 93 100 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 191 194 195 196 197 201 204 210 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 357 362 364 365 367 370 372 376 379 381 382 383 388 390 392 393 395 397 398 400 401 402 404 406 407 409 415 416 426 428 432 440 445 448 462 467 468 470 472 473 481 494 496 500 501 505 507 509 514 516 a 6 8 12 15 19 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 83 85 89 90 91 93 100 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 191 194 195 196 197 201 204 210 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 357 362 364 365 367 370 372 376 379 381 383 388 390 392 393 395 397 398 400 401 402 404 406 407 409 415 416 426 428 432 440 445 448 462 467 468 470 472 473 481 486 494 496 500 501 505 507 509 514 516 a 6 8 12 15 19 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 85 89 90 91 93 100 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 191 194 195 196 197 201 204 210 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 357 362 364 365 367 370 372 376 379 381 383 388 390 391 392 393 395 397 398 400 401 402 404 406 407 409 415 416 426 428 432 440 445 448 462 467 468 470 472 473 481 486 494 496 500 501 505 507 509 514 516 a 6 8 12 15 19 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 191 194 195 196 197 201 204 210 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 357 362 364 365 367 370 372 376 379 381 383 388 390 391 392 393 395 397 398 400 401 402 404 406 407 409 415 416 426 428 432 440 445 448 462 467 468 470 472 473 481 486 494 496 500 505 507 509 514 516 a 6 8 12 15 19 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 191 194 195 196 197 201 204 210 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 353 357 362 364 365 367 370 372 376 379 381 383 388 390 391 392 393 395 397 398 400 401 402 404 406 407 415 416 426 428 432 440 445 448 462 467 468 470 472 473 481 486 494 496 500 505 507 509 514 516 a 6 8 12 13 15 19 27 28 30 36 44 45 46 50 60 65 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 191 194 195 196 197 201 204 210 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 353 357 362 364 365 367 370 372 376 379 381 383 388 390 391 393 395 397 398 400 401 402 404 406 407 415 416 426 428 432 440 445 448 462 467 468 470 472 473 481 486 494 496 500 505 507 509 514 516 a 6 8 12 13 15 19 27 28 30 36 45 46 50 60 65 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 191 194 195 196 197 201 204 210 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 353 357 362 364 365 367 370 372 376 379 381 383 388 390 391 393 395 397 398 400 401 402 404 406 407 415 416 426 428 432 440 445 448 462 467 468 470 472 473 474 481 486 494 496 500 505 507 509 514 516 a 6 8 12 13 15 19 27 28 30 36 45 46 50 60 65 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 191 194 195 197 201 204 210 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 295 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 353 357 362 364 365 367 368 370 372 376 379 381 383 388 390 391 393 395 397 398 400 401 402 404 406 407 415 416 426 428 432 440 445 448 462 467 468 470 472 473 474 481 486 494 496 500 505 507 509 514 516 a 6 8 12 13 15 19 27 28 30 36 45 46 50 53 60 65 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 180 184 185 186 187 191 194 195 197 201 204 210 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 353 357 362 364 365 367 368 370 372 376 379 381 383 388 390 391 393 395 397 398 400 401 402 404 406 407 415 416 426 428 432 440 445 448 462 467 468 470 472 473 474 481 486 494 496 500 505 507 509 514 516 a 6 8 12 13 15 19 27 28 30 36 45 46 50 53 60 65 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 134 136 138 140 141 143 146 157 165 168 171 173 176 177 178 179 180 184 185 186 187 191 194 195 197 201 204 210 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 353 357 362 364 365 367 368 370 372 376 379 381 383 388 390 391 393 395 397 398 400 401 402 404 406 407 415 416 426 428 432 440 445 448 462 467 468 470 472 473 474 481 486 494 500 505 507 509 514 516 a 6 8 12 13 15 19 27 28 30 36 45 46 50 53 60 65 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 129 134 136 138 140 141 143 146 157 165 171 173 176 177 178 179 180 184 185 186 187 191 194 195 197 201 204 210 211 214 216 217 223 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 353 357 362 364 365 367 368 370 372 376 379 381 383 388 390 391 393 395 397 398 400 401 402 404 406 407 415 416 426 428 432 440 445 448 462 467 468 470 472 473 474 481 486 494 500 505 507 509 514 516 a 6 8 12 13 15 19 27 28 30 36 45 46 50 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 129 134 136 138 140 141 143 146 157 165 171 173 176 177 178 179 180 184 185 186 187 191 194 195 197 201 204 210 211 214 216 217 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 353 357 362 364 365 367 368 370 372 376 379 381 383 388 390 391 393 395 397 398 400 401 402 404 406 407 415 416 426 428 432 440 445 448 462 467 468 470 472 473 474 481 486 494 500 505 507 509 514 516 a 6 8 12 13 15 19 27 28 30 36 45 46 50 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 129 134 136 138 141 143 146 157 165 171 173 176 177 178 179 180 184 185 186 187 191 194 195 197 201 204 210 211 214 216 217 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 353 357 362 364 365 367 368 370 371 372 376 379 381 383 388 390 391 393 395 397 398 400 401 402 404 406 407 415 416 426 428 432 440 445 448 462 467 468 470 472 473 474 481 486 494 500 505 507 509 514 516 a 6 8 12 13 15 19 27 28 30 36 45 46 50 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 129 134 136 138 141 142 143 146 157 165 171 173 176 177 178 179 180 185 186 187 191 194 195 197 201 204 210 211 214 216 217 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 296 301 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 353 357 362 364 365 367 368 370 371 372 376 379 381 383 388 390 391 393 395 397 398 400 401 402 404 406 407 415 416 426 428 432 440 445 448 462 467 468 470 472 473 474 481 486 494 500 505 507 509 514 516 a 6 8 12 13 15 19 27 28 30 36 45 46 50 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 129 134 136 138 141 142 143 146 157 165 171 173 176 177 178 179 180 185 186 187 191 194 195 197 201 204 210 211 214 216 217 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 296 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 353 357 362 364 365 367 368 370 371 372 376 379 381 383 388 390 391 393 395 397 398 400 401 402 404 406 407 415 416 426 428 432 440 445 448 462 467 468 469 470 472 473 474 481 486 494 500 505 507 509 514 516 a 6 8 12 13 15 19 27 30 36 45 46 50 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 129 134 136 138 141 142 143 146 157 165 171 173 176 177 178 179 180 185 186 187 191 194 195 197 201 204 210 211 214 216 217 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 296 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 353 357 362 364 365 367 368 370 371 372 376 379 381 383 388 390 391 393 395 397 398 400 401 402 404 406 407 415 416 426 428 432 440 445 448 462 467 468 469 470 472 473 474 481 482 486 494 500 505 507 509 514 516 a 6 8 12 13 15 19 27 30 36 45 46 50 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 129 134 136 138 141 142 143 146 157 158 165 171 173 176 177 178 179 180 185 186 187 191 194 195 197 201 204 210 211 214 216 217 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 296 306 308 309 317 318 320 324 328 331 333 335 336 340 346 350 353 357 362 364 365 367 368 370 371 372 376 379 381 383 388 390 391 393 395 397 398 400 401 402 404 406 407 415 416 426 428 432 440 445 448 462 467 468 469 470 472 473 474 481 482 486 494 500 505 507 509 514 516 a 6 8 12 13 15 19 27 30 36 45 46 50 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 107 110 112 115 117 118 119 121 123 124 126 129 134 136 138 141 142 143 146 157 158 165 171 173 176 177 178 179 180 185 186 187 191 194 195 197 201 204 210 211 214 216 217 225 226 227 231 232 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 296 306 308 309 317 318 320 324 328 331 333 335 336 340 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 388 390 391 393 395 397 398 400 401 402 404 406 407 415 416 426 428 432 440 445 448 462 467 468 469 470 472 473 474 478 481 482 486 494 500 505 507 509 514 516 a 6 8 12 13 15 19 27 30 36 45 46 50 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 107 110 115 117 118 119 121 123 124 126 129 134 136 138 141 142 143 146 157 158 165 171 173 176 177 178 179 180 185 186 187 191 194 195 197 201 204 210 211 214 216 217 225 226 227 231 232 236 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 296 306 308 309 317 318 320 324 328 331 333 335 336 340 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 388 390 391 393 395 397 398 400 401 402 404 406 407 415 416 426 428 432 440 445 448 462 467 468 469 470 472 473 474 478 481 482 486 494 500 505 507 509 514 516 a 6 8 12 13 15 19 27 30 36 45 46 50 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 107 110 115 117 118 119 121 123 124 126 129 134 136 138 141 142 143 146 157 158 165 171 173 176 177 178 179 180 186 187 191 194 195 197 201 204 210 211 214 216 217 225 226 227 231 232 236 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 296 306 308 309 317 318 320 324 328 331 333 335 336 340 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 388 390 391 393 395 397 398 400 401 402 404 406 407 415 416 426 428 432 440 445 448 458 462 467 468 469 470 472 473 474 478 481 482 486 494 500 505 507 509 514 516 a 6 8 12 13 15 19 27 30 36 45 46 50 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 103 104 107 110 115 117 118 119 121 123 124 126 129 134 136 138 141 142 143 146 157 158 165 171 173 176 177 178 179 180 186 187 191 194 195 197 201 204 210 211 214 216 217 225 226 227 231 232 236 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 296 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 388 390 391 393 395 397 398 400 401 402 404 406 407 415 416 426 428 432 440 445 448 458 462 467 468 469 470 472 473 474 478 481 482 486 494 500 505 507 509 514 516 a 6 8 12 13 15 19 27 30 36 45 46 50 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 103 104 107 110 115 117 118 119 121 122 123 124 126 129 134 136 138 141 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 210 211 214 216 217 225 226 227 231 232 236 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 296 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 388 390 391 393 395 397 398 400 401 402 404 406 407 415 416 426 428 432 440 445 448 458 462 467 468 469 470 472 473 474 478 481 482 486 494 500 505 507 509 514 516 a 6 8 12 13 15 19 27 30 36 45 46 50 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 103 104 107 110 115 117 118 119 121 122 123 124 129 134 136 138 141 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 210 211 214 216 217 218 225 226 227 231 232 236 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 296 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 388 390 391 393 395 397 398 400 401 402 404 406 407 415 416 426 428 432 440 445 448 458 462 467 468 469 470 472 473 474 478 481 482 486 494 500 505 507 509 514 516 a 6 8 12 13 15 19 27 30 36 45 46 50 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 103 104 107 110 115 117 118 119 121 122 123 124 129 134 138 141 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 210 211 214 216 217 218 225 226 227 231 232 236 237 238 240 244 250 252 256 268 269 274 275 284 290 292 293 296 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 388 390 391 393 395 397 398 400 401 402 404 406 407 411 415 416 426 428 432 440 445 448 458 462 467 468 469 470 472 473 474 478 481 482 486 494 500 505 507 509 514 516 a 6 8 12 13 15 19 27 30 36 45 46 50 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 103 104 107 110 115 117 118 119 121 122 123 124 129 134 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 210 211 214 216 217 218 225 226 227 231 232 236 237 238 240 244 250 252 256 268 269 274 275 277 284 290 292 293 296 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 388 390 391 393 395 397 398 400 401 402 404 406 407 411 415 416 426 428 432 440 445 448 458 462 467 468 469 470 472 473 474 478 481 482 486 494 500 505 507 509 514 516 a 6 8 12 13 15 19 27 30 36 45 46 50 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 103 104 107 110 115 117 118 119 121 122 123 124 129 134 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 210 211 214 216 217 218 225 226 227 231 232 236 237 238 240 244 250 252 256 268 269 274 275 277 284 290 292 293 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 388 390 391 393 395 397 398 400 401 402 404 406 407 411 415 416 426 428 432 440 445 448 458 462 467 468 469 470 472 473 474 478 481 482 486 494 500 505 507 509 514 515 516 a 6 8 12 13 15 19 27 30 36 45 46 50 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 103 107 110 115 117 118 119 121 122 123 124 129 134 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 210 211 214 216 217 218 225 226 227 231 232 236 237 238 240 244 250 252 256 268 269 274 275 277 284 290 292 293 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 388 390 391 393 395 397 398 400 401 402 404 406 407 411 415 416 426 428 432 440 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 494 500 505 507 509 514 515 516 a 6 8 12 13 15 19 27 30 36 45 46 50 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 107 110 115 117 118 119 121 122 123 124 129 134 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 210 211 214 216 217 218 225 226 227 231 232 236 237 238 240 244 245 250 252 256 268 269 274 275 277 284 290 292 293 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 388 390 391 393 395 397 398 400 401 402 404 406 407 411 415 416 426 428 432 440 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 494 500 505 507 509 514 515 516 a 6 8 12 13 15 19 27 30 36 45 46 50 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 107 110 117 118 119 121 122 123 124 129 134 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 236 237 238 240 244 245 250 252 256 268 269 274 275 277 284 290 292 293 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 388 390 391 393 395 397 398 400 401 402 404 406 407 411 415 416 426 428 432 440 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 494 500 505 507 509 514 515 516 a 6 8 12 13 15 19 27 30 36 45 46 50 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 107 110 117 118 119 121 122 123 124 129 134 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 236 237 238 240 244 245 250 252 256 268 269 274 275 277 284 290 292 293 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 385 388 390 391 393 395 397 398 400 401 402 404 406 407 411 415 416 426 428 432 440 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 19 27 30 36 45 46 53 60 65 66 67 72 75 78 80 81 85 88 89 90 91 93 96 100 101 102 107 110 117 118 119 121 122 123 124 129 134 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 236 237 238 240 244 245 250 252 256 268 269 274 275 277 284 290 292 293 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 385 388 390 391 393 395 397 398 400 401 402 404 406 407 411 415 416 426 428 432 440 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 19 27 30 36 45 46 53 60 64 65 66 67 72 75 78 80 81 85 88 89 90 91 93 96 100 101 102 107 110 117 118 119 121 122 123 124 129 134 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 236 237 238 240 244 245 250 252 256 268 269 274 275 277 284 290 292 293 306 308 309 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 385 388 390 391 393 395 397 398 400 401 402 404 406 407 411 415 416 426 428 432 440 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 19 27 30 36 41 45 46 53 60 64 65 66 67 72 75 78 80 81 85 88 89 90 91 93 96 100 101 102 107 110 117 118 119 121 122 123 124 129 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 236 237 238 240 244 245 250 252 256 268 269 274 275 277 284 290 292 293 306 308 309 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 385 388 390 391 393 395 397 398 400 401 402 404 406 407 411 415 416 426 428 432 440 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 19 27 30 36 41 45 46 53 60 64 65 66 67 72 75 78 80 81 85 88 89 90 91 93 96 100 101 102 107 110 117 118 119 121 122 123 124 129 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 233 236 237 238 240 244 245 250 252 256 268 269 274 275 277 284 290 292 293 306 308 309 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 406 407 411 415 416 426 428 432 440 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 19 27 30 36 41 45 46 53 60 64 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 107 110 117 118 119 121 122 123 124 129 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 233 236 237 238 240 244 245 250 252 256 268 269 274 275 277 284 290 292 293 306 308 309 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 406 407 411 415 416 426 428 432 440 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 19 27 30 36 41 45 46 53 60 64 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 107 110 117 118 119 121 122 123 124 129 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 233 236 237 238 240 244 245 250 252 256 268 269 274 275 277 284 290 292 293 306 308 309 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 407 411 415 416 426 428 432 440 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 488 500 505 507 509 514 515 516 a 6 8 12 13 15 19 27 30 36 41 45 46 53 60 64 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 107 110 117 118 119 121 122 123 124 129 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 233 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 293 306 308 309 318 320 324 328 331 333 335 336 346 348 350 353 357 362 364 365 367 368 370 371 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 407 411 415 416 426 428 432 440 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 488 500 505 507 509 514 515 516 a 6 8 12 13 15 19 27 30 36 41 45 46 53 60 64 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 107 110 117 118 119 121 122 123 124 129 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 233 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 293 302 306 308 309 318 320 324 328 331 333 335 336 346 348 350 353 357 362 364 365 367 368 370 371 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 407 411 415 416 426 428 432 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 488 500 505 507 509 514 515 516 c Step: 99 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance040_graph005.col /benchmark/random_instance/random_instance040_graph005_01.dat" User time (seconds): 42.63 System time (seconds): 0.63 Percent of CPU this job got: 277% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:15.58 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): 545988 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 375532 Voluntary context switches: 14264 Involuntary context switches: 130 Swaps: 0 File system inputs: 0 File system outputs: 816 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:15:37 2023]