482 482 1.0000 0.0000 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 1842 0.7143 0.5574 ((1 . 1) (2 . 2) (4 . 6) (5 . 7) (6 . 8)) END