2650 51 0.5707 7.4684 ((1 . 2) (2 . 6) (5 . 10) (6 . 11)) 62 0.5710 6.4774 ((2 . 10) (4 . 15) (7 . 16) (8 . 17)) 64 0.5711 5.9954 ((1 . 9) (2 . 10) (6 . 14) (7 . 15)) 77 0.5703 8.3257 ((1 . 6) (2 . 7) (7 . 13) (8 . 15)) 129 0.5708 7.1616 ((1 . 1) (2 . 2) (7 . 11) (8 . 12)) 136 0.5710 6.3613 ((4 . 2) (5 . 3) (7 . 5) (8 . 7)) 150 0.7117 7.8147 ((1 . 19) (2 . 20) (4 . 21) (5 . 23) (7 . 25)) 153 0.5713 5.0536 ((5 . 6) (6 . 7) (7 . 8) (8 . 9)) 157 0.5709 7.0107 ((1 . 9) (4 . 12) (5 . 14) (7 . 16)) 161 0.5708 7.1987 ((2 . 2) (5 . 6) (6 . 8) (7 . 10)) 162 0.7096 9.0290 ((1 . 12) (4 . 16) (5 . 17) (6 . 18) (8 . 22)) 169 0.5713 4.5888 ((1 . 2) (2 . 3) (5 . 5) (8 . 9)) 177 0.5712 5.7144 ((2 . 3) (5 . 7) (6 . 8) (7 . 10)) 191 0.1992 8.7867 ((2 . 2) (4 . 3) (7 . 6) (8 . 7)) 198 0.5709 7.0350 ((2 . 7) (5 . 12) (7 . 16) (8 . 17)) 207 0.2946 5.2596 ((2 . 7) (6 . 8) (7 . 13) (8 . 15)) 233 0.5711 6.0448 ((2 . 1) (5 . 5) (6 . 7) (7 . 8)) 300 0.5710 6.7352 ((4 . 5) (5 . 7) (6 . 9) (7 . 10)) 305 0.5707 7.3723 ((5 . 16) (6 . 18) (7 . 19) (8 . 21)) 307 0.5708 7.1369 ((2 . 3) (4 . 6) (5 . 7) (7 . 9)) 315 0.5710 6.5162 ((5 . 3) (6 . 5) (7 . 6) (8 . 8)) 350 0.7112 8.1239 ((1 . 1) (2 . 2) (5 . 7) (6 . 8) (7 . 10)) 360 0.5712 5.3209 ((1 . 10) (2 . 12) (4 . 13) (5 . 14)) 361 0.4447 10.5282 ((1 . 4) (4 . 6) (7 . 10) (8 . 11)) 365 0.5711 6.1461 ((5 . 2) (6 . 3) (7 . 4) (8 . 6)) 367 0.5710 6.6354 ((1 . 38) (2 . 40) (5 . 43) (8 . 47)) 372 0.5704 8.2546 ((1 . 2) (2 . 3) (6 . 10) (7 . 11)) 387 0.5706 7.6330 ((2 . 1) (6 . 7) (7 . 8) (8 . 9)) 405 0.5710 6.4304 ((2 . 32) (5 . 38) (6 . 39) (7 . 40)) 417 0.5705 7.9543 ((1 . 3) (4 . 6) (5 . 7) (6 . 9)) 420 0.7110 8.2742 ((1 . 2) (2 . 3) (5 . 8) (6 . 9) (7 . 10)) 433 0.5709 6.8296 ((1 . 6) (2 . 7) (4 . 8) (5 . 9)) 442 0.5710 6.4141 ((1 . 10) (2 . 12) (4 . 13) (5 . 14)) 460 0.5710 6.5495 ((1 . 1) (5 . 6) (6 . 7) (7 . 8)) 491 0.5707 7.5238 ((1 . 1) (4 . 5) (6 . 8) (7 . 9)) 495 0.7061 10.4359 ((2 . 3) (5 . 7) (6 . 8) (7 . 9) (8 . 11)) 541 0.5712 5.6537 ((1 . 7) (6 . 14) (7 . 16) (8 . 17)) 543 0.5708 7.2062 ((5 . 5) (6 . 6) (7 . 8) (8 . 10)) 561 0.5712 5.3455 ((1 . 3) (2 . 4) (4 . 5) (5 . 6)) 584 0.5638 13.5627 ((2 . 3) (5 . 5) (6 . 7) (7 . 8)) 587 0.5711 6.2080 ((1 . 10) (2 . 11) (6 . 15) (7 . 16)) 609 0.5708 7.2521 ((2 . 1) (4 . 2) (5 . 3) (7 . 6)) 619 0.5712 5.6897 ((1 . 4) (5 . 9) (6 . 11) (7 . 12)) 624 0.7109 8.3435 ((2 . 11) (4 . 12) (5 . 13) (7 . 15) (8 . 16)) 635 0.5705 7.8743 ((1 . 14) (2 . 15) (4 . 17) (5 . 18)) 672 0.5706 7.6776 ((4 . 19) (5 . 21) (6 . 23) (7 . 24)) 678 0.1993 8.2667 ((2 . 26) (4 . 28) (5 . 29) (8 . 34)) 683 0.3789 8.8126 ((4 . 4) (5 . 3) (6 . 5) (7 . 6)) 719 0.5708 7.2062 ((1 . 25) (2 . 27) (4 . 29) (5 . 30)) 729 0.5709 6.8604 ((2 . 9) (4 . 12) (5 . 13) (7 . 15)) 735 0.5711 5.9623 ((5 . 29) (6 . 31) (7 . 32) (8 . 33)) 740 0.2945 9.7094 ((2 . 2) (4 . 1) (5 . 5) (6 . 9)) 765 0.5698 9.0940 ((1 . 9) (5 . 17) (6 . 19) (7 . 20)) 767 0.5705 7.9804 ((2 . 1) (4 . 2) (5 . 3) (7 . 8)) 795 0.5711 6.2032 ((2 . 3) (4 . 4) (5 . 5) (6 . 6)) 796 0.5697 9.3608 ((4 . 1) (5 . 3) (7 . 5) (8 . 6)) 801 0.5710 6.4156 ((5 . 1) (6 . 2) (7 . 4) (8 . 5)) 812 0.1997 7.5908 ((1 . 9) (2 . 11) (4 . 12) (6 . 13) (7 . 16)) 818 0.5697 9.3151 ((2 . 1) (5 . 4) (6 . 7) (7 . 8)) 819 0.3790 6.2984 ((1 . 2) (2 . 3) (5 . 5) (8 . 8)) 824 0.1498 10.5369 ((5 . 46) (6 . 49) (7 . 51) (8 . 53)) 861 0.5709 6.8861 ((4 . 11) (5 . 12) (7 . 15) (8 . 16)) 901 0.5708 7.1071 ((2 . 12) (4 . 14) (5 . 15) (7 . 17)) 904 0.5690 10.1659 ((4 . 1) (5 . 3) (7 . 6) (8 . 7)) 928 0.5705 7.9978 ((2 . 14) (4 . 15) (5 . 18) (8 . 21)) 943 0.5707 7.4046 ((2 . 4) (4 . 5) (5 . 6) (7 . 9)) 945 0.5708 7.0792 ((2 . 17) (4 . 18) (5 . 19) (7 . 22)) 949 0.5675 11.4580 ((1 . 27) (2 . 30) (4 . 33) (5 . 32)) 960 0.5708 7.0809 ((1 . 1) (2 . 3) (7 . 8) (8 . 9)) 978 0.5706 7.6350 ((2 . 4) (4 . 5) (5 . 6) (7 . 10)) 980 0.5706 7.6367 ((2 . 1) (4 . 4) (5 . 5) (7 . 7)) 1007 0.5710 6.6004 ((4 . 6) (5 . 7) (6 . 8) (7 . 9)) 1008 0.5707 7.5403 ((1 . 3) (2 . 5) (7 . 13) (8 . 15)) 1034 0.5674 11.5587 ((1 . 21) (2 . 22) (4 . 24) (5 . 25)) 1043 0.7121 7.4312 ((2 . 6) (4 . 9) (5 . 10) (7 . 12) (8 . 14)) 1082 0.5711 6.1563 ((1 . 3) (2 . 4) (6 . 8) (7 . 9)) 1084 0.0999 9.2528 ((1 . 11) (2 . 12) (4 . 15) (8 . 20)) 1121 0.7121 7.5068 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 5)) 1165 0.5709 6.9634 ((2 . 7) (4 . 9) (5 . 10) (7 . 12)) 1167 0.5704 8.2562 ((4 . 19) (5 . 20) (6 . 21) (7 . 22)) 1169 0.1993 6.6425 ((2 . 29) (5 . 32) (6 . 35) (7 . 37)) 1195 0.7132 6.2354 ((4 . 1) (5 . 2) (6 . 4) (7 . 5) (8 . 6)) 1201 0.5698 9.1216 ((2 . 4) (5 . 7) (7 . 9) (8 . 11)) 1204 0.3788 9.2167 ((2 . 3) (4 . 4) (5 . 5) (7 . 11)) 1211 0.5712 5.5562 ((1 . 4) (2 . 5) (7 . 10) (8 . 11)) 1217 0.5708 7.1478 ((5 . 3) (6 . 5) (7 . 7) (8 . 9)) 1224 0.7130 6.5294 ((1 . 6) (2 . 7) (5 . 10) (7 . 14) (8 . 15)) 1233 0.5708 7.1246 ((1 . 14) (2 . 17) (4 . 19) (5 . 20)) 1267 0.5708 7.3207 ((2 . 13) (4 . 14) (5 . 15) (7 . 19)) 1294 0.7131 6.3736 ((1 . 39) (2 . 40) (6 . 44) (7 . 46) (8 . 47)) 1345 0.5703 8.3193 ((1 . 9) (5 . 13) (6 . 14) (7 . 16)) 1366 0.5713 5.0882 ((1 . 14) (2 . 15) (5 . 17) (7 . 22)) 1388 0.5710 6.4208 ((2 . 1) (4 . 3) (5 . 4) (6 . 5)) 1410 0.5708 7.0699 ((5 . 21) (6 . 22) (7 . 23) (8 . 25)) 1425 0.5705 7.8914 ((5 . 6) (6 . 8) (7 . 10) (8 . 12)) 1447 0.5709 6.9196 ((2 . 1) (4 . 2) (5 . 3) (7 . 5)) 1451 0.5711 6.2439 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 1464 0.5711 5.9055 ((4 . 9) (5 . 10) (6 . 13) (7 . 14)) 1476 0.5707 7.4733 ((2 . 9) (4 . 10) (5 . 11) (7 . 14)) 1481 0.7122 7.3882 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (6 . 7)) 1501 0.7129 6.6628 ((1 . 2) (2 . 3) (6 . 4) (7 . 7) (8 . 8)) 1513 0.1664 10.9092 ((1 . 5) (4 . 9) (5 . 11) (8 . 15)) 1514 0.3790 6.1162 ((1 . 3) (2 . 4) (4 . 5) (5 . 6)) 1577 0.2942 14.2032 ((1 . 6) (4 . 9) (6 . 12) (8 . 15)) 1591 0.5708 7.3500 ((2 . 8) (4 . 10) (5 . 11) (7 . 14)) 1604 0.5711 6.0660 ((1 . 1) (2 . 3) (4 . 6) (5 . 7)) 1622 0.5711 6.1259 ((2 . 18) (4 . 19) (5 . 20) (8 . 23)) 1643 0.8537 6.6637 ((1 . 11) (2 . 12) (5 . 16) (6 . 17) (7 . 18) (8 . 20)) 1644 0.5712 5.4262 ((2 . 46) (5 . 50) (6 . 51) (7 . 52)) 1690 0.5710 6.5306 ((2 . 1) (4 . 7) (6 . 8) (7 . 11)) 1692 0.5706 7.6595 ((1 . 1) (4 . 4) (5 . 5) (8 . 8)) 1731 0.5705 7.8955 ((2 . 3) (4 . 5) (5 . 6) (7 . 8)) 1736 0.5709 6.7711 ((2 . 1) (4 . 2) (5 . 5) (8 . 7)) 1738 0.5705 8.0351 ((2 . 6) (4 . 10) (5 . 11) (6 . 13)) 1747 0.7122 7.3375 ((1 . 25) (5 . 29) (6 . 30) (7 . 31) (8 . 32)) 1756 0.5691 9.9989 ((5 . 21) (6 . 23) (7 . 24) (8 . 26)) 1759 0.8560 5.0727 ((1 . 1) (2 . 2) (5 . 8) (6 . 9) (7 . 10) (8 . 11)) 1761 0.5711 5.9053 ((2 . 16) (4 . 18) (5 . 19) (6 . 20)) 1776 0.5707 7.4617 ((2 . 1) (4 . 6) (6 . 7) (7 . 9)) 1777 0.5696 9.3909 ((1 . 42) (2 . 43) (5 . 50) (6 . 52)) 1778 0.5713 4.8661 ((1 . 4) (2 . 5) (4 . 6) (5 . 8)) 1793 0.5710 6.7301 ((2 . 6) (4 . 7) (5 . 8) (7 . 10)) 1805 0.5709 6.8843 ((5 . 14) (6 . 15) (7 . 16) (8 . 17)) 1808 0.7103 8.6721 ((4 . 1) (5 . 5) (6 . 6) (7 . 8) (8 . 9)) 1817 0.5707 7.3993 ((5 . 15) (6 . 18) (7 . 19) (8 . 20)) 1867 0.2945 8.8905 ((1 . 1) (2 . 3) (4 . 8) (5 . 7)) 1894 0.5695 9.5528 ((2 . 18) (6 . 23) (7 . 25) (8 . 26)) 1896 0.5673 11.5864 ((4 . 21) (5 . 23) (6 . 25) (7 . 26)) 1897 0.5703 8.2773 ((2 . 32) (4 . 35) (7 . 39) (8 . 40)) 1908 0.5710 6.5770 ((2 . 10) (4 . 14) (5 . 15) (7 . 17)) 1909 0.5703 8.3306 ((2 . 25) (4 . 26) (5 . 29) (7 . 31)) 1913 0.5706 7.6472 ((1 . 13) (2 . 14) (5 . 20) (7 . 23)) 1944 0.5709 6.8703 ((2 . 7) (4 . 8) (5 . 9) (7 . 13)) 1957 0.5709 7.0261 ((2 . 13) (4 . 14) (5 . 15) (7 . 17)) 1961 0.5713 5.0060 ((1 . 15) (2 . 16) (4 . 18) (6 . 20)) 1967 0.5704 8.1384 ((1 . 1) (2 . 3) (4 . 4) (5 . 7)) 1972 0.1992 13.8083 ((1 . 18) (4 . 21) (6 . 24) (8 . 27)) 1992 0.5708 7.1483 ((2 . 9) (4 . 10) (5 . 12) (6 . 14)) 1995 0.7109 8.3073 ((1 . 1) (2 . 2) (6 . 8) (7 . 11) (8 . 12)) 2003 0.5703 8.3844 ((4 . 6) (5 . 7) (6 . 9) (7 . 10)) 2006 0.8543 6.3731 ((1 . 7) (2 . 8) (5 . 14) (6 . 15) (7 . 16) (8 . 18)) 2063 0.7127 6.8376 ((1 . 43) (2 . 44) (4 . 46) (5 . 49) (6 . 50)) 2065 0.5711 6.1428 ((1 . 17) (2 . 18) (7 . 26) (8 . 27)) 2067 0.5701 8.7362 ((5 . 54) (6 . 55) (7 . 57) (8 . 60)) 2072 0.0999 10.9316 ((2 . 1) (6 . 4) (7 . 5) (8 . 7)) 2081 0.7114 7.9962 ((4 . 18) (5 . 19) (6 . 20) (7 . 21) (8 . 23)) 2083 0.3907 5.8193 ((1 . 1) (2 . 2) (4 . 3) (6 . 4) (7 . 7)) 2097 0.2945 9.0216 ((1 . 5) (4 . 10) (7 . 14) (8 . 16)) 2114 0.5714 3.6993 ((5 . 29) (6 . 32) (7 . 34) (8 . 36)) 2116 0.7090 9.3451 ((2 . 6) (5 . 8) (6 . 10) (7 . 11) (8 . 12)) 2117 0.5711 5.9198 ((1 . 17) (2 . 20) (4 . 24) (5 . 25)) 2118 0.5685 10.5914 ((2 . 7) (4 . 8) (7 . 11) (8 . 12)) 2122 0.5711 5.9311 ((1 . 14) (2 . 15) (5 . 18) (6 . 22)) 2166 0.5704 8.1967 ((2 . 12) (6 . 15) (7 . 16) (8 . 17)) 2179 0.5712 5.8535 ((2 . 4) (5 . 7) (6 . 9) (7 . 10)) 2196 0.5709 6.7507 ((1 . 13) (2 . 14) (5 . 18) (6 . 19)) 2203 0.7108 8.3680 ((2 . 1) (4 . 3) (5 . 5) (6 . 7) (8 . 10)) 2205 0.5708 7.3304 ((1 . 17) (2 . 18) (6 . 23) (7 . 26)) 2209 0.5706 7.6287 ((1 . 6) (2 . 7) (4 . 8) (5 . 9)) 2220 0.5705 7.9895 ((5 . 2) (6 . 3) (7 . 4) (8 . 7)) 2243 0.5916 10.0850 ((1 . 52) (2 . 53) (5 . 56) (7 . 60) (8 . 61)) 2244 0.5713 4.9237 ((1 . 74) (2 . 75) (5 . 79) (6 . 80)) 2248 0.5703 8.3601 ((2 . 22) (4 . 23) (7 . 27) (8 . 28)) 2249 0.5711 5.9497 ((2 . 16) (4 . 19) (5 . 20) (6 . 23)) 2269 0.1997 8.3659 ((1 . 6) (2 . 7) (4 . 9) (6 . 10) (8 . 12)) 2279 0.5708 7.1451 ((1 . 10) (2 . 11) (6 . 20) (8 . 22)) 2298 0.5703 8.3072 ((2 . 6) (4 . 7) (5 . 10) (7 . 12)) 2308 0.5709 6.8922 ((2 . 6) (4 . 7) (5 . 8) (7 . 11)) 2314 0.5694 9.6826 ((1 . 2) (2 . 3) (5 . 7) (6 . 8)) 2340 0.5705 7.9596 ((2 . 9) (5 . 11) (6 . 13) (7 . 14)) 2344 0.7101 8.7995 ((1 . 6) (2 . 7) (5 . 11) (7 . 14) (8 . 18)) 2364 0.5714 3.9624 ((1 . 9) (6 . 18) (7 . 19) (8 . 20)) 2389 0.5710 6.5958 ((1 . 10) (2 . 11) (4 . 12) (5 . 14)) 2408 0.5709 6.8751 ((1 . 37) (2 . 38) (5 . 42) (6 . 45)) 2422 0.5698 9.2266 ((2 . 1) (4 . 2) (6 . 7) (7 . 8)) 2423 0.5708 7.1996 ((2 . 20) (5 . 22) (6 . 25) (7 . 26)) 2440 0.5700 8.9113 ((1 . 7) (2 . 8) (5 . 13) (8 . 17)) 2447 0.5703 8.3588 ((2 . 18) (4 . 19) (5 . 21) (7 . 24)) 2462 0.5712 5.6814 ((1 . 6) (2 . 7) (5 . 11) (6 . 12)) 2510 0.5707 7.5575 ((2 . 17) (4 . 18) (5 . 19) (7 . 23)) 2525 0.5710 6.6924 ((2 . 41) (5 . 45) (7 . 47) (8 . 48)) 2529 0.7110 8.2671 ((2 . 1) (4 . 2) (5 . 3) (6 . 5) (7 . 6)) 2533 0.5706 7.6500 ((2 . 4) (4 . 5) (5 . 6) (7 . 9)) 2551 0.3789 8.5875 ((4 . 10) (5 . 11) (6 . 12) (7 . 14)) 2552 0.1992 10.2429 ((4 . 2) (5 . 1) (6 . 3) (7 . 5)) 2556 0.5708 7.2609 ((1 . 11) (6 . 18) (7 . 20) (8 . 22)) 2557 0.5710 6.5748 ((2 . 3) (4 . 5) (5 . 6) (6 . 7)) 2561 0.8571 1.8857 ((2 . 1) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9)) 2595 0.5709 6.7471 ((2 . 4) (4 . 5) (5 . 6) (7 . 9)) 2619 0.5710 6.4091 ((1 . 2) (2 . 3) (4 . 4) (5 . 5)) 2627 0.5713 5.0619 ((4 . 59) (5 . 60) (7 . 64) (8 . 65)) 2650 1.0000 0.0000 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 2675 0.5711 5.8980 ((4 . 9) (5 . 10) (6 . 11) (7 . 12)) 2682 0.5703 8.3496 ((1 . 15) (2 . 17) (4 . 18) (5 . 19)) 2696 0.5712 5.3535 ((5 . 31) (6 . 32) (7 . 34) (8 . 35)) 2731 0.1993 8.4582 ((4 . 2) (5 . 1) (6 . 4) (7 . 5)) 2733 0.5709 6.7414 ((1 . 1) (2 . 2) (6 . 8) (8 . 11)) 2755 0.5709 6.7568 ((1 . 1) (4 . 4) (5 . 5) (7 . 6)) 2773 0.5711 6.1101 ((1 . 2) (2 . 3) (4 . 4) (6 . 6)) 2783 0.5711 6.1903 ((4 . 4) (5 . 6) (6 . 7) (7 . 8)) 2804 0.2945 10.0090 ((1 . 32) (2 . 34) (5 . 36) (8 . 39)) 2821 0.5703 8.3842 ((1 . 5) (4 . 10) (5 . 11) (7 . 13)) 2830 0.5710 6.6585 ((2 . 13) (4 . 14) (5 . 15) (7 . 17)) 2834 0.5712 5.7013 ((4 . 2) (5 . 3) (6 . 5) (7 . 6)) 2840 0.5710 6.5601 ((2 . 1) (6 . 8) (7 . 9) (8 . 11)) 2842 0.7080 9.7722 ((1 . 4) (2 . 5) (4 . 7) (6 . 9) (8 . 11)) 2879 0.5712 5.5912 ((1 . 51) (2 . 52) (6 . 58) (7 . 59)) 2886 0.5710 6.6123 ((5 . 37) (6 . 38) (7 . 39) (8 . 41)) 2940 0.2944 11.5877 ((2 . 1) (4 . 2) (6 . 4) (8 . 5)) 2947 0.5711 6.3526 ((2 . 2) (5 . 4) (7 . 6) (8 . 7)) 2966 0.5706 7.6769 ((1 . 6) (2 . 8) (5 . 10) (6 . 12)) 2990 0.6942 5.3187 ((1 . 9) (2 . 12) (4 . 13) (5 . 14) (6 . 15) (7 . 16)) 2999 0.5711 6.2224 ((2 . 4) (4 . 5) (5 . 6) (6 . 7)) 3019 0.7129 6.6597 ((1 . 19) (2 . 20) (4 . 21) (5 . 22) (6 . 25)) 3034 0.5707 7.4644 ((2 . 5) (4 . 6) (5 . 7) (7 . 9)) 3041 0.5709 6.9295 ((2 . 14) (4 . 15) (5 . 16) (7 . 18)) 3055 0.7128 6.7528 ((1 . 15) (2 . 16) (6 . 23) (7 . 24) (8 . 25)) 3063 0.5708 7.2769 ((1 . 35) (5 . 39) (6 . 41) (7 . 42)) 3070 0.5701 8.6398 ((4 . 31) (5 . 33) (7 . 35) (8 . 36)) 3084 0.5708 7.1750 ((2 . 5) (4 . 6) (5 . 9) (7 . 11)) 3102 0.7108 8.3955 ((1 . 60) (5 . 65) (6 . 67) (7 . 68) (8 . 69)) 3103 0.5709 7.0211 ((1 . 3) (2 . 5) (4 . 6) (6 . 11)) 3114 0.5712 5.4586 ((5 . 22) (6 . 23) (7 . 24) (8 . 25)) 3120 0.5712 5.8308 ((1 . 21) (2 . 22) (4 . 23) (7 . 25)) 3127 0.5701 8.6588 ((1 . 4) (2 . 6) (4 . 9) (5 . 11)) 3147 0.8524 7.2360 ((1 . 5) (2 . 6) (5 . 8) (6 . 11) (7 . 12) (8 . 13)) 3176 0.5703 8.2843 ((4 . 23) (5 . 26) (6 . 27) (7 . 29)) 3187 0.8529 7.0425 ((1 . 1) (2 . 2) (5 . 4) (6 . 5) (7 . 6) (8 . 7)) 3190 0.5707 7.4949 ((2 . 3) (4 . 4) (5 . 6) (7 . 9)) 3197 0.5707 7.3770 ((2 . 19) (4 . 20) (5 . 21) (7 . 24)) 3200 0.5710 6.3626 ((1 . 9) (2 . 11) (6 . 16) (7 . 18)) 3222 0.5711 5.9773 ((2 . 1) (4 . 2) (5 . 3) (6 . 4)) 3256 0.5711 6.2693 ((5 . 19) (6 . 20) (7 . 24) (8 . 25)) 3261 0.7135 5.8188 ((1 . 2) (2 . 3) (6 . 6) (7 . 7) (8 . 8)) 3286 0.5711 6.2678 ((4 . 2) (6 . 3) (7 . 4) (8 . 5)) 3289 0.5712 5.6131 ((5 . 25) (6 . 29) (7 . 30) (8 . 31)) 3297 0.5706 7.6547 ((5 . 5) (6 . 7) (7 . 8) (8 . 9)) 3322 0.5706 7.7488 ((1 . 1) (2 . 3) (4 . 6) (5 . 7)) 3334 0.5687 10.4868 ((1 . 1) (2 . 3) (5 . 6) (8 . 10)) 3339 0.5710 6.7124 ((2 . 9) (4 . 10) (5 . 15) (7 . 17)) 3344 0.3787 10.2145 ((1 . 18) (5 . 22) (6 . 24) (8 . 26)) 3358 0.5709 6.9707 ((2 . 1) (4 . 3) (5 . 4) (7 . 7)) 3362 0.5705 8.0617 ((2 . 6) (5 . 8) (6 . 10) (7 . 11)) 3366 0.5699 8.9874 ((5 . 24) (6 . 26) (7 . 27) (8 . 28)) 3391 0.5705 7.9283 ((2 . 4) (4 . 5) (5 . 6) (7 . 10)) 3410 0.5707 7.4851 ((2 . 19) (4 . 20) (5 . 21) (7 . 24)) 3418 0.7130 6.4684 ((4 . 1) (5 . 2) (6 . 5) (7 . 6) (8 . 7)) 3472 0.5704 8.1850 ((5 . 3) (6 . 4) (7 . 5) (8 . 6)) 3481 0.5701 8.7857 ((4 . 3) (5 . 4) (6 . 7) (7 . 8)) 3489 0.0999 8.2638 ((1 . 2) (2 . 3) (6 . 10) (8 . 12)) 3495 0.5712 5.6592 ((1 . 2) (2 . 3) (5 . 7) (6 . 8)) 3496 0.5708 7.1850 ((1 . 19) (2 . 18) (6 . 22) (7 . 23)) 3533 0.1332 4.9658 ((2 . 3) (4 . 6) (5 . 7) (7 . 11)) 3537 0.5710 6.6355 ((2 . 2) (5 . 7) (7 . 9) (8 . 10)) 3538 0.7128 6.7801 ((1 . 18) (2 . 20) (4 . 21) (6 . 23) (8 . 25)) 3548 0.5710 6.4731 ((1 . 2) (2 . 3) (6 . 9) (7 . 10)) 3561 0.7093 9.1953 ((2 . 26) (4 . 27) (5 . 28) (6 . 30) (7 . 31)) 3570 0.5711 5.9617 ((4 . 2) (5 . 4) (6 . 7) (7 . 8)) 3585 0.5710 6.5504 ((1 . 11) (2 . 12) (5 . 14) (7 . 16)) 3613 0.3787 10.6356 ((1 . 36) (2 . 35) (4 . 38) (5 . 40)) 3625 0.5681 11.0031 ((1 . 1) (2 . 2) (7 . 7) (8 . 9)) 3626 0.5712 5.6506 ((1 . 2) (2 . 3) (5 . 8) (6 . 11)) 3628 0.5706 7.7554 ((2 . 6) (4 . 7) (5 . 8) (7 . 10)) 3651 0.5707 7.4158 ((2 . 5) (4 . 7) (5 . 8) (8 . 13)) 3658 0.7107 8.4625 ((2 . 1) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 3661 0.5626 14.1146 ((4 . 3) (6 . 7) (7 . 8) (8 . 11)) 3688 0.5673 11.5899 ((5 . 26) (6 . 27) (7 . 28) (8 . 29)) 3697 0.5712 5.7066 ((1 . 6) (2 . 7) (4 . 8) (7 . 10)) 3703 0.7134 5.9371 ((1 . 2) (2 . 3) (6 . 6) (7 . 7) (8 . 8)) 3732 0.5704 8.0760 ((1 . 2) (2 . 3) (5 . 7) (8 . 11)) 3733 0.5709 7.0021 ((2 . 3) (4 . 4) (5 . 6) (7 . 8)) 3740 0.5708 7.1079 ((1 . 3) (5 . 6) (6 . 7) (7 . 9)) 3741 0.8553 5.6895 ((1 . 22) (2 . 25) (5 . 27) (6 . 28) (7 . 32) (8 . 35)) 3776 0.5703 8.3821 ((2 . 17) (4 . 18) (5 . 21) (7 . 24)) 3778 0.5711 6.2777 ((2 . 2) (5 . 4) (7 . 6) (8 . 7)) 3787 0.5709 7.0102 ((2 . 15) (4 . 16) (5 . 17) (7 . 19)) 3790 0.8539 6.5422 ((1 . 26) (2 . 33) (5 . 37) (6 . 38) (7 . 39) (8 . 40)) 3807 0.5711 6.2643 ((1 . 46) (2 . 47) (4 . 49) (6 . 50)) 3810 0.5703 8.4027 ((2 . 6) (6 . 14) (7 . 15) (8 . 16)) 3817 0.5709 6.7508 ((2 . 1) (4 . 3) (5 . 5) (7 . 7)) 3818 0.5709 7.0005 ((2 . 20) (4 . 21) (5 . 23) (8 . 28)) 3831 0.5712 5.4718 ((1 . 2) (2 . 3) (4 . 4) (8 . 9)) 3847 0.5704 8.1393 ((2 . 9) (6 . 13) (7 . 16) (8 . 17)) 3849 0.1498 8.7363 ((2 . 1) (4 . 4) (6 . 5) (8 . 8)) 3853 0.5705 7.9640 ((2 . 3) (4 . 4) (6 . 6) (7 . 8)) 3870 0.5711 6.1616 ((2 . 3) (4 . 4) (5 . 5) (7 . 8)) 3933 0.5709 6.8599 ((1 . 8) (2 . 9) (6 . 17) (7 . 18)) 3938 0.5711 6.2588 ((4 . 1) (6 . 6) (7 . 8) (8 . 9)) 3968 0.5708 7.2359 ((4 . 4) (5 . 5) (7 . 9) (8 . 11)) 3986 0.1992 12.8360 ((1 . 4) (2 . 5) (6 . 11) (7 . 13)) 3990 0.5708 7.2495 ((2 . 16) (4 . 19) (5 . 20) (7 . 22)) 4005 0.5704 8.2101 ((1 . 8) (2 . 9) (5 . 14) (8 . 18)) 4009 0.1992 12.9483 ((1 . 1) (4 . 6) (5 . 7) (8 . 11)) 4019 0.5711 6.0608 ((2 . 42) (5 . 45) (6 . 46) (7 . 47)) 4034 0.5707 7.5431 ((5 . 9) (6 . 10) (7 . 12) (8 . 13)) 4062 0.5703 8.2969 ((4 . 45) (5 . 48) (6 . 49) (7 . 50)) 4067 0.5698 9.1430 ((2 . 20) (4 . 21) (5 . 22) (7 . 25)) 4082 0.5701 8.6717 ((5 . 6) (6 . 7) (7 . 8) (8 . 10)) 4087 0.7129 6.6110 ((4 . 2) (5 . 3) (6 . 5) (7 . 6) (8 . 7)) 4112 0.2945 9.2014 ((5 . 2) (6 . 3) (7 . 4) (8 . 6)) 4115 0.5696 9.4600 ((2 . 13) (4 . 14) (5 . 17) (7 . 19)) 4151 0.5709 7.0324 ((2 . 7) (4 . 8) (5 . 9) (7 . 12)) 4177 0.5411 9.2258 ((1 . 1) (2 . 2) (4 . 6) (5 . 7) (6 . 8)) 4190 0.5697 9.3463 ((1 . 3) (4 . 7) (5 . 8) (6 . 9)) 4192 0.2945 9.2238 ((2 . 19) (4 . 20) (6 . 22) (7 . 23)) 4194 0.5710 6.4992 ((4 . 2) (5 . 3) (7 . 5) (8 . 6)) 4204 0.5707 7.5064 ((2 . 3) (4 . 4) (5 . 5) (7 . 9)) 4209 0.1992 9.0237 ((1 . 1) (2 . 2) (6 . 8) (7 . 10)) 4210 0.5706 7.7483 ((1 . 5) (2 . 6) (4 . 7) (5 . 8)) 4226 0.5711 6.2659 ((2 . 16) (4 . 17) (5 . 18) (6 . 19)) 4232 0.2944 11.1392 ((2 . 1) (5 . 3) (6 . 4) (7 . 5)) 4246 0.2476 14.1877 ((1 . 3) (5 . 6) (6 . 8) (8 . 11)) 4254 0.5686 10.5187 ((1 . 9) (2 . 11) (4 . 14) (5 . 15)) 4255 0.5712 5.4997 ((1 . 23) (2 . 24) (4 . 25) (5 . 26)) 4257 0.5707 7.5888 ((2 . 1) (4 . 2) (5 . 3) (7 . 7)) 4265 0.5708 7.2581 ((2 . 23) (4 . 25) (5 . 26) (7 . 29)) 4266 0.5705 7.8680 ((2 . 2) (4 . 3) (5 . 4) (7 . 6)) 4274 0.5709 6.9116 ((2 . 38) (4 . 39) (5 . 40) (6 . 41)) 4275 0.5709 7.0012 ((4 . 22) (5 . 25) (6 . 27) (7 . 28)) 4281 0.5703 8.2661 ((1 . 4) (2 . 5) (4 . 9) (5 . 10)) 4284 0.5711 5.8930 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 4299 0.5707 7.3736 ((2 . 4) (4 . 5) (5 . 6) (7 . 9)) 4301 0.5701 8.7549 ((5 . 2) (6 . 3) (7 . 4) (8 . 6)) 4326 0.5700 8.8382 ((2 . 10) (4 . 14) (5 . 15) (7 . 19)) 4332 0.5709 6.8507 ((4 . 1) (5 . 2) (6 . 4) (8 . 6)) 4338 0.5711 5.9398 ((4 . 5) (5 . 6) (6 . 7) (7 . 8)) 4359 0.7134 5.9786 ((1 . 4) (5 . 9) (6 . 10) (7 . 11) (8 . 12)) 4380 0.5710 6.4344 ((1 . 4) (6 . 14) (7 . 15) (8 . 17)) 4383 0.5700 8.8869 ((5 . 16) (6 . 17) (7 . 18) (8 . 19)) 4386 0.5667 12.0051 ((1 . 4) (4 . 7) (7 . 9) (8 . 10)) 4388 0.5711 6.1025 ((1 . 3) (6 . 8) (7 . 9) (8 . 10)) 4398 0.5703 8.3275 ((2 . 4) (4 . 5) (5 . 8) (7 . 10)) 4405 0.5712 5.8353 ((1 . 18) (2 . 19) (4 . 20) (6 . 25)) 4408 0.5712 5.4734 ((2 . 1) (5 . 4) (7 . 6) (8 . 7)) 4415 0.5713 5.2230 ((1 . 3) (2 . 4) (4 . 5) (7 . 11)) 4419 0.5712 5.2690 ((5 . 3) (6 . 6) (7 . 8) (8 . 9)) 4426 0.1992 12.0484 ((2 . 2) (4 . 3) (5 . 4) (7 . 6)) 4470 0.5713 4.9674 ((1 . 2) (2 . 3) (6 . 9) (7 . 10)) 4491 0.5710 6.3649 ((1 . 5) (2 . 6) (4 . 7) (5 . 8)) 4492 0.5711 6.3258 ((2 . 18) (4 . 22) (5 . 23) (8 . 26)) 4495 0.5707 7.3851 ((2 . 14) (4 . 15) (5 . 16) (7 . 18)) 4497 0.5712 5.4263 ((5 . 24) (6 . 25) (7 . 26) (8 . 27)) 4502 0.5709 7.0544 ((2 . 9) (4 . 13) (5 . 14) (7 . 17)) 4503 0.5708 7.1634 ((2 . 1) (5 . 5) (7 . 9) (8 . 10)) 4504 0.5709 7.0314 ((1 . 6) (2 . 8) (6 . 13) (8 . 15)) 4505 0.5711 6.0791 ((1 . 25) (2 . 26) (4 . 27) (5 . 28)) 4516 0.5700 8.8542 ((1 . 14) (2 . 16) (4 . 17) (6 . 20)) 4527 0.1332 9.3637 ((4 . 2) (6 . 6) (7 . 7) (8 . 8)) 4560 0.5698 9.2278 ((2 . 8) (4 . 10) (5 . 11) (7 . 14)) 4561 0.5708 7.2154 ((2 . 1) (4 . 4) (5 . 5) (7 . 7)) 4562 0.5705 7.9057 ((2 . 19) (4 . 21) (5 . 22) (7 . 27)) 4563 0.5709 6.9699 ((2 . 26) (4 . 27) (5 . 28) (7 . 31)) 4577 0.5711 6.0954 ((1 . 34) (5 . 39) (7 . 42) (8 . 43)) 4588 0.5709 6.7634 ((2 . 1) (5 . 7) (6 . 8) (7 . 9)) 4589 0.5939 6.8297 ((1 . 22) (2 . 23) (4 . 24) (5 . 27) (6 . 30)) 4621 0.0999 8.0198 ((4 . 2) (6 . 7) (7 . 8) (8 . 9)) 4630 0.7114 7.9832 ((1 . 21) (2 . 26) (6 . 27) (7 . 30) (8 . 34)) 4648 0.5712 5.4746 ((1 . 1) (2 . 2) (4 . 3) (6 . 8)) 4653 0.5710 6.4668 ((1 . 3) (2 . 4) (5 . 7) (7 . 9)) 4665 0.5708 7.1478 ((5 . 11) (6 . 12) (7 . 13) (8 . 14)) 4668 0.5704 8.0816 ((2 . 5) (4 . 8) (5 . 9) (7 . 11)) 4669 0.5709 6.8572 ((2 . 17) (4 . 18) (5 . 19) (7 . 21)) 4671 0.5692 9.9476 ((1 . 13) (2 . 14) (4 . 16) (5 . 19)) 4674 0.3788 9.2072 ((4 . 5) (5 . 7) (6 . 8) (7 . 9)) 4713 0.2945 9.8007 ((5 . 3) (6 . 4) (7 . 5) (8 . 6)) 4731 0.7124 7.2331 ((2 . 18) (4 . 20) (5 . 22) (6 . 23) (7 . 24)) 4734 0.5701 8.6748 ((5 . 2) (6 . 5) (7 . 6) (8 . 7)) 4857 0.5712 5.7421 ((1 . 9) (2 . 11) (4 . 12) (5 . 13)) 4886 0.1332 11.3302 ((4 . 27) (6 . 29) (7 . 30) (8 . 31)) 4888 0.5663 12.2871 ((4 . 11) (5 . 14) (6 . 16) (7 . 17)) 4889 0.7112 8.1420 ((1 . 6) (2 . 7) (4 . 9) (7 . 11) (8 . 12)) 4907 0.5706 7.8350 ((2 . 1) (6 . 7) (7 . 8) (8 . 9)) 4914 0.5710 6.6426 ((1 . 1) (5 . 6) (7 . 10) (8 . 11)) 4921 0.7091 9.3056 ((1 . 8) (2 . 9) (5 . 12) (6 . 14) (7 . 15)) 4929 0.5710 6.6405 ((5 . 29) (6 . 31) (7 . 32) (8 . 33)) 4932 0.5708 7.2983 ((1 . 5) (2 . 6) (4 . 7) (5 . 8)) 4940 0.5707 7.4971 ((1 . 1) (2 . 2) (4 . 5) (5 . 6)) 4944 0.5712 5.6788 ((4 . 12) (5 . 14) (6 . 15) (7 . 16)) 4961 0.5706 7.8050 ((2 . 1) (4 . 2) (5 . 3) (7 . 6)) 4978 0.5710 6.5889 ((1 . 25) (4 . 27) (5 . 28) (7 . 30)) 4982 0.5708 7.2606 ((1 . 9) (2 . 10) (4 . 11) (5 . 12)) 4992 0.5709 6.8184 ((2 . 3) (4 . 4) (5 . 6) (8 . 9)) 4998 0.5655 12.7007 ((2 . 23) (4 . 24) (5 . 26) (7 . 29)) 5029 0.5687 10.4140 ((5 . 2) (6 . 4) (7 . 6) (8 . 8)) 5036 0.5713 5.0759 ((5 . 5) (6 . 6) (7 . 7) (8 . 8)) 5038 0.5710 6.5536 ((5 . 10) (6 . 14) (7 . 15) (8 . 16)) 5039 0.5700 8.8221 ((2 . 39) (4 . 40) (7 . 44) (8 . 45)) 5046 0.5712 5.4979 ((2 . 3) (5 . 7) (6 . 8) (7 . 10)) 5053 0.5710 6.5067 ((1 . 6) (4 . 8) (6 . 10) (7 . 11)) 5065 0.5706 7.6994 ((1 . 2) (2 . 3) (6 . 10) (7 . 11)) 5068 0.5706 7.7884 ((4 . 11) (5 . 12) (7 . 15) (8 . 16)) 5069 0.5713 4.8906 ((1 . 9) (6 . 17) (7 . 18) (8 . 19)) 5073 0.5708 7.3433 ((2 . 34) (4 . 35) (5 . 36) (7 . 39)) 5083 0.5705 7.8942 ((1 . 1) (2 . 2) (4 . 4) (5 . 8)) 5101 0.5708 7.2961 ((2 . 15) (4 . 17) (5 . 18) (7 . 21)) 5103 0.5705 8.0306 ((2 . 13) (4 . 16) (5 . 17) (7 . 19)) 5121 0.5706 7.6335 ((4 . 14) (5 . 16) (6 . 18) (7 . 21)) 5132 0.5705 8.0326 ((2 . 18) (4 . 19) (5 . 20) (7 . 22)) 5134 0.4451 8.9583 ((4 . 1) (5 . 2) (6 . 3) (8 . 6)) 5145 0.5708 7.2317 ((2 . 3) (4 . 7) (5 . 8) (6 . 10)) 5167 0.7120 7.5081 ((1 . 3) (2 . 4) (4 . 6) (6 . 9) (8 . 12)) 5176 0.5706 7.6719 ((5 . 84) (6 . 86) (7 . 87) (8 . 88)) 5198 0.5696 9.4286 ((1 . 19) (2 . 21) (7 . 26) (8 . 30)) 5199 0.5693 9.7511 ((2 . 4) (4 . 6) (5 . 8) (8 . 9)) 5209 0.9997 3.0492 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (6 . 8) (7 . 9) (8 . 10)) 5215 0.7102 8.7331 ((1 . 5) (4 . 8) (5 . 9) (6 . 10) (7 . 11)) 5223 0.5709 6.7834 ((2 . 6) (4 . 9) (5 . 10) (7 . 12)) 5231 0.5709 6.8482 ((1 . 8) (2 . 12) (5 . 14) (6 . 16)) 5266 0.5711 6.1167 ((2 . 8) (5 . 10) (7 . 13) (8 . 15)) 5278 0.5696 9.4475 ((5 . 5) (6 . 6) (7 . 7) (8 . 8)) 5307 0.7115 7.9625 ((2 . 51) (4 . 54) (5 . 55) (6 . 57) (7 . 58)) 5312 0.7119 7.6126 ((1 . 1) (2 . 2) (5 . 4) (6 . 5) (7 . 7)) 5318 0.0999 6.8567 ((2 . 19) (4 . 20) (6 . 22) (7 . 23)) 5324 0.7132 6.2509 ((1 . 20) (2 . 22) (4 . 23) (5 . 25) (6 . 28)) 5344 0.5708 7.2125 ((1 . 3) (2 . 4) (6 . 9) (7 . 10)) 5345 0.5710 6.6674 ((2 . 7) (5 . 12) (6 . 13) (7 . 14)) 5368 0.7120 7.5130 ((2 . 29) (5 . 34) (6 . 35) (7 . 36) (8 . 37)) 5378 0.5710 6.4602 ((1 . 3) (4 . 5) (5 . 6) (7 . 7)) 5411 0.5689 10.1944 ((4 . 2) (5 . 3) (7 . 6) (8 . 8)) 5414 0.5710 6.3760 ((1 . 14) (2 . 15) (6 . 21) (7 . 22)) 5418 0.5710 6.5648 ((1 . 1) (5 . 7) (6 . 8) (7 . 9)) 5421 0.2945 8.4440 ((5 . 1) (6 . 2) (7 . 3) (8 . 4)) 5433 0.5694 9.6766 ((2 . 4) (5 . 10) (6 . 13) (7 . 16)) 5479 0.5711 6.0655 ((1 . 52) (2 . 53) (6 . 59) (7 . 60)) 5487 0.5703 8.3466 ((2 . 4) (4 . 8) (5 . 9) (7 . 11)) 5489 0.5712 5.7601 ((1 . 5) (2 . 6) (5 . 9) (8 . 14)) 5500 0.5709 6.7827 ((2 . 3) (4 . 10) (5 . 12) (7 . 14)) 5501 0.5651 12.9209 ((1 . 17) (2 . 20) (7 . 24) (8 . 25)) 5535 0.5711 6.0812 ((5 . 4) (6 . 6) (7 . 7) (8 . 8)) 5540 0.5711 6.1970 ((2 . 1) (4 . 2) (5 . 3) (6 . 4)) 5557 0.5709 6.8080 ((1 . 3) (2 . 4) (4 . 5) (5 . 6)) 5560 0.7125 7.1390 ((1 . 11) (2 . 13) (4 . 14) (5 . 15) (7 . 17)) 5562 0.7127 6.9297 ((1 . 6) (2 . 7) (4 . 9) (5 . 11) (7 . 14)) 5567 0.5706 7.7411 ((4 . 16) (5 . 17) (6 . 18) (7 . 19)) 5594 0.5708 7.3252 ((2 . 6) (4 . 7) (5 . 9) (7 . 12)) 5600 0.5712 5.5302 ((4 . 1) (5 . 3) (7 . 5) (8 . 6)) 5601 0.5689 10.2130 ((5 . 5) (6 . 7) (7 . 8) (8 . 10)) 5640 0.7123 7.3075 ((2 . 19) (5 . 23) (6 . 24) (7 . 25) (8 . 26)) 5644 0.3788 9.5534 ((1 . 1) (2 . 3) (4 . 5) (7 . 10)) 5656 0.5713 5.1642 ((1 . 2) (2 . 3) (6 . 9) (7 . 10)) 5700 0.7133 6.0881 ((1 . 2) (2 . 3) (6 . 6) (7 . 8) (8 . 9)) 5701 0.5704 8.1390 ((1 . 11) (2 . 12) (4 . 13) (5 . 14)) 5703 0.7111 8.1943 ((1 . 1) (2 . 2) (6 . 6) (7 . 7) (8 . 8)) 5711 0.5709 6.7423 ((1 . 28) (6 . 32) (7 . 33) (8 . 35)) 5713 0.7133 6.1268 ((1 . 2) (2 . 3) (6 . 10) (7 . 11) (8 . 13)) 5718 0.7127 6.9223 ((4 . 15) (5 . 16) (6 . 17) (7 . 18) (8 . 21)) 5731 0.5709 6.8501 ((2 . 3) (4 . 6) (5 . 7) (8 . 11)) 5746 0.5710 6.5076 ((2 . 2) (6 . 6) (7 . 7) (8 . 9)) 5761 0.5712 5.4346 ((5 . 28) (6 . 30) (7 . 31) (8 . 32)) 5770 0.5703 8.4419 ((1 . 1) (5 . 6) (7 . 9) (8 . 12)) 5771 0.5681 11.0206 ((1 . 14) (2 . 13) (5 . 17) (7 . 20)) 5782 0.7097 8.9932 ((1 . 26) (2 . 27) (4 . 31) (6 . 34) (7 . 35)) 5794 0.7111 8.1984 ((1 . 18) (4 . 22) (5 . 23) (6 . 24) (7 . 25)) 5795 0.5703 8.2845 ((2 . 10) (4 . 12) (5 . 13) (7 . 16)) 5809 0.5708 7.2179 ((2 . 7) (4 . 8) (5 . 9) (7 . 12)) 5822 0.5713 4.9658 ((2 . 4) (4 . 5) (5 . 6) (6 . 8)) 5827 0.5712 5.2998 ((1 . 2) (2 . 3) (4 . 6) (5 . 8)) 5830 0.5710 6.4702 ((1 . 8) (2 . 10) (7 . 17) (8 . 18)) 5847 0.5711 6.0708 ((5 . 5) (6 . 7) (7 . 8) (8 . 9)) 5861 0.5712 5.7462 ((1 . 10) (2 . 11) (5 . 16) (8 . 20)) 5865 0.5709 6.9041 ((1 . 4) (2 . 5) (4 . 6) (5 . 7)) 5878 0.5701 8.7037 ((4 . 24) (5 . 26) (6 . 29) (7 . 30)) 5888 0.7124 7.2203 ((1 . 6) (2 . 7) (5 . 11) (6 . 12) (7 . 13)) 5896 0.5712 5.6162 ((1 . 28) (2 . 29) (4 . 30) (5 . 31)) 5904 0.3784 12.0681 ((1 . 4) (4 . 6) (6 . 9) (8 . 11)) 5913 0.5712 5.6359 ((4 . 1) (6 . 5) (7 . 6) (8 . 7)) 5914 0.0999 8.5826 ((1 . 2) (2 . 3) (4 . 4) (5 . 6)) 5922 0.5712 5.3417 ((5 . 6) (6 . 8) (7 . 9) (8 . 10)) 5930 0.5674 11.5460 ((2 . 1) (4 . 3) (7 . 7) (8 . 9)) 5939 0.5702 8.5304 ((2 . 2) (4 . 3) (5 . 4) (7 . 8)) 5945 0.5702 8.5469 ((1 . 13) (2 . 14) (6 . 23) (8 . 26)) 5949 0.5711 5.8963 ((2 . 4) (4 . 8) (5 . 9) (7 . 12)) 5955 0.5707 7.4585 ((2 . 3) (4 . 6) (5 . 7) (7 . 9)) 5977 0.7127 6.8608 ((2 . 1) (4 . 2) (5 . 3) (7 . 5) (8 . 6)) 6011 0.5713 5.1811 ((5 . 4) (6 . 7) (7 . 8) (8 . 9)) 6022 0.5700 8.8710 ((5 . 4) (6 . 5) (7 . 7) (8 . 8)) 6029 0.5712 5.7751 ((1 . 5) (2 . 6) (5 . 10) (6 . 11)) 6041 0.5710 6.5283 ((1 . 12) (2 . 13) (4 . 14) (5 . 15)) 6046 0.5708 7.0994 ((4 . 1) (6 . 2) (7 . 3) (8 . 5)) 6061 0.7135 5.7987 ((1 . 14) (2 . 15) (4 . 16) (5 . 17) (8 . 21)) 6074 0.5709 7.0356 ((2 . 2) (4 . 5) (5 . 6) (7 . 8)) 6075 0.5695 9.6034 ((2 . 21) (4 . 23) (5 . 24) (7 . 28)) 6079 0.5712 5.7829 ((2 . 1) (6 . 7) (7 . 8) (8 . 9)) 6089 0.5703 8.3856 ((2 . 1) (4 . 2) (5 . 3) (7 . 5)) 6094 0.5710 6.5501 ((1 . 2) (2 . 3) (5 . 7) (8 . 12)) 6099 0.8538 6.6086 ((1 . 24) (2 . 25) (5 . 28) (6 . 29) (7 . 30) (8 . 31)) 6123 0.1992 9.4940 ((5 . 1) (6 . 3) (7 . 4) (8 . 5)) 6142 0.7138 5.1396 ((1 . 7) (2 . 8) (6 . 11) (7 . 12) (8 . 13)) 6167 0.5700 8.8835 ((1 . 12) (2 . 14) (5 . 20) (6 . 21)) 6173 0.7066 10.2582 ((1 . 4) (2 . 5) (5 . 8) (7 . 13) (8 . 15)) 6191 0.5659 12.5077 ((2 . 6) (4 . 7) (6 . 12) (7 . 13)) 6192 0.5697 9.2685 ((2 . 3) (4 . 4) (5 . 5) (8 . 10)) 6215 0.5710 6.4711 ((5 . 17) (6 . 18) (7 . 19) (8 . 20)) 6225 0.5638 13.5964 ((2 . 3) (5 . 5) (6 . 7) (7 . 8)) 6228 0.5708 7.3172 ((2 . 1) (4 . 2) (5 . 5) (7 . 7)) 6234 0.5707 7.3708 ((1 . 6) (2 . 7) (5 . 10) (7 . 15)) 6238 0.5710 6.5058 ((1 . 4) (2 . 5) (5 . 8) (6 . 9)) 6243 0.5704 8.1852 ((2 . 6) (4 . 7) (5 . 8) (7 . 10)) 6251 0.2477 11.2420 ((1 . 10) (4 . 11) (6 . 15) (8 . 19)) 6258 0.5701 8.7204 ((2 . 7) (4 . 8) (5 . 10) (7 . 12)) 6261 0.5712 5.7393 ((1 . 11) (6 . 19) (7 . 21) (8 . 22)) 6266 0.5702 8.4917 ((2 . 3) (4 . 4) (5 . 6) (7 . 8)) 6270 0.5693 9.8040 ((1 . 17) (2 . 18) (4 . 19) (5 . 22)) 6271 0.5705 7.8660 ((1 . 7) (2 . 8) (4 . 9) (6 . 12)) 6294 0.5695 9.5271 ((1 . 9) (2 . 11) (4 . 12) (5 . 14)) 6306 0.5706 7.7135 ((2 . 16) (4 . 18) (5 . 19) (6 . 21)) 6309 0.5709 6.8592 ((2 . 17) (4 . 19) (5 . 20) (8 . 25)) 6311 0.7130 6.5139 ((1 . 1) (5 . 5) (6 . 9) (7 . 10) (8 . 11)) 6326 0.5706 7.7734 ((5 . 6) (6 . 9) (7 . 10) (8 . 11)) 6338 0.5713 5.1545 ((5 . 2) (6 . 4) (7 . 5) (8 . 7)) 6344 0.5710 6.7147 ((2 . 1) (4 . 2) (5 . 4) (6 . 6)) 6345 0.5705 8.0101 ((4 . 2) (5 . 5) (6 . 6) (7 . 7)) 6348 0.5699 9.0194 ((2 . 1) (4 . 3) (5 . 4) (8 . 9)) 6355 0.3789 8.9640 ((1 . 4) (2 . 6) (5 . 10) (6 . 11)) 6356 0.5696 9.3950 ((2 . 6) (4 . 8) (5 . 11) (7 . 13)) 6369 0.5709 6.8107 ((2 . 24) (4 . 25) (5 . 26) (7 . 29)) 6376 0.5706 7.8450 ((2 . 17) (4 . 18) (5 . 19) (7 . 24)) 6391 0.1993 7.4627 ((2 . 6) (5 . 8) (6 . 10) (7 . 12)) 6399 0.8512 7.6579 ((1 . 10) (2 . 11) (5 . 15) (6 . 18) (7 . 19) (8 . 20)) 6403 0.7130 6.5226 ((1 . 2) (2 . 3) (4 . 6) (5 . 7) (7 . 10)) 6434 0.5706 7.6856 ((4 . 1) (6 . 2) (7 . 3) (8 . 4)) 6462 0.5708 7.0926 ((2 . 16) (4 . 17) (5 . 18) (7 . 20)) 6520 0.8509 7.7359 ((1 . 8) (2 . 9) (4 . 11) (6 . 14) (7 . 15) (8 . 16)) 6539 0.5711 5.9880 ((4 . 1) (5 . 2) (7 . 4) (8 . 5)) 6540 0.5711 5.9886 ((5 . 17) (6 . 18) (7 . 19) (8 . 20)) 6548 0.5710 6.4280 ((4 . 6) (5 . 7) (7 . 9) (8 . 12)) 6553 0.5691 9.9993 ((1 . 11) (5 . 17) (7 . 20) (8 . 22)) 6555 0.5710 6.7311 ((5 . 20) (6 . 22) (7 . 23) (8 . 24)) 6561 0.5709 6.9048 ((2 . 9) (5 . 12) (7 . 13) (8 . 15)) 6573 0.5683 10.8311 ((4 . 20) (5 . 22) (6 . 23) (7 . 24)) 6578 0.5714 3.8956 ((5 . 32) (6 . 34) (7 . 37) (8 . 38)) 6584 0.5708 7.0794 ((1 . 2) (2 . 3) (6 . 8) (7 . 9)) 6585 0.5710 6.5661 ((4 . 7) (5 . 8) (7 . 10) (8 . 11)) 6586 0.5701 8.6692 ((2 . 18) (4 . 19) (7 . 24) (8 . 25)) 6587 0.5710 6.4519 ((4 . 27) (5 . 29) (7 . 33) (8 . 34)) 6598 0.8555 5.5191 ((1 . 3) (2 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 10)) 6613 0.5712 5.7542 ((1 . 27) (6 . 33) (7 . 34) (8 . 35)) 6635 0.5694 9.6366 ((2 . 1) (4 . 3) (5 . 5) (6 . 7)) END