4563 25 0.2499 11.0044 ((25 . 4) (27 . 5) (31 . 11) (33 . 12)) 41 0.4374 5.5444 ((25 . 2) (26 . 3) (27 . 4) (28 . 5) (30 . 6) (31 . 7) (33 . 8)) 51 0.2500 6.3693 ((31 . 2) (32 . 4) (34 . 7) (35 . 10)) 62 0.2500 7.7671 ((33 . 9) (34 . 10) (35 . 12) (37 . 15)) 64 0.2500 5.0203 ((26 . 3) (28 . 6) (34 . 10) (35 . 12)) 77 0.2500 6.1421 ((26 . 8) (27 . 10) (31 . 15) (33 . 17)) 91 0.3125 6.0081 ((25 . 20) (26 . 21) (31 . 28) (33 . 30) (34 . 31)) 96 0.2500 3.8638 ((26 . 1) (27 . 2) (28 . 3) (31 . 6)) 136 0.3125 8.0309 ((1 . 3) (33 . 4) (34 . 5) (35 . 7) (37 . 9)) 147 0.2500 7.7663 ((27 . 3) (30 . 6) (32 . 8) (33 . 9)) 150 0.3125 5.9849 ((28 . 20) (30 . 21) (31 . 23) (33 . 24) (34 . 25)) 153 0.2500 7.8326 ((26 . 1) (28 . 4) (31 . 7) (34 . 10)) 157 0.4235 4.5238 ((1 . 9) (25 . 10) (26 . 11) (27 . 12) (28 . 14) (30 . 15) (31 . 16) (33 . 17) (34 . 18)) 162 0.2500 9.6375 ((26 . 15) (27 . 16) (28 . 17) (32 . 19)) 169 0.2500 6.4208 ((26 . 4) (28 . 7) (31 . 9) (34 . 12)) 177 0.2500 8.1252 ((28 . 1) (31 . 4) (34 . 8) (35 . 10)) 191 0.2500 6.3507 ((25 . 3) (26 . 4) (31 . 7) (34 . 9)) 207 0.3125 5.0223 ((28 . 8) (30 . 11) (31 . 13) (33 . 14) (34 . 15)) 293 0.2499 11.9183 ((27 . 3) (30 . 4) (32 . 5) (33 . 6)) 300 0.3069 10.8786 ((27 . 5) (28 . 7) (31 . 10) (33 . 11) (34 . 13)) 305 0.2500 8.6465 ((32 . 8) (33 . 10) (34 . 11) (35 . 15)) 307 0.4375 4.2957 ((26 . 1) (27 . 2) (28 . 3) (30 . 6) (31 . 7) (33 . 8) (34 . 9)) 317 0.2266 9.6834 ((25 . 2) (27 . 3) (32 . 7) (33 . 9)) 350 0.1835 7.6788 ((26 . 7) (28 . 10) (31 . 15) (34 . 20)) 351 0.2500 9.4028 ((25 . 2) (27 . 4) (30 . 6) (33 . 8)) 360 0.2500 5.9933 ((26 . 5) (31 . 12) (33 . 13) (34 . 14)) 361 0.1455 7.8425 ((28 . 1) (30 . 3) (31 . 4) (37 . 9)) 365 0.2500 6.6110 ((26 . 1) (28 . 3) (31 . 6) (32 . 7)) 367 0.2500 8.5919 ((25 . 39) (26 . 40) (28 . 44) (31 . 47)) 387 0.2500 10.5205 ((26 . 1) (28 . 7) (31 . 9) (34 . 12)) 405 0.2499 13.4569 ((28 . 31) (31 . 33) (34 . 39) (35 . 40)) 420 0.2500 6.7840 ((26 . 1) (28 . 3) (31 . 5) (34 . 10)) 433 0.2500 6.6908 ((28 . 5) (31 . 7) (33 . 8) (34 . 9)) 442 0.3125 4.8661 ((27 . 11) (28 . 12) (30 . 13) (31 . 14) (35 . 21)) 460 0.2500 7.1415 ((26 . 2) (28 . 3) (31 . 8) (33 . 9)) 472 0.2500 6.3473 ((26 . 22) (33 . 29) (34 . 31) (37 . 34)) 491 0.2500 7.8287 ((32 . 2) (33 . 5) (34 . 6) (35 . 8)) 495 0.3124 8.7096 ((25 . 2) (26 . 3) (27 . 4) (28 . 5) (31 . 9)) 541 0.3749 6.6729 ((26 . 7) (28 . 11) (30 . 13) (31 . 14) (34 . 17) (37 . 22)) 543 0.2500 7.4017 ((28 . 1) (31 . 5) (34 . 8) (35 . 10)) 553 0.2499 10.8719 ((30 . 5) (32 . 7) (33 . 9) (37 . 14)) 561 0.2500 8.8496 ((31 . 1) (33 . 2) (34 . 3) (35 . 6)) 584 0.2500 7.9009 ((27 . 2) (28 . 3) (31 . 5) (33 . 9)) 587 0.2500 8.8191 ((26 . 2) (31 . 8) (34 . 10) (35 . 11)) 609 0.3125 4.9044 ((28 . 1) (30 . 2) (31 . 3) (32 . 4) (34 . 6)) 619 0.2500 7.4118 ((26 . 7) (28 . 9) (32 . 14) (35 . 19)) 624 0.3125 6.3711 ((27 . 6) (28 . 7) (31 . 11) (34 . 15) (35 . 16)) 635 0.2500 8.9934 ((30 . 2) (31 . 3) (33 . 4) (34 . 5)) 672 0.2573 6.0237 ((25 . 7) (26 . 18) (27 . 19) (28 . 21) (30 . 25)) 678 0.2500 5.4168 ((30 . 28) (31 . 29) (33 . 33) (34 . 34)) 719 0.2500 6.6185 ((28 . 22) (31 . 27) (33 . 29) (34 . 30)) 729 0.3750 3.7306 ((26 . 7) (27 . 8) (28 . 9) (31 . 15) (34 . 17) (35 . 20)) 740 0.2500 5.0001 ((25 . 1) (26 . 2) (28 . 5) (31 . 9)) 765 0.2499 10.9074 ((26 . 7) (28 . 10) (31 . 17) (34 . 20)) 767 0.3125 7.5114 ((26 . 1) (27 . 2) (28 . 3) (31 . 8) (34 . 12)) 782 0.2500 9.0022 ((6 . 3) (25 . 4) (30 . 8) (37 . 14)) 792 0.2499 12.3466 ((25 . 16) (27 . 17) (30 . 19) (33 . 21)) 795 0.3125 7.9133 ((26 . 1) (27 . 2) (28 . 3) (30 . 4) (31 . 5)) 796 0.2500 6.8662 ((30 . 1) (31 . 3) (33 . 4) (34 . 5)) 812 0.2500 4.3977 ((28 . 9) (30 . 12) (31 . 13) (34 . 16)) 818 0.5031 5.8049 ((1 . 1) (25 . 3) (26 . 4) (27 . 5) (28 . 7) (30 . 9) (31 . 10) (33 . 11) (34 . 12)) 819 0.2500 8.7253 ((27 . 1) (30 . 4) (35 . 9) (37 . 11)) 834 0.2265 13.7232 ((27 . 34) (30 . 36) (33 . 39) (37 . 44)) 861 0.2500 9.4800 ((27 . 6) (32 . 10) (33 . 11) (34 . 12)) 901 0.4675 5.5173 ((6 . 10) (26 . 12) (27 . 14) (28 . 15) (30 . 16) (31 . 17) (32 . 18) (33 . 19) (34 . 20)) 904 0.2499 10.8309 ((27 . 1) (28 . 3) (30 . 5) (31 . 6)) 928 0.4375 5.3113 ((26 . 10) (27 . 11) (28 . 12) (31 . 14) (33 . 17) (34 . 18) (35 . 21)) 937 0.2500 6.5853 ((31 . 1) (33 . 3) (34 . 4) (35 . 5)) 943 0.4375 4.7063 ((26 . 4) (27 . 5) (28 . 6) (31 . 9) (33 . 10) (34 . 12) (35 . 15)) 945 0.3125 3.7143 ((26 . 12) (27 . 13) (28 . 14) (31 . 19) (34 . 22)) 949 0.2500 9.0192 ((28 . 32) (30 . 33) (32 . 36) (33 . 37)) 960 0.3750 4.8025 ((26 . 9) (27 . 11) (28 . 12) (30 . 16) (31 . 19) (34 . 21)) 978 0.3125 4.0750 ((26 . 6) (30 . 9) (31 . 10) (32 . 11) (34 . 13)) 980 0.3750 5.4683 ((26 . 1) (27 . 2) (30 . 6) (31 . 7) (33 . 8) (34 . 9)) 1005 0.2480 13.2791 ((3 . 3) (4 . 2) (5 . 4) (6 . 5)) 1007 0.2500 9.0039 ((25 . 1) (30 . 6) (31 . 7) (34 . 9)) 1008 0.2500 8.6152 ((25 . 2) (26 . 3) (34 . 15) (35 . 16)) 1034 0.3016 7.4420 ((25 . 27) (26 . 29) (27 . 31) (28 . 32) (30 . 36)) 1043 0.3124 8.6660 ((28 . 1) (30 . 5) (31 . 6) (33 . 7) (34 . 10)) 1082 0.4374 6.9626 ((26 . 9) (27 . 11) (28 . 12) (30 . 14) (31 . 16) (33 . 18) (34 . 19)) 1084 0.2500 6.8186 ((27 . 6) (28 . 10) (34 . 18) (35 . 20)) 1124 0.2500 6.5195 ((30 . 8) (32 . 9) (33 . 10) (37 . 14)) 1165 0.3125 3.4319 ((26 . 4) (27 . 5) (28 . 7) (30 . 9) (31 . 10)) 1167 0.2500 10.0257 ((26 . 22) (27 . 24) (31 . 27) (33 . 28)) 1201 0.2500 6.7747 ((25 . 13) (30 . 19) (35 . 31) (37 . 33)) 1204 0.3125 5.9277 ((26 . 1) (27 . 2) (28 . 3) (31 . 5) (34 . 11)) 1211 0.2500 6.3440 ((26 . 10) (28 . 11) (31 . 15) (33 . 17)) 1224 0.2500 4.8200 ((28 . 5) (31 . 7) (34 . 14) (35 . 15)) 1233 0.3250 5.1559 ((26 . 11) (27 . 13) (28 . 14) (31 . 20) (33 . 21) (34 . 22)) 1267 0.3749 8.2354 ((26 . 13) (27 . 14) (28 . 15) (30 . 16) (31 . 19) (33 . 20)) 1268 0.2499 12.4130 ((25 . 16) (30 . 19) (33 . 21) (35 . 25)) 1294 0.2500 6.0437 ((26 . 39) (28 . 41) (31 . 44) (32 . 45)) 1301 0.2101 17.9102 ((1 . 5) (3 . 6) (5 . 7) (6 . 8)) 1345 0.3125 6.3676 ((25 . 8) (26 . 9) (27 . 10) (28 . 12) (31 . 14)) 1366 0.2500 5.5735 ((26 . 12) (27 . 13) (28 . 14) (31 . 16)) 1388 0.2500 6.5617 ((31 . 1) (33 . 3) (34 . 4) (35 . 5)) 1415 0.0994 8.1251 ((6 . 1) (32 . 4) (33 . 5) (37 . 6)) 1425 0.2500 7.9700 ((28 . 4) (30 . 7) (31 . 8) (34 . 12)) 1435 0.2500 8.8111 ((4 . 2) (6 . 4) (30 . 32) (31 . 33)) 1447 0.3748 8.6336 ((26 . 1) (27 . 2) (28 . 3) (30 . 4) (33 . 8) (34 . 9)) 1451 0.2500 5.5100 ((26 . 6) (27 . 7) (28 . 8) (31 . 10)) 1464 0.1593 9.9896 ((1 . 7) (4 . 8) (5 . 9) (6 . 12)) 1470 0.2500 8.9783 ((27 . 10) (30 . 13) (32 . 14) (33 . 15)) 1472 0.2500 8.8515 ((27 . 5) (28 . 7) (32 . 11) (33 . 12)) 1476 0.3125 4.3614 ((26 . 11) (28 . 14) (31 . 18) (33 . 19) (34 . 20)) 1497 0.2500 9.5295 ((25 . 16) (30 . 20) (33 . 23) (37 . 27)) 1501 0.2500 10.6344 ((31 . 3) (34 . 7) (35 . 9) (37 . 10)) 1508 0.1835 12.3590 ((1 . 2) (3 . 4) (4 . 5) (5 . 6)) 1513 0.3749 6.7074 ((26 . 3) (27 . 4) (30 . 9) (31 . 11) (34 . 13) (37 . 16)) 1514 0.2500 8.7701 ((33 . 2) (34 . 3) (35 . 4) (37 . 5)) 1577 0.2500 10.5592 ((25 . 2) (26 . 3) (33 . 11) (34 . 12)) 1591 0.3125 6.3394 ((26 . 1) (30 . 5) (31 . 6) (34 . 8) (37 . 10)) 1595 0.2499 11.0732 ((25 . 1) (27 . 2) (30 . 6) (33 . 9)) 1604 0.2500 4.1623 ((28 . 3) (30 . 6) (31 . 7) (33 . 9)) 1622 0.2500 5.6872 ((30 . 19) (31 . 20) (33 . 21) (34 . 22)) 1624 0.1593 8.9886 ((1 . 5) (4 . 9) (5 . 10) (6 . 11)) 1643 0.2500 2.7035 ((28 . 28) (31 . 32) (34 . 37) (35 . 38)) 1644 0.2500 7.2639 ((30 . 42) (31 . 43) (34 . 48) (35 . 51)) 1665 0.2500 4.3764 ((26 . 6) (28 . 8) (30 . 9) (31 . 10)) 1690 0.3750 4.7269 ((27 . 7) (28 . 8) (30 . 12) (31 . 13) (34 . 16) (35 . 20)) 1692 0.2500 5.2655 ((28 . 1) (30 . 2) (34 . 8) (35 . 9)) 1731 0.3125 5.2688 ((26 . 3) (27 . 5) (28 . 6) (33 . 11) (34 . 12)) 1736 0.3750 5.7609 ((26 . 3) (28 . 5) (30 . 6) (31 . 7) (33 . 9) (34 . 10)) 1738 0.3125 5.6195 ((26 . 9) (27 . 10) (28 . 11) (30 . 15) (35 . 23)) 1747 0.2500 4.7878 ((26 . 25) (28 . 28) (31 . 30) (35 . 37)) 1759 0.2499 12.5074 ((28 . 2) (31 . 5) (34 . 10) (35 . 13)) 1761 0.3750 4.3099 ((26 . 7) (27 . 8) (28 . 9) (31 . 13) (33 . 14) (35 . 20)) 1763 0.2500 7.9476 ((1 . 7) (3 . 8) (4 . 10) (6 . 11)) 1776 0.3749 8.4468 ((26 . 1) (27 . 6) (28 . 7) (31 . 12) (33 . 13) (34 . 14)) 1777 0.2500 6.1498 ((28 . 31) (31 . 37) (34 . 43) (35 . 49)) 1778 0.2500 3.8086 ((26 . 1) (28 . 3) (30 . 6) (31 . 8)) 1793 0.4375 5.2694 ((26 . 4) (27 . 5) (28 . 6) (30 . 7) (31 . 8) (33 . 9) (34 . 10)) 1796 0.2500 6.6008 ((27 . 2) (30 . 5) (32 . 6) (33 . 7)) 1805 0.2500 5.6319 ((26 . 3) (27 . 5) (34 . 12) (35 . 14)) 1808 0.2500 6.1855 ((27 . 1) (30 . 7) (31 . 8) (34 . 10)) 1867 0.2500 4.3391 ((26 . 1) (27 . 2) (28 . 3) (31 . 7)) 1894 0.2500 7.3753 ((25 . 9) (31 . 18) (34 . 20) (35 . 23)) 1896 0.2500 7.0994 ((28 . 3) (30 . 4) (31 . 5) (33 . 10)) 1897 0.2500 4.4219 ((26 . 34) (31 . 40) (33 . 44) (34 . 46)) 1908 0.3750 4.7201 ((26 . 3) (30 . 6) (31 . 7) (33 . 9) (34 . 10) (37 . 16)) 1909 0.3750 4.7910 ((25 . 24) (26 . 25) (30 . 30) (31 . 31) (34 . 34) (37 . 38)) 1913 0.2572 8.3487 ((26 . 19) (28 . 22) (30 . 24) (31 . 26) (34 . 30)) 1944 0.3750 4.9400 ((27 . 6) (28 . 7) (30 . 8) (31 . 9) (33 . 12) (34 . 13)) 1957 0.4375 5.3020 ((26 . 11) (27 . 12) (28 . 13) (30 . 16) (31 . 17) (33 . 18) (34 . 19)) 1961 0.2500 5.8949 ((26 . 14) (28 . 16) (30 . 18) (31 . 19)) 1967 0.4389 5.1061 ((1 . 1) (26 . 3) (27 . 4) (28 . 7) (30 . 9) (31 . 10) (33 . 11) (34 . 13)) 1972 0.3750 5.4506 ((25 . 17) (26 . 18) (28 . 20) (31 . 24) (33 . 25) (34 . 27)) 1992 0.3124 8.8333 ((27 . 5) (31 . 9) (33 . 10) (34 . 12) (35 . 14)) 1995 0.2500 8.0149 ((26 . 2) (28 . 7) (31 . 9) (34 . 13)) 2003 0.2500 7.5795 ((30 . 2) (31 . 5) (34 . 10) (35 . 12)) 2006 0.2500 4.8611 ((26 . 15) (28 . 18) (31 . 21) (34 . 24)) 2045 0.1835 7.8680 ((4 . 1) (28 . 29) (30 . 30) (31 . 31)) 2048 0.3125 7.5738 ((28 . 1) (30 . 3) (31 . 4) (33 . 5) (37 . 12)) 2054 0.2499 10.9858 ((32 . 4) (33 . 7) (35 . 13) (37 . 15)) 2063 0.2500 6.7468 ((31 . 42) (33 . 46) (34 . 47) (35 . 50)) 2067 0.2500 5.7805 ((28 . 2) (30 . 3) (31 . 4) (33 . 6)) 2072 0.2500 6.2977 ((26 . 2) (27 . 3) (31 . 7) (33 . 8)) 2081 0.3123 10.8917 ((27 . 11) (28 . 12) (33 . 18) (34 . 19) (37 . 24)) 2083 0.3124 8.7811 ((26 . 2) (28 . 4) (30 . 6) (31 . 7) (33 . 11)) 2094 0.1455 11.1621 ((27 . 1) (30 . 3) (32 . 4) (33 . 7)) 2097 0.2412 12.8390 ((25 . 2) (26 . 4) (28 . 6) (34 . 14)) 2114 0.3124 8.2786 ((28 . 28) (30 . 30) (31 . 32) (34 . 36) (37 . 39)) 2116 0.2500 6.6021 ((26 . 5) (28 . 7) (31 . 10) (34 . 12)) 2117 0.2500 4.5947 ((31 . 1) (33 . 3) (34 . 4) (37 . 8)) 2118 0.2500 7.8262 ((26 . 5) (27 . 6) (28 . 7) (30 . 8)) 2122 0.4374 6.3586 ((26 . 1) (27 . 5) (28 . 6) (30 . 9) (31 . 10) (34 . 12) (35 . 18)) 2166 0.2500 7.0622 ((27 . 5) (30 . 10) (31 . 12) (35 . 15)) 2179 0.3125 4.0437 ((26 . 4) (28 . 5) (31 . 10) (33 . 12) (34 . 13)) 2203 0.2500 7.5024 ((26 . 1) (27 . 3) (28 . 5) (32 . 8)) 2205 0.2500 8.0223 ((26 . 13) (31 . 18) (34 . 23) (35 . 26)) 2209 0.3125 5.1423 ((26 . 3) (27 . 4) (28 . 5) (30 . 8) (34 . 10)) 2243 0.2500 9.2311 ((25 . 48) (28 . 51) (31 . 53) (35 . 61)) 2244 0.2500 6.5197 ((26 . 69) (28 . 71) (31 . 75) (34 . 79)) 2248 0.3125 7.0642 ((27 . 20) (31 . 22) (33 . 26) (34 . 27) (35 . 28)) 2249 0.3125 5.2138 ((26 . 7) (27 . 8) (31 . 12) (33 . 14) (34 . 16)) 2269 0.3125 4.7261 ((26 . 8) (28 . 10) (30 . 11) (31 . 12) (33 . 13)) 2279 0.3125 5.2771 ((28 . 5) (30 . 6) (31 . 9) (35 . 19) (37 . 21)) 2298 0.4374 5.4030 ((25 . 5) (26 . 6) (27 . 7) (28 . 8) (31 . 12) (33 . 14) (34 . 15)) 2308 0.3750 5.8449 ((26 . 6) (27 . 7) (28 . 8) (30 . 10) (31 . 11) (33 . 12)) 2314 0.2500 8.2392 ((31 . 2) (34 . 4) (35 . 7) (37 . 9)) 2340 0.3676 5.2821 ((25 . 8) (26 . 9) (27 . 10) (28 . 11) (31 . 13) (37 . 15)) 2344 0.2500 5.9698 ((26 . 3) (28 . 6) (31 . 10) (37 . 19)) 2364 0.3125 3.8493 ((26 . 7) (27 . 8) (28 . 9) (31 . 15) (34 . 20)) 2381 0.2500 4.3364 ((25 . 2) (26 . 3) (28 . 5) (30 . 8)) 2389 0.3125 7.3840 ((26 . 3) (28 . 11) (30 . 12) (31 . 14) (32 . 15)) 2408 0.2500 6.7203 ((26 . 39) (28 . 41) (31 . 45) (34 . 47)) 2410 0.3125 5.2015 ((1 . 13) (6 . 14) (25 . 15) (26 . 16) (31 . 17)) 2422 0.3125 5.3730 ((26 . 1) (27 . 2) (28 . 4) (31 . 9) (33 . 10)) 2423 0.2500 6.7995 ((33 . 13) (34 . 14) (35 . 16) (37 . 18)) 2440 0.2887 6.8158 ((26 . 4) (27 . 5) (28 . 7) (30 . 10) (37 . 19)) 2443 0.2500 9.1340 ((25 . 4) (30 . 7) (32 . 8) (33 . 9)) 2447 0.3706 6.3034 ((25 . 12) (26 . 13) (27 . 14) (28 . 15) (31 . 18) (34 . 24)) 2462 0.3124 9.6890 ((27 . 2) (28 . 3) (30 . 5) (31 . 6) (35 . 11)) 2465 0.2500 7.8881 ((27 . 3) (30 . 6) (32 . 7) (33 . 8)) 2510 0.3750 5.0309 ((26 . 1) (27 . 2) (28 . 3) (31 . 7) (33 . 8) (34 . 9)) 2525 0.2500 7.1226 ((1 . 41) (3 . 44) (4 . 45) (6 . 46)) 2529 0.3124 8.2025 ((26 . 1) (27 . 2) (28 . 3) (31 . 5) (33 . 7)) 2533 0.3750 6.2907 ((26 . 4) (27 . 5) (28 . 6) (31 . 9) (34 . 13) (37 . 17)) 2551 0.2500 9.6318 ((26 . 1) (32 . 4) (33 . 6) (37 . 10)) 2552 0.3125 6.0376 ((26 . 1) (27 . 2) (28 . 3) (30 . 6) (32 . 7)) 2556 0.3125 5.5655 ((26 . 11) (27 . 12) (28 . 13) (33 . 21) (34 . 22)) 2557 0.2500 6.6511 ((30 . 1) (31 . 3) (33 . 5) (34 . 6)) 2561 0.2500 6.5462 ((28 . 1) (30 . 5) (34 . 8) (35 . 9)) 2591 0.2499 11.9626 ((25 . 34) (30 . 37) (32 . 39) (33 . 40)) 2595 0.3750 4.1316 ((26 . 1) (27 . 2) (28 . 4) (30 . 5) (31 . 6) (34 . 9)) 2619 0.2500 3.5653 ((26 . 1) (30 . 4) (31 . 5) (34 . 7)) 2627 0.2499 11.1295 ((27 . 56) (30 . 59) (34 . 64) (35 . 65)) 2634 0.2500 9.5405 ((25 . 5) (27 . 7) (32 . 12) (33 . 13)) 2650 0.2500 6.9699 ((26 . 2) (27 . 4) (28 . 5) (31 . 7)) 2658 0.2500 10.5012 ((30 . 6) (33 . 9) (34 . 12) (35 . 13)) 2675 0.2500 7.7601 ((26 . 7) (27 . 9) (28 . 10) (31 . 12)) 2682 0.2500 4.4917 ((28 . 1) (30 . 2) (31 . 3) (33 . 4)) 2731 0.3124 8.2471 ((26 . 1) (27 . 2) (28 . 4) (31 . 5) (32 . 6)) 2733 0.2500 5.2576 ((28 . 4) (30 . 7) (31 . 8) (34 . 11)) 2753 0.2499 12.8195 ((25 . 2) (30 . 6) (33 . 8) (37 . 11)) 2755 0.3124 9.1076 ((27 . 2) (28 . 3) (31 . 6) (33 . 7) (34 . 10)) 2773 0.2500 6.2455 ((31 . 3) (33 . 4) (34 . 5) (35 . 6)) 2783 0.3125 7.4595 ((27 . 4) (28 . 6) (31 . 8) (32 . 9) (34 . 12)) 2804 0.2500 9.6152 ((30 . 26) (32 . 27) (35 . 34) (37 . 37)) 2821 0.3016 5.4648 ((25 . 10) (26 . 11) (27 . 12) (28 . 13) (30 . 14)) 2830 0.4375 4.5768 ((26 . 1) (27 . 2) (28 . 3) (30 . 4) (31 . 5) (33 . 6) (34 . 9)) 2834 0.3125 5.4627 ((26 . 1) (27 . 2) (28 . 3) (30 . 7) (31 . 8)) 2840 0.3125 7.0515 ((28 . 1) (30 . 3) (31 . 5) (34 . 9) (35 . 11)) 2842 0.3750 5.1045 ((25 . 3) (26 . 4) (31 . 9) (33 . 10) (34 . 11) (37 . 13)) 2867 0.2500 6.1586 ((25 . 1) (26 . 2) (31 . 7) (34 . 12)) 2879 0.2500 7.4710 ((26 . 51) (28 . 53) (30 . 55) (31 . 58)) 2886 0.2500 8.0655 ((26 . 35) (28 . 38) (31 . 41) (34 . 44)) 2929 0.2500 5.3143 ((31 . 36) (32 . 37) (33 . 38) (34 . 39)) 2940 0.3124 8.6587 ((26 . 1) (27 . 2) (28 . 3) (31 . 6) (33 . 9)) 2947 0.2500 4.5543 ((26 . 4) (27 . 5) (28 . 6) (34 . 13)) 2955 0.2500 4.7548 ((30 . 2) (31 . 3) (34 . 5) (35 . 6)) 2966 0.2500 8.3115 ((30 . 2) (31 . 3) (33 . 5) (35 . 10)) 2990 0.2500 4.2137 ((27 . 10) (34 . 19) (35 . 20) (37 . 21)) 2999 0.2500 4.9830 ((26 . 2) (28 . 4) (30 . 5) (31 . 6)) 3014 0.2500 6.9911 ((25 . 20) (27 . 21) (34 . 32) (35 . 35)) 3019 0.2500 3.4699 ((26 . 11) (27 . 12) (28 . 14) (35 . 20)) 3034 0.4375 4.5938 ((26 . 1) (27 . 4) (28 . 5) (30 . 6) (31 . 7) (33 . 8) (34 . 9)) 3041 0.3750 4.7265 ((26 . 12) (28 . 14) (30 . 15) (31 . 16) (33 . 17) (34 . 18)) 3055 0.3125 6.4540 ((26 . 15) (28 . 17) (31 . 21) (34 . 27) (35 . 28)) 3063 0.2500 9.5733 ((28 . 35) (31 . 38) (34 . 41) (35 . 42)) 3070 0.2500 6.2640 ((30 . 30) (33 . 34) (34 . 35) (35 . 36)) 3084 0.4375 4.2842 ((26 . 13) (27 . 14) (28 . 15) (30 . 16) (31 . 17) (34 . 21) (35 . 24)) 3102 0.2500 7.5542 ((26 . 65) (31 . 70) (35 . 76) (37 . 78)) 3103 0.2500 7.7552 ((28 . 5) (30 . 6) (31 . 9) (34 . 13)) 3114 0.1455 13.1709 ((28 . 23) (32 . 27) (33 . 28) (34 . 29)) 3120 0.2481 9.9557 ((3 . 20) (4 . 22) (5 . 23) (6 . 24)) 3127 0.3749 7.7589 ((25 . 5) (26 . 6) (27 . 7) (28 . 8) (30 . 12) (33 . 16)) 3147 0.2500 5.8722 ((28 . 12) (31 . 17) (34 . 20) (35 . 22)) 3176 0.2499 11.6393 ((30 . 23) (31 . 26) (34 . 29) (37 . 32)) 3187 0.3125 4.6257 ((1 . 3) (31 . 4) (34 . 6) (35 . 7) (37 . 10)) 3190 0.4375 5.1638 ((26 . 1) (27 . 2) (28 . 3) (30 . 4) (31 . 6) (33 . 7) (34 . 11)) 3197 0.3750 4.2740 ((26 . 10) (27 . 11) (28 . 12) (30 . 15) (31 . 16) (33 . 17)) 3200 0.2500 4.6754 ((27 . 12) (28 . 13) (30 . 14) (31 . 15)) 3202 0.2494 20.2646 ((27 . 7) (28 . 8) (33 . 12) (37 . 15)) 3212 0.2500 5.8390 ((30 . 1) (31 . 2) (34 . 5) (35 . 9)) 3222 0.2500 10.5653 ((26 . 1) (27 . 2) (28 . 3) (33 . 9)) 3256 0.2500 8.1199 ((26 . 13) (31 . 20) (34 . 26) (35 . 28)) 3261 0.2500 9.4973 ((27 . 5) (28 . 6) (31 . 8) (32 . 10)) 3286 0.2500 5.6052 ((1 . 5) (4 . 9) (5 . 10) (6 . 11)) 3297 0.2500 6.0057 ((28 . 4) (31 . 7) (34 . 9) (35 . 11)) 3300 0.2500 4.9838 ((26 . 1) (28 . 4) (32 . 9) (33 . 10)) 3322 0.3125 3.9567 ((26 . 1) (27 . 2) (28 . 3) (30 . 6) (31 . 7)) 3334 0.2500 7.2973 ((27 . 9) (28 . 10) (30 . 11) (33 . 13)) 3339 0.3749 7.8385 ((6 . 25) (26 . 28) (30 . 30) (31 . 33) (32 . 34) (33 . 36)) 3358 0.6247 5.5410 ((1 . 1) (6 . 3) (26 . 4) (27 . 5) (28 . 7) (30 . 9) (31 . 10) (33 . 11) (34 . 12) (35 . 16)) 3362 0.3125 4.5331 ((25 . 3) (26 . 4) (28 . 6) (30 . 7) (31 . 8)) 3366 0.2500 7.7738 ((4 . 2) (27 . 25) (28 . 27) (31 . 29)) 3391 0.3750 6.0897 ((26 . 4) (27 . 5) (28 . 6) (31 . 10) (33 . 12) (34 . 13)) 3410 0.3750 5.1643 ((26 . 19) (27 . 20) (28 . 21) (31 . 28) (33 . 29) (34 . 30)) 3446 0.2500 10.1776 ((27 . 3) (28 . 5) (32 . 9) (33 . 10)) 3470 0.2265 12.2052 ((27 . 10) (30 . 12) (33 . 14) (37 . 18)) 3472 0.2500 8.9762 ((26 . 1) (28 . 4) (31 . 9) (34 . 12)) 3481 0.3750 4.2636 ((26 . 2) (27 . 3) (28 . 4) (31 . 10) (33 . 11) (34 . 12)) 3489 0.2500 7.3678 ((26 . 1) (28 . 3) (34 . 12) (35 . 14)) 3495 0.2500 7.4340 ((28 . 1) (31 . 3) (33 . 6) (34 . 7)) 3496 0.2500 7.7352 ((31 . 19) (33 . 20) (34 . 22) (35 . 23)) 3533 0.2500 7.8525 ((26 . 3) (33 . 6) (34 . 7) (35 . 11)) 3537 0.3125 6.3257 ((26 . 2) (27 . 3) (28 . 7) (30 . 8) (31 . 9)) 3538 0.2500 6.9788 ((26 . 18) (30 . 22) (31 . 23) (34 . 25)) 3548 0.2500 8.4963 ((26 . 4) (28 . 8) (31 . 10) (33 . 11)) 3549 0.2500 7.1929 ((31 . 1) (33 . 4) (34 . 5) (35 . 8)) 3561 0.3125 7.1245 ((25 . 17) (28 . 22) (31 . 26) (33 . 27) (34 . 28)) 3570 0.3125 5.0364 ((26 . 1) (27 . 2) (28 . 4) (31 . 8) (34 . 10)) 3585 0.3125 7.4022 ((28 . 6) (30 . 7) (31 . 8) (34 . 14) (37 . 17)) 3613 0.2500 9.9881 ((27 . 39) (28 . 41) (30 . 42) (33 . 44)) 3628 0.4371 8.7398 ((6 . 5) (26 . 10) (27 . 11) (28 . 12) (30 . 13) (31 . 14) (32 . 15)) 3651 0.3749 8.2534 ((26 . 1) (27 . 2) (28 . 3) (32 . 6) (33 . 7) (35 . 13)) 3656 0.2265 10.6251 ((27 . 12) (33 . 20) (34 . 22) (35 . 23)) 3658 0.2500 6.4847 ((26 . 1) (30 . 2) (31 . 5) (33 . 14)) 3659 0.2500 7.8791 ((31 . 7) (34 . 12) (35 . 13) (37 . 14)) 3661 0.2500 6.7287 ((31 . 7) (32 . 9) (33 . 10) (34 . 11)) 3663 0.2500 10.4403 ((31 . 1) (33 . 4) (34 . 5) (37 . 7)) 3688 0.2500 9.2086 ((1 . 11) (26 . 37) (28 . 38) (31 . 40)) 3697 0.2500 9.2173 ((33 . 5) (34 . 6) (35 . 7) (37 . 8)) 3703 0.2266 9.6569 ((26 . 1) (28 . 4) (30 . 5) (37 . 12)) 3732 0.2573 4.7439 ((25 . 4) (26 . 5) (28 . 7) (30 . 8) (31 . 9)) 3733 0.3125 4.3927 ((26 . 1) (27 . 2) (28 . 3) (30 . 7) (31 . 8)) 3740 0.2500 6.1633 ((26 . 2) (28 . 4) (31 . 6) (34 . 9)) 3741 0.2500 7.6727 ((26 . 21) (31 . 25) (34 . 32) (35 . 35)) 3776 0.3125 3.8864 ((26 . 15) (27 . 16) (28 . 17) (31 . 21) (34 . 24)) 3778 0.2500 5.1050 ((26 . 3) (31 . 7) (34 . 12) (35 . 13)) 3787 0.5623 5.4941 ((6 . 5) (25 . 6) (26 . 7) (27 . 8) (30 . 11) (31 . 12) (33 . 14) (34 . 15) (37 . 16)) 3790 0.3125 8.0621 ((26 . 15) (27 . 17) (28 . 18) (31 . 21) (35 . 27)) 3807 0.2500 4.6740 ((28 . 43) (31 . 47) (33 . 49) (34 . 50)) 3817 0.3124 9.5165 ((26 . 5) (27 . 6) (28 . 7) (30 . 8) (33 . 13)) 3818 0.3124 9.8125 ((26 . 20) (27 . 21) (28 . 23) (30 . 24) (33 . 27)) 3829 0.1835 11.9806 ((1 . 2) (3 . 4) (4 . 5) (5 . 6)) 3831 0.2500 4.7188 ((26 . 2) (31 . 6) (33 . 7) (34 . 9)) 3847 0.2500 9.6427 ((30 . 10) (33 . 15) (34 . 16) (35 . 17)) 3853 0.3750 6.2354 ((26 . 3) (28 . 6) (30 . 7) (31 . 8) (33 . 9) (34 . 12)) 3856 0.2500 6.7388 ((31 . 3) (33 . 4) (34 . 7) (35 . 10)) 3870 0.3750 4.9912 ((28 . 5) (30 . 7) (31 . 8) (33 . 9) (34 . 10) (37 . 14)) 3933 0.2500 7.8435 ((26 . 3) (27 . 4) (28 . 7) (34 . 17)) 3938 0.2500 8.0893 ((33 . 1) (34 . 2) (35 . 4) (37 . 5)) 3942 0.1593 11.9785 ((1 . 3) (3 . 6) (4 . 9) (5 . 8)) 3968 0.3125 5.4481 ((26 . 3) (27 . 4) (28 . 5) (30 . 10) (31 . 11)) 3986 0.1835 13.8431 ((26 . 13) (27 . 16) (30 . 19) (34 . 26)) 3990 0.2500 4.6901 ((28 . 16) (30 . 19) (31 . 20) (33 . 21)) 4005 0.2500 7.4678 ((4 . 1) (26 . 33) (28 . 38) (31 . 41)) 4009 0.2500 5.4837 ((28 . 15) (30 . 18) (31 . 19) (33 . 20)) 4019 0.3125 5.8769 ((26 . 35) (28 . 39) (31 . 43) (34 . 46) (35 . 47)) 4030 0.2500 7.2370 ((30 . 13) (32 . 14) (33 . 15) (37 . 19)) 4034 0.2500 5.2999 ((28 . 6) (30 . 7) (31 . 9) (34 . 12)) 4037 0.2500 10.5529 ((26 . 1) (28 . 2) (30 . 4) (33 . 6)) 4062 0.1835 12.9501 ((25 . 45) (27 . 47) (28 . 50) (32 . 53)) 4067 0.3750 5.3282 ((26 . 14) (27 . 15) (28 . 16) (31 . 20) (33 . 23) (34 . 24)) 4077 0.2498 14.6408 ((25 . 4) (30 . 7) (33 . 9) (37 . 14)) 4082 0.2499 11.0454 ((28 . 5) (31 . 7) (33 . 9) (34 . 10)) 4087 0.2500 8.0743 ((26 . 1) (27 . 2) (28 . 3) (31 . 6)) 4115 0.3124 9.0221 ((26 . 13) (27 . 14) (30 . 16) (31 . 17) (33 . 21)) 4134 0.2264 16.3051 ((25 . 23) (27 . 24) (30 . 26) (37 . 33)) 4151 0.3749 7.7503 ((26 . 9) (27 . 11) (28 . 12) (31 . 15) (33 . 16) (34 . 17)) 4177 0.2500 9.3973 ((25 . 4) (27 . 6) (28 . 7) (31 . 9)) 4190 0.2500 9.7294 ((26 . 1) (27 . 2) (30 . 7) (31 . 8)) 4192 0.2500 4.9245 ((26 . 10) (28 . 13) (30 . 14) (31 . 15)) 4194 0.3749 7.4853 ((26 . 1) (27 . 2) (28 . 3) (30 . 4) (31 . 5) (33 . 8)) 4195 0.2265 12.7552 ((6 . 2) (25 . 13) (28 . 15) (30 . 19)) 4204 0.3750 5.7107 ((26 . 3) (27 . 4) (28 . 5) (31 . 9) (33 . 10) (35 . 15)) 4210 0.2500 5.0911 ((28 . 6) (30 . 7) (31 . 8) (33 . 9)) 4216 0.2499 11.1250 ((30 . 9) (32 . 10) (33 . 13) (37 . 16)) 4226 0.3125 7.6686 ((25 . 3) (26 . 4) (27 . 5) (28 . 6) (33 . 13)) 4232 0.2265 12.7042 ((28 . 2) (31 . 5) (33 . 7) (34 . 8)) 4254 0.2500 5.4103 ((27 . 2) (28 . 4) (30 . 7) (31 . 8)) 4255 0.2499 10.8435 ((26 . 21) (27 . 22) (28 . 24) (30 . 25)) 4257 0.2500 3.7839 ((28 . 1) (30 . 2) (31 . 3) (34 . 7)) 4265 0.3125 7.6710 ((26 . 21) (27 . 22) (28 . 23) (31 . 26) (33 . 30)) 4266 0.3125 4.7581 ((28 . 2) (30 . 3) (31 . 4) (33 . 5) (34 . 6)) 4274 0.2500 5.1328 ((25 . 37) (26 . 38) (27 . 39) (28 . 40)) 4275 0.2500 8.2654 ((31 . 21) (33 . 24) (34 . 25) (37 . 29)) 4281 0.3618 8.6078 ((1 . 5) (25 . 6) (26 . 8) (27 . 9) (28 . 10) (30 . 16)) 4284 0.2500 8.0137 ((26 . 4) (28 . 6) (30 . 7) (31 . 10)) 4299 0.3750 5.1632 ((26 . 6) (28 . 9) (30 . 10) (31 . 11) (33 . 13) (34 . 14)) 4301 0.0994 12.3198 ((26 . 1) (28 . 3) (31 . 6) (34 . 10)) 4326 0.3750 6.2266 ((25 . 6) (26 . 7) (27 . 8) (28 . 10) (31 . 15) (33 . 16)) 4332 0.2500 5.8319 ((30 . 1) (31 . 4) (33 . 5) (34 . 6)) 4338 0.3125 5.7071 ((26 . 4) (27 . 5) (28 . 6) (31 . 8) (34 . 11)) 4352 0.2499 11.4391 ((27 . 2) (30 . 4) (33 . 7) (37 . 14)) 4359 0.2500 4.4293 ((28 . 10) (31 . 13) (34 . 17) (35 . 20)) 4380 0.2500 6.7767 ((25 . 28) (26 . 29) (28 . 31) (31 . 36)) 4383 0.2500 7.1313 ((26 . 14) (28 . 16) (31 . 18) (34 . 22)) 4386 0.2500 5.4788 ((30 . 15) (31 . 16) (33 . 17) (35 . 21)) 4388 0.2500 5.5109 ((26 . 1) (28 . 3) (30 . 4) (31 . 5)) 4398 0.3125 4.4679 ((26 . 4) (27 . 5) (28 . 6) (30 . 9) (31 . 10)) 4405 0.3125 7.7202 ((25 . 13) (26 . 14) (27 . 17) (28 . 18) (34 . 25)) 4408 0.2500 5.0598 ((26 . 4) (27 . 5) (28 . 6) (34 . 14)) 4415 0.3125 4.6668 ((28 . 4) (30 . 5) (31 . 9) (33 . 10) (34 . 11)) 4419 0.2499 12.2821 ((27 . 1) (28 . 3) (30 . 5) (31 . 7)) 4426 0.3125 6.0151 ((1 . 2) (30 . 3) (31 . 4) (33 . 5) (34 . 6)) 4470 0.4372 8.0125 ((1 . 1) (25 . 4) (26 . 5) (30 . 6) (31 . 8) (33 . 11) (37 . 13)) 4491 0.2500 6.6767 ((30 . 4) (31 . 6) (33 . 7) (34 . 8)) 4492 0.4375 5.0234 ((26 . 11) (27 . 12) (28 . 13) (31 . 18) (33 . 19) (34 . 21) (35 . 26)) 4495 0.3125 6.5442 ((27 . 12) (30 . 15) (31 . 16) (34 . 18) (37 . 20)) 4497 0.2500 7.4637 ((26 . 18) (27 . 20) (31 . 24) (35 . 30)) 4502 0.3125 4.1443 ((26 . 6) (27 . 7) (30 . 13) (31 . 14) (33 . 16)) 4503 0.2500 7.7691 ((31 . 1) (33 . 2) (34 . 5) (35 . 8)) 4504 0.3125 5.1053 ((25 . 5) (26 . 6) (30 . 12) (31 . 13) (37 . 23)) 4505 0.3125 3.4284 ((26 . 28) (27 . 29) (28 . 30) (30 . 33) (31 . 34)) 4516 0.4999 5.4226 ((1 . 16) (3 . 19) (4 . 22) (30 . 13) (31 . 14) (33 . 15) (34 . 18) (35 . 20)) 4538 0.2461 13.5181 ((1 . 32) (3 . 36) (4 . 34) (6 . 39)) 4551 0.3124 8.2854 ((26 . 4) (27 . 7) (28 . 8) (34 . 17) (35 . 18)) 4560 0.3125 5.1953 ((27 . 5) (28 . 6) (31 . 11) (33 . 12) (35 . 16)) 4561 0.3750 5.0778 ((26 . 1) (27 . 4) (28 . 5) (33 . 11) (34 . 12) (35 . 15)) 4562 0.2500 4.3396 ((26 . 25) (27 . 26) (28 . 27) (30 . 30)) 4563 1.0000 0.0000 ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (25 . 25) (26 . 26) (27 . 27) (28 . 28) (30 . 30) (31 . 31) (32 . 32) (33 . 33) (34 . 34) (35 . 35) (37 . 37)) 4577 0.2500 7.4754 ((1 . 34) (4 . 37) (25 . 59) (26 . 60)) 4579 0.2500 9.0731 ((27 . 13) (30 . 16) (32 . 21) (37 . 25)) 4588 0.2500 4.9167 ((31 . 1) (33 . 2) (34 . 3) (35 . 8)) 4589 0.2500 6.5861 ((31 . 23) (33 . 24) (34 . 27) (35 . 30)) 4607 0.2499 12.3538 ((25 . 5) (27 . 9) (30 . 13) (37 . 20)) 4621 0.2500 8.0520 ((31 . 4) (32 . 5) (34 . 9) (35 . 11)) 4630 0.3125 6.0431 ((26 . 11) (28 . 14) (31 . 17) (34 . 20) (35 . 24)) 4648 0.1835 6.9270 ((1 . 2) (3 . 3) (4 . 5) (5 . 7)) 4668 0.3750 4.7597 ((26 . 1) (27 . 2) (30 . 8) (31 . 9) (33 . 10) (34 . 11)) 4669 0.3750 4.9179 ((28 . 15) (30 . 18) (31 . 19) (33 . 20) (34 . 21) (37 . 23)) 4671 0.2500 4.4609 ((28 . 2) (30 . 3) (31 . 4) (34 . 7)) 4674 0.2500 10.6303 ((30 . 3) (33 . 5) (34 . 8) (35 . 9)) 4678 0.2500 7.9933 ((25 . 1) (32 . 8) (33 . 9) (35 . 12)) 4699 0.2500 9.4243 ((30 . 8) (32 . 9) (33 . 10) (37 . 13)) 4713 0.2266 9.3498 ((25 . 1) (26 . 4) (28 . 6) (33 . 11)) 4715 0.2500 8.1555 ((27 . 1) (30 . 4) (33 . 7) (37 . 14)) 4731 0.2500 5.9982 ((25 . 16) (26 . 18) (30 . 20) (31 . 22)) 4764 0.2265 12.9722 ((25 . 2) (27 . 3) (30 . 6) (33 . 8)) 4783 0.2499 12.9098 ((27 . 6) (30 . 7) (33 . 8) (37 . 12)) 4817 0.2500 9.1732 ((27 . 7) (30 . 9) (32 . 11) (33 . 13)) 4857 0.3125 6.5785 ((28 . 3) (30 . 4) (31 . 5) (34 . 11) (37 . 14)) 4886 0.8098 2.7178 ((1 . 1) (3 . 3) (4 . 4) (6 . 6) (25 . 8) (26 . 9) (28 . 11) (30 . 18) (31 . 19) (33 . 20) (34 . 22) (35 . 24) (37 . 27)) 4888 0.2500 6.0210 ((31 . 9) (32 . 10) (33 . 11) (35 . 15)) 4889 0.2500 6.8800 ((28 . 11) (30 . 13) (32 . 18) (37 . 23)) 4914 0.2500 7.4716 ((31 . 1) (32 . 2) (34 . 5) (35 . 8)) 4921 0.2500 8.5486 ((31 . 7) (33 . 11) (34 . 12) (37 . 13)) 4929 0.2500 7.5999 ((26 . 28) (28 . 31) (31 . 33) (34 . 35)) 4932 0.3125 6.5277 ((26 . 1) (28 . 4) (31 . 6) (33 . 7) (34 . 8)) 4940 0.2500 5.7475 ((26 . 2) (28 . 3) (30 . 5) (31 . 8)) 4944 0.2500 6.0808 ((26 . 11) (27 . 12) (31 . 16) (32 . 17)) 4961 0.3125 7.9003 ((25 . 4) (26 . 7) (30 . 11) (31 . 14) (33 . 16)) 4963 0.2265 13.2818 ((27 . 2) (32 . 6) (33 . 7) (37 . 10)) 4978 0.3748 8.5695 ((1 . 18) (32 . 26) (33 . 27) (34 . 28) (35 . 30) (37 . 31)) 4982 0.3212 5.5576 ((1 . 9) (26 . 10) (27 . 11) (28 . 12) (30 . 13) (31 . 14) (33 . 15)) 4992 0.3125 5.9016 ((28 . 3) (30 . 4) (31 . 6) (33 . 7) (34 . 8)) 4998 0.3125 5.6716 ((26 . 1) (30 . 2) (31 . 3) (33 . 5) (34 . 6)) 5000 0.2500 9.3358 ((30 . 31) (32 . 32) (33 . 33) (37 . 36)) 5016 0.2499 11.8620 ((25 . 1) (30 . 5) (33 . 6) (37 . 10)) 5029 0.3070 7.5992 ((27 . 3) (28 . 4) (31 . 6) (33 . 9) (34 . 10)) 5036 0.2499 12.1965 ((26 . 2) (28 . 5) (31 . 8) (34 . 10)) 5039 0.4373 7.7462 ((6 . 36) (26 . 37) (27 . 38) (28 . 39) (30 . 40) (31 . 41) (33 . 43)) 5044 0.1308 7.9003 ((4 . 1) (28 . 31) (30 . 32) (31 . 33)) 5046 0.2500 6.7096 ((28 . 1) (31 . 4) (34 . 8) (35 . 10)) 5053 0.2500 6.7016 ((26 . 5) (30 . 8) (31 . 9) (37 . 17)) 5065 0.2500 6.9999 ((25 . 6) (26 . 9) (28 . 11) (30 . 12)) 5068 0.3125 6.9395 ((25 . 3) (26 . 4) (28 . 7) (31 . 10) (37 . 19)) 5069 0.2887 5.5616 ((26 . 2) (27 . 3) (31 . 9) (33 . 14) (34 . 15)) 5073 0.3750 5.6417 ((28 . 34) (30 . 35) (31 . 36) (33 . 38) (34 . 39) (37 . 43)) 5080 0.2500 10.2805 ((27 . 1) (28 . 3) (32 . 6) (33 . 8)) 5083 0.2481 12.0439 ((1 . 1) (3 . 3) (4 . 2) (5 . 4)) 5092 0.2499 12.1485 ((30 . 4) (32 . 5) (33 . 7) (37 . 10)) 5101 0.3750 5.1225 ((26 . 1) (27 . 2) (28 . 3) (31 . 7) (33 . 8) (34 . 10)) 5103 0.3125 7.0413 ((26 . 2) (27 . 3) (28 . 4) (31 . 9) (33 . 11)) 5121 0.3123 11.8841 ((32 . 13) (33 . 14) (34 . 16) (35 . 18) (37 . 22)) 5132 0.3750 5.1258 ((25 . 17) (26 . 18) (28 . 20) (30 . 21) (31 . 22) (34 . 26)) 5134 0.2500 5.7800 ((28 . 10) (30 . 11) (34 . 17) (35 . 19)) 5145 0.2500 4.9335 ((3 . 2) (4 . 3) (5 . 4) (6 . 7)) 5167 0.3125 5.4593 ((26 . 3) (30 . 7) (31 . 9) (33 . 10) (34 . 12)) 5183 0.2500 9.6715 ((28 . 36) (31 . 38) (32 . 39) (33 . 41)) 5192 0.3125 6.5975 ((26 . 1) (27 . 2) (28 . 5) (30 . 6) (32 . 7)) 5198 0.2500 6.0171 ((28 . 21) (31 . 24) (33 . 25) (34 . 26)) 5199 0.2500 7.5374 ((25 . 1) (31 . 7) (34 . 9) (35 . 10)) 5209 0.2500 7.7992 ((31 . 4) (33 . 6) (34 . 8) (35 . 10)) 5212 0.2499 11.9253 ((30 . 17) (33 . 20) (34 . 21) (35 . 24)) 5215 0.2500 5.9349 ((25 . 8) (26 . 9) (28 . 11) (30 . 14)) 5223 0.3125 4.5136 ((28 . 15) (30 . 16) (31 . 17) (32 . 18) (33 . 19)) 5231 0.2500 5.4381 ((26 . 8) (28 . 13) (31 . 16) (32 . 17)) 5266 0.4375 4.5583 ((26 . 2) (27 . 3) (28 . 4) (31 . 8) (33 . 9) (34 . 10) (35 . 15)) 5278 0.2500 9.2912 ((25 . 3) (28 . 5) (31 . 9) (34 . 12)) 5307 0.3749 7.7743 ((26 . 51) (27 . 52) (28 . 53) (30 . 54) (31 . 55) (33 . 59)) 5318 0.2500 5.1989 ((1 . 8) (3 . 10) (4 . 11) (5 . 12)) 5323 0.2500 10.5255 ((27 . 15) (30 . 17) (32 . 18) (33 . 19)) 5324 0.3125 4.6565 ((28 . 7) (30 . 11) (31 . 12) (34 . 15) (35 . 16)) 5344 0.2500 5.5655 ((26 . 1) (28 . 3) (31 . 7) (34 . 9)) 5345 0.2500 5.2020 ((28 . 2) (31 . 7) (34 . 12) (35 . 15)) 5368 0.3124 9.8246 ((26 . 28) (28 . 30) (31 . 35) (34 . 39) (35 . 41)) 5378 0.2500 5.0068 ((28 . 4) (30 . 5) (31 . 7) (35 . 15)) 5411 0.3122 12.9990 ((25 . 1) (27 . 2) (28 . 3) (30 . 5) (31 . 6)) 5418 0.2500 9.9137 ((26 . 1) (30 . 4) (31 . 7) (33 . 10)) 5433 0.1835 8.7680 ((26 . 4) (28 . 7) (34 . 18) (37 . 25)) 5442 0.2500 10.0673 ((27 . 32) (30 . 33) (32 . 35) (37 . 40)) 5479 0.2500 6.7361 ((28 . 54) (31 . 59) (34 . 63) (37 . 65)) 5487 0.3125 5.1025 ((25 . 3) (26 . 4) (27 . 5) (28 . 7) (30 . 8)) 5489 0.2500 8.6910 ((28 . 1) (31 . 2) (34 . 6) (35 . 10)) 5500 0.2500 4.2579 ((26 . 1) (30 . 10) (31 . 12) (33 . 13)) 5501 0.2500 5.8796 ((28 . 16) (31 . 20) (32 . 21) (37 . 28)) 5525 0.2500 8.5000 ((30 . 1) (32 . 2) (33 . 3) (37 . 10)) 5535 0.2500 8.9152 ((27 . 1) (28 . 2) (30 . 5) (34 . 11)) 5540 0.2500 8.7290 ((28 . 1) (30 . 2) (31 . 4) (32 . 5)) 5557 0.2500 6.5106 ((28 . 4) (30 . 5) (31 . 6) (33 . 8)) 5560 0.3124 9.2533 ((26 . 13) (27 . 14) (28 . 15) (30 . 16) (31 . 17)) 5562 0.3749 8.3930 ((26 . 7) (27 . 9) (28 . 11) (31 . 14) (33 . 15) (34 . 17)) 5567 0.2500 5.1915 ((26 . 8) (28 . 11) (30 . 14) (31 . 17)) 5594 0.3750 4.5477 ((26 . 1) (27 . 2) (31 . 6) (33 . 7) (34 . 9) (37 . 13)) 5600 0.2500 6.6917 ((26 . 6) (27 . 7) (28 . 9) (30 . 12)) 5601 0.3125 6.5124 ((6 . 4) (25 . 11) (26 . 12) (28 . 15) (31 . 16)) 5638 0.2500 6.0171 ((26 . 9) (27 . 12) (28 . 13) (30 . 14)) 5640 0.2500 5.0193 ((28 . 21) (31 . 23) (34 . 27) (35 . 30)) 5644 0.2500 9.4923 ((26 . 3) (28 . 8) (31 . 10) (34 . 14)) 5656 0.3125 6.3778 ((28 . 14) (30 . 15) (31 . 16) (34 . 21) (37 . 25)) 5689 0.2500 5.9857 ((27 . 2) (32 . 7) (33 . 8) (37 . 12)) 5700 0.2500 7.9286 ((26 . 2) (31 . 6) (34 . 9) (35 . 11)) 5701 0.3125 6.1161 ((26 . 6) (28 . 8) (30 . 10) (31 . 11) (37 . 20)) 5702 0.2500 6.0726 ((27 . 2) (32 . 7) (33 . 8) (37 . 12)) 5703 0.2500 8.7101 ((26 . 1) (27 . 3) (31 . 6) (34 . 8)) 5704 0.2499 11.1940 ((25 . 5) (27 . 6) (32 . 9) (33 . 10)) 5711 0.2500 10.5419 ((26 . 33) (28 . 36) (31 . 42) (34 . 46)) 5713 0.3125 7.9203 ((26 . 10) (28 . 13) (31 . 18) (34 . 22) (35 . 25)) 5718 0.2500 7.0855 ((26 . 14) (28 . 17) (31 . 21) (32 . 22)) 5731 0.2266 8.6251 ((28 . 7) (30 . 8) (31 . 10) (34 . 15)) 5746 0.2500 5.8459 ((26 . 2) (33 . 12) (34 . 13) (35 . 14)) 5749 0.1835 9.7837 ((27 . 1) (30 . 2) (31 . 4) (34 . 6)) 5761 0.2500 6.6026 ((25 . 29) (28 . 32) (30 . 34) (31 . 36)) 5770 0.2500 8.0835 ((33 . 2) (34 . 6) (35 . 8) (37 . 10)) 5771 0.3125 5.4601 ((25 . 8) (26 . 9) (27 . 10) (31 . 17) (34 . 20)) 5782 0.3619 5.4996 ((28 . 15) (31 . 22) (33 . 23) (34 . 24) (35 . 29) (37 . 31)) 5794 0.2102 9.6697 ((1 . 16) (3 . 17) (4 . 19) (6 . 22)) 5795 0.3125 6.6420 ((28 . 10) (30 . 12) (31 . 13) (33 . 15) (34 . 16)) 5809 0.3125 5.8264 ((27 . 6) (30 . 10) (31 . 12) (34 . 14) (35 . 15)) 5822 0.2500 7.2729 ((27 . 5) (28 . 6) (32 . 10) (33 . 11)) 5827 0.2500 6.3807 ((28 . 3) (30 . 6) (33 . 10) (35 . 14)) 5830 0.2500 5.0699 ((31 . 3) (32 . 5) (34 . 8) (35 . 10)) 5847 0.2500 9.8157 ((26 . 3) (28 . 7) (31 . 11) (35 . 18)) 5861 0.2500 5.3411 ((26 . 1) (31 . 6) (34 . 11) (35 . 15)) 5865 0.2500 5.4094 ((28 . 1) (31 . 5) (33 . 6) (34 . 7)) 5878 0.2266 8.4593 ((27 . 13) (32 . 22) (33 . 24) (34 . 25)) 5888 0.3125 7.8272 ((26 . 11) (28 . 13) (31 . 17) (34 . 21) (35 . 24)) 5896 0.2500 9.7045 ((33 . 27) (34 . 28) (35 . 29) (37 . 30)) 5904 0.3125 8.0902 ((26 . 1) (30 . 3) (31 . 4) (34 . 7) (37 . 10)) 5913 0.3125 5.4383 ((25 . 4) (26 . 5) (31 . 13) (33 . 14) (34 . 15)) 5922 0.2500 8.1784 ((28 . 1) (31 . 6) (34 . 9) (35 . 10)) 5930 0.2500 5.1572 ((25 . 3) (26 . 4) (28 . 7) (31 . 11)) 5939 0.3125 5.5965 ((26 . 2) (28 . 4) (30 . 5) (31 . 6) (37 . 15)) 5945 0.3125 4.1182 ((26 . 23) (30 . 27) (31 . 28) (34 . 32) (35 . 33)) 5949 0.3125 4.8548 ((26 . 1) (27 . 2) (28 . 4) (30 . 8) (34 . 12)) 5955 0.3750 4.6342 ((26 . 1) (27 . 2) (30 . 6) (31 . 7) (33 . 8) (34 . 9)) 5967 0.3125 7.7486 ((1 . 1) (30 . 2) (31 . 3) (33 . 6) (34 . 7)) 5972 0.2500 9.1809 ((25 . 5) (26 . 6) (27 . 8) (28 . 7)) 5977 0.3124 8.4913 ((26 . 1) (27 . 2) (28 . 3) (30 . 4) (31 . 5)) 6000 0.2500 5.7658 ((25 . 18) (33 . 27) (34 . 28) (37 . 32)) 6011 0.2500 6.4446 ((26 . 4) (28 . 8) (31 . 10) (34 . 15)) 6028 0.1835 9.6928 ((28 . 1) (30 . 4) (33 . 8) (34 . 9)) 6029 0.2500 6.1640 ((25 . 28) (28 . 31) (31 . 35) (33 . 36)) 6033 0.2500 8.4322 ((27 . 4) (30 . 5) (32 . 7) (33 . 9)) 6041 0.2500 8.6681 ((26 . 2) (33 . 6) (34 . 10) (35 . 11)) 6046 0.2500 8.2568 ((33 . 1) (34 . 5) (35 . 6) (37 . 7)) 6061 0.3125 4.3639 ((26 . 13) (30 . 16) (31 . 17) (33 . 18) (34 . 20)) 6074 0.3750 4.9464 ((25 . 1) (28 . 6) (30 . 7) (31 . 8) (33 . 10) (34 . 11)) 6075 0.3125 6.1348 ((25 . 16) (26 . 17) (28 . 20) (31 . 24) (34 . 28)) 6079 0.2500 5.0003 ((31 . 1) (33 . 2) (34 . 6) (35 . 7)) 6087 0.2500 5.0037 ((26 . 3) (31 . 8) (33 . 9) (34 . 10)) 6089 0.3125 7.1572 ((28 . 1) (30 . 4) (31 . 5) (33 . 6) (34 . 11)) 6094 0.2500 8.3922 ((31 . 3) (33 . 6) (34 . 7) (35 . 10)) 6099 0.2500 5.3088 ((26 . 24) (28 . 26) (31 . 29) (34 . 31)) 6142 0.2500 4.7077 ((26 . 6) (28 . 8) (31 . 10) (34 . 14)) 6167 0.2500 5.9206 ((28 . 1) (31 . 4) (34 . 10) (35 . 14)) 6169 0.2500 10.5875 ((25 . 8) (27 . 9) (30 . 11) (33 . 12)) 6173 0.3125 7.2849 ((26 . 3) (28 . 5) (31 . 8) (34 . 13) (35 . 15)) 6191 0.2500 9.2879 ((25 . 1) (30 . 5) (34 . 12) (35 . 13)) 6192 0.2500 6.8076 ((26 . 1) (27 . 2) (28 . 3) (37 . 15)) 6225 0.2500 8.4710 ((26 . 5) (30 . 9) (31 . 10) (33 . 11)) 6228 0.3125 4.1645 ((26 . 1) (27 . 2) (28 . 3) (31 . 7) (34 . 9)) 6238 0.2500 9.6876 ((30 . 2) (33 . 6) (34 . 8) (35 . 9)) 6243 0.2500 6.2622 ((25 . 7) (26 . 8) (27 . 9) (28 . 10)) 6251 0.3125 6.7496 ((26 . 10) (27 . 11) (30 . 14) (31 . 17) (33 . 18)) 6258 0.3498 10.9263 ((25 . 5) (26 . 7) (27 . 8) (28 . 10) (31 . 12) (33 . 14)) 6261 0.4375 4.4009 ((26 . 1) (27 . 2) (28 . 3) (30 . 7) (31 . 9) (33 . 10) (34 . 11)) 6266 0.3125 7.2322 ((25 . 2) (26 . 3) (27 . 4) (31 . 8) (33 . 9)) 6270 0.2500 8.6655 ((28 . 9) (33 . 16) (34 . 17) (35 . 18)) 6271 0.2500 8.0203 ((30 . 6) (31 . 8) (35 . 12) (37 . 14)) 6273 0.2753 8.3677 ((26 . 1) (28 . 2) (31 . 4) (33 . 5) (34 . 7) (35 . 13)) 6294 0.3125 7.4916 ((30 . 10) (31 . 11) (33 . 12) (34 . 14) (37 . 19)) 6306 0.2500 9.7888 ((26 . 15) (28 . 17) (31 . 21) (33 . 23)) 6309 0.3124 8.8823 ((30 . 16) (31 . 17) (33 . 19) (34 . 20) (35 . 25)) 6311 0.2500 7.9988 ((26 . 1) (31 . 9) (34 . 13) (35 . 14)) 6329 0.2499 13.4047 ((25 . 6) (27 . 7) (30 . 9) (33 . 12)) 6344 0.3125 7.4853 ((26 . 8) (27 . 10) (31 . 13) (33 . 16) (34 . 19)) 6345 0.3124 10.0505 ((28 . 5) (32 . 8) (33 . 9) (34 . 11) (35 . 13)) 6348 0.2887 8.8068 ((26 . 1) (27 . 3) (28 . 4) (30 . 6) (33 . 10)) 6355 0.2500 8.7034 ((30 . 5) (31 . 6) (34 . 10) (37 . 13)) 6356 0.3125 4.6529 ((26 . 1) (28 . 4) (31 . 9) (33 . 10) (34 . 11)) 6359 0.2500 9.5847 ((30 . 3) (32 . 4) (33 . 5) (37 . 8)) 6369 0.3125 5.3449 ((28 . 22) (30 . 25) (31 . 26) (33 . 28) (34 . 29)) 6376 0.3125 6.4328 ((25 . 16) (27 . 18) (28 . 19) (31 . 24) (34 . 28)) 6391 0.2500 5.3915 ((26 . 6) (27 . 7) (28 . 10) (32 . 11)) 6392 0.3125 5.3009 ((26 . 3) (28 . 7) (30 . 8) (31 . 9) (37 . 16)) 6399 0.2500 5.3960 ((26 . 1) (28 . 4) (34 . 11) (35 . 14)) 6403 0.2500 5.6052 ((26 . 5) (27 . 6) (28 . 7) (34 . 15)) 6434 0.2500 2.8534 ((31 . 2) (34 . 4) (35 . 5) (37 . 7)) 6462 0.3750 4.0118 ((26 . 12) (28 . 16) (30 . 17) (31 . 18) (33 . 19) (34 . 20)) 6498 0.2500 4.3197 ((1 . 10) (25 . 36) (26 . 40) (28 . 42)) 6506 0.2500 10.3147 ((25 . 21) (30 . 24) (32 . 25) (33 . 27)) 6520 0.2500 7.0969 ((26 . 3) (28 . 8) (33 . 12) (34 . 14)) 6536 0.2499 13.3966 ((25 . 25) (30 . 28) (33 . 30) (37 . 34)) 6539 0.2500 4.0391 ((26 . 5) (27 . 7) (28 . 8) (30 . 9)) 6540 0.2500 10.4594 ((25 . 4) (26 . 6) (31 . 9) (34 . 12)) 6548 0.2500 4.1658 ((30 . 6) (31 . 7) (34 . 12) (37 . 15)) 6553 0.3750 6.0711 ((26 . 11) (27 . 12) (28 . 13) (31 . 17) (34 . 20) (37 . 27)) 6555 0.2500 7.4369 ((25 . 12) (28 . 15) (31 . 20) (35 . 26)) 6561 0.2500 4.6336 ((28 . 9) (31 . 12) (34 . 13) (35 . 15)) 6573 0.2500 3.0296 ((26 . 17) (27 . 18) (28 . 19) (31 . 25)) 6575 0.2500 9.3401 ((28 . 1) (31 . 5) (32 . 6) (33 . 7)) 6578 0.2500 7.9240 ((33 . 33) (34 . 34) (35 . 37) (37 . 39)) 6584 0.2500 6.7540 ((33 . 1) (34 . 2) (35 . 3) (37 . 4)) 6585 0.3125 5.9195 ((26 . 6) (27 . 7) (28 . 8) (30 . 9) (32 . 12)) 6586 0.3124 8.8448 ((30 . 17) (31 . 18) (33 . 23) (34 . 24) (35 . 25)) 6587 0.3124 9.4757 ((30 . 27) (31 . 29) (33 . 30) (34 . 31) (35 . 34)) 6598 0.2500 3.8658 ((27 . 12) (28 . 13) (31 . 17) (34 . 22)) 6605 0.2500 10.2364 ((30 . 1) (32 . 3) (33 . 4) (37 . 7)) 6613 0.3125 5.2492 ((30 . 23) (31 . 24) (33 . 25) (34 . 27) (35 . 28)) 6635 0.2500 8.1147 ((25 . 3) (26 . 4) (30 . 9) (32 . 10)) END