4037 25 0.4980 11.3637 ((1 . 6) (2 . 7) (6 . 10) (7 . 12)) 41 0.4995 7.8482 ((3 . 3) (5 . 4) (7 . 6) (8 . 8)) 64 0.4998 6.3019 ((1 . 13) (2 . 14) (3 . 15) (4 . 16)) 77 0.4999 5.4270 ((2 . 7) (3 . 8) (4 . 10) (6 . 12)) 91 0.4990 9.6985 ((5 . 15) (6 . 18) (7 . 20) (8 . 22)) 96 0.4999 5.7272 ((1 . 1) (2 . 5) (3 . 6) (4 . 7)) 136 0.5000 3.6990 ((1 . 3) (2 . 7) (3 . 8) (4 . 9)) 147 0.4972 12.3799 ((5 . 3) (6 . 5) (7 . 6) (8 . 8)) 150 0.1987 8.1748 ((1 . 19) (2 . 20) (4 . 21) (6 . 24)) 155 0.4983 10.9282 ((2 . 2) (3 . 3) (7 . 7) (8 . 8)) 157 0.4990 9.6307 ((1 . 3) (3 . 5) (4 . 6) (8 . 12)) 161 0.4999 5.3667 ((1 . 3) (2 . 4) (3 . 6) (4 . 7)) 162 0.1987 12.9943 ((1 . 12) (2 . 15) (3 . 17) (6 . 19)) 207 0.4983 10.9124 ((3 . 8) (4 . 11) (5 . 12) (7 . 14)) 259 0.3669 9.2420 ((4 . 1) (6 . 2) (7 . 5) (8 . 6)) 300 0.4998 6.7650 ((1 . 7) (2 . 8) (5 . 11) (6 . 12)) 305 0.1497 10.7565 ((1 . 18) (2 . 19) (4 . 20) (7 . 25)) 307 0.4194 12.0803 ((1 . 1) (4 . 6) (5 . 8) (6 . 10)) 315 0.0999 4.3651 ((1 . 4) (2 . 5) (3 . 6) (4 . 7)) 317 0.1987 9.5916 ((4 . 4) (5 . 6) (6 . 7) (7 . 8)) 329 0.4997 6.9685 ((1 . 4) (2 . 5) (4 . 7) (7 . 9)) 350 0.4970 12.5984 ((1 . 10) (2 . 11) (3 . 13) (4 . 14)) 360 0.4995 8.1509 ((1 . 5) (2 . 6) (3 . 7) (8 . 15)) 361 0.4997 6.8919 ((2 . 4) (5 . 6) (6 . 7) (7 . 8)) 365 0.4999 5.5067 ((1 . 2) (2 . 3) (3 . 4) (5 . 7)) 433 0.3670 7.5881 ((2 . 1) (4 . 3) (5 . 4) (8 . 8)) 442 0.4991 9.2452 ((1 . 12) (3 . 14) (5 . 15) (7 . 18)) 460 0.4999 4.6083 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 472 0.4981 11.3017 ((3 . 25) (4 . 28) (5 . 29) (7 . 33)) 495 0.0999 5.6568 ((1 . 8) (2 . 9) (3 . 11) (4 . 12)) 541 0.4999 5.4224 ((2 . 2) (3 . 3) (6 . 6) (8 . 9)) 543 0.3669 9.0660 ((1 . 6) (2 . 8) (5 . 13) (6 . 14)) 553 0.4995 8.0531 ((1 . 12) (4 . 15) (6 . 21) (7 . 22)) 561 0.4997 7.2622 ((1 . 1) (2 . 3) (3 . 4) (4 . 5)) 584 0.4996 7.5379 ((1 . 3) (2 . 4) (3 . 5) (7 . 12)) 587 0.3668 10.3249 ((1 . 3) (2 . 6) (3 . 7) (8 . 12)) 609 0.1497 12.3183 ((3 . 35) (4 . 37) (7 . 39) (8 . 40)) 619 0.4998 6.4830 ((1 . 7) (2 . 8) (3 . 9) (4 . 10)) 624 0.4996 7.7511 ((1 . 22) (2 . 24) (3 . 26) (5 . 27)) 635 0.4998 6.3454 ((1 . 13) (2 . 14) (3 . 15) (4 . 17)) 672 0.1987 5.6366 ((1 . 22) (2 . 23) (3 . 24) (4 . 25)) 678 0.4994 8.3848 ((3 . 24) (5 . 25) (7 . 28) (8 . 30)) 719 0.4994 8.3028 ((2 . 25) (3 . 27) (4 . 29) (6 . 31)) 729 0.4988 10.0662 ((1 . 7) (2 . 9) (4 . 12) (6 . 14)) 782 0.4196 11.5542 ((4 . 4) (6 . 6) (7 . 8) (8 . 9)) 834 0.4998 6.3770 ((4 . 35) (6 . 36) (7 . 39) (8 . 40)) 861 0.4997 6.8620 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 901 0.4996 7.6846 ((3 . 12) (4 . 13) (5 . 14) (7 . 16)) 913 0.2910 7.9202 ((2 . 16) (3 . 17) (4 . 18) (7 . 21)) 928 0.4996 7.6704 ((3 . 1) (5 . 2) (7 . 4) (8 . 6)) 937 0.4996 7.7610 ((1 . 1) (2 . 4) (3 . 5) (4 . 6)) 943 0.6246 5.7848 ((2 . 1) (3 . 2) (4 . 3) (5 . 5) (7 . 7)) 945 0.4983 10.8924 ((1 . 14) (4 . 18) (5 . 20) (8 . 24)) 949 0.4999 5.8102 ((1 . 30) (2 . 32) (5 . 35) (6 . 37)) 960 0.4995 8.2019 ((2 . 8) (3 . 9) (5 . 11) (7 . 16)) 978 0.3666 11.9647 ((1 . 4) (5 . 9) (6 . 11) (7 . 12)) 980 0.1987 10.3328 ((3 . 1) (5 . 4) (7 . 6) (8 . 8)) 1005 0.3669 9.5431 ((1 . 1) (2 . 2) (5 . 6) (7 . 8)) 1007 0.4973 12.3225 ((1 . 13) (2 . 14) (7 . 21) (8 . 22)) 1034 0.6219 9.6190 ((1 . 20) (2 . 21) (3 . 22) (4 . 24) (7 . 27)) 1043 0.4995 8.0487 ((2 . 10) (5 . 15) (6 . 16) (8 . 18)) 1082 0.4996 7.5259 ((2 . 8) (3 . 9) (5 . 11) (7 . 14)) 1084 0.4997 7.3604 ((1 . 11) (2 . 12) (3 . 17) (8 . 21)) 1124 0.3668 10.0271 ((4 . 10) (5 . 11) (6 . 13) (7 . 14)) 1165 0.6223 9.3033 ((1 . 2) (2 . 3) (3 . 4) (4 . 6) (7 . 9)) 1167 0.4991 9.3268 ((2 . 20) (3 . 21) (6 . 24) (7 . 26)) 1201 0.4985 10.6039 ((1 . 1) (3 . 3) (6 . 5) (8 . 8)) 1204 0.4999 5.6685 ((3 . 25) (4 . 26) (5 . 27) (8 . 32)) 1211 0.4998 6.2302 ((1 . 10) (2 . 11) (3 . 14) (6 . 17)) 1224 0.1497 11.2710 ((1 . 3) (2 . 5) (3 . 6) (7 . 11)) 1233 0.4998 6.6543 ((1 . 11) (2 . 14) (3 . 17) (5 . 19)) 1267 0.4988 10.1315 ((1 . 13) (3 . 15) (4 . 16) (8 . 23)) 1268 0.4995 7.9621 ((4 . 14) (5 . 15) (6 . 16) (7 . 17)) 1294 0.4998 6.6139 ((1 . 40) (2 . 41) (3 . 42) (5 . 45)) 1301 0.4992 9.1247 ((5 . 2) (6 . 3) (7 . 6) (8 . 7)) 1345 0.4975 12.0123 ((3 . 7) (4 . 8) (7 . 10) (8 . 11)) 1388 0.5000 4.0653 ((3 . 5) (4 . 6) (5 . 7) (8 . 12)) 1415 0.4997 7.2442 ((4 . 3) (5 . 4) (6 . 5) (7 . 6)) 1435 0.1987 7.1222 ((1 . 3) (2 . 5) (3 . 6) (5 . 9)) 1447 0.4999 5.8232 ((1 . 1) (2 . 3) (3 . 5) (4 . 6)) 1451 0.1987 6.4102 ((1 . 3) (2 . 4) (3 . 5) (5 . 7)) 1464 0.3670 6.8939 ((2 . 7) (3 . 8) (4 . 9) (6 . 12)) 1470 0.4994 8.3175 ((4 . 9) (6 . 11) (7 . 12) (8 . 13)) 1472 0.4986 10.3865 ((4 . 3) (6 . 5) (7 . 9) (8 . 10)) 1476 0.1987 12.4022 ((1 . 9) (4 . 13) (6 . 16) (7 . 17)) 1497 0.4995 7.9734 ((4 . 20) (5 . 21) (6 . 22) (7 . 23)) 1501 0.3670 7.7876 ((1 . 1) (2 . 2) (3 . 3) (8 . 10)) 1513 0.4998 6.2530 ((1 . 13) (2 . 15) (3 . 18) (5 . 19)) 1514 0.4998 6.7567 ((1 . 1) (2 . 3) (3 . 4) (4 . 5)) 1577 0.0999 8.2983 ((2 . 6) (3 . 10) (4 . 9) (5 . 11)) 1591 0.4997 7.1996 ((2 . 14) (3 . 16) (5 . 17) (6 . 18)) 1595 0.3667 11.3497 ((4 . 3) (6 . 4) (7 . 6) (8 . 9)) 1604 0.4996 7.7412 ((4 . 11) (5 . 13) (6 . 14) (7 . 15)) 1624 0.1497 8.4405 ((2 . 5) (3 . 6) (6 . 10) (7 . 11)) 1643 0.4999 4.6809 ((1 . 12) (2 . 15) (3 . 16) (7 . 21)) 1665 0.1987 6.8866 ((1 . 6) (2 . 8) (3 . 10) (4 . 11)) 1690 0.4997 7.2854 ((2 . 18) (3 . 19) (5 . 22) (6 . 23)) 1731 0.2909 10.9636 ((1 . 3) (2 . 6) (4 . 7) (7 . 11)) 1736 0.3668 10.6457 ((1 . 1) (4 . 4) (7 . 9) (8 . 11)) 1747 0.4988 10.0270 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 1761 0.4201 9.0084 ((1 . 4) (2 . 5) (6 . 10) (8 . 14)) 1763 0.4987 10.2282 ((1 . 3) (4 . 8) (6 . 11) (7 . 12)) 1776 0.4998 6.5758 ((1 . 7) (3 . 12) (5 . 13) (8 . 21)) 1778 0.4999 4.6260 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 1793 0.6239 7.3651 ((1 . 10) (2 . 11) (3 . 12) (4 . 15) (6 . 18)) 1796 0.4997 6.8187 ((4 . 3) (6 . 5) (7 . 6) (8 . 7)) 1805 0.1987 6.4512 ((1 . 15) (2 . 16) (3 . 17) (4 . 18)) 1817 0.4990 9.5109 ((1 . 15) (2 . 18) (3 . 19) (5 . 21)) 1867 0.4998 6.7504 ((1 . 3) (2 . 6) (3 . 7) (4 . 8)) 1894 0.4197 11.0805 ((1 . 7) (4 . 9) (7 . 15) (8 . 16)) 1896 0.4201 8.7909 ((1 . 3) (3 . 5) (6 . 10) (8 . 13)) 1908 0.3670 7.0390 ((4 . 8) (5 . 9) (7 . 14) (8 . 16)) 1909 0.4195 11.7074 ((2 . 29) (5 . 33) (7 . 36) (8 . 38)) 1913 0.4994 8.5591 ((1 . 19) (2 . 21) (3 . 22) (8 . 31)) 1944 0.2909 10.8076 ((1 . 3) (3 . 5) (4 . 6) (6 . 8)) 1957 0.4996 7.6764 ((3 . 1) (5 . 2) (7 . 4) (8 . 6)) 1967 0.4997 7.3302 ((1 . 3) (4 . 6) (7 . 9) (8 . 12)) 1992 0.4990 9.6305 ((1 . 1) (4 . 5) (5 . 8) (7 . 10)) 2006 0.4997 7.1056 ((2 . 21) (3 . 22) (4 . 23) (6 . 27)) 2048 0.4986 10.4765 ((1 . 6) (5 . 12) (7 . 14) (8 . 15)) 2054 0.4999 5.6866 ((2 . 1) (3 . 2) (4 . 7) (5 . 9)) 2067 0.4996 7.6186 ((1 . 54) (2 . 55) (3 . 57) (4 . 58)) 2072 0.6247 5.5485 ((1 . 4) (2 . 6) (3 . 7) (5 . 8) (6 . 9)) 2081 0.4978 11.7497 ((1 . 6) (3 . 9) (6 . 11) (8 . 14)) 2083 0.2910 8.7860 ((1 . 1) (2 . 2) (6 . 8) (7 . 11)) 2114 0.2909 9.2374 ((2 . 32) (5 . 37) (6 . 38) (7 . 39)) 2117 0.4997 7.2874 ((2 . 11) (3 . 12) (4 . 13) (8 . 21)) 2118 0.6224 9.1848 ((1 . 5) (3 . 7) (5 . 8) (6 . 9) (7 . 10)) 2122 0.4994 8.5168 ((1 . 6) (2 . 8) (3 . 10) (5 . 11)) 2166 0.2461 13.4166 ((1 . 13) (3 . 15) (6 . 18) (8 . 22)) 2179 0.4983 10.8960 ((3 . 13) (4 . 15) (6 . 16) (8 . 21)) 2205 0.3669 8.9131 ((2 . 17) (3 . 18) (7 . 24) (8 . 25)) 2209 0.1497 11.4504 ((2 . 1) (4 . 2) (5 . 4) (8 . 8)) 2233 0.5769 6.9711 ((4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9)) 2243 0.1987 9.2693 ((1 . 57) (2 . 60) (3 . 61) (7 . 68)) 2249 0.1497 9.8769 ((2 . 4) (3 . 7) (5 . 8) (6 . 9)) 2269 0.4997 6.8516 ((1 . 6) (2 . 7) (5 . 9) (7 . 11)) 2279 0.4979 11.4935 ((1 . 9) (2 . 11) (4 . 14) (7 . 21)) 2298 0.4995 8.0816 ((2 . 8) (3 . 10) (4 . 11) (6 . 14)) 2308 0.4998 6.5053 ((1 . 4) (2 . 5) (5 . 7) (7 . 10)) 2340 0.4999 4.6751 ((1 . 9) (2 . 13) (3 . 14) (4 . 15)) 2342 0.3670 7.9074 ((4 . 6) (6 . 8) (7 . 9) (8 . 10)) 2344 0.4997 7.2380 ((2 . 1) (3 . 3) (4 . 4) (5 . 5)) 2364 0.1662 8.7637 ((4 . 6) (6 . 8) (7 . 10) (8 . 11)) 2381 0.4999 5.1327 ((1 . 3) (2 . 4) (3 . 5) (5 . 8)) 2389 0.4990 9.5449 ((1 . 3) (2 . 5) (3 . 6) (8 . 12)) 2409 0.4995 7.9009 ((1 . 4) (2 . 5) (3 . 6) (7 . 11)) 2423 0.4983 10.8696 ((1 . 20) (2 . 21) (3 . 22) (7 . 27)) 2440 0.4995 7.8578 ((1 . 4) (2 . 6) (3 . 7) (5 . 10)) 2443 0.4996 7.7197 ((4 . 7) (5 . 8) (6 . 9) (7 . 10)) 2447 0.4994 8.4866 ((2 . 5) (3 . 6) (5 . 8) (7 . 9)) 2465 0.4998 5.9758 ((4 . 4) (6 . 6) (7 . 7) (8 . 8)) 2510 0.4995 8.1954 ((1 . 3) (3 . 5) (4 . 6) (5 . 8)) 2525 0.4995 8.0984 ((1 . 41) (3 . 45) (4 . 46) (8 . 52)) 2529 0.4999 5.4471 ((1 . 1) (2 . 5) (3 . 6) (4 . 7)) 2533 0.4989 9.9007 ((3 . 13) (5 . 14) (6 . 16) (7 . 17)) 2544 0.1661 10.9969 ((4 . 18) (6 . 20) (7 . 21) (8 . 24)) 2551 0.4997 7.0314 ((1 . 1) (2 . 3) (4 . 5) (5 . 6)) 2552 0.4983 10.9845 ((2 . 1) (4 . 2) (5 . 4) (7 . 6)) 2556 0.4996 7.5002 ((1 . 18) (2 . 20) (3 . 22) (4 . 23)) 2557 0.4198 10.7183 ((4 . 1) (5 . 4) (6 . 5) (8 . 8)) 2591 0.3669 9.9623 ((5 . 36) (6 . 37) (7 . 39) (8 . 40)) 2595 0.6244 6.4411 ((1 . 9) (2 . 11) (3 . 13) (4 . 14) (5 . 15)) 2619 0.5000 4.4943 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 2634 0.1987 8.8153 ((5 . 2) (6 . 3) (7 . 5) (8 . 6)) 2658 0.4995 8.0633 ((1 . 1) (2 . 3) (4 . 5) (6 . 6)) 2675 0.4998 6.4352 ((1 . 4) (2 . 5) (3 . 8) (4 . 9)) 2682 0.4979 11.5446 ((3 . 1) (4 . 2) (7 . 4) (8 . 6)) 2703 0.4990 9.5438 ((4 . 1) (6 . 3) (7 . 4) (8 . 5)) 2731 0.4996 7.4182 ((1 . 1) (2 . 4) (3 . 5) (4 . 6)) 2733 0.4996 7.4264 ((1 . 1) (2 . 2) (4 . 5) (8 . 12)) 2753 0.4201 9.3163 ((4 . 1) (5 . 2) (7 . 4) (8 . 5)) 2755 0.1497 11.9455 ((2 . 1) (4 . 2) (5 . 4) (8 . 7)) 2773 0.4989 9.7294 ((2 . 2) (3 . 3) (5 . 4) (8 . 7)) 2783 0.4999 5.7235 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 2804 0.4200 9.7104 ((1 . 25) (3 . 29) (6 . 35) (8 . 37)) 2821 0.4974 12.2276 ((1 . 3) (2 . 5) (5 . 10) (7 . 12)) 2830 0.4988 10.0453 ((3 . 13) (5 . 14) (7 . 16) (8 . 18)) 2834 0.4996 7.4958 ((1 . 12) (3 . 14) (4 . 15) (6 . 17)) 2840 0.2908 12.1561 ((2 . 1) (3 . 5) (4 . 3) (7 . 10)) 2940 0.4997 7.0117 ((1 . 4) (2 . 5) (3 . 6) (5 . 9)) 2947 0.6236 7.9560 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (8 . 9)) 2950 0.4995 7.8724 ((4 . 8) (5 . 9) (6 . 10) (7 . 11)) 2966 0.4997 7.1431 ((1 . 1) (2 . 3) (3 . 4) (5 . 7)) 2990 0.4993 8.7964 ((2 . 12) (4 . 13) (7 . 17) (8 . 18)) 2999 0.4985 10.5626 ((2 . 2) (3 . 4) (4 . 3) (5 . 5)) 3019 0.4999 5.5512 ((1 . 9) (2 . 10) (4 . 12) (5 . 13)) 3034 0.4993 8.8784 ((3 . 1) (5 . 4) (7 . 6) (8 . 8)) 3041 0.4997 7.3482 ((2 . 29) (3 . 30) (4 . 31) (6 . 34)) 3070 0.1497 7.5215 ((2 . 32) (3 . 33) (4 . 34) (6 . 37)) 3084 0.3665 12.3877 ((1 . 7) (3 . 11) (4 . 12) (6 . 14)) 3102 0.4995 8.2274 ((1 . 67) (2 . 68) (3 . 69) (8 . 78)) 3103 0.1987 7.0846 ((2 . 1) (3 . 3) (5 . 6) (6 . 7)) 3120 0.4203 7.2322 ((3 . 21) (4 . 20) (5 . 23) (6 . 24)) 3127 0.4983 11.0136 ((1 . 2) (4 . 5) (5 . 7) (7 . 9)) 3176 0.4998 6.5169 ((1 . 26) (2 . 27) (3 . 29) (8 . 33)) 3187 0.5000 3.8011 ((1 . 6) (2 . 7) (3 . 9) (4 . 10)) 3190 0.4971 12.5529 ((1 . 6) (3 . 9) (5 . 10) (6 . 12)) 3197 0.4995 8.0824 ((1 . 19) (3 . 21) (4 . 22) (7 . 27)) 3200 0.4994 8.5659 ((2 . 4) (3 . 6) (4 . 7) (8 . 12)) 3202 0.4990 9.6988 ((5 . 24) (6 . 25) (7 . 27) (8 . 28)) 3212 0.6236 7.9508 ((1 . 2) (2 . 3) (3 . 5) (4 . 7) (6 . 10)) 3222 0.4982 11.1139 ((2 . 14) (3 . 16) (4 . 17) (8 . 24)) 3256 0.1987 4.8691 ((1 . 13) (2 . 19) (3 . 20) (6 . 27)) 3261 0.4989 9.8213 ((1 . 6) (2 . 7) (3 . 8) (6 . 12)) 3286 0.3668 10.1457 ((1 . 5) (3 . 7) (4 . 8) (7 . 12)) 3300 0.2462 10.1804 ((2 . 2) (5 . 9) (6 . 10) (8 . 12)) 3334 0.4994 8.3159 ((2 . 4) (3 . 5) (5 . 9) (7 . 11)) 3339 0.4990 9.5039 ((1 . 17) (3 . 21) (6 . 23) (7 . 24)) 3358 0.4998 6.6912 ((1 . 4) (2 . 7) (3 . 8) (4 . 11)) 3362 0.6248 4.6017 ((1 . 4) (2 . 10) (3 . 11) (4 . 12) (5 . 13)) 3391 0.4986 10.3928 ((3 . 4) (4 . 5) (5 . 7) (8 . 12)) 3410 0.2909 11.1713 ((1 . 21) (3 . 28) (4 . 27) (5 . 29)) 3446 0.1497 12.1367 ((1 . 5) (2 . 6) (4 . 9) (7 . 11)) 3470 0.4991 9.4292 ((4 . 9) (6 . 10) (7 . 11) (8 . 12)) 3481 0.4996 7.7309 ((1 . 4) (2 . 7) (3 . 8) (5 . 11)) 3495 0.1661 11.3238 ((1 . 8) (5 . 13) (6 . 14) (7 . 17)) 3496 0.4998 6.6712 ((2 . 22) (3 . 23) (4 . 24) (8 . 27)) 3537 0.4981 11.2756 ((2 . 9) (3 . 10) (4 . 11) (6 . 12)) 3538 0.4993 8.8854 ((1 . 23) (2 . 24) (3 . 25) (6 . 27)) 3548 0.6212 10.1357 ((1 . 2) (2 . 3) (3 . 4) (6 . 7) (8 . 11)) 3549 0.4997 7.1176 ((1 . 2) (2 . 3) (3 . 5) (5 . 7)) 3561 0.4993 8.7335 ((1 . 20) (4 . 25) (7 . 29) (8 . 32)) 3570 0.4998 6.0164 ((1 . 4) (2 . 7) (3 . 8) (4 . 9)) 3585 0.4996 7.7258 ((4 . 7) (5 . 17) (6 . 18) (7 . 19)) 3613 0.2910 8.2746 ((3 . 40) (6 . 42) (7 . 43) (8 . 44)) 3628 0.4977 11.8521 ((1 . 10) (3 . 12) (6 . 15) (7 . 16)) 3651 0.4995 7.9878 ((1 . 11) (2 . 13) (4 . 15) (8 . 25)) 3658 0.5510 9.6893 ((1 . 6) (2 . 7) (3 . 8) (7 . 12) (8 . 13)) 3659 0.0999 8.2536 ((1 . 7) (2 . 8) (3 . 9) (7 . 14)) 3661 0.4995 8.1659 ((4 . 10) (6 . 13) (7 . 14) (8 . 17)) 3663 0.4997 6.9182 ((1 . 1) (2 . 2) (3 . 5) (4 . 6)) 3697 0.4996 7.5675 ((1 . 1) (2 . 3) (3 . 4) (4 . 5)) 3703 0.4995 8.0748 ((1 . 1) (2 . 2) (3 . 3) (6 . 5)) 3732 0.4998 6.5098 ((3 . 2) (4 . 4) (6 . 6) (8 . 8)) 3733 0.4991 9.3470 ((4 . 2) (5 . 4) (6 . 5) (7 . 7)) 3740 0.4997 6.8433 ((1 . 5) (2 . 6) (3 . 7) (4 . 8)) 3741 0.4999 5.6102 ((1 . 1) (2 . 2) (3 . 3) (5 . 5)) 3776 0.4991 9.3686 ((1 . 15) (3 . 17) (7 . 23) (8 . 25)) 3778 0.4995 7.9641 ((1 . 3) (2 . 4) (6 . 8) (7 . 9)) 3787 0.5512 9.3528 ((1 . 19) (3 . 23) (5 . 24) (6 . 25) (8 . 28)) 3790 0.4994 8.3042 ((1 . 9) (2 . 10) (3 . 13) (7 . 17)) 3807 0.6217 9.7765 ((1 . 43) (2 . 46) (3 . 47) (5 . 49) (8 . 52)) 3817 0.3664 12.9191 ((2 . 10) (3 . 11) (4 . 13) (6 . 14)) 3829 0.4988 10.1235 ((4 . 8) (6 . 10) (7 . 11) (8 . 13)) 3831 0.1662 8.5788 ((1 . 2) (3 . 5) (6 . 7) (8 . 11)) 3847 0.6234 8.1821 ((1 . 16) (2 . 17) (3 . 9) (5 . 10) (7 . 11)) 3849 0.2910 8.6582 ((1 . 1) (2 . 2) (3 . 3) (6 . 7)) 3853 0.4988 10.0229 ((1 . 12) (3 . 14) (4 . 16) (6 . 19)) 3870 0.4995 8.0842 ((1 . 8) (3 . 10) (4 . 11) (7 . 14)) 3938 0.4997 6.9740 ((1 . 4) (2 . 8) (3 . 9) (4 . 12)) 3942 0.4203 6.9883 ((4 . 4) (5 . 5) (6 . 6) (7 . 8)) 3968 0.4196 11.2931 ((1 . 5) (3 . 9) (5 . 10) (6 . 12)) 3986 0.4201 8.9591 ((1 . 6) (2 . 9) (6 . 16) (8 . 20)) 4005 0.4999 4.8350 ((1 . 9) (2 . 12) (3 . 14) (4 . 16)) 4009 0.4965 13.1086 ((3 . 19) (4 . 20) (6 . 24) (7 . 25)) 4019 0.4995 8.0908 ((2 . 34) (3 . 35) (6 . 40) (7 . 41)) 4034 0.4997 7.2330 ((2 . 5) (3 . 6) (4 . 7) (7 . 8)) 4037 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 4062 0.4999 5.6746 ((1 . 48) (2 . 49) (3 . 50) (4 . 52)) 4067 0.4986 10.5167 ((3 . 16) (4 . 17) (5 . 19) (7 . 21)) 4077 0.4979 11.5175 ((4 . 14) (5 . 15) (6 . 16) (7 . 17)) 4087 0.4999 5.5485 ((1 . 5) (2 . 6) (3 . 7) (6 . 9)) 4112 0.4998 5.9630 ((1 . 2) (2 . 3) (3 . 4) (4 . 7)) 4115 0.4993 8.8871 ((1 . 8) (3 . 10) (5 . 11) (6 . 12)) 4140 0.6230 8.5847 ((1 . 21) (2 . 22) (3 . 23) (4 . 25) (7 . 27)) 4151 0.2908 11.7701 ((2 . 3) (4 . 4) (5 . 6) (7 . 8)) 4190 0.1987 8.3140 ((1 . 1) (2 . 3) (4 . 6) (5 . 7)) 4192 0.6218 9.7012 ((1 . 10) (3 . 13) (4 . 14) (5 . 16) (8 . 20)) 4194 0.4999 5.6104 ((1 . 5) (2 . 6) (3 . 7) (4 . 8)) 4204 0.2909 11.1630 ((4 . 2) (5 . 4) (7 . 6) (8 . 10)) 4209 0.3670 7.7969 ((2 . 1) (3 . 2) (4 . 3) (8 . 11)) 4210 0.4969 12.7559 ((1 . 4) (3 . 6) (5 . 7) (7 . 9)) 4226 0.4996 7.5920 ((2 . 11) (3 . 12) (4 . 13) (7 . 17)) 4232 0.4994 8.5803 ((1 . 3) (2 . 5) (3 . 6) (4 . 7)) 4236 0.4998 6.7588 ((1 . 6) (2 . 7) (3 . 8) (7 . 13)) 4242 0.4987 10.1717 ((5 . 2) (6 . 3) (7 . 5) (8 . 6)) 4243 0.4999 5.0986 ((5 . 3) (6 . 4) (7 . 5) (8 . 6)) 4246 0.4982 11.0451 ((1 . 2) (2 . 3) (3 . 5) (7 . 10)) 4254 0.4984 10.7050 ((1 . 4) (3 . 6) (4 . 7) (8 . 14)) 4255 0.4997 7.0406 ((1 . 21) (2 . 23) (3 . 24) (4 . 25)) 4261 0.2462 7.8393 ((5 . 14) (6 . 15) (7 . 16) (8 . 17)) 4265 0.4988 10.0757 ((2 . 20) (4 . 22) (5 . 25) (7 . 27)) 4266 0.4990 9.6309 ((4 . 7) (5 . 9) (6 . 10) (8 . 14)) 4275 0.4999 5.9371 ((1 . 25) (2 . 27) (3 . 28) (5 . 29)) 4281 0.4997 6.9757 ((4 . 6) (5 . 7) (7 . 11) (8 . 13)) 4284 0.4996 7.3643 ((1 . 6) (2 . 9) (3 . 10) (4 . 11)) 4299 0.4965 13.1225 ((3 . 4) (4 . 5) (7 . 7) (8 . 8)) 4326 0.4979 11.5222 ((1 . 10) (2 . 12) (4 . 14) (5 . 16)) 4332 0.4984 10.7289 ((2 . 2) (3 . 4) (4 . 5) (6 . 8)) 4338 0.4999 5.6754 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 4352 0.4203 7.6064 ((4 . 6) (5 . 7) (6 . 11) (7 . 12)) 4380 0.4997 7.3323 ((1 . 2) (2 . 3) (3 . 4) (4 . 6)) 4386 0.2908 12.1697 ((3 . 9) (4 . 11) (6 . 13) (8 . 15)) 4388 0.4991 9.4319 ((1 . 8) (2 . 9) (3 . 10) (7 . 15)) 4398 0.2910 7.4536 ((2 . 6) (3 . 7) (4 . 9) (6 . 11)) 4405 0.4997 7.1711 ((1 . 14) (3 . 18) (4 . 17) (6 . 20)) 4408 0.4965 13.1152 ((1 . 6) (2 . 7) (4 . 10) (8 . 19)) 4415 0.4993 8.7112 ((1 . 1) (3 . 3) (6 . 5) (8 . 10)) 4470 0.4999 5.1662 ((1 . 18) (2 . 19) (3 . 20) (4 . 22)) 4491 0.4997 7.2173 ((1 . 1) (2 . 5) (3 . 6) (4 . 7)) 4492 0.4971 12.5375 ((1 . 7) (4 . 10) (5 . 12) (7 . 14)) 4495 0.4997 7.2469 ((3 . 6) (5 . 9) (7 . 11) (8 . 12)) 4502 0.4959 13.6997 ((1 . 4) (2 . 5) (3 . 6) (7 . 13)) 4504 0.4999 5.1070 ((1 . 20) (2 . 21) (3 . 22) (4 . 23)) 4505 0.2462 8.5211 ((1 . 25) (2 . 26) (6 . 31) (8 . 35)) 4516 0.1987 6.8628 ((4 . 3) (6 . 5) (7 . 7) (8 . 9)) 4560 0.2910 8.6014 ((2 . 2) (3 . 4) (4 . 5) (6 . 7)) 4561 0.4984 10.7171 ((2 . 1) (4 . 4) (5 . 6) (7 . 8)) 4562 0.4998 6.2835 ((1 . 25) (2 . 27) (3 . 29) (4 . 30)) 4563 0.4985 10.5529 ((1 . 26) (2 . 28) (4 . 30) (6 . 33)) 4577 0.4946 14.6773 ((1 . 41) (2 . 42) (3 . 43) (5 . 45)) 4579 0.4529 7.6113 ((4 . 7) (5 . 8) (7 . 11) (8 . 13)) 4588 0.1987 11.1238 ((1 . 8) (2 . 9) (3 . 11) (4 . 12)) 4589 0.4995 8.0389 ((1 . 18) (2 . 19) (3 . 22) (6 . 24)) 4607 0.4995 8.0437 ((4 . 15) (5 . 16) (6 . 17) (7 . 18)) 4621 0.4999 5.8851 ((1 . 7) (2 . 8) (3 . 9) (4 . 10)) 4648 0.1987 9.0324 ((1 . 1) (2 . 2) (3 . 5) (4 . 3)) 4665 0.4998 6.4595 ((1 . 12) (2 . 13) (3 . 14) (4 . 16)) 4669 0.0999 6.9180 ((2 . 12) (3 . 15) (4 . 16) (8 . 20)) 4671 0.1987 9.3558 ((1 . 1) (2 . 2) (3 . 4) (4 . 5)) 4674 0.4999 5.6208 ((2 . 1) (3 . 2) (4 . 4) (5 . 5)) 4678 0.1332 9.4191 ((4 . 3) (6 . 7) (7 . 8) (8 . 9)) 4713 0.1332 8.6357 ((1 . 3) (2 . 5) (3 . 6) (6 . 10)) 4715 0.4989 9.8953 ((4 . 9) (6 . 10) (7 . 13) (8 . 14)) 4716 0.1662 5.0778 ((4 . 5) (5 . 6) (7 . 8) (8 . 9)) 4731 0.1987 6.8883 ((4 . 12) (5 . 13) (6 . 15) (8 . 17)) 4764 0.4997 6.7818 ((4 . 3) (6 . 5) (7 . 6) (8 . 7)) 4817 0.2910 8.6767 ((5 . 9) (6 . 11) (7 . 12) (8 . 13)) 4857 0.4996 7.4802 ((4 . 4) (5 . 14) (6 . 15) (7 . 16)) 4886 0.4995 8.1607 ((1 . 1) (3 . 4) (5 . 6) (6 . 7)) 4888 0.4965 13.1230 ((1 . 12) (2 . 14) (3 . 15) (5 . 18)) 4889 0.6237 7.7085 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (8 . 9)) 4907 0.4991 9.2500 ((1 . 4) (2 . 7) (3 . 8) (5 . 10)) 4932 0.4994 8.4884 ((2 . 5) (3 . 6) (4 . 7) (6 . 9)) 4940 0.4994 8.5598 ((1 . 1) (2 . 2) (3 . 3) (4 . 5)) 4961 0.4983 10.9997 ((4 . 2) (5 . 4) (7 . 8) (8 . 11)) 4963 0.2462 12.0340 ((5 . 7) (6 . 8) (7 . 9) (8 . 10)) 4978 0.4999 4.7204 ((1 . 21) (2 . 22) (3 . 24) (4 . 27)) 4992 0.4993 8.6286 ((2 . 1) (3 . 2) (6 . 4) (8 . 7)) 4998 0.4985 10.5559 ((2 . 19) (3 . 20) (4 . 21) (7 . 24)) 5016 0.4997 6.8680 ((5 . 2) (6 . 8) (7 . 9) (8 . 10)) 5029 0.4998 6.1133 ((1 . 2) (2 . 4) (3 . 6) (4 . 9)) 5039 0.4998 6.5819 ((1 . 37) (2 . 39) (3 . 41) (4 . 43)) 5044 0.4994 8.4033 ((1 . 3) (2 . 8) (3 . 9) (4 . 11)) 5053 0.4998 6.0701 ((2 . 9) (3 . 10) (5 . 13) (6 . 14)) 5065 0.4998 6.0094 ((1 . 9) (2 . 10) (3 . 11) (4 . 12)) 5068 0.4996 7.4884 ((4 . 1) (5 . 3) (7 . 6) (8 . 9)) 5069 0.4993 8.7347 ((1 . 17) (2 . 18) (3 . 19) (6 . 22)) 5073 0.1987 5.6814 ((3 . 32) (4 . 33) (7 . 35) (8 . 38)) 5080 0.4994 8.4825 ((2 . 2) (3 . 3) (7 . 8) (8 . 9)) 5092 0.4201 8.9276 ((4 . 3) (5 . 4) (6 . 5) (7 . 7)) 5101 0.6244 6.4045 ((1 . 23) (2 . 25) (3 . 26) (4 . 27) (5 . 28)) 5103 0.4994 8.4209 ((2 . 4) (5 . 7) (6 . 8) (8 . 11)) 5121 0.4993 8.6641 ((1 . 16) (2 . 18) (4 . 22) (5 . 23)) 5132 0.4992 9.1185 ((4 . 27) (6 . 32) (7 . 33) (8 . 34)) 5134 0.4995 8.1678 ((2 . 2) (3 . 3) (5 . 7) (8 . 11)) 5145 0.4998 6.6335 ((1 . 5) (3 . 8) (4 . 9) (5 . 11)) 5167 0.4993 8.7289 ((1 . 3) (2 . 4) (6 . 8) (7 . 10)) 5183 0.6243 6.5354 ((1 . 34) (2 . 35) (3 . 38) (5 . 39) (6 . 41)) 5192 0.4999 5.6665 ((3 . 21) (4 . 22) (5 . 23) (8 . 27)) 5198 0.4947 14.6491 ((1 . 21) (4 . 23) (5 . 25) (6 . 27)) 5212 0.4988 10.1242 ((1 . 2) (2 . 3) (5 . 8) (8 . 12)) 5215 0.4999 5.3514 ((2 . 9) (3 . 10) (5 . 13) (6 . 14)) 5223 0.4998 6.6148 ((2 . 1) (5 . 4) (6 . 5) (8 . 9)) 5231 0.4999 5.8290 ((1 . 12) (2 . 13) (3 . 14) (4 . 15)) 5266 0.4998 6.0520 ((2 . 8) (3 . 10) (4 . 11) (5 . 12)) 5278 0.1987 16.2398 ((1 . 8) (2 . 9) (3 . 10) (7 . 16)) 5307 0.4999 5.3629 ((1 . 55) (2 . 57) (3 . 58) (4 . 59)) 5318 0.4996 7.8255 ((4 . 6) (5 . 7) (7 . 9) (8 . 10)) 5323 0.4998 6.2751 ((5 . 16) (6 . 17) (7 . 18) (8 . 19)) 5324 0.4988 10.0024 ((1 . 12) (3 . 15) (6 . 17) (7 . 18)) 5345 0.4985 10.6649 ((1 . 12) (2 . 13) (3 . 14) (7 . 20)) 5368 0.1987 6.2124 ((1 . 46) (2 . 47) (3 . 48) (4 . 50)) 5378 0.4201 9.1183 ((1 . 4) (3 . 6) (6 . 10) (8 . 13)) 5411 0.4990 9.6128 ((1 . 3) (2 . 6) (3 . 8) (4 . 9)) 5418 0.5000 3.4019 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 5442 0.2462 8.6051 ((5 . 31) (6 . 32) (7 . 33) (8 . 34)) 5479 0.1987 9.8120 ((1 . 56) (2 . 59) (3 . 60) (7 . 65)) 5487 0.4989 9.7180 ((3 . 4) (5 . 8) (7 . 10) (8 . 12)) 5500 0.4997 6.9683 ((1 . 1) (2 . 2) (3 . 3) (5 . 10)) 5501 0.4985 10.5900 ((1 . 16) (2 . 17) (3 . 20) (4 . 21)) 5525 0.6215 9.9599 ((4 . 1) (5 . 2) (6 . 3) (7 . 5) (8 . 13)) 5535 0.4992 9.0489 ((1 . 9) (2 . 11) (3 . 12) (4 . 13)) 5540 0.2910 8.7655 ((1 . 1) (3 . 3) (4 . 5) (8 . 13)) 5557 0.4998 6.3561 ((2 . 2) (3 . 3) (6 . 5) (8 . 7)) 5560 0.6196 11.1080 ((1 . 15) (3 . 17) (4 . 18) (7 . 21) (8 . 24)) 5562 0.4996 7.6166 ((1 . 6) (2 . 7) (6 . 12) (8 . 15)) 5567 0.3651 16.8221 ((1 . 1) (2 . 4) (3 . 5) (8 . 14)) 5594 0.4998 6.5252 ((1 . 1) (2 . 3) (3 . 4) (4 . 5)) 5600 0.4996 7.6931 ((1 . 3) (2 . 5) (3 . 6) (4 . 7)) 5638 0.0999 9.8996 ((1 . 8) (3 . 13) (4 . 12) (5 . 14)) 5644 0.1987 8.1191 ((1 . 1) (2 . 3) (3 . 4) (4 . 5)) 5656 0.6242 6.9358 ((1 . 21) (2 . 23) (3 . 24) (5 . 25) (6 . 26)) 5689 0.4983 10.9348 ((5 . 3) (6 . 4) (7 . 7) (8 . 8)) 5700 0.4999 5.9503 ((1 . 2) (2 . 3) (3 . 4) (4 . 7)) 5701 0.4997 6.9603 ((1 . 4) (2 . 5) (3 . 6) (7 . 10)) 5702 0.4982 11.0696 ((5 . 3) (6 . 4) (7 . 7) (8 . 8)) 5711 0.4994 8.3696 ((1 . 38) (2 . 39) (3 . 42) (7 . 48)) 5718 0.4999 5.7500 ((1 . 16) (2 . 17) (3 . 18) (5 . 22)) 5746 0.4995 7.9218 ((1 . 6) (2 . 7) (3 . 9) (6 . 12)) 5749 0.6241 7.1046 ((1 . 3) (2 . 4) (3 . 5) (6 . 8) (7 . 9)) 5761 0.4197 11.1982 ((1 . 28) (3 . 31) (4 . 33) (6 . 34)) 5770 0.4988 10.0390 ((2 . 9) (3 . 12) (5 . 18) (8 . 22)) 5771 0.4998 6.0669 ((1 . 17) (2 . 20) (3 . 21) (4 . 22)) 5782 0.4963 13.3020 ((1 . 1) (4 . 4) (6 . 7) (7 . 8)) 5795 0.4990 9.4848 ((4 . 11) (5 . 12) (6 . 14) (7 . 15)) 5809 0.4985 10.6910 ((2 . 7) (3 . 9) (4 . 8) (5 . 10)) 5827 0.4997 7.1292 ((1 . 15) (2 . 16) (3 . 19) (7 . 20)) 5830 0.4992 9.1162 ((1 . 8) (2 . 10) (5 . 15) (6 . 16)) 5865 0.4995 7.9672 ((2 . 4) (3 . 5) (4 . 6) (6 . 8)) 5878 0.1987 8.4054 ((1 . 26) (2 . 29) (3 . 30) (4 . 31)) 5896 0.4997 7.2411 ((3 . 28) (4 . 27) (6 . 30) (7 . 32)) 5904 0.4952 14.2154 ((1 . 1) (5 . 3) (7 . 6) (8 . 8)) 5913 0.4998 6.5464 ((2 . 5) (3 . 6) (6 . 11) (8 . 14)) 5914 0.1987 9.0193 ((1 . 2) (2 . 3) (3 . 5) (4 . 4)) 5939 0.4991 9.2241 ((4 . 1) (5 . 3) (7 . 5) (8 . 7)) 5945 0.3666 12.0834 ((1 . 19) (4 . 25) (7 . 29) (8 . 30)) 5955 0.6243 6.5277 ((1 . 14) (2 . 16) (3 . 17) (5 . 18) (6 . 19)) 5967 0.4998 6.6387 ((3 . 1) (4 . 2) (7 . 8) (8 . 10)) 5977 0.4981 11.2144 ((2 . 1) (3 . 3) (4 . 2) (5 . 4)) 6011 0.4995 7.9680 ((1 . 8) (2 . 9) (3 . 10) (8 . 17)) 6028 0.2909 8.8480 ((1 . 1) (2 . 2) (3 . 3) (6 . 8)) 6029 0.4962 13.4673 ((2 . 10) (3 . 11) (4 . 12) (8 . 20)) 6033 0.1332 5.9723 ((4 . 6) (5 . 7) (6 . 9) (7 . 10)) 6041 0.4999 5.5119 ((1 . 11) (2 . 12) (3 . 13) (4 . 14)) 6046 0.1987 7.3572 ((1 . 2) (2 . 3) (3 . 5) (5 . 7)) 6061 0.4998 5.9625 ((1 . 13) (2 . 14) (3 . 15) (4 . 16)) 6074 0.4980 11.4182 ((1 . 2) (4 . 5) (5 . 7) (7 . 10)) 6075 0.2910 7.3596 ((4 . 18) (5 . 19) (7 . 22) (8 . 23)) 6079 0.6234 8.1114 ((1 . 7) (2 . 8) (3 . 9) (4 . 10) (5 . 12)) 6089 0.6244 6.3487 ((2 . 11) (3 . 24) (4 . 25) (5 . 26) (8 . 32)) 6099 0.4988 10.0929 ((1 . 10) (2 . 11) (3 . 13) (7 . 19)) 6123 0.4992 8.9705 ((1 . 3) (2 . 4) (3 . 5) (4 . 7)) 6142 0.4980 11.3696 ((1 . 16) (2 . 18) (4 . 21) (5 . 22)) 6167 0.3669 9.6226 ((1 . 4) (2 . 6) (3 . 7) (8 . 22)) 6169 0.4991 9.3049 ((4 . 4) (5 . 7) (6 . 8) (7 . 9)) 6173 0.4994 8.2764 ((1 . 12) (2 . 13) (3 . 15) (4 . 16)) 6191 0.4996 7.8312 ((2 . 3) (3 . 4) (4 . 5) (6 . 7)) 6192 0.4997 7.0455 ((2 . 10) (3 . 11) (4 . 12) (7 . 16)) 6215 0.1987 8.7870 ((1 . 17) (2 . 19) (3 . 20) (4 . 22)) 6225 0.4995 7.9048 ((1 . 3) (2 . 4) (3 . 5) (7 . 11)) 6228 0.3670 7.5950 ((1 . 11) (2 . 12) (6 . 17) (7 . 18)) 6234 0.3670 8.6115 ((1 . 7) (2 . 9) (3 . 10) (6 . 14)) 6238 0.4999 5.9495 ((1 . 7) (2 . 8) (3 . 9) (5 . 10)) 6243 0.4995 7.8518 ((1 . 8) (5 . 11) (6 . 12) (7 . 13)) 6251 0.4983 10.9154 ((1 . 15) (2 . 17) (4 . 18) (5 . 20)) 6258 0.4997 7.1492 ((1 . 10) (2 . 12) (3 . 13) (4 . 14)) 6261 0.4984 10.7894 ((1 . 1) (2 . 3) (4 . 7) (6 . 10)) 6266 0.4982 11.0921 ((1 . 6) (3 . 10) (5 . 12) (6 . 13)) 6268 0.4990 9.6877 ((5 . 8) (6 . 9) (7 . 11) (8 . 12)) 6270 0.4981 11.3082 ((1 . 13) (3 . 15) (4 . 16) (6 . 19)) 6271 0.4999 5.6317 ((1 . 8) (3 . 10) (6 . 13) (7 . 14)) 6294 0.4997 6.7806 ((1 . 23) (2 . 25) (3 . 27) (4 . 28)) 6329 0.5000 4.2009 ((5 . 2) (6 . 3) (7 . 4) (8 . 12)) 6344 0.2484 6.0281 ((2 . 7) (3 . 8) (4 . 9) (5 . 10) (6 . 11)) 6345 0.4998 6.3714 ((1 . 4) (2 . 5) (5 . 8) (6 . 9)) 6348 0.4977 11.8718 ((3 . 1) (4 . 3) (6 . 5) (7 . 6)) 6355 0.4994 8.4194 ((1 . 6) (2 . 7) (7 . 13) (8 . 16)) 6356 0.4991 9.2211 ((3 . 1) (5 . 3) (7 . 5) (8 . 8)) 6369 0.4992 8.9246 ((1 . 22) (3 . 24) (4 . 25) (6 . 27)) 6376 0.4991 9.3119 ((1 . 19) (2 . 21) (3 . 24) (6 . 29)) 6391 0.4200 9.7221 ((5 . 1) (6 . 2) (7 . 4) (8 . 5)) 6392 0.4996 7.3944 ((3 . 1) (4 . 2) (5 . 4) (8 . 8)) 6399 0.4969 12.7211 ((1 . 14) (2 . 15) (3 . 16) (7 . 23)) 6403 0.6239 7.3916 ((1 . 12) (2 . 13) (3 . 14) (6 . 16) (7 . 18)) 6434 0.6247 5.3415 ((1 . 2) (2 . 3) (3 . 4) (7 . 7) (8 . 8)) 6462 0.4981 11.3156 ((2 . 4) (3 . 5) (4 . 7) (8 . 11)) 6476 0.4998 6.4283 ((4 . 1) (5 . 2) (6 . 5) (7 . 7)) 6498 0.4993 8.9045 ((2 . 37) (4 . 39) (5 . 41) (8 . 46)) 6506 0.1661 12.8055 ((4 . 23) (5 . 24) (7 . 25) (8 . 27)) 6520 0.6246 5.6599 ((1 . 6) (2 . 8) (3 . 9) (4 . 11) (6 . 12)) 6539 0.4996 7.3866 ((1 . 5) (2 . 6) (3 . 8) (4 . 9)) 6548 0.5000 4.3076 ((1 . 7) (2 . 12) (3 . 13) (4 . 15)) 6553 0.4997 6.7725 ((1 . 17) (3 . 20) (7 . 27) (8 . 28)) 6561 0.2910 7.2036 ((1 . 9) (2 . 10) (4 . 11) (8 . 16)) 6575 0.4999 5.7871 ((1 . 1) (2 . 2) (3 . 5) (4 . 6)) 6578 0.4997 6.9301 ((3 . 37) (5 . 39) (6 . 40) (7 . 41)) 6584 0.0999 8.4590 ((1 . 6) (2 . 8) (3 . 9) (4 . 10)) 6585 0.4986 10.3849 ((1 . 2) (3 . 6) (4 . 7) (8 . 12)) 6587 0.4201 9.2363 ((3 . 31) (4 . 32) (7 . 35) (8 . 36)) 6598 0.4999 4.8812 ((1 . 25) (2 . 26) (3 . 27) (5 . 31)) 6605 0.4998 6.1758 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 6613 0.4993 8.9138 ((1 . 21) (2 . 22) (6 . 25) (7 . 26)) 6635 0.4198 10.8542 ((4 . 3) (6 . 6) (7 . 9) (8 . 10)) END