2428 233 0.2857 4.5661 ((8 . 3) (10 . 5) (12 . 7) (13 . 8)) 234 0.2857 7.1191 ((12 . 10) (13 . 11) (14 . 12) (17 . 15)) 291 0.3571 7.1583 ((9 . 3) (10 . 4) (12 . 5) (13 . 6) (14 . 7)) 349 0.3571 5.9072 ((5 . 4) (6 . 5) (8 . 8) (9 . 10) (10 . 11)) 365 0.3571 8.0042 ((8 . 1) (9 . 2) (10 . 3) (13 . 6) (14 . 8)) 388 0.3571 6.6205 ((3 . 16) (5 . 17) (6 . 18) (8 . 19) (12 . 23)) 402 0.3571 6.8144 ((8 . 5) (9 . 6) (10 . 7) (12 . 9) (13 . 10)) 403 0.4284 7.7062 ((5 . 12) (8 . 15) (9 . 17) (10 . 18) (12 . 20) (13 . 21)) 404 0.2857 8.3327 ((5 . 23) (6 . 24) (12 . 30) (13 . 31)) 405 0.3571 7.1987 ((8 . 33) (9 . 35) (10 . 37) (13 . 39) (14 . 40)) 445 0.3570 8.0905 ((8 . 1) (9 . 2) (10 . 3) (13 . 5) (14 . 6)) 449 0.5000 3.9320 ((5 . 1) (6 . 2) (8 . 3) (13 . 6) (14 . 7) (15 . 8) (17 . 9)) 450 0.4281 9.5456 ((8 . 12) (9 . 13) (10 . 15) (13 . 18) (14 . 19) (15 . 20)) 564 0.3571 6.4945 ((5 . 3) (6 . 4) (8 . 8) (9 . 10) (10 . 11)) 565 0.3571 6.1974 ((8 . 12) (9 . 13) (10 . 14) (12 . 15) (13 . 16)) 567 0.4284 7.8875 ((5 . 1) (6 . 2) (8 . 3) (9 . 5) (10 . 6) (12 . 8)) 568 0.5000 3.6502 ((5 . 12) (6 . 13) (8 . 15) (9 . 16) (13 . 17) (14 . 18) (17 . 19)) 570 0.3571 7.6393 ((4 . 2) (5 . 3) (6 . 4) (8 . 9) (9 . 11)) 571 0.3571 7.5737 ((6 . 13) (8 . 14) (9 . 15) (10 . 16) (12 . 17)) 578 0.3571 7.3086 ((6 . 1) (8 . 2) (9 . 3) (10 . 4) (12 . 5)) 579 0.3571 6.2781 ((8 . 9) (9 . 10) (10 . 12) (12 . 13) (13 . 14)) 599 0.4282 9.0425 ((8 . 3) (9 . 4) (10 . 5) (13 . 7) (14 . 9) (15 . 10)) 600 0.2857 5.7237 ((5 . 11) (6 . 12) (8 . 15) (9 . 16)) 626 0.3571 7.5111 ((9 . 3) (10 . 4) (12 . 6) (13 . 7) (15 . 10)) 668 0.4283 8.5987 ((5 . 1) (8 . 5) (9 . 7) (10 . 8) (12 . 10) (13 . 11)) 669 0.4998 6.3069 ((1 . 13) (6 . 14) (8 . 16) (12 . 17) (13 . 18) (14 . 20) (15 . 21)) 670 0.2857 9.2082 ((1 . 24) (5 . 28) (6 . 30) (8 . 31)) 671 0.3571 6.1107 ((8 . 35) (9 . 37) (10 . 38) (12 . 40) (13 . 41)) 693 0.2857 6.3361 ((3 . 33) (5 . 34) (6 . 35) (8 . 36)) 695 0.4283 8.5163 ((6 . 1) (9 . 4) (10 . 5) (12 . 6) (13 . 7) (14 . 8)) 696 0.3571 7.8131 ((8 . 10) (9 . 12) (10 . 13) (13 . 16) (15 . 19)) 697 0.3570 8.4618 ((5 . 20) (6 . 22) (8 . 23) (12 . 27) (13 . 30)) 698 0.3571 6.2668 ((4 . 32) (6 . 34) (8 . 38) (9 . 39) (10 . 40)) 828 0.3571 4.7761 ((8 . 9) (9 . 10) (10 . 11) (12 . 12) (13 . 13)) 888 0.4284 7.3780 ((8 . 13) (9 . 14) (10 . 15) (12 . 17) (13 . 19) (14 . 20)) 919 0.5000 4.3025 ((5 . 3) (6 . 4) (8 . 5) (9 . 6) (13 . 8) (14 . 9) (15 . 10)) 922 0.4994 8.5823 ((5 . 2) (8 . 4) (9 . 5) (12 . 7) (13 . 8) (14 . 10) (15 . 12)) 926 0.3571 7.2099 ((5 . 4) (6 . 5) (8 . 9) (9 . 11) (10 . 12)) 927 0.3571 7.6087 ((8 . 13) (12 . 17) (13 . 18) (14 . 19) (15 . 20)) 1025 0.4283 8.0960 ((3 . 1) (5 . 3) (6 . 4) (8 . 5) (12 . 8) (13 . 9)) 1086 0.4284 7.2488 ((8 . 5) (9 . 6) (12 . 8) (13 . 10) (14 . 12) (15 . 13)) 1110 0.4283 8.1150 ((5 . 10) (8 . 13) (9 . 14) (10 . 15) (12 . 16) (13 . 18)) 1112 0.3570 8.1415 ((9 . 6) (10 . 7) (12 . 8) (13 . 9) (15 . 12)) 1126 0.3571 5.7243 ((4 . 4) (5 . 6) (6 . 7) (8 . 9) (9 . 10)) 1127 0.4283 8.3798 ((5 . 13) (6 . 14) (8 . 16) (9 . 17) (10 . 18) (12 . 19)) 1149 0.5000 4.1797 ((5 . 1) (6 . 2) (8 . 3) (9 . 4) (13 . 5) (14 . 6) (17 . 7)) 1164 0.2857 5.9943 ((6 . 2) (8 . 6) (9 . 7) (12 . 10)) 1181 0.5712 5.2939 ((3 . 1) (5 . 2) (6 . 3) (8 . 4) (9 . 6) (12 . 7) (13 . 9) (15 . 13)) 1235 0.3571 6.7239 ((4 . 4) (5 . 6) (6 . 7) (8 . 9) (9 . 10)) 1236 0.4283 8.2464 ((5 . 11) (8 . 15) (9 . 18) (10 . 19) (12 . 21) (13 . 23)) 1270 0.4283 8.6488 ((6 . 35) (8 . 36) (9 . 37) (10 . 38) (12 . 39) (13 . 40)) 1293 0.4282 8.8913 ((8 . 5) (9 . 7) (12 . 9) (13 . 10) (14 . 11) (15 . 14)) 1294 0.3571 6.4111 ((5 . 39) (6 . 40) (8 . 41) (9 . 43) (10 . 44)) 1295 0.3571 6.3751 ((5 . 50) (6 . 51) (8 . 52) (9 . 53) (10 . 54)) 1341 0.3571 5.0932 ((6 . 1) (8 . 3) (9 . 5) (10 . 7) (13 . 10)) 1342 0.2857 4.2550 ((9 . 20) (10 . 21) (12 . 22) (13 . 23)) 1363 0.2857 5.9138 ((1 . 1) (5 . 6) (6 . 7) (8 . 8)) 1374 0.3158 7.9997 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (8 . 8)) 1375 0.4280 10.1523 ((8 . 10) (9 . 12) (10 . 14) (13 . 16) (14 . 18) (15 . 20)) 1390 0.3571 6.6456 ((1 . 2) (3 . 3) (5 . 6) (6 . 8) (8 . 9)) 1391 0.5712 5.6720 ((5 . 11) (6 . 12) (8 . 13) (9 . 14) (12 . 15) (13 . 16) (14 . 17) (15 . 18)) 1392 0.4999 4.7775 ((5 . 20) (6 . 21) (8 . 22) (9 . 23) (13 . 24) (14 . 25) (17 . 26)) 1418 0.4281 9.3621 ((8 . 1) (9 . 2) (10 . 3) (13 . 5) (14 . 6) (15 . 8)) 1419 0.4282 9.2946 ((8 . 10) (9 . 11) (10 . 12) (13 . 14) (14 . 15) (15 . 16)) 1445 0.3571 6.8145 ((3 . 5) (5 . 9) (6 . 10) (8 . 12) (9 . 13)) 1446 0.3570 8.3521 ((5 . 14) (8 . 17) (9 . 19) (10 . 20) (12 . 22)) 1502 0.4283 8.7099 ((8 . 1) (9 . 3) (10 . 4) (12 . 6) (13 . 7) (14 . 9)) 1555 0.3571 5.6542 ((8 . 1) (9 . 2) (10 . 3) (12 . 5) (13 . 6)) 1566 0.5714 4.1637 ((5 . 1) (6 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 8) (13 . 10) (14 . 12)) 1568 0.3571 6.5857 ((8 . 3) (9 . 4) (10 . 5) (12 . 6) (13 . 7)) 1569 0.5000 4.0512 ((5 . 1) (6 . 2) (8 . 3) (9 . 4) (13 . 5) (14 . 6) (17 . 8)) 1570 0.3571 6.4920 ((8 . 11) (9 . 12) (10 . 13) (12 . 14) (13 . 16)) 1571 0.3571 6.3083 ((8 . 17) (9 . 18) (10 . 19) (12 . 20) (13 . 21)) 1572 0.3571 6.6164 ((8 . 1) (9 . 2) (10 . 3) (12 . 4) (13 . 5)) 1573 0.5000 3.7432 ((5 . 9) (6 . 10) (8 . 11) (9 . 12) (13 . 13) (14 . 14) (17 . 16)) 1579 0.4283 8.6229 ((8 . 5) (9 . 6) (12 . 8) (13 . 10) (14 . 12) (15 . 14)) 1580 0.4994 8.3036 ((8 . 4) (9 . 5) (10 . 6) (12 . 7) (13 . 8) (14 . 9) (15 . 11)) 1600 0.4285 6.5193 ((8 . 1) (9 . 3) (10 . 4) (12 . 5) (13 . 6) (14 . 8)) 1601 0.4997 7.1916 ((8 . 10) (9 . 11) (10 . 12) (12 . 15) (13 . 17) (14 . 20) (15 . 21)) 1660 0.3571 6.7927 ((8 . 1) (9 . 2) (10 . 3) (12 . 4) (13 . 5)) 1661 0.4283 8.4260 ((5 . 11) (6 . 12) (8 . 14) (9 . 15) (10 . 16) (12 . 17)) 1666 0.3571 3.9457 ((5 . 1) (12 . 7) (13 . 8) (14 . 9) (15 . 10)) 1667 0.5000 4.4295 ((5 . 38) (6 . 39) (8 . 40) (9 . 41) (13 . 42) (14 . 44) (17 . 45)) 1668 0.3571 6.8931 ((8 . 46) (9 . 48) (10 . 50) (13 . 53) (14 . 54)) 1684 0.3570 8.0847 ((8 . 1) (9 . 3) (10 . 4) (13 . 7) (14 . 9)) 1688 0.4283 8.4118 ((8 . 1) (9 . 3) (10 . 4) (12 . 6) (13 . 7) (14 . 9)) 1722 0.4284 7.8279 ((3 . 1) (6 . 4) (8 . 6) (9 . 8) (14 . 13) (15 . 15)) 1723 0.3571 4.9186 ((3 . 16) (5 . 17) (6 . 19) (8 . 20) (9 . 21)) 1826 0.5000 4.3559 ((5 . 2) (6 . 3) (8 . 5) (9 . 6) (12 . 7) (13 . 8) (14 . 9)) 1827 0.4283 8.1379 ((5 . 13) (6 . 14) (8 . 16) (9 . 18) (10 . 19) (12 . 20)) 1828 0.4284 6.9793 ((8 . 22) (9 . 23) (10 . 26) (12 . 27) (13 . 28) (14 . 29)) 1864 0.4282 8.7731 ((8 . 1) (9 . 3) (10 . 4) (12 . 6) (13 . 7) (14 . 9)) 1928 0.3571 7.5905 ((6 . 1) (8 . 3) (10 . 6) (12 . 7) (13 . 9)) 1938 0.3571 6.2381 ((8 . 1) (9 . 3) (10 . 4) (12 . 5) (13 . 6)) 1939 0.4999 4.5375 ((5 . 10) (6 . 11) (8 . 12) (12 . 15) (13 . 16) (14 . 17) (15 . 18)) 1996 0.2857 5.5899 ((6 . 3) (10 . 4) (13 . 6) (14 . 7)) 2009 0.4282 9.1261 ((5 . 2) (6 . 3) (8 . 4) (9 . 5) (10 . 7) (12 . 8)) 2022 0.4285 4.7944 ((5 . 14) (6 . 15) (8 . 16) (13 . 20) (14 . 22) (17 . 24)) 2061 0.4281 9.5020 ((6 . 1) (9 . 5) (10 . 6) (12 . 7) (13 . 8) (14 . 9)) 2087 0.3571 7.0177 ((3 . 4) (5 . 7) (6 . 8) (8 . 10) (9 . 12)) 2110 0.3571 7.5664 ((6 . 21) (9 . 24) (10 . 26) (13 . 28) (14 . 29)) 2165 0.3571 5.2073 ((3 . 29) (5 . 30) (6 . 31) (14 . 37) (17 . 40)) 2186 0.4998 6.5581 ((8 . 7) (9 . 8) (10 . 9) (12 . 11) (13 . 12) (14 . 13) (15 . 14)) 2188 0.3571 7.2528 ((8 . 9) (9 . 10) (10 . 11) (13 . 14) (14 . 15)) 2191 0.4285 4.9223 ((6 . 1) (8 . 2) (12 . 4) (13 . 5) (14 . 7) (15 . 8)) 2221 0.3571 6.8532 ((5 . 3) (6 . 4) (8 . 6) (9 . 8) (10 . 9)) 2246 0.3571 7.3945 ((5 . 3) (6 . 5) (8 . 9) (9 . 11) (10 . 12)) 2318 0.4283 8.4410 ((8 . 5) (9 . 6) (12 . 8) (13 . 10) (14 . 12) (15 . 14)) 2319 0.4285 5.4302 ((8 . 15) (9 . 16) (10 . 17) (12 . 19) (13 . 20) (15 . 22)) 2320 0.4994 8.5885 ((8 . 4) (9 . 5) (10 . 6) (12 . 7) (13 . 8) (14 . 10) (15 . 12)) 2321 0.3570 8.5205 ((6 . 14) (8 . 15) (10 . 18) (12 . 20) (13 . 22)) 2338 0.3569 9.7634 ((9 . 13) (10 . 14) (12 . 15) (14 . 19) (15 . 21)) 2365 0.3571 5.5757 ((3 . 1) (4 . 2) (5 . 3) (6 . 6) (8 . 9)) 2428 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8) (9 . 9) (10 . 10) (12 . 12) (13 . 13) (14 . 14) (15 . 15) (17 . 17)) 2441 0.3571 6.6984 ((8 . 1) (9 . 3) (10 . 4) (12 . 5) (13 . 6)) 2442 0.3570 8.3456 ((9 . 14) (10 . 15) (12 . 16) (13 . 17) (14 . 19)) 2444 0.5000 4.1447 ((5 . 1) (6 . 2) (8 . 4) (9 . 5) (13 . 7) (14 . 8) (15 . 9)) 2445 0.4284 7.7911 ((5 . 11) (6 . 12) (8 . 14) (9 . 15) (10 . 16) (12 . 17)) 2473 0.3571 6.7270 ((10 . 1) (12 . 2) (13 . 3) (14 . 5) (15 . 6)) 2507 0.3571 6.5791 ((8 . 6) (9 . 9) (10 . 11) (12 . 13) (13 . 14)) 2508 0.3571 6.7373 ((8 . 19) (9 . 20) (10 . 22) (12 . 24) (13 . 25)) 2531 0.5713 4.9769 ((5 . 1) (6 . 2) (8 . 3) (9 . 4) (12 . 6) (13 . 7) (14 . 8) (15 . 9)) 2534 0.3571 7.0389 ((3 . 19) (5 . 20) (6 . 22) (8 . 23) (9 . 25)) 2577 0.3571 6.3699 ((8 . 5) (9 . 6) (10 . 7) (12 . 9) (13 . 10)) 2578 0.4283 8.5502 ((5 . 12) (8 . 15) (9 . 17) (10 . 18) (12 . 20) (13 . 21)) 2579 0.4284 7.4402 ((8 . 22) (9 . 24) (10 . 25) (12 . 27) (13 . 29) (14 . 31)) 2641 0.5700 5.9246 ((5 . 1) (6 . 3) (8 . 5) (9 . 6) (12 . 7) (13 . 8) (14 . 9) (15 . 10)) 2686 0.3571 6.5271 ((5 . 4) (6 . 7) (8 . 9) (9 . 10) (10 . 11)) 2728 0.3571 5.9924 ((8 . 1) (9 . 2) (10 . 3) (12 . 5) (13 . 6)) 2767 0.3571 6.0182 ((8 . 3) (9 . 4) (10 . 5) (12 . 6) (13 . 7)) 2812 0.2857 5.7159 ((8 . 1) (9 . 2) (10 . 3) (13 . 5)) 2813 0.2857 7.4199 ((6 . 9) (8 . 12) (9 . 13) (10 . 14)) 2877 0.3571 5.9172 ((10 . 3) (12 . 5) (13 . 6) (14 . 7) (17 . 10)) 2880 0.3571 6.3248 ((5 . 4) (6 . 5) (8 . 7) (9 . 8) (10 . 9)) 2971 0.4285 6.6629 ((5 . 4) (6 . 5) (8 . 8) (12 . 13) (13 . 14) (14 . 16)) 2987 0.3571 5.5786 ((1 . 27) (3 . 28) (5 . 31) (6 . 32) (8 . 33)) 3099 0.3571 5.9824 ((5 . 23) (6 . 24) (8 . 25) (9 . 26) (10 . 27)) 3101 0.2857 4.8654 ((5 . 50) (6 . 51) (12 . 55) (13 . 56)) 3159 0.3571 7.9337 ((4 . 54) (5 . 55) (6 . 57) (8 . 59) (10 . 61)) 3185 0.3569 10.0685 ((9 . 14) (10 . 15) (12 . 16) (14 . 21) (15 . 23)) 3186 0.2857 5.7356 ((4 . 3) (6 . 7) (8 . 8) (9 . 9)) 3205 0.4281 9.3778 ((8 . 1) (9 . 2) (10 . 3) (13 . 5) (14 . 6) (15 . 8)) 3292 0.3571 6.2084 ((3 . 4) (5 . 7) (6 . 8) (8 . 10) (9 . 11)) 3342 0.3571 7.6288 ((3 . 4) (5 . 6) (6 . 7) (8 . 8) (9 . 9)) 3357 0.4281 9.7636 ((6 . 5) (8 . 6) (9 . 7) (10 . 8) (12 . 10) (13 . 11)) 3378 0.3571 7.7972 ((9 . 34) (10 . 35) (13 . 37) (14 . 39) (15 . 40)) 3417 0.3571 6.8656 ((8 . 7) (9 . 8) (10 . 9) (12 . 10) (13 . 11)) 3430 0.3569 10.3831 ((4 . 5) (5 . 6) (6 . 8) (8 . 9) (9 . 10)) 3431 0.3536 7.3098 ((12 . 1) (13 . 2) (14 . 3) (15 . 4) (17 . 6)) 3443 0.3571 6.8020 ((4 . 3) (5 . 4) (6 . 5) (9 . 8) (10 . 9)) 3444 0.3571 6.3907 ((5 . 37) (6 . 38) (8 . 39) (9 . 41) (10 . 43)) 3445 0.3571 6.1308 ((5 . 49) (6 . 50) (8 . 51) (9 . 52) (10 . 53)) 3472 0.4283 8.6177 ((8 . 4) (9 . 5) (12 . 8) (13 . 9) (14 . 11) (15 . 12)) 3478 0.5709 6.8841 ((3 . 2) (5 . 3) (6 . 4) (8 . 5) (12 . 7) (13 . 8) (14 . 9) (15 . 10)) 3507 0.3369 9.4481 ((3 . 32) (5 . 33) (6 . 34) (8 . 37) (9 . 38)) 3530 0.3571 6.3350 ((6 . 20) (8 . 21) (10 . 23) (13 . 25) (14 . 27)) 3531 0.3571 6.8560 ((5 . 30) (8 . 33) (9 . 34) (10 . 35) (12 . 36)) 3532 0.2857 7.8120 ((3 . 37) (6 . 39) (8 . 40) (9 . 41)) 3550 0.4285 5.1257 ((5 . 2) (6 . 3) (8 . 6) (13 . 9) (14 . 10) (15 . 13)) 3554 0.3571 7.6448 ((3 . 1) (5 . 3) (6 . 4) (9 . 8) (12 . 11)) 3555 0.4284 7.7182 ((8 . 12) (9 . 14) (10 . 15) (12 . 17) (13 . 19) (14 . 21)) 3556 0.3571 6.2746 ((3 . 1) (5 . 2) (6 . 3) (8 . 7) (9 . 8)) 3557 0.3571 7.5053 ((9 . 15) (10 . 16) (12 . 18) (13 . 19) (14 . 21)) 3655 0.2857 5.8127 ((4 . 31) (5 . 32) (14 . 41) (17 . 45)) 3667 0.4285 5.3673 ((1 . 1) (3 . 2) (5 . 3) (6 . 4) (8 . 6) (9 . 7)) 3690 0.3571 5.6460 ((4 . 3) (5 . 5) (6 . 6) (9 . 11) (10 . 12)) 3699 0.3571 7.5952 ((6 . 1) (8 . 2) (9 . 3) (10 . 4) (12 . 5)) 3700 0.4283 8.3063 ((5 . 13) (6 . 14) (8 . 16) (9 . 17) (10 . 18) (12 . 19)) 3762 0.3571 7.7625 ((8 . 1) (9 . 2) (10 . 3) (13 . 5) (15 . 7)) 3791 0.4044 6.2031 ((6 . 44) (8 . 45) (9 . 46) (12 . 47) (13 . 48) (14 . 50)) 3792 0.4285 6.8317 ((8 . 55) (9 . 56) (12 . 58) (13 . 59) (14 . 60) (15 . 61)) 3793 0.3571 7.3354 ((4 . 63) (9 . 70) (13 . 71) (14 . 72) (15 . 73)) 3794 0.2857 6.4289 ((3 . 23) (5 . 25) (8 . 30) (9 . 31)) 3876 0.4999 5.1470 ((5 . 2) (6 . 3) (8 . 4) (13 . 6) (14 . 7) (15 . 8) (17 . 10)) 3948 0.5697 9.2534 ((5 . 1) (8 . 5) (9 . 6) (10 . 7) (12 . 9) (13 . 10) (14 . 12) (15 . 14)) 3949 0.5711 5.9963 ((5 . 15) (6 . 16) (8 . 17) (9 . 19) (12 . 20) (13 . 21) (14 . 22) (15 . 24)) 3950 0.5714 3.7291 ((1 . 2) (6 . 3) (8 . 4) (9 . 5) (12 . 7) (13 . 8) (14 . 10) (17 . 12)) 3951 0.4284 6.9754 ((8 . 13) (9 . 15) (10 . 16) (12 . 18) (13 . 19) (14 . 21)) 4079 0.3571 7.4813 ((4 . 3) (5 . 4) (6 . 5) (9 . 8) (10 . 10)) 4109 0.3571 6.5205 ((8 . 2) (9 . 3) (10 . 4) (13 . 7) (14 . 8)) 4110 0.4283 8.5799 ((5 . 9) (6 . 10) (8 . 11) (9 . 12) (10 . 13) (12 . 14)) 4111 0.3571 7.4704 ((8 . 19) (9 . 20) (10 . 22) (12 . 23) (13 . 24)) 4145 0.3571 6.2237 ((8 . 3) (9 . 4) (10 . 6) (12 . 7) (13 . 9)) 4146 0.3571 7.3106 ((8 . 11) (9 . 12) (10 . 14) (13 . 15) (14 . 16)) 4178 0.3571 4.9211 ((12 . 2) (13 . 3) (14 . 4) (15 . 5) (17 . 6)) 4197 0.3571 6.6246 ((3 . 4) (5 . 7) (6 . 8) (8 . 10) (9 . 11)) 4199 0.2857 5.4807 ((9 . 4) (10 . 5) (12 . 6) (13 . 7)) 4219 0.3570 8.7266 ((5 . 5) (6 . 6) (8 . 8) (9 . 9) (10 . 10)) 4221 0.4992 9.1826 ((5 . 1) (8 . 5) (9 . 6) (12 . 8) (13 . 10) (14 . 12) (15 . 13)) 4224 0.5000 3.4254 ((5 . 1) (8 . 4) (9 . 5) (10 . 6) (12 . 8) (13 . 9) (14 . 11)) 4230 0.4280 10.1386 ((8 . 4) (9 . 5) (10 . 6) (13 . 8) (14 . 11) (15 . 13)) 4286 0.3571 6.3146 ((8 . 6) (9 . 9) (10 . 11) (12 . 13) (13 . 14)) 4289 0.3571 7.2182 ((8 . 1) (9 . 3) (10 . 4) (13 . 7) (14 . 9)) 4290 0.3571 6.4536 ((3 . 15) (4 . 16) (5 . 17) (6 . 18) (8 . 20)) 4349 0.6428 3.5956 ((5 . 1) (6 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 7) (13 . 8) (14 . 10) (15 . 11)) 4464 0.4284 6.9289 ((8 . 1) (9 . 2) (10 . 3) (12 . 6) (13 . 7) (14 . 9)) 4512 0.3571 6.5519 ((5 . 3) (8 . 7) (9 . 8) (10 . 9) (12 . 10)) 4525 0.3571 7.3963 ((3 . 23) (5 . 24) (6 . 26) (8 . 28) (9 . 29)) 4526 0.3571 6.3173 ((8 . 30) (9 . 31) (10 . 32) (12 . 33) (13 . 34)) 4581 0.4998 6.1004 ((3 . 1) (5 . 2) (6 . 3) (12 . 9) (13 . 10) (14 . 12) (15 . 14)) 4584 0.3571 5.5294 ((4 . 3) (5 . 5) (6 . 6) (9 . 11) (10 . 12)) 4637 0.3571 5.9303 ((5 . 4) (6 . 5) (8 . 8) (9 . 10) (10 . 11)) 4638 0.2857 4.9051 ((8 . 13) (9 . 14) (12 . 16) (13 . 18)) 4639 0.4282 9.1258 ((8 . 5) (9 . 6) (12 . 8) (13 . 9) (14 . 10) (15 . 12)) 4640 0.3571 5.3828 ((3 . 17) (5 . 19) (6 . 21) (8 . 23) (9 . 24)) 4687 0.3571 6.7921 ((8 . 30) (9 . 31) (10 . 33) (12 . 34) (13 . 35)) 4700 0.3570 8.9873 ((9 . 1) (10 . 3) (13 . 5) (14 . 6) (15 . 8)) 4708 0.2857 6.0232 ((8 . 50) (10 . 51) (12 . 53) (13 . 54)) 4744 0.3571 6.4498 ((8 . 3) (9 . 4) (10 . 5) (12 . 6) (13 . 7)) 4777 0.3571 5.1499 ((3 . 3) (5 . 4) (6 . 5) (8 . 6) (12 . 11)) 4800 0.2857 5.1601 ((5 . 1) (6 . 3) (12 . 7) (13 . 8)) 4809 0.3571 5.9567 ((8 . 3) (9 . 4) (10 . 5) (12 . 6) (13 . 7)) 4892 0.5713 5.1380 ((3 . 2) (5 . 3) (6 . 4) (8 . 5) (9 . 6) (13 . 7) (14 . 8) (15 . 9)) 4896 0.4284 7.1016 ((8 . 1) (9 . 3) (10 . 5) (12 . 7) (13 . 8) (15 . 11)) 4897 0.3570 9.6433 ((6 . 12) (8 . 14) (9 . 15) (10 . 17) (12 . 18)) 4898 0.2857 5.4553 ((4 . 22) (5 . 23) (6 . 27) (8 . 28)) 4908 0.3570 9.1487 ((8 . 2) (12 . 6) (13 . 7) (14 . 8) (15 . 9)) 4921 0.2857 6.1199 ((3 . 9) (6 . 12) (8 . 14) (9 . 15)) 4923 0.2857 6.6163 ((1 . 17) (3 . 18) (6 . 20) (8 . 22)) 4951 0.4284 7.4726 ((8 . 47) (9 . 49) (10 . 50) (12 . 53) (13 . 54) (14 . 55)) 4967 0.3571 5.4077 ((1 . 25) (3 . 26) (5 . 29) (6 . 30) (8 . 31)) 4968 0.3571 5.4522 ((8 . 37) (9 . 39) (10 . 40) (12 . 42) (13 . 43)) 5040 0.3571 5.4470 ((5 . 1) (8 . 4) (9 . 5) (12 . 8) (13 . 10)) 5043 0.7137 5.3136 ((3 . 2) (5 . 3) (6 . 4) (8 . 5) (9 . 6) (10 . 7) (12 . 9) (13 . 11) (14 . 12) (17 . 13)) 5166 0.4999 5.5484 ((5 . 2) (6 . 3) (8 . 4) (12 . 6) (13 . 7) (14 . 8) (15 . 10)) 5246 0.7134 4.5973 ((1 . 3) (6 . 4) (8 . 6) (9 . 7) (10 . 8) (12 . 9) (13 . 10) (14 . 12) (15 . 13) (17 . 14)) 5281 0.2857 6.7609 ((12 . 65) (13 . 66) (14 . 67) (15 . 69)) 5310 0.4283 8.5524 ((9 . 4) (10 . 5) (12 . 8) (13 . 9) (14 . 10) (15 . 12)) 5311 0.3571 6.8157 ((5 . 14) (6 . 15) (8 . 16) (12 . 20) (13 . 22)) 5316 0.3571 5.8045 ((4 . 3) (5 . 5) (6 . 6) (9 . 12) (10 . 13)) 5319 0.4282 8.9248 ((8 . 1) (9 . 2) (10 . 3) (13 . 6) (14 . 7) (15 . 8)) 5320 0.3571 6.0599 ((8 . 11) (9 . 12) (10 . 13) (12 . 14) (13 . 16)) 5342 0.4284 7.2870 ((8 . 45) (9 . 47) (10 . 48) (12 . 50) (13 . 51) (14 . 52)) 5413 0.3571 6.4140 ((3 . 4) (5 . 6) (6 . 8) (8 . 10) (9 . 11)) 5431 0.3571 6.6204 ((8 . 3) (9 . 4) (10 . 5) (12 . 6) (13 . 7)) 5432 0.3571 6.0393 ((8 . 8) (9 . 9) (10 . 10) (12 . 11) (13 . 12)) 5497 0.3571 6.1541 ((8 . 23) (9 . 25) (10 . 26) (12 . 28) (13 . 29)) 5552 0.4282 8.9612 ((8 . 5) (9 . 6) (10 . 8) (12 . 9) (13 . 11) (14 . 12)) 5615 0.4284 6.9627 ((6 . 28) (8 . 29) (9 . 30) (10 . 32) (13 . 34) (14 . 35)) 5633 0.4282 8.8430 ((9 . 2) (10 . 3) (12 . 5) (13 . 6) (14 . 8) (15 . 10)) 5634 0.3467 7.6589 ((3 . 11) (4 . 12) (5 . 13) (6 . 14) (8 . 18)) 5682 0.3571 6.9390 ((3 . 1) (5 . 3) (6 . 4) (8 . 5) (12 . 10)) 5683 0.3571 6.3945 ((3 . 4) (5 . 6) (6 . 7) (8 . 8) (9 . 10)) 5733 0.4284 7.4178 ((8 . 12) (9 . 14) (10 . 15) (12 . 17) (13 . 19) (14 . 21)) 5835 0.3571 7.4948 ((6 . 35) (8 . 37) (9 . 38) (12 . 41) (13 . 42)) 5863 0.4282 8.9098 ((5 . 30) (6 . 31) (8 . 33) (10 . 37) (12 . 38) (13 . 39)) 5899 0.3571 6.8368 ((8 . 3) (9 . 4) (10 . 5) (12 . 6) (13 . 8)) 5916 0.3571 6.0323 ((6 . 1) (8 . 3) (9 . 4) (10 . 5) (12 . 8)) 5936 0.3935 5.6933 ((1 . 2) (5 . 3) (6 . 4) (8 . 5) (9 . 6) (10 . 7) (12 . 9) (13 . 11) (14 . 13) (15 . 14) (17 . 15)) 5948 0.4285 4.6081 ((5 . 1) (6 . 3) (8 . 5) (12 . 8) (13 . 9) (14 . 10)) 5974 0.2857 5.8602 ((8 . 5) (10 . 8) (12 . 10) (13 . 11)) 5988 0.3571 6.9373 ((8 . 3) (9 . 5) (10 . 6) (12 . 7) (13 . 8)) 5989 0.3571 6.8775 ((5 . 4) (6 . 5) (8 . 6) (9 . 7) (10 . 9)) 5993 0.3571 7.3017 ((6 . 1) (8 . 2) (9 . 3) (10 . 4) (12 . 5)) 6012 0.3571 6.9157 ((8 . 48) (9 . 50) (10 . 51) (12 . 52) (13 . 53)) 6013 0.4282 9.1420 ((3 . 57) (6 . 59) (8 . 63) (9 . 64) (12 . 68) (13 . 70)) 6037 0.4283 8.0741 ((5 . 2) (6 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 7)) 6105 0.3570 9.5919 ((8 . 3) (9 . 4) (10 . 5) (12 . 7) (13 . 8)) 6124 0.4285 6.7121 ((8 . 8) (9 . 9) (10 . 10) (12 . 12) (13 . 14) (15 . 16)) 6126 0.3571 5.8400 ((4 . 11) (5 . 13) (6 . 15) (8 . 16) (9 . 17)) 6206 0.4284 7.3384 ((6 . 1) (8 . 3) (9 . 4) (10 . 5) (13 . 8) (14 . 9)) 6207 0.3571 6.0419 ((8 . 14) (9 . 15) (10 . 16) (12 . 18) (13 . 19)) 6285 0.3571 6.6532 ((5 . 1) (12 . 7) (13 . 8) (14 . 9) (15 . 10)) 6287 0.3571 5.9715 ((5 . 38) (6 . 39) (8 . 40) (9 . 41) (10 . 42)) 6288 0.3571 6.4738 ((5 . 48) (6 . 49) (8 . 50) (9 . 51) (10 . 52)) 6334 0.3571 5.8129 ((8 . 4) (9 . 5) (10 . 6) (12 . 8) (13 . 9)) 6338 0.3571 5.2214 ((4 . 2) (5 . 4) (6 . 5) (8 . 7) (9 . 8)) 6379 0.4283 8.1370 ((6 . 1) (9 . 4) (10 . 5) (12 . 6) (13 . 7) (14 . 8)) 6380 0.5000 3.3840 ((5 . 9) (6 . 11) (8 . 13) (9 . 14) (13 . 15) (14 . 17) (15 . 19)) 6443 0.3863 3.8097 ((3 . 1) (6 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 8) (13 . 10) (14 . 12) (17 . 17)) 6444 0.4283 8.6901 ((5 . 14) (8 . 16) (9 . 17) (10 . 19) (12 . 21) (13 . 22)) 6445 0.2972 7.6343 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (8 . 8)) 6446 0.4280 10.1083 ((8 . 10) (9 . 12) (10 . 14) (13 . 16) (14 . 18) (15 . 20)) 6449 0.3571 6.7997 ((8 . 3) (9 . 4) (10 . 5) (12 . 6) (13 . 8)) 6466 0.3571 5.7508 ((8 . 3) (9 . 4) (10 . 5) (12 . 7) (13 . 8)) 6467 0.4283 8.4327 ((5 . 10) (6 . 11) (8 . 15) (9 . 16) (10 . 17) (12 . 18)) 6485 0.2857 5.0427 ((5 . 1) (6 . 2) (8 . 3) (9 . 5)) 6570 0.4285 5.7676 ((8 . 15) (9 . 16) (10 . 17) (12 . 19) (13 . 20) (15 . 23)) 6612 0.5695 4.7034 ((5 . 2) (6 . 3) (8 . 4) (9 . 5) (12 . 6) (13 . 7) (14 . 8) (17 . 9)) END