2191 233 0.8228 9.1845 ((1 . 1) (2 . 2) (4 . 3) (7 . 5) (8 . 7)) 234 0.8324 4.9489 ((1 . 11) (2 . 12) (5 . 14) (7 . 15) (8 . 16)) 291 0.6653 7.1684 ((1 . 3) (2 . 5) (4 . 6) (5 . 7)) 349 0.9992 3.7672 ((1 . 3) (2 . 4) (4 . 7) (5 . 8) (7 . 10) (8 . 11)) 365 0.8330 3.8875 ((1 . 2) (2 . 3) (4 . 4) (5 . 6) (7 . 8)) 388 0.8315 5.8976 ((1 . 17) (2 . 18) (4 . 19) (7 . 21) (8 . 22)) 402 0.9973 5.1521 ((1 . 3) (2 . 5) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 403 0.9994 3.5909 ((1 . 13) (2 . 15) (4 . 17) (5 . 18) (7 . 20) (8 . 21)) 404 0.8288 7.3837 ((1 . 24) (2 . 25) (5 . 28) (7 . 30) (8 . 31)) 405 0.6414 15.3376 ((1 . 31) (4 . 33) (5 . 35) (7 . 37)) 445 0.8332 3.1613 ((1 . 2) (2 . 3) (5 . 5) (7 . 6) (8 . 7)) 449 0.8318 5.6196 ((1 . 2) (2 . 3) (5 . 6) (7 . 7) (8 . 9)) 450 0.8318 5.6248 ((1 . 13) (2 . 15) (5 . 18) (7 . 19) (8 . 20)) 564 0.9985 4.4834 ((1 . 2) (2 . 3) (4 . 7) (5 . 8) (7 . 10) (8 . 11)) 565 0.6659 6.2893 ((1 . 14) (2 . 16) (4 . 17) (5 . 18)) 567 0.9964 5.5651 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 8) (8 . 10)) 568 0.9953 5.9511 ((1 . 13) (2 . 15) (4 . 16) (5 . 17) (7 . 18) (8 . 19)) 570 0.8315 5.9071 ((1 . 2) (2 . 3) (5 . 9) (7 . 11) (8 . 12)) 571 0.8225 9.2457 ((2 . 13) (4 . 14) (5 . 15) (7 . 16) (8 . 17)) 578 0.8329 4.2050 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6)) 579 0.9965 5.5014 ((1 . 10) (2 . 12) (4 . 13) (5 . 14) (7 . 15) (8 . 17)) 599 0.8205 9.6611 ((2 . 1) (4 . 2) (5 . 3) (7 . 4) (8 . 5)) 600 0.6659 6.1812 ((1 . 12) (2 . 14) (4 . 15) (5 . 16)) 626 0.9917 6.8665 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 8) (8 . 10)) 668 0.9935 6.4593 ((1 . 3) (2 . 5) (4 . 7) (5 . 8) (7 . 10) (8 . 12)) 669 0.9960 5.7141 ((1 . 14) (2 . 16) (4 . 17) (5 . 18) (7 . 20) (8 . 21)) 670 0.6626 9.4960 ((1 . 23) (4 . 27) (7 . 28) (8 . 30)) 671 0.6637 8.7746 ((2 . 32) (5 . 35) (7 . 37) (8 . 38)) 693 0.9989 4.1683 ((1 . 31) (2 . 32) (4 . 33) (5 . 34) (7 . 35) (8 . 36)) 695 0.9976 4.9932 ((1 . 3) (2 . 4) (4 . 5) (5 . 6) (7 . 7) (8 . 8)) 696 0.8244 8.7982 ((1 . 10) (2 . 12) (4 . 13) (7 . 16) (8 . 17)) 697 0.8321 5.3793 ((1 . 22) (2 . 23) (5 . 26) (7 . 27) (8 . 30)) 698 0.6658 6.3893 ((1 . 36) (2 . 38) (4 . 39) (5 . 40)) 828 0.9988 4.1733 ((1 . 8) (2 . 9) (4 . 10) (5 . 11) (7 . 12) (8 . 13)) 888 0.9993 3.7090 ((1 . 14) (2 . 15) (4 . 17) (5 . 19) (7 . 20) (8 . 21)) 919 0.8269 8.0920 ((1 . 5) (2 . 6) (4 . 8) (5 . 9) (7 . 10)) 922 0.9950 6.0257 ((1 . 3) (2 . 4) (4 . 7) (5 . 8) (7 . 10) (8 . 12)) 926 0.9993 3.6347 ((1 . 2) (2 . 4) (4 . 8) (5 . 9) (7 . 11) (8 . 12)) 927 0.9985 4.4363 ((1 . 14) (2 . 15) (4 . 17) (5 . 18) (7 . 19) (8 . 20)) 1025 0.8332 3.0463 ((1 . 4) (2 . 5) (5 . 7) (7 . 8) (8 . 9)) 1086 0.9846 8.0527 ((1 . 6) (2 . 7) (4 . 8) (5 . 10) (7 . 12) (8 . 13)) 1110 0.9992 3.8421 ((1 . 11) (2 . 13) (4 . 14) (5 . 15) (7 . 16) (8 . 18)) 1112 0.9961 5.6536 ((1 . 6) (2 . 7) (4 . 8) (5 . 9) (7 . 10) (8 . 12)) 1126 0.9987 4.3040 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 1127 0.8319 5.5817 ((1 . 14) (2 . 16) (5 . 18) (7 . 19) (8 . 21)) 1149 0.9946 6.1526 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7)) 1164 0.6664 4.8122 ((4 . 6) (5 . 7) (7 . 9) (8 . 10)) 1181 0.9990 4.0497 ((1 . 3) (2 . 4) (4 . 7) (5 . 9) (7 . 11) (8 . 13)) 1235 0.9996 3.1101 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 1236 0.9994 3.5695 ((1 . 13) (2 . 15) (4 . 18) (5 . 19) (7 . 21) (8 . 23)) 1270 0.9997 3.0855 ((1 . 35) (2 . 36) (4 . 37) (5 . 38) (7 . 39) (8 . 40)) 1293 0.6659 6.3218 ((1 . 1) (5 . 4) (7 . 5) (8 . 7)) 1294 0.9983 4.6168 ((1 . 40) (2 . 41) (4 . 43) (5 . 44) (7 . 46) (8 . 47)) 1295 0.9978 4.8937 ((1 . 49) (2 . 50) (4 . 51) (5 . 52) (7 . 53) (8 . 54)) 1341 0.8328 4.3776 ((1 . 3) (2 . 5) (4 . 7) (5 . 8) (7 . 10)) 1342 0.6601 10.7557 ((2 . 17) (4 . 19) (5 . 21) (7 . 23)) 1363 0.6656 6.8540 ((1 . 3) (2 . 6) (4 . 7) (5 . 8)) 1374 0.3879 7.5563 ((4 . 1) (5 . 3) (7 . 4) (8 . 6)) 1375 0.6654 7.1591 ((4 . 10) (5 . 12) (7 . 14) (8 . 16)) 1390 0.6637 8.7743 ((2 . 1) (4 . 2) (5 . 3) (7 . 4)) 1391 0.9977 4.9369 ((1 . 12) (2 . 13) (4 . 15) (5 . 16) (7 . 17) (8 . 18)) 1392 0.9983 4.6136 ((1 . 21) (2 . 22) (4 . 23) (5 . 24) (7 . 25) (8 . 26)) 1418 0.9901 7.1751 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 8)) 1419 0.8320 5.4341 ((1 . 11) (2 . 12) (5 . 14) (7 . 15) (8 . 16)) 1445 0.9994 3.5458 ((1 . 3) (2 . 5) (4 . 9) (5 . 10) (7 . 12) (8 . 13)) 1446 0.8309 6.3543 ((1 . 16) (2 . 17) (5 . 20) (7 . 22) (8 . 24)) 1502 0.9990 4.0075 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 1555 0.9995 3.3520 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 8) (8 . 9)) 1566 0.6661 5.7417 ((2 . 6) (4 . 8) (5 . 10) (7 . 12)) 1568 0.9987 4.3161 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7)) 1569 0.9981 4.7196 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 8)) 1570 0.9979 4.8420 ((1 . 10) (2 . 11) (4 . 12) (5 . 13) (7 . 14) (8 . 16)) 1571 0.9986 4.3533 ((1 . 18) (2 . 19) (4 . 20) (5 . 21) (7 . 22) (8 . 24)) 1572 0.9979 4.8764 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 8)) 1573 0.9982 4.6978 ((1 . 10) (2 . 11) (4 . 12) (5 . 13) (7 . 14) (8 . 16)) 1579 0.9982 4.6438 ((1 . 3) (2 . 5) (4 . 8) (5 . 10) (7 . 12) (8 . 13)) 1580 0.9975 5.0568 ((1 . 3) (2 . 4) (4 . 7) (5 . 8) (7 . 9) (8 . 11)) 1600 0.9989 4.1315 ((1 . 3) (2 . 4) (4 . 5) (5 . 6) (7 . 8) (8 . 9)) 1601 0.9996 3.1664 ((1 . 11) (2 . 12) (4 . 15) (5 . 17) (7 . 20) (8 . 21)) 1660 0.8325 4.8474 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 7)) 1661 0.8324 4.9693 ((1 . 12) (2 . 14) (5 . 16) (7 . 17) (8 . 18)) 1666 0.9979 4.8662 ((1 . 4) (2 . 5) (4 . 7) (5 . 8) (7 . 9) (8 . 10)) 1667 0.9986 4.4083 ((1 . 39) (2 . 40) (4 . 41) (5 . 42) (7 . 44) (8 . 45)) 1668 0.9980 4.7728 ((1 . 48) (2 . 50) (4 . 51) (5 . 53) (7 . 54) (8 . 55)) 1684 0.6659 6.1881 ((1 . 4) (4 . 7) (5 . 9) (7 . 11)) 1688 0.9990 4.0311 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 1722 0.6658 6.5353 ((4 . 1) (5 . 2) (7 . 4) (8 . 6)) 1723 0.8310 6.2438 ((2 . 16) (4 . 17) (5 . 19) (7 . 20) (8 . 21)) 1826 0.8332 3.2674 ((1 . 3) (2 . 5) (4 . 7) (5 . 8) (7 . 9)) 1827 0.8316 5.7666 ((1 . 14) (2 . 16) (5 . 19) (7 . 20) (8 . 21)) 1828 0.8323 5.1127 ((1 . 23) (2 . 26) (4 . 27) (5 . 28) (7 . 29)) 1864 0.8234 9.0327 ((1 . 1) (2 . 3) (4 . 4) (5 . 6) (8 . 9)) 1928 0.9985 4.4497 ((1 . 3) (2 . 4) (4 . 5) (5 . 7) (7 . 9) (8 . 11)) 1938 0.8246 8.7361 ((1 . 1) (4 . 4) (5 . 5) (7 . 6) (8 . 8)) 1939 0.9991 3.9393 ((1 . 11) (2 . 12) (4 . 15) (5 . 16) (7 . 17) (8 . 18)) 1996 0.6658 6.3774 ((1 . 3) (5 . 4) (7 . 5) (8 . 6)) 2009 0.9985 4.4373 ((1 . 3) (2 . 4) (4 . 5) (5 . 7) (7 . 8) (8 . 9)) 2022 0.8330 3.7115 ((1 . 15) (2 . 16) (5 . 20) (7 . 22) (8 . 24)) 2061 0.9998 2.6117 ((1 . 3) (2 . 5) (4 . 6) (5 . 7) (7 . 8) (8 . 9)) 2087 0.9955 5.8775 ((1 . 3) (2 . 4) (4 . 7) (5 . 8) (7 . 10) (8 . 12)) 2110 0.9988 4.1972 ((1 . 23) (2 . 24) (4 . 26) (5 . 27) (7 . 28) (8 . 29)) 2165 0.6665 4.0671 ((1 . 24) (5 . 29) (7 . 30) (8 . 31)) 2186 0.9992 3.8365 ((1 . 8) (2 . 9) (4 . 11) (5 . 12) (7 . 13) (8 . 14)) 2188 0.8331 3.3910 ((1 . 10) (2 . 11) (5 . 14) (7 . 15) (8 . 16)) 2191 1.0000 0.0000 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (7 . 7) (8 . 8)) 2221 0.9996 3.2156 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 8) (8 . 9)) 2246 0.9987 4.2583 ((1 . 2) (2 . 3) (4 . 8) (5 . 9) (7 . 11) (8 . 12)) 2318 0.9966 5.4720 ((1 . 3) (2 . 5) (4 . 8) (5 . 10) (7 . 12) (8 . 14)) 2319 0.9979 4.8428 ((1 . 16) (2 . 17) (4 . 19) (5 . 20) (7 . 21) (8 . 22)) 2320 0.8321 5.3589 ((2 . 6) (4 . 7) (5 . 8) (7 . 10) (8 . 11)) 2321 0.8332 3.2707 ((1 . 14) (2 . 15) (5 . 18) (7 . 20) (8 . 22)) 2338 0.8332 3.0400 ((1 . 14) (2 . 15) (5 . 19) (7 . 21) (8 . 22)) 2365 0.9994 3.5929 ((1 . 3) (2 . 6) (4 . 9) (5 . 10) (7 . 11) (8 . 12)) 2428 0.8321 5.3171 ((2 . 4) (4 . 5) (5 . 6) (7 . 8) (8 . 9)) 2441 0.8304 6.6036 ((1 . 3) (2 . 4) (4 . 5) (5 . 6) (8 . 9)) 2442 0.9981 4.7030 ((1 . 12) (2 . 14) (4 . 15) (5 . 16) (7 . 17) (8 . 19)) 2444 0.9989 4.1079 ((1 . 2) (2 . 4) (4 . 5) (5 . 7) (7 . 8) (8 . 9)) 2445 0.9959 5.7359 ((1 . 12) (2 . 14) (4 . 15) (5 . 16) (7 . 17) (8 . 19)) 2473 0.8321 5.2918 ((2 . 1) (4 . 2) (5 . 3) (7 . 5) (8 . 6)) 2507 0.9995 3.4104 ((1 . 4) (2 . 6) (4 . 9) (5 . 11) (7 . 13) (8 . 14)) 2508 0.9971 5.2609 ((1 . 17) (2 . 19) (4 . 20) (5 . 22) (7 . 24) (8 . 25)) 2531 0.9991 3.8788 ((1 . 2) (2 . 3) (4 . 6) (5 . 7) (7 . 8) (8 . 9)) 2534 0.8320 5.3856 ((1 . 18) (2 . 19) (5 . 22) (7 . 23) (8 . 25)) 2577 0.9989 4.1262 ((1 . 3) (2 . 5) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 2578 0.9990 4.0144 ((1 . 13) (2 . 15) (4 . 17) (5 . 18) (7 . 20) (8 . 21)) 2579 0.9996 3.2103 ((1 . 24) (2 . 25) (4 . 27) (5 . 29) (7 . 31) (8 . 32)) 2641 0.9990 4.0358 ((1 . 3) (2 . 5) (4 . 7) (5 . 8) (7 . 9) (8 . 10)) 2686 0.9992 3.8150 ((1 . 3) (2 . 4) (4 . 8) (5 . 9) (7 . 10) (8 . 11)) 2728 0.9991 3.8749 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 9) (8 . 10)) 2767 0.9970 5.2852 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7)) 2812 0.9953 5.9286 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7)) 2877 0.9988 4.2398 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 7) (8 . 8)) 2880 0.9987 4.3184 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 8) (8 . 9)) 2971 0.9989 4.1508 ((1 . 5) (2 . 8) (4 . 13) (5 . 14) (7 . 16) (8 . 17)) 2987 0.6641 8.4941 ((2 . 30) (4 . 31) (5 . 32) (7 . 33)) 3099 0.9990 3.9997 ((1 . 24) (2 . 25) (4 . 26) (5 . 27) (7 . 28) (8 . 29)) 3101 0.8326 4.6823 ((1 . 51) (2 . 52) (5 . 54) (7 . 55) (8 . 56)) 3159 0.9978 4.9097 ((1 . 54) (2 . 55) (4 . 58) (5 . 59) (7 . 60) (8 . 61)) 3185 0.8330 3.8393 ((1 . 15) (2 . 16) (5 . 21) (7 . 23) (8 . 24)) 3186 0.8331 3.4324 ((1 . 2) (2 . 3) (5 . 7) (7 . 8) (8 . 9)) 3205 0.6660 6.0542 ((4 . 4) (5 . 5) (7 . 6) (8 . 8)) 3292 0.9972 5.2221 ((1 . 3) (2 . 4) (4 . 7) (5 . 8) (7 . 10) (8 . 11)) 3342 0.9985 4.4614 ((1 . 3) (2 . 4) (4 . 5) (5 . 7) (7 . 8) (8 . 9)) 3357 0.9915 6.9175 ((1 . 5) (2 . 6) (4 . 7) (5 . 8) (7 . 10) (8 . 11)) 3378 0.8333 2.1152 ((1 . 34) (2 . 35) (5 . 37) (7 . 39) (8 . 40)) 3417 0.9972 5.2289 ((1 . 6) (2 . 7) (4 . 8) (5 . 9) (7 . 10) (8 . 11)) 3430 0.9829 8.2654 ((1 . 4) (2 . 5) (4 . 6) (5 . 8) (7 . 9) (8 . 10)) 3431 0.6662 5.5571 ((4 . 4) (5 . 5) (7 . 6) (8 . 7)) 3443 0.9979 4.8610 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 8) (8 . 9)) 3444 0.9981 4.7573 ((1 . 38) (2 . 39) (4 . 41) (5 . 43) (7 . 45) (8 . 46)) 3445 0.9992 3.8154 ((1 . 48) (2 . 49) (4 . 50) (5 . 51) (7 . 52) (8 . 53)) 3472 0.9959 5.7260 ((1 . 3) (2 . 4) (4 . 8) (5 . 9) (7 . 11) (8 . 12)) 3478 0.9980 4.7746 ((1 . 4) (2 . 5) (4 . 7) (5 . 8) (7 . 9) (8 . 10)) 3507 0.6662 5.4997 ((2 . 33) (4 . 34) (5 . 37) (7 . 38)) 3530 0.8328 4.2593 ((1 . 21) (4 . 23) (5 . 24) (7 . 25) (8 . 27)) 3531 0.9979 4.8377 ((1 . 30) (2 . 32) (4 . 33) (5 . 34) (7 . 35) (8 . 36)) 3532 0.6664 4.8295 ((1 . 38) (5 . 39) (7 . 40) (8 . 41)) 3550 0.8203 9.6899 ((1 . 2) (2 . 3) (4 . 6) (7 . 9) (8 . 10)) 3554 0.9930 6.5758 ((1 . 3) (2 . 4) (4 . 5) (5 . 8) (7 . 10) (8 . 11)) 3555 0.9996 3.2699 ((1 . 14) (2 . 15) (4 . 17) (5 . 19) (7 . 21) (8 . 23)) 3556 0.9972 5.2034 ((1 . 2) (2 . 3) (4 . 7) (5 . 8) (7 . 10) (8 . 12)) 3557 0.9959 5.7408 ((1 . 15) (2 . 16) (4 . 18) (5 . 19) (7 . 21) (8 . 23)) 3655 0.6665 4.0650 ((1 . 28) (5 . 31) (7 . 32) (8 . 34)) 3667 0.8324 4.9789 ((1 . 4) (2 . 6) (5 . 8) (7 . 9) (8 . 10)) 3690 0.6657 6.5567 ((1 . 6) (2 . 9) (4 . 11) (5 . 12)) 3699 0.8323 5.1591 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 8)) 3700 0.9961 5.6789 ((1 . 14) (2 . 16) (4 . 17) (5 . 18) (7 . 19) (8 . 20)) 3762 0.8333 2.6659 ((1 . 2) (2 . 3) (5 . 5) (7 . 6) (8 . 7)) 3791 0.9966 5.4957 ((1 . 44) (2 . 45) (4 . 46) (5 . 48) (7 . 50) (8 . 52)) 3792 0.8326 4.6774 ((1 . 56) (4 . 58) (5 . 59) (7 . 60) (8 . 61)) 3793 0.8219 9.3732 ((2 . 66) (4 . 67) (5 . 69) (7 . 70) (8 . 71)) 3794 0.1996 9.2188 ((2 . 23) (5 . 26) (7 . 28) (8 . 29)) 3876 0.6665 4.1538 ((1 . 3) (2 . 4) (5 . 6) (8 . 10)) 3948 0.9963 5.5765 ((1 . 3) (2 . 5) (4 . 9) (5 . 10) (7 . 12) (8 . 14)) 3949 0.9995 3.3850 ((1 . 16) (2 . 17) (4 . 19) (5 . 21) (7 . 22) (8 . 24)) 3950 0.9975 5.0694 ((1 . 3) (2 . 4) (4 . 7) (5 . 8) (7 . 10) (8 . 12)) 3951 0.9997 3.0691 ((1 . 15) (2 . 16) (4 . 18) (5 . 19) (7 . 21) (8 . 22)) 4079 0.9910 7.0115 ((1 . 3) (2 . 4) (4 . 5) (5 . 7) (7 . 8) (8 . 10)) 4109 0.6664 4.7375 ((4 . 1) (5 . 2) (7 . 3) (8 . 4)) 4110 0.9967 5.4385 ((1 . 10) (2 . 11) (4 . 12) (5 . 13) (7 . 14) (8 . 15)) 4111 0.9946 6.1586 ((1 . 18) (2 . 19) (4 . 20) (5 . 22) (7 . 23) (8 . 24)) 4145 0.9957 5.7990 ((1 . 2) (2 . 3) (4 . 4) (5 . 6) (7 . 7) (8 . 9)) 4146 0.6666 3.4668 ((1 . 12) (2 . 14) (5 . 15) (7 . 16)) 4178 0.9961 5.6720 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 4197 0.9994 3.5528 ((1 . 2) (2 . 4) (4 . 7) (5 . 8) (7 . 10) (8 . 11)) 4199 0.8330 3.9285 ((1 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7)) 4219 0.9829 8.2743 ((1 . 4) (2 . 5) (4 . 6) (5 . 8) (7 . 9) (8 . 10)) 4221 0.8220 9.3487 ((1 . 3) (2 . 5) (5 . 7) (7 . 8) (8 . 10)) 4224 0.8301 6.7859 ((1 . 5) (2 . 6) (4 . 8) (5 . 9) (7 . 11)) 4230 0.6662 5.3758 ((4 . 3) (5 . 4) (7 . 5) (8 . 6)) 4286 0.9953 5.9491 ((1 . 5) (2 . 6) (4 . 9) (5 . 11) (7 . 13) (8 . 14)) 4289 0.9940 6.3189 ((1 . 3) (2 . 4) (4 . 5) (5 . 7) (7 . 9) (8 . 10)) 4290 0.9951 5.9977 ((1 . 13) (2 . 14) (4 . 15) (5 . 17) (7 . 18) (8 . 20)) 4349 0.9993 3.6578 ((1 . 3) (2 . 4) (4 . 7) (5 . 8) (7 . 10) (8 . 11)) 4464 0.9994 3.6043 ((1 . 2) (2 . 3) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 4512 0.9977 4.9516 ((1 . 3) (2 . 6) (4 . 7) (5 . 8) (7 . 9) (8 . 10)) 4525 0.8260 8.3734 ((1 . 23) (2 . 24) (4 . 26) (5 . 28) (7 . 29)) 4526 0.9989 4.1159 ((1 . 31) (2 . 32) (4 . 33) (5 . 34) (7 . 35) (8 . 36)) 4581 0.6662 5.6283 ((2 . 1) (4 . 2) (5 . 3) (7 . 5)) 4584 0.9984 4.5627 ((1 . 3) (2 . 5) (4 . 8) (5 . 9) (7 . 11) (8 . 12)) 4637 0.9991 3.9305 ((1 . 3) (2 . 4) (4 . 7) (5 . 8) (7 . 10) (8 . 11)) 4638 0.6635 8.9155 ((2 . 13) (4 . 14) (7 . 16) (8 . 18)) 4639 0.9960 5.7162 ((1 . 3) (2 . 5) (4 . 8) (5 . 9) (7 . 10) (8 . 12)) 4640 0.9998 2.6375 ((1 . 16) (2 . 17) (4 . 19) (5 . 21) (7 . 23) (8 . 24)) 4687 0.9958 5.7848 ((1 . 28) (2 . 30) (4 . 31) (5 . 33) (7 . 34) (8 . 35)) 4700 0.8312 6.1156 ((1 . 3) (2 . 4) (5 . 6) (7 . 8) (8 . 10)) 4708 0.8329 4.0607 ((1 . 49) (2 . 50) (5 . 51) (7 . 53) (8 . 54)) 4744 0.9989 4.1620 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7)) 4777 0.8331 3.6079 ((1 . 4) (2 . 5) (5 . 7) (7 . 10) (8 . 11)) 4800 0.6664 4.5789 ((1 . 3) (5 . 5) (7 . 7) (8 . 8)) 4809 0.9988 4.2488 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7)) 4892 0.9986 4.3644 ((1 . 4) (2 . 5) (4 . 6) (5 . 7) (7 . 8) (8 . 9)) 4896 0.9987 4.3152 ((1 . 3) (2 . 5) (4 . 7) (5 . 8) (7 . 10) (8 . 11)) 4897 0.6648 7.8390 ((1 . 12) (2 . 14) (4 . 15) (5 . 17)) 4898 0.0999 12.9565 ((1 . 19) (2 . 20) (7 . 27) (8 . 28)) 4908 0.9944 6.2250 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 8) (8 . 9)) 4921 0.6655 6.8878 ((1 . 7) (2 . 8) (4 . 9) (7 . 12)) 4923 0.8318 5.6452 ((1 . 16) (2 . 17) (5 . 19) (7 . 20) (8 . 22)) 4951 0.6660 6.0374 ((4 . 51) (5 . 54) (7 . 55) (8 . 56)) 4967 0.8304 6.6090 ((2 . 25) (4 . 28) (5 . 29) (7 . 30) (8 . 31)) 4968 0.8331 3.5370 ((2 . 37) (4 . 39) (5 . 40) (7 . 42) (8 . 43)) 5040 0.9995 3.3520 ((1 . 3) (2 . 4) (4 . 8) (5 . 10) (7 . 12) (8 . 13)) 5043 0.8311 6.2080 ((2 . 2) (4 . 3) (5 . 4) (7 . 5) (8 . 6)) 5166 0.9991 3.9316 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 8) (8 . 10)) 5246 0.9982 4.6618 ((1 . 4) (2 . 6) (4 . 9) (5 . 10) (7 . 12) (8 . 13)) 5281 0.6662 5.3948 ((1 . 65) (2 . 66) (4 . 67) (5 . 69)) 5310 0.9980 4.7868 ((1 . 4) (2 . 5) (4 . 8) (5 . 9) (7 . 10) (8 . 12)) 5311 0.9989 4.0978 ((1 . 14) (2 . 15) (4 . 16) (5 . 17) (7 . 18) (8 . 20)) 5316 0.9973 5.1452 ((1 . 3) (2 . 5) (4 . 8) (5 . 10) (7 . 12) (8 . 13)) 5319 0.9963 5.5920 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 7) (8 . 8)) 5320 0.9981 4.7199 ((1 . 10) (2 . 11) (4 . 12) (5 . 13) (7 . 14) (8 . 16)) 5342 0.2970 6.7580 ((1 . 48) (2 . 51) (4 . 52) (5 . 54)) 5413 0.9989 4.1691 ((1 . 3) (2 . 4) (4 . 6) (5 . 8) (7 . 10) (8 . 11)) 5431 0.9981 4.7069 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7)) 5432 0.9986 4.4157 ((1 . 9) (2 . 10) (4 . 11) (5 . 12) (7 . 13) (8 . 15)) 5497 0.9980 4.8022 ((1 . 22) (2 . 23) (4 . 25) (5 . 26) (7 . 28) (8 . 29)) 5552 0.9975 5.0599 ((1 . 6) (2 . 8) (4 . 9) (5 . 11) (7 . 12) (8 . 13)) 5615 0.9975 5.0450 ((1 . 29) (2 . 30) (4 . 32) (5 . 33) (7 . 34) (8 . 35)) 5633 0.9954 5.9223 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 8) (8 . 10)) 5634 0.6655 7.0194 ((2 . 13) (4 . 14) (5 . 18) (7 . 19)) 5682 0.8303 6.6737 ((1 . 1) (2 . 3) (4 . 4) (5 . 5) (7 . 6)) 5683 0.9985 4.4773 ((1 . 3) (2 . 4) (4 . 5) (5 . 7) (7 . 8) (8 . 10)) 5733 0.9998 2.8260 ((1 . 14) (2 . 15) (4 . 17) (5 . 19) (7 . 21) (8 . 22)) 5835 0.8272 7.9995 ((1 . 35) (2 . 37) (4 . 38) (7 . 41) (8 . 42)) 5863 0.8236 8.9859 ((1 . 30) (2 . 31) (4 . 33) (5 . 35) (7 . 37)) 5899 0.9982 4.6839 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 8)) 5916 0.6663 5.2407 ((4 . 3) (5 . 4) (7 . 5) (8 . 8)) 5936 0.9967 5.4325 ((1 . 3) (2 . 5) (4 . 9) (5 . 11) (7 . 13) (8 . 15)) 5948 0.6661 5.8965 ((1 . 1) (2 . 3) (4 . 5) (7 . 9)) 5974 0.8313 6.0572 ((1 . 4) (2 . 5) (5 . 8) (7 . 10) (8 . 12)) 5988 0.8296 7.0458 ((1 . 2) (2 . 3) (4 . 4) (5 . 6) (7 . 7)) 5989 0.9962 5.6471 ((1 . 2) (2 . 4) (4 . 5) (5 . 6) (7 . 7) (8 . 9)) 5993 0.8325 4.8573 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 7)) 6012 0.9990 3.9970 ((1 . 50) (2 . 51) (4 . 52) (5 . 53) (7 . 54) (8 . 55)) 6013 0.8210 9.5667 ((2 . 62) (4 . 63) (5 . 64) (7 . 66) (8 . 68)) 6037 0.9957 5.8146 ((1 . 3) (2 . 4) (4 . 5) (5 . 6) (7 . 7) (8 . 8)) 6105 0.9928 6.6282 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 8) (8 . 9)) 6124 0.9995 3.4025 ((1 . 9) (2 . 10) (4 . 12) (5 . 14) (7 . 15) (8 . 16)) 6126 0.9994 3.5990 ((1 . 10) (2 . 11) (4 . 13) (5 . 15) (7 . 16) (8 . 17)) 6206 0.8275 7.8800 ((2 . 1) (4 . 3) (5 . 4) (7 . 5) (8 . 6)) 6207 0.9989 4.1492 ((1 . 12) (2 . 14) (4 . 15) (5 . 16) (7 . 18) (8 . 19)) 6285 0.9997 2.9026 ((1 . 4) (2 . 5) (4 . 7) (5 . 8) (7 . 9) (8 . 10)) 6287 0.9972 5.1944 ((1 . 39) (2 . 40) (4 . 41) (5 . 42) (7 . 44) (8 . 45)) 6288 0.9983 4.5798 ((1 . 47) (2 . 48) (4 . 49) (5 . 50) (7 . 51) (8 . 52)) 6334 0.9996 3.1399 ((1 . 3) (2 . 4) (4 . 5) (5 . 6) (7 . 8) (8 . 9)) 6338 0.9999 1.0380 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (7 . 7) (8 . 8)) 6379 0.9998 2.7721 ((1 . 3) (2 . 4) (4 . 5) (5 . 6) (7 . 7) (8 . 8)) 6380 0.9981 4.7157 ((1 . 11) (2 . 13) (4 . 14) (5 . 15) (7 . 17) (8 . 19)) 6443 0.8248 8.6903 ((1 . 3) (2 . 4) (5 . 6) (7 . 8) (8 . 10)) 6444 0.9993 3.6620 ((1 . 15) (2 . 16) (4 . 17) (5 . 19) (7 . 21) (8 . 22)) 6445 0.4662 9.2073 ((1 . 2) (2 . 3) (4 . 4) (7 . 9)) 6446 0.6657 6.6693 ((4 . 15) (5 . 16) (7 . 18) (8 . 20)) 6449 0.9962 5.6174 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 8)) 6466 0.9980 4.7762 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8)) 6467 0.6657 6.5958 ((1 . 10) (4 . 15) (5 . 16) (7 . 17)) 6485 0.9984 4.5038 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 9) (8 . 10)) 6570 0.9985 4.4333 ((1 . 16) (2 . 17) (4 . 19) (5 . 20) (7 . 22) (8 . 23)) 6612 0.9976 5.0130 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 8) (8 . 9)) END