5231 25 0.3669 9.4045 ((9 . 2) (14 . 6) (16 . 7) (17 . 9)) 51 0.4985 10.6383 ((9 . 4) (12 . 6) (13 . 7) (14 . 10)) 62 0.4999 5.4451 ((8 . 10) (12 . 12) (13 . 13) (16 . 16)) 64 0.6249 3.4505 ((8 . 10) (13 . 13) (14 . 14) (16 . 15) (17 . 16)) 77 0.4968 12.8901 ((9 . 10) (15 . 12) (16 . 13) (17 . 16)) 91 0.4996 7.3658 ((8 . 16) (9 . 18) (14 . 21) (15 . 22)) 96 0.4204 6.4064 ((8 . 3) (9 . 4) (12 . 5) (13 . 6)) 129 0.5000 4.4876 ((12 . 3) (13 . 5) (14 . 8) (16 . 9)) 136 0.4996 7.4535 ((8 . 3) (13 . 5) (15 . 6) (16 . 8)) 150 0.1497 8.2017 ((9 . 18) (13 . 19) (14 . 20) (16 . 23)) 153 0.4998 6.0719 ((8 . 7) (12 . 8) (13 . 9) (14 . 10)) 155 0.4924 16.0421 ((8 . 2) (12 . 3) (15 . 6) (17 . 7)) 157 0.4999 5.4661 ((9 . 10) (12 . 11) (14 . 14) (15 . 15)) 161 0.5930 4.8679 ((12 . 3) (13 . 4) (14 . 6) (15 . 7) (16 . 8)) 162 0.1987 6.6960 ((8 . 17) (9 . 16) (12 . 18) (16 . 22)) 169 0.4998 5.9783 ((8 . 4) (13 . 7) (14 . 8) (16 . 9)) 177 0.4997 7.2968 ((8 . 1) (12 . 3) (13 . 4) (14 . 5)) 191 0.4999 5.0457 ((8 . 6) (12 . 7) (13 . 8) (14 . 9)) 198 0.4995 8.2281 ((8 . 12) (12 . 14) (13 . 16) (14 . 17)) 207 0.2462 10.0091 ((9 . 6) (12 . 7) (13 . 8) (17 . 12)) 233 0.1987 7.4916 ((8 . 1) (12 . 2) (13 . 3) (16 . 7)) 300 0.4989 9.8299 ((8 . 7) (13 . 9) (14 . 10) (15 . 11)) 305 0.4997 7.0384 ((9 . 20) (14 . 21) (16 . 22) (17 . 25)) 307 0.4992 9.1594 ((8 . 3) (13 . 7) (15 . 8) (17 . 10)) 315 0.4996 7.4179 ((8 . 5) (12 . 6) (13 . 8) (14 . 9)) 329 0.2462 8.6298 ((9 . 1) (13 . 4) (14 . 5) (17 . 8)) 340 0.5929 5.7588 ((12 . 1) (13 . 2) (14 . 4) (15 . 5) (16 . 7)) 350 0.5000 4.1862 ((8 . 1) (12 . 4) (13 . 5) (14 . 7)) 360 0.7477 7.1180 ((8 . 6) (12 . 7) (13 . 8) (14 . 9) (16 . 10) (17 . 13)) 361 0.4988 10.0748 ((12 . 1) (13 . 2) (15 . 3) (16 . 4)) 365 0.6243 6.5372 ((12 . 2) (13 . 3) (14 . 4) (16 . 6) (17 . 7)) 367 0.4999 4.9573 ((8 . 38) (12 . 40) (13 . 42) (16 . 44)) 372 0.4997 6.9807 ((8 . 5) (12 . 7) (13 . 10) (14 . 11)) 417 0.4200 9.4556 ((8 . 5) (9 . 6) (12 . 7) (16 . 9)) 420 0.4999 5.1549 ((8 . 1) (12 . 2) (13 . 3) (14 . 4)) 433 0.4998 6.2178 ((8 . 6) (12 . 7) (14 . 9) (16 . 10)) 442 0.4962 13.4079 ((8 . 12) (13 . 14) (15 . 15) (17 . 17)) 460 0.5000 3.4045 ((12 . 6) (13 . 7) (14 . 8) (15 . 9)) 472 0.4964 13.2866 ((8 . 20) (12 . 21) (13 . 22) (15 . 23)) 491 0.2462 9.0695 ((8 . 1) (9 . 2) (15 . 5) (16 . 6)) 495 0.5000 3.4300 ((13 . 8) (14 . 9) (15 . 10) (16 . 11)) 541 0.4203 7.5249 ((9 . 1) (13 . 2) (14 . 3) (15 . 4)) 543 0.4999 5.9328 ((8 . 6) (12 . 8) (13 . 10) (17 . 14)) 553 0.2462 10.0597 ((8 . 12) (9 . 14) (15 . 15) (17 . 20)) 561 0.4999 4.7094 ((8 . 1) (13 . 3) (14 . 4) (15 . 5)) 584 0.4996 7.6787 ((9 . 2) (12 . 3) (13 . 4) (14 . 5)) 587 0.6250 3.3557 ((8 . 11) (13 . 14) (14 . 15) (16 . 16) (17 . 17)) 609 0.4996 7.4079 ((8 . 1) (13 . 3) (15 . 5) (16 . 6)) 619 0.4997 6.7828 ((8 . 11) (12 . 12) (14 . 15) (15 . 17)) 624 0.4999 5.1827 ((8 . 20) (12 . 22) (14 . 24) (15 . 25)) 635 0.4999 5.2000 ((12 . 13) (13 . 14) (14 . 15) (15 . 17)) 672 0.4531 5.5598 ((8 . 20) (13 . 22) (14 . 23) (16 . 24)) 678 0.5000 4.3552 ((8 . 24) (13 . 26) (16 . 29) (17 . 30)) 683 0.5000 4.4862 ((12 . 1) (13 . 2) (14 . 3) (16 . 5)) 719 0.5000 3.8489 ((8 . 22) (12 . 23) (14 . 25) (16 . 27)) 729 0.4999 5.7741 ((8 . 15) (13 . 17) (14 . 20) (17 . 21)) 735 0.4999 5.8898 ((8 . 32) (12 . 33) (13 . 36) (14 . 37)) 740 0.4999 5.7095 ((12 . 2) (13 . 3) (14 . 4) (16 . 7)) 767 0.2910 7.3786 ((9 . 27) (13 . 29) (14 . 31) (16 . 32)) 795 0.4999 4.9443 ((8 . 3) (9 . 4) (13 . 5) (14 . 6)) 796 0.4998 6.3202 ((8 . 5) (9 . 4) (12 . 6) (15 . 7)) 801 0.4999 5.6727 ((12 . 2) (13 . 4) (14 . 5) (16 . 7)) 812 0.2462 8.1202 ((13 . 8) (14 . 9) (16 . 11) (17 . 12)) 818 0.4994 8.3838 ((8 . 7) (13 . 10) (15 . 11) (16 . 12)) 819 0.5000 3.4157 ((13 . 8) (14 . 9) (16 . 10) (17 . 11)) 824 0.4999 4.9930 ((12 . 49) (13 . 50) (14 . 51) (16 . 53)) 834 0.1332 12.0254 ((8 . 32) (9 . 34) (12 . 33) (15 . 36)) 861 0.6236 7.9278 ((9 . 14) (12 . 15) (13 . 16) (14 . 17) (16 . 18)) 901 0.4994 8.4328 ((8 . 5) (13 . 7) (15 . 8) (16 . 9)) 904 0.4530 6.5111 ((8 . 3) (9 . 4) (13 . 6) (14 . 7)) 913 0.2910 7.8733 ((9 . 15) (13 . 16) (14 . 17) (15 . 18)) 928 0.4995 8.2207 ((8 . 3) (13 . 5) (16 . 8) (17 . 9)) 937 0.4204 4.9512 ((8 . 1) (9 . 2) (13 . 4) (15 . 6)) 943 0.4998 6.2143 ((8 . 12) (9 . 13) (13 . 14) (14 . 15)) 945 0.1497 8.1183 ((8 . 14) (9 . 16) (13 . 17) (14 . 19)) 949 0.4996 7.7527 ((8 . 27) (13 . 30) (14 . 32) (17 . 33)) 960 0.2462 6.9527 ((13 . 1) (14 . 2) (16 . 4) (17 . 5)) 980 0.2910 7.7616 ((8 . 5) (13 . 7) (15 . 8) (17 . 10)) 1005 0.3665 12.2679 ((8 . 2) (9 . 4) (15 . 6) (17 . 8)) 1007 0.4999 4.8321 ((12 . 11) (13 . 12) (14 . 13) (16 . 14)) 1008 0.4992 9.0289 ((9 . 1) (13 . 3) (14 . 5) (16 . 8)) 1034 0.4994 8.3326 ((9 . 19) (13 . 21) (14 . 22) (15 . 23)) 1043 0.4999 5.6236 ((13 . 12) (14 . 14) (15 . 15) (16 . 17)) 1082 0.4996 7.5037 ((9 . 32) (14 . 36) (16 . 37) (17 . 38)) 1084 0.4952 14.2388 ((9 . 5) (13 . 8) (14 . 9) (17 . 15)) 1121 0.4998 6.2991 ((8 . 2) (12 . 3) (13 . 4) (14 . 6)) 1165 0.5000 4.4385 ((12 . 2) (13 . 3) (14 . 7) (17 . 23)) 1167 0.4996 7.6652 ((9 . 19) (13 . 21) (14 . 22) (17 . 24)) 1169 0.6246 5.7405 ((8 . 29) (12 . 30) (13 . 31) (14 . 32) (16 . 35)) 1195 0.4999 4.7158 ((8 . 2) (12 . 4) (13 . 5) (14 . 6)) 1201 0.4999 5.5687 ((8 . 7) (9 . 8) (13 . 9) (14 . 11)) 1204 0.4996 7.4835 ((9 . 2) (12 . 3) (14 . 5) (17 . 8)) 1211 0.6239 7.3397 ((8 . 8) (12 . 9) (13 . 10) (14 . 11) (16 . 14)) 1217 0.4998 6.0844 ((13 . 3) (14 . 5) (16 . 7) (17 . 8)) 1224 0.5000 4.2832 ((8 . 5) (12 . 6) (13 . 7) (16 . 10)) 1233 0.4997 6.8591 ((8 . 20) (13 . 22) (14 . 23) (16 . 24)) 1267 0.4996 7.4811 ((8 . 15) (13 . 17) (15 . 18) (16 . 19)) 1268 0.4203 7.7717 ((9 . 19) (14 . 22) (16 . 25) (17 . 26)) 1294 0.4999 5.7174 ((8 . 43) (12 . 44) (13 . 46) (14 . 47)) 1345 0.4988 10.0761 ((9 . 6) (12 . 7) (14 . 9) (17 . 10)) 1366 0.4997 7.0512 ((9 . 13) (13 . 15) (14 . 16) (16 . 17)) 1388 0.6232 8.3669 ((8 . 1) (13 . 4) (14 . 5) (15 . 6) (17 . 7)) 1410 0.6244 6.2758 ((8 . 19) (12 . 21) (13 . 22) (14 . 23) (16 . 25)) 1425 0.4998 6.2551 ((12 . 3) (13 . 4) (15 . 7) (16 . 8)) 1435 0.4992 9.1197 ((8 . 5) (12 . 6) (15 . 9) (16 . 11)) 1447 0.4190 13.1609 ((9 . 2) (14 . 5) (15 . 6) (17 . 8)) 1451 0.4998 6.0787 ((8 . 1) (13 . 3) (14 . 4) (16 . 5)) 1464 0.4999 4.5701 ((13 . 8) (14 . 10) (15 . 12) (16 . 13)) 1472 0.4499 14.6401 ((9 . 3) (14 . 7) (15 . 5) (17 . 10)) 1476 0.4993 8.7599 ((9 . 10) (14 . 11) (15 . 13) (17 . 16)) 1481 0.4999 4.7381 ((8 . 1) (12 . 2) (14 . 4) (17 . 8)) 1501 0.6247 5.4936 ((8 . 1) (12 . 2) (13 . 3) (14 . 4) (16 . 6)) 1508 0.4195 11.7480 ((9 . 1) (14 . 2) (15 . 3) (17 . 6)) 1513 0.4996 7.6202 ((8 . 11) (9 . 12) (13 . 13) (17 . 16)) 1514 0.5000 4.4990 ((8 . 1) (13 . 3) (14 . 4) (15 . 5)) 1577 0.4996 7.4372 ((8 . 3) (12 . 4) (13 . 5) (17 . 9)) 1591 0.1987 10.3103 ((8 . 4) (9 . 5) (13 . 6) (17 . 7)) 1595 0.4530 6.4614 ((9 . 6) (13 . 7) (14 . 8) (15 . 9)) 1604 0.4202 8.2121 ((12 . 1) (13 . 3) (15 . 6) (16 . 7)) 1624 0.4528 8.4835 ((8 . 3) (13 . 7) (14 . 8) (17 . 11)) 1643 0.5000 3.6680 ((12 . 26) (13 . 27) (14 . 28) (16 . 31)) 1644 0.4999 5.0259 ((8 . 47) (12 . 50) (13 . 51) (14 . 52)) 1690 0.6245 6.0731 ((8 . 16) (12 . 19) (14 . 20) (15 . 23) (16 . 24)) 1692 0.4999 5.6954 ((8 . 5) (12 . 7) (14 . 8) (16 . 9)) 1731 0.3655 15.9745 ((8 . 6) (13 . 8) (15 . 9) (17 . 10)) 1736 0.4995 8.0038 ((8 . 3) (9 . 4) (12 . 5) (15 . 6)) 1738 0.2910 8.4459 ((9 . 10) (13 . 13) (14 . 14) (15 . 15)) 1747 0.4999 4.8092 ((12 . 15) (13 . 16) (14 . 18) (16 . 19)) 1756 0.5000 4.1785 ((8 . 21) (12 . 23) (13 . 25) (14 . 26)) 1759 0.4999 4.8628 ((8 . 4) (12 . 5) (13 . 6) (14 . 8)) 1761 0.6247 5.2088 ((12 . 1) (13 . 2) (14 . 3) (16 . 5) (17 . 6)) 1763 0.4527 8.9694 ((8 . 3) (9 . 4) (14 . 7) (16 . 9)) 1776 0.4998 6.7031 ((12 . 16) (14 . 20) (15 . 21) (16 . 23)) 1777 0.4997 7.2070 ((12 . 47) (13 . 49) (14 . 50) (16 . 52)) 1778 0.4999 5.2019 ((8 . 1) (12 . 2) (13 . 3) (14 . 4)) 1793 0.4996 7.6109 ((8 . 6) (13 . 8) (15 . 9) (16 . 10)) 1805 0.6249 3.6137 ((8 . 12) (13 . 15) (14 . 16) (16 . 17) (17 . 18)) 1808 0.4999 4.9236 ((8 . 5) (12 . 6) (13 . 8) (14 . 9)) 1817 0.5000 4.1338 ((12 . 18) (13 . 19) (14 . 20) (15 . 21)) 1867 0.4997 6.8308 ((12 . 3) (13 . 6) (14 . 7) (15 . 8)) 1894 0.4971 12.5418 ((9 . 1) (15 . 6) (16 . 7) (17 . 8)) 1896 0.4998 6.0530 ((13 . 23) (14 . 24) (16 . 27) (17 . 28)) 1897 0.4955 14.0348 ((12 . 32) (13 . 34) (15 . 36) (17 . 37)) 1908 0.4970 12.6360 ((9 . 6) (15 . 9) (16 . 10) (17 . 14)) 1909 0.4994 8.3207 ((8 . 34) (9 . 36) (13 . 37) (15 . 38)) 1913 0.4999 5.3385 ((8 . 9) (12 . 10) (13 . 12) (16 . 17)) 1944 0.4995 8.1809 ((8 . 7) (13 . 9) (15 . 12) (16 . 13)) 1957 0.4188 13.5830 ((9 . 10) (14 . 13) (15 . 14) (17 . 16)) 1961 0.1987 6.0170 ((9 . 13) (12 . 14) (13 . 15) (14 . 16)) 1967 0.2910 7.2314 ((8 . 7) (14 . 13) (16 . 14) (17 . 15)) 1992 0.4997 7.3155 ((8 . 9) (9 . 10) (15 . 13) (16 . 14)) 1995 0.4999 4.8971 ((8 . 8) (12 . 11) (13 . 12) (14 . 13)) 2003 0.4998 6.0510 ((12 . 8) (13 . 9) (14 . 10) (16 . 11)) 2006 0.5000 3.9945 ((12 . 1) (13 . 2) (14 . 4) (16 . 5)) 2045 0.3670 7.2864 ((8 . 1) (12 . 2) (14 . 3) (16 . 8)) 2048 0.2462 11.8488 ((9 . 10) (14 . 13) (15 . 14) (16 . 16)) 2054 0.3667 11.1977 ((8 . 1) (12 . 2) (15 . 9) (17 . 10)) 2063 0.4999 5.2826 ((8 . 42) (12 . 43) (13 . 44) (16 . 47)) 2065 0.4528 8.2896 ((9 . 15) (12 . 17) (13 . 18) (14 . 19)) 2067 0.4996 7.7721 ((8 . 55) (12 . 57) (13 . 60) (17 . 62)) 2072 0.4990 9.4713 ((8 . 1) (12 . 2) (14 . 4) (17 . 8)) 2081 0.4995 7.9548 ((9 . 18) (12 . 19) (13 . 20) (14 . 21)) 2083 0.4995 7.9680 ((8 . 4) (9 . 6) (13 . 7) (15 . 11)) 2097 0.4999 4.7881 ((13 . 5) (14 . 14) (15 . 15) (16 . 16)) 2114 0.4993 8.6411 ((8 . 32) (12 . 34) (13 . 36) (15 . 37)) 2116 0.4999 5.3038 ((12 . 5) (13 . 6) (14 . 7) (16 . 8)) 2117 0.4999 4.8989 ((8 . 12) (14 . 16) (16 . 20) (17 . 21)) 2118 0.4992 9.0866 ((12 . 1) (13 . 4) (14 . 5) (17 . 6)) 2122 0.4998 6.2480 ((8 . 14) (12 . 15) (14 . 18) (16 . 22)) 2166 0.4997 7.1578 ((9 . 14) (13 . 17) (15 . 18) (17 . 22)) 2179 0.1987 6.7416 ((9 . 16) (15 . 19) (16 . 20) (17 . 21)) 2196 0.4999 4.9415 ((8 . 16) (12 . 17) (13 . 18) (14 . 19)) 2203 0.2462 9.2472 ((9 . 3) (12 . 6) (15 . 8) (16 . 10)) 2205 0.2910 6.5047 ((8 . 18) (12 . 21) (14 . 23) (15 . 24)) 2209 0.4998 6.0803 ((8 . 5) (12 . 6) (13 . 7) (16 . 9)) 2220 0.4996 7.6791 ((12 . 2) (13 . 3) (14 . 4) (16 . 7)) 2243 0.4999 4.9020 ((8 . 42) (12 . 44) (13 . 45) (17 . 48)) 2244 0.4999 4.8501 ((8 . 74) (12 . 75) (13 . 76) (16 . 78)) 2249 0.4994 8.5986 ((9 . 14) (12 . 18) (14 . 20) (16 . 23)) 2269 0.4526 9.3136 ((9 . 9) (12 . 10) (14 . 12) (17 . 13)) 2279 0.4992 9.1771 ((8 . 5) (13 . 9) (16 . 11) (17 . 14)) 2298 0.4992 9.0546 ((9 . 3) (12 . 4) (14 . 6) (17 . 7)) 2308 0.4984 10.7861 ((8 . 5) (9 . 7) (14 . 8) (17 . 10)) 2340 0.4997 6.9693 ((8 . 9) (13 . 11) (15 . 12) (16 . 14)) 2344 0.4999 5.9521 ((8 . 1) (12 . 3) (16 . 7) (17 . 8)) 2364 0.2910 8.2301 ((9 . 1) (13 . 4) (14 . 5) (17 . 8)) 2381 0.4999 5.6218 ((9 . 2) (13 . 4) (14 . 5) (17 . 8)) 2389 0.6241 6.9949 ((8 . 6) (12 . 7) (13 . 8) (14 . 9) (17 . 12)) 2408 0.4998 6.5975 ((8 . 42) (12 . 45) (13 . 46) (14 . 47)) 2409 0.3664 12.7975 ((8 . 4) (12 . 6) (14 . 8) (17 . 11)) 2410 0.2910 8.3786 ((9 . 12) (14 . 13) (15 . 14) (16 . 16)) 2422 0.4996 7.4443 ((8 . 4) (12 . 7) (13 . 8) (15 . 10)) 2423 0.4999 5.6878 ((13 . 20) (14 . 21) (16 . 22) (17 . 23)) 2447 0.4994 8.2872 ((8 . 30) (13 . 33) (15 . 35) (16 . 36)) 2462 0.4998 6.6866 ((8 . 6) (12 . 7) (14 . 11) (16 . 12)) 2510 0.4997 6.7785 ((8 . 17) (12 . 19) (13 . 21) (15 . 22)) 2525 0.4999 5.1785 ((8 . 45) (13 . 47) (14 . 48) (17 . 52)) 2529 0.5000 4.3427 ((8 . 1) (13 . 3) (14 . 5) (16 . 6)) 2533 0.2909 9.2049 ((9 . 3) (13 . 4) (14 . 6) (17 . 7)) 2551 0.4196 11.3576 ((8 . 9) (9 . 10) (12 . 12) (14 . 14)) 2552 0.4958 13.7676 ((9 . 2) (14 . 3) (15 . 4) (17 . 6)) 2556 0.4997 6.9316 ((8 . 11) (13 . 13) (15 . 17) (16 . 18)) 2557 0.4999 5.5935 ((8 . 3) (9 . 4) (13 . 6) (14 . 7)) 2561 0.4995 8.0876 ((12 . 6) (13 . 7) (14 . 8) (16 . 9)) 2595 0.4995 7.9755 ((8 . 6) (9 . 7) (13 . 9) (16 . 11)) 2619 0.4203 6.8685 ((8 . 2) (12 . 3) (14 . 5) (17 . 6)) 2627 0.4198 10.8529 ((9 . 59) (14 . 64) (15 . 62) (16 . 65)) 2650 0.4997 6.8482 ((8 . 1) (12 . 2) (14 . 5) (16 . 6)) 2658 0.4196 11.4902 ((8 . 10) (9 . 11) (12 . 13) (14 . 14)) 2675 0.4999 4.9886 ((8 . 3) (12 . 4) (14 . 8) (16 . 10)) 2682 0.2910 7.6783 ((8 . 1) (13 . 3) (15 . 4) (17 . 6)) 2696 0.6247 5.3072 ((9 . 33) (12 . 34) (13 . 35) (14 . 36) (16 . 37)) 2731 0.4999 5.6920 ((8 . 1) (13 . 4) (14 . 5) (15 . 6)) 2733 0.4201 9.2685 ((8 . 4) (9 . 6) (13 . 8) (17 . 12)) 2773 0.4998 6.2439 ((8 . 3) (13 . 5) (14 . 6) (17 . 7)) 2783 0.4998 6.5722 ((12 . 6) (13 . 7) (14 . 8) (15 . 9)) 2804 0.4997 7.0807 ((8 . 34) (12 . 36) (15 . 37) (16 . 38)) 2821 0.4993 8.7218 ((8 . 1) (12 . 2) (13 . 4) (14 . 5)) 2830 0.4994 8.3448 ((8 . 5) (9 . 6) (13 . 7) (17 . 12)) 2834 0.4998 6.6555 ((8 . 3) (12 . 5) (13 . 6) (16 . 8)) 2840 0.1662 8.3165 ((9 . 3) (12 . 6) (14 . 8) (16 . 11)) 2842 0.4998 6.4133 ((8 . 1) (13 . 4) (14 . 5) (17 . 7)) 2867 0.3669 9.1087 ((8 . 7) (12 . 8) (15 . 11) (16 . 12)) 2879 0.4999 4.8582 ((13 . 52) (14 . 53) (16 . 54) (17 . 55)) 2886 0.4999 5.6241 ((8 . 38) (12 . 39) (13 . 41) (16 . 44)) 2929 0.1662 5.8670 ((8 . 36) (9 . 37) (13 . 39) (14 . 40)) 2940 0.4996 7.5151 ((12 . 4) (13 . 5) (14 . 6) (17 . 9)) 2947 0.4999 5.0254 ((8 . 4) (9 . 5) (13 . 6) (14 . 7)) 2966 0.4998 6.4540 ((8 . 3) (12 . 4) (13 . 6) (14 . 8)) 2990 0.4984 10.7466 ((8 . 14) (12 . 15) (13 . 16) (15 . 18)) 2999 0.3669 9.2257 ((8 . 2) (9 . 1) (13 . 4) (15 . 5)) 3014 0.2462 11.3992 ((9 . 31) (12 . 32) (13 . 33) (14 . 34)) 3019 0.4998 6.4185 ((8 . 9) (15 . 13) (16 . 14) (17 . 15)) 3041 0.4998 6.6794 ((8 . 29) (12 . 30) (14 . 32) (16 . 33)) 3055 0.4999 4.8571 ((8 . 16) (12 . 19) (13 . 20) (14 . 21)) 3063 0.4999 5.8547 ((8 . 35) (12 . 37) (13 . 38) (14 . 39)) 3070 0.2910 6.5217 ((9 . 34) (13 . 35) (14 . 36) (15 . 37)) 3084 0.4990 9.6792 ((8 . 5) (13 . 7) (15 . 8) (17 . 12)) 3102 0.6246 5.9321 ((8 . 71) (12 . 72) (14 . 74) (16 . 77) (17 . 78)) 3103 0.4201 8.8403 ((12 . 2) (13 . 3) (14 . 5) (15 . 6)) 3114 0.4992 9.0513 ((8 . 24) (12 . 25) (14 . 29) (15 . 28)) 3120 0.4200 9.8739 ((13 . 21) (14 . 22) (15 . 23) (17 . 24)) 3127 0.4996 7.4096 ((13 . 3) (14 . 4) (15 . 5) (16 . 6)) 3147 0.6243 6.6534 ((8 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 7)) 3176 0.1987 4.5639 ((12 . 26) (13 . 27) (14 . 29) (15 . 30)) 3187 0.7487 6.1408 ((8 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 7) (17 . 8)) 3197 0.4998 6.0568 ((9 . 22) (12 . 24) (14 . 26) (17 . 29)) 3200 0.4998 6.3454 ((12 . 3) (13 . 4) (16 . 6) (17 . 8)) 3202 0.4947 14.5915 ((8 . 19) (9 . 20) (15 . 21) (17 . 23)) 3212 0.2910 7.6529 ((9 . 1) (13 . 3) (14 . 5) (15 . 6)) 3222 0.4991 9.3117 ((8 . 4) (9 . 5) (12 . 6) (16 . 10)) 3256 0.5521 7.4447 ((8 . 13) (9 . 15) (12 . 16) (13 . 19) (14 . 20)) 3261 0.4999 5.5437 ((8 . 6) (12 . 7) (13 . 8) (14 . 9)) 3286 0.4994 8.2576 ((9 . 2) (13 . 3) (14 . 4) (17 . 6)) 3289 0.5000 4.3543 ((8 . 25) (12 . 27) (13 . 30) (14 . 31)) 3297 0.6244 6.4534 ((8 . 4) (12 . 5) (13 . 7) (14 . 8) (16 . 9)) 3300 0.5000 4.1125 ((8 . 1) (12 . 2) (13 . 4) (14 . 5)) 3322 0.2910 5.9566 ((8 . 3) (9 . 4) (13 . 7) (15 . 10)) 3334 0.4983 10.9187 ((12 . 1) (13 . 4) (14 . 5) (17 . 9)) 3339 0.4998 6.6468 ((8 . 11) (9 . 14) (12 . 15) (14 . 17)) 3344 0.4997 7.0652 ((12 . 18) (13 . 20) (14 . 21) (16 . 22)) 3358 0.1662 9.3480 ((9 . 5) (13 . 8) (15 . 11) (16 . 12)) 3362 0.4999 5.7555 ((8 . 6) (13 . 8) (14 . 10) (16 . 11)) 3366 0.4999 5.3909 ((8 . 23) (12 . 24) (14 . 27) (16 . 28)) 3391 0.4970 12.6609 ((8 . 6) (13 . 8) (15 . 12) (17 . 14)) 3410 0.4998 5.9770 ((8 . 21) (13 . 24) (15 . 27) (16 . 28)) 3418 0.4999 4.9273 ((8 . 2) (12 . 5) (13 . 6) (14 . 7)) 3446 0.3669 8.9671 ((9 . 2) (14 . 5) (16 . 6) (17 . 8)) 3472 0.5000 4.4347 ((12 . 1) (13 . 3) (14 . 4) (16 . 5)) 3481 0.4998 6.6474 ((9 . 3) (13 . 7) (14 . 8) (17 . 11)) 3489 0.4999 5.9431 ((8 . 1) (12 . 2) (13 . 3) (14 . 4)) 3495 0.4998 6.2515 ((9 . 5) (13 . 7) (14 . 8) (15 . 9)) 3496 0.4994 8.3877 ((13 . 22) (14 . 23) (15 . 24) (17 . 25)) 3533 0.3669 9.2133 ((8 . 1) (12 . 3) (13 . 5) (14 . 7)) 3537 0.4998 6.0097 ((8 . 7) (13 . 9) (14 . 10) (17 . 11)) 3538 0.4998 6.1411 ((8 . 23) (13 . 25) (14 . 26) (17 . 27)) 3548 0.6236 7.8844 ((8 . 4) (12 . 5) (13 . 6) (14 . 8) (17 . 11)) 3549 0.5000 4.0192 ((8 . 3) (9 . 4) (15 . 7) (16 . 8)) 3561 0.4999 5.6054 ((12 . 28) (13 . 30) (14 . 31) (15 . 32)) 3570 0.4999 5.8123 ((8 . 1) (9 . 2) (13 . 4) (15 . 6)) 3585 0.4999 4.7628 ((9 . 7) (13 . 11) (14 . 12) (16 . 13)) 3613 0.4525 9.8196 ((9 . 32) (13 . 35) (14 . 36) (17 . 39)) 3625 0.3671 3.0264 ((12 . 2) (13 . 3) (14 . 5) (16 . 6)) 3626 0.6247 5.1360 ((8 . 2) (12 . 3) (13 . 6) (14 . 8) (16 . 11)) 3628 0.4999 5.0517 ((8 . 8) (12 . 9) (13 . 10) (16 . 12)) 3651 0.4991 9.3643 ((12 . 9) (13 . 11) (14 . 13) (15 . 14)) 3656 0.4530 6.4532 ((9 . 21) (12 . 22) (13 . 23) (14 . 24)) 3658 0.2909 10.6812 ((9 . 2) (12 . 3) (13 . 4) (16 . 6)) 3659 0.4521 10.9256 ((9 . 6) (12 . 8) (13 . 9) (16 . 12)) 3661 0.4525 9.5667 ((9 . 5) (12 . 7) (13 . 8) (15 . 10)) 3663 0.2462 12.2342 ((12 . 2) (14 . 5) (15 . 6) (17 . 7)) 3688 0.5000 4.3840 ((13 . 26) (14 . 29) (16 . 32) (17 . 33)) 3697 0.4997 7.2763 ((12 . 1) (13 . 3) (14 . 4) (15 . 5)) 3703 0.4995 8.2059 ((13 . 1) (14 . 2) (16 . 4) (17 . 5)) 3732 0.4995 7.9429 ((8 . 7) (13 . 9) (15 . 10) (16 . 12)) 3733 0.3668 10.5466 ((9 . 2) (14 . 6) (15 . 5) (17 . 7)) 3740 0.5000 3.9792 ((12 . 2) (13 . 3) (14 . 4) (16 . 5)) 3741 0.4999 5.3127 ((8 . 1) (12 . 2) (13 . 3) (14 . 4)) 3776 0.4996 7.7194 ((8 . 17) (12 . 20) (15 . 23) (16 . 24)) 3778 0.4999 5.5544 ((12 . 2) (13 . 3) (14 . 4) (17 . 5)) 3787 0.4995 8.1656 ((9 . 30) (12 . 31) (14 . 33) (17 . 37)) 3790 0.5000 4.1777 ((12 . 2) (13 . 3) (14 . 4) (16 . 5)) 3807 0.4996 7.5319 ((8 . 43) (12 . 46) (13 . 47) (15 . 49)) 3810 0.6249 3.8862 ((8 . 4) (12 . 6) (13 . 9) (14 . 10) (16 . 11)) 3817 0.2462 8.1697 ((8 . 5) (12 . 7) (14 . 9) (17 . 12)) 3829 0.3665 12.5376 ((8 . 2) (9 . 4) (12 . 5) (15 . 8)) 3831 0.4999 4.8149 ((8 . 2) (12 . 3) (14 . 5) (16 . 6)) 3847 0.4991 9.3267 ((8 . 13) (9 . 15) (12 . 16) (13 . 17)) 3849 0.5000 4.4564 ((12 . 2) (13 . 3) (14 . 5) (16 . 8)) 3853 0.2462 8.1856 ((9 . 11) (13 . 12) (14 . 14) (17 . 16)) 3856 0.4996 7.4676 ((8 . 7) (12 . 9) (13 . 10) (14 . 12)) 3870 0.4999 4.5661 ((8 . 5) (13 . 8) (16 . 10) (17 . 11)) 3933 0.4993 8.6928 ((8 . 13) (12 . 15) (13 . 17) (14 . 18)) 3938 0.4998 6.0829 ((12 . 6) (13 . 8) (14 . 9) (17 . 12)) 3968 0.4994 8.4942 ((8 . 5) (13 . 9) (15 . 10) (17 . 12)) 3986 0.4936 15.3392 ((8 . 1) (12 . 2) (14 . 5) (16 . 6)) 3990 0.2462 8.2310 ((8 . 20) (9 . 21) (13 . 24) (14 . 25)) 4005 0.4999 5.1567 ((12 . 1) (13 . 2) (14 . 3) (16 . 4)) 4009 0.4198 10.7257 ((8 . 1) (9 . 3) (13 . 7) (16 . 11)) 4019 0.4999 4.9957 ((12 . 34) (13 . 35) (14 . 36) (16 . 39)) 4034 0.4999 5.7169 ((9 . 8) (12 . 9) (13 . 10) (14 . 11)) 4037 0.4999 5.8290 ((12 . 1) (13 . 2) (14 . 3) (15 . 4)) 4062 0.4204 5.0551 ((12 . 48) (13 . 49) (14 . 50) (15 . 52)) 4067 0.4999 5.3069 ((8 . 14) (12 . 16) (14 . 20) (15 . 15)) 4077 0.4520 11.3190 ((9 . 8) (13 . 10) (14 . 11) (15 . 12)) 4082 0.4999 4.6486 ((12 . 6) (13 . 7) (14 . 8) (16 . 10)) 4087 0.6238 7.6107 ((8 . 3) (12 . 5) (13 . 6) (14 . 7) (16 . 8)) 4112 0.6249 4.3711 ((8 . 1) (12 . 2) (13 . 3) (14 . 4) (15 . 7)) 4115 0.5000 4.4785 ((8 . 13) (13 . 15) (16 . 19) (17 . 20)) 4151 0.4529 7.8540 ((9 . 2) (12 . 3) (14 . 5) (17 . 8)) 4154 0.4998 6.6870 ((8 . 52) (12 . 55) (13 . 56) (14 . 57)) 4177 0.4997 7.1751 ((9 . 6) (12 . 7) (13 . 8) (14 . 9)) 4192 0.4995 7.8938 ((8 . 13) (13 . 15) (15 . 18) (17 . 20)) 4194 0.3671 5.7446 ((9 . 2) (12 . 3) (14 . 5) (16 . 6)) 4195 0.4994 8.5429 ((13 . 14) (14 . 15) (15 . 17) (17 . 19)) 4204 0.4994 8.3976 ((9 . 10) (12 . 11) (14 . 13) (16 . 15)) 4209 0.2910 2.8667 ((13 . 1) (14 . 2) (15 . 3) (16 . 4)) 4210 0.4997 7.2832 ((8 . 5) (12 . 6) (14 . 8) (17 . 9)) 4226 0.4997 7.3219 ((8 . 6) (14 . 11) (16 . 14) (17 . 15)) 4232 0.1987 6.0721 ((8 . 1) (12 . 2) (13 . 3) (16 . 5)) 4236 0.4999 4.8645 ((8 . 5) (12 . 6) (13 . 7) (14 . 8)) 4246 0.4997 7.1941 ((8 . 2) (12 . 3) (14 . 6) (16 . 8)) 4254 0.4531 5.4134 ((9 . 10) (12 . 11) (14 . 13) (15 . 14)) 4255 0.4998 5.9868 ((8 . 21) (13 . 23) (14 . 24) (15 . 25)) 4257 0.4204 6.2131 ((9 . 6) (12 . 8) (13 . 9) (14 . 10)) 4265 0.4992 8.9709 ((8 . 20) (9 . 22) (12 . 23) (17 . 27)) 4266 0.4201 8.9290 ((8 . 6) (14 . 11) (16 . 12) (17 . 14)) 4274 0.4997 6.8119 ((9 . 37) (12 . 38) (14 . 40) (16 . 41)) 4275 0.4999 4.7393 ((8 . 23) (13 . 25) (14 . 27) (16 . 28)) 4281 0.3670 8.1801 ((12 . 3) (14 . 4) (15 . 6) (16 . 8)) 4284 0.4204 5.2259 ((8 . 6) (9 . 7) (13 . 8) (14 . 9)) 4299 0.5000 3.9249 ((12 . 16) (13 . 19) (14 . 20) (16 . 22)) 4301 0.4997 7.2413 ((8 . 6) (12 . 8) (13 . 9) (14 . 10)) 4326 0.4529 7.7186 ((9 . 8) (13 . 11) (14 . 12) (17 . 16)) 4332 0.1987 6.2126 ((9 . 1) (13 . 2) (14 . 4) (15 . 5)) 4352 0.4202 8.7803 ((9 . 4) (14 . 9) (16 . 10) (17 . 12)) 4359 0.6246 5.8013 ((8 . 10) (12 . 11) (13 . 13) (14 . 14) (16 . 15)) 4380 0.4998 6.0312 ((8 . 14) (12 . 15) (13 . 17) (14 . 18)) 4383 0.4998 6.3600 ((8 . 14) (12 . 15) (13 . 16) (14 . 17)) 4386 0.2462 9.1538 ((9 . 17) (13 . 19) (15 . 20) (17 . 23)) 4388 0.4998 6.5110 ((8 . 9) (12 . 10) (14 . 12) (17 . 14)) 4398 0.4993 8.7862 ((9 . 2) (14 . 6) (16 . 7) (17 . 9)) 4405 0.4998 6.7101 ((8 . 14) (13 . 18) (14 . 19) (17 . 20)) 4408 0.4999 5.4648 ((8 . 4) (9 . 5) (13 . 6) (14 . 7)) 4415 0.4998 6.5271 ((8 . 3) (12 . 4) (14 . 9) (17 . 10)) 4419 0.4999 5.2382 ((12 . 6) (13 . 8) (14 . 9) (16 . 10)) 4470 0.4999 5.6171 ((9 . 17) (13 . 19) (14 . 20) (17 . 22)) 4491 0.4998 6.1800 ((8 . 1) (13 . 5) (14 . 6) (15 . 7)) 4492 0.5000 4.4495 ((8 . 2) (12 . 3) (13 . 4) (14 . 5)) 4495 0.2910 7.5629 ((8 . 6) (13 . 8) (15 . 11) (17 . 12)) 4497 0.4999 5.5611 ((8 . 23) (12 . 24) (13 . 25) (14 . 26)) 4502 0.4991 9.3397 ((9 . 7) (13 . 10) (14 . 11) (17 . 16)) 4503 0.4995 8.0596 ((8 . 1) (9 . 2) (13 . 5) (16 . 9)) 4504 0.3671 5.9640 ((12 . 20) (13 . 21) (14 . 22) (15 . 23)) 4505 0.4999 5.7822 ((8 . 25) (12 . 26) (14 . 28) (17 . 31)) 4538 0.4993 8.8898 ((9 . 29) (12 . 32) (15 . 36) (16 . 37)) 4551 0.4997 7.3210 ((8 . 1) (13 . 4) (15 . 7) (16 . 8)) 4560 0.4994 8.4505 ((12 . 1) (13 . 2) (14 . 4) (15 . 5)) 4561 0.3670 6.8990 ((9 . 11) (12 . 13) (13 . 14) (14 . 15)) 4562 0.4202 8.4704 ((9 . 23) (14 . 27) (15 . 28) (17 . 30)) 4563 0.4999 5.4381 ((8 . 26) (13 . 28) (16 . 31) (17 . 32)) 4577 0.4998 6.0894 ((8 . 49) (12 . 50) (14 . 52) (16 . 54)) 4579 0.4984 10.7537 ((8 . 17) (9 . 16) (12 . 18) (17 . 25)) 4588 0.4999 4.9591 ((12 . 7) (13 . 8) (14 . 9) (17 . 12)) 4589 0.4999 4.8853 ((12 . 19) (13 . 22) (14 . 23) (17 . 24)) 4607 0.4201 9.1700 ((9 . 21) (14 . 24) (16 . 27) (17 . 28)) 4621 0.4999 5.7924 ((12 . 6) (13 . 8) (14 . 9) (16 . 11)) 4630 0.4999 5.2050 ((12 . 31) (13 . 33) (16 . 36) (17 . 37)) 4648 0.5000 4.3432 ((8 . 1) (12 . 2) (14 . 5) (16 . 8)) 4653 0.4999 5.6311 ((8 . 3) (13 . 6) (14 . 7) (16 . 8)) 4665 0.4999 5.3427 ((8 . 11) (12 . 12) (13 . 13) (14 . 14)) 4668 0.3670 7.2152 ((9 . 2) (13 . 3) (14 . 5) (17 . 8)) 4669 0.4999 5.8845 ((8 . 12) (12 . 15) (14 . 17) (15 . 18)) 4671 0.4203 6.7472 ((9 . 5) (12 . 6) (14 . 7) (17 . 9)) 4674 0.4998 6.3150 ((9 . 5) (12 . 7) (13 . 8) (14 . 9)) 4713 0.4203 6.9243 ((12 . 6) (13 . 7) (14 . 8) (16 . 9)) 4715 0.1987 13.6070 ((9 . 5) (12 . 6) (15 . 10) (17 . 13)) 4731 0.4521 11.0186 ((9 . 12) (13 . 14) (15 . 16) (17 . 17)) 4734 0.4999 5.1516 ((8 . 2) (12 . 5) (13 . 6) (16 . 8)) 4857 0.1987 11.0073 ((8 . 11) (13 . 13) (15 . 14) (17 . 15)) 4886 0.4987 10.1670 ((8 . 1) (9 . 3) (13 . 4) (15 . 7)) 4888 0.4525 9.5936 ((8 . 4) (9 . 5) (14 . 9) (17 . 11)) 4889 0.4998 6.6806 ((8 . 2) (12 . 3) (13 . 4) (16 . 6)) 4907 0.6246 5.6816 ((8 . 1) (12 . 3) (13 . 4) (14 . 5) (16 . 8)) 4914 0.2462 9.0100 ((8 . 4) (12 . 6) (14 . 8) (16 . 11)) 4921 0.4994 8.3366 ((12 . 7) (13 . 8) (14 . 9) (17 . 11)) 4929 0.4998 6.3550 ((8 . 28) (12 . 29) (13 . 31) (14 . 32)) 4932 0.6243 6.6831 ((8 . 1) (12 . 2) (13 . 4) (14 . 5) (16 . 6)) 4940 0.4999 4.9855 ((13 . 1) (14 . 2) (16 . 3) (17 . 5)) 4944 0.4998 6.2945 ((8 . 13) (12 . 14) (13 . 15) (14 . 16)) 4961 0.4983 10.8950 ((8 . 14) (12 . 15) (15 . 18) (16 . 20)) 4978 0.4994 8.2744 ((8 . 18) (13 . 21) (14 . 22) (17 . 26)) 4982 0.1662 8.5722 ((12 . 9) (13 . 10) (14 . 12) (17 . 13)) 4992 0.4997 6.9530 ((8 . 2) (12 . 3) (14 . 6) (17 . 7)) 4998 0.4973 12.3381 ((8 . 19) (9 . 21) (14 . 23) (17 . 24)) 5029 0.3670 7.8227 ((8 . 4) (9 . 5) (12 . 6) (14 . 8)) 5036 0.4996 7.3745 ((8 . 7) (12 . 8) (13 . 9) (14 . 10)) 5038 0.6245 6.0997 ((8 . 10) (9 . 13) (12 . 14) (13 . 15) (14 . 16)) 5039 0.4992 9.0802 ((9 . 40) (12 . 41) (14 . 44) (16 . 45)) 5044 0.3669 9.7321 ((8 . 3) (12 . 8) (13 . 9) (15 . 11)) 5046 0.5000 4.1569 ((8 . 1) (12 . 3) (13 . 4) (14 . 7)) 5053 0.4996 7.7890 ((8 . 9) (12 . 10) (13 . 12) (15 . 13)) 5065 0.6242 6.8585 ((12 . 7) (13 . 8) (14 . 9) (16 . 10) (17 . 12)) 5068 0.4999 5.3297 ((8 . 7) (9 . 9) (12 . 10) (15 . 14)) 5069 0.5000 3.7493 ((12 . 4) (13 . 5) (14 . 7) (15 . 8)) 5073 0.4994 8.2504 ((9 . 35) (12 . 36) (14 . 39) (17 . 41)) 5083 0.4203 6.8617 ((8 . 2) (9 . 4) (12 . 6) (14 . 9)) 5101 0.4997 7.3505 ((8 . 18) (13 . 21) (15 . 22) (16 . 23)) 5103 0.4997 7.3237 ((9 . 14) (12 . 15) (14 . 17) (17 . 20)) 5121 0.4982 11.0558 ((8 . 18) (12 . 21) (15 . 22) (17 . 23)) 5132 0.4990 9.5177 ((8 . 22) (13 . 26) (15 . 27) (16 . 28)) 5134 0.4995 8.1214 ((9 . 1) (12 . 2) (13 . 3) (15 . 5)) 5145 0.4998 6.5691 ((9 . 4) (12 . 5) (14 . 8) (15 . 9)) 5167 0.4980 11.3572 ((9 . 2) (12 . 3) (13 . 4) (17 . 7)) 5176 0.4995 7.9095 ((12 . 84) (13 . 86) (14 . 87) (16 . 88)) 5183 0.4998 6.2973 ((8 . 34) (12 . 35) (13 . 36) (14 . 37)) 5192 0.4997 6.8317 ((8 . 1) (13 . 3) (16 . 5) (17 . 7)) 5198 0.4200 9.9386 ((9 . 23) (12 . 24) (14 . 26) (15 . 27)) 5209 0.4998 6.7009 ((8 . 3) (12 . 4) (14 . 7) (16 . 8)) 5212 0.4203 7.9244 ((9 . 18) (14 . 21) (16 . 24) (17 . 25)) 5215 0.4999 4.9040 ((13 . 9) (14 . 10) (16 . 11) (17 . 13)) 5223 0.4993 8.7209 ((8 . 12) (9 . 13) (13 . 15) (15 . 16)) 5231 1.0000 0.0000 ((8 . 8) (9 . 9) (12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17)) 5266 0.4990 9.4792 ((9 . 5) (12 . 6) (14 . 8) (17 . 11)) 5278 0.4998 6.2047 ((8 . 5) (12 . 6) (13 . 7) (14 . 8)) 5307 0.4996 7.4829 ((8 . 53) (13 . 55) (14 . 57) (15 . 59)) 5312 0.4999 5.5667 ((12 . 2) (13 . 3) (14 . 4) (16 . 5)) 5318 0.4999 4.5718 ((13 . 22) (14 . 23) (16 . 24) (17 . 27)) 5323 0.4998 5.9921 ((9 . 8) (13 . 10) (14 . 11) (15 . 12)) 5324 0.4998 6.4866 ((8 . 12) (13 . 14) (16 . 15) (17 . 17)) 5344 0.4999 4.7064 ((8 . 7) (12 . 8) (13 . 9) (14 . 10)) 5345 0.5000 4.3896 ((8 . 12) (12 . 13) (13 . 14) (14 . 15)) 5368 0.5000 3.3464 ((13 . 39) (14 . 41) (16 . 43) (17 . 44)) 5378 0.2910 5.6752 ((8 . 3) (12 . 4) (14 . 6) (16 . 7)) 5411 0.4995 8.2206 ((8 . 3) (13 . 6) (14 . 8) (17 . 9)) 5414 0.5000 3.9114 ((12 . 19) (13 . 20) (14 . 21) (16 . 22)) 5418 0.6248 4.7469 ((8 . 1) (12 . 2) (13 . 3) (14 . 5) (16 . 8)) 5421 0.4526 9.1471 ((12 . 1) (13 . 2) (14 . 3) (16 . 5)) 5433 0.4998 6.1894 ((8 . 10) (12 . 14) (13 . 16) (17 . 24)) 5479 0.4999 4.5726 ((8 . 50) (12 . 51) (13 . 52) (14 . 53)) 5487 0.3670 6.9837 ((8 . 7) (13 . 9) (15 . 10) (17 . 12)) 5500 0.4203 7.3656 ((8 . 4) (9 . 6) (12 . 7) (17 . 15)) 5501 0.3669 9.7904 ((8 . 25) (9 . 26) (14 . 30) (17 . 32)) 5525 0.4201 8.8962 ((9 . 3) (14 . 7) (16 . 8) (17 . 10)) 5535 0.3670 6.8706 ((12 . 4) (13 . 6) (14 . 7) (16 . 9)) 5540 0.4997 7.2596 ((8 . 1) (13 . 3) (14 . 4) (15 . 5)) 5557 0.4999 5.0248 ((8 . 1) (13 . 3) (14 . 4) (17 . 7)) 5560 0.4997 6.9365 ((8 . 11) (12 . 13) (14 . 15) (17 . 16)) 5562 0.4994 8.3761 ((8 . 6) (12 . 7) (15 . 10) (17 . 12)) 5567 0.4999 5.1855 ((8 . 15) (13 . 17) (14 . 18) (16 . 19)) 5594 0.4195 11.7158 ((9 . 2) (13 . 3) (15 . 5) (17 . 7)) 5600 0.4998 6.3577 ((8 . 3) (13 . 5) (14 . 6) (15 . 7)) 5601 0.4996 7.7759 ((9 . 4) (13 . 5) (14 . 7) (17 . 9)) 5638 0.4986 10.3673 ((13 . 8) (14 . 9) (15 . 12) (17 . 14)) 5640 0.5000 3.5606 ((12 . 9) (13 . 10) (14 . 11) (16 . 12)) 5656 0.4997 6.8624 ((9 . 20) (13 . 23) (14 . 24) (17 . 25)) 5700 0.5000 4.1123 ((12 . 6) (13 . 8) (14 . 9) (16 . 11)) 5701 0.4998 6.0935 ((8 . 12) (9 . 13) (13 . 14) (15 . 15)) 5703 0.4999 5.1409 ((12 . 5) (13 . 6) (14 . 7) (16 . 8)) 5711 0.4999 5.7550 ((8 . 32) (12 . 33) (13 . 35) (14 . 36)) 5713 0.4999 4.8820 ((8 . 10) (12 . 11) (13 . 13) (16 . 18)) 5718 0.4997 7.2595 ((12 . 14) (13 . 16) (14 . 17) (16 . 18)) 5731 0.4998 6.0796 ((12 . 9) (13 . 10) (14 . 11) (16 . 13)) 5746 0.4999 5.9172 ((9 . 1) (13 . 2) (14 . 3) (15 . 4)) 5749 0.4996 7.6836 ((12 . 3) (13 . 4) (14 . 5) (16 . 6)) 5761 0.4997 7.1410 ((8 . 28) (13 . 31) (14 . 32) (17 . 34)) 5770 0.4999 4.8948 ((8 . 6) (13 . 9) (14 . 12) (17 . 18)) 5771 0.4986 10.3981 ((8 . 13) (12 . 14) (15 . 16) (16 . 17)) 5782 0.4998 6.1462 ((8 . 24) (12 . 26) (14 . 29) (16 . 30)) 5794 0.5000 3.8862 ((8 . 19) (13 . 23) (14 . 24) (16 . 25)) 5795 0.4996 7.5126 ((8 . 6) (12 . 9) (15 . 12) (16 . 13)) 5809 0.4203 7.8379 ((9 . 11) (12 . 12) (14 . 14) (15 . 16)) 5822 0.4999 5.9569 ((8 . 1) (12 . 4) (14 . 6) (16 . 8)) 5827 0.5000 4.1818 ((12 . 2) (13 . 3) (14 . 4) (16 . 5)) 5830 0.4994 8.2821 ((8 . 7) (12 . 8) (13 . 10) (17 . 15)) 5847 0.5931 3.7248 ((8 . 13) (13 . 17) (14 . 18) (16 . 20) (17 . 21)) 5861 0.1987 6.8562 ((12 . 20) (13 . 21) (14 . 22) (16 . 25)) 5865 0.4996 7.4364 ((8 . 1) (12 . 4) (13 . 5) (15 . 6)) 5878 0.4531 5.7023 ((9 . 24) (12 . 26) (13 . 29) (14 . 30)) 5888 0.5000 4.3864 ((8 . 5) (13 . 9) (14 . 10) (16 . 11)) 5896 0.4999 4.7237 ((8 . 26) (13 . 28) (14 . 29) (15 . 30)) 5904 0.4200 9.9006 ((8 . 4) (9 . 6) (13 . 7) (15 . 8)) 5913 0.4995 8.1700 ((8 . 13) (13 . 15) (15 . 16) (16 . 17)) 5914 0.5000 4.1864 ((8 . 2) (12 . 3) (14 . 5) (16 . 6)) 5922 0.4997 7.3358 ((8 . 8) (12 . 9) (13 . 10) (14 . 11)) 5930 0.3662 13.8274 ((12 . 1) (13 . 2) (15 . 5) (17 . 6)) 5939 0.4985 10.5280 ((12 . 4) (14 . 6) (15 . 7) (16 . 9)) 5945 0.4997 7.2728 ((9 . 10) (12 . 11) (14 . 13) (16 . 14)) 5949 0.3670 7.1663 ((8 . 9) (13 . 12) (16 . 14) (17 . 15)) 5955 0.1987 9.2437 ((8 . 4) (12 . 5) (13 . 7) (17 . 10)) 5967 0.2910 5.9659 ((8 . 3) (9 . 2) (13 . 7) (15 . 10)) 5972 0.4204 5.1482 ((9 . 4) (13 . 6) (14 . 7) (15 . 8)) 5977 0.1987 6.7785 ((8 . 3) (9 . 4) (13 . 5) (14 . 6)) 6000 0.4992 8.9614 ((9 . 11) (14 . 14) (16 . 15) (17 . 18)) 6011 0.4999 5.5859 ((8 . 1) (12 . 2) (13 . 3) (14 . 4)) 6022 0.4999 5.0061 ((8 . 2) (12 . 4) (13 . 5) (14 . 7)) 6028 0.1987 10.0302 ((13 . 1) (14 . 2) (15 . 4) (16 . 3)) 6029 0.5000 4.1949 ((8 . 6) (13 . 10) (14 . 11) (15 . 12)) 6041 0.4998 6.2397 ((12 . 11) (13 . 12) (14 . 13) (15 . 14)) 6046 0.4999 5.0166 ((8 . 2) (12 . 3) (13 . 5) (14 . 6)) 6061 0.4999 5.1878 ((12 . 13) (13 . 14) (14 . 15) (15 . 16)) 6074 0.4993 8.8488 ((9 . 5) (12 . 6) (14 . 8) (17 . 12)) 6075 0.2462 9.6691 ((9 . 18) (12 . 20) (14 . 21) (15 . 22)) 6079 0.5000 4.3343 ((12 . 6) (13 . 7) (14 . 8) (16 . 11)) 6087 0.2910 7.6956 ((8 . 8) (9 . 9) (13 . 10) (15 . 11)) 6089 0.4996 7.4695 ((9 . 2) (12 . 3) (14 . 5) (17 . 8)) 6094 0.4998 5.9826 ((8 . 4) (12 . 5) (13 . 7) (16 . 11)) 6099 0.6236 7.8879 ((8 . 22) (12 . 23) (13 . 24) (14 . 25) (16 . 26)) 6123 0.4201 8.8746 ((12 . 3) (13 . 4) (14 . 5) (15 . 7)) 6142 0.6241 6.9988 ((8 . 4) (12 . 5) (13 . 6) (14 . 7) (16 . 8)) 6148 0.2462 6.3166 ((8 . 32) (12 . 34) (14 . 36) (16 . 37)) 6167 0.4994 8.2523 ((8 . 12) (14 . 20) (16 . 21) (17 . 22)) 6173 0.4999 5.3538 ((8 . 8) (12 . 12) (13 . 13) (14 . 15)) 6191 0.4997 7.3341 ((8 . 6) (12 . 9) (13 . 10) (16 . 13)) 6192 0.4993 8.8046 ((9 . 2) (12 . 3) (14 . 5) (15 . 7)) 6215 0.1662 7.9030 ((8 . 17) (13 . 19) (14 . 20) (17 . 23)) 6225 0.4997 6.9741 ((9 . 2) (12 . 3) (13 . 4) (14 . 5)) 6228 0.4994 8.3639 ((9 . 4) (12 . 5) (14 . 7) (17 . 8)) 6234 0.6249 3.6154 ((8 . 6) (12 . 7) (13 . 9) (14 . 10) (16 . 13)) 6238 0.4999 5.5760 ((13 . 3) (14 . 4) (16 . 5) (17 . 6)) 6243 0.3663 13.3281 ((9 . 5) (14 . 8) (15 . 9) (17 . 11)) 6251 0.3670 8.1679 ((8 . 15) (9 . 18) (13 . 19) (15 . 20)) 6258 0.4202 8.1751 ((9 . 1) (12 . 3) (13 . 4) (15 . 5)) 6261 0.4999 5.6721 ((9 . 18) (13 . 21) (14 . 22) (17 . 23)) 6266 0.4200 9.7201 ((9 . 4) (12 . 5) (14 . 8) (17 . 9)) 6270 0.3670 7.1442 ((8 . 15) (12 . 17) (13 . 18) (17 . 23)) 6271 0.4996 7.4143 ((12 . 1) (13 . 2) (14 . 3) (17 . 6)) 6273 0.4999 4.9513 ((8 . 1) (12 . 2) (14 . 3) (16 . 6)) 6294 0.4997 6.7776 ((8 . 11) (13 . 14) (15 . 15) (16 . 16)) 6306 0.4998 6.0793 ((8 . 15) (12 . 17) (14 . 19) (16 . 21)) 6309 0.1987 7.2378 ((8 . 17) (9 . 19) (13 . 20) (16 . 25)) 6326 0.4998 5.9974 ((12 . 4) (13 . 5) (14 . 6) (16 . 7)) 6338 0.4999 5.5296 ((8 . 4) (12 . 5) (13 . 7) (14 . 8)) 6344 0.5522 6.9432 ((8 . 3) (12 . 4) (13 . 6) (14 . 7) (16 . 8)) 6345 0.4995 8.1231 ((9 . 9) (13 . 11) (14 . 13) (16 . 14)) 6355 0.2462 9.1051 ((13 . 9) (14 . 10) (16 . 12) (17 . 13)) 6356 0.3670 7.7302 ((8 . 11) (9 . 12) (13 . 13) (15 . 16)) 6369 0.4998 6.4593 ((12 . 32) (13 . 33) (14 . 35) (17 . 36)) 6376 0.5000 3.8863 ((12 . 26) (13 . 27) (14 . 28) (15 . 29)) 6391 0.4915 16.5417 ((9 . 5) (13 . 6) (14 . 8) (16 . 10)) 6392 0.2462 7.0934 ((8 . 3) (9 . 5) (13 . 7) (17 . 10)) 6399 0.5000 4.0624 ((12 . 14) (13 . 15) (14 . 16) (16 . 17)) 6403 0.5000 4.4342 ((8 . 12) (12 . 13) (13 . 14) (14 . 15)) 6434 0.4999 4.8111 ((8 . 2) (12 . 3) (13 . 4) (14 . 5)) 6462 0.4987 10.1887 ((8 . 18) (13 . 20) (15 . 23) (17 . 25)) 6476 0.4200 9.8904 ((9 . 1) (14 . 4) (15 . 5) (17 . 7)) 6498 0.4998 6.3516 ((12 . 1) (13 . 2) (14 . 3) (17 . 5)) 6520 0.4999 4.7048 ((8 . 3) (12 . 6) (13 . 8) (14 . 9)) 6539 0.5000 4.4686 ((8 . 4) (12 . 5) (14 . 8) (15 . 9)) 6548 0.4999 5.7228 ((8 . 7) (13 . 9) (14 . 12) (17 . 14)) 6553 0.4991 9.2111 ((8 . 15) (9 . 16) (12 . 17) (15 . 19)) 6555 0.4999 5.6705 ((8 . 22) (12 . 23) (13 . 24) (16 . 27)) 6561 0.4998 6.4904 ((8 . 12) (13 . 13) (14 . 15) (17 . 16)) 6573 0.4995 8.0190 ((8 . 17) (13 . 19) (15 . 20) (16 . 21)) 6575 0.4998 6.5110 ((13 . 1) (14 . 2) (16 . 5) (17 . 6)) 6578 0.4999 4.9966 ((8 . 34) (12 . 37) (13 . 38) (15 . 40)) 6584 0.4998 6.6730 ((8 . 2) (12 . 3) (14 . 5) (16 . 6)) 6585 0.4999 5.9542 ((8 . 8) (13 . 10) (14 . 11) (17 . 12)) 6587 0.4999 5.3515 ((8 . 29) (13 . 33) (14 . 34) (17 . 36)) 6598 0.6226 9.0288 ((8 . 26) (12 . 27) (13 . 28) (14 . 29) (15 . 31)) 6613 0.4997 7.2036 ((8 . 21) (12 . 22) (14 . 24) (17 . 25)) 6635 0.4202 8.5371 ((8 . 4) (9 . 6) (13 . 7) (15 . 9)) END