4199 233 0.7136 5.6765 ((2 . 1) (3 . 2) (5 . 5) (6 . 7) (7 . 8)) 234 0.7136 5.5072 ((1 . 10) (3 . 11) (5 . 14) (6 . 15) (7 . 16)) 291 0.7141 4.1459 ((3 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 349 0.8567 3.9838 ((2 . 2) (3 . 3) (4 . 7) (5 . 8) (6 . 10) (7 . 12)) 365 0.7135 5.7334 ((1 . 1) (3 . 2) (4 . 4) (5 . 6) (6 . 8)) 388 0.5713 5.1719 ((4 . 16) (5 . 17) (6 . 18) (7 . 19)) 402 0.8543 6.3489 ((2 . 2) (3 . 3) (4 . 6) (5 . 7) (6 . 9) (7 . 11)) 403 0.8543 6.3505 ((1 . 12) (3 . 13) (4 . 17) (5 . 18) (6 . 20) (7 . 21)) 404 0.7138 5.1881 ((2 . 23) (3 . 24) (5 . 28) (6 . 30) (7 . 31)) 405 0.8564 4.6005 ((2 . 32) (3 . 33) (4 . 37) (5 . 38) (6 . 39) (7 . 40)) 445 0.7136 5.5927 ((2 . 1) (3 . 2) (5 . 5) (6 . 6) (7 . 7)) 449 0.5711 6.0241 ((1 . 1) (3 . 2) (5 . 6) (6 . 7)) 450 0.7139 4.8568 ((1 . 12) (3 . 13) (5 . 18) (6 . 19) (7 . 20)) 564 0.8553 5.6926 ((1 . 1) (3 . 2) (4 . 7) (5 . 8) (6 . 10) (7 . 11)) 565 0.7088 9.4061 ((2 . 13) (3 . 14) (4 . 16) (5 . 17) (6 . 18)) 567 0.7137 5.2903 ((1 . 1) (3 . 2) (4 . 5) (5 . 6) (6 . 8)) 568 0.8557 5.3409 ((1 . 12) (3 . 13) (4 . 16) (5 . 17) (6 . 18) (7 . 19)) 570 0.7081 9.7174 ((2 . 4) (3 . 5) (4 . 9) (5 . 11) (6 . 12)) 571 0.8542 6.4232 ((1 . 12) (2 . 13) (3 . 14) (5 . 15) (6 . 16) (7 . 17)) 578 0.8551 5.8707 ((1 . 1) (3 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 8)) 579 0.7134 5.8788 ((1 . 9) (3 . 10) (4 . 13) (5 . 14) (6 . 15)) 599 0.7075 9.9442 ((2 . 4) (3 . 5) (4 . 7) (5 . 9) (6 . 10)) 600 0.8379 10.3629 ((2 . 10) (3 . 11) (4 . 13) (5 . 14) (6 . 15) (7 . 16)) 626 0.5712 5.7436 ((3 . 3) (5 . 7) (6 . 8) (7 . 10)) 668 0.6625 6.5202 ((1 . 1) (2 . 2) (3 . 3) (4 . 7) (5 . 8) (6 . 10) (7 . 12)) 669 0.7133 6.0698 ((2 . 13) (3 . 14) (4 . 17) (5 . 18) (6 . 20)) 670 0.5713 5.1127 ((1 . 23) (2 . 24) (3 . 26) (6 . 30)) 671 0.8566 4.1323 ((2 . 32) (3 . 33) (4 . 37) (5 . 38) (6 . 40) (7 . 41)) 693 0.7142 3.1658 ((3 . 31) (4 . 33) (5 . 34) (6 . 35) (7 . 36)) 695 0.8568 3.8597 ((1 . 1) (3 . 3) (4 . 5) (5 . 6) (6 . 7) (7 . 8)) 696 0.7117 7.7527 ((2 . 12) (3 . 13) (4 . 16) (5 . 17) (6 . 19)) 697 0.7142 2.8874 ((2 . 21) (3 . 22) (5 . 26) (6 . 27) (7 . 30)) 698 0.7106 8.5010 ((2 . 34) (3 . 36) (4 . 38) (5 . 39) (6 . 40)) 828 0.7140 4.4258 ((3 . 8) (4 . 10) (5 . 11) (6 . 12) (7 . 13)) 888 0.7142 3.6100 ((3 . 14) (4 . 17) (5 . 19) (6 . 20) (7 . 21)) 919 0.5710 6.5617 ((4 . 4) (5 . 5) (6 . 6) (7 . 8)) 922 0.7118 7.7107 ((2 . 4) (4 . 7) (5 . 8) (6 . 10) (7 . 11)) 926 0.7095 9.1112 ((2 . 2) (3 . 4) (4 . 6) (6 . 9) (7 . 11)) 927 0.8556 5.4333 ((2 . 13) (3 . 14) (4 . 17) (5 . 18) (6 . 19) (7 . 20)) 1025 0.5708 7.3455 ((1 . 1) (3 . 3) (4 . 5) (6 . 7)) 1086 0.7098 8.9570 ((2 . 3) (3 . 5) (4 . 7) (6 . 10) (7 . 12)) 1110 0.8559 5.1042 ((2 . 10) (3 . 11) (4 . 14) (5 . 15) (6 . 16) (7 . 18)) 1112 0.8565 4.3487 ((2 . 2) (3 . 6) (4 . 8) (5 . 9) (6 . 10) (7 . 12)) 1126 0.8563 4.6748 ((2 . 2) (3 . 3) (4 . 6) (5 . 7) (6 . 9) (7 . 10)) 1127 0.7137 5.3161 ((1 . 13) (3 . 14) (4 . 17) (5 . 18) (6 . 19)) 1149 0.8545 6.2399 ((1 . 1) (3 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 1164 0.8565 4.3142 ((2 . 2) (3 . 3) (4 . 6) (5 . 7) (6 . 9) (7 . 10)) 1181 0.5713 5.0774 ((3 . 4) (4 . 6) (6 . 11) (7 . 13)) 1235 0.9995 3.4220 ((1 . 1) (2 . 2) (3 . 3) (4 . 6) (5 . 7) (6 . 9) (7 . 10)) 1236 0.7127 6.9146 ((2 . 14) (3 . 15) (4 . 19) (5 . 21) (6 . 23)) 1270 0.8568 3.6548 ((2 . 34) (3 . 35) (4 . 37) (5 . 38) (6 . 39) (7 . 40)) 1293 0.5709 6.9460 ((3 . 3) (4 . 5) (5 . 7) (7 . 9)) 1294 0.8560 5.0246 ((1 . 39) (3 . 40) (4 . 43) (5 . 44) (6 . 46) (7 . 47)) 1295 0.8547 6.1110 ((1 . 48) (3 . 49) (4 . 51) (5 . 52) (6 . 53) (7 . 54)) 1341 0.7142 3.7104 ((2 . 2) (3 . 3) (4 . 7) (5 . 8) (6 . 10)) 1342 0.8551 5.8327 ((2 . 14) (3 . 19) (4 . 20) (5 . 21) (6 . 22) (7 . 23)) 1363 0.7137 5.3517 ((3 . 1) (4 . 5) (5 . 6) (6 . 7) (7 . 8)) 1374 0.5712 5.5137 ((3 . 1) (5 . 6) (6 . 8) (7 . 9)) 1375 0.7112 8.1213 ((2 . 10) (3 . 12) (5 . 16) (6 . 18) (7 . 20)) 1390 0.7141 4.2219 ((2 . 2) (3 . 3) (5 . 6) (6 . 8) (7 . 9)) 1391 0.7106 8.5052 ((1 . 11) (3 . 12) (4 . 15) (5 . 16) (7 . 17)) 1392 0.8546 6.1567 ((2 . 20) (3 . 21) (4 . 23) (5 . 24) (6 . 25) (7 . 26)) 1418 0.8547 6.1235 ((1 . 1) (3 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 8)) 1419 0.7138 5.2154 ((1 . 10) (3 . 11) (4 . 13) (5 . 14) (6 . 15)) 1445 0.9987 4.2607 ((1 . 1) (2 . 2) (3 . 4) (4 . 9) (5 . 10) (6 . 12) (7 . 13)) 1446 0.9989 4.0878 ((1 . 14) (2 . 15) (3 . 16) (4 . 19) (5 . 20) (6 . 22) (7 . 24)) 1502 0.9998 2.7151 ((1 . 1) (2 . 2) (3 . 3) (4 . 6) (5 . 7) (6 . 9) (7 . 10)) 1555 0.8557 5.3623 ((2 . 1) (3 . 2) (4 . 5) (5 . 6) (6 . 8) (7 . 9)) 1566 0.7125 7.0942 ((2 . 3) (3 . 4) (4 . 6) (6 . 10) (7 . 12)) 1568 0.8555 5.5305 ((2 . 1) (3 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 1569 0.8559 5.1909 ((1 . 1) (3 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 8)) 1570 0.8564 4.5275 ((1 . 9) (3 . 10) (4 . 12) (5 . 13) (6 . 14) (7 . 16)) 1571 0.8540 6.4924 ((2 . 17) (3 . 18) (4 . 20) (5 . 21) (6 . 22) (7 . 24)) 1572 0.8562 4.7485 ((1 . 1) (3 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 8)) 1573 0.8546 6.1682 ((2 . 9) (3 . 10) (4 . 12) (5 . 13) (6 . 14) (7 . 16)) 1579 0.5712 5.7680 ((4 . 8) (5 . 10) (6 . 12) (7 . 13)) 1580 0.7132 6.1917 ((3 . 1) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 1600 0.7140 4.4933 ((3 . 3) (4 . 5) (5 . 6) (6 . 8) (7 . 9)) 1601 0.8556 5.4535 ((2 . 10) (3 . 11) (4 . 15) (5 . 17) (6 . 20) (7 . 21)) 1660 0.7138 5.1642 ((1 . 1) (3 . 2) (4 . 4) (5 . 5) (6 . 7)) 1661 0.8554 5.5838 ((1 . 11) (3 . 12) (4 . 15) (5 . 16) (6 . 17) (7 . 18)) 1666 0.9994 3.5562 ((1 . 1) (2 . 3) (3 . 4) (4 . 7) (5 . 8) (6 . 9) (7 . 11)) 1667 0.8561 4.9170 ((1 . 38) (3 . 39) (4 . 41) (5 . 42) (6 . 44) (7 . 45)) 1668 0.8565 4.4413 ((1 . 46) (3 . 48) (4 . 51) (5 . 53) (6 . 54) (7 . 55)) 1684 0.7141 4.0952 ((2 . 2) (3 . 3) (5 . 7) (6 . 9) (7 . 11)) 1688 0.9997 3.0894 ((1 . 1) (2 . 2) (3 . 3) (4 . 6) (5 . 7) (6 . 9) (7 . 10)) 1722 0.5711 6.1749 ((2 . 4) (3 . 6) (5 . 8) (7 . 10)) 1723 0.5710 6.5026 ((4 . 16) (5 . 17) (6 . 19) (7 . 20)) 1826 0.5713 4.9729 ((4 . 2) (5 . 3) (6 . 5) (7 . 6)) 1827 0.8558 5.3008 ((1 . 13) (3 . 14) (4 . 18) (5 . 19) (6 . 20) (7 . 21)) 1828 0.5711 6.1784 ((4 . 22) (5 . 23) (6 . 26) (7 . 27)) 1864 0.9998 2.5306 ((1 . 1) (2 . 2) (3 . 3) (4 . 6) (5 . 7) (6 . 9) (7 . 10)) 1928 0.9993 3.6779 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 7) (6 . 9) (7 . 11)) 1938 0.9986 4.3946 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 8) (7 . 9)) 1939 0.7132 6.2810 ((2 . 10) (3 . 11) (5 . 12) (6 . 17) (7 . 18)) 1996 0.5713 4.3141 ((2 . 1) (3 . 2) (6 . 4) (7 . 5)) 2009 0.5709 6.7976 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 2022 0.7120 7.5742 ((3 . 15) (4 . 19) (5 . 20) (6 . 22) (7 . 24)) 2061 0.8549 5.9700 ((2 . 1) (3 . 3) (4 . 6) (5 . 7) (6 . 8) (7 . 9)) 2087 0.9991 3.8776 ((1 . 1) (2 . 2) (3 . 3) (4 . 7) (5 . 8) (6 . 10) (7 . 12)) 2110 0.6999 12.0808 ((2 . 23) (3 . 24) (4 . 27) (5 . 28) (6 . 29)) 2165 0.9972 5.2139 ((1 . 24) (2 . 25) (3 . 29) (4 . 31) (5 . 32) (6 . 37) (7 . 40)) 2186 0.8545 6.2417 ((2 . 7) (3 . 8) (4 . 11) (5 . 12) (6 . 13) (7 . 14)) 2188 0.7135 5.7416 ((2 . 9) (3 . 10) (5 . 14) (6 . 15) (7 . 16)) 2191 0.7141 3.9285 ((3 . 1) (4 . 4) (5 . 5) (6 . 7) (7 . 8)) 2221 0.2332 7.2385 ((1 . 4) (2 . 5) (3 . 6) (4 . 9) (5 . 2) (6 . 8) (7 . 3)) 2246 0.8560 5.0520 ((2 . 1) (3 . 2) (4 . 8) (5 . 9) (6 . 11) (7 . 12)) 2318 0.9990 3.9946 ((1 . 1) (2 . 2) (3 . 3) (4 . 8) (5 . 10) (6 . 12) (7 . 14)) 2319 0.7129 6.6031 ((2 . 15) (3 . 16) (4 . 19) (5 . 20) (6 . 21)) 2320 0.7135 5.8156 ((3 . 4) (4 . 6) (5 . 7) (6 . 8) (7 . 10)) 2321 0.7138 5.1859 ((3 . 14) (4 . 15) (5 . 18) (6 . 20) (7 . 22)) 2338 0.5712 5.4991 ((4 . 13) (5 . 14) (6 . 15) (7 . 19)) 2365 0.5712 5.8261 ((3 . 6) (4 . 10) (5 . 11) (6 . 12)) 2428 0.5712 5.4807 ((4 . 9) (5 . 10) (6 . 12) (7 . 13)) 2441 0.9967 5.4240 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 7) (7 . 9)) 2442 0.7131 6.4077 ((3 . 12) (4 . 15) (5 . 16) (6 . 17) (7 . 19)) 2444 0.8552 5.7613 ((2 . 1) (3 . 2) (4 . 5) (5 . 7) (6 . 8) (7 . 9)) 2445 0.8562 4.8676 ((1 . 11) (3 . 12) (4 . 15) (5 . 16) (6 . 17) (7 . 19)) 2473 0.7121 7.4488 ((2 . 1) (3 . 2) (4 . 5) (5 . 6) (6 . 8)) 2507 0.8565 4.4119 ((2 . 3) (3 . 4) (4 . 9) (5 . 11) (6 . 13) (7 . 14)) 2508 0.7142 3.6225 ((2 . 16) (3 . 17) (5 . 22) (6 . 24) (7 . 25)) 2531 0.7137 5.3933 ((3 . 2) (4 . 6) (5 . 7) (6 . 8) (7 . 9)) 2534 0.9986 4.3545 ((1 . 16) (2 . 17) (3 . 18) (4 . 20) (5 . 22) (6 . 23) (7 . 25)) 2577 0.8561 4.9216 ((2 . 2) (3 . 3) (4 . 6) (5 . 7) (6 . 9) (7 . 10)) 2578 0.8547 6.0797 ((2 . 12) (3 . 13) (4 . 17) (5 . 18) (6 . 20) (7 . 21)) 2579 0.9995 3.4036 ((1 . 22) (2 . 23) (3 . 24) (4 . 27) (5 . 29) (6 . 31) (7 . 32)) 2641 0.5714 3.1454 ((4 . 7) (5 . 8) (6 . 9) (7 . 10)) 2686 0.5712 5.2796 ((3 . 3) (5 . 9) (6 . 10) (7 . 11)) 2728 0.7141 4.0914 ((1 . 1) (3 . 2) (4 . 5) (5 . 6) (6 . 9)) 2767 0.8553 5.7069 ((2 . 1) (3 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 2812 0.5713 5.2379 ((4 . 4) (5 . 5) (6 . 6) (7 . 7)) 2813 0.5713 4.7310 ((3 . 9) (5 . 12) (6 . 13) (7 . 14)) 2877 0.5713 5.0737 ((3 . 2) (5 . 6) (6 . 7) (7 . 8)) 2880 0.7139 4.7186 ((2 . 2) (3 . 3) (4 . 6) (5 . 7) (6 . 8)) 2971 0.5709 6.8129 ((4 . 10) (5 . 11) (6 . 13) (7 . 14)) 2987 0.9997 2.9496 ((1 . 26) (2 . 27) (3 . 28) (4 . 30) (5 . 31) (6 . 32) (7 . 33)) 3099 0.5713 4.6752 ((4 . 23) (5 . 24) (6 . 25) (7 . 26)) 3101 0.5714 4.2151 ((4 . 50) (5 . 51) (6 . 52) (7 . 53)) 3159 0.9989 4.1005 ((1 . 52) (2 . 53) (3 . 54) (4 . 58) (5 . 59) (6 . 60) (7 . 61)) 3185 0.7131 6.4308 ((2 . 14) (3 . 15) (5 . 21) (6 . 23) (7 . 24)) 3186 0.5712 5.5490 ((4 . 1) (5 . 2) (6 . 3) (7 . 7)) 3205 0.5713 4.5394 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 3292 0.8541 6.4772 ((1 . 2) (3 . 3) (4 . 7) (5 . 8) (6 . 10) (7 . 11)) 3342 0.5711 6.3300 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 3357 0.7090 9.3459 ((2 . 2) (4 . 6) (5 . 7) (6 . 8) (7 . 10)) 3378 0.7100 8.8719 ((2 . 34) (3 . 35) (4 . 37) (5 . 39) (6 . 40)) 3417 0.7126 7.0181 ((3 . 2) (4 . 4) (5 . 6) (6 . 7) (7 . 8)) 3430 0.5713 4.9731 ((1 . 2) (2 . 3) (3 . 4) (5 . 5)) 3431 0.7124 7.2068 ((2 . 2) (3 . 3) (4 . 5) (6 . 7) (7 . 8)) 3443 0.8563 4.7171 ((2 . 2) (3 . 3) (4 . 6) (5 . 7) (6 . 8) (7 . 9)) 3444 0.5701 8.6358 ((4 . 37) (5 . 38) (6 . 39) (7 . 40)) 3445 0.7139 4.8688 ((1 . 47) (3 . 48) (4 . 50) (5 . 51) (6 . 52)) 3472 0.7136 5.5826 ((3 . 4) (4 . 6) (5 . 8) (6 . 9) (7 . 11)) 3478 0.7135 5.8373 ((3 . 4) (4 . 7) (5 . 8) (6 . 9) (7 . 10)) 3507 0.5706 7.6465 ((4 . 32) (5 . 33) (6 . 34) (7 . 37)) 3530 0.8565 4.3398 ((2 . 20) (3 . 21) (4 . 23) (5 . 24) (6 . 25) (7 . 27)) 3531 0.7138 5.2029 ((3 . 30) (4 . 33) (5 . 34) (6 . 35) (7 . 36)) 3532 0.7139 4.7838 ((2 . 37) (3 . 38) (5 . 39) (6 . 40) (7 . 41)) 3550 0.5700 8.8156 ((4 . 2) (5 . 3) (6 . 6) (7 . 7)) 3554 0.5711 5.8872 ((4 . 1) (5 . 3) (6 . 4) (7 . 5)) 3555 0.8545 6.2325 ((2 . 12) (3 . 14) (4 . 17) (5 . 19) (6 . 21) (7 . 23)) 3556 0.5714 3.4443 ((4 . 1) (5 . 2) (6 . 3) (7 . 5)) 3557 0.7140 4.3673 ((3 . 15) (4 . 18) (5 . 19) (6 . 21) (7 . 23)) 3655 0.5709 6.9016 ((2 . 31) (3 . 32) (5 . 34) (6 . 35)) 3667 0.5710 6.6511 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 3690 0.5712 5.6838 ((4 . 2) (5 . 3) (6 . 5) (7 . 6)) 3699 0.5714 3.7213 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 3700 0.5712 5.5728 ((2 . 13) (4 . 17) (5 . 18) (6 . 19)) 3762 0.7133 6.1133 ((2 . 1) (3 . 2) (5 . 5) (6 . 6) (7 . 7)) 3791 0.7122 7.4055 ((2 . 44) (3 . 45) (5 . 47) (6 . 48) (7 . 50)) 3792 0.8569 3.4641 ((2 . 54) (3 . 55) (4 . 57) (5 . 60) (6 . 61) (7 . 62)) 3793 0.7080 9.7524 ((2 . 63) (4 . 66) (5 . 67) (6 . 69) (7 . 70)) 3794 0.7139 4.7056 ((3 . 5) (4 . 25) (5 . 28) (6 . 30) (7 . 31)) 3876 0.7126 7.0301 ((3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8)) 3948 0.7128 6.7625 ((1 . 3) (3 . 5) (4 . 7) (5 . 9) (6 . 10)) 3949 0.8551 5.8512 ((2 . 15) (3 . 16) (4 . 19) (5 . 21) (6 . 22) (7 . 24)) 3950 0.8568 3.6612 ((2 . 2) (3 . 3) (4 . 7) (5 . 8) (6 . 10) (7 . 12)) 3951 0.8542 6.4247 ((2 . 13) (3 . 15) (4 . 18) (5 . 19) (6 . 21) (7 . 22)) 4079 0.8569 3.5452 ((1 . 1) (2 . 2) (3 . 3) (5 . 7) (6 . 8) (7 . 10)) 4109 0.8561 4.9585 ((2 . 1) (3 . 2) (4 . 4) (5 . 5) (6 . 7) (7 . 8)) 4110 0.7136 5.5746 ((1 . 9) (3 . 10) (4 . 12) (5 . 13) (6 . 14)) 4111 0.7139 4.9728 ((3 . 18) (4 . 20) (5 . 22) (6 . 23) (7 . 24)) 4145 0.7130 6.5561 ((2 . 1) (3 . 2) (5 . 6) (6 . 7) (7 . 9)) 4146 0.5711 6.1292 ((4 . 11) (5 . 12) (6 . 14) (7 . 15)) 4178 0.5709 7.0631 ((3 . 4) (5 . 6) (6 . 7) (7 . 9)) 4197 0.8560 5.0610 ((2 . 1) (3 . 2) (4 . 7) (5 . 8) (6 . 10) (7 . 11)) 4199 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 4219 0.5712 5.8377 ((1 . 2) (2 . 3) (3 . 4) (4 . 6)) 4221 0.7133 6.1197 ((2 . 4) (4 . 7) (5 . 8) (6 . 10) (7 . 12)) 4224 0.7125 7.0674 ((2 . 3) (3 . 4) (4 . 6) (6 . 9) (7 . 11)) 4230 0.9973 5.1739 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 8) (6 . 10) (7 . 13)) 4286 0.9971 5.2533 ((1 . 2) (2 . 3) (3 . 4) (4 . 9) (5 . 11) (6 . 13) (7 . 15)) 4289 0.9970 5.3235 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 7) (6 . 9) (7 . 10)) 4290 0.7138 5.2131 ((3 . 13) (4 . 15) (5 . 17) (6 . 18) (7 . 20)) 4349 0.7132 6.3199 ((3 . 1) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 4464 0.8545 6.2233 ((2 . 1) (3 . 2) (4 . 6) (5 . 7) (6 . 9) (7 . 10)) 4512 0.8563 4.6423 ((2 . 2) (3 . 3) (4 . 7) (5 . 8) (6 . 9) (7 . 10)) 4525 0.7121 7.4242 ((2 . 21) (4 . 23) (5 . 24) (6 . 26) (7 . 28)) 4526 0.8555 5.4908 ((2 . 30) (3 . 31) (4 . 33) (5 . 34) (6 . 35) (7 . 36)) 4581 0.5710 6.5849 ((4 . 1) (5 . 2) (6 . 3) (7 . 5)) 4584 0.9985 4.4741 ((1 . 1) (2 . 2) (3 . 3) (4 . 8) (5 . 9) (6 . 11) (7 . 13)) 4637 0.9988 4.1884 ((1 . 1) (2 . 2) (3 . 3) (4 . 7) (5 . 8) (6 . 10) (7 . 12)) 4638 0.5709 6.8585 ((1 . 13) (3 . 14) (4 . 16) (5 . 18)) 4639 0.8559 5.1423 ((2 . 2) (3 . 3) (4 . 8) (5 . 9) (6 . 10) (7 . 12)) 4640 0.5713 4.5963 ((4 . 14) (5 . 16) (6 . 17) (7 . 19)) 4687 0.8563 4.6149 ((1 . 27) (3 . 28) (4 . 31) (5 . 33) (6 . 34) (7 . 35)) 4700 0.9967 5.4284 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 8) (7 . 10)) 4708 0.7131 6.3477 ((2 . 48) (3 . 49) (5 . 51) (6 . 53) (7 . 54)) 4744 0.8557 5.3629 ((2 . 1) (3 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 4777 0.7132 6.2205 ((1 . 3) (3 . 4) (4 . 6) (5 . 7) (6 . 10)) 4800 0.5710 6.4814 ((1 . 1) (3 . 3) (5 . 5) (7 . 7)) 4809 0.7141 4.1255 ((3 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 4892 0.5711 5.9731 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 4896 0.8559 5.1079 ((2 . 2) (3 . 3) (4 . 7) (5 . 8) (6 . 10) (7 . 11)) 4897 0.5701 8.7827 ((2 . 12) (3 . 14) (4 . 17) (5 . 18)) 4898 0.5688 10.3892 ((4 . 20) (5 . 22) (6 . 23) (7 . 27)) 4908 0.7139 4.9163 ((2 . 2) (3 . 3) (4 . 6) (5 . 7) (6 . 8)) 4921 0.2945 9.8764 ((1 . 8) (2 . 9) (6 . 14) (7 . 15)) 4923 0.9973 5.1637 ((1 . 14) (2 . 15) (3 . 16) (4 . 18) (5 . 19) (6 . 20) (7 . 22)) 4951 0.8568 3.7836 ((1 . 47) (3 . 49) (4 . 53) (5 . 54) (6 . 55) (7 . 56)) 4967 0.9997 3.0041 ((1 . 24) (2 . 25) (3 . 26) (4 . 28) (5 . 29) (6 . 30) (7 . 31)) 4968 0.9957 5.7933 ((1 . 32) (2 . 33) (3 . 35) (4 . 39) (5 . 40) (6 . 42) (7 . 43)) 5040 0.9997 2.9728 ((1 . 1) (2 . 2) (3 . 3) (4 . 8) (5 . 10) (6 . 12) (7 . 13)) 5043 0.7134 5.9517 ((3 . 3) (4 . 5) (5 . 6) (6 . 7) (7 . 9)) 5166 0.7100 8.8335 ((2 . 3) (3 . 4) (5 . 6) (6 . 7) (7 . 8)) 5246 0.5712 5.5394 ((3 . 6) (4 . 8) (5 . 9) (7 . 12)) 5281 0.5713 4.2972 ((4 . 65) (5 . 66) (6 . 67) (7 . 69)) 5310 0.9991 3.9016 ((1 . 1) (2 . 3) (3 . 4) (4 . 8) (5 . 9) (6 . 10) (7 . 12)) 5311 0.7128 6.7314 ((2 . 14) (4 . 16) (5 . 17) (6 . 18) (7 . 20)) 5316 0.7133 6.0586 ((2 . 4) (3 . 5) (5 . 8) (6 . 10) (7 . 12)) 5319 0.8561 4.9826 ((1 . 1) (3 . 2) (4 . 5) (5 . 6) (6 . 7) (7 . 8)) 5320 0.7088 9.4230 ((2 . 10) (3 . 11) (4 . 13) (5 . 14) (6 . 16)) 5342 0.8533 6.8287 ((2 . 45) (3 . 47) (4 . 50) (5 . 51) (6 . 52) (7 . 54)) 5413 0.9994 3.4674 ((1 . 1) (2 . 2) (3 . 3) (4 . 6) (5 . 8) (6 . 10) (7 . 11)) 5431 0.7142 3.6961 ((3 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 5432 0.8559 5.1036 ((1 . 8) (3 . 9) (4 . 11) (5 . 12) (6 . 13) (7 . 15)) 5497 0.8569 3.2907 ((2 . 21) (3 . 22) (4 . 25) (5 . 26) (6 . 28) (7 . 29)) 5552 0.5710 6.4121 ((4 . 6) (5 . 8) (6 . 9) (7 . 11)) 5615 0.8552 5.7625 ((1 . 28) (3 . 29) (4 . 32) (5 . 33) (6 . 34) (7 . 35)) 5633 0.7141 3.9105 ((2 . 1) (3 . 2) (4 . 5) (5 . 6) (6 . 8)) 5634 0.7078 9.8414 ((2 . 11) (3 . 13) (5 . 17) (6 . 18) (7 . 20)) 5682 0.5714 3.3590 ((4 . 1) (5 . 3) (6 . 4) (7 . 5)) 5683 0.9993 3.6485 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 7) (6 . 8) (7 . 10)) 5733 0.8555 5.4955 ((2 . 12) (3 . 14) (4 . 17) (5 . 19) (6 . 21) (7 . 22)) 5835 0.3954 5.3345 ((1 . 35) (3 . 37) (4 . 38) (5 . 41) (6 . 42) (7 . 44)) 5863 0.7141 4.2586 ((1 . 30) (3 . 31) (5 . 37) (6 . 38) (7 . 39)) 5899 0.8563 4.6755 ((1 . 1) (3 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 8)) 5916 0.8568 3.6919 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 8)) 5936 0.7136 5.5523 ((1 . 3) (2 . 4) (3 . 5) (4 . 7) (5 . 9)) 5948 0.7141 4.1957 ((1 . 1) (3 . 3) (4 . 8) (5 . 9) (6 . 10)) 5974 0.8562 4.7547 ((1 . 2) (2 . 3) (3 . 4) (5 . 8) (6 . 10) (7 . 12)) 5988 0.7117 7.8116 ((3 . 2) (4 . 5) (5 . 6) (6 . 7) (7 . 8)) 5989 0.8547 6.1080 ((2 . 1) (3 . 2) (4 . 5) (5 . 6) (6 . 7) (7 . 9)) 5993 0.5714 3.6259 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 6012 0.7131 6.3386 ((2 . 48) (4 . 52) (5 . 53) (6 . 54) (7 . 55)) 6013 0.7127 6.8571 ((1 . 58) (3 . 59) (4 . 62) (5 . 63) (6 . 64)) 6037 0.7142 3.5304 ((1 . 2) (3 . 3) (5 . 6) (6 . 7) (7 . 8)) 6105 0.7129 6.6414 ((3 . 3) (4 . 6) (5 . 7) (6 . 8) (7 . 9)) 6124 0.8554 5.6204 ((2 . 8) (3 . 9) (4 . 12) (5 . 14) (6 . 15) (7 . 16)) 6126 0.8562 4.7658 ((1 . 9) (3 . 10) (4 . 13) (5 . 15) (6 . 16) (7 . 17)) 6206 0.9996 3.1759 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 8) (7 . 9)) 6207 0.7124 7.2079 ((1 . 10) (3 . 12) (4 . 15) (5 . 16) (7 . 18)) 6285 0.7117 7.8050 ((2 . 5) (4 . 7) (5 . 8) (6 . 9) (7 . 10)) 6287 0.8562 4.7489 ((1 . 38) (3 . 39) (4 . 41) (5 . 42) (6 . 44) (7 . 45)) 6288 0.8562 4.8193 ((1 . 46) (3 . 47) (4 . 49) (5 . 50) (6 . 51) (7 . 52)) 6334 0.8571 1.9577 ((2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 8) (7 . 9)) 6338 0.7141 3.7202 ((3 . 1) (4 . 4) (5 . 5) (6 . 7) (7 . 8)) 6379 0.9989 4.1649 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 7) (7 . 8)) 6380 0.7137 5.4518 ((1 . 9) (3 . 11) (4 . 14) (5 . 15) (6 . 17)) 6443 0.7131 6.4451 ((3 . 1) (4 . 4) (5 . 5) (6 . 6) (7 . 8)) 6444 0.7142 3.0060 ((3 . 15) (4 . 17) (5 . 19) (6 . 21) (7 . 22)) 6445 0.5714 3.1857 ((3 . 3) (5 . 6) (6 . 8) (7 . 9)) 6446 0.7139 4.9058 ((3 . 12) (4 . 15) (5 . 16) (6 . 18) (7 . 20)) 6449 0.8558 5.2697 ((1 . 1) (3 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 8)) 6466 0.7130 6.5900 ((2 . 1) (3 . 2) (4 . 4) (6 . 7) (7 . 8)) 6467 0.5711 6.2955 ((4 . 15) (5 . 16) (6 . 17) (7 . 18)) 6485 0.5711 5.9343 ((3 . 2) (4 . 5) (5 . 6) (6 . 7)) 6570 0.7132 6.1921 ((1 . 15) (3 . 16) (4 . 19) (5 . 20) (6 . 22)) 6612 0.8549 6.0091 ((1 . 2) (3 . 3) (4 . 6) (5 . 7) (6 . 8) (7 . 9)) END