129 129 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12)) 474 0.9999 2.2939 ((1 . 8) (2 . 9) (3 . 10) (5 . 12) (8 . 14) (9 . 15) (10 . 16) (11 . 17) (12 . 18)) 1548 0.6664 4.7646 ((2 . 18) (3 . 21) (5 . 23) (8 . 24) (11 . 25) (12 . 26)) 3047 0.8848 6.6620 ((2 . 16) (3 . 17) (5 . 18) (8 . 20) (9 . 21) (10 . 22) (11 . 23) (12 . 25)) 5333 0.8178 4.6998 ((1 . 11) (2 . 12) (3 . 14) (5 . 16) (8 . 21) (9 . 22) (10 . 23) (11 . 24) (12 . 26)) 5997 0.9932 3.4030 ((1 . 11) (2 . 12) (3 . 13) (5 . 15) (8 . 16) (9 . 17) (10 . 18) (11 . 20) (12 . 21)) 6555 0.7513 5.4408 ((2 . 17) (3 . 19) (5 . 20) (8 . 22) (9 . 23) (10 . 24) (11 . 25) (12 . 26)) END