233 51 0.6643 8.3228 ((2 . 1) (3 . 2) (7 . 6) (8 . 7)) 62 0.6662 5.5353 ((1 . 10) (2 . 12) (3 . 13) (7 . 17)) 64 0.6663 5.3317 ((1 . 4) (2 . 6) (3 . 7) (7 . 8)) 77 0.6629 9.3121 ((1 . 8) (2 . 9) (7 . 13) (8 . 15)) 91 0.1996 12.7890 ((1 . 37) (3 . 40) (5 . 42) (7 . 45)) 96 0.6664 4.9155 ((3 . 1) (5 . 3) (7 . 5) (8 . 6)) 129 0.8290 7.3336 ((1 . 5) (2 . 8) (3 . 9) (5 . 11) (7 . 12)) 136 0.6665 3.9824 ((3 . 3) (5 . 5) (7 . 7) (8 . 8)) 153 0.6656 6.8596 ((2 . 1) (5 . 5) (7 . 6) (8 . 7)) 157 0.3871 12.6900 ((1 . 3) (3 . 5) (5 . 8) (7 . 9)) 161 0.6663 5.1076 ((1 . 3) (2 . 4) (3 . 6) (8 . 9)) 169 0.6664 4.9964 ((3 . 4) (5 . 7) (7 . 8) (8 . 9)) 177 0.9979 4.8458 ((1 . 3) (2 . 4) (3 . 5) (5 . 7) (7 . 8) (8 . 10)) 191 0.1333 5.9714 ((1 . 4) (3 . 6) (7 . 7) (8 . 8)) 198 0.2970 8.2362 ((1 . 9) (2 . 10) (5 . 15) (7 . 17)) 233 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (7 . 7) (8 . 8)) 300 0.6643 8.3157 ((2 . 7) (3 . 8) (5 . 9) (7 . 10)) 305 0.6660 6.1139 ((1 . 16) (2 . 17) (7 . 21) (8 . 22)) 315 0.6656 6.8693 ((1 . 4) (2 . 5) (3 . 6) (8 . 10)) 350 0.8313 6.0534 ((2 . 1) (3 . 2) (5 . 4) (7 . 5) (8 . 7)) 360 0.6662 5.4759 ((3 . 6) (5 . 8) (7 . 9) (8 . 10)) 365 0.8332 2.8492 ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (7 . 8)) 367 0.6665 4.1058 ((1 . 42) (2 . 43) (3 . 44) (7 . 48)) 372 0.2970 6.3326 ((2 . 1) (3 . 2) (7 . 7) (8 . 8)) 387 0.8308 6.4173 ((1 . 7) (2 . 8) (3 . 9) (5 . 11) (7 . 12)) 405 0.9992 3.7574 ((1 . 32) (2 . 33) (3 . 35) (5 . 38) (7 . 39) (8 . 40)) 417 0.6641 8.4930 ((2 . 2) (3 . 3) (7 . 7) (8 . 9)) 420 0.8319 5.5118 ((1 . 2) (2 . 3) (3 . 4) (7 . 8) (8 . 9)) 433 0.1499 9.6080 ((1 . 6) (2 . 7) (5 . 9) (7 . 10)) 442 0.6637 8.8247 ((1 . 1) (5 . 4) (7 . 6) (8 . 5)) 460 0.1499 7.4066 ((2 . 2) (5 . 6) (7 . 7) (8 . 8)) 495 0.6662 5.5244 ((1 . 3) (5 . 7) (7 . 8) (8 . 9)) 541 0.6657 6.5419 ((1 . 11) (5 . 14) (7 . 16) (8 . 17)) 543 0.6663 5.2359 ((1 . 5) (2 . 6) (5 . 8) (7 . 10)) 584 0.6664 4.8067 ((1 . 3) (2 . 4) (3 . 5) (8 . 10)) 587 0.6666 3.2225 ((3 . 2) (5 . 4) (7 . 6) (8 . 7)) 609 0.2495 6.9720 ((1 . 1) (2 . 3) (5 . 6) (7 . 8) (8 . 35)) 619 0.3871 12.9421 ((3 . 6) (5 . 8) (7 . 9) (8 . 11)) 624 0.6649 7.6605 ((1 . 20) (2 . 22) (5 . 24) (8 . 26)) 672 0.2969 10.2372 ((1 . 16) (3 . 18) (7 . 22) (8 . 23)) 719 0.1333 5.8063 ((3 . 22) (5 . 23) (7 . 25) (8 . 27)) 729 0.6642 8.3616 ((1 . 7) (3 . 9) (5 . 13) (8 . 15)) 735 0.8247 8.7239 ((1 . 31) (2 . 32) (3 . 33) (5 . 37) (7 . 39)) 765 0.6663 5.1340 ((3 . 12) (5 . 17) (7 . 19) (8 . 20)) 767 0.6656 6.7158 ((1 . 3) (5 . 8) (7 . 10) (8 . 12)) 801 0.6653 7.2941 ((1 . 2) (2 . 4) (3 . 5) (7 . 7)) 812 0.6648 7.7943 ((1 . 5) (3 . 9) (5 . 11) (8 . 13)) 818 0.6651 7.4979 ((1 . 2) (3 . 4) (5 . 7) (8 . 10)) 819 0.6662 5.3816 ((2 . 5) (5 . 8) (7 . 9) (8 . 10)) 928 0.6643 8.2652 ((1 . 10) (3 . 12) (5 . 14) (8 . 16)) 943 0.6633 9.1031 ((2 . 4) (3 . 6) (7 . 8) (8 . 9)) 945 0.6632 9.1627 ((2 . 12) (3 . 14) (7 . 17) (8 . 19)) 980 0.6649 7.6990 ((1 . 3) (3 . 5) (5 . 7) (8 . 9)) 1007 0.6655 6.9547 ((2 . 7) (3 . 8) (7 . 11) (8 . 12)) 1008 0.6658 6.4224 ((1 . 8) (5 . 13) (7 . 15) (8 . 16)) 1034 0.6443 14.8418 ((1 . 20) (2 . 21) (3 . 22) (8 . 25)) 1082 0.6655 6.9441 ((1 . 1) (2 . 2) (3 . 4) (7 . 6)) 1121 0.1996 5.0163 ((1 . 2) (2 . 3) (3 . 4) (5 . 6)) 1165 0.2969 11.1018 ((3 . 2) (5 . 3) (7 . 4) (8 . 7)) 1167 0.6664 4.6725 ((1 . 20) (2 . 21) (3 . 22) (8 . 27)) 1169 0.6661 5.7290 ((2 . 29) (3 . 30) (7 . 35) (8 . 37)) 1195 0.6664 4.6450 ((2 . 2) (5 . 4) (7 . 5) (8 . 6)) 1201 0.5929 21.1061 ((1 . 9) (2 . 11) (7 . 16) (8 . 17)) 1211 0.6660 5.9947 ((1 . 10) (2 . 11) (5 . 14) (7 . 15)) 1217 0.6663 5.0647 ((1 . 5) (2 . 7) (3 . 9) (7 . 12)) 1224 0.6624 9.6157 ((1 . 5) (3 . 6) (5 . 7) (8 . 9)) 1233 0.6663 5.2011 ((1 . 11) (2 . 14) (5 . 17) (8 . 20)) 1267 0.6660 5.9786 ((1 . 13) (3 . 15) (5 . 17) (8 . 19)) 1294 0.9986 4.4115 ((1 . 39) (2 . 40) (3 . 41) (5 . 44) (7 . 46) (8 . 47)) 1345 0.6662 5.6605 ((2 . 9) (5 . 12) (7 . 13) (8 . 14)) 1366 0.8321 5.3567 ((1 . 15) (2 . 16) (3 . 17) (7 . 21) (8 . 22)) 1425 0.6661 5.8542 ((1 . 3) (2 . 4) (3 . 6) (5 . 10)) 1435 0.0999 7.4800 ((3 . 1) (5 . 2) (7 . 3) (8 . 5)) 1451 0.6661 5.7602 ((3 . 1) (5 . 3) (7 . 4) (8 . 5)) 1464 0.8323 5.0671 ((1 . 7) (2 . 8) (3 . 10) (7 . 13) (8 . 14)) 1476 0.6656 6.7617 ((1 . 11) (3 . 14) (5 . 15) (8 . 18)) 1481 0.1996 6.9024 ((1 . 2) (3 . 4) (5 . 5) (7 . 7)) 1501 0.8315 5.8795 ((1 . 2) (2 . 3) (3 . 4) (7 . 7) (8 . 8)) 1513 0.6658 6.4871 ((1 . 11) (2 . 13) (5 . 15) (8 . 18)) 1604 0.6658 6.4744 ((1 . 3) (3 . 7) (5 . 10) (8 . 12)) 1624 0.6648 7.8479 ((3 . 2) (5 . 4) (7 . 5) (8 . 6)) 1643 0.8324 4.9500 ((1 . 18) (2 . 20) (5 . 25) (7 . 26) (8 . 27)) 1644 0.9969 5.3293 ((1 . 46) (2 . 47) (3 . 48) (5 . 50) (7 . 51) (8 . 52)) 1690 0.6589 11.2393 ((1 . 8) (3 . 11) (5 . 13) (8 . 16)) 1692 0.1996 6.1890 ((2 . 5) (3 . 6) (7 . 8) (8 . 9)) 1736 0.8306 6.5345 ((1 . 1) (3 . 3) (5 . 5) (7 . 7) (8 . 10)) 1738 0.6664 4.9434 ((2 . 18) (5 . 21) (7 . 23) (8 . 24)) 1747 0.8323 5.1243 ((1 . 10) (2 . 11) (5 . 15) (7 . 16) (8 . 18)) 1756 0.6639 8.6527 ((2 . 21) (3 . 23) (5 . 26) (8 . 29)) 1759 0.8321 5.3242 ((1 . 2) (2 . 4) (3 . 5) (7 . 9) (8 . 10)) 1761 0.6662 5.6348 ((1 . 7) (3 . 9) (5 . 11) (8 . 13)) 1763 0.6662 5.4818 ((1 . 7) (2 . 9) (3 . 10) (7 . 13)) 1776 0.6598 10.9019 ((1 . 7) (3 . 9) (5 . 12) (8 . 14)) 1777 0.6639 8.6134 ((1 . 34) (2 . 37) (5 . 43) (7 . 46)) 1778 0.0999 9.0485 ((1 . 2) (2 . 3) (3 . 4) (8 . 8)) 1793 0.6646 8.0177 ((1 . 8) (3 . 10) (5 . 11) (8 . 12)) 1805 0.6666 3.0939 ((3 . 2) (5 . 4) (7 . 7) (8 . 8)) 1808 0.6664 4.7295 ((1 . 2) (2 . 4) (3 . 5) (7 . 9)) 1817 0.6649 7.7402 ((3 . 14) (5 . 16) (7 . 19) (8 . 20)) 1867 0.6648 7.8158 ((1 . 1) (2 . 3) (3 . 6) (5 . 7)) 1894 0.6654 7.1025 ((1 . 18) (3 . 20) (5 . 22) (7 . 23)) 1896 0.1995 17.6019 ((1 . 19) (5 . 23) (7 . 25) (8 . 26)) 1897 0.3872 12.5870 ((2 . 39) (3 . 40) (5 . 43) (8 . 46)) 1908 0.1996 7.6978 ((1 . 7) (3 . 10) (7 . 15) (8 . 17)) 1909 0.6647 7.9102 ((1 . 31) (3 . 34) (5 . 37) (8 . 39)) 1913 0.6660 6.1392 ((1 . 13) (2 . 15) (7 . 21) (8 . 22)) 1944 0.6631 9.1910 ((1 . 7) (3 . 9) (5 . 13) (8 . 16)) 1957 0.6646 8.0153 ((1 . 3) (3 . 5) (5 . 7) (8 . 9)) 1961 0.6664 4.6256 ((1 . 15) (2 . 16) (7 . 19) (8 . 20)) 1967 0.6619 9.9314 ((1 . 7) (5 . 10) (7 . 14) (8 . 16)) 1972 0.6664 4.9655 ((1 . 16) (2 . 18) (5 . 20) (8 . 24)) 1992 0.3878 8.2678 ((1 . 1) (2 . 2) (3 . 3) (8 . 9)) 1995 0.8314 5.9711 ((1 . 2) (2 . 3) (5 . 7) (7 . 8) (8 . 9)) 2003 0.6654 7.0949 ((1 . 8) (2 . 9) (3 . 10) (5 . 12)) 2006 0.6664 4.8879 ((1 . 13) (5 . 15) (7 . 16) (8 . 18)) 2045 0.1996 7.0887 ((1 . 7) (2 . 11) (3 . 8) (7 . 13)) 2063 0.8324 4.9915 ((1 . 44) (2 . 45) (3 . 47) (5 . 49) (7 . 50)) 2065 0.6653 7.1992 ((1 . 16) (2 . 17) (3 . 18) (5 . 22)) 2072 0.6665 4.4877 ((1 . 1) (2 . 2) (7 . 5) (8 . 6)) 2081 0.1996 10.8845 ((1 . 3) (3 . 5) (7 . 9) (8 . 10)) 2083 0.6651 7.5026 ((2 . 1) (3 . 2) (5 . 4) (8 . 7)) 2097 0.6589 11.2248 ((2 . 1) (5 . 4) (7 . 6) (8 . 7)) 2114 0.8329 4.0785 ((1 . 28) (2 . 29) (3 . 32) (7 . 34) (8 . 36)) 2116 0.6664 4.7745 ((2 . 2) (5 . 5) (7 . 6) (8 . 7)) 2117 0.6664 4.9911 ((2 . 5) (5 . 9) (7 . 11) (8 . 12)) 2122 0.6659 6.2083 ((1 . 1) (3 . 6) (5 . 8) (8 . 10)) 2166 0.6664 4.5608 ((1 . 15) (2 . 16) (3 . 17) (7 . 21)) 2179 0.6648 7.8081 ((3 . 4) (5 . 6) (7 . 7) (8 . 9)) 2196 0.6664 4.7560 ((1 . 14) (2 . 15) (3 . 16) (5 . 18)) 2203 0.1333 9.1172 ((2 . 5) (3 . 6) (5 . 7) (8 . 10)) 2205 0.8208 9.5992 ((1 . 18) (3 . 20) (5 . 22) (7 . 23) (8 . 26)) 2209 0.6648 7.8609 ((1 . 3) (3 . 5) (5 . 7) (8 . 9)) 2243 0.6665 4.1263 ((1 . 42) (2 . 44) (3 . 45) (7 . 47)) 2244 0.6661 5.9200 ((1 . 69) (2 . 70) (3 . 71) (5 . 74)) 2249 0.6610 10.3695 ((2 . 16) (3 . 17) (7 . 21) (8 . 23)) 2269 0.6658 6.4150 ((1 . 6) (2 . 7) (3 . 8) (7 . 10)) 2279 0.6662 5.5616 ((1 . 10) (2 . 11) (7 . 19) (8 . 20)) 2298 0.6657 6.6510 ((1 . 6) (3 . 8) (5 . 10) (8 . 12)) 2308 0.6659 6.3299 ((1 . 4) (2 . 5) (3 . 6) (7 . 8)) 2314 0.6646 8.0291 ((1 . 3) (2 . 4) (5 . 7) (7 . 8)) 2344 0.6651 7.4732 ((1 . 6) (2 . 7) (5 . 10) (8 . 13)) 2364 0.6661 5.6690 ((1 . 7) (3 . 9) (5 . 12) (8 . 15)) 2381 0.1996 7.6307 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 2389 0.6658 6.4632 ((3 . 6) (5 . 8) (7 . 9) (8 . 10)) 2408 0.6655 6.8780 ((1 . 38) (2 . 39) (3 . 40) (5 . 42)) 2409 0.6663 5.0416 ((1 . 3) (2 . 4) (3 . 5) (7 . 8)) 2422 0.1996 8.4927 ((1 . 1) (3 . 4) (7 . 8) (8 . 9)) 2423 0.8285 7.5176 ((1 . 20) (2 . 21) (3 . 22) (7 . 25) (8 . 26)) 2447 0.3879 7.2339 ((1 . 15) (3 . 18) (7 . 21) (8 . 24)) 2462 0.6665 4.5425 ((1 . 6) (2 . 7) (7 . 11) (8 . 12)) 2510 0.6657 6.6923 ((2 . 17) (3 . 19) (5 . 21) (8 . 23)) 2529 0.2970 5.6586 ((2 . 1) (5 . 3) (7 . 5) (8 . 6)) 2533 0.6631 9.2145 ((2 . 4) (3 . 6) (7 . 8) (8 . 9)) 2556 0.6662 5.4842 ((1 . 11) (3 . 13) (5 . 16) (8 . 20)) 2595 0.6649 7.7321 ((1 . 4) (3 . 6) (5 . 9) (8 . 11)) 2619 0.8261 8.3274 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (8 . 7)) 2650 0.6660 6.0448 ((1 . 2) (5 . 5) (7 . 6) (8 . 7)) 2675 0.6652 7.3765 ((1 . 3) (2 . 4) (3 . 5) (8 . 10)) 2682 0.6644 8.2412 ((2 . 7) (5 . 11) (7 . 12) (8 . 13)) 2696 0.6656 6.8086 ((3 . 34) (5 . 36) (7 . 38) (8 . 39)) 2733 0.6655 6.9689 ((1 . 1) (2 . 2) (3 . 4) (8 . 8)) 2755 0.6644 8.2260 ((1 . 5) (3 . 6) (5 . 8) (8 . 10)) 2773 0.6664 4.9498 ((1 . 2) (2 . 3) (7 . 5) (8 . 6)) 2821 0.6634 9.0406 ((1 . 2) (2 . 3) (3 . 5) (5 . 7)) 2830 0.6647 7.9424 ((1 . 13) (3 . 15) (5 . 17) (8 . 19)) 2840 0.8330 3.7072 ((2 . 5) (3 . 6) (5 . 8) (7 . 9) (8 . 11)) 2879 0.9917 6.8578 ((1 . 52) (2 . 53) (3 . 54) (5 . 57) (7 . 58) (8 . 59)) 2886 0.8237 8.9626 ((1 . 34) (3 . 37) (5 . 39) (7 . 41) (8 . 43)) 2940 0.6656 6.7440 ((1 . 1) (5 . 4) (7 . 5) (8 . 6)) 2947 0.1999 6.8602 ((1 . 6) (2 . 7) (3 . 3) (5 . 4) (7 . 12) (8 . 13)) 2966 0.6658 6.5235 ((1 . 3) (2 . 4) (3 . 6) (5 . 8)) 2990 0.6550 12.4792 ((1 . 14) (2 . 15) (3 . 16) (7 . 19)) 2999 0.6662 5.6631 ((2 . 2) (3 . 4) (7 . 6) (8 . 7)) 3019 0.6664 4.8643 ((1 . 9) (2 . 10) (3 . 11) (8 . 14)) 3041 0.6663 5.2905 ((2 . 29) (3 . 30) (7 . 33) (8 . 32)) 3055 0.6666 3.5728 ((1 . 19) (2 . 20) (3 . 21) (5 . 23)) 3063 0.6649 7.7160 ((1 . 31) (2 . 32) (7 . 35) (8 . 36)) 3070 0.1996 7.6667 ((3 . 32) (5 . 33) (7 . 35) (8 . 36)) 3084 0.6651 7.5199 ((1 . 5) (3 . 7) (5 . 9) (8 . 11)) 3102 0.6662 5.4436 ((1 . 75) (2 . 76) (3 . 77) (8 . 82)) 3114 0.6651 7.4899 ((1 . 23) (2 . 24) (3 . 25) (8 . 29)) 3127 0.6627 9.4316 ((1 . 6) (3 . 8) (5 . 11) (8 . 13)) 3147 0.8313 6.0694 ((1 . 5) (2 . 6) (5 . 11) (7 . 12) (8 . 13)) 3187 0.9998 2.6371 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (7 . 6) (8 . 7)) 3190 0.6647 7.9293 ((1 . 3) (3 . 6) (5 . 9) (8 . 11)) 3197 0.6659 6.2147 ((1 . 10) (3 . 12) (5 . 14) (8 . 16)) 3200 0.6652 7.3124 ((1 . 4) (3 . 6) (7 . 9) (8 . 11)) 3212 0.6664 4.9362 ((1 . 2) (2 . 3) (3 . 5) (7 . 9)) 3222 0.6641 8.4466 ((1 . 7) (2 . 8) (3 . 10) (7 . 14)) 3256 0.6664 4.7927 ((1 . 19) (2 . 20) (3 . 21) (5 . 24)) 3261 0.6653 7.2415 ((1 . 6) (2 . 7) (3 . 8) (5 . 9)) 3286 0.6641 8.4439 ((1 . 3) (2 . 4) (3 . 5) (8 . 9)) 3289 0.6664 4.6855 ((2 . 25) (5 . 27) (7 . 30) (8 . 31)) 3297 0.8281 7.6904 ((1 . 7) (2 . 8) (5 . 9) (7 . 11) (8 . 12)) 3322 0.6630 9.2609 ((3 . 1) (5 . 3) (7 . 5) (8 . 7)) 3334 0.6657 6.5763 ((1 . 4) (2 . 5) (3 . 6) (7 . 10)) 3339 0.6649 7.6852 ((1 . 15) (3 . 17) (5 . 19) (8 . 21)) 3344 0.6617 10.0260 ((2 . 22) (3 . 24) (5 . 26) (7 . 27)) 3358 0.6632 9.1317 ((2 . 4) (3 . 7) (7 . 8) (8 . 10)) 3362 0.8315 5.8945 ((1 . 4) (3 . 6) (5 . 8) (7 . 10) (8 . 11)) 3366 0.6659 6.3070 ((1 . 26) (2 . 27) (5 . 28) (7 . 29)) 3391 0.6631 9.2214 ((2 . 4) (3 . 6) (7 . 8) (8 . 10)) 3410 0.6663 5.0376 ((1 . 19) (2 . 21) (5 . 24) (8 . 28)) 3418 0.6664 5.0110 ((2 . 2) (5 . 5) (7 . 6) (8 . 7)) 3472 0.8278 7.7714 ((2 . 3) (3 . 4) (5 . 6) (7 . 8) (8 . 9)) 3481 0.6659 6.2643 ((1 . 2) (2 . 4) (5 . 8) (8 . 10)) 3489 0.6644 8.1992 ((1 . 3) (2 . 4) (7 . 10) (8 . 12)) 3495 0.6662 5.4849 ((1 . 2) (2 . 3) (7 . 7) (8 . 8)) 3496 0.6662 5.4617 ((1 . 18) (2 . 19) (7 . 22) (8 . 23)) 3537 0.2968 11.5986 ((1 . 2) (3 . 5) (5 . 7) (8 . 9)) 3538 0.1500 6.1666 ((1 . 15) (3 . 23) (5 . 24) (7 . 25) (8 . 26)) 3548 0.6658 6.4958 ((3 . 4) (5 . 6) (7 . 8) (8 . 9)) 3549 0.6664 4.8040 ((1 . 2) (2 . 3) (3 . 5) (7 . 8)) 3561 0.6635 8.9389 ((1 . 18) (2 . 19) (3 . 20) (8 . 26)) 3570 0.8221 9.3210 ((1 . 1) (3 . 3) (5 . 4) (7 . 7) (8 . 8)) 3585 0.6637 8.8192 ((2 . 11) (3 . 12) (5 . 14) (8 . 16)) 3625 0.6657 6.6660 ((1 . 2) (2 . 3) (3 . 5) (5 . 6)) 3626 0.6661 5.8163 ((3 . 2) (5 . 6) (7 . 8) (8 . 11)) 3628 0.6648 7.7974 ((1 . 8) (2 . 9) (3 . 10) (8 . 14)) 3651 0.6661 5.9119 ((1 . 1) (3 . 3) (5 . 5) (8 . 8)) 3658 0.6661 5.7556 ((1 . 1) (5 . 5) (7 . 6) (8 . 7)) 3659 0.3880 5.0155 ((1 . 8) (3 . 9) (7 . 12) (8 . 13)) 3661 0.6658 6.3944 ((1 . 7) (2 . 8) (5 . 11) (7 . 12)) 3688 0.6635 8.9498 ((1 . 5) (3 . 8) (7 . 12) (8 . 14)) 3697 0.6660 6.1272 ((1 . 1) (2 . 3) (5 . 4) (8 . 6)) 3703 0.6662 5.4308 ((1 . 3) (2 . 4) (7 . 6) (8 . 7)) 3732 0.6664 4.9506 ((1 . 5) (5 . 9) (7 . 11) (8 . 12)) 3733 0.6642 8.3979 ((1 . 1) (3 . 3) (5 . 6) (8 . 8)) 3740 0.6665 4.0498 ((2 . 1) (3 . 2) (7 . 5) (8 . 6)) 3741 0.6661 5.6958 ((1 . 26) (2 . 27) (3 . 28) (8 . 35)) 3776 0.6660 5.9797 ((1 . 19) (2 . 20) (3 . 21) (5 . 24)) 3778 0.6661 5.7275 ((1 . 6) (2 . 7) (7 . 12) (8 . 13)) 3787 0.6658 6.3555 ((1 . 27) (5 . 31) (7 . 33) (8 . 35)) 3790 0.8306 6.5312 ((1 . 21) (2 . 22) (3 . 24) (5 . 26) (7 . 27)) 3807 0.6664 4.8883 ((1 . 43) (2 . 46) (3 . 47) (8 . 50)) 3810 0.2970 7.3384 ((2 . 9) (3 . 10) (7 . 15) (8 . 16)) 3831 0.2969 8.8593 ((1 . 2) (2 . 3) (5 . 5) (8 . 9)) 3847 0.2970 6.0791 ((1 . 9) (5 . 13) (7 . 16) (8 . 17)) 3849 0.6664 4.7139 ((1 . 2) (2 . 3) (3 . 5) (7 . 8)) 3856 0.6638 8.6859 ((2 . 3) (5 . 7) (7 . 9) (8 . 10)) 3933 0.6659 6.3140 ((1 . 9) (5 . 15) (7 . 17) (8 . 18)) 3938 0.6662 5.5797 ((2 . 2) (3 . 4) (7 . 8) (8 . 9)) 3968 0.0999 7.3428 ((1 . 3) (2 . 5) (5 . 9) (8 . 11)) 3986 0.6660 6.0283 ((1 . 1) (2 . 2) (7 . 7) (8 . 8)) 3990 0.6657 6.6136 ((1 . 18) (5 . 22) (7 . 24) (8 . 25)) 4005 0.6656 6.7408 ((1 . 2) (2 . 3) (3 . 4) (7 . 9)) 4009 0.6650 7.6276 ((1 . 12) (2 . 13) (3 . 15) (8 . 19)) 4019 0.8322 5.1876 ((1 . 42) (2 . 43) (3 . 44) (7 . 46) (8 . 47)) 4034 0.6657 6.5476 ((1 . 6) (5 . 9) (7 . 10) (8 . 12)) 4067 0.6657 6.5794 ((1 . 20) (3 . 22) (7 . 24) (8 . 25)) 4082 0.6657 6.6778 ((1 . 6) (2 . 7) (3 . 8) (7 . 10)) 4115 0.6661 5.7959 ((1 . 1) (5 . 5) (7 . 8) (8 . 10)) 4151 0.6656 6.7596 ((1 . 5) (3 . 7) (5 . 9) (8 . 12)) 4154 0.6657 6.6141 ((3 . 51) (5 . 53) (7 . 56) (8 . 57)) 4177 0.6665 4.2041 ((1 . 1) (2 . 2) (7 . 7) (8 . 8)) 4194 0.6662 5.3968 ((1 . 1) (5 . 5) (7 . 6) (8 . 7)) 4204 0.6657 6.6051 ((1 . 3) (3 . 5) (5 . 7) (8 . 11)) 4209 0.6654 7.0943 ((2 . 1) (3 . 2) (7 . 5) (8 . 7)) 4226 0.6661 5.7749 ((1 . 1) (5 . 6) (7 . 8) (8 . 9)) 4232 0.6660 5.9255 ((2 . 1) (5 . 2) (7 . 3) (8 . 4)) 4254 0.6650 7.5611 ((2 . 9) (3 . 11) (5 . 13) (8 . 15)) 4255 0.6638 8.6882 ((1 . 21) (2 . 23) (3 . 24) (5 . 26)) 4257 0.0999 6.5897 ((1 . 1) (5 . 7) (7 . 8) (8 . 9)) 4265 0.6662 5.4916 ((2 . 20) (3 . 21) (5 . 23) (8 . 26)) 4266 0.6659 6.2843 ((1 . 2) (3 . 4) (5 . 6) (8 . 8)) 4274 0.1996 5.1986 ((1 . 36) (2 . 38) (3 . 40) (7 . 41)) 4275 0.1499 5.2172 ((2 . 21) (5 . 23) (7 . 25) (8 . 27)) 4281 0.6658 6.4007 ((1 . 3) (2 . 4) (3 . 5) (5 . 8)) 4284 0.6664 4.9255 ((1 . 1) (3 . 3) (7 . 4) (8 . 5)) 4299 0.2970 6.7052 ((1 . 16) (2 . 19) (3 . 20) (5 . 22)) 4301 0.8288 7.3972 ((1 . 3) (2 . 4) (3 . 6) (5 . 9) (7 . 10)) 4326 0.2967 13.3204 ((1 . 12) (3 . 15) (5 . 17) (8 . 19)) 4332 0.2969 8.9541 ((1 . 2) (3 . 4) (7 . 6) (8 . 9)) 4338 0.6662 5.4062 ((1 . 4) (5 . 6) (7 . 7) (8 . 8)) 4359 0.9889 7.4005 ((1 . 6) (2 . 7) (3 . 8) (5 . 10) (7 . 11) (8 . 12)) 4380 0.6652 7.4188 ((1 . 14) (2 . 15) (3 . 17) (5 . 18)) 4383 0.6661 5.8959 ((1 . 16) (2 . 17) (3 . 18) (7 . 21)) 4386 0.6651 7.4540 ((2 . 16) (5 . 18) (7 . 19) (8 . 21)) 4388 0.8289 7.3661 ((1 . 5) (2 . 6) (3 . 8) (5 . 10) (8 . 12)) 4398 0.6646 8.0405 ((1 . 4) (3 . 6) (5 . 8) (8 . 10)) 4405 0.1996 9.0327 ((2 . 18) (3 . 19) (7 . 21) (8 . 22)) 4408 0.6663 5.0611 ((2 . 2) (3 . 3) (7 . 6) (8 . 7)) 4419 0.6651 7.5095 ((2 . 3) (5 . 6) (7 . 8) (8 . 9)) 4470 0.6660 6.1024 ((1 . 14) (5 . 18) (7 . 19) (8 . 20)) 4492 0.6619 9.8896 ((1 . 16) (3 . 18) (5 . 21) (8 . 23)) 4497 0.8295 7.0918 ((1 . 24) (2 . 25) (3 . 26) (5 . 28) (7 . 30)) 4502 0.6649 7.6637 ((1 . 6) (3 . 9) (5 . 11) (8 . 14)) 4503 0.6628 9.3916 ((3 . 1) (5 . 3) (7 . 4) (8 . 5)) 4504 0.6646 8.0323 ((1 . 13) (3 . 15) (5 . 17) (8 . 19)) 4505 0.6650 7.6033 ((1 . 25) (2 . 26) (5 . 28) (7 . 30)) 4516 0.6646 8.0211 ((1 . 14) (3 . 16) (5 . 18) (8 . 20)) 4538 0.6663 5.2154 ((1 . 32) (2 . 33) (3 . 34) (5 . 37)) 4560 0.6661 5.8791 ((2 . 11) (5 . 13) (7 . 14) (8 . 16)) 4561 0.6662 5.3772 ((2 . 9) (5 . 13) (7 . 14) (8 . 15)) 4562 0.6648 7.7806 ((1 . 19) (3 . 22) (5 . 25) (8 . 27)) 4577 0.6654 7.0381 ((2 . 48) (3 . 49) (7 . 52) (8 . 54)) 4588 0.6654 7.0847 ((3 . 3) (5 . 7) (7 . 8) (8 . 9)) 4589 0.6656 6.8228 ((1 . 22) (2 . 23) (7 . 29) (8 . 30)) 4621 0.6665 4.1279 ((1 . 3) (2 . 4) (7 . 9) (8 . 11)) 4630 0.6660 6.1089 ((1 . 34) (2 . 36) (5 . 39) (8 . 41)) 4648 0.1333 6.9779 ((3 . 1) (5 . 2) (7 . 5) (8 . 8)) 4653 0.6659 6.3381 ((1 . 6) (2 . 7) (3 . 8) (5 . 9)) 4668 0.6657 6.6002 ((1 . 1) (3 . 3) (5 . 5) (8 . 9)) 4669 0.6652 7.3980 ((1 . 12) (3 . 15) (5 . 17) (8 . 19)) 4671 0.2970 6.9674 ((1 . 4) (3 . 6) (5 . 7) (7 . 8)) 4674 0.6662 5.4121 ((1 . 1) (2 . 2) (7 . 7) (8 . 8)) 4678 0.6665 4.3537 ((1 . 10) (3 . 12) (7 . 15) (8 . 16)) 4713 0.6665 3.9542 ((1 . 3) (2 . 4) (3 . 5) (5 . 7)) 4731 0.6665 4.5248 ((1 . 18) (5 . 22) (7 . 23) (8 . 24)) 4734 0.6663 5.3119 ((1 . 3) (2 . 4) (3 . 6) (5 . 8)) 4857 0.2970 6.2071 ((1 . 3) (2 . 5) (7 . 9) (8 . 11)) 4886 0.6664 4.9072 ((1 . 29) (2 . 30) (3 . 31) (7 . 32)) 4888 0.6655 6.9642 ((2 . 12) (3 . 13) (7 . 16) (8 . 17)) 4889 0.1996 7.6078 ((1 . 2) (2 . 3) (3 . 4) (7 . 6)) 4907 0.6648 7.8219 ((3 . 3) (5 . 5) (7 . 8) (8 . 9)) 4914 0.6662 5.5751 ((2 . 1) (5 . 4) (7 . 5) (8 . 6)) 4929 0.6661 5.8721 ((1 . 28) (2 . 29) (3 . 31) (5 . 33)) 4932 0.6653 7.2295 ((1 . 1) (2 . 2) (3 . 4) (5 . 6)) 4940 0.6651 7.4984 ((1 . 6) (2 . 7) (3 . 8) (5 . 9)) 4944 0.6664 4.7657 ((1 . 11) (5 . 14) (7 . 15) (8 . 16)) 4961 0.6621 9.8162 ((1 . 12) (3 . 14) (5 . 17) (8 . 20)) 4978 0.6659 6.1593 ((1 . 18) (5 . 21) (7 . 22) (8 . 24)) 4982 0.6652 7.3937 ((2 . 9) (3 . 10) (5 . 12) (8 . 14)) 5029 0.6657 6.6786 ((1 . 2) (3 . 4) (5 . 6) (8 . 10)) 5036 0.9833 8.2151 ((1 . 4) (2 . 5) (3 . 6) (5 . 8) (7 . 9) (8 . 10)) 5038 0.6662 5.3763 ((1 . 12) (2 . 14) (3 . 15) (5 . 18)) 5039 0.6662 5.4025 ((1 . 37) (3 . 39) (5 . 41) (8 . 44)) 5046 0.8328 4.2375 ((1 . 3) (2 . 4) (5 . 7) (7 . 8) (8 . 10)) 5053 0.4665 7.7420 ((1 . 9) (2 . 10) (3 . 11) (8 . 15)) 5065 0.8296 7.0656 ((1 . 2) (2 . 3) (5 . 8) (7 . 9) (8 . 10)) 5068 0.6648 7.7822 ((1 . 2) (3 . 4) (5 . 7) (8 . 10)) 5069 0.6657 6.5624 ((1 . 2) (3 . 4) (5 . 7) (8 . 9)) 5073 0.1996 7.5161 ((1 . 32) (2 . 34) (5 . 36) (8 . 39)) 5083 0.6661 5.6973 ((1 . 5) (2 . 6) (3 . 8) (5 . 9)) 5101 0.6659 6.2090 ((1 . 15) (3 . 18) (5 . 21) (8 . 23)) 5103 0.6642 8.4327 ((1 . 13) (3 . 15) (5 . 17) (8 . 19)) 5121 0.6662 5.5250 ((2 . 25) (5 . 27) (7 . 30) (8 . 31)) 5132 0.6655 7.0116 ((1 . 16) (3 . 18) (5 . 20) (8 . 22)) 5176 0.1996 6.3258 ((1 . 82) (3 . 84) (5 . 87) (7 . 88)) 5183 0.8329 4.1257 ((1 . 34) (2 . 35) (3 . 36) (7 . 37) (8 . 38)) 5198 0.6507 13.5556 ((1 . 21) (3 . 22) (5 . 24) (8 . 26)) 5199 0.6662 5.3971 ((2 . 7) (3 . 8) (7 . 9) (8 . 10)) 5209 0.6656 6.7956 ((1 . 4) (5 . 7) (7 . 8) (8 . 9)) 5215 0.6655 6.9881 ((1 . 9) (2 . 10) (3 . 12) (8 . 15)) 5223 0.6653 7.1663 ((1 . 3) (3 . 6) (5 . 8) (8 . 10)) 5231 0.1996 7.4916 ((1 . 8) (2 . 12) (3 . 13) (7 . 16)) 5266 0.6660 6.0329 ((1 . 2) (3 . 4) (5 . 6) (8 . 8)) 5278 0.8319 5.5072 ((1 . 5) (2 . 6) (3 . 7) (5 . 9) (7 . 10)) 5307 0.1996 6.7944 ((2 . 51) (3 . 53) (7 . 55) (8 . 57)) 5312 0.6654 7.0721 ((2 . 1) (3 . 2) (5 . 4) (7 . 5)) 5324 0.6647 7.9040 ((1 . 5) (3 . 7) (5 . 10) (8 . 12)) 5344 0.8244 8.7879 ((1 . 3) (2 . 4) (5 . 7) (7 . 8) (8 . 9)) 5345 0.8272 7.9848 ((1 . 7) (2 . 8) (3 . 9) (5 . 12) (7 . 13)) 5368 0.9887 7.4228 ((1 . 19) (2 . 20) (3 . 21) (5 . 25) (7 . 26) (8 . 27)) 5378 0.1996 8.8649 ((1 . 3) (3 . 4) (7 . 6) (8 . 7)) 5414 0.9990 3.9803 ((1 . 14) (2 . 15) (3 . 16) (5 . 19) (7 . 20) (8 . 21)) 5418 0.6658 6.3692 ((1 . 2) (5 . 7) (7 . 8) (8 . 9)) 5433 0.6659 6.2412 ((2 . 8) (3 . 10) (7 . 14) (8 . 16)) 5479 0.6666 3.4379 ((2 . 54) (3 . 55) (7 . 59) (8 . 60)) 5487 0.6655 6.9343 ((1 . 2) (3 . 4) (5 . 7) (8 . 9)) 5489 0.8328 4.2755 ((2 . 9) (3 . 10) (5 . 12) (7 . 13) (8 . 14)) 5500 0.6666 3.7486 ((1 . 1) (2 . 2) (5 . 3) (8 . 12)) 5501 0.6536 12.8480 ((1 . 16) (2 . 17) (3 . 20) (8 . 24)) 5535 0.6665 4.4141 ((1 . 6) (2 . 7) (3 . 8) (7 . 12)) 5540 0.6429 15.0984 ((2 . 3) (3 . 4) (7 . 7) (8 . 8)) 5557 0.6659 6.3371 ((1 . 1) (2 . 2) (3 . 3) (7 . 6)) 5560 0.6622 9.7274 ((1 . 15) (3 . 17) (5 . 20) (8 . 22)) 5567 0.6656 6.7619 ((1 . 11) (5 . 17) (7 . 18) (8 . 19)) 5594 0.6654 7.0654 ((1 . 4) (3 . 6) (5 . 9) (8 . 12)) 5600 0.0999 9.8752 ((2 . 5) (3 . 6) (7 . 9) (8 . 11)) 5601 0.6658 6.4960 ((1 . 1) (3 . 5) (5 . 7) (8 . 10)) 5638 0.6662 5.4918 ((1 . 7) (2 . 8) (3 . 9) (7 . 13)) 5640 0.9856 7.9078 ((1 . 5) (2 . 6) (3 . 7) (5 . 9) (7 . 10) (8 . 11)) 5644 0.6665 4.0286 ((1 . 1) (2 . 3) (3 . 4) (7 . 8)) 5656 0.6660 6.0002 ((1 . 16) (5 . 21) (7 . 23) (8 . 24)) 5700 0.9995 3.3917 ((1 . 2) (2 . 3) (3 . 4) (5 . 6) (7 . 8) (8 . 9)) 5701 0.6663 5.1884 ((1 . 4) (2 . 5) (3 . 6) (8 . 8)) 5703 0.6666 3.6289 ((2 . 5) (3 . 6) (7 . 7) (8 . 8)) 5711 0.6665 4.0738 ((1 . 25) (2 . 27) (3 . 28) (7 . 29)) 5713 0.8322 5.2495 ((1 . 20) (2 . 21) (5 . 24) (7 . 25) (8 . 27)) 5718 0.2969 8.8381 ((1 . 17) (2 . 18) (3 . 21) (5 . 23)) 5731 0.6662 5.4612 ((1 . 3) (3 . 7) (7 . 9) (8 . 10)) 5746 0.6632 9.1344 ((3 . 6) (5 . 7) (7 . 9) (8 . 10)) 5761 0.6659 6.1885 ((1 . 30) (2 . 31) (3 . 32) (8 . 36)) 5771 0.3873 12.0764 ((1 . 9) (3 . 13) (7 . 15) (8 . 17)) 5782 0.6664 4.8543 ((1 . 14) (2 . 15) (5 . 21) (7 . 22)) 5794 0.6664 4.9668 ((1 . 18) (2 . 19) (7 . 23) (8 . 24)) 5795 0.6608 10.4723 ((2 . 9) (3 . 10) (5 . 13) (8 . 16)) 5809 0.6654 7.1597 ((1 . 7) (3 . 9) (5 . 12) (8 . 14)) 5822 0.6659 6.3337 ((1 . 1) (2 . 2) (7 . 7) (8 . 8)) 5827 0.6662 5.6187 ((1 . 2) (2 . 3) (3 . 4) (7 . 8)) 5830 0.8203 9.7011 ((1 . 1) (2 . 3) (5 . 7) (7 . 8) (8 . 10)) 5847 0.6663 5.2879 ((3 . 2) (5 . 5) (7 . 7) (8 . 8)) 5861 0.8306 6.5199 ((1 . 10) (2 . 11) (5 . 15) (7 . 16) (8 . 17)) 5865 0.6651 7.4280 ((1 . 1) (2 . 2) (5 . 5) (8 . 7)) 5888 0.8324 5.0298 ((1 . 8) (2 . 9) (5 . 12) (7 . 13) (8 . 14)) 5913 0.6663 5.2661 ((1 . 5) (2 . 6) (3 . 7) (8 . 13)) 5914 0.1499 7.1092 ((3 . 2) (5 . 3) (7 . 5) (8 . 6)) 5922 0.6654 7.0441 ((1 . 8) (2 . 9) (3 . 10) (5 . 11)) 5930 0.6657 6.7100 ((1 . 4) (5 . 7) (7 . 9) (8 . 11)) 5939 0.6651 7.5144 ((1 . 2) (3 . 4) (5 . 6) (8 . 8)) 5945 0.1996 10.2694 ((3 . 9) (5 . 11) (7 . 14) (8 . 13)) 5949 0.3879 6.9409 ((1 . 4) (3 . 9) (7 . 12) (8 . 14)) 5955 0.6662 5.3834 ((1 . 9) (5 . 14) (7 . 16) (8 . 17)) 6011 0.8314 5.9995 ((1 . 14) (2 . 15) (3 . 16) (7 . 19) (8 . 20)) 6022 0.6660 6.0860 ((2 . 1) (5 . 4) (7 . 5) (8 . 7)) 6029 0.6664 4.8322 ((1 . 5) (2 . 6) (7 . 10) (8 . 11)) 6041 0.6654 7.0317 ((3 . 8) (5 . 10) (7 . 11) (8 . 12)) 6046 0.6658 6.3786 ((1 . 2) (2 . 3) (3 . 5) (5 . 6)) 6074 0.6637 8.8049 ((1 . 4) (3 . 6) (5 . 8) (8 . 11)) 6075 0.6661 5.8222 ((1 . 17) (3 . 20) (5 . 21) (8 . 24)) 6079 0.6663 5.0345 ((1 . 7) (2 . 8) (3 . 9) (5 . 11)) 6094 0.6662 5.4249 ((1 . 3) (3 . 7) (7 . 10) (8 . 11)) 6099 0.8320 5.4378 ((1 . 25) (2 . 26) (3 . 28) (7 . 29) (8 . 30)) 6123 0.6642 8.4322 ((3 . 1) (5 . 3) (7 . 4) (8 . 5)) 6142 0.8316 5.8159 ((1 . 10) (2 . 11) (5 . 14) (7 . 15) (8 . 16)) 6148 0.6655 7.0096 ((2 . 33) (3 . 34) (5 . 36) (7 . 37)) 6167 0.6661 5.7560 ((1 . 4) (2 . 6) (5 . 10) (7 . 12)) 6173 0.9958 5.7875 ((1 . 7) (2 . 8) (3 . 9) (5 . 12) (7 . 13) (8 . 15)) 6191 0.6620 9.8589 ((1 . 6) (5 . 10) (7 . 12) (8 . 13)) 6225 0.6665 4.0632 ((1 . 3) (2 . 4) (3 . 5) (8 . 10)) 6228 0.6661 5.8667 ((1 . 1) (3 . 3) (5 . 5) (8 . 7)) 6234 0.6639 8.6217 ((1 . 9) (2 . 10) (3 . 13) (7 . 15)) 6238 0.6661 5.6981 ((1 . 4) (3 . 7) (7 . 8) (8 . 9)) 6243 0.6659 6.2685 ((1 . 3) (3 . 6) (5 . 8) (8 . 10)) 6258 0.6641 8.4832 ((1 . 7) (3 . 9) (5 . 10) (8 . 12)) 6266 0.2970 5.4520 ((3 . 3) (5 . 5) (7 . 6) (8 . 8)) 6271 0.6663 5.1566 ((1 . 4) (2 . 5) (7 . 10) (8 . 11)) 6306 0.6657 6.5628 ((1 . 15) (2 . 16) (7 . 19) (8 . 21)) 6311 0.8321 5.3348 ((1 . 4) (2 . 5) (5 . 9) (7 . 10) (8 . 11)) 6326 0.1996 6.8098 ((3 . 7) (5 . 10) (7 . 11) (8 . 12)) 6338 0.8232 9.0967 ((1 . 1) (2 . 2) (3 . 4) (5 . 7) (7 . 8)) 6344 0.8280 7.6970 ((2 . 12) (3 . 13) (5 . 17) (7 . 18) (8 . 19)) 6345 0.6641 8.4496 ((2 . 4) (3 . 5) (5 . 6) (7 . 7)) 6355 0.6664 4.7434 ((1 . 4) (2 . 6) (5 . 7) (8 . 9)) 6356 0.6623 9.6776 ((1 . 6) (3 . 9) (5 . 11) (8 . 13)) 6369 0.6656 6.7411 ((1 . 22) (3 . 24) (5 . 26) (8 . 29)) 6376 0.6631 9.1902 ((2 . 17) (5 . 19) (7 . 21) (8 . 24)) 6391 0.6666 3.3677 ((2 . 6) (3 . 8) (7 . 10) (8 . 12)) 6399 0.9825 8.3241 ((1 . 25) (2 . 26) (3 . 27) (5 . 29) (7 . 30) (8 . 31)) 6403 0.6663 5.3007 ((1 . 13) (2 . 14) (3 . 15) (8 . 17)) 6434 0.6657 6.5775 ((1 . 2) (2 . 3) (3 . 4) (5 . 5)) 6462 0.6644 8.1757 ((1 . 12) (3 . 16) (5 . 18) (8 . 20)) 6498 0.1996 12.7364 ((1 . 37) (3 . 40) (5 . 42) (7 . 45)) 6520 0.6657 6.6336 ((1 . 6) (2 . 8) (3 . 9) (8 . 13)) 6539 0.6657 6.5688 ((2 . 4) (3 . 5) (5 . 8) (8 . 10)) 6540 0.9925 6.6989 ((1 . 16) (2 . 17) (3 . 18) (5 . 20) (7 . 21) (8 . 22)) 6548 0.6665 4.5111 ((1 . 7) (5 . 9) (7 . 12) (8 . 13)) 6553 0.6661 5.8322 ((3 . 11) (5 . 13) (7 . 15) (8 . 17)) 6555 0.8253 8.5578 ((1 . 20) (2 . 22) (3 . 23) (5 . 25) (7 . 27)) 6561 0.6659 6.2775 ((1 . 9) (2 . 10) (5 . 12) (8 . 13)) 6573 0.6656 6.7583 ((1 . 17) (5 . 21) (7 . 23) (8 . 24)) 6578 0.8328 4.2280 ((1 . 31) (2 . 32) (3 . 34) (7 . 37) (8 . 38)) 6584 0.6665 4.1789 ((1 . 2) (2 . 3) (7 . 7) (8 . 8)) 6585 0.6659 6.2854 ((1 . 10) (2 . 11) (7 . 14) (8 . 15)) 6587 0.6653 7.1981 ((2 . 29) (3 . 31) (7 . 34) (8 . 33)) 6598 0.6664 4.8781 ((1 . 5) (2 . 6) (3 . 7) (8 . 10)) 6613 0.6656 6.8075 ((1 . 27) (2 . 28) (5 . 31) (8 . 33)) END