1333 533 0.2462 7.4201 ((2 . 1) (6 . 4) (7 . 5) (9 . 8)) 1333 1.0000 0.0000 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (12 . 12)) 2054 0.3671 5.4415 ((2 . 9) (3 . 10) (6 . 13) (7 . 14)) 2567 0.4201 8.8889 ((2 . 13) (3 . 14) (7 . 18) (8 . 19)) 4964 0.4189 13.3363 ((2 . 1) (3 . 2) (5 . 5) (8 . 8)) 6494 0.1661 13.9888 ((2 . 4) (3 . 5) (5 . 7) (8 . 8)) END