5865 41 0.5713 4.7460 ((5 . 3) (6 . 4) (7 . 5) (8 . 6)) 51 0.5712 5.7213 ((1 . 1) (2 . 2) (5 . 6) (7 . 10)) 62 0.5713 4.7354 ((4 . 12) (5 . 13) (6 . 15) (7 . 16)) 64 0.5712 5.2729 ((1 . 9) (4 . 10) (5 . 12) (7 . 14)) 77 0.5708 7.3309 ((1 . 7) (2 . 8) (6 . 12) (7 . 13)) 91 0.4449 9.9800 ((1 . 40) (5 . 44) (6 . 46) (8 . 47)) 96 0.2946 4.4672 ((4 . 1) (6 . 2) (7 . 3) (8 . 4)) 129 0.5713 5.0647 ((1 . 8) (2 . 9) (4 . 11) (5 . 12)) 136 0.2945 5.8338 ((4 . 3) (6 . 4) (7 . 5) (8 . 6)) 150 0.5714 3.1775 ((1 . 20) (5 . 23) (6 . 24) (7 . 25)) 153 0.5711 6.1901 ((1 . 7) (2 . 8) (5 . 9) (7 . 12)) 157 0.5713 4.3306 ((2 . 9) (5 . 11) (6 . 12) (7 . 14)) 161 0.2945 8.0738 ((1 . 2) (2 . 3) (4 . 6) (5 . 8)) 162 0.5711 6.3356 ((4 . 17) (5 . 18) (6 . 19) (7 . 22)) 169 0.5713 5.0284 ((1 . 1) (2 . 3) (5 . 4) (7 . 7)) 177 0.1993 8.4805 ((1 . 5) (5 . 7) (6 . 9) (7 . 10)) 198 0.5706 7.8325 ((1 . 7) (2 . 8) (4 . 10) (5 . 12)) 207 0.5710 6.5630 ((1 . 13) (5 . 15) (6 . 16) (7 . 18)) 233 0.5707 7.4280 ((1 . 1) (2 . 2) (5 . 5) (7 . 8)) 300 0.7136 5.6709 ((1 . 7) (2 . 8) (4 . 9) (5 . 10) (6 . 11)) 305 0.5707 7.5226 ((5 . 9) (6 . 10) (7 . 12) (8 . 14)) 307 0.5713 4.7357 ((1 . 3) (5 . 7) (6 . 8) (7 . 9)) 315 0.5708 7.2437 ((2 . 4) (4 . 6) (5 . 5) (6 . 7)) 329 0.2945 9.7514 ((4 . 4) (5 . 5) (6 . 7) (8 . 8)) 350 0.5713 4.7555 ((1 . 11) (2 . 13) (4 . 15) (5 . 16)) 360 0.7131 6.4413 ((4 . 10) (5 . 12) (6 . 13) (7 . 14) (8 . 15)) 361 0.2946 5.3587 ((2 . 1) (4 . 2) (6 . 3) (7 . 4)) 365 0.2945 7.5418 ((4 . 2) (5 . 3) (7 . 6) (8 . 7)) 367 0.5714 3.4860 ((1 . 38) (4 . 40) (5 . 42) (7 . 44)) 372 0.5713 4.9027 ((1 . 2) (2 . 3) (4 . 5) (5 . 6)) 387 0.5703 8.4401 ((1 . 8) (2 . 9) (4 . 11) (5 . 12)) 405 0.5692 9.8955 ((1 . 34) (2 . 35) (4 . 38) (5 . 39)) 417 0.5708 7.3013 ((2 . 1) (5 . 2) (6 . 6) (7 . 7)) 420 0.5711 6.1792 ((1 . 3) (2 . 4) (5 . 8) (7 . 10)) 433 0.7141 3.8735 ((1 . 5) (4 . 6) (5 . 7) (6 . 8) (7 . 9)) 442 0.5714 3.6429 ((2 . 4) (5 . 6) (6 . 9) (7 . 10)) 460 0.5711 6.0450 ((1 . 2) (2 . 3) (5 . 6) (7 . 8)) 495 0.5711 6.2697 ((2 . 3) (5 . 5) (6 . 6) (7 . 7)) 541 0.5712 5.6547 ((1 . 2) (2 . 3) (6 . 6) (7 . 7)) 543 0.5690 10.1310 ((1 . 6) (2 . 8) (5 . 10) (6 . 13)) 561 0.5714 3.7715 ((4 . 3) (5 . 4) (6 . 5) (7 . 6)) 584 0.0999 13.4962 ((1 . 7) (2 . 8) (5 . 10) (6 . 12)) 587 0.5713 5.0638 ((1 . 10) (2 . 11) (5 . 13) (7 . 15)) 609 0.5710 6.6799 ((1 . 3) (5 . 6) (6 . 7) (7 . 8)) 619 0.7141 4.0818 ((1 . 7) (2 . 8) (4 . 11) (5 . 12) (7 . 15)) 624 0.7128 6.7289 ((1 . 11) (5 . 13) (6 . 14) (7 . 15) (8 . 17)) 635 0.5713 4.8414 ((1 . 13) (2 . 14) (6 . 17) (7 . 18)) 672 0.5709 6.8813 ((2 . 18) (5 . 21) (7 . 24) (8 . 25)) 678 0.5712 5.8662 ((5 . 24) (6 . 25) (7 . 26) (8 . 27)) 683 0.5713 4.4101 ((1 . 1) (4 . 2) (5 . 3) (7 . 6)) 719 0.9558 2.3691 ((1 . 22) (2 . 23) (4 . 25) (5 . 27) (6 . 29) (7 . 30) (8 . 31)) 729 0.5713 4.4735 ((1 . 9) (4 . 13) (6 . 14) (7 . 15)) 735 0.5711 6.0913 ((1 . 29) (4 . 31) (5 . 32) (7 . 36)) 765 0.5704 8.1090 ((1 . 9) (2 . 11) (4 . 12) (7 . 19)) 767 0.0999 6.1868 ((2 . 1) (5 . 3) (6 . 2) (7 . 8)) 795 0.1993 5.6548 ((1 . 1) (5 . 3) (6 . 4) (7 . 6)) 801 0.0999 8.8217 ((1 . 1) (4 . 4) (5 . 5) (7 . 7)) 812 0.5698 9.1904 ((1 . 5) (5 . 8) (6 . 12) (7 . 13)) 818 0.5697 9.3417 ((1 . 4) (5 . 8) (6 . 11) (7 . 12)) 824 0.5708 7.3351 ((1 . 45) (2 . 46) (5 . 49) (7 . 53)) 861 0.5699 9.0160 ((4 . 2) (5 . 3) (6 . 4) (8 . 5)) 901 0.7099 8.8776 ((1 . 15) (5 . 17) (6 . 19) (7 . 20) (8 . 21)) 913 0.2945 6.8919 ((5 . 17) (6 . 18) (7 . 20) (8 . 21)) 928 0.5714 3.6855 ((1 . 12) (5 . 14) (6 . 15) (7 . 16)) 937 0.5709 7.0101 ((5 . 1) (6 . 3) (7 . 4) (8 . 6)) 943 0.5713 4.4536 ((1 . 2) (5 . 6) (6 . 7) (7 . 8)) 945 0.5696 9.4075 ((1 . 19) (5 . 22) (6 . 23) (8 . 24)) 949 0.5684 10.7190 ((1 . 30) (4 . 32) (6 . 35) (8 . 37)) 960 0.5713 4.6656 ((1 . 12) (5 . 19) (6 . 20) (7 . 21)) 978 0.5711 5.9330 ((1 . 13) (4 . 16) (6 . 18) (7 . 19)) 980 0.5713 4.8790 ((1 . 1) (5 . 5) (6 . 6) (7 . 7)) 1005 0.2945 8.0486 ((4 . 1) (5 . 2) (6 . 3) (8 . 6)) 1007 0.5712 5.7944 ((1 . 8) (2 . 9) (4 . 11) (5 . 12)) 1008 0.5711 6.1883 ((1 . 3) (2 . 5) (5 . 8) (6 . 11)) 1034 0.2936 18.2893 ((1 . 22) (4 . 25) (5 . 26) (7 . 29)) 1043 0.5705 7.8665 ((1 . 10) (5 . 12) (6 . 15) (7 . 17)) 1082 0.5712 5.2809 ((1 . 12) (5 . 16) (6 . 17) (7 . 19)) 1084 0.5697 9.2925 ((2 . 10) (4 . 12) (6 . 15) (7 . 17)) 1165 0.1332 11.2949 ((1 . 3) (6 . 9) (7 . 10) (8 . 11)) 1167 0.5709 6.9273 ((1 . 20) (2 . 21) (6 . 24) (8 . 26)) 1169 0.7134 6.0215 ((1 . 30) (2 . 31) (4 . 33) (5 . 34) (7 . 37)) 1201 0.5713 5.2321 ((5 . 7) (6 . 8) (7 . 9) (8 . 10)) 1204 0.1498 6.1315 ((5 . 1) (6 . 2) (7 . 3) (8 . 4)) 1211 0.5713 4.7425 ((1 . 9) (4 . 10) (5 . 11) (7 . 15)) 1217 0.1498 6.1445 ((2 . 3) (4 . 5) (5 . 7) (6 . 8)) 1224 0.5713 5.1384 ((1 . 7) (4 . 9) (5 . 10) (8 . 13)) 1233 0.5709 6.8907 ((2 . 11) (5 . 14) (6 . 16) (7 . 17)) 1267 0.5713 5.0414 ((1 . 13) (4 . 15) (6 . 16) (7 . 17)) 1294 0.5710 6.7116 ((1 . 39) (4 . 40) (5 . 41) (7 . 44)) 1345 0.5713 4.6011 ((1 . 7) (5 . 9) (6 . 10) (7 . 12)) 1366 0.5713 4.8726 ((1 . 17) (4 . 21) (5 . 22) (8 . 25)) 1388 0.4450 9.4401 ((1 . 5) (5 . 8) (6 . 10) (8 . 12)) 1410 0.5710 6.3677 ((2 . 19) (4 . 20) (5 . 21) (7 . 23)) 1425 0.5706 7.7459 ((1 . 4) (4 . 6) (5 . 8) (7 . 12)) 1435 0.3907 6.2626 ((1 . 1) (2 . 2) (4 . 3) (5 . 5) (7 . 6)) 1447 0.5713 4.3944 ((1 . 1) (5 . 3) (6 . 4) (7 . 5)) 1451 0.5707 7.4614 ((1 . 3) (4 . 4) (5 . 5) (7 . 10)) 1464 0.5708 7.1009 ((4 . 7) (5 . 8) (6 . 9) (8 . 12)) 1472 0.5657 12.5815 ((1 . 7) (2 . 8) (6 . 12) (8 . 13)) 1476 0.5714 4.0069 ((1 . 14) (5 . 18) (6 . 19) (7 . 20)) 1481 0.5711 6.0300 ((1 . 4) (2 . 5) (4 . 7) (6 . 8)) 1501 0.5712 5.4677 ((1 . 1) (2 . 2) (4 . 4) (7 . 7)) 1513 0.7140 4.4993 ((1 . 13) (5 . 15) (6 . 16) (7 . 18) (8 . 19)) 1514 0.5711 6.3478 ((5 . 1) (6 . 2) (7 . 3) (8 . 5)) 1591 0.5713 4.6693 ((1 . 1) (5 . 4) (6 . 5) (7 . 6)) 1604 0.5713 5.0318 ((4 . 1) (5 . 3) (6 . 6) (7 . 7)) 1622 0.5714 3.8881 ((1 . 18) (5 . 20) (6 . 21) (7 . 22)) 1624 0.4912 8.4946 ((1 . 3) (2 . 4) (5 . 7) (8 . 11)) 1643 0.7139 4.6803 ((2 . 25) (4 . 27) (5 . 28) (7 . 32) (8 . 35)) 1644 0.5713 5.1361 ((1 . 48) (2 . 49) (4 . 51) (5 . 52)) 1665 0.5713 5.0273 ((1 . 6) (5 . 8) (6 . 9) (7 . 10)) 1690 0.5712 5.5108 ((1 . 1) (5 . 8) (6 . 9) (7 . 11)) 1692 0.3789 8.2524 ((2 . 5) (4 . 6) (5 . 7) (7 . 8)) 1731 0.5713 5.0137 ((4 . 3) (5 . 6) (6 . 7) (7 . 8)) 1736 0.5713 4.4440 ((1 . 5) (5 . 7) (6 . 9) (7 . 10)) 1738 0.5713 4.6114 ((1 . 14) (4 . 18) (5 . 19) (6 . 20)) 1747 0.5714 4.2329 ((1 . 41) (2 . 42) (4 . 44) (5 . 45)) 1756 0.5702 8.5581 ((1 . 21) (2 . 23) (5 . 25) (7 . 30)) 1759 0.1993 5.9826 ((1 . 4) (2 . 5) (5 . 8) (7 . 11)) 1761 0.5714 4.0893 ((4 . 1) (5 . 2) (7 . 5) (8 . 6)) 1776 0.7138 5.0395 ((1 . 1) (5 . 7) (6 . 8) (7 . 9) (8 . 11)) 1778 0.0999 9.4872 ((1 . 2) (2 . 3) (4 . 4) (6 . 6)) 1793 0.5714 3.6412 ((1 . 4) (5 . 6) (6 . 7) (7 . 8)) 1805 0.5712 5.4653 ((1 . 11) (2 . 12) (5 . 14) (7 . 16)) 1808 0.5713 4.8892 ((4 . 4) (5 . 5) (6 . 7) (7 . 8)) 1817 0.5709 6.9346 ((2 . 13) (4 . 15) (5 . 16) (8 . 21)) 1867 0.5709 6.8617 ((5 . 1) (6 . 2) (7 . 3) (8 . 8)) 1894 0.5710 6.7191 ((2 . 19) (4 . 21) (5 . 22) (7 . 25)) 1897 0.5677 11.3122 ((1 . 39) (2 . 40) (4 . 41) (5 . 43)) 1908 0.5713 4.5763 ((1 . 7) (5 . 10) (6 . 14) (7 . 15)) 1909 0.5712 5.3627 ((1 . 29) (5 . 31) (6 . 33) (7 . 34)) 1913 0.5714 3.7847 ((1 . 22) (5 . 26) (7 . 28) (8 . 31)) 1944 0.5713 4.6278 ((1 . 5) (5 . 7) (6 . 8) (7 . 9)) 1957 0.7110 8.2649 ((1 . 11) (5 . 15) (6 . 16) (7 . 17) (8 . 18)) 1961 0.5714 2.8064 ((4 . 15) (5 . 16) (6 . 18) (7 . 19)) 1967 0.5714 4.0056 ((2 . 1) (5 . 3) (6 . 4) (7 . 7)) 1972 0.5714 3.4310 ((1 . 20) (5 . 24) (6 . 25) (7 . 27)) 1992 0.5705 8.0428 ((5 . 9) (6 . 10) (7 . 12) (8 . 13)) 1995 0.5713 5.0902 ((1 . 3) (4 . 7) (5 . 8) (7 . 12)) 2003 0.5709 6.8419 ((2 . 7) (4 . 8) (5 . 9) (7 . 12)) 2006 0.5713 4.6199 ((1 . 4) (2 . 5) (5 . 7) (7 . 9)) 2045 0.5712 5.7032 ((1 . 1) (2 . 2) (4 . 3) (7 . 7)) 2048 0.0999 6.7214 ((1 . 4) (2 . 6) (6 . 12) (7 . 13)) 2054 0.2477 8.9965 ((1 . 1) (2 . 2) (6 . 9) (8 . 11)) 2063 0.5713 4.9100 ((4 . 43) (5 . 44) (6 . 46) (7 . 47)) 2065 0.5712 5.7285 ((2 . 19) (4 . 22) (5 . 23) (7 . 27)) 2067 0.5624 14.1807 ((4 . 60) (6 . 62) (7 . 63) (8 . 64)) 2072 0.5702 8.6111 ((4 . 6) (5 . 7) (6 . 8) (8 . 9)) 2081 0.5709 6.9249 ((4 . 9) (5 . 10) (6 . 11) (7 . 12)) 2083 0.5714 3.2198 ((1 . 2) (5 . 4) (6 . 6) (7 . 7)) 2097 0.5597 15.1837 ((2 . 5) (4 . 6) (5 . 7) (6 . 10)) 2114 0.5714 3.7155 ((1 . 32) (4 . 34) (5 . 36) (6 . 37)) 2116 0.7136 5.6729 ((1 . 7) (2 . 8) (4 . 9) (5 . 10) (7 . 12)) 2117 0.7140 4.2967 ((1 . 17) (4 . 22) (5 . 23) (6 . 24) (7 . 25)) 2118 0.7138 5.2267 ((1 . 1) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 2122 0.5713 4.9859 ((1 . 1) (5 . 6) (6 . 7) (7 . 8)) 2166 0.5708 7.2988 ((2 . 12) (5 . 13) (6 . 14) (7 . 15)) 2179 0.5712 5.7855 ((1 . 7) (2 . 9) (6 . 12) (7 . 13)) 2196 0.5714 3.9073 ((1 . 15) (2 . 16) (4 . 18) (5 . 19)) 2203 0.5712 5.3702 ((2 . 5) (5 . 7) (6 . 8) (7 . 10)) 2205 0.5709 6.9901 ((1 . 15) (4 . 17) (5 . 18) (7 . 22)) 2209 0.7124 7.1923 ((1 . 3) (4 . 6) (5 . 7) (6 . 8) (7 . 9)) 2243 0.5941 5.9259 ((1 . 57) (2 . 58) (4 . 60) (5 . 61) (7 . 65)) 2244 0.7134 5.9787 ((1 . 70) (2 . 71) (4 . 73) (5 . 74) (7 . 76)) 2248 0.1993 7.4743 ((1 . 16) (6 . 20) (7 . 22) (8 . 26)) 2249 0.5712 5.5005 ((1 . 12) (5 . 16) (6 . 19) (7 . 20)) 2269 0.7101 8.7763 ((1 . 6) (4 . 7) (5 . 8) (6 . 9) (7 . 10)) 2279 0.5712 5.4101 ((4 . 19) (5 . 20) (6 . 21) (7 . 22)) 2298 0.5714 3.9966 ((1 . 8) (5 . 12) (6 . 14) (7 . 15)) 2308 0.5710 6.4300 ((1 . 6) (5 . 8) (6 . 10) (7 . 11)) 2314 0.5700 8.8166 ((1 . 2) (4 . 3) (5 . 4) (8 . 9)) 2340 0.2946 5.2850 ((4 . 9) (6 . 10) (7 . 11) (8 . 12)) 2344 0.5714 4.2153 ((1 . 6) (5 . 10) (6 . 12) (7 . 13)) 2364 0.5713 5.1684 ((1 . 7) (4 . 9) (6 . 10) (7 . 12)) 2381 0.0999 8.3434 ((1 . 3) (4 . 5) (5 . 6) (6 . 8)) 2389 0.5713 5.1090 ((4 . 10) (5 . 11) (6 . 12) (7 . 14)) 2408 0.5712 5.2683 ((1 . 41) (2 . 42) (5 . 45) (7 . 47)) 2409 0.5702 8.4962 ((1 . 2) (4 . 5) (5 . 6) (7 . 8)) 2423 0.5707 7.3804 ((1 . 16) (2 . 17) (7 . 22) (8 . 23)) 2440 0.2945 5.9728 ((1 . 4) (5 . 7) (7 . 9) (8 . 10)) 2447 0.5714 4.1218 ((1 . 15) (4 . 18) (6 . 19) (7 . 21)) 2462 0.5694 9.7150 ((1 . 3) (2 . 4) (5 . 6) (8 . 10)) 2510 0.5714 3.7670 ((1 . 5) (5 . 7) (6 . 8) (7 . 9)) 2525 0.4451 9.0896 ((1 . 41) (6 . 46) (7 . 47) (8 . 49)) 2529 0.2945 6.8599 ((2 . 3) (4 . 6) (5 . 5) (6 . 7)) 2533 0.0999 6.9744 ((2 . 4) (5 . 6) (6 . 7) (7 . 8)) 2551 0.3787 10.6565 ((1 . 3) (6 . 7) (7 . 9) (8 . 10)) 2552 0.5712 5.3992 ((5 . 1) (6 . 2) (7 . 3) (8 . 4)) 2556 0.5706 7.7478 ((1 . 11) (5 . 16) (6 . 17) (7 . 18)) 2557 0.5708 7.1214 ((4 . 3) (6 . 5) (7 . 7) (8 . 8)) 2595 0.5714 4.0840 ((1 . 4) (4 . 6) (5 . 9) (7 . 11)) 2619 0.5713 5.0715 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 2650 0.5709 6.9041 ((4 . 1) (5 . 2) (6 . 4) (7 . 5)) 2675 0.5706 7.8392 ((1 . 3) (2 . 4) (6 . 9) (7 . 10)) 2682 0.7119 7.6496 ((1 . 12) (2 . 13) (5 . 17) (6 . 18) (7 . 19)) 2696 0.5710 6.4594 ((1 . 32) (4 . 34) (5 . 35) (7 . 38)) 2733 0.5705 7.9603 ((1 . 1) (4 . 2) (5 . 4) (7 . 8)) 2755 0.5710 6.5613 ((2 . 1) (5 . 3) (6 . 4) (7 . 5)) 2773 0.5710 6.7206 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 2804 0.7136 5.5276 ((1 . 31) (2 . 32) (4 . 34) (5 . 36) (7 . 39)) 2821 0.5712 5.5208 ((1 . 4) (2 . 5) (4 . 7) (6 . 10)) 2830 0.7074 9.9983 ((1 . 11) (5 . 15) (6 . 16) (7 . 17) (8 . 18)) 2834 0.7124 7.1617 ((1 . 1) (4 . 5) (5 . 6) (6 . 7) (7 . 8)) 2840 0.1498 7.3622 ((1 . 6) (2 . 8) (4 . 9) (5 . 11)) 2842 0.5714 3.9363 ((1 . 4) (2 . 5) (6 . 8) (7 . 9)) 2867 0.3789 8.2475 ((1 . 7) (2 . 8) (4 . 9) (7 . 12)) 2879 0.5713 4.9788 ((4 . 52) (5 . 53) (6 . 55) (7 . 56)) 2886 0.5712 5.3883 ((1 . 38) (2 . 39) (5 . 41) (7 . 44)) 2929 0.5708 7.1492 ((5 . 36) (6 . 38) (7 . 39) (8 . 41)) 2940 0.2945 8.3279 ((1 . 4) (2 . 5) (6 . 9) (8 . 10)) 2947 0.5713 5.1774 ((4 . 3) (5 . 4) (6 . 5) (7 . 6)) 2966 0.5704 8.1412 ((1 . 9) (2 . 10) (4 . 11) (5 . 12)) 2990 0.5712 5.4327 ((2 . 9) (5 . 12) (6 . 13) (7 . 14)) 2999 0.0999 5.8603 ((4 . 2) (5 . 4) (6 . 5) (7 . 6)) 3014 0.5662 12.3240 ((4 . 4) (5 . 5) (6 . 8) (8 . 9)) 3019 0.5714 3.9177 ((4 . 19) (5 . 20) (6 . 21) (7 . 22)) 3034 0.5712 5.7509 ((1 . 5) (5 . 7) (6 . 8) (7 . 9)) 3041 0.7122 7.3446 ((1 . 16) (5 . 18) (6 . 20) (7 . 22) (8 . 25)) 3055 0.7141 4.0624 ((1 . 16) (2 . 17) (4 . 19) (5 . 23) (7 . 24)) 3063 0.5711 6.3402 ((1 . 35) (4 . 37) (5 . 38) (7 . 41)) 3070 0.5714 3.9518 ((4 . 32) (5 . 33) (6 . 34) (7 . 35)) 3084 0.5713 4.4134 ((1 . 3) (5 . 7) (6 . 8) (7 . 9)) 3102 0.5711 5.9085 ((1 . 57) (2 . 58) (4 . 60) (5 . 62)) 3103 0.5706 7.7575 ((1 . 2) (2 . 3) (7 . 9) (8 . 12)) 3114 0.5709 7.0566 ((4 . 22) (5 . 23) (7 . 25) (8 . 28)) 3120 0.5713 4.9571 ((4 . 21) (5 . 22) (6 . 24) (7 . 25)) 3127 0.5714 3.9399 ((2 . 4) (5 . 6) (6 . 7) (7 . 8)) 3147 0.7141 3.9870 ((1 . 12) (2 . 13) (4 . 16) (5 . 17) (7 . 19)) 3176 0.2477 9.1726 ((1 . 27) (2 . 29) (6 . 31) (8 . 32)) 3187 0.5712 5.5854 ((1 . 1) (4 . 2) (5 . 3) (7 . 5)) 3190 0.7135 5.7410 ((1 . 6) (5 . 9) (6 . 10) (7 . 11) (8 . 12)) 3197 0.5714 3.9776 ((1 . 19) (5 . 21) (6 . 22) (7 . 24)) 3200 0.5702 8.4497 ((2 . 11) (5 . 13) (6 . 14) (7 . 15)) 3212 0.5705 8.0598 ((4 . 3) (5 . 5) (6 . 6) (8 . 10)) 3222 0.5712 5.7628 ((2 . 14) (5 . 16) (6 . 17) (7 . 19)) 3256 0.5709 6.9488 ((1 . 20) (4 . 24) (5 . 25) (7 . 28)) 3261 0.5709 6.8474 ((1 . 7) (2 . 8) (4 . 9) (6 . 11)) 3286 0.5712 5.8505 ((1 . 3) (2 . 4) (7 . 9) (8 . 10)) 3289 0.5713 5.0869 ((1 . 25) (2 . 27) (4 . 29) (5 . 30)) 3297 0.5711 6.1156 ((1 . 8) (2 . 9) (5 . 11) (7 . 13)) 3300 0.5712 5.2739 ((1 . 1) (2 . 2) (6 . 9) (8 . 12)) 3322 0.5712 5.4211 ((5 . 1) (6 . 2) (7 . 3) (8 . 6)) 3334 0.5709 6.9128 ((1 . 1) (4 . 4) (5 . 5) (7 . 10)) 3339 0.5703 8.4093 ((4 . 21) (5 . 22) (6 . 23) (8 . 25)) 3344 0.1498 7.3939 ((1 . 18) (4 . 20) (5 . 21) (7 . 22)) 3358 0.5710 6.4398 ((1 . 1) (5 . 4) (6 . 5) (7 . 7)) 3362 0.7132 6.2668 ((1 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 9)) 3366 0.5711 6.1944 ((1 . 22) (2 . 24) (5 . 26) (7 . 28)) 3391 0.5709 6.7882 ((2 . 4) (5 . 6) (6 . 7) (7 . 8)) 3410 0.5713 4.2950 ((1 . 24) (5 . 28) (6 . 29) (7 . 30)) 3472 0.3790 5.9919 ((1 . 5) (2 . 6) (4 . 9) (5 . 11)) 3481 0.7140 4.5379 ((1 . 4) (2 . 7) (5 . 10) (6 . 11) (7 . 12)) 3495 0.5703 8.4260 ((1 . 1) (2 . 2) (6 . 6) (7 . 7)) 3533 0.5690 10.1654 ((2 . 1) (5 . 3) (6 . 6) (7 . 7)) 3538 0.5699 9.0377 ((1 . 24) (2 . 25) (5 . 26) (6 . 27)) 3548 0.5707 7.4235 ((4 . 4) (5 . 5) (6 . 7) (7 . 8)) 3549 0.5704 8.1706 ((4 . 2) (5 . 3) (6 . 4) (8 . 7)) 3561 0.5713 4.5706 ((1 . 22) (5 . 26) (6 . 27) (7 . 28)) 3570 0.5710 6.3812 ((5 . 1) (6 . 2) (7 . 3) (8 . 6)) 3585 0.5713 4.4341 ((4 . 5) (5 . 6) (6 . 7) (7 . 8)) 3613 0.4451 8.7166 ((1 . 40) (2 . 41) (6 . 43) (8 . 44)) 3625 0.1993 7.0223 ((1 . 1) (2 . 3) (4 . 5) (5 . 6)) 3626 0.5708 7.3331 ((1 . 2) (2 . 3) (5 . 6) (7 . 11)) 3628 0.5712 5.5664 ((1 . 10) (5 . 12) (6 . 13) (7 . 14)) 3651 0.5713 4.7320 ((1 . 1) (5 . 3) (6 . 4) (7 . 5)) 3658 0.5712 5.5429 ((1 . 1) (5 . 5) (7 . 7) (8 . 9)) 3659 0.1992 10.2303 ((4 . 9) (5 . 10) (7 . 12) (8 . 14)) 3661 0.3789 8.3938 ((1 . 7) (2 . 8) (5 . 11) (6 . 13)) 3697 0.5711 6.1186 ((4 . 6) (5 . 7) (6 . 8) (7 . 10)) 3703 0.5708 7.2986 ((1 . 7) (2 . 8) (4 . 9) (6 . 11)) 3732 0.7133 6.1632 ((1 . 5) (5 . 7) (6 . 8) (7 . 9) (8 . 10)) 3733 0.5713 4.2892 ((1 . 1) (5 . 6) (6 . 7) (7 . 8)) 3740 0.5713 4.8758 ((1 . 4) (4 . 5) (5 . 6) (7 . 9)) 3741 0.5707 7.4000 ((1 . 28) (4 . 32) (6 . 33) (7 . 35)) 3776 0.5713 4.7868 ((1 . 17) (5 . 21) (6 . 23) (7 . 24)) 3778 0.5706 7.6779 ((1 . 2) (2 . 3) (5 . 4) (6 . 5)) 3787 0.5714 3.3352 ((1 . 17) (5 . 21) (6 . 22) (7 . 23)) 3790 0.6987 12.3480 ((1 . 4) (2 . 5) (4 . 6) (5 . 9) (7 . 13)) 3807 0.8571 2.1348 ((1 . 43) (4 . 46) (5 . 47) (6 . 49) (7 . 50) (8 . 51)) 3810 0.5714 4.1483 ((1 . 4) (2 . 6) (4 . 8) (5 . 9)) 3817 0.5713 4.9570 ((1 . 1) (5 . 5) (6 . 6) (7 . 7)) 3818 0.5713 5.2517 ((1 . 23) (5 . 28) (6 . 27) (7 . 29)) 3829 0.3788 9.0647 ((4 . 9) (6 . 11) (7 . 12) (8 . 13)) 3831 0.8563 4.7075 ((1 . 2) (2 . 3) (4 . 5) (5 . 6) (6 . 7) (7 . 9)) 3847 0.5698 9.1128 ((4 . 9) (6 . 10) (7 . 13) (8 . 15)) 3849 0.5709 6.8719 ((4 . 2) (5 . 3) (6 . 4) (8 . 7)) 3853 0.5711 6.0306 ((1 . 3) (5 . 6) (6 . 7) (7 . 8)) 3870 0.5713 5.1344 ((1 . 5) (5 . 8) (6 . 9) (7 . 10)) 3933 0.5714 4.0960 ((1 . 2) (2 . 3) (4 . 5) (5 . 6)) 3938 0.5711 6.0866 ((4 . 2) (5 . 4) (6 . 5) (7 . 6)) 3942 0.2945 7.7108 ((2 . 2) (4 . 3) (6 . 6) (7 . 9)) 3968 0.5936 7.5662 ((1 . 5) (5 . 9) (6 . 10) (7 . 11) (8 . 12)) 3986 0.5682 10.8628 ((1 . 1) (2 . 2) (5 . 4) (7 . 8)) 3990 0.2977 3.4930 ((1 . 26) (4 . 18) (5 . 20) (6 . 19) (7 . 22)) 4005 0.5700 8.7970 ((1 . 26) (2 . 27) (4 . 29) (5 . 30)) 4009 0.5711 6.2675 ((1 . 15) (5 . 19) (6 . 20) (7 . 21)) 4019 0.5711 6.2539 ((1 . 46) (2 . 47) (5 . 50) (7 . 51)) 4034 0.5695 9.5345 ((1 . 10) (2 . 11) (5 . 13) (6 . 14)) 4037 0.5705 7.9672 ((4 . 2) (5 . 3) (6 . 4) (8 . 6)) 4067 0.5713 4.7050 ((1 . 20) (5 . 22) (6 . 23) (7 . 24)) 4082 0.7138 5.1547 ((1 . 5) (2 . 6) (4 . 8) (5 . 7) (7 . 10)) 4087 0.5706 7.6478 ((1 . 5) (2 . 6) (5 . 7) (8 . 9)) 4112 0.5713 4.7130 ((4 . 1) (5 . 2) (7 . 6) (8 . 7)) 4115 0.5713 4.4262 ((1 . 1) (5 . 8) (6 . 9) (7 . 10)) 4140 0.5713 4.9845 ((1 . 21) (4 . 22) (5 . 23) (6 . 25)) 4151 0.5713 4.5682 ((1 . 7) (5 . 9) (6 . 11) (7 . 12)) 4154 0.5714 3.3199 ((1 . 53) (2 . 54) (4 . 56) (5 . 57)) 4177 0.2945 10.0927 ((2 . 1) (4 . 2) (6 . 4) (7 . 7)) 4190 0.5709 6.8433 ((1 . 1) (2 . 3) (6 . 7) (7 . 8)) 4192 0.5713 4.9005 ((5 . 13) (6 . 14) (7 . 15) (8 . 18)) 4194 0.2945 7.4405 ((1 . 1) (4 . 3) (6 . 4) (7 . 6)) 4195 0.5695 9.5365 ((4 . 14) (5 . 15) (6 . 17) (8 . 1)) 4204 0.5713 4.3032 ((1 . 3) (5 . 9) (6 . 10) (7 . 11)) 4209 0.5711 5.9018 ((1 . 2) (2 . 4) (4 . 5) (5 . 7)) 4210 0.7141 3.8412 ((1 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8)) 4226 0.5713 4.6390 ((4 . 11) (5 . 12) (6 . 15) (7 . 16)) 4232 0.3788 9.3054 ((1 . 4) (2 . 5) (4 . 6) (7 . 8)) 4236 0.5714 3.2860 ((1 . 5) (4 . 6) (5 . 7) (8 . 13)) 4246 0.2478 7.4483 ((1 . 3) (2 . 2) (7 . 8) (8 . 10)) 4254 0.5714 4.2310 ((4 . 9) (5 . 11) (6 . 12) (7 . 13)) 4255 0.5713 5.2408 ((4 . 23) (5 . 24) (6 . 25) (7 . 26)) 4257 0.5712 5.5625 ((1 . 1) (4 . 3) (6 . 6) (7 . 7)) 4265 0.5714 4.2143 ((2 . 20) (5 . 23) (6 . 25) (7 . 26)) 4266 0.5705 7.8557 ((1 . 4) (5 . 6) (6 . 7) (7 . 8)) 4275 0.5712 5.5491 ((5 . 21) (6 . 22) (7 . 25) (8 . 26)) 4281 0.7139 4.9003 ((1 . 3) (2 . 4) (5 . 8) (6 . 9) (7 . 10)) 4284 0.5695 9.5770 ((1 . 1) (4 . 4) (5 . 5) (6 . 7)) 4299 0.5711 6.1834 ((1 . 4) (5 . 6) (6 . 7) (7 . 9)) 4301 0.5710 6.4448 ((1 . 4) (2 . 6) (4 . 1) (5 . 10)) 4326 0.5713 4.7153 ((1 . 10) (5 . 15) (6 . 16) (7 . 17)) 4332 0.7141 4.2431 ((4 . 2) (5 . 4) (6 . 5) (7 . 6) (8 . 8)) 4338 0.5705 7.9418 ((4 . 6) (5 . 7) (6 . 9) (7 . 11)) 4352 0.5658 12.5789 ((1 . 9) (2 . 10) (6 . 14) (8 . 15)) 4359 0.7142 3.3134 ((1 . 3) (2 . 4) (4 . 6) (5 . 7) (7 . 9)) 4380 0.5696 9.4172 ((1 . 15) (4 . 17) (5 . 18) (7 . 23)) 4383 0.5712 5.7613 ((1 . 18) (2 . 19) (4 . 21) (5 . 22)) 4388 0.5712 5.3733 ((1 . 1) (5 . 3) (6 . 4) (7 . 5)) 4398 0.7123 7.2795 ((1 . 4) (4 . 7) (5 . 8) (6 . 9) (7 . 10)) 4405 0.5693 9.8567 ((1 . 19) (4 . 21) (5 . 22) (7 . 25)) 4408 0.5713 4.7769 ((1 . 2) (5 . 4) (6 . 5) (7 . 6)) 4415 0.5714 2.9204 ((4 . 1) (5 . 9) (6 . 10) (7 . 11)) 4419 0.5705 8.0071 ((1 . 6) (4 . 8) (5 . 9) (6 . 11)) 4470 0.5713 4.8397 ((1 . 12) (4 . 14) (6 . 15) (7 . 18)) 4491 0.5713 5.1272 ((4 . 5) (5 . 6) (6 . 7) (7 . 8)) 4492 0.5713 4.9700 ((4 . 2) (5 . 3) (7 . 8) (8 . 9)) 4495 0.5698 9.2206 ((1 . 3) (5 . 6) (6 . 7) (7 . 8)) 4497 0.5712 5.4961 ((1 . 18) (4 . 23) (5 . 24) (7 . 26)) 4502 0.7132 6.3174 ((1 . 6) (4 . 10) (5 . 11) (6 . 13) (7 . 14)) 4503 0.5712 5.7073 ((1 . 6) (2 . 7) (4 . 9) (5 . 10)) 4504 0.5713 4.8979 ((1 . 6) (2 . 8) (6 . 12) (7 . 13)) 4505 0.5713 4.6740 ((4 . 25) (5 . 26) (6 . 27) (7 . 28)) 4516 0.5713 5.0028 ((1 . 14) (5 . 18) (6 . 19) (7 . 20)) 4538 0.2945 8.7428 ((2 . 31) (4 . 33) (5 . 34) (7 . 38)) 4551 0.5713 4.4040 ((1 . 1) (5 . 4) (6 . 7) (7 . 8)) 4560 0.7134 5.9286 ((1 . 2) (4 . 4) (5 . 6) (6 . 7) (7 . 8)) 4561 0.5713 4.7417 ((1 . 5) (5 . 9) (6 . 11) (7 . 12)) 4562 0.5714 3.8078 ((1 . 19) (5 . 25) (6 . 26) (7 . 27)) 4563 0.5712 5.4094 ((1 . 28) (5 . 31) (6 . 33) (7 . 34)) 4577 0.5713 4.8306 ((1 . 49) (2 . 50) (4 . 52) (5 . 54)) 4588 0.5711 6.0986 ((2 . 8) (5 . 11) (6 . 12) (7 . 13)) 4589 0.5702 8.5120 ((1 . 18) (2 . 19) (5 . 22) (8 . 26)) 4621 0.5708 7.2629 ((2 . 6) (4 . 7) (5 . 8) (7 . 11)) 4630 0.5714 4.2288 ((1 . 23) (4 . 26) (5 . 29) (7 . 33)) 4648 0.2945 8.0659 ((4 . 1) (5 . 2) (6 . 3) (8 . 7)) 4653 0.5713 5.0037 ((2 . 4) (4 . 5) (5 . 6) (7 . 8)) 4668 0.5709 6.9222 ((1 . 5) (5 . 9) (6 . 10) (7 . 11)) 4669 0.5713 4.5502 ((5 . 15) (6 . 16) (7 . 17) (8 . 18)) 4671 0.5714 3.1369 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 4713 0.5711 6.3083 ((2 . 3) (4 . 5) (5 . 6) (7 . 8)) 4715 0.3789 9.0209 ((4 . 3) (6 . 5) (7 . 6) (8 . 7)) 4857 0.5714 3.5288 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 4886 0.5709 6.8409 ((4 . 16) (5 . 17) (6 . 18) (7 . 19)) 4888 0.5666 12.0799 ((1 . 12) (2 . 13) (4 . 14) (5 . 15)) 4889 0.5708 7.0701 ((1 . 2) (4 . 3) (5 . 4) (6 . 5)) 4907 0.5710 6.4461 ((1 . 4) (2 . 5) (4 . 7) (5 . 8)) 4914 0.5712 5.3455 ((1 . 8) (2 . 9) (4 . 11) (5 . 12)) 4921 0.5677 11.2698 ((1 . 9) (5 . 12) (6 . 13) (7 . 15)) 4929 0.5712 5.2764 ((1 . 31) (2 . 32) (5 . 33) (7 . 35)) 4932 0.9991 3.9542 ((1 . 1) (2 . 2) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9)) 4940 0.5711 6.0156 ((1 . 1) (2 . 2) (4 . 3) (7 . 7)) 4961 0.5712 5.3039 ((1 . 7) (6 . 11) (7 . 14) (8 . 16)) 4978 0.5712 5.7673 ((1 . 28) (5 . 30) (6 . 31) (7 . 32)) 4982 0.5713 4.4098 ((4 . 9) (5 . 10) (6 . 11) (7 . 12)) 4992 0.5711 5.9327 ((4 . 2) (5 . 3) (6 . 4) (7 . 6)) 4998 0.5710 6.4477 ((2 . 20) (5 . 23) (6 . 24) (7 . 25)) 5029 0.5714 4.1670 ((5 . 2) (6 . 3) (7 . 6) (8 . 7)) 5036 0.5712 5.8670 ((1 . 1) (2 . 2) (4 . 4) (5 . 5)) 5039 0.5708 7.2912 ((1 . 37) (5 . 41) (6 . 43) (7 . 44)) 5044 0.5710 6.4728 ((1 . 1) (2 . 2) (4 . 3) (7 . 8)) 5046 0.5709 6.9195 ((1 . 4) (4 . 7) (5 . 8) (6 . 9)) 5053 0.5708 7.2708 ((1 . 5) (2 . 6) (6 . 8) (7 . 9)) 5068 0.5714 3.6098 ((1 . 2) (5 . 4) (6 . 6) (7 . 7)) 5069 0.5712 5.6045 ((1 . 12) (2 . 13) (5 . 15) (7 . 17)) 5073 0.5713 4.6845 ((1 . 32) (5 . 36) (6 . 38) (7 . 39)) 5080 0.2945 6.3803 ((5 . 3) (6 . 5) (7 . 2) (8 . 6)) 5083 0.5707 7.5752 ((2 . 1) (4 . 2) (6 . 4) (7 . 9)) 5101 0.5714 3.8107 ((1 . 3) (5 . 7) (6 . 8) (7 . 10)) 5103 0.5714 4.0560 ((1 . 2) (5 . 6) (6 . 8) (7 . 9)) 5121 0.5710 6.6141 ((1 . 25) (2 . 26) (4 . 28) (5 . 29)) 5132 0.5713 5.1099 ((1 . 16) (5 . 18) (6 . 19) (7 . 20)) 5134 0.5702 8.5285 ((5 . 17) (6 . 18) (7 . 19) (8 . 20)) 5145 0.5707 7.3856 ((4 . 5) (6 . 9) (7 . 10) (8 . 11)) 5167 0.5712 5.3927 ((1 . 9) (5 . 12) (6 . 13) (7 . 14)) 5183 0.5702 8.6019 ((4 . 37) (5 . 38) (6 . 39) (8 . 41)) 5192 0.0999 5.1672 ((5 . 1) (6 . 2) (7 . 3) (8 . 4)) 5198 0.5713 4.9700 ((1 . 21) (5 . 24) (6 . 25) (7 . 26)) 5199 0.1992 9.2578 ((1 . 4) (4 . 7) (5 . 8) (7 . 9)) 5209 0.5710 6.6457 ((4 . 3) (5 . 4) (6 . 6) (7 . 7)) 5215 0.5708 7.2071 ((1 . 4) (2 . 5) (6 . 8) (7 . 9)) 5223 0.5713 5.1144 ((1 . 12) (5 . 15) (6 . 16) (7 . 17)) 5231 0.5707 7.4364 ((1 . 8) (4 . 12) (5 . 13) (6 . 15)) 5266 0.5713 4.6241 ((1 . 4) (5 . 8) (6 . 9) (7 . 10)) 5278 0.5713 5.1305 ((1 . 2) (4 . 5) (5 . 6) (7 . 8)) 5307 0.5711 6.2421 ((5 . 51) (6 . 52) (7 . 53) (8 . 56)) 5312 0.4915 7.4051 ((1 . 1) (2 . 2) (5 . 3) (8 . 6)) 5318 0.5712 5.5214 ((5 . 8) (6 . 9) (7 . 11) (8 . 12)) 5323 0.5650 12.9816 ((4 . 10) (5 . 11) (6 . 13) (8 . 15)) 5324 0.5711 6.2266 ((1 . 20) (4 . 22) (6 . 26) (7 . 28)) 5344 0.5710 6.4908 ((1 . 4) (4 . 7) (5 . 8) (7 . 10)) 5345 0.5714 3.0397 ((1 . 8) (2 . 9) (4 . 12) (5 . 13)) 5368 0.5713 4.5810 ((1 . 13) (2 . 14) (4 . 16) (5 . 17)) 5378 0.5713 5.1441 ((2 . 3) (5 . 4) (6 . 5) (7 . 6)) 5414 0.5712 5.6809 ((1 . 16) (2 . 18) (4 . 20) (5 . 21)) 5418 0.5711 6.2144 ((4 . 1) (5 . 2) (6 . 4) (7 . 5)) 5421 0.5713 4.5868 ((1 . 2) (2 . 3) (4 . 4) (5 . 5)) 5433 0.5711 6.0621 ((2 . 4) (4 . 5) (5 . 7) (7 . 10)) 5479 0.7135 5.6979 ((1 . 55) (2 . 56) (4 . 59) (5 . 60) (7 . 62)) 5487 0.5683 10.7813 ((1 . 2) (5 . 7) (6 . 8) (7 . 9)) 5489 0.7091 9.2850 ((1 . 10) (2 . 11) (4 . 13) (5 . 14) (7 . 17)) 5500 0.3789 8.8837 ((4 . 1) (5 . 2) (7 . 7) (8 . 10)) 5535 0.5698 9.1506 ((2 . 6) (4 . 8) (5 . 9) (7 . 12)) 5540 0.5713 4.8013 ((2 . 14) (5 . 16) (6 . 17) (7 . 18)) 5557 0.5712 5.7482 ((1 . 2) (2 . 3) (6 . 5) (7 . 6)) 5560 0.5713 4.9103 ((4 . 11) (5 . 13) (6 . 14) (7 . 15)) 5562 0.5713 4.5802 ((1 . 11) (5 . 14) (6 . 15) (7 . 17)) 5567 0.5713 4.9999 ((1 . 11) (5 . 15) (6 . 16) (7 . 17)) 5594 0.5705 8.0064 ((1 . 4) (4 . 6) (6 . 7) (7 . 9)) 5600 0.7134 5.8672 ((4 . 5) (5 . 6) (6 . 7) (7 . 9) (8 . 10)) 5601 0.5713 4.6634 ((1 . 5) (5 . 10) (6 . 11) (7 . 12)) 5638 0.5713 4.6971 ((4 . 8) (5 . 9) (6 . 12) (7 . 13)) 5640 0.5713 4.4005 ((2 . 18) (4 . 20) (5 . 21) (7 . 23)) 5644 0.5710 6.6219 ((1 . 3) (2 . 4) (5 . 8) (7 . 10)) 5656 0.5940 6.2864 ((1 . 2) (2 . 3) (5 . 5) (6 . 6) (7 . 8)) 5700 0.5707 7.4266 ((1 . 2) (2 . 3) (5 . 4) (7 . 6)) 5701 0.5712 5.6273 ((1 . 6) (5 . 8) (6 . 10) (7 . 11)) 5711 0.5706 7.6150 ((1 . 27) (2 . 28) (5 . 29) (7 . 31)) 5713 0.7142 3.4110 ((1 . 16) (2 . 18) (4 . 20) (5 . 21) (7 . 25)) 5718 0.5710 6.5185 ((1 . 17) (2 . 18) (5 . 21) (7 . 24)) 5731 0.5712 5.2750 ((1 . 4) (2 . 5) (5 . 7) (7 . 10)) 5746 0.5711 6.2314 ((4 . 2) (5 . 3) (6 . 4) (7 . 6)) 5749 0.5708 7.3234 ((1 . 4) (2 . 5) (5 . 6) (6 . 8)) 5761 0.5713 5.2567 ((4 . 31) (5 . 32) (6 . 34) (7 . 36)) 5770 0.5710 6.4088 ((5 . 6) (6 . 7) (7 . 9) (8 . 10)) 5771 0.4453 7.9638 ((1 . 9) (6 . 10) (7 . 14) (8 . 16)) 5782 0.5714 3.3913 ((4 . 14) (5 . 15) (6 . 17) (7 . 18)) 5794 0.7134 5.9166 ((4 . 15) (5 . 16) (6 . 17) (7 . 18) (8 . 22)) 5795 0.5712 5.4770 ((1 . 10) (5 . 13) (6 . 15) (7 . 16)) 5809 0.5714 4.1709 ((1 . 9) (5 . 12) (7 . 14) (8 . 16)) 5822 0.3790 6.6372 ((1 . 1) (2 . 2) (4 . 4) (7 . 8)) 5827 0.7141 3.7675 ((2 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 8)) 5830 0.5712 5.8285 ((1 . 2) (2 . 3) (5 . 7) (7 . 10)) 5847 0.5710 6.6418 ((1 . 4) (2 . 5) (4 . 8) (5 . 9)) 5861 0.5712 5.3344 ((1 . 7) (4 . 11) (5 . 12) (7 . 15)) 5865 1.0000 0.0000 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 5888 0.7142 3.6245 ((1 . 13) (2 . 14) (4 . 16) (5 . 17) (7 . 21)) 5896 0.5712 5.7523 ((4 . 28) (5 . 29) (6 . 30) (8 . 32)) 5904 0.5709 6.7661 ((1 . 4) (5 . 7) (6 . 8) (7 . 9)) 5913 0.5709 6.9753 ((1 . 5) (2 . 6) (6 . 11) (7 . 13)) 5914 0.5714 4.1776 ((1 . 2) (2 . 3) (4 . 5) (5 . 6)) 5922 0.5710 6.7161 ((1 . 8) (4 . 9) (5 . 10) (7 . 13)) 5930 0.0999 6.6416 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 5939 0.5714 3.9272 ((1 . 2) (5 . 4) (6 . 5) (7 . 6)) 5945 0.5713 5.0627 ((1 . 23) (5 . 26) (6 . 27) (7 . 28)) 5949 0.1993 4.8185 ((1 . 1) (6 . 8) (7 . 9) (8 . 11)) 5955 0.0999 5.1333 ((1 . 1) (2 . 3) (6 . 8) (7 . 9)) 5967 0.5714 4.0769 ((5 . 1) (6 . 2) (7 . 3) (8 . 6)) 5977 0.0999 5.7583 ((4 . 1) (5 . 3) (6 . 4) (7 . 5)) 6000 0.5684 10.7421 ((1 . 9) (5 . 14) (6 . 16) (7 . 17)) 6011 0.5709 7.0577 ((1 . 4) (4 . 7) (5 . 8) (7 . 10)) 6022 0.5714 4.2637 ((1 . 2) (4 . 4) (5 . 5) (7 . 8)) 6028 0.5708 7.2101 ((4 . 2) (5 . 3) (6 . 4) (8 . 8)) 6029 0.5712 5.2894 ((4 . 24) (5 . 31) (6 . 32) (7 . 33)) 6041 0.5712 5.3559 ((1 . 11) (2 . 12) (6 . 14) (7 . 15)) 6046 0.5714 3.8097 ((1 . 3) (4 . 5) (5 . 6) (6 . 7)) 6061 0.7142 3.6756 ((1 . 13) (2 . 14) (5 . 17) (6 . 18) (7 . 20)) 6074 0.3907 5.4664 ((1 . 2) (4 . 4) (5 . 6) (6 . 7) (7 . 8)) 6075 0.5697 9.2600 ((1 . 17) (5 . 20) (6 . 22) (8 . 23)) 6079 0.5710 6.6382 ((1 . 1) (5 . 6) (7 . 8) (8 . 10)) 6087 0.5704 8.1230 ((1 . 3) (6 . 7) (7 . 8) (8 . 11)) 6089 0.0999 5.5605 ((5 . 1) (6 . 2) (7 . 3) (8 . 4)) 6094 0.5708 7.3515 ((4 . 2) (5 . 3) (6 . 6) (8 . 8)) 6099 0.7136 5.5281 ((1 . 6) (2 . 7) (4 . 10) (5 . 11) (7 . 14)) 6123 0.5704 8.1816 ((1 . 3) (2 . 4) (4 . 5) (6 . 7)) 6142 0.5712 5.7984 ((1 . 8) (4 . 11) (5 . 12) (7 . 14)) 6167 0.4453 7.2794 ((1 . 12) (4 . 17) (7 . 21) (8 . 22)) 6173 0.5712 5.5935 ((1 . 9) (2 . 11) (4 . 13) (5 . 15)) 6191 0.5709 7.0484 ((1 . 6) (4 . 9) (5 . 10) (7 . 13)) 6192 0.1992 8.6573 ((1 . 10) (2 . 11) (5 . 13) (6 . 15)) 6215 0.5710 6.6639 ((1 . 18) (2 . 19) (6 . 22) (7 . 24)) 6225 0.5670 11.8388 ((1 . 5) (2 . 7) (6 . 11) (7 . 12)) 6228 0.1992 10.4073 ((1 . 9) (2 . 11) (6 . 16) (8 . 18)) 6234 0.4913 8.0847 ((1 . 6) (2 . 7) (5 . 9) (8 . 14)) 6238 0.5705 8.0384 ((4 . 3) (5 . 4) (6 . 6) (7 . 7)) 6243 0.5713 4.4197 ((4 . 2) (5 . 3) (6 . 5) (7 . 6)) 6251 0.2946 4.7584 ((1 . 10) (5 . 15) (6 . 14) (7 . 17)) 6258 0.5709 6.8735 ((2 . 4) (5 . 7) (6 . 8) (7 . 9)) 6261 0.5942 5.6500 ((1 . 3) (2 . 4) (5 . 9) (6 . 10) (7 . 11)) 6266 0.5714 3.0699 ((1 . 3) (5 . 6) (6 . 7) (7 . 8)) 6270 0.1498 6.8436 ((1 . 13) (4 . 15) (7 . 18) (8 . 19)) 6271 0.5704 8.1165 ((1 . 10) (2 . 11) (4 . 12) (6 . 14)) 6273 0.5710 6.4343 ((1 . 1) (2 . 2) (4 . 3) (5 . 4)) 6294 0.5713 4.7303 ((2 . 9) (5 . 11) (6 . 12) (7 . 14)) 6306 0.4454 6.8588 ((1 . 15) (2 . 16) (4 . 17) (7 . 21)) 6311 0.5713 5.0991 ((1 . 10) (2 . 11) (4 . 13) (5 . 14)) 6326 0.5713 4.8641 ((1 . 6) (2 . 7) (4 . 9) (5 . 10)) 6344 0.5714 3.2557 ((1 . 14) (2 . 15) (4 . 17) (7 . 21)) 6345 0.1333 7.0820 ((1 . 4) (2 . 5) (4 . 6) (5 . 7) (6 . 8) (7 . 23)) 6348 0.5706 7.6493 ((5 . 1) (6 . 3) (7 . 4) (8 . 5)) 6355 0.5709 6.8208 ((1 . 6) (2 . 7) (4 . 9) (5 . 10)) 6356 0.5713 4.8926 ((1 . 1) (5 . 4) (7 . 6) (8 . 8)) 6369 0.5713 4.8705 ((1 . 20) (4 . 22) (6 . 23) (7 . 24)) 6376 0.5714 3.8723 ((5 . 17) (6 . 18) (7 . 19) (8 . 23)) 6391 0.1993 7.6240 ((1 . 8) (4 . 10) (5 . 12) (6 . 11)) 6392 0.5713 4.9746 ((1 . 3) (5 . 7) (6 . 8) (7 . 9)) 6399 0.7137 5.4361 ((1 . 7) (2 . 8) (4 . 11) (5 . 12) (7 . 14)) 6403 0.7141 3.8621 ((2 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 6434 0.4454 6.4103 ((1 . 4) (2 . 5) (6 . 7) (8 . 9)) 6462 0.5714 4.0144 ((1 . 16) (4 . 18) (6 . 19) (7 . 20)) 6498 0.5710 6.6033 ((2 . 16) (5 . 19) (6 . 20) (7 . 21)) 6520 0.5706 7.6988 ((1 . 3) (4 . 6) (5 . 8) (7 . 10)) 6539 0.5712 5.4683 ((4 . 4) (5 . 5) (6 . 7) (7 . 8)) 6548 0.5705 8.0108 ((4 . 5) (5 . 7) (6 . 8) (8 . 10)) 6553 0.5712 5.8133 ((1 . 13) (5 . 17) (6 . 19) (7 . 20)) 6555 0.5712 5.5077 ((1 . 20) (4 . 22) (5 . 23) (7 . 25)) 6561 0.5714 3.1069 ((1 . 9) (2 . 10) (5 . 12) (7 . 13)) 6573 0.1993 7.8779 ((1 . 22) (2 . 21) (4 . 23) (5 . 24)) 6575 0.1993 4.7960 ((4 . 2) (5 . 1) (7 . 5) (8 . 6)) 6578 0.5708 7.1154 ((1 . 31) (2 . 32) (5 . 34) (7 . 38)) 6584 0.7109 8.3332 ((1 . 5) (2 . 6) (4 . 8) (5 . 9) (6 . 10)) 6585 0.5704 8.0971 ((5 . 8) (6 . 9) (7 . 10) (8 . 12)) 6587 0.5714 3.4379 ((1 . 29) (2 . 31) (4 . 33) (5 . 34)) 6598 0.7130 6.5408 ((1 . 20) (4 . 25) (5 . 26) (7 . 28) (8 . 31)) 6613 0.5710 6.6053 ((1 . 22) (4 . 24) (6 . 25) (7 . 27)) 6635 0.5713 4.8757 ((4 . 1) (6 . 6) (7 . 7) (8 . 9)) END