5417 16 0.4666 4.6162 ((5 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (15 . 7)) 287 0.7315 6.3214 ((1 . 29) (3 . 30) (4 . 33) (5 . 34) (7 . 37) (8 . 40) (9 . 41) (10 . 44) (11 . 45) (12 . 47) (13 . 48)) 314 0.5906 5.8880 ((2 . 2) (5 . 8) (7 . 10) (8 . 11) (9 . 12) (10 . 13) (11 . 14) (12 . 15) (13 . 16)) 444 0.4584 7.2510 ((5 . 32) (6 . 33) (7 . 34) (8 . 36) (10 . 38) (11 . 39) (12 . 40)) 789 0.5332 5.5871 ((4 . 8) (5 . 9) (6 . 10) (7 . 11) (8 . 21) (9 . 22) (10 . 23) (11 . 24)) 954 0.4000 5.7186 ((1 . 1) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8)) 1069 0.4203 5.9035 ((1 . 25) (3 . 26) (5 . 27) (6 . 30) (7 . 31) (8 . 33) (9 . 34)) 1118 0.6657 6.6110 ((1 . 15) (3 . 16) (4 . 18) (5 . 19) (6 . 21) (7 . 22) (8 . 24) (9 . 25) (10 . 27) (11 . 28)) 1205 0.3999 6.2618 ((1 . 2) (3 . 4) (4 . 5) (5 . 7) (6 . 9) (7 . 10)) 1206 0.4666 3.8470 ((7 . 1) (8 . 2) (9 . 3) (10 . 4) (11 . 5) (12 . 6) (13 . 7)) 1210 0.4666 3.7729 ((5 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (11 . 7)) 1315 0.3333 5.8584 ((1 . 1) (3 . 3) (4 . 4) (5 . 6) (6 . 7)) 1470 0.5999 4.2379 ((7 . 2) (8 . 3) (9 . 4) (10 . 5) (11 . 6) (12 . 7) (13 . 10) (14 . 11) (15 . 12)) 1983 0.7976 6.6622 ((1 . 20) (3 . 21) (4 . 22) (5 . 24) (6 . 25) (7 . 26) (8 . 27) (9 . 28) (10 . 29) (11 . 30) (12 . 31) (13 . 32)) 1984 0.5985 5.7232 ((1 . 20) (3 . 21) (4 . 22) (5 . 23) (6 . 24) (7 . 25) (8 . 26) (9 . 27) (10 . 28)) 2101 0.5990 7.5946 ((5 . 1) (6 . 2) (7 . 3) (8 . 5) (9 . 6) (10 . 7) (11 . 8) (12 . 10) (13 . 13)) 2102 0.5290 7.9218 ((1 . 18) (3 . 19) (4 . 20) (5 . 22) (6 . 23) (7 . 24) (8 . 26) (9 . 27)) 2103 0.5938 8.6121 ((4 . 28) (5 . 29) (6 . 30) (7 . 32) (8 . 34) (9 . 35) (10 . 37) (11 . 38) (12 . 39) (13 . 41)) 2197 0.3333 7.9346 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (13 . 6)) 2213 0.5998 5.2793 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 10) (10 . 11) (11 . 12)) 2252 0.7976 6.6504 ((1 . 4) (3 . 5) (4 . 7) (5 . 8) (6 . 10) (7 . 11) (8 . 13) (9 . 14) (10 . 16) (11 . 17) (12 . 19) (13 . 20)) 2276 0.5330 6.5538 ((6 . 41) (7 . 43) (8 . 44) (9 . 46) (10 . 47) (11 . 48) (12 . 49) (13 . 50)) 2292 0.5984 8.5623 ((1 . 1) (3 . 2) (4 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10)) 2342 0.6661 5.8396 ((6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (11 . 7) (12 . 8) (13 . 9) (14 . 10) (15 . 11)) 2493 0.4666 4.1538 ((3 . 15) (4 . 16) (5 . 17) (6 . 18) (7 . 19) (8 . 20) (9 . 21)) 2698 0.3332 9.1482 ((4 . 3) (5 . 4) (8 . 6) (9 . 7) (10 . 9)) 2829 0.7951 7.9627 ((1 . 18) (3 . 19) (4 . 21) (5 . 22) (6 . 24) (7 . 25) (8 . 27) (9 . 28) (10 . 30) (11 . 31) (12 . 32) (15 . 34)) 3216 0.3999 6.9958 ((7 . 3) (8 . 4) (9 . 5) (10 . 7) (11 . 8) (12 . 9)) 3353 0.4000 5.1376 ((6 . 3) (7 . 4) (8 . 5) (9 . 6) (10 . 7) (11 . 8)) 3392 0.3999 7.1022 ((4 . 3) (5 . 4) (6 . 5) (7 . 7) (8 . 8) (9 . 9)) 3424 0.4666 5.2593 ((5 . 17) (6 . 18) (7 . 19) (8 . 20) (9 . 21) (10 . 22) (15 . 23)) 3434 0.3333 6.9069 ((5 . 1) (6 . 2) (7 . 3) (8 . 5) (13 . 11)) 3540 0.5228 6.4138 ((7 . 1) (8 . 2) (9 . 3) (10 . 4) (11 . 5) (12 . 6) (13 . 7) (14 . 10)) 3599 0.5260 5.8213 ((4 . 11) (5 . 12) (6 . 13) (7 . 14) (8 . 16) (9 . 17) (10 . 18) (11 . 19)) 3602 0.4058 9.6187 ((1 . 7) (3 . 9) (4 . 10) (6 . 11) (9 . 15) (10 . 16) (11 . 18) (15 . 19)) 3711 0.4666 5.5244 ((5 . 1) (8 . 3) (9 . 6) (10 . 7) (11 . 8) (12 . 9) (13 . 10)) 3718 0.5990 7.6248 ((2 . 27) (3 . 32) (4 . 33) (5 . 34) (6 . 35) (7 . 37) (8 . 38) (9 . 39) (10 . 41)) 3882 0.6650 7.6372 ((1 . 14) (3 . 15) (4 . 17) (5 . 19) (6 . 20) (7 . 22) (8 . 23) (9 . 27) (10 . 28) (11 . 30)) 4123 0.3999 6.9329 ((5 . 17) (6 . 18) (7 . 21) (8 . 22) (9 . 23) (15 . 24)) 4456 0.4000 5.1449 ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 6)) 4792 0.5995 6.3785 ((3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11)) 4817 0.3999 7.8129 ((3 . 5) (5 . 6) (6 . 7) (7 . 9) (8 . 11) (9 . 13)) 4841 0.7963 7.3884 ((1 . 6) (3 . 7) (4 . 8) (5 . 9) (6 . 10) (7 . 11) (8 . 12) (9 . 13) (10 . 14) (11 . 15) (12 . 16) (13 . 17)) 4952 0.4203 7.0448 ((1 . 1) (3 . 2) (4 . 3) (5 . 5) (6 . 7) (7 . 8) (8 . 10)) 5190 0.3333 5.0840 ((7 . 1) (8 . 2) (9 . 3) (10 . 4) (12 . 6)) 5284 0.5983 6.9724 ((3 . 40) (4 . 41) (5 . 43) (6 . 44) (7 . 46) (8 . 47) (9 . 49) (10 . 50) (11 . 51)) 5285 0.2667 6.4177 ((6 . 1) (7 . 2) (8 . 4) (9 . 5)) 5326 0.6654 7.1159 ((4 . 23) (5 . 24) (6 . 26) (7 . 27) (8 . 29) (9 . 30) (10 . 31) (11 . 32) (12 . 33) (13 . 37)) 5354 0.5982 8.8988 ((7 . 1) (8 . 2) (9 . 3) (10 . 4) (11 . 5) (12 . 6) (13 . 7) (14 . 8) (15 . 10)) 5417 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (15 . 15)) 5441 0.5997 5.6047 ((3 . 13) (4 . 14) (5 . 15) (6 . 16) (7 . 17) (8 . 18) (9 . 19) (10 . 20) (11 . 22)) 5595 0.3999 7.2797 ((6 . 3) (7 . 4) (8 . 6) (9 . 7) (10 . 8) (12 . 9)) 6033 0.3999 7.1788 ((8 . 2) (9 . 4) (10 . 5) (11 . 7) (12 . 9) (13 . 10)) 6077 0.7070 7.0073 ((1 . 1) (3 . 2) (4 . 5) (5 . 8) (6 . 9) (7 . 11) (8 . 13) (9 . 14) (10 . 16) (11 . 17) (12 . 19) (13 . 20)) 6128 0.5327 7.8758 ((6 . 1) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 11) (14 . 12)) 6176 0.3333 5.8065 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 6)) 6212 0.5988 8.0446 ((5 . 2) (6 . 3) (7 . 4) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10) (15 . 11)) END