1947 41 0.5552 6.4653 ((6 . 3) (7 . 4) (8 . 5) (10 . 6) (12 . 8)) 258 0.4427 12.7047 ((2 . 4) (3 . 6) (6 . 8) (7 . 9)) 505 0.8833 7.1885 ((1 . 1) (3 . 2) (4 . 3) (6 . 4) (7 . 5) (8 . 6) (10 . 8) (12 . 10)) 1116 0.5551 7.0508 ((6 . 3) (7 . 4) (8 . 5) (10 . 6) (12 . 8)) 1947 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (10 . 10) (12 . 12)) 2015 0.5554 5.6002 ((3 . 9) (7 . 13) (8 . 15) (10 . 17) (12 . 19)) 2269 0.9997 3.0923 ((1 . 2) (2 . 5) (3 . 6) (4 . 7) (6 . 8) (7 . 9) (8 . 10) (10 . 11) (12 . 13)) 2308 0.9994 3.5824 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 10) (12 . 12)) 3609 0.8871 5.4201 ((1 . 1) (3 . 2) (4 . 3) (6 . 5) (7 . 6) (8 . 7) (10 . 8) (12 . 10)) 3733 0.5553 5.9369 ((6 . 1) (7 . 2) (8 . 3) (10 . 4) (12 . 7)) 4350 0.4444 4.9034 ((6 . 1) (7 . 2) (8 . 3) (10 . 4)) 4446 0.4444 4.4760 ((6 . 1) (7 . 2) (8 . 3) (10 . 4)) 6256 0.5553 6.0133 ((6 . 1) (7 . 2) (8 . 3) (10 . 4) (12 . 6)) END