6338 233 0.8232 9.0967 ((1 . 1) (2 . 2) (4 . 3) (7 . 5) (8 . 7)) 234 0.8324 5.0305 ((1 . 11) (2 . 12) (5 . 14) (7 . 15) (8 . 16)) 291 0.9986 4.3679 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7)) 349 0.9992 3.8223 ((1 . 3) (2 . 4) (4 . 7) (5 . 8) (7 . 10) (8 . 11)) 365 0.8329 4.1766 ((1 . 2) (2 . 3) (4 . 4) (5 . 6) (7 . 8)) 388 0.8311 6.2068 ((1 . 17) (2 . 18) (4 . 19) (7 . 21) (8 . 22)) 402 0.9960 5.7213 ((1 . 3) (2 . 5) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 403 0.9986 4.3506 ((1 . 13) (2 . 15) (4 . 17) (5 . 18) (7 . 20) (8 . 21)) 404 0.8291 7.2554 ((1 . 24) (2 . 25) (5 . 28) (7 . 30) (8 . 31)) 405 0.9993 3.7024 ((1 . 33) (2 . 35) (4 . 37) (5 . 38) (7 . 39) (8 . 40)) 445 0.8331 3.4571 ((1 . 2) (2 . 3) (5 . 5) (7 . 6) (8 . 7)) 449 0.8321 5.2908 ((1 . 2) (2 . 3) (5 . 6) (7 . 7) (8 . 8)) 450 0.8319 5.5795 ((1 . 13) (2 . 15) (5 . 18) (7 . 19) (8 . 20)) 564 0.9978 4.9164 ((1 . 2) (2 . 3) (4 . 7) (5 . 8) (7 . 10) (8 . 11)) 565 0.9985 4.4779 ((1 . 13) (2 . 14) (4 . 15) (5 . 16) (7 . 17) (8 . 18)) 567 0.9962 5.6327 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 8) (8 . 10)) 568 0.9949 6.0684 ((1 . 13) (2 . 15) (4 . 16) (5 . 17) (7 . 18) (8 . 19)) 570 0.6653 7.1670 ((1 . 2) (2 . 3) (4 . 4) (5 . 5)) 571 0.3867 13.9641 ((4 . 12) (5 . 13) (7 . 14) (8 . 15)) 578 0.8328 4.3478 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6)) 579 0.9958 5.7803 ((1 . 10) (2 . 12) (4 . 13) (5 . 14) (7 . 15) (8 . 17)) 599 0.8202 9.7095 ((2 . 1) (4 . 2) (5 . 3) (7 . 4) (8 . 5)) 600 0.9990 4.0142 ((1 . 11) (2 . 12) (4 . 13) (5 . 14) (7 . 15) (8 . 16)) 626 0.9923 6.7445 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 8) (8 . 10)) 668 0.9966 5.4756 ((1 . 3) (2 . 5) (4 . 7) (5 . 8) (7 . 10) (8 . 11)) 669 0.9941 6.2909 ((1 . 14) (2 . 16) (4 . 17) (5 . 18) (7 . 20) (8 . 21)) 670 0.8294 7.1517 ((1 . 25) (2 . 27) (5 . 28) (7 . 30) (8 . 31)) 671 0.9988 4.2516 ((1 . 33) (2 . 35) (4 . 37) (5 . 38) (7 . 40) (8 . 41)) 693 0.9989 4.1638 ((1 . 31) (2 . 32) (4 . 33) (5 . 34) (7 . 35) (8 . 36)) 695 0.9978 4.8963 ((1 . 3) (2 . 4) (4 . 5) (5 . 6) (7 . 7) (8 . 8)) 696 0.8328 4.2585 ((1 . 12) (2 . 13) (5 . 16) (7 . 17) (8 . 19)) 697 0.8322 5.1655 ((1 . 22) (2 . 23) (5 . 26) (7 . 27) (8 . 30)) 698 0.9979 4.8337 ((1 . 34) (2 . 36) (4 . 37) (5 . 38) (7 . 39) (8 . 40)) 828 0.9985 4.4720 ((1 . 8) (2 . 9) (4 . 10) (5 . 11) (7 . 12) (8 . 13)) 888 0.9995 3.3422 ((1 . 14) (2 . 15) (4 . 17) (5 . 19) (7 . 20) (8 . 21)) 919 0.6663 5.0670 ((1 . 6) (2 . 8) (4 . 9) (5 . 10)) 922 0.6656 6.7670 ((1 . 1) (2 . 3) (4 . 4) (5 . 5)) 926 0.6652 7.3804 ((4 . 6) (5 . 8) (7 . 9) (8 . 11)) 927 0.9989 4.1007 ((1 . 14) (2 . 15) (4 . 17) (5 . 18) (7 . 19) (8 . 20)) 1025 0.8333 2.6804 ((1 . 4) (2 . 5) (5 . 7) (7 . 8) (8 . 9)) 1086 0.9828 8.2820 ((1 . 6) (2 . 7) (4 . 8) (5 . 10) (7 . 12) (8 . 13)) 1110 0.9986 4.3672 ((1 . 11) (2 . 13) (4 . 14) (5 . 15) (7 . 16) (8 . 18)) 1112 0.9964 5.5488 ((1 . 6) (2 . 7) (4 . 8) (5 . 9) (7 . 10) (8 . 11)) 1126 0.9989 4.0850 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 1127 0.8318 5.6188 ((1 . 14) (2 . 16) (5 . 18) (7 . 19) (8 . 21)) 1149 0.8316 5.7753 ((1 . 2) (2 . 3) (5 . 5) (7 . 6) (8 . 7)) 1164 0.6664 4.8744 ((4 . 6) (5 . 7) (7 . 9) (8 . 10)) 1181 0.9989 4.1220 ((1 . 3) (2 . 4) (4 . 7) (5 . 9) (7 . 11) (8 . 13)) 1235 0.9996 3.2263 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 1236 0.9986 4.3874 ((1 . 13) (2 . 15) (4 . 18) (5 . 19) (7 . 21) (8 . 23)) 1270 0.9997 2.9850 ((1 . 35) (2 . 36) (4 . 37) (5 . 38) (7 . 39) (8 . 40)) 1293 0.6657 6.6742 ((1 . 1) (5 . 4) (7 . 5) (8 . 7)) 1294 0.9986 4.3640 ((1 . 40) (2 . 41) (4 . 43) (5 . 44) (7 . 46) (8 . 47)) 1295 0.9980 4.7794 ((1 . 49) (2 . 50) (4 . 51) (5 . 52) (7 . 53) (8 . 54)) 1341 0.8328 4.3124 ((1 . 3) (2 . 5) (4 . 7) (5 . 8) (7 . 10)) 1342 0.9975 5.0670 ((1 . 17) (2 . 19) (4 . 20) (5 . 21) (7 . 22) (8 . 23)) 1363 0.6655 6.9628 ((1 . 3) (2 . 6) (4 . 7) (5 . 8)) 1374 0.3879 7.8354 ((4 . 1) (5 . 3) (7 . 4) (8 . 6)) 1375 0.8308 6.3897 ((1 . 12) (2 . 14) (5 . 16) (7 . 18) (8 . 20)) 1390 0.6637 8.8208 ((2 . 1) (4 . 2) (5 . 3) (7 . 4)) 1391 0.9981 4.7017 ((1 . 12) (2 . 13) (4 . 15) (5 . 16) (7 . 17) (8 . 18)) 1392 0.9978 4.9068 ((1 . 21) (2 . 22) (4 . 23) (5 . 24) (7 . 25) (8 . 26)) 1418 0.9894 7.3046 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 8)) 1419 0.8320 5.4196 ((1 . 11) (2 . 12) (5 . 14) (7 . 15) (8 . 16)) 1445 0.9989 4.0807 ((1 . 3) (2 . 5) (4 . 9) (5 . 10) (7 . 12) (8 . 13)) 1446 0.8226 9.2193 ((1 . 14) (2 . 16) (4 . 17) (7 . 20) (8 . 22)) 1502 0.9992 3.7728 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 1555 0.9991 3.9486 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 8) (8 . 9)) 1566 0.8292 7.2213 ((2 . 4) (4 . 5) (5 . 6) (7 . 8) (8 . 10)) 1568 0.9983 4.5668 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7)) 1569 0.9979 4.8587 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 8)) 1570 0.9977 4.9524 ((1 . 10) (2 . 11) (4 . 12) (5 . 13) (7 . 14) (8 . 16)) 1571 0.9985 4.4852 ((1 . 18) (2 . 19) (4 . 20) (5 . 21) (7 . 22) (8 . 24)) 1572 0.9977 4.9443 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 8)) 1573 0.9981 4.7558 ((1 . 10) (2 . 11) (4 . 12) (5 . 13) (7 . 14) (8 . 16)) 1579 0.9975 5.0555 ((1 . 3) (2 . 5) (4 . 8) (5 . 10) (7 . 12) (8 . 13)) 1580 0.9978 4.9113 ((1 . 3) (2 . 4) (4 . 7) (5 . 8) (7 . 9) (8 . 11)) 1600 0.9993 3.7284 ((1 . 3) (2 . 4) (4 . 5) (5 . 6) (7 . 8) (8 . 9)) 1601 0.9997 2.9276 ((1 . 11) (2 . 12) (4 . 15) (5 . 17) (7 . 20) (8 . 21)) 1660 0.8323 5.1170 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 7)) 1661 0.8324 4.9271 ((1 . 12) (2 . 14) (5 . 16) (7 . 17) (8 . 18)) 1666 0.8213 9.4900 ((1 . 5) (2 . 6) (4 . 8) (5 . 9) (7 . 10)) 1667 0.9988 4.1817 ((1 . 39) (2 . 40) (4 . 41) (5 . 42) (7 . 44) (8 . 45)) 1668 0.9984 4.5249 ((1 . 48) (2 . 50) (4 . 51) (5 . 53) (7 . 54) (8 . 55)) 1684 0.8312 6.1040 ((1 . 3) (2 . 4) (5 . 7) (7 . 9) (8 . 11)) 1688 0.9993 3.6869 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 1722 0.9968 5.4006 ((1 . 4) (2 . 6) (4 . 8) (5 . 10) (7 . 13) (8 . 15)) 1723 0.8308 6.3875 ((2 . 16) (4 . 17) (5 . 19) (7 . 20) (8 . 21)) 1826 0.8330 3.7156 ((1 . 3) (2 . 5) (4 . 7) (5 . 8) (7 . 9)) 1827 0.8318 5.6494 ((1 . 14) (2 . 16) (5 . 19) (7 . 20) (8 . 21)) 1828 0.8322 5.2169 ((1 . 23) (2 . 26) (4 . 27) (5 . 28) (7 . 29)) 1864 0.9987 4.3317 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 1928 0.9982 4.6454 ((1 . 3) (2 . 4) (4 . 5) (5 . 7) (7 . 9) (8 . 11)) 1938 0.9976 5.0064 ((1 . 3) (2 . 4) (4 . 5) (5 . 6) (7 . 8) (8 . 9)) 1939 0.9992 3.8379 ((1 . 11) (2 . 12) (4 . 15) (5 . 16) (7 . 17) (8 . 18)) 1996 0.6659 6.2925 ((1 . 3) (5 . 4) (7 . 5) (8 . 6)) 2009 0.9983 4.5700 ((1 . 3) (2 . 4) (4 . 5) (5 . 7) (7 . 8) (8 . 9)) 2022 0.8332 3.1755 ((1 . 15) (2 . 16) (5 . 20) (7 . 22) (8 . 24)) 2061 0.9998 2.6796 ((1 . 3) (2 . 5) (4 . 6) (5 . 7) (7 . 8) (8 . 9)) 2087 0.9957 5.8041 ((1 . 3) (2 . 4) (4 . 7) (5 . 8) (7 . 10) (8 . 12)) 2110 0.9979 4.8752 ((1 . 23) (2 . 24) (4 . 26) (5 . 27) (7 . 28) (8 . 29)) 2165 0.6612 10.2748 ((1 . 25) (5 . 29) (7 . 30) (8 . 31)) 2186 0.9994 3.5754 ((1 . 8) (2 . 9) (4 . 11) (5 . 12) (7 . 13) (8 . 14)) 2188 0.8332 2.8625 ((1 . 10) (2 . 11) (5 . 14) (7 . 15) (8 . 16)) 2191 0.9999 1.0380 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (7 . 7) (8 . 8)) 2221 0.6645 8.1526 ((2 . 5) (4 . 6) (5 . 8) (7 . 9)) 2246 0.9977 4.9756 ((1 . 2) (2 . 3) (4 . 8) (5 . 9) (7 . 11) (8 . 12)) 2318 0.9969 5.3399 ((1 . 3) (2 . 5) (4 . 8) (5 . 10) (7 . 12) (8 . 14)) 2319 0.9978 4.8989 ((1 . 16) (2 . 17) (4 . 19) (5 . 20) (7 . 21) (8 . 22)) 2320 0.8319 5.4905 ((2 . 6) (4 . 7) (5 . 8) (7 . 10) (8 . 11)) 2321 0.8332 2.8384 ((1 . 14) (2 . 15) (5 . 18) (7 . 20) (8 . 22)) 2338 0.8333 2.5559 ((1 . 14) (2 . 15) (5 . 19) (7 . 21) (8 . 22)) 2365 0.9994 3.5877 ((1 . 3) (2 . 6) (4 . 9) (5 . 10) (7 . 11) (8 . 12)) 2428 0.8322 5.2214 ((2 . 4) (4 . 5) (5 . 6) (7 . 8) (8 . 9)) 2441 0.9994 3.5993 ((1 . 3) (2 . 4) (4 . 5) (5 . 6) (7 . 7) (8 . 8)) 2442 0.9978 4.9312 ((1 . 12) (2 . 14) (4 . 15) (5 . 16) (7 . 17) (8 . 19)) 2444 0.9989 4.1674 ((1 . 2) (2 . 4) (4 . 5) (5 . 7) (7 . 8) (8 . 9)) 2445 0.9957 5.8147 ((1 . 12) (2 . 14) (4 . 15) (5 . 16) (7 . 17) (8 . 19)) 2473 0.8318 5.5976 ((2 . 1) (4 . 2) (5 . 3) (7 . 5) (8 . 6)) 2507 0.9990 4.0033 ((1 . 4) (2 . 6) (4 . 9) (5 . 11) (7 . 13) (8 . 14)) 2508 0.9961 5.6808 ((1 . 17) (2 . 19) (4 . 20) (5 . 22) (7 . 24) (8 . 25)) 2531 0.9993 3.7436 ((1 . 2) (2 . 3) (4 . 6) (5 . 7) (7 . 8) (8 . 9)) 2534 0.8323 5.1533 ((1 . 18) (2 . 19) (5 . 22) (7 . 23) (8 . 25)) 2577 0.9979 4.8233 ((1 . 3) (2 . 5) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 2578 0.9983 4.6019 ((1 . 13) (2 . 15) (4 . 17) (5 . 18) (7 . 20) (8 . 21)) 2579 0.9998 2.7549 ((1 . 24) (2 . 25) (4 . 27) (5 . 29) (7 . 31) (8 . 32)) 2641 0.9993 3.7231 ((1 . 3) (2 . 5) (4 . 7) (5 . 8) (7 . 9) (8 . 10)) 2686 0.9993 3.6600 ((1 . 3) (2 . 4) (4 . 8) (5 . 9) (7 . 10) (8 . 11)) 2728 0.9990 4.0071 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 9) (8 . 10)) 2767 0.9964 5.5359 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7)) 2812 0.9944 6.2149 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7)) 2877 0.9990 4.0408 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 7) (8 . 8)) 2880 0.9989 4.0890 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 8) (8 . 9)) 2971 0.9977 4.9387 ((1 . 5) (2 . 8) (4 . 13) (5 . 14) (7 . 16) (8 . 17)) 2987 0.6640 8.5641 ((2 . 30) (4 . 31) (5 . 32) (7 . 33)) 3099 0.9992 3.8367 ((1 . 24) (2 . 25) (4 . 26) (5 . 27) (7 . 28) (8 . 29)) 3101 0.8327 4.4297 ((1 . 51) (2 . 52) (5 . 54) (7 . 55) (8 . 56)) 3159 0.9981 4.7516 ((1 . 54) (2 . 55) (4 . 58) (5 . 59) (7 . 60) (8 . 61)) 3185 0.8331 3.3956 ((1 . 15) (2 . 16) (5 . 21) (7 . 23) (8 . 24)) 3186 0.8332 3.0016 ((1 . 2) (2 . 3) (5 . 7) (7 . 8) (8 . 9)) 3205 0.9937 6.4038 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 8)) 3292 0.9976 5.0365 ((1 . 3) (2 . 4) (4 . 7) (5 . 8) (7 . 10) (8 . 11)) 3342 0.9986 4.4166 ((1 . 3) (2 . 4) (4 . 5) (5 . 7) (7 . 8) (8 . 9)) 3357 0.9923 6.7449 ((1 . 5) (2 . 6) (4 . 7) (5 . 8) (7 . 10) (8 . 11)) 3378 0.8333 2.1036 ((1 . 34) (2 . 35) (5 . 37) (7 . 39) (8 . 40)) 3417 0.9975 5.0568 ((1 . 6) (2 . 7) (4 . 8) (5 . 9) (7 . 10) (8 . 11)) 3430 0.6623 9.7209 ((1 . 4) (2 . 5) (4 . 6) (5 . 8)) 3431 0.8253 8.5635 ((1 . 2) (2 . 3) (5 . 5) (7 . 6) (8 . 7)) 3443 0.9979 4.8631 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 8) (8 . 9)) 3444 0.9977 4.9551 ((1 . 38) (2 . 39) (4 . 42) (5 . 43) (7 . 45) (8 . 46)) 3445 0.9993 3.7051 ((1 . 48) (2 . 49) (4 . 50) (5 . 51) (7 . 52) (8 . 53)) 3472 0.9963 5.5815 ((1 . 3) (2 . 4) (4 . 8) (5 . 9) (7 . 11) (8 . 12)) 3478 0.9978 4.9203 ((1 . 4) (2 . 5) (4 . 7) (5 . 8) (7 . 9) (8 . 10)) 3507 0.6662 5.5387 ((2 . 33) (4 . 34) (5 . 37) (7 . 38)) 3530 0.8328 4.3927 ((1 . 21) (4 . 23) (5 . 24) (7 . 25) (8 . 27)) 3531 0.9966 5.4872 ((1 . 30) (2 . 32) (4 . 33) (5 . 34) (7 . 35) (8 . 36)) 3532 0.6663 5.1341 ((1 . 38) (5 . 39) (7 . 40) (8 . 41)) 3550 0.6661 5.7714 ((1 . 6) (4 . 9) (5 . 10) (7 . 13)) 3554 0.9932 6.5249 ((1 . 3) (2 . 4) (4 . 5) (5 . 8) (7 . 10) (8 . 11)) 3555 0.9997 3.0141 ((1 . 14) (2 . 15) (4 . 17) (5 . 19) (7 . 21) (8 . 23)) 3556 0.9965 5.4958 ((1 . 2) (2 . 3) (4 . 7) (5 . 8) (7 . 10) (8 . 12)) 3557 0.9954 5.9109 ((1 . 15) (2 . 16) (4 . 18) (5 . 19) (7 . 21) (8 . 23)) 3655 0.6568 11.9514 ((1 . 29) (5 . 31) (7 . 32) (8 . 34)) 3667 0.8326 4.6186 ((1 . 4) (2 . 6) (5 . 8) (7 . 9) (8 . 10)) 3690 0.6657 6.5640 ((4 . 1) (5 . 3) (7 . 5) (8 . 6)) 3699 0.8318 5.5929 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 8)) 3700 0.9959 5.7518 ((1 . 14) (2 . 16) (4 . 17) (5 . 18) (7 . 19) (8 . 20)) 3762 0.8332 2.9662 ((1 . 2) (2 . 3) (5 . 5) (7 . 6) (8 . 7)) 3791 0.6653 7.1751 ((1 . 45) (2 . 46) (4 . 47) (8 . 50)) 3792 0.9957 5.8179 ((1 . 55) (2 . 56) (4 . 59) (5 . 60) (7 . 61) (8 . 62)) 3793 0.8217 9.4065 ((2 . 66) (4 . 67) (5 . 69) (7 . 70) (8 . 71)) 3794 0.8284 7.5448 ((1 . 23) (2 . 24) (4 . 26) (7 . 29) (8 . 30)) 3876 0.8329 4.0203 ((1 . 3) (2 . 4) (5 . 6) (7 . 7) (8 . 8)) 3948 0.8318 5.6153 ((2 . 5) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 3949 0.9996 3.2644 ((1 . 16) (2 . 17) (4 . 19) (5 . 21) (7 . 22) (8 . 24)) 3950 0.9978 4.9244 ((1 . 3) (2 . 4) (4 . 7) (5 . 8) (7 . 10) (8 . 12)) 3951 0.9998 2.5969 ((1 . 15) (2 . 16) (4 . 18) (5 . 19) (7 . 21) (8 . 22)) 4079 0.8324 4.9601 ((1 . 3) (2 . 4) (5 . 7) (7 . 8) (8 . 10)) 4109 0.9965 5.5331 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8)) 4110 0.9963 5.5748 ((1 . 10) (2 . 11) (4 . 12) (5 . 13) (7 . 14) (8 . 16)) 4111 0.8321 5.3450 ((1 . 18) (2 . 19) (5 . 22) (7 . 23) (8 . 24)) 4145 0.9942 6.2548 ((1 . 2) (2 . 3) (4 . 4) (5 . 6) (7 . 7) (8 . 9)) 4146 0.6666 3.7648 ((1 . 12) (2 . 14) (5 . 15) (7 . 16)) 4178 0.6650 7.5498 ((1 . 7) (2 . 9) (4 . 10) (5 . 13)) 4197 0.9988 4.2493 ((1 . 2) (2 . 4) (4 . 7) (5 . 8) (7 . 10) (8 . 11)) 4199 0.8330 3.7202 ((1 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7)) 4219 0.6651 7.5175 ((1 . 6) (2 . 8) (4 . 9) (5 . 10)) 4221 0.9824 8.3346 ((1 . 6) (2 . 7) (4 . 8) (5 . 10) (7 . 12) (8 . 13)) 4224 0.8300 6.8214 ((1 . 5) (2 . 6) (4 . 8) (5 . 9) (7 . 11)) 4230 0.6662 5.3789 ((4 . 3) (5 . 4) (7 . 5) (8 . 6)) 4286 0.9949 6.0789 ((1 . 5) (2 . 6) (4 . 9) (5 . 11) (7 . 13) (8 . 14)) 4289 0.9945 6.1901 ((1 . 3) (2 . 4) (4 . 5) (5 . 7) (7 . 9) (8 . 10)) 4290 0.9954 5.9176 ((1 . 13) (2 . 14) (4 . 15) (5 . 17) (7 . 18) (8 . 20)) 4349 0.6662 5.5931 ((4 . 2) (5 . 3) (7 . 4) (8 . 5)) 4464 0.9996 3.2329 ((1 . 2) (2 . 3) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 4512 0.9967 5.4472 ((1 . 3) (2 . 6) (4 . 7) (5 . 8) (7 . 9) (8 . 10)) 4525 0.6657 6.5997 ((1 . 24) (2 . 26) (4 . 28) (5 . 29)) 4526 0.9988 4.2441 ((1 . 31) (2 . 32) (4 . 33) (5 . 34) (7 . 35) (8 . 36)) 4581 0.6662 5.5817 ((2 . 1) (4 . 2) (5 . 3) (7 . 5)) 4584 0.9977 4.9637 ((1 . 3) (2 . 5) (4 . 8) (5 . 9) (7 . 11) (8 . 13)) 4637 0.9989 4.1359 ((1 . 3) (2 . 4) (4 . 7) (5 . 8) (7 . 10) (8 . 11)) 4639 0.9947 6.1239 ((1 . 3) (2 . 5) (4 . 8) (5 . 9) (7 . 10) (8 . 12)) 4640 0.9999 2.4200 ((1 . 16) (2 . 17) (4 . 19) (5 . 21) (7 . 23) (8 . 24)) 4687 0.8328 4.4143 ((1 . 28) (2 . 30) (5 . 33) (7 . 34) (8 . 35)) 4700 0.8312 6.1095 ((1 . 3) (2 . 4) (5 . 6) (7 . 8) (8 . 10)) 4708 0.8325 4.8459 ((1 . 49) (2 . 50) (5 . 51) (7 . 53) (8 . 54)) 4744 0.9980 4.8023 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7)) 4777 0.8330 3.8888 ((1 . 4) (2 . 5) (5 . 7) (7 . 10) (8 . 11)) 4800 0.6664 4.5846 ((1 . 3) (5 . 5) (7 . 7) (8 . 8)) 4809 0.9985 4.4602 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7)) 4892 0.9985 4.4813 ((1 . 4) (2 . 5) (4 . 6) (5 . 7) (7 . 8) (8 . 9)) 4896 0.9990 4.0428 ((1 . 3) (2 . 5) (4 . 7) (5 . 8) (7 . 10) (8 . 11)) 4897 0.6488 13.9627 ((1 . 12) (4 . 15) (7 . 18) (8 . 19)) 4898 0.0999 11.3607 ((1 . 20) (2 . 22) (7 . 28) (8 . 27)) 4908 0.9939 6.3591 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 8) (8 . 9)) 4921 0.6657 6.6207 ((1 . 7) (2 . 8) (4 . 9) (7 . 12)) 4923 0.8321 5.3549 ((1 . 16) (2 . 17) (5 . 19) (7 . 20) (8 . 22)) 4951 0.9984 4.5239 ((1 . 49) (2 . 50) (4 . 53) (5 . 54) (7 . 55) (8 . 56)) 4967 0.6660 5.9401 ((1 . 28) (2 . 29) (4 . 30) (5 . 31)) 4968 0.8329 4.0152 ((2 . 37) (4 . 39) (5 . 40) (7 . 42) (8 . 43)) 5040 0.9996 3.2886 ((1 . 3) (2 . 4) (4 . 8) (5 . 10) (7 . 12) (8 . 13)) 5043 0.8310 6.2484 ((2 . 2) (4 . 3) (5 . 4) (7 . 5) (8 . 6)) 5166 0.9989 4.1253 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 8) (8 . 10)) 5246 0.9981 4.7206 ((1 . 4) (2 . 6) (4 . 9) (5 . 10) (7 . 12) (8 . 13)) 5281 0.6662 5.4712 ((4 . 65) (5 . 66) (7 . 67) (8 . 69)) 5310 0.9981 4.7080 ((1 . 4) (2 . 5) (4 . 8) (5 . 9) (7 . 10) (8 . 12)) 5311 0.9992 3.8291 ((1 . 14) (2 . 15) (4 . 16) (5 . 17) (7 . 18) (8 . 20)) 5316 0.9960 5.6895 ((1 . 3) (2 . 5) (4 . 8) (5 . 10) (7 . 12) (8 . 13)) 5319 0.9963 5.5756 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 7) (8 . 8)) 5320 0.8329 4.0480 ((1 . 10) (2 . 11) (5 . 13) (7 . 14) (8 . 16)) 5342 0.9984 4.5257 ((1 . 47) (2 . 48) (4 . 50) (5 . 51) (7 . 52) (8 . 54)) 5413 0.9989 4.1000 ((1 . 3) (2 . 4) (4 . 6) (5 . 8) (7 . 10) (8 . 11)) 5431 0.9979 4.8281 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7)) 5432 0.9983 4.6079 ((1 . 9) (2 . 10) (4 . 11) (5 . 12) (7 . 13) (8 . 15)) 5497 0.9982 4.6964 ((1 . 22) (2 . 23) (4 . 25) (5 . 26) (7 . 28) (8 . 29)) 5552 0.8185 10.0360 ((1 . 5) (2 . 6) (4 . 8) (5 . 9) (8 . 12)) 5615 0.9975 5.0502 ((1 . 29) (2 . 30) (4 . 32) (5 . 33) (7 . 34) (8 . 35)) 5633 0.9962 5.6477 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 8) (8 . 10)) 5634 0.8328 4.2866 ((1 . 13) (2 . 14) (5 . 17) (7 . 18) (8 . 19)) 5682 0.8296 7.0273 ((2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 9)) 5683 0.9985 4.4870 ((1 . 3) (2 . 4) (4 . 5) (5 . 7) (7 . 8) (8 . 10)) 5733 0.9998 2.5641 ((1 . 14) (2 . 15) (4 . 17) (5 . 19) (7 . 21) (8 . 22)) 5835 0.8266 8.1888 ((1 . 35) (2 . 37) (4 . 38) (7 . 41) (8 . 42)) 5863 0.9950 6.0458 ((1 . 31) (2 . 33) (4 . 35) (5 . 37) (7 . 38) (8 . 39)) 5899 0.9980 4.7932 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 8)) 5916 0.8321 5.3629 ((1 . 2) (4 . 3) (5 . 4) (7 . 5) (8 . 8)) 5936 0.9969 5.3306 ((1 . 4) (2 . 5) (4 . 9) (5 . 11) (7 . 13) (8 . 14)) 5948 0.8330 3.9483 ((1 . 3) (2 . 5) (4 . 8) (5 . 9) (7 . 10)) 5974 0.8324 4.9308 ((1 . 4) (2 . 5) (5 . 8) (7 . 10) (8 . 11)) 5988 0.8287 7.4296 ((1 . 2) (2 . 3) (4 . 4) (5 . 6) (7 . 7)) 5989 0.9956 5.8353 ((1 . 2) (2 . 4) (4 . 5) (5 . 6) (7 . 7) (8 . 9)) 5993 0.8321 5.3485 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 7)) 6012 0.9990 4.0072 ((1 . 50) (2 . 51) (4 . 52) (5 . 53) (7 . 54) (8 . 55)) 6013 0.8196 9.8392 ((2 . 62) (4 . 63) (5 . 64) (7 . 66) (8 . 68)) 6037 0.8324 4.9397 ((1 . 3) (2 . 4) (5 . 6) (7 . 7) (8 . 8)) 6105 0.9933 6.5073 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 8) (8 . 9)) 6124 0.9996 3.1579 ((1 . 9) (2 . 10) (4 . 12) (5 . 14) (7 . 15) (8 . 16)) 6126 0.9995 3.3169 ((1 . 10) (2 . 11) (4 . 13) (5 . 15) (7 . 16) (8 . 17)) 6206 0.9995 3.3564 ((1 . 3) (2 . 4) (4 . 5) (5 . 6) (7 . 8) (8 . 9)) 6207 0.9990 4.0078 ((1 . 12) (2 . 14) (4 . 15) (5 . 16) (7 . 18) (8 . 19)) 6285 0.9998 2.7529 ((1 . 4) (2 . 5) (4 . 7) (5 . 8) (7 . 9) (8 . 10)) 6287 0.9977 4.9786 ((1 . 39) (2 . 40) (4 . 41) (5 . 42) (7 . 44) (8 . 45)) 6288 0.9985 4.4708 ((1 . 47) (2 . 48) (4 . 49) (5 . 50) (7 . 51) (8 . 52)) 6334 0.9996 3.1674 ((1 . 3) (2 . 4) (4 . 5) (5 . 6) (7 . 8) (8 . 9)) 6338 1.0000 0.0000 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (7 . 7) (8 . 8)) 6379 0.9997 2.9336 ((1 . 3) (2 . 4) (4 . 5) (5 . 6) (7 . 7) (8 . 8)) 6380 0.8329 4.1202 ((1 . 11) (2 . 13) (5 . 15) (7 . 17) (8 . 19)) 6443 0.8256 8.4834 ((1 . 3) (2 . 4) (5 . 6) (7 . 8) (8 . 10)) 6444 0.9994 3.4927 ((1 . 15) (2 . 16) (4 . 17) (5 . 19) (7 . 21) (8 . 22)) 6445 0.2970 7.9893 ((4 . 1) (5 . 3) (7 . 4) (8 . 6)) 6446 0.9959 5.7381 ((1 . 12) (2 . 14) (4 . 15) (5 . 16) (7 . 18) (8 . 19)) 6449 0.8327 4.5680 ((1 . 2) (2 . 3) (5 . 5) (7 . 6) (8 . 8)) 6466 0.9974 5.0946 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8)) 6467 0.8328 4.2511 ((1 . 11) (2 . 15) (4 . 16) (5 . 17) (7 . 18)) 6485 0.9985 4.4271 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (7 . 9) (8 . 10)) 6570 0.9989 4.1504 ((1 . 16) (2 . 17) (4 . 19) (5 . 20) (7 . 22) (8 . 23)) 6612 0.9981 4.7222 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 8) (8 . 9)) END