372 51 0.3999 6.8142 ((2 . 10) (3 . 11) (6 . 13) (7 . 14)) 62 0.3999 7.0491 ((7 . 10) (8 . 12) (11 . 13) (14 . 17)) 64 0.3999 7.5396 ((1 . 6) (6 . 8) (10 . 9) (11 . 10)) 77 0.3997 9.3684 ((2 . 7) (3 . 8) (10 . 13) (11 . 15)) 91 0.3997 9.5859 ((1 . 1) (2 . 2) (3 . 3) (11 . 10)) 129 0.3999 6.0336 ((2 . 1) (3 . 2) (7 . 5) (10 . 8)) 136 0.3998 8.7377 ((3 . 3) (7 . 5) (10 . 7) (11 . 8)) 153 0.3999 6.5362 ((2 . 4) (3 . 5) (7 . 7) (8 . 8)) 161 0.4000 3.2463 ((3 . 2) (5 . 3) (6 . 4) (7 . 6)) 162 0.1970 6.9533 ((5 . 18) (6 . 17) (8 . 20) (10 . 22)) 169 0.4999 5.5111 ((1 . 3) (6 . 5) (10 . 7) (11 . 8) (14 . 12)) 177 0.3999 7.2069 ((1 . 1) (5 . 3) (6 . 4) (7 . 5)) 191 0.5000 4.2470 ((1 . 4) (5 . 6) (6 . 7) (10 . 8) (11 . 9)) 198 0.4999 5.5386 ((2 . 12) (3 . 13) (5 . 15) (6 . 16) (7 . 17)) 233 0.2801 6.3326 ((1 . 2) (2 . 3) (7 . 7) (8 . 8)) 300 0.3999 6.4009 ((2 . 9) (3 . 10) (11 . 16) (14 . 18)) 305 0.4717 7.1955 ((2 . 16) (5 . 18) (6 . 19) (10 . 21) (11 . 22)) 315 0.4718 5.5489 ((3 . 3) (5 . 4) (6 . 5) (11 . 8) (14 . 10)) 340 0.4000 5.7081 ((6 . 1) (10 . 2) (11 . 4) (14 . 9)) 350 0.4000 5.2283 ((5 . 11) (6 . 13) (10 . 16) (11 . 17)) 360 0.6077 4.9331 ((1 . 3) (5 . 5) (6 . 6) (7 . 7) (10 . 9) (11 . 10) (14 . 12)) 365 0.4999 5.7627 ((2 . 1) (6 . 3) (7 . 4) (8 . 6) (11 . 8)) 367 0.3998 8.1291 ((2 . 43) (3 . 44) (6 . 46) (8 . 48)) 372 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 10) (11 . 11) (14 . 14)) 387 0.4000 5.0704 ((1 . 8) (2 . 9) (3 . 10) (14 . 15)) 405 0.4000 4.1449 ((2 . 32) (6 . 35) (7 . 37) (8 . 38)) 417 0.3999 7.0807 ((1 . 1) (6 . 5) (10 . 7) (11 . 9)) 420 0.2801 7.3084 ((5 . 8) (6 . 9) (7 . 10) (10 . 13)) 433 0.3998 8.2761 ((2 . 5) (3 . 6) (10 . 9) (11 . 10)) 442 0.3363 8.1790 ((3 . 4) (5 . 5) (11 . 10) (14 . 12)) 460 0.5998 4.8698 ((1 . 1) (5 . 2) (6 . 3) (10 . 6) (11 . 7) (14 . 8)) 491 0.3999 6.1065 ((2 . 6) (7 . 8) (8 . 9) (10 . 10)) 495 0.3999 7.8609 ((2 . 5) (6 . 7) (7 . 8) (8 . 9)) 543 0.1329 11.3358 ((2 . 1) (6 . 4) (10 . 6) (11 . 8)) 584 0.3998 8.0642 ((1 . 3) (2 . 4) (3 . 5) (11 . 10)) 587 0.4824 6.7180 ((1 . 4) (2 . 6) (3 . 7) (5 . 8) (6 . 9)) 619 0.4990 9.4653 ((1 . 6) (2 . 7) (3 . 8) (7 . 11) (8 . 12)) 635 0.4204 5.8456 ((5 . 5) (6 . 13) (7 . 14) (8 . 15) (14 . 18)) 672 0.3999 6.8420 ((6 . 18) (10 . 21) (11 . 23) (14 . 26)) 678 0.3671 5.9496 ((2 . 22) (5 . 24) (8 . 26) (14 . 29)) 683 0.4995 8.1438 ((2 . 1) (3 . 2) (6 . 3) (7 . 5) (8 . 6)) 719 0.3999 7.6346 ((5 . 22) (6 . 23) (8 . 25) (10 . 27)) 729 0.1970 9.7819 ((2 . 5) (7 . 9) (11 . 13) (14 . 15)) 735 0.3999 7.4418 ((1 . 29) (2 . 31) (3 . 32) (8 . 37)) 740 0.3998 8.1157 ((7 . 2) (10 . 3) (11 . 5) (14 . 9)) 765 0.3998 8.4664 ((2 . 10) (3 . 11) (5 . 12) (7 . 17)) 767 0.3999 7.0152 ((1 . 1) (3 . 3) (10 . 10) (11 . 11)) 795 0.1970 6.6582 ((1 . 1) (5 . 3) (7 . 5) (8 . 6)) 801 0.4000 4.2751 ((6 . 1) (7 . 2) (8 . 4) (11 . 6)) 812 0.3998 8.2904 ((1 . 9) (6 . 13) (11 . 16) (14 . 19)) 818 0.3999 6.3346 ((1 . 1) (2 . 2) (6 . 4) (8 . 7)) 819 0.3999 7.3993 ((1 . 5) (5 . 8) (6 . 9) (7 . 10)) 824 0.5000 2.3492 ((2 . 43) (5 . 45) (6 . 46) (10 . 49) (11 . 50)) 861 0.4997 7.3614 ((2 . 12) (6 . 15) (7 . 16) (8 . 17) (11 . 19)) 943 0.3999 7.2447 ((2 . 4) (8 . 8) (10 . 9) (14 . 12)) 945 0.3999 6.9227 ((2 . 12) (5 . 14) (8 . 17) (14 . 22)) 960 0.3670 7.2062 ((5 . 2) (6 . 1) (7 . 3) (8 . 4)) 1007 0.5995 6.3053 ((1 . 7) (5 . 8) (6 . 9) (10 . 12) (11 . 13) (14 . 14)) 1008 0.3999 6.4215 ((7 . 3) (8 . 5) (11 . 8) (14 . 13)) 1034 0.3994 11.1633 ((2 . 20) (3 . 21) (10 . 25) (11 . 26)) 1043 0.2801 7.6039 ((2 . 1) (7 . 6) (11 . 10) (14 . 12)) 1082 0.3998 8.8840 ((5 . 2) (6 . 4) (10 . 6) (14 . 8)) 1084 0.4000 5.6599 ((2 . 8) (3 . 9) (5 . 10) (11 . 17)) 1121 0.4000 2.6302 ((5 . 2) (6 . 3) (7 . 4) (8 . 5)) 1165 0.3999 7.2797 ((5 . 2) (6 . 3) (7 . 4) (10 . 7)) 1169 0.5000 3.9325 ((3 . 30) (5 . 32) (6 . 33) (7 . 34) (8 . 35)) 1195 0.3999 5.9852 ((1 . 2) (5 . 4) (6 . 5) (7 . 6)) 1201 0.1654 5.7981 ((3 . 14) (5 . 16) (6 . 17) (7 . 18)) 1211 0.3999 7.1746 ((2 . 3) (3 . 4) (10 . 8) (11 . 9)) 1217 0.3999 6.4063 ((6 . 3) (7 . 5) (8 . 7) (11 . 9)) 1224 0.4000 4.9865 ((1 . 3) (6 . 6) (11 . 9) (14 . 14)) 1233 0.3999 6.7769 ((1 . 20) (2 . 22) (5 . 23) (6 . 24)) 1267 0.4000 4.9071 ((2 . 1) (3 . 2) (5 . 3) (6 . 4)) 1268 0.1969 16.0595 ((1 . 22) (2 . 23) (3 . 24) (14 . 31)) 1294 0.3999 7.7790 ((2 . 39) (3 . 40) (7 . 42) (11 . 46)) 1366 0.4000 5.0278 ((2 . 12) (7 . 15) (8 . 16) (14 . 21)) 1410 0.4000 4.5354 ((3 . 19) (5 . 20) (6 . 21) (8 . 23)) 1425 0.4000 5.8620 ((2 . 4) (6 . 8) (7 . 10) (8 . 11)) 1435 0.3998 8.0628 ((1 . 1) (2 . 2) (5 . 3) (8 . 5)) 1447 0.3997 9.1311 ((2 . 1) (5 . 3) (10 . 5) (14 . 9)) 1451 0.4000 5.0397 ((2 . 6) (6 . 8) (7 . 9) (8 . 10)) 1464 0.4999 5.2679 ((5 . 7) (6 . 8) (10 . 10) (11 . 13) (14 . 14)) 1481 0.4000 4.8430 ((2 . 1) (3 . 2) (7 . 4) (8 . 5)) 1501 0.4204 5.9215 ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (7 . 6)) 1513 0.3363 6.7488 ((1 . 2) (2 . 3) (7 . 6) (8 . 8)) 1514 0.2801 7.3732 ((1 . 1) (5 . 3) (6 . 4) (8 . 6)) 1577 0.1970 9.3367 ((1 . 4) (2 . 5) (5 . 6) (14 . 12)) 1604 0.3999 6.5060 ((2 . 1) (3 . 3) (7 . 7) (11 . 10)) 1624 0.4989 9.7014 ((5 . 3) (7 . 5) (8 . 6) (10 . 7) (11 . 9)) 1643 0.4995 7.9811 ((2 . 28) (5 . 31) (6 . 32) (7 . 33) (8 . 34)) 1644 0.4000 4.8384 ((1 . 47) (2 . 48) (3 . 49) (8 . 52)) 1690 0.3999 6.2473 ((3 . 16) (5 . 18) (6 . 19) (8 . 21)) 1692 0.5234 4.9187 ((5 . 1) (6 . 5) (7 . 6) (8 . 7) (10 . 8) (11 . 9)) 1738 0.4000 4.9053 ((5 . 18) (6 . 19) (10 . 23) (11 . 24)) 1747 0.4999 4.7051 ((2 . 28) (5 . 29) (6 . 30) (7 . 31) (8 . 32)) 1756 0.3966 6.9270 ((2 . 21) (3 . 23) (6 . 25) (7 . 26) (11 . 30)) 1759 0.4000 3.9599 ((5 . 4) (6 . 5) (7 . 6) (8 . 8)) 1761 0.4814 10.4703 ((2 . 1) (3 . 2) (6 . 4) (7 . 5) (11 . 7)) 1763 0.3998 8.3242 ((2 . 7) (5 . 9) (6 . 10) (10 . 13)) 1776 0.3994 11.2264 ((1 . 9) (8 . 14) (10 . 15) (11 . 16)) 1777 0.3999 6.7437 ((5 . 45) (6 . 47) (7 . 49) (8 . 50)) 1778 0.4000 3.5583 ((5 . 2) (6 . 3) (7 . 4) (8 . 5)) 1793 0.2413 8.0076 ((2 . 10) (5 . 11) (8 . 12) (10 . 14)) 1805 0.4817 9.5252 ((1 . 2) (2 . 3) (3 . 4) (7 . 8) (10 . 10)) 1808 0.4000 4.8554 ((2 . 2) (3 . 4) (10 . 8) (11 . 9)) 1817 0.5000 4.3037 ((2 . 15) (3 . 16) (5 . 18) (6 . 19) (7 . 20)) 1867 0.3999 6.2691 ((1 . 1) (2 . 3) (5 . 6) (6 . 7)) 1894 0.3670 8.5413 ((1 . 20) (2 . 21) (3 . 22) (8 . 26)) 1896 0.3999 6.1796 ((7 . 23) (8 . 24) (10 . 25) (11 . 26)) 1897 0.3998 8.1831 ((7 . 39) (8 . 40) (10 . 41) (11 . 43)) 1913 0.3999 6.4179 ((1 . 7) (5 . 12) (7 . 14) (10 . 18)) 1944 0.3999 6.1738 ((1 . 16) (2 . 17) (10 . 23) (11 . 24)) 1961 0.4000 5.1755 ((2 . 14) (3 . 15) (10 . 19) (11 . 20)) 1967 0.4000 5.4814 ((1 . 1) (2 . 3) (5 . 10) (14 . 13)) 1972 0.3999 6.9356 ((2 . 16) (5 . 18) (8 . 20) (14 . 27)) 1995 0.3362 9.0964 ((1 . 7) (3 . 9) (5 . 11) (7 . 13)) 2003 0.4998 6.4748 ((3 . 5) (5 . 7) (6 . 9) (10 . 10) (11 . 12)) 2006 0.5000 4.2745 ((1 . 11) (2 . 12) (3 . 13) (10 . 15) (11 . 16)) 2045 0.3363 7.5400 ((6 . 1) (7 . 2) (10 . 3) (14 . 8)) 2048 0.3999 7.6421 ((1 . 4) (3 . 6) (11 . 13) (14 . 16)) 2063 0.4000 5.8173 ((2 . 43) (3 . 44) (7 . 47) (8 . 48)) 2065 0.4999 5.0180 ((5 . 22) (6 . 23) (8 . 25) (10 . 26) (11 . 27)) 2067 0.4822 7.6601 ((1 . 54) (2 . 55) (3 . 57) (5 . 59) (6 . 60)) 2072 0.4999 5.5413 ((1 . 1) (2 . 2) (10 . 4) (11 . 6) (14 . 7)) 2081 0.4718 5.1877 ((1 . 3) (2 . 6) (6 . 9) (7 . 10) (8 . 23)) 2083 0.3999 7.3972 ((2 . 1) (3 . 2) (7 . 4) (11 . 7)) 2097 0.3999 6.7211 ((2 . 6) (3 . 7) (10 . 14) (11 . 16)) 2114 0.0999 6.5250 ((6 . 28) (7 . 29) (10 . 32) (11 . 34)) 2116 0.4997 6.7755 ((2 . 4) (3 . 5) (6 . 6) (7 . 7) (8 . 8)) 2117 0.4000 4.0097 ((2 . 16) (3 . 17) (7 . 22) (8 . 23)) 2118 0.3999 7.2006 ((2 . 1) (3 . 3) (5 . 4) (6 . 5)) 2122 0.3999 7.6912 ((3 . 12) (5 . 14) (6 . 15) (8 . 17)) 2166 0.3994 10.9174 ((5 . 15) (6 . 16) (10 . 19) (11 . 20)) 2179 0.4000 4.7334 ((5 . 5) (6 . 6) (7 . 7) (8 . 9)) 2196 0.4000 4.4358 ((5 . 16) (6 . 17) (7 . 18) (8 . 19)) 2203 0.3998 8.6993 ((5 . 1) (8 . 5) (10 . 6) (11 . 7)) 2205 0.4000 5.2891 ((2 . 13) (3 . 15) (10 . 19) (11 . 20)) 2209 0.4000 5.2958 ((5 . 3) (7 . 5) (8 . 6) (11 . 7)) 2220 0.5000 3.3974 ((1 . 2) (5 . 3) (6 . 4) (7 . 5) (14 . 7)) 2243 0.3999 6.0743 ((2 . 53) (3 . 54) (10 . 60) (11 . 61)) 2244 0.4000 5.1756 ((1 . 71) (6 . 75) (10 . 78) (11 . 79)) 2249 0.3998 8.1588 ((2 . 17) (3 . 18) (7 . 21) (8 . 23)) 2269 0.3998 8.2241 ((5 . 6) (6 . 7) (7 . 8) (11 . 10)) 2279 0.3997 9.2865 ((3 . 5) (7 . 8) (10 . 10) (11 . 11)) 2340 0.3998 8.7221 ((3 . 9) (7 . 11) (10 . 13) (11 . 14)) 2344 0.3999 7.5980 ((2 . 1) (3 . 3) (7 . 6) (8 . 7)) 2364 0.3999 7.2977 ((5 . 12) (7 . 15) (10 . 18) (11 . 19)) 2381 0.4000 4.5990 ((5 . 3) (6 . 4) (7 . 5) (8 . 6)) 2389 0.6034 7.1591 ((1 . 3) (3 . 4) (5 . 5) (6 . 6) (7 . 7) (10 . 9) (11 . 10) (14 . 11)) 2408 0.4000 5.4191 ((5 . 37) (6 . 38) (10 . 41) (11 . 42)) 2409 0.4000 5.7299 ((5 . 3) (6 . 4) (7 . 5) (8 . 6)) 2422 0.4000 5.7802 ((3 . 4) (5 . 6) (6 . 7) (7 . 8)) 2423 0.4000 5.8327 ((5 . 21) (6 . 22) (10 . 25) (11 . 26)) 2440 0.3999 6.3455 ((3 . 6) (5 . 7) (6 . 8) (7 . 9)) 2462 0.3999 6.8259 ((1 . 4) (5 . 6) (6 . 7) (11 . 11)) 2525 0.1970 6.1103 ((1 . 41) (5 . 43) (10 . 47) (11 . 48)) 2529 0.3998 8.5634 ((3 . 1) (7 . 3) (10 . 5) (11 . 6)) 2533 0.3999 7.5415 ((2 . 4) (8 . 8) (10 . 9) (14 . 13)) 2551 0.2413 7.5929 ((1 . 9) (2 . 11) (3 . 12) (7 . 14)) 2556 0.3999 7.0369 ((2 . 11) (5 . 13) (8 . 16) (14 . 22)) 2619 0.3999 6.2356 ((1 . 1) (2 . 2) (3 . 3) (7 . 5)) 2650 0.3998 8.2546 ((2 . 1) (3 . 2) (10 . 6) (11 . 7)) 2658 0.2413 7.9678 ((1 . 10) (2 . 12) (3 . 13) (7 . 14)) 2675 0.4000 5.3933 ((2 . 3) (3 . 4) (6 . 7) (10 . 10)) 2682 0.3999 7.7031 ((3 . 7) (10 . 12) (11 . 13) (14 . 17)) 2696 0.4999 5.2543 ((2 . 31) (5 . 32) (6 . 36) (7 . 38) (8 . 39)) 2755 0.3361 11.1204 ((2 . 5) (6 . 6) (8 . 8) (14 . 12)) 2783 0.4000 4.3514 ((1 . 1) (10 . 8) (11 . 7) (14 . 12)) 2804 0.4994 8.5940 ((6 . 29) (7 . 31) (8 . 32) (10 . 34) (11 . 36)) 2821 0.3998 8.3201 ((2 . 1) (3 . 2) (5 . 3) (14 . 13)) 2830 0.2413 6.7794 ((7 . 23) (8 . 24) (10 . 25) (11 . 26)) 2834 0.3363 8.5786 ((5 . 1) (7 . 3) (8 . 5) (14 . 9)) 2840 0.4000 5.6779 ((1 . 5) (2 . 6) (7 . 9) (8 . 11)) 2867 0.3997 9.6616 ((2 . 2) (10 . 7) (11 . 8) (14 . 12)) 2879 0.4000 5.3899 ((2 . 52) (3 . 53) (7 . 56) (8 . 57)) 2886 0.4000 5.1420 ((2 . 34) (6 . 37) (7 . 38) (8 . 39)) 2940 0.3999 6.0991 ((8 . 3) (10 . 4) (11 . 5) (14 . 6)) 2947 0.3999 6.0579 ((2 . 2) (3 . 3) (10 . 6) (11 . 7)) 2966 0.4999 4.6568 ((2 . 3) (5 . 4) (6 . 9) (7 . 16) (8 . 17)) 2990 0.3999 7.8422 ((3 . 9) (5 . 12) (10 . 14) (11 . 15)) 3014 0.3363 5.2651 ((6 . 22) (7 . 23) (8 . 24) (10 . 25)) 3019 0.3999 6.3164 ((1 . 9) (2 . 10) (3 . 11) (8 . 14)) 3041 0.4000 5.9239 ((2 . 29) (3 . 30) (7 . 32) (8 . 33)) 3055 0.4999 5.0856 ((1 . 15) (5 . 16) (6 . 17) (10 . 20) (11 . 21)) 3063 0.4000 5.5781 ((3 . 35) (6 . 37) (7 . 38) (8 . 39)) 3070 0.1493 7.1522 ((3 . 32) (5 . 33) (7 . 35) (8 . 36)) 3102 0.4998 6.2762 ((1 . 58) (2 . 59) (3 . 60) (10 . 65) (11 . 67)) 3103 0.2801 7.3636 ((8 . 1) (10 . 2) (11 . 3) (14 . 5)) 3114 0.3997 9.0865 ((7 . 22) (10 . 23) (11 . 24) (14 . 29)) 3127 0.3822 9.0010 ((2 . 3) (3 . 4) (8 . 8) (14 . 13)) 3147 0.4998 6.1448 ((1 . 2) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 3187 0.3999 6.0758 ((2 . 1) (3 . 2) (6 . 3) (7 . 4)) 3200 0.3999 6.0070 ((2 . 3) (3 . 4) (11 . 11) (14 . 13)) 3212 0.4000 4.6390 ((1 . 2) (2 . 3) (3 . 5) (8 . 9)) 3222 0.3664 12.7687 ((2 . 14) (3 . 15) (5 . 16) (7 . 18)) 3256 0.3999 7.3756 ((3 . 16) (6 . 19) (7 . 20) (10 . 25)) 3261 0.4000 3.5991 ((5 . 6) (6 . 7) (7 . 8) (8 . 9)) 3286 0.4000 4.2204 ((5 . 3) (6 . 4) (7 . 5) (14 . 9)) 3289 0.3363 5.3133 ((1 . 25) (2 . 27) (5 . 30) (6 . 31)) 3297 0.4000 5.7432 ((1 . 5) (6 . 8) (10 . 9) (11 . 11)) 3300 0.3999 6.3009 ((2 . 1) (3 . 2) (6 . 4) (7 . 5)) 3334 0.4200 9.8814 ((1 . 1) (5 . 4) (6 . 5) (7 . 10) (14 . 15)) 3339 0.2413 9.4114 ((2 . 11) (6 . 15) (11 . 19) (14 . 21)) 3344 0.3999 6.6411 ((2 . 20) (3 . 21) (8 . 24) (10 . 26)) 3366 0.3999 6.1846 ((2 . 23) (3 . 24) (6 . 26) (7 . 27)) 3410 0.3999 6.6949 ((2 . 19) (6 . 21) (8 . 24) (14 . 30)) 3418 0.4000 5.8999 ((1 . 2) (5 . 5) (6 . 6) (7 . 7)) 3472 0.4999 4.7508 ((2 . 1) (5 . 5) (6 . 6) (7 . 8) (8 . 9)) 3481 0.4000 5.4536 ((2 . 2) (7 . 7) (8 . 8) (14 . 12)) 3489 0.1970 8.3612 ((2 . 4) (8 . 10) (10 . 12) (11 . 14)) 3533 0.3999 6.5829 ((6 . 3) (7 . 5) (11 . 8) (14 . 11)) 3537 0.3999 6.7566 ((2 . 5) (3 . 6) (10 . 9) (11 . 10)) 3548 0.4715 8.1210 ((2 . 2) (5 . 3) (6 . 4) (7 . 5) (14 . 10)) 3549 0.4999 5.3796 ((3 . 1) (5 . 2) (6 . 3) (10 . 5) (11 . 8)) 3570 0.3999 7.6832 ((8 . 3) (10 . 4) (11 . 7) (14 . 8)) 3585 0.4000 4.9935 ((3 . 8) (6 . 11) (7 . 12) (8 . 13)) 3613 0.3998 8.3308 ((5 . 35) (6 . 36) (10 . 40) (11 . 41)) 3625 0.4000 4.5563 ((2 . 1) (3 . 2) (7 . 5) (8 . 6)) 3626 0.4000 5.2326 ((2 . 2) (3 . 3) (6 . 6) (7 . 8)) 3628 0.3998 8.1973 ((2 . 6) (6 . 8) (7 . 9) (8 . 10)) 3651 0.4000 5.0236 ((1 . 9) (5 . 11) (6 . 13) (14 . 21)) 3658 0.4000 3.4576 ((5 . 5) (6 . 6) (7 . 7) (8 . 8)) 3659 0.4999 5.6532 ((5 . 5) (6 . 7) (10 . 9) (11 . 12) (14 . 13)) 3661 0.1493 5.1682 ((2 . 7) (3 . 8) (7 . 11) (8 . 12)) 3688 0.4000 4.1008 ((3 . 26) (8 . 29) (10 . 30) (11 . 32)) 3697 0.3998 8.3905 ((2 . 1) (3 . 3) (10 . 6) (11 . 7)) 3703 0.4000 4.2755 ((5 . 6) (6 . 7) (7 . 8) (8 . 9)) 3732 0.3999 7.4396 ((7 . 2) (8 . 3) (10 . 5) (14 . 9)) 3740 0.4996 7.6528 ((2 . 2) (3 . 3) (7 . 5) (8 . 6) (14 . 9)) 3741 0.4718 6.2222 ((2 . 21) (5 . 22) (6 . 25) (7 . 26) (8 . 27) (10 . 28) (11 . 32)) 3776 0.4000 4.8666 ((3 . 17) (5 . 19) (6 . 20) (7 . 21)) 3778 0.3999 6.1513 ((2 . 2) (3 . 3) (10 . 6) (11 . 7)) 3787 0.2800 8.4576 ((1 . 17) (5 . 19) (7 . 21) (10 . 23)) 3790 0.6364 5.7377 ((1 . 25) (5 . 26) (6 . 27) (7 . 28) (8 . 29) (10 . 30) (11 . 31)) 3810 0.7000 2.5330 ((2 . 4) (3 . 6) (5 . 8) (6 . 9) (7 . 10) (8 . 11) (11 . 14)) 3817 0.3362 10.0588 ((1 . 10) (2 . 11) (10 . 15) (11 . 16)) 3831 0.4993 8.7616 ((2 . 2) (3 . 3) (7 . 5) (8 . 6) (14 . 9)) 3847 0.3363 7.3612 ((1 . 9) (7 . 13) (10 . 16) (11 . 17)) 3849 0.4999 5.6008 ((3 . 1) (5 . 2) (6 . 3) (10 . 5) (11 . 8)) 3853 0.1493 7.5532 ((2 . 6) (5 . 8) (11 . 12) (14 . 14)) 3933 0.5000 4.2389 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (11 . 10)) 3938 0.4717 6.7307 ((5 . 2) (6 . 4) (8 . 6) (10 . 8) (11 . 9)) 3986 0.3999 6.6932 ((2 . 2) (5 . 4) (8 . 7) (10 . 9)) 3990 0.3999 7.0369 ((2 . 18) (5 . 20) (8 . 22) (11 . 24)) 4005 0.4824 6.7071 ((5 . 1) (6 . 2) (7 . 3) (8 . 4) (14 . 11)) 4009 0.3666 11.8107 ((1 . 19) (3 . 21) (5 . 22) (6 . 23)) 4019 0.4000 5.0949 ((5 . 43) (6 . 44) (10 . 46) (11 . 47)) 4034 0.4000 5.4921 ((6 . 9) (7 . 10) (8 . 11) (11 . 13)) 4082 0.4000 4.2187 ((5 . 5) (6 . 6) (7 . 7) (8 . 8)) 4087 0.3999 7.0247 ((1 . 5) (2 . 6) (3 . 7) (6 . 8)) 4112 0.3999 6.1655 ((2 . 1) (3 . 2) (6 . 3) (7 . 4)) 4115 0.3670 7.4109 ((2 . 13) (6 . 15) (8 . 17) (11 . 19)) 4151 0.3998 8.0860 ((2 . 5) (5 . 7) (8 . 9) (14 . 15)) 4154 0.4000 3.9334 ((5 . 52) (6 . 53) (7 . 54) (8 . 55)) 4177 0.3670 7.3111 ((1 . 2) (7 . 7) (10 . 8) (11 . 9)) 4194 0.3999 6.0022 ((1 . 1) (5 . 3) (7 . 5) (8 . 6)) 4204 0.2412 10.0323 ((6 . 7) (8 . 9) (11 . 11) (14 . 14)) 4209 0.4824 6.5979 ((1 . 1) (2 . 2) (7 . 5) (8 . 7) (10 . 8)) 4210 0.3670 6.9431 ((1 . 4) (2 . 5) (7 . 8) (11 . 10)) 4226 0.3999 6.0130 ((2 . 11) (3 . 12) (7 . 16) (11 . 18)) 4232 0.3998 7.9718 ((1 . 1) (6 . 3) (11 . 6) (14 . 8)) 4236 0.4000 2.9952 ((1 . 5) (2 . 6) (3 . 7) (14 . 10)) 4246 0.3999 7.0177 ((2 . 2) (3 . 3) (6 . 5) (7 . 6)) 4254 0.3999 6.5046 ((1 . 1) (5 . 3) (6 . 4) (11 . 8)) 4255 0.2800 8.2559 ((1 . 21) (2 . 23) (3 . 24) (7 . 26)) 4257 0.4998 6.7582 ((3 . 7) (5 . 8) (6 . 9) (7 . 10) (10 . 12)) 4265 0.3999 6.7123 ((1 . 20) (2 . 21) (6 . 24) (8 . 26)) 4266 0.4000 5.6709 ((1 . 6) (6 . 8) (10 . 11) (11 . 12)) 4274 0.2413 6.9198 ((5 . 36) (7 . 38) (10 . 40) (11 . 41)) 4275 0.3999 6.0191 ((1 . 21) (5 . 23) (7 . 25) (8 . 27)) 4281 0.3999 7.7520 ((2 . 3) (5 . 4) (6 . 5) (8 . 8)) 4284 0.4000 5.7959 ((5 . 3) (6 . 4) (7 . 5) (14 . 10)) 4299 0.5600 5.3689 ((2 . 4) (3 . 14) (5 . 16) (6 . 19) (10 . 20) (11 . 22)) 4301 0.4000 5.7849 ((2 . 1) (3 . 2) (7 . 4) (8 . 6)) 4326 0.3666 11.8227 ((3 . 7) (6 . 11) (7 . 12) (11 . 15)) 4332 0.3363 7.5121 ((1 . 2) (2 . 4) (6 . 6) (8 . 9)) 4338 0.3997 9.1810 ((5 . 2) (10 . 6) (11 . 7) (14 . 8)) 4359 0.4716 7.7875 ((5 . 4) (6 . 5) (7 . 6) (8 . 7) (10 . 8)) 4380 0.4000 4.0456 ((5 . 1) (6 . 2) (7 . 3) (8 . 4)) 4383 0.4000 4.8941 ((2 . 14) (3 . 15) (7 . 17) (10 . 19)) 4386 0.3998 8.1689 ((6 . 16) (10 . 18) (11 . 19) (14 . 21)) 4388 0.4000 5.5923 ((3 . 3) (7 . 5) (10 . 8) (11 . 9)) 4398 0.3998 8.6653 ((5 . 6) (6 . 7) (7 . 8) (10 . 10)) 4405 0.3996 10.1282 ((1 . 19) (3 . 21) (5 . 22) (6 . 23)) 4408 0.3999 6.8060 ((2 . 3) (3 . 4) (7 . 6) (8 . 7)) 4415 0.3999 6.6372 ((1 . 3) (5 . 4) (10 . 9) (14 . 12)) 4419 0.4998 6.5740 ((2 . 3) (5 . 6) (6 . 8) (10 . 9) (11 . 10)) 4492 0.4000 4.6469 ((5 . 4) (6 . 5) (7 . 7) (8 . 8)) 4497 0.3999 6.6779 ((1 . 18) (10 . 25) (11 . 26) (14 . 30)) 4502 0.3978 15.4670 ((5 . 4) (6 . 5) (10 . 9) (11 . 10)) 4503 0.4820 8.5490 ((2 . 3) (5 . 6) (6 . 7) (8 . 9) (10 . 10)) 4504 0.4000 4.9284 ((3 . 19) (5 . 20) (6 . 21) (7 . 22)) 4505 0.3999 6.7628 ((5 . 25) (6 . 26) (8 . 28) (11 . 30)) 4516 0.1493 8.1012 ((2 . 10) (8 . 14) (11 . 16) (14 . 20)) 4527 0.3999 7.2141 ((1 . 1) (6 . 6) (8 . 7) (10 . 8)) 4538 0.3998 7.8921 ((7 . 30) (10 . 33) (11 . 34) (14 . 38)) 4560 0.3999 7.1051 ((3 . 11) (7 . 13) (10 . 14) (11 . 16)) 4561 0.4000 4.9125 ((1 . 1) (2 . 9) (10 . 13) (11 . 14)) 4562 0.3998 8.3921 ((2 . 22) (6 . 25) (8 . 27) (10 . 29)) 4577 0.4000 5.6004 ((5 . 29) (6 . 30) (7 . 32) (8 . 33)) 4588 0.3999 6.6991 ((2 . 7) (3 . 8) (6 . 11) (10 . 13)) 4589 0.3998 7.9355 ((6 . 18) (10 . 19) (11 . 22) (14 . 23)) 4621 0.4527 8.8893 ((1 . 3) (2 . 4) (6 . 6) (7 . 8) (8 . 9)) 4630 0.4000 5.5128 ((3 . 16) (5 . 17) (7 . 18) (14 . 26)) 4648 0.4000 4.6263 ((7 . 1) (8 . 2) (10 . 5) (11 . 8)) 4653 0.4999 5.3153 ((2 . 3) (3 . 4) (5 . 5) (6 . 6) (7 . 7)) 4665 0.4000 4.1160 ((2 . 11) (5 . 12) (6 . 13) (7 . 14)) 4668 0.3363 6.2773 ((2 . 1) (6 . 3) (7 . 7) (8 . 9)) 4669 0.4000 5.7465 ((7 . 12) (8 . 13) (10 . 15) (14 . 19)) 4671 0.4823 6.8323 ((5 . 11) (6 . 12) (7 . 13) (8 . 14) (10 . 15)) 4674 0.3996 9.7641 ((5 . 6) (6 . 7) (7 . 8) (8 . 9)) 4678 0.3998 8.7744 ((2 . 6) (7 . 10) (11 . 12) (14 . 15)) 4713 0.4000 5.4461 ((5 . 3) (6 . 4) (7 . 5) (8 . 6)) 4734 0.1970 9.3403 ((6 . 2) (7 . 4) (10 . 6) (11 . 7)) 4857 0.3822 8.0048 ((1 . 2) (2 . 3) (5 . 5) (11 . 9)) 4886 0.4000 4.9129 ((1 . 29) (2 . 30) (3 . 31) (8 . 32)) 4888 0.4000 5.6765 ((5 . 12) (6 . 13) (10 . 16) (11 . 17)) 4889 0.3999 6.2569 ((2 . 3) (3 . 4) (7 . 6) (8 . 7)) 4907 0.4000 5.6175 ((1 . 4) (3 . 5) (5 . 7) (6 . 8)) 4914 0.4999 4.7727 ((1 . 7) (5 . 8) (6 . 9) (7 . 10) (8 . 11)) 4921 0.3999 6.3813 ((2 . 7) (3 . 8) (8 . 12) (14 . 17)) 4929 0.4000 5.6363 ((3 . 28) (6 . 29) (7 . 31) (8 . 32)) 4932 0.3997 9.2751 ((5 . 1) (6 . 2) (8 . 5) (10 . 6)) 4940 0.3999 7.5107 ((3 . 4) (7 . 7) (11 . 9) (14 . 10)) 4944 0.4995 7.9507 ((1 . 11) (5 . 13) (6 . 14) (7 . 15) (8 . 16)) 4961 0.4000 5.2767 ((1 . 7) (7 . 12) (10 . 14) (11 . 15)) 4978 0.4000 5.8050 ((5 . 21) (6 . 22) (7 . 24) (14 . 28)) 4982 0.3362 9.6841 ((1 . 9) (2 . 10) (6 . 12) (8 . 14)) 4992 0.1493 8.7968 ((8 . 1) (10 . 2) (11 . 3) (14 . 6)) 5036 0.3999 7.3158 ((5 . 1) (6 . 2) (10 . 5) (11 . 6)) 5038 0.4999 5.4918 ((3 . 12) (6 . 14) (7 . 15) (8 . 16) (11 . 18)) 5039 0.3998 8.2417 ((3 . 39) (5 . 41) (10 . 44) (11 . 45)) 5044 0.4000 5.5035 ((2 . 1) (3 . 2) (10 . 8) (11 . 9)) 5046 0.2801 7.7936 ((2 . 3) (3 . 4) (8 . 7) (11 . 10)) 5053 0.4000 5.9775 ((5 . 2) (6 . 3) (7 . 5) (10 . 6)) 5065 0.5000 3.8268 ((2 . 7) (5 . 8) (6 . 9) (7 . 10) (8 . 11)) 5068 0.3363 7.4399 ((1 . 10) (3 . 12) (7 . 15) (8 . 16)) 5069 0.4000 5.3262 ((1 . 15) (6 . 17) (7 . 18) (8 . 19)) 5083 0.4882 8.5271 ((2 . 1) (3 . 2) (7 . 5) (8 . 6) (11 . 9)) 5101 0.3363 8.8452 ((2 . 18) (6 . 21) (8 . 23) (11 . 25)) 5121 0.4000 3.5167 ((5 . 25) (6 . 27) (10 . 30) (11 . 31)) 5134 0.3670 8.3134 ((1 . 2) (2 . 3) (5 . 6) (11 . 10)) 5145 0.2801 6.8503 ((7 . 3) (10 . 5) (11 . 8) (14 . 10)) 5167 0.3999 6.6593 ((2 . 1) (6 . 3) (7 . 4) (14 . 9)) 5176 0.4000 5.4685 ((2 . 84) (5 . 86) (6 . 87) (7 . 88)) 5183 0.4000 4.9749 ((5 . 34) (6 . 35) (7 . 36) (8 . 37)) 5198 0.3792 17.9526 ((1 . 22) (5 . 24) (11 . 30) (14 . 32)) 5209 0.3998 8.1896 ((2 . 7) (5 . 8) (6 . 9) (7 . 10)) 5212 0.4000 5.5584 ((6 . 21) (7 . 22) (8 . 23) (10 . 24)) 5215 0.3998 8.8521 ((1 . 3) (2 . 4) (3 . 5) (10 . 9)) 5223 0.3999 7.6294 ((7 . 6) (10 . 8) (11 . 10) (14 . 12)) 5231 0.3999 6.9807 ((5 . 8) (7 . 12) (10 . 13) (11 . 14)) 5266 0.3362 9.2642 ((2 . 4) (6 . 6) (8 . 8) (11 . 10)) 5278 0.3999 6.0140 ((3 . 5) (6 . 6) (7 . 7) (8 . 8)) 5307 0.4000 5.7499 ((2 . 51) (6 . 55) (7 . 57) (8 . 58)) 5312 0.4999 5.4023 ((2 . 1) (3 . 2) (6 . 3) (7 . 4) (8 . 5)) 5344 0.3999 7.3692 ((1 . 2) (2 . 3) (3 . 4) (8 . 7)) 5345 0.4998 6.5977 ((5 . 12) (6 . 13) (7 . 14) (8 . 15) (14 . 17)) 5368 0.4999 4.8598 ((2 . 33) (5 . 34) (6 . 35) (7 . 36) (8 . 37)) 5378 0.3999 7.6732 ((1 . 8) (2 . 9) (8 . 15) (10 . 16)) 5414 0.4000 4.6526 ((5 . 14) (6 . 15) (7 . 16) (8 . 18)) 5418 0.6074 6.2498 ((1 . 1) (5 . 2) (6 . 3) (7 . 5) (10 . 7) (11 . 8) (14 . 9)) 5421 0.6000 2.6195 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (14 . 13)) 5433 0.4000 4.9684 ((3 . 4) (8 . 10) (10 . 12) (11 . 13)) 5479 0.4000 5.3585 ((5 . 45) (6 . 46) (7 . 47) (8 . 48)) 5487 0.3999 6.9420 ((1 . 4) (2 . 7) (6 . 9) (8 . 11)) 5489 0.4000 5.7888 ((2 . 6) (6 . 9) (7 . 10) (8 . 11)) 5500 0.4000 4.9253 ((5 . 2) (6 . 3) (7 . 4) (8 . 7)) 5501 0.3991 12.3978 ((1 . 17) (10 . 24) (11 . 25) (14 . 30)) 5535 0.4000 4.9260 ((3 . 4) (6 . 6) (7 . 7) (8 . 8)) 5540 0.4000 5.8540 ((1 . 6) (2 . 7) (3 . 8) (14 . 18)) 5557 0.4000 5.0890 ((5 . 1) (6 . 2) (7 . 3) (8 . 4)) 5560 0.3670 8.7052 ((2 . 9) (6 . 11) (7 . 13) (11 . 15)) 5567 0.3998 8.3041 ((3 . 15) (7 . 17) (8 . 18) (11 . 19)) 5594 0.3999 6.1281 ((1 . 1) (5 . 3) (6 . 4) (8 . 6)) 5601 0.3362 9.7622 ((3 . 3) (7 . 5) (11 . 8) (14 . 12)) 5640 0.5000 4.2274 ((2 . 22) (5 . 23) (6 . 24) (7 . 25) (8 . 26)) 5644 0.4000 4.3563 ((1 . 1) (2 . 3) (3 . 4) (14 . 14)) 5656 0.3671 6.1410 ((3 . 8) (5 . 9) (6 . 10) (8 . 14)) 5700 0.3999 6.9845 ((2 . 4) (7 . 8) (8 . 9) (11 . 11)) 5701 0.3998 8.1339 ((2 . 4) (3 . 5) (6 . 6) (14 . 11)) 5703 0.4000 4.7977 ((5 . 5) (6 . 6) (10 . 7) (11 . 8)) 5711 0.4000 5.3817 ((2 . 35) (3 . 36) (10 . 42) (11 . 43)) 5713 0.4531 4.5594 ((1 . 15) (5 . 16) (6 . 18) (7 . 19) (10 . 21)) 5718 0.3999 6.4407 ((2 . 14) (5 . 16) (6 . 17) (7 . 18)) 5731 0.5997 5.6880 ((2 . 3) (3 . 5) (5 . 9) (6 . 10) (7 . 11) (8 . 13)) 5746 0.4000 3.6280 ((5 . 6) (6 . 7) (7 . 8) (10 . 9)) 5749 0.3997 9.2509 ((7 . 3) (10 . 4) (11 . 5) (14 . 6)) 5770 0.4714 8.5716 ((1 . 1) (5 . 6) (8 . 8) (10 . 9) (11 . 12)) 5782 0.4000 5.3130 ((1 . 22) (7 . 27) (10 . 29) (11 . 30)) 5794 0.3999 6.0897 ((2 . 18) (3 . 19) (10 . 24) (11 . 25)) 5809 0.3670 7.6779 ((2 . 1) (5 . 3) (8 . 5) (14 . 9)) 5822 0.3670 8.0700 ((2 . 4) (6 . 7) (7 . 8) (10 . 9)) 5827 0.4717 6.4297 ((5 . 2) (6 . 3) (7 . 4) (8 . 5) (10 . 16)) 5847 0.4997 6.7781 ((2 . 12) (3 . 13) (6 . 16) (7 . 17) (8 . 18)) 5861 0.4000 3.7542 ((1 . 20) (2 . 21) (3 . 22) (8 . 26)) 5865 0.4000 4.9027 ((2 . 1) (3 . 2) (5 . 4) (6 . 5)) 5878 0.4887 4.1489 ((6 . 25) (7 . 26) (8 . 28) (10 . 29) (11 . 30)) 5888 0.4000 2.8510 ((5 . 4) (6 . 5) (7 . 6) (8 . 7)) 5896 0.3363 8.1087 ((1 . 26) (2 . 28) (3 . 29) (7 . 31)) 5904 0.2413 6.1984 ((2 . 4) (8 . 7) (11 . 9) (14 . 11)) 5913 0.3999 6.4790 ((1 . 15) (2 . 17) (6 . 20) (7 . 22)) 5914 0.3670 7.1638 ((5 . 2) (6 . 3) (8 . 5) (10 . 6)) 5922 0.2801 7.5863 ((5 . 1) (7 . 4) (8 . 5) (10 . 6)) 5930 0.3671 5.4393 ((3 . 7) (5 . 8) (6 . 9) (7 . 11)) 5939 0.3999 6.8307 ((1 . 6) (3 . 8) (5 . 9) (11 . 14)) 5945 0.3997 9.4152 ((2 . 13) (3 . 14) (5 . 16) (6 . 19)) 5949 0.1970 7.8489 ((2 . 9) (3 . 10) (5 . 12) (7 . 14)) 5955 0.2413 7.9297 ((5 . 1) (8 . 3) (10 . 5) (11 . 4)) 6000 0.3999 7.8170 ((2 . 14) (3 . 15) (5 . 17) (10 . 21)) 6011 0.3999 6.2120 ((2 . 8) (5 . 9) (6 . 10) (7 . 11)) 6022 0.4000 5.3308 ((5 . 4) (6 . 5) (10 . 8) (11 . 9)) 6028 0.4000 5.6306 ((3 . 1) (5 . 2) (6 . 3) (11 . 9)) 6029 0.3361 11.5169 ((2 . 18) (5 . 19) (7 . 21) (11 . 24)) 6041 0.4000 4.2892 ((5 . 10) (6 . 11) (7 . 12) (8 . 13)) 6046 0.4000 5.9204 ((1 . 2) (5 . 3) (6 . 5) (7 . 6)) 6061 0.3999 6.7574 ((1 . 13) (5 . 14) (6 . 15) (14 . 21)) 6074 0.2800 9.3328 ((3 . 2) (6 . 4) (8 . 6) (11 . 8)) 6079 0.4000 2.9513 ((5 . 6) (6 . 7) (7 . 8) (8 . 9)) 6089 0.3362 10.5238 ((1 . 12) (5 . 16) (6 . 17) (14 . 23)) 6094 0.4997 7.1463 ((1 . 7) (5 . 10) (6 . 11) (7 . 12) (8 . 14)) 6099 0.5000 4.3212 ((2 . 23) (5 . 24) (6 . 25) (7 . 26) (8 . 27)) 6123 0.4000 3.8417 ((5 . 2) (6 . 3) (7 . 4) (8 . 5)) 6142 0.4999 4.9684 ((2 . 13) (5 . 14) (6 . 15) (7 . 16) (8 . 17)) 6148 0.3998 8.4518 ((2 . 32) (5 . 33) (6 . 34) (10 . 37)) 6167 0.4000 5.1294 ((1 . 12) (5 . 17) (7 . 20) (8 . 21)) 6173 0.4000 4.3788 ((1 . 8) (2 . 9) (3 . 11) (8 . 15)) 6191 0.4000 5.6926 ((5 . 3) (6 . 4) (10 . 6) (11 . 9)) 6192 0.3995 10.4699 ((2 . 5) (7 . 10) (8 . 11) (11 . 13)) 6215 0.3999 7.3119 ((3 . 17) (6 . 18) (7 . 19) (8 . 20)) 6225 0.3995 10.6269 ((2 . 4) (3 . 5) (6 . 7) (7 . 8)) 6228 0.4822 7.6117 ((3 . 9) (5 . 11) (6 . 12) (11 . 15) (14 . 19)) 6234 0.4887 5.5949 ((2 . 6) (3 . 7) (6 . 9) (7 . 10) (11 . 15)) 6238 0.4525 9.8909 ((3 . 3) (5 . 4) (7 . 5) (10 . 7) (11 . 8)) 6243 0.3999 6.4551 ((5 . 2) (6 . 3) (8 . 6) (11 . 8)) 6261 0.3362 9.7808 ((5 . 1) (7 . 3) (8 . 4) (10 . 6)) 6270 0.3997 9.0075 ((3 . 13) (7 . 15) (11 . 17) (14 . 20)) 6271 0.3999 6.4042 ((7 . 4) (8 . 8) (10 . 10) (11 . 11)) 6273 0.3998 8.2276 ((1 . 1) (2 . 2) (8 . 6) (11 . 7)) 6306 0.3668 10.8400 ((1 . 15) (2 . 16) (3 . 17) (7 . 19)) 6311 0.1994 5.8957 ((1 . 4) (2 . 5) (6 . 9) (7 . 11) (8 . 10) (14 . 14)) 6326 0.9979 3.7258 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (10 . 9) (11 . 10) (14 . 13)) 6338 0.4000 5.3394 ((5 . 4) (6 . 5) (7 . 7) (8 . 8)) 6344 0.4000 4.5406 ((2 . 14) (3 . 15) (7 . 17) (8 . 21)) 6345 0.3999 6.0932 ((2 . 6) (3 . 7) (11 . 11) (14 . 14)) 6355 0.4531 5.4545 ((5 . 4) (6 . 6) (7 . 7) (10 . 8) (11 . 11) (14 . 12)) 6369 0.3992 11.9181 ((2 . 29) (7 . 32) (8 . 33) (11 . 35)) 6376 0.3999 6.8423 ((5 . 21) (7 . 24) (10 . 26) (11 . 27)) 6391 0.4000 5.1296 ((6 . 6) (10 . 8) (11 . 10) (14 . 12)) 6399 0.4000 2.9403 ((5 . 14) (6 . 15) (7 . 16) (8 . 17)) 6403 0.4716 7.6769 ((5 . 2) (6 . 3) (7 . 4) (8 . 5) (11 . 7)) 6434 0.3999 7.3138 ((2 . 2) (3 . 3) (6 . 4) (7 . 5)) 6462 0.3997 9.2614 ((5 . 4) (6 . 5) (7 . 6) (14 . 10)) 6498 0.3363 7.3299 ((2 . 37) (8 . 42) (10 . 44) (11 . 45)) 6520 0.4000 3.9175 ((5 . 9) (6 . 14) (10 . 15) (11 . 16)) 6539 0.3670 7.2606 ((2 . 4) (3 . 5) (5 . 6) (7 . 8)) 6540 0.3997 9.5242 ((1 . 17) (2 . 18) (3 . 19) (8 . 22)) 6548 0.3998 8.6832 ((3 . 7) (7 . 9) (10 . 12) (11 . 13)) 6553 0.3999 6.4575 ((2 . 17) (8 . 22) (10 . 23) (11 . 24)) 6555 0.4000 4.7766 ((1 . 20) (2 . 22) (3 . 23) (7 . 25)) 6561 0.3999 6.1060 ((2 . 7) (3 . 8) (5 . 9) (6 . 10)) 6573 0.3999 7.1814 ((1 . 17) (3 . 19) (10 . 23) (11 . 24)) 6584 0.5000 4.0893 ((2 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9)) 6585 0.3363 8.3927 ((2 . 8) (5 . 10) (7 . 11) (10 . 13)) 6598 0.4000 4.0726 ((6 . 20) (7 . 21) (8 . 22) (14 . 26)) 6613 0.3999 7.2120 ((3 . 31) (7 . 32) (10 . 34) (11 . 35)) END