6123 62 0.5697 9.2763 ((3 . 10) (4 . 12) (5 . 13) (7 . 15)) 64 0.5704 8.2277 ((1 . 3) (2 . 4) (3 . 6) (4 . 7)) 91 0.5699 9.0863 ((1 . 40) (3 . 44) (4 . 45) (7 . 47)) 129 0.5710 6.5665 ((2 . 1) (3 . 2) (4 . 3) (5 . 5)) 136 0.3788 9.3266 ((1 . 3) (4 . 5) (6 . 6) (7 . 9)) 153 0.5707 7.4665 ((2 . 8) (3 . 9) (4 . 10) (5 . 12)) 157 0.4452 8.2935 ((1 . 8) (2 . 9) (5 . 11) (7 . 12)) 161 0.2477 10.2073 ((3 . 3) (4 . 4) (5 . 6) (7 . 7)) 169 0.5714 3.2753 ((1 . 1) (2 . 2) (3 . 3) (5 . 5)) 177 0.5677 11.2870 ((1 . 5) (4 . 7) (5 . 8) (7 . 9)) 191 0.2478 7.2118 ((2 . 1) (3 . 2) (5 . 4) (6 . 3)) 198 0.3789 9.0324 ((2 . 8) (3 . 9) (4 . 10) (5 . 12)) 233 0.5703 8.4322 ((1 . 3) (3 . 5) (4 . 7) (5 . 8)) 300 0.5678 11.2135 ((1 . 14) (3 . 16) (4 . 17) (5 . 18)) 305 0.5712 5.6773 ((1 . 9) (3 . 11) (4 . 12) (6 . 14)) 307 0.1992 9.2533 ((1 . 3) (4 . 7) (6 . 8) (7 . 10)) 315 0.5707 7.5891 ((1 . 4) (3 . 5) (4 . 6) (6 . 7)) 350 0.5709 6.9700 ((1 . 15) (2 . 16) (3 . 17) (5 . 20)) 360 0.7133 6.1288 ((1 . 3) (2 . 5) (3 . 6) (4 . 7) (5 . 8)) 361 0.3788 9.9268 ((1 . 1) (3 . 2) (6 . 3) (7 . 5)) 365 0.7108 8.3827 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (7 . 7)) 367 0.5711 6.3249 ((2 . 40) (3 . 42) (4 . 43) (5 . 44)) 372 0.5714 3.8417 ((2 . 5) (3 . 6) (4 . 7) (5 . 8)) 387 0.5701 8.6973 ((2 . 9) (3 . 10) (4 . 11) (5 . 12)) 405 0.5710 6.5033 ((2 . 32) (3 . 33) (4 . 35) (5 . 37)) 417 0.5709 6.9444 ((2 . 1) (3 . 2) (4 . 3) (7 . 6)) 420 0.7132 6.2109 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5)) 433 0.5705 8.0155 ((3 . 5) (4 . 6) (5 . 7) (7 . 8)) 442 0.1993 5.8717 ((1 . 19) (2 . 20) (3 . 21) (5 . 22)) 460 0.5697 9.2676 ((3 . 6) (4 . 7) (5 . 8) (7 . 9)) 472 0.5681 11.0010 ((2 . 20) (3 . 21) (4 . 22) (7 . 23)) 495 0.2944 11.3875 ((2 . 8) (3 . 9) (5 . 11) (6 . 12)) 541 0.5702 8.5780 ((3 . 2) (4 . 3) (5 . 5) (7 . 6)) 543 0.5711 6.1852 ((2 . 5) (3 . 6) (6 . 7) (7 . 9)) 561 0.5689 10.1969 ((1 . 1) (4 . 3) (5 . 4) (7 . 5)) 584 0.5711 5.9910 ((1 . 28) (4 . 31) (5 . 32) (6 . 33)) 587 0.5711 6.0029 ((2 . 3) (3 . 4) (4 . 6) (5 . 7)) 619 0.5709 7.0458 ((2 . 6) (3 . 7) (4 . 8) (5 . 9)) 624 0.5687 10.4649 ((1 . 7) (3 . 9) (5 . 11) (7 . 12)) 635 0.5704 8.1469 ((3 . 13) (4 . 14) (5 . 15) (7 . 17)) 672 0.5697 9.3387 ((1 . 15) (2 . 16) (4 . 18) (5 . 20)) 678 0.4450 9.4630 ((2 . 22) (4 . 24) (6 . 25) (7 . 27)) 683 0.5699 9.0207 ((2 . 1) (3 . 2) (4 . 3) (6 . 4)) 719 0.5704 8.2259 ((2 . 23) (4 . 25) (5 . 27) (7 . 29)) 729 0.5688 10.3308 ((1 . 7) (3 . 9) (5 . 13) (7 . 14)) 735 0.5711 6.2107 ((2 . 32) (3 . 33) (4 . 36) (5 . 37)) 740 0.5708 7.2163 ((1 . 2) (2 . 3) (4 . 5) (5 . 6)) 765 0.2945 10.5296 ((1 . 10) (2 . 11) (3 . 12) (5 . 17)) 767 0.2945 6.5956 ((1 . 8) (2 . 9) (3 . 10) (4 . 11)) 796 0.5680 11.0860 ((1 . 3) (4 . 5) (5 . 6) (7 . 7)) 801 0.1993 5.8892 ((2 . 4) (3 . 5) (4 . 6) (5 . 7)) 818 0.4439 12.5052 ((3 . 7) (5 . 8) (6 . 9) (7 . 11)) 819 0.5709 6.9522 ((2 . 8) (3 . 9) (4 . 10) (6 . 11)) 824 0.5714 3.8314 ((2 . 49) (3 . 50) (4 . 51) (5 . 53)) 861 0.5713 4.5487 ((2 . 15) (3 . 16) (4 . 17) (5 . 18)) 904 0.3790 4.9893 ((2 . 2) (3 . 3) (4 . 7) (5 . 6)) 943 0.1992 10.0299 ((1 . 2) (3 . 4) (4 . 6) (7 . 7)) 960 0.5691 9.9895 ((3 . 1) (4 . 2) (5 . 4) (7 . 5)) 1005 0.2945 8.3839 ((3 . 1) (4 . 2) (6 . 3) (7 . 5)) 1007 0.5710 6.6682 ((1 . 7) (2 . 8) (3 . 9) (5 . 11)) 1034 0.4449 9.8637 ((2 . 21) (3 . 22) (6 . 24) (7 . 27)) 1043 0.2945 10.0358 ((1 . 10) (4 . 12) (5 . 14) (7 . 15)) 1082 0.5690 10.1060 ((3 . 1) (4 . 2) (5 . 4) (7 . 5)) 1084 0.5697 9.2871 ((2 . 10) (3 . 12) (4 . 11) (6 . 15)) 1121 0.5714 3.2598 ((2 . 2) (3 . 3) (4 . 4) (5 . 5)) 1165 0.1993 5.5969 ((2 . 2) (3 . 3) (4 . 4) (6 . 5)) 1167 0.5712 5.7077 ((3 . 20) (4 . 21) (5 . 22) (7 . 24)) 1169 0.7130 6.5258 ((1 . 31) (2 . 32) (3 . 33) (4 . 34) (5 . 35)) 1201 0.5706 7.6857 ((2 . 15) (3 . 16) (4 . 17) (6 . 19)) 1204 0.3782 13.1239 ((1 . 1) (5 . 3) (6 . 4) (7 . 6)) 1211 0.5711 6.1879 ((1 . 8) (3 . 9) (4 . 10) (5 . 11)) 1217 0.4453 7.6114 ((1 . 3) (2 . 5) (3 . 7) (6 . 8)) 1224 0.5694 9.6509 ((1 . 6) (4 . 9) (5 . 10) (7 . 11)) 1233 0.5707 7.3757 ((1 . 20) (3 . 22) (4 . 23) (5 . 24)) 1268 0.2477 10.0606 ((3 . 3) (4 . 4) (6 . 5) (7 . 8)) 1294 0.1992 10.8917 ((1 . 40) (2 . 41) (4 . 43) (5 . 44)) 1345 0.5710 6.4247 ((1 . 12) (3 . 13) (4 . 14) (5 . 16)) 1366 0.5706 7.7275 ((1 . 15) (2 . 16) (3 . 17) (5 . 20)) 1388 0.1664 8.5940 ((1 . 5) (5 . 8) (6 . 10) (7 . 12)) 1425 0.0999 8.7832 ((1 . 4) (3 . 6) (4 . 8) (5 . 10)) 1435 0.3789 9.0206 ((1 . 1) (3 . 2) (4 . 3) (6 . 4)) 1447 0.1663 13.7150 ((1 . 3) (5 . 5) (6 . 6) (7 . 8)) 1451 0.5706 7.7341 ((2 . 3) (3 . 5) (5 . 6) (6 . 7)) 1464 0.5698 9.2032 ((3 . 7) (4 . 8) (5 . 10) (6 . 9)) 1472 0.2477 10.7377 ((3 . 8) (4 . 7) (6 . 10) (7 . 11)) 1501 0.5714 4.1803 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 1514 0.5714 2.8408 ((2 . 3) (3 . 4) (4 . 1) (5 . 6)) 1577 0.5634 13.7603 ((2 . 3) (3 . 4) (4 . 5) (7 . 9)) 1604 0.5683 10.7671 ((2 . 1) (3 . 3) (5 . 7) (7 . 9)) 1624 0.5708 7.3129 ((2 . 5) (3 . 6) (5 . 8) (7 . 11)) 1643 0.7130 6.4890 ((1 . 26) (2 . 27) (3 . 32) (4 . 33) (5 . 34)) 1644 0.5713 4.6859 ((2 . 43) (3 . 44) (4 . 47) (5 . 51)) 1690 0.4449 9.7036 ((1 . 19) (3 . 21) (6 . 23) (7 . 26)) 1692 0.3789 7.6842 ((1 . 5) (2 . 6) (3 . 7) (5 . 8)) 1738 0.5712 5.7754 ((3 . 11) (4 . 13) (5 . 14) (6 . 15)) 1747 0.7134 5.9785 ((1 . 38) (2 . 43) (3 . 44) (4 . 45) (5 . 46)) 1756 0.5713 4.7318 ((2 . 22) (3 . 23) (4 . 25) (5 . 26)) 1759 0.7125 7.0974 ((1 . 2) (2 . 4) (3 . 5) (4 . 6) (5 . 8)) 1761 0.4454 7.0801 ((1 . 2) (3 . 4) (4 . 5) (6 . 6)) 1763 0.4453 7.7145 ((2 . 7) (3 . 9) (4 . 10) (7 . 12)) 1776 0.5693 9.8348 ((1 . 14) (3 . 15) (4 . 16) (7 . 21)) 1777 0.5708 7.1216 ((2 . 47) (3 . 49) (4 . 50) (5 . 52)) 1778 0.7046 10.9010 ((1 . 2) (3 . 3) (4 . 4) (5 . 5) (7 . 6)) 1793 0.5648 13.1100 ((3 . 13) (4 . 14) (6 . 15) (7 . 16)) 1805 0.5714 3.0333 ((3 . 2) (4 . 3) (5 . 4) (6 . 5)) 1808 0.5711 6.2330 ((2 . 2) (3 . 4) (4 . 5) (5 . 6)) 1817 0.5714 4.0469 ((2 . 13) (3 . 14) (4 . 15) (5 . 16)) 1867 0.5707 7.5898 ((1 . 1) (3 . 3) (6 . 4) (7 . 8)) 1894 0.2945 6.8372 ((2 . 19) (3 . 20) (4 . 21) (5 . 22)) 1896 0.4452 8.3706 ((2 . 23) (4 . 26) (5 . 27) (7 . 30)) 1897 0.1992 10.5058 ((2 . 39) (3 . 40) (4 . 41) (7 . 44)) 1909 0.2944 11.1523 ((3 . 29) (5 . 31) (6 . 32) (7 . 33)) 1913 0.5703 8.3724 ((2 . 15) (3 . 17) (4 . 18) (5 . 19)) 1944 0.5641 13.4219 ((3 . 23) (4 . 24) (6 . 25) (7 . 26)) 1961 0.5705 7.9358 ((3 . 14) (4 . 15) (5 . 16) (7 . 18)) 1967 0.4905 10.3538 ((1 . 1) (3 . 3) (6 . 4) (7 . 6)) 1992 0.2944 12.0172 ((1 . 9) (4 . 12) (5 . 14) (6 . 13)) 1995 0.2945 8.8017 ((3 . 1) (4 . 2) (5 . 3) (7 . 5)) 2003 0.5713 4.9186 ((2 . 8) (3 . 9) (4 . 10) (5 . 11)) 2006 0.7136 5.6619 ((1 . 7) (2 . 11) (3 . 12) (4 . 13) (5 . 14)) 2045 0.1992 13.8192 ((1 . 1) (4 . 3) (6 . 5) (7 . 4)) 2054 0.5698 9.1467 ((3 . 13) (4 . 14) (6 . 15) (7 . 16)) 2063 0.5711 5.9196 ((2 . 42) (3 . 43) (4 . 44) (5 . 45)) 2065 0.5706 7.8415 ((1 . 18) (2 . 19) (4 . 22) (5 . 23)) 2067 0.5652 12.8789 ((3 . 59) (4 . 60) (6 . 61) (7 . 62)) 2072 0.5701 8.7531 ((2 . 4) (3 . 6) (4 . 7) (7 . 9)) 2081 0.2478 7.1919 ((3 . 19) (4 . 20) (5 . 21) (7 . 24)) 2083 0.5700 8.8420 ((2 . 1) (3 . 2) (5 . 4) (7 . 6)) 2114 0.5692 9.9475 ((1 . 32) (3 . 34) (4 . 36) (7 . 38)) 2116 0.5710 6.5314 ((1 . 5) (3 . 6) (4 . 7) (5 . 8)) 2117 0.5704 8.0805 ((1 . 14) (2 . 16) (3 . 17) (5 . 22)) 2118 0.2477 11.3622 ((1 . 5) (4 . 7) (6 . 8) (7 . 9)) 2122 0.5703 8.3377 ((3 . 14) (4 . 15) (6 . 16) (7 . 19)) 2166 0.2478 7.2896 ((2 . 7) (4 . 8) (5 . 9) (7 . 10)) 2179 0.7130 6.5494 ((1 . 4) (2 . 5) (3 . 6) (4 . 7) (5 . 9)) 2196 0.5712 5.8315 ((2 . 16) (3 . 17) (4 . 18) (5 . 19)) 2203 0.1992 11.0925 ((2 . 1) (5 . 5) (6 . 3) (7 . 8)) 2205 0.5710 6.5303 ((2 . 17) (3 . 18) (4 . 19) (5 . 20)) 2209 0.1664 8.6213 ((2 . 3) (4 . 5) (5 . 6) (7 . 8)) 2220 0.5709 6.9491 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 2243 0.5712 5.7201 ((2 . 52) (3 . 53) (4 . 54) (5 . 55)) 2244 0.7124 7.1616 ((1 . 69) (2 . 70) (3 . 71) (4 . 74) (5 . 75)) 2249 0.5688 10.2954 ((3 . 16) (4 . 17) (5 . 18) (7 . 19)) 2269 0.4447 10.5904 ((2 . 7) (3 . 8) (6 . 9) (7 . 11)) 2279 0.1992 11.8310 ((2 . 8) (3 . 9) (6 . 12) (7 . 15)) 2298 0.5693 9.8396 ((3 . 10) (5 . 12) (6 . 13) (7 . 14)) 2314 0.2945 8.5191 ((1 . 4) (3 . 7) (4 . 8) (6 . 9)) 2340 0.5688 10.3614 ((1 . 9) (4 . 11) (5 . 13) (6 . 12)) 2344 0.4893 12.3183 ((1 . 11) (3 . 13) (6 . 16) (7 . 17)) 2364 0.5709 7.0076 ((1 . 15) (3 . 18) (4 . 19) (5 . 20)) 2381 0.5696 9.4882 ((3 . 3) (4 . 4) (5 . 5) (7 . 8)) 2389 0.5711 6.2327 ((2 . 6) (3 . 7) (4 . 8) (5 . 9)) 2408 0.5707 7.4472 ((2 . 38) (3 . 39) (4 . 40) (5 . 41)) 2409 0.5710 6.5198 ((2 . 3) (3 . 4) (4 . 5) (5 . 6)) 2422 0.3790 7.4126 ((3 . 6) (4 . 7) (5 . 8) (7 . 10)) 2423 0.5705 7.9021 ((1 . 19) (2 . 20) (3 . 21) (7 . 23)) 2440 0.2477 10.5081 ((3 . 4) (5 . 6) (6 . 5) (7 . 10)) 2447 0.5684 10.7109 ((1 . 13) (3 . 15) (5 . 18) (7 . 19)) 2510 0.2943 13.7462 ((3 . 19) (5 . 21) (6 . 22) (7 . 24)) 2525 0.5706 7.7762 ((4 . 47) (5 . 48) (6 . 49) (7 . 52)) 2529 0.5691 9.9824 ((3 . 3) (4 . 5) (5 . 6) (7 . 7)) 2533 0.5657 12.6257 ((2 . 8) (4 . 9) (6 . 11) (7 . 14)) 2551 0.5701 8.7851 ((1 . 1) (3 . 3) (6 . 4) (7 . 6)) 2557 0.3790 5.8459 ((3 . 3) (4 . 7) (5 . 6) (7 . 8)) 2561 0.1992 9.2805 ((1 . 6) (3 . 7) (4 . 8) (5 . 9)) 2595 0.1498 8.1265 ((1 . 9) (4 . 11) (5 . 13) (6 . 14)) 2619 0.5691 9.9992 ((3 . 1) (4 . 2) (5 . 3) (7 . 4)) 2650 0.1992 9.4940 ((1 . 5) (3 . 6) (4 . 7) (5 . 8)) 2658 0.4434 13.3882 ((1 . 1) (4 . 3) (6 . 4) (7 . 5)) 2675 0.5707 7.4130 ((1 . 7) (2 . 8) (3 . 10) (4 . 11)) 2682 0.4438 12.6265 ((3 . 12) (4 . 13) (6 . 16) (7 . 18)) 2696 0.5714 4.0428 ((2 . 34) (3 . 35) (4 . 36) (5 . 37)) 2731 0.4445 11.1490 ((3 . 1) (5 . 4) (6 . 3) (7 . 6)) 2755 0.3786 10.9650 ((1 . 3) (3 . 5) (5 . 6) (7 . 7)) 2773 0.1663 13.9158 ((3 . 5) (4 . 6) (6 . 7) (7 . 8)) 2783 0.5695 9.5777 ((3 . 6) (4 . 7) (5 . 8) (7 . 9)) 2804 0.5664 12.2212 ((1 . 29) (2 . 31) (3 . 32) (5 . 34)) 2821 0.4450 9.3693 ((3 . 4) (4 . 5) (6 . 6) (7 . 10)) 2830 0.4423 14.8367 ((1 . 7) (4 . 9) (6 . 10) (7 . 12)) 2834 0.5713 4.7043 ((3 . 3) (4 . 5) (5 . 6) (6 . 7)) 2840 0.5709 6.8162 ((1 . 1) (2 . 11) (3 . 5) (4 . 8)) 2842 0.5699 9.0116 ((1 . 4) (3 . 5) (6 . 7) (7 . 8)) 2867 0.1664 9.8034 ((2 . 7) (3 . 8) (4 . 9) (7 . 11)) 2879 0.7123 7.3122 ((1 . 51) (2 . 52) (3 . 53) (4 . 54) (5 . 58)) 2886 0.5711 6.0879 ((2 . 35) (3 . 37) (4 . 38) (5 . 39)) 2929 0.5699 8.9882 ((1 . 36) (4 . 39) (5 . 40) (7 . 41)) 2947 0.5700 8.7927 ((2 . 3) (3 . 4) (6 . 5) (7 . 8)) 2966 0.5713 4.8200 ((2 . 11) (3 . 12) (4 . 13) (5 . 15)) 2990 0.2477 7.9943 ((3 . 9) (4 . 12) (6 . 10) (7 . 13)) 3014 0.4449 9.7793 ((2 . 22) (3 . 23) (4 . 24) (6 . 26)) 3041 0.5705 7.8934 ((1 . 16) (4 . 18) (6 . 20) (7 . 25)) 3055 0.7133 6.1453 ((1 . 11) (2 . 12) (3 . 15) (4 . 16) (5 . 17)) 3063 0.5706 7.7780 ((2 . 36) (3 . 37) (4 . 38) (5 . 39)) 3070 0.4455 5.4445 ((2 . 32) (3 . 33) (5 . 35) (7 . 37)) 3102 0.5711 6.1159 ((1 . 66) (2 . 67) (3 . 68) (4 . 69)) 3114 0.5698 9.1244 ((3 . 23) (4 . 24) (5 . 25) (7 . 27)) 3120 0.5692 9.8951 ((4 . 21) (5 . 22) (6 . 23) (7 . 24)) 3127 0.5662 12.3216 ((1 . 2) (3 . 3) (4 . 4) (7 . 7)) 3147 0.7135 5.7307 ((1 . 12) (2 . 16) (3 . 17) (4 . 18) (5 . 19)) 3176 0.5703 8.2820 ((2 . 26) (3 . 27) (4 . 29) (6 . 30)) 3187 0.5660 12.4505 ((1 . 3) (4 . 5) (5 . 6) (7 . 8)) 3190 0.2944 10.7563 ((1 . 1) (3 . 3) (5 . 6) (7 . 7)) 3197 0.4900 11.3976 ((3 . 24) (5 . 26) (6 . 27) (7 . 29)) 3200 0.5712 5.3116 ((1 . 1) (4 . 3) (5 . 4) (6 . 5)) 3212 0.5713 4.3772 ((3 . 2) (4 . 3) (5 . 5) (6 . 6)) 3222 0.5588 15.4695 ((1 . 16) (4 . 19) (6 . 22) (7 . 23)) 3256 0.7082 9.6797 ((2 . 18) (3 . 19) (4 . 20) (5 . 21) (7 . 27)) 3261 0.7136 5.5801 ((2 . 6) (3 . 7) (4 . 8) (5 . 9) (7 . 11)) 3286 0.5708 7.0763 ((1 . 3) (3 . 4) (4 . 5) (6 . 6)) 3289 0.1498 6.6940 ((1 . 27) (2 . 29) (3 . 30) (4 . 31)) 3297 0.5710 6.5469 ((2 . 3) (3 . 4) (4 . 5) (5 . 7)) 3300 0.4453 7.6815 ((2 . 2) (3 . 4) (4 . 5) (7 . 10)) 3334 0.4441 12.0782 ((3 . 5) (4 . 6) (6 . 9) (7 . 11)) 3339 0.3789 8.3882 ((3 . 21) (4 . 22) (6 . 23) (7 . 24)) 3358 0.2477 7.6942 ((1 . 7) (3 . 8) (5 . 10) (6 . 11)) 3366 0.1993 5.4008 ((1 . 22) (2 . 23) (3 . 24) (6 . 25)) 3391 0.5697 9.3121 ((1 . 13) (5 . 17) (6 . 16) (7 . 18)) 3446 0.2477 10.5997 ((3 . 6) (4 . 5) (6 . 8) (7 . 9)) 3472 0.7137 5.3039 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5)) 3481 0.5677 11.2832 ((2 . 7) (3 . 8) (5 . 10) (7 . 11)) 3489 0.5711 6.1485 ((1 . 1) (3 . 2) (4 . 3) (5 . 4)) 3495 0.5679 11.1305 ((3 . 1) (4 . 2) (5 . 3) (7 . 5)) 3496 0.5694 9.6940 ((2 . 18) (3 . 19) (6 . 20) (7 . 21)) 3533 0.2490 10.0937 ((1 . 11) (2 . 1) (3 . 8) (4 . 10) (7 . 6)) 3548 0.7027 11.4135 ((2 . 6) (3 . 8) (4 . 9) (5 . 10) (7 . 11)) 3549 0.5696 9.4416 ((3 . 2) (4 . 3) (5 . 5) (6 . 4)) 3561 0.3789 8.9600 ((3 . 28) (4 . 30) (5 . 31) (7 . 32)) 3585 0.5713 5.1306 ((2 . 11) (3 . 12) (4 . 13) (5 . 14)) 3625 0.2945 6.5508 ((1 . 3) (2 . 2) (4 . 5) (5 . 6)) 3626 0.5709 6.9301 ((1 . 3) (2 . 6) (3 . 8) (4 . 11)) 3628 0.5640 13.4618 ((1 . 9) (5 . 12) (6 . 11) (7 . 13)) 3651 0.2477 9.2746 ((4 . 8) (5 . 11) (6 . 10) (7 . 14)) 3656 0.2477 10.8079 ((3 . 22) (4 . 23) (5 . 24) (7 . 25)) 3658 0.7092 9.2259 ((2 . 5) (3 . 6) (4 . 7) (5 . 8) (7 . 9)) 3659 0.5687 10.4329 ((1 . 10) (3 . 12) (4 . 13) (6 . 14)) 3661 0.5932 8.1393 ((1 . 8) (3 . 11) (4 . 12) (6 . 13) (7 . 14)) 3663 0.1992 9.4900 ((4 . 1) (5 . 2) (6 . 3) (7 . 6)) 3688 0.2477 11.4845 ((2 . 5) (3 . 7) (4 . 8) (6 . 10)) 3697 0.5700 8.8780 ((3 . 1) (4 . 3) (5 . 4) (7 . 5)) 3703 0.7357 6.9937 ((1 . 1) (2 . 6) (3 . 7) (4 . 8) (5 . 9) (7 . 12)) 3732 0.4437 12.9037 ((2 . 2) (3 . 3) (6 . 6) (7 . 8)) 3740 0.5713 4.3699 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 3741 0.5712 5.4724 ((1 . 13) (2 . 14) (3 . 16) (4 . 17)) 3778 0.5677 11.3196 ((1 . 4) (4 . 6) (5 . 7) (7 . 9)) 3787 0.5688 10.3254 ((3 . 19) (5 . 21) (6 . 22) (7 . 24)) 3790 0.5714 3.8290 ((2 . 21) (3 . 22) (4 . 24) (5 . 25)) 3807 0.5705 7.9026 ((1 . 43) (3 . 46) (4 . 47) (7 . 49)) 3810 0.5713 4.6763 ((2 . 8) (3 . 9) (4 . 10) (5 . 11)) 3817 0.5682 10.8743 ((2 . 9) (3 . 10) (4 . 11) (6 . 12)) 3831 0.3787 10.7167 ((3 . 2) (4 . 3) (6 . 4) (7 . 7)) 3870 0.5704 8.2605 ((1 . 5) (4 . 8) (6 . 9) (7 . 11)) 3933 0.2945 6.0009 ((2 . 8) (3 . 9) (4 . 10) (5 . 11)) 3938 0.5664 12.1904 ((2 . 8) (3 . 9) (6 . 12) (7 . 16)) 3942 0.5699 8.9466 ((2 . 2) (3 . 3) (6 . 6) (7 . 8)) 3968 0.1993 7.6653 ((1 . 5) (4 . 9) (6 . 10) (7 . 12)) 3986 0.5644 13.2989 ((3 . 5) (4 . 6) (5 . 7) (7 . 10)) 3990 0.2945 6.1188 ((1 . 22) (2 . 23) (3 . 24) (4 . 25)) 4005 0.5714 4.2779 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 4009 0.5639 13.5068 ((2 . 19) (4 . 21) (5 . 22) (7 . 25)) 4019 0.5713 4.6321 ((2 . 37) (3 . 38) (4 . 43) (5 . 50)) 4034 0.5701 8.7317 ((2 . 9) (3 . 10) (4 . 11) (7 . 14)) 4037 0.5699 8.9705 ((3 . 1) (4 . 2) (5 . 3) (7 . 4)) 4062 0.5708 7.2179 ((2 . 48) (3 . 49) (4 . 50) (6 . 51)) 4082 0.5711 6.0617 ((2 . 5) (3 . 6) (4 . 7) (5 . 8)) 4087 0.5706 7.8215 ((2 . 1) (3 . 3) (4 . 5) (5 . 6)) 4112 0.4451 8.7324 ((2 . 2) (3 . 3) (4 . 6) (7 . 8)) 4140 0.5700 8.8689 ((3 . 21) (4 . 22) (5 . 23) (7 . 25)) 4154 0.5713 4.7915 ((2 . 52) (3 . 53) (4 . 54) (5 . 55)) 4177 0.3790 6.2296 ((4 . 1) (5 . 2) (6 . 3) (7 . 6)) 4190 0.2478 7.4516 ((2 . 1) (3 . 3) (6 . 4) (7 . 6)) 4192 0.2477 11.4431 ((1 . 15) (5 . 19) (6 . 20) (7 . 21)) 4194 0.5710 6.4501 ((1 . 5) (3 . 6) (4 . 7) (6 . 8)) 4195 0.2945 7.5271 ((2 . 14) (3 . 15) (6 . 17) (7 . 19)) 4204 0.2945 9.8814 ((2 . 5) (3 . 7) (5 . 9) (7 . 10)) 4209 0.5706 7.7008 ((1 . 1) (2 . 2) (3 . 4) (4 . 7)) 4210 0.5702 8.4837 ((3 . 4) (4 . 5) (5 . 6) (7 . 7)) 4226 0.5703 8.3184 ((3 . 6) (4 . 8) (5 . 9) (6 . 10)) 4236 0.4453 7.7349 ((3 . 6) (4 . 7) (5 . 8) (7 . 11)) 4246 0.3785 11.5973 ((1 . 5) (3 . 7) (4 . 8) (6 . 10)) 4254 0.4408 16.4402 ((2 . 6) (4 . 8) (5 . 9) (7 . 12)) 4255 0.5686 10.5320 ((2 . 21) (4 . 23) (5 . 24) (7 . 25)) 4257 0.1993 6.4549 ((1 . 7) (2 . 8) (3 . 9) (4 . 10)) 4265 0.5707 7.4278 ((1 . 20) (2 . 21) (4 . 24) (7 . 25)) 4274 0.4452 8.5694 ((1 . 36) (3 . 38) (5 . 40) (6 . 39)) 4275 0.5706 7.7372 ((3 . 25) (4 . 27) (5 . 28) (7 . 29)) 4281 0.5712 5.6063 ((2 . 4) (3 . 5) (5 . 8) (6 . 9)) 4284 0.5708 7.3507 ((1 . 3) (3 . 5) (5 . 6) (6 . 7)) 4299 0.5699 9.0153 ((2 . 14) (4 . 16) (5 . 19) (6 . 17)) 4301 0.5705 7.8611 ((1 . 2) (3 . 3) (4 . 4) (5 . 6)) 4352 0.2944 11.0563 ((3 . 10) (4 . 9) (6 . 12) (7 . 13)) 4359 0.7124 7.1480 ((1 . 14) (2 . 17) (3 . 18) (4 . 19) (5 . 20)) 4380 0.5709 6.7877 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 4383 0.5712 5.5200 ((1 . 16) (2 . 17) (4 . 18) (5 . 19)) 4386 0.5692 9.9133 ((2 . 9) (3 . 10) (6 . 12) (7 . 13)) 4388 0.7139 4.9639 ((1 . 5) (2 . 8) (3 . 9) (4 . 10) (5 . 16)) 4398 0.5703 8.3151 ((1 . 8) (2 . 10) (4 . 12) (5 . 13)) 4408 0.5712 5.5737 ((1 . 2) (2 . 3) (3 . 4) (5 . 6)) 4415 0.4440 12.3763 ((1 . 3) (3 . 4) (6 . 5) (7 . 10)) 4419 0.3789 8.2621 ((3 . 6) (4 . 8) (5 . 9) (7 . 11)) 4470 0.5709 6.9794 ((2 . 18) (3 . 19) (4 . 20) (7 . 23)) 4492 0.5903 11.0610 ((2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 9)) 4497 0.5705 8.0002 ((2 . 26) (3 . 27) (4 . 28) (5 . 30)) 4502 0.5701 8.6433 ((3 . 9) (4 . 10) (5 . 11) (7 . 13)) 4503 0.5705 7.9823 ((2 . 3) (3 . 4) (4 . 5) (5 . 6)) 4504 0.5705 7.9345 ((2 . 20) (3 . 21) (4 . 22) (7 . 24)) 4505 0.5679 11.1607 ((2 . 25) (3 . 26) (5 . 28) (7 . 29)) 4538 0.5704 8.2394 ((2 . 32) (3 . 33) (4 . 34) (6 . 36)) 4560 0.2936 18.4664 ((2 . 17) (4 . 18) (6 . 19) (7 . 24)) 4561 0.5711 5.9219 ((1 . 9) (3 . 12) (4 . 14) (5 . 15)) 4577 0.5711 5.8889 ((2 . 29) (3 . 30) (4 . 32) (5 . 33)) 4588 0.5708 7.3335 ((1 . 7) (2 . 8) (3 . 9) (5 . 11)) 4589 0.4446 10.9870 ((1 . 18) (3 . 19) (4 . 22) (7 . 24)) 4621 0.5674 11.5428 ((2 . 7) (3 . 8) (5 . 9) (6 . 10)) 4630 0.5713 5.2052 ((1 . 6) (2 . 7) (3 . 8) (5 . 11)) 4648 0.1993 8.1652 ((3 . 1) (4 . 2) (6 . 3) (7 . 7)) 4653 0.7123 7.3158 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (5 . 9)) 4665 0.5709 6.8277 ((3 . 12) (4 . 13) (5 . 14) (7 . 16)) 4668 0.2945 9.8973 ((3 . 3) (4 . 5) (5 . 7) (7 . 8)) 4671 0.5712 5.7804 ((2 . 11) (3 . 12) (4 . 13) (5 . 14)) 4674 0.5702 8.6080 ((2 . 6) (3 . 7) (4 . 8) (5 . 9)) 4713 0.5711 5.9982 ((2 . 3) (3 . 4) (4 . 5) (5 . 6)) 4731 0.2478 6.4928 ((1 . 14) (5 . 18) (6 . 17) (7 . 19)) 4734 0.2945 8.0091 ((2 . 4) (3 . 6) (4 . 5) (5 . 7)) 4857 0.2477 11.9121 ((1 . 11) (4 . 13) (6 . 14) (7 . 15)) 4886 0.7135 5.8498 ((2 . 29) (3 . 30) (4 . 31) (5 . 32) (7 . 33)) 4888 0.5694 9.7320 ((1 . 1) (3 . 4) (6 . 6) (7 . 10)) 4889 0.5698 9.1268 ((3 . 2) (4 . 3) (5 . 4) (7 . 5)) 4907 0.3790 7.1878 ((2 . 3) (3 . 4) (4 . 5) (7 . 10)) 4914 0.7132 6.2286 ((1 . 7) (2 . 8) (3 . 9) (4 . 10) (5 . 11)) 4921 0.5688 10.3049 ((2 . 8) (3 . 9) (5 . 12) (7 . 13)) 4929 0.2945 6.6649 ((1 . 28) (3 . 29) (4 . 31) (5 . 32)) 4932 0.5705 8.0119 ((3 . 1) (4 . 2) (5 . 4) (7 . 7)) 4940 0.5700 8.8011 ((2 . 1) (3 . 2) (5 . 3) (7 . 5)) 4944 0.5713 5.2577 ((2 . 13) (3 . 14) (4 . 15) (5 . 16)) 4961 0.1992 9.4272 ((3 . 14) (4 . 15) (5 . 17) (6 . 16)) 4978 0.1992 10.6714 ((2 . 22) (3 . 24) (6 . 26) (7 . 27)) 4982 0.1992 16.3202 ((2 . 12) (4 . 14) (6 . 15) (7 . 19)) 4992 0.5713 5.1761 ((2 . 1) (3 . 2) (4 . 3) (5 . 9)) 4998 0.2477 12.5332 ((3 . 26) (4 . 25) (6 . 27) (7 . 28)) 5029 0.2944 11.1981 ((1 . 4) (3 . 6) (5 . 8) (7 . 9)) 5036 0.5712 5.6252 ((2 . 4) (3 . 5) (4 . 6) (5 . 7)) 5038 0.2945 7.1779 ((1 . 12) (3 . 14) (4 . 15) (5 . 16)) 5046 0.1332 9.5118 ((3 . 7) (4 . 8) (5 . 10) (6 . 9)) 5053 0.5708 7.1694 ((3 . 9) (4 . 10) (5 . 11) (7 . 13)) 5065 0.5710 6.5980 ((3 . 7) (4 . 8) (5 . 9) (7 . 12)) 5068 0.4455 5.5910 ((1 . 4) (4 . 7) (6 . 9) (7 . 11)) 5069 0.5714 3.6658 ((3 . 17) (4 . 18) (5 . 19) (6 . 20)) 5073 0.5691 10.0721 ((3 . 34) (5 . 36) (6 . 37) (7 . 38)) 5080 0.5702 8.4784 ((3 . 2) (4 . 3) (6 . 5) (7 . 6)) 5083 0.5713 4.7424 ((1 . 2) (3 . 5) (4 . 6) (5 . 8)) 5101 0.3787 10.7281 ((1 . 3) (3 . 5) (5 . 7) (7 . 8)) 5103 0.5684 10.7226 ((1 . 2) (3 . 4) (5 . 6) (7 . 8)) 5121 0.1993 7.5334 ((1 . 27) (2 . 28) (3 . 30) (4 . 31)) 5134 0.4433 13.5640 ((2 . 2) (3 . 3) (6 . 7) (7 . 8)) 5183 0.5711 5.9011 ((2 . 34) (3 . 35) (4 . 36) (5 . 37)) 5209 0.1992 10.4819 ((1 . 7) (3 . 8) (4 . 9) (5 . 10)) 5215 0.5705 7.8666 ((3 . 9) (4 . 10) (5 . 11) (7 . 13)) 5223 0.1992 9.5428 ((3 . 15) (5 . 17) (6 . 18) (7 . 19)) 5231 0.4451 8.8746 ((3 . 12) (4 . 13) (5 . 14) (7 . 15)) 5266 0.5697 9.3588 ((1 . 8) (3 . 10) (5 . 13) (6 . 12)) 5278 0.5707 7.3941 ((1 . 6) (3 . 8) (4 . 9) (5 . 10)) 5307 0.5711 6.0650 ((1 . 51) (3 . 55) (4 . 57) (5 . 58)) 5318 0.4454 7.2266 ((2 . 22) (3 . 23) (4 . 24) (7 . 27)) 5324 0.4452 8.3468 ((1 . 14) (4 . 16) (6 . 17) (7 . 18)) 5344 0.5709 7.0281 ((2 . 7) (3 . 8) (4 . 9) (5 . 10)) 5345 0.7100 8.8688 ((2 . 12) (3 . 13) (4 . 14) (5 . 15) (7 . 20)) 5368 0.7131 6.3514 ((1 . 25) (2 . 29) (3 . 30) (4 . 32) (5 . 33)) 5378 0.0999 9.8749 ((1 . 6) (3 . 7) (4 . 8) (5 . 9)) 5414 0.5712 5.7124 ((3 . 14) (4 . 15) (5 . 16) (6 . 17)) 5418 0.5701 8.6380 ((3 . 1) (4 . 2) (5 . 3) (7 . 4)) 5421 0.5699 9.0398 ((1 . 3) (2 . 2) (3 . 4) (4 . 5)) 5433 0.4450 9.3611 ((1 . 16) (2 . 18) (6 . 24) (7 . 25)) 5479 0.7129 6.7009 ((1 . 43) (2 . 44) (3 . 45) (4 . 46) (5 . 47)) 5487 0.4453 8.0234 ((2 . 7) (4 . 9) (6 . 10) (7 . 12)) 5489 0.5708 7.1548 ((2 . 11) (3 . 12) (4 . 13) (5 . 14)) 5500 0.5693 9.8339 ((3 . 1) (4 . 2) (5 . 3) (7 . 6)) 5501 0.3783 12.8008 ((3 . 24) (4 . 25) (6 . 26) (7 . 28)) 5525 0.2944 10.6682 ((3 . 8) (4 . 7) (6 . 10) (7 . 11)) 5535 0.5705 7.8517 ((1 . 6) (2 . 7) (3 . 8) (5 . 10)) 5540 0.5703 8.3347 ((1 . 15) (3 . 16) (5 . 18) (6 . 17)) 5557 0.5712 5.3208 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 5560 0.5689 10.2638 ((2 . 20) (4 . 22) (5 . 23) (7 . 24)) 5562 0.2944 11.4628 ((3 . 6) (4 . 7) (6 . 9) (7 . 10)) 5567 0.1249 18.9572 ((2 . 4) (3 . 5) (4 . 6) (7 . 10)) 5594 0.5663 12.2403 ((2 . 3) (3 . 4) (5 . 6) (7 . 7)) 5600 0.5672 11.6787 ((1 . 3) (4 . 5) (5 . 6) (7 . 7)) 5601 0.3787 10.1942 ((1 . 5) (3 . 7) (5 . 8) (7 . 11)) 5638 0.5705 7.9410 ((3 . 7) (4 . 8) (5 . 9) (7 . 12)) 5640 0.7126 7.0156 ((1 . 18) (2 . 19) (3 . 20) (4 . 21) (5 . 22)) 5644 0.5686 10.5466 ((2 . 10) (3 . 11) (4 . 12) (5 . 13)) 5656 0.5713 5.1679 ((2 . 21) (3 . 23) (4 . 24) (7 . 26)) 5700 0.5712 5.8251 ((1 . 4) (3 . 8) (4 . 9) (5 . 11)) 5701 0.1498 10.0847 ((3 . 4) (4 . 5) (5 . 6) (7 . 7)) 5703 0.2477 7.7276 ((2 . 1) (3 . 2) (5 . 5) (6 . 3)) 5711 0.7136 5.4799 ((1 . 38) (2 . 39) (3 . 42) (4 . 43) (5 . 47)) 5713 0.7131 6.4446 ((1 . 11) (2 . 15) (3 . 16) (4 . 18) (5 . 19)) 5718 0.5714 4.1421 ((2 . 14) (3 . 23) (4 . 24) (5 . 25)) 5731 0.5711 6.1323 ((2 . 9) (3 . 10) (4 . 11) (5 . 13)) 5746 0.5702 8.5824 ((2 . 6) (3 . 7) (4 . 8) (7 . 12)) 5749 0.7090 9.3333 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (7 . 8)) 5761 0.5706 7.8454 ((3 . 30) (4 . 31) (5 . 32) (7 . 34)) 5770 0.5691 9.9804 ((1 . 6) (5 . 12) (6 . 10) (7 . 18)) 5771 0.4433 13.5955 ((1 . 9) (3 . 13) (4 . 14) (7 . 16)) 5782 0.7352 7.4242 ((2 . 21) (3 . 22) (4 . 26) (5 . 27) (6 . 28) (7 . 31)) 5794 0.5693 9.8040 ((2 . 23) (3 . 24) (4 . 25) (5 . 26)) 5809 0.5714 3.9380 ((1 . 12) (4 . 14) (5 . 15) (6 . 16)) 5822 0.5704 8.0698 ((1 . 7) (2 . 8) (4 . 9) (7 . 11)) 5827 0.7135 5.6829 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 5830 0.5711 5.9421 ((2 . 7) (3 . 8) (6 . 9) (7 . 11)) 5847 0.5714 3.0881 ((2 . 7) (3 . 8) (4 . 9) (6 . 21)) 5861 0.5701 8.7209 ((1 . 5) (2 . 6) (3 . 7) (5 . 10)) 5865 0.5704 8.1816 ((3 . 1) (4 . 2) (5 . 4) (7 . 6)) 5878 0.4446 11.0001 ((2 . 26) (3 . 29) (4 . 30) (6 . 31)) 5888 0.7129 6.6083 ((1 . 9) (2 . 12) (3 . 13) (4 . 14) (5 . 15)) 5904 0.2477 10.4603 ((1 . 1) (5 . 4) (6 . 3) (7 . 5)) 5913 0.5703 8.3308 ((3 . 5) (4 . 6) (5 . 7) (7 . 11)) 5914 0.4452 8.1895 ((3 . 2) (4 . 3) (6 . 4) (7 . 7)) 5922 0.5705 7.9012 ((2 . 9) (3 . 10) (4 . 11) (5 . 13)) 5930 0.2945 6.6198 ((1 . 7) (2 . 8) (3 . 9) (4 . 10)) 5939 0.2476 13.7434 ((2 . 8) (4 . 10) (6 . 12) (7 . 13)) 5945 0.5666 12.0959 ((2 . 14) (4 . 16) (5 . 19) (7 . 22)) 5949 0.7096 9.0703 ((1 . 1) (3 . 12) (5 . 10) (6 . 13) (7 . 15)) 5955 0.5710 6.5019 ((2 . 14) (3 . 16) (4 . 17) (7 . 19)) 6000 0.1992 9.7203 ((3 . 14) (4 . 15) (6 . 16) (7 . 18)) 6011 0.7125 7.1253 ((1 . 8) (2 . 9) (3 . 10) (4 . 11) (5 . 19)) 6022 0.5704 8.1066 ((1 . 5) (2 . 7) (3 . 8) (4 . 9)) 6029 0.5695 9.5392 ((3 . 17) (4 . 18) (5 . 19) (7 . 20)) 6041 0.1993 8.1214 ((2 . 11) (3 . 12) (4 . 13) (6 . 14)) 6046 0.7081 9.7153 ((2 . 2) (3 . 3) (4 . 5) (5 . 6) (7 . 7)) 6061 0.5701 8.6549 ((2 . 14) (3 . 15) (5 . 17) (6 . 16)) 6074 0.2945 10.5406 ((1 . 2) (3 . 4) (5 . 6) (7 . 7)) 6075 0.4450 9.4546 ((3 . 17) (5 . 20) (6 . 19) (7 . 22)) 6079 0.5699 9.0576 ((3 . 7) (4 . 8) (5 . 9) (7 . 12)) 6089 0.1498 13.5891 ((2 . 3) (5 . 5) (6 . 6) (7 . 8)) 6094 0.7117 7.7591 ((1 . 7) (2 . 10) (3 . 11) (4 . 12) (5 . 14)) 6099 0.7103 8.7153 ((1 . 17) (2 . 24) (3 . 25) (4 . 26) (5 . 28)) 6123 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 6142 0.7126 6.9741 ((1 . 2) (2 . 5) (3 . 6) (4 . 7) (5 . 10)) 6148 0.3790 7.4477 ((2 . 32) (3 . 33) (4 . 34) (6 . 35)) 6167 0.5710 6.6734 ((1 . 1) (3 . 4) (4 . 6) (5 . 7)) 6173 0.5713 5.1120 ((2 . 7) (3 . 8) (4 . 9) (5 . 11)) 6191 0.2477 10.7908 ((2 . 3) (3 . 4) (6 . 5) (7 . 7)) 6192 0.3787 10.2062 ((1 . 10) (2 . 11) (5 . 13) (6 . 15)) 6215 0.5702 8.5508 ((3 . 18) (4 . 19) (5 . 20) (7 . 22)) 6225 0.5697 9.3544 ((1 . 5) (4 . 7) (5 . 8) (7 . 9)) 6228 0.5695 9.6153 ((1 . 9) (3 . 11) (4 . 12) (7 . 16)) 6234 0.1664 9.7476 ((3 . 6) (4 . 7) (5 . 9) (6 . 8)) 6238 0.5708 7.2923 ((2 . 3) (3 . 4) (4 . 5) (5 . 7)) 6243 0.5691 10.0054 ((2 . 2) (3 . 3) (5 . 6) (7 . 7)) 6258 0.5683 10.7730 ((1 . 7) (3 . 9) (5 . 10) (7 . 11)) 6261 0.5698 9.2260 ((3 . 19) (4 . 21) (5 . 22) (7 . 23)) 6266 0.5687 10.3926 ((1 . 3) (3 . 5) (5 . 6) (7 . 7)) 6270 0.5699 9.0709 ((1 . 15) (3 . 17) (4 . 18) (7 . 23)) 6271 0.5708 7.3203 ((2 . 4) (3 . 5) (4 . 7) (7 . 9)) 6273 0.5696 9.4436 ((2 . 1) (3 . 2) (4 . 4) (6 . 5)) 6294 0.1664 8.2300 ((1 . 2) (4 . 6) (6 . 7) (7 . 10)) 6306 0.5700 8.8321 ((1 . 20) (2 . 21) (4 . 22) (7 . 23)) 6326 0.5713 5.0624 ((2 . 9) (3 . 10) (4 . 11) (5 . 12)) 6338 0.5712 5.7214 ((2 . 4) (3 . 5) (4 . 7) (5 . 8)) 6344 0.5694 9.7385 ((1 . 17) (2 . 18) (3 . 19) (4 . 21)) 6355 0.5698 9.2265 ((2 . 7) (4 . 9) (5 . 10) (7 . 13)) 6369 0.5710 6.7001 ((2 . 5) (3 . 6) (4 . 7) (6 . 8)) 6376 0.5710 6.4828 ((1 . 24) (2 . 26) (3 . 27) (4 . 28)) 6392 0.4448 10.2575 ((2 . 1) (4 . 3) (6 . 4) (7 . 6)) 6399 0.7123 7.3172 ((1 . 28) (2 . 29) (3 . 30) (4 . 31) (5 . 32)) 6403 0.7117 7.8034 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (7 . 6)) 6434 0.5713 4.9880 ((1 . 2) (3 . 3) (4 . 4) (5 . 5)) 6462 0.5714 4.2528 ((1 . 20) (4 . 22) (5 . 24) (6 . 25)) 6498 0.5706 7.7788 ((3 . 1) (4 . 2) (5 . 3) (7 . 5)) 6520 0.5713 4.8622 ((2 . 24) (3 . 25) (4 . 26) (5 . 28)) 6539 0.3790 5.6015 ((2 . 4) (3 . 5) (4 . 6) (5 . 8)) 6540 0.5710 6.4824 ((2 . 19) (3 . 20) (4 . 21) (5 . 22)) 6548 0.4453 7.6844 ((1 . 7) (4 . 9) (6 . 10) (7 . 14)) 6553 0.5713 4.7338 ((1 . 22) (2 . 23) (3 . 24) (4 . 25)) 6555 0.5711 6.3013 ((1 . 19) (2 . 20) (4 . 22) (5 . 23)) 6573 0.2945 6.3639 ((1 . 21) (2 . 22) (3 . 23) (4 . 24)) 6575 0.2945 10.1266 ((4 . 1) (5 . 2) (6 . 3) (7 . 6)) 6578 0.5694 9.6715 ((1 . 32) (3 . 34) (4 . 37) (7 . 39)) 6584 0.5711 6.1740 ((2 . 7) (3 . 8) (4 . 9) (6 . 10)) 6585 0.5684 10.7516 ((2 . 8) (4 . 10) (5 . 11) (7 . 12)) 6587 0.7086 9.5177 ((2 . 31) (4 . 33) (5 . 34) (6 . 35) (7 . 36)) 6598 0.7115 7.9210 ((2 . 26) (3 . 27) (4 . 28) (5 . 29) (7 . 31)) 6613 0.2945 6.2376 ((1 . 32) (2 . 33) (3 . 34) (4 . 35)) END