6191 25 0.3819 11.1359 ((1 . 4) (4 . 6) (5 . 9) (9 . 11)) 41 0.1970 5.5674 ((1 . 2) (6 . 5) (7 . 6) (10 . 7)) 51 0.4000 5.2771 ((3 . 1) (4 . 2) (10 . 10) (13 . 13)) 62 0.3362 10.3145 ((5 . 9) (6 . 10) (9 . 12) (10 . 13)) 64 0.3999 6.8155 ((3 . 7) (4 . 8) (6 . 9) (9 . 10)) 77 0.3999 6.7355 ((4 . 7) (6 . 9) (12 . 13) (13 . 15)) 91 0.3988 13.1661 ((1 . 30) (3 . 31) (7 . 36) (13 . 44)) 96 0.3991 12.3399 ((4 . 1) (5 . 2) (7 . 4) (12 . 6)) 129 0.3998 8.3975 ((4 . 1) (6 . 5) (9 . 8) (10 . 9)) 136 0.3999 6.8937 ((1 . 2) (3 . 3) (6 . 8) (7 . 9)) 150 0.3999 7.5363 ((1 . 18) (3 . 19) (4 . 20) (5 . 21)) 153 0.3998 8.7979 ((6 . 7) (9 . 8) (10 . 9) (13 . 12)) 157 0.3996 9.7765 ((6 . 1) (7 . 2) (10 . 5) (13 . 9)) 161 0.1970 10.6187 ((3 . 4) (4 . 6) (5 . 7) (6 . 9)) 169 0.3999 6.8712 ((4 . 1) (9 . 7) (10 . 8) (13 . 10)) 177 0.3998 7.8799 ((3 . 2) (6 . 5) (9 . 8) (10 . 10)) 191 0.3999 7.2464 ((1 . 3) (6 . 6) (9 . 7) (10 . 8)) 198 0.4990 9.6656 ((3 . 7) (4 . 8) (9 . 15) (10 . 16) (12 . 17)) 207 0.4000 5.8486 ((3 . 7) (4 . 8) (5 . 11) (12 . 15)) 233 0.3996 9.8589 ((6 . 1) (10 . 5) (12 . 7) (13 . 8)) 300 0.3999 7.2303 ((1 . 5) (6 . 6) (9 . 9) (10 . 10)) 305 0.5732 6.0612 ((1 . 8) (3 . 11) (4 . 15) (5 . 20) (12 . 21) (13 . 22)) 307 0.3996 10.1488 ((3 . 1) (6 . 3) (7 . 6) (10 . 9)) 329 0.3361 10.9406 ((5 . 1) (6 . 4) (7 . 3) (9 . 5)) 350 0.4000 5.7775 ((3 . 7) (6 . 11) (9 . 15) (10 . 16)) 360 0.4994 8.3689 ((4 . 3) (9 . 8) (10 . 9) (12 . 10) (13 . 12)) 361 0.3999 7.0490 ((1 . 3) (3 . 4) (7 . 7) (12 . 10)) 365 0.3999 7.7148 ((9 . 1) (10 . 2) (12 . 3) (13 . 4)) 367 0.4981 11.2143 ((3 . 38) (4 . 40) (9 . 46) (10 . 47) (12 . 48)) 372 0.4000 5.6926 ((3 . 5) (4 . 6) (6 . 10) (9 . 11)) 387 0.3998 8.3996 ((3 . 1) (9 . 9) (10 . 10) (13 . 12)) 405 0.3994 11.2799 ((4 . 31) (6 . 35) (9 . 39) (10 . 40)) 417 0.3998 8.5285 ((3 . 2) (4 . 3) (6 . 7) (9 . 9)) 420 0.4000 5.0427 ((3 . 3) (4 . 4) (9 . 9) (10 . 10)) 433 0.3995 10.8874 ((6 . 6) (9 . 7) (12 . 9) (13 . 10)) 442 0.4000 5.9353 ((1 . 9) (3 . 10) (4 . 12) (5 . 13)) 460 0.4000 5.6054 ((9 . 2) (10 . 3) (12 . 6) (13 . 7)) 472 0.3993 11.5314 ((1 . 23) (4 . 25) (5 . 28) (9 . 31)) 491 0.3995 10.7051 ((4 . 1) (5 . 2) (7 . 5) (13 . 10)) 495 0.3999 7.4001 ((3 . 5) (6 . 9) (7 . 10) (9 . 11)) 541 0.4996 7.5459 ((1 . 6) (6 . 11) (7 . 13) (10 . 14) (13 . 17)) 543 0.3996 10.3199 ((5 . 9) (6 . 10) (7 . 13) (10 . 16)) 561 0.4000 2.3192 ((3 . 3) (4 . 4) (12 . 6) (13 . 1)) 584 0.3999 6.0464 ((1 . 2) (3 . 3) (4 . 4) (13 . 13)) 587 0.3999 6.2615 ((3 . 8) (4 . 9) (6 . 10) (9 . 11)) 609 0.3998 8.5244 ((1 . 2) (3 . 1) (6 . 6) (10 . 8)) 619 0.3998 8.2622 ((1 . 3) (10 . 9) (12 . 11) (13 . 12)) 624 0.4810 11.2501 ((1 . 14) (3 . 15) (4 . 16) (5 . 17) (7 . 19)) 635 0.3998 8.4934 ((5 . 7) (7 . 11) (12 . 14) (13 . 15)) 672 0.4000 5.7912 ((4 . 16) (6 . 20) (9 . 23) (13 . 26)) 678 0.3363 8.3961 ((5 . 21) (6 . 24) (10 . 26) (13 . 29)) 683 0.3999 7.3427 ((9 . 2) (10 . 3) (12 . 5) (13 . 6)) 719 0.3999 6.4463 ((3 . 22) (4 . 23) (6 . 27) (10 . 30)) 729 0.3999 7.1085 ((5 . 23) (6 . 24) (7 . 26) (9 . 31)) 735 0.3994 11.3084 ((6 . 29) (9 . 31) (10 . 32) (12 . 33)) 740 0.1970 9.3484 ((5 . 1) (6 . 2) (9 . 5) (10 . 6)) 765 0.3998 8.3018 ((4 . 9) (6 . 12) (9 . 19) (10 . 20)) 767 0.3998 8.2971 ((6 . 1) (7 . 2) (10 . 3) (13 . 8)) 796 0.4000 4.4055 ((1 . 4) (3 . 5) (4 . 6) (5 . 7)) 801 0.3668 10.6362 ((6 . 1) (9 . 2) (10 . 4) (12 . 6)) 812 0.3999 7.7587 ((3 . 5) (6 . 9) (7 . 10) (10 . 13)) 818 0.4882 8.4906 ((3 . 2) (5 . 3) (6 . 7) (10 . 10) (13 . 14)) 819 0.3998 8.2686 ((3 . 2) (4 . 3) (5 . 4) (9 . 5)) 861 0.3998 8.3389 ((1 . 11) (3 . 12) (6 . 17) (9 . 19)) 901 0.4000 4.0162 ((1 . 10) (6 . 15) (7 . 16) (10 . 17)) 904 0.3821 9.5042 ((1 . 1) (5 . 5) (6 . 6) (9 . 7)) 913 0.4000 4.3554 ((3 . 16) (4 . 17) (5 . 18) (13 . 20)) 928 0.3999 7.1447 ((1 . 9) (6 . 14) (7 . 15) (10 . 18)) 937 0.4000 5.5520 ((1 . 3) (3 . 4) (4 . 5) (5 . 6)) 943 0.3990 12.6208 ((3 . 2) (6 . 6) (7 . 7) (10 . 9)) 945 0.3361 11.5567 ((1 . 13) (3 . 14) (7 . 20) (10 . 22)) 949 0.3999 7.6175 ((1 . 33) (3 . 32) (5 . 35) (7 . 37)) 960 0.3997 9.1494 ((1 . 11) (3 . 12) (7 . 20) (10 . 21)) 978 0.3999 7.1692 ((1 . 11) (4 . 13) (5 . 15) (12 . 19)) 980 0.3997 9.3127 ((3 . 1) (6 . 5) (7 . 6) (10 . 7)) 1007 0.3999 7.3250 ((6 . 8) (9 . 9) (12 . 13) (13 . 14)) 1008 0.3999 7.4876 ((6 . 8) (7 . 11) (9 . 13) (10 . 15)) 1034 0.2411 14.6508 ((1 . 23) (5 . 24) (6 . 26) (10 . 29)) 1043 0.4993 8.8816 ((1 . 5) (3 . 6) (6 . 10) (7 . 11) (9 . 14)) 1082 0.3998 8.8433 ((1 . 11) (3 . 12) (7 . 17) (10 . 19)) 1084 0.3998 8.1856 ((5 . 2) (6 . 3) (12 . 8) (13 . 9)) 1121 0.3364 3.9468 ((3 . 6) (6 . 3) (9 . 4) (10 . 5)) 1165 0.3991 12.4172 ((1 . 9) (3 . 10) (7 . 14) (13 . 19)) 1167 0.1970 7.0410 ((5 . 19) (6 . 20) (9 . 21) (10 . 22)) 1169 0.3999 6.1608 ((9 . 31) (10 . 32) (12 . 35) (13 . 37)) 1195 0.4000 5.6473 ((1 . 1) (6 . 2) (9 . 4) (10 . 5)) 1201 0.3997 9.0015 ((6 . 1) (7 . 2) (10 . 3) (12 . 4)) 1204 0.3993 11.7681 ((1 . 8) (3 . 11) (4 . 12) (13 . 20)) 1211 0.4996 7.8112 ((1 . 1) (3 . 4) (4 . 5) (9 . 10) (10 . 11)) 1217 0.3359 12.8732 ((1 . 2) (3 . 5) (4 . 7) (5 . 8)) 1224 0.4000 4.0321 ((3 . 6) (4 . 7) (9 . 14) (10 . 15)) 1233 0.3999 6.1250 ((6 . 17) (7 . 19) (12 . 23) (13 . 24)) 1267 0.3999 6.1013 ((4 . 24) (5 . 25) (12 . 31) (13 . 33)) 1268 0.1970 9.4483 ((1 . 19) (5 . 21) (6 . 22) (7 . 26)) 1294 0.3998 8.8826 ((9 . 39) (10 . 40) (12 . 41) (13 . 43)) 1345 0.4000 5.4152 ((4 . 9) (5 . 10) (9 . 14) (13 . 18)) 1366 0.4999 5.2010 ((3 . 15) (4 . 16) (6 . 20) (9 . 21) (10 . 22)) 1388 0.3669 9.2653 ((5 . 3) (6 . 5) (7 . 6) (10 . 8)) 1410 0.4000 5.2868 ((3 . 20) (6 . 22) (9 . 23) (10 . 25)) 1425 0.3996 10.1136 ((6 . 2) (10 . 6) (12 . 8) (13 . 10)) 1435 0.3999 7.4268 ((3 . 3) (4 . 5) (7 . 7) (12 . 13)) 1447 0.3999 6.1306 ((1 . 2) (6 . 5) (7 . 6) (10 . 7)) 1451 0.4000 5.6787 ((6 . 1) (7 . 2) (9 . 4) (10 . 5)) 1464 0.3999 7.0969 ((9 . 7) (10 . 8) (12 . 10) (13 . 13)) 1472 0.3671 6.1855 ((1 . 3) (5 . 5) (6 . 7) (9 . 8)) 1476 0.3999 6.9719 ((1 . 10) (6 . 14) (7 . 16) (10 . 18)) 1481 0.3998 8.5992 ((6 . 1) (9 . 2) (12 . 4) (13 . 5)) 1501 0.4000 5.6394 ((9 . 2) (10 . 3) (12 . 5) (13 . 6)) 1513 0.3997 9.4061 ((1 . 9) (3 . 11) (7 . 16) (10 . 18)) 1514 0.3997 9.0122 ((4 . 1) (5 . 2) (7 . 5) (10 . 6)) 1577 0.4000 3.8620 ((1 . 2) (3 . 3) (4 . 4) (13 . 12)) 1591 0.3999 7.4719 ((1 . 2) (4 . 4) (5 . 5) (12 . 8)) 1604 0.4000 4.9115 ((3 . 1) (4 . 3) (5 . 6) (12 . 12)) 1622 0.3817 11.9525 ((5 . 19) (6 . 20) (7 . 21) (13 . 25)) 1624 0.3999 7.0608 ((4 . 2) (6 . 5) (9 . 8) (10 . 9)) 1643 0.4000 5.7614 ((3 . 32) (4 . 33) (9 . 38) (10 . 39)) 1644 0.3999 7.2686 ((5 . 42) (9 . 46) (12 . 48) (13 . 49)) 1665 0.3987 13.5072 ((4 . 3) (6 . 6) (7 . 7) (10 . 10)) 1690 0.3997 9.1409 ((1 . 12) (3 . 13) (4 . 14) (9 . 21)) 1692 0.3670 8.2704 ((6 . 1) (7 . 2) (12 . 6) (13 . 7)) 1731 0.3670 8.6124 ((4 . 6) (5 . 7) (7 . 9) (12 . 12)) 1736 0.3999 7.0436 ((3 . 1) (6 . 5) (10 . 7) (13 . 10)) 1738 0.3998 7.9553 ((6 . 4) (7 . 5) (10 . 9) (13 . 11)) 1747 0.4997 7.2697 ((6 . 36) (9 . 39) (10 . 40) (12 . 41) (13 . 42)) 1756 0.3998 8.1023 ((9 . 21) (10 . 23) (12 . 25) (13 . 26)) 1759 0.3999 7.0351 ((9 . 6) (10 . 8) (12 . 9) (13 . 10)) 1761 0.3998 7.9978 ((9 . 1) (10 . 2) (12 . 4) (13 . 5)) 1763 0.3999 6.2378 ((1 . 6) (6 . 9) (9 . 10) (10 . 13)) 1776 0.3997 9.4206 ((3 . 9) (7 . 13) (9 . 15) (10 . 16)) 1778 0.3999 7.8088 ((3 . 1) (4 . 2) (6 . 5) (7 . 6)) 1793 0.3998 8.8007 ((1 . 5) (3 . 6) (7 . 9) (13 . 13)) 1805 0.3999 6.2658 ((3 . 10) (6 . 12) (7 . 13) (10 . 15)) 1808 0.3999 6.4112 ((4 . 2) (6 . 6) (9 . 8) (10 . 9)) 1817 0.4000 5.6085 ((9 . 14) (10 . 15) (12 . 18) (13 . 19)) 1867 0.3995 10.5601 ((6 . 1) (10 . 3) (12 . 6) (13 . 7)) 1894 0.4000 2.0181 ((3 . 12) (4 . 18) (12 . 20) (13 . 26)) 1896 0.3664 12.7902 ((1 . 21) (3 . 23) (6 . 27) (7 . 28)) 1897 0.3995 10.7994 ((4 . 32) (6 . 34) (12 . 39) (13 . 40)) 1908 0.3996 10.1367 ((1 . 2) (3 . 3) (5 . 5) (13 . 10)) 1909 0.3999 6.2047 ((1 . 30) (3 . 31) (7 . 36) (10 . 39)) 1913 0.3999 7.0364 ((3 . 4) (4 . 6) (9 . 12) (10 . 14)) 1944 0.3999 7.4670 ((3 . 16) (4 . 17) (9 . 23) (10 . 24)) 1957 0.3999 7.1328 ((1 . 10) (6 . 15) (7 . 16) (10 . 19)) 1961 0.4000 5.4484 ((3 . 15) (4 . 16) (9 . 19) (10 . 20)) 1967 0.3999 7.3082 ((1 . 4) (6 . 7) (10 . 10) (13 . 16)) 1972 0.3998 8.0594 ((1 . 17) (6 . 24) (7 . 25) (10 . 27)) 1992 0.3998 7.9065 ((6 . 9) (7 . 10) (9 . 12) (10 . 14)) 1995 0.3999 7.6405 ((3 . 1) (4 . 2) (9 . 9) (12 . 13)) 2003 0.4529 7.8886 ((1 . 1) (6 . 5) (7 . 6) (9 . 9) (10 . 10)) 2006 0.4000 5.4825 ((3 . 11) (4 . 12) (9 . 16) (10 . 18)) 2045 0.3998 8.3473 ((3 . 3) (4 . 7) (6 . 8) (7 . 9)) 2048 0.4000 3.1830 ((6 . 13) (7 . 14) (9 . 16) (10 . 17)) 2054 0.3993 11.6537 ((1 . 10) (3 . 13) (5 . 15) (7 . 16)) 2063 0.3999 6.1266 ((3 . 42) (4 . 43) (6 . 47) (9 . 50)) 2065 0.3999 7.1222 ((4 . 16) (6 . 19) (9 . 23) (10 . 25)) 2067 0.3998 7.9259 ((6 . 57) (7 . 58) (9 . 60) (13 . 63)) 2072 0.3999 7.1338 ((3 . 1) (4 . 2) (5 . 3) (9 . 7)) 2081 0.5999 4.5865 ((1 . 1) (3 . 9) (4 . 10) (5 . 11) (12 . 21) (13 . 23)) 2083 0.3997 9.6880 ((4 . 1) (6 . 2) (9 . 5) (10 . 7)) 2097 0.3998 8.4133 ((4 . 1) (5 . 2) (9 . 6) (10 . 7)) 2114 0.3999 6.4809 ((9 . 28) (10 . 29) (12 . 32) (13 . 34)) 2116 0.3999 7.7144 ((3 . 2) (4 . 3) (9 . 7) (10 . 8)) 2117 0.3998 8.4716 ((3 . 22) (4 . 23) (5 . 24) (7 . 26)) 2118 0.3998 8.8545 ((3 . 1) (4 . 3) (6 . 5) (7 . 6)) 2122 0.4000 5.9130 ((5 . 11) (9 . 14) (10 . 15) (13 . 18)) 2166 0.5998 5.1669 ((1 . 5) (3 . 12) (4 . 13) (5 . 14) (12 . 17) (13 . 21)) 2179 0.4000 5.8449 ((3 . 9) (4 . 10) (5 . 12) (13 . 20)) 2196 0.3999 7.8277 ((4 . 12) (6 . 15) (9 . 18) (10 . 19)) 2203 0.3998 8.3753 ((1 . 3) (4 . 7) (5 . 8) (9 . 12)) 2205 0.4000 5.4111 ((3 . 19) (4 . 20) (6 . 23) (9 . 26)) 2209 0.3999 7.0737 ((1 . 2) (7 . 8) (9 . 9) (10 . 10)) 2243 0.4996 7.5132 ((3 . 53) (4 . 54) (10 . 63) (12 . 65) (13 . 67)) 2244 0.3998 8.1724 ((9 . 70) (10 . 71) (12 . 74) (13 . 75)) 2248 0.3996 9.9056 ((1 . 20) (7 . 26) (10 . 27) (12 . 28)) 2249 0.3999 7.8578 ((1 . 14) (3 . 16) (6 . 21) (9 . 23)) 2269 0.3998 8.5028 ((5 . 3) (6 . 6) (9 . 7) (10 . 8)) 2279 0.5998 5.2997 ((1 . 1) (3 . 3) (4 . 5) (5 . 6) (12 . 7) (13 . 9)) 2298 0.3986 13.8467 ((1 . 7) (5 . 13) (7 . 14) (10 . 17)) 2308 0.3998 8.3630 ((3 . 4) (4 . 5) (6 . 6) (7 . 7)) 2314 0.3662 13.8284 ((1 . 9) (6 . 11) (10 . 17) (12 . 18)) 2340 0.3996 10.0265 ((7 . 10) (10 . 11) (12 . 13) (13 . 14)) 2344 0.4000 5.8878 ((3 . 1) (4 . 3) (5 . 5) (12 . 10)) 2364 0.4000 5.0949 ((1 . 6) (3 . 7) (12 . 19) (13 . 20)) 2381 0.3998 8.8407 ((9 . 3) (10 . 4) (12 . 5) (13 . 6)) 2389 0.4000 4.5089 ((3 . 5) (4 . 6) (9 . 10) (10 . 11)) 2408 0.4717 6.4849 ((3 . 32) (4 . 33) (6 . 37) (9 . 38) (13 . 39)) 2409 0.3999 6.7269 ((3 . 2) (4 . 3) (6 . 6) (10 . 8)) 2410 0.3669 9.1514 ((5 . 12) (6 . 13) (7 . 14) (10 . 16)) 2422 0.3999 6.7357 ((7 . 2) (10 . 4) (12 . 7) (13 . 8)) 2423 0.3999 6.6708 ((3 . 16) (4 . 17) (9 . 21) (10 . 22)) 2440 0.3997 9.3421 ((6 . 4) (10 . 6) (12 . 8) (13 . 9)) 2447 0.3998 8.8136 ((1 . 29) (3 . 30) (6 . 33) (13 . 40)) 2462 0.5000 3.3375 ((1 . 5) (3 . 6) (4 . 7) (12 . 11) (13 . 12)) 2510 0.3999 7.3859 ((1 . 2) (6 . 5) (7 . 6) (10 . 7)) 2525 0.3992 11.9570 ((1 . 37) (3 . 38) (5 . 42) (7 . 44)) 2529 0.3998 8.0437 ((1 . 2) (3 . 3) (6 . 6) (7 . 7)) 2533 0.3994 11.3097 ((1 . 1) (6 . 6) (7 . 7) (10 . 9)) 2544 0.3998 8.8791 ((1 . 21) (3 . 23) (5 . 24) (7 . 20)) 2551 0.3989 13.0205 ((5 . 6) (9 . 9) (12 . 11) (13 . 12)) 2552 0.3991 12.3921 ((1 . 2) (3 . 1) (5 . 4) (7 . 6)) 2556 0.4000 4.6532 ((1 . 12) (6 . 16) (7 . 17) (10 . 20)) 2557 0.3362 9.5408 ((1 . 5) (3 . 6) (4 . 7) (5 . 8)) 2561 0.3999 7.4216 ((1 . 2) (6 . 7) (9 . 8) (10 . 9)) 2595 0.3995 10.4603 ((1 . 2) (3 . 4) (7 . 7) (10 . 11)) 2619 0.3999 6.3075 ((3 . 2) (4 . 3) (12 . 7) (13 . 5)) 2627 0.1247 20.4446 ((5 . 57) (7 . 59) (12 . 64) (13 . 65)) 2650 0.3990 12.5077 ((6 . 2) (7 . 4) (12 . 6) (13 . 7)) 2658 0.3997 9.5284 ((3 . 3) (5 . 6) (12 . 12) (13 . 13)) 2675 0.4998 6.3961 ((1 . 2) (3 . 3) (4 . 4) (9 . 11) (10 . 12)) 2682 0.3999 7.7404 ((7 . 8) (10 . 11) (12 . 12) (13 . 13)) 2696 0.3998 8.0536 ((4 . 31) (9 . 36) (10 . 37) (12 . 39)) 2731 0.4000 5.4674 ((1 . 2) (3 . 4) (4 . 5) (5 . 6)) 2733 0.3998 8.8108 ((6 . 1) (9 . 2) (10 . 4) (13 . 8)) 2755 0.2800 10.9758 ((1 . 4) (3 . 5) (7 . 7) (12 . 12)) 2773 0.4000 4.2222 ((3 . 2) (4 . 3) (5 . 4) (13 . 6)) 2783 0.3999 7.5556 ((4 . 1) (9 . 7) (10 . 8) (13 . 12)) 2804 0.3999 6.8795 ((1 . 28) (6 . 36) (9 . 38) (10 . 39)) 2821 0.4000 5.1565 ((9 . 1) (10 . 2) (12 . 4) (13 . 5)) 2830 0.3999 6.6622 ((7 . 22) (9 . 23) (10 . 24) (12 . 26)) 2834 0.3669 9.4650 ((1 . 11) (3 . 12) (4 . 14) (5 . 15)) 2840 0.4531 5.1744 ((1 . 2) (6 . 6) (7 . 7) (9 . 9) (10 . 11)) 2842 0.3996 10.3303 ((3 . 4) (4 . 5) (5 . 7) (7 . 8)) 2867 0.3820 10.1194 ((1 . 5) (4 . 9) (5 . 10) (6 . 12)) 2879 0.3999 6.2133 ((3 . 51) (4 . 52) (6 . 56) (9 . 59)) 2886 0.3999 6.1600 ((3 . 33) (4 . 34) (9 . 39) (10 . 41)) 2940 0.3994 11.2986 ((6 . 1) (7 . 2) (12 . 5) (13 . 6)) 2947 0.4000 4.8312 ((3 . 6) (4 . 7) (9 . 12) (10 . 13)) 2966 0.4000 5.8021 ((9 . 3) (10 . 4) (12 . 6) (13 . 8)) 2990 0.4528 8.0663 ((5 . 10) (6 . 12) (7 . 13) (9 . 15) (10 . 16)) 2999 0.1970 6.6417 ((1 . 1) (6 . 4) (9 . 6) (10 . 7)) 3014 0.2800 10.3358 ((7 . 31) (9 . 33) (10 . 34) (12 . 35)) 3019 0.3362 9.8514 ((5 . 8) (6 . 9) (9 . 10) (10 . 11)) 3034 0.3998 8.4807 ((6 . 5) (7 . 6) (10 . 7) (13 . 9)) 3041 0.4000 5.8770 ((5 . 28) (6 . 30) (7 . 31) (9 . 33)) 3055 0.3999 6.9969 ((6 . 16) (9 . 19) (10 . 20) (13 . 23)) 3063 0.3999 7.1778 ((1 . 34) (6 . 39) (9 . 41) (10 . 42)) 3070 0.5000 3.4223 ((3 . 32) (4 . 33) (5 . 34) (12 . 35) (13 . 36)) 3084 0.3999 6.9307 ((1 . 12) (6 . 15) (7 . 16) (13 . 21)) 3102 0.4000 5.1905 ((3 . 69) (4 . 70) (12 . 77) (13 . 80)) 3103 0.4000 4.9221 ((3 . 3) (4 . 5) (5 . 6) (12 . 13)) 3114 0.3996 9.9389 ((3 . 24) (4 . 25) (5 . 27) (9 . 29)) 3120 0.3317 4.5744 ((1 . 20) (3 . 21) (4 . 22) (5 . 24) (13 . 25)) 3127 0.2800 8.7719 ((1 . 5) (5 . 7) (7 . 9) (9 . 13)) 3147 0.4000 4.5189 ((3 . 6) (4 . 7) (9 . 13) (10 . 15)) 3176 0.3363 8.1209 ((1 . 22) (6 . 27) (7 . 30) (9 . 29)) 3187 0.3998 7.8802 ((9 . 1) (10 . 2) (12 . 3) (13 . 4)) 3190 0.3998 8.0068 ((6 . 1) (7 . 4) (10 . 6) (13 . 9)) 3197 0.3997 8.9695 ((1 . 20) (3 . 21) (6 . 24) (7 . 25)) 3200 0.3999 7.1013 ((1 . 5) (6 . 11) (9 . 13) (12 . 15)) 3212 0.3998 8.7638 ((5 . 1) (9 . 3) (10 . 5) (13 . 9)) 3222 0.3999 6.2024 ((3 . 7) (4 . 8) (5 . 9) (13 . 18)) 3256 0.3999 7.0124 ((4 . 18) (6 . 21) (9 . 25) (12 . 28)) 3261 0.4000 5.0380 ((3 . 2) (4 . 3) (9 . 7) (10 . 8)) 3286 0.2799 12.3293 ((1 . 6) (4 . 7) (5 . 8) (6 . 9)) 3289 0.4000 4.7740 ((6 . 27) (7 . 28) (9 . 30) (10 . 31)) 3297 0.4990 9.6587 ((3 . 5) (6 . 8) (9 . 9) (10 . 11) (13 . 13)) 3322 0.3996 9.9882 ((1 . 2) (5 . 4) (6 . 7) (7 . 6)) 3334 0.3998 7.9053 ((3 . 5) (4 . 6) (6 . 10) (7 . 11)) 3339 0.3999 7.7268 ((1 . 16) (3 . 17) (6 . 21) (9 . 22)) 3344 0.3993 11.6242 ((3 . 18) (4 . 19) (9 . 24) (12 . 27)) 3358 0.3998 7.9424 ((1 . 9) (3 . 10) (6 . 12) (9 . 16)) 3362 0.3998 8.2096 ((1 . 3) (7 . 9) (9 . 10) (10 . 11)) 3366 0.3999 7.4756 ((3 . 27) (4 . 28) (6 . 31) (9 . 32)) 3391 0.3999 6.6424 ((1 . 3) (6 . 8) (7 . 12) (10 . 13)) 3410 0.3998 8.6753 ((1 . 20) (6 . 24) (10 . 28) (13 . 30)) 3418 0.4000 5.6838 ((1 . 1) (6 . 2) (9 . 5) (10 . 6)) 3446 0.2799 12.9107 ((1 . 1) (7 . 3) (9 . 5) (10 . 6)) 3472 0.3997 9.4068 ((6 . 4) (9 . 8) (10 . 9) (13 . 12)) 3481 0.3998 8.3431 ((7 . 3) (10 . 4) (12 . 7) (13 . 8)) 3489 0.3992 11.9151 ((4 . 1) (6 . 4) (12 . 12) (13 . 14)) 3495 0.4000 5.1458 ((3 . 7) (4 . 8) (5 . 9) (12 . 16)) 3496 0.4999 5.5406 ((1 . 21) (3 . 22) (4 . 23) (5 . 24) (12 . 29)) 3533 0.3994 11.1144 ((3 . 1) (4 . 3) (5 . 6) (9 . 8)) 3537 0.4000 3.6985 ((4 . 2) (5 . 3) (12 . 9) (13 . 10)) 3538 0.3999 6.7045 ((1 . 13) (7 . 17) (9 . 18) (10 . 20)) 3548 0.4990 9.5592 ((4 . 2) (9 . 6) (10 . 8) (12 . 9) (13 . 10)) 3549 0.3996 9.8079 ((4 . 2) (5 . 4) (7 . 7) (10 . 8)) 3561 0.3998 7.9501 ((1 . 17) (7 . 25) (12 . 30) (13 . 31)) 3570 0.3998 8.3550 ((1 . 2) (3 . 3) (6 . 8) (7 . 9)) 3585 0.4000 4.1933 ((1 . 7) (6 . 12) (9 . 13) (10 . 14)) 3613 0.3986 13.7594 ((1 . 28) (7 . 32) (12 . 35) (13 . 36)) 3625 0.3996 9.9712 ((3 . 3) (4 . 5) (9 . 7) (10 . 9)) 3626 0.4000 5.9174 ((5 . 1) (6 . 6) (9 . 8) (10 . 11)) 3628 0.3999 7.2331 ((6 . 8) (9 . 9) (10 . 10) (13 . 12)) 3651 0.4000 5.4109 ((6 . 1) (7 . 2) (9 . 3) (10 . 5)) 3656 0.3664 12.9231 ((1 . 20) (4 . 22) (6 . 23) (7 . 25)) 3658 0.3998 8.4428 ((9 . 5) (10 . 6) (12 . 7) (13 . 8)) 3659 0.3999 6.8724 ((3 . 7) (4 . 8) (6 . 12) (9 . 13)) 3661 0.3657 15.2363 ((1 . 5) (3 . 8) (5 . 10) (6 . 12)) 3663 0.3999 6.7528 ((1 . 3) (3 . 2) (4 . 5) (5 . 6)) 3688 0.4000 4.9545 ((4 . 29) (5 . 33) (6 . 34) (9 . 35)) 3697 0.3996 9.8330 ((3 . 3) (4 . 4) (5 . 5) (10 . 7)) 3703 0.3999 7.0072 ((1 . 5) (3 . 6) (4 . 7) (5 . 10)) 3732 0.3998 8.3276 ((4 . 7) (5 . 8) (7 . 10) (9 . 12)) 3733 0.3998 7.9348 ((6 . 3) (7 . 4) (10 . 6) (13 . 8)) 3740 0.3999 6.2104 ((4 . 1) (6 . 4) (9 . 5) (10 . 6)) 3741 0.4000 5.8704 ((3 . 22) (4 . 23) (9 . 27) (10 . 28)) 3776 0.2413 9.7503 ((1 . 16) (3 . 19) (4 . 20) (7 . 25)) 3778 0.4000 5.1264 ((3 . 6) (4 . 7) (9 . 12) (10 . 13)) 3787 0.3998 8.3569 ((1 . 14) (3 . 15) (6 . 17) (7 . 18)) 3790 0.4825 4.9783 ((1 . 17) (5 . 20) (6 . 21) (9 . 22) (10 . 24)) 3807 0.3999 7.0039 ((6 . 43) (9 . 46) (10 . 47) (13 . 50)) 3810 0.3999 7.1967 ((9 . 10) (10 . 11) (12 . 14) (13 . 15)) 3817 0.4000 5.2529 ((1 . 3) (6 . 7) (7 . 8) (10 . 9)) 3818 0.4000 5.3200 ((4 . 20) (5 . 21) (12 . 28) (13 . 29)) 3831 0.3998 8.8508 ((7 . 1) (9 . 3) (12 . 5) (13 . 6)) 3847 0.3997 9.2922 ((5 . 11) (6 . 13) (9 . 16) (10 . 17)) 3853 0.3998 8.2626 ((1 . 4) (3 . 6) (7 . 11) (10 . 12)) 3870 0.3999 7.0528 ((1 . 4) (6 . 8) (7 . 9) (10 . 10)) 3933 0.3999 7.0039 ((5 . 4) (9 . 10) (10 . 11) (13 . 15)) 3938 0.4715 8.0137 ((5 . 3) (6 . 4) (7 . 5) (9 . 8) (10 . 9)) 3968 0.3362 9.7765 ((3 . 3) (5 . 7) (6 . 9) (7 . 10)) 3986 0.3997 9.3780 ((4 . 9) (5 . 10) (6 . 13) (13 . 21)) 3990 0.3998 8.3010 ((4 . 16) (9 . 20) (12 . 23) (13 . 24)) 4005 0.3999 6.3214 ((3 . 2) (4 . 3) (9 . 10) (10 . 11)) 4009 0.3995 10.3967 ((3 . 1) (6 . 7) (7 . 8) (10 . 11)) 4019 0.3998 8.6735 ((6 . 36) (9 . 39) (12 . 43) (13 . 44)) 4034 0.5998 5.3777 ((1 . 3) (3 . 5) (4 . 6) (5 . 7) (12 . 9) (13 . 13)) 4037 0.3999 7.8312 ((3 . 2) (4 . 3) (5 . 4) (7 . 6)) 4062 0.3671 6.0576 ((1 . 47) (3 . 49) (4 . 50) (5 . 52)) 4067 0.3999 7.8728 ((1 . 11) (6 . 16) (10 . 20) (13 . 22)) 4077 0.3918 21.6848 ((1 . 3) (7 . 6) (12 . 10) (13 . 11)) 4082 0.4000 5.9447 ((9 . 5) (10 . 6) (12 . 7) (13 . 8)) 4087 0.3998 8.7484 ((1 . 2) (6 . 6) (9 . 7) (10 . 8)) 4115 0.3998 8.0832 ((1 . 2) (3 . 5) (6 . 10) (7 . 11)) 4140 0.3996 9.7590 ((3 . 21) (4 . 22) (6 . 23) (7 . 25)) 4151 0.3999 7.6214 ((1 . 11) (3 . 12) (6 . 17) (7 . 18)) 4154 0.3998 7.9937 ((9 . 52) (10 . 53) (12 . 56) (13 . 57)) 4177 0.4998 6.4371 ((3 . 1) (4 . 2) (5 . 4) (9 . 7) (10 . 8)) 4190 0.3997 8.9835 ((4 . 1) (7 . 6) (12 . 8) (13 . 9)) 4192 0.3995 10.5073 ((1 . 14) (3 . 15) (4 . 19) (5 . 20)) 4194 0.4000 5.7155 ((6 . 3) (7 . 4) (9 . 6) (10 . 7)) 4195 0.1247 10.3468 ((1 . 11) (5 . 12) (6 . 14) (9 . 15)) 4204 0.3998 7.8742 ((1 . 2) (6 . 9) (7 . 10) (10 . 13)) 4209 0.4993 8.8536 ((4 . 1) (6 . 2) (9 . 5) (10 . 7) (13 . 10)) 4210 0.3996 9.9084 ((3 . 4) (4 . 5) (6 . 6) (10 . 10)) 4226 0.4994 8.4010 ((1 . 10) (4 . 12) (5 . 13) (9 . 18) (10 . 19)) 4232 0.3998 8.9115 ((6 . 1) (9 . 2) (10 . 3) (12 . 4)) 4246 0.4000 3.6390 ((9 . 2) (10 . 3) (12 . 5) (13 . 6)) 4254 0.3999 6.5817 ((3 . 9) (4 . 11) (5 . 12) (9 . 18)) 4255 0.2801 5.6252 ((5 . 20) (6 . 21) (7 . 22) (10 . 24)) 4257 0.3999 7.2972 ((1 . 2) (5 . 6) (6 . 8) (10 . 11)) 4265 0.3999 7.4591 ((1 . 22) (6 . 26) (7 . 27) (10 . 29)) 4266 0.4000 5.0881 ((1 . 1) (6 . 6) (7 . 7) (10 . 8)) 4274 0.2800 9.0067 ((5 . 37) (7 . 39) (9 . 40) (10 . 41)) 4275 0.3999 6.2087 ((6 . 23) (7 . 24) (9 . 27) (10 . 28)) 4281 0.3999 7.7575 ((6 . 3) (9 . 4) (10 . 5) (13 . 10)) 4284 0.4000 4.6374 ((6 . 6) (7 . 7) (9 . 9) (10 . 10)) 4299 0.3998 8.5280 ((6 . 4) (7 . 5) (10 . 6) (13 . 9)) 4301 0.3998 8.0306 ((4 . 1) (9 . 6) (10 . 8) (13 . 10)) 4326 0.3996 10.2677 ((1 . 3) (5 . 5) (9 . 10) (10 . 11)) 4332 0.4998 6.2512 ((1 . 1) (3 . 2) (4 . 4) (5 . 5) (9 . 9)) 4338 0.3999 7.0050 ((3 . 2) (6 . 6) (9 . 7) (10 . 8)) 4352 0.2799 13.5733 ((1 . 6) (4 . 9) (5 . 12) (7 . 13)) 4359 0.4000 5.6240 ((3 . 4) (4 . 5) (9 . 11) (10 . 12)) 4380 0.4000 5.8780 ((3 . 2) (4 . 3) (12 . 15) (13 . 17)) 4383 0.3998 7.9844 ((6 . 14) (9 . 15) (10 . 16) (13 . 18)) 4386 0.4000 4.9928 ((6 . 16) (7 . 17) (9 . 18) (10 . 19)) 4388 0.3998 8.2559 ((1 . 2) (6 . 5) (9 . 6) (10 . 8)) 4398 0.3999 6.8627 ((1 . 2) (6 . 8) (7 . 9) (10 . 12)) 4405 0.5999 4.1950 ((1 . 13) (3 . 14) (4 . 19) (5 . 20) (12 . 22) (13 . 25)) 4408 0.3999 5.9851 ((3 . 1) (6 . 4) (7 . 5) (9 . 7)) 4415 0.3995 10.5692 ((4 . 3) (6 . 4) (7 . 5) (10 . 9)) 4419 0.4524 10.2316 ((1 . 1) (6 . 6) (7 . 5) (9 . 8) (10 . 9)) 4426 0.3997 9.5956 ((5 . 3) (6 . 4) (7 . 5) (10 . 6)) 4470 0.3999 6.4165 ((3 . 2) (4 . 3) (5 . 4) (12 . 10)) 4491 0.3985 13.9877 ((6 . 1) (7 . 4) (10 . 5) (12 . 6)) 4492 0.3999 6.6008 ((1 . 19) (3 . 21) (6 . 23) (9 . 26)) 4495 0.3998 8.6667 ((1 . 5) (3 . 6) (6 . 10) (7 . 11)) 4497 0.3998 8.3329 ((6 . 18) (9 . 23) (12 . 25) (13 . 26)) 4502 0.3999 6.6759 ((1 . 3) (6 . 9) (9 . 10) (10 . 11)) 4503 0.3993 11.5295 ((9 . 1) (10 . 3) (12 . 6) (13 . 7)) 4504 0.3999 7.4621 ((6 . 15) (7 . 16) (12 . 21) (13 . 22)) 4505 0.3996 10.3477 ((1 . 27) (3 . 28) (7 . 31) (9 . 34)) 4516 0.3997 9.5081 ((1 . 19) (3 . 20) (7 . 25) (10 . 28)) 4527 0.3995 10.6630 ((4 . 1) (5 . 2) (9 . 6) (10 . 7)) 4538 0.3985 14.0435 ((1 . 29) (3 . 33) (4 . 34) (6 . 38)) 4560 0.4000 5.0499 ((6 . 8) (7 . 10) (10 . 11) (13 . 13)) 4561 0.3997 9.4843 ((1 . 6) (3 . 7) (7 . 11) (10 . 16)) 4562 0.2799 12.5972 ((1 . 21) (3 . 22) (5 . 26) (7 . 28)) 4563 0.3997 9.2879 ((1 . 25) (5 . 30) (12 . 34) (13 . 35)) 4577 0.3999 7.3747 ((3 . 34) (6 . 37) (12 . 42) (13 . 43)) 4579 0.3823 6.2867 ((1 . 11) (5 . 13) (6 . 17) (9 . 18)) 4588 0.3999 7.7137 ((6 . 3) (9 . 8) (10 . 9) (13 . 13)) 4589 0.5734 5.0275 ((1 . 17) (3 . 18) (4 . 23) (5 . 24) (12 . 27) (13 . 30)) 4607 0.1970 8.5040 ((1 . 21) (5 . 23) (6 . 27) (7 . 28)) 4621 0.4996 7.7869 ((1 . 1) (6 . 4) (7 . 5) (9 . 8) (10 . 9)) 4630 0.3999 6.8399 ((3 . 26) (4 . 27) (6 . 31) (10 . 35)) 4648 0.3996 9.7907 ((6 . 1) (9 . 2) (12 . 5) (13 . 8)) 4653 0.4996 7.6693 ((3 . 1) (4 . 3) (6 . 5) (9 . 8) (10 . 9)) 4668 0.3998 8.1684 ((3 . 1) (6 . 5) (7 . 6) (13 . 11)) 4669 0.2800 11.5386 ((4 . 15) (5 . 16) (7 . 18) (12 . 21)) 4671 0.3999 6.2811 ((4 . 7) (6 . 11) (9 . 15) (13 . 19)) 4674 0.1654 7.1539 ((3 . 1) (4 . 2) (5 . 4) (9 . 8)) 4678 0.3361 11.0003 ((3 . 6) (5 . 8) (7 . 9) (9 . 12)) 4713 0.3995 10.7053 ((5 . 1) (9 . 5) (10 . 6) (13 . 8)) 4715 0.3823 6.8858 ((1 . 1) (5 . 2) (6 . 3) (9 . 6)) 4731 0.3998 8.8689 ((1 . 15) (3 . 18) (9 . 23) (10 . 24)) 4734 0.3998 8.3546 ((9 . 3) (10 . 4) (12 . 6) (13 . 7)) 4857 0.3999 6.5757 ((3 . 3) (9 . 9) (10 . 11) (13 . 13)) 4886 0.3998 8.4479 ((3 . 11) (9 . 16) (10 . 17) (13 . 19)) 4888 0.3995 10.4636 ((3 . 4) (7 . 10) (12 . 14) (13 . 15)) 4889 0.4000 4.6141 ((3 . 6) (4 . 7) (9 . 11) (10 . 12)) 4907 0.4000 5.8431 ((9 . 3) (10 . 4) (12 . 7) (13 . 8)) 4914 0.3999 6.0314 ((6 . 1) (7 . 2) (9 . 4) (10 . 5)) 4921 0.3993 11.7140 ((3 . 8) (4 . 7) (10 . 14) (12 . 15)) 4929 0.3997 9.6750 ((6 . 26) (10 . 29) (12 . 31) (13 . 32)) 4932 0.3999 6.3526 ((3 . 2) (4 . 4) (9 . 8) (12 . 10)) 4940 0.3986 13.8684 ((1 . 5) (3 . 6) (4 . 7) (13 . 12)) 4944 0.3999 7.4290 ((9 . 13) (10 . 14) (12 . 15) (13 . 16)) 4961 0.4000 5.7940 ((1 . 13) (3 . 14) (4 . 15) (7 . 18)) 4978 0.3997 9.1422 ((3 . 18) (6 . 21) (9 . 25) (13 . 28)) 4982 0.3998 7.9300 ((4 . 8) (6 . 10) (7 . 11) (13 . 18)) 4992 0.3999 6.0982 ((6 . 1) (9 . 2) (10 . 3) (13 . 6)) 4998 0.4000 4.0590 ((5 . 7) (6 . 8) (9 . 15) (10 . 19)) 5029 0.3999 6.3667 ((1 . 3) (6 . 6) (7 . 7) (10 . 10)) 5036 0.3999 7.6746 ((6 . 1) (9 . 2) (12 . 6) (13 . 7)) 5038 0.3363 7.4017 ((3 . 10) (4 . 12) (5 . 13) (9 . 18)) 5039 0.4000 4.2351 ((1 . 36) (6 . 41) (7 . 43) (10 . 44)) 5044 0.3999 6.7882 ((3 . 3) (4 . 8) (7 . 11) (9 . 16)) 5046 0.3997 9.2633 ((4 . 3) (6 . 4) (9 . 7) (12 . 10)) 5053 0.3996 9.8152 ((5 . 7) (7 . 8) (9 . 10) (10 . 11)) 5065 0.4987 10.2768 ((1 . 1) (3 . 2) (4 . 3) (5 . 5) (10 . 10)) 5068 0.4975 12.0225 ((1 . 1) (3 . 2) (7 . 6) (10 . 10) (12 . 12)) 5069 0.3999 6.6298 ((3 . 18) (4 . 19) (5 . 20) (7 . 22)) 5073 0.3996 10.3228 ((1 . 31) (3 . 32) (6 . 36) (10 . 39)) 5083 0.3995 10.4596 ((4 . 1) (7 . 4) (9 . 6) (10 . 8)) 5101 0.3998 8.6257 ((1 . 2) (6 . 7) (7 . 8) (10 . 10)) 5103 0.3667 11.4753 ((4 . 2) (5 . 3) (7 . 5) (12 . 9)) 5121 0.3998 8.2753 ((1 . 23) (3 . 25) (4 . 26) (6 . 29)) 5132 0.3996 9.9818 ((1 . 14) (3 . 16) (6 . 18) (7 . 19)) 5134 0.3988 13.1650 ((1 . 1) (4 . 6) (7 . 9) (12 . 14)) 5167 0.3999 6.7025 ((1 . 2) (3 . 3) (4 . 4) (13 . 12)) 5176 0.3992 11.9173 ((4 . 82) (6 . 84) (10 . 87) (12 . 88)) 5192 0.3996 10.2298 ((4 . 3) (5 . 4) (7 . 7) (9 . 9)) 5198 0.3628 20.3977 ((4 . 22) (5 . 23) (9 . 26) (13 . 31)) 5199 0.3997 9.5099 ((3 . 7) (4 . 8) (6 . 9) (9 . 10)) 5209 0.3990 12.6449 ((6 . 4) (7 . 6) (12 . 8) (13 . 9)) 5212 0.2412 11.1065 ((1 . 18) (5 . 20) (6 . 23) (7 . 25)) 5215 0.4000 5.2787 ((5 . 1) (6 . 3) (9 . 5) (10 . 9)) 5223 0.3999 7.7053 ((1 . 7) (3 . 8) (6 . 12) (10 . 15)) 5231 0.3999 7.3341 ((6 . 8) (9 . 12) (10 . 13) (13 . 16)) 5266 0.4992 9.1670 ((1 . 3) (3 . 4) (6 . 10) (7 . 11) (10 . 13)) 5278 0.4000 4.6068 ((5 . 1) (6 . 2) (9 . 5) (10 . 10)) 5307 0.4000 5.3730 ((6 . 53) (7 . 54) (9 . 57) (10 . 58)) 5312 0.3999 7.5435 ((9 . 1) (10 . 2) (12 . 3) (13 . 4)) 5318 0.3997 9.5135 ((4 . 19) (5 . 20) (9 . 22) (10 . 23)) 5323 0.4000 4.8606 ((1 . 9) (3 . 10) (4 . 11) (5 . 12)) 5324 0.3999 7.4495 ((1 . 11) (3 . 12) (6 . 15) (9 . 16)) 5344 0.3998 7.9118 ((6 . 4) (7 . 5) (9 . 7) (13 . 10)) 5345 0.3999 7.0772 ((4 . 7) (9 . 14) (10 . 15) (12 . 16)) 5368 0.4000 5.3900 ((3 . 39) (4 . 41) (9 . 46) (10 . 47)) 5378 0.5998 5.1933 ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (12 . 6) (13 . 7)) 5411 0.3999 6.7667 ((1 . 5) (3 . 6) (4 . 8) (5 . 9)) 5414 0.4000 5.7113 ((6 . 16) (7 . 17) (9 . 20) (10 . 21)) 5418 0.3999 6.2356 ((9 . 3) (10 . 5) (12 . 8) (13 . 9)) 5433 0.3670 7.5664 ((3 . 7) (4 . 8) (6 . 12) (10 . 18)) 5479 0.4992 9.0382 ((3 . 52) (4 . 53) (6 . 56) (10 . 61) (12 . 62)) 5487 0.4000 5.0231 ((3 . 2) (6 . 7) (7 . 8) (10 . 11)) 5489 0.4000 5.5616 ((6 . 2) (9 . 5) (10 . 6) (13 . 9)) 5500 0.3999 6.5336 ((9 . 2) (10 . 3) (12 . 4) (13 . 7)) 5501 0.3995 10.5599 ((1 . 22) (3 . 24) (4 . 25) (7 . 29)) 5525 0.3971 16.5898 ((1 . 1) (5 . 3) (7 . 5) (10 . 8)) 5535 0.3998 8.2123 ((3 . 2) (4 . 4) (9 . 10) (10 . 11)) 5540 0.3999 7.5234 ((4 . 6) (5 . 9) (12 . 16) (13 . 18)) 5557 0.2800 8.7907 ((3 . 2) (4 . 3) (5 . 5) (7 . 7)) 5560 0.4987 10.1899 ((1 . 14) (3 . 15) (6 . 20) (7 . 21) (10 . 22)) 5562 0.4000 5.5922 ((3 . 6) (4 . 7) (5 . 9) (12 . 14)) 5567 0.3998 8.1484 ((3 . 8) (10 . 17) (12 . 18) (13 . 19)) 5594 0.4000 4.6560 ((6 . 1) (7 . 2) (9 . 3) (10 . 4)) 5600 0.3999 6.5535 ((5 . 1) (9 . 5) (10 . 6) (13 . 9)) 5601 0.4000 5.5972 ((1 . 4) (6 . 8) (7 . 9) (13 . 15)) 5638 0.3996 9.9999 ((6 . 7) (9 . 8) (10 . 9) (13 . 13)) 5640 0.4000 5.6826 ((3 . 9) (9 . 17) (12 . 20) (13 . 21)) 5644 0.4000 4.7740 ((3 . 3) (4 . 4) (12 . 13) (13 . 14)) 5656 0.4000 5.8779 ((3 . 2) (4 . 3) (5 . 4) (12 . 10)) 5700 0.3998 7.8788 ((4 . 3) (6 . 4) (9 . 8) (10 . 9)) 5701 0.3996 9.7901 ((3 . 5) (4 . 6) (12 . 11) (13 . 12)) 5703 0.4988 9.9501 ((1 . 3) (4 . 5) (6 . 6) (9 . 7) (10 . 8)) 5711 0.4000 5.1579 ((3 . 33) (4 . 35) (9 . 42) (10 . 43)) 5713 0.4000 5.5194 ((3 . 7) (4 . 8) (9 . 15) (10 . 16)) 5718 0.4998 6.0949 ((1 . 15) (3 . 16) (4 . 17) (9 . 24) (10 . 25)) 5731 0.3998 7.8949 ((3 . 5) (5 . 8) (9 . 13) (12 . 15)) 5746 0.4997 6.9088 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (13 . 13)) 5749 0.3998 8.4784 ((1 . 2) (6 . 3) (9 . 4) (10 . 5)) 5761 0.3996 9.7650 ((4 . 28) (5 . 29) (9 . 32) (13 . 36)) 5770 0.3989 12.9817 ((1 . 2) (4 . 6) (5 . 7) (10 . 15)) 5771 0.4000 4.6588 ((5 . 7) (9 . 9) (12 . 13) (13 . 14)) 5782 0.3998 7.8784 ((3 . 22) (6 . 24) (9 . 29) (10 . 30)) 5794 0.3996 9.7756 ((3 . 15) (4 . 16) (5 . 17) (13 . 24)) 5795 0.3996 10.3260 ((1 . 2) (5 . 5) (6 . 6) (9 . 9)) 5809 0.4820 8.6408 ((1 . 4) (3 . 5) (6 . 9) (7 . 10) (10 . 12)) 5822 0.4000 5.8272 ((4 . 2) (9 . 6) (10 . 8) (13 . 9)) 5827 0.4000 5.4104 ((3 . 3) (4 . 4) (12 . 14) (13 . 15)) 5830 0.3999 7.6310 ((3 . 8) (4 . 10) (12 . 17) (13 . 18)) 5847 0.4000 4.8094 ((3 . 7) (4 . 8) (6 . 17) (9 . 18)) 5861 0.3999 6.4588 ((3 . 10) (6 . 16) (9 . 20) (10 . 25)) 5865 0.3999 7.0484 ((6 . 1) (9 . 4) (10 . 5) (13 . 7)) 5878 0.3995 10.8874 ((1 . 13) (10 . 25) (12 . 29) (13 . 30)) 5888 0.4000 5.8937 ((3 . 14) (4 . 15) (9 . 21) (10 . 22)) 5896 0.1970 8.6204 ((1 . 27) (3 . 26) (4 . 28) (5 . 30)) 5904 0.4994 8.4939 ((1 . 3) (3 . 4) (6 . 7) (7 . 8) (10 . 9)) 5913 0.3999 6.4223 ((5 . 8) (6 . 9) (9 . 10) (13 . 15)) 5922 0.3995 10.8984 ((4 . 6) (6 . 9) (9 . 10) (10 . 11)) 5930 0.3999 7.2166 ((4 . 1) (7 . 5) (12 . 8) (13 . 9)) 5939 0.3998 8.7882 ((1 . 1) (6 . 4) (7 . 5) (10 . 8)) 5945 0.3999 6.0250 ((3 . 7) (6 . 11) (12 . 16) (13 . 19)) 5949 0.3997 9.0737 ((1 . 8) (5 . 13) (6 . 14) (7 . 15)) 5955 0.3998 7.9766 ((1 . 2) (6 . 5) (7 . 8) (10 . 9)) 5972 0.3997 9.1222 ((5 . 1) (7 . 4) (9 . 6) (10 . 7)) 5977 0.3985 13.9808 ((6 . 3) (7 . 4) (10 . 5) (12 . 6)) 6000 0.3996 9.8824 ((1 . 22) (5 . 27) (9 . 28) (12 . 31)) 6011 0.4000 5.5332 ((3 . 9) (4 . 10) (12 . 19) (13 . 20)) 6022 0.3999 7.3915 ((4 . 1) (6 . 4) (9 . 5) (10 . 7)) 6028 0.3997 9.1120 ((3 . 2) (4 . 3) (7 . 8) (9 . 9)) 6029 0.4959 13.6951 ((3 . 10) (6 . 17) (9 . 18) (10 . 19) (13 . 23)) 6041 0.4000 5.1737 ((4 . 8) (9 . 12) (10 . 13) (13 . 15)) 6046 0.4000 5.6297 ((1 . 1) (3 . 5) (4 . 6) (5 . 7)) 6061 0.3998 8.5583 ((6 . 13) (9 . 14) (10 . 15) (13 . 17)) 6074 0.3999 6.7499 ((1 . 5) (3 . 6) (7 . 10) (10 . 13)) 6075 0.3999 7.6528 ((6 . 20) (7 . 22) (10 . 24) (13 . 27)) 6079 0.3998 8.4384 ((9 . 6) (10 . 7) (12 . 8) (13 . 9)) 6087 0.3362 10.1262 ((1 . 2) (5 . 4) (7 . 7) (9 . 8)) 6089 0.3999 7.2245 ((1 . 2) (6 . 5) (7 . 6) (10 . 11)) 6094 0.4000 5.6594 ((9 . 10) (10 . 11) (12 . 13) (13 . 14)) 6099 0.4996 7.5956 ((3 . 26) (4 . 28) (6 . 33) (9 . 34) (10 . 35)) 6123 0.2412 10.7908 ((3 . 2) (4 . 3) (5 . 6) (7 . 7)) 6142 0.4000 4.8437 ((3 . 15) (4 . 16) (9 . 24) (10 . 25)) 6167 0.3999 6.3003 ((6 . 4) (9 . 9) (10 . 10) (13 . 17)) 6173 0.4000 5.4439 ((3 . 3) (4 . 7) (9 . 9) (10 . 11)) 6191 1.0000 0.0000 ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (12 . 12) (13 . 13)) 6192 0.4993 8.6761 ((1 . 2) (3 . 3) (6 . 5) (9 . 10) (10 . 11)) 6215 0.3993 11.5310 ((4 . 17) (6 . 20) (7 . 22) (10 . 24)) 6225 0.3999 6.8347 ((1 . 25) (3 . 26) (4 . 28) (5 . 30)) 6228 0.4816 9.9486 ((1 . 8) (3 . 11) (4 . 12) (7 . 16) (10 . 19)) 6234 0.3999 7.6348 ((9 . 6) (10 . 7) (12 . 9) (13 . 10)) 6238 0.4991 9.3683 ((1 . 2) (3 . 3) (4 . 4) (5 . 6) (10 . 8)) 6243 0.4000 4.8893 ((3 . 2) (4 . 3) (5 . 5) (12 . 10)) 6251 0.3997 9.5181 ((3 . 8) (6 . 10) (7 . 11) (13 . 17)) 6258 0.3988 13.3174 ((1 . 2) (5 . 8) (9 . 10) (12 . 12)) 6261 0.3997 9.4757 ((3 . 21) (4 . 22) (5 . 23) (7 . 24)) 6266 0.3998 8.4058 ((1 . 1) (6 . 5) (7 . 7) (10 . 8)) 6270 0.3995 10.8456 ((3 . 13) (4 . 15) (5 . 16) (13 . 22)) 6271 0.3999 6.8905 ((3 . 4) (5 . 6) (9 . 10) (10 . 11)) 6273 0.3999 6.4461 ((3 . 1) (4 . 2) (6 . 4) (10 . 7)) 6294 0.3999 6.8693 ((6 . 6) (7 . 7) (10 . 9) (12 . 11)) 6306 0.3993 11.6839 ((6 . 15) (9 . 17) (12 . 19) (13 . 21)) 6309 0.3990 12.5981 ((3 . 18) (4 . 20) (6 . 25) (7 . 26)) 6311 0.3999 7.8400 ((3 . 4) (4 . 5) (12 . 13) (13 . 14)) 6326 0.5996 6.1395 ((3 . 6) (4 . 7) (9 . 9) (10 . 10) (12 . 11) (13 . 12)) 6338 0.3999 7.3735 ((9 . 4) (10 . 5) (12 . 7) (13 . 8)) 6344 0.3998 8.6811 ((1 . 10) (4 . 12) (9 . 18) (10 . 19)) 6345 0.3998 7.8861 ((1 . 9) (3 . 11) (4 . 13) (13 . 22)) 6348 0.3996 9.7886 ((1 . 3) (3 . 4) (7 . 8) (10 . 11)) 6355 0.5000 4.5175 ((3 . 4) (4 . 6) (6 . 8) (9 . 11) (10 . 12)) 6356 0.3998 8.6021 ((1 . 3) (6 . 6) (10 . 11) (13 . 13)) 6369 0.3999 6.8502 ((4 . 35) (5 . 36) (6 . 38) (7 . 39)) 6376 0.3998 8.8844 ((1 . 18) (3 . 19) (9 . 27) (10 . 28)) 6391 0.3999 6.8181 ((4 . 6) (6 . 8) (9 . 10) (10 . 12)) 6392 0.3996 10.0418 ((1 . 2) (3 . 3) (6 . 7) (10 . 9)) 6399 0.4000 5.1281 ((3 . 6) (4 . 7) (9 . 12) (10 . 13)) 6403 0.3999 6.4098 ((3 . 3) (4 . 4) (12 . 12) (13 . 13)) 6434 0.3999 6.8333 ((5 . 1) (6 . 3) (9 . 4) (10 . 5)) 6462 0.4000 5.0401 ((1 . 27) (3 . 28) (4 . 29) (5 . 31)) 6498 0.3996 10.1299 ((3 . 1) (4 . 2) (6 . 3) (7 . 5)) 6520 0.3999 6.7890 ((9 . 1) (10 . 2) (12 . 3) (13 . 6)) 6536 0.3823 7.8297 ((1 . 30) (5 . 34) (6 . 35) (9 . 36)) 6539 0.4997 7.0265 ((1 . 3) (3 . 4) (4 . 5) (5 . 7) (9 . 10)) 6540 0.3981 14.8308 ((4 . 12) (6 . 16) (10 . 18) (12 . 20)) 6548 0.3998 7.9853 ((5 . 4) (6 . 5) (7 . 6) (10 . 7)) 6553 0.3999 7.3972 ((1 . 12) (7 . 19) (12 . 24) (13 . 25)) 6555 0.3999 6.7914 ((6 . 22) (9 . 23) (10 . 24) (13 . 28)) 6561 0.4989 9.7261 ((1 . 5) (3 . 9) (4 . 10) (5 . 11) (12 . 15)) 6573 0.3998 7.9545 ((6 . 19) (10 . 21) (12 . 23) (13 . 24)) 6575 0.3996 9.9910 ((3 . 1) (4 . 2) (6 . 5) (7 . 6)) 6578 0.3999 6.0307 ((9 . 31) (10 . 32) (12 . 34) (13 . 37)) 6584 0.4989 9.7328 ((5 . 1) (9 . 6) (10 . 7) (12 . 8) (13 . 9)) 6585 0.5000 4.1135 ((1 . 7) (3 . 10) (4 . 11) (9 . 14) (10 . 15)) 6587 0.4000 4.6557 ((1 . 27) (3 . 33) (4 . 34) (5 . 35)) 6598 0.3999 6.3340 ((3 . 24) (4 . 25) (9 . 29) (10 . 30)) 6613 0.3999 6.4344 ((3 . 21) (4 . 22) (9 . 27) (10 . 28)) 6635 0.4000 5.0966 ((1 . 2) (3 . 5) (4 . 4) (5 . 10)) END