1601 233 0.8569 3.3819 ((10 . 1) (11 . 2) (12 . 3) (17 . 5) (20 . 7) (21 . 8)) 234 0.8559 5.1585 ((10 . 10) (11 . 11) (12 . 12) (17 . 14) (20 . 15) (21 . 16)) 291 0.9972 5.2081 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 5) (20 . 6) (21 . 7)) 349 0.9950 6.0448 ((10 . 2) (11 . 3) (12 . 4) (15 . 7) (17 . 8) (20 . 10) (21 . 12)) 365 0.8568 3.8419 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 6) (20 . 8)) 388 0.8548 6.0307 ((10 . 16) (11 . 17) (12 . 18) (15 . 19) (20 . 21) (21 . 23)) 402 0.9886 7.4514 ((10 . 2) (11 . 3) (12 . 5) (15 . 6) (17 . 7) (20 . 9) (21 . 11)) 403 0.9973 5.1652 ((10 . 12) (11 . 13) (12 . 15) (15 . 17) (17 . 18) (20 . 20) (21 . 21)) 404 0.7138 5.0150 ((10 . 22) (11 . 24) (12 . 25) (17 . 28) (20 . 30)) 405 0.9974 5.1111 ((10 . 32) (11 . 33) (12 . 35) (15 . 37) (17 . 38) (20 . 39) (21 . 40)) 445 0.8567 4.0485 ((10 . 1) (11 . 2) (12 . 3) (17 . 5) (20 . 6) (21 . 7)) 449 0.7140 4.5632 ((10 . 1) (11 . 2) (12 . 3) (17 . 6) (21 . 9)) 450 0.8552 5.7554 ((10 . 12) (11 . 13) (12 . 15) (17 . 18) (20 . 19) (21 . 20)) 564 0.9977 4.9632 ((10 . 1) (11 . 2) (12 . 3) (15 . 7) (17 . 8) (20 . 10) (21 . 11)) 565 0.9986 4.3486 ((10 . 12) (11 . 13) (12 . 14) (15 . 15) (17 . 16) (20 . 17) (21 . 18)) 567 0.9978 4.9153 ((10 . 1) (11 . 2) (12 . 3) (15 . 5) (17 . 6) (20 . 8) (21 . 10)) 568 0.9963 5.6007 ((10 . 12) (11 . 13) (12 . 15) (15 . 16) (17 . 17) (20 . 18) (21 . 19)) 570 0.5709 7.0121 ((11 . 2) (12 . 3) (15 . 4) (17 . 5)) 571 0.5712 5.4130 ((12 . 14) (15 . 15) (17 . 16) (20 . 17)) 578 0.9922 6.7677 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 5) (20 . 6) (21 . 8)) 579 0.9970 5.3073 ((10 . 9) (11 . 10) (12 . 12) (15 . 13) (17 . 14) (20 . 15) (21 . 17)) 599 0.7105 8.5930 ((12 . 1) (15 . 2) (17 . 3) (20 . 4) (21 . 5)) 600 0.5706 7.7386 ((15 . 10) (17 . 11) (20 . 12) (21 . 13)) 626 0.7137 5.3887 ((11 . 3) (12 . 4) (15 . 5) (17 . 7) (20 . 8)) 668 0.9920 6.8101 ((10 . 2) (11 . 3) (12 . 5) (15 . 7) (17 . 8) (20 . 10) (21 . 11)) 669 0.9881 7.5325 ((10 . 13) (11 . 14) (12 . 16) (15 . 17) (17 . 18) (20 . 20) (21 . 22)) 670 0.5665 12.1319 ((10 . 23) (17 . 28) (20 . 30) (21 . 31)) 671 0.7115 7.9039 ((11 . 35) (12 . 37) (15 . 38) (17 . 40) (20 . 41)) 693 0.8568 3.8359 ((11 . 31) (12 . 32) (15 . 33) (17 . 34) (20 . 35) (21 . 36)) 695 0.9974 5.0948 ((10 . 1) (11 . 3) (12 . 4) (15 . 5) (17 . 6) (20 . 7) (21 . 8)) 696 0.7139 4.6709 ((10 . 10) (11 . 12) (17 . 16) (20 . 17) (21 . 19)) 697 0.8553 5.7056 ((10 . 20) (11 . 22) (12 . 23) (17 . 26) (20 . 27) (21 . 30)) 698 0.9978 4.8993 ((10 . 31) (11 . 34) (12 . 36) (15 . 37) (17 . 38) (20 . 39) (21 . 40)) 828 0.9991 3.9282 ((10 . 7) (11 . 8) (12 . 9) (15 . 10) (17 . 11) (20 . 12) (21 . 13)) 888 0.9999 1.9159 ((10 . 13) (11 . 14) (12 . 15) (15 . 17) (17 . 19) (20 . 20) (21 . 21)) 919 0.9987 4.2640 ((10 . 3) (11 . 4) (12 . 5) (15 . 6) (17 . 8) (20 . 9) (21 . 10)) 922 0.9991 3.8763 ((10 . 1) (11 . 3) (12 . 4) (15 . 7) (17 . 8) (20 . 10) (21 . 11)) 926 0.9952 5.9772 ((10 . 1) (11 . 2) (12 . 4) (15 . 8) (17 . 9) (20 . 11) (21 . 12)) 927 0.9984 4.5468 ((10 . 13) (11 . 14) (12 . 15) (15 . 17) (17 . 18) (20 . 19) (21 . 20)) 1025 0.8570 2.7717 ((10 . 3) (11 . 4) (12 . 5) (17 . 7) (20 . 8) (21 . 9)) 1086 0.7138 5.1712 ((12 . 5) (15 . 6) (17 . 7) (20 . 8) (21 . 10)) 1110 0.9982 4.6930 ((10 . 10) (11 . 11) (12 . 13) (15 . 14) (17 . 15) (20 . 16) (21 . 18)) 1112 0.9952 5.9646 ((10 . 2) (11 . 6) (12 . 7) (15 . 8) (17 . 9) (20 . 10) (21 . 12)) 1126 0.9986 4.3972 ((10 . 2) (11 . 3) (12 . 4) (15 . 6) (17 . 7) (20 . 9) (21 . 10)) 1127 0.9965 5.5350 ((10 . 13) (11 . 14) (12 . 16) (15 . 17) (17 . 18) (20 . 19) (21 . 21)) 1149 0.9954 5.9009 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 5) (20 . 6) (21 . 7)) 1164 0.8558 5.2999 ((10 . 2) (11 . 3) (15 . 6) (17 . 7) (20 . 9) (21 . 10)) 1181 0.8457 9.0451 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (20 . 9) (21 . 11)) 1235 0.9981 4.7266 ((10 . 1) (11 . 3) (12 . 4) (15 . 6) (17 . 7) (20 . 9) (21 . 10)) 1236 0.9937 6.4012 ((10 . 11) (11 . 13) (12 . 15) (15 . 18) (17 . 19) (20 . 21) (21 . 23)) 1270 0.9977 4.9816 ((10 . 34) (11 . 35) (12 . 36) (15 . 37) (17 . 38) (20 . 39) (21 . 40)) 1293 0.9978 4.9065 ((10 . 1) (11 . 4) (12 . 5) (15 . 9) (17 . 10) (20 . 11) (21 . 12)) 1294 0.9982 4.6939 ((10 . 39) (11 . 40) (12 . 41) (15 . 43) (17 . 44) (20 . 46) (21 . 47)) 1295 0.9975 5.0657 ((10 . 48) (11 . 49) (12 . 50) (15 . 51) (17 . 52) (20 . 53) (21 . 54)) 1341 0.8569 3.2478 ((10 . 1) (11 . 3) (12 . 5) (15 . 7) (17 . 8) (20 . 10)) 1342 0.9961 5.6744 ((10 . 14) (11 . 17) (12 . 19) (15 . 20) (17 . 21) (20 . 22) (21 . 23)) 1363 0.7079 9.7763 ((10 . 1) (11 . 3) (12 . 6) (15 . 7) (17 . 8)) 1374 0.7133 6.1345 ((10 . 2) (12 . 4) (17 . 6) (20 . 8) (21 . 9)) 1375 0.5711 6.2916 ((15 . 10) (17 . 12) (20 . 14) (21 . 16)) 1390 0.5705 8.0132 ((12 . 1) (15 . 2) (20 . 6) (21 . 8)) 1391 0.9960 5.7045 ((10 . 11) (11 . 12) (12 . 13) (15 . 15) (17 . 16) (20 . 17) (21 . 18)) 1392 0.9988 4.1802 ((10 . 20) (11 . 21) (12 . 22) (15 . 23) (17 . 24) (20 . 25) (21 . 26)) 1418 0.9931 6.5585 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 5) (20 . 6) (21 . 8)) 1419 0.9967 5.4357 ((10 . 10) (11 . 11) (12 . 12) (15 . 13) (17 . 14) (20 . 15) (21 . 16)) 1445 0.9965 5.5332 ((10 . 2) (11 . 3) (12 . 5) (15 . 9) (17 . 10) (20 . 12) (21 . 13)) 1446 0.8564 4.4968 ((10 . 14) (11 . 16) (12 . 17) (15 . 19) (17 . 20) (20 . 22)) 1502 0.9953 5.9356 ((10 . 1) (11 . 3) (12 . 4) (15 . 6) (17 . 7) (20 . 9) (21 . 10)) 1555 0.9975 5.0641 ((10 . 1) (11 . 2) (12 . 3) (15 . 5) (17 . 6) (20 . 8) (21 . 9)) 1566 0.8564 4.4883 ((10 . 1) (11 . 3) (12 . 4) (15 . 8) (17 . 10) (20 . 12)) 1568 0.9984 4.4998 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 5) (20 . 6) (21 . 7)) 1569 0.9988 4.1764 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 5) (20 . 6) (21 . 8)) 1570 0.9982 4.6466 ((10 . 9) (11 . 10) (12 . 11) (15 . 12) (17 . 13) (20 . 14) (21 . 16)) 1571 0.9984 4.5279 ((10 . 17) (11 . 18) (12 . 19) (15 . 20) (17 . 21) (20 . 22) (21 . 24)) 1572 0.9986 4.3836 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 5) (20 . 6) (21 . 8)) 1573 0.9989 4.0986 ((10 . 9) (11 . 10) (12 . 11) (15 . 12) (17 . 13) (20 . 14) (21 . 16)) 1579 0.9945 6.1805 ((10 . 2) (11 . 3) (12 . 5) (15 . 8) (17 . 10) (20 . 12) (21 . 14)) 1580 0.9962 5.6262 ((10 . 2) (11 . 3) (12 . 4) (15 . 7) (17 . 8) (20 . 9) (21 . 11)) 1600 0.9993 3.7308 ((10 . 1) (11 . 3) (12 . 4) (15 . 5) (17 . 6) (20 . 8) (21 . 9)) 1601 1.0000 0.0000 ((10 . 10) (11 . 11) (12 . 12) (15 . 15) (17 . 17) (20 . 20) (21 . 21)) 1660 0.8564 4.5443 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 5) (20 . 7)) 1661 0.9966 5.4586 ((10 . 11) (11 . 12) (12 . 14) (15 . 15) (17 . 16) (20 . 17) (21 . 18)) 1666 0.9986 4.3500 ((10 . 1) (11 . 4) (12 . 5) (15 . 7) (17 . 8) (20 . 9) (21 . 10)) 1667 0.9987 4.3405 ((10 . 38) (11 . 39) (12 . 40) (15 . 41) (17 . 42) (20 . 44) (21 . 45)) 1668 0.9984 4.5282 ((10 . 46) (11 . 48) (12 . 50) (15 . 51) (17 . 53) (20 . 54) (21 . 55)) 1684 0.8529 7.0423 ((10 . 2) (11 . 3) (12 . 4) (17 . 7) (20 . 9) (21 . 11)) 1688 0.9944 6.2043 ((10 . 1) (11 . 3) (12 . 4) (15 . 6) (17 . 7) (20 . 9) (21 . 10)) 1722 0.5710 6.5806 ((15 . 1) (17 . 2) (20 . 4) (21 . 6)) 1723 0.7126 6.9561 ((12 . 16) (15 . 17) (17 . 19) (20 . 20) (21 . 21)) 1826 0.8567 4.0135 ((10 . 2) (11 . 3) (12 . 5) (15 . 7) (17 . 8) (20 . 9)) 1827 0.9964 5.5626 ((10 . 13) (11 . 14) (12 . 16) (15 . 18) (17 . 19) (20 . 20) (21 . 21)) 1828 0.8557 5.3422 ((10 . 22) (11 . 23) (12 . 26) (15 . 27) (17 . 28) (20 . 29)) 1864 0.9962 5.6485 ((10 . 1) (11 . 3) (12 . 4) (15 . 6) (17 . 7) (20 . 9) (21 . 10)) 1928 0.9963 5.6122 ((10 . 1) (11 . 3) (12 . 4) (15 . 6) (17 . 7) (20 . 9) (21 . 11)) 1938 0.9968 5.4038 ((10 . 1) (11 . 3) (12 . 4) (15 . 5) (17 . 6) (20 . 8) (21 . 9)) 1939 0.9985 4.4847 ((10 . 10) (11 . 11) (12 . 12) (15 . 15) (17 . 16) (20 . 17) (21 . 18)) 1996 0.9974 5.1013 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 5) (20 . 6) (21 . 7)) 2009 0.9975 5.0811 ((10 . 2) (11 . 3) (12 . 4) (15 . 5) (17 . 7) (20 . 8) (21 . 9)) 2022 0.8571 1.5334 ((10 . 14) (11 . 15) (12 . 16) (17 . 20) (20 . 22) (21 . 24)) 2061 0.9989 4.1169 ((10 . 1) (11 . 3) (12 . 5) (15 . 6) (17 . 7) (20 . 8) (21 . 9)) 2087 0.9946 6.1683 ((10 . 2) (11 . 3) (12 . 4) (15 . 7) (17 . 8) (20 . 10) (21 . 12)) 2110 0.5703 8.3395 ((10 . 21) (11 . 23) (12 . 24) (15 . 26)) 2165 0.2944 10.6611 ((10 . 30) (12 . 31) (15 . 32) (21 . 37)) 2186 0.9994 3.5888 ((10 . 7) (11 . 8) (12 . 9) (15 . 11) (17 . 12) (20 . 13) (21 . 14)) 2188 0.8571 1.4202 ((10 . 9) (11 . 10) (12 . 11) (17 . 14) (20 . 15) (21 . 16)) 2191 0.8570 3.1664 ((11 . 1) (12 . 2) (15 . 4) (17 . 5) (20 . 7) (21 . 8)) 2221 0.9985 4.4587 ((10 . 1) (11 . 2) (12 . 3) (15 . 5) (17 . 6) (20 . 8) (21 . 9)) 2246 0.8541 6.4483 ((10 . 1) (11 . 2) (12 . 3) (17 . 9) (20 . 11) (21 . 12)) 2318 0.9956 5.8417 ((10 . 2) (11 . 3) (12 . 5) (15 . 8) (17 . 10) (20 . 12) (21 . 14)) 2319 0.9992 3.8097 ((10 . 15) (11 . 16) (12 . 17) (15 . 18) (17 . 20) (20 . 21) (21 . 22)) 2320 0.9987 4.2589 ((10 . 1) (11 . 3) (12 . 4) (15 . 7) (17 . 8) (20 . 10) (21 . 11)) 2321 0.7143 1.7866 ((11 . 14) (12 . 15) (17 . 18) (20 . 20) (21 . 22)) 2338 0.8571 1.6513 ((10 . 13) (11 . 14) (12 . 15) (17 . 19) (20 . 21) (21 . 22)) 2365 0.9979 4.8721 ((10 . 1) (11 . 3) (12 . 6) (15 . 9) (17 . 10) (20 . 11) (21 . 12)) 2428 0.9900 7.1916 ((10 . 8) (11 . 9) (12 . 10) (15 . 12) (17 . 13) (20 . 14) (21 . 15)) 2441 0.9994 3.6029 ((10 . 1) (11 . 3) (12 . 4) (15 . 5) (17 . 6) (20 . 7) (21 . 8)) 2442 0.9986 4.3911 ((10 . 10) (11 . 12) (12 . 14) (15 . 15) (17 . 16) (20 . 17) (21 . 19)) 2444 0.9997 2.9471 ((10 . 1) (11 . 2) (12 . 4) (15 . 5) (17 . 7) (20 . 8) (21 . 9)) 2445 0.9970 5.3124 ((10 . 11) (11 . 12) (12 . 14) (15 . 15) (17 . 16) (20 . 17) (21 . 19)) 2473 0.9991 3.8680 ((10 . 2) (11 . 3) (12 . 5) (15 . 6) (17 . 8) (20 . 10) (21 . 11)) 2507 0.9958 5.7657 ((10 . 3) (11 . 4) (12 . 6) (15 . 9) (17 . 11) (20 . 13) (21 . 14)) 2508 0.9934 6.4668 ((10 . 16) (11 . 17) (12 . 19) (15 . 20) (17 . 22) (20 . 24) (21 . 25)) 2531 0.9993 3.6375 ((10 . 1) (11 . 2) (12 . 3) (15 . 6) (17 . 7) (20 . 8) (21 . 9)) 2534 0.8552 5.7711 ((10 . 16) (11 . 18) (12 . 19) (17 . 22) (20 . 23) (21 . 25)) 2577 0.9941 6.2831 ((10 . 2) (11 . 3) (12 . 5) (15 . 6) (17 . 7) (20 . 9) (21 . 10)) 2578 0.9953 5.9408 ((10 . 12) (11 . 13) (12 . 15) (15 . 17) (17 . 18) (20 . 20) (21 . 21)) 2579 0.9989 4.1207 ((10 . 22) (11 . 24) (12 . 25) (15 . 27) (17 . 29) (20 . 31) (21 . 32)) 2641 0.9990 4.0746 ((10 . 1) (11 . 3) (12 . 5) (15 . 7) (17 . 8) (20 . 9) (21 . 10)) 2686 0.9964 5.5684 ((10 . 2) (11 . 3) (12 . 4) (15 . 8) (17 . 9) (20 . 10) (21 . 13)) 2728 0.9996 3.2738 ((10 . 1) (11 . 2) (12 . 3) (15 . 5) (17 . 6) (20 . 9) (21 . 10)) 2767 0.9982 4.6857 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 5) (20 . 6) (21 . 7)) 2812 0.5708 7.2974 ((11 . 4) (12 . 5) (15 . 6) (17 . 7)) 2877 0.8560 5.0166 ((11 . 2) (12 . 3) (15 . 4) (17 . 6) (20 . 7) (21 . 8)) 2880 0.9976 5.0132 ((10 . 2) (11 . 3) (12 . 4) (15 . 5) (17 . 7) (20 . 8) (21 . 12)) 2971 0.5711 6.2816 ((10 . 4) (11 . 5) (20 . 13) (21 . 14)) 2987 0.8566 4.2464 ((10 . 26) (11 . 28) (15 . 30) (17 . 31) (20 . 32) (21 . 33)) 3099 0.9990 4.0513 ((10 . 23) (11 . 24) (12 . 25) (15 . 26) (17 . 27) (20 . 28) (21 . 29)) 3101 0.9946 6.1489 ((10 . 50) (11 . 51) (12 . 52) (15 . 53) (17 . 54) (20 . 55) (21 . 56)) 3159 0.9964 5.5501 ((10 . 52) (11 . 54) (12 . 55) (15 . 58) (17 . 59) (20 . 60) (21 . 61)) 3185 0.8570 2.9265 ((10 . 14) (11 . 15) (12 . 16) (17 . 21) (20 . 23) (21 . 24)) 3186 0.8571 1.0467 ((10 . 1) (11 . 2) (12 . 3) (17 . 7) (20 . 8) (21 . 9)) 3205 0.9955 5.8666 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 5) (20 . 6) (21 . 8)) 3292 0.9973 5.1588 ((10 . 2) (11 . 3) (12 . 4) (15 . 7) (17 . 8) (20 . 10) (21 . 11)) 3342 0.9966 5.4717 ((10 . 1) (11 . 3) (12 . 4) (15 . 5) (17 . 7) (20 . 8) (21 . 9)) 3357 0.9911 6.9814 ((10 . 1) (11 . 5) (12 . 6) (15 . 7) (17 . 8) (20 . 10) (21 . 11)) 3378 0.8568 3.8314 ((10 . 32) (11 . 34) (12 . 35) (17 . 37) (20 . 39) (21 . 40)) 3417 0.9969 5.3291 ((10 . 2) (11 . 6) (12 . 7) (15 . 8) (17 . 9) (20 . 10) (21 . 11)) 3430 0.8569 3.4522 ((10 . 2) (11 . 4) (12 . 5) (17 . 8) (20 . 9) (21 . 10)) 3431 0.8565 4.4435 ((10 . 1) (11 . 2) (12 . 3) (15 . 6) (17 . 7) (20 . 8)) 3443 0.9973 5.1512 ((10 . 2) (11 . 3) (12 . 4) (15 . 6) (17 . 7) (20 . 8) (21 . 9)) 3444 0.9984 4.5492 ((10 . 37) (11 . 38) (12 . 39) (15 . 41) (17 . 43) (20 . 45) (21 . 46)) 3445 0.9997 2.9054 ((10 . 47) (11 . 48) (12 . 49) (15 . 50) (17 . 51) (20 . 52) (21 . 53)) 3472 0.5713 4.5176 ((10 . 1) (11 . 3) (12 . 4) (15 . 5)) 3478 0.9962 5.6291 ((10 . 3) (11 . 4) (12 . 5) (15 . 7) (17 . 8) (20 . 9) (21 . 10)) 3507 0.7138 5.1369 ((10 . 31) (11 . 33) (12 . 34) (20 . 37) (21 . 38)) 3530 0.8565 4.3511 ((10 . 20) (11 . 21) (15 . 23) (17 . 24) (20 . 25) (21 . 27)) 3531 0.8555 5.5049 ((11 . 30) (12 . 32) (15 . 33) (17 . 34) (20 . 35) (21 . 36)) 3532 0.7136 5.6015 ((10 . 37) (11 . 38) (17 . 39) (20 . 40) (21 . 41)) 3550 0.8570 3.1615 ((10 . 2) (11 . 3) (12 . 6) (17 . 9) (20 . 10) (21 . 13)) 3554 0.9978 4.9050 ((10 . 1) (11 . 3) (12 . 4) (15 . 5) (17 . 8) (20 . 10) (21 . 11)) 3555 0.9999 1.7928 ((10 . 12) (11 . 14) (12 . 15) (15 . 17) (17 . 19) (20 . 21) (21 . 23)) 3556 0.9972 5.1996 ((10 . 1) (11 . 2) (12 . 3) (15 . 7) (17 . 8) (20 . 10) (21 . 12)) 3557 0.8548 6.0641 ((11 . 15) (12 . 16) (15 . 18) (17 . 19) (20 . 21) (21 . 23)) 3655 0.5662 12.3072 ((11 . 29) (17 . 31) (20 . 32) (21 . 34)) 3667 0.9981 4.7499 ((10 . 3) (11 . 4) (12 . 6) (15 . 7) (17 . 8) (20 . 9) (21 . 10)) 3690 0.9940 6.3148 ((10 . 1) (11 . 4) (12 . 5) (15 . 6) (17 . 9) (20 . 11) (21 . 12)) 3699 0.7140 4.4044 ((10 . 1) (11 . 2) (12 . 3) (17 . 5) (20 . 8)) 3700 0.9974 5.1321 ((10 . 13) (11 . 14) (12 . 16) (15 . 17) (17 . 18) (20 . 19) (21 . 20)) 3762 0.8566 4.2679 ((10 . 1) (11 . 2) (12 . 3) (17 . 5) (20 . 6) (21 . 7)) 3791 0.5710 6.5356 ((10 . 47) (11 . 48) (12 . 50) (17 . 52)) 3792 0.8555 5.5023 ((11 . 55) (12 . 56) (15 . 59) (17 . 60) (20 . 61) (21 . 62)) 3793 0.8499 8.0504 ((11 . 66) (12 . 67) (15 . 69) (17 . 70) (20 . 71) (21 . 72)) 3794 0.5703 8.3663 ((10 . 27) (11 . 29) (12 . 30) (15 . 31)) 3876 0.8566 4.1883 ((10 . 2) (11 . 3) (12 . 4) (17 . 6) (20 . 7) (21 . 10)) 3948 0.9991 3.9433 ((10 . 1) (11 . 3) (12 . 5) (15 . 9) (17 . 10) (20 . 12) (21 . 13)) 3949 0.9999 1.8401 ((10 . 15) (11 . 16) (12 . 17) (15 . 19) (17 . 21) (20 . 22) (21 . 24)) 3950 0.9972 5.2044 ((10 . 2) (11 . 3) (12 . 4) (15 . 7) (17 . 8) (20 . 10) (21 . 12)) 3951 0.9998 2.7470 ((10 . 13) (11 . 15) (12 . 16) (15 . 18) (17 . 19) (20 . 21) (21 . 22)) 4079 0.8555 5.5191 ((10 . 1) (11 . 3) (12 . 4) (17 . 7) (20 . 8) (21 . 10)) 4109 0.9963 5.5833 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 5) (20 . 7) (21 . 8)) 4110 0.9966 5.4820 ((10 . 9) (11 . 10) (12 . 11) (15 . 12) (17 . 13) (20 . 14) (21 . 16)) 4111 0.9970 5.2991 ((10 . 17) (11 . 18) (12 . 19) (15 . 20) (17 . 22) (20 . 23) (21 . 24)) 4145 0.9949 6.0739 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 6) (20 . 7) (21 . 9)) 4146 0.7142 3.4356 ((10 . 11) (11 . 12) (12 . 14) (17 . 15) (20 . 16)) 4178 0.9943 6.2264 ((10 . 2) (11 . 3) (12 . 4) (15 . 6) (17 . 7) (20 . 9) (21 . 10)) 4197 0.9959 5.7356 ((10 . 1) (11 . 2) (12 . 4) (15 . 7) (17 . 8) (20 . 10) (21 . 11)) 4199 0.8556 5.4535 ((10 . 2) (11 . 3) (15 . 4) (17 . 5) (20 . 6) (21 . 7)) 4219 0.9901 7.1888 ((10 . 2) (11 . 4) (12 . 5) (15 . 6) (17 . 8) (20 . 9) (21 . 10)) 4221 0.9919 6.8164 ((10 . 1) (11 . 3) (12 . 5) (15 . 8) (17 . 10) (20 . 12) (21 . 13)) 4224 0.9988 4.2103 ((10 . 1) (11 . 3) (12 . 4) (15 . 5) (17 . 9) (20 . 11) (21 . 12)) 4230 0.8551 5.8456 ((10 . 1) (11 . 3) (12 . 4) (15 . 5) (17 . 8) (20 . 10)) 4286 0.9963 5.6023 ((10 . 2) (11 . 5) (12 . 6) (15 . 9) (17 . 11) (20 . 13) (21 . 14)) 4289 0.9963 5.6046 ((10 . 1) (11 . 3) (12 . 4) (15 . 5) (17 . 7) (20 . 9) (21 . 10)) 4290 0.9968 5.3892 ((10 . 11) (11 . 13) (12 . 14) (15 . 15) (17 . 17) (20 . 18) (21 . 20)) 4349 0.9995 3.3157 ((10 . 1) (11 . 3) (12 . 4) (15 . 7) (17 . 8) (20 . 10) (21 . 11)) 4464 0.9994 3.5426 ((10 . 1) (11 . 2) (12 . 3) (15 . 6) (17 . 7) (20 . 9) (21 . 10)) 4512 0.9960 5.7086 ((10 . 2) (11 . 3) (12 . 6) (15 . 7) (17 . 8) (20 . 9) (21 . 10)) 4525 0.7134 6.0287 ((12 . 23) (15 . 24) (17 . 26) (20 . 28) (21 . 29)) 4526 0.9995 3.4461 ((10 . 30) (11 . 31) (12 . 32) (15 . 33) (17 . 34) (20 . 35) (21 . 36)) 4581 0.7123 7.2827 ((10 . 5) (15 . 9) (17 . 10) (20 . 12) (21 . 14)) 4584 0.9987 4.2931 ((10 . 1) (11 . 3) (12 . 5) (15 . 8) (17 . 9) (20 . 11) (21 . 12)) 4637 0.9995 3.4550 ((10 . 1) (11 . 3) (12 . 4) (15 . 7) (17 . 8) (20 . 10) (21 . 11)) 4638 0.5714 3.7686 ((10 . 13) (11 . 14) (15 . 15) (17 . 18)) 4639 0.9940 6.3262 ((10 . 2) (11 . 3) (12 . 5) (15 . 8) (17 . 9) (20 . 10) (21 . 12)) 4640 0.9999 2.1765 ((10 . 14) (11 . 16) (12 . 17) (15 . 19) (17 . 21) (20 . 23) (21 . 24)) 4687 0.9979 4.8531 ((10 . 27) (11 . 28) (12 . 30) (15 . 31) (17 . 33) (20 . 34) (21 . 35)) 4700 0.9939 6.3539 ((10 . 1) (11 . 3) (12 . 4) (15 . 5) (17 . 6) (20 . 8) (21 . 10)) 4708 0.8543 6.3600 ((10 . 48) (11 . 49) (12 . 50) (17 . 51) (20 . 53) (21 . 54)) 4744 0.9967 5.4205 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 5) (20 . 6) (21 . 7)) 4777 0.9975 5.0613 ((10 . 3) (11 . 4) (12 . 5) (15 . 6) (17 . 7) (20 . 10) (21 . 11)) 4800 0.7141 4.0374 ((10 . 1) (11 . 3) (17 . 5) (20 . 7) (21 . 8)) 4809 0.9979 4.8304 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 5) (20 . 6) (21 . 7)) 4892 0.9982 4.6629 ((10 . 3) (11 . 4) (12 . 5) (15 . 6) (17 . 7) (20 . 8) (21 . 9)) 4896 0.9975 5.0521 ((10 . 1) (11 . 3) (12 . 5) (15 . 7) (17 . 8) (20 . 10) (21 . 11)) 4897 0.5704 8.1415 ((10 . 14) (11 . 15) (12 . 17) (15 . 18)) 4898 0.5696 9.4814 ((10 . 22) (11 . 23) (12 . 27) (15 . 28)) 4908 0.9847 8.0304 ((10 . 1) (11 . 3) (12 . 4) (15 . 6) (17 . 7) (20 . 8) (21 . 9)) 4921 0.8555 5.5148 ((10 . 7) (11 . 8) (12 . 9) (17 . 12) (20 . 14) (21 . 15)) 4923 0.9906 7.0967 ((10 . 15) (11 . 16) (12 . 17) (15 . 18) (17 . 19) (20 . 20) (21 . 22)) 4951 0.9984 4.5580 ((10 . 47) (11 . 49) (12 . 50) (15 . 53) (17 . 54) (20 . 55) (21 . 56)) 4967 0.5714 4.2405 ((10 . 28) (11 . 29) (12 . 30) (15 . 31)) 4968 0.7141 3.9571 ((12 . 37) (15 . 39) (17 . 40) (20 . 42) (21 . 43)) 5040 0.9963 5.5935 ((10 . 2) (11 . 3) (12 . 4) (15 . 8) (17 . 10) (20 . 12) (21 . 13)) 5043 0.9991 3.9385 ((10 . 3) (11 . 4) (12 . 5) (15 . 9) (17 . 11) (20 . 12) (21 . 13)) 5166 0.9993 3.6738 ((10 . 2) (11 . 3) (12 . 4) (15 . 6) (17 . 7) (20 . 8) (21 . 10)) 5246 0.9968 5.3765 ((10 . 3) (11 . 4) (12 . 6) (15 . 9) (17 . 10) (20 . 12) (21 . 14)) 5281 0.5713 4.3077 ((15 . 65) (17 . 66) (20 . 67) (21 . 69)) 5310 0.9967 5.4214 ((10 . 1) (11 . 4) (12 . 5) (15 . 8) (17 . 9) (20 . 10) (21 . 12)) 5311 0.8566 4.1840 ((11 . 14) (12 . 15) (15 . 16) (17 . 17) (20 . 18) (21 . 20)) 5316 0.9956 5.8595 ((10 . 1) (11 . 4) (12 . 5) (15 . 8) (17 . 10) (20 . 12) (21 . 13)) 5319 0.9977 4.9522 ((10 . 1) (11 . 2) (12 . 3) (15 . 5) (17 . 6) (20 . 7) (21 . 8)) 5320 0.9977 4.9355 ((10 . 9) (11 . 10) (12 . 11) (15 . 12) (17 . 13) (20 . 14) (21 . 16)) 5342 0.9984 4.5413 ((10 . 45) (11 . 47) (12 . 48) (15 . 50) (17 . 51) (20 . 52) (21 . 54)) 5413 0.9979 4.8467 ((10 . 2) (11 . 3) (12 . 4) (15 . 6) (17 . 8) (20 . 10) (21 . 11)) 5431 0.9984 4.5466 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 5) (20 . 6) (21 . 7)) 5432 0.9984 4.5526 ((10 . 8) (11 . 9) (12 . 10) (15 . 11) (17 . 12) (20 . 13) (21 . 15)) 5497 0.9940 6.3343 ((10 . 21) (11 . 22) (12 . 23) (15 . 25) (17 . 26) (20 . 28) (21 . 29)) 5552 0.9978 4.9118 ((10 . 5) (11 . 6) (12 . 8) (15 . 9) (17 . 11) (20 . 12) (21 . 13)) 5615 0.9986 4.3485 ((10 . 28) (11 . 29) (12 . 30) (15 . 32) (17 . 33) (20 . 34) (21 . 35)) 5633 0.9941 6.2987 ((10 . 1) (11 . 2) (12 . 3) (15 . 5) (17 . 6) (20 . 8) (21 . 10)) 5634 0.5709 6.8275 ((15 . 13) (17 . 14) (20 . 18) (21 . 19)) 5682 0.9950 6.0375 ((10 . 1) (11 . 3) (12 . 4) (15 . 5) (17 . 6) (20 . 9) (21 . 10)) 5683 0.9970 5.3077 ((10 . 1) (11 . 3) (12 . 4) (15 . 5) (17 . 7) (20 . 8) (21 . 10)) 5733 0.9999 1.3153 ((10 . 12) (11 . 14) (12 . 15) (15 . 17) (17 . 19) (20 . 21) (21 . 22)) 5835 0.8555 5.5521 ((10 . 35) (11 . 37) (12 . 38) (17 . 41) (20 . 42) (21 . 44)) 5863 0.7134 5.9704 ((10 . 30) (11 . 31) (12 . 33) (15 . 35) (17 . 37)) 5899 0.9981 4.7278 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 5) (20 . 6) (21 . 8)) 5916 0.8559 5.1732 ((10 . 1) (11 . 2) (15 . 3) (17 . 4) (20 . 5) (21 . 8)) 5936 0.9978 4.9085 ((10 . 1) (11 . 4) (12 . 5) (15 . 9) (17 . 11) (20 . 13) (21 . 14)) 5948 0.8568 3.6122 ((10 . 1) (11 . 3) (12 . 5) (15 . 8) (17 . 9) (20 . 10)) 5974 0.8562 4.7963 ((10 . 2) (11 . 4) (12 . 5) (17 . 8) (20 . 10) (21 . 11)) 5988 0.8562 4.8017 ((10 . 1) (11 . 2) (12 . 3) (15 . 5) (17 . 6) (20 . 7)) 5989 0.9966 5.4647 ((10 . 1) (11 . 2) (12 . 4) (15 . 5) (17 . 6) (20 . 7) (21 . 9)) 5993 0.8559 5.1730 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 5) (20 . 7)) 6012 0.9987 4.2811 ((10 . 48) (11 . 50) (12 . 51) (15 . 52) (17 . 53) (20 . 54) (21 . 55)) 6013 0.7097 8.9882 ((12 . 63) (15 . 64) (17 . 66) (20 . 68) (21 . 70)) 6037 0.8540 6.5014 ((10 . 2) (11 . 3) (12 . 4) (17 . 6) (20 . 7) (21 . 8)) 6105 0.5712 5.2772 ((11 . 3) (12 . 4) (15 . 5) (17 . 7)) 6124 0.9999 0.9377 ((10 . 8) (11 . 9) (12 . 10) (15 . 12) (17 . 14) (20 . 15) (21 . 16)) 6126 0.9999 1.7285 ((10 . 9) (11 . 10) (12 . 11) (15 . 13) (17 . 15) (20 . 16) (21 . 17)) 6206 0.9983 4.6160 ((10 . 1) (11 . 3) (12 . 4) (15 . 5) (17 . 6) (20 . 8) (21 . 9)) 6207 0.9995 3.4373 ((10 . 10) (11 . 12) (12 . 14) (15 . 15) (17 . 16) (20 . 18) (21 . 19)) 6285 0.7136 5.5810 ((11 . 4) (12 . 5) (15 . 6) (20 . 9) (21 . 10)) 6287 0.9972 5.2212 ((10 . 38) (11 . 39) (12 . 40) (15 . 41) (17 . 42) (20 . 44) (21 . 45)) 6288 0.9988 4.2540 ((10 . 46) (11 . 47) (12 . 48) (15 . 49) (17 . 50) (20 . 51) (21 . 52)) 6334 0.9970 5.2964 ((10 . 2) (11 . 3) (12 . 4) (15 . 5) (17 . 6) (20 . 8) (21 . 9)) 6338 0.8570 2.9276 ((11 . 1) (12 . 2) (15 . 4) (17 . 5) (20 . 7) (21 . 8)) 6379 0.9980 4.7928 ((10 . 1) (11 . 3) (12 . 4) (15 . 5) (17 . 6) (20 . 7) (21 . 8)) 6380 0.9980 4.7820 ((10 . 9) (11 . 11) (12 . 13) (15 . 14) (17 . 15) (20 . 17) (21 . 19)) 6443 0.7142 3.6291 ((10 . 1) (11 . 3) (12 . 4) (15 . 5) (20 . 12)) 6444 0.9997 3.0010 ((10 . 14) (11 . 15) (12 . 16) (15 . 17) (17 . 19) (20 . 21) (21 . 22)) 6445 0.5709 6.8771 ((10 . 1) (11 . 3) (12 . 4) (17 . 8)) 6446 0.9975 5.0810 ((10 . 10) (11 . 12) (12 . 14) (15 . 15) (17 . 16) (20 . 18) (21 . 19)) 6449 0.9970 5.3165 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 5) (20 . 6) (21 . 8)) 6466 0.9985 4.4909 ((10 . 1) (11 . 2) (12 . 3) (15 . 4) (17 . 5) (20 . 7) (21 . 8)) 6467 0.8567 4.0686 ((10 . 10) (11 . 11) (12 . 15) (15 . 16) (17 . 17) (20 . 18)) 6485 0.9993 3.6201 ((10 . 1) (11 . 2) (12 . 3) (15 . 5) (17 . 6) (20 . 9) (21 . 10)) 6570 0.9993 3.7427 ((10 . 15) (11 . 16) (12 . 17) (15 . 19) (17 . 20) (20 . 22) (21 . 23)) 6612 0.9993 3.7317 ((10 . 2) (11 . 3) (12 . 4) (15 . 5) (17 . 7) (20 . 8) (21 . 9)) END