4177 25 0.3670 6.7800 ((1 . 6) (2 . 7) (3 . 9) (6 . 10)) 41 0.1497 11.8232 ((3 . 2) (6 . 4) (7 . 5) (9 . 7)) 51 0.4998 6.1052 ((1 . 2) (6 . 9) (7 . 10) (9 . 13)) 62 0.4201 8.8819 ((2 . 10) (6 . 15) (7 . 16) (8 . 17)) 64 0.6244 6.3611 ((1 . 9) (2 . 10) (7 . 13) (8 . 14) (9 . 15)) 77 0.6244 6.2766 ((1 . 7) (2 . 8) (4 . 10) (8 . 13) (9 . 15)) 91 0.4998 6.1288 ((3 . 23) (4 . 25) (6 . 27) (7 . 28)) 96 0.4996 7.3973 ((2 . 1) (4 . 2) (8 . 5) (9 . 6)) 129 0.3671 6.2689 ((1 . 2) (7 . 10) (8 . 11) (9 . 12)) 136 0.6226 9.0247 ((2 . 3) (6 . 4) (7 . 5) (8 . 7) (9 . 8)) 150 0.2909 9.6911 ((4 . 17) (6 . 18) (8 . 19) (9 . 20)) 153 0.4998 6.2893 ((1 . 1) (7 . 7) (8 . 8) (9 . 9)) 155 0.3670 8.2679 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 157 0.4994 8.5103 ((1 . 9) (6 . 12) (7 . 14) (9 . 18)) 161 0.4998 6.6603 ((1 . 3) (6 . 7) (7 . 8) (8 . 10)) 162 0.4998 6.7235 ((1 . 12) (7 . 17) (8 . 18) (9 . 22)) 169 0.4998 6.4443 ((2 . 2) (7 . 7) (8 . 8) (9 . 9)) 177 0.2909 9.0399 ((1 . 1) (2 . 2) (7 . 5) (9 . 8)) 191 0.4998 6.4491 ((1 . 1) (2 . 2) (8 . 6) (9 . 7)) 198 0.4997 6.8010 ((1 . 7) (2 . 8) (8 . 16) (9 . 17)) 207 0.4995 7.8714 ((1 . 8) (4 . 11) (7 . 13) (9 . 15)) 233 0.5000 4.2041 ((1 . 1) (2 . 2) (7 . 7) (8 . 8)) 300 0.4991 9.2178 ((1 . 9) (4 . 11) (8 . 16) (9 . 17)) 305 0.4998 6.2163 ((1 . 16) (2 . 18) (6 . 20) (8 . 22)) 307 0.4993 8.6658 ((2 . 1) (6 . 2) (7 . 3) (9 . 7)) 315 0.4993 8.8251 ((6 . 2) (7 . 3) (8 . 5) (9 . 6)) 350 0.4997 6.8708 ((1 . 5) (2 . 7) (4 . 9) (9 . 16)) 360 0.6232 8.3461 ((1 . 3) (2 . 5) (7 . 9) (8 . 10) (9 . 12)) 361 0.4197 11.2463 ((4 . 8) (6 . 9) (7 . 10) (8 . 11)) 365 0.4995 7.9300 ((1 . 3) (2 . 4) (4 . 7) (7 . 8)) 367 0.4997 7.2294 ((6 . 39) (7 . 40) (8 . 42) (9 . 43)) 372 0.4203 7.3111 ((2 . 1) (7 . 7) (8 . 10) (9 . 11)) 387 0.2910 8.3164 ((3 . 6) (7 . 10) (8 . 11) (9 . 12)) 405 0.4999 5.0826 ((1 . 32) (2 . 33) (7 . 39) (8 . 40)) 417 0.4997 7.1443 ((2 . 1) (7 . 5) (8 . 7) (9 . 9)) 420 0.6235 8.0493 ((1 . 3) (2 . 4) (7 . 9) (8 . 10) (9 . 12)) 433 0.4999 4.8334 ((6 . 4) (7 . 5) (8 . 6) (9 . 7)) 442 0.4996 7.4168 ((3 . 15) (6 . 18) (7 . 20) (8 . 21)) 460 0.4989 9.8273 ((2 . 1) (6 . 4) (8 . 6) (9 . 7)) 472 0.4960 13.6153 ((1 . 21) (2 . 22) (3 . 23) (7 . 25)) 491 0.3670 7.4906 ((1 . 1) (3 . 2) (6 . 5) (7 . 6)) 495 0.4998 6.3912 ((3 . 4) (7 . 8) (8 . 9) (9 . 11)) 541 0.4996 7.3725 ((6 . 1) (7 . 2) (8 . 3) (9 . 5)) 543 0.4994 8.3416 ((1 . 8) (3 . 9) (6 . 13) (8 . 15)) 584 0.4997 7.1898 ((6 . 2) (7 . 3) (8 . 4) (9 . 5)) 587 0.6244 6.4191 ((1 . 10) (2 . 11) (7 . 14) (8 . 15) (9 . 16)) 609 0.4983 10.9072 ((3 . 2) (6 . 5) (7 . 6) (9 . 8)) 619 0.4995 8.2419 ((1 . 1) (2 . 2) (8 . 7) (9 . 8)) 624 0.6231 8.5153 ((1 . 20) (2 . 22) (6 . 23) (7 . 24) (8 . 26)) 635 0.4990 9.4824 ((4 . 11) (7 . 13) (8 . 14) (9 . 15)) 672 0.4972 12.3737 ((3 . 17) (4 . 19) (7 . 21) (8 . 23)) 678 0.1987 10.1598 ((3 . 27) (4 . 28) (6 . 30) (9 . 34)) 719 0.1987 6.9628 ((1 . 22) (2 . 23) (6 . 29) (8 . 30)) 729 0.4993 8.8771 ((2 . 7) (3 . 8) (6 . 12) (9 . 15)) 735 0.4997 6.8042 ((3 . 30) (7 . 36) (8 . 37) (9 . 39)) 740 0.4999 5.6932 ((6 . 1) (7 . 2) (8 . 3) (9 . 4)) 767 0.4995 8.0307 ((2 . 26) (4 . 27) (7 . 31) (8 . 32)) 795 0.4996 7.5962 ((6 . 2) (7 . 1) (8 . 3) (9 . 5)) 818 0.4524 10.2034 ((2 . 2) (4 . 3) (6 . 5) (7 . 7)) 819 0.5143 6.5104 ((1 . 2) (2 . 3) (7 . 5) (8 . 8) (9 . 9)) 824 0.3670 7.8201 ((1 . 43) (7 . 50) (8 . 51) (9 . 53)) 861 0.4995 7.9294 ((1 . 2) (2 . 3) (4 . 4) (6 . 5)) 901 0.2909 9.8684 ((1 . 12) (4 . 14) (6 . 16) (9 . 20)) 904 0.4200 9.7399 ((1 . 2) (3 . 4) (4 . 5) (7 . 7)) 913 0.3670 8.6426 ((1 . 16) (2 . 17) (6 . 21) (7 . 20)) 928 0.4993 8.7000 ((2 . 1) (6 . 2) (7 . 3) (9 . 7)) 943 0.4995 7.9056 ((2 . 6) (4 . 7) (7 . 9) (9 . 12)) 945 0.4994 8.3950 ((2 . 12) (6 . 13) (7 . 14) (9 . 19)) 960 0.4998 6.5638 ((1 . 8) (2 . 9) (4 . 11) (9 . 19)) 978 0.4990 9.6827 ((2 . 4) (3 . 5) (6 . 8) (9 . 10)) 980 0.4992 9.0683 ((2 . 1) (6 . 2) (7 . 3) (9 . 7)) 1007 0.6230 8.5733 ((1 . 7) (2 . 8) (7 . 12) (8 . 13) (9 . 14)) 1008 0.4992 9.0411 ((6 . 2) (7 . 3) (8 . 5) (9 . 8)) 1034 0.5488 11.8985 ((1 . 21) (2 . 22) (4 . 24) (6 . 27) (9 . 29)) 1043 0.4995 7.9860 ((2 . 1) (6 . 5) (7 . 6) (9 . 10)) 1082 0.4998 6.6725 ((1 . 8) (2 . 9) (4 . 11) (9 . 16)) 1084 0.4993 8.8079 ((1 . 8) (2 . 9) (6 . 15) (7 . 17)) 1165 0.6218 9.6772 ((1 . 3) (2 . 4) (4 . 6) (6 . 9) (9 . 12)) 1167 0.4992 8.9886 ((1 . 21) (2 . 22) (6 . 24) (8 . 27)) 1195 0.4993 8.9143 ((6 . 3) (7 . 4) (8 . 5) (9 . 6)) 1201 0.2909 10.2707 ((1 . 4) (3 . 5) (6 . 8) (9 . 11)) 1204 0.3670 8.3632 ((2 . 1) (4 . 2) (6 . 4) (7 . 5)) 1211 0.4999 5.2417 ((4 . 6) (7 . 9) (8 . 10) (9 . 11)) 1217 0.4997 6.8628 ((1 . 3) (2 . 5) (6 . 8) (8 . 12)) 1224 0.4998 6.0952 ((1 . 5) (2 . 6) (7 . 9) (8 . 10)) 1233 0.4991 9.3657 ((2 . 17) (4 . 19) (6 . 21) (7 . 22)) 1267 0.6243 6.6643 ((1 . 1) (2 . 2) (7 . 13) (8 . 15) (9 . 17)) 1294 0.6241 7.1285 ((1 . 39) (2 . 40) (7 . 43) (8 . 44) (9 . 46)) 1301 0.1662 8.5366 ((1 . 1) (2 . 5) (3 . 3) (4 . 6)) 1345 0.4998 6.6387 ((2 . 9) (4 . 10) (8 . 13) (9 . 14)) 1366 0.6236 7.8173 ((1 . 15) (2 . 16) (7 . 21) (8 . 22) (9 . 23)) 1388 0.1987 9.8506 ((1 . 1) (3 . 3) (7 . 5) (9 . 8)) 1410 0.4996 7.4761 ((1 . 19) (7 . 23) (8 . 25) (9 . 26)) 1425 0.4996 7.4059 ((6 . 7) (7 . 8) (8 . 10) (9 . 11)) 1435 0.2910 7.1715 ((1 . 1) (2 . 2) (6 . 4) (7 . 5)) 1447 0.4992 9.1819 ((2 . 3) (6 . 4) (7 . 5) (9 . 7)) 1451 0.4998 6.5400 ((6 . 2) (7 . 3) (8 . 4) (9 . 5)) 1464 0.4998 6.4352 ((3 . 9) (6 . 12) (7 . 13) (8 . 14)) 1472 0.1662 9.2739 ((1 . 7) (2 . 8) (4 . 10) (6 . 11)) 1476 0.4996 7.6217 ((6 . 10) (7 . 11) (8 . 14) (9 . 15)) 1501 0.4995 7.9826 ((1 . 2) (2 . 3) (7 . 7) (8 . 9)) 1513 0.3669 9.1247 ((4 . 4) (6 . 7) (7 . 8) (9 . 11)) 1577 0.4996 7.6835 ((1 . 6) (2 . 10) (6 . 11) (7 . 12)) 1591 0.4985 10.5888 ((2 . 4) (4 . 5) (6 . 7) (9 . 8)) 1604 0.4981 11.2534 ((4 . 6) (6 . 9) (7 . 10) (9 . 12)) 1622 0.4200 9.6958 ((2 . 20) (4 . 21) (8 . 24) (9 . 25)) 1624 0.4991 9.2356 ((1 . 7) (2 . 8) (4 . 10) (6 . 11)) 1643 0.6244 6.3527 ((1 . 34) (2 . 36) (7 . 38) (8 . 39) (9 . 40)) 1644 0.4999 5.7777 ((1 . 46) (2 . 47) (7 . 51) (8 . 52)) 1665 0.4988 10.1239 ((2 . 6) (4 . 7) (6 . 9) (7 . 10)) 1690 0.4995 8.0122 ((4 . 12) (6 . 15) (8 . 18) (9 . 19)) 1692 0.2462 9.9522 ((1 . 1) (3 . 2) (7 . 7) (9 . 8)) 1731 0.4982 11.0697 ((1 . 6) (6 . 10) (8 . 12) (9 . 13)) 1736 0.4992 9.0749 ((1 . 3) (3 . 4) (8 . 10) (9 . 12)) 1738 0.4997 7.0977 ((2 . 4) (4 . 5) (7 . 9) (9 . 11)) 1747 0.6244 6.2735 ((3 . 22) (4 . 23) (7 . 25) (8 . 27) (9 . 28)) 1756 0.4203 7.1273 ((1 . 21) (2 . 23) (7 . 29) (8 . 30)) 1759 0.6236 7.8816 ((1 . 4) (2 . 5) (7 . 10) (8 . 11) (9 . 13)) 1761 0.4995 8.2282 ((2 . 7) (6 . 10) (7 . 11) (9 . 13)) 1763 0.5000 3.7276 ((1 . 7) (7 . 9) (8 . 10) (9 . 13)) 1776 0.4997 6.9655 ((3 . 10) (4 . 11) (8 . 15) (9 . 16)) 1777 0.4993 8.8524 ((1 . 42) (2 . 43) (7 . 50) (8 . 52)) 1778 0.1497 6.9953 ((1 . 1) (2 . 2) (6 . 6) (8 . 8)) 1793 0.4995 8.0740 ((2 . 4) (6 . 5) (7 . 6) (9 . 8)) 1805 0.6242 6.7702 ((1 . 11) (2 . 12) (7 . 15) (8 . 16) (9 . 17)) 1808 0.4993 8.8789 ((6 . 1) (7 . 2) (8 . 4) (9 . 5)) 1867 0.4996 7.4362 ((6 . 2) (7 . 3) (8 . 6) (9 . 7)) 1894 0.4993 8.6508 ((2 . 18) (7 . 22) (8 . 23) (9 . 25)) 1897 0.4995 7.9323 ((3 . 37) (4 . 38) (7 . 41) (8 . 43)) 1908 0.2910 8.5645 ((1 . 7) (3 . 9) (6 . 14) (8 . 17)) 1909 0.4995 8.0364 ((2 . 31) (6 . 36) (7 . 37) (9 . 39)) 1913 0.4996 7.5710 ((1 . 15) (2 . 16) (7 . 22) (9 . 26)) 1944 0.4985 10.6470 ((1 . 3) (6 . 6) (8 . 7) (9 . 9)) 1957 0.4995 8.0145 ((2 . 1) (6 . 2) (7 . 3) (9 . 7)) 1961 0.4999 5.6030 ((1 . 14) (2 . 15) (8 . 19) (9 . 20)) 1967 0.4990 9.6013 ((3 . 8) (4 . 9) (7 . 13) (8 . 14)) 1972 0.4994 8.3558 ((2 . 18) (6 . 19) (7 . 20) (9 . 24)) 1992 0.2910 8.2602 ((1 . 2) (2 . 3) (4 . 5) (9 . 12)) 1995 0.2910 5.7259 ((1 . 3) (3 . 5) (7 . 12) (8 . 13)) 2003 0.4999 5.5549 ((4 . 6) (7 . 9) (8 . 10) (9 . 12)) 2006 0.4999 5.5932 ((1 . 13) (2 . 14) (7 . 16) (8 . 18)) 2045 0.4198 10.5643 ((4 . 4) (7 . 7) (8 . 8) (9 . 11)) 2048 0.1987 9.1371 ((3 . 12) (6 . 15) (7 . 16) (8 . 17)) 2054 0.4998 6.0952 ((1 . 1) (2 . 2) (4 . 7) (6 . 9)) 2065 0.4997 7.3070 ((1 . 16) (2 . 17) (8 . 26) (9 . 27)) 2067 0.2909 11.4010 ((2 . 54) (6 . 56) (7 . 59) (8 . 60)) 2072 0.7492 5.5324 ((1 . 1) (2 . 2) (4 . 3) (7 . 5) (8 . 6) (9 . 7)) 2081 0.4996 7.5494 ((6 . 18) (7 . 20) (8 . 21) (9 . 23)) 2083 0.4994 8.4030 ((1 . 1) (2 . 2) (6 . 6) (7 . 7)) 2097 0.4989 9.8787 ((1 . 5) (6 . 10) (8 . 14) (9 . 16)) 2114 0.4998 6.2607 ((6 . 30) (7 . 32) (8 . 34) (9 . 36)) 2116 0.4999 5.4005 ((2 . 2) (7 . 6) (8 . 7) (9 . 8)) 2117 0.4997 7.0030 ((1 . 11) (2 . 12) (4 . 13) (7 . 17)) 2118 0.4999 4.7537 ((6 . 2) (7 . 3) (8 . 11) (9 . 12)) 2122 0.4995 8.1685 ((2 . 1) (6 . 5) (7 . 6) (9 . 10)) 2166 0.4996 7.4286 ((6 . 14) (7 . 15) (8 . 16) (9 . 17)) 2179 0.3670 8.4827 ((4 . 2) (6 . 3) (7 . 5) (8 . 6)) 2203 0.4994 8.3114 ((1 . 5) (2 . 7) (4 . 8) (7 . 12)) 2205 0.4997 7.2600 ((3 . 12) (7 . 16) (8 . 17) (9 . 18)) 2209 0.3670 7.9809 ((2 . 3) (4 . 4) (7 . 7) (9 . 9)) 2220 0.4988 10.1172 ((6 . 1) (7 . 3) (8 . 4) (9 . 7)) 2243 0.4996 7.4696 ((1 . 58) (2 . 59) (7 . 65) (8 . 67)) 2244 0.6246 5.8810 ((1 . 71) (2 . 74) (7 . 78) (8 . 79) (9 . 80)) 2249 0.4999 5.9350 ((2 . 7) (4 . 8) (6 . 9) (9 . 12)) 2269 0.6209 10.3499 ((1 . 7) (2 . 8) (4 . 9) (6 . 11) (9 . 12)) 2279 0.4997 6.9772 ((1 . 10) (2 . 11) (7 . 19) (8 . 20)) 2298 0.4994 8.4982 ((6 . 7) (7 . 8) (8 . 10) (9 . 12)) 2308 0.4991 9.4595 ((1 . 5) (2 . 6) (4 . 7) (6 . 10)) 2314 0.4990 9.6189 ((2 . 2) (7 . 4) (8 . 7) (9 . 8)) 2340 0.6229 8.7125 ((2 . 9) (6 . 10) (7 . 11) (8 . 13) (9 . 14)) 2344 0.4994 8.4469 ((1 . 14) (3 . 16) (4 . 17) (6 . 21)) 2364 0.4999 5.0551 ((6 . 16) (7 . 18) (8 . 19) (9 . 20)) 2381 0.4999 5.5206 ((6 . 2) (7 . 3) (8 . 4) (9 . 5)) 2389 0.6224 9.2022 ((1 . 3) (2 . 5) (7 . 9) (8 . 10) (9 . 11)) 2408 0.4998 5.9719 ((1 . 38) (2 . 39) (7 . 45) (9 . 47)) 2409 0.4988 10.0443 ((6 . 1) (7 . 4) (8 . 5) (9 . 6)) 2410 0.2462 8.5737 ((2 . 13) (3 . 14) (4 . 15) (7 . 17)) 2422 0.1987 10.4509 ((6 . 2) (7 . 6) (8 . 7) (9 . 9)) 2423 0.4997 6.8845 ((1 . 20) (2 . 21) (7 . 25) (8 . 26)) 2447 0.4968 12.8949 ((2 . 36) (3 . 37) (6 . 38) (8 . 40)) 2462 0.4982 11.1393 ((1 . 1) (4 . 5) (7 . 7) (9 . 11)) 2510 0.4998 6.6013 ((4 . 16) (6 . 18) (7 . 19) (9 . 23)) 2519 0.4986 10.4161 ((2 . 2) (4 . 3) (6 . 4) (8 . 5)) 2525 0.5510 9.6560 ((1 . 41) (3 . 42) (4 . 44) (8 . 47) (9 . 48)) 2529 0.4996 7.7253 ((6 . 2) (7 . 3) (8 . 5) (9 . 6)) 2533 0.4997 7.0351 ((4 . 1) (6 . 3) (7 . 4) (9 . 6)) 2551 0.2989 7.3363 ((1 . 1) (2 . 3) (3 . 6) (4 . 7) (6 . 10) (8 . 11) (9 . 12)) 2552 0.4990 9.6332 ((2 . 1) (4 . 2) (6 . 4) (7 . 5)) 2556 0.4994 8.4646 ((2 . 11) (6 . 12) (7 . 13) (9 . 18)) 2557 0.3670 7.9553 ((2 . 3) (3 . 4) (4 . 5) (6 . 8)) 2561 0.3666 11.7226 ((3 . 4) (7 . 6) (8 . 7) (9 . 8)) 2595 0.4991 9.3281 ((2 . 1) (4 . 2) (6 . 5) (9 . 6)) 2619 0.2910 7.2353 ((1 . 1) (2 . 2) (6 . 4) (8 . 7)) 2627 0.3670 8.3976 ((4 . 61) (6 . 62) (7 . 64) (8 . 65)) 2650 0.5135 9.2258 ((1 . 1) (2 . 2) (6 . 4) (7 . 5) (8 . 6)) 2658 0.3234 6.8474 ((1 . 1) (2 . 3) (3 . 7) (4 . 8) (6 . 11) (8 . 12) (9 . 13)) 2675 0.4988 10.1145 ((3 . 2) (7 . 7) (8 . 8) (9 . 10)) 2682 0.4981 11.3081 ((1 . 13) (4 . 16) (6 . 18) (7 . 19)) 2696 0.4996 7.8359 ((6 . 33) (7 . 35) (8 . 36) (9 . 38)) 2733 0.4994 8.5374 ((1 . 1) (2 . 2) (6 . 5) (8 . 8)) 2755 0.4995 8.0691 ((2 . 3) (4 . 4) (7 . 6) (9 . 8)) 2773 0.6237 7.7560 ((1 . 2) (2 . 3) (6 . 4) (7 . 5) (8 . 6)) 2783 0.4998 6.2043 ((6 . 4) (7 . 6) (8 . 7) (9 . 8)) 2804 0.4982 11.1112 ((3 . 26) (6 . 28) (8 . 34) (9 . 36)) 2821 0.3666 12.1407 ((2 . 3) (6 . 6) (7 . 7) (9 . 11)) 2830 0.4993 8.6425 ((2 . 1) (6 . 2) (7 . 3) (9 . 5)) 2834 0.4997 7.0145 ((6 . 2) (7 . 3) (8 . 5) (9 . 6)) 2840 0.4994 8.3937 ((6 . 7) (7 . 8) (8 . 9) (9 . 11)) 2842 0.4999 5.7590 ((1 . 4) (2 . 5) (6 . 8) (8 . 9)) 2867 0.2910 8.0543 ((2 . 2) (3 . 3) (8 . 7) (9 . 8)) 2879 0.2462 8.1929 ((2 . 51) (7 . 56) (8 . 57) (9 . 59)) 2886 0.4998 6.1350 ((1 . 30) (7 . 38) (8 . 39) (9 . 41)) 2929 0.1987 9.5778 ((1 . 36) (3 . 37) (4 . 38) (6 . 41)) 2940 0.4994 8.5214 ((1 . 1) (3 . 2) (7 . 5) (8 . 6)) 2947 0.4997 6.8173 ((1 . 6) (2 . 7) (7 . 12) (8 . 13)) 2955 0.6221 9.4825 ((4 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 5)) 2966 0.4996 7.4236 ((1 . 9) (2 . 10) (7 . 16) (8 . 17)) 2990 0.4970 12.6661 ((2 . 14) (6 . 17) (8 . 19) (9 . 20)) 2999 0.2910 8.4513 ((3 . 1) (7 . 4) (8 . 6) (9 . 7)) 3014 0.4984 10.8518 ((1 . 5) (2 . 7) (3 . 6) (6 . 9)) 3019 0.4998 6.1916 ((6 . 8) (7 . 9) (8 . 10) (9 . 14)) 3034 0.4988 9.9799 ((2 . 5) (3 . 4) (6 . 6) (9 . 9)) 3041 0.4995 7.8914 ((2 . 12) (6 . 13) (8 . 16) (9 . 18)) 3055 0.4997 6.9864 ((1 . 15) (2 . 16) (8 . 23) (9 . 24)) 3063 0.6236 7.8450 ((1 . 31) (2 . 32) (6 . 34) (7 . 35) (8 . 37)) 3070 0.3670 7.3452 ((1 . 32) (2 . 33) (4 . 34) (6 . 37)) 3084 0.4994 8.4941 ((2 . 3) (6 . 4) (7 . 5) (9 . 9)) 3102 0.4999 5.2110 ((1 . 70) (7 . 76) (8 . 77) (9 . 80)) 3103 0.6237 7.7957 ((2 . 5) (4 . 6) (7 . 9) (8 . 11) (9 . 13)) 3114 0.4991 9.2044 ((1 . 24) (2 . 25) (4 . 27) (7 . 29)) 3120 0.4204 5.0490 ((1 . 21) (2 . 22) (3 . 23) (4 . 24)) 3127 0.4996 7.8249 ((2 . 2) (6 . 5) (7 . 6) (9 . 11)) 3147 0.4998 6.1496 ((1 . 16) (2 . 17) (7 . 21) (8 . 22)) 3176 0.4998 6.7041 ((4 . 23) (7 . 26) (8 . 27) (9 . 29)) 3187 0.6246 5.6045 ((1 . 1) (2 . 2) (7 . 6) (8 . 7) (9 . 9)) 3190 0.4993 8.6163 ((2 . 1) (6 . 2) (7 . 3) (9 . 9)) 3197 0.4988 10.0309 ((2 . 24) (4 . 25) (6 . 27) (7 . 28)) 3200 0.4999 5.9421 ((1 . 9) (2 . 11) (8 . 16) (9 . 18)) 3212 0.7495 4.7340 ((1 . 9) (4 . 7) (6 . 1) (7 . 2) (8 . 3) (9 . 5)) 3222 0.3668 10.0592 ((1 . 14) (2 . 15) (4 . 17) (7 . 19)) 3256 0.4998 6.7668 ((1 . 18) (2 . 19) (7 . 26) (8 . 28)) 3261 0.4997 6.9069 ((1 . 6) (2 . 7) (4 . 10) (6 . 11)) 3286 0.4997 7.2938 ((6 . 2) (7 . 3) (8 . 4) (9 . 5)) 3289 0.4999 4.8487 ((1 . 25) (7 . 29) (8 . 30) (9 . 31)) 3297 0.4997 7.0494 ((1 . 8) (2 . 9) (7 . 12) (8 . 13)) 3322 0.4992 9.1239 ((6 . 2) (7 . 3) (8 . 5) (9 . 7)) 3334 0.2462 9.9592 ((1 . 6) (3 . 7) (4 . 9) (6 . 11)) 3339 0.4997 6.9640 ((1 . 11) (3 . 14) (6 . 16) (8 . 19)) 3344 0.4994 8.5930 ((2 . 20) (7 . 24) (8 . 26) (9 . 27)) 3358 0.4980 11.4545 ((4 . 3) (6 . 5) (7 . 7) (9 . 10)) 3362 0.4996 7.7283 ((1 . 4) (3 . 5) (7 . 10) (8 . 11)) 3366 0.4995 8.0618 ((1 . 22) (2 . 24) (7 . 27) (9 . 29)) 3391 0.4993 8.7809 ((6 . 5) (7 . 6) (8 . 8) (9 . 10)) 3410 0.4998 6.7461 ((1 . 19) (6 . 23) (7 . 24) (9 . 28)) 3418 0.4992 9.0330 ((6 . 3) (7 . 5) (8 . 6) (9 . 7)) 3446 0.3671 6.6983 ((1 . 5) (2 . 6) (3 . 8) (6 . 9)) 3472 0.6242 6.7751 ((1 . 1) (2 . 3) (7 . 8) (8 . 9) (9 . 11)) 3481 0.4997 6.8721 ((6 . 3) (7 . 4) (8 . 7) (9 . 8)) 3489 0.4997 7.2680 ((1 . 3) (2 . 4) (8 . 12) (9 . 14)) 3495 0.4999 5.3998 ((1 . 7) (2 . 8) (4 . 9) (6 . 10)) 3496 0.4998 6.5636 ((1 . 22) (2 . 23) (4 . 24) (6 . 25)) 3533 0.4992 9.1953 ((1 . 1) (2 . 3) (4 . 6) (7 . 8)) 3537 0.4996 7.6882 ((1 . 2) (3 . 3) (8 . 9) (9 . 10)) 3538 0.4992 9.0748 ((3 . 16) (4 . 17) (7 . 18) (8 . 20)) 3548 0.6228 8.8161 ((1 . 2) (2 . 3) (7 . 8) (8 . 9) (9 . 10)) 3549 0.4203 7.5593 ((2 . 2) (6 . 4) (7 . 5) (8 . 8)) 3561 0.4998 6.7109 ((4 . 25) (7 . 28) (8 . 30) (9 . 31)) 3570 0.6237 7.6665 ((2 . 1) (4 . 2) (7 . 4) (8 . 7) (9 . 8)) 3585 0.6236 7.8236 ((1 . 5) (2 . 6) (7 . 12) (8 . 13) (9 . 14)) 3613 0.4991 9.4326 ((2 . 35) (6 . 38) (7 . 40) (8 . 41)) 3625 0.4977 11.7825 ((1 . 3) (2 . 5) (7 . 7) (8 . 9)) 3626 0.4995 8.0902 ((1 . 2) (2 . 3) (7 . 8) (8 . 11)) 3628 0.4992 9.1723 ((6 . 7) (7 . 8) (8 . 9) (9 . 10)) 3651 0.3671 6.5135 ((4 . 7) (6 . 10) (7 . 11) (8 . 13)) 3656 0.4995 7.9434 ((4 . 20) (6 . 21) (8 . 22) (9 . 23)) 3658 0.6238 7.6644 ((2 . 1) (4 . 2) (7 . 5) (8 . 6) (9 . 7)) 3659 0.4998 6.1262 ((1 . 5) (2 . 7) (7 . 12) (8 . 13)) 3661 0.4992 9.0920 ((3 . 5) (4 . 6) (6 . 9) (7 . 11)) 3663 0.4991 9.3092 ((1 . 2) (2 . 5) (4 . 6) (6 . 7)) 3688 0.4888 17.7693 ((1 . 21) (2 . 23) (7 . 27) (8 . 28)) 3697 0.4994 8.3350 ((1 . 3) (2 . 4) (7 . 6) (8 . 7)) 3703 0.4998 6.1658 ((1 . 2) (2 . 3) (8 . 6) (9 . 7)) 3732 0.4995 7.8665 ((1 . 5) (3 . 6) (7 . 11) (8 . 12)) 3733 0.4996 7.5469 ((1 . 1) (3 . 2) (6 . 4) (8 . 8)) 3740 0.6224 9.1912 ((1 . 1) (2 . 2) (7 . 6) (8 . 7) (9 . 9)) 3741 0.4998 6.0382 ((1 . 22) (2 . 23) (8 . 28) (9 . 32)) 3776 0.4992 8.9463 ((6 . 16) (7 . 17) (8 . 20) (9 . 21)) 3778 0.4998 6.6667 ((1 . 3) (2 . 4) (4 . 5) (6 . 8)) 3787 0.4993 8.7511 ((2 . 17) (6 . 18) (7 . 19) (9 . 23)) 3790 0.6245 5.9699 ((1 . 24) (2 . 25) (7 . 27) (8 . 30) (9 . 31)) 3807 0.1987 10.3617 ((1 . 43) (2 . 46) (4 . 48) (8 . 50)) 3810 0.4997 7.3132 ((1 . 6) (7 . 14) (8 . 15) (9 . 16)) 3817 0.4984 10.7628 ((2 . 7) (4 . 8) (7 . 10) (8 . 11)) 3818 0.1497 9.4945 ((4 . 24) (6 . 27) (8 . 28) (9 . 29)) 3829 0.2462 9.0239 ((1 . 2) (3 . 4) (4 . 6) (6 . 7)) 3831 0.4999 5.9178 ((4 . 1) (6 . 4) (8 . 5) (9 . 6)) 3847 0.2910 7.3124 ((6 . 11) (7 . 13) (8 . 16) (9 . 17)) 3849 0.4202 8.1956 ((2 . 2) (6 . 4) (7 . 5) (8 . 8)) 3870 0.4991 9.4354 ((3 . 4) (6 . 7) (8 . 8) (9 . 10)) 3933 0.6234 8.1349 ((1 . 8) (2 . 9) (7 . 16) (8 . 17) (9 . 18)) 3938 0.4204 5.0598 ((2 . 2) (3 . 3) (7 . 8) (8 . 9)) 3942 0.4998 6.7512 ((1 . 2) (2 . 3) (4 . 6) (6 . 8)) 3968 0.4993 8.6960 ((2 . 3) (6 . 4) (7 . 5) (9 . 11)) 3986 0.1987 9.3214 ((1 . 1) (2 . 2) (7 . 7) (8 . 9)) 3990 0.4985 10.6931 ((3 . 19) (6 . 21) (8 . 24) (9 . 25)) 4005 0.4999 5.6202 ((2 . 3) (7 . 9) (8 . 12) (9 . 14)) 4009 0.4980 11.3407 ((1 . 21) (2 . 22) (4 . 24) (6 . 25)) 4019 0.4995 8.0503 ((2 . 37) (7 . 43) (8 . 44) (9 . 45)) 4034 0.4997 6.7890 ((6 . 8) (7 . 9) (8 . 10) (9 . 12)) 4062 0.5763 8.3073 ((3 . 44) (4 . 45) (7 . 48) (8 . 49) (9 . 50)) 4067 0.4982 11.0338 ((4 . 13) (6 . 15) (7 . 16) (9 . 20)) 4077 0.1662 10.1587 ((4 . 8) (6 . 9) (7 . 10) (8 . 11)) 4082 0.4987 10.2053 ((1 . 6) (2 . 7) (4 . 9) (7 . 10)) 4087 0.5000 2.9773 ((1 . 3) (7 . 5) (8 . 6) (9 . 7)) 4112 0.1662 7.6503 ((1 . 4) (2 . 6) (3 . 7) (4 . 8)) 4115 0.4996 7.4161 ((1 . 1) (3 . 2) (4 . 4) (8 . 10)) 4140 0.1987 10.2463 ((1 . 21) (2 . 22) (4 . 25) (6 . 26)) 4151 0.4985 10.6195 ((2 . 5) (3 . 6) (6 . 8) (9 . 12)) 4177 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9)) 4190 0.6244 6.2954 ((1 . 1) (2 . 3) (4 . 6) (8 . 8) (9 . 9)) 4192 0.2910 8.3758 ((1 . 19) (3 . 20) (4 . 21) (7 . 23)) 4194 0.4997 7.2510 ((1 . 1) (3 . 2) (7 . 6) (8 . 7)) 4195 0.4995 8.0516 ((1 . 14) (2 . 15) (3 . 17) (6 . 19)) 4204 0.4988 10.0714 ((2 . 5) (4 . 6) (7 . 9) (9 . 13)) 4209 0.4999 5.5558 ((1 . 1) (2 . 2) (7 . 7) (9 . 10)) 4210 0.4999 5.6433 ((6 . 3) (7 . 4) (8 . 5) (9 . 6)) 4226 0.6220 9.5713 ((2 . 14) (4 . 15) (6 . 17) (7 . 18) (8 . 19)) 4232 0.4995 7.9363 ((1 . 3) (2 . 4) (6 . 7) (9 . 8)) 4254 0.4988 10.0329 ((4 . 10) (6 . 12) (8 . 15) (9 . 18)) 4255 0.0999 8.4682 ((4 . 20) (6 . 22) (7 . 23) (8 . 24)) 4257 0.4995 8.1595 ((2 . 3) (6 . 6) (7 . 7) (9 . 11)) 4265 0.4993 8.6145 ((1 . 20) (2 . 21) (4 . 22) (9 . 29)) 4266 0.6219 9.6258 ((2 . 6) (4 . 7) (7 . 8) (8 . 11) (9 . 12)) 4274 0.5513 9.1940 ((2 . 36) (4 . 37) (6 . 39) (7 . 40) (8 . 41)) 4275 0.4999 5.8760 ((6 . 24) (7 . 25) (8 . 27) (9 . 28)) 4281 0.4995 7.9643 ((1 . 3) (2 . 4) (6 . 7) (8 . 10)) 4284 0.4998 6.5029 ((6 . 2) (7 . 3) (8 . 4) (9 . 5)) 4299 0.4995 8.0310 ((1 . 11) (7 . 19) (8 . 20) (9 . 22)) 4301 0.5000 4.1561 ((1 . 1) (2 . 2) (7 . 8) (9 . 10)) 4326 0.4997 7.1200 ((4 . 5) (6 . 6) (7 . 7) (9 . 10)) 4332 0.4999 5.4493 ((1 . 2) (2 . 4) (4 . 5) (7 . 9)) 4338 0.6239 7.3883 ((2 . 4) (4 . 5) (7 . 6) (8 . 7) (9 . 8)) 4352 0.3670 7.0379 ((1 . 9) (2 . 10) (3 . 12) (6 . 13)) 4359 0.4998 6.1782 ((1 . 10) (2 . 11) (8 . 17) (9 . 18)) 4380 0.4998 6.5365 ((1 . 23) (2 . 24) (7 . 30) (8 . 31)) 4383 0.0999 7.3193 ((1 . 14) (2 . 15) (7 . 18) (9 . 21)) 4386 0.4992 9.0576 ((1 . 9) (2 . 10) (3 . 11) (6 . 13)) 4388 0.4997 6.9072 ((1 . 3) (3 . 4) (7 . 9) (8 . 10)) 4398 0.4995 8.2191 ((2 . 4) (4 . 5) (7 . 8) (9 . 10)) 4405 0.3669 9.7389 ((1 . 14) (3 . 17) (6 . 20) (7 . 21)) 4408 0.4997 7.2067 ((1 . 6) (2 . 7) (7 . 13) (8 . 14)) 4419 0.5000 3.6512 ((2 . 3) (7 . 8) (8 . 9) (9 . 10)) 4470 0.4999 5.1809 ((1 . 2) (2 . 3) (8 . 9) (9 . 10)) 4492 0.4996 7.7094 ((2 . 13) (4 . 14) (7 . 18) (9 . 21)) 4495 0.4966 13.0434 ((2 . 3) (4 . 5) (6 . 7) (9 . 10)) 4497 0.6246 5.7694 ((2 . 18) (4 . 20) (7 . 24) (8 . 25) (9 . 26)) 4502 0.4990 9.6593 ((1 . 10) (4 . 13) (6 . 16) (7 . 17)) 4503 0.4992 9.0052 ((4 . 2) (7 . 6) (8 . 7) (9 . 10)) 4504 0.4999 5.8270 ((1 . 6) (2 . 8) (4 . 10) (8 . 13)) 4505 0.6239 7.4445 ((1 . 25) (2 . 26) (6 . 29) (7 . 30) (9 . 34)) 4527 0.4993 8.6217 ((2 . 1) (4 . 2) (7 . 6) (8 . 7)) 4538 0.4982 11.1198 ((3 . 27) (4 . 29) (7 . 33) (8 . 34)) 4551 0.1987 8.9355 ((1 . 1) (2 . 2) (6 . 7) (7 . 8)) 4560 0.4975 12.0216 ((2 . 6) (4 . 7) (6 . 10) (9 . 13)) 4561 0.4994 8.2729 ((2 . 1) (6 . 4) (7 . 5) (9 . 9)) 4562 0.2910 8.4978 ((2 . 19) (6 . 21) (7 . 22) (9 . 27)) 4563 0.4991 9.3973 ((4 . 25) (6 . 27) (7 . 28) (9 . 31)) 4577 0.4998 6.7440 ((1 . 37) (2 . 38) (7 . 42) (8 . 43)) 4579 0.4993 8.7617 ((3 . 11) (4 . 13) (6 . 16) (8 . 17)) 4588 0.6733 10.4545 ((2 . 1) (4 . 2) (6 . 4) (7 . 7) (8 . 8) (9 . 9)) 4589 0.4998 6.7581 ((1 . 22) (6 . 26) (7 . 27) (8 . 30)) 4607 0.1662 5.1160 ((1 . 3) (2 . 4) (4 . 5) (6 . 8)) 4621 0.4999 4.9637 ((1 . 3) (2 . 4) (7 . 9) (8 . 11)) 4630 0.4994 8.3797 ((1 . 7) (2 . 8) (7 . 14) (8 . 15)) 4653 0.6238 7.6059 ((2 . 1) (4 . 2) (7 . 5) (8 . 6) (9 . 7)) 4665 0.4977 11.8780 ((4 . 9) (7 . 11) (8 . 12) (9 . 13)) 4668 0.6202 10.7656 ((2 . 5) (4 . 6) (6 . 8) (7 . 9) (9 . 11)) 4669 0.4996 7.6404 ((1 . 12) (2 . 13) (6 . 16) (9 . 21)) 4671 0.4994 8.5011 ((1 . 1) (2 . 2) (6 . 5) (9 . 7)) 4674 0.8726 5.8972 ((1 . 1) (2 . 2) (4 . 4) (6 . 5) (7 . 6) (8 . 8) (9 . 9)) 4678 0.2910 7.8668 ((3 . 3) (4 . 5) (7 . 6) (9 . 10)) 4715 0.4203 7.6457 ((3 . 1) (4 . 2) (7 . 3) (8 . 6)) 4731 0.4992 9.1179 ((1 . 18) (4 . 19) (7 . 23) (8 . 24)) 4857 0.4998 6.4315 ((1 . 3) (3 . 4) (7 . 9) (8 . 11)) 4886 0.4995 7.9955 ((4 . 27) (7 . 29) (8 . 30) (9 . 31)) 4888 0.4997 7.3464 ((1 . 14) (2 . 15) (4 . 18) (6 . 19)) 4889 0.1987 9.1334 ((1 . 6) (2 . 7) (6 . 9) (8 . 11)) 4907 0.4998 6.2802 ((1 . 1) (2 . 3) (8 . 8) (9 . 9)) 4914 0.1987 6.4671 ((1 . 4) (2 . 5) (7 . 10) (8 . 12)) 4921 0.4992 9.0308 ((1 . 8) (2 . 9) (8 . 14) (9 . 15)) 4929 0.4996 7.5542 ((1 . 28) (7 . 32) (8 . 33) (9 . 34)) 4932 0.4997 7.1999 ((1 . 5) (2 . 6) (4 . 7) (7 . 10)) 4940 0.2462 6.9459 ((1 . 1) (2 . 2) (6 . 5) (7 . 7)) 4944 0.4997 6.8118 ((2 . 11) (4 . 12) (8 . 15) (9 . 16)) 4961 0.4527 8.7214 ((2 . 14) (4 . 16) (6 . 18) (7 . 20)) 4978 0.4997 7.2533 ((1 . 25) (3 . 26) (6 . 27) (7 . 28)) 4982 0.4993 8.8733 ((2 . 1) (6 . 2) (7 . 3) (9 . 6)) 4992 0.6212 10.1601 ((1 . 2) (2 . 3) (6 . 4) (8 . 6) (9 . 9)) 4998 0.2909 11.1647 ((2 . 15) (6 . 17) (8 . 19) (9 . 20)) 5029 0.4993 8.8029 ((2 . 2) (6 . 5) (7 . 6) (9 . 10)) 5036 0.4998 6.0269 ((2 . 2) (7 . 6) (8 . 7) (9 . 8)) 5038 0.4999 4.9863 ((6 . 13) (7 . 14) (8 . 15) (9 . 16)) 5039 0.4994 8.3750 ((2 . 37) (6 . 40) (7 . 41) (9 . 44)) 5044 0.4986 10.3712 ((6 . 4) (7 . 3) (8 . 8) (9 . 9)) 5046 0.4999 5.8484 ((1 . 3) (2 . 4) (7 . 8) (8 . 10)) 5053 0.4996 7.7162 ((1 . 3) (6 . 7) (8 . 9) (9 . 10)) 5065 0.7492 5.4377 ((1 . 2) (2 . 3) (4 . 5) (7 . 9) (8 . 10) (9 . 11)) 5068 0.4980 11.3815 ((1 . 7) (3 . 9) (8 . 15) (9 . 16)) 5069 0.4998 6.5463 ((6 . 3) (7 . 4) (8 . 5) (9 . 7)) 5073 0.4993 8.6491 ((2 . 34) (4 . 35) (6 . 37) (7 . 39)) 5083 0.2910 7.1850 ((6 . 3) (7 . 5) (8 . 6) (9 . 8)) 5101 0.4996 7.4088 ((2 . 3) (4 . 4) (7 . 7) (9 . 9)) 5103 0.4996 7.4110 ((2 . 13) (4 . 14) (7 . 17) (9 . 19)) 5121 0.4987 10.2004 ((1 . 21) (3 . 22) (7 . 25) (8 . 26)) 5132 0.4989 9.7971 ((2 . 18) (4 . 19) (6 . 21) (7 . 22)) 5134 0.2909 10.1607 ((4 . 8) (6 . 11) (8 . 13) (9 . 14)) 5145 0.2909 9.4205 ((6 . 2) (7 . 3) (8 . 5) (9 . 8)) 5167 0.1987 6.0294 ((1 . 3) (2 . 4) (6 . 7) (8 . 9)) 5176 0.4999 5.8309 ((2 . 82) (7 . 86) (8 . 87) (9 . 88)) 5192 0.1497 10.8828 ((1 . 9) (3 . 11) (6 . 13) (9 . 17)) 5198 0.4983 10.9125 ((1 . 19) (2 . 21) (6 . 23) (9 . 26)) 5199 0.2981 6.0133 ((1 . 4) (3 . 6) (4 . 2) (7 . 8) (8 . 9) (9 . 10)) 5209 0.4996 7.8157 ((6 . 6) (7 . 7) (8 . 8) (9 . 9)) 5212 0.4195 11.6830 ((1 . 3) (3 . 7) (4 . 8) (6 . 9)) 5215 0.4998 5.9904 ((1 . 9) (2 . 10) (4 . 13) (8 . 15)) 5223 0.4991 9.4281 ((3 . 13) (4 . 14) (6 . 16) (7 . 17)) 5231 0.4997 7.1751 ((6 . 9) (7 . 12) (8 . 13) (9 . 14)) 5266 0.4997 7.0953 ((2 . 4) (4 . 5) (7 . 8) (9 . 10)) 5278 0.4997 7.0397 ((1 . 2) (2 . 5) (7 . 9) (8 . 10)) 5307 0.6232 8.3998 ((2 . 51) (4 . 52) (7 . 55) (8 . 57) (9 . 58)) 5312 0.2462 8.8022 ((1 . 3) (2 . 4) (6 . 6) (7 . 7)) 5318 0.2910 8.0485 ((4 . 6) (6 . 7) (7 . 8) (9 . 11)) 5324 0.4994 8.4321 ((2 . 12) (4 . 13) (7 . 15) (8 . 16)) 5344 0.6232 8.3671 ((2 . 4) (4 . 5) (7 . 8) (8 . 9) (9 . 10)) 5345 0.4999 5.8401 ((1 . 7) (2 . 8) (8 . 16) (9 . 17)) 5368 0.4998 5.9933 ((1 . 16) (2 . 17) (7 . 21) (9 . 25)) 5378 0.4961 13.5253 ((1 . 3) (6 . 5) (7 . 6) (9 . 8)) 5411 0.4202 8.0000 ((4 . 1) (6 . 2) (7 . 3) (9 . 6)) 5414 0.6248 4.5623 ((1 . 14) (2 . 15) (7 . 20) (8 . 21) (9 . 22)) 5418 0.4998 6.5937 ((1 . 2) (2 . 3) (4 . 4) (7 . 8)) 5433 0.4203 7.5121 ((2 . 4) (7 . 12) (8 . 13) (9 . 16)) 5479 0.4998 6.4037 ((1 . 52) (2 . 53) (7 . 58) (9 . 62)) 5487 0.4992 9.0375 ((2 . 7) (4 . 8) (6 . 10) (7 . 11)) 5489 0.4997 7.3611 ((1 . 5) (2 . 6) (7 . 11) (8 . 12)) 5500 0.4990 9.5357 ((2 . 1) (6 . 6) (7 . 7) (9 . 12)) 5501 0.4996 7.8113 ((3 . 21) (4 . 22) (7 . 24) (8 . 25)) 5525 0.3670 6.9021 ((1 . 7) (2 . 8) (3 . 10) (6 . 11)) 5535 0.5522 7.1604 ((2 . 4) (3 . 5) (7 . 9) (8 . 11) (9 . 12)) 5540 0.1986 16.8603 ((1 . 1) (6 . 5) (8 . 7) (9 . 8)) 5557 0.2909 9.1623 ((1 . 3) (2 . 4) (6 . 5) (7 . 6)) 5560 0.4998 6.7387 ((1 . 11) (2 . 13) (6 . 16) (9 . 20)) 5562 0.1987 8.7261 ((1 . 7) (4 . 9) (6 . 12) (8 . 14)) 5567 0.4999 5.5706 ((2 . 11) (4 . 14) (8 . 18) (9 . 19)) 5594 0.4994 8.2479 ((1 . 3) (2 . 4) (6 . 7) (7 . 9)) 5600 0.4998 6.1188 ((1 . 5) (2 . 6) (4 . 7) (7 . 11)) 5601 0.4996 7.6879 ((6 . 4) (7 . 5) (8 . 7) (9 . 8)) 5638 0.4997 7.0709 ((1 . 8) (2 . 9) (4 . 12) (6 . 14)) 5640 0.4999 5.2336 ((2 . 6) (7 . 10) (8 . 11) (9 . 12)) 5644 0.6217 9.7650 ((1 . 4) (2 . 8) (7 . 12) (8 . 13) (9 . 14)) 5656 0.5000 4.4473 ((1 . 2) (2 . 3) (8 . 9) (9 . 10)) 5700 0.6202 10.7762 ((1 . 3) (2 . 4) (6 . 7) (8 . 8) (9 . 9)) 5701 0.4998 6.4305 ((6 . 3) (7 . 4) (8 . 5) (9 . 8)) 5703 0.4998 6.0815 ((1 . 2) (7 . 6) (8 . 7) (9 . 8)) 5711 0.4998 6.3542 ((2 . 31) (7 . 33) (8 . 35) (9 . 36)) 5713 0.4998 6.0562 ((1 . 2) (2 . 3) (8 . 10) (9 . 11)) 5718 0.4998 6.0785 ((1 . 16) (2 . 17) (7 . 24) (8 . 25)) 5731 0.4994 8.4622 ((1 . 2) (2 . 3) (7 . 7) (8 . 9)) 5746 0.4997 7.1141 ((1 . 2) (2 . 3) (7 . 8) (8 . 10)) 5749 0.4992 8.9528 ((4 . 2) (7 . 4) (8 . 5) (9 . 6)) 5761 0.3670 7.3892 ((1 . 31) (2 . 32) (6 . 34) (7 . 36)) 5770 0.2462 9.1815 ((4 . 7) (7 . 9) (8 . 12) (9 . 15)) 5771 0.4991 9.3125 ((3 . 7) (6 . 10) (8 . 13) (9 . 15)) 5782 0.4999 5.7046 ((1 . 14) (2 . 15) (4 . 17) (7 . 22)) 5789 0.1662 8.7289 ((3 . 3) (4 . 4) (6 . 6) (7 . 5)) 5794 0.4998 6.5805 ((1 . 18) (2 . 19) (7 . 23) (8 . 24)) 5795 0.4202 8.5774 ((2 . 1) (3 . 2) (4 . 3) (8 . 6)) 5809 0.4991 9.4019 ((1 . 7) (6 . 11) (8 . 14) (9 . 15)) 5822 0.4996 7.4033 ((1 . 1) (2 . 2) (7 . 6) (8 . 8)) 5827 0.4998 6.6461 ((1 . 4) (2 . 5) (6 . 10) (7 . 11)) 5830 0.4991 9.2358 ((1 . 10) (3 . 11) (8 . 17) (9 . 18)) 5847 0.4994 8.5795 ((1 . 9) (7 . 16) (8 . 17) (9 . 18)) 5861 0.5000 4.1777 ((1 . 6) (2 . 7) (7 . 12) (9 . 15)) 5865 0.2909 10.0927 ((1 . 2) (2 . 4) (4 . 6) (7 . 7)) 5878 0.2910 7.6582 ((6 . 24) (7 . 26) (8 . 29) (9 . 30)) 5888 0.4998 6.2913 ((1 . 20) (2 . 21) (8 . 28) (9 . 29)) 5904 0.4991 9.4436 ((2 . 7) (4 . 8) (6 . 10) (7 . 11)) 5913 0.4990 9.5951 ((4 . 1) (6 . 4) (8 . 5) (9 . 6)) 5922 0.4997 6.9177 ((2 . 4) (7 . 9) (8 . 10) (9 . 11)) 5930 0.4974 12.2129 ((3 . 5) (7 . 8) (8 . 9) (9 . 12)) 5939 0.4992 8.9167 ((2 . 2) (4 . 3) (8 . 6) (9 . 8)) 5945 0.4999 5.4550 ((1 . 32) (2 . 33) (7 . 37) (8 . 38)) 5949 0.4992 9.1330 ((1 . 1) (3 . 3) (8 . 9) (9 . 10)) 5955 0.4990 9.6623 ((2 . 1) (3 . 2) (6 . 6) (9 . 9)) 5972 0.4204 6.4115 ((1 . 6) (3 . 4) (4 . 5) (6 . 8)) 5977 0.2909 10.4081 ((2 . 3) (3 . 2) (4 . 4) (7 . 6)) 6000 0.4994 8.5182 ((1 . 28) (2 . 31) (3 . 30) (4 . 32)) 6011 0.4998 6.5419 ((2 . 3) (7 . 8) (8 . 9) (9 . 10)) 6022 0.4996 7.5610 ((2 . 1) (7 . 5) (8 . 7) (9 . 8)) 6028 0.4202 8.6227 ((1 . 3) (3 . 4) (6 . 8) (7 . 9)) 6029 0.4998 6.2000 ((1 . 5) (2 . 6) (7 . 10) (8 . 11)) 6041 0.4995 7.8839 ((1 . 8) (3 . 9) (6 . 14) (9 . 15)) 6046 0.5000 4.3552 ((6 . 1) (7 . 3) (8 . 5) (9 . 6)) 6061 0.4979 11.5027 ((6 . 12) (7 . 13) (8 . 14) (9 . 15)) 6074 0.4994 8.2949 ((3 . 1) (6 . 5) (8 . 6) (9 . 8)) 6075 0.5000 3.5729 ((2 . 17) (3 . 18) (4 . 19) (9 . 27)) 6079 0.6238 7.6500 ((2 . 1) (4 . 2) (7 . 6) (8 . 7) (9 . 8)) 6087 0.4990 9.6204 ((2 . 3) (6 . 7) (8 . 8) (9 . 10)) 6089 0.4996 7.6422 ((2 . 1) (4 . 2) (6 . 4) (7 . 5)) 6094 0.4996 7.5577 ((6 . 6) (7 . 7) (8 . 10) (9 . 11)) 6099 0.6236 7.8718 ((1 . 25) (2 . 26) (7 . 29) (8 . 30) (9 . 31)) 6123 0.3671 6.2296 ((1 . 4) (2 . 5) (3 . 6) (6 . 7)) 6142 0.6247 5.4578 ((1 . 16) (2 . 18) (7 . 20) (8 . 24) (9 . 25)) 6167 0.1497 11.1649 ((1 . 9) (7 . 17) (8 . 20) (9 . 21)) 6173 0.4999 5.3379 ((1 . 3) (2 . 4) (7 . 9) (8 . 11)) 6191 0.6244 6.4371 ((1 . 3) (2 . 4) (4 . 5) (7 . 9) (8 . 10)) 6192 0.4986 10.4805 ((2 . 5) (6 . 7) (8 . 10) (9 . 11)) 6225 0.4994 8.2558 ((1 . 4) (2 . 5) (6 . 9) (9 . 12)) 6228 0.4998 6.0795 ((1 . 11) (2 . 12) (7 . 15) (8 . 19)) 6234 0.4998 6.3341 ((6 . 8) (7 . 9) (8 . 10) (9 . 13)) 6238 0.1987 7.4418 ((6 . 2) (7 . 3) (8 . 4) (9 . 5)) 6243 0.4998 6.2232 ((1 . 2) (2 . 3) (6 . 7) (9 . 10)) 6251 0.3668 10.2994 ((2 . 10) (4 . 11) (6 . 14) (9 . 17)) 6258 0.4995 8.1084 ((2 . 7) (4 . 8) (7 . 10) (9 . 12)) 6261 0.4990 9.4886 ((2 . 11) (6 . 17) (8 . 19) (9 . 21)) 6266 0.4996 7.8148 ((2 . 3) (4 . 4) (7 . 6) (9 . 8)) 6270 0.4982 11.1757 ((1 . 9) (3 . 11) (6 . 14) (9 . 18)) 6271 0.5000 4.4755 ((1 . 4) (2 . 5) (7 . 10) (8 . 11)) 6273 0.4996 7.4966 ((1 . 1) (2 . 2) (7 . 6) (8 . 7)) 6294 0.3663 13.2868 ((1 . 16) (6 . 21) (7 . 23) (9 . 27)) 6306 0.4998 6.0392 ((1 . 15) (2 . 16) (7 . 20) (8 . 21)) 6309 0.4997 7.1014 ((1 . 18) (3 . 19) (7 . 25) (8 . 27)) 6311 0.4998 6.0669 ((1 . 4) (2 . 5) (7 . 10) (8 . 11)) 6326 0.5523 6.7038 ((1 . 2) (2 . 3) (7 . 6) (8 . 7) (9 . 12)) 6344 0.4997 7.0072 ((1 . 3) (2 . 4) (4 . 5) (7 . 7)) 6345 0.1987 9.4651 ((4 . 1) (6 . 2) (8 . 4) (9 . 6)) 6348 0.1662 8.5645 ((2 . 1) (3 . 2) (4 . 3) (6 . 5)) 6355 0.4998 5.9996 ((1 . 4) (2 . 6) (7 . 11) (8 . 12)) 6356 0.4993 8.6311 ((2 . 6) (4 . 8) (6 . 10) (7 . 11)) 6369 0.4990 9.5096 ((2 . 29) (4 . 30) (7 . 33) (8 . 35)) 6376 0.4996 7.4100 ((6 . 23) (7 . 24) (8 . 26) (9 . 27)) 6391 0.4994 8.3236 ((6 . 7) (7 . 8) (8 . 10) (9 . 12)) 6392 0.2910 8.0490 ((1 . 1) (3 . 2) (6 . 5) (8 . 7)) 6399 0.4999 5.7856 ((1 . 14) (2 . 15) (7 . 19) (8 . 20)) 6403 0.4997 7.1973 ((1 . 4) (2 . 5) (6 . 9) (7 . 10)) 6434 0.4998 6.1501 ((6 . 1) (7 . 3) (8 . 4) (9 . 5)) 6461 0.4994 8.4267 ((1 . 3) (3 . 4) (4 . 5) (7 . 6)) 6462 0.4991 9.2611 ((6 . 1) (7 . 4) (8 . 5) (9 . 6)) 6476 0.2910 7.9593 ((1 . 4) (3 . 6) (4 . 7) (7 . 9)) 6498 0.4998 6.6676 ((6 . 36) (7 . 37) (8 . 40) (9 . 42)) 6520 0.6243 6.6883 ((2 . 9) (6 . 11) (7 . 13) (8 . 14) (9 . 15)) 6539 0.4994 8.2539 ((1 . 2) (4 . 7) (6 . 9) (7 . 10)) 6540 0.4996 7.6477 ((2 . 16) (7 . 20) (8 . 21) (9 . 22)) 6548 0.4997 7.1615 ((6 . 8) (7 . 9) (8 . 12) (9 . 13)) 6553 0.4997 7.1805 ((4 . 10) (6 . 12) (7 . 13) (9 . 17)) 6555 0.1987 10.1851 ((1 . 17) (4 . 21) (8 . 24) (9 . 26)) 6561 0.4998 6.6666 ((1 . 9) (2 . 10) (8 . 13) (9 . 15)) 6573 0.4994 8.3027 ((2 . 19) (7 . 22) (8 . 23) (9 . 25)) 6575 0.4994 8.4277 ((1 . 2) (2 . 5) (4 . 6) (6 . 7)) 6578 0.4997 7.2285 ((6 . 33) (7 . 34) (8 . 37) (9 . 38)) 6584 0.4996 7.3927 ((1 . 2) (3 . 4) (7 . 8) (8 . 9)) 6585 0.4998 6.5846 ((1 . 10) (4 . 12) (7 . 14) (8 . 15)) 6587 0.3670 8.3107 ((4 . 28) (6 . 30) (7 . 31) (8 . 33)) 6598 0.6243 6.7336 ((1 . 5) (2 . 6) (7 . 8) (8 . 10) (9 . 11)) 6613 0.4996 7.4275 ((1 . 27) (2 . 28) (8 . 33) (9 . 34)) 6635 0.4996 7.7125 ((1 . 5) (2 . 7) (3 . 9) (6 . 10)) END