1301 25 0.2476 13.8574 ((2 . 5) (5 . 7) (6 . 9) (8 . 12)) 91 0.5665 12.1075 ((1 . 45) (3 . 46) (6 . 47) (7 . 48)) 136 0.3790 6.8138 ((1 . 3) (2 . 4) (3 . 6) (5 . 7)) 147 0.5633 13.8190 ((2 . 3) (3 . 5) (7 . 8) (8 . 9)) 155 0.2944 10.8687 ((2 . 4) (3 . 5) (6 . 7) (7 . 8)) 157 0.5524 17.2709 ((1 . 9) (6 . 13) (7 . 15) (8 . 17)) 259 0.4444 11.3502 ((2 . 5) (3 . 6) (6 . 7) (7 . 8)) 300 0.5704 8.1326 ((1 . 8) (5 . 10) (6 . 11) (7 . 12)) 305 0.2944 12.4948 ((3 . 10) (5 . 12) (6 . 14) (8 . 20)) 317 0.5620 14.3262 ((2 . 4) (3 . 6) (7 . 9) (8 . 10)) 329 0.4449 9.9253 ((1 . 4) (3 . 7) (6 . 8) (7 . 9)) 350 0.3788 9.8521 ((1 . 1) (3 . 3) (5 . 4) (7 . 9)) 361 0.5704 8.2305 ((3 . 3) (5 . 4) (6 . 5) (7 . 6)) 433 0.5625 14.1423 ((5 . 1) (6 . 2) (7 . 3) (8 . 4)) 472 0.1992 10.8639 ((2 . 28) (3 . 29) (6 . 33) (8 . 34)) 495 0.2944 11.9571 ((1 . 7) (3 . 10) (5 . 11) (6 . 12)) 541 0.4409 16.3334 ((3 . 1) (5 . 3) (6 . 4) (8 . 6)) 543 0.2476 15.2016 ((1 . 6) (5 . 8) (6 . 9) (8 . 14)) 553 0.2476 14.1443 ((1 . 12) (3 . 14) (7 . 20) (8 . 21)) 587 0.3790 6.8084 ((1 . 13) (2 . 12) (5 . 15) (7 . 17)) 609 0.2477 11.0549 ((3 . 36) (6 . 37) (7 . 38) (8 . 39)) 619 0.2942 14.6134 ((1 . 7) (3 . 10) (5 . 11) (8 . 17)) 624 0.4442 11.8264 ((1 . 15) (5 . 16) (6 . 18) (8 . 19)) 672 0.4820 17.5075 ((1 . 18) (3 . 19) (5 . 21) (8 . 25)) 678 0.5697 9.2622 ((3 . 25) (5 . 26) (6 . 27) (7 . 28)) 729 0.1498 4.2645 ((1 . 24) (3 . 26) (5 . 31) (6 . 32)) 834 0.5714 3.5079 ((1 . 32) (5 . 33) (6 . 34) (7 . 35)) 901 0.4756 20.0038 ((3 . 8) (6 . 10) (7 . 11) (8 . 14)) 904 0.5713 4.5858 ((1 . 3) (2 . 4) (3 . 5) (5 . 7)) 913 0.3790 6.3197 ((1 . 17) (3 . 18) (5 . 20) (6 . 21)) 928 0.2945 8.3930 ((1 . 18) (2 . 17) (3 . 19) (5 . 21)) 960 0.2477 10.9231 ((1 . 29) (2 . 30) (6 . 32) (7 . 33)) 978 0.4431 13.7913 ((1 . 6) (6 . 11) (7 . 12) (8 . 15)) 1007 0.5659 12.5226 ((1 . 17) (2 . 15) (6 . 21) (7 . 22)) 1034 0.4893 12.3609 ((2 . 24) (6 . 27) (7 . 31) (8 . 36)) 1043 0.5668 11.9586 ((3 . 11) (6 . 15) (7 . 16) (8 . 18)) 1082 0.4417 15.5304 ((2 . 13) (3 . 14) (7 . 18) (8 . 20)) 1084 0.1664 9.0131 ((1 . 17) (5 . 20) (6 . 21) (7 . 22)) 1124 0.4449 9.7700 ((2 . 11) (3 . 13) (6 . 15) (7 . 16)) 1165 0.2476 14.9750 ((1 . 2) (3 . 5) (6 . 6) (8 . 11)) 1201 0.3778 14.1986 ((1 . 4) (3 . 5) (7 . 8) (8 . 10)) 1204 0.1991 17.6769 ((2 . 7) (3 . 8) (6 . 13) (8 . 15)) 1217 0.1332 12.1392 ((1 . 3) (2 . 2) (5 . 9) (6 . 8)) 1224 0.5695 9.6060 ((1 . 9) (3 . 11) (5 . 10) (6 . 13)) 1268 0.4906 10.2500 ((3 . 12) (6 . 15) (7 . 16) (8 . 17)) 1301 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 1345 0.4448 10.0960 ((1 . 9) (2 . 10) (3 . 11) (7 . 15)) 1366 0.1663 17.7046 ((1 . 17) (2 . 18) (5 . 21) (8 . 25)) 1388 0.2475 16.3883 ((5 . 5) (6 . 7) (7 . 10) (8 . 11)) 1464 0.2945 6.6865 ((1 . 8) (3 . 9) (5 . 10) (6 . 12)) 1470 0.2943 13.0214 ((2 . 8) (3 . 9) (6 . 10) (8 . 13)) 1472 0.5637 13.6203 ((1 . 8) (2 . 9) (3 . 10) (8 . 13)) 1497 0.2941 15.0822 ((2 . 4) (3 . 5) (6 . 9) (8 . 11)) 1508 0.7142 2.7567 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (6 . 6)) 1513 0.1992 9.6289 ((1 . 2) (2 . 1) (5 . 5) (7 . 7)) 1514 0.1332 5.7099 ((1 . 1) (3 . 2) (5 . 4) (6 . 5)) 1595 0.5615 14.5242 ((2 . 3) (3 . 4) (6 . 6) (8 . 9)) 1604 0.5702 8.6108 ((1 . 12) (2 . 13) (3 . 14) (6 . 16)) 1624 0.2943 12.8614 ((1 . 4) (5 . 9) (6 . 10) (8 . 11)) 1643 0.2940 15.9536 ((1 . 12) (5 . 17) (7 . 19) (8 . 21)) 1690 0.5668 11.9326 ((1 . 19) (3 . 22) (6 . 23) (8 . 28)) 1736 0.3788 9.7665 ((1 . 3) (3 . 4) (5 . 5) (7 . 8)) 1738 0.3786 10.7807 ((1 . 18) (3 . 20) (5 . 21) (7 . 25)) 1747 0.2477 8.6034 ((1 . 19) (2 . 20) (3 . 22) (6 . 23)) 1763 0.4430 14.0277 ((2 . 1) (3 . 2) (7 . 6) (8 . 8)) 1776 0.4454 7.2337 ((1 . 14) (5 . 19) (6 . 21) (7 . 22)) 1793 0.4452 8.2279 ((1 . 14) (2 . 15) (3 . 16) (6 . 18)) 1796 0.4911 8.9664 ((2 . 1) (3 . 2) (6 . 4) (7 . 5)) 1805 0.4443 11.6511 ((1 . 4) (2 . 5) (5 . 10) (8 . 13)) 1896 0.2477 11.6722 ((2 . 12) (3 . 13) (5 . 14) (6 . 15)) 1897 0.4442 11.9467 ((1 . 32) (3 . 35) (6 . 37) (7 . 38)) 1908 0.5647 13.1470 ((2 . 1) (3 . 2) (7 . 4) (8 . 5)) 1909 0.4448 10.1933 ((1 . 31) (2 . 33) (6 . 36) (7 . 38)) 1961 0.4426 14.5621 ((3 . 18) (5 . 19) (7 . 23) (8 . 25)) 1967 0.4453 7.6723 ((1 . 7) (2 . 8) (6 . 11) (7 . 12)) 1987 0.2477 8.9094 ((2 . 11) (3 . 12) (6 . 14) (7 . 15)) 2006 0.2477 7.8654 ((1 . 20) (3 . 23) (5 . 24) (6 . 27)) 2045 0.4427 14.4308 ((1 . 1) (5 . 3) (6 . 4) (8 . 9)) 2048 0.5710 6.5338 ((1 . 13) (2 . 14) (3 . 15) (5 . 16)) 2054 0.5701 8.6824 ((2 . 9) (3 . 11) (5 . 14) (6 . 15)) 2067 0.5711 6.3042 ((2 . 61) (3 . 62) (5 . 63) (6 . 64)) 2081 0.4443 11.5863 ((1 . 20) (3 . 22) (5 . 23) (6 . 24)) 2114 0.4445 11.2594 ((1 . 36) (2 . 37) (3 . 38) (6 . 39)) 2118 0.2941 14.8503 ((2 . 6) (6 . 8) (7 . 9) (8 . 10)) 2122 0.4454 6.0641 ((1 . 12) (2 . 13) (5 . 17) (7 . 20)) 2166 0.4909 9.5899 ((2 . 1) (3 . 2) (5 . 4) (6 . 5)) 2205 0.3789 7.8701 ((1 . 18) (5 . 23) (6 . 24) (7 . 25)) 2233 0.4909 9.4051 ((2 . 1) (3 . 2) (6 . 6) (7 . 7)) 2279 0.3790 7.4977 ((1 . 11) (2 . 12) (3 . 15) (7 . 21)) 2298 0.1664 12.7750 ((2 . 3) (3 . 5) (7 . 7) (8 . 9)) 2340 0.5711 6.1973 ((1 . 9) (2 . 10) (3 . 12) (5 . 13)) 2344 0.5627 14.0374 ((2 . 16) (3 . 17) (7 . 22) (8 . 23)) 2364 0.2475 15.7871 ((5 . 5) (6 . 6) (7 . 8) (8 . 10)) 2410 0.4455 3.4398 ((1 . 13) (2 . 14) (3 . 15) (5 . 17)) 2447 0.5683 10.7650 ((2 . 19) (3 . 20) (6 . 22) (8 . 27)) 2462 0.2478 4.2661 ((1 . 1) (2 . 2) (5 . 4) (6 . 5)) 2465 0.5636 13.6842 ((2 . 3) (3 . 5) (7 . 7) (8 . 8)) 2510 0.3787 10.0148 ((2 . 24) (3 . 26) (6 . 29) (8 . 30)) 2525 0.4453 8.0486 ((1 . 41) (3 . 42) (5 . 43) (7 . 46)) 2544 0.5691 9.9955 ((2 . 18) (3 . 19) (5 . 22) (6 . 24)) 2551 0.2477 9.2486 ((2 . 7) (3 . 8) (5 . 9) (6 . 10)) 2556 0.3772 15.7904 ((3 . 12) (5 . 13) (6 . 15) (8 . 21)) 2557 0.2944 10.9261 ((2 . 4) (3 . 5) (5 . 7) (6 . 8)) 2591 0.4866 14.8833 ((2 . 37) (3 . 38) (6 . 40) (8 . 42)) 2658 0.4913 8.2051 ((2 . 5) (3 . 6) (6 . 9) (7 . 11)) 2675 0.1993 5.9929 ((1 . 3) (2 . 2) (5 . 8) (6 . 9)) 2682 0.4849 15.9988 ((1 . 11) (5 . 15) (6 . 16) (8 . 18)) 2703 0.2943 12.8221 ((3 . 1) (6 . 3) (7 . 4) (8 . 5)) 2733 0.5592 15.3435 ((1 . 1) (5 . 2) (7 . 5) (8 . 9)) 2753 0.1332 12.7601 ((3 . 1) (6 . 2) (7 . 3) (8 . 6)) 2773 0.1332 6.3428 ((1 . 3) (3 . 4) (5 . 6) (6 . 7)) 2840 0.1993 4.7696 ((1 . 6) (2 . 7) (5 . 9) (6 . 10)) 2842 0.2944 11.6109 ((3 . 3) (6 . 7) (7 . 6) (8 . 8)) 2929 0.4455 3.9727 ((1 . 36) (2 . 37) (3 . 38) (6 . 41)) 2947 0.3784 11.9300 ((2 . 5) (5 . 7) (6 . 8) (7 . 9)) 2950 0.5702 8.5428 ((2 . 7) (3 . 8) (6 . 10) (7 . 11)) 2966 0.1993 7.9749 ((1 . 4) (2 . 5) (3 . 7) (5 . 9)) 2990 0.5708 7.2190 ((2 . 17) (3 . 18) (5 . 20) (6 . 21)) 2999 0.4449 9.9543 ((2 . 1) (3 . 3) (5 . 4) (7 . 5)) 3014 0.5640 13.4763 ((2 . 16) (3 . 17) (6 . 18) (8 . 21)) 3019 0.2475 17.1834 ((1 . 11) (3 . 13) (6 . 15) (8 . 18)) 3041 0.3790 4.7175 ((1 . 30) (3 . 31) (5 . 33) (6 . 34)) 3070 0.5711 6.2487 ((1 . 33) (3 . 34) (5 . 36) (6 . 37)) 3084 0.3790 6.2585 ((1 . 21) (2 . 20) (5 . 24) (6 . 25)) 3114 0.4447 10.6752 ((1 . 25) (2 . 27) (3 . 28) (5 . 29)) 3176 0.2942 14.6770 ((3 . 31) (6 . 32) (7 . 33) (8 . 34)) 3200 0.4434 13.3770 ((1 . 6) (5 . 9) (7 . 12) (8 . 14)) 3202 0.5695 9.5145 ((2 . 3) (3 . 4) (6 . 5) (7 . 6)) 3212 0.5711 6.0736 ((1 . 5) (3 . 7) (5 . 9) (6 . 10)) 3222 0.2944 11.5091 ((1 . 1) (2 . 2) (5 . 4) (8 . 9)) 3286 0.2476 13.7139 ((1 . 5) (3 . 6) (5 . 9) (7 . 11)) 3334 0.5693 9.7592 ((1 . 10) (2 . 11) (3 . 12) (6 . 13)) 3339 0.5630 13.9463 ((1 . 11) (3 . 14) (7 . 18) (8 . 20)) 3391 0.2943 12.5598 ((3 . 12) (6 . 15) (7 . 16) (8 . 18)) 3415 0.5576 15.8735 ((2 . 18) (3 . 20) (6 . 21) (8 . 23)) 3446 0.5682 10.8631 ((2 . 8) (3 . 9) (6 . 10) (7 . 11)) 3470 0.2477 9.7444 ((2 . 10) (3 . 11) (6 . 12) (7 . 13)) 3481 0.3774 15.2680 ((1 . 4) (3 . 5) (5 . 7) (8 . 11)) 3495 0.1992 10.7917 ((2 . 10) (3 . 11) (7 . 14) (8 . 17)) 3538 0.2945 7.4089 ((1 . 23) (5 . 26) (6 . 27) (7 . 28)) 3585 0.5692 9.8841 ((1 . 16) (2 . 17) (3 . 18) (6 . 19)) 3613 0.1992 14.1198 ((1 . 40) (3 . 42) (6 . 43) (8 . 44)) 3626 0.4452 8.2857 ((1 . 2) (2 . 1) (3 . 5) (5 . 6)) 3651 0.5621 14.2839 ((2 . 14) (3 . 15) (6 . 20) (8 . 25)) 3656 0.1664 9.4419 ((1 . 22) (2 . 21) (5 . 23) (7 . 25)) 3658 0.2945 9.1102 ((2 . 9) (3 . 10) (6 . 12) (7 . 13)) 3661 0.5700 8.9117 ((2 . 14) (3 . 17) (6 . 18) (7 . 21)) 3663 0.2942 14.7933 ((3 . 3) (5 . 2) (6 . 4) (8 . 7)) 3732 0.0999 8.1575 ((1 . 7) (2 . 6) (3 . 8) (5 . 11)) 3778 0.5665 12.1210 ((2 . 5) (5 . 7) (6 . 8) (7 . 9)) 3787 0.4897 11.7471 ((2 . 5) (6 . 8) (7 . 10) (8 . 11)) 3790 0.2477 7.5723 ((1 . 18) (2 . 17) (6 . 20) (7 . 23)) 3807 0.2937 18.1145 ((1 . 43) (5 . 46) (6 . 48) (8 . 49)) 3829 0.8229 8.1746 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (6 . 6) (8 . 8)) 3831 0.5542 16.8259 ((1 . 2) (2 . 1) (5 . 3) (8 . 7)) 3834 0.3774 15.4004 ((2 . 4) (6 . 6) (7 . 7) (8 . 8)) 3847 0.4451 9.1702 ((1 . 9) (2 . 10) (5 . 13) (6 . 15)) 3849 0.2945 6.2940 ((1 . 3) (3 . 4) (5 . 5) (6 . 7)) 3853 0.4876 14.0230 ((2 . 13) (6 . 16) (7 . 19) (8 . 20)) 3938 0.5678 11.2444 ((1 . 6) (2 . 5) (6 . 12) (8 . 16)) 3942 0.2478 5.5894 ((1 . 3) (2 . 4) (3 . 5) (5 . 9)) 4005 0.5713 4.3033 ((1 . 30) (2 . 31) (5 . 36) (6 . 39)) 4009 0.4448 10.0816 ((1 . 13) (2 . 14) (6 . 17) (7 . 18)) 4037 0.5698 9.1247 ((2 . 5) (3 . 6) (6 . 7) (7 . 8)) 4062 0.4435 13.2965 ((2 . 45) (3 . 47) (5 . 49) (8 . 53)) 4067 0.2943 13.1824 ((2 . 12) (3 . 13) (6 . 15) (8 . 19)) 4077 0.4431 13.8524 ((3 . 9) (5 . 10) (6 . 12) (8 . 14)) 4082 0.5686 10.5421 ((2 . 1) (3 . 2) (6 . 3) (7 . 4)) 4115 0.1992 10.6944 ((1 . 1) (2 . 2) (3 . 4) (8 . 12)) 4134 0.2477 9.6154 ((2 . 24) (3 . 25) (6 . 26) (7 . 27)) 4177 0.1664 8.5366 ((1 . 1) (3 . 3) (5 . 2) (6 . 4)) 4204 0.2477 10.9566 ((2 . 1) (3 . 2) (7 . 4) (8 . 6)) 4209 0.4452 8.2844 ((1 . 4) (3 . 6) (5 . 7) (7 . 11)) 4210 0.1663 16.9237 ((3 . 1) (5 . 4) (6 . 3) (8 . 7)) 4226 0.5694 9.6840 ((2 . 13) (3 . 15) (6 . 17) (8 . 20)) 4242 0.5695 9.5031 ((2 . 2) (3 . 3) (6 . 5) (7 . 6)) 4243 0.5700 8.8016 ((2 . 1) (3 . 2) (6 . 5) (7 . 6)) 4254 0.5694 9.6943 ((1 . 1) (3 . 2) (5 . 3) (6 . 5)) 4281 0.2476 15.5885 ((1 . 3) (3 . 6) (6 . 9) (8 . 13)) 4326 0.1663 15.8764 ((5 . 2) (6 . 1) (7 . 3) (8 . 4)) 4332 0.3763 17.5528 ((1 . 2) (5 . 4) (6 . 5) (8 . 8)) 4352 0.4451 9.0723 ((2 . 7) (5 . 10) (6 . 12) (7 . 13)) 4380 0.4450 9.3046 ((1 . 24) (3 . 27) (5 . 29) (6 . 28)) 4388 0.3787 10.5766 ((1 . 1) (2 . 2) (5 . 5) (6 . 4)) 4419 0.2477 9.5217 ((3 . 1) (5 . 3) (6 . 2) (7 . 5)) 4492 0.3779 14.1599 ((5 . 8) (6 . 9) (7 . 10) (8 . 12)) 4495 0.2477 13.1542 ((2 . 7) (3 . 9) (7 . 13) (8 . 15)) 4504 0.1498 8.0995 ((1 . 6) (5 . 8) (6 . 10) (7 . 12)) 4527 0.4453 7.2785 ((1 . 1) (2 . 2) (3 . 4) (5 . 6)) 4538 0.1664 11.1161 ((2 . 27) (3 . 29) (5 . 31) (7 . 36)) 4562 0.2475 16.8000 ((1 . 19) (5 . 22) (6 . 23) (8 . 26)) 4563 0.2474 17.9102 ((5 . 1) (6 . 3) (7 . 5) (8 . 6)) 4579 0.4897 11.7969 ((2 . 27) (3 . 28) (6 . 31) (7 . 32)) 4607 0.5681 10.9718 ((2 . 17) (3 . 18) (6 . 20) (8 . 21)) 4621 0.4869 14.6439 ((3 . 1) (6 . 2) (7 . 5) (8 . 10)) 4648 0.2946 5.4702 ((1 . 2) (2 . 3) (3 . 7) (5 . 8)) 4669 0.5707 7.3707 ((1 . 17) (2 . 18) (5 . 19) (6 . 20)) 4715 0.5703 8.3813 ((2 . 1) (3 . 2) (6 . 7) (8 . 16)) 4731 0.2477 10.9821 ((1 . 14) (2 . 16) (3 . 17) (7 . 20)) 4764 0.5697 9.3081 ((2 . 2) (3 . 3) (6 . 5) (7 . 6)) 4783 0.5522 17.3256 ((2 . 1) (3 . 2) (6 . 3) (8 . 6)) 4886 0.1993 8.5820 ((1 . 4) (3 . 6) (6 . 7) (7 . 8)) 4888 0.2475 17.0838 ((1 . 4) (3 . 5) (6 . 6) (8 . 11)) 4889 0.5649 13.0377 ((2 . 5) (5 . 7) (6 . 8) (7 . 9)) 4932 0.5687 10.4195 ((1 . 6) (2 . 7) (3 . 9) (5 . 10)) 4963 0.2477 10.4451 ((2 . 7) (3 . 8) (6 . 9) (7 . 10)) 4998 0.5714 4.2545 ((2 . 27) (3 . 28) (5 . 29) (6 . 30)) 5016 0.2944 11.2216 ((2 . 6) (3 . 7) (6 . 8) (7 . 10)) 5053 0.5601 15.0539 ((1 . 9) (6 . 13) (7 . 14) (8 . 17)) 5068 0.4437 12.8655 ((2 . 3) (5 . 7) (6 . 9) (7 . 11)) 5069 0.2942 14.7596 ((1 . 12) (3 . 14) (6 . 16) (8 . 20)) 5080 0.2943 12.9848 ((1 . 2) (3 . 5) (6 . 6) (8 . 8)) 5092 0.5704 8.2221 ((2 . 2) (3 . 4) (6 . 5) (7 . 7)) 5103 0.5685 10.5931 ((1 . 2) (2 . 3) (5 . 6) (6 . 7)) 5132 0.5600 15.0904 ((1 . 22) (2 . 23) (3 . 24) (8 . 33)) 5134 0.4439 12.5061 ((2 . 11) (5 . 14) (6 . 16) (8 . 18)) 5145 0.1993 5.3814 ((1 . 5) (2 . 4) (3 . 7) (5 . 10)) 5192 0.4423 14.8881 ((2 . 11) (6 . 15) (7 . 16) (8 . 18)) 5199 0.1992 9.7406 ((3 . 1) (5 . 4) (6 . 2) (7 . 6)) 5212 0.5676 11.4098 ((5 . 3) (6 . 7) (7 . 8) (8 . 10)) 5215 0.5710 6.5576 ((1 . 2) (5 . 5) (6 . 6) (7 . 8)) 5223 0.5619 14.3692 ((1 . 1) (6 . 4) (7 . 5) (8 . 9)) 5266 0.5680 11.0526 ((1 . 10) (2 . 12) (5 . 15) (8 . 19)) 5318 0.2943 12.8015 ((2 . 15) (3 . 16) (6 . 17) (7 . 20)) 5323 0.5712 5.7852 ((2 . 14) (3 . 15) (6 . 16) (7 . 17)) 5324 0.5714 3.5123 ((1 . 25) (2 . 26) (3 . 27) (5 . 28)) 5344 0.2478 7.2258 ((1 . 4) (2 . 5) (3 . 6) (5 . 7)) 5368 0.1993 7.7400 ((1 . 39) (3 . 40) (5 . 43) (6 . 44)) 5411 0.1664 12.0739 ((2 . 1) (3 . 2) (6 . 5) (8 . 9)) 5442 0.5685 10.6429 ((2 . 35) (3 . 36) (6 . 39) (7 . 40)) 5487 0.1992 14.5941 ((2 . 3) (6 . 8) (7 . 10) (8 . 12)) 5500 0.5681 11.0178 ((2 . 6) (3 . 10) (7 . 13) (8 . 15)) 5501 0.1664 11.1400 ((2 . 26) (3 . 28) (6 . 32) (8 . 34)) 5525 0.5648 13.0913 ((2 . 2) (3 . 3) (6 . 5) (7 . 9)) 5540 0.1663 16.4481 ((3 . 13) (5 . 15) (7 . 17) (8 . 21)) 5560 0.1992 10.6172 ((3 . 6) (6 . 8) (7 . 10) (8 . 14)) 5562 0.1664 9.7318 ((3 . 13) (6 . 15) (7 . 16) (8 . 20)) 5567 0.3790 7.4804 ((1 . 8) (2 . 10) (6 . 14) (7 . 16)) 5648 0.5609 14.7482 ((3 . 1) (6 . 3) (7 . 4) (8 . 5)) 5656 0.5712 5.8402 ((1 . 23) (3 . 25) (6 . 26) (7 . 28)) 5702 0.2944 11.4609 ((2 . 10) (3 . 11) (6 . 13) (7 . 14)) 5718 0.2478 5.9470 ((1 . 16) (2 . 15) (5 . 21) (6 . 22)) 5731 0.2477 9.0001 ((1 . 7) (2 . 6) (3 . 8) (5 . 11)) 5761 0.5704 8.2586 ((1 . 28) (5 . 32) (6 . 33) (7 . 34)) 5770 0.5678 11.1873 ((1 . 1) (2 . 2) (6 . 5) (7 . 7)) 5771 0.2477 12.1469 ((1 . 13) (5 . 15) (6 . 16) (8 . 22)) 5782 0.4904 10.6604 ((2 . 2) (3 . 3) (5 . 5) (6 . 6)) 5795 0.4906 10.2954 ((1 . 1) (3 . 2) (6 . 5) (8 . 8)) 5809 0.1664 8.8158 ((1 . 9) (2 . 10) (3 . 11) (7 . 16)) 5827 0.5697 9.3344 ((1 . 4) (3 . 6) (5 . 8) (7 . 10)) 5830 0.1992 9.8465 ((2 . 11) (5 . 13) (6 . 15) (7 . 16)) 5878 0.2941 15.1204 ((3 . 21) (6 . 23) (7 . 24) (8 . 31)) 5904 0.4441 12.2219 ((2 . 2) (3 . 3) (7 . 6) (8 . 8)) 5913 0.2476 15.4852 ((2 . 8) (6 . 12) (7 . 14) (8 . 16)) 5939 0.4450 9.4153 ((2 . 12) (3 . 13) (5 . 14) (6 . 15)) 5945 0.4850 15.9379 ((1 . 3) (2 . 5) (6 . 8) (8 . 12)) 5949 0.1664 13.3988 ((1 . 10) (2 . 11) (6 . 15) (8 . 19)) 5955 0.3777 14.6888 ((1 . 5) (2 . 6) (6 . 10) (8 . 13)) 5972 0.5678 11.1866 ((3 . 1) (6 . 4) (7 . 5) (8 . 8)) 6000 0.4876 14.0785 ((2 . 11) (5 . 14) (6 . 16) (8 . 22)) 6028 0.1992 8.8157 ((1 . 3) (3 . 4) (5 . 9) (6 . 8)) 6029 0.5691 10.0371 ((1 . 21) (3 . 22) (7 . 26) (8 . 28)) 6033 0.2477 10.8776 ((2 . 2) (3 . 3) (6 . 4) (7 . 5)) 6041 0.4894 12.2462 ((3 . 3) (6 . 5) (7 . 6) (8 . 9)) 6061 0.3789 8.0740 ((1 . 17) (2 . 18) (5 . 21) (6 . 22)) 6075 0.4427 14.4047 ((5 . 17) (6 . 18) (7 . 19) (8 . 22)) 6079 0.2943 13.4516 ((2 . 10) (6 . 14) (7 . 15) (8 . 17)) 6089 0.3767 16.7422 ((1 . 18) (2 . 19) (6 . 22) (8 . 25)) 6099 0.4449 9.9160 ((1 . 18) (3 . 20) (5 . 22) (6 . 21)) 6169 0.5620 14.3504 ((3 . 1) (6 . 3) (7 . 4) (8 . 8)) 6192 0.5692 9.9158 ((2 . 7) (3 . 9) (7 . 12) (8 . 16)) 6215 0.4895 12.0219 ((1 . 19) (3 . 22) (5 . 24) (6 . 23)) 6225 0.2474 17.4077 ((1 . 4) (5 . 7) (6 . 9) (8 . 11)) 6228 0.5669 11.8955 ((1 . 12) (3 . 13) (6 . 17) (7 . 18)) 6243 0.5702 8.4844 ((1 . 10) (2 . 11) (3 . 12) (6 . 13)) 6258 0.4435 13.3151 ((3 . 2) (5 . 4) (6 . 5) (8 . 8)) 6261 0.2945 6.7569 ((1 . 22) (3 . 23) (6 . 24) (7 . 25)) 6268 0.5666 12.0432 ((2 . 9) (3 . 11) (6 . 12) (7 . 13)) 6270 0.4432 13.6701 ((2 . 11) (6 . 14) (7 . 16) (8 . 19)) 6271 0.1664 10.8202 ((1 . 11) (3 . 13) (5 . 12) (6 . 14)) 6294 0.4436 13.0854 ((5 . 2) (6 . 5) (7 . 7) (8 . 10)) 6329 0.4450 9.3682 ((2 . 2) (3 . 3) (6 . 4) (7 . 6)) 6345 0.1993 6.1398 ((1 . 6) (5 . 7) (6 . 8) (7 . 9)) 6348 0.4438 12.7250 ((2 . 2) (3 . 3) (7 . 6) (8 . 8)) 6355 0.1992 16.2034 ((2 . 3) (3 . 5) (5 . 6) (8 . 13)) 6356 0.4442 12.0032 ((2 . 2) (3 . 3) (6 . 5) (8 . 10)) 6391 0.4916 6.3202 ((2 . 1) (3 . 2) (6 . 4) (7 . 5)) 6476 0.2946 4.1938 ((1 . 4) (2 . 5) (3 . 7) (5 . 9)) 6498 0.4427 14.3722 ((1 . 21) (6 . 27) (7 . 28) (8 . 30)) 6506 0.2937 17.9385 ((2 . 23) (3 . 24) (6 . 25) (8 . 29)) 6520 0.5679 11.1185 ((1 . 10) (2 . 11) (3 . 12) (8 . 18)) 6548 0.5707 7.5235 ((1 . 9) (2 . 10) (3 . 14) (6 . 15)) 6555 0.2945 8.6313 ((1 . 6) (3 . 8) (5 . 10) (6 . 12)) 6561 0.4435 13.3127 ((1 . 1) (3 . 2) (6 . 4) (7 . 5)) 6578 0.4448 10.2337 ((1 . 38) (2 . 39) (3 . 40) (6 . 41)) 6585 0.4437 12.9168 ((2 . 4) (3 . 5) (6 . 7) (8 . 9)) 6586 0.4443 11.5962 ((2 . 16) (3 . 17) (6 . 19) (8 . 23)) 6635 0.4915 7.0438 ((3 . 6) (5 . 7) (6 . 9) (7 . 10)) END