2017 42 0.2500 4.4136 ((2 . 11) (3 . 12) (4 . 13) (5 . 16) (7 . 18)) 265 0.7499 3.3830 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (10 . 9) (11 . 11) (13 . 13) (14 . 14) (17 . 19) (18 . 20) (19 . 21)) 312 0.4990 4.2681 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 7) (7 . 8) (10 . 9) (11 . 10) (14 . 14) (17 . 29)) 319 0.5499 5.1427 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (11 . 9) (13 . 10) (14 . 12)) 352 0.7000 2.8992 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (11 . 12) (13 . 14) (14 . 15) (17 . 19) (18 . 21)) 377 0.3734 5.8810 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 7) (7 . 9) (10 . 10) (11 . 11) (13 . 12) (14 . 13) (18 . 16) (19 . 18)) 506 0.2500 4.1965 ((2 . 12) (3 . 13) (4 . 14) (5 . 15) (7 . 19)) 707 0.7194 3.0884 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (11 . 11) (13 . 13) (14 . 14) (16 . 15) (17 . 17) (18 . 19)) 781 0.7447 3.7813 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10) (13 . 11) (14 . 12) (16 . 14) (17 . 18) (18 . 19)) 847 0.3500 4.3194 ((1 . 1) (2 . 2) (7 . 6) (10 . 7) (11 . 8) (13 . 9) (14 . 10)) 873 0.3499 7.9001 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (7 . 8) (13 . 15)) 906 0.5999 4.7000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8) (10 . 9) (11 . 10) (13 . 11) (14 . 13) (17 . 33)) 972 0.2999 9.6495 ((6 . 10) (10 . 15) (11 . 16) (13 . 18) (14 . 19) (18 . 24)) 1053 0.5993 5.5798 ((1 . 1) (2 . 2) (3 . 3) (6 . 4) (7 . 5) (9 . 7) (11 . 8) (13 . 11) (14 . 12) (16 . 14) (17 . 18) (18 . 20)) 1071 0.7483 2.7376 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (10 . 9) (11 . 11) (13 . 12) (14 . 13) (16 . 15) (17 . 16) (18 . 18)) 1094 0.2490 8.4572 ((10 . 2) (11 . 3) (14 . 7) (17 . 9) (18 . 10)) 1117 0.3000 3.0422 ((1 . 11) (2 . 12) (3 . 13) (5 . 15) (6 . 16) (7 . 17)) 1189 0.6499 3.8869 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (10 . 9) (11 . 10) (13 . 12) (14 . 13) (17 . 19) (18 . 20)) 1219 0.7491 3.9723 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 10) (7 . 11) (9 . 13) (10 . 14) (11 . 16) (13 . 18) (14 . 19) (15 . 20) (17 . 21) (18 . 23)) 1221 0.7490 3.2853 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 10) (10 . 11) (11 . 13) (13 . 14) (14 . 15) (15 . 16) (17 . 18) (18 . 19)) 1242 0.6606 3.6874 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (7 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 11) (13 . 13) (14 . 14) (17 . 19) (18 . 20)) 1355 0.3602 5.2720 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8) (10 . 9) (11 . 10) (13 . 11) (14 . 13) (18 . 14) (19 . 16)) 1436 0.3500 3.2063 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (5 . 20) (6 . 21) (7 . 25)) 1487 0.6497 5.1113 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (10 . 8) (11 . 9) (13 . 10) (14 . 11) (17 . 31) (18 . 32)) 1531 0.4499 6.6630 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (7 . 6) (13 . 13) (14 . 15) (17 . 16) (18 . 18)) 1560 0.7799 3.0799 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (9 . 9) (10 . 10) (11 . 11) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 19)) 1804 0.3500 4.4122 ((3 . 12) (4 . 13) (5 . 14) (7 . 18) (10 . 19) (11 . 23) (14 . 25)) 1807 0.7490 1.8212 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (9 . 10) (10 . 11) (11 . 12) (13 . 14) (14 . 15) (15 . 16) (17 . 18) (18 . 20)) 1809 0.7646 3.2739 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (11 . 11) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 19)) 1899 0.2801 3.3356 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (6 . 17) (7 . 20)) 1922 0.5484 5.1997 ((1 . 1) (2 . 2) (3 . 6) (4 . 7) (6 . 10) (7 . 11) (10 . 12) (11 . 13) (13 . 14) (14 . 15) (17 . 25)) 1948 0.3000 5.7491 ((1 . 16) (2 . 17) (3 . 18) (5 . 22) (7 . 24) (9 . 27)) 1956 0.3500 6.7657 ((1 . 15) (2 . 16) (3 . 17) (4 . 21) (5 . 22) (6 . 23) (7 . 24)) 2004 0.5999 3.7573 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (10 . 9) (11 . 10) (13 . 12) (14 . 13) (17 . 19) (18 . 21)) 2016 0.3000 3.3258 ((1 . 22) (2 . 23) (3 . 25) (6 . 28) (7 . 29) (11 . 34)) 2017 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (21 . 21) (22 . 22)) 2046 0.3999 6.2721 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (5 . 20) (6 . 21) (7 . 25) (9 . 26)) 2090 0.7194 2.8365 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (9 . 10) (10 . 11) (11 . 12) (13 . 16) (14 . 17) (16 . 18) (17 . 20) (18 . 22)) 2095 0.5499 5.1504 ((1 . 2) (2 . 4) (3 . 5) (4 . 6) (6 . 9) (7 . 10) (10 . 11) (11 . 12) (13 . 13) (14 . 14) (17 . 29)) 2180 0.7488 2.2970 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8) (9 . 10) (10 . 11) (11 . 12) (13 . 14) (14 . 15) (15 . 16) (17 . 17) (18 . 19)) 2189 0.5500 3.3582 ((1 . 1) (2 . 2) (5 . 3) (6 . 6) (7 . 7) (10 . 8) (11 . 9) (13 . 11) (14 . 12) (17 . 16) (18 . 17)) 2194 0.3500 2.8970 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (5 . 20) (6 . 22) (7 . 25)) 2270 0.3499 7.1694 ((1 . 17) (6 . 18) (7 . 24) (10 . 25) (11 . 26) (13 . 27) (14 . 28)) 2309 0.2800 8.2655 ((4 . 16) (5 . 18) (6 . 19) (7 . 20) (11 . 21) (16 . 27)) 2316 0.7430 2.5571 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (10 . 9) (11 . 10) (13 . 12) (14 . 13) (15 . 15) (17 . 18) (18 . 20)) 2328 0.5439 5.3964 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (10 . 8) (11 . 9) (13 . 10) (14 . 11)) 2330 0.5228 5.3394 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (10 . 9) (11 . 10) (13 . 11) (14 . 13)) 2368 0.4000 3.2926 ((1 . 3) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (11 . 11) (13 . 15) (14 . 16)) 2376 0.2870 5.7657 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 7) (10 . 8) (11 . 9) (13 . 10) (14 . 11) (17 . 12) (18 . 13) (19 . 15)) 2463 0.5499 4.0930 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (10 . 8) (11 . 9) (13 . 10) (14 . 11)) 2615 0.4394 4.6856 ((1 . 2) (2 . 3) (3 . 4) (7 . 9) (10 . 11) (11 . 12) (13 . 13) (14 . 14) (17 . 15)) 2657 0.7928 2.9325 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (11 . 11) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 19)) 2674 0.3999 6.5445 ((1 . 12) (2 . 13) (3 . 14) (4 . 16) (5 . 17) (6 . 18) (7 . 19) (9 . 23)) 2725 0.3138 5.2173 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 7) (10 . 8) (11 . 9) (13 . 10) (14 . 11) (16 . 13) (18 . 14) (19 . 16)) 2736 0.4984 5.0530 ((1 . 1) (2 . 2) (3 . 3) (7 . 5) (10 . 6) (11 . 7) (12 . 8) (13 . 9) (14 . 10) (17 . 21)) 2781 0.7965 2.7551 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (11 . 12) (13 . 14) (14 . 15) (15 . 16) (16 . 17) (17 . 18) (18 . 20)) 2789 0.4958 5.8954 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (10 . 9) (11 . 10) (13 . 13) (14 . 14) (17 . 15) (19 . 18)) 3017 0.3500 3.1170 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (5 . 19) (6 . 21) (7 . 25)) 3059 0.7495 4.5068 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (11 . 11) (13 . 13) (14 . 14) (16 . 16) (17 . 17) (18 . 18)) 3072 0.3999 6.3926 ((1 . 20) (2 . 21) (3 . 22) (4 . 23) (5 . 24) (6 . 25) (7 . 30) (9 . 31)) 3144 0.7965 3.5613 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (11 . 11) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 19)) 3192 0.6498 3.0121 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (10 . 8) (11 . 9) (13 . 11) (14 . 12) (17 . 18) (18 . 20)) 3257 0.6492 4.7677 ((1 . 1) (2 . 2) (3 . 3) (6 . 4) (7 . 5) (9 . 7) (10 . 8) (11 . 9) (13 . 11) (14 . 12) (16 . 14) (17 . 18) (18 . 20)) 3385 0.4000 4.7135 ((3 . 17) (4 . 20) (5 . 21) (6 . 22) (7 . 23) (10 . 25) (11 . 27) (14 . 30)) 3414 0.2786 5.6600 ((1 . 1) (2 . 2) (3 . 3) (7 . 7) (10 . 8) (11 . 9) (13 . 10) (14 . 11) (18 . 14) (19 . 17)) 3481 0.3940 3.1599 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 8) (7 . 10) (10 . 11) (11 . 12)) 3561 0.3000 2.8803 ((1 . 20) (2 . 21) (3 . 22) (4 . 23) (7 . 28) (11 . 31)) 3593 0.4972 4.8288 ((1 . 1) (2 . 2) (3 . 4) (6 . 7) (7 . 8) (10 . 9) (11 . 10) (13 . 11) (14 . 12) (17 . 25)) 3606 0.5440 5.0033 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (10 . 8) (11 . 9) (13 . 10) (14 . 12)) 3610 0.2537 8.3988 ((1 . 13) (2 . 14) (3 . 15) (6 . 18) (9 . 22) (12 . 26) (15 . 27)) 3633 0.3000 5.3424 ((1 . 20) (2 . 21) (3 . 22) (4 . 23) (5 . 26) (7 . 28)) 3637 0.3468 5.3746 ((1 . 3) (6 . 4) (7 . 5) (10 . 6) (11 . 9) (15 . 18) (16 . 19)) 3677 0.5500 4.0144 ((1 . 5) (2 . 6) (3 . 8) (4 . 9) (5 . 10) (6 . 11) (7 . 12) (10 . 13) (11 . 14) (13 . 15) (14 . 16)) 3722 0.5500 3.7521 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (10 . 8) (11 . 9) (13 . 10) (14 . 11)) 3724 0.5500 3.8928 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 8) (10 . 9) (11 . 10) (13 . 11) (14 . 12)) 3734 0.3500 2.8492 ((1 . 10) (2 . 11) (3 . 12) (4 . 13) (5 . 14) (6 . 15) (7 . 18)) 3854 0.4848 5.5801 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (10 . 9) (11 . 10) (14 . 13) (17 . 14) (19 . 17)) 4047 0.4019 5.5859 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (7 . 8) (10 . 9) (11 . 10) (13 . 11) (14 . 13) (17 . 14) (18 . 15) (19 . 17)) 4067 0.3000 3.8198 ((3 . 14) (4 . 15) (5 . 16) (7 . 20) (11 . 24) (14 . 25)) 4131 0.7499 2.6748 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (10 . 9) (11 . 11) (12 . 12) (13 . 15) (14 . 17) (17 . 18) (18 . 19)) 4341 0.3000 7.2393 ((1 . 6) (2 . 9) (3 . 10) (4 . 12) (5 . 13) (7 . 15)) 4351 0.3999 6.7016 ((1 . 12) (2 . 13) (6 . 15) (7 . 17) (11 . 19) (13 . 20) (14 . 21) (16 . 23)) 4404 0.5000 4.2192 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 8) (10 . 9) (11 . 10) (14 . 12) (17 . 26)) 4409 0.3000 2.1448 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (5 . 17) (7 . 19)) 4417 0.2500 4.7730 ((3 . 1) (4 . 2) (5 . 4) (7 . 7) (11 . 12)) 4430 0.7342 2.5249 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (10 . 9) (11 . 10) (13 . 12) (14 . 13) (15 . 14) (17 . 16) (18 . 18)) 4447 0.3500 2.6649 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (5 . 16) (7 . 18) (11 . 23)) 4499 0.7483 2.9157 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (11 . 11) (13 . 13) (14 . 14) (15 . 15) (17 . 17) (18 . 19)) 4520 0.5228 5.2622 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (10 . 8) (11 . 9) (13 . 10) (14 . 12)) 4549 0.3500 3.8250 ((1 . 14) (2 . 15) (3 . 16) (4 . 17) (5 . 18) (6 . 21) (7 . 23)) 4573 0.7499 3.0194 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (11 . 11) (13 . 13) (14 . 14) (15 . 15) (17 . 17) (18 . 18)) 4585 0.5697 4.6092 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (9 . 9) (10 . 10) (11 . 11) (13 . 12) (14 . 13)) 4588 0.5000 4.4106 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 9) (7 . 11) (10 . 12) (11 . 13) (14 . 16) (17 . 31)) 4668 0.5000 4.2853 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (10 . 8) (11 . 9) (13 . 10) (14 . 11)) 4730 0.4998 6.4701 ((1 . 1) (2 . 2) (3 . 3) (6 . 4) (7 . 5) (10 . 8) (11 . 9) (13 . 10) (14 . 11) (17 . 25)) 4739 0.6959 5.1051 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (10 . 7) (11 . 9) (13 . 11) (14 . 12) (15 . 13) (17 . 15) (18 . 17) (19 . 18)) 4765 0.6945 3.7267 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (10 . 9) (11 . 10) (12 . 11) (13 . 14) (14 . 15) (17 . 21) (18 . 23)) 4863 0.4999 5.1139 ((1 . 5) (2 . 6) (3 . 14) (6 . 19) (7 . 20) (10 . 22) (11 . 23) (13 . 24) (14 . 25) (17 . 36)) 4943 0.3500 5.8599 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 7) (9 . 8) (11 . 9)) 5029 0.4102 3.4456 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (10 . 9) (11 . 10)) 5045 0.3500 2.6976 ((1 . 18) (2 . 19) (3 . 20) (4 . 21) (5 . 22) (6 . 23) (7 . 26)) 5082 0.4000 3.4805 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (11 . 15)) 5097 0.3000 4.3783 ((3 . 13) (4 . 14) (5 . 15) (7 . 18) (10 . 21) (11 . 22)) 5140 0.6976 2.7454 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (6 . 7) (7 . 8) (9 . 9) (10 . 10) (11 . 11) (13 . 13) (14 . 14) (16 . 15) (17 . 17) (18 . 19)) 5227 0.7992 2.8334 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (16 . 16) (17 . 17) (18 . 19)) 5362 0.5000 4.4576 ((1 . 1) (2 . 2) (3 . 3) (6 . 7) (7 . 8) (10 . 9) (11 . 10) (13 . 11) (14 . 13) (17 . 31)) 5387 0.2500 3.7303 ((1 . 6) (2 . 10) (3 . 11) (4 . 13) (5 . 14)) 5406 0.3500 3.3002 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (5 . 16) (6 . 17) (7 . 21)) 5409 0.3000 3.8869 ((3 . 9) (4 . 10) (5 . 11) (7 . 13) (11 . 18) (14 . 20)) 5444 0.7499 3.1013 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 10) (10 . 11) (11 . 13) (13 . 15) (14 . 16) (15 . 17) (17 . 19) (18 . 21)) 5493 0.4500 3.9839 ((3 . 1) (5 . 3) (10 . 9) (11 . 10) (13 . 11) (14 . 12) (15 . 14) (17 . 17) (18 . 19)) 5571 0.6977 3.7385 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (10 . 9) (11 . 10) (13 . 12) (14 . 13) (17 . 18) (18 . 19)) 5654 0.3999 7.6334 ((1 . 17) (2 . 18) (3 . 19) (4 . 20) (5 . 21) (6 . 24) (7 . 26) (9 . 28)) 5665 0.6776 4.3952 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (9 . 9) (10 . 10) (11 . 11) (13 . 13) (14 . 15) (17 . 21) (18 . 23)) 5786 0.3500 5.7895 ((1 . 17) (2 . 18) (3 . 19) (4 . 20) (5 . 21) (7 . 23) (9 . 24)) 5838 0.7000 1.6212 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8) (9 . 9) (10 . 10) (11 . 11) (13 . 12) (14 . 13) (17 . 15) (18 . 17)) 5877 0.5185 4.8716 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (10 . 8) (11 . 9) (13 . 10) (14 . 12)) 5942 0.5492 5.5037 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (10 . 9) (11 . 10) (13 . 11) (14 . 12)) 5954 0.7451 2.9917 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10) (13 . 11) (14 . 12) (16 . 14) (17 . 15) (18 . 16)) 6085 0.5229 5.0357 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8) (10 . 9) (11 . 10) (13 . 11) (14 . 13)) 6114 0.3999 7.0179 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (5 . 20) (6 . 23) (7 . 25) (9 . 26)) 6257 0.3000 2.2515 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (5 . 16) (7 . 20)) 6274 0.3500 6.7811 ((1 . 16) (2 . 17) (3 . 18) (4 . 21) (5 . 22) (6 . 23) (7 . 25)) 6276 0.4000 5.8354 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (5 . 19) (6 . 20) (7 . 21) (9 . 25)) 6292 0.4999 4.9828 ((1 . 1) (2 . 2) (3 . 4) (6 . 8) (7 . 9) (10 . 11) (11 . 12) (13 . 13) (14 . 14) (17 . 26)) 6341 0.3500 4.7720 ((1 . 7) (2 . 8) (3 . 9) (7 . 12) (10 . 13) (11 . 14) (14 . 15)) 6388 0.7000 1.6415 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (11 . 11) (13 . 13) (14 . 14) (17 . 16) (18 . 18)) 6420 0.5186 4.7419 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (10 . 9) (11 . 10) (13 . 11) (14 . 13)) 6426 0.4999 5.4337 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (10 . 7) (11 . 8) (13 . 9) (14 . 10)) 6497 0.3000 4.0164 ((3 . 14) (4 . 15) (5 . 16) (7 . 20) (10 . 21) (11 . 25)) 6505 0.3500 6.7647 ((1 . 1) (2 . 6) (3 . 7) (4 . 8) (5 . 9) (6 . 10) (13 . 12)) 6627 0.5933 4.4779 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (9 . 9) (10 . 10) (11 . 11) (13 . 12) (14 . 14)) END