c Copyright Volker Turau & Christoph Weyer, 2022 c Institute of Telematics c Hamburg University of Technology, Hamburg, Germany c Contact: turau@tuhh.de c Graph file: benchmark/color04/wap01a.col c Target file: benchmark/color04/wap01a_02.dat c Size of independent set: 151 c Number of nodes of graph: 2368 c Number of edges of graph: 110871 c Average degree of graph: 93.64 s 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 t 15 23 38 39 43 48 58 62 63 64 68 91 96 122 128 139 145 147 151 152 156 160 161 162 165 171 175 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 455 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 c BFS found 671 new nodes in level 1 (total 672/57113926) c R=76 c Found with: Iterative A*-Search a YES a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1833 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1248 1307 1308 1315 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1248 1296 1308 1315 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 709 711 715 716 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1155 1248 1296 1308 1315 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 709 711 715 716 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1142 1143 1144 1155 1248 1296 1308 1315 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 709 711 715 716 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1141 1142 1143 1155 1248 1296 1308 1315 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 632 633 643 644 658 659 663 671 675 685 709 711 715 716 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1315 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 632 633 643 644 658 659 663 671 675 685 709 711 715 716 743 747 748 749 755 756 759 790 820 821 835 861 862 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1315 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 632 633 643 644 658 659 663 671 675 685 709 711 715 716 743 747 748 749 755 756 759 790 820 821 835 861 862 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1315 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 633 643 644 658 659 663 671 675 685 709 711 715 716 743 747 748 749 755 756 759 790 820 821 835 861 862 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1315 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 633 643 644 658 659 663 671 675 685 709 711 715 716 743 747 748 749 755 756 759 790 820 821 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 633 643 644 658 659 663 671 675 685 709 711 715 716 743 747 748 749 755 756 759 790 819 820 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 633 643 644 658 659 663 671 675 685 709 711 715 716 743 747 748 749 755 756 759 790 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 524 609 610 611 612 613 627 628 633 643 644 658 659 663 671 675 685 709 711 715 716 743 747 748 749 755 756 759 789 790 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 524 609 610 611 612 613 627 628 633 643 644 658 659 663 671 675 685 709 711 715 716 743 747 748 749 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 524 609 610 611 612 613 627 628 633 643 644 658 659 663 671 675 685 709 711 715 716 742 743 747 748 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 524 609 610 611 612 613 627 628 633 643 644 658 659 663 671 675 685 709 711 715 716 733 742 743 748 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 524 609 610 611 612 613 627 628 633 643 644 658 659 663 671 675 685 709 711 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 524 609 610 611 612 613 627 628 633 643 644 658 659 663 671 675 685 700 709 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 524 609 610 611 612 613 627 628 633 643 644 658 659 663 671 675 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 524 609 610 611 612 613 627 628 633 643 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 524 609 610 611 612 613 627 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 524 609 610 611 612 613 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 524 590 609 610 611 612 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 524 580 590 609 611 612 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 524 578 580 590 609 611 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 524 577 578 580 590 609 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 507 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 440 442 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 438 439 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 417 423 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 401 402 403 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 285 286 287 288 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 271 285 286 287 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 266 271 286 287 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 265 266 271 287 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 254 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 244 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 213 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 156 160 161 162 165 171 173 176 177 186 187 188 202 208 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 156 160 161 162 165 171 173 176 177 186 187 188 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 156 160 161 162 165 171 173 176 177 181 186 187 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 156 160 161 162 165 171 173 176 177 180 181 186 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 156 160 161 162 165 171 173 176 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 152 156 160 161 162 165 171 173 175 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 156 160 161 162 165 171 175 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 150 151 152 156 160 161 162 165 171 175 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 455 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 147 151 152 156 160 161 162 165 171 175 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 455 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 145 147 151 152 156 160 161 162 165 171 175 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 455 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 139 140 141 142 143 145 147 151 152 156 160 161 162 165 171 175 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 455 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 128 139 140 141 142 145 147 151 152 156 160 161 162 165 171 175 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 455 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 122 128 139 140 141 145 147 151 152 156 160 161 162 165 171 175 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 455 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 96 122 128 139 140 145 147 151 152 156 160 161 162 165 171 175 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 455 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 64 66 67 68 91 96 122 128 139 145 147 151 152 156 160 161 162 165 171 175 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 455 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 63 64 66 68 91 96 122 128 139 145 147 151 152 156 160 161 162 165 171 175 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 455 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 56 57 58 59 62 63 64 68 91 96 122 128 139 145 147 151 152 156 160 161 162 165 171 175 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 455 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 43 48 56 58 59 62 63 64 68 91 96 122 128 139 145 147 151 152 156 160 161 162 165 171 175 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 455 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 39 43 48 58 59 62 63 64 68 91 96 122 128 139 145 147 151 152 156 160 161 162 165 171 175 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 455 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 24 25 38 39 43 48 58 62 63 64 68 91 96 122 128 139 145 147 151 152 156 160 161 162 165 171 175 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 455 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 23 25 38 39 43 48 58 62 63 64 68 91 96 122 128 139 145 147 151 152 156 160 161 162 165 171 175 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 455 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 a 15 23 38 39 43 48 58 62 63 64 68 91 96 122 128 139 145 147 151 152 156 160 161 162 165 171 175 177 178 180 181 200 202 210 212 214 243 251 258 265 266 271 289 300 302 309 313 314 315 317 321 334 346 359 368 371 375 376 380 391 401 402 405 408 409 412 417 424 425 426 427 428 429 431 433 435 438 440 443 444 448 453 455 484 485 491 496 499 504 505 506 508 509 516 524 568 577 578 580 590 626 628 633 638 644 658 659 663 671 674 685 697 700 715 716 720 733 742 743 755 756 759 785 789 811 819 835 861 862 887 910 944 1024 1052 1103 1130 1141 1142 1143 1155 1248 1296 1308 1359 1394 1395 1530 1581 1767 1821 1833 c Length: 76 Command being timed: "src/recon_th benchmark/color04/wap01a.col benchmark/color04/wap01a_02.dat" User time (seconds): 0.08 System time (seconds): 0.03 Percent of CPU this job got: 169% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.07 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): 292972 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 72863 Voluntary context switches: 4 Involuntary context switches: 1 Swaps: 0 File system inputs: 8 File system outputs: 0 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0