4197 233 0.4998 6.6343 ((7 . 1) (8 . 2) (10 . 3) (11 . 5)) 234 0.2910 8.5638 ((7 . 10) (8 . 11) (10 . 12) (11 . 14)) 291 0.6238 7.6042 ((2 . 2) (4 . 3) (5 . 4) (7 . 6) (8 . 7)) 349 0.9971 5.2757 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (10 . 10) (11 . 12)) 365 0.6249 3.8932 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (10 . 8)) 388 0.4999 5.8278 ((7 . 16) (8 . 17) (10 . 18) (11 . 19)) 402 0.6239 7.3770 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 9)) 403 0.8740 4.7427 ((1 . 12) (2 . 13) (4 . 15) (7 . 17) (8 . 18) (10 . 20) (11 . 21)) 404 0.7486 6.2310 ((1 . 23) (2 . 24) (4 . 25) (8 . 28) (10 . 30) (11 . 31)) 405 0.7461 8.1077 ((1 . 32) (2 . 33) (4 . 35) (5 . 37) (7 . 39) (8 . 40)) 445 0.2910 6.3370 ((7 . 1) (8 . 2) (10 . 3) (11 . 5)) 449 0.4989 9.7106 ((1 . 2) (2 . 3) (5 . 6) (7 . 8)) 450 0.4996 7.6978 ((1 . 12) (2 . 13) (4 . 15) (11 . 20)) 564 0.9994 3.5918 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (7 . 7) (8 . 8) (10 . 10) (11 . 11)) 565 0.4999 4.5375 ((4 . 14) (5 . 15) (7 . 17) (8 . 18)) 567 0.6243 6.6062 ((1 . 1) (2 . 2) (4 . 3) (5 . 5) (11 . 10)) 568 0.4998 6.6757 ((7 . 16) (8 . 17) (10 . 18) (11 . 19)) 570 0.8746 3.8271 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (8 . 9) (10 . 11) (11 . 12)) 571 0.6232 8.3530 ((4 . 12) (7 . 14) (8 . 15) (10 . 16) (11 . 17)) 578 0.4998 6.5697 ((7 . 3) (8 . 4) (10 . 5) (11 . 6)) 579 0.8738 4.9575 ((1 . 9) (2 . 10) (4 . 12) (5 . 13) (8 . 14) (10 . 15) (11 . 17)) 599 0.8747 3.5007 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (8 . 7) (10 . 9) (11 . 10)) 600 0.6215 9.9608 ((1 . 10) (4 . 12) (5 . 13) (7 . 15) (8 . 16)) 626 0.4996 7.4830 ((5 . 3) (7 . 6) (8 . 7) (10 . 8)) 668 0.6239 7.4905 ((1 . 2) (2 . 3) (4 . 5) (5 . 7) (7 . 10)) 669 0.6247 5.2242 ((1 . 13) (2 . 14) (4 . 16) (5 . 17) (11 . 22)) 670 0.4998 6.6300 ((1 . 24) (2 . 25) (4 . 27) (7 . 30)) 671 0.7455 8.4375 ((1 . 32) (2 . 33) (4 . 35) (5 . 37) (7 . 40) (8 . 41)) 693 0.4999 5.7450 ((1 . 33) (2 . 34) (4 . 35) (5 . 36)) 695 0.6238 7.5258 ((2 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8)) 696 0.4996 7.6957 ((1 . 11) (2 . 12) (4 . 13) (7 . 17)) 697 0.4997 6.9702 ((4 . 23) (5 . 26) (7 . 27) (8 . 30)) 698 0.4999 4.8298 ((4 . 36) (5 . 37) (7 . 39) (8 . 40)) 828 0.4999 5.8053 ((1 . 8) (2 . 9) (4 . 10) (7 . 13)) 888 0.6246 5.6248 ((2 . 14) (4 . 15) (5 . 17) (10 . 20) (11 . 21)) 919 0.8743 4.2794 ((1 . 3) (2 . 4) (4 . 5) (5 . 6) (8 . 8) (10 . 9) (11 . 10)) 922 0.9963 5.6086 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (10 . 10) (11 . 11)) 926 0.9999 1.5133 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (7 . 8) (8 . 9) (10 . 11) (11 . 12)) 927 0.8731 5.5730 ((1 . 13) (2 . 14) (4 . 15) (7 . 17) (8 . 18) (10 . 19) (11 . 20)) 1025 0.6245 5.9660 ((1 . 3) (2 . 4) (4 . 5) (10 . 8) (11 . 9)) 1086 0.9999 1.9366 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 8) (8 . 10) (10 . 12) (11 . 13)) 1110 0.8748 3.0449 ((1 . 10) (2 . 11) (4 . 13) (7 . 14) (8 . 15) (10 . 16) (11 . 18)) 1112 0.6246 5.8696 ((1 . 2) (7 . 8) (8 . 9) (10 . 10) (11 . 12)) 1126 0.9939 6.3526 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7) (10 . 9) (11 . 10)) 1127 0.6243 6.7124 ((1 . 13) (2 . 14) (4 . 16) (5 . 17) (7 . 19)) 1149 0.8730 5.6488 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (8 . 5) (10 . 6) (11 . 7)) 1164 0.6244 6.4038 ((2 . 3) (7 . 6) (8 . 7) (10 . 9) (11 . 10)) 1181 0.7491 5.6284 ((1 . 2) (2 . 3) (4 . 4) (8 . 9) (10 . 11) (11 . 13)) 1235 0.6236 7.9229 ((4 . 1) (7 . 3) (8 . 4) (10 . 6) (11 . 7)) 1236 0.7430 9.4323 ((1 . 11) (2 . 13) (4 . 15) (5 . 18) (7 . 21) (8 . 23)) 1270 0.8738 4.9838 ((1 . 34) (2 . 35) (4 . 36) (5 . 37) (8 . 38) (10 . 39) (11 . 40)) 1293 0.8732 5.5307 ((1 . 3) (2 . 4) (4 . 5) (5 . 7) (7 . 9) (8 . 10) (10 . 11)) 1294 0.8707 6.8811 ((1 . 39) (2 . 40) (4 . 41) (7 . 43) (8 . 44) (10 . 46) (11 . 47)) 1295 0.8738 4.9890 ((1 . 48) (2 . 49) (4 . 50) (5 . 51) (8 . 52) (10 . 53) (11 . 54)) 1341 0.6238 7.5785 ((2 . 1) (7 . 5) (8 . 7) (10 . 8) (11 . 10)) 1342 0.4997 7.3580 ((4 . 17) (5 . 19) (7 . 21) (8 . 22)) 1363 0.4985 10.5283 ((2 . 3) (4 . 5) (5 . 7) (7 . 8)) 1374 0.4998 6.5188 ((1 . 2) (2 . 3) (4 . 4) (7 . 8)) 1375 0.4996 7.3688 ((1 . 11) (2 . 12) (4 . 14) (7 . 18)) 1390 0.7499 3.0605 ((1 . 2) (2 . 3) (4 . 4) (8 . 6) (10 . 8) (11 . 9)) 1391 0.8715 6.5078 ((1 . 11) (2 . 12) (4 . 13) (7 . 15) (8 . 16) (10 . 17) (11 . 18)) 1392 0.7474 7.3108 ((1 . 20) (2 . 21) (4 . 22) (5 . 23) (7 . 25) (8 . 26)) 1418 0.8702 7.0544 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (8 . 5) (10 . 6) (11 . 7)) 1419 0.8727 5.8740 ((1 . 10) (2 . 11) (4 . 12) (5 . 13) (8 . 14) (10 . 15) (11 . 16)) 1445 0.9996 3.2350 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 9) (8 . 10) (10 . 12) (11 . 13)) 1446 0.4999 4.9621 ((7 . 19) (8 . 20) (10 . 22) (11 . 24)) 1502 0.6232 8.3992 ((1 . 2) (4 . 4) (5 . 6) (7 . 9) (8 . 10)) 1555 0.9994 3.5410 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (7 . 5) (8 . 6) (10 . 8) (11 . 9)) 1566 0.8736 5.1601 ((1 . 1) (2 . 3) (4 . 4) (5 . 5) (7 . 8) (8 . 10) (10 . 12)) 1568 0.8744 4.1675 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (8 . 5) (10 . 6) (11 . 7)) 1569 0.4999 4.6618 ((1 . 1) (2 . 2) (4 . 3) (5 . 4)) 1570 0.8737 5.0823 ((1 . 9) (2 . 10) (4 . 11) (5 . 12) (8 . 13) (10 . 14) (11 . 16)) 1571 0.8737 5.0686 ((1 . 17) (2 . 18) (4 . 19) (5 . 20) (8 . 21) (10 . 22) (11 . 24)) 1572 0.8738 4.9378 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (8 . 5) (10 . 6) (11 . 8)) 1573 0.6242 6.7601 ((1 . 9) (2 . 10) (4 . 11) (5 . 12) (7 . 14)) 1579 0.9983 4.6286 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 8) (8 . 10) (10 . 12) (11 . 14)) 1580 0.8744 4.1264 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (10 . 9)) 1600 0.8710 6.7225 ((1 . 1) (2 . 3) (4 . 4) (7 . 5) (8 . 6) (10 . 8) (11 . 9)) 1601 0.8729 5.7356 ((1 . 10) (2 . 11) (4 . 12) (7 . 15) (8 . 17) (10 . 20) (11 . 21)) 1660 0.7497 4.1436 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (8 . 5) (10 . 7)) 1661 0.6247 5.5351 ((2 . 12) (4 . 14) (5 . 15) (10 . 17) (11 . 18)) 1666 0.9934 6.4886 ((1 . 3) (2 . 4) (4 . 5) (5 . 6) (7 . 7) (8 . 8) (10 . 9) (11 . 11)) 1667 0.7493 5.2563 ((2 . 39) (4 . 40) (5 . 41) (8 . 42) (10 . 44) (11 . 45)) 1668 0.4999 5.1739 ((1 . 46) (2 . 48) (4 . 50) (5 . 51)) 1684 0.4997 7.0609 ((1 . 2) (2 . 3) (4 . 4) (7 . 9)) 1688 0.6247 5.5268 ((5 . 3) (7 . 6) (8 . 7) (10 . 9) (11 . 10)) 1722 0.4998 6.2214 ((1 . 3) (2 . 4) (4 . 6) (7 . 8)) 1723 0.6241 7.0323 ((1 . 16) (2 . 17) (4 . 19) (7 . 20) (10 . 22)) 1826 0.8742 4.4858 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 7) (8 . 8) (10 . 9)) 1827 0.7450 8.6568 ((2 . 13) (4 . 14) (7 . 16) (8 . 18) (10 . 19) (11 . 20)) 1828 0.6226 9.0448 ((2 . 22) (4 . 23) (7 . 26) (8 . 27) (10 . 28)) 1864 0.6238 7.6403 ((1 . 2) (4 . 4) (5 . 6) (7 . 9) (8 . 10)) 1928 0.7494 5.1656 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (10 . 9) (11 . 11)) 1938 0.4998 6.0485 ((7 . 4) (8 . 5) (10 . 6) (11 . 8)) 1939 0.8732 5.5521 ((1 . 10) (2 . 11) (4 . 12) (7 . 15) (8 . 16) (10 . 17) (11 . 18)) 1996 0.8745 4.0476 ((1 . 1) (2 . 2) (4 . 3) (7 . 4) (8 . 5) (10 . 6) (11 . 7)) 2009 0.7491 5.6438 ((1 . 2) (2 . 3) (4 . 4) (8 . 7) (10 . 8) (11 . 9)) 2022 0.4999 5.5226 ((1 . 19) (2 . 20) (4 . 22) (5 . 24)) 2061 0.4999 5.7506 ((1 . 1) (2 . 3) (4 . 5) (5 . 6)) 2087 0.8738 4.9801 ((1 . 1) (2 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (10 . 10)) 2110 0.6230 8.5945 ((1 . 21) (4 . 24) (5 . 26) (7 . 28) (8 . 29)) 2165 0.8698 7.2100 ((1 . 24) (2 . 29) (4 . 30) (7 . 31) (8 . 32) (10 . 37) (11 . 40)) 2186 0.4998 6.5625 ((7 . 7) (8 . 8) (10 . 9) (11 . 11)) 2188 0.4998 6.6088 ((2 . 9) (8 . 14) (10 . 15) (11 . 16)) 2191 0.7499 3.5528 ((2 . 1) (4 . 2) (7 . 4) (8 . 5) (10 . 7) (11 . 8)) 2221 0.9987 4.2992 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (7 . 5) (8 . 6) (10 . 8) (11 . 9)) 2246 0.9999 1.7275 ((1 . 1) (2 . 2) (4 . 3) (5 . 5) (7 . 8) (8 . 9) (10 . 11) (11 . 12)) 2318 0.8746 3.7606 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 8) (8 . 10) (10 . 12)) 2319 0.4999 5.8074 ((1 . 15) (2 . 16) (7 . 21) (8 . 22)) 2320 0.8745 4.0940 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (10 . 10)) 2321 0.6246 5.6043 ((2 . 14) (4 . 15) (8 . 18) (10 . 20) (11 . 22)) 2338 0.4999 5.1699 ((2 . 13) (4 . 14) (5 . 15) (10 . 19)) 2365 0.4998 6.3021 ((1 . 2) (2 . 3) (4 . 6) (5 . 9)) 2428 0.7473 7.4322 ((4 . 8) (5 . 9) (7 . 12) (8 . 13) (10 . 14) (11 . 15)) 2441 0.6232 8.3634 ((5 . 3) (7 . 5) (8 . 6) (10 . 7) (11 . 9)) 2442 0.4998 6.0909 ((1 . 10) (2 . 12) (4 . 14) (5 . 15)) 2444 0.8732 5.4927 ((1 . 1) (2 . 2) (4 . 4) (7 . 5) (8 . 7) (10 . 8) (11 . 9)) 2445 0.6243 6.7368 ((1 . 11) (2 . 12) (4 . 14) (5 . 15) (7 . 17)) 2473 0.7488 5.9793 ((2 . 3) (4 . 5) (5 . 6) (8 . 9) (10 . 10) (11 . 11)) 2507 0.8750 1.5282 ((1 . 3) (2 . 4) (4 . 6) (7 . 9) (8 . 11) (10 . 13) (11 . 14)) 2508 0.8749 2.7642 ((1 . 16) (2 . 17) (4 . 19) (5 . 20) (8 . 22) (10 . 24) (11 . 25)) 2531 0.8724 6.0250 ((1 . 1) (2 . 2) (4 . 3) (7 . 6) (8 . 7) (10 . 8) (11 . 9)) 2534 0.6233 8.2664 ((2 . 16) (7 . 19) (8 . 20) (10 . 22) (11 . 23)) 2577 0.8749 2.3541 ((1 . 2) (2 . 3) (4 . 5) (7 . 6) (8 . 7) (10 . 9) (11 . 10)) 2578 0.8749 2.9509 ((1 . 12) (2 . 13) (4 . 15) (7 . 17) (8 . 18) (10 . 20) (11 . 21)) 2579 0.7494 5.0526 ((1 . 23) (2 . 24) (4 . 25) (5 . 27) (10 . 31) (11 . 32)) 2641 0.8726 5.9576 ((1 . 1) (2 . 3) (4 . 5) (7 . 7) (8 . 8) (10 . 9) (11 . 10)) 2686 0.9932 6.5251 ((1 . 2) (2 . 3) (4 . 4) (5 . 7) (7 . 8) (8 . 9) (10 . 10) (11 . 13)) 2728 0.8733 5.4672 ((1 . 1) (2 . 2) (4 . 3) (7 . 5) (8 . 6) (10 . 9) (11 . 10)) 2767 0.8743 4.3264 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (8 . 5) (10 . 6) (11 . 7)) 2812 0.8736 5.2006 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (8 . 5) (10 . 6) (11 . 7)) 2813 0.4997 7.0813 ((4 . 9) (7 . 12) (8 . 13) (10 . 14)) 2877 0.4999 5.8331 ((1 . 6) (2 . 7) (4 . 8) (5 . 9)) 2880 0.9780 6.6789 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7) (10 . 8) (11 . 12)) 2971 0.9986 4.3935 ((1 . 4) (2 . 5) (4 . 8) (5 . 10) (7 . 13) (8 . 14) (10 . 16) (11 . 17)) 2987 0.4998 6.1279 ((1 . 27) (2 . 28) (7 . 32) (8 . 33)) 3099 0.8725 5.9904 ((1 . 23) (2 . 24) (4 . 25) (5 . 26) (8 . 27) (10 . 28) (11 . 29)) 3101 0.6244 6.4472 ((1 . 50) (2 . 51) (4 . 52) (5 . 53) (11 . 56)) 3159 0.6248 4.9649 ((1 . 53) (4 . 55) (7 . 58) (8 . 59) (10 . 60)) 3185 0.1987 6.9425 ((7 . 14) (8 . 15) (10 . 16) (11 . 21)) 3186 0.4998 6.5593 ((7 . 1) (8 . 2) (10 . 3) (11 . 7)) 3205 0.4999 5.5944 ((7 . 1) (8 . 2) (10 . 3) (11 . 4)) 3292 0.9968 5.3878 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (10 . 10) (11 . 11)) 3342 0.9720 6.3720 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7) (10 . 8) (11 . 9)) 3357 0.8713 6.6272 ((1 . 4) (2 . 5) (4 . 6) (5 . 7) (8 . 8) (10 . 10) (11 . 11)) 3378 0.3669 9.8908 ((5 . 32) (7 . 33) (8 . 34) (10 . 35)) 3417 0.7495 4.9414 ((1 . 4) (2 . 6) (4 . 7) (5 . 8) (10 . 10) (11 . 11)) 3430 0.7485 6.3469 ((1 . 2) (2 . 4) (4 . 5) (8 . 8) (10 . 9) (11 . 10)) 3431 0.8712 6.6724 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (7 . 6) (8 . 7) (10 . 8)) 3443 0.9964 5.5740 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7) (10 . 8) (11 . 9)) 3444 0.7481 6.7786 ((1 . 37) (2 . 38) (4 . 39) (8 . 43) (10 . 45) (11 . 46)) 3445 0.4998 6.5836 ((7 . 49) (8 . 50) (10 . 51) (11 . 52)) 3472 0.8743 4.3823 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 8) (8 . 9) (10 . 11)) 3478 0.7490 5.7236 ((1 . 3) (2 . 4) (4 . 5) (8 . 8) (10 . 9) (11 . 10)) 3507 0.4998 6.1204 ((1 . 32) (2 . 33) (4 . 34) (5 . 37)) 3530 0.7492 5.3795 ((1 . 20) (2 . 21) (5 . 23) (8 . 24) (10 . 25) (11 . 27)) 3531 0.4999 5.8842 ((1 . 33) (2 . 34) (4 . 35) (5 . 36)) 3532 0.1497 8.9071 ((5 . 37) (7 . 38) (10 . 39) (11 . 40)) 3550 0.7484 6.5155 ((1 . 2) (2 . 3) (4 . 6) (8 . 9) (10 . 10) (11 . 13)) 3554 0.8712 6.6724 ((1 . 1) (2 . 3) (4 . 4) (5 . 5) (8 . 8) (10 . 10) (11 . 11)) 3555 0.8721 6.1936 ((1 . 12) (2 . 14) (4 . 15) (7 . 17) (8 . 19) (10 . 21) (11 . 23)) 3556 0.9974 5.1281 ((1 . 1) (2 . 2) (4 . 3) (5 . 5) (7 . 7) (8 . 8) (10 . 10) (11 . 12)) 3557 0.7493 5.2641 ((2 . 15) (4 . 16) (7 . 18) (8 . 19) (10 . 21) (11 . 23)) 3655 0.8678 7.8255 ((1 . 28) (2 . 31) (4 . 32) (7 . 34) (8 . 35) (10 . 41) (11 . 45)) 3667 0.6239 7.4183 ((2 . 4) (4 . 6) (8 . 8) (10 . 9) (11 . 10)) 3690 0.7497 4.3939 ((1 . 2) (2 . 3) (4 . 5) (8 . 9) (10 . 11) (11 . 13)) 3699 0.7499 3.2087 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (8 . 5) (10 . 8)) 3700 0.8733 5.4064 ((1 . 13) (2 . 14) (4 . 16) (5 . 17) (8 . 18) (10 . 19) (11 . 20)) 3762 0.4997 7.1973 ((1 . 1) (2 . 2) (4 . 3) (7 . 6)) 3791 0.7437 7.1419 ((2 . 44) (4 . 45) (5 . 46) (7 . 47) (8 . 48) (10 . 50) (11 . 52)) 3792 0.7465 7.8901 ((4 . 55) (5 . 56) (7 . 58) (8 . 59) (10 . 60) (11 . 61)) 3793 0.7474 7.3564 ((2 . 67) (4 . 69) (5 . 70) (8 . 71) (10 . 72) (11 . 73)) 3794 0.5000 4.0647 ((1 . 27) (2 . 28) (4 . 30) (5 . 31)) 3876 0.6239 7.4571 ((1 . 2) (2 . 3) (4 . 4) (7 . 7) (11 . 10)) 3948 0.8745 4.0576 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 9) (8 . 10) (10 . 12)) 3949 0.6233 8.2662 ((5 . 15) (7 . 17) (8 . 19) (10 . 21) (11 . 22)) 3950 0.9970 5.3035 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (10 . 10) (11 . 12)) 3951 0.8718 6.3697 ((1 . 13) (2 . 15) (4 . 16) (7 . 18) (8 . 19) (10 . 21) (11 . 22)) 4079 0.5000 4.2485 ((4 . 4) (5 . 5) (10 . 8) (11 . 10)) 4109 0.8744 4.2541 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (8 . 5) (10 . 7) (11 . 8)) 4110 0.5000 2.4175 ((7 . 9) (8 . 10) (10 . 11) (11 . 12)) 4111 0.6243 6.5252 ((1 . 17) (2 . 18) (4 . 19) (5 . 20) (7 . 23)) 4145 0.8743 4.3800 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (8 . 6) (10 . 7) (11 . 9)) 4146 0.2910 7.1385 ((7 . 11) (8 . 12) (10 . 14) (11 . 15)) 4178 0.6225 9.1398 ((4 . 3) (5 . 4) (8 . 6) (10 . 7) (11 . 9)) 4197 1.0000 0.0000 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (10 . 10) (11 . 11)) 4199 0.7494 5.0610 ((1 . 2) (2 . 3) (7 . 4) (8 . 5) (10 . 6) (11 . 7)) 4219 0.7486 6.2898 ((1 . 3) (2 . 4) (4 . 5) (8 . 8) (10 . 9) (11 . 10)) 4221 0.9999 2.1332 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 8) (8 . 10) (10 . 12) (11 . 13)) 4224 0.8742 4.5155 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 8) (8 . 9) (10 . 11)) 4230 0.7498 3.8990 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (8 . 8) (10 . 11)) 4286 0.8743 4.4096 ((1 . 3) (2 . 4) (4 . 6) (7 . 9) (8 . 11) (10 . 13) (11 . 15)) 4289 0.4997 6.8843 ((7 . 2) (8 . 3) (10 . 4) (11 . 5)) 4290 0.4998 6.1710 ((7 . 14) (8 . 15) (10 . 17) (11 . 18)) 4349 0.8747 3.4594 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (10 . 10)) 4464 0.8727 5.8926 ((1 . 1) (2 . 2) (4 . 3) (7 . 6) (8 . 7) (10 . 9) (11 . 10)) 4512 0.8746 3.7593 ((1 . 2) (2 . 3) (4 . 6) (7 . 7) (8 . 8) (10 . 9) (11 . 10)) 4525 0.6247 5.1586 ((4 . 23) (5 . 24) (8 . 26) (10 . 28) (11 . 29)) 4526 0.8734 5.3255 ((1 . 30) (2 . 31) (4 . 32) (7 . 33) (8 . 34) (10 . 35) (11 . 36)) 4581 0.6233 8.2579 ((1 . 2) (2 . 3) (4 . 4) (10 . 9) (11 . 10)) 4584 0.9959 5.7415 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 8) (8 . 9) (10 . 11) (11 . 13)) 4637 0.8742 4.4827 ((1 . 1) (2 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (10 . 10)) 4638 0.4999 5.8084 ((4 . 13) (5 . 14) (7 . 15) (10 . 18)) 4639 0.9989 4.1561 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 8) (8 . 9) (10 . 10) (11 . 12)) 4640 0.8730 5.6584 ((1 . 14) (2 . 16) (4 . 17) (7 . 19) (8 . 21) (10 . 23) (11 . 24)) 4687 0.4998 6.0560 ((7 . 31) (8 . 33) (10 . 34) (11 . 35)) 4700 0.6208 10.4183 ((4 . 2) (7 . 5) (8 . 6) (10 . 8) (11 . 10)) 4708 0.7500 2.1273 ((1 . 48) (2 . 49) (4 . 50) (8 . 51) (10 . 53) (11 . 54)) 4744 0.4997 7.2072 ((4 . 1) (5 . 2) (10 . 6) (11 . 7)) 4777 0.8740 4.8099 ((1 . 3) (2 . 4) (4 . 5) (5 . 6) (8 . 7) (10 . 10) (11 . 11)) 4809 0.6239 7.4254 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (7 . 6)) 4892 0.6246 5.6149 ((1 . 3) (4 . 5) (8 . 7) (10 . 8) (11 . 9)) 4896 0.4999 5.3237 ((7 . 7) (8 . 8) (10 . 10) (11 . 11)) 4897 0.4998 6.2570 ((7 . 14) (8 . 15) (10 . 17) (11 . 18)) 4898 0.1987 8.4583 ((2 . 19) (7 . 23) (8 . 27) (10 . 28)) 4908 0.6225 9.1093 ((1 . 1) (4 . 4) (5 . 5) (8 . 7) (10 . 8)) 4921 0.6247 5.3627 ((1 . 7) (2 . 8) (4 . 9) (10 . 14) (11 . 15)) 4923 0.6242 6.9300 ((2 . 16) (4 . 17) (5 . 18) (10 . 20) (11 . 22)) 4951 0.6224 9.2068 ((5 . 47) (7 . 50) (8 . 51) (10 . 54) (11 . 55)) 4967 0.4998 6.4186 ((4 . 26) (7 . 29) (8 . 30) (10 . 31)) 4968 0.6249 3.8215 ((1 . 33) (7 . 39) (8 . 40) (10 . 42) (11 . 43)) 5040 0.9995 3.4293 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 8) (8 . 10) (10 . 12) (11 . 13)) 5043 0.4999 5.2422 ((7 . 4) (8 . 5) (10 . 6) (11 . 7)) 5166 0.6249 4.4356 ((1 . 2) (2 . 3) (4 . 4) (7 . 6) (8 . 7)) 5246 0.9960 5.7195 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 9) (8 . 10) (10 . 12) (11 . 14)) 5281 0.4999 5.3119 ((1 . 65) (2 . 66) (4 . 67) (5 . 69)) 5310 0.4999 5.5528 ((7 . 8) (8 . 9) (10 . 10) (11 . 12)) 5311 0.6241 7.1024 ((4 . 14) (7 . 15) (8 . 16) (10 . 17) (11 . 18)) 5316 0.9988 4.1805 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 8) (8 . 10) (10 . 12) (11 . 14)) 5319 0.6243 6.7108 ((1 . 1) (2 . 2) (4 . 3) (5 . 5) (7 . 7)) 5320 0.8745 3.9867 ((1 . 9) (2 . 10) (4 . 11) (5 . 12) (8 . 13) (10 . 14) (11 . 16)) 5342 0.4998 6.0866 ((7 . 45) (8 . 47) (10 . 48) (11 . 50)) 5413 0.9679 5.9805 ((1 . 2) (2 . 3) (4 . 4) (5 . 6) (7 . 7) (8 . 8) (10 . 10) (11 . 11)) 5431 0.6242 6.8131 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (7 . 6)) 5432 0.6235 7.9728 ((5 . 8) (7 . 10) (8 . 11) (10 . 12) (11 . 13)) 5497 0.7435 9.2552 ((1 . 21) (2 . 22) (4 . 23) (5 . 25) (7 . 28) (8 . 29)) 5552 0.6237 7.7478 ((2 . 6) (4 . 8) (5 . 9) (10 . 12) (11 . 13)) 5615 0.6240 7.2372 ((2 . 29) (4 . 30) (5 . 32) (7 . 34) (8 . 35)) 5633 0.4998 5.9788 ((1 . 1) (2 . 2) (4 . 3) (5 . 5)) 5634 0.4998 6.7674 ((4 . 13) (7 . 17) (8 . 18) (10 . 20)) 5682 0.7477 7.1416 ((1 . 1) (2 . 3) (4 . 4) (5 . 5) (10 . 9) (11 . 10)) 5683 0.9397 6.1621 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7) (10 . 8) (11 . 10)) 5733 0.8732 5.5450 ((1 . 12) (2 . 14) (4 . 15) (7 . 17) (8 . 19) (10 . 21) (11 . 22)) 5835 0.6247 5.4902 ((2 . 37) (4 . 38) (8 . 41) (10 . 42) (11 . 44)) 5863 0.4996 7.5386 ((7 . 30) (8 . 31) (10 . 33) (11 . 35)) 5899 0.8735 5.2791 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (8 . 5) (10 . 6) (11 . 8)) 5916 0.4999 5.5660 ((1 . 1) (2 . 2) (7 . 5) (8 . 8)) 5936 0.9981 4.7601 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 9) (8 . 11) (10 . 13) (11 . 15)) 5948 0.4998 6.2404 ((1 . 1) (2 . 3) (4 . 5) (7 . 10)) 5974 0.5513 9.2194 ((1 . 3) (2 . 4) (4 . 5) (7 . 10) (8 . 11)) 5988 0.9901 7.1844 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (7 . 5) (8 . 6) (10 . 7) (11 . 8)) 5989 0.6247 5.5202 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (11 . 9)) 5993 0.7498 3.9819 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (8 . 5) (10 . 7)) 6012 0.6233 8.2907 ((1 . 48) (4 . 51) (5 . 52) (7 . 54) (8 . 55)) 6013 0.7455 8.4070 ((2 . 58) (4 . 59) (7 . 63) (8 . 64) (10 . 66) (11 . 68)) 6037 0.6237 7.7472 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 7)) 6105 0.4997 7.3335 ((7 . 3) (8 . 4) (10 . 6) (11 . 7)) 6124 0.9946 6.1569 ((1 . 8) (2 . 9) (4 . 10) (5 . 11) (7 . 12) (8 . 14) (10 . 15) (11 . 16)) 6126 0.4999 5.8524 ((7 . 9) (8 . 10) (10 . 11) (11 . 13)) 6206 0.7454 8.4571 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 8) (8 . 9)) 6207 0.8737 5.1202 ((1 . 10) (2 . 12) (4 . 14) (5 . 15) (8 . 16) (10 . 18) (11 . 19)) 6285 0.9974 5.1277 ((1 . 3) (2 . 4) (4 . 5) (5 . 6) (7 . 7) (8 . 8) (10 . 9) (11 . 10)) 6287 0.8698 7.2185 ((1 . 38) (2 . 39) (4 . 40) (7 . 41) (8 . 42) (10 . 44) (11 . 45)) 6288 0.4997 6.7919 ((7 . 48) (8 . 49) (10 . 50) (11 . 51)) 6334 0.6249 4.3609 ((5 . 4) (7 . 5) (8 . 6) (10 . 8) (11 . 9)) 6338 0.7497 4.2493 ((2 . 1) (4 . 2) (7 . 4) (8 . 5) (10 . 7) (11 . 8)) 6379 0.4998 6.3396 ((4 . 4) (5 . 5) (7 . 7) (8 . 8)) 6380 0.6244 6.4727 ((2 . 11) (4 . 13) (5 . 14) (10 . 17) (11 . 19)) 6443 0.8733 5.4483 ((1 . 1) (2 . 3) (4 . 4) (5 . 5) (7 . 8) (8 . 10) (10 . 12)) 6444 0.6247 5.5440 ((2 . 15) (4 . 16) (5 . 17) (10 . 21) (11 . 22)) 6445 0.4997 7.0623 ((1 . 2) (2 . 3) (4 . 4) (7 . 8)) 6446 0.4998 6.3731 ((4 . 12) (7 . 16) (8 . 18) (10 . 20)) 6449 0.8736 5.1361 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (8 . 5) (10 . 6) (11 . 8)) 6466 0.8738 4.9296 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (8 . 5) (10 . 7) (11 . 8)) 6467 0.7449 8.6891 ((2 . 10) (4 . 11) (7 . 15) (8 . 16) (10 . 17) (11 . 18)) 6485 0.6245 6.0374 ((2 . 2) (4 . 3) (5 . 5) (10 . 9) (11 . 10)) 6570 0.4998 6.6993 ((7 . 15) (8 . 16) (10 . 17) (11 . 19)) 6612 0.9705 6.7658 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7) (10 . 8) (11 . 9)) END