6126 233 0.7499 3.1049 ((9 . 1) (10 . 2) (11 . 3) (15 . 5) (16 . 7) (17 . 8)) 234 0.7495 4.7444 ((9 . 10) (10 . 11) (11 . 12) (15 . 14) (16 . 15) (17 . 16)) 291 0.8734 5.3680 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (15 . 5) (16 . 6) (17 . 7)) 349 0.9964 5.5362 ((9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 7) (15 . 8) (16 . 10) (17 . 12)) 365 0.7499 3.4353 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (15 . 6) (16 . 8)) 388 0.7485 6.4111 ((9 . 16) (10 . 17) (11 . 18) (13 . 19) (16 . 21) (17 . 22)) 402 0.8712 6.6562 ((9 . 2) (10 . 3) (11 . 5) (13 . 6) (15 . 7) (16 . 9) (17 . 11)) 403 0.8733 5.3984 ((9 . 12) (10 . 13) (11 . 15) (13 . 17) (15 . 18) (16 . 20) (17 . 21)) 404 0.7477 7.1309 ((9 . 23) (10 . 24) (11 . 25) (15 . 28) (16 . 30) (17 . 31)) 405 0.8737 5.1213 ((9 . 32) (10 . 33) (11 . 35) (13 . 37) (15 . 38) (16 . 39) (17 . 40)) 445 0.7498 4.0134 ((9 . 1) (10 . 2) (11 . 3) (15 . 5) (16 . 6) (17 . 7)) 449 0.7498 3.9497 ((9 . 1) (10 . 2) (11 . 3) (15 . 6) (16 . 7) (17 . 9)) 450 0.7495 4.7268 ((9 . 12) (10 . 13) (11 . 15) (15 . 18) (16 . 19) (17 . 20)) 564 0.9977 4.9622 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 7) (15 . 8) (16 . 10) (17 . 11)) 565 0.8743 4.2983 ((9 . 12) (10 . 13) (11 . 14) (12 . 15) (15 . 16) (16 . 17) (17 . 18)) 567 0.8727 5.8733 ((9 . 1) (10 . 2) (11 . 3) (13 . 5) (15 . 6) (16 . 8) (17 . 9)) 568 0.8738 5.0230 ((9 . 12) (10 . 13) (11 . 15) (13 . 16) (15 . 17) (16 . 18) (17 . 19)) 570 0.7485 6.3383 ((9 . 1) (10 . 2) (11 . 3) (15 . 9) (16 . 11) (17 . 12)) 571 0.4999 4.5620 ((10 . 14) (15 . 15) (16 . 16) (17 . 17)) 578 0.8726 5.9055 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (15 . 5) (16 . 6) (17 . 8)) 579 0.8739 4.8715 ((9 . 9) (10 . 10) (11 . 12) (13 . 13) (15 . 14) (16 . 15) (17 . 17)) 599 0.8710 6.7447 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (15 . 7) (16 . 9) (17 . 10)) 600 0.8692 7.4081 ((9 . 10) (10 . 11) (11 . 12) (13 . 13) (15 . 14) (16 . 15) (17 . 16)) 626 0.6248 4.8467 ((10 . 3) (11 . 4) (13 . 5) (15 . 7) (16 . 8)) 668 0.8723 6.0858 ((9 . 1) (10 . 4) (11 . 5) (13 . 7) (15 . 8) (16 . 10) (17 . 11)) 669 0.8707 6.8608 ((9 . 13) (10 . 14) (11 . 16) (13 . 17) (15 . 18) (16 . 20) (17 . 22)) 670 0.4986 10.4162 ((9 . 27) (11 . 28) (13 . 30) (15 . 31)) 671 0.8727 5.8500 ((9 . 32) (10 . 33) (11 . 35) (13 . 37) (15 . 38) (16 . 40) (17 . 41)) 693 0.7499 3.1827 ((10 . 31) (11 . 32) (13 . 33) (15 . 34) (16 . 35) (17 . 36)) 695 0.8741 4.6696 ((9 . 1) (10 . 3) (11 . 4) (13 . 5) (15 . 6) (16 . 7) (17 . 8)) 696 0.7498 3.6601 ((9 . 10) (10 . 12) (11 . 13) (15 . 16) (16 . 17) (17 . 19)) 697 0.7496 4.5755 ((9 . 20) (10 . 22) (11 . 23) (15 . 26) (16 . 27) (17 . 30)) 698 0.8741 4.5843 ((9 . 31) (10 . 34) (11 . 36) (13 . 37) (15 . 38) (16 . 39) (17 . 40)) 828 0.8744 4.1086 ((9 . 7) (10 . 8) (11 . 9) (12 . 10) (15 . 11) (16 . 12) (17 . 13)) 888 0.8750 1.6647 ((9 . 13) (10 . 14) (11 . 15) (13 . 17) (15 . 19) (16 . 20) (17 . 21)) 919 0.8733 5.4692 ((9 . 3) (10 . 4) (11 . 5) (12 . 6) (15 . 8) (16 . 9) (17 . 10)) 922 0.9979 4.8739 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 7) (15 . 8) (16 . 10) (17 . 11)) 926 0.9953 5.9549 ((9 . 1) (10 . 2) (11 . 4) (12 . 5) (13 . 8) (15 . 9) (16 . 11) (17 . 12)) 927 0.8740 4.7282 ((9 . 13) (10 . 14) (11 . 15) (13 . 17) (15 . 18) (16 . 19) (17 . 20)) 1025 0.7499 2.8741 ((9 . 3) (10 . 4) (11 . 5) (15 . 7) (16 . 8) (17 . 9)) 1086 0.9958 5.7875 ((9 . 2) (10 . 3) (11 . 5) (12 . 6) (13 . 8) (15 . 10) (16 . 12) (17 . 13)) 1110 0.8742 4.5187 ((9 . 10) (10 . 11) (11 . 13) (13 . 14) (15 . 15) (16 . 16) (17 . 18)) 1112 0.8734 5.3616 ((9 . 2) (10 . 6) (11 . 7) (13 . 8) (15 . 9) (16 . 10) (17 . 12)) 1126 0.9991 3.8698 ((9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 6) (15 . 7) (16 . 9) (17 . 10)) 1127 0.8740 4.7653 ((9 . 13) (10 . 14) (11 . 16) (13 . 17) (15 . 18) (16 . 19) (17 . 21)) 1149 0.8734 5.3740 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (15 . 5) (16 . 6) (17 . 7)) 1164 0.7496 4.6731 ((9 . 2) (10 . 3) (13 . 6) (15 . 7) (16 . 9) (17 . 10)) 1181 0.4999 4.8935 ((9 . 1) (10 . 2) (11 . 3) (13 . 4)) 1235 0.8743 4.4019 ((9 . 1) (10 . 3) (11 . 4) (13 . 6) (15 . 7) (16 . 9) (17 . 10)) 1236 0.8728 5.8325 ((9 . 11) (10 . 14) (11 . 15) (13 . 18) (15 . 19) (16 . 21) (17 . 23)) 1270 0.8736 5.1319 ((9 . 34) (10 . 35) (11 . 36) (13 . 37) (15 . 38) (16 . 39) (17 . 40)) 1293 0.9962 5.6165 ((9 . 3) (10 . 4) (11 . 5) (12 . 7) (13 . 9) (15 . 10) (16 . 11) (17 . 14)) 1294 0.9540 5.0445 ((9 . 39) (10 . 40) (11 . 41) (12 . 42) (13 . 43) (15 . 44) (16 . 46) (17 . 47)) 1295 0.8738 4.9476 ((9 . 48) (10 . 49) (11 . 50) (13 . 51) (15 . 52) (16 . 53) (17 . 54)) 1341 0.7485 6.3578 ((10 . 3) (11 . 5) (13 . 7) (15 . 8) (16 . 10) (17 . 12)) 1342 0.4997 6.7729 ((9 . 16) (10 . 17) (11 . 19) (12 . 20)) 1363 0.7497 4.1932 ((9 . 1) (11 . 3) (13 . 5) (15 . 6) (16 . 7) (17 . 8)) 1374 0.7495 4.8061 ((9 . 1) (10 . 3) (11 . 4) (15 . 6) (16 . 8) (17 . 9)) 1375 0.7485 6.3901 ((9 . 11) (10 . 12) (11 . 14) (15 . 16) (16 . 18) (17 . 20)) 1390 0.4999 5.8288 ((9 . 2) (10 . 3) (15 . 6) (16 . 9)) 1391 0.9947 6.1144 ((9 . 11) (10 . 12) (11 . 13) (12 . 14) (13 . 15) (15 . 16) (16 . 17) (17 . 18)) 1392 0.8745 4.0482 ((9 . 20) (10 . 21) (11 . 22) (13 . 23) (15 . 24) (16 . 25) (17 . 26)) 1418 0.8745 4.0400 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (15 . 5) (16 . 6) (17 . 8)) 1419 0.8741 4.6970 ((9 . 10) (10 . 11) (11 . 12) (13 . 13) (15 . 14) (16 . 15) (17 . 16)) 1445 0.9973 5.1542 ((9 . 2) (10 . 3) (11 . 5) (12 . 6) (13 . 9) (15 . 10) (16 . 12) (17 . 13)) 1446 0.8729 5.7631 ((9 . 14) (10 . 16) (11 . 17) (13 . 19) (15 . 20) (16 . 22) (17 . 24)) 1502 0.8732 5.4900 ((9 . 1) (10 . 3) (11 . 4) (13 . 6) (15 . 7) (16 . 9) (17 . 10)) 1555 0.9979 4.8702 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (15 . 6) (16 . 8) (17 . 9)) 1566 0.7472 7.4909 ((9 . 4) (10 . 5) (11 . 6) (13 . 8) (15 . 10) (16 . 12)) 1568 0.8744 4.1252 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (15 . 5) (16 . 6) (17 . 7)) 1569 0.8747 3.6053 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (15 . 5) (16 . 6) (17 . 8)) 1570 0.8744 4.1374 ((9 . 9) (10 . 10) (11 . 11) (13 . 12) (15 . 13) (16 . 14) (17 . 16)) 1571 0.8743 4.2761 ((9 . 17) (10 . 18) (11 . 19) (13 . 20) (15 . 21) (16 . 22) (17 . 24)) 1572 0.8746 3.7642 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (15 . 5) (16 . 6) (17 . 8)) 1573 0.8747 3.6510 ((9 . 9) (10 . 10) (11 . 11) (13 . 12) (15 . 13) (16 . 14) (17 . 16)) 1579 0.9959 5.7324 ((9 . 2) (10 . 3) (11 . 5) (12 . 6) (13 . 8) (15 . 10) (16 . 12) (17 . 14)) 1580 0.9978 4.9050 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 7) (15 . 8) (16 . 9) (17 . 11)) 1600 0.8746 3.6725 ((9 . 1) (10 . 3) (11 . 4) (13 . 5) (15 . 6) (16 . 8) (17 . 9)) 1601 0.8750 1.7285 ((9 . 10) (10 . 11) (11 . 12) (13 . 15) (15 . 17) (16 . 20) (17 . 21)) 1660 0.7497 4.3424 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (15 . 5) (16 . 7)) 1661 0.8742 4.5668 ((9 . 11) (10 . 12) (11 . 14) (12 . 15) (15 . 16) (16 . 17) (17 . 18)) 1666 0.9977 4.9568 ((9 . 1) (10 . 4) (11 . 5) (12 . 6) (13 . 7) (15 . 8) (16 . 9) (17 . 11)) 1667 0.8742 4.4897 ((9 . 38) (10 . 39) (11 . 40) (13 . 41) (15 . 42) (16 . 44) (17 . 45)) 1668 0.8745 4.0348 ((9 . 46) (10 . 48) (11 . 50) (13 . 51) (15 . 53) (16 . 54) (17 . 55)) 1684 0.7494 5.1071 ((9 . 1) (10 . 3) (11 . 4) (15 . 7) (16 . 9) (17 . 11)) 1688 0.8729 5.7208 ((9 . 1) (10 . 3) (11 . 4) (13 . 6) (15 . 7) (16 . 9) (17 . 10)) 1722 0.9950 6.0429 ((9 . 3) (10 . 4) (11 . 6) (12 . 7) (13 . 8) (15 . 10) (16 . 13) (17 . 15)) 1723 0.6240 7.3130 ((11 . 16) (13 . 17) (15 . 19) (16 . 20) (17 . 21)) 1826 0.8746 3.8318 ((9 . 2) (10 . 3) (11 . 5) (12 . 6) (13 . 7) (15 . 8) (16 . 9)) 1827 0.8740 4.7296 ((9 . 13) (10 . 14) (11 . 16) (13 . 18) (15 . 19) (16 . 20) (17 . 21)) 1828 0.7491 5.5796 ((9 . 22) (10 . 23) (11 . 26) (13 . 27) (15 . 28) (16 . 29)) 1864 0.8736 5.1937 ((9 . 2) (10 . 3) (11 . 4) (13 . 6) (15 . 7) (16 . 9) (17 . 10)) 1928 0.8736 5.2164 ((9 . 2) (10 . 3) (11 . 4) (13 . 5) (15 . 7) (16 . 9) (17 . 11)) 1938 0.8735 5.2842 ((9 . 1) (10 . 3) (11 . 4) (13 . 5) (15 . 6) (16 . 8) (17 . 9)) 1939 0.8739 4.9275 ((9 . 10) (10 . 11) (11 . 12) (13 . 15) (15 . 16) (16 . 17) (17 . 18)) 1996 0.4999 4.9737 ((9 . 4) (10 . 5) (11 . 6) (13 . 7)) 2009 0.8736 5.1834 ((9 . 2) (10 . 3) (11 . 4) (13 . 5) (15 . 7) (16 . 8) (17 . 9)) 2022 0.7500 2.0493 ((9 . 14) (10 . 15) (11 . 16) (15 . 20) (16 . 22) (17 . 24)) 2061 0.8745 4.0113 ((9 . 1) (10 . 3) (11 . 5) (13 . 6) (15 . 7) (16 . 8) (17 . 9)) 2087 0.9968 5.4072 ((9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 7) (15 . 8) (16 . 10) (17 . 12)) 2110 0.8660 8.2971 ((9 . 21) (10 . 23) (11 . 24) (13 . 26) (15 . 27) (16 . 28) (17 . 29)) 2165 0.5000 3.8563 ((9 . 29) (10 . 30) (15 . 31) (16 . 32)) 2186 0.8743 4.2820 ((9 . 7) (10 . 8) (11 . 9) (13 . 11) (15 . 12) (16 . 13) (17 . 14)) 2188 0.7500 0.9062 ((9 . 9) (10 . 10) (11 . 11) (15 . 14) (16 . 15) (17 . 16)) 2191 0.7498 3.5990 ((10 . 1) (11 . 2) (13 . 4) (15 . 5) (16 . 7) (17 . 8)) 2221 0.9985 4.4377 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (15 . 6) (16 . 8) (17 . 9)) 2246 0.9950 6.0486 ((9 . 1) (10 . 2) (11 . 3) (12 . 5) (13 . 8) (15 . 9) (16 . 11) (17 . 12)) 2318 0.9977 4.9419 ((9 . 2) (10 . 3) (11 . 5) (12 . 6) (13 . 8) (15 . 10) (16 . 12) (17 . 14)) 2319 0.8745 3.9902 ((9 . 15) (10 . 16) (11 . 17) (13 . 18) (15 . 20) (16 . 21) (17 . 22)) 2320 0.7480 6.8580 ((9 . 4) (10 . 5) (11 . 6) (13 . 7) (15 . 8) (16 . 10)) 2321 0.6250 1.4185 ((10 . 14) (11 . 15) (15 . 18) (16 . 20) (17 . 22)) 2338 0.7500 2.5674 ((9 . 13) (10 . 14) (11 . 15) (15 . 19) (16 . 21) (17 . 22)) 2365 0.8740 4.7291 ((9 . 1) (10 . 3) (11 . 6) (13 . 9) (15 . 10) (16 . 11) (17 . 12)) 2428 0.6246 5.8400 ((11 . 4) (13 . 5) (15 . 6) (16 . 8) (17 . 9)) 2441 0.8745 4.0909 ((9 . 1) (10 . 3) (11 . 4) (13 . 5) (15 . 6) (16 . 7) (17 . 8)) 2442 0.8734 5.3367 ((9 . 10) (10 . 12) (11 . 14) (13 . 15) (15 . 16) (16 . 17) (17 . 19)) 2444 0.8749 2.8879 ((9 . 1) (10 . 2) (11 . 4) (12 . 5) (15 . 7) (16 . 8) (17 . 9)) 2445 0.8741 4.6575 ((9 . 11) (10 . 12) (11 . 14) (13 . 15) (15 . 16) (16 . 17) (17 . 19)) 2473 0.6249 4.0525 ((9 . 2) (10 . 3) (11 . 5) (13 . 6) (15 . 8)) 2507 0.8730 5.6293 ((9 . 3) (10 . 4) (11 . 6) (13 . 9) (15 . 11) (16 . 13) (17 . 14)) 2508 0.8735 5.2901 ((9 . 16) (10 . 17) (11 . 19) (12 . 20) (15 . 22) (16 . 24) (17 . 25)) 2531 0.8749 2.8989 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (15 . 7) (16 . 8) (17 . 9)) 2534 0.6249 3.9255 ((10 . 18) (11 . 19) (15 . 22) (16 . 23) (17 . 25)) 2577 0.8723 6.1042 ((9 . 2) (10 . 3) (11 . 5) (13 . 6) (15 . 7) (16 . 9) (17 . 10)) 2578 0.8723 6.1081 ((9 . 12) (10 . 13) (11 . 15) (13 . 17) (15 . 18) (16 . 20) (17 . 21)) 2579 0.8746 3.7273 ((9 . 22) (10 . 24) (11 . 25) (13 . 27) (15 . 29) (16 . 31) (17 . 32)) 2641 0.9770 3.5051 ((9 . 1) (10 . 3) (11 . 5) (12 . 6) (13 . 7) (15 . 8) (16 . 9) (17 . 10)) 2686 0.9962 5.6309 ((9 . 2) (10 . 3) (11 . 4) (12 . 7) (13 . 8) (15 . 9) (16 . 10) (17 . 11)) 2728 0.9767 3.9226 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (15 . 6) (16 . 9) (17 . 10)) 2767 0.8748 3.0899 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (15 . 5) (16 . 6) (17 . 7)) 2812 0.8746 3.8026 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (15 . 5) (16 . 6) (17 . 7)) 2813 0.2910 6.7651 ((9 . 10) (11 . 12) (13 . 13) (15 . 14)) 2877 0.7493 5.1930 ((10 . 2) (11 . 3) (13 . 4) (15 . 6) (16 . 7) (17 . 8)) 2880 0.8744 4.2505 ((9 . 2) (10 . 3) (11 . 4) (13 . 5) (15 . 7) (16 . 8) (17 . 12)) 2971 0.4999 5.6261 ((12 . 9) (13 . 10) (16 . 13) (17 . 14)) 2987 0.7498 3.8930 ((9 . 26) (10 . 28) (13 . 30) (15 . 31) (16 . 32) (17 . 33)) 3099 0.8742 4.4390 ((9 . 23) (10 . 24) (11 . 25) (13 . 26) (15 . 27) (16 . 28) (17 . 29)) 3101 0.8740 4.7621 ((9 . 50) (10 . 51) (11 . 52) (12 . 53) (15 . 54) (16 . 55) (17 . 56)) 3159 0.9983 4.5865 ((9 . 52) (10 . 54) (11 . 55) (12 . 57) (13 . 58) (15 . 59) (16 . 60) (17 . 61)) 3185 0.7499 3.3532 ((9 . 14) (10 . 15) (11 . 16) (15 . 21) (16 . 23) (17 . 24)) 3186 0.7500 1.2618 ((9 . 1) (10 . 2) (11 . 3) (15 . 7) (16 . 8) (17 . 9)) 3205 0.8737 5.0408 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (15 . 5) (16 . 6) (17 . 8)) 3292 0.9983 4.6090 ((9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 7) (15 . 8) (16 . 10) (17 . 11)) 3342 0.8732 5.5133 ((9 . 1) (10 . 3) (11 . 4) (13 . 5) (15 . 7) (16 . 8) (17 . 9)) 3357 0.7483 6.5921 ((10 . 5) (11 . 6) (13 . 7) (15 . 8) (16 . 10) (17 . 11)) 3378 0.7498 3.9234 ((9 . 32) (10 . 34) (11 . 35) (15 . 37) (16 . 39) (17 . 40)) 3417 0.8735 5.2471 ((9 . 2) (10 . 6) (11 . 7) (13 . 8) (15 . 9) (16 . 10) (17 . 11)) 3430 0.8742 4.4430 ((9 . 2) (10 . 4) (11 . 5) (12 . 6) (15 . 8) (16 . 9) (17 . 10)) 3431 0.7467 7.8051 ((9 . 3) (10 . 4) (11 . 5) (13 . 6) (15 . 7) (16 . 8)) 3443 0.9986 4.3591 ((9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 6) (15 . 7) (16 . 8) (17 . 9)) 3444 0.9981 4.7289 ((9 . 37) (10 . 38) (11 . 39) (12 . 40) (13 . 41) (15 . 43) (16 . 45) (17 . 46)) 3445 0.8749 2.7684 ((9 . 47) (10 . 48) (11 . 49) (13 . 50) (15 . 51) (16 . 52) (17 . 53)) 3472 0.9972 5.2042 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 8) (15 . 9) (16 . 11) (17 . 12)) 3478 0.8729 5.7240 ((9 . 3) (10 . 4) (11 . 5) (13 . 7) (15 . 8) (16 . 9) (17 . 10)) 3507 0.4999 5.7885 ((13 . 31) (15 . 33) (16 . 34) (17 . 37)) 3530 0.7498 3.5993 ((9 . 20) (10 . 21) (13 . 23) (15 . 24) (16 . 25) (17 . 27)) 3531 0.7493 5.3045 ((10 . 30) (11 . 32) (13 . 33) (15 . 34) (16 . 35) (17 . 36)) 3532 0.6247 5.3005 ((9 . 37) (10 . 38) (15 . 39) (16 . 40) (17 . 41)) 3550 0.7499 2.9316 ((9 . 2) (10 . 3) (11 . 6) (15 . 9) (16 . 10) (17 . 13)) 3554 0.8750 1.1544 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (15 . 8) (16 . 10) (17 . 11)) 3555 0.9774 2.0399 ((9 . 12) (10 . 14) (11 . 15) (12 . 16) (13 . 17) (15 . 19) (16 . 21) (17 . 23)) 3556 0.9969 5.3463 ((9 . 1) (10 . 2) (11 . 3) (12 . 5) (13 . 7) (15 . 8) (16 . 10) (17 . 12)) 3557 0.7495 4.9658 ((10 . 15) (11 . 16) (13 . 18) (15 . 19) (16 . 21) (17 . 23)) 3655 0.4999 4.5844 ((9 . 31) (10 . 32) (15 . 34) (16 . 35)) 3667 0.7499 3.2914 ((10 . 4) (11 . 6) (12 . 7) (15 . 8) (16 . 9) (17 . 10)) 3690 0.8728 5.8219 ((9 . 1) (10 . 4) (11 . 5) (12 . 6) (15 . 9) (16 . 11) (17 . 12)) 3699 0.7496 4.6406 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (15 . 5) (16 . 8)) 3700 0.8742 4.4956 ((9 . 13) (10 . 14) (11 . 16) (13 . 17) (15 . 18) (16 . 19) (17 . 20)) 3762 0.7496 4.4421 ((9 . 1) (10 . 2) (11 . 3) (15 . 5) (16 . 6) (17 . 7)) 3791 0.4998 6.0025 ((9 . 45) (10 . 46) (16 . 50) (17 . 52)) 3792 0.7480 6.8991 ((9 . 55) (10 . 56) (13 . 58) (15 . 59) (16 . 60) (17 . 61)) 3793 0.6237 7.6741 ((9 . 66) (10 . 67) (11 . 69) (13 . 70) (17 . 71)) 3794 0.6222 9.3824 ((9 . 24) (11 . 27) (13 . 28) (15 . 30) (16 . 31)) 3876 0.7498 3.8279 ((9 . 2) (10 . 3) (11 . 4) (15 . 6) (16 . 7) (17 . 10)) 3948 0.9974 5.0947 ((9 . 1) (10 . 3) (11 . 5) (12 . 6) (13 . 9) (15 . 10) (16 . 12) (17 . 13)) 3949 0.8749 2.2819 ((9 . 15) (10 . 16) (11 . 17) (13 . 19) (15 . 21) (16 . 22) (17 . 24)) 3950 0.9986 4.3466 ((9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 7) (15 . 8) (16 . 10) (17 . 12)) 3951 0.9998 2.8178 ((9 . 13) (10 . 15) (11 . 16) (12 . 17) (13 . 18) (15 . 19) (16 . 21) (17 . 22)) 4079 0.8743 4.3170 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (15 . 7) (16 . 8) (17 . 10)) 4109 0.8737 5.0830 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (15 . 5) (16 . 7) (17 . 8)) 4110 0.8741 4.6666 ((9 . 9) (10 . 10) (11 . 11) (13 . 12) (15 . 13) (16 . 14) (17 . 16)) 4111 0.8744 4.2421 ((9 . 17) (10 . 18) (11 . 19) (12 . 20) (15 . 22) (16 . 23) (17 . 24)) 4145 0.8741 4.6709 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (15 . 6) (16 . 7) (17 . 9)) 4146 0.6250 3.0264 ((9 . 11) (10 . 12) (11 . 14) (15 . 15) (16 . 16)) 4178 0.4999 5.4929 ((9 . 2) (10 . 3) (11 . 4) (12 . 5)) 4197 0.4999 5.8524 ((9 . 7) (10 . 8) (11 . 10) (13 . 11)) 4199 0.7495 4.7658 ((9 . 1) (10 . 3) (13 . 4) (15 . 5) (16 . 6) (17 . 7)) 4219 0.8745 4.0361 ((9 . 2) (10 . 4) (11 . 5) (12 . 6) (15 . 8) (16 . 9) (17 . 10)) 4221 0.7449 8.6862 ((9 . 5) (10 . 6) (11 . 7) (13 . 8) (15 . 10) (17 . 13)) 4224 0.9980 4.7736 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 8) (15 . 9) (16 . 11) (17 . 12)) 4230 0.6242 6.8731 ((9 . 4) (10 . 5) (11 . 6) (15 . 8) (16 . 11)) 4286 0.8729 5.7221 ((9 . 2) (10 . 5) (11 . 6) (13 . 9) (15 . 11) (16 . 13) (17 . 14)) 4289 0.8741 4.6421 ((9 . 1) (10 . 3) (11 . 4) (13 . 5) (15 . 7) (16 . 9) (17 . 10)) 4290 0.8741 4.6905 ((9 . 11) (10 . 13) (11 . 14) (13 . 15) (15 . 17) (16 . 18) (17 . 20)) 4349 0.9983 4.6230 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 7) (15 . 8) (16 . 10) (17 . 11)) 4464 0.8743 4.2835 ((9 . 1) (10 . 2) (11 . 3) (13 . 6) (15 . 7) (16 . 9) (17 . 10)) 4512 0.8736 5.1886 ((9 . 2) (10 . 3) (11 . 6) (13 . 7) (15 . 8) (16 . 9) (17 . 10)) 4525 0.8747 3.5088 ((9 . 20) (10 . 21) (11 . 23) (12 . 24) (15 . 26) (16 . 28) (17 . 29)) 4526 0.8748 3.2276 ((9 . 30) (10 . 31) (11 . 32) (13 . 33) (15 . 34) (16 . 35) (17 . 36)) 4581 0.6244 6.4566 ((9 . 1) (10 . 2) (11 . 3) (13 . 5) (17 . 9)) 4584 0.9982 4.6608 ((9 . 2) (10 . 3) (11 . 5) (12 . 6) (13 . 8) (15 . 9) (16 . 11) (17 . 13)) 4637 0.9981 4.7315 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 7) (15 . 8) (16 . 10) (17 . 11)) 4638 0.4998 6.2410 ((9 . 13) (10 . 14) (13 . 16) (15 . 18)) 4639 0.9957 5.8026 ((9 . 2) (10 . 3) (11 . 5) (12 . 6) (13 . 8) (15 . 9) (16 . 10) (17 . 12)) 4640 0.9999 2.4955 ((9 . 14) (10 . 16) (11 . 17) (12 . 18) (13 . 19) (15 . 21) (16 . 23) (17 . 24)) 4687 0.8747 3.5127 ((9 . 27) (10 . 28) (11 . 30) (12 . 31) (15 . 33) (16 . 34) (17 . 35)) 4700 0.7494 4.9978 ((9 . 1) (10 . 3) (11 . 4) (15 . 6) (16 . 8) (17 . 10)) 4708 0.7487 6.1938 ((9 . 48) (10 . 49) (11 . 50) (15 . 51) (16 . 53) (17 . 54)) 4744 0.8733 5.4166 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (15 . 5) (16 . 6) (17 . 7)) 4777 0.8745 4.0708 ((9 . 3) (10 . 4) (11 . 5) (12 . 6) (15 . 7) (16 . 10) (17 . 11)) 4800 0.6250 3.1342 ((9 . 1) (10 . 3) (15 . 5) (16 . 7) (17 . 8)) 4809 0.8741 4.6920 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (15 . 5) (16 . 6) (17 . 7)) 4892 0.8740 4.7454 ((9 . 3) (10 . 4) (11 . 5) (13 . 6) (15 . 7) (16 . 8) (17 . 9)) 4896 0.8736 5.1802 ((9 . 1) (10 . 3) (11 . 5) (13 . 7) (15 . 8) (16 . 10) (17 . 11)) 4897 0.4996 7.4898 ((9 . 14) (10 . 15) (11 . 17) (13 . 18)) 4898 0.4986 10.4004 ((10 . 22) (11 . 23) (15 . 27) (16 . 28)) 4908 0.7495 4.8146 ((9 . 2) (10 . 3) (11 . 4) (13 . 5) (15 . 7) (16 . 8)) 4921 0.5000 3.3520 ((9 . 7) (10 . 8) (11 . 9) (15 . 12)) 4923 0.8739 4.8610 ((9 . 14) (10 . 16) (11 . 17) (12 . 18) (15 . 19) (16 . 20) (17 . 22)) 4951 0.9993 3.6910 ((9 . 47) (10 . 49) (11 . 50) (12 . 51) (13 . 53) (15 . 54) (16 . 55) (17 . 56)) 4967 0.7498 3.9958 ((9 . 24) (10 . 26) (13 . 28) (15 . 29) (16 . 30) (17 . 31)) 4968 0.8702 7.0692 ((9 . 32) (10 . 35) (11 . 37) (13 . 39) (15 . 40) (16 . 42) (17 . 43)) 5040 0.8739 4.9000 ((9 . 1) (10 . 3) (11 . 4) (13 . 8) (15 . 10) (16 . 12) (17 . 13)) 5043 0.8654 8.4264 ((9 . 4) (10 . 5) (11 . 6) (13 . 7) (15 . 9) (16 . 11) (17 . 12)) 5166 0.6243 6.5866 ((9 . 4) (13 . 6) (15 . 7) (16 . 8) (17 . 10)) 5246 0.6237 7.7306 ((9 . 8) (10 . 9) (11 . 10) (13 . 12) (15 . 14)) 5281 0.5000 4.2629 ((13 . 65) (15 . 66) (16 . 67) (17 . 69)) 5310 0.8742 4.5337 ((9 . 1) (10 . 4) (11 . 5) (13 . 8) (15 . 9) (16 . 10) (17 . 12)) 5311 0.7444 8.8935 ((9 . 14) (10 . 15) (11 . 16) (13 . 17) (15 . 18) (16 . 20)) 5316 0.9971 5.2557 ((9 . 2) (10 . 3) (11 . 5) (12 . 6) (13 . 8) (15 . 10) (16 . 12) (17 . 14)) 5319 0.8744 4.1233 ((9 . 1) (10 . 2) (11 . 3) (13 . 5) (15 . 6) (16 . 7) (17 . 8)) 5320 0.8740 4.7234 ((9 . 9) (10 . 10) (11 . 11) (13 . 12) (15 . 13) (16 . 14) (17 . 16)) 5342 0.8746 3.7213 ((9 . 45) (10 . 47) (11 . 48) (13 . 50) (15 . 51) (16 . 52) (17 . 54)) 5413 0.8742 4.4791 ((9 . 2) (10 . 3) (11 . 4) (13 . 6) (15 . 8) (16 . 10) (17 . 11)) 5431 0.8744 4.1623 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (15 . 5) (16 . 6) (17 . 7)) 5432 0.8744 4.1421 ((9 . 8) (10 . 9) (11 . 10) (13 . 11) (15 . 12) (16 . 13) (17 . 15)) 5497 0.8727 5.8937 ((9 . 21) (10 . 22) (11 . 23) (13 . 25) (15 . 26) (16 . 28) (17 . 29)) 5552 0.8732 5.5392 ((9 . 5) (10 . 6) (11 . 8) (13 . 9) (15 . 11) (16 . 12) (17 . 13)) 5615 0.8742 4.5358 ((9 . 28) (10 . 29) (11 . 30) (13 . 32) (15 . 33) (16 . 34) (17 . 35)) 5633 0.8731 5.6209 ((9 . 1) (10 . 2) (11 . 3) (13 . 5) (15 . 6) (16 . 8) (17 . 10)) 5634 0.7488 6.0271 ((9 . 12) (10 . 13) (11 . 14) (15 . 17) (16 . 18) (17 . 20)) 5682 0.6249 3.9662 ((9 . 1) (10 . 3) (11 . 4) (13 . 5) (15 . 6)) 5683 0.8736 5.1974 ((9 . 2) (10 . 3) (11 . 4) (13 . 5) (15 . 7) (16 . 8) (17 . 10)) 5733 0.8750 1.8228 ((9 . 12) (10 . 14) (11 . 15) (13 . 17) (15 . 19) (16 . 21) (17 . 22)) 5835 0.7494 5.0293 ((9 . 35) (10 . 37) (11 . 38) (15 . 41) (16 . 42) (17 . 44)) 5863 0.8729 5.7576 ((9 . 30) (10 . 31) (11 . 33) (13 . 35) (15 . 37) (16 . 38) (17 . 39)) 5899 0.8743 4.2992 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (15 . 5) (16 . 6) (17 . 8)) 5916 0.7497 4.2160 ((9 . 1) (10 . 2) (13 . 3) (15 . 4) (16 . 5) (17 . 8)) 5936 0.7481 6.8107 ((9 . 5) (10 . 6) (11 . 7) (13 . 9) (15 . 11) (16 . 13)) 5948 0.7498 3.9022 ((9 . 1) (10 . 3) (11 . 5) (13 . 8) (15 . 9) (16 . 10)) 5974 0.8737 5.0673 ((9 . 2) (10 . 4) (11 . 5) (12 . 6) (15 . 8) (16 . 10) (17 . 11)) 5988 0.8742 4.4301 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (15 . 6) (16 . 7)) 5989 0.8738 4.9505 ((9 . 1) (10 . 2) (11 . 4) (13 . 5) (15 . 6) (16 . 7) (17 . 9)) 5993 0.7495 4.8194 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (15 . 5) (16 . 7)) 6012 0.8744 4.1087 ((9 . 48) (10 . 50) (11 . 51) (13 . 52) (15 . 53) (16 . 54) (17 . 55)) 6013 0.6220 9.5495 ((11 . 63) (13 . 64) (15 . 66) (16 . 68) (17 . 70)) 6037 0.8727 5.8852 ((9 . 2) (10 . 3) (11 . 4) (13 . 5) (15 . 6) (16 . 7) (17 . 8)) 6105 0.7495 4.8290 ((10 . 3) (11 . 4) (12 . 5) (15 . 7) (16 . 8) (17 . 9)) 6124 0.9999 1.1580 ((9 . 8) (10 . 9) (11 . 10) (12 . 11) (13 . 12) (15 . 14) (16 . 15) (17 . 16)) 6126 1.0000 0.0000 ((9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (15 . 15) (16 . 16) (17 . 17)) 6206 0.8744 4.2530 ((9 . 1) (10 . 3) (11 . 4) (13 . 5) (15 . 6) (16 . 8) (17 . 9)) 6207 0.8747 3.3697 ((9 . 10) (10 . 12) (11 . 14) (13 . 15) (15 . 16) (16 . 18) (17 . 19)) 6285 0.9981 4.7195 ((9 . 1) (10 . 4) (11 . 5) (12 . 6) (13 . 7) (15 . 8) (16 . 9) (17 . 10)) 6287 0.8738 5.0190 ((9 . 38) (10 . 39) (11 . 40) (13 . 41) (15 . 42) (16 . 44) (17 . 45)) 6288 0.8745 4.0251 ((9 . 46) (10 . 47) (11 . 48) (13 . 49) (15 . 50) (16 . 51) (17 . 52)) 6334 0.8738 5.0186 ((9 . 2) (10 . 3) (11 . 4) (13 . 5) (15 . 6) (16 . 8) (17 . 9)) 6338 0.7499 3.3169 ((10 . 1) (11 . 2) (13 . 4) (15 . 5) (16 . 7) (17 . 8)) 6379 0.8739 4.9050 ((9 . 1) (10 . 3) (11 . 4) (13 . 5) (15 . 6) (16 . 7) (17 . 8)) 6380 0.8730 5.6851 ((9 . 9) (10 . 11) (11 . 13) (13 . 14) (15 . 15) (16 . 17) (17 . 19)) 6443 0.6248 4.9383 ((9 . 4) (10 . 5) (11 . 6) (13 . 8) (15 . 10)) 6444 0.8749 2.4815 ((9 . 14) (10 . 15) (11 . 16) (13 . 17) (15 . 19) (16 . 21) (17 . 22)) 6445 0.4998 6.5847 ((10 . 4) (13 . 6) (15 . 8) (16 . 9)) 6446 0.8725 6.0189 ((9 . 10) (10 . 12) (11 . 14) (13 . 15) (15 . 16) (16 . 18) (17 . 20)) 6449 0.8741 4.5741 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (15 . 5) (16 . 6) (17 . 8)) 6466 0.8740 4.7781 ((9 . 1) (10 . 2) (11 . 3) (13 . 4) (15 . 5) (16 . 7) (17 . 8)) 6467 0.7498 4.0652 ((9 . 10) (10 . 11) (11 . 15) (13 . 16) (15 . 17) (16 . 18)) 6485 0.9766 4.0303 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (15 . 6) (16 . 9) (17 . 10)) 6570 0.8741 4.5757 ((9 . 15) (10 . 16) (11 . 17) (13 . 19) (15 . 20) (16 . 22) (17 . 23)) 6612 0.9712 4.1311 ((9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 6) (15 . 7) (16 . 8) (17 . 9)) END