6251 25 0.3983 14.4432 ((9 . 5) (11 . 9) (15 . 11) (18 . 13)) 41 0.6000 3.4287 ((8 . 3) (9 . 4) (10 . 5) (14 . 6) (17 . 7) (18 . 8)) 51 0.3999 7.3042 ((10 . 1) (11 . 3) (18 . 9) (19 . 10)) 62 0.1970 8.2850 ((14 . 9) (17 . 13) (18 . 15) (19 . 16)) 64 0.3997 9.3504 ((10 . 8) (17 . 13) (19 . 15) (20 . 16)) 77 0.4000 5.8149 ((10 . 8) (11 . 10) (17 . 15) (18 . 17)) 91 0.5000 3.2263 ((8 . 19) (10 . 21) (17 . 28) (18 . 30) (19 . 31)) 96 0.3999 6.1568 ((15 . 1) (17 . 3) (18 . 4) (20 . 7)) 136 0.4000 5.7866 ((14 . 2) (15 . 3) (17 . 5) (20 . 9)) 150 0.4000 4.2168 ((8 . 20) (9 . 21) (10 . 23) (11 . 24)) 153 0.3999 6.5468 ((8 . 1) (10 . 4) (15 . 8) (17 . 10)) 157 0.4000 5.1804 ((8 . 1) (9 . 2) (10 . 3) (15 . 8)) 161 0.1970 9.5688 ((10 . 2) (14 . 7) (15 . 8) (17 . 10)) 162 0.1970 8.2961 ((8 . 15) (9 . 16) (10 . 17) (11 . 19)) 169 0.3363 8.4319 ((10 . 3) (15 . 8) (17 . 9) (19 . 10)) 177 0.3998 8.1689 ((8 . 3) (10 . 5) (14 . 9) (15 . 10)) 191 0.3997 9.4773 ((8 . 2) (10 . 4) (17 . 7) (19 . 9)) 207 0.4998 6.0049 ((10 . 8) (11 . 11) (17 . 15) (18 . 16) (19 . 18)) 300 0.3994 10.9893 ((10 . 10) (11 . 11) (17 . 17) (19 . 18)) 305 0.3997 8.9695 ((14 . 8) (15 . 9) (17 . 12) (19 . 15)) 307 0.4994 8.5625 ((8 . 3) (9 . 6) (10 . 7) (11 . 8) (14 . 10)) 315 0.2800 11.3777 ((8 . 3) (9 . 2) (11 . 7) (15 . 10)) 329 0.3998 8.7506 ((9 . 3) (10 . 5) (11 . 7) (14 . 9)) 350 0.3998 7.9843 ((15 . 2) (17 . 4) (19 . 7) (20 . 9)) 351 0.3999 6.8826 ((9 . 4) (11 . 6) (14 . 8) (18 . 10)) 360 0.3999 7.0648 ((10 . 5) (15 . 9) (17 . 12) (19 . 14)) 361 0.4000 3.9314 ((8 . 2) (9 . 3) (10 . 4) (19 . 11)) 365 0.2801 7.5639 ((15 . 1) (17 . 3) (19 . 6) (20 . 7)) 367 0.3999 7.3708 ((14 . 39) (15 . 40) (17 . 43) (19 . 46)) 387 0.2799 12.9270 ((8 . 7) (10 . 8) (15 . 12) (19 . 15)) 433 0.3995 10.4803 ((11 . 2) (15 . 5) (17 . 7) (20 . 8)) 442 0.4000 5.0627 ((8 . 4) (17 . 12) (18 . 13) (19 . 14)) 460 0.3363 6.8162 ((15 . 3) (17 . 6) (19 . 8) (20 . 9)) 472 0.3991 12.3444 ((9 . 24) (10 . 25) (11 . 28) (18 . 34)) 495 0.4993 8.6570 ((9 . 2) (10 . 3) (11 . 4) (14 . 6) (15 . 7)) 541 0.4000 4.3582 ((8 . 7) (14 . 13) (15 . 14) (19 . 17)) 543 0.2800 8.4865 ((10 . 5) (11 . 7) (14 . 9) (19 . 16)) 553 0.1970 10.3163 ((9 . 9) (11 . 10) (18 . 20) (20 . 22)) 584 0.3999 6.5015 ((10 . 5) (14 . 9) (15 . 10) (17 . 13)) 587 0.1970 9.4767 ((15 . 11) (17 . 13) (19 . 15) (20 . 17)) 609 0.3995 10.5349 ((11 . 2) (15 . 3) (17 . 6) (19 . 8)) 619 0.3997 9.3714 ((11 . 10) (14 . 14) (15 . 15) (19 . 18)) 624 0.4998 6.2913 ((11 . 6) (14 . 8) (15 . 9) (17 . 11) (20 . 12)) 635 0.3999 6.7064 ((9 . 12) (10 . 13) (14 . 17) (15 . 18)) 672 0.3998 8.6363 ((14 . 12) (17 . 16) (18 . 17) (19 . 18)) 678 0.4999 4.8567 ((8 . 22) (9 . 23) (11 . 25) (14 . 28) (17 . 29)) 719 0.3998 8.0722 ((15 . 22) (17 . 25) (19 . 27) (20 . 29)) 729 0.5990 7.5899 ((8 . 7) (9 . 8) (10 . 9) (11 . 12) (15 . 15) (19 . 17)) 735 0.3994 11.3279 ((8 . 29) (9 . 30) (10 . 32) (15 . 39)) 765 0.3995 10.5934 ((8 . 4) (10 . 7) (15 . 17) (19 . 20)) 767 0.4000 2.2719 ((8 . 1) (9 . 2) (10 . 3) (17 . 12)) 795 0.4000 3.4971 ((8 . 1) (9 . 2) (10 . 3) (11 . 4)) 796 0.3997 9.1337 ((14 . 4) (15 . 5) (17 . 6) (18 . 7)) 812 0.4996 7.4432 ((8 . 9) (9 . 10) (10 . 11) (11 . 12) (17 . 16)) 818 0.4201 8.7908 ((14 . 5) (15 . 7) (17 . 8) (18 . 9) (19 . 10)) 819 0.1970 8.7469 ((10 . 3) (17 . 8) (19 . 10) (20 . 11)) 834 0.3994 11.0794 ((9 . 34) (11 . 36) (18 . 43) (20 . 44)) 861 0.3999 7.7354 ((14 . 11) (17 . 12) (18 . 14) (19 . 15)) 901 0.5999 4.6242 ((9 . 10) (10 . 12) (11 . 14) (14 . 16) (17 . 17) (18 . 19)) 904 0.1970 8.2287 ((9 . 1) (10 . 3) (11 . 5) (15 . 7)) 913 0.3361 11.6651 ((10 . 16) (11 . 18) (14 . 21) (15 . 20)) 928 0.4999 5.3271 ((8 . 1) (9 . 2) (10 . 3) (15 . 7) (17 . 8)) 937 0.0999 12.0752 ((9 . 2) (10 . 1) (11 . 3) (14 . 6)) 943 0.5998 4.8657 ((8 . 4) (9 . 5) (11 . 7) (14 . 10) (17 . 12) (19 . 14)) 945 0.4999 4.6560 ((8 . 12) (10 . 14) (11 . 16) (15 . 19) (17 . 22)) 949 0.1493 9.8254 ((8 . 30) (10 . 32) (11 . 33) (14 . 37)) 960 0.5987 8.0980 ((8 . 9) (9 . 11) (10 . 12) (11 . 16) (15 . 19) (17 . 21)) 978 0.4998 6.2990 ((8 . 4) (9 . 5) (14 . 9) (15 . 10) (19 . 13)) 980 0.4997 6.8274 ((10 . 1) (11 . 2) (14 . 4) (17 . 7) (18 . 8)) 1007 0.3996 10.1343 ((9 . 1) (14 . 6) (17 . 7) (19 . 9)) 1008 0.1493 10.5141 ((11 . 1) (14 . 2) (15 . 5) (17 . 8)) 1034 0.4531 5.1702 ((8 . 20) (10 . 22) (17 . 29) (19 . 32) (20 . 36)) 1043 0.4995 7.9706 ((9 . 5) (10 . 6) (11 . 9) (15 . 12) (19 . 17)) 1082 0.5991 7.4559 ((8 . 9) (9 . 11) (10 . 12) (11 . 14) (15 . 16) (17 . 19)) 1084 0.3999 6.9477 ((9 . 6) (14 . 15) (15 . 17) (17 . 18)) 1165 0.5000 4.0604 ((8 . 12) (15 . 19) (18 . 20) (19 . 21) (20 . 23)) 1167 0.3999 6.8695 ((9 . 19) (10 . 20) (17 . 27) (18 . 28)) 1201 0.3995 10.3713 ((11 . 5) (14 . 8) (15 . 9) (19 . 12)) 1204 0.4996 7.6850 ((10 . 1) (11 . 2) (14 . 4) (15 . 5) (19 . 11)) 1211 0.3998 8.5937 ((8 . 3) (10 . 5) (15 . 10) (19 . 14)) 1217 0.3362 9.3106 ((8 . 3) (10 . 7) (11 . 8) (15 . 12)) 1224 0.3999 6.0503 ((10 . 5) (17 . 10) (18 . 12) (19 . 14)) 1233 0.5000 4.2173 ((8 . 11) (9 . 13) (10 . 14) (15 . 20) (17 . 22)) 1267 0.5000 4.0003 ((8 . 13) (9 . 14) (10 . 15) (14 . 18) (15 . 19)) 1268 0.3363 7.1796 ((11 . 19) (17 . 22) (19 . 24) (20 . 26)) 1294 0.3997 9.2820 ((8 . 39) (10 . 41) (15 . 46) (17 . 47)) 1345 0.5985 8.4038 ((8 . 7) (9 . 8) (10 . 9) (11 . 10) (15 . 12) (17 . 14)) 1366 0.0999 7.9888 ((9 . 13) (14 . 18) (15 . 20) (17 . 22)) 1388 0.2799 12.2408 ((9 . 3) (10 . 4) (11 . 6) (14 . 7)) 1425 0.1970 7.6236 ((15 . 2) (17 . 4) (18 . 7) (19 . 8)) 1435 0.1970 13.1705 ((10 . 2) (11 . 4) (15 . 5) (18 . 9)) 1447 0.6999 3.5552 ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (17 . 7) (18 . 8) (19 . 9)) 1451 0.3999 7.7699 ((10 . 4) (14 . 7) (15 . 8) (17 . 10)) 1476 0.5000 4.2138 ((8 . 9) (10 . 11) (11 . 13) (15 . 18) (18 . 19)) 1497 0.3999 7.1880 ((9 . 17) (11 . 19) (14 . 21) (18 . 25)) 1501 0.3999 7.4059 ((15 . 3) (17 . 5) (19 . 7) (20 . 10)) 1513 0.4998 6.0930 ((11 . 9) (15 . 13) (17 . 15) (18 . 16) (20 . 19)) 1514 0.2801 5.5328 ((14 . 2) (17 . 4) (18 . 5) (19 . 6)) 1577 0.4000 4.6568 ((8 . 5) (14 . 11) (15 . 12) (17 . 15)) 1591 0.4998 6.4040 ((8 . 8) (9 . 10) (10 . 11) (11 . 12) (17 . 16)) 1604 0.5000 4.2903 ((8 . 3) (9 . 6) (10 . 7) (17 . 12) (18 . 13)) 1622 0.4529 7.3279 ((8 . 18) (9 . 19) (10 . 20) (11 . 21) (15 . 25)) 1643 0.4000 4.6748 ((10 . 20) (15 . 26) (17 . 28) (19 . 32)) 1665 0.3999 7.4534 ((10 . 6) (11 . 7) (14 . 9) (15 . 10)) 1690 0.4999 5.3909 ((8 . 1) (9 . 7) (10 . 8) (11 . 9) (15 . 13)) 1692 0.3668 10.5790 ((10 . 1) (11 . 2) (17 . 7) (19 . 8)) 1731 0.4996 7.3988 ((8 . 3) (9 . 5) (10 . 6) (11 . 7) (17 . 12)) 1736 0.5000 3.9643 ((8 . 3) (10 . 5) (17 . 10) (18 . 11) (19 . 12)) 1738 0.4998 6.2256 ((10 . 4) (11 . 5) (14 . 10) (15 . 11) (20 . 16)) 1747 0.4000 5.1364 ((8 . 16) (10 . 19) (15 . 25) (19 . 28)) 1759 0.2800 8.1969 ((10 . 1) (15 . 6) (17 . 8) (19 . 11)) 1761 0.6995 5.3381 ((8 . 7) (9 . 8) (10 . 9) (11 . 10) (15 . 13) (17 . 16) (19 . 19)) 1763 0.3988 13.2373 ((10 . 3) (11 . 6) (14 . 8) (18 . 12)) 1776 0.5384 5.7264 ((8 . 1) (9 . 6) (10 . 7) (11 . 8) (14 . 11) (15 . 12)) 1777 0.3997 9.1431 ((8 . 34) (10 . 37) (15 . 47) (17 . 50)) 1778 0.5000 3.5871 ((8 . 1) (10 . 3) (15 . 8) (18 . 11) (19 . 12)) 1793 0.5386 3.4380 ((8 . 3) (10 . 4) (14 . 7) (15 . 8) (18 . 9) (19 . 10)) 1805 0.3998 8.1067 ((10 . 3) (11 . 5) (19 . 12) (20 . 13)) 1808 0.3999 6.6233 ((11 . 1) (14 . 7) (17 . 8) (19 . 10)) 1817 0.3999 6.7175 ((15 . 14) (17 . 18) (19 . 20) (20 . 21)) 1867 0.3998 8.5763 ((8 . 1) (9 . 2) (10 . 3) (14 . 8)) 1894 0.3995 10.4505 ((8 . 11) (11 . 15) (15 . 18) (17 . 20)) 1896 0.4000 5.8245 ((14 . 2) (15 . 3) (17 . 5) (20 . 10)) 1897 0.3995 10.5805 ((10 . 34) (14 . 38) (17 . 40) (20 . 44)) 1908 0.4999 5.1498 ((9 . 2) (10 . 3) (14 . 6) (17 . 7) (18 . 9)) 1909 0.4999 5.2199 ((8 . 25) (9 . 26) (10 . 29) (15 . 34) (19 . 37)) 1913 0.4000 4.3771 ((10 . 5) (15 . 12) (17 . 15) (19 . 18)) 1944 0.5999 3.9789 ((8 . 3) (9 . 4) (10 . 5) (15 . 9) (18 . 12) (19 . 13)) 1957 0.5998 5.1051 ((8 . 1) (9 . 2) (10 . 3) (14 . 6) (15 . 7) (17 . 9)) 1961 0.2800 10.8369 ((8 . 14) (10 . 15) (11 . 18) (18 . 25)) 1967 0.3999 6.1566 ((8 . 3) (11 . 6) (14 . 9) (15 . 10)) 1972 0.5000 4.3520 ((8 . 16) (9 . 17) (10 . 18) (15 . 24) (17 . 27)) 1992 0.3999 6.2107 ((9 . 5) (11 . 8) (14 . 10) (17 . 12)) 1995 0.1970 9.4363 ((10 . 1) (11 . 5) (15 . 8) (17 . 12)) 2003 0.3999 6.8480 ((9 . 2) (10 . 4) (15 . 10) (17 . 12)) 2006 0.3999 6.3720 ((9 . 6) (10 . 7) (15 . 11) (17 . 13)) 2048 0.4999 5.4404 ((8 . 1) (9 . 3) (10 . 4) (11 . 5) (18 . 12)) 2054 0.3668 10.6408 ((11 . 9) (14 . 12) (15 . 14) (18 . 16)) 2063 0.3998 8.4349 ((15 . 43) (17 . 45) (18 . 46) (19 . 48)) 2065 0.3998 8.0579 ((9 . 15) (10 . 16) (17 . 26) (19 . 28)) 2067 0.3999 7.2571 ((8 . 2) (9 . 3) (10 . 4) (11 . 6)) 2072 0.3993 11.5407 ((8 . 4) (10 . 7) (11 . 8) (14 . 9)) 2081 0.3998 8.1916 ((9 . 11) (10 . 12) (17 . 19) (19 . 21)) 2083 0.4000 5.8202 ((8 . 2) (9 . 3) (11 . 6) (14 . 11)) 2097 0.3996 9.9621 ((10 . 5) (11 . 10) (19 . 18) (20 . 20)) 2114 0.3999 6.2558 ((8 . 29) (9 . 30) (10 . 32) (14 . 37)) 2116 0.3996 10.3108 ((8 . 1) (10 . 3) (17 . 10) (19 . 12)) 2117 0.4000 5.2875 ((9 . 8) (10 . 9) (14 . 13) (15 . 14)) 2118 0.4978 11.7022 ((8 . 5) (9 . 6) (10 . 7) (11 . 8) (17 . 11)) 2122 0.4997 6.8976 ((8 . 1) (9 . 2) (10 . 6) (11 . 7) (15 . 10)) 2166 0.3998 8.3211 ((9 . 5) (14 . 10) (17 . 12) (20 . 14)) 2179 0.4999 4.7551 ((8 . 1) (9 . 3) (10 . 5) (15 . 10) (17 . 13)) 2203 0.1970 8.5338 ((15 . 1) (17 . 5) (19 . 7) (20 . 8)) 2205 0.3999 7.8623 ((8 . 15) (10 . 16) (15 . 22) (17 . 26)) 2209 0.4999 5.7773 ((14 . 2) (17 . 3) (18 . 4) (19 . 5) (20 . 8)) 2243 0.3997 9.5292 ((17 . 45) (18 . 46) (19 . 47) (20 . 48)) 2244 0.3998 8.0600 ((10 . 70) (15 . 76) (17 . 78) (19 . 80)) 2248 0.4000 3.9019 ((10 . 16) (17 . 22) (18 . 23) (20 . 26)) 2249 0.4998 6.6380 ((8 . 4) (10 . 7) (11 . 9) (17 . 12) (18 . 14)) 2269 0.4000 3.4060 ((8 . 8) (9 . 9) (10 . 10) (17 . 12)) 2279 0.3995 10.8581 ((8 . 9) (11 . 15) (15 . 20) (17 . 22)) 2298 0.5000 4.4257 ((8 . 6) (9 . 7) (10 . 8) (15 . 15) (18 . 16)) 2308 0.4000 3.8389 ((8 . 6) (9 . 7) (10 . 8) (17 . 11)) 2314 0.2799 12.8877 ((10 . 11) (14 . 16) (15 . 17) (17 . 18)) 2340 0.4000 5.3200 ((14 . 8) (15 . 9) (18 . 10) (19 . 11)) 2342 0.3986 13.8706 ((11 . 4) (14 . 5) (18 . 7) (20 . 9)) 2344 0.5996 6.1204 ((8 . 10) (9 . 12) (10 . 13) (14 . 19) (17 . 20) (20 . 21)) 2364 0.5999 4.7206 ((8 . 7) (9 . 8) (10 . 9) (11 . 10) (17 . 18) (19 . 20)) 2381 0.4000 3.8144 ((8 . 3) (9 . 2) (10 . 4) (14 . 8)) 2389 0.2800 8.2973 ((8 . 9) (10 . 11) (11 . 12) (14 . 15)) 2408 0.3995 10.5504 ((8 . 34) (10 . 37) (17 . 45) (19 . 47)) 2410 0.4000 4.1497 ((14 . 12) (17 . 13) (18 . 15) (19 . 16)) 2422 0.5000 3.3910 ((8 . 1) (9 . 2) (10 . 4) (17 . 9) (18 . 10)) 2423 0.3999 6.7118 ((8 . 17) (9 . 18) (10 . 19) (15 . 25)) 2440 0.6467 6.5582 ((8 . 4) (9 . 5) (10 . 6) (15 . 7) (17 . 8) (19 . 9) (20 . 10)) 2447 0.5996 6.1834 ((9 . 29) (10 . 30) (11 . 32) (14 . 34) (17 . 36) (18 . 37)) 2462 0.3999 6.3142 ((8 . 3) (9 . 5) (10 . 6) (17 . 12)) 2510 0.5999 4.4227 ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (17 . 7) (18 . 8)) 2525 0.3999 6.3163 ((10 . 41) (11 . 42) (15 . 45) (17 . 47)) 2529 0.4999 5.4303 ((15 . 1) (17 . 3) (18 . 4) (19 . 6) (20 . 7)) 2533 0.5998 5.2427 ((8 . 4) (9 . 5) (10 . 6) (11 . 7) (14 . 11) (17 . 13)) 2552 0.5999 4.6057 ((8 . 1) (9 . 2) (10 . 3) (14 . 4) (17 . 5) (18 . 6)) 2556 0.9991 3.8800 ((8 . 11) (9 . 12) (10 . 13) (11 . 14) (14 . 17) (15 . 18) (17 . 20) (18 . 21) (19 . 22) (20 . 23)) 2557 0.0999 10.6167 ((11 . 1) (15 . 3) (17 . 6) (18 . 5)) 2561 0.2800 8.8409 ((10 . 1) (15 . 6) (17 . 7) (19 . 9)) 2595 0.4997 6.7985 ((11 . 5) (14 . 7) (15 . 9) (17 . 11) (20 . 15)) 2619 0.4716 7.5225 ((8 . 1) (10 . 3) (11 . 4) (14 . 6) (15 . 7)) 2627 0.3653 16.2557 ((11 . 56) (14 . 57) (19 . 60) (20 . 62)) 2650 0.2412 11.2420 ((10 . 1) (11 . 4) (15 . 6) (19 . 8)) 2658 0.1970 10.9706 ((9 . 6) (11 . 9) (15 . 12) (17 . 13)) 2675 0.3362 9.9153 ((11 . 2) (15 . 7) (17 . 10) (19 . 12)) 2682 0.4995 8.0633 ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (20 . 16)) 2696 0.3999 6.2928 ((8 . 31) (9 . 33) (10 . 34) (15 . 39)) 2731 0.3994 10.9064 ((17 . 1) (18 . 2) (19 . 4) (20 . 3)) 2733 0.3999 7.4517 ((10 . 1) (11 . 5) (17 . 8) (19 . 11)) 2753 0.0999 13.6656 ((9 . 2) (11 . 3) (14 . 6) (20 . 11)) 2755 0.4997 7.2396 ((9 . 2) (10 . 3) (11 . 4) (15 . 6) (17 . 8)) 2773 0.3995 10.6536 ((14 . 4) (17 . 5) (19 . 6) (20 . 7)) 2783 0.3999 6.0297 ((14 . 4) (15 . 6) (19 . 8) (20 . 9)) 2804 0.3822 8.3312 ((10 . 29) (14 . 35) (15 . 36) (19 . 39)) 2821 0.4000 5.3240 ((14 . 10) (17 . 11) (19 . 13) (20 . 14)) 2830 0.4998 6.3149 ((9 . 10) (10 . 11) (11 . 12) (17 . 17) (19 . 19)) 2834 0.4000 5.2328 ((10 . 1) (11 . 2) (14 . 7) (18 . 10)) 2840 0.2800 9.5245 ((8 . 5) (10 . 6) (11 . 10) (15 . 11)) 2842 0.5000 3.7465 ((8 . 1) (9 . 3) (10 . 4) (17 . 9) (18 . 10)) 2867 0.3358 13.6396 ((11 . 5) (15 . 8) (18 . 11) (20 . 13)) 2879 0.2801 6.8171 ((15 . 51) (17 . 53) (18 . 55) (19 . 56)) 2886 0.3999 7.5314 ((10 . 30) (15 . 37) (17 . 39) (19 . 43)) 2929 0.3996 10.3320 ((17 . 39) (18 . 38) (19 . 40) (20 . 41)) 2940 0.3999 6.5758 ((10 . 1) (11 . 2) (15 . 4) (20 . 9)) 2947 0.3997 9.1402 ((8 . 4) (9 . 5) (17 . 13) (20 . 17)) 2955 0.3999 7.1906 ((8 . 11) (10 . 12) (15 . 17) (17 . 18)) 2966 0.3999 7.0963 ((9 . 2) (10 . 3) (17 . 12) (19 . 15)) 2990 0.3997 9.6521 ((10 . 12) (11 . 13) (14 . 17) (20 . 21)) 2999 0.4000 4.6175 ((8 . 2) (9 . 3) (10 . 4) (11 . 5)) 3014 0.1970 9.5008 ((11 . 3) (14 . 6) (15 . 5) (17 . 7)) 3019 0.3999 7.0089 ((14 . 8) (15 . 9) (17 . 10) (20 . 12)) 3034 0.4999 5.2061 ((10 . 1) (11 . 4) (14 . 6) (17 . 7) (18 . 8)) 3041 0.5601 3.9995 ((8 . 12) (9 . 13) (10 . 14) (14 . 17) (15 . 18) (19 . 22)) 3055 0.4000 5.7315 ((10 . 15) (15 . 21) (17 . 23) (19 . 25)) 3063 0.3996 9.9813 ((10 . 31) (14 . 34) (17 . 37) (19 . 39)) 3070 0.3993 11.4589 ((9 . 30) (10 . 32) (11 . 34) (15 . 36)) 3084 0.4999 4.7806 ((8 . 3) (14 . 6) (15 . 7) (17 . 9) (19 . 11)) 3102 0.3997 9.0922 ((8 . 58) (10 . 60) (17 . 68) (19 . 70)) 3103 0.3999 6.1946 ((8 . 2) (10 . 5) (11 . 6) (17 . 13)) 3114 0.3997 9.1842 ((8 . 23) (10 . 25) (11 . 27) (15 . 29)) 3120 0.3996 10.3631 ((17 . 22) (18 . 23) (19 . 25) (20 . 24)) 3127 0.5999 4.6966 ((8 . 2) (11 . 7) (15 . 11) (17 . 13) (18 . 14) (20 . 16)) 3147 0.3999 6.2797 ((8 . 1) (10 . 3) (17 . 11) (19 . 13)) 3176 0.3997 8.9725 ((11 . 23) (15 . 26) (17 . 29) (18 . 30)) 3187 0.3999 6.4963 ((8 . 4) (10 . 6) (11 . 8) (14 . 10)) 3190 0.5995 6.3376 ((10 . 1) (11 . 2) (14 . 4) (17 . 9) (18 . 10) (20 . 12)) 3197 0.6999 3.6561 ((8 . 10) (9 . 11) (10 . 12) (11 . 13) (14 . 15) (17 . 16) (18 . 17)) 3200 0.4000 5.8911 ((8 . 3) (17 . 13) (18 . 14) (19 . 15)) 3212 0.3997 9.3971 ((14 . 1) (15 . 2) (17 . 5) (20 . 7)) 3222 0.3989 13.0404 ((9 . 5) (10 . 6) (11 . 9) (17 . 15)) 3256 0.3998 8.3825 ((8 . 18) (10 . 20) (14 . 27) (15 . 28)) 3261 0.3999 7.5839 ((10 . 2) (11 . 5) (15 . 6) (17 . 8)) 3286 0.5000 4.4870 ((14 . 2) (15 . 3) (17 . 5) (18 . 6) (19 . 7)) 3289 0.2801 4.9798 ((15 . 25) (17 . 27) (18 . 28) (19 . 31)) 3297 0.3363 8.3822 ((10 . 1) (15 . 7) (17 . 8) (19 . 9)) 3322 0.5000 4.4507 ((15 . 1) (17 . 3) (18 . 4) (19 . 5) (20 . 6)) 3334 0.3998 8.7725 ((9 . 9) (10 . 10) (11 . 11) (15 . 14)) 3339 0.4995 7.9658 ((8 . 11) (10 . 15) (11 . 16) (15 . 19) (17 . 21)) 3358 0.4821 8.2618 ((10 . 2) (14 . 5) (15 . 7) (17 . 8) (19 . 10)) 3362 0.5989 7.8836 ((8 . 4) (9 . 5) (10 . 6) (11 . 7) (15 . 11) (18 . 13)) 3366 0.3363 7.9440 ((8 . 22) (9 . 25) (15 . 29) (19 . 32)) 3391 0.4999 4.6712 ((8 . 4) (9 . 5) (10 . 6) (11 . 7) (15 . 10)) 3410 0.4998 6.0908 ((8 . 19) (10 . 21) (14 . 27) (15 . 28) (17 . 30)) 3446 0.3993 11.6797 ((9 . 4) (11 . 8) (18 . 11) (20 . 12)) 3472 0.3997 9.7161 ((8 . 1) (10 . 3) (15 . 9) (17 . 11)) 3481 0.4994 8.5436 ((8 . 2) (14 . 3) (15 . 10) (18 . 11) (19 . 12)) 3495 0.3999 7.8299 ((10 . 8) (11 . 10) (17 . 16) (18 . 17)) 3496 0.2800 10.9881 ((8 . 19) (9 . 20) (11 . 21) (20 . 28)) 3533 0.1970 9.5691 ((8 . 1) (10 . 3) (11 . 6) (15 . 10)) 3537 0.3998 8.4453 ((8 . 7) (9 . 8) (10 . 9) (14 . 11)) 3538 0.3993 11.7037 ((10 . 20) (11 . 21) (19 . 26) (20 . 27)) 3548 0.3998 8.7427 ((8 . 2) (15 . 9) (17 . 10) (18 . 11)) 3549 0.1970 10.0285 ((8 . 1) (11 . 4) (14 . 7) (15 . 8)) 3561 0.5000 4.1848 ((10 . 22) (14 . 25) (15 . 26) (17 . 28) (19 . 31)) 3570 0.4000 5.2808 ((15 . 1) (17 . 3) (19 . 4) (20 . 9)) 3585 0.4999 4.9468 ((8 . 6) (9 . 7) (10 . 8) (17 . 16) (18 . 17)) 3628 0.4997 6.9626 ((9 . 5) (10 . 6) (15 . 10) (17 . 12) (18 . 13)) 3651 0.4000 5.0749 ((10 . 1) (11 . 2) (17 . 8) (19 . 11)) 3656 0.1329 12.0161 ((9 . 12) (11 . 20) (15 . 22) (20 . 25)) 3658 0.3999 7.5332 ((8 . 6) (10 . 8) (11 . 9) (18 . 14)) 3659 0.3998 8.5214 ((11 . 3) (15 . 5) (17 . 8) (19 . 10)) 3661 0.3998 8.6095 ((9 . 10) (11 . 14) (19 . 24) (20 . 25)) 3663 0.3996 10.0758 ((17 . 1) (18 . 3) (19 . 5) (20 . 6)) 3688 0.3992 12.0114 ((8 . 8) (9 . 10) (10 . 11) (19 . 18)) 3697 0.1970 10.5044 ((8 . 7) (9 . 8) (10 . 10) (11 . 9)) 3703 0.1970 12.3158 ((8 . 7) (10 . 9) (11 . 11) (14 . 12)) 3732 0.5981 8.9956 ((8 . 5) (9 . 6) (10 . 7) (11 . 8) (15 . 12) (18 . 13)) 3733 0.4991 9.4401 ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (15 . 8)) 3740 0.3363 7.7177 ((10 . 1) (15 . 5) (17 . 6) (19 . 7)) 3741 0.3999 6.8826 ((8 . 1) (10 . 2) (11 . 5) (17 . 13)) 3776 0.5000 3.5298 ((8 . 15) (9 . 16) (10 . 17) (14 . 23) (15 . 24)) 3778 0.3991 12.2906 ((8 . 4) (9 . 5) (10 . 6) (14 . 9)) 3787 0.5000 3.3990 ((8 . 27) (9 . 28) (10 . 29) (14 . 32) (15 . 33)) 3790 0.4000 5.9151 ((8 . 22) (9 . 23) (10 . 24) (15 . 30)) 3807 0.1493 10.8324 ((10 . 43) (17 . 50) (18 . 51) (20 . 52)) 3817 0.4000 5.3270 ((14 . 3) (17 . 5) (19 . 7) (20 . 8)) 3818 0.3999 6.8155 ((8 . 20) (9 . 21) (11 . 24) (17 . 28)) 3829 0.3669 9.8638 ((9 . 3) (11 . 6) (15 . 9) (18 . 11)) 3831 0.4000 5.8920 ((17 . 6) (18 . 7) (19 . 9) (20 . 11)) 3847 0.1970 9.9414 ((8 . 9) (9 . 10) (11 . 15) (15 . 17)) 3853 0.4997 6.7894 ((9 . 2) (10 . 3) (11 . 4) (18 . 11) (19 . 12)) 3856 0.0999 5.5010 ((15 . 3) (17 . 6) (18 . 4) (19 . 7)) 3870 0.5992 7.1825 ((8 . 3) (9 . 4) (10 . 5) (11 . 7) (17 . 10) (20 . 14)) 3933 0.2801 6.7384 ((8 . 2) (9 . 4) (17 . 16) (19 . 18)) 3938 0.3670 6.8857 ((14 . 3) (15 . 4) (19 . 9) (20 . 12)) 3942 0.3999 6.6209 ((10 . 2) (11 . 5) (14 . 8) (15 . 9)) 3968 0.4992 9.0689 ((8 . 3) (9 . 4) (10 . 5) (11 . 8) (15 . 11)) 3986 0.3668 10.6297 ((10 . 6) (11 . 10) (15 . 13) (18 . 19)) 3990 0.4000 3.5529 ((8 . 18) (9 . 19) (10 . 20) (17 . 26)) 4005 0.3993 11.3882 ((10 . 25) (11 . 28) (15 . 32) (17 . 36)) 4009 0.4000 4.6846 ((17 . 1) (18 . 6) (19 . 7) (20 . 8)) 4019 0.3998 8.4780 ((10 . 37) (15 . 43) (17 . 45) (19 . 46)) 4034 0.3997 9.6100 ((8 . 5) (11 . 8) (17 . 13) (18 . 14)) 4037 0.3994 10.9154 ((15 . 1) (17 . 2) (18 . 4) (20 . 5)) 4062 0.3998 8.3693 ((11 . 45) (15 . 48) (17 . 50) (18 . 51)) 4067 0.5999 4.2281 ((8 . 14) (9 . 15) (10 . 16) (15 . 22) (17 . 24) (19 . 25)) 4077 0.3975 16.0021 ((11 . 3) (14 . 4) (18 . 6) (20 . 9)) 4082 0.1970 10.2022 ((9 . 1) (11 . 3) (15 . 6) (19 . 10)) 4087 0.3999 6.8632 ((11 . 2) (15 . 6) (19 . 8) (20 . 9)) 4112 0.3362 9.5060 ((15 . 2) (18 . 7) (19 . 6) (20 . 8)) 4115 0.4997 7.2288 ((9 . 12) (10 . 13) (15 . 17) (17 . 19) (20 . 21)) 4151 0.5997 5.7401 ((8 . 5) (9 . 6) (10 . 7) (15 . 12) (17 . 15) (19 . 17)) 4177 0.3362 10.2994 ((10 . 2) (11 . 4) (14 . 6) (17 . 9)) 4190 0.3997 9.6130 ((8 . 1) (10 . 3) (15 . 8) (17 . 9)) 4192 0.4998 6.4426 ((8 . 13) (9 . 14) (10 . 15) (11 . 16) (17 . 22)) 4194 0.4992 9.0539 ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (15 . 7)) 4204 0.4998 6.5001 ((9 . 2) (10 . 3) (11 . 6) (14 . 10) (18 . 12)) 4209 0.2413 9.7198 ((11 . 3) (14 . 6) (15 . 7) (18 . 11)) 4210 0.4718 5.4295 ((11 . 3) (14 . 7) (17 . 8) (18 . 9) (19 . 10)) 4226 0.4991 9.3672 ((9 . 13) (15 . 22) (17 . 24) (18 . 25) (20 . 27)) 4232 0.3998 8.1338 ((10 . 1) (15 . 3) (19 . 6) (20 . 7)) 4254 0.4000 4.2260 ((8 . 11) (9 . 14) (10 . 15) (11 . 16)) 4255 0.4000 4.4443 ((15 . 21) (17 . 24) (18 . 25) (19 . 26)) 4257 0.4996 7.6549 ((8 . 1) (9 . 2) (10 . 3) (14 . 6) (17 . 11)) 4265 0.5999 4.5157 ((8 . 21) (9 . 22) (10 . 23) (14 . 25) (17 . 26) (18 . 28)) 4266 0.4997 7.2027 ((11 . 1) (14 . 3) (17 . 4) (18 . 5) (20 . 7)) 4274 0.4000 3.6542 ((8 . 36) (9 . 37) (10 . 38) (11 . 39)) 4275 0.4000 2.6266 ((15 . 21) (17 . 23) (18 . 24) (19 . 25)) 4281 0.3999 6.2025 ((10 . 3) (14 . 6) (15 . 8) (17 . 10)) 4284 0.3998 8.4560 ((14 . 7) (15 . 8) (17 . 10) (18 . 11)) 4299 0.4999 4.6181 ((9 . 5) (10 . 6) (11 . 7) (17 . 11) (18 . 13)) 4301 0.1970 10.8289 ((10 . 1) (15 . 6) (17 . 9) (19 . 10)) 4326 0.5998 5.0051 ((9 . 6) (10 . 7) (11 . 8) (17 . 17) (18 . 18) (19 . 19)) 4332 0.4000 3.0484 ((15 . 4) (17 . 6) (18 . 8) (19 . 9)) 4338 0.4000 4.6228 ((8 . 4) (9 . 5) (10 . 6) (15 . 11)) 4352 0.2800 10.9890 ((11 . 6) (14 . 7) (18 . 13) (20 . 14)) 4359 0.4000 5.7492 ((8 . 3) (10 . 5) (15 . 11) (19 . 14)) 4380 0.3999 6.5527 ((8 . 2) (10 . 3) (11 . 6) (15 . 14)) 4383 0.3997 9.7261 ((8 . 15) (10 . 16) (15 . 21) (17 . 22)) 4386 0.3999 6.6093 ((10 . 1) (14 . 3) (17 . 4) (18 . 5)) 4388 0.4999 5.1576 ((8 . 3) (9 . 4) (10 . 5) (15 . 10) (19 . 12)) 4398 0.4998 6.1185 ((9 . 2) (11 . 5) (14 . 9) (15 . 10) (17 . 12)) 4405 0.4000 4.7738 ((8 . 14) (9 . 17) (10 . 18) (17 . 25)) 4408 0.3999 7.0670 ((15 . 2) (17 . 4) (18 . 5) (19 . 6)) 4415 0.4999 4.9173 ((8 . 4) (9 . 5) (10 . 9) (11 . 10) (15 . 12)) 4419 0.1970 7.7463 ((14 . 5) (15 . 6) (17 . 8) (20 . 11)) 4426 0.1970 8.8332 ((9 . 1) (10 . 2) (11 . 3) (17 . 6)) 4470 0.5000 4.0624 ((9 . 4) (10 . 5) (11 . 6) (17 . 12) (18 . 13)) 4491 0.4000 5.7484 ((14 . 7) (15 . 1) (17 . 6) (19 . 8)) 4492 0.5999 4.6101 ((8 . 11) (9 . 12) (10 . 13) (11 . 14) (17 . 21) (19 . 23)) 4495 0.5000 4.3296 ((15 . 6) (17 . 8) (18 . 9) (19 . 10) (20 . 11)) 4497 0.4000 4.7696 ((8 . 18) (9 . 20) (15 . 26) (17 . 28)) 4502 0.4989 9.7515 ((11 . 3) (15 . 6) (17 . 9) (19 . 11) (20 . 13)) 4503 0.3998 8.4761 ((11 . 2) (15 . 6) (17 . 8) (19 . 10)) 4504 0.4999 5.4692 ((11 . 12) (15 . 15) (17 . 17) (18 . 18) (20 . 23)) 4505 0.4999 4.6694 ((8 . 28) (9 . 29) (10 . 30) (11 . 31) (15 . 34)) 4516 0.4000 4.8065 ((14 . 27) (15 . 28) (17 . 30) (18 . 31)) 4538 0.3999 7.2187 ((15 . 32) (17 . 34) (18 . 36) (19 . 37)) 4551 0.4000 4.7856 ((15 . 1) (17 . 4) (18 . 7) (19 . 8)) 4560 0.4994 8.4214 ((8 . 2) (9 . 5) (11 . 7) (14 . 10) (17 . 11)) 4561 0.4999 5.4971 ((8 . 1) (10 . 5) (11 . 6) (15 . 9) (18 . 11)) 4562 0.4998 6.0217 ((10 . 19) (11 . 21) (15 . 25) (17 . 27) (18 . 28)) 4563 0.4998 6.7496 ((10 . 26) (11 . 27) (14 . 30) (17 . 31) (18 . 33)) 4577 0.3998 8.1020 ((8 . 44) (9 . 45) (10 . 47) (18 . 56)) 4579 0.2799 13.4932 ((11 . 13) (14 . 16) (17 . 18) (18 . 21)) 4588 0.5998 5.1895 ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (15 . 11) (19 . 16)) 4589 0.3999 6.2331 ((11 . 21) (14 . 24) (15 . 25) (17 . 27)) 4607 0.1970 11.4149 ((9 . 18) (11 . 20) (18 . 28) (20 . 29)) 4621 0.3668 10.2137 ((11 . 5) (15 . 8) (18 . 10) (19 . 11)) 4630 0.4000 4.3044 ((14 . 2) (15 . 3) (17 . 6) (19 . 9)) 4653 0.3998 8.5111 ((10 . 1) (15 . 5) (17 . 7) (19 . 9)) 4668 0.4998 6.6489 ((10 . 1) (11 . 2) (15 . 7) (17 . 9) (18 . 10)) 4669 0.4999 5.6155 ((10 . 15) (15 . 19) (17 . 21) (18 . 22) (20 . 23)) 4671 0.3997 9.1998 ((9 . 9) (11 . 10) (15 . 18) (17 . 20)) 4674 0.4000 5.7264 ((8 . 1) (9 . 3) (15 . 8) (17 . 9)) 4678 0.3996 9.7525 ((9 . 3) (11 . 7) (15 . 10) (19 . 12)) 4713 0.3997 9.5443 ((11 . 1) (15 . 5) (17 . 7) (19 . 9)) 4715 0.3997 9.5431 ((9 . 4) (11 . 7) (14 . 10) (20 . 16)) 4731 0.3997 9.0360 ((8 . 14) (9 . 15) (14 . 20) (19 . 24)) 4764 0.3996 10.3027 ((9 . 2) (11 . 5) (18 . 9) (20 . 11)) 4857 0.4996 7.6861 ((10 . 3) (11 . 4) (15 . 5) (17 . 11) (20 . 12)) 4886 0.4000 5.6568 ((14 . 18) (15 . 19) (18 . 20) (19 . 22)) 4888 0.3999 7.7880 ((8 . 4) (9 . 5) (14 . 10) (19 . 15)) 4889 0.3996 10.0326 ((8 . 4) (9 . 5) (14 . 8) (19 . 12)) 4907 0.2801 7.7642 ((15 . 4) (17 . 7) (19 . 9) (20 . 10)) 4914 0.3996 10.1811 ((14 . 3) (15 . 4) (17 . 6) (19 . 8)) 4921 0.3999 6.3646 ((8 . 7) (11 . 11) (14 . 13) (17 . 17)) 4929 0.3363 7.8071 ((10 . 28) (15 . 33) (17 . 34) (19 . 35)) 4932 0.3999 6.7078 ((10 . 1) (11 . 3) (15 . 6) (17 . 8)) 4940 0.3999 6.1837 ((8 . 8) (10 . 9) (15 . 11) (17 . 12)) 4944 0.4995 8.1282 ((9 . 10) (10 . 11) (11 . 12) (15 . 14) (17 . 16)) 4961 0.4997 7.0996 ((9 . 2) (10 . 3) (11 . 8) (17 . 12) (18 . 13)) 4978 0.4996 7.8194 ((9 . 27) (10 . 28) (11 . 29) (17 . 32) (18 . 33)) 4982 0.4000 4.2835 ((15 . 1) (17 . 3) (18 . 5) (19 . 6)) 4992 0.4000 4.9318 ((8 . 3) (9 . 4) (10 . 6) (11 . 7)) 4998 0.3998 7.9514 ((8 . 1) (11 . 2) (14 . 5) (15 . 6)) 5029 0.5000 4.0337 ((15 . 2) (17 . 4) (18 . 5) (19 . 6) (20 . 9)) 5038 0.3999 7.4156 ((15 . 10) (17 . 12) (18 . 13) (19 . 15)) 5039 0.5000 4.0353 ((8 . 37) (9 . 38) (10 . 39) (11 . 40) (15 . 44)) 5046 0.3363 7.8265 ((10 . 1) (17 . 7) (18 . 9) (19 . 10)) 5053 0.3999 7.0560 ((8 . 3) (11 . 7) (17 . 10) (18 . 13)) 5065 0.4000 4.4315 ((9 . 1) (10 . 2) (15 . 8) (17 . 10)) 5068 0.4718 6.0258 ((11 . 1) (15 . 7) (18 . 9) (19 . 10) (20 . 11)) 5069 0.5735 3.9815 ((8 . 2) (10 . 4) (14 . 8) (15 . 9) (18 . 14) (19 . 15)) 5073 0.4999 5.4693 ((9 . 31) (11 . 33) (14 . 35) (17 . 36) (18 . 38)) 5083 0.2800 11.0723 ((17 . 1) (18 . 3) (19 . 2) (20 . 4)) 5092 0.3996 9.8485 ((9 . 4) (14 . 8) (18 . 10) (20 . 11)) 5101 0.5999 4.5503 ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (17 . 9) (19 . 10)) 5103 0.7995 4.5452 ((8 . 13) (9 . 14) (10 . 15) (14 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20)) 5121 0.3994 11.1786 ((8 . 16) (11 . 22) (17 . 26) (19 . 27)) 5132 0.4997 6.9514 ((8 . 18) (9 . 21) (17 . 26) (18 . 27) (19 . 28)) 5134 0.4000 5.4034 ((11 . 11) (17 . 17) (18 . 18) (19 . 19)) 5145 0.4000 4.3457 ((17 . 5) (18 . 7) (19 . 8) (20 . 9)) 5167 0.5999 3.8010 ((8 . 1) (9 . 2) (10 . 3) (14 . 7) (17 . 9) (18 . 10)) 5176 0.3996 10.0169 ((10 . 82) (11 . 83) (14 . 85) (17 . 88)) 5192 0.4000 3.5049 ((15 . 1) (17 . 3) (18 . 4) (19 . 5)) 5198 0.3999 6.4298 ((14 . 23) (17 . 24) (18 . 25) (19 . 26)) 5199 0.3999 7.3648 ((9 . 2) (10 . 4) (15 . 8) (19 . 10)) 5209 0.3995 10.6173 ((10 . 4) (11 . 6) (15 . 7) (17 . 9)) 5212 0.3990 12.7601 ((9 . 14) (14 . 17) (18 . 20) (19 . 21)) 5215 0.4999 5.4795 ((8 . 3) (10 . 5) (11 . 6) (17 . 10) (18 . 13)) 5223 0.5994 6.6925 ((8 . 3) (9 . 5) (10 . 6) (11 . 7) (15 . 10) (19 . 15)) 5231 0.3363 8.1679 ((15 . 8) (18 . 9) (19 . 13) (20 . 15)) 5266 0.6807 5.2467 ((8 . 2) (9 . 3) (10 . 4) (11 . 5) (14 . 9) (17 . 10) (19 . 13)) 5278 0.3670 7.6164 ((9 . 3) (10 . 5) (15 . 9) (19 . 12)) 5307 0.4000 2.6095 ((15 . 51) (17 . 53) (18 . 54) (19 . 55)) 5312 0.3363 8.1883 ((15 . 2) (17 . 4) (18 . 6) (19 . 7)) 5318 0.4000 5.6173 ((8 . 8) (9 . 10) (10 . 11) (18 . 17)) 5323 0.3996 10.3548 ((9 . 3) (14 . 8) (15 . 10) (20 . 15)) 5324 0.4999 5.6793 ((9 . 6) (10 . 7) (11 . 8) (14 . 11) (17 . 14)) 5344 0.3999 6.8366 ((8 . 2) (10 . 4) (11 . 5) (17 . 10)) 5345 0.3999 6.8179 ((8 . 7) (10 . 9) (15 . 16) (18 . 20)) 5368 0.3999 6.6219 ((10 . 12) (15 . 18) (17 . 20) (19 . 22)) 5378 0.4000 4.9730 ((8 . 15) (10 . 16) (14 . 20) (17 . 21)) 5411 0.3997 9.3892 ((8 . 3) (9 . 5) (10 . 6) (11 . 9)) 5414 0.2801 6.6079 ((8 . 15) (9 . 17) (10 . 18) (15 . 22)) 5418 0.3999 7.6104 ((14 . 4) (15 . 7) (17 . 9) (18 . 10)) 5433 0.3999 6.3540 ((8 . 4) (10 . 7) (15 . 16) (17 . 18)) 5479 0.4000 3.9612 ((8 . 43) (10 . 44) (17 . 51) (19 . 53)) 5487 0.4203 6.9891 ((8 . 4) (10 . 7) (11 . 8) (14 . 10) (15 . 11)) 5489 0.3999 7.4810 ((10 . 5) (15 . 10) (17 . 12) (20 . 15)) 5500 0.4000 4.4578 ((8 . 1) (10 . 3) (15 . 12) (17 . 14)) 5501 0.3999 6.5503 ((9 . 28) (11 . 32) (14 . 34) (18 . 38)) 5535 0.3999 7.7702 ((8 . 2) (9 . 5) (15 . 11) (17 . 12)) 5540 0.3993 11.7018 ((9 . 5) (10 . 7) (17 . 16) (19 . 18)) 5557 0.3999 6.0571 ((8 . 4) (9 . 5) (10 . 6) (11 . 7)) 5560 0.4999 5.3413 ((8 . 13) (9 . 14) (10 . 15) (11 . 16) (14 . 18)) 5562 0.4203 7.5793 ((10 . 7) (11 . 9) (15 . 11) (17 . 14) (18 . 15)) 5567 0.4997 6.8502 ((8 . 8) (11 . 10) (15 . 15) (17 . 17) (19 . 19)) 5594 0.4999 4.8411 ((8 . 6) (9 . 7) (10 . 9) (11 . 10) (14 . 13)) 5600 0.4000 5.3842 ((15 . 6) (17 . 9) (18 . 10) (19 . 11)) 5601 0.4000 4.4935 ((15 . 5) (17 . 7) (19 . 8) (20 . 11)) 5638 0.3999 7.0050 ((15 . 7) (17 . 9) (19 . 13) (20 . 14)) 5640 0.3999 5.9932 ((10 . 19) (15 . 23) (17 . 25) (19 . 27)) 5644 0.3999 7.7498 ((8 . 4) (10 . 8) (15 . 13) (17 . 14)) 5648 0.2800 10.1534 ((11 . 1) (14 . 4) (18 . 5) (20 . 7)) 5656 0.5000 4.2224 ((10 . 5) (11 . 6) (15 . 14) (18 . 15) (19 . 16)) 5689 0.3997 9.2553 ((9 . 3) (11 . 4) (14 . 8) (20 . 12)) 5700 0.3999 7.0443 ((10 . 2) (15 . 4) (17 . 6) (19 . 9)) 5701 0.4995 8.0901 ((8 . 8) (9 . 10) (10 . 11) (14 . 15) (18 . 20)) 5702 0.3997 9.1411 ((9 . 3) (11 . 4) (14 . 8) (20 . 12)) 5703 0.3996 9.8642 ((10 . 1) (11 . 3) (15 . 6) (19 . 8)) 5711 0.3997 8.9925 ((8 . 33) (10 . 36) (15 . 43) (19 . 46)) 5713 0.3999 6.6823 ((10 . 4) (15 . 10) (17 . 13) (19 . 15)) 5718 0.2800 9.0349 ((14 . 15) (17 . 17) (19 . 21) (20 . 22)) 5731 0.3363 5.5286 ((14 . 6) (15 . 7) (17 . 10) (19 . 13)) 5746 0.4983 10.8937 ((9 . 1) (10 . 2) (15 . 7) (17 . 10) (19 . 13)) 5749 0.3998 8.4748 ((11 . 2) (15 . 5) (17 . 6) (20 . 9)) 5761 0.3997 9.5549 ((8 . 28) (9 . 29) (10 . 31) (14 . 34)) 5770 0.2412 10.1380 ((11 . 2) (17 . 9) (19 . 12) (20 . 18)) 5771 0.4999 5.0213 ((8 . 9) (9 . 10) (15 . 17) (17 . 20) (20 . 22)) 5782 0.4000 5.9575 ((8 . 27) (11 . 31) (15 . 35) (17 . 37)) 5794 0.3999 6.1472 ((9 . 13) (10 . 15) (15 . 19) (19 . 23)) 5795 0.4995 8.0425 ((8 . 10) (9 . 11) (10 . 13) (11 . 15) (15 . 16)) 5809 0.4999 5.4301 ((8 . 3) (9 . 4) (10 . 5) (15 . 7) (19 . 12)) 5822 0.3999 7.5316 ((8 . 2) (10 . 4) (15 . 9) (18 . 11)) 5827 0.4000 4.1512 ((14 . 6) (17 . 8) (18 . 10) (19 . 11)) 5830 0.3361 11.4156 ((14 . 9) (15 . 10) (18 . 15) (19 . 17)) 5847 0.2800 11.1728 ((8 . 8) (10 . 10) (15 . 17) (18 . 21)) 5861 0.4000 5.1956 ((8 . 7) (10 . 10) (15 . 15) (19 . 20)) 5865 0.2801 4.7584 ((10 . 1) (14 . 6) (15 . 5) (17 . 7)) 5878 0.4000 5.3762 ((9 . 13) (14 . 24) (15 . 25) (19 . 30)) 5888 0.3999 6.1709 ((8 . 9) (10 . 11) (15 . 17) (19 . 21)) 5896 0.1493 6.1835 ((9 . 27) (10 . 29) (11 . 30) (14 . 32)) 5904 0.4994 8.2853 ((10 . 1) (11 . 3) (15 . 4) (17 . 7) (20 . 10)) 5913 0.4993 8.8458 ((9 . 11) (14 . 14) (15 . 15) (17 . 17) (19 . 20)) 5914 0.3362 10.2163 ((15 . 2) (17 . 3) (19 . 6) (20 . 7)) 5930 0.4000 4.7821 ((8 . 2) (9 . 3) (10 . 4) (11 . 6)) 5939 0.5971 9.9626 ((8 . 2) (9 . 3) (10 . 4) (14 . 7) (15 . 8) (20 . 15)) 5945 0.6997 4.7971 ((8 . 2) (9 . 10) (10 . 11) (11 . 12) (17 . 23) (18 . 25) (20 . 39)) 5949 0.7734 3.8391 ((8 . 1) (9 . 2) (10 . 4) (15 . 9) (17 . 12) (18 . 13) (19 . 14) (20 . 15)) 5955 0.7998 3.6003 ((8 . 1) (9 . 2) (10 . 3) (14 . 6) (17 . 7) (18 . 8) (19 . 9) (20 . 18)) 5967 0.4000 3.6103 ((17 . 1) (18 . 2) (19 . 3) (20 . 8)) 5972 0.3999 7.0569 ((14 . 1) (18 . 5) (19 . 6) (20 . 8)) 5977 0.2801 5.8887 ((14 . 2) (15 . 3) (18 . 4) (19 . 5)) 6000 0.5997 5.8388 ((8 . 4) (9 . 8) (10 . 9) (15 . 17) (19 . 21) (20 . 30)) 6011 0.3999 7.6992 ((8 . 1) (10 . 3) (17 . 11) (19 . 14)) 6022 0.2800 10.1843 ((10 . 1) (15 . 5) (17 . 8) (19 . 9)) 6028 0.1970 10.2474 ((10 . 1) (11 . 4) (14 . 8) (15 . 9)) 6029 0.4816 9.9200 ((11 . 28) (15 . 31) (17 . 33) (18 . 34) (19 . 35)) 6033 0.3998 8.3353 ((9 . 2) (11 . 4) (14 . 6) (18 . 10)) 6041 0.3998 8.3420 ((11 . 5) (17 . 11) (19 . 13) (20 . 14)) 6046 0.3996 10.3376 ((17 . 2) (18 . 1) (19 . 3) (20 . 7)) 6061 0.4000 4.2595 ((10 . 13) (17 . 17) (18 . 18) (19 . 20)) 6074 0.4998 6.4950 ((8 . 2) (10 . 4) (15 . 8) (17 . 11) (19 . 13)) 6075 0.5000 4.0174 ((8 . 17) (9 . 19) (10 . 20) (15 . 24) (17 . 27)) 6079 0.3999 7.1330 ((8 . 7) (10 . 9) (11 . 10) (18 . 17)) 6087 0.3363 8.0893 ((10 . 3) (11 . 4) (14 . 7) (19 . 10)) 6089 0.4000 4.4199 ((17 . 1) (18 . 2) (19 . 3) (20 . 4)) 6094 0.3996 10.2235 ((8 . 7) (9 . 8) (15 . 14) (17 . 16)) 6099 0.3999 6.6182 ((10 . 18) (15 . 23) (17 . 25) (19 . 27)) 6142 0.4998 6.6462 ((8 . 2) (10 . 4) (15 . 6) (17 . 7) (19 . 10)) 6148 0.1970 4.6016 ((15 . 32) (17 . 34) (18 . 35) (19 . 36)) 6169 0.3996 10.0191 ((9 . 3) (11 . 4) (14 . 8) (20 . 11)) 6173 0.3999 6.4397 ((10 . 3) (15 . 8) (17 . 11) (18 . 14)) 6191 0.3997 9.5181 ((8 . 3) (10 . 6) (11 . 7) (17 . 13)) 6192 0.4997 7.1906 ((8 . 1) (9 . 2) (10 . 3) (15 . 5) (19 . 11)) 6215 0.3997 9.6201 ((8 . 18) (10 . 20) (11 . 22) (15 . 24)) 6225 0.4524 10.0582 ((9 . 2) (10 . 3) (14 . 9) (17 . 10) (19 . 12)) 6228 0.5000 4.1948 ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (15 . 7)) 6234 0.3668 10.1042 ((14 . 8) (15 . 10) (18 . 14) (19 . 15)) 6238 0.3994 10.9548 ((11 . 1) (14 . 2) (17 . 4) (18 . 6)) 6243 0.4999 5.1414 ((8 . 3) (9 . 5) (10 . 6) (11 . 7) (14 . 9)) 6251 1.0000 0.0000 ((8 . 8) (9 . 9) (10 . 10) (11 . 11) (14 . 14) (15 . 15) (17 . 17) (18 . 18) (19 . 19) (20 . 20)) 6258 0.4531 5.5528 ((10 . 7) (11 . 8) (14 . 11) (15 . 12) (17 . 13)) 6261 0.6237 3.6651 ((8 . 1) (9 . 2) (10 . 3) (14 . 7) (17 . 9) (18 . 10) (19 . 11) (20 . 23)) 6266 0.5000 4.4405 ((8 . 3) (9 . 4) (10 . 6) (14 . 9) (15 . 10)) 6270 0.3355 14.9267 ((9 . 14) (11 . 16) (15 . 18) (18 . 23)) 6271 0.3999 7.3026 ((8 . 5) (10 . 8) (11 . 9) (18 . 14)) 6273 0.2798 14.1626 ((10 . 2) (11 . 5) (15 . 6) (18 . 9)) 6294 0.4718 4.9662 ((9 . 10) (10 . 11) (11 . 12) (14 . 15) (15 . 16)) 6309 0.3998 8.2728 ((14 . 16) (15 . 17) (17 . 20) (20 . 26)) 6311 0.3995 10.8286 ((8 . 1) (10 . 4) (17 . 11) (19 . 13)) 6329 0.3994 11.2203 ((9 . 3) (11 . 6) (14 . 7) (20 . 12)) 6344 0.4999 5.1472 ((8 . 6) (10 . 8) (11 . 10) (18 . 16) (19 . 17)) 6345 0.1970 9.0128 ((9 . 1) (11 . 2) (17 . 7) (18 . 8)) 6348 0.5000 3.8037 ((8 . 1) (9 . 3) (10 . 4) (14 . 8) (17 . 11)) 6355 0.3998 8.6099 ((9 . 3) (10 . 4) (15 . 9) (18 . 13)) 6356 0.5999 4.0417 ((8 . 1) (10 . 4) (15 . 9) (17 . 11) (18 . 12) (19 . 13)) 6359 0.3999 7.0643 ((9 . 2) (11 . 4) (14 . 6) (18 . 8)) 6369 0.5995 6.5348 ((8 . 20) (9 . 21) (10 . 22) (11 . 23) (17 . 29) (19 . 31)) 6376 0.4989 9.7110 ((8 . 17) (9 . 18) (10 . 19) (15 . 26) (18 . 29)) 6391 0.3966 17.2036 ((11 . 2) (14 . 5) (18 . 7) (19 . 8)) 6392 0.4993 8.8288 ((9 . 6) (10 . 7) (18 . 14) (19 . 15) (20 . 16)) 6399 0.3999 5.9915 ((10 . 5) (15 . 10) (17 . 12) (19 . 14)) 6403 0.4000 4.0255 ((15 . 5) (17 . 7) (18 . 9) (19 . 10)) 6434 0.1970 6.8191 ((11 . 1) (15 . 3) (17 . 4) (20 . 7)) 6462 0.4996 7.5585 ((8 . 12) (10 . 16) (11 . 17) (15 . 20) (17 . 22)) 6498 0.5999 4.6071 ((14 . 36) (15 . 37) (17 . 40) (18 . 41) (19 . 42) (20 . 46)) 6520 0.3999 6.7168 ((8 . 3) (10 . 8) (17 . 14) (19 . 16)) 6536 0.3991 12.4059 ((11 . 30) (14 . 33) (17 . 35) (18 . 37)) 6539 0.4000 3.8516 ((17 . 5) (18 . 7) (19 . 8) (20 . 9)) 6548 0.4000 4.6596 ((15 . 5) (17 . 7) (18 . 8) (19 . 9)) 6553 0.5999 4.6170 ((8 . 11) (9 . 12) (10 . 13) (15 . 17) (19 . 22) (20 . 27)) 6555 0.4521 11.0843 ((8 . 7) (9 . 9) (10 . 10) (11 . 12) (15 . 16)) 6561 0.4000 5.0042 ((9 . 5) (10 . 9) (15 . 12) (17 . 13)) 6573 0.4998 6.3332 ((14 . 16) (15 . 17) (17 . 19) (18 . 20) (19 . 21)) 6575 0.1970 4.3555 ((15 . 1) (17 . 2) (19 . 5) (20 . 6)) 6578 0.4000 5.7016 ((14 . 33) (15 . 34) (17 . 38) (20 . 41)) 6584 0.4000 4.2031 ((9 . 1) (10 . 2) (15 . 6) (17 . 8)) 6585 0.4996 7.6480 ((8 . 2) (9 . 4) (10 . 6) (11 . 7) (14 . 9)) 6586 0.4000 5.2728 ((14 . 16) (17 . 18) (18 . 19) (20 . 23)) 6587 0.5000 4.1501 ((14 . 27) (17 . 29) (18 . 30) (19 . 31) (20 . 32)) 6598 0.3999 6.9851 ((9 . 12) (10 . 13) (15 . 20) (17 . 22)) 6613 0.4994 8.4112 ((8 . 10) (9 . 11) (10 . 12) (11 . 15) (14 . 19)) 6635 0.3999 6.9106 ((14 . 2) (17 . 5) (18 . 6) (19 . 7)) END