4131 42 0.2941 4.4644 ((2 . 11) (3 . 12) (4 . 13) (5 . 14) (7 . 16)) 265 0.8235 2.4224 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 11) (15 . 13) (17 . 14) (18 . 19) (19 . 20)) 312 0.5641 3.7526 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 7) (7 . 8) (9 . 9) (11 . 10) (17 . 14) (18 . 29)) 319 0.6469 4.3543 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (11 . 9) (15 . 10) (17 . 12)) 352 0.8235 2.6857 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (9 . 10) (11 . 12) (15 . 14) (17 . 15) (18 . 19) (19 . 21)) 377 0.3150 4.9138 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 7) (6 . 8) (7 . 9) (9 . 10) (11 . 11) (15 . 12) (17 . 13) (19 . 16)) 506 0.2941 5.8203 ((2 . 12) (3 . 13) (5 . 15) (7 . 19) (9 . 22)) 707 0.8235 2.6635 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (9 . 10) (11 . 11) (15 . 13) (17 . 14) (18 . 17) (19 . 19)) 781 0.8233 2.9276 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 8) (11 . 9) (12 . 10) (15 . 11) (17 . 12) (18 . 18) (19 . 19)) 847 0.4118 3.1982 ((1 . 1) (2 . 2) (7 . 6) (9 . 7) (11 . 8) (15 . 9) (17 . 10)) 873 0.3575 4.5206 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (7 . 8) (9 . 11) (11 . 12) (15 . 13) (17 . 14) (18 . 15) (19 . 16)) 906 0.7057 3.7902 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8) (9 . 9) (11 . 10) (15 . 11) (17 . 13) (18 . 33)) 972 0.3529 5.3468 ((1 . 14) (2 . 15) (3 . 16) (5 . 19) (6 . 21) (7 . 22)) 1053 0.6470 3.0527 ((1 . 1) (2 . 2) (3 . 3) (6 . 4) (7 . 5) (9 . 7) (11 . 8) (15 . 11) (17 . 12) (18 . 18) (19 . 20)) 1071 0.8235 2.3403 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 11) (15 . 12) (17 . 13) (18 . 16) (19 . 18)) 1094 0.3529 7.5564 ((1 . 1) (2 . 2) (3 . 3) (6 . 6) (7 . 7) (8 . 9)) 1117 0.3529 2.9446 ((1 . 11) (2 . 12) (3 . 13) (5 . 15) (6 . 16) (7 . 17)) 1189 0.8200 3.3880 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 10) (15 . 12) (17 . 13) (18 . 19) (19 . 20)) 1219 0.8235 2.5272 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 10) (7 . 11) (8 . 13) (9 . 14) (11 . 16) (15 . 18) (17 . 19) (18 . 21) (19 . 23)) 1221 0.8235 2.4845 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 10) (9 . 11) (11 . 13) (15 . 14) (17 . 15) (18 . 18) (19 . 19)) 1242 0.8088 3.9944 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 10) (12 . 11) (15 . 13) (17 . 14) (18 . 19) (19 . 20)) 1355 0.3724 4.3850 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8) (9 . 9) (11 . 10) (15 . 11) (17 . 13) (19 . 14)) 1436 0.5882 3.6873 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (5 . 20) (6 . 21) (7 . 22) (9 . 23) (11 . 25) (19 . 27)) 1487 0.7644 4.1506 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (11 . 9) (15 . 10) (17 . 11) (18 . 31) (19 . 32)) 1531 0.7050 3.2619 ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (7 . 6) (9 . 7) (11 . 8) (14 . 12) (15 . 13) (17 . 15) (18 . 16) (19 . 18)) 1560 0.8235 2.1615 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10) (11 . 11) (15 . 13) (17 . 14) (18 . 17) (19 . 19)) 1804 0.3338 7.7416 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (7 . 20) (8 . 22)) 1807 0.8235 2.1916 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 10) (9 . 11) (11 . 12) (15 . 14) (17 . 15) (18 . 18) (19 . 20)) 1809 0.8235 2.2680 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (9 . 10) (11 . 11) (15 . 13) (17 . 14) (18 . 17) (19 . 19)) 1899 0.3529 3.6033 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (6 . 19) (7 . 20)) 1922 0.5881 4.6342 ((1 . 1) (2 . 2) (3 . 6) (6 . 10) (7 . 11) (9 . 12) (11 . 13) (15 . 14) (17 . 15) (18 . 25)) 1948 0.2941 2.8271 ((1 . 16) (2 . 17) (3 . 18) (5 . 22) (7 . 24)) 1956 0.2941 3.8813 ((2 . 14) (3 . 15) (5 . 17) (9 . 23) (11 . 24)) 2004 0.7058 3.0565 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (11 . 10) (15 . 12) (17 . 13) (18 . 19) (19 . 21)) 2016 0.4117 4.5551 ((1 . 22) (2 . 23) (3 . 25) (6 . 28) (7 . 29) (9 . 33) (11 . 34)) 2017 0.8821 2.6748 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (9 . 10) (11 . 11) (12 . 12) (15 . 13) (17 . 14) (18 . 17) (19 . 18)) 2046 0.4114 9.5354 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (6 . 23) (7 . 25) (8 . 26)) 2090 0.8235 2.0284 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 10) (9 . 11) (11 . 12) (15 . 16) (17 . 17) (18 . 20) (19 . 22)) 2095 0.2941 3.3193 ((1 . 2) (4 . 6) (6 . 9) (7 . 10) (11 . 14)) 2180 0.8235 2.2683 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 10) (9 . 11) (11 . 12) (15 . 14) (17 . 15) (18 . 17) (19 . 19)) 2189 0.7058 2.7787 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (11 . 9) (15 . 11) (17 . 12) (18 . 16) (19 . 17)) 2194 0.4118 4.0953 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (5 . 20) (6 . 24) (7 . 25)) 2270 0.2941 4.8049 ((2 . 16) (3 . 17) (4 . 18) (5 . 19) (11 . 26)) 2309 0.2941 5.4258 ((1 . 18) (2 . 19) (5 . 24) (6 . 25) (7 . 26)) 2316 0.8235 2.0699 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 10) (15 . 12) (17 . 13) (18 . 18) (19 . 20)) 2328 0.6358 4.4237 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (11 . 9) (15 . 10) (17 . 11)) 2330 0.6339 4.4837 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (11 . 10) (15 . 11) (17 . 13)) 2368 0.7646 3.0090 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (9 . 10) (11 . 11) (15 . 15) (17 . 16) (18 . 23) (19 . 24)) 2376 0.2941 2.5645 ((1 . 7) (2 . 8) (3 . 9) (4 . 10) (5 . 11)) 2463 0.6470 3.2533 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (11 . 9) (15 . 10) (17 . 11)) 2615 0.3529 5.1220 ((1 . 2) (2 . 3) (3 . 4) (5 . 9) (6 . 11) (7 . 12)) 2657 0.8235 2.0181 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (9 . 10) (11 . 11) (15 . 13) (17 . 14) (18 . 17) (19 . 19)) 2674 0.4706 2.8172 ((1 . 12) (2 . 13) (3 . 14) (4 . 16) (5 . 17) (6 . 18) (7 . 19) (11 . 24)) 2725 0.5294 3.4307 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 7) (9 . 8) (11 . 9) (15 . 10) (17 . 11)) 2736 0.5868 4.5057 ((1 . 1) (2 . 2) (3 . 3) (7 . 5) (9 . 6) (11 . 7) (12 . 8) (15 . 9) (17 . 10) (18 . 21)) 2781 0.8235 1.8629 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (9 . 10) (11 . 12) (15 . 14) (17 . 15) (18 . 18) (19 . 20)) 2789 0.3529 2.6083 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (7 . 10)) 3017 0.4706 3.1793 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (5 . 19) (6 . 21) (7 . 25) (11 . 28)) 3059 0.8235 2.6083 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (9 . 10) (11 . 11) (15 . 13) (17 . 14) (18 . 17) (19 . 18)) 3072 0.4118 2.8723 ((1 . 20) (2 . 21) (3 . 22) (4 . 23) (5 . 24) (6 . 25) (7 . 30)) 3144 0.8235 2.1174 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (9 . 10) (11 . 11) (15 . 13) (17 . 14) (18 . 17) (19 . 19)) 3192 0.7643 2.6688 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (11 . 9) (15 . 11) (17 . 12) (18 . 18) (19 . 20)) 3257 0.7057 4.0023 ((1 . 1) (2 . 2) (3 . 3) (6 . 4) (7 . 5) (8 . 7) (9 . 8) (11 . 9) (15 . 11) (17 . 12) (18 . 18) (19 . 20)) 3385 0.3529 3.4730 ((2 . 16) (3 . 17) (5 . 19) (7 . 23) (9 . 25) (11 . 27)) 3414 0.2941 3.8084 ((1 . 1) (2 . 2) (3 . 3) (7 . 7) (9 . 10)) 3481 0.3866 2.7568 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 8) (7 . 10) (9 . 11) (11 . 12)) 3561 0.3529 2.9454 ((1 . 20) (2 . 21) (3 . 22) (4 . 23) (7 . 26) (11 . 31)) 3593 0.5882 4.1691 ((1 . 1) (2 . 2) (3 . 4) (6 . 7) (7 . 8) (9 . 9) (11 . 10) (15 . 11) (17 . 12) (18 . 25)) 3606 0.6461 4.2271 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (11 . 9) (15 . 10) (17 . 12)) 3610 0.3529 6.5091 ((1 . 13) (2 . 14) (3 . 15) (4 . 16) (7 . 19) (8 . 22)) 3633 0.3529 3.5010 ((1 . 20) (2 . 21) (3 . 22) (4 . 23) (6 . 27) (7 . 28)) 3637 0.3100 5.9546 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (5 . 9) (6 . 11) (7 . 12) (8 . 15) (9 . 16) (11 . 17) (15 . 19)) 3677 0.7053 5.3338 ((1 . 5) (2 . 6) (3 . 8) (4 . 9) (5 . 10) (6 . 11) (7 . 12) (9 . 13) (11 . 14) (15 . 15) (17 . 16) (19 . 24)) 3722 0.6470 3.1334 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (11 . 9) (15 . 10) (17 . 11)) 3724 0.6470 3.0326 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 8) (9 . 9) (11 . 10) (15 . 11) (17 . 12)) 3734 0.4118 2.5369 ((1 . 10) (2 . 11) (3 . 12) (4 . 13) (5 . 14) (6 . 15) (7 . 18)) 3854 0.3529 6.1589 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 5) (11 . 10)) 4047 0.3529 6.0194 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (9 . 9)) 4067 0.3529 2.9157 ((1 . 14) (2 . 15) (3 . 16) (4 . 17) (6 . 19) (7 . 20)) 4131 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (15 . 15) (17 . 17) (18 . 18) (19 . 19)) 4341 0.3529 2.8963 ((1 . 4) (2 . 5) (3 . 6) (4 . 7) (5 . 8) (7 . 13)) 4351 0.3529 2.7746 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (5 . 16) (7 . 19)) 4404 0.5861 3.6372 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 8) (9 . 9) (11 . 10) (17 . 12) (18 . 26)) 4409 0.4118 3.1098 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (5 . 17) (7 . 19) (11 . 21)) 4417 0.5819 6.0840 ((1 . 1) (2 . 2) (3 . 4) (6 . 6) (7 . 7) (9 . 8) (11 . 9) (15 . 11) (17 . 12) (18 . 30)) 4430 0.8235 2.0491 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 10) (15 . 12) (17 . 13) (18 . 16) (19 . 18)) 4447 0.4118 3.4099 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (5 . 16) (7 . 21) (11 . 23)) 4499 0.8234 2.7714 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (9 . 10) (11 . 11) (15 . 13) (17 . 14) (18 . 17) (19 . 19)) 4520 0.6358 4.4345 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (11 . 9) (15 . 10) (17 . 12)) 4549 0.4118 3.5560 ((1 . 14) (2 . 15) (3 . 16) (4 . 17) (5 . 18) (6 . 21) (7 . 23)) 4573 0.8235 2.4314 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (9 . 10) (11 . 11) (15 . 13) (17 . 14) (18 . 17) (19 . 18)) 4585 0.6514 3.9476 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10) (11 . 11) (15 . 12) (17 . 13)) 4588 0.5882 3.8953 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 9) (7 . 11) (9 . 12) (11 . 13) (17 . 16) (18 . 31)) 4668 0.5882 3.2481 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (11 . 9) (15 . 10) (17 . 11)) 4730 0.5316 3.4523 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 8) (7 . 9) (9 . 10) (11 . 11) (18 . 25)) 4739 0.7057 4.2179 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (9 . 7) (11 . 9) (15 . 11) (17 . 12) (18 . 15) (19 . 17)) 4765 0.8207 3.2439 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 10) (12 . 11) (15 . 14) (17 . 15) (18 . 21) (19 . 23)) 4863 0.5881 4.7924 ((1 . 5) (2 . 6) (3 . 14) (6 . 19) (7 . 20) (9 . 22) (11 . 23) (15 . 24) (17 . 25) (18 . 36)) 4943 0.6469 4.0607 ((1 . 1) (2 . 2) (3 . 3) (6 . 4) (7 . 5) (9 . 6) (11 . 7) (15 . 8) (17 . 9) (18 . 17) (19 . 18)) 5029 0.4706 2.5929 ((1 . 2) (2 . 3) (3 . 4) (5 . 6) (6 . 7) (7 . 8) (9 . 9) (11 . 10)) 5045 0.4118 2.7512 ((1 . 18) (2 . 19) (3 . 20) (4 . 21) (5 . 22) (6 . 23) (7 . 26)) 5082 0.4706 3.0282 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (11 . 15)) 5097 0.3529 5.3205 ((1 . 13) (2 . 14) (3 . 15) (5 . 18) (6 . 19) (7 . 20)) 5140 0.7646 2.8285 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (6 . 7) (7 . 8) (8 . 9) (9 . 10) (11 . 11) (15 . 13) (17 . 14) (18 . 17) (19 . 19)) 5227 0.8822 2.3123 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (9 . 10) (11 . 11) (12 . 12) (15 . 13) (17 . 14) (18 . 17) (19 . 19)) 5362 0.6459 4.0438 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 7) (7 . 8) (9 . 9) (11 . 10) (15 . 11) (17 . 13) (18 . 31)) 5387 0.4117 6.3579 ((1 . 4) (2 . 5) (3 . 6) (4 . 7) (5 . 9) (7 . 11) (8 . 13)) 5406 0.4118 3.0724 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (5 . 16) (6 . 17) (7 . 21)) 5409 0.3529 5.3517 ((1 . 9) (2 . 10) (3 . 11) (5 . 13) (6 . 14) (7 . 15)) 5444 0.8235 2.1874 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 10) (9 . 11) (11 . 13) (15 . 15) (17 . 16) (18 . 19) (19 . 21)) 5493 0.7646 3.4552 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (11 . 10) (15 . 11) (17 . 12) (18 . 17) (19 . 19)) 5571 0.8194 3.1076 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 10) (15 . 12) (17 . 13) (18 . 18) (19 . 19)) 5654 0.4118 2.8319 ((1 . 17) (2 . 18) (3 . 19) (4 . 20) (5 . 21) (6 . 22) (7 . 26)) 5665 0.7597 3.1443 ((1 . 2) (2 . 3) (3 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10) (11 . 11) (15 . 13) (17 . 15) (18 . 21) (19 . 23)) 5786 0.3529 2.4690 ((1 . 17) (2 . 18) (3 . 19) (4 . 20) (5 . 21) (7 . 25)) 5838 0.8235 1.9976 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10) (11 . 11) (15 . 12) (17 . 13) (18 . 15) (19 . 17)) 5877 0.6340 3.8857 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 8) (11 . 9) (15 . 10) (17 . 12)) 5942 0.6457 4.5128 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (11 . 10) (15 . 11) (17 . 12)) 5954 0.8234 2.2810 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 8) (11 . 9) (12 . 10) (15 . 11) (17 . 12) (18 . 15) (19 . 16)) 6085 0.6358 4.1374 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8) (9 . 9) (11 . 10) (15 . 11) (17 . 13)) 6114 0.4702 8.0919 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (5 . 20) (6 . 23) (7 . 25) (8 . 26)) 6257 0.3529 2.7876 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (5 . 16) (7 . 20)) 6274 0.4117 4.8952 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (5 . 22) (6 . 23) (7 . 25)) 6276 0.4118 2.9813 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (5 . 19) (6 . 22) (7 . 24)) 6292 0.6468 4.8709 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (6 . 8) (7 . 9) (9 . 11) (11 . 12) (15 . 13) (17 . 14) (18 . 26)) 6341 0.4118 3.7233 ((1 . 7) (2 . 8) (3 . 9) (7 . 12) (9 . 13) (11 . 14) (17 . 15)) 6388 0.8235 2.1176 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (9 . 10) (11 . 11) (15 . 13) (17 . 14) (18 . 16) (19 . 18)) 6420 0.6340 3.9628 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (11 . 10) (15 . 11) (17 . 13)) 6426 0.5882 3.9818 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (9 . 7) (11 . 8) (15 . 9) (17 . 10)) 6497 0.3529 5.3886 ((1 . 14) (2 . 15) (3 . 16) (5 . 20) (6 . 21) (7 . 22)) 6505 0.3529 3.8972 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 8) (7 . 9)) 6627 0.6911 4.2157 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10) (11 . 11) (15 . 12) (17 . 14)) END