6309 454 0.7459 2.6821 ((17 . 23) (18 . 24) (19 . 25) (20 . 26) (25 . 28) (26 . 29) (27 . 30)) 1557 0.6422 4.5938 ((17 . 3) (18 . 4) (19 . 5) (20 . 6) (25 . 8) (26 . 9) (27 . 10)) 1586 0.8750 0.6245 ((17 . 46) (18 . 47) (19 . 48) (20 . 49) (25 . 54) (26 . 55) (27 . 56)) 2906 0.7499 3.2790 ((17 . 3) (18 . 4) (19 . 5) (20 . 6) (25 . 9) (26 . 10)) 3038 0.7459 0.9090 ((17 . 3) (18 . 4) (19 . 5) (20 . 6) (25 . 9) (26 . 10) (27 . 11)) 4137 0.7007 0.9056 ((17 . 4) (18 . 5) (19 . 6) (20 . 7) (25 . 12) (26 . 13) (27 . 14)) 4485 0.4999 4.9052 ((16 . 2) (17 . 3) (19 . 5) (20 . 6)) 5267 0.6240 7.2026 ((17 . 5) (19 . 7) (20 . 8) (25 . 10) (26 . 11)) 5411 0.6240 7.2215 ((17 . 3) (19 . 5) (20 . 6) (25 . 8) (26 . 9)) 6071 0.8748 3.0874 ((17 . 24) (18 . 25) (19 . 26) (20 . 27) (25 . 29) (26 . 30) (27 . 31)) 6309 1.0000 0.0000 ((16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (25 . 25) (26 . 26) (27 . 27)) 6547 0.7459 2.6681 ((17 . 22) (18 . 23) (19 . 24) (20 . 25) (25 . 27) (26 . 28) (27 . 29)) END