6461 25 0.5658 12.5256 ((2 . 9) (4 . 10) (5 . 12) (7 . 13)) 41 0.5705 7.8773 ((2 . 4) (3 . 5) (4 . 6) (5 . 8)) 51 0.1992 12.6452 ((2 . 3) (3 . 2) (6 . 10) (7 . 9)) 91 0.5690 10.1486 ((1 . 14) (5 . 18) (6 . 21) (7 . 22)) 96 0.1498 7.5128 ((3 . 1) (4 . 2) (6 . 6) (7 . 7)) 136 0.5712 5.5912 ((2 . 2) (3 . 3) (4 . 4) (6 . 7)) 147 0.2944 12.0699 ((1 . 5) (2 . 7) (4 . 8) (5 . 9)) 157 0.3789 8.7957 ((3 . 9) (5 . 12) (6 . 16) (7 . 17)) 162 0.0999 8.1401 ((2 . 16) (3 . 17) (5 . 19) (6 . 22)) 293 0.1992 10.4072 ((1 . 1) (2 . 2) (4 . 3) (5 . 4)) 305 0.5711 6.1282 ((3 . 9) (4 . 10) (5 . 13) (6 . 15)) 307 0.3785 11.5203 ((2 . 2) (3 . 3) (5 . 6) (7 . 10)) 317 0.2945 9.1737 ((1 . 7) (2 . 8) (4 . 9) (5 . 10)) 351 0.1992 11.4811 ((2 . 4) (4 . 5) (5 . 6) (7 . 8)) 442 0.5701 8.7800 ((1 . 13) (4 . 16) (5 . 18) (6 . 20)) 495 0.5701 8.7448 ((1 . 2) (2 . 4) (6 . 9) (7 . 10)) 541 0.5695 9.6017 ((3 . 7) (4 . 9) (5 . 10) (7 . 13)) 553 0.5651 12.9374 ((1 . 7) (2 . 9) (4 . 10) (5 . 14)) 584 0.0999 13.9068 ((3 . 4) (4 . 6) (5 . 9) (6 . 10)) 609 0.3785 11.6400 ((1 . 2) (2 . 4) (3 . 3) (4 . 5)) 619 0.4893 12.3561 ((1 . 5) (3 . 6) (6 . 12) (7 . 14)) 624 0.5696 9.4344 ((1 . 21) (3 . 22) (6 . 26) (7 . 27)) 672 0.5701 8.7888 ((2 . 17) (4 . 19) (6 . 23) (7 . 25)) 678 0.5701 8.7771 ((2 . 28) (4 . 30) (5 . 32) (6 . 34)) 729 0.4407 16.4877 ((1 . 21) (4 . 23) (6 . 24) (7 . 26)) 782 0.3785 11.6037 ((1 . 11) (2 . 12) (4 . 14) (5 . 13)) 795 0.5707 7.5598 ((3 . 1) (4 . 2) (5 . 4) (6 . 6)) 796 0.5713 4.7748 ((2 . 1) (3 . 3) (6 . 6) (7 . 7)) 818 0.5704 8.2491 ((1 . 5) (3 . 7) (4 . 9) (5 . 11)) 861 0.5654 12.7586 ((3 . 3) (4 . 4) (5 . 5) (7 . 6)) 928 0.1992 11.1205 ((3 . 16) (4 . 17) (5 . 19) (6 . 21)) 943 0.5704 8.0719 ((3 . 9) (4 . 10) (5 . 13) (6 . 15)) 945 0.5673 11.6164 ((1 . 16) (3 . 17) (4 . 18) (5 . 20)) 960 0.4450 9.3937 ((1 . 13) (2 . 15) (5 . 20) (7 . 23)) 978 0.5642 13.4055 ((1 . 12) (3 . 13) (5 . 17) (7 . 18)) 980 0.5692 9.9105 ((3 . 1) (4 . 2) (6 . 5) (7 . 6)) 1005 0.2478 7.1891 ((1 . 3) (2 . 4) (4 . 6) (7 . 8)) 1007 0.1993 8.4766 ((1 . 1) (4 . 5) (5 . 6) (6 . 7)) 1043 0.2477 10.1608 ((3 . 6) (4 . 7) (6 . 10) (7 . 11)) 1082 0.5685 10.6210 ((1 . 13) (3 . 16) (4 . 17) (7 . 20)) 1167 0.3788 9.1804 ((4 . 24) (5 . 26) (6 . 27) (7 . 28)) 1204 0.3787 10.6481 ((3 . 1) (4 . 2) (6 . 5) (7 . 6)) 1210 0.5692 9.8748 ((2 . 1) (4 . 2) (5 . 3) (7 . 5)) 1233 0.5652 12.8750 ((1 . 13) (3 . 14) (4 . 16) (5 . 19)) 1267 0.3787 10.6681 ((2 . 5) (4 . 6) (5 . 7) (7 . 8)) 1268 0.1992 11.9712 ((1 . 12) (2 . 14) (4 . 16) (5 . 17)) 1345 0.5662 12.3462 ((1 . 15) (3 . 16) (4 . 17) (5 . 19)) 1388 0.2945 8.7802 ((3 . 1) (4 . 3) (6 . 5) (7 . 7)) 1395 0.2944 10.9944 ((1 . 1) (2 . 2) (5 . 4) (7 . 5)) 1470 0.5702 8.6089 ((1 . 13) (4 . 15) (5 . 16) (7 . 18)) 1472 0.5675 11.4495 ((2 . 10) (4 . 11) (5 . 12) (7 . 13)) 1476 0.5647 13.1365 ((1 . 10) (3 . 11) (4 . 13) (5 . 16)) 1497 0.5652 12.8945 ((1 . 19) (2 . 20) (5 . 23) (7 . 25)) 1513 0.5709 7.0538 ((3 . 11) (4 . 12) (6 . 13) (7 . 16)) 1604 0.5705 7.9780 ((2 . 9) (3 . 10) (4 . 11) (5 . 13)) 1643 0.5707 7.4723 ((1 . 29) (3 . 32) (4 . 35) (6 . 38)) 1690 0.5597 15.1885 ((1 . 23) (3 . 25) (4 . 27) (5 . 28)) 1724 0.1992 10.3349 ((1 . 1) (4 . 5) (5 . 6) (7 . 8)) 1736 0.5711 6.2971 ((2 . 4) (3 . 5) (4 . 6) (5 . 8)) 1738 0.5697 9.3435 ((3 . 9) (4 . 10) (6 . 14) (7 . 15)) 1747 0.4441 12.0730 ((1 . 9) (3 . 12) (6 . 19) (7 . 20)) 1761 0.5705 7.8491 ((3 . 7) (4 . 8) (6 . 13) (7 . 12)) 1763 0.2945 6.8355 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 1776 0.4453 7.6222 ((1 . 11) (2 . 13) (6 . 20) (7 . 21)) 1867 0.5693 9.7838 ((3 . 1) (4 . 2) (5 . 4) (6 . 6)) 1896 0.5688 10.3190 ((1 . 2) (3 . 3) (4 . 4) (7 . 10)) 1897 0.1498 9.8371 ((3 . 34) (4 . 36) (6 . 39) (7 . 38)) 1908 0.5686 10.5521 ((1 . 6) (3 . 7) (4 . 9) (7 . 14)) 1909 0.3788 9.5486 ((1 . 33) (2 . 36) (3 . 37) (4 . 38)) 1944 0.5574 15.9286 ((1 . 4) (2 . 6) (5 . 8) (7 . 12)) 1957 0.5657 12.6134 ((3 . 1) (4 . 2) (5 . 4) (7 . 6)) 1987 0.2943 13.3867 ((1 . 8) (4 . 10) (5 . 11) (7 . 12)) 2003 0.5695 9.6123 ((2 . 1) (4 . 2) (5 . 6) (6 . 8)) 2006 0.5697 9.2456 ((3 . 20) (5 . 23) (6 . 24) (7 . 27)) 2054 0.4453 8.0474 ((1 . 10) (2 . 12) (3 . 14) (4 . 15)) 2067 0.5699 8.9588 ((3 . 54) (4 . 56) (5 . 58) (6 . 60)) 2083 0.5680 11.0701 ((1 . 6) (2 . 8) (3 . 7) (4 . 11)) 2094 0.1664 9.7404 ((1 . 1) (2 . 2) (5 . 4) (7 . 7)) 2114 0.2945 9.3380 ((1 . 33) (3 . 34) (4 . 37) (7 . 39)) 2117 0.5671 11.7190 ((1 . 19) (3 . 23) (4 . 24) (5 . 26)) 2118 0.1498 6.0177 ((3 . 4) (5 . 6) (6 . 7) (7 . 8)) 2122 0.5698 9.2014 ((1 . 2) (2 . 5) (3 . 6) (5 . 9)) 2179 0.5704 8.2571 ((3 . 1) (4 . 3) (5 . 2) (6 . 6)) 2269 0.3779 14.0496 ((1 . 2) (2 . 3) (6 . 8) (7 . 9)) 2279 0.5625 14.1460 ((1 . 12) (2 . 14) (5 . 21) (6 . 22)) 2295 0.5665 12.1086 ((1 . 1) (4 . 4) (5 . 5) (7 . 6)) 2298 0.5696 9.4726 ((3 . 8) (4 . 9) (5 . 11) (7 . 14)) 2340 0.1992 14.0677 ((1 . 8) (3 . 9) (4 . 10) (5 . 12)) 2342 0.5697 9.3439 ((1 . 11) (4 . 13) (5 . 14) (7 . 16)) 2344 0.4452 8.2371 ((1 . 9) (3 . 11) (6 . 18) (7 . 19)) 2364 0.1498 9.4583 ((3 . 5) (5 . 8) (6 . 9) (7 . 10)) 2423 0.2476 13.3638 ((3 . 17) (4 . 18) (6 . 21) (7 . 23)) 2440 0.5695 9.5103 ((3 . 4) (4 . 5) (6 . 8) (7 . 10)) 2443 0.1992 9.9252 ((1 . 1) (4 . 3) (5 . 4) (7 . 6)) 2447 0.5670 11.8385 ((1 . 14) (3 . 15) (4 . 16) (5 . 19)) 2462 0.1993 6.2199 ((3 . 1) (4 . 2) (6 . 4) (7 . 5)) 2510 0.5699 9.0492 ((2 . 24) (3 . 25) (4 . 26) (5 . 28)) 2519 0.7375 3.7453 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6)) 2525 0.5684 10.7324 ((2 . 44) (3 . 45) (4 . 46) (5 . 49)) 2529 0.2477 7.8759 ((3 . 1) (4 . 2) (6 . 6) (7 . 7)) 2544 0.1498 7.8091 ((4 . 18) (5 . 19) (6 . 22) (7 . 24)) 2552 0.0999 9.3154 ((1 . 2) (3 . 5) (4 . 6) (5 . 7)) 2556 0.4433 13.5324 ((1 . 14) (2 . 15) (6 . 22) (7 . 23)) 2557 0.3787 10.7132 ((4 . 1) (5 . 4) (6 . 3) (7 . 5)) 2595 0.5698 9.2036 ((1 . 5) (2 . 7) (6 . 13) (7 . 14)) 2627 0.5697 9.3348 ((1 . 52) (2 . 53) (4 . 54) (7 . 56)) 2658 0.1992 10.7194 ((1 . 7) (2 . 8) (4 . 11) (6 . 13)) 2753 0.5683 10.7789 ((1 . 5) (4 . 7) (5 . 8) (7 . 10)) 2830 0.5704 8.1506 ((2 . 12) (3 . 13) (4 . 14) (5 . 16)) 2834 0.1992 12.3457 ((2 . 2) (3 . 3) (5 . 7) (6 . 8)) 2840 0.5685 10.6399 ((2 . 2) (4 . 3) (5 . 7) (6 . 8)) 2842 0.5712 5.3287 ((3 . 1) (4 . 3) (6 . 5) (7 . 6)) 2966 0.1992 11.5883 ((3 . 4) (4 . 5) (5 . 7) (6 . 10)) 2999 0.5699 9.0368 ((1 . 1) (3 . 4) (4 . 5) (6 . 7)) 3014 0.5702 8.5051 ((1 . 18) (2 . 19) (4 . 20) (5 . 21)) 3041 0.2477 12.9151 ((1 . 17) (2 . 19) (4 . 20) (7 . 27)) 3084 0.5705 7.9306 ((2 . 4) (3 . 5) (4 . 6) (5 . 8)) 3103 0.2945 8.3451 ((3 . 5) (4 . 7) (6 . 11) (7 . 12)) 3127 0.5686 10.5778 ((2 . 12) (3 . 13) (4 . 14) (5 . 16)) 3190 0.5649 13.0581 ((1 . 7) (3 . 9) (4 . 10) (5 . 12)) 3197 0.5698 9.1616 ((1 . 7) (5 . 11) (6 . 14) (7 . 15)) 3200 0.3788 9.8081 ((3 . 1) (4 . 2) (6 . 6) (7 . 7)) 3212 0.1498 10.7499 ((3 . 5) (4 . 7) (5 . 10) (7 . 11)) 3222 0.5704 8.0928 ((3 . 1) (4 . 2) (5 . 5) (6 . 4)) 3261 0.1498 10.7968 ((1 . 5) (5 . 10) (6 . 9) (7 . 11)) 3286 0.4445 11.1240 ((1 . 8) (2 . 10) (3 . 9) (7 . 15)) 3310 0.1498 13.5513 ((1 . 1) (4 . 3) (5 . 4) (7 . 6)) 3322 0.5693 9.7786 ((2 . 2) (3 . 3) (4 . 4) (5 . 6)) 3339 0.1992 10.5888 ((2 . 10) (3 . 11) (4 . 14) (5 . 16)) 3362 0.2945 5.9587 ((2 . 3) (3 . 4) (4 . 5) (6 . 8)) 3391 0.1992 9.9126 ((1 . 15) (3 . 17) (4 . 18) (5 . 20)) 3410 0.5637 13.6120 ((1 . 20) (4 . 23) (6 . 28) (7 . 29)) 3415 0.1498 11.9823 ((1 . 20) (2 . 21) (4 . 23) (5 . 24)) 3446 0.5680 11.0535 ((2 . 8) (4 . 9) (5 . 10) (7 . 12)) 3470 0.3787 10.5957 ((1 . 10) (4 . 11) (5 . 12) (7 . 14)) 3496 0.5646 13.1703 ((1 . 24) (2 . 25) (5 . 26) (7 . 28)) 3537 0.5679 11.1079 ((1 . 1) (2 . 3) (5 . 8) (6 . 9)) 3538 0.5647 13.1596 ((1 . 13) (5 . 17) (6 . 20) (7 . 21)) 3561 0.0999 9.1353 ((3 . 20) (4 . 21) (5 . 23) (7 . 25)) 3570 0.3789 7.9157 ((1 . 2) (4 . 6) (6 . 10) (7 . 9)) 3613 0.2944 11.4398 ((1 . 39) (3 . 41) (5 . 42) (7 . 44)) 3628 0.5588 15.4865 ((1 . 11) (2 . 13) (4 . 15) (5 . 16)) 3651 0.5698 9.1974 ((1 . 6) (3 . 8) (4 . 10) (6 . 13)) 3658 0.3789 8.8284 ((1 . 10) (4 . 12) (5 . 13) (7 . 15)) 3659 0.1992 8.8558 ((1 . 4) (2 . 6) (3 . 7) (7 . 14)) 3661 0.1992 16.5702 ((4 . 4) (5 . 5) (6 . 8) (7 . 9)) 3697 0.1498 10.7890 ((1 . 5) (3 . 6) (5 . 8) (7 . 9)) 3732 0.5709 6.8797 ((3 . 5) (4 . 6) (5 . 8) (6 . 11)) 3733 0.5699 8.9952 ((2 . 5) (3 . 6) (4 . 7) (5 . 9)) 3778 0.1498 12.6907 ((2 . 8) (4 . 9) (6 . 13) (7 . 17)) 3787 0.5703 8.3307 ((2 . 30) (3 . 31) (4 . 32) (5 . 34)) 3790 0.5694 9.6897 ((1 . 17) (5 . 20) (6 . 24) (7 . 23)) 3829 0.5707 7.5062 ((3 . 2) (4 . 3) (5 . 4) (6 . 5)) 3830 0.7141 4.2233 ((1 . 1) (2 . 2) (4 . 3) (5 . 5) (7 . 6)) 3834 0.5712 5.7883 ((1 . 2) (4 . 4) (5 . 5) (7 . 7)) 3847 0.5704 8.0940 ((2 . 10) (4 . 11) (5 . 12) (6 . 16)) 3853 0.1664 8.5029 ((2 . 11) (3 . 12) (4 . 13) (7 . 19)) 3870 0.5688 10.3801 ((1 . 2) (2 . 4) (5 . 7) (6 . 8)) 3938 0.3788 9.7933 ((2 . 3) (3 . 2) (6 . 9) (7 . 12)) 3968 0.5655 12.7072 ((1 . 2) (3 . 3) (4 . 4) (5 . 8)) 4005 0.5709 6.9033 ((2 . 28) (4 . 31) (6 . 35) (7 . 39)) 4009 0.4854 15.6331 ((1 . 14) (4 . 18) (6 . 22) (7 . 24)) 4030 0.5676 11.3927 ((1 . 9) (4 . 12) (5 . 13) (7 . 15)) 4034 0.5705 7.9511 ((1 . 3) (4 . 7) (5 . 8) (6 . 10)) 4062 0.4447 10.4317 ((1 . 44) (4 . 47) (6 . 50) (7 . 52)) 4067 0.5694 9.6444 ((1 . 13) (3 . 14) (4 . 15) (6 . 20)) 4077 0.4453 7.9363 ((2 . 3) (4 . 4) (5 . 6) (7 . 7)) 4087 0.4453 8.0547 ((1 . 2) (3 . 5) (6 . 8) (7 . 9)) 4115 0.5701 8.6613 ((3 . 10) (4 . 11) (5 . 12) (7 . 14)) 4134 0.5674 11.5131 ((2 . 23) (4 . 24) (5 . 25) (7 . 26)) 4151 0.5706 7.6948 ((2 . 6) (3 . 7) (4 . 8) (5 . 11)) 4177 0.5703 8.4267 ((3 . 1) (4 . 3) (5 . 4) (6 . 7)) 4190 0.5702 8.5769 ((2 . 4) (3 . 3) (4 . 6) (6 . 8)) 4192 0.3787 10.3798 ((2 . 11) (4 . 14) (5 . 16) (7 . 18)) 4194 0.5678 11.2099 ((3 . 1) (4 . 2) (5 . 4) (6 . 6)) 4195 0.5687 10.4641 ((1 . 12) (2 . 13) (3 . 14) (5 . 17)) 4204 0.5698 9.1538 ((3 . 9) (4 . 10) (5 . 12) (6 . 15)) 4209 0.5711 5.9206 ((2 . 3) (3 . 4) (6 . 10) (7 . 11)) 4226 0.5690 10.1644 ((2 . 23) (3 . 24) (4 . 25) (5 . 27)) 4254 0.5709 7.0212 ((2 . 7) (5 . 10) (6 . 13) (7 . 14)) 4255 0.2945 6.3963 ((2 . 20) (3 . 21) (4 . 22) (6 . 26)) 4265 0.5704 8.2260 ((2 . 22) (3 . 23) (4 . 25) (5 . 27)) 4281 0.4898 11.6276 ((1 . 9) (2 . 11) (3 . 10) (7 . 16)) 4299 0.2945 8.1301 ((1 . 7) (2 . 8) (3 . 9) (4 . 10)) 4326 0.3774 15.2934 ((1 . 8) (3 . 11) (5 . 16) (7 . 18)) 4338 0.1498 6.9276 ((3 . 4) (4 . 5) (6 . 8) (7 . 9)) 4352 0.5674 11.5118 ((2 . 12) (4 . 13) (5 . 14) (7 . 15)) 4398 0.5628 14.0294 ((1 . 2) (2 . 5) (5 . 9) (6 . 12)) 4408 0.1992 11.3664 ((1 . 20) (2 . 21) (4 . 22) (5 . 23)) 4470 0.5696 9.3838 ((3 . 12) (4 . 13) (5 . 15) (7 . 17)) 4495 0.5675 11.4511 ((2 . 5) (5 . 7) (6 . 10) (7 . 11)) 4504 0.1498 10.7290 ((3 . 17) (4 . 18) (6 . 22) (7 . 23)) 4505 0.0999 10.2675 ((2 . 29) (3 . 30) (4 . 31) (5 . 33)) 4516 0.5699 8.9548 ((3 . 20) (4 . 21) (5 . 23) (6 . 26)) 4538 0.5707 7.5028 ((3 . 32) (4 . 36) (5 . 39) (6 . 38)) 4560 0.1997 8.9056 ((2 . 5) (3 . 6) (4 . 7) (6 . 4) (7 . 12)) 4562 0.2945 8.5679 ((1 . 21) (5 . 26) (6 . 29) (7 . 30)) 4588 0.5697 9.2572 ((3 . 1) (4 . 2) (5 . 4) (6 . 8)) 4589 0.1992 10.4625 ((1 . 21) (2 . 24) (4 . 26) (6 . 30)) 4607 0.2942 14.6374 ((2 . 5) (4 . 8) (5 . 9) (7 . 13)) 4621 0.3789 8.2872 ((4 . 1) (5 . 2) (6 . 4) (7 . 5)) 4669 0.5705 7.9657 ((2 . 16) (3 . 17) (4 . 18) (5 . 20)) 4671 0.2477 10.9618 ((2 . 9) (4 . 10) (6 . 15) (7 . 16)) 4678 0.4454 6.8811 ((1 . 8) (2 . 9) (3 . 10) (6 . 15)) 4699 0.5650 12.9716 ((1 . 8) (2 . 9) (4 . 10) (5 . 11)) 4715 0.5705 7.9283 ((2 . 2) (5 . 5) (6 . 6) (7 . 7)) 4716 0.1332 14.4089 ((1 . 4) (4 . 7) (5 . 8) (7 . 10)) 4731 0.5617 14.4764 ((1 . 13) (2 . 15) (4 . 17) (5 . 19)) 4764 0.4882 13.5557 ((1 . 8) (2 . 9) (4 . 10) (7 . 14)) 4783 0.3789 8.8473 ((1 . 2) (2 . 3) (4 . 6) (5 . 7)) 4888 0.1498 7.8842 ((2 . 10) (3 . 9) (4 . 11) (6 . 15)) 4889 0.5636 13.6847 ((1 . 20) (2 . 21) (4 . 23) (5 . 24)) 4932 0.0999 12.0760 ((1 . 3) (3 . 6) (4 . 7) (5 . 9)) 4961 0.5688 10.3734 ((1 . 8) (4 . 11) (6 . 15) (7 . 16)) 4978 0.1992 9.3309 ((2 . 29) (3 . 30) (4 . 31) (5 . 33)) 4998 0.5684 10.7323 ((3 . 15) (4 . 16) (5 . 17) (6 . 19)) 5000 0.5684 10.6764 ((1 . 31) (2 . 32) (4 . 33) (7 . 35)) 5016 0.3785 11.4715 ((1 . 6) (2 . 7) (4 . 8) (5 . 10)) 5029 0.5694 9.6559 ((1 . 3) (3 . 4) (4 . 7) (5 . 9)) 5068 0.5657 12.5911 ((1 . 3) (3 . 7) (4 . 9) (5 . 11)) 5073 0.5308 21.4293 ((1 . 41) (3 . 42) (4 . 43) (7 . 46)) 5080 0.5622 14.2683 ((1 . 6) (2 . 7) (5 . 10) (7 . 13)) 5092 0.5657 12.6238 ((1 . 7) (2 . 8) (4 . 9) (7 . 11)) 5101 0.5610 14.7234 ((1 . 2) (2 . 4) (5 . 6) (6 . 9)) 5103 0.5707 7.5157 ((2 . 14) (3 . 15) (4 . 16) (5 . 18)) 5121 0.5639 13.5051 ((4 . 14) (5 . 17) (6 . 18) (7 . 22)) 5132 0.5690 10.1466 ((1 . 19) (3 . 20) (4 . 21) (5 . 23)) 5134 0.5712 5.6591 ((1 . 1) (3 . 6) (6 . 10) (7 . 11)) 5145 0.5690 10.1130 ((1 . 2) (3 . 5) (4 . 7) (7 . 11)) 5167 0.5712 5.6492 ((3 . 1) (4 . 2) (6 . 4) (7 . 6)) 5192 0.2945 10.4614 ((2 . 10) (5 . 15) (6 . 17) (7 . 16)) 5209 0.1332 10.0879 ((1 . 2) (3 . 4) (4 . 6) (6 . 8)) 5223 0.5688 10.3035 ((3 . 1) (4 . 2) (5 . 4) (7 . 7)) 5266 0.1498 8.1961 ((3 . 8) (4 . 9) (6 . 13) (7 . 12)) 5307 0.1993 8.0566 ((2 . 52) (5 . 54) (6 . 58) (7 . 59)) 5318 0.5676 11.4001 ((1 . 17) (2 . 20) (6 . 23) (7 . 27)) 5323 0.5698 9.1093 ((1 . 8) (3 . 10) (4 . 12) (5 . 13)) 5324 0.5706 7.8039 ((3 . 22) (4 . 23) (5 . 26) (6 . 28)) 5411 0.5697 9.2532 ((3 . 3) (4 . 5) (6 . 8) (7 . 9)) 5487 0.1498 9.8193 ((1 . 1) (2 . 3) (6 . 9) (7 . 10)) 5525 0.5667 12.0220 ((1 . 10) (4 . 11) (5 . 12) (7 . 13)) 5540 0.1992 8.8907 ((3 . 1) (5 . 2) (6 . 4) (7 . 5)) 5562 0.5684 10.6841 ((1 . 5) (5 . 12) (6 . 14) (7 . 15)) 5594 0.1992 9.7461 ((1 . 8) (2 . 10) (3 . 12) (5 . 13)) 5600 0.5707 7.3777 ((2 . 1) (5 . 4) (6 . 6) (7 . 7)) 5601 0.5689 10.1911 ((3 . 1) (4 . 4) (5 . 6) (7 . 9)) 5638 0.1993 6.0555 ((3 . 8) (5 . 12) (6 . 13) (7 . 14)) 5648 0.2944 11.3663 ((2 . 2) (4 . 4) (5 . 5) (7 . 6)) 5656 0.5700 8.8861 ((2 . 4) (3 . 5) (4 . 6) (7 . 11)) 5689 0.5665 12.1103 ((1 . 16) (2 . 17) (4 . 18) (5 . 19)) 5702 0.5690 10.1012 ((1 . 11) (2 . 12) (4 . 13) (5 . 14)) 5704 0.3783 12.6894 ((1 . 5) (4 . 7) (5 . 8) (7 . 9)) 5731 0.3789 8.1942 ((3 . 2) (5 . 6) (6 . 7) (7 . 8)) 5770 0.5710 6.4648 ((1 . 2) (2 . 5) (3 . 6) (6 . 12)) 5771 0.2945 9.4841 ((2 . 2) (5 . 7) (6 . 9) (7 . 10)) 5782 0.3787 10.6481 ((3 . 22) (4 . 23) (6 . 29) (7 . 28)) 5789 0.7372 4.9015 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6)) 5794 0.5705 7.8948 ((1 . 13) (5 . 17) (6 . 19) (7 . 22)) 5795 0.5609 14.7527 ((1 . 3) (3 . 6) (5 . 8) (6 . 9)) 5809 0.1249 8.7917 ((2 . 8) (3 . 9) (4 . 10) (7 . 16)) 5896 0.4455 5.5336 ((3 . 26) (4 . 27) (6 . 31) (7 . 32)) 5913 0.2944 10.8413 ((2 . 4) (5 . 8) (6 . 10) (7 . 11)) 5930 0.5698 9.2239 ((3 . 2) (4 . 3) (5 . 5) (7 . 6)) 5939 0.5696 9.3967 ((1 . 7) (3 . 10) (4 . 12) (5 . 13)) 5945 0.5697 9.3434 ((3 . 26) (4 . 27) (5 . 29) (7 . 31)) 5949 0.2945 8.9180 ((2 . 8) (5 . 11) (6 . 14) (7 . 15)) 5955 0.5705 7.8791 ((2 . 2) (3 . 3) (4 . 6) (5 . 8)) 5967 0.5702 8.5436 ((2 . 2) (3 . 3) (4 . 6) (5 . 8)) 5977 0.5693 9.8039 ((3 . 1) (4 . 2) (5 . 4) (6 . 6)) 6000 0.1992 11.3370 ((1 . 2) (2 . 3) (3 . 4) (7 . 7)) 6029 0.5662 12.3384 ((3 . 31) (4 . 32) (5 . 34) (7 . 37)) 6033 0.1992 11.9402 ((2 . 2) (4 . 3) (5 . 4) (7 . 7)) 6061 0.3790 6.6393 ((3 . 17) (4 . 18) (6 . 21) (7 . 22)) 6074 0.5684 10.7472 ((1 . 10) (3 . 11) (4 . 12) (5 . 14)) 6075 0.4445 11.0331 ((1 . 16) (2 . 18) (3 . 17) (4 . 19)) 6079 0.4914 7.6836 ((1 . 15) (4 . 18) (6 . 21) (7 . 22)) 6089 0.5691 10.0294 ((3 . 1) (4 . 2) (6 . 5) (7 . 6)) 6094 0.3789 8.5694 ((3 . 2) (5 . 6) (6 . 7) (7 . 8)) 6169 0.5694 9.7119 ((1 . 10) (2 . 11) (4 . 12) (5 . 13)) 6192 0.5699 9.0611 ((2 . 4) (3 . 5) (5 . 9) (6 . 10)) 6225 0.2945 8.3832 ((3 . 4) (5 . 9) (6 . 10) (7 . 11)) 6228 0.2477 9.2498 ((3 . 1) (4 . 2) (6 . 7) (7 . 8)) 6238 0.2477 9.8997 ((2 . 6) (3 . 5) (6 . 9) (7 . 10)) 6243 0.5702 8.4995 ((3 . 6) (4 . 7) (6 . 10) (7 . 11)) 6258 0.3789 8.8727 ((1 . 8) (4 . 11) (6 . 13) (7 . 14)) 6261 0.3789 8.2274 ((1 . 15) (2 . 17) (6 . 22) (7 . 23)) 6266 0.5670 11.7773 ((3 . 3) (4 . 4) (5 . 7) (7 . 9)) 6268 0.5687 10.4874 ((1 . 9) (2 . 10) (4 . 11) (5 . 12)) 6270 0.1992 10.6926 ((3 . 13) (4 . 14) (6 . 18) (7 . 19)) 6344 0.5711 5.9374 ((3 . 1) (4 . 2) (5 . 5) (6 . 6)) 6355 0.1664 11.8705 ((1 . 3) (2 . 5) (6 . 10) (7 . 13)) 6356 0.5685 10.6587 ((1 . 5) (3 . 6) (4 . 8) (5 . 10)) 6359 0.5682 10.8559 ((2 . 3) (4 . 5) (5 . 6) (7 . 8)) 6369 0.0999 10.1586 ((3 . 20) (4 . 21) (5 . 23) (6 . 26)) 6376 0.4891 12.5586 ((1 . 20) (3 . 21) (6 . 28) (7 . 29)) 6384 0.4446 10.7758 ((2 . 2) (4 . 3) (5 . 4) (7 . 6)) 6403 0.5703 8.4229 ((1 . 11) (3 . 14) (5 . 16) (6 . 17)) 6461 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 6462 0.5697 9.3109 ((1 . 15) (2 . 17) (3 . 18) (4 . 19)) 6498 0.5690 10.0936 ((1 . 14) (5 . 18) (6 . 21) (7 . 22)) 6506 0.1663 14.0587 ((2 . 16) (4 . 17) (5 . 18) (7 . 20)) 6520 0.1992 11.0700 ((3 . 10) (4 . 12) (6 . 15) (7 . 18)) 6536 0.4448 10.3138 ((1 . 23) (2 . 24) (4 . 25) (7 . 27)) 6539 0.5714 4.2006 ((3 . 2) (4 . 3) (6 . 8) (7 . 9)) 6548 0.2470 21.5201 ((1 . 3) (2 . 4) (6 . 9) (7 . 10)) 6553 0.2477 9.8307 ((1 . 16) (3 . 20) (6 . 25) (7 . 27)) 6555 0.2945 9.7433 ((4 . 8) (5 . 9) (6 . 13) (7 . 12)) 6585 0.5684 10.6763 ((2 . 7) (5 . 9) (6 . 11) (7 . 12)) 6586 0.5662 12.3148 ((1 . 17) (2 . 19) (5 . 23) (6 . 25)) 6587 0.5691 10.0302 ((3 . 29) (4 . 30) (5 . 32) (6 . 34)) 6613 0.5690 10.0965 ((3 . 22) (4 . 23) (5 . 25) (7 . 26)) 6622 0.5675 11.4240 ((2 . 5) (4 . 6) (5 . 8) (7 . 11)) 6635 0.5690 10.0892 ((1 . 2) (2 . 3) (4 . 6) (5 . 9)) END