5082 42 0.3750 4.6652 ((1 . 11) (2 . 12) (3 . 13) (4 . 14) (8 . 18) (9 . 19)) 265 0.5000 3.6845 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (15 . 11)) 312 0.3750 3.7630 ((2 . 1) (3 . 2) (4 . 3) (9 . 7) (11 . 8) (15 . 10)) 319 0.6872 4.7877 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 8) (11 . 9) (12 . 10) (15 . 12)) 352 0.5000 2.7187 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (15 . 12)) 377 0.6873 4.4282 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 7) (7 . 8) (8 . 9) (9 . 10) (11 . 11) (12 . 12) (15 . 13)) 506 0.6225 5.2829 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (5 . 16) (7 . 18) (8 . 19) (9 . 20) (14 . 22) (16 . 25)) 707 0.5000 3.2285 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (15 . 11)) 781 0.4375 3.3881 ((2 . 1) (3 . 2) (4 . 3) (6 . 4) (7 . 5) (8 . 6) (15 . 9)) 847 0.4375 4.4807 ((2 . 1) (3 . 2) (4 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 10)) 873 0.6874 3.8091 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 11) (11 . 12) (12 . 13) (15 . 14)) 906 0.3750 4.5778 ((1 . 2) (2 . 3) (4 . 6) (8 . 8) (11 . 10) (15 . 13)) 972 0.5000 3.2975 ((1 . 10) (2 . 14) (3 . 15) (4 . 16) (8 . 19) (9 . 21) (11 . 22) (15 . 24)) 1053 0.3125 5.5809 ((4 . 1) (6 . 3) (7 . 4) (8 . 5) (15 . 8)) 1071 0.4375 3.0501 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (11 . 7)) 1094 0.3750 3.8574 ((2 . 1) (3 . 2) (4 . 3) (9 . 6) (11 . 7) (15 . 10)) 1117 0.4999 4.8876 ((1 . 10) (2 . 11) (3 . 12) (4 . 13) (8 . 17) (11 . 18) (15 . 20) (17 . 21)) 1189 0.5000 3.7975 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (15 . 10)) 1219 0.4372 8.1734 ((1 . 2) (2 . 11) (3 . 14) (4 . 16) (5 . 18) (8 . 19) (12 . 20)) 1221 0.5000 2.9556 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (15 . 13)) 1242 0.4375 3.3468 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (8 . 7) (15 . 10)) 1355 0.6862 4.7924 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 10) (12 . 11) (15 . 13)) 1436 0.8120 2.4177 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (5 . 19) (6 . 20) (7 . 21) (8 . 22) (9 . 23) (11 . 25) (14 . 26) (15 . 27) (17 . 29)) 1487 0.5000 2.5698 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (8 . 7) (9 . 8) (11 . 9) (15 . 11)) 1531 0.3750 3.2781 ((2 . 1) (3 . 2) (4 . 3) (7 . 5) (8 . 6) (15 . 8)) 1560 0.4375 3.1469 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (11 . 8)) 1804 0.4375 2.7543 ((2 . 12) (3 . 13) (4 . 14) (5 . 15) (8 . 18) (11 . 20) (15 . 23)) 1807 0.5000 3.3080 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (15 . 12)) 1809 0.4375 3.1089 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (11 . 7)) 1899 0.7431 5.3027 ((1 . 11) (2 . 12) (3 . 13) (4 . 14) (5 . 15) (7 . 17) (8 . 18) (9 . 19) (11 . 20) (12 . 21) (15 . 22) (16 . 23)) 1922 0.3125 4.9896 ((1 . 2) (7 . 10) (8 . 11) (9 . 12) (15 . 15)) 1948 0.4375 4.0218 ((1 . 15) (2 . 16) (3 . 17) (6 . 22) (8 . 24) (11 . 26) (15 . 28)) 1956 0.7999 3.5782 ((1 . 14) (2 . 15) (3 . 16) (4 . 17) (5 . 18) (6 . 19) (7 . 21) (8 . 22) (9 . 23) (11 . 24) (13 . 25) (14 . 26) (15 . 27) (16 . 28) (17 . 29)) 2004 0.4375 2.7272 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (7 . 6) (8 . 7) (15 . 10)) 2016 0.7270 5.1315 ((1 . 21) (2 . 22) (3 . 23) (4 . 25) (5 . 27) (7 . 28) (8 . 29) (9 . 30) (11 . 31) (14 . 33) (15 . 34) (17 . 41)) 2017 0.5000 3.4805 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (15 . 11)) 2046 0.8120 2.9207 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (5 . 19) (6 . 20) (7 . 21) (8 . 22) (9 . 23) (11 . 25) (14 . 26) (15 . 27) (17 . 28)) 2090 0.5000 3.2280 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (15 . 12)) 2095 0.3125 4.8341 ((1 . 6) (3 . 9) (4 . 10) (5 . 11) (6 . 12)) 2180 0.4375 2.5619 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 6) (7 . 7) (11 . 8)) 2189 0.4373 7.4845 ((2 . 1) (3 . 6) (4 . 7) (5 . 8) (6 . 9) (7 . 11) (9 . 16)) 2194 0.8700 2.6560 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (5 . 19) (6 . 20) (7 . 22) (8 . 23) (9 . 24) (11 . 25) (13 . 26) (14 . 27) (15 . 28) (17 . 30)) 2270 0.4374 5.8509 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (7 . 22) (11 . 24) (15 . 28)) 2309 0.3750 3.0073 ((1 . 16) (2 . 18) (3 . 19) (4 . 20) (11 . 24) (15 . 28)) 2316 0.5622 5.8855 ((2 . 1) (3 . 2) (4 . 3) (5 . 6) (6 . 7) (7 . 9) (8 . 10) (9 . 12) (15 . 20)) 2328 0.6872 4.8524 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 8) (11 . 9) (12 . 10) (15 . 11)) 2330 0.6872 4.7092 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 9) (11 . 10) (12 . 11) (15 . 13)) 2368 0.4375 3.2304 ((2 . 1) (4 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (15 . 11)) 2376 0.3895 9.8342 ((1 . 4) (2 . 7) (3 . 8) (4 . 9) (7 . 10) (8 . 11) (9 . 16)) 2463 0.7411 3.3982 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 8) (11 . 9) (12 . 10) (15 . 11) (16 . 12)) 2615 0.3750 3.4342 ((2 . 2) (6 . 4) (8 . 9) (9 . 11) (11 . 12) (15 . 14)) 2657 0.5000 3.2889 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (15 . 11)) 2674 0.8602 2.3061 ((1 . 11) (2 . 12) (3 . 13) (4 . 14) (5 . 16) (6 . 17) (7 . 18) (8 . 19) (9 . 20) (11 . 22) (14 . 23) (15 . 24) (16 . 25) (17 . 26)) 2725 0.6031 4.1536 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (7 . 6) (8 . 7) (9 . 8) (11 . 9) (14 . 10) (15 . 11)) 2736 0.3750 4.3233 ((4 . 1) (5 . 2) (6 . 3) (8 . 5) (9 . 6) (15 . 10)) 2781 0.5000 3.4701 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (15 . 12)) 2789 0.6203 3.7035 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 9) (11 . 10) (15 . 14)) 3017 0.8124 3.0793 ((1 . 14) (2 . 15) (3 . 16) (4 . 17) (5 . 18) (6 . 19) (7 . 21) (8 . 22) (9 . 23) (11 . 25) (13 . 26) (15 . 28) (17 . 29)) 3059 0.5000 3.9785 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (15 . 11)) 3072 0.7496 2.7816 ((1 . 19) (2 . 20) (3 . 21) (4 . 22) (5 . 23) (6 . 24) (7 . 25) (8 . 26) (11 . 30) (14 . 31) (15 . 32) (17 . 33)) 3144 0.5000 2.8941 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (15 . 11)) 3192 0.4374 6.5725 ((2 . 1) (3 . 6) (4 . 7) (5 . 8) (6 . 9) (7 . 11) (9 . 18)) 3257 0.3750 4.9679 ((2 . 1) (3 . 2) (4 . 3) (7 . 4) (8 . 5) (9 . 7)) 3385 0.8120 2.9000 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (5 . 20) (6 . 21) (7 . 22) (8 . 23) (9 . 25) (11 . 27) (14 . 29) (15 . 30) (17 . 31)) 3414 0.4999 4.5880 ((2 . 1) (3 . 2) (4 . 3) (8 . 7) (9 . 8) (11 . 9) (12 . 10) (15 . 11)) 3481 0.4375 2.6233 ((2 . 2) (3 . 3) (4 . 4) (6 . 8) (8 . 10) (9 . 11) (11 . 12)) 3561 0.6365 4.4621 ((1 . 17) (2 . 20) (3 . 21) (4 . 22) (5 . 23) (7 . 25) (8 . 26) (9 . 27) (11 . 28) (12 . 29) (13 . 30) (15 . 31) (16 . 32)) 3593 0.3125 6.7367 ((1 . 3) (4 . 8) (5 . 9) (6 . 10) (8 . 12)) 3606 0.7486 5.6989 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 8) (11 . 9) (12 . 10) (15 . 12) (17 . 13)) 3610 0.5930 5.0126 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (5 . 16) (7 . 18) (8 . 19) (9 . 20) (14 . 22) (16 . 25)) 3633 0.6249 3.6384 ((1 . 19) (2 . 20) (3 . 21) (4 . 22) (5 . 23) (7 . 25) (8 . 26) (9 . 27) (11 . 28) (15 . 32)) 3637 0.6871 5.0414 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 9) (7 . 11) (8 . 12) (9 . 16) (11 . 17) (12 . 18) (14 . 19)) 3677 0.6366 4.3024 ((2 . 5) (3 . 6) (4 . 8) (5 . 9) (6 . 10) (7 . 11) (8 . 12) (9 . 13) (11 . 14) (12 . 15) (15 . 16) (16 . 17) (17 . 18)) 3722 0.7100 3.6265 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 8) (11 . 9) (12 . 10) (15 . 11) (16 . 12)) 3724 0.6941 3.8926 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 8) (9 . 9) (11 . 10) (12 . 11) (15 . 12) (16 . 13)) 3734 0.7495 4.8904 ((1 . 9) (2 . 10) (3 . 11) (4 . 12) (5 . 13) (6 . 14) (7 . 15) (8 . 16) (9 . 17) (11 . 18) (15 . 20) (17 . 21)) 3854 0.6873 4.2019 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 9) (11 . 10) (12 . 11) (15 . 13)) 4047 0.6874 3.3846 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 10) (12 . 11) (15 . 13)) 4067 0.4375 1.9504 ((2 . 14) (3 . 15) (4 . 16) (5 . 17) (8 . 20) (11 . 22) (15 . 24)) 4131 0.5000 3.0282 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (15 . 11)) 4341 0.4375 2.7941 ((2 . 4) (3 . 5) (4 . 6) (5 . 7) (8 . 10) (9 . 12) (12 . 14)) 4351 0.6871 5.0751 ((1 . 11) (2 . 12) (3 . 13) (4 . 14) (5 . 15) (6 . 16) (8 . 17) (9 . 18) (11 . 19) (15 . 21) (17 . 22)) 4404 0.3749 6.6151 ((1 . 2) (3 . 6) (4 . 8) (5 . 9) (6 . 10) (9 . 11)) 4409 0.6867 5.3107 ((1 . 11) (2 . 12) (3 . 13) (4 . 14) (5 . 15) (6 . 17) (8 . 18) (11 . 19) (12 . 20) (15 . 21) (17 . 22)) 4417 0.3750 3.4229 ((2 . 1) (6 . 4) (8 . 7) (9 . 8) (11 . 9) (15 . 12)) 4430 0.5000 2.8678 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (15 . 10)) 4447 0.6872 4.6493 ((1 . 11) (2 . 12) (3 . 13) (4 . 14) (5 . 15) (6 . 16) (7 . 17) (8 . 18) (11 . 21) (12 . 22) (15 . 23)) 4499 0.5000 2.9578 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (15 . 11)) 4520 0.6872 4.9344 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 8) (11 . 9) (12 . 10) (15 . 12)) 4549 0.7494 2.8814 ((1 . 12) (2 . 14) (3 . 15) (4 . 16) (5 . 17) (6 . 18) (8 . 20) (9 . 21) (11 . 23) (14 . 24) (15 . 25) (17 . 26)) 4573 0.5000 3.9990 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (15 . 11)) 4585 0.6873 4.3580 ((2 . 1) (3 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 10) (11 . 11) (12 . 12) (15 . 13)) 4588 0.3125 3.5118 ((2 . 1) (3 . 2) (4 . 3) (11 . 11) (15 . 13)) 4668 0.6249 4.0771 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (7 . 6) (8 . 7) (9 . 8) (11 . 9) (12 . 10) (15 . 11)) 4730 0.3750 3.5841 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 9)) 4739 0.4375 3.1403 ((2 . 1) (3 . 2) (4 . 3) (6 . 4) (7 . 5) (8 . 6) (15 . 9)) 4765 0.5000 3.5717 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (15 . 10)) 4863 0.3124 10.5682 ((1 . 19) (2 . 20) (8 . 23) (9 . 24) (11 . 25)) 4943 0.4375 3.0875 ((4 . 1) (6 . 3) (7 . 4) (8 . 5) (9 . 6) (11 . 7) (15 . 9)) 5029 0.5625 3.0651 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 10)) 5045 0.8120 2.5134 ((1 . 17) (2 . 18) (3 . 19) (4 . 20) (5 . 21) (6 . 22) (7 . 23) (8 . 24) (9 . 25) (11 . 26) (14 . 27) (15 . 28) (17 . 29)) 5082 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) (16 . 16) (17 . 17)) 5097 0.5000 3.2614 ((1 . 10) (2 . 13) (3 . 14) (4 . 15) (8 . 18) (9 . 19) (11 . 20) (15 . 22)) 5140 0.4375 2.9533 ((2 . 1) (3 . 2) (4 . 3) (5 . 5) (7 . 7) (8 . 8) (15 . 11)) 5227 0.5000 2.9169 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (15 . 11)) 5362 0.3750 4.3368 ((2 . 1) (3 . 2) (4 . 3) (9 . 7) (11 . 8) (15 . 10)) 5387 0.4375 4.9413 ((2 . 4) (3 . 5) (4 . 6) (5 . 7) (6 . 9) (8 . 11) (17 . 19)) 5406 0.7500 1.9945 ((1 . 11) (2 . 12) (3 . 13) (4 . 14) (5 . 15) (6 . 16) (7 . 17) (8 . 18) (9 . 19) (11 . 21) (15 . 23) (17 . 25)) 5409 0.4375 2.6294 ((2 . 9) (3 . 10) (4 . 11) (8 . 13) (9 . 14) (11 . 15) (15 . 18)) 5444 0.5000 2.9577 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (15 . 13)) 5493 0.3750 4.8903 ((1 . 6) (2 . 7) (3 . 9) (4 . 10) (5 . 11) (6 . 12)) 5571 0.4375 3.0238 ((2 . 1) (3 . 2) (4 . 3) (6 . 5) (7 . 6) (8 . 7) (15 . 10)) 5654 0.8746 2.9524 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (5 . 20) (6 . 21) (7 . 22) (8 . 23) (9 . 24) (11 . 26) (13 . 27) (14 . 28) (15 . 29) (17 . 30)) 5665 0.4375 2.7652 ((2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (15 . 11)) 5786 0.6874 3.2766 ((1 . 15) (2 . 17) (3 . 18) (4 . 19) (5 . 20) (6 . 21) (7 . 22) (8 . 23) (9 . 24) (11 . 25) (15 . 27)) 5838 0.5000 2.9701 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 6) (7 . 7) (8 . 8) (15 . 11)) 5877 0.6872 4.7179 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 8) (11 . 9) (12 . 10) (15 . 12)) 5942 0.6871 4.9582 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 9) (11 . 10) (12 . 11) (15 . 12)) 5954 0.4375 2.7836 ((2 . 1) (3 . 2) (4 . 3) (6 . 4) (7 . 5) (8 . 6) (15 . 9)) 6085 0.6873 4.2592 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 10) (12 . 11) (15 . 13)) 6114 0.8120 2.9205 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (5 . 19) (6 . 20) (7 . 21) (8 . 22) (9 . 23) (11 . 25) (14 . 26) (15 . 27) (17 . 28)) 6257 0.6872 4.9355 ((1 . 11) (2 . 12) (3 . 13) (4 . 14) (5 . 15) (6 . 16) (7 . 17) (8 . 18) (11 . 20) (15 . 22) (17 . 23)) 6274 0.8707 2.9378 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (5 . 19) (6 . 20) (7 . 21) (8 . 22) (9 . 23) (11 . 25) (13 . 26) (14 . 27) (15 . 28) (17 . 29)) 6276 0.8121 2.5385 ((1 . 14) (2 . 15) (3 . 16) (4 . 17) (5 . 18) (6 . 19) (7 . 20) (8 . 21) (9 . 22) (11 . 24) (14 . 25) (15 . 26) (17 . 28)) 6292 0.3125 5.9314 ((1 . 10) (3 . 11) (4 . 12) (5 . 13) (6 . 14)) 6341 0.3875 4.3507 ((2 . 7) (3 . 8) (4 . 9) (8 . 12) (9 . 13) (11 . 14) (15 . 15) (16 . 16)) 6388 0.6246 5.7077 ((2 . 1) (3 . 2) (4 . 3) (5 . 6) (6 . 7) (7 . 10) (8 . 11) (9 . 13) (11 . 14) (15 . 18)) 6420 0.6873 4.2711 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 9) (11 . 10) (12 . 11) (15 . 13)) 6426 0.6248 4.5602 ((2 . 1) (3 . 2) (4 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (11 . 8) (12 . 9) (15 . 10)) 6497 0.6536 4.2516 ((1 . 11) (2 . 14) (3 . 15) (4 . 16) (5 . 17) (7 . 19) (8 . 20) (9 . 21) (11 . 22) (14 . 24) (15 . 25)) 6505 0.4375 3.1038 ((2 . 1) (3 . 2) (4 . 3) (7 . 6) (8 . 7) (11 . 9) (15 . 11)) 6627 0.6874 3.6021 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 10) (11 . 11) (12 . 12) (15 . 14)) END