3637 42 0.2000 5.4423 ((4 . 11) (5 . 12) (6 . 13) (9 . 16)) 265 0.5499 4.5132 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (16 . 9) (17 . 11) (20 . 20) (23 . 21)) 312 0.3000 3.4424 ((3 . 1) (4 . 2) (5 . 3) (11 . 7) (12 . 8) (17 . 14)) 319 0.4999 4.6781 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (15 . 8) (17 . 9) (18 . 10)) 352 0.5499 5.1630 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (15 . 9) (16 . 10) (17 . 12) (20 . 21)) 377 0.3999 4.4485 ((4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (12 . 9) (15 . 12)) 506 0.2910 7.3434 ((11 . 12) (12 . 13) (16 . 14) (17 . 15) (18 . 16) (24 . 22)) 707 0.5499 5.1556 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (16 . 10) (17 . 11) (18 . 13) (20 . 19)) 781 0.4998 4.7163 ((3 . 1) (4 . 2) (5 . 3) (9 . 4) (11 . 5) (12 . 6) (16 . 8) (17 . 9) (18 . 11) (20 . 19)) 847 0.3000 6.2096 ((3 . 1) (4 . 2) (12 . 6) (16 . 7) (17 . 8) (20 . 10)) 873 0.5998 4.8319 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 6) (11 . 7) (12 . 8) (16 . 11) (17 . 12) (18 . 13) (23 . 16) (24 . 17)) 906 0.3000 2.5561 ((3 . 1) (4 . 2) (5 . 3) (9 . 6) (12 . 8) (17 . 13)) 972 0.3121 5.9984 ((3 . 14) (4 . 15) (5 . 16) (11 . 18) (12 . 19) (16 . 21) (17 . 22) (20 . 24) (23 . 27)) 1053 0.2500 6.5672 ((4 . 2) (6 . 4) (12 . 8) (16 . 11) (17 . 12)) 1071 0.5498 5.4305 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (16 . 9) (17 . 11) (18 . 12) (20 . 18)) 1094 0.4201 4.8065 ((3 . 1) (4 . 2) (5 . 3) (9 . 4) (11 . 6) (12 . 7) (16 . 9) (17 . 10) (19 . 12)) 1117 0.2801 4.8405 ((3 . 11) (4 . 12) (5 . 13) (9 . 14) (11 . 16) (12 . 18) (16 . 19) (17 . 20)) 1189 0.4981 6.9868 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (16 . 9) (17 . 10) (18 . 12) (20 . 20) (21 . 26)) 1219 0.3405 5.7683 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 6) (11 . 10) (12 . 11) (16 . 14) (17 . 16) (18 . 18) (20 . 19) (23 . 23)) 1221 0.5483 5.6184 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (16 . 11) (17 . 13) (18 . 14) (20 . 19)) 1242 0.2797 5.5181 ((3 . 1) (4 . 2) (5 . 3) (9 . 5) (11 . 6) (12 . 7) (16 . 9) (17 . 10) (18 . 13) (20 . 15) (24 . 19)) 1355 0.6378 5.7331 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 6) (11 . 7) (12 . 8) (16 . 9) (17 . 10) (18 . 11) (20 . 13) (23 . 14) (24 . 15)) 1436 0.5494 5.6416 ((3 . 16) (4 . 17) (5 . 18) (6 . 19) (9 . 20) (11 . 21) (12 . 22) (16 . 23) (17 . 25) (19 . 26) (20 . 27)) 1487 0.5031 4.6699 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (16 . 8) (17 . 9) (19 . 10) (24 . 33)) 1531 0.3496 7.6454 ((3 . 6) (4 . 7) (5 . 8) (6 . 11) (12 . 15) (17 . 18) (18 . 19)) 1560 0.5996 6.0551 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (9 . 6) (11 . 7) (12 . 8) (15 . 9) (16 . 10) (17 . 11) (18 . 13) (20 . 19)) 1804 0.2500 4.5412 ((5 . 12) (6 . 13) (11 . 17) (12 . 20) (17 . 25)) 1807 0.5499 4.9005 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (9 . 6) (11 . 7) (12 . 8) (15 . 10) (16 . 11) (17 . 12) (20 . 20)) 1809 0.5497 5.2894 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (16 . 10) (17 . 11) (18 . 13) (20 . 19)) 1899 0.2500 3.4667 ((3 . 12) (4 . 13) (5 . 14) (6 . 15) (12 . 20)) 1922 0.3000 4.3816 ((3 . 1) (4 . 2) (5 . 6) (12 . 11) (16 . 14) (17 . 15)) 1948 0.3060 4.3360 ((3 . 16) (4 . 17) (5 . 18) (9 . 19) (11 . 23) (12 . 24) (16 . 25) (17 . 26) (19 . 27)) 1956 0.3967 4.5421 ((3 . 15) (4 . 16) (5 . 17) (6 . 18) (9 . 19) (11 . 20) (12 . 22) (16 . 23) (17 . 24) (19 . 26)) 2004 0.2000 3.8942 ((11 . 15) (12 . 16) (16 . 23) (17 . 24)) 2016 0.4500 4.8224 ((3 . 22) (4 . 23) (5 . 25) (11 . 28) (12 . 29) (16 . 30) (17 . 31) (18 . 33) (20 . 34)) 2017 0.3000 6.4533 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (16 . 13) (17 . 14)) 2046 0.4999 4.7935 ((3 . 16) (4 . 17) (5 . 18) (6 . 19) (9 . 20) (11 . 21) (12 . 22) (16 . 23) (17 . 25) (19 . 26)) 2090 0.5499 4.8713 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (9 . 6) (11 . 7) (12 . 8) (15 . 10) (16 . 11) (17 . 12) (20 . 22)) 2095 0.3000 5.8876 ((5 . 2) (6 . 4) (9 . 5) (12 . 12) (16 . 13) (17 . 14)) 2180 0.5997 5.7086 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 6) (11 . 7) (12 . 8) (15 . 10) (16 . 11) (17 . 12) (18 . 14) (20 . 19)) 2189 0.4999 4.9337 ((3 . 1) (4 . 2) (5 . 3) (9 . 5) (11 . 6) (12 . 7) (16 . 8) (17 . 9) (18 . 11) (20 . 17)) 2194 0.4990 4.6286 ((3 . 16) (4 . 17) (5 . 18) (6 . 19) (9 . 20) (11 . 22) (12 . 23) (16 . 24) (17 . 25) (19 . 27)) 2270 0.2500 3.1018 ((3 . 17) (4 . 18) (5 . 19) (12 . 24) (17 . 28)) 2309 0.3119 4.2623 ((3 . 18) (4 . 19) (5 . 20) (9 . 21) (12 . 24) (16 . 25) (17 . 26) (19 . 27)) 2316 0.5994 5.8651 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (15 . 8) (16 . 9) (17 . 10) (18 . 12) (20 . 20)) 2328 0.4999 5.3235 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (15 . 8) (17 . 9) (18 . 10)) 2330 0.4999 4.8148 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (15 . 9) (17 . 10) (18 . 11)) 2368 0.5497 6.0226 ((3 . 1) (4 . 2) (5 . 3) (6 . 5) (9 . 6) (11 . 7) (12 . 8) (15 . 10) (17 . 11) (18 . 15) (20 . 17)) 2376 0.2500 3.6800 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (12 . 9)) 2463 0.4998 3.9254 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (16 . 8) (17 . 9) (18 . 10)) 2615 0.2994 3.5392 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (11 . 11) (12 . 12)) 2657 0.5996 6.0026 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (15 . 9) (16 . 10) (17 . 11) (18 . 13) (20 . 19)) 2674 0.5072 6.0436 ((3 . 12) (4 . 13) (5 . 14) (6 . 16) (9 . 17) (11 . 18) (12 . 19) (16 . 20) (17 . 22) (19 . 23) (20 . 24)) 2725 0.4999 4.8352 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (11 . 6) (12 . 7) (15 . 8) (17 . 9) (18 . 10) (23 . 14)) 2736 0.3370 5.0452 ((3 . 1) (4 . 2) (5 . 3) (12 . 5) (16 . 6) (18 . 8) (19 . 9)) 2781 0.5995 6.2891 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (15 . 9) (16 . 10) (17 . 12) (18 . 14) (20 . 20)) 2789 0.4783 4.7888 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (15 . 8) (16 . 9) (17 . 10) (18 . 13) (23 . 16)) 3017 0.4997 4.8784 ((3 . 15) (4 . 16) (5 . 17) (6 . 18) (9 . 19) (11 . 21) (12 . 22) (16 . 23) (17 . 25) (19 . 27)) 3059 0.4976 4.6418 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (16 . 10) (17 . 11) (20 . 18)) 3072 0.4500 3.6883 ((3 . 20) (4 . 21) (5 . 22) (6 . 23) (9 . 24) (11 . 25) (12 . 26) (17 . 30) (19 . 31)) 3144 0.5499 4.6437 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (15 . 9) (16 . 10) (17 . 11) (20 . 19)) 3192 0.5499 4.7860 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (16 . 8) (17 . 9) (18 . 11) (20 . 20)) 3257 0.2500 6.5970 ((3 . 5) (4 . 7) (5 . 9) (9 . 12) (16 . 18)) 3385 0.4312 5.7932 ((3 . 17) (4 . 18) (5 . 19) (6 . 20) (9 . 21) (11 . 22) (12 . 23) (15 . 24) (16 . 25) (17 . 27) (20 . 30)) 3414 0.6233 6.3007 ((3 . 1) (4 . 2) (5 . 3) (7 . 4) (9 . 5) (11 . 6) (12 . 7) (15 . 8) (17 . 9) (18 . 10) (20 . 11) (22 . 13) (23 . 14)) 3481 0.3983 4.6035 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (9 . 8) (12 . 10) (16 . 11) (17 . 12)) 3561 0.3983 3.3724 ((3 . 20) (4 . 21) (5 . 22) (6 . 23) (11 . 25) (12 . 26) (16 . 27) (17 . 28)) 3593 0.3346 6.4199 ((3 . 1) (4 . 2) (5 . 4) (11 . 7) (12 . 8) (16 . 9) (17 . 10) (20 . 12) (24 . 25)) 3606 0.4984 4.8694 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (15 . 8) (17 . 9) (18 . 10)) 3610 0.2615 4.1210 ((3 . 13) (4 . 14) (5 . 15) (6 . 16) (11 . 18) (12 . 19) (16 . 20) (19 . 22)) 3633 0.2801 4.0566 ((3 . 20) (4 . 21) (5 . 22) (11 . 25) (12 . 26) (16 . 27) (17 . 28) (18 . 29)) 3637 1.0000 0.0000 ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 11) (12 . 12) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (22 . 22) (23 . 23) (24 . 24)) 3677 0.5994 6.3920 ((3 . 5) (4 . 6) (5 . 8) (6 . 9) (9 . 10) (11 . 11) (12 . 12) (16 . 13) (17 . 14) (18 . 15) (20 . 16) (23 . 19)) 3722 0.4998 4.0128 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (16 . 8) (17 . 9) (18 . 10)) 3724 0.5394 4.9711 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 8) (16 . 9) (17 . 10) (18 . 11) (20 . 12)) 3734 0.3734 3.7460 ((3 . 10) (4 . 11) (5 . 12) (6 . 13) (9 . 14) (11 . 15) (12 . 16) (17 . 18)) 3854 0.6434 4.6705 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (15 . 8) (16 . 9) (17 . 10) (18 . 11) (20 . 13) (23 . 15)) 4047 0.6496 5.2635 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 6) (11 . 7) (12 . 8) (16 . 9) (17 . 10) (18 . 12) (20 . 13) (23 . 15) (24 . 16)) 4067 0.2500 3.8767 ((3 . 14) (4 . 15) (5 . 16) (6 . 17) (12 . 22)) 4131 0.3064 5.9546 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (15 . 8) (16 . 9) (17 . 11) (19 . 15)) 4341 0.6334 5.8486 ((3 . 4) (4 . 5) (5 . 6) (6 . 7) (9 . 8) (11 . 9) (12 . 10) (15 . 11) (16 . 12) (17 . 13) (20 . 15) (21 . 16) (23 . 17)) 4351 0.3000 4.7109 ((3 . 12) (4 . 13) (5 . 14) (6 . 15) (11 . 18) (12 . 19)) 4404 0.2999 11.0568 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (12 . 10) (15 . 11)) 4409 0.2523 7.0339 ((11 . 11) (12 . 12) (16 . 13) (17 . 14) (18 . 15) (24 . 20)) 4417 0.2500 7.7978 ((5 . 1) (9 . 4) (11 . 6) (16 . 11) (17 . 12)) 4430 0.5477 5.1996 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (16 . 9) (17 . 10) (18 . 12) (20 . 18)) 4447 0.2500 3.6596 ((3 . 12) (4 . 13) (5 . 14) (6 . 15) (12 . 21)) 4499 0.5499 4.3351 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (15 . 9) (16 . 10) (17 . 11) (20 . 19)) 4520 0.4999 5.0951 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (15 . 8) (17 . 9) (18 . 10)) 4549 0.4000 4.0167 ((3 . 14) (4 . 15) (5 . 16) (6 . 17) (9 . 18) (12 . 20) (16 . 21) (17 . 23)) 4573 0.2500 4.7802 ((6 . 4) (12 . 7) (15 . 9) (16 . 10) (17 . 11)) 4585 0.4976 4.8093 ((3 . 1) (4 . 2) (5 . 4) (6 . 5) (9 . 6) (11 . 7) (12 . 8) (16 . 10) (17 . 11) (18 . 12)) 4588 0.3962 4.5021 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 9) (12 . 11) (16 . 12) (17 . 13)) 4668 0.3952 4.2292 ((3 . 1) (4 . 2) (5 . 3) (9 . 5) (11 . 6) (12 . 7) (16 . 8) (17 . 9)) 4730 0.4365 4.3405 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 8) (12 . 9) (16 . 10) (17 . 11)) 4739 0.3000 6.5073 ((3 . 1) (4 . 2) (6 . 5) (12 . 9) (16 . 11) (17 . 12)) 4765 0.2500 3.9765 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (20 . 15)) 4863 0.3346 6.6017 ((3 . 5) (4 . 6) (5 . 14) (6 . 18) (11 . 19) (12 . 20) (16 . 22) (17 . 23) (18 . 24)) 4943 0.2500 6.4485 ((6 . 2) (9 . 3) (12 . 5) (16 . 8) (17 . 9)) 5029 0.4251 4.4382 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (9 . 6) (11 . 7) (12 . 8) (16 . 9) (17 . 10)) 5045 0.4718 5.4872 ((3 . 18) (4 . 19) (5 . 20) (6 . 21) (9 . 22) (11 . 23) (12 . 24) (16 . 25) (17 . 26) (20 . 28)) 5082 0.5499 5.0414 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (9 . 6) (11 . 7) (12 . 8) (16 . 9) (17 . 11) (18 . 12) (19 . 14)) 5097 0.3121 6.1066 ((3 . 13) (4 . 14) (5 . 15) (11 . 17) (12 . 18) (16 . 19) (17 . 20) (20 . 22) (23 . 24)) 5140 0.3000 5.7874 ((3 . 1) (4 . 2) (6 . 7) (12 . 11) (16 . 13) (17 . 14)) 5227 0.5499 4.7802 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (15 . 9) (16 . 10) (17 . 11) (20 . 19)) 5362 0.2500 3.2741 ((3 . 1) (4 . 2) (5 . 3) (12 . 8) (17 . 13)) 5387 0.5492 4.4858 ((3 . 4) (4 . 5) (5 . 6) (6 . 7) (9 . 9) (11 . 10) (12 . 11) (16 . 13) (17 . 14) (20 . 16) (23 . 18)) 5406 0.4500 4.4870 ((3 . 12) (4 . 13) (5 . 14) (6 . 15) (9 . 16) (11 . 17) (12 . 18) (16 . 19) (17 . 21)) 5409 0.3237 3.3352 ((3 . 9) (4 . 10) (5 . 11) (11 . 12) (12 . 13) (16 . 14) (17 . 15)) 5444 0.5481 5.5638 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (16 . 11) (17 . 13) (18 . 15) (20 . 21)) 5493 0.4998 4.7288 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (16 . 9) (17 . 12) (20 . 16)) 5571 0.3018 5.5374 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (16 . 9) (17 . 10) (20 . 13) (23 . 19)) 5654 0.5466 5.6657 ((3 . 17) (4 . 18) (5 . 19) (6 . 20) (9 . 21) (11 . 22) (12 . 23) (16 . 24) (17 . 26) (19 . 28) (20 . 29)) 5665 0.4997 5.3319 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (9 . 6) (11 . 7) (12 . 8) (16 . 10) (17 . 11) (20 . 23)) 5786 0.4496 3.1495 ((3 . 17) (4 . 18) (5 . 19) (6 . 20) (9 . 21) (11 . 22) (12 . 23) (16 . 24) (17 . 25)) 5838 0.4999 5.4680 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 6) (11 . 7) (12 . 8) (16 . 10) (17 . 11) (18 . 12)) 5877 0.4998 5.4197 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (15 . 8) (17 . 9) (18 . 10)) 5942 0.4999 5.2512 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (15 . 9) (17 . 10) (18 . 11)) 5954 0.5264 6.3756 ((3 . 1) (4 . 2) (5 . 3) (9 . 4) (11 . 5) (12 . 6) (15 . 7) (16 . 8) (17 . 9) (19 . 11) (20 . 16)) 6085 0.4999 4.6083 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 6) (11 . 7) (12 . 8) (15 . 9) (17 . 10) (18 . 11)) 6114 0.4825 3.7667 ((3 . 16) (4 . 17) (5 . 18) (6 . 19) (9 . 20) (11 . 21) (12 . 22) (16 . 23) (17 . 25) (19 . 26)) 6257 0.3000 3.3403 ((3 . 12) (4 . 13) (5 . 14) (6 . 15) (11 . 17) (12 . 20)) 6274 0.5497 5.5579 ((3 . 16) (4 . 17) (5 . 18) (6 . 19) (9 . 20) (11 . 21) (12 . 22) (16 . 23) (17 . 25) (19 . 27) (20 . 28)) 6276 0.4996 3.8197 ((3 . 15) (4 . 16) (5 . 17) (6 . 18) (9 . 19) (11 . 20) (12 . 21) (16 . 22) (17 . 24) (19 . 25)) 6292 0.3000 2.6417 ((3 . 1) (4 . 2) (5 . 4) (12 . 9) (16 . 11) (17 . 12)) 6341 0.3500 6.9630 ((3 . 7) (4 . 8) (5 . 9) (12 . 12) (16 . 13) (17 . 14) (20 . 15)) 6388 0.5498 5.3779 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (16 . 10) (17 . 11) (18 . 13) (20 . 18)) 6420 0.4999 4.3580 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 5) (11 . 6) (12 . 7) (15 . 9) (17 . 10) (18 . 11)) 6426 0.4468 5.3721 ((3 . 1) (4 . 2) (5 . 3) (9 . 4) (11 . 5) (12 . 6) (15 . 7) (17 . 8) (18 . 9)) 6497 0.2500 6.7113 ((12 . 14) (16 . 19) (17 . 20) (18 . 21) (20 . 25)) 6505 0.5498 5.5981 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (11 . 6) (12 . 7) (15 . 8) (17 . 9) (20 . 11) (23 . 13) (24 . 14)) 6627 0.5499 4.8788 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (9 . 6) (11 . 7) (12 . 8) (15 . 9) (16 . 10) (17 . 11) (18 . 12)) END