5972 25 0.6606 10.5290 ((1 . 2) (4 . 4) (6 . 6) (8 . 9)) 62 0.2488 9.4265 ((1 . 9) (5 . 15) (6 . 16) (7 . 17)) 91 0.6597 10.9071 ((1 . 27) (5 . 30) (6 . 31) (8 . 32)) 96 0.3879 7.7826 ((1 . 2) (5 . 4) (6 . 6) (7 . 5)) 136 0.6666 3.2674 ((1 . 2) (5 . 6) (6 . 8) (7 . 7)) 147 0.3879 7.5044 ((1 . 5) (4 . 6) (5 . 7) (8 . 8)) 157 0.5276 9.6414 ((1 . 12) (4 . 13) (5 . 15) (6 . 16)) 207 0.2488 8.3471 ((4 . 14) (5 . 16) (6 . 15) (8 . 17)) 315 0.2488 8.1043 ((5 . 2) (6 . 4) (7 . 5) (8 . 7)) 317 0.6639 8.6150 ((1 . 6) (4 . 7) (5 . 9) (8 . 10)) 329 0.4665 7.7481 ((1 . 1) (4 . 3) (6 . 5) (8 . 7)) 350 0.3876 10.2176 ((1 . 9) (5 . 14) (6 . 16) (7 . 17)) 361 0.6661 5.8766 ((1 . 6) (4 . 7) (5 . 8) (8 . 9)) 367 0.6631 9.2203 ((5 . 39) (6 . 40) (7 . 42) (8 . 41)) 433 0.4665 7.6872 ((1 . 2) (5 . 4) (6 . 5) (7 . 6)) 460 0.6660 6.0826 ((1 . 4) (6 . 7) (7 . 8) (8 . 9)) 472 0.6651 7.5214 ((4 . 23) (6 . 25) (7 . 27) (8 . 28)) 495 0.2969 9.6182 ((4 . 6) (6 . 9) (7 . 11) (8 . 10)) 541 0.2970 8.4782 ((1 . 6) (4 . 9) (5 . 10) (6 . 11)) 584 0.1333 8.3575 ((1 . 2) (6 . 7) (7 . 8) (8 . 9)) 609 0.1499 7.9342 ((1 . 2) (5 . 5) (6 . 6) (8 . 7)) 619 0.3879 8.1335 ((1 . 3) (6 . 7) (7 . 8) (8 . 10)) 624 0.6593 11.0654 ((4 . 21) (5 . 23) (7 . 24) (8 . 25)) 672 0.1499 5.0478 ((1 . 19) (6 . 23) (7 . 24) (8 . 25)) 678 0.5269 10.6267 ((1 . 25) (4 . 27) (5 . 28) (6 . 29)) 729 0.4664 8.1706 ((4 . 2) (5 . 3) (7 . 5) (8 . 6)) 767 0.6645 8.1481 ((4 . 27) (6 . 29) (7 . 31) (8 . 33)) 796 0.6657 6.6378 ((1 . 1) (5 . 4) (6 . 5) (7 . 6)) 818 0.6616 10.0785 ((5 . 3) (6 . 2) (7 . 4) (8 . 5)) 819 0.1250 7.2545 ((4 . 1) (6 . 2) (7 . 3) (8 . 4)) 834 0.6664 4.9953 ((1 . 40) (4 . 42) (5 . 43) (8 . 44)) 861 0.2488 7.8673 ((1 . 11) (5 . 14) (6 . 15) (7 . 16)) 901 0.4667 6.3545 ((1 . 10) (5 . 14) (7 . 15) (8 . 16)) 904 0.6666 3.3753 ((1 . 1) (4 . 4) (5 . 5) (7 . 7)) 913 0.1996 7.4067 ((1 . 15) (5 . 18) (7 . 20) (8 . 21)) 937 0.6664 4.6728 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 960 0.3877 9.8600 ((1 . 32) (5 . 34) (7 . 35) (8 . 37)) 1007 0.4655 11.1299 ((1 . 2) (4 . 4) (5 . 5) (8 . 6)) 1008 0.6643 8.2800 ((4 . 1) (5 . 2) (6 . 3) (7 . 5)) 1034 0.6637 8.8266 ((1 . 27) (5 . 31) (6 . 32) (8 . 36)) 1084 0.3877 9.2883 ((1 . 4) (4 . 6) (7 . 11) (8 . 15)) 1195 0.6620 9.8369 ((1 . 1) (4 . 3) (6 . 5) (7 . 6)) 1201 0.6662 5.5540 ((1 . 5) (5 . 8) (6 . 9) (7 . 11)) 1204 0.5274 9.8638 ((1 . 15) (4 . 18) (5 . 19) (6 . 20)) 1211 0.3880 5.7812 ((1 . 6) (4 . 7) (6 . 9) (7 . 10)) 1217 0.3875 10.8241 ((1 . 2) (5 . 8) (6 . 9) (7 . 11)) 1224 0.1665 5.4370 ((4 . 11) (5 . 13) (6 . 14) (7 . 15)) 1268 0.4665 7.6635 ((1 . 15) (4 . 16) (5 . 17) (8 . 18)) 1301 0.6590 11.1866 ((1 . 3) (4 . 6) (5 . 7) (8 . 8)) 1345 0.6542 12.7052 ((1 . 10) (4 . 11) (6 . 14) (7 . 16)) 1388 0.1996 10.3609 ((4 . 6) (5 . 7) (6 . 8) (8 . 11)) 1447 0.6636 8.8545 ((1 . 2) (5 . 4) (6 . 5) (8 . 6)) 1464 0.1250 9.7880 ((5 . 9) (6 . 10) (7 . 13) (8 . 12)) 1472 0.5274 9.9439 ((4 . 3) (5 . 5) (7 . 7) (8 . 9)) 1476 0.2488 6.8947 ((1 . 10) (5 . 13) (7 . 15) (8 . 16)) 1508 0.6663 5.1646 ((1 . 1) (4 . 3) (5 . 4) (7 . 5)) 1513 0.1665 10.1137 ((1 . 1) (5 . 4) (6 . 6) (7 . 8)) 1591 0.3878 8.3166 ((1 . 2) (4 . 3) (7 . 6) (8 . 5)) 1595 0.4409 2.2444 ((1 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8)) 1643 0.6522 13.2131 ((1 . 4) (4 . 5) (6 . 7) (7 . 8)) 1690 0.4663 8.5095 ((1 . 9) (5 . 12) (7 . 14) (8 . 15)) 1747 0.6646 8.0699 ((1 . 22) (4 . 23) (6 . 27) (7 . 28)) 1761 0.6644 8.1728 ((1 . 8) (5 . 10) (6 . 11) (8 . 12)) 1763 0.3878 8.7102 ((4 . 1) (5 . 2) (6 . 3) (8 . 4)) 1776 0.4661 9.6640 ((1 . 8) (5 . 11) (6 . 12) (8 . 13)) 1793 0.3878 9.1263 ((1 . 9) (6 . 13) (7 . 14) (8 . 15)) 1808 0.2488 8.5469 ((1 . 1) (5 . 7) (6 . 8) (7 . 9)) 1894 0.6510 13.4840 ((1 . 6) (5 . 9) (6 . 11) (7 . 12)) 1896 0.3874 11.7527 ((1 . 12) (4 . 13) (5 . 15) (8 . 18)) 1897 0.3877 9.3534 ((1 . 38) (6 . 41) (7 . 43) (8 . 44)) 1908 0.1996 7.7734 ((1 . 6) (4 . 8) (5 . 9) (6 . 10)) 1909 0.1665 7.1993 ((1 . 24) (4 . 26) (6 . 29) (8 . 30)) 1944 0.1665 13.3612 ((4 . 20) (6 . 23) (7 . 24) (8 . 25)) 1961 0.6657 6.5828 ((4 . 12) (5 . 13) (6 . 14) (7 . 15)) 1967 0.5285 7.1039 ((4 . 9) (5 . 12) (6 . 14) (8 . 15)) 2003 0.2488 6.7064 ((4 . 1) (5 . 2) (6 . 4) (7 . 5)) 2048 0.1333 8.1013 ((4 . 14) (5 . 15) (6 . 16) (7 . 17)) 2054 0.1665 7.9861 ((1 . 9) (5 . 12) (6 . 14) (8 . 15)) 2065 0.6617 10.0044 ((1 . 15) (5 . 20) (6 . 22) (7 . 23)) 2067 0.2970 4.6420 ((4 . 56) (5 . 58) (6 . 59) (7 . 60)) 2081 0.3879 7.6490 ((1 . 18) (6 . 21) (7 . 23) (8 . 24)) 2083 0.1996 8.3356 ((4 . 6) (5 . 8) (6 . 7) (8 . 11)) 2117 0.1996 8.0560 ((1 . 21) (5 . 24) (6 . 25) (8 . 26)) 2118 0.5288 5.5265 ((1 . 8) (4 . 9) (5 . 10) (6 . 11)) 2122 0.6652 7.4180 ((1 . 5) (5 . 7) (6 . 8) (8 . 9)) 2166 0.2970 7.0150 ((4 . 10) (6 . 12) (7 . 13) (8 . 14)) 2249 0.6661 5.6991 ((1 . 14) (5 . 19) (6 . 21) (7 . 23)) 2279 0.4667 5.8253 ((1 . 14) (5 . 15) (6 . 19) (7 . 22)) 2298 0.2487 9.8451 ((4 . 9) (5 . 11) (7 . 12) (8 . 13)) 2314 0.6634 8.9796 ((1 . 1) (6 . 7) (7 . 8) (8 . 9)) 2340 0.3880 4.8716 ((1 . 8) (5 . 10) (6 . 11) (7 . 13)) 2344 0.2488 7.5121 ((4 . 15) (5 . 16) (7 . 18) (8 . 19)) 2364 0.6637 8.7816 ((1 . 8) (5 . 10) (6 . 12) (8 . 16)) 2410 0.7260 3.1480 ((1 . 12) (4 . 14) (5 . 15) (6 . 16) (7 . 17)) 2423 0.4663 8.8389 ((1 . 12) (4 . 13) (6 . 14) (7 . 16)) 2447 0.1665 8.8766 ((1 . 16) (4 . 19) (5 . 20) (8 . 26)) 2510 0.4666 6.6033 ((1 . 22) (5 . 26) (6 . 27) (8 . 28)) 2525 0.2969 9.1424 ((1 . 37) (4 . 39) (5 . 42) (6 . 41)) 2529 0.3879 6.9000 ((4 . 2) (5 . 4) (6 . 6) (7 . 5)) 2533 0.6624 9.6340 ((1 . 14) (5 . 17) (6 . 18) (7 . 19)) 2544 0.4409 2.7551 ((1 . 18) (4 . 19) (5 . 21) (6 . 22) (7 . 23)) 2551 0.2488 5.1444 ((4 . 8) (5 . 10) (6 . 11) (7 . 12)) 2552 0.6619 9.9098 ((1 . 2) (4 . 4) (6 . 5) (8 . 7)) 2556 0.6651 7.4789 ((1 . 17) (5 . 21) (6 . 22) (8 . 23)) 2557 0.1996 7.2622 ((1 . 1) (4 . 4) (5 . 5) (7 . 6)) 2627 0.4666 6.6179 ((1 . 59) (5 . 61) (6 . 60) (7 . 65)) 2658 0.2969 11.0726 ((4 . 7) (5 . 8) (7 . 10) (8 . 11)) 2682 0.3872 12.2826 ((1 . 18) (4 . 20) (5 . 21) (8 . 22)) 2703 0.6662 5.3818 ((1 . 3) (4 . 4) (5 . 5) (8 . 6)) 2733 0.3878 8.3774 ((1 . 7) (5 . 9) (6 . 11) (8 . 12)) 2753 0.6604 10.6467 ((1 . 2) (4 . 3) (5 . 4) (8 . 6)) 2804 0.6592 11.1186 ((4 . 26) (5 . 27) (6 . 29) (7 . 31)) 2821 0.4666 7.0911 ((1 . 10) (5 . 12) (6 . 13) (8 . 14)) 2830 0.6584 11.4072 ((1 . 20) (4 . 21) (5 . 22) (6 . 24)) 2840 0.6663 5.3450 ((1 . 2) (4 . 3) (6 . 6) (7 . 9)) 2929 0.2487 9.7093 ((4 . 37) (5 . 38) (6 . 40) (8 . 41)) 2950 0.3878 8.7698 ((1 . 7) (4 . 8) (5 . 10) (8 . 11)) 2966 0.6636 8.8842 ((1 . 2) (5 . 7) (6 . 6) (7 . 8)) 2990 0.6664 4.9874 ((4 . 17) (5 . 18) (6 . 19) (7 . 20)) 2999 0.6666 3.8441 ((1 . 3) (5 . 5) (6 . 6) (7 . 7)) 3014 0.4662 9.1097 ((5 . 6) (6 . 5) (7 . 7) (8 . 8)) 3041 0.1333 8.3230 ((1 . 28) (5 . 31) (6 . 32) (7 . 33)) 3070 0.2660 6.0138 ((1 . 31) (4 . 34) (5 . 37) (6 . 32) (7 . 33)) 3127 0.6627 9.4584 ((5 . 5) (6 . 6) (7 . 8) (8 . 7)) 3176 0.1333 7.4309 ((1 . 23) (6 . 27) (7 . 29) (8 . 30)) 3197 0.6640 8.5215 ((1 . 20) (5 . 22) (6 . 24) (8 . 25)) 3202 0.6616 10.0853 ((1 . 24) (4 . 25) (5 . 27) (8 . 29)) 3261 0.1665 7.4598 ((4 . 5) (6 . 6) (7 . 7) (8 . 10)) 3286 0.1333 6.7958 ((4 . 2) (6 . 4) (7 . 5) (8 . 6)) 3300 0.4667 4.6993 ((4 . 3) (6 . 2) (7 . 4) (8 . 10)) 3322 0.6650 7.5455 ((1 . 2) (5 . 4) (6 . 5) (8 . 6)) 3334 0.4667 6.2014 ((1 . 11) (4 . 12) (5 . 13) (6 . 14)) 3339 0.4665 7.3620 ((1 . 18) (4 . 20) (6 . 21) (7 . 22)) 3358 0.6655 6.9861 ((1 . 3) (5 . 5) (6 . 7) (8 . 9)) 3362 0.6666 3.4660 ((1 . 3) (5 . 9) (6 . 11) (7 . 10)) 3415 0.6658 6.3638 ((1 . 18) (4 . 20) (5 . 21) (8 . 22)) 3418 0.3877 9.7841 ((1 . 1) (4 . 3) (6 . 6) (7 . 7)) 3446 0.6654 7.1536 ((1 . 9) (4 . 10) (5 . 11) (8 . 12)) 3481 0.6650 7.5616 ((4 . 3) (5 . 5) (6 . 4) (7 . 7)) 3495 0.2970 7.4278 ((4 . 5) (5 . 6) (6 . 7) (7 . 8)) 3537 0.2970 7.2866 ((4 . 8) (6 . 9) (7 . 10) (8 . 11)) 3585 0.6473 14.2672 ((1 . 18) (4 . 19) (5 . 21) (8 . 22)) 3626 0.6644 8.1994 ((1 . 1) (4 . 5) (6 . 8) (7 . 11)) 3628 0.6657 6.6369 ((1 . 5) (5 . 7) (6 . 8) (7 . 9)) 3651 0.4656 11.0105 ((1 . 10) (4 . 14) (5 . 15) (8 . 19)) 3656 0.4665 7.5713 ((4 . 20) (5 . 21) (6 . 22) (7 . 23)) 3658 0.4658 10.3333 ((1 . 14) (4 . 16) (6 . 18) (8 . 19)) 3659 0.1499 7.3902 ((4 . 3) (5 . 6) (6 . 7) (7 . 8)) 3661 0.6647 7.9325 ((1 . 14) (4 . 17) (5 . 18) (8 . 22)) 3703 0.1996 7.3306 ((1 . 5) (5 . 10) (6 . 9) (8 . 11)) 3732 0.6666 3.4598 ((1 . 4) (5 . 10) (6 . 12) (7 . 11)) 3778 0.6662 5.6468 ((4 . 8) (5 . 9) (6 . 13) (7 . 12)) 3790 0.6650 7.6098 ((1 . 20) (4 . 23) (6 . 25) (7 . 26)) 3817 0.4665 7.8297 ((1 . 3) (5 . 6) (7 . 7) (8 . 8)) 3818 0.6645 8.1031 ((1 . 24) (5 . 27) (6 . 28) (7 . 29)) 3829 0.6649 7.7267 ((4 . 8) (5 . 10) (7 . 12) (8 . 13)) 3831 0.6666 3.8088 ((5 . 1) (6 . 2) (7 . 3) (8 . 4)) 3849 0.1250 10.1039 ((5 . 4) (6 . 5) (7 . 8) (8 . 7)) 3853 0.6619 9.9347 ((1 . 11) (5 . 13) (6 . 14) (8 . 16)) 3938 0.3877 9.5652 ((1 . 3) (5 . 5) (6 . 8) (7 . 9)) 3942 0.2488 8.2217 ((1 . 4) (4 . 5) (5 . 6) (7 . 9)) 3986 0.6658 6.4253 ((1 . 16) (5 . 20) (6 . 21) (7 . 25)) 3990 0.1996 10.2142 ((1 . 19) (5 . 21) (6 . 23) (7 . 24)) 4005 0.2488 6.4386 ((1 . 28) (4 . 31) (6 . 35) (7 . 36)) 4009 0.3875 11.1565 ((1 . 6) (4 . 8) (5 . 10) (6 . 11)) 4034 0.2970 7.7976 ((4 . 3) (6 . 5) (7 . 6) (8 . 7)) 4062 0.4666 6.8345 ((1 . 45) (5 . 47) (6 . 48) (7 . 49)) 4077 0.2487 12.4603 ((4 . 8) (6 . 10) (7 . 11) (8 . 12)) 4082 0.6629 9.3591 ((1 . 1) (4 . 2) (5 . 3) (7 . 5)) 4115 0.5284 7.5585 ((4 . 16) (5 . 18) (7 . 19) (8 . 20)) 4151 0.2487 10.5829 ((4 . 1) (5 . 2) (7 . 5) (8 . 4)) 4177 0.4666 6.4115 ((4 . 3) (5 . 4) (6 . 1) (8 . 6)) 4190 0.1250 7.3262 ((1 . 6) (4 . 7) (6 . 8) (7 . 9)) 4210 0.1499 6.4474 ((4 . 1) (5 . 3) (6 . 4) (7 . 5)) 4226 0.6654 7.1538 ((1 . 13) (5 . 17) (6 . 18) (7 . 19)) 4242 0.2487 10.0298 ((1 . 2) (4 . 3) (5 . 4) (8 . 6)) 4243 0.6646 7.9992 ((1 . 2) (4 . 3) (5 . 4) (8 . 6)) 4254 0.6476 14.2237 ((1 . 2) (6 . 8) (7 . 9) (8 . 10)) 4257 0.1996 8.9903 ((1 . 2) (5 . 6) (6 . 8) (7 . 9)) 4266 0.6619 9.9284 ((1 . 1) (5 . 3) (6 . 4) (8 . 5)) 4274 0.2488 4.8647 ((1 . 37) (5 . 39) (6 . 40) (7 . 41)) 4275 0.6624 9.6564 ((5 . 24) (6 . 27) (7 . 28) (8 . 29)) 4281 0.2488 8.6859 ((5 . 6) (6 . 5) (7 . 4) (8 . 7)) 4284 0.1499 5.1574 ((1 . 2) (5 . 7) (6 . 8) (7 . 9)) 4299 0.4631 14.5653 ((1 . 13) (4 . 17) (6 . 20) (7 . 22)) 4326 0.4655 11.0961 ((1 . 6) (5 . 8) (7 . 12) (8 . 14)) 4352 0.4658 10.4577 ((1 . 4) (4 . 6) (6 . 9) (8 . 12)) 4380 0.4664 8.4213 ((4 . 27) (5 . 28) (6 . 30) (7 . 31)) 4386 0.1996 8.0488 ((1 . 7) (6 . 9) (7 . 10) (8 . 11)) 4388 0.6666 3.4880 ((1 . 2) (5 . 4) (6 . 5) (7 . 6)) 4398 0.3879 7.8760 ((1 . 2) (5 . 5) (6 . 6) (7 . 7)) 4419 0.2969 9.4122 ((1 . 5) (6 . 10) (7 . 9) (8 . 11)) 4470 0.4666 6.5789 ((5 . 17) (6 . 19) (7 . 20) (8 . 22)) 4502 0.2488 7.9173 ((1 . 3) (5 . 7) (6 . 9) (7 . 10)) 4504 0.3877 9.4511 ((1 . 18) (6 . 22) (7 . 21) (8 . 23)) 4516 0.4662 9.2260 ((4 . 3) (5 . 5) (7 . 8) (8 . 9)) 4538 0.6567 11.9937 ((1 . 27) (4 . 29) (6 . 32) (7 . 33)) 4560 0.6636 8.9005 ((1 . 5) (5 . 7) (6 . 8) (8 . 10)) 4561 0.6652 7.3617 ((1 . 8) (5 . 11) (6 . 14) (7 . 15)) 4562 0.2969 9.1293 ((1 . 21) (4 . 23) (5 . 26) (8 . 28)) 4563 0.6631 9.1809 ((5 . 25) (6 . 26) (7 . 28) (8 . 27)) 4588 0.6666 3.8355 ((1 . 2) (5 . 4) (6 . 7) (7 . 8)) 4589 0.1499 8.0934 ((4 . 24) (5 . 26) (6 . 27) (7 . 30)) 4607 0.6648 7.7836 ((1 . 16) (4 . 17) (5 . 18) (8 . 19)) 4671 0.1665 7.7862 ((4 . 10) (6 . 13) (7 . 14) (8 . 16)) 4674 0.4667 4.7217 ((4 . 3) (5 . 4) (6 . 1) (8 . 5)) 4715 0.1499 7.7304 ((4 . 4) (5 . 5) (6 . 6) (8 . 7)) 4731 0.5261 11.5777 ((4 . 13) (5 . 16) (7 . 18) (8 . 17)) 4764 0.6611 10.3258 ((1 . 5) (4 . 6) (5 . 7) (8 . 9)) 4886 0.6611 10.3293 ((1 . 27) (5 . 28) (6 . 29) (7 . 30)) 4907 0.6653 7.2959 ((1 . 2) (6 . 8) (7 . 9) (8 . 10)) 4914 0.2488 8.7209 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 4932 0.3877 9.9184 ((1 . 3) (6 . 8) (7 . 10) (8 . 9)) 4944 0.2970 7.5419 ((1 . 10) (5 . 12) (6 . 14) (7 . 13)) 4961 0.1996 5.0198 ((1 . 11) (6 . 14) (7 . 15) (8 . 16)) 4982 0.6628 9.3775 ((1 . 11) (5 . 13) (6 . 14) (8 . 15)) 4998 0.5262 11.4915 ((1 . 27) (4 . 28) (5 . 30) (6 . 29)) 5029 0.2488 8.3999 ((1 . 3) (5 . 5) (6 . 6) (8 . 9)) 5053 0.6658 6.4613 ((1 . 7) (4 . 8) (6 . 10) (7 . 11)) 5065 0.6656 6.8309 ((4 . 6) (6 . 10) (7 . 11) (8 . 12)) 5068 0.6647 7.9023 ((1 . 11) (5 . 14) (6 . 15) (7 . 16)) 5069 0.3880 5.8886 ((1 . 1) (5 . 3) (6 . 4) (7 . 5)) 5073 0.6656 6.7183 ((1 . 31) (5 . 33) (6 . 34) (8 . 35)) 5080 0.6643 8.3055 ((1 . 6) (4 . 8) (5 . 9) (8 . 12)) 5092 0.3879 8.1160 ((1 . 2) (4 . 4) (5 . 5) (8 . 7)) 5101 0.5266 10.9784 ((1 . 19) (4 . 20) (5 . 22) (6 . 23)) 5103 0.6568 11.9572 ((4 . 11) (5 . 12) (7 . 13) (8 . 14)) 5121 0.1996 9.6548 ((1 . 13) (4 . 14) (5 . 17) (7 . 18)) 5132 0.4660 9.8211 ((1 . 29) (4 . 33) (5 . 34) (8 . 35)) 5134 0.5279 8.9186 ((4 . 8) (5 . 9) (7 . 10) (8 . 11)) 5145 0.6664 4.8744 ((4 . 4) (5 . 7) (6 . 8) (7 . 10)) 5192 0.6601 10.7777 ((1 . 13) (4 . 15) (5 . 16) (6 . 17)) 5198 0.3879 7.6649 ((1 . 25) (4 . 27) (6 . 32) (7 . 31)) 5212 0.6585 11.3767 ((1 . 10) (4 . 13) (5 . 14) (8 . 15)) 5215 0.6658 6.3595 ((1 . 6) (4 . 8) (6 . 10) (7 . 11)) 5231 0.4667 5.1482 ((4 . 9) (6 . 13) (7 . 14) (8 . 15)) 5266 0.4660 9.8735 ((4 . 11) (5 . 12) (7 . 15) (8 . 16)) 5285 0.4664 8.4561 ((1 . 1) (4 . 2) (5 . 3) (8 . 5)) 5307 0.6665 4.5142 ((5 . 56) (6 . 57) (7 . 58) (8 . 59)) 5323 0.4666 7.1146 ((4 . 8) (6 . 10) (7 . 11) (8 . 12)) 5324 0.6655 6.9002 ((1 . 6) (4 . 8) (5 . 9) (6 . 10)) 5344 0.1665 8.2096 ((5 . 5) (6 . 4) (7 . 7) (8 . 6)) 5368 0.6635 8.9295 ((1 . 40) (4 . 44) (6 . 46) (7 . 47)) 5378 0.6658 6.4863 ((1 . 10) (5 . 13) (6 . 15) (7 . 16)) 5411 0.6660 5.9831 ((1 . 1) (5 . 5) (6 . 6) (7 . 8)) 5442 0.6629 9.3345 ((1 . 32) (4 . 33) (5 . 34) (8 . 36)) 5487 0.6602 10.7204 ((1 . 1) (5 . 5) (6 . 7) (8 . 8)) 5500 0.4655 11.1085 ((4 . 6) (5 . 10) (7 . 12) (8 . 13)) 5501 0.4661 9.4086 ((1 . 21) (4 . 22) (7 . 24) (8 . 26)) 5525 0.2969 9.9630 ((4 . 3) (5 . 5) (7 . 7) (8 . 9)) 5560 0.6645 8.1281 ((1 . 14) (5 . 16) (6 . 17) (8 . 19)) 5594 0.3879 6.8594 ((1 . 7) (5 . 10) (7 . 12) (8 . 13)) 5600 0.6640 8.5590 ((1 . 1) (5 . 4) (6 . 5) (7 . 6)) 5601 0.4665 7.3872 ((1 . 9) (5 . 11) (6 . 12) (7 . 15)) 5648 0.4650 12.0878 ((1 . 1) (4 . 2) (5 . 4) (8 . 5)) 5656 0.3877 9.4635 ((1 . 4) (5 . 6) (7 . 9) (8 . 11)) 5689 0.6617 10.0145 ((1 . 7) (4 . 8) (5 . 9) (8 . 10)) 5702 0.6616 10.0515 ((1 . 7) (4 . 8) (5 . 9) (8 . 10)) 5761 0.1665 12.5415 ((1 . 29) (5 . 33) (7 . 36) (8 . 34)) 5771 0.2488 8.0619 ((1 . 8) (5 . 10) (6 . 13) (7 . 14)) 5782 0.4661 9.4242 ((1 . 28) (4 . 31) (5 . 33) (8 . 36)) 5789 0.4653 11.5823 ((1 . 3) (5 . 4) (7 . 5) (8 . 6)) 5795 0.1665 9.1542 ((1 . 3) (4 . 5) (6 . 6) (7 . 9)) 5809 0.1996 6.6526 ((1 . 10) (6 . 14) (7 . 15) (8 . 16)) 5830 0.1333 10.5345 ((1 . 5) (5 . 9) (6 . 10) (8 . 11)) 5878 0.2487 9.7571 ((1 . 23) (4 . 24) (6 . 29) (7 . 30)) 5896 0.4662 9.3280 ((1 . 27) (4 . 30) (5 . 32) (6 . 31)) 5904 0.2487 11.2809 ((1 . 3) (4 . 5) (5 . 6) (8 . 8)) 5913 0.6604 10.6396 ((1 . 4) (6 . 9) (7 . 10) (8 . 11)) 5939 0.2969 9.0707 ((1 . 5) (4 . 7) (6 . 10) (8 . 12)) 5945 0.6616 10.0605 ((1 . 22) (5 . 25) (6 . 26) (8 . 27)) 5949 0.2487 10.2531 ((1 . 8) (5 . 11) (7 . 14) (8 . 15)) 5955 0.2488 5.3987 ((4 . 12) (5 . 13) (6 . 14) (7 . 16)) 5972 1.0000 0.0000 ((1 . 1) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 5977 0.6664 4.8928 ((1 . 2) (5 . 4) (6 . 5) (7 . 6)) 6000 0.4665 7.6326 ((1 . 27) (5 . 30) (6 . 31) (8 . 32)) 6029 0.4662 9.1399 ((1 . 32) (5 . 34) (6 . 35) (8 . 36)) 6041 0.1996 10.0406 ((1 . 5) (4 . 6) (5 . 9) (7 . 10)) 6061 0.6657 6.6250 ((1 . 16) (5 . 18) (6 . 20) (8 . 22)) 6074 0.2970 7.8304 ((4 . 10) (5 . 12) (7 . 13) (8 . 14)) 6075 0.5286 6.8101 ((4 . 18) (5 . 19) (7 . 21) (8 . 22)) 6079 0.1996 7.0515 ((5 . 19) (6 . 20) (7 . 21) (8 . 22)) 6087 0.3879 7.3564 ((1 . 7) (5 . 9) (6 . 10) (8 . 11)) 6089 0.6631 9.2356 ((4 . 19) (5 . 20) (6 . 21) (8 . 22)) 6099 0.6638 8.7462 ((5 . 12) (6 . 13) (7 . 14) (8 . 15)) 6191 0.6632 9.1222 ((1 . 5) (4 . 7) (6 . 9) (7 . 10)) 6192 0.6640 8.5655 ((1 . 7) (4 . 9) (6 . 11) (7 . 13)) 6225 0.6654 7.0709 ((1 . 1) (4 . 2) (6 . 4) (7 . 5)) 6228 0.6651 7.4454 ((1 . 2) (5 . 4) (6 . 5) (8 . 6)) 6234 0.3879 7.4735 ((4 . 8) (6 . 10) (7 . 13) (8 . 14)) 6238 0.1665 5.5952 ((4 . 2) (6 . 3) (7 . 4) (8 . 6)) 6251 0.6654 7.0569 ((1 . 14) (5 . 18) (6 . 19) (8 . 20)) 6258 0.1665 7.5758 ((5 . 2) (6 . 3) (7 . 4) (8 . 5)) 6261 0.2970 5.6000 ((1 . 15) (4 . 17) (5 . 18) (6 . 19)) 6268 0.6615 10.1159 ((1 . 8) (4 . 9) (5 . 11) (8 . 13)) 6271 0.2969 9.5490 ((1 . 6) (6 . 10) (7 . 11) (8 . 13)) 6294 0.6601 10.7439 ((1 . 21) (5 . 24) (6 . 25) (8 . 26)) 6329 0.6626 9.5374 ((1 . 3) (4 . 4) (5 . 5) (8 . 7)) 6344 0.1499 7.6352 ((1 . 10) (4 . 11) (6 . 14) (7 . 15)) 6348 0.6599 10.8402 ((1 . 3) (4 . 5) (5 . 6) (8 . 8)) 6355 0.1996 9.3043 ((1 . 5) (6 . 11) (7 . 12) (8 . 13)) 6356 0.3879 6.4736 ((1 . 10) (5 . 12) (6 . 13) (8 . 14)) 6376 0.2488 7.6811 ((1 . 20) (5 . 23) (6 . 24) (7 . 26)) 6391 0.6631 9.1911 ((1 . 7) (5 . 9) (6 . 10) (7 . 12)) 6403 0.6659 6.3498 ((1 . 6) (5 . 9) (6 . 10) (7 . 12)) 6462 0.4666 6.7205 ((4 . 1) (6 . 4) (7 . 5) (8 . 7)) 6476 0.4668 3.3423 ((1 . 1) (4 . 5) (5 . 7) (7 . 9)) 6498 0.6587 11.3107 ((1 . 28) (5 . 30) (6 . 31) (8 . 32)) 6520 0.6659 6.2070 ((1 . 11) (4 . 12) (6 . 15) (7 . 16)) 6536 0.6575 11.7289 ((1 . 33) (6 . 36) (7 . 35) (8 . 37)) 6548 0.4664 8.3521 ((1 . 6) (5 . 10) (7 . 12) (8 . 14)) 6555 0.4664 8.0612 ((1 . 9) (4 . 12) (6 . 16) (7 . 15)) 6561 0.1995 15.1287 ((1 . 2) (4 . 4) (5 . 5) (7 . 7)) 6573 0.1996 9.7345 ((1 . 18) (5 . 20) (6 . 22) (7 . 23)) 6584 0.6658 6.5189 ((1 . 4) (6 . 7) (7 . 8) (8 . 10)) 6587 0.1499 7.8759 ((5 . 32) (6 . 34) (7 . 33) (8 . 35)) 6605 0.6637 8.8265 ((1 . 3) (4 . 4) (5 . 5) (8 . 7)) 6635 0.5286 6.5154 ((1 . 3) (4 . 6) (5 . 9) (6 . 7)) END