5673
6 0.7662 4.4009 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 10))
26 0.7441 4.4740 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 10))
90 0.7452 4.4737 ((1 . 18) (2 . 19) (3 . 20) (4 . 21) (5 . 22) (8 . 24) (9 . 25) (10 . 33) (12 . 34))
256 0.7494 5.0725 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 10))
266 0.5266 4.4819 ((1 . 2) (2 . 3) (3 . 4) (4 . 6) (5 . 7) (6 . 8) (8 . 9) (9 . 10) (10 . 12) (12 . 13))
428 0.8282 4.9987 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (5 . 9) (6 . 10) (8 . 11) (9 . 12) (10 . 14) (12 . 15))
477 0.6796 3.7217 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 7) (9 . 9) (10 . 10) (12 . 11))
523 0.6657 6.7096 ((1 . 1) (2 . 2) (5 . 4) (6 . 5) (8 . 6) (9 . 7) (10 . 8) (12 . 9))
562 0.6906 4.7767 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 7) (8 . 8) (9 . 9) (12 . 11))
745 0.8329 4.0759 ((1 . 1) (2 . 2) (3 . 3) (4 . 6) (5 . 7) (6 . 8) (8 . 10) (9 . 12) (10 . 15) (12 . 17))
786 0.7660 4.7273 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 10))
793 0.7442 4.0946 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 10))
971 0.6662 5.4088 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 7) (9 . 8) (10 . 9))
980 0.7428 4.2503 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9))
1042 0.6519 4.4924 ((1 . 26) (2 . 27) (3 . 28) (4 . 29) (5 . 30) (6 . 31) (8 . 32) (9 . 33) (10 . 34) (12 . 35))
1177 0.6662 5.3839 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 7) (9 . 8) (10 . 9) (12 . 10))
1252 0.4995 7.9482 ((5 . 3) (6 . 5) (8 . 8) (9 . 9) (10 . 10) (12 . 11))
1253 0.6660 5.9778 ((1 . 1) (2 . 4) (3 . 5) (5 . 11) (8 . 15) (9 . 17) (10 . 18) (12 . 22))
1266 0.8232 4.9580 ((1 . 27) (2 . 28) (3 . 29) (4 . 30) (5 . 31) (6 . 32) (8 . 33) (9 . 34) (10 . 35) (12 . 36))
1379 0.8322 5.2081 ((1 . 6) (2 . 7) (3 . 9) (4 . 11) (5 . 12) (6 . 13) (8 . 14) (9 . 15) (10 . 16) (12 . 17))
1397 0.6661 3.8349 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 8) (8 . 9) (9 . 10) (10 . 12) (12 . 13))
1443 0.6554 4.7837 ((1 . 1) (2 . 2) (4 . 6) (5 . 7) (6 . 9) (8 . 10) (10 . 13) (12 . 14))
1516 0.4488 5.0289 ((1 . 3) (2 . 4) (5 . 8) (6 . 9) (8 . 10) (10 . 12) (12 . 13))
1547 0.5832 4.5896 ((1 . 4) (3 . 7) (5 . 10) (8 . 28) (9 . 29) (10 . 30) (12 . 31))
1659 0.5000 4.3374 ((1 . 1) (2 . 2) (3 . 11) (4 . 12) (5 . 16) (8 . 17))
1662 0.6147 6.2769 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 8) (8 . 10) (9 . 13))
1700 0.8304 5.4493 ((1 . 1) (2 . 2) (3 . 3) (5 . 9) (6 . 10) (7 . 11) (8 . 12) (9 . 13) (10 . 18) (12 . 19))
1803 0.7300 5.1932 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 7) (9 . 8) (10 . 9) (12 . 26))
1901 0.6583 3.5470 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 7) (10 . 16) (12 . 17))
2027 0.7496 4.6425 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 8) (8 . 9) (10 . 13) (12 . 14))
2427 0.7453 4.0408 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 8) (9 . 9) (10 . 18) (12 . 19))
2470 0.6858 4.4568 ((1 . 35) (2 . 37) (3 . 38) (4 . 39) (5 . 40) (6 . 42) (8 . 43) (9 . 44) (10 . 45) (12 . 46))
2714 0.7433 6.0646 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 9) (10 . 12) (12 . 13))
2729 0.7412 6.8464 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7) (10 . 9) (11 . 27))
2809 0.7351 4.0711 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9))
3034 0.6452 6.3215 ((1 . 1) (2 . 4) (3 . 5) (4 . 6) (5 . 7) (8 . 9) (9 . 11) (12 . 15))
3073 0.7440 4.7114 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8) (9 . 9) (10 . 19) (12 . 21))
3189 0.9132 4.3064 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10) (10 . 11) (12 . 12))
3190 0.8234 4.5496 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (8 . 9) (9 . 10) (10 . 11) (12 . 12))
3199 0.6302 6.0154 ((1 . 1) (3 . 4) (4 . 6) (5 . 7) (6 . 11) (8 . 12) (9 . 13) (10 . 14) (12 . 18))
3234 0.7255 5.3228 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 8) (10 . 18) (12 . 20))
3238 0.6323 5.7369 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 8) (10 . 18) (12 . 19))
3295 0.7301 4.8726 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7) (10 . 9) (12 . 10))
3412 0.7071 5.1840 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 10))
3462 0.7493 5.2272 ((1 . 28) (2 . 30) (3 . 31) (5 . 32) (6 . 33) (8 . 34) (9 . 35) (10 . 42) (12 . 43))
3560 0.7492 5.4652 ((1 . 1) (2 . 2) (3 . 3) (4 . 7) (5 . 8) (8 . 11) (9 . 13) (10 . 14) (12 . 33))
3581 0.7076 4.5801 ((1 . 1) (2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 9) (8 . 10) (10 . 21) (12 . 23))
3632 0.7394 5.5474 ((1 . 4) (2 . 5) (3 . 6) (4 . 9) (5 . 12) (6 . 13) (7 . 14) (8 . 15) (9 . 16) (10 . 17) (12 . 35))
3801 0.6516 4.0029 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7) (10 . 9))
3896 0.8277 4.3735 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 10))
4066 0.7382 5.0072 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (8 . 8) (9 . 9) (10 . 10) (12 . 26))
4130 0.6516 3.3558 ((1 . 4) (2 . 7) (3 . 8) (4 . 12) (5 . 13) (8 . 17) (10 . 24) (12 . 25))
4185 0.8183 4.0813 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 10))
4323 0.8952 4.4020 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10) (10 . 12) (12 . 17))
4433 0.8148 7.2894 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 10))
4474 0.5833 3.7109 ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (8 . 8) (10 . 17) (12 . 21))
4590 0.7453 3.7103 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 9) (9 . 10) (10 . 15) (12 . 16))
4669 0.6516 3.9512 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (5 . 19) (8 . 21) (9 . 22) (12 . 23))
4787 0.7346 5.3999 ((1 . 6) (2 . 7) (3 . 9) (5 . 12) (6 . 13) (8 . 14) (9 . 15) (10 . 16) (12 . 17))
4813 0.7443 3.8729 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 10))
4871 0.7496 4.4746 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 10))
4905 0.9149 5.1825 ((1 . 1) (2 . 2) (3 . 3) (4 . 7) (5 . 8) (6 . 9) (7 . 10) (8 . 11) (9 . 12) (10 . 17) (12 . 18))
4916 0.7960 4.6348 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10) (12 . 12))
4926 0.8079 5.4348 ((1 . 38) (2 . 39) (3 . 40) (5 . 45) (6 . 46) (7 . 47) (8 . 48) (9 . 49) (10 . 50) (12 . 51))
5096 0.6662 5.6053 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 7) (9 . 8) (11 . 25))
5234 0.7127 5.9213 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10) (10 . 19) (12 . 21))
5289 0.7425 5.0312 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (12 . 10))
5297 0.7453 4.0061 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 8) (9 . 9) (10 . 17) (12 . 18))
5364 0.8197 8.0595 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 10))
5397 0.7253 11.3748 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 10))
5470 0.8319 5.4934 ((1 . 1) (2 . 2) (3 . 3) (5 . 9) (6 . 10) (7 . 11) (8 . 12) (9 . 13) (10 . 20) (12 . 21))
5673 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))
5752 0.4999 4.9548 ((1 . 1) (2 . 2) (5 . 3) (8 . 5) (10 . 7) (12 . 11))
5785 0.7629 5.3131 ((1 . 1) (2 . 2) (3 . 3) (4 . 7) (5 . 8) (6 . 9) (8 . 10) (9 . 12) (10 . 13) (11 . 29) (12 . 30))
5842 0.7908 2.8823 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 7) (8 . 8) (9 . 9) (10 . 10) (12 . 11))
5920 0.7662 4.2005 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 7) (8 . 8) (9 . 9) (10 . 10) (12 . 11))
6242 0.8298 5.7824 ((1 . 1) (2 . 2) (3 . 3) (5 . 8) (6 . 9) (7 . 11) (8 . 12) (9 . 13) (10 . 18) (12 . 20))
6258 0.4166 5.1823 ((1 . 7) (2 . 8) (3 . 10) (4 . 11) (5 . 12))
6283 0.7440 6.4888 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (8 . 11) (9 . 12) (11 . 16) (12 . 17))
6496 0.7228 6.0560 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (8 . 8) (9 . 9) (10 . 10) (11 . 27))
6624 0.7468 3.7547 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (8 . 8) (9 . 9) (10 . 11) (12 . 12))
6640 0.7834 4.9628 ((1 . 41) (2 . 42) (3 . 43) (4 . 44) (5 . 45) (6 . 46) (8 . 47) (9 . 48) (10 . 49) (12 . 50))
6642 0.7949 6.1400 ((1 . 34) (2 . 35) (3 . 36) (4 . 37) (5 . 38) (6 . 39) (8 . 41) (9 . 42) (10 . 44) (12 . 45))
END