4242 3274 0.8440 4.1536 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 9) (10 . 13)) 3672 0.7499 3.4133 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 10)) 3820 0.8509 4.1210 ((2 . 11) (3 . 12) (4 . 15) (5 . 16) (6 . 17) (8 . 20) (10 . 23)) 4003 0.8744 4.1216 ((2 . 11) (3 . 12) (4 . 13) (5 . 14) (6 . 15) (8 . 17) (10 . 19)) 4042 0.7500 1.6034 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 9)) 4242 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8) (10 . 10)) 4764 0.7238 1.3071 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8)) 5108 0.8435 4.9412 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 9) (10 . 13)) END