{"size": 184720, "ext": "rktd", "max_stars_repo_path": "data/transient/acquire-2020-08-24.rktd", "max_stars_repo_name": "bennn/g-pldi-2022", "max_stars_repo_stars_event_min_datetime": null, "max_stars_repo_stars_event_max_datetime": null, "max_issues_repo_path": "data/transient/acquire-2020-08-24.rktd", "max_issues_repo_name": "bennn/g-pldi-2022", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "data/transient/acquire-2020-08-24.rktd", "max_forks_repo_name": "bennn/g-pldi-2022", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": null, "max_issues_count": null, "max_forks_count": null, "avg_line_length": 359.3774319066, "max_line_length": 363, "alphanum_fraction": 0.6701223473}
#lang gtp-measure/output/typed-untyped
("000000000" ("cpu time: 406 real time: 406 gc time: 53" "cpu time: 407 real time: 405 gc time: 60" "cpu time: 416 real time: 412 gc time: 67" "cpu time: 407 real time: 407 gc time: 63" "cpu time: 407 real time: 406 gc time: 70" "cpu time: 414 real time: 411 gc time: 66" "cpu time: 410 real time: 411 gc time: 63" "cpu time: 407 real time: 407 gc time: 64"))
("000000001" ("cpu time: 457 real time: 456 gc time: 101" "cpu time: 453 real time: 453 gc time: 93" "cpu time: 443 real time: 440 gc time: 91" "cpu time: 446 real time: 443 gc time: 88" "cpu time: 440 real time: 438 gc time: 90" "cpu time: 453 real time: 453 gc time: 103" "cpu time: 463 real time: 462 gc time: 100" "cpu time: 437 real time: 435 gc time: 87"))
("000000010" ("cpu time: 424 real time: 424 gc time: 77" "cpu time: 434 real time: 433 gc time: 84" "cpu time: 424 real time: 423 gc time: 77" "cpu time: 430 real time: 432 gc time: 93" "cpu time: 430 real time: 431 gc time: 83" "cpu time: 427 real time: 428 gc time: 81" "cpu time: 434 real time: 433 gc time: 87" "cpu time: 427 real time: 427 gc time: 86"))
("000000011" ("cpu time: 440 real time: 440 gc time: 91" "cpu time: 460 real time: 457 gc time: 101" "cpu time: 440 real time: 440 gc time: 86" "cpu time: 443 real time: 445 gc time: 86" "cpu time: 436 real time: 438 gc time: 81" "cpu time: 437 real time: 435 gc time: 83" "cpu time: 453 real time: 454 gc time: 91" "cpu time: 443 real time: 444 gc time: 86"))
("000000100" ("cpu time: 450 real time: 448 gc time: 95" "cpu time: 457 real time: 454 gc time: 89" "cpu time: 450 real time: 451 gc time: 80" "cpu time: 443 real time: 445 gc time: 77" "cpu time: 454 real time: 455 gc time: 91" "cpu time: 457 real time: 456 gc time: 81" "cpu time: 447 real time: 449 gc time: 87" "cpu time: 450 real time: 449 gc time: 82"))
("000000101" ("cpu time: 463 real time: 465 gc time: 94" "cpu time: 456 real time: 457 gc time: 86" "cpu time: 457 real time: 454 gc time: 90" "cpu time: 450 real time: 452 gc time: 83" "cpu time: 484 real time: 483 gc time: 97" "cpu time: 470 real time: 470 gc time: 103" "cpu time: 460 real time: 460 gc time: 93" "cpu time: 460 real time: 460 gc time: 91"))
("000000110" ("cpu time: 450 real time: 451 gc time: 83" "cpu time: 467 real time: 465 gc time: 97" "cpu time: 467 real time: 470 gc time: 96" "cpu time: 447 real time: 446 gc time: 82" "cpu time: 453 real time: 451 gc time: 85" "cpu time: 453 real time: 452 gc time: 86" "cpu time: 443 real time: 446 gc time: 84" "cpu time: 446 real time: 446 gc time: 90"))
("000000111" ("cpu time: 460 real time: 460 gc time: 90" "cpu time: 456 real time: 458 gc time: 83" "cpu time: 470 real time: 469 gc time: 103" "cpu time: 453 real time: 455 gc time: 78" "cpu time: 457 real time: 458 gc time: 88" "cpu time: 477 real time: 477 gc time: 104" "cpu time: 463 real time: 461 gc time: 84" "cpu time: 457 real time: 452 gc time: 83"))
("000001000" ("cpu time: 447 real time: 443 gc time: 87" "cpu time: 440 real time: 439 gc time: 91" "cpu time: 443 real time: 442 gc time: 93" "cpu time: 460 real time: 460 gc time: 100" "cpu time: 446 real time: 443 gc time: 86" "cpu time: 440 real time: 440 gc time: 83" "cpu time: 440 real time: 442 gc time: 84" "cpu time: 440 real time: 440 gc time: 87"))
("000001001" ("cpu time: 450 real time: 447 gc time: 88" "cpu time: 457 real time: 454 gc time: 90" "cpu time: 470 real time: 469 gc time: 104" "cpu time: 453 real time: 451 gc time: 90" "cpu time: 453 real time: 452 gc time: 81" "cpu time: 450 real time: 450 gc time: 84" "cpu time: 470 real time: 468 gc time: 103" "cpu time: 447 real time: 445 gc time: 91"))
("000001010" ("cpu time: 460 real time: 459 gc time: 89" "cpu time: 467 real time: 466 gc time: 107" "cpu time: 440 real time: 441 gc time: 76" "cpu time: 437 real time: 435 gc time: 78" "cpu time: 457 real time: 454 gc time: 90" "cpu time: 457 real time: 454 gc time: 100" "cpu time: 460 real time: 461 gc time: 101" "cpu time: 433 real time: 433 gc time: 80"))
("000001011" ("cpu time: 463 real time: 463 gc time: 94" "cpu time: 457 real time: 458 gc time: 85" "cpu time: 460 real time: 460 gc time: 89" "cpu time: 446 real time: 446 gc time: 83" "cpu time: 450 real time: 450 gc time: 86" "cpu time: 453 real time: 455 gc time: 91" "cpu time: 454 real time: 454 gc time: 86" "cpu time: 456 real time: 455 gc time: 90"))
("000001100" ("cpu time: 460 real time: 462 gc time: 82" "cpu time: 456 real time: 457 gc time: 83" "cpu time: 470 real time: 471 gc time: 96" "cpu time: 460 real time: 459 gc time: 85" "cpu time: 456 real time: 457 gc time: 84" "cpu time: 460 real time: 457 gc time: 82" "cpu time: 463 real time: 462 gc time: 97" "cpu time: 470 real time: 470 gc time: 93"))
("000001101" ("cpu time: 466 real time: 468 gc time: 85" "cpu time: 460 real time: 456 gc time: 79" "cpu time: 460 real time: 460 gc time: 79" "cpu time: 470 real time: 469 gc time: 86" "cpu time: 463 real time: 466 gc time: 87" "cpu time: 480 real time: 479 gc time: 101" "cpu time: 470 real time: 469 gc time: 82" "cpu time: 470 real time: 472 gc time: 85"))
("000001110" ("cpu time: 466 real time: 466 gc time: 87" "cpu time: 456 real time: 455 gc time: 87" "cpu time: 450 real time: 452 gc time: 81" "cpu time: 464 real time: 461 gc time: 89" "cpu time: 453 real time: 453 gc time: 79" "cpu time: 463 real time: 463 gc time: 91" "cpu time: 466 real time: 465 gc time: 85" "cpu time: 457 real time: 452 gc time: 86"))
("000001111" ("cpu time: 463 real time: 463 gc time: 84" "cpu time: 467 real time: 468 gc time: 87" "cpu time: 463 real time: 462 gc time: 81" "cpu time: 467 real time: 466 gc time: 87" "cpu time: 463 real time: 462 gc time: 84" "cpu time: 463 real time: 464 gc time: 85" "cpu time: 467 real time: 465 gc time: 89" "cpu time: 456 real time: 458 gc time: 77"))
("000010000" ("cpu time: 427 real time: 427 gc time: 84" "cpu time: 440 real time: 436 gc time: 94" "cpu time: 440 real time: 440 gc time: 89" "cpu time: 437 real time: 436 gc time: 87" "cpu time: 434 real time: 436 gc time: 94" "cpu time: 423 real time: 425 gc time: 86" "cpu time: 437 real time: 434 gc time: 87" "cpu time: 423 real time: 425 gc time: 85"))
("000010001" ("cpu time: 446 real time: 446 gc time: 96" "cpu time: 440 real time: 435 gc time: 79" "cpu time: 440 real time: 439 gc time: 86" "cpu time: 443 real time: 443 gc time: 90" "cpu time: 447 real time: 444 gc time: 95" "cpu time: 440 real time: 439 gc time: 80" "cpu time: 444 real time: 443 gc time: 93" "cpu time: 440 real time: 442 gc time: 90"))
("000010010" ("cpu time: 443 real time: 441 gc time: 105" "cpu time: 427 real time: 429 gc time: 92" "cpu time: 434 real time: 432 gc time: 86" "cpu time: 433 real time: 434 gc time: 93" "cpu time: 434 real time: 433 gc time: 87" "cpu time: 423 real time: 425 gc time: 85" "cpu time: 430 real time: 427 gc time: 91" "cpu time: 454 real time: 451 gc time: 102"))
("000010011" ("cpu time: 437 real time: 436 gc time: 87" "cpu time: 447 real time: 445 gc time: 90" "cpu time: 440 real time: 443 gc time: 90" "cpu time: 450 real time: 450 gc time: 91" "cpu time: 440 real time: 443 gc time: 94" "cpu time: 436 real time: 437 gc time: 86" "cpu time: 437 real time: 439 gc time: 87" "cpu time: 443 real time: 445 gc time: 93"))
("000010100" ("cpu time: 446 real time: 449 gc time: 86" "cpu time: 450 real time: 452 gc time: 91" "cpu time: 460 real time: 460 gc time: 90" "cpu time: 457 real time: 452 gc time: 89" "cpu time: 450 real time: 450 gc time: 86" "cpu time: 447 real time: 448 gc time: 84" "cpu time: 450 real time: 452 gc time: 86" "cpu time: 454 real time: 453 gc time: 86"))
("000010101" ("cpu time: 450 real time: 450 gc time: 73" "cpu time: 464 real time: 462 gc time: 94" "cpu time: 454 real time: 454 gc time: 82" "cpu time: 460 real time: 460 gc time: 93" "cpu time: 460 real time: 461 gc time: 92" "cpu time: 460 real time: 455 gc time: 89" "cpu time: 454 real time: 455 gc time: 84" "cpu time: 470 real time: 472 gc time: 103"))
("000010110" ("cpu time: 460 real time: 459 gc time: 90" "cpu time: 457 real time: 455 gc time: 90" "cpu time: 446 real time: 447 gc time: 88" "cpu time: 463 real time: 463 gc time: 90" "cpu time: 466 real time: 465 gc time: 103" "cpu time: 463 real time: 463 gc time: 96" "cpu time: 456 real time: 457 gc time: 93" "cpu time: 436 real time: 439 gc time: 84"))
("000010111" ("cpu time: 480 real time: 478 gc time: 112" "cpu time: 460 real time: 459 gc time: 90" "cpu time: 467 real time: 465 gc time: 93" "cpu time: 466 real time: 465 gc time: 94" "cpu time: 460 real time: 457 gc time: 86" "cpu time: 470 real time: 471 gc time: 97" "cpu time: 457 real time: 453 gc time: 90" "cpu time: 463 real time: 464 gc time: 93"))
("000011000" ("cpu time: 440 real time: 439 gc time: 87" "cpu time: 447 real time: 443 gc time: 74" "cpu time: 437 real time: 434 gc time: 88" "cpu time: 446 real time: 445 gc time: 86" "cpu time: 447 real time: 444 gc time: 87" "cpu time: 443 real time: 445 gc time: 90" "cpu time: 440 real time: 443 gc time: 87" "cpu time: 440 real time: 441 gc time: 87"))
("000011001" ("cpu time: 450 real time: 451 gc time: 93" "cpu time: 453 real time: 455 gc time: 87" "cpu time: 467 real time: 467 gc time: 94" "cpu time: 456 real time: 453 gc time: 83" "cpu time: 460 real time: 460 gc time: 90" "cpu time: 460 real time: 461 gc time: 87" "cpu time: 450 real time: 451 gc time: 86" "cpu time: 456 real time: 455 gc time: 90"))
("000011010" ("cpu time: 444 real time: 444 gc time: 94" "cpu time: 440 real time: 442 gc time: 86" "cpu time: 440 real time: 439 gc time: 90" "cpu time: 450 real time: 449 gc time: 85" "cpu time: 446 real time: 445 gc time: 87" "cpu time: 440 real time: 438 gc time: 80" "cpu time: 443 real time: 445 gc time: 85" "cpu time: 440 real time: 440 gc time: 83"))
("000011011" ("cpu time: 450 real time: 447 gc time: 89" "cpu time: 460 real time: 456 gc time: 86" "cpu time: 457 real time: 454 gc time: 83" "cpu time: 460 real time: 459 gc time: 87" "cpu time: 470 real time: 470 gc time: 96" "cpu time: 450 real time: 448 gc time: 83" "cpu time: 453 real time: 455 gc time: 92" "cpu time: 453 real time: 453 gc time: 91"))
("000011100" ("cpu time: 450 real time: 450 gc time: 80" "cpu time: 470 real time: 468 gc time: 100" "cpu time: 457 real time: 458 gc time: 82" "cpu time: 464 real time: 464 gc time: 91" "cpu time: 463 real time: 461 gc time: 88" "cpu time: 463 real time: 462 gc time: 92" "cpu time: 470 real time: 468 gc time: 87" "cpu time: 457 real time: 458 gc time: 86"))
("000011101" ("cpu time: 470 real time: 471 gc time: 94" "cpu time: 473 real time: 471 gc time: 91" "cpu time: 464 real time: 462 gc time: 83" "cpu time: 474 real time: 473 gc time: 91" "cpu time: 470 real time: 471 gc time: 88" "cpu time: 470 real time: 466 gc time: 90" "cpu time: 470 real time: 471 gc time: 83" "cpu time: 470 real time: 471 gc time: 91"))
("000011110" ("cpu time: 467 real time: 463 gc time: 87" "cpu time: 463 real time: 461 gc time: 88" "cpu time: 454 real time: 456 gc time: 79" "cpu time: 464 real time: 464 gc time: 94" "cpu time: 460 real time: 457 gc time: 91" "cpu time: 467 real time: 466 gc time: 80" "cpu time: 460 real time: 459 gc time: 81" "cpu time: 467 real time: 463 gc time: 84"))
("000011111" ("cpu time: 466 real time: 464 gc time: 86" "cpu time: 470 real time: 467 gc time: 87" "cpu time: 476 real time: 477 gc time: 103" "cpu time: 477 real time: 474 gc time: 94" "cpu time: 470 real time: 470 gc time: 86" "cpu time: 470 real time: 471 gc time: 89" "cpu time: 467 real time: 467 gc time: 90" "cpu time: 460 real time: 462 gc time: 87"))
("000100000" ("cpu time: 527 real time: 524 gc time: 92" "cpu time: 520 real time: 520 gc time: 86" "cpu time: 527 real time: 527 gc time: 88" "cpu time: 520 real time: 517 gc time: 84" "cpu time: 527 real time: 527 gc time: 91" "cpu time: 526 real time: 529 gc time: 97" "cpu time: 517 real time: 515 gc time: 87" "cpu time: 520 real time: 520 gc time: 88"))
("000100001" ("cpu time: 527 real time: 528 gc time: 90" "cpu time: 530 real time: 527 gc time: 81" "cpu time: 533 real time: 532 gc time: 85" "cpu time: 533 real time: 532 gc time: 94" "cpu time: 526 real time: 526 gc time: 87" "cpu time: 540 real time: 537 gc time: 91" "cpu time: 530 real time: 530 gc time: 89" "cpu time: 550 real time: 551 gc time: 106"))
("000100010" ("cpu time: 523 real time: 522 gc time: 86" "cpu time: 520 real time: 518 gc time: 89" "cpu time: 520 real time: 517 gc time: 83" "cpu time: 547 real time: 545 gc time: 110" "cpu time: 533 real time: 531 gc time: 90" "cpu time: 533 real time: 533 gc time: 90" "cpu time: 513 real time: 516 gc time: 81" "cpu time: 517 real time: 517 gc time: 90"))
("000100011" ("cpu time: 540 real time: 539 gc time: 90" "cpu time: 533 real time: 533 gc time: 90" "cpu time: 527 real time: 526 gc time: 84" "cpu time: 533 real time: 530 gc time: 90" "cpu time: 520 real time: 522 gc time: 84" "cpu time: 530 real time: 528 gc time: 80" "cpu time: 530 real time: 529 gc time: 91" "cpu time: 526 real time: 527 gc time: 90"))
("000100100" ("cpu time: 540 real time: 541 gc time: 83" "cpu time: 533 real time: 532 gc time: 82" "cpu time: 540 real time: 538 gc time: 88" "cpu time: 540 real time: 538 gc time: 86" "cpu time: 534 real time: 533 gc time: 87" "cpu time: 547 real time: 548 gc time: 95" "cpu time: 534 real time: 533 gc time: 91" "cpu time: 547 real time: 546 gc time: 84"))
("000100101" ("cpu time: 564 real time: 565 gc time: 93" "cpu time: 543 real time: 544 gc time: 88" "cpu time: 550 real time: 551 gc time: 82" "cpu time: 554 real time: 555 gc time: 82" "cpu time: 557 real time: 555 gc time: 86" "cpu time: 557 real time: 555 gc time: 90" "cpu time: 544 real time: 546 gc time: 87" "cpu time: 547 real time: 545 gc time: 84"))
("000100110" ("cpu time: 537 real time: 536 gc time: 90" "cpu time: 543 real time: 542 gc time: 93" "cpu time: 537 real time: 535 gc time: 89" "cpu time: 543 real time: 542 gc time: 87" "cpu time: 540 real time: 539 gc time: 91" "cpu time: 537 real time: 536 gc time: 85" "cpu time: 540 real time: 541 gc time: 84" "cpu time: 547 real time: 547 gc time: 87"))
("000100111" ("cpu time: 550 real time: 549 gc time: 88" "cpu time: 536 real time: 536 gc time: 80" "cpu time: 546 real time: 546 gc time: 90" "cpu time: 557 real time: 557 gc time: 86" "cpu time: 547 real time: 544 gc time: 87" "cpu time: 550 real time: 549 gc time: 91" "cpu time: 547 real time: 547 gc time: 84" "cpu time: 553 real time: 551 gc time: 92"))
("000101000" ("cpu time: 530 real time: 529 gc time: 86" "cpu time: 530 real time: 529 gc time: 88" "cpu time: 530 real time: 530 gc time: 87" "cpu time: 543 real time: 543 gc time: 87" "cpu time: 536 real time: 536 gc time: 97" "cpu time: 533 real time: 534 gc time: 85" "cpu time: 550 real time: 549 gc time: 108" "cpu time: 526 real time: 528 gc time: 94"))
("000101001" ("cpu time: 550 real time: 549 gc time: 89" "cpu time: 550 real time: 550 gc time: 91" "cpu time: 540 real time: 541 gc time: 87" "cpu time: 540 real time: 540 gc time: 85" "cpu time: 560 real time: 558 gc time: 87" "cpu time: 547 real time: 546 gc time: 91" "cpu time: 550 real time: 551 gc time: 91" "cpu time: 540 real time: 540 gc time: 83"))
("000101010" ("cpu time: 533 real time: 534 gc time: 91" "cpu time: 537 real time: 537 gc time: 87" "cpu time: 557 real time: 558 gc time: 108" "cpu time: 540 real time: 538 gc time: 97" "cpu time: 527 real time: 526 gc time: 87" "cpu time: 527 real time: 529 gc time: 91" "cpu time: 526 real time: 527 gc time: 86" "cpu time: 537 real time: 535 gc time: 96"))
("000101011" ("cpu time: 543 real time: 541 gc time: 87" "cpu time: 546 real time: 547 gc time: 86" "cpu time: 560 real time: 559 gc time: 91" "cpu time: 544 real time: 543 gc time: 87" "cpu time: 546 real time: 547 gc time: 86" "cpu time: 540 real time: 540 gc time: 91" "cpu time: 567 real time: 565 gc time: 108" "cpu time: 530 real time: 530 gc time: 83"))
("000101100" ("cpu time: 553 real time: 551 gc time: 86" "cpu time: 550 real time: 549 gc time: 91" "cpu time: 557 real time: 557 gc time: 86" "cpu time: 550 real time: 551 gc time: 90" "cpu time: 560 real time: 556 gc time: 90" "cpu time: 544 real time: 545 gc time: 83" "cpu time: 560 real time: 562 gc time: 90" "cpu time: 547 real time: 548 gc time: 83"))
("000101101" ("cpu time: 560 real time: 561 gc time: 83" "cpu time: 564 real time: 561 gc time: 88" "cpu time: 557 real time: 557 gc time: 88" "cpu time: 560 real time: 561 gc time: 91" "cpu time: 577 real time: 575 gc time: 101" "cpu time: 583 real time: 578 gc time: 88" "cpu time: 567 real time: 566 gc time: 90" "cpu time: 554 real time: 553 gc time: 87"))
("000101110" ("cpu time: 550 real time: 551 gc time: 82" "cpu time: 550 real time: 552 gc time: 84" "cpu time: 570 real time: 567 gc time: 89" "cpu time: 553 real time: 553 gc time: 96" "cpu time: 557 real time: 556 gc time: 84" "cpu time: 547 real time: 548 gc time: 83" "cpu time: 550 real time: 550 gc time: 85" "cpu time: 556 real time: 557 gc time: 94"))
("000101111" ("cpu time: 580 real time: 579 gc time: 98" "cpu time: 567 real time: 566 gc time: 90" "cpu time: 570 real time: 568 gc time: 84" "cpu time: 567 real time: 566 gc time: 94" "cpu time: 550 real time: 551 gc time: 84" "cpu time: 570 real time: 568 gc time: 83" "cpu time: 563 real time: 563 gc time: 86" "cpu time: 557 real time: 555 gc time: 86"))
("000110000" ("cpu time: 523 real time: 524 gc time: 84" "cpu time: 517 real time: 515 gc time: 87" "cpu time: 533 real time: 534 gc time: 96" "cpu time: 517 real time: 517 gc time: 90" "cpu time: 517 real time: 520 gc time: 84" "cpu time: 514 real time: 512 gc time: 86" "cpu time: 517 real time: 519 gc time: 83" "cpu time: 513 real time: 511 gc time: 91"))
("000110001" ("cpu time: 530 real time: 527 gc time: 84" "cpu time: 530 real time: 529 gc time: 84" "cpu time: 526 real time: 526 gc time: 84" "cpu time: 526 real time: 528 gc time: 90" "cpu time: 527 real time: 530 gc time: 86" "cpu time: 530 real time: 531 gc time: 89" "cpu time: 540 real time: 539 gc time: 92" "cpu time: 544 real time: 545 gc time: 101"))
("000110010" ("cpu time: 517 real time: 514 gc time: 85" "cpu time: 520 real time: 517 gc time: 84" "cpu time: 517 real time: 515 gc time: 87" "cpu time: 523 real time: 523 gc time: 89" "cpu time: 523 real time: 523 gc time: 86" "cpu time: 520 real time: 520 gc time: 90" "cpu time: 540 real time: 538 gc time: 101" "cpu time: 534 real time: 535 gc time: 101"))
("000110011" ("cpu time: 537 real time: 537 gc time: 88" "cpu time: 530 real time: 530 gc time: 91" "cpu time: 527 real time: 524 gc time: 90" "cpu time: 537 real time: 533 gc time: 88" "cpu time: 536 real time: 535 gc time: 79" "cpu time: 523 real time: 525 gc time: 87" "cpu time: 533 real time: 531 gc time: 87" "cpu time: 530 real time: 531 gc time: 88"))
("000110100" ("cpu time: 537 real time: 535 gc time: 80" "cpu time: 537 real time: 535 gc time: 84" "cpu time: 534 real time: 532 gc time: 81" "cpu time: 530 real time: 528 gc time: 83" "cpu time: 540 real time: 538 gc time: 88" "cpu time: 543 real time: 544 gc time: 92" "cpu time: 533 real time: 533 gc time: 86" "cpu time: 553 real time: 552 gc time: 84"))
("000110101" ("cpu time: 560 real time: 560 gc time: 99" "cpu time: 553 real time: 555 gc time: 103" "cpu time: 554 real time: 553 gc time: 87" "cpu time: 546 real time: 549 gc time: 86" "cpu time: 564 real time: 564 gc time: 96" "cpu time: 557 real time: 555 gc time: 100" "cpu time: 550 real time: 550 gc time: 83" "cpu time: 544 real time: 544 gc time: 81"))
("000110110" ("cpu time: 533 real time: 535 gc time: 83" "cpu time: 547 real time: 547 gc time: 84" "cpu time: 536 real time: 536 gc time: 83" "cpu time: 547 real time: 549 gc time: 89" "cpu time: 556 real time: 555 gc time: 100" "cpu time: 546 real time: 545 gc time: 87" "cpu time: 540 real time: 538 gc time: 89" "cpu time: 527 real time: 529 gc time: 83"))
("000110111" ("cpu time: 543 real time: 541 gc time: 70" "cpu time: 543 real time: 544 gc time: 83" "cpu time: 573 real time: 572 gc time: 92" "cpu time: 550 real time: 549 gc time: 92" "cpu time: 563 real time: 562 gc time: 104" "cpu time: 546 real time: 546 gc time: 87" "cpu time: 540 real time: 538 gc time: 85" "cpu time: 550 real time: 548 gc time: 87"))
("000111000" ("cpu time: 533 real time: 532 gc time: 79" "cpu time: 527 real time: 527 gc time: 90" "cpu time: 527 real time: 526 gc time: 90" "cpu time: 530 real time: 528 gc time: 87" "cpu time: 524 real time: 525 gc time: 83" "cpu time: 536 real time: 536 gc time: 88" "cpu time: 530 real time: 532 gc time: 84" "cpu time: 527 real time: 526 gc time: 87"))
("000111001" ("cpu time: 540 real time: 541 gc time: 90" "cpu time: 530 real time: 530 gc time: 83" "cpu time: 537 real time: 535 gc time: 88" "cpu time: 540 real time: 537 gc time: 82" "cpu time: 540 real time: 540 gc time: 91" "cpu time: 536 real time: 538 gc time: 82" "cpu time: 536 real time: 535 gc time: 88" "cpu time: 533 real time: 533 gc time: 87"))
("000111010" ("cpu time: 534 real time: 532 gc time: 88" "cpu time: 546 real time: 544 gc time: 86" "cpu time: 527 real time: 524 gc time: 83" "cpu time: 526 real time: 527 gc time: 87" "cpu time: 537 real time: 533 gc time: 86" "cpu time: 526 real time: 527 gc time: 84" "cpu time: 537 real time: 535 gc time: 91" "cpu time: 527 real time: 528 gc time: 86"))
("000111011" ("cpu time: 536 real time: 539 gc time: 79" "cpu time: 543 real time: 542 gc time: 91" "cpu time: 537 real time: 537 gc time: 90" "cpu time: 557 real time: 555 gc time: 100" "cpu time: 544 real time: 543 gc time: 90" "cpu time: 536 real time: 535 gc time: 93" "cpu time: 540 real time: 541 gc time: 90" "cpu time: 560 real time: 562 gc time: 99"))
("000111100" ("cpu time: 550 real time: 546 gc time: 80" "cpu time: 544 real time: 543 gc time: 83" "cpu time: 546 real time: 549 gc time: 85" "cpu time: 547 real time: 546 gc time: 87" "cpu time: 550 real time: 548 gc time: 93" "cpu time: 543 real time: 544 gc time: 80" "cpu time: 550 real time: 551 gc time: 90" "cpu time: 546 real time: 547 gc time: 90"))
("000111101" ("cpu time: 550 real time: 550 gc time: 82" "cpu time: 553 real time: 554 gc time: 83" "cpu time: 547 real time: 546 gc time: 82" "cpu time: 557 real time: 555 gc time: 87" "cpu time: 560 real time: 559 gc time: 81" "cpu time: 567 real time: 566 gc time: 90" "cpu time: 567 real time: 567 gc time: 79" "cpu time: 553 real time: 554 gc time: 86"))
("000111110" ("cpu time: 547 real time: 546 gc time: 84" "cpu time: 550 real time: 548 gc time: 90" "cpu time: 546 real time: 548 gc time: 85" "cpu time: 546 real time: 546 gc time: 87" "cpu time: 544 real time: 545 gc time: 76" "cpu time: 553 real time: 556 gc time: 96" "cpu time: 540 real time: 542 gc time: 83" "cpu time: 570 real time: 569 gc time: 103"))
("000111111" ("cpu time: 564 real time: 562 gc time: 89" "cpu time: 560 real time: 557 gc time: 90" "cpu time: 553 real time: 553 gc time: 88" "cpu time: 557 real time: 554 gc time: 80" "cpu time: 560 real time: 558 gc time: 89" "cpu time: 554 real time: 553 gc time: 87" "cpu time: 560 real time: 562 gc time: 79" "cpu time: 557 real time: 555 gc time: 83"))
("001000000" ("cpu time: 436 real time: 437 gc time: 87" "cpu time: 433 real time: 430 gc time: 86" "cpu time: 430 real time: 429 gc time: 82" "cpu time: 440 real time: 439 gc time: 94" "cpu time: 433 real time: 430 gc time: 80" "cpu time: 427 real time: 428 gc time: 89" "cpu time: 420 real time: 419 gc time: 78" "cpu time: 433 real time: 433 gc time: 91"))
("001000001" ("cpu time: 460 real time: 457 gc time: 104" "cpu time: 440 real time: 438 gc time: 81" "cpu time: 440 real time: 439 gc time: 79" "cpu time: 433 real time: 436 gc time: 88" "cpu time: 447 real time: 447 gc time: 90" "cpu time: 443 real time: 445 gc time: 94" "cpu time: 450 real time: 450 gc time: 94" "cpu time: 437 real time: 436 gc time: 83"))
("001000010" ("cpu time: 427 real time: 430 gc time: 84" "cpu time: 427 real time: 428 gc time: 80" "cpu time: 427 real time: 428 gc time: 80" "cpu time: 430 real time: 430 gc time: 84" "cpu time: 430 real time: 430 gc time: 85" "cpu time: 430 real time: 430 gc time: 80" "cpu time: 430 real time: 429 gc time: 87" "cpu time: 430 real time: 430 gc time: 84"))
("001000011" ("cpu time: 447 real time: 446 gc time: 89" "cpu time: 446 real time: 445 gc time: 89" "cpu time: 457 real time: 458 gc time: 99" "cpu time: 437 real time: 438 gc time: 84" "cpu time: 447 real time: 446 gc time: 82" "cpu time: 450 real time: 448 gc time: 86" "cpu time: 447 real time: 443 gc time: 90" "cpu time: 437 real time: 435 gc time: 87"))
("001000100" ("cpu time: 444 real time: 444 gc time: 73" "cpu time: 453 real time: 455 gc time: 90" "cpu time: 470 real time: 470 gc time: 101" "cpu time: 454 real time: 449 gc time: 78" "cpu time: 466 real time: 464 gc time: 100" "cpu time: 463 real time: 463 gc time: 90" "cpu time: 446 real time: 446 gc time: 83" "cpu time: 457 real time: 454 gc time: 84"))
("001000101" ("cpu time: 457 real time: 455 gc time: 79" "cpu time: 450 real time: 451 gc time: 84" "cpu time: 453 real time: 456 gc time: 84" "cpu time: 453 real time: 449 gc time: 80" "cpu time: 474 real time: 476 gc time: 96" "cpu time: 457 real time: 456 gc time: 90" "cpu time: 453 real time: 452 gc time: 77" "cpu time: 460 real time: 457 gc time: 85"))
("001000110" ("cpu time: 453 real time: 453 gc time: 87" "cpu time: 453 real time: 450 gc time: 87" "cpu time: 453 real time: 455 gc time: 91" "cpu time: 446 real time: 442 gc time: 83" "cpu time: 463 real time: 463 gc time: 95" "cpu time: 447 real time: 448 gc time: 85" "cpu time: 453 real time: 452 gc time: 87" "cpu time: 466 real time: 465 gc time: 100"))
("001000111" ("cpu time: 467 real time: 463 gc time: 91" "cpu time: 460 real time: 459 gc time: 86" "cpu time: 463 real time: 463 gc time: 83" "cpu time: 470 real time: 468 gc time: 95" "cpu time: 470 real time: 468 gc time: 93" "cpu time: 460 real time: 461 gc time: 90" "cpu time: 456 real time: 459 gc time: 88" "cpu time: 457 real time: 457 gc time: 82"))
("001001000" ("cpu time: 450 real time: 451 gc time: 90" "cpu time: 436 real time: 438 gc time: 84" "cpu time: 450 real time: 449 gc time: 88" "cpu time: 440 real time: 441 gc time: 81" "cpu time: 444 real time: 443 gc time: 76" "cpu time: 447 real time: 448 gc time: 84" "cpu time: 447 real time: 447 gc time: 86" "cpu time: 453 real time: 453 gc time: 94"))
("001001001" ("cpu time: 447 real time: 444 gc time: 81" "cpu time: 466 real time: 464 gc time: 86" "cpu time: 474 real time: 471 gc time: 91" "cpu time: 460 real time: 460 gc time: 91" "cpu time: 453 real time: 453 gc time: 87" "cpu time: 454 real time: 453 gc time: 83" "cpu time: 454 real time: 452 gc time: 86" "cpu time: 457 real time: 454 gc time: 85"))
("001001010" ("cpu time: 444 real time: 444 gc time: 84" "cpu time: 443 real time: 443 gc time: 88" "cpu time: 447 real time: 447 gc time: 84" "cpu time: 447 real time: 445 gc time: 83" "cpu time: 447 real time: 445 gc time: 86" "cpu time: 453 real time: 448 gc time: 89" "cpu time: 440 real time: 442 gc time: 89" "cpu time: 447 real time: 448 gc time: 87"))
("001001011" ("cpu time: 474 real time: 474 gc time: 103" "cpu time: 457 real time: 458 gc time: 89" "cpu time: 464 real time: 462 gc time: 88" "cpu time: 453 real time: 451 gc time: 91" "cpu time: 457 real time: 456 gc time: 87" "cpu time: 457 real time: 456 gc time: 84" "cpu time: 467 real time: 465 gc time: 91" "cpu time: 453 real time: 450 gc time: 81"))
("001001100" ("cpu time: 456 real time: 457 gc time: 90" "cpu time: 480 real time: 480 gc time: 101" "cpu time: 460 real time: 461 gc time: 89" "cpu time: 467 real time: 465 gc time: 92" "cpu time: 463 real time: 459 gc time: 86" "cpu time: 463 real time: 464 gc time: 84" "cpu time: 467 real time: 466 gc time: 89" "cpu time: 467 real time: 465 gc time: 83"))
("001001101" ("cpu time: 477 real time: 473 gc time: 90" "cpu time: 466 real time: 465 gc time: 88" "cpu time: 477 real time: 479 gc time: 94" "cpu time: 473 real time: 469 gc time: 86" "cpu time: 476 real time: 476 gc time: 83" "cpu time: 463 real time: 463 gc time: 85" "cpu time: 473 real time: 471 gc time: 87" "cpu time: 483 real time: 482 gc time: 90"))
("001001110" ("cpu time: 460 real time: 461 gc time: 86" "cpu time: 460 real time: 460 gc time: 89" "cpu time: 460 real time: 458 gc time: 84" "cpu time: 457 real time: 458 gc time: 81" "cpu time: 460 real time: 460 gc time: 91" "cpu time: 463 real time: 462 gc time: 84" "cpu time: 463 real time: 460 gc time: 83" "cpu time: 460 real time: 459 gc time: 86"))
("001001111" ("cpu time: 470 real time: 472 gc time: 90" "cpu time: 457 real time: 458 gc time: 78" "cpu time: 470 real time: 470 gc time: 87" "cpu time: 467 real time: 468 gc time: 89" "cpu time: 474 real time: 471 gc time: 84" "cpu time: 470 real time: 470 gc time: 83" "cpu time: 467 real time: 465 gc time: 85" "cpu time: 467 real time: 467 gc time: 79"))
("001010000" ("cpu time: 430 real time: 429 gc time: 94" "cpu time: 430 real time: 431 gc time: 88" "cpu time: 437 real time: 437 gc time: 86" "cpu time: 440 real time: 440 gc time: 94" "cpu time: 440 real time: 437 gc time: 97" "cpu time: 443 real time: 444 gc time: 94" "cpu time: 437 real time: 438 gc time: 87" "cpu time: 433 real time: 434 gc time: 87"))
("001010001" ("cpu time: 447 real time: 443 gc time: 90" "cpu time: 447 real time: 444 gc time: 90" "cpu time: 444 real time: 445 gc time: 93" "cpu time: 446 real time: 444 gc time: 89" "cpu time: 467 real time: 467 gc time: 107" "cpu time: 443 real time: 442 gc time: 93" "cpu time: 450 real time: 450 gc time: 88" "cpu time: 443 real time: 443 gc time: 86"))
("001010010" ("cpu time: 440 real time: 440 gc time: 91" "cpu time: 426 real time: 427 gc time: 79" "cpu time: 440 real time: 436 gc time: 94" "cpu time: 440 real time: 441 gc time: 89" "cpu time: 430 real time: 430 gc time: 85" "cpu time: 440 real time: 441 gc time: 92" "cpu time: 437 real time: 434 gc time: 83" "cpu time: 437 real time: 435 gc time: 93"))
("001010011" ("cpu time: 437 real time: 441 gc time: 87" "cpu time: 454 real time: 451 gc time: 86" "cpu time: 444 real time: 443 gc time: 91" "cpu time: 447 real time: 444 gc time: 98" "cpu time: 470 real time: 469 gc time: 108" "cpu time: 460 real time: 463 gc time: 110" "cpu time: 444 real time: 442 gc time: 93" "cpu time: 443 real time: 442 gc time: 87"))
("001010100" ("cpu time: 476 real time: 474 gc time: 106" "cpu time: 474 real time: 473 gc time: 104" "cpu time: 454 real time: 453 gc time: 93" "cpu time: 453 real time: 453 gc time: 89" "cpu time: 456 real time: 458 gc time: 84" "cpu time: 443 real time: 444 gc time: 86" "cpu time: 457 real time: 458 gc time: 94" "cpu time: 450 real time: 448 gc time: 85"))
("001010101" ("cpu time: 463 real time: 465 gc time: 89" "cpu time: 460 real time: 460 gc time: 93" "cpu time: 464 real time: 462 gc time: 90" "cpu time: 476 real time: 474 gc time: 100" "cpu time: 466 real time: 465 gc time: 93" "cpu time: 463 real time: 463 gc time: 88" "cpu time: 474 real time: 473 gc time: 103" "cpu time: 466 real time: 465 gc time: 87"))
("001010110" ("cpu time: 460 real time: 457 gc time: 85" "cpu time: 463 real time: 463 gc time: 83" "cpu time: 457 real time: 453 gc time: 90" "cpu time: 457 real time: 456 gc time: 90" "cpu time: 453 real time: 453 gc time: 84" "cpu time: 460 real time: 460 gc time: 89" "cpu time: 453 real time: 452 gc time: 90" "cpu time: 450 real time: 451 gc time: 85"))
("001010111" ("cpu time: 466 real time: 467 gc time: 89" "cpu time: 460 real time: 460 gc time: 90" "cpu time: 456 real time: 455 gc time: 87" "cpu time: 480 real time: 479 gc time: 105" "cpu time: 477 real time: 476 gc time: 105" "cpu time: 480 real time: 478 gc time: 105" "cpu time: 460 real time: 460 gc time: 90" "cpu time: 460 real time: 460 gc time: 84"))
("001011000" ("cpu time: 470 real time: 469 gc time: 109" "cpu time: 460 real time: 458 gc time: 95" "cpu time: 440 real time: 440 gc time: 84" "cpu time: 447 real time: 446 gc time: 90" "cpu time: 467 real time: 464 gc time: 90" "cpu time: 447 real time: 446 gc time: 92" "cpu time: 456 real time: 457 gc time: 96" "cpu time: 447 real time: 446 gc time: 91"))
("001011001" ("cpu time: 456 real time: 456 gc time: 87" "cpu time: 480 real time: 481 gc time: 105" "cpu time: 457 real time: 457 gc time: 93" "cpu time: 470 real time: 470 gc time: 104" "cpu time: 457 real time: 456 gc time: 86" "cpu time: 463 real time: 462 gc time: 90" "cpu time: 467 real time: 466 gc time: 101" "cpu time: 450 real time: 451 gc time: 89"))
("001011010" ("cpu time: 457 real time: 457 gc time: 96" "cpu time: 444 real time: 445 gc time: 83" "cpu time: 443 real time: 442 gc time: 84" "cpu time: 457 real time: 454 gc time: 93" "cpu time: 440 real time: 440 gc time: 83" "cpu time: 460 real time: 459 gc time: 104" "cpu time: 457 real time: 456 gc time: 98" "cpu time: 450 real time: 451 gc time: 86"))
("001011011" ("cpu time: 457 real time: 457 gc time: 87" "cpu time: 460 real time: 458 gc time: 87" "cpu time: 460 real time: 460 gc time: 83" "cpu time: 457 real time: 456 gc time: 86" "cpu time: 470 real time: 472 gc time: 102" "cpu time: 477 real time: 477 gc time: 108" "cpu time: 457 real time: 457 gc time: 84" "cpu time: 456 real time: 457 gc time: 90"))
("001011100" ("cpu time: 450 real time: 451 gc time: 74" "cpu time: 463 real time: 463 gc time: 91" "cpu time: 463 real time: 465 gc time: 88" "cpu time: 470 real time: 469 gc time: 87" "cpu time: 477 real time: 477 gc time: 107" "cpu time: 483 real time: 481 gc time: 108" "cpu time: 460 real time: 462 gc time: 85" "cpu time: 460 real time: 461 gc time: 85"))
("001011101" ("cpu time: 467 real time: 467 gc time: 90" "cpu time: 480 real time: 476 gc time: 86" "cpu time: 470 real time: 470 gc time: 83" "cpu time: 483 real time: 480 gc time: 108" "cpu time: 480 real time: 480 gc time: 103" "cpu time: 470 real time: 472 gc time: 86" "cpu time: 490 real time: 486 gc time: 88" "cpu time: 473 real time: 470 gc time: 90"))
("001011110" ("cpu time: 473 real time: 468 gc time: 95" "cpu time: 483 real time: 479 gc time: 109" "cpu time: 463 real time: 463 gc time: 89" "cpu time: 487 real time: 483 gc time: 106" "cpu time: 467 real time: 467 gc time: 92" "cpu time: 464 real time: 462 gc time: 97" "cpu time: 473 real time: 469 gc time: 93" "cpu time: 467 real time: 466 gc time: 90"))
("001011111" ("cpu time: 467 real time: 467 gc time: 87" "cpu time: 470 real time: 471 gc time: 85" "cpu time: 467 real time: 465 gc time: 90" "cpu time: 473 real time: 474 gc time: 93" "cpu time: 477 real time: 477 gc time: 105" "cpu time: 463 real time: 464 gc time: 90" "cpu time: 470 real time: 467 gc time: 83" "cpu time: 483 real time: 484 gc time: 90"))
("001100000" ("cpu time: 534 real time: 533 gc time: 97" "cpu time: 524 real time: 520 gc time: 94" "cpu time: 520 real time: 520 gc time: 83" "cpu time: 520 real time: 519 gc time: 83" "cpu time: 513 real time: 514 gc time: 83" "cpu time: 517 real time: 517 gc time: 88" "cpu time: 530 real time: 531 gc time: 87" "cpu time: 527 real time: 526 gc time: 94"))
("001100001" ("cpu time: 533 real time: 533 gc time: 90" "cpu time: 530 real time: 528 gc time: 80" "cpu time: 526 real time: 528 gc time: 83" "cpu time: 540 real time: 539 gc time: 88" "cpu time: 527 real time: 526 gc time: 86" "cpu time: 530 real time: 527 gc time: 91" "cpu time: 553 real time: 554 gc time: 88" "cpu time: 530 real time: 529 gc time: 86"))
("001100010" ("cpu time: 537 real time: 539 gc time: 108" "cpu time: 526 real time: 525 gc time: 91" "cpu time: 520 real time: 520 gc time: 87" "cpu time: 523 real time: 522 gc time: 93" "cpu time: 516 real time: 513 gc time: 84" "cpu time: 540 real time: 541 gc time: 85" "cpu time: 517 real time: 516 gc time: 84" "cpu time: 523 real time: 523 gc time: 83"))
("001100011" ("cpu time: 534 real time: 536 gc time: 88" "cpu time: 536 real time: 535 gc time: 89" "cpu time: 540 real time: 543 gc time: 86" "cpu time: 540 real time: 541 gc time: 83" "cpu time: 540 real time: 538 gc time: 96" "cpu time: 530 real time: 528 gc time: 87" "cpu time: 526 real time: 526 gc time: 79" "cpu time: 536 real time: 536 gc time: 85"))
("001100100" ("cpu time: 557 real time: 556 gc time: 99" "cpu time: 540 real time: 537 gc time: 92" "cpu time: 557 real time: 556 gc time: 97" "cpu time: 544 real time: 545 gc time: 96" "cpu time: 546 real time: 544 gc time: 86" "cpu time: 540 real time: 540 gc time: 89" "cpu time: 544 real time: 544 gc time: 87" "cpu time: 550 real time: 550 gc time: 87"))
("001100101" ("cpu time: 564 real time: 562 gc time: 90" "cpu time: 557 real time: 557 gc time: 94" "cpu time: 544 real time: 542 gc time: 87" "cpu time: 546 real time: 544 gc time: 89" "cpu time: 563 real time: 561 gc time: 89" "cpu time: 556 real time: 555 gc time: 89" "cpu time: 570 real time: 569 gc time: 97" "cpu time: 543 real time: 545 gc time: 89"))
("001100110" ("cpu time: 560 real time: 557 gc time: 102" "cpu time: 550 real time: 549 gc time: 99" "cpu time: 550 real time: 548 gc time: 82" "cpu time: 533 real time: 536 gc time: 82" "cpu time: 543 real time: 542 gc time: 87" "cpu time: 557 real time: 555 gc time: 96" "cpu time: 536 real time: 536 gc time: 91" "cpu time: 543 real time: 544 gc time: 83"))
("001100111" ("cpu time: 550 real time: 548 gc time: 86" "cpu time: 544 real time: 541 gc time: 83" "cpu time: 560 real time: 559 gc time: 90" "cpu time: 550 real time: 548 gc time: 84" "cpu time: 560 real time: 558 gc time: 95" "cpu time: 567 real time: 563 gc time: 102" "cpu time: 550 real time: 548 gc time: 95" "cpu time: 556 real time: 556 gc time: 83"))
("001101000" ("cpu time: 547 real time: 543 gc time: 99" "cpu time: 553 real time: 551 gc time: 103" "cpu time: 540 real time: 535 gc time: 98" "cpu time: 534 real time: 534 gc time: 91" "cpu time: 530 real time: 529 gc time: 90" "cpu time: 533 real time: 531 gc time: 81" "cpu time: 557 real time: 551 gc time: 110" "cpu time: 540 real time: 540 gc time: 88"))
("001101001" ("cpu time: 550 real time: 549 gc time: 94" "cpu time: 550 real time: 546 gc time: 91" "cpu time: 577 real time: 573 gc time: 102" "cpu time: 546 real time: 544 gc time: 86" "cpu time: 553 real time: 555 gc time: 90" "cpu time: 546 real time: 545 gc time: 79" "cpu time: 536 real time: 537 gc time: 85" "cpu time: 567 real time: 566 gc time: 106"))
("001101010" ("cpu time: 560 real time: 560 gc time: 99" "cpu time: 543 real time: 542 gc time: 95" "cpu time: 523 real time: 523 gc time: 80" "cpu time: 530 real time: 529 gc time: 83" "cpu time: 543 real time: 540 gc time: 97" "cpu time: 554 real time: 555 gc time: 100" "cpu time: 536 real time: 537 gc time: 89" "cpu time: 540 real time: 538 gc time: 90"))
("001101011" ("cpu time: 547 real time: 546 gc time: 93" "cpu time: 557 real time: 558 gc time: 104" "cpu time: 550 real time: 548 gc time: 79" "cpu time: 570 real time: 567 gc time: 101" "cpu time: 546 real time: 544 gc time: 87" "cpu time: 567 real time: 564 gc time: 107" "cpu time: 554 real time: 550 gc time: 93" "cpu time: 547 real time: 547 gc time: 91"))
("001101100" ("cpu time: 547 real time: 548 gc time: 88" "cpu time: 550 real time: 547 gc time: 90" "cpu time: 563 real time: 564 gc time: 87" "cpu time: 557 real time: 557 gc time: 105" "cpu time: 547 real time: 546 gc time: 87" "cpu time: 557 real time: 556 gc time: 90" "cpu time: 547 real time: 548 gc time: 88" "cpu time: 550 real time: 550 gc time: 83"))
("001101101" ("cpu time: 563 real time: 564 gc time: 91" "cpu time: 554 real time: 554 gc time: 86" "cpu time: 563 real time: 562 gc time: 89" "cpu time: 557 real time: 556 gc time: 85" "cpu time: 557 real time: 557 gc time: 86" "cpu time: 554 real time: 554 gc time: 86" "cpu time: 564 real time: 563 gc time: 90" "cpu time: 566 real time: 566 gc time: 93"))
("001101110" ("cpu time: 546 real time: 546 gc time: 86" "cpu time: 547 real time: 548 gc time: 87" "cpu time: 550 real time: 550 gc time: 82" "cpu time: 547 real time: 548 gc time: 80" "cpu time: 560 real time: 558 gc time: 86" "cpu time: 553 real time: 552 gc time: 87" "cpu time: 553 real time: 552 gc time: 94" "cpu time: 554 real time: 554 gc time: 79"))
("001101111" ("cpu time: 573 real time: 572 gc time: 85" "cpu time: 557 real time: 557 gc time: 92" "cpu time: 564 real time: 561 gc time: 93" "cpu time: 574 real time: 570 gc time: 79" "cpu time: 557 real time: 555 gc time: 82" "cpu time: 566 real time: 564 gc time: 86" "cpu time: 560 real time: 556 gc time: 82" "cpu time: 550 real time: 550 gc time: 87"))
("001110000" ("cpu time: 510 real time: 512 gc time: 86" "cpu time: 520 real time: 516 gc time: 87" "cpu time: 527 real time: 524 gc time: 90" "cpu time: 524 real time: 523 gc time: 87" "cpu time: 530 real time: 530 gc time: 96" "cpu time: 520 real time: 518 gc time: 87" "cpu time: 517 real time: 514 gc time: 80" "cpu time: 530 real time: 528 gc time: 102"))
("001110001" ("cpu time: 550 real time: 550 gc time: 103" "cpu time: 537 real time: 535 gc time: 89" "cpu time: 540 real time: 542 gc time: 97" "cpu time: 530 real time: 528 gc time: 84" "cpu time: 527 real time: 528 gc time: 83" "cpu time: 527 real time: 524 gc time: 88" "cpu time: 537 real time: 533 gc time: 91" "cpu time: 530 real time: 531 gc time: 84"))
("001110010" ("cpu time: 526 real time: 526 gc time: 90" "cpu time: 520 real time: 519 gc time: 80" "cpu time: 524 real time: 522 gc time: 87" "cpu time: 520 real time: 521 gc time: 90" "cpu time: 533 real time: 535 gc time: 105" "cpu time: 517 real time: 515 gc time: 87" "cpu time: 540 real time: 538 gc time: 93" "cpu time: 520 real time: 521 gc time: 84"))
("001110011" ("cpu time: 543 real time: 542 gc time: 84" "cpu time: 547 real time: 546 gc time: 107" "cpu time: 530 real time: 530 gc time: 87" "cpu time: 553 real time: 551 gc time: 107" "cpu time: 526 real time: 525 gc time: 83" "cpu time: 530 real time: 531 gc time: 87" "cpu time: 526 real time: 524 gc time: 87" "cpu time: 530 real time: 529 gc time: 86"))
("001110100" ("cpu time: 550 real time: 547 gc time: 92" "cpu time: 550 real time: 551 gc time: 87" "cpu time: 533 real time: 531 gc time: 77" "cpu time: 536 real time: 536 gc time: 76" "cpu time: 540 real time: 537 gc time: 81" "cpu time: 537 real time: 538 gc time: 87" "cpu time: 530 real time: 530 gc time: 91" "cpu time: 537 real time: 538 gc time: 88"))
("001110101" ("cpu time: 543 real time: 545 gc time: 91" "cpu time: 550 real time: 546 gc time: 89" "cpu time: 550 real time: 547 gc time: 81" "cpu time: 550 real time: 552 gc time: 84" "cpu time: 550 real time: 548 gc time: 85" "cpu time: 557 real time: 557 gc time: 87" "cpu time: 546 real time: 547 gc time: 81" "cpu time: 543 real time: 541 gc time: 84"))
("001110110" ("cpu time: 543 real time: 544 gc time: 89" "cpu time: 530 real time: 531 gc time: 82" "cpu time: 537 real time: 538 gc time: 92" "cpu time: 536 real time: 541 gc time: 89" "cpu time: 534 real time: 533 gc time: 88" "cpu time: 533 real time: 532 gc time: 79" "cpu time: 534 real time: 533 gc time: 87" "cpu time: 537 real time: 534 gc time: 83"))
("001110111" ("cpu time: 550 real time: 551 gc time: 89" "cpu time: 553 real time: 553 gc time: 90" "cpu time: 536 real time: 539 gc time: 86" "cpu time: 560 real time: 558 gc time: 97" "cpu time: 553 real time: 550 gc time: 90" "cpu time: 563 real time: 564 gc time: 106" "cpu time: 550 real time: 552 gc time: 83" "cpu time: 550 real time: 549 gc time: 83"))
("001111000" ("cpu time: 537 real time: 534 gc time: 86" "cpu time: 527 real time: 525 gc time: 90" "cpu time: 523 real time: 524 gc time: 87" "cpu time: 530 real time: 529 gc time: 93" "cpu time: 530 real time: 532 gc time: 86" "cpu time: 546 real time: 545 gc time: 96" "cpu time: 533 real time: 531 gc time: 85" "cpu time: 537 real time: 536 gc time: 79"))
("001111001" ("cpu time: 534 real time: 532 gc time: 80" "cpu time: 540 real time: 539 gc time: 83" "cpu time: 536 real time: 535 gc time: 83" "cpu time: 550 real time: 550 gc time: 104" "cpu time: 547 real time: 544 gc time: 83" "cpu time: 540 real time: 541 gc time: 81" "cpu time: 543 real time: 543 gc time: 93" "cpu time: 557 real time: 556 gc time: 93"))
("001111010" ("cpu time: 527 real time: 526 gc time: 87" "cpu time: 534 real time: 532 gc time: 91" "cpu time: 530 real time: 528 gc time: 87" "cpu time: 537 real time: 535 gc time: 90" "cpu time: 527 real time: 526 gc time: 87" "cpu time: 540 real time: 537 gc time: 85" "cpu time: 533 real time: 536 gc time: 91" "cpu time: 543 real time: 546 gc time: 107"))
("001111011" ("cpu time: 543 real time: 543 gc time: 87" "cpu time: 546 real time: 543 gc time: 90" "cpu time: 550 real time: 545 gc time: 90" "cpu time: 556 real time: 555 gc time: 91" "cpu time: 540 real time: 538 gc time: 88" "cpu time: 537 real time: 537 gc time: 94" "cpu time: 533 real time: 535 gc time: 87" "cpu time: 533 real time: 534 gc time: 81"))
("001111100" ("cpu time: 550 real time: 550 gc time: 87" "cpu time: 550 real time: 552 gc time: 92" "cpu time: 550 real time: 548 gc time: 84" "cpu time: 550 real time: 552 gc time: 90" "cpu time: 560 real time: 559 gc time: 89" "cpu time: 543 real time: 543 gc time: 81" "cpu time: 566 real time: 567 gc time: 103" "cpu time: 557 real time: 556 gc time: 84"))
("001111101" ("cpu time: 557 real time: 558 gc time: 84" "cpu time: 557 real time: 557 gc time: 87" "cpu time: 567 real time: 566 gc time: 97" "cpu time: 573 real time: 570 gc time: 104" "cpu time: 560 real time: 559 gc time: 89" "cpu time: 554 real time: 555 gc time: 83" "cpu time: 546 real time: 547 gc time: 79" "cpu time: 560 real time: 557 gc time: 84"))
("001111110" ("cpu time: 544 real time: 542 gc time: 82" "cpu time: 560 real time: 559 gc time: 83" "cpu time: 556 real time: 557 gc time: 91" "cpu time: 557 real time: 558 gc time: 87" "cpu time: 553 real time: 555 gc time: 91" "cpu time: 540 real time: 539 gc time: 90" "cpu time: 536 real time: 539 gc time: 84" "cpu time: 550 real time: 552 gc time: 86"))
("001111111" ("cpu time: 557 real time: 554 gc time: 87" "cpu time: 564 real time: 563 gc time: 86" "cpu time: 554 real time: 554 gc time: 79" "cpu time: 563 real time: 563 gc time: 84" "cpu time: 550 real time: 551 gc time: 84" "cpu time: 550 real time: 553 gc time: 83" "cpu time: 553 real time: 553 gc time: 86" "cpu time: 577 real time: 576 gc time: 103"))
("010000000" ("cpu time: 407 real time: 408 gc time: 63" "cpu time: 410 real time: 409 gc time: 67" "cpu time: 407 real time: 404 gc time: 68" "cpu time: 400 real time: 401 gc time: 70" "cpu time: 407 real time: 406 gc time: 70" "cpu time: 424 real time: 420 gc time: 81" "cpu time: 410 real time: 406 gc time: 70" "cpu time: 407 real time: 403 gc time: 63"))
("010000001" ("cpu time: 433 real time: 434 gc time: 91" "cpu time: 436 real time: 439 gc time: 88" "cpu time: 453 real time: 452 gc time: 104" "cpu time: 440 real time: 439 gc time: 84" "cpu time: 440 real time: 439 gc time: 86" "cpu time: 443 real time: 440 gc time: 84" "cpu time: 440 real time: 440 gc time: 88" "cpu time: 450 real time: 451 gc time: 91"))
("010000010" ("cpu time: 436 real time: 434 gc time: 91" "cpu time: 450 real time: 448 gc time: 96" "cpu time: 440 real time: 439 gc time: 87" "cpu time: 427 real time: 426 gc time: 90" "cpu time: 423 real time: 422 gc time: 86" "cpu time: 447 real time: 446 gc time: 86" "cpu time: 433 real time: 430 gc time: 84" "cpu time: 430 real time: 432 gc time: 87"))
("010000011" ("cpu time: 437 real time: 436 gc time: 91" "cpu time: 433 real time: 436 gc time: 81" "cpu time: 440 real time: 438 gc time: 83" "cpu time: 433 real time: 435 gc time: 79" "cpu time: 453 real time: 452 gc time: 91" "cpu time: 443 real time: 439 gc time: 87" "cpu time: 440 real time: 438 gc time: 89" "cpu time: 453 real time: 453 gc time: 111"))
("010000100" ("cpu time: 447 real time: 448 gc time: 88" "cpu time: 460 real time: 459 gc time: 84" "cpu time: 466 real time: 467 gc time: 101" "cpu time: 453 real time: 453 gc time: 87" "cpu time: 446 real time: 445 gc time: 86" "cpu time: 450 real time: 449 gc time: 86" "cpu time: 443 real time: 444 gc time: 83" "cpu time: 446 real time: 447 gc time: 79"))
("010000101" ("cpu time: 457 real time: 457 gc time: 87" "cpu time: 463 real time: 461 gc time: 91" "cpu time: 466 real time: 463 gc time: 94" "cpu time: 483 real time: 478 gc time: 98" "cpu time: 457 real time: 457 gc time: 85" "cpu time: 463 real time: 458 gc time: 87" "cpu time: 457 real time: 455 gc time: 86" "cpu time: 450 real time: 450 gc time: 87"))
("010000110" ("cpu time: 446 real time: 448 gc time: 87" "cpu time: 457 real time: 456 gc time: 94" "cpu time: 453 real time: 452 gc time: 90" "cpu time: 456 real time: 456 gc time: 87" "cpu time: 436 real time: 439 gc time: 81" "cpu time: 460 real time: 460 gc time: 86" "cpu time: 444 real time: 445 gc time: 84" "cpu time: 447 real time: 444 gc time: 83"))
("010000111" ("cpu time: 453 real time: 452 gc time: 84" "cpu time: 454 real time: 453 gc time: 79" "cpu time: 464 real time: 462 gc time: 96" "cpu time: 456 real time: 456 gc time: 87" "cpu time: 460 real time: 458 gc time: 88" "cpu time: 477 real time: 474 gc time: 96" "cpu time: 457 real time: 455 gc time: 91" "cpu time: 457 real time: 457 gc time: 87"))
("010001000" ("cpu time: 447 real time: 443 gc time: 87" "cpu time: 433 real time: 434 gc time: 79" "cpu time: 440 real time: 439 gc time: 84" "cpu time: 447 real time: 448 gc time: 84" "cpu time: 447 real time: 443 gc time: 90" "cpu time: 450 real time: 450 gc time: 91" "cpu time: 437 real time: 438 gc time: 84" "cpu time: 450 real time: 452 gc time: 97"))
("010001001" ("cpu time: 453 real time: 454 gc time: 90" "cpu time: 460 real time: 457 gc time: 88" "cpu time: 447 real time: 447 gc time: 83" "cpu time: 447 real time: 444 gc time: 83" "cpu time: 443 real time: 445 gc time: 84" "cpu time: 460 real time: 460 gc time: 92" "cpu time: 447 real time: 446 gc time: 87" "cpu time: 453 real time: 451 gc time: 88"))
("010001010" ("cpu time: 440 real time: 440 gc time: 87" "cpu time: 464 real time: 464 gc time: 99" "cpu time: 440 real time: 443 gc time: 91" "cpu time: 443 real time: 443 gc time: 90" "cpu time: 436 real time: 435 gc time: 87" "cpu time: 450 real time: 450 gc time: 83" "cpu time: 470 real time: 467 gc time: 100" "cpu time: 447 real time: 445 gc time: 84"))
("010001011" ("cpu time: 460 real time: 460 gc time: 98" "cpu time: 457 real time: 458 gc time: 85" "cpu time: 457 real time: 458 gc time: 85" "cpu time: 453 real time: 451 gc time: 83" "cpu time: 470 real time: 468 gc time: 97" "cpu time: 456 real time: 456 gc time: 91" "cpu time: 450 real time: 450 gc time: 87" "cpu time: 454 real time: 451 gc time: 86"))
("010001100" ("cpu time: 457 real time: 454 gc time: 83" "cpu time: 463 real time: 461 gc time: 88" "cpu time: 463 real time: 458 gc time: 90" "cpu time: 457 real time: 456 gc time: 84" "cpu time: 470 real time: 468 gc time: 101" "cpu time: 473 real time: 473 gc time: 100" "cpu time: 456 real time: 458 gc time: 83" "cpu time: 456 real time: 458 gc time: 83"))
("010001101" ("cpu time: 476 real time: 475 gc time: 97" "cpu time: 463 real time: 459 gc time: 84" "cpu time: 467 real time: 463 gc time: 88" "cpu time: 460 real time: 460 gc time: 78" "cpu time: 460 real time: 460 gc time: 84" "cpu time: 480 real time: 481 gc time: 101" "cpu time: 470 real time: 469 gc time: 86" "cpu time: 474 real time: 473 gc time: 94"))
("010001110" ("cpu time: 457 real time: 457 gc time: 84" "cpu time: 470 real time: 470 gc time: 100" "cpu time: 460 real time: 460 gc time: 83" "cpu time: 467 real time: 462 gc time: 88" "cpu time: 453 real time: 455 gc time: 83" "cpu time: 477 real time: 475 gc time: 98" "cpu time: 453 real time: 455 gc time: 83" "cpu time: 457 real time: 454 gc time: 87"))
("010001111" ("cpu time: 476 real time: 476 gc time: 88" "cpu time: 464 real time: 464 gc time: 85" "cpu time: 470 real time: 470 gc time: 88" "cpu time: 477 real time: 477 gc time: 90" "cpu time: 467 real time: 464 gc time: 83" "cpu time: 463 real time: 463 gc time: 84" "cpu time: 477 real time: 476 gc time: 86" "cpu time: 490 real time: 489 gc time: 105"))
("010010000" ("cpu time: 427 real time: 428 gc time: 85" "cpu time: 440 real time: 437 gc time: 89" "cpu time: 430 real time: 428 gc time: 95" "cpu time: 427 real time: 426 gc time: 86" "cpu time: 447 real time: 448 gc time: 106" "cpu time: 430 real time: 428 gc time: 94" "cpu time: 436 real time: 435 gc time: 91" "cpu time: 427 real time: 427 gc time: 91"))
("010010001" ("cpu time: 443 real time: 443 gc time: 94" "cpu time: 443 real time: 444 gc time: 92" "cpu time: 443 real time: 441 gc time: 89" "cpu time: 446 real time: 443 gc time: 91" "cpu time: 447 real time: 444 gc time: 88" "cpu time: 440 real time: 440 gc time: 90" "cpu time: 446 real time: 443 gc time: 86" "cpu time: 456 real time: 455 gc time: 106"))
("010010010" ("cpu time: 427 real time: 427 gc time: 92" "cpu time: 430 real time: 433 gc time: 86" "cpu time: 430 real time: 431 gc time: 86" "cpu time: 434 real time: 433 gc time: 92" "cpu time: 437 real time: 434 gc time: 94" "cpu time: 430 real time: 430 gc time: 94" "cpu time: 437 real time: 436 gc time: 94" "cpu time: 430 real time: 430 gc time: 91"))
("010010011" ("cpu time: 440 real time: 443 gc time: 95" "cpu time: 443 real time: 440 gc time: 94" "cpu time: 434 real time: 432 gc time: 86" "cpu time: 453 real time: 451 gc time: 96" "cpu time: 443 real time: 443 gc time: 90" "cpu time: 440 real time: 440 gc time: 92" "cpu time: 437 real time: 438 gc time: 79" "cpu time: 447 real time: 447 gc time: 92"))
("010010100" ("cpu time: 453 real time: 453 gc time: 86" "cpu time: 453 real time: 454 gc time: 87" "cpu time: 454 real time: 452 gc time: 89" "cpu time: 450 real time: 448 gc time: 93" "cpu time: 447 real time: 446 gc time: 82" "cpu time: 443 real time: 445 gc time: 85" "cpu time: 463 real time: 467 gc time: 103" "cpu time: 446 real time: 444 gc time: 89"))
("010010101" ("cpu time: 463 real time: 463 gc time: 90" "cpu time: 470 real time: 470 gc time: 92" "cpu time: 463 real time: 460 gc time: 91" "cpu time: 463 real time: 463 gc time: 86" "cpu time: 456 real time: 456 gc time: 93" "cpu time: 457 real time: 456 gc time: 87" "cpu time: 463 real time: 465 gc time: 89" "cpu time: 460 real time: 457 gc time: 84"))
("010010110" ("cpu time: 450 real time: 447 gc time: 89" "cpu time: 450 real time: 449 gc time: 82" "cpu time: 457 real time: 451 gc time: 89" "cpu time: 447 real time: 449 gc time: 84" "cpu time: 450 real time: 449 gc time: 83" "cpu time: 456 real time: 455 gc time: 93" "cpu time: 460 real time: 462 gc time: 90" "cpu time: 454 real time: 454 gc time: 90"))
("010010111" ("cpu time: 460 real time: 459 gc time: 86" "cpu time: 456 real time: 459 gc time: 93" "cpu time: 453 real time: 453 gc time: 87" "cpu time: 456 real time: 455 gc time: 83" "cpu time: 443 real time: 443 gc time: 86" "cpu time: 467 real time: 464 gc time: 94" "cpu time: 457 real time: 454 gc time: 87" "cpu time: 457 real time: 457 gc time: 86"))
("010011000" ("cpu time: 444 real time: 441 gc time: 91" "cpu time: 437 real time: 436 gc time: 86" "cpu time: 446 real time: 450 gc time: 92" "cpu time: 440 real time: 443 gc time: 89" "cpu time: 447 real time: 445 gc time: 90" "cpu time: 450 real time: 451 gc time: 106" "cpu time: 434 real time: 433 gc time: 86" "cpu time: 440 real time: 441 gc time: 83"))
("010011001" ("cpu time: 450 real time: 452 gc time: 83" "cpu time: 473 real time: 474 gc time: 104" "cpu time: 460 real time: 460 gc time: 90" "cpu time: 454 real time: 453 gc time: 89" "cpu time: 460 real time: 461 gc time: 85" "cpu time: 450 real time: 447 gc time: 83" "cpu time: 477 real time: 476 gc time: 107" "cpu time: 450 real time: 452 gc time: 90"))
("010011010" ("cpu time: 440 real time: 442 gc time: 86" "cpu time: 453 real time: 452 gc time: 88" "cpu time: 440 real time: 438 gc time: 86" "cpu time: 464 real time: 462 gc time: 105" "cpu time: 436 real time: 438 gc time: 84" "cpu time: 454 real time: 452 gc time: 89" "cpu time: 450 real time: 447 gc time: 93" "cpu time: 450 real time: 451 gc time: 87"))
("010011011" ("cpu time: 447 real time: 447 gc time: 87" "cpu time: 460 real time: 460 gc time: 90" "cpu time: 457 real time: 455 gc time: 91" "cpu time: 470 real time: 469 gc time: 95" "cpu time: 487 real time: 486 gc time: 114" "cpu time: 457 real time: 454 gc time: 92" "cpu time: 460 real time: 460 gc time: 94" "cpu time: 460 real time: 461 gc time: 90"))
("010011100" ("cpu time: 470 real time: 471 gc time: 99" "cpu time: 473 real time: 476 gc time: 104" "cpu time: 460 real time: 461 gc time: 89" "cpu time: 463 real time: 461 gc time: 94" "cpu time: 460 real time: 458 gc time: 86" "cpu time: 483 real time: 483 gc time: 104" "cpu time: 454 real time: 454 gc time: 89" "cpu time: 473 real time: 476 gc time: 85"))
("010011101" ("cpu time: 470 real time: 468 gc time: 89" "cpu time: 470 real time: 471 gc time: 84" "cpu time: 474 real time: 473 gc time: 102" "cpu time: 477 real time: 477 gc time: 96" "cpu time: 467 real time: 464 gc time: 87" "cpu time: 463 real time: 463 gc time: 86" "cpu time: 464 real time: 464 gc time: 83" "cpu time: 473 real time: 473 gc time: 87"))
("010011110" ("cpu time: 460 real time: 456 gc time: 86" "cpu time: 457 real time: 454 gc time: 84" "cpu time: 466 real time: 465 gc time: 87" "cpu time: 460 real time: 460 gc time: 89" "cpu time: 456 real time: 458 gc time: 87" "cpu time: 460 real time: 458 gc time: 87" "cpu time: 466 real time: 465 gc time: 93" "cpu time: 457 real time: 455 gc time: 86"))
("010011111" ("cpu time: 463 real time: 463 gc time: 86" "cpu time: 467 real time: 464 gc time: 80" "cpu time: 473 real time: 473 gc time: 90" "cpu time: 477 real time: 477 gc time: 97" "cpu time: 466 real time: 464 gc time: 87" "cpu time: 473 real time: 471 gc time: 94" "cpu time: 470 real time: 472 gc time: 85" "cpu time: 477 real time: 476 gc time: 87"))
("010100000" ("cpu time: 520 real time: 516 gc time: 93" "cpu time: 520 real time: 521 gc time: 89" "cpu time: 530 real time: 529 gc time: 80" "cpu time: 534 real time: 530 gc time: 90" "cpu time: 514 real time: 514 gc time: 84" "cpu time: 513 real time: 515 gc time: 86" "cpu time: 520 real time: 518 gc time: 93" "cpu time: 537 real time: 535 gc time: 109"))
("010100001" ("cpu time: 530 real time: 530 gc time: 87" "cpu time: 530 real time: 529 gc time: 90" "cpu time: 533 real time: 531 gc time: 87" "cpu time: 540 real time: 541 gc time: 84" "cpu time: 533 real time: 533 gc time: 93" "cpu time: 530 real time: 531 gc time: 91" "cpu time: 537 real time: 537 gc time: 85" "cpu time: 536 real time: 534 gc time: 89"))
("010100010" ("cpu time: 520 real time: 522 gc time: 85" "cpu time: 530 real time: 529 gc time: 89" "cpu time: 520 real time: 520 gc time: 91" "cpu time: 533 real time: 530 gc time: 101" "cpu time: 516 real time: 515 gc time: 87" "cpu time: 524 real time: 523 gc time: 91" "cpu time: 517 real time: 516 gc time: 87" "cpu time: 537 real time: 537 gc time: 99"))
("010100011" ("cpu time: 530 real time: 530 gc time: 87" "cpu time: 526 real time: 527 gc time: 84" "cpu time: 530 real time: 529 gc time: 97" "cpu time: 533 real time: 533 gc time: 91" "cpu time: 546 real time: 544 gc time: 103" "cpu time: 540 real time: 538 gc time: 91" "cpu time: 530 real time: 525 gc time: 92" "cpu time: 536 real time: 537 gc time: 89"))
("010100100" ("cpu time: 540 real time: 536 gc time: 86" "cpu time: 543 real time: 544 gc time: 89" "cpu time: 547 real time: 543 gc time: 92" "cpu time: 543 real time: 545 gc time: 87" "cpu time: 533 real time: 533 gc time: 82" "cpu time: 543 real time: 540 gc time: 86" "cpu time: 550 real time: 549 gc time: 94" "cpu time: 533 real time: 535 gc time: 89"))
("010100101" ("cpu time: 544 real time: 541 gc time: 86" "cpu time: 540 real time: 539 gc time: 82" "cpu time: 550 real time: 547 gc time: 86" "cpu time: 546 real time: 550 gc time: 83" "cpu time: 557 real time: 559 gc time: 89" "cpu time: 537 real time: 536 gc time: 82" "cpu time: 547 real time: 548 gc time: 83" "cpu time: 550 real time: 550 gc time: 80"))
("010100110" ("cpu time: 543 real time: 543 gc time: 86" "cpu time: 537 real time: 538 gc time: 95" "cpu time: 540 real time: 540 gc time: 87" "cpu time: 547 real time: 543 gc time: 81" "cpu time: 530 real time: 529 gc time: 88" "cpu time: 526 real time: 527 gc time: 79" "cpu time: 547 real time: 546 gc time: 95" "cpu time: 537 real time: 534 gc time: 87"))
("010100111" ("cpu time: 540 real time: 539 gc time: 80" "cpu time: 556 real time: 559 gc time: 93" "cpu time: 557 real time: 554 gc time: 86" "cpu time: 546 real time: 545 gc time: 93" "cpu time: 550 real time: 547 gc time: 93" "cpu time: 543 real time: 541 gc time: 87" "cpu time: 560 real time: 558 gc time: 86" "cpu time: 553 real time: 551 gc time: 94"))
("010101000" ("cpu time: 530 real time: 528 gc time: 86" "cpu time: 540 real time: 537 gc time: 88" "cpu time: 536 real time: 534 gc time: 93" "cpu time: 533 real time: 533 gc time: 92" "cpu time: 520 real time: 522 gc time: 79" "cpu time: 550 real time: 547 gc time: 105" "cpu time: 534 real time: 535 gc time: 91" "cpu time: 540 real time: 540 gc time: 101"))
("010101001" ("cpu time: 533 real time: 534 gc time: 91" "cpu time: 550 real time: 546 gc time: 93" "cpu time: 540 real time: 543 gc time: 87" "cpu time: 553 real time: 551 gc time: 96" "cpu time: 537 real time: 535 gc time: 81" "cpu time: 547 real time: 545 gc time: 90" "cpu time: 543 real time: 541 gc time: 83" "cpu time: 546 real time: 547 gc time: 86"))
("010101010" ("cpu time: 527 real time: 526 gc time: 86" "cpu time: 530 real time: 530 gc time: 92" "cpu time: 533 real time: 531 gc time: 94" "cpu time: 530 real time: 527 gc time: 86" "cpu time: 530 real time: 528 gc time: 86" "cpu time: 534 real time: 534 gc time: 94" "cpu time: 530 real time: 531 gc time: 87" "cpu time: 534 real time: 534 gc time: 95"))
("010101011" ("cpu time: 547 real time: 545 gc time: 87" "cpu time: 543 real time: 544 gc time: 90" "cpu time: 556 real time: 559 gc time: 93" "cpu time: 547 real time: 547 gc time: 95" "cpu time: 533 real time: 532 gc time: 81" "cpu time: 544 real time: 541 gc time: 89" "cpu time: 540 real time: 541 gc time: 89" "cpu time: 547 real time: 548 gc time: 94"))
("010101100" ("cpu time: 557 real time: 555 gc time: 87" "cpu time: 550 real time: 549 gc time: 83" "cpu time: 553 real time: 553 gc time: 91" "cpu time: 547 real time: 547 gc time: 91" "cpu time: 547 real time: 546 gc time: 87" "cpu time: 556 real time: 557 gc time: 86" "cpu time: 560 real time: 559 gc time: 94" "cpu time: 550 real time: 552 gc time: 83"))
("010101101" ("cpu time: 567 real time: 565 gc time: 90" "cpu time: 556 real time: 556 gc time: 83" "cpu time: 573 real time: 570 gc time: 88" "cpu time: 557 real time: 555 gc time: 85" "cpu time: 563 real time: 564 gc time: 89" "cpu time: 563 real time: 560 gc time: 90" "cpu time: 557 real time: 556 gc time: 77" "cpu time: 570 real time: 571 gc time: 91"))
("010101110" ("cpu time: 557 real time: 557 gc time: 93" "cpu time: 566 real time: 567 gc time: 95" "cpu time: 550 real time: 549 gc time: 86" "cpu time: 560 real time: 563 gc time: 91" "cpu time: 550 real time: 551 gc time: 89" "cpu time: 556 real time: 558 gc time: 96" "cpu time: 556 real time: 556 gc time: 81" "cpu time: 547 real time: 549 gc time: 94"))
("010101111" ("cpu time: 557 real time: 557 gc time: 92" "cpu time: 560 real time: 562 gc time: 93" "cpu time: 563 real time: 560 gc time: 83" "cpu time: 550 real time: 554 gc time: 89" "cpu time: 566 real time: 566 gc time: 87" "cpu time: 557 real time: 557 gc time: 77" "cpu time: 567 real time: 565 gc time: 93" "cpu time: 563 real time: 563 gc time: 86"))
("010110000" ("cpu time: 527 real time: 523 gc time: 86" "cpu time: 516 real time: 516 gc time: 88" "cpu time: 523 real time: 519 gc time: 94" "cpu time: 520 real time: 517 gc time: 84" "cpu time: 523 real time: 522 gc time: 92" "cpu time: 530 real time: 529 gc time: 87" "cpu time: 516 real time: 515 gc time: 91" "cpu time: 516 real time: 516 gc time: 87"))
("010110001" ("cpu time: 523 real time: 522 gc time: 84" "cpu time: 523 real time: 522 gc time: 87" "cpu time: 520 real time: 520 gc time: 88" "cpu time: 546 real time: 548 gc time: 90" "cpu time: 520 real time: 519 gc time: 83" "cpu time: 524 real time: 522 gc time: 77" "cpu time: 537 real time: 538 gc time: 97" "cpu time: 533 real time: 534 gc time: 88"))
("010110010" ("cpu time: 516 real time: 514 gc time: 91" "cpu time: 516 real time: 512 gc time: 84" "cpu time: 520 real time: 520 gc time: 90" "cpu time: 540 real time: 538 gc time: 98" "cpu time: 516 real time: 516 gc time: 84" "cpu time: 513 real time: 513 gc time: 83" "cpu time: 517 real time: 516 gc time: 83" "cpu time: 523 real time: 525 gc time: 93"))
("010110011" ("cpu time: 526 real time: 528 gc time: 87" "cpu time: 523 real time: 524 gc time: 90" "cpu time: 530 real time: 528 gc time: 90" "cpu time: 523 real time: 523 gc time: 81" "cpu time: 524 real time: 523 gc time: 84" "cpu time: 526 real time: 527 gc time: 86" "cpu time: 527 real time: 527 gc time: 91" "cpu time: 530 real time: 529 gc time: 93"))
("010110100" ("cpu time: 526 real time: 524 gc time: 84" "cpu time: 533 real time: 533 gc time: 86" "cpu time: 533 real time: 534 gc time: 89" "cpu time: 537 real time: 537 gc time: 83" "cpu time: 527 real time: 525 gc time: 79" "cpu time: 520 real time: 522 gc time: 81" "cpu time: 544 real time: 542 gc time: 91" "cpu time: 537 real time: 537 gc time: 87"))
("010110101" ("cpu time: 543 real time: 542 gc time: 90" "cpu time: 534 real time: 536 gc time: 89" "cpu time: 560 real time: 560 gc time: 98" "cpu time: 546 real time: 549 gc time: 85" "cpu time: 537 real time: 538 gc time: 83" "cpu time: 540 real time: 541 gc time: 85" "cpu time: 553 real time: 551 gc time: 85" "cpu time: 550 real time: 550 gc time: 86"))
("010110110" ("cpu time: 540 real time: 539 gc time: 79" "cpu time: 527 real time: 527 gc time: 83" "cpu time: 540 real time: 538 gc time: 80" "cpu time: 533 real time: 533 gc time: 88" "cpu time: 533 real time: 534 gc time: 83" "cpu time: 530 real time: 531 gc time: 84" "cpu time: 536 real time: 536 gc time: 90" "cpu time: 557 real time: 557 gc time: 103"))
("010110111" ("cpu time: 547 real time: 547 gc time: 88" "cpu time: 534 real time: 535 gc time: 84" "cpu time: 550 real time: 553 gc time: 104" "cpu time: 544 real time: 542 gc time: 83" "cpu time: 547 real time: 547 gc time: 90" "cpu time: 563 real time: 566 gc time: 101" "cpu time: 544 real time: 543 gc time: 83" "cpu time: 573 real time: 572 gc time: 103"))
("010111000" ("cpu time: 530 real time: 530 gc time: 89" "cpu time: 550 real time: 547 gc time: 103" "cpu time: 534 real time: 535 gc time: 97" "cpu time: 530 real time: 529 gc time: 86" "cpu time: 537 real time: 534 gc time: 88" "cpu time: 537 real time: 532 gc time: 84" "cpu time: 534 real time: 532 gc time: 87" "cpu time: 533 real time: 533 gc time: 94"))
("010111001" ("cpu time: 550 real time: 550 gc time: 105" "cpu time: 550 real time: 550 gc time: 107" "cpu time: 536 real time: 536 gc time: 84" "cpu time: 526 real time: 528 gc time: 81" "cpu time: 560 real time: 558 gc time: 104" "cpu time: 534 real time: 533 gc time: 80" "cpu time: 550 real time: 550 gc time: 97" "cpu time: 530 real time: 531 gc time: 83"))
("010111010" ("cpu time: 533 real time: 535 gc time: 92" "cpu time: 530 real time: 529 gc time: 93" "cpu time: 544 real time: 541 gc time: 103" "cpu time: 530 real time: 527 gc time: 90" "cpu time: 533 real time: 531 gc time: 88" "cpu time: 533 real time: 531 gc time: 84" "cpu time: 526 real time: 527 gc time: 87" "cpu time: 533 real time: 534 gc time: 83"))
("010111011" ("cpu time: 530 real time: 530 gc time: 86" "cpu time: 540 real time: 540 gc time: 94" "cpu time: 533 real time: 536 gc time: 87" "cpu time: 540 real time: 535 gc time: 88" "cpu time: 537 real time: 534 gc time: 84" "cpu time: 540 real time: 540 gc time: 79" "cpu time: 540 real time: 536 gc time: 87" "cpu time: 537 real time: 538 gc time: 84"))
("010111100" ("cpu time: 554 real time: 551 gc time: 93" "cpu time: 550 real time: 550 gc time: 90" "cpu time: 550 real time: 548 gc time: 89" "cpu time: 550 real time: 548 gc time: 86" "cpu time: 546 real time: 547 gc time: 86" "cpu time: 540 real time: 539 gc time: 83" "cpu time: 557 real time: 558 gc time: 89" "cpu time: 547 real time: 548 gc time: 91"))
("010111101" ("cpu time: 557 real time: 555 gc time: 87" "cpu time: 570 real time: 571 gc time: 101" "cpu time: 567 real time: 568 gc time: 95" "cpu time: 554 real time: 556 gc time: 86" "cpu time: 560 real time: 559 gc time: 96" "cpu time: 553 real time: 554 gc time: 83" "cpu time: 557 real time: 557 gc time: 87" "cpu time: 553 real time: 555 gc time: 79"))
("010111110" ("cpu time: 554 real time: 552 gc time: 86" "cpu time: 540 real time: 539 gc time: 83" "cpu time: 546 real time: 547 gc time: 84" "cpu time: 550 real time: 549 gc time: 86" "cpu time: 544 real time: 545 gc time: 87" "cpu time: 557 real time: 556 gc time: 80" "cpu time: 550 real time: 549 gc time: 82" "cpu time: 556 real time: 556 gc time: 81"))
("010111111" ("cpu time: 560 real time: 558 gc time: 92" "cpu time: 554 real time: 555 gc time: 87" "cpu time: 564 real time: 564 gc time: 103" "cpu time: 563 real time: 564 gc time: 97" "cpu time: 573 real time: 572 gc time: 107" "cpu time: 563 real time: 560 gc time: 87" "cpu time: 554 real time: 554 gc time: 87" "cpu time: 567 real time: 565 gc time: 87"))
("011000000" ("cpu time: 430 real time: 429 gc time: 84" "cpu time: 433 real time: 434 gc time: 90" "cpu time: 427 real time: 426 gc time: 80" "cpu time: 434 real time: 436 gc time: 83" "cpu time: 427 real time: 428 gc time: 81" "cpu time: 447 real time: 443 gc time: 94" "cpu time: 423 real time: 424 gc time: 80" "cpu time: 440 real time: 439 gc time: 91"))
("011000001" ("cpu time: 440 real time: 438 gc time: 86" "cpu time: 446 real time: 444 gc time: 90" "cpu time: 437 real time: 438 gc time: 84" "cpu time: 444 real time: 439 gc time: 91" "cpu time: 453 real time: 450 gc time: 100" "cpu time: 440 real time: 441 gc time: 85" "cpu time: 443 real time: 440 gc time: 82" "cpu time: 446 real time: 448 gc time: 89"))
("011000010" ("cpu time: 437 real time: 432 gc time: 89" "cpu time: 437 real time: 439 gc time: 84" "cpu time: 436 real time: 438 gc time: 85" "cpu time: 436 real time: 433 gc time: 87" "cpu time: 437 real time: 436 gc time: 81" "cpu time: 436 real time: 436 gc time: 88" "cpu time: 437 real time: 433 gc time: 87" "cpu time: 427 real time: 426 gc time: 84"))
("011000011" ("cpu time: 450 real time: 448 gc time: 82" "cpu time: 440 real time: 439 gc time: 82" "cpu time: 444 real time: 441 gc time: 87" "cpu time: 443 real time: 442 gc time: 89" "cpu time: 443 real time: 443 gc time: 90" "cpu time: 440 real time: 440 gc time: 90" "cpu time: 433 real time: 434 gc time: 87" "cpu time: 443 real time: 444 gc time: 83"))
("011000100" ("cpu time: 443 real time: 446 gc time: 84" "cpu time: 460 real time: 459 gc time: 97" "cpu time: 453 real time: 454 gc time: 87" "cpu time: 453 real time: 451 gc time: 86" "cpu time: 453 real time: 451 gc time: 90" "cpu time: 443 real time: 442 gc time: 88" "cpu time: 460 real time: 459 gc time: 99" "cpu time: 464 real time: 461 gc time: 96"))
("011000101" ("cpu time: 457 real time: 457 gc time: 81" "cpu time: 453 real time: 454 gc time: 84" "cpu time: 477 real time: 474 gc time: 101" "cpu time: 473 real time: 472 gc time: 96" "cpu time: 457 real time: 458 gc time: 88" "cpu time: 457 real time: 457 gc time: 87" "cpu time: 467 real time: 465 gc time: 97" "cpu time: 464 real time: 463 gc time: 81"))
("011000110" ("cpu time: 444 real time: 442 gc time: 87" "cpu time: 454 real time: 450 gc time: 90" "cpu time: 460 real time: 461 gc time: 94" "cpu time: 457 real time: 455 gc time: 97" "cpu time: 463 real time: 461 gc time: 97" "cpu time: 446 real time: 445 gc time: 83" "cpu time: 460 real time: 460 gc time: 93" "cpu time: 454 real time: 452 gc time: 83"))
("011000111" ("cpu time: 457 real time: 456 gc time: 80" "cpu time: 460 real time: 459 gc time: 84" "cpu time: 453 real time: 452 gc time: 81" "cpu time: 456 real time: 451 gc time: 87" "cpu time: 460 real time: 459 gc time: 82" "cpu time: 457 real time: 454 gc time: 78" "cpu time: 480 real time: 480 gc time: 100" "cpu time: 457 real time: 458 gc time: 79"))
("011001000" ("cpu time: 436 real time: 435 gc time: 73" "cpu time: 460 real time: 461 gc time: 98" "cpu time: 443 real time: 440 gc time: 84" "cpu time: 440 real time: 441 gc time: 83" "cpu time: 447 real time: 447 gc time: 83" "cpu time: 466 real time: 466 gc time: 100" "cpu time: 450 real time: 449 gc time: 88" "cpu time: 443 real time: 442 gc time: 89"))
("011001001" ("cpu time: 450 real time: 453 gc time: 84" "cpu time: 457 real time: 458 gc time: 84" "cpu time: 470 real time: 469 gc time: 93" "cpu time: 457 real time: 456 gc time: 89" "cpu time: 457 real time: 456 gc time: 89" "cpu time: 457 real time: 455 gc time: 89" "cpu time: 464 real time: 463 gc time: 89" "cpu time: 457 real time: 456 gc time: 87"))
("011001010" ("cpu time: 440 real time: 439 gc time: 86" "cpu time: 440 real time: 437 gc time: 81" "cpu time: 443 real time: 441 gc time: 87" "cpu time: 443 real time: 440 gc time: 87" "cpu time: 437 real time: 437 gc time: 82" "cpu time: 446 real time: 446 gc time: 85" "cpu time: 440 real time: 439 gc time: 87" "cpu time: 450 real time: 451 gc time: 90"))
("011001011" ("cpu time: 453 real time: 452 gc time: 87" "cpu time: 450 real time: 449 gc time: 79" "cpu time: 456 real time: 454 gc time: 90" "cpu time: 470 real time: 467 gc time: 103" "cpu time: 467 real time: 469 gc time: 97" "cpu time: 454 real time: 450 gc time: 82" "cpu time: 450 real time: 451 gc time: 81" "cpu time: 450 real time: 450 gc time: 83"))
("011001100" ("cpu time: 460 real time: 457 gc time: 86" "cpu time: 467 real time: 466 gc time: 91" "cpu time: 464 real time: 461 gc time: 83" "cpu time: 460 real time: 459 gc time: 79" "cpu time: 463 real time: 463 gc time: 87" "cpu time: 456 real time: 456 gc time: 91" "cpu time: 464 real time: 460 gc time: 86" "cpu time: 460 real time: 459 gc time: 89"))
("011001101" ("cpu time: 457 real time: 456 gc time: 81" "cpu time: 473 real time: 470 gc time: 90" "cpu time: 473 real time: 469 gc time: 83" "cpu time: 467 real time: 468 gc time: 82" "cpu time: 466 real time: 467 gc time: 85" "cpu time: 470 real time: 467 gc time: 90" "cpu time: 473 real time: 472 gc time: 83" "cpu time: 470 real time: 470 gc time: 81"))
("011001110" ("cpu time: 477 real time: 476 gc time: 104" "cpu time: 464 real time: 463 gc time: 86" "cpu time: 470 real time: 465 gc time: 92" "cpu time: 460 real time: 461 gc time: 76" "cpu time: 467 real time: 464 gc time: 88" "cpu time: 470 real time: 471 gc time: 96" "cpu time: 464 real time: 467 gc time: 92" "cpu time: 463 real time: 461 gc time: 85"))
("011001111" ("cpu time: 474 real time: 476 gc time: 87" "cpu time: 484 real time: 481 gc time: 90" "cpu time: 467 real time: 467 gc time: 86" "cpu time: 467 real time: 468 gc time: 83" "cpu time: 463 real time: 460 gc time: 83" "cpu time: 460 real time: 460 gc time: 81" "cpu time: 470 real time: 468 gc time: 82" "cpu time: 476 real time: 477 gc time: 81"))
("011010000" ("cpu time: 433 real time: 435 gc time: 94" "cpu time: 450 real time: 451 gc time: 104" "cpu time: 427 real time: 425 gc time: 91" "cpu time: 427 real time: 428 gc time: 82" "cpu time: 434 real time: 432 gc time: 90" "cpu time: 436 real time: 435 gc time: 93" "cpu time: 437 real time: 437 gc time: 89" "cpu time: 436 real time: 439 gc time: 84"))
("011010001" ("cpu time: 446 real time: 444 gc time: 89" "cpu time: 447 real time: 447 gc time: 90" "cpu time: 446 real time: 443 gc time: 89" "cpu time: 437 real time: 440 gc time: 87" "cpu time: 443 real time: 444 gc time: 87" "cpu time: 444 real time: 444 gc time: 88" "cpu time: 440 real time: 442 gc time: 90" "cpu time: 443 real time: 443 gc time: 92"))
("011010010" ("cpu time: 434 real time: 434 gc time: 87" "cpu time: 430 real time: 427 gc time: 80" "cpu time: 437 real time: 436 gc time: 92" "cpu time: 433 real time: 432 gc time: 87" "cpu time: 433 real time: 432 gc time: 82" "cpu time: 440 real time: 438 gc time: 86" "cpu time: 447 real time: 443 gc time: 100" "cpu time: 440 real time: 439 gc time: 88"))
("011010011" ("cpu time: 440 real time: 442 gc time: 90" "cpu time: 447 real time: 446 gc time: 91" "cpu time: 450 real time: 447 gc time: 95" "cpu time: 444 real time: 443 gc time: 90" "cpu time: 437 real time: 437 gc time: 91" "cpu time: 443 real time: 444 gc time: 90" "cpu time: 447 real time: 442 gc time: 95" "cpu time: 450 real time: 446 gc time: 81"))
("011010100" ("cpu time: 453 real time: 452 gc time: 91" "cpu time: 464 real time: 464 gc time: 97" "cpu time: 470 real time: 467 gc time: 108" "cpu time: 450 real time: 452 gc time: 85" "cpu time: 450 real time: 449 gc time: 86" "cpu time: 457 real time: 456 gc time: 90" "cpu time: 457 real time: 456 gc time: 86" "cpu time: 473 real time: 469 gc time: 100"))
("011010101" ("cpu time: 456 real time: 455 gc time: 90" "cpu time: 453 real time: 453 gc time: 87" "cpu time: 460 real time: 461 gc time: 86" "cpu time: 456 real time: 457 gc time: 84" "cpu time: 466 real time: 467 gc time: 94" "cpu time: 467 real time: 468 gc time: 96" "cpu time: 473 real time: 472 gc time: 87" "cpu time: 460 real time: 460 gc time: 90"))
("011010110" ("cpu time: 460 real time: 462 gc time: 91" "cpu time: 446 real time: 450 gc time: 88" "cpu time: 460 real time: 456 gc time: 94" "cpu time: 450 real time: 450 gc time: 90" "cpu time: 453 real time: 454 gc time: 90" "cpu time: 447 real time: 442 gc time: 91" "cpu time: 473 real time: 472 gc time: 107" "cpu time: 463 real time: 463 gc time: 94"))
("011010111" ("cpu time: 456 real time: 458 gc time: 93" "cpu time: 477 real time: 474 gc time: 94" "cpu time: 456 real time: 459 gc time: 90" "cpu time: 467 real time: 462 gc time: 93" "cpu time: 460 real time: 460 gc time: 89" "cpu time: 460 real time: 459 gc time: 87" "cpu time: 464 real time: 464 gc time: 94" "cpu time: 467 real time: 469 gc time: 88"))
("011011000" ("cpu time: 450 real time: 451 gc time: 91" "cpu time: 450 real time: 448 gc time: 93" "cpu time: 450 real time: 450 gc time: 90" "cpu time: 446 real time: 445 gc time: 85" "cpu time: 453 real time: 452 gc time: 96" "cpu time: 444 real time: 441 gc time: 87" "cpu time: 440 real time: 441 gc time: 86" "cpu time: 450 real time: 448 gc time: 89"))
("011011001" ("cpu time: 457 real time: 451 gc time: 90" "cpu time: 480 real time: 480 gc time: 105" "cpu time: 460 real time: 457 gc time: 91" "cpu time: 446 real time: 449 gc time: 86" "cpu time: 454 real time: 453 gc time: 87" "cpu time: 460 real time: 459 gc time: 87" "cpu time: 453 real time: 454 gc time: 89" "cpu time: 457 real time: 456 gc time: 91"))
("011011010" ("cpu time: 443 real time: 444 gc time: 86" "cpu time: 454 real time: 452 gc time: 93" "cpu time: 453 real time: 456 gc time: 101" "cpu time: 447 real time: 445 gc time: 92" "cpu time: 450 real time: 450 gc time: 94" "cpu time: 447 real time: 446 gc time: 90" "cpu time: 446 real time: 448 gc time: 82" "cpu time: 450 real time: 450 gc time: 90"))
("011011011" ("cpu time: 453 real time: 453 gc time: 84" "cpu time: 460 real time: 460 gc time: 93" "cpu time: 470 real time: 470 gc time: 103" "cpu time: 457 real time: 460 gc time: 91" "cpu time: 453 real time: 455 gc time: 87" "cpu time: 466 real time: 464 gc time: 91" "cpu time: 460 real time: 459 gc time: 89" "cpu time: 454 real time: 453 gc time: 86"))
("011011100" ("cpu time: 456 real time: 458 gc time: 87" "cpu time: 470 real time: 471 gc time: 87" "cpu time: 466 real time: 465 gc time: 89" "cpu time: 477 real time: 475 gc time: 103" "cpu time: 464 real time: 462 gc time: 94" "cpu time: 483 real time: 480 gc time: 105" "cpu time: 480 real time: 478 gc time: 102" "cpu time: 470 real time: 470 gc time: 87"))
("011011101" ("cpu time: 460 real time: 462 gc time: 89" "cpu time: 473 real time: 474 gc time: 88" "cpu time: 483 real time: 482 gc time: 101" "cpu time: 467 real time: 465 gc time: 87" "cpu time: 464 real time: 463 gc time: 83" "cpu time: 467 real time: 466 gc time: 90" "cpu time: 477 real time: 473 gc time: 91" "cpu time: 477 real time: 477 gc time: 94"))
("011011110" ("cpu time: 467 real time: 469 gc time: 94" "cpu time: 463 real time: 461 gc time: 83" "cpu time: 460 real time: 460 gc time: 83" "cpu time: 463 real time: 461 gc time: 86" "cpu time: 463 real time: 464 gc time: 93" "cpu time: 466 real time: 468 gc time: 87" "cpu time: 460 real time: 459 gc time: 93" "cpu time: 463 real time: 465 gc time: 93"))
("011011111" ("cpu time: 466 real time: 465 gc time: 87" "cpu time: 497 real time: 494 gc time: 111" "cpu time: 470 real time: 470 gc time: 86" "cpu time: 467 real time: 470 gc time: 89" "cpu time: 466 real time: 467 gc time: 94" "cpu time: 470 real time: 466 gc time: 87" "cpu time: 467 real time: 467 gc time: 90" "cpu time: 466 real time: 469 gc time: 91"))
("011100000" ("cpu time: 527 real time: 527 gc time: 98" "cpu time: 523 real time: 517 gc time: 82" "cpu time: 523 real time: 525 gc time: 91" "cpu time: 520 real time: 518 gc time: 87" "cpu time: 526 real time: 522 gc time: 89" "cpu time: 520 real time: 517 gc time: 90" "cpu time: 533 real time: 532 gc time: 98" "cpu time: 526 real time: 526 gc time: 85"))
("011100001" ("cpu time: 533 real time: 535 gc time: 83" "cpu time: 547 real time: 549 gc time: 102" "cpu time: 537 real time: 535 gc time: 91" "cpu time: 547 real time: 543 gc time: 94" "cpu time: 537 real time: 534 gc time: 88" "cpu time: 544 real time: 540 gc time: 86" "cpu time: 530 real time: 532 gc time: 89" "cpu time: 534 real time: 531 gc time: 90"))
("011100010" ("cpu time: 523 real time: 522 gc time: 86" "cpu time: 513 real time: 513 gc time: 86" "cpu time: 520 real time: 522 gc time: 86" "cpu time: 523 real time: 524 gc time: 90" "cpu time: 520 real time: 517 gc time: 87" "cpu time: 530 real time: 527 gc time: 102" "cpu time: 520 real time: 520 gc time: 90" "cpu time: 517 real time: 516 gc time: 87"))
("011100011" ("cpu time: 550 real time: 548 gc time: 104" "cpu time: 540 real time: 539 gc time: 92" "cpu time: 543 real time: 542 gc time: 93" "cpu time: 537 real time: 536 gc time: 88" "cpu time: 537 real time: 537 gc time: 88" "cpu time: 534 real time: 534 gc time: 87" "cpu time: 550 real time: 547 gc time: 94" "cpu time: 543 real time: 543 gc time: 86"))
("011100100" ("cpu time: 533 real time: 533 gc time: 85" "cpu time: 553 real time: 553 gc time: 91" "cpu time: 536 real time: 536 gc time: 85" "cpu time: 543 real time: 542 gc time: 86" "cpu time: 536 real time: 537 gc time: 86" "cpu time: 540 real time: 542 gc time: 90" "cpu time: 550 real time: 548 gc time: 90" "cpu time: 550 real time: 551 gc time: 83"))
("011100101" ("cpu time: 563 real time: 562 gc time: 93" "cpu time: 553 real time: 553 gc time: 91" "cpu time: 557 real time: 558 gc time: 87" "cpu time: 550 real time: 547 gc time: 92" "cpu time: 544 real time: 544 gc time: 87" "cpu time: 553 real time: 552 gc time: 89" "cpu time: 540 real time: 539 gc time: 80" "cpu time: 550 real time: 549 gc time: 90"))
("011100110" ("cpu time: 546 real time: 548 gc time: 92" "cpu time: 547 real time: 545 gc time: 95" "cpu time: 530 real time: 529 gc time: 84" "cpu time: 543 real time: 542 gc time: 93" "cpu time: 550 real time: 550 gc time: 85" "cpu time: 550 real time: 549 gc time: 89" "cpu time: 536 real time: 534 gc time: 93" "cpu time: 543 real time: 544 gc time: 90"))
("011100111" ("cpu time: 567 real time: 568 gc time: 94" "cpu time: 547 real time: 548 gc time: 94" "cpu time: 543 real time: 544 gc time: 89" "cpu time: 560 real time: 560 gc time: 87" "cpu time: 550 real time: 552 gc time: 81" "cpu time: 547 real time: 545 gc time: 87" "cpu time: 546 real time: 545 gc time: 86" "cpu time: 560 real time: 559 gc time: 84"))
("011101000" ("cpu time: 530 real time: 529 gc time: 93" "cpu time: 537 real time: 535 gc time: 88" "cpu time: 533 real time: 532 gc time: 89" "cpu time: 526 real time: 527 gc time: 90" "cpu time: 547 real time: 544 gc time: 104" "cpu time: 533 real time: 530 gc time: 87" "cpu time: 537 real time: 535 gc time: 94" "cpu time: 537 real time: 536 gc time: 88"))
("011101001" ("cpu time: 553 real time: 551 gc time: 94" "cpu time: 544 real time: 544 gc time: 90" "cpu time: 544 real time: 544 gc time: 90" "cpu time: 547 real time: 545 gc time: 90" "cpu time: 536 real time: 537 gc time: 85" "cpu time: 543 real time: 542 gc time: 84" "cpu time: 557 real time: 552 gc time: 98" "cpu time: 540 real time: 539 gc time: 82"))
("011101010" ("cpu time: 543 real time: 544 gc time: 89" "cpu time: 550 real time: 548 gc time: 99" "cpu time: 550 real time: 547 gc time: 91" "cpu time: 533 real time: 530 gc time: 91" "cpu time: 533 real time: 532 gc time: 86" "cpu time: 537 real time: 534 gc time: 88" "cpu time: 537 real time: 536 gc time: 88" "cpu time: 557 real time: 555 gc time: 101"))
("011101011" ("cpu time: 577 real time: 578 gc time: 99" "cpu time: 540 real time: 543 gc time: 90" "cpu time: 544 real time: 544 gc time: 89" "cpu time: 540 real time: 540 gc time: 80" "cpu time: 544 real time: 544 gc time: 90" "cpu time: 546 real time: 545 gc time: 96" "cpu time: 544 real time: 545 gc time: 90" "cpu time: 546 real time: 548 gc time: 83"))
("011101100" ("cpu time: 564 real time: 563 gc time: 87" "cpu time: 557 real time: 556 gc time: 82" "cpu time: 550 real time: 551 gc time: 87" "cpu time: 557 real time: 557 gc time: 96" "cpu time: 563 real time: 563 gc time: 87" "cpu time: 557 real time: 554 gc time: 90" "cpu time: 567 real time: 565 gc time: 88" "cpu time: 550 real time: 550 gc time: 92"))
("011101101" ("cpu time: 570 real time: 566 gc time: 94" "cpu time: 554 real time: 553 gc time: 85" "cpu time: 577 real time: 576 gc time: 95" "cpu time: 574 real time: 574 gc time: 97" "cpu time: 557 real time: 555 gc time: 83" "cpu time: 557 real time: 555 gc time: 92" "cpu time: 573 real time: 571 gc time: 100" "cpu time: 573 real time: 573 gc time: 89"))
("011101110" ("cpu time: 557 real time: 555 gc time: 86" "cpu time: 573 real time: 571 gc time: 98" "cpu time: 550 real time: 551 gc time: 89" "cpu time: 557 real time: 557 gc time: 93" "cpu time: 547 real time: 542 gc time: 82" "cpu time: 553 real time: 549 gc time: 85" "cpu time: 570 real time: 569 gc time: 94" "cpu time: 567 real time: 567 gc time: 91"))
("011101111" ("cpu time: 567 real time: 564 gc time: 90" "cpu time: 564 real time: 562 gc time: 94" "cpu time: 557 real time: 559 gc time: 91" "cpu time: 577 real time: 575 gc time: 106" "cpu time: 570 real time: 568 gc time: 88" "cpu time: 550 real time: 549 gc time: 84" "cpu time: 560 real time: 562 gc time: 91" "cpu time: 570 real time: 570 gc time: 87"))
("011110000" ("cpu time: 523 real time: 523 gc time: 87" "cpu time: 517 real time: 516 gc time: 83" "cpu time: 520 real time: 518 gc time: 90" "cpu time: 523 real time: 522 gc time: 90" "cpu time: 517 real time: 518 gc time: 83" "cpu time: 524 real time: 521 gc time: 93" "cpu time: 520 real time: 519 gc time: 91" "cpu time: 520 real time: 519 gc time: 83"))
("011110001" ("cpu time: 526 real time: 529 gc time: 91" "cpu time: 527 real time: 523 gc time: 87" "cpu time: 527 real time: 530 gc time: 86" "cpu time: 526 real time: 528 gc time: 91" "cpu time: 530 real time: 529 gc time: 90" "cpu time: 524 real time: 523 gc time: 80" "cpu time: 527 real time: 525 gc time: 87" "cpu time: 533 real time: 533 gc time: 80"))
("011110010" ("cpu time: 516 real time: 517 gc time: 78" "cpu time: 514 real time: 512 gc time: 85" "cpu time: 513 real time: 514 gc time: 90" "cpu time: 520 real time: 517 gc time: 87" "cpu time: 520 real time: 518 gc time: 87" "cpu time: 520 real time: 521 gc time: 89" "cpu time: 520 real time: 522 gc time: 93" "cpu time: 540 real time: 540 gc time: 100"))
("011110011" ("cpu time: 526 real time: 525 gc time: 87" "cpu time: 530 real time: 529 gc time: 82" "cpu time: 540 real time: 537 gc time: 101" "cpu time: 533 real time: 531 gc time: 88" "cpu time: 526 real time: 525 gc time: 88" "cpu time: 530 real time: 530 gc time: 83" "cpu time: 533 real time: 530 gc time: 92" "cpu time: 536 real time: 537 gc time: 82"))
("011110100" ("cpu time: 530 real time: 530 gc time: 90" "cpu time: 537 real time: 534 gc time: 88" "cpu time: 540 real time: 540 gc time: 86" "cpu time: 527 real time: 527 gc time: 83" "cpu time: 530 real time: 526 gc time: 81" "cpu time: 540 real time: 543 gc time: 86" "cpu time: 540 real time: 537 gc time: 84" "cpu time: 543 real time: 543 gc time: 83"))
("011110101" ("cpu time: 560 real time: 561 gc time: 93" "cpu time: 550 real time: 548 gc time: 87" "cpu time: 547 real time: 547 gc time: 91" "cpu time: 544 real time: 542 gc time: 90" "cpu time: 547 real time: 546 gc time: 86" "cpu time: 547 real time: 547 gc time: 95" "cpu time: 550 real time: 550 gc time: 90" "cpu time: 560 real time: 561 gc time: 96"))
("011110110" ("cpu time: 546 real time: 546 gc time: 93" "cpu time: 537 real time: 534 gc time: 88" "cpu time: 534 real time: 532 gc time: 91" "cpu time: 540 real time: 538 gc time: 88" "cpu time: 536 real time: 536 gc time: 79" "cpu time: 536 real time: 537 gc time: 83" "cpu time: 537 real time: 537 gc time: 81" "cpu time: 540 real time: 539 gc time: 83"))
("011110111" ("cpu time: 550 real time: 551 gc time: 91" "cpu time: 547 real time: 549 gc time: 90" "cpu time: 544 real time: 544 gc time: 79" "cpu time: 550 real time: 548 gc time: 84" "cpu time: 550 real time: 548 gc time: 95" "cpu time: 554 real time: 555 gc time: 100" "cpu time: 537 real time: 536 gc time: 84" "cpu time: 557 real time: 554 gc time: 93"))
("011111000" ("cpu time: 540 real time: 544 gc time: 87" "cpu time: 530 real time: 530 gc time: 79" "cpu time: 530 real time: 530 gc time: 93" "cpu time: 533 real time: 533 gc time: 90" "cpu time: 534 real time: 531 gc time: 90" "cpu time: 523 real time: 525 gc time: 84" "cpu time: 530 real time: 533 gc time: 86" "cpu time: 530 real time: 529 gc time: 83"))
("011111001" ("cpu time: 536 real time: 536 gc time: 83" "cpu time: 546 real time: 547 gc time: 86" "cpu time: 540 real time: 537 gc time: 87" "cpu time: 540 real time: 540 gc time: 85" "cpu time: 540 real time: 537 gc time: 89" "cpu time: 554 real time: 555 gc time: 102" "cpu time: 557 real time: 557 gc time: 103" "cpu time: 560 real time: 560 gc time: 100"))
("011111010" ("cpu time: 530 real time: 526 gc time: 87" "cpu time: 540 real time: 539 gc time: 91" "cpu time: 540 real time: 537 gc time: 100" "cpu time: 533 real time: 532 gc time: 85" "cpu time: 550 real time: 549 gc time: 105" "cpu time: 540 real time: 538 gc time: 91" "cpu time: 530 real time: 531 gc time: 81" "cpu time: 533 real time: 534 gc time: 89"))
("011111011" ("cpu time: 540 real time: 537 gc time: 86" "cpu time: 543 real time: 544 gc time: 91" "cpu time: 560 real time: 562 gc time: 107" "cpu time: 543 real time: 544 gc time: 86" "cpu time: 550 real time: 549 gc time: 84" "cpu time: 557 real time: 557 gc time: 94" "cpu time: 543 real time: 542 gc time: 91" "cpu time: 543 real time: 545 gc time: 90"))
("011111100" ("cpu time: 553 real time: 550 gc time: 90" "cpu time: 546 real time: 546 gc time: 89" "cpu time: 547 real time: 547 gc time: 87" "cpu time: 583 real time: 582 gc time: 107" "cpu time: 550 real time: 545 gc time: 89" "cpu time: 553 real time: 554 gc time: 93" "cpu time: 540 real time: 540 gc time: 92" "cpu time: 550 real time: 549 gc time: 86"))
("011111101" ("cpu time: 560 real time: 559 gc time: 91" "cpu time: 557 real time: 558 gc time: 90" "cpu time: 557 real time: 555 gc time: 89" "cpu time: 560 real time: 561 gc time: 92" "cpu time: 560 real time: 558 gc time: 84" "cpu time: 563 real time: 562 gc time: 87" "cpu time: 563 real time: 563 gc time: 84" "cpu time: 563 real time: 564 gc time: 91"))
("011111110" ("cpu time: 547 real time: 547 gc time: 90" "cpu time: 544 real time: 543 gc time: 83" "cpu time: 544 real time: 546 gc time: 86" "cpu time: 556 real time: 558 gc time: 85" "cpu time: 537 real time: 539 gc time: 84" "cpu time: 547 real time: 547 gc time: 90" "cpu time: 547 real time: 543 gc time: 83" "cpu time: 550 real time: 548 gc time: 82"))
("011111111" ("cpu time: 556 real time: 554 gc time: 86" "cpu time: 560 real time: 561 gc time: 85" "cpu time: 556 real time: 554 gc time: 87" "cpu time: 556 real time: 556 gc time: 86" "cpu time: 563 real time: 564 gc time: 86" "cpu time: 553 real time: 553 gc time: 84" "cpu time: 560 real time: 558 gc time: 97" "cpu time: 553 real time: 555 gc time: 88"))
("100000000" ("cpu time: 447 real time: 444 gc time: 83" "cpu time: 450 real time: 448 gc time: 86" "cpu time: 450 real time: 450 gc time: 84" "cpu time: 443 real time: 441 gc time: 89" "cpu time: 450 real time: 448 gc time: 91" "cpu time: 443 real time: 443 gc time: 80" "cpu time: 454 real time: 452 gc time: 87" "cpu time: 446 real time: 448 gc time: 89"))
("100000001" ("cpu time: 463 real time: 462 gc time: 93" "cpu time: 457 real time: 456 gc time: 91" "cpu time: 444 real time: 445 gc time: 87" "cpu time: 453 real time: 453 gc time: 90" "cpu time: 447 real time: 446 gc time: 84" "cpu time: 453 real time: 455 gc time: 86" "cpu time: 453 real time: 452 gc time: 88" "cpu time: 453 real time: 454 gc time: 77"))
("100000010" ("cpu time: 454 real time: 452 gc time: 90" "cpu time: 450 real time: 449 gc time: 87" "cpu time: 460 real time: 460 gc time: 95" "cpu time: 467 real time: 465 gc time: 96" "cpu time: 443 real time: 442 gc time: 87" "cpu time: 447 real time: 447 gc time: 84" "cpu time: 443 real time: 444 gc time: 87" "cpu time: 440 real time: 440 gc time: 82"))
("100000011" ("cpu time: 450 real time: 450 gc time: 86" "cpu time: 457 real time: 458 gc time: 80" "cpu time: 453 real time: 453 gc time: 88" "cpu time: 457 real time: 456 gc time: 89" "cpu time: 454 real time: 450 gc time: 83" "cpu time: 460 real time: 458 gc time: 84" "cpu time: 450 real time: 449 gc time: 88" "cpu time: 460 real time: 460 gc time: 84"))
("100000100" ("cpu time: 464 real time: 465 gc time: 89" "cpu time: 480 real time: 477 gc time: 95" "cpu time: 460 real time: 459 gc time: 83" "cpu time: 457 real time: 458 gc time: 86" "cpu time: 460 real time: 459 gc time: 88" "cpu time: 457 real time: 457 gc time: 80" "cpu time: 457 real time: 456 gc time: 85" "cpu time: 460 real time: 456 gc time: 87"))
("100000101" ("cpu time: 473 real time: 474 gc time: 91" "cpu time: 466 real time: 467 gc time: 94" "cpu time: 460 real time: 460 gc time: 80" "cpu time: 467 real time: 467 gc time: 83" "cpu time: 497 real time: 495 gc time: 98" "cpu time: 470 real time: 471 gc time: 83" "cpu time: 470 real time: 469 gc time: 79" "cpu time: 470 real time: 469 gc time: 88"))
("100000110" ("cpu time: 476 real time: 477 gc time: 87" "cpu time: 470 real time: 467 gc time: 85" "cpu time: 470 real time: 469 gc time: 90" "cpu time: 467 real time: 464 gc time: 87" "cpu time: 467 real time: 463 gc time: 87" "cpu time: 464 real time: 463 gc time: 81" "cpu time: 467 real time: 466 gc time: 86" "cpu time: 470 real time: 466 gc time: 86"))
("100000111" ("cpu time: 466 real time: 467 gc time: 78" "cpu time: 467 real time: 466 gc time: 89" "cpu time: 467 real time: 469 gc time: 90" "cpu time: 477 real time: 474 gc time: 81" "cpu time: 463 real time: 462 gc time: 86" "cpu time: 473 real time: 471 gc time: 86" "cpu time: 464 real time: 464 gc time: 82" "cpu time: 470 real time: 470 gc time: 83"))
("100001000" ("cpu time: 457 real time: 454 gc time: 89" "cpu time: 464 real time: 463 gc time: 90" "cpu time: 463 real time: 460 gc time: 87" "cpu time: 456 real time: 455 gc time: 81" "cpu time: 457 real time: 459 gc time: 85" "cpu time: 450 real time: 449 gc time: 84" "cpu time: 460 real time: 461 gc time: 87" "cpu time: 460 real time: 458 gc time: 89"))
("100001001" ("cpu time: 474 real time: 473 gc time: 91" "cpu time: 467 real time: 466 gc time: 83" "cpu time: 463 real time: 463 gc time: 87" "cpu time: 473 real time: 474 gc time: 96" "cpu time: 463 real time: 460 gc time: 82" "cpu time: 467 real time: 463 gc time: 93" "cpu time: 467 real time: 464 gc time: 91" "cpu time: 473 real time: 472 gc time: 91"))
("100001010" ("cpu time: 454 real time: 455 gc time: 85" "cpu time: 460 real time: 460 gc time: 88" "cpu time: 460 real time: 459 gc time: 93" "cpu time: 457 real time: 455 gc time: 85" "cpu time: 453 real time: 452 gc time: 88" "cpu time: 450 real time: 448 gc time: 83" "cpu time: 457 real time: 453 gc time: 89" "cpu time: 453 real time: 455 gc time: 90"))
("100001011" ("cpu time: 463 real time: 462 gc time: 85" "cpu time: 463 real time: 460 gc time: 83" "cpu time: 466 real time: 465 gc time: 87" "cpu time: 466 real time: 465 gc time: 90" "cpu time: 460 real time: 458 gc time: 80" "cpu time: 467 real time: 469 gc time: 89" "cpu time: 466 real time: 469 gc time: 90" "cpu time: 470 real time: 468 gc time: 88"))
("100001100" ("cpu time: 486 real time: 486 gc time: 90" "cpu time: 470 real time: 469 gc time: 84" "cpu time: 470 real time: 471 gc time: 93" "cpu time: 473 real time: 470 gc time: 89" "cpu time: 470 real time: 470 gc time: 89" "cpu time: 474 real time: 473 gc time: 86" "cpu time: 473 real time: 473 gc time: 89" "cpu time: 470 real time: 469 gc time: 86"))
("100001101" ("cpu time: 477 real time: 475 gc time: 87" "cpu time: 467 real time: 467 gc time: 78" "cpu time: 474 real time: 475 gc time: 91" "cpu time: 500 real time: 499 gc time: 96" "cpu time: 474 real time: 475 gc time: 79" "cpu time: 474 real time: 475 gc time: 83" "cpu time: 480 real time: 477 gc time: 86" "cpu time: 483 real time: 485 gc time: 83"))
("100001110" ("cpu time: 473 real time: 472 gc time: 86" "cpu time: 467 real time: 466 gc time: 83" "cpu time: 473 real time: 474 gc time: 94" "cpu time: 470 real time: 470 gc time: 79" "cpu time: 477 real time: 475 gc time: 90" "cpu time: 466 real time: 466 gc time: 82" "cpu time: 470 real time: 468 gc time: 83" "cpu time: 470 real time: 472 gc time: 86"))
("100001111" ("cpu time: 484 real time: 482 gc time: 83" "cpu time: 470 real time: 473 gc time: 80" "cpu time: 474 real time: 471 gc time: 80" "cpu time: 477 real time: 473 gc time: 84" "cpu time: 476 real time: 477 gc time: 88" "cpu time: 477 real time: 474 gc time: 86" "cpu time: 477 real time: 475 gc time: 86" "cpu time: 480 real time: 479 gc time: 80"))
("100010000" ("cpu time: 437 real time: 437 gc time: 81" "cpu time: 440 real time: 441 gc time: 84" "cpu time: 450 real time: 446 gc time: 90" "cpu time: 467 real time: 464 gc time: 89" "cpu time: 446 real time: 443 gc time: 86" "cpu time: 450 real time: 450 gc time: 94" "cpu time: 447 real time: 450 gc time: 90" "cpu time: 453 real time: 452 gc time: 97"))
("100010001" ("cpu time: 470 real time: 470 gc time: 103" "cpu time: 457 real time: 455 gc time: 87" "cpu time: 450 real time: 448 gc time: 89" "cpu time: 457 real time: 455 gc time: 94" "cpu time: 470 real time: 470 gc time: 100" "cpu time: 460 real time: 459 gc time: 93" "cpu time: 450 real time: 449 gc time: 84" "cpu time: 460 real time: 458 gc time: 87"))
("100010010" ("cpu time: 447 real time: 448 gc time: 95" "cpu time: 450 real time: 447 gc time: 92" "cpu time: 457 real time: 457 gc time: 91" "cpu time: 450 real time: 449 gc time: 91" "cpu time: 446 real time: 449 gc time: 89" "cpu time: 440 real time: 441 gc time: 81" "cpu time: 440 real time: 440 gc time: 84" "cpu time: 447 real time: 448 gc time: 87"))
("100010011" ("cpu time: 454 real time: 452 gc time: 85" "cpu time: 464 real time: 461 gc time: 90" "cpu time: 460 real time: 461 gc time: 93" "cpu time: 450 real time: 451 gc time: 83" "cpu time: 457 real time: 455 gc time: 87" "cpu time: 460 real time: 460 gc time: 90" "cpu time: 476 real time: 477 gc time: 108" "cpu time: 467 real time: 469 gc time: 96"))
("100010100" ("cpu time: 463 real time: 464 gc time: 88" "cpu time: 483 real time: 481 gc time: 95" "cpu time: 460 real time: 457 gc time: 84" "cpu time: 467 real time: 464 gc time: 87" "cpu time: 486 real time: 486 gc time: 105" "cpu time: 463 real time: 463 gc time: 91" "cpu time: 460 real time: 460 gc time: 83" "cpu time: 466 real time: 467 gc time: 88"))
("100010101" ("cpu time: 473 real time: 474 gc time: 90" "cpu time: 473 real time: 469 gc time: 92" "cpu time: 470 real time: 466 gc time: 91" "cpu time: 480 real time: 481 gc time: 90" "cpu time: 490 real time: 489 gc time: 104" "cpu time: 490 real time: 490 gc time: 104" "cpu time: 477 real time: 475 gc time: 90" "cpu time: 470 real time: 469 gc time: 84"))
("100010110" ("cpu time: 470 real time: 467 gc time: 91" "cpu time: 464 real time: 464 gc time: 90" "cpu time: 460 real time: 459 gc time: 80" "cpu time: 456 real time: 461 gc time: 93" "cpu time: 464 real time: 465 gc time: 79" "cpu time: 460 real time: 460 gc time: 87" "cpu time: 470 real time: 466 gc time: 91" "cpu time: 470 real time: 467 gc time: 94"))
("100010111" ("cpu time: 470 real time: 468 gc time: 88" "cpu time: 477 real time: 475 gc time: 87" "cpu time: 460 real time: 461 gc time: 85" "cpu time: 476 real time: 477 gc time: 88" "cpu time: 477 real time: 477 gc time: 95" "cpu time: 467 real time: 466 gc time: 87" "cpu time: 467 real time: 463 gc time: 84" "cpu time: 473 real time: 473 gc time: 82"))
("100011000" ("cpu time: 456 real time: 459 gc time: 94" "cpu time: 466 real time: 467 gc time: 89" "cpu time: 467 real time: 467 gc time: 82" "cpu time: 454 real time: 450 gc time: 89" "cpu time: 457 real time: 453 gc time: 83" "cpu time: 457 real time: 453 gc time: 83" "cpu time: 464 real time: 461 gc time: 94" "cpu time: 456 real time: 457 gc time: 91"))
("100011001" ("cpu time: 470 real time: 469 gc time: 84" "cpu time: 466 real time: 467 gc time: 90" "cpu time: 473 real time: 471 gc time: 93" "cpu time: 470 real time: 470 gc time: 77" "cpu time: 470 real time: 471 gc time: 90" "cpu time: 464 real time: 463 gc time: 90" "cpu time: 463 real time: 463 gc time: 87" "cpu time: 460 real time: 460 gc time: 86"))
("100011010" ("cpu time: 450 real time: 452 gc time: 91" "cpu time: 460 real time: 459 gc time: 94" "cpu time: 466 real time: 464 gc time: 91" "cpu time: 460 real time: 460 gc time: 94" "cpu time: 464 real time: 465 gc time: 90" "cpu time: 467 real time: 465 gc time: 91" "cpu time: 457 real time: 456 gc time: 83" "cpu time: 466 real time: 464 gc time: 89"))
("100011011" ("cpu time: 473 real time: 472 gc time: 91" "cpu time: 463 real time: 461 gc time: 91" "cpu time: 483 real time: 482 gc time: 106" "cpu time: 464 real time: 464 gc time: 83" "cpu time: 460 real time: 459 gc time: 88" "cpu time: 460 real time: 460 gc time: 83" "cpu time: 460 real time: 462 gc time: 85" "cpu time: 463 real time: 461 gc time: 89"))
("100011100" ("cpu time: 473 real time: 474 gc time: 83" "cpu time: 493 real time: 494 gc time: 100" "cpu time: 487 real time: 488 gc time: 97" "cpu time: 477 real time: 477 gc time: 91" "cpu time: 473 real time: 471 gc time: 94" "cpu time: 477 real time: 479 gc time: 101" "cpu time: 470 real time: 470 gc time: 88" "cpu time: 480 real time: 480 gc time: 91"))
("100011101" ("cpu time: 480 real time: 479 gc time: 93" "cpu time: 473 real time: 474 gc time: 94" "cpu time: 487 real time: 485 gc time: 83" "cpu time: 476 real time: 476 gc time: 84" "cpu time: 480 real time: 478 gc time: 88" "cpu time: 483 real time: 484 gc time: 91" "cpu time: 473 real time: 475 gc time: 81" "cpu time: 480 real time: 478 gc time: 87"))
("100011110" ("cpu time: 473 real time: 475 gc time: 89" "cpu time: 480 real time: 478 gc time: 91" "cpu time: 473 real time: 475 gc time: 93" "cpu time: 480 real time: 478 gc time: 89" "cpu time: 490 real time: 490 gc time: 97" "cpu time: 480 real time: 479 gc time: 85" "cpu time: 476 real time: 475 gc time: 92" "cpu time: 466 real time: 468 gc time: 90"))
("100011111" ("cpu time: 490 real time: 491 gc time: 88" "cpu time: 490 real time: 490 gc time: 90" "cpu time: 486 real time: 487 gc time: 89" "cpu time: 473 real time: 474 gc time: 87" "cpu time: 480 real time: 476 gc time: 80" "cpu time: 490 real time: 491 gc time: 87" "cpu time: 483 real time: 483 gc time: 87" "cpu time: 480 real time: 481 gc time: 83"))
("100100000" ("cpu time: 547 real time: 544 gc time: 90" "cpu time: 526 real time: 528 gc time: 78" "cpu time: 540 real time: 536 gc time: 88" "cpu time: 534 real time: 532 gc time: 84" "cpu time: 544 real time: 543 gc time: 90" "cpu time: 547 real time: 545 gc time: 97" "cpu time: 540 real time: 536 gc time: 91" "cpu time: 540 real time: 538 gc time: 91"))
("100100001" ("cpu time: 570 real time: 567 gc time: 100" "cpu time: 550 real time: 547 gc time: 84" "cpu time: 554 real time: 552 gc time: 90" "cpu time: 544 real time: 545 gc time: 90" "cpu time: 540 real time: 542 gc time: 87" "cpu time: 547 real time: 545 gc time: 91" "cpu time: 560 real time: 558 gc time: 89" "cpu time: 550 real time: 552 gc time: 89"))
("100100010" ("cpu time: 546 real time: 549 gc time: 92" "cpu time: 540 real time: 535 gc time: 89" "cpu time: 540 real time: 541 gc time: 94" "cpu time: 540 real time: 537 gc time: 88" "cpu time: 537 real time: 537 gc time: 87" "cpu time: 526 real time: 527 gc time: 85" "cpu time: 530 real time: 532 gc time: 88" "cpu time: 547 real time: 549 gc time: 100"))
("100100011" ("cpu time: 546 real time: 548 gc time: 100" "cpu time: 546 real time: 548 gc time: 89" "cpu time: 544 real time: 543 gc time: 89" "cpu time: 544 real time: 542 gc time: 92" "cpu time: 557 real time: 556 gc time: 89" "cpu time: 550 real time: 549 gc time: 84" "cpu time: 547 real time: 544 gc time: 83" "cpu time: 546 real time: 550 gc time: 96"))
("100100100" ("cpu time: 550 real time: 549 gc time: 90" "cpu time: 566 real time: 567 gc time: 101" "cpu time: 564 real time: 561 gc time: 86" "cpu time: 563 real time: 560 gc time: 85" "cpu time: 557 real time: 555 gc time: 87" "cpu time: 557 real time: 555 gc time: 83" "cpu time: 574 real time: 575 gc time: 100" "cpu time: 546 real time: 547 gc time: 90"))
("100100101" ("cpu time: 554 real time: 552 gc time: 79" "cpu time: 573 real time: 570 gc time: 100" "cpu time: 560 real time: 563 gc time: 86" "cpu time: 570 real time: 570 gc time: 85" "cpu time: 557 real time: 559 gc time: 86" "cpu time: 577 real time: 578 gc time: 85" "cpu time: 553 real time: 554 gc time: 87" "cpu time: 566 real time: 567 gc time: 90"))
("100100110" ("cpu time: 554 real time: 552 gc time: 83" "cpu time: 560 real time: 558 gc time: 83" "cpu time: 550 real time: 550 gc time: 83" "cpu time: 574 real time: 575 gc time: 81" "cpu time: 560 real time: 557 gc time: 90" "cpu time: 560 real time: 560 gc time: 97" "cpu time: 553 real time: 552 gc time: 91" "cpu time: 553 real time: 556 gc time: 87"))
("100100111" ("cpu time: 563 real time: 561 gc time: 83" "cpu time: 577 real time: 575 gc time: 93" "cpu time: 553 real time: 555 gc time: 83" "cpu time: 553 real time: 553 gc time: 84" "cpu time: 567 real time: 566 gc time: 87" "cpu time: 577 real time: 575 gc time: 91" "cpu time: 560 real time: 556 gc time: 91" "cpu time: 580 real time: 577 gc time: 86"))
("100101000" ("cpu time: 550 real time: 550 gc time: 91" "cpu time: 547 real time: 550 gc time: 97" "cpu time: 546 real time: 545 gc time: 90" "cpu time: 550 real time: 553 gc time: 95" "cpu time: 554 real time: 552 gc time: 86" "cpu time: 546 real time: 547 gc time: 90" "cpu time: 550 real time: 549 gc time: 90" "cpu time: 550 real time: 551 gc time: 86"))
("100101001" ("cpu time: 557 real time: 556 gc time: 87" "cpu time: 560 real time: 560 gc time: 88" "cpu time: 550 real time: 549 gc time: 86" "cpu time: 560 real time: 558 gc time: 92" "cpu time: 550 real time: 550 gc time: 79" "cpu time: 560 real time: 557 gc time: 84" "cpu time: 560 real time: 559 gc time: 89" "cpu time: 560 real time: 562 gc time: 80"))
("100101010" ("cpu time: 550 real time: 548 gc time: 82" "cpu time: 554 real time: 549 gc time: 87" "cpu time: 547 real time: 547 gc time: 90" "cpu time: 553 real time: 550 gc time: 94" "cpu time: 570 real time: 567 gc time: 107" "cpu time: 547 real time: 547 gc time: 91" "cpu time: 563 real time: 561 gc time: 107" "cpu time: 553 real time: 552 gc time: 84"))
("100101011" ("cpu time: 560 real time: 559 gc time: 89" "cpu time: 564 real time: 563 gc time: 92" "cpu time: 570 real time: 568 gc time: 89" "cpu time: 564 real time: 562 gc time: 93" "cpu time: 554 real time: 550 gc time: 82" "cpu time: 564 real time: 560 gc time: 89" "cpu time: 566 real time: 567 gc time: 91" "cpu time: 567 real time: 565 gc time: 92"))
("100101100" ("cpu time: 570 real time: 571 gc time: 105" "cpu time: 577 real time: 575 gc time: 90" "cpu time: 564 real time: 564 gc time: 89" "cpu time: 560 real time: 560 gc time: 85" "cpu time: 570 real time: 571 gc time: 90" "cpu time: 567 real time: 568 gc time: 91" "cpu time: 566 real time: 568 gc time: 89" "cpu time: 570 real time: 569 gc time: 91"))
("100101101" ("cpu time: 570 real time: 570 gc time: 87" "cpu time: 567 real time: 567 gc time: 84" "cpu time: 570 real time: 570 gc time: 86" "cpu time: 600 real time: 598 gc time: 102" "cpu time: 594 real time: 592 gc time: 99" "cpu time: 577 real time: 578 gc time: 84" "cpu time: 590 real time: 589 gc time: 94" "cpu time: 570 real time: 569 gc time: 83"))
("100101110" ("cpu time: 563 real time: 561 gc time: 83" "cpu time: 570 real time: 569 gc time: 87" "cpu time: 570 real time: 567 gc time: 82" "cpu time: 576 real time: 573 gc time: 98" "cpu time: 570 real time: 569 gc time: 94" "cpu time: 573 real time: 571 gc time: 88" "cpu time: 570 real time: 569 gc time: 84" "cpu time: 566 real time: 566 gc time: 87"))
("100101111" ("cpu time: 584 real time: 580 gc time: 90" "cpu time: 574 real time: 572 gc time: 89" "cpu time: 574 real time: 569 gc time: 87" "cpu time: 570 real time: 567 gc time: 86" "cpu time: 574 real time: 572 gc time: 97" "cpu time: 576 real time: 579 gc time: 75" "cpu time: 573 real time: 571 gc time: 82" "cpu time: 573 real time: 574 gc time: 89"))
("100110000" ("cpu time: 530 real time: 531 gc time: 87" "cpu time: 537 real time: 535 gc time: 89" "cpu time: 540 real time: 538 gc time: 87" "cpu time: 553 real time: 556 gc time: 93" "cpu time: 540 real time: 541 gc time: 90" "cpu time: 530 real time: 530 gc time: 80" "cpu time: 537 real time: 536 gc time: 88" "cpu time: 553 real time: 556 gc time: 104"))
("100110001" ("cpu time: 543 real time: 544 gc time: 87" "cpu time: 557 real time: 557 gc time: 106" "cpu time: 563 real time: 563 gc time: 100" "cpu time: 560 real time: 562 gc time: 102" "cpu time: 563 real time: 563 gc time: 104" "cpu time: 543 real time: 546 gc time: 95" "cpu time: 550 real time: 548 gc time: 93" "cpu time: 550 real time: 549 gc time: 91"))
("100110010" ("cpu time: 544 real time: 543 gc time: 87" "cpu time: 533 real time: 532 gc time: 84" "cpu time: 536 real time: 534 gc time: 92" "cpu time: 533 real time: 535 gc time: 93" "cpu time: 536 real time: 536 gc time: 87" "cpu time: 533 real time: 534 gc time: 80" "cpu time: 530 real time: 530 gc time: 90" "cpu time: 530 real time: 525 gc time: 90"))
("100110011" ("cpu time: 553 real time: 551 gc time: 85" "cpu time: 550 real time: 549 gc time: 86" "cpu time: 547 real time: 546 gc time: 90" "cpu time: 547 real time: 546 gc time: 84" "cpu time: 546 real time: 546 gc time: 90" "cpu time: 574 real time: 571 gc time: 107" "cpu time: 540 real time: 540 gc time: 87" "cpu time: 540 real time: 541 gc time: 82"))
("100110100" ("cpu time: 560 real time: 559 gc time: 89" "cpu time: 550 real time: 548 gc time: 90" "cpu time: 550 real time: 548 gc time: 81" "cpu time: 553 real time: 553 gc time: 89" "cpu time: 550 real time: 550 gc time: 84" "cpu time: 564 real time: 563 gc time: 94" "cpu time: 550 real time: 549 gc time: 90" "cpu time: 554 real time: 550 gc time: 84"))
("100110101" ("cpu time: 556 real time: 557 gc time: 84" "cpu time: 556 real time: 560 gc time: 90" "cpu time: 557 real time: 557 gc time: 86" "cpu time: 556 real time: 555 gc time: 84" "cpu time: 557 real time: 555 gc time: 87" "cpu time: 560 real time: 560 gc time: 87" "cpu time: 553 real time: 552 gc time: 89" "cpu time: 564 real time: 562 gc time: 87"))
("100110110" ("cpu time: 557 real time: 556 gc time: 79" "cpu time: 570 real time: 570 gc time: 100" "cpu time: 556 real time: 560 gc time: 84" "cpu time: 570 real time: 571 gc time: 106" "cpu time: 574 real time: 570 gc time: 103" "cpu time: 574 real time: 576 gc time: 100" "cpu time: 550 real time: 549 gc time: 92" "cpu time: 557 real time: 554 gc time: 89"))
("100110111" ("cpu time: 580 real time: 579 gc time: 103" "cpu time: 560 real time: 561 gc time: 92" "cpu time: 557 real time: 558 gc time: 87" "cpu time: 560 real time: 561 gc time: 93" "cpu time: 574 real time: 572 gc time: 84" "cpu time: 557 real time: 555 gc time: 91" "cpu time: 560 real time: 559 gc time: 87" "cpu time: 573 real time: 572 gc time: 83"))
("100111000" ("cpu time: 550 real time: 548 gc time: 86" "cpu time: 550 real time: 553 gc time: 91" "cpu time: 546 real time: 546 gc time: 93" "cpu time: 550 real time: 548 gc time: 86" "cpu time: 540 real time: 541 gc time: 79" "cpu time: 540 real time: 543 gc time: 90" "cpu time: 546 real time: 546 gc time: 87" "cpu time: 554 real time: 556 gc time: 98"))
("100111001" ("cpu time: 560 real time: 559 gc time: 84" "cpu time: 550 real time: 548 gc time: 86" "cpu time: 560 real time: 556 gc time: 94" "cpu time: 557 real time: 555 gc time: 87" "cpu time: 560 real time: 559 gc time: 90" "cpu time: 560 real time: 561 gc time: 87" "cpu time: 553 real time: 554 gc time: 92" "cpu time: 553 real time: 555 gc time: 93"))
("100111010" ("cpu time: 543 real time: 543 gc time: 86" "cpu time: 547 real time: 548 gc time: 89" "cpu time: 554 real time: 553 gc time: 86" "cpu time: 554 real time: 553 gc time: 86" "cpu time: 550 real time: 550 gc time: 84" "cpu time: 544 real time: 544 gc time: 86" "cpu time: 554 real time: 551 gc time: 89" "cpu time: 540 real time: 541 gc time: 81"))
("100111011" ("cpu time: 560 real time: 558 gc time: 86" "cpu time: 564 real time: 567 gc time: 91" "cpu time: 560 real time: 560 gc time: 93" "cpu time: 564 real time: 563 gc time: 89" "cpu time: 567 real time: 567 gc time: 99" "cpu time: 556 real time: 555 gc time: 88" "cpu time: 563 real time: 564 gc time: 86" "cpu time: 554 real time: 553 gc time: 86"))
("100111100" ("cpu time: 586 real time: 588 gc time: 100" "cpu time: 560 real time: 559 gc time: 91" "cpu time: 566 real time: 566 gc time: 86" "cpu time: 567 real time: 567 gc time: 97" "cpu time: 560 real time: 561 gc time: 87" "cpu time: 566 real time: 566 gc time: 87" "cpu time: 567 real time: 566 gc time: 91" "cpu time: 570 real time: 571 gc time: 87"))
("100111101" ("cpu time: 570 real time: 567 gc time: 80" "cpu time: 573 real time: 572 gc time: 89" "cpu time: 577 real time: 575 gc time: 77" "cpu time: 577 real time: 574 gc time: 95" "cpu time: 570 real time: 571 gc time: 86" "cpu time: 570 real time: 567 gc time: 84" "cpu time: 567 real time: 567 gc time: 79" "cpu time: 567 real time: 567 gc time: 90"))
("100111110" ("cpu time: 570 real time: 569 gc time: 86" "cpu time: 587 real time: 585 gc time: 104" "cpu time: 557 real time: 559 gc time: 83" "cpu time: 563 real time: 562 gc time: 91" "cpu time: 567 real time: 565 gc time: 89" "cpu time: 570 real time: 566 gc time: 87" "cpu time: 576 real time: 576 gc time: 93" "cpu time: 570 real time: 571 gc time: 87"))
("100111111" ("cpu time: 580 real time: 579 gc time: 83" "cpu time: 586 real time: 587 gc time: 90" "cpu time: 580 real time: 581 gc time: 89" "cpu time: 567 real time: 566 gc time: 91" "cpu time: 583 real time: 586 gc time: 92" "cpu time: 583 real time: 584 gc time: 92" "cpu time: 573 real time: 573 gc time: 89" "cpu time: 576 real time: 578 gc time: 87"))
("101000000" ("cpu time: 444 real time: 444 gc time: 81" "cpu time: 446 real time: 443 gc time: 86" "cpu time: 447 real time: 446 gc time: 80" "cpu time: 464 real time: 463 gc time: 103" "cpu time: 447 real time: 447 gc time: 86" "cpu time: 454 real time: 450 gc time: 86" "cpu time: 450 real time: 451 gc time: 89" "cpu time: 453 real time: 453 gc time: 89"))
("101000001" ("cpu time: 457 real time: 455 gc time: 90" "cpu time: 457 real time: 454 gc time: 84" "cpu time: 460 real time: 459 gc time: 81" "cpu time: 470 real time: 470 gc time: 94" "cpu time: 457 real time: 454 gc time: 91" "cpu time: 457 real time: 458 gc time: 89" "cpu time: 470 real time: 467 gc time: 94" "cpu time: 470 real time: 469 gc time: 88"))
("101000010" ("cpu time: 450 real time: 447 gc time: 83" "cpu time: 453 real time: 452 gc time: 90" "cpu time: 466 real time: 467 gc time: 100" "cpu time: 456 real time: 455 gc time: 84" "cpu time: 447 real time: 443 gc time: 83" "cpu time: 457 real time: 456 gc time: 83" "cpu time: 457 real time: 457 gc time: 93" "cpu time: 450 real time: 452 gc time: 91"))
("101000011" ("cpu time: 460 real time: 459 gc time: 86" "cpu time: 454 real time: 454 gc time: 82" "cpu time: 460 real time: 459 gc time: 90" "cpu time: 457 real time: 458 gc time: 87" "cpu time: 460 real time: 459 gc time: 86" "cpu time: 456 real time: 456 gc time: 84" "cpu time: 457 real time: 456 gc time: 88" "cpu time: 477 real time: 476 gc time: 97"))
("101000100" ("cpu time: 466 real time: 462 gc time: 87" "cpu time: 467 real time: 465 gc time: 91" "cpu time: 480 real time: 479 gc time: 97" "cpu time: 470 real time: 469 gc time: 86" "cpu time: 467 real time: 466 gc time: 87" "cpu time: 467 real time: 466 gc time: 91" "cpu time: 470 real time: 467 gc time: 90" "cpu time: 483 real time: 480 gc time: 97"))
("101000101" ("cpu time: 484 real time: 483 gc time: 100" "cpu time: 487 real time: 489 gc time: 102" "cpu time: 480 real time: 477 gc time: 90" "cpu time: 476 real time: 477 gc time: 86" "cpu time: 477 real time: 476 gc time: 87" "cpu time: 470 real time: 470 gc time: 80" "cpu time: 463 real time: 463 gc time: 86" "cpu time: 477 real time: 475 gc time: 84"))
("101000110" ("cpu time: 464 real time: 463 gc time: 86" "cpu time: 477 real time: 474 gc time: 96" "cpu time: 470 real time: 470 gc time: 93" "cpu time: 463 real time: 462 gc time: 91" "cpu time: 483 real time: 485 gc time: 97" "cpu time: 476 real time: 477 gc time: 101" "cpu time: 476 real time: 477 gc time: 91" "cpu time: 463 real time: 462 gc time: 90"))
("101000111" ("cpu time: 470 real time: 470 gc time: 81" "cpu time: 480 real time: 478 gc time: 81" "cpu time: 470 real time: 471 gc time: 84" "cpu time: 484 real time: 482 gc time: 90" "cpu time: 474 real time: 473 gc time: 85" "cpu time: 473 real time: 472 gc time: 83" "cpu time: 474 real time: 473 gc time: 84" "cpu time: 476 real time: 478 gc time: 89"))
("101001000" ("cpu time: 463 real time: 462 gc time: 88" "cpu time: 457 real time: 459 gc time: 83" "cpu time: 467 real time: 462 gc time: 89" "cpu time: 463 real time: 461 gc time: 86" "cpu time: 463 real time: 466 gc time: 94" "cpu time: 470 real time: 468 gc time: 91" "cpu time: 454 real time: 455 gc time: 79" "cpu time: 463 real time: 463 gc time: 85"))
("101001001" ("cpu time: 467 real time: 467 gc time: 91" "cpu time: 463 real time: 463 gc time: 81" "cpu time: 473 real time: 472 gc time: 89" "cpu time: 467 real time: 467 gc time: 93" "cpu time: 470 real time: 470 gc time: 83" "cpu time: 470 real time: 467 gc time: 91" "cpu time: 464 real time: 464 gc time: 90" "cpu time: 470 real time: 469 gc time: 89"))
("101001010" ("cpu time: 460 real time: 460 gc time: 90" "cpu time: 460 real time: 460 gc time: 87" "cpu time: 467 real time: 467 gc time: 91" "cpu time: 467 real time: 465 gc time: 90" "cpu time: 464 real time: 463 gc time: 91" "cpu time: 464 real time: 462 gc time: 85" "cpu time: 464 real time: 461 gc time: 87" "cpu time: 460 real time: 458 gc time: 80"))
("101001011" ("cpu time: 477 real time: 477 gc time: 90" "cpu time: 460 real time: 461 gc time: 84" "cpu time: 460 real time: 461 gc time: 83" "cpu time: 460 real time: 461 gc time: 77" "cpu time: 470 real time: 470 gc time: 87" "cpu time: 467 real time: 464 gc time: 89" "cpu time: 467 real time: 464 gc time: 86" "cpu time: 467 real time: 467 gc time: 87"))
("101001100" ("cpu time: 477 real time: 475 gc time: 84" "cpu time: 477 real time: 476 gc time: 89" "cpu time: 480 real time: 477 gc time: 87" "cpu time: 476 real time: 478 gc time: 91" "cpu time: 487 real time: 485 gc time: 91" "cpu time: 476 real time: 475 gc time: 83" "cpu time: 477 real time: 477 gc time: 83" "cpu time: 480 real time: 478 gc time: 89"))
("101001101" ("cpu time: 480 real time: 482 gc time: 86" "cpu time: 483 real time: 483 gc time: 87" "cpu time: 480 real time: 479 gc time: 81" "cpu time: 494 real time: 492 gc time: 92" "cpu time: 490 real time: 487 gc time: 92" "cpu time: 484 real time: 480 gc time: 85" "cpu time: 483 real time: 482 gc time: 82" "cpu time: 494 real time: 496 gc time: 100"))
("101001110" ("cpu time: 470 real time: 466 gc time: 84" "cpu time: 477 real time: 475 gc time: 87" "cpu time: 467 real time: 469 gc time: 86" "cpu time: 470 real time: 468 gc time: 83" "cpu time: 483 real time: 483 gc time: 90" "cpu time: 490 real time: 489 gc time: 89" "cpu time: 480 real time: 480 gc time: 87" "cpu time: 484 real time: 485 gc time: 85"))
("101001111" ("cpu time: 480 real time: 481 gc time: 87" "cpu time: 487 real time: 486 gc time: 89" "cpu time: 487 real time: 487 gc time: 84" "cpu time: 480 real time: 479 gc time: 83" "cpu time: 484 real time: 482 gc time: 84" "cpu time: 483 real time: 481 gc time: 90" "cpu time: 490 real time: 490 gc time: 90" "cpu time: 483 real time: 483 gc time: 92"))
("101010000" ("cpu time: 450 real time: 452 gc time: 85" "cpu time: 450 real time: 452 gc time: 86" "cpu time: 467 real time: 464 gc time: 100" "cpu time: 447 real time: 447 gc time: 87" "cpu time: 446 real time: 448 gc time: 86" "cpu time: 467 real time: 464 gc time: 92" "cpu time: 460 real time: 457 gc time: 94" "cpu time: 457 real time: 458 gc time: 86"))
("101010001" ("cpu time: 453 real time: 453 gc time: 86" "cpu time: 460 real time: 460 gc time: 89" "cpu time: 460 real time: 460 gc time: 91" "cpu time: 464 real time: 465 gc time: 83" "cpu time: 456 real time: 456 gc time: 87" "cpu time: 466 real time: 463 gc time: 92" "cpu time: 477 real time: 476 gc time: 101" "cpu time: 464 real time: 463 gc time: 93"))
("101010010" ("cpu time: 464 real time: 464 gc time: 94" "cpu time: 447 real time: 446 gc time: 89" "cpu time: 440 real time: 442 gc time: 84" "cpu time: 456 real time: 456 gc time: 91" "cpu time: 460 real time: 456 gc time: 94" "cpu time: 457 real time: 455 gc time: 89" "cpu time: 453 real time: 454 gc time: 89" "cpu time: 457 real time: 454 gc time: 93"))
("101010011" ("cpu time: 460 real time: 461 gc time: 93" "cpu time: 463 real time: 464 gc time: 87" "cpu time: 460 real time: 460 gc time: 86" "cpu time: 470 real time: 472 gc time: 101" "cpu time: 450 real time: 451 gc time: 87" "cpu time: 460 real time: 456 gc time: 87" "cpu time: 460 real time: 457 gc time: 90" "cpu time: 474 real time: 473 gc time: 90"))
("101010100" ("cpu time: 473 real time: 474 gc time: 92" "cpu time: 470 real time: 471 gc time: 94" "cpu time: 477 real time: 475 gc time: 96" "cpu time: 470 real time: 468 gc time: 90" "cpu time: 464 real time: 466 gc time: 90" "cpu time: 470 real time: 469 gc time: 91" "cpu time: 480 real time: 482 gc time: 90" "cpu time: 473 real time: 475 gc time: 83"))
("101010101" ("cpu time: 487 real time: 488 gc time: 101" "cpu time: 500 real time: 500 gc time: 104" "cpu time: 494 real time: 493 gc time: 103" "cpu time: 483 real time: 483 gc time: 94" "cpu time: 480 real time: 482 gc time: 91" "cpu time: 477 real time: 472 gc time: 91" "cpu time: 476 real time: 477 gc time: 82" "cpu time: 490 real time: 491 gc time: 93"))
("101010110" ("cpu time: 473 real time: 473 gc time: 92" "cpu time: 470 real time: 467 gc time: 88" "cpu time: 470 real time: 471 gc time: 84" "cpu time: 470 real time: 469 gc time: 93" "cpu time: 466 real time: 467 gc time: 84" "cpu time: 467 real time: 468 gc time: 85" "cpu time: 470 real time: 471 gc time: 87" "cpu time: 470 real time: 470 gc time: 93"))
("101010111" ("cpu time: 477 real time: 477 gc time: 91" "cpu time: 470 real time: 470 gc time: 86" "cpu time: 470 real time: 471 gc time: 83" "cpu time: 480 real time: 478 gc time: 91" "cpu time: 487 real time: 487 gc time: 93" "cpu time: 470 real time: 472 gc time: 91" "cpu time: 487 real time: 485 gc time: 90" "cpu time: 470 real time: 468 gc time: 86"))
("101011000" ("cpu time: 456 real time: 456 gc time: 90" "cpu time: 470 real time: 470 gc time: 91" "cpu time: 467 real time: 465 gc time: 90" "cpu time: 467 real time: 464 gc time: 95" "cpu time: 470 real time: 472 gc time: 100" "cpu time: 463 real time: 464 gc time: 90" "cpu time: 457 real time: 458 gc time: 94" "cpu time: 457 real time: 457 gc time: 87"))
("101011001" ("cpu time: 473 real time: 476 gc time: 86" "cpu time: 473 real time: 472 gc time: 94" "cpu time: 480 real time: 477 gc time: 92" "cpu time: 487 real time: 485 gc time: 106" "cpu time: 476 real time: 475 gc time: 93" "cpu time: 480 real time: 477 gc time: 91" "cpu time: 480 real time: 479 gc time: 97" "cpu time: 470 real time: 469 gc time: 93"))
("101011010" ("cpu time: 473 real time: 473 gc time: 92" "cpu time: 467 real time: 466 gc time: 93" "cpu time: 470 real time: 472 gc time: 93" "cpu time: 474 real time: 474 gc time: 106" "cpu time: 457 real time: 459 gc time: 83" "cpu time: 466 real time: 466 gc time: 93" "cpu time: 470 real time: 469 gc time: 92" "cpu time: 460 real time: 460 gc time: 94"))
("101011011" ("cpu time: 476 real time: 472 gc time: 93" "cpu time: 470 real time: 471 gc time: 93" "cpu time: 483 real time: 479 gc time: 92" "cpu time: 470 real time: 468 gc time: 90" "cpu time: 473 real time: 471 gc time: 89" "cpu time: 497 real time: 496 gc time: 111" "cpu time: 480 real time: 479 gc time: 99" "cpu time: 470 real time: 468 gc time: 88"))
("101011100" ("cpu time: 480 real time: 478 gc time: 88" "cpu time: 470 real time: 467 gc time: 84" "cpu time: 480 real time: 477 gc time: 84" "cpu time: 507 real time: 506 gc time: 110" "cpu time: 473 real time: 473 gc time: 93" "cpu time: 477 real time: 478 gc time: 91" "cpu time: 480 real time: 479 gc time: 91" "cpu time: 483 real time: 485 gc time: 91"))
("101011101" ("cpu time: 490 real time: 491 gc time: 91" "cpu time: 484 real time: 485 gc time: 87" "cpu time: 510 real time: 509 gc time: 100" "cpu time: 494 real time: 489 gc time: 89" "cpu time: 480 real time: 481 gc time: 90" "cpu time: 490 real time: 489 gc time: 91" "cpu time: 480 real time: 480 gc time: 93" "cpu time: 487 real time: 486 gc time: 91"))
("101011110" ("cpu time: 484 real time: 481 gc time: 89" "cpu time: 480 real time: 478 gc time: 94" "cpu time: 477 real time: 476 gc time: 91" "cpu time: 480 real time: 478 gc time: 88" "cpu time: 487 real time: 487 gc time: 101" "cpu time: 480 real time: 479 gc time: 95" "cpu time: 500 real time: 498 gc time: 103" "cpu time: 473 real time: 473 gc time: 81"))
("101011111" ("cpu time: 483 real time: 484 gc time: 89" "cpu time: 477 real time: 477 gc time: 85" "cpu time: 486 real time: 487 gc time: 92" "cpu time: 474 real time: 475 gc time: 87" "cpu time: 487 real time: 485 gc time: 80" "cpu time: 480 real time: 477 gc time: 87" "cpu time: 487 real time: 486 gc time: 95" "cpu time: 487 real time: 486 gc time: 87"))
("101100000" ("cpu time: 540 real time: 542 gc time: 96" "cpu time: 536 real time: 536 gc time: 88" "cpu time: 540 real time: 539 gc time: 85" "cpu time: 544 real time: 542 gc time: 85" "cpu time: 540 real time: 540 gc time: 96" "cpu time: 544 real time: 540 gc time: 89" "cpu time: 536 real time: 537 gc time: 83" "cpu time: 547 real time: 545 gc time: 80"))
("101100001" ("cpu time: 554 real time: 551 gc time: 89" "cpu time: 550 real time: 552 gc time: 85" "cpu time: 564 real time: 564 gc time: 98" "cpu time: 550 real time: 552 gc time: 86" "cpu time: 553 real time: 551 gc time: 88" "cpu time: 554 real time: 550 gc time: 90" "cpu time: 557 real time: 558 gc time: 87" "cpu time: 557 real time: 555 gc time: 94"))
("101100010" ("cpu time: 554 real time: 551 gc time: 86" "cpu time: 560 real time: 558 gc time: 90" "cpu time: 554 real time: 550 gc time: 96" "cpu time: 533 real time: 533 gc time: 82" "cpu time: 544 real time: 545 gc time: 86" "cpu time: 543 real time: 544 gc time: 87" "cpu time: 546 real time: 546 gc time: 94" "cpu time: 550 real time: 550 gc time: 93"))
("101100011" ("cpu time: 547 real time: 541 gc time: 77" "cpu time: 550 real time: 549 gc time: 83" "cpu time: 550 real time: 549 gc time: 87" "cpu time: 550 real time: 550 gc time: 91" "cpu time: 560 real time: 558 gc time: 93" "cpu time: 550 real time: 550 gc time: 87" "cpu time: 557 real time: 554 gc time: 92" "cpu time: 554 real time: 551 gc time: 93"))
("101100100" ("cpu time: 570 real time: 567 gc time: 86" "cpu time: 560 real time: 557 gc time: 80" "cpu time: 570 real time: 567 gc time: 103" "cpu time: 560 real time: 560 gc time: 89" "cpu time: 557 real time: 555 gc time: 84" "cpu time: 560 real time: 560 gc time: 88" "cpu time: 564 real time: 561 gc time: 93" "cpu time: 570 real time: 569 gc time: 97"))
("101100101" ("cpu time: 566 real time: 567 gc time: 91" "cpu time: 556 real time: 557 gc time: 83" "cpu time: 557 real time: 558 gc time: 86" "cpu time: 567 real time: 564 gc time: 83" "cpu time: 577 real time: 574 gc time: 100" "cpu time: 566 real time: 568 gc time: 100" "cpu time: 574 real time: 575 gc time: 88" "cpu time: 573 real time: 576 gc time: 86"))
("101100110" ("cpu time: 557 real time: 557 gc time: 84" "cpu time: 564 real time: 564 gc time: 93" "cpu time: 560 real time: 559 gc time: 91" "cpu time: 566 real time: 566 gc time: 90" "cpu time: 586 real time: 585 gc time: 111" "cpu time: 560 real time: 559 gc time: 90" "cpu time: 577 real time: 577 gc time: 102" "cpu time: 577 real time: 574 gc time: 87"))
("101100111" ("cpu time: 564 real time: 562 gc time: 86" "cpu time: 570 real time: 568 gc time: 90" "cpu time: 570 real time: 572 gc time: 90" "cpu time: 560 real time: 559 gc time: 86" "cpu time: 560 real time: 561 gc time: 83" "cpu time: 570 real time: 571 gc time: 84" "cpu time: 580 real time: 583 gc time: 99" "cpu time: 557 real time: 557 gc time: 81"))
("101101000" ("cpu time: 556 real time: 553 gc time: 90" "cpu time: 556 real time: 556 gc time: 85" "cpu time: 544 real time: 542 gc time: 91" "cpu time: 563 real time: 565 gc time: 83" "cpu time: 553 real time: 551 gc time: 95" "cpu time: 556 real time: 556 gc time: 90" "cpu time: 556 real time: 552 gc time: 95" "cpu time: 550 real time: 552 gc time: 88"))
("101101001" ("cpu time: 560 real time: 558 gc time: 90" "cpu time: 563 real time: 566 gc time: 90" "cpu time: 574 real time: 573 gc time: 93" "cpu time: 570 real time: 567 gc time: 90" "cpu time: 560 real time: 558 gc time: 87" "cpu time: 567 real time: 567 gc time: 91" "cpu time: 563 real time: 564 gc time: 86" "cpu time: 563 real time: 561 gc time: 80"))
("101101010" ("cpu time: 563 real time: 562 gc time: 89" "cpu time: 553 real time: 551 gc time: 88" "cpu time: 554 real time: 553 gc time: 90" "cpu time: 547 real time: 547 gc time: 92" "cpu time: 550 real time: 551 gc time: 92" "cpu time: 550 real time: 550 gc time: 91" "cpu time: 553 real time: 553 gc time: 85" "cpu time: 547 real time: 545 gc time: 84"))
("101101011" ("cpu time: 564 real time: 560 gc time: 87" "cpu time: 563 real time: 564 gc time: 97" "cpu time: 570 real time: 566 gc time: 84" "cpu time: 567 real time: 567 gc time: 104" "cpu time: 564 real time: 563 gc time: 93" "cpu time: 573 real time: 575 gc time: 86" "cpu time: 573 real time: 575 gc time: 82" "cpu time: 560 real time: 561 gc time: 90"))
("101101100" ("cpu time: 580 real time: 579 gc time: 100" "cpu time: 580 real time: 580 gc time: 102" "cpu time: 570 real time: 570 gc time: 96" "cpu time: 586 real time: 588 gc time: 100" "cpu time: 570 real time: 571 gc time: 91" "cpu time: 576 real time: 576 gc time: 94" "cpu time: 567 real time: 569 gc time: 83" "cpu time: 567 real time: 568 gc time: 85"))
("101101101" ("cpu time: 570 real time: 569 gc time: 83" "cpu time: 584 real time: 583 gc time: 102" "cpu time: 593 real time: 591 gc time: 97" "cpu time: 580 real time: 578 gc time: 93" "cpu time: 590 real time: 587 gc time: 94" "cpu time: 570 real time: 570 gc time: 86" "cpu time: 573 real time: 573 gc time: 87" "cpu time: 580 real time: 580 gc time: 87"))
("101101110" ("cpu time: 574 real time: 571 gc time: 93" "cpu time: 596 real time: 597 gc time: 102" "cpu time: 573 real time: 574 gc time: 82" "cpu time: 570 real time: 568 gc time: 93" "cpu time: 574 real time: 575 gc time: 87" "cpu time: 567 real time: 564 gc time: 87" "cpu time: 570 real time: 568 gc time: 80" "cpu time: 563 real time: 564 gc time: 84"))
("101101111" ("cpu time: 570 real time: 570 gc time: 86" "cpu time: 574 real time: 573 gc time: 90" "cpu time: 566 real time: 563 gc time: 84" "cpu time: 570 real time: 572 gc time: 80" "cpu time: 567 real time: 565 gc time: 80" "cpu time: 573 real time: 574 gc time: 94" "cpu time: 594 real time: 589 gc time: 96" "cpu time: 576 real time: 576 gc time: 93"))
("101110000" ("cpu time: 540 real time: 538 gc time: 95" "cpu time: 536 real time: 537 gc time: 92" "cpu time: 540 real time: 538 gc time: 90" "cpu time: 530 real time: 531 gc time: 83" "cpu time: 540 real time: 540 gc time: 88" "cpu time: 536 real time: 538 gc time: 89" "cpu time: 540 real time: 536 gc time: 91" "cpu time: 537 real time: 533 gc time: 90"))
("101110001" ("cpu time: 547 real time: 544 gc time: 89" "cpu time: 540 real time: 539 gc time: 88" "cpu time: 550 real time: 551 gc time: 83" "cpu time: 540 real time: 541 gc time: 85" "cpu time: 547 real time: 546 gc time: 84" "cpu time: 550 real time: 553 gc time: 86" "cpu time: 550 real time: 551 gc time: 90" "cpu time: 540 real time: 543 gc time: 83"))
("101110010" ("cpu time: 540 real time: 539 gc time: 93" "cpu time: 530 real time: 528 gc time: 87" "cpu time: 527 real time: 526 gc time: 80" "cpu time: 537 real time: 537 gc time: 94" "cpu time: 563 real time: 558 gc time: 107" "cpu time: 533 real time: 534 gc time: 82" "cpu time: 537 real time: 536 gc time: 87" "cpu time: 530 real time: 529 gc time: 83"))
("101110011" ("cpu time: 553 real time: 553 gc time: 86" "cpu time: 550 real time: 550 gc time: 87" "cpu time: 543 real time: 546 gc time: 81" "cpu time: 550 real time: 548 gc time: 76" "cpu time: 553 real time: 553 gc time: 91" "cpu time: 550 real time: 552 gc time: 91" "cpu time: 540 real time: 544 gc time: 84" "cpu time: 543 real time: 542 gc time: 82"))
("101110100" ("cpu time: 557 real time: 556 gc time: 89" "cpu time: 543 real time: 545 gc time: 77" "cpu time: 557 real time: 556 gc time: 92" "cpu time: 550 real time: 550 gc time: 87" "cpu time: 553 real time: 553 gc time: 93" "cpu time: 550 real time: 546 gc time: 79" "cpu time: 587 real time: 587 gc time: 101" "cpu time: 550 real time: 550 gc time: 86"))
("101110101" ("cpu time: 570 real time: 571 gc time: 94" "cpu time: 567 real time: 569 gc time: 100" "cpu time: 583 real time: 583 gc time: 95" "cpu time: 567 real time: 568 gc time: 85" "cpu time: 570 real time: 573 gc time: 108" "cpu time: 560 real time: 560 gc time: 80" "cpu time: 560 real time: 558 gc time: 79" "cpu time: 570 real time: 571 gc time: 84"))
("101110110" ("cpu time: 553 real time: 554 gc time: 88" "cpu time: 554 real time: 554 gc time: 91" "cpu time: 550 real time: 550 gc time: 93" "cpu time: 550 real time: 548 gc time: 87" "cpu time: 570 real time: 567 gc time: 108" "cpu time: 567 real time: 567 gc time: 105" "cpu time: 563 real time: 563 gc time: 104" "cpu time: 546 real time: 549 gc time: 84"))
("101110111" ("cpu time: 560 real time: 560 gc time: 80" "cpu time: 576 real time: 575 gc time: 90" "cpu time: 570 real time: 571 gc time: 82" "cpu time: 560 real time: 556 gc time: 83" "cpu time: 557 real time: 557 gc time: 84" "cpu time: 563 real time: 561 gc time: 85" "cpu time: 563 real time: 562 gc time: 91" "cpu time: 574 real time: 572 gc time: 86"))
("101111000" ("cpu time: 543 real time: 545 gc time: 79" "cpu time: 547 real time: 548 gc time: 88" "cpu time: 543 real time: 545 gc time: 90" "cpu time: 557 real time: 554 gc time: 90" "cpu time: 550 real time: 550 gc time: 91" "cpu time: 557 real time: 558 gc time: 91" "cpu time: 543 real time: 543 gc time: 91" "cpu time: 557 real time: 555 gc time: 83"))
("101111001" ("cpu time: 557 real time: 557 gc time: 79" "cpu time: 567 real time: 565 gc time: 94" "cpu time: 560 real time: 557 gc time: 90" "cpu time: 567 real time: 563 gc time: 104" "cpu time: 560 real time: 560 gc time: 86" "cpu time: 557 real time: 556 gc time: 85" "cpu time: 554 real time: 553 gc time: 88" "cpu time: 577 real time: 577 gc time: 103"))
("101111010" ("cpu time: 543 real time: 542 gc time: 85" "cpu time: 544 real time: 544 gc time: 86" "cpu time: 550 real time: 549 gc time: 87" "cpu time: 553 real time: 549 gc time: 94" "cpu time: 557 real time: 556 gc time: 90" "cpu time: 546 real time: 545 gc time: 90" "cpu time: 550 real time: 550 gc time: 87" "cpu time: 547 real time: 547 gc time: 87"))
("101111011" ("cpu time: 557 real time: 554 gc time: 91" "cpu time: 543 real time: 544 gc time: 82" "cpu time: 547 real time: 546 gc time: 83" "cpu time: 574 real time: 573 gc time: 103" "cpu time: 557 real time: 556 gc time: 88" "cpu time: 560 real time: 558 gc time: 90" "cpu time: 563 real time: 564 gc time: 94" "cpu time: 546 real time: 549 gc time: 80"))
("101111100" ("cpu time: 554 real time: 554 gc time: 83" "cpu time: 557 real time: 555 gc time: 80" "cpu time: 564 real time: 559 gc time: 90" "cpu time: 560 real time: 560 gc time: 92" "cpu time: 576 real time: 576 gc time: 103" "cpu time: 570 real time: 573 gc time: 93" "cpu time: 560 real time: 561 gc time: 90" "cpu time: 583 real time: 586 gc time: 92"))
("101111101" ("cpu time: 570 real time: 574 gc time: 91" "cpu time: 583 real time: 582 gc time: 90" "cpu time: 573 real time: 572 gc time: 87" "cpu time: 576 real time: 575 gc time: 86" "cpu time: 573 real time: 574 gc time: 77" "cpu time: 573 real time: 573 gc time: 89" "cpu time: 593 real time: 592 gc time: 104" "cpu time: 587 real time: 585 gc time: 99"))
("101111110" ("cpu time: 567 real time: 564 gc time: 94" "cpu time: 564 real time: 564 gc time: 90" "cpu time: 574 real time: 573 gc time: 87" "cpu time: 567 real time: 567 gc time: 95" "cpu time: 584 real time: 584 gc time: 87" "cpu time: 554 real time: 556 gc time: 79" "cpu time: 553 real time: 554 gc time: 84" "cpu time: 560 real time: 562 gc time: 92"))
("101111111" ("cpu time: 586 real time: 585 gc time: 82" "cpu time: 570 real time: 569 gc time: 86" "cpu time: 570 real time: 567 gc time: 88" "cpu time: 567 real time: 564 gc time: 84" "cpu time: 584 real time: 584 gc time: 87" "cpu time: 607 real time: 607 gc time: 99" "cpu time: 580 real time: 578 gc time: 91" "cpu time: 570 real time: 570 gc time: 87"))
("110000000" ("cpu time: 447 real time: 441 gc time: 87" "cpu time: 447 real time: 447 gc time: 81" "cpu time: 450 real time: 448 gc time: 86" "cpu time: 456 real time: 457 gc time: 90" "cpu time: 443 real time: 443 gc time: 87" "cpu time: 454 real time: 451 gc time: 90" "cpu time: 450 real time: 450 gc time: 86" "cpu time: 440 real time: 442 gc time: 83"))
("110000001" ("cpu time: 450 real time: 452 gc time: 83" "cpu time: 460 real time: 459 gc time: 94" "cpu time: 453 real time: 454 gc time: 84" "cpu time: 456 real time: 457 gc time: 84" "cpu time: 457 real time: 457 gc time: 83" "cpu time: 460 real time: 460 gc time: 87" "cpu time: 457 real time: 457 gc time: 85" "cpu time: 453 real time: 452 gc time: 84"))
("110000010" ("cpu time: 447 real time: 444 gc time: 86" "cpu time: 453 real time: 456 gc time: 106" "cpu time: 443 real time: 441 gc time: 88" "cpu time: 447 real time: 444 gc time: 88" "cpu time: 450 real time: 451 gc time: 86" "cpu time: 457 real time: 454 gc time: 91" "cpu time: 447 real time: 448 gc time: 84" "cpu time: 450 real time: 445 gc time: 90"))
("110000011" ("cpu time: 470 real time: 472 gc time: 103" "cpu time: 463 real time: 462 gc time: 91" "cpu time: 457 real time: 456 gc time: 87" "cpu time: 463 real time: 462 gc time: 94" "cpu time: 456 real time: 457 gc time: 86" "cpu time: 460 real time: 456 gc time: 90" "cpu time: 457 real time: 455 gc time: 81" "cpu time: 457 real time: 457 gc time: 87"))
("110000100" ("cpu time: 460 real time: 461 gc time: 85" "cpu time: 467 real time: 469 gc time: 91" "cpu time: 466 real time: 464 gc time: 88" "cpu time: 467 real time: 466 gc time: 90" "cpu time: 467 real time: 466 gc time: 88" "cpu time: 464 real time: 462 gc time: 89" "cpu time: 474 real time: 475 gc time: 75" "cpu time: 457 real time: 459 gc time: 85"))
("110000101" ("cpu time: 484 real time: 484 gc time: 97" "cpu time: 477 real time: 475 gc time: 87" "cpu time: 470 real time: 470 gc time: 86" "cpu time: 470 real time: 469 gc time: 76" "cpu time: 483 real time: 482 gc time: 104" "cpu time: 467 real time: 466 gc time: 83" "cpu time: 474 real time: 472 gc time: 87" "cpu time: 477 real time: 474 gc time: 86"))
("110000110" ("cpu time: 460 real time: 460 gc time: 87" "cpu time: 457 real time: 458 gc time: 82" "cpu time: 477 real time: 476 gc time: 92" "cpu time: 467 real time: 468 gc time: 90" "cpu time: 470 real time: 472 gc time: 87" "cpu time: 470 real time: 469 gc time: 90" "cpu time: 473 real time: 476 gc time: 100" "cpu time: 464 real time: 464 gc time: 83"))
("110000111" ("cpu time: 470 real time: 466 gc time: 87" "cpu time: 474 real time: 473 gc time: 87" "cpu time: 467 real time: 466 gc time: 80" "cpu time: 463 real time: 464 gc time: 91" "cpu time: 477 real time: 475 gc time: 90" "cpu time: 473 real time: 471 gc time: 89" "cpu time: 470 real time: 469 gc time: 89" "cpu time: 476 real time: 471 gc time: 89"))
("110001000" ("cpu time: 464 real time: 465 gc time: 86" "cpu time: 464 real time: 461 gc time: 84" "cpu time: 456 real time: 456 gc time: 87" "cpu time: 454 real time: 454 gc time: 83" "cpu time: 457 real time: 455 gc time: 90" "cpu time: 473 real time: 472 gc time: 101" "cpu time: 460 real time: 460 gc time: 83" "cpu time: 460 real time: 457 gc time: 82"))
("110001001" ("cpu time: 467 real time: 465 gc time: 80" "cpu time: 470 real time: 471 gc time: 91" "cpu time: 470 real time: 469 gc time: 84" "cpu time: 470 real time: 464 gc time: 87" "cpu time: 476 real time: 477 gc time: 102" "cpu time: 486 real time: 484 gc time: 102" "cpu time: 466 real time: 463 gc time: 87" "cpu time: 474 real time: 473 gc time: 87"))
("110001010" ("cpu time: 460 real time: 459 gc time: 83" "cpu time: 460 real time: 458 gc time: 93" "cpu time: 470 real time: 472 gc time: 100" "cpu time: 454 real time: 452 gc time: 83" "cpu time: 457 real time: 456 gc time: 87" "cpu time: 476 real time: 474 gc time: 100" "cpu time: 483 real time: 481 gc time: 107" "cpu time: 456 real time: 458 gc time: 84"))
("110001011" ("cpu time: 463 real time: 467 gc time: 94" "cpu time: 460 real time: 462 gc time: 87" "cpu time: 470 real time: 467 gc time: 94" "cpu time: 467 real time: 464 gc time: 87" "cpu time: 470 real time: 470 gc time: 82" "cpu time: 463 real time: 464 gc time: 86" "cpu time: 464 real time: 461 gc time: 87" "cpu time: 467 real time: 466 gc time: 86"))
("110001100" ("cpu time: 490 real time: 493 gc time: 97" "cpu time: 474 real time: 472 gc time: 88" "cpu time: 464 real time: 466 gc time: 86" "cpu time: 484 real time: 482 gc time: 97" "cpu time: 467 real time: 469 gc time: 84" "cpu time: 484 real time: 483 gc time: 88" "cpu time: 477 real time: 475 gc time: 86" "cpu time: 466 real time: 467 gc time: 84"))
("110001101" ("cpu time: 480 real time: 479 gc time: 89" "cpu time: 480 real time: 479 gc time: 87" "cpu time: 490 real time: 489 gc time: 88" "cpu time: 500 real time: 502 gc time: 103" "cpu time: 490 real time: 490 gc time: 89" "cpu time: 476 real time: 476 gc time: 86" "cpu time: 487 real time: 484 gc time: 84" "cpu time: 473 real time: 473 gc time: 79"))
("110001110" ("cpu time: 477 real time: 476 gc time: 89" "cpu time: 466 real time: 464 gc time: 83" "cpu time: 490 real time: 491 gc time: 96" "cpu time: 480 real time: 480 gc time: 90" "cpu time: 484 real time: 484 gc time: 90" "cpu time: 500 real time: 498 gc time: 106" "cpu time: 474 real time: 472 gc time: 87" "cpu time: 480 real time: 478 gc time: 86"))
("110001111" ("cpu time: 490 real time: 489 gc time: 83" "cpu time: 476 real time: 475 gc time: 87" "cpu time: 490 real time: 488 gc time: 89" "cpu time: 506 real time: 504 gc time: 104" "cpu time: 474 real time: 472 gc time: 83" "cpu time: 480 real time: 479 gc time: 84" "cpu time: 484 real time: 481 gc time: 87" "cpu time: 486 real time: 486 gc time: 83"))
("110010000" ("cpu time: 457 real time: 455 gc time: 94" "cpu time: 473 real time: 472 gc time: 110" "cpu time: 444 real time: 445 gc time: 87" "cpu time: 450 real time: 445 gc time: 94" "cpu time: 454 real time: 453 gc time: 92" "cpu time: 450 real time: 447 gc time: 90" "cpu time: 443 real time: 446 gc time: 87" "cpu time: 453 real time: 455 gc time: 87"))
("110010001" ("cpu time: 466 real time: 467 gc time: 90" "cpu time: 470 real time: 469 gc time: 90" "cpu time: 477 real time: 475 gc time: 107" "cpu time: 450 real time: 452 gc time: 84" "cpu time: 460 real time: 460 gc time: 95" "cpu time: 487 real time: 483 gc time: 107" "cpu time: 483 real time: 481 gc time: 100" "cpu time: 460 real time: 462 gc time: 89"))
("110010010" ("cpu time: 450 real time: 448 gc time: 87" "cpu time: 453 real time: 452 gc time: 92" "cpu time: 447 real time: 449 gc time: 91" "cpu time: 447 real time: 447 gc time: 84" "cpu time: 453 real time: 451 gc time: 91" "cpu time: 474 real time: 471 gc time: 103" "cpu time: 467 real time: 467 gc time: 106" "cpu time: 447 real time: 445 gc time: 91"))
("110010011" ("cpu time: 463 real time: 461 gc time: 90" "cpu time: 480 real time: 478 gc time: 107" "cpu time: 463 real time: 465 gc time: 94" "cpu time: 460 real time: 460 gc time: 89" "cpu time: 463 real time: 461 gc time: 95" "cpu time: 464 real time: 462 gc time: 90" "cpu time: 480 real time: 480 gc time: 107" "cpu time: 477 real time: 477 gc time: 101"))
("110010100" ("cpu time: 464 real time: 463 gc time: 90" "cpu time: 460 real time: 461 gc time: 87" "cpu time: 480 real time: 477 gc time: 103" "cpu time: 480 real time: 476 gc time: 91" "cpu time: 483 real time: 482 gc time: 111" "cpu time: 484 real time: 480 gc time: 106" "cpu time: 480 real time: 479 gc time: 93" "cpu time: 467 real time: 464 gc time: 87"))
("110010101" ("cpu time: 466 real time: 466 gc time: 86" "cpu time: 470 real time: 470 gc time: 87" "cpu time: 477 real time: 474 gc time: 97" "cpu time: 476 real time: 474 gc time: 87" "cpu time: 470 real time: 472 gc time: 83" "cpu time: 473 real time: 472 gc time: 94" "cpu time: 470 real time: 470 gc time: 83" "cpu time: 480 real time: 478 gc time: 97"))
("110010110" ("cpu time: 463 real time: 463 gc time: 83" "cpu time: 467 real time: 465 gc time: 83" "cpu time: 460 real time: 462 gc time: 90" "cpu time: 460 real time: 461 gc time: 86" "cpu time: 460 real time: 459 gc time: 90" "cpu time: 457 real time: 461 gc time: 93" "cpu time: 473 real time: 468 gc time: 88" "cpu time: 466 real time: 466 gc time: 87"))
("110010111" ("cpu time: 480 real time: 479 gc time: 98" "cpu time: 480 real time: 478 gc time: 92" "cpu time: 480 real time: 476 gc time: 93" "cpu time: 480 real time: 479 gc time: 100" "cpu time: 490 real time: 488 gc time: 87" "cpu time: 480 real time: 479 gc time: 91" "cpu time: 470 real time: 470 gc time: 86" "cpu time: 477 real time: 477 gc time: 91"))
("110011000" ("cpu time: 456 real time: 456 gc time: 84" "cpu time: 464 real time: 463 gc time: 90" "cpu time: 470 real time: 467 gc time: 96" "cpu time: 453 real time: 455 gc time: 84" "cpu time: 466 real time: 462 gc time: 92" "cpu time: 457 real time: 455 gc time: 86" "cpu time: 463 real time: 463 gc time: 88" "cpu time: 457 real time: 456 gc time: 83"))
("110011001" ("cpu time: 484 real time: 485 gc time: 106" "cpu time: 484 real time: 486 gc time: 102" "cpu time: 467 real time: 463 gc time: 89" "cpu time: 467 real time: 464 gc time: 91" "cpu time: 467 real time: 466 gc time: 81" "cpu time: 470 real time: 468 gc time: 85" "cpu time: 470 real time: 467 gc time: 92" "cpu time: 467 real time: 466 gc time: 89"))
("110011010" ("cpu time: 470 real time: 470 gc time: 86" "cpu time: 460 real time: 461 gc time: 92" "cpu time: 467 real time: 466 gc time: 96" "cpu time: 460 real time: 463 gc time: 93" "cpu time: 456 real time: 460 gc time: 90" "cpu time: 463 real time: 463 gc time: 89" "cpu time: 456 real time: 458 gc time: 93" "cpu time: 460 real time: 459 gc time: 93"))
("110011011" ("cpu time: 484 real time: 484 gc time: 106" "cpu time: 463 real time: 466 gc time: 89" "cpu time: 467 real time: 468 gc time: 94" "cpu time: 466 real time: 465 gc time: 90" "cpu time: 464 real time: 461 gc time: 89" "cpu time: 466 real time: 468 gc time: 90" "cpu time: 466 real time: 469 gc time: 91" "cpu time: 480 real time: 479 gc time: 100"))
("110011100" ("cpu time: 470 real time: 470 gc time: 90" "cpu time: 480 real time: 479 gc time: 88" "cpu time: 483 real time: 483 gc time: 93" "cpu time: 470 real time: 472 gc time: 91" "cpu time: 473 real time: 472 gc time: 95" "cpu time: 467 real time: 467 gc time: 89" "cpu time: 480 real time: 479 gc time: 92" "cpu time: 494 real time: 492 gc time: 95"))
("110011101" ("cpu time: 477 real time: 477 gc time: 83" "cpu time: 486 real time: 486 gc time: 92" "cpu time: 500 real time: 504 gc time: 104" "cpu time: 476 real time: 474 gc time: 79" "cpu time: 480 real time: 479 gc time: 83" "cpu time: 487 real time: 486 gc time: 88" "cpu time: 480 real time: 481 gc time: 89" "cpu time: 487 real time: 485 gc time: 87"))
("110011110" ("cpu time: 483 real time: 482 gc time: 94" "cpu time: 480 real time: 479 gc time: 93" "cpu time: 473 real time: 474 gc time: 91" "cpu time: 477 real time: 476 gc time: 90" "cpu time: 473 real time: 475 gc time: 94" "cpu time: 470 real time: 470 gc time: 86" "cpu time: 474 real time: 472 gc time: 87" "cpu time: 474 real time: 471 gc time: 90"))
("110011111" ("cpu time: 490 real time: 489 gc time: 93" "cpu time: 483 real time: 485 gc time: 93" "cpu time: 490 real time: 488 gc time: 89" "cpu time: 487 real time: 487 gc time: 87" "cpu time: 477 real time: 478 gc time: 88" "cpu time: 483 real time: 484 gc time: 82" "cpu time: 484 real time: 484 gc time: 86" "cpu time: 496 real time: 497 gc time: 97"))
("110100000" ("cpu time: 550 real time: 551 gc time: 101" "cpu time: 540 real time: 538 gc time: 89" "cpu time: 533 real time: 534 gc time: 86" "cpu time: 540 real time: 538 gc time: 91" "cpu time: 550 real time: 551 gc time: 90" "cpu time: 537 real time: 535 gc time: 94" "cpu time: 533 real time: 530 gc time: 88" "cpu time: 537 real time: 536 gc time: 87"))
("110100001" ("cpu time: 554 real time: 554 gc time: 94" "cpu time: 554 real time: 552 gc time: 87" "cpu time: 553 real time: 552 gc time: 97" "cpu time: 560 real time: 560 gc time: 103" "cpu time: 547 real time: 547 gc time: 87" "cpu time: 560 real time: 557 gc time: 87" "cpu time: 550 real time: 549 gc time: 86" "cpu time: 553 real time: 551 gc time: 87"))
("110100010" ("cpu time: 540 real time: 537 gc time: 89" "cpu time: 546 real time: 544 gc time: 84" "cpu time: 537 real time: 537 gc time: 85" "cpu time: 540 real time: 540 gc time: 94" "cpu time: 534 real time: 535 gc time: 83" "cpu time: 530 real time: 530 gc time: 90" "cpu time: 537 real time: 537 gc time: 88" "cpu time: 537 real time: 535 gc time: 82"))
("110100011" ("cpu time: 557 real time: 555 gc time: 91" "cpu time: 550 real time: 551 gc time: 91" "cpu time: 556 real time: 559 gc time: 89" "cpu time: 547 real time: 547 gc time: 84" "cpu time: 550 real time: 549 gc time: 94" "cpu time: 553 real time: 553 gc time: 91" "cpu time: 563 real time: 562 gc time: 105" "cpu time: 547 real time: 549 gc time: 89"))
("110100100" ("cpu time: 557 real time: 555 gc time: 89" "cpu time: 553 real time: 552 gc time: 91" "cpu time: 580 real time: 578 gc time: 104" "cpu time: 550 real time: 549 gc time: 90" "cpu time: 563 real time: 564 gc time: 97" "cpu time: 560 real time: 557 gc time: 85" "cpu time: 553 real time: 552 gc time: 85" "cpu time: 553 real time: 554 gc time: 86"))
("110100101" ("cpu time: 557 real time: 559 gc time: 84" "cpu time: 567 real time: 566 gc time: 90" "cpu time: 563 real time: 561 gc time: 91" "cpu time: 566 real time: 567 gc time: 80" "cpu time: 570 real time: 569 gc time: 93" "cpu time: 574 real time: 575 gc time: 87" "cpu time: 556 real time: 555 gc time: 81" "cpu time: 560 real time: 558 gc time: 86"))
("110100110" ("cpu time: 560 real time: 562 gc time: 86" "cpu time: 567 real time: 566 gc time: 87" "cpu time: 557 real time: 557 gc time: 91" "cpu time: 556 real time: 557 gc time: 90" "cpu time: 573 real time: 573 gc time: 89" "cpu time: 584 real time: 581 gc time: 102" "cpu time: 550 real time: 550 gc time: 90" "cpu time: 573 real time: 575 gc time: 88"))
("110100111" ("cpu time: 597 real time: 597 gc time: 107" "cpu time: 584 real time: 582 gc time: 95" "cpu time: 574 real time: 572 gc time: 95" "cpu time: 570 real time: 568 gc time: 85" "cpu time: 570 real time: 566 gc time: 80" "cpu time: 564 real time: 566 gc time: 85" "cpu time: 573 real time: 574 gc time: 87" "cpu time: 563 real time: 562 gc time: 81"))
("110101000" ("cpu time: 567 real time: 567 gc time: 103" "cpu time: 540 real time: 540 gc time: 86" "cpu time: 557 real time: 553 gc time: 89" "cpu time: 560 real time: 560 gc time: 90" "cpu time: 566 real time: 567 gc time: 90" "cpu time: 543 real time: 544 gc time: 88" "cpu time: 570 real time: 568 gc time: 103" "cpu time: 556 real time: 555 gc time: 87"))
("110101001" ("cpu time: 550 real time: 550 gc time: 88" "cpu time: 583 real time: 582 gc time: 107" "cpu time: 560 real time: 557 gc time: 86" "cpu time: 563 real time: 566 gc time: 97" "cpu time: 553 real time: 552 gc time: 91" "cpu time: 553 real time: 553 gc time: 95" "cpu time: 570 real time: 571 gc time: 96" "cpu time: 540 real time: 540 gc time: 80"))
("110101010" ("cpu time: 550 real time: 549 gc time: 79" "cpu time: 554 real time: 549 gc time: 91" "cpu time: 567 real time: 563 gc time: 101" "cpu time: 560 real time: 556 gc time: 86" "cpu time: 553 real time: 551 gc time: 82" "cpu time: 567 real time: 564 gc time: 98" "cpu time: 550 real time: 551 gc time: 86" "cpu time: 550 real time: 551 gc time: 89"))
("110101011" ("cpu time: 560 real time: 560 gc time: 89" "cpu time: 563 real time: 563 gc time: 90" "cpu time: 556 real time: 557 gc time: 92" "cpu time: 554 real time: 552 gc time: 83" "cpu time: 557 real time: 556 gc time: 90" "cpu time: 560 real time: 559 gc time: 93" "cpu time: 584 real time: 582 gc time: 98" "cpu time: 546 real time: 547 gc time: 85"))
("110101100" ("cpu time: 563 real time: 565 gc time: 85" "cpu time: 560 real time: 562 gc time: 85" "cpu time: 560 real time: 562 gc time: 87" "cpu time: 570 real time: 571 gc time: 87" "cpu time: 570 real time: 572 gc time: 94" "cpu time: 573 real time: 572 gc time: 92" "cpu time: 574 real time: 571 gc time: 84" "cpu time: 563 real time: 563 gc time: 83"))
("110101101" ("cpu time: 577 real time: 574 gc time: 85" "cpu time: 587 real time: 586 gc time: 90" "cpu time: 573 real time: 573 gc time: 87" "cpu time: 580 real time: 581 gc time: 94" "cpu time: 570 real time: 569 gc time: 86" "cpu time: 577 real time: 575 gc time: 91" "cpu time: 570 real time: 570 gc time: 86" "cpu time: 564 real time: 562 gc time: 80"))
("110101110" ("cpu time: 567 real time: 567 gc time: 86" "cpu time: 584 real time: 580 gc time: 82" "cpu time: 557 real time: 554 gc time: 87" "cpu time: 574 real time: 574 gc time: 92" "cpu time: 583 real time: 583 gc time: 102" "cpu time: 570 real time: 569 gc time: 87" "cpu time: 570 real time: 569 gc time: 90" "cpu time: 583 real time: 582 gc time: 103"))
("110101111" ("cpu time: 573 real time: 573 gc time: 90" "cpu time: 570 real time: 569 gc time: 89" "cpu time: 574 real time: 572 gc time: 86" "cpu time: 570 real time: 570 gc time: 87" "cpu time: 577 real time: 577 gc time: 90" "cpu time: 570 real time: 570 gc time: 89" "cpu time: 590 real time: 589 gc time: 86" "cpu time: 566 real time: 566 gc time: 86"))
("110110000" ("cpu time: 533 real time: 532 gc time: 82" "cpu time: 533 real time: 532 gc time: 86" "cpu time: 534 real time: 531 gc time: 91" "cpu time: 527 real time: 527 gc time: 81" "cpu time: 533 real time: 532 gc time: 86" "cpu time: 530 real time: 531 gc time: 84" "cpu time: 547 real time: 545 gc time: 103" "cpu time: 534 real time: 531 gc time: 87"))
("110110001" ("cpu time: 567 real time: 567 gc time: 105" "cpu time: 536 real time: 537 gc time: 84" "cpu time: 543 real time: 541 gc time: 85" "cpu time: 550 real time: 550 gc time: 93" "cpu time: 540 real time: 541 gc time: 87" "cpu time: 534 real time: 536 gc time: 84" "cpu time: 550 real time: 550 gc time: 90" "cpu time: 543 real time: 542 gc time: 86"))
("110110010" ("cpu time: 537 real time: 534 gc time: 83" "cpu time: 540 real time: 538 gc time: 83" "cpu time: 533 real time: 533 gc time: 88" "cpu time: 533 real time: 533 gc time: 83" "cpu time: 546 real time: 547 gc time: 106" "cpu time: 534 real time: 532 gc time: 88" "cpu time: 530 real time: 529 gc time: 87" "cpu time: 537 real time: 534 gc time: 90"))
("110110011" ("cpu time: 540 real time: 541 gc time: 92" "cpu time: 540 real time: 538 gc time: 82" "cpu time: 560 real time: 559 gc time: 84" "cpu time: 540 real time: 539 gc time: 87" "cpu time: 560 real time: 559 gc time: 91" "cpu time: 543 real time: 542 gc time: 95" "cpu time: 543 real time: 547 gc time: 87" "cpu time: 530 real time: 532 gc time: 79"))
("110110100" ("cpu time: 550 real time: 550 gc time: 81" "cpu time: 557 real time: 559 gc time: 90" "cpu time: 543 real time: 543 gc time: 86" "cpu time: 557 real time: 556 gc time: 88" "cpu time: 556 real time: 555 gc time: 92" "cpu time: 543 real time: 544 gc time: 82" "cpu time: 556 real time: 555 gc time: 77" "cpu time: 550 real time: 551 gc time: 90"))
("110110101" ("cpu time: 556 real time: 555 gc time: 84" "cpu time: 560 real time: 560 gc time: 84" "cpu time: 556 real time: 560 gc time: 93" "cpu time: 556 real time: 557 gc time: 83" "cpu time: 573 real time: 573 gc time: 82" "cpu time: 577 real time: 576 gc time: 84" "cpu time: 560 real time: 558 gc time: 90" "cpu time: 557 real time: 557 gc time: 83"))
("110110110" ("cpu time: 550 real time: 550 gc time: 89" "cpu time: 550 real time: 551 gc time: 91" "cpu time: 557 real time: 555 gc time: 92" "cpu time: 550 real time: 550 gc time: 91" "cpu time: 557 real time: 557 gc time: 83" "cpu time: 567 real time: 567 gc time: 82" "cpu time: 560 real time: 562 gc time: 95" "cpu time: 560 real time: 562 gc time: 82"))
("110110111" ("cpu time: 554 real time: 552 gc time: 80" "cpu time: 554 real time: 552 gc time: 85" "cpu time: 554 real time: 550 gc time: 89" "cpu time: 557 real time: 556 gc time: 90" "cpu time: 557 real time: 558 gc time: 89" "cpu time: 554 real time: 554 gc time: 87" "cpu time: 557 real time: 556 gc time: 79" "cpu time: 554 real time: 555 gc time: 87"))
("110111000" ("cpu time: 546 real time: 546 gc time: 91" "cpu time: 550 real time: 546 gc time: 88" "cpu time: 540 real time: 542 gc time: 90" "cpu time: 550 real time: 550 gc time: 87" "cpu time: 550 real time: 550 gc time: 76" "cpu time: 550 real time: 547 gc time: 86" "cpu time: 546 real time: 544 gc time: 90" "cpu time: 550 real time: 548 gc time: 87"))
("110111001" ("cpu time: 564 real time: 563 gc time: 95" "cpu time: 560 real time: 560 gc time: 79" "cpu time: 560 real time: 558 gc time: 84" "cpu time: 556 real time: 552 gc time: 89" "cpu time: 564 real time: 562 gc time: 83" "cpu time: 543 real time: 544 gc time: 89" "cpu time: 550 real time: 548 gc time: 90" "cpu time: 550 real time: 550 gc time: 80"))
("110111010" ("cpu time: 540 real time: 539 gc time: 82" "cpu time: 543 real time: 543 gc time: 85" "cpu time: 544 real time: 544 gc time: 85" "cpu time: 543 real time: 543 gc time: 87" "cpu time: 543 real time: 539 gc time: 89" "cpu time: 553 real time: 554 gc time: 87" "cpu time: 540 real time: 539 gc time: 89" "cpu time: 550 real time: 549 gc time: 87"))
("110111011" ("cpu time: 557 real time: 555 gc time: 84" "cpu time: 560 real time: 558 gc time: 87" "cpu time: 560 real time: 557 gc time: 83" "cpu time: 547 real time: 547 gc time: 88" "cpu time: 564 real time: 562 gc time: 91" "cpu time: 550 real time: 549 gc time: 87" "cpu time: 560 real time: 560 gc time: 87" "cpu time: 553 real time: 554 gc time: 86"))
("110111100" ("cpu time: 574 real time: 571 gc time: 87" "cpu time: 557 real time: 558 gc time: 83" "cpu time: 590 real time: 586 gc time: 82" "cpu time: 566 real time: 567 gc time: 80" "cpu time: 557 real time: 558 gc time: 83" "cpu time: 564 real time: 563 gc time: 86" "cpu time: 563 real time: 564 gc time: 94" "cpu time: 570 real time: 570 gc time: 82"))
("110111101" ("cpu time: 573 real time: 572 gc time: 88" "cpu time: 570 real time: 571 gc time: 90" "cpu time: 570 real time: 570 gc time: 90" "cpu time: 574 real time: 572 gc time: 87" "cpu time: 573 real time: 572 gc time: 91" "cpu time: 563 real time: 562 gc time: 89" "cpu time: 580 real time: 581 gc time: 91" "cpu time: 573 real time: 572 gc time: 89"))
("110111110" ("cpu time: 584 real time: 582 gc time: 108" "cpu time: 573 real time: 574 gc time: 88" "cpu time: 594 real time: 589 gc time: 99" "cpu time: 577 real time: 574 gc time: 107" "cpu time: 584 real time: 584 gc time: 100" "cpu time: 560 real time: 560 gc time: 87" "cpu time: 573 real time: 574 gc time: 96" "cpu time: 560 real time: 561 gc time: 84"))
("110111111" ("cpu time: 587 real time: 586 gc time: 90" "cpu time: 567 real time: 563 gc time: 85" "cpu time: 580 real time: 581 gc time: 100" "cpu time: 573 real time: 571 gc time: 92" "cpu time: 570 real time: 572 gc time: 87" "cpu time: 570 real time: 572 gc time: 86" "cpu time: 570 real time: 571 gc time: 83" "cpu time: 577 real time: 576 gc time: 86"))
("111000000" ("cpu time: 447 real time: 444 gc time: 91" "cpu time: 453 real time: 451 gc time: 91" "cpu time: 450 real time: 450 gc time: 90" "cpu time: 440 real time: 442 gc time: 86" "cpu time: 450 real time: 448 gc time: 91" "cpu time: 467 real time: 466 gc time: 103" "cpu time: 450 real time: 452 gc time: 85" "cpu time: 453 real time: 450 gc time: 90"))
("111000001" ("cpu time: 467 real time: 464 gc time: 89" "cpu time: 450 real time: 450 gc time: 84" "cpu time: 457 real time: 453 gc time: 91" "cpu time: 454 real time: 455 gc time: 79" "cpu time: 456 real time: 456 gc time: 87" "cpu time: 457 real time: 458 gc time: 91" "cpu time: 460 real time: 459 gc time: 77" "cpu time: 457 real time: 456 gc time: 76"))
("111000010" ("cpu time: 457 real time: 454 gc time: 90" "cpu time: 446 real time: 446 gc time: 82" "cpu time: 454 real time: 453 gc time: 79" "cpu time: 447 real time: 448 gc time: 83" "cpu time: 460 real time: 458 gc time: 96" "cpu time: 453 real time: 455 gc time: 87" "cpu time: 450 real time: 449 gc time: 86" "cpu time: 460 real time: 460 gc time: 85"))
("111000011" ("cpu time: 453 real time: 452 gc time: 81" "cpu time: 460 real time: 458 gc time: 87" "cpu time: 477 real time: 478 gc time: 93" "cpu time: 450 real time: 451 gc time: 83" "cpu time: 453 real time: 453 gc time: 84" "cpu time: 453 real time: 454 gc time: 85" "cpu time: 470 real time: 473 gc time: 103" "cpu time: 453 real time: 453 gc time: 84"))
("111000100" ("cpu time: 470 real time: 467 gc time: 87" "cpu time: 463 real time: 463 gc time: 80" "cpu time: 467 real time: 465 gc time: 90" "cpu time: 470 real time: 471 gc time: 90" "cpu time: 464 real time: 464 gc time: 85" "cpu time: 463 real time: 463 gc time: 83" "cpu time: 467 real time: 466 gc time: 79" "cpu time: 466 real time: 466 gc time: 85"))
("111000101" ("cpu time: 477 real time: 476 gc time: 87" "cpu time: 470 real time: 470 gc time: 91" "cpu time: 477 real time: 475 gc time: 90" "cpu time: 473 real time: 471 gc time: 83" "cpu time: 476 real time: 473 gc time: 90" "cpu time: 470 real time: 470 gc time: 82" "cpu time: 467 real time: 465 gc time: 79" "cpu time: 476 real time: 478 gc time: 83"))
("111000110" ("cpu time: 463 real time: 465 gc time: 87" "cpu time: 470 real time: 469 gc time: 87" "cpu time: 477 real time: 475 gc time: 99" "cpu time: 477 real time: 476 gc time: 95" "cpu time: 480 real time: 476 gc time: 98" "cpu time: 460 real time: 460 gc time: 87" "cpu time: 463 real time: 461 gc time: 80" "cpu time: 457 real time: 459 gc time: 93"))
("111000111" ("cpu time: 470 real time: 469 gc time: 76" "cpu time: 477 real time: 477 gc time: 87" "cpu time: 490 real time: 489 gc time: 104" "cpu time: 493 real time: 493 gc time: 104" "cpu time: 484 real time: 484 gc time: 97" "cpu time: 480 real time: 479 gc time: 90" "cpu time: 467 real time: 465 gc time: 83" "cpu time: 470 real time: 470 gc time: 87"))
("111001000" ("cpu time: 467 real time: 470 gc time: 105" "cpu time: 470 real time: 469 gc time: 96" "cpu time: 477 real time: 479 gc time: 98" "cpu time: 460 real time: 461 gc time: 89" "cpu time: 467 real time: 467 gc time: 89" "cpu time: 480 real time: 476 gc time: 105" "cpu time: 477 real time: 476 gc time: 104" "cpu time: 467 real time: 464 gc time: 82"))
("111001001" ("cpu time: 467 real time: 465 gc time: 87" "cpu time: 483 real time: 481 gc time: 107" "cpu time: 460 real time: 460 gc time: 89" "cpu time: 470 real time: 469 gc time: 86" "cpu time: 463 real time: 462 gc time: 84" "cpu time: 470 real time: 470 gc time: 89" "cpu time: 474 real time: 475 gc time: 101" "cpu time: 477 real time: 477 gc time: 90"))
("111001010" ("cpu time: 470 real time: 470 gc time: 104" "cpu time: 474 real time: 475 gc time: 104" "cpu time: 457 real time: 454 gc time: 86" "cpu time: 466 real time: 463 gc time: 91" "cpu time: 457 real time: 455 gc time: 89" "cpu time: 480 real time: 479 gc time: 104" "cpu time: 470 real time: 468 gc time: 92" "cpu time: 466 real time: 468 gc time: 81"))
("111001011" ("cpu time: 464 real time: 461 gc time: 89" "cpu time: 467 real time: 469 gc time: 79" "cpu time: 464 real time: 464 gc time: 83" "cpu time: 470 real time: 470 gc time: 89" "cpu time: 460 real time: 459 gc time: 82" "cpu time: 467 real time: 466 gc time: 80" "cpu time: 470 real time: 470 gc time: 82" "cpu time: 463 real time: 462 gc time: 78"))
("111001100" ("cpu time: 480 real time: 479 gc time: 91" "cpu time: 480 real time: 480 gc time: 83" "cpu time: 490 real time: 488 gc time: 93" "cpu time: 490 real time: 490 gc time: 103" "cpu time: 484 real time: 485 gc time: 94" "cpu time: 476 real time: 473 gc time: 84" "cpu time: 477 real time: 476 gc time: 87" "cpu time: 483 real time: 482 gc time: 91"))
("111001101" ("cpu time: 487 real time: 485 gc time: 90" "cpu time: 477 real time: 477 gc time: 82" "cpu time: 487 real time: 487 gc time: 80" "cpu time: 483 real time: 482 gc time: 86" "cpu time: 490 real time: 489 gc time: 91" "cpu time: 493 real time: 492 gc time: 105" "cpu time: 484 real time: 485 gc time: 83" "cpu time: 483 real time: 482 gc time: 90"))
("111001110" ("cpu time: 493 real time: 491 gc time: 96" "cpu time: 483 real time: 483 gc time: 97" "cpu time: 480 real time: 480 gc time: 84" "cpu time: 473 real time: 471 gc time: 83" "cpu time: 467 real time: 466 gc time: 80" "cpu time: 487 real time: 489 gc time: 101" "cpu time: 494 real time: 493 gc time: 97" "cpu time: 473 real time: 474 gc time: 83"))
("111001111" ("cpu time: 480 real time: 481 gc time: 87" "cpu time: 500 real time: 493 gc time: 98" "cpu time: 477 real time: 476 gc time: 83" "cpu time: 510 real time: 506 gc time: 102" "cpu time: 490 real time: 488 gc time: 83" "cpu time: 486 real time: 485 gc time: 83" "cpu time: 497 real time: 497 gc time: 103" "cpu time: 480 real time: 480 gc time: 83"))
("111010000" ("cpu time: 460 real time: 455 gc time: 90" "cpu time: 460 real time: 461 gc time: 94" "cpu time: 457 real time: 456 gc time: 91" "cpu time: 450 real time: 450 gc time: 95" "cpu time: 450 real time: 450 gc time: 97" "cpu time: 447 real time: 446 gc time: 84" "cpu time: 463 real time: 465 gc time: 107" "cpu time: 450 real time: 450 gc time: 90"))
("111010001" ("cpu time: 460 real time: 457 gc time: 83" "cpu time: 480 real time: 480 gc time: 98" "cpu time: 470 real time: 465 gc time: 91" "cpu time: 460 real time: 461 gc time: 91" "cpu time: 473 real time: 471 gc time: 97" "cpu time: 463 real time: 463 gc time: 89" "cpu time: 457 real time: 456 gc time: 89" "cpu time: 463 real time: 464 gc time: 83"))
("111010010" ("cpu time: 460 real time: 456 gc time: 87" "cpu time: 456 real time: 455 gc time: 90" "cpu time: 450 real time: 450 gc time: 87" "cpu time: 473 real time: 471 gc time: 103" "cpu time: 460 real time: 462 gc time: 91" "cpu time: 457 real time: 453 gc time: 95" "cpu time: 466 real time: 466 gc time: 104" "cpu time: 456 real time: 457 gc time: 91"))
("111010011" ("cpu time: 456 real time: 457 gc time: 87" "cpu time: 483 real time: 480 gc time: 104" "cpu time: 480 real time: 479 gc time: 102" "cpu time: 460 real time: 459 gc time: 86" "cpu time: 460 real time: 461 gc time: 87" "cpu time: 474 real time: 475 gc time: 103" "cpu time: 457 real time: 456 gc time: 91" "cpu time: 467 real time: 467 gc time: 90"))
("111010100" ("cpu time: 473 real time: 474 gc time: 97" "cpu time: 467 real time: 468 gc time: 85" "cpu time: 480 real time: 478 gc time: 103" "cpu time: 493 real time: 492 gc time: 108" "cpu time: 483 real time: 484 gc time: 108" "cpu time: 467 real time: 465 gc time: 90" "cpu time: 466 real time: 467 gc time: 93" "cpu time: 470 real time: 472 gc time: 93"))
("111010101" ("cpu time: 490 real time: 489 gc time: 94" "cpu time: 476 real time: 477 gc time: 94" "cpu time: 470 real time: 469 gc time: 92" "cpu time: 474 real time: 475 gc time: 84" "cpu time: 486 real time: 488 gc time: 93" "cpu time: 480 real time: 479 gc time: 94" "cpu time: 490 real time: 489 gc time: 108" "cpu time: 494 real time: 490 gc time: 90"))
("111010110" ("cpu time: 460 real time: 459 gc time: 87" "cpu time: 477 real time: 477 gc time: 90" "cpu time: 466 real time: 465 gc time: 92" "cpu time: 490 real time: 490 gc time: 103" "cpu time: 474 real time: 471 gc time: 87" "cpu time: 460 real time: 462 gc time: 84" "cpu time: 456 real time: 457 gc time: 85" "cpu time: 474 real time: 473 gc time: 88"))
("111010111" ("cpu time: 477 real time: 477 gc time: 88" "cpu time: 503 real time: 501 gc time: 108" "cpu time: 490 real time: 489 gc time: 95" "cpu time: 474 real time: 472 gc time: 84" "cpu time: 473 real time: 473 gc time: 91" "cpu time: 470 real time: 471 gc time: 83" "cpu time: 474 real time: 473 gc time: 90" "cpu time: 484 real time: 482 gc time: 93"))
("111011000" ("cpu time: 457 real time: 457 gc time: 89" "cpu time: 466 real time: 466 gc time: 91" "cpu time: 467 real time: 464 gc time: 96" "cpu time: 467 real time: 465 gc time: 93" "cpu time: 476 real time: 476 gc time: 107" "cpu time: 457 real time: 456 gc time: 84" "cpu time: 460 real time: 460 gc time: 91" "cpu time: 467 real time: 466 gc time: 93"))
("111011001" ("cpu time: 470 real time: 471 gc time: 83" "cpu time: 467 real time: 467 gc time: 80" "cpu time: 460 real time: 458 gc time: 79" "cpu time: 477 real time: 474 gc time: 94" "cpu time: 466 real time: 467 gc time: 90" "cpu time: 470 real time: 469 gc time: 86" "cpu time: 467 real time: 468 gc time: 91" "cpu time: 467 real time: 465 gc time: 91"))
("111011010" ("cpu time: 466 real time: 466 gc time: 90" "cpu time: 466 real time: 465 gc time: 94" "cpu time: 460 real time: 457 gc time: 94" "cpu time: 460 real time: 462 gc time: 100" "cpu time: 473 real time: 475 gc time: 104" "cpu time: 466 real time: 467 gc time: 90" "cpu time: 463 real time: 462 gc time: 97" "cpu time: 467 real time: 464 gc time: 93"))
("111011011" ("cpu time: 463 real time: 466 gc time: 88" "cpu time: 473 real time: 475 gc time: 90" "cpu time: 466 real time: 465 gc time: 86" "cpu time: 473 real time: 473 gc time: 90" "cpu time: 467 real time: 466 gc time: 87" "cpu time: 480 real time: 477 gc time: 90" "cpu time: 476 real time: 474 gc time: 101" "cpu time: 477 real time: 476 gc time: 87"))
("111011100" ("cpu time: 483 real time: 484 gc time: 98" "cpu time: 477 real time: 477 gc time: 87" "cpu time: 493 real time: 491 gc time: 104" "cpu time: 480 real time: 482 gc time: 84" "cpu time: 493 real time: 491 gc time: 96" "cpu time: 477 real time: 474 gc time: 88" "cpu time: 473 real time: 473 gc time: 89" "cpu time: 480 real time: 481 gc time: 87"))
("111011101" ("cpu time: 487 real time: 485 gc time: 87" "cpu time: 484 real time: 483 gc time: 94" "cpu time: 494 real time: 489 gc time: 93" "cpu time: 480 real time: 479 gc time: 91" "cpu time: 480 real time: 479 gc time: 80" "cpu time: 480 real time: 479 gc time: 86" "cpu time: 477 real time: 474 gc time: 87" "cpu time: 490 real time: 488 gc time: 89"))
("111011110" ("cpu time: 470 real time: 470 gc time: 84" "cpu time: 473 real time: 473 gc time: 91" "cpu time: 480 real time: 477 gc time: 92" "cpu time: 473 real time: 474 gc time: 85" "cpu time: 484 real time: 479 gc time: 86" "cpu time: 494 real time: 494 gc time: 106" "cpu time: 470 real time: 469 gc time: 86" "cpu time: 477 real time: 479 gc time: 87"))
("111011111" ("cpu time: 490 real time: 487 gc time: 89" "cpu time: 496 real time: 496 gc time: 97" "cpu time: 500 real time: 498 gc time: 104" "cpu time: 497 real time: 499 gc time: 100" "cpu time: 484 real time: 483 gc time: 84" "cpu time: 477 real time: 477 gc time: 80" "cpu time: 494 real time: 491 gc time: 83" "cpu time: 484 real time: 485 gc time: 79"))
("111100000" ("cpu time: 537 real time: 537 gc time: 91" "cpu time: 553 real time: 555 gc time: 104" "cpu time: 550 real time: 545 gc time: 93" "cpu time: 547 real time: 547 gc time: 86" "cpu time: 544 real time: 541 gc time: 94" "cpu time: 537 real time: 535 gc time: 91" "cpu time: 540 real time: 539 gc time: 91" "cpu time: 540 real time: 539 gc time: 88"))
("111100001" ("cpu time: 553 real time: 554 gc time: 89" "cpu time: 550 real time: 549 gc time: 87" "cpu time: 547 real time: 550 gc time: 87" "cpu time: 553 real time: 554 gc time: 94" "cpu time: 544 real time: 544 gc time: 87" "cpu time: 553 real time: 551 gc time: 89" "cpu time: 546 real time: 544 gc time: 84" "cpu time: 550 real time: 548 gc time: 91"))
("111100010" ("cpu time: 557 real time: 558 gc time: 104" "cpu time: 553 real time: 550 gc time: 98" "cpu time: 567 real time: 566 gc time: 105" "cpu time: 563 real time: 561 gc time: 100" "cpu time: 534 real time: 534 gc time: 95" "cpu time: 540 real time: 540 gc time: 87" "cpu time: 560 real time: 557 gc time: 107" "cpu time: 537 real time: 537 gc time: 87"))
("111100011" ("cpu time: 550 real time: 548 gc time: 89" "cpu time: 553 real time: 550 gc time: 94" "cpu time: 567 real time: 566 gc time: 100" "cpu time: 547 real time: 549 gc time: 84" "cpu time: 550 real time: 551 gc time: 91" "cpu time: 550 real time: 549 gc time: 95" "cpu time: 543 real time: 546 gc time: 90" "cpu time: 546 real time: 546 gc time: 86"))
("111100100" ("cpu time: 553 real time: 554 gc time: 85" "cpu time: 560 real time: 556 gc time: 94" "cpu time: 553 real time: 555 gc time: 84" "cpu time: 557 real time: 556 gc time: 86" "cpu time: 553 real time: 552 gc time: 87" "cpu time: 560 real time: 559 gc time: 82" "cpu time: 554 real time: 553 gc time: 86" "cpu time: 563 real time: 562 gc time: 90"))
("111100101" ("cpu time: 563 real time: 560 gc time: 91" "cpu time: 574 real time: 572 gc time: 87" "cpu time: 560 real time: 559 gc time: 85" "cpu time: 563 real time: 563 gc time: 91" "cpu time: 577 real time: 574 gc time: 93" "cpu time: 563 real time: 563 gc time: 95" "cpu time: 580 real time: 580 gc time: 105" "cpu time: 573 real time: 574 gc time: 93"))
("111100110" ("cpu time: 557 real time: 557 gc time: 87" "cpu time: 573 real time: 574 gc time: 114" "cpu time: 557 real time: 557 gc time: 100" "cpu time: 557 real time: 556 gc time: 87" "cpu time: 550 real time: 551 gc time: 87" "cpu time: 560 real time: 558 gc time: 94" "cpu time: 570 real time: 571 gc time: 101" "cpu time: 560 real time: 558 gc time: 91"))
("111100111" ("cpu time: 567 real time: 568 gc time: 87" "cpu time: 593 real time: 594 gc time: 81" "cpu time: 560 real time: 561 gc time: 91" "cpu time: 563 real time: 560 gc time: 87" "cpu time: 550 real time: 551 gc time: 70" "cpu time: 587 real time: 587 gc time: 103" "cpu time: 556 real time: 559 gc time: 90" "cpu time: 570 real time: 569 gc time: 82"))
("111101000" ("cpu time: 553 real time: 553 gc time: 86" "cpu time: 560 real time: 561 gc time: 97" "cpu time: 547 real time: 546 gc time: 84" "cpu time: 550 real time: 549 gc time: 91" "cpu time: 564 real time: 565 gc time: 95" "cpu time: 553 real time: 552 gc time: 78" "cpu time: 566 real time: 565 gc time: 100" "cpu time: 547 real time: 550 gc time: 83"))
("111101001" ("cpu time: 577 real time: 575 gc time: 106" "cpu time: 556 real time: 556 gc time: 86" "cpu time: 556 real time: 555 gc time: 86" "cpu time: 567 real time: 567 gc time: 97" "cpu time: 564 real time: 563 gc time: 86" "cpu time: 560 real time: 560 gc time: 87" "cpu time: 550 real time: 551 gc time: 82" "cpu time: 556 real time: 556 gc time: 89"))
("111101010" ("cpu time: 550 real time: 549 gc time: 87" "cpu time: 560 real time: 557 gc time: 93" "cpu time: 563 real time: 562 gc time: 101" "cpu time: 557 real time: 556 gc time: 93" "cpu time: 557 real time: 556 gc time: 90" "cpu time: 543 real time: 541 gc time: 79" "cpu time: 564 real time: 565 gc time: 106" "cpu time: 550 real time: 550 gc time: 89"))
("111101011" ("cpu time: 553 real time: 556 gc time: 84" "cpu time: 564 real time: 563 gc time: 92" "cpu time: 564 real time: 566 gc time: 86" "cpu time: 563 real time: 562 gc time: 86" "cpu time: 557 real time: 558 gc time: 84" "cpu time: 560 real time: 558 gc time: 89" "cpu time: 563 real time: 565 gc time: 90" "cpu time: 557 real time: 558 gc time: 88"))
("111101100" ("cpu time: 570 real time: 569 gc time: 84" "cpu time: 563 real time: 562 gc time: 86" "cpu time: 570 real time: 569 gc time: 91" "cpu time: 584 real time: 583 gc time: 103" "cpu time: 567 real time: 566 gc time: 80" "cpu time: 573 real time: 573 gc time: 90" "cpu time: 580 real time: 578 gc time: 94" "cpu time: 590 real time: 590 gc time: 104"))
("111101101" ("cpu time: 573 real time: 574 gc time: 84" "cpu time: 587 real time: 586 gc time: 93" "cpu time: 583 real time: 579 gc time: 92" "cpu time: 577 real time: 576 gc time: 86" "cpu time: 573 real time: 573 gc time: 82" "cpu time: 570 real time: 569 gc time: 80" "cpu time: 567 real time: 566 gc time: 84" "cpu time: 580 real time: 580 gc time: 85"))
("111101110" ("cpu time: 580 real time: 575 gc time: 88" "cpu time: 577 real time: 576 gc time: 87" "cpu time: 570 real time: 569 gc time: 87" "cpu time: 570 real time: 570 gc time: 87" "cpu time: 563 real time: 563 gc time: 83" "cpu time: 557 real time: 557 gc time: 81" "cpu time: 570 real time: 569 gc time: 87" "cpu time: 566 real time: 566 gc time: 91"))
("111101111" ("cpu time: 590 real time: 589 gc time: 103" "cpu time: 580 real time: 577 gc time: 90" "cpu time: 574 real time: 570 gc time: 92" "cpu time: 570 real time: 569 gc time: 79" "cpu time: 570 real time: 570 gc time: 87" "cpu time: 593 real time: 592 gc time: 108" "cpu time: 590 real time: 590 gc time: 97" "cpu time: 567 real time: 568 gc time: 80"))
("111110000" ("cpu time: 530 real time: 528 gc time: 87" "cpu time: 543 real time: 545 gc time: 95" "cpu time: 534 real time: 533 gc time: 91" "cpu time: 527 real time: 525 gc time: 83" "cpu time: 530 real time: 531 gc time: 93" "cpu time: 530 real time: 529 gc time: 87" "cpu time: 537 real time: 538 gc time: 88" "cpu time: 533 real time: 535 gc time: 85"))
("111110001" ("cpu time: 560 real time: 560 gc time: 105" "cpu time: 540 real time: 543 gc time: 83" "cpu time: 537 real time: 533 gc time: 81" "cpu time: 547 real time: 546 gc time: 83" "cpu time: 556 real time: 556 gc time: 104" "cpu time: 556 real time: 557 gc time: 105" "cpu time: 550 real time: 549 gc time: 83" "cpu time: 540 real time: 542 gc time: 90"))
("111110010" ("cpu time: 537 real time: 537 gc time: 90" "cpu time: 540 real time: 539 gc time: 84" "cpu time: 553 real time: 553 gc time: 107" "cpu time: 530 real time: 532 gc time: 81" "cpu time: 533 real time: 534 gc time: 87" "cpu time: 547 real time: 546 gc time: 101" "cpu time: 550 real time: 551 gc time: 100" "cpu time: 564 real time: 561 gc time: 101"))
("111110011" ("cpu time: 543 real time: 540 gc time: 83" "cpu time: 560 real time: 562 gc time: 103" "cpu time: 543 real time: 544 gc time: 83" "cpu time: 543 real time: 546 gc time: 83" "cpu time: 550 real time: 550 gc time: 87" "cpu time: 563 real time: 567 gc time: 114" "cpu time: 540 real time: 541 gc time: 82" "cpu time: 550 real time: 550 gc time: 91"))
("111110100" ("cpu time: 573 real time: 575 gc time: 96" "cpu time: 547 real time: 546 gc time: 85" "cpu time: 553 real time: 550 gc time: 86" "cpu time: 550 real time: 549 gc time: 87" "cpu time: 573 real time: 570 gc time: 104" "cpu time: 560 real time: 555 gc time: 86" "cpu time: 553 real time: 556 gc time: 85" "cpu time: 550 real time: 549 gc time: 80"))
("111110101" ("cpu time: 566 real time: 568 gc time: 88" "cpu time: 586 real time: 586 gc time: 97" "cpu time: 574 real time: 574 gc time: 86" "cpu time: 553 real time: 556 gc time: 87" "cpu time: 556 real time: 555 gc time: 83" "cpu time: 573 real time: 573 gc time: 99" "cpu time: 564 real time: 562 gc time: 80" "cpu time: 560 real time: 560 gc time: 87"))
("111110110" ("cpu time: 554 real time: 554 gc time: 83" "cpu time: 550 real time: 551 gc time: 86" "cpu time: 560 real time: 561 gc time: 87" "cpu time: 550 real time: 549 gc time: 84" "cpu time: 550 real time: 552 gc time: 89" "cpu time: 546 real time: 546 gc time: 84" "cpu time: 553 real time: 552 gc time: 86" "cpu time: 553 real time: 552 gc time: 89"))
("111110111" ("cpu time: 570 real time: 570 gc time: 93" "cpu time: 576 real time: 575 gc time: 97" "cpu time: 573 real time: 574 gc time: 104" "cpu time: 566 real time: 567 gc time: 79" "cpu time: 600 real time: 598 gc time: 99" "cpu time: 573 real time: 575 gc time: 93" "cpu time: 563 real time: 561 gc time: 89" "cpu time: 560 real time: 559 gc time: 83"))
("111111000" ("cpu time: 540 real time: 538 gc time: 87" "cpu time: 550 real time: 545 gc time: 79" "cpu time: 540 real time: 539 gc time: 79" "cpu time: 543 real time: 543 gc time: 81" "cpu time: 557 real time: 556 gc time: 84" "cpu time: 553 real time: 554 gc time: 89" "cpu time: 540 real time: 539 gc time: 84" "cpu time: 540 real time: 540 gc time: 81"))
("111111001" ("cpu time: 573 real time: 574 gc time: 103" "cpu time: 560 real time: 561 gc time: 92" "cpu time: 553 real time: 554 gc time: 84" "cpu time: 563 real time: 564 gc time: 101" "cpu time: 560 real time: 557 gc time: 94" "cpu time: 557 real time: 554 gc time: 92" "cpu time: 573 real time: 572 gc time: 102" "cpu time: 564 real time: 563 gc time: 93"))
("111111010" ("cpu time: 557 real time: 553 gc time: 95" "cpu time: 547 real time: 544 gc time: 90" "cpu time: 550 real time: 548 gc time: 86" "cpu time: 540 real time: 538 gc time: 79" "cpu time: 553 real time: 554 gc time: 100" "cpu time: 547 real time: 548 gc time: 83" "cpu time: 543 real time: 544 gc time: 82" "cpu time: 550 real time: 550 gc time: 88"))
("111111011" ("cpu time: 576 real time: 575 gc time: 97" "cpu time: 547 real time: 548 gc time: 84" "cpu time: 553 real time: 553 gc time: 85" "cpu time: 550 real time: 551 gc time: 79" "cpu time: 554 real time: 550 gc time: 86" "cpu time: 553 real time: 553 gc time: 84" "cpu time: 560 real time: 561 gc time: 87" "cpu time: 554 real time: 553 gc time: 84"))
("111111100" ("cpu time: 577 real time: 578 gc time: 99" "cpu time: 564 real time: 565 gc time: 87" "cpu time: 577 real time: 576 gc time: 87" "cpu time: 560 real time: 561 gc time: 80" "cpu time: 560 real time: 560 gc time: 87" "cpu time: 563 real time: 565 gc time: 86" "cpu time: 560 real time: 561 gc time: 85" "cpu time: 560 real time: 561 gc time: 83"))
("111111101" ("cpu time: 577 real time: 576 gc time: 86" "cpu time: 574 real time: 575 gc time: 95" "cpu time: 570 real time: 569 gc time: 87" "cpu time: 567 real time: 565 gc time: 83" "cpu time: 570 real time: 571 gc time: 77" "cpu time: 593 real time: 594 gc time: 96" "cpu time: 590 real time: 586 gc time: 90" "cpu time: 583 real time: 582 gc time: 103"))
("111111110" ("cpu time: 570 real time: 567 gc time: 83" "cpu time: 577 real time: 578 gc time: 101" "cpu time: 576 real time: 575 gc time: 104" "cpu time: 573 real time: 573 gc time: 83" "cpu time: 560 real time: 561 gc time: 84" "cpu time: 576 real time: 574 gc time: 84" "cpu time: 557 real time: 559 gc time: 79" "cpu time: 556 real time: 557 gc time: 87"))
("111111111" ("cpu time: 583 real time: 585 gc time: 97" "cpu time: 576 real time: 577 gc time: 80" "cpu time: 580 real time: 581 gc time: 84" "cpu time: 563 real time: 565 gc time: 83" "cpu time: 574 real time: 572 gc time: 87" "cpu time: 570 real time: 570 gc time: 81" "cpu time: 570 real time: 571 gc time: 84" "cpu time: 570 real time: 572 gc time: 89"))
