2773 25 0.4990 9.6694 ((2 . 6) (3 . 7) (4 . 10) (8 . 13)) 41 0.4997 7.0516 ((2 . 3) (3 . 5) (4 . 6) (5 . 7)) 51 0.4997 7.0662 ((2 . 1) (3 . 2) (5 . 7) (6 . 10)) 62 0.4998 5.9942 ((4 . 9) (5 . 10) (6 . 12) (8 . 15)) 64 0.4998 6.4666 ((2 . 9) (3 . 10) (5 . 13) (6 . 14)) 77 0.4997 7.0599 ((2 . 7) (3 . 8) (4 . 10) (6 . 13)) 91 0.4980 11.4780 ((3 . 28) (4 . 30) (5 . 31) (8 . 36)) 96 0.4998 6.4811 ((3 . 1) (4 . 2) (5 . 3) (6 . 5)) 129 0.4987 10.1423 ((2 . 3) (3 . 5) (5 . 9) (6 . 11)) 136 0.6239 7.4943 ((3 . 3) (4 . 4) (5 . 5) (6 . 7) (8 . 9)) 147 0.4193 12.4113 ((4 . 3) (7 . 5) (8 . 8) (9 . 9)) 150 0.4996 7.6901 ((2 . 19) (3 . 20) (4 . 21) (5 . 23)) 153 0.4995 8.0215 ((2 . 7) (3 . 8) (5 . 10) (6 . 12)) 157 0.4995 8.2305 ((3 . 11) (5 . 16) (6 . 18) (8 . 22)) 161 0.2909 10.3325 ((2 . 3) (3 . 6) (4 . 7) (5 . 9)) 162 0.4996 7.7154 ((2 . 17) (3 . 18) (4 . 19) (5 . 22)) 169 0.4998 6.7380 ((2 . 7) (3 . 8) (5 . 10) (6 . 11)) 177 0.4995 7.9784 ((2 . 5) (4 . 9) (5 . 8) (6 . 10)) 198 0.4998 6.3559 ((2 . 10) (3 . 12) (5 . 16) (6 . 17)) 207 0.1987 8.2688 ((4 . 6) (5 . 7) (6 . 8) (9 . 14)) 233 0.4999 4.9498 ((2 . 1) (3 . 2) (5 . 7) (6 . 8)) 300 0.4993 8.7251 ((2 . 10) (4 . 12) (5 . 16) (6 . 17)) 305 0.4987 10.2517 ((2 . 11) (3 . 12) (5 . 18) (6 . 19)) 307 0.4985 10.5693 ((2 . 1) (6 . 7) (7 . 8) (8 . 10)) 315 0.1497 11.2647 ((4 . 2) (5 . 5) (6 . 6) (7 . 7)) 329 0.4520 11.1014 ((4 . 1) (7 . 7) (8 . 8) (9 . 9)) 350 0.4998 6.2517 ((3 . 1) (5 . 5) (6 . 7) (7 . 9)) 360 0.4999 5.4587 ((2 . 5) (3 . 6) (5 . 10) (7 . 13)) 361 0.4996 7.5260 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 365 0.4997 7.2992 ((3 . 1) (5 . 3) (6 . 4) (7 . 7)) 367 0.5000 3.1758 ((2 . 40) (3 . 42) (5 . 44) (6 . 48)) 405 0.4987 10.2434 ((2 . 32) (3 . 34) (5 . 39) (6 . 40)) 417 0.4996 7.5950 ((2 . 3) (4 . 6) (5 . 7) (6 . 9)) 420 0.4999 5.0569 ((2 . 3) (3 . 4) (5 . 9) (6 . 10)) 433 0.4998 6.4914 ((2 . 6) (3 . 7) (4 . 8) (5 . 9)) 442 0.6242 6.8256 ((3 . 6) (4 . 9) (5 . 10) (6 . 12) (7 . 13)) 460 0.3670 8.1765 ((5 . 2) (6 . 3) (7 . 4) (9 . 9)) 472 0.4980 11.4807 ((3 . 20) (5 . 22) (7 . 23) (9 . 28)) 491 0.4996 7.7176 ((2 . 1) (4 . 5) (5 . 6) (6 . 8)) 495 0.4995 8.0593 ((2 . 3) (5 . 8) (6 . 9) (7 . 10)) 541 0.2910 7.2036 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 543 0.4992 8.9687 ((3 . 5) (5 . 8) (6 . 10) (8 . 14)) 553 0.3669 9.6728 ((4 . 9) (7 . 10) (8 . 14) (9 . 15)) 561 0.6249 3.6821 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5)) 584 0.4998 6.5423 ((2 . 7) (3 . 8) (4 . 9) (6 . 32)) 587 0.5000 4.1677 ((2 . 3) (3 . 4) (5 . 8) (6 . 9)) 609 0.4991 9.3505 ((3 . 1) (4 . 2) (5 . 3) (7 . 5)) 619 0.6239 7.3395 ((2 . 1) (3 . 2) (4 . 3) (5 . 8) (6 . 9)) 624 0.7493 5.2496 ((2 . 20) (3 . 22) (4 . 23) (5 . 24) (6 . 26) (7 . 27)) 635 0.4994 8.5042 ((2 . 14) (3 . 15) (4 . 17) (5 . 18)) 672 0.2909 11.2502 ((2 . 20) (3 . 21) (4 . 25) (6 . 26)) 678 0.4998 6.1862 ((3 . 24) (4 . 25) (5 . 26) (9 . 33)) 719 0.4998 6.7580 ((2 . 25) (3 . 27) (4 . 29) (5 . 30)) 729 0.4999 5.2618 ((3 . 24) (4 . 26) (6 . 31) (7 . 32)) 735 0.4987 10.2930 ((3 . 29) (4 . 30) (5 . 32) (6 . 33)) 767 0.4995 8.0238 ((3 . 1) (4 . 2) (5 . 3) (6 . 8)) 795 0.4999 4.7277 ((3 . 1) (4 . 4) (5 . 5) (6 . 6)) 796 0.6247 5.3211 ((3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 812 0.3669 9.0253 ((2 . 11) (3 . 13) (6 . 16) (7 . 17)) 818 0.4969 12.7200 ((2 . 1) (4 . 3) (6 . 8) (7 . 9)) 819 0.4995 8.1812 ((2 . 2) (3 . 3) (5 . 5) (9 . 11)) 834 0.4528 8.4811 ((3 . 32) (4 . 34) (8 . 40) (9 . 41)) 861 0.4989 9.7804 ((5 . 7) (6 . 8) (8 . 10) (9 . 11)) 901 0.4989 9.8692 ((3 . 7) (4 . 8) (5 . 9) (7 . 13)) 904 0.3670 8.6013 ((4 . 1) (6 . 3) (7 . 4) (8 . 5)) 913 0.2910 5.3167 ((2 . 16) (3 . 17) (4 . 18) (5 . 20)) 928 0.4997 6.9960 ((3 . 10) (4 . 11) (5 . 12) (8 . 17)) 937 0.6247 5.4891 ((3 . 1) (4 . 3) (5 . 4) (6 . 5) (7 . 6)) 943 0.4997 6.9102 ((3 . 4) (4 . 5) (5 . 6) (9 . 13)) 945 0.4986 10.3959 ((3 . 12) (4 . 13) (5 . 14) (8 . 21)) 949 0.5516 8.6454 ((3 . 27) (5 . 30) (6 . 32) (7 . 33) (8 . 36)) 960 0.4993 8.6612 ((3 . 9) (4 . 11) (5 . 12) (8 . 20)) 978 0.4974 12.1991 ((3 . 4) (4 . 5) (5 . 6) (8 . 12)) 980 0.4986 10.3384 ((2 . 1) (4 . 4) (6 . 7) (7 . 8)) 1005 0.4527 8.7591 ((6 . 1) (7 . 3) (8 . 4) (9 . 5)) 1007 0.4998 6.5649 ((2 . 7) (3 . 8) (5 . 12) (6 . 13)) 1034 0.4525 9.5529 ((2 . 22) (6 . 29) (7 . 31) (9 . 36)) 1043 0.4995 8.1266 ((3 . 1) (4 . 5) (5 . 6) (8 . 11)) 1082 0.4994 8.5014 ((3 . 9) (4 . 11) (5 . 12) (8 . 17)) 1084 0.4971 12.5486 ((3 . 3) (4 . 6) (5 . 8) (6 . 9)) 1165 0.4997 6.9802 ((3 . 2) (4 . 5) (5 . 7) (8 . 11)) 1167 0.4990 9.6613 ((4 . 19) (5 . 20) (6 . 21) (8 . 24)) 1169 0.2910 7.0394 ((2 . 29) (3 . 30) (5 . 34) (6 . 37)) 1195 0.1987 10.1353 ((3 . 2) (4 . 3) (5 . 5) (6 . 6)) 1201 0.4996 7.6437 ((3 . 1) (4 . 2) (5 . 3) (7 . 5)) 1204 0.4998 6.4377 ((3 . 1) (4 . 2) (5 . 3) (8 . 8)) 1211 0.6238 7.5191 ((2 . 8) (3 . 9) (5 . 11) (6 . 14) (8 . 17)) 1217 0.4955 13.9930 ((4 . 2) (5 . 3) (6 . 7) (7 . 8)) 1224 0.4997 6.8339 ((2 . 5) (3 . 6) (5 . 9) (6 . 10)) 1233 0.4987 10.1419 ((4 . 13) (5 . 14) (6 . 17) (7 . 19)) 1267 0.4996 7.7616 ((3 . 13) (4 . 14) (5 . 15) (8 . 20)) 1268 0.4196 11.4517 ((4 . 15) (7 . 17) (8 . 18) (9 . 19)) 1294 0.4983 10.9602 ((2 . 41) (3 . 42) (4 . 45) (5 . 46)) 1301 0.1332 6.3428 ((3 . 1) (4 . 3) (6 . 5) (7 . 6)) 1345 0.4992 9.0932 ((3 . 7) (4 . 8) (5 . 9) (9 . 17)) 1366 0.4999 4.9191 ((3 . 12) (4 . 13) (5 . 14) (6 . 15)) 1388 0.7472 7.5003 ((3 . 1) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (9 . 11)) 1425 0.2910 8.6883 ((2 . 2) (4 . 7) (5 . 8) (6 . 10)) 1435 0.4984 10.7502 ((2 . 1) (3 . 2) (4 . 4) (5 . 5)) 1447 0.4994 8.5178 ((3 . 3) (4 . 4) (5 . 5) (6 . 7)) 1451 0.4999 5.0787 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 1472 0.4988 9.9593 ((2 . 7) (3 . 8) (4 . 11) (8 . 13)) 1476 0.2909 9.2144 ((3 . 14) (4 . 16) (5 . 18) (7 . 19)) 1481 0.4998 6.7620 ((2 . 2) (5 . 5) (7 . 8) (8 . 9)) 1497 0.2462 10.8663 ((4 . 17) (7 . 20) (8 . 23) (9 . 24)) 1501 0.4998 6.1585 ((2 . 2) (3 . 3) (5 . 7) (6 . 8)) 1513 0.4996 7.7929 ((2 . 13) (3 . 15) (4 . 16) (5 . 18)) 1514 0.6246 5.7676 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5)) 1577 0.4998 6.3383 ((2 . 6) (3 . 10) (4 . 11) (6 . 30)) 1591 0.3668 10.5830 ((2 . 6) (4 . 7) (6 . 11) (7 . 12)) 1604 0.4998 6.0122 ((2 . 1) (3 . 3) (4 . 6) (5 . 7)) 1622 0.4999 5.4370 ((3 . 20) (4 . 21) (5 . 22) (6 . 23)) 1643 0.6216 9.8798 ((2 . 11) (3 . 12) (5 . 16) (6 . 17) (8 . 21)) 1644 0.4999 5.7568 ((2 . 43) (3 . 44) (5 . 49) (6 . 50)) 1665 0.4989 9.8299 ((2 . 4) (3 . 6) (4 . 7) (5 . 8)) 1690 0.4997 6.8409 ((3 . 1) (4 . 7) (5 . 8) (9 . 15)) 1731 0.4996 7.3753 ((3 . 3) (4 . 5) (5 . 6) (9 . 11)) 1736 0.4991 9.3745 ((2 . 3) (3 . 5) (5 . 7) (6 . 10)) 1738 0.4978 11.6486 ((3 . 9) (4 . 10) (5 . 11) (8 . 20)) 1747 0.4999 5.8338 ((2 . 25) (3 . 27) (5 . 29) (6 . 30)) 1756 0.5000 4.0405 ((2 . 21) (3 . 23) (5 . 27) (6 . 30)) 1759 0.4999 4.7208 ((2 . 4) (3 . 5) (5 . 10) (6 . 11)) 1761 0.4997 6.8717 ((3 . 7) (4 . 10) (5 . 11) (9 . 18)) 1763 0.4996 7.7341 ((5 . 9) (6 . 10) (7 . 11) (8 . 12)) 1776 0.4994 8.3533 ((3 . 1) (4 . 6) (5 . 7) (8 . 13)) 1778 0.4995 8.2060 ((5 . 4) (6 . 5) (7 . 6) (9 . 10)) 1793 0.4994 8.2994 ((3 . 6) (4 . 7) (5 . 8) (6 . 10)) 1805 0.6243 6.5801 ((2 . 3) (3 . 4) (4 . 5) (5 . 9) (6 . 10)) 1808 0.4998 6.3487 ((4 . 1) (5 . 2) (6 . 4) (8 . 7)) 1867 0.4997 6.8431 ((3 . 1) (4 . 2) (5 . 3) (6 . 6)) 1894 0.4985 10.6802 ((5 . 11) (6 . 12) (8 . 15) (9 . 16)) 1896 0.4996 7.4625 ((3 . 3) (4 . 4) (5 . 5) (9 . 12)) 1897 0.4996 7.8269 ((2 . 32) (3 . 34) (6 . 39) (9 . 44)) 1908 0.4998 6.6238 ((3 . 10) (4 . 14) (5 . 15) (6 . 17)) 1909 0.4993 8.9111 ((2 . 34) (3 . 37) (4 . 38) (5 . 39)) 1913 0.4991 9.3991 ((2 . 12) (3 . 13) (5 . 19) (6 . 21)) 1944 0.4991 9.3638 ((3 . 7) (4 . 8) (5 . 9) (7 . 12)) 1957 0.4997 6.7839 ((2 . 11) (3 . 13) (4 . 14) (5 . 15)) 1961 0.6243 6.6301 ((2 . 15) (3 . 16) (4 . 18) (5 . 19) (6 . 20)) 1967 0.4999 5.6212 ((5 . 1) (6 . 3) (7 . 4) (9 . 8)) 1972 0.2907 13.4412 ((2 . 18) (4 . 21) (6 . 24) (7 . 25)) 1992 0.4999 5.5326 ((3 . 9) (4 . 10) (5 . 12) (6 . 14)) 1995 0.4998 6.2298 ((2 . 1) (3 . 2) (5 . 7) (6 . 8)) 2003 0.4987 10.2546 ((4 . 1) (6 . 4) (7 . 2) (8 . 6)) 2006 0.4999 5.3776 ((2 . 8) (3 . 9) (5 . 11) (6 . 12)) 2048 0.5496 11.1998 ((2 . 4) (4 . 10) (6 . 13) (7 . 14) (8 . 15)) 2054 0.4994 8.3280 ((2 . 1) (3 . 2) (4 . 7) (9 . 16)) 2063 0.6235 7.9773 ((2 . 43) (3 . 44) (4 . 46) (5 . 49) (6 . 50)) 2065 0.4994 8.3771 ((2 . 16) (3 . 17) (5 . 22) (6 . 23)) 2067 0.4990 9.4675 ((2 . 60) (4 . 62) (5 . 63) (7 . 64)) 2072 0.6235 7.9917 ((2 . 1) (3 . 2) (4 . 3) (5 . 5) (6 . 6)) 2081 0.6250 3.1368 ((2 . 9) (3 . 10) (4 . 11) (5 . 21) (6 . 23)) 2083 0.4988 10.0006 ((4 . 3) (5 . 4) (6 . 5) (7 . 6)) 2097 0.2909 9.9777 ((5 . 14) (6 . 16) (7 . 19) (8 . 20)) 2114 0.4996 7.8006 ((4 . 30) (5 . 32) (7 . 35) (8 . 37)) 2117 0.4997 7.2776 ((5 . 11) (6 . 12) (8 . 19) (9 . 21)) 2118 0.6237 7.7265 ((2 . 4) (3 . 5) (4 . 6) (5 . 7) (7 . 9)) 2122 0.4998 6.6888 ((3 . 12) (4 . 13) (6 . 17) (9 . 23)) 2166 0.6241 7.0988 ((2 . 12) (3 . 13) (4 . 14) (5 . 15) (6 . 16)) 2179 0.4998 5.9961 ((2 . 9) (3 . 10) (4 . 12) (5 . 13)) 2196 0.4997 6.9190 ((2 . 13) (3 . 14) (5 . 18) (6 . 19)) 2203 0.6244 6.4275 ((3 . 1) (4 . 3) (5 . 5) (6 . 7) (7 . 8)) 2205 0.4996 7.3885 ((3 . 17) (5 . 21) (6 . 22) (7 . 24)) 2209 0.4990 9.6226 ((2 . 6) (3 . 7) (4 . 8) (5 . 9)) 2243 0.4998 6.5470 ((3 . 42) (5 . 45) (6 . 47) (7 . 48)) 2244 0.4999 4.7463 ((2 . 74) (3 . 75) (5 . 79) (6 . 80)) 2248 0.0999 8.3187 ((2 . 22) (4 . 26) (5 . 27) (6 . 28)) 2249 0.4994 8.2824 ((2 . 16) (4 . 19) (5 . 21) (6 . 23)) 2269 0.4992 9.0677 ((2 . 7) (3 . 8) (4 . 9) (5 . 10)) 2279 0.4998 6.1093 ((2 . 10) (3 . 11) (5 . 19) (6 . 20)) 2298 0.6072 6.7817 ((3 . 6) (4 . 7) (5 . 8) (6 . 10) (8 . 13) (9 . 16)) 2308 0.4995 8.0572 ((3 . 5) (6 . 8) (7 . 10) (9 . 14)) 2314 0.3670 7.2800 ((2 . 2) (5 . 7) (6 . 8) (7 . 9)) 2340 0.4999 5.6880 ((4 . 10) (5 . 11) (6 . 13) (8 . 15)) 2342 0.3669 9.0505 ((4 . 1) (7 . 2) (8 . 3) (9 . 4)) 2344 0.4998 6.4428 ((2 . 1) (3 . 3) (4 . 5) (5 . 6)) 2364 0.4997 6.8767 ((4 . 2) (6 . 7) (7 . 8) (9 . 11)) 2381 0.4994 8.4939 ((4 . 2) (5 . 3) (6 . 4) (8 . 8)) 2389 0.4998 6.2358 ((2 . 10) (3 . 11) (4 . 12) (5 . 14)) 2408 0.4996 7.5321 ((2 . 41) (3 . 42) (5 . 46) (6 . 47)) 2409 0.2462 10.3752 ((4 . 1) (5 . 4) (8 . 10) (9 . 11)) 2410 0.3670 8.5761 ((4 . 12) (6 . 13) (7 . 14) (8 . 15)) 2422 0.4990 9.5129 ((3 . 1) (4 . 2) (5 . 4) (8 . 10)) 2423 0.4994 8.2810 ((2 . 20) (3 . 21) (4 . 23) (6 . 25)) 2440 0.4991 9.3774 ((3 . 4) (4 . 5) (5 . 6) (6 . 8)) 2447 0.4993 8.8171 ((4 . 19) (5 . 21) (6 . 24) (7 . 26)) 2462 0.6245 6.0074 ((2 . 6) (3 . 7) (4 . 10) (5 . 11) (6 . 12)) 2510 0.4997 6.9176 ((3 . 17) (4 . 18) (8 . 28) (9 . 29)) 2519 0.4984 10.7811 ((4 . 1) (6 . 2) (7 . 3) (8 . 4)) 2525 0.1987 10.9894 ((3 . 38) (4 . 39) (5 . 41) (8 . 46)) 2529 0.4998 6.0682 ((3 . 1) (4 . 2) (5 . 3) (6 . 5)) 2533 0.4997 6.9682 ((3 . 6) (4 . 7) (5 . 8) (9 . 16)) 2544 0.2910 6.8546 ((4 . 21) (5 . 22) (6 . 23) (7 . 24)) 2551 0.4997 7.2893 ((5 . 1) (6 . 3) (7 . 4) (9 . 6)) 2552 0.4979 11.6197 ((3 . 3) (4 . 4) (5 . 5) (7 . 7)) 2556 0.4991 9.2978 ((2 . 13) (4 . 17) (6 . 20) (7 . 21)) 2557 0.2960 10.3280 ((3 . 3) (4 . 5) (5 . 6) (6 . 7) (7 . 8)) 2595 0.4996 7.7870 ((2 . 1) (3 . 4) (4 . 5) (5 . 6)) 2619 0.4998 6.5530 ((2 . 2) (3 . 3) (4 . 4) (5 . 5)) 2627 0.4192 12.6004 ((4 . 53) (7 . 56) (8 . 57) (9 . 59)) 2650 0.4998 6.1101 ((2 . 1) (3 . 2) (4 . 4) (6 . 6)) 2658 0.4968 12.8594 ((2 . 1) (3 . 3) (4 . 4) (8 . 9)) 2675 0.4983 10.9059 ((2 . 4) (3 . 5) (4 . 9) (6 . 11)) 2682 0.4993 8.7328 ((2 . 13) (4 . 18) (5 . 19) (8 . 22)) 2696 0.4993 8.6686 ((2 . 32) (3 . 34) (5 . 36) (6 . 38)) 2731 0.6247 5.3794 ((3 . 1) (4 . 2) (5 . 4) (6 . 5) (7 . 6)) 2733 0.4993 8.9052 ((2 . 1) (3 . 2) (6 . 8) (7 . 9)) 2755 0.4990 9.4653 ((3 . 6) (4 . 7) (5 . 8) (6 . 10)) 2773 1.0000 0.0000 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9)) 2783 0.1497 10.2904 ((3 . 1) (4 . 4) (5 . 6) (7 . 9)) 2804 0.4992 9.1789 ((2 . 34) (3 . 36) (4 . 37) (6 . 38)) 2821 0.2909 11.1569 ((6 . 5) (7 . 6) (8 . 10) (9 . 12)) 2830 0.4995 7.9108 ((3 . 1) (4 . 2) (5 . 3) (8 . 6)) 2834 0.4997 7.0921 ((5 . 5) (6 . 6) (7 . 7) (9 . 11)) 2840 0.4996 7.6621 ((3 . 5) (4 . 7) (5 . 9) (6 . 11)) 2842 0.4999 5.6638 ((3 . 1) (4 . 3) (5 . 4) (6 . 5)) 2867 0.3668 10.8432 ((2 . 2) (4 . 5) (6 . 7) (9 . 13)) 2879 0.6231 8.5157 ((2 . 52) (3 . 53) (4 . 55) (5 . 58) (6 . 59)) 2886 0.4997 7.2464 ((2 . 38) (3 . 39) (5 . 43) (6 . 44)) 2929 0.1987 6.2660 ((3 . 36) (4 . 38) (5 . 40) (7 . 41)) 2940 0.4999 5.8928 ((3 . 1) (4 . 2) (5 . 3) (9 . 9)) 2947 0.6250 3.2577 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7)) 2950 0.1662 8.6701 ((4 . 7) (7 . 10) (8 . 11) (9 . 12)) 2966 0.3670 7.8407 ((2 . 8) (3 . 9) (6 . 16) (8 . 18)) 2990 0.5000 3.0600 ((4 . 8) (5 . 9) (6 . 12) (7 . 13)) 2999 0.4999 5.9331 ((3 . 2) (4 . 5) (5 . 6) (6 . 7)) 3014 0.4990 9.6940 ((2 . 4) (3 . 5) (4 . 8) (8 . 12)) 3019 0.6246 5.7818 ((2 . 19) (3 . 20) (4 . 21) (5 . 22) (6 . 25)) 3034 0.4996 7.6196 ((3 . 1) (4 . 4) (5 . 5) (9 . 11)) 3041 0.7486 6.3073 ((2 . 29) (3 . 30) (4 . 31) (5 . 32) (6 . 33) (7 . 34)) 3055 0.4999 5.5741 ((2 . 15) (3 . 16) (5 . 20) (6 . 21)) 3063 0.4998 6.7549 ((2 . 33) (3 . 35) (5 . 38) (6 . 39)) 3070 0.6248 4.5590 ((2 . 32) (3 . 33) (4 . 34) (5 . 35) (6 . 36)) 3084 0.4997 7.1709 ((2 . 3) (3 . 5) (4 . 6) (5 . 7)) 3102 0.4996 7.8275 ((2 . 65) (3 . 67) (5 . 69) (6 . 70)) 3103 0.4998 5.9715 ((2 . 2) (3 . 3) (6 . 9) (8 . 12)) 3120 0.4999 4.9988 ((2 . 21) (3 . 22) (4 . 24) (5 . 25)) 3147 0.4998 6.2145 ((2 . 1) (3 . 2) (5 . 6) (6 . 7)) 3176 0.6241 6.9999 ((2 . 26) (3 . 27) (6 . 29) (7 . 32) (8 . 33)) 3187 0.6240 7.2771 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 8)) 3190 0.4997 7.0342 ((3 . 1) (4 . 2) (5 . 3) (8 . 10)) 3197 0.4996 7.5805 ((3 . 19) (4 . 20) (5 . 21) (8 . 27)) 3200 0.4998 6.4766 ((2 . 3) (3 . 4) (4 . 5) (5 . 6)) 3202 0.1987 11.2872 ((5 . 18) (6 . 19) (7 . 20) (8 . 21)) 3212 0.4998 6.1268 ((2 . 3) (3 . 5) (4 . 7) (7 . 11)) 3222 0.4999 4.8591 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 3256 0.3669 9.2624 ((3 . 13) (4 . 15) (6 . 19) (9 . 27)) 3261 0.6213 10.0645 ((2 . 3) (4 . 5) (5 . 6) (6 . 7) (7 . 10)) 3286 0.6223 9.3045 ((2 . 3) (3 . 4) (6 . 7) (8 . 11) (9 . 12)) 3289 0.2910 7.9564 ((2 . 25) (3 . 27) (4 . 28) (5 . 31)) 3297 0.4997 7.0478 ((2 . 4) (3 . 5) (5 . 8) (6 . 9)) 3300 0.4999 5.6778 ((2 . 1) (3 . 2) (4 . 3) (5 . 5)) 3322 0.4990 9.6150 ((2 . 1) (6 . 7) (7 . 8) (8 . 10)) 3334 0.4998 6.5114 ((3 . 5) (4 . 9) (5 . 10) (8 . 13)) 3339 0.6237 7.7369 ((3 . 28) (4 . 30) (6 . 33) (7 . 35) (8 . 36)) 3358 0.4996 7.7365 ((2 . 4) (3 . 7) (4 . 9) (5 . 10)) 3362 0.4998 6.0435 ((2 . 4) (5 . 10) (6 . 11) (7 . 13)) 3366 0.5000 4.4085 ((2 . 2) (3 . 22) (5 . 26) (6 . 29)) 3391 0.4995 8.2400 ((3 . 4) (4 . 5) (5 . 6) (6 . 8)) 3410 0.4984 10.7262 ((3 . 21) (4 . 23) (5 . 24) (8 . 29)) 3415 0.4527 8.6050 ((4 . 18) (7 . 19) (8 . 21) (9 . 22)) 3418 0.1987 10.7988 ((3 . 2) (4 . 3) (5 . 6) (6 . 7)) 3446 0.4988 9.9994 ((2 . 5) (3 . 6) (4 . 9) (8 . 12)) 3472 0.5000 4.3527 ((2 . 1) (3 . 3) (5 . 8) (6 . 9)) 3481 0.2909 8.8365 ((2 . 7) (3 . 8) (4 . 11) (6 . 12)) 3495 0.4985 10.5435 ((2 . 1) (3 . 2) (6 . 7) (8 . 10)) 3496 0.4999 5.5765 ((3 . 22) (7 . 25) (8 . 27) (9 . 28)) 3533 0.4994 8.3082 ((2 . 1) (3 . 3) (4 . 6) (5 . 7)) 3537 0.6249 4.0545 ((3 . 2) (4 . 3) (5 . 9) (6 . 10) (7 . 11)) 3538 0.4997 7.1951 ((2 . 18) (3 . 20) (6 . 23) (8 . 27)) 3548 0.4998 6.6439 ((2 . 3) (3 . 4) (5 . 6) (7 . 11)) 3549 0.4193 12.2267 ((3 . 1) (4 . 4) (5 . 5) (7 . 7)) 3561 0.4991 9.3298 ((2 . 18) (3 . 19) (4 . 21) (5 . 22)) 3570 0.6234 8.1568 ((2 . 1) (4 . 6) (5 . 7) (6 . 8) (7 . 9)) 3585 0.6242 6.7889 ((2 . 13) (3 . 14) (4 . 15) (5 . 16) (8 . 19)) 3613 0.4999 5.8966 ((5 . 40) (6 . 41) (7 . 42) (8 . 43)) 3625 0.4963 13.3349 ((2 . 3) (3 . 5) (5 . 7) (6 . 9)) 3626 0.4999 5.1342 ((2 . 2) (3 . 3) (5 . 8) (6 . 11)) 3628 0.4997 6.9893 ((3 . 6) (4 . 7) (5 . 8) (6 . 9)) 3651 0.4998 6.4380 ((3 . 1) (4 . 2) (5 . 3) (9 . 10)) 3658 0.6204 10.6349 ((3 . 1) (4 . 2) (5 . 5) (6 . 6) (7 . 9)) 3659 0.0999 8.2782 ((4 . 3) (5 . 5) (6 . 7) (9 . 14)) 3661 0.5750 9.9710 ((3 . 7) (5 . 11) (6 . 12) (7 . 13) (9 . 18)) 3663 0.4198 10.5723 ((4 . 3) (6 . 5) (7 . 6) (8 . 7)) 3688 0.4744 22.2465 ((2 . 22) (3 . 23) (5 . 27) (6 . 28)) 3697 0.5000 3.8507 ((2 . 6) (3 . 7) (4 . 8) (5 . 10)) 3703 0.4998 6.3353 ((2 . 2) (3 . 3) (6 . 6) (8 . 10)) 3732 0.4998 6.7415 ((2 . 2) (4 . 6) (5 . 7) (8 . 13)) 3733 0.4997 7.1435 ((2 . 1) (3 . 3) (4 . 4) (5 . 6)) 3740 0.4999 4.8045 ((2 . 2) (3 . 3) (5 . 5) (6 . 6)) 3741 0.4998 6.7260 ((2 . 26) (3 . 27) (5 . 32) (6 . 35)) 3776 0.4994 8.5607 ((3 . 17) (4 . 18) (5 . 21) (6 . 24)) 3778 0.6250 3.2078 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7)) 3787 0.4998 6.4693 ((3 . 17) (4 . 18) (5 . 19) (8 . 24)) 3790 0.4998 6.3660 ((2 . 35) (3 . 37) (5 . 39) (6 . 40)) 3807 0.4997 6.8568 ((2 . 46) (3 . 47) (4 . 49) (5 . 50)) 3810 0.4998 6.7522 ((2 . 4) (3 . 6) (5 . 10) (6 . 11)) 3817 0.4982 11.0617 ((2 . 5) (6 . 9) (8 . 13) (9 . 14)) 3818 0.4994 8.4030 ((2 . 23) (4 . 27) (5 . 28) (6 . 29)) 3829 0.2462 12.3350 ((4 . 3) (6 . 5) (8 . 8) (9 . 10)) 3831 0.4999 4.8144 ((2 . 5) (3 . 6) (4 . 7) (5 . 9)) 3847 0.4985 10.6972 ((2 . 9) (4 . 12) (5 . 13) (6 . 16)) 3849 0.1987 5.7724 ((3 . 1) (4 . 7) (5 . 5) (6 . 8)) 3853 0.4996 7.5118 ((3 . 12) (5 . 14) (7 . 19) (8 . 20)) 3870 0.4990 9.6578 ((2 . 3) (4 . 6) (6 . 8) (7 . 9)) 3933 0.4996 7.8371 ((2 . 2) (3 . 3) (5 . 8) (6 . 9)) 3938 0.4999 4.7596 ((4 . 1) (5 . 2) (6 . 4) (7 . 5)) 3968 0.4996 7.4895 ((2 . 3) (3 . 5) (4 . 8) (5 . 9)) 3986 0.4969 12.7204 ((3 . 5) (5 . 9) (6 . 11) (8 . 16)) 3990 0.4993 8.7312 ((3 . 18) (4 . 19) (5 . 22) (6 . 23)) 4005 0.4998 6.7551 ((2 . 32) (3 . 33) (5 . 40) (6 . 41)) 4009 0.4998 6.5330 ((5 . 12) (7 . 16) (8 . 17) (9 . 18)) 4011 0.1332 10.9798 ((4 . 1) (7 . 2) (8 . 5) (9 . 4)) 4019 0.4997 7.2271 ((2 . 45) (5 . 50) (6 . 51) (7 . 52)) 4034 0.4999 5.6088 ((2 . 5) (3 . 6) (4 . 7) (6 . 9)) 4037 0.4989 9.7294 ((2 . 2) (3 . 3) (4 . 5) (7 . 8)) 4062 0.4529 7.3095 ((4 . 45) (7 . 47) (8 . 52) (9 . 53)) 4067 0.4995 7.9068 ((3 . 20) (4 . 21) (5 . 22) (6 . 24)) 4077 0.3665 12.3772 ((4 . 14) (7 . 16) (8 . 17) (9 . 18)) 4082 0.4988 10.0819 ((2 . 6) (3 . 7) (4 . 9) (5 . 10)) 4087 0.6241 7.1324 ((2 . 1) (3 . 3) (5 . 6) (6 . 7) (8 . 10)) 4112 0.4999 5.7403 ((5 . 3) (6 . 4) (7 . 7) (8 . 8)) 4115 0.4998 6.7632 ((3 . 13) (4 . 14) (5 . 15) (8 . 21)) 4140 0.4998 6.2684 ((3 . 21) (4 . 25) (5 . 23) (7 . 26)) 4151 0.4995 8.1596 ((3 . 15) (4 . 16) (5 . 17) (6 . 19)) 4177 0.6237 7.7560 ((2 . 1) (3 . 2) (4 . 6) (5 . 7) (6 . 8)) 4190 0.4997 7.0619 ((2 . 3) (4 . 7) (5 . 8) (6 . 9)) 4192 0.4998 6.2416 ((2 . 15) (3 . 19) (4 . 20) (6 . 22)) 4194 0.4997 6.8196 ((3 . 3) (4 . 4) (5 . 5) (6 . 6)) 4195 0.4202 8.2915 ((2 . 6) (5 . 9) (7 . 10) (8 . 11)) 4204 0.4997 6.9481 ((3 . 11) (4 . 12) (5 . 14) (6 . 15)) 4209 0.4999 5.8594 ((2 . 1) (3 . 2) (5 . 7) (7 . 11)) 4210 0.4998 6.0391 ((2 . 5) (3 . 6) (4 . 7) (5 . 8)) 4216 0.1987 8.8663 ((4 . 9) (7 . 13) (8 . 14) (9 . 15)) 4226 0.6248 4.5156 ((2 . 11) (3 . 16) (4 . 17) (5 . 18) (6 . 19)) 4232 0.4981 11.2533 ((3 . 2) (5 . 5) (6 . 6) (7 . 7)) 4236 0.3670 7.7022 ((3 . 5) (5 . 8) (6 . 10) (7 . 11)) 4246 0.4998 6.2349 ((2 . 2) (3 . 3) (5 . 7) (7 . 10)) 4254 0.4997 6.8148 ((2 . 3) (3 . 4) (4 . 7) (5 . 8)) 4255 0.6245 6.0243 ((3 . 21) (4 . 22) (5 . 23) (6 . 24) (7 . 25)) 4265 0.4993 8.8602 ((2 . 21) (3 . 23) (5 . 26) (6 . 29)) 4266 0.4997 7.3594 ((3 . 2) (4 . 3) (5 . 4) (9 . 9)) 4274 0.4999 5.6777 ((3 . 36) (4 . 39) (5 . 40) (6 . 41)) 4275 0.4997 6.9520 ((2 . 21) (5 . 27) (6 . 28) (7 . 29)) 4281 0.4993 8.8241 ((2 . 3) (3 . 4) (4 . 7) (6 . 10)) 4284 0.4999 5.1208 ((3 . 1) (4 . 2) (5 . 3) (6 . 5)) 4299 0.4993 8.7471 ((3 . 2) (4 . 5) (5 . 6) (7 . 8)) 4301 0.4992 8.9651 ((2 . 2) (3 . 3) (5 . 6) (6 . 9)) 4326 0.3666 11.7354 ((2 . 11) (3 . 12) (4 . 16) (5 . 17)) 4332 0.5000 4.3181 ((4 . 1) (5 . 2) (6 . 4) (7 . 5)) 4338 0.6247 5.5304 ((2 . 4) (3 . 6) (5 . 7) (6 . 8) (7 . 9)) 4352 0.4985 10.6290 ((2 . 9) (3 . 10) (4 . 13) (7 . 14)) 4359 0.4999 5.4132 ((2 . 6) (3 . 7) (5 . 11) (6 . 12)) 4380 0.4981 11.2170 ((2 . 14) (3 . 15) (5 . 18) (8 . 27)) 4386 0.4989 9.8377 ((2 . 16) (3 . 18) (4 . 20) (5 . 21)) 4388 0.4995 8.2086 ((2 . 6) (3 . 8) (5 . 10) (8 . 15)) 4398 0.4998 6.4524 ((4 . 5) (5 . 6) (6 . 7) (8 . 11)) 4405 0.5000 4.3861 ((2 . 18) (3 . 19) (4 . 20) (6 . 25)) 4408 0.8655 8.4021 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 10) (8 . 20)) 4415 0.4990 9.5493 ((3 . 9) (4 . 10) (5 . 11) (6 . 12)) 4419 0.2910 7.8047 ((3 . 3) (5 . 8) (6 . 9) (7 . 11)) 4426 0.5000 4.4958 ((3 . 2) (4 . 3) (6 . 4) (7 . 5)) 4470 0.4997 6.7698 ((2 . 19) (3 . 20) (4 . 22) (6 . 25)) 4491 0.6246 5.8724 ((3 . 1) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 4492 0.4997 7.2655 ((3 . 2) (4 . 6) (5 . 7) (6 . 8)) 4495 0.4993 8.6108 ((3 . 6) (4 . 9) (5 . 10) (7 . 12)) 4497 0.4999 5.9235 ((2 . 18) (3 . 23) (5 . 25) (6 . 26)) 4502 0.4998 6.1431 ((4 . 7) (5 . 9) (6 . 10) (8 . 16)) 4504 0.4996 7.6818 ((2 . 6) (3 . 8) (4 . 10) (6 . 13)) 4505 0.4995 8.0366 ((3 . 28) (4 . 29) (5 . 30) (8 . 35)) 4538 0.3668 10.7530 ((4 . 27) (5 . 30) (8 . 36) (9 . 39)) 4560 0.4989 9.8447 ((2 . 1) (4 . 5) (5 . 6) (6 . 8)) 4561 0.4998 5.9670 ((3 . 1) (4 . 4) (5 . 5) (9 . 11)) 4562 0.4994 8.5811 ((3 . 19) (4 . 21) (5 . 22) (8 . 28)) 4563 0.4998 6.2455 ((3 . 31) (4 . 33) (5 . 34) (6 . 35)) 4577 0.4997 7.2045 ((2 . 37) (3 . 39) (5 . 42) (6 . 43)) 4579 0.4523 10.2624 ((4 . 6) (7 . 8) (8 . 11) (9 . 13)) 4588 0.4996 7.7111 ((4 . 4) (5 . 7) (6 . 8) (8 . 12)) 4589 0.4999 4.8387 ((2 . 22) (3 . 23) (4 . 24) (5 . 27)) 4607 0.4952 14.2205 ((2 . 3) (3 . 4) (7 . 13) (9 . 16)) 4621 0.4981 11.2729 ((2 . 6) (3 . 8) (4 . 10) (5 . 11)) 4630 0.4987 10.2066 ((2 . 20) (3 . 21) (5 . 27) (6 . 28)) 4648 0.4999 5.6046 ((2 . 1) (3 . 2) (5 . 5) (6 . 8)) 4653 0.4996 7.5574 ((2 . 1) (3 . 3) (5 . 6) (6 . 7)) 4668 0.4993 8.6642 ((2 . 1) (3 . 3) (5 . 7) (6 . 9)) 4669 0.4996 7.5001 ((2 . 12) (4 . 16) (5 . 17) (8 . 22)) 4671 0.4998 6.6245 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 4674 0.6234 8.0955 ((2 . 1) (3 . 2) (4 . 5) (5 . 6) (6 . 8)) 4699 0.3668 10.0581 ((4 . 8) (7 . 10) (8 . 11) (9 . 12)) 4713 0.4998 6.6930 ((3 . 3) (5 . 7) (6 . 8) (7 . 10)) 4715 0.4999 5.4524 ((4 . 5) (7 . 9) (8 . 13) (9 . 14)) 4731 0.4986 10.4565 ((2 . 18) (4 . 20) (5 . 23) (6 . 24)) 4764 0.4174 15.8219 ((4 . 1) (7 . 4) (8 . 6) (9 . 7)) 4857 0.6244 6.3525 ((2 . 9) (3 . 11) (4 . 12) (5 . 13) (8 . 16)) 4886 0.4996 7.5281 ((2 . 16) (3 . 17) (4 . 18) (5 . 19)) 4888 0.4984 10.8005 ((2 . 12) (3 . 13) (5 . 17) (7 . 19)) 4889 0.6249 3.4601 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7)) 4907 0.4998 6.0116 ((2 . 1) (3 . 3) (5 . 7) (6 . 8)) 4914 0.4998 6.0471 ((2 . 4) (3 . 5) (5 . 9) (6 . 10)) 4921 0.4995 8.0904 ((3 . 9) (4 . 11) (5 . 12) (6 . 14)) 4929 0.4995 7.8624 ((2 . 26) (3 . 28) (5 . 31) (6 . 32)) 4932 0.4999 4.9214 ((2 . 5) (3 . 6) (4 . 7) (5 . 8)) 4940 0.4986 10.4249 ((2 . 1) (3 . 2) (4 . 5) (6 . 7)) 4944 0.4993 8.6818 ((2 . 11) (4 . 12) (5 . 14) (6 . 15)) 4961 0.4999 5.5779 ((3 . 7) (4 . 11) (5 . 14) (6 . 15)) 4978 0.4997 6.7737 ((3 . 18) (4 . 20) (5 . 21) (6 . 22)) 4982 0.4994 8.2709 ((2 . 9) (3 . 10) (4 . 13) (5 . 14)) 4992 0.4999 5.8436 ((3 . 6) (4 . 7) (5 . 8) (6 . 9)) 4998 0.4998 6.7237 ((3 . 26) (4 . 28) (5 . 29) (7 . 30)) 5016 0.2462 10.3748 ((4 . 5) (7 . 6) (8 . 8) (9 . 10)) 5029 0.4992 9.1158 ((2 . 2) (3 . 4) (5 . 8) (6 . 10)) 5036 0.4993 8.8408 ((2 . 6) (3 . 7) (5 . 9) (6 . 10)) 5038 0.1987 7.3309 ((3 . 10) (4 . 13) (5 . 15) (6 . 16)) 5039 0.1987 10.0850 ((4 . 35) (6 . 37) (7 . 38) (8 . 40)) 5053 0.4998 6.7223 ((2 . 6) (4 . 8) (5 . 9) (6 . 10)) 5065 0.4992 9.1370 ((4 . 1) (5 . 2) (6 . 3) (7 . 5)) 5068 0.4990 9.6528 ((2 . 17) (6 . 24) (8 . 27) (9 . 28)) 5069 0.4992 8.9570 ((4 . 3) (5 . 5) (6 . 7) (7 . 8)) 5073 0.4993 8.7988 ((3 . 34) (4 . 35) (5 . 36) (8 . 41)) 5080 0.4199 10.3490 ((4 . 1) (5 . 3) (7 . 6) (8 . 8)) 5083 0.4989 9.8771 ((2 . 2) (3 . 5) (4 . 4) (5 . 9)) 5092 0.4994 8.5750 ((4 . 10) (7 . 13) (8 . 15) (9 . 16)) 5101 0.4998 6.0005 ((3 . 18) (4 . 19) (5 . 21) (9 . 28)) 5103 0.4996 7.4934 ((4 . 3) (5 . 4) (7 . 5) (8 . 8)) 5121 0.4989 9.7465 ((2 . 21) (4 . 23) (5 . 25) (6 . 26)) 5132 0.4993 8.7876 ((4 . 19) (5 . 20) (7 . 21) (8 . 23)) 5134 0.6246 5.6286 ((2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 17)) 5145 0.3669 9.5780 ((4 . 2) (5 . 3) (8 . 9) (9 . 11)) 5167 0.4998 6.2817 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 5176 0.4998 6.7176 ((2 . 82) (3 . 84) (5 . 87) (6 . 88)) 5183 0.1995 5.0357 ((2 . 34) (3 . 35) (5 . 37) (6 . 38) (7 . 41)) 5192 0.4971 12.4945 ((3 . 3) (4 . 4) (5 . 5) (8 . 10)) 5198 0.3651 16.7661 ((3 . 22) (4 . 23) (6 . 26) (7 . 27)) 5209 0.6241 7.0607 ((2 . 3) (3 . 4) (4 . 6) (5 . 7) (6 . 8)) 5212 0.4953 14.1477 ((2 . 2) (3 . 3) (7 . 10) (9 . 13)) 5215 0.4998 6.4146 ((2 . 5) (4 . 8) (5 . 9) (6 . 10)) 5223 0.3669 9.0262 ((3 . 8) (5 . 10) (6 . 12) (8 . 16)) 5231 0.4998 6.2439 ((3 . 8) (5 . 13) (6 . 14) (7 . 17)) 5266 0.4999 5.3911 ((2 . 13) (3 . 15) (4 . 16) (7 . 19)) 5278 0.5000 3.5319 ((2 . 2) (3 . 5) (5 . 7) (6 . 10)) 5307 0.4997 7.0718 ((3 . 53) (4 . 54) (5 . 55) (6 . 57)) 5318 0.4985 10.6526 ((4 . 9) (5 . 11) (8 . 15) (9 . 16)) 5323 0.4999 5.3317 ((4 . 9) (5 . 10) (6 . 11) (7 . 12)) 5324 0.7488 6.0581 ((2 . 20) (3 . 22) (4 . 23) (5 . 25) (6 . 28) (7 . 29)) 5344 0.4999 5.9101 ((2 . 2) (3 . 3) (5 . 7) (6 . 8)) 5345 0.4998 6.2982 ((2 . 12) (3 . 13) (5 . 17) (6 . 18)) 5368 0.4999 5.2165 ((2 . 29) (3 . 30) (5 . 35) (6 . 36)) 5378 0.4999 5.1341 ((4 . 1) (5 . 3) (6 . 4) (7 . 5)) 5411 0.6241 7.0182 ((3 . 3) (4 . 5) (5 . 6) (6 . 8) (7 . 9)) 5414 0.4998 6.4415 ((2 . 14) (3 . 15) (5 . 20) (6 . 21)) 5418 0.4997 6.8270 ((2 . 1) (3 . 2) (5 . 7) (6 . 8)) 5433 0.4526 9.4783 ((2 . 7) (6 . 16) (8 . 24) (9 . 25)) 5442 0.3667 11.3897 ((4 . 32) (7 . 35) (8 . 37) (9 . 38)) 5479 0.4998 6.3365 ((2 . 68) (3 . 69) (5 . 71) (6 . 72)) 5487 0.4994 8.2785 ((2 . 4) (3 . 7) (4 . 8) (5 . 9)) 5489 0.4997 7.0112 ((3 . 9) (5 . 13) (6 . 14) (7 . 15)) 5500 0.4996 7.4445 ((2 . 1) (3 . 2) (6 . 12) (7 . 13)) 5501 0.4973 12.3452 ((2 . 16) (3 . 17) (4 . 21) (9 . 29)) 5525 0.4990 9.5117 ((2 . 7) (3 . 8) (4 . 11) (8 . 13)) 5535 0.4996 7.5667 ((4 . 5) (5 . 6) (6 . 7) (9 . 13)) 5540 0.4993 8.6406 ((2 . 14) (3 . 16) (4 . 17) (5 . 18)) 5557 0.4997 6.8079 ((2 . 3) (3 . 4) (4 . 5) (5 . 6)) 5560 0.4998 6.6162 ((3 . 2) (4 . 3) (5 . 4) (9 . 10)) 5562 0.4997 6.7743 ((2 . 6) (3 . 7) (4 . 9) (5 . 11)) 5567 0.4996 7.7291 ((3 . 11) (4 . 14) (5 . 15) (6 . 17)) 5594 0.4999 5.0346 ((3 . 1) (4 . 2) (5 . 4) (9 . 10)) 5600 0.6248 4.7706 ((3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 5601 0.1987 4.9197 ((2 . 1) (3 . 12) (5 . 15) (6 . 16)) 5638 0.1987 11.8557 ((3 . 7) (4 . 12) (6 . 13) (7 . 14)) 5640 0.4999 5.3629 ((2 . 23) (3 . 24) (5 . 28) (6 . 29)) 5644 0.3669 9.8222 ((2 . 1) (3 . 3) (4 . 5) (5 . 8)) 5656 0.4996 7.5976 ((4 . 20) (5 . 21) (6 . 23) (9 . 28)) 5689 0.4996 7.7938 ((4 . 11) (7 . 14) (8 . 17) (9 . 18)) 5700 0.3669 8.7903 ((2 . 2) (3 . 3) (6 . 6) (7 . 7)) 5701 0.6217 9.8204 ((2 . 11) (3 . 12) (4 . 13) (5 . 14) (7 . 20)) 5704 0.2462 10.9864 ((4 . 5) (7 . 7) (8 . 8) (9 . 9)) 5711 0.4997 6.9507 ((2 . 42) (3 . 43) (6 . 47) (7 . 48)) 5713 0.4999 5.9308 ((2 . 2) (3 . 3) (5 . 7) (6 . 8)) 5718 0.4985 10.6172 ((2 . 17) (4 . 22) (5 . 23) (6 . 24)) 5731 0.4991 9.2005 ((2 . 3) (3 . 5) (5 . 9) (6 . 10)) 5746 0.6249 4.4746 ((2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 10)) 5749 0.4990 9.5617 ((3 . 3) (5 . 5) (6 . 6) (8 . 9)) 5761 0.6243 6.5135 ((3 . 28) (4 . 29) (5 . 31) (6 . 32) (7 . 34)) 5770 0.6244 6.4038 ((2 . 1) (3 . 6) (5 . 9) (6 . 12) (7 . 18)) 5771 0.4976 11.9605 ((3 . 9) (4 . 10) (5 . 13) (6 . 14)) 5782 0.6203 10.7236 ((3 . 22) (5 . 24) (6 . 26) (7 . 33) (8 . 36)) 5794 0.6237 7.7364 ((2 . 18) (3 . 19) (4 . 22) (5 . 23) (6 . 24)) 5795 0.4990 9.6908 ((2 . 9) (3 . 10) (4 . 12) (5 . 13)) 5809 0.4985 10.6508 ((3 . 7) (4 . 8) (5 . 9) (7 . 11)) 5822 0.4996 7.4809 ((2 . 1) (4 . 5) (5 . 6) (6 . 8)) 5827 0.4998 6.0322 ((2 . 15) (3 . 16) (6 . 19) (7 . 21)) 5830 0.4998 6.7678 ((3 . 3) (5 . 8) (6 . 10) (9 . 15)) 5847 0.4994 8.3070 ((2 . 4) (3 . 5) (5 . 10) (6 . 11)) 5861 0.4999 5.6226 ((2 . 1) (3 . 5) (5 . 7) (6 . 10)) 5865 0.4998 6.7206 ((2 . 4) (3 . 5) (4 . 6) (5 . 7)) 5878 0.2908 12.2527 ((4 . 24) (5 . 26) (6 . 28) (7 . 31)) 5888 0.4999 5.4720 ((2 . 8) (3 . 9) (5 . 13) (6 . 14)) 5896 0.6246 5.8422 ((3 . 26) (4 . 27) (5 . 28) (6 . 29) (7 . 30)) 5904 0.4995 7.8663 ((2 . 4) (4 . 8) (6 . 9) (7 . 10)) 5913 0.4990 9.5355 ((4 . 4) (5 . 5) (6 . 6) (8 . 11)) 5914 0.2462 9.0045 ((5 . 2) (6 . 3) (7 . 4) (8 . 7)) 5922 0.4994 8.5396 ((2 . 8) (3 . 9) (5 . 11) (6 . 13)) 5939 0.4990 9.5135 ((3 . 2) (4 . 3) (5 . 4) (7 . 5)) 5945 0.6213 10.0575 ((4 . 31) (5 . 32) (6 . 33) (7 . 34) (8 . 36)) 5949 0.3668 10.2255 ((2 . 10) (3 . 12) (4 . 15) (8 . 20)) 5955 0.4992 9.0013 ((2 . 1) (3 . 3) (4 . 6) (5 . 7)) 5967 0.0999 12.1430 ((3 . 1) (4 . 2) (5 . 7) (7 . 8)) 5977 0.4999 5.1084 ((3 . 3) (4 . 4) (5 . 5) (6 . 6)) 6000 0.4993 8.6914 ((2 . 9) (6 . 17) (7 . 18) (8 . 22)) 6011 0.4997 6.9535 ((2 . 14) (3 . 15) (5 . 19) (7 . 21)) 6022 0.4997 7.0767 ((2 . 2) (3 . 4) (5 . 7) (6 . 8)) 6029 0.7479 6.9701 ((2 . 5) (3 . 6) (4 . 7) (5 . 10) (6 . 11) (7 . 12)) 6041 0.6226 9.0698 ((3 . 8) (4 . 9) (5 . 10) (6 . 11) (7 . 14)) 6046 0.5000 4.4109 ((4 . 1) (5 . 5) (6 . 6) (7 . 7)) 6061 0.4999 4.8042 ((3 . 17) (4 . 18) (5 . 20) (6 . 21)) 6074 0.4996 7.7460 ((3 . 2) (5 . 4) (8 . 10) (9 . 12)) 6075 0.4991 9.2796 ((2 . 17) (3 . 20) (5 . 24) (6 . 27)) 6079 0.4999 5.5584 ((2 . 6) (3 . 7) (4 . 10) (5 . 11)) 6089 0.4998 6.5041 ((3 . 1) (4 . 2) (5 . 3) (8 . 8)) 6094 0.4997 7.0324 ((2 . 2) (3 . 3) (5 . 7) (6 . 10)) 6099 0.4998 6.2135 ((2 . 24) (3 . 25) (5 . 28) (6 . 29)) 6123 0.1661 13.9158 ((5 . 3) (6 . 4) (7 . 6) (8 . 7)) 6142 0.4999 5.2280 ((2 . 10) (3 . 11) (5 . 15) (6 . 16)) 6148 0.4998 6.7073 ((3 . 32) (4 . 35) (5 . 36) (6 . 37)) 6169 0.1662 10.2560 ((4 . 10) (7 . 12) (8 . 14) (9 . 15)) 6173 0.4202 8.0516 ((2 . 7) (5 . 13) (6 . 15) (7 . 16)) 6191 0.5000 4.2222 ((2 . 3) (3 . 4) (4 . 5) (6 . 13)) 6192 0.6238 7.6534 ((4 . 4) (5 . 5) (6 . 10) (8 . 12) (9 . 15)) 6215 0.6247 5.3773 ((3 . 17) (5 . 19) (6 . 20) (7 . 22) (8 . 23)) 6225 0.4998 6.0266 ((4 . 2) (5 . 3) (6 . 4) (8 . 9)) 6228 0.2910 7.4090 ((4 . 8) (5 . 11) (6 . 12) (8 . 16)) 6234 0.4196 11.3097 ((2 . 6) (3 . 7) (4 . 8) (7 . 14)) 6238 0.6227 8.9210 ((2 . 3) (3 . 4) (4 . 6) (6 . 8) (8 . 10)) 6243 0.4998 5.9962 ((2 . 2) (3 . 3) (4 . 7) (5 . 8)) 6251 0.4985 10.6536 ((4 . 14) (5 . 17) (6 . 19) (7 . 20)) 6258 0.4995 8.2227 ((3 . 7) (4 . 8) (5 . 10) (8 . 14)) 6261 0.4996 7.7187 ((3 . 19) (4 . 23) (7 . 24) (8 . 25)) 6266 0.4996 7.6446 ((3 . 3) (4 . 4) (5 . 5) (8 . 9)) 6268 0.1662 8.4199 ((4 . 8) (7 . 11) (8 . 12) (9 . 13)) 6270 0.4973 12.3269 ((2 . 17) (3 . 18) (4 . 19) (5 . 22)) 6271 0.4993 8.7700 ((2 . 5) (3 . 7) (5 . 11) (7 . 13)) 6273 0.4980 11.3660 ((2 . 1) (3 . 2) (4 . 5) (5 . 6)) 6294 0.4518 11.5918 ((6 . 6) (7 . 7) (8 . 10) (9 . 12)) 6306 0.4998 6.5362 ((2 . 15) (4 . 18) (5 . 19) (6 . 21)) 6309 0.6246 5.6502 ((3 . 17) (4 . 19) (5 . 20) (6 . 25) (7 . 26)) 6311 0.4998 6.1475 ((2 . 4) (3 . 5) (5 . 10) (6 . 11)) 6326 0.5000 3.9185 ((2 . 6) (3 . 7) (5 . 11) (6 . 12)) 6344 0.6226 8.9962 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5)) 6345 0.4995 8.0579 ((2 . 7) (4 . 9) (5 . 11) (6 . 13)) 6348 0.4995 8.1349 ((2 . 4) (6 . 9) (7 . 10) (8 . 13)) 6355 0.3670 8.1373 ((2 . 9) (3 . 10) (6 . 15) (7 . 16)) 6356 0.4989 9.7158 ((4 . 10) (5 . 11) (6 . 13) (7 . 14)) 6369 0.4995 8.0583 ((3 . 26) (4 . 28) (5 . 29) (6 . 31)) 6376 0.4992 9.0887 ((2 . 17) (3 . 19) (5 . 24) (6 . 26)) 6391 0.3669 9.4209 ((2 . 6) (3 . 8) (4 . 11) (5 . 12)) 6392 0.4978 11.6843 ((4 . 6) (5 . 7) (7 . 10) (9 . 14)) 6399 0.4999 5.8536 ((2 . 14) (3 . 15) (5 . 19) (6 . 20)) 6403 0.4997 6.7920 ((2 . 14) (3 . 15) (4 . 16) (5 . 17)) 6434 0.4989 9.7168 ((3 . 2) (5 . 4) (7 . 6) (9 . 9)) 6462 0.4999 4.9064 ((4 . 27) (5 . 28) (6 . 29) (7 . 31)) 6498 0.4982 11.1220 ((3 . 29) (4 . 30) (5 . 31) (8 . 36)) 6506 0.4199 10.0139 ((4 . 23) (7 . 24) (8 . 25) (9 . 27)) 6520 0.6216 9.8498 ((2 . 8) (3 . 9) (4 . 11) (6 . 14) (8 . 18)) 6536 0.2462 9.5375 ((4 . 27) (7 . 28) (8 . 29) (9 . 30)) 6539 0.6247 5.2817 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 7)) 6548 0.6245 6.0436 ((3 . 7) (4 . 8) (5 . 9) (6 . 12) (7 . 14)) 6553 0.4994 8.3081 ((3 . 11) (4 . 12) (5 . 15) (6 . 17)) 6555 0.4997 7.3115 ((3 . 20) (4 . 21) (5 . 23) (6 . 24)) 6561 0.4967 12.9953 ((3 . 3) (4 . 5) (5 . 7) (6 . 8)) 6573 0.4996 7.8196 ((3 . 17) (4 . 18) (5 . 19) (6 . 21)) 6578 0.6231 8.4900 ((2 . 31) (3 . 32) (4 . 36) (5 . 37) (6 . 38)) 6584 0.4995 8.1882 ((2 . 2) (3 . 3) (4 . 4) (6 . 8)) 6585 0.6244 6.5056 ((3 . 2) (4 . 4) (5 . 10) (6 . 11) (7 . 12)) 6586 0.4996 7.7257 ((2 . 18) (4 . 23) (5 . 24) (6 . 25)) 6587 0.4997 6.8861 ((3 . 29) (4 . 32) (5 . 33) (6 . 34)) 6598 0.4999 5.7352 ((2 . 5) (3 . 6) (5 . 8) (6 . 10)) 6613 0.4998 6.3817 ((2 . 21) (3 . 22) (4 . 23) (5 . 24)) 6635 0.6244 6.4910 ((3 . 1) (4 . 3) (5 . 4) (6 . 5) (8 . 10)) END