6311 51 0.4998 6.4692 ((4 . 2) (5 . 6) (9 . 7) (10 . 10)) 64 0.7488 6.0078 ((4 . 3) (5 . 4) (9 . 12) (10 . 13) (13 . 14) (14 . 15)) 77 0.4985 10.5333 ((1 . 7) (4 . 8) (9 . 13) (10 . 15)) 91 0.4992 9.1506 ((9 . 37) (11 . 42) (13 . 44) (14 . 45)) 96 0.4999 5.5072 ((4 . 1) (9 . 3) (10 . 5) (11 . 6)) 129 0.4998 6.5181 ((5 . 1) (9 . 5) (13 . 11) (14 . 12)) 136 0.4993 8.6655 ((9 . 3) (11 . 5) (13 . 7) (14 . 8)) 153 0.4998 6.2935 ((9 . 1) (11 . 4) (13 . 6) (14 . 7)) 157 0.4995 7.9418 ((4 . 9) (9 . 14) (11 . 16) (13 . 20)) 162 0.4994 8.5103 ((1 . 12) (4 . 15) (9 . 18) (10 . 22)) 169 0.4998 6.4556 ((4 . 1) (5 . 3) (13 . 9) (14 . 10)) 177 0.4998 6.6924 ((4 . 1) (9 . 5) (13 . 8) (14 . 10)) 191 0.4999 5.7078 ((1 . 2) (9 . 7) (10 . 8) (11 . 9)) 198 0.4999 4.7880 ((9 . 1) (10 . 2) (13 . 7) (14 . 8)) 207 0.1497 7.7776 ((1 . 7) (9 . 13) (10 . 15) (13 . 18)) 233 0.6247 5.3348 ((4 . 1) (5 . 2) (9 . 5) (10 . 7) (11 . 8)) 300 0.4998 6.3002 ((4 . 9) (5 . 10) (11 . 16) (14 . 18)) 305 0.4997 7.1876 ((4 . 11) (5 . 12) (13 . 21) (14 . 22)) 307 0.4992 8.9773 ((5 . 1) (9 . 3) (13 . 7) (14 . 9)) 315 0.4996 7.7175 ((4 . 3) (9 . 6) (11 . 9) (13 . 10)) 350 0.4999 5.2948 ((1 . 13) (4 . 15) (5 . 18) (9 . 20)) 360 0.5000 4.0671 ((5 . 6) (9 . 9) (10 . 10) (11 . 12)) 361 0.4998 6.0497 ((1 . 1) (5 . 4) (13 . 10) (14 . 11)) 365 0.4993 8.7563 ((5 . 1) (9 . 3) (10 . 6) (11 . 8)) 367 0.4999 5.2267 ((5 . 38) (9 . 40) (10 . 42) (11 . 43)) 372 0.1997 5.8957 ((4 . 1) (5 . 2) (9 . 6) (10 . 8) (11 . 7) (14 . 14)) 387 0.4995 7.9128 ((4 . 7) (5 . 8) (9 . 11) (10 . 12)) 405 0.4999 5.6548 ((10 . 35) (11 . 37) (13 . 39) (14 . 40)) 417 0.1987 7.0638 ((1 . 1) (4 . 3) (9 . 7) (10 . 9)) 420 0.7487 6.1602 ((1 . 1) (4 . 3) (5 . 4) (9 . 8) (10 . 9) (11 . 10)) 433 0.4999 5.3774 ((9 . 1) (10 . 5) (13 . 6) (14 . 7)) 442 0.4999 5.4994 ((1 . 14) (9 . 20) (10 . 21) (11 . 22)) 460 0.4999 5.0301 ((9 . 2) (10 . 3) (13 . 7) (14 . 8)) 472 0.4939 15.1309 ((4 . 21) (5 . 22) (10 . 25) (11 . 27)) 495 0.6247 5.5166 ((4 . 3) (5 . 5) (9 . 8) (10 . 9) (11 . 11)) 541 0.4998 6.7390 ((1 . 11) (4 . 14) (5 . 16) (9 . 17)) 543 0.6232 8.3834 ((4 . 5) (9 . 8) (10 . 10) (13 . 15) (14 . 16)) 584 0.4998 6.0196 ((1 . 3) (4 . 5) (9 . 10) (11 . 13)) 587 0.4999 5.6988 ((10 . 6) (11 . 7) (13 . 8) (14 . 9)) 609 0.0999 6.2711 ((5 . 1) (9 . 3) (11 . 6) (13 . 8)) 619 0.4999 4.8062 ((10 . 7) (11 . 8) (13 . 11) (14 . 12)) 624 0.4999 5.6745 ((4 . 20) (5 . 22) (10 . 24) (11 . 26)) 635 0.6247 5.3387 ((5 . 5) (9 . 13) (10 . 14) (11 . 15) (13 . 18)) 672 0.4999 5.9143 ((5 . 18) (9 . 22) (10 . 23) (11 . 24)) 683 0.4999 5.9257 ((4 . 1) (5 . 2) (9 . 5) (10 . 6)) 719 0.4999 5.2079 ((10 . 22) (11 . 23) (13 . 25) (14 . 27)) 729 0.4999 5.4247 ((4 . 13) (5 . 15) (10 . 17) (11 . 20)) 735 0.4997 6.9952 ((5 . 29) (9 . 33) (10 . 36) (11 . 37)) 765 0.4994 8.4368 ((4 . 7) (5 . 8) (9 . 12) (13 . 20)) 767 0.4994 8.5576 ((9 . 1) (10 . 3) (13 . 8) (14 . 9)) 795 0.4998 6.7419 ((9 . 1) (10 . 3) (13 . 5) (14 . 6)) 801 0.4998 6.4426 ((9 . 1) (10 . 2) (11 . 4) (14 . 7)) 818 0.4997 7.0244 ((4 . 1) (9 . 7) (11 . 10) (13 . 12)) 819 0.4999 5.7636 ((4 . 3) (9 . 5) (13 . 9) (14 . 10)) 824 0.1497 7.5064 ((1 . 43) (4 . 46) (9 . 51) (10 . 53)) 861 0.4924 16.0171 ((4 . 2) (5 . 3) (13 . 7) (14 . 8)) 901 0.4979 11.5258 ((1 . 9) (4 . 12) (9 . 15) (11 . 17)) 928 0.4998 6.4945 ((4 . 14) (5 . 16) (9 . 18) (10 . 21)) 943 0.4999 5.7247 ((4 . 4) (9 . 9) (13 . 12) (14 . 15)) 945 0.4995 8.2316 ((1 . 12) (4 . 14) (9 . 19) (11 . 22)) 960 0.6234 8.1445 ((1 . 1) (4 . 4) (10 . 8) (11 . 9) (13 . 12)) 978 0.4996 7.5867 ((1 . 13) (4 . 16) (9 . 19) (13 . 22)) 980 0.4995 8.0883 ((1 . 1) (4 . 3) (9 . 7) (11 . 9)) 1007 0.4998 6.2861 ((5 . 13) (9 . 17) (10 . 18) (11 . 19)) 1008 0.4999 4.6325 ((4 . 5) (9 . 13) (10 . 15) (13 . 16)) 1034 0.4974 12.2049 ((9 . 20) (10 . 21) (11 . 22) (14 . 25)) 1043 0.4999 5.2034 ((1 . 6) (9 . 12) (10 . 14) (11 . 17)) 1082 0.4999 5.7391 ((1 . 1) (4 . 4) (10 . 8) (11 . 9)) 1084 0.4998 6.7150 ((4 . 10) (5 . 12) (9 . 17) (11 . 18)) 1165 0.4996 7.7840 ((4 . 2) (5 . 3) (9 . 7) (13 . 10)) 1167 0.4995 8.2095 ((9 . 20) (10 . 21) (11 . 22) (14 . 27)) 1169 0.4999 5.6645 ((5 . 29) (9 . 32) (10 . 35) (11 . 37)) 1195 0.4999 5.1072 ((5 . 2) (9 . 4) (10 . 5) (11 . 6)) 1201 0.4992 9.0040 ((5 . 7) (9 . 9) (10 . 11) (11 . 12)) 1204 0.4968 12.8457 ((4 . 1) (9 . 5) (13 . 11) (14 . 12)) 1211 0.4999 5.3938 ((4 . 10) (5 . 11) (9 . 14) (10 . 15)) 1224 0.4999 5.6855 ((10 . 9) (11 . 10) (13 . 14) (14 . 15)) 1233 0.4998 6.3612 ((5 . 11) (9 . 14) (11 . 17) (13 . 20)) 1267 0.4998 6.5804 ((4 . 24) (9 . 31) (11 . 33) (13 . 36)) 1294 0.4995 8.1491 ((1 . 39) (9 . 44) (10 . 46) (11 . 47)) 1324 0.4980 11.3652 ((5 . 1) (9 . 3) (10 . 4) (13 . 6)) 1345 0.6240 7.2944 ((1 . 5) (9 . 9) (11 . 12) (13 . 14) (14 . 16)) 1366 0.4999 5.3577 ((1 . 14) (5 . 17) (9 . 21) (10 . 22)) 1388 0.4994 8.2593 ((5 . 1) (10 . 4) (11 . 5) (14 . 8)) 1425 0.4999 5.6178 ((9 . 8) (10 . 10) (11 . 11) (13 . 12)) 1435 0.5000 4.3605 ((4 . 1) (5 . 2) (9 . 3) (10 . 5)) 1451 0.4997 6.7818 ((4 . 1) (9 . 5) (13 . 9) (14 . 10)) 1464 0.4999 5.2532 ((5 . 8) (9 . 10) (10 . 13) (11 . 14)) 1476 0.4999 5.5236 ((9 . 11) (10 . 14) (11 . 15) (13 . 18)) 1481 0.4998 6.0666 ((4 . 1) (5 . 2) (9 . 4) (10 . 7)) 1501 0.4999 5.4270 ((9 . 2) (10 . 3) (11 . 4) (13 . 6)) 1513 0.4998 6.1715 ((4 . 11) (5 . 13) (9 . 15) (11 . 18)) 1577 0.4987 10.2151 ((9 . 3) (10 . 4) (11 . 5) (13 . 6)) 1591 0.4997 7.3255 ((1 . 1) (4 . 4) (9 . 6) (13 . 8)) 1604 0.0999 7.1776 ((4 . 1) (5 . 3) (9 . 7) (11 . 10)) 1622 0.4996 7.4147 ((4 . 18) (5 . 20) (9 . 22) (10 . 23)) 1624 0.4995 7.8822 ((9 . 2) (10 . 3) (11 . 4) (14 . 9)) 1643 0.7453 8.5393 ((1 . 16) (4 . 18) (5 . 20) (9 . 25) (10 . 26) (11 . 27)) 1644 0.6242 6.8988 ((5 . 43) (10 . 48) (11 . 49) (13 . 51) (14 . 52)) 1665 0.4930 15.7158 ((5 . 3) (9 . 6) (11 . 8) (13 . 10)) 1690 0.6242 6.7941 ((5 . 13) (9 . 16) (10 . 20) (13 . 21) (14 . 24)) 1692 0.4999 4.7401 ((10 . 6) (11 . 7) (13 . 8) (14 . 9)) 1731 0.4997 6.9876 ((4 . 3) (5 . 6) (13 . 12) (14 . 13)) 1736 0.4996 7.4540 ((1 . 1) (4 . 3) (10 . 7) (13 . 10)) 1738 0.4999 5.3096 ((5 . 4) (10 . 9) (13 . 13) (14 . 14)) 1747 0.6249 4.4236 ((4 . 18) (5 . 19) (9 . 24) (10 . 25) (11 . 27)) 1756 0.4997 7.2143 ((4 . 21) (5 . 23) (9 . 27) (10 . 30)) 1759 0.6248 4.5826 ((9 . 5) (10 . 6) (11 . 8) (13 . 10) (14 . 11)) 1761 0.4998 6.5356 ((4 . 13) (5 . 16) (10 . 19) (11 . 20)) 1776 0.4999 4.6363 ((5 . 12) (9 . 15) (10 . 16) (14 . 23)) 1777 0.4995 8.2215 ((4 . 37) (5 . 42) (9 . 46) (11 . 50)) 1778 0.4999 4.6889 ((9 . 2) (10 . 3) (11 . 4) (14 . 8)) 1793 0.4993 8.8103 ((1 . 4) (9 . 8) (11 . 10) (13 . 11)) 1805 0.5000 4.4137 ((4 . 11) (5 . 12) (10 . 15) (11 . 16)) 1808 0.4997 7.1660 ((5 . 4) (9 . 8) (10 . 9) (11 . 10)) 1894 0.4996 7.4453 ((4 . 11) (5 . 12) (13 . 18) (14 . 20)) 1896 0.4988 9.9298 ((1 . 17) (9 . 23) (10 . 25) (11 . 26)) 1897 0.4991 9.4581 ((10 . 39) (11 . 40) (13 . 41) (14 . 43)) 1908 0.4990 9.4679 ((5 . 7) (9 . 10) (13 . 15) (14 . 17)) 1909 0.4997 7.1709 ((1 . 25) (9 . 34) (11 . 37) (13 . 39)) 1913 0.4999 4.7242 ((1 . 19) (9 . 26) (10 . 28) (11 . 30)) 1944 0.4997 7.2275 ((1 . 9) (9 . 16) (10 . 17) (13 . 22)) 1957 0.4998 6.3099 ((4 . 1) (9 . 3) (10 . 5) (11 . 7)) 1961 0.4998 6.6448 ((4 . 15) (5 . 16) (9 . 19) (10 . 20)) 1967 0.4995 8.1281 ((5 . 1) (9 . 3) (11 . 7) (14 . 10)) 1992 0.4996 7.5264 ((1 . 1) (4 . 3) (13 . 12) (14 . 14)) 1995 0.6230 8.6580 ((4 . 1) (5 . 3) (9 . 7) (11 . 11) (13 . 13)) 2003 0.6247 5.4923 ((4 . 4) (5 . 5) (9 . 9) (10 . 10) (13 . 12)) 2006 0.6231 8.4810 ((1 . 7) (4 . 9) (5 . 10) (9 . 13) (10 . 14)) 2045 0.4999 5.8342 ((10 . 1) (11 . 2) (13 . 3) (14 . 7)) 2063 0.4990 9.6545 ((1 . 43) (4 . 45) (5 . 47) (9 . 50)) 2065 0.4998 6.5463 ((10 . 16) (11 . 17) (13 . 19) (14 . 23)) 2067 0.1332 12.0019 ((1 . 54) (4 . 55) (5 . 57) (11 . 63)) 2072 0.4999 5.8803 ((4 . 1) (5 . 2) (9 . 5) (10 . 7)) 2081 0.6245 5.9679 ((4 . 12) (5 . 19) (9 . 20) (10 . 21) (11 . 23)) 2083 0.4991 9.4407 ((5 . 1) (9 . 2) (10 . 4) (13 . 7)) 2097 0.4989 9.7933 ((4 . 1) (5 . 4) (9 . 6) (14 . 14)) 2114 0.6247 5.3708 ((4 . 28) (5 . 29) (9 . 32) (10 . 34) (11 . 36)) 2116 0.4997 7.1333 ((4 . 5) (5 . 6) (9 . 9) (13 . 12)) 2117 0.6244 6.3970 ((4 . 5) (5 . 6) (9 . 11) (10 . 12) (13 . 16)) 2118 0.4994 8.3007 ((5 . 1) (9 . 4) (10 . 5) (13 . 7)) 2122 0.4996 7.7636 ((1 . 10) (4 . 12) (10 . 18) (13 . 22)) 2166 0.4998 6.0229 ((4 . 7) (5 . 12) (13 . 13) (14 . 21)) 2179 0.6246 5.5946 ((5 . 1) (10 . 5) (11 . 6) (13 . 9) (14 . 10)) 2196 0.4998 6.1355 ((5 . 12) (9 . 15) (10 . 18) (11 . 19)) 2203 0.4997 6.7934 ((5 . 1) (10 . 5) (13 . 7) (14 . 10)) 2205 0.6244 6.4032 ((4 . 13) (5 . 15) (9 . 17) (13 . 23) (14 . 26)) 2209 0.4994 8.4866 ((1 . 3) (9 . 9) (11 . 10) (13 . 12)) 2243 0.4999 4.6314 ((4 . 47) (9 . 51) (10 . 52) (11 . 53)) 2244 0.4998 6.3203 ((1 . 69) (4 . 71) (5 . 74) (11 . 79)) 2249 0.4992 9.0244 ((4 . 16) (5 . 18) (9 . 21) (10 . 23)) 2269 0.4997 6.9324 ((4 . 6) (5 . 7) (9 . 8) (10 . 10)) 2279 0.4997 7.0534 ((5 . 7) (9 . 11) (13 . 19) (14 . 20)) 2298 0.4996 7.4985 ((1 . 4) (4 . 6) (9 . 10) (13 . 15)) 2308 0.4997 6.9544 ((4 . 4) (5 . 5) (9 . 6) (10 . 8)) 2314 0.6222 9.3657 ((4 . 2) (5 . 4) (9 . 7) (10 . 8) (13 . 11)) 2340 0.4998 6.2099 ((4 . 9) (5 . 11) (9 . 13) (10 . 14)) 2344 0.4992 8.9245 ((1 . 7) (4 . 10) (9 . 14) (13 . 20)) 2364 0.6244 6.2499 ((4 . 7) (5 . 9) (9 . 15) (10 . 18) (11 . 19)) 2389 0.4998 6.5650 ((10 . 6) (11 . 7) (13 . 9) (14 . 10)) 2408 0.6233 8.2865 ((1 . 37) (4 . 39) (9 . 45) (10 . 46) (11 . 47)) 2422 0.4999 5.9133 ((9 . 1) (11 . 4) (13 . 7) (14 . 8)) 2423 0.4998 6.0166 ((9 . 20) (10 . 21) (11 . 22) (14 . 26)) 2447 0.4996 7.7758 ((1 . 13) (4 . 15) (9 . 21) (11 . 24)) 2462 0.6235 8.0817 ((1 . 3) (4 . 6) (5 . 7) (10 . 11) (11 . 12)) 2510 0.4996 7.5795 ((1 . 1) (4 . 3) (9 . 7) (11 . 9)) 2525 0.4999 5.5222 ((4 . 41) (5 . 43) (9 . 47) (10 . 48)) 2529 0.4999 5.9312 ((4 . 1) (5 . 3) (9 . 5) (10 . 6)) 2533 0.6225 9.0899 ((1 . 6) (4 . 9) (9 . 13) (13 . 18) (14 . 19)) 2551 0.4998 6.3825 ((1 . 1) (11 . 9) (13 . 11) (14 . 12)) 2556 0.6245 6.0875 ((9 . 11) (10 . 13) (11 . 16) (13 . 18) (14 . 20)) 2561 0.4999 5.7277 ((4 . 1) (9 . 6) (10 . 7) (11 . 8)) 2595 0.4995 7.9499 ((4 . 6) (5 . 9) (9 . 11) (10 . 13)) 2619 0.4999 4.5876 ((4 . 1) (5 . 2) (9 . 5) (11 . 7)) 2650 0.6243 6.5139 ((1 . 1) (5 . 5) (9 . 6) (10 . 7) (11 . 8)) 2675 0.4998 6.2305 ((9 . 3) (10 . 4) (11 . 5) (14 . 10)) 2696 0.4997 7.1250 ((4 . 34) (5 . 35) (9 . 38) (10 . 39)) 2733 0.4999 5.5348 ((9 . 1) (10 . 2) (11 . 4) (13 . 8)) 2755 0.4996 7.5127 ((4 . 3) (9 . 6) (10 . 8) (11 . 10)) 2773 0.4998 6.1475 ((4 . 2) (5 . 3) (10 . 5) (11 . 6)) 2783 0.4997 7.2113 ((1 . 1) (9 . 7) (10 . 8) (13 . 12)) 2804 0.4994 8.2939 ((1 . 25) (5 . 29) (9 . 34) (10 . 36)) 2821 0.4999 5.9476 ((9 . 1) (10 . 2) (11 . 3) (13 . 5)) 2830 0.4993 8.6007 ((5 . 1) (9 . 3) (13 . 5) (14 . 7)) 2834 0.4998 6.6992 ((9 . 3) (10 . 5) (11 . 6) (13 . 8)) 2840 0.6233 8.2655 ((1 . 1) (4 . 5) (5 . 6) (9 . 9) (10 . 11)) 2842 0.4996 7.4694 ((5 . 1) (9 . 4) (11 . 5) (14 . 9)) 2879 0.4992 9.0342 ((9 . 54) (10 . 57) (11 . 58) (13 . 59)) 2886 0.4999 4.9179 ((1 . 30) (5 . 35) (13 . 43) (14 . 44)) 2940 0.4998 6.2743 ((4 . 1) (9 . 4) (10 . 5) (11 . 6)) 2947 0.4999 5.8690 ((4 . 6) (5 . 7) (10 . 12) (11 . 13)) 2955 0.4996 7.7098 ((5 . 3) (9 . 4) (10 . 5) (14 . 7)) 2966 0.6245 6.1761 ((1 . 1) (5 . 6) (11 . 13) (13 . 16) (14 . 17)) 2990 0.4999 5.4501 ((10 . 9) (11 . 12) (13 . 14) (14 . 15)) 2999 0.4999 5.7322 ((5 . 2) (9 . 4) (10 . 6) (11 . 7)) 3014 0.2894 21.0752 ((1 . 22) (4 . 24) (11 . 33) (13 . 35)) 3019 0.4999 5.8770 ((4 . 9) (5 . 10) (9 . 11) (11 . 14)) 3034 0.4993 8.7104 ((5 . 1) (9 . 5) (13 . 7) (14 . 9)) 3041 0.4998 6.3339 ((4 . 16) (5 . 18) (9 . 22) (10 . 24)) 3055 0.6241 6.9939 ((1 . 15) (4 . 17) (9 . 23) (10 . 24) (11 . 25)) 3063 0.6238 7.6337 ((1 . 35) (4 . 38) (5 . 39) (9 . 41) (10 . 42)) 3070 0.4999 5.8860 ((10 . 32) (11 . 33) (13 . 35) (14 . 36)) 3084 0.4997 6.9211 ((4 . 3) (9 . 5) (10 . 7) (11 . 9)) 3102 0.6233 8.2326 ((1 . 69) (4 . 71) (5 . 72) (10 . 77) (11 . 80)) 3103 0.4998 6.2887 ((4 . 1) (11 . 9) (13 . 11) (14 . 13)) 3127 0.4997 6.8210 ((4 . 3) (5 . 4) (9 . 8) (11 . 11)) 3147 0.6249 4.4303 ((9 . 17) (10 . 18) (11 . 19) (13 . 21) (14 . 22)) 3187 0.6224 9.2455 ((1 . 2) (5 . 5) (9 . 6) (10 . 7) (11 . 9)) 3190 0.4995 7.8814 ((1 . 1) (4 . 3) (9 . 6) (11 . 11)) 3197 0.4998 6.2907 ((5 . 19) (9 . 21) (11 . 24) (13 . 26)) 3200 0.4996 7.5724 ((9 . 3) (10 . 4) (13 . 6) (14 . 9)) 3222 0.4997 7.2105 ((4 . 7) (5 . 8) (10 . 15) (11 . 16)) 3256 0.6234 8.1459 ((4 . 13) (9 . 19) (11 . 24) (13 . 26) (14 . 28)) 3261 0.5000 4.2204 ((9 . 1) (10 . 2) (11 . 3) (14 . 6)) 3286 0.4998 6.0618 ((9 . 3) (10 . 4) (11 . 5) (14 . 7)) 3289 0.4998 6.4492 ((5 . 25) (9 . 27) (10 . 30) (11 . 31)) 3297 0.4999 5.2182 ((1 . 1) (9 . 7) (10 . 8) (11 . 9)) 3322 0.4991 9.3241 ((5 . 1) (9 . 3) (10 . 5) (11 . 7)) 3334 0.4980 11.3927 ((5 . 1) (9 . 4) (10 . 6) (13 . 10)) 3339 0.4998 6.1772 ((1 . 9) (9 . 17) (13 . 21) (14 . 22)) 3344 0.4993 8.8187 ((4 . 18) (5 . 20) (10 . 24) (11 . 26)) 3358 0.4997 7.1735 ((5 . 4) (9 . 7) (10 . 8) (13 . 10)) 3362 0.4999 5.7293 ((4 . 4) (9 . 8) (10 . 10) (11 . 11)) 3366 0.4998 6.6679 ((9 . 23) (10 . 24) (13 . 27) (14 . 28)) 3391 0.4996 7.6143 ((9 . 6) (11 . 8) (13 . 10) (14 . 13)) 3410 0.4998 6.1002 ((5 . 19) (9 . 21) (11 . 24) (13 . 28)) 3418 0.4999 5.1944 ((5 . 2) (9 . 5) (10 . 6) (11 . 7)) 3472 0.4999 5.1663 ((1 . 1) (4 . 4) (5 . 5) (9 . 9)) 3481 0.4999 4.8426 ((9 . 4) (10 . 7) (11 . 8) (13 . 10)) 3489 0.4998 6.7547 ((5 . 1) (9 . 4) (13 . 10) (14 . 12)) 3495 0.4997 6.8189 ((1 . 3) (4 . 7) (5 . 8) (14 . 16)) 3496 0.4997 7.2196 ((4 . 18) (5 . 19) (10 . 22) (11 . 23)) 3533 0.4991 9.4444 ((5 . 1) (9 . 5) (11 . 8) (13 . 11)) 3537 0.4990 9.4598 ((9 . 2) (10 . 5) (11 . 6) (13 . 7)) 3538 0.4995 8.1138 ((4 . 18) (5 . 20) (11 . 23) (14 . 26)) 3548 0.4998 6.1794 ((4 . 3) (9 . 8) (10 . 9) (11 . 10)) 3561 0.4999 5.3160 ((1 . 20) (9 . 28) (10 . 30) (11 . 31)) 3570 0.4999 5.7864 ((4 . 1) (9 . 4) (10 . 7) (11 . 8)) 3585 0.4998 6.4724 ((5 . 8) (9 . 12) (10 . 13) (11 . 14)) 3625 0.5000 4.4424 ((10 . 1) (11 . 2) (13 . 5) (14 . 6)) 3626 0.4996 7.6543 ((4 . 2) (5 . 3) (9 . 8) (10 . 11)) 3628 0.4998 6.6116 ((5 . 6) (10 . 8) (11 . 9) (14 . 12)) 3651 0.4996 7.4877 ((5 . 1) (9 . 3) (10 . 5) (13 . 8)) 3658 0.4999 5.2059 ((5 . 5) (9 . 6) (10 . 7) (11 . 8)) 3659 0.4999 5.8406 ((9 . 5) (10 . 7) (11 . 8) (13 . 10)) 3661 0.4999 5.9001 ((4 . 7) (5 . 8) (10 . 11) (11 . 12)) 3688 0.4997 7.2870 ((10 . 27) (11 . 28) (13 . 30) (14 . 32)) 3697 0.4995 8.1592 ((9 . 1) (10 . 3) (11 . 4) (14 . 6)) 3703 0.4995 8.0439 ((4 . 3) (9 . 6) (10 . 7) (11 . 8)) 3732 0.4998 6.2158 ((4 . 5) (9 . 9) (10 . 11) (11 . 12)) 3740 0.4999 5.8410 ((10 . 1) (11 . 2) (13 . 4) (14 . 5)) 3741 0.4999 5.8659 ((1 . 21) (9 . 27) (10 . 28) (11 . 32)) 3776 0.4998 6.6758 ((5 . 15) (10 . 19) (11 . 20) (14 . 24)) 3778 0.4999 5.8513 ((4 . 6) (5 . 7) (10 . 12) (11 . 13)) 3787 0.4998 6.3289 ((9 . 27) (10 . 29) (11 . 31) (13 . 33)) 3790 0.6249 4.1942 ((9 . 27) (10 . 30) (11 . 31) (13 . 33) (14 . 35)) 3807 0.4993 8.8969 ((5 . 43) (9 . 46) (10 . 47) (13 . 50)) 3810 0.4999 5.8952 ((5 . 6) (9 . 10) (10 . 11) (13 . 16)) 3817 0.4995 7.9037 ((4 . 1) (9 . 5) (11 . 7) (13 . 9)) 3818 0.0999 9.5543 ((1 . 20) (5 . 23) (10 . 28) (11 . 29)) 3831 0.5000 4.2800 ((10 . 2) (11 . 3) (13 . 5) (14 . 6)) 3847 0.4996 7.7631 ((5 . 9) (11 . 13) (13 . 16) (14 . 17)) 3856 0.4998 6.7346 ((5 . 3) (10 . 9) (11 . 10) (14 . 14)) 3870 0.4996 7.6042 ((4 . 5) (5 . 8) (10 . 10) (14 . 13)) 3933 0.4999 5.6092 ((5 . 6) (9 . 10) (13 . 17) (14 . 18)) 3938 0.4999 5.8022 ((10 . 2) (11 . 4) (13 . 6) (14 . 8)) 3968 0.4991 9.3587 ((5 . 3) (9 . 5) (11 . 9) (13 . 11)) 3986 0.4992 9.0665 ((1 . 7) (4 . 9) (5 . 13) (14 . 26)) 3990 0.4996 7.4064 ((9 . 20) (11 . 22) (13 . 23) (14 . 25)) 4005 0.5000 3.9728 ((9 . 32) (10 . 33) (13 . 40) (14 . 41)) 4009 0.3668 10.0634 ((1 . 11) (4 . 15) (9 . 19) (11 . 21)) 4019 0.6248 4.8308 ((4 . 43) (5 . 44) (9 . 46) (10 . 47) (13 . 51)) 4034 0.4999 5.5561 ((4 . 5) (5 . 6) (10 . 9) (11 . 10)) 4067 0.4996 7.5138 ((4 . 20) (5 . 22) (9 . 24) (10 . 25)) 4082 0.4999 4.6383 ((1 . 5) (4 . 7) (5 . 8) (9 . 10)) 4087 0.4994 8.5348 ((9 . 5) (10 . 6) (11 . 7) (13 . 8)) 4115 0.4998 6.4893 ((4 . 1) (9 . 5) (10 . 8) (11 . 10)) 4151 0.4998 6.5300 ((1 . 5) (9 . 12) (11 . 15) (13 . 17)) 4154 0.1987 6.7994 ((5 . 51) (9 . 53) (10 . 56) (11 . 57)) 4177 0.4998 6.0669 ((4 . 1) (5 . 2) (10 . 7) (11 . 8)) 4190 0.4986 10.3776 ((4 . 1) (5 . 3) (11 . 8) (13 . 9)) 4194 0.4999 4.9238 ((4 . 1) (9 . 5) (10 . 6) (11 . 7)) 4204 0.4997 6.8423 ((9 . 9) (10 . 11) (13 . 14) (14 . 15)) 4210 0.4997 7.1945 ((4 . 4) (5 . 5) (9 . 8) (11 . 10)) 4226 0.4999 5.2126 ((4 . 1) (9 . 6) (10 . 8) (11 . 9)) 4232 0.4998 6.4644 ((4 . 2) (5 . 3) (9 . 5) (13 . 8)) 4246 0.4996 7.6169 ((10 . 3) (11 . 2) (13 . 5) (14 . 6)) 4254 0.4999 5.6347 ((9 . 1) (10 . 3) (11 . 4) (13 . 6)) 4257 0.0999 7.1666 ((4 . 1) (9 . 7) (10 . 8) (11 . 9)) 4265 0.4993 8.7963 ((1 . 21) (4 . 24) (5 . 26) (9 . 29)) 4266 0.4997 6.8385 ((1 . 4) (9 . 8) (10 . 11) (11 . 12)) 4274 0.4997 7.1458 ((9 . 36) (11 . 38) (13 . 40) (14 . 41)) 4275 0.4999 4.7232 ((4 . 21) (5 . 23) (10 . 25) (11 . 27)) 4281 0.4999 5.1410 ((9 . 3) (10 . 4) (11 . 5) (13 . 8)) 4284 0.6241 7.0560 ((4 . 1) (9 . 4) (10 . 5) (13 . 9) (14 . 10)) 4299 0.4998 6.2460 ((9 . 11) (11 . 14) (13 . 16) (14 . 19)) 4301 0.4998 6.0460 ((5 . 2) (9 . 4) (10 . 6) (13 . 10)) 4326 0.4987 10.1637 ((9 . 7) (10 . 11) (11 . 12) (13 . 15)) 4332 0.4998 6.0912 ((5 . 2) (9 . 4) (11 . 6) (13 . 9)) 4338 0.4998 6.2884 ((1 . 1) (5 . 6) (9 . 7) (10 . 8)) 4359 0.6245 6.0456 ((5 . 18) (9 . 21) (10 . 22) (11 . 23) (13 . 26)) 4380 0.4999 5.0313 ((4 . 3) (5 . 4) (13 . 15) (14 . 17)) 4383 0.4999 5.5773 ((1 . 16) (4 . 18) (5 . 19) (9 . 22)) 4386 0.4999 5.6531 ((5 . 16) (9 . 18) (10 . 19) (11 . 21)) 4388 0.6245 6.0103 ((5 . 3) (10 . 5) (11 . 6) (13 . 9) (14 . 10)) 4398 0.4997 7.3081 ((4 . 4) (9 . 8) (10 . 10) (11 . 12)) 4405 0.4998 6.5240 ((9 . 19) (11 . 21) (13 . 22) (14 . 25)) 4408 0.4999 5.3645 ((5 . 2) (9 . 4) (10 . 6) (11 . 7)) 4415 0.4998 6.2070 ((4 . 3) (5 . 4) (10 . 9) (13 . 12)) 4419 0.4997 6.8820 ((5 . 3) (9 . 6) (10 . 8) (11 . 9)) 4470 0.6235 8.0622 ((1 . 12) (4 . 14) (9 . 18) (10 . 19) (11 . 20)) 4491 0.4998 6.2151 ((5 . 1) (10 . 5) (11 . 6) (13 . 8)) 4492 0.4997 6.9124 ((1 . 11) (9 . 21) (11 . 23) (14 . 26)) 4495 0.4992 9.0362 ((1 . 14) (4 . 16) (9 . 18) (11 . 21)) 4497 0.4999 5.4228 ((1 . 23) (4 . 25) (5 . 26) (9 . 30)) 4502 0.4998 6.4470 ((4 . 9) (5 . 10) (9 . 14) (11 . 17)) 4504 0.4996 7.5474 ((1 . 4) (4 . 6) (5 . 8) (10 . 13)) 4505 0.4996 7.6011 ((4 . 25) (5 . 26) (9 . 30) (13 . 34)) 4516 0.4995 8.2310 ((5 . 14) (9 . 18) (10 . 20) (14 . 24)) 4551 0.4999 5.2636 ((4 . 4) (5 . 8) (13 . 17) (14 . 18)) 4560 0.4999 5.8048 ((4 . 1) (9 . 6) (11 . 8) (13 . 11)) 4561 0.4996 7.7331 ((4 . 1) (9 . 5) (13 . 9) (14 . 13)) 4562 0.4999 5.8134 ((4 . 19) (9 . 25) (10 . 27) (11 . 29)) 4563 0.4986 10.4414 ((4 . 28) (9 . 31) (11 . 34) (14 . 35)) 4577 0.6227 8.9685 ((5 . 48) (10 . 52) (11 . 54) (13 . 55) (14 . 58)) 4588 0.4999 5.5440 ((4 . 1) (9 . 7) (10 . 8) (11 . 9)) 4589 0.4992 9.1851 ((9 . 18) (10 . 19) (11 . 22) (13 . 23)) 4621 0.6246 5.5987 ((4 . 3) (5 . 4) (9 . 8) (10 . 9) (13 . 11)) 4630 0.6241 6.9895 ((4 . 3) (5 . 5) (9 . 9) (10 . 11) (11 . 12)) 4648 0.4999 5.1075 ((10 . 1) (11 . 2) (13 . 5) (14 . 8)) 4653 0.4999 5.6980 ((9 . 3) (10 . 4) (13 . 7) (14 . 8)) 4668 0.4994 8.5474 ((4 . 1) (9 . 7) (11 . 9) (13 . 11)) 4669 0.4996 7.4044 ((1 . 12) (5 . 17) (9 . 19) (10 . 21)) 4671 0.4998 6.2382 ((1 . 6) (4 . 7) (11 . 18) (14 . 21)) 4674 0.4995 8.1610 ((9 . 1) (10 . 2) (13 . 6) (14 . 8)) 4731 0.4989 9.7082 ((4 . 18) (10 . 22) (11 . 23) (13 . 24)) 4857 0.4996 7.4017 ((1 . 3) (4 . 5) (9 . 11) (13 . 13)) 4886 0.4998 6.5608 ((1 . 11) (10 . 16) (11 . 17) (13 . 19)) 4888 0.4995 8.1242 ((5 . 9) (9 . 12) (10 . 13) (13 . 16)) 4889 0.4998 6.6806 ((4 . 3) (5 . 4) (9 . 6) (10 . 7)) 4907 0.4999 5.1030 ((9 . 3) (10 . 4) (11 . 5) (13 . 8)) 4914 0.4999 5.1329 ((5 . 1) (9 . 4) (10 . 5) (11 . 6)) 4921 0.4994 8.3162 ((1 . 7) (9 . 12) (10 . 14) (11 . 15)) 4929 0.4998 6.5213 ((5 . 28) (9 . 29) (13 . 34) (14 . 35)) 4932 0.5000 4.4115 ((10 . 1) (11 . 2) (13 . 5) (14 . 6)) 4940 0.4996 7.4606 ((10 . 1) (11 . 2) (13 . 3) (14 . 6)) 4944 0.4998 6.1789 ((4 . 11) (9 . 14) (10 . 15) (11 . 16)) 4961 0.4998 5.9964 ((4 . 3) (11 . 12) (13 . 14) (14 . 15)) 4978 0.4998 6.6754 ((9 . 21) (10 . 22) (11 . 24) (13 . 25)) 4992 0.6233 8.2485 ((4 . 1) (5 . 2) (9 . 3) (11 . 6) (14 . 9)) 4998 0.4998 6.7018 ((4 . 8) (10 . 15) (13 . 19) (14 . 20)) 5029 0.4999 5.7007 ((9 . 2) (10 . 4) (11 . 6) (13 . 8)) 5036 0.6242 6.8876 ((4 . 1) (5 . 2) (9 . 5) (13 . 9) (14 . 10)) 5038 0.4995 8.0220 ((4 . 9) (9 . 15) (10 . 17) (11 . 18)) 5039 0.5000 4.2518 ((4 . 37) (5 . 39) (10 . 44) (11 . 45)) 5044 0.4999 5.7751 ((4 . 1) (5 . 2) (9 . 3) (10 . 8)) 5046 0.4999 4.8569 ((4 . 1) (5 . 4) (10 . 8) (11 . 10)) 5053 0.5000 3.4896 ((4 . 2) (5 . 3) (13 . 9) (14 . 10)) 5065 0.6248 4.7972 ((4 . 2) (5 . 3) (9 . 8) (10 . 9) (11 . 10)) 5068 0.4997 7.2218 ((4 . 2) (5 . 4) (9 . 7) (10 . 10)) 5069 0.5000 2.9718 ((1 . 9) (9 . 17) (10 . 18) (11 . 19)) 5073 0.4997 7.2783 ((1 . 34) (9 . 39) (11 . 42) (13 . 44)) 5083 0.0999 6.9666 ((1 . 1) (4 . 5) (5 . 6) (9 . 9)) 5101 0.4997 7.0107 ((9 . 3) (11 . 5) (13 . 7) (14 . 9)) 5121 0.4994 8.2973 ((4 . 16) (5 . 18) (13 . 25) (14 . 27)) 5132 0.4996 7.7887 ((1 . 16) (4 . 18) (9 . 22) (13 . 26)) 5167 0.4993 8.6419 ((1 . 3) (9 . 9) (11 . 12) (13 . 14)) 5183 0.4999 4.9459 ((4 . 35) (9 . 36) (10 . 37) (11 . 38)) 5198 0.4948 14.5470 ((1 . 19) (4 . 22) (13 . 31) (14 . 32)) 5199 0.6235 8.0202 ((1 . 4) (5 . 7) (9 . 8) (10 . 9) (11 . 10)) 5209 0.6240 7.1755 ((1 . 3) (5 . 7) (9 . 8) (10 . 9) (11 . 10)) 5215 0.5000 3.7568 ((4 . 2) (5 . 3) (13 . 9) (14 . 10)) 5223 0.4998 6.5293 ((1 . 6) (9 . 12) (11 . 15) (13 . 17)) 5266 0.4998 6.5897 ((9 . 8) (11 . 10) (13 . 13) (14 . 15)) 5278 0.4996 7.6708 ((5 . 2) (9 . 5) (11 . 7) (14 . 10)) 5307 0.4999 4.8922 ((4 . 51) (9 . 55) (10 . 57) (11 . 58)) 5324 0.4998 6.4033 ((1 . 5) (9 . 12) (13 . 15) (14 . 16)) 5344 0.4998 6.1661 ((4 . 1) (10 . 7) (13 . 9) (14 . 10)) 5345 0.6238 7.5419 ((4 . 4) (9 . 12) (10 . 13) (11 . 14) (13 . 16)) 5368 0.6249 4.4976 ((4 . 19) (5 . 20) (9 . 25) (10 . 26) (11 . 27)) 5378 0.6246 5.8743 ((4 . 8) (5 . 9) (9 . 15) (10 . 16) (14 . 21)) 5414 0.4998 6.2583 ((4 . 14) (5 . 15) (9 . 19) (10 . 20)) 5418 0.5000 4.3287 ((4 . 1) (9 . 7) (10 . 8) (11 . 9)) 5433 0.4997 7.2453 ((5 . 4) (10 . 12) (11 . 13) (13 . 16)) 5479 0.6242 6.8075 ((1 . 52) (4 . 54) (9 . 61) (10 . 62) (13 . 63)) 5489 0.6246 5.5822 ((1 . 1) (4 . 2) (5 . 5) (13 . 6) (14 . 14)) 5500 0.4997 7.1234 ((10 . 1) (11 . 2) (13 . 4) (14 . 7)) 5501 0.4986 10.5092 ((5 . 20) (10 . 24) (11 . 25) (14 . 30)) 5535 0.4999 5.2923 ((1 . 2) (4 . 6) (5 . 8) (9 . 11)) 5540 0.4995 8.1248 ((1 . 7) (4 . 10) (9 . 16) (11 . 18)) 5557 0.5000 4.4199 ((10 . 2) (11 . 1) (13 . 3) (14 . 4)) 5560 0.4999 5.5434 ((1 . 9) (4 . 11) (5 . 13) (14 . 22)) 5562 0.4998 6.7406 ((4 . 6) (5 . 7) (9 . 11) (14 . 17)) 5567 0.4997 6.8028 ((4 . 11) (9 . 17) (10 . 18) (11 . 19)) 5594 0.4999 5.6166 ((1 . 1) (5 . 3) (9 . 6) (11 . 9)) 5600 0.4996 7.5998 ((5 . 3) (9 . 6) (11 . 9) (13 . 11)) 5601 0.4997 7.1350 ((4 . 1) (9 . 7) (11 . 10) (13 . 12)) 5638 0.4998 6.4604 ((10 . 8) (11 . 7) (13 . 9) (14 . 13)) 5640 0.7487 6.1666 ((4 . 19) (5 . 20) (9 . 23) (10 . 24) (11 . 25) (13 . 27)) 5644 0.4999 5.5152 ((4 . 3) (5 . 4) (9 . 8) (13 . 14)) 5656 0.6237 7.8152 ((1 . 14) (4 . 16) (9 . 21) (10 . 23) (11 . 24)) 5700 0.6246 5.7768 ((4 . 2) (5 . 3) (9 . 6) (10 . 8) (11 . 9)) 5701 0.4998 6.6100 ((4 . 4) (5 . 5) (9 . 6) (11 . 8)) 5703 0.4998 6.2083 ((4 . 1) (5 . 2) (9 . 6) (13 . 8)) 5711 0.6235 8.0518 ((5 . 31) (9 . 32) (10 . 33) (11 . 35) (13 . 37)) 5713 0.5000 3.9058 ((10 . 4) (11 . 5) (13 . 7) (14 . 10)) 5718 0.7489 5.8426 ((5 . 14) (9 . 16) (10 . 17) (11 . 18) (13 . 23) (14 . 24)) 5731 0.1332 9.2549 ((1 . 3) (9 . 11) (10 . 13) (11 . 14)) 5746 0.4999 4.8257 ((10 . 2) (11 . 3) (13 . 6) (14 . 7)) 5749 0.4998 6.3170 ((5 . 3) (9 . 4) (10 . 5) (11 . 6)) 5761 0.4999 5.5454 ((9 . 28) (10 . 30) (11 . 31) (14 . 36)) 5770 0.4996 7.7310 ((4 . 1) (9 . 6) (11 . 9) (13 . 15)) 5771 0.4981 11.2929 ((5 . 9) (9 . 13) (10 . 14) (14 . 20)) 5782 0.6238 7.5802 ((5 . 15) (9 . 21) (10 . 22) (13 . 26) (14 . 27)) 5794 0.4998 6.4411 ((4 . 18) (5 . 19) (10 . 23) (11 . 24)) 5795 0.4986 10.4171 ((4 . 6) (5 . 9) (9 . 10) (13 . 16)) 5809 0.4999 5.7449 ((1 . 5) (9 . 9) (13 . 14) (14 . 15)) 5822 0.4994 8.4222 ((5 . 1) (9 . 4) (11 . 7) (14 . 9)) 5827 0.4999 5.5884 ((4 . 4) (5 . 5) (10 . 11) (13 . 14)) 5830 0.6247 5.1566 ((4 . 7) (5 . 8) (9 . 10) (10 . 13) (13 . 17)) 5847 0.4999 4.7079 ((10 . 14) (11 . 15) (13 . 17) (14 . 18)) 5861 0.6165 12.4642 ((1 . 15) (4 . 17) (9 . 22) (11 . 25) (13 . 27)) 5865 0.4999 5.0991 ((10 . 1) (11 . 2) (13 . 4) (14 . 5)) 5888 0.5000 3.4522 ((9 . 9) (10 . 10) (11 . 11) (13 . 13)) 5904 0.4998 5.9727 ((4 . 1) (9 . 4) (11 . 7) (13 . 9)) 5913 0.4998 6.3584 ((4 . 13) (5 . 15) (10 . 20) (11 . 22)) 5914 0.4999 5.3127 ((10 . 2) (11 . 3) (13 . 5) (14 . 6)) 5922 0.6218 9.7397 ((1 . 5) (4 . 8) (5 . 9) (9 . 10) (10 . 13)) 5930 0.4992 9.1753 ((9 . 2) (10 . 4) (13 . 7) (14 . 8)) 5939 0.4995 7.9903 ((4 . 2) (5 . 4) (9 . 6) (10 . 8)) 5945 0.4999 5.1844 ((1 . 3) (5 . 7) (13 . 16) (14 . 19)) 5955 0.6232 8.3647 ((1 . 7) (4 . 9) (9 . 14) (10 . 16) (11 . 17)) 5977 0.4998 6.4419 ((9 . 1) (10 . 3) (13 . 5) (14 . 6)) 6011 0.6238 7.5739 ((1 . 4) (5 . 9) (9 . 13) (10 . 14) (11 . 15)) 6022 0.6242 6.8849 ((5 . 2) (9 . 4) (10 . 5) (11 . 7) (13 . 9)) 6029 0.4998 6.3704 ((9 . 17) (10 . 18) (11 . 19) (13 . 21)) 6041 0.4999 5.0970 ((9 . 11) (10 . 12) (11 . 13) (13 . 15)) 6061 0.6248 5.0378 ((9 . 13) (10 . 14) (11 . 15) (13 . 17) (14 . 21)) 6074 0.4998 6.2576 ((1 . 2) (9 . 8) (11 . 11) (13 . 13)) 6075 0.4997 6.9554 ((5 . 17) (10 . 21) (13 . 24) (14 . 27)) 6079 0.0999 9.2984 ((9 . 6) (10 . 8) (11 . 9) (13 . 11)) 6089 0.4995 7.8950 ((4 . 1) (5 . 3) (9 . 5) (11 . 11)) 6094 0.4999 4.7628 ((4 . 3) (9 . 7) (10 . 10) (11 . 11)) 6099 0.6249 4.4053 ((1 . 24) (5 . 28) (9 . 29) (10 . 30) (11 . 31)) 6142 0.7491 5.6406 ((4 . 10) (5 . 11) (9 . 14) (10 . 15) (11 . 16) (14 . 20)) 6167 0.1987 7.2180 ((5 . 1) (9 . 4) (10 . 6) (11 . 7)) 6173 0.6245 6.1050 ((4 . 3) (5 . 4) (11 . 11) (13 . 13) (14 . 15)) 6191 0.4996 7.8400 ((4 . 3) (5 . 4) (13 . 12) (14 . 13)) 6192 0.4990 9.5293 ((4 . 5) (5 . 10) (9 . 11) (10 . 13)) 6225 0.4999 5.3266 ((1 . 3) (4 . 5) (9 . 10) (11 . 12)) 6228 0.4997 7.1718 ((1 . 7) (4 . 9) (5 . 12) (13 . 19)) 6238 0.4999 5.4967 ((10 . 3) (11 . 4) (13 . 7) (14 . 8)) 6243 0.4996 7.6745 ((4 . 2) (5 . 3) (9 . 8) (13 . 10)) 6251 0.4995 8.1726 ((4 . 8) (5 . 10) (13 . 15) (14 . 17)) 6258 0.4995 7.9987 ((4 . 9) (5 . 10) (9 . 12) (10 . 13)) 6261 0.4999 4.7577 ((1 . 11) (9 . 19) (10 . 21) (11 . 22)) 6266 0.4995 8.0552 ((9 . 3) (10 . 5) (11 . 6) (13 . 8)) 6270 0.4999 5.1841 ((1 . 9) (9 . 15) (11 . 17) (14 . 20)) 6271 0.4999 5.0191 ((9 . 4) (10 . 5) (11 . 7) (14 . 10)) 6273 0.4999 5.0810 ((4 . 1) (5 . 2) (9 . 4) (10 . 6)) 6294 0.4968 12.9015 ((4 . 16) (9 . 23) (11 . 25) (13 . 27)) 6306 0.4996 7.8367 ((4 . 15) (5 . 17) (9 . 19) (10 . 21)) 6309 0.4991 9.3707 ((9 . 17) (10 . 18) (11 . 20) (14 . 25)) 6311 1.0000 0.0000 ((1 . 1) (4 . 4) (5 . 5) (9 . 9) (10 . 10) (11 . 11) (13 . 13) (14 . 14)) 6326 0.4999 4.6251 ((10 . 2) (11 . 3) (13 . 4) (14 . 5)) 6338 0.4998 6.4676 ((5 . 1) (9 . 5) (10 . 7) (11 . 8)) 6344 0.4999 5.4743 ((5 . 1) (9 . 4) (10 . 6) (13 . 8)) 6345 0.4995 7.9810 ((4 . 6) (5 . 7) (13 . 13) (14 . 14)) 6355 0.4999 5.3746 ((9 . 4) (10 . 6) (11 . 7) (13 . 9)) 6356 0.4997 6.9337 ((9 . 4) (11 . 6) (13 . 9) (14 . 11)) 6369 0.4998 6.6265 ((1 . 20) (9 . 26) (11 . 29) (13 . 31)) 6376 0.4999 5.7434 ((5 . 19) (9 . 24) (10 . 26) (11 . 27)) 6391 0.5000 4.3797 ((5 . 6) (9 . 8) (10 . 10) (11 . 12)) 6399 0.6247 5.4349 ((9 . 1) (10 . 3) (11 . 4) (13 . 6) (14 . 7)) 6403 0.5000 4.3703 ((4 . 7) (9 . 13) (10 . 14) (11 . 15)) 6434 0.4999 4.8948 ((5 . 2) (9 . 3) (10 . 4) (11 . 5)) 6462 0.4999 5.9490 ((4 . 18) (5 . 20) (9 . 22) (10 . 24)) 6498 0.4992 8.9476 ((9 . 37) (11 . 42) (13 . 44) (14 . 45)) 6520 0.4998 6.0897 ((9 . 24) (10 . 25) (11 . 26) (13 . 28)) 6539 0.4996 7.3857 ((1 . 2) (4 . 4) (5 . 5) (10 . 10)) 6540 0.4992 9.1409 ((1 . 6) (5 . 9) (9 . 11) (10 . 12)) 6548 0.4994 8.5369 ((9 . 7) (11 . 9) (13 . 12) (14 . 13)) 6553 0.4997 7.0280 ((4 . 17) (9 . 22) (10 . 24) (11 . 25)) 6555 0.4998 6.0754 ((5 . 19) (9 . 22) (10 . 23) (13 . 26)) 6561 0.5000 4.4688 ((4 . 9) (5 . 10) (10 . 12) (11 . 13)) 6573 0.4999 5.2180 ((9 . 19) (11 . 21) (13 . 23) (14 . 24)) 6578 0.4999 5.8967 ((1 . 31) (4 . 34) (5 . 37) (9 . 38)) 6584 0.4999 4.5394 ((4 . 2) (5 . 3) (10 . 7) (11 . 8)) 6585 0.6243 6.6086 ((4 . 6) (5 . 8) (10 . 10) (11 . 11) (13 . 15)) 6587 0.4999 5.6621 ((9 . 29) (11 . 31) (13 . 33) (14 . 34)) 6598 0.6249 4.1212 ((4 . 20) (5 . 21) (9 . 24) (10 . 25) (11 . 26)) 6613 0.6249 4.2060 ((5 . 27) (9 . 28) (10 . 31) (13 . 33) (14 . 34)) END