1116 41 0.8750 1.6455 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 258 0.8748 3.2011 ((2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 9)) 505 0.7492 5.3765 ((3 . 4) (4 . 5) (5 . 6) (6 . 8) (7 . 9) (8 . 10)) 1116 1.0000 0.0000 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9)) 1947 0.6241 7.0508 ((3 . 6) (4 . 7) (5 . 8) (6 . 10) (8 . 12)) 2015 0.6236 7.9547 ((3 . 9) (4 . 11) (5 . 12) (6 . 13) (9 . 16)) 2269 0.7492 5.5297 ((3 . 8) (4 . 9) (5 . 10) (6 . 11) (7 . 12) (8 . 13)) 2308 0.7494 5.1101 ((3 . 6) (4 . 7) (5 . 8) (6 . 10) (7 . 11) (8 . 12)) 3609 0.4998 6.5057 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 3733 0.7499 2.8932 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 6) (8 . 7)) 4350 0.7499 3.3041 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6)) 4446 0.7497 4.1214 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6)) 6256 0.7493 5.2048 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (9 . 11)) END