4694 18 0.4285 6.3436 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 7) (16 . 10)) 19 0.3571 4.7768 ((4 . 17) (5 . 18) (6 . 19) (11 . 25) (12 . 26)) 46 0.3571 3.2316 ((4 . 2) (5 . 3) (9 . 6) (10 . 7) (12 . 13)) 63 0.3571 5.8646 ((4 . 1) (5 . 2) (6 . 3) (9 . 7) (12 . 10)) 190 0.4998 6.1653 ((4 . 6) (5 . 7) (9 . 11) (10 . 12) (12 . 15) (14 . 19) (15 . 21)) 263 0.3571 5.8619 ((4 . 12) (9 . 17) (10 . 18) (11 . 19) (12 . 22)) 376 0.3571 7.5821 ((6 . 1) (9 . 7) (10 . 9) (11 . 10) (12 . 12)) 399 0.5713 4.5497 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (10 . 7) (11 . 8) (12 . 9) (16 . 12)) 492 0.8565 3.1946 ((4 . 1) (5 . 2) (6 . 3) (7 . 5) (9 . 9) (10 . 10) (11 . 13) (12 . 14) (13 . 15) (14 . 16) (15 . 17) (16 . 18)) 526 0.3571 6.3582 ((11 . 1) (13 . 3) (14 . 4) (15 . 5) (16 . 6)) 527 0.4285 5.8272 ((10 . 30) (11 . 31) (12 . 33) (13 . 35) (14 . 36) (15 . 37)) 557 0.4286 2.9644 ((5 . 2) (6 . 3) (7 . 4) (10 . 7) (16 . 13) (17 . 14)) 602 0.3779 4.5608 ((4 . 1) (5 . 2) (6 . 11) (10 . 12) (11 . 13) (12 . 14) (13 . 18) (14 . 20) (15 . 23) (16 . 24)) 616 0.3571 6.2538 ((4 . 1) (9 . 11) (12 . 14) (14 . 17) (15 . 18)) 647 0.8561 4.2381 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (9 . 10) (10 . 11) (11 . 12) (12 . 13) (13 . 14) (14 . 15) (15 . 16) (16 . 17)) 659 0.4285 4.8368 ((7 . 6) (11 . 11) (12 . 12) (13 . 13) (16 . 16) (17 . 17)) 682 0.4285 5.0490 ((6 . 1) (9 . 5) (11 . 7) (12 . 8) (13 . 9) (14 . 10)) 721 0.3568 11.1196 ((7 . 14) (9 . 16) (10 . 17) (11 . 18) (14 . 23)) 733 0.4922 7.2139 ((4 . 2) (5 . 3) (6 . 4) (9 . 6) (10 . 7) (13 . 11) (18 . 17)) 777 0.3571 4.1073 ((6 . 2) (9 . 6) (11 . 8) (12 . 9) (13 . 10)) 815 0.6404 5.5321 ((4 . 1) (5 . 2) (6 . 3) (9 . 12) (10 . 13) (11 . 14) (12 . 15) (14 . 17) (15 . 18)) 1006 0.3571 6.5514 ((4 . 1) (5 . 2) (11 . 7) (12 . 9) (16 . 13)) 1047 0.3571 5.5246 ((11 . 16) (13 . 18) (15 . 20) (16 . 21) (17 . 22)) 1050 0.6401 6.3634 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (10 . 7) (11 . 9) (12 . 10) (14 . 13) (15 . 14)) 1055 0.4286 4.3531 ((5 . 14) (6 . 16) (7 . 17) (9 . 20) (10 . 21) (16 . 29)) 1058 0.4286 3.5888 ((4 . 15) (5 . 16) (6 . 17) (7 . 18) (9 . 20) (10 . 21)) 1145 0.7856 3.2381 ((4 . 6) (5 . 7) (6 . 8) (9 . 29) (10 . 30) (11 . 31) (12 . 33) (13 . 36) (14 . 37) (15 . 38) (16 . 39)) 1146 0.4286 4.0746 ((6 . 1) (7 . 2) (11 . 8) (12 . 9) (13 . 10) (14 . 11)) 1254 0.4282 8.7956 ((11 . 5) (12 . 6) (13 . 7) (14 . 8) (15 . 12) (16 . 17)) 1291 0.3571 7.0829 ((6 . 41) (12 . 47) (14 . 49) (15 . 50) (16 . 51)) 1303 0.4286 3.9486 ((5 . 2) (9 . 7) (11 . 9) (12 . 10) (13 . 12) (14 . 13)) 1377 0.2857 8.9873 ((4 . 1) (7 . 4) (10 . 6) (12 . 8)) 1378 0.4285 5.0690 ((11 . 6) (12 . 7) (13 . 8) (14 . 9) (15 . 10) (16 . 11)) 1403 0.4738 4.9022 ((4 . 4) (5 . 5) (6 . 6) (10 . 7) (11 . 9) (12 . 10) (13 . 11) (14 . 14) (15 . 15) (16 . 17)) 1409 0.4285 4.4517 ((4 . 1) (5 . 2) (10 . 6) (12 . 11) (15 . 13) (16 . 15)) 1416 0.3907 4.7124 ((4 . 2) (5 . 3) (6 . 4) (10 . 5) (11 . 6) (12 . 7) (13 . 8) (14 . 10) (15 . 11) (16 . 12)) 1449 0.3569 10.2543 ((4 . 1) (9 . 7) (10 . 8) (11 . 10) (12 . 11)) 1561 0.3688 6.7089 ((4 . 6) (9 . 16) (10 . 17) (12 . 20) (13 . 22) (16 . 24)) 1575 0.4285 5.7524 ((4 . 3) (5 . 4) (6 . 5) (7 . 6) (10 . 8) (12 . 15)) 1634 0.4285 5.0194 ((4 . 1) (5 . 2) (6 . 3) (10 . 9) (11 . 10) (13 . 12)) 1714 0.8567 3.9096 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (9 . 10) (10 . 12) (11 . 13) (12 . 14) (13 . 15) (14 . 16) (15 . 17) (16 . 18)) 1719 0.4284 7.3949 ((4 . 3) (5 . 4) (6 . 5) (7 . 7) (10 . 10) (11 . 12)) 1736 0.3671 4.1526 ((4 . 1) (5 . 2) (6 . 7) (9 . 9) (10 . 10) (11 . 11) (12 . 12)) 1742 0.3571 5.7391 ((6 . 10) (11 . 17) (13 . 19) (16 . 22) (17 . 23)) 1743 0.3571 3.4663 ((4 . 14) (5 . 15) (6 . 16) (9 . 18) (10 . 19)) 1755 0.3721 5.1569 ((4 . 2) (5 . 3) (6 . 4) (10 . 8) (12 . 9) (13 . 10) (14 . 11) (15 . 14) (16 . 17)) 1765 0.5000 3.9742 ((4 . 31) (5 . 32) (6 . 33) (9 . 35) (10 . 36) (11 . 37) (12 . 38)) 1773 0.4282 8.8598 ((4 . 4) (5 . 6) (6 . 17) (10 . 22) (12 . 24) (15 . 26)) 1854 0.4285 5.4051 ((4 . 7) (5 . 8) (6 . 10) (10 . 15) (11 . 17) (12 . 20)) 1855 0.3571 5.6840 ((10 . 23) (11 . 24) (12 . 25) (14 . 27) (16 . 29)) 1857 0.4999 5.3588 ((4 . 1) (5 . 2) (6 . 4) (9 . 9) (10 . 10) (12 . 13) (14 . 16)) 1866 0.3467 5.3846 ((9 . 26) (10 . 27) (12 . 30) (13 . 31) (16 . 36)) 1871 0.4286 4.1640 ((4 . 24) (5 . 25) (6 . 26) (10 . 32) (13 . 34) (14 . 35)) 1872 0.4285 5.3582 ((7 . 38) (11 . 40) (12 . 41) (13 . 42) (14 . 43) (15 . 44)) 1934 0.6178 4.6611 ((4 . 1) (5 . 2) (6 . 3) (9 . 7) (10 . 8) (11 . 10) (12 . 11) (13 . 13) (14 . 14)) 1976 0.5713 4.3707 ((4 . 2) (5 . 3) (6 . 4) (10 . 8) (11 . 9) (12 . 10) (16 . 13) (17 . 14)) 2093 0.4286 3.0613 ((5 . 5) (9 . 10) (11 . 13) (12 . 15) (13 . 17) (14 . 19)) 2291 0.3571 6.5466 ((4 . 3) (5 . 4) (6 . 6) (7 . 7) (10 . 9)) 2298 0.4286 4.0602 ((4 . 6) (5 . 7) (6 . 8) (11 . 14) (12 . 15) (13 . 16)) 2299 0.4997 7.0690 ((4 . 20) (5 . 21) (6 . 22) (7 . 23) (10 . 26) (11 . 27) (12 . 28)) 2373 0.4285 5.2263 ((6 . 1) (10 . 5) (12 . 8) (13 . 10) (14 . 11) (16 . 13)) 2500 0.8545 5.8902 ((4 . 2) (5 . 3) (6 . 4) (7 . 5) (9 . 10) (10 . 12) (11 . 13) (12 . 17) (13 . 18) (14 . 19) (15 . 21) (16 . 23)) 2501 0.8545 6.2170 ((4 . 26) (5 . 27) (6 . 28) (7 . 32) (9 . 33) (10 . 34) (11 . 35) (12 . 37) (13 . 38) (14 . 39) (15 . 40) (16 . 41)) 2543 0.4286 3.8107 ((4 . 3) (5 . 4) (6 . 7) (9 . 9) (10 . 10) (12 . 13)) 2569 0.4997 6.9285 ((4 . 4) (5 . 5) (6 . 7) (7 . 9) (9 . 13) (10 . 14) (12 . 17)) 2774 0.4999 5.9033 ((4 . 4) (5 . 5) (9 . 8) (10 . 9) (12 . 12) (14 . 16) (15 . 18)) 2785 0.6423 6.0252 ((4 . 1) (5 . 2) (10 . 6) (11 . 8) (12 . 9) (13 . 10) (14 . 14) (15 . 15) (16 . 16)) 2814 0.3571 3.1105 ((4 . 5) (5 . 6) (6 . 8) (10 . 11) (12 . 17)) 2876 0.4285 5.1393 ((11 . 14) (12 . 15) (15 . 18) (16 . 19) (17 . 20) (18 . 22)) 2924 0.3571 5.7450 ((11 . 14) (13 . 16) (15 . 19) (16 . 20) (17 . 21)) 3022 0.5000 3.8315 ((4 . 3) (5 . 4) (6 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 12)) 3081 0.3571 3.6501 ((4 . 2) (5 . 3) (12 . 10) (13 . 11) (16 . 12)) 3240 0.4916 6.3025 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (10 . 7) (11 . 9) (12 . 10) (13 . 12)) 3293 0.5713 4.5940 ((4 . 1) (5 . 2) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14)) 3307 0.6427 4.3497 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (10 . 7) (11 . 10) (12 . 11) (13 . 13) (14 . 14)) 3327 0.5710 6.4005 ((4 . 8) (5 . 9) (9 . 16) (10 . 17) (11 . 18) (12 . 19) (14 . 22) (15 . 23)) 3328 0.4285 6.5699 ((5 . 2) (11 . 10) (12 . 11) (13 . 13) (14 . 14) (15 . 15)) 3364 0.6424 5.8749 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (10 . 7) (11 . 8) (12 . 9) (14 . 12) (15 . 13)) 3416 0.5000 3.9848 ((4 . 30) (5 . 31) (6 . 32) (9 . 35) (10 . 36) (13 . 42) (14 . 44)) 3473 0.5000 4.1491 ((6 . 1) (10 . 4) (12 . 5) (13 . 6) (14 . 7) (15 . 9) (16 . 10)) 3521 0.3571 5.8302 ((11 . 16) (13 . 18) (15 . 20) (16 . 21) (17 . 22)) 3536 0.5661 4.3979 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (10 . 7) (11 . 9) (12 . 10) (14 . 14)) 3564 0.3571 6.1683 ((9 . 9) (11 . 12) (12 . 13) (14 . 15) (15 . 16)) 3571 0.3571 3.2635 ((4 . 2) (5 . 3) (6 . 4) (10 . 7) (12 . 13)) 3650 0.3568 11.5260 ((9 . 5) (11 . 7) (12 . 8) (13 . 9) (17 . 11)) 3716 0.9285 2.1014 ((4 . 5) (5 . 6) (6 . 7) (7 . 8) (9 . 10) (10 . 11) (11 . 12) (12 . 13) (13 . 14) (14 . 15) (15 . 17) (16 . 18) (18 . 20)) 3745 0.4284 7.3502 ((5 . 6) (6 . 7) (7 . 8) (10 . 9) (11 . 11) (14 . 14)) 3756 0.5619 5.3381 ((4 . 14) (5 . 15) (6 . 16) (7 . 17) (9 . 18) (10 . 19) (11 . 21) (12 . 22) (14 . 24)) 3765 0.5081 6.0174 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (10 . 7) (11 . 8) (12 . 9) (13 . 12)) 3870 0.5714 3.3984 ((4 . 3) (5 . 4) (6 . 5) (9 . 7) (10 . 8) (11 . 9) (12 . 10) (14 . 13)) 3881 0.5714 3.9983 ((4 . 28) (5 . 29) (6 . 30) (9 . 32) (10 . 33) (11 . 34) (12 . 35) (14 . 38)) 3927 0.6427 4.6844 ((4 . 1) (5 . 2) (10 . 4) (11 . 6) (12 . 7) (13 . 9) (14 . 10) (15 . 13) (16 . 14)) 3964 0.4997 6.9700 ((4 . 1) (5 . 2) (10 . 4) (11 . 6) (12 . 7) (14 . 9) (15 . 13)) 3965 0.4286 3.9389 ((6 . 14) (9 . 19) (11 . 21) (12 . 22) (13 . 25) (14 . 27)) 4026 0.3571 4.7837 ((11 . 15) (13 . 17) (15 . 20) (16 . 21) (17 . 22)) 4046 0.3570 8.5679 ((9 . 9) (11 . 11) (13 . 13) (14 . 14) (16 . 16)) 4089 0.4603 4.5502 ((4 . 3) (5 . 4) (6 . 5) (10 . 7) (11 . 8) (12 . 9) (13 . 10) (14 . 11) (15 . 13) (16 . 16) (17 . 17)) 4094 0.5000 3.5434 ((4 . 4) (5 . 5) (6 . 7) (9 . 11) (10 . 12) (14 . 16) (16 . 18)) 4108 0.4286 4.2371 ((4 . 10) (5 . 11) (6 . 14) (9 . 16) (10 . 19) (12 . 21)) 4144 0.3568 10.7686 ((4 . 3) (9 . 8) (10 . 9) (11 . 13) (12 . 14)) 4262 0.4033 5.9622 ((4 . 1) (5 . 2) (6 . 3) (10 . 6) (11 . 8) (12 . 9) (13 . 10) (14 . 15) (15 . 17) (16 . 18)) 4271 0.7140 4.5671 ((4 . 1) (5 . 2) (6 . 3) (9 . 7) (10 . 8) (11 . 9) (12 . 11) (14 . 14) (15 . 15) (16 . 16)) 4277 0.3571 3.0781 ((4 . 4) (5 . 5) (6 . 7) (10 . 9) (12 . 15)) 4291 0.6427 4.4311 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (10 . 7) (11 . 10) (12 . 11) (13 . 13) (14 . 14)) 4292 0.3571 3.6324 ((4 . 6) (5 . 7) (6 . 8) (7 . 9) (10 . 15)) 4294 0.3571 5.3646 ((11 . 34) (12 . 35) (13 . 36) (14 . 37) (16 . 39)) 4299 0.4999 5.1242 ((7 . 7) (10 . 9) (11 . 10) (12 . 11) (13 . 13) (14 . 14) (17 . 19)) 4318 0.6179 4.3665 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (10 . 7) (11 . 9) (12 . 10) (13 . 12) (14 . 13)) 4343 0.5714 3.0463 ((4 . 1) (5 . 2) (6 . 3) (9 . 7) (10 . 9) (12 . 10) (14 . 12) (16 . 13)) 4367 0.4448 6.0843 ((4 . 1) (5 . 2) (6 . 3) (9 . 4) (10 . 5) (11 . 6) (12 . 7) (13 . 8) (14 . 9) (15 . 10) (16 . 12)) 4379 0.7138 5.1169 ((4 . 1) (5 . 2) (6 . 3) (9 . 5) (10 . 6) (11 . 7) (12 . 8) (13 . 13) (14 . 15) (15 . 22)) 4434 0.4286 4.3837 ((4 . 12) (5 . 13) (6 . 14) (9 . 16) (10 . 17) (14 . 25)) 4603 0.3571 5.4151 ((4 . 2) (5 . 3) (6 . 4) (9 . 8) (12 . 14)) 4609 0.4285 5.9351 ((4 . 1) (6 . 4) (9 . 7) (10 . 8) (12 . 12) (16 . 16)) 4634 0.4285 5.0292 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (10 . 7) (11 . 8)) 4694 1.0000 0.0000 ((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)) 4775 0.4414 10.2580 ((4 . 1) (5 . 2) (6 . 4) (7 . 6) (9 . 7) (10 . 8) (11 . 11) (12 . 12) (13 . 14) (14 . 21)) 4820 0.4285 5.1459 ((11 . 17) (12 . 18) (13 . 19) (15 . 21) (16 . 22) (17 . 23)) 4838 0.5000 3.9235 ((4 . 3) (5 . 4) (6 . 12) (9 . 14) (10 . 15) (11 . 16) (12 . 17)) 4839 0.4285 6.0062 ((10 . 18) (11 . 19) (12 . 20) (13 . 21) (14 . 22) (16 . 24)) 4911 0.4917 5.6386 ((4 . 1) (5 . 2) (6 . 4) (9 . 7) (10 . 9) (11 . 10) (12 . 13) (14 . 18)) 4918 0.6204 8.3242 ((4 . 1) (5 . 2) (6 . 4) (9 . 7) (10 . 9) (11 . 12) (12 . 13) (13 . 15) (14 . 21)) 4946 0.4286 3.8401 ((4 . 13) (5 . 14) (6 . 15) (9 . 18) (10 . 19) (14 . 24)) 5113 0.4285 4.9779 ((6 . 3) (10 . 6) (11 . 7) (12 . 10) (15 . 12) (16 . 13)) 5114 0.4284 6.9780 ((9 . 1) (11 . 3) (12 . 4) (13 . 6) (14 . 7) (15 . 8)) 5132 0.4286 3.8551 ((4 . 16) (5 . 17) (6 . 18) (7 . 19) (9 . 21) (10 . 22)) 5170 0.4285 4.6798 ((4 . 6) (5 . 7) (6 . 9) (10 . 14) (11 . 16) (12 . 17)) 5202 0.4285 6.0988 ((4 . 6) (5 . 7) (10 . 13) (12 . 16) (14 . 20) (15 . 22)) 5295 0.4285 6.3439 ((9 . 3) (10 . 4) (12 . 6) (13 . 7) (14 . 9) (16 . 11)) 5303 0.9272 4.6008 ((4 . 1) (5 . 2) (6 . 3) (7 . 7) (9 . 16) (10 . 17) (11 . 19) (12 . 21) (13 . 26) (14 . 27) (15 . 36) (16 . 37) (17 . 38)) 5309 0.5714 3.1034 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (10 . 7) (11 . 8) (12 . 9) (14 . 13)) 5334 0.4285 6.2181 ((9 . 2) (10 . 3) (11 . 4) (12 . 6) (13 . 7) (14 . 9)) 5335 0.3571 7.1180 ((5 . 13) (6 . 14) (9 . 15) (10 . 17) (11 . 18)) 5337 0.4285 4.8291 ((6 . 1) (9 . 2) (10 . 3) (11 . 4) (12 . 5) (14 . 10)) 5339 0.2857 6.8748 ((9 . 4) (12 . 7) (15 . 12) (16 . 13)) 5347 0.6067 3.7957 ((4 . 1) (5 . 2) (6 . 3) (9 . 8) (10 . 9) (11 . 10) (12 . 11) (13 . 14) (14 . 15)) 5506 0.2857 8.2604 ((6 . 3) (7 . 4) (9 . 5) (10 . 6)) 5517 0.2857 4.4439 ((13 . 17) (14 . 18) (15 . 19) (16 . 21)) 5534 0.4285 4.8091 ((5 . 2) (9 . 5) (11 . 7) (12 . 8) (13 . 10) (14 . 11)) 5588 0.4286 3.5191 ((4 . 39) (5 . 40) (6 . 41) (9 . 43) (10 . 44) (14 . 50)) 5594 0.4609 3.9878 ((4 . 1) (5 . 2) (6 . 3) (10 . 4) (11 . 5) (12 . 6) (13 . 7) (14 . 9) (15 . 10) (16 . 12)) 5620 0.4283 8.1698 ((4 . 1) (5 . 2) (11 . 3) (12 . 4) (13 . 5) (15 . 9)) 5645 0.4285 4.5382 ((4 . 15) (5 . 16) (6 . 17) (10 . 24) (11 . 26) (14 . 29)) 5725 0.3570 8.0574 ((7 . 7) (9 . 8) (10 . 9) (11 . 11) (12 . 12)) 5732 0.5714 3.8121 ((4 . 2) (5 . 3) (6 . 4) (9 . 9) (10 . 12) (11 . 13) (12 . 14) (14 . 18)) 5946 0.4285 5.6774 ((9 . 1) (10 . 2) (11 . 3) (12 . 5) (13 . 6) (14 . 7)) 5947 0.4286 3.8579 ((4 . 28) (5 . 30) (6 . 31) (10 . 43) (11 . 46) (12 . 47)) 5979 0.4286 3.7638 ((6 . 11) (9 . 18) (11 . 20) (12 . 22) (13 . 23) (14 . 24)) 5999 0.5711 6.1541 ((4 . 1) (5 . 2) (6 . 3) (9 . 10) (10 . 11) (12 . 13) (14 . 17) (15 . 18)) 6031 0.5714 3.4013 ((4 . 1) (5 . 2) (6 . 5) (9 . 9) (10 . 12) (11 . 13) (12 . 14) (14 . 19)) 6048 0.4284 7.2321 ((4 . 4) (5 . 5) (7 . 8) (10 . 10) (12 . 15) (16 . 20)) 6216 0.4285 5.3022 ((4 . 4) (7 . 7) (10 . 12) (11 . 14) (12 . 15) (14 . 17)) 6245 0.6426 4.9784 ((4 . 1) (5 . 2) (6 . 3) (9 . 8) (10 . 9) (11 . 10) (12 . 11) (13 . 14) (14 . 15)) 6262 0.6421 6.4744 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (10 . 7) (11 . 9) (12 . 10) (14 . 14) (15 . 15)) 6307 0.6426 4.8254 ((4 . 2) (5 . 3) (6 . 4) (10 . 8) (11 . 10) (12 . 11) (13 . 17) (14 . 19) (15 . 26)) 6372 0.5000 3.8143 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (10 . 8) (11 . 9) (12 . 10)) 6392 0.5714 2.6041 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (10 . 7) (11 . 8) (12 . 9) (14 . 15)) 6522 0.4286 4.1592 ((4 . 6) (5 . 7) (6 . 8) (9 . 12) (10 . 13) (14 . 19)) 6557 0.5000 3.4673 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (10 . 8) (11 . 9) (12 . 10)) 6593 0.4285 5.2846 ((6 . 1) (9 . 5) (11 . 7) (12 . 8) (13 . 10) (14 . 11)) 6616 0.5209 4.5716 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (10 . 7) (11 . 9) (12 . 10) (13 . 12) (14 . 13)) END