4398 25 0.3331 11.5901 ((5 . 1) (9 . 4) (11 . 5) (13 . 7)) 41 0.4167 3.9084 ((4 . 3) (5 . 4) (6 . 5) (8 . 7) (9 . 8)) 51 0.3333 5.6206 ((4 . 1) (8 . 6) (11 . 9) (12 . 10)) 62 0.4166 5.7801 ((5 . 9) (6 . 10) (8 . 13) (11 . 15) (12 . 16)) 64 0.3333 7.7703 ((6 . 2) (7 . 3) (8 . 4) (10 . 7)) 77 0.3333 5.8620 ((4 . 8) (5 . 10) (10 . 15) (11 . 16)) 91 0.3333 2.7404 ((8 . 37) (9 . 39) (10 . 40) (12 . 42)) 96 0.4166 6.5812 ((4 . 1) (5 . 2) (6 . 3) (10 . 6) (11 . 7)) 129 0.3333 5.8040 ((6 . 1) (7 . 2) (8 . 3) (10 . 8)) 136 0.4162 10.0389 ((2 . 2) (6 . 5) (7 . 7) (8 . 8) (9 . 9)) 150 0.3953 7.8357 ((1 . 20) (2 . 21) (4 . 23) (5 . 24) (6 . 25)) 153 0.4165 7.1378 ((4 . 1) (6 . 4) (7 . 5) (8 . 6) (12 . 8)) 155 0.1642 7.2646 ((2 . 1) (6 . 3) (7 . 2) (11 . 5)) 157 0.4167 3.5524 ((4 . 1) (5 . 2) (8 . 5) (9 . 6) (12 . 8)) 161 0.3020 10.4358 ((5 . 1) (6 . 3) (7 . 4) (8 . 6)) 162 0.1940 11.1415 ((2 . 16) (4 . 17) (6 . 18) (8 . 22)) 169 0.3333 7.7230 ((6 . 2) (7 . 3) (8 . 4) (10 . 7)) 177 0.3333 8.5299 ((1 . 3) (4 . 5) (6 . 7) (8 . 10)) 191 0.3331 10.9821 ((1 . 1) (4 . 2) (12 . 7) (13 . 8)) 198 0.3332 9.2541 ((4 . 8) (7 . 12) (8 . 14) (10 . 17)) 207 0.5824 7.7299 ((4 . 8) (5 . 11) (8 . 13) (9 . 14) (10 . 15) (11 . 16) (12 . 18)) 233 0.3333 8.0405 ((4 . 1) (6 . 3) (8 . 5) (10 . 8)) 300 0.3775 7.7460 ((2 . 5) (4 . 6) (8 . 9) (10 . 10) (12 . 18)) 305 0.3333 5.7647 ((8 . 9) (9 . 10) (10 . 11) (12 . 12)) 307 0.5000 4.1563 ((4 . 1) (5 . 2) (6 . 3) (8 . 7) (9 . 8) (10 . 9)) 315 0.3021 8.4098 ((6 . 4) (8 . 6) (9 . 7) (13 . 10)) 329 0.1940 6.4495 ((2 . 1) (5 . 3) (6 . 5) (7 . 4)) 350 0.3333 8.0074 ((5 . 9) (6 . 11) (7 . 13) (10 . 16)) 351 0.3332 10.3511 ((2 . 4) (5 . 5) (9 . 8) (11 . 9)) 360 0.4166 5.9767 ((6 . 9) (7 . 10) (8 . 12) (9 . 13) (10 . 14)) 361 0.4166 6.4566 ((7 . 1) (8 . 2) (9 . 3) (10 . 4) (11 . 5)) 365 0.3333 7.1649 ((4 . 1) (6 . 3) (7 . 4) (8 . 6)) 367 0.3333 6.3868 ((6 . 38) (7 . 40) (8 . 42) (10 . 44)) 372 0.3332 8.6653 ((6 . 5) (7 . 6) (8 . 7) (10 . 10)) 387 0.3333 8.0995 ((4 . 9) (6 . 11) (7 . 12) (12 . 15)) 405 0.3332 8.9048 ((6 . 35) (7 . 37) (8 . 38) (10 . 40)) 417 0.3333 7.7903 ((8 . 1) (10 . 2) (12 . 3) (13 . 5)) 420 0.3333 5.9384 ((6 . 1) (8 . 3) (10 . 4) (12 . 5)) 433 0.3333 7.5221 ((6 . 5) (8 . 7) (11 . 8) (12 . 9)) 442 0.4166 5.5117 ((5 . 11) (6 . 12) (9 . 13) (10 . 14) (11 . 15)) 460 0.3333 8.3772 ((4 . 2) (8 . 6) (10 . 8) (11 . 9)) 472 0.3333 8.1811 ((1 . 27) (2 . 29) (4 . 31) (5 . 33)) 491 0.3329 13.0615 ((4 . 1) (7 . 6) (10 . 8) (13 . 10)) 495 0.4166 6.9567 ((5 . 2) (9 . 4) (10 . 5) (11 . 6) (12 . 7)) 541 0.4166 4.9961 ((2 . 6) (4 . 7) (8 . 11) (9 . 13) (10 . 14)) 543 0.3333 5.1077 ((4 . 1) (8 . 5) (11 . 7) (12 . 8)) 561 0.3333 6.2585 ((7 . 3) (8 . 4) (9 . 5) (10 . 6)) 584 0.3333 6.2272 ((4 . 5) (8 . 10) (9 . 12) (12 . 13)) 587 0.3333 7.9969 ((4 . 3) (6 . 6) (7 . 7) (10 . 9)) 609 0.4166 5.2573 ((2 . 2) (4 . 3) (8 . 6) (9 . 7) (10 . 8)) 619 0.3333 8.1792 ((6 . 7) (7 . 8) (8 . 9) (10 . 12)) 624 0.8288 5.0337 ((2 . 6) (4 . 7) (5 . 8) (6 . 9) (8 . 11) (9 . 12) (10 . 13) (11 . 14) (12 . 15) (13 . 22)) 635 0.4159 11.1442 ((5 . 2) (6 . 3) (8 . 5) (9 . 7) (11 . 9)) 672 0.3333 8.1223 ((5 . 19) (6 . 22) (7 . 23) (8 . 24)) 678 0.4166 6.7751 ((2 . 21) (4 . 22) (5 . 23) (6 . 24) (11 . 28)) 719 0.4165 7.5277 ((4 . 22) (7 . 25) (8 . 27) (9 . 29) (10 . 30)) 729 0.6666 3.6052 ((2 . 6) (4 . 7) (5 . 8) (6 . 9) (8 . 13) (9 . 14) (10 . 15) (12 . 17)) 735 0.4165 8.1011 ((4 . 29) (6 . 32) (7 . 33) (8 . 36) (10 . 39)) 740 0.3186 5.2953 ((2 . 1) (4 . 2) (6 . 5) (7 . 6)) 765 0.3333 7.0038 ((1 . 3) (7 . 10) (10 . 17) (12 . 18)) 767 0.3333 5.6096 ((4 . 1) (5 . 2) (6 . 3) (12 . 12)) 795 0.3333 3.9384 ((4 . 1) (8 . 3) (9 . 4) (10 . 5)) 796 0.3332 9.2083 ((8 . 3) (11 . 4) (12 . 5) (13 . 6)) 801 0.3021 6.1343 ((4 . 1) (6 . 4) (7 . 5) (8 . 6)) 812 0.4999 5.9525 ((4 . 8) (6 . 9) (8 . 11) (9 . 12) (10 . 13) (12 . 16)) 818 0.3333 4.1178 ((8 . 7) (9 . 9) (10 . 10) (11 . 11)) 819 0.3332 8.7847 ((1 . 5) (6 . 9) (7 . 10) (9 . 11)) 824 0.3332 8.8052 ((6 . 45) (7 . 46) (8 . 49) (12 . 53)) 834 0.3258 5.4617 ((1 . 33) (2 . 34) (5 . 36) (9 . 40)) 861 0.3333 6.7379 ((5 . 11) (6 . 12) (8 . 15) (10 . 17)) 901 0.5000 3.9729 ((2 . 10) (4 . 12) (6 . 15) (8 . 17) (9 . 19) (10 . 20)) 904 0.2334 6.9910 ((2 . 1) (4 . 3) (5 . 5) (8 . 7)) 913 0.2644 9.2343 ((4 . 16) (6 . 17) (9 . 18) (10 . 20)) 928 0.7498 3.6653 ((2 . 9) (4 . 10) (5 . 11) (6 . 12) (8 . 14) (9 . 15) (10 . 16) (11 . 17) (12 . 18)) 937 0.3333 6.6594 ((8 . 1) (9 . 3) (10 . 4) (12 . 5)) 943 0.7497 4.1613 ((2 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 9) (9 . 10) (10 . 12) (11 . 13) (12 . 14)) 945 0.4166 5.4731 ((2 . 13) (4 . 14) (6 . 17) (9 . 21) (10 . 22)) 949 0.3332 9.3676 ((4 . 27) (6 . 30) (8 . 32) (11 . 35)) 960 0.4999 4.9329 ((2 . 11) (4 . 12) (9 . 16) (10 . 19) (11 . 20) (12 . 21)) 978 0.4998 6.6039 ((4 . 6) (8 . 10) (9 . 12) (10 . 13) (11 . 15) (12 . 16)) 980 0.6665 4.0044 ((4 . 1) (5 . 2) (6 . 3) (8 . 5) (9 . 6) (10 . 7) (11 . 8) (12 . 9)) 1007 0.3333 5.7644 ((2 . 6) (4 . 9) (6 . 11) (7 . 12)) 1008 0.3333 7.8785 ((6 . 3) (7 . 5) (8 . 8) (11 . 11)) 1034 0.3333 7.1099 ((5 . 27) (8 . 29) (9 . 31) (10 . 32)) 1043 0.4167 3.7158 ((5 . 5) (6 . 6) (9 . 9) (10 . 10) (12 . 12)) 1082 0.4999 5.1061 ((4 . 9) (5 . 11) (6 . 12) (9 . 14) (10 . 16) (11 . 17)) 1084 0.3333 7.6485 ((6 . 3) (9 . 6) (10 . 8) (13 . 10)) 1121 0.3333 6.0359 ((5 . 1) (6 . 2) (7 . 3) (8 . 4)) 1165 0.4166 5.6627 ((4 . 4) (5 . 5) (6 . 7) (9 . 9) (10 . 10)) 1167 0.4165 7.2167 ((5 . 19) (6 . 20) (7 . 21) (8 . 22) (9 . 24)) 1169 0.3333 5.4843 ((4 . 30) (6 . 32) (7 . 33) (10 . 37)) 1195 0.3333 8.4619 ((2 . 1) (4 . 2) (6 . 5) (7 . 6)) 1201 0.3333 7.2293 ((2 . 5) (4 . 7) (5 . 8) (6 . 9)) 1204 0.3333 5.6683 ((5 . 2) (6 . 3) (12 . 11) (13 . 12)) 1211 0.3333 7.0603 ((5 . 7) (6 . 8) (7 . 9) (8 . 10)) 1217 0.1940 11.7428 ((2 . 2) (4 . 3) (6 . 7) (10 . 12)) 1224 0.3333 7.7653 ((6 . 7) (7 . 9) (8 . 10) (10 . 14)) 1233 0.4999 4.9450 ((4 . 14) (5 . 16) (6 . 17) (8 . 20) (9 . 21) (10 . 22)) 1267 0.5000 3.3924 ((4 . 22) (5 . 23) (6 . 24) (8 . 36) (9 . 37) (10 . 38)) 1268 0.2334 10.6292 ((2 . 19) (5 . 21) (6 . 22) (9 . 26)) 1294 0.3332 8.9990 ((4 . 40) (8 . 44) (10 . 46) (12 . 47)) 1324 0.3333 4.3512 ((6 . 1) (8 . 3) (10 . 4) (12 . 6)) 1345 0.3333 3.6147 ((4 . 7) (8 . 9) (9 . 10) (10 . 12)) 1366 0.3333 5.9056 ((4 . 12) (5 . 13) (6 . 14) (8 . 16)) 1388 0.3332 9.0048 ((6 . 1) (9 . 3) (10 . 4) (12 . 5)) 1410 0.2644 8.7332 ((4 . 19) (6 . 21) (8 . 23) (10 . 26)) 1425 0.3333 7.6727 ((4 . 6) (6 . 8) (7 . 10) (8 . 12)) 1435 0.1940 10.2484 ((2 . 7) (5 . 9) (7 . 11) (8 . 13)) 1447 0.4999 5.2362 ((2 . 2) (4 . 3) (6 . 5) (8 . 7) (9 . 8) (10 . 9)) 1451 0.4165 7.1623 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 5)) 1464 0.3333 7.1303 ((5 . 9) (6 . 10) (7 . 13) (8 . 14)) 1472 0.3332 10.0053 ((2 . 5) (4 . 7) (5 . 9) (11 . 12)) 1476 0.4166 5.3790 ((2 . 10) (4 . 14) (6 . 15) (8 . 18) (12 . 20)) 1481 0.1940 8.6460 ((6 . 4) (7 . 5) (8 . 7) (9 . 8)) 1497 0.3333 8.3536 ((2 . 16) (5 . 17) (9 . 21) (11 . 23)) 1501 0.3333 8.1526 ((6 . 2) (7 . 3) (8 . 4) (13 . 9)) 1513 0.4166 5.3882 ((2 . 4) (4 . 5) (9 . 9) (10 . 11) (11 . 12)) 1514 0.3333 6.9137 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 1577 0.3333 5.1700 ((2 . 2) (8 . 3) (10 . 4) (12 . 12)) 1591 0.5830 6.1754 ((4 . 4) (5 . 5) (8 . 6) (9 . 7) (10 . 8) (11 . 10) (12 . 11)) 1595 0.1642 9.9957 ((5 . 6) (6 . 7) (7 . 8) (9 . 9)) 1604 0.4165 7.4948 ((5 . 6) (8 . 7) (9 . 9) (10 . 10) (11 . 11)) 1622 0.4166 6.6994 ((4 . 18) (5 . 19) (8 . 20) (9 . 21) (10 . 22)) 1624 0.3333 7.5868 ((2 . 1) (6 . 5) (7 . 6) (10 . 9)) 1643 0.4164 8.3366 ((4 . 32) (6 . 34) (7 . 36) (8 . 37) (12 . 39)) 1644 0.3333 7.6276 ((4 . 44) (6 . 47) (7 . 48) (8 . 49)) 1665 0.3333 4.3725 ((6 . 6) (8 . 8) (9 . 9) (10 . 10)) 1690 0.4166 6.2814 ((4 . 1) (5 . 7) (8 . 8) (9 . 9) (10 . 11)) 1692 0.3333 5.5713 ((2 . 4) (4 . 5) (6 . 7) (10 . 10)) 1731 0.4164 8.5991 ((4 . 6) (5 . 7) (6 . 8) (9 . 11) (12 . 12)) 1736 0.4167 3.8486 ((4 . 5) (8 . 7) (9 . 9) (10 . 10) (11 . 11)) 1738 0.4998 6.5042 ((4 . 4) (6 . 6) (8 . 9) (9 . 10) (10 . 11) (12 . 13)) 1747 0.4166 6.9232 ((4 . 6) (6 . 7) (8 . 11) (10 . 12) (12 . 13)) 1756 0.3332 8.8676 ((4 . 22) (6 . 25) (7 . 26) (10 . 30)) 1759 0.4165 7.4376 ((4 . 4) (6 . 6) (7 . 8) (8 . 9) (12 . 14)) 1761 0.6665 4.1071 ((4 . 7) (5 . 8) (6 . 9) (8 . 13) (9 . 14) (10 . 16) (11 . 18) (12 . 19)) 1763 0.3021 8.1002 ((1 . 3) (5 . 6) (11 . 11) (13 . 13)) 1776 0.4999 5.8130 ((2 . 6) (4 . 7) (5 . 8) (8 . 9) (11 . 10) (12 . 12)) 1777 0.4159 11.3522 ((4 . 37) (6 . 43) (7 . 45) (8 . 47) (10 . 50)) 1778 0.4164 8.7183 ((6 . 3) (7 . 4) (8 . 5) (9 . 6) (10 . 8)) 1793 0.5000 4.4591 ((4 . 4) (5 . 5) (9 . 7) (10 . 8) (11 . 9) (12 . 10)) 1805 0.3333 7.4595 ((6 . 2) (7 . 3) (8 . 4) (12 . 9)) 1808 0.4998 6.3673 ((5 . 1) (6 . 2) (7 . 4) (8 . 5) (9 . 7) (10 . 8)) 1817 0.3333 7.1188 ((6 . 14) (7 . 15) (8 . 18) (10 . 20)) 1867 0.3333 4.4271 ((4 . 1) (5 . 2) (6 . 3) (8 . 7)) 1894 0.3333 8.2349 ((5 . 15) (8 . 18) (10 . 20) (12 . 21)) 1896 0.3333 5.9532 ((5 . 21) (6 . 22) (10 . 27) (11 . 28)) 1897 0.3331 11.2481 ((1 . 34) (2 . 36) (6 . 39) (7 . 40)) 1908 0.5828 6.8982 ((4 . 3) (5 . 6) (8 . 7) (9 . 9) (10 . 10) (11 . 14) (12 . 17)) 1909 0.4166 5.4980 ((5 . 26) (9 . 30) (10 . 31) (11 . 33) (12 . 34)) 1913 0.3333 4.9531 ((4 . 9) (6 . 12) (8 . 15) (10 . 18)) 1944 0.6664 4.9818 ((2 . 2) (4 . 3) (5 . 6) (6 . 7) (8 . 9) (9 . 12) (10 . 13) (12 . 22)) 1957 0.7497 4.2029 ((2 . 10) (4 . 11) (5 . 12) (6 . 13) (8 . 15) (9 . 16) (10 . 17) (11 . 18) (12 . 19)) 1961 0.4165 7.1294 ((6 . 14) (7 . 15) (8 . 16) (9 . 18) (12 . 19)) 1967 0.3333 4.4774 ((5 . 4) (8 . 7) (11 . 9) (12 . 10)) 1972 0.4999 5.2346 ((2 . 17) (4 . 18) (6 . 20) (8 . 24) (9 . 25) (10 . 27)) 1992 0.4165 7.0967 ((4 . 1) (5 . 5) (10 . 9) (11 . 10) (12 . 12)) 1995 0.3332 8.5915 ((4 . 7) (6 . 11) (7 . 12) (8 . 13)) 2003 0.3333 5.2062 ((5 . 2) (6 . 4) (7 . 5) (10 . 9)) 2006 0.4163 9.0793 ((4 . 11) (6 . 13) (7 . 14) (8 . 15) (12 . 18)) 2045 0.3331 11.5460 ((1 . 1) (5 . 4) (8 . 7) (13 . 11)) 2048 0.4999 5.8527 ((2 . 3) (4 . 4) (5 . 5) (6 . 6) (9 . 12) (12 . 13)) 2063 0.3333 6.3502 ((6 . 42) (7 . 43) (8 . 44) (9 . 46)) 2065 0.3333 5.5557 ((6 . 16) (7 . 17) (8 . 18) (12 . 23)) 2067 0.3430 6.2024 ((2 . 8) (4 . 9) (6 . 10) (7 . 15) (11 . 18)) 2072 0.3333 6.2594 ((4 . 2) (5 . 3) (10 . 7) (11 . 8)) 2081 0.4166 6.2338 ((2 . 1) (6 . 3) (9 . 7) (10 . 9) (12 . 23)) 2083 0.4165 7.1872 ((7 . 1) (8 . 2) (9 . 3) (10 . 4) (11 . 6)) 2097 0.3333 6.2619 ((1 . 3) (4 . 5) (10 . 14) (13 . 18)) 2114 0.3333 5.4549 ((4 . 32) (6 . 34) (7 . 36) (9 . 38)) 2116 0.3333 4.7704 ((6 . 7) (7 . 8) (8 . 10) (10 . 12)) 2117 0.5829 6.4036 ((4 . 1) (6 . 4) (8 . 5) (9 . 8) (10 . 12) (11 . 13) (12 . 14)) 2118 0.4165 7.5446 ((4 . 5) (5 . 6) (6 . 7) (9 . 8) (13 . 11)) 2122 0.4998 6.4935 ((4 . 1) (5 . 5) (6 . 6) (8 . 8) (9 . 9) (10 . 10)) 2166 0.4166 6.6842 ((2 . 5) (6 . 7) (9 . 10) (10 . 12) (12 . 21)) 2179 0.4165 8.0917 ((4 . 5) (6 . 7) (7 . 9) (8 . 10) (11 . 12)) 2196 0.3333 4.7525 ((4 . 10) (8 . 14) (10 . 16) (12 . 18)) 2203 0.3333 8.4265 ((7 . 6) (8 . 7) (9 . 8) (10 . 10)) 2205 0.3333 6.2107 ((4 . 17) (6 . 20) (8 . 22) (12 . 26)) 2209 0.7140 3.3319 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 10)) 2243 0.3333 8.0861 ((6 . 52) (7 . 53) (8 . 54) (12 . 59)) 2244 0.3333 5.2223 ((6 . 74) (7 . 75) (8 . 76) (10 . 78)) 2248 0.4166 4.3847 ((2 . 20) (4 . 22) (5 . 23) (9 . 26) (10 . 27)) 2249 0.4292 4.5719 ((2 . 3) (4 . 4) (6 . 7) (8 . 12) (9 . 14) (10 . 16) (11 . 19) (12 . 23)) 2269 0.4166 5.5269 ((4 . 8) (5 . 9) (6 . 10) (9 . 11) (10 . 12)) 2279 0.3333 7.6775 ((2 . 15) (4 . 20) (5 . 21) (6 . 22)) 2295 0.3018 13.1013 ((2 . 2) (5 . 3) (9 . 6) (11 . 7)) 2298 0.5000 4.3775 ((2 . 5) (5 . 7) (6 . 8) (8 . 10) (10 . 12) (11 . 14)) 2308 0.4166 5.6930 ((4 . 6) (5 . 7) (6 . 8) (9 . 10) (10 . 11)) 2314 0.2644 11.9729 ((4 . 11) (7 . 13) (10 . 17) (12 . 18)) 2340 0.3670 6.7342 ((2 . 8) (4 . 9) (5 . 10) (6 . 11) (8 . 13) (10 . 14)) 2344 0.3952 8.8269 ((4 . 3) (5 . 5) (6 . 6) (7 . 7) (10 . 10)) 2364 0.4999 4.7337 ((1 . 5) (2 . 6) (4 . 9) (10 . 15) (11 . 16) (12 . 18)) 2381 0.4166 4.4569 ((2 . 2) (4 . 3) (6 . 5) (7 . 6) (9 . 8)) 2389 0.4166 6.6498 ((6 . 9) (7 . 10) (8 . 11) (9 . 12) (10 . 14)) 2408 0.3333 6.0947 ((4 . 34) (7 . 39) (8 . 40) (10 . 42)) 2409 0.3333 5.7851 ((2 . 1) (6 . 5) (7 . 6) (10 . 9)) 2410 0.3333 6.1510 ((8 . 13) (9 . 14) (11 . 15) (12 . 16)) 2422 0.4166 5.1815 ((4 . 1) (5 . 2) (6 . 4) (10 . 9) (11 . 10)) 2423 0.3333 8.4004 ((7 . 19) (8 . 20) (12 . 22) (13 . 25)) 2440 0.4166 6.8918 ((4 . 4) (5 . 5) (6 . 7) (7 . 8) (9 . 10)) 2443 0.2334 10.4211 ((2 . 1) (5 . 3) (9 . 5) (11 . 7)) 2447 0.5903 5.1895 ((2 . 9) (4 . 13) (5 . 14) (6 . 15) (8 . 18) (9 . 19) (10 . 21) (11 . 22) (12 . 24)) 2462 0.3332 9.3908 ((5 . 2) (6 . 3) (9 . 5) (10 . 6)) 2510 0.5828 6.7672 ((2 . 2) (4 . 3) (5 . 4) (6 . 5) (9 . 6) (10 . 7) (11 . 8)) 2525 0.3333 5.0325 ((4 . 45) (5 . 46) (6 . 47) (7 . 48)) 2529 0.4164 8.6035 ((4 . 1) (5 . 2) (8 . 3) (10 . 6) (11 . 7)) 2533 0.4999 5.3747 ((2 . 5) (4 . 6) (6 . 8) (8 . 9) (9 . 11) (10 . 13)) 2544 0.2334 8.9689 ((2 . 18) (5 . 21) (6 . 23) (7 . 22)) 2551 0.3332 9.8839 ((2 . 7) (5 . 8) (7 . 11) (8 . 12)) 2552 0.4166 5.2590 ((4 . 1) (5 . 2) (6 . 3) (8 . 5) (9 . 6)) 2556 0.4166 4.5182 ((4 . 11) (6 . 13) (8 . 18) (10 . 20) (11 . 21)) 2557 0.3333 7.2359 ((8 . 3) (9 . 4) (11 . 5) (12 . 6)) 2561 0.3332 9.1162 ((2 . 5) (4 . 6) (6 . 8) (7 . 9)) 2595 0.4167 3.7902 ((5 . 2) (9 . 5) (10 . 6) (11 . 7) (12 . 9)) 2619 0.4166 5.1790 ((4 . 1) (6 . 3) (8 . 5) (11 . 6) (12 . 7)) 2627 0.3333 6.1784 ((2 . 59) (4 . 60) (5 . 61) (8 . 64)) 2650 0.3333 8.3275 ((4 . 2) (5 . 4) (8 . 5) (10 . 7)) 2658 0.3333 8.3799 ((1 . 3) (9 . 9) (11 . 11) (12 . 12)) 2675 0.3333 6.5561 ((5 . 9) (6 . 10) (7 . 11) (8 . 12)) 2682 0.4166 6.4084 ((7 . 15) (9 . 16) (10 . 17) (11 . 18) (12 . 19)) 2696 0.3333 7.6625 ((4 . 34) (6 . 36) (7 . 37) (10 . 39)) 2731 0.3333 5.8001 ((6 . 1) (8 . 5) (9 . 3) (10 . 4)) 2733 0.3333 5.6150 ((4 . 1) (6 . 4) (9 . 7) (10 . 8)) 2755 0.6666 3.5072 ((2 . 2) (4 . 3) (5 . 4) (6 . 5) (8 . 6) (9 . 7) (10 . 8) (12 . 10)) 2773 0.3333 6.4524 ((5 . 4) (6 . 5) (7 . 6) (11 . 8)) 2783 0.4165 7.3758 ((5 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9)) 2804 0.3333 7.0599 ((2 . 26) (6 . 31) (7 . 32) (10 . 36)) 2821 0.3333 5.9276 ((5 . 10) (8 . 11) (9 . 12) (10 . 13)) 2830 0.6666 3.6703 ((2 . 10) (4 . 11) (5 . 12) (6 . 13) (8 . 15) (9 . 16) (10 . 17) (12 . 19)) 2834 0.4997 7.0434 ((4 . 1) (5 . 7) (6 . 8) (7 . 9) (8 . 16) (11 . 17)) 2840 0.3333 6.3073 ((8 . 1) (9 . 3) (10 . 5) (12 . 6)) 2842 0.4166 6.0456 ((2 . 3) (4 . 4) (9 . 8) (10 . 9) (11 . 10)) 2867 0.3021 6.0590 ((6 . 7) (7 . 8) (8 . 9) (11 . 11)) 2879 0.4164 8.3194 ((4 . 51) (6 . 53) (7 . 54) (8 . 56) (10 . 58)) 2886 0.4092 7.4299 ((4 . 30) (6 . 34) (7 . 35) (8 . 37) (10 . 39)) 2929 0.3333 5.5818 ((8 . 36) (9 . 37) (11 . 38) (12 . 39)) 2940 0.4165 7.3499 ((2 . 2) (4 . 4) (6 . 6) (9 . 9) (11 . 10)) 2947 0.4166 6.9182 ((6 . 2) (7 . 3) (8 . 4) (11 . 5) (12 . 6)) 2955 0.3333 4.0770 ((4 . 13) (8 . 15) (10 . 17) (12 . 19)) 2966 0.4090 9.6498 ((2 . 2) (4 . 3) (6 . 6) (8 . 9) (12 . 12)) 2990 0.3333 5.5995 ((5 . 8) (6 . 9) (8 . 12) (12 . 15)) 2999 0.4166 5.6253 ((8 . 2) (9 . 3) (10 . 4) (11 . 5) (12 . 7)) 3014 0.3332 10.1867 ((7 . 4) (8 . 5) (9 . 6) (11 . 8)) 3019 0.3333 7.1050 ((7 . 19) (8 . 20) (9 . 21) (12 . 22)) 3034 0.4999 5.6941 ((4 . 1) (5 . 4) (6 . 5) (9 . 6) (10 . 7) (11 . 8)) 3041 0.6513 5.3114 ((2 . 10) (4 . 12) (5 . 13) (6 . 14) (8 . 16) (9 . 17) (10 . 18) (12 . 22)) 3055 0.3333 5.0321 ((4 . 20) (8 . 24) (10 . 27) (12 . 28)) 3063 0.3332 9.9222 ((4 . 35) (7 . 37) (8 . 38) (12 . 41)) 3070 0.3333 6.5187 ((7 . 32) (8 . 33) (9 . 34) (10 . 35)) 3084 0.5833 4.0795 ((2 . 12) (5 . 14) (6 . 15) (8 . 17) (9 . 18) (11 . 20) (12 . 21)) 3102 0.3333 5.7821 ((6 . 57) (7 . 58) (10 . 62) (13 . 65)) 3103 0.3332 8.7486 ((1 . 2) (4 . 5) (5 . 6) (10 . 13)) 3114 0.3021 8.3833 ((1 . 21) (4 . 23) (6 . 25) (10 . 29)) 3120 0.3333 7.4266 ((7 . 21) (8 . 22) (9 . 24) (10 . 25)) 3127 0.5832 4.8051 ((4 . 6) (5 . 7) (6 . 8) (8 . 11) (9 . 12) (10 . 13) (11 . 14)) 3147 0.4165 7.6403 ((4 . 16) (6 . 18) (7 . 19) (8 . 20) (10 . 22)) 3176 0.3333 7.8727 ((2 . 23) (6 . 26) (7 . 27) (8 . 29)) 3187 0.3332 8.8438 ((4 . 4) (6 . 6) (9 . 8) (10 . 9)) 3190 0.5000 4.3488 ((4 . 1) (5 . 2) (6 . 3) (8 . 6) (11 . 7) (12 . 9)) 3197 0.4166 4.9574 ((4 . 12) (5 . 13) (6 . 14) (8 . 16) (9 . 17)) 3200 0.3333 6.8238 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 3212 0.3333 6.2416 ((5 . 1) (8 . 5) (9 . 7) (10 . 9)) 3222 0.3333 5.9607 ((7 . 14) (8 . 16) (9 . 17) (12 . 19)) 3256 0.3333 6.3050 ((1 . 14) (2 . 15) (6 . 20) (7 . 21)) 3261 0.3333 6.8970 ((2 . 5) (4 . 6) (6 . 8) (7 . 9)) 3286 0.3333 4.8611 ((8 . 7) (9 . 8) (10 . 9) (11 . 10)) 3289 0.3333 6.9401 ((4 . 27) (6 . 29) (7 . 30) (8 . 31)) 3297 0.3333 6.8762 ((6 . 3) (7 . 4) (8 . 5) (12 . 8)) 3300 0.3333 6.9895 ((6 . 4) (7 . 5) (9 . 10) (11 . 11)) 3322 0.4166 4.4693 ((4 . 1) (5 . 2) (6 . 3) (8 . 7) (11 . 8)) 3334 0.3333 5.7756 ((2 . 11) (5 . 13) (6 . 14) (7 . 15)) 3339 0.5833 3.4356 ((2 . 10) (4 . 11) (6 . 15) (8 . 17) (9 . 18) (10 . 19) (12 . 21)) 3344 0.3333 7.9305 ((1 . 21) (4 . 22) (7 . 26) (8 . 27)) 3358 0.4999 5.0809 ((1 . 2) (2 . 3) (4 . 4) (6 . 7) (8 . 10) (10 . 12)) 3362 0.4166 6.2242 ((2 . 5) (4 . 6) (5 . 7) (6 . 8) (11 . 13)) 3366 0.3333 6.6472 ((4 . 22) (6 . 23) (7 . 24) (8 . 26)) 3391 0.7496 4.5112 ((2 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 10) (9 . 12) (10 . 13) (11 . 16) (12 . 17)) 3410 0.4999 5.9202 ((2 . 20) (4 . 21) (6 . 24) (8 . 28) (11 . 29) (12 . 30)) 3418 0.3333 8.1983 ((2 . 1) (4 . 2) (6 . 6) (7 . 7)) 3446 0.3331 11.3321 ((5 . 1) (9 . 3) (11 . 4) (13 . 6)) 3470 0.2644 9.7504 ((2 . 11) (5 . 12) (9 . 15) (11 . 16)) 3472 0.3333 4.6172 ((4 . 5) (6 . 8) (7 . 9) (8 . 11)) 3481 0.4999 5.0722 ((2 . 3) (4 . 4) (8 . 8) (10 . 10) (11 . 11) (12 . 12)) 3495 0.3333 6.5078 ((6 . 1) (7 . 2) (8 . 3) (11 . 5)) 3496 0.3332 9.5452 ((6 . 19) (9 . 21) (10 . 22) (12 . 23)) 3533 0.3332 9.1900 ((4 . 3) (5 . 6) (8 . 8) (10 . 10)) 3537 0.3332 9.5636 ((5 . 1) (6 . 2) (9 . 3) (10 . 6)) 3538 0.3333 5.7471 ((2 . 17) (4 . 18) (9 . 22) (12 . 23)) 3548 0.4164 8.3977 ((6 . 3) (7 . 4) (8 . 5) (9 . 7) (10 . 8)) 3549 0.3333 7.2916 ((4 . 1) (6 . 2) (7 . 3) (8 . 5)) 3561 0.6665 4.4995 ((2 . 17) (4 . 20) (5 . 21) (6 . 22) (8 . 26) (9 . 27) (10 . 28) (12 . 31)) 3570 0.4998 6.6143 ((4 . 1) (5 . 2) (6 . 3) (8 . 4) (10 . 8) (13 . 10)) 3585 0.4166 6.7276 ((2 . 7) (4 . 8) (6 . 12) (8 . 14) (11 . 15)) 3613 0.3333 5.4047 ((1 . 35) (5 . 38) (6 . 41) (7 . 40)) 3625 0.3332 9.9437 ((4 . 2) (6 . 5) (7 . 6) (10 . 7)) 3626 0.3333 7.2068 ((4 . 2) (6 . 6) (7 . 8) (8 . 11)) 3628 0.9150 4.4090 ((1 . 3) (2 . 5) (4 . 6) (5 . 7) (6 . 8) (7 . 9) (8 . 10) (9 . 11) (10 . 12) (11 . 13) (12 . 14)) 3651 0.4166 5.2087 ((4 . 1) (5 . 2) (6 . 3) (9 . 7) (10 . 8)) 3656 0.3020 10.5375 ((2 . 20) (6 . 23) (7 . 24) (9 . 25)) 3658 0.3333 6.5611 ((6 . 6) (7 . 7) (8 . 8) (9 . 9)) 3659 0.3332 8.6398 ((9 . 4) (10 . 5) (11 . 6) (13 . 8)) 3661 0.3181 14.3465 ((2 . 17) (5 . 21) (7 . 23) (10 . 26)) 3688 0.3331 10.7931 ((1 . 1) (4 . 3) (7 . 8) (10 . 12)) 3697 0.3333 7.4420 ((6 . 1) (7 . 3) (8 . 4) (12 . 6)) 3703 0.3333 6.1688 ((6 . 7) (7 . 8) (8 . 9) (9 . 10)) 3732 0.4165 7.1029 ((4 . 5) (5 . 6) (6 . 7) (8 . 9) (12 . 12)) 3733 0.5000 4.1487 ((4 . 1) (5 . 2) (6 . 3) (8 . 6) (9 . 7) (10 . 8)) 3740 0.3333 7.7084 ((6 . 1) (7 . 2) (8 . 3) (10 . 5)) 3741 0.3333 7.5704 ((6 . 26) (7 . 27) (8 . 28) (10 . 32)) 3776 0.4166 4.6563 ((4 . 15) (5 . 16) (6 . 17) (8 . 21) (12 . 24)) 3778 0.4166 6.9336 ((6 . 2) (7 . 3) (8 . 4) (11 . 5) (12 . 6)) 3787 0.5000 3.3137 ((4 . 27) (5 . 28) (6 . 29) (8 . 33) (9 . 34) (10 . 35)) 3790 0.4165 7.0486 ((4 . 15) (5 . 17) (6 . 18) (8 . 21) (12 . 24)) 3807 0.3333 6.6046 ((4 . 43) (8 . 47) (11 . 49) (12 . 50)) 3810 0.3333 8.3509 ((4 . 4) (7 . 8) (8 . 9) (10 . 11)) 3817 0.4999 5.4572 ((2 . 3) (4 . 5) (5 . 6) (8 . 7) (9 . 8) (10 . 9)) 3818 0.4166 4.7334 ((2 . 21) (4 . 23) (5 . 24) (9 . 27) (10 . 28)) 3829 0.2334 7.2275 ((1 . 2) (2 . 4) (5 . 7) (9 . 11)) 3831 0.4162 10.0457 ((2 . 1) (4 . 2) (8 . 6) (9 . 7) (12 . 9)) 3847 0.3329 12.7845 ((2 . 11) (5 . 15) (6 . 16) (7 . 17)) 3853 0.6646 8.0527 ((4 . 3) (5 . 4) (6 . 6) (8 . 8) (9 . 9) (10 . 12) (11 . 13) (12 . 14)) 3856 0.3333 4.8798 ((4 . 3) (6 . 6) (7 . 7) (8 . 9)) 3870 0.4166 4.4245 ((2 . 4) (4 . 5) (8 . 8) (9 . 9) (10 . 10)) 3933 0.3021 8.0267 ((1 . 7) (4 . 10) (6 . 14) (10 . 18)) 3938 0.4164 8.2604 ((4 . 4) (5 . 5) (6 . 6) (7 . 8) (8 . 9)) 3942 0.1940 9.1584 ((6 . 3) (7 . 2) (9 . 6) (10 . 9)) 3968 0.5000 4.2292 ((4 . 3) (5 . 4) (6 . 5) (8 . 9) (9 . 10) (10 . 11)) 3986 0.3332 9.1769 ((1 . 13) (6 . 21) (10 . 26) (13 . 28)) 3990 0.4886 6.2575 ((6 . 16) (8 . 18) (9 . 19) (10 . 20) (12 . 22) (13 . 23)) 4005 0.3669 9.0199 ((1 . 26) (2 . 28) (4 . 30) (10 . 32) (12 . 33) (13 . 38)) 4009 0.4163 9.3430 ((5 . 6) (6 . 7) (9 . 8) (11 . 10) (12 . 13)) 4019 0.3966 6.2073 ((1 . 34) (2 . 41) (4 . 44) (6 . 45) (8 . 47) (11 . 52)) 4034 0.3333 4.6969 ((6 . 10) (7 . 11) (11 . 14) (12 . 15)) 4037 0.2644 7.4536 ((6 . 2) (7 . 3) (9 . 4) (11 . 6)) 4062 0.3333 5.6884 ((2 . 45) (6 . 48) (7 . 49) (8 . 50)) 4067 0.7497 4.2536 ((2 . 11) (4 . 14) (5 . 15) (6 . 16) (8 . 20) (9 . 21) (10 . 22) (11 . 23) (12 . 25)) 4077 0.3183 12.9225 ((1 . 11) (2 . 12) (5 . 13) (11 . 16)) 4082 0.3333 7.5599 ((2 . 3) (4 . 5) (6 . 7) (7 . 8)) 4087 0.3333 7.4888 ((5 . 2) (6 . 3) (8 . 6) (12 . 8)) 4112 0.3021 4.6611 ((4 . 1) (6 . 2) (7 . 3) (8 . 6)) 4115 0.5284 6.5699 ((4 . 1) (5 . 2) (6 . 5) (8 . 8) (9 . 9) (10 . 10) (11 . 11)) 4134 0.1940 9.4143 ((2 . 25) (5 . 26) (9 . 30) (11 . 31)) 4140 0.3333 7.8039 ((6 . 21) (7 . 22) (8 . 23) (9 . 25)) 4151 0.5830 5.9328 ((4 . 7) (5 . 8) (8 . 9) (9 . 11) (10 . 12) (11 . 14) (12 . 15)) 4154 0.3333 6.7978 ((6 . 53) (7 . 54) (8 . 55) (10 . 57)) 4177 0.3333 8.2191 ((4 . 2) (5 . 4) (8 . 7) (10 . 9)) 4190 0.2644 5.9695 ((4 . 3) (5 . 6) (8 . 8) (10 . 9)) 4192 0.4166 4.6308 ((4 . 10) (8 . 13) (9 . 14) (10 . 15) (11 . 16)) 4194 0.4995 8.0074 ((4 . 1) (5 . 2) (6 . 3) (8 . 5) (10 . 7) (11 . 8)) 4195 0.3328 13.3680 ((1 . 14) (2 . 13) (4 . 15) (5 . 17)) 4204 0.7498 3.9839 ((2 . 2) (4 . 3) (5 . 4) (6 . 5) (8 . 9) (9 . 10) (10 . 11) (11 . 12) (12 . 14)) 4209 0.3333 6.2839 ((4 . 4) (6 . 5) (7 . 7) (9 . 11)) 4210 0.4998 6.5057 ((5 . 3) (6 . 4) (8 . 5) (10 . 6) (11 . 7) (12 . 8)) 4226 0.4996 7.5656 ((4 . 4) (5 . 5) (6 . 6) (7 . 8) (11 . 13) (12 . 14)) 4232 0.3333 8.2449 ((4 . 4) (6 . 5) (7 . 6) (10 . 8)) 4246 0.3020 8.4554 ((4 . 3) (6 . 5) (7 . 6) (12 . 11)) 4254 0.4166 4.9631 ((4 . 11) (5 . 12) (6 . 13) (8 . 15) (10 . 18)) 4255 0.3333 8.1178 ((8 . 21) (9 . 22) (10 . 23) (12 . 24)) 4257 0.4165 7.9678 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (13 . 10)) 4265 0.4167 3.9761 ((4 . 21) (5 . 22) (8 . 26) (9 . 27) (12 . 29)) 4266 0.4998 6.1183 ((2 . 1) (4 . 2) (5 . 3) (6 . 4) (9 . 7) (12 . 8)) 4274 0.3333 4.2034 ((8 . 36) (9 . 37) (10 . 38) (11 . 39)) 4275 0.4163 9.2317 ((4 . 21) (5 . 22) (6 . 23) (8 . 25) (11 . 29)) 4281 0.4166 5.8821 ((4 . 3) (6 . 5) (8 . 8) (9 . 9) (10 . 10)) 4284 0.4165 8.1883 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 5)) 4299 0.4166 5.8663 ((2 . 7) (4 . 9) (8 . 11) (9 . 13) (10 . 14)) 4301 0.3333 6.3792 ((6 . 1) (7 . 2) (8 . 3) (10 . 6)) 4326 0.5285 6.0742 ((4 . 2) (5 . 14) (8 . 15) (9 . 16) (10 . 17) (11 . 18) (12 . 19)) 4332 0.3333 5.6374 ((4 . 4) (5 . 5) (8 . 6) (10 . 9)) 4338 0.4166 5.8960 ((4 . 4) (5 . 5) (6 . 6) (10 . 8) (12 . 11)) 4352 0.3329 12.6868 ((1 . 9) (5 . 12) (9 . 14) (11 . 15)) 4359 0.4166 5.2578 ((4 . 3) (6 . 5) (8 . 7) (10 . 9) (12 . 11)) 4380 0.3333 7.7931 ((1 . 24) (5 . 28) (7 . 30) (10 . 36)) 4383 0.3333 6.5997 ((6 . 15) (7 . 16) (8 . 17) (10 . 19)) 4386 0.3333 5.1348 ((4 . 1) (9 . 3) (10 . 4) (11 . 5)) 4388 0.4992 9.1135 ((4 . 3) (5 . 4) (6 . 5) (8 . 6) (10 . 9) (12 . 12)) 4398 1.0000 0.0000 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13)) 4405 0.3333 6.3014 ((2 . 13) (4 . 14) (5 . 17) (8 . 18)) 4408 0.3333 4.4778 ((6 . 2) (10 . 4) (11 . 5) (12 . 6)) 4415 0.3333 4.1426 ((6 . 4) (9 . 5) (10 . 9) (11 . 10)) 4419 0.3185 10.7440 ((5 . 1) (7 . 3) (9 . 5) (10 . 7)) 4426 0.2644 10.2140 ((5 . 1) (8 . 2) (11 . 3) (13 . 4)) 4470 0.5826 7.2215 ((4 . 1) (5 . 11) (8 . 12) (9 . 13) (10 . 14) (11 . 15) (12 . 18)) 4491 0.3333 8.2547 ((4 . 1) (8 . 6) (9 . 7) (10 . 8)) 4492 0.5000 3.3470 ((2 . 10) (4 . 13) (8 . 18) (9 . 19) (10 . 21) (11 . 22)) 4495 0.4167 4.1260 ((2 . 5) (4 . 6) (5 . 7) (6 . 8) (9 . 11)) 4497 0.4164 8.5607 ((4 . 23) (6 . 25) (7 . 26) (8 . 27) (10 . 30)) 4502 0.8329 4.0401 ((2 . 3) (4 . 6) (5 . 7) (6 . 9) (7 . 10) (8 . 11) (9 . 13) (10 . 14) (11 . 16) (12 . 17)) 4503 0.3333 5.8245 ((2 . 2) (6 . 6) (7 . 7) (10 . 10)) 4504 0.4166 4.8799 ((2 . 16) (4 . 17) (5 . 18) (7 . 21) (9 . 23)) 4505 0.4167 3.7469 ((6 . 26) (8 . 28) (9 . 29) (10 . 30) (11 . 31)) 4516 0.5000 4.0471 ((4 . 26) (8 . 28) (9 . 29) (10 . 30) (11 . 31) (12 . 32)) 4538 0.3333 5.2724 ((2 . 29) (6 . 33) (7 . 34) (10 . 38)) 4551 0.4531 3.3628 ((4 . 1) (6 . 2) (8 . 4) (9 . 7) (10 . 8) (12 . 17)) 4560 0.4166 4.8097 ((2 . 5) (4 . 6) (6 . 8) (8 . 11) (9 . 12)) 4561 0.4998 6.3761 ((4 . 1) (5 . 4) (6 . 5) (8 . 7) (9 . 8) (11 . 11)) 4562 0.6666 3.6839 ((4 . 19) (5 . 21) (6 . 22) (8 . 25) (9 . 26) (10 . 27) (11 . 28) (12 . 29)) 4563 0.4166 4.4679 ((4 . 26) (5 . 27) (6 . 28) (9 . 30) (10 . 31)) 4577 0.3333 6.3680 ((6 . 49) (7 . 50) (10 . 54) (12 . 55)) 4579 0.1325 7.5243 ((2 . 5) (5 . 7) (9 . 11) (11 . 13)) 4588 0.4166 6.1111 ((2 . 2) (6 . 9) (8 . 11) (9 . 12) (10 . 13)) 4589 0.3333 5.8331 ((4 . 25) (5 . 26) (6 . 27) (7 . 30)) 4607 0.2334 10.7573 ((2 . 13) (5 . 16) (9 . 18) (11 . 19)) 4621 0.3333 8.4980 ((6 . 3) (7 . 4) (10 . 8) (12 . 9)) 4630 0.3776 6.6206 ((4 . 19) (6 . 22) (7 . 23) (8 . 25) (10 . 28)) 4648 0.3332 8.8806 ((4 . 1) (7 . 5) (9 . 7) (10 . 8)) 4653 0.3333 6.2705 ((6 . 5) (7 . 6) (8 . 7) (12 . 9)) 4668 0.6664 4.7051 ((4 . 1) (5 . 2) (6 . 5) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 11)) 4669 0.5000 2.9790 ((4 . 15) (5 . 16) (8 . 19) (9 . 20) (10 . 21) (11 . 22)) 4671 0.3333 4.6743 ((8 . 2) (9 . 3) (10 . 4) (11 . 5)) 4674 0.3333 8.1533 ((4 . 2) (5 . 4) (8 . 7) (10 . 9)) 4678 0.3332 9.2154 ((2 . 3) (5 . 7) (8 . 10) (12 . 12)) 4713 0.4166 6.5853 ((2 . 1) (6 . 5) (7 . 6) (8 . 7) (10 . 9)) 4715 0.2643 12.2156 ((2 . 2) (7 . 6) (9 . 9) (11 . 10)) 4731 0.3333 4.7448 ((2 . 15) (4 . 18) (8 . 22) (12 . 24)) 4734 0.2644 7.4437 ((8 . 2) (10 . 6) (12 . 7) (13 . 8)) 4817 0.2644 8.9473 ((2 . 6) (5 . 9) (9 . 12) (11 . 13)) 4857 0.4166 5.4767 ((2 . 4) (8 . 11) (9 . 12) (10 . 13) (11 . 14)) 4886 0.3333 6.9373 ((2 . 18) (4 . 19) (5 . 20) (8 . 22)) 4888 0.3332 8.6753 ((2 . 2) (5 . 3) (6 . 4) (11 . 10)) 4889 0.3333 7.5437 ((1 . 12) (2 . 13) (5 . 18) (9 . 21)) 4907 0.3333 6.8329 ((5 . 2) (6 . 3) (7 . 4) (8 . 5)) 4914 0.3333 6.1920 ((6 . 8) (7 . 9) (8 . 10) (10 . 12)) 4921 0.3333 8.4404 ((4 . 7) (6 . 9) (8 . 12) (11 . 13)) 4929 0.3333 6.8924 ((4 . 29) (6 . 32) (7 . 33) (8 . 34)) 4932 0.4166 6.6996 ((4 . 1) (6 . 4) (8 . 6) (9 . 7) (10 . 8)) 4940 0.4166 4.9655 ((6 . 2) (8 . 3) (9 . 5) (10 . 6) (12 . 8)) 4941 0.3333 6.4737 ((7 . 5) (8 . 7) (10 . 9) (12 . 11)) 4944 0.4166 5.6465 ((2 . 10) (4 . 11) (5 . 12) (8 . 14) (10 . 16)) 4961 0.5831 5.6029 ((2 . 2) (4 . 3) (5 . 4) (6 . 6) (8 . 12) (10 . 17) (12 . 20)) 4978 0.4166 5.4558 ((2 . 29) (4 . 30) (5 . 31) (6 . 32) (9 . 33)) 4982 0.3333 2.9986 ((4 . 1) (5 . 2) (9 . 5) (10 . 6)) 4992 0.4166 6.9384 ((6 . 1) (7 . 2) (8 . 3) (11 . 4) (12 . 6)) 4998 0.4165 8.0116 ((4 . 1) (5 . 2) (8 . 3) (11 . 5) (12 . 6)) 5029 0.4204 3.3869 ((4 . 2) (5 . 3) (6 . 4) (8 . 8) (9 . 9) (10 . 10)) 5036 0.3333 5.2064 ((6 . 1) (7 . 2) (10 . 5) (12 . 7)) 5038 0.3333 6.1160 ((8 . 9) (10 . 10) (12 . 12) (13 . 14)) 5039 0.5000 4.4493 ((2 . 36) (4 . 37) (5 . 38) (6 . 39) (9 . 43) (10 . 44)) 5044 0.3258 8.4092 ((2 . 4) (6 . 8) (7 . 9) (10 . 14)) 5046 0.2644 11.1860 ((6 . 3) (7 . 4) (10 . 7) (12 . 8)) 5053 0.3333 7.8739 ((5 . 8) (6 . 9) (7 . 10) (9 . 13)) 5065 0.3333 6.0412 ((5 . 1) (6 . 2) (7 . 3) (11 . 6)) 5068 0.4165 7.4377 ((2 . 1) (4 . 2) (5 . 3) (6 . 4) (8 . 7)) 5069 0.6233 4.5670 ((2 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 9) (9 . 14) (10 . 15) (12 . 17)) 5073 0.7495 4.7720 ((2 . 31) (4 . 32) (5 . 33) (6 . 34) (8 . 36) (9 . 38) (10 . 39) (11 . 41) (12 . 44)) 5083 0.3333 7.3438 ((5 . 3) (6 . 5) (7 . 6) (8 . 9)) 5092 0.3327 14.1845 ((2 . 10) (5 . 11) (9 . 15) (11 . 16)) 5101 0.6660 5.9692 ((2 . 2) (4 . 3) (5 . 4) (6 . 5) (8 . 7) (9 . 8) (10 . 9) (12 . 10)) 5103 0.5828 6.6429 ((2 . 12) (4 . 13) (5 . 14) (6 . 15) (8 . 17) (9 . 18) (10 . 19)) 5121 0.4156 12.2230 ((2 . 14) (4 . 16) (7 . 19) (8 . 21) (9 . 22)) 5132 0.4165 8.0697 ((4 . 16) (8 . 18) (9 . 19) (10 . 20) (11 . 21)) 5134 0.3333 5.7398 ((2 . 15) (5 . 16) (6 . 17) (8 . 19)) 5145 0.3333 3.6147 ((6 . 3) (8 . 5) (9 . 7) (10 . 8)) 5167 0.6659 6.1847 ((2 . 2) (4 . 3) (5 . 7) (8 . 9) (9 . 10) (10 . 12) (11 . 13) (12 . 14)) 5183 0.4165 7.9662 ((4 . 34) (6 . 36) (7 . 37) (8 . 38) (9 . 39)) 5192 0.4166 4.6320 ((4 . 1) (5 . 2) (6 . 3) (8 . 5) (9 . 6)) 5198 0.4164 8.2877 ((2 . 23) (4 . 24) (5 . 25) (6 . 26) (7 . 30)) 5199 0.3185 10.0704 ((5 . 1) (7 . 4) (9 . 6) (10 . 7)) 5209 0.3332 8.9468 ((4 . 4) (5 . 6) (8 . 7) (10 . 9)) 5212 0.1940 11.0629 ((2 . 10) (5 . 13) (9 . 15) (11 . 16)) 5215 0.3333 6.5697 ((4 . 5) (5 . 6) (10 . 10) (12 . 12)) 5223 0.6660 6.0168 ((4 . 6) (5 . 7) (6 . 8) (8 . 10) (9 . 11) (10 . 12) (11 . 14) (12 . 15)) 5231 0.3332 8.7862 ((2 . 9) (6 . 14) (7 . 16) (9 . 17)) 5266 0.7497 4.2575 ((2 . 1) (4 . 2) (5 . 3) (6 . 4) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 13)) 5278 0.3333 7.6748 ((4 . 7) (6 . 9) (7 . 10) (8 . 12)) 5307 0.4992 8.9477 ((4 . 51) (5 . 52) (6 . 53) (8 . 55) (10 . 58) (11 . 59)) 5312 0.3333 5.9901 ((6 . 3) (7 . 4) (8 . 5) (9 . 6)) 5318 0.3333 5.2965 ((2 . 7) (4 . 8) (5 . 9) (8 . 11)) 5323 0.3333 7.6640 ((5 . 9) (6 . 10) (7 . 11) (9 . 13)) 5324 0.5000 3.3539 ((2 . 6) (4 . 7) (6 . 10) (8 . 12) (9 . 13) (10 . 14)) 5344 0.3333 7.5456 ((4 . 1) (6 . 3) (7 . 4) (9 . 6)) 5345 0.4997 7.2097 ((4 . 2) (6 . 4) (7 . 5) (8 . 7) (10 . 9) (12 . 12)) 5368 0.4165 7.3565 ((4 . 25) (6 . 27) (7 . 28) (8 . 29) (10 . 32)) 5378 0.3333 5.2887 ((4 . 4) (5 . 5) (6 . 6) (8 . 7)) 5411 0.3333 7.0476 ((2 . 2) (4 . 3) (5 . 5) (6 . 6)) 5414 0.4164 8.5132 ((4 . 14) (6 . 16) (7 . 18) (8 . 19) (10 . 21)) 5418 0.2644 8.3156 ((8 . 2) (11 . 4) (12 . 5) (13 . 7)) 5421 0.2334 6.2473 ((6 . 2) (7 . 3) (8 . 4) (10 . 5)) 5433 0.3333 7.1459 ((4 . 10) (7 . 14) (8 . 16) (10 . 18)) 5442 0.1485 8.5493 ((2 . 32) (5 . 33) (9 . 36) (11 . 38)) 5479 0.4163 9.2817 ((4 . 50) (6 . 52) (7 . 53) (8 . 54) (12 . 59)) 5487 0.3953 7.4505 ((1 . 7) (2 . 8) (4 . 9) (5 . 10) (6 . 11)) 5489 0.4203 7.5135 ((4 . 10) (6 . 11) (7 . 12) (8 . 13) (12 . 16) (13 . 17)) 5500 0.3954 4.8350 ((1 . 7) (2 . 10) (4 . 12) (5 . 13) (6 . 14)) 5501 0.3333 7.3685 ((2 . 28) (4 . 30) (5 . 32) (11 . 38)) 5525 0.3332 9.4661 ((5 . 5) (6 . 7) (7 . 8) (9 . 10)) 5535 0.3333 7.6124 ((2 . 1) (4 . 2) (12 . 11) (13 . 12)) 5540 0.3333 5.7054 ((7 . 14) (8 . 16) (9 . 17) (10 . 18)) 5557 0.4165 7.1411 ((6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6)) 5560 0.4166 6.4702 ((5 . 14) (8 . 15) (9 . 16) (10 . 17) (11 . 18)) 5562 0.5828 6.8657 ((4 . 7) (5 . 9) (8 . 11) (9 . 13) (10 . 14) (11 . 15) (12 . 17)) 5567 0.4995 8.1595 ((4 . 8) (5 . 10) (9 . 14) (10 . 15) (11 . 16) (12 . 17)) 5594 0.4166 5.2981 ((4 . 1) (5 . 2) (8 . 6) (11 . 7) (12 . 9)) 5600 0.3333 6.4817 ((5 . 1) (8 . 3) (9 . 4) (10 . 5)) 5601 0.4166 5.0523 ((4 . 5) (6 . 7) (9 . 9) (10 . 10) (12 . 12)) 5638 0.3333 4.9952 ((4 . 9) (5 . 12) (6 . 13) (9 . 14)) 5640 0.4166 5.7085 ((4 . 6) (6 . 8) (8 . 10) (10 . 12) (12 . 14)) 5644 0.3333 5.8610 ((4 . 3) (8 . 8) (10 . 10) (12 . 12)) 5656 0.4166 6.8416 ((4 . 5) (5 . 6) (6 . 8) (9 . 11) (10 . 14)) 5700 0.3332 8.7307 ((4 . 3) (7 . 6) (8 . 8) (12 . 11)) 5701 0.4165 7.1200 ((2 . 3) (4 . 4) (8 . 5) (10 . 8) (11 . 20)) 5702 0.1940 13.8389 ((2 . 9) (5 . 10) (9 . 13) (11 . 14)) 5703 0.3332 8.7452 ((4 . 2) (6 . 5) (7 . 6) (8 . 7)) 5711 0.3333 7.2167 ((6 . 35) (7 . 36) (8 . 37) (12 . 42)) 5713 0.4997 7.1616 ((4 . 15) (6 . 18) (7 . 19) (8 . 20) (10 . 22) (12 . 24)) 5718 0.3333 6.7760 ((5 . 22) (6 . 23) (7 . 24) (8 . 25)) 5731 0.3333 7.0686 ((8 . 5) (10 . 7) (11 . 8) (13 . 9)) 5746 0.4166 4.9262 ((6 . 7) (7 . 8) (8 . 10) (11 . 12) (12 . 13)) 5749 0.3331 10.8326 ((5 . 2) (6 . 3) (7 . 4) (8 . 5)) 5761 0.3332 8.7071 ((2 . 29) (4 . 30) (6 . 32) (9 . 34)) 5770 0.3333 7.2239 ((8 . 1) (9 . 7) (10 . 8) (12 . 15)) 5771 0.4166 6.5633 ((2 . 10) (8 . 17) (9 . 19) (10 . 20) (12 . 21)) 5782 0.4999 5.0237 ((2 . 4) (4 . 27) (6 . 32) (8 . 35) (9 . 36) (10 . 37)) 5794 0.3333 4.9467 ((4 . 16) (5 . 17) (6 . 18) (7 . 19)) 5795 0.4999 5.6783 ((2 . 5) (4 . 6) (8 . 10) (9 . 12) (10 . 13) (12 . 16)) 5809 0.6656 6.7208 ((4 . 3) (5 . 4) (6 . 5) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 12)) 5822 0.3331 10.5717 ((4 . 4) (6 . 7) (7 . 8) (11 . 11)) 5827 0.4166 6.7146 ((2 . 6) (4 . 8) (5 . 10) (6 . 11) (10 . 15)) 5830 0.3333 7.6759 ((6 . 1) (9 . 5) (10 . 6) (12 . 7)) 5847 0.3333 6.0023 ((4 . 5) (6 . 8) (7 . 9) (8 . 10)) 5861 0.4162 10.0205 ((4 . 7) (6 . 10) (7 . 11) (8 . 12) (10 . 15)) 5865 0.4165 7.2795 ((4 . 1) (7 . 4) (8 . 5) (9 . 6) (10 . 7)) 5878 0.3327 14.2563 ((2 . 22) (7 . 26) (8 . 29) (11 . 31)) 5888 0.4997 7.2231 ((4 . 16) (6 . 18) (7 . 19) (8 . 20) (10 . 22) (12 . 24)) 5896 0.3333 6.8993 ((4 . 26) (5 . 27) (6 . 28) (7 . 29)) 5904 0.3333 4.7088 ((6 . 7) (8 . 9) (9 . 10) (10 . 11)) 5913 0.3333 5.0068 ((2 . 12) (4 . 13) (5 . 14) (6 . 15)) 5914 0.3333 6.9681 ((4 . 3) (5 . 4) (6 . 5) (7 . 6)) 5922 0.4165 7.1197 ((4 . 1) (6 . 4) (7 . 5) (8 . 6) (12 . 9)) 5930 0.3333 5.4651 ((1 . 1) (5 . 3) (8 . 7) (13 . 10)) 5939 0.5000 3.8328 ((4 . 2) (8 . 4) (9 . 5) (10 . 6) (11 . 7) (12 . 8)) 5945 0.4165 7.5557 ((2 . 22) (4 . 23) (5 . 25) (6 . 26) (8 . 28)) 5949 0.4165 7.7604 ((2 . 8) (4 . 9) (6 . 12) (8 . 14) (9 . 15)) 5955 0.4999 5.3365 ((2 . 2) (4 . 3) (8 . 7) (9 . 8) (10 . 9) (11 . 10)) 5967 0.4167 3.6598 ((4 . 1) (5 . 2) (6 . 3) (8 . 7) (9 . 8)) 5972 0.3021 7.8760 ((2 . 1) (5 . 5) (6 . 6) (7 . 7)) 5977 0.4165 7.2015 ((2 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6)) 6000 0.3333 5.8268 ((5 . 11) (9 . 16) (10 . 17) (12 . 21)) 6011 0.3333 5.4026 ((4 . 11) (6 . 14) (7 . 15) (8 . 16)) 6022 0.3332 10.2768 ((1 . 2) (4 . 4) (6 . 7) (8 . 9)) 6028 0.1940 8.2207 ((6 . 1) (9 . 4) (11 . 8) (12 . 9)) 6029 0.4166 7.0053 ((2 . 28) (4 . 31) (5 . 32) (6 . 33) (8 . 35)) 6033 0.3020 8.5528 ((2 . 3) (5 . 5) (9 . 9) (11 . 10)) 6041 0.3333 6.2730 ((6 . 11) (7 . 12) (9 . 14) (10 . 15)) 6046 0.3333 7.2720 ((5 . 1) (6 . 2) (7 . 3) (8 . 5)) 6061 0.4164 8.5794 ((2 . 16) (4 . 17) (5 . 18) (6 . 20) (7 . 21)) 6074 0.5825 7.5186 ((2 . 5) (5 . 7) (8 . 8) (9 . 10) (10 . 11) (11 . 12) (12 . 13)) 6075 0.4999 5.6510 ((2 . 19) (4 . 20) (6 . 21) (8 . 24) (10 . 27) (12 . 28)) 6079 0.4166 6.1734 ((6 . 7) (7 . 8) (8 . 9) (9 . 10) (10 . 11)) 6087 0.3333 4.4338 ((2 . 7) (4 . 8) (5 . 9) (6 . 10)) 6089 0.4166 5.3285 ((4 . 1) (5 . 2) (8 . 3) (9 . 4) (11 . 6)) 6094 0.3333 6.7673 ((6 . 4) (7 . 5) (8 . 7) (12 . 11)) 6099 0.3333 4.9911 ((4 . 24) (6 . 26) (7 . 27) (10 . 29)) 6123 0.3333 8.3151 ((8 . 1) (10 . 2) (12 . 4) (13 . 5)) 6142 0.4165 8.0708 ((4 . 10) (6 . 12) (7 . 13) (8 . 14) (10 . 16)) 6148 0.3333 7.0209 ((8 . 33) (9 . 35) (10 . 36) (12 . 37)) 6167 0.3333 5.0583 ((6 . 1) (8 . 4) (10 . 7) (12 . 10)) 6173 0.4165 7.9861 ((4 . 3) (6 . 5) (8 . 8) (10 . 11) (12 . 13)) 6191 0.3333 6.8627 ((2 . 1) (8 . 6) (9 . 7) (12 . 10)) 6192 0.4166 5.3127 ((4 . 1) (5 . 2) (6 . 3) (9 . 4) (10 . 5)) 6215 0.3333 7.9079 ((6 . 18) (7 . 19) (9 . 22) (12 . 24)) 6225 0.3333 5.5604 ((4 . 10) (5 . 11) (6 . 12) (7 . 13)) 6228 0.4167 3.7980 ((4 . 1) (5 . 2) (6 . 3) (9 . 6) (10 . 7)) 6234 0.3333 8.5171 ((6 . 6) (7 . 7) (8 . 9) (12 . 13)) 6238 0.3333 4.6029 ((2 . 2) (4 . 3) (6 . 5) (10 . 8)) 6243 0.4998 6.1423 ((2 . 5) (4 . 6) (5 . 7) (6 . 8) (8 . 10) (11 . 11)) 6251 0.4166 6.1185 ((2 . 9) (5 . 11) (9 . 14) (10 . 15) (12 . 17)) 6258 0.4755 3.8459 ((4 . 7) (5 . 8) (6 . 9) (8 . 10) (9 . 11) (10 . 12) (12 . 13)) 6261 0.4166 4.7842 ((4 . 1) (5 . 2) (9 . 7) (10 . 9) (11 . 10)) 6266 0.7432 6.1779 ((2 . 1) (4 . 3) (5 . 4) (6 . 5) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10)) 6270 0.3333 6.1965 ((7 . 17) (8 . 18) (9 . 19) (10 . 20)) 6271 0.3333 8.2346 ((6 . 1) (7 . 2) (8 . 3) (11 . 6)) 6273 0.3333 7.5070 ((4 . 1) (8 . 4) (10 . 6) (12 . 7)) 6294 0.4998 6.3263 ((2 . 21) (4 . 23) (5 . 24) (6 . 25) (8 . 27) (9 . 28)) 6306 0.3020 10.1682 ((6 . 15) (7 . 16) (12 . 20) (13 . 21)) 6309 0.3332 9.1624 ((8 . 17) (10 . 18) (11 . 19) (12 . 20)) 6311 0.3333 7.3081 ((4 . 4) (8 . 9) (10 . 10) (12 . 11)) 6326 0.3333 7.7024 ((4 . 7) (6 . 9) (7 . 10) (10 . 13)) 6329 0.1940 10.6771 ((2 . 7) (5 . 9) (9 . 12) (11 . 13)) 6338 0.3333 7.2303 ((4 . 1) (6 . 4) (7 . 5) (8 . 7)) 6344 0.3333 4.3803 ((8 . 4) (9 . 5) (10 . 6) (12 . 8)) 6345 0.4162 10.0280 ((2 . 2) (4 . 4) (7 . 6) (8 . 7) (9 . 8)) 6348 0.4999 5.7188 ((2 . 3) (4 . 4) (5 . 6) (8 . 9) (9 . 10) (10 . 11)) 6355 0.3333 8.1337 ((4 . 9) (6 . 11) (7 . 12) (10 . 15)) 6356 0.5533 4.4528 ((4 . 1) (5 . 3) (6 . 4) (8 . 9) (9 . 10) (10 . 11) (11 . 12) (12 . 13)) 6359 0.3333 7.8995 ((2 . 2) (5 . 4) (9 . 6) (11 . 8)) 6369 0.6664 4.8232 ((2 . 8) (4 . 22) (6 . 24) (8 . 26) (9 . 28) (10 . 29) (11 . 30) (12 . 31)) 6376 0.4166 4.4703 ((4 . 19) (6 . 21) (8 . 24) (10 . 26) (12 . 28)) 6391 0.3331 11.1083 ((1 . 8) (2 . 11) (4 . 12) (6 . 14)) 6392 0.4167 3.8437 ((2 . 2) (4 . 3) (8 . 7) (9 . 8) (12 . 9)) 6399 0.4166 5.5129 ((4 . 10) (6 . 12) (7 . 13) (8 . 14) (12 . 18)) 6403 0.4167 3.6444 ((6 . 3) (8 . 5) (9 . 6) (10 . 7) (11 . 9)) 6434 0.3333 7.6637 ((2 . 1) (6 . 4) (7 . 5) (11 . 7)) 6461 0.1940 11.9750 ((5 . 2) (6 . 3) (9 . 5) (12 . 6)) 6462 0.6516 3.8860 ((2 . 11) (4 . 12) (6 . 16) (8 . 18) (9 . 19) (10 . 20) (11 . 21) (12 . 22)) 6476 0.3333 8.0257 ((8 . 4) (9 . 6) (11 . 7) (13 . 9)) 6498 0.4165 7.4005 ((2 . 14) (4 . 16) (8 . 19) (9 . 20) (10 . 21)) 6520 0.3333 5.0700 ((2 . 23) (4 . 24) (6 . 26) (7 . 28)) 6539 0.3333 5.0873 ((5 . 1) (8 . 2) (9 . 3) (10 . 4)) 6540 0.4162 9.6695 ((4 . 16) (6 . 18) (7 . 19) (8 . 20) (10 . 22)) 6548 0.3333 5.0614 ((4 . 7) (5 . 8) (6 . 9) (10 . 13)) 6553 0.4166 4.8583 ((4 . 11) (5 . 12) (6 . 13) (8 . 17) (12 . 20)) 6555 0.3333 6.0383 ((4 . 6) (8 . 7) (10 . 10) (12 . 28)) 6561 0.3954 6.3879 ((2 . 5) (4 . 9) (8 . 12) (10 . 13) (12 . 14)) 6573 0.4164 8.2369 ((4 . 17) (5 . 18) (6 . 19) (8 . 21) (13 . 24)) 6578 0.3333 6.3011 ((5 . 33) (6 . 34) (8 . 37) (9 . 41)) 6584 0.3333 5.9649 ((2 . 1) (4 . 2) (7 . 5) (10 . 8)) 6585 0.4167 3.7704 ((2 . 4) (4 . 6) (5 . 7) (9 . 9) (10 . 10)) 6586 0.3333 5.9327 ((2 . 16) (6 . 18) (9 . 23) (10 . 24)) 6587 0.3333 4.6934 ((9 . 28) (10 . 29) (11 . 30) (12 . 31)) 6598 0.4162 10.0649 ((4 . 24) (6 . 26) (7 . 27) (8 . 28) (12 . 30)) 6613 0.4164 8.3399 ((4 . 24) (5 . 26) (6 . 27) (7 . 28) (10 . 31)) 6635 0.3333 6.3902 ((4 . 1) (5 . 3) (6 . 4) (9 . 9)) END