3856 41 0.1332 9.1695 ((4 . 2) (7 . 3) (10 . 5) (12 . 7)) 51 0.6235 8.0820 ((3 . 7) (7 . 10) (9 . 11) (10 . 13) (12 . 14)) 91 0.4999 5.8742 ((3 . 16) (4 . 18) (6 . 19) (7 . 21)) 96 0.4997 6.8041 ((3 . 1) (4 . 2) (6 . 3) (9 . 5)) 129 0.4999 5.3877 ((7 . 2) (9 . 3) (10 . 5) (12 . 8)) 136 0.4999 5.6417 ((4 . 2) (6 . 3) (9 . 5) (10 . 7)) 150 0.1987 7.0360 ((4 . 18) (6 . 19) (7 . 20) (10 . 23)) 153 0.6237 7.6880 ((3 . 1) (7 . 5) (9 . 6) (10 . 7) (12 . 8)) 157 0.4997 6.8254 ((6 . 9) (7 . 11) (10 . 14) (14 . 18)) 161 0.4997 7.0613 ((4 . 1) (9 . 6) (10 . 8) (12 . 9)) 162 0.3669 9.1017 ((4 . 16) (6 . 15) (10 . 18) (14 . 22)) 169 0.6231 8.5052 ((6 . 2) (7 . 3) (9 . 4) (10 . 5) (12 . 7)) 177 0.4993 8.6485 ((3 . 4) (7 . 7) (9 . 8) (10 . 10)) 198 0.4978 11.6321 ((3 . 4) (6 . 6) (10 . 12) (14 . 16)) 207 0.5000 4.1945 ((3 . 13) (4 . 14) (6 . 15) (9 . 18)) 233 0.4993 8.6859 ((3 . 2) (7 . 5) (9 . 7) (10 . 8)) 300 0.4994 8.2589 ((3 . 9) (6 . 10) (12 . 16) (14 . 18)) 305 0.4992 9.1735 ((3 . 11) (9 . 18) (10 . 19) (14 . 22)) 315 0.3670 7.2463 ((4 . 2) (10 . 6) (12 . 8) (14 . 10)) 350 0.4999 5.9547 ((6 . 4) (7 . 5) (9 . 8) (10 . 10)) 360 0.4992 8.9274 ((6 . 6) (7 . 7) (9 . 8) (14 . 14)) 365 0.4998 6.4833 ((3 . 3) (6 . 4) (7 . 6) (9 . 8)) 367 0.5000 4.3952 ((3 . 38) (6 . 42) (7 . 43) (9 . 44)) 387 0.4999 5.7206 ((3 . 9) (6 . 11) (7 . 12) (12 . 15)) 405 0.4999 5.8514 ((7 . 32) (9 . 33) (10 . 35) (12 . 37)) 417 0.4993 8.8954 ((3 . 3) (4 . 6) (7 . 7) (9 . 9)) 420 0.4999 5.8961 ((6 . 1) (7 . 2) (9 . 3) (12 . 5)) 433 0.4998 6.2763 ((4 . 4) (7 . 6) (9 . 7) (12 . 9)) 442 0.4997 7.0215 ((3 . 6) (4 . 9) (7 . 10) (9 . 12)) 491 0.3670 7.1984 ((4 . 5) (6 . 6) (10 . 8) (12 . 9)) 495 0.1987 4.2796 ((3 . 3) (4 . 4) (6 . 5) (9 . 7)) 541 0.4995 8.1396 ((6 . 11) (9 . 14) (10 . 16) (12 . 17)) 543 0.4999 5.5087 ((3 . 2) (7 . 5) (9 . 6) (10 . 8)) 584 0.4995 8.2254 ((3 . 10) (4 . 12) (7 . 13) (9 . 15)) 609 0.5000 3.8133 ((3 . 1) (4 . 2) (6 . 3) (9 . 6)) 619 0.4993 8.7604 ((3 . 7) (7 . 11) (9 . 12) (14 . 18)) 624 0.4999 4.9329 ((3 . 11) (4 . 12) (6 . 13) (9 . 16)) 672 0.4997 7.0781 ((4 . 19) (6 . 20) (10 . 23) (12 . 24)) 678 0.0999 4.0393 ((3 . 22) (4 . 23) (6 . 24) (9 . 26)) 719 0.4999 5.0657 ((3 . 23) (6 . 25) (7 . 27) (10 . 30)) 729 0.1987 5.4971 ((3 . 13) (4 . 14) (6 . 15) (10 . 20)) 735 0.4994 8.3445 ((3 . 31) (6 . 33) (7 . 36) (9 . 37)) 740 0.4998 6.2314 ((3 . 2) (4 . 1) (7 . 4) (9 . 7)) 765 0.4999 5.5552 ((3 . 3) (7 . 7) (9 . 9) (10 . 12)) 767 0.5000 3.2102 ((3 . 1) (4 . 2) (6 . 3) (9 . 8)) 795 0.4999 5.3959 ((3 . 1) (4 . 2) (6 . 3) (10 . 6)) 796 0.4997 7.0835 ((3 . 3) (4 . 4) (6 . 5) (7 . 6)) 801 0.4998 6.4270 ((3 . 2) (6 . 4) (7 . 5) (12 . 7)) 812 0.1987 8.6165 ((3 . 11) (4 . 12) (6 . 13) (14 . 20)) 818 0.1987 6.8508 ((3 . 10) (4 . 11) (6 . 12) (10 . 16)) 819 0.4996 7.4947 ((3 . 2) (6 . 3) (10 . 5) (14 . 9)) 861 0.2462 7.8804 ((4 . 11) (9 . 15) (10 . 16) (12 . 18)) 928 0.5000 4.0161 ((3 . 14) (4 . 15) (6 . 16) (9 . 18)) 943 0.4999 5.4872 ((3 . 9) (4 . 10) (7 . 12) (10 . 15)) 945 0.0999 3.8677 ((3 . 12) (4 . 13) (6 . 14) (9 . 17)) 960 0.4999 5.7927 ((3 . 12) (4 . 13) (9 . 19) (12 . 21)) 978 0.4998 6.2160 ((3 . 6) (4 . 8) (9 . 10) (12 . 13)) 980 0.5000 3.3951 ((3 . 5) (4 . 6) (6 . 7) (9 . 9)) 1007 0.4993 8.7084 ((3 . 8) (6 . 12) (7 . 11) (14 . 19)) 1008 0.4998 6.6972 ((6 . 8) (9 . 13) (10 . 15) (12 . 16)) 1034 0.4983 10.9003 ((4 . 24) (6 . 25) (12 . 29) (14 . 32)) 1082 0.4998 6.0541 ((3 . 12) (4 . 13) (9 . 16) (12 . 19)) 1084 0.4988 10.0477 ((6 . 10) (7 . 12) (12 . 17) (14 . 19)) 1201 0.4999 5.8754 ((3 . 7) (4 . 8) (6 . 9) (7 . 11)) 1211 0.4994 8.5750 ((6 . 10) (7 . 11) (9 . 14) (10 . 15)) 1217 0.3670 7.7684 ((4 . 2) (6 . 5) (9 . 9) (10 . 11)) 1224 0.4998 6.2368 ((6 . 6) (7 . 7) (9 . 9) (10 . 10)) 1233 0.5000 4.0801 ((7 . 20) (10 . 22) (12 . 23) (14 . 24)) 1267 0.5000 3.2093 ((3 . 13) (4 . 18) (6 . 19) (9 . 21)) 1294 0.4995 7.8946 ((7 . 39) (9 . 40) (10 . 41) (12 . 43)) 1324 0.6250 1.4879 ((3 . 2) (6 . 3) (9 . 4) (12 . 5) (14 . 6)) 1345 0.6232 8.4189 ((3 . 7) (6 . 9) (9 . 12) (10 . 13) (12 . 14)) 1366 0.4997 6.8195 ((3 . 12) (4 . 13) (6 . 14) (7 . 15)) 1425 0.4993 8.6979 ((6 . 6) (7 . 8) (9 . 10) (10 . 11)) 1447 0.0999 4.1894 ((3 . 1) (4 . 2) (6 . 3) (9 . 5)) 1451 0.1987 7.9381 ((7 . 3) (9 . 4) (10 . 5) (12 . 6)) 1476 0.4999 4.7553 ((3 . 9) (4 . 10) (6 . 11) (9 . 14)) 1481 0.2910 8.7058 ((3 . 2) (4 . 3) (9 . 5) (10 . 7)) 1513 0.5000 3.2366 ((3 . 13) (4 . 14) (6 . 15) (9 . 18)) 1591 0.0999 4.7715 ((3 . 4) (4 . 5) (6 . 6) (12 . 8)) 1622 0.4979 11.6094 ((4 . 17) (9 . 20) (12 . 22) (14 . 24)) 1643 0.4999 5.8745 ((3 . 25) (6 . 27) (7 . 28) (10 . 32)) 1644 0.4999 5.2713 ((3 . 44) (6 . 47) (7 . 48) (9 . 50)) 1665 0.0999 3.7741 ((3 . 6) (4 . 7) (6 . 8) (9 . 10)) 1690 0.1987 4.9794 ((4 . 15) (6 . 16) (9 . 19) (10 . 21)) 1692 0.4999 5.9365 ((4 . 4) (6 . 6) (7 . 5) (10 . 8)) 1736 0.4999 5.4762 ((3 . 7) (4 . 9) (6 . 10) (7 . 12)) 1738 0.4998 6.5122 ((3 . 17) (4 . 20) (7 . 21) (9 . 23)) 1747 0.4999 4.7213 ((3 . 12) (6 . 13) (7 . 16) (10 . 18)) 1756 0.4998 6.6895 ((6 . 21) (7 . 23) (10 . 27) (14 . 31)) 1759 0.4998 6.1998 ((6 . 1) (7 . 2) (9 . 4) (12 . 6)) 1761 0.4999 5.8317 ((3 . 13) (4 . 14) (7 . 16) (10 . 20)) 1776 0.1987 4.7371 ((4 . 13) (6 . 14) (9 . 16) (10 . 20)) 1777 0.6250 2.6417 ((3 . 34) (6 . 37) (9 . 43) (12 . 46) (14 . 49)) 1778 0.6241 7.0049 ((3 . 1) (6 . 2) (7 . 3) (10 . 4) (12 . 5)) 1793 0.4995 8.0960 ((3 . 8) (4 . 9) (6 . 10) (12 . 14)) 1808 0.4999 5.2264 ((9 . 5) (10 . 6) (12 . 8) (14 . 9)) 1867 0.4998 6.4655 ((3 . 1) (4 . 2) (7 . 3) (9 . 6)) 1894 0.4999 4.9181 ((3 . 5) (4 . 6) (6 . 7) (14 . 26)) 1896 0.4997 6.9733 ((3 . 22) (6 . 25) (7 . 26) (9 . 27)) 1908 0.5000 4.4921 ((3 . 7) (4 . 9) (6 . 10) (12 . 17)) 1909 0.5000 4.4641 ((3 . 31) (4 . 33) (6 . 34) (10 . 39)) 1913 0.7486 6.2429 ((3 . 16) (6 . 19) (7 . 21) (9 . 22) (10 . 26) (12 . 28)) 1944 0.4992 9.1294 ((3 . 9) (4 . 12) (6 . 13) (10 . 17)) 1957 0.5000 4.2138 ((3 . 17) (4 . 18) (6 . 19) (10 . 22)) 1961 0.4203 7.4684 ((4 . 13) (7 . 15) (12 . 19) (14 . 20)) 1967 0.4992 9.0006 ((6 . 1) (7 . 3) (10 . 7) (14 . 10)) 1972 0.5000 4.2824 ((3 . 16) (4 . 17) (6 . 18) (9 . 20)) 1992 0.4985 10.6580 ((6 . 1) (7 . 2) (9 . 3) (14 . 9)) 1995 0.4998 6.7667 ((6 . 7) (7 . 8) (10 . 12) (12 . 13)) 2003 0.4995 8.2264 ((3 . 4) (7 . 8) (10 . 10) (12 . 12)) 2006 0.4998 6.4854 ((3 . 15) (6 . 16) (7 . 18) (12 . 22)) 2048 0.4993 8.8246 ((3 . 13) (4 . 14) (7 . 16) (9 . 17)) 2063 0.4999 4.8620 ((6 . 44) (7 . 45) (9 . 47) (10 . 49)) 2065 0.3670 7.9070 ((7 . 16) (9 . 17) (10 . 18) (12 . 22)) 2067 0.4996 7.7300 ((3 . 54) (4 . 56) (7 . 57) (9 . 60)) 2072 0.4992 9.0452 ((6 . 2) (9 . 4) (10 . 6) (12 . 7)) 2081 0.4997 7.0755 ((4 . 18) (7 . 19) (9 . 20) (12 . 23)) 2083 0.4998 6.3382 ((3 . 1) (6 . 2) (7 . 4) (10 . 7)) 2114 0.4995 7.9540 ((9 . 29) (10 . 32) (12 . 34) (14 . 36)) 2116 0.4999 5.7901 ((7 . 5) (9 . 6) (10 . 7) (12 . 9)) 2117 0.4998 6.7030 ((3 . 16) (6 . 20) (7 . 22) (10 . 25)) 2118 0.4992 8.9563 ((3 . 5) (4 . 6) (6 . 7) (14 . 12)) 2122 0.4989 9.7666 ((4 . 11) (7 . 12) (9 . 15) (12 . 18)) 2166 0.4200 9.9459 ((4 . 2) (7 . 4) (10 . 7) (14 . 12)) 2179 0.5000 4.5229 ((3 . 6) (6 . 9) (7 . 10) (10 . 13)) 2196 0.8748 3.2617 ((3 . 10) (6 . 12) (7 . 13) (9 . 14) (10 . 15) (12 . 16) (14 . 17)) 2203 0.4998 6.7090 ((3 . 1) (7 . 5) (9 . 7) (12 . 10)) 2205 0.4998 6.0950 ((6 . 13) (7 . 15) (10 . 18) (12 . 19)) 2209 0.4999 5.4957 ((3 . 7) (4 . 8) (6 . 9) (9 . 10)) 2243 0.4999 5.6696 ((3 . 52) (6 . 54) (7 . 55) (12 . 61)) 2244 0.4999 5.2469 ((3 . 69) (6 . 71) (9 . 75) (10 . 76)) 2249 0.2909 9.4116 ((4 . 14) (6 . 18) (9 . 21) (10 . 23)) 2269 0.4994 8.3251 ((6 . 7) (7 . 8) (10 . 10) (14 . 12)) 2279 0.4999 5.6523 ((3 . 9) (4 . 6) (6 . 7) (10 . 22)) 2298 0.5000 2.9828 ((3 . 10) (4 . 11) (6 . 12) (9 . 15)) 2308 0.4994 8.4289 ((6 . 5) (7 . 6) (10 . 8) (14 . 11)) 2314 0.6231 8.5352 ((6 . 2) (7 . 3) (9 . 4) (10 . 7) (12 . 8)) 2340 0.4997 6.7797 ((7 . 9) (10 . 11) (12 . 13) (14 . 14)) 2344 0.4999 4.9761 ((3 . 1) (6 . 3) (7 . 6) (10 . 10)) 2364 0.5000 4.2944 ((6 . 7) (9 . 9) (12 . 15) (14 . 18)) 2389 0.4991 9.4358 ((7 . 7) (9 . 8) (10 . 9) (14 . 14)) 2408 0.6239 7.4480 ((6 . 41) (7 . 42) (9 . 45) (10 . 46) (12 . 47)) 2410 0.4997 7.1697 ((3 . 13) (4 . 15) (6 . 16) (7 . 17)) 2422 0.4999 5.6438 ((3 . 1) (4 . 2) (6 . 4) (9 . 7)) 2423 0.4998 6.0227 ((3 . 17) (4 . 18) (6 . 19) (12 . 25)) 2440 0.0999 10.5963 ((3 . 4) (6 . 7) (7 . 8) (12 . 13)) 2447 0.5000 4.2648 ((3 . 18) (4 . 19) (6 . 21) (9 . 24)) 2462 0.4991 9.2703 ((6 . 1) (9 . 3) (12 . 6) (14 . 7)) 2510 0.5000 3.2714 ((3 . 23) (4 . 24) (6 . 25) (9 . 27)) 2525 0.4997 6.9823 ((4 . 37) (9 . 41) (12 . 43) (14 . 47)) 2529 0.6245 6.1978 ((3 . 3) (4 . 4) (6 . 1) (7 . 5) (10 . 6)) 2533 0.4995 7.8530 ((3 . 9) (4 . 11) (6 . 13) (14 . 19)) 2556 0.0999 5.5344 ((3 . 18) (4 . 21) (6 . 20) (7 . 22)) 2561 0.4991 9.3843 ((7 . 6) (9 . 7) (10 . 8) (12 . 9)) 2595 0.6249 4.4670 ((3 . 6) (4 . 7) (6 . 9) (9 . 11) (12 . 13)) 2696 0.4998 6.6621 ((6 . 34) (7 . 35) (9 . 36) (10 . 38)) 2755 0.4999 5.1854 ((3 . 6) (4 . 7) (6 . 8) (9 . 10)) 2783 0.4996 7.4542 ((6 . 6) (7 . 7) (9 . 8) (12 . 12)) 2830 0.4999 4.8629 ((3 . 5) (4 . 6) (6 . 7) (7 . 9)) 2834 0.1987 8.2622 ((3 . 1) (4 . 2) (7 . 5) (12 . 9)) 2840 0.4998 6.6412 ((7 . 1) (10 . 5) (12 . 6) (14 . 9)) 2842 0.4997 6.8458 ((3 . 5) (4 . 6) (9 . 9) (12 . 11)) 2867 0.2462 6.4748 ((4 . 5) (9 . 8) (10 . 9) (12 . 12)) 2879 0.6240 7.1812 ((3 . 51) (6 . 52) (7 . 53) (9 . 54) (10 . 59)) 2886 0.4999 4.9462 ((3 . 30) (7 . 35) (9 . 37) (10 . 38)) 2940 0.4995 7.9769 ((3 . 3) (6 . 4) (7 . 5) (9 . 6)) 2955 0.6250 1.8149 ((3 . 7) (6 . 8) (9 . 9) (12 . 10) (14 . 11)) 2966 0.4997 6.8614 ((3 . 1) (7 . 4) (9 . 6) (10 . 9)) 2999 0.4999 4.7467 ((3 . 2) (4 . 3) (6 . 4) (10 . 7)) 3019 0.4998 6.0019 ((6 . 19) (7 . 20) (10 . 22) (12 . 25)) 3041 0.4999 5.1623 ((3 . 16) (4 . 17) (7 . 18) (10 . 24)) 3055 0.4999 4.6950 ((3 . 19) (6 . 21) (9 . 23) (12 . 27)) 3063 0.4998 6.1577 ((3 . 32) (9 . 35) (10 . 37) (12 . 38)) 3084 0.4981 11.1971 ((3 . 9) (6 . 11) (7 . 13) (10 . 15)) 3102 0.4999 5.5710 ((6 . 71) (9 . 74) (10 . 75) (14 . 80)) 3103 0.4999 4.6468 ((6 . 1) (7 . 2) (9 . 3) (10 . 5)) 3127 0.4996 7.4312 ((7 . 2) (9 . 4) (10 . 6) (12 . 8)) 3147 0.4998 6.3046 ((3 . 12) (7 . 16) (10 . 18) (14 . 22)) 3187 0.4997 7.3275 ((6 . 4) (7 . 5) (9 . 6) (10 . 7)) 3190 0.5000 3.1807 ((3 . 6) (4 . 7) (6 . 9) (9 . 11)) 3197 0.5000 3.3670 ((3 . 19) (4 . 25) (6 . 26) (9 . 28)) 3200 0.4999 5.8473 ((3 . 1) (4 . 2) (6 . 3) (9 . 6)) 3212 0.6247 5.4412 ((3 . 2) (4 . 1) (6 . 3) (7 . 5) (10 . 9)) 3222 0.1987 12.2441 ((3 . 4) (4 . 5) (6 . 7) (14 . 16)) 3256 0.4999 5.9110 ((3 . 13) (7 . 16) (10 . 20) (12 . 21)) 3261 0.4992 8.9792 ((3 . 1) (6 . 3) (10 . 6) (12 . 7)) 3286 0.4995 8.1561 ((7 . 3) (9 . 4) (10 . 5) (14 . 9)) 3297 0.4999 5.9204 ((6 . 9) (7 . 11) (9 . 12) (10 . 13)) 3322 0.4999 5.7789 ((3 . 1) (4 . 2) (6 . 3) (7 . 5)) 3334 0.1987 12.0665 ((3 . 1) (4 . 2) (6 . 3) (7 . 4)) 3339 0.6241 7.0155 ((3 . 11) (6 . 17) (7 . 19) (9 . 21) (10 . 22)) 3344 0.4996 7.5974 ((3 . 21) (6 . 22) (9 . 26) (10 . 27)) 3358 0.2910 8.1279 ((4 . 11) (6 . 12) (9 . 15) (10 . 16)) 3362 0.4997 6.8964 ((4 . 3) (6 . 4) (10 . 8) (12 . 10)) 3366 0.3670 8.1417 ((4 . 25) (6 . 26) (10 . 28) (12 . 29)) 3391 0.5000 3.5171 ((3 . 4) (4 . 5) (6 . 6) (9 . 8)) 3410 0.5000 4.3800 ((3 . 19) (4 . 20) (6 . 21) (9 . 24)) 3472 0.4998 6.3918 ((3 . 5) (7 . 9) (9 . 11) (10 . 12)) 3481 0.6232 8.4250 ((3 . 2) (4 . 3) (6 . 4) (7 . 7) (12 . 10)) 3489 0.0999 6.0899 ((3 . 1) (6 . 3) (7 . 4) (12 . 10)) 3496 0.4994 8.4579 ((7 . 18) (9 . 19) (12 . 22) (14 . 23)) 3533 0.4995 8.0165 ((3 . 1) (6 . 3) (7 . 5) (10 . 8)) 3537 0.4997 6.7990 ((3 . 7) (4 . 8) (6 . 9) (7 . 10)) 3538 0.4997 6.8110 ((6 . 23) (7 . 24) (9 . 25) (10 . 26)) 3548 0.4997 7.1584 ((3 . 3) (7 . 6) (9 . 8) (12 . 10)) 3561 0.4999 5.0786 ((3 . 26) (6 . 28) (7 . 30) (9 . 31)) 3570 0.6244 6.3244 ((3 . 1) (6 . 4) (7 . 7) (9 . 8) (10 . 10)) 3585 0.4993 8.7425 ((6 . 8) (9 . 12) (10 . 13) (12 . 14)) 3626 0.4998 6.1589 ((3 . 6) (4 . 5) (6 . 8) (7 . 11)) 3628 0.4999 5.8560 ((3 . 6) (4 . 7) (6 . 8) (7 . 9)) 3658 0.6246 5.8487 ((3 . 1) (4 . 2) (6 . 5) (10 . 6) (14 . 8)) 3659 0.4997 7.0922 ((4 . 3) (10 . 7) (12 . 9) (14 . 12)) 3661 0.4996 7.7981 ((3 . 23) (4 . 22) (6 . 24) (7 . 26)) 3688 0.4984 10.7439 ((3 . 8) (6 . 11) (7 . 12) (9 . 14)) 3703 0.4991 9.3893 ((3 . 1) (6 . 3) (7 . 4) (12 . 6)) 3732 0.4998 6.5772 ((3 . 3) (7 . 7) (10 . 9) (12 . 11)) 3741 0.4999 5.3417 ((3 . 21) (9 . 25) (10 . 26) (14 . 32)) 3776 0.5000 3.7219 ((3 . 17) (4 . 18) (6 . 21) (9 . 24)) 3787 0.4993 8.7529 ((3 . 21) (4 . 22) (12 . 27) (14 . 29)) 3790 0.4998 6.5003 ((6 . 5) (9 . 9) (12 . 13) (14 . 15)) 3817 0.4203 7.6019 ((4 . 3) (7 . 5) (10 . 7) (14 . 10)) 3831 0.4997 7.2021 ((4 . 1) (6 . 2) (7 . 3) (10 . 5)) 3847 0.0999 10.7122 ((3 . 9) (4 . 10) (7 . 13) (10 . 17)) 3853 0.4999 5.0602 ((3 . 3) (4 . 4) (6 . 6) (9 . 8)) 3856 1.0000 0.0000 ((3 . 3) (4 . 4) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (12 . 12) (14 . 14)) 3933 0.4992 9.0224 ((6 . 2) (9 . 5) (10 . 7) (14 . 13)) 3938 0.3670 7.5386 ((4 . 1) (9 . 4) (10 . 8) (12 . 9)) 3968 0.4997 7.0021 ((4 . 2) (9 . 3) (12 . 5) (14 . 9)) 3986 0.4988 9.9519 ((3 . 9) (7 . 13) (9 . 15) (14 . 21)) 3990 0.5000 4.2918 ((3 . 18) (4 . 19) (6 . 20) (9 . 22)) 4005 0.4999 5.1511 ((6 . 23) (9 . 26) (10 . 27) (14 . 33)) 4009 0.4989 9.7201 ((7 . 12) (9 . 13) (10 . 15) (14 . 19)) 4019 0.6241 7.1094 ((6 . 39) (7 . 42) (9 . 43) (10 . 44) (12 . 45)) 4034 0.4994 8.4957 ((3 . 6) (9 . 9) (10 . 10) (12 . 11)) 4067 0.5000 4.3933 ((3 . 22) (4 . 23) (6 . 24) (7 . 25)) 4082 0.4997 6.9835 ((4 . 4) (7 . 6) (9 . 8) (12 . 10)) 4115 0.1987 11.6079 ((3 . 8) (4 . 9) (6 . 10) (12 . 13)) 4151 0.1995 7.1857 ((3 . 5) (4 . 6) (6 . 7) (7 . 9) (10 . 12)) 4154 0.4999 4.6419 ((3 . 51) (6 . 53) (7 . 54) (9 . 57)) 4204 0.4998 6.7625 ((3 . 9) (4 . 10) (6 . 11) (10 . 15)) 4209 0.4996 7.5190 ((3 . 2) (4 . 3) (6 . 5) (9 . 10)) 4210 0.4996 7.6078 ((4 . 1) (7 . 4) (9 . 5) (14 . 10)) 4226 0.5000 4.0301 ((3 . 1) (4 . 3) (6 . 4) (9 . 8)) 4232 0.4995 7.8749 ((3 . 1) (7 . 2) (9 . 3) (10 . 4)) 4254 0.4997 6.9264 ((3 . 1) (4 . 2) (7 . 3) (9 . 4)) 4257 0.4998 6.0685 ((3 . 1) (4 . 2) (7 . 3) (10 . 7)) 4265 0.1987 5.9486 ((3 . 23) (4 . 25) (7 . 26) (10 . 29)) 4266 0.5000 4.3237 ((3 . 2) (4 . 3) (6 . 4) (9 . 6)) 4274 0.4999 5.1378 ((3 . 36) (4 . 37) (6 . 38) (10 . 41)) 4275 0.4995 8.2267 ((3 . 21) (4 . 22) (6 . 23) (9 . 27)) 4281 0.6249 4.1687 ((3 . 4) (4 . 6) (6 . 3) (9 . 8) (12 . 10)) 4284 0.4997 6.8287 ((3 . 6) (4 . 7) (6 . 8) (7 . 9)) 4299 0.4998 6.5675 ((3 . 11) (6 . 14) (10 . 19) (12 . 20)) 4301 0.4999 5.1178 ((6 . 1) (7 . 2) (9 . 3) (10 . 4)) 4326 0.4998 6.0230 ((3 . 15) (4 . 16) (6 . 17) (7 . 19)) 4338 0.4997 7.1898 ((7 . 1) (9 . 4) (12 . 6) (14 . 8)) 4359 0.4998 6.2129 ((3 . 16) (6 . 18) (7 . 19) (10 . 21)) 4380 0.4999 5.8450 ((3 . 1) (6 . 3) (7 . 4) (14 . 15)) 4383 0.4999 4.9603 ((7 . 14) (9 . 15) (10 . 16) (12 . 17)) 4386 0.4998 5.9977 ((3 . 16) (4 . 17) (9 . 19) (10 . 21)) 4388 0.4998 6.6497 ((3 . 6) (6 . 9) (7 . 10) (10 . 12)) 4398 0.4999 4.8798 ((3 . 4) (6 . 6) (7 . 7) (9 . 8)) 4405 0.4985 10.5559 ((3 . 14) (9 . 18) (10 . 19) (14 . 23)) 4408 0.4997 6.8446 ((3 . 4) (4 . 5) (6 . 6) (7 . 7)) 4419 0.4994 8.2659 ((3 . 3) (7 . 7) (10 . 9) (12 . 10)) 4470 0.4998 6.1037 ((3 . 12) (4 . 13) (6 . 14) (12 . 19)) 4492 0.4999 5.4801 ((3 . 18) (4 . 19) (6 . 21) (10 . 26)) 4495 0.5000 3.6168 ((3 . 6) (4 . 7) (6 . 8) (9 . 10)) 4497 0.4999 4.5270 ((6 . 26) (7 . 27) (9 . 28) (10 . 30)) 4502 0.5000 3.9229 ((3 . 6) (7 . 10) (9 . 11) (12 . 14)) 4503 0.4994 8.5725 ((3 . 1) (6 . 3) (7 . 4) (9 . 7)) 4504 0.4999 5.4539 ((3 . 4) (4 . 5) (6 . 6) (7 . 8)) 4516 0.7500 2.3661 ((3 . 20) (4 . 21) (6 . 22) (9 . 24) (12 . 26) (14 . 28)) 4538 0.4198 10.6574 ((4 . 27) (7 . 30) (9 . 31) (14 . 38)) 4551 0.1987 5.8730 ((3 . 4) (4 . 7) (6 . 8) (14 . 17)) 4560 0.4999 5.2321 ((3 . 1) (7 . 4) (9 . 6) (12 . 8)) 4561 0.4999 5.0462 ((3 . 9) (4 . 11) (7 . 12) (9 . 14)) 4562 0.1987 5.7536 ((3 . 25) (4 . 26) (6 . 27) (7 . 29)) 4563 0.4998 6.7388 ((3 . 31) (4 . 33) (7 . 34) (10 . 35)) 4577 0.6213 10.1076 ((3 . 37) (6 . 39) (9 . 41) (10 . 42) (14 . 43)) 4588 0.6247 5.2602 ((3 . 1) (4 . 2) (6 . 3) (9 . 8) (12 . 9)) 4589 0.4995 8.0003 ((3 . 18) (9 . 22) (10 . 23) (14 . 27)) 4621 0.4994 8.3503 ((7 . 3) (9 . 7) (10 . 8) (12 . 9)) 4630 0.8749 2.7173 ((3 . 11) (6 . 14) (7 . 15) (9 . 17) (10 . 18) (12 . 20) (14 . 23)) 4653 0.4999 4.7912 ((3 . 1) (6 . 4) (7 . 6) (10 . 7)) 4668 0.4999 4.6968 ((3 . 7) (4 . 8) (6 . 9) (9 . 11)) 4669 0.4995 8.0206 ((3 . 12) (6 . 15) (9 . 17) (10 . 19)) 4671 0.4998 6.1885 ((6 . 11) (7 . 12) (10 . 15) (14 . 20)) 4674 0.4996 7.4535 ((3 . 1) (6 . 2) (10 . 6) (12 . 8)) 4713 0.0999 8.7049 ((3 . 3) (6 . 4) (7 . 5) (12 . 9)) 4886 0.2910 8.8010 ((3 . 1) (4 . 3) (7 . 4) (14 . 9)) 4914 0.4993 8.6292 ((6 . 1) (7 . 4) (9 . 5) (10 . 6)) 4921 0.4994 8.5346 ((6 . 7) (7 . 8) (9 . 9) (14 . 14)) 4929 0.4998 5.9712 ((6 . 32) (7 . 33) (9 . 34) (10 . 35)) 4932 0.4995 7.8704 ((3 . 2) (6 . 5) (7 . 6) (10 . 8)) 4940 0.8748 3.3326 ((3 . 2) (6 . 3) (7 . 4) (9 . 6) (10 . 7) (12 . 8) (14 . 9)) 4941 0.6250 1.4472 ((3 . 5) (6 . 7) (9 . 9) (12 . 11) (14 . 13)) 4961 0.4997 7.0995 ((3 . 6) (10 . 12) (12 . 14) (14 . 15)) 4978 0.6243 6.7370 ((3 . 18) (4 . 20) (6 . 21) (7 . 22) (10 . 25)) 4982 0.4992 9.1609 ((3 . 6) (6 . 9) (7 . 10) (10 . 12)) 5029 0.0999 7.8806 ((6 . 2) (7 . 4) (10 . 6) (12 . 8)) 5036 0.4999 5.6615 ((3 . 1) (7 . 4) (9 . 5) (10 . 6)) 5038 0.1987 7.4979 ((4 . 13) (6 . 14) (7 . 15) (9 . 17)) 5046 0.4999 4.9357 ((9 . 1) (10 . 3) (12 . 4) (14 . 7)) 5053 0.4998 6.1829 ((3 . 9) (6 . 10) (7 . 12) (12 . 15)) 5068 0.5000 2.8643 ((3 . 4) (4 . 6) (6 . 7) (9 . 10)) 5069 0.6245 6.2208 ((3 . 9) (4 . 14) (6 . 15) (7 . 17) (10 . 18)) 5073 0.0999 3.9799 ((3 . 36) (4 . 38) (6 . 39) (10 . 42)) 5101 0.5000 3.3618 ((3 . 23) (4 . 24) (6 . 25) (9 . 26)) 5103 0.1987 4.2722 ((3 . 4) (4 . 5) (6 . 6) (9 . 9)) 5121 0.4996 7.5956 ((3 . 18) (6 . 21) (12 . 25) (14 . 27)) 5132 0.4997 6.7802 ((3 . 20) (4 . 21) (6 . 22) (12 . 26)) 5134 0.4996 7.5953 ((4 . 5) (7 . 6) (12 . 10) (14 . 13)) 5145 0.4998 6.1926 ((3 . 5) (4 . 7) (7 . 8) (9 . 10)) 5167 0.4998 6.1392 ((3 . 1) (6 . 3) (7 . 4) (12 . 9)) 5183 0.4995 8.2347 ((6 . 35) (7 . 36) (9 . 37) (10 . 38)) 5198 0.5000 4.0345 ((3 . 24) (4 . 25) (6 . 26) (9 . 31)) 5215 0.4998 5.9721 ((4 . 8) (6 . 9) (7 . 10) (12 . 15)) 5223 0.1995 7.6592 ((3 . 10) (4 . 11) (6 . 12) (7 . 15) (10 . 17)) 5231 0.4996 7.4676 ((7 . 8) (9 . 12) (10 . 13) (12 . 14)) 5266 0.1987 6.6949 ((3 . 10) (4 . 12) (6 . 13) (7 . 15)) 5278 0.4999 5.4751 ((6 . 5) (7 . 6) (9 . 7) (10 . 9)) 5318 0.3670 7.9182 ((4 . 20) (7 . 22) (9 . 23) (10 . 24)) 5324 0.4999 5.1197 ((3 . 12) (4 . 13) (6 . 14) (9 . 16)) 5344 0.4999 4.6701 ((6 . 1) (7 . 2) (9 . 3) (10 . 4)) 5345 0.4998 6.3949 ((3 . 3) (7 . 7) (10 . 12) (12 . 13)) 5368 0.4999 4.6316 ((3 . 35) (9 . 39) (10 . 41) (14 . 46)) 5378 0.1987 7.9923 ((4 . 1) (9 . 4) (10 . 6) (12 . 7)) 5414 0.1987 7.6333 ((7 . 16) (9 . 19) (10 . 20) (12 . 21)) 5418 0.4996 7.7632 ((7 . 1) (10 . 3) (12 . 5) (14 . 8)) 5433 0.6250 3.2044 ((3 . 7) (6 . 10) (9 . 16) (12 . 18) (14 . 20)) 5479 0.4998 6.0736 ((6 . 33) (9 . 34) (10 . 35) (12 . 36)) 5487 0.4998 6.6335 ((4 . 1) (9 . 4) (12 . 9) (14 . 11)) 5489 0.4991 9.3734 ((6 . 9) (7 . 10) (10 . 14) (12 . 16)) 5535 0.4993 8.8392 ((3 . 4) (7 . 8) (10 . 11) (12 . 12)) 5540 0.4988 10.0763 ((3 . 8) (4 . 9) (9 . 14) (10 . 16)) 5562 0.4999 4.8092 ((3 . 11) (4 . 12) (9 . 14) (12 . 17)) 5567 0.0999 3.7363 ((3 . 11) (4 . 14) (6 . 15) (9 . 17)) 5594 0.4998 6.7516 ((3 . 1) (4 . 2) (7 . 3) (9 . 4)) 5600 0.4994 8.3891 ((3 . 3) (4 . 4) (6 . 5) (7 . 6)) 5601 0.1987 6.4106 ((3 . 10) (4 . 11) (6 . 12) (10 . 16)) 5640 0.4998 6.1213 ((3 . 18) (6 . 20) (7 . 21) (10 . 23)) 5644 0.4999 5.7798 ((6 . 3) (7 . 4) (10 . 8) (12 . 10)) 5656 0.4999 5.3664 ((3 . 14) (4 . 15) (6 . 16) (12 . 23)) 5701 0.2462 5.9955 ((4 . 7) (10 . 11) (12 . 12) (14 . 14)) 5711 0.4998 6.4129 ((3 . 33) (6 . 36) (7 . 37) (12 . 43)) 5713 0.4999 5.6158 ((3 . 11) (7 . 15) (10 . 20) (14 . 24)) 5718 0.4997 7.0652 ((6 . 14) (7 . 16) (10 . 18) (12 . 21)) 5731 0.4998 6.0987 ((4 . 1) (9 . 5) (12 . 7) (14 . 10)) 5746 0.4996 7.8078 ((6 . 3) (9 . 6) (10 . 7) (12 . 9)) 5770 0.3671 5.6420 ((4 . 5) (6 . 6) (9 . 8) (10 . 9)) 5771 0.4998 6.0251 ((3 . 17) (4 . 19) (6 . 20) (7 . 21)) 5782 0.4997 6.8740 ((6 . 27) (10 . 32) (12 . 34) (14 . 35)) 5794 0.4998 6.0196 ((3 . 16) (4 . 17) (12 . 23) (14 . 25)) 5795 0.4997 6.9449 ((3 . 9) (6 . 10) (9 . 13) (12 . 16)) 5809 0.6236 7.8776 ((3 . 9) (4 . 10) (6 . 12) (9 . 14) (10 . 15)) 5822 0.4996 7.6985 ((3 . 2) (6 . 4) (9 . 7) (10 . 8)) 5827 0.4998 5.9967 ((3 . 14) (6 . 16) (7 . 17) (10 . 19)) 5830 0.4999 5.6775 ((3 . 3) (7 . 7) (9 . 8) (10 . 10)) 5861 0.4999 5.3172 ((3 . 5) (6 . 6) (9 . 10) (10 . 11)) 5888 0.4999 5.1710 ((3 . 8) (6 . 10) (9 . 12) (12 . 16)) 5913 0.4999 5.0912 ((3 . 10) (9 . 15) (12 . 17) (14 . 20)) 5922 0.6236 7.9178 ((3 . 1) (7 . 5) (9 . 6) (10 . 8) (12 . 9)) 5930 0.4999 5.3963 ((3 . 2) (4 . 3) (6 . 4) (12 . 9)) 5939 0.5000 4.0849 ((3 . 2) (4 . 3) (6 . 4) (9 . 6)) 5945 0.4999 5.6059 ((3 . 23) (4 . 25) (6 . 26) (14 . 33)) 5955 0.4997 7.0413 ((3 . 3) (4 . 6) (7 . 7) (10 . 9)) 5977 0.4998 6.0773 ((3 . 1) (4 . 2) (6 . 3) (10 . 6)) 6011 0.4998 6.1568 ((3 . 11) (6 . 14) (7 . 15) (9 . 16)) 6022 0.4999 5.8027 ((3 . 2) (6 . 5) (9 . 8) (10 . 9)) 6029 0.4959 13.6714 ((3 . 1) (4 . 2) (7 . 5) (14 . 11)) 6061 0.4993 8.7382 ((3 . 14) (7 . 17) (10 . 20) (12 . 21)) 6074 0.4999 5.5051 ((3 . 8) (4 . 10) (6 . 11) (9 . 13)) 6075 0.1497 4.9814 ((7 . 21) (9 . 24) (12 . 27) (14 . 28)) 6079 0.6247 5.4761 ((3 . 1) (4 . 2) (6 . 6) (9 . 7) (14 . 9)) 6094 0.6194 11.1826 ((3 . 5) (4 . 6) (9 . 11) (10 . 12) (14 . 15)) 6099 0.4998 6.5141 ((3 . 9) (6 . 11) (7 . 13) (12 . 18)) 6142 0.4998 5.9913 ((3 . 16) (6 . 18) (7 . 20) (10 . 24)) 6167 0.6250 2.6532 ((3 . 1) (6 . 4) (9 . 6) (12 . 9) (14 . 12)) 6173 0.4998 6.1729 ((3 . 3) (6 . 5) (9 . 8) (10 . 9)) 6215 0.4995 8.2163 ((6 . 17) (7 . 18) (9 . 19) (10 . 20)) 6225 0.4992 9.1199 ((4 . 9) (6 . 10) (7 . 12) (9 . 13)) 6228 0.4995 8.0547 ((3 . 1) (6 . 3) (10 . 7) (14 . 11)) 6243 0.4998 6.4453 ((4 . 1) (9 . 6) (12 . 8) (14 . 10)) 6251 0.0999 5.5010 ((3 . 15) (4 . 18) (6 . 17) (7 . 19)) 6258 0.4998 5.9912 ((4 . 2) (7 . 4) (9 . 7) (12 . 9)) 6261 0.4997 7.2607 ((3 . 9) (4 . 10) (6 . 11) (14 . 21)) 6266 0.4998 6.0407 ((3 . 6) (4 . 7) (6 . 8) (7 . 10)) 6271 0.4995 7.8969 ((3 . 5) (6 . 8) (9 . 10) (10 . 11)) 6294 0.4999 5.6485 ((4 . 19) (9 . 23) (12 . 25) (14 . 27)) 6306 0.4993 8.7852 ((3 . 15) (7 . 17) (10 . 20) (12 . 21)) 6309 0.2909 10.2540 ((4 . 16) (7 . 17) (9 . 18) (14 . 25)) 6311 0.4998 6.7346 ((3 . 5) (9 . 10) (10 . 11) (14 . 14)) 6326 0.6233 8.3030 ((3 . 2) (6 . 3) (10 . 5) (12 . 6) (14 . 11)) 6338 0.4995 8.1144 ((7 . 1) (9 . 2) (10 . 4) (12 . 5)) 6344 0.5000 3.5015 ((3 . 13) (4 . 16) (9 . 19) (10 . 21)) 6345 0.4998 6.7076 ((4 . 9) (6 . 11) (9 . 13) (10 . 14)) 6355 0.4995 8.1542 ((4 . 3) (6 . 6) (12 . 11) (14 . 12)) 6356 0.1987 4.8000 ((3 . 1) (4 . 3) (6 . 4) (9 . 6)) 6369 0.5000 4.0188 ((3 . 22) (4 . 23) (6 . 24) (9 . 26)) 6399 0.4999 5.9089 ((3 . 19) (9 . 26) (10 . 27) (14 . 30)) 6403 0.5000 4.4330 ((3 . 12) (6 . 14) (7 . 15) (10 . 17)) 6462 0.4999 5.4484 ((3 . 18) (4 . 19) (7 . 20) (10 . 24)) 6498 0.4999 5.5901 ((3 . 16) (4 . 18) (6 . 19) (7 . 21)) 6520 0.4999 5.0870 ((4 . 11) (6 . 13) (7 . 14) (10 . 16)) 6539 0.4999 5.8765 ((3 . 2) (4 . 3) (6 . 5) (10 . 10)) 6540 0.4999 5.9114 ((3 . 17) (6 . 19) (9 . 21) (10 . 22)) 6548 0.4999 5.6512 ((4 . 6) (6 . 7) (9 . 9) (10 . 12)) 6553 0.6250 2.9972 ((3 . 11) (4 . 16) (6 . 17) (9 . 20) (12 . 22)) 6555 0.4999 5.0235 ((7 . 17) (9 . 19) (10 . 20) (12 . 22)) 6561 0.1987 6.5369 ((3 . 10) (4 . 11) (7 . 12) (10 . 13)) 6573 0.4999 5.5955 ((3 . 17) (4 . 18) (7 . 19) (12 . 23)) 6578 0.4995 8.1507 ((6 . 32) (7 . 34) (9 . 37) (10 . 38)) 6584 0.1497 10.4063 ((4 . 4) (6 . 3) (9 . 6) (10 . 8)) 6585 0.4995 7.9043 ((3 . 2) (4 . 4) (7 . 6) (12 . 10)) 6587 0.4998 6.7319 ((3 . 29) (4 . 30) (6 . 31) (9 . 34)) 6598 0.4998 6.4408 ((3 . 20) (6 . 22) (9 . 24) (14 . 28)) 6613 0.4999 5.3844 ((3 . 12) (4 . 15) (12 . 22) (14 . 24)) 6635 0.4998 6.2573 ((3 . 1) (4 . 3) (6 . 4) (7 . 5)) END