177 51 0.5549 7.6110 ((1 . 1) (4 . 6) (5 . 7) (8 . 10) (10 . 11)) 62 0.4440 8.8479 ((4 . 10) (8 . 16) (9 . 15) (10 . 17)) 64 0.4444 5.0563 ((5 . 2) (7 . 4) (8 . 6) (10 . 7)) 77 0.4438 9.7960 ((4 . 6) (5 . 7) (7 . 9) (10 . 13)) 91 0.4438 10.1252 ((1 . 16) (3 . 19) (4 . 21) (10 . 28)) 96 0.4443 6.8262 ((3 . 1) (5 . 3) (8 . 5) (10 . 6)) 129 0.4444 5.9842 ((3 . 1) (4 . 2) (5 . 3) (7 . 8)) 136 0.0999 9.2680 ((1 . 3) (4 . 5) (5 . 7) (7 . 8)) 150 0.4443 6.5882 ((4 . 19) (5 . 20) (8 . 23) (10 . 25)) 153 0.6661 5.7544 ((1 . 1) (3 . 5) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 157 0.4442 7.5861 ((5 . 11) (8 . 14) (9 . 15) (10 . 16)) 161 0.0999 7.9091 ((3 . 2) (5 . 4) (8 . 9) (10 . 10)) 162 0.4443 7.2724 ((1 . 15) (4 . 17) (5 . 18) (7 . 22)) 169 0.6653 7.2207 ((1 . 3) (4 . 5) (5 . 7) (7 . 9) (8 . 10) (10 . 11)) 177 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (9 . 9) (10 . 10)) 191 0.4443 6.1673 ((1 . 1) (2 . 2) (8 . 6) (10 . 7)) 198 0.4443 6.6740 ((2 . 7) (3 . 9) (4 . 10) (8 . 17)) 207 0.1331 11.5180 ((1 . 8) (4 . 13) (8 . 18) (9 . 17)) 233 0.6664 4.8458 ((3 . 1) (4 . 2) (5 . 3) (7 . 5) (8 . 7) (10 . 8)) 300 0.4444 5.4120 ((1 . 7) (2 . 8) (4 . 10) (10 . 16)) 305 0.4439 9.6209 ((2 . 9) (7 . 16) (8 . 18) (10 . 19)) 307 0.4444 5.3946 ((5 . 1) (7 . 3) (8 . 7) (10 . 9)) 350 0.5550 7.3259 ((1 . 1) (2 . 2) (4 . 5) (5 . 7) (7 . 10)) 360 0.5545 8.5942 ((3 . 9) (4 . 10) (5 . 12) (7 . 14) (9 . 15)) 365 0.5555 4.2374 ((3 . 1) (4 . 2) (5 . 3) (7 . 6) (8 . 8)) 367 0.6662 5.6449 ((1 . 40) (3 . 42) (4 . 43) (5 . 44) (7 . 47) (8 . 48)) 372 0.4443 7.2069 ((1 . 1) (3 . 5) (4 . 6) (5 . 7)) 387 0.5552 6.5718 ((3 . 7) (4 . 8) (5 . 9) (7 . 11) (8 . 12)) 405 0.6663 5.2882 ((3 . 32) (4 . 33) (5 . 35) (7 . 38) (8 . 39) (10 . 40)) 417 0.4443 6.4833 ((3 . 1) (5 . 3) (8 . 7) (10 . 9)) 420 0.5551 7.0351 ((3 . 3) (4 . 4) (7 . 8) (8 . 9) (10 . 10)) 433 0.4443 6.9272 ((3 . 5) (4 . 6) (5 . 7) (7 . 9)) 442 0.4443 7.0227 ((1 . 1) (4 . 4) (5 . 6) (9 . 11)) 472 0.3516 14.7543 ((1 . 20) (8 . 25) (9 . 28) (10 . 27)) 491 0.4443 6.2613 ((1 . 1) (5 . 6) (8 . 8) (10 . 10)) 495 0.5552 6.4538 ((3 . 3) (4 . 5) (7 . 7) (8 . 8) (10 . 9)) 541 0.4431 11.8948 ((2 . 7) (5 . 11) (7 . 14) (8 . 16)) 543 0.5552 6.6227 ((1 . 2) (3 . 5) (4 . 6) (7 . 8) (8 . 10)) 561 0.4443 6.1502 ((5 . 1) (7 . 3) (8 . 4) (9 . 5)) 584 0.4443 6.5124 ((3 . 3) (4 . 4) (5 . 5) (10 . 10)) 587 0.4443 7.2122 ((1 . 11) (2 . 13) (4 . 14) (5 . 15)) 609 0.4442 7.9663 ((5 . 1) (7 . 3) (9 . 5) (10 . 6)) 619 0.4443 7.1108 ((4 . 6) (5 . 7) (8 . 11) (10 . 12)) 624 0.4442 7.4255 ((1 . 7) (4 . 11) (8 . 15) (10 . 16)) 635 0.4443 6.2531 ((1 . 5) (7 . 13) (8 . 14) (10 . 15)) 672 0.4440 8.8299 ((4 . 18) (5 . 20) (9 . 25) (10 . 26)) 678 0.4441 8.7059 ((3 . 22) (5 . 24) (7 . 26) (9 . 27)) 683 0.2861 10.1444 ((5 . 1) (8 . 5) (9 . 4) (10 . 6)) 719 0.4444 5.9526 ((4 . 25) (5 . 27) (7 . 30) (9 . 31)) 729 0.4442 7.5227 ((1 . 7) (4 . 13) (8 . 17) (10 . 20)) 735 0.5552 6.4146 ((4 . 29) (5 . 31) (7 . 33) (8 . 36) (10 . 37)) 765 0.5552 6.4780 ((1 . 7) (3 . 10) (4 . 12) (7 . 19) (8 . 20)) 767 0.0999 10.0741 ((1 . 3) (4 . 8) (5 . 9) (7 . 13)) 795 0.2861 9.3561 ((1 . 1) (2 . 3) (4 . 5) (5 . 6)) 796 0.4443 6.3350 ((5 . 3) (7 . 5) (8 . 6) (9 . 7)) 801 0.4439 9.6745 ((1 . 2) (3 . 5) (4 . 6) (5 . 7)) 812 0.2441 9.7820 ((1 . 8) (2 . 11) (8 . 16) (9 . 17)) 818 0.4441 8.3434 ((1 . 4) (4 . 10) (8 . 14) (10 . 16)) 819 0.4442 7.7650 ((1 . 3) (7 . 8) (8 . 9) (10 . 10)) 861 0.4442 7.4301 ((1 . 12) (4 . 15) (5 . 16) (7 . 19)) 901 0.2441 11.0075 ((3 . 15) (5 . 17) (8 . 20) (9 . 21)) 904 0.1980 10.3953 ((5 . 2) (8 . 6) (9 . 5) (10 . 7)) 913 0.4443 6.8985 ((3 . 16) (4 . 17) (7 . 20) (9 . 21)) 928 0.4443 7.1932 ((2 . 14) (4 . 16) (5 . 18) (8 . 21)) 937 0.4443 6.3815 ((5 . 1) (7 . 4) (8 . 5) (9 . 6)) 943 0.4443 7.0064 ((1 . 6) (4 . 9) (8 . 14) (10 . 15)) 945 0.2861 9.9876 ((1 . 17) (2 . 19) (5 . 22) (9 . 24)) 949 0.4440 9.0036 ((1 . 27) (4 . 30) (5 . 32) (9 . 36)) 960 0.2862 6.6661 ((1 . 9) (4 . 12) (8 . 19) (9 . 20)) 978 0.4442 7.6001 ((1 . 6) (4 . 10) (8 . 13) (9 . 15)) 980 0.4441 8.3528 ((5 . 1) (8 . 3) (9 . 4) (10 . 5)) 1007 0.4443 7.3404 ((1 . 8) (2 . 9) (3 . 11) (5 . 13)) 1008 0.5551 7.0117 ((1 . 3) (2 . 5) (4 . 8) (7 . 13) (8 . 15)) 1043 0.3525 7.3026 ((1 . 6) (4 . 10) (7 . 14) (9 . 15)) 1082 0.4443 6.7869 ((1 . 4) (2 . 6) (5 . 8) (8 . 12)) 1084 0.4435 11.0279 ((2 . 8) (4 . 10) (5 . 12) (8 . 17)) 1165 0.4444 5.2569 ((4 . 2) (5 . 3) (8 . 7) (9 . 9)) 1167 0.4435 10.9258 ((2 . 20) (4 . 22) (8 . 27) (9 . 26)) 1169 0.4442 7.9436 ((4 . 29) (5 . 30) (8 . 35) (10 . 37)) 1195 0.4443 7.3409 ((1 . 2) (3 . 4) (4 . 5) (5 . 6)) 1201 0.4444 6.0492 ((2 . 4) (5 . 7) (7 . 9) (8 . 11)) 1204 0.4440 8.8833 ((5 . 1) (8 . 3) (9 . 4) (10 . 5)) 1211 0.4443 7.2921 ((1 . 4) (7 . 10) (8 . 11) (10 . 14)) 1217 0.4444 5.4543 ((4 . 3) (5 . 5) (7 . 9) (8 . 11)) 1224 0.5547 7.9966 ((1 . 3) (3 . 5) (7 . 7) (8 . 9) (10 . 10)) 1233 0.4443 6.9525 ((3 . 11) (5 . 14) (7 . 17) (10 . 20)) 1267 0.4444 6.0248 ((3 . 13) (5 . 15) (7 . 17) (10 . 19)) 1294 0.4443 6.4524 ((1 . 43) (2 . 44) (4 . 46) (5 . 47)) 1324 0.4442 8.0741 ((3 . 1) (4 . 2) (5 . 3) (7 . 5)) 1345 0.4444 5.3152 ((5 . 9) (7 . 12) (8 . 13) (10 . 14)) 1366 0.4443 6.9681 ((5 . 12) (7 . 14) (8 . 15) (10 . 16)) 1388 0.4439 9.4592 ((1 . 1) (4 . 4) (5 . 5) (9 . 11)) 1410 0.4444 5.0940 ((4 . 21) (5 . 22) (7 . 25) (8 . 26)) 1425 0.4443 6.6990 ((5 . 4) (7 . 8) (8 . 10) (10 . 11)) 1435 0.4443 6.2980 ((4 . 2) (5 . 3) (8 . 5) (10 . 6)) 1447 0.1980 9.4537 ((5 . 3) (8 . 5) (9 . 6) (10 . 7)) 1451 0.4444 5.9001 ((1 . 1) (4 . 5) (8 . 9) (10 . 10)) 1464 0.4444 3.9022 ((4 . 7) (5 . 10) (8 . 13) (10 . 14)) 1476 0.4438 9.7534 ((1 . 11) (4 . 14) (9 . 19) (10 . 20)) 1481 0.3933 10.3415 ((1 . 1) (2 . 2) (5 . 4) (9 . 9)) 1501 0.2861 9.9079 ((1 . 2) (3 . 5) (4 . 6) (5 . 7)) 1513 0.4443 7.0526 ((5 . 11) (7 . 13) (9 . 14) (10 . 15)) 1514 0.4444 5.4879 ((5 . 1) (7 . 3) (8 . 4) (9 . 5)) 1577 0.4440 9.1217 ((3 . 5) (4 . 6) (7 . 10) (10 . 12)) 1591 0.3525 7.9521 ((1 . 6) (5 . 8) (8 . 11) (9 . 12)) 1604 0.3525 8.9632 ((1 . 7) (3 . 10) (5 . 12) (9 . 14)) 1622 0.1495 9.1469 ((5 . 18) (7 . 20) (9 . 21) (10 . 22)) 1624 0.4443 7.1144 ((3 . 3) (4 . 4) (7 . 9) (9 . 11)) 1643 0.5552 6.5587 ((1 . 20) (5 . 27) (7 . 31) (8 . 32) (10 . 33)) 1644 0.4444 2.4364 ((3 . 46) (4 . 47) (5 . 48) (10 . 52)) 1665 0.2861 11.5355 ((3 . 4) (5 . 6) (9 . 9) (10 . 10)) 1690 0.4439 9.7023 ((1 . 1) (4 . 8) (8 . 13) (9 . 15)) 1692 0.4441 8.3313 ((1 . 1) (5 . 5) (8 . 8) (10 . 9)) 1731 0.4441 8.3400 ((1 . 6) (4 . 8) (8 . 12) (10 . 13)) 1736 0.4443 6.1907 ((3 . 1) (5 . 3) (7 . 5) (10 . 7)) 1738 0.4441 8.3343 ((3 . 6) (7 . 11) (8 . 13) (10 . 14)) 1747 0.5550 7.3850 ((1 . 44) (2 . 45) (3 . 47) (4 . 48) (7 . 52)) 1756 0.4443 6.5021 ((3 . 21) (4 . 22) (5 . 24) (8 . 29)) 1759 0.5542 9.0354 ((1 . 1) (2 . 2) (4 . 4) (7 . 8) (8 . 9)) 1761 0.4443 6.2405 ((4 . 1) (5 . 2) (7 . 5) (9 . 6)) 1763 0.4444 5.2704 ((3 . 7) (4 . 9) (5 . 10) (8 . 13)) 1776 0.4443 6.9324 ((1 . 12) (4 . 14) (5 . 15) (7 . 20)) 1777 0.4438 10.0241 ((1 . 42) (3 . 47) (4 . 49) (5 . 50)) 1778 0.4440 9.0570 ((3 . 2) (4 . 3) (5 . 4) (8 . 8)) 1793 0.4440 9.0039 ((1 . 4) (4 . 6) (8 . 10) (10 . 11)) 1805 0.4444 5.4526 ((2 . 10) (4 . 11) (7 . 12) (8 . 14)) 1808 0.4444 5.1755 ((4 . 5) (5 . 6) (7 . 9) (8 . 10)) 1817 0.4441 8.6043 ((4 . 14) (5 . 16) (8 . 20) (9 . 21)) 1867 0.4834 9.0784 ((5 . 1) (7 . 3) (8 . 6) (9 . 4) (10 . 7)) 1894 0.4444 5.3171 ((3 . 20) (4 . 21) (5 . 22) (7 . 25)) 1896 0.4442 7.6433 ((4 . 22) (7 . 26) (8 . 27) (9 . 28)) 1897 0.3525 7.5728 ((4 . 39) (5 . 40) (9 . 45) (10 . 46)) 1908 0.1980 8.9573 ((3 . 7) (7 . 15) (9 . 16) (10 . 17)) 1909 0.4443 7.1922 ((3 . 25) (5 . 29) (8 . 31) (10 . 34)) 1913 0.4443 6.3224 ((1 . 19) (3 . 21) (4 . 22) (8 . 28)) 1944 0.4437 10.2767 ((3 . 7) (5 . 9) (7 . 13) (10 . 16)) 1957 0.4441 8.5657 ((3 . 3) (5 . 5) (7 . 7) (10 . 9)) 1961 0.4442 7.9001 ((1 . 15) (2 . 16) (5 . 19) (8 . 20)) 1967 0.4443 7.1192 ((1 . 3) (4 . 7) (8 . 10) (9 . 11)) 1972 0.4433 11.5867 ((1 . 16) (2 . 18) (4 . 20) (10 . 27)) 1992 0.4438 9.9931 ((3 . 1) (4 . 2) (5 . 3) (10 . 9)) 1995 0.4443 6.5130 ((1 . 3) (3 . 7) (4 . 8) (5 . 9)) 2003 0.4443 6.4185 ((2 . 7) (3 . 8) (4 . 9) (5 . 10)) 2006 0.5546 8.1951 ((1 . 4) (4 . 7) (5 . 8) (8 . 11) (10 . 12)) 2048 0.1980 9.8242 ((3 . 4) (5 . 6) (9 . 12) (10 . 13)) 2063 0.4444 5.3432 ((3 . 43) (4 . 44) (5 . 45) (7 . 50)) 2065 0.4444 6.1172 ((3 . 16) (4 . 17) (5 . 18) (7 . 28)) 2067 0.4439 9.3413 ((2 . 55) (4 . 59) (5 . 60) (8 . 63)) 2072 0.4444 5.2179 ((3 . 5) (4 . 6) (5 . 7) (9 . 9)) 2081 0.2862 8.0608 ((4 . 19) (5 . 20) (8 . 23) (9 . 24)) 2083 0.4441 8.2568 ((4 . 1) (5 . 2) (7 . 4) (10 . 7)) 2097 0.4443 6.3887 ((1 . 4) (8 . 14) (9 . 15) (10 . 16)) 2114 0.4443 6.8138 ((3 . 28) (4 . 29) (5 . 32) (8 . 36)) 2116 0.5554 5.5358 ((4 . 6) (5 . 7) (7 . 10) (8 . 11) (10 . 12)) 2117 0.5538 9.6999 ((3 . 9) (5 . 12) (7 . 14) (8 . 16) (10 . 17)) 2118 0.4430 12.2186 ((1 . 5) (4 . 7) (9 . 10) (10 . 12)) 2122 0.4440 9.1221 ((1 . 1) (4 . 6) (8 . 10) (9 . 11)) 2166 0.4443 6.1659 ((3 . 15) (4 . 16) (5 . 17) (8 . 21)) 2179 0.4443 6.9855 ((4 . 6) (5 . 7) (7 . 10) (10 . 13)) 2196 0.5552 6.5759 ((1 . 10) (3 . 13) (4 . 14) (5 . 15) (8 . 18)) 2205 0.8886 3.5179 ((1 . 13) (2 . 15) (3 . 16) (4 . 17) (5 . 18) (7 . 22) (8 . 23) (10 . 26)) 2209 0.4440 8.7968 ((3 . 3) (5 . 5) (7 . 7) (10 . 9)) 2243 0.4444 5.8295 ((3 . 44) (4 . 45) (7 . 47) (10 . 51)) 2244 0.5548 7.7376 ((3 . 74) (5 . 76) (7 . 78) (8 . 79) (10 . 80)) 2248 0.4440 9.3039 ((4 . 22) (8 . 27) (9 . 26) (10 . 28)) 2249 0.4443 6.6416 ((3 . 4) (5 . 7) (9 . 10) (10 . 11)) 2269 0.4443 6.6771 ((4 . 6) (5 . 7) (8 . 10) (9 . 13)) 2279 0.4442 7.7074 ((1 . 10) (2 . 11) (5 . 19) (8 . 22)) 2298 0.4441 8.5825 ((5 . 10) (7 . 12) (9 . 14) (10 . 15)) 2308 0.4442 7.5137 ((1 . 4) (2 . 5) (8 . 11) (9 . 12)) 2314 0.4439 9.6491 ((4 . 2) (5 . 3) (7 . 4) (10 . 8)) 2340 0.4443 6.2147 ((5 . 9) (8 . 13) (9 . 12) (10 . 14)) 2344 0.4444 5.8836 ((3 . 11) (4 . 13) (5 . 14) (8 . 18)) 2364 0.4443 6.4619 ((3 . 7) (5 . 9) (7 . 12) (10 . 15)) 2389 0.4442 7.6390 ((1 . 3) (4 . 6) (8 . 10) (10 . 11)) 2408 0.5555 4.7500 ((3 . 39) (4 . 40) (5 . 41) (7 . 45) (8 . 46)) 2409 0.4442 7.5752 ((5 . 2) (7 . 4) (8 . 5) (10 . 6)) 2422 0.4437 10.4140 ((1 . 4) (2 . 7) (3 . 8) (4 . 9)) 2423 0.4443 6.3909 ((4 . 16) (7 . 19) (8 . 20) (10 . 21)) 2440 0.2861 8.2981 ((1 . 4) (3 . 6) (4 . 7) (5 . 8)) 2447 0.4443 6.8304 ((1 . 13) (4 . 15) (8 . 21) (9 . 22)) 2462 0.4443 6.6328 ((3 . 6) (4 . 7) (8 . 11) (10 . 12)) 2510 0.4442 7.9423 ((1 . 3) (4 . 5) (8 . 7) (9 . 8)) 2525 0.4442 8.1055 ((5 . 41) (8 . 43) (9 . 44) (10 . 45)) 2529 0.4444 5.1518 ((5 . 1) (7 . 3) (8 . 5) (10 . 6)) 2533 0.4443 6.5786 ((4 . 4) (5 . 6) (7 . 8) (10 . 9)) 2556 0.4443 6.2939 ((3 . 11) (5 . 13) (7 . 16) (10 . 20)) 2557 0.2861 8.7767 ((4 . 3) (7 . 6) (8 . 7) (9 . 8)) 2561 0.4443 6.5772 ((1 . 1) (7 . 7) (8 . 8) (10 . 9)) 2595 0.4443 6.8512 ((3 . 1) (5 . 4) (8 . 6) (10 . 9)) 2619 0.1980 8.3828 ((1 . 2) (2 . 3) (4 . 5) (7 . 7)) 2650 0.4441 8.3914 ((1 . 1) (2 . 2) (5 . 5) (8 . 8)) 2675 0.4443 7.0272 ((5 . 7) (7 . 10) (8 . 11) (10 . 12)) 2682 0.4442 7.9213 ((4 . 7) (7 . 11) (8 . 12) (10 . 13)) 2696 0.5555 4.1957 ((4 . 31) (5 . 32) (7 . 35) (8 . 36) (10 . 38)) 2731 0.2861 8.5941 ((7 . 1) (8 . 4) (9 . 3) (10 . 5)) 2733 0.4442 7.7669 ((1 . 1) (4 . 4) (8 . 8) (9 . 9)) 2755 0.4441 8.2768 ((2 . 5) (5 . 8) (7 . 10) (10 . 12)) 2773 0.4442 7.9784 ((5 . 2) (8 . 5) (9 . 4) (10 . 6)) 2783 0.4444 5.9066 ((3 . 6) (4 . 7) (5 . 8) (7 . 12)) 2804 0.3523 11.0297 ((2 . 29) (4 . 31) (5 . 34) (9 . 37)) 2821 0.4442 7.3810 ((3 . 1) (4 . 2) (5 . 3) (10 . 11)) 2830 0.4443 6.8797 ((5 . 15) (7 . 17) (9 . 18) (10 . 19)) 2834 0.4437 10.3420 ((1 . 1) (4 . 6) (7 . 9) (9 . 10)) 2840 0.7774 4.3367 ((1 . 1) (4 . 5) (5 . 6) (7 . 8) (8 . 9) (9 . 10) (10 . 11)) 2879 0.4443 6.7007 ((3 . 54) (4 . 56) (5 . 57) (7 . 59)) 2886 0.5554 5.5617 ((1 . 30) (4 . 37) (5 . 38) (7 . 41) (8 . 43)) 2929 0.4443 6.5945 ((5 . 36) (7 . 39) (8 . 40) (9 . 41)) 2940 0.4441 8.4520 ((3 . 1) (7 . 4) (8 . 5) (10 . 6)) 2947 0.4443 6.5928 ((4 . 2) (5 . 3) (8 . 6) (10 . 7)) 2966 0.5548 7.8960 ((1 . 1) (4 . 4) (5 . 6) (7 . 9) (10 . 12)) 2990 0.4443 6.8616 ((4 . 9) (5 . 12) (8 . 15) (10 . 16)) 2999 0.4443 6.7739 ((3 . 2) (5 . 4) (7 . 6) (8 . 7)) 3014 0.1980 6.9462 ((7 . 4) (8 . 5) (9 . 6) (10 . 7)) 3019 0.4440 8.8316 ((4 . 19) (5 . 20) (7 . 22) (9 . 24)) 3034 0.1980 8.1943 ((5 . 1) (7 . 5) (9 . 6) (10 . 7)) 3041 0.4444 6.0616 ((5 . 30) (7 . 32) (8 . 33) (9 . 34)) 3055 0.4444 5.8529 ((1 . 17) (4 . 21) (5 . 23) (8 . 27)) 3063 0.4443 6.5272 ((1 . 35) (3 . 37) (4 . 38) (5 . 39)) 3070 0.4441 8.2325 ((5 . 32) (7 . 33) (8 . 35) (10 . 36)) 3084 0.4441 8.5874 ((3 . 5) (5 . 7) (7 . 9) (10 . 11)) 3102 0.4442 7.6691 ((5 . 57) (7 . 59) (8 . 60) (10 . 62)) 3103 0.8886 3.4760 ((1 . 1) (3 . 2) (4 . 3) (5 . 5) (7 . 9) (8 . 11) (9 . 12) (10 . 13)) 3114 0.4442 7.5484 ((5 . 22) (7 . 24) (8 . 25) (9 . 27)) 3120 0.2861 8.6688 ((7 . 21) (8 . 22) (9 . 23) (10 . 25)) 3127 0.4442 8.0834 ((3 . 2) (4 . 8) (8 . 11) (10 . 13)) 3147 0.5550 7.3193 ((1 . 12) (2 . 13) (4 . 17) (5 . 18) (7 . 20)) 3176 0.1980 13.8404 ((2 . 26) (3 . 27) (4 . 29) (9 . 32)) 3187 0.5548 7.7166 ((2 . 1) (5 . 3) (7 . 5) (8 . 6) (10 . 7)) 3190 0.4441 8.5722 ((1 . 1) (4 . 3) (8 . 9) (10 . 11)) 3197 0.4443 6.2260 ((1 . 19) (4 . 21) (8 . 26) (9 . 27)) 3200 0.4443 6.1749 ((4 . 4) (5 . 6) (8 . 9) (10 . 11)) 3212 0.4444 6.1221 ((4 . 2) (5 . 3) (9 . 7) (10 . 9)) 3222 0.4438 9.9723 ((1 . 4) (3 . 6) (4 . 7) (10 . 15)) 3256 0.9999 2.4945 ((1 . 13) (2 . 16) (3 . 18) (4 . 19) (5 . 20) (7 . 25) (8 . 26) (9 . 27) (10 . 28)) 3261 0.4443 7.1193 ((1 . 1) (2 . 2) (8 . 7) (10 . 8)) 3286 0.4442 7.4280 ((5 . 3) (7 . 5) (9 . 6) (10 . 7)) 3297 0.5546 8.2117 ((1 . 5) (2 . 7) (4 . 8) (5 . 9) (8 . 11)) 3300 0.4442 7.6050 ((4 . 1) (5 . 2) (7 . 5) (9 . 9)) 3322 0.1980 8.3254 ((5 . 1) (7 . 5) (9 . 6) (10 . 7)) 3334 0.4441 8.3702 ((1 . 1) (3 . 4) (5 . 6) (8 . 10)) 3339 0.5545 8.4773 ((3 . 17) (5 . 19) (7 . 21) (8 . 22) (9 . 23)) 3344 0.5544 8.7779 ((2 . 18) (4 . 20) (5 . 21) (8 . 24) (10 . 26)) 3358 0.4439 9.4958 ((2 . 2) (5 . 4) (7 . 8) (10 . 10)) 3362 0.4443 6.5117 ((3 . 4) (5 . 6) (8 . 10) (10 . 11)) 3366 0.4444 5.7041 ((1 . 22) (4 . 26) (5 . 27) (7 . 29)) 3391 0.4439 9.4895 ((4 . 4) (5 . 6) (8 . 8) (10 . 10)) 3410 0.4444 4.7780 ((5 . 21) (7 . 24) (9 . 27) (10 . 28)) 3418 0.4442 7.7924 ((1 . 2) (3 . 5) (4 . 6) (5 . 7)) 3472 0.4443 6.4618 ((3 . 2) (4 . 3) (5 . 4) (10 . 11)) 3481 0.4441 8.4183 ((2 . 1) (3 . 2) (5 . 4) (10 . 10)) 3489 0.7770 5.2083 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (7 . 10) (8 . 12) (10 . 14)) 3495 0.4439 9.5545 ((1 . 7) (2 . 8) (9 . 14) (10 . 16)) 3496 0.4440 8.9189 ((1 . 22) (2 . 23) (9 . 28) (10 . 29)) 3533 0.4439 9.5609 ((4 . 1) (5 . 3) (8 . 7) (10 . 10)) 3537 0.4439 9.7105 ((3 . 2) (7 . 7) (9 . 8) (10 . 9)) 3538 0.4442 8.0103 ((1 . 20) (5 . 23) (8 . 26) (9 . 27)) 3548 0.4442 8.0480 ((5 . 3) (7 . 5) (8 . 6) (10 . 8)) 3549 0.2861 8.0833 ((1 . 1) (3 . 2) (5 . 5) (8 . 8)) 3561 0.4443 6.3565 ((2 . 19) (3 . 20) (5 . 22) (10 . 28)) 3570 0.4443 7.0721 ((2 . 4) (4 . 7) (5 . 8) (7 . 10)) 3585 0.4443 7.3150 ((3 . 6) (5 . 8) (8 . 13) (10 . 14)) 3613 0.4425 13.1255 ((2 . 36) (4 . 40) (5 . 41) (9 . 43)) 3625 0.4444 5.8595 ((5 . 1) (7 . 3) (8 . 5) (10 . 6)) 3626 0.4442 8.0611 ((1 . 2) (2 . 3) (4 . 6) (5 . 8)) 3628 0.4439 9.6439 ((3 . 8) (5 . 10) (7 . 12) (10 . 14)) 3651 0.4443 6.8763 ((3 . 1) (5 . 3) (7 . 5) (10 . 8)) 3658 0.4442 7.7474 ((1 . 1) (4 . 5) (5 . 6) (7 . 8)) 3661 0.4442 7.7388 ((1 . 7) (2 . 8) (4 . 11) (5 . 12)) 3688 0.4441 8.5195 ((1 . 1) (2 . 2) (3 . 3) (7 . 11)) 3697 0.4434 11.3319 ((2 . 1) (7 . 6) (8 . 7) (9 . 8)) 3703 0.4442 7.4895 ((1 . 1) (2 . 2) (8 . 7) (10 . 8)) 3732 0.4443 6.5959 ((3 . 5) (5 . 7) (8 . 11) (10 . 12)) 3733 0.4441 8.5156 ((3 . 1) (5 . 3) (7 . 6) (10 . 8)) 3740 0.4444 6.1344 ((4 . 1) (5 . 2) (8 . 5) (10 . 6)) 3741 0.4444 5.7834 ((4 . 22) (7 . 25) (8 . 26) (10 . 27)) 3776 0.1980 6.7986 ((3 . 15) (5 . 17) (8 . 21) (10 . 24)) 3778 0.4443 6.6319 ((4 . 2) (5 . 3) (8 . 6) (10 . 7)) 3787 0.5545 8.4869 ((1 . 27) (4 . 29) (7 . 31) (8 . 33) (10 . 35)) 3790 0.5552 6.6730 ((1 . 18) (5 . 22) (7 . 25) (8 . 26) (10 . 27)) 3807 0.4442 7.6245 ((1 . 43) (3 . 46) (4 . 47) (8 . 50)) 3810 0.4838 6.9840 ((1 . 4) (2 . 6) (4 . 9) (5 . 10) (10 . 16)) 3817 0.4443 6.5756 ((2 . 1) (5 . 5) (7 . 7) (10 . 9)) 3818 0.1980 8.3231 ((3 . 20) (5 . 23) (9 . 27) (10 . 28)) 3831 0.5534 10.2306 ((1 . 2) (2 . 3) (5 . 5) (8 . 9) (9 . 11)) 3849 0.2861 8.1302 ((3 . 1) (4 . 2) (5 . 3) (9 . 7)) 3856 0.4441 8.6485 ((4 . 3) (7 . 7) (8 . 9) (10 . 10)) 3870 0.2861 8.5160 ((1 . 3) (3 . 5) (7 . 8) (9 . 11)) 3933 0.4443 7.0360 ((2 . 8) (4 . 11) (5 . 13) (8 . 18)) 3938 0.4439 9.3226 ((3 . 2) (7 . 8) (8 . 9) (9 . 12)) 3942 0.2441 7.6576 ((5 . 2) (7 . 3) (9 . 8) (10 . 9)) 3968 0.4442 8.0678 ((3 . 5) (5 . 9) (7 . 11) (9 . 12)) 3986 0.4431 11.8832 ((1 . 4) (7 . 13) (8 . 15) (9 . 16)) 3990 0.4437 10.1516 ((2 . 16) (3 . 18) (5 . 20) (7 . 22)) 4005 0.4444 5.8378 ((2 . 23) (4 . 25) (8 . 32) (10 . 33)) 4009 0.1658 10.3663 ((1 . 12) (7 . 19) (9 . 20) (10 . 22)) 4019 0.5552 6.6539 ((3 . 42) (4 . 43) (5 . 44) (8 . 46) (10 . 47)) 4034 0.5531 10.5519 ((1 . 6) (4 . 9) (5 . 10) (7 . 13) (10 . 15)) 4067 0.4441 8.5933 ((3 . 14) (5 . 16) (7 . 20) (10 . 22)) 4082 0.4440 8.9840 ((5 . 5) (7 . 7) (8 . 8) (10 . 10)) 4087 0.4442 7.7769 ((4 . 3) (5 . 5) (7 . 7) (9 . 9)) 4115 0.4440 8.8105 ((3 . 1) (5 . 5) (7 . 8) (10 . 10)) 4140 0.4438 9.8958 ((1 . 21) (2 . 22) (4 . 23) (9 . 27)) 4151 0.4443 7.1967 ((4 . 5) (5 . 7) (8 . 9) (10 . 12)) 4154 0.4442 7.7177 ((5 . 51) (7 . 53) (8 . 54) (10 . 56)) 4177 0.2861 9.0399 ((1 . 1) (2 . 2) (5 . 7) (8 . 9)) 4190 0.4443 7.3265 ((1 . 1) (3 . 3) (8 . 8) (10 . 9)) 4192 0.2441 8.6366 ((1 . 10) (3 . 13) (8 . 19) (9 . 20)) 4194 0.4443 6.7663 ((3 . 1) (7 . 5) (8 . 6) (10 . 7)) 4204 0.5551 6.9541 ((3 . 3) (4 . 5) (7 . 7) (8 . 9) (10 . 11)) 4209 0.4439 9.5104 ((1 . 1) (4 . 4) (7 . 8) (9 . 11)) 4226 0.5542 8.9903 ((3 . 1) (5 . 4) (7 . 6) (8 . 8) (10 . 9)) 4232 0.4444 4.9320 ((4 . 1) (7 . 2) (8 . 3) (10 . 5)) 4246 0.4439 9.5089 ((1 . 2) (2 . 3) (3 . 5) (7 . 11)) 4254 0.4442 7.6516 ((4 . 1) (8 . 6) (9 . 7) (10 . 8)) 4255 0.4443 6.7486 ((5 . 21) (7 . 23) (8 . 24) (9 . 25)) 4265 0.2862 7.0560 ((1 . 21) (2 . 23) (5 . 24) (9 . 25)) 4266 0.4442 8.0208 ((3 . 6) (5 . 8) (8 . 11) (10 . 12)) 4274 0.0999 9.8827 ((5 . 36) (7 . 38) (8 . 40) (10 . 41)) 4275 0.4443 7.1874 ((3 . 21) (7 . 25) (8 . 27) (10 . 28)) 4281 0.4443 6.5676 ((5 . 3) (7 . 5) (9 . 7) (10 . 8)) 4284 0.4442 7.5469 ((5 . 1) (7 . 3) (8 . 4) (10 . 5)) 4299 0.4443 7.1639 ((2 . 11) (7 . 16) (8 . 19) (10 . 20)) 4301 0.6655 6.8824 ((3 . 2) (4 . 3) (5 . 4) (7 . 8) (8 . 9) (10 . 10)) 4326 0.4426 13.0345 ((5 . 7) (7 . 10) (8 . 12) (10 . 15)) 4332 0.4444 6.0940 ((5 . 4) (7 . 6) (9 . 8) (10 . 9)) 4338 0.5540 9.3184 ((1 . 4) (4 . 6) (5 . 7) (8 . 8) (10 . 11)) 4359 0.5541 9.2204 ((1 . 14) (4 . 18) (5 . 19) (7 . 21) (8 . 22)) 4380 0.4439 9.7005 ((1 . 14) (2 . 15) (4 . 17) (5 . 18)) 4383 0.5549 7.6666 ((1 . 14) (2 . 15) (4 . 16) (5 . 17) (7 . 19)) 4386 0.4442 7.5318 ((1 . 16) (3 . 18) (4 . 19) (5 . 21)) 4388 0.5541 9.2536 ((3 . 5) (4 . 6) (5 . 8) (7 . 10) (10 . 12)) 4398 0.4441 8.5299 ((3 . 1) (5 . 4) (7 . 6) (10 . 8)) 4405 0.4443 7.3371 ((5 . 14) (7 . 18) (8 . 19) (9 . 20)) 4408 0.4442 7.5981 ((4 . 1) (5 . 3) (8 . 6) (10 . 7)) 4415 0.3525 8.9437 ((1 . 1) (3 . 3) (8 . 9) (9 . 10)) 4419 0.4439 9.6466 ((5 . 3) (7 . 7) (8 . 8) (10 . 9)) 4470 0.4443 6.5534 ((3 . 19) (4 . 20) (9 . 24) (10 . 25)) 4491 0.4443 6.6462 ((5 . 1) (7 . 5) (8 . 6) (9 . 7)) 4492 0.4443 6.1678 ((4 . 2) (5 . 3) (7 . 8) (9 . 9)) 4495 0.1980 10.0715 ((3 . 16) (7 . 18) (9 . 20) (10 . 21)) 4497 0.5553 6.0619 ((2 . 23) (4 . 24) (5 . 25) (7 . 27) (8 . 28)) 4502 0.4443 7.2998 ((3 . 9) (4 . 10) (5 . 11) (7 . 14)) 4503 0.4444 4.5107 ((3 . 3) (4 . 4) (7 . 9) (8 . 10)) 4504 0.4443 6.2274 ((2 . 19) (3 . 20) (4 . 21) (5 . 22)) 4505 0.4443 7.3640 ((3 . 25) (4 . 26) (8 . 30) (9 . 31)) 4516 0.4440 8.9937 ((3 . 14) (5 . 16) (7 . 18) (8 . 20)) 4538 0.4441 8.7236 ((3 . 31) (4 . 32) (7 . 38) (9 . 39)) 4551 0.4439 9.3642 ((3 . 1) (4 . 2) (5 . 4) (7 . 8)) 4560 0.4437 10.4177 ((2 . 2) (5 . 6) (7 . 8) (10 . 11)) 4561 0.4442 7.5473 ((1 . 1) (4 . 5) (8 . 9) (9 . 11)) 4562 0.4441 8.4141 ((3 . 19) (5 . 22) (7 . 25) (10 . 27)) 4563 0.4442 8.1252 ((1 . 28) (4 . 31) (8 . 34) (10 . 35)) 4577 0.4442 7.9503 ((1 . 39) (4 . 42) (5 . 43) (8 . 48)) 4588 0.4443 6.2388 ((3 . 1) (5 . 3) (8 . 8) (10 . 9)) 4589 0.4442 8.0443 ((1 . 18) (4 . 22) (5 . 23) (10 . 29)) 4621 0.5553 5.9051 ((3 . 3) (4 . 4) (8 . 9) (9 . 10) (10 . 11)) 4630 0.5551 6.8942 ((1 . 3) (3 . 5) (4 . 6) (8 . 12) (10 . 14)) 4648 0.1331 6.0864 ((5 . 1) (8 . 5) (9 . 7) (10 . 8)) 4653 0.4441 8.3654 ((2 . 1) (7 . 7) (8 . 8) (10 . 9)) 4668 0.4443 6.8917 ((3 . 1) (5 . 3) (7 . 5) (10 . 9)) 4669 0.4444 5.5876 ((4 . 12) (5 . 15) (7 . 17) (10 . 19)) 4671 0.4442 7.4985 ((4 . 8) (5 . 11) (8 . 15) (9 . 16)) 4674 0.5552 6.3655 ((1 . 1) (2 . 2) (5 . 6) (8 . 8) (10 . 9)) 4678 0.4444 5.6359 ((3 . 10) (4 . 11) (7 . 14) (8 . 15)) 4713 0.4444 3.9542 ((3 . 3) (4 . 4) (5 . 5) (7 . 7)) 4731 0.4444 5.9067 ((3 . 18) (7 . 22) (8 . 23) (10 . 24)) 4857 0.4443 6.5357 ((3 . 3) (5 . 5) (8 . 9) (10 . 11)) 4886 0.4442 7.5280 ((3 . 29) (4 . 30) (5 . 31) (9 . 33)) 4888 0.4429 12.3908 ((1 . 4) (5 . 9) (8 . 12) (10 . 13)) 4889 0.4444 6.0881 ((4 . 2) (5 . 3) (8 . 6) (10 . 7)) 4907 0.2861 9.4755 ((1 . 1) (4 . 5) (5 . 7) (7 . 9)) 4914 0.4443 6.9039 ((1 . 1) (4 . 5) (8 . 11) (10 . 12)) 4921 0.4441 8.1825 ((4 . 7) (5 . 8) (8 . 12) (10 . 14)) 4929 0.5553 5.7464 ((1 . 26) (4 . 29) (5 . 31) (7 . 33) (8 . 34)) 4932 0.5552 6.4963 ((3 . 4) (4 . 5) (5 . 6) (7 . 8) (10 . 10)) 4940 0.4442 7.6046 ((1 . 2) (4 . 6) (5 . 7) (7 . 9)) 4944 0.4443 6.2421 ((3 . 11) (7 . 14) (8 . 15) (10 . 16)) 4961 0.2862 7.7628 ((3 . 3) (5 . 6) (9 . 11) (10 . 12)) 4978 0.4444 5.9331 ((1 . 18) (4 . 21) (5 . 22) (7 . 25)) 4982 0.4442 7.8491 ((4 . 9) (5 . 10) (7 . 12) (10 . 14)) 4992 0.0999 11.1148 ((1 . 3) (4 . 6) (7 . 8) (8 . 9)) 4998 0.4442 7.3882 ((1 . 8) (5 . 15) (8 . 19) (10 . 20)) 5029 0.4443 7.3209 ((3 . 2) (5 . 4) (7 . 6) (10 . 10)) 5036 0.6657 6.6321 ((1 . 1) (2 . 2) (4 . 5) (5 . 6) (7 . 8) (8 . 9)) 5038 0.4443 7.2616 ((1 . 9) (4 . 14) (5 . 15) (7 . 18)) 5039 0.1980 9.8415 ((1 . 39) (2 . 41) (5 . 44) (7 . 45)) 5044 0.4443 7.3178 ((4 . 2) (5 . 3) (8 . 8) (10 . 9)) 5046 0.7776 3.3403 ((1 . 1) (3 . 3) (4 . 4) (7 . 7) (8 . 8) (9 . 9) (10 . 10)) 5053 0.4444 4.8236 ((3 . 2) (4 . 3) (5 . 5) (10 . 9)) 5065 0.4444 5.0167 ((1 . 2) (2 . 3) (5 . 7) (7 . 9)) 5068 0.5541 9.2612 ((3 . 2) (4 . 4) (7 . 7) (8 . 20) (10 . 24)) 5069 0.4443 6.6094 ((5 . 2) (7 . 4) (8 . 5) (10 . 7)) 5073 0.4440 8.9556 ((4 . 32) (8 . 36) (9 . 37) (10 . 39)) 5083 0.3525 7.4269 ((7 . 2) (8 . 5) (9 . 4) (10 . 6)) 5101 0.4444 5.9641 ((3 . 15) (5 . 18) (7 . 21) (10 . 23)) 5103 0.4442 8.1439 ((4 . 2) (5 . 4) (7 . 6) (10 . 9)) 5121 0.4443 6.9193 ((1 . 21) (5 . 25) (8 . 27) (10 . 30)) 5132 0.4442 7.4458 ((3 . 16) (5 . 18) (7 . 20) (10 . 22)) 5145 0.4438 10.0800 ((4 . 3) (5 . 5) (7 . 8) (8 . 10)) 5167 0.4444 5.9476 ((3 . 3) (4 . 4) (9 . 8) (10 . 9)) 5176 0.3524 9.4376 ((5 . 82) (8 . 86) (9 . 85) (10 . 87)) 5192 0.4442 7.9772 ((5 . 1) (8 . 3) (9 . 4) (10 . 5)) 5198 0.3525 7.6716 ((3 . 19) (5 . 21) (9 . 25) (10 . 26)) 5199 0.4443 6.7046 ((4 . 7) (5 . 8) (8 . 9) (10 . 10)) 5209 0.4444 6.0599 ((3 . 4) (7 . 7) (8 . 8) (10 . 9)) 5215 0.4442 7.9230 ((1 . 5) (5 . 9) (7 . 11) (9 . 13)) 5223 0.4443 7.2995 ((4 . 3) (5 . 6) (8 . 8) (10 . 10)) 5231 0.4443 7.2968 ((1 . 8) (3 . 12) (4 . 13) (5 . 14)) 5266 0.4443 6.7919 ((4 . 2) (5 . 4) (7 . 6) (10 . 8)) 5278 0.5554 5.1919 ((1 . 2) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 5307 0.4443 7.1747 ((3 . 51) (7 . 55) (8 . 57) (10 . 58)) 5312 0.4444 4.8270 ((4 . 2) (5 . 3) (7 . 5) (8 . 7)) 5324 0.4443 7.2843 ((1 . 20) (3 . 22) (5 . 25) (8 . 28)) 5344 0.7776 3.4095 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (7 . 8) (8 . 9) (10 . 10)) 5345 0.4443 7.3005 ((3 . 2) (4 . 3) (5 . 4) (10 . 12)) 5368 0.5552 6.3309 ((2 . 16) (5 . 20) (7 . 22) (8 . 25) (10 . 26)) 5378 0.5547 7.9561 ((2 . 7) (3 . 8) (4 . 9) (8 . 15) (10 . 16)) 5411 0.4439 9.6387 ((5 . 3) (7 . 6) (8 . 8) (9 . 9)) 5414 0.4444 4.0598 ((7 . 15) (8 . 16) (9 . 17) (10 . 18)) 5418 0.3935 8.2664 ((1 . 1) (4 . 3) (5 . 5) (9 . 10)) 5433 0.4441 8.7268 ((3 . 4) (4 . 5) (5 . 7) (10 . 16)) 5479 0.5547 7.9925 ((1 . 33) (4 . 34) (5 . 35) (8 . 40) (10 . 41)) 5489 0.5537 9.8524 ((1 . 5) (5 . 9) (7 . 13) (8 . 14) (10 . 16)) 5500 0.4443 6.1584 ((3 . 2) (4 . 3) (8 . 12) (9 . 13)) 5501 0.4416 14.4348 ((3 . 17) (4 . 20) (8 . 24) (10 . 25)) 5535 0.4444 4.5079 ((3 . 4) (5 . 7) (8 . 8) (10 . 12)) 5540 0.4424 13.2210 ((4 . 3) (5 . 4) (9 . 9) (10 . 10)) 5557 0.4444 5.8675 ((3 . 1) (4 . 2) (5 . 3) (9 . 7)) 5560 0.4443 6.3148 ((1 . 11) (2 . 13) (5 . 15) (10 . 20)) 5562 0.4442 8.0237 ((4 . 6) (5 . 7) (7 . 11) (10 . 14)) 5567 0.4442 8.0929 ((1 . 6) (5 . 11) (7 . 15) (10 . 17)) 5594 0.4443 6.3431 ((1 . 1) (4 . 4) (8 . 9) (9 . 10)) 5600 0.4443 6.2536 ((5 . 3) (7 . 5) (8 . 6) (9 . 7)) 5601 0.4443 7.3261 ((1 . 5) (4 . 10) (8 . 15) (10 . 16)) 5638 0.4436 10.6667 ((5 . 7) (7 . 8) (8 . 9) (10 . 13)) 5640 0.4444 5.2422 ((4 . 20) (7 . 23) (8 . 24) (10 . 25)) 5644 0.4443 6.7517 ((4 . 3) (5 . 4) (8 . 10) (10 . 11)) 5656 0.4441 8.5406 ((3 . 16) (7 . 21) (8 . 23) (10 . 24)) 5700 0.6663 5.1705 ((3 . 2) (4 . 3) (5 . 4) (7 . 6) (8 . 8) (10 . 9)) 5701 0.4441 8.4430 ((3 . 4) (4 . 5) (5 . 6) (10 . 8)) 5703 0.4444 6.0726 ((4 . 1) (5 . 2) (8 . 6) (10 . 7)) 5711 0.4443 6.6905 ((3 . 29) (7 . 32) (8 . 33) (10 . 35)) 5713 0.5539 9.4956 ((1 . 3) (3 . 6) (5 . 8) (7 . 13) (10 . 15)) 5718 0.4444 5.3368 ((4 . 16) (7 . 21) (8 . 23) (10 . 24)) 5731 0.4443 6.4878 ((5 . 7) (7 . 10) (8 . 11) (10 . 13)) 5746 0.4443 6.9878 ((4 . 2) (7 . 6) (8 . 7) (10 . 9)) 5749 0.4438 9.8445 ((1 . 3) (2 . 4) (4 . 5) (5 . 6)) 5761 0.4439 9.4479 ((2 . 28) (4 . 30) (5 . 31) (9 . 34)) 5770 0.4441 8.6485 ((1 . 1) (5 . 6) (7 . 8) (9 . 10)) 5771 0.3935 8.3265 ((5 . 9) (7 . 14) (9 . 16) (10 . 17)) 5782 0.5550 7.3307 ((3 . 21) (4 . 22) (8 . 27) (9 . 28) (10 . 29)) 5794 0.4442 7.8278 ((1 . 16) (4 . 18) (5 . 19) (7 . 23)) 5795 0.4444 5.2080 ((4 . 6) (7 . 9) (8 . 10) (9 . 11)) 5809 0.4444 5.8859 ((2 . 9) (5 . 12) (8 . 15) (9 . 16)) 5822 0.4444 5.6994 ((3 . 1) (4 . 2) (8 . 7) (10 . 8)) 5827 0.4444 4.6547 ((1 . 4) (5 . 11) (8 . 14) (10 . 15)) 5830 0.5548 7.9105 ((1 . 2) (2 . 3) (4 . 7) (5 . 8) (10 . 13)) 5847 0.4444 5.7758 ((5 . 1) (7 . 5) (8 . 7) (10 . 8)) 5861 0.5548 7.7504 ((4 . 16) (5 . 17) (7 . 20) (8 . 21) (10 . 22)) 5865 0.1980 8.4805 ((5 . 1) (7 . 5) (9 . 6) (10 . 7)) 5888 0.5526 10.9989 ((1 . 5) (3 . 8) (4 . 9) (5 . 10) (10 . 16)) 5896 0.4444 5.1399 ((5 . 26) (7 . 28) (8 . 29) (9 . 30)) 5904 0.2861 8.2977 ((3 . 4) (7 . 7) (9 . 8) (10 . 9)) 5913 0.4443 6.9424 ((5 . 13) (7 . 15) (9 . 16) (10 . 17)) 5914 0.1980 6.8728 ((5 . 2) (7 . 3) (8 . 5) (10 . 6)) 5922 0.5521 11.5043 ((1 . 1) (2 . 3) (4 . 6) (5 . 8) (10 . 10)) 5930 0.4442 7.4451 ((4 . 1) (5 . 2) (9 . 6) (10 . 7)) 5939 0.4440 9.2698 ((1 . 4) (4 . 8) (5 . 9) (9 . 13)) 5945 0.4443 6.9193 ((3 . 32) (4 . 33) (8 . 37) (10 . 38)) 5949 0.3520 13.1281 ((1 . 1) (7 . 10) (8 . 12) (9 . 11)) 5955 0.4443 7.0529 ((3 . 1) (5 . 3) (8 . 7) (10 . 9)) 6000 0.1495 12.0430 ((4 . 9) (8 . 14) (9 . 16) (10 . 15)) 6011 0.5545 8.5220 ((1 . 4) (4 . 8) (7 . 11) (8 . 13) (10 . 14)) 6022 0.4443 6.6293 ((5 . 1) (7 . 2) (8 . 4) (10 . 5)) 6028 0.2862 7.8809 ((3 . 1) (4 . 2) (5 . 3) (9 . 8)) 6029 0.4441 8.3685 ((5 . 31) (8 . 33) (9 . 34) (10 . 35)) 6041 0.4443 7.1722 ((4 . 8) (7 . 11) (8 . 12) (10 . 13)) 6046 0.4438 9.8753 ((1 . 2) (2 . 3) (4 . 5) (5 . 6)) 6061 0.4444 5.6030 ((1 . 13) (2 . 14) (8 . 20) (10 . 21)) 6074 0.4441 8.4086 ((3 . 6) (5 . 8) (7 . 11) (10 . 13)) 6075 0.4443 6.5969 ((3 . 17) (5 . 20) (7 . 21) (10 . 24)) 6079 0.4443 6.6253 ((3 . 7) (4 . 8) (5 . 9) (7 . 11)) 6089 0.4439 9.3249 ((1 . 1) (3 . 3) (5 . 5) (10 . 11)) 6094 0.4444 5.3263 ((3 . 3) (7 . 7) (8 . 10) (10 . 11)) 6099 0.5552 6.6791 ((1 . 5) (4 . 7) (5 . 9) (8 . 13) (10 . 14)) 6123 0.4434 11.2870 ((5 . 1) (7 . 4) (8 . 5) (9 . 7)) 6142 0.4444 5.2471 ((4 . 16) (5 . 18) (8 . 24) (10 . 25)) 6148 0.2862 6.7923 ((7 . 34) (8 . 36) (9 . 35) (10 . 37)) 6167 0.4442 7.6732 ((4 . 1) (5 . 4) (8 . 9) (10 . 10)) 6173 0.8877 4.9079 ((1 . 3) (2 . 4) (3 . 7) (4 . 8) (5 . 9) (7 . 12) (8 . 13) (10 . 15)) 6191 0.4436 10.6172 ((3 . 6) (7 . 10) (8 . 12) (10 . 13)) 6192 0.4442 7.4186 ((2 . 3) (5 . 5) (8 . 10) (10 . 11)) 6215 0.4443 7.2397 ((4 . 17) (5 . 18) (9 . 23) (10 . 24)) 6225 0.4443 6.7145 ((3 . 3) (4 . 4) (5 . 5) (10 . 10)) 6228 0.4443 6.7807 ((3 . 1) (5 . 3) (7 . 5) (10 . 7)) 6234 0.3523 11.0718 ((3 . 6) (4 . 7) (5 . 9) (9 . 14)) 6238 0.4442 7.4636 ((1 . 3) (2 . 4) (5 . 7) (7 . 9)) 6243 0.4444 6.1114 ((3 . 3) (5 . 6) (7 . 8) (10 . 10)) 6251 0.4442 8.1689 ((3 . 8) (5 . 10) (9 . 14) (10 . 15)) 6258 0.4442 8.0353 ((5 . 9) (7 . 10) (8 . 12) (10 . 13)) 6261 0.4442 7.9786 ((2 . 11) (7 . 19) (8 . 21) (10 . 22)) 6266 0.4443 7.2239 ((1 . 3) (4 . 5) (5 . 6) (8 . 10)) 6270 0.4443 6.2942 ((5 . 15) (7 . 17) (8 . 18) (9 . 19)) 6271 0.4440 9.0213 ((1 . 4) (3 . 8) (5 . 10) (8 . 12)) 6273 0.4444 6.0895 ((4 . 2) (5 . 3) (8 . 6) (10 . 7)) 6294 0.2441 9.8665 ((1 . 2) (3 . 6) (5 . 9) (9 . 12)) 6306 0.4433 11.5090 ((1 . 15) (2 . 16) (5 . 19) (8 . 22)) 6309 0.4443 6.6155 ((4 . 18) (5 . 20) (8 . 25) (9 . 26)) 6311 0.4443 6.6924 ((1 . 4) (5 . 9) (8 . 13) (10 . 14)) 6326 0.4440 8.8356 ((2 . 4) (4 . 5) (8 . 11) (10 . 12)) 6338 0.5555 4.0602 ((4 . 1) (5 . 2) (7 . 5) (8 . 7) (10 . 8)) 6344 0.5544 8.7019 ((4 . 12) (5 . 13) (7 . 17) (8 . 18) (10 . 19)) 6345 0.4443 6.2100 ((1 . 4) (2 . 5) (4 . 7) (10 . 11)) 6355 0.4443 7.2101 ((3 . 4) (5 . 7) (8 . 11) (10 . 12)) 6356 0.4442 7.5760 ((1 . 4) (4 . 6) (8 . 9) (9 . 10)) 6369 0.4440 8.8718 ((3 . 22) (5 . 24) (7 . 26) (10 . 29)) 6376 0.4443 7.0086 ((3 . 17) (5 . 19) (8 . 24) (10 . 26)) 6391 0.4444 5.5510 ((4 . 6) (5 . 8) (8 . 10) (10 . 12)) 6392 0.2862 6.2751 ((3 . 1) (5 . 3) (8 . 7) (10 . 9)) 6399 0.4444 5.6009 ((4 . 18) (5 . 19) (8 . 25) (10 . 26)) 6403 0.4442 7.6987 ((1 . 5) (3 . 7) (8 . 14) (10 . 15)) 6434 0.4442 7.4691 ((1 . 2) (3 . 3) (4 . 4) (5 . 5)) 6462 0.5547 8.0195 ((3 . 18) (5 . 20) (7 . 22) (8 . 24) (9 . 25)) 6498 0.4431 11.9767 ((1 . 37) (4 . 40) (7 . 45) (9 . 46)) 6520 0.5551 6.8651 ((1 . 3) (3 . 6) (4 . 8) (5 . 9) (9 . 12)) 6539 0.4443 6.7872 ((5 . 2) (7 . 4) (8 . 5) (9 . 7)) 6540 0.5555 3.6669 ((3 . 16) (4 . 17) (5 . 18) (7 . 20) (8 . 21)) 6548 0.4440 8.9124 ((1 . 7) (4 . 9) (5 . 12) (9 . 15)) 6553 0.4443 6.5195 ((5 . 11) (7 . 13) (8 . 15) (10 . 17)) 6555 0.5553 5.9517 ((3 . 17) (4 . 19) (5 . 20) (7 . 23) (8 . 24)) 6561 0.4444 6.0809 ((1 . 3) (3 . 7) (5 . 10) (8 . 12)) 6573 0.1980 7.5852 ((3 . 19) (5 . 21) (8 . 24) (10 . 25)) 6578 0.0999 5.3172 ((7 . 32) (8 . 34) (9 . 36) (10 . 37)) 6584 0.4439 9.5925 ((4 . 5) (5 . 6) (7 . 9) (9 . 10)) 6585 0.4837 7.6632 ((1 . 6) (3 . 8) (5 . 10) (8 . 11) (9 . 12)) 6586 0.4441 8.3098 ((4 . 18) (8 . 24) (9 . 23) (10 . 25)) 6587 0.4438 9.9041 ((2 . 29) (3 . 31) (5 . 33) (9 . 36)) 6598 0.5540 9.4014 ((1 . 1) (4 . 4) (5 . 5) (8 . 8) (10 . 10)) 6613 0.4443 7.0866 ((2 . 27) (5 . 31) (7 . 32) (8 . 33)) 6635 0.3525 8.5383 ((1 . 1) (4 . 4) (5 . 7) (9 . 10)) END