600 233 0.8531 6.9170 ((10 . 1) (11 . 2) (12 . 3) (14 . 5) (15 . 7) (16 . 8)) 234 0.8519 7.4178 ((10 . 10) (11 . 11) (12 . 12) (14 . 14) (15 . 15) (16 . 16)) 291 0.9946 6.1526 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 7)) 349 0.8539 6.5666 ((11 . 3) (12 . 4) (13 . 5) (14 . 6) (15 . 7) (16 . 8)) 365 0.7121 7.4467 ((12 . 1) (13 . 2) (14 . 3) (15 . 4) (16 . 6)) 388 0.8486 8.4047 ((10 . 16) (11 . 17) (12 . 18) (13 . 19) (15 . 21) (16 . 23)) 402 0.7140 4.2833 ((11 . 3) (12 . 5) (13 . 6) (14 . 7) (15 . 9)) 403 0.9905 7.1085 ((10 . 12) (11 . 13) (12 . 15) (13 . 17) (14 . 18) (15 . 20) (16 . 21)) 404 0.7129 6.7157 ((11 . 24) (12 . 25) (14 . 28) (15 . 30) (16 . 31)) 405 0.9939 6.3583 ((10 . 31) (11 . 33) (12 . 35) (13 . 37) (14 . 38) (15 . 39) (16 . 40)) 445 0.8477 8.6121 ((10 . 1) (11 . 2) (12 . 3) (14 . 5) (15 . 6) (16 . 7)) 449 0.7140 4.6245 ((11 . 2) (12 . 3) (14 . 6) (15 . 7) (16 . 8)) 450 0.7019 11.6263 ((10 . 13) (11 . 15) (13 . 18) (14 . 19) (15 . 20)) 564 0.9893 7.3276 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 8) (15 . 10) (16 . 11)) 565 0.9867 7.7548 ((10 . 12) (11 . 13) (12 . 14) (13 . 15) (14 . 16) (15 . 17) (16 . 18)) 567 0.9908 7.0510 ((10 . 1) (11 . 2) (12 . 3) (13 . 5) (14 . 6) (15 . 8) (16 . 10)) 568 0.9897 7.2562 ((10 . 12) (11 . 13) (12 . 15) (13 . 16) (14 . 17) (15 . 18) (16 . 19)) 570 0.7133 6.1851 ((11 . 3) (12 . 4) (13 . 5) (15 . 9) (16 . 11)) 571 0.7142 3.2358 ((10 . 12) (11 . 14) (14 . 15) (15 . 16) (16 . 17)) 578 0.9871 7.6858 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 8)) 579 0.9862 7.8298 ((10 . 9) (11 . 10) (12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 17)) 599 0.7098 8.9396 ((10 . 2) (11 . 3) (12 . 4) (13 . 5) (16 . 9)) 600 1.0000 0.0000 ((10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16)) 626 0.5708 7.3242 ((11 . 3) (13 . 6) (14 . 7) (15 . 8)) 668 0.9916 6.8909 ((10 . 1) (11 . 3) (12 . 5) (13 . 7) (14 . 8) (15 . 10) (16 . 11)) 669 0.5712 5.4760 ((13 . 17) (14 . 18) (15 . 20) (16 . 21)) 670 0.7129 6.6643 ((11 . 25) (12 . 27) (14 . 28) (15 . 30) (16 . 31)) 671 0.7132 6.2458 ((11 . 34) (12 . 35) (14 . 38) (15 . 40) (16 . 41)) 693 0.8570 2.7742 ((11 . 31) (12 . 32) (13 . 33) (14 . 34) (15 . 35) (16 . 36)) 695 0.9939 6.3606 ((10 . 1) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (15 . 7) (16 . 8)) 696 0.8473 8.7013 ((10 . 10) (11 . 12) (12 . 13) (14 . 16) (15 . 17) (16 . 18)) 697 0.7139 4.7982 ((11 . 22) (12 . 23) (14 . 26) (15 . 27) (16 . 30)) 698 0.9927 6.6471 ((10 . 31) (11 . 34) (12 . 36) (13 . 37) (14 . 38) (15 . 39) (16 . 40)) 828 0.9875 7.6251 ((10 . 7) (11 . 8) (12 . 9) (13 . 10) (14 . 11) (15 . 12) (16 . 13)) 888 0.5710 6.4695 ((12 . 13) (13 . 14) (14 . 15) (15 . 17)) 919 0.5712 5.6428 ((11 . 3) (12 . 4) (15 . 5) (16 . 6)) 922 0.7049 10.8087 ((10 . 2) (12 . 4) (13 . 5) (15 . 7) (16 . 8)) 926 0.8518 7.4572 ((11 . 2) (12 . 4) (13 . 5) (14 . 6) (15 . 8) (16 . 9)) 927 0.5708 7.2562 ((12 . 13) (13 . 14) (14 . 15) (15 . 17)) 1025 0.5709 6.8647 ((11 . 1) (12 . 3) (13 . 4) (16 . 7)) 1086 0.8402 10.0306 ((10 . 2) (12 . 5) (13 . 6) (14 . 7) (15 . 8) (16 . 10)) 1110 0.9880 7.5498 ((10 . 10) (11 . 11) (12 . 13) (13 . 14) (14 . 15) (15 . 16) (16 . 18)) 1112 0.8562 4.7468 ((11 . 6) (12 . 7) (13 . 8) (14 . 9) (15 . 10) (16 . 11)) 1126 0.5711 6.0542 ((12 . 3) (14 . 4) (15 . 6) (16 . 7)) 1127 0.9903 7.1385 ((10 . 13) (11 . 14) (12 . 16) (13 . 17) (14 . 18) (15 . 19) (16 . 21)) 1149 0.9852 7.9675 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 7)) 1164 0.7139 4.9331 ((11 . 3) (13 . 6) (14 . 7) (15 . 9) (16 . 10)) 1181 0.5713 4.7240 ((11 . 1) (14 . 2) (15 . 3) (16 . 4)) 1235 0.9922 6.7547 ((10 . 1) (11 . 3) (12 . 4) (13 . 6) (14 . 7) (15 . 9) (16 . 10)) 1236 0.9952 5.9834 ((10 . 11) (11 . 13) (12 . 15) (13 . 18) (14 . 19) (15 . 21) (16 . 23)) 1270 0.8568 3.8211 ((11 . 35) (12 . 36) (13 . 37) (14 . 38) (15 . 39) (16 . 40)) 1293 0.6995 12.1852 ((10 . 3) (12 . 5) (13 . 7) (15 . 9) (16 . 10)) 1294 0.9917 6.8598 ((10 . 39) (11 . 40) (12 . 41) (13 . 43) (14 . 44) (15 . 46) (16 . 47)) 1295 0.9817 8.4162 ((10 . 48) (11 . 49) (12 . 50) (13 . 51) (14 . 52) (15 . 53) (16 . 54)) 1341 0.9452 11.3473 ((10 . 2) (11 . 3) (12 . 5) (13 . 7) (14 . 8) (15 . 10) (16 . 12)) 1342 0.8568 3.7500 ((11 . 17) (12 . 19) (13 . 20) (14 . 21) (15 . 22) (16 . 23)) 1363 0.7142 2.9107 ((12 . 3) (13 . 5) (14 . 6) (15 . 7) (16 . 8)) 1374 0.7139 4.8599 ((11 . 3) (12 . 4) (14 . 6) (15 . 8) (16 . 9)) 1375 0.8497 8.0945 ((10 . 10) (11 . 12) (12 . 14) (14 . 16) (15 . 18) (16 . 19)) 1390 0.7140 4.4110 ((11 . 3) (12 . 4) (14 . 6) (15 . 8) (16 . 9)) 1391 0.5713 5.1491 ((13 . 11) (14 . 12) (15 . 13) (16 . 14)) 1392 0.9923 6.7371 ((10 . 20) (11 . 21) (12 . 22) (13 . 23) (14 . 24) (15 . 25) (16 . 26)) 1418 0.9762 9.0227 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 7)) 1419 0.9909 7.0361 ((10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16)) 1445 0.5710 6.5421 ((12 . 9) (13 . 10) (14 . 12) (15 . 13)) 1446 0.9895 7.2887 ((10 . 14) (11 . 16) (12 . 17) (13 . 19) (14 . 20) (15 . 22) (16 . 24)) 1502 0.9557 10.6833 ((10 . 2) (11 . 3) (12 . 4) (13 . 6) (14 . 7) (15 . 9) (16 . 10)) 1555 0.9835 8.1947 ((10 . 1) (11 . 2) (12 . 3) (13 . 5) (14 . 6) (15 . 8) (16 . 9)) 1566 0.7130 6.4688 ((12 . 4) (13 . 5) (14 . 6) (15 . 8) (16 . 10)) 1568 0.9882 7.5115 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 7)) 1569 0.9923 6.7309 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 8)) 1570 0.9945 6.1708 ((10 . 9) (11 . 10) (12 . 11) (13 . 12) (14 . 13) (15 . 14) (16 . 16)) 1571 0.9948 6.0899 ((10 . 17) (11 . 18) (12 . 19) (13 . 20) (14 . 21) (15 . 22) (16 . 24)) 1572 0.9934 6.4668 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 8)) 1573 0.9941 6.2855 ((10 . 9) (11 . 10) (12 . 11) (13 . 12) (14 . 13) (15 . 14) (16 . 16)) 1579 0.7039 11.1094 ((10 . 2) (12 . 5) (13 . 6) (15 . 8) (16 . 10)) 1580 0.8538 6.6047 ((11 . 3) (12 . 4) (13 . 5) (14 . 6) (15 . 7) (16 . 8)) 1600 0.9843 8.0848 ((10 . 1) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (15 . 8) (16 . 9)) 1601 0.5706 7.7386 ((10 . 15) (11 . 17) (12 . 20) (13 . 21)) 1660 0.8531 6.9453 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 7)) 1661 0.5700 8.7935 ((10 . 15) (11 . 16) (12 . 17) (13 . 18)) 1666 0.7001 12.0428 ((10 . 3) (12 . 5) (13 . 6) (15 . 7) (16 . 8)) 1667 0.9920 6.8083 ((10 . 38) (11 . 39) (12 . 40) (13 . 41) (14 . 42) (15 . 44) (16 . 45)) 1668 0.9898 7.2438 ((10 . 46) (11 . 48) (12 . 50) (13 . 51) (14 . 53) (15 . 54) (16 . 55)) 1684 0.7137 5.2936 ((11 . 3) (12 . 4) (14 . 7) (15 . 9) (16 . 11)) 1688 0.8564 4.5843 ((11 . 3) (12 . 4) (13 . 6) (14 . 7) (15 . 9) (16 . 10)) 1722 0.5702 8.4948 ((11 . 3) (12 . 4) (13 . 6) (16 . 8)) 1723 0.5707 7.5303 ((10 . 22) (12 . 24) (15 . 26) (16 . 27)) 1826 0.5709 6.7710 ((11 . 3) (12 . 5) (13 . 6) (16 . 8)) 1827 0.5712 5.8453 ((11 . 13) (12 . 14) (15 . 16) (16 . 18)) 1828 0.5707 7.3663 ((12 . 23) (14 . 26) (15 . 27) (16 . 28)) 1864 0.9726 9.3694 ((10 . 2) (11 . 3) (12 . 4) (13 . 6) (14 . 7) (15 . 9) (16 . 10)) 1928 0.9919 6.8214 ((10 . 1) (11 . 3) (12 . 4) (13 . 6) (14 . 7) (15 . 9) (16 . 11)) 1938 0.9940 6.3160 ((10 . 1) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (15 . 8) (16 . 9)) 1939 0.5711 6.1046 ((11 . 15) (12 . 16) (15 . 17) (16 . 18)) 1996 0.5709 6.9984 ((11 . 1) (12 . 2) (13 . 3) (16 . 4)) 2009 0.9823 8.3407 ((10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 7) (15 . 8) (16 . 9)) 2022 0.5692 9.9224 ((10 . 15) (14 . 20) (15 . 22) (16 . 24)) 2061 0.9923 6.7255 ((10 . 1) (11 . 3) (12 . 5) (13 . 6) (14 . 7) (15 . 8) (16 . 9)) 2087 0.7139 4.7653 ((12 . 4) (13 . 5) (14 . 6) (15 . 7) (16 . 8)) 2110 0.9917 6.8662 ((10 . 21) (11 . 23) (12 . 24) (13 . 26) (14 . 27) (15 . 28) (16 . 29)) 2165 0.5695 9.5865 ((10 . 29) (11 . 30) (14 . 31) (15 . 32)) 2186 0.9801 8.6109 ((10 . 7) (11 . 8) (12 . 9) (13 . 11) (14 . 12) (15 . 13) (16 . 14)) 2188 0.5681 11.0103 ((10 . 11) (12 . 14) (13 . 15) (14 . 16)) 2191 0.5711 6.1812 ((12 . 1) (14 . 2) (15 . 4) (16 . 5)) 2221 0.7024 11.5086 ((10 . 1) (12 . 3) (13 . 4) (15 . 5) (16 . 6)) 2246 0.8517 7.4746 ((11 . 5) (12 . 7) (13 . 8) (14 . 9) (15 . 11) (16 . 12)) 2318 0.7047 10.8749 ((10 . 2) (12 . 5) (13 . 6) (15 . 8) (16 . 10)) 2319 0.9748 9.1586 ((10 . 15) (11 . 16) (12 . 17) (13 . 19) (14 . 20) (15 . 21) (16 . 22)) 2320 0.7139 4.7155 ((12 . 4) (13 . 5) (14 . 6) (15 . 7) (16 . 8)) 2321 0.7142 3.2145 ((11 . 14) (12 . 15) (14 . 18) (15 . 20) (16 . 22)) 2338 0.8519 7.3992 ((10 . 13) (11 . 14) (12 . 15) (14 . 19) (15 . 21) (16 . 22)) 2365 0.9898 7.2385 ((10 . 1) (11 . 3) (12 . 6) (13 . 9) (14 . 10) (15 . 11) (16 . 12)) 2428 0.5712 5.4859 ((11 . 1) (14 . 3) (15 . 5) (16 . 6)) 2441 0.9894 7.3166 ((10 . 1) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (15 . 7) (16 . 8)) 2442 0.9913 6.9549 ((10 . 10) (11 . 12) (12 . 14) (13 . 15) (14 . 16) (15 . 17) (16 . 19)) 2444 0.9931 6.5606 ((10 . 1) (11 . 2) (12 . 4) (13 . 5) (14 . 7) (15 . 8) (16 . 9)) 2445 0.9931 6.5398 ((10 . 11) (11 . 12) (12 . 14) (13 . 15) (14 . 16) (15 . 17) (16 . 19)) 2473 0.7121 7.4231 ((11 . 1) (12 . 2) (13 . 3) (14 . 5) (16 . 8)) 2507 0.8439 9.4024 ((10 . 3) (12 . 6) (13 . 9) (14 . 11) (15 . 13) (16 . 14)) 2508 0.5708 7.1051 ((11 . 20) (12 . 22) (13 . 24) (14 . 25)) 2531 0.9899 7.2156 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 7) (15 . 8) (16 . 9)) 2534 0.7904 7.0380 ((10 . 16) (11 . 18) (12 . 19) (13 . 20) (14 . 22) (15 . 23) (16 . 25)) 2577 0.8566 4.1417 ((11 . 3) (12 . 5) (13 . 6) (14 . 7) (15 . 9) (16 . 10)) 2578 0.9777 8.8694 ((10 . 12) (11 . 13) (12 . 15) (13 . 17) (14 . 18) (15 . 20) (16 . 21)) 2579 0.9917 6.8564 ((10 . 22) (11 . 24) (12 . 25) (13 . 27) (14 . 29) (15 . 31) (16 . 32)) 2641 0.5701 8.6624 ((10 . 7) (11 . 8) (12 . 9) (13 . 10)) 2686 0.5713 5.0752 ((13 . 8) (14 . 9) (15 . 10) (16 . 11)) 2728 0.9914 6.9264 ((10 . 1) (11 . 2) (12 . 3) (13 . 5) (14 . 6) (15 . 9) (16 . 10)) 2767 0.9890 7.3827 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 7)) 2812 0.9872 7.6798 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 7)) 2813 0.7142 3.5568 ((11 . 9) (12 . 10) (14 . 12) (15 . 13) (16 . 14)) 2877 0.8564 4.5578 ((11 . 2) (12 . 3) (13 . 4) (14 . 6) (15 . 7) (16 . 8)) 2880 0.8568 3.7077 ((11 . 3) (12 . 4) (13 . 5) (14 . 7) (15 . 8) (16 . 9)) 2971 0.7085 9.5502 ((10 . 11) (11 . 13) (12 . 14) (13 . 16) (14 . 17)) 2987 0.7141 3.9270 ((11 . 28) (13 . 30) (14 . 31) (15 . 32) (16 . 33)) 3099 0.9917 6.8605 ((10 . 23) (11 . 24) (12 . 25) (13 . 26) (14 . 27) (15 . 28) (16 . 29)) 3101 0.9887 7.4340 ((10 . 50) (11 . 51) (12 . 52) (13 . 53) (14 . 54) (15 . 55) (16 . 56)) 3159 0.5712 5.7357 ((13 . 58) (14 . 59) (15 . 60) (16 . 61)) 3185 0.8469 8.7963 ((10 . 14) (11 . 15) (12 . 16) (14 . 21) (15 . 23) (16 . 24)) 3186 0.5677 11.3263 ((10 . 3) (12 . 7) (13 . 8) (14 . 9)) 3205 0.9893 7.3295 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 8)) 3292 0.5712 5.3306 ((13 . 2) (14 . 3) (15 . 4) (16 . 5)) 3342 0.5712 5.4557 ((13 . 2) (14 . 3) (15 . 4) (16 . 5)) 3357 0.9864 7.7946 ((10 . 1) (11 . 5) (12 . 6) (13 . 7) (14 . 8) (15 . 10) (16 . 11)) 3378 0.8547 6.1042 ((10 . 32) (11 . 34) (12 . 35) (14 . 37) (15 . 39) (16 . 40)) 3417 0.9869 7.7200 ((10 . 2) (11 . 6) (12 . 7) (13 . 8) (14 . 9) (15 . 10) (16 . 11)) 3430 0.9780 8.8366 ((10 . 2) (11 . 4) (12 . 5) (13 . 6) (14 . 8) (15 . 9) (16 . 10)) 3431 0.5713 5.2025 ((11 . 2) (12 . 3) (13 . 4) (14 . 5)) 3443 0.5711 6.3167 ((12 . 4) (13 . 5) (15 . 6) (16 . 7)) 3444 0.5698 9.1140 ((10 . 38) (11 . 39) (14 . 42) (15 . 43)) 3445 0.9876 7.6140 ((10 . 47) (11 . 48) (12 . 49) (13 . 50) (14 . 51) (15 . 52) (16 . 53)) 3472 0.7129 6.6258 ((11 . 4) (13 . 6) (14 . 8) (15 . 9) (16 . 11)) 3478 0.9759 9.0567 ((10 . 3) (11 . 4) (12 . 5) (13 . 7) (14 . 8) (15 . 9) (16 . 10)) 3507 0.7116 7.8545 ((10 . 31) (11 . 33) (12 . 34) (15 . 37) (16 . 38)) 3530 0.5711 6.0673 ((11 . 23) (12 . 24) (13 . 25) (16 . 27)) 3531 0.8564 4.4874 ((11 . 30) (12 . 32) (13 . 33) (14 . 34) (15 . 35) (16 . 36)) 3532 0.5708 7.1433 ((11 . 39) (12 . 40) (13 . 41) (14 . 42)) 3550 0.8530 6.9892 ((10 . 2) (11 . 3) (12 . 6) (14 . 9) (15 . 10) (16 . 13)) 3554 0.5706 7.7934 ((10 . 5) (11 . 8) (12 . 10) (13 . 11)) 3555 0.5704 8.0996 ((10 . 17) (11 . 19) (12 . 21) (13 . 23)) 3556 0.7123 7.3060 ((11 . 3) (12 . 5) (14 . 7) (15 . 8) (16 . 10)) 3557 0.8553 5.7174 ((11 . 15) (12 . 16) (13 . 18) (14 . 19) (15 . 21) (16 . 23)) 3655 0.5689 10.2770 ((10 . 31) (11 . 32) (14 . 34) (15 . 35)) 3667 0.5713 4.9921 ((13 . 1) (14 . 2) (15 . 3) (16 . 4)) 3690 0.5713 4.9191 ((11 . 1) (14 . 4) (15 . 5) (16 . 6)) 3699 0.7125 7.0627 ((11 . 1) (12 . 2) (13 . 3) (14 . 4) (15 . 5)) 3700 0.9893 7.3184 ((10 . 13) (11 . 14) (12 . 16) (13 . 17) (14 . 18) (15 . 19) (16 . 20)) 3762 0.8512 7.6447 ((10 . 1) (11 . 2) (12 . 3) (14 . 5) (15 . 6) (16 . 7)) 3791 0.5713 4.8283 ((11 . 45) (14 . 47) (15 . 48) (16 . 50)) 3792 0.8559 5.1676 ((11 . 55) (12 . 56) (13 . 59) (14 . 60) (15 . 61) (16 . 62)) 3793 0.7057 10.5576 ((10 . 67) (11 . 69) (12 . 70) (15 . 71) (16 . 72)) 3794 0.7137 5.3721 ((11 . 23) (12 . 25) (13 . 26) (14 . 27) (16 . 30)) 3876 0.7141 4.1939 ((11 . 3) (12 . 4) (14 . 6) (15 . 7) (16 . 8)) 3948 0.9915 6.8985 ((10 . 1) (11 . 3) (12 . 5) (13 . 6) (14 . 10) (15 . 12) (16 . 13)) 3949 0.7127 6.8495 ((12 . 15) (13 . 16) (14 . 17) (15 . 19) (16 . 21)) 3950 0.8442 9.3371 ((10 . 2) (12 . 3) (13 . 7) (14 . 8) (15 . 10) (16 . 12)) 3951 0.5701 8.7599 ((10 . 18) (11 . 19) (12 . 21) (13 . 22)) 4079 0.7903 7.1461 ((10 . 1) (11 . 3) (12 . 4) (13 . 5) (14 . 7) (15 . 8) (16 . 10)) 4109 0.9859 7.8699 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 7) (16 . 8)) 4110 0.9719 9.4323 ((10 . 9) (11 . 10) (12 . 11) (13 . 12) (14 . 13) (15 . 14) (16 . 15)) 4111 0.9904 7.1256 ((10 . 17) (11 . 18) (12 . 19) (13 . 20) (14 . 22) (15 . 23) (16 . 24)) 4145 0.9830 8.2615 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 6) (15 . 7) (16 . 9)) 4178 0.5706 7.6373 ((11 . 4) (14 . 6) (15 . 7) (16 . 9)) 4197 0.7075 9.9608 ((10 . 1) (12 . 4) (13 . 5) (15 . 7) (16 . 8)) 4199 0.8379 10.3629 ((10 . 2) (11 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 7)) 4219 0.8528 7.0629 ((10 . 2) (11 . 4) (12 . 5) (14 . 8) (15 . 9) (16 . 10)) 4221 0.8499 8.0599 ((11 . 6) (12 . 7) (13 . 8) (14 . 10) (15 . 12) (16 . 13)) 4224 0.5714 4.2846 ((13 . 5) (14 . 6) (15 . 8) (16 . 9)) 4230 0.8384 10.2883 ((10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 8)) 4286 0.5711 6.1533 ((11 . 6) (14 . 9) (15 . 11) (16 . 13)) 4289 0.9851 7.9746 ((10 . 1) (11 . 3) (12 . 4) (13 . 5) (14 . 7) (15 . 9) (16 . 10)) 4290 0.7113 8.0746 ((11 . 13) (13 . 16) (14 . 17) (15 . 18) (16 . 20)) 4349 0.8532 6.9115 ((11 . 3) (12 . 4) (13 . 5) (14 . 6) (15 . 7) (16 . 8)) 4464 0.5696 9.4531 ((10 . 6) (11 . 7) (12 . 9) (13 . 10)) 4512 0.9795 8.6776 ((10 . 2) (11 . 3) (12 . 6) (13 . 7) (14 . 8) (15 . 9) (16 . 10)) 4525 0.5709 6.9893 ((10 . 23) (11 . 24) (15 . 28) (16 . 29)) 4526 0.8571 2.5805 ((11 . 31) (12 . 32) (13 . 33) (14 . 34) (15 . 35) (16 . 36)) 4581 0.5713 5.0366 ((13 . 9) (14 . 10) (15 . 12) (16 . 14)) 4584 0.9856 7.9092 ((10 . 1) (11 . 3) (12 . 5) (13 . 8) (14 . 9) (15 . 11) (16 . 12)) 4637 0.8541 6.4802 ((11 . 3) (12 . 4) (13 . 5) (14 . 6) (15 . 7) (16 . 8)) 4638 0.5691 9.9816 ((11 . 14) (13 . 15) (14 . 16) (15 . 18)) 4639 0.7057 10.5620 ((10 . 2) (12 . 5) (13 . 6) (15 . 8) (16 . 9)) 4640 0.5710 6.5003 ((13 . 16) (14 . 17) (15 . 19) (16 . 21)) 4687 0.5709 6.7750 ((11 . 31) (12 . 33) (13 . 34) (14 . 35)) 4700 0.9862 7.8172 ((10 . 1) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (15 . 8) (16 . 10)) 4708 0.8486 8.3827 ((10 . 48) (11 . 49) (12 . 50) (14 . 51) (15 . 53) (16 . 54)) 4744 0.9858 7.8755 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 7)) 4777 0.9979 4.8391 ((10 . 2) (11 . 4) (12 . 5) (13 . 6) (14 . 7) (15 . 10) (16 . 11)) 4809 0.9951 5.9945 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 7)) 4892 0.9872 7.6784 ((10 . 3) (11 . 4) (12 . 5) (13 . 6) (14 . 7) (15 . 8) (16 . 9)) 4896 0.9831 8.2430 ((10 . 1) (11 . 3) (12 . 5) (13 . 7) (14 . 8) (15 . 10) (16 . 11)) 4897 0.5708 7.0930 ((13 . 14) (14 . 15) (15 . 17) (16 . 18)) 4898 0.2945 8.7687 ((13 . 20) (14 . 22) (15 . 23) (16 . 27)) 4908 0.9928 6.6212 ((10 . 1) (11 . 3) (12 . 4) (13 . 6) (14 . 7) (15 . 8) (16 . 9)) 4921 0.5673 11.5691 ((10 . 8) (11 . 9) (13 . 12) (16 . 14)) 4923 0.7898 7.4222 ((10 . 14) (11 . 16) (12 . 17) (13 . 18) (14 . 19) (15 . 20) (16 . 22)) 4951 0.9933 6.5101 ((10 . 47) (11 . 49) (12 . 50) (13 . 51) (14 . 54) (15 . 55) (16 . 56)) 4967 0.7141 4.0068 ((11 . 26) (13 . 28) (14 . 29) (15 . 30) (16 . 31)) 4968 0.5713 4.6003 ((12 . 37) (13 . 39) (14 . 40) (16 . 42)) 5040 0.5710 6.6372 ((11 . 2) (12 . 3) (13 . 4) (16 . 8)) 5043 0.5714 3.6582 ((13 . 4) (14 . 5) (15 . 6) (16 . 7)) 5166 0.5710 6.6221 ((12 . 1) (13 . 2) (14 . 3) (15 . 4)) 5246 0.7135 5.7674 ((11 . 6) (13 . 8) (14 . 9) (15 . 10) (16 . 12)) 5281 0.5713 4.5330 ((13 . 65) (14 . 66) (15 . 67) (16 . 69)) 5310 0.9889 7.3958 ((10 . 1) (11 . 4) (12 . 5) (13 . 8) (14 . 9) (15 . 10) (16 . 12)) 5311 0.7139 4.7697 ((12 . 15) (13 . 16) (14 . 17) (15 . 18) (16 . 20)) 5316 0.7065 10.2905 ((10 . 2) (12 . 5) (13 . 6) (15 . 8) (16 . 10)) 5319 0.9925 6.6884 ((10 . 1) (11 . 2) (12 . 3) (13 . 5) (14 . 6) (15 . 7) (16 . 8)) 5320 0.9848 8.0283 ((10 . 9) (11 . 10) (12 . 11) (13 . 12) (14 . 13) (15 . 14) (16 . 16)) 5342 0.9904 7.1219 ((10 . 45) (11 . 47) (12 . 48) (13 . 50) (14 . 51) (15 . 52) (16 . 54)) 5413 0.5713 5.1519 ((11 . 4) (14 . 7) (15 . 8) (16 . 10)) 5431 0.9956 5.8318 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 7)) 5432 0.9902 7.1622 ((10 . 8) (11 . 9) (12 . 10) (13 . 11) (14 . 12) (15 . 13) (16 . 15)) 5497 0.9633 10.1374 ((10 . 21) (11 . 22) (12 . 23) (13 . 25) (14 . 26) (15 . 28) (16 . 29)) 5552 0.8560 5.0518 ((11 . 6) (12 . 8) (13 . 9) (14 . 11) (15 . 12) (16 . 13)) 5615 0.9884 7.4780 ((10 . 28) (11 . 29) (12 . 30) (13 . 32) (14 . 33) (15 . 34) (16 . 35)) 5633 0.8431 9.5383 ((10 . 1) (11 . 2) (12 . 3) (13 . 5) (14 . 6) (15 . 8)) 5634 0.7142 3.7152 ((11 . 13) (12 . 14) (14 . 17) (15 . 18) (16 . 19)) 5682 0.5706 7.6203 ((10 . 6) (11 . 9) (12 . 10) (15 . 13)) 5683 0.7900 7.2763 ((10 . 1) (11 . 3) (12 . 4) (13 . 6) (14 . 7) (15 . 8) (16 . 10)) 5733 0.5712 5.3381 ((13 . 12) (14 . 14) (15 . 15) (16 . 17)) 5835 0.5692 9.9698 ((10 . 35) (11 . 37) (12 . 38) (16 . 41)) 5863 0.8533 6.8419 ((10 . 30) (11 . 31) (12 . 33) (14 . 37) (15 . 38) (16 . 39)) 5899 0.9946 6.1469 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 8)) 5916 0.7136 5.6391 ((11 . 2) (13 . 3) (14 . 4) (15 . 5) (16 . 8)) 5936 0.7138 5.1338 ((12 . 5) (13 . 6) (14 . 7) (15 . 9) (16 . 11)) 5948 0.5714 3.8939 ((11 . 3) (13 . 8) (14 . 9) (15 . 10)) 5974 0.9782 8.8117 ((10 . 2) (11 . 4) (12 . 5) (13 . 6) (14 . 8) (15 . 10) (16 . 11)) 5988 0.9706 9.5506 ((10 . 1) (11 . 2) (12 . 3) (13 . 5) (14 . 6) (15 . 7) (16 . 8)) 5989 0.9707 9.5369 ((10 . 1) (11 . 2) (12 . 4) (13 . 5) (14 . 6) (15 . 7) (16 . 8)) 5993 0.8513 7.6224 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 7)) 6012 0.9958 5.7718 ((10 . 48) (11 . 50) (12 . 51) (13 . 52) (14 . 53) (15 . 54) (16 . 55)) 6013 0.5714 3.4911 ((12 . 59) (14 . 62) (15 . 63) (16 . 64)) 6037 0.8567 3.9526 ((11 . 3) (12 . 4) (13 . 5) (14 . 6) (15 . 7) (16 . 8)) 6105 0.7138 4.9836 ((11 . 3) (12 . 4) (13 . 5) (14 . 7) (15 . 8)) 6124 0.9899 7.2117 ((10 . 8) (11 . 9) (12 . 10) (13 . 12) (14 . 14) (15 . 15) (16 . 16)) 6126 0.9888 7.4081 ((10 . 9) (11 . 10) (12 . 11) (13 . 13) (14 . 15) (15 . 16) (16 . 17)) 6206 0.9948 6.1052 ((10 . 1) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (15 . 8) (16 . 9)) 6207 0.5709 7.0582 ((13 . 12) (14 . 14) (15 . 15) (16 . 16)) 6285 0.9943 6.2428 ((10 . 1) (11 . 4) (12 . 5) (13 . 6) (14 . 8) (15 . 9) (16 . 10)) 6287 0.5709 6.7969 ((11 . 40) (12 . 41) (13 . 42) (16 . 44)) 6288 0.9899 7.2127 ((10 . 46) (11 . 47) (12 . 48) (13 . 49) (14 . 50) (15 . 51) (16 . 52)) 6334 0.9713 9.4863 ((10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (15 . 8) (16 . 9)) 6338 0.8567 4.0142 ((11 . 1) (12 . 2) (13 . 4) (14 . 5) (15 . 7) (16 . 8)) 6379 0.9919 6.8272 ((10 . 1) (11 . 3) (12 . 4) (13 . 5) (14 . 6) (15 . 7) (16 . 8)) 6380 0.9794 8.6799 ((10 . 9) (11 . 11) (12 . 13) (13 . 14) (14 . 15) (15 . 17) (16 . 19)) 6443 0.7140 4.6480 ((12 . 4) (13 . 5) (14 . 6) (15 . 8) (16 . 10)) 6444 0.9921 6.7698 ((10 . 14) (11 . 15) (12 . 16) (13 . 17) (14 . 19) (15 . 21) (16 . 22)) 6445 0.7139 4.8227 ((11 . 3) (12 . 4) (14 . 6) (15 . 8) (16 . 9)) 6446 0.9886 7.4508 ((10 . 10) (11 . 12) (12 . 14) (13 . 15) (14 . 16) (15 . 18) (16 . 19)) 6449 0.9886 7.4408 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 8)) 6466 0.9880 7.5395 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 7) (16 . 8)) 6467 0.8519 7.4009 ((10 . 10) (11 . 11) (12 . 15) (13 . 16) (14 . 17) (15 . 18)) 6485 0.9906 7.0837 ((10 . 1) (11 . 2) (12 . 3) (13 . 5) (14 . 6) (15 . 9) (16 . 10)) 6570 0.9781 8.8234 ((10 . 15) (11 . 16) (12 . 17) (13 . 19) (14 . 20) (15 . 22) (16 . 23)) 6612 0.9908 7.0571 ((10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 7) (15 . 8) (16 . 9)) END