23 23 1.0000 0.0000 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 1929 0.7934 1.1024 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) END