4688 989 0.9999 1.6988 ((2 . 3) (4 . 4) (5 . 5) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12)) 990 0.9999 2.3491 ((2 . 13) (4 . 14) (5 . 15) (8 . 21) (9 . 22) (10 . 23) (11 . 24) (12 . 25)) 1878 0.9814 2.9133 ((2 . 2) (4 . 3) (5 . 4) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 11)) 2348 0.6248 5.0616 ((4 . 2) (5 . 3) (9 . 6) (10 . 7) (12 . 9)) 4688 1.0000 0.0000 ((2 . 2) (4 . 4) (5 . 5) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12)) 4689 0.7500 1.9847 ((4 . 15) (5 . 16) (8 . 21) (9 . 22) (10 . 23) (12 . 25)) 5274 0.9841 3.9298 ((2 . 2) (4 . 3) (5 . 4) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 11)) 5487 0.9848 2.6739 ((2 . 3) (4 . 4) (5 . 5) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12)) 5635 0.9999 2.3871 ((2 . 2) (4 . 3) (5 . 4) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10)) 5636 0.9999 2.0943 ((2 . 13) (4 . 14) (5 . 15) (8 . 19) (9 . 20) (10 . 21) (11 . 22) (12 . 23)) 6087 0.9999 1.9287 ((2 . 2) (4 . 3) (5 . 4) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 11)) 6088 0.7500 2.6469 ((2 . 13) (4 . 14) (8 . 18) (9 . 19) (10 . 20) (11 . 21)) END