2909 2909 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (12 . 12) (13 . 13)) 2915 0.5454 4.0041 ((3 . 1) (4 . 2) (5 . 3) (7 . 4) (8 . 5) (9 . 6)) 4159 0.5340 3.8159 ((3 . 1) (4 . 2) (5 . 3) (7 . 4) (8 . 5) (9 . 6)) END