4689 989 0.8571 2.1588 ((15 . 4) (16 . 5) (21 . 8) (22 . 9) (23 . 10) (25 . 12)) 990 0.8571 2.3446 ((15 . 14) (16 . 15) (21 . 21) (22 . 22) (23 . 23) (25 . 25)) 1878 0.8570 2.9117 ((15 . 3) (16 . 4) (21 . 7) (22 . 8) (23 . 9) (25 . 11)) 2348 0.7133 6.0497 ((15 . 2) (16 . 3) (21 . 5) (22 . 6) (26 . 9)) 4688 0.8571 1.9847 ((15 . 4) (16 . 5) (21 . 8) (22 . 9) (23 . 10) (25 . 12)) 4689 1.0000 0.0000 ((15 . 15) (16 . 16) (21 . 21) (22 . 22) (23 . 23) (25 . 25) (26 . 26)) 5274 0.7140 4.6169 ((15 . 3) (21 . 7) (22 . 8) (23 . 9) (25 . 11)) 5487 0.8570 2.8312 ((15 . 4) (16 . 5) (21 . 8) (22 . 9) (23 . 10) (25 . 12)) 5635 0.8571 2.0597 ((15 . 3) (16 . 4) (21 . 6) (22 . 7) (23 . 8) (25 . 10)) 5636 0.8571 1.3357 ((15 . 14) (16 . 15) (21 . 19) (22 . 20) (23 . 21) (25 . 23)) 6087 0.8571 1.9918 ((15 . 3) (16 . 4) (21 . 7) (22 . 8) (23 . 9) (25 . 11)) 6088 0.5714 1.6391 ((15 . 14) (21 . 18) (22 . 19) (23 . 20)) END