5567 25 0.3075 11.9486 ((10 . 9) (11 . 11) (14 . 12) (19 . 16)) 41 0.3077 4.8826 ((8 . 3) (11 . 5) (14 . 6) (16 . 8)) 51 0.3077 5.7820 ((11 . 1) (14 . 3) (15 . 6) (19 . 10)) 62 0.3077 4.2487 ((8 . 10) (11 . 13) (14 . 15) (15 . 16)) 64 0.3077 5.9564 ((15 . 10) (17 . 13) (18 . 14) (19 . 15)) 77 0.3076 8.0874 ((11 . 7) (16 . 12) (17 . 13) (18 . 15)) 91 0.4027 3.9686 ((11 . 10) (14 . 36) (15 . 37) (16 . 39) (17 . 40) (19 . 42)) 96 0.3077 6.1137 ((15 . 1) (17 . 3) (18 . 5) (19 . 6)) 129 0.3076 8.3053 ((15 . 2) (17 . 5) (18 . 8) (19 . 9)) 136 0.3077 5.9331 ((15 . 3) (17 . 5) (18 . 7) (19 . 8)) 150 0.3846 4.7357 ((11 . 20) (14 . 21) (15 . 23) (16 . 24) (17 . 25)) 153 0.3077 7.4642 ((11 . 1) (15 . 4) (18 . 7) (19 . 8)) 157 0.3843 10.0042 ((11 . 1) (14 . 2) (15 . 3) (17 . 5) (19 . 9)) 161 0.3077 6.9978 ((8 . 2) (11 . 6) (14 . 7) (15 . 9)) 162 0.3074 12.8775 ((4 . 12) (11 . 18) (14 . 19) (15 . 22)) 169 0.3077 7.5924 ((8 . 1) (11 . 4) (15 . 7) (18 . 10)) 177 0.3076 8.0929 ((6 . 1) (11 . 5) (15 . 7) (17 . 10)) 191 0.3844 9.0041 ((8 . 2) (11 . 4) (17 . 7) (18 . 8) (19 . 9)) 198 0.3076 8.8430 ((11 . 2) (17 . 9) (18 . 12) (19 . 13)) 207 0.3846 5.0830 ((11 . 8) (14 . 11) (15 . 13) (16 . 14) (17 . 15)) 233 0.3077 6.7619 ((11 . 1) (17 . 5) (18 . 7) (19 . 8)) 300 0.3077 7.5446 ((14 . 5) (15 . 6) (18 . 9) (19 . 10)) 305 0.3077 7.6622 ((14 . 8) (16 . 10) (17 . 11) (18 . 12)) 307 0.3846 4.5973 ((8 . 1) (11 . 3) (14 . 6) (15 . 7) (17 . 9)) 315 0.3576 6.6809 ((8 . 3) (11 . 4) (15 . 5) (17 . 6) (18 . 8) (19 . 9)) 329 0.1920 7.4659 ((14 . 1) (16 . 3) (18 . 4) (19 . 5)) 350 0.3077 6.8125 ((8 . 2) (10 . 3) (11 . 4) (15 . 10)) 360 0.3845 7.1980 ((11 . 5) (15 . 7) (17 . 9) (18 . 10) (19 . 12)) 361 0.3846 5.9490 ((6 . 1) (8 . 2) (11 . 4) (18 . 10) (19 . 11)) 365 0.3076 9.1773 ((6 . 1) (8 . 2) (14 . 7) (15 . 8)) 367 0.3077 6.5078 ((8 . 38) (11 . 42) (15 . 44) (17 . 47)) 372 0.3076 8.3041 ((15 . 3) (17 . 7) (18 . 8) (19 . 11)) 387 0.3076 8.1227 ((6 . 1) (11 . 7) (15 . 9) (18 . 12)) 405 0.2554 8.3823 ((6 . 32) (8 . 35) (11 . 39) (15 . 40)) 417 0.1920 7.8921 ((8 . 1) (14 . 6) (15 . 7) (17 . 9)) 420 0.3077 6.9308 ((15 . 1) (17 . 3) (18 . 4) (19 . 5)) 433 0.3077 5.4481 ((15 . 7) (16 . 8) (17 . 9) (18 . 10)) 442 0.3843 9.5838 ((10 . 11) (11 . 12) (14 . 13) (15 . 14) (19 . 19)) 460 0.3077 7.4783 ((15 . 1) (17 . 3) (18 . 6) (19 . 7)) 472 0.3072 14.6946 ((8 . 20) (11 . 22) (16 . 24) (17 . 25)) 491 0.3077 7.7930 ((8 . 1) (10 . 2) (17 . 8) (18 . 10)) 495 0.3076 8.1036 ((8 . 1) (11 . 3) (14 . 6) (17 . 9)) 541 0.3827 15.6087 ((4 . 2) (5 . 3) (10 . 6) (11 . 7) (15 . 11)) 543 0.3076 9.2856 ((6 . 6) (8 . 8) (14 . 14) (15 . 15)) 561 0.3076 9.4060 ((8 . 1) (11 . 3) (14 . 5) (15 . 6)) 584 0.3844 8.7534 ((14 . 9) (15 . 10) (16 . 12) (17 . 13) (18 . 15)) 587 0.3077 5.4507 ((11 . 2) (15 . 4) (17 . 7) (18 . 9)) 609 0.3077 4.4633 ((8 . 3) (11 . 6) (14 . 7) (15 . 8)) 619 0.3077 5.2978 ((10 . 3) (17 . 9) (18 . 11) (19 . 12)) 624 0.4615 4.1712 ((8 . 9) (10 . 10) (11 . 11) (14 . 12) (15 . 13) (17 . 15)) 635 0.3076 9.2495 ((10 . 2) (11 . 3) (14 . 4) (15 . 5)) 672 0.3077 6.6413 ((10 . 12) (15 . 18) (18 . 21) (19 . 23)) 678 0.4597 5.2003 ((8 . 22) (10 . 25) (14 . 28) (15 . 29) (16 . 33) (17 . 34)) 683 0.3077 4.0983 ((15 . 1) (17 . 3) (18 . 5) (19 . 6)) 719 0.3076 8.7229 ((11 . 27) (14 . 29) (15 . 30) (16 . 31)) 729 0.4615 4.4926 ((8 . 9) (10 . 12) (11 . 13) (14 . 14) (15 . 15) (17 . 17)) 735 0.3077 7.9339 ((16 . 30) (17 . 31) (18 . 32) (19 . 33)) 740 0.2284 10.9041 ((14 . 1) (17 . 3) (18 . 6) (19 . 9)) 765 0.2553 13.1672 ((6 . 3) (8 . 5) (11 . 8) (18 . 20)) 767 0.3077 4.8667 ((8 . 1) (10 . 2) (11 . 3) (15 . 8)) 795 0.3846 4.4236 ((11 . 1) (14 . 2) (15 . 3) (16 . 4) (17 . 5)) 796 0.3077 7.8935 ((10 . 1) (11 . 3) (14 . 4) (15 . 5)) 812 0.3846 5.1492 ((8 . 11) (10 . 12) (11 . 13) (15 . 16) (18 . 19)) 818 0.3077 4.3531 ((11 . 1) (14 . 3) (15 . 4) (17 . 7)) 819 0.3077 6.3115 ((6 . 2) (11 . 5) (17 . 9) (18 . 10)) 824 0.3076 8.9431 ((11 . 43) (15 . 46) (18 . 51) (19 . 53)) 861 0.3845 6.8893 ((14 . 11) (15 . 12) (17 . 15) (18 . 16) (19 . 17)) 901 0.3846 5.1646 ((10 . 14) (14 . 16) (15 . 17) (16 . 19) (17 . 20)) 904 0.3077 4.3824 ((10 . 1) (11 . 3) (14 . 5) (15 . 6)) 913 0.1920 7.2869 ((8 . 16) (10 . 18) (11 . 17) (15 . 20)) 928 0.3846 3.7157 ((8 . 1) (14 . 4) (15 . 5) (16 . 6) (17 . 7)) 937 0.3077 3.7946 ((8 . 1) (11 . 5) (16 . 3) (17 . 4)) 943 0.3846 3.1663 ((10 . 3) (11 . 4) (14 . 5) (15 . 6) (17 . 8)) 945 0.3846 5.9272 ((8 . 17) (10 . 18) (11 . 19) (14 . 21) (15 . 22)) 949 0.3076 8.3353 ((6 . 27) (11 . 32) (14 . 33) (16 . 37)) 960 0.3846 6.0488 ((8 . 9) (11 . 12) (14 . 16) (15 . 19) (16 . 20)) 978 0.6150 5.8205 ((8 . 10) (10 . 12) (11 . 13) (14 . 15) (15 . 16) (16 . 18) (17 . 19) (19 . 22)) 980 0.5384 4.2797 ((8 . 1) (10 . 4) (11 . 5) (14 . 6) (15 . 7) (16 . 8) (17 . 9)) 1007 0.3843 10.1710 ((10 . 1) (14 . 5) (17 . 7) (18 . 8) (19 . 9)) 1008 0.3076 8.4132 ((8 . 3) (11 . 8) (17 . 15) (18 . 16)) 1034 0.3076 8.0576 ((8 . 22) (16 . 27) (17 . 29) (19 . 32)) 1043 0.3844 8.7340 ((8 . 6) (10 . 9) (11 . 10) (14 . 11) (15 . 12)) 1082 0.4614 5.8947 ((10 . 18) (11 . 19) (15 . 24) (16 . 29) (17 . 30) (19 . 36)) 1084 0.3076 9.7693 ((1 . 10) (6 . 17) (11 . 20) (14 . 21)) 1165 0.3846 5.0914 ((11 . 7) (14 . 9) (15 . 10) (16 . 11) (17 . 12)) 1167 0.3077 7.2230 ((8 . 20) (11 . 22) (14 . 24) (17 . 27)) 1169 0.3077 6.8809 ((15 . 30) (17 . 32) (18 . 35) (19 . 37)) 1195 0.3077 6.6512 ((14 . 1) (15 . 2) (17 . 5) (18 . 6)) 1201 0.3077 7.0791 ((4 . 16) (5 . 17) (18 . 31) (19 . 32)) 1204 0.3077 5.6534 ((8 . 5) (10 . 6) (14 . 8) (15 . 11)) 1211 0.3790 12.2266 ((1 . 8) (6 . 10) (8 . 11) (11 . 15) (14 . 17)) 1217 0.3077 6.3273 ((15 . 3) (17 . 7) (18 . 9) (19 . 11)) 1224 0.3077 6.4300 ((8 . 5) (11 . 7) (15 . 10) (16 . 12)) 1233 0.3846 4.0777 ((11 . 11) (14 . 19) (15 . 20) (16 . 21) (17 . 22)) 1267 0.4614 6.5173 ((8 . 22) (10 . 23) (11 . 24) (14 . 25) (15 . 31) (17 . 33)) 1268 0.3077 7.6370 ((4 . 3) (5 . 4) (14 . 12) (15 . 13)) 1294 0.3076 7.9901 ((11 . 39) (17 . 44) (18 . 46) (19 . 47)) 1301 0.2854 7.4804 ((8 . 1) (10 . 2) (14 . 6) (16 . 7)) 1345 0.3845 6.7786 ((8 . 7) (10 . 8) (11 . 9) (14 . 10) (15 . 12)) 1366 0.3077 5.4415 ((8 . 12) (10 . 13) (15 . 16) (19 . 21)) 1388 0.3576 7.5653 ((8 . 1) (10 . 2) (14 . 3) (15 . 4) (17 . 5) (18 . 8)) 1410 0.3077 6.1356 ((15 . 19) (17 . 22) (18 . 23) (19 . 25)) 1425 0.3077 5.9312 ((15 . 2) (17 . 6) (18 . 8) (19 . 10)) 1435 0.3075 12.1080 ((4 . 1) (5 . 2) (6 . 3) (14 . 9)) 1447 0.4612 8.1939 ((8 . 1) (10 . 2) (11 . 3) (14 . 4) (15 . 5) (19 . 9)) 1451 0.3077 6.2734 ((8 . 6) (10 . 7) (11 . 8) (15 . 10)) 1464 0.3076 8.1931 ((14 . 9) (17 . 10) (18 . 13) (19 . 14)) 1476 0.3846 4.3720 ((8 . 9) (11 . 11) (14 . 13) (15 . 14) (17 . 15)) 1481 0.3075 11.7685 ((6 . 1) (10 . 3) (11 . 4) (14 . 8)) 1501 0.3077 7.2440 ((15 . 1) (17 . 3) (18 . 5) (19 . 6)) 1513 0.3846 4.5911 ((8 . 11) (11 . 13) (15 . 15) (16 . 16) (17 . 18)) 1514 0.3077 6.5554 ((11 . 1) (14 . 2) (15 . 3) (18 . 6)) 1577 0.3076 8.8466 ((14 . 2) (17 . 5) (18 . 6) (19 . 10)) 1591 0.4615 5.3907 ((8 . 11) (10 . 12) (11 . 14) (14 . 15) (15 . 16) (19 . 19)) 1604 0.3846 4.8353 ((8 . 3) (10 . 6) (11 . 7) (14 . 9) (15 . 10)) 1622 0.3846 4.6352 ((8 . 18) (10 . 19) (11 . 20) (14 . 21) (15 . 22)) 1643 0.3077 4.7509 ((15 . 33) (17 . 36) (18 . 37) (19 . 38)) 1644 0.3077 7.1126 ((10 . 42) (11 . 43) (15 . 46) (19 . 52)) 1665 0.3846 3.1080 ((11 . 6) (14 . 7) (15 . 8) (16 . 9) (17 . 10)) 1690 0.3846 6.3653 ((8 . 1) (10 . 7) (11 . 8) (14 . 9) (15 . 11)) 1692 0.3077 6.6526 ((14 . 4) (15 . 5) (18 . 8) (19 . 9)) 1731 0.3845 7.7369 ((8 . 6) (10 . 7) (11 . 8) (17 . 12) (18 . 13)) 1736 0.3846 4.4167 ((8 . 5) (11 . 7) (14 . 9) (15 . 10) (16 . 11)) 1738 0.3077 5.2361 ((15 . 9) (16 . 10) (17 . 11) (18 . 13)) 1747 0.3077 7.1129 ((15 . 19) (16 . 20) (18 . 24) (19 . 25)) 1756 0.3075 10.8491 ((1 . 24) (4 . 27) (6 . 30) (8 . 31)) 1759 0.3077 6.9047 ((6 . 2) (8 . 4) (11 . 6) (17 . 14)) 1761 0.4614 6.2579 ((8 . 9) (10 . 12) (11 . 13) (14 . 14) (15 . 16) (17 . 19)) 1763 0.3077 6.7518 ((6 . 3) (11 . 7) (14 . 11) (18 . 13)) 1776 0.3846 6.2563 ((8 . 1) (10 . 6) (11 . 7) (14 . 8) (15 . 9)) 1777 0.3076 8.8174 ((5 . 34) (6 . 37) (8 . 42) (11 . 45)) 1778 0.3077 4.5987 ((11 . 1) (14 . 6) (15 . 8) (17 . 12)) 1793 0.5330 4.8582 ((8 . 3) (10 . 7) (11 . 8) (14 . 9) (15 . 10) (17 . 11) (19 . 12)) 1805 0.3077 5.4200 ((11 . 2) (15 . 4) (17 . 8) (18 . 10)) 1808 0.3077 4.8377 ((8 . 2) (11 . 5) (14 . 7) (15 . 8)) 1817 0.3077 7.9152 ((15 . 14) (17 . 18) (18 . 19) (19 . 20)) 1867 0.3077 5.8163 ((15 . 1) (17 . 3) (18 . 6) (19 . 7)) 1894 0.3076 10.2005 ((6 . 12) (10 . 15) (15 . 18) (18 . 23)) 1896 0.2854 9.9505 ((10 . 12) (11 . 14) (15 . 17) (18 . 19)) 1897 0.2551 16.6821 ((1 . 39) (4 . 40) (5 . 41) (6 . 43)) 1908 0.3846 3.9584 ((8 . 7) (11 . 10) (14 . 14) (15 . 15) (17 . 17)) 1909 0.3846 3.8273 ((8 . 31) (11 . 34) (14 . 36) (15 . 37) (17 . 39)) 1913 0.3846 4.8971 ((8 . 1) (10 . 2) (11 . 3) (15 . 6) (17 . 13)) 1944 0.3763 4.3483 ((14 . 8) (15 . 9) (16 . 12) (17 . 13) (19 . 16)) 1957 0.4615 5.3687 ((8 . 5) (10 . 6) (11 . 7) (14 . 8) (15 . 9) (17 . 21)) 1961 0.3077 6.5207 ((8 . 14) (11 . 16) (14 . 18) (15 . 19)) 1967 0.3844 8.5441 ((10 . 6) (11 . 7) (14 . 9) (17 . 13) (18 . 14)) 1972 0.3846 3.9252 ((11 . 16) (14 . 17) (15 . 18) (16 . 19) (17 . 20)) 1992 0.3077 6.7142 ((10 . 8) (11 . 9) (14 . 10) (17 . 12)) 1995 0.3077 5.3311 ((6 . 1) (11 . 7) (15 . 11) (17 . 13)) 2003 0.3076 8.0170 ((14 . 2) (17 . 7) (18 . 9) (19 . 10)) 2006 0.3077 6.7611 ((8 . 8) (17 . 14) (18 . 15) (19 . 16)) 2045 0.3026 7.3060 ((8 . 3) (15 . 8) (16 . 9) (18 . 11)) 2048 0.3846 3.9904 ((8 . 1) (14 . 3) (15 . 4) (16 . 5) (17 . 6)) 2063 0.3077 6.8982 ((8 . 42) (11 . 44) (14 . 46) (15 . 49)) 2065 0.3076 9.5111 ((1 . 16) (5 . 19) (6 . 22) (11 . 27)) 2067 0.3077 7.9063 ((15 . 54) (16 . 56) (17 . 57) (18 . 60)) 2072 0.3077 7.6746 ((6 . 1) (10 . 3) (11 . 4) (15 . 7)) 2081 0.3845 7.5123 ((5 . 9) (8 . 12) (14 . 16) (18 . 20) (19 . 21)) 2083 0.4281 6.3609 ((8 . 2) (10 . 3) (11 . 4) (14 . 6) (15 . 7) (16 . 8)) 2097 0.3075 11.6813 ((5 . 3) (15 . 14) (17 . 16) (18 . 18)) 2114 0.3077 7.2022 ((11 . 28) (14 . 30) (15 . 32) (17 . 36)) 2116 0.3077 7.3435 ((15 . 5) (17 . 7) (18 . 8) (19 . 10)) 2117 0.3846 4.8997 ((8 . 1) (14 . 21) (15 . 23) (16 . 24) (17 . 25)) 2118 0.3843 9.8951 ((6 . 3) (10 . 6) (11 . 7) (14 . 8) (18 . 12)) 2122 0.3846 5.0711 ((8 . 1) (10 . 5) (11 . 6) (14 . 7) (15 . 8)) 2166 0.3843 9.9167 ((4 . 8) (11 . 13) (14 . 14) (15 . 15) (17 . 17)) 2179 0.3846 4.8411 ((8 . 7) (11 . 10) (14 . 12) (15 . 13) (16 . 16)) 2196 0.3076 10.0035 ((4 . 10) (5 . 11) (6 . 13) (11 . 18)) 2203 0.3077 7.1257 ((6 . 6) (8 . 7) (10 . 8) (11 . 10)) 2205 0.3294 10.5899 ((4 . 13) (5 . 15) (6 . 16) (15 . 23) (17 . 26)) 2209 0.3845 8.3366 ((10 . 2) (11 . 3) (14 . 4) (15 . 5) (17 . 7)) 2243 0.3077 7.8829 ((11 . 42) (15 . 45) (16 . 48) (18 . 49)) 2244 0.3077 6.4783 ((15 . 69) (17 . 71) (18 . 74) (19 . 75)) 2248 0.3844 9.0243 ((10 . 20) (11 . 22) (14 . 23) (16 . 26) (17 . 27)) 2249 0.3846 4.9406 ((8 . 12) (10 . 14) (11 . 16) (14 . 19) (15 . 20)) 2269 0.3843 9.9840 ((8 . 8) (10 . 9) (11 . 10) (14 . 11) (15 . 12)) 2279 0.3077 6.8732 ((1 . 11) (8 . 20) (10 . 21) (11 . 22)) 2298 0.4615 5.0702 ((8 . 10) (11 . 12) (14 . 14) (15 . 15) (16 . 16) (17 . 17)) 2308 0.3843 9.9341 ((8 . 6) (10 . 7) (11 . 8) (14 . 10) (15 . 11)) 2314 0.3076 9.9802 ((6 . 2) (11 . 7) (14 . 9) (17 . 11)) 2340 0.3077 6.1497 ((15 . 9) (17 . 11) (18 . 13) (19 . 14)) 2344 0.4591 9.4066 ((10 . 5) (15 . 10) (16 . 12) (17 . 13) (18 . 14) (19 . 18)) 2364 0.3846 2.9075 ((10 . 6) (11 . 7) (14 . 8) (15 . 9) (17 . 12)) 2381 0.3077 5.6692 ((14 . 2) (15 . 3) (17 . 5) (18 . 6)) 2389 0.3845 8.4624 ((1 . 3) (8 . 9) (11 . 11) (14 . 12) (15 . 14)) 2408 0.3077 7.0396 ((1 . 32) (6 . 38) (11 . 45) (15 . 47)) 2409 0.3077 6.4674 ((6 . 3) (8 . 6) (11 . 8) (14 . 11)) 2410 0.2854 4.4791 ((10 . 12) (11 . 13) (14 . 15) (15 . 16)) 2422 0.3077 5.6670 ((15 . 1) (17 . 4) (18 . 7) (19 . 8)) 2423 0.3077 6.3502 ((6 . 14) (8 . 17) (10 . 18) (11 . 19)) 2440 0.3836 13.3521 ((8 . 4) (10 . 5) (11 . 7) (14 . 10) (19 . 17)) 2447 0.4615 4.8347 ((10 . 16) (11 . 18) (14 . 19) (15 . 21) (16 . 22) (17 . 24)) 2462 0.3076 8.9246 ((6 . 6) (8 . 7) (10 . 10) (11 . 11)) 2510 0.5308 5.7463 ((8 . 19) (10 . 22) (11 . 23) (14 . 24) (15 . 25) (16 . 26) (17 . 27)) 2525 0.3077 6.1832 ((8 . 38) (10 . 39) (18 . 47) (19 . 48)) 2529 0.3077 7.5541 ((15 . 1) (16 . 2) (17 . 3) (19 . 6)) 2533 0.3846 3.0924 ((10 . 3) (11 . 4) (14 . 5) (15 . 6) (17 . 8)) 2551 0.3076 8.5690 ((8 . 3) (16 . 8) (18 . 11) (19 . 12)) 2552 0.3077 7.0971 ((8 . 1) (11 . 3) (14 . 6) (16 . 7)) 2556 0.3846 5.2735 ((8 . 11) (10 . 12) (11 . 13) (14 . 14) (15 . 16)) 2557 0.2854 9.3210 ((8 . 3) (10 . 5) (11 . 6) (14 . 8)) 2561 0.3077 7.1132 ((14 . 5) (17 . 6) (18 . 7) (19 . 8)) 2595 0.3846 5.1668 ((8 . 4) (10 . 5) (11 . 6) (15 . 9) (17 . 11)) 2619 0.3846 5.2429 ((8 . 1) (11 . 3) (14 . 4) (15 . 5) (17 . 7)) 2627 0.3077 7.2901 ((10 . 59) (11 . 60) (14 . 62) (15 . 64)) 2650 0.3077 7.7411 ((16 . 4) (17 . 5) (18 . 6) (19 . 7)) 2658 0.3076 8.9911 ((8 . 3) (16 . 9) (18 . 12) (19 . 13)) 2675 0.3077 5.2776 ((11 . 1) (17 . 8) (18 . 10) (19 . 11)) 2682 0.3077 6.2820 ((8 . 17) (11 . 19) (14 . 21) (16 . 22)) 2696 0.3077 7.0493 ((11 . 32) (15 . 35) (17 . 37) (18 . 39)) 2731 0.3846 5.6964 ((8 . 1) (14 . 2) (15 . 5) (16 . 3) (17 . 4)) 2733 0.3077 3.7941 ((11 . 1) (14 . 7) (15 . 8) (17 . 11)) 2755 0.4612 8.2591 ((8 . 3) (10 . 4) (11 . 6) (14 . 7) (15 . 8) (17 . 10)) 2773 0.3077 7.7291 ((11 . 3) (14 . 4) (15 . 5) (17 . 6)) 2783 0.3077 5.2147 ((14 . 4) (15 . 6) (17 . 8) (19 . 12)) 2804 0.3077 4.3415 ((8 . 29) (15 . 36) (18 . 38) (19 . 39)) 2821 0.3077 6.0181 ((8 . 1) (16 . 10) (17 . 11) (19 . 13)) 2830 0.4615 5.0837 ((8 . 13) (10 . 14) (11 . 15) (14 . 16) (15 . 17) (17 . 19)) 2834 0.3846 4.3861 ((1 . 1) (8 . 9) (15 . 12) (17 . 14) (18 . 16)) 2840 0.3077 5.9642 ((11 . 1) (14 . 3) (15 . 5) (18 . 8)) 2842 0.3841 11.3772 ((6 . 5) (10 . 8) (11 . 9) (15 . 11) (16 . 12)) 2867 0.3076 8.8396 ((8 . 2) (15 . 7) (18 . 9) (19 . 12)) 2879 0.3077 6.6465 ((8 . 51) (11 . 53) (14 . 55) (15 . 58)) 2886 0.3077 7.5311 ((15 . 35) (17 . 38) (18 . 39) (19 . 41)) 2940 0.3077 5.9427 ((14 . 2) (17 . 4) (18 . 5) (19 . 6)) 2947 0.3077 4.5253 ((8 . 2) (11 . 4) (14 . 5) (15 . 6)) 2955 0.3846 4.3020 ((1 . 13) (8 . 17) (11 . 18) (15 . 19) (17 . 20)) 2966 0.3077 6.1755 ((10 . 2) (11 . 3) (17 . 9) (18 . 10)) 2990 0.3076 9.2954 ((6 . 9) (8 . 12) (10 . 13) (15 . 16)) 2999 0.3845 7.4095 ((8 . 2) (10 . 3) (11 . 4) (14 . 5) (15 . 6)) 3014 0.3075 11.1042 ((4 . 22) (5 . 24) (11 . 32) (15 . 34)) 3019 0.3077 7.5914 ((14 . 18) (15 . 19) (18 . 22) (19 . 25)) 3034 0.4615 5.5449 ((8 . 1) (10 . 6) (11 . 7) (14 . 8) (15 . 9) (16 . 11)) 3041 0.3846 4.6553 ((8 . 12) (14 . 15) (15 . 16) (16 . 17) (17 . 18)) 3055 0.3077 5.7263 ((8 . 1) (11 . 3) (15 . 7) (17 . 9)) 3063 0.3845 7.7040 ((6 . 31) (8 . 32) (15 . 35) (18 . 39) (19 . 41)) 3070 0.3077 6.4438 ((10 . 30) (14 . 34) (15 . 35) (17 . 36)) 3084 0.3846 4.4558 ((8 . 3) (11 . 5) (14 . 6) (15 . 7) (17 . 9)) 3102 0.3077 6.8490 ((5 . 66) (17 . 76) (18 . 77) (19 . 80)) 3103 0.3077 5.9945 ((8 . 5) (10 . 6) (15 . 11) (17 . 13)) 3114 0.3077 7.2776 ((6 . 22) (8 . 23) (16 . 27) (19 . 29)) 3120 0.3077 7.7350 ((6 . 21) (8 . 22) (10 . 24) (11 . 25)) 3127 0.3846 4.7711 ((11 . 6) (14 . 9) (15 . 11) (16 . 12) (17 . 13)) 3147 0.3077 6.3665 ((4 . 18) (5 . 19) (6 . 21) (11 . 26)) 3176 0.2850 15.9811 ((1 . 26) (4 . 27) (5 . 29) (14 . 33)) 3187 0.3077 6.6787 ((8 . 1) (17 . 5) (18 . 6) (19 . 7)) 3190 0.3846 3.8079 ((8 . 1) (10 . 4) (14 . 7) (16 . 10) (17 . 11)) 3197 0.4614 6.3348 ((10 . 7) (11 . 10) (14 . 11) (15 . 12) (16 . 13) (17 . 14)) 3200 0.3077 5.1159 ((1 . 6) (8 . 13) (10 . 14) (11 . 15)) 3202 0.1632 13.8277 ((4 . 9) (5 . 8) (14 . 15) (15 . 18)) 3212 0.3077 5.4256 ((6 . 2) (8 . 5) (11 . 9) (14 . 10)) 3222 0.3076 8.8489 ((11 . 6) (14 . 9) (18 . 15) (19 . 16)) 3256 0.3076 8.2799 ((8 . 13) (15 . 19) (17 . 24) (18 . 25)) 3261 0.3076 8.1316 ((8 . 1) (11 . 3) (18 . 8) (19 . 9)) 3286 0.3698 6.9952 ((11 . 3) (15 . 5) (16 . 6) (17 . 7) (19 . 9)) 3289 0.2554 6.9594 ((15 . 25) (17 . 27) (18 . 30) (19 . 31)) 3297 0.3076 10.5899 ((8 . 1) (17 . 7) (18 . 8) (19 . 9)) 3322 0.3846 4.1030 ((8 . 1) (11 . 3) (14 . 6) (15 . 7) (16 . 8)) 3334 0.3827 15.6702 ((5 . 4) (10 . 9) (11 . 10) (14 . 11) (18 . 15)) 3339 0.4615 4.4816 ((8 . 15) (10 . 16) (11 . 17) (14 . 18) (15 . 19) (17 . 21)) 3344 0.1919 8.8261 ((6 . 19) (11 . 22) (15 . 26) (17 . 27)) 3358 0.3844 8.5485 ((8 . 4) (10 . 5) (11 . 8) (14 . 9) (15 . 10)) 3362 0.3846 5.9149 ((8 . 4) (10 . 5) (11 . 6) (14 . 7) (15 . 8)) 3366 0.3077 5.6679 ((8 . 22) (11 . 26) (18 . 31) (19 . 32)) 3391 0.3846 3.4546 ((10 . 3) (11 . 4) (14 . 5) (15 . 6) (17 . 8)) 3410 0.3077 5.7661 ((8 . 24) (11 . 28) (14 . 29) (15 . 30)) 3418 0.3077 7.3867 ((14 . 1) (17 . 2) (18 . 5) (19 . 6)) 3472 0.3076 8.1753 ((8 . 4) (11 . 6) (15 . 11) (17 . 12)) 3481 0.3077 3.9693 ((8 . 4) (15 . 10) (16 . 11) (17 . 12)) 3495 0.3074 12.6001 ((1 . 1) (4 . 2) (5 . 3) (19 . 16)) 3496 0.3076 8.7323 ((6 . 18) (8 . 19) (10 . 21) (11 . 22)) 3533 0.3077 7.8961 ((11 . 3) (14 . 6) (15 . 7) (18 . 11)) 3537 0.3076 8.9100 ((11 . 7) (14 . 8) (15 . 9) (16 . 11)) 3538 0.3077 7.6250 ((8 . 18) (14 . 22) (15 . 23) (18 . 26)) 3548 0.3845 7.4275 ((6 . 2) (8 . 3) (11 . 5) (14 . 7) (17 . 10)) 3549 0.3077 5.5732 ((1 . 1) (17 . 3) (18 . 5) (19 . 8)) 3561 0.4539 4.4725 ((8 . 22) (10 . 25) (11 . 26) (14 . 27) (15 . 28) (17 . 31)) 3570 0.3077 5.6611 ((11 . 1) (15 . 4) (17 . 8) (19 . 10)) 3585 0.3843 9.7375 ((1 . 5) (8 . 12) (11 . 14) (14 . 15) (15 . 16)) 3613 0.2975 9.8137 ((10 . 32) (16 . 38) (18 . 40) (19 . 41)) 3626 0.3077 6.7070 ((16 . 1) (17 . 2) (18 . 3) (19 . 6)) 3628 0.4615 4.8802 ((8 . 6) (11 . 10) (14 . 11) (15 . 12) (16 . 13) (17 . 14)) 3651 0.3846 3.7523 ((11 . 1) (14 . 2) (15 . 3) (16 . 4) (17 . 5)) 3658 0.3846 5.5983 ((15 . 1) (16 . 2) (17 . 5) (18 . 6) (19 . 7)) 3659 0.2854 6.3746 ((14 . 3) (15 . 5) (17 . 8) (18 . 9)) 3661 0.3077 7.8587 ((10 . 6) (11 . 7) (14 . 10) (15 . 11)) 3663 0.3077 6.3724 ((8 . 1) (10 . 4) (11 . 5) (14 . 6)) 3688 0.2975 10.2072 ((4 . 34) (5 . 35) (8 . 38) (18 . 43)) 3697 0.3842 10.6235 ((4 . 3) (5 . 4) (11 . 7) (14 . 8) (15 . 10)) 3703 0.3076 8.2231 ((8 . 1) (11 . 3) (18 . 8) (19 . 9)) 3732 0.3077 3.3380 ((11 . 5) (14 . 6) (15 . 7) (17 . 9)) 3733 0.3846 5.5759 ((8 . 1) (10 . 4) (11 . 6) (14 . 7) (15 . 8)) 3740 0.3845 7.2399 ((11 . 2) (15 . 4) (17 . 6) (18 . 7) (19 . 9)) 3741 0.3844 9.2665 ((4 . 13) (5 . 14) (11 . 22) (17 . 26) (19 . 28)) 3776 0.3845 7.5267 ((15 . 15) (16 . 16) (17 . 17) (18 . 20) (19 . 21)) 3778 0.3077 7.5263 ((8 . 13) (10 . 17) (14 . 19) (16 . 21)) 3787 0.3846 2.7138 ((11 . 7) (14 . 11) (15 . 12) (16 . 14) (17 . 15)) 3790 0.3077 4.8666 ((15 . 10) (17 . 14) (18 . 15) (19 . 16)) 3807 0.3077 4.9848 ((8 . 43) (11 . 47) (14 . 49) (17 . 50)) 3810 0.3077 7.1933 ((15 . 10) (17 . 14) (18 . 15) (19 . 16)) 3817 0.3845 7.4691 ((10 . 3) (11 . 5) (14 . 6) (15 . 7) (17 . 9)) 3818 0.3843 10.1888 ((10 . 21) (11 . 23) (14 . 24) (16 . 27) (17 . 28)) 3829 0.2553 13.6762 ((1 . 2) (4 . 5) (8 . 9) (14 . 13)) 3831 0.3077 6.8860 ((6 . 5) (8 . 6) (11 . 9) (14 . 11)) 3847 0.3077 7.3490 ((8 . 9) (10 . 10) (16 . 15) (17 . 16)) 3849 0.3076 9.9581 ((15 . 1) (17 . 2) (18 . 3) (19 . 5)) 3853 0.4613 7.1187 ((8 . 3) (11 . 6) (14 . 7) (15 . 8) (16 . 9) (19 . 14)) 3856 0.0997 3.7363 ((11 . 3) (14 . 4) (15 . 6) (17 . 9)) 3870 0.3846 4.2992 ((8 . 5) (14 . 7) (15 . 8) (16 . 9) (17 . 10)) 3933 0.3076 8.8768 ((11 . 3) (17 . 10) (18 . 13) (19 . 14)) 3938 0.3076 8.0771 ((16 . 5) (17 . 6) (18 . 8) (19 . 9)) 3942 0.2554 7.4299 ((11 . 2) (14 . 4) (16 . 8) (18 . 9)) 3968 0.3846 4.7281 ((8 . 3) (11 . 5) (14 . 8) (15 . 9) (17 . 11)) 3986 0.3077 6.7385 ((6 . 13) (8 . 15) (10 . 19) (17 . 27)) 3990 0.3077 6.7651 ((8 . 16) (10 . 19) (11 . 20) (15 . 22)) 4005 0.3845 7.8395 ((4 . 14) (11 . 25) (14 . 28) (17 . 32) (18 . 33)) 4009 0.3076 8.1858 ((11 . 1) (14 . 6) (15 . 7) (19 . 11)) 4019 0.3077 6.7173 ((8 . 35) (11 . 39) (15 . 43) (17 . 45)) 4034 0.3077 5.7463 ((8 . 6) (10 . 7) (15 . 9) (17 . 12)) 4037 0.2849 16.8221 ((1 . 1) (4 . 2) (5 . 3) (14 . 8)) 4062 0.2284 9.2345 ((10 . 40) (14 . 45) (18 . 49) (19 . 50)) 4067 0.4496 3.0902 ((8 . 16) (11 . 20) (14 . 21) (15 . 22) (16 . 23) (17 . 24)) 4077 0.2853 12.5764 ((4 . 11) (10 . 14) (14 . 16) (16 . 17)) 4082 0.3077 5.5808 ((10 . 1) (17 . 6) (18 . 7) (19 . 8)) 4087 0.3845 7.4102 ((15 . 1) (16 . 4) (17 . 5) (18 . 6) (19 . 7)) 4115 0.3846 5.3165 ((8 . 13) (11 . 15) (14 . 16) (15 . 17) (17 . 19)) 4140 0.1920 7.4151 ((6 . 21) (8 . 22) (14 . 26) (16 . 27)) 4151 0.5384 4.6836 ((8 . 7) (10 . 8) (11 . 9) (14 . 11) (15 . 12) (17 . 15) (19 . 17)) 4154 0.1919 9.5153 ((5 . 51) (6 . 52) (8 . 55) (11 . 57)) 4177 0.3077 5.5706 ((11 . 2) (14 . 4) (18 . 8) (19 . 9)) 4190 0.3077 6.8770 ((11 . 3) (14 . 6) (18 . 8) (19 . 9)) 4192 0.5909 3.9468 ((8 . 10) (10 . 11) (11 . 13) (14 . 14) (15 . 15) (16 . 16) (18 . 19) (19 . 22)) 4194 0.3077 4.1142 ((11 . 1) (14 . 4) (15 . 5) (17 . 7)) 4195 0.3020 15.5526 ((4 . 9) (10 . 11) (14 . 13) (17 . 15)) 4204 0.4611 8.6275 ((8 . 3) (10 . 4) (11 . 5) (15 . 9) (16 . 10) (17 . 11)) 4209 0.3075 11.7200 ((4 . 1) (6 . 2) (8 . 5) (14 . 11)) 4210 0.3846 4.8073 ((8 . 6) (10 . 7) (11 . 8) (16 . 9) (17 . 10)) 4226 0.3846 5.8591 ((11 . 1) (14 . 3) (17 . 6) (18 . 8) (19 . 9)) 4232 0.3025 8.9784 ((1 . 1) (6 . 4) (8 . 5) (15 . 8)) 4236 0.3077 7.1338 ((6 . 5) (8 . 6) (11 . 10) (14 . 11)) 4246 0.3072 14.3360 ((4 . 2) (5 . 3) (11 . 8) (14 . 10)) 4254 0.3077 5.9679 ((8 . 13) (10 . 14) (11 . 15) (14 . 16)) 4255 0.3077 6.3796 ((8 . 21) (11 . 24) (14 . 25) (15 . 26)) 4257 0.3077 4.6047 ((8 . 1) (10 . 2) (11 . 3) (16 . 6)) 4265 0.3846 3.6792 ((11 . 23) (14 . 25) (15 . 26) (16 . 28) (17 . 29)) 4266 0.3844 8.5314 ((8 . 4) (10 . 5) (14 . 7) (15 . 8) (18 . 11)) 4274 0.3846 5.4331 ((8 . 36) (10 . 37) (11 . 38) (14 . 39) (15 . 40)) 4275 0.3846 5.4634 ((11 . 21) (15 . 23) (17 . 25) (18 . 27) (19 . 28)) 4281 0.3077 7.8423 ((8 . 3) (11 . 5) (14 . 9) (15 . 10)) 4284 0.3077 7.4575 ((11 . 1) (14 . 2) (15 . 3) (17 . 5)) 4299 0.3846 4.8556 ((8 . 6) (11 . 9) (14 . 10) (15 . 11) (17 . 14)) 4301 0.3077 6.0974 ((6 . 1) (11 . 4) (15 . 9) (17 . 10)) 4326 0.5343 6.1767 ((8 . 7) (10 . 14) (11 . 15) (14 . 16) (15 . 17) (16 . 18) (17 . 19)) 4332 0.3077 6.7840 ((15 . 4) (16 . 5) (17 . 6) (19 . 9)) 4338 0.3566 9.3269 ((6 . 2) (10 . 5) (11 . 6) (14 . 9) (17 . 11)) 4352 0.3076 10.4319 ((10 . 2) (14 . 4) (16 . 7) (17 . 9)) 4359 0.3077 7.3447 ((8 . 17) (17 . 26) (18 . 27) (19 . 28)) 4380 0.3077 6.4623 ((8 . 1) (11 . 3) (18 . 14) (19 . 15)) 4383 0.2554 8.3127 ((8 . 14) (11 . 15) (18 . 21) (19 . 22)) 4386 0.3077 6.4791 ((8 . 1) (14 . 3) (15 . 4) (16 . 5)) 4388 0.3846 5.5200 ((8 . 1) (10 . 2) (11 . 3) (14 . 4) (15 . 5)) 4398 0.4612 8.1595 ((8 . 4) (10 . 5) (14 . 9) (15 . 10) (16 . 11) (17 . 12)) 4405 0.3844 9.3254 ((10 . 13) (11 . 14) (14 . 17) (15 . 18) (18 . 21)) 4408 0.3077 5.7798 ((11 . 1) (15 . 4) (16 . 5) (17 . 6)) 4415 0.3846 4.9653 ((8 . 4) (10 . 5) (11 . 9) (14 . 10) (15 . 11)) 4419 0.3077 6.1525 ((6 . 3) (8 . 6) (11 . 9) (14 . 11)) 4426 0.3077 6.4836 ((8 . 2) (11 . 4) (14 . 5) (15 . 6)) 4470 0.3846 4.7883 ((8 . 7) (14 . 11) (15 . 12) (16 . 13) (17 . 14)) 4491 0.3077 7.1904 ((11 . 1) (14 . 4) (15 . 5) (17 . 6)) 4492 0.3846 2.4110 ((10 . 10) (11 . 11) (14 . 12) (15 . 13) (17 . 16)) 4495 0.4615 3.9787 ((10 . 5) (11 . 6) (14 . 7) (15 . 8) (16 . 9) (17 . 10)) 4497 0.3077 5.9339 ((10 . 20) (15 . 24) (17 . 26) (18 . 27)) 4502 0.3846 4.9606 ((8 . 11) (10 . 13) (11 . 14) (14 . 16) (15 . 17)) 4503 0.2554 7.3914 ((11 . 1) (15 . 5) (17 . 8) (18 . 10)) 4504 0.3846 3.2403 ((11 . 15) (14 . 16) (15 . 17) (16 . 18) (17 . 19)) 4505 0.4615 5.0072 ((8 . 26) (10 . 27) (11 . 28) (14 . 29) (15 . 30) (16 . 31)) 4516 0.6152 4.9847 ((1 . 26) (8 . 30) (10 . 31) (11 . 32) (14 . 33) (15 . 34) (16 . 35) (17 . 36)) 4538 0.3077 6.8317 ((8 . 30) (11 . 32) (14 . 36) (16 . 39)) 4551 0.3076 9.8596 ((5 . 2) (6 . 4) (18 . 17) (19 . 18)) 4560 0.3844 9.3688 ((10 . 5) (11 . 6) (14 . 7) (15 . 8) (17 . 11)) 4561 0.4614 6.4305 ((8 . 1) (10 . 4) (11 . 5) (14 . 6) (15 . 7) (17 . 17)) 4562 0.3846 4.5534 ((11 . 19) (15 . 25) (16 . 26) (17 . 27) (19 . 29)) 4563 0.3077 5.1915 ((8 . 26) (11 . 28) (14 . 30) (17 . 31)) 4577 0.3077 6.8886 ((4 . 28) (5 . 29) (18 . 42) (19 . 43)) 4579 0.2975 7.1750 ((10 . 11) (16 . 16) (17 . 17) (18 . 18)) 4588 0.3845 7.3584 ((8 . 1) (11 . 3) (15 . 9) (17 . 11) (19 . 16)) 4589 0.3077 6.4515 ((10 . 17) (11 . 18) (14 . 20) (17 . 22)) 4607 0.3077 6.9433 ((4 . 3) (5 . 4) (14 . 13) (16 . 29)) 4621 0.3077 7.2208 ((14 . 2) (17 . 6) (18 . 8) (19 . 9)) 4630 0.3697 9.1112 ((5 . 26) (11 . 34) (15 . 38) (17 . 41) (18 . 42)) 4648 0.3069 16.4751 ((4 . 1) (5 . 2) (10 . 7) (11 . 8)) 4653 0.3841 10.9889 ((11 . 1) (14 . 2) (15 . 5) (18 . 8) (19 . 9)) 4665 0.3075 11.9938 ((14 . 9) (17 . 11) (18 . 12) (19 . 13)) 4668 0.5384 4.8766 ((8 . 1) (10 . 6) (11 . 7) (14 . 8) (15 . 9) (16 . 10) (17 . 11)) 4669 0.4615 4.8973 ((8 . 15) (10 . 18) (11 . 19) (14 . 20) (15 . 21) (16 . 22)) 4671 0.3844 9.2581 ((6 . 1) (8 . 2) (10 . 3) (11 . 4) (16 . 9)) 4674 0.3844 9.3674 ((6 . 1) (8 . 2) (10 . 5) (11 . 6) (15 . 9)) 4678 0.3846 5.6953 ((6 . 6) (11 . 10) (17 . 12) (18 . 15) (19 . 16)) 4713 0.3075 12.2599 ((5 . 3) (8 . 6) (11 . 8) (14 . 11)) 4715 0.2975 10.0996 ((8 . 3) (10 . 4) (14 . 7) (16 . 10)) 4731 0.3077 6.2066 ((11 . 18) (16 . 20) (17 . 22) (18 . 23)) 4857 0.3077 7.1788 ((6 . 5) (11 . 9) (16 . 12) (17 . 13)) 4886 0.3077 5.7052 ((6 . 19) (11 . 22) (15 . 24) (16 . 27)) 4888 0.3077 7.6801 ((8 . 4) (14 . 10) (18 . 14) (19 . 15)) 4889 0.3077 5.2233 ((1 . 2) (8 . 7) (14 . 9) (15 . 11)) 4907 0.3077 7.3574 ((16 . 2) (17 . 3) (18 . 4) (19 . 5)) 4914 0.3845 7.5462 ((6 . 1) (8 . 4) (11 . 6) (15 . 10) (17 . 12)) 4921 0.3077 7.3587 ((8 . 9) (11 . 12) (14 . 13) (17 . 17)) 4929 0.3077 6.2712 ((15 . 28) (17 . 31) (18 . 32) (19 . 33)) 4932 0.3077 6.8382 ((11 . 1) (14 . 3) (17 . 6) (19 . 8)) 4940 0.4614 5.8017 ((8 . 2) (11 . 3) (14 . 5) (15 . 6) (17 . 8) (19 . 9)) 4941 0.3077 6.0031 ((11 . 5) (15 . 7) (17 . 9) (18 . 11)) 4944 0.3077 4.7445 ((10 . 10) (11 . 11) (14 . 12) (17 . 14)) 4961 0.3295 8.2098 ((8 . 3) (11 . 6) (14 . 8) (16 . 11) (17 . 12)) 4978 0.5383 5.3355 ((8 . 18) (10 . 27) (11 . 28) (14 . 29) (15 . 30) (16 . 31) (17 . 32)) 4982 0.3077 5.7704 ((8 . 1) (11 . 3) (14 . 5) (15 . 6)) 4992 0.3846 6.1655 ((11 . 3) (14 . 4) (15 . 6) (16 . 7) (17 . 8)) 4998 0.3845 7.8001 ((8 . 1) (10 . 2) (11 . 3) (16 . 5) (17 . 6)) 5029 0.3846 4.2928 ((11 . 4) (14 . 7) (15 . 8) (16 . 9) (17 . 10)) 5036 0.3077 6.8128 ((6 . 1) (11 . 6) (15 . 8) (17 . 10)) 5038 0.2554 6.6270 ((15 . 10) (16 . 13) (18 . 15) (19 . 16)) 5039 0.4615 4.9845 ((10 . 36) (11 . 37) (14 . 38) (15 . 39) (16 . 40) (17 . 41)) 5044 0.3026 7.9834 ((8 . 3) (15 . 9) (16 . 11) (18 . 14)) 5053 0.3077 4.9361 ((8 . 5) (14 . 8) (15 . 9) (17 . 11)) 5065 0.3077 7.1195 ((14 . 1) (15 . 2) (18 . 7) (19 . 8)) 5068 0.3699 3.5911 ((10 . 1) (11 . 2) (15 . 4) (16 . 6) (17 . 7)) 5069 0.3846 6.5097 ((14 . 1) (15 . 2) (17 . 4) (18 . 5) (19 . 7)) 5073 0.3846 4.0383 ((8 . 36) (11 . 39) (14 . 41) (15 . 42) (17 . 44)) 5080 0.2283 15.1245 ((4 . 2) (5 . 3) (10 . 6) (16 . 13)) 5083 0.3077 5.2996 ((11 . 1) (14 . 3) (15 . 5) (17 . 8)) 5101 0.3846 4.1705 ((8 . 1) (11 . 3) (14 . 6) (15 . 7) (17 . 9)) 5103 0.3846 3.4385 ((11 . 13) (14 . 16) (15 . 17) (16 . 18) (17 . 19)) 5121 0.3077 7.1253 ((16 . 14) (17 . 16) (18 . 18) (19 . 21)) 5132 0.3077 4.7737 ((10 . 14) (11 . 16) (14 . 17) (17 . 20)) 5134 0.3077 6.2014 ((11 . 3) (14 . 5) (15 . 6) (18 . 10)) 5145 0.3077 3.9178 ((8 . 3) (11 . 5) (14 . 7) (15 . 8)) 5167 0.3846 5.1476 ((10 . 7) (11 . 9) (14 . 10) (15 . 12) (16 . 13)) 5176 0.3026 7.3567 ((15 . 82) (16 . 85) (18 . 87) (19 . 88)) 5183 0.3077 6.8173 ((8 . 36) (11 . 37) (15 . 38) (16 . 41)) 5192 0.3077 4.9085 ((8 . 1) (11 . 3) (14 . 4) (15 . 5)) 5198 0.5982 5.5518 ((1 . 19) (8 . 21) (10 . 23) (11 . 24) (14 . 25) (15 . 26) (18 . 31) (19 . 32)) 5199 0.2553 11.5965 ((6 . 7) (8 . 8) (11 . 9) (15 . 10)) 5209 0.3077 7.6793 ((16 . 6) (17 . 7) (18 . 8) (19 . 9)) 5212 0.2973 13.1875 ((8 . 21) (10 . 25) (18 . 30) (19 . 31)) 5215 0.3077 4.7065 ((8 . 4) (14 . 8) (15 . 9) (17 . 11)) 5223 0.4615 4.1271 ((11 . 6) (14 . 7) (15 . 8) (16 . 9) (17 . 10) (19 . 12)) 5231 0.3077 5.1855 ((15 . 8) (17 . 13) (18 . 14) (19 . 16)) 5266 0.3846 2.8779 ((10 . 1) (11 . 2) (14 . 3) (15 . 4) (17 . 6)) 5278 0.3077 5.6676 ((14 . 3) (15 . 5) (18 . 8) (19 . 9)) 5307 0.4613 7.5947 ((11 . 51) (14 . 52) (15 . 53) (16 . 54) (17 . 55) (19 . 58)) 5312 0.3077 6.6460 ((11 . 1) (15 . 3) (17 . 5) (18 . 7)) 5318 0.3077 4.6788 ((14 . 7) (15 . 8) (16 . 9) (17 . 11)) 5323 0.2975 6.9048 ((14 . 4) (16 . 8) (18 . 10) (19 . 11)) 5324 0.4615 4.2502 ((8 . 7) (11 . 10) (14 . 11) (15 . 12) (16 . 13) (17 . 14)) 5344 0.3845 7.9156 ((8 . 1) (11 . 3) (16 . 6) (17 . 7) (18 . 8)) 5345 0.3077 6.4138 ((11 . 7) (15 . 12) (17 . 14) (18 . 15)) 5368 0.3077 6.2826 ((4 . 32) (5 . 33) (16 . 44) (17 . 45)) 5378 0.3077 4.6202 ((11 . 4) (14 . 5) (15 . 6) (17 . 7)) 5411 0.3077 5.9368 ((10 . 1) (11 . 3) (14 . 5) (15 . 6)) 5414 0.3077 6.3649 ((11 . 14) (14 . 17) (17 . 21) (18 . 22)) 5418 0.3075 12.1899 ((4 . 2) (5 . 3) (8 . 7) (11 . 9)) 5421 0.2284 8.5812 ((15 . 1) (17 . 3) (18 . 4) (19 . 5)) 5433 0.3077 3.7032 ((8 . 7) (11 . 10) (15 . 16) (17 . 18)) 5479 0.3077 5.1373 ((4 . 46) (5 . 47) (17 . 58) (19 . 62)) 5487 0.3846 3.9567 ((8 . 4) (10 . 8) (11 . 9) (14 . 10) (15 . 11)) 5489 0.3076 8.4213 ((1 . 11) (8 . 14) (18 . 16) (19 . 17)) 5500 0.3831 14.7534 ((5 . 2) (10 . 10) (11 . 12) (14 . 13) (15 . 14)) 5501 0.3076 10.7003 ((10 . 28) (11 . 30) (14 . 32) (16 . 34)) 5525 0.2284 10.3578 ((10 . 1) (14 . 3) (18 . 7) (19 . 8)) 5535 0.3077 5.8238 ((11 . 2) (14 . 5) (18 . 9) (19 . 11)) 5540 0.3076 10.7728 ((8 . 1) (10 . 2) (11 . 3) (18 . 10)) 5557 0.3077 2.9995 ((11 . 4) (14 . 5) (15 . 6) (16 . 8)) 5560 0.4608 9.9531 ((6 . 11) (10 . 14) (11 . 15) (14 . 16) (17 . 20) (19 . 22)) 5562 0.5383 5.1905 ((8 . 7) (10 . 9) (11 . 11) (14 . 13) (15 . 14) (16 . 15) (17 . 17)) 5567 1.0000 0.0000 ((1 . 1) (4 . 4) (5 . 5) (6 . 6) (8 . 8) (10 . 10) (11 . 11) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19)) 5594 0.3846 4.8657 ((8 . 4) (10 . 5) (11 . 6) (15 . 9) (17 . 12)) 5600 0.3076 8.4720 ((11 . 3) (14 . 4) (15 . 5) (17 . 6)) 5601 0.3077 4.5902 ((8 . 5) (11 . 7) (14 . 9) (15 . 10)) 5638 0.3077 5.1980 ((11 . 7) (15 . 9) (16 . 12) (17 . 13)) 5640 0.3077 6.0545 ((15 . 1) (17 . 4) (18 . 5) (19 . 6)) 5644 0.3077 4.7745 ((6 . 1) (10 . 5) (11 . 8) (17 . 14)) 5656 0.3846 5.8896 ((8 . 14) (11 . 16) (14 . 20) (15 . 21) (17 . 24)) 5700 0.3845 6.7383 ((8 . 2) (11 . 4) (15 . 6) (17 . 9) (18 . 11)) 5701 0.3076 8.1739 ((11 . 8) (15 . 12) (16 . 13) (17 . 14)) 5703 0.3076 8.5073 ((14 . 3) (17 . 6) (18 . 7) (19 . 8)) 5711 0.3077 6.9915 ((4 . 27) (5 . 28) (18 . 39) (19 . 42)) 5713 0.3077 5.9052 ((15 . 6) (17 . 10) (18 . 11) (19 . 13)) 5718 0.3077 5.2680 ((15 . 17) (17 . 21) (18 . 23) (19 . 24)) 5731 0.3077 5.9583 ((11 . 3) (14 . 6) (18 . 11) (19 . 13)) 5746 0.3077 5.0744 ((11 . 3) (14 . 4) (15 . 6) (17 . 9)) 5749 0.3077 7.5919 ((6 . 3) (8 . 4) (11 . 6) (14 . 8)) 5761 0.3077 5.1306 ((8 . 30) (11 . 32) (14 . 34) (17 . 36)) 5770 0.3077 7.2644 ((6 . 1) (11 . 6) (14 . 7) (15 . 8)) 5771 0.3077 6.0250 ((4 . 13) (5 . 14) (8 . 17) (11 . 20)) 5782 0.3846 6.5146 ((11 . 22) (14 . 23) (15 . 24) (18 . 29) (19 . 30)) 5794 0.3077 6.3129 ((8 . 16) (10 . 17) (11 . 18) (18 . 25)) 5795 0.3846 4.3836 ((6 . 1) (11 . 10) (14 . 12) (15 . 13) (17 . 16)) 5809 0.5384 4.6276 ((8 . 1) (10 . 2) (11 . 3) (14 . 4) (15 . 5) (17 . 7) (19 . 9)) 5822 0.3075 11.1220 ((6 . 1) (8 . 2) (10 . 5) (11 . 6)) 5827 0.3762 7.4293 ((8 . 5) (10 . 6) (11 . 8) (15 . 11) (19 . 16)) 5830 0.3076 8.4187 ((11 . 1) (14 . 5) (17 . 7) (19 . 10)) 5847 0.3076 8.4672 ((15 . 1) (17 . 5) (18 . 7) (19 . 8)) 5861 0.3077 6.0294 ((8 . 22) (11 . 25) (15 . 27) (17 . 30)) 5865 0.3077 4.9999 ((11 . 1) (15 . 5) (16 . 6) (17 . 7)) 5878 0.1919 8.1941 ((14 . 22) (17 . 25) (18 . 26) (19 . 29)) 5888 0.3077 6.3515 ((11 . 9) (17 . 15) (18 . 16) (19 . 17)) 5896 0.3077 6.6916 ((11 . 26) (14 . 27) (15 . 28) (18 . 31)) 5904 0.3846 3.4261 ((8 . 4) (14 . 8) (15 . 9) (16 . 10) (17 . 11)) 5913 0.3846 6.4093 ((8 . 7) (14 . 12) (15 . 13) (16 . 14) (17 . 15)) 5914 0.2284 9.0254 ((15 . 2) (16 . 4) (18 . 5) (19 . 6)) 5922 0.3077 7.7961 ((8 . 1) (11 . 4) (18 . 10) (19 . 11)) 5930 0.3077 5.4717 ((15 . 2) (16 . 3) (17 . 4) (19 . 7)) 5939 0.4026 5.0503 ((10 . 1) (11 . 2) (14 . 3) (15 . 4) (16 . 5) (17 . 6)) 5945 0.5353 6.0962 ((8 . 2) (10 . 22) (11 . 23) (14 . 25) (15 . 26) (17 . 28) (19 . 32)) 5949 0.3846 5.3280 ((8 . 4) (10 . 8) (11 . 9) (15 . 12) (17 . 14)) 5955 0.3846 3.3443 ((11 . 1) (14 . 6) (15 . 7) (16 . 8) (17 . 9)) 5967 0.3077 4.2086 ((11 . 1) (15 . 3) (16 . 6) (17 . 7)) 5977 0.3845 7.1024 ((8 . 1) (10 . 2) (11 . 3) (14 . 4) (15 . 5)) 6000 0.3846 5.5028 ((8 . 9) (14 . 11) (16 . 16) (17 . 17) (19 . 21)) 6011 0.3077 6.7828 ((4 . 7) (5 . 8) (15 . 16) (17 . 18)) 6022 0.3077 5.6792 ((6 . 1) (8 . 2) (11 . 4) (17 . 9)) 6029 0.3844 8.8048 ((10 . 28) (11 . 31) (14 . 32) (15 . 33) (17 . 35)) 6041 0.3077 5.2850 ((6 . 8) (11 . 11) (14 . 14) (15 . 15)) 6046 0.3076 9.7561 ((6 . 2) (8 . 3) (11 . 6) (14 . 7)) 6061 0.3845 7.3061 ((8 . 13) (11 . 15) (14 . 16) (15 . 17) (17 . 20)) 6074 0.3846 4.0018 ((8 . 6) (11 . 8) (14 . 10) (15 . 11) (17 . 13)) 6075 0.3796 6.5944 ((8 . 17) (11 . 20) (15 . 21) (16 . 23) (19 . 28)) 6079 0.3077 5.1322 ((11 . 1) (14 . 2) (15 . 6) (18 . 9)) 6087 0.3846 4.4660 ((8 . 3) (10 . 4) (15 . 8) (16 . 9) (17 . 10)) 6089 0.3077 4.9801 ((8 . 1) (11 . 3) (14 . 4) (16 . 6)) 6094 0.3077 5.5463 ((11 . 3) (15 . 7) (18 . 12) (19 . 14)) 6099 0.3844 9.5321 ((5 . 27) (6 . 28) (11 . 31) (15 . 33) (17 . 35)) 6123 0.1241 18.9572 ((4 . 2) (5 . 3) (6 . 4) (10 . 7)) 6142 0.3077 6.0100 ((15 . 3) (17 . 5) (18 . 6) (19 . 7)) 6148 0.3077 4.1203 ((15 . 34) (16 . 35) (17 . 36) (18 . 37)) 6167 0.3077 5.7407 ((11 . 4) (15 . 9) (17 . 12) (18 . 14)) 6173 0.3077 6.7983 ((11 . 3) (15 . 5) (18 . 9) (19 . 11)) 6191 0.3076 8.1484 ((8 . 3) (17 . 10) (18 . 12) (19 . 13)) 6192 0.3076 8.8162 ((10 . 4) (11 . 5) (17 . 11) (18 . 13)) 6215 0.3076 10.4576 ((6 . 19) (8 . 20) (10 . 22) (11 . 24)) 6225 0.3077 7.9270 ((1 . 12) (16 . 25) (17 . 26) (18 . 28)) 6228 0.3846 4.1650 ((11 . 1) (14 . 2) (15 . 3) (16 . 4) (17 . 5)) 6234 0.3077 6.8320 ((15 . 6) (16 . 8) (18 . 10) (19 . 13)) 6238 0.3077 7.7013 ((16 . 2) (17 . 3) (18 . 4) (19 . 5)) 6243 0.4611 8.4229 ((10 . 5) (11 . 6) (14 . 7) (15 . 8) (16 . 9) (17 . 10)) 6251 0.3845 6.8502 ((8 . 8) (10 . 11) (15 . 15) (17 . 17) (19 . 19)) 6258 0.3846 5.0453 ((11 . 7) (15 . 10) (16 . 11) (17 . 12) (19 . 13)) 6261 0.4615 4.6368 ((10 . 7) (11 . 9) (14 . 10) (15 . 11) (16 . 15) (17 . 19)) 6266 0.4493 7.8335 ((8 . 3) (10 . 4) (11 . 6) (15 . 8) (16 . 9) (17 . 10)) 6270 0.3077 4.0551 ((11 . 15) (14 . 16) (15 . 17) (18 . 20)) 6271 0.3076 8.8517 ((8 . 8) (10 . 9) (11 . 10) (16 . 14)) 6273 0.3025 10.1210 ((15 . 3) (16 . 5) (18 . 6) (19 . 7)) 6294 0.3846 4.5298 ((10 . 21) (11 . 23) (14 . 24) (15 . 25) (17 . 27)) 6306 0.3077 7.1687 ((11 . 16) (14 . 18) (15 . 19) (18 . 22)) 6309 0.3077 6.6018 ((11 . 17) (14 . 19) (15 . 20) (18 . 25)) 6311 0.3077 6.8028 ((11 . 4) (17 . 9) (18 . 10) (19 . 11)) 6326 0.3025 9.6110 ((8 . 2) (15 . 6) (18 . 11) (19 . 12)) 6338 0.3077 7.9588 ((6 . 1) (8 . 2) (11 . 5) (15 . 8)) 6344 0.3762 7.9806 ((11 . 8) (14 . 10) (17 . 13) (18 . 14) (19 . 17)) 6345 0.3077 7.1286 ((8 . 5) (11 . 6) (16 . 9) (17 . 11)) 6348 0.3846 4.1966 ((8 . 4) (14 . 8) (15 . 9) (16 . 10) (17 . 11)) 6355 0.3846 6.0280 ((10 . 3) (11 . 4) (15 . 7) (18 . 11) (19 . 12)) 6356 0.4615 5.0076 ((11 . 1) (14 . 8) (15 . 9) (16 . 10) (17 . 11) (19 . 13)) 6369 0.4615 3.9153 ((8 . 22) (11 . 24) (14 . 25) (15 . 26) (17 . 29) (19 . 31)) 6376 0.3077 3.1887 ((11 . 17) (14 . 18) (15 . 19) (17 . 21)) 6391 0.3077 7.6353 ((15 . 6) (16 . 7) (18 . 8) (19 . 10)) 6392 0.3846 6.1423 ((8 . 1) (11 . 3) (14 . 6) (15 . 7) (16 . 8)) 6399 0.3077 6.8110 ((8 . 18) (11 . 20) (15 . 25) (17 . 27)) 6403 0.3844 8.4832 ((10 . 6) (11 . 7) (15 . 10) (18 . 14) (19 . 15)) 6434 0.3075 11.7225 ((6 . 2) (8 . 3) (11 . 5) (16 . 8)) 6462 0.3846 4.0264 ((8 . 12) (14 . 17) (15 . 18) (16 . 19) (17 . 20)) 6498 0.3077 4.2353 ((8 . 16) (11 . 19) (14 . 20) (15 . 21)) 6520 0.3077 7.6638 ((6 . 14) (10 . 18) (14 . 22) (18 . 24)) 6536 0.3025 8.9217 ((10 . 30) (16 . 34) (17 . 35) (18 . 36)) 6539 0.3076 8.2315 ((10 . 1) (14 . 3) (15 . 4) (16 . 7)) 6540 0.3076 9.1793 ((6 . 2) (10 . 4) (15 . 9) (18 . 11)) 6548 0.3846 6.1329 ((8 . 5) (10 . 6) (11 . 7) (15 . 9) (17 . 13)) 6553 0.3846 5.9279 ((8 . 13) (11 . 15) (15 . 17) (16 . 19) (17 . 20)) 6555 0.3077 6.9261 ((11 . 17) (15 . 20) (18 . 24) (19 . 25)) 6561 0.3077 6.4425 ((11 . 10) (14 . 11) (18 . 13) (19 . 15)) 6573 0.3077 5.1409 ((8 . 17) (10 . 18) (11 . 19) (15 . 21)) 6575 0.3076 9.5261 ((6 . 2) (8 . 5) (10 . 6) (14 . 7)) 6578 0.3077 7.4637 ((8 . 32) (11 . 37) (14 . 39) (16 . 40)) 6584 0.3077 7.3202 ((14 . 1) (15 . 2) (18 . 5) (19 . 6)) 6585 0.3843 9.6393 ((8 . 2) (10 . 4) (11 . 6) (14 . 7) (16 . 9)) 6586 0.3076 8.5999 ((11 . 18) (14 . 19) (16 . 23) (17 . 24)) 6587 0.3077 3.2948 ((10 . 27) (11 . 29) (14 . 30) (15 . 31)) 6598 0.3842 10.4580 ((4 . 13) (5 . 16) (15 . 24) (17 . 26) (18 . 27)) 6613 0.3846 3.7782 ((8 . 24) (10 . 25) (11 . 27) (15 . 31) (17 . 32)) END