4305 515 0.8567 3.8980 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 6)) 516 0.9767 3.9009 ((9 . 7) (10 . 8) (11 . 9) (12 . 10) (13 . 11) (14 . 12) (15 . 13)) 4305 1.0000 0.0000 ((9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (15 . 15)) END