96 41 0.5710 6.4316 ((1 . 3) (2 . 4) (3 . 5) (7 . 8)) 51 0.5710 6.6391 ((1 . 7) (3 . 11) (5 . 13) (6 . 14)) 62 0.5713 4.7304 ((2 . 9) (3 . 10) (5 . 12) (6 . 13)) 64 0.5703 8.4495 ((1 . 4) (3 . 7) (5 . 8) (6 . 9)) 77 0.5707 7.5389 ((2 . 12) (3 . 13) (5 . 15) (7 . 17)) 91 0.5712 5.4413 ((1 . 37) (3 . 40) (4 . 41) (7 . 46)) 96 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 129 0.5710 6.7243 ((1 . 3) (3 . 8) (5 . 11) (6 . 12)) 136 0.9991 3.9216 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (5 . 7) (6 . 8) (7 . 9)) 150 0.5708 7.1582 ((2 . 18) (3 . 19) (5 . 20) (7 . 21)) 153 0.5708 7.2097 ((1 . 1) (3 . 4) (5 . 7) (6 . 8)) 157 0.5706 7.6448 ((3 . 11) (4 . 12) (6 . 14) (7 . 15)) 161 0.3789 8.8908 ((4 . 1) (5 . 4) (6 . 6) (7 . 7)) 162 0.1993 8.5912 ((1 . 12) (3 . 15) (5 . 17) (6 . 18)) 169 0.5706 7.6381 ((1 . 7) (3 . 9) (5 . 10) (6 . 11)) 177 0.5709 6.8262 ((1 . 3) (3 . 5) (5 . 8) (6 . 10)) 198 0.5701 8.7598 ((1 . 5) (3 . 8) (5 . 12) (6 . 13)) 207 0.5709 6.8343 ((1 . 15) (2 . 16) (3 . 18) (4 . 19)) 233 0.5713 4.9155 ((1 . 3) (3 . 5) (5 . 7) (6 . 8)) 300 0.5712 5.4718 ((2 . 5) (3 . 6) (5 . 9) (6 . 10)) 305 0.5713 4.4080 ((1 . 9) (2 . 10) (3 . 11) (5 . 15)) 307 0.5714 2.4244 ((1 . 1) (2 . 2) (3 . 3) (6 . 7)) 315 0.3790 6.8113 ((4 . 2) (5 . 5) (6 . 6) (7 . 7)) 329 0.5693 9.8551 ((2 . 1) (4 . 3) (5 . 4) (6 . 5)) 340 0.5714 4.1972 ((3 . 1) (5 . 2) (6 . 4) (7 . 5)) 350 0.4451 8.9885 ((3 . 5) (4 . 9) (5 . 10) (6 . 11)) 360 0.5713 4.4036 ((1 . 12) (2 . 13) (3 . 14) (4 . 15)) 361 0.5688 10.3499 ((2 . 7) (4 . 9) (5 . 10) (6 . 11)) 365 0.3790 5.2090 ((1 . 3) (3 . 6) (4 . 7) (5 . 8)) 367 0.3790 6.6200 ((1 . 38) (3 . 40) (5 . 44) (6 . 46)) 387 0.5694 9.6536 ((2 . 6) (3 . 7) (5 . 10) (6 . 11)) 405 0.5699 9.0413 ((1 . 32) (3 . 35) (5 . 39) (6 . 40)) 417 0.5709 6.8402 ((1 . 1) (3 . 3) (4 . 6) (5 . 7)) 420 0.5712 5.6490 ((1 . 3) (3 . 5) (5 . 9) (6 . 10)) 433 0.5708 7.3283 ((2 . 2) (4 . 4) (5 . 6) (6 . 7)) 442 0.5701 8.6799 ((2 . 11) (3 . 12) (6 . 14) (7 . 13)) 460 0.5710 6.4617 ((1 . 1) (3 . 3) (5 . 6) (6 . 7)) 472 0.5703 8.3609 ((2 . 23) (4 . 24) (5 . 25) (6 . 27)) 491 0.5704 8.2278 ((2 . 5) (3 . 6) (5 . 8) (6 . 9)) 495 0.5712 5.6635 ((1 . 3) (2 . 4) (3 . 5) (5 . 9)) 541 0.7136 5.5858 ((1 . 7) (2 . 9) (3 . 11) (4 . 13) (6 . 14)) 543 0.7137 5.3327 ((1 . 5) (2 . 7) (3 . 8) (4 . 9) (5 . 10)) 561 0.5714 3.9030 ((1 . 1) (2 . 2) (3 . 3) (5 . 6)) 584 0.5713 4.3293 ((2 . 2) (3 . 3) (5 . 4) (6 . 5)) 587 0.5709 6.7811 ((1 . 10) (2 . 12) (5 . 14) (6 . 15)) 609 0.2943 12.5876 ((1 . 3) (2 . 4) (4 . 5) (6 . 8)) 619 0.5705 8.0539 ((1 . 12) (2 . 14) (3 . 15) (4 . 17)) 624 0.5713 4.6274 ((1 . 7) (2 . 8) (3 . 11) (6 . 13)) 672 0.4449 9.9714 ((2 . 8) (4 . 12) (6 . 15) (7 . 17)) 678 0.5700 8.8722 ((1 . 22) (2 . 23) (3 . 24) (7 . 28)) 683 0.5702 8.6020 ((1 . 1) (2 . 4) (3 . 5) (5 . 6)) 719 0.3790 7.5759 ((1 . 25) (4 . 29) (5 . 30) (7 . 31)) 729 0.5713 4.4632 ((1 . 7) (2 . 8) (3 . 13) (6 . 15)) 735 0.5707 7.3904 ((1 . 29) (3 . 32) (5 . 37) (6 . 39)) 765 0.5703 8.3552 ((1 . 9) (3 . 12) (5 . 19) (6 . 20)) 767 0.5691 10.0608 ((1 . 26) (2 . 27) (3 . 29) (7 . 33)) 795 0.5712 5.8598 ((1 . 1) (2 . 4) (3 . 5) (5 . 6)) 796 0.5711 6.3362 ((2 . 1) (5 . 5) (6 . 6) (7 . 7)) 812 0.1498 6.5770 ((2 . 10) (5 . 11) (6 . 13) (7 . 17)) 818 0.5713 5.2009 ((1 . 4) (2 . 5) (3 . 7) (4 . 9)) 819 0.2945 8.5458 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 824 0.3789 8.3140 ((1 . 43) (3 . 46) (5 . 49) (6 . 50)) 861 0.4454 6.2843 ((2 . 11) (3 . 12) (4 . 14) (6 . 17)) 901 0.5714 4.1098 ((1 . 12) (2 . 14) (3 . 15) (6 . 17)) 913 0.1992 10.5445 ((4 . 15) (5 . 16) (6 . 17) (7 . 18)) 928 0.5714 2.8472 ((1 . 10) (2 . 11) (3 . 12) (6 . 14)) 937 0.5711 6.1856 ((1 . 1) (2 . 2) (3 . 4) (5 . 5)) 943 0.5713 4.8987 ((1 . 6) (2 . 7) (3 . 8) (6 . 12)) 945 0.7063 10.3676 ((1 . 12) (2 . 13) (3 . 14) (4 . 16) (6 . 19)) 949 0.5713 5.2069 ((1 . 27) (3 . 30) (5 . 32) (7 . 35)) 960 0.5713 4.3317 ((1 . 9) (2 . 11) (3 . 12) (6 . 19)) 978 0.5702 8.6018 ((1 . 10) (2 . 12) (3 . 13) (6 . 16)) 980 0.7125 7.0491 ((1 . 1) (2 . 2) (3 . 3) (6 . 7) (7 . 8)) 1007 0.5707 7.3909 ((1 . 7) (3 . 9) (5 . 12) (6 . 13)) 1008 0.2945 9.0851 ((2 . 1) (3 . 3) (5 . 5) (6 . 8)) 1034 0.5656 12.6385 ((1 . 20) (3 . 22) (4 . 23) (6 . 25)) 1043 0.5714 3.4388 ((1 . 1) (2 . 5) (3 . 6) (6 . 10)) 1082 0.5713 4.3439 ((1 . 9) (2 . 11) (3 . 12) (6 . 16)) 1084 0.5705 7.9568 ((1 . 17) (3 . 18) (5 . 20) (7 . 21)) 1165 0.5714 4.1297 ((1 . 4) (2 . 5) (3 . 7) (6 . 10)) 1167 0.2945 9.8751 ((2 . 19) (5 . 21) (6 . 22) (7 . 24)) 1169 0.2946 5.5449 ((1 . 29) (3 . 30) (5 . 35) (6 . 37)) 1195 0.5713 5.0879 ((2 . 1) (3 . 2) (5 . 4) (6 . 5)) 1201 0.7140 4.4870 ((1 . 7) (2 . 8) (3 . 9) (4 . 10) (5 . 11)) 1204 0.7116 7.8693 ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (7 . 6)) 1211 0.3788 9.8330 ((1 . 4) (3 . 5) (5 . 9) (6 . 10)) 1217 0.5711 6.1722 ((4 . 2) (5 . 5) (6 . 7) (7 . 8)) 1224 0.5711 6.2429 ((1 . 5) (3 . 6) (5 . 7) (6 . 9)) 1233 0.7111 8.2294 ((1 . 11) (2 . 13) (3 . 14) (5 . 17) (7 . 19)) 1267 0.7139 4.8309 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (6 . 21)) 1268 0.2945 6.7279 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 1294 0.5708 7.2114 ((1 . 40) (3 . 44) (5 . 46) (6 . 47)) 1345 0.2943 12.6157 ((2 . 8) (3 . 9) (4 . 11) (6 . 13)) 1366 0.5712 5.7773 ((1 . 12) (2 . 13) (3 . 14) (5 . 17)) 1388 0.5710 6.5340 ((1 . 1) (2 . 3) (3 . 4) (5 . 5)) 1447 0.5713 5.2619 ((1 . 3) (2 . 4) (3 . 5) (6 . 9)) 1451 0.5698 9.1516 ((1 . 5) (3 . 6) (5 . 9) (6 . 10)) 1464 0.3790 6.1787 ((2 . 9) (4 . 12) (5 . 13) (6 . 14)) 1472 0.2945 6.5547 ((2 . 5) (5 . 7) (6 . 8) (7 . 9)) 1476 0.5714 3.8127 ((1 . 9) (2 . 10) (3 . 11) (6 . 18)) 1481 0.1993 7.5150 ((3 . 2) (4 . 3) (5 . 4) (6 . 5)) 1513 0.7089 9.3786 ((1 . 11) (2 . 12) (3 . 13) (4 . 14) (7 . 16)) 1514 0.5713 4.9538 ((1 . 1) (2 . 2) (3 . 3) (5 . 4)) 1577 0.2945 7.0870 ((3 . 6) (4 . 9) (5 . 10) (7 . 11)) 1591 0.5706 7.7645 ((1 . 11) (2 . 12) (3 . 14) (6 . 16)) 1604 0.5708 7.3412 ((1 . 10) (2 . 11) (3 . 12) (7 . 16)) 1622 0.5711 6.3542 ((1 . 18) (2 . 19) (3 . 20) (5 . 23)) 1643 0.5713 4.6588 ((1 . 11) (3 . 12) (5 . 17) (6 . 18)) 1644 0.5711 5.9286 ((1 . 46) (3 . 50) (5 . 51) (6 . 52)) 1665 0.7092 9.2392 ((1 . 6) (2 . 7) (3 . 8) (4 . 9) (7 . 11)) 1690 0.7122 7.4153 ((1 . 1) (2 . 7) (5 . 8) (6 . 11) (7 . 12)) 1692 0.5702 8.5288 ((2 . 4) (3 . 6) (5 . 8) (6 . 9)) 1731 0.5676 11.3397 ((2 . 10) (4 . 11) (5 . 12) (6 . 13)) 1736 0.5708 7.0935 ((1 . 1) (2 . 2) (3 . 3) (6 . 7)) 1738 0.5714 4.1405 ((1 . 9) (2 . 10) (3 . 11) (5 . 13)) 1747 0.5713 5.0413 ((1 . 10) (3 . 12) (5 . 16) (6 . 18)) 1756 0.5712 5.4531 ((1 . 23) (3 . 27) (5 . 30) (6 . 31)) 1759 0.5712 5.8389 ((1 . 4) (3 . 6) (5 . 10) (6 . 11)) 1761 0.5713 5.0329 ((1 . 16) (2 . 18) (3 . 19) (5 . 20)) 1763 0.5710 6.5260 ((3 . 7) (4 . 8) (5 . 9) (6 . 10)) 1776 0.5708 7.2880 ((1 . 12) (2 . 13) (5 . 20) (7 . 21)) 1778 0.3790 5.1842 ((3 . 1) (5 . 4) (6 . 5) (7 . 6)) 1793 0.7114 8.0121 ((1 . 8) (2 . 9) (3 . 10) (6 . 12) (7 . 15)) 1805 0.5709 6.8058 ((1 . 11) (2 . 13) (5 . 15) (6 . 16)) 1808 0.5702 8.5055 ((2 . 1) (3 . 2) (6 . 5) (7 . 7)) 1867 0.8571 1.6319 ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (6 . 7) (7 . 8)) 1894 0.1498 8.0083 ((3 . 21) (4 . 24) (5 . 25) (6 . 26)) 1896 0.5701 8.7762 ((2 . 21) (3 . 22) (5 . 25) (6 . 26)) 1897 0.3767 16.7473 ((1 . 41) (4 . 45) (5 . 46) (7 . 48)) 1908 0.2945 8.7123 ((2 . 6) (3 . 7) (4 . 8) (6 . 10)) 1909 0.5711 5.8939 ((1 . 34) (2 . 36) (3 . 37) (4 . 38)) 1913 0.3790 6.8895 ((1 . 9) (3 . 12) (5 . 17) (6 . 18)) 1944 0.5714 4.2054 ((1 . 5) (2 . 6) (3 . 7) (6 . 9)) 1957 0.7132 6.2927 ((1 . 11) (2 . 12) (3 . 13) (6 . 17) (7 . 18)) 1961 0.5713 5.1336 ((1 . 16) (2 . 18) (3 . 19) (5 . 20)) 1967 0.5714 3.8036 ((1 . 3) (2 . 4) (3 . 7) (6 . 10)) 1972 0.5714 2.9841 ((1 . 16) (2 . 17) (3 . 18) (6 . 24)) 1992 0.2945 8.9246 ((1 . 9) (2 . 10) (4 . 13) (5 . 14)) 1995 0.5710 6.5531 ((1 . 1) (3 . 3) (5 . 7) (6 . 8)) 2003 0.5713 4.8622 ((1 . 4) (3 . 5) (4 . 6) (5 . 12)) 2006 0.5709 6.9045 ((1 . 8) (3 . 10) (5 . 13) (6 . 14)) 2048 0.5707 7.5888 ((1 . 4) (2 . 5) (3 . 6) (7 . 12)) 2054 0.2945 6.0911 ((2 . 9) (5 . 13) (6 . 14) (7 . 15)) 2063 0.5713 5.1879 ((1 . 44) (2 . 46) (3 . 47) (5 . 50)) 2065 0.5697 9.3207 ((1 . 18) (2 . 20) (3 . 22) (6 . 26)) 2067 0.5710 6.4526 ((1 . 54) (2 . 56) (4 . 58) (5 . 60)) 2072 0.5712 5.8379 ((1 . 2) (2 . 3) (5 . 6) (6 . 7)) 2081 0.2477 8.4848 ((3 . 6) (4 . 7) (5 . 9) (6 . 10)) 2083 0.5699 9.0754 ((1 . 2) (2 . 3) (4 . 6) (7 . 11)) 2097 0.5704 8.1194 ((2 . 2) (3 . 1) (5 . 4) (6 . 5)) 2114 0.5698 9.1118 ((1 . 28) (2 . 30) (3 . 32) (7 . 37)) 2117 0.7129 6.6814 ((1 . 12) (2 . 13) (3 . 14) (4 . 19) (6 . 20)) 2118 0.5697 9.2481 ((3 . 1) (4 . 2) (5 . 4) (6 . 5)) 2122 0.5714 3.1683 ((1 . 1) (2 . 5) (3 . 6) (6 . 10)) 2179 0.5713 4.4916 ((1 . 4) (3 . 5) (5 . 9) (6 . 10)) 2196 0.5708 7.3194 ((1 . 10) (3 . 14) (5 . 17) (6 . 18)) 2203 0.2977 5.3244 ((1 . 1) (3 . 5) (5 . 7) (6 . 10) (7 . 8)) 2205 0.3789 7.7819 ((3 . 19) (5 . 22) (6 . 23) (7 . 24)) 2209 0.5699 8.9966 ((1 . 7) (2 . 8) (3 . 9) (6 . 12)) 2243 0.4448 10.3323 ((1 . 42) (2 . 46) (4 . 48) (6 . 49)) 2244 0.5709 6.7949 ((1 . 73) (3 . 75) (5 . 78) (6 . 79)) 2248 0.1498 6.4255 ((1 . 22) (2 . 23) (4 . 26) (6 . 27)) 2249 0.5712 5.7486 ((1 . 16) (2 . 19) (3 . 20) (5 . 23)) 2269 0.5713 4.9905 ((1 . 8) (2 . 9) (3 . 10) (6 . 12)) 2279 0.3789 8.7255 ((1 . 11) (4 . 15) (5 . 20) (7 . 21)) 2298 0.5714 2.8502 ((1 . 6) (2 . 7) (3 . 8) (6 . 12)) 2308 0.5713 5.1514 ((1 . 6) (2 . 7) (3 . 8) (6 . 11)) 2314 0.5711 6.3176 ((3 . 4) (5 . 7) (6 . 8) (7 . 9)) 2340 0.9062 2.7051 ((1 . 9) (2 . 10) (3 . 11) (4 . 12) (5 . 13) (6 . 14) (7 . 15)) 2344 0.5699 9.0710 ((1 . 10) (2 . 12) (4 . 16) (6 . 20)) 2364 0.7099 8.9222 ((1 . 7) (2 . 8) (3 . 9) (4 . 11) (7 . 16)) 2381 0.1993 7.2562 ((2 . 2) (3 . 3) (5 . 6) (7 . 8)) 2389 0.5709 7.0656 ((1 . 3) (3 . 6) (5 . 9) (6 . 10)) 2408 0.5703 8.3580 ((1 . 34) (3 . 38) (5 . 41) (6 . 42)) 2409 0.4454 6.4380 ((3 . 5) (5 . 8) (6 . 9) (7 . 10)) 2410 0.2654 6.6582 ((3 . 13) (4 . 14) (5 . 17) (6 . 16) (7 . 15)) 2422 0.5704 8.0906 ((2 . 2) (3 . 4) (5 . 7) (6 . 8)) 2423 0.7138 5.0171 ((1 . 20) (3 . 22) (4 . 23) (5 . 25) (6 . 26)) 2440 0.7139 4.9647 ((1 . 4) (2 . 5) (3 . 6) (5 . 8) (6 . 9)) 2447 0.7100 8.8745 ((1 . 30) (2 . 32) (3 . 33) (4 . 35) (7 . 37)) 2462 0.5713 4.8327 ((1 . 7) (2 . 10) (3 . 11) (5 . 12)) 2510 0.5714 3.9280 ((1 . 1) (2 . 2) (3 . 5) (6 . 7)) 2525 0.4455 5.5839 ((4 . 46) (5 . 47) (6 . 48) (7 . 49)) 2529 0.9999 2.3366 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 2533 0.5713 5.0911 ((1 . 6) (2 . 7) (3 . 8) (6 . 13)) 2544 0.4453 7.7637 ((2 . 18) (4 . 20) (5 . 23) (6 . 22)) 2551 0.1498 8.0939 ((2 . 10) (3 . 11) (5 . 12) (6 . 14)) 2552 0.5710 6.7240 ((1 . 1) (2 . 2) (3 . 3) (7 . 6)) 2556 0.5714 3.3374 ((1 . 11) (3 . 13) (4 . 17) (6 . 20)) 2557 0.2945 8.0122 ((1 . 3) (2 . 5) (3 . 6) (4 . 8)) 2561 0.5710 6.5783 ((2 . 5) (3 . 6) (5 . 7) (6 . 8)) 2595 0.5714 2.6173 ((1 . 1) (2 . 2) (3 . 4) (6 . 9)) 2619 0.3788 9.6104 ((2 . 4) (3 . 5) (4 . 6) (6 . 7)) 2658 0.1498 9.5192 ((2 . 11) (3 . 12) (5 . 13) (6 . 14)) 2682 0.5686 10.5508 ((1 . 17) (2 . 18) (3 . 19) (7 . 21)) 2696 0.5706 7.6369 ((2 . 33) (3 . 34) (5 . 38) (6 . 39)) 2731 0.5712 5.4411 ((1 . 1) (2 . 2) (3 . 4) (5 . 5)) 2733 0.3787 10.1077 ((3 . 4) (4 . 6) (6 . 8) (7 . 9)) 2755 0.5709 6.9187 ((1 . 3) (2 . 4) (3 . 5) (7 . 7)) 2773 0.5710 6.4811 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 2783 0.2946 4.7063 ((2 . 4) (5 . 7) (6 . 8) (7 . 9)) 2804 0.2477 12.1155 ((3 . 31) (4 . 35) (5 . 34) (6 . 36)) 2821 0.1498 3.9995 ((1 . 11) (2 . 12) (3 . 13) (4 . 14)) 2830 0.5714 3.0311 ((1 . 11) (2 . 12) (3 . 13) (6 . 15)) 2834 0.5712 5.6438 ((1 . 1) (2 . 2) (3 . 3) (6 . 8)) 2840 0.5713 4.8821 ((3 . 6) (4 . 7) (5 . 9) (6 . 11)) 2842 0.5696 9.3716 ((2 . 8) (3 . 9) (4 . 10) (6 . 11)) 2867 0.3783 12.5853 ((1 . 2) (2 . 3) (4 . 5) (6 . 7)) 2879 0.5712 5.6479 ((1 . 53) (2 . 55) (3 . 56) (5 . 59)) 2886 0.5706 7.8009 ((1 . 30) (3 . 34) (5 . 38) (6 . 39)) 2929 0.5705 7.8608 ((1 . 36) (2 . 38) (3 . 39) (4 . 41)) 2940 0.5713 5.0693 ((2 . 2) (3 . 3) (5 . 5) (6 . 6)) 2947 0.5713 4.3591 ((1 . 4) (2 . 5) (3 . 6) (5 . 7)) 2966 0.5712 5.4880 ((1 . 9) (3 . 12) (5 . 16) (6 . 17)) 2990 0.5712 5.3433 ((2 . 8) (3 . 9) (5 . 12) (7 . 13)) 2999 0.7122 7.3536 ((1 . 2) (2 . 3) (3 . 4) (5 . 7) (6 . 6)) 3019 0.3790 7.1323 ((1 . 9) (3 . 11) (4 . 12) (6 . 14)) 3034 0.5714 4.0179 ((1 . 1) (2 . 4) (3 . 5) (6 . 7)) 3041 0.5704 8.2370 ((2 . 28) (3 . 29) (5 . 32) (6 . 33)) 3055 0.5712 5.7681 ((1 . 15) (3 . 16) (5 . 19) (6 . 23)) 3063 0.5706 7.6845 ((1 . 35) (3 . 38) (5 . 39) (6 . 41)) 3070 0.2945 6.0623 ((2 . 31) (3 . 32) (5 . 35) (6 . 36)) 3084 0.7124 7.1520 ((1 . 13) (2 . 14) (3 . 15) (6 . 17) (7 . 18)) 3102 0.5712 5.6209 ((1 . 71) (3 . 74) (5 . 77) (6 . 80)) 3103 0.5713 5.0589 ((1 . 5) (3 . 9) (5 . 11) (6 . 13)) 3120 0.4453 7.4904 ((4 . 20) (5 . 21) (6 . 22) (7 . 23)) 3127 0.5714 4.1987 ((1 . 6) (2 . 7) (3 . 8) (6 . 13)) 3147 0.5713 4.5913 ((1 . 11) (3 . 12) (5 . 16) (6 . 17)) 3176 0.3783 12.6097 ((2 . 22) (4 . 23) (5 . 26) (6 . 27)) 3187 0.5708 7.0940 ((1 . 4) (3 . 6) (6 . 9) (7 . 10)) 3190 0.7118 7.7421 ((2 . 4) (3 . 6) (5 . 9) (6 . 11) (7 . 12)) 3197 0.7131 6.4288 ((1 . 10) (2 . 11) (3 . 12) (6 . 16) (7 . 17)) 3200 0.5701 8.6662 ((1 . 4) (2 . 5) (5 . 9) (6 . 11)) 3212 0.5701 8.6714 ((2 . 6) (3 . 5) (5 . 9) (7 . 11)) 3222 0.5713 5.1923 ((1 . 1) (2 . 2) (3 . 3) (5 . 4)) 3256 0.1992 9.0864 ((1 . 18) (5 . 26) (6 . 28) (7 . 27)) 3261 0.5711 6.2196 ((2 . 5) (3 . 6) (5 . 7) (6 . 8)) 3286 0.3788 9.1169 ((4 . 2) (5 . 4) (6 . 5) (7 . 6)) 3289 0.1993 7.0756 ((3 . 25) (4 . 28) (5 . 30) (6 . 31)) 3297 0.5707 7.3867 ((1 . 7) (3 . 9) (5 . 11) (6 . 12)) 3322 0.7130 6.5643 ((1 . 1) (2 . 2) (3 . 3) (6 . 7) (7 . 8)) 3334 0.5708 7.3407 ((1 . 4) (3 . 6) (4 . 9) (5 . 10)) 3339 0.5713 5.2658 ((1 . 11) (2 . 14) (3 . 17) (6 . 19)) 3358 0.5713 5.1941 ((1 . 4) (2 . 5) (3 . 7) (6 . 10)) 3362 0.9997 2.9189 ((1 . 4) (2 . 5) (3 . 6) (4 . 9) (5 . 10) (6 . 11) (7 . 12)) 3366 0.4912 8.6877 ((3 . 24) (4 . 25) (5 . 26) (6 . 27)) 3391 0.7113 8.0830 ((1 . 4) (2 . 5) (3 . 6) (6 . 10) (7 . 12)) 3410 0.7128 6.7724 ((1 . 21) (2 . 23) (3 . 24) (4 . 27) (6 . 28)) 3418 0.5713 4.8400 ((2 . 1) (3 . 2) (5 . 5) (6 . 6)) 3446 0.3789 7.9890 ((2 . 2) (4 . 4) (5 . 5) (6 . 6)) 3472 0.5709 6.7805 ((1 . 4) (3 . 6) (5 . 11) (6 . 12)) 3481 0.5714 4.2608 ((1 . 4) (2 . 5) (3 . 8) (6 . 12)) 3489 0.5712 5.4455 ((1 . 3) (3 . 10) (5 . 12) (6 . 14)) 3495 0.3901 11.3916 ((1 . 3) (2 . 5) (3 . 7) (4 . 6) (5 . 8)) 3496 0.5707 7.3797 ((2 . 21) (3 . 22) (5 . 23) (7 . 24)) 3533 0.5702 8.5019 ((2 . 6) (3 . 5) (5 . 8) (6 . 10)) 3537 0.5695 9.5222 ((1 . 7) (2 . 8) (3 . 9) (4 . 11)) 3538 0.2478 7.4241 ((1 . 18) (3 . 20) (4 . 21) (6 . 23)) 3548 0.5707 7.6081 ((1 . 2) (3 . 4) (5 . 8) (6 . 9)) 3549 0.4454 7.2508 ((3 . 3) (5 . 5) (6 . 8) (7 . 7)) 3561 0.5712 5.2660 ((1 . 26) (3 . 28) (5 . 30) (6 . 31)) 3570 0.7142 3.1722 ((1 . 1) (2 . 2) (3 . 3) (6 . 8) (7 . 9)) 3585 0.5687 10.4374 ((1 . 6) (2 . 7) (5 . 13) (6 . 14)) 3613 0.4450 9.3570 ((3 . 36) (4 . 38) (5 . 40) (6 . 41)) 3626 0.5708 7.2022 ((2 . 1) (4 . 5) (5 . 6) (6 . 8)) 3628 0.5705 8.0392 ((1 . 6) (2 . 7) (3 . 8) (7 . 11)) 3651 0.5714 3.2950 ((1 . 1) (2 . 2) (3 . 5) (6 . 8)) 3656 0.3785 11.5245 ((2 . 20) (3 . 22) (4 . 21) (5 . 23)) 3658 0.5709 6.8806 ((1 . 1) (2 . 2) (5 . 6) (6 . 7)) 3659 0.3790 5.3684 ((3 . 9) (5 . 12) (6 . 13) (7 . 14)) 3661 0.5714 3.7592 ((2 . 18) (5 . 23) (6 . 24) (7 . 25)) 3663 0.5708 7.3294 ((3 . 1) (5 . 2) (6 . 5) (7 . 6)) 3688 0.5708 7.2702 ((1 . 26) (5 . 30) (6 . 32) (7 . 33)) 3697 0.2944 11.1664 ((1 . 7) (2 . 8) (3 . 10) (4 . 9)) 3703 0.5707 7.5547 ((2 . 5) (3 . 6) (5 . 7) (6 . 8)) 3732 0.9996 3.1271 ((1 . 5) (2 . 6) (3 . 7) (4 . 10) (5 . 11) (6 . 12) (7 . 13)) 3733 0.2495 3.3799 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 8)) 3740 0.5708 7.1905 ((1 . 3) (3 . 5) (5 . 6) (6 . 7)) 3741 0.5706 7.6300 ((1 . 21) (3 . 23) (5 . 26) (6 . 27)) 3776 0.5704 8.2582 ((1 . 15) (2 . 18) (4 . 23) (6 . 24)) 3778 0.5702 8.5458 ((1 . 4) (2 . 5) (3 . 6) (7 . 9)) 3787 0.5714 2.4446 ((1 . 27) (2 . 28) (3 . 29) (6 . 35)) 3790 0.5713 4.7960 ((1 . 3) (3 . 5) (5 . 9) (6 . 10)) 3807 0.5709 6.9431 ((1 . 43) (3 . 47) (4 . 49) (6 . 50)) 3810 0.3790 7.4538 ((1 . 6) (3 . 10) (5 . 15) (6 . 16)) 3817 0.5713 4.9283 ((1 . 5) (2 . 6) (3 . 7) (6 . 9)) 3831 0.5702 8.6052 ((2 . 4) (3 . 5) (5 . 6) (7 . 7)) 3847 0.5709 6.8505 ((2 . 11) (3 . 13) (5 . 16) (6 . 17)) 3849 0.2945 6.7035 ((1 . 1) (2 . 4) (4 . 7) (5 . 8)) 3853 0.5700 8.7909 ((1 . 6) (2 . 7) (3 . 8) (6 . 12)) 3856 0.5709 6.8041 ((1 . 3) (2 . 4) (3 . 6) (5 . 9)) 3870 0.5707 7.3956 ((1 . 3) (2 . 4) (3 . 5) (7 . 9)) 3933 0.5706 7.7324 ((1 . 5) (3 . 9) (5 . 13) (6 . 14)) 3938 0.5712 5.3948 ((2 . 1) (3 . 2) (5 . 6) (6 . 8)) 3968 0.5714 2.9137 ((1 . 3) (2 . 4) (3 . 5) (6 . 11)) 3986 0.5697 9.2446 ((1 . 25) (3 . 26) (5 . 28) (6 . 29)) 3990 0.5713 4.6376 ((1 . 20) (2 . 21) (3 . 22) (6 . 26)) 4005 0.5712 5.3314 ((1 . 24) (3 . 27) (5 . 32) (6 . 33)) 4009 0.5709 7.0261 ((3 . 15) (4 . 17) (6 . 19) (7 . 20)) 4019 0.5711 6.0564 ((1 . 42) (3 . 44) (5 . 46) (6 . 47)) 4034 0.3788 9.3433 ((2 . 8) (3 . 9) (5 . 11) (6 . 12)) 4037 0.5712 5.7272 ((1 . 1) (5 . 2) (6 . 3) (7 . 4)) 4062 0.5703 8.3069 ((2 . 45) (4 . 47) (5 . 49) (6 . 50)) 4067 0.2989 3.2165 ((1 . 14) (2 . 15) (3 . 16) (4 . 19) (5 . 20) (6 . 22)) 4077 0.4429 14.1804 ((2 . 6) (4 . 9) (5 . 10) (6 . 11)) 4082 0.3789 8.4879 ((2 . 4) (3 . 5) (5 . 8) (6 . 10)) 4087 0.5710 6.6760 ((2 . 2) (4 . 4) (5 . 5) (6 . 6)) 4112 0.0999 6.9771 ((1 . 1) (3 . 2) (4 . 7) (5 . 6)) 4115 0.5714 3.0415 ((1 . 13) (2 . 14) (3 . 15) (6 . 19)) 4151 0.5709 7.0416 ((1 . 5) (2 . 6) (3 . 7) (6 . 12)) 4177 0.5707 7.3973 ((1 . 2) (2 . 4) (5 . 8) (6 . 9)) 4190 0.1997 5.8586 ((1 . 3) (2 . 6) (3 . 1) (5 . 8) (6 . 9)) 4192 0.5714 2.5748 ((1 . 13) (2 . 14) (3 . 15) (4 . 18)) 4194 0.7142 3.1084 ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (6 . 7)) 4204 0.5713 4.4633 ((1 . 3) (2 . 4) (3 . 7) (6 . 11)) 4209 0.5702 8.5353 ((1 . 1) (3 . 4) (4 . 6) (5 . 7)) 4210 0.5700 8.8686 ((2 . 3) (3 . 4) (6 . 8) (7 . 7)) 4226 0.5714 4.1807 ((1 . 1) (3 . 4) (5 . 8) (6 . 9)) 4232 0.5703 8.3974 ((3 . 3) (5 . 5) (6 . 6) (7 . 7)) 4246 0.5689 10.2767 ((1 . 3) (3 . 7) (4 . 10) (5 . 11)) 4254 0.5713 4.8353 ((1 . 11) (2 . 12) (3 . 13) (6 . 18)) 4255 0.5714 4.0529 ((1 . 21) (2 . 22) (3 . 23) (5 . 26)) 4257 0.5710 6.4601 ((1 . 1) (2 . 2) (3 . 3) (6 . 8)) 4265 0.5709 6.9863 ((1 . 21) (2 . 22) (3 . 23) (7 . 28)) 4266 0.7106 8.5152 ((1 . 2) (2 . 3) (5 . 4) (6 . 6) (7 . 7)) 4274 0.5713 4.5915 ((1 . 38) (2 . 39) (3 . 40) (5 . 41)) 4275 0.5714 3.7900 ((1 . 21) (2 . 22) (3 . 23) (6 . 28)) 4281 0.2946 4.1220 ((1 . 3) (3 . 5) (6 . 10) (7 . 11)) 4284 0.5707 7.3596 ((1 . 1) (2 . 2) (3 . 3) (5 . 6)) 4299 0.7140 4.6158 ((1 . 6) (2 . 7) (3 . 9) (5 . 11) (6 . 14)) 4326 0.5714 3.9798 ((1 . 7) (2 . 8) (3 . 10) (6 . 15)) 4332 0.1498 7.9359 ((2 . 1) (4 . 3) (5 . 4) (7 . 5)) 4338 0.5713 4.5551 ((1 . 4) (2 . 5) (3 . 6) (7 . 9)) 4352 0.4452 8.4608 ((2 . 4) (4 . 7) (5 . 9) (6 . 10)) 4359 0.5713 4.8073 ((1 . 11) (3 . 12) (5 . 14) (6 . 15)) 4380 0.5711 6.2426 ((2 . 28) (3 . 29) (5 . 32) (6 . 36)) 4383 0.5709 6.9978 ((1 . 16) (3 . 18) (5 . 21) (6 . 22)) 4386 0.7128 6.7822 ((1 . 1) (2 . 5) (3 . 16) (5 . 18) (6 . 19)) 4388 0.5712 5.5056 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 4398 0.7130 6.5812 ((1 . 4) (2 . 5) (3 . 6) (6 . 10) (7 . 11)) 4405 0.7132 6.1990 ((1 . 14) (2 . 17) (3 . 18) (5 . 19) (6 . 25)) 4408 0.5704 8.0966 ((1 . 4) (2 . 5) (3 . 6) (7 . 10)) 4415 0.5713 4.8297 ((1 . 1) (2 . 2) (3 . 3) (7 . 5)) 4419 0.5706 7.6638 ((2 . 5) (3 . 6) (5 . 8) (6 . 9)) 4426 0.5696 9.4973 ((1 . 2) (2 . 3) (4 . 5) (5 . 6)) 4470 0.5704 8.1394 ((1 . 5) (2 . 6) (3 . 8) (7 . 11)) 4491 0.5712 5.3364 ((1 . 1) (2 . 4) (3 . 5) (5 . 6)) 4492 0.5713 4.5074 ((1 . 13) (2 . 14) (3 . 16) (6 . 21)) 4495 0.5714 3.7780 ((1 . 6) (2 . 7) (3 . 8) (4 . 11)) 4497 0.5710 6.3591 ((1 . 23) (3 . 25) (5 . 28) (6 . 30)) 4502 0.5713 4.5490 ((1 . 6) (2 . 7) (3 . 9) (6 . 14)) 4503 0.5705 7.9278 ((3 . 1) (4 . 2) (5 . 4) (6 . 5)) 4504 0.7137 5.2802 ((2 . 5) (3 . 17) (5 . 21) (6 . 22) (7 . 24)) 4505 0.5709 6.8026 ((1 . 28) (2 . 29) (3 . 30) (7 . 35)) 4516 0.5674 11.5312 ((2 . 17) (3 . 18) (4 . 19) (7 . 23)) 4527 0.1498 6.5571 ((2 . 2) (4 . 4) (5 . 6) (6 . 7)) 4538 0.5706 7.8207 ((1 . 32) (3 . 34) (4 . 36) (5 . 38)) 4551 0.5711 6.1262 ((1 . 1) (3 . 4) (4 . 7) (6 . 8)) 4560 0.7122 7.4114 ((1 . 1) (2 . 5) (5 . 6) (6 . 8) (7 . 10)) 4561 0.5714 3.5025 ((1 . 1) (2 . 4) (3 . 5) (6 . 9)) 4562 0.7138 5.1313 ((1 . 19) (3 . 25) (5 . 27) (6 . 29) (7 . 30)) 4563 0.5714 3.8638 ((1 . 26) (2 . 27) (3 . 28) (6 . 31)) 4577 0.5680 11.0275 ((1 . 48) (3 . 49) (5 . 52) (6 . 54)) 4588 0.7115 7.9249 ((1 . 1) (2 . 2) (3 . 3) (6 . 11) (7 . 12)) 4589 0.5710 6.4180 ((1 . 18) (3 . 22) (5 . 23) (7 . 24)) 4607 0.2945 8.7022 ((2 . 2) (3 . 4) (4 . 5) (7 . 9)) 4621 0.5707 7.3566 ((1 . 3) (2 . 5) (5 . 9) (6 . 11)) 4630 0.5707 7.3614 ((1 . 25) (3 . 28) (5 . 33) (6 . 34)) 4653 0.7137 5.2776 ((1 . 1) (2 . 2) (3 . 4) (5 . 6) (6 . 7)) 4668 0.5714 2.6887 ((1 . 1) (2 . 2) (3 . 5) (6 . 9)) 4669 0.5712 5.5835 ((1 . 19) (2 . 20) (3 . 21) (4 . 23)) 4671 0.5703 8.3663 ((1 . 11) (3 . 14) (4 . 16) (6 . 18)) 4674 0.5709 6.7992 ((1 . 2) (2 . 4) (5 . 8) (6 . 9)) 4678 0.5707 7.5479 ((1 . 10) (3 . 12) (5 . 15) (6 . 16)) 4713 0.5712 5.6894 ((3 . 5) (5 . 8) (6 . 9) (7 . 10)) 4731 0.4453 7.8985 ((1 . 18) (2 . 17) (4 . 19) (6 . 22)) 4857 0.7091 9.3048 ((1 . 3) (2 . 4) (3 . 5) (5 . 9) (6 . 11)) 4886 0.5710 6.5138 ((3 . 1) (4 . 3) (6 . 4) (7 . 6)) 4888 0.5698 9.1219 ((1 . 9) (2 . 10) (5 . 14) (6 . 15)) 4914 0.5709 6.7641 ((1 . 4) (3 . 6) (5 . 9) (6 . 10)) 4921 0.5711 5.9619 ((1 . 9) (3 . 12) (5 . 14) (6 . 15)) 4932 0.8556 5.4137 ((1 . 6) (2 . 7) (3 . 8) (4 . 9) (5 . 5) (6 . 1)) 4940 0.5700 8.8243 ((3 . 2) (5 . 4) (6 . 6) (7 . 5)) 4944 0.7140 4.6654 ((1 . 11) (2 . 12) (3 . 14) (5 . 15) (6 . 16)) 4961 0.5713 4.6880 ((1 . 7) (2 . 11) (3 . 14) (5 . 15)) 4978 0.5713 5.1251 ((1 . 30) (2 . 31) (3 . 32) (4 . 33)) 4982 0.5714 3.7556 ((1 . 1) (2 . 2) (3 . 3) (6 . 6)) 4992 0.8558 5.3012 ((1 . 6) (2 . 7) (3 . 8) (5 . 9) (6 . 3) (7 . 4)) 4998 0.5701 8.6703 ((1 . 15) (2 . 16) (5 . 19) (6 . 20)) 5029 0.7101 8.7712 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (7 . 9)) 5038 0.5708 7.2647 ((1 . 10) (2 . 13) (3 . 14) (5 . 18)) 5039 0.5714 2.9922 ((1 . 37) (2 . 38) (3 . 39) (6 . 44)) 5044 0.5703 8.4007 ((1 . 1) (3 . 3) (5 . 8) (6 . 9)) 5046 0.1992 8.7543 ((1 . 3) (5 . 8) (6 . 10) (7 . 9)) 5053 0.2945 7.7999 ((2 . 1) (3 . 2) (5 . 3) (6 . 5)) 5065 0.5711 6.2300 ((2 . 1) (3 . 2) (4 . 5) (6 . 8)) 5068 0.5696 9.4944 ((2 . 6) (3 . 7) (4 . 9) (7 . 11)) 5069 0.7116 7.8422 ((1 . 2) (2 . 3) (3 . 4) (4 . 6) (7 . 8)) 5073 0.3907 4.1972 ((1 . 32) (2 . 33) (3 . 34) (5 . 36) (6 . 39)) 5080 0.5668 11.9681 ((1 . 3) (2 . 5) (4 . 6) (7 . 8)) 5083 0.1664 8.4714 ((3 . 1) (4 . 3) (6 . 5) (7 . 4)) 5101 0.5714 3.0370 ((1 . 1) (2 . 2) (3 . 3) (6 . 7)) 5103 0.5714 4.2517 ((1 . 6) (2 . 8) (3 . 9) (4 . 11)) 5121 0.5711 6.0742 ((3 . 16) (4 . 17) (5 . 18) (7 . 22)) 5132 0.5713 4.5290 ((1 . 18) (2 . 19) (3 . 20) (6 . 22)) 5134 0.5712 5.2970 ((1 . 2) (2 . 18) (3 . 19) (4 . 20)) 5145 0.7141 4.1897 ((1 . 3) (2 . 4) (3 . 5) (4 . 9) (5 . 10)) 5167 0.5702 8.5836 ((1 . 1) (2 . 2) (3 . 3) (7 . 7)) 5176 0.4454 6.5766 ((1 . 82) (4 . 85) (5 . 86) (6 . 87)) 5183 0.5712 5.6111 ((3 . 34) (5 . 37) (6 . 38) (7 . 39)) 5192 0.5707 7.5658 ((2 . 13) (4 . 15) (6 . 17) (7 . 18)) 5198 0.5707 7.3934 ((1 . 24) (2 . 25) (3 . 26) (6 . 32)) 5209 0.7109 8.3146 ((1 . 4) (2 . 6) (3 . 7) (5 . 8) (6 . 9)) 5212 0.2945 5.8777 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 5215 0.5694 9.7347 ((1 . 9) (4 . 13) (6 . 15) (7 . 17)) 5223 0.5709 7.0467 ((1 . 8) (2 . 9) (3 . 10) (6 . 15)) 5231 0.4454 6.4064 ((3 . 8) (4 . 9) (5 . 12) (6 . 13)) 5266 0.5714 3.2213 ((1 . 2) (2 . 3) (3 . 4) (6 . 8)) 5278 0.5705 8.0630 ((1 . 5) (3 . 7) (5 . 10) (6 . 12)) 5307 0.7142 3.4955 ((1 . 51) (2 . 52) (3 . 53) (5 . 57) (6 . 58)) 5318 0.5714 3.4055 ((1 . 8) (2 . 9) (3 . 11) (4 . 12)) 5324 0.5713 5.0719 ((1 . 22) (3 . 25) (4 . 27) (5 . 28)) 5344 0.5710 6.5305 ((1 . 4) (2 . 5) (5 . 9) (6 . 10)) 5345 0.5714 4.2618 ((1 . 12) (3 . 14) (5 . 17) (6 . 18)) 5368 0.5713 4.9864 ((1 . 25) (3 . 27) (5 . 30) (6 . 32)) 5378 0.2946 5.2565 ((1 . 15) (3 . 16) (4 . 20) (6 . 21)) 5411 0.5713 4.4588 ((1 . 3) (2 . 5) (3 . 6) (5 . 8)) 5414 0.5711 5.9359 ((1 . 15) (3 . 18) (5 . 21) (6 . 22)) 5418 0.5708 7.2689 ((1 . 1) (3 . 3) (5 . 7) (6 . 8)) 5433 0.5711 5.9049 ((1 . 7) (3 . 10) (5 . 14) (6 . 16)) 5479 0.5698 9.2274 ((1 . 53) (3 . 55) (5 . 59) (6 . 60)) 5487 0.5697 9.2605 ((1 . 2) (2 . 5) (3 . 7) (6 . 11)) 5489 0.5692 9.9229 ((1 . 9) (3 . 11) (5 . 14) (6 . 16)) 5500 0.5699 9.0762 ((1 . 2) (2 . 6) (3 . 7) (4 . 10)) 5501 0.5705 8.0004 ((2 . 21) (4 . 22) (5 . 24) (6 . 25)) 5535 0.1993 8.3729 ((1 . 6) (3 . 8) (6 . 12) (7 . 13)) 5540 0.5713 5.2227 ((1 . 1) (2 . 2) (3 . 3) (5 . 4)) 5560 0.7123 7.2456 ((1 . 15) (2 . 16) (3 . 17) (6 . 20) (7 . 21)) 5562 0.1993 6.1718 ((1 . 11) (3 . 14) (4 . 15) (7 . 18)) 5567 0.5711 6.1137 ((1 . 15) (3 . 17) (5 . 18) (6 . 19)) 5594 0.5712 5.3094 ((1 . 1) (2 . 2) (3 . 4) (4 . 5)) 5600 0.5712 5.6954 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 5601 0.7128 6.7795 ((1 . 1) (3 . 3) (4 . 4) (5 . 12) (6 . 16)) 5640 0.5713 5.1182 ((1 . 19) (3 . 21) (5 . 24) (6 . 25)) 5644 0.5712 5.5190 ((1 . 4) (3 . 8) (5 . 13) (6 . 14)) 5656 0.7104 8.6543 ((1 . 5) (2 . 6) (3 . 8) (6 . 14) (7 . 15)) 5700 0.5699 9.0560 ((1 . 2) (3 . 3) (6 . 6) (7 . 7)) 5701 0.7137 5.4396 ((1 . 6) (2 . 7) (3 . 8) (4 . 10) (6 . 11)) 5703 0.5708 7.1713 ((1 . 2) (2 . 3) (5 . 7) (6 . 8)) 5711 0.5698 9.1275 ((1 . 29) (3 . 31) (5 . 35) (6 . 36)) 5713 0.5713 4.3956 ((1 . 10) (3 . 13) (5 . 16) (6 . 18)) 5718 0.3790 5.0470 ((3 . 21) (4 . 22) (5 . 23) (6 . 24)) 5731 0.5707 7.3806 ((1 . 5) (2 . 6) (3 . 7) (4 . 8)) 5746 0.5712 5.4921 ((1 . 3) (2 . 5) (3 . 6) (5 . 10)) 5749 0.5707 7.5354 ((2 . 2) (3 . 3) (5 . 4) (6 . 5)) 5761 0.4455 5.8197 ((3 . 28) (4 . 29) (5 . 30) (6 . 31)) 5770 0.5710 6.6241 ((1 . 6) (2 . 7) (4 . 10) (5 . 12)) 5771 0.5707 7.3856 ((1 . 17) (2 . 19) (3 . 20) (7 . 22)) 5782 0.7123 7.2523 ((2 . 23) (3 . 24) (5 . 29) (6 . 30) (7 . 31)) 5794 0.5709 6.7721 ((1 . 16) (2 . 17) (3 . 18) (4 . 22)) 5809 0.5708 7.3314 ((1 . 3) (2 . 4) (3 . 5) (6 . 9)) 5822 0.5701 8.7646 ((3 . 1) (5 . 2) (6 . 4) (7 . 5)) 5827 0.7132 6.2254 ((1 . 8) (2 . 10) (3 . 11) (5 . 14) (6 . 15)) 5830 0.5712 5.5625 ((1 . 7) (2 . 9) (4 . 11) (5 . 13)) 5847 0.5707 7.6020 ((1 . 1) (3 . 3) (5 . 8) (6 . 9)) 5861 0.5708 7.2727 ((1 . 15) (3 . 17) (5 . 21) (6 . 22)) 5865 0.2946 4.4672 ((1 . 4) (2 . 6) (3 . 7) (4 . 8)) 5878 0.2946 4.9019 ((3 . 25) (4 . 24) (5 . 29) (6 . 30)) 5888 0.5713 4.6169 ((1 . 8) (3 . 9) (5 . 12) (6 . 13)) 5896 0.5714 3.5923 ((1 . 26) (2 . 27) (3 . 28) (5 . 31)) 5904 0.5710 6.5517 ((1 . 4) (2 . 6) (3 . 7) (6 . 11)) 5913 0.1993 8.3492 ((2 . 1) (4 . 4) (5 . 6) (6 . 7)) 5914 0.5711 6.0923 ((4 . 4) (5 . 5) (6 . 6) (7 . 7)) 5922 0.5703 8.4389 ((1 . 8) (3 . 10) (5 . 11) (6 . 13)) 5930 0.7105 8.5628 ((1 . 2) (2 . 3) (3 . 4) (4 . 6) (6 . 7)) 5939 0.5706 7.6970 ((1 . 2) (2 . 3) (3 . 4) (6 . 8)) 5945 0.5704 8.1036 ((1 . 28) (2 . 30) (3 . 32) (5 . 33)) 5949 0.5714 3.7519 ((1 . 9) (2 . 11) (3 . 12) (4 . 13)) 5955 0.5708 7.2439 ((1 . 1) (2 . 2) (3 . 3) (7 . 8)) 5967 0.5713 4.5819 ((1 . 1) (2 . 2) (3 . 3) (4 . 6)) 5972 0.3789 7.7826 ((2 . 1) (4 . 5) (5 . 7) (6 . 6)) 5977 0.5712 5.7040 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 6000 0.4450 9.3030 ((2 . 27) (4 . 30) (6 . 31) (7 . 32)) 6011 0.5705 7.9948 ((1 . 2) (3 . 4) (5 . 9) (6 . 10)) 6022 0.5712 5.8292 ((1 . 2) (3 . 4) (5 . 8) (6 . 9)) 6029 0.5713 4.5870 ((1 . 6) (2 . 7) (3 . 10) (5 . 11)) 6041 0.5711 6.0759 ((2 . 6) (3 . 8) (5 . 11) (6 . 12)) 6046 0.5711 6.2517 ((2 . 1) (3 . 2) (5 . 6) (7 . 7)) 6061 0.5713 4.8598 ((3 . 13) (5 . 14) (6 . 15) (7 . 16)) 6074 0.7090 9.3361 ((1 . 6) (2 . 7) (5 . 11) (6 . 13) (7 . 14)) 6075 0.5714 3.2553 ((1 . 17) (2 . 19) (3 . 20) (6 . 24)) 6079 0.5710 6.4240 ((1 . 1) (2 . 2) (5 . 7) (6 . 8)) 6087 0.2946 4.1598 ((1 . 8) (2 . 9) (3 . 10) (4 . 11)) 6089 0.5712 5.5950 ((2 . 8) (3 . 11) (4 . 15) (6 . 16)) 6094 0.5709 6.7942 ((2 . 6) (3 . 7) (4 . 8) (5 . 11)) 6099 0.5712 5.4032 ((1 . 6) (3 . 9) (5 . 10) (6 . 11)) 6142 0.5711 6.1306 ((1 . 10) (3 . 12) (5 . 15) (6 . 16)) 6148 0.5711 6.2649 ((1 . 32) (2 . 35) (3 . 36) (5 . 37)) 6173 0.5713 5.0841 ((1 . 3) (3 . 5) (5 . 9) (6 . 11)) 6191 0.2945 9.7339 ((2 . 5) (3 . 6) (5 . 9) (6 . 10)) 6192 0.5712 5.7168 ((1 . 1) (2 . 2) (3 . 3) (6 . 5)) 6215 0.1332 8.0156 ((3 . 17) (5 . 19) (6 . 20) (7 . 22)) 6225 0.3790 4.5517 ((2 . 9) (3 . 10) (4 . 11) (6 . 12)) 6228 0.7138 5.1833 ((1 . 1) (2 . 2) (3 . 3) (6 . 7) (7 . 8)) 6234 0.5700 8.8658 ((1 . 7) (3 . 10) (5 . 13) (6 . 15)) 6238 0.5710 6.3633 ((1 . 3) (3 . 5) (4 . 6) (6 . 8)) 6243 0.5711 6.1923 ((1 . 3) (2 . 5) (3 . 6) (6 . 10)) 6251 0.5711 6.1568 ((1 . 15) (3 . 17) (4 . 18) (7 . 20)) 6258 0.6943 4.8197 ((1 . 7) (2 . 8) (3 . 9) (4 . 11) (6 . 13) (7 . 14)) 6261 0.5714 2.4202 ((1 . 1) (2 . 2) (3 . 3) (6 . 9)) 6266 0.5698 9.1847 ((1 . 6) (2 . 7) (3 . 8) (7 . 12)) 6270 0.5713 4.6702 ((1 . 15) (2 . 16) (3 . 17) (5 . 18)) 6271 0.5588 15.4681 ((1 . 1) (3 . 3) (5 . 5) (6 . 7)) 6294 0.5714 3.0622 ((2 . 10) (3 . 11) (4 . 15) (6 . 16)) 6306 0.5700 8.8010 ((3 . 15) (5 . 16) (6 . 17) (7 . 18)) 6309 0.5713 4.8101 ((1 . 17) (2 . 19) (3 . 20) (5 . 25)) 6311 0.5712 5.5072 ((1 . 4) (3 . 9) (5 . 10) (6 . 11)) 6326 0.5707 7.3976 ((1 . 1) (3 . 2) (5 . 4) (6 . 5)) 6344 0.5713 4.9748 ((3 . 13) (4 . 16) (5 . 18) (6 . 19)) 6345 0.5671 11.7494 ((1 . 7) (2 . 8) (4 . 9) (5 . 11)) 6348 0.5712 5.4550 ((1 . 1) (3 . 4) (4 . 6) (7 . 8)) 6355 0.5712 5.7433 ((1 . 9) (4 . 13) (6 . 15) (7 . 16)) 6356 0.7080 9.7568 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (7 . 8)) 6369 0.5707 7.4367 ((1 . 20) (2 . 21) (3 . 22) (6 . 26)) 6376 0.5714 3.3166 ((1 . 17) (2 . 18) (3 . 19) (6 . 24)) 6392 0.5713 5.1925 ((1 . 9) (4 . 14) (6 . 15) (7 . 16)) 6399 0.5713 5.0433 ((1 . 25) (3 . 27) (5 . 30) (6 . 31)) 6403 0.5710 6.4799 ((1 . 7) (2 . 9) (3 . 10) (5 . 13)) 6434 0.5713 4.8147 ((2 . 1) (3 . 2) (5 . 3) (6 . 4)) 6461 0.1498 7.5128 ((1 . 3) (2 . 4) (6 . 6) (7 . 7)) 6462 0.5712 5.6287 ((1 . 20) (3 . 22) (4 . 23) (5 . 24)) 6476 0.5698 9.1921 ((2 . 1) (3 . 4) (4 . 6) (7 . 7)) 6498 0.5712 5.7653 ((1 . 37) (3 . 40) (4 . 41) (7 . 46)) 6520 0.7118 7.7297 ((1 . 9) (2 . 11) (3 . 13) (5 . 14) (6 . 15)) 6536 0.5708 7.2864 ((2 . 33) (5 . 35) (6 . 36) (7 . 37)) 6539 0.5714 3.7475 ((1 . 2) (2 . 3) (3 . 4) (5 . 8)) 6540 0.5712 5.3326 ((1 . 16) (3 . 18) (5 . 21) (6 . 22)) 6548 0.6944 4.4843 ((1 . 7) (2 . 8) (3 . 9) (4 . 10) (5 . 12) (6 . 13)) 6553 0.7113 8.0596 ((1 . 11) (2 . 12) (3 . 15) (4 . 16) (7 . 19)) 6555 0.5458 18.7590 ((1 . 23) (3 . 25) (5 . 30) (6 . 31)) 6561 0.5709 7.0148 ((1 . 12) (3 . 13) (5 . 15) (7 . 16)) 6573 0.5710 6.5312 ((1 . 17) (2 . 18) (3 . 19) (5 . 23)) 6578 0.5694 9.7337 ((1 . 31) (2 . 33) (3 . 34) (7 . 39)) 6584 0.5707 7.4457 ((2 . 4) (3 . 5) (5 . 8) (6 . 9)) 6585 0.5714 4.2044 ((1 . 6) (2 . 7) (3 . 8) (5 . 11)) 6586 0.5709 6.8009 ((1 . 18) (2 . 19) (4 . 22) (6 . 24)) 6587 0.7140 4.4448 ((1 . 29) (2 . 30) (3 . 31) (5 . 34) (7 . 35)) 6598 0.5713 4.6886 ((2 . 12) (3 . 13) (5 . 16) (6 . 17)) 6613 0.5709 6.8147 ((1 . 21) (3 . 22) (5 . 24) (7 . 26)) 6635 0.5714 3.7521 ((1 . 1) (2 . 3) (3 . 4) (5 . 7)) END