4190 25 0.4521 10.9907 ((4 . 1) (6 . 2) (7 . 4) (9 . 6)) 51 0.4996 7.8363 ((1 . 6) (3 . 7) (8 . 13) (9 . 14)) 62 0.4997 6.8712 ((2 . 9) (7 . 15) (8 . 16) (9 . 17)) 77 0.7500 2.5261 ((1 . 7) (3 . 8) (6 . 10) (7 . 12) (8 . 13) (9 . 15)) 91 0.4999 5.3937 ((1 . 16) (3 . 28) (7 . 30) (8 . 31)) 96 0.1995 5.8586 ((1 . 3) (3 . 1) (6 . 2) (8 . 5) (9 . 6)) 136 0.4987 10.2029 ((4 . 2) (6 . 4) (8 . 7) (9 . 8)) 147 0.4197 11.0312 ((2 . 2) (4 . 3) (6 . 5) (7 . 6)) 150 0.1662 8.9028 ((2 . 18) (3 . 19) (7 . 21) (8 . 23)) 153 0.4974 12.2340 ((1 . 4) (3 . 6) (8 . 10) (9 . 12)) 157 0.2462 8.1761 ((1 . 11) (4 . 13) (6 . 15) (7 . 17)) 162 0.4999 4.6228 ((3 . 12) (7 . 16) (8 . 17) (9 . 18)) 169 0.4979 11.6133 ((1 . 1) (3 . 4) (8 . 9) (9 . 10)) 177 0.4997 7.3265 ((1 . 1) (3 . 3) (8 . 8) (9 . 10)) 191 0.4997 7.0837 ((1 . 1) (3 . 2) (8 . 6) (9 . 7)) 207 0.4202 8.0119 ((2 . 6) (3 . 7) (6 . 11) (9 . 15)) 300 0.4999 5.4951 ((1 . 9) (3 . 10) (8 . 16) (9 . 17)) 305 0.6214 9.9789 ((1 . 12) (3 . 16) (7 . 20) (8 . 21) (9 . 22)) 315 0.1497 11.1132 ((1 . 3) (2 . 2) (3 . 5) (8 . 10)) 329 0.4989 9.7928 ((6 . 1) (7 . 3) (8 . 4) (9 . 5)) 340 0.3670 8.7529 ((1 . 1) (3 . 2) (6 . 5) (8 . 9)) 350 0.4957 13.8193 ((1 . 1) (3 . 4) (8 . 11) (9 . 13)) 360 0.4992 9.0561 ((1 . 3) (3 . 5) (8 . 10) (9 . 12)) 361 0.4959 13.6543 ((2 . 3) (4 . 5) (6 . 6) (7 . 7)) 367 0.5000 4.1987 ((1 . 38) (3 . 40) (8 . 42) (9 . 48)) 387 0.2909 9.5465 ((2 . 6) (3 . 7) (8 . 11) (9 . 12)) 405 0.4930 15.7003 ((1 . 31) (3 . 32) (8 . 39) (9 . 40)) 417 0.5000 4.3152 ((3 . 1) (7 . 6) (8 . 7) (9 . 9)) 420 0.4999 5.8487 ((1 . 1) (3 . 2) (8 . 8) (9 . 9)) 433 0.4993 8.7666 ((1 . 1) (2 . 3) (3 . 5) (9 . 9)) 442 0.4996 7.5037 ((3 . 4) (7 . 9) (8 . 10) (9 . 12)) 472 0.4996 7.4517 ((6 . 23) (7 . 24) (8 . 25) (9 . 27)) 491 0.4202 8.6247 ((4 . 2) (6 . 5) (8 . 6) (9 . 8)) 495 0.4996 7.8336 ((3 . 3) (7 . 6) (8 . 8) (9 . 9)) 541 0.4997 6.9626 ((1 . 7) (7 . 13) (8 . 14) (9 . 16)) 543 0.4995 8.0243 ((3 . 5) (7 . 9) (8 . 10) (9 . 15)) 553 0.4198 10.8137 ((2 . 5) (6 . 7) (7 . 9) (9 . 12)) 561 0.5000 3.2339 ((3 . 1) (6 . 2) (7 . 5) (8 . 6)) 584 0.4998 6.3312 ((1 . 5) (2 . 6) (7 . 12) (8 . 13)) 587 0.1987 9.8565 ((1 . 11) (2 . 12) (3 . 13) (8 . 16)) 609 0.4987 10.2706 ((1 . 1) (6 . 5) (7 . 7) (8 . 8)) 619 0.3668 10.0838 ((3 . 4) (4 . 5) (8 . 11) (9 . 12)) 624 0.4998 6.7687 ((1 . 20) (3 . 22) (7 . 25) (8 . 26)) 635 0.4996 7.5904 ((6 . 9) (7 . 11) (8 . 13) (9 . 14)) 672 0.3669 9.9722 ((4 . 9) (6 . 12) (8 . 16) (9 . 18)) 678 0.4197 11.1593 ((3 . 26) (4 . 27) (6 . 28) (8 . 29)) 719 0.5000 4.4473 ((1 . 22) (3 . 25) (7 . 29) (8 . 30)) 729 0.4983 11.0070 ((3 . 7) (4 . 8) (6 . 12) (9 . 15)) 735 0.2908 11.7495 ((3 . 29) (6 . 30) (8 . 33) (9 . 36)) 796 0.4999 5.6056 ((3 . 3) (6 . 4) (7 . 7) (8 . 6)) 818 0.4202 8.1337 ((1 . 4) (7 . 11) (8 . 14) (9 . 16)) 819 0.0999 10.0187 ((1 . 3) (3 . 5) (8 . 9) (9 . 10)) 834 0.4172 16.0709 ((2 . 40) (4 . 42) (6 . 43) (7 . 44)) 861 0.4987 10.1405 ((1 . 7) (3 . 8) (7 . 11) (8 . 12)) 901 0.4999 4.7107 ((1 . 12) (2 . 13) (7 . 16) (8 . 17)) 928 0.4989 9.7464 ((2 . 13) (3 . 14) (6 . 15) (7 . 17)) 937 0.4997 6.8304 ((6 . 2) (7 . 3) (8 . 4) (9 . 5)) 943 0.4999 5.3202 ((1 . 1) (3 . 2) (6 . 3) (9 . 8)) 945 0.4988 10.1062 ((3 . 12) (6 . 13) (7 . 16) (9 . 19)) 960 0.5000 3.9938 ((1 . 8) (3 . 9) (6 . 11) (9 . 19)) 978 0.4998 6.0163 ((1 . 4) (3 . 6) (7 . 9) (8 . 10)) 980 0.4993 8.8461 ((2 . 2) (6 . 6) (7 . 8) (8 . 9)) 1005 0.4995 7.9737 ((1 . 1) (3 . 2) (4 . 4) (6 . 5)) 1007 0.2909 8.8345 ((2 . 6) (3 . 7) (8 . 13) (9 . 14)) 1008 0.2909 9.7102 ((1 . 5) (3 . 8) (4 . 11) (8 . 16)) 1034 0.4997 6.8423 ((6 . 23) (7 . 24) (8 . 25) (9 . 26)) 1043 0.4998 6.4345 ((3 . 10) (6 . 11) (8 . 14) (9 . 17)) 1082 0.5000 4.4979 ((1 . 8) (3 . 9) (6 . 11) (9 . 16)) 1084 0.4203 7.2030 ((1 . 18) (3 . 20) (6 . 21) (7 . 22)) 1124 0.1986 17.6296 ((2 . 11) (4 . 13) (6 . 15) (7 . 16)) 1165 0.4202 8.4644 ((1 . 2) (4 . 6) (7 . 9) (8 . 10)) 1167 0.2909 8.8453 ((1 . 22) (4 . 25) (6 . 26) (7 . 28)) 1195 0.4986 10.4352 ((6 . 1) (7 . 3) (8 . 4) (9 . 5)) 1201 0.1497 15.1375 ((1 . 9) (3 . 11) (4 . 13) (7 . 19)) 1204 0.4988 9.9845 ((2 . 13) (6 . 15) (7 . 18) (9 . 20)) 1211 0.4999 5.6516 ((1 . 4) (3 . 5) (8 . 11) (9 . 14)) 1217 0.2910 6.0807 ((2 . 2) (3 . 3) (8 . 9) (9 . 12)) 1224 0.4998 6.3448 ((1 . 3) (3 . 5) (8 . 9) (9 . 10)) 1233 0.4999 5.5500 ((1 . 14) (6 . 19) (7 . 21) (8 . 22)) 1267 0.4985 10.5277 ((1 . 4) (2 . 5) (6 . 7) (7 . 8)) 1268 0.4961 13.4716 ((1 . 22) (2 . 26) (3 . 25) (7 . 28)) 1294 0.4996 7.7314 ((1 . 39) (3 . 41) (8 . 46) (9 . 47)) 1345 0.5000 4.3895 ((1 . 7) (3 . 13) (8 . 14) (9 . 16)) 1366 0.4996 7.7490 ((1 . 12) (2 . 13) (8 . 21) (9 . 22)) 1388 0.4203 6.9108 ((6 . 2) (7 . 3) (8 . 4) (9 . 5)) 1435 0.4999 5.6767 ((1 . 5) (3 . 6) (4 . 9) (8 . 13)) 1447 0.4993 8.7033 ((1 . 3) (2 . 4) (7 . 8) (8 . 9)) 1451 0.4993 8.7024 ((1 . 3) (3 . 4) (8 . 9) (9 . 10)) 1472 0.1986 16.7580 ((1 . 8) (2 . 10) (4 . 11) (7 . 12)) 1476 0.3669 9.7177 ((1 . 9) (2 . 10) (7 . 16) (8 . 18)) 1481 0.1497 11.5249 ((1 . 1) (3 . 2) (4 . 3) (8 . 7)) 1497 0.2462 11.9791 ((2 . 9) (4 . 11) (6 . 12) (7 . 15)) 1501 0.4990 9.5564 ((1 . 1) (3 . 2) (8 . 7) (9 . 9)) 1508 0.3660 14.5639 ((2 . 1) (4 . 3) (6 . 4) (7 . 6)) 1513 0.4999 4.8178 ((1 . 2) (3 . 3) (6 . 4) (9 . 11)) 1514 0.4999 5.6902 ((3 . 1) (6 . 2) (7 . 5) (8 . 4)) 1577 0.4998 6.3013 ((6 . 1) (7 . 2) (8 . 3) (9 . 4)) 1591 0.4995 8.0375 ((1 . 11) (2 . 12) (7 . 15) (8 . 16)) 1595 0.4994 8.3458 ((2 . 1) (7 . 4) (8 . 7) (9 . 8)) 1604 0.4993 8.7393 ((1 . 3) (2 . 6) (7 . 11) (8 . 12)) 1622 0.3667 11.2548 ((3 . 20) (6 . 21) (8 . 24) (9 . 25)) 1643 0.4999 5.0396 ((1 . 20) (3 . 25) (8 . 28) (9 . 31)) 1690 0.4995 8.1078 ((1 . 18) (3 . 20) (4 . 22) (6 . 23)) 1692 0.4992 9.1313 ((3 . 1) (6 . 2) (7 . 4) (8 . 5)) 1731 0.4181 14.8399 ((3 . 6) (6 . 9) (7 . 10) (9 . 12)) 1736 0.4982 11.1120 ((1 . 1) (3 . 3) (8 . 7) (9 . 10)) 1738 0.4990 9.4660 ((1 . 4) (2 . 5) (7 . 10) (8 . 11)) 1747 0.4991 9.4237 ((1 . 18) (6 . 23) (8 . 27) (9 . 28)) 1759 0.4999 5.8552 ((1 . 1) (3 . 2) (8 . 9) (9 . 10)) 1761 0.6247 5.1393 ((1 . 7) (3 . 13) (7 . 14) (8 . 16) (9 . 20)) 1763 0.4200 9.6590 ((2 . 8) (6 . 11) (7 . 12) (8 . 13)) 1776 0.4992 9.1796 ((1 . 15) (3 . 19) (4 . 21) (6 . 22)) 1778 0.4999 5.8283 ((1 . 1) (3 . 2) (7 . 6) (8 . 8)) 1793 0.4997 7.1145 ((1 . 3) (3 . 4) (6 . 5) (9 . 8)) 1805 0.4999 5.7886 ((1 . 11) (3 . 12) (8 . 16) (9 . 17)) 1808 0.4995 7.8645 ((2 . 1) (7 . 7) (8 . 8) (9 . 9)) 1867 0.4193 12.2608 ((4 . 2) (6 . 4) (7 . 8) (8 . 7)) 1894 0.1662 7.1977 ((6 . 8) (7 . 9) (8 . 11) (9 . 12)) 1896 0.2462 10.8463 ((4 . 10) (6 . 12) (7 . 13) (9 . 17)) 1897 0.4991 9.4108 ((3 . 34) (7 . 38) (8 . 39) (9 . 40)) 1908 0.3671 5.8110 ((1 . 7) (7 . 14) (8 . 15) (9 . 17)) 1909 0.4992 8.9503 ((1 . 31) (2 . 32) (7 . 38) (8 . 39)) 1944 0.4996 7.4079 ((1 . 3) (3 . 5) (6 . 6) (9 . 9)) 1957 0.4989 9.7215 ((2 . 14) (3 . 15) (6 . 16) (7 . 18)) 1961 0.3669 9.7048 ((1 . 14) (3 . 15) (7 . 18) (9 . 21)) 1967 0.4999 5.4605 ((2 . 6) (7 . 11) (8 . 13) (9 . 14)) 1972 0.1987 9.5896 ((1 . 18) (6 . 21) (7 . 25) (8 . 24)) 1992 0.3666 11.7877 ((3 . 9) (4 . 10) (6 . 13) (8 . 14)) 1995 0.3668 10.7711 ((1 . 1) (4 . 5) (8 . 12) (9 . 13)) 2003 0.4988 10.0873 ((3 . 4) (4 . 6) (8 . 10) (9 . 12)) 2006 0.4999 4.9810 ((1 . 2) (3 . 7) (8 . 8) (9 . 9)) 2048 0.4204 4.5738 ((1 . 1) (2 . 2) (7 . 5) (8 . 6)) 2054 0.1987 9.3700 ((1 . 1) (3 . 2) (6 . 7) (7 . 9)) 2063 0.5000 4.1072 ((1 . 42) (3 . 43) (8 . 44) (9 . 50)) 2065 0.2462 9.4792 ((1 . 17) (2 . 20) (8 . 27) (9 . 28)) 2067 0.1661 18.5795 ((2 . 5) (4 . 6) (6 . 8) (9 . 15)) 2072 0.6245 6.2300 ((1 . 1) (3 . 2) (6 . 3) (8 . 6) (9 . 7)) 2081 0.6244 6.4916 ((1 . 12) (2 . 16) (3 . 20) (8 . 21) (9 . 23)) 2083 0.4991 9.4411 ((1 . 2) (2 . 3) (3 . 4) (7 . 8)) 2097 0.4995 7.8712 ((1 . 1) (3 . 4) (7 . 10) (9 . 14)) 2114 0.4996 7.7811 ((1 . 28) (3 . 29) (4 . 30) (8 . 36)) 2117 0.4996 7.6212 ((3 . 16) (6 . 19) (7 . 24) (8 . 25)) 2118 0.4989 9.7440 ((1 . 1) (3 . 3) (7 . 6) (8 . 7)) 2122 0.4992 8.9684 ((1 . 1) (2 . 5) (7 . 9) (8 . 10)) 2166 0.4992 9.0061 ((3 . 12) (7 . 14) (8 . 15) (9 . 16)) 2179 0.4999 5.7892 ((1 . 13) (2 . 15) (8 . 22) (9 . 23)) 2203 0.3667 11.5362 ((3 . 1) (4 . 3) (7 . 8) (8 . 7)) 2205 0.2909 10.0796 ((1 . 13) (3 . 15) (8 . 20) (9 . 22)) 2209 0.2909 9.4839 ((2 . 4) (7 . 8) (8 . 9) (9 . 10)) 2243 0.3668 10.5139 ((1 . 47) (2 . 48) (3 . 49) (8 . 53)) 2244 0.5000 3.6632 ((1 . 71) (3 . 74) (8 . 75) (9 . 80)) 2248 0.1987 7.6326 ((2 . 17) (3 . 16) (6 . 20) (7 . 23)) 2249 0.4998 6.5711 ((1 . 12) (7 . 19) (8 . 21) (9 . 23)) 2269 0.4998 6.1716 ((1 . 6) (3 . 7) (7 . 9) (8 . 10)) 2279 0.4991 9.2025 ((2 . 15) (3 . 19) (7 . 21) (8 . 22)) 2298 0.4992 9.0508 ((1 . 6) (2 . 7) (7 . 14) (8 . 15)) 2308 0.4997 6.9878 ((1 . 4) (3 . 5) (7 . 7) (8 . 8)) 2314 0.4998 6.3292 ((2 . 1) (3 . 2) (8 . 7) (9 . 8)) 2340 0.2462 10.5292 ((1 . 9) (3 . 11) (4 . 12) (7 . 15)) 2344 0.4198 10.7757 ((1 . 3) (6 . 8) (7 . 9) (8 . 10)) 2364 0.6247 5.1612 ((1 . 7) (3 . 15) (7 . 16) (8 . 18) (9 . 19)) 2381 0.4986 10.5038 ((1 . 3) (2 . 2) (3 . 4) (7 . 8)) 2389 0.4992 9.1092 ((1 . 3) (3 . 4) (8 . 10) (9 . 11)) 2408 0.4983 10.9316 ((1 . 38) (3 . 40) (8 . 46) (9 . 47)) 2422 0.4992 9.0644 ((3 . 1) (6 . 2) (8 . 7) (9 . 9)) 2423 0.6229 8.7194 ((1 . 17) (3 . 20) (7 . 23) (8 . 25) (9 . 26)) 2440 0.4999 5.9090 ((3 . 4) (6 . 5) (8 . 8) (9 . 9)) 2447 0.4992 9.1607 ((2 . 12) (6 . 14) (8 . 15) (9 . 18)) 2462 0.4983 10.9130 ((2 . 2) (3 . 3) (6 . 5) (8 . 7)) 2510 0.4994 8.4071 ((1 . 3) (2 . 4) (7 . 8) (8 . 9)) 2525 0.4998 6.4934 ((6 . 44) (7 . 46) (8 . 47) (9 . 48)) 2529 0.1599 6.3739 ((1 . 3) (3 . 1) (6 . 2) (7 . 7) (8 . 5) (9 . 6)) 2533 0.4999 4.9969 ((1 . 9) (7 . 17) (8 . 18) (9 . 19)) 2551 0.6245 6.0686 ((4 . 7) (6 . 8) (7 . 10) (8 . 11) (9 . 12)) 2556 0.4991 9.4107 ((1 . 11) (3 . 13) (8 . 18) (9 . 20)) 2557 0.4998 6.6210 ((6 . 4) (7 . 5) (8 . 6) (9 . 7)) 2561 0.2462 11.5940 ((1 . 1) (4 . 5) (8 . 8) (9 . 9)) 2595 0.2484 6.5306 ((1 . 4) (3 . 1) (7 . 5) (8 . 6) (9 . 9)) 2619 0.1497 7.6513 ((1 . 1) (3 . 2) (6 . 4) (8 . 7)) 2627 0.2462 11.3592 ((2 . 59) (3 . 60) (6 . 62) (8 . 65)) 2650 0.4991 9.3463 ((3 . 1) (7 . 4) (8 . 5) (9 . 6)) 2658 0.4999 5.3311 ((6 . 9) (7 . 11) (8 . 12) (9 . 13)) 2675 0.4999 5.7093 ((1 . 1) (6 . 9) (8 . 11) (9 . 12)) 2682 0.4970 12.6810 ((1 . 12) (3 . 15) (7 . 18) (8 . 19)) 2731 0.4997 6.9946 ((6 . 2) (7 . 3) (8 . 4) (9 . 5)) 2733 0.4998 6.4658 ((1 . 1) (3 . 2) (7 . 7) (8 . 8)) 2755 0.3669 8.9072 ((2 . 2) (3 . 3) (6 . 4) (9 . 8)) 2773 0.4997 7.0619 ((3 . 2) (7 . 4) (8 . 5) (9 . 6)) 2783 0.4993 8.7707 ((3 . 1) (7 . 4) (8 . 6) (9 . 7)) 2804 0.4997 7.2647 ((1 . 25) (2 . 28) (3 . 29) (7 . 35)) 2821 0.4984 10.7410 ((1 . 4) (3 . 7) (7 . 12) (8 . 13)) 2830 0.4977 11.7617 ((3 . 11) (4 . 12) (6 . 14) (9 . 17)) 2834 0.4996 7.4196 ((3 . 1) (6 . 2) (8 . 6) (9 . 8)) 2840 0.4183 14.4029 ((2 . 3) (3 . 6) (4 . 7) (7 . 10)) 2842 0.4999 5.0286 ((1 . 4) (3 . 5) (7 . 8) (8 . 9)) 2867 0.4198 10.5934 ((1 . 8) (2 . 10) (3 . 9) (7 . 13)) 2879 0.2909 8.9658 ((1 . 51) (3 . 53) (6 . 55) (8 . 59)) 2940 0.4998 6.5631 ((3 . 1) (6 . 2) (8 . 5) (9 . 6)) 2947 0.4990 9.6723 ((3 . 7) (4 . 8) (6 . 9) (8 . 13)) 2966 0.4996 7.7902 ((1 . 6) (3 . 9) (8 . 16) (9 . 17)) 2990 0.4996 7.6771 ((6 . 17) (7 . 18) (8 . 19) (9 . 20)) 2999 0.4989 9.8690 ((4 . 1) (7 . 5) (8 . 6) (9 . 7)) 3014 0.2458 18.6975 ((1 . 23) (2 . 26) (7 . 31) (9 . 35)) 3019 0.6228 8.8441 ((1 . 19) (3 . 20) (6 . 21) (7 . 24) (8 . 25)) 3034 0.4984 10.8142 ((1 . 9) (2 . 11) (6 . 13) (7 . 15)) 3041 0.4997 7.0129 ((4 . 27) (6 . 28) (8 . 32) (9 . 33)) 3055 0.1987 6.2666 ((1 . 19) (3 . 20) (8 . 27) (9 . 28)) 3063 0.4995 7.8855 ((1 . 31) (3 . 32) (8 . 37) (9 . 38)) 3070 0.0999 8.9706 ((4 . 31) (7 . 34) (8 . 35) (9 . 36)) 3084 0.3669 9.9489 ((2 . 16) (3 . 17) (6 . 18) (7 . 20)) 3102 0.4996 7.5397 ((1 . 69) (3 . 70) (8 . 76) (9 . 77)) 3103 0.4997 7.2678 ((1 . 3) (3 . 5) (8 . 11) (9 . 13)) 3120 0.2462 7.9078 ((1 . 21) (3 . 22) (4 . 23) (6 . 24)) 3127 0.4993 8.7117 ((1 . 6) (2 . 7) (7 . 12) (8 . 13)) 3176 0.4998 6.4463 ((2 . 21) (6 . 23) (8 . 27) (9 . 29)) 3187 0.4998 6.2310 ((1 . 3) (3 . 4) (8 . 7) (9 . 9)) 3197 0.4961 13.5561 ((3 . 12) (4 . 13) (6 . 15) (9 . 19)) 3200 0.4999 4.6702 ((1 . 9) (4 . 12) (8 . 16) (9 . 18)) 3202 0.4979 11.5918 ((1 . 9) (2 . 10) (8 . 18) (9 . 19)) 3212 0.4986 10.4433 ((1 . 3) (3 . 5) (4 . 7) (7 . 10)) 3222 0.4985 10.6869 ((2 . 5) (3 . 6) (8 . 14) (9 . 15)) 3256 0.4997 6.9000 ((1 . 13) (3 . 19) (8 . 26) (9 . 28)) 3261 0.4993 8.7492 ((1 . 2) (3 . 3) (8 . 8) (9 . 9)) 3286 0.1332 7.4902 ((1 . 3) (3 . 4) (7 . 6) (8 . 7)) 3297 0.4996 7.6707 ((1 . 7) (3 . 8) (8 . 12) (9 . 13)) 3322 0.4989 9.7357 ((1 . 1) (2 . 2) (7 . 6) (8 . 7)) 3334 0.4203 7.1514 ((1 . 1) (2 . 2) (3 . 4) (7 . 9)) 3339 0.4999 5.8937 ((1 . 28) (3 . 33) (6 . 35) (7 . 36)) 3358 0.2909 9.8887 ((2 . 3) (7 . 9) (8 . 10) (9 . 12)) 3362 0.4999 5.4372 ((3 . 6) (6 . 7) (8 . 10) (9 . 11)) 3366 0.1987 10.0209 ((1 . 22) (3 . 26) (8 . 29) (9 . 31)) 3391 0.4994 8.5076 ((1 . 4) (3 . 6) (8 . 10) (9 . 13)) 3410 0.2909 10.8123 ((3 . 19) (6 . 20) (7 . 23) (9 . 28)) 3418 0.2462 10.6329 ((6 . 1) (7 . 3) (8 . 5) (9 . 6)) 3446 0.4203 7.2527 ((2 . 1) (7 . 4) (8 . 5) (9 . 6)) 3472 0.4993 8.6424 ((1 . 3) (3 . 4) (8 . 11) (9 . 12)) 3489 0.4996 7.8363 ((1 . 3) (3 . 4) (8 . 12) (9 . 14)) 3495 0.4996 7.5164 ((1 . 1) (3 . 2) (8 . 7) (9 . 8)) 3496 0.4996 7.4585 ((1 . 22) (3 . 23) (6 . 25) (9 . 29)) 3537 0.4990 9.6318 ((1 . 2) (2 . 3) (8 . 9) (9 . 10)) 3538 0.4203 6.9006 ((1 . 18) (3 . 20) (6 . 21) (7 . 22)) 3548 0.4993 8.8671 ((1 . 2) (3 . 3) (8 . 9) (9 . 10)) 3561 0.4997 7.3349 ((2 . 21) (7 . 27) (8 . 28) (9 . 30)) 3570 0.6235 8.0204 ((3 . 1) (6 . 2) (7 . 6) (8 . 7) (9 . 8)) 3585 0.4996 7.6385 ((1 . 5) (3 . 6) (8 . 13) (9 . 14)) 3613 0.4200 9.7650 ((1 . 35) (3 . 36) (4 . 38) (6 . 39)) 3626 0.2910 6.7934 ((2 . 1) (3 . 2) (8 . 8) (9 . 11)) 3628 0.4991 9.2527 ((1 . 6) (2 . 7) (7 . 11) (8 . 12)) 3651 0.4996 7.7857 ((1 . 1) (6 . 6) (7 . 7) (8 . 8)) 3658 0.4998 6.0346 ((3 . 1) (6 . 2) (8 . 6) (9 . 7)) 3659 0.4964 13.2604 ((2 . 4) (4 . 6) (8 . 12) (9 . 13)) 3661 0.4997 6.9700 ((4 . 5) (7 . 10) (8 . 11) (9 . 12)) 3663 0.1332 6.8116 ((1 . 1) (3 . 2) (6 . 4) (7 . 6)) 3688 0.4970 12.6256 ((1 . 3) (6 . 10) (8 . 12) (9 . 14)) 3697 0.4992 8.9772 ((1 . 1) (3 . 3) (8 . 6) (9 . 7)) 3703 0.2961 7.7362 ((1 . 1) (3 . 3) (6 . 5) (8 . 7) (9 . 8)) 3732 0.4993 8.7114 ((3 . 5) (4 . 6) (8 . 11) (9 . 12)) 3733 0.4985 10.5503 ((3 . 1) (6 . 4) (7 . 5) (9 . 8)) 3740 0.2909 9.1099 ((1 . 1) (3 . 2) (8 . 6) (9 . 9)) 3741 0.4998 6.3194 ((1 . 22) (3 . 23) (8 . 28) (9 . 32)) 3776 0.4999 5.2232 ((3 . 15) (6 . 16) (8 . 21) (9 . 24)) 3778 0.4989 9.9072 ((3 . 6) (7 . 9) (8 . 12) (9 . 13)) 3787 0.4995 8.0758 ((1 . 7) (2 . 8) (7 . 11) (8 . 12)) 3790 0.4998 6.3645 ((2 . 17) (7 . 23) (8 . 24) (9 . 25)) 3807 0.4999 5.0877 ((1 . 43) (3 . 46) (7 . 49) (8 . 50)) 3817 0.2460 16.1966 ((2 . 12) (4 . 13) (6 . 14) (9 . 18)) 3818 0.6219 9.6460 ((1 . 20) (2 . 21) (7 . 27) (8 . 28) (9 . 29)) 3829 0.1986 18.5608 ((3 . 5) (4 . 7) (6 . 8) (8 . 12)) 3831 0.4998 6.3752 ((1 . 2) (3 . 5) (7 . 7) (8 . 9)) 3847 0.4996 7.6018 ((1 . 9) (7 . 15) (8 . 16) (9 . 17)) 3853 0.4199 10.0887 ((1 . 6) (2 . 7) (7 . 11) (8 . 12)) 3870 0.4997 6.8896 ((1 . 3) (6 . 6) (7 . 7) (8 . 8)) 3933 0.4998 6.1151 ((2 . 4) (3 . 5) (8 . 13) (9 . 14)) 3938 0.2908 11.7336 ((2 . 1) (6 . 3) (7 . 5) (8 . 9)) 3942 0.1987 7.1510 ((1 . 2) (3 . 3) (6 . 6) (7 . 8)) 3968 0.4998 6.1282 ((1 . 3) (6 . 7) (7 . 10) (8 . 11)) 3986 0.4975 12.1208 ((1 . 9) (2 . 10) (3 . 11) (7 . 19)) 4005 0.4996 7.7116 ((2 . 31) (3 . 32) (8 . 40) (9 . 41)) 4009 0.4997 6.8742 ((3 . 13) (6 . 17) (7 . 18) (8 . 19)) 4019 0.2910 7.6910 ((2 . 41) (3 . 42) (8 . 46) (9 . 50)) 4034 0.4998 6.3183 ((6 . 1) (7 . 3) (8 . 5) (9 . 6)) 4037 0.1987 8.3140 ((1 . 1) (3 . 2) (6 . 4) (7 . 5)) 4067 0.3668 10.4749 ((1 . 20) (2 . 21) (6 . 23) (8 . 25)) 4077 0.4992 9.1678 ((2 . 5) (7 . 9) (8 . 10) (9 . 11)) 4082 0.4513 12.7341 ((4 . 2) (6 . 3) (7 . 4) (9 . 7)) 4087 0.4997 6.8767 ((1 . 1) (3 . 3) (8 . 7) (9 . 8)) 4115 0.4524 10.0702 ((3 . 1) (6 . 2) (7 . 4) (9 . 10)) 4134 0.1987 14.0727 ((2 . 23) (4 . 24) (6 . 25) (7 . 26)) 4151 0.4988 9.9677 ((1 . 7) (2 . 8) (7 . 14) (8 . 15)) 4177 0.6244 6.2954 ((1 . 1) (3 . 2) (6 . 4) (8 . 8) (9 . 9)) 4190 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9)) 4192 0.5757 9.2432 ((2 . 16) (3 . 19) (6 . 20) (7 . 21) (8 . 22)) 4194 0.4997 7.2332 ((3 . 1) (6 . 4) (8 . 6) (9 . 7)) 4195 0.4136 19.4147 ((1 . 9) (2 . 10) (4 . 11) (9 . 14)) 4204 0.4997 7.2370 ((2 . 6) (7 . 12) (8 . 14) (9 . 15)) 4209 0.1987 7.5363 ((1 . 5) (2 . 6) (3 . 7) (6 . 11)) 4210 0.4996 7.7681 ((1 . 4) (3 . 5) (7 . 9) (8 . 10)) 4226 0.4993 8.8313 ((2 . 10) (3 . 11) (8 . 16) (9 . 19)) 4232 0.4987 10.2097 ((1 . 1) (3 . 2) (8 . 6) (9 . 8)) 4242 0.2461 14.6273 ((2 . 1) (4 . 3) (6 . 4) (7 . 6)) 4243 0.3661 14.0545 ((2 . 1) (4 . 2) (6 . 3) (7 . 4)) 4254 0.4198 10.8626 ((1 . 9) (2 . 12) (6 . 16) (8 . 19)) 4255 0.5000 3.5842 ((3 . 21) (6 . 22) (7 . 25) (8 . 26)) 4257 0.3670 7.7994 ((1 . 3) (4 . 4) (6 . 6) (8 . 11)) 4265 0.3669 9.9559 ((3 . 20) (4 . 22) (7 . 25) (8 . 26)) 4266 0.4999 5.6209 ((1 . 2) (7 . 7) (8 . 8) (9 . 11)) 4274 0.3670 7.5046 ((2 . 37) (3 . 38) (6 . 39) (8 . 41)) 4275 0.4993 8.6926 ((6 . 24) (7 . 26) (8 . 27) (9 . 28)) 4281 0.4996 7.4010 ((1 . 3) (3 . 4) (6 . 7) (8 . 10)) 4299 0.4203 6.6741 ((1 . 6) (4 . 8) (7 . 10) (8 . 11)) 4326 0.4997 6.9292 ((2 . 6) (3 . 7) (6 . 8) (9 . 15)) 4332 0.4985 10.6522 ((1 . 2) (3 . 4) (6 . 5) (7 . 8)) 4338 0.6190 11.3953 ((1 . 1) (3 . 4) (6 . 5) (8 . 7) (9 . 8)) 4359 0.1497 8.9455 ((1 . 19) (3 . 21) (8 . 27) (9 . 28)) 4380 0.4989 9.8516 ((1 . 3) (3 . 4) (8 . 14) (9 . 15)) 4386 0.4988 10.1054 ((2 . 14) (6 . 17) (8 . 19) (9 . 21)) 4388 0.4999 5.2526 ((1 . 12) (2 . 14) (8 . 17) (9 . 18)) 4398 0.2462 9.7011 ((2 . 2) (3 . 4) (6 . 5) (9 . 10)) 4405 0.2910 8.7955 ((2 . 13) (3 . 14) (6 . 17) (8 . 19)) 4408 0.4986 10.4411 ((1 . 4) (3 . 7) (6 . 10) (8 . 14)) 4415 0.3669 9.9519 ((2 . 5) (3 . 9) (6 . 10) (8 . 12)) 4419 0.4996 7.6513 ((3 . 3) (6 . 5) (8 . 9) (9 . 10)) 4426 0.4994 8.3246 ((3 . 2) (4 . 3) (7 . 5) (8 . 6)) 4470 0.4999 5.2429 ((6 . 15) (7 . 17) (8 . 18) (9 . 19)) 4491 0.4992 8.9686 ((3 . 1) (4 . 4) (7 . 7) (8 . 8)) 4492 0.4999 5.0869 ((3 . 18) (7 . 19) (8 . 21) (9 . 26)) 4495 0.4997 7.2169 ((1 . 16) (6 . 19) (7 . 20) (8 . 21)) 4502 0.4995 8.1274 ((1 . 9) (3 . 10) (7 . 16) (8 . 17)) 4503 0.1662 10.1109 ((1 . 1) (2 . 2) (3 . 3) (9 . 10)) 4504 0.4993 8.9032 ((1 . 4) (6 . 10) (7 . 12) (8 . 13)) 4505 0.4985 10.5226 ((1 . 26) (2 . 27) (7 . 31) (8 . 34)) 4516 0.3670 8.3112 ((2 . 5) (3 . 6) (7 . 11) (8 . 12)) 4538 0.5141 7.4567 ((1 . 34) (2 . 27) (3 . 32) (8 . 37) (9 . 38)) 4560 0.4998 6.7457 ((1 . 2) (3 . 4) (7 . 7) (8 . 8)) 4561 0.1497 9.2357 ((1 . 1) (6 . 6) (7 . 8) (9 . 9)) 4562 0.1497 6.2094 ((1 . 19) (7 . 26) (8 . 27) (9 . 29)) 4563 0.4989 9.7294 ((1 . 26) (2 . 27) (7 . 30) (8 . 31)) 4577 0.4985 10.6005 ((1 . 30) (3 . 32) (8 . 37) (9 . 39)) 4579 0.1987 15.7301 ((3 . 18) (4 . 21) (6 . 22) (7 . 23)) 4588 0.4986 10.4480 ((1 . 7) (3 . 8) (7 . 12) (8 . 13)) 4589 0.4997 7.3424 ((1 . 19) (3 . 22) (8 . 27) (9 . 30)) 4607 0.1661 14.4098 ((4 . 21) (6 . 22) (7 . 23) (8 . 24)) 4621 0.4997 6.9077 ((3 . 3) (6 . 5) (8 . 9) (9 . 11)) 4648 0.4995 7.8972 ((1 . 1) (3 . 2) (7 . 7) (8 . 8)) 4653 0.4998 6.4163 ((3 . 1) (6 . 2) (8 . 6) (9 . 7)) 4668 0.4993 8.9037 ((2 . 2) (6 . 8) (7 . 10) (8 . 11)) 4669 0.1987 6.5473 ((3 . 15) (7 . 18) (8 . 19) (9 . 21)) 4671 0.4995 8.0931 ((1 . 7) (3 . 8) (4 . 10) (9 . 18)) 4674 0.6243 6.6031 ((1 . 1) (3 . 2) (6 . 4) (8 . 8) (9 . 9)) 4678 0.4994 8.3887 ((1 . 6) (2 . 9) (8 . 15) (9 . 16)) 4713 0.4991 9.4266 ((1 . 3) (2 . 1) (3 . 4) (8 . 9)) 4715 0.4187 13.6791 ((2 . 10) (4 . 11) (6 . 13) (7 . 14)) 4731 0.4995 8.1293 ((1 . 14) (7 . 20) (8 . 22) (9 . 23)) 4764 0.4899 17.2622 ((2 . 7) (4 . 8) (6 . 9) (7 . 10)) 4857 0.4996 7.7287 ((1 . 2) (3 . 5) (8 . 9) (9 . 11)) 4886 0.4989 9.7597 ((1 . 22) (3 . 24) (8 . 29) (9 . 30)) 4888 0.4880 18.0928 ((1 . 9) (2 . 10) (4 . 11) (9 . 17)) 4889 0.4523 10.2536 ((1 . 4) (2 . 5) (7 . 8) (9 . 11)) 4914 0.2910 7.3694 ((2 . 3) (3 . 4) (8 . 11) (9 . 12)) 4921 0.4999 5.7517 ((1 . 7) (3 . 8) (8 . 12) (9 . 14)) 4932 0.4997 7.3489 ((1 . 1) (3 . 2) (7 . 7) (8 . 8)) 4940 0.4973 12.3010 ((3 . 2) (6 . 5) (8 . 7) (9 . 9)) 4944 0.4996 7.5771 ((3 . 11) (6 . 12) (8 . 14) (9 . 16)) 4961 0.3670 8.6835 ((2 . 4) (3 . 6) (6 . 8) (9 . 12)) 4978 0.4998 6.0041 ((1 . 21) (6 . 26) (7 . 27) (8 . 28)) 4982 0.2908 13.0463 ((1 . 8) (3 . 9) (7 . 13) (8 . 14)) 4992 0.1249 11.2167 ((1 . 1) (3 . 2) (6 . 4) (9 . 8)) 4998 0.5000 4.1595 ((1 . 8) (3 . 15) (8 . 19) (9 . 20)) 5029 0.1987 9.8941 ((1 . 2) (4 . 5) (7 . 9) (8 . 10)) 5039 0.4992 9.0693 ((2 . 36) (3 . 37) (6 . 40) (9 . 44)) 5046 0.4997 7.0825 ((1 . 1) (3 . 3) (8 . 8) (9 . 10)) 5053 0.7496 4.6195 ((1 . 5) (3 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10)) 5065 0.4997 6.8886 ((1 . 2) (3 . 3) (8 . 10) (9 . 11)) 5068 0.4980 11.4235 ((4 . 6) (6 . 9) (7 . 11) (8 . 12)) 5069 0.3666 11.8282 ((2 . 1) (6 . 3) (8 . 7) (9 . 9)) 5073 0.4984 10.8196 ((1 . 32) (3 . 34) (6 . 35) (8 . 39)) 5101 0.4997 6.9775 ((1 . 1) (2 . 4) (7 . 8) (8 . 9)) 5103 0.4986 10.4972 ((3 . 13) (4 . 14) (6 . 16) (9 . 19)) 5121 0.4997 6.9521 ((6 . 13) (7 . 14) (8 . 16) (9 . 18)) 5132 0.4975 12.0744 ((1 . 16) (3 . 18) (8 . 22) (9 . 26)) 5134 0.4993 8.6648 ((1 . 6) (2 . 8) (8 . 14) (9 . 17)) 5145 0.1987 8.8376 ((2 . 4) (3 . 8) (6 . 9) (7 . 11)) 5167 0.4999 5.3695 ((1 . 1) (6 . 6) (7 . 7) (8 . 9)) 5176 0.3669 9.9341 ((3 . 82) (6 . 83) (8 . 87) (9 . 88)) 5192 0.4202 8.7311 ((1 . 9) (2 . 11) (6 . 15) (9 . 20)) 5198 0.1661 12.9048 ((4 . 23) (6 . 25) (7 . 27) (9 . 31)) 5199 0.4978 11.6683 ((2 . 1) (7 . 6) (8 . 7) (9 . 8)) 5209 0.4993 8.8946 ((3 . 3) (7 . 6) (8 . 7) (9 . 8)) 5212 0.4978 11.7361 ((1 . 21) (3 . 24) (4 . 25) (8 . 30)) 5215 0.7497 4.3407 ((1 . 4) (3 . 5) (6 . 6) (7 . 8) (8 . 9) (9 . 10)) 5223 0.4996 7.8241 ((2 . 5) (3 . 6) (7 . 7) (8 . 8)) 5266 0.6247 5.2341 ((1 . 2) (3 . 8) (7 . 9) (8 . 10) (9 . 15)) 5278 0.4996 7.4313 ((1 . 2) (3 . 5) (8 . 10) (9 . 12)) 5307 0.0999 8.5612 ((1 . 51) (3 . 53) (6 . 54) (7 . 59)) 5318 0.3626 20.6803 ((2 . 5) (4 . 6) (6 . 7) (9 . 11)) 5323 0.4996 7.3872 ((2 . 3) (7 . 9) (8 . 10) (9 . 11)) 5324 0.4997 6.8455 ((1 . 20) (3 . 22) (7 . 27) (8 . 28)) 5344 0.4990 9.5989 ((1 . 4) (2 . 5) (3 . 7) (8 . 10)) 5345 0.4999 5.9248 ((1 . 8) (3 . 12) (8 . 17) (9 . 18)) 5368 0.4995 8.1262 ((1 . 39) (3 . 41) (6 . 44) (9 . 49)) 5378 0.3667 11.1270 ((1 . 6) (3 . 7) (6 . 10) (9 . 15)) 5411 0.4995 8.2063 ((2 . 1) (7 . 5) (8 . 6) (9 . 8)) 5414 0.4998 6.2554 ((1 . 14) (3 . 15) (8 . 21) (9 . 22)) 5418 0.4996 7.5388 ((1 . 1) (3 . 2) (8 . 8) (9 . 9)) 5479 0.4999 5.8785 ((1 . 34) (3 . 35) (8 . 40) (9 . 42)) 5487 0.4999 5.7179 ((1 . 2) (2 . 5) (7 . 10) (8 . 11)) 5489 0.5000 2.6984 ((1 . 2) (3 . 5) (8 . 6) (9 . 14)) 5500 0.4999 5.7892 ((1 . 1) (3 . 2) (7 . 10) (8 . 12)) 5501 0.4995 7.8955 ((6 . 21) (7 . 22) (8 . 24) (9 . 25)) 5525 0.4953 14.2077 ((1 . 7) (2 . 5) (3 . 8) (4 . 10)) 5535 0.4999 5.3673 ((3 . 2) (6 . 5) (8 . 9) (9 . 11)) 5540 0.4984 10.7719 ((2 . 5) (3 . 6) (8 . 14) (9 . 15)) 5560 0.4997 6.9097 ((2 . 1) (3 . 2) (6 . 5) (9 . 9)) 5562 0.4996 7.5415 ((2 . 5) (3 . 6) (7 . 9) (8 . 11)) 5567 0.4997 6.8770 ((3 . 11) (6 . 14) (8 . 18) (9 . 19)) 5594 0.4996 7.5263 ((3 . 1) (6 . 2) (8 . 4) (9 . 6)) 5600 0.4995 8.1008 ((3 . 3) (4 . 4) (7 . 7) (8 . 9)) 5601 0.4201 9.3372 ((1 . 1) (2 . 4) (7 . 9) (8 . 10)) 5638 0.5000 4.0246 ((1 . 7) (3 . 8) (7 . 14) (8 . 13)) 5640 0.1497 9.1326 ((1 . 16) (3 . 19) (8 . 24) (9 . 25)) 5644 0.4999 5.4244 ((1 . 3) (3 . 4) (8 . 8) (9 . 11)) 5656 0.4999 4.8540 ((1 . 2) (3 . 3) (8 . 9) (9 . 10)) 5689 0.2909 11.5403 ((2 . 9) (4 . 10) (6 . 12) (7 . 13)) 5700 0.3670 6.9455 ((2 . 1) (3 . 2) (8 . 8) (9 . 9)) 5701 0.4999 5.1933 ((6 . 2) (7 . 3) (8 . 4) (9 . 5)) 5702 0.2908 12.2213 ((2 . 9) (4 . 11) (6 . 12) (7 . 13)) 5711 0.4992 9.0478 ((1 . 28) (3 . 29) (8 . 35) (9 . 36)) 5713 0.4999 5.8524 ((1 . 10) (3 . 11) (8 . 20) (9 . 21)) 5718 0.4993 8.8571 ((2 . 15) (7 . 22) (8 . 23) (9 . 24)) 5731 0.5000 3.4686 ((1 . 3) (3 . 2) (8 . 7) (9 . 11)) 5746 0.4997 7.1883 ((3 . 6) (7 . 12) (8 . 13) (9 . 14)) 5749 0.2910 7.2782 ((1 . 5) (3 . 6) (6 . 8) (7 . 9)) 5761 0.4201 9.1039 ((1 . 28) (2 . 29) (7 . 33) (9 . 36)) 5770 0.4999 5.6137 ((1 . 1) (3 . 6) (6 . 7) (8 . 12)) 5771 0.4519 11.4011 ((3 . 9) (4 . 10) (7 . 16) (9 . 17)) 5782 0.4998 6.7233 ((3 . 27) (6 . 31) (8 . 34) (9 . 35)) 5789 0.1987 8.0551 ((2 . 1) (3 . 2) (6 . 3) (9 . 5)) 5794 0.4999 4.9456 ((3 . 18) (7 . 22) (8 . 23) (9 . 24)) 5795 0.4996 7.6849 ((1 . 6) (2 . 7) (3 . 9) (8 . 13)) 5809 0.4990 9.6554 ((1 . 7) (2 . 8) (8 . 14) (9 . 15)) 5827 0.4946 14.6994 ((2 . 10) (4 . 12) (8 . 16) (9 . 17)) 5830 0.4986 10.4842 ((1 . 8) (3 . 10) (7 . 15) (9 . 17)) 5865 0.4997 6.8433 ((1 . 1) (3 . 2) (7 . 6) (8 . 7)) 5878 0.4203 7.1828 ((4 . 21) (7 . 24) (8 . 25) (9 . 29)) 5888 0.4999 5.8678 ((1 . 20) (3 . 24) (8 . 28) (9 . 29)) 5896 0.5000 4.3730 ((3 . 26) (6 . 27) (7 . 30) (8 . 31)) 5904 0.4973 12.3309 ((3 . 1) (6 . 3) (7 . 5) (9 . 7)) 5913 0.4999 5.4990 ((1 . 5) (3 . 6) (7 . 11) (8 . 13)) 5922 0.4987 10.3105 ((1 . 1) (3 . 3) (8 . 9) (9 . 10)) 5930 0.3670 7.7562 ((1 . 2) (3 . 4) (6 . 5) (8 . 7)) 5939 0.2462 10.0557 ((2 . 1) (6 . 3) (7 . 5) (9 . 8)) 5945 0.5159 6.4804 ((1 . 26) (3 . 28) (6 . 29) (7 . 31) (8 . 32) (9 . 33)) 5949 0.4994 8.3080 ((1 . 1) (2 . 2) (7 . 8) (8 . 9)) 5955 0.4995 7.9197 ((2 . 8) (7 . 13) (8 . 14) (9 . 16)) 5972 0.1249 7.3262 ((6 . 1) (7 . 4) (8 . 6) (9 . 7)) 5977 0.0999 8.5323 ((4 . 2) (7 . 4) (8 . 5) (9 . 6)) 6000 0.4993 8.7127 ((1 . 9) (2 . 11) (7 . 16) (8 . 17)) 6011 0.4998 6.5429 ((1 . 3) (3 . 4) (8 . 11) (9 . 13)) 6022 0.4991 9.4022 ((1 . 1) (3 . 2) (8 . 8) (9 . 9)) 6029 0.4994 8.4151 ((3 . 5) (7 . 8) (8 . 10) (9 . 11)) 6041 0.4530 7.0863 ((4 . 4) (6 . 5) (7 . 6) (8 . 8)) 6061 0.4998 6.3436 ((1 . 13) (7 . 18) (8 . 20) (9 . 21)) 6074 0.4990 9.6674 ((2 . 5) (6 . 7) (7 . 10) (8 . 11)) 6075 0.4990 9.6295 ((2 . 16) (3 . 17) (8 . 21) (9 . 24)) 6079 0.3653 16.4472 ((2 . 16) (4 . 17) (6 . 19) (8 . 21)) 6087 0.4999 4.6263 ((1 . 3) (3 . 8) (7 . 9) (8 . 10)) 6089 0.4161 17.3094 ((1 . 3) (2 . 4) (4 . 6) (7 . 8)) 6094 0.3670 8.1731 ((1 . 2) (3 . 3) (7 . 8) (8 . 10)) 6099 0.4999 5.5259 ((1 . 16) (3 . 18) (8 . 22) (9 . 23)) 6142 0.5000 4.1908 ((1 . 11) (3 . 14) (8 . 15) (9 . 16)) 6173 0.4998 6.6828 ((1 . 3) (3 . 4) (8 . 11) (9 . 12)) 6191 0.4992 8.9835 ((1 . 4) (6 . 7) (8 . 12) (9 . 13)) 6192 0.6228 8.8448 ((3 . 5) (6 . 7) (7 . 9) (8 . 10) (9 . 11)) 6225 0.4999 5.4707 ((1 . 4) (3 . 5) (6 . 9) (9 . 12)) 6228 0.4997 7.1445 ((2 . 13) (3 . 14) (4 . 16) (6 . 18)) 6234 0.2462 8.8179 ((1 . 6) (3 . 7) (4 . 8) (9 . 15)) 6238 0.6230 8.6096 ((2 . 1) (3 . 3) (7 . 6) (8 . 7) (9 . 8)) 6243 0.4992 9.1824 ((1 . 3) (2 . 5) (7 . 9) (8 . 10)) 6251 0.4990 9.6130 ((1 . 8) (3 . 10) (8 . 15) (9 . 17)) 6258 0.4995 7.8822 ((2 . 5) (3 . 7) (6 . 8) (9 . 12)) 6261 0.4999 5.0055 ((1 . 21) (3 . 22) (6 . 23) (7 . 24)) 6266 0.4996 7.4346 ((2 . 2) (3 . 3) (6 . 4) (9 . 8)) 6268 0.4172 16.0729 ((2 . 11) (4 . 12) (6 . 13) (7 . 14)) 6270 0.4999 5.5124 ((4 . 14) (7 . 16) (8 . 17) (9 . 18)) 6271 0.4998 6.4453 ((3 . 4) (7 . 9) (8 . 10) (9 . 11)) 6273 0.2462 9.5119 ((1 . 4) (2 . 5) (8 . 12) (9 . 13)) 6294 0.4518 11.5712 ((4 . 10) (6 . 12) (7 . 15) (9 . 16)) 6306 0.4999 5.6656 ((3 . 15) (7 . 18) (8 . 19) (9 . 21)) 6311 0.4986 10.3776 ((1 . 4) (3 . 5) (8 . 11) (9 . 13)) 6326 0.4992 9.0722 ((1 . 4) (3 . 5) (8 . 11) (9 . 12)) 6329 0.1986 16.9077 ((2 . 5) (4 . 6) (6 . 7) (7 . 9)) 6344 0.7495 4.7834 ((1 . 7) (3 . 8) (6 . 10) (7 . 11) (8 . 12) (9 . 13)) 6345 0.4998 6.2679 ((1 . 6) (3 . 7) (8 . 11) (9 . 13)) 6348 0.2910 6.1032 ((1 . 4) (6 . 8) (7 . 10) (8 . 11)) 6355 0.4999 5.6830 ((6 . 3) (7 . 5) (8 . 6) (9 . 7)) 6356 0.4988 10.0846 ((1 . 1) (2 . 2) (8 . 6) (9 . 9)) 6369 0.4994 8.5729 ((1 . 22) (2 . 23) (7 . 28) (8 . 29)) 6376 0.4999 5.5721 ((1 . 17) (3 . 24) (8 . 26) (9 . 27)) 6391 0.4202 7.9765 ((1 . 8) (2 . 9) (3 . 10) (6 . 11)) 6392 0.4991 9.3053 ((1 . 1) (2 . 2) (7 . 6) (8 . 7)) 6399 0.4977 11.7680 ((1 . 16) (3 . 17) (8 . 25) (9 . 26)) 6403 0.5000 3.8459 ((1 . 12) (3 . 13) (8 . 14) (9 . 15)) 6461 0.4994 8.5769 ((3 . 3) (4 . 2) (6 . 4) (8 . 6)) 6462 0.4997 7.1945 ((1 . 5) (3 . 6) (6 . 31) (7 . 34)) 6498 0.4939 15.1599 ((1 . 29) (2 . 30) (4 . 32) (7 . 36)) 6520 0.7497 4.2405 ((1 . 1) (3 . 2) (6 . 22) (7 . 23) (8 . 24) (9 . 25)) 6536 0.4994 8.5042 ((2 . 30) (6 . 33) (8 . 35) (9 . 36)) 6539 0.5000 3.2124 ((3 . 2) (6 . 3) (7 . 7) (8 . 8)) 6548 0.4982 11.0888 ((6 . 8) (7 . 10) (8 . 12) (9 . 13)) 6553 0.2910 7.8694 ((1 . 22) (3 . 25) (6 . 27) (7 . 28)) 6555 0.2462 12.1053 ((1 . 6) (3 . 10) (6 . 12) (9 . 17)) 6561 0.4999 5.8812 ((2 . 2) (3 . 3) (4 . 4) (6 . 5)) 6575 0.2910 8.1412 ((1 . 1) (3 . 2) (4 . 3) (7 . 6)) 6578 0.4993 8.8908 ((1 . 31) (3 . 32) (6 . 36) (7 . 39)) 6584 0.4998 6.6379 ((1 . 2) (3 . 3) (8 . 8) (9 . 9)) 6585 0.4994 8.3175 ((1 . 10) (3 . 11) (6 . 12) (8 . 15)) 6586 0.4999 5.4677 ((3 . 18) (7 . 23) (8 . 24) (9 . 25)) 6587 0.4991 9.2617 ((2 . 27) (3 . 29) (6 . 30) (8 . 34)) 6598 0.5000 4.1128 ((1 . 20) (3 . 25) (8 . 26) (9 . 27)) 6613 0.3670 8.5905 ((2 . 11) (7 . 19) (8 . 21) (9 . 22)) 6635 0.2462 6.5725 ((4 . 2) (6 . 3) (7 . 6) (8 . 7)) END