3103 25 0.3994 11.1831 ((1 . 7) (5 . 11) (6 . 12) (12 . 13)) 41 0.3999 6.1546 ((5 . 3) (6 . 6) (11 . 7) (12 . 8)) 51 0.4999 5.9370 ((3 . 6) (5 . 7) (9 . 11) (11 . 13) (13 . 14)) 62 0.3999 6.6134 ((2 . 10) (3 . 12) (5 . 13) (6 . 15)) 64 0.3999 6.1186 ((2 . 10) (3 . 12) (5 . 13) (9 . 15)) 77 0.3999 6.2436 ((2 . 7) (3 . 8) (11 . 15) (12 . 17)) 91 0.3996 10.3333 ((6 . 15) (7 . 18) (11 . 21) (12 . 22)) 96 0.4000 5.0589 ((5 . 1) (9 . 3) (11 . 5) (13 . 6)) 129 0.4999 5.0150 ((2 . 2) (3 . 3) (5 . 5) (9 . 11) (11 . 12)) 136 0.4000 5.2028 ((5 . 3) (9 . 5) (11 . 7) (13 . 8)) 153 0.4998 6.2582 ((3 . 6) (5 . 7) (9 . 9) (11 . 10) (13 . 12)) 155 0.3997 9.0659 ((2 . 3) (6 . 5) (7 . 6) (12 . 8)) 157 0.3997 9.1541 ((1 . 1) (3 . 3) (7 . 6) (13 . 11)) 161 0.3999 7.6787 ((3 . 2) (5 . 4) (7 . 7) (11 . 10)) 162 0.3999 7.3546 ((3 . 12) (6 . 16) (11 . 18) (12 . 19)) 169 0.4996 7.5204 ((1 . 3) (5 . 7) (9 . 9) (11 . 10) (13 . 11)) 177 0.7998 3.4760 ((1 . 1) (2 . 3) (3 . 4) (5 . 5) (9 . 7) (11 . 8) (12 . 9) (13 . 10)) 191 0.3999 6.7937 ((1 . 6) (2 . 7) (3 . 8) (5 . 9)) 198 0.3670 8.0986 ((1 . 7) (2 . 9) (5 . 13) (9 . 17)) 207 0.3999 6.5843 ((5 . 8) (6 . 11) (9 . 13) (13 . 15)) 300 0.3999 6.2454 ((1 . 2) (6 . 5) (11 . 9) (13 . 10)) 305 0.3999 6.6318 ((2 . 15) (3 . 16) (5 . 18) (9 . 21)) 307 0.3994 11.2806 ((5 . 3) (6 . 6) (9 . 7) (12 . 10)) 315 0.3999 6.1971 ((3 . 3) (5 . 5) (7 . 7) (9 . 8)) 340 0.3671 5.8455 ((3 . 1) (5 . 2) (7 . 5) (9 . 9)) 350 0.3999 6.8128 ((1 . 16) (2 . 17) (3 . 18) (5 . 20)) 360 0.4996 7.4503 ((1 . 6) (2 . 7) (3 . 8) (5 . 9) (12 . 15)) 361 0.3999 7.0756 ((1 . 2) (3 . 4) (7 . 7) (13 . 10)) 365 0.4999 5.3584 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (9 . 8)) 367 0.4998 6.1167 ((1 . 38) (2 . 40) (3 . 42) (5 . 43) (9 . 48)) 372 0.2801 7.3636 ((1 . 8) (2 . 10) (3 . 11) (5 . 14)) 387 0.3999 6.8960 ((1 . 9) (2 . 10) (3 . 11) (5 . 12)) 405 0.3999 6.6309 ((1 . 37) (2 . 38) (3 . 39) (5 . 40)) 417 0.2800 11.5494 ((1 . 1) (3 . 2) (6 . 6) (11 . 9)) 420 0.4997 6.8478 ((2 . 1) (3 . 2) (5 . 3) (9 . 8) (11 . 9)) 433 0.3997 9.1629 ((1 . 6) (2 . 7) (5 . 9) (6 . 8)) 442 0.4000 5.9804 ((5 . 6) (9 . 10) (11 . 12) (12 . 13)) 460 0.4000 4.6923 ((3 . 1) (5 . 6) (11 . 7) (13 . 8)) 472 0.2800 9.2463 ((1 . 22) (6 . 24) (11 . 31) (12 . 33)) 491 0.0999 8.6625 ((3 . 1) (7 . 5) (11 . 6) (13 . 10)) 495 0.4993 8.8472 ((1 . 1) (3 . 3) (7 . 6) (11 . 9) (13 . 11)) 541 0.3994 11.1333 ((1 . 2) (3 . 5) (11 . 11) (12 . 13)) 543 0.3999 6.3965 ((2 . 4) (3 . 5) (9 . 10) (12 . 14)) 561 0.3999 6.0751 ((5 . 1) (9 . 3) (11 . 4) (12 . 5)) 584 0.4971 12.4995 ((6 . 1) (7 . 2) (9 . 4) (11 . 5) (13 . 7)) 587 0.4000 5.4748 ((2 . 3) (3 . 4) (5 . 6) (9 . 9)) 609 0.4000 4.6521 ((5 . 1) (6 . 2) (11 . 3) (13 . 6)) 619 0.3998 8.6764 ((1 . 6) (2 . 7) (5 . 9) (13 . 15)) 624 0.3999 7.0379 ((1 . 22) (3 . 24) (5 . 26) (6 . 27)) 635 0.3999 7.1449 ((6 . 11) (9 . 13) (11 . 14) (13 . 15)) 672 0.3999 7.0341 ((6 . 19) (9 . 22) (11 . 23) (13 . 24)) 678 0.3999 6.8281 ((2 . 22) (5 . 24) (6 . 25) (13 . 29)) 683 0.3997 9.4184 ((1 . 2) (2 . 3) (3 . 5) (5 . 6)) 729 0.2800 10.0245 ((5 . 7) (6 . 8) (12 . 14) (13 . 15)) 735 0.3999 6.1583 ((1 . 32) (2 . 33) (3 . 36) (5 . 37)) 765 0.4000 4.9067 ((1 . 9) (2 . 12) (5 . 17) (9 . 20)) 767 0.4000 4.7598 ((2 . 1) (5 . 9) (11 . 10) (13 . 12)) 795 0.1493 7.9511 ((9 . 1) (11 . 3) (12 . 4) (13 . 5)) 796 0.3999 6.1892 ((5 . 3) (9 . 5) (11 . 6) (12 . 7)) 801 0.3997 9.2926 ((1 . 1) (2 . 2) (3 . 4) (5 . 5)) 812 0.4000 4.5180 ((5 . 11) (6 . 12) (11 . 13) (13 . 16)) 818 0.3999 7.8628 ((2 . 1) (6 . 5) (12 . 11) (13 . 12)) 819 0.3999 6.3602 ((1 . 3) (9 . 8) (11 . 9) (13 . 10)) 861 0.3999 6.7974 ((1 . 12) (3 . 15) (5 . 16) (9 . 19)) 901 0.3999 6.4373 ((6 . 10) (7 . 11) (9 . 12) (13 . 15)) 904 0.3999 7.8255 ((1 . 2) (2 . 3) (5 . 6) (6 . 5)) 928 0.4962 13.4099 ((2 . 3) (5 . 5) (6 . 6) (9 . 8) (12 . 11)) 937 0.3999 6.5170 ((5 . 1) (9 . 4) (11 . 5) (12 . 6)) 943 0.3999 6.3270 ((2 . 4) (5 . 6) (6 . 7) (9 . 9)) 945 0.3999 6.5947 ((2 . 12) (5 . 14) (6 . 16) (9 . 19)) 949 0.3999 6.4190 ((5 . 27) (9 . 30) (11 . 32) (12 . 33)) 960 0.4996 7.4817 ((1 . 1) (2 . 3) (3 . 4) (9 . 8) (11 . 9)) 978 0.3999 6.5518 ((5 . 16) (6 . 18) (9 . 19) (13 . 22)) 980 0.2800 9.4117 ((2 . 3) (3 . 5) (6 . 6) (9 . 9)) 1005 0.3996 10.1400 ((2 . 1) (3 . 2) (6 . 4) (7 . 5)) 1007 0.3999 6.7388 ((2 . 12) (3 . 13) (5 . 14) (6 . 15)) 1008 0.3999 6.0213 ((2 . 3) (3 . 5) (5 . 8) (11 . 13)) 1034 0.3999 6.2693 ((2 . 20) (3 . 21) (5 . 22) (13 . 29)) 1043 0.4986 10.4795 ((2 . 6) (6 . 9) (9 . 12) (11 . 14) (12 . 15)) 1082 0.4996 7.4872 ((1 . 1) (2 . 3) (3 . 4) (9 . 8) (11 . 9)) 1084 0.3998 8.6138 ((1 . 8) (3 . 10) (6 . 15) (11 . 18)) 1165 0.3999 6.2283 ((2 . 2) (3 . 3) (5 . 4) (6 . 5)) 1167 0.3998 8.1322 ((1 . 20) (2 . 21) (3 . 22) (12 . 28)) 1169 0.4000 5.8207 ((1 . 29) (2 . 30) (3 . 31) (5 . 34)) 1195 0.3999 6.4465 ((1 . 2) (2 . 4) (3 . 5) (5 . 6)) 1201 0.3991 12.4836 ((3 . 4) (6 . 5) (9 . 9) (12 . 13)) 1204 0.3996 10.0635 ((1 . 11) (6 . 15) (11 . 20) (12 . 21)) 1211 0.3999 7.0798 ((2 . 8) (3 . 9) (5 . 10) (12 . 17)) 1217 0.3821 9.6231 ((2 . 3) (5 . 7) (6 . 8) (9 . 12)) 1224 0.4989 9.8345 ((2 . 5) (5 . 7) (9 . 10) (12 . 13) (13 . 14)) 1233 0.3998 8.6800 ((2 . 11) (5 . 14) (9 . 20) (13 . 22)) 1267 0.3999 6.7565 ((2 . 24) (6 . 27) (9 . 31) (13 . 33)) 1268 0.3965 17.3497 ((1 . 22) (2 . 23) (7 . 28) (13 . 31)) 1294 0.4999 4.9034 ((3 . 40) (5 . 41) (9 . 44) (11 . 46) (13 . 47)) 1345 0.4000 4.7045 ((2 . 7) (9 . 12) (11 . 13) (13 . 14)) 1366 0.4000 5.8514 ((7 . 13) (9 . 15) (11 . 16) (13 . 17)) 1388 0.3999 6.2804 ((5 . 1) (9 . 4) (11 . 5) (12 . 6)) 1410 0.3999 6.5066 ((1 . 19) (2 . 21) (5 . 23) (9 . 26)) 1425 0.4997 6.8731 ((1 . 2) (2 . 4) (3 . 6) (5 . 8) (9 . 12)) 1435 0.1970 7.5914 ((1 . 2) (2 . 3) (5 . 5) (13 . 11)) 1447 0.3361 11.0524 ((2 . 5) (5 . 7) (6 . 8) (7 . 10)) 1451 0.3998 8.4414 ((2 . 3) (3 . 4) (7 . 7) (9 . 9)) 1464 0.3669 8.9230 ((3 . 8) (5 . 10) (6 . 12) (9 . 14)) 1476 0.3999 6.0751 ((1 . 9) (3 . 11) (11 . 18) (12 . 19)) 1481 0.3670 7.8447 ((1 . 1) (2 . 2) (5 . 4) (12 . 9)) 1501 0.3999 7.6226 ((5 . 1) (9 . 3) (11 . 5) (13 . 6)) 1513 0.3998 8.4918 ((2 . 11) (5 . 13) (9 . 18) (12 . 19)) 1514 0.4000 5.4879 ((5 . 1) (9 . 3) (11 . 4) (12 . 5)) 1577 0.4982 11.1742 ((6 . 1) (7 . 2) (9 . 4) (11 . 5) (13 . 6)) 1591 0.3983 14.5357 ((6 . 3) (7 . 5) (9 . 6) (12 . 7)) 1595 0.3362 10.2649 ((7 . 4) (11 . 7) (12 . 9) (13 . 8)) 1604 0.3999 6.1079 ((1 . 7) (3 . 10) (7 . 13) (12 . 16)) 1622 0.3999 6.8463 ((2 . 18) (5 . 20) (9 . 22) (11 . 23)) 1624 0.3998 8.2932 ((1 . 2) (2 . 3) (3 . 4) (12 . 11)) 1643 0.4000 4.9943 ((1 . 26) (3 . 28) (11 . 37) (13 . 38)) 1644 0.4999 4.8215 ((2 . 43) (3 . 44) (9 . 50) (11 . 51) (13 . 52)) 1665 0.2411 15.2498 ((1 . 3) (2 . 4) (6 . 7) (9 . 10)) 1690 0.3999 6.7469 ((2 . 14) (5 . 18) (12 . 23) (13 . 24)) 1692 0.1654 8.2997 ((1 . 1) (5 . 5) (9 . 8) (13 . 10)) 1731 0.3984 14.1800 ((2 . 6) (5 . 8) (6 . 7) (7 . 9)) 1736 0.3998 8.0386 ((2 . 3) (5 . 5) (6 . 6) (13 . 10)) 1738 0.3999 7.3581 ((5 . 4) (6 . 5) (9 . 9) (13 . 11)) 1747 0.4989 9.8954 ((1 . 18) (2 . 19) (6 . 23) (9 . 25) (11 . 27)) 1756 0.4000 4.5030 ((2 . 21) (3 . 23) (5 . 25) (11 . 31)) 1759 0.4997 7.1098 ((2 . 1) (3 . 2) (5 . 4) (9 . 9) (11 . 10)) 1761 0.4000 5.3461 ((1 . 7) (3 . 9) (11 . 16) (12 . 18)) 1763 0.4000 3.3684 ((1 . 3) (3 . 9) (9 . 10) (12 . 12)) 1776 0.3995 10.4159 ((3 . 1) (7 . 6) (11 . 9) (12 . 10)) 1777 0.3998 8.3132 ((1 . 34) (3 . 37) (5 . 42) (11 . 50)) 1778 0.3999 7.8075 ((1 . 3) (2 . 4) (3 . 5) (12 . 11)) 1793 0.3999 7.7402 ((1 . 6) (3 . 8) (11 . 13) (13 . 14)) 1805 0.3999 6.1489 ((2 . 12) (3 . 14) (5 . 15) (9 . 17)) 1808 0.3999 7.2207 ((1 . 5) (2 . 6) (3 . 8) (5 . 9)) 1867 0.4000 5.7488 ((2 . 3) (3 . 6) (5 . 7) (6 . 8)) 1894 0.4000 5.5114 ((2 . 18) (5 . 20) (9 . 25) (11 . 26)) 1896 0.3670 8.5707 ((2 . 24) (3 . 26) (5 . 27) (6 . 28)) 1897 0.4000 5.9303 ((2 . 32) (3 . 34) (9 . 39) (11 . 40)) 1908 0.3362 9.5706 ((3 . 7) (6 . 9) (7 . 14) (9 . 15)) 1909 0.3998 8.5600 ((5 . 29) (6 . 30) (9 . 31) (13 . 37)) 1913 0.4000 4.7375 ((1 . 3) (2 . 5) (3 . 6) (11 . 16)) 1944 0.3999 7.7367 ((5 . 13) (6 . 14) (12 . 20) (13 . 22)) 1957 0.3999 6.4748 ((1 . 3) (3 . 5) (6 . 6) (7 . 8)) 1961 0.4000 5.6787 ((2 . 14) (5 . 16) (9 . 19) (11 . 20)) 1967 0.3999 7.0742 ((1 . 1) (2 . 3) (6 . 6) (13 . 10)) 1972 0.3989 12.9803 ((1 . 18) (3 . 20) (6 . 21) (11 . 27)) 1992 0.3993 11.5223 ((1 . 1) (2 . 3) (6 . 5) (13 . 12)) 1995 0.4000 5.0788 ((3 . 3) (9 . 11) (11 . 12) (13 . 13)) 2003 0.4000 5.4688 ((6 . 1) (7 . 2) (9 . 5) (13 . 8)) 2006 0.4995 8.1409 ((1 . 15) (2 . 16) (3 . 18) (11 . 24) (12 . 27)) 2048 0.4000 5.1225 ((1 . 4) (3 . 6) (11 . 13) (12 . 14)) 2054 0.3818 11.4826 ((1 . 2) (7 . 10) (9 . 14) (12 . 16)) 2063 0.4998 6.5647 ((1 . 42) (2 . 43) (3 . 44) (5 . 45) (9 . 50)) 2065 0.3669 8.8644 ((9 . 17) (11 . 18) (12 . 20) (13 . 22)) 2067 0.3999 6.9869 ((1 . 38) (2 . 39) (7 . 47) (12 . 52)) 2072 0.4715 8.1108 ((2 . 5) (3 . 6) (5 . 7) (6 . 8) (7 . 9)) 2081 0.3999 6.5649 ((1 . 12) (9 . 20) (11 . 21) (13 . 23)) 2083 0.4998 6.6329 ((5 . 2) (6 . 3) (11 . 4) (12 . 6) (13 . 7)) 2097 0.3989 13.0441 ((7 . 2) (9 . 4) (11 . 5) (13 . 7)) 2114 0.3999 6.1346 ((2 . 28) (3 . 29) (9 . 36) (12 . 38)) 2116 0.4999 4.5400 ((2 . 5) (3 . 6) (5 . 7) (9 . 10) (11 . 11)) 2117 0.3998 8.1911 ((2 . 6) (9 . 14) (11 . 16) (13 . 17)) 2118 0.3993 11.5285 ((1 . 5) (3 . 7) (11 . 11) (13 . 12)) 2122 0.3997 9.3684 ((3 . 1) (7 . 7) (11 . 10) (12 . 11)) 2166 0.3999 6.8517 ((3 . 12) (6 . 14) (11 . 16) (13 . 17)) 2179 0.3999 7.1393 ((1 . 10) (3 . 13) (6 . 16) (7 . 18)) 2196 0.4000 3.8229 ((1 . 13) (2 . 14) (3 . 15) (5 . 18)) 2203 0.3999 6.5889 ((5 . 1) (9 . 5) (11 . 7) (12 . 8)) 2205 0.6998 4.0928 ((1 . 13) (2 . 16) (3 . 17) (5 . 18) (9 . 22) (11 . 23) (13 . 26)) 2209 0.3998 8.1086 ((2 . 5) (3 . 6) (5 . 7) (6 . 8)) 2243 0.3999 6.2376 ((1 . 53) (2 . 54) (3 . 55) (12 . 68)) 2244 0.4998 6.2151 ((1 . 71) (2 . 74) (3 . 75) (5 . 76) (9 . 80)) 2248 0.2800 9.6737 ((1 . 16) (7 . 23) (12 . 26) (13 . 27)) 2249 0.4000 5.8734 ((1 . 12) (3 . 16) (7 . 19) (9 . 23)) 2269 0.4996 7.7940 ((1 . 6) (2 . 7) (3 . 8) (11 . 12) (12 . 13)) 2279 0.3999 7.7098 ((5 . 10) (7 . 12) (11 . 19) (13 . 20)) 2298 0.4000 5.9737 ((2 . 4) (5 . 6) (6 . 7) (13 . 12)) 2308 0.3999 7.3344 ((1 . 4) (2 . 5) (11 . 11) (12 . 12)) 2314 0.3999 7.4202 ((1 . 2) (2 . 3) (3 . 4) (5 . 7)) 2340 0.4000 4.7279 ((5 . 9) (9 . 11) (11 . 13) (13 . 14)) 2344 0.3998 8.0639 ((1 . 3) (3 . 6) (5 . 7) (11 . 13)) 2364 0.3999 6.3778 ((2 . 7) (5 . 9) (6 . 10) (9 . 15)) 2381 0.3999 6.9746 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 2389 0.4993 8.7083 ((1 . 6) (2 . 7) (3 . 8) (5 . 9) (12 . 15)) 2393 0.3361 11.4651 ((5 . 15) (7 . 17) (11 . 18) (12 . 19)) 2408 0.4000 4.7884 ((1 . 42) (2 . 45) (3 . 46) (5 . 47)) 2409 0.4000 5.5279 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 2422 0.2801 6.4216 ((1 . 1) (3 . 4) (5 . 7) (7 . 10)) 2423 0.4000 5.2829 ((3 . 19) (5 . 20) (11 . 25) (13 . 26)) 2440 0.3999 7.6674 ((1 . 7) (2 . 8) (3 . 9) (6 . 12)) 2447 0.3999 6.4540 ((5 . 15) (6 . 16) (12 . 20) (13 . 21)) 2462 0.0999 7.1597 ((1 . 3) (3 . 6) (11 . 11) (13 . 12)) 2510 0.3999 7.7170 ((1 . 17) (3 . 19) (11 . 27) (12 . 28)) 2519 0.2801 7.2716 ((5 . 2) (6 . 3) (11 . 5) (12 . 6)) 2525 0.3999 6.5409 ((3 . 38) (5 . 41) (9 . 43) (13 . 47)) 2529 0.4000 4.7805 ((5 . 1) (9 . 3) (11 . 5) (13 . 6)) 2533 0.3999 6.4756 ((2 . 4) (5 . 6) (6 . 7) (9 . 9)) 2551 0.1970 8.5594 ((6 . 7) (7 . 8) (11 . 11) (13 . 12)) 2552 0.3999 7.3836 ((1 . 1) (3 . 3) (6 . 4) (7 . 6)) 2556 0.4000 5.6793 ((1 . 11) (3 . 13) (11 . 20) (12 . 21)) 2557 0.2800 11.2867 ((6 . 1) (11 . 6) (12 . 8) (13 . 7)) 2561 0.3999 6.3032 ((1 . 1) (9 . 7) (11 . 8) (13 . 9)) 2595 0.3999 7.8453 ((5 . 4) (6 . 5) (9 . 6) (13 . 11)) 2619 0.4000 5.1245 ((5 . 1) (6 . 4) (11 . 5) (13 . 7)) 2627 0.3999 7.5639 ((5 . 60) (6 . 59) (9 . 64) (11 . 65)) 2650 0.3999 7.0211 ((3 . 1) (5 . 2) (6 . 4) (11 . 6)) 2658 0.1970 8.9587 ((6 . 8) (7 . 9) (11 . 12) (13 . 13)) 2675 0.4000 5.5401 ((2 . 1) (9 . 8) (11 . 10) (13 . 11)) 2682 0.4000 4.0422 ((5 . 7) (6 . 8) (11 . 11) (13 . 15)) 2696 0.4000 4.9030 ((1 . 34) (2 . 35) (3 . 36) (5 . 38)) 2731 0.3999 6.2747 ((5 . 1) (9 . 4) (11 . 5) (12 . 6)) 2733 0.2801 7.6243 ((5 . 1) (9 . 4) (12 . 7) (13 . 8)) 2755 0.3998 8.4449 ((3 . 3) (9 . 6) (11 . 8) (13 . 10)) 2773 0.4000 5.9715 ((2 . 2) (3 . 3) (9 . 6) (12 . 8)) 2783 0.4000 5.6525 ((2 . 6) (3 . 7) (5 . 8) (9 . 12)) 2804 0.3999 6.6163 ((3 . 25) (5 . 29) (12 . 35) (13 . 36)) 2821 0.4997 7.0484 ((1 . 1) (2 . 2) (3 . 3) (11 . 11) (12 . 12)) 2830 0.4000 5.1213 ((5 . 15) (6 . 16) (12 . 18) (13 . 19)) 2834 0.3999 6.6900 ((7 . 2) (9 . 5) (11 . 6) (12 . 7)) 2840 0.7798 3.8434 ((1 . 1) (3 . 5) (5 . 6) (6 . 7) (9 . 8) (11 . 9) (12 . 10) (13 . 11)) 2842 0.0999 9.5246 ((1 . 1) (6 . 3) (9 . 5) (13 . 9)) 2867 0.3363 7.0989 ((3 . 7) (6 . 10) (7 . 11) (9 . 12)) 2879 0.4999 5.7969 ((1 . 51) (2 . 52) (3 . 53) (5 . 54) (9 . 59)) 2886 0.4000 5.2842 ((1 . 34) (2 . 35) (3 . 37) (5 . 38)) 2929 0.3998 8.1169 ((5 . 36) (7 . 37) (11 . 40) (12 . 41)) 2940 0.3998 7.9309 ((5 . 1) (6 . 2) (11 . 5) (13 . 6)) 2947 0.4999 5.8564 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (11 . 7)) 2966 0.4999 5.3937 ((2 . 1) (5 . 4) (6 . 5) (11 . 9) (13 . 16)) 2990 0.5000 4.0168 ((1 . 9) (2 . 12) (5 . 14) (11 . 15) (13 . 16)) 2999 0.3999 6.2213 ((5 . 2) (6 . 3) (9 . 6) (11 . 7)) 3014 0.3997 9.3257 ((1 . 4) (2 . 5) (6 . 8) (7 . 9)) 3019 0.4710 10.1509 ((2 . 9) (3 . 10) (5 . 11) (9 . 14) (12 . 15)) 3034 0.3998 8.0566 ((2 . 1) (5 . 5) (6 . 6) (13 . 9)) 3041 0.3992 11.8575 ((1 . 18) (3 . 22) (11 . 29) (13 . 30)) 3055 0.4000 5.1396 ((1 . 15) (3 . 19) (11 . 27) (13 . 28)) 3063 0.4999 5.8256 ((1 . 35) (2 . 37) (3 . 38) (5 . 39) (9 . 42)) 3070 0.2801 5.2546 ((3 . 32) (5 . 33) (6 . 34) (7 . 37)) 3084 0.3998 8.2804 ((5 . 15) (6 . 16) (9 . 17) (13 . 21)) 3102 0.4000 5.5848 ((1 . 58) (3 . 60) (5 . 62) (13 . 69)) 3103 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (11 . 11) (12 . 12) (13 . 13)) 3114 0.3999 7.0689 ((1 . 23) (2 . 24) (3 . 25) (6 . 28)) 3120 0.3671 6.1256 ((3 . 21) (5 . 22) (6 . 23) (7 . 24) (11 . 25)) 3127 0.3998 7.9778 ((2 . 3) (3 . 4) (5 . 6) (6 . 7)) 3147 0.3999 6.2961 ((1 . 16) (2 . 17) (3 . 18) (5 . 19)) 3187 0.4995 7.9258 ((1 . 1) (2 . 2) (5 . 4) (9 . 6) (11 . 7)) 3190 0.2800 8.7041 ((1 . 1) (3 . 3) (9 . 9) (12 . 10)) 3197 0.4000 3.3830 ((5 . 19) (6 . 20) (12 . 23) (13 . 24)) 3200 0.3363 6.4981 ((5 . 11) (6 . 12) (11 . 16) (13 . 18)) 3202 0.3669 9.4672 ((3 . 8) (5 . 9) (6 . 10) (12 . 15)) 3212 0.3999 7.1514 ((1 . 3) (2 . 5) (6 . 7) (7 . 10)) 3222 0.3999 6.9858 ((2 . 6) (3 . 7) (6 . 9) (11 . 16)) 3256 0.7997 4.0756 ((1 . 13) (2 . 18) (3 . 19) (5 . 20) (9 . 25) (11 . 26) (12 . 27) (13 . 28)) 3261 0.3999 6.4182 ((2 . 1) (3 . 2) (11 . 6) (13 . 7)) 3286 0.3998 8.6536 ((1 . 4) (2 . 5) (5 . 7) (6 . 8)) 3289 0.2801 5.8315 ((5 . 25) (7 . 28) (9 . 30) (11 . 31)) 3297 0.4999 5.8164 ((3 . 7) (5 . 8) (9 . 11) (11 . 12) (13 . 13)) 3300 0.3997 9.5378 ((1 . 2) (3 . 4) (6 . 9) (12 . 12)) 3322 0.3998 8.0017 ((1 . 1) (3 . 3) (6 . 6) (7 . 8)) 3334 0.3997 9.3930 ((2 . 4) (3 . 5) (5 . 6) (12 . 11)) 3339 0.3999 7.5992 ((1 . 28) (5 . 33) (6 . 35) (7 . 36)) 3344 0.4000 5.6994 ((2 . 18) (3 . 20) (5 . 21) (11 . 27)) 3358 0.3995 10.8468 ((3 . 1) (6 . 3) (9 . 7) (13 . 10)) 3362 0.3999 6.2445 ((1 . 6) (3 . 8) (5 . 10) (7 . 12)) 3366 0.4000 4.7123 ((2 . 22) (5 . 26) (9 . 28) (11 . 29)) 3391 0.4000 5.6742 ((3 . 4) (5 . 6) (6 . 7) (9 . 10)) 3410 0.3996 9.8573 ((1 . 19) (3 . 21) (5 . 24) (9 . 28)) 3418 0.3999 6.7056 ((1 . 2) (2 . 5) (3 . 6) (5 . 7)) 3446 0.1329 10.0038 ((2 . 5) (6 . 9) (7 . 10) (12 . 12)) 3472 0.5996 6.1335 ((2 . 1) (3 . 3) (5 . 4) (9 . 9) (11 . 11) (13 . 12)) 3481 0.4000 5.7572 ((1 . 4) (2 . 7) (3 . 8) (7 . 11)) 3489 0.6997 4.5507 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (9 . 10) (11 . 12) (13 . 14)) 3495 0.3999 6.2993 ((3 . 7) (5 . 8) (6 . 9) (13 . 16)) 3496 0.4998 6.1407 ((2 . 18) (3 . 19) (9 . 23) (12 . 28) (13 . 29)) 3533 0.2800 10.4231 ((1 . 1) (2 . 3) (3 . 5) (5 . 7)) 3537 0.3358 13.3024 ((3 . 9) (5 . 10) (6 . 11) (7 . 12)) 3538 0.3999 7.2740 ((1 . 20) (5 . 23) (11 . 26) (12 . 27)) 3548 0.4000 5.8491 ((1 . 2) (2 . 3) (3 . 4) (6 . 7)) 3549 0.3999 6.4097 ((2 . 2) (3 . 3) (5 . 5) (6 . 4)) 3561 0.3998 7.9476 ((6 . 25) (9 . 28) (11 . 30) (13 . 31)) 3570 0.3999 6.1162 ((2 . 4) (3 . 7) (5 . 8) (9 . 10)) 3585 0.3999 6.9169 ((2 . 11) (3 . 12) (5 . 13) (7 . 15)) 3613 0.3361 11.4751 ((3 . 35) (6 . 39) (9 . 41) (12 . 42)) 3625 0.4000 5.6282 ((5 . 1) (9 . 3) (11 . 5) (13 . 6)) 3626 0.3999 6.7288 ((2 . 2) (3 . 3) (5 . 6) (9 . 11)) 3628 0.3999 7.4467 ((3 . 6) (9 . 10) (11 . 12) (12 . 13)) 3651 0.3999 7.0577 ((6 . 7) (9 . 11) (11 . 13) (12 . 14)) 3656 0.3668 10.0455 ((9 . 22) (11 . 23) (12 . 25) (13 . 24)) 3658 0.4000 4.6543 ((5 . 1) (6 . 2) (11 . 6) (13 . 7)) 3661 0.3997 9.2256 ((1 . 7) (5 . 12) (6 . 13) (12 . 18)) 3663 0.3363 7.7521 ((3 . 1) (5 . 2) (6 . 3) (12 . 7)) 3688 0.3996 9.7876 ((1 . 11) (2 . 12) (3 . 14) (9 . 17)) 3697 0.3999 7.1704 ((1 . 3) (2 . 4) (6 . 5) (12 . 9)) 3703 0.3999 7.4868 ((1 . 3) (2 . 4) (5 . 6) (12 . 10)) 3732 0.4000 5.8032 ((5 . 5) (6 . 6) (11 . 11) (13 . 12)) 3733 0.2801 7.5927 ((1 . 1) (2 . 3) (5 . 6) (6 . 7)) 3740 0.4000 5.7989 ((1 . 1) (2 . 2) (3 . 3) (5 . 4)) 3741 0.3999 6.1437 ((2 . 21) (9 . 27) (11 . 28) (13 . 32)) 3776 0.3999 6.6016 ((5 . 15) (6 . 16) (11 . 21) (13 . 24)) 3778 0.4000 5.8906 ((1 . 4) (3 . 6) (6 . 9) (11 . 13)) 3787 0.3999 6.1489 ((3 . 27) (5 . 29) (6 . 30) (9 . 33)) 3790 0.4996 7.5569 ((1 . 15) (2 . 16) (3 . 18) (9 . 22) (11 . 24)) 3810 0.4000 4.6959 ((1 . 4) (2 . 6) (5 . 10) (11 . 11)) 3817 0.3998 7.9991 ((5 . 1) (6 . 3) (9 . 5) (13 . 7)) 3818 0.3363 8.0433 ((2 . 20) (5 . 23) (6 . 24) (13 . 29)) 3831 0.2800 8.4628 ((6 . 1) (9 . 3) (11 . 5) (13 . 6)) 3847 0.3999 6.1455 ((3 . 9) (9 . 13) (11 . 16) (13 . 17)) 3849 0.4000 5.1810 ((2 . 2) (3 . 3) (5 . 5) (11 . 8)) 3853 0.3999 7.1359 ((2 . 6) (5 . 8) (6 . 9) (13 . 14)) 3856 0.4000 4.6468 ((1 . 6) (2 . 7) (3 . 9) (5 . 10)) 3870 0.3986 13.6993 ((5 . 8) (6 . 9) (9 . 10) (12 . 12)) 3933 0.4531 4.6452 ((1 . 2) (2 . 9) (5 . 10) (11 . 13) (13 . 14)) 3938 0.1654 10.1475 ((2 . 2) (5 . 6) (6 . 5) (9 . 9)) 3942 0.4000 5.8212 ((5 . 2) (7 . 4) (12 . 8) (13 . 9)) 3968 0.3999 7.2042 ((1 . 3) (3 . 5) (6 . 8) (7 . 10)) 3986 0.3996 9.7885 ((1 . 13) (7 . 20) (11 . 26) (13 . 27)) 3990 0.3997 9.1152 ((1 . 18) (3 . 20) (6 . 21) (9 . 26)) 4005 0.4995 8.1367 ((3 . 21) (5 . 24) (7 . 28) (11 . 32) (13 . 33)) 4009 0.3998 8.8610 ((9 . 12) (11 . 13) (12 . 14) (13 . 15)) 4019 0.4999 5.5706 ((1 . 35) (2 . 38) (3 . 39) (5 . 42) (11 . 46)) 4034 0.4000 5.0521 ((3 . 5) (6 . 7) (11 . 10) (13 . 12)) 4037 0.1970 7.0846 ((1 . 2) (3 . 3) (6 . 5) (7 . 6)) 4062 0.3999 6.1474 ((2 . 48) (3 . 49) (5 . 50) (6 . 52)) 4067 0.3999 6.4548 ((5 . 14) (6 . 15) (11 . 20) (13 . 22)) 4082 0.3998 7.8813 ((1 . 5) (2 . 6) (3 . 7) (5 . 8)) 4087 0.4000 5.8943 ((2 . 1) (5 . 5) (9 . 7) (11 . 8)) 4112 0.2801 6.9087 ((2 . 2) (3 . 3) (5 . 6) (6 . 7)) 4115 0.3997 9.5561 ((2 . 1) (5 . 5) (9 . 10) (12 . 11)) 4140 0.3999 6.9293 ((2 . 21) (3 . 22) (5 . 23) (6 . 25)) 4151 0.3999 6.6840 ((2 . 5) (5 . 7) (6 . 8) (13 . 15)) 4154 0.2801 6.1029 ((1 . 51) (2 . 53) (3 . 54) (5 . 57)) 4177 0.4996 7.7957 ((5 . 2) (6 . 4) (9 . 7) (11 . 8) (13 . 9)) 4190 0.3999 7.2678 ((3 . 1) (5 . 3) (11 . 8) (13 . 9)) 4192 0.4000 5.4749 ((1 . 13) (3 . 15) (5 . 19) (11 . 22)) 4194 0.3999 6.8490 ((5 . 1) (6 . 2) (11 . 6) (13 . 7)) 4195 0.3363 7.2871 ((3 . 6) (6 . 8) (9 . 9) (12 . 10)) 4204 0.3999 6.8105 ((2 . 3) (5 . 5) (6 . 6) (9 . 9)) 4209 0.3362 10.1417 ((1 . 1) (2 . 2) (9 . 10) (12 . 11)) 4210 0.3999 7.2933 ((2 . 4) (3 . 5) (5 . 6) (9 . 8)) 4226 0.4000 3.9429 ((2 . 12) (5 . 16) (6 . 17) (11 . 19)) 4232 0.3999 6.9244 ((2 . 2) (3 . 3) (5 . 4) (13 . 8)) 4236 0.4000 5.3930 ((2 . 6) (3 . 7) (5 . 10) (6 . 11)) 4246 0.3999 7.7761 ((5 . 2) (9 . 5) (11 . 7) (13 . 8)) 4254 0.4000 5.3513 ((1 . 1) (3 . 6) (6 . 12) (9 . 19)) 4255 0.3999 7.3165 ((2 . 21) (3 . 23) (5 . 24) (6 . 25)) 4257 0.3999 6.6960 ((2 . 1) (9 . 7) (11 . 9) (13 . 10)) 4265 0.3988 13.1321 ((1 . 23) (3 . 26) (6 . 28) (7 . 30)) 4266 0.3999 7.0784 ((1 . 2) (3 . 4) (11 . 8) (13 . 11)) 4274 0.4000 5.8882 ((5 . 36) (6 . 37) (9 . 40) (11 . 41)) 4275 0.3999 6.1843 ((3 . 21) (5 . 25) (11 . 27) (13 . 28)) 4281 0.3998 8.4054 ((1 . 4) (2 . 5) (5 . 8) (6 . 9)) 4284 0.3999 7.2249 ((2 . 3) (3 . 4) (7 . 7) (9 . 9)) 4299 0.3999 6.9320 ((1 . 16) (2 . 19) (3 . 20) (5 . 22)) 4301 0.4999 5.1188 ((2 . 1) (3 . 2) (5 . 3) (9 . 9) (11 . 10)) 4326 0.3998 8.0423 ((6 . 5) (7 . 6) (9 . 7) (11 . 10)) 4332 0.4000 5.5936 ((3 . 2) (5 . 4) (6 . 5) (9 . 9)) 4338 0.4996 7.6732 ((1 . 4) (3 . 6) (5 . 7) (11 . 8) (13 . 11)) 4352 0.3363 6.9339 ((6 . 4) (11 . 9) (12 . 7) (13 . 10)) 4359 0.5000 4.4769 ((1 . 21) (3 . 23) (9 . 24) (11 . 26) (13 . 27)) 4380 0.4000 5.5431 ((1 . 2) (3 . 4) (11 . 14) (13 . 15)) 4383 0.5999 3.9168 ((1 . 14) (2 . 15) (3 . 16) (5 . 17) (9 . 21) (11 . 22)) 4386 0.3993 11.4474 ((2 . 9) (3 . 10) (11 . 16) (12 . 17)) 4388 0.3999 6.0182 ((1 . 8) (2 . 9) (3 . 10) (12 . 15)) 4398 0.3998 8.7486 ((2 . 1) (5 . 4) (6 . 5) (13 . 10)) 4405 0.4998 6.4890 ((1 . 14) (3 . 18) (5 . 19) (6 . 20) (11 . 25)) 4408 0.3999 6.4511 ((1 . 4) (3 . 6) (6 . 10) (11 . 14)) 4415 0.3999 6.2110 ((1 . 3) (2 . 4) (5 . 9) (6 . 10)) 4419 0.3999 7.6540 ((1 . 7) (2 . 8) (3 . 9) (5 . 10)) 4426 0.3999 7.7603 ((5 . 2) (6 . 1) (11 . 4) (12 . 5)) 4470 0.4000 4.0211 ((1 . 2) (2 . 3) (3 . 9) (9 . 10)) 4491 0.3999 7.0100 ((5 . 1) (9 . 5) (11 . 6) (12 . 7)) 4492 0.4000 5.6294 ((2 . 18) (5 . 21) (6 . 22) (11 . 26)) 4495 0.3996 10.0826 ((6 . 5) (7 . 7) (11 . 10) (12 . 11)) 4497 0.4000 4.4079 ((3 . 23) (5 . 24) (9 . 28) (11 . 30)) 4502 0.4000 5.4049 ((1 . 9) (2 . 10) (3 . 11) (7 . 16)) 4503 0.3998 8.1029 ((1 . 1) (2 . 3) (3 . 4) (5 . 7)) 4504 0.3999 6.1275 ((6 . 1) (7 . 2) (11 . 6) (13 . 8)) 4505 0.4998 6.4932 ((1 . 25) (2 . 26) (5 . 28) (6 . 29) (13 . 34)) 4516 0.4000 5.9169 ((7 . 15) (9 . 16) (11 . 18) (13 . 20)) 4538 0.4000 4.9123 ((1 . 31) (2 . 32) (3 . 33) (5 . 34)) 4560 0.3999 7.8582 ((2 . 8) (5 . 11) (6 . 12) (13 . 18)) 4561 0.3998 8.2325 ((2 . 7) (5 . 9) (6 . 11) (13 . 17)) 4563 0.3999 7.7552 ((5 . 28) (6 . 30) (9 . 31) (13 . 34)) 4577 0.3998 8.3752 ((3 . 55) (5 . 58) (11 . 60) (13 . 62)) 4588 0.4000 5.7014 ((1 . 1) (3 . 3) (11 . 11) (12 . 12)) 4589 0.3999 7.1363 ((5 . 18) (9 . 22) (11 . 23) (12 . 24)) 4607 0.2800 10.1513 ((6 . 20) (7 . 21) (11 . 24) (13 . 27)) 4621 0.3999 6.6994 ((5 . 3) (9 . 8) (11 . 9) (13 . 11)) 4630 0.4000 4.3180 ((1 . 3) (2 . 5) (3 . 6) (5 . 8)) 4653 0.4000 5.9551 ((1 . 6) (2 . 7) (3 . 8) (5 . 9)) 4668 0.3998 8.4770 ((5 . 5) (6 . 6) (9 . 9) (13 . 11)) 4669 0.3996 10.3410 ((2 . 13) (6 . 16) (9 . 19) (13 . 21)) 4671 0.4000 3.8072 ((1 . 18) (2 . 19) (3 . 20) (5 . 21)) 4674 0.3998 8.2955 ((1 . 6) (2 . 7) (3 . 8) (5 . 9)) 4678 0.3998 8.0095 ((3 . 6) (6 . 8) (7 . 9) (9 . 12)) 4713 0.4000 5.1319 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 4715 0.3997 9.6405 ((2 . 6) (6 . 9) (7 . 10) (12 . 14)) 4731 0.3999 7.0252 ((3 . 18) (7 . 20) (9 . 23) (11 . 24)) 4857 0.4000 4.9025 ((2 . 3) (3 . 9) (9 . 11) (13 . 13)) 4886 0.3999 6.6673 ((1 . 29) (2 . 30) (3 . 31) (5 . 32)) 4888 0.3996 9.8804 ((2 . 1) (5 . 4) (7 . 6) (12 . 11)) 4889 0.4000 5.7628 ((3 . 2) (5 . 3) (11 . 6) (13 . 7)) 4907 0.3362 10.3600 ((2 . 3) (3 . 4) (5 . 5) (12 . 10)) 4914 0.3998 8.1711 ((1 . 5) (2 . 6) (3 . 8) (5 . 10)) 4921 0.5994 6.6663 ((2 . 7) (3 . 8) (5 . 9) (9 . 12) (11 . 14) (13 . 17)) 4929 0.3999 6.4353 ((1 . 28) (2 . 29) (3 . 31) (5 . 32)) 4932 0.3671 5.7297 ((2 . 1) (9 . 8) (12 . 9) (13 . 10)) 4940 0.4000 5.3521 ((1 . 3) (2 . 4) (3 . 6) (5 . 7)) 4944 0.3999 6.0659 ((5 . 11) (6 . 12) (11 . 15) (13 . 16)) 4961 0.3999 6.5788 ((2 . 6) (3 . 7) (11 . 14) (13 . 15)) 4978 0.3363 6.7560 ((1 . 18) (3 . 21) (5 . 22) (9 . 25)) 4982 0.3999 7.2690 ((3 . 9) (5 . 10) (6 . 11) (9 . 14)) 4992 0.3998 8.2738 ((1 . 1) (2 . 2) (3 . 3) (11 . 8)) 4998 0.3998 7.9450 ((1 . 8) (5 . 15) (11 . 19) (13 . 20)) 5029 0.3997 9.5700 ((3 . 1) (6 . 3) (12 . 9) (13 . 10)) 5036 0.3999 6.1323 ((1 . 7) (2 . 8) (3 . 9) (5 . 10)) 5038 0.2412 10.1889 ((9 . 12) (11 . 14) (12 . 13) (13 . 15)) 5039 0.3999 6.1415 ((2 . 37) (5 . 39) (6 . 40) (9 . 44)) 5044 0.2801 7.7480 ((2 . 3) (5 . 8) (11 . 14) (13 . 16)) 5046 0.7000 2.4927 ((1 . 1) (2 . 3) (3 . 4) (9 . 7) (11 . 8) (12 . 9) (13 . 10)) 5053 0.4000 3.8889 ((2 . 2) (3 . 3) (5 . 5) (13 . 9)) 5065 0.4991 9.2117 ((2 . 2) (3 . 3) (6 . 6) (11 . 11) (12 . 12)) 5068 0.3996 10.0292 ((2 . 2) (5 . 7) (9 . 10) (11 . 12)) 5069 0.3999 6.6317 ((1 . 4) (2 . 5) (3 . 7) (12 . 14)) 5073 0.3997 9.3634 ((7 . 31) (9 . 32) (11 . 34) (12 . 35)) 5083 0.3670 7.5183 ((9 . 2) (11 . 5) (12 . 4) (13 . 6)) 5101 0.3999 6.7067 ((2 . 1) (5 . 3) (6 . 4) (9 . 7)) 5103 0.3999 6.1560 ((5 . 2) (6 . 3) (11 . 6) (13 . 9)) 5121 0.3998 8.2152 ((6 . 22) (7 . 23) (9 . 26) (13 . 28)) 5132 0.3999 7.5755 ((6 . 14) (9 . 16) (11 . 18) (13 . 20)) 5134 0.4000 4.9389 ((5 . 10) (6 . 11) (7 . 12) (13 . 17)) 5145 0.3998 8.4178 ((2 . 3) (3 . 5) (6 . 7) (9 . 10)) 5167 0.3999 7.6308 ((1 . 1) (3 . 3) (7 . 6) (11 . 9)) 5176 0.3999 7.7312 ((3 . 82) (5 . 84) (6 . 85) (11 . 88)) 5183 0.3999 7.7600 ((1 . 36) (3 . 38) (6 . 40) (7 . 41)) 5192 0.3998 8.7933 ((1 . 9) (7 . 16) (9 . 17) (13 . 21)) 5198 0.3991 12.3973 ((2 . 21) (6 . 23) (11 . 30) (13 . 31)) 5199 0.3998 8.1340 ((1 . 4) (5 . 7) (9 . 9) (11 . 10)) 5209 0.4996 7.5774 ((3 . 3) (5 . 4) (6 . 6) (11 . 8) (13 . 9)) 5212 0.1970 12.4751 ((9 . 21) (11 . 22) (12 . 25) (13 . 24)) 5215 0.4998 6.5116 ((2 . 4) (3 . 5) (9 . 9) (11 . 10) (12 . 13)) 5223 0.3990 12.5791 ((6 . 14) (7 . 16) (9 . 17) (12 . 19)) 5231 0.3669 8.8403 ((2 . 12) (3 . 13) (5 . 14) (6 . 15)) 5266 0.4000 5.8162 ((1 . 8) (3 . 10) (6 . 12) (9 . 15)) 5278 0.4000 5.0825 ((3 . 5) (5 . 6) (9 . 10) (11 . 12)) 5307 0.3999 6.2194 ((5 . 51) (6 . 52) (11 . 57) (13 . 58)) 5312 0.3670 8.6874 ((2 . 3) (3 . 4) (5 . 5) (6 . 6)) 5318 0.3999 6.5722 ((6 . 7) (9 . 8) (12 . 10) (13 . 11)) 5323 0.3996 10.3384 ((1 . 11) (6 . 15) (7 . 16) (12 . 18)) 5324 0.3999 6.2353 ((1 . 7) (3 . 10) (11 . 15) (13 . 16)) 5344 0.8000 2.2322 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (9 . 8) (11 . 9) (13 . 10)) 5345 0.4000 5.6732 ((1 . 4) (3 . 7) (11 . 16) (13 . 17)) 5368 0.4000 4.9691 ((1 . 15) (3 . 17) (11 . 25) (13 . 26)) 5378 0.3999 7.1166 ((1 . 4) (2 . 6) (3 . 7) (12 . 13)) 5411 0.3998 8.7144 ((1 . 3) (3 . 6) (5 . 8) (6 . 9)) 5414 0.4998 6.1502 ((2 . 14) (3 . 15) (5 . 16) (6 . 17) (11 . 22)) 5418 0.3999 6.2144 ((1 . 1) (2 . 2) (3 . 3) (5 . 5)) 5433 0.3995 10.5058 ((1 . 13) (2 . 14) (7 . 24) (12 . 25)) 5479 0.4995 7.8540 ((1 . 33) (3 . 34) (5 . 35) (11 . 40) (13 . 41)) 5487 0.2801 7.4726 ((1 . 4) (2 . 7) (5 . 9) (6 . 10)) 5489 0.4986 10.3799 ((1 . 5) (5 . 9) (9 . 13) (11 . 14) (13 . 16)) 5500 0.1970 11.3699 ((1 . 3) (6 . 10) (7 . 13) (9 . 14)) 5501 0.4996 7.5029 ((1 . 16) (2 . 17) (3 . 20) (7 . 22) (12 . 26)) 5525 0.1329 9.7656 ((2 . 7) (6 . 11) (7 . 12) (12 . 13)) 5535 0.3999 6.4359 ((5 . 2) (6 . 5) (11 . 9) (13 . 11)) 5540 0.3999 7.3156 ((2 . 6) (3 . 7) (6 . 9) (11 . 16)) 5557 0.3670 7.7019 ((1 . 3) (2 . 4) (5 . 6) (6 . 7)) 5560 0.3999 6.6735 ((1 . 11) (2 . 13) (5 . 15) (13 . 20)) 5562 0.3999 6.1169 ((2 . 6) (3 . 7) (11 . 14) (12 . 15)) 5567 0.3999 5.9945 ((5 . 8) (6 . 10) (11 . 15) (13 . 17)) 5594 0.3999 6.8848 ((1 . 3) (2 . 4) (5 . 6) (6 . 7)) 5600 0.4000 5.9561 ((3 . 3) (9 . 6) (12 . 10) (13 . 11)) 5601 0.3999 7.0422 ((2 . 1) (5 . 5) (9 . 10) (13 . 12)) 5638 0.3999 6.6665 ((3 . 8) (5 . 9) (6 . 12) (9 . 13)) 5640 0.4000 5.6298 ((2 . 5) (3 . 6) (5 . 7) (9 . 11)) 5644 0.4000 5.5023 ((2 . 1) (3 . 3) (5 . 4) (13 . 13)) 5656 0.4998 6.1755 ((3 . 2) (5 . 3) (6 . 4) (11 . 9) (13 . 10)) 5700 0.4000 5.7997 ((3 . 2) (9 . 6) (11 . 8) (13 . 9)) 5701 0.4993 8.8725 ((3 . 4) (5 . 5) (6 . 7) (11 . 8) (12 . 15)) 5703 0.4000 5.9768 ((1 . 5) (2 . 6) (3 . 7) (5 . 8)) 5711 0.4996 7.5680 ((1 . 37) (5 . 43) (9 . 46) (11 . 47) (12 . 48)) 5713 0.4000 5.8367 ((1 . 8) (3 . 10) (11 . 20) (13 . 21)) 5718 0.4000 5.8311 ((1 . 14) (9 . 23) (11 . 24) (13 . 25)) 5731 0.3999 6.0503 ((6 . 8) (9 . 13) (11 . 14) (13 . 15)) 5746 0.4000 5.8146 ((3 . 2) (5 . 3) (6 . 4) (11 . 10)) 5749 0.3998 8.4378 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 5761 0.3999 7.5820 ((5 . 28) (9 . 31) (11 . 32) (12 . 34)) 5770 0.4998 6.2819 ((5 . 1) (6 . 2) (7 . 5) (11 . 8) (13 . 15)) 5771 0.3998 8.8623 ((5 . 9) (6 . 10) (12 . 16) (13 . 17)) 5782 0.4999 5.2440 ((5 . 22) (6 . 23) (9 . 27) (11 . 29) (13 . 30)) 5789 0.2801 5.9937 ((5 . 2) (6 . 3) (11 . 5) (12 . 6)) 5794 0.3999 6.4448 ((1 . 15) (5 . 18) (11 . 23) (13 . 24)) 5795 0.3998 8.8470 ((5 . 6) (6 . 7) (7 . 8) (13 . 13)) 5809 0.4000 4.7599 ((5 . 7) (6 . 8) (11 . 12) (13 . 14)) 5822 0.3998 8.3443 ((3 . 1) (5 . 2) (9 . 7) (11 . 8)) 5827 0.3999 6.7554 ((1 . 14) (2 . 15) (3 . 16) (5 . 17)) 5830 0.4000 4.7387 ((5 . 2) (9 . 7) (11 . 8) (13 . 10)) 5847 0.3999 6.4640 ((2 . 9) (3 . 10) (11 . 18) (13 . 20)) 5861 0.4000 5.9602 ((2 . 10) (3 . 11) (5 . 12) (9 . 17)) 5865 0.3999 7.7575 ((2 . 1) (3 . 2) (9 . 7) (12 . 8)) 5888 0.3999 5.9877 ((1 . 8) (2 . 9) (3 . 10) (5 . 11)) 5896 0.4000 5.0180 ((5 . 26) (9 . 28) (11 . 29) (12 . 30)) 5904 0.3989 13.0781 ((6 . 6) (7 . 8) (9 . 9) (12 . 10)) 5913 0.3999 7.1177 ((6 . 14) (9 . 15) (11 . 17) (13 . 20)) 5922 0.4999 5.8549 ((2 . 5) (3 . 6) (5 . 8) (9 . 10) (11 . 11)) 5930 0.3999 7.6270 ((2 . 1) (9 . 7) (11 . 9) (13 . 11)) 5939 0.3997 9.2799 ((5 . 4) (6 . 5) (9 . 8) (12 . 12)) 5945 0.4995 8.1532 ((5 . 33) (6 . 34) (9 . 37) (11 . 38) (12 . 39)) 5949 0.4000 4.5088 ((1 . 1) (3 . 4) (11 . 12) (12 . 13)) 5955 0.3997 9.5477 ((5 . 3) (7 . 6) (9 . 7) (11 . 9)) 5967 0.3997 9.4702 ((2 . 3) (5 . 7) (6 . 8) (7 . 10)) 5977 0.3999 6.4081 ((5 . 1) (6 . 2) (9 . 5) (11 . 6)) 6000 0.3999 7.6510 ((1 . 17) (3 . 21) (11 . 28) (12 . 30)) 6011 0.4000 5.6971 ((1 . 11) (9 . 19) (11 . 20) (12 . 21)) 6022 0.4000 5.6845 ((3 . 2) (9 . 7) (11 . 8) (13 . 9)) 6029 0.4000 4.9619 ((5 . 6) (9 . 10) (11 . 11) (12 . 12)) 6041 0.4000 5.8086 ((1 . 8) (3 . 10) (5 . 11) (9 . 15)) 6046 0.3998 8.4041 ((2 . 3) (3 . 5) (5 . 6) (6 . 7)) 6061 0.3998 8.7243 ((1 . 14) (2 . 15) (5 . 17) (6 . 18)) 6074 0.3999 7.1174 ((2 . 4) (5 . 6) (6 . 7) (13 . 13)) 6075 0.3998 8.3414 ((6 . 22) (9 . 24) (11 . 27) (13 . 28)) 6079 0.4988 10.1131 ((1 . 6) (2 . 7) (5 . 9) (6 . 10) (12 . 15)) 6089 0.3998 8.8141 ((1 . 21) (3 . 23) (6 . 25) (7 . 26)) 6094 0.3998 8.4480 ((3 . 2) (7 . 6) (9 . 7) (11 . 10)) 6099 0.4986 10.3888 ((1 . 5) (2 . 6) (3 . 7) (5 . 8) (11 . 13)) 6142 0.4000 5.0974 ((1 . 10) (3 . 12) (11 . 19) (13 . 20)) 6148 0.3998 8.4277 ((3 . 32) (5 . 33) (7 . 35) (9 . 37)) 6167 0.3997 9.3122 ((1 . 9) (2 . 10) (3 . 12) (5 . 14)) 6173 0.4998 5.9879 ((1 . 11) (2 . 12) (3 . 13) (5 . 15) (6 . 16)) 6191 0.4000 4.9221 ((3 . 3) (5 . 4) (6 . 5) (13 . 12)) 6192 0.3995 10.7416 ((2 . 10) (3 . 11) (5 . 13) (7 . 15)) 6215 0.3999 6.5601 ((1 . 18) (2 . 19) (3 . 20) (6 . 23)) 6225 0.4204 6.1412 ((1 . 3) (2 . 4) (5 . 5) (11 . 10) (12 . 11)) 6228 0.3998 8.7123 ((1 . 1) (3 . 3) (12 . 10) (13 . 11)) 6234 0.4000 4.5088 ((2 . 6) (3 . 7) (5 . 9) (11 . 15)) 6238 0.3999 6.3124 ((1 . 5) (2 . 7) (5 . 9) (6 . 10)) 6243 0.3993 11.4973 ((1 . 6) (3 . 8) (6 . 9) (12 . 13)) 6251 0.3999 6.1946 ((2 . 8) (5 . 10) (6 . 11) (13 . 17)) 6258 0.3996 10.1554 ((3 . 7) (6 . 8) (11 . 12) (13 . 13)) 6261 0.3998 8.6374 ((2 . 1) (5 . 3) (9 . 9) (13 . 11)) 6266 0.3997 8.9807 ((5 . 3) (6 . 4) (12 . 7) (13 . 8)) 6270 0.3999 6.1847 ((5 . 15) (9 . 17) (11 . 18) (12 . 19)) 6271 0.3999 6.4973 ((1 . 1) (2 . 2) (3 . 3) (7 . 6)) 6273 0.1970 8.1656 ((1 . 2) (2 . 3) (5 . 6) (13 . 12)) 6294 0.3996 9.9679 ((6 . 21) (7 . 24) (11 . 27) (12 . 28)) 6306 0.3361 11.6208 ((2 . 16) (5 . 19) (6 . 18) (12 . 23)) 6309 0.3999 6.8770 ((1 . 17) (3 . 20) (9 . 25) (11 . 27)) 6311 0.3999 6.2887 ((1 . 4) (9 . 11) (11 . 13) (13 . 14)) 6326 0.3999 6.1355 ((5 . 6) (9 . 10) (11 . 11) (13 . 12)) 6338 0.3999 6.1613 ((5 . 1) (9 . 4) (11 . 5) (13 . 7)) 6344 0.4000 4.9538 ((5 . 1) (6 . 2) (11 . 6) (13 . 7)) 6345 0.3999 6.6733 ((1 . 5) (6 . 8) (7 . 9) (13 . 14)) 6348 0.4000 4.9123 ((1 . 1) (3 . 4) (11 . 9) (12 . 10)) 6355 0.3996 10.2168 ((1 . 4) (3 . 7) (11 . 15) (12 . 16)) 6356 0.4000 5.4511 ((1 . 1) (3 . 4) (11 . 11) (12 . 12)) 6369 0.3999 6.2862 ((1 . 5) (2 . 7) (5 . 9) (6 . 10)) 6376 0.3993 11.4078 ((2 . 17) (5 . 21) (11 . 27) (13 . 28)) 6391 0.3997 9.0424 ((9 . 6) (11 . 8) (12 . 9) (13 . 10)) 6392 0.3984 14.2222 ((1 . 7) (2 . 9) (7 . 14) (12 . 16)) 6399 0.3999 6.5112 ((1 . 25) (2 . 26) (3 . 27) (5 . 28)) 6403 0.4998 6.2517 ((1 . 10) (2 . 12) (3 . 13) (5 . 14) (7 . 16)) 6434 0.3999 6.2442 ((1 . 2) (2 . 3) (3 . 4) (5 . 5)) 6461 0.2800 8.3451 ((5 . 3) (7 . 4) (11 . 6) (12 . 7)) 6462 0.3994 11.2945 ((1 . 18) (3 . 20) (6 . 23) (12 . 27)) 6498 0.3999 7.4223 ((2 . 1) (3 . 2) (5 . 3) (6 . 5)) 6520 0.4996 7.7113 ((2 . 8) (3 . 9) (9 . 14) (11 . 15) (12 . 18)) 6539 0.4000 4.8223 ((3 . 4) (5 . 5) (6 . 7) (9 . 10)) 6540 0.4000 4.8485 ((1 . 16) (2 . 17) (3 . 18) (5 . 19)) 6548 0.3999 6.2328 ((6 . 6) (9 . 9) (11 . 12) (13 . 13)) 6553 0.3997 9.2376 ((2 . 22) (3 . 24) (5 . 25) (6 . 27)) 6555 0.4000 3.1878 ((1 . 17) (2 . 19) (3 . 20) (9 . 24)) 6561 0.3999 7.4654 ((2 . 9) (9 . 13) (11 . 15) (12 . 16)) 6573 0.3997 9.3358 ((1 . 17) (3 . 19) (6 . 20) (11 . 25)) 6575 0.3999 7.1070 ((3 . 1) (5 . 2) (7 . 6) (12 . 7)) 6578 0.4204 6.5808 ((2 . 31) (3 . 32) (5 . 34) (9 . 38) (12 . 40)) 6584 0.4000 5.1636 ((1 . 2) (2 . 3) (5 . 5) (9 . 9)) 6585 0.4000 5.5898 ((2 . 8) (9 . 13) (11 . 14) (13 . 15)) 6587 0.3999 7.3133 ((1 . 31) (3 . 33) (5 . 34) (6 . 35)) 6598 0.4998 6.6376 ((1 . 3) (2 . 4) (3 . 5) (5 . 6) (11 . 10)) 6613 0.4000 5.8631 ((1 . 24) (3 . 27) (5 . 28) (11 . 32)) 6635 0.3999 6.3861 ((3 . 4) (5 . 5) (6 . 6) (12 . 10)) END