2465 25 0.5695 9.5257 ((1 . 1) (3 . 2) (5 . 5) (7 . 9)) 77 0.4445 11.0756 ((3 . 10) (5 . 12) (7 . 16) (8 . 17)) 91 0.4453 7.3772 ((3 . 23) (4 . 25) (5 . 27) (7 . 30)) 147 0.7141 4.0459 ((3 . 3) (5 . 5) (6 . 7) (7 . 8) (8 . 9)) 155 0.5711 6.1573 ((3 . 1) (5 . 6) (6 . 7) (7 . 8)) 157 0.5680 11.0489 ((1 . 4) (5 . 10) (6 . 12) (7 . 13)) 259 0.8564 4.5000 ((3 . 2) (4 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 305 0.2476 13.8380 ((1 . 8) (4 . 13) (5 . 14) (8 . 20)) 317 0.7141 3.9778 ((3 . 4) (5 . 6) (6 . 8) (7 . 9) (8 . 10)) 329 0.5704 8.1240 ((3 . 1) (5 . 3) (7 . 7) (8 . 8)) 351 0.5689 10.2015 ((1 . 4) (3 . 6) (5 . 8) (6 . 9)) 361 0.5684 10.6751 ((5 . 5) (6 . 6) (7 . 7) (8 . 8)) 442 0.5694 9.7390 ((1 . 13) (5 . 15) (6 . 17) (7 . 18)) 495 0.2945 9.9719 ((3 . 2) (5 . 4) (6 . 6) (8 . 10)) 553 0.5661 12.4000 ((1 . 10) (5 . 15) (7 . 20) (8 . 22)) 624 0.2477 9.2452 ((1 . 3) (3 . 4) (4 . 6) (6 . 8)) 635 0.5672 11.6725 ((1 . 2) (5 . 7) (7 . 9) (8 . 11)) 672 0.4437 12.9778 ((1 . 2) (6 . 7) (7 . 8) (8 . 9)) 678 0.5680 11.0380 ((3 . 30) (6 . 36) (7 . 38) (8 . 39)) 729 0.5557 16.4170 ((1 . 21) (3 . 22) (7 . 26) (8 . 32)) 782 0.4449 9.7689 ((4 . 10) (5 . 11) (6 . 12) (7 . 14)) 792 0.1992 9.7245 ((4 . 2) (5 . 3) (6 . 5) (7 . 8)) 818 0.4436 13.0251 ((3 . 3) (4 . 5) (6 . 9) (7 . 11)) 834 0.5713 5.0209 ((3 . 34) (5 . 35) (7 . 39) (8 . 44)) 901 0.4443 11.5674 ((1 . 4) (6 . 10) (7 . 11) (8 . 14)) 945 0.5671 11.7556 ((1 . 16) (5 . 20) (7 . 23) (8 . 25)) 949 0.5615 14.5273 ((1 . 33) (3 . 35) (4 . 36) (5 . 37)) 960 0.5701 8.7582 ((1 . 24) (6 . 30) (7 . 31) (8 . 32)) 978 0.5702 8.5133 ((1 . 2) (6 . 8) (7 . 9) (8 . 11)) 980 0.3773 15.6616 ((1 . 2) (3 . 4) (6 . 8) (8 . 10)) 1034 0.5692 9.9158 ((1 . 19) (4 . 23) (5 . 24) (7 . 27)) 1043 0.2477 8.8234 ((3 . 5) (5 . 7) (6 . 9) (8 . 11)) 1082 0.5687 10.4180 ((1 . 22) (5 . 25) (7 . 27) (8 . 28)) 1124 0.4445 11.1648 ((3 . 10) (5 . 11) (7 . 15) (8 . 16)) 1165 0.4445 11.1757 ((1 . 13) (3 . 15) (5 . 16) (8 . 20)) 1204 0.4435 13.2879 ((1 . 6) (3 . 7) (4 . 8) (8 . 15)) 1267 0.4448 10.1548 ((4 . 5) (5 . 6) (6 . 7) (7 . 8)) 1268 0.4438 12.6765 ((3 . 16) (5 . 17) (7 . 18) (8 . 19)) 1301 0.5636 13.6842 ((3 . 2) (5 . 3) (7 . 7) (8 . 8)) 1388 0.3789 8.2118 ((3 . 2) (4 . 3) (6 . 6) (7 . 7)) 1415 0.5706 7.7190 ((3 . 1) (4 . 2) (5 . 5) (7 . 6)) 1470 0.5581 15.6976 ((1 . 12) (3 . 13) (4 . 14) (8 . 18)) 1472 0.5669 11.8510 ((1 . 3) (3 . 5) (7 . 11) (8 . 12)) 1497 0.5704 8.1821 ((4 . 20) (5 . 22) (7 . 24) (8 . 25)) 1513 0.3787 10.7346 ((3 . 1) (6 . 4) (7 . 7) (8 . 9)) 1591 0.2477 10.2543 ((4 . 2) (5 . 3) (7 . 5) (8 . 7)) 1595 0.2944 11.1392 ((3 . 1) (4 . 2) (5 . 3) (7 . 6)) 1604 0.5699 9.0514 ((4 . 8) (5 . 9) (7 . 13) (8 . 14)) 1690 0.1664 13.1238 ((3 . 7) (5 . 9) (7 . 12) (8 . 15)) 1724 0.4452 8.5438 ((3 . 4) (4 . 5) (5 . 6) (7 . 8)) 1736 0.2942 14.2293 ((1 . 6) (3 . 8) (4 . 9) (5 . 11)) 1763 0.5640 13.4626 ((5 . 2) (6 . 4) (7 . 6) (8 . 8)) 1776 0.2941 15.1147 ((1 . 13) (3 . 18) (5 . 21) (8 . 25)) 1793 0.4453 7.9350 ((3 . 15) (4 . 16) (5 . 17) (6 . 18)) 1796 0.8568 3.6938 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7)) 1894 0.1992 12.4392 ((1 . 4) (3 . 6) (5 . 8) (6 . 9)) 1896 0.5710 6.4189 ((5 . 4) (6 . 10) (7 . 12) (8 . 13)) 1908 0.5703 8.4334 ((3 . 1) (5 . 2) (7 . 4) (8 . 5)) 1909 0.1992 14.3114 ((1 . 30) (3 . 32) (4 . 33) (5 . 36)) 1944 0.1498 10.9476 ((3 . 6) (4 . 8) (6 . 12) (7 . 14)) 1957 0.5574 15.9240 ((1 . 2) (5 . 6) (7 . 8) (8 . 10)) 1967 0.5700 8.7982 ((1 . 6) (3 . 8) (5 . 9) (6 . 11)) 1987 0.5710 6.5423 ((5 . 10) (6 . 11) (7 . 12) (8 . 13)) 2048 0.2476 14.3813 ((4 . 2) (5 . 3) (7 . 5) (8 . 9)) 2054 0.4917 6.0112 ((4 . 11) (5 . 12) (6 . 15) (7 . 16)) 2067 0.4444 11.3412 ((1 . 1) (5 . 3) (6 . 5) (7 . 6)) 2081 0.3789 8.2661 ((1 . 11) (3 . 13) (5 . 15) (6 . 16)) 2094 0.5662 12.2941 ((1 . 3) (3 . 4) (5 . 6) (6 . 7)) 2114 0.4452 8.3701 ((3 . 35) (4 . 37) (5 . 38) (6 . 39)) 2117 0.2945 9.3050 ((1 . 13) (5 . 21) (7 . 24) (8 . 26)) 2118 0.5708 7.3252 ((3 . 6) (6 . 8) (7 . 9) (8 . 10)) 2122 0.5701 8.7252 ((3 . 13) (5 . 16) (7 . 20) (8 . 21)) 2166 0.1664 7.6446 ((1 . 2) (3 . 5) (6 . 10) (8 . 14)) 2179 0.2943 12.9805 ((3 . 16) (4 . 18) (5 . 19) (7 . 21)) 2233 0.7141 3.9612 ((3 . 2) (5 . 6) (6 . 7) (7 . 8) (8 . 9)) 2249 0.2945 10.3066 ((4 . 1) (5 . 2) (6 . 3) (8 . 8)) 2269 0.5682 10.9307 ((1 . 1) (3 . 2) (5 . 5) (8 . 9)) 2279 0.4896 11.9819 ((3 . 12) (4 . 14) (5 . 15) (7 . 21)) 2295 0.3776 14.8867 ((1 . 1) (3 . 2) (4 . 3) (5 . 4)) 2298 0.5704 8.2128 ((3 . 2) (4 . 3) (5 . 5) (7 . 7)) 2308 0.2478 6.5822 ((3 . 1) (4 . 2) (5 . 3) (8 . 7)) 2342 0.3779 14.1315 ((1 . 15) (3 . 16) (4 . 18) (5 . 19)) 2344 0.5700 8.8154 ((3 . 16) (6 . 21) (7 . 22) (8 . 23)) 2364 0.5649 13.0601 ((1 . 1) (3 . 2) (5 . 6) (8 . 11)) 2443 0.3790 7.0107 ((5 . 1) (6 . 2) (7 . 3) (8 . 4)) 2447 0.5686 10.5485 ((1 . 26) (3 . 27) (6 . 32) (8 . 34)) 2465 1.0000 0.0000 ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 2510 0.1498 11.2256 ((1 . 22) (3 . 24) (5 . 26) (6 . 28)) 2533 0.4453 8.0782 ((5 . 1) (6 . 2) (7 . 3) (8 . 5)) 2556 0.5574 15.9255 ((1 . 12) (4 . 15) (5 . 17) (8 . 23)) 2591 0.4449 9.7537 ((1 . 35) (3 . 36) (4 . 37) (7 . 40)) 2627 0.4444 11.4304 ((4 . 54) (5 . 55) (6 . 56) (8 . 59)) 2634 0.4443 11.7715 ((3 . 6) (4 . 7) (5 . 8) (8 . 12)) 2658 0.5683 10.8222 ((1 . 4) (3 . 6) (4 . 7) (5 . 8)) 2703 0.2477 9.0015 ((3 . 3) (4 . 4) (5 . 5) (6 . 6)) 2733 0.5701 8.7698 ((4 . 5) (5 . 7) (7 . 9) (8 . 12)) 2753 0.2477 11.5764 ((3 . 1) (5 . 3) (6 . 4) (8 . 7)) 2834 0.1992 9.6473 ((1 . 10) (3 . 11) (5 . 13) (7 . 17)) 2842 0.5641 13.4305 ((1 . 3) (3 . 6) (4 . 7) (5 . 8)) 2867 0.4439 12.5841 ((3 . 1) (4 . 3) (5 . 5) (8 . 10)) 2947 0.4454 6.7511 ((3 . 16) (4 . 17) (5 . 18) (6 . 19)) 2950 0.5712 5.3093 ((3 . 7) (5 . 8) (7 . 11) (8 . 12)) 3014 0.5702 8.5734 ((1 . 15) (5 . 18) (6 . 19) (8 . 21)) 3034 0.1992 10.4492 ((1 . 6) (3 . 8) (5 . 11) (6 . 13)) 3041 0.1498 12.7802 ((1 . 10) (5 . 15) (7 . 17) (8 . 19)) 3070 0.3789 7.8831 ((5 . 30) (6 . 31) (7 . 34) (8 . 37)) 3084 0.5703 8.3274 ((1 . 4) (3 . 6) (5 . 8) (6 . 10)) 3127 0.2943 12.8489 ((3 . 12) (5 . 14) (6 . 16) (7 . 18)) 3190 0.5683 10.8491 ((1 . 4) (3 . 7) (5 . 10) (6 . 12)) 3197 0.5674 11.5414 ((1 . 11) (3 . 13) (5 . 15) (6 . 17)) 3200 0.1992 8.6384 ((4 . 2) (6 . 5) (7 . 7) (8 . 8)) 3202 0.5693 9.8180 ((5 . 3) (6 . 4) (7 . 5) (8 . 6)) 3212 0.3786 11.1873 ((1 . 6) (3 . 7) (4 . 10) (5 . 11)) 3222 0.1663 14.5901 ((1 . 9) (3 . 13) (7 . 22) (8 . 23)) 3286 0.3783 12.5499 ((3 . 6) (4 . 8) (6 . 11) (7 . 12)) 3300 0.5708 7.3163 ((3 . 9) (4 . 10) (5 . 11) (6 . 12)) 3310 0.3781 13.4378 ((3 . 6) (4 . 7) (7 . 10) (8 . 11)) 3334 0.5710 6.5511 ((3 . 9) (6 . 11) (7 . 12) (8 . 13)) 3339 0.5702 8.5113 ((3 . 30) (4 . 34) (5 . 35) (6 . 36)) 3358 0.2477 13.1369 ((3 . 3) (4 . 5) (6 . 9) (7 . 11)) 3391 0.5710 6.5936 ((1 . 16) (3 . 18) (4 . 19) (5 . 20)) 3415 0.1992 10.6832 ((3 . 18) (5 . 20) (7 . 21) (8 . 22)) 3446 0.5676 11.3517 ((1 . 1) (3 . 2) (5 . 4) (8 . 9)) 3470 0.4881 13.6167 ((1 . 14) (3 . 15) (4 . 16) (7 . 18)) 3495 0.2477 12.9534 ((3 . 10) (4 . 11) (5 . 13) (7 . 17)) 3496 0.2477 11.4087 ((3 . 24) (5 . 25) (6 . 26) (8 . 28)) 3538 0.4390 17.8702 ((1 . 17) (4 . 21) (5 . 22) (8 . 27)) 3561 0.3786 11.2391 ((1 . 21) (3 . 25) (5 . 27) (6 . 29)) 3651 0.5708 7.2421 ((1 . 4) (3 . 6) (5 . 7) (8 . 14)) 3658 0.4430 13.9959 ((1 . 13) (4 . 15) (5 . 16) (7 . 19)) 3661 0.5711 5.9881 ((5 . 17) (6 . 18) (7 . 21) (8 . 22)) 3778 0.4452 8.1135 ((3 . 17) (4 . 19) (5 . 20) (7 . 21)) 3787 0.5692 9.8645 ((1 . 8) (5 . 11) (6 . 13) (7 . 14)) 3817 0.3787 10.1464 ((1 . 6) (3 . 8) (6 . 13) (7 . 14)) 3829 0.3789 8.4769 ((1 . 4) (4 . 8) (5 . 10) (7 . 13)) 3830 0.1992 9.7046 ((4 . 2) (5 . 3) (6 . 5) (8 . 6)) 3834 0.3785 11.9145 ((4 . 2) (6 . 4) (7 . 5) (8 . 6)) 3853 0.5677 11.3201 ((3 . 2) (4 . 4) (6 . 7) (8 . 9)) 3870 0.2944 10.9077 ((3 . 4) (4 . 6) (6 . 7) (8 . 9)) 3938 0.5693 9.7620 ((3 . 1) (4 . 3) (5 . 5) (7 . 12)) 3968 0.2477 11.3207 ((3 . 4) (4 . 7) (6 . 10) (7 . 12)) 4009 0.4876 14.0953 ((1 . 10) (3 . 14) (4 . 16) (7 . 20)) 4030 0.3789 8.2582 ((3 . 7) (4 . 10) (5 . 11) (6 . 13)) 4037 0.5711 5.9758 ((4 . 4) (6 . 6) (7 . 7) (8 . 8)) 4067 0.1993 7.6537 ((1 . 17) (3 . 19) (5 . 21) (6 . 23)) 4077 0.3784 12.1201 ((3 . 3) (5 . 4) (6 . 6) (7 . 7)) 4115 0.5699 8.9820 ((1 . 11) (3 . 12) (5 . 14) (8 . 20)) 4134 0.4438 12.8051 ((3 . 28) (4 . 30) (7 . 32) (8 . 33)) 4151 0.2940 15.8537 ((4 . 1) (5 . 2) (6 . 4) (7 . 6)) 4204 0.2477 8.8289 ((3 . 1) (5 . 2) (7 . 4) (8 . 6)) 4216 0.5711 6.3470 ((4 . 12) (5 . 13) (7 . 15) (8 . 16)) 4226 0.4454 6.6123 ((1 . 5) (3 . 10) (5 . 13) (7 . 17)) 4242 0.5938 7.0108 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6)) 4243 0.3790 6.3205 ((3 . 1) (4 . 2) (5 . 4) (7 . 6)) 4254 0.1664 11.5664 ((1 . 5) (5 . 10) (6 . 12) (7 . 14)) 4261 0.5709 6.7600 ((5 . 14) (6 . 15) (7 . 16) (8 . 17)) 4265 0.3789 7.9588 ((3 . 25) (5 . 27) (6 . 28) (8 . 31)) 4266 0.5634 13.7749 ((3 . 7) (4 . 9) (6 . 14) (8 . 17)) 4281 0.3788 9.9970 ((5 . 9) (6 . 11) (7 . 13) (8 . 14)) 4299 0.1992 11.5888 ((4 . 5) (6 . 7) (7 . 8) (8 . 10)) 4326 0.3786 11.0406 ((1 . 1) (3 . 3) (5 . 5) (7 . 8)) 4332 0.1992 10.3367 ((3 . 1) (4 . 3) (5 . 5) (7 . 8)) 4352 0.5913 10.3404 ((3 . 3) (4 . 4) (6 . 7) (7 . 11) (8 . 12)) 4386 0.5645 13.2482 ((5 . 11) (6 . 12) (7 . 13) (8 . 15)) 4408 0.2477 9.0852 ((3 . 19) (4 . 20) (5 . 21) (7 . 23)) 4470 0.2944 10.6656 ((3 . 6) (6 . 11) (7 . 13) (8 . 15)) 4502 0.3784 12.1496 ((1 . 2) (3 . 3) (6 . 7) (8 . 13)) 4516 0.5689 10.2059 ((1 . 25) (3 . 27) (5 . 31) (6 . 33)) 4560 0.2477 8.6442 ((3 . 5) (5 . 7) (6 . 10) (8 . 12)) 4562 0.1992 10.0480 ((3 . 21) (4 . 23) (6 . 26) (8 . 30)) 4563 0.5705 7.8881 ((3 . 27) (6 . 30) (7 . 32) (8 . 33)) 4579 0.5712 5.6998 ((1 . 5) (3 . 11) (5 . 13) (8 . 21)) 4607 0.3784 12.0721 ((4 . 9) (5 . 11) (7 . 13) (8 . 16)) 4669 0.1992 9.5316 ((1 . 16) (3 . 18) (5 . 20) (6 . 22)) 4671 0.5704 8.2206 ((1 . 5) (5 . 9) (6 . 10) (8 . 16)) 4715 0.5710 6.4718 ((4 . 5) (5 . 7) (6 . 9) (7 . 10)) 4716 0.3788 9.7422 ((1 . 1) (3 . 3) (4 . 4) (6 . 6)) 4764 0.5625 14.1527 ((1 . 8) (4 . 10) (5 . 11) (7 . 14)) 4817 0.1992 9.5281 ((3 . 7) (5 . 9) (6 . 11) (7 . 12)) 4888 0.4448 10.1229 ((3 . 2) (4 . 5) (5 . 6) (8 . 11)) 4889 0.5679 11.1457 ((4 . 19) (5 . 20) (7 . 21) (8 . 23)) 4961 0.2476 13.8459 ((1 . 8) (3 . 11) (5 . 13) (7 . 18)) 4963 0.3788 9.3516 ((3 . 3) (6 . 6) (7 . 8) (8 . 9)) 4998 0.5662 12.3319 ((5 . 2) (6 . 4) (7 . 5) (8 . 7)) 5016 0.5705 7.8978 ((5 . 6) (6 . 8) (7 . 9) (8 . 10)) 5039 0.2945 8.7946 ((4 . 35) (5 . 36) (6 . 38) (8 . 43)) 5053 0.2942 13.8700 ((3 . 7) (5 . 8) (7 . 13) (8 . 14)) 5068 0.4454 7.2354 ((1 . 19) (5 . 25) (6 . 26) (7 . 28)) 5073 0.5696 9.4133 ((4 . 37) (6 . 40) (7 . 41) (8 . 43)) 5080 0.5666 12.0874 ((3 . 6) (6 . 9) (7 . 11) (8 . 13)) 5092 0.5690 10.0992 ((1 . 3) (5 . 7) (7 . 8) (8 . 9)) 5101 0.4913 8.0317 ((3 . 19) (4 . 20) (5 . 22) (8 . 27)) 5103 0.4451 8.9011 ((3 . 5) (4 . 7) (7 . 11) (8 . 12)) 5132 0.5684 10.7185 ((3 . 23) (5 . 24) (7 . 27) (8 . 29)) 5134 0.5687 10.3921 ((1 . 12) (3 . 15) (4 . 16) (6 . 20)) 5167 0.5675 11.4733 ((3 . 2) (5 . 6) (6 . 7) (7 . 8)) 5192 0.2477 11.4802 ((1 . 7) (4 . 10) (7 . 16) (8 . 18)) 5212 0.4454 6.5529 ((1 . 16) (3 . 18) (4 . 19) (5 . 20)) 5223 0.5665 12.1111 ((3 . 2) (4 . 4) (6 . 7) (8 . 11)) 5266 0.5700 8.8991 ((3 . 12) (5 . 16) (7 . 18) (8 . 19)) 5285 0.3789 7.7045 ((5 . 1) (6 . 2) (7 . 3) (8 . 5)) 5318 0.7140 4.5198 ((1 . 9) (4 . 13) (5 . 14) (6 . 15) (7 . 16)) 5323 0.5680 11.0828 ((1 . 13) (3 . 15) (5 . 16) (7 . 18)) 5324 0.5704 8.1497 ((3 . 6) (5 . 8) (6 . 11) (8 . 13)) 5442 0.1664 10.7903 ((4 . 34) (5 . 35) (6 . 37) (8 . 39)) 5487 0.3788 9.5802 ((3 . 1) (4 . 3) (6 . 8) (8 . 10)) 5501 0.4451 8.9734 ((1 . 32) (3 . 34) (4 . 35) (5 . 38)) 5525 0.5665 12.1548 ((1 . 3) (3 . 5) (7 . 11) (8 . 12)) 5560 0.2944 11.1731 ((3 . 7) (4 . 8) (5 . 10) (8 . 14)) 5562 0.3788 9.3664 ((5 . 9) (6 . 10) (7 . 12) (8 . 13)) 5594 0.2478 6.3597 ((3 . 7) (4 . 8) (5 . 10) (6 . 13)) 5601 0.4437 12.8958 ((3 . 4) (4 . 6) (6 . 9) (7 . 11)) 5648 0.5665 12.1596 ((3 . 2) (4 . 3) (5 . 4) (6 . 5)) 5656 0.5705 7.8865 ((1 . 12) (5 . 17) (6 . 19) (7 . 20)) 5689 0.5935 7.6748 ((3 . 1) (4 . 2) (5 . 3) (7 . 8) (8 . 9)) 5701 0.5697 9.3335 ((1 . 10) (3 . 13) (5 . 15) (7 . 20)) 5702 0.6914 8.5852 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 8) (8 . 9)) 5749 0.5689 10.2040 ((1 . 1) (3 . 2) (7 . 8) (8 . 9)) 5782 0.5703 8.2950 ((1 . 4) (3 . 7) (5 . 9) (6 . 11)) 5795 0.2477 8.8429 ((4 . 11) (5 . 12) (6 . 14) (7 . 15)) 5809 0.2944 11.0817 ((4 . 8) (5 . 10) (6 . 11) (8 . 16)) 5830 0.1992 11.8021 ((1 . 5) (5 . 11) (7 . 15) (8 . 16)) 5878 0.1992 11.2306 ((3 . 13) (6 . 21) (7 . 22) (8 . 24)) 5904 0.5670 11.7972 ((3 . 2) (5 . 3) (7 . 6) (8 . 8)) 5913 0.3789 8.9605 ((4 . 11) (5 . 12) (7 . 14) (8 . 16)) 5939 0.5669 11.8825 ((3 . 7) (6 . 12) (7 . 13) (8 . 15)) 5945 0.5709 6.7560 ((1 . 22) (5 . 27) (6 . 29) (7 . 31)) 5955 0.2945 10.2398 ((1 . 6) (3 . 8) (5 . 10) (7 . 13)) 5967 0.1498 10.1385 ((1 . 2) (3 . 6) (5 . 8) (6 . 10)) 6000 0.1992 10.9498 ((5 . 2) (6 . 3) (7 . 5) (8 . 6)) 6029 0.3786 11.0007 ((3 . 26) (5 . 28) (7 . 32) (8 . 34)) 6033 0.5688 10.3291 ((1 . 2) (5 . 5) (6 . 6) (8 . 9)) 6074 0.5682 10.8541 ((4 . 7) (6 . 10) (7 . 12) (8 . 14)) 6075 0.2477 10.7796 ((5 . 16) (6 . 18) (7 . 19) (8 . 22)) 6079 0.4894 12.1642 ((1 . 15) (3 . 17) (4 . 18) (7 . 22)) 6089 0.5699 9.0475 ((1 . 4) (5 . 8) (7 . 13) (8 . 15)) 6169 0.5698 9.1031 ((1 . 11) (5 . 13) (6 . 14) (8 . 16)) 6192 0.3789 8.5848 ((3 . 4) (5 . 7) (6 . 9) (8 . 12)) 6228 0.4412 16.0216 ((1 . 4) (5 . 8) (6 . 10) (8 . 13)) 6243 0.5695 9.5630 ((1 . 5) (5 . 9) (7 . 11) (8 . 12)) 6268 0.5713 5.1383 ((3 . 9) (5 . 11) (6 . 12) (7 . 13)) 6270 0.5663 12.2276 ((1 . 14) (3 . 16) (5 . 19) (8 . 23)) 6294 0.1663 14.4184 ((3 . 5) (4 . 7) (6 . 12) (8 . 15)) 6329 0.5711 6.0660 ((5 . 2) (6 . 3) (7 . 4) (8 . 6)) 6344 0.1992 13.7163 ((3 . 5) (5 . 9) (7 . 10) (8 . 11)) 6348 0.5704 8.2591 ((1 . 6) (3 . 8) (5 . 10) (6 . 13)) 6369 0.1993 8.4089 ((1 . 21) (3 . 23) (6 . 27) (7 . 28)) 6376 0.2477 12.2314 ((1 . 16) (3 . 18) (4 . 20) (5 . 23)) 6391 0.5711 5.9203 ((3 . 2) (4 . 3) (5 . 4) (8 . 5)) 6392 0.5652 12.8617 ((1 . 8) (3 . 10) (7 . 14) (8 . 16)) 6462 0.5677 11.3162 ((1 . 21) (3 . 23) (5 . 26) (8 . 30)) 6476 0.4916 6.4291 ((4 . 1) (5 . 2) (6 . 6) (7 . 7)) 6498 0.5687 10.4041 ((1 . 15) (5 . 22) (6 . 23) (7 . 26)) 6506 0.5705 7.9301 ((3 . 20) (4 . 21) (7 . 23) (8 . 24)) 6520 0.5712 5.4726 ((4 . 18) (6 . 21) (7 . 22) (8 . 23)) 6536 0.5646 13.1926 ((1 . 23) (4 . 25) (7 . 27) (8 . 28)) 6539 0.2945 9.0452 ((3 . 1) (4 . 3) (6 . 7) (7 . 9)) 6548 0.5521 17.3635 ((3 . 4) (4 . 6) (7 . 10) (8 . 14)) 6585 0.4855 15.5721 ((1 . 4) (3 . 5) (4 . 7) (8 . 12)) 6586 0.4410 16.2619 ((1 . 16) (3 . 17) (4 . 19) (5 . 22)) 6605 0.5688 10.3424 ((1 . 3) (3 . 5) (5 . 6) (6 . 7)) 6622 0.5685 10.6227 ((3 . 4) (4 . 5) (7 . 10) (8 . 11)) 6635 0.5636 13.6575 ((3 . 2) (6 . 6) (7 . 9) (8 . 10)) END