4192 25 0.3023 13.4286 ((10 . 6) (16 . 12) (20 . 13) (21 . 14)) 41 0.3845 7.7756 ((11 . 4) (13 . 5) (14 . 6) (15 . 7) (16 . 8)) 51 0.3075 11.9675 ((13 . 2) (14 . 4) (15 . 7) (22 . 14)) 62 0.3077 4.1618 ((10 . 10) (13 . 13) (14 . 15) (15 . 16)) 64 0.3076 8.1518 ((10 . 3) (13 . 6) (15 . 8) (19 . 9)) 77 0.3077 6.7304 ((10 . 7) (15 . 13) (19 . 15) (20 . 17)) 91 0.3076 9.8209 ((11 . 41) (13 . 42) (16 . 46) (18 . 47)) 96 0.3077 2.5748 ((13 . 1) (14 . 2) (15 . 3) (18 . 4)) 136 0.3077 7.3711 ((14 . 2) (15 . 3) (18 . 4) (21 . 9)) 150 0.3077 4.9882 ((10 . 20) (13 . 23) (14 . 24) (15 . 25)) 155 0.3020 15.6984 ((14 . 1) (19 . 3) (20 . 5) (21 . 6)) 157 0.3077 5.7346 ((14 . 10) (15 . 11) (16 . 12) (18 . 15)) 161 0.1920 6.1618 ((10 . 4) (13 . 6) (14 . 7) (15 . 9)) 162 0.3077 7.3069 ((10 . 17) (13 . 18) (14 . 19) (15 . 22)) 177 0.2284 8.6366 ((10 . 1) (13 . 3) (19 . 8) (20 . 9)) 191 0.3076 8.9806 ((10 . 1) (13 . 2) (14 . 3) (22 . 8)) 198 0.2854 10.4594 ((8 . 2) (10 . 5) (13 . 7) (19 . 15)) 207 0.3077 5.2056 ((13 . 13) (14 . 14) (15 . 15) (16 . 16)) 259 0.2283 12.6649 ((11 . 1) (14 . 3) (18 . 6) (21 . 8)) 300 0.3076 8.3205 ((14 . 5) (15 . 6) (19 . 9) (21 . 11)) 305 0.3296 5.7454 ((18 . 8) (19 . 9) (20 . 10) (21 . 13) (22 . 15)) 307 0.3844 8.9864 ((13 . 1) (14 . 2) (15 . 3) (16 . 6) (20 . 10)) 315 0.3076 9.8428 ((14 . 2) (15 . 4) (18 . 7) (22 . 10)) 317 0.2284 9.0107 ((14 . 1) (16 . 2) (20 . 4) (21 . 6)) 329 0.2975 8.8836 ((11 . 3) (15 . 5) (18 . 8) (20 . 9)) 340 0.1919 12.0973 ((8 . 1) (10 . 2) (11 . 5) (15 . 9)) 350 0.3077 7.1489 ((13 . 7) (15 . 10) (19 . 15) (22 . 18)) 351 0.3076 9.6993 ((11 . 2) (14 . 4) (16 . 6) (21 . 10)) 360 0.3077 4.8430 ((13 . 5) (15 . 7) (19 . 10) (21 . 13)) 361 0.3077 5.1422 ((13 . 2) (14 . 3) (15 . 4) (16 . 5)) 365 0.3077 7.2149 ((10 . 2) (13 . 4) (14 . 7) (15 . 6)) 367 0.3077 7.7579 ((18 . 39) (19 . 40) (20 . 41) (23 . 46)) 387 0.3077 7.2075 ((10 . 1) (14 . 6) (19 . 9) (22 . 12)) 417 0.3077 7.0776 ((10 . 2) (14 . 6) (15 . 7) (19 . 9)) 433 0.3077 7.8958 ((10 . 5) (13 . 7) (14 . 8) (15 . 9)) 442 0.3077 7.0739 ((10 . 12) (11 . 13) (13 . 14) (16 . 15)) 460 0.3077 5.9997 ((10 . 1) (13 . 3) (14 . 4) (19 . 8)) 472 0.3568 4.8388 ((13 . 20) (14 . 29) (15 . 31) (16 . 33) (18 . 34)) 491 0.3077 4.3871 ((15 . 1) (16 . 2) (19 . 6) (22 . 8)) 495 0.3077 3.3851 ((13 . 3) (14 . 4) (15 . 5) (16 . 6)) 541 0.3077 5.5499 ((13 . 7) (14 . 9) (15 . 11) (18 . 13)) 543 0.3076 9.4043 ((10 . 2) (15 . 6) (21 . 13) (23 . 16)) 553 0.2972 13.9908 ((10 . 12) (14 . 14) (16 . 15) (21 . 22)) 561 0.3846 6.0318 ((10 . 1) (11 . 2) (13 . 4) (14 . 5) (15 . 6)) 584 0.3076 8.0053 ((11 . 9) (13 . 10) (14 . 12) (15 . 13)) 587 0.3077 7.8782 ((13 . 11) (14 . 12) (15 . 13) (20 . 17)) 609 0.3077 4.8983 ((11 . 2) (13 . 3) (14 . 5) (15 . 6)) 619 0.3077 5.6108 ((11 . 3) (15 . 7) (18 . 10) (19 . 11)) 624 0.6148 6.4824 ((10 . 5) (11 . 8) (13 . 11) (14 . 12) (15 . 13) (16 . 14) (19 . 16) (21 . 18)) 635 0.3076 8.0487 ((8 . 3) (10 . 5) (18 . 12) (23 . 18)) 672 0.3077 6.5595 ((19 . 16) (20 . 17) (22 . 21) (23 . 22)) 678 0.3846 4.6657 ((13 . 22) (14 . 23) (15 . 24) (16 . 25) (18 . 27)) 719 0.3077 7.8210 ((15 . 22) (19 . 25) (21 . 29) (22 . 30)) 729 0.3845 7.1262 ((13 . 13) (14 . 14) (15 . 15) (20 . 21) (21 . 22)) 740 0.2554 8.7055 ((11 . 1) (13 . 2) (15 . 5) (19 . 9)) 765 0.2283 10.9851 ((8 . 5) (10 . 8) (13 . 11) (19 . 20)) 767 0.3077 6.8976 ((18 . 2) (19 . 3) (22 . 8) (23 . 9)) 782 0.2853 12.2029 ((11 . 1) (16 . 4) (18 . 5) (21 . 7)) 795 0.3846 5.4208 ((13 . 1) (14 . 2) (15 . 3) (16 . 4) (19 . 6)) 796 0.3077 7.8337 ((18 . 1) (19 . 3) (20 . 4) (22 . 6)) 812 0.4027 4.1183 ((10 . 9) (11 . 10) (13 . 11) (14 . 12) (15 . 13) (19 . 19)) 818 0.3077 5.2410 ((13 . 4) (14 . 5) (15 . 7) (18 . 9)) 819 0.2854 6.9806 ((10 . 3) (11 . 4) (19 . 9) (20 . 11)) 834 0.3077 5.6909 ((8 . 32) (16 . 38) (20 . 42) (21 . 43)) 861 0.3077 7.0581 ((10 . 12) (13 . 15) (15 . 17) (19 . 19)) 901 0.3846 5.0318 ((10 . 1) (13 . 5) (14 . 6) (15 . 7) (16 . 8)) 904 0.2975 9.6180 ((20 . 4) (21 . 5) (22 . 6) (23 . 7)) 913 0.2260 9.2239 ((14 . 15) (15 . 16) (19 . 17) (20 . 18) (22 . 20)) 928 0.3846 4.3312 ((10 . 10) (13 . 12) (14 . 13) (15 . 14) (16 . 15)) 937 0.3076 9.2514 ((13 . 1) (14 . 3) (15 . 4) (18 . 6)) 943 0.3077 3.4227 ((13 . 9) (14 . 10) (15 . 12) (16 . 13)) 945 0.3846 4.6705 ((10 . 12) (11 . 13) (13 . 14) (14 . 16) (15 . 17)) 949 0.3076 8.3536 ((13 . 27) (15 . 30) (19 . 32) (21 . 36)) 960 0.4614 6.3621 ((10 . 9) (13 . 12) (14 . 16) (15 . 19) (16 . 20) (21 . 39)) 978 0.3077 5.5904 ((10 . 10) (14 . 12) (16 . 15) (22 . 19)) 980 0.4027 4.0150 ((10 . 1) (11 . 4) (13 . 5) (14 . 6) (15 . 7) (16 . 8)) 1007 0.3077 7.8915 ((14 . 5) (16 . 6) (19 . 8) (22 . 13)) 1008 0.3077 7.8231 ((10 . 8) (14 . 11) (15 . 13) (19 . 16)) 1034 0.3077 6.6598 ((10 . 20) (13 . 22) (21 . 31) (22 . 32)) 1043 0.3843 10.2209 ((13 . 1) (14 . 5) (15 . 6) (16 . 7) (21 . 11)) 1082 0.3846 5.0756 ((10 . 9) (13 . 12) (14 . 14) (15 . 16) (16 . 17)) 1084 0.3074 12.9249 ((8 . 3) (11 . 6) (15 . 11) (23 . 20)) 1165 0.3077 4.1453 ((10 . 12) (13 . 19) (14 . 20) (15 . 21)) 1167 0.3072 14.3653 ((10 . 20) (15 . 22) (16 . 24) (21 . 28)) 1169 0.1633 9.6897 ((8 . 29) (10 . 32) (13 . 34) (15 . 37)) 1201 0.3076 9.5860 ((13 . 7) (14 . 8) (15 . 9) (20 . 13)) 1204 0.3761 9.4807 ((13 . 25) (14 . 26) (16 . 27) (18 . 30) (21 . 33)) 1210 0.3076 8.1568 ((14 . 1) (18 . 3) (20 . 5) (21 . 6)) 1211 0.3076 8.7939 ((10 . 3) (13 . 5) (16 . 7) (22 . 14)) 1217 0.3077 4.8090 ((13 . 3) (18 . 8) (19 . 9) (22 . 12)) 1224 0.2854 7.0978 ((10 . 3) (20 . 11) (21 . 13) (22 . 15)) 1233 0.3077 3.2040 ((11 . 19) (13 . 20) (14 . 21) (15 . 22)) 1267 0.3846 3.7250 ((13 . 13) (14 . 14) (15 . 15) (16 . 16) (18 . 18)) 1268 0.3075 11.8122 ((11 . 15) (16 . 18) (20 . 19) (23 . 22)) 1345 0.3846 6.2333 ((10 . 7) (13 . 9) (14 . 10) (15 . 12) (21 . 17)) 1366 0.3077 7.3575 ((13 . 12) (14 . 13) (15 . 14) (19 . 17)) 1388 0.3758 11.8142 ((10 . 1) (11 . 2) (14 . 3) (15 . 4) (18 . 7)) 1410 0.3077 6.1672 ((10 . 19) (13 . 20) (15 . 22) (19 . 26)) 1425 0.2554 9.6247 ((8 . 2) (11 . 7) (13 . 8) (15 . 11)) 1435 0.3077 4.6237 ((10 . 3) (15 . 6) (18 . 9) (19 . 11)) 1447 0.3845 7.3307 ((10 . 1) (13 . 3) (14 . 4) (15 . 5) (16 . 6)) 1451 0.2553 11.3065 ((15 . 1) (16 . 2) (19 . 4) (22 . 6)) 1464 0.2975 8.6328 ((13 . 7) (16 . 9) (18 . 12) (19 . 13)) 1470 0.3077 6.8376 ((11 . 5) (14 . 7) (20 . 11) (21 . 12)) 1472 0.3074 13.0086 ((10 . 7) (11 . 9) (16 . 12) (21 . 14)) 1476 0.3077 3.3511 ((11 . 10) (13 . 11) (14 . 13) (15 . 14)) 1481 0.3076 8.2579 ((15 . 2) (16 . 3) (19 . 5) (21 . 8)) 1497 0.3076 10.6259 ((11 . 8) (16 . 11) (18 . 12) (20 . 16)) 1501 0.3076 10.3360 ((10 . 5) (13 . 7) (15 . 9) (16 . 10)) 1508 0.3076 9.2347 ((11 . 1) (14 . 3) (15 . 5) (18 . 6)) 1513 0.3846 5.4350 ((11 . 12) (13 . 15) (14 . 16) (15 . 18) (18 . 19)) 1514 0.3077 6.7153 ((13 . 1) (14 . 2) (15 . 3) (19 . 6)) 1577 0.3076 9.4489 ((8 . 10) (11 . 11) (13 . 12) (15 . 15)) 1591 0.3839 5.5939 ((10 . 6) (13 . 8) (14 . 10) (15 . 11) (16 . 12) (19 . 16) (21 . 18) (22 . 19)) 1595 0.2554 9.5447 ((18 . 3) (20 . 4) (21 . 6) (22 . 8)) 1604 0.3845 6.9288 ((10 . 3) (13 . 7) (14 . 9) (16 . 11) (20 . 14)) 1622 0.3077 6.0573 ((10 . 18) (15 . 20) (16 . 21) (19 . 23)) 1624 0.3075 10.8420 ((8 . 2) (10 . 4) (13 . 6) (16 . 11)) 1643 0.3077 6.7460 ((10 . 26) (13 . 28) (15 . 32) (18 . 35)) 1644 0.3075 11.2579 ((11 . 42) (15 . 46) (19 . 49) (22 . 52)) 1665 0.3846 6.1661 ((13 . 6) (14 . 7) (15 . 8) (16 . 9) (18 . 11)) 1690 0.3844 9.4072 ((13 . 8) (14 . 9) (15 . 11) (16 . 12) (22 . 19)) 1692 0.3077 6.6224 ((15 . 1) (16 . 2) (19 . 6) (22 . 8)) 1724 0.3076 9.5516 ((11 . 1) (16 . 5) (18 . 6) (20 . 7)) 1731 0.3846 3.9941 ((13 . 3) (14 . 7) (15 . 8) (16 . 11) (19 . 13)) 1736 0.4614 5.9176 ((10 . 3) (11 . 6) (13 . 7) (14 . 9) (15 . 10) (16 . 11)) 1738 0.3846 6.4396 ((10 . 4) (13 . 9) (14 . 10) (15 . 11) (21 . 20)) 1747 0.3077 7.1703 ((10 . 16) (13 . 19) (22 . 28) (23 . 29)) 1761 0.3846 4.9201 ((10 . 7) (13 . 13) (14 . 14) (15 . 16) (16 . 18)) 1763 0.3077 5.5155 ((11 . 4) (15 . 7) (16 . 8) (18 . 11)) 1776 0.3842 10.7269 ((13 . 1) (14 . 6) (15 . 7) (16 . 8) (21 . 13)) 1777 0.3077 7.3853 ((8 . 37) (10 . 43) (13 . 47) (15 . 50)) 1778 0.3077 3.8014 ((13 . 1) (14 . 6) (15 . 8) (16 . 11)) 1793 0.3077 4.2892 ((13 . 6) (14 . 7) (15 . 8) (22 . 13)) 1805 0.3076 8.1961 ((10 . 3) (13 . 7) (21 . 13) (23 . 14)) 1808 0.3077 5.0131 ((10 . 2) (13 . 5) (14 . 7) (15 . 8)) 1817 0.3076 9.6437 ((10 . 14) (13 . 18) (15 . 20) (16 . 21)) 1867 0.3076 10.4174 ((10 . 3) (11 . 4) (13 . 7) (14 . 8)) 1894 0.3077 7.5006 ((8 . 7) (11 . 9) (13 . 11) (23 . 21)) 1896 0.3077 7.3388 ((18 . 21) (19 . 22) (22 . 26) (23 . 27)) 1897 0.3077 6.2143 ((10 . 32) (14 . 35) (15 . 39) (19 . 40)) 1908 0.3846 4.9380 ((11 . 6) (13 . 7) (14 . 9) (15 . 10) (16 . 14)) 1909 0.3846 4.9581 ((10 . 25) (13 . 29) (14 . 30) (15 . 31) (16 . 33)) 1913 0.3077 5.8353 ((13 . 1) (14 . 2) (15 . 3) (19 . 10)) 1944 0.5223 5.8563 ((8 . 1) (10 . 3) (11 . 8) (13 . 9) (14 . 12) (15 . 13) (22 . 22)) 1957 0.4615 5.2986 ((10 . 1) (11 . 4) (13 . 5) (14 . 6) (15 . 7) (16 . 8)) 1961 0.3077 5.6177 ((16 . 13) (19 . 16) (20 . 18) (22 . 20)) 1967 0.3844 9.4325 ((13 . 3) (14 . 4) (15 . 7) (21 . 11) (22 . 13)) 1972 0.3576 6.3075 ((10 . 16) (13 . 18) (14 . 19) (15 . 20) (19 . 24) (22 . 27)) 1992 0.3076 9.9514 ((10 . 1) (14 . 5) (21 . 10) (22 . 12)) 2003 0.1919 10.6974 ((20 . 1) (21 . 2) (22 . 5) (23 . 7)) 2006 0.3076 8.5532 ((18 . 6) (19 . 7) (22 . 10) (23 . 11)) 2045 0.3077 5.9498 ((10 . 3) (15 . 8) (16 . 9) (19 . 11)) 2048 0.3077 4.8470 ((10 . 1) (14 . 3) (15 . 4) (16 . 5)) 2054 0.3077 7.4287 ((10 . 2) (11 . 4) (18 . 12) (21 . 16)) 2063 0.1480 6.8147 ((15 . 42) (19 . 44) (20 . 46) (22 . 50)) 2065 0.3076 8.5166 ((10 . 19) (11 . 20) (13 . 22) (19 . 28)) 2067 0.3843 9.6880 ((8 . 54) (18 . 56) (21 . 58) (22 . 60) (23 . 63)) 2072 0.3075 10.8182 ((13 . 4) (15 . 7) (16 . 8) (20 . 9)) 2081 0.3077 6.6162 ((13 . 10) (14 . 11) (15 . 12) (21 . 16)) 2083 0.3077 4.6467 ((13 . 2) (14 . 3) (15 . 4) (16 . 6)) 2094 0.1919 8.2056 ((11 . 3) (14 . 4) (16 . 6) (18 . 7)) 2097 0.3068 17.2447 ((14 . 2) (19 . 7) (20 . 10) (23 . 14)) 2114 0.3077 6.7223 ((11 . 30) (14 . 35) (15 . 36) (16 . 37)) 2116 0.3077 6.9558 ((13 . 2) (15 . 4) (19 . 7) (22 . 11)) 2117 0.3845 6.9138 ((11 . 8) (13 . 9) (15 . 12) (16 . 13) (20 . 21)) 2118 0.3842 10.7265 ((13 . 5) (14 . 6) (15 . 7) (22 . 11) (23 . 12)) 2122 0.3845 6.8145 ((10 . 6) (13 . 8) (14 . 9) (15 . 10) (16 . 11)) 2166 0.3076 8.4892 ((14 . 10) (15 . 12) (19 . 13) (20 . 14)) 2179 0.3846 4.3449 ((13 . 10) (14 . 12) (15 . 13) (16 . 16) (22 . 23)) 2203 0.3077 6.0801 ((13 . 1) (15 . 5) (19 . 7) (20 . 8)) 2205 0.3075 11.7101 ((10 . 13) (19 . 20) (22 . 23) (23 . 26)) 2209 0.3077 4.5256 ((10 . 3) (13 . 7) (14 . 8) (15 . 9)) 2243 0.3076 10.1652 ((8 . 47) (10 . 49) (19 . 55) (23 . 63)) 2248 0.3077 5.9569 ((10 . 16) (14 . 20) (15 . 22) (16 . 23)) 2249 0.3077 6.4137 ((10 . 16) (14 . 19) (15 . 20) (19 . 23)) 2269 0.3846 5.0298 ((10 . 8) (13 . 10) (14 . 11) (15 . 12) (16 . 13)) 2279 0.3077 4.3522 ((10 . 5) (11 . 6) (13 . 7) (15 . 9)) 2298 0.3846 3.6084 ((11 . 11) (13 . 12) (14 . 14) (15 . 15) (16 . 16)) 2308 0.3794 9.7146 ((10 . 8) (14 . 10) (15 . 11) (16 . 12) (18 . 14)) 2314 0.3076 8.6406 ((10 . 7) (14 . 9) (19 . 13) (22 . 18)) 2340 0.3077 6.5066 ((14 . 8) (15 . 9) (16 . 10) (18 . 12)) 2342 0.3076 8.5676 ((14 . 5) (18 . 7) (20 . 9) (21 . 10)) 2344 0.3811 10.7250 ((11 . 5) (14 . 9) (16 . 12) (19 . 14) (20 . 16)) 2364 0.3696 10.2938 ((13 . 7) (14 . 8) (15 . 9) (16 . 10) (18 . 11)) 2381 0.2554 8.1723 ((10 . 3) (11 . 2) (13 . 5) (16 . 8)) 2389 0.3077 5.8125 ((13 . 5) (15 . 7) (19 . 10) (21 . 12)) 2409 0.2974 11.9794 ((8 . 2) (10 . 3) (13 . 5) (20 . 11)) 2410 0.3077 6.4737 ((19 . 13) (20 . 14) (21 . 15) (22 . 17)) 2422 0.3845 7.3624 ((13 . 1) (14 . 2) (15 . 4) (19 . 7) (21 . 10)) 2423 0.3758 11.3280 ((16 . 13) (19 . 14) (21 . 18) (22 . 19) (23 . 20)) 2440 0.3838 12.5690 ((10 . 6) (13 . 7) (15 . 9) (16 . 10) (22 . 17)) 2443 0.3076 9.6868 ((11 . 4) (14 . 6) (20 . 9) (21 . 10)) 2447 0.5220 7.6043 ((10 . 15) (11 . 16) (13 . 18) (14 . 19) (15 . 21) (16 . 22) (20 . 27)) 2462 0.3076 9.8924 ((13 . 3) (14 . 5) (19 . 7) (22 . 12)) 2510 0.3846 5.0901 ((10 . 17) (13 . 23) (14 . 24) (15 . 25) (16 . 26)) 2519 0.2853 11.3790 ((16 . 1) (19 . 2) (20 . 3) (21 . 4)) 2525 0.3845 6.7820 ((10 . 43) (13 . 45) (14 . 46) (15 . 47) (20 . 52)) 2533 0.3845 7.9396 ((13 . 4) (14 . 5) (15 . 6) (16 . 7) (21 . 11)) 2544 0.2975 9.2959 ((20 . 19) (21 . 20) (22 . 22) (23 . 23)) 2551 0.3077 7.0019 ((10 . 3) (14 . 4) (20 . 10) (22 . 12)) 2552 0.3077 4.8713 ((10 . 3) (11 . 4) (13 . 5) (14 . 6)) 2556 0.3846 5.4781 ((13 . 11) (14 . 17) (15 . 20) (16 . 21) (20 . 23)) 2557 0.3076 8.7618 ((16 . 1) (19 . 3) (20 . 5) (22 . 7)) 2561 0.3077 7.2348 ((10 . 1) (14 . 5) (15 . 6) (19 . 7)) 2595 0.3846 2.9685 ((13 . 1) (14 . 5) (15 . 6) (16 . 7) (18 . 14)) 2619 0.3077 5.3691 ((10 . 1) (13 . 3) (14 . 4) (15 . 5)) 2627 0.3077 6.6063 ((14 . 59) (15 . 60) (16 . 61) (19 . 65)) 2650 0.2554 9.2238 ((19 . 2) (20 . 4) (22 . 6) (23 . 7)) 2658 0.3076 10.3797 ((11 . 5) (14 . 8) (16 . 9) (19 . 12)) 2675 0.3076 9.2046 ((10 . 1) (14 . 2) (15 . 4) (18 . 9)) 2682 0.3845 7.1342 ((13 . 1) (14 . 2) (15 . 3) (16 . 4) (20 . 6)) 2696 0.3076 8.2947 ((19 . 31) (21 . 33) (22 . 35) (23 . 36)) 2731 0.3077 7.2716 ((10 . 1) (11 . 2) (13 . 5) (14 . 6)) 2733 0.3076 8.0250 ((13 . 2) (19 . 8) (20 . 9) (21 . 12)) 2753 0.3076 10.4667 ((14 . 5) (16 . 6) (18 . 7) (20 . 8)) 2755 0.3077 4.0807 ((10 . 3) (13 . 6) (14 . 7) (15 . 8)) 2773 0.3077 6.2416 ((15 . 2) (19 . 3) (20 . 4) (22 . 6)) 2783 0.1480 9.7981 ((10 . 1) (14 . 4) (15 . 6) (18 . 9)) 2804 0.3076 8.6635 ((16 . 26) (18 . 27) (19 . 29) (22 . 34)) 2821 0.3812 9.7490 ((10 . 2) (13 . 5) (15 . 7) (19 . 11) (20 . 12)) 2830 0.3846 4.7365 ((10 . 11) (13 . 13) (14 . 14) (15 . 15) (16 . 16)) 2834 0.3846 5.1145 ((10 . 9) (15 . 12) (16 . 13) (18 . 15) (19 . 16)) 2840 0.3077 5.0212 ((13 . 1) (14 . 3) (15 . 5) (19 . 8)) 2842 0.3846 5.4768 ((10 . 1) (13 . 4) (14 . 8) (15 . 9) (16 . 10)) 2867 0.3076 10.3866 ((10 . 2) (19 . 8) (20 . 10) (21 . 11)) 2879 0.3077 6.4413 ((13 . 51) (15 . 53) (16 . 55) (19 . 57)) 2886 0.3076 9.6916 ((10 . 30) (13 . 33) (15 . 37) (22 . 44)) 2929 0.3076 8.8150 ((13 . 36) (14 . 38) (15 . 39) (18 . 41)) 2940 0.3077 7.5998 ((10 . 3) (13 . 4) (15 . 6) (21 . 10)) 2947 0.3077 4.9572 ((10 . 2) (13 . 4) (14 . 5) (15 . 6)) 2966 0.3076 9.2057 ((14 . 2) (15 . 3) (22 . 12) (23 . 13)) 2990 0.3077 5.3502 ((16 . 10) (19 . 12) (20 . 13) (22 . 15)) 2999 0.3077 3.4690 ((13 . 2) (14 . 3) (15 . 4) (16 . 5)) 3014 0.3075 10.9109 ((16 . 8) (18 . 9) (20 . 10) (21 . 12)) 3019 0.3076 10.4210 ((16 . 18) (19 . 20) (20 . 21) (21 . 24)) 3034 0.4615 5.4939 ((10 . 1) (11 . 6) (13 . 7) (14 . 8) (15 . 9) (16 . 11)) 3041 0.3846 6.5870 ((11 . 13) (13 . 14) (14 . 15) (15 . 16) (16 . 17)) 3055 0.3075 11.1199 ((8 . 11) (13 . 15) (15 . 17) (22 . 27)) 3063 0.3076 8.1483 ((10 . 33) (11 . 34) (13 . 35) (15 . 37)) 3070 0.3076 9.6048 ((16 . 30) (19 . 33) (20 . 34) (22 . 36)) 3084 0.3846 4.5001 ((10 . 13) (13 . 15) (14 . 16) (15 . 17) (16 . 18)) 3102 0.3075 11.7819 ((10 . 65) (15 . 68) (19 . 71) (22 . 75)) 3103 0.3077 5.4749 ((13 . 1) (15 . 3) (19 . 5) (22 . 11)) 3114 0.1965 9.0089 ((8 . 21) (10 . 23) (14 . 27) (19 . 24) (23 . 29)) 3120 0.3077 4.3899 ((11 . 20) (13 . 22) (14 . 24) (15 . 25)) 3127 0.3296 6.1530 ((11 . 5) (13 . 6) (14 . 9) (15 . 11) (16 . 12)) 3147 0.3077 7.8817 ((10 . 11) (13 . 13) (15 . 16) (19 . 19)) 3176 0.2553 10.6050 ((16 . 22) (18 . 23) (22 . 27) (23 . 29)) 3187 0.2854 6.5249 ((10 . 4) (13 . 6) (15 . 7) (16 . 8)) 3190 0.4615 4.3072 ((10 . 1) (11 . 4) (13 . 6) (14 . 7) (15 . 9) (16 . 10)) 3197 0.3846 4.7688 ((10 . 10) (13 . 12) (14 . 15) (15 . 16) (16 . 17)) 3200 0.3846 5.9843 ((11 . 7) (15 . 11) (18 . 12) (19 . 13) (20 . 14)) 3202 0.3074 12.6865 ((13 . 9) (14 . 10) (20 . 15) (23 . 19)) 3212 0.3077 6.7549 ((11 . 1) (15 . 5) (16 . 7) (19 . 9)) 3222 0.3077 5.5375 ((15 . 1) (16 . 2) (19 . 4) (23 . 10)) 3256 0.3076 9.9278 ((10 . 19) (15 . 25) (16 . 27) (19 . 28)) 3261 0.3075 12.2365 ((10 . 7) (13 . 9) (14 . 11) (16 . 12)) 3286 0.3077 7.4849 ((15 . 4) (19 . 7) (20 . 8) (21 . 10)) 3289 0.3077 6.6164 ((10 . 27) (11 . 28) (13 . 29) (15 . 31)) 3300 0.3076 9.8394 ((11 . 3) (13 . 5) (14 . 9) (20 . 12)) 3310 0.2852 13.9264 ((11 . 1) (14 . 2) (18 . 5) (20 . 6)) 3322 0.3077 2.6840 ((13 . 1) (14 . 2) (15 . 3) (16 . 4)) 3334 0.3845 7.7985 ((10 . 1) (19 . 3) (20 . 12) (21 . 13) (22 . 14)) 3339 0.3846 4.3437 ((10 . 11) (13 . 15) (14 . 16) (15 . 17) (16 . 18)) 3358 0.3845 7.5041 ((8 . 2) (13 . 7) (15 . 8) (16 . 9) (23 . 16)) 3362 0.4615 4.8514 ((10 . 4) (13 . 6) (14 . 7) (15 . 8) (18 . 9) (19 . 10)) 3366 0.3076 8.0255 ((13 . 22) (14 . 25) (15 . 26) (19 . 27)) 3391 0.3077 2.5144 ((13 . 4) (14 . 5) (15 . 6) (16 . 7)) 3410 0.3845 7.7693 ((11 . 20) (13 . 21) (14 . 23) (15 . 24) (18 . 27)) 3415 0.1632 15.1481 ((14 . 18) (18 . 21) (20 . 22) (21 . 23)) 3446 0.3025 9.8971 ((10 . 5) (16 . 10) (20 . 12) (21 . 13)) 3470 0.2553 11.1664 ((14 . 12) (16 . 13) (20 . 16) (21 . 17)) 3481 0.3077 6.8585 ((10 . 8) (13 . 10) (14 . 11) (15 . 12)) 3495 0.3075 12.3239 ((10 . 1) (13 . 3) (18 . 9) (20 . 10)) 3496 0.3077 6.2177 ((10 . 19) (14 . 21) (15 . 23) (19 . 29)) 3533 0.0997 8.4894 ((10 . 1) (13 . 3) (14 . 6) (15 . 7)) 3537 0.3077 6.6947 ((13 . 7) (14 . 8) (15 . 9) (20 . 11)) 3538 0.3077 7.6808 ((10 . 15) (14 . 17) (15 . 18) (22 . 23)) 3548 0.3077 5.9370 ((13 . 3) (15 . 5) (19 . 9) (21 . 11)) 3549 0.3077 4.7896 ((10 . 1) (14 . 4) (18 . 7) (19 . 8)) 3561 0.3846 3.7126 ((13 . 20) (14 . 21) (15 . 22) (16 . 23) (18 . 25)) 3570 0.3077 5.8301 ((10 . 3) (13 . 4) (15 . 8) (16 . 9)) 3585 0.3077 6.2753 ((10 . 12) (13 . 14) (14 . 15) (15 . 16)) 3613 0.1919 11.3867 ((11 . 31) (14 . 32) (18 . 38) (20 . 39)) 3626 0.2853 10.9811 ((16 . 1) (19 . 3) (22 . 8) (23 . 11)) 3628 0.3846 4.1534 ((10 . 6) (13 . 10) (14 . 11) (15 . 12) (16 . 13)) 3651 0.3077 2.8176 ((13 . 1) (14 . 2) (15 . 3) (16 . 4)) 3658 0.3077 5.8793 ((14 . 2) (15 . 5) (19 . 8) (20 . 9)) 3659 0.3076 9.6840 ((18 . 3) (19 . 5) (22 . 9) (23 . 10)) 3661 0.3077 5.9946 ((15 . 12) (16 . 13) (20 . 18) (21 . 21)) 3663 0.2854 8.0031 ((10 . 2) (11 . 3) (14 . 6) (16 . 7)) 3688 0.3075 11.5016 ((8 . 27) (10 . 29) (13 . 30) (14 . 33)) 3697 0.3076 10.4735 ((10 . 1) (13 . 4) (19 . 7) (20 . 8)) 3703 0.2973 12.4595 ((10 . 7) (13 . 9) (14 . 10) (16 . 12)) 3732 0.3077 7.1920 ((13 . 2) (14 . 4) (19 . 7) (20 . 8)) 3733 0.3845 7.7328 ((11 . 2) (13 . 3) (14 . 4) (15 . 6) (16 . 7)) 3740 0.2975 9.9830 ((13 . 2) (15 . 4) (20 . 8) (22 . 9)) 3741 0.3077 7.2860 ((8 . 23) (10 . 25) (13 . 27) (15 . 32)) 3776 0.3077 5.1929 ((10 . 17) (11 . 18) (13 . 21) (15 . 24)) 3778 0.3076 8.6386 ((8 . 2) (13 . 4) (14 . 5) (15 . 6)) 3787 0.3845 7.1786 ((11 . 28) (13 . 29) (14 . 32) (15 . 33) (16 . 34)) 3790 0.3077 7.0064 ((10 . 15) (14 . 17) (19 . 22) (22 . 26)) 3807 0.3077 4.2841 ((13 . 47) (14 . 49) (15 . 50) (18 . 51)) 3817 0.3077 4.8578 ((10 . 1) (14 . 3) (15 . 5) (16 . 6)) 3818 0.3077 5.3506 ((13 . 20) (14 . 21) (15 . 23) (16 . 24)) 3829 0.3077 5.8242 ((19 . 2) (20 . 3) (21 . 4) (22 . 5)) 3831 0.3077 6.3275 ((18 . 1) (19 . 2) (21 . 4) (22 . 5)) 3847 0.3077 6.9095 ((10 . 9) (11 . 10) (16 . 15) (19 . 17)) 3849 0.3077 5.2243 ((10 . 1) (13 . 2) (18 . 7) (19 . 8)) 3853 0.6025 7.3549 ((8 . 6) (10 . 8) (13 . 12) (14 . 13) (15 . 14) (16 . 16) (20 . 19) (21 . 20)) 3870 0.3844 9.1517 ((11 . 4) (13 . 5) (14 . 7) (15 . 8) (20 . 11)) 3933 0.3076 9.3564 ((13 . 3) (15 . 6) (22 . 17) (23 . 18)) 3938 0.3077 7.7635 ((13 . 4) (14 . 5) (15 . 9) (16 . 12)) 3942 0.3076 9.3519 ((10 . 2) (11 . 4) (14 . 5) (15 . 9)) 3968 0.3845 7.5164 ((11 . 4) (13 . 5) (14 . 8) (15 . 9) (16 . 10)) 3986 0.3077 7.4271 ((13 . 15) (14 . 16) (16 . 19) (22 . 27)) 3990 0.4496 4.2033 ((11 . 17) (13 . 18) (14 . 19) (15 . 20) (19 . 24) (22 . 25)) 4005 0.3077 5.9855 ((10 . 27) (11 . 28) (14 . 31) (19 . 38)) 4009 0.3077 4.2825 ((16 . 3) (18 . 6) (19 . 7) (20 . 8)) 4019 0.3077 7.8214 ((14 . 41) (15 . 42) (19 . 45) (22 . 47)) 4034 0.3075 10.8724 ((11 . 1) (14 . 3) (15 . 5) (18 . 7)) 4037 0.3843 9.7012 ((10 . 1) (13 . 3) (14 . 4) (16 . 5) (20 . 8)) 4062 0.3076 9.1337 ((11 . 39) (16 . 44) (20 . 47) (22 . 50)) 4067 0.3846 4.6655 ((10 . 14) (13 . 20) (14 . 21) (15 . 22) (16 . 23)) 4077 0.2553 10.7977 ((11 . 4) (18 . 8) (20 . 9) (21 . 12)) 4082 0.2975 7.6526 ((16 . 1) (20 . 4) (22 . 6) (23 . 7)) 4087 0.3295 7.4626 ((10 . 1) (13 . 5) (15 . 8) (18 . 9) (20 . 10)) 4112 0.3077 7.3389 ((10 . 1) (13 . 3) (15 . 6) (16 . 8)) 4115 0.3699 3.8090 ((13 . 13) (14 . 16) (15 . 17) (16 . 18) (18 . 20)) 4134 0.2975 9.9215 ((14 . 27) (16 . 28) (20 . 31) (21 . 32)) 4140 0.3076 7.9920 ((10 . 21) (15 . 23) (16 . 25) (18 . 26)) 4151 0.3846 4.8513 ((13 . 3) (14 . 4) (15 . 5) (16 . 6) (21 . 11)) 4177 0.2554 8.3758 ((19 . 1) (20 . 3) (21 . 4) (23 . 7)) 4190 0.3794 9.2432 ((16 . 2) (19 . 3) (20 . 6) (21 . 7) (22 . 8)) 4192 1.0000 0.0000 ((8 . 8) (10 . 10) (11 . 11) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (22 . 22) (23 . 23)) 4194 0.3075 11.6743 ((13 . 1) (14 . 2) (15 . 3) (21 . 8)) 4195 0.3074 12.8656 ((11 . 5) (15 . 6) (18 . 8) (21 . 10)) 4204 0.3846 5.6325 ((10 . 5) (13 . 9) (14 . 10) (15 . 11) (16 . 12)) 4209 0.3077 6.1024 ((10 . 1) (13 . 4) (15 . 5) (19 . 10)) 4210 0.3077 3.7495 ((13 . 6) (14 . 7) (15 . 8) (16 . 9)) 4216 0.2283 13.8436 ((11 . 10) (14 . 12) (18 . 14) (20 . 16)) 4226 0.3077 4.2824 ((11 . 20) (13 . 22) (15 . 24) (16 . 25)) 4236 0.3075 11.6580 ((10 . 6) (13 . 10) (14 . 11) (16 . 13)) 4246 0.2854 9.3010 ((13 . 3) (15 . 5) (19 . 8) (20 . 10)) 4254 0.3845 6.7703 ((11 . 10) (13 . 11) (14 . 14) (15 . 15) (16 . 16)) 4255 0.3077 5.0840 ((11 . 22) (13 . 24) (14 . 25) (15 . 26)) 4257 0.3077 3.2380 ((13 . 1) (14 . 2) (15 . 3) (22 . 10)) 4261 0.1919 8.2072 ((16 . 10) (18 . 11) (20 . 13) (21 . 14)) 4265 0.4615 5.6665 ((10 . 21) (13 . 23) (14 . 25) (15 . 26) (16 . 27) (22 . 29)) 4266 0.3846 5.7346 ((10 . 2) (13 . 4) (14 . 7) (15 . 8) (18 . 14)) 4274 0.3846 4.8184 ((13 . 36) (14 . 37) (15 . 38) (16 . 39) (22 . 40)) 4275 0.3077 7.4447 ((10 . 23) (11 . 24) (13 . 25) (16 . 29)) 4281 0.3077 5.4836 ((10 . 3) (13 . 8) (14 . 9) (15 . 10)) 4284 0.3076 10.2434 ((14 . 2) (15 . 3) (19 . 6) (20 . 7)) 4299 0.3830 7.8728 ((10 . 2) (11 . 7) (15 . 9) (19 . 11) (21 . 13) (22 . 14)) 4301 0.3077 7.5662 ((10 . 1) (13 . 3) (15 . 6) (19 . 10)) 4326 0.3077 4.3806 ((11 . 16) (13 . 17) (14 . 18) (15 . 19)) 4332 0.3296 4.6247 ((11 . 1) (13 . 4) (14 . 5) (15 . 6) (18 . 8)) 4338 0.3076 10.4145 ((8 . 4) (13 . 6) (15 . 8) (16 . 9)) 4352 0.2972 14.1420 ((10 . 9) (14 . 12) (20 . 15) (21 . 16)) 4359 0.3077 6.1646 ((8 . 1) (10 . 4) (13 . 6) (15 . 8)) 4380 0.3075 10.8101 ((10 . 18) (16 . 27) (19 . 30) (22 . 36)) 4383 0.3076 7.9861 ((10 . 15) (13 . 17) (15 . 19) (19 . 22)) 4386 0.3077 7.5881 ((10 . 16) (14 . 17) (18 . 20) (19 . 21)) 4388 0.3077 6.4699 ((10 . 1) (15 . 3) (16 . 4) (19 . 6)) 4398 0.3846 4.6308 ((10 . 4) (13 . 8) (14 . 9) (15 . 10) (16 . 11)) 4405 0.3077 6.5073 ((14 . 17) (19 . 19) (20 . 20) (22 . 25)) 4408 0.3076 8.2904 ((13 . 4) (15 . 6) (20 . 10) (22 . 14)) 4415 0.3077 5.8230 ((10 . 1) (13 . 3) (19 . 9) (20 . 10)) 4419 0.3076 9.9938 ((20 . 1) (21 . 2) (22 . 3) (23 . 6)) 4426 0.3077 5.6869 ((11 . 3) (13 . 4) (14 . 5) (15 . 6)) 4470 0.4419 5.2864 ((8 . 10) (11 . 11) (13 . 12) (14 . 13) (15 . 14) (16 . 15)) 4491 0.3296 5.8323 ((10 . 1) (11 . 4) (13 . 5) (15 . 6) (19 . 8)) 4492 0.3845 6.9369 ((10 . 16) (13 . 18) (14 . 19) (15 . 21) (16 . 22)) 4495 0.3846 4.4353 ((13 . 6) (14 . 7) (15 . 8) (16 . 9) (18 . 11)) 4497 0.3077 6.3509 ((13 . 18) (14 . 20) (19 . 25) (22 . 28)) 4502 0.3846 4.7425 ((10 . 6) (13 . 11) (14 . 13) (15 . 14) (16 . 16)) 4503 0.3077 7.0774 ((15 . 1) (18 . 2) (19 . 4) (22 . 9)) 4504 0.3846 5.0169 ((10 . 4) (13 . 15) (14 . 16) (15 . 17) (16 . 18)) 4505 0.3846 3.7438 ((11 . 27) (13 . 28) (14 . 29) (15 . 30) (16 . 31)) 4516 0.5382 6.3962 ((10 . 28) (11 . 29) (13 . 30) (14 . 31) (15 . 32) (16 . 33) (19 . 36)) 4527 0.3076 8.6909 ((10 . 1) (11 . 2) (15 . 6) (19 . 8)) 4538 0.2974 10.9285 ((10 . 32) (13 . 34) (14 . 36) (16 . 39)) 4551 0.2554 6.9271 ((10 . 2) (13 . 4) (14 . 7) (15 . 8)) 4560 0.4615 5.0126 ((10 . 1) (13 . 6) (14 . 10) (15 . 11) (16 . 12) (22 . 13)) 4561 0.4614 6.5615 ((10 . 1) (13 . 5) (14 . 8) (15 . 9) (16 . 11) (22 . 12)) 4562 0.3846 5.9974 ((11 . 21) (13 . 25) (14 . 26) (15 . 27) (16 . 28)) 4563 0.3077 6.3610 ((10 . 28) (14 . 30) (15 . 31) (16 . 33)) 4577 0.3075 11.1369 ((8 . 42) (10 . 43) (22 . 55) (23 . 58)) 4579 0.3077 7.8401 ((11 . 7) (14 . 8) (18 . 13) (21 . 16)) 4588 0.3845 8.1185 ((10 . 1) (15 . 3) (16 . 4) (21 . 12) (22 . 13)) 4589 0.3846 6.2377 ((10 . 18) (14 . 20) (19 . 23) (20 . 24) (22 . 30)) 4607 0.3076 10.7845 ((11 . 16) (16 . 19) (18 . 20) (20 . 21)) 4621 0.2854 7.6007 ((10 . 4) (11 . 5) (16 . 10) (19 . 11)) 4630 0.3077 6.8491 ((13 . 26) (15 . 29) (19 . 33) (21 . 37)) 4648 0.2854 6.6611 ((19 . 2) (20 . 3) (21 . 7) (22 . 8)) 4653 0.3075 10.8369 ((13 . 1) (14 . 2) (19 . 6) (22 . 9)) 4668 0.3846 4.8845 ((10 . 7) (11 . 8) (13 . 9) (14 . 10) (15 . 11)) 4669 0.3077 3.1497 ((11 . 18) (13 . 19) (15 . 21) (16 . 22)) 4671 0.3076 8.0163 ((13 . 1) (15 . 4) (22 . 8) (23 . 11)) 4674 0.3076 10.2438 ((13 . 2) (14 . 4) (16 . 5) (19 . 8)) 4678 0.3077 6.7845 ((13 . 6) (14 . 7) (19 . 11) (22 . 14)) 4713 0.3076 9.0057 ((10 . 5) (13 . 7) (15 . 9) (18 . 11)) 4715 0.3077 6.2214 ((11 . 2) (15 . 6) (20 . 10) (21 . 13)) 4716 0.2974 10.9091 ((14 . 5) (16 . 6) (20 . 9) (21 . 10)) 4731 0.3074 12.4678 ((14 . 13) (16 . 15) (18 . 17) (21 . 19)) 4764 0.2974 10.7705 ((14 . 6) (16 . 8) (20 . 10) (21 . 11)) 4783 0.2853 11.8162 ((11 . 6) (16 . 8) (18 . 9) (21 . 12)) 4817 0.2554 10.0458 ((11 . 7) (14 . 9) (16 . 12) (18 . 13)) 4857 0.3295 8.1728 ((13 . 3) (14 . 4) (15 . 13) (18 . 14) (21 . 16)) 4886 0.4614 6.9070 ((10 . 1) (13 . 19) (14 . 20) (15 . 22) (19 . 24) (21 . 28)) 4888 0.3076 8.1926 ((18 . 2) (20 . 5) (21 . 6) (23 . 9)) 4889 0.3076 9.2078 ((10 . 12) (14 . 19) (18 . 21) (20 . 24)) 4907 0.3077 6.7603 ((15 . 1) (18 . 2) (19 . 3) (22 . 8)) 4914 0.2854 9.6207 ((15 . 1) (16 . 2) (18 . 3) (19 . 5)) 4921 0.3076 9.7504 ((10 . 9) (13 . 12) (14 . 13) (15 . 14)) 4932 0.3077 5.0066 ((13 . 6) (14 . 7) (15 . 8) (18 . 9)) 4940 0.3077 4.3263 ((10 . 2) (13 . 3) (14 . 5) (15 . 6)) 4944 0.3258 6.4354 ((10 . 14) (13 . 15) (14 . 10) (15 . 11) (16 . 12) (19 . 13)) 4961 0.3843 10.3241 ((8 . 1) (11 . 4) (13 . 6) (20 . 13) (22 . 15)) 4978 0.4615 5.3723 ((10 . 18) (11 . 27) (13 . 28) (14 . 29) (15 . 30) (16 . 31)) 4982 0.3076 10.7014 ((14 . 11) (15 . 12) (16 . 13) (21 . 19)) 4992 0.3077 4.2934 ((13 . 3) (14 . 4) (15 . 6) (16 . 7)) 4998 0.4026 7.2676 ((10 . 1) (11 . 21) (13 . 23) (14 . 24) (15 . 25) (21 . 28)) 5000 0.2974 12.1079 ((11 . 30) (14 . 31) (18 . 33) (20 . 34)) 5029 0.3077 4.6639 ((13 . 6) (14 . 7) (15 . 8) (16 . 9)) 5038 0.3077 7.1870 ((10 . 9) (13 . 10) (15 . 14) (19 . 17)) 5039 0.3846 6.2613 ((10 . 37) (13 . 39) (14 . 40) (15 . 41) (16 . 43)) 5044 0.3077 6.5512 ((10 . 3) (15 . 9) (16 . 11) (19 . 14)) 5053 0.3076 10.4983 ((15 . 12) (16 . 13) (18 . 14) (20 . 17)) 5065 0.3077 4.8312 ((14 . 1) (15 . 2) (18 . 5) (19 . 7)) 5068 0.3845 7.8108 ((11 . 6) (13 . 7) (14 . 9) (15 . 10) (18 . 14)) 5069 0.3845 7.1109 ((11 . 6) (13 . 9) (14 . 14) (15 . 15) (21 . 20)) 5073 0.3077 4.1752 ((10 . 36) (11 . 37) (13 . 39) (16 . 41)) 5080 0.3073 14.0805 ((14 . 1) (15 . 3) (20 . 6) (21 . 8)) 5083 0.2854 10.3703 ((19 . 1) (21 . 4) (22 . 6) (23 . 9)) 5092 0.2854 10.6514 ((14 . 8) (16 . 9) (18 . 10) (20 . 11)) 5101 0.3845 7.8206 ((13 . 1) (14 . 2) (15 . 3) (16 . 4) (21 . 8)) 5103 0.4615 5.0755 ((10 . 13) (13 . 15) (14 . 16) (15 . 17) (16 . 18) (22 . 19)) 5121 0.3076 9.6172 ((14 . 17) (18 . 22) (22 . 25) (23 . 26)) 5132 0.3846 6.0301 ((11 . 17) (13 . 18) (14 . 19) (15 . 20) (20 . 24)) 5134 0.3077 5.0484 ((13 . 3) (14 . 5) (15 . 6) (19 . 10)) 5145 0.3077 3.9853 ((13 . 3) (14 . 4) (16 . 7) (18 . 9)) 5167 0.4615 5.1163 ((10 . 1) (11 . 7) (13 . 9) (14 . 10) (15 . 12) (16 . 13)) 5176 0.3077 7.6469 ((10 . 84) (11 . 85) (13 . 87) (15 . 88)) 5192 0.3846 4.8934 ((10 . 1) (13 . 3) (14 . 4) (15 . 5) (16 . 6)) 5198 0.4615 5.2307 ((10 . 21) (13 . 24) (14 . 25) (15 . 26) (19 . 30) (22 . 32)) 5199 0.2850 15.9525 ((16 . 1) (18 . 2) (19 . 4) (23 . 8)) 5209 0.0997 7.6449 ((10 . 3) (13 . 4) (14 . 6) (15 . 9)) 5212 0.3024 11.8920 ((14 . 15) (20 . 18) (21 . 20) (23 . 21)) 5215 0.3077 7.3319 ((15 . 12) (16 . 13) (19 . 15) (20 . 17)) 5223 0.4538 6.2457 ((10 . 8) (13 . 10) (14 . 11) (15 . 12) (16 . 14) (20 . 18)) 5231 0.3295 7.8834 ((13 . 8) (18 . 9) (19 . 13) (21 . 15) (22 . 16)) 5266 0.3846 4.5290 ((10 . 2) (13 . 8) (14 . 9) (15 . 10) (16 . 11)) 5278 0.3075 12.1313 ((11 . 1) (14 . 3) (15 . 5) (19 . 8)) 5285 0.2854 7.5970 ((11 . 1) (14 . 4) (16 . 5) (18 . 6)) 5307 0.3845 7.1831 ((13 . 51) (14 . 52) (15 . 53) (16 . 54) (18 . 56)) 5318 0.3077 4.2735 ((14 . 7) (15 . 8) (16 . 9) (18 . 12)) 5323 0.3076 10.7177 ((11 . 8) (13 . 10) (20 . 16) (21 . 17)) 5324 0.3846 6.4977 ((11 . 9) (13 . 10) (14 . 11) (15 . 12) (16 . 13)) 5344 0.3077 7.5846 ((10 . 1) (13 . 3) (16 . 6) (19 . 8)) 5345 0.3076 9.9991 ((8 . 7) (13 . 12) (15 . 14) (20 . 20)) 5368 0.3077 6.8766 ((10 . 29) (13 . 32) (21 . 40) (23 . 43)) 5378 0.3077 4.9360 ((10 . 4) (11 . 5) (13 . 6) (15 . 7)) 5411 0.3076 8.2549 ((18 . 2) (19 . 3) (20 . 5) (22 . 8)) 5414 0.3076 8.3693 ((10 . 14) (14 . 17) (15 . 19) (19 . 22)) 5418 0.3077 6.7685 ((10 . 1) (13 . 3) (14 . 4) (19 . 9)) 5433 0.3076 9.3039 ((13 . 16) (15 . 20) (18 . 24) (20 . 25)) 5442 0.1633 11.2182 ((14 . 31) (18 . 33) (20 . 35) (21 . 36)) 5479 0.3077 5.2059 ((10 . 43) (13 . 44) (19 . 50) (23 . 54)) 5487 0.3846 4.5582 ((13 . 7) (14 . 8) (15 . 9) (16 . 10) (18 . 12)) 5489 0.3698 8.1159 ((10 . 2) (11 . 4) (19 . 5) (22 . 13) (23 . 17)) 5500 0.3699 4.1539 ((13 . 1) (14 . 10) (15 . 12) (16 . 13) (18 . 15)) 5501 0.3077 6.8222 ((11 . 21) (16 . 23) (20 . 28) (21 . 29)) 5525 0.3074 13.3640 ((10 . 7) (11 . 9) (16 . 12) (21 . 14)) 5535 0.3077 7.4601 ((15 . 2) (16 . 5) (19 . 8) (22 . 12)) 5540 0.3077 7.5369 ((15 . 1) (19 . 4) (20 . 5) (23 . 10)) 5557 0.3077 3.6482 ((13 . 4) (14 . 5) (15 . 6) (16 . 7)) 5560 0.3842 10.3605 ((10 . 17) (15 . 20) (16 . 21) (19 . 23) (20 . 24)) 5562 0.4615 5.7366 ((10 . 7) (11 . 9) (13 . 11) (14 . 13) (15 . 14) (16 . 15)) 5567 0.5909 3.9468 ((10 . 8) (11 . 10) (13 . 11) (14 . 14) (15 . 15) (16 . 16) (19 . 18) (22 . 19)) 5594 0.3846 4.6267 ((10 . 4) (13 . 6) (14 . 7) (15 . 9) (16 . 10)) 5600 0.3076 8.8540 ((14 . 1) (15 . 3) (19 . 6) (20 . 7)) 5601 0.3077 5.3069 ((10 . 7) (13 . 8) (14 . 9) (16 . 11)) 5638 0.3077 5.4342 ((10 . 7) (13 . 8) (14 . 12) (15 . 13)) 5640 0.3077 7.3622 ((10 . 1) (13 . 4) (15 . 6) (23 . 16)) 5656 0.3077 6.9326 ((14 . 20) (15 . 21) (20 . 26) (21 . 28)) 5689 0.3075 11.0497 ((11 . 4) (14 . 8) (20 . 12) (21 . 13)) 5701 0.3077 7.6835 ((11 . 7) (13 . 8) (14 . 10) (15 . 11)) 5703 0.2975 8.7001 ((10 . 2) (11 . 3) (13 . 5) (19 . 8)) 5711 0.3076 9.2272 ((15 . 33) (19 . 37) (22 . 43) (23 . 44)) 5713 0.2852 13.5471 ((8 . 1) (10 . 2) (19 . 11) (23 . 19)) 5718 0.3076 10.7199 ((16 . 15) (19 . 17) (21 . 22) (22 . 23)) 5731 0.3077 4.4300 ((13 . 3) (15 . 7) (18 . 8) (19 . 9)) 5746 0.3077 7.1147 ((14 . 4) (15 . 6) (20 . 12) (22 . 14)) 5749 0.3077 7.3397 ((20 . 1) (21 . 2) (22 . 3) (23 . 4)) 5761 0.3077 4.8449 ((10 . 28) (11 . 29) (13 . 31) (19 . 36)) 5770 0.3576 7.0962 ((10 . 6) (11 . 7) (13 . 8) (15 . 15) (18 . 18) (21 . 22)) 5771 0.3846 5.7281 ((13 . 1) (14 . 16) (15 . 17) (16 . 19) (20 . 22)) 5782 0.3845 8.0007 ((11 . 17) (13 . 18) (15 . 22) (16 . 23) (22 . 30)) 5794 0.3077 7.5394 ((13 . 16) (15 . 18) (20 . 22) (22 . 24)) 5795 0.3843 9.8268 ((8 . 1) (15 . 9) (18 . 11) (21 . 14) (23 . 16)) 5809 0.4615 4.7923 ((13 . 1) (14 . 2) (15 . 3) (16 . 4) (21 . 8) (22 . 9)) 5822 0.3077 7.6309 ((15 . 1) (19 . 4) (20 . 5) (22 . 8)) 5827 0.3846 5.2149 ((10 . 5) (13 . 8) (15 . 11) (16 . 12) (22 . 14)) 5830 0.3076 9.0008 ((8 . 1) (10 . 3) (15 . 8) (21 . 15)) 5847 0.3076 8.4211 ((10 . 3) (15 . 9) (19 . 12) (22 . 17)) 5861 0.3077 7.4561 ((10 . 12) (13 . 15) (19 . 21) (22 . 25)) 5865 0.3077 4.9005 ((13 . 5) (14 . 6) (15 . 7) (18 . 8)) 5878 0.3076 9.7984 ((10 . 25) (13 . 28) (15 . 30) (16 . 31)) 5888 0.3077 6.3746 ((10 . 9) (13 . 11) (15 . 13) (23 . 22)) 5896 0.3076 9.7087 ((15 . 26) (16 . 27) (19 . 29) (20 . 30)) 5904 0.3077 2.0930 ((13 . 1) (14 . 8) (15 . 9) (16 . 10)) 5913 0.3846 5.9601 ((11 . 4) (13 . 7) (14 . 12) (15 . 13) (16 . 14)) 5930 0.3077 4.9544 ((13 . 2) (14 . 3) (15 . 4) (16 . 5)) 5939 0.5381 6.8125 ((11 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 7) (19 . 9) (22 . 14)) 5945 0.3846 4.0421 ((13 . 2) (14 . 10) (15 . 11) (16 . 12) (19 . 14)) 5949 0.3077 5.4765 ((11 . 2) (13 . 4) (16 . 8) (22 . 14)) 5955 0.3846 4.4620 ((11 . 6) (13 . 7) (14 . 8) (15 . 9) (16 . 10)) 5967 0.3077 5.9353 ((13 . 1) (14 . 2) (15 . 3) (18 . 6)) 5977 0.3846 5.6720 ((13 . 1) (14 . 2) (15 . 3) (16 . 4) (22 . 5)) 6000 0.3077 4.5305 ((13 . 17) (15 . 21) (21 . 27) (22 . 28)) 6011 0.3077 6.9871 ((13 . 1) (15 . 3) (22 . 11) (23 . 13)) 6028 0.3077 4.3677 ((10 . 1) (11 . 4) (18 . 8) (19 . 9)) 6029 0.3698 7.1740 ((8 . 24) (18 . 28) (21 . 32) (22 . 33) (23 . 35)) 6041 0.3077 6.7388 ((10 . 11) (13 . 13) (14 . 14) (15 . 15)) 6046 0.3077 6.7344 ((11 . 1) (13 . 3) (15 . 6) (16 . 7)) 6061 0.3077 6.5776 ((11 . 12) (19 . 17) (20 . 18) (22 . 21)) 6074 0.3846 5.2876 ((10 . 4) (13 . 6) (14 . 7) (15 . 8) (16 . 10)) 6075 0.3077 5.2931 ((13 . 20) (14 . 23) (15 . 24) (20 . 29)) 6079 0.3296 5.7997 ((10 . 8) (13 . 9) (14 . 10) (15 . 11) (18 . 15)) 6087 0.3077 5.3996 ((11 . 4) (15 . 8) (16 . 9) (18 . 11)) 6089 0.3077 3.0740 ((11 . 4) (13 . 5) (14 . 6) (16 . 8)) 6094 0.2975 7.5756 ((13 . 3) (16 . 6) (18 . 8) (22 . 14)) 6099 0.3077 6.9507 ((10 . 13) (19 . 18) (22 . 22) (23 . 25)) 6123 0.2283 11.4431 ((15 . 1) (19 . 5) (20 . 6) (21 . 7)) 6142 0.3077 5.5886 ((10 . 8) (19 . 11) (22 . 12) (23 . 17)) 6148 0.3846 4.2381 ((10 . 32) (13 . 34) (14 . 35) (15 . 36) (19 . 37)) 6167 0.3077 7.5638 ((10 . 1) (13 . 4) (15 . 7) (19 . 12)) 6169 0.1479 10.9116 ((11 . 9) (14 . 11) (16 . 12) (20 . 14)) 6173 0.3077 7.6029 ((10 . 3) (13 . 5) (15 . 8) (21 . 16)) 6191 0.3076 10.5073 ((14 . 1) (15 . 3) (19 . 4) (20 . 5)) 6192 0.3077 7.7554 ((8 . 3) (16 . 9) (19 . 11) (20 . 15)) 6215 0.3076 9.1023 ((10 . 17) (13 . 19) (16 . 23) (19 . 24)) 6225 0.3077 5.5144 ((8 . 8) (10 . 10) (14 . 11) (15 . 12)) 6228 0.3845 7.6604 ((13 . 3) (14 . 4) (15 . 5) (16 . 6) (21 . 10)) 6234 0.3077 6.1893 ((10 . 6) (13 . 9) (15 . 13) (19 . 15)) 6238 0.3845 7.3659 ((10 . 3) (13 . 5) (15 . 8) (19 . 9) (20 . 10)) 6243 0.3846 4.8216 ((10 . 6) (13 . 8) (14 . 9) (15 . 10) (16 . 11)) 6251 0.3846 6.4426 ((13 . 8) (14 . 9) (15 . 10) (16 . 11) (22 . 17)) 6258 0.3076 8.3437 ((8 . 4) (13 . 9) (16 . 11) (20 . 14)) 6261 0.3846 4.5522 ((13 . 1) (14 . 7) (15 . 9) (16 . 10) (22 . 19)) 6266 0.3846 5.0342 ((10 . 3) (13 . 6) (14 . 7) (15 . 8) (20 . 13)) 6270 0.3077 5.0445 ((13 . 15) (14 . 16) (15 . 17) (19 . 20)) 6271 0.3077 7.0565 ((15 . 4) (19 . 8) (20 . 9) (22 . 11)) 6273 0.3076 8.8941 ((10 . 2) (15 . 6) (19 . 7) (22 . 13)) 6294 0.3846 3.5034 ((13 . 2) (14 . 21) (15 . 23) (16 . 24) (22 . 27)) 6306 0.3077 7.6737 ((15 . 15) (19 . 17) (20 . 18) (22 . 21)) 6309 0.3077 5.2497 ((10 . 17) (14 . 19) (15 . 20) (19 . 25)) 6326 0.2975 9.2941 ((8 . 1) (15 . 5) (19 . 9) (23 . 13)) 6329 0.2974 10.7194 ((14 . 12) (16 . 14) (18 . 15) (20 . 16)) 6344 0.3077 4.7348 ((13 . 1) (14 . 2) (15 . 3) (21 . 9)) 6345 0.3076 8.8736 ((14 . 2) (15 . 4) (19 . 6) (21 . 8)) 6348 0.3077 1.5320 ((13 . 1) (14 . 8) (15 . 9) (16 . 10)) 6355 0.3076 8.3789 ((11 . 3) (15 . 7) (19 . 11) (20 . 13)) 6356 0.3845 7.2820 ((11 . 5) (13 . 6) (14 . 8) (15 . 9) (16 . 10)) 6369 0.4579 6.5340 ((10 . 7) (13 . 22) (14 . 23) (15 . 24) (16 . 25) (21 . 37)) 6376 0.3077 5.2100 ((10 . 17) (13 . 19) (14 . 20) (15 . 21)) 6384 0.3072 15.0256 ((11 . 1) (14 . 3) (18 . 5) (21 . 7)) 6391 0.3076 10.5031 ((14 . 5) (18 . 7) (20 . 9) (23 . 14)) 6392 0.3846 4.6811 ((10 . 1) (13 . 3) (14 . 6) (15 . 7) (16 . 8)) 6399 0.3076 9.3029 ((8 . 26) (10 . 28) (13 . 30) (15 . 32)) 6403 0.3699 5.9750 ((10 . 5) (13 . 7) (15 . 10) (16 . 11) (22 . 12)) 6434 0.3077 7.2694 ((11 . 1) (15 . 4) (18 . 6) (21 . 9)) 6461 0.2854 10.3798 ((11 . 2) (14 . 4) (16 . 5) (18 . 7)) 6462 0.4614 6.5883 ((11 . 17) (13 . 18) (14 . 19) (15 . 20) (16 . 21) (21 . 26)) 6476 0.2284 9.1567 ((14 . 2) (16 . 6) (18 . 7) (19 . 9)) 6498 0.4615 4.3911 ((11 . 15) (13 . 16) (14 . 18) (15 . 19) (16 . 20) (21 . 26)) 6506 0.2283 12.0408 ((14 . 18) (16 . 20) (18 . 21) (20 . 22)) 6520 0.3077 5.7427 ((11 . 11) (13 . 13) (15 . 15) (19 . 16)) 6536 0.2974 11.7904 ((11 . 29) (14 . 32) (16 . 33) (19 . 35)) 6539 0.3077 4.8253 ((18 . 1) (19 . 2) (20 . 3) (22 . 5)) 6540 0.3076 9.4765 ((14 . 4) (15 . 5) (20 . 8) (23 . 11)) 6548 0.3077 4.9298 ((10 . 5) (11 . 6) (13 . 7) (15 . 9)) 6553 0.3077 4.9795 ((18 . 10) (19 . 11) (20 . 12) (22 . 15)) 6555 0.3076 8.7254 ((10 . 17) (13 . 20) (14 . 21) (19 . 25)) 6561 0.3077 6.1802 ((13 . 12) (15 . 13) (19 . 15) (20 . 16)) 6573 0.5383 5.2692 ((10 . 17) (11 . 18) (13 . 19) (14 . 20) (15 . 21) (19 . 23) (22 . 24)) 6575 0.3076 8.2148 ((10 . 1) (11 . 3) (15 . 5) (16 . 6)) 6578 0.3077 7.4668 ((11 . 33) (13 . 34) (15 . 38) (16 . 39)) 6584 0.3077 5.0452 ((14 . 1) (15 . 2) (18 . 4) (19 . 5)) 6585 0.3077 5.1834 ((10 . 6) (13 . 8) (14 . 9) (15 . 10)) 6586 0.3077 6.6639 ((10 . 18) (11 . 19) (16 . 23) (19 . 25)) 6587 0.3844 9.0268 ((11 . 30) (13 . 31) (14 . 32) (15 . 33) (18 . 35)) 6598 0.3076 8.5101 ((13 . 3) (15 . 5) (19 . 8) (21 . 12)) 6613 0.3295 7.3895 ((14 . 15) (16 . 19) (19 . 22) (20 . 23) (21 . 26)) 6635 0.2970 15.5387 ((8 . 1) (10 . 4) (14 . 9) (16 . 10)) END