6249 247 0.4999 5.0889 ((3 . 10) (5 . 11) (6 . 12) (7 . 13) (8 . 15)) 345 0.8820 8.8204 ((1 . 1) (2 . 4) (3 . 5) (5 . 6) (6 . 8) (7 . 9) (8 . 10) (9 . 12) (11 . 15)) 463 0.6998 3.9151 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 7) (7 . 15) (8 . 23)) 464 0.3998 7.8771 ((3 . 35) (5 . 37) (6 . 38) (7 . 40)) 471 0.6994 5.6408 ((1 . 1) (2 . 2) (3 . 3) (5 . 15) (6 . 16) (7 . 17) (8 . 18)) 472 0.5998 4.7827 ((1 . 20) (2 . 21) (3 . 22) (5 . 29) (6 . 31) (7 . 33)) 592 0.7990 5.2811 ((1 . 3) (2 . 5) (3 . 6) (5 . 10) (6 . 11) (7 . 12) (8 . 13) (9 . 14)) 703 0.8830 8.8926 ((1 . 1) (2 . 3) (3 . 4) (5 . 5) (6 . 6) (7 . 8) (8 . 9) (9 . 10) (11 . 11)) 713 0.6990 6.2783 ((1 . 5) (2 . 6) (3 . 7) (5 . 9) (6 . 10) (7 . 13) (8 . 14)) 714 0.7842 9.1583 ((1 . 16) (2 . 17) (3 . 19) (5 . 27) (6 . 28) (7 . 30) (8 . 31) (9 . 32)) 934 0.7989 5.4840 ((1 . 10) (2 . 11) (3 . 12) (5 . 14) (6 . 15) (7 . 16) (8 . 17) (11 . 18)) 1021 0.7995 4.4602 ((1 . 12) (2 . 13) (3 . 14) (5 . 15) (6 . 16) (7 . 17) (8 . 18) (11 . 22)) 1033 0.7918 6.3969 ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (6 . 7) (7 . 16) (8 . 17) (9 . 18)) 1034 0.6990 6.2552 ((1 . 20) (2 . 21) (3 . 22) (5 . 27) (6 . 29) (7 . 31) (8 . 32)) 1191 0.7896 6.9627 ((1 . 1) (2 . 2) (3 . 5) (5 . 7) (6 . 8) (7 . 9) (8 . 10) (9 . 12)) 1223 0.7993 4.8731 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (11 . 8)) 1289 0.7996 4.1082 ((1 . 13) (2 . 14) (3 . 15) (5 . 16) (6 . 17) (7 . 19) (8 . 20) (11 . 21)) 1305 0.5997 5.7972 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (6 . 6) (7 . 8)) 1522 0.6999 3.5431 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 1656 0.8945 5.3143 ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (6 . 7) (7 . 8) (8 . 10) (9 . 12) (11 . 13)) 1778 0.7000 2.9503 ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (6 . 8) (7 . 11) (8 . 12)) 1779 0.4717 6.6167 ((5 . 25) (6 . 26) (7 . 30) (8 . 32) (9 . 33)) 2218 0.7994 4.6760 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (11 . 10)) 2296 0.6999 3.1941 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 6) (8 . 7) (11 . 21)) 2378 0.7910 6.9768 ((1 . 1) (2 . 2) (3 . 5) (5 . 7) (6 . 8) (7 . 9) (8 . 10) (9 . 12)) 2483 0.6995 5.2835 ((1 . 4) (2 . 5) (3 . 6) (5 . 8) (6 . 9) (7 . 12) (8 . 13)) 2484 0.7826 9.0952 ((1 . 15) (2 . 16) (3 . 19) (5 . 26) (6 . 27) (7 . 29) (8 . 31) (9 . 32)) 2491 0.9568 7.1925 ((1 . 10) (2 . 11) (3 . 12) (5 . 16) (6 . 17) (7 . 18) (8 . 22) (9 . 24) (10 . 26) (11 . 27)) 2619 0.6998 4.1167 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7)) 2733 0.7992 5.0970 ((1 . 1) (2 . 2) (3 . 4) (5 . 7) (6 . 8) (7 . 9) (8 . 11) (11 . 14)) 2775 0.7989 5.4518 ((1 . 1) (2 . 2) (3 . 3) (5 . 7) (6 . 8) (7 . 9) (8 . 11) (11 . 14)) 2821 0.6999 3.6606 ((1 . 1) (2 . 2) (3 . 3) (5 . 10) (6 . 11) (7 . 12) (8 . 13)) 2822 0.7930 6.3824 ((1 . 15) (2 . 16) (3 . 17) (5 . 24) (6 . 26) (7 . 28) (8 . 29) (9 . 30)) 2910 0.5998 5.3556 ((1 . 3) (2 . 4) (3 . 5) (5 . 7) (6 . 8) (7 . 9)) 2954 0.3998 7.9858 ((2 . 1) (3 . 2) (9 . 7) (11 . 10)) 3210 0.3997 9.5773 ((2 . 26) (3 . 27) (5 . 28) (8 . 33)) 3260 0.8953 6.7736 ((1 . 3) (2 . 4) (3 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10) (11 . 14)) 3286 0.7080 5.5585 ((1 . 3) (2 . 4) (3 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (11 . 15)) 3925 0.1654 10.3778 ((6 . 1) (8 . 3) (9 . 4) (11 . 5)) 4043 0.8829 8.7897 ((1 . 6) (2 . 8) (3 . 9) (5 . 11) (6 . 13) (7 . 15) (8 . 16) (9 . 26) (11 . 28)) 4057 0.6998 4.2639 ((1 . 1) (2 . 2) (3 . 3) (5 . 8) (6 . 9) (7 . 11) (8 . 13)) 4058 0.4000 3.8025 ((5 . 14) (6 . 15) (8 . 18) (9 . 19)) 4191 0.6998 4.2521 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 6) (7 . 33) (8 . 34)) 4193 0.7202 7.4922 ((1 . 36) (2 . 37) (3 . 38) (5 . 47) (6 . 48) (7 . 50) (8 . 51) (11 . 53)) 4281 0.7911 5.6927 ((1 . 3) (2 . 4) (3 . 5) (5 . 6) (6 . 8) (7 . 9) (8 . 10) (11 . 16)) 4391 0.7999 3.1417 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (11 . 10)) 4469 0.7994 4.6453 ((1 . 1) (2 . 3) (3 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (11 . 10)) 4935 0.7992 5.0394 ((1 . 1) (2 . 3) (3 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (11 . 11)) 5120 0.4000 4.7161 ((5 . 1) (6 . 2) (8 . 5) (11 . 10)) 5243 0.6997 4.5441 ((1 . 13) (2 . 14) (3 . 15) (5 . 17) (6 . 18) (8 . 22) (11 . 26)) 5447 0.5000 4.2239 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (11 . 9)) 5500 0.6998 4.2507 ((1 . 1) (2 . 2) (3 . 3) (5 . 10) (6 . 12) (7 . 13) (8 . 14)) 5501 0.3994 11.3218 ((5 . 26) (7 . 28) (8 . 30) (10 . 32)) 5883 0.6914 5.4762 ((1 . 1) (2 . 3) (3 . 4) (6 . 6) (8 . 9) (9 . 11) (11 . 13)) 5906 0.7985 5.8943 ((1 . 13) (2 . 14) (3 . 15) (5 . 17) (6 . 18) (7 . 19) (8 . 22) (11 . 26)) 6064 0.7917 4.8000 ((1 . 4) (2 . 6) (3 . 7) (5 . 10) (6 . 11) (7 . 12) (8 . 14) (11 . 18)) 6249 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11)) 6299 0.6995 5.4122 ((1 . 4) (2 . 6) (3 . 7) (6 . 9) (7 . 10) (8 . 11) (11 . 16)) 6323 0.6995 5.3287 ((1 . 33) (2 . 34) (3 . 35) (5 . 36) (6 . 37) (7 . 38) (8 . 41)) END