2308 41 0.4999 4.5813 ((6 . 3) (7 . 4) (8 . 5) (10 . 6) (11 . 7) (12 . 8)) 258 0.4999 5.7411 ((6 . 3) (7 . 4) (8 . 6) (10 . 7) (11 . 8) (12 . 9)) 505 0.6666 3.4847 ((4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (10 . 8) (11 . 9) (12 . 10)) 1116 0.4999 5.1101 ((6 . 3) (7 . 4) (8 . 5) (10 . 6) (11 . 7) (12 . 8)) 1947 0.7499 3.5824 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 6) (7 . 7) (8 . 8) (10 . 10) (12 . 12)) 2015 0.4166 4.6053 ((4 . 9) (8 . 15) (10 . 17) (11 . 18) (12 . 19)) 2269 0.9163 3.5171 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (5 . 7) (6 . 8) (7 . 9) (8 . 10) (10 . 11) (11 . 12) (12 . 13)) 2308 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 10) (11 . 11) (12 . 12) (14 . 14)) 3609 0.6658 6.5339 ((1 . 1) (4 . 2) (5 . 3) (6 . 5) (7 . 6) (8 . 7) (10 . 8) (12 . 10)) 3733 0.5000 4.3403 ((6 . 1) (7 . 2) (8 . 3) (10 . 4) (11 . 6) (12 . 7)) 4350 0.4718 4.9597 ((6 . 1) (7 . 2) (8 . 3) (10 . 4) (11 . 5) (12 . 6)) 4446 0.4825 4.8416 ((6 . 1) (7 . 2) (8 . 3) (10 . 4) (11 . 5) (12 . 6)) 6256 0.4719 4.5026 ((6 . 1) (7 . 2) (8 . 3) (10 . 4) (11 . 5) (12 . 6)) END