1395 25 0.6430 15.0711 ((2 . 5) (4 . 9) (5 . 12) (6 . 13)) 91 0.6606 10.5389 ((3 . 18) (4 . 22) (5 . 25) (6 . 27)) 157 0.4649 12.2799 ((2 . 15) (3 . 17) (4 . 21) (5 . 22)) 259 0.1665 8.8604 ((1 . 1) (2 . 2) (3 . 3) (6 . 7)) 293 0.8331 3.6201 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (6 . 6)) 495 0.6471 14.3154 ((1 . 2) (3 . 4) (4 . 6) (6 . 10)) 543 0.1665 11.7632 ((2 . 7) (3 . 9) (4 . 13) (5 . 14)) 553 0.6582 11.4907 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 624 0.4663 8.8200 ((1 . 10) (3 . 18) (4 . 19) (5 . 21)) 678 0.2487 13.3368 ((1 . 33) (3 . 38) (5 . 41) (6 . 42)) 729 0.6274 17.3731 ((1 . 22) (3 . 23) (4 . 26) (6 . 32)) 782 0.6515 13.3637 ((1 . 2) (2 . 4) (4 . 6) (6 . 11)) 834 0.1665 11.4954 ((1 . 40) (2 . 41) (3 . 42) (4 . 44)) 945 0.1995 14.4590 ((1 . 16) (2 . 18) (3 . 20) (5 . 24)) 960 0.6607 10.5055 ((1 . 13) (2 . 15) (5 . 23) (6 . 25)) 978 0.6440 14.8977 ((1 . 9) (2 . 11) (3 . 12) (5 . 17)) 1124 0.4656 10.8980 ((1 . 10) (2 . 11) (3 . 13) (4 . 15)) 1165 0.2962 17.4637 ((2 . 14) (3 . 15) (4 . 16) (6 . 20)) 1204 0.1665 9.6547 ((1 . 21) (3 . 26) (4 . 27) (5 . 30)) 1268 0.2487 13.2865 ((3 . 11) (4 . 15) (5 . 16) (6 . 17)) 1345 0.2488 8.8036 ((1 . 11) (3 . 15) (4 . 17) (5 . 19)) 1388 0.1996 11.5114 ((1 . 7) (2 . 10) (3 . 11) (4 . 12)) 1395 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 1415 0.2967 13.8138 ((2 . 1) (3 . 2) (4 . 4) (6 . 6)) 1447 0.6608 10.4395 ((1 . 4) (2 . 6) (3 . 8) (4 . 10)) 1470 0.6614 10.1863 ((2 . 6) (4 . 9) (5 . 10) (6 . 12)) 1472 0.6594 11.0276 ((1 . 5) (2 . 9) (4 . 11) (5 . 12)) 1476 0.3871 12.7364 ((1 . 13) (2 . 17) (3 . 16) (4 . 19)) 1497 0.2969 9.9949 ((2 . 26) (3 . 27) (4 . 28) (6 . 30)) 1513 0.2487 12.9526 ((1 . 1) (3 . 4) (4 . 7) (5 . 9)) 1577 0.3866 14.3800 ((2 . 25) (3 . 26) (4 . 27) (5 . 31)) 1724 0.6606 10.5565 ((2 . 1) (4 . 4) (5 . 5) (6 . 8)) 1731 0.1996 10.7764 ((1 . 7) (2 . 9) (3 . 10) (4 . 11)) 1738 0.3866 14.3064 ((1 . 10) (3 . 15) (4 . 16) (5 . 20)) 1776 0.4635 14.1537 ((1 . 10) (3 . 13) (4 . 18) (5 . 21)) 1796 0.4661 9.4609 ((1 . 1) (2 . 2) (3 . 3) (6 . 7)) 1908 0.1499 12.5459 ((2 . 8) (3 . 9) (4 . 14) (5 . 16)) 1909 0.2968 12.0310 ((1 . 30) (2 . 32) (3 . 33) (5 . 38)) 1987 0.2969 11.4365 ((2 . 8) (4 . 10) (5 . 12) (6 . 13)) 2048 0.3878 9.0982 ((1 . 5) (3 . 9) (4 . 12) (5 . 14)) 2067 0.1993 21.9498 ((2 . 49) (4 . 52) (5 . 56) (6 . 58)) 2122 0.2485 15.9630 ((1 . 9) (3 . 11) (4 . 13) (6 . 19)) 2233 0.6588 11.2648 ((2 . 6) (3 . 1) (4 . 7) (5 . 9)) 2249 0.2484 17.5005 ((1 . 3) (3 . 8) (4 . 10) (6 . 14)) 2295 0.6662 5.5268 ((1 . 1) (4 . 4) (5 . 6) (6 . 7)) 2342 0.6396 15.6372 ((3 . 13) (4 . 14) (5 . 15) (6 . 18)) 2344 0.2965 15.2548 ((1 . 9) (2 . 12) (4 . 16) (6 . 21)) 2443 0.6484 14.0470 ((1 . 2) (2 . 3) (4 . 6) (6 . 8)) 2447 0.6496 13.7937 ((1 . 27) (3 . 29) (5 . 34) (6 . 37)) 2525 0.2487 11.6256 ((3 . 42) (4 . 44) (5 . 46) (6 . 49)) 2533 0.6653 7.2708 ((1 . 1) (3 . 11) (4 . 14) (5 . 16)) 2551 0.2487 12.6021 ((2 . 5) (3 . 6) (4 . 7) (5 . 10)) 2556 0.1996 11.7988 ((1 . 14) (2 . 15) (3 . 17) (5 . 23)) 2591 0.6587 11.2889 ((1 . 34) (2 . 36) (4 . 37) (5 . 39)) 2627 0.6561 12.1650 ((2 . 52) (4 . 53) (5 . 54) (6 . 56)) 2634 0.6644 8.1758 ((1 . 5) (2 . 7) (4 . 8) (5 . 12)) 2682 0.4584 17.9495 ((1 . 2) (3 . 4) (4 . 6) (6 . 10)) 2733 0.6574 11.7509 ((3 . 5) (4 . 7) (5 . 9) (6 . 12)) 2753 0.6653 7.2649 ((2 . 2) (4 . 3) (5 . 6) (6 . 7)) 2990 0.2967 14.1095 ((2 . 8) (3 . 10) (4 . 13) (6 . 17)) 3014 0.6526 13.1062 ((1 . 17) (2 . 18) (3 . 19) (6 . 26)) 3019 0.2969 10.7110 ((2 . 12) (3 . 13) (4 . 15) (6 . 18)) 3070 0.6549 12.5148 ((2 . 31) (3 . 30) (4 . 34) (6 . 37)) 3197 0.1996 13.0367 ((1 . 11) (3 . 15) (4 . 17) (5 . 20)) 3202 0.3878 9.1355 ((3 . 1) (4 . 3) (5 . 4) (6 . 5)) 3212 0.6565 12.0427 ((1 . 1) (2 . 7) (3 . 6) (4 . 10)) 3310 0.1499 15.4309 ((1 . 1) (4 . 5) (5 . 6) (6 . 10)) 3334 0.1665 12.8940 ((2 . 7) (3 . 9) (4 . 11) (5 . 12)) 3339 0.6571 11.8550 ((1 . 10) (3 . 16) (4 . 18) (5 . 20)) 3362 0.4645 12.8848 ((1 . 5) (3 . 7) (4 . 9) (5 . 12)) 3391 0.6664 4.8905 ((1 . 15) (3 . 16) (4 . 18) (5 . 20)) 3415 0.3878 9.0263 ((1 . 20) (2 . 21) (4 . 23) (5 . 24)) 3446 0.3875 11.2321 ((1 . 9) (3 . 10) (4 . 12) (5 . 13)) 3613 0.6392 15.7050 ((1 . 39) (3 . 42) (4 . 43) (6 . 44)) 3658 0.6588 11.2664 ((2 . 13) (3 . 14) (4 . 16) (6 . 19)) 3663 0.6569 11.9219 ((2 . 4) (3 . 3) (4 . 6) (5 . 7)) 3778 0.6586 11.3570 ((1 . 5) (2 . 8) (4 . 9) (6 . 19)) 3787 0.3868 13.7922 ((1 . 24) (3 . 26) (5 . 30) (6 . 32)) 3829 0.2964 16.4604 ((2 . 3) (3 . 4) (4 . 6) (6 . 11)) 3830 0.6641 8.4572 ((1 . 1) (4 . 4) (5 . 5) (6 . 6)) 3834 0.0999 13.6597 ((1 . 2) (2 . 4) (4 . 5) (5 . 7)) 3870 0.3875 11.2908 ((1 . 7) (3 . 9) (4 . 11) (5 . 12)) 4009 0.4660 9.9758 ((1 . 14) (2 . 16) (3 . 17) (4 . 18)) 4011 0.6628 9.3884 ((2 . 1) (4 . 2) (5 . 5) (6 . 6)) 4030 0.6607 10.5137 ((1 . 9) (4 . 13) (5 . 15) (6 . 17)) 4077 0.6407 15.4691 ((1 . 6) (4 . 12) (5 . 13) (6 . 14)) 4115 0.6552 12.4211 ((1 . 4) (4 . 11) (5 . 12) (6 . 14)) 4195 0.6589 11.2231 ((1 . 5) (2 . 7) (4 . 8) (5 . 10)) 4216 0.6510 13.4848 ((2 . 10) (3 . 12) (4 . 13) (6 . 16)) 4242 0.2968 12.9274 ((2 . 4) (3 . 5) (5 . 8) (6 . 10)) 4254 0.6489 13.9383 ((1 . 5) (2 . 7) (4 . 12) (5 . 14)) 4261 0.1996 11.6367 ((2 . 11) (4 . 14) (5 . 15) (6 . 17)) 4266 0.1333 12.9489 ((1 . 10) (3 . 14) (4 . 17) (5 . 18)) 4281 0.3872 12.3886 ((2 . 6) (3 . 7) (5 . 13) (6 . 16)) 4352 0.6598 10.8752 ((2 . 5) (3 . 6) (5 . 12) (6 . 13)) 4408 0.3872 12.2652 ((2 . 19) (3 . 20) (4 . 21) (5 . 23)) 4495 0.6579 11.6058 ((1 . 9) (3 . 11) (4 . 12) (5 . 15)) 4579 0.3856 16.4758 ((1 . 3) (3 . 5) (4 . 7) (6 . 11)) 4699 0.2970 8.1840 ((1 . 8) (2 . 9) (4 . 10) (5 . 11)) 4715 0.4648 12.3804 ((1 . 1) (3 . 4) (4 . 5) (6 . 10)) 4716 0.6589 11.2170 ((2 . 2) (3 . 3) (4 . 5) (5 . 7)) 4764 0.4649 12.2080 ((2 . 4) (3 . 5) (5 . 8) (6 . 10)) 4783 0.6497 13.7876 ((1 . 7) (2 . 8) (3 . 9) (4 . 10)) 4817 0.6496 13.7996 ((1 . 5) (3 . 6) (4 . 9) (5 . 11)) 4889 0.3876 10.1991 ((1 . 19) (3 . 20) (4 . 23) (5 . 24)) 4963 0.1499 11.0597 ((2 . 2) (4 . 5) (5 . 6) (6 . 8)) 4982 0.4622 15.3954 ((1 . 11) (2 . 13) (3 . 15) (4 . 19)) 5000 0.6639 8.5978 ((1 . 31) (2 . 32) (4 . 33) (5 . 35)) 5016 0.6651 7.5402 ((1 . 2) (2 . 5) (4 . 6) (5 . 8)) 5068 0.3857 16.2751 ((1 . 3) (3 . 6) (4 . 9) (6 . 14)) 5080 0.1996 12.4173 ((1 . 1) (2 . 5) (5 . 10) (6 . 13)) 5092 0.6647 7.9254 ((2 . 13) (3 . 14) (4 . 16) (6 . 19)) 5101 0.4652 11.7649 ((1 . 17) (3 . 20) (4 . 22) (6 . 28)) 5134 0.1665 11.1680 ((1 . 5) (3 . 8) (5 . 11) (6 . 15)) 5145 0.2968 11.5773 ((1 . 2) (2 . 4) (4 . 7) (6 . 11)) 5167 0.1499 11.5504 ((1 . 6) (2 . 7) (3 . 8) (6 . 13)) 5192 0.2486 14.7500 ((1 . 2) (3 . 6) (5 . 10) (6 . 13)) 5318 0.1499 13.2912 ((2 . 13) (3 . 14) (4 . 16) (6 . 20)) 5323 0.6539 12.7899 ((2 . 15) (4 . 17) (5 . 18) (6 . 19)) 5442 0.3877 9.9025 ((1 . 32) (2 . 33) (3 . 34) (5 . 38)) 5487 0.6630 9.2625 ((1 . 1) (2 . 3) (3 . 5) (5 . 10)) 5525 0.6554 12.3795 ((1 . 10) (3 . 12) (4 . 13) (5 . 14)) 5560 0.3876 10.6508 ((2 . 3) (3 . 5) (4 . 6) (5 . 8)) 5648 0.6621 9.7945 ((3 . 2) (4 . 4) (5 . 5) (6 . 7)) 5656 0.6613 10.2228 ((2 . 17) (3 . 19) (5 . 25) (6 . 26)) 5689 0.6633 9.0683 ((1 . 2) (3 . 3) (4 . 4) (5 . 8)) 5701 0.2487 10.8739 ((1 . 7) (3 . 10) (4 . 13) (5 . 15)) 5702 0.6637 8.8057 ((1 . 2) (3 . 3) (4 . 4) (5 . 8)) 5704 0.6660 5.9693 ((1 . 5) (2 . 6) (4 . 7) (5 . 9)) 5770 0.4666 7.1075 ((1 . 18) (2 . 19) (3 . 21) (4 . 22)) 5771 0.1996 9.7898 ((1 . 2) (3 . 6) (4 . 7) (5 . 10)) 5782 0.1600 7.8343 ((1 . 17) (2 . 2) (3 . 3) (4 . 8) (5 . 7) (6 . 9)) 5789 0.6660 5.9360 ((1 . 1) (4 . 3) (5 . 4) (6 . 6)) 5949 0.6056 19.8588 ((1 . 8) (3 . 11) (5 . 15) (6 . 19)) 6000 0.1996 9.9404 ((1 . 2) (3 . 5) (4 . 6) (5 . 7)) 6029 0.3870 13.1177 ((3 . 34) (4 . 36) (5 . 38) (6 . 39)) 6075 0.6554 12.3602 ((1 . 19) (3 . 22) (4 . 23) (6 . 30)) 6079 0.4651 11.9012 ((1 . 10) (3 . 12) (4 . 14) (5 . 15)) 6089 0.4618 15.7164 ((1 . 25) (3 . 30) (4 . 32) (5 . 34)) 6169 0.6294 17.1193 ((1 . 8) (2 . 9) (4 . 10) (6 . 13)) 6261 0.6478 14.1728 ((1 . 14) (2 . 15) (3 . 17) (4 . 18)) 6266 0.6510 13.4853 ((1 . 1) (2 . 2) (5 . 7) (6 . 9)) 6271 0.3876 10.4531 ((1 . 6) (2 . 9) (4 . 13) (5 . 14)) 6294 0.2967 13.5201 ((1 . 7) (2 . 10) (5 . 15) (6 . 19)) 6329 0.6608 10.4329 ((1 . 6) (2 . 7) (5 . 11) (6 . 13)) 6359 0.0999 12.8837 ((1 . 1) (4 . 5) (5 . 6) (6 . 8)) 6376 0.4650 12.0422 ((3 . 16) (4 . 18) (5 . 20) (6 . 23)) 6384 0.1499 11.2038 ((1 . 1) (4 . 4) (5 . 5) (6 . 7)) 6391 0.4619 15.6158 ((1 . 1) (2 . 2) (3 . 3) (6 . 7)) 6392 0.6592 11.1043 ((2 . 4) (3 . 5) (5 . 10) (6 . 14)) 6461 0.2969 10.9944 ((1 . 1) (2 . 2) (4 . 5) (5 . 7)) 6462 0.2483 18.6597 ((1 . 19) (3 . 23) (4 . 25) (6 . 27)) 6498 0.6620 9.8354 ((3 . 20) (4 . 22) (5 . 26) (6 . 28)) 6536 0.6534 12.9031 ((1 . 22) (2 . 23) (4 . 25) (6 . 27)) 6553 0.1996 12.2925 ((1 . 10) (4 . 12) (5 . 16) (6 . 19)) 6605 0.2969 8.8786 ((1 . 1) (2 . 3) (4 . 6) (5 . 7)) 6622 0.2968 11.6935 ((2 . 4) (3 . 5) (4 . 6) (5 . 8)) END