6033 25 0.4984 10.8615 ((4 . 10) (5 . 12) (9 . 13) (10 . 15)) 77 0.4201 9.1208 ((2 . 10) (3 . 12) (5 . 16) (6 . 17)) 91 0.4969 12.7945 ((2 . 14) (5 . 20) (7 . 22) (10 . 26)) 136 0.1661 10.9796 ((2 . 2) (3 . 4) (4 . 6) (6 . 9)) 147 0.4992 9.0668 ((2 . 3) (3 . 5) (5 . 8) (7 . 9)) 155 0.1662 9.3286 ((2 . 5) (3 . 6) (4 . 7) (5 . 8)) 157 0.4986 10.3660 ((3 . 10) (6 . 15) (7 . 17) (10 . 21)) 207 0.4994 8.4869 ((2 . 10) (3 . 11) (5 . 14) (10 . 19)) 259 0.4196 11.5623 ((2 . 2) (3 . 3) (5 . 5) (6 . 6)) 293 0.4994 8.4527 ((4 . 1) (7 . 3) (9 . 4) (10 . 5)) 317 0.4992 8.9360 ((2 . 4) (3 . 6) (5 . 9) (7 . 10)) 329 0.4198 10.5273 ((5 . 1) (6 . 3) (9 . 7) (10 . 8)) 351 0.8723 6.0816 ((2 . 1) (3 . 4) (4 . 5) (5 . 6) (7 . 7) (9 . 8) (10 . 9)) 361 0.1987 10.5145 ((2 . 3) (4 . 5) (6 . 7) (9 . 9)) 442 0.4989 9.7934 ((2 . 9) (5 . 13) (9 . 15) (10 . 17)) 472 0.4993 8.7893 ((2 . 23) (5 . 28) (7 . 29) (9 . 33)) 553 0.7487 6.1270 ((2 . 9) (3 . 10) (5 . 14) (6 . 15) (9 . 21) (10 . 22)) 609 0.2909 10.7634 ((5 . 2) (7 . 4) (9 . 5) (10 . 7)) 619 0.4170 16.3202 ((2 . 3) (3 . 5) (6 . 10) (9 . 14)) 624 0.4995 8.0325 ((2 . 6) (4 . 8) (7 . 12) (10 . 14)) 635 0.4195 11.6627 ((3 . 7) (5 . 9) (6 . 11) (7 . 12)) 672 0.4969 12.7799 ((2 . 7) (3 . 8) (5 . 12) (10 . 19)) 678 0.4981 11.2306 ((2 . 23) (4 . 25) (7 . 28) (10 . 32)) 729 0.1987 10.4304 ((3 . 3) (4 . 6) (6 . 8) (10 . 14)) 782 0.4200 9.8865 ((2 . 3) (4 . 5) (9 . 11) (10 . 12)) 792 0.6246 5.7556 ((3 . 5) (5 . 8) (6 . 10) (9 . 11) (10 . 13)) 834 0.4993 8.8661 ((3 . 36) (4 . 38) (7 . 41) (9 . 43)) 901 0.4998 6.0548 ((2 . 10) (4 . 14) (7 . 16) (10 . 19)) 928 0.4991 9.3253 ((2 . 9) (4 . 11) (6 . 13) (7 . 15)) 943 0.4988 9.9301 ((2 . 3) (4 . 7) (7 . 10) (10 . 13)) 945 0.1661 11.8533 ((2 . 18) (3 . 20) (4 . 21) (5 . 23)) 949 0.1497 13.2844 ((5 . 33) (6 . 36) (7 . 35) (9 . 37)) 960 0.4988 9.9496 ((2 . 30) (5 . 33) (9 . 37) (10 . 39)) 978 0.6202 10.7805 ((5 . 5) (6 . 8) (7 . 9) (9 . 11) (10 . 12)) 1082 0.6224 9.2354 ((2 . 13) (5 . 14) (7 . 17) (9 . 18) (10 . 35)) 1124 0.6248 5.0543 ((2 . 9) (3 . 10) (4 . 11) (6 . 13) (7 . 14)) 1165 0.4524 10.1607 ((2 . 9) (4 . 11) (6 . 14) (9 . 16)) 1204 0.4194 12.1265 ((3 . 8) (5 . 13) (7 . 15) (10 . 18)) 1210 0.7490 5.8102 ((2 . 2) (4 . 3) (5 . 4) (7 . 5) (9 . 6) (10 . 7)) 1267 0.4959 13.7172 ((2 . 14) (4 . 16) (7 . 20) (10 . 23)) 1268 0.4993 8.6757 ((2 . 15) (3 . 16) (4 . 17) (7 . 18)) 1301 0.2462 10.8776 ((2 . 2) (3 . 3) (4 . 6) (5 . 7)) 1345 0.3671 5.2319 ((2 . 6) (4 . 8) (6 . 10) (7 . 11)) 1388 0.4998 6.1395 ((3 . 2) (4 . 3) (7 . 6) (10 . 10)) 1447 0.2906 14.5556 ((3 . 6) (5 . 8) (6 . 10) (7 . 12)) 1470 0.6247 5.1976 ((4 . 2) (5 . 3) (7 . 4) (9 . 5) (10 . 6)) 1472 0.4989 9.7176 ((2 . 3) (3 . 5) (6 . 11) (9 . 12)) 1476 0.4994 8.5100 ((4 . 10) (7 . 13) (9 . 16) (10 . 17)) 1497 0.4991 9.3490 ((4 . 9) (6 . 11) (9 . 15) (10 . 16)) 1513 0.3665 12.3822 ((2 . 7) (4 . 9) (6 . 12) (10 . 16)) 1591 0.4996 7.4560 ((2 . 15) (3 . 17) (4 . 18) (7 . 20)) 1604 0.3842 11.3879 ((2 . 6) (4 . 9) (6 . 11) (7 . 13) (10 . 15)) 1690 0.4993 8.8563 ((2 . 26) (3 . 27) (4 . 28) (5 . 29)) 1724 0.4999 5.0987 ((5 . 1) (6 . 3) (7 . 4) (9 . 5)) 1736 0.6236 7.9310 ((4 . 2) (5 . 6) (7 . 8) (9 . 9) (10 . 11)) 1738 0.4989 9.7719 ((4 . 10) (6 . 15) (7 . 16) (10 . 20)) 1761 0.2909 9.3156 ((3 . 8) (5 . 10) (9 . 14) (10 . 18)) 1763 0.1987 9.4974 ((2 . 1) (4 . 4) (5 . 6) (10 . 12)) 1776 0.2909 11.5200 ((4 . 6) (6 . 8) (7 . 10) (10 . 13)) 1796 0.5762 8.4574 ((2 . 2) (3 . 4) (4 . 5) (5 . 6) (6 . 7)) 1897 0.1987 12.3149 ((2 . 38) (6 . 44) (7 . 45) (9 . 48)) 1908 0.4999 5.8993 ((4 . 6) (6 . 8) (7 . 9) (10 . 14)) 1909 0.4997 6.9286 ((5 . 30) (6 . 32) (7 . 33) (10 . 36)) 1944 0.4992 8.9478 ((2 . 2) (4 . 4) (6 . 6) (10 . 12)) 1957 0.2909 9.9450 ((3 . 10) (4 . 12) (9 . 16) (10 . 18)) 1967 0.2909 10.9684 ((2 . 4) (4 . 6) (6 . 9) (7 . 11)) 1987 0.6791 5.7947 ((2 . 9) (3 . 10) (4 . 11) (5 . 12) (6 . 13) (7 . 14)) 2048 0.4195 11.7941 ((2 . 10) (3 . 12) (5 . 14) (6 . 15)) 2054 0.2462 8.6682 ((3 . 9) (6 . 12) (7 . 15) (9 . 16)) 2081 0.4983 10.9430 ((2 . 13) (3 . 14) (5 . 16) (6 . 18)) 2083 0.2910 8.3246 ((2 . 3) (4 . 6) (6 . 8) (7 . 11)) 2094 0.2462 9.2074 ((2 . 1) (4 . 3) (6 . 6) (9 . 7)) 2114 0.4951 14.3209 ((3 . 30) (4 . 33) (7 . 37) (9 . 39)) 2117 0.3668 10.6517 ((2 . 19) (3 . 21) (5 . 24) (6 . 26)) 2118 0.2910 6.0274 ((2 . 6) (4 . 8) (5 . 9) (6 . 10)) 2122 0.2909 10.7162 ((4 . 5) (6 . 7) (7 . 9) (10 . 11)) 2179 0.4195 11.6919 ((4 . 12) (6 . 15) (7 . 16) (9 . 19)) 2233 0.4200 9.8246 ((2 . 2) (5 . 6) (6 . 7) (9 . 9)) 2249 0.2462 10.4048 ((2 . 2) (3 . 3) (6 . 8) (9 . 10)) 2269 0.3670 8.2252 ((2 . 5) (5 . 9) (7 . 11) (10 . 13)) 2279 0.4199 10.0707 ((3 . 12) (4 . 14) (5 . 15) (7 . 21)) 2298 0.3668 10.7526 ((2 . 3) (3 . 5) (5 . 7) (10 . 14)) 2308 0.3670 6.9894 ((2 . 7) (4 . 10) (6 . 12) (7 . 14)) 2342 0.6248 4.7708 ((4 . 3) (5 . 4) (7 . 5) (9 . 6) (10 . 7)) 2344 0.4993 8.8813 ((2 . 5) (5 . 12) (7 . 15) (10 . 19)) 2364 0.3670 7.8808 ((2 . 2) (3 . 6) (5 . 8) (7 . 10)) 2443 0.4996 7.4376 ((5 . 2) (7 . 3) (9 . 4) (10 . 5)) 2447 0.4985 10.5943 ((2 . 16) (4 . 19) (6 . 22) (9 . 27)) 2465 0.4987 10.3291 ((2 . 1) (5 . 5) (6 . 6) (9 . 8)) 2510 0.4992 9.0184 ((2 . 4) (4 . 6) (6 . 8) (10 . 12)) 2519 0.4976 11.9522 ((2 . 1) (3 . 3) (4 . 4) (7 . 6)) 2533 0.3669 9.8435 ((2 . 2) (4 . 5) (6 . 7) (10 . 11)) 2551 0.2910 6.6601 ((3 . 2) (6 . 5) (7 . 6) (9 . 7)) 2556 0.4984 10.8234 ((2 . 12) (4 . 17) (7 . 21) (9 . 23)) 2591 0.4957 13.8539 ((3 . 34) (5 . 36) (7 . 37) (9 . 39)) 2627 0.4998 6.3801 ((5 . 53) (7 . 54) (9 . 56) (10 . 57)) 2634 0.4980 11.4684 ((2 . 3) (3 . 5) (5 . 7) (6 . 8)) 2703 0.2462 8.4468 ((6 . 2) (7 . 3) (9 . 5) (10 . 6)) 2733 0.2908 13.1472 ((3 . 7) (4 . 9) (5 . 12) (9 . 14)) 2753 0.2907 13.4444 ((4 . 6) (5 . 7) (7 . 8) (10 . 11)) 2830 0.4995 7.8467 ((2 . 10) (4 . 12) (7 . 16) (10 . 18)) 2842 0.4993 8.6223 ((2 . 8) (4 . 10) (6 . 12) (7 . 13)) 2950 0.4204 5.7906 ((2 . 7) (4 . 10) (5 . 11) (6 . 12)) 2990 0.2910 8.6429 ((2 . 8) (5 . 13) (9 . 17) (10 . 18)) 3014 0.4995 8.1095 ((2 . 14) (3 . 15) (6 . 17) (7 . 18)) 3034 0.3670 8.4548 ((3 . 8) (5 . 11) (7 . 13) (9 . 15)) 3041 0.4989 9.8538 ((3 . 5) (4 . 7) (7 . 10) (10 . 13)) 3070 0.4991 9.2833 ((4 . 30) (5 . 31) (7 . 34) (10 . 37)) 3084 0.4983 10.9631 ((3 . 6) (5 . 8) (7 . 12) (10 . 14)) 3127 0.4992 8.9450 ((4 . 5) (6 . 7) (7 . 9) (9 . 12)) 3190 0.4989 9.7042 ((2 . 4) (4 . 7) (6 . 10) (7 . 12)) 3197 0.4998 6.2303 ((2 . 7) (4 . 11) (7 . 15) (10 . 17)) 3200 0.2908 12.6816 ((5 . 5) (6 . 7) (7 . 8) (10 . 12)) 3202 0.4939 15.1555 ((2 . 12) (4 . 15) (9 . 20) (10 . 21)) 3286 0.4957 13.8708 ((3 . 6) (4 . 8) (5 . 10) (9 . 15)) 3310 0.4938 15.2173 ((2 . 5) (3 . 6) (4 . 7) (9 . 11)) 3322 0.1987 8.4735 ((3 . 2) (6 . 6) (7 . 8) (9 . 10)) 3334 0.4204 5.8341 ((2 . 9) (4 . 11) (5 . 12) (6 . 13)) 3339 0.4991 9.3250 ((2 . 8) (4 . 10) (6 . 14) (10 . 18)) 3362 0.1987 11.7984 ((3 . 3) (4 . 5) (9 . 12) (10 . 13)) 3391 0.4972 12.4060 ((2 . 5) (4 . 7) (7 . 12) (10 . 15)) 3415 0.4997 6.7927 ((6 . 21) (7 . 22) (9 . 23) (10 . 24)) 3446 0.4990 9.4763 ((4 . 9) (5 . 10) (9 . 12) (10 . 13)) 3470 0.4964 13.2670 ((4 . 11) (5 . 12) (9 . 15) (10 . 16)) 3495 0.4991 9.2851 ((2 . 6) (3 . 9) (5 . 10) (7 . 13)) 3496 0.4192 12.6919 ((4 . 24) (5 . 25) (6 . 26) (9 . 28)) 3538 0.2907 14.3410 ((2 . 17) (5 . 21) (6 . 22) (10 . 27)) 3561 0.4993 8.8284 ((2 . 17) (4 . 21) (6 . 23) (7 . 25)) 3585 0.3667 10.9199 ((3 . 17) (5 . 19) (6 . 21) (9 . 22)) 3613 0.6246 5.5958 ((3 . 23) (5 . 26) (6 . 27) (9 . 28) (10 . 30)) 3628 0.4998 6.3037 ((3 . 1) (4 . 5) (7 . 7) (10 . 11)) 3651 0.2908 12.5725 ((2 . 10) (4 . 14) (7 . 19) (9 . 20)) 3658 0.4195 11.7870 ((5 . 13) (6 . 14) (9 . 16) (10 . 19)) 3661 0.6248 4.5457 ((2 . 14) (3 . 17) (4 . 18) (6 . 22) (7 . 25)) 3778 0.4994 8.2659 ((3 . 17) (4 . 19) (7 . 21) (9 . 23)) 3787 0.4992 8.9985 ((2 . 5) (4 . 8) (7 . 11) (9 . 13)) 3829 0.3669 9.6954 ((5 . 7) (6 . 8) (9 . 11) (10 . 13)) 3834 0.4991 9.2365 ((4 . 2) (7 . 4) (9 . 5) (10 . 6)) 3853 0.4524 10.2271 ((2 . 13) (4 . 16) (5 . 19) (6 . 20)) 3870 0.3664 12.9917 ((2 . 7) (4 . 9) (5 . 11) (10 . 14)) 3938 0.3668 10.3414 ((2 . 1) (5 . 5) (9 . 12) (10 . 16)) 4009 0.2462 10.4200 ((3 . 10) (5 . 16) (7 . 17) (10 . 20)) 4011 0.4990 9.6942 ((3 . 1) (4 . 2) (7 . 5) (9 . 6)) 4030 0.6231 8.4652 ((3 . 10) (5 . 11) (6 . 12) (7 . 13) (9 . 15)) 4037 0.1332 5.9723 ((6 . 4) (7 . 5) (9 . 6) (10 . 7)) 4062 0.4992 8.9673 ((2 . 39) (4 . 44) (9 . 47) (10 . 51)) 4067 0.4987 10.2070 ((3 . 15) (5 . 17) (6 . 19) (7 . 21)) 4077 0.4993 8.8663 ((3 . 8) (6 . 12) (7 . 13) (9 . 14)) 4115 0.4978 11.6342 ((2 . 2) (6 . 9) (7 . 11) (9 . 12)) 4134 0.4993 8.6426 ((2 . 25) (3 . 26) (7 . 30) (9 . 31)) 4151 0.4993 8.7144 ((2 . 4) (4 . 6) (7 . 11) (10 . 14)) 4195 0.6243 6.5967 ((4 . 2) (5 . 3) (7 . 4) (9 . 5) (10 . 7)) 4204 0.4997 7.2663 ((2 . 1) (3 . 2) (5 . 4) (9 . 10)) 4216 0.4996 7.4519 ((3 . 10) (5 . 13) (6 . 14) (9 . 16)) 4226 0.4968 12.9013 ((4 . 2) (5 . 3) (7 . 5) (10 . 10)) 4242 0.3667 10.8525 ((3 . 3) (4 . 4) (5 . 6) (9 . 10)) 4243 0.3671 6.1858 ((2 . 2) (4 . 4) (5 . 5) (6 . 6)) 4254 0.4983 10.8801 ((3 . 7) (5 . 10) (6 . 12) (9 . 16)) 4261 0.4999 4.6356 ((6 . 11) (7 . 12) (9 . 14) (10 . 15)) 4265 0.4992 8.9897 ((2 . 25) (4 . 27) (6 . 30) (7 . 31)) 4266 0.2909 9.6540 ((2 . 3) (4 . 5) (7 . 7) (9 . 9)) 4281 0.4956 13.9033 ((4 . 7) (5 . 9) (6 . 11) (10 . 16)) 4326 0.3657 15.4664 ((2 . 1) (3 . 3) (6 . 6) (7 . 8)) 4332 0.1987 10.2902 ((5 . 1) (7 . 3) (9 . 5) (10 . 8)) 4352 0.4889 17.7038 ((2 . 11) (4 . 13) (5 . 14) (9 . 16)) 4386 0.4192 12.6521 ((5 . 11) (6 . 12) (7 . 13) (9 . 15)) 4398 0.3670 8.5528 ((3 . 2) (5 . 5) (9 . 9) (10 . 11)) 4408 0.2462 10.2505 ((5 . 19) (6 . 20) (7 . 21) (9 . 22)) 4419 0.1987 6.2967 ((4 . 1) (5 . 2) (9 . 5) (10 . 11)) 4470 0.4990 9.4921 ((2 . 11) (4 . 15) (7 . 17) (10 . 22)) 4492 0.4995 8.0698 ((2 . 9) (3 . 10) (5 . 12) (9 . 19)) 4495 0.4996 7.7554 ((2 . 1) (3 . 5) (5 . 7) (9 . 11)) 4502 0.4999 5.3865 ((3 . 2) (4 . 3) (7 . 7) (10 . 13)) 4504 0.4984 10.7593 ((2 . 12) (4 . 16) (6 . 18) (10 . 23)) 4505 0.4996 7.5393 ((2 . 27) (4 . 29) (7 . 33) (9 . 35)) 4516 0.7448 8.7368 ((3 . 15) (4 . 17) (6 . 19) (7 . 21) (9 . 23) (10 . 25)) 4560 0.3669 9.3491 ((2 . 5) (3 . 7) (4 . 10) (6 . 12)) 4562 0.3668 10.6443 ((2 . 21) (3 . 23) (7 . 28) (9 . 30)) 4563 0.4994 8.4322 ((4 . 27) (5 . 30) (7 . 32) (9 . 33)) 4579 0.4993 8.7035 ((2 . 1) (3 . 2) (7 . 6) (9 . 7)) 4589 0.2462 11.7579 ((2 . 17) (4 . 21) (5 . 20) (9 . 24)) 4607 0.4197 10.8907 ((2 . 17) (3 . 18) (6 . 21) (9 . 23)) 4668 0.1987 12.1509 ((4 . 2) (6 . 6) (7 . 8) (10 . 10)) 4669 0.4990 9.6514 ((2 . 16) (4 . 18) (6 . 20) (7 . 22)) 4671 0.4985 10.6172 ((3 . 3) (4 . 5) (9 . 9) (10 . 10)) 4699 0.6245 6.0318 ((2 . 8) (3 . 10) (4 . 11) (6 . 12) (7 . 13)) 4715 0.4987 10.2497 ((2 . 10) (3 . 13) (5 . 15) (6 . 16)) 4716 0.4997 6.9806 ((2 . 4) (3 . 5) (4 . 6) (5 . 7)) 4731 0.4195 11.6053 ((2 . 15) (3 . 16) (4 . 17) (6 . 19)) 4764 0.4991 9.2348 ((2 . 4) (3 . 6) (5 . 8) (9 . 10)) 4783 0.4974 12.2434 ((2 . 1) (3 . 2) (7 . 6) (10 . 8)) 4817 0.6248 4.5244 ((4 . 6) (5 . 7) (7 . 9) (9 . 11) (10 . 13)) 4857 0.2910 8.4773 ((2 . 12) (4 . 14) (5 . 15) (6 . 16)) 4886 0.4906 16.9497 ((3 . 14) (4 . 15) (7 . 18) (10 . 20)) 4888 0.4187 13.7060 ((3 . 11) (7 . 18) (9 . 19) (10 . 23)) 4889 0.2909 10.3984 ((2 . 19) (4 . 21) (5 . 23) (6 . 24)) 4961 0.3671 5.5948 ((2 . 8) (4 . 11) (6 . 13) (7 . 16)) 4978 0.4986 10.3675 ((3 . 26) (4 . 27) (7 . 29) (10 . 33)) 5000 0.4996 7.6578 ((5 . 32) (7 . 33) (9 . 35) (10 . 36)) 5016 0.4997 6.8228 ((3 . 5) (5 . 6) (7 . 8) (9 . 9)) 5039 0.5132 9.8943 ((3 . 35) (4 . 36) (6 . 38) (7 . 40) (10 . 43)) 5068 0.3670 7.8585 ((4 . 1) (6 . 3) (9 . 6) (10 . 9)) 5069 0.4994 8.5097 ((2 . 3) (5 . 8) (9 . 14) (10 . 16)) 5073 0.3665 12.2756 ((2 . 37) (3 . 38) (5 . 41) (10 . 45)) 5080 0.3665 12.4043 ((2 . 1) (4 . 5) (5 . 6) (9 . 10)) 5092 0.4986 10.3784 ((2 . 3) (7 . 8) (9 . 9) (10 . 10)) 5101 0.4983 10.9868 ((2 . 17) (4 . 19) (7 . 24) (10 . 27)) 5121 0.4989 9.7958 ((2 . 13) (5 . 17) (9 . 22) (10 . 23)) 5132 0.4995 7.8714 ((2 . 19) (4 . 21) (7 . 24) (10 . 27)) 5134 0.4976 11.9441 ((5 . 5) (6 . 7) (7 . 8) (9 . 9)) 5167 0.4991 9.2051 ((2 . 2) (3 . 6) (7 . 10) (10 . 13)) 5192 0.4996 7.4825 ((4 . 13) (7 . 16) (9 . 18) (10 . 19)) 5212 0.4191 12.8911 ((3 . 4) (5 . 9) (7 . 10) (10 . 14)) 5223 0.4995 8.1380 ((2 . 5) (4 . 7) (7 . 9) (10 . 14)) 5266 0.6233 8.2202 ((2 . 1) (4 . 3) (7 . 9) (9 . 11) (10 . 12)) 5307 0.1987 10.6823 ((4 . 52) (6 . 54) (9 . 56) (10 . 59)) 5318 0.4976 11.9227 ((2 . 7) (4 . 9) (9 . 14) (10 . 16)) 5323 0.4996 7.4516 ((2 . 14) (3 . 15) (5 . 17) (9 . 19)) 5442 0.3846 9.0522 ((3 . 33) (6 . 37) (7 . 38) (9 . 39) (10 . 40)) 5501 0.4987 10.3015 ((4 . 23) (5 . 26) (7 . 28) (10 . 32)) 5525 0.4200 9.7627 ((2 . 11) (3 . 12) (4 . 13) (5 . 14)) 5560 0.4995 8.1250 ((2 . 10) (5 . 14) (9 . 18) (10 . 19)) 5562 0.4998 6.0639 ((2 . 9) (4 . 13) (6 . 15) (7 . 16)) 5600 0.4991 9.4099 ((2 . 1) (4 . 4) (9 . 10) (10 . 12)) 5648 0.4996 7.4913 ((5 . 5) (6 . 6) (7 . 7) (9 . 8)) 5656 0.4203 7.9256 ((3 . 6) (5 . 11) (6 . 13) (10 . 17)) 5689 0.4989 9.8374 ((3 . 9) (4 . 10) (5 . 11) (9 . 14)) 5702 0.4999 5.6064 ((2 . 11) (5 . 13) (7 . 15) (9 . 16)) 5704 0.4992 8.9532 ((6 . 2) (7 . 3) (9 . 4) (10 . 5)) 5771 0.2461 14.3226 ((4 . 2) (5 . 6) (6 . 7) (9 . 8)) 5782 0.4994 8.3823 ((3 . 6) (4 . 7) (7 . 9) (9 . 11)) 5789 0.2909 10.1110 ((4 . 1) (7 . 3) (9 . 4) (10 . 6)) 5795 0.3670 8.1393 ((2 . 5) (7 . 11) (9 . 14) (10 . 15)) 5809 0.4999 5.2052 ((2 . 6) (4 . 8) (6 . 10) (7 . 11)) 5827 0.3666 11.9191 ((2 . 6) (4 . 10) (5 . 12) (10 . 18)) 5878 0.4198 10.6261 ((2 . 13) (6 . 22) (7 . 23) (9 . 24)) 5904 0.2910 8.4510 ((2 . 2) (3 . 3) (5 . 6) (9 . 8)) 5913 0.4201 8.9852 ((6 . 11) (7 . 12) (9 . 14) (10 . 16)) 5945 0.4989 9.7103 ((2 . 12) (7 . 22) (9 . 25) (10 . 27)) 5949 0.4196 11.2545 ((2 . 11) (5 . 15) (9 . 19) (10 . 20)) 5955 0.1987 8.8345 ((2 . 12) (3 . 13) (6 . 18) (7 . 19)) 5967 0.3665 12.3056 ((3 . 2) (4 . 6) (5 . 8) (7 . 10)) 6000 0.4986 10.4602 ((2 . 3) (4 . 5) (9 . 8) (10 . 11)) 6029 0.3671 6.0036 ((3 . 2) (7 . 7) (9 . 8) (10 . 9)) 6033 1.0000 0.0000 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10)) 6041 0.1249 10.1112 ((4 . 3) (5 . 5) (6 . 6) (10 . 9)) 6074 0.1987 9.8224 ((2 . 3) (3 . 5) (5 . 7) (9 . 12)) 6079 0.4985 10.5240 ((4 . 14) (5 . 15) (6 . 17) (10 . 22)) 6089 0.4193 12.2682 ((3 . 8) (5 . 13) (7 . 15) (9 . 19)) 6099 0.4990 9.4996 ((2 . 12) (4 . 15) (6 . 19) (9 . 20)) 6169 0.4198 10.7569 ((2 . 2) (5 . 7) (9 . 9) (10 . 10)) 6192 0.4526 9.4733 ((3 . 9) (5 . 12) (6 . 15) (7 . 16)) 6228 0.4201 9.3397 ((3 . 10) (4 . 13) (7 . 17) (9 . 18)) 6243 0.2462 7.0201 ((3 . 9) (5 . 11) (6 . 12) (9 . 13)) 6251 0.4972 12.4112 ((4 . 11) (5 . 14) (9 . 18) (10 . 20)) 6258 0.2462 9.0295 ((4 . 1) (6 . 5) (9 . 8) (10 . 11)) 6261 0.6242 6.7651 ((2 . 7) (4 . 10) (6 . 14) (7 . 15) (9 . 23)) 6268 0.4203 7.2358 ((2 . 8) (4 . 11) (5 . 12) (6 . 13)) 6294 0.4191 12.9481 ((3 . 19) (4 . 21) (6 . 24) (7 . 26)) 6329 0.6240 7.2706 ((2 . 7) (3 . 9) (6 . 12) (7 . 13) (9 . 15)) 6344 0.2909 9.6006 ((2 . 2) (4 . 5) (9 . 10) (10 . 11)) 6348 0.4998 6.3741 ((2 . 3) (4 . 8) (6 . 10) (9 . 13)) 6356 0.0999 7.9093 ((2 . 3) (4 . 5) (7 . 10) (10 . 12)) 6359 0.6248 4.7145 ((4 . 1) (5 . 2) (7 . 3) (9 . 4) (10 . 5)) 6369 0.4996 7.4288 ((2 . 10) (4 . 21) (7 . 23) (10 . 25)) 6384 0.4993 8.8962 ((5 . 3) (7 . 4) (9 . 5) (10 . 6)) 6392 0.4979 11.5500 ((3 . 2) (5 . 5) (6 . 6) (7 . 8)) 6403 0.3666 12.0500 ((2 . 6) (4 . 9) (5 . 11) (10 . 16)) 6434 0.3666 12.1368 ((2 . 1) (7 . 7) (9 . 8) (10 . 9)) 6461 0.1987 11.9402 ((2 . 2) (3 . 4) (4 . 5) (7 . 7)) 6462 0.4988 10.0988 ((3 . 15) (4 . 17) (7 . 19) (10 . 23)) 6498 0.3667 11.1946 ((3 . 36) (4 . 39) (6 . 41) (10 . 47)) 6506 0.4993 8.6258 ((2 . 20) (6 . 24) (9 . 25) (10 . 27)) 6520 0.4994 8.5880 ((2 . 11) (3 . 12) (7 . 18) (10 . 22)) 6536 0.6243 6.5853 ((4 . 29) (5 . 30) (7 . 33) (9 . 34) (10 . 37)) 6539 0.4950 14.4262 ((3 . 1) (4 . 3) (7 . 7) (9 . 9)) 6548 0.2462 10.5604 ((3 . 6) (4 . 8) (5 . 10) (9 . 15)) 6578 0.4957 13.8926 ((3 . 33) (4 . 36) (7 . 39) (9 . 41)) 6585 0.4202 8.7621 ((6 . 3) (7 . 4) (9 . 5) (10 . 7)) 6587 0.4976 11.9166 ((4 . 27) (6 . 30) (7 . 32) (10 . 35)) 6605 0.3671 5.6437 ((2 . 3) (4 . 5) (5 . 6) (6 . 7)) 6613 0.4998 6.4558 ((2 . 11) (4 . 15) (6 . 19) (10 . 23)) 6622 0.6245 6.0740 ((3 . 4) (5 . 5) (6 . 6) (9 . 8) (10 . 10)) END