2221 233 0.4998 6.1526 ((5 . 1) (6 . 2) (8 . 3) (9 . 5)) 234 0.7486 6.2750 ((1 . 10) (2 . 11) (3 . 12) (6 . 14) (8 . 15) (9 . 16)) 291 0.7427 9.5384 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7)) 349 0.9992 3.8550 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (8 . 10) (9 . 12)) 365 0.7499 3.3118 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (8 . 8)) 388 0.6233 8.3358 ((1 . 17) (2 . 18) (3 . 19) (6 . 21) (8 . 23)) 402 0.4998 6.2205 ((1 . 6) (2 . 7) (3 . 9) (5 . 11)) 403 0.8740 4.7468 ((1 . 12) (2 . 13) (3 . 15) (5 . 17) (6 . 18) (8 . 20) (9 . 21)) 404 0.4997 7.0085 ((2 . 23) (3 . 24) (4 . 25) (5 . 28)) 405 0.6133 13.5367 ((1 . 31) (5 . 37) (6 . 38) (8 . 39) (9 . 40)) 445 0.2910 5.5989 ((5 . 1) (6 . 2) (8 . 3) (9 . 5)) 449 0.3671 5.1428 ((2 . 6) (3 . 7) (4 . 8) (5 . 9)) 450 0.4998 6.3948 ((1 . 12) (2 . 13) (3 . 15) (9 . 20)) 564 0.9990 4.0369 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 7) (6 . 8) (8 . 10) (9 . 11)) 565 0.5000 4.3828 ((3 . 14) (4 . 15) (5 . 17) (6 . 18)) 567 0.8728 5.8070 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8) (9 . 10)) 568 0.5000 2.8788 ((5 . 12) (6 . 13) (8 . 15) (9 . 16)) 570 0.7495 4.8614 ((1 . 1) (2 . 2) (3 . 3) (6 . 9) (8 . 11) (9 . 12)) 571 0.4999 5.7448 ((1 . 13) (2 . 14) (5 . 16) (6 . 17)) 578 0.8711 6.7054 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 5) (8 . 6) (9 . 8)) 579 0.8739 4.8929 ((1 . 9) (2 . 10) (3 . 12) (4 . 13) (6 . 14) (8 . 15) (9 . 17)) 599 0.4998 6.6756 ((5 . 2) (6 . 3) (8 . 4) (9 . 5)) 600 0.6188 11.5086 ((1 . 10) (3 . 12) (4 . 13) (5 . 15) (6 . 16)) 626 0.4996 7.7945 ((5 . 4) (6 . 5) (8 . 7) (9 . 8)) 668 0.6218 9.7293 ((4 . 4) (5 . 7) (6 . 8) (8 . 10) (9 . 12)) 669 0.8726 5.8994 ((1 . 13) (2 . 14) (3 . 16) (5 . 17) (6 . 18) (8 . 20) (9 . 22)) 670 0.4997 7.1093 ((1 . 24) (2 . 25) (3 . 27) (5 . 30)) 671 0.6077 15.0214 ((2 . 31) (5 . 37) (6 . 38) (8 . 40) (9 . 41)) 693 0.4998 6.0729 ((1 . 33) (2 . 34) (3 . 35) (4 . 36)) 695 0.8729 5.7644 ((1 . 1) (2 . 3) (3 . 4) (5 . 5) (6 . 6) (8 . 7) (9 . 8)) 696 0.4996 7.8192 ((1 . 11) (2 . 12) (3 . 13) (5 . 17)) 697 0.4997 6.9717 ((1 . 21) (2 . 22) (3 . 23) (5 . 27)) 698 0.4998 6.6217 ((3 . 31) (4 . 32) (5 . 34) (6 . 36)) 828 0.5000 4.2775 ((3 . 9) (4 . 10) (5 . 12) (6 . 13)) 888 0.4997 7.1687 ((5 . 15) (6 . 17) (8 . 19) (9 . 20)) 919 0.8742 4.5661 ((1 . 3) (2 . 4) (3 . 5) (5 . 6) (6 . 8) (8 . 9) (9 . 10)) 922 0.9987 4.3243 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (8 . 10) (9 . 12)) 926 0.9989 4.1013 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (5 . 8) (6 . 9) (8 . 11) (9 . 12)) 927 0.0999 8.3528 ((1 . 13) (2 . 14) (5 . 18) (8 . 20)) 1025 0.7494 4.9692 ((1 . 3) (2 . 4) (3 . 5) (6 . 7) (8 . 8) (9 . 9)) 1086 0.9988 4.2152 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (5 . 8) (6 . 10) (8 . 12) (9 . 13)) 1110 0.8745 3.9011 ((1 . 10) (2 . 11) (3 . 13) (5 . 14) (6 . 15) (8 . 16) (9 . 18)) 1112 0.8740 4.7540 ((1 . 2) (2 . 6) (3 . 7) (5 . 8) (6 . 9) (8 . 10) (9 . 12)) 1126 0.9989 4.0820 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 9) (9 . 10)) 1127 0.8733 5.3994 ((1 . 13) (2 . 14) (3 . 16) (4 . 17) (6 . 18) (8 . 19) (9 . 21)) 1149 0.4999 4.7464 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 1164 0.4998 6.3970 ((2 . 2) (3 . 3) (6 . 9) (8 . 10)) 1181 0.8733 5.4330 ((1 . 2) (2 . 3) (3 . 4) (4 . 6) (6 . 9) (8 . 11) (9 . 13)) 1235 0.8747 3.6559 ((1 . 2) (2 . 3) (3 . 4) (5 . 6) (6 . 7) (8 . 9) (9 . 10)) 1236 0.7495 4.7350 ((2 . 13) (3 . 15) (5 . 18) (6 . 19) (8 . 21) (9 . 23)) 1270 0.8745 4.0189 ((1 . 34) (2 . 35) (3 . 36) (5 . 37) (6 . 38) (8 . 39) (9 . 40)) 1293 0.9981 4.7266 ((1 . 3) (2 . 4) (3 . 5) (4 . 7) (5 . 9) (6 . 10) (8 . 11) (9 . 14)) 1294 0.9506 6.4994 ((1 . 39) (2 . 40) (3 . 41) (4 . 42) (5 . 43) (6 . 44) (8 . 46) (9 . 47)) 1295 0.8741 4.6215 ((1 . 48) (2 . 49) (3 . 50) (5 . 51) (6 . 52) (8 . 53) (9 . 54)) 1341 0.7985 8.2543 ((1 . 1) (2 . 3) (3 . 5) (5 . 7) (6 . 8) (8 . 10) (9 . 12)) 1342 0.4995 7.8647 ((3 . 17) (4 . 19) (6 . 22) (8 . 23)) 1363 0.4997 6.8748 ((3 . 3) (4 . 5) (5 . 7) (6 . 8)) 1374 0.4998 6.1493 ((5 . 2) (6 . 3) (8 . 4) (9 . 8)) 1375 0.4997 6.8776 ((5 . 10) (6 . 12) (8 . 14) (9 . 16)) 1390 0.6231 8.5377 ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (8 . 9)) 1391 0.8735 5.3062 ((1 . 11) (2 . 12) (3 . 13) (5 . 15) (6 . 16) (8 . 17) (9 . 18)) 1392 0.8737 5.1147 ((1 . 20) (2 . 21) (3 . 22) (5 . 23) (6 . 24) (8 . 25) (9 . 26)) 1418 0.5000 4.4693 ((2 . 2) (3 . 3) (4 . 4) (9 . 8)) 1419 0.5000 2.8530 ((5 . 10) (6 . 11) (8 . 12) (9 . 13)) 1445 0.9996 3.1674 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (5 . 9) (6 . 10) (8 . 12) (9 . 13)) 1446 0.6239 7.4749 ((1 . 14) (5 . 19) (6 . 20) (8 . 22) (9 . 24)) 1502 0.4997 7.2522 ((5 . 4) (6 . 6) (8 . 7) (9 . 9)) 1555 0.9993 3.6453 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8) (9 . 9)) 1566 0.7499 2.8145 ((2 . 3) (3 . 4) (4 . 5) (5 . 8) (6 . 10) (8 . 12)) 1568 0.8745 4.0689 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 5) (8 . 6) (9 . 7)) 1569 0.8741 4.6610 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 6) (9 . 8)) 1570 0.8737 5.1180 ((1 . 9) (2 . 10) (3 . 11) (5 . 12) (6 . 13) (8 . 14) (9 . 16)) 1571 0.8737 5.0983 ((1 . 17) (2 . 18) (3 . 19) (5 . 20) (6 . 21) (8 . 22) (9 . 24)) 1572 0.8740 4.7058 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 6) (9 . 8)) 1573 0.8742 4.5266 ((1 . 9) (2 . 10) (3 . 11) (4 . 12) (6 . 13) (8 . 14) (9 . 16)) 1579 0.9991 3.9173 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (5 . 8) (6 . 10) (8 . 12) (9 . 14)) 1580 0.9992 3.8128 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (8 . 9) (9 . 11)) 1600 0.8741 4.6074 ((1 . 1) (2 . 3) (3 . 4) (5 . 5) (6 . 6) (8 . 8) (9 . 9)) 1601 0.8742 4.4587 ((1 . 10) (2 . 11) (3 . 12) (5 . 15) (6 . 17) (8 . 20) (9 . 21)) 1660 0.4998 6.4544 ((5 . 3) (6 . 4) (8 . 5) (9 . 7)) 1661 0.8725 5.9625 ((1 . 11) (2 . 12) (3 . 14) (5 . 15) (6 . 16) (8 . 17) (9 . 18)) 1666 0.9991 3.8665 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (5 . 7) (6 . 8) (8 . 9) (9 . 11)) 1667 0.7498 3.8795 ((2 . 39) (3 . 40) (5 . 41) (6 . 42) (8 . 44) (9 . 45)) 1668 0.8736 5.1371 ((1 . 46) (2 . 48) (3 . 50) (5 . 51) (6 . 53) (8 . 54) (9 . 55)) 1684 0.4997 6.8609 ((1 . 2) (2 . 3) (3 . 4) (5 . 9)) 1688 0.4999 5.8121 ((5 . 3) (6 . 4) (8 . 6) (9 . 7)) 1722 0.9973 5.1436 ((1 . 3) (2 . 4) (3 . 6) (4 . 7) (5 . 8) (6 . 10) (8 . 13) (9 . 15)) 1723 0.5525 5.7819 ((1 . 18) (2 . 19) (3 . 20) (4 . 21) (6 . 22)) 1826 0.8746 3.8174 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (5 . 7) (6 . 8) (8 . 9)) 1827 0.7460 8.2031 ((2 . 13) (3 . 14) (5 . 16) (6 . 18) (8 . 19) (9 . 20)) 1828 0.7495 4.7299 ((1 . 22) (2 . 23) (3 . 26) (5 . 27) (6 . 28) (8 . 29)) 1864 0.8745 4.0638 ((1 . 2) (2 . 3) (3 . 4) (5 . 6) (6 . 7) (8 . 9) (9 . 10)) 1928 0.9531 5.5361 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 9) (9 . 11)) 1938 0.5000 3.7746 ((5 . 5) (6 . 6) (8 . 8) (9 . 9)) 1939 0.8740 4.7272 ((1 . 10) (2 . 11) (3 . 12) (5 . 15) (6 . 16) (8 . 17) (9 . 18)) 1996 0.8749 2.8106 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 6) (9 . 7)) 2009 0.7483 6.5483 ((1 . 2) (2 . 3) (5 . 5) (6 . 7) (8 . 8) (9 . 9)) 2022 0.4999 4.9112 ((1 . 19) (2 . 20) (3 . 22) (4 . 24)) 2061 0.8741 4.6806 ((1 . 1) (2 . 3) (3 . 5) (5 . 6) (6 . 7) (8 . 8) (9 . 9)) 2087 0.9988 4.2358 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (8 . 10) (9 . 12)) 2110 0.4999 5.5158 ((1 . 26) (2 . 27) (3 . 28) (4 . 29)) 2165 0.8730 5.6902 ((1 . 24) (2 . 29) (3 . 30) (4 . 31) (6 . 32) (8 . 37) (9 . 40)) 2186 0.8742 4.4403 ((1 . 7) (2 . 8) (3 . 9) (5 . 11) (6 . 12) (8 . 13) (9 . 14)) 2188 0.2910 5.8417 ((5 . 9) (6 . 10) (8 . 11) (9 . 14)) 2191 0.7499 3.2156 ((2 . 1) (3 . 2) (5 . 4) (6 . 5) (8 . 7) (9 . 8)) 2221 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8) (9 . 9)) 2246 0.9982 4.6774 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 8) (6 . 9) (8 . 11) (9 . 12)) 2318 0.9994 3.5598 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (5 . 8) (6 . 10) (8 . 12) (9 . 14)) 2319 0.4999 5.5059 ((5 . 15) (6 . 16) (8 . 17) (9 . 19)) 2320 0.9953 5.9499 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (8 . 10) (9 . 11)) 2321 0.6249 3.5410 ((2 . 14) (3 . 15) (6 . 18) (8 . 20) (9 . 22)) 2338 0.1987 6.1738 ((5 . 13) (6 . 14) (8 . 15) (9 . 19)) 2365 0.8746 3.7249 ((1 . 2) (2 . 3) (3 . 6) (5 . 9) (6 . 10) (8 . 11) (9 . 12)) 2428 0.6242 6.8532 ((3 . 5) (4 . 6) (6 . 8) (8 . 9) (9 . 10)) 2441 0.8720 6.2964 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (6 . 6) (8 . 7) (9 . 9)) 2442 0.6226 8.9991 ((4 . 9) (5 . 10) (6 . 12) (8 . 14) (9 . 15)) 2444 0.8743 4.3757 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (6 . 7) (8 . 8) (9 . 9)) 2445 0.5000 3.2956 ((5 . 11) (6 . 12) (8 . 14) (9 . 15)) 2473 0.6250 3.3200 ((2 . 3) (3 . 5) (4 . 6) (8 . 10) (9 . 11)) 2507 0.8747 3.5509 ((1 . 3) (2 . 4) (3 . 6) (5 . 9) (6 . 11) (8 . 13) (9 . 14)) 2508 0.8748 3.0291 ((1 . 16) (2 . 17) (3 . 19) (4 . 20) (6 . 22) (8 . 24) (9 . 25)) 2531 0.9962 5.6236 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (8 . 8) (9 . 9)) 2534 0.6991 6.4705 ((1 . 16) (2 . 18) (3 . 19) (4 . 20) (8 . 23) (9 . 25)) 2577 0.8739 4.9100 ((1 . 2) (2 . 3) (3 . 5) (5 . 6) (6 . 7) (8 . 9) (9 . 10)) 2578 0.8740 4.7398 ((1 . 12) (2 . 13) (3 . 15) (5 . 17) (6 . 18) (8 . 20) (9 . 21)) 2579 0.8749 2.8289 ((1 . 23) (2 . 24) (3 . 25) (5 . 27) (6 . 29) (8 . 31) (9 . 32)) 2641 0.9833 4.6707 ((1 . 1) (2 . 3) (3 . 5) (4 . 6) (5 . 7) (6 . 8) (8 . 9) (9 . 10)) 2686 0.9984 4.4947 ((1 . 2) (2 . 3) (3 . 4) (4 . 7) (5 . 8) (6 . 9) (8 . 10) (9 . 13)) 2728 0.9855 4.8652 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 9) (9 . 10)) 2767 0.8747 3.5508 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 5) (8 . 6) (9 . 7)) 2812 0.6237 7.6713 ((4 . 1) (5 . 3) (6 . 4) (8 . 5) (9 . 6)) 2813 0.4996 7.5645 ((3 . 9) (4 . 10) (6 . 13) (8 . 14)) 2877 0.8504 4.8430 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7) (9 . 10)) 2880 0.9832 4.7238 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 8) (9 . 12)) 2971 0.9975 5.0460 ((1 . 4) (2 . 5) (3 . 8) (4 . 9) (5 . 13) (6 . 14) (8 . 16) (9 . 17)) 2987 0.4999 5.5372 ((3 . 26) (4 . 28) (8 . 32) (9 . 33)) 3099 0.8733 5.4682 ((1 . 23) (2 . 24) (3 . 25) (4 . 26) (6 . 27) (8 . 28) (9 . 29)) 3101 0.8741 4.6033 ((1 . 50) (2 . 51) (3 . 52) (4 . 53) (6 . 54) (8 . 55) (9 . 56)) 3159 0.9994 3.5521 ((1 . 53) (2 . 54) (3 . 55) (4 . 57) (5 . 58) (6 . 59) (8 . 60) (9 . 61)) 3185 0.1995 6.2823 ((2 . 14) (3 . 16) (6 . 21) (8 . 23) (9 . 24)) 3186 0.4998 6.0062 ((5 . 1) (6 . 2) (8 . 3) (9 . 7)) 3205 0.6237 7.7546 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6)) 3292 0.9994 3.5029 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (8 . 10) (9 . 11)) 3342 0.9746 5.4024 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 8) (9 . 9)) 3357 0.6248 4.6730 ((2 . 5) (3 . 6) (4 . 7) (8 . 10) (9 . 11)) 3378 0.4983 11.0305 ((3 . 33) (6 . 37) (8 . 39) (9 . 40)) 3417 0.7497 4.1140 ((1 . 4) (2 . 6) (3 . 7) (4 . 8) (8 . 10) (9 . 11)) 3430 0.8723 6.1267 ((1 . 2) (2 . 4) (3 . 5) (4 . 6) (6 . 8) (8 . 9) (9 . 10)) 3431 0.8733 5.4661 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (8 . 8)) 3443 0.9994 3.4776 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 8) (9 . 9)) 3444 0.7491 5.6542 ((1 . 37) (2 . 38) (3 . 39) (6 . 43) (8 . 45) (9 . 46)) 3445 0.8745 4.0075 ((1 . 47) (2 . 48) (3 . 49) (5 . 50) (6 . 51) (8 . 52) (9 . 53)) 3472 0.9989 4.1107 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 8) (6 . 9) (8 . 11) (9 . 12)) 3478 0.6243 6.7082 ((1 . 3) (2 . 4) (5 . 7) (6 . 8) (8 . 9)) 3507 0.4998 6.1274 ((1 . 32) (2 . 33) (5 . 37) (6 . 38)) 3530 0.7495 4.7911 ((1 . 20) (2 . 21) (4 . 23) (6 . 24) (8 . 25) (9 . 27)) 3531 0.7492 5.5134 ((2 . 30) (3 . 32) (5 . 33) (6 . 34) (8 . 35) (9 . 36)) 3532 0.4999 5.2091 ((2 . 39) (3 . 40) (4 . 41) (5 . 42)) 3550 0.7491 5.5769 ((1 . 2) (2 . 3) (3 . 6) (6 . 9) (8 . 10) (9 . 13)) 3554 0.8740 4.7230 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (6 . 8) (8 . 10) (9 . 11)) 3555 0.9630 5.0897 ((1 . 12) (2 . 14) (3 . 15) (4 . 16) (5 . 17) (6 . 19) (8 . 21) (9 . 23)) 3556 0.9955 5.8803 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 7) (6 . 8) (8 . 10) (9 . 12)) 3557 0.7495 4.9186 ((2 . 15) (3 . 16) (5 . 18) (6 . 19) (8 . 21) (9 . 23)) 3655 0.8727 5.8801 ((1 . 28) (2 . 31) (3 . 32) (4 . 34) (6 . 35) (8 . 41) (9 . 45)) 3667 0.7493 5.3065 ((2 . 4) (3 . 6) (4 . 7) (6 . 8) (8 . 9) (9 . 10)) 3690 0.8742 4.4870 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (6 . 9) (8 . 11) (9 . 13)) 3699 0.7498 3.6028 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 5) (8 . 8)) 3700 0.8740 4.7745 ((1 . 13) (2 . 14) (3 . 16) (4 . 17) (6 . 18) (8 . 19) (9 . 20)) 3762 0.7496 4.5088 ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (8 . 6) (9 . 7)) 3791 0.7786 5.6698 ((2 . 44) (3 . 45) (4 . 46) (5 . 47) (6 . 48) (8 . 50) (9 . 52)) 3792 0.5000 4.1070 ((5 . 59) (6 . 60) (8 . 61) (9 . 62)) 3793 0.6240 7.2871 ((1 . 66) (2 . 67) (6 . 71) (8 . 72) (9 . 73)) 3794 0.4999 5.4594 ((3 . 23) (5 . 27) (6 . 28) (8 . 30)) 3876 0.7495 4.9247 ((1 . 2) (2 . 3) (3 . 4) (6 . 6) (8 . 7) (9 . 10)) 3948 0.9991 3.9586 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (5 . 9) (6 . 10) (8 . 12) (9 . 14)) 3949 0.4999 5.7995 ((1 . 19) (2 . 21) (3 . 22) (4 . 24)) 3950 0.9994 3.5014 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (8 . 10) (9 . 12)) 3951 0.9977 4.9375 ((1 . 13) (2 . 15) (3 . 16) (4 . 17) (5 . 18) (6 . 19) (8 . 21) (9 . 22)) 4079 0.8498 5.5210 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (6 . 7) (8 . 8) (9 . 10)) 4109 0.8744 4.2497 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 7) (9 . 8)) 4110 0.8734 5.3113 ((1 . 9) (2 . 10) (3 . 11) (5 . 12) (6 . 13) (8 . 14) (9 . 16)) 4111 0.8726 5.9213 ((1 . 17) (2 . 18) (3 . 19) (5 . 20) (6 . 22) (8 . 23) (9 . 24)) 4145 0.8740 4.7175 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (8 . 7) (9 . 9)) 4146 0.2910 6.2448 ((5 . 11) (6 . 12) (8 . 14) (9 . 15)) 4178 0.9809 6.5930 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 9) (9 . 10)) 4197 0.9987 4.2992 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (8 . 10) (9 . 11)) 4199 0.2330 7.2385 ((2 . 5) (3 . 7) (4 . 1) (5 . 2) (6 . 3) (8 . 6) (9 . 4)) 4219 0.8743 4.3486 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (6 . 8) (8 . 9) (9 . 10)) 4221 0.9992 3.7623 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (5 . 8) (6 . 10) (8 . 12) (9 . 13)) 4224 0.9990 4.0725 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 8) (6 . 9) (8 . 11) (9 . 13)) 4230 0.6249 3.9871 ((2 . 3) (3 . 4) (4 . 5) (6 . 8) (8 . 11)) 4286 0.8737 5.0760 ((1 . 3) (2 . 4) (3 . 6) (5 . 9) (6 . 11) (8 . 13) (9 . 15)) 4289 0.8735 5.2276 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (6 . 7) (8 . 9) (9 . 10)) 4290 0.6244 6.4010 ((1 . 11) (2 . 13) (3 . 14) (4 . 15) (9 . 20)) 4349 0.9962 5.6361 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (8 . 10) (9 . 11)) 4464 0.8742 4.5274 ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (6 . 7) (8 . 9) (9 . 10)) 4512 0.8740 4.7011 ((1 . 2) (2 . 3) (3 . 6) (5 . 7) (6 . 8) (8 . 9) (9 . 10)) 4525 0.8732 5.4877 ((1 . 20) (2 . 21) (3 . 23) (4 . 24) (6 . 26) (8 . 28) (9 . 29)) 4526 0.8743 4.3894 ((1 . 30) (2 . 31) (3 . 32) (5 . 33) (6 . 34) (8 . 35) (9 . 36)) 4581 0.6238 7.5924 ((1 . 5) (5 . 9) (6 . 10) (8 . 12) (9 . 14)) 4584 0.9994 3.5966 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (5 . 8) (6 . 9) (8 . 11) (9 . 13)) 4637 0.9992 3.8375 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (8 . 10) (9 . 12)) 4638 0.1987 9.2894 ((1 . 13) (2 . 14) (3 . 15) (4 . 16)) 4639 0.9983 4.6147 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (5 . 8) (6 . 9) (8 . 10) (9 . 12)) 4640 0.9977 4.9652 ((1 . 14) (2 . 16) (3 . 17) (4 . 18) (5 . 19) (6 . 21) (8 . 23) (9 . 24)) 4687 0.8737 5.0689 ((1 . 27) (2 . 28) (3 . 30) (4 . 31) (6 . 33) (8 . 34) (9 . 35)) 4700 0.8732 5.5250 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (6 . 6) (8 . 8) (9 . 10)) 4708 0.7495 4.7767 ((1 . 48) (2 . 49) (3 . 50) (6 . 51) (8 . 53) (9 . 54)) 4744 0.8735 5.2451 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 6) (9 . 7)) 4777 0.8743 4.3308 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (6 . 7) (8 . 10) (9 . 11)) 4800 0.6249 3.8170 ((1 . 1) (2 . 3) (6 . 5) (8 . 7) (9 . 8)) 4809 0.8739 4.8746 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 5) (8 . 6) (9 . 7)) 4892 0.6248 5.1167 ((2 . 4) (3 . 5) (6 . 7) (8 . 8) (9 . 9)) 4896 0.8736 5.1664 ((1 . 1) (2 . 3) (3 . 5) (5 . 7) (6 . 8) (8 . 10) (9 . 11)) 4897 0.4997 7.3122 ((5 . 14) (6 . 15) (8 . 17) (9 . 18)) 4898 0.4993 8.8730 ((1 . 22) (2 . 23) (4 . 27) (5 . 28)) 4908 0.8710 6.7611 ((1 . 2) (2 . 3) (3 . 4) (5 . 6) (6 . 7) (8 . 8) (9 . 9)) 4921 0.6246 5.5895 ((1 . 7) (2 . 8) (3 . 9) (8 . 14) (9 . 15)) 4923 0.7131 6.2212 ((1 . 14) (2 . 16) (3 . 17) (4 . 18) (8 . 20) (9 . 22)) 4951 0.9969 5.3445 ((1 . 47) (2 . 49) (3 . 50) (4 . 51) (5 . 53) (6 . 54) (8 . 55) (9 . 56)) 4967 0.6243 6.6438 ((3 . 25) (5 . 28) (6 . 29) (8 . 30) (9 . 31)) 4968 0.6249 4.0456 ((1 . 33) (5 . 39) (6 . 40) (8 . 42) (9 . 43)) 5040 0.9990 4.0641 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 8) (6 . 10) (8 . 12) (9 . 13)) 5043 0.6236 7.8285 ((1 . 4) (2 . 5) (4 . 7) (8 . 11) (9 . 12)) 5166 0.4998 6.1039 ((1 . 6) (2 . 7) (3 . 8) (5 . 10)) 5246 0.9997 2.9323 ((1 . 3) (2 . 4) (3 . 6) (4 . 7) (5 . 9) (6 . 10) (8 . 12) (9 . 14)) 5281 0.5000 4.1681 ((1 . 65) (2 . 66) (3 . 67) (8 . 69)) 5310 0.6242 6.8068 ((1 . 1) (5 . 8) (6 . 9) (8 . 10) (9 . 12)) 5311 0.6242 6.8547 ((3 . 14) (5 . 15) (6 . 16) (8 . 17) (9 . 18)) 5316 0.9984 4.5032 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (5 . 8) (6 . 10) (8 . 12) (9 . 14)) 5319 0.6240 7.2377 ((4 . 1) (5 . 3) (6 . 5) (8 . 6) (9 . 7)) 5320 0.8742 4.4371 ((1 . 9) (2 . 10) (3 . 11) (4 . 12) (6 . 13) (8 . 14) (9 . 16)) 5342 0.4999 4.8634 ((5 . 45) (6 . 47) (8 . 48) (9 . 50)) 5413 0.9706 4.6512 ((1 . 2) (2 . 3) (3 . 4) (4 . 6) (5 . 7) (6 . 8) (8 . 10) (9 . 11)) 5431 0.8740 4.7141 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 5) (8 . 6) (9 . 7)) 5432 0.8743 4.3994 ((1 . 8) (2 . 9) (3 . 10) (5 . 11) (6 . 12) (8 . 13) (9 . 15)) 5497 0.6082 14.9196 ((1 . 20) (5 . 25) (6 . 26) (8 . 28) (9 . 29)) 5552 0.6246 5.5913 ((1 . 10) (2 . 11) (3 . 12) (4 . 13) (5 . 14)) 5615 0.8734 5.3801 ((1 . 28) (2 . 29) (3 . 30) (5 . 32) (6 . 33) (8 . 34) (9 . 35)) 5633 0.8743 4.3851 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8) (9 . 10)) 5634 0.6231 8.5249 ((2 . 11) (3 . 13) (4 . 14) (6 . 18) (8 . 19)) 5682 0.6249 3.7314 ((2 . 3) (3 . 4) (4 . 5) (8 . 9) (9 . 10)) 5683 0.8737 5.0375 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (6 . 7) (8 . 8) (9 . 10)) 5733 0.8742 4.4855 ((1 . 12) (2 . 14) (3 . 15) (5 . 17) (6 . 19) (8 . 21) (9 . 22)) 5835 0.6245 6.2010 ((1 . 35) (2 . 37) (3 . 38) (6 . 41) (8 . 42)) 5863 0.4998 6.7342 ((5 . 30) (6 . 31) (8 . 33) (9 . 35)) 5899 0.8737 5.0936 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 6) (9 . 8)) 5916 0.4996 7.4416 ((4 . 1) (6 . 3) (8 . 4) (9 . 5)) 5936 0.9993 3.6584 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (5 . 9) (6 . 11) (8 . 13) (9 . 15)) 5948 0.4999 5.0693 ((5 . 1) (6 . 3) (8 . 5) (9 . 8)) 5974 0.6244 6.3144 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (5 . 10)) 5988 0.8743 4.3502 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7)) 5989 0.8742 4.5099 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (6 . 6) (8 . 7) (9 . 9)) 5993 0.7497 4.3818 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 5) (8 . 7)) 6012 0.4999 5.3682 ((1 . 49) (2 . 50) (5 . 54) (6 . 55)) 6013 0.6237 7.6720 ((3 . 59) (5 . 63) (6 . 64) (8 . 66) (9 . 68)) 6037 0.6233 8.2217 ((2 . 2) (3 . 3) (6 . 5) (8 . 6) (9 . 7)) 6105 0.4995 7.8508 ((5 . 3) (6 . 4) (8 . 6) (9 . 7)) 6124 0.9982 4.6645 ((1 . 8) (2 . 9) (3 . 10) (4 . 11) (5 . 12) (6 . 14) (8 . 15) (9 . 16)) 6126 0.9985 4.4377 ((1 . 9) (2 . 10) (3 . 11) (4 . 12) (5 . 13) (6 . 15) (8 . 16) (9 . 17)) 6206 0.4999 5.6414 ((5 . 2) (6 . 3) (8 . 4) (9 . 5)) 6207 0.8746 3.7860 ((1 . 10) (2 . 12) (3 . 14) (4 . 15) (6 . 16) (8 . 18) (9 . 19)) 6285 0.9993 3.6910 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (5 . 7) (6 . 8) (8 . 9) (9 . 10)) 6287 0.7498 3.9813 ((2 . 39) (3 . 40) (4 . 41) (6 . 42) (8 . 44) (9 . 45)) 6288 0.8737 5.1028 ((1 . 46) (2 . 47) (3 . 48) (4 . 49) (6 . 50) (8 . 51) (9 . 52)) 6334 0.4997 7.2344 ((5 . 4) (6 . 5) (8 . 6) (9 . 8)) 6338 0.4995 8.1526 ((5 . 2) (6 . 4) (8 . 5) (9 . 7)) 6379 0.8745 4.0394 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (6 . 6) (8 . 7) (9 . 8)) 6380 0.6244 6.4477 ((2 . 11) (3 . 13) (4 . 14) (8 . 17) (9 . 19)) 6443 0.6246 5.7732 ((3 . 3) (5 . 6) (6 . 8) (8 . 10) (9 . 12)) 6444 0.8735 5.2568 ((1 . 14) (2 . 15) (3 . 16) (5 . 17) (6 . 19) (8 . 21) (9 . 22)) 6445 0.4997 6.9972 ((1 . 2) (2 . 3) (3 . 4) (5 . 8)) 6446 0.4998 6.3415 ((1 . 12) (2 . 14) (3 . 15) (5 . 19)) 6449 0.8743 4.3486 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 5) (8 . 6) (9 . 8)) 6466 0.8738 5.0309 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 5) (8 . 7) (9 . 8)) 6467 0.7496 4.6185 ((1 . 10) (2 . 11) (3 . 15) (5 . 16) (6 . 17) (8 . 18)) 6485 0.9879 4.6685 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 9) (9 . 10)) 6570 0.8736 5.1928 ((1 . 15) (2 . 16) (3 . 17) (5 . 19) (6 . 20) (8 . 22) (9 . 23)) 6612 0.9800 4.6886 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 8) (9 . 9)) END