#BEGIN: [Mon Sep 4 12:42:30 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance040_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance040_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest /benchmark/random_instance/random_instance040_graph003.col /benchmark/random_instance/random_instance040_graph003_01.dat c /benchmark/random_instance/random_instance040_graph003.col c /benchmark/random_instance/random_instance040_graph003_01.dat s 172 280 122 440 470 499 353 20 90 188 187 357 398 297 328 112 338 239 264 425 52 433 192 268 220 435 120 314 490 211 467 506 508 344 431 40 303 358 74 234 326 439 354 485 251 363 110 178 171 166 320 194 447 25 225 512 514 377 50 397 504 422 62 82 519 167 223 260 246 491 155 515 121 186 517 11 370 72 145 65 286 500 170 403 86 138 408 481 73 242 32 424 300 281 24 364 127 350 449 33 405 432 258 256 272 410 247 453 484 418 391 124 448 443 47 429 174 148 444 233 276 266 257 77 477 334 332 252 288 163 407 359 308 237 111 282 310 383 46 450 137 231 417 208 151 412 342 259 154 294 309 102 109 341 456 168 147 316 469 99 t 143 40 135 12 461 293 269 268 441 129 342 167 184 448 14 497 105 96 122 453 164 499 520 406 320 468 445 155 284 395 73 296 200 103 2 10 70 462 311 153 316 463 318 392 292 146 29 470 364 245 291 409 166 95 283 126 451 494 78 434 172 57 71 368 142 298 86 488 419 259 179 496 282 302 90 106 53 102 119 510 290 133 297 158 421 339 477 15 479 439 383 11 149 511 156 466 424 366 218 483 212 312 277 60 358 93 178 475 131 246 59 232 303 130 307 74 376 154 412 396 503 377 173 363 23 425 75 264 346 413 226 170 61 294 238 26 8 426 372 478 89 176 393 88 325 304 111 215 305 58 492 62 56 115 313 405 276 185 99 207 a YES a 11 20 24 25 32 33 40 46 47 50 52 62 65 72 73 74 77 82 86 90 99 102 109 110 111 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 260 264 266 268 272 276 280 281 282 286 288 294 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 370 377 383 391 397 398 403 405 407 408 410 412 417 418 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 515 517 519 a 11 20 24 25 32 33 40 46 47 50 52 62 65 72 73 74 77 82 86 90 99 102 103 109 110 111 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 260 264 266 268 272 276 280 281 282 286 288 294 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 370 377 383 391 397 398 403 405 407 408 410 412 417 418 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 517 519 a 11 20 24 25 32 33 40 46 47 50 52 62 65 72 73 74 75 77 82 86 90 99 102 103 109 110 111 112 120 121 122 124 127 137 138 145 147 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 260 264 266 268 272 276 280 281 282 286 288 294 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 370 377 383 391 397 398 403 405 407 408 410 412 417 418 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 517 519 a 11 20 24 25 32 33 40 46 47 50 52 62 65 72 73 74 75 77 82 86 90 99 102 103 109 110 111 120 121 122 124 127 137 138 145 147 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 260 264 266 268 272 276 280 281 282 286 288 294 296 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 370 377 383 391 397 398 403 405 407 408 410 412 417 418 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 517 519 a 2 11 20 24 25 32 33 40 46 47 50 52 62 65 72 73 74 75 77 82 86 90 99 102 103 109 110 111 120 121 122 124 127 137 138 145 147 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 223 225 231 233 234 237 239 242 246 247 251 252 257 258 259 260 264 266 268 272 276 280 281 282 286 288 294 296 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 370 377 383 391 397 398 403 405 407 408 410 412 417 418 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 517 519 a 2 11 12 20 24 25 32 33 40 46 47 50 52 62 65 72 73 74 75 77 82 86 90 99 102 103 109 110 111 120 121 122 124 127 137 138 145 147 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 223 225 231 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 286 288 294 296 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 370 377 383 391 397 398 403 405 407 408 410 412 417 418 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 517 519 a 2 11 12 20 24 25 32 33 40 46 47 50 52 62 65 70 72 73 74 75 77 82 86 90 99 102 103 109 110 111 120 121 122 124 127 137 138 145 147 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 225 231 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 286 288 294 296 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 370 377 383 391 397 398 403 405 407 408 410 412 417 418 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 517 519 a 2 11 12 20 24 25 32 33 40 46 47 50 52 62 65 70 72 73 74 75 77 82 86 90 99 102 103 109 110 111 120 121 122 124 127 137 138 145 147 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 225 231 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 286 288 294 296 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 370 377 383 391 396 397 398 403 405 407 408 410 412 417 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 517 519 a 2 11 12 20 24 25 32 33 40 46 47 50 52 62 65 70 72 73 74 75 77 82 86 90 99 102 103 109 110 111 120 121 122 124 127 137 138 145 147 151 153 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 225 231 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 286 288 294 296 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 370 377 383 391 396 397 398 403 405 407 408 410 412 417 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 519 a 2 11 12 20 24 25 32 33 40 46 47 50 52 62 65 70 72 73 74 75 77 82 86 90 99 102 103 109 110 111 120 121 122 124 127 137 138 145 147 151 153 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 225 226 231 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 294 296 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 370 377 383 391 396 397 398 403 405 407 408 410 412 417 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 519 a 2 11 12 20 24 25 33 40 46 47 50 52 62 65 70 72 73 74 75 77 82 86 90 99 102 103 109 110 111 120 121 122 124 127 137 138 145 147 151 153 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 225 226 231 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 294 296 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 370 377 383 391 396 397 398 403 405 407 408 410 412 417 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 456 467 469 470 477 481 484 485 490 491 496 499 500 504 506 508 512 514 519 a 2 11 12 20 24 25 33 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 90 99 102 103 109 110 111 120 121 122 124 127 137 138 145 147 151 153 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 225 226 231 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 294 296 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 370 377 383 391 396 397 398 403 405 407 408 410 412 417 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 456 467 469 470 477 481 484 485 490 491 496 499 500 504 506 508 512 514 519 a 2 11 12 20 24 25 33 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 90 99 102 103 109 110 111 120 121 122 124 127 137 138 145 147 151 153 154 155 163 166 167 168 170 171 172 174 178 186 187 188 194 208 211 220 225 226 231 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 293 294 296 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 370 377 383 391 396 397 398 403 405 407 408 410 412 417 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 456 467 469 470 477 481 484 485 490 491 496 499 500 504 506 508 512 514 519 a 2 11 12 20 24 25 33 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 90 99 102 103 105 109 110 111 120 121 122 124 127 137 138 145 147 151 153 154 155 163 166 167 168 170 171 172 174 178 186 187 188 194 208 211 220 225 226 231 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 293 294 296 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 370 377 383 391 396 397 398 403 405 407 408 410 412 417 422 424 425 429 431 432 433 435 439 440 444 447 448 449 450 453 456 467 469 470 477 481 484 485 490 491 496 499 500 504 506 508 512 514 519 a 2 11 12 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 90 99 102 103 105 109 110 111 120 121 122 124 127 137 138 145 147 151 153 154 155 163 166 167 168 170 171 172 174 178 186 187 188 194 208 211 220 225 226 231 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 293 294 296 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 391 396 397 398 403 405 407 408 410 412 417 422 424 425 429 431 432 433 435 439 440 444 447 448 449 450 453 456 467 469 470 477 481 484 485 490 491 496 499 500 504 506 508 512 514 519 a 2 11 12 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 90 99 102 103 105 109 110 111 120 121 122 124 127 137 138 145 147 151 153 154 155 163 166 167 168 170 171 172 174 178 186 187 188 194 208 211 220 225 226 231 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 293 294 296 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 391 396 397 398 403 405 407 408 410 412 417 422 424 425 431 432 433 435 439 440 444 447 448 449 450 453 456 467 468 469 470 477 481 484 485 490 491 496 499 500 504 506 508 512 514 519 a 2 11 12 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 90 99 102 103 105 109 110 111 120 121 122 124 127 137 138 145 147 151 153 154 155 163 166 167 168 170 171 172 174 178 186 187 188 194 208 211 220 225 226 231 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 293 294 296 297 300 303 308 309 310 314 316 320 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 396 397 398 403 405 407 408 410 412 417 422 424 425 431 432 433 435 439 440 444 447 448 449 450 453 456 467 468 469 470 477 481 484 485 490 491 496 499 500 504 506 508 512 514 519 a 2 11 12 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 90 99 102 103 105 109 110 111 120 121 122 124 127 137 138 145 147 151 153 154 155 163 166 167 168 170 171 172 174 178 186 187 188 194 208 211 220 225 226 231 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 293 294 296 297 300 303 308 309 310 314 316 320 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 396 398 403 405 407 408 410 412 417 422 424 425 431 432 433 435 439 440 444 447 448 449 450 453 456 467 468 469 470 477 481 484 485 490 491 496 499 500 504 506 508 511 512 514 519 a 2 11 12 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 90 99 102 103 105 109 110 111 120 121 122 124 127 137 138 145 146 147 151 153 154 155 163 166 167 168 170 171 172 174 178 186 187 188 194 208 211 220 225 226 231 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 293 294 296 297 300 303 308 309 310 314 316 320 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 396 398 403 405 407 408 412 417 422 424 425 431 432 433 435 439 440 444 447 448 449 450 453 456 467 468 469 470 477 481 484 485 490 491 496 499 500 504 506 508 511 512 514 519 a 2 11 12 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 90 99 102 103 105 109 110 111 120 121 122 124 127 137 138 145 146 147 151 153 154 155 163 166 167 168 170 171 172 174 178 186 187 188 194 208 211 220 225 226 231 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 293 294 296 297 300 303 308 309 310 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 396 398 403 405 407 408 412 417 422 424 425 431 432 433 435 439 440 444 447 448 449 450 453 456 467 468 469 470 477 481 484 490 491 496 499 500 504 506 508 511 512 514 519 a 2 11 12 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 90 99 102 103 105 109 110 111 120 121 122 124 127 137 138 145 146 147 151 153 154 155 163 164 166 167 168 170 171 172 174 178 186 187 188 194 208 211 220 225 226 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 293 294 296 297 300 303 308 309 310 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 396 398 403 405 407 408 412 417 422 424 425 431 432 433 435 439 440 444 447 448 449 450 453 456 467 468 469 470 477 481 484 490 491 496 499 500 504 506 508 511 512 514 519 a 2 11 12 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 90 99 102 103 105 109 110 111 119 120 121 122 124 127 137 138 145 146 147 151 153 154 155 163 164 166 167 168 170 171 172 174 178 186 187 188 194 208 211 220 225 226 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 293 294 296 297 300 303 308 310 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 396 398 403 405 407 408 412 417 422 424 425 431 432 433 435 439 440 444 447 448 449 450 453 456 467 468 469 470 477 481 484 490 491 496 499 500 504 506 508 511 512 514 519 a 2 11 12 15 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 90 99 102 103 105 109 110 111 119 120 121 122 124 127 137 138 145 146 147 151 153 154 155 163 164 166 167 168 170 171 172 174 178 186 187 188 194 208 211 220 225 226 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 293 294 296 297 300 303 308 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 396 398 403 405 407 408 412 417 422 424 425 431 432 433 435 439 440 444 447 448 449 450 453 456 467 468 469 470 477 481 484 490 491 496 499 500 504 506 508 511 512 514 519 a 2 11 12 15 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 90 99 102 103 105 109 110 111 119 120 121 122 124 127 137 138 145 146 147 151 153 154 155 163 164 166 167 168 170 171 172 174 178 186 187 188 194 208 211 220 225 226 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 293 294 296 297 300 303 308 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 396 398 403 405 407 408 412 417 422 424 425 431 432 433 435 439 440 441 444 447 448 449 450 453 456 467 468 469 470 477 484 490 491 496 499 500 504 506 508 511 512 514 519 a 2 11 12 15 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 90 99 102 103 105 109 110 111 119 120 121 122 124 127 137 138 145 146 147 151 153 154 155 163 164 166 167 168 170 171 172 174 178 186 187 188 194 208 211 220 225 226 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 293 294 296 297 300 303 308 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 396 398 403 405 407 408 412 417 422 424 425 431 432 433 435 439 440 441 444 448 449 450 453 456 467 468 469 470 475 477 484 490 491 496 499 500 504 506 508 511 512 514 519 a 2 11 12 15 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 90 99 102 103 105 109 110 111 119 120 121 122 124 127 137 138 145 146 147 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 186 187 188 194 208 211 220 225 226 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 293 294 296 297 300 303 308 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 396 398 403 405 407 412 417 422 424 425 431 432 433 435 439 440 441 444 448 449 450 453 456 467 468 469 470 475 477 484 490 491 496 499 500 504 506 508 511 512 514 519 a 2 11 12 15 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 124 127 137 138 145 146 147 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 186 187 188 194 208 211 220 225 226 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 293 294 296 297 300 303 308 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 396 398 403 405 407 412 417 422 424 425 432 433 435 439 440 441 444 448 449 450 453 456 467 468 469 470 475 477 484 490 491 496 499 500 504 506 508 511 512 514 519 a 2 11 12 15 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 124 127 137 138 145 146 147 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 186 188 194 207 208 211 220 225 226 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 293 294 296 297 300 303 308 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 396 398 403 405 407 412 417 422 424 425 432 433 435 439 440 441 444 448 449 450 453 456 467 468 469 470 475 477 484 490 491 496 499 500 504 506 508 511 512 514 519 a 2 11 12 15 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 124 127 137 138 145 146 147 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 186 188 194 207 208 211 220 225 226 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 293 294 296 297 300 303 305 308 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 396 398 403 405 407 412 417 422 424 425 432 433 435 439 440 441 444 448 449 450 453 456 467 468 469 470 475 477 484 490 491 496 499 500 504 506 508 511 512 514 a 2 11 12 15 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 124 127 137 138 145 146 147 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 186 188 194 207 208 211 220 225 226 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 293 294 296 297 300 303 305 308 312 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 396 403 405 407 412 417 422 424 425 432 433 435 439 440 441 444 448 449 450 453 456 467 468 469 470 475 477 484 490 491 496 499 500 504 506 508 511 512 514 a 2 11 12 15 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 124 127 137 138 145 146 147 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 186 188 194 207 208 211 220 225 226 233 234 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 293 294 296 297 300 303 305 308 312 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 392 396 403 405 407 412 417 422 424 425 432 433 435 439 440 441 444 448 449 450 453 456 467 468 469 470 475 477 484 490 496 499 500 504 506 508 511 512 514 a 2 11 12 15 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 124 127 137 138 145 146 147 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 186 188 194 207 208 211 220 225 226 233 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 290 293 294 296 297 300 303 305 308 312 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 392 396 403 405 407 412 417 422 424 425 432 433 435 439 440 441 444 448 449 450 453 456 467 468 469 470 475 477 484 490 496 499 500 504 506 508 511 512 514 a 2 11 12 15 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 186 188 194 207 208 211 220 225 226 233 237 239 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 290 293 294 296 297 300 303 305 308 312 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 392 396 403 405 407 412 413 417 422 424 425 432 433 435 439 440 441 444 448 449 450 453 456 467 468 469 470 475 477 484 490 496 499 500 504 506 508 511 512 514 a 2 11 12 15 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 186 188 194 207 208 211 220 225 226 233 237 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 288 290 293 294 296 297 300 303 305 308 312 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 392 396 403 405 407 412 413 417 422 424 425 432 433 435 439 440 441 444 448 449 450 453 456 467 468 469 470 475 477 484 490 494 496 499 500 504 506 508 511 512 514 a 2 11 12 15 20 24 25 40 46 47 50 52 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 186 188 194 207 208 211 220 225 226 233 237 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 290 293 294 296 297 300 303 305 308 312 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 392 396 403 405 407 412 413 417 422 424 425 432 433 435 439 440 441 444 448 449 450 451 453 456 467 468 469 470 475 477 484 490 494 496 499 500 504 506 508 511 512 514 a 2 11 12 15 20 24 25 40 46 47 52 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 179 186 188 194 207 208 211 220 225 226 233 237 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 290 293 294 296 297 300 303 305 308 312 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 392 396 403 405 407 412 413 417 422 424 425 432 433 435 439 440 441 444 448 449 450 451 453 456 467 468 469 470 475 477 484 490 494 496 499 500 504 506 508 511 512 514 a 2 11 12 15 20 24 25 40 46 47 52 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 179 186 188 194 207 208 211 220 225 226 233 237 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 290 293 294 296 297 300 302 303 305 308 312 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 392 396 403 405 407 412 413 417 422 424 425 432 433 435 439 440 441 444 448 449 450 451 453 456 467 468 470 475 477 484 490 494 496 499 500 504 506 508 511 512 514 a 2 11 12 15 20 24 25 40 46 47 52 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 179 186 188 194 207 208 211 220 225 226 233 237 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 290 293 294 296 297 300 302 303 305 308 312 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 392 396 403 405 407 412 413 417 422 424 425 432 433 435 439 441 444 448 449 450 451 453 456 467 468 470 475 477 484 490 494 496 499 500 504 506 508 511 512 514 520 a 2 11 12 15 20 24 25 40 46 47 52 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 179 185 186 188 194 207 208 211 220 225 226 233 237 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 290 293 294 296 297 300 302 303 305 308 312 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 392 396 403 405 407 412 413 422 424 425 432 433 435 439 441 444 448 449 450 451 453 456 467 468 470 475 477 484 490 494 496 499 500 504 506 508 511 512 514 520 a 2 11 12 15 20 24 25 40 46 47 52 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 149 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 179 185 186 188 194 207 208 211 220 226 233 237 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 290 293 294 296 297 300 302 303 305 308 312 314 316 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 392 396 403 405 407 412 413 422 424 425 432 433 435 439 441 444 448 449 450 451 453 456 467 468 470 475 477 484 490 494 496 499 500 504 506 508 511 512 514 520 a 2 11 12 15 20 24 25 40 46 47 52 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 149 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 179 185 186 188 194 207 208 211 220 226 233 237 242 246 247 251 252 257 258 259 264 266 268 272 276 280 281 282 290 293 294 296 297 300 302 303 305 308 312 314 316 318 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 392 396 403 405 407 412 413 422 424 425 432 433 435 439 441 444 448 449 450 451 453 456 467 468 470 475 477 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 15 20 24 25 40 46 47 52 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 149 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 179 185 186 188 194 207 208 211 220 226 233 237 242 246 247 251 252 257 258 259 264 266 268 276 280 281 282 284 290 293 294 296 297 300 302 303 305 308 312 314 316 318 320 325 326 328 332 334 338 339 341 342 344 350 353 354 357 358 359 363 364 368 370 377 383 392 396 403 405 407 412 413 422 424 425 432 433 435 439 441 444 448 449 450 451 453 456 467 468 470 475 477 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 15 20 24 25 40 46 47 52 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 149 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 179 185 186 188 194 207 208 211 220 226 233 237 242 246 247 251 252 257 258 259 264 266 268 276 280 281 282 284 290 293 294 296 297 300 302 303 305 308 312 314 316 318 320 325 326 328 332 334 338 339 341 342 344 350 353 357 358 359 363 364 366 368 370 377 383 392 396 403 405 407 412 413 422 424 425 432 433 435 439 441 444 448 449 450 451 453 456 467 468 470 475 477 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 15 20 24 25 40 46 47 52 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 149 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 179 185 186 188 194 200 207 208 211 220 226 233 237 242 246 247 251 252 257 258 259 264 266 268 276 280 281 282 284 290 293 294 296 297 300 302 303 305 308 312 314 316 318 320 325 326 328 332 334 338 339 341 342 344 350 353 357 358 359 363 364 366 368 370 377 383 392 396 405 407 412 413 422 424 425 432 433 435 439 441 444 448 449 450 451 453 456 467 468 470 475 477 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 15 20 23 24 25 40 46 47 52 62 65 70 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 149 151 153 154 155 163 164 166 167 168 170 171 172 173 174 178 179 185 186 188 194 200 207 208 211 220 226 233 237 242 246 247 251 252 257 258 259 264 266 268 276 280 281 282 284 290 293 294 296 297 300 302 303 305 308 312 314 316 318 320 325 326 328 332 334 338 339 341 342 344 350 353 357 358 359 363 364 366 368 370 377 383 392 396 405 407 412 413 422 424 425 432 433 435 439 441 444 448 449 450 451 453 456 467 468 470 475 477 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 15 20 23 24 25 40 46 47 52 62 65 70 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 178 179 185 186 188 194 200 207 208 211 218 220 226 233 237 242 246 247 251 252 257 258 259 264 266 268 276 280 281 282 284 290 293 294 296 297 300 302 303 305 308 312 314 316 318 320 325 326 328 332 334 338 339 341 342 344 350 353 357 358 359 363 364 366 368 370 377 383 392 396 405 407 412 413 422 424 425 432 433 435 439 441 444 448 449 450 451 453 456 467 468 470 475 477 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 15 20 23 24 25 40 46 47 52 62 65 70 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 178 179 185 186 194 200 207 208 211 218 220 226 233 237 242 245 246 247 251 252 257 258 259 264 266 268 276 280 281 282 284 290 293 294 296 297 300 302 303 305 308 312 314 316 318 320 325 326 328 332 334 338 339 341 342 344 350 353 357 358 359 363 364 366 368 370 377 383 392 396 405 407 412 413 422 424 425 432 433 435 439 441 444 448 449 450 451 453 456 467 468 470 475 477 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 15 20 23 24 25 26 40 46 47 52 62 65 70 73 74 75 77 78 86 88 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 178 179 185 186 194 200 207 208 211 218 220 226 233 237 242 245 246 247 251 252 257 258 259 264 266 268 276 280 281 282 284 290 293 294 296 297 300 302 303 305 308 312 314 316 318 320 325 326 328 332 338 339 341 342 344 350 353 357 358 359 363 364 366 368 370 377 383 392 396 405 407 412 413 422 424 425 432 433 435 439 441 444 448 449 450 451 453 456 467 468 470 475 477 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 15 20 23 24 25 26 40 46 52 62 65 70 73 74 75 77 78 86 88 89 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 178 179 185 186 194 200 207 208 211 218 220 226 233 237 242 245 246 247 251 252 257 258 259 264 266 268 276 280 281 282 284 290 293 294 296 297 300 302 303 305 308 312 314 316 318 320 325 326 328 332 338 339 341 342 344 350 353 357 358 359 363 364 366 368 370 377 383 392 396 405 407 412 413 422 424 425 432 433 435 439 441 444 448 449 450 451 453 456 467 468 470 475 477 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 14 15 20 23 24 25 26 40 46 52 62 65 70 73 74 75 77 78 86 88 89 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 178 179 185 186 194 200 207 211 218 220 226 233 237 242 245 246 247 251 252 257 258 259 264 266 268 276 280 281 282 284 290 293 294 296 297 300 302 303 305 308 312 314 316 318 320 325 326 328 332 338 339 341 342 344 350 353 357 358 359 363 364 366 368 370 377 383 392 396 405 407 412 413 422 424 425 432 433 435 439 441 444 448 449 450 451 453 456 467 468 470 475 477 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 14 15 20 23 24 25 26 40 46 52 58 62 65 70 73 74 75 77 78 86 88 89 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 178 179 185 186 194 200 207 211 218 220 226 233 237 242 245 246 247 251 252 257 259 264 266 268 276 280 281 282 284 290 293 294 296 297 300 302 303 305 308 312 314 316 318 320 325 326 328 332 338 339 341 342 344 350 353 357 358 359 363 364 366 368 370 377 383 392 396 405 407 412 413 422 424 425 432 433 435 439 441 444 448 449 450 451 453 456 467 468 470 475 477 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 14 15 20 23 24 25 26 40 46 52 58 62 65 70 73 74 75 77 78 86 88 89 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 178 179 185 186 194 200 207 211 218 220 226 233 237 242 245 246 247 251 252 257 259 264 266 268 276 280 281 282 284 290 293 294 296 297 300 302 303 305 308 312 314 316 318 320 325 326 328 332 338 339 341 342 344 346 350 353 358 359 363 364 366 368 370 377 383 392 396 405 407 412 413 422 424 425 432 433 435 439 441 444 448 449 450 451 453 456 467 468 470 475 477 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 14 15 20 23 24 25 26 40 46 52 58 62 65 70 73 74 75 77 78 86 88 89 90 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 178 179 185 186 194 200 207 211 218 226 233 237 242 245 246 247 251 252 257 259 264 266 268 276 280 281 282 284 290 293 294 296 297 300 302 303 305 308 312 314 316 318 320 325 326 328 332 338 339 341 342 344 346 350 353 358 359 363 364 366 368 370 377 383 392 393 396 405 407 412 413 422 424 425 432 433 435 439 441 444 448 449 450 451 453 456 467 468 470 475 477 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 14 15 20 23 24 25 26 40 46 52 58 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 178 179 185 186 194 200 207 211 218 226 233 237 242 245 246 247 251 252 257 259 264 266 268 276 280 281 282 284 290 293 294 296 297 300 302 303 305 308 312 314 316 318 320 325 326 328 332 338 339 341 342 344 346 350 353 358 359 363 364 366 368 370 377 383 392 393 396 405 407 412 413 422 424 425 432 433 435 439 441 444 448 449 450 451 453 456 468 470 475 477 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 14 15 20 23 24 25 26 40 46 52 58 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 176 178 179 185 186 194 200 207 211 218 226 233 237 242 245 246 247 251 252 257 259 264 266 268 276 280 281 282 284 290 293 294 296 297 300 302 303 305 308 312 314 316 318 320 325 326 328 338 339 341 342 344 346 350 353 358 359 363 364 366 368 370 377 383 392 393 396 405 407 412 413 422 424 425 432 433 435 439 441 444 448 449 450 451 453 456 468 470 475 477 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 14 15 20 23 24 25 26 40 46 52 58 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 109 110 111 119 120 121 122 127 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 176 178 179 185 186 194 200 207 211 218 226 233 237 242 245 246 247 251 252 257 259 264 266 268 276 280 281 282 284 290 293 294 296 297 300 302 303 305 308 312 313 314 316 318 320 325 326 328 338 339 341 342 344 346 350 353 358 359 363 364 366 368 370 377 383 392 393 396 405 407 412 413 422 424 425 433 435 439 441 444 448 449 450 451 453 456 468 470 475 477 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 14 15 23 24 25 26 40 46 52 58 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 109 110 111 119 120 121 122 127 133 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 176 178 179 185 186 194 200 207 211 218 226 233 237 242 245 246 247 251 252 257 259 264 266 268 276 280 281 282 284 290 293 294 296 297 300 302 303 305 308 312 313 314 316 318 320 325 326 328 338 339 341 342 344 346 350 353 358 359 363 364 366 368 370 377 383 392 393 396 405 407 412 413 422 424 425 433 435 439 441 444 448 449 450 451 453 456 468 470 475 477 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 14 15 23 24 25 26 40 52 58 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 109 110 111 119 120 121 122 127 133 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 176 178 179 185 186 194 200 207 211 218 226 233 237 242 245 246 247 251 252 257 259 264 266 268 276 280 281 282 284 290 293 294 296 297 300 302 303 305 308 312 313 314 316 318 320 325 326 328 338 339 341 342 344 346 350 353 358 359 363 364 366 368 370 377 383 392 393 396 405 407 412 413 422 424 425 433 435 439 441 444 448 449 450 451 453 456 468 470 475 477 483 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 14 15 23 24 25 26 40 52 58 61 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 109 110 111 119 120 121 122 127 133 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 176 178 179 185 186 194 200 207 211 218 226 233 237 242 245 246 247 251 252 257 259 264 266 268 276 280 281 282 284 290 293 294 296 297 300 302 303 305 308 312 313 314 316 318 320 325 326 328 338 339 341 342 346 350 353 358 359 363 364 366 368 370 377 383 392 393 396 405 407 412 413 422 424 425 433 435 439 441 444 448 449 450 451 453 456 468 470 475 477 483 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 14 15 23 24 25 26 40 52 58 61 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 109 110 111 119 120 121 122 127 133 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 176 178 179 185 186 194 200 207 211 218 226 233 237 242 245 246 247 251 252 257 259 264 266 268 276 280 281 282 284 290 293 294 296 297 302 303 305 308 312 313 314 316 318 320 325 326 328 338 339 341 342 346 350 353 358 359 363 364 366 368 370 377 383 392 393 396 405 407 409 412 413 422 424 425 433 435 439 441 444 448 449 450 451 453 456 468 470 475 477 483 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 14 15 23 24 25 26 40 52 58 61 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 109 110 111 119 120 121 122 127 133 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 176 178 179 185 186 194 200 207 211 218 226 233 237 242 245 246 247 251 252 257 259 264 266 268 276 280 281 282 284 290 293 294 296 297 302 303 305 308 312 313 314 316 318 320 325 326 328 339 341 342 346 350 353 358 359 363 364 366 368 370 377 383 392 393 396 405 407 409 412 413 422 424 425 433 435 439 441 444 448 449 450 451 453 456 462 468 470 475 477 483 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 14 15 23 24 25 26 40 52 58 61 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 106 109 110 111 119 120 121 122 127 133 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 176 178 179 185 186 194 200 207 211 218 226 233 237 242 245 246 247 251 257 259 264 266 268 276 280 281 282 284 290 293 294 296 297 302 303 305 308 312 313 314 316 318 320 325 326 328 339 341 342 346 350 353 358 359 363 364 366 368 370 377 383 392 393 396 405 407 409 412 413 422 424 425 433 435 439 441 444 448 449 450 451 453 456 462 468 470 475 477 483 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 14 15 23 24 25 26 40 52 58 61 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 106 109 110 111 119 120 121 122 127 133 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 176 178 179 185 186 194 200 207 211 218 226 233 237 242 245 246 247 251 257 259 264 266 268 276 277 280 281 282 284 290 293 294 296 297 302 303 305 308 312 313 314 316 318 320 325 326 328 339 341 342 346 350 358 359 363 364 366 368 370 377 383 392 393 396 405 407 409 412 413 422 424 425 433 435 439 441 444 448 449 450 451 453 456 462 468 470 475 477 483 484 490 494 496 499 500 504 506 511 512 514 520 a 2 11 12 14 15 23 24 25 26 40 52 58 61 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 106 109 110 111 119 120 121 122 127 133 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 176 178 179 185 186 194 200 207 211 218 226 233 237 242 245 246 247 251 257 259 264 266 268 276 277 280 281 282 284 290 293 294 296 297 302 303 305 308 312 313 314 316 318 320 325 326 328 339 341 342 346 350 358 359 363 364 366 368 370 377 383 392 393 396 405 407 409 412 413 422 424 425 433 439 441 444 448 449 450 451 453 456 462 468 470 475 477 483 484 490 494 496 499 500 503 504 506 511 512 514 520 a 2 11 12 14 15 23 24 25 26 40 52 58 61 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 106 109 110 111 119 120 121 122 127 133 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 176 178 179 185 186 194 200 207 211 218 226 233 237 242 245 246 247 251 257 259 264 266 268 276 277 280 281 282 284 290 293 294 296 297 302 303 305 308 312 313 314 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 377 383 392 393 396 405 407 409 412 413 422 424 425 433 439 441 444 448 449 450 451 453 456 462 463 468 470 475 477 483 484 490 494 496 499 500 503 504 506 511 512 514 520 a 2 11 12 14 15 23 25 26 40 52 58 60 61 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 106 109 110 111 119 120 121 122 127 133 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 174 176 178 179 185 186 194 200 207 211 218 226 233 237 242 245 246 247 251 257 259 264 266 268 276 277 280 281 282 284 290 293 294 296 297 302 303 305 308 312 313 314 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 377 383 392 393 396 405 407 409 412 413 422 424 425 433 439 441 444 448 449 450 451 453 456 462 463 468 470 475 477 483 484 490 494 496 499 500 503 504 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 40 52 58 60 61 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 106 109 110 111 119 120 121 122 127 133 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 176 178 179 185 186 194 200 207 211 218 226 233 237 242 245 246 247 251 257 259 264 266 268 276 277 280 281 282 284 290 293 294 296 297 302 303 305 308 312 313 314 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 377 383 392 393 396 405 407 409 412 413 422 424 425 433 439 441 444 448 449 450 451 453 456 462 463 468 470 475 477 483 484 490 494 496 499 500 503 504 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 58 60 61 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 106 109 110 111 119 120 121 122 127 133 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 176 178 179 185 186 194 200 207 211 218 226 233 237 242 245 246 247 251 257 259 264 266 268 276 277 280 281 282 284 290 293 294 296 297 302 303 305 308 312 313 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 377 383 392 393 396 405 407 409 412 413 422 424 425 433 439 441 444 448 449 450 451 453 456 462 463 468 470 475 477 483 484 490 494 496 499 500 503 504 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 58 60 61 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 106 109 110 111 119 120 121 122 127 131 133 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 176 178 179 185 194 200 207 211 218 226 233 237 242 245 246 247 251 257 259 264 266 268 276 277 280 281 282 284 290 293 294 296 297 302 303 305 308 312 313 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 377 383 392 393 396 405 407 409 412 413 422 424 425 433 439 441 444 448 449 450 451 453 456 462 463 468 470 475 477 483 484 490 494 496 499 500 503 504 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 58 60 61 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 106 109 110 111 119 120 121 122 127 131 133 137 138 145 146 147 149 151 153 154 155 164 166 167 168 170 171 172 173 176 178 179 185 194 200 207 211 218 226 233 237 242 245 246 247 251 257 259 264 266 268 276 277 280 281 282 284 290 293 294 296 297 302 303 305 308 312 313 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 377 383 392 393 396 405 407 409 412 413 422 424 425 439 441 444 445 448 449 450 451 453 456 462 463 468 470 475 477 483 484 490 494 496 499 500 503 504 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 58 60 61 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 106 109 110 111 119 120 121 122 127 131 133 137 138 145 146 149 151 153 154 155 164 166 167 168 170 171 172 173 176 178 179 185 194 200 207 211 218 226 233 237 238 242 245 246 247 251 257 259 264 266 268 276 277 280 281 282 284 290 293 294 296 297 302 303 305 308 312 313 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 377 383 392 393 396 405 407 409 412 413 422 424 425 439 441 444 445 448 449 450 451 453 456 462 463 468 470 475 477 483 484 490 494 496 499 500 503 504 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 58 60 61 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 106 109 110 111 119 120 121 122 127 131 133 137 138 145 146 149 151 153 154 155 164 166 167 168 170 171 172 173 176 178 179 185 194 200 207 211 218 226 233 237 238 242 245 246 247 251 257 259 264 266 268 276 277 280 281 282 284 290 293 294 296 297 302 303 305 312 313 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 377 383 392 393 396 405 407 409 412 413 422 424 425 439 441 444 445 448 449 450 451 453 456 461 462 463 468 470 475 477 483 484 490 494 496 499 500 503 504 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 106 109 110 111 119 120 121 122 127 131 133 137 138 145 146 149 151 153 154 155 164 166 167 168 170 171 172 173 176 178 179 185 194 200 207 211 218 226 233 237 238 242 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 305 312 313 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 377 383 392 393 396 405 407 409 412 413 422 424 425 439 441 444 445 448 449 450 451 453 456 461 462 463 468 470 475 477 483 484 490 494 496 499 500 503 504 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 65 70 73 74 75 77 78 86 88 89 90 96 99 102 103 105 106 109 110 111 119 120 121 122 127 131 133 138 145 146 149 151 153 154 155 164 166 167 168 170 171 172 173 176 178 179 185 194 200 207 211 218 226 233 237 238 242 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 305 312 313 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 376 377 383 392 393 396 405 407 409 412 413 422 424 425 439 441 444 445 448 449 450 451 453 456 461 462 463 468 470 475 477 483 484 490 494 496 499 500 503 504 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 65 70 73 74 75 77 78 86 88 89 90 93 96 99 102 103 105 106 109 110 111 119 120 121 122 127 131 133 138 145 146 149 151 153 154 155 164 166 167 170 171 172 173 176 178 179 185 194 200 207 211 218 226 233 237 238 242 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 305 312 313 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 376 377 383 392 393 396 405 407 409 412 413 422 424 425 439 441 444 445 448 449 450 451 453 456 461 462 463 468 470 475 477 483 484 490 494 496 499 500 503 504 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 65 70 73 74 75 77 78 86 88 89 90 93 96 99 102 103 105 106 109 110 111 119 120 122 127 131 133 138 145 146 149 151 153 154 155 164 166 167 170 171 172 173 176 178 179 185 194 200 207 211 218 226 233 237 238 242 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 305 312 313 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 376 377 383 392 393 396 405 407 409 412 413 422 424 425 426 439 441 444 445 448 449 450 451 453 456 461 462 463 468 470 475 477 483 484 490 494 496 499 500 503 504 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 70 73 74 75 77 78 86 88 89 90 93 95 96 99 102 103 105 106 109 110 111 119 120 122 127 131 133 138 145 146 149 151 153 154 155 164 166 167 170 171 172 173 176 178 179 185 194 200 207 211 218 226 233 237 238 242 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 305 312 313 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 376 377 383 392 393 396 405 407 409 412 413 422 424 425 426 439 441 444 445 448 449 450 451 453 456 461 462 463 468 470 475 477 483 484 490 494 496 499 500 503 504 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 70 73 74 75 77 78 86 88 89 90 93 95 96 99 102 103 105 106 109 110 111 119 120 122 127 131 133 138 146 149 151 153 154 155 164 166 167 170 171 172 173 176 178 179 184 185 194 200 207 211 218 226 233 237 238 242 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 305 312 313 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 376 377 383 392 393 396 405 407 409 412 413 422 424 425 426 439 441 444 445 448 449 450 451 453 456 461 462 463 468 470 475 477 483 484 490 494 496 499 500 503 504 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 109 110 111 119 120 122 127 131 133 138 146 149 151 153 154 155 164 166 167 170 171 172 173 176 178 179 184 185 194 200 207 211 218 226 233 237 238 242 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 305 307 312 313 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 376 377 383 392 393 396 405 407 409 412 413 422 424 425 426 439 441 444 445 448 449 450 451 453 456 461 462 463 468 470 475 477 483 484 490 494 496 499 500 503 504 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 109 110 111 119 120 122 127 131 133 138 146 149 151 153 154 155 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 218 226 233 237 238 242 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 305 307 312 313 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 376 377 383 392 393 396 405 407 409 412 413 422 424 425 426 439 441 444 445 448 449 450 451 453 456 461 462 463 468 470 475 477 479 483 484 490 494 496 499 500 503 504 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 109 110 111 119 120 122 127 131 133 138 146 149 151 153 154 155 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 218 226 233 237 238 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 305 307 312 313 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 376 377 383 392 393 396 405 407 409 412 413 419 422 424 425 426 439 441 444 445 448 449 450 451 453 456 461 462 463 468 470 475 477 479 483 484 490 494 496 499 500 503 504 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 109 110 111 119 120 122 127 131 133 138 146 149 151 153 154 155 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 218 226 233 237 238 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 305 307 312 313 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 376 377 383 392 393 396 405 406 407 409 412 413 419 422 424 425 426 439 441 445 448 449 450 451 453 456 461 462 463 468 470 475 477 479 483 484 490 494 496 499 500 503 504 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 109 110 111 119 120 122 127 131 133 138 146 149 151 153 154 155 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 218 226 233 237 238 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 305 307 311 312 313 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 376 377 383 392 393 396 405 406 407 409 412 413 419 422 424 425 426 439 441 445 448 449 450 451 453 456 461 462 463 468 470 475 477 479 483 484 490 494 496 499 500 503 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 109 110 111 119 120 122 127 131 133 138 142 146 149 151 153 154 155 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 218 226 233 237 238 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 305 307 311 312 313 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 376 377 383 392 393 396 405 406 407 409 412 413 419 422 424 425 426 439 441 445 448 449 450 451 453 456 461 462 463 468 470 475 477 479 483 484 490 494 496 499 503 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 109 110 111 119 120 122 127 131 133 138 142 146 149 151 153 154 155 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 218 226 233 237 238 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 305 307 311 312 313 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 376 377 383 392 393 396 405 406 407 409 412 413 419 422 424 425 426 439 441 445 448 449 450 451 453 461 462 463 468 470 475 477 479 483 484 490 492 494 496 499 503 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 109 110 111 119 120 122 127 131 133 138 142 146 149 151 153 154 155 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 218 226 233 237 238 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 305 307 311 312 313 316 318 320 325 326 328 339 342 346 350 358 359 363 364 366 368 370 376 377 383 392 393 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 449 450 451 453 461 462 463 468 470 475 477 479 483 484 490 492 494 496 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 109 110 111 119 120 122 127 131 133 138 142 146 149 151 153 154 155 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 218 226 233 237 238 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 305 307 311 312 313 316 318 320 325 326 339 342 346 350 358 359 363 364 366 368 370 376 377 383 392 393 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 449 450 451 453 461 462 463 468 470 475 477 478 479 483 484 490 492 494 496 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 109 110 111 119 120 122 127 131 133 138 142 146 149 151 153 154 155 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 218 226 233 237 238 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 305 307 311 312 313 316 318 320 325 339 342 346 350 358 359 363 364 366 368 370 376 377 383 392 393 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 449 450 451 453 461 462 463 468 470 475 477 478 479 483 484 490 492 494 496 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 109 111 119 120 122 127 131 133 138 142 146 149 151 153 154 155 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 218 226 233 237 238 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 305 307 311 312 313 316 318 320 325 339 342 346 350 358 359 363 364 366 368 370 372 376 377 383 392 393 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 449 450 451 453 461 462 463 468 470 475 477 478 479 483 484 490 492 494 496 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 109 111 119 120 122 127 131 133 138 142 146 149 151 153 154 155 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 218 226 233 237 238 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 350 358 359 363 364 366 368 370 372 376 377 383 392 393 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 449 450 451 453 461 462 463 468 470 475 477 478 479 483 484 490 492 494 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 109 111 119 120 122 127 131 133 138 142 146 149 151 153 154 155 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 212 218 226 233 237 238 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 350 358 359 363 364 366 368 370 372 376 377 383 392 393 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 449 450 451 453 461 462 463 468 470 475 477 478 479 483 490 492 494 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 52 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 109 111 119 120 122 126 127 131 133 138 142 146 149 151 153 154 155 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 212 218 226 233 237 238 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 350 358 363 364 366 368 370 372 376 377 383 392 393 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 449 450 451 453 461 462 463 468 470 475 477 478 479 483 490 492 494 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 109 111 119 120 122 126 127 130 131 133 138 142 146 149 151 153 154 155 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 212 218 226 233 237 238 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 350 358 363 364 366 368 370 372 376 377 383 392 393 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 449 450 451 453 461 462 463 468 470 475 477 478 479 483 490 492 494 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 120 122 126 127 130 131 133 138 142 146 149 151 153 154 155 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 212 218 226 233 237 238 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 350 358 363 364 366 368 370 372 376 377 383 392 393 395 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 449 450 451 453 461 462 463 468 470 475 477 478 479 483 490 492 494 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 120 122 126 127 130 131 133 138 142 146 149 151 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 212 218 226 233 237 238 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 370 372 376 377 383 392 393 395 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 449 450 451 453 461 462 463 468 470 475 477 478 479 483 490 492 494 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 120 122 126 127 130 131 133 138 142 146 149 151 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 212 215 218 226 233 237 238 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 370 372 376 377 383 392 393 395 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 449 450 451 453 461 462 463 468 470 475 477 478 479 483 492 494 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 23 25 26 29 40 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 120 122 126 127 130 131 133 138 142 146 149 151 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 212 215 218 226 233 237 238 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 292 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 370 372 376 377 383 392 393 395 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 449 450 451 453 461 462 463 468 470 475 477 478 479 483 492 494 496 497 499 503 511 514 520 a 2 8 11 12 14 15 23 25 26 29 40 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 120 122 126 127 130 131 133 138 142 146 149 151 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 212 215 218 226 233 237 238 245 246 247 251 257 259 264 266 268 276 277 281 282 284 290 292 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 370 372 376 377 383 392 393 395 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 450 451 453 461 462 463 468 470 475 477 478 479 483 492 494 496 497 499 503 510 511 514 520 a 2 8 11 12 14 15 23 25 26 29 40 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 120 122 126 127 130 131 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 212 215 218 226 233 237 238 245 246 251 257 259 264 266 268 276 277 281 282 284 290 292 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 370 372 376 377 383 392 393 395 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 450 451 453 461 462 463 468 470 475 477 478 479 483 492 494 496 497 499 503 510 511 514 520 a 2 8 11 12 14 15 23 25 26 29 40 53 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 120 122 126 127 130 131 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 211 212 215 218 226 233 237 238 245 246 251 257 259 264 268 276 277 281 282 284 290 292 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 370 372 376 377 383 392 393 395 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 450 451 453 461 462 463 468 470 475 477 478 479 483 492 494 496 497 499 503 510 511 514 520 a 2 8 11 12 14 15 23 25 26 29 40 53 56 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 120 122 126 127 130 131 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 212 215 218 226 233 237 238 245 246 251 257 259 264 268 276 277 281 282 284 290 292 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 370 372 376 377 383 392 393 395 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 450 451 453 461 462 463 466 468 470 475 477 478 479 483 492 494 496 497 499 503 510 511 514 520 a 2 8 11 12 14 15 23 25 26 29 40 53 56 57 58 60 61 62 70 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 120 122 126 127 130 131 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 212 215 218 226 233 237 238 245 246 251 257 259 264 268 276 277 281 282 284 290 292 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 450 451 453 461 462 463 466 468 470 475 477 478 479 483 492 494 496 497 499 503 510 511 514 520 a 2 8 11 12 14 15 23 25 26 29 40 53 56 57 58 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 120 122 126 127 130 131 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 212 215 218 226 233 237 238 245 246 251 257 259 264 268 276 277 281 282 284 290 292 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 450 451 453 461 462 463 466 468 470 475 477 478 479 483 492 494 496 497 499 503 510 511 520 a 2 8 11 12 14 15 23 25 26 29 40 53 56 57 58 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 122 126 127 130 131 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 212 215 218 226 233 237 238 245 246 251 257 259 264 268 276 277 281 282 284 290 292 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 450 451 453 461 462 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 11 12 14 15 23 26 29 40 53 56 57 58 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 122 126 127 130 131 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 212 215 218 226 233 237 238 245 246 251 257 259 264 268 269 276 277 281 282 284 290 292 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 422 424 425 426 439 441 445 448 450 451 453 461 462 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 11 12 14 15 23 26 29 40 53 56 57 58 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 122 126 127 130 131 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 212 215 218 226 232 233 237 238 245 246 251 257 259 264 268 269 276 277 281 282 284 290 292 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 424 425 426 439 441 445 448 450 451 453 461 462 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 11 12 14 15 23 26 29 40 53 56 57 58 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 122 126 127 130 131 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 212 215 218 226 232 237 238 245 246 251 257 259 264 268 269 276 277 281 282 283 284 290 292 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 424 425 426 439 441 445 448 450 451 453 461 462 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 122 126 127 130 131 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 212 215 218 226 232 238 245 246 251 257 259 264 268 269 276 277 281 282 283 284 290 292 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 424 425 426 439 441 445 448 450 451 453 461 462 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 122 126 127 130 131 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 212 215 218 226 232 238 245 246 251 259 264 268 269 276 277 281 282 283 284 290 292 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 424 425 426 439 441 445 448 450 451 453 461 462 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 122 126 127 130 131 133 138 142 143 146 149 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 212 215 218 226 232 238 245 246 251 259 264 268 269 276 277 281 282 283 284 290 291 292 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 424 425 426 439 441 445 448 450 451 453 461 462 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 122 126 127 130 131 133 138 142 143 146 149 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 212 215 218 226 232 238 245 246 259 264 268 269 276 277 281 282 283 284 290 291 292 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 421 424 425 426 439 441 445 448 450 451 453 461 462 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 122 126 127 130 131 133 135 142 143 146 149 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 212 215 218 226 232 238 245 246 259 264 268 269 276 277 281 282 283 284 290 291 292 293 294 296 297 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 421 424 425 426 439 441 445 448 450 451 453 461 462 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 119 122 126 127 130 131 133 135 142 143 146 149 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 212 215 218 226 232 238 245 246 259 264 268 269 276 277 282 283 284 290 291 292 293 294 296 297 298 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 421 424 425 426 439 441 445 448 450 451 453 461 462 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 115 119 122 126 127 130 131 133 135 142 143 146 149 153 154 155 156 158 164 166 167 170 171 172 173 176 178 179 184 185 200 207 212 215 218 226 232 238 245 246 259 264 268 269 276 277 282 283 284 290 291 292 293 294 296 297 298 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 421 424 425 426 439 441 445 448 451 453 461 462 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 115 119 122 126 127 130 131 133 135 142 143 146 149 153 154 155 156 158 164 166 167 170 172 173 176 178 179 184 185 200 207 212 215 218 226 232 238 245 246 259 264 268 269 276 277 282 283 284 290 291 292 293 294 296 297 298 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 421 424 425 426 434 439 441 445 448 451 453 461 462 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 115 119 122 126 129 130 131 133 135 142 143 146 149 153 154 155 156 158 164 166 167 170 172 173 176 178 179 184 185 200 207 212 215 218 226 232 238 245 246 259 264 268 269 276 277 282 283 284 290 291 292 293 294 296 297 298 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 421 424 425 426 434 439 441 445 448 451 453 461 462 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 c Step: 115 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance040_graph003.col /benchmark/random_instance/random_instance040_graph003_01.dat" User time (seconds): 9.22 System time (seconds): 0.35 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:09.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): 248764 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 388986 Voluntary context switches: 19 Involuntary context switches: 32 Swaps: 0 File system inputs: 0 File system outputs: 912 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:42:40 2023]