927 233 0.8565 4.3106 ((13 . 1) (14 . 2) (15 . 3) (18 . 5) (19 . 7) (20 . 8)) 234 0.8562 4.7626 ((13 . 10) (14 . 11) (15 . 12) (18 . 14) (19 . 15) (20 . 16)) 291 0.9952 5.9798 ((13 . 1) (14 . 2) (15 . 3) (17 . 4) (18 . 5) (19 . 6) (20 . 7)) 349 0.9978 4.8993 ((13 . 2) (14 . 3) (15 . 4) (17 . 7) (18 . 8) (19 . 10) (20 . 12)) 365 0.8554 5.6134 ((13 . 1) (14 . 2) (15 . 3) (17 . 4) (18 . 6) (19 . 8)) 388 0.8495 8.1483 ((13 . 16) (14 . 17) (15 . 18) (17 . 19) (19 . 21) (20 . 22)) 402 0.9911 6.9883 ((13 . 2) (14 . 3) (15 . 5) (17 . 6) (18 . 7) (19 . 9) (20 . 11)) 403 0.9931 6.5377 ((13 . 12) (14 . 13) (15 . 15) (17 . 17) (18 . 18) (19 . 20) (20 . 21)) 404 0.8477 8.6200 ((13 . 22) (14 . 24) (15 . 25) (18 . 28) (19 . 30) (20 . 31)) 405 0.9962 5.6449 ((13 . 32) (14 . 33) (15 . 35) (17 . 37) (18 . 38) (19 . 39) (20 . 40)) 445 0.8562 4.7862 ((13 . 1) (14 . 2) (15 . 3) (18 . 5) (19 . 6) (20 . 7)) 449 0.8561 4.9742 ((13 . 1) (14 . 2) (15 . 3) (18 . 6) (19 . 7) (20 . 9)) 450 0.8556 5.4712 ((13 . 12) (14 . 13) (15 . 15) (18 . 18) (19 . 19) (20 . 20)) 564 0.9966 5.4647 ((13 . 1) (14 . 2) (15 . 3) (17 . 7) (18 . 8) (19 . 10) (20 . 11)) 565 0.8565 4.3416 ((13 . 12) (14 . 13) (15 . 14) (18 . 16) (19 . 17) (20 . 18)) 567 0.8543 6.3362 ((13 . 1) (14 . 2) (15 . 3) (18 . 6) (19 . 8) (20 . 9)) 568 0.9934 6.4645 ((13 . 12) (14 . 13) (15 . 15) (17 . 16) (18 . 17) (19 . 18) (20 . 19)) 570 0.5710 6.4262 ((13 . 1) (18 . 9) (19 . 11) (20 . 12)) 571 0.7055 10.6340 ((13 . 12) (14 . 14) (18 . 15) (19 . 16) (20 . 17)) 578 0.8545 6.2570 ((13 . 1) (14 . 2) (15 . 3) (18 . 5) (19 . 6) (20 . 8)) 579 0.8560 5.0954 ((13 . 9) (14 . 10) (15 . 12) (18 . 14) (19 . 15) (20 . 17)) 599 0.9959 5.7525 ((13 . 1) (14 . 2) (15 . 3) (17 . 4) (18 . 7) (19 . 9) (20 . 10)) 600 0.5710 6.7150 ((14 . 13) (15 . 14) (17 . 15) (18 . 16)) 626 0.7136 5.6414 ((14 . 3) (15 . 4) (17 . 7) (19 . 8) (20 . 10)) 668 0.9939 6.3363 ((13 . 2) (14 . 3) (15 . 5) (17 . 7) (18 . 8) (19 . 10) (20 . 12)) 669 0.9907 7.0649 ((13 . 13) (14 . 14) (15 . 16) (17 . 17) (18 . 18) (19 . 20) (20 . 22)) 670 0.8533 6.8719 ((13 . 24) (14 . 25) (15 . 27) (18 . 28) (19 . 30) (20 . 31)) 671 0.9955 5.8931 ((13 . 32) (14 . 33) (15 . 35) (17 . 37) (18 . 38) (19 . 40) (20 . 41)) 693 0.7141 3.8118 ((14 . 31) (15 . 32) (18 . 34) (19 . 35) (20 . 36)) 695 0.9969 5.3648 ((13 . 1) (14 . 3) (15 . 4) (17 . 5) (18 . 6) (19 . 7) (20 . 8)) 696 0.8566 4.2415 ((13 . 10) (14 . 12) (15 . 13) (18 . 16) (19 . 17) (20 . 19)) 697 0.8562 4.7470 ((13 . 21) (14 . 22) (15 . 23) (18 . 26) (19 . 27) (20 . 30)) 698 0.9920 6.7985 ((13 . 31) (14 . 34) (15 . 36) (17 . 37) (18 . 38) (19 . 39) (20 . 40)) 828 0.8565 4.3327 ((13 . 7) (14 . 8) (15 . 9) (18 . 11) (19 . 12) (20 . 13)) 888 0.9981 4.7142 ((13 . 13) (14 . 14) (15 . 15) (17 . 17) (18 . 19) (19 . 20) (20 . 21)) 919 0.9981 4.7344 ((13 . 3) (14 . 4) (15 . 5) (17 . 6) (18 . 8) (19 . 9) (20 . 10)) 922 0.9972 5.1974 ((13 . 2) (14 . 3) (15 . 4) (17 . 7) (18 . 8) (19 . 10) (20 . 12)) 926 0.9956 5.8491 ((13 . 1) (14 . 2) (15 . 4) (17 . 8) (18 . 9) (19 . 11) (20 . 12)) 927 1.0000 0.0000 ((13 . 13) (14 . 14) (15 . 15) (17 . 17) (18 . 18) (19 . 19) (20 . 20)) 1025 0.8568 3.6805 ((13 . 3) (14 . 4) (15 . 5) (18 . 7) (19 . 8) (20 . 9)) 1086 0.9955 5.8886 ((13 . 2) (14 . 3) (15 . 5) (17 . 8) (18 . 10) (19 . 12) (20 . 13)) 1110 0.9956 5.8544 ((13 . 10) (14 . 11) (15 . 13) (17 . 14) (18 . 15) (19 . 16) (20 . 18)) 1112 0.9970 5.3242 ((13 . 2) (14 . 6) (15 . 7) (17 . 8) (18 . 9) (19 . 10) (20 . 12)) 1126 0.9985 4.4470 ((13 . 2) (14 . 3) (15 . 4) (17 . 6) (18 . 7) (19 . 9) (20 . 10)) 1127 0.8561 4.9289 ((13 . 13) (14 . 14) (15 . 16) (18 . 18) (19 . 19) (20 . 21)) 1149 0.9967 5.4444 ((13 . 1) (14 . 2) (15 . 3) (17 . 4) (18 . 5) (19 . 6) (20 . 7)) 1164 0.8548 6.0566 ((13 . 2) (14 . 3) (17 . 6) (18 . 7) (19 . 9) (20 . 10)) 1181 0.9991 3.9123 ((13 . 2) (14 . 3) (15 . 4) (17 . 7) (18 . 9) (19 . 11) (20 . 13)) 1235 0.9979 4.8444 ((13 . 2) (14 . 3) (15 . 4) (17 . 6) (18 . 7) (19 . 9) (20 . 10)) 1236 0.9859 7.8623 ((13 . 11) (14 . 14) (15 . 15) (17 . 18) (18 . 19) (19 . 21) (20 . 23)) 1270 0.9981 4.7570 ((13 . 34) (14 . 35) (15 . 36) (17 . 37) (18 . 38) (19 . 39) (20 . 40)) 1293 0.5705 7.9119 ((13 . 1) (17 . 4) (18 . 5) (19 . 7)) 1294 0.9975 5.0913 ((13 . 39) (14 . 40) (15 . 41) (17 . 43) (18 . 44) (19 . 46) (20 . 47)) 1295 0.9988 4.2025 ((13 . 48) (14 . 49) (15 . 50) (17 . 51) (18 . 52) (19 . 53) (20 . 54)) 1341 0.7138 5.0835 ((13 . 1) (14 . 3) (15 . 5) (17 . 7) (18 . 8)) 1342 0.9896 7.2689 ((13 . 14) (14 . 17) (15 . 19) (17 . 20) (18 . 21) (19 . 22) (20 . 23)) 1374 0.2946 5.5514 ((13 . 1) (18 . 6) (19 . 8) (20 . 9)) 1375 0.8544 6.3010 ((13 . 10) (14 . 12) (15 . 14) (18 . 16) (19 . 18) (20 . 20)) 1390 0.8561 4.9678 ((13 . 2) (14 . 3) (15 . 4) (18 . 6) (19 . 8) (20 . 9)) 1391 0.9989 4.1393 ((13 . 11) (14 . 12) (15 . 13) (17 . 15) (18 . 16) (19 . 17) (20 . 18)) 1392 0.9979 4.8667 ((13 . 20) (14 . 21) (15 . 22) (17 . 23) (18 . 24) (19 . 25) (20 . 26)) 1418 0.8562 4.8020 ((13 . 1) (14 . 2) (15 . 3) (18 . 5) (19 . 6) (20 . 8)) 1419 0.8562 4.8561 ((13 . 10) (14 . 11) (15 . 12) (18 . 14) (19 . 15) (20 . 16)) 1445 0.9969 5.3430 ((13 . 2) (14 . 3) (15 . 5) (17 . 9) (18 . 10) (19 . 12) (20 . 13)) 1446 0.9935 6.4406 ((13 . 15) (14 . 16) (15 . 17) (17 . 19) (18 . 20) (19 . 22) (20 . 24)) 1502 0.9966 5.4919 ((13 . 2) (14 . 3) (15 . 4) (17 . 6) (18 . 7) (19 . 9) (20 . 10)) 1555 0.9964 5.5580 ((13 . 1) (14 . 2) (15 . 3) (17 . 5) (18 . 6) (19 . 8) (20 . 9)) 1566 0.7091 9.2796 ((15 . 3) (17 . 4) (18 . 5) (19 . 6) (20 . 8)) 1568 0.9976 4.9973 ((13 . 1) (14 . 2) (15 . 3) (17 . 4) (18 . 5) (19 . 6) (20 . 7)) 1569 0.9962 5.6269 ((13 . 1) (14 . 2) (15 . 3) (17 . 4) (18 . 5) (19 . 6) (20 . 8)) 1570 0.8565 4.3561 ((13 . 9) (14 . 10) (15 . 11) (18 . 13) (19 . 14) (20 . 16)) 1571 0.9973 5.1439 ((13 . 17) (14 . 18) (15 . 19) (17 . 20) (18 . 21) (19 . 22) (20 . 24)) 1572 0.9971 5.2616 ((13 . 1) (14 . 2) (15 . 3) (17 . 4) (18 . 5) (19 . 6) (20 . 8)) 1573 0.8566 4.1018 ((13 . 9) (14 . 10) (15 . 11) (18 . 13) (19 . 14) (20 . 16)) 1579 0.5712 5.4641 ((15 . 6) (17 . 8) (18 . 10) (19 . 12)) 1580 0.9978 4.9241 ((13 . 2) (14 . 3) (15 . 4) (17 . 7) (18 . 8) (19 . 9) (20 . 11)) 1600 0.9990 4.0083 ((13 . 1) (14 . 3) (15 . 4) (17 . 5) (18 . 6) (19 . 8) (20 . 9)) 1601 0.9984 4.5468 ((13 . 10) (14 . 11) (15 . 12) (17 . 15) (18 . 17) (19 . 20) (20 . 21)) 1660 0.8546 6.2010 ((13 . 1) (14 . 2) (15 . 3) (17 . 4) (18 . 5) (19 . 7)) 1661 0.9944 6.2067 ((13 . 11) (14 . 12) (15 . 14) (17 . 15) (18 . 16) (19 . 17) (20 . 18)) 1666 0.7098 8.9739 ((13 . 4) (14 . 5) (15 . 6) (18 . 9) (19 . 10)) 1667 0.9980 4.7938 ((13 . 38) (14 . 39) (15 . 40) (17 . 41) (18 . 42) (19 . 44) (20 . 45)) 1668 0.8567 4.0100 ((13 . 46) (14 . 48) (15 . 50) (18 . 53) (19 . 54) (20 . 55)) 1684 0.8555 5.5553 ((13 . 2) (14 . 3) (15 . 4) (18 . 7) (19 . 9) (20 . 11)) 1688 0.7118 7.7061 ((13 . 3) (14 . 4) (17 . 7) (18 . 9) (19 . 10)) 1722 0.5709 6.7446 ((13 . 2) (14 . 4) (19 . 8) (20 . 10)) 1723 0.5713 5.2276 ((13 . 16) (14 . 17) (15 . 19) (17 . 20)) 1826 0.7141 4.0405 ((13 . 2) (14 . 3) (15 . 5) (17 . 7) (18 . 8)) 1827 0.8562 4.8065 ((13 . 13) (14 . 14) (15 . 16) (18 . 19) (19 . 20) (20 . 21)) 1828 0.8567 4.0432 ((13 . 22) (14 . 23) (15 . 26) (17 . 27) (18 . 28) (19 . 29)) 1864 0.9968 5.4066 ((13 . 2) (14 . 3) (15 . 4) (17 . 6) (18 . 7) (19 . 9) (20 . 10)) 1928 0.9986 4.3797 ((13 . 2) (14 . 3) (15 . 4) (17 . 6) (18 . 7) (19 . 9) (20 . 11)) 1938 0.9968 5.4090 ((13 . 2) (14 . 3) (15 . 4) (17 . 5) (18 . 6) (19 . 8) (20 . 9)) 1939 0.9990 4.0346 ((13 . 10) (14 . 11) (15 . 12) (17 . 15) (18 . 16) (19 . 17) (20 . 18)) 1996 0.5712 5.7092 ((13 . 4) (14 . 5) (15 . 6) (17 . 7)) 2009 0.8528 7.0767 ((13 . 2) (14 . 3) (15 . 4) (17 . 5) (18 . 7) (19 . 8)) 2022 0.8570 3.2224 ((13 . 14) (14 . 15) (15 . 16) (18 . 20) (19 . 22) (20 . 24)) 2061 0.9972 5.2239 ((13 . 1) (14 . 3) (15 . 5) (17 . 6) (18 . 7) (19 . 8) (20 . 9)) 2087 0.9960 5.7131 ((13 . 2) (14 . 3) (15 . 4) (17 . 7) (18 . 8) (19 . 10) (20 . 12)) 2110 0.9674 9.8216 ((13 . 21) (14 . 23) (15 . 24) (17 . 26) (18 . 27) (19 . 28) (20 . 29)) 2165 0.5691 10.0664 ((14 . 25) (18 . 29) (19 . 30) (20 . 31)) 2186 0.9996 3.1462 ((13 . 7) (14 . 8) (15 . 9) (17 . 11) (18 . 12) (19 . 13) (20 . 14)) 2188 0.8570 2.9995 ((13 . 9) (14 . 10) (15 . 11) (18 . 14) (19 . 15) (20 . 16)) 2191 0.8565 4.4363 ((14 . 1) (15 . 2) (17 . 4) (18 . 5) (19 . 7) (20 . 8)) 2221 0.0999 8.3528 ((13 . 1) (14 . 2) (18 . 5) (20 . 8)) 2246 0.9949 6.0632 ((13 . 1) (14 . 2) (15 . 3) (17 . 8) (18 . 9) (19 . 11) (20 . 12)) 2318 0.9978 4.9188 ((13 . 2) (14 . 3) (15 . 5) (17 . 8) (18 . 10) (19 . 12) (20 . 14)) 2319 0.9985 4.4381 ((13 . 15) (14 . 16) (15 . 17) (17 . 19) (18 . 20) (19 . 21) (20 . 22)) 2320 0.9966 5.4553 ((13 . 2) (14 . 3) (15 . 4) (17 . 7) (18 . 8) (19 . 10) (20 . 12)) 2321 0.7143 2.1537 ((14 . 14) (15 . 15) (18 . 18) (19 . 20) (20 . 22)) 2338 0.8569 3.3632 ((13 . 13) (14 . 14) (15 . 15) (18 . 19) (19 . 21) (20 . 22)) 2365 0.9977 4.9718 ((13 . 1) (14 . 3) (15 . 6) (17 . 9) (18 . 10) (19 . 11) (20 . 12)) 2428 0.7119 7.6087 ((13 . 8) (17 . 12) (18 . 13) (19 . 14) (20 . 15)) 2441 0.9952 5.9688 ((13 . 1) (14 . 3) (15 . 4) (17 . 5) (18 . 6) (19 . 7) (20 . 8)) 2442 0.8551 5.8319 ((13 . 10) (14 . 12) (15 . 14) (18 . 16) (19 . 17) (20 . 19)) 2444 0.8568 3.7112 ((13 . 1) (14 . 2) (15 . 4) (18 . 7) (19 . 8) (20 . 9)) 2445 0.9923 6.7459 ((13 . 11) (14 . 12) (15 . 14) (17 . 15) (18 . 16) (19 . 17) (20 . 19)) 2473 0.7138 5.1925 ((13 . 1) (14 . 2) (15 . 3) (17 . 5) (19 . 8)) 2507 0.9970 5.3148 ((13 . 3) (14 . 4) (15 . 6) (17 . 9) (18 . 11) (19 . 13) (20 . 14)) 2508 0.8562 4.7970 ((13 . 16) (14 . 17) (15 . 19) (18 . 22) (19 . 24) (20 . 25)) 2531 0.9994 3.5355 ((13 . 1) (14 . 2) (15 . 3) (17 . 6) (18 . 7) (19 . 8) (20 . 9)) 2534 0.7137 5.4272 ((13 . 16) (14 . 18) (15 . 19) (18 . 22) (19 . 23)) 2577 0.9935 6.4396 ((13 . 2) (14 . 3) (15 . 5) (17 . 6) (18 . 7) (19 . 9) (20 . 10)) 2578 0.9931 6.5446 ((13 . 12) (14 . 13) (15 . 15) (17 . 17) (18 . 18) (19 . 20) (20 . 21)) 2579 0.9986 4.3864 ((13 . 23) (14 . 24) (15 . 25) (17 . 27) (18 . 29) (19 . 31) (20 . 32)) 2641 0.9963 5.5766 ((13 . 1) (14 . 3) (15 . 5) (17 . 7) (18 . 8) (19 . 9) (20 . 10)) 2686 0.9990 4.0244 ((13 . 2) (14 . 3) (15 . 4) (17 . 8) (18 . 9) (19 . 10) (20 . 13)) 2728 0.9982 4.6843 ((13 . 1) (14 . 2) (15 . 3) (17 . 5) (18 . 6) (19 . 9) (20 . 10)) 2767 0.8567 3.8794 ((13 . 1) (14 . 2) (15 . 3) (18 . 5) (19 . 6) (20 . 7)) 2812 0.8565 4.4076 ((13 . 1) (14 . 2) (15 . 3) (18 . 5) (19 . 6) (20 . 7)) 2877 0.7139 4.8173 ((14 . 2) (15 . 3) (18 . 6) (19 . 7) (20 . 8)) 2880 0.9994 3.5020 ((13 . 2) (14 . 3) (15 . 4) (17 . 6) (18 . 7) (19 . 8) (20 . 12)) 2971 0.5712 5.5408 ((13 . 10) (17 . 14) (18 . 16) (19 . 17)) 2987 0.8545 6.2433 ((13 . 26) (14 . 28) (17 . 30) (18 . 31) (19 . 32) (20 . 33)) 3099 0.9965 5.5141 ((13 . 23) (14 . 24) (15 . 25) (17 . 26) (18 . 27) (19 . 28) (20 . 29)) 3101 0.8557 5.3452 ((13 . 50) (14 . 51) (15 . 52) (18 . 54) (19 . 55) (20 . 56)) 3159 0.9983 4.6086 ((13 . 53) (14 . 54) (15 . 55) (17 . 58) (18 . 59) (19 . 60) (20 . 61)) 3185 0.8569 3.3522 ((13 . 14) (14 . 15) (15 . 16) (18 . 21) (19 . 23) (20 . 24)) 3186 0.8569 3.4799 ((13 . 1) (14 . 2) (15 . 3) (18 . 7) (19 . 8) (20 . 9)) 3205 0.8559 5.1564 ((13 . 1) (14 . 2) (15 . 3) (18 . 5) (19 . 6) (20 . 8)) 3292 0.9979 4.8573 ((13 . 2) (14 . 3) (15 . 4) (17 . 7) (18 . 8) (19 . 10) (20 . 11)) 3342 0.7131 6.3496 ((13 . 2) (14 . 3) (15 . 4) (17 . 5) (18 . 7)) 3357 0.7139 4.6870 ((13 . 4) (14 . 5) (15 . 6) (19 . 10) (20 . 11)) 3378 0.8558 5.2422 ((13 . 32) (14 . 34) (15 . 35) (18 . 37) (19 . 39) (20 . 40)) 3417 0.8562 4.8611 ((13 . 4) (14 . 6) (15 . 7) (18 . 9) (19 . 10) (20 . 11)) 3430 0.7139 4.7739 ((13 . 2) (14 . 4) (15 . 5) (19 . 9) (20 . 10)) 3431 0.7106 8.4994 ((14 . 4) (15 . 5) (17 . 6) (18 . 7) (19 . 8)) 3443 0.9977 4.9730 ((13 . 2) (14 . 3) (15 . 4) (17 . 6) (18 . 7) (19 . 8) (20 . 9)) 3444 0.9975 5.0684 ((13 . 37) (14 . 38) (15 . 39) (17 . 42) (18 . 43) (19 . 45) (20 . 46)) 3445 0.9989 4.1250 ((13 . 47) (14 . 48) (15 . 49) (17 . 50) (18 . 51) (19 . 52) (20 . 53)) 3472 0.9964 5.5601 ((13 . 2) (14 . 3) (15 . 4) (17 . 8) (18 . 9) (19 . 11) (20 . 12)) 3478 0.8516 7.5237 ((13 . 3) (14 . 4) (15 . 5) (17 . 7) (18 . 8) (19 . 9)) 3507 0.5708 7.3188 ((15 . 33) (17 . 34) (18 . 37) (19 . 38)) 3530 0.8559 5.1038 ((13 . 20) (14 . 21) (17 . 23) (18 . 24) (19 . 25) (20 . 27)) 3531 0.8542 6.3799 ((14 . 30) (15 . 32) (17 . 33) (18 . 34) (19 . 35) (20 . 36)) 3532 0.7134 5.9565 ((13 . 37) (14 . 38) (18 . 39) (19 . 40) (20 . 41)) 3550 0.9954 5.9049 ((13 . 2) (14 . 3) (15 . 6) (17 . 8) (18 . 9) (19 . 10) (20 . 13)) 3554 0.8567 3.8978 ((13 . 1) (14 . 3) (15 . 4) (18 . 8) (19 . 10) (20 . 11)) 3555 0.9980 4.7766 ((13 . 12) (14 . 14) (15 . 15) (17 . 17) (18 . 19) (19 . 21) (20 . 23)) 3556 0.9950 6.0503 ((13 . 1) (14 . 2) (15 . 3) (17 . 5) (18 . 8) (19 . 10) (20 . 12)) 3557 0.8552 5.7732 ((14 . 15) (15 . 16) (17 . 18) (18 . 19) (19 . 21) (20 . 23)) 3655 0.5711 6.0164 ((13 . 31) (14 . 32) (18 . 34) (19 . 35)) 3667 0.8550 5.9042 ((13 . 3) (14 . 4) (15 . 6) (18 . 8) (19 . 9) (20 . 10)) 3690 0.5710 6.4985 ((17 . 1) (18 . 4) (19 . 5) (20 . 6)) 3699 0.7140 4.4571 ((13 . 1) (14 . 2) (15 . 3) (18 . 5) (19 . 8)) 3700 0.8566 4.1548 ((13 . 13) (14 . 14) (15 . 16) (18 . 18) (19 . 19) (20 . 20)) 3762 0.8566 4.1365 ((13 . 1) (14 . 2) (15 . 3) (18 . 5) (19 . 6) (20 . 7)) 3791 0.8516 7.5114 ((13 . 44) (14 . 45) (15 . 46) (18 . 47) (19 . 48) (20 . 50)) 3792 0.7116 7.8718 ((13 . 58) (14 . 59) (15 . 60) (17 . 61) (18 . 62)) 3793 0.7112 8.1649 ((13 . 63) (17 . 66) (18 . 67) (19 . 69) (20 . 70)) 3794 0.7106 8.5021 ((14 . 23) (15 . 24) (17 . 26) (19 . 29) (20 . 30)) 3876 0.8568 3.7358 ((13 . 2) (14 . 3) (15 . 4) (18 . 6) (19 . 7) (20 . 10)) 3948 0.9975 5.0661 ((13 . 2) (14 . 3) (15 . 5) (17 . 9) (18 . 10) (19 . 12) (20 . 14)) 3949 0.9989 4.1176 ((13 . 15) (14 . 16) (15 . 17) (17 . 20) (18 . 21) (19 . 22) (20 . 24)) 3950 0.9979 4.8516 ((13 . 2) (14 . 3) (15 . 4) (17 . 7) (18 . 8) (19 . 10) (20 . 12)) 3951 0.9991 3.9086 ((13 . 13) (14 . 15) (15 . 16) (17 . 18) (18 . 19) (19 . 21) (20 . 22)) 4079 0.7136 5.5652 ((13 . 1) (14 . 3) (15 . 4) (18 . 7) (19 . 8)) 4109 0.8561 4.8786 ((13 . 1) (14 . 2) (15 . 3) (18 . 5) (19 . 7) (20 . 8)) 4110 0.9951 5.9983 ((13 . 9) (14 . 10) (15 . 11) (17 . 12) (18 . 13) (19 . 14) (20 . 16)) 4111 0.8562 4.7867 ((13 . 17) (14 . 18) (15 . 19) (18 . 22) (19 . 23) (20 . 24)) 4145 0.8561 4.9306 ((13 . 1) (14 . 2) (15 . 3) (18 . 6) (19 . 7) (20 . 9)) 4146 0.7139 4.7750 ((13 . 11) (14 . 12) (15 . 14) (18 . 15) (19 . 16)) 4178 0.5692 9.9201 ((13 . 2) (14 . 3) (15 . 4) (17 . 5)) 4197 0.9964 5.5730 ((13 . 1) (14 . 2) (15 . 4) (17 . 7) (18 . 8) (19 . 10) (20 . 11)) 4199 0.8556 5.4333 ((13 . 2) (14 . 3) (17 . 4) (18 . 5) (19 . 6) (20 . 7)) 4219 0.8563 4.6632 ((13 . 2) (14 . 4) (15 . 5) (18 . 8) (19 . 9) (20 . 10)) 4221 0.7126 6.9548 ((15 . 7) (17 . 8) (18 . 10) (19 . 12) (20 . 13)) 4224 0.7103 8.6750 ((14 . 3) (15 . 4) (18 . 6) (19 . 8) (20 . 9)) 4230 0.7107 8.4401 ((13 . 1) (14 . 3) (15 . 4) (17 . 5) (18 . 6)) 4286 0.7080 9.7529 ((13 . 6) (14 . 9) (15 . 11) (17 . 13) (18 . 14)) 4289 0.9969 5.3578 ((13 . 2) (14 . 3) (15 . 4) (17 . 6) (18 . 7) (19 . 9) (20 . 10)) 4290 0.9981 4.7506 ((13 . 11) (14 . 13) (15 . 14) (17 . 16) (18 . 17) (19 . 18) (20 . 20)) 4349 0.7118 7.7452 ((15 . 5) (17 . 6) (18 . 7) (19 . 8) (20 . 10)) 4464 0.9998 2.7712 ((13 . 1) (14 . 2) (15 . 3) (17 . 6) (18 . 7) (19 . 9) (20 . 10)) 4512 0.8562 4.7577 ((13 . 2) (14 . 3) (15 . 6) (18 . 8) (19 . 9) (20 . 10)) 4525 0.8563 4.6518 ((13 . 20) (14 . 21) (15 . 23) (18 . 26) (19 . 28) (20 . 29)) 4526 0.9973 5.1745 ((13 . 30) (14 . 31) (15 . 32) (17 . 33) (18 . 34) (19 . 35) (20 . 36)) 4581 0.5712 5.7967 ((17 . 1) (18 . 2) (19 . 3) (20 . 5)) 4584 0.9977 4.9680 ((13 . 2) (14 . 3) (15 . 5) (17 . 8) (18 . 9) (19 . 11) (20 . 13)) 4637 0.9972 5.2269 ((13 . 2) (14 . 3) (15 . 4) (17 . 7) (18 . 8) (19 . 10) (20 . 12)) 4638 0.5714 4.1871 ((13 . 13) (14 . 14) (17 . 16) (18 . 18)) 4639 0.9945 6.1705 ((13 . 2) (14 . 3) (15 . 5) (17 . 8) (18 . 9) (19 . 10) (20 . 12)) 4640 0.9981 4.7064 ((13 . 14) (14 . 16) (15 . 17) (17 . 19) (18 . 21) (19 . 23) (20 . 24)) 4687 0.8563 4.7193 ((13 . 27) (14 . 28) (15 . 30) (18 . 33) (19 . 34) (20 . 35)) 4700 0.9917 6.8614 ((13 . 2) (14 . 3) (15 . 4) (17 . 5) (18 . 6) (19 . 8) (20 . 10)) 4708 0.8549 5.9670 ((13 . 48) (14 . 49) (15 . 50) (18 . 51) (19 . 53) (20 . 54)) 4744 0.9931 6.5548 ((13 . 1) (14 . 2) (15 . 3) (17 . 4) (18 . 5) (19 . 6) (20 . 7)) 4777 0.9915 6.8972 ((13 . 3) (14 . 4) (15 . 5) (17 . 6) (18 . 7) (19 . 10) (20 . 11)) 4800 0.7139 4.9798 ((13 . 1) (14 . 3) (18 . 5) (19 . 7) (20 . 8)) 4809 0.9935 6.4604 ((13 . 1) (14 . 2) (15 . 3) (17 . 4) (18 . 5) (19 . 6) (20 . 7)) 4892 0.7119 7.6057 ((13 . 3) (14 . 4) (15 . 5) (17 . 6) (18 . 7)) 4896 0.9992 3.7648 ((13 . 1) (14 . 3) (15 . 5) (17 . 7) (18 . 8) (19 . 10) (20 . 11)) 4897 0.5703 8.3018 ((17 . 14) (18 . 15) (19 . 17) (20 . 18)) 4898 0.5681 11.0035 ((15 . 19) (17 . 20) (19 . 23) (20 . 27)) 4908 0.8566 4.2642 ((13 . 2) (14 . 3) (15 . 4) (17 . 6) (18 . 7) (19 . 8)) 4921 0.8553 5.7051 ((13 . 7) (14 . 8) (15 . 9) (18 . 12) (19 . 14) (20 . 17)) 4923 0.8553 5.6713 ((13 . 15) (14 . 16) (15 . 17) (17 . 19) (19 . 20) (20 . 22)) 4951 0.9963 5.6123 ((13 . 47) (14 . 49) (15 . 50) (17 . 53) (18 . 54) (19 . 55) (20 . 56)) 4967 0.7132 6.2776 ((13 . 24) (17 . 28) (18 . 29) (19 . 30) (20 . 31)) 4968 0.7134 5.8660 ((15 . 37) (17 . 39) (18 . 40) (19 . 42) (20 . 43)) 5040 0.9971 5.2698 ((13 . 2) (14 . 3) (15 . 4) (17 . 8) (18 . 10) (19 . 12) (20 . 13)) 5043 0.9987 4.2622 ((13 . 3) (14 . 4) (15 . 5) (17 . 6) (18 . 11) (19 . 12) (20 . 13)) 5166 0.5709 6.7626 ((13 . 1) (14 . 2) (15 . 3) (17 . 4)) 5246 0.7085 9.5449 ((13 . 7) (15 . 9) (17 . 10) (18 . 12) (19 . 14)) 5281 0.5714 3.9029 ((13 . 65) (14 . 66) (15 . 67) (19 . 69)) 5310 0.9981 4.7076 ((13 . 3) (14 . 4) (15 . 5) (17 . 8) (18 . 9) (19 . 10) (20 . 12)) 5311 0.8568 3.8253 ((14 . 14) (15 . 15) (17 . 16) (18 . 17) (19 . 18) (20 . 20)) 5316 0.5707 7.5305 ((17 . 8) (18 . 10) (19 . 12) (20 . 13)) 5319 0.8562 4.7766 ((13 . 1) (14 . 2) (15 . 3) (18 . 6) (19 . 7) (20 . 8)) 5320 0.9965 5.5269 ((13 . 9) (14 . 10) (15 . 11) (17 . 12) (18 . 13) (19 . 14) (20 . 16)) 5342 0.9965 5.5098 ((13 . 45) (14 . 47) (15 . 48) (17 . 50) (18 . 51) (19 . 52) (20 . 54)) 5413 0.9992 3.7602 ((13 . 2) (14 . 3) (15 . 4) (17 . 7) (18 . 8) (19 . 10) (20 . 11)) 5431 0.9950 6.0479 ((13 . 1) (14 . 2) (15 . 3) (17 . 4) (18 . 5) (19 . 6) (20 . 7)) 5432 0.9973 5.1532 ((13 . 8) (14 . 9) (15 . 10) (17 . 11) (18 . 12) (19 . 13) (20 . 15)) 5497 0.9948 6.0868 ((13 . 21) (14 . 22) (15 . 23) (17 . 25) (18 . 26) (19 . 28) (20 . 29)) 5552 0.9980 4.7873 ((13 . 5) (14 . 6) (15 . 8) (17 . 10) (18 . 11) (19 . 12) (20 . 14)) 5615 0.9987 4.2657 ((13 . 28) (14 . 29) (15 . 30) (17 . 32) (18 . 33) (19 . 34) (20 . 35)) 5633 0.9982 4.6643 ((13 . 1) (14 . 2) (15 . 3) (17 . 5) (18 . 6) (19 . 8) (20 . 10)) 5634 0.5711 6.0514 ((17 . 12) (18 . 13) (19 . 14) (20 . 17)) 5682 0.7121 7.4753 ((15 . 3) (17 . 4) (18 . 5) (19 . 6) (20 . 9)) 5683 0.9991 3.9693 ((13 . 2) (14 . 3) (15 . 4) (17 . 6) (18 . 7) (19 . 8) (20 . 10)) 5733 0.9981 4.7474 ((13 . 12) (14 . 14) (15 . 15) (17 . 17) (18 . 19) (19 . 21) (20 . 22)) 5835 0.8559 5.1758 ((13 . 35) (14 . 37) (15 . 38) (18 . 41) (19 . 42) (20 . 44)) 5863 0.9976 5.0267 ((13 . 30) (14 . 31) (15 . 33) (17 . 35) (18 . 37) (19 . 38) (20 . 39)) 5899 0.9968 5.3997 ((13 . 1) (14 . 2) (15 . 3) (17 . 4) (18 . 5) (19 . 6) (20 . 8)) 5916 0.8552 5.7688 ((13 . 1) (14 . 2) (17 . 3) (18 . 4) (19 . 5) (20 . 8)) 5936 0.7086 9.4919 ((13 . 6) (15 . 9) (17 . 11) (18 . 13) (19 . 15)) 5948 0.8562 4.8421 ((13 . 1) (14 . 3) (15 . 5) (17 . 8) (18 . 9) (19 . 10)) 5974 0.8550 5.9304 ((13 . 2) (14 . 4) (15 . 5) (18 . 8) (19 . 10) (20 . 12)) 5988 0.8558 5.2403 ((13 . 1) (14 . 2) (15 . 3) (17 . 5) (18 . 6) (19 . 7)) 5989 0.8534 6.8212 ((13 . 1) (14 . 2) (15 . 4) (18 . 6) (19 . 7) (20 . 8)) 5993 0.7138 5.1510 ((13 . 1) (14 . 2) (15 . 3) (18 . 5) (19 . 7)) 6012 0.9946 6.1531 ((13 . 48) (14 . 50) (15 . 51) (17 . 52) (18 . 53) (19 . 54) (20 . 55)) 6013 0.5713 5.0775 ((13 . 58) (14 . 59) (17 . 62) (18 . 63)) 6037 0.7112 8.1411 ((13 . 3) (14 . 4) (15 . 5) (18 . 7) (19 . 8)) 6105 0.8548 6.0649 ((14 . 3) (15 . 4) (17 . 6) (18 . 7) (19 . 8) (20 . 9)) 6124 0.9983 4.6178 ((13 . 8) (14 . 9) (15 . 10) (17 . 12) (18 . 14) (19 . 15) (20 . 16)) 6126 0.9981 4.7282 ((13 . 9) (14 . 10) (15 . 11) (17 . 13) (18 . 15) (19 . 16) (20 . 17)) 6206 0.9983 4.6116 ((13 . 2) (14 . 3) (15 . 4) (17 . 5) (18 . 6) (19 . 8) (20 . 9)) 6207 0.9976 5.0263 ((13 . 10) (14 . 12) (15 . 14) (17 . 15) (18 . 16) (19 . 18) (20 . 19)) 6285 0.9967 5.4480 ((13 . 1) (14 . 4) (15 . 5) (17 . 7) (18 . 8) (19 . 9) (20 . 10)) 6287 0.9947 6.1213 ((13 . 38) (14 . 39) (15 . 40) (17 . 41) (18 . 42) (19 . 44) (20 . 45)) 6288 0.9981 4.7439 ((13 . 46) (14 . 47) (15 . 48) (17 . 49) (18 . 50) (19 . 51) (20 . 52)) 6334 0.9976 5.0014 ((13 . 2) (14 . 3) (15 . 4) (17 . 5) (18 . 6) (19 . 8) (20 . 9)) 6338 0.8566 4.1007 ((14 . 1) (15 . 2) (17 . 4) (18 . 5) (19 . 7) (20 . 8)) 6379 0.9987 4.3006 ((13 . 2) (14 . 3) (15 . 4) (17 . 5) (18 . 6) (19 . 7) (20 . 8)) 6380 0.9931 6.5549 ((13 . 9) (14 . 11) (15 . 13) (17 . 14) (18 . 15) (19 . 17) (20 . 19)) 6443 0.8519 7.4065 ((13 . 3) (14 . 4) (17 . 6) (18 . 8) (19 . 10) (20 . 12)) 6444 0.9971 5.2527 ((13 . 14) (14 . 15) (15 . 16) (17 . 17) (18 . 19) (19 . 21) (20 . 22)) 6445 0.8554 5.6037 ((13 . 1) (14 . 3) (15 . 4) (18 . 6) (19 . 8) (20 . 9)) 6446 0.8540 6.5113 ((13 . 10) (14 . 12) (15 . 14) (18 . 16) (19 . 18) (20 . 20)) 6449 0.8562 4.7479 ((13 . 1) (14 . 2) (15 . 3) (18 . 5) (19 . 6) (20 . 8)) 6466 0.8563 4.6708 ((13 . 1) (14 . 2) (15 . 3) (18 . 5) (19 . 7) (20 . 8)) 6467 0.5710 6.6427 ((13 . 15) (14 . 16) (15 . 17) (17 . 18)) 6485 0.9984 4.5518 ((13 . 1) (14 . 2) (15 . 3) (17 . 5) (18 . 6) (19 . 9) (20 . 10)) 6570 0.9995 3.3134 ((13 . 15) (14 . 16) (15 . 17) (17 . 19) (18 . 20) (19 . 22) (20 . 23)) 6612 0.9984 4.5287 ((13 . 2) (14 . 3) (15 . 4) (17 . 6) (18 . 7) (19 . 8) (20 . 9)) END