1569 233 0.8570 2.9646 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 7) (8 . 8)) 234 0.8568 3.8309 ((1 . 10) (2 . 11) (3 . 12) (5 . 14) (6 . 15) (8 . 16)) 291 0.9976 4.9911 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7)) 349 0.9980 4.7787 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 8) (6 . 10) (8 . 12)) 365 0.8570 2.7734 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 8)) 388 0.8536 6.7344 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (6 . 21) (8 . 22)) 402 0.9963 5.5823 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (5 . 7) (6 . 9) (8 . 11)) 403 0.9977 4.9626 ((1 . 12) (2 . 13) (3 . 15) (4 . 17) (5 . 18) (6 . 20) (8 . 21)) 404 0.8536 6.7257 ((1 . 23) (2 . 24) (3 . 25) (5 . 28) (6 . 30) (8 . 31)) 405 0.9977 4.9540 ((1 . 32) (2 . 33) (3 . 35) (4 . 37) (5 . 38) (6 . 39) (8 . 40)) 445 0.8567 3.9779 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 7)) 449 0.8571 1.8838 ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (6 . 7) (8 . 9)) 450 0.8570 3.0948 ((1 . 12) (2 . 13) (3 . 15) (5 . 18) (6 . 19) (8 . 20)) 564 0.9992 3.7833 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 8) (6 . 10) (8 . 11)) 565 0.9993 3.6852 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (5 . 16) (6 . 17) (8 . 18)) 567 0.9999 2.0087 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 8) (8 . 10)) 568 0.9997 2.8827 ((1 . 12) (2 . 13) (3 . 15) (4 . 16) (5 . 17) (6 . 18) (8 . 19)) 570 0.9965 5.4971 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 9) (6 . 11) (8 . 12)) 571 0.5713 5.1211 ((1 . 14) (2 . 15) (3 . 16) (4 . 17)) 578 0.9987 4.2987 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8)) 579 0.9998 2.6666 ((1 . 9) (2 . 10) (3 . 12) (4 . 13) (5 . 14) (6 . 15) (8 . 17)) 599 0.8507 7.8038 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (6 . 7) (8 . 9)) 600 0.9923 6.7309 ((1 . 10) (2 . 11) (3 . 12) (4 . 13) (5 . 14) (6 . 15) (8 . 16)) 626 0.7116 7.8744 ((2 . 3) (3 . 4) (4 . 6) (5 . 7) (6 . 8)) 668 0.9962 5.6139 ((1 . 2) (2 . 3) (3 . 5) (4 . 7) (5 . 8) (6 . 10) (8 . 12)) 669 0.9968 5.3956 ((1 . 13) (2 . 14) (3 . 16) (4 . 17) (5 . 18) (6 . 20) (8 . 22)) 670 0.7093 9.1918 ((2 . 23) (3 . 25) (4 . 27) (6 . 28) (8 . 30)) 671 0.9967 5.4214 ((1 . 32) (2 . 33) (3 . 35) (4 . 37) (5 . 38) (6 . 40) (8 . 41)) 693 0.8571 2.5061 ((2 . 31) (3 . 32) (4 . 33) (5 . 34) (6 . 35) (8 . 36)) 695 0.9984 4.5303 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 8)) 696 0.8568 3.7573 ((1 . 10) (2 . 12) (3 . 13) (5 . 16) (6 . 17) (8 . 19)) 697 0.8566 4.2317 ((1 . 20) (2 . 22) (3 . 23) (5 . 26) (6 . 27) (8 . 30)) 698 0.9988 4.2445 ((1 . 31) (2 . 34) (3 . 36) (4 . 37) (5 . 38) (6 . 39) (8 . 40)) 828 0.9994 3.4735 ((1 . 7) (2 . 8) (3 . 9) (4 . 10) (5 . 11) (6 . 12) (8 . 13)) 888 0.9989 4.0895 ((1 . 13) (2 . 14) (3 . 15) (4 . 17) (5 . 19) (6 . 20) (8 . 21)) 919 0.9989 4.1022 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (5 . 8) (6 . 9) (8 . 10)) 922 0.7125 7.0879 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (6 . 7)) 926 0.7130 6.5552 ((3 . 6) (4 . 8) (5 . 9) (6 . 11) (8 . 12)) 927 0.9962 5.6269 ((1 . 13) (2 . 14) (3 . 15) (4 . 17) (5 . 18) (6 . 19) (8 . 20)) 1025 0.8564 4.5087 ((1 . 3) (2 . 4) (3 . 5) (5 . 7) (6 . 8) (8 . 9)) 1086 0.7128 6.7595 ((3 . 7) (4 . 8) (5 . 10) (6 . 12) (8 . 13)) 1110 0.9992 3.7891 ((1 . 10) (2 . 11) (3 . 13) (4 . 14) (5 . 15) (6 . 16) (8 . 18)) 1112 0.9981 4.7422 ((1 . 2) (2 . 6) (3 . 7) (4 . 8) (5 . 9) (6 . 10) (8 . 12)) 1126 0.9987 4.2608 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 9) (8 . 10)) 1127 0.9998 2.7028 ((1 . 13) (2 . 14) (3 . 16) (4 . 17) (5 . 18) (6 . 19) (8 . 21)) 1149 0.9995 3.4359 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7)) 1164 0.8556 5.4839 ((1 . 2) (2 . 3) (4 . 6) (5 . 7) (6 . 9) (8 . 10)) 1181 0.7134 5.9526 ((1 . 2) (2 . 3) (3 . 4) (4 . 7) (6 . 9)) 1235 0.9984 4.5360 ((1 . 1) (2 . 3) (3 . 4) (4 . 6) (5 . 7) (6 . 9) (8 . 10)) 1236 0.9965 5.5185 ((1 . 11) (2 . 14) (3 . 15) (4 . 18) (5 . 19) (6 . 21) (8 . 23)) 1270 0.9957 5.8253 ((1 . 34) (2 . 35) (3 . 36) (4 . 37) (5 . 38) (6 . 39) (8 . 40)) 1293 0.9942 6.2681 ((1 . 1) (2 . 4) (3 . 5) (4 . 7) (5 . 10) (6 . 11) (8 . 12)) 1294 0.9985 4.4629 ((1 . 39) (2 . 40) (3 . 41) (4 . 43) (5 . 44) (6 . 46) (8 . 47)) 1295 0.9984 4.5491 ((1 . 48) (2 . 49) (3 . 50) (4 . 51) (5 . 52) (6 . 53) (8 . 54)) 1341 0.8545 6.2133 ((2 . 3) (3 . 5) (4 . 7) (5 . 8) (6 . 10) (8 . 12)) 1342 0.9970 5.3136 ((1 . 14) (2 . 17) (3 . 19) (4 . 20) (5 . 21) (6 . 22) (8 . 23)) 1363 0.8565 4.3753 ((1 . 1) (3 . 3) (4 . 5) (5 . 6) (6 . 7) (8 . 8)) 1374 0.5713 4.5610 ((1 . 1) (3 . 4) (6 . 8) (8 . 9)) 1375 0.7140 4.6460 ((1 . 10) (2 . 12) (3 . 14) (6 . 18) (8 . 20)) 1390 0.5702 8.5524 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 1391 0.9957 5.8186 ((1 . 11) (2 . 12) (3 . 13) (4 . 14) (5 . 16) (6 . 17) (8 . 18)) 1392 0.9998 2.6228 ((1 . 20) (2 . 21) (3 . 22) (4 . 23) (5 . 24) (6 . 25) (8 . 26)) 1418 0.9993 3.6510 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8)) 1419 0.9999 2.3455 ((1 . 10) (2 . 11) (3 . 12) (4 . 13) (5 . 14) (6 . 15) (8 . 16)) 1445 0.9980 4.7647 ((1 . 2) (2 . 3) (3 . 5) (4 . 9) (5 . 10) (6 . 12) (8 . 13)) 1446 0.9977 4.9800 ((1 . 14) (2 . 16) (3 . 17) (4 . 19) (5 . 20) (6 . 22) (8 . 24)) 1502 0.9959 5.7301 ((1 . 1) (2 . 3) (3 . 4) (4 . 6) (5 . 7) (6 . 9) (8 . 10)) 1555 0.9976 5.0309 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 8) (8 . 9)) 1566 0.8497 8.1076 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (6 . 8) (8 . 10)) 1568 0.9999 2.3701 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7)) 1569 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8)) 1570 0.9999 1.6651 ((1 . 9) (2 . 10) (3 . 11) (4 . 12) (5 . 13) (6 . 14) (8 . 16)) 1571 0.9999 2.4006 ((1 . 17) (2 . 18) (3 . 19) (4 . 20) (5 . 21) (6 . 22) (8 . 24)) 1572 0.9999 1.5678 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8)) 1573 0.9999 1.6397 ((1 . 9) (2 . 10) (3 . 11) (4 . 12) (5 . 13) (6 . 14) (8 . 16)) 1579 0.5714 3.7408 ((1 . 8) (2 . 10) (3 . 12) (4 . 13)) 1580 0.9982 4.6955 ((1 . 1) (2 . 3) (3 . 4) (4 . 7) (5 . 8) (6 . 9) (8 . 11)) 1600 0.9968 5.3717 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 8) (8 . 9)) 1601 0.9988 4.1764 ((1 . 10) (2 . 11) (3 . 12) (4 . 15) (5 . 17) (6 . 20) (8 . 21)) 1660 0.8571 1.0615 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 7)) 1661 0.9997 3.0316 ((1 . 11) (2 . 12) (3 . 14) (4 . 15) (5 . 16) (6 . 17) (8 . 18)) 1666 0.9948 6.0889 ((1 . 1) (2 . 4) (3 . 5) (4 . 7) (5 . 8) (6 . 9) (8 . 10)) 1667 0.9985 4.4804 ((1 . 38) (2 . 39) (3 . 40) (4 . 41) (5 . 42) (6 . 44) (8 . 45)) 1668 0.9990 3.9906 ((1 . 46) (2 . 48) (3 . 50) (4 . 51) (5 . 53) (6 . 54) (8 . 55)) 1684 0.8567 3.9097 ((1 . 1) (2 . 3) (3 . 4) (5 . 7) (6 . 9) (8 . 11)) 1688 0.9949 6.0791 ((1 . 1) (2 . 3) (3 . 4) (4 . 6) (5 . 7) (6 . 9) (8 . 10)) 1722 0.9963 5.6027 ((1 . 3) (2 . 4) (3 . 6) (4 . 8) (5 . 10) (6 . 13) (8 . 15)) 1723 0.9908 7.0475 ((1 . 17) (2 . 19) (3 . 20) (4 . 21) (5 . 22) (6 . 26) (8 . 27)) 1826 0.7130 6.5603 ((3 . 2) (4 . 3) (5 . 5) (6 . 7) (8 . 8)) 1827 0.9998 2.6742 ((1 . 13) (2 . 14) (3 . 16) (4 . 18) (5 . 19) (6 . 20) (8 . 21)) 1828 0.8534 6.7938 ((1 . 22) (2 . 23) (3 . 26) (4 . 27) (5 . 28) (6 . 29)) 1864 0.9971 5.2521 ((1 . 1) (2 . 3) (3 . 4) (4 . 6) (5 . 7) (6 . 9) (8 . 10)) 1928 0.9977 4.9452 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 9) (8 . 11)) 1938 0.9984 4.5168 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 8) (8 . 9)) 1939 0.9945 6.1941 ((1 . 10) (2 . 11) (3 . 12) (4 . 15) (5 . 16) (6 . 17) (8 . 18)) 1996 0.5714 3.2118 ((1 . 4) (2 . 5) (3 . 6) (4 . 7)) 2009 0.9950 6.0498 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (8 . 9)) 2022 0.9878 7.5796 ((1 . 14) (2 . 15) (3 . 16) (4 . 19) (5 . 20) (6 . 22) (8 . 24)) 2061 0.9985 4.4439 ((1 . 1) (2 . 3) (3 . 5) (4 . 6) (5 . 7) (6 . 8) (8 . 9)) 2087 0.9976 5.0176 ((1 . 2) (2 . 3) (3 . 4) (4 . 7) (5 . 8) (6 . 10) (8 . 12)) 2110 0.8474 8.6928 ((1 . 21) (2 . 23) (3 . 24) (5 . 27) (6 . 28) (8 . 29)) 2165 0.5697 9.2417 ((2 . 28) (3 . 30) (6 . 31) (8 . 32)) 2186 0.9957 5.7931 ((1 . 7) (2 . 8) (3 . 9) (4 . 11) (5 . 12) (6 . 13) (8 . 14)) 2188 0.8569 3.4264 ((1 . 9) (2 . 10) (3 . 11) (5 . 14) (6 . 15) (8 . 16)) 2191 0.8563 4.7196 ((2 . 1) (3 . 2) (4 . 4) (5 . 5) (6 . 7) (8 . 8)) 2221 0.9982 4.6610 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 8) (8 . 9)) 2246 0.9980 4.8034 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 9) (6 . 11) (8 . 12)) 2318 0.9981 4.7340 ((1 . 2) (2 . 3) (3 . 5) (4 . 8) (5 . 10) (6 . 12) (8 . 14)) 2319 0.9964 5.5586 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (5 . 20) (6 . 21) (8 . 22)) 2320 0.9955 5.8914 ((1 . 1) (2 . 3) (3 . 4) (4 . 7) (5 . 8) (6 . 10) (8 . 11)) 2321 0.7142 3.5545 ((2 . 14) (3 . 15) (5 . 18) (6 . 20) (8 . 22)) 2338 0.8564 4.5401 ((1 . 13) (2 . 14) (3 . 15) (5 . 19) (6 . 21) (8 . 22)) 2365 0.9964 5.5437 ((1 . 1) (2 . 3) (3 . 6) (4 . 9) (5 . 10) (6 . 11) (8 . 12)) 2428 0.9990 4.0512 ((1 . 5) (2 . 6) (3 . 8) (4 . 9) (5 . 13) (6 . 14) (8 . 17)) 2441 0.9970 5.3065 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 8)) 2442 0.9969 5.3294 ((1 . 10) (2 . 12) (3 . 14) (4 . 15) (5 . 16) (6 . 17) (8 . 19)) 2444 0.9996 3.2655 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (8 . 9)) 2445 0.9999 2.4445 ((1 . 11) (2 . 12) (3 . 14) (4 . 15) (5 . 16) (6 . 17) (8 . 19)) 2473 0.9995 3.3192 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (5 . 8) (6 . 10) (8 . 11)) 2507 0.9970 5.3085 ((1 . 3) (2 . 4) (3 . 6) (4 . 9) (5 . 11) (6 . 13) (8 . 14)) 2508 0.9979 4.8537 ((1 . 16) (2 . 17) (3 . 19) (4 . 20) (5 . 22) (6 . 24) (8 . 25)) 2531 0.9973 5.1719 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 7) (6 . 8) (8 . 9)) 2534 0.9982 4.6600 ((1 . 16) (2 . 18) (3 . 19) (4 . 20) (5 . 22) (6 . 23) (8 . 25)) 2577 0.9963 5.5863 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (5 . 7) (6 . 9) (8 . 10)) 2578 0.9958 5.7593 ((1 . 12) (2 . 13) (3 . 15) (4 . 17) (5 . 18) (6 . 20) (8 . 21)) 2579 0.9980 4.7741 ((1 . 22) (2 . 24) (3 . 25) (4 . 27) (5 . 29) (6 . 31) (8 . 32)) 2641 0.9986 4.3427 ((1 . 1) (2 . 3) (3 . 5) (4 . 7) (5 . 8) (6 . 9) (8 . 10)) 2686 0.9987 4.2740 ((1 . 2) (2 . 3) (3 . 4) (4 . 7) (5 . 9) (6 . 10) (8 . 13)) 2728 0.9993 3.6489 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 9) (8 . 10)) 2767 0.9998 2.8222 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7)) 2812 0.9992 3.8421 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7)) 2813 0.2945 7.9978 ((3 . 9) (4 . 10) (6 . 12) (8 . 13)) 2877 0.8559 5.1330 ((2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (8 . 8)) 2880 0.9985 4.4855 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (8 . 12)) 2971 0.7128 6.7978 ((3 . 8) (4 . 10) (5 . 11) (6 . 13) (8 . 14)) 2987 0.7138 5.0098 ((1 . 26) (4 . 30) (5 . 31) (6 . 32) (8 . 33)) 3099 0.9989 4.1233 ((1 . 23) (2 . 24) (3 . 25) (4 . 26) (5 . 27) (6 . 28) (8 . 29)) 3101 0.9985 4.4560 ((1 . 50) (2 . 51) (3 . 52) (4 . 53) (5 . 54) (6 . 55) (8 . 56)) 3159 0.9985 4.4335 ((1 . 52) (2 . 54) (3 . 55) (4 . 57) (5 . 59) (6 . 60) (8 . 61)) 3185 0.8560 5.0507 ((1 . 14) (2 . 15) (3 . 16) (5 . 21) (6 . 23) (8 . 24)) 3186 0.8568 3.6546 ((1 . 1) (2 . 2) (3 . 3) (5 . 7) (6 . 8) (8 . 9)) 3205 0.9995 3.3784 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8)) 3292 0.9986 4.3800 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 8) (6 . 10) (8 . 11)) 3342 0.8536 6.7106 ((1 . 2) (2 . 3) (3 . 4) (5 . 7) (6 . 8) (8 . 9)) 3357 0.9963 5.5886 ((1 . 1) (2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 10) (8 . 11)) 3378 0.8565 4.3160 ((1 . 32) (2 . 34) (3 . 35) (5 . 37) (6 . 39) (8 . 40)) 3417 0.9984 4.5569 ((1 . 2) (2 . 6) (3 . 7) (4 . 8) (5 . 9) (6 . 10) (8 . 11)) 3430 0.8561 4.9218 ((1 . 2) (2 . 4) (3 . 5) (5 . 8) (6 . 9) (8 . 10)) 3431 0.7130 6.4978 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6)) 3443 0.8562 4.8033 ((1 . 2) (2 . 3) (4 . 6) (5 . 7) (6 . 8) (8 . 9)) 3444 0.9986 4.3532 ((1 . 37) (2 . 38) (3 . 39) (4 . 41) (5 . 43) (6 . 45) (8 . 46)) 3445 0.9995 3.4124 ((1 . 47) (2 . 48) (3 . 49) (4 . 50) (5 . 51) (6 . 52) (8 . 53)) 3472 0.9966 5.4659 ((1 . 2) (2 . 3) (3 . 4) (4 . 8) (5 . 9) (6 . 11) (8 . 12)) 3478 0.9926 6.6686 ((1 . 3) (2 . 4) (3 . 5) (4 . 7) (5 . 8) (6 . 9) (8 . 10)) 3507 0.5709 7.0277 ((4 . 31) (5 . 33) (6 . 34) (8 . 37)) 3530 0.8568 3.6228 ((1 . 20) (2 . 21) (4 . 23) (5 . 24) (6 . 25) (8 . 27)) 3531 0.8564 4.5522 ((2 . 30) (3 . 32) (4 . 33) (5 . 34) (6 . 35) (8 . 36)) 3532 0.7138 5.2259 ((1 . 37) (2 . 38) (5 . 39) (6 . 40) (8 . 42)) 3550 0.8564 4.5775 ((1 . 2) (2 . 3) (3 . 6) (5 . 9) (6 . 10) (8 . 13)) 3554 0.8570 3.2132 ((1 . 1) (2 . 3) (3 . 4) (5 . 8) (6 . 10) (8 . 11)) 3555 0.9988 4.2534 ((1 . 12) (2 . 14) (3 . 15) (4 . 17) (5 . 19) (6 . 21) (8 . 23)) 3556 0.9996 3.1706 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 8) (6 . 10) (8 . 12)) 3557 0.8564 4.4777 ((2 . 15) (3 . 16) (4 . 18) (5 . 19) (6 . 21) (8 . 23)) 3655 0.5673 11.5806 ((2 . 29) (5 . 31) (6 . 32) (8 . 34)) 3667 0.9972 5.2273 ((1 . 3) (2 . 4) (3 . 6) (4 . 7) (5 . 8) (6 . 9) (8 . 10)) 3690 0.9964 5.5682 ((1 . 1) (2 . 4) (3 . 5) (4 . 6) (5 . 9) (6 . 11) (8 . 12)) 3699 0.8571 2.3488 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 8)) 3700 0.9999 2.3376 ((1 . 13) (2 . 14) (3 . 16) (4 . 17) (5 . 18) (6 . 19) (8 . 20)) 3762 0.8566 4.1597 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 7)) 3791 0.5713 5.0930 ((1 . 47) (2 . 48) (3 . 50) (6 . 52)) 3792 0.8517 7.4937 ((1 . 55) (2 . 56) (4 . 58) (5 . 59) (6 . 60) (8 . 61)) 3793 0.7095 9.0988 ((1 . 63) (4 . 66) (5 . 67) (6 . 69) (8 . 70)) 3794 0.7124 7.2229 ((2 . 23) (3 . 24) (4 . 26) (5 . 27) (8 . 30)) 3876 0.7141 3.8612 ((1 . 2) (2 . 3) (3 . 4) (5 . 6) (6 . 7)) 3948 0.9976 5.0127 ((1 . 2) (2 . 3) (3 . 5) (4 . 9) (5 . 10) (6 . 12) (8 . 14)) 3949 0.9982 4.6615 ((1 . 15) (2 . 16) (3 . 17) (4 . 19) (5 . 21) (6 . 22) (8 . 24)) 3950 0.9984 4.5165 ((1 . 2) (2 . 3) (3 . 4) (4 . 7) (5 . 8) (6 . 10) (8 . 12)) 3951 0.9979 4.8424 ((1 . 13) (2 . 15) (3 . 16) (4 . 18) (5 . 19) (6 . 21) (8 . 22)) 4079 0.9982 4.6722 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (8 . 10)) 4109 0.9992 3.8135 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 7) (8 . 8)) 4110 0.9996 3.1941 ((1 . 9) (2 . 10) (3 . 11) (4 . 12) (5 . 13) (6 . 14) (8 . 16)) 4111 0.9999 2.1234 ((1 . 17) (2 . 18) (3 . 19) (4 . 20) (5 . 22) (6 . 23) (8 . 24)) 4145 0.9990 4.0053 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (8 . 9)) 4146 0.7143 2.2697 ((1 . 11) (2 . 12) (3 . 14) (5 . 15) (6 . 16)) 4178 0.5710 6.6723 ((1 . 6) (2 . 7) (3 . 9) (5 . 10)) 4197 0.7128 6.7269 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (6 . 7)) 4199 0.8559 5.1909 ((1 . 1) (2 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7)) 4219 0.7113 8.0833 ((3 . 4) (4 . 5) (5 . 6) (6 . 8) (8 . 9)) 4221 0.9984 4.5307 ((1 . 2) (2 . 3) (3 . 5) (4 . 8) (5 . 10) (6 . 12) (8 . 13)) 4224 0.8521 7.3511 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 8) (8 . 9)) 4230 0.9974 5.1041 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 8) (6 . 11) (8 . 13)) 4286 0.9984 4.5323 ((1 . 3) (2 . 4) (3 . 6) (4 . 9) (5 . 11) (6 . 13) (8 . 15)) 4289 0.9991 3.8941 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 9) (8 . 10)) 4290 0.9989 4.1409 ((1 . 11) (2 . 13) (3 . 14) (4 . 15) (5 . 17) (6 . 18) (8 . 20)) 4349 0.9976 5.0236 ((1 . 2) (2 . 3) (3 . 4) (4 . 7) (5 . 8) (6 . 10) (8 . 12)) 4464 0.9962 5.6308 ((1 . 1) (2 . 2) (3 . 3) (4 . 6) (5 . 7) (6 . 9) (8 . 10)) 4512 0.9989 4.1173 ((1 . 2) (2 . 3) (3 . 6) (4 . 7) (5 . 8) (6 . 9) (8 . 10)) 4525 0.9980 4.7612 ((1 . 20) (2 . 21) (3 . 23) (4 . 24) (5 . 26) (6 . 28) (8 . 29)) 4526 0.9997 2.9086 ((1 . 30) (2 . 31) (3 . 32) (4 . 33) (5 . 34) (6 . 35) (8 . 36)) 4581 0.7130 6.4785 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (8 . 9)) 4584 0.9986 4.4034 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (5 . 9) (6 . 11) (8 . 13)) 4637 0.9980 4.8178 ((1 . 2) (2 . 3) (3 . 4) (4 . 7) (5 . 8) (6 . 10) (8 . 12)) 4638 0.5710 6.6916 ((1 . 13) (2 . 14) (4 . 16) (5 . 18)) 4639 0.9984 4.5116 ((1 . 2) (2 . 3) (3 . 5) (4 . 8) (5 . 9) (6 . 10) (8 . 12)) 4640 0.9985 4.4926 ((1 . 14) (2 . 16) (3 . 17) (4 . 19) (5 . 21) (6 . 23) (8 . 24)) 4687 0.9986 4.3454 ((1 . 27) (2 . 28) (3 . 30) (4 . 31) (5 . 33) (6 . 34) (8 . 35)) 4700 0.9991 3.9101 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 8) (8 . 10)) 4708 0.8558 5.2228 ((1 . 48) (2 . 49) (3 . 50) (5 . 51) (6 . 53) (8 . 54)) 4744 0.9971 5.2623 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7)) 4777 0.9986 4.3985 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (5 . 7) (6 . 10) (8 . 11)) 4800 0.7142 3.5998 ((1 . 1) (2 . 3) (5 . 5) (6 . 7) (8 . 8)) 4809 0.9995 3.3986 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7)) 4892 0.7127 6.9363 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6)) 4896 0.9945 6.1798 ((1 . 1) (2 . 3) (3 . 5) (4 . 7) (5 . 8) (6 . 10) (8 . 11)) 4897 0.5710 6.4351 ((1 . 14) (2 . 15) (3 . 17) (4 . 18)) 4898 0.5701 8.7103 ((1 . 22) (2 . 23) (3 . 27) (4 . 28)) 4908 0.8488 8.3377 ((2 . 3) (3 . 4) (4 . 6) (5 . 7) (6 . 8) (8 . 9)) 4921 0.7110 8.2717 ((2 . 7) (3 . 8) (4 . 9) (6 . 12) (8 . 14)) 4923 0.9973 5.1432 ((1 . 14) (2 . 16) (3 . 17) (4 . 18) (5 . 19) (6 . 20) (8 . 22)) 4951 0.9979 4.8267 ((1 . 47) (2 . 49) (3 . 50) (4 . 53) (5 . 54) (6 . 55) (8 . 56)) 4967 0.7139 4.8867 ((1 . 24) (4 . 28) (5 . 29) (6 . 30) (8 . 31)) 4968 0.7132 6.3140 ((2 . 37) (3 . 39) (4 . 40) (5 . 42) (6 . 43)) 5040 0.9979 4.8446 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 10) (6 . 12) (8 . 13)) 5043 0.9985 4.4451 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (5 . 11) (6 . 12) (8 . 13)) 5166 0.7122 7.4135 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 6)) 5246 0.9980 4.7653 ((1 . 3) (2 . 4) (3 . 6) (4 . 9) (5 . 10) (6 . 12) (8 . 14)) 5281 0.5713 4.6131 ((1 . 65) (2 . 66) (3 . 67) (4 . 69)) 5310 0.9976 4.9949 ((1 . 1) (2 . 4) (3 . 5) (4 . 8) (5 . 9) (6 . 10) (8 . 12)) 5311 0.8566 4.1024 ((2 . 14) (3 . 15) (4 . 16) (5 . 17) (6 . 18) (8 . 20)) 5316 0.9986 4.3934 ((1 . 2) (2 . 3) (3 . 5) (4 . 8) (5 . 10) (6 . 12) (8 . 14)) 5319 0.9999 2.1969 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 7) (8 . 8)) 5320 0.9998 2.7375 ((1 . 9) (2 . 10) (3 . 11) (4 . 12) (5 . 13) (6 . 14) (8 . 16)) 5342 0.9986 4.3879 ((1 . 45) (2 . 47) (3 . 48) (4 . 50) (5 . 51) (6 . 52) (8 . 54)) 5413 0.9977 4.9569 ((1 . 2) (2 . 3) (3 . 4) (4 . 6) (5 . 8) (6 . 10) (8 . 11)) 5431 0.9998 2.5268 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 7)) 5432 0.9999 1.8718 ((1 . 8) (2 . 9) (3 . 10) (4 . 11) (5 . 12) (6 . 13) (8 . 15)) 5497 0.9949 6.0526 ((1 . 21) (2 . 22) (3 . 23) (4 . 25) (5 . 26) (6 . 28) (8 . 29)) 5552 0.9990 4.0399 ((1 . 5) (2 . 6) (3 . 8) (4 . 9) (5 . 11) (6 . 12) (8 . 14)) 5615 0.9977 4.9747 ((1 . 28) (2 . 29) (3 . 30) (4 . 32) (5 . 33) (6 . 34) (8 . 35)) 5633 0.9949 6.0620 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 8) (8 . 10)) 5634 0.7139 4.7508 ((1 . 11) (2 . 13) (3 . 14) (5 . 17) (6 . 18)) 5682 0.9976 5.0134 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 9) (8 . 10)) 5683 0.9972 5.2329 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (8 . 10)) 5733 0.9990 4.0628 ((1 . 12) (2 . 14) (3 . 15) (4 . 17) (5 . 19) (6 . 21) (8 . 22)) 5835 0.5709 6.9985 ((3 . 35) (4 . 37) (5 . 38) (8 . 41)) 5863 0.8567 4.0033 ((1 . 30) (2 . 31) (3 . 33) (5 . 37) (6 . 38) (8 . 39)) 5899 0.9999 2.0344 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8)) 5916 0.8554 5.6177 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (6 . 5) (8 . 8)) 5936 0.9972 5.1997 ((1 . 1) (2 . 4) (3 . 5) (4 . 6) (5 . 11) (6 . 13) (8 . 14)) 5948 0.8564 4.5522 ((1 . 1) (2 . 3) (3 . 5) (4 . 8) (5 . 9) (6 . 10)) 5974 0.9955 5.8810 ((1 . 2) (2 . 4) (3 . 5) (4 . 6) (5 . 8) (6 . 10) (8 . 11)) 5988 0.9928 6.6145 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 7) (8 . 8)) 5989 0.9998 2.6964 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 9)) 5993 0.8571 2.5969 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 7)) 6012 0.9991 3.8829 ((1 . 48) (2 . 50) (3 . 51) (4 . 52) (5 . 53) (6 . 54) (8 . 55)) 6013 0.5712 5.6530 ((2 . 56) (5 . 57) (6 . 58) (8 . 59)) 6037 0.9977 4.9683 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 8)) 6105 0.8558 5.2956 ((2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (8 . 9)) 6124 0.9991 3.9573 ((1 . 8) (2 . 9) (3 . 10) (4 . 12) (5 . 14) (6 . 15) (8 . 16)) 6126 0.9994 3.6053 ((1 . 9) (2 . 10) (3 . 11) (4 . 13) (5 . 15) (6 . 16) (8 . 17)) 6206 0.9986 4.3863 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 8) (8 . 9)) 6207 0.9995 3.4571 ((1 . 10) (2 . 12) (3 . 14) (4 . 15) (5 . 16) (6 . 18) (8 . 19)) 6285 0.9970 5.3087 ((1 . 1) (2 . 4) (3 . 5) (4 . 7) (5 . 8) (6 . 9) (8 . 10)) 6287 0.9988 4.2463 ((1 . 38) (2 . 39) (3 . 40) (4 . 41) (5 . 42) (6 . 44) (8 . 45)) 6288 0.9988 4.2165 ((1 . 46) (2 . 47) (3 . 48) (4 . 49) (5 . 50) (6 . 51) (8 . 52)) 6334 0.9970 5.3025 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 8) (8 . 9)) 6338 0.8562 4.8587 ((2 . 1) (3 . 2) (4 . 4) (5 . 5) (6 . 7) (8 . 8)) 6379 0.9967 5.4466 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (8 . 8)) 6380 0.9960 5.6868 ((1 . 9) (2 . 11) (3 . 13) (4 . 14) (5 . 15) (6 . 17) (8 . 19)) 6443 0.8510 7.7169 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 8)) 6444 0.9989 4.1157 ((1 . 14) (2 . 15) (3 . 16) (4 . 17) (5 . 19) (6 . 21) (8 . 22)) 6445 0.5713 4.5489 ((1 . 1) (5 . 6) (6 . 8) (8 . 9)) 6446 0.9985 4.4224 ((1 . 10) (2 . 12) (3 . 14) (4 . 15) (5 . 16) (6 . 18) (8 . 20)) 6449 0.9999 2.4619 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8)) 6466 0.9996 3.1766 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 7) (8 . 8)) 6467 0.8571 2.0931 ((1 . 10) (2 . 11) (3 . 15) (4 . 16) (5 . 17) (6 . 18)) 6485 0.9986 4.3767 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 9) (8 . 10)) 6570 0.9950 6.0419 ((1 . 15) (2 . 16) (3 . 17) (4 . 19) (5 . 20) (6 . 22) (8 . 23)) 6612 0.9992 3.8355 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (8 . 9)) END