365 51 0.8546 6.1783 ((1 . 2) (2 . 6) (3 . 7) (4 . 10) (6 . 11) (8 . 13)) 62 0.5713 5.2017 ((1 . 10) (2 . 12) (3 . 13) (8 . 17)) 64 0.5713 4.4478 ((2 . 2) (4 . 4) (6 . 6) (8 . 7)) 77 0.5706 7.6264 ((1 . 6) (2 . 7) (3 . 8) (8 . 13)) 91 0.5712 5.2997 ((1 . 16) (2 . 19) (6 . 21) (7 . 22)) 96 0.3790 5.2090 ((3 . 1) (6 . 3) (7 . 4) (8 . 5)) 129 0.7122 7.3421 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (8 . 9)) 136 0.5713 5.0589 ((2 . 5) (3 . 7) (4 . 8) (7 . 9)) 150 0.5713 4.3710 ((3 . 19) (4 . 20) (7 . 21) (8 . 23)) 153 0.8548 6.0245 ((1 . 4) (2 . 5) (3 . 6) (4 . 7) (6 . 10) (8 . 12)) 157 0.5701 8.6835 ((2 . 11) (4 . 14) (7 . 15) (8 . 18)) 161 0.5713 4.7285 ((3 . 3) (4 . 4) (6 . 6) (7 . 7)) 162 0.5713 5.2583 ((3 . 17) (4 . 18) (7 . 19) (8 . 22)) 169 0.7138 5.1685 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (8 . 8)) 177 0.7141 4.2374 ((1 . 3) (2 . 4) (3 . 5) (6 . 7) (8 . 8)) 191 0.5713 4.8620 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 198 0.5693 9.7971 ((1 . 8) (4 . 12) (6 . 14) (8 . 16)) 207 0.5712 5.8712 ((1 . 13) (2 . 15) (6 . 18) (7 . 19)) 233 0.7142 2.8492 ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (8 . 7)) 300 0.5701 8.6631 ((2 . 6) (3 . 8) (6 . 9) (8 . 10)) 305 0.5712 5.6476 ((3 . 16) (4 . 18) (6 . 19) (8 . 21)) 307 0.5705 7.9920 ((3 . 1) (4 . 3) (7 . 6) (8 . 7)) 315 0.2946 5.2935 ((3 . 4) (4 . 5) (6 . 6) (7 . 7)) 340 0.5714 4.1176 ((3 . 1) (4 . 2) (6 . 4) (7 . 5)) 350 0.8569 3.4246 ((1 . 1) (2 . 4) (3 . 5) (4 . 7) (6 . 8) (8 . 10)) 360 0.7133 6.1738 ((1 . 6) (2 . 7) (3 . 8) (4 . 9) (6 . 10)) 365 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8)) 367 0.7139 4.6983 ((1 . 40) (2 . 42) (3 . 43) (4 . 44) (8 . 47)) 372 0.7135 5.7627 ((1 . 2) (3 . 6) (4 . 7) (6 . 8) (8 . 11)) 387 0.8532 6.9160 ((1 . 7) (2 . 8) (3 . 9) (4 . 10) (6 . 11) (8 . 12)) 405 0.8567 3.9693 ((1 . 32) (2 . 33) (3 . 35) (4 . 37) (6 . 38) (8 . 39)) 417 0.4452 8.1071 ((4 . 2) (6 . 3) (7 . 6) (8 . 7)) 420 0.5713 4.7635 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 433 0.5711 6.1126 ((1 . 5) (2 . 6) (3 . 7) (6 . 9)) 442 0.5696 9.4725 ((1 . 4) (2 . 5) (7 . 9) (8 . 10)) 460 0.5712 5.7540 ((3 . 6) (4 . 7) (6 . 8) (7 . 9)) 472 0.5679 11.1769 ((3 . 20) (4 . 21) (6 . 22) (7 . 23)) 495 0.5707 7.5459 ((1 . 3) (3 . 5) (6 . 7) (8 . 8)) 541 0.2945 8.4692 ((1 . 11) (3 . 14) (4 . 16) (8 . 17)) 543 0.5700 8.9018 ((1 . 6) (3 . 8) (6 . 10) (8 . 15)) 561 0.5710 6.4844 ((1 . 1) (3 . 3) (4 . 4) (7 . 5)) 584 0.5689 10.2580 ((1 . 4) (2 . 5) (3 . 7) (4 . 8)) 587 0.7125 7.1012 ((1 . 11) (2 . 13) (3 . 14) (4 . 15) (6 . 16)) 609 0.1992 9.6920 ((1 . 3) (4 . 6) (6 . 8) (7 . 7)) 619 0.5711 6.0562 ((2 . 7) (3 . 8) (4 . 9) (6 . 11)) 624 0.5713 4.9103 ((3 . 22) (6 . 24) (7 . 25) (8 . 26)) 635 0.2945 7.8613 ((3 . 13) (4 . 14) (6 . 15) (7 . 17)) 672 0.5710 6.5738 ((1 . 20) (3 . 22) (4 . 23) (7 . 25)) 678 0.2945 7.8949 ((4 . 22) (6 . 24) (7 . 25) (8 . 26)) 683 0.5709 6.8917 ((1 . 2) (2 . 3) (3 . 5) (4 . 6)) 719 0.5712 5.3034 ((3 . 25) (4 . 27) (7 . 29) (8 . 30)) 729 0.5712 5.8425 ((3 . 7) (4 . 9) (7 . 12) (8 . 13)) 735 0.7140 4.2920 ((2 . 29) (3 . 31) (4 . 32) (6 . 33) (8 . 36)) 765 0.5713 4.8085 ((1 . 8) (3 . 12) (6 . 17) (8 . 19)) 767 0.1993 7.8045 ((1 . 1) (3 . 3) (6 . 8) (8 . 9)) 796 0.5705 8.0039 ((1 . 3) (3 . 5) (4 . 6) (7 . 7)) 801 0.5710 6.5729 ((1 . 1) (2 . 2) (3 . 4) (4 . 5)) 812 0.5706 7.7464 ((2 . 8) (4 . 11) (7 . 12) (8 . 13)) 818 0.2945 10.3712 ((1 . 7) (2 . 8) (3 . 10) (6 . 12)) 819 0.1664 7.5137 ((2 . 8) (3 . 9) (4 . 10) (7 . 11)) 824 0.5713 4.3475 ((1 . 49) (2 . 50) (3 . 51) (4 . 53)) 861 0.7118 7.6993 ((1 . 12) (3 . 15) (4 . 16) (6 . 17) (8 . 19)) 901 0.3789 9.0047 ((1 . 15) (3 . 17) (6 . 20) (7 . 21)) 904 0.5713 4.7872 ((1 . 2) (2 . 3) (4 . 6) (6 . 7)) 913 0.5702 8.4998 ((3 . 16) (4 . 17) (7 . 18) (8 . 20)) 928 0.5702 8.5119 ((2 . 12) (6 . 14) (7 . 15) (8 . 16)) 937 0.5704 8.2120 ((1 . 1) (3 . 4) (4 . 5) (7 . 6)) 943 0.5709 6.8385 ((1 . 4) (2 . 6) (6 . 9) (8 . 12)) 949 0.5699 9.0516 ((1 . 27) (3 . 30) (6 . 32) (7 . 33)) 960 0.5713 5.1345 ((3 . 8) (4 . 9) (7 . 11) (8 . 12)) 1007 0.5714 4.1734 ((1 . 11) (2 . 12) (3 . 13) (4 . 14)) 1008 0.8562 4.7845 ((1 . 3) (2 . 5) (3 . 8) (4 . 13) (6 . 15) (8 . 16)) 1034 0.3786 11.2195 ((2 . 20) (3 . 21) (4 . 22) (7 . 24)) 1043 0.5709 7.0498 ((1 . 10) (3 . 12) (4 . 14) (7 . 16)) 1082 0.5712 5.4539 ((3 . 8) (4 . 9) (7 . 11) (8 . 12)) 1084 0.4454 6.9590 ((4 . 11) (6 . 12) (7 . 15) (8 . 17)) 1121 0.5706 7.6358 ((3 . 2) (4 . 3) (6 . 4) (8 . 6)) 1165 0.7133 6.0345 ((2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 7)) 1167 0.5713 4.6419 ((1 . 20) (2 . 21) (3 . 22) (8 . 27)) 1169 0.7089 9.3843 ((1 . 29) (2 . 30) (3 . 31) (4 . 32) (8 . 37)) 1195 0.5713 4.4614 ((1 . 2) (2 . 4) (3 . 5) (4 . 6)) 1201 0.5690 10.1588 ((1 . 7) (3 . 9) (6 . 11) (8 . 12)) 1204 0.3790 7.5900 ((1 . 1) (2 . 3) (4 . 5) (7 . 6)) 1211 0.7104 8.6361 ((1 . 5) (3 . 8) (4 . 9) (6 . 10) (8 . 11)) 1217 0.5713 5.0569 ((1 . 5) (2 . 7) (3 . 9) (8 . 12)) 1224 0.5710 6.4169 ((1 . 9) (2 . 10) (4 . 14) (6 . 15)) 1233 0.1498 5.2172 ((1 . 20) (2 . 22) (3 . 23) (4 . 24)) 1267 0.5666 12.0746 ((1 . 9) (2 . 12) (4 . 15) (8 . 17)) 1294 0.8559 5.2031 ((1 . 39) (2 . 40) (3 . 41) (4 . 43) (6 . 44) (8 . 46)) 1345 0.5700 8.8384 ((2 . 12) (3 . 13) (4 . 14) (6 . 16)) 1366 0.7132 6.1996 ((1 . 16) (2 . 17) (4 . 20) (6 . 21) (8 . 22)) 1388 0.5713 4.6109 ((3 . 1) (4 . 5) (7 . 7) (8 . 8)) 1410 0.8553 5.6890 ((1 . 19) (2 . 21) (3 . 22) (4 . 23) (6 . 25) (8 . 26)) 1425 0.8555 5.5159 ((1 . 3) (2 . 4) (3 . 6) (4 . 8) (6 . 10) (8 . 12)) 1447 0.2477 10.5183 ((1 . 3) (4 . 5) (7 . 6) (8 . 9)) 1451 0.5713 4.8790 ((1 . 1) (3 . 3) (4 . 4) (6 . 5)) 1464 0.4453 7.5598 ((2 . 7) (3 . 8) (6 . 10) (7 . 12)) 1476 0.2945 6.0762 ((3 . 14) (4 . 15) (7 . 17) (8 . 18)) 1481 0.5711 6.0014 ((3 . 1) (4 . 2) (7 . 3) (8 . 4)) 1501 0.5714 4.2081 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 1513 0.5708 7.1268 ((3 . 2) (4 . 3) (7 . 4) (8 . 5)) 1514 0.2945 6.5902 ((2 . 1) (4 . 3) (6 . 4) (7 . 5)) 1604 0.5712 5.5002 ((1 . 1) (2 . 3) (4 . 7) (8 . 10)) 1622 0.5712 5.8034 ((2 . 18) (3 . 20) (4 . 22) (6 . 23)) 1624 0.5701 8.7056 ((1 . 3) (2 . 4) (3 . 5) (7 . 10)) 1643 0.7140 4.3015 ((1 . 26) (2 . 27) (3 . 28) (4 . 31) (6 . 32)) 1644 0.8559 5.1576 ((1 . 46) (2 . 47) (3 . 48) (4 . 49) (6 . 50) (8 . 51)) 1665 0.5708 7.2325 ((1 . 4) (2 . 6) (4 . 8) (8 . 10)) 1690 0.5697 9.2724 ((2 . 11) (4 . 13) (7 . 15) (8 . 16)) 1692 0.5712 5.5960 ((1 . 6) (2 . 7) (4 . 8) (6 . 9)) 1731 0.1993 6.2418 ((4 . 3) (6 . 6) (7 . 7) (8 . 8)) 1736 0.1993 8.3598 ((1 . 1) (3 . 3) (6 . 5) (7 . 6)) 1738 0.5711 6.0097 ((1 . 13) (2 . 14) (6 . 18) (8 . 21)) 1747 0.7139 4.7997 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (6 . 10)) 1756 0.5706 7.6253 ((3 . 21) (4 . 23) (6 . 25) (8 . 27)) 1759 0.5714 4.2528 ((1 . 4) (2 . 5) (3 . 6) (4 . 8)) 1761 0.5705 8.0451 ((2 . 7) (4 . 9) (7 . 12) (8 . 13)) 1763 0.5711 6.0197 ((1 . 3) (4 . 7) (6 . 9) (8 . 10)) 1776 0.5702 8.5979 ((2 . 9) (4 . 12) (7 . 13) (8 . 14)) 1777 0.5704 8.1985 ((1 . 45) (2 . 47) (3 . 49) (4 . 50)) 1778 0.5713 4.2928 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 1793 0.1992 9.0496 ((1 . 3) (2 . 4) (6 . 6) (8 . 8)) 1805 0.5713 5.1635 ((2 . 2) (4 . 4) (6 . 7) (8 . 8)) 1808 0.7127 6.9165 ((1 . 5) (2 . 6) (3 . 8) (4 . 9) (6 . 10)) 1817 0.5714 3.8047 ((1 . 13) (2 . 14) (3 . 15) (4 . 16)) 1867 0.5714 3.7099 ((3 . 1) (6 . 3) (7 . 4) (8 . 6)) 1894 0.5713 5.0305 ((1 . 20) (2 . 21) (3 . 22) (6 . 25)) 1896 0.5706 7.8280 ((1 . 23) (2 . 24) (3 . 26) (7 . 30)) 1897 0.5702 8.6170 ((2 . 32) (3 . 34) (7 . 37) (8 . 39)) 1908 0.5710 6.5009 ((2 . 10) (4 . 15) (7 . 16) (8 . 17)) 1909 0.1992 10.0058 ((1 . 31) (3 . 34) (6 . 37) (7 . 38)) 1913 0.5712 5.6115 ((1 . 21) (2 . 22) (4 . 26) (8 . 28)) 1944 0.5699 9.0342 ((1 . 17) (4 . 22) (6 . 23) (7 . 25)) 1957 0.5708 7.2165 ((3 . 11) (4 . 13) (7 . 14) (8 . 15)) 1961 0.4454 6.3206 ((1 . 19) (2 . 20) (3 . 21) (7 . 25)) 1967 0.2477 9.6887 ((2 . 10) (4 . 13) (6 . 14) (8 . 16)) 1995 0.5709 6.7982 ((2 . 1) (3 . 2) (4 . 3) (8 . 8)) 2003 0.5710 6.4642 ((1 . 5) (4 . 9) (6 . 10) (8 . 12)) 2006 0.7122 7.3486 ((1 . 11) (2 . 12) (3 . 13) (4 . 14) (8 . 16)) 2045 0.5710 6.5978 ((1 . 1) (2 . 2) (4 . 3) (7 . 5)) 2063 0.7137 5.2630 ((1 . 44) (2 . 45) (3 . 47) (4 . 48) (6 . 49)) 2065 0.5710 6.3643 ((1 . 19) (3 . 22) (4 . 23) (8 . 27)) 2067 0.5710 6.5820 ((4 . 54) (6 . 55) (7 . 56) (8 . 57)) 2072 0.5712 5.5481 ((2 . 4) (3 . 6) (4 . 7) (7 . 8)) 2081 0.5713 5.0240 ((1 . 19) (2 . 20) (3 . 21) (4 . 23)) 2097 0.5649 13.0641 ((1 . 1) (4 . 4) (6 . 5) (8 . 7)) 2114 0.5711 6.1442 ((1 . 29) (3 . 32) (4 . 34) (6 . 36)) 2116 0.8568 3.6892 ((1 . 2) (2 . 5) (3 . 6) (4 . 10) (6 . 11) (8 . 12)) 2117 0.5712 5.7127 ((1 . 11) (2 . 12) (6 . 16) (8 . 20)) 2118 0.5711 6.1065 ((3 . 4) (4 . 5) (7 . 6) (8 . 7)) 2122 0.5706 7.6648 ((1 . 12) (3 . 14) (4 . 15) (8 . 18)) 2166 0.5713 5.0986 ((1 . 15) (2 . 16) (3 . 17) (8 . 21)) 2179 0.5712 5.6731 ((3 . 6) (4 . 7) (6 . 9) (8 . 10)) 2196 0.5712 5.2746 ((1 . 12) (2 . 13) (4 . 15) (8 . 19)) 2203 0.5682 10.9208 ((1 . 1) (3 . 5) (7 . 8) (8 . 10)) 2205 0.8561 4.8816 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (6 . 22) (8 . 23)) 2209 0.5707 7.4323 ((1 . 3) (3 . 5) (4 . 6) (6 . 7)) 2243 0.5713 4.6721 ((1 . 51) (2 . 52) (3 . 53) (4 . 54)) 2244 0.7130 6.5892 ((2 . 73) (3 . 74) (4 . 75) (6 . 76) (8 . 77)) 2249 0.5688 10.3161 ((2 . 11) (4 . 12) (7 . 14) (8 . 16)) 2269 0.7124 7.2220 ((2 . 6) (3 . 7) (4 . 8) (7 . 9) (8 . 10)) 2279 0.5714 3.8487 ((3 . 19) (4 . 20) (7 . 21) (8 . 22)) 2298 0.5710 6.3915 ((2 . 6) (4 . 8) (7 . 9) (8 . 12)) 2308 0.5709 6.8297 ((2 . 4) (3 . 5) (4 . 6) (7 . 7)) 2314 0.5700 8.8636 ((1 . 2) (2 . 3) (3 . 4) (6 . 7)) 2340 0.5713 4.5688 ((2 . 11) (3 . 13) (4 . 14) (7 . 15)) 2344 0.5706 7.7976 ((2 . 6) (3 . 7) (6 . 10) (8 . 13)) 2364 0.5710 6.4343 ((2 . 4) (4 . 7) (7 . 8) (8 . 9)) 2381 0.5712 5.3402 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 2389 0.7133 6.1460 ((1 . 3) (2 . 5) (3 . 6) (4 . 7) (6 . 8)) 2408 0.8565 4.2928 ((1 . 38) (2 . 39) (3 . 40) (4 . 45) (6 . 46) (8 . 47)) 2409 0.5713 4.7761 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 2422 0.1498 7.9511 ((1 . 4) (2 . 6) (3 . 7) (4 . 8)) 2423 0.6310 6.2933 ((3 . 20) (4 . 21) (6 . 22) (7 . 23) (8 . 25)) 2440 0.5708 7.2906 ((2 . 6) (3 . 8) (4 . 9) (7 . 10)) 2447 0.5702 8.4580 ((1 . 18) (3 . 21) (6 . 24) (7 . 26)) 2462 0.4454 6.2867 ((2 . 1) (4 . 3) (6 . 4) (7 . 5)) 2510 0.5700 8.8937 ((1 . 1) (3 . 3) (6 . 5) (7 . 6)) 2525 0.2945 9.7724 ((3 . 43) (4 . 45) (7 . 46) (8 . 47)) 2529 0.5713 5.1785 ((2 . 3) (3 . 5) (4 . 6) (7 . 7)) 2551 0.0999 6.7619 ((3 . 9) (4 . 11) (6 . 12) (8 . 14)) 2552 0.0999 8.8954 ((1 . 1) (4 . 3) (6 . 5) (7 . 4)) 2556 0.5701 8.6788 ((1 . 16) (2 . 18) (3 . 20) (6 . 22)) 2557 0.1993 5.6925 ((2 . 3) (4 . 6) (6 . 7) (7 . 8)) 2561 0.5712 5.4050 ((2 . 6) (3 . 7) (4 . 8) (6 . 9)) 2595 0.5711 6.1623 ((3 . 1) (4 . 4) (7 . 5) (8 . 6)) 2619 0.5712 5.8186 ((2 . 1) (3 . 2) (4 . 3) (7 . 4)) 2627 0.1993 8.2440 ((3 . 60) (6 . 64) (7 . 62) (8 . 65)) 2650 0.5711 6.1461 ((2 . 5) (3 . 6) (4 . 7) (6 . 8)) 2658 0.0999 6.7664 ((3 . 10) (4 . 12) (6 . 13) (8 . 14)) 2675 0.7130 6.5063 ((2 . 3) (3 . 4) (4 . 5) (6 . 8) (7 . 9)) 2682 0.5712 5.6225 ((1 . 13) (4 . 17) (7 . 18) (8 . 19)) 2696 0.8448 9.2288 ((1 . 31) (2 . 32) (3 . 34) (4 . 35) (6 . 36) (8 . 38)) 2731 0.5703 8.3832 ((1 . 1) (3 . 4) (4 . 5) (7 . 6)) 2733 0.5711 6.2184 ((1 . 1) (2 . 2) (6 . 4) (7 . 7)) 2755 0.2944 10.9470 ((2 . 3) (3 . 5) (6 . 6) (8 . 8)) 2773 0.5708 7.2992 ((1 . 3) (3 . 5) (4 . 6) (7 . 7)) 2783 0.7122 7.3451 ((2 . 6) (3 . 7) (4 . 8) (7 . 9) (8 . 12)) 2804 0.5694 9.7187 ((1 . 34) (2 . 36) (7 . 37) (8 . 40)) 2821 0.5708 7.1041 ((1 . 1) (2 . 2) (3 . 4) (4 . 5)) 2830 0.2945 7.4617 ((3 . 1) (4 . 3) (7 . 4) (8 . 5)) 2834 0.5713 4.8858 ((1 . 1) (3 . 3) (4 . 5) (6 . 6)) 2840 0.7112 8.1462 ((1 . 5) (2 . 6) (4 . 8) (6 . 9) (8 . 11)) 2879 0.8552 5.7863 ((1 . 53) (2 . 54) (3 . 56) (4 . 57) (6 . 58) (8 . 59)) 2886 0.8550 5.8857 ((1 . 35) (2 . 37) (3 . 38) (4 . 39) (6 . 41) (8 . 43)) 2929 0.5710 6.3861 ((1 . 36) (3 . 39) (4 . 40) (7 . 41)) 2940 0.5709 7.0594 ((2 . 4) (4 . 5) (6 . 6) (7 . 9)) 2947 0.5713 4.8217 ((1 . 2) (2 . 3) (3 . 4) (8 . 7)) 2966 0.7662 7.5513 ((1 . 3) (2 . 4) (3 . 6) (4 . 8) (6 . 9) (8 . 10)) 2990 0.5713 5.1775 ((1 . 12) (3 . 14) (4 . 15) (6 . 16)) 2999 0.5710 6.6932 ((1 . 2) (3 . 4) (6 . 6) (8 . 7)) 3014 0.1249 10.9834 ((3 . 4) (4 . 5) (6 . 7) (7 . 6)) 3019 0.5708 7.3159 ((2 . 19) (3 . 20) (6 . 22) (8 . 25)) 3034 0.5691 10.0612 ((1 . 1) (4 . 5) (7 . 6) (8 . 7)) 3041 0.5713 4.4718 ((1 . 29) (2 . 30) (4 . 32) (6 . 33)) 3055 0.5712 5.3673 ((2 . 7) (3 . 8) (4 . 9) (8 . 13)) 3063 0.5707 7.3955 ((2 . 35) (4 . 38) (6 . 39) (8 . 41)) 3070 0.5714 3.8471 ((1 . 32) (2 . 33) (4 . 35) (6 . 36)) 3084 0.5708 7.2848 ((3 . 13) (4 . 15) (7 . 16) (8 . 17)) 3102 0.5713 4.9708 ((2 . 70) (3 . 71) (4 . 72) (8 . 75)) 3103 0.7137 5.3584 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (8 . 9)) 3114 0.5712 5.7068 ((2 . 22) (3 . 23) (4 . 24) (6 . 25)) 3120 0.5710 6.4507 ((3 . 21) (4 . 22) (7 . 24) (8 . 25)) 3127 0.1993 7.0937 ((1 . 6) (3 . 11) (4 . 13) (7 . 16)) 3147 0.7140 4.5584 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (6 . 20)) 3176 0.3790 6.6310 ((3 . 26) (4 . 27) (6 . 29) (7 . 30)) 3187 0.8569 3.4523 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 5) (8 . 6)) 3197 0.5704 8.0810 ((1 . 10) (3 . 12) (6 . 14) (7 . 15)) 3200 0.5705 8.0551 ((1 . 1) (3 . 3) (4 . 4) (7 . 7)) 3212 0.5714 4.2183 ((1 . 2) (2 . 3) (3 . 5) (8 . 9)) 3222 0.5710 6.5648 ((3 . 15) (4 . 16) (7 . 17) (8 . 19)) 3256 0.8554 5.6166 ((1 . 18) (2 . 19) (3 . 20) (4 . 21) (6 . 25) (8 . 26)) 3261 0.7127 6.8503 ((1 . 6) (2 . 7) (3 . 8) (4 . 9) (7 . 11)) 3286 0.5711 6.0432 ((1 . 3) (2 . 4) (3 . 5) (6 . 7)) 3289 0.5710 6.4183 ((1 . 25) (4 . 29) (6 . 30) (8 . 31)) 3297 0.8562 4.8058 ((1 . 4) (2 . 5) (3 . 7) (4 . 11) (6 . 12) (8 . 13)) 3300 0.5712 5.5988 ((3 . 1) (4 . 2) (6 . 4) (8 . 5)) 3322 0.5711 6.0154 ((3 . 1) (4 . 3) (7 . 6) (8 . 7)) 3334 0.5687 10.4423 ((1 . 1) (2 . 3) (3 . 5) (4 . 6)) 3339 0.2945 9.7571 ((1 . 17) (3 . 19) (6 . 21) (7 . 23)) 3344 0.8499 8.0548 ((1 . 18) (2 . 20) (3 . 21) (4 . 24) (6 . 26) (8 . 27)) 3358 0.5682 10.9292 ((1 . 10) (2 . 12) (6 . 15) (8 . 16)) 3362 0.5713 5.0762 ((2 . 8) (3 . 10) (4 . 11) (7 . 13)) 3366 0.5706 7.8193 ((3 . 22) (4 . 24) (6 . 26) (8 . 27)) 3391 0.5713 4.8772 ((3 . 6) (4 . 4) (7 . 5) (8 . 8)) 3410 0.2945 9.7136 ((1 . 19) (3 . 21) (6 . 24) (7 . 27)) 3418 0.5714 4.2853 ((1 . 2) (2 . 5) (3 . 6) (4 . 7)) 3472 0.8568 3.6277 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (6 . 9) (8 . 11)) 3481 0.5701 8.7013 ((1 . 7) (2 . 8) (4 . 10) (7 . 11)) 3489 0.5712 5.4474 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 3495 0.8535 6.7479 ((1 . 1) (2 . 2) (3 . 3) (4 . 8) (7 . 9) (8 . 16)) 3496 0.5706 7.7158 ((1 . 18) (2 . 19) (7 . 21) (8 . 22)) 3533 0.5710 6.6434 ((1 . 3) (2 . 5) (6 . 8) (8 . 11)) 3538 0.5700 8.8849 ((2 . 24) (3 . 25) (4 . 26) (7 . 27)) 3548 0.7126 6.9433 ((1 . 4) (2 . 5) (3 . 6) (4 . 8) (6 . 9)) 3549 0.3789 7.7128 ((2 . 2) (3 . 3) (6 . 5) (7 . 7)) 3561 0.5702 8.4751 ((1 . 20) (2 . 22) (6 . 26) (8 . 28)) 3570 0.5710 6.6828 ((1 . 4) (2 . 7) (3 . 8) (6 . 10)) 3585 0.5713 5.1772 ((1 . 11) (2 . 12) (3 . 13) (4 . 14)) 3625 0.5713 4.6332 ((1 . 2) (2 . 3) (3 . 5) (4 . 6)) 3626 0.7140 4.5839 ((1 . 2) (2 . 3) (3 . 6) (4 . 8) (6 . 11)) 3628 0.5711 6.2978 ((1 . 6) (3 . 8) (4 . 9) (6 . 10)) 3651 0.5712 5.7816 ((3 . 8) (4 . 9) (6 . 11) (8 . 13)) 3656 0.2478 7.3196 ((3 . 22) (4 . 23) (6 . 24) (7 . 25)) 3658 0.7095 9.1039 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (7 . 9)) 3659 0.3789 8.5024 ((3 . 7) (4 . 8) (6 . 9) (8 . 10)) 3661 0.5710 6.6201 ((1 . 8) (2 . 11) (3 . 12) (7 . 14)) 3663 0.5713 4.9032 ((2 . 1) (6 . 2) (7 . 3) (8 . 5)) 3688 0.5703 8.3378 ((2 . 26) (3 . 27) (4 . 28) (6 . 29)) 3697 0.5708 7.2091 ((2 . 1) (3 . 3) (4 . 4) (7 . 5)) 3703 0.7130 6.4907 ((1 . 6) (2 . 7) (3 . 8) (4 . 9) (7 . 11)) 3732 0.5713 4.9876 ((2 . 9) (3 . 11) (4 . 12) (7 . 13)) 3733 0.5708 7.1197 ((3 . 1) (4 . 3) (7 . 4) (8 . 6)) 3740 0.7116 7.8602 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 6)) 3741 0.7132 6.2929 ((2 . 1) (3 . 2) (4 . 3) (6 . 4) (7 . 5)) 3776 0.5707 7.4078 ((1 . 19) (2 . 20) (3 . 21) (6 . 24)) 3778 0.5713 4.5771 ((1 . 3) (2 . 4) (4 . 6) (6 . 7)) 3787 0.5708 7.2016 ((2 . 17) (3 . 21) (4 . 23) (7 . 24)) 3790 0.7141 4.1079 ((1 . 21) (2 . 22) (3 . 24) (4 . 25) (6 . 26)) 3807 0.5707 7.3831 ((1 . 43) (2 . 46) (3 . 47) (7 . 49)) 3810 0.7128 6.7780 ((1 . 10) (2 . 11) (3 . 14) (4 . 15) (6 . 16)) 3817 0.5700 8.8170 ((2 . 5) (4 . 7) (7 . 8) (8 . 9)) 3831 0.5709 6.8059 ((1 . 2) (2 . 3) (4 . 5) (6 . 6)) 3847 0.5706 7.7202 ((1 . 9) (4 . 13) (6 . 16) (8 . 17)) 3849 0.3790 6.5223 ((3 . 2) (4 . 3) (6 . 5) (7 . 7)) 3856 0.5710 6.4833 ((3 . 3) (4 . 6) (6 . 7) (8 . 9)) 3870 0.5704 8.1049 ((2 . 3) (4 . 5) (7 . 7) (8 . 8)) 3933 0.5707 7.4554 ((1 . 2) (2 . 3) (6 . 8) (8 . 11)) 3938 0.5706 7.6567 ((1 . 2) (4 . 6) (6 . 8) (8 . 9)) 3942 0.1993 6.8655 ((3 . 2) (4 . 3) (7 . 6) (8 . 9)) 3968 0.5700 8.8722 ((2 . 5) (4 . 9) (6 . 11) (7 . 10)) 3986 0.5690 10.1093 ((1 . 25) (2 . 26) (3 . 27) (8 . 30)) 3990 0.5704 8.1959 ((1 . 18) (3 . 20) (6 . 22) (8 . 24)) 4005 0.5712 5.3763 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 4019 0.7133 6.1372 ((1 . 43) (2 . 44) (3 . 45) (6 . 46) (8 . 47)) 4034 0.5713 5.2100 ((3 . 9) (4 . 10) (6 . 11) (8 . 13)) 4037 0.5712 5.5067 ((2 . 1) (3 . 2) (4 . 3) (7 . 5)) 4062 0.5711 5.9618 ((2 . 48) (3 . 49) (4 . 50) (7 . 52)) 4067 0.1993 8.2473 ((1 . 14) (2 . 16) (6 . 20) (8 . 22)) 4082 0.7123 7.2950 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (6 . 10)) 4087 0.8560 5.0764 ((1 . 1) (2 . 3) (3 . 5) (4 . 6) (6 . 7) (8 . 8)) 4112 0.5714 3.6231 ((3 . 1) (4 . 2) (6 . 3) (8 . 6)) 4115 0.5701 8.7293 ((2 . 13) (4 . 15) (7 . 16) (8 . 17)) 4140 0.5712 5.6363 ((1 . 21) (2 . 22) (3 . 23) (7 . 26)) 4151 0.2945 6.5039 ((4 . 3) (6 . 5) (7 . 4) (8 . 7)) 4154 0.5710 6.3701 ((1 . 51) (2 . 52) (3 . 53) (6 . 57)) 4177 0.5705 7.9300 ((3 . 1) (4 . 2) (7 . 4) (8 . 7)) 4192 0.1992 12.2141 ((1 . 8) (2 . 10) (4 . 13) (7 . 14)) 4194 0.5711 6.1270 ((2 . 5) (3 . 6) (4 . 7) (7 . 8)) 4204 0.5702 8.5423 ((2 . 3) (4 . 5) (7 . 6) (8 . 9)) 4209 0.7122 7.3598 ((1 . 1) (2 . 2) (6 . 5) (7 . 6) (8 . 10)) 4210 0.5709 6.7450 ((1 . 5) (2 . 6) (4 . 8) (8 . 10)) 4226 0.5708 7.1050 ((1 . 11) (2 . 12) (6 . 16) (7 . 17)) 4232 0.5702 8.6239 ((1 . 3) (2 . 4) (6 . 6) (8 . 8)) 4236 0.5713 4.3379 ((3 . 5) (4 . 6) (6 . 7) (8 . 10)) 4246 0.5708 7.1659 ((1 . 2) (2 . 3) (3 . 5) (4 . 6)) 4254 0.5709 7.0279 ((3 . 9) (4 . 11) (7 . 12) (8 . 15)) 4255 0.5700 8.8720 ((1 . 21) (3 . 23) (4 . 24) (7 . 25)) 4257 0.2945 9.1128 ((2 . 8) (3 . 9) (4 . 10) (6 . 12)) 4265 0.5707 7.4888 ((3 . 20) (4 . 21) (7 . 22) (8 . 24)) 4266 0.4451 9.2112 ((1 . 6) (3 . 8) (7 . 10) (8 . 12)) 4274 0.1993 5.8338 ((1 . 36) (2 . 38) (4 . 40) (6 . 41)) 4275 0.5710 6.3823 ((2 . 25) (3 . 27) (4 . 28) (7 . 29)) 4281 0.5713 4.5895 ((3 . 3) (4 . 4) (6 . 5) (7 . 6)) 4284 0.5712 5.5366 ((1 . 1) (3 . 3) (4 . 4) (6 . 5)) 4299 0.5713 4.9099 ((1 . 16) (2 . 19) (3 . 20) (4 . 22)) 4301 0.7139 4.9285 ((1 . 2) (2 . 3) (3 . 4) (4 . 6) (8 . 9)) 4326 0.4436 13.0741 ((1 . 11) (2 . 12) (4 . 15) (8 . 19)) 4338 0.5709 6.8573 ((2 . 6) (3 . 7) (4 . 8) (7 . 9)) 4359 0.7141 4.0666 ((1 . 6) (2 . 7) (3 . 8) (4 . 9) (6 . 10)) 4380 0.8555 5.4939 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6) (8 . 17)) 4383 0.8562 4.7777 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (6 . 21) (8 . 22)) 4386 0.2478 7.4732 ((1 . 18) (2 . 19) (4 . 21) (7 . 23)) 4388 0.5712 5.6216 ((1 . 8) (2 . 9) (3 . 10) (6 . 12)) 4398 0.5708 7.1649 ((1 . 4) (3 . 6) (4 . 7) (6 . 8)) 4405 0.1993 6.7889 ((1 . 18) (2 . 19) (4 . 21) (8 . 25)) 4408 0.5713 4.6290 ((1 . 3) (2 . 4) (4 . 6) (6 . 7)) 4415 0.5706 7.6752 ((1 . 3) (2 . 4) (6 . 9) (7 . 10)) 4419 0.5711 6.1494 ((1 . 7) (2 . 8) (3 . 9) (4 . 10)) 4470 0.5710 6.4712 ((2 . 18) (3 . 19) (4 . 20) (7 . 22)) 4491 0.5674 11.5587 ((1 . 1) (3 . 5) (7 . 7) (8 . 8)) 4492 0.7039 11.0943 ((1 . 4) (2 . 5) (3 . 7) (4 . 8) (7 . 10)) 4495 0.5707 7.5838 ((1 . 14) (3 . 16) (6 . 18) (7 . 19)) 4497 0.8552 5.7355 ((1 . 23) (2 . 24) (3 . 25) (4 . 26) (6 . 27) (8 . 28)) 4502 0.5711 6.3075 ((1 . 9) (2 . 10) (3 . 11) (6 . 14)) 4503 0.6381 5.5139 ((1 . 3) (2 . 4) (3 . 5) (4 . 8) (6 . 9) (8 . 10)) 4504 0.5713 5.0567 ((2 . 20) (3 . 21) (4 . 22) (7 . 23)) 4505 0.5712 5.7889 ((1 . 25) (2 . 26) (4 . 28) (8 . 30)) 4538 0.5713 4.5445 ((1 . 32) (2 . 33) (3 . 34) (6 . 37)) 4551 0.5696 9.3731 ((2 . 1) (3 . 2) (6 . 4) (8 . 8)) 4560 0.1992 10.9992 ((1 . 1) (2 . 2) (6 . 6) (7 . 7)) 4561 0.5701 8.6527 ((1 . 1) (3 . 5) (6 . 7) (7 . 8)) 4562 0.5710 6.4097 ((3 . 25) (4 . 27) (6 . 29) (7 . 30)) 4563 0.5710 6.6110 ((1 . 26) (3 . 28) (6 . 31) (7 . 32)) 4577 0.5712 5.7958 ((1 . 28) (2 . 29) (3 . 30) (4 . 32)) 4588 0.5711 5.9479 ((1 . 3) (3 . 7) (4 . 8) (6 . 9)) 4589 0.5714 4.2157 ((1 . 22) (2 . 23) (4 . 25) (7 . 26)) 4621 0.5709 6.7549 ((1 . 4) (4 . 8) (6 . 9) (8 . 11)) 4630 0.5712 5.5766 ((1 . 29) (2 . 30) (6 . 34) (8 . 36)) 4648 0.5712 5.8368 ((3 . 1) (4 . 2) (7 . 3) (8 . 5)) 4653 0.7113 8.0867 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (6 . 9)) 4665 0.5713 4.9176 ((1 . 11) (2 . 12) (3 . 13) (4 . 14)) 4668 0.5712 5.2665 ((3 . 1) (4 . 3) (7 . 6) (8 . 7)) 4669 0.5711 6.2875 ((1 . 12) (2 . 13) (3 . 15) (8 . 19)) 4671 0.5707 7.4738 ((1 . 11) (2 . 12) (4 . 15) (7 . 16)) 4674 0.5701 8.6730 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 4713 0.7141 4.2584 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (6 . 7)) 4731 0.1993 7.9699 ((1 . 18) (6 . 22) (7 . 20) (8 . 24)) 4734 0.5712 5.3331 ((1 . 3) (2 . 4) (4 . 7) (6 . 8)) 4857 0.5707 7.5813 ((1 . 5) (4 . 9) (6 . 11) (7 . 12)) 4886 0.5709 6.8920 ((1 . 29) (2 . 30) (3 . 31) (6 . 32)) 4888 0.3790 7.0127 ((1 . 1) (3 . 4) (7 . 6) (8 . 9)) 4889 0.5712 5.4542 ((1 . 2) (2 . 3) (3 . 4) (8 . 7)) 4907 0.5710 6.6489 ((2 . 3) (3 . 4) (4 . 5) (6 . 8)) 4914 0.5714 4.2679 ((1 . 9) (2 . 10) (3 . 11) (4 . 12)) 4921 0.7142 2.8796 ((1 . 7) (2 . 8) (3 . 9) (6 . 12) (8 . 14)) 4929 0.8556 5.4809 ((1 . 28) (2 . 29) (3 . 31) (4 . 32) (6 . 33) (8 . 34)) 4932 0.5702 8.6209 ((2 . 2) (3 . 4) (4 . 5) (6 . 6)) 4940 0.5713 5.1185 ((4 . 3) (6 . 4) (7 . 5) (8 . 6)) 4944 0.5700 8.9042 ((3 . 13) (4 . 14) (6 . 15) (8 . 16)) 4978 0.5701 8.7640 ((1 . 21) (2 . 22) (3 . 24) (7 . 26)) 4982 0.5707 7.5289 ((3 . 9) (4 . 10) (7 . 11) (8 . 14)) 4992 0.1993 7.1155 ((1 . 1) (2 . 2) (3 . 3) (8 . 6)) 4998 0.5692 9.9131 ((1 . 20) (4 . 23) (7 . 24) (8 . 25)) 5029 0.5712 5.8368 ((3 . 2) (4 . 4) (7 . 7) (8 . 8)) 5036 0.8563 4.6698 ((1 . 4) (2 . 5) (3 . 6) (4 . 7) (6 . 8) (8 . 9)) 5038 0.7140 4.4705 ((2 . 10) (3 . 14) (4 . 15) (6 . 16) (8 . 18)) 5039 0.5699 8.9936 ((2 . 39) (4 . 41) (7 . 43) (8 . 44)) 5046 0.5712 5.6965 ((1 . 1) (2 . 3) (3 . 4) (8 . 7)) 5053 0.5706 7.7959 ((2 . 9) (3 . 10) (4 . 11) (7 . 13)) 5065 0.7135 5.7413 ((1 . 8) (2 . 9) (3 . 10) (4 . 11) (7 . 12)) 5068 0.5705 8.0627 ((1 . 4) (2 . 7) (4 . 10) (7 . 11)) 5069 0.5706 7.6362 ((1 . 5) (2 . 7) (4 . 9) (8 . 15)) 5073 0.5709 6.7639 ((3 . 32) (4 . 34) (7 . 35) (8 . 36)) 5083 0.5710 6.7269 ((1 . 2) (3 . 5) (4 . 6) (6 . 8)) 5101 0.5706 7.6852 ((3 . 3) (4 . 5) (7 . 6) (8 . 7)) 5103 0.1992 8.8986 ((1 . 2) (2 . 4) (6 . 6) (8 . 9)) 5121 0.2945 9.5712 ((1 . 25) (2 . 26) (4 . 28) (6 . 30)) 5134 0.5702 8.4692 ((1 . 2) (2 . 3) (4 . 6) (7 . 8)) 5145 0.4455 5.7026 ((2 . 5) (4 . 8) (6 . 10) (7 . 11)) 5167 0.5706 7.8148 ((1 . 1) (3 . 3) (4 . 4) (7 . 6)) 5176 0.5711 6.0027 ((2 . 84) (3 . 86) (4 . 87) (6 . 88)) 5183 0.7136 5.6299 ((1 . 34) (2 . 35) (3 . 36) (4 . 37) (6 . 38)) 5192 0.2945 7.8138 ((1 . 1) (2 . 3) (6 . 5) (7 . 6)) 5198 0.2475 15.7980 ((2 . 21) (3 . 22) (7 . 23) (8 . 26)) 5199 0.5690 10.1633 ((1 . 7) (3 . 8) (6 . 9) (8 . 10)) 5209 0.5710 6.5040 ((2 . 7) (3 . 8) (4 . 9) (6 . 10)) 5212 0.1664 7.1902 ((2 . 21) (3 . 22) (4 . 24) (7 . 25)) 5215 0.5714 4.2823 ((2 . 9) (3 . 10) (4 . 11) (6 . 12)) 5223 0.1498 7.6054 ((1 . 12) (4 . 15) (6 . 17) (7 . 18)) 5231 0.7130 6.5372 ((2 . 12) (3 . 13) (4 . 14) (6 . 16) (7 . 17)) 5266 0.5706 7.6351 ((1 . 2) (2 . 4) (6 . 8) (8 . 10)) 5278 0.7141 3.8855 ((2 . 6) (3 . 7) (4 . 8) (6 . 9) (8 . 10)) 5307 0.5711 6.2831 ((3 . 51) (4 . 53) (7 . 54) (8 . 55)) 5312 0.8569 3.5415 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 5) (8 . 7)) 5318 0.5711 6.2892 ((3 . 22) (4 . 23) (6 . 24) (7 . 27)) 5324 0.5711 6.0225 ((3 . 22) (6 . 25) (7 . 26) (8 . 28)) 5344 0.5712 5.6471 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 5345 0.7137 5.3169 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (6 . 16)) 5368 0.7141 4.0008 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (6 . 19)) 5378 0.1992 8.6721 ((2 . 7) (3 . 8) (4 . 9) (7 . 10)) 5411 0.5705 7.9827 ((1 . 3) (3 . 6) (4 . 8) (7 . 9)) 5414 0.8568 3.7026 ((1 . 14) (2 . 15) (3 . 16) (4 . 18) (6 . 19) (8 . 20)) 5418 0.5714 4.2640 ((1 . 1) (2 . 2) (3 . 3) (4 . 5)) 5421 0.5707 7.5665 ((2 . 1) (3 . 2) (4 . 3) (6 . 5)) 5433 0.5705 7.9157 ((1 . 8) (2 . 10) (6 . 16) (8 . 18)) 5479 0.8556 5.4817 ((1 . 53) (2 . 54) (3 . 60) (4 . 61) (6 . 62) (8 . 63)) 5487 0.5712 5.5499 ((3 . 4) (4 . 7) (7 . 8) (8 . 9)) 5489 0.7107 8.4782 ((1 . 5) (2 . 6) (4 . 9) (6 . 10) (8 . 13)) 5501 0.5702 8.5605 ((3 . 16) (4 . 17) (6 . 20) (7 . 21)) 5535 0.5713 4.3989 ((1 . 6) (2 . 7) (3 . 8) (8 . 12)) 5540 0.5714 4.1524 ((3 . 6) (4 . 16) (7 . 17) (8 . 18)) 5557 0.5712 5.7967 ((1 . 2) (2 . 3) (3 . 4) (6 . 6)) 5560 0.5706 7.8212 ((2 . 15) (4 . 17) (7 . 19) (8 . 20)) 5562 0.5711 5.9345 ((1 . 11) (2 . 14) (6 . 17) (7 . 18)) 5567 0.5698 9.1773 ((1 . 6) (2 . 8) (7 . 14) (8 . 15)) 5594 0.7054 10.6607 ((1 . 3) (2 . 4) (4 . 6) (7 . 7) (8 . 9)) 5600 0.3789 8.3765 ((2 . 5) (3 . 6) (6 . 9) (7 . 10)) 5601 0.5711 6.2754 ((2 . 5) (3 . 7) (4 . 8) (7 . 9)) 5638 0.5710 6.7072 ((3 . 8) (4 . 9) (7 . 12) (8 . 13)) 5640 0.8520 7.3828 ((1 . 7) (2 . 8) (3 . 9) (4 . 10) (6 . 11) (8 . 12)) 5644 0.5711 6.1565 ((1 . 1) (2 . 3) (3 . 4) (8 . 10)) 5656 0.5707 7.6047 ((2 . 21) (3 . 23) (4 . 24) (7 . 25)) 5700 0.5713 5.1247 ((2 . 6) (3 . 8) (4 . 9) (6 . 11)) 5701 0.5698 9.1159 ((1 . 6) (4 . 8) (7 . 10) (8 . 11)) 5703 0.5712 5.8394 ((1 . 1) (2 . 2) (4 . 5) (8 . 7)) 5711 0.5713 4.4073 ((1 . 32) (2 . 33) (3 . 35) (4 . 36)) 5713 0.7141 4.0511 ((1 . 15) (2 . 16) (3 . 18) (4 . 19) (6 . 20)) 5718 0.7133 6.0824 ((2 . 16) (3 . 17) (4 . 18) (6 . 21) (7 . 22)) 5731 0.5712 5.6829 ((1 . 4) (2 . 5) (3 . 7) (8 . 11)) 5746 0.7112 8.1602 ((1 . 3) (3 . 6) (4 . 7) (6 . 8) (8 . 10)) 5749 0.5711 6.1401 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 5761 0.5700 8.9303 ((1 . 28) (2 . 30) (3 . 31) (7 . 34)) 5770 0.5704 8.2333 ((1 . 1) (4 . 6) (7 . 7) (8 . 9)) 5771 0.5708 7.1891 ((1 . 17) (4 . 20) (6 . 21) (7 . 22)) 5782 0.5713 5.0397 ((1 . 26) (2 . 27) (3 . 29) (4 . 30)) 5794 0.5711 6.0490 ((1 . 15) (2 . 16) (4 . 18) (6 . 19)) 5795 0.5697 9.3265 ((2 . 9) (3 . 10) (6 . 13) (7 . 14)) 5809 0.5706 7.7378 ((1 . 9) (3 . 12) (6 . 14) (8 . 15)) 5822 0.2945 9.4700 ((1 . 2) (2 . 4) (6 . 7) (8 . 8)) 5827 0.7135 5.7590 ((1 . 14) (2 . 15) (3 . 16) (4 . 17) (8 . 19)) 5830 0.5711 6.1631 ((4 . 2) (6 . 3) (7 . 5) (8 . 7)) 5847 0.5713 4.6665 ((2 . 16) (3 . 17) (4 . 18) (6 . 20)) 5861 0.7121 7.5014 ((1 . 20) (2 . 21) (3 . 22) (6 . 25) (8 . 26)) 5865 0.2945 7.5418 ((2 . 4) (3 . 5) (6 . 7) (7 . 8)) 5878 0.3789 8.7316 ((3 . 25) (4 . 26) (6 . 29) (8 . 30)) 5888 0.8500 8.0159 ((1 . 8) (2 . 9) (3 . 10) (4 . 11) (6 . 12) (8 . 15)) 5896 0.5702 8.5386 ((1 . 26) (3 . 28) (4 . 29) (7 . 30)) 5913 0.5706 7.6475 ((1 . 6) (2 . 7) (3 . 9) (4 . 10)) 5914 0.1249 10.4913 ((3 . 2) (4 . 3) (6 . 5) (7 . 7)) 5922 0.7119 7.6478 ((2 . 8) (3 . 9) (4 . 10) (6 . 11) (8 . 13)) 5939 0.5701 8.7366 ((3 . 9) (4 . 10) (7 . 12) (8 . 14)) 5945 0.5710 6.6885 ((1 . 26) (2 . 28) (6 . 32) (8 . 33)) 5949 0.3790 6.7029 ((1 . 9) (3 . 12) (6 . 14) (7 . 15)) 5955 0.5708 7.1693 ((2 . 14) (3 . 16) (4 . 17) (7 . 18)) 6011 0.7109 8.3381 ((1 . 4) (3 . 8) (4 . 9) (6 . 10) (8 . 11)) 6022 0.5712 5.4815 ((2 . 2) (3 . 4) (4 . 5) (8 . 8)) 6029 0.5703 8.2673 ((2 . 17) (3 . 18) (4 . 19) (7 . 20)) 6041 0.7136 5.5769 ((1 . 8) (3 . 10) (4 . 11) (7 . 14) (8 . 15)) 6046 0.7089 9.3912 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (7 . 7)) 6061 0.5708 7.2949 ((1 . 15) (3 . 17) (6 . 20) (8 . 21)) 6074 0.5708 7.1966 ((3 . 2) (4 . 4) (7 . 5) (8 . 6)) 6075 0.5712 5.5834 ((1 . 24) (2 . 27) (6 . 28) (7 . 29)) 6079 0.5714 3.9265 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 6094 0.5712 5.3711 ((1 . 4) (2 . 5) (3 . 7) (8 . 12)) 6099 0.7132 6.2653 ((1 . 7) (2 . 9) (3 . 10) (4 . 11) (8 . 14)) 6123 0.7108 8.3827 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (7 . 7)) 6142 0.7139 4.8154 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (6 . 6)) 6148 0.5708 7.1091 ((4 . 32) (6 . 33) (7 . 35) (8 . 36)) 6167 0.5704 8.0679 ((1 . 7) (2 . 9) (4 . 12) (6 . 14)) 6173 0.7118 7.6932 ((1 . 11) (2 . 12) (3 . 13) (4 . 15) (7 . 16)) 6191 0.5706 7.7148 ((1 . 9) (2 . 10) (3 . 12) (4 . 13)) 6215 0.5712 5.6799 ((1 . 18) (2 . 19) (3 . 20) (7 . 23)) 6225 0.5710 6.6290 ((2 . 3) (3 . 4) (4 . 5) (7 . 9)) 6228 0.5707 7.4071 ((1 . 9) (3 . 11) (4 . 12) (8 . 15)) 6234 0.7340 4.1250 ((1 . 6) (2 . 7) (3 . 9) (4 . 10) (6 . 13) (7 . 14) (8 . 15)) 6238 0.5710 6.7135 ((1 . 3) (2 . 4) (3 . 5) (8 . 9)) 6243 0.5710 6.6760 ((1 . 2) (2 . 3) (4 . 6) (7 . 7)) 6251 0.2945 7.5639 ((1 . 15) (3 . 17) (6 . 19) (7 . 20)) 6258 0.5693 9.7547 ((1 . 3) (2 . 4) (4 . 7) (8 . 10)) 6261 0.5711 6.1771 ((3 . 1) (4 . 3) (7 . 7) (8 . 9)) 6266 0.5694 9.6342 ((2 . 3) (4 . 5) (7 . 7) (8 . 8)) 6270 0.5711 6.3044 ((3 . 17) (4 . 18) (7 . 19) (8 . 20)) 6271 0.5705 7.9942 ((1 . 4) (4 . 8) (7 . 9) (8 . 10)) 6294 0.3790 7.4627 ((1 . 2) (3 . 6) (6 . 9) (7 . 10)) 6306 0.5692 9.9490 ((2 . 19) (3 . 21) (6 . 22) (7 . 23)) 6309 0.2478 6.4533 ((4 . 17) (6 . 18) (7 . 19) (8 . 20)) 6311 0.1993 6.8976 ((1 . 4) (2 . 5) (4 . 9) (8 . 11)) 6326 0.5713 5.1041 ((1 . 9) (2 . 10) (3 . 11) (4 . 12)) 6338 0.7141 4.1766 ((2 . 1) (3 . 2) (4 . 4) (6 . 5) (8 . 7)) 6344 0.7136 5.5843 ((1 . 12) (2 . 13) (3 . 15) (4 . 17) (6 . 18)) 6345 0.5702 8.5463 ((2 . 4) (3 . 5) (6 . 6) (8 . 7)) 6355 0.5711 6.1797 ((1 . 4) (2 . 6) (3 . 7) (8 . 11)) 6356 0.5710 6.7129 ((1 . 9) (3 . 11) (6 . 13) (7 . 14)) 6369 0.5711 6.1261 ((3 . 5) (4 . 6) (6 . 7) (7 . 8)) 6376 0.5698 9.1946 ((2 . 17) (4 . 19) (7 . 20) (8 . 24)) 6391 0.2478 7.1505 ((2 . 6) (3 . 8) (7 . 11) (8 . 12)) 6399 0.7140 4.4134 ((1 . 29) (2 . 30) (3 . 31) (4 . 32) (6 . 33)) 6403 0.7132 6.3168 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 5)) 6434 0.5714 3.8555 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 6462 0.5700 8.8606 ((1 . 18) (4 . 20) (6 . 22) (8 . 24)) 6498 0.5712 5.8091 ((1 . 16) (2 . 19) (6 . 21) (7 . 22)) 6520 0.5713 5.0475 ((1 . 3) (2 . 6) (3 . 8) (4 . 9)) 6539 0.5709 6.9758 ((1 . 2) (3 . 4) (7 . 7) (8 . 10)) 6540 0.8560 5.0481 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (6 . 20) (8 . 21)) 6548 0.5714 4.0327 ((3 . 7) (4 . 12) (6 . 13) (7 . 14)) 6553 0.5712 5.6862 ((2 . 23) (3 . 24) (4 . 25) (7 . 27)) 6555 0.7121 7.4786 ((1 . 20) (2 . 22) (4 . 24) (6 . 25) (8 . 27)) 6561 0.5697 9.2944 ((2 . 7) (3 . 9) (4 . 10) (7 . 11)) 6573 0.5702 8.5886 ((1 . 17) (3 . 19) (6 . 21) (8 . 23)) 6575 0.5714 4.2295 ((2 . 1) (6 . 2) (7 . 3) (8 . 5)) 6578 0.5710 6.4655 ((1 . 32) (3 . 34) (4 . 37) (6 . 38)) 6584 0.5712 5.6084 ((1 . 6) (3 . 8) (4 . 9) (7 . 10)) 6585 0.5710 6.4516 ((3 . 6) (4 . 8) (7 . 9) (8 . 10)) 6587 0.3788 9.3444 ((1 . 29) (3 . 31) (6 . 33) (7 . 35)) 6598 0.7117 7.7631 ((1 . 24) (2 . 25) (3 . 26) (4 . 27) (8 . 29)) 6613 0.5712 5.4506 ((2 . 27) (3 . 28) (6 . 31) (8 . 32)) 6635 0.5710 6.5124 ((2 . 1) (3 . 4) (4 . 5) (7 . 6)) END