1570 233 0.8570 2.9950 ((9 . 1) (10 . 2) (11 . 3) (13 . 5) (14 . 7) (16 . 8)) 234 0.8569 3.3275 ((9 . 10) (10 . 11) (11 . 12) (13 . 14) (14 . 15) (16 . 16)) 291 0.9991 3.9580 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 7)) 349 0.7134 5.9175 ((11 . 6) (12 . 7) (13 . 8) (14 . 10) (16 . 12)) 365 0.8570 3.2077 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 6) (14 . 8)) 388 0.8568 3.8202 ((9 . 16) (10 . 17) (11 . 18) (12 . 19) (14 . 21) (16 . 23)) 402 0.9960 5.7063 ((9 . 2) (10 . 3) (11 . 5) (12 . 6) (13 . 7) (14 . 9) (16 . 11)) 403 0.9974 5.1045 ((9 . 12) (10 . 13) (11 . 15) (12 . 17) (13 . 18) (14 . 20) (16 . 21)) 404 0.8538 6.6051 ((9 . 23) (10 . 24) (11 . 25) (13 . 28) (14 . 30) (16 . 31)) 405 0.9968 5.3880 ((9 . 32) (10 . 33) (11 . 35) (12 . 37) (13 . 38) (14 . 39) (16 . 40)) 445 0.8563 4.6463 ((9 . 1) (10 . 2) (11 . 3) (13 . 5) (14 . 6) (16 . 7)) 449 0.8570 2.7578 ((9 . 1) (10 . 2) (11 . 3) (13 . 6) (14 . 7) (16 . 9)) 450 0.8571 2.2160 ((9 . 12) (10 . 13) (11 . 15) (13 . 18) (14 . 19) (16 . 20)) 564 0.9993 3.6663 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 8) (14 . 10) (16 . 11)) 565 0.9988 4.1978 ((9 . 12) (10 . 13) (11 . 14) (12 . 15) (13 . 16) (14 . 17) (16 . 18)) 567 0.9999 2.4263 ((9 . 1) (10 . 2) (11 . 3) (12 . 5) (13 . 6) (14 . 8) (16 . 10)) 568 0.9999 2.3613 ((9 . 12) (10 . 13) (11 . 15) (12 . 16) (13 . 17) (14 . 18) (16 . 19)) 570 0.9974 5.1086 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 9) (14 . 11) (16 . 12)) 571 0.7129 6.6568 ((9 . 13) (10 . 14) (13 . 15) (14 . 16) (16 . 17)) 578 0.9993 3.6679 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 8)) 579 0.9998 2.5817 ((9 . 9) (10 . 10) (11 . 12) (12 . 13) (13 . 14) (14 . 15) (16 . 17)) 599 0.8511 7.6730 ((9 . 2) (10 . 3) (11 . 4) (12 . 5) (14 . 7) (16 . 9)) 600 0.9945 6.1708 ((9 . 10) (10 . 11) (11 . 12) (12 . 13) (13 . 14) (14 . 15) (16 . 16)) 626 0.8557 5.3338 ((10 . 3) (11 . 4) (12 . 5) (13 . 7) (14 . 8) (16 . 10)) 668 0.9961 5.6742 ((9 . 2) (10 . 3) (11 . 5) (12 . 7) (13 . 8) (14 . 10) (16 . 12)) 669 0.9959 5.7265 ((9 . 13) (10 . 14) (11 . 16) (12 . 17) (13 . 18) (14 . 20) (16 . 22)) 670 0.7133 6.1066 ((10 . 25) (11 . 27) (13 . 28) (14 . 30) (16 . 31)) 671 0.8565 4.4083 ((10 . 33) (11 . 35) (12 . 37) (13 . 38) (14 . 40) (16 . 41)) 693 0.8570 2.9293 ((10 . 31) (11 . 32) (12 . 33) (13 . 34) (14 . 35) (16 . 36)) 695 0.9993 3.6927 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 6) (14 . 7) (16 . 8)) 696 0.8570 2.9563 ((9 . 10) (10 . 12) (11 . 13) (13 . 16) (14 . 17) (16 . 19)) 697 0.8557 5.3588 ((9 . 21) (10 . 22) (11 . 23) (13 . 26) (14 . 27) (16 . 30)) 698 0.9988 4.2337 ((9 . 31) (10 . 34) (11 . 36) (12 . 37) (13 . 38) (14 . 39) (16 . 40)) 828 0.9989 4.1202 ((9 . 7) (10 . 8) (11 . 9) (12 . 10) (13 . 11) (14 . 12) (16 . 13)) 888 0.9987 4.2603 ((9 . 13) (10 . 14) (11 . 15) (12 . 17) (13 . 19) (14 . 20) (16 . 21)) 919 0.9986 4.4148 ((9 . 3) (10 . 4) (11 . 5) (12 . 6) (13 . 8) (14 . 9) (16 . 10)) 922 0.9976 4.9930 ((9 . 1) (10 . 3) (11 . 4) (12 . 7) (13 . 8) (14 . 10) (16 . 11)) 926 0.5713 4.8691 ((12 . 8) (13 . 9) (14 . 11) (16 . 12)) 927 0.8565 4.3561 ((9 . 13) (10 . 14) (11 . 15) (13 . 18) (14 . 19) (16 . 20)) 1025 0.8562 4.8092 ((9 . 3) (10 . 4) (11 . 5) (13 . 7) (14 . 8) (16 . 9)) 1086 0.8521 7.3354 ((9 . 2) (10 . 3) (11 . 5) (12 . 6) (14 . 8) (16 . 10)) 1110 0.9989 4.1214 ((9 . 10) (10 . 11) (11 . 13) (12 . 14) (13 . 15) (14 . 16) (16 . 18)) 1112 0.9976 4.9900 ((9 . 2) (10 . 6) (11 . 7) (12 . 8) (13 . 9) (14 . 10) (16 . 12)) 1126 0.9978 4.9009 ((9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 7) (14 . 9) (16 . 10)) 1127 0.9999 2.2852 ((9 . 13) (10 . 14) (11 . 16) (12 . 17) (13 . 18) (14 . 19) (16 . 21)) 1149 0.9997 3.0569 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 7)) 1164 0.8551 5.8546 ((9 . 2) (10 . 3) (12 . 6) (13 . 7) (14 . 9) (16 . 10)) 1181 0.5712 5.5465 ((9 . 1) (10 . 2) (11 . 3) (12 . 4)) 1235 0.9990 4.0396 ((9 . 1) (10 . 3) (11 . 4) (12 . 6) (13 . 7) (14 . 9) (16 . 10)) 1236 0.9978 4.8911 ((9 . 11) (10 . 14) (11 . 15) (12 . 18) (13 . 19) (14 . 21) (16 . 23)) 1270 0.8563 4.7289 ((10 . 35) (11 . 36) (12 . 37) (13 . 38) (14 . 39) (16 . 40)) 1293 0.9932 6.5247 ((9 . 1) (10 . 4) (11 . 5) (12 . 7) (13 . 10) (14 . 11) (16 . 12)) 1294 0.9989 4.1229 ((9 . 39) (10 . 40) (11 . 41) (12 . 43) (13 . 44) (14 . 46) (16 . 47)) 1295 0.9985 4.4539 ((9 . 48) (10 . 49) (11 . 50) (12 . 51) (13 . 52) (14 . 53) (16 . 54)) 1341 0.8549 5.9525 ((10 . 3) (11 . 5) (12 . 7) (13 . 8) (14 . 10) (16 . 12)) 1342 0.9966 5.4585 ((9 . 14) (10 . 17) (11 . 19) (12 . 20) (13 . 21) (14 . 22) (16 . 23)) 1363 0.7141 4.2470 ((11 . 3) (12 . 5) (13 . 6) (14 . 7) (16 . 8)) 1374 0.8568 3.6470 ((9 . 1) (10 . 3) (11 . 4) (13 . 6) (14 . 8) (16 . 9)) 1375 0.8568 3.7525 ((9 . 10) (10 . 12) (11 . 14) (13 . 16) (14 . 18) (16 . 20)) 1390 0.5702 8.6175 ((11 . 1) (12 . 2) (13 . 3) (14 . 4)) 1391 0.9864 7.7945 ((9 . 11) (10 . 12) (11 . 13) (12 . 15) (13 . 16) (14 . 17) (16 . 18)) 1392 0.9999 2.4657 ((9 . 20) (10 . 21) (11 . 22) (12 . 23) (13 . 24) (14 . 25) (16 . 26)) 1418 0.9995 3.3341 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 8)) 1419 0.9999 1.9279 ((9 . 10) (10 . 11) (11 . 12) (12 . 13) (13 . 14) (14 . 15) (16 . 16)) 1445 0.9975 5.0747 ((9 . 1) (10 . 3) (11 . 5) (12 . 6) (13 . 10) (14 . 12) (16 . 13)) 1446 0.9985 4.4273 ((9 . 14) (10 . 16) (11 . 17) (12 . 19) (13 . 20) (14 . 22) (16 . 24)) 1502 0.9978 4.9083 ((9 . 1) (10 . 3) (11 . 4) (12 . 6) (13 . 7) (14 . 9) (16 . 10)) 1555 0.9975 5.0721 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 6) (14 . 8) (16 . 9)) 1566 0.7138 5.0382 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 6)) 1568 0.9999 2.4585 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 7)) 1569 0.9999 1.6651 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 8)) 1570 1.0000 0.0000 ((9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (16 . 16)) 1571 0.9999 1.4105 ((9 . 17) (10 . 18) (11 . 19) (12 . 20) (13 . 21) (14 . 22) (16 . 24)) 1572 0.9999 1.1398 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 8)) 1573 0.9999 1.4613 ((9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (16 . 16)) 1579 0.9979 4.8363 ((9 . 2) (10 . 3) (11 . 5) (12 . 6) (13 . 10) (14 . 12) (16 . 14)) 1580 0.9987 4.3022 ((9 . 1) (10 . 3) (11 . 4) (12 . 7) (13 . 8) (14 . 9) (16 . 11)) 1600 0.9965 5.5082 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 6) (14 . 8) (16 . 9)) 1601 0.9982 4.6466 ((9 . 10) (10 . 11) (11 . 12) (12 . 15) (13 . 17) (14 . 20) (16 . 21)) 1660 0.8571 1.1674 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 7)) 1661 0.9998 2.8243 ((9 . 11) (10 . 12) (11 . 14) (12 . 15) (13 . 16) (14 . 17) (16 . 18)) 1666 0.5713 5.0546 ((9 . 7) (10 . 8) (11 . 9) (12 . 10)) 1667 0.9989 4.1008 ((9 . 38) (10 . 39) (11 . 40) (12 . 41) (13 . 42) (14 . 44) (16 . 45)) 1668 0.9994 3.5577 ((9 . 46) (10 . 48) (11 . 50) (12 . 51) (13 . 53) (14 . 54) (16 . 55)) 1684 0.8569 3.3082 ((9 . 1) (10 . 3) (11 . 4) (13 . 7) (14 . 9) (16 . 11)) 1688 0.9971 5.2667 ((9 . 1) (10 . 3) (11 . 4) (12 . 6) (13 . 7) (14 . 9) (16 . 10)) 1722 0.5709 6.9885 ((12 . 1) (13 . 2) (14 . 4) (16 . 6)) 1723 0.5708 7.3453 ((9 . 16) (10 . 17) (11 . 19) (12 . 20)) 1826 0.8568 3.5975 ((9 . 2) (10 . 3) (11 . 5) (12 . 6) (13 . 8) (14 . 9)) 1827 0.9999 2.1644 ((9 . 13) (10 . 14) (11 . 16) (12 . 18) (13 . 19) (14 . 20) (16 . 21)) 1828 0.8532 6.8778 ((9 . 22) (10 . 23) (11 . 26) (12 . 27) (13 . 28) (14 . 29)) 1864 0.9985 4.4797 ((9 . 1) (10 . 3) (11 . 4) (12 . 6) (13 . 7) (14 . 9) (16 . 10)) 1928 0.9987 4.2745 ((9 . 1) (10 . 3) (11 . 4) (12 . 6) (13 . 7) (14 . 9) (16 . 11)) 1938 0.9994 3.4778 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 6) (14 . 8) (16 . 9)) 1939 0.9940 6.3190 ((9 . 10) (10 . 11) (11 . 12) (12 . 15) (13 . 16) (14 . 17) (16 . 18)) 1996 0.5714 3.2374 ((9 . 4) (10 . 5) (11 . 6) (12 . 7)) 2009 0.8500 8.0301 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 7)) 2022 0.9880 7.5511 ((9 . 14) (10 . 15) (11 . 16) (12 . 19) (13 . 20) (14 . 22) (16 . 24)) 2061 0.9988 4.1903 ((9 . 1) (10 . 3) (11 . 5) (12 . 6) (13 . 7) (14 . 8) (16 . 9)) 2087 0.9990 4.0203 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 8) (14 . 10) (16 . 12)) 2110 0.9857 7.8901 ((9 . 21) (10 . 23) (11 . 24) (12 . 26) (13 . 27) (14 . 28) (16 . 29)) 2165 0.9988 4.1809 ((9 . 24) (10 . 29) (11 . 30) (12 . 31) (13 . 32) (14 . 37) (16 . 40)) 2186 0.9952 5.9721 ((9 . 7) (10 . 8) (11 . 9) (12 . 11) (13 . 12) (14 . 13) (16 . 14)) 2188 0.8568 3.5995 ((9 . 9) (10 . 10) (11 . 11) (13 . 14) (14 . 15) (16 . 16)) 2191 0.8562 4.8420 ((10 . 1) (11 . 2) (12 . 4) (13 . 5) (14 . 7) (16 . 8)) 2221 0.9974 5.1180 ((9 . 1) (10 . 2) (11 . 3) (12 . 5) (13 . 6) (14 . 8) (16 . 9)) 2246 0.9981 4.7357 ((9 . 1) (10 . 2) (11 . 3) (12 . 5) (13 . 9) (14 . 11) (16 . 12)) 2318 0.9983 4.6296 ((9 . 2) (10 . 3) (11 . 5) (12 . 6) (13 . 10) (14 . 12) (16 . 14)) 2319 0.9915 6.9069 ((9 . 15) (10 . 16) (11 . 17) (12 . 19) (13 . 20) (14 . 21) (16 . 22)) 2320 0.8525 7.1968 ((10 . 3) (11 . 4) (12 . 5) (13 . 6) (14 . 7) (16 . 8)) 2321 0.7142 3.5737 ((10 . 14) (11 . 15) (13 . 18) (14 . 20) (16 . 22)) 2338 0.8563 4.6482 ((9 . 13) (10 . 14) (11 . 15) (13 . 19) (14 . 21) (16 . 22)) 2365 0.9976 5.0386 ((9 . 1) (10 . 3) (11 . 6) (12 . 9) (13 . 10) (14 . 11) (16 . 12)) 2428 0.7130 6.4920 ((11 . 8) (12 . 9) (13 . 10) (14 . 12) (16 . 13)) 2441 0.9967 5.4219 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 6) (14 . 7) (16 . 8)) 2442 0.9967 5.4302 ((9 . 10) (10 . 12) (11 . 14) (12 . 15) (13 . 16) (14 . 17) (16 . 19)) 2444 0.9992 3.7678 ((9 . 1) (10 . 2) (11 . 4) (12 . 5) (13 . 7) (14 . 8) (16 . 9)) 2445 0.9999 2.0028 ((9 . 11) (10 . 12) (11 . 14) (12 . 15) (13 . 16) (14 . 17) (16 . 19)) 2473 0.9995 3.4153 ((9 . 2) (10 . 3) (11 . 5) (12 . 6) (13 . 8) (14 . 10) (16 . 11)) 2507 0.9963 5.5864 ((9 . 3) (10 . 4) (11 . 6) (12 . 9) (13 . 11) (14 . 13) (16 . 14)) 2508 0.9975 5.0704 ((9 . 16) (10 . 17) (11 . 19) (12 . 20) (13 . 22) (14 . 24) (16 . 25)) 2531 0.9965 5.4973 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 7) (14 . 8) (16 . 9)) 2534 0.9990 4.0410 ((9 . 16) (10 . 18) (11 . 19) (12 . 20) (13 . 22) (14 . 23) (16 . 25)) 2577 0.9955 5.8679 ((9 . 2) (10 . 3) (11 . 5) (12 . 6) (13 . 7) (14 . 9) (16 . 10)) 2578 0.8548 6.0520 ((9 . 12) (10 . 13) (11 . 15) (13 . 18) (14 . 20) (16 . 21)) 2579 0.9985 4.4643 ((9 . 22) (10 . 24) (11 . 25) (12 . 27) (13 . 29) (14 . 31) (16 . 32)) 2641 0.9988 4.2200 ((9 . 1) (10 . 3) (11 . 5) (12 . 7) (13 . 8) (14 . 9) (16 . 10)) 2686 0.9920 6.8065 ((9 . 2) (10 . 3) (11 . 4) (12 . 7) (13 . 9) (14 . 10) (16 . 11)) 2728 0.9992 3.7770 ((9 . 1) (10 . 2) (11 . 3) (12 . 5) (13 . 6) (14 . 9) (16 . 10)) 2767 0.9995 3.3230 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 7)) 2812 0.9991 3.8799 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 7)) 2813 0.2945 8.5161 ((11 . 9) (12 . 10) (14 . 12) (16 . 13)) 2877 0.8557 5.3821 ((10 . 2) (11 . 3) (12 . 4) (13 . 6) (14 . 7) (16 . 8)) 2880 0.9973 5.1465 ((9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 7) (14 . 8) (16 . 12)) 2971 0.7124 7.2136 ((11 . 8) (12 . 10) (13 . 11) (14 . 13) (16 . 14)) 2987 0.8565 4.4143 ((9 . 26) (10 . 28) (12 . 30) (13 . 31) (14 . 32) (16 . 33)) 3099 0.9985 4.4356 ((9 . 23) (10 . 24) (11 . 25) (12 . 26) (13 . 27) (14 . 28) (16 . 29)) 3101 0.9986 4.3442 ((9 . 50) (10 . 51) (11 . 52) (12 . 53) (13 . 54) (14 . 55) (16 . 56)) 3159 0.9992 3.7765 ((9 . 52) (10 . 54) (11 . 55) (12 . 57) (13 . 59) (14 . 60) (16 . 61)) 3185 0.8554 5.6040 ((9 . 14) (10 . 15) (11 . 16) (13 . 21) (14 . 23) (16 . 24)) 3186 0.8567 4.0457 ((9 . 1) (10 . 2) (11 . 3) (13 . 7) (14 . 8) (16 . 9)) 3205 0.9997 2.9289 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 8)) 3292 0.9983 4.6002 ((9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 8) (14 . 10) (16 . 11)) 3342 0.9957 5.7994 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 7) (14 . 8) (16 . 9)) 3357 0.7118 7.7420 ((9 . 4) (10 . 5) (11 . 6) (12 . 7) (13 . 8)) 3378 0.8568 3.7211 ((9 . 32) (10 . 34) (11 . 35) (13 . 37) (14 . 39) (16 . 40)) 3417 0.9979 4.8595 ((9 . 2) (10 . 6) (11 . 7) (12 . 8) (13 . 9) (14 . 10) (16 . 11)) 3430 0.8560 5.0727 ((9 . 2) (10 . 4) (11 . 5) (13 . 8) (14 . 9) (16 . 10)) 3431 0.9850 7.9884 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 7)) 3443 0.9986 4.3990 ((9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 7) (14 . 8) (16 . 9)) 3444 0.9990 3.9820 ((9 . 37) (10 . 38) (11 . 39) (12 . 41) (13 . 43) (14 . 45) (16 . 46)) 3445 0.9993 3.6167 ((9 . 47) (10 . 48) (11 . 49) (12 . 50) (13 . 51) (14 . 52) (16 . 53)) 3472 0.7127 6.8490 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (14 . 8)) 3478 0.9897 7.2467 ((9 . 3) (10 . 4) (11 . 5) (12 . 7) (13 . 8) (14 . 9) (16 . 10)) 3507 0.7141 4.0652 ((9 . 31) (10 . 33) (11 . 34) (14 . 37) (16 . 38)) 3530 0.8566 4.1114 ((9 . 20) (10 . 21) (12 . 23) (13 . 24) (14 . 25) (16 . 27)) 3531 0.8563 4.7211 ((10 . 30) (11 . 32) (12 . 33) (13 . 34) (14 . 35) (16 . 36)) 3532 0.7134 6.0308 ((9 . 37) (10 . 38) (13 . 39) (14 . 40) (16 . 42)) 3550 0.8564 4.4957 ((9 . 2) (10 . 3) (11 . 6) (13 . 9) (14 . 10) (16 . 13)) 3554 0.9986 4.3864 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 8) (14 . 10) (16 . 11)) 3555 0.9987 4.2808 ((9 . 12) (10 . 14) (11 . 15) (12 . 17) (13 . 19) (14 . 21) (16 . 23)) 3556 0.9999 2.5028 ((9 . 1) (10 . 2) (11 . 3) (12 . 5) (13 . 8) (14 . 10) (16 . 12)) 3557 0.7142 3.6395 ((10 . 15) (11 . 16) (13 . 19) (14 . 21) (16 . 23)) 3655 0.5681 10.9847 ((10 . 29) (13 . 31) (14 . 32) (16 . 34)) 3667 0.9962 5.6201 ((9 . 3) (10 . 4) (11 . 6) (12 . 7) (13 . 8) (14 . 9) (16 . 10)) 3690 0.9965 5.4982 ((9 . 1) (10 . 4) (11 . 5) (12 . 6) (13 . 9) (14 . 11) (16 . 12)) 3699 0.8571 2.6839 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 8)) 3700 0.9999 1.9711 ((9 . 13) (10 . 14) (11 . 16) (12 . 17) (13 . 18) (14 . 19) (16 . 20)) 3762 0.8567 4.0360 ((9 . 1) (10 . 2) (11 . 3) (13 . 5) (14 . 6) (16 . 7)) 3791 0.5712 5.5292 ((9 . 47) (10 . 48) (11 . 50) (14 . 52)) 3792 0.8512 7.6349 ((9 . 55) (10 . 56) (12 . 58) (13 . 59) (14 . 60) (16 . 61)) 3793 0.7112 8.1338 ((9 . 66) (10 . 67) (11 . 69) (12 . 70) (16 . 71)) 3794 0.5712 5.2906 ((10 . 23) (12 . 26) (13 . 27) (16 . 30)) 3876 0.8562 4.8136 ((9 . 2) (10 . 3) (11 . 4) (13 . 6) (14 . 7) (16 . 10)) 3948 0.8524 7.2398 ((9 . 5) (10 . 6) (11 . 7) (12 . 9) (13 . 10) (14 . 12)) 3949 0.9977 4.9560 ((9 . 15) (10 . 16) (11 . 17) (12 . 19) (13 . 21) (14 . 22) (16 . 24)) 3950 0.9985 4.4590 ((9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 8) (14 . 10) (16 . 12)) 3951 0.9981 4.7518 ((9 . 13) (10 . 15) (11 . 16) (12 . 18) (13 . 19) (14 . 21) (16 . 22)) 4079 0.9989 4.1252 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 7) (14 . 8) (16 . 10)) 4109 0.9992 3.8492 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 7) (16 . 8)) 4110 0.9995 3.3188 ((9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (16 . 16)) 4111 0.9999 2.0973 ((9 . 17) (10 . 18) (11 . 19) (12 . 20) (13 . 22) (14 . 23) (16 . 24)) 4145 0.9988 4.1873 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 6) (14 . 7) (16 . 9)) 4146 0.7142 3.1813 ((9 . 11) (10 . 12) (11 . 14) (13 . 15) (14 . 16)) 4178 0.9889 7.3934 ((9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 7) (14 . 9) (16 . 10)) 4197 0.9975 5.0823 ((9 . 1) (10 . 2) (11 . 4) (12 . 5) (13 . 8) (14 . 10) (16 . 11)) 4199 0.8564 4.5275 ((9 . 1) (10 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 7)) 4219 0.9960 5.6970 ((9 . 2) (10 . 4) (11 . 5) (12 . 6) (13 . 8) (14 . 9) (16 . 10)) 4221 0.8520 7.3737 ((10 . 3) (11 . 5) (12 . 6) (13 . 7) (14 . 8) (16 . 10)) 4224 0.9993 3.6793 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 9) (14 . 11) (16 . 13)) 4230 0.9981 4.7112 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 8) (14 . 11) (16 . 13)) 4286 0.9979 4.8677 ((9 . 3) (10 . 4) (11 . 6) (12 . 9) (13 . 11) (14 . 13) (16 . 15)) 4289 0.9994 3.6016 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 7) (14 . 9) (16 . 10)) 4290 0.9993 3.6916 ((9 . 11) (10 . 13) (11 . 14) (12 . 15) (13 . 17) (14 . 18) (16 . 20)) 4349 0.9984 4.5112 ((9 . 1) (10 . 3) (11 . 4) (12 . 7) (13 . 8) (14 . 10) (16 . 12)) 4464 0.9956 5.8364 ((9 . 1) (10 . 2) (11 . 3) (12 . 6) (13 . 7) (14 . 9) (16 . 10)) 4512 0.9985 4.4435 ((9 . 2) (10 . 3) (11 . 6) (12 . 7) (13 . 8) (14 . 9) (16 . 10)) 4525 0.9988 4.1776 ((9 . 20) (10 . 21) (11 . 23) (12 . 24) (13 . 26) (14 . 28) (16 . 29)) 4526 0.9996 3.1139 ((9 . 30) (10 . 31) (11 . 32) (12 . 33) (13 . 34) (14 . 35) (16 . 36)) 4581 0.7128 6.7826 ((9 . 1) (10 . 2) (11 . 3) (12 . 5) (16 . 9)) 4584 0.9986 4.4048 ((9 . 1) (10 . 3) (11 . 5) (12 . 6) (13 . 9) (14 . 11) (16 . 13)) 4637 0.9993 3.6442 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 8) (14 . 10) (16 . 12)) 4638 0.5711 6.2193 ((9 . 13) (10 . 14) (12 . 16) (13 . 18)) 4639 0.9986 4.3529 ((9 . 2) (10 . 3) (11 . 5) (12 . 6) (13 . 9) (14 . 10) (16 . 12)) 4640 0.9986 4.3888 ((9 . 14) (10 . 16) (11 . 17) (12 . 19) (13 . 21) (14 . 23) (16 . 24)) 4687 0.9988 4.2037 ((9 . 27) (10 . 28) (11 . 30) (12 . 31) (13 . 33) (14 . 34) (16 . 35)) 4700 0.9995 3.4106 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 6) (14 . 8) (16 . 10)) 4708 0.8558 5.2669 ((9 . 48) (10 . 49) (11 . 50) (13 . 51) (14 . 53) (16 . 54)) 4744 0.9971 5.2755 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 7)) 4777 0.9976 5.0333 ((9 . 3) (10 . 4) (11 . 5) (12 . 6) (13 . 7) (14 . 10) (16 . 11)) 4800 0.7141 3.9678 ((9 . 1) (10 . 3) (13 . 5) (14 . 7) (16 . 8)) 4809 0.9998 2.6369 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 7)) 4892 0.7118 7.6901 ((11 . 2) (12 . 3) (13 . 4) (14 . 5) (16 . 6)) 4896 0.9958 5.7606 ((9 . 1) (10 . 3) (11 . 5) (12 . 7) (13 . 8) (14 . 10) (16 . 11)) 4897 0.7134 5.9292 ((9 . 12) (10 . 14) (13 . 15) (14 . 17) (16 . 18)) 4898 0.3788 9.4127 ((12 . 20) (13 . 22) (14 . 23) (16 . 27)) 4908 0.8506 7.8492 ((10 . 3) (11 . 4) (12 . 6) (13 . 7) (14 . 8) (16 . 9)) 4921 0.7109 8.3109 ((10 . 7) (11 . 8) (12 . 9) (14 . 12) (16 . 14)) 4923 0.9950 6.0364 ((9 . 15) (10 . 16) (11 . 17) (12 . 18) (13 . 19) (14 . 20) (16 . 22)) 4951 0.9994 3.5666 ((9 . 47) (10 . 49) (11 . 50) (12 . 51) (13 . 54) (14 . 55) (16 . 56)) 4967 0.8566 4.1665 ((9 . 24) (10 . 26) (12 . 28) (13 . 29) (14 . 30) (16 . 31)) 4968 0.5714 3.6054 ((9 . 39) (10 . 40) (11 . 42) (12 . 43)) 5040 0.9993 3.7262 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 10) (14 . 12) (16 . 13)) 5043 0.7139 4.6988 ((9 . 5) (10 . 6) (11 . 7) (12 . 9) (13 . 11)) 5166 0.7120 7.5759 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (16 . 6)) 5246 0.9973 5.1488 ((9 . 3) (10 . 4) (11 . 6) (12 . 9) (13 . 10) (14 . 12) (16 . 14)) 5281 0.5714 3.4639 ((9 . 65) (10 . 66) (11 . 67) (14 . 69)) 5310 0.9984 4.5322 ((9 . 1) (10 . 4) (11 . 5) (12 . 8) (13 . 9) (14 . 10) (16 . 12)) 5311 0.8566 4.1610 ((10 . 14) (11 . 15) (12 . 16) (13 . 17) (14 . 18) (16 . 20)) 5316 0.9987 4.3106 ((9 . 2) (10 . 3) (11 . 5) (12 . 6) (13 . 10) (14 . 12) (16 . 14)) 5319 0.9999 1.7647 ((9 . 1) (10 . 2) (11 . 3) (12 . 5) (13 . 6) (14 . 7) (16 . 8)) 5320 0.9995 3.4064 ((9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (16 . 16)) 5342 0.9988 4.1933 ((9 . 45) (10 . 47) (11 . 48) (12 . 50) (13 . 51) (14 . 52) (16 . 54)) 5413 0.9969 5.3428 ((9 . 2) (10 . 3) (11 . 4) (12 . 6) (13 . 8) (14 . 10) (16 . 11)) 5431 0.9999 1.6853 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 7)) 5432 0.9999 1.5894 ((9 . 8) (10 . 9) (11 . 10) (12 . 11) (13 . 12) (14 . 13) (16 . 15)) 5497 0.8563 4.6213 ((10 . 22) (11 . 23) (12 . 25) (13 . 26) (14 . 28) (16 . 29)) 5552 0.9988 4.2008 ((9 . 5) (10 . 6) (11 . 8) (12 . 9) (13 . 11) (14 . 12) (16 . 14)) 5615 0.9982 4.6918 ((9 . 28) (10 . 29) (11 . 30) (12 . 32) (13 . 33) (14 . 34) (16 . 35)) 5633 0.9940 6.3195 ((9 . 1) (10 . 2) (11 . 3) (12 . 5) (13 . 6) (14 . 8) (16 . 10)) 5634 0.7142 3.5636 ((9 . 11) (10 . 13) (11 . 14) (13 . 17) (14 . 18)) 5682 0.5708 7.1457 ((9 . 6) (10 . 9) (11 . 10) (14 . 14)) 5683 0.9980 4.7634 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 7) (14 . 8) (16 . 10)) 5733 0.9987 4.2921 ((9 . 12) (10 . 14) (11 . 15) (12 . 17) (13 . 19) (14 . 21) (16 . 22)) 5835 0.8566 4.1973 ((9 . 35) (10 . 37) (11 . 38) (13 . 41) (14 . 42) (16 . 44)) 5863 0.8568 3.7593 ((9 . 30) (10 . 31) (11 . 33) (13 . 37) (14 . 38) (16 . 39)) 5899 0.9999 0.9912 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 8)) 5916 0.8544 6.2625 ((9 . 1) (10 . 2) (12 . 3) (13 . 4) (14 . 5) (16 . 8)) 5936 0.9975 5.0674 ((9 . 1) (10 . 4) (11 . 5) (12 . 6) (13 . 11) (14 . 13) (16 . 14)) 5948 0.8563 4.6665 ((9 . 1) (10 . 3) (11 . 5) (12 . 8) (13 . 9) (14 . 10)) 5974 0.9990 4.0568 ((9 . 2) (10 . 4) (11 . 5) (12 . 6) (13 . 8) (14 . 10) (16 . 12)) 5988 0.9907 7.0645 ((9 . 1) (10 . 2) (11 . 3) (12 . 5) (13 . 6) (14 . 7) (16 . 8)) 5989 0.9998 2.8393 ((9 . 1) (10 . 2) (11 . 4) (12 . 5) (13 . 6) (14 . 7) (16 . 9)) 5993 0.8570 3.0414 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 7)) 6012 0.9996 3.1345 ((9 . 48) (10 . 50) (11 . 51) (12 . 52) (13 . 53) (14 . 54) (16 . 55)) 6013 0.7134 5.9307 ((10 . 62) (11 . 63) (12 . 64) (14 . 68) (16 . 70)) 6037 0.9992 3.8430 ((9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 6) (14 . 7) (16 . 8)) 6105 0.8555 5.4981 ((10 . 3) (11 . 4) (12 . 5) (13 . 7) (14 . 8) (16 . 9)) 6124 0.9986 4.4024 ((9 . 8) (10 . 9) (11 . 10) (12 . 12) (13 . 14) (14 . 15) (16 . 16)) 6126 0.9989 4.1374 ((9 . 9) (10 . 10) (11 . 11) (12 . 13) (13 . 15) (14 . 16) (16 . 17)) 6206 0.9992 3.7963 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 6) (14 . 8) (16 . 9)) 6207 0.9992 3.7811 ((9 . 10) (10 . 12) (11 . 14) (12 . 15) (13 . 16) (14 . 18) (16 . 19)) 6285 0.9993 3.7052 ((9 . 1) (10 . 4) (11 . 5) (12 . 6) (13 . 8) (14 . 9) (16 . 10)) 6287 0.9991 3.9186 ((9 . 38) (10 . 39) (11 . 40) (12 . 41) (13 . 42) (14 . 44) (16 . 45)) 6288 0.9993 3.7417 ((9 . 46) (10 . 47) (11 . 48) (12 . 49) (13 . 50) (14 . 51) (16 . 52)) 6334 0.9958 5.7773 ((9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 6) (14 . 8) (16 . 9)) 6338 0.8561 4.9524 ((10 . 1) (11 . 2) (12 . 4) (13 . 5) (14 . 7) (16 . 8)) 6379 0.9978 4.9235 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 6) (14 . 7) (16 . 8)) 6380 0.9946 6.1567 ((9 . 9) (10 . 11) (11 . 13) (12 . 14) (13 . 15) (14 . 17) (16 . 19)) 6443 0.9858 7.8883 ((9 . 1) (10 . 3) (11 . 4) (12 . 5) (13 . 6) (14 . 8) (16 . 10)) 6444 0.9990 3.9951 ((9 . 14) (10 . 15) (11 . 16) (12 . 17) (13 . 19) (14 . 21) (16 . 22)) 6445 0.8568 3.7103 ((9 . 1) (10 . 3) (11 . 4) (13 . 6) (14 . 8) (16 . 9)) 6446 0.9994 3.5599 ((9 . 10) (10 . 12) (11 . 14) (12 . 15) (13 . 16) (14 . 18) (16 . 20)) 6449 0.9999 2.3580 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 8)) 6466 0.9991 3.8827 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 7) (16 . 8)) 6467 0.8571 2.3356 ((9 . 10) (10 . 11) (11 . 15) (12 . 16) (13 . 17) (14 . 18)) 6485 0.9988 4.2060 ((9 . 1) (10 . 2) (11 . 3) (12 . 5) (13 . 6) (14 . 9) (16 . 10)) 6570 0.9938 6.3829 ((9 . 15) (10 . 16) (11 . 17) (12 . 19) (13 . 20) (14 . 22) (16 . 23)) 6612 0.9989 4.0951 ((9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 7) (14 . 8) (16 . 9)) END