6338 51 0.6634 8.9918 ((1 . 1) (2 . 2) (7 . 6) (8 . 7)) 62 0.6634 9.0111 ((1 . 10) (4 . 13) (7 . 16) (8 . 17)) 64 0.6659 6.3273 ((1 . 10) (2 . 12) (4 . 13) (5 . 14)) 77 0.1996 10.9074 ((1 . 6) (2 . 7) (5 . 9) (8 . 13)) 129 0.6657 6.5605 ((4 . 1) (5 . 2) (7 . 3) (8 . 5)) 136 0.6664 4.6143 ((1 . 3) (5 . 5) (7 . 7) (8 . 8)) 153 0.9934 6.4733 ((1 . 6) (2 . 7) (4 . 8) (5 . 9) (7 . 10) (8 . 12)) 157 0.1996 7.5878 ((1 . 9) (2 . 11) (7 . 14) (8 . 16)) 161 0.6639 8.6314 ((1 . 3) (2 . 4) (4 . 6) (7 . 9)) 169 0.9976 5.0176 ((1 . 4) (2 . 5) (4 . 7) (5 . 8) (7 . 9) (8 . 10)) 177 0.8329 4.0602 ((1 . 4) (2 . 5) (5 . 7) (7 . 8) (8 . 10)) 191 0.6657 6.6460 ((1 . 6) (2 . 7) (4 . 8) (5 . 9)) 198 0.6628 9.4146 ((1 . 5) (4 . 8) (7 . 10) (8 . 12)) 233 0.8232 9.0967 ((1 . 1) (2 . 2) (4 . 3) (7 . 5) (8 . 7)) 300 0.6637 8.7824 ((2 . 6) (4 . 7) (7 . 9) (8 . 10)) 305 0.2969 11.0299 ((1 . 11) (5 . 16) (7 . 18) (8 . 19)) 315 0.0999 10.1648 ((4 . 3) (5 . 4) (7 . 5) (8 . 6)) 350 0.8309 6.3533 ((1 . 4) (2 . 5) (4 . 7) (5 . 8) (7 . 10)) 360 0.8269 8.0853 ((2 . 5) (4 . 6) (5 . 7) (7 . 8) (8 . 9)) 365 0.8329 4.1766 ((1 . 2) (2 . 3) (4 . 4) (5 . 6) (7 . 8)) 367 0.8289 7.3600 ((1 . 42) (2 . 43) (4 . 44) (7 . 47) (8 . 48)) 372 0.6663 5.3394 ((4 . 5) (5 . 6) (7 . 7) (8 . 8)) 387 0.8304 6.6224 ((1 . 7) (2 . 8) (4 . 9) (5 . 10) (7 . 11)) 405 0.9993 3.7024 ((1 . 33) (2 . 35) (4 . 37) (5 . 38) (7 . 39) (8 . 40)) 417 0.6638 8.7012 ((1 . 2) (2 . 3) (7 . 7) (8 . 9)) 420 0.8308 6.3700 ((1 . 3) (2 . 4) (4 . 5) (7 . 8) (8 . 9)) 433 0.6653 7.2827 ((2 . 5) (4 . 6) (5 . 7) (8 . 9)) 495 0.6660 5.9640 ((1 . 5) (4 . 7) (7 . 9) (8 . 11)) 541 0.6660 5.9833 ((1 . 7) (4 . 11) (7 . 14) (8 . 16)) 543 0.2969 9.2282 ((4 . 4) (5 . 5) (7 . 6) (8 . 8)) 561 0.6665 3.9676 ((1 . 1) (4 . 3) (5 . 4) (8 . 6)) 587 0.6664 4.6674 ((1 . 13) (2 . 14) (4 . 15) (5 . 16)) 609 0.6619 9.9114 ((1 . 1) (2 . 3) (7 . 6) (8 . 8)) 619 0.8290 7.3214 ((2 . 7) (4 . 8) (5 . 9) (7 . 11) (8 . 12)) 624 0.6657 6.5992 ((1 . 11) (4 . 13) (7 . 15) (8 . 16)) 635 0.6657 6.6235 ((2 . 13) (4 . 14) (5 . 15) (8 . 18)) 672 0.6659 6.3106 ((1 . 18) (5 . 21) (7 . 23) (8 . 24)) 683 0.6652 7.3865 ((4 . 2) (5 . 3) (7 . 5) (8 . 6)) 719 0.6629 9.3319 ((1 . 23) (4 . 25) (5 . 27) (8 . 30)) 729 0.6656 6.7144 ((1 . 13) (4 . 15) (7 . 17) (8 . 20)) 735 0.9971 5.2607 ((1 . 29) (2 . 31) (4 . 32) (5 . 33) (7 . 36) (8 . 37)) 740 0.2970 5.2784 ((4 . 2) (5 . 3) (7 . 5) (8 . 6)) 765 0.6662 5.4133 ((2 . 12) (5 . 17) (7 . 19) (8 . 20)) 767 0.3878 8.5734 ((2 . 8) (4 . 9) (5 . 10) (7 . 12)) 795 0.6656 6.7581 ((1 . 1) (4 . 3) (7 . 5) (8 . 6)) 801 0.6659 6.2164 ((2 . 1) (4 . 2) (5 . 4) (7 . 5)) 812 0.3876 10.3176 ((1 . 5) (4 . 8) (5 . 9) (8 . 13)) 818 0.6632 9.1582 ((1 . 10) (4 . 12) (7 . 14) (8 . 16)) 819 0.6657 6.5516 ((1 . 5) (5 . 8) (7 . 9) (8 . 10)) 861 0.6647 7.9201 ((1 . 12) (4 . 15) (5 . 16) (7 . 17)) 928 0.6574 11.7486 ((1 . 8) (2 . 10) (5 . 12) (8 . 14)) 943 0.2968 11.7318 ((1 . 6) (2 . 8) (4 . 9) (7 . 12)) 945 0.6653 7.2527 ((1 . 12) (2 . 14) (5 . 17) (8 . 19)) 1007 0.6663 5.2565 ((1 . 7) (4 . 9) (7 . 13) (8 . 14)) 1008 0.6664 4.6560 ((1 . 8) (5 . 13) (7 . 15) (8 . 16)) 1082 0.1499 8.6427 ((2 . 1) (4 . 4) (5 . 3) (8 . 6)) 1084 0.1996 9.7148 ((4 . 8) (5 . 9) (7 . 12) (8 . 11)) 1121 0.6646 8.0618 ((2 . 2) (4 . 3) (5 . 4) (7 . 6)) 1165 0.6661 5.8941 ((1 . 3) (2 . 4) (5 . 7) (8 . 10)) 1169 0.6652 7.4174 ((2 . 29) (4 . 30) (5 . 31) (7 . 32)) 1211 0.8250 8.6519 ((2 . 8) (4 . 9) (5 . 10) (7 . 11) (8 . 14)) 1217 0.6661 5.7965 ((2 . 3) (4 . 5) (5 . 7) (7 . 9)) 1224 0.9990 4.0256 ((1 . 3) (2 . 5) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 1267 0.6651 7.4244 ((1 . 13) (2 . 15) (5 . 17) (8 . 19)) 1294 0.9986 4.3640 ((1 . 40) (2 . 41) (4 . 43) (5 . 44) (7 . 46) (8 . 47)) 1345 0.6662 5.4390 ((1 . 9) (4 . 12) (7 . 14) (8 . 16)) 1366 0.6663 5.2096 ((4 . 14) (5 . 15) (7 . 16) (8 . 17)) 1388 0.6666 3.5679 ((1 . 1) (4 . 4) (5 . 5) (8 . 8)) 1410 0.6660 6.0914 ((1 . 19) (2 . 21) (4 . 22) (7 . 25)) 1425 0.8311 6.1905 ((1 . 4) (2 . 6) (4 . 8) (5 . 10) (7 . 12)) 1451 0.6662 5.5619 ((2 . 1) (5 . 3) (7 . 4) (8 . 5)) 1464 0.6662 5.5072 ((1 . 8) (2 . 10) (7 . 13) (8 . 14)) 1476 0.2970 8.6623 ((1 . 11) (2 . 14) (4 . 15) (7 . 18)) 1501 0.6662 5.5425 ((4 . 1) (5 . 2) (7 . 3) (8 . 4)) 1513 0.6637 8.8221 ((1 . 11) (2 . 13) (5 . 15) (8 . 18)) 1514 0.6663 5.0381 ((1 . 1) (4 . 3) (5 . 4) (8 . 6)) 1622 0.6610 10.3468 ((1 . 20) (5 . 23) (7 . 25) (8 . 24)) 1643 0.9911 6.9885 ((1 . 32) (2 . 33) (4 . 34) (5 . 36) (7 . 37) (8 . 38)) 1644 0.9972 5.1920 ((1 . 47) (2 . 48) (4 . 49) (5 . 50) (7 . 51) (8 . 52)) 1690 0.0999 10.0576 ((2 . 13) (5 . 16) (7 . 18) (8 . 19)) 1692 0.6656 6.7531 ((2 . 6) (4 . 7) (7 . 8) (8 . 9)) 1736 0.0999 10.3082 ((1 . 1) (2 . 3) (5 . 5) (8 . 7)) 1738 0.6656 6.7723 ((2 . 11) (4 . 13) (5 . 14) (8 . 17)) 1747 0.8311 6.2167 ((2 . 13) (4 . 15) (5 . 16) (7 . 18) (8 . 19)) 1756 0.6657 6.6453 ((2 . 22) (4 . 23) (7 . 27) (8 . 28)) 1759 0.8303 6.6710 ((1 . 4) (4 . 6) (5 . 8) (7 . 9) (8 . 10)) 1761 0.6656 6.7849 ((1 . 7) (2 . 9) (4 . 11) (7 . 13)) 1776 0.6613 10.2227 ((1 . 9) (4 . 12) (7 . 14) (8 . 15)) 1777 0.6628 9.4286 ((4 . 45) (5 . 47) (7 . 49) (8 . 50)) 1778 0.8279 7.7400 ((2 . 1) (4 . 2) (5 . 3) (7 . 4) (8 . 5)) 1793 0.3877 9.4524 ((1 . 10) (4 . 11) (7 . 13) (8 . 14)) 1805 0.6664 4.6252 ((1 . 14) (2 . 15) (4 . 16) (5 . 17)) 1808 0.8317 5.7148 ((1 . 5) (2 . 6) (4 . 8) (5 . 9) (7 . 10)) 1817 0.6658 6.3582 ((4 . 14) (5 . 15) (7 . 18) (8 . 19)) 1867 0.6658 6.4638 ((1 . 1) (4 . 3) (5 . 6) (7 . 7)) 1894 0.2970 7.6854 ((4 . 21) (5 . 22) (7 . 23) (8 . 25)) 1896 0.6621 9.8068 ((4 . 22) (5 . 23) (7 . 25) (8 . 26)) 1909 0.6651 7.4425 ((1 . 31) (4 . 34) (7 . 37) (8 . 39)) 1913 0.6646 7.9812 ((1 . 1) (4 . 3) (7 . 6) (8 . 7)) 1944 0.1996 12.9849 ((1 . 1) (2 . 3) (5 . 5) (8 . 7)) 1957 0.6584 11.4208 ((1 . 17) (4 . 19) (7 . 21) (8 . 22)) 1961 0.6656 6.8376 ((2 . 14) (4 . 15) (5 . 16) (8 . 19)) 1995 0.6663 5.0335 ((2 . 9) (5 . 11) (7 . 12) (8 . 13)) 2003 0.6655 6.8771 ((2 . 8) (4 . 9) (5 . 10) (7 . 12)) 2006 0.8289 7.3623 ((2 . 10) (4 . 11) (5 . 12) (7 . 13) (8 . 14)) 2063 0.6661 5.8081 ((1 . 44) (2 . 45) (4 . 47) (5 . 48)) 2065 0.6645 8.0903 ((4 . 16) (5 . 17) (7 . 18) (8 . 19)) 2067 0.6662 5.4593 ((1 . 54) (2 . 55) (4 . 59) (5 . 60)) 2072 0.6652 7.3704 ((1 . 2) (4 . 5) (5 . 6) (7 . 7)) 2081 0.6664 4.9533 ((4 . 19) (5 . 20) (7 . 21) (8 . 23)) 2083 0.6642 8.3707 ((1 . 1) (2 . 2) (5 . 4) (8 . 7)) 2097 0.1665 14.1952 ((1 . 4) (2 . 5) (4 . 6) (5 . 7)) 2114 0.6664 4.8789 ((4 . 28) (5 . 29) (7 . 32) (8 . 34)) 2116 0.8327 4.5583 ((1 . 6) (2 . 7) (5 . 10) (7 . 11) (8 . 12)) 2117 0.6657 6.5505 ((1 . 5) (5 . 9) (7 . 11) (8 . 12)) 2118 0.6606 10.5338 ((1 . 1) (2 . 4) (4 . 5) (8 . 7)) 2122 0.1333 10.2329 ((2 . 10) (5 . 12) (7 . 14) (8 . 15)) 2166 0.6608 10.4599 ((1 . 15) (4 . 16) (5 . 17) (8 . 21)) 2179 0.6664 4.8664 ((2 . 6) (4 . 7) (5 . 9) (7 . 10)) 2196 0.1996 9.0018 ((1 . 14) (2 . 15) (4 . 17) (7 . 19)) 2205 0.9993 3.7352 ((1 . 17) (2 . 18) (4 . 19) (5 . 22) (7 . 23) (8 . 26)) 2209 0.6648 7.8549 ((1 . 3) (4 . 5) (5 . 6) (7 . 7)) 2243 0.6664 4.6869 ((4 . 51) (5 . 52) (7 . 53) (8 . 54)) 2244 0.6658 6.4442 ((1 . 75) (2 . 76) (4 . 77) (5 . 78)) 2249 0.6635 8.9331 ((2 . 16) (4 . 17) (5 . 18) (8 . 21)) 2279 0.3874 11.3983 ((1 . 5) (4 . 7) (7 . 10) (8 . 11)) 2298 0.6659 6.3285 ((2 . 6) (5 . 8) (7 . 10) (8 . 12)) 2314 0.6634 9.0151 ((1 . 4) (2 . 7) (4 . 8) (8 . 11)) 2340 0.6664 4.9517 ((2 . 9) (5 . 11) (7 . 13) (8 . 14)) 2344 0.6637 8.8195 ((2 . 1) (4 . 3) (7 . 6) (8 . 7)) 2364 0.6657 6.6825 ((1 . 9) (4 . 15) (7 . 18) (8 . 19)) 2381 0.6659 6.1694 ((4 . 3) (5 . 4) (7 . 5) (8 . 6)) 2389 0.8307 6.4779 ((2 . 3) (4 . 5) (5 . 6) (7 . 7) (8 . 8)) 2408 0.8328 4.3015 ((1 . 40) (2 . 41) (4 . 42) (5 . 45) (7 . 46)) 2422 0.6640 8.5467 ((1 . 1) (4 . 6) (5 . 7) (7 . 9)) 2423 0.6656 6.7342 ((1 . 16) (5 . 19) (7 . 20) (8 . 21)) 2447 0.1996 10.4775 ((1 . 15) (2 . 18) (5 . 21) (8 . 24)) 2462 0.6655 6.9472 ((2 . 3) (4 . 4) (7 . 7) (8 . 6)) 2510 0.6653 7.2652 ((1 . 17) (2 . 19) (4 . 21) (7 . 23)) 2529 0.6662 5.6579 ((2 . 1) (5 . 3) (7 . 5) (8 . 6)) 2533 0.1996 11.8623 ((1 . 6) (2 . 8) (4 . 9) (7 . 13)) 2556 0.6608 10.4330 ((1 . 11) (2 . 13) (7 . 18) (8 . 20)) 2561 0.6664 4.6950 ((2 . 6) (4 . 7) (5 . 8) (7 . 9)) 2595 0.6620 9.8717 ((1 . 6) (2 . 9) (5 . 11) (8 . 13)) 2619 0.6660 6.1478 ((1 . 1) (2 . 2) (4 . 3) (7 . 5)) 2650 0.6663 5.1545 ((2 . 5) (4 . 6) (5 . 7) (7 . 8)) 2675 0.6664 4.6380 ((2 . 3) (4 . 4) (5 . 5) (7 . 8)) 2682 0.6651 7.4537 ((4 . 7) (5 . 11) (7 . 12) (8 . 13)) 2696 0.9982 4.6816 ((1 . 31) (2 . 32) (4 . 34) (5 . 35) (7 . 36) (8 . 38)) 2755 0.6571 11.8544 ((1 . 1) (2 . 3) (5 . 5) (8 . 6)) 2783 0.6662 5.6139 ((1 . 6) (2 . 7) (4 . 8) (7 . 12)) 2804 0.6638 8.6977 ((1 . 34) (2 . 36) (7 . 38) (8 . 39)) 2821 0.6653 7.2135 ((4 . 1) (5 . 2) (7 . 4) (8 . 5)) 2830 0.6565 12.0432 ((1 . 9) (2 . 11) (5 . 13) (8 . 15)) 2834 0.6605 10.5871 ((1 . 3) (4 . 6) (7 . 8) (8 . 9)) 2840 0.8325 4.7892 ((1 . 5) (2 . 6) (5 . 8) (7 . 9) (8 . 11)) 2879 0.8289 7.3524 ((2 . 51) (4 . 52) (5 . 53) (7 . 54) (8 . 56)) 2886 0.9947 6.1121 ((1 . 37) (2 . 38) (4 . 39) (5 . 41) (7 . 43) (8 . 44)) 2940 0.0999 9.2767 ((4 . 3) (5 . 4) (7 . 5) (8 . 6)) 2966 0.8221 9.3211 ((2 . 1) (4 . 3) (5 . 4) (7 . 6) (8 . 8)) 2990 0.6658 6.3933 ((1 . 9) (2 . 12) (7 . 15) (8 . 16)) 2999 0.6656 6.8539 ((1 . 2) (4 . 4) (7 . 6) (8 . 7)) 3014 0.4665 7.7127 ((2 . 32) (4 . 33) (5 . 34) (7 . 35)) 3019 0.6641 8.4640 ((2 . 9) (4 . 10) (5 . 11) (8 . 14)) 3041 0.6655 6.9619 ((1 . 16) (4 . 18) (7 . 22) (8 . 24)) 3055 0.6654 7.0676 ((1 . 11) (2 . 12) (4 . 13) (7 . 17)) 3063 0.6660 5.9645 ((1 . 35) (2 . 37) (4 . 38) (5 . 39)) 3070 0.6653 7.2784 ((2 . 32) (4 . 33) (7 . 35) (8 . 36)) 3084 0.6538 12.7960 ((1 . 11) (2 . 13) (5 . 15) (8 . 17)) 3102 0.6662 5.5861 ((4 . 65) (5 . 67) (7 . 68) (8 . 69)) 3103 0.6659 6.1613 ((1 . 5) (4 . 9) (5 . 11) (7 . 13)) 3114 0.6663 5.1918 ((2 . 22) (4 . 23) (5 . 24) (7 . 25)) 3127 0.6647 7.9470 ((1 . 4) (2 . 6) (5 . 8) (8 . 11)) 3147 0.8291 7.2507 ((1 . 5) (4 . 7) (5 . 8) (7 . 11) (8 . 12)) 3187 0.9980 4.8068 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7)) 3197 0.6616 10.0689 ((1 . 19) (2 . 21) (7 . 24) (8 . 26)) 3200 0.6623 9.6808 ((1 . 1) (4 . 3) (5 . 4) (8 . 6)) 3212 0.0999 8.4432 ((2 . 2) (4 . 3) (5 . 5) (8 . 9)) 3222 0.3877 9.4108 ((1 . 1) (4 . 3) (5 . 4) (8 . 6)) 3256 0.9987 4.2630 ((1 . 19) (2 . 20) (4 . 21) (5 . 25) (7 . 26) (8 . 28)) 3261 0.6663 5.2860 ((4 . 6) (5 . 7) (7 . 8) (8 . 9)) 3286 0.6660 6.1467 ((2 . 3) (4 . 4) (5 . 5) (8 . 7)) 3289 0.1333 7.9102 ((2 . 25) (5 . 27) (7 . 29) (8 . 30)) 3297 0.6659 6.1527 ((4 . 3) (5 . 4) (7 . 5) (8 . 7)) 3300 0.6659 6.2415 ((4 . 1) (5 . 2) (7 . 4) (8 . 5)) 3322 0.6655 6.9627 ((1 . 1) (2 . 3) (4 . 5) (7 . 7)) 3334 0.6647 7.9464 ((1 . 4) (2 . 5) (4 . 6) (8 . 10)) 3339 0.6656 6.7186 ((1 . 17) (4 . 19) (7 . 21) (8 . 22)) 3344 0.6656 6.7219 ((1 . 21) (5 . 24) (7 . 26) (8 . 27)) 3358 0.3860 15.5974 ((1 . 8) (2 . 10) (5 . 12) (8 . 15)) 3366 0.6593 11.0670 ((2 . 28) (4 . 29) (7 . 31) (8 . 32)) 3391 0.6626 9.4921 ((2 . 4) (5 . 6) (7 . 8) (8 . 10)) 3410 0.6657 6.6484 ((1 . 19) (2 . 21) (5 . 24) (8 . 28)) 3418 0.6665 4.3221 ((2 . 5) (4 . 2) (7 . 6) (8 . 7)) 3472 0.9963 5.5815 ((1 . 3) (2 . 4) (4 . 8) (5 . 9) (7 . 11) (8 . 12)) 3481 0.6616 10.0737 ((1 . 2) (2 . 4) (7 . 8) (8 . 10)) 3489 0.6640 8.5895 ((2 . 1) (4 . 2) (5 . 3) (7 . 4)) 3495 0.6663 5.3151 ((1 . 2) (2 . 3) (7 . 8) (8 . 7)) 3533 0.6614 10.1559 ((4 . 1) (5 . 3) (7 . 5) (8 . 7)) 3537 0.4649 12.1922 ((1 . 2) (4 . 5) (5 . 6) (7 . 7)) 3538 0.6662 5.5839 ((1 . 23) (2 . 24) (4 . 25) (5 . 26)) 3548 0.6665 4.5390 ((4 . 6) (5 . 8) (7 . 9) (8 . 10)) 3561 0.6650 7.5964 ((2 . 26) (5 . 28) (7 . 30) (8 . 31)) 3570 0.6661 5.8389 ((1 . 4) (2 . 7) (4 . 8) (7 . 10)) 3585 0.6662 5.4611 ((1 . 8) (2 . 11) (4 . 12) (5 . 13)) 3625 0.6659 6.2641 ((1 . 1) (4 . 3) (5 . 5) (7 . 6)) 3626 0.6664 4.8460 ((1 . 3) (2 . 6) (4 . 8) (5 . 11)) 3628 0.6655 6.9521 ((1 . 6) (4 . 8) (5 . 9) (7 . 10)) 3651 0.6651 7.5418 ((2 . 8) (4 . 9) (5 . 11) (7 . 13)) 3658 0.6664 4.6591 ((4 . 5) (5 . 6) (7 . 7) (8 . 8)) 3659 0.1333 8.6388 ((1 . 9) (2 . 10) (4 . 12) (5 . 13)) 3688 0.6576 11.6972 ((1 . 1) (2 . 2) (7 . 8) (8 . 11)) 3703 0.8314 5.9637 ((1 . 1) (4 . 3) (5 . 6) (7 . 7) (8 . 8)) 3740 0.6665 4.1741 ((4 . 4) (5 . 5) (7 . 6) (8 . 7)) 3741 0.6664 4.9737 ((4 . 13) (5 . 14) (7 . 16) (8 . 17)) 3778 0.6653 7.2711 ((1 . 2) (2 . 3) (7 . 6) (8 . 7)) 3787 0.6609 10.4116 ((2 . 27) (5 . 29) (7 . 31) (8 . 33)) 3790 0.8305 6.5992 ((1 . 9) (4 . 13) (5 . 14) (7 . 15) (8 . 16)) 3810 0.6652 7.3758 ((1 . 10) (4 . 14) (5 . 15) (7 . 16)) 3831 0.6663 5.1723 ((2 . 2) (4 . 3) (7 . 5) (8 . 6)) 3856 0.6645 8.1144 ((1 . 7) (2 . 9) (4 . 10) (5 . 12)) 3933 0.6652 7.3850 ((1 . 10) (5 . 15) (7 . 17) (8 . 18)) 3986 0.3876 10.3562 ((1 . 5) (2 . 6) (5 . 11) (8 . 13)) 3990 0.6643 8.3220 ((1 . 20) (4 . 23) (5 . 24) (7 . 26)) 4005 0.6657 6.6135 ((4 . 1) (5 . 2) (7 . 3) (8 . 4)) 4019 0.6662 5.4237 ((1 . 43) (2 . 44) (7 . 46) (8 . 47)) 4034 0.8093 11.3918 ((1 . 10) (2 . 12) (4 . 13) (7 . 15) (8 . 16)) 4082 0.6658 6.3683 ((4 . 5) (5 . 6) (7 . 7) (8 . 8)) 4087 0.6662 5.5347 ((1 . 3) (2 . 5) (4 . 6) (5 . 7)) 4112 0.6661 5.8609 ((2 . 1) (4 . 2) (5 . 3) (7 . 6)) 4194 0.6664 4.6686 ((1 . 1) (4 . 3) (7 . 5) (8 . 6)) 4204 0.6651 7.4675 ((1 . 9) (4 . 11) (7 . 14) (8 . 15)) 4209 0.6647 7.9371 ((1 . 1) (2 . 2) (7 . 5) (8 . 7)) 4210 0.6638 8.7110 ((1 . 4) (2 . 5) (4 . 6) (7 . 8)) 4226 0.6653 7.1820 ((1 . 1) (4 . 4) (7 . 6) (8 . 8)) 4232 0.6654 7.0582 ((1 . 1) (5 . 2) (7 . 3) (8 . 4)) 4236 0.6662 5.3697 ((2 . 5) (4 . 6) (5 . 7) (7 . 10)) 4254 0.6646 8.0688 ((1 . 1) (2 . 3) (4 . 4) (7 . 6)) 4255 0.6662 5.5082 ((1 . 21) (4 . 23) (5 . 24) (8 . 26)) 4265 0.6658 6.4201 ((1 . 20) (2 . 21) (5 . 23) (8 . 26)) 4275 0.6663 5.1431 ((1 . 21) (4 . 23) (7 . 25) (8 . 27)) 4281 0.6661 5.8237 ((2 . 3) (4 . 4) (5 . 5) (8 . 10)) 4284 0.6655 6.9878 ((1 . 6) (4 . 8) (5 . 9) (7 . 10)) 4301 0.8270 8.0512 ((1 . 2) (2 . 3) (4 . 4) (5 . 6) (8 . 9)) 4338 0.6623 9.6796 ((1 . 6) (2 . 7) (4 . 8) (8 . 11)) 4359 0.6664 4.5879 ((4 . 6) (5 . 7) (7 . 8) (8 . 9)) 4380 0.6665 4.2931 ((4 . 14) (5 . 15) (7 . 17) (8 . 18)) 4383 0.6661 5.8615 ((1 . 16) (2 . 17) (4 . 18) (5 . 19)) 4386 0.6647 7.9027 ((1 . 16) (5 . 18) (7 . 19) (8 . 21)) 4388 0.6664 4.8197 ((2 . 6) (4 . 8) (5 . 9) (7 . 10)) 4398 0.6653 7.2303 ((1 . 4) (4 . 6) (5 . 7) (7 . 8)) 4405 0.6661 5.6739 ((1 . 14) (4 . 18) (5 . 19) (8 . 21)) 4408 0.6652 7.4000 ((2 . 3) (4 . 4) (7 . 6) (8 . 7)) 4419 0.6642 8.4002 ((1 . 6) (2 . 8) (4 . 9) (5 . 10)) 4470 0.6615 10.1115 ((2 . 1) (4 . 2) (5 . 3) (8 . 5)) 4491 0.6660 5.9348 ((1 . 1) (4 . 5) (5 . 6) (8 . 8)) 4492 0.6661 5.7801 ((4 . 4) (5 . 5) (7 . 7) (8 . 8)) 4497 0.8328 4.2322 ((1 . 24) (2 . 25) (4 . 26) (5 . 27) (7 . 28)) 4502 0.6636 8.8438 ((2 . 9) (4 . 10) (5 . 11) (8 . 14)) 4503 0.6639 8.6627 ((1 . 1) (4 . 5) (7 . 9) (8 . 10)) 4504 0.6642 8.4015 ((1 . 15) (4 . 17) (7 . 20) (8 . 21)) 4516 0.6589 11.2154 ((1 . 14) (2 . 16) (5 . 18) (7 . 20)) 4538 0.1665 9.1666 ((1 . 30) (2 . 31) (4 . 32) (5 . 34)) 4560 0.6655 6.9426 ((1 . 6) (4 . 8) (7 . 11) (8 . 13)) 4561 0.2970 5.7025 ((2 . 12) (4 . 13) (5 . 14) (7 . 15)) 4562 0.6641 8.4572 ((2 . 22) (5 . 25) (7 . 27) (8 . 29)) 4577 0.6657 6.6904 ((1 . 48) (2 . 49) (7 . 52) (8 . 54)) 4588 0.6657 6.6285 ((1 . 1) (4 . 3) (7 . 7) (8 . 8)) 4589 0.4850 4.4457 ((1 . 18) (4 . 19) (5 . 22) (7 . 23) (8 . 30)) 4621 0.6660 5.9678 ((4 . 7) (5 . 8) (7 . 9) (8 . 11)) 4630 0.6652 7.3053 ((1 . 17) (4 . 20) (7 . 23) (8 . 24)) 4648 0.6662 5.6545 ((2 . 1) (4 . 2) (7 . 5) (8 . 8)) 4653 0.6665 4.4019 ((4 . 5) (5 . 6) (7 . 7) (8 . 8)) 4668 0.2970 6.9524 ((1 . 1) (2 . 3) (4 . 5) (7 . 7)) 4669 0.6634 8.9755 ((1 . 13) (2 . 15) (5 . 17) (8 . 19)) 4671 0.6611 10.3226 ((1 . 4) (4 . 6) (7 . 7) (8 . 8)) 4674 0.2969 9.8592 ((4 . 6) (5 . 7) (7 . 8) (8 . 9)) 4678 0.0999 6.2498 ((1 . 10) (2 . 12) (7 . 15) (8 . 16)) 4713 0.6650 7.5529 ((4 . 5) (5 . 6) (7 . 7) (8 . 8)) 4731 0.6662 5.4478 ((1 . 18) (5 . 22) (7 . 23) (8 . 24)) 4886 0.6663 5.2868 ((4 . 29) (5 . 30) (7 . 31) (8 . 32)) 4888 0.6604 10.6322 ((1 . 9) (5 . 12) (7 . 14) (8 . 15)) 4889 0.6657 6.6219 ((1 . 2) (2 . 3) (7 . 6) (8 . 7)) 4907 0.6664 4.8866 ((4 . 1) (5 . 3) (7 . 4) (8 . 5)) 4914 0.6665 4.5560 ((4 . 8) (5 . 9) (7 . 10) (8 . 11)) 4921 0.6657 6.6207 ((1 . 7) (2 . 8) (4 . 9) (7 . 12)) 4929 0.8325 4.7841 ((1 . 29) (2 . 31) (4 . 32) (5 . 33) (7 . 34)) 4932 0.6652 7.3119 ((1 . 2) (2 . 4) (4 . 5) (5 . 6)) 4940 0.6651 7.4933 ((1 . 6) (2 . 7) (4 . 8) (5 . 9)) 4944 0.6640 8.5269 ((2 . 13) (4 . 14) (5 . 15) (7 . 16)) 4978 0.6655 6.8792 ((2 . 18) (5 . 21) (7 . 22) (8 . 24)) 4982 0.6639 8.6009 ((1 . 9) (2 . 10) (5 . 12) (8 . 14)) 4992 0.6642 8.3710 ((2 . 1) (4 . 2) (5 . 3) (8 . 6)) 5029 0.6614 10.1585 ((2 . 2) (5 . 4) (7 . 6) (8 . 8)) 5036 0.9931 6.5400 ((1 . 5) (2 . 6) (4 . 7) (5 . 8) (7 . 9) (8 . 10)) 5038 0.8326 4.7440 ((1 . 10) (2 . 14) (4 . 15) (5 . 16) (7 . 18)) 5039 0.6663 5.1419 ((1 . 39) (4 . 41) (7 . 44) (8 . 45)) 5046 0.6665 4.3862 ((1 . 4) (5 . 7) (7 . 8) (8 . 10)) 5053 0.6660 6.1239 ((1 . 6) (5 . 9) (7 . 10) (8 . 11)) 5065 0.6664 4.6330 ((4 . 8) (5 . 9) (7 . 10) (8 . 11)) 5068 0.1996 11.8451 ((1 . 2) (2 . 4) (4 . 7) (8 . 10)) 5069 0.6658 6.4877 ((2 . 4) (4 . 5) (5 . 7) (8 . 9)) 5083 0.3879 7.3589 ((2 . 1) (4 . 2) (7 . 5) (8 . 6)) 5101 0.2970 7.5357 ((1 . 15) (2 . 18) (5 . 21) (8 . 23)) 5103 0.2969 8.8199 ((2 . 13) (4 . 15) (7 . 17) (8 . 19)) 5121 0.6617 10.0020 ((2 . 25) (4 . 26) (7 . 28) (8 . 30)) 5132 0.1996 11.6388 ((1 . 16) (2 . 18) (5 . 20) (8 . 22)) 5176 0.6659 6.2329 ((2 . 84) (4 . 86) (5 . 87) (7 . 88)) 5183 0.6665 4.5539 ((2 . 35) (4 . 36) (5 . 37) (7 . 38)) 5199 0.6662 5.5794 ((1 . 7) (2 . 8) (7 . 9) (8 . 10)) 5209 0.6663 5.3369 ((2 . 7) (4 . 8) (5 . 9) (7 . 10)) 5215 0.6663 5.2973 ((1 . 5) (5 . 9) (7 . 10) (8 . 11)) 5223 0.6650 7.6206 ((1 . 10) (2 . 12) (7 . 15) (8 . 17)) 5231 0.6662 5.5296 ((4 . 8) (5 . 12) (7 . 13) (8 . 14)) 5266 0.6657 6.6850 ((1 . 2) (2 . 4) (4 . 6) (7 . 8)) 5278 0.8315 5.9239 ((1 . 5) (2 . 6) (4 . 7) (5 . 8) (7 . 9)) 5307 0.6663 5.1887 ((1 . 51) (4 . 53) (7 . 55) (8 . 57)) 5312 0.6666 3.7800 ((1 . 2) (2 . 3) (5 . 5) (7 . 7)) 5324 0.6656 6.8019 ((1 . 12) (4 . 14) (7 . 15) (8 . 16)) 5344 0.9979 4.8649 ((1 . 3) (2 . 4) (4 . 7) (5 . 8) (7 . 9) (8 . 10)) 5345 0.6664 4.9315 ((4 . 12) (5 . 13) (7 . 14) (8 . 15)) 5368 0.8309 6.3509 ((1 . 19) (4 . 21) (5 . 22) (7 . 25) (8 . 26)) 5378 0.3876 10.6660 ((1 . 4) (4 . 6) (7 . 8) (8 . 9)) 5414 0.9976 5.0118 ((1 . 15) (2 . 16) (4 . 18) (5 . 19) (7 . 20) (8 . 21)) 5418 0.6663 5.2145 ((4 . 1) (5 . 2) (7 . 3) (8 . 5)) 5421 0.6655 6.9648 ((2 . 1) (4 . 2) (5 . 3) (7 . 5)) 5433 0.6641 8.4747 ((1 . 5) (2 . 7) (7 . 13) (8 . 16)) 5479 0.6660 6.1267 ((4 . 52) (5 . 53) (7 . 54) (8 . 55)) 5487 0.1996 10.8213 ((1 . 4) (2 . 7) (4 . 9) (7 . 11)) 5489 0.6661 5.7427 ((4 . 11) (5 . 12) (7 . 13) (8 . 14)) 5500 0.3878 8.7734 ((1 . 2) (4 . 4) (5 . 7) (8 . 12)) 5535 0.6657 6.7049 ((1 . 4) (2 . 6) (4 . 7) (5 . 8)) 5540 0.3877 9.3990 ((1 . 1) (4 . 3) (5 . 4) (8 . 6)) 5557 0.6664 4.7835 ((4 . 1) (5 . 2) (7 . 3) (8 . 4)) 5560 0.6613 10.2375 ((1 . 17) (4 . 20) (7 . 22) (8 . 23)) 5567 0.6647 7.9588 ((1 . 6) (2 . 8) (5 . 11) (8 . 15)) 5594 0.6655 6.9760 ((1 . 1) (2 . 3) (4 . 4) (7 . 6)) 5600 0.6662 5.4949 ((1 . 3) (4 . 5) (5 . 6) (8 . 9)) 5601 0.2487 12.7734 ((1 . 7) (2 . 8) (4 . 10) (7 . 12)) 5640 0.9917 6.8717 ((1 . 19) (2 . 20) (4 . 21) (5 . 22) (7 . 23) (8 . 24)) 5644 0.6633 9.0959 ((4 . 11) (5 . 12) (7 . 13) (8 . 14)) 5656 0.1996 7.9430 ((1 . 16) (5 . 21) (7 . 23) (8 . 24)) 5700 0.8333 1.9581 ((1 . 3) (2 . 4) (5 . 6) (7 . 8) (8 . 9)) 5701 0.6569 11.9130 ((1 . 8) (4 . 11) (5 . 12) (8 . 14)) 5711 0.6664 4.8330 ((4 . 32) (5 . 33) (7 . 35) (8 . 36)) 5713 0.6662 5.4056 ((2 . 10) (4 . 11) (5 . 13) (8 . 15)) 5718 0.6658 6.4973 ((1 . 16) (5 . 21) (7 . 23) (8 . 24)) 5731 0.8320 5.4798 ((2 . 7) (4 . 9) (5 . 10) (7 . 11) (8 . 13)) 5746 0.6660 6.0207 ((2 . 6) (4 . 7) (5 . 8) (7 . 10)) 5749 0.6651 7.4784 ((4 . 3) (5 . 4) (7 . 5) (8 . 6)) 5761 0.8298 6.9493 ((1 . 28) (2 . 30) (4 . 31) (5 . 32) (8 . 36)) 5770 0.1665 6.5910 ((1 . 6) (2 . 8) (4 . 9) (5 . 12)) 5782 0.6664 4.6192 ((2 . 24) (4 . 26) (5 . 27) (7 . 29)) 5794 0.6658 6.5163 ((1 . 19) (4 . 23) (5 . 24) (7 . 25)) 5822 0.6648 7.8503 ((1 . 4) (4 . 6) (5 . 8) (8 . 9)) 5827 0.6645 8.1513 ((2 . 14) (4 . 15) (5 . 16) (7 . 17)) 5830 0.6634 9.0373 ((1 . 10) (2 . 13) (7 . 17) (8 . 18)) 5847 0.6665 4.1540 ((1 . 5) (2 . 7) (4 . 8) (5 . 9)) 5861 0.8285 7.5147 ((1 . 16) (2 . 17) (5 . 20) (7 . 21) (8 . 22)) 5878 0.4666 6.8974 ((2 . 25) (4 . 26) (5 . 28) (7 . 30)) 5888 0.6664 4.9871 ((4 . 24) (5 . 25) (7 . 26) (8 . 27)) 5896 0.6665 4.4743 ((1 . 26) (4 . 28) (5 . 29) (8 . 31)) 5913 0.6652 7.4099 ((1 . 15) (4 . 17) (7 . 20) (8 . 22)) 5922 0.9918 6.8415 ((1 . 6) (2 . 8) (4 . 9) (5 . 10) (7 . 11) (8 . 13)) 5945 0.1996 10.9987 ((1 . 11) (4 . 13) (5 . 14) (7 . 16)) 5949 0.2488 6.6398 ((1 . 9) (2 . 10) (4 . 12) (7 . 14)) 5955 0.6659 6.3177 ((2 . 3) (4 . 4) (5 . 5) (8 . 7)) 5977 0.6656 6.7547 ((1 . 1) (4 . 3) (7 . 5) (8 . 6)) 6011 0.8327 4.4743 ((2 . 4) (4 . 7) (5 . 8) (7 . 9) (8 . 10)) 6022 0.8302 6.7421 ((1 . 1) (4 . 2) (5 . 4) (7 . 5) (8 . 7)) 6029 0.2970 7.4990 ((2 . 3) (4 . 5) (5 . 6) (8 . 10)) 6041 0.8293 7.1764 ((1 . 8) (4 . 10) (5 . 11) (7 . 12) (8 . 13)) 6046 0.6665 4.4291 ((4 . 2) (5 . 3) (7 . 5) (8 . 6)) 6061 0.6656 6.8213 ((1 . 13) (4 . 14) (5 . 15) (8 . 17)) 6075 0.2970 7.4954 ((1 . 17) (2 . 20) (4 . 21) (7 . 24)) 6079 0.6664 4.7658 ((4 . 6) (5 . 7) (7 . 8) (8 . 9)) 6094 0.2488 7.9388 ((2 . 11) (4 . 12) (5 . 14) (8 . 15)) 6099 0.8312 6.0851 ((1 . 5) (2 . 6) (4 . 7) (7 . 10) (8 . 11)) 6123 0.6661 5.7214 ((4 . 2) (5 . 3) (7 . 4) (8 . 5)) 6142 0.8317 5.7091 ((1 . 10) (2 . 11) (4 . 12) (7 . 14) (8 . 15)) 6148 0.1665 5.5936 ((1 . 32) (2 . 34) (4 . 36) (5 . 37)) 6167 0.6628 9.4160 ((1 . 10) (2 . 12) (7 . 20) (8 . 21)) 6173 0.9951 5.9911 ((1 . 8) (2 . 9) (4 . 11) (5 . 12) (7 . 13) (8 . 15)) 6191 0.6652 7.3735 ((4 . 9) (5 . 10) (7 . 12) (8 . 13)) 6215 0.6659 6.2338 ((1 . 17) (2 . 18) (4 . 19) (5 . 20)) 6228 0.3879 7.3031 ((1 . 1) (2 . 3) (4 . 5) (7 . 7)) 6234 0.9980 4.7742 ((1 . 13) (2 . 15) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 6238 0.8300 6.8240 ((1 . 3) (2 . 4) (4 . 5) (7 . 8) (8 . 9)) 6243 0.2488 5.7957 ((4 . 2) (5 . 3) (7 . 6) (8 . 8)) 6258 0.6617 10.0288 ((2 . 9) (5 . 10) (7 . 12) (8 . 13)) 6261 0.6559 12.2242 ((2 . 1) (5 . 3) (7 . 6) (8 . 9)) 6266 0.2970 6.3299 ((2 . 3) (5 . 5) (7 . 6) (8 . 8)) 6270 0.6664 4.6827 ((1 . 15) (4 . 17) (5 . 18) (8 . 20)) 6271 0.6654 7.1475 ((1 . 8) (4 . 10) (5 . 11) (8 . 12)) 6294 0.6553 12.3853 ((1 . 2) (4 . 6) (7 . 9) (8 . 11)) 6306 0.6652 7.3809 ((1 . 17) (4 . 19) (5 . 21) (8 . 22)) 6311 0.6658 6.4676 ((1 . 5) (5 . 9) (7 . 10) (8 . 11)) 6326 0.6663 5.1999 ((4 . 9) (5 . 10) (7 . 11) (8 . 12)) 6338 1.0000 0.0000 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (7 . 7) (8 . 8)) 6344 0.8249 8.6604 ((1 . 12) (2 . 13) (5 . 17) (7 . 18) (8 . 19)) 6355 0.6653 7.2838 ((1 . 4) (4 . 7) (7 . 9) (8 . 10)) 6369 0.6471 14.3191 ((1 . 26) (4 . 29) (7 . 31) (8 . 32)) 6376 0.6627 9.4380 ((1 . 21) (4 . 24) (7 . 28) (8 . 27)) 6391 0.6664 4.7048 ((1 . 6) (2 . 8) (7 . 10) (8 . 12)) 6399 0.8289 7.3385 ((1 . 18) (2 . 19) (4 . 20) (7 . 25) (8 . 26)) 6403 0.6664 4.9551 ((4 . 1) (5 . 2) (7 . 3) (8 . 4)) 6434 0.6663 5.1372 ((4 . 2) (5 . 3) (7 . 4) (8 . 5)) 6462 0.6654 7.1408 ((1 . 18) (4 . 20) (7 . 22) (8 . 24)) 6520 0.6661 5.7629 ((4 . 1) (5 . 2) (7 . 3) (8 . 6)) 6539 0.6648 7.8101 ((1 . 4) (2 . 5) (5 . 8) (8 . 10)) 6540 0.9981 4.7161 ((1 . 17) (2 . 18) (4 . 19) (5 . 20) (7 . 21) (8 . 22)) 6548 0.6664 4.8462 ((1 . 7) (5 . 9) (7 . 12) (8 . 13)) 6553 0.6659 6.3284 ((2 . 11) (5 . 13) (7 . 15) (8 . 17)) 6555 0.6661 5.8547 ((1 . 19) (2 . 20) (4 . 22) (5 . 23)) 6561 0.6619 9.9086 ((4 . 7) (5 . 8) (7 . 10) (8 . 9)) 6573 0.6644 8.2278 ((1 . 22) (2 . 21) (4 . 23) (5 . 24)) 6578 0.6665 4.1696 ((2 . 32) (4 . 34) (5 . 37) (7 . 38)) 6584 0.1333 8.2065 ((1 . 5) (2 . 6) (4 . 8) (5 . 9)) 6585 0.6665 4.3460 ((1 . 6) (4 . 8) (7 . 10) (8 . 11)) 6587 0.6662 5.4453 ((1 . 29) (4 . 31) (7 . 33) (8 . 34)) 6598 0.8309 6.3457 ((1 . 3) (4 . 5) (5 . 6) (7 . 7) (8 . 8)) 6613 0.6660 6.0112 ((1 . 27) (2 . 28) (4 . 31) (7 . 32)) 6635 0.1996 6.9177 ((2 . 1) (4 . 4) (5 . 5) (7 . 7)) END