5016 25 0.4976 11.9842 ((2 . 9) (6 . 13) (7 . 14) (8 . 15)) 77 0.4932 15.6162 ((1 . 2) (5 . 10) (6 . 12) (10 . 17)) 91 0.4997 6.9348 ((5 . 20) (7 . 26) (8 . 27) (10 . 30)) 147 0.4989 9.7298 ((6 . 5) (7 . 7) (8 . 8) (10 . 9)) 155 0.4202 7.9720 ((7 . 5) (8 . 6) (9 . 7) (10 . 8)) 157 0.4971 12.5640 ((1 . 4) (2 . 6) (6 . 15) (7 . 17)) 207 0.4995 8.2385 ((5 . 6) (6 . 11) (7 . 12) (9 . 14)) 259 0.4995 7.8809 ((2 . 1) (5 . 5) (6 . 6) (8 . 8)) 293 0.4992 9.1928 ((1 . 1) (2 . 3) (5 . 5) (6 . 6)) 307 0.2461 13.3364 ((5 . 2) (6 . 6) (7 . 8) (8 . 10)) 317 0.4992 8.9751 ((6 . 3) (7 . 4) (8 . 6) (9 . 7)) 351 0.6240 7.3351 ((2 . 1) (5 . 2) (6 . 4) (8 . 5) (9 . 6)) 361 0.4987 10.2146 ((6 . 5) (8 . 6) (9 . 7) (10 . 8)) 442 0.1987 9.8490 ((1 . 3) (6 . 11) (7 . 13) (10 . 15)) 541 0.1987 15.0540 ((2 . 1) (5 . 6) (7 . 9) (10 . 13)) 553 0.5000 4.3401 ((5 . 2) (6 . 3) (8 . 4) (9 . 6)) 619 0.4177 15.3992 ((2 . 3) (5 . 5) (7 . 10) (10 . 14)) 624 0.4956 13.9732 ((1 . 3) (2 . 4) (6 . 12) (10 . 17)) 635 0.4971 12.4907 ((6 . 7) (8 . 9) (9 . 11) (10 . 12)) 672 0.4939 15.1568 ((2 . 1) (8 . 8) (9 . 9) (10 . 12)) 678 0.4990 9.5136 ((2 . 21) (5 . 25) (8 . 30) (9 . 32)) 729 0.3661 14.1704 ((1 . 12) (5 . 21) (6 . 22) (7 . 23)) 782 0.6074 6.0819 ((2 . 1) (5 . 4) (6 . 5) (7 . 6) (8 . 11) (9 . 12)) 792 0.4999 4.9406 ((6 . 1) (7 . 2) (8 . 3) (10 . 5)) 818 0.1661 11.2583 ((5 . 3) (6 . 5) (7 . 9) (8 . 11)) 834 0.4994 8.4450 ((6 . 34) (8 . 36) (9 . 37) (10 . 38)) 861 0.4976 11.9701 ((1 . 5) (2 . 6) (6 . 10) (9 . 14)) 901 0.4992 8.9965 ((5 . 13) (6 . 14) (7 . 16) (9 . 18)) 928 0.4977 11.8198 ((1 . 2) (2 . 4) (7 . 11) (10 . 15)) 945 0.4197 10.8979 ((5 . 13) (6 . 18) (8 . 20) (10 . 23)) 949 0.4979 11.5182 ((6 . 33) (8 . 35) (9 . 37) (10 . 36)) 960 0.4971 12.5293 ((2 . 27) (6 . 34) (8 . 37) (10 . 39)) 978 0.4990 9.5364 ((5 . 8) (6 . 11) (8 . 12) (10 . 15)) 1007 0.1987 9.6532 ((6 . 2) (7 . 4) (8 . 5) (10 . 6)) 1034 0.4978 11.6729 ((1 . 19) (2 . 23) (7 . 31) (10 . 36)) 1043 0.4977 11.8317 ((5 . 5) (6 . 7) (7 . 9) (9 . 11)) 1082 0.4972 12.4690 ((2 . 23) (6 . 29) (8 . 32) (10 . 35)) 1084 0.2461 14.1568 ((1 . 6) (2 . 15) (7 . 21) (8 . 22)) 1124 0.4997 7.1330 ((5 . 8) (6 . 10) (8 . 11) (10 . 14)) 1165 0.2462 10.1245 ((1 . 5) (6 . 13) (8 . 15) (10 . 17)) 1167 0.1987 9.9235 ((5 . 19) (6 . 24) (7 . 25) (8 . 26)) 1201 0.3667 10.9599 ((1 . 2) (2 . 5) (5 . 8) (7 . 13)) 1204 0.4969 12.7029 ((2 . 2) (7 . 13) (9 . 15) (10 . 18)) 1211 0.4190 13.1257 ((1 . 1) (2 . 6) (5 . 7) (10 . 17)) 1267 0.4959 13.6964 ((1 . 7) (2 . 8) (5 . 14) (8 . 18)) 1268 0.4972 12.3928 ((1 . 11) (5 . 17) (6 . 18) (9 . 21)) 1345 0.4972 12.3757 ((2 . 6) (5 . 10) (8 . 15) (9 . 17)) 1388 0.4942 14.9430 ((1 . 3) (2 . 6) (5 . 10) (6 . 12)) 1395 0.4996 7.5402 ((2 . 1) (5 . 2) (6 . 4) (8 . 5)) 1415 0.1987 8.0755 ((6 . 3) (7 . 4) (8 . 5) (10 . 6)) 1447 0.4525 9.6695 ((5 . 4) (7 . 8) (8 . 10) (10 . 13)) 1470 0.4997 7.2600 ((1 . 13) (2 . 14) (5 . 17) (6 . 18)) 1472 0.4521 11.0005 ((5 . 1) (7 . 5) (9 . 9) (10 . 10)) 1476 0.4980 11.3640 ((5 . 13) (6 . 16) (7 . 17) (9 . 19)) 1497 0.4990 9.5951 ((2 . 11) (5 . 15) (7 . 16) (10 . 21)) 1513 0.4527 8.6019 ((6 . 4) (7 . 7) (8 . 9) (10 . 12)) 1591 0.4967 12.9759 ((1 . 2) (2 . 3) (6 . 7) (9 . 10)) 1604 0.4980 11.3480 ((7 . 6) (8 . 8) (9 . 9) (10 . 11)) 1690 0.4977 11.8486 ((1 . 15) (5 . 23) (8 . 27) (9 . 28)) 1724 0.4999 5.8622 ((6 . 1) (8 . 4) (9 . 5) (10 . 6)) 1736 0.4994 8.3224 ((2 . 2) (6 . 6) (8 . 8) (9 . 9)) 1738 0.2909 9.3799 ((5 . 15) (6 . 16) (7 . 20) (10 . 25)) 1776 0.4969 12.7697 ((5 . 6) (6 . 8) (7 . 10) (9 . 13)) 1793 0.4203 6.9571 ((1 . 5) (8 . 15) (9 . 16) (10 . 17)) 1796 0.4992 9.0462 ((6 . 4) (7 . 5) (8 . 6) (10 . 7)) 1896 0.4948 14.5526 ((1 . 12) (2 . 13) (5 . 18) (6 . 21)) 1897 0.0999 7.1941 ((2 . 36) (5 . 38) (8 . 44) (10 . 48)) 1908 0.6225 9.0917 ((1 . 2) (2 . 6) (5 . 9) (6 . 14) (8 . 16)) 1909 0.4201 9.3814 ((1 . 24) (5 . 32) (7 . 36) (8 . 38)) 1957 0.4188 13.5999 ((1 . 2) (2 . 4) (7 . 12) (10 . 16)) 1967 0.4987 10.2634 ((5 . 4) (6 . 6) (9 . 11) (10 . 12)) 1987 0.4999 5.6123 ((6 . 8) (7 . 9) (8 . 10) (9 . 11)) 2048 0.1987 14.8833 ((1 . 2) (2 . 3) (5 . 9) (9 . 15)) 2054 0.4200 9.9683 ((5 . 4) (8 . 12) (9 . 15) (10 . 16)) 2067 0.4969 12.7447 ((2 . 49) (5 . 52) (9 . 62) (10 . 64)) 2081 0.1497 17.9187 ((1 . 1) (6 . 11) (8 . 14) (10 . 16)) 2097 0.1987 11.2909 ((1 . 2) (5 . 10) (7 . 15) (9 . 19)) 2114 0.3667 10.8973 ((5 . 33) (7 . 37) (8 . 38) (9 . 39)) 2122 0.4979 11.4968 ((5 . 5) (6 . 7) (7 . 9) (9 . 11)) 2179 0.4968 12.8741 ((2 . 12) (5 . 16) (6 . 19) (7 . 21)) 2233 0.4991 9.3817 ((6 . 6) (7 . 7) (8 . 8) (9 . 9)) 2249 0.4991 9.3518 ((6 . 3) (8 . 8) (9 . 9) (10 . 10)) 2269 0.2907 13.5018 ((1 . 1) (2 . 2) (6 . 9) (7 . 11)) 2279 0.4972 12.4570 ((6 . 12) (7 . 14) (8 . 15) (10 . 21)) 2295 0.4992 9.1579 ((5 . 1) (7 . 3) (8 . 4) (10 . 6)) 2298 0.4993 8.6566 ((2 . 3) (5 . 7) (7 . 11) (10 . 16)) 2308 0.4911 16.7012 ((1 . 2) (2 . 3) (5 . 7) (6 . 10)) 2342 0.4999 4.9978 ((5 . 2) (6 . 3) (8 . 4) (9 . 5)) 2344 0.4964 13.2044 ((1 . 8) (2 . 9) (7 . 21) (8 . 22)) 2364 0.2909 9.4657 ((5 . 6) (7 . 10) (8 . 11) (10 . 16)) 2443 0.4993 8.7479 ((6 . 2) (7 . 8) (8 . 9) (9 . 10)) 2447 0.4989 9.7032 ((1 . 12) (5 . 19) (8 . 26) (9 . 27)) 2465 0.4995 7.8978 ((6 . 5) (8 . 6) (9 . 7) (10 . 8)) 2510 0.2909 10.2098 ((5 . 16) (6 . 18) (8 . 22) (10 . 24)) 2519 0.0999 12.8628 ((2 . 1) (5 . 3) (6 . 4) (8 . 6)) 2533 0.4989 9.8123 ((5 . 3) (6 . 5) (7 . 7) (10 . 11)) 2591 0.6230 8.5905 ((2 . 34) (5 . 36) (6 . 37) (7 . 38) (8 . 39)) 2627 0.4974 12.2382 ((2 . 52) (5 . 53) (6 . 55) (10 . 59)) 2634 0.4995 8.0370 ((2 . 3) (5 . 7) (6 . 8) (8 . 12)) 2682 0.3670 8.5862 ((2 . 6) (5 . 10) (8 . 16) (10 . 18)) 2703 0.3670 7.3345 ((6 . 1) (8 . 3) (9 . 4) (10 . 5)) 2753 0.3667 11.1307 ((6 . 1) (7 . 2) (8 . 3) (9 . 4)) 2947 0.4934 15.4640 ((1 . 5) (2 . 8) (6 . 16) (10 . 19)) 2950 0.4997 7.2683 ((2 . 7) (5 . 8) (7 . 11) (8 . 12)) 2990 0.1332 14.0324 ((1 . 8) (2 . 10) (6 . 17) (7 . 18)) 3014 0.4965 13.1002 ((1 . 12) (2 . 14) (6 . 18) (7 . 19)) 3034 0.2909 10.0992 ((5 . 6) (6 . 8) (7 . 11) (10 . 15)) 3041 0.4940 15.0615 ((2 . 15) (5 . 19) (6 . 20) (10 . 28)) 3084 0.3665 12.3039 ((1 . 4) (2 . 6) (7 . 14) (10 . 18)) 3127 0.1497 10.2196 ((1 . 5) (5 . 12) (6 . 16) (8 . 17)) 3176 0.4993 8.7107 ((1 . 32) (2 . 33) (8 . 37) (10 . 39)) 3197 0.4203 7.9242 ((5 . 22) (6 . 23) (7 . 25) (10 . 29)) 3200 0.3663 13.3660 ((2 . 2) (5 . 8) (7 . 12) (9 . 14)) 3202 0.4936 15.3183 ((5 . 12) (6 . 15) (8 . 20) (10 . 21)) 3261 0.4967 12.9449 ((5 . 5) (8 . 10) (9 . 12) (10 . 11)) 3310 0.4975 12.0686 ((1 . 4) (2 . 5) (5 . 10) (6 . 11)) 3334 0.4193 12.3459 ((6 . 7) (7 . 9) (9 . 11) (10 . 12)) 3339 0.4199 10.4004 ((2 . 10) (5 . 16) (7 . 20) (10 . 24)) 3358 0.4197 11.0231 ((5 . 3) (6 . 5) (7 . 9) (8 . 11)) 3391 0.4988 10.0161 ((1 . 7) (6 . 18) (7 . 19) (8 . 20)) 3410 0.2462 11.4945 ((5 . 20) (6 . 23) (8 . 27) (10 . 29)) 3415 0.1995 11.5069 ((2 . 18) (5 . 21) (6 . 22) (8 . 23) (9 . 24)) 3446 0.4997 7.2807 ((5 . 2) (6 . 4) (7 . 7) (8 . 8)) 3470 0.4996 7.7719 ((5 . 9) (6 . 11) (8 . 12) (9 . 13)) 3495 0.4996 7.4190 ((2 . 5) (6 . 10) (7 . 11) (8 . 13)) 3538 0.3667 11.3680 ((1 . 16) (2 . 17) (5 . 21) (9 . 27)) 3561 0.4987 10.2776 ((5 . 17) (6 . 21) (7 . 23) (10 . 27)) 3585 0.4988 9.9707 ((2 . 15) (5 . 17) (8 . 21) (10 . 22)) 3613 0.4996 7.7922 ((5 . 26) (6 . 27) (8 . 28) (9 . 30)) 3628 0.4990 9.5239 ((1 . 1) (2 . 5) (6 . 11) (9 . 13)) 3651 0.2909 9.5628 ((2 . 2) (5 . 4) (6 . 7) (7 . 10)) 3656 0.4986 10.3826 ((2 . 12) (6 . 20) (7 . 21) (10 . 25)) 3658 0.4978 11.6377 ((5 . 9) (6 . 10) (8 . 13) (10 . 14)) 3661 0.4997 6.9534 ((6 . 17) (8 . 18) (9 . 21) (10 . 22)) 3733 0.4982 11.1405 ((2 . 2) (5 . 5) (6 . 7) (7 . 9)) 3778 0.0999 9.2837 ((1 . 17) (2 . 19) (5 . 21) (6 . 23)) 3787 0.4867 18.5922 ((2 . 20) (5 . 25) (7 . 28) (10 . 32)) 3817 0.2462 11.3651 ((5 . 3) (6 . 6) (7 . 8) (10 . 12)) 3829 0.4990 9.6534 ((2 . 3) (5 . 7) (7 . 11) (8 . 13)) 3830 0.0999 13.2663 ((2 . 1) (5 . 3) (6 . 5) (8 . 6)) 3831 0.2462 10.8581 ((5 . 1) (6 . 4) (8 . 7) (10 . 11)) 3853 0.4992 9.0022 ((5 . 11) (7 . 16) (8 . 19) (9 . 20)) 3870 0.4937 15.2826 ((1 . 6) (2 . 7) (5 . 12) (6 . 14)) 3986 0.4169 16.4135 ((5 . 10) (6 . 16) (7 . 19) (8 . 20)) 4009 0.1987 13.2153 ((1 . 6) (5 . 14) (8 . 18) (9 . 20)) 4011 0.4997 7.0958 ((1 . 1) (2 . 2) (5 . 5) (6 . 6)) 4030 0.6227 8.9556 ((2 . 9) (5 . 11) (6 . 13) (8 . 15) (9 . 17)) 4034 0.2462 12.3264 ((5 . 1) (6 . 3) (8 . 7) (10 . 8)) 4037 0.4997 6.8680 ((2 . 5) (8 . 6) (9 . 7) (10 . 8)) 4062 0.4201 9.2944 ((1 . 33) (2 . 34) (7 . 40) (9 . 44)) 4077 0.4990 9.4942 ((5 . 1) (6 . 4) (7 . 5) (8 . 6)) 4082 0.4202 8.2064 ((7 . 1) (8 . 2) (9 . 3) (10 . 4)) 4115 0.4946 14.6952 ((5 . 4) (6 . 9) (8 . 11) (9 . 12)) 4134 0.4989 9.8754 ((2 . 23) (5 . 25) (6 . 26) (8 . 27)) 4151 0.4196 11.3568 ((7 . 1) (8 . 2) (9 . 4) (10 . 6)) 4195 0.5111 12.5667 ((2 . 10) (5 . 11) (6 . 12) (8 . 13) (10 . 17)) 4204 0.4991 9.2790 ((5 . 2) (6 . 4) (7 . 6) (10 . 10)) 4216 0.6208 10.4110 ((2 . 9) (5 . 10) (6 . 13) (8 . 14) (10 . 16)) 4226 0.2908 12.8817 ((2 . 2) (6 . 10) (7 . 13) (8 . 15)) 4242 0.4997 7.2446 ((7 . 3) (8 . 4) (9 . 5) (10 . 6)) 4254 0.4981 11.3198 ((2 . 2) (5 . 7) (8 . 14) (10 . 16)) 4261 0.4995 8.0691 ((5 . 12) (6 . 14) (8 . 15) (9 . 17)) 4265 0.3665 12.3476 ((5 . 22) (6 . 25) (7 . 27) (10 . 31)) 4266 0.4945 14.7280 ((2 . 7) (6 . 14) (7 . 16) (8 . 18)) 4281 0.4976 11.9902 ((6 . 7) (8 . 9) (9 . 11) (10 . 13)) 4326 0.2462 10.4967 ((6 . 4) (7 . 5) (8 . 6) (10 . 8)) 4352 0.4993 8.7726 ((1 . 7) (2 . 11) (6 . 15) (7 . 16)) 4386 0.4971 12.4835 ((2 . 7) (6 . 11) (7 . 13) (10 . 17)) 4408 0.4954 14.1321 ((2 . 10) (6 . 19) (7 . 20) (8 . 21)) 4470 0.3669 9.2083 ((5 . 6) (7 . 11) (9 . 13) (10 . 15)) 4492 0.4966 13.0540 ((1 . 9) (2 . 10) (6 . 19) (7 . 22)) 4495 0.3661 13.9544 ((1 . 5) (2 . 7) (6 . 13) (7 . 15)) 4502 0.1987 9.9456 ((1 . 2) (2 . 3) (5 . 7) (7 . 13)) 4505 0.2462 6.7161 ((5 . 27) (7 . 31) (8 . 33) (10 . 35)) 4516 0.4950 14.4254 ((1 . 9) (5 . 15) (6 . 19) (9 . 23)) 4563 0.4977 11.8620 ((1 . 25) (5 . 30) (6 . 33) (10 . 37)) 4579 0.4997 7.2035 ((2 . 3) (5 . 26) (6 . 27) (10 . 28)) 4589 0.4982 11.0446 ((2 . 17) (5 . 20) (6 . 21) (8 . 24)) 4607 0.4993 8.7708 ((5 . 13) (6 . 17) (8 . 18) (9 . 19)) 4621 0.2461 13.3534 ((5 . 1) (6 . 2) (7 . 5) (10 . 10)) 4668 0.1987 8.3618 ((5 . 2) (7 . 6) (8 . 8) (10 . 10)) 4699 0.4998 6.7370 ((5 . 8) (6 . 10) (8 . 11) (9 . 12)) 4715 0.3667 11.5500 ((5 . 1) (6 . 2) (7 . 4) (10 . 7)) 4716 0.4992 8.9677 ((6 . 3) (8 . 4) (9 . 5) (10 . 6)) 4764 0.4203 7.1709 ((7 . 3) (8 . 4) (9 . 5) (10 . 6)) 4783 0.4996 7.6656 ((2 . 1) (5 . 2) (8 . 6) (9 . 7)) 4817 0.4999 5.8461 ((5 . 7) (6 . 9) (8 . 11) (9 . 13)) 4857 0.4194 11.9842 ((1 . 4) (6 . 14) (7 . 15) (8 . 16)) 4886 0.2449 25.2402 ((1 . 3) (5 . 8) (8 . 14) (9 . 15)) 4888 0.4972 12.3979 ((5 . 2) (7 . 5) (8 . 6) (10 . 10)) 4889 0.4995 8.0293 ((5 . 9) (8 . 18) (9 . 19) (10 . 20)) 4963 0.1598 7.8266 ((2 . 2) (5 . 5) (7 . 7) (8 . 8) (10 . 10)) 4978 0.4996 7.6753 ((2 . 20) (5 . 26) (6 . 27) (9 . 29)) 4998 0.4189 13.3772 ((5 . 24) (7 . 27) (8 . 28) (9 . 30)) 5000 0.6239 7.4294 ((2 . 30) (5 . 33) (6 . 35) (8 . 36) (9 . 37)) 5016 1.0000 0.0000 ((1 . 1) (2 . 2) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10)) 5039 0.3669 9.5632 ((5 . 36) (6 . 38) (7 . 40) (10 . 43)) 5068 0.2909 11.6711 ((2 . 19) (5 . 25) (6 . 26) (7 . 28)) 5069 0.0999 10.9900 ((2 . 1) (5 . 3) (6 . 8) (9 . 14)) 5073 0.4984 10.8086 ((5 . 35) (6 . 38) (9 . 41) (10 . 43)) 5080 0.4979 11.5370 ((2 . 1) (7 . 9) (8 . 11) (10 . 13)) 5092 0.4998 6.2576 ((2 . 13) (6 . 16) (7 . 18) (8 . 19)) 5101 0.1987 9.4281 ((5 . 17) (7 . 20) (8 . 22) (10 . 24)) 5103 0.4975 12.0442 ((5 . 5) (6 . 8) (8 . 11) (9 . 12)) 5132 0.3669 9.7772 ((5 . 14) (6 . 17) (7 . 19) (10 . 23)) 5134 0.4992 8.9207 ((1 . 1) (2 . 5) (6 . 7) (9 . 15)) 5167 0.4981 11.1883 ((2 . 2) (5 . 6) (7 . 7) (10 . 10)) 5192 0.4986 10.3793 ((1 . 15) (2 . 16) (7 . 25) (8 . 27)) 5212 0.4995 8.2414 ((2 . 9) (5 . 14) (6 . 15) (8 . 16)) 5215 0.1987 14.1438 ((1 . 6) (2 . 8) (5 . 13) (8 . 17)) 5223 0.4201 9.1859 ((5 . 2) (7 . 7) (8 . 9) (10 . 11)) 5266 0.4990 9.6377 ((5 . 1) (6 . 3) (7 . 5) (10 . 9)) 5285 0.4997 7.2368 ((2 . 1) (8 . 3) (9 . 4) (10 . 5)) 5318 0.4980 11.3773 ((2 . 9) (5 . 14) (6 . 16) (10 . 17)) 5323 0.3669 9.2685 ((2 . 3) (5 . 8) (9 . 15) (10 . 16)) 5324 0.4183 14.4135 ((5 . 2) (6 . 4) (7 . 6) (10 . 11)) 5442 0.4993 8.8472 ((5 . 31) (6 . 32) (8 . 33) (9 . 34)) 5487 0.2909 10.3449 ((6 . 3) (7 . 5) (8 . 8) (10 . 10)) 5501 0.4987 10.1357 ((1 . 21) (2 . 22) (7 . 32) (9 . 34)) 5525 0.4933 15.5403 ((1 . 2) (5 . 9) (6 . 11) (8 . 12)) 5560 0.4973 12.2624 ((2 . 10) (5 . 14) (7 . 18) (10 . 21)) 5562 0.4998 6.0296 ((5 . 9) (7 . 12) (8 . 13) (10 . 15)) 5594 0.4963 13.3755 ((5 . 2) (6 . 5) (7 . 7) (9 . 10)) 5601 0.2462 11.5370 ((5 . 4) (6 . 6) (7 . 9) (8 . 11)) 5648 0.4999 5.8931 ((2 . 4) (5 . 5) (6 . 7) (8 . 8)) 5656 0.2908 11.7782 ((2 . 15) (8 . 25) (9 . 26) (10 . 28)) 5689 0.4998 6.1950 ((6 . 4) (7 . 7) (8 . 8) (9 . 9)) 5701 0.1661 13.6634 ((5 . 7) (6 . 10) (8 . 13) (10 . 15)) 5702 0.4999 5.2043 ((6 . 13) (7 . 14) (8 . 15) (9 . 16)) 5704 0.4995 8.2233 ((5 . 3) (6 . 4) (8 . 5) (9 . 6)) 5770 0.3668 10.0446 ((2 . 5) (5 . 10) (8 . 19) (10 . 21)) 5771 0.4960 13.5713 ((2 . 6) (5 . 10) (8 . 16) (10 . 19)) 5782 0.4198 10.4700 ((5 . 31) (6 . 33) (7 . 36) (8 . 38)) 5795 0.4985 10.6305 ((2 . 3) (6 . 11) (7 . 12) (9 . 15)) 5827 0.4986 10.5088 ((2 . 12) (6 . 18) (7 . 20) (8 . 22)) 5878 0.4988 9.9588 ((2 . 13) (6 . 22) (7 . 24) (10 . 31)) 5904 0.4905 17.0073 ((5 . 3) (6 . 5) (7 . 6) (10 . 10)) 5913 0.4200 9.8772 ((5 . 8) (6 . 11) (7 . 12) (8 . 14)) 5939 0.1987 10.2216 ((1 . 3) (2 . 5) (5 . 12) (7 . 15)) 5945 0.4963 13.3594 ((2 . 29) (6 . 35) (7 . 36) (9 . 39)) 5949 0.4975 12.0994 ((6 . 8) (8 . 11) (9 . 13) (10 . 15)) 5955 0.1987 13.0472 ((5 . 8) (6 . 12) (7 . 13) (10 . 18)) 6000 0.4974 12.1454 ((2 . 2) (5 . 5) (6 . 6) (7 . 7)) 6029 0.4995 8.0992 ((2 . 25) (5 . 28) (7 . 32) (10 . 36)) 6033 0.4997 6.8228 ((5 . 3) (6 . 5) (8 . 7) (9 . 9)) 6041 0.2462 10.1035 ((5 . 3) (6 . 4) (7 . 5) (10 . 9)) 6074 0.4992 9.0022 ((2 . 1) (5 . 5) (6 . 7) (9 . 10)) 6075 0.4984 10.7719 ((1 . 18) (2 . 19) (5 . 23) (6 . 29)) 6079 0.4924 16.0670 ((2 . 12) (5 . 17) (6 . 19) (8 . 22)) 6087 0.4992 8.9357 ((2 . 2) (5 . 4) (7 . 9) (8 . 11)) 6089 0.2462 9.9177 ((5 . 22) (7 . 26) (8 . 30) (10 . 32)) 6099 0.2909 10.2586 ((5 . 15) (6 . 19) (7 . 20) (8 . 21)) 6169 0.4998 6.3943 ((6 . 4) (7 . 7) (8 . 8) (9 . 9)) 6192 0.1987 11.4126 ((6 . 2) (7 . 4) (9 . 7) (10 . 9)) 6228 0.4976 11.9174 ((5 . 2) (6 . 4) (7 . 6) (9 . 8)) 6243 0.2906 15.1682 ((2 . 1) (6 . 7) (8 . 9) (10 . 11)) 6261 0.2907 13.4293 ((5 . 2) (6 . 7) (7 . 10) (10 . 14)) 6268 0.4994 8.3841 ((7 . 10) (8 . 11) (9 . 12) (10 . 13)) 6294 0.4968 12.8809 ((2 . 7) (5 . 12) (7 . 19) (8 . 21)) 6329 0.4993 8.7065 ((6 . 2) (7 . 3) (8 . 4) (9 . 5)) 6348 0.2908 11.7618 ((1 . 2) (2 . 3) (6 . 10) (8 . 13)) 6356 0.4985 10.6798 ((2 . 3) (5 . 8) (7 . 12) (8 . 14)) 6359 0.0999 8.0590 ((5 . 1) (6 . 2) (8 . 4) (9 . 5)) 6369 0.1987 6.4269 ((5 . 23) (7 . 27) (8 . 28) (10 . 30)) 6384 0.3667 11.1234 ((5 . 2) (7 . 4) (8 . 5) (9 . 6)) 6461 0.3667 11.4715 ((6 . 1) (7 . 2) (8 . 4) (10 . 5)) 6462 0.3663 13.3745 ((1 . 7) (5 . 11) (6 . 14) (7 . 15)) 6498 0.4995 7.8905 ((2 . 14) (6 . 22) (7 . 23) (8 . 26)) 6506 0.4972 12.4673 ((5 . 17) (6 . 18) (8 . 21) (10 . 23)) 6520 0.3655 15.8212 ((2 . 11) (6 . 18) (7 . 21) (10 . 23)) 6536 0.4996 7.6595 ((5 . 21) (6 . 22) (8 . 24) (9 . 25)) 6548 0.4526 9.2613 ((5 . 6) (7 . 10) (8 . 14) (10 . 15)) 6586 0.4987 10.1831 ((5 . 16) (6 . 17) (7 . 19) (10 . 23)) 6605 0.4995 8.1685 ((6 . 1) (7 . 2) (8 . 3) (9 . 4)) 6613 0.2462 9.0847 ((1 . 11) (5 . 19) (7 . 23) (10 . 25)) 6622 0.2909 10.0579 ((1 . 4) (5 . 10) (6 . 11) (7 . 12)) END