1867 25 0.5693 9.8082 ((4 . 4) (6 . 7) (7 . 6) (8 . 9)) 41 0.7124 7.2093 ((1 . 3) (2 . 4) (3 . 5) (6 . 7) (8 . 8)) 51 0.5710 6.6122 ((1 . 7) (3 . 10) (6 . 11) (7 . 13)) 62 0.5698 9.2061 ((1 . 10) (2 . 9) (7 . 16) (8 . 15)) 64 0.5713 4.8945 ((3 . 13) (6 . 14) (7 . 15) (8 . 16)) 77 0.5699 8.9458 ((1 . 7) (3 . 9) (4 . 10) (7 . 13)) 91 0.5706 7.6511 ((2 . 36) (3 . 37) (6 . 40) (7 . 42)) 96 0.8571 1.6319 ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (7 . 6) (8 . 7)) 129 0.5710 6.5529 ((1 . 2) (3 . 5) (6 . 8) (7 . 9)) 136 0.8568 3.6639 ((1 . 3) (2 . 4) (3 . 5) (6 . 7) (7 . 8) (8 . 9)) 150 0.5707 7.4630 ((1 . 20) (2 . 21) (3 . 23) (7 . 25)) 153 0.5710 6.3643 ((1 . 1) (3 . 4) (6 . 5) (7 . 12)) 157 0.8550 5.9019 ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (7 . 8) (8 . 22)) 161 0.5711 6.1617 ((1 . 6) (2 . 7) (3 . 9) (6 . 10)) 162 0.5712 5.2833 ((1 . 12) (6 . 17) (7 . 18) (8 . 19)) 169 0.5704 8.2390 ((1 . 3) (3 . 4) (6 . 7) (7 . 8)) 177 0.5711 6.1975 ((1 . 4) (3 . 7) (6 . 5) (7 . 8)) 191 0.1993 5.3220 ((1 . 6) (3 . 7) (6 . 8) (7 . 9)) 198 0.5706 7.8039 ((1 . 9) (3 . 12) (6 . 15) (7 . 16)) 207 0.5688 10.3516 ((1 . 13) (2 . 14) (3 . 15) (8 . 19)) 233 0.5706 7.8158 ((1 . 1) (3 . 2) (6 . 3) (7 . 5)) 300 0.5712 5.6226 ((2 . 5) (3 . 7) (6 . 9) (7 . 10)) 305 0.5713 4.6485 ((1 . 9) (2 . 10) (3 . 11) (6 . 15)) 307 0.7142 3.3206 ((1 . 1) (2 . 2) (3 . 3) (6 . 7) (7 . 9)) 315 0.5710 6.4757 ((1 . 6) (2 . 7) (3 . 8) (6 . 10)) 329 0.5695 9.5878 ((2 . 1) (4 . 3) (6 . 4) (7 . 5)) 350 0.5709 6.8651 ((1 . 1) (3 . 2) (4 . 3) (6 . 4)) 360 0.5710 6.5984 ((1 . 5) (3 . 7) (6 . 8) (7 . 9)) 361 0.7921 5.7123 ((1 . 2) (2 . 3) (3 . 4) (4 . 9) (6 . 10) (7 . 11) (8 . 13)) 365 0.5714 3.7099 ((1 . 3) (3 . 6) (4 . 7) (6 . 8)) 367 0.5706 7.6718 ((1 . 38) (3 . 42) (6 . 43) (7 . 44)) 372 0.5711 6.2691 ((1 . 1) (3 . 2) (6 . 5) (7 . 6)) 405 0.5702 8.4634 ((1 . 32) (3 . 35) (6 . 39) (7 . 40)) 417 0.5703 8.4313 ((1 . 3) (4 . 6) (6 . 7) (7 . 9)) 420 0.5710 6.4764 ((1 . 2) (3 . 3) (6 . 8) (7 . 9)) 433 0.1993 6.7351 ((1 . 1) (4 . 4) (6 . 5) (7 . 6)) 442 0.5698 9.1337 ((2 . 17) (4 . 18) (6 . 20) (7 . 21)) 491 0.5706 7.6985 ((1 . 6) (2 . 5) (6 . 8) (7 . 9)) 495 0.7141 3.7452 ((1 . 5) (2 . 6) (3 . 7) (6 . 8) (7 . 9)) 541 0.5696 9.4886 ((1 . 2) (2 . 4) (3 . 5) (7 . 7)) 543 0.5708 7.3366 ((2 . 7) (3 . 8) (6 . 10) (8 . 14)) 561 0.5713 5.0189 ((1 . 1) (2 . 2) (3 . 3) (6 . 4)) 584 0.7128 6.7390 ((1 . 5) (2 . 9) (3 . 10) (6 . 13) (8 . 27)) 587 0.5713 4.4493 ((1 . 2) (3 . 4) (6 . 6) (7 . 7)) 609 0.5709 6.7612 ((1 . 1) (2 . 2) (3 . 3) (8 . 7)) 619 0.5698 9.1912 ((1 . 1) (3 . 2) (4 . 3) (7 . 4)) 624 0.5714 3.0360 ((1 . 7) (2 . 8) (3 . 9) (7 . 11)) 635 0.5713 4.5382 ((2 . 2) (3 . 3) (7 . 5) (8 . 7)) 672 0.5711 6.1323 ((2 . 19) (3 . 21) (6 . 23) (7 . 24)) 678 0.5709 6.9892 ((1 . 22) (2 . 23) (3 . 24) (8 . 33)) 683 0.5703 8.3104 ((1 . 3) (2 . 4) (3 . 5) (6 . 6)) 729 0.5714 2.9839 ((1 . 7) (2 . 8) (3 . 9) (7 . 13)) 735 0.5712 5.6589 ((1 . 31) (3 . 33) (6 . 36) (7 . 37)) 740 0.5706 7.8092 ((2 . 1) (3 . 2) (6 . 4) (7 . 5)) 765 0.5692 9.9439 ((1 . 11) (3 . 17) (6 . 19) (7 . 20)) 767 0.5713 4.6789 ((1 . 3) (3 . 8) (6 . 11) (7 . 12)) 795 0.5713 4.5007 ((1 . 3) (2 . 4) (3 . 5) (6 . 6)) 796 0.5713 4.3015 ((1 . 3) (2 . 4) (3 . 5) (6 . 6)) 801 0.0999 6.9981 ((1 . 2) (3 . 5) (6 . 6) (7 . 7)) 812 0.5707 7.5897 ((1 . 11) (2 . 12) (7 . 16) (8 . 17)) 818 0.5713 4.9383 ((1 . 4) (2 . 5) (3 . 7) (7 . 10)) 819 0.3790 7.3149 ((4 . 1) (6 . 2) (7 . 3) (8 . 4)) 861 0.4452 8.1383 ((2 . 11) (3 . 12) (4 . 14) (7 . 15)) 901 0.5713 4.3966 ((1 . 12) (2 . 14) (3 . 15) (7 . 17)) 904 0.5675 11.4765 ((2 . 1) (3 . 3) (4 . 4) (7 . 6)) 913 0.3785 11.6257 ((1 . 16) (4 . 18) (7 . 20) (8 . 21)) 928 0.8568 3.7883 ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (7 . 7) (8 . 19)) 937 0.5712 5.5235 ((1 . 1) (2 . 3) (3 . 4) (6 . 5)) 943 0.5713 4.7586 ((1 . 12) (2 . 13) (3 . 14) (6 . 15)) 945 0.5710 6.5571 ((1 . 14) (2 . 16) (3 . 17) (4 . 18)) 949 0.5709 7.0201 ((1 . 27) (3 . 30) (6 . 32) (8 . 33)) 960 0.5695 9.5997 ((1 . 9) (2 . 11) (3 . 12) (8 . 16)) 978 0.5677 11.2951 ((2 . 5) (3 . 6) (7 . 10) (8 . 11)) 980 0.7140 4.4474 ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (7 . 7)) 1007 0.5713 4.4501 ((2 . 6) (3 . 7) (6 . 8) (7 . 9)) 1008 0.1993 7.1388 ((2 . 2) (3 . 3) (6 . 5) (7 . 8)) 1034 0.2946 4.6447 ((1 . 29) (2 . 31) (3 . 32) (4 . 36)) 1043 0.5712 5.2916 ((1 . 10) (3 . 12) (6 . 14) (8 . 16)) 1082 0.5685 10.6681 ((1 . 16) (2 . 17) (3 . 19) (8 . 21)) 1084 0.5704 8.2352 ((1 . 17) (3 . 18) (6 . 20) (8 . 21)) 1165 0.8566 4.0924 ((1 . 4) (2 . 6) (3 . 7) (6 . 10) (7 . 12) (8 . 23)) 1167 0.5712 5.7602 ((1 . 22) (2 . 24) (7 . 27) (8 . 28)) 1169 0.5713 5.2518 ((1 . 30) (3 . 32) (6 . 35) (7 . 37)) 1195 0.5706 7.7890 ((2 . 1) (4 . 3) (6 . 4) (7 . 5)) 1201 0.5714 4.1472 ((1 . 7) (2 . 8) (3 . 9) (6 . 11)) 1204 0.7109 8.3502 ((1 . 1) (2 . 2) (3 . 3) (7 . 5) (8 . 6)) 1211 0.5712 5.4989 ((2 . 7) (3 . 8) (6 . 9) (7 . 10)) 1217 0.5712 5.8088 ((4 . 2) (6 . 5) (7 . 7) (8 . 8)) 1224 0.5711 6.0974 ((1 . 5) (3 . 6) (6 . 7) (7 . 9)) 1233 0.7104 8.6282 ((1 . 11) (2 . 13) (3 . 14) (6 . 17) (8 . 19)) 1267 0.7092 9.2392 ((1 . 15) (2 . 16) (3 . 17) (7 . 19) (8 . 20)) 1268 0.1663 15.0227 ((2 . 19) (4 . 20) (7 . 22) (8 . 26)) 1294 0.5707 7.3787 ((1 . 41) (3 . 44) (6 . 46) (7 . 47)) 1345 0.5692 9.8853 ((2 . 6) (6 . 9) (7 . 13) (8 . 19)) 1366 0.5714 3.7091 ((2 . 13) (3 . 14) (6 . 15) (7 . 16)) 1388 0.5709 6.7570 ((1 . 1) (2 . 3) (3 . 4) (6 . 5)) 1410 0.5706 7.7976 ((1 . 20) (3 . 22) (6 . 23) (7 . 25)) 1425 0.5712 5.3897 ((1 . 4) (2 . 7) (3 . 8) (6 . 10)) 1435 0.5713 5.1762 ((1 . 1) (3 . 2) (6 . 3) (7 . 5)) 1447 0.5708 7.1782 ((1 . 7) (2 . 8) (3 . 9) (4 . 10)) 1451 0.5714 3.6214 ((2 . 7) (3 . 8) (6 . 9) (7 . 10)) 1464 0.5703 8.3893 ((1 . 8) (2 . 9) (3 . 10) (4 . 12)) 1472 0.3787 10.1486 ((2 . 3) (4 . 5) (6 . 7) (7 . 8)) 1476 0.7105 8.5891 ((1 . 9) (2 . 10) (3 . 11) (7 . 15) (8 . 17)) 1513 0.5713 4.5436 ((1 . 13) (6 . 15) (7 . 18) (8 . 19)) 1514 0.5713 5.2226 ((1 . 1) (2 . 2) (3 . 3) (6 . 4)) 1577 0.5714 3.8209 ((2 . 2) (3 . 3) (6 . 4) (7 . 5)) 1591 0.7122 7.3640 ((1 . 1) (2 . 3) (3 . 4) (6 . 6) (7 . 8)) 1604 0.5714 3.0436 ((1 . 7) (2 . 9) (3 . 10) (7 . 12)) 1622 0.5684 10.7077 ((1 . 20) (3 . 22) (6 . 24) (7 . 25)) 1624 0.5709 6.7925 ((1 . 3) (3 . 5) (6 . 8) (8 . 10)) 1643 0.5714 3.9270 ((1 . 33) (3 . 36) (6 . 37) (7 . 38)) 1644 0.5712 5.5812 ((1 . 46) (3 . 50) (6 . 51) (7 . 52)) 1665 0.1993 7.8196 ((1 . 8) (2 . 9) (3 . 10) (4 . 11)) 1690 0.7121 7.4541 ((1 . 1) (2 . 7) (6 . 8) (7 . 11) (8 . 12)) 1692 0.1993 6.8178 ((2 . 2) (4 . 4) (6 . 6) (7 . 7)) 1731 0.7139 4.7745 ((1 . 3) (2 . 5) (3 . 6) (6 . 8) (7 . 12)) 1736 0.5711 6.2589 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 1738 0.5709 6.9390 ((1 . 9) (3 . 11) (6 . 14) (7 . 13)) 1747 0.5713 4.7753 ((1 . 6) (3 . 8) (6 . 10) (7 . 11)) 1756 0.5712 5.7727 ((1 . 23) (3 . 27) (6 . 30) (7 . 31)) 1759 0.5709 6.8435 ((1 . 1) (3 . 2) (6 . 4) (7 . 5)) 1761 0.7137 5.3043 ((1 . 9) (2 . 10) (3 . 11) (6 . 13) (7 . 16)) 1763 0.2945 7.8622 ((1 . 3) (2 . 4) (7 . 9) (8 . 8)) 1776 0.7113 8.0500 ((1 . 7) (2 . 8) (3 . 9) (7 . 12) (8 . 13)) 1777 0.5712 5.8703 ((1 . 34) (3 . 37) (6 . 42) (7 . 43)) 1778 0.5688 10.3670 ((1 . 4) (4 . 6) (6 . 8) (8 . 10)) 1793 0.8567 4.0293 ((1 . 3) (2 . 5) (3 . 6) (6 . 8) (7 . 10) (8 . 15)) 1805 0.5713 4.6543 ((1 . 2) (3 . 4) (6 . 7) (7 . 8)) 1808 0.5701 8.7375 ((2 . 1) (3 . 2) (7 . 5) (8 . 7)) 1817 0.5706 7.7748 ((1 . 13) (6 . 18) (7 . 19) (8 . 21)) 1867 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8)) 1894 0.5682 10.8579 ((2 . 9) (3 . 11) (6 . 12) (8 . 15)) 1896 0.2942 14.1206 ((2 . 13) (4 . 15) (6 . 17) (8 . 18)) 1897 0.5620 14.3327 ((1 . 43) (2 . 44) (3 . 46) (4 . 48)) 1908 0.1332 10.4736 ((2 . 6) (4 . 8) (7 . 10) (8 . 9)) 1909 0.5711 6.0334 ((1 . 34) (2 . 36) (3 . 37) (7 . 39)) 1913 0.5707 7.5154 ((1 . 12) (3 . 15) (6 . 19) (7 . 20)) 1944 0.5713 4.5910 ((1 . 5) (2 . 6) (3 . 7) (7 . 9)) 1957 0.8568 3.8081 ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (7 . 7) (8 . 20)) 1961 0.2945 9.0544 ((1 . 14) (3 . 16) (4 . 18) (7 . 19)) 1967 0.5709 6.8431 ((1 . 10) (2 . 11) (3 . 13) (4 . 15)) 1972 0.7102 8.7536 ((1 . 18) (2 . 19) (3 . 20) (7 . 24) (8 . 25)) 1992 0.5694 9.6756 ((1 . 3) (2 . 5) (7 . 9) (8 . 10)) 1995 0.5714 4.2847 ((1 . 9) (3 . 11) (6 . 12) (7 . 13)) 2003 0.5708 7.2080 ((2 . 6) (3 . 7) (6 . 9) (7 . 10)) 2006 0.5713 4.7882 ((1 . 11) (3 . 12) (6 . 15) (7 . 16)) 2048 0.5706 7.6864 ((1 . 4) (2 . 5) (3 . 6) (8 . 12)) 2063 0.5713 5.1261 ((1 . 44) (2 . 46) (3 . 47) (6 . 50)) 2065 0.5703 8.2948 ((1 . 17) (3 . 19) (4 . 20) (7 . 25)) 2067 0.5691 9.9756 ((1 . 54) (2 . 56) (6 . 60) (8 . 61)) 2072 0.5713 5.0401 ((3 . 4) (6 . 6) (7 . 7) (8 . 8)) 2081 0.5708 7.2974 ((4 . 7) (6 . 9) (7 . 10) (8 . 11)) 2083 0.5705 8.0453 ((1 . 4) (2 . 6) (3 . 7) (8 . 11)) 2097 0.5706 7.7379 ((1 . 1) (2 . 2) (6 . 4) (7 . 5)) 2114 0.5709 6.7604 ((2 . 30) (3 . 32) (6 . 34) (8 . 37)) 2116 0.5705 8.0341 ((1 . 1) (3 . 4) (6 . 5) (7 . 6)) 2117 0.5714 3.3627 ((1 . 1) (3 . 4) (6 . 5) (7 . 6)) 2118 0.5691 9.9947 ((2 . 9) (4 . 10) (6 . 11) (7 . 12)) 2122 0.5712 5.3169 ((2 . 5) (3 . 6) (7 . 10) (8 . 11)) 2166 0.5708 7.1202 ((4 . 10) (6 . 12) (7 . 13) (8 . 14)) 2179 0.5712 5.7376 ((1 . 4) (6 . 9) (7 . 10) (8 . 12)) 2196 0.5713 4.3909 ((1 . 13) (3 . 15) (6 . 18) (7 . 19)) 2203 0.5705 7.9966 ((1 . 1) (3 . 5) (7 . 7) (8 . 8)) 2205 0.5712 5.8023 ((1 . 17) (3 . 19) (6 . 22) (7 . 23)) 2209 0.7137 5.4511 ((1 . 3) (2 . 4) (3 . 5) (6 . 7) (7 . 9)) 2220 0.5713 4.6495 ((1 . 2) (2 . 1) (3 . 3) (6 . 7)) 2243 0.5713 5.1868 ((3 . 62) (6 . 65) (7 . 67) (8 . 68)) 2244 0.5712 5.6234 ((1 . 69) (3 . 71) (6 . 74) (7 . 75)) 2248 0.1498 6.7202 ((1 . 22) (2 . 23) (4 . 26) (7 . 27)) 2249 0.7061 10.4307 ((1 . 7) (2 . 9) (4 . 10) (7 . 12) (8 . 14)) 2269 0.5693 9.8496 ((1 . 6) (3 . 8) (7 . 10) (8 . 11)) 2279 0.5687 10.4654 ((2 . 6) (6 . 10) (7 . 11) (8 . 12)) 2298 0.5714 3.0458 ((1 . 6) (2 . 7) (3 . 8) (7 . 12)) 2308 0.5688 10.3346 ((1 . 4) (3 . 6) (7 . 8) (8 . 10)) 2314 0.5710 6.5252 ((3 . 4) (6 . 7) (7 . 8) (8 . 9)) 2340 0.8570 2.9735 ((1 . 9) (2 . 10) (3 . 11) (6 . 13) (7 . 14) (8 . 15)) 2344 0.5713 5.0669 ((3 . 7) (6 . 13) (7 . 20) (8 . 21)) 2364 0.7122 7.4121 ((1 . 7) (2 . 8) (3 . 9) (7 . 15) (8 . 16)) 2408 0.5704 8.1581 ((1 . 41) (3 . 45) (6 . 46) (7 . 47)) 2410 0.5712 5.3701 ((1 . 13) (2 . 14) (3 . 16) (6 . 17)) 2422 0.5711 6.1960 ((1 . 1) (3 . 4) (6 . 7) (8 . 10)) 2423 0.5711 6.1725 ((1 . 20) (4 . 23) (6 . 25) (7 . 26)) 2440 0.8565 4.3323 ((1 . 4) (2 . 5) (3 . 6) (6 . 7) (7 . 9) (8 . 10)) 2447 0.8546 6.1641 ((1 . 30) (2 . 32) (3 . 33) (6 . 36) (7 . 40) (8 . 41)) 2462 0.5707 7.5260 ((1 . 1) (2 . 2) (3 . 3) (6 . 4)) 2510 0.8569 3.4888 ((1 . 17) (2 . 18) (3 . 19) (6 . 23) (7 . 25) (8 . 28)) 2525 0.5713 4.7314 ((1 . 41) (2 . 42) (3 . 43) (4 . 44)) 2529 0.8571 2.6718 ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (7 . 6) (8 . 7)) 2533 0.7114 8.0107 ((1 . 4) (2 . 5) (3 . 6) (7 . 9) (8 . 11)) 2544 0.5710 6.6517 ((2 . 19) (4 . 21) (6 . 23) (7 . 22)) 2551 0.5658 12.5307 ((2 . 6) (4 . 7) (7 . 11) (8 . 10)) 2552 0.5711 6.1198 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 2556 0.5714 4.2383 ((1 . 13) (2 . 14) (3 . 16) (7 . 20)) 2557 0.5711 6.0970 ((1 . 3) (2 . 5) (3 . 6) (6 . 7)) 2561 0.5710 6.5217 ((2 . 5) (3 . 6) (6 . 7) (7 . 8)) 2595 0.8568 3.7773 ((1 . 1) (2 . 2) (3 . 4) (6 . 6) (7 . 9) (8 . 15)) 2619 0.0999 10.5221 ((1 . 1) (3 . 3) (4 . 4) (8 . 6)) 2627 0.1992 8.9220 ((2 . 61) (4 . 62) (6 . 64) (7 . 65)) 2650 0.2945 8.8905 ((1 . 1) (3 . 2) (7 . 5) (8 . 4)) 2658 0.5941 5.8790 ((1 . 1) (2 . 6) (3 . 3) (4 . 9) (7 . 12)) 2675 0.5713 4.7507 ((2 . 2) (3 . 3) (6 . 4) (7 . 5)) 2682 0.5696 9.3799 ((1 . 1) (2 . 2) (3 . 3) (8 . 6)) 2696 0.5710 6.4082 ((1 . 31) (3 . 34) (6 . 35) (7 . 36)) 2731 0.5712 5.6423 ((1 . 1) (2 . 2) (3 . 4) (6 . 5)) 2733 0.5709 6.8393 ((1 . 1) (3 . 2) (4 . 5) (8 . 7)) 2755 0.7136 5.5153 ((1 . 3) (2 . 4) (3 . 5) (6 . 6) (7 . 8)) 2773 0.5709 6.8431 ((1 . 3) (2 . 4) (3 . 5) (6 . 6)) 2783 0.5714 4.1236 ((2 . 4) (6 . 7) (7 . 8) (8 . 9)) 2804 0.5694 9.6767 ((1 . 29) (3 . 31) (6 . 34) (7 . 36)) 2821 0.5711 6.2708 ((3 . 1) (6 . 2) (7 . 3) (8 . 6)) 2830 0.8564 4.5711 ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (7 . 7) (8 . 21)) 2834 0.5709 6.8349 ((3 . 1) (6 . 5) (7 . 6) (8 . 7)) 2840 0.5692 9.9173 ((2 . 2) (4 . 3) (6 . 5) (7 . 6)) 2842 0.5707 7.5677 ((1 . 1) (2 . 3) (6 . 4) (7 . 5)) 2879 0.5711 5.9597 ((1 . 53) (2 . 55) (3 . 56) (6 . 59)) 2886 0.5702 8.5025 ((1 . 30) (3 . 34) (6 . 35) (7 . 37)) 2929 0.5695 9.6205 ((1 . 39) (2 . 38) (3 . 40) (4 . 41)) 2940 0.5713 4.8334 ((2 . 2) (3 . 4) (6 . 5) (7 . 6)) 2947 0.5713 4.5364 ((1 . 4) (2 . 5) (3 . 6) (6 . 7)) 2966 0.5714 4.1842 ((3 . 1) (4 . 2) (6 . 3) (7 . 4)) 2990 0.7102 8.7512 ((1 . 12) (2 . 13) (6 . 15) (7 . 16) (8 . 17)) 2999 0.5713 4.7404 ((1 . 4) (2 . 5) (3 . 6) (6 . 7)) 3019 0.5672 11.6402 ((1 . 19) (4 . 21) (6 . 22) (8 . 24)) 3034 0.8558 5.2552 ((1 . 1) (2 . 4) (3 . 5) (6 . 7) (7 . 9) (8 . 15)) 3041 0.5714 3.4384 ((1 . 12) (2 . 13) (3 . 14) (7 . 16)) 3055 0.5709 6.8782 ((1 . 11) (3 . 13) (6 . 15) (7 . 16)) 3063 0.1993 7.7072 ((1 . 35) (3 . 37) (6 . 38) (7 . 39)) 3070 0.5713 4.6123 ((1 . 33) (2 . 34) (3 . 35) (6 . 36)) 3084 0.8568 3.6135 ((1 . 3) (2 . 4) (3 . 5) (6 . 7) (7 . 9) (8 . 22)) 3102 0.5713 5.0081 ((1 . 71) (3 . 72) (6 . 77) (7 . 80)) 3103 0.5712 5.7488 ((3 . 2) (6 . 3) (7 . 5) (8 . 6)) 3114 0.5708 7.2933 ((1 . 22) (3 . 24) (6 . 25) (8 . 28)) 3120 0.3786 10.7766 ((1 . 21) (4 . 23) (7 . 25) (8 . 24)) 3127 0.8569 3.2867 ((1 . 2) (2 . 5) (3 . 8) (6 . 11) (7 . 13) (8 . 16)) 3147 0.5713 4.4720 ((1 . 16) (3 . 17) (6 . 20) (7 . 21)) 3176 0.1993 4.6002 ((1 . 26) (6 . 27) (7 . 29) (8 . 30)) 3187 0.5712 5.3190 ((1 . 3) (3 . 5) (6 . 6) (7 . 7)) 3190 0.7142 3.6201 ((1 . 1) (2 . 2) (3 . 3) (6 . 6) (7 . 9)) 3197 0.8569 3.5408 ((1 . 19) (2 . 20) (3 . 21) (6 . 26) (7 . 28) (8 . 29)) 3200 0.5706 7.6811 ((1 . 6) (4 . 8) (6 . 9) (7 . 11)) 3212 0.5705 7.9277 ((1 . 5) (2 . 6) (6 . 9) (8 . 11)) 3222 0.5712 5.6879 ((1 . 1) (2 . 2) (3 . 3) (6 . 4)) 3256 0.5696 9.4204 ((2 . 15) (3 . 16) (6 . 19) (7 . 20)) 3261 0.5710 6.4262 ((2 . 5) (3 . 6) (6 . 7) (7 . 8)) 3286 0.5696 9.4967 ((1 . 7) (3 . 9) (4 . 11) (8 . 15)) 3297 0.5706 7.8330 ((1 . 8) (3 . 9) (6 . 11) (7 . 12)) 3300 0.5701 8.6343 ((1 . 2) (2 . 3) (3 . 5) (4 . 9)) 3322 0.7126 7.0242 ((1 . 1) (2 . 2) (3 . 3) (7 . 7) (8 . 8)) 3334 0.1992 10.6911 ((2 . 2) (6 . 6) (7 . 5) (8 . 9)) 3339 0.5714 3.9528 ((1 . 11) (2 . 14) (3 . 15) (7 . 17)) 3344 0.5703 8.3208 ((1 . 22) (3 . 24) (6 . 26) (7 . 27)) 3358 0.5713 4.6597 ((1 . 4) (2 . 5) (3 . 8) (7 . 10)) 3362 0.8570 2.8873 ((1 . 4) (2 . 5) (3 . 6) (6 . 10) (7 . 11) (8 . 12)) 3366 0.2477 9.1402 ((1 . 22) (3 . 24) (4 . 25) (7 . 27)) 3391 0.7106 8.5266 ((1 . 4) (2 . 5) (3 . 6) (7 . 10) (8 . 12)) 3410 0.7088 9.4206 ((1 . 21) (2 . 23) (3 . 24) (7 . 28) (8 . 29)) 3418 0.1993 7.5289 ((2 . 1) (4 . 3) (6 . 5) (7 . 6)) 3472 0.1993 6.3915 ((1 . 1) (3 . 3) (6 . 4) (7 . 5)) 3481 0.7125 7.1042 ((1 . 2) (2 . 3) (3 . 4) (6 . 7) (7 . 8)) 3495 0.5711 6.1946 ((2 . 6) (3 . 7) (6 . 8) (8 . 9)) 3496 0.2944 11.5873 ((1 . 22) (3 . 23) (4 . 25) (8 . 26)) 3533 0.5705 7.9462 ((3 . 3) (6 . 5) (7 . 7) (8 . 6)) 3537 0.5706 7.6191 ((1 . 2) (4 . 3) (7 . 7) (8 . 8)) 3538 0.5709 6.9296 ((3 . 24) (6 . 25) (7 . 26) (8 . 27)) 3548 0.5713 4.9995 ((3 . 6) (4 . 7) (6 . 8) (7 . 9)) 3549 0.2945 6.7621 ((1 . 3) (3 . 5) (4 . 7) (6 . 8)) 3561 0.7116 7.8741 ((1 . 20) (2 . 21) (3 . 22) (7 . 26) (8 . 27)) 3570 0.8569 3.4497 ((1 . 1) (2 . 2) (3 . 3) (6 . 4) (7 . 8) (8 . 9)) 3585 0.5710 6.6975 ((1 . 8) (6 . 13) (7 . 14) (8 . 15)) 3613 0.1332 9.7938 ((1 . 35) (4 . 38) (6 . 40) (7 . 41)) 3626 0.5710 6.4054 ((1 . 2) (3 . 6) (6 . 8) (7 . 11)) 3628 0.7141 4.2606 ((1 . 6) (2 . 7) (3 . 8) (6 . 10) (7 . 12)) 3651 0.7132 6.2050 ((1 . 1) (3 . 3) (6 . 8) (7 . 9) (8 . 10)) 3658 0.7122 7.3432 ((1 . 1) (2 . 2) (3 . 5) (6 . 6) (7 . 7)) 3659 0.5713 4.7849 ((1 . 5) (2 . 14) (6 . 7) (7 . 8)) 3661 0.7129 6.6800 ((1 . 8) (4 . 10) (6 . 11) (7 . 12) (8 . 13)) 3663 0.5710 6.7185 ((3 . 1) (6 . 2) (7 . 5) (8 . 6)) 3688 0.5709 6.8036 ((1 . 26) (6 . 30) (7 . 32) (8 . 33)) 3697 0.5712 5.5889 ((1 . 1) (6 . 3) (7 . 4) (8 . 5)) 3703 0.5706 7.6631 ((2 . 5) (3 . 6) (6 . 7) (7 . 8)) 3732 0.8570 3.0143 ((1 . 5) (2 . 6) (3 . 7) (6 . 11) (7 . 12) (8 . 13)) 3733 0.8545 6.2076 ((1 . 1) (2 . 2) (3 . 3) (6 . 6) (7 . 8) (8 . 9)) 3740 0.5710 6.3598 ((1 . 2) (3 . 4) (6 . 5) (7 . 6)) 3741 0.5714 3.9838 ((1 . 25) (6 . 28) (7 . 32) (8 . 33)) 3776 0.5689 10.2208 ((1 . 15) (2 . 16) (3 . 19) (8 . 23)) 3778 0.5713 4.7790 ((1 . 4) (2 . 5) (3 . 6) (6 . 7)) 3787 0.8569 3.5375 ((1 . 17) (2 . 18) (3 . 19) (6 . 21) (7 . 23) (8 . 24)) 3790 0.5714 3.9422 ((1 . 3) (3 . 5) (6 . 9) (7 . 10)) 3807 0.3790 6.5873 ((3 . 47) (4 . 48) (7 . 50) (8 . 51)) 3810 0.5712 5.3876 ((1 . 10) (3 . 11) (6 . 15) (7 . 16)) 3817 0.5713 5.0006 ((1 . 5) (2 . 6) (3 . 7) (7 . 9)) 3818 0.1993 7.8990 ((1 . 23) (2 . 24) (4 . 27) (7 . 28)) 3829 0.5707 7.3792 ((1 . 2) (2 . 3) (4 . 4) (6 . 5)) 3831 0.1993 7.3340 ((4 . 1) (6 . 2) (7 . 3) (8 . 4)) 3847 0.5711 6.0986 ((2 . 11) (3 . 13) (6 . 16) (7 . 17)) 3849 0.5699 9.0002 ((1 . 3) (2 . 4) (3 . 5) (4 . 7)) 3853 0.5676 11.4136 ((1 . 3) (4 . 4) (7 . 8) (8 . 7)) 3856 0.5710 6.4655 ((1 . 3) (2 . 4) (3 . 7) (6 . 9)) 3870 0.5714 3.7856 ((1 . 8) (2 . 9) (3 . 10) (4 . 11)) 3933 0.5690 10.1352 ((1 . 6) (3 . 8) (6 . 11) (7 . 13)) 3938 0.1498 7.9120 ((1 . 2) (4 . 5) (6 . 8) (7 . 9)) 3942 0.4452 8.1377 ((1 . 2) (2 . 4) (4 . 6) (7 . 9)) 3968 0.7141 4.1658 ((1 . 3) (2 . 4) (3 . 5) (6 . 9) (7 . 11)) 3986 0.5709 6.9726 ((3 . 9) (4 . 10) (6 . 13) (8 . 16)) 3990 0.5713 5.0188 ((1 . 18) (2 . 19) (3 . 20) (6 . 23)) 4005 0.5707 7.5090 ((1 . 9) (3 . 12) (6 . 14) (8 . 17)) 4009 0.5713 5.0740 ((1 . 1) (4 . 3) (7 . 7) (8 . 8)) 4019 0.5712 5.4684 ((1 . 42) (3 . 44) (6 . 46) (7 . 47)) 4034 0.5702 8.5796 ((1 . 9) (3 . 12) (6 . 13) (8 . 14)) 4037 0.5709 6.7504 ((3 . 1) (6 . 2) (7 . 3) (8 . 4)) 4062 0.5702 8.5983 ((2 . 45) (4 . 47) (6 . 49) (7 . 50)) 4067 0.7106 8.5358 ((1 . 14) (2 . 15) (3 . 16) (7 . 20) (8 . 21)) 4077 0.2943 13.2310 ((4 . 9) (6 . 10) (7 . 11) (8 . 12)) 4082 0.1993 6.9727 ((2 . 4) (3 . 5) (6 . 8) (7 . 7)) 4087 0.5712 5.4500 ((2 . 2) (3 . 3) (4 . 4) (7 . 6)) 4112 0.5707 7.3982 ((3 . 2) (6 . 3) (7 . 4) (8 . 7)) 4115 0.8566 4.0939 ((1 . 1) (2 . 2) (3 . 5) (6 . 8) (7 . 10) (8 . 11)) 4151 0.7130 6.5656 ((1 . 5) (2 . 6) (3 . 7) (6 . 9) (7 . 12)) 4154 0.5711 5.9509 ((1 . 51) (3 . 53) (6 . 56) (7 . 57)) 4177 0.5707 7.4362 ((2 . 6) (3 . 7) (6 . 8) (7 . 9)) 4190 0.4440 12.2608 ((2 . 4) (4 . 6) (7 . 8) (8 . 7)) 4192 0.5687 10.4174 ((3 . 10) (4 . 11) (7 . 13) (8 . 14)) 4194 0.8568 3.7328 ((1 . 1) (2 . 2) (3 . 3) (6 . 6) (7 . 7) (8 . 8)) 4195 0.5685 10.6115 ((1 . 6) (2 . 7) (4 . 8) (6 . 9)) 4204 0.5713 4.9262 ((1 . 5) (2 . 6) (3 . 7) (7 . 11)) 4209 0.5706 7.8356 ((1 . 2) (2 . 3) (6 . 5) (7 . 7)) 4210 0.5691 10.0308 ((2 . 3) (3 . 4) (7 . 6) (8 . 7)) 4226 0.5714 4.2120 ((1 . 16) (2 . 17) (3 . 18) (6 . 19)) 4232 0.5702 8.5464 ((3 . 3) (6 . 5) (7 . 6) (8 . 7)) 4254 0.5714 3.6764 ((1 . 11) (2 . 12) (3 . 13) (7 . 17)) 4255 0.5713 4.9539 ((1 . 21) (2 . 22) (3 . 23) (6 . 24)) 4257 0.5710 6.4275 ((2 . 6) (3 . 7) (6 . 10) (7 . 11)) 4265 0.5708 7.0930 ((1 . 21) (2 . 22) (3 . 23) (8 . 27)) 4266 0.7100 8.8391 ((1 . 2) (2 . 3) (3 . 4) (7 . 6) (8 . 7)) 4274 0.5705 7.8917 ((1 . 36) (2 . 37) (3 . 38) (7 . 40)) 4275 0.7136 5.6722 ((1 . 21) (2 . 22) (3 . 23) (6 . 25) (8 . 26)) 4281 0.5712 5.2978 ((3 . 3) (6 . 4) (7 . 5) (8 . 6)) 4284 0.5709 6.9191 ((3 . 6) (4 . 7) (6 . 9) (7 . 10)) 4299 0.5712 5.7603 ((2 . 17) (3 . 19) (6 . 20) (7 . 22)) 4301 0.1993 8.1588 ((1 . 1) (3 . 2) (6 . 3) (7 . 4)) 4326 0.5704 8.0664 ((2 . 6) (3 . 7) (7 . 10) (8 . 14)) 4338 0.5714 4.2721 ((2 . 5) (6 . 7) (7 . 8) (8 . 9)) 4359 0.5714 4.0640 ((1 . 13) (3 . 14) (6 . 17) (7 . 18)) 4380 0.5713 5.1384 ((1 . 23) (3 . 29) (6 . 30) (7 . 31)) 4383 0.5705 7.9170 ((1 . 14) (3 . 16) (6 . 17) (7 . 18)) 4386 0.1993 6.2355 ((2 . 7) (4 . 8) (6 . 9) (7 . 10)) 4388 0.5710 6.4548 ((1 . 5) (3 . 8) (6 . 9) (7 . 10)) 4398 0.5713 4.4271 ((1 . 4) (2 . 5) (3 . 6) (7 . 8)) 4405 0.5713 4.9844 ((1 . 14) (3 . 18) (6 . 19) (7 . 25)) 4408 0.5713 4.5365 ((1 . 4) (2 . 5) (3 . 6) (6 . 7)) 4415 0.5711 5.9610 ((1 . 9) (2 . 10) (3 . 11) (6 . 12)) 4419 0.5708 7.0983 ((2 . 5) (3 . 6) (6 . 8) (7 . 9)) 4426 0.5709 6.7737 ((1 . 2) (2 . 3) (6 . 4) (8 . 5)) 4470 0.5711 6.0979 ((1 . 14) (6 . 19) (7 . 20) (8 . 22)) 4491 0.5713 5.2166 ((1 . 1) (2 . 4) (3 . 5) (6 . 6)) 4492 0.7122 7.4161 ((1 . 11) (2 . 12) (3 . 13) (7 . 18) (8 . 19)) 4495 0.7126 7.0072 ((1 . 14) (2 . 15) (3 . 16) (6 . 18) (8 . 20)) 4497 0.5711 6.2864 ((1 . 18) (2 . 20) (6 . 23) (7 . 24)) 4502 0.5710 6.4739 ((1 . 6) (3 . 9) (6 . 10) (8 . 13)) 4504 0.5706 7.6579 ((2 . 2) (3 . 4) (4 . 5) (7 . 6)) 4505 0.0999 11.8326 ((1 . 26) (3 . 28) (4 . 29) (8 . 31)) 4516 0.2945 8.3922 ((3 . 6) (4 . 5) (6 . 8) (8 . 9)) 4551 0.3789 8.3407 ((1 . 2) (3 . 4) (4 . 7) (7 . 8)) 4560 0.2945 7.7929 ((1 . 4) (2 . 5) (7 . 8) (8 . 10)) 4561 0.5709 7.0344 ((1 . 1) (2 . 4) (7 . 7) (8 . 8)) 4562 0.8568 3.7101 ((1 . 19) (2 . 21) (3 . 22) (6 . 25) (7 . 29) (8 . 30)) 4563 0.5713 4.3391 ((1 . 26) (2 . 27) (3 . 28) (7 . 31)) 4577 0.5682 10.9242 ((1 . 27) (3 . 28) (6 . 32) (7 . 33)) 4588 0.5712 5.6103 ((1 . 3) (2 . 4) (3 . 7) (7 . 11)) 4589 0.5709 6.8990 ((1 . 23) (2 . 24) (3 . 27) (6 . 30)) 4621 0.5708 7.1920 ((2 . 5) (3 . 6) (6 . 8) (7 . 9)) 4630 0.5711 6.0463 ((1 . 6) (3 . 9) (6 . 11) (7 . 12)) 4648 0.5710 6.4783 ((1 . 1) (6 . 5) (7 . 8) (8 . 7)) 4653 0.7135 5.8574 ((1 . 1) (2 . 2) (3 . 4) (6 . 6) (7 . 7)) 4665 0.5712 5.5259 ((1 . 12) (6 . 13) (7 . 14) (8 . 16)) 4668 0.7142 3.4723 ((1 . 1) (2 . 2) (3 . 5) (6 . 7) (7 . 9)) 4669 0.8568 3.8596 ((1 . 15) (2 . 16) (3 . 17) (6 . 19) (7 . 21) (8 . 23)) 4671 0.5678 11.2205 ((1 . 11) (3 . 14) (6 . 15) (7 . 18)) 4674 0.5703 8.3592 ((2 . 5) (3 . 7) (6 . 8) (7 . 9)) 4678 0.5708 7.2492 ((1 . 11) (3 . 12) (6 . 15) (7 . 16)) 4713 0.2945 6.1976 ((1 . 7) (3 . 9) (4 . 10) (8 . 11)) 4715 0.2945 8.9127 ((2 . 5) (3 . 6) (4 . 7) (8 . 9)) 4731 0.8567 4.0690 ((1 . 18) (2 . 20) (3 . 22) (6 . 23) (7 . 24) (8 . 15)) 4857 0.5713 5.0320 ((1 . 5) (6 . 9) (7 . 11) (8 . 12)) 4886 0.5704 8.2287 ((2 . 27) (3 . 29) (6 . 30) (7 . 31)) 4888 0.5697 9.3076 ((3 . 1) (4 . 2) (6 . 4) (8 . 6)) 4889 0.5709 7.0082 ((2 . 8) (4 . 9) (6 . 11) (7 . 12)) 4907 0.5713 4.7593 ((2 . 2) (3 . 3) (6 . 4) (7 . 5)) 4914 0.5713 4.3794 ((3 . 1) (4 . 2) (6 . 4) (7 . 5)) 4921 0.5701 8.6376 ((1 . 7) (3 . 8) (6 . 9) (7 . 12)) 4929 0.5706 7.7707 ((1 . 26) (3 . 29) (6 . 31) (7 . 32)) 4932 0.5710 6.3875 ((1 . 6) (2 . 7) (3 . 8) (7 . 10)) 4940 0.5705 7.9784 ((1 . 4) (2 . 5) (3 . 7) (7 . 9)) 4944 0.1997 5.0260 ((1 . 11) (2 . 12) (3 . 13) (6 . 15) (7 . 16)) 4961 0.5701 8.7329 ((1 . 14) (3 . 15) (4 . 16) (6 . 17)) 4978 0.5711 6.1515 ((1 . 28) (3 . 30) (7 . 32) (8 . 33)) 4982 0.5714 4.1453 ((1 . 1) (2 . 2) (3 . 3) (7 . 6)) 4992 0.8560 5.0183 ((1 . 6) (2 . 7) (3 . 8) (6 . 9) (7 . 3) (8 . 4)) 4998 0.5701 8.6560 ((1 . 15) (2 . 16) (6 . 19) (7 . 20)) 5029 0.7142 3.3059 ((1 . 2) (2 . 3) (3 . 4) (6 . 8) (7 . 10)) 5036 0.5701 8.6901 ((1 . 6) (3 . 8) (6 . 9) (7 . 10)) 5038 0.5702 8.4896 ((2 . 13) (3 . 14) (6 . 15) (7 . 16)) 5039 0.5712 5.5479 ((1 . 37) (3 . 39) (7 . 41) (8 . 43)) 5044 0.5710 6.4796 ((1 . 3) (2 . 4) (6 . 8) (7 . 9)) 5046 0.5712 5.5988 ((1 . 4) (3 . 7) (6 . 8) (7 . 10)) 5053 0.1993 7.1493 ((2 . 1) (3 . 2) (6 . 3) (7 . 5)) 5065 0.5714 4.2459 ((3 . 9) (6 . 10) (7 . 11) (8 . 12)) 5068 0.5708 7.2060 ((1 . 17) (2 . 19) (3 . 20) (7 . 24)) 5069 0.5712 5.2925 ((1 . 2) (2 . 3) (4 . 6) (7 . 9)) 5073 0.7123 7.2517 ((1 . 32) (2 . 33) (3 . 34) (7 . 36) (8 . 37)) 5080 0.1992 9.8658 ((3 . 2) (4 . 1) (6 . 3) (8 . 5)) 5101 0.8566 4.1810 ((1 . 1) (2 . 2) (3 . 3) (6 . 7) (7 . 9) (8 . 11)) 5103 0.8568 3.7422 ((1 . 13) (2 . 14) (3 . 15) (6 . 17) (7 . 19) (8 . 20)) 5121 0.5709 7.0110 ((1 . 21) (2 . 22) (6 . 25) (7 . 26)) 5132 0.5706 7.7665 ((1 . 18) (2 . 19) (3 . 20) (4 . 21)) 5134 0.2946 4.4950 ((2 . 16) (3 . 17) (7 . 19) (8 . 20)) 5145 0.5707 7.4546 ((2 . 4) (3 . 5) (7 . 8) (8 . 9)) 5167 0.7118 7.7381 ((1 . 1) (2 . 2) (3 . 3) (6 . 4) (8 . 10)) 5176 0.5710 6.4492 ((2 . 83) (3 . 86) (6 . 87) (7 . 88)) 5183 0.5713 4.7749 ((3 . 34) (6 . 35) (7 . 36) (8 . 39)) 5192 0.7121 7.4584 ((1 . 1) (2 . 2) (3 . 3) (7 . 5) (8 . 6)) 5198 0.5713 5.0431 ((1 . 24) (2 . 25) (3 . 26) (4 . 27)) 5199 0.5705 8.0561 ((1 . 4) (2 . 6) (6 . 7) (7 . 8)) 5209 0.5702 8.4791 ((2 . 2) (3 . 3) (6 . 4) (8 . 6)) 5215 0.5693 9.7974 ((2 . 8) (3 . 9) (7 . 12) (8 . 13)) 5223 0.7127 6.8572 ((1 . 8) (2 . 9) (3 . 10) (6 . 12) (7 . 15)) 5231 0.5709 6.8308 ((3 . 12) (6 . 13) (7 . 14) (8 . 15)) 5266 0.5714 3.4542 ((1 . 2) (2 . 3) (3 . 4) (7 . 8)) 5278 0.5711 5.9516 ((3 . 2) (4 . 3) (6 . 5) (7 . 6)) 5307 0.5714 3.1110 ((3 . 55) (6 . 57) (7 . 58) (8 . 59)) 5318 0.1332 14.2631 ((2 . 5) (4 . 6) (7 . 8) (8 . 9)) 5323 0.2943 13.1680 ((1 . 10) (2 . 9) (4 . 12) (8 . 14)) 5324 0.7117 7.7987 ((1 . 7) (2 . 8) (3 . 10) (7 . 12) (8 . 13)) 5344 0.5711 6.1297 ((3 . 2) (6 . 3) (7 . 4) (8 . 5)) 5345 0.5714 3.8233 ((1 . 7) (3 . 12) (6 . 13) (7 . 14)) 5368 0.5714 4.0728 ((1 . 20) (3 . 22) (6 . 25) (7 . 26)) 5378 0.5713 5.0475 ((2 . 1) (3 . 3) (6 . 4) (8 . 5)) 5411 0.5695 9.5908 ((1 . 3) (3 . 6) (6 . 8) (8 . 9)) 5414 0.3790 6.9597 ((3 . 15) (4 . 17) (6 . 19) (7 . 18)) 5418 0.5713 4.3823 ((3 . 1) (6 . 2) (7 . 3) (8 . 4)) 5421 0.5711 6.0610 ((1 . 1) (3 . 2) (6 . 4) (7 . 5)) 5433 0.5712 5.7168 ((1 . 7) (3 . 10) (6 . 14) (7 . 16)) 5479 0.5713 5.2032 ((1 . 55) (3 . 58) (6 . 61) (7 . 62)) 5487 0.8560 5.0563 ((1 . 4) (2 . 5) (3 . 7) (6 . 9) (7 . 11) (8 . 12)) 5489 0.5710 6.3846 ((1 . 6) (3 . 9) (6 . 10) (7 . 11)) 5500 0.5712 5.3806 ((3 . 1) (6 . 2) (7 . 3) (8 . 6)) 5501 0.5689 10.2058 ((1 . 24) (2 . 26) (7 . 30) (8 . 32)) 5525 0.3790 6.8966 ((4 . 5) (6 . 7) (7 . 8) (8 . 9)) 5535 0.5714 3.0922 ((1 . 2) (2 . 5) (6 . 10) (7 . 11)) 5540 0.5712 5.7013 ((1 . 1) (2 . 2) (3 . 3) (6 . 4)) 5557 0.5705 7.9529 ((1 . 1) (3 . 3) (6 . 4) (8 . 5)) 5560 0.5714 3.6741 ((1 . 15) (2 . 16) (3 . 17) (7 . 20)) 5562 0.5707 7.3629 ((1 . 14) (2 . 15) (3 . 17) (8 . 20)) 5567 0.5712 5.8163 ((1 . 15) (3 . 17) (6 . 18) (7 . 19)) 5594 0.7136 5.5632 ((1 . 1) (2 . 2) (3 . 4) (6 . 6) (7 . 9)) 5600 0.5713 5.0615 ((1 . 6) (2 . 7) (3 . 9) (7 . 11)) 5601 0.5714 3.8230 ((1 . 5) (6 . 7) (7 . 8) (8 . 9)) 5638 0.5711 6.2306 ((1 . 9) (2 . 12) (3 . 13) (8 . 14)) 5640 0.5714 4.1684 ((1 . 5) (3 . 6) (6 . 9) (7 . 10)) 5644 0.5712 5.5653 ((1 . 8) (3 . 10) (6 . 13) (7 . 14)) 5656 0.5711 6.2497 ((2 . 19) (6 . 23) (7 . 24) (8 . 25)) 5700 0.5703 8.4177 ((1 . 2) (3 . 3) (6 . 4) (8 . 7)) 5701 0.5712 5.6647 ((2 . 3) (3 . 4) (6 . 5) (7 . 6)) 5711 0.5708 7.2888 ((1 . 42) (3 . 44) (7 . 47) (8 . 48)) 5713 0.5714 3.3399 ((1 . 20) (3 . 21) (6 . 24) (7 . 25)) 5718 0.5714 4.1936 ((2 . 22) (3 . 23) (6 . 24) (7 . 25)) 5731 0.5699 8.9762 ((1 . 7) (2 . 8) (6 . 12) (7 . 13)) 5746 0.5710 6.7316 ((1 . 3) (3 . 6) (6 . 7) (7 . 8)) 5749 0.5709 7.0414 ((2 . 2) (3 . 3) (6 . 4) (7 . 5)) 5761 0.5711 6.1943 ((1 . 28) (3 . 31) (6 . 32) (8 . 34)) 5770 0.4446 10.7586 ((3 . 1) (4 . 5) (7 . 6) (8 . 7)) 5771 0.7119 7.6454 ((1 . 17) (2 . 19) (3 . 20) (6 . 21) (8 . 22)) 5782 0.7140 4.6556 ((1 . 15) (2 . 17) (3 . 18) (6 . 21) (7 . 22)) 5794 0.5711 6.1679 ((1 . 19) (3 . 23) (6 . 24) (7 . 25)) 5795 0.5714 3.5999 ((1 . 10) (2 . 12) (3 . 13) (4 . 14)) 5809 0.5709 6.8294 ((1 . 12) (3 . 14) (6 . 15) (8 . 16)) 5822 0.5702 8.5491 ((3 . 1) (6 . 2) (7 . 4) (8 . 5)) 5827 0.5713 5.2300 ((1 . 11) (2 . 12) (6 . 14) (7 . 15)) 5830 0.5697 9.3326 ((1 . 10) (2 . 11) (4 . 15) (7 . 17)) 5847 0.5713 4.5267 ((3 . 17) (6 . 18) (7 . 20) (8 . 21)) 5861 0.5713 4.3645 ((1 . 21) (3 . 25) (6 . 26) (7 . 27)) 5865 0.5709 6.8617 ((1 . 5) (2 . 6) (3 . 7) (8 . 8)) 5888 0.5714 3.8750 ((1 . 8) (3 . 9) (6 . 12) (7 . 13)) 5896 0.5713 5.0217 ((1 . 26) (2 . 27) (3 . 28) (6 . 29)) 5904 0.5712 5.5355 ((1 . 4) (2 . 6) (3 . 7) (7 . 9)) 5913 0.5704 8.1362 ((4 . 4) (6 . 6) (7 . 7) (8 . 8)) 5922 0.2945 8.7630 ((3 . 6) (4 . 7) (6 . 8) (7 . 9)) 5930 0.5711 6.2533 ((1 . 4) (3 . 7) (6 . 9) (7 . 10)) 5939 0.5698 9.1970 ((1 . 4) (2 . 5) (4 . 7) (7 . 8)) 5945 0.5709 6.8657 ((1 . 28) (3 . 32) (6 . 33) (8 . 34)) 5949 0.5710 6.4365 ((1 . 12) (2 . 13) (3 . 14) (4 . 15)) 5955 0.8567 4.0499 ((1 . 1) (2 . 2) (3 . 3) (6 . 7) (7 . 9) (8 . 18)) 5967 0.5714 2.3298 ((1 . 1) (2 . 2) (3 . 3) (7 . 7)) 5977 0.5712 5.8244 ((1 . 3) (2 . 4) (3 . 5) (6 . 6)) 6000 0.4452 8.1560 ((2 . 16) (3 . 17) (4 . 18) (7 . 21)) 6011 0.7116 7.8318 ((1 . 2) (3 . 7) (6 . 8) (7 . 9) (8 . 17)) 6022 0.5713 5.1578 ((1 . 2) (3 . 4) (6 . 8) (7 . 9)) 6029 0.7113 8.0695 ((1 . 31) (2 . 32) (3 . 33) (7 . 35) (8 . 36)) 6041 0.1993 7.1998 ((1 . 8) (6 . 12) (7 . 13) (8 . 14)) 6046 0.1997 5.8503 ((2 . 1) (3 . 2) (6 . 3) (7 . 5) (8 . 7)) 6061 0.5713 5.0873 ((3 . 13) (6 . 14) (7 . 15) (8 . 16)) 6074 0.5709 6.8173 ((1 . 2) (2 . 3) (3 . 4) (8 . 7)) 6075 0.8570 3.0987 ((1 . 17) (2 . 19) (3 . 20) (6 . 24) (7 . 27) (8 . 29)) 6079 0.7124 7.1996 ((1 . 1) (2 . 2) (3 . 6) (6 . 7) (7 . 8)) 6087 0.5714 2.8309 ((1 . 8) (2 . 9) (3 . 10) (4 . 11)) 6089 0.5714 4.1209 ((1 . 1) (2 . 2) (3 . 3) (7 . 5)) 6094 0.5699 9.0124 ((1 . 5) (2 . 6) (4 . 8) (6 . 11)) 6099 0.7132 6.2133 ((1 . 11) (3 . 14) (4 . 15) (6 . 17) (7 . 18)) 6123 0.5707 7.5898 ((1 . 1) (3 . 3) (4 . 6) (8 . 7)) 6142 0.5713 5.0834 ((1 . 11) (3 . 13) (6 . 14) (7 . 15)) 6148 0.5712 5.3081 ((3 . 33) (4 . 35) (6 . 36) (7 . 37)) 6173 0.5713 4.9060 ((3 . 12) (6 . 13) (7 . 15) (8 . 16)) 6191 0.5686 10.5601 ((1 . 6) (3 . 10) (6 . 12) (7 . 13)) 6192 0.7133 6.1320 ((1 . 1) (2 . 2) (3 . 3) (7 . 11) (8 . 16)) 6215 0.1993 8.2621 ((3 . 17) (6 . 19) (7 . 20) (8 . 22)) 6225 0.8566 4.1540 ((1 . 5) (2 . 9) (3 . 10) (6 . 12) (7 . 28) (8 . 30)) 6228 0.7120 7.5265 ((1 . 1) (2 . 2) (6 . 3) (7 . 5) (8 . 6)) 6234 0.5711 6.3302 ((1 . 10) (3 . 13) (4 . 14) (6 . 15)) 6243 0.5712 5.6072 ((4 . 1) (6 . 2) (7 . 3) (8 . 5)) 6251 0.5702 8.5763 ((1 . 8) (2 . 9) (3 . 10) (8 . 14)) 6258 0.8568 3.6309 ((1 . 7) (2 . 8) (3 . 9) (6 . 10) (7 . 12) (8 . 14)) 6261 0.8570 3.2181 ((1 . 1) (2 . 2) (3 . 3) (6 . 9) (7 . 11) (8 . 23)) 6266 0.5702 8.5212 ((3 . 6) (4 . 7) (7 . 10) (8 . 11)) 6270 0.5713 4.9839 ((1 . 15) (2 . 16) (3 . 17) (6 . 18)) 6271 0.5591 15.3942 ((1 . 1) (3 . 3) (6 . 5) (7 . 7)) 6273 0.2945 8.3006 ((1 . 1) (3 . 2) (4 . 5) (7 . 6)) 6294 0.8569 3.2655 ((1 . 2) (2 . 5) (3 . 6) (6 . 23) (7 . 25) (8 . 28)) 6306 0.5702 8.6171 ((3 . 15) (6 . 16) (7 . 17) (8 . 18)) 6309 0.5696 9.3987 ((1 . 17) (3 . 20) (7 . 25) (8 . 26)) 6326 0.5708 7.1359 ((1 . 5) (3 . 6) (6 . 9) (7 . 10)) 6338 0.5710 6.4638 ((1 . 1) (3 . 4) (6 . 5) (7 . 7)) 6344 0.5714 3.3934 ((1 . 8) (2 . 9) (6 . 12) (7 . 13)) 6345 0.5711 6.1428 ((2 . 2) (3 . 4) (6 . 6) (7 . 7)) 6348 0.5704 8.1286 ((1 . 1) (2 . 3) (3 . 4) (8 . 8)) 6355 0.5713 5.1772 ((1 . 9) (4 . 13) (7 . 15) (8 . 16)) 6356 0.7112 8.1740 ((1 . 9) (2 . 10) (3 . 11) (7 . 13) (8 . 14)) 6369 0.5692 9.9478 ((1 . 22) (2 . 23) (3 . 24) (8 . 27)) 6376 0.5714 3.1009 ((1 . 17) (2 . 18) (3 . 19) (7 . 24)) 6391 0.5711 5.8933 ((1 . 8) (6 . 10) (7 . 12) (8 . 11)) 6392 0.5712 5.6192 ((1 . 1) (2 . 2) (3 . 3) (7 . 7)) 6399 0.5714 4.1585 ((1 . 10) (3 . 11) (6 . 14) (7 . 15)) 6403 0.5711 5.9653 ((1 . 7) (2 . 9) (3 . 10) (6 . 12)) 6434 0.5713 4.5390 ((2 . 1) (3 . 2) (6 . 3) (7 . 4)) 6461 0.5693 9.7838 ((1 . 3) (2 . 4) (4 . 5) (6 . 6)) 6462 0.5688 10.3377 ((1 . 12) (2 . 14) (3 . 16) (8 . 19)) 6498 0.5707 7.4841 ((2 . 36) (3 . 37) (6 . 40) (7 . 42)) 6520 0.5712 5.2832 ((1 . 2) (6 . 8) (7 . 9) (8 . 11)) 6536 0.2477 11.6962 ((2 . 33) (4 . 34) (7 . 36) (8 . 37)) 6539 0.5713 5.2073 ((1 . 2) (2 . 3) (3 . 4) (8 . 7)) 6540 0.5704 8.1249 ((1 . 16) (3 . 17) (6 . 19) (7 . 20)) 6548 0.8567 3.9291 ((1 . 7) (2 . 8) (3 . 9) (6 . 12) (7 . 13) (8 . 15)) 6553 0.7132 6.2988 ((1 . 20) (3 . 22) (6 . 24) (7 . 25) (8 . 27)) 6555 0.5713 5.0232 ((3 . 20) (4 . 21) (6 . 22) (7 . 23)) 6561 0.5708 7.1969 ((1 . 12) (3 . 13) (6 . 15) (8 . 16)) 6573 0.5713 5.2621 ((1 . 17) (2 . 18) (3 . 19) (6 . 22)) 6575 0.3781 13.4805 ((3 . 1) (4 . 3) (7 . 5) (8 . 6)) 6578 0.5709 6.7980 ((2 . 33) (3 . 34) (6 . 37) (8 . 39)) 6584 0.5710 6.5166 ((2 . 4) (3 . 5) (6 . 6) (7 . 7)) 6585 0.5714 3.2408 ((1 . 6) (2 . 7) (3 . 8) (7 . 10)) 6586 0.5713 4.5671 ((1 . 18) (2 . 19) (4 . 22) (7 . 24)) 6587 0.5710 6.5730 ((2 . 27) (3 . 29) (7 . 31) (8 . 32)) 6598 0.5713 4.7317 ((2 . 12) (3 . 13) (6 . 16) (7 . 17)) 6613 0.5712 5.6783 ((1 . 24) (3 . 27) (6 . 28) (7 . 31)) 6635 0.5714 3.7968 ((1 . 1) (2 . 3) (3 . 4) (6 . 7)) END