4275 41 0.5555 2.9294 ((21 . 3) (22 . 4) (23 . 5) (24 . 6) (25 . 7)) 51 0.4441 8.4088 ((21 . 1) (22 . 3) (27 . 7) (28 . 10)) 62 0.4444 4.1599 ((22 . 9) (23 . 10) (25 . 13) (28 . 16)) 64 0.4444 5.4365 ((23 . 10) (25 . 13) (27 . 14) (28 . 15)) 77 0.4428 12.6404 ((21 . 8) (22 . 10) (28 . 15) (29 . 17)) 91 0.5555 4.0273 ((21 . 16) (22 . 18) (23 . 19) (24 . 22) (25 . 28)) 96 0.4444 3.7900 ((21 . 1) (22 . 2) (23 . 3) (28 . 6)) 129 0.4443 7.1264 ((23 . 1) (25 . 3) (27 . 5) (28 . 8)) 136 0.5555 4.1993 ((21 . 3) (22 . 4) (25 . 5) (27 . 7) (28 . 8)) 150 0.4444 4.5658 ((23 . 20) (24 . 21) (25 . 23) (28 . 25)) 153 0.4444 5.0608 ((21 . 1) (25 . 4) (27 . 5) (28 . 10)) 157 0.5555 3.4749 ((21 . 1) (22 . 2) (23 . 3) (24 . 4) (25 . 5)) 161 0.4443 6.9322 ((23 . 3) (25 . 6) (27 . 8) (28 . 9)) 162 0.4443 6.5075 ((21 . 17) (23 . 18) (24 . 19) (25 . 22)) 169 0.4443 6.1848 ((23 . 1) (25 . 4) (27 . 5) (28 . 7)) 177 0.4443 7.1874 ((21 . 3) (25 . 7) (27 . 8) (28 . 10)) 191 0.4444 4.9232 ((21 . 4) (25 . 7) (27 . 8) (28 . 9)) 198 0.4443 6.4287 ((21 . 4) (23 . 8) (27 . 12) (28 . 13)) 207 0.4443 6.5845 ((21 . 15) (22 . 17) (23 . 18) (24 . 19)) 233 0.1495 5.2172 ((21 . 2) (23 . 5) (25 . 7) (27 . 8)) 300 0.4443 6.5464 ((24 . 5) (25 . 7) (27 . 8) (29 . 11)) 305 0.4424 13.2764 ((21 . 9) (22 . 10) (25 . 16) (28 . 19)) 307 0.5522 11.4216 ((23 . 1) (24 . 2) (25 . 3) (28 . 7) (29 . 8)) 315 0.4443 7.0056 ((21 . 3) (25 . 6) (27 . 8) (28 . 9)) 329 0.4437 10.3721 ((24 . 1) (26 . 3) (27 . 4) (28 . 5)) 340 0.3935 7.9659 ((25 . 1) (27 . 2) (28 . 4) (29 . 5)) 350 0.4444 5.9031 ((24 . 3) (25 . 4) (27 . 5) (28 . 7)) 360 0.5553 5.7260 ((21 . 5) (23 . 7) (25 . 9) (27 . 10) (28 . 12)) 361 0.4440 8.8672 ((23 . 2) (24 . 3) (25 . 4) (29 . 7)) 365 0.4443 6.3823 ((25 . 2) (27 . 3) (28 . 4) (29 . 7)) 367 0.4443 6.2372 ((21 . 38) (24 . 41) (25 . 42) (28 . 44)) 372 0.4444 6.0191 ((21 . 1) (23 . 5) (25 . 7) (27 . 8)) 387 0.4441 8.3425 ((21 . 1) (25 . 8) (27 . 9) (28 . 10)) 405 0.4444 5.7087 ((21 . 33) (23 . 37) (25 . 39) (27 . 40)) 417 0.4443 6.7620 ((21 . 2) (22 . 6) (25 . 7) (27 . 9)) 420 0.4444 3.3892 ((23 . 1) (25 . 3) (27 . 4) (28 . 5)) 433 0.4443 6.8117 ((22 . 2) (25 . 5) (27 . 6) (28 . 7)) 442 0.5542 9.1472 ((22 . 11) (23 . 12) (24 . 13) (25 . 14) (29 . 15)) 460 0.4443 7.2830 ((25 . 6) (27 . 7) (28 . 8) (29 . 9)) 472 0.4443 6.3428 ((22 . 23) (26 . 24) (27 . 25) (28 . 27)) 491 0.4438 9.9409 ((22 . 5) (23 . 6) (27 . 8) (28 . 9)) 495 0.4443 6.2421 ((21 . 5) (22 . 6) (25 . 9) (27 . 11)) 541 0.5550 7.3237 ((21 . 7) (22 . 10) (23 . 11) (24 . 13) (25 . 14)) 543 0.4439 9.6249 ((21 . 1) (22 . 3) (27 . 6) (28 . 8)) 561 0.4444 4.0683 ((21 . 1) (22 . 2) (23 . 3) (27 . 6)) 584 0.4444 3.6194 ((22 . 9) (23 . 10) (24 . 12) (25 . 13)) 587 0.4444 4.6317 ((21 . 11) (25 . 14) (27 . 15) (28 . 16)) 609 0.5552 6.4609 ((21 . 1) (22 . 2) (23 . 3) (25 . 6) (28 . 8)) 619 0.4444 5.7364 ((23 . 12) (24 . 14) (25 . 15) (26 . 17)) 624 0.6650 7.6213 ((21 . 7) (22 . 8) (23 . 9) (24 . 10) (25 . 11) (29 . 14)) 635 0.4443 6.6365 ((21 . 13) (23 . 15) (24 . 17) (25 . 18)) 672 0.4444 5.2573 ((21 . 20) (23 . 22) (25 . 24) (26 . 25)) 678 0.5542 8.9973 ((21 . 24) (22 . 25) (23 . 26) (24 . 28) (29 . 32)) 683 0.4444 6.1054 ((23 . 1) (25 . 3) (27 . 5) (28 . 6)) 719 0.4442 7.4260 ((23 . 27) (24 . 29) (25 . 30) (26 . 31)) 729 0.5555 3.4802 ((21 . 7) (22 . 8) (24 . 12) (25 . 13) (28 . 15)) 735 0.4443 6.4045 ((21 . 29) (23 . 32) (25 . 36) (27 . 37)) 740 0.3526 4.0044 ((24 . 1) (25 . 2) (27 . 3) (28 . 5)) 767 0.4444 3.8945 ((23 . 1) (24 . 2) (25 . 3) (28 . 8)) 795 0.4444 3.3822 ((23 . 1) (24 . 2) (25 . 3) (28 . 5)) 796 0.4444 5.6054 ((23 . 3) (24 . 4) (25 . 5) (27 . 6)) 801 0.3935 8.6591 ((23 . 1) (25 . 4) (27 . 5) (28 . 6)) 812 0.4444 4.7062 ((21 . 9) (23 . 11) (24 . 12) (25 . 13)) 818 0.4444 3.9237 ((21 . 4) (23 . 8) (24 . 9) (25 . 10)) 819 0.4444 5.6044 ((23 . 5) (25 . 9) (27 . 10) (29 . 11)) 824 0.4443 6.2820 ((21 . 43) (25 . 50) (27 . 51) (28 . 53)) 834 0.2859 14.5641 ((21 . 32) (22 . 34) (24 . 35) (29 . 40)) 861 0.4444 4.1252 ((25 . 1) (27 . 2) (28 . 3) (29 . 4)) 901 0.5538 9.7261 ((21 . 12) (24 . 14) (25 . 15) (28 . 17) (29 . 19)) 904 0.3526 6.9164 ((23 . 3) (24 . 5) (25 . 6) (27 . 7)) 913 0.4439 9.7344 ((21 . 16) (24 . 18) (25 . 20) (26 . 21)) 928 0.6651 7.4571 ((21 . 10) (22 . 11) (23 . 12) (24 . 13) (25 . 14) (29 . 17)) 937 0.4444 5.7613 ((23 . 1) (24 . 3) (25 . 4) (27 . 5)) 943 0.5549 7.4073 ((21 . 4) (22 . 5) (23 . 6) (24 . 7) (25 . 8)) 945 0.5555 4.7506 ((21 . 14) (22 . 16) (23 . 17) (24 . 18) (28 . 22)) 949 0.4438 10.0303 ((23 . 32) (24 . 33) (26 . 36) (29 . 37)) 960 0.4444 4.1061 ((21 . 12) (24 . 16) (25 . 19) (28 . 21)) 978 0.4442 7.9921 ((23 . 13) (24 . 15) (25 . 16) (29 . 18)) 980 0.6653 7.1742 ((21 . 1) (22 . 2) (23 . 3) (24 . 4) (25 . 5) (29 . 8)) 1007 0.4443 7.0905 ((24 . 6) (25 . 7) (27 . 8) (28 . 9)) 1008 0.4436 10.6630 ((24 . 1) (26 . 2) (27 . 3) (28 . 5)) 1034 0.4443 6.7607 ((24 . 24) (25 . 25) (27 . 26) (29 . 27)) 1043 0.4444 5.2815 ((21 . 6) (22 . 7) (24 . 9) (25 . 10)) 1082 0.5543 8.8921 ((21 . 9) (22 . 11) (23 . 12) (24 . 14) (29 . 18)) 1084 0.4439 9.6948 ((22 . 4) (27 . 11) (28 . 12) (29 . 15)) 1121 0.4443 6.6288 ((24 . 1) (25 . 2) (27 . 3) (28 . 4)) 1165 0.4443 6.4609 ((23 . 19) (24 . 20) (25 . 21) (26 . 23)) 1167 0.4443 7.0428 ((24 . 19) (25 . 20) (27 . 21) (29 . 24)) 1169 0.1980 7.5396 ((21 . 29) (23 . 31) (25 . 34) (27 . 37)) 1195 0.4444 3.9177 ((22 . 1) (25 . 2) (27 . 4) (28 . 5)) 1201 0.4444 4.5755 ((21 . 7) (22 . 8) (23 . 9) (24 . 10)) 1204 0.5548 7.7047 ((21 . 1) (22 . 2) (23 . 3) (24 . 4) (29 . 8)) 1211 0.5533 10.3128 ((21 . 5) (22 . 7) (23 . 8) (25 . 10) (27 . 11)) 1217 0.1980 9.5890 ((24 . 2) (25 . 3) (27 . 5) (28 . 7)) 1224 0.4444 5.1254 ((21 . 5) (25 . 7) (27 . 9) (28 . 10)) 1233 0.5555 3.7889 ((21 . 11) (22 . 13) (23 . 14) (24 . 19) (25 . 20)) 1267 0.5535 10.0284 ((23 . 13) (24 . 14) (25 . 15) (28 . 17) (29 . 20)) 1268 0.3934 9.4680 ((26 . 2) (27 . 3) (28 . 4) (29 . 5)) 1294 0.4442 7.7923 ((21 . 40) (25 . 44) (27 . 46) (28 . 47)) 1345 0.5516 11.8968 ((21 . 7) (22 . 8) (23 . 9) (24 . 10) (26 . 11)) 1366 0.5553 5.7950 ((21 . 12) (22 . 13) (23 . 14) (25 . 16) (27 . 17)) 1388 0.3936 6.4683 ((24 . 2) (26 . 3) (27 . 4) (28 . 5)) 1410 0.4443 7.0344 ((23 . 19) (25 . 22) (27 . 23) (28 . 25)) 1415 0.4429 12.4807 ((22 . 3) (24 . 4) (26 . 5) (29 . 6)) 1425 0.4443 6.7466 ((23 . 2) (25 . 6) (27 . 8) (28 . 10)) 1435 0.3524 9.7103 ((24 . 4) (27 . 5) (28 . 6) (29 . 7)) 1447 0.5550 7.3471 ((21 . 1) (22 . 2) (24 . 4) (25 . 5) (28 . 7)) 1451 0.5549 7.4648 ((23 . 1) (24 . 2) (25 . 3) (27 . 4) (28 . 5)) 1464 0.4444 6.0121 ((22 . 9) (25 . 10) (27 . 13) (28 . 14)) 1472 0.4437 10.1526 ((24 . 5) (25 . 7) (27 . 8) (29 . 10)) 1476 0.5549 7.5489 ((21 . 9) (22 . 10) (23 . 11) (24 . 13) (25 . 14)) 1481 0.4444 5.1177 ((24 . 3) (25 . 4) (27 . 5) (29 . 8)) 1497 0.3932 11.0325 ((22 . 22) (24 . 24) (26 . 25) (29 . 27)) 1501 0.4438 9.8667 ((25 . 3) (27 . 5) (28 . 6) (29 . 10)) 1513 0.5535 10.1101 ((23 . 3) (24 . 4) (25 . 5) (27 . 8) (29 . 9)) 1514 0.4444 4.9566 ((21 . 1) (22 . 2) (23 . 3) (27 . 6)) 1577 0.4435 11.0432 ((21 . 10) (22 . 11) (23 . 12) (25 . 15)) 1591 0.5547 8.0295 ((21 . 8) (24 . 10) (25 . 11) (28 . 14) (29 . 15)) 1595 0.3935 8.3784 ((22 . 6) (23 . 7) (25 . 8) (26 . 9)) 1604 0.6616 10.0687 ((21 . 7) (22 . 9) (23 . 10) (24 . 11) (25 . 12) (29 . 15)) 1622 0.5545 8.4124 ((22 . 19) (23 . 20) (24 . 21) (25 . 22) (27 . 23)) 1624 0.4443 7.3302 ((23 . 2) (25 . 4) (27 . 5) (28 . 6)) 1643 0.5554 5.0362 ((21 . 18) (23 . 20) (25 . 26) (27 . 27) (28 . 28)) 1644 0.4444 5.2829 ((23 . 44) (25 . 47) (27 . 48) (28 . 49)) 1665 0.5547 7.9835 ((21 . 6) (22 . 7) (23 . 8) (24 . 9) (25 . 10)) 1690 0.5534 10.2491 ((23 . 8) (24 . 9) (25 . 11) (28 . 13) (29 . 15)) 1692 0.4443 7.3059 ((23 . 1) (24 . 2) (26 . 4) (27 . 5)) 1731 0.5545 8.5906 ((21 . 3) (23 . 6) (24 . 7) (25 . 8) (29 . 11)) 1736 0.4443 6.4159 ((22 . 6) (24 . 9) (25 . 10) (28 . 12)) 1738 0.4444 3.9369 ((21 . 4) (22 . 5) (23 . 6) (27 . 23)) 1747 0.4444 4.8153 ((23 . 12) (25 . 15) (27 . 16) (28 . 18)) 1756 0.4440 9.2108 ((21 . 23) (23 . 26) (27 . 30) (28 . 31)) 1759 0.4444 3.7178 ((23 . 1) (25 . 4) (27 . 5) (28 . 6)) 1761 0.5555 3.6413 ((21 . 7) (22 . 8) (23 . 9) (24 . 12) (25 . 13)) 1763 0.4444 4.9272 ((25 . 7) (26 . 8) (27 . 9) (28 . 10)) 1776 0.4444 3.1878 ((21 . 1) (24 . 6) (25 . 7) (28 . 9)) 1777 0.4444 5.5746 ((21 . 31) (23 . 34) (25 . 37) (27 . 42)) 1778 0.4440 9.2170 ((21 . 3) (23 . 5) (24 . 6) (29 . 11)) 1793 0.5554 4.9690 ((21 . 4) (22 . 5) (23 . 6) (24 . 7) (25 . 8)) 1805 0.4444 4.8080 ((21 . 12) (25 . 15) (27 . 16) (28 . 17)) 1808 0.5553 6.2212 ((23 . 5) (24 . 7) (25 . 8) (27 . 9) (28 . 10)) 1817 0.4444 5.8966 ((25 . 18) (27 . 19) (28 . 20) (29 . 21)) 1867 0.5553 5.6722 ((21 . 1) (22 . 2) (23 . 3) (25 . 6) (26 . 8)) 1894 0.4442 7.6959 ((23 . 19) (25 . 21) (27 . 23) (29 . 24)) 1896 0.4440 9.2950 ((21 . 3) (22 . 4) (23 . 5) (29 . 12)) 1897 0.1495 10.8323 ((21 . 40) (24 . 44) (25 . 46) (26 . 45)) 1908 0.5554 5.1535 ((21 . 10) (22 . 14) (23 . 15) (24 . 16) (25 . 17)) 1909 0.5555 4.7720 ((21 . 34) (22 . 36) (23 . 37) (24 . 38) (25 . 39)) 1913 0.4444 4.4062 ((23 . 1) (24 . 2) (25 . 3) (28 . 6)) 1944 0.5554 5.1764 ((21 . 5) (22 . 6) (23 . 7) (24 . 8) (25 . 9)) 1957 0.6653 7.2649 ((21 . 1) (22 . 2) (23 . 3) (24 . 4) (25 . 5) (29 . 8)) 1961 0.2440 12.0771 ((22 . 18) (23 . 20) (26 . 23) (29 . 25)) 1967 0.4444 5.0248 ((21 . 7) (24 . 9) (25 . 10) (28 . 13)) 1972 0.4443 7.3600 ((21 . 20) (23 . 24) (24 . 25) (25 . 27)) 1992 0.5535 10.0633 ((22 . 8) (23 . 9) (24 . 10) (25 . 12) (27 . 14)) 1995 0.4444 5.6999 ((23 . 7) (25 . 11) (27 . 12) (28 . 13)) 2003 0.5088 11.3674 ((24 . 1) (26 . 2) (27 . 4) (28 . 5) (29 . 6)) 2006 0.5553 6.1213 ((21 . 8) (23 . 10) (25 . 12) (27 . 13) (28 . 14)) 2045 0.2858 14.7324 ((21 . 1) (26 . 5) (28 . 7) (29 . 9)) 2048 0.4444 4.3250 ((21 . 1) (24 . 3) (25 . 4) (28 . 6)) 2054 0.4439 9.3875 ((24 . 10) (25 . 13) (27 . 14) (29 . 16)) 2063 0.5549 7.4262 ((23 . 43) (25 . 45) (26 . 46) (27 . 47) (28 . 48)) 2065 0.3934 9.0170 ((22 . 15) (23 . 18) (27 . 23) (28 . 25)) 2067 0.4443 6.6826 ((21 . 54) (24 . 58) (25 . 59) (27 . 60)) 2072 0.4444 4.3619 ((25 . 4) (27 . 6) (28 . 7) (29 . 8)) 2081 0.5109 5.5219 ((22 . 18) (23 . 19) (25 . 21) (27 . 23) (29 . 24)) 2083 0.4443 7.1666 ((21 . 2) (22 . 3) (24 . 6) (25 . 7)) 2097 0.1980 13.1421 ((22 . 2) (23 . 3) (27 . 5) (28 . 6)) 2114 0.4442 7.7270 ((24 . 30) (25 . 32) (27 . 34) (29 . 37)) 2116 0.4444 4.9285 ((21 . 2) (23 . 4) (27 . 7) (28 . 8)) 2117 0.6595 10.9890 ((21 . 1) (22 . 2) (24 . 3) (25 . 4) (27 . 5) (29 . 8)) 2118 0.4442 7.4016 ((24 . 9) (26 . 10) (27 . 11) (28 . 12)) 2122 0.5544 8.6240 ((22 . 2) (24 . 5) (25 . 6) (28 . 8) (29 . 9)) 2166 0.4444 5.8227 ((22 . 14) (25 . 15) (27 . 16) (28 . 17)) 2179 0.5542 9.0563 ((22 . 2) (25 . 5) (27 . 6) (28 . 7) (29 . 12)) 2196 0.4443 6.2568 ((21 . 10) (25 . 16) (27 . 17) (28 . 18)) 2203 0.4443 6.2063 ((21 . 1) (22 . 3) (23 . 5) (27 . 7)) 2205 0.4443 6.3028 ((21 . 13) (25 . 17) (27 . 18) (28 . 19)) 2209 0.4444 5.3546 ((23 . 3) (24 . 4) (25 . 5) (27 . 6)) 2233 0.2441 11.4284 ((22 . 1) (24 . 2) (26 . 5) (29 . 7)) 2243 0.4443 7.1887 ((21 . 49) (23 . 52) (25 . 54) (27 . 55)) 2244 0.4444 3.0606 ((23 . 69) (25 . 71) (27 . 74) (28 . 75)) 2248 0.5555 4.0835 ((21 . 22) (22 . 23) (24 . 26) (25 . 27) (27 . 28)) 2249 0.5527 10.9084 ((21 . 7) (22 . 8) (25 . 11) (28 . 12) (29 . 14)) 2269 0.5548 7.8300 ((21 . 8) (23 . 10) (24 . 11) (25 . 12) (29 . 13)) 2279 0.4444 4.7034 ((21 . 5) (24 . 6) (25 . 7) (28 . 8)) 2298 0.5546 8.3996 ((22 . 7) (23 . 8) (24 . 9) (25 . 10) (29 . 14)) 2308 0.5554 5.5866 ((21 . 6) (22 . 7) (23 . 8) (24 . 10) (25 . 11)) 2314 0.3498 19.2584 ((22 . 1) (23 . 3) (27 . 5) (29 . 9)) 2340 0.5552 6.3297 ((25 . 11) (26 . 12) (27 . 13) (28 . 14) (29 . 15)) 2344 0.4444 5.3986 ((21 . 11) (23 . 14) (26 . 17) (27 . 18)) 2364 0.5555 3.4734 ((23 . 15) (24 . 16) (25 . 18) (27 . 19) (28 . 20)) 2381 0.5552 6.2868 ((24 . 2) (25 . 3) (27 . 4) (28 . 5) (29 . 8)) 2389 0.5551 6.8904 ((21 . 3) (23 . 6) (25 . 8) (27 . 9) (28 . 10)) 2408 0.4442 7.6454 ((21 . 40) (23 . 42) (25 . 46) (27 . 47)) 2409 0.4443 6.7500 ((23 . 2) (25 . 4) (27 . 5) (28 . 6)) 2410 0.4444 5.3333 ((23 . 13) (24 . 14) (25 . 16) (27 . 17)) 2422 0.4443 6.4478 ((23 . 1) (25 . 6) (27 . 7) (28 . 8)) 2423 0.4834 9.1573 ((21 . 21) (22 . 23) (25 . 25) (27 . 26) (29 . 27)) 2440 0.5555 4.6520 ((21 . 4) (22 . 5) (25 . 7) (27 . 8) (28 . 9)) 2447 0.6641 8.4755 ((21 . 13) (22 . 14) (23 . 15) (24 . 16) (25 . 18) (29 . 22)) 2462 0.4439 9.5209 ((24 . 2) (27 . 3) (28 . 4) (29 . 5)) 2510 0.5550 7.1658 ((21 . 19) (23 . 21) (24 . 22) (28 . 27) (29 . 28)) 2525 0.4438 10.1129 ((24 . 42) (26 . 44) (28 . 45) (29 . 46)) 2529 0.5550 7.2001 ((21 . 1) (25 . 3) (27 . 5) (28 . 6) (29 . 7)) 2533 0.5550 7.2497 ((21 . 4) (22 . 5) (23 . 6) (24 . 7) (25 . 8)) 2551 0.4439 9.5049 ((24 . 8) (26 . 10) (27 . 11) (28 . 12)) 2552 0.5555 2.6743 ((21 . 1) (22 . 2) (23 . 3) (24 . 4) (25 . 5)) 2556 0.5552 6.2624 ((21 . 13) (23 . 16) (25 . 20) (28 . 22) (29 . 23)) 2557 0.4444 4.9853 ((22 . 1) (24 . 4) (27 . 6) (28 . 7)) 2561 0.4443 6.5268 ((22 . 2) (26 . 5) (27 . 6) (28 . 9)) 2595 0.4444 5.0812 ((21 . 1) (22 . 2) (25 . 4) (28 . 6)) 2619 0.4444 3.7470 ((21 . 1) (23 . 3) (24 . 4) (25 . 5)) 2627 0.4443 6.7423 ((22 . 59) (24 . 62) (25 . 64) (27 . 65)) 2650 0.4443 7.0012 ((22 . 4) (25 . 5) (27 . 6) (28 . 7)) 2658 0.1980 9.4683 ((24 . 11) (25 . 12) (27 . 13) (28 . 14)) 2675 0.5546 8.3410 ((21 . 3) (24 . 9) (25 . 10) (27 . 11) (28 . 12)) 2682 0.4441 8.7264 ((23 . 13) (25 . 15) (26 . 16) (27 . 17)) 2696 0.4443 6.4012 ((21 . 32) (23 . 35) (25 . 38) (27 . 39)) 2731 0.4444 6.0626 ((23 . 1) (24 . 3) (25 . 4) (27 . 5)) 2733 0.4441 8.5870 ((21 . 4) (22 . 7) (24 . 9) (29 . 14)) 2755 0.5555 4.2147 ((21 . 3) (22 . 4) (23 . 5) (25 . 6) (28 . 8)) 2773 0.4443 6.9520 ((21 . 2) (27 . 5) (28 . 6) (29 . 7)) 2783 0.4444 4.9149 ((22 . 4) (25 . 6) (27 . 7) (28 . 8)) 2804 0.4437 10.1564 ((22 . 27) (23 . 29) (27 . 34) (28 . 36)) 2821 0.4442 7.5644 ((25 . 1) (27 . 2) (28 . 3) (29 . 6)) 2830 0.6666 3.5017 ((21 . 11) (22 . 12) (23 . 13) (24 . 14) (25 . 15) (28 . 17)) 2834 0.5549 7.4868 ((23 . 1) (24 . 2) (25 . 3) (27 . 5) (28 . 6)) 2840 0.4444 4.1938 ((23 . 1) (24 . 3) (25 . 5) (27 . 6)) 2842 0.4437 10.2124 ((22 . 8) (23 . 9) (25 . 11) (29 . 13)) 2867 0.4438 9.8075 ((23 . 9) (26 . 11) (27 . 12) (29 . 13)) 2879 0.5552 6.4726 ((21 . 51) (23 . 53) (24 . 55) (25 . 56) (27 . 57)) 2886 0.4443 6.3705 ((23 . 35) (25 . 38) (27 . 39) (28 . 41)) 2929 0.4444 4.7546 ((21 . 36) (22 . 38) (23 . 39) (26 . 41)) 2940 0.4444 4.9916 ((22 . 2) (25 . 4) (27 . 5) (28 . 6)) 2947 0.4444 6.0877 ((23 . 4) (24 . 5) (25 . 6) (27 . 7)) 2955 0.4444 5.4862 ((21 . 17) (23 . 18) (25 . 19) (27 . 20)) 2966 0.4444 5.4705 ((21 . 4) (25 . 10) (27 . 12) (28 . 13)) 2990 0.4444 4.3682 ((22 . 8) (23 . 9) (27 . 14) (28 . 15)) 2999 0.5547 8.0624 ((21 . 2) (22 . 3) (23 . 4) (25 . 6) (27 . 7)) 3014 0.3525 7.7768 ((26 . 3) (27 . 4) (28 . 5) (29 . 8)) 3019 0.4444 3.5686 ((21 . 20) (22 . 21) (23 . 22) (27 . 25)) 3034 0.6636 8.8282 ((21 . 1) (22 . 4) (23 . 5) (24 . 6) (25 . 7) (29 . 11)) 3041 0.5547 8.0189 ((22 . 17) (23 . 18) (24 . 20) (25 . 22) (27 . 24)) 3055 0.4444 2.2641 ((21 . 3) (25 . 7) (27 . 8) (28 . 9)) 3063 0.4444 5.7728 ((21 . 35) (25 . 38) (27 . 39) (28 . 41)) 3070 0.4444 5.4338 ((23 . 33) (24 . 34) (25 . 35) (27 . 36)) 3084 0.6652 7.4021 ((21 . 13) (22 . 14) (23 . 15) (24 . 16) (25 . 17) (29 . 20)) 3102 0.4444 3.4359 ((23 . 57) (25 . 59) (27 . 60) (28 . 62)) 3103 0.4443 6.1843 ((21 . 3) (25 . 5) (27 . 11) (28 . 13)) 3114 0.4440 9.1562 ((23 . 22) (25 . 24) (27 . 25) (29 . 28)) 3120 0.4434 11.1571 ((26 . 20) (27 . 21) (28 . 22) (29 . 24)) 3127 0.6664 4.6431 ((21 . 6) (22 . 7) (23 . 8) (24 . 9) (25 . 11) (28 . 13)) 3147 0.5554 4.8283 ((21 . 5) (23 . 7) (25 . 11) (27 . 12) (28 . 13)) 3176 0.4443 7.1703 ((22 . 23) (25 . 26) (27 . 27) (28 . 29)) 3187 0.4442 8.1495 ((25 . 4) (27 . 5) (28 . 6) (29 . 8)) 3190 0.6651 7.5139 ((21 . 1) (22 . 2) (23 . 3) (24 . 4) (25 . 6) (29 . 10)) 3197 0.5555 4.1524 ((21 . 12) (22 . 13) (23 . 14) (24 . 15) (25 . 16)) 3200 0.4443 6.8622 ((21 . 11) (22 . 12) (27 . 16) (28 . 18)) 3212 0.1495 10.3053 ((21 . 2) (23 . 5) (24 . 7) (29 . 11)) 3222 0.4443 6.2494 ((23 . 1) (24 . 2) (25 . 3) (27 . 4)) 3256 0.4444 6.1270 ((21 . 20) (23 . 24) (25 . 26) (27 . 28)) 3261 0.4443 6.6531 ((22 . 5) (23 . 6) (25 . 8) (27 . 9)) 3286 0.4444 4.3559 ((21 . 3) (23 . 5) (24 . 6) (28 . 9)) 3289 0.4443 6.2169 ((23 . 27) (25 . 29) (27 . 30) (28 . 31)) 3297 0.4444 5.2149 ((21 . 5) (25 . 8) (27 . 9) (28 . 11)) 3300 0.4441 8.5219 ((23 . 1) (25 . 4) (27 . 5) (29 . 10)) 3322 0.5555 3.9406 ((21 . 1) (22 . 2) (23 . 5) (24 . 6) (25 . 7)) 3334 0.4442 7.5436 ((24 . 12) (26 . 13) (27 . 14) (28 . 15)) 3339 0.4442 7.7061 ((21 . 17) (23 . 19) (24 . 20) (29 . 24)) 3358 0.5555 4.6734 ((21 . 4) (23 . 8) (24 . 9) (25 . 10) (28 . 12)) 3362 0.5549 7.5842 ((21 . 4) (22 . 5) (23 . 6) (24 . 7) (26 . 9)) 3366 0.4444 6.1195 ((21 . 26) (23 . 28) (27 . 31) (28 . 32)) 3391 0.5550 7.2152 ((21 . 4) (22 . 5) (23 . 6) (24 . 7) (25 . 8)) 3410 0.4444 5.4355 ((21 . 21) (22 . 23) (23 . 24) (25 . 28)) 3418 0.4444 3.8011 ((22 . 1) (25 . 2) (27 . 5) (28 . 6)) 3446 0.2441 8.9451 ((22 . 2) (26 . 4) (27 . 5) (28 . 6)) 3470 0.3524 10.0962 ((22 . 12) (24 . 13) (26 . 14) (29 . 16)) 3472 0.4443 6.2285 ((21 . 3) (23 . 5) (25 . 8) (27 . 9)) 3481 0.5546 8.3427 ((24 . 3) (25 . 4) (27 . 7) (28 . 8) (29 . 11)) 3489 0.4443 6.5335 ((21 . 4) (25 . 10) (27 . 12) (28 . 14)) 3495 0.4441 8.6231 ((21 . 2) (27 . 7) (28 . 8) (29 . 9)) 3496 0.4443 6.4230 ((21 . 19) (24 . 21) (25 . 22) (27 . 23)) 3533 0.1980 8.6669 ((23 . 3) (24 . 6) (27 . 7) (28 . 8)) 3537 0.4444 4.7520 ((23 . 7) (24 . 8) (25 . 9) (27 . 10)) 3538 0.4438 9.9343 ((24 . 16) (26 . 17) (28 . 20) (29 . 21)) 3548 0.5549 7.4809 ((21 . 2) (23 . 4) (25 . 6) (27 . 8) (28 . 9)) 3549 0.3525 7.2805 ((21 . 2) (22 . 4) (26 . 7) (27 . 8)) 3561 0.5554 4.9051 ((23 . 26) (24 . 27) (25 . 28) (27 . 30) (28 . 31)) 3570 0.6666 3.7905 ((21 . 1) (22 . 2) (23 . 3) (25 . 4) (27 . 7) (28 . 10)) 3585 0.6585 11.3749 ((21 . 6) (22 . 7) (25 . 12) (27 . 13) (28 . 14) (29 . 15)) 3613 0.3933 10.2125 ((22 . 32) (27 . 35) (28 . 36) (29 . 39)) 3625 0.4435 10.8232 ((21 . 3) (23 . 6) (27 . 7) (28 . 9)) 3626 0.4444 4.3227 ((25 . 3) (26 . 5) (27 . 6) (28 . 8)) 3628 0.5546 8.2189 ((21 . 6) (22 . 7) (23 . 8) (25 . 10) (29 . 13)) 3651 0.5554 5.5969 ((21 . 3) (22 . 4) (23 . 5) (24 . 7) (25 . 8)) 3656 0.3937 5.1800 ((24 . 21) (25 . 22) (27 . 23) (28 . 24)) 3658 0.5552 6.2407 ((21 . 1) (22 . 2) (25 . 5) (27 . 6) (28 . 7)) 3659 0.4443 6.2124 ((21 . 5) (23 . 8) (27 . 12) (28 . 13)) 3661 0.4443 6.6350 ((24 . 9) (26 . 10) (27 . 11) (28 . 12)) 3663 0.4444 6.0013 ((25 . 1) (27 . 2) (28 . 5) (29 . 6)) 3688 0.4438 9.8657 ((21 . 37) (23 . 38) (25 . 39) (27 . 40)) 3697 0.4444 3.5708 ((25 . 1) (27 . 3) (28 . 4) (29 . 5)) 3703 0.4442 7.6020 ((22 . 5) (23 . 6) (25 . 8) (27 . 9)) 3732 0.5551 6.8702 ((22 . 6) (23 . 7) (24 . 8) (25 . 9) (26 . 10)) 3733 0.5523 11.2778 ((23 . 1) (24 . 2) (25 . 3) (28 . 6) (29 . 7)) 3740 0.4444 4.9363 ((23 . 2) (25 . 4) (27 . 5) (28 . 6)) 3741 0.4444 5.5690 ((25 . 1) (27 . 2) (28 . 3) (29 . 5)) 3776 0.5550 7.1050 ((21 . 15) (22 . 16) (23 . 17) (25 . 21) (26 . 23)) 3778 0.4440 9.0413 ((21 . 4) (22 . 5) (23 . 6) (26 . 9)) 3787 0.6655 6.8885 ((21 . 29) (22 . 30) (23 . 31) (24 . 32) (25 . 33) (29 . 37)) 3790 0.5555 4.3118 ((21 . 9) (23 . 13) (25 . 15) (27 . 16) (28 . 18)) 3807 0.4444 6.1330 ((21 . 47) (22 . 49) (25 . 50) (26 . 51)) 3810 0.4444 5.4635 ((21 . 10) (25 . 14) (27 . 15) (28 . 16)) 3817 0.4442 7.9534 ((21 . 1) (24 . 3) (28 . 7) (29 . 8)) 3818 0.5555 4.0276 ((21 . 23) (22 . 24) (24 . 27) (25 . 28) (27 . 29)) 3829 0.4429 12.3442 ((24 . 3) (26 . 4) (27 . 5) (29 . 8)) 3831 0.4443 7.1365 ((21 . 5) (23 . 6) (24 . 7) (25 . 9)) 3847 0.4443 6.3191 ((23 . 13) (26 . 15) (27 . 16) (28 . 17)) 3849 0.4444 4.7688 ((25 . 3) (26 . 4) (27 . 5) (28 . 8)) 3853 0.5533 10.2507 ((21 . 6) (22 . 7) (23 . 8) (24 . 9) (29 . 13)) 3856 0.4441 8.2267 ((21 . 3) (22 . 4) (23 . 6) (27 . 9)) 3870 0.5544 8.6993 ((22 . 7) (23 . 8) (24 . 9) (25 . 10) (29 . 14)) 3933 0.4443 6.3589 ((21 . 9) (25 . 16) (27 . 17) (28 . 18)) 3938 0.4444 4.4973 ((22 . 1) (23 . 2) (27 . 6) (28 . 8)) 3968 0.4444 5.9397 ((21 . 3) (22 . 4) (23 . 5) (24 . 7)) 3986 0.4438 9.9201 ((23 . 9) (27 . 13) (28 . 15) (29 . 16)) 3990 0.4444 5.7364 ((21 . 16) (23 . 18) (25 . 20) (28 . 22)) 4005 0.5548 7.9448 ((21 . 25) (22 . 28) (23 . 29) (25 . 32) (27 . 33)) 4009 0.5551 6.8971 ((21 . 13) (22 . 18) (23 . 19) (24 . 20) (25 . 21)) 4019 0.5549 7.4374 ((21 . 43) (23 . 45) (25 . 46) (27 . 47) (29 . 52)) 4034 0.4443 7.2194 ((21 . 9) (23 . 12) (27 . 15) (28 . 16)) 4037 0.4444 5.9371 ((25 . 1) (27 . 2) (28 . 3) (29 . 5)) 4062 0.4444 5.8918 ((25 . 48) (27 . 49) (28 . 50) (29 . 52)) 4067 0.4443 6.7445 ((21 . 16) (23 . 20) (24 . 21) (28 . 24)) 4082 0.4444 5.3544 ((23 . 5) (25 . 7) (27 . 8) (29 . 9)) 4087 0.5368 6.3819 ((24 . 2) (25 . 3) (26 . 4) (27 . 5) (28 . 6)) 4112 0.4443 6.9922 ((25 . 2) (27 . 3) (28 . 4) (29 . 7)) 4115 0.5555 3.3467 ((21 . 1) (22 . 2) (24 . 7) (25 . 8) (28 . 10)) 4134 0.3523 11.2895 ((22 . 26) (24 . 27) (26 . 28) (29 . 31)) 4151 0.6634 8.9970 ((21 . 7) (22 . 8) (23 . 9) (24 . 11) (25 . 12) (29 . 16)) 4154 0.1980 4.8205 ((21 . 52) (25 . 53) (27 . 56) (28 . 57)) 4177 0.4444 5.8760 ((24 . 6) (25 . 7) (27 . 8) (28 . 9)) 4190 0.4441 8.6926 ((24 . 6) (26 . 7) (27 . 8) (28 . 9)) 4192 0.4442 7.4447 ((23 . 10) (24 . 11) (25 . 13) (29 . 16)) 4194 0.8850 6.5652 ((21 . 1) (22 . 2) (23 . 3) (24 . 4) (25 . 5) (27 . 6) (28 . 7) (29 . 8)) 4195 0.3524 9.5299 ((24 . 12) (27 . 14) (28 . 15) (29 . 19)) 4204 0.6613 10.1938 ((21 . 3) (22 . 4) (23 . 5) (24 . 6) (25 . 9) (29 . 12)) 4209 0.4443 6.5504 ((21 . 1) (23 . 4) (26 . 6) (27 . 7)) 4210 0.4444 3.6535 ((23 . 6) (24 . 7) (25 . 8) (28 . 10)) 4226 0.5555 4.1764 ((21 . 1) (24 . 5) (25 . 6) (27 . 8) (28 . 9)) 4232 0.4434 11.1653 ((25 . 3) (27 . 5) (28 . 6) (29 . 7)) 4236 0.3936 7.4364 ((25 . 6) (27 . 7) (28 . 8) (29 . 11)) 4242 0.1980 13.1695 ((22 . 2) (24 . 3) (26 . 5) (29 . 8)) 4246 0.4443 6.7371 ((21 . 2) (27 . 7) (28 . 8) (29 . 10)) 4254 0.4443 6.5959 ((21 . 9) (22 . 12) (23 . 13) (25 . 15)) 4255 0.4444 4.3135 ((21 . 21) (23 . 24) (24 . 25) (25 . 26)) 4257 0.4444 4.7906 ((23 . 7) (25 . 8) (27 . 9) (28 . 10)) 4265 0.5529 10.7788 ((22 . 22) (23 . 23) (24 . 25) (25 . 26) (29 . 30)) 4266 0.5553 5.7199 ((21 . 4) (22 . 5) (23 . 6) (24 . 7) (25 . 8)) 4274 0.5548 7.9275 ((22 . 37) (23 . 38) (24 . 39) (25 . 40) (27 . 41)) 4275 1.0000 0.0000 ((21 . 21) (22 . 22) (23 . 23) (24 . 24) (25 . 25) (26 . 26) (27 . 27) (28 . 28) (29 . 29)) 4281 0.4441 8.3066 ((25 . 3) (27 . 4) (28 . 5) (29 . 9)) 4284 0.4444 5.7085 ((23 . 1) (24 . 2) (25 . 3) (27 . 4)) 4299 0.7758 6.5065 ((21 . 4) (22 . 5) (23 . 14) (25 . 16) (26 . 17) (27 . 19) (28 . 20)) 4301 0.4444 5.5871 ((23 . 1) (25 . 3) (27 . 4) (28 . 6)) 4326 0.4443 7.1759 ((22 . 16) (23 . 17) (24 . 18) (25 . 19)) 4332 0.4444 4.2046 ((21 . 4) (24 . 5) (25 . 6) (26 . 8)) 4338 0.4444 4.7505 ((22 . 5) (25 . 6) (27 . 7) (28 . 8)) 4352 0.3921 14.4391 ((22 . 3) (24 . 4) (26 . 6) (28 . 9)) 4359 0.5555 4.1368 ((21 . 17) (23 . 19) (25 . 21) (27 . 22) (28 . 23)) 4380 0.4444 5.3529 ((25 . 2) (27 . 3) (28 . 4) (29 . 6)) 4383 0.4444 5.2621 ((21 . 14) (23 . 16) (25 . 18) (27 . 19)) 4386 0.4441 8.7676 ((22 . 17) (25 . 18) (27 . 19) (28 . 21)) 4388 0.5551 6.7036 ((21 . 1) (23 . 3) (24 . 4) (25 . 5) (27 . 6)) 4398 0.5541 9.2317 ((21 . 4) (22 . 5) (23 . 6) (25 . 8) (29 . 11)) 4405 0.4443 6.2371 ((21 . 14) (22 . 17) (23 . 18) (27 . 21)) 4408 0.4443 7.0529 ((21 . 2) (23 . 4) (25 . 6) (27 . 7)) 4415 0.4444 5.6912 ((21 . 3) (23 . 4) (24 . 5) (25 . 9)) 4419 0.4434 11.2046 ((24 . 1) (26 . 2) (27 . 3) (29 . 5)) 4426 0.4438 9.9987 ((22 . 1) (23 . 2) (24 . 3) (27 . 4)) 4470 0.5554 5.6101 ((24 . 17) (25 . 18) (27 . 19) (28 . 20) (29 . 22)) 4491 0.4444 4.9632 ((21 . 1) (23 . 6) (24 . 7) (25 . 8)) 4492 0.5550 7.2654 ((21 . 11) (22 . 12) (23 . 13) (24 . 14) (25 . 16)) 4495 0.5554 5.0725 ((21 . 6) (22 . 7) (23 . 10) (24 . 11) (26 . 12)) 4497 0.5552 6.4903 ((21 . 18) (22 . 20) (25 . 24) (27 . 25) (28 . 26)) 4502 0.5536 9.9003 ((21 . 6) (22 . 7) (25 . 11) (28 . 14) (29 . 16)) 4503 0.4441 8.7519 ((21 . 3) (23 . 7) (25 . 9) (27 . 10)) 4504 0.4444 3.8924 ((21 . 15) (23 . 17) (24 . 18) (25 . 19)) 4505 0.5542 8.9928 ((21 . 28) (22 . 29) (23 . 30) (24 . 31) (29 . 35)) 4516 0.5554 4.9877 ((21 . 6) (24 . 7) (25 . 8) (27 . 10) (28 . 12)) 4527 0.4440 8.9371 ((23 . 1) (24 . 2) (26 . 4) (28 . 6)) 4538 0.4439 9.3258 ((22 . 27) (23 . 30) (27 . 33) (28 . 34)) 4551 0.4444 3.5952 ((21 . 1) (23 . 2) (25 . 4) (28 . 8)) 4560 0.5549 7.4766 ((21 . 6) (22 . 7) (23 . 8) (24 . 10) (29 . 12)) 4561 0.5555 4.6265 ((21 . 5) (23 . 7) (24 . 8) (25 . 9) (28 . 12)) 4562 0.4444 4.5016 ((21 . 25) (22 . 28) (23 . 29) (24 . 30)) 4563 0.4441 8.2654 ((21 . 31) (24 . 33) (25 . 34) (29 . 37)) 4577 0.4443 7.2739 ((21 . 31) (24 . 36) (27 . 37) (28 . 38)) 4579 0.3928 12.5071 ((22 . 11) (26 . 16) (28 . 17) (29 . 21)) 4588 0.5543 8.8063 ((21 . 1) (22 . 2) (23 . 3) (24 . 4) (27 . 8)) 4589 0.4443 6.6674 ((21 . 22) (26 . 26) (27 . 27) (28 . 30)) 4607 0.3935 8.7687 ((26 . 2) (27 . 3) (28 . 4) (29 . 5)) 4621 0.4442 7.7669 ((22 . 2) (25 . 6) (27 . 8) (28 . 9)) 4630 0.4444 4.8247 ((21 . 20) (23 . 23) (25 . 26) (28 . 29)) 4648 0.4161 4.9484 ((22 . 3) (25 . 5) (26 . 7) (27 . 8)) 4653 0.6663 5.3365 ((21 . 1) (22 . 2) (23 . 4) (25 . 5) (27 . 6) (28 . 7)) 4665 0.4444 5.6232 ((25 . 12) (27 . 13) (28 . 14) (29 . 16)) 4668 0.6651 7.5088 ((21 . 1) (22 . 2) (23 . 3) (24 . 6) (25 . 7) (29 . 10)) 4669 0.6648 7.8650 ((21 . 15) (22 . 16) (23 . 17) (24 . 18) (25 . 19) (29 . 22)) 4671 0.4442 7.5174 ((22 . 5) (23 . 6) (25 . 7) (27 . 8)) 4674 0.4441 8.2633 ((22 . 4) (24 . 5) (27 . 8) (28 . 9)) 4678 0.4441 8.7353 ((21 . 6) (24 . 9) (27 . 12) (28 . 14)) 4713 0.4435 10.9381 ((23 . 6) (25 . 8) (27 . 9) (29 . 11)) 4715 0.3524 10.1295 ((22 . 1) (24 . 2) (25 . 3) (26 . 4)) 4731 0.5551 6.7308 ((21 . 18) (24 . 20) (25 . 22) (27 . 23) (28 . 24)) 4857 0.4444 5.1849 ((21 . 2) (23 . 3) (24 . 4) (25 . 5)) 4886 0.4444 5.4194 ((22 . 6) (25 . 29) (27 . 30) (28 . 31)) 4888 0.4441 8.4422 ((22 . 2) (24 . 3) (26 . 6) (29 . 10)) 4889 0.4443 6.6342 ((21 . 2) (23 . 4) (25 . 6) (27 . 7)) 4907 0.4444 3.4225 ((25 . 1) (26 . 2) (27 . 3) (28 . 4)) 4914 0.5552 6.5174 ((21 . 4) (23 . 6) (25 . 8) (27 . 9) (28 . 10)) 4921 0.4443 6.9063 ((22 . 11) (23 . 12) (27 . 14) (28 . 15)) 4929 0.4444 5.5207 ((21 . 26) (25 . 29) (27 . 31) (28 . 32)) 4932 0.4443 6.2089 ((21 . 6) (22 . 7) (23 . 8) (24 . 9)) 4940 0.4444 5.9753 ((23 . 3) (24 . 5) (25 . 6) (27 . 7)) 4944 0.5553 6.1317 ((21 . 11) (22 . 12) (25 . 14) (27 . 15) (28 . 16)) 4961 0.5549 7.6115 ((22 . 11) (24 . 13) (25 . 14) (27 . 15) (29 . 18)) 4978 0.4444 6.1224 ((21 . 28) (23 . 30) (24 . 31) (25 . 32)) 4982 0.5555 3.5935 ((21 . 10) (22 . 11) (23 . 12) (24 . 13) (25 . 14)) 4992 0.4439 9.5976 ((21 . 1) (23 . 3) (24 . 4) (29 . 7)) 4998 0.4442 8.1345 ((21 . 3) (22 . 5) (25 . 6) (26 . 7)) 5029 0.4444 3.3140 ((21 . 4) (23 . 6) (24 . 7) (25 . 8)) 5036 0.4444 4.9713 ((21 . 1) (25 . 5) (27 . 6) (28 . 7)) 5038 0.4444 4.1851 ((24 . 13) (25 . 14) (27 . 15) (28 . 16)) 5039 0.5555 3.5695 ((21 . 39) (23 . 41) (24 . 43) (25 . 44) (27 . 45)) 5053 0.4443 7.3432 ((24 . 8) (25 . 9) (27 . 10) (29 . 14)) 5065 0.4444 4.7365 ((24 . 5) (25 . 7) (27 . 8) (28 . 9)) 5068 0.4441 8.6025 ((21 . 17) (22 . 19) (23 . 20) (29 . 26)) 5069 0.5555 2.6605 ((23 . 2) (24 . 3) (25 . 4) (27 . 5) (28 . 7)) 5073 0.5554 5.2292 ((21 . 39) (22 . 41) (23 . 42) (24 . 43) (25 . 44)) 5080 0.1495 13.1586 ((22 . 8) (24 . 11) (26 . 13) (29 . 14)) 5083 0.4444 5.0686 ((23 . 2) (25 . 5) (27 . 6) (28 . 8)) 5101 0.6630 9.2545 ((21 . 3) (23 . 5) (24 . 6) (25 . 7) (28 . 9) (29 . 11)) 5103 0.5551 6.8656 ((21 . 13) (23 . 15) (24 . 16) (28 . 19) (29 . 20)) 5121 0.4444 5.8766 ((21 . 21) (22 . 22) (27 . 25) (28 . 26)) 5132 0.5554 5.3318 ((21 . 18) (22 . 19) (23 . 20) (24 . 21) (25 . 26)) 5134 0.4444 5.6602 ((21 . 10) (24 . 11) (27 . 14) (28 . 17)) 5145 0.3526 5.8094 ((22 . 4) (23 . 5) (25 . 8) (26 . 9)) 5167 0.5543 8.9409 ((21 . 1) (24 . 2) (25 . 3) (27 . 4) (29 . 7)) 5176 0.4441 8.6352 ((23 . 82) (24 . 83) (27 . 84) (28 . 86)) 5183 0.4443 6.4939 ((25 . 34) (27 . 35) (28 . 36) (29 . 39)) 5192 0.4438 9.8861 ((22 . 16) (23 . 17) (25 . 20) (29 . 23)) 5198 0.3931 11.1455 ((23 . 22) (24 . 23) (28 . 26) (29 . 27)) 5199 0.4437 10.3161 ((23 . 4) (24 . 6) (27 . 7) (28 . 8)) 5209 0.4442 7.5842 ((22 . 6) (25 . 7) (27 . 8) (28 . 9)) 5212 0.3935 8.7982 ((26 . 1) (27 . 2) (28 . 3) (29 . 4)) 5215 0.4442 7.8731 ((21 . 5) (25 . 10) (27 . 11) (29 . 14)) 5223 0.5554 5.5099 ((21 . 3) (23 . 6) (24 . 7) (25 . 8) (28 . 12)) 5231 0.4444 4.7393 ((23 . 8) (25 . 13) (27 . 14) (28 . 16)) 5266 0.5545 8.5975 ((21 . 2) (22 . 3) (23 . 6) (25 . 8) (29 . 11)) 5278 0.4443 6.9901 ((21 . 2) (25 . 6) (27 . 7) (28 . 8)) 5307 0.7302 1.7469 ((21 . 51) (22 . 52) (23 . 53) (24 . 54) (25 . 55) (26 . 56) (27 . 57) (28 . 58)) 5312 0.3934 9.2497 ((21 . 1) (25 . 4) (26 . 6) (28 . 7)) 5318 0.4444 5.5799 ((21 . 8) (22 . 9) (25 . 11) (26 . 12)) 5323 0.4441 8.4284 ((24 . 8) (26 . 9) (27 . 10) (28 . 11)) 5324 0.5554 4.9841 ((21 . 7) (22 . 9) (23 . 10) (24 . 11) (25 . 12)) 5344 0.4443 6.3061 ((21 . 1) (23 . 3) (26 . 5) (28 . 7)) 5345 0.4444 3.2903 ((23 . 9) (25 . 12) (27 . 13) (28 . 14)) 5368 0.5555 4.5898 ((21 . 12) (23 . 13) (25 . 15) (27 . 16) (28 . 17)) 5378 0.4444 4.3955 ((21 . 4) (22 . 5) (23 . 6) (25 . 7)) 5411 0.4444 5.4926 ((23 . 3) (24 . 5) (25 . 6) (27 . 8)) 5414 0.5552 6.2893 ((21 . 15) (23 . 18) (25 . 20) (27 . 21) (28 . 22)) 5418 0.4442 7.3652 ((25 . 1) (27 . 2) (28 . 3) (29 . 4)) 5433 0.3526 7.1041 ((23 . 13) (27 . 18) (28 . 20) (29 . 24)) 5479 0.4444 5.0541 ((23 . 50) (25 . 52) (27 . 53) (28 . 54)) 5487 0.5555 3.3727 ((21 . 4) (23 . 7) (24 . 8) (25 . 9) (28 . 11)) 5489 0.4444 5.2549 ((23 . 6) (25 . 9) (27 . 10) (28 . 11)) 5500 0.4441 8.3155 ((22 . 10) (23 . 12) (24 . 13) (25 . 14)) 5501 0.3929 12.3328 ((23 . 30) (24 . 32) (26 . 34) (29 . 38)) 5525 0.4438 10.0146 ((24 . 5) (25 . 7) (27 . 8) (29 . 10)) 5535 0.4444 3.6145 ((22 . 1) (25 . 6) (27 . 7) (28 . 8)) 5540 0.4443 6.3229 ((23 . 1) (24 . 2) (25 . 3) (27 . 4)) 5557 0.4443 7.1976 ((21 . 2) (23 . 4) (24 . 5) (25 . 6)) 5560 0.7753 6.9279 ((21 . 2) (22 . 3) (23 . 4) (24 . 8) (25 . 9) (28 . 11) (29 . 24)) 5562 0.5526 11.0042 ((21 . 7) (22 . 9) (25 . 11) (28 . 14) (29 . 15)) 5567 0.5554 5.4634 ((21 . 11) (23 . 15) (25 . 17) (27 . 18) (28 . 19)) 5594 0.5546 8.2602 ((21 . 6) (22 . 7) (23 . 9) (24 . 10) (25 . 12)) 5600 0.4444 5.5149 ((21 . 3) (22 . 4) (23 . 5) (27 . 9)) 5601 0.5555 4.1701 ((21 . 5) (23 . 8) (24 . 9) (25 . 10) (28 . 12)) 5638 0.4443 6.8223 ((21 . 9) (22 . 12) (23 . 13) (24 . 14)) 5640 0.5555 4.3272 ((21 . 14) (23 . 16) (25 . 19) (27 . 20) (28 . 21)) 5644 0.4437 10.2665 ((21 . 8) (25 . 12) (27 . 13) (28 . 14)) 5656 0.5549 7.4394 ((24 . 20) (25 . 21) (27 . 23) (28 . 24) (29 . 25)) 5700 0.4437 10.2745 ((21 . 2) (23 . 4) (25 . 6) (27 . 8)) 5701 0.5554 4.9905 ((22 . 7) (23 . 8) (24 . 10) (25 . 11) (26 . 13)) 5703 0.4444 5.5161 ((22 . 3) (25 . 6) (27 . 7) (28 . 8)) 5711 0.4444 5.2046 ((23 . 32) (25 . 35) (27 . 36) (28 . 37)) 5713 0.4444 3.3547 ((23 . 22) (25 . 24) (27 . 25) (28 . 27)) 5718 0.4443 6.6459 ((23 . 14) (25 . 17) (27 . 18) (28 . 21)) 5731 0.5258 9.9316 ((22 . 6) (24 . 8) (25 . 10) (27 . 11) (28 . 13)) 5746 0.5555 4.1523 ((23 . 3) (24 . 4) (25 . 6) (27 . 7) (28 . 9)) 5749 0.4442 7.5468 ((21 . 3) (25 . 5) (27 . 6) (29 . 9)) 5761 0.3936 7.0674 ((25 . 28) (26 . 29) (27 . 30) (29 . 33)) 5770 0.4444 5.8063 ((22 . 7) (25 . 9) (26 . 10) (27 . 12)) 5771 0.4444 4.9061 ((21 . 17) (22 . 19) (23 . 21) (24 . 22)) 5782 0.5545 8.5080 ((21 . 22) (22 . 23) (23 . 24) (27 . 29) (28 . 30)) 5789 0.2441 10.7729 ((22 . 3) (24 . 4) (26 . 6) (27 . 5)) 5794 0.5553 5.7401 ((21 . 19) (24 . 22) (25 . 23) (27 . 24) (28 . 25)) 5795 0.4441 8.4460 ((23 . 10) (24 . 12) (25 . 13) (29 . 15)) 5809 0.5548 7.8992 ((21 . 3) (23 . 5) (24 . 6) (25 . 7) (29 . 10)) 5822 0.3524 9.8218 ((21 . 4) (22 . 5) (27 . 9) (29 . 11)) 5827 0.4444 4.1360 ((21 . 5) (23 . 8) (24 . 10) (25 . 11)) 5830 0.4443 7.3536 ((21 . 1) (24 . 5) (27 . 8) (28 . 10)) 5847 0.4444 5.8194 ((23 . 3) (25 . 7) (27 . 8) (28 . 9)) 5861 0.5554 4.8163 ((21 . 21) (23 . 22) (25 . 25) (27 . 26) (28 . 27)) 5865 0.4444 5.5491 ((21 . 5) (22 . 6) (25 . 7) (26 . 8)) 5878 0.4441 8.3632 ((24 . 24) (25 . 26) (27 . 29) (28 . 30)) 5888 0.5555 4.3992 ((21 . 25) (23 . 26) (25 . 28) (27 . 29) (28 . 30)) 5896 0.4444 5.0367 ((21 . 26) (22 . 27) (23 . 28) (27 . 31)) 5904 0.4444 3.9025 ((23 . 7) (24 . 8) (25 . 9) (28 . 11)) 5913 0.4444 2.9805 ((21 . 7) (24 . 12) (25 . 13) (28 . 15)) 5914 0.4444 4.7271 ((23 . 3) (24 . 4) (25 . 5) (27 . 6)) 5922 0.4443 6.4654 ((21 . 1) (25 . 6) (27 . 8) (28 . 9)) 5930 0.4444 5.8348 ((21 . 2) (22 . 3) (23 . 4) (28 . 8)) 5939 0.5555 4.5626 ((21 . 2) (23 . 4) (24 . 5) (25 . 6) (28 . 8)) 5945 0.5550 7.2709 ((22 . 10) (23 . 11) (24 . 12) (25 . 13) (27 . 14)) 5949 0.4444 2.7058 ((21 . 9) (23 . 12) (24 . 13) (25 . 14)) 5955 0.5552 6.5324 ((24 . 13) (25 . 14) (27 . 16) (28 . 17) (29 . 18)) 5967 0.5555 4.0174 ((21 . 1) (22 . 2) (23 . 3) (24 . 6) (25 . 7)) 5972 0.4439 9.6564 ((24 . 5) (27 . 6) (28 . 7) (29 . 8)) 5977 0.5552 6.2715 ((21 . 1) (23 . 3) (24 . 4) (25 . 5) (27 . 6)) 6000 0.4443 6.6830 ((22 . 11) (24 . 16) (25 . 17) (28 . 21)) 6011 0.4444 5.0261 ((23 . 7) (25 . 9) (27 . 10) (28 . 11)) 6022 0.4444 5.4340 ((21 . 4) (25 . 5) (27 . 8) (28 . 9)) 6028 0.2861 9.4931 ((25 . 3) (26 . 4) (28 . 9) (29 . 8)) 6029 0.4443 6.6194 ((21 . 6) (22 . 7) (23 . 10) (26 . 12)) 6041 0.4443 6.6631 ((21 . 11) (23 . 13) (24 . 14) (25 . 15)) 6046 0.4442 8.1597 ((24 . 1) (25 . 2) (27 . 3) (28 . 5)) 6061 0.4444 4.4840 ((21 . 17) (22 . 18) (25 . 20) (27 . 21)) 6074 0.6648 7.8155 ((21 . 2) (23 . 4) (24 . 5) (25 . 6) (28 . 8) (29 . 10)) 6075 0.5554 4.9493 ((21 . 17) (22 . 19) (23 . 21) (25 . 24) (28 . 27)) 6079 0.5553 6.0292 ((21 . 1) (22 . 2) (25 . 6) (27 . 7) (28 . 8)) 6087 0.4444 5.6412 ((22 . 4) (24 . 7) (25 . 8) (28 . 10)) 6089 0.6646 8.0634 ((21 . 1) (22 . 2) (23 . 3) (24 . 4) (25 . 5) (29 . 8)) 6094 0.4438 9.9790 ((21 . 3) (24 . 8) (27 . 10) (28 . 11)) 6099 0.5553 5.8846 ((21 . 5) (23 . 7) (25 . 10) (27 . 11) (28 . 13)) 6123 0.4442 7.7372 ((25 . 3) (27 . 4) (28 . 5) (29 . 7)) 6142 0.5554 4.9677 ((21 . 10) (23 . 12) (25 . 14) (27 . 15) (28 . 16)) 6148 0.4440 9.0793 ((25 . 32) (27 . 33) (28 . 34) (29 . 35)) 6167 0.4444 5.5248 ((21 . 9) (23 . 12) (27 . 20) (28 . 21)) 6173 0.4444 5.0761 ((21 . 4) (25 . 9) (27 . 11) (28 . 12)) 6191 0.4443 6.2087 ((23 . 6) (24 . 7) (27 . 9) (28 . 10)) 6192 0.2861 8.9919 ((21 . 5) (22 . 7) (25 . 11) (26 . 12)) 6215 0.1980 9.7350 ((23 . 17) (25 . 19) (27 . 20) (29 . 22)) 6225 0.4444 4.8528 ((21 . 5) (22 . 9) (25 . 10) (28 . 12)) 6228 0.5551 7.0433 ((21 . 1) (22 . 2) (23 . 3) (24 . 4) (25 . 5)) 6234 0.4444 5.5733 ((24 . 8) (25 . 9) (27 . 10) (28 . 13)) 6238 0.4444 5.4708 ((24 . 6) (25 . 7) (27 . 8) (29 . 10)) 6243 0.6625 9.5710 ((21 . 6) (22 . 7) (23 . 8) (24 . 9) (25 . 10) (29 . 13)) 6251 0.4444 2.6266 ((21 . 15) (23 . 17) (24 . 18) (25 . 19)) 6258 0.5547 8.0576 ((21 . 7) (22 . 8) (23 . 9) (25 . 10) (29 . 14)) 6261 0.5553 5.7750 ((24 . 18) (25 . 19) (27 . 21) (28 . 22) (29 . 23)) 6266 0.5546 8.1940 ((21 . 3) (22 . 4) (23 . 5) (25 . 6) (29 . 9)) 6268 0.2860 12.7540 ((22 . 9) (24 . 11) (26 . 12) (29 . 14)) 6270 0.4444 5.5634 ((23 . 15) (24 . 16) (25 . 17) (27 . 18)) 6271 0.4442 7.6222 ((21 . 5) (24 . 9) (25 . 10) (27 . 11)) 6294 0.5550 7.2961 ((21 . 23) (22 . 24) (23 . 25) (24 . 26) (25 . 27)) 6306 0.4442 8.0688 ((23 . 17) (25 . 20) (27 . 21) (29 . 23)) 6309 0.4443 7.1750 ((22 . 16) (23 . 17) (24 . 19) (25 . 20)) 6311 0.4444 4.7232 ((21 . 4) (23 . 5) (25 . 10) (27 . 11)) 6326 0.4444 5.9531 ((21 . 4) (25 . 9) (27 . 10) (28 . 11)) 6338 0.4444 5.1431 ((21 . 1) (23 . 4) (25 . 7) (27 . 8)) 6344 0.4443 6.3773 ((23 . 1) (24 . 2) (27 . 3) (28 . 4)) 6345 0.4443 6.1837 ((24 . 2) (25 . 4) (27 . 5) (29 . 8)) 6348 0.4444 3.4332 ((21 . 4) (24 . 8) (25 . 9) (28 . 11)) 6355 0.4444 5.6369 ((21 . 4) (23 . 7) (27 . 11) (28 . 12)) 6356 0.5551 7.0547 ((21 . 9) (22 . 10) (23 . 11) (24 . 12) (25 . 13)) 6369 0.6617 10.0261 ((21 . 22) (22 . 23) (23 . 24) (24 . 25) (25 . 26) (29 . 30)) 6376 0.4444 4.0758 ((21 . 17) (22 . 18) (24 . 23) (25 . 24)) 6391 0.1980 10.5765 ((22 . 7) (24 . 11) (27 . 12) (28 . 14)) 6392 0.4443 7.2581 ((23 . 1) (24 . 2) (25 . 3) (29 . 6)) 6399 0.5555 4.2162 ((21 . 25) (23 . 27) (25 . 29) (27 . 30) (28 . 31)) 6403 0.5537 9.8255 ((23 . 1) (25 . 3) (27 . 4) (28 . 5) (29 . 6)) 6434 0.5548 7.9027 ((24 . 1) (25 . 2) (27 . 3) (28 . 4) (29 . 7)) 6462 0.5545 8.5527 ((21 . 12) (23 . 16) (24 . 17) (25 . 18) (29 . 21)) 6476 0.4442 7.5541 ((21 . 4) (22 . 5) (24 . 7) (27 . 9)) 6498 0.5546 8.2085 ((21 . 16) (22 . 18) (23 . 19) (24 . 20) (25 . 21)) 6520 0.4442 7.5258 ((21 . 9) (22 . 11) (28 . 15) (29 . 18)) 6536 0.4442 7.5500 ((22 . 32) (27 . 35) (28 . 36) (29 . 37)) 6539 0.4444 3.7872 ((21 . 5) (22 . 7) (23 . 8) (24 . 9)) 6540 0.4443 6.8384 ((21 . 17) (23 . 19) (25 . 21) (27 . 22)) 6548 0.5551 6.8463 ((21 . 5) (25 . 9) (27 . 12) (28 . 13) (29 . 15)) 6553 0.4444 4.3278 ((22 . 10) (23 . 11) (24 . 12) (25 . 13)) 6555 0.4443 6.9283 ((21 . 20) (23 . 23) (25 . 25) (27 . 27)) 6561 0.4442 8.0131 ((21 . 10) (22 . 11) (27 . 13) (28 . 15)) 6573 0.4443 6.5033 ((21 . 19) (25 . 22) (27 . 23) (28 . 24)) 6575 0.4438 9.8278 ((21 . 1) (22 . 3) (23 . 5) (24 . 6)) 6578 0.4436 10.6953 ((21 . 34) (22 . 36) (23 . 38) (24 . 39)) 6584 0.5545 8.4853 ((22 . 4) (23 . 5) (27 . 8) (28 . 9) (29 . 10)) 6585 0.6666 2.5144 ((21 . 6) (22 . 7) (23 . 8) (24 . 9) (25 . 10) (27 . 11)) 6586 0.5555 3.0053 ((21 . 18) (22 . 19) (24 . 23) (25 . 24) (27 . 25)) 6587 0.4444 3.0107 ((23 . 29) (24 . 32) (25 . 33) (27 . 34)) 6598 0.5552 6.5082 ((21 . 10) (22 . 12) (25 . 13) (27 . 16) (28 . 17)) 6613 0.5555 3.7677 ((21 . 24) (24 . 26) (25 . 27) (27 . 28) (28 . 31)) 6635 0.4443 6.9130 ((21 . 5) (22 . 6) (23 . 7) (24 . 9)) END