6306 25 0.1658 16.0839 ((17 . 6) (18 . 9) (21 . 11) (23 . 13)) 51 0.4443 6.7084 ((15 . 7) (17 . 10) (20 . 13) (21 . 14)) 62 0.4443 6.3932 ((17 . 13) (18 . 15) (19 . 16) (21 . 17)) 64 0.4444 5.5388 ((15 . 9) (17 . 10) (20 . 13) (21 . 14)) 77 0.4443 6.5079 ((15 . 8) (18 . 12) (19 . 13) (21 . 15)) 96 0.4440 8.8010 ((15 . 3) (16 . 5) (17 . 6) (18 . 7)) 129 0.4444 5.0684 ((15 . 5) (16 . 8) (17 . 10) (19 . 12)) 136 0.4442 7.6281 ((18 . 4) (19 . 5) (21 . 7) (23 . 9)) 150 0.3525 7.8128 ((16 . 19) (17 . 20) (18 . 21) (19 . 23)) 153 0.4442 7.9285 ((15 . 6) (16 . 7) (19 . 9) (21 . 10)) 157 0.4427 12.8144 ((17 . 14) (18 . 15) (19 . 18) (21 . 20)) 161 0.3525 8.1373 ((16 . 2) (17 . 4) (19 . 6) (21 . 9)) 162 0.4443 6.6248 ((15 . 12) (18 . 16) (19 . 17) (21 . 18)) 169 0.4441 8.6188 ((15 . 5) (17 . 7) (19 . 9) (21 . 10)) 177 0.4433 11.5090 ((15 . 1) (16 . 2) (19 . 5) (22 . 8)) 191 0.4442 7.6359 ((15 . 4) (19 . 6) (21 . 7) (22 . 9)) 198 0.4442 7.4271 ((15 . 9) (16 . 10) (17 . 13) (20 . 17)) 233 0.4443 6.5628 ((15 . 1) (16 . 2) (19 . 7) (21 . 8)) 300 0.4443 6.5948 ((18 . 5) (19 . 7) (21 . 9) (23 . 11)) 305 0.5540 9.3749 ((15 . 16) (16 . 18) (18 . 20) (19 . 21) (21 . 22)) 307 0.4442 8.0639 ((15 . 1) (21 . 7) (22 . 9) (23 . 10)) 315 0.4160 7.7923 ((15 . 5) (18 . 7) (19 . 9) (20 . 10)) 340 0.4443 6.5046 ((16 . 1) (19 . 4) (21 . 7) (22 . 9)) 350 0.4441 8.7397 ((17 . 13) (18 . 14) (20 . 17) (21 . 18)) 360 0.4443 7.0479 ((16 . 3) (19 . 6) (21 . 7) (22 . 9)) 365 0.4438 9.9490 ((19 . 2) (21 . 3) (22 . 6) (23 . 7)) 367 0.4442 7.7121 ((15 . 42) (16 . 43) (17 . 44) (21 . 48)) 372 0.3932 10.8400 ((15 . 1) (16 . 2) (17 . 3) (19 . 7)) 387 0.4432 11.7188 ((15 . 8) (16 . 9) (17 . 11) (22 . 15)) 405 0.4442 7.7186 ((15 . 32) (16 . 33) (20 . 39) (21 . 40)) 417 0.2862 5.8389 ((16 . 1) (19 . 3) (20 . 5) (22 . 7)) 420 0.4442 7.5665 ((15 . 4) (16 . 5) (20 . 10) (21 . 12)) 433 0.4443 6.8387 ((15 . 6) (18 . 8) (19 . 9) (21 . 10)) 442 0.4433 11.4129 ((17 . 12) (18 . 13) (20 . 14) (23 . 18)) 460 0.3525 8.4520 ((15 . 2) (16 . 3) (17 . 6) (20 . 8)) 491 0.1980 11.2666 ((15 . 1) (19 . 6) (21 . 8) (22 . 9)) 541 0.4443 7.3442 ((17 . 11) (18 . 13) (19 . 17) (23 . 22)) 543 0.4443 6.5980 ((15 . 5) (16 . 6) (18 . 9) (22 . 15)) 561 0.4444 3.8021 ((15 . 1) (17 . 4) (18 . 5) (19 . 6)) 584 0.4443 6.5040 ((15 . 4) (16 . 5) (21 . 10) (23 . 12)) 587 0.4444 5.0418 ((17 . 4) (19 . 7) (20 . 8) (21 . 9)) 609 0.2862 5.9526 ((15 . 3) (17 . 6) (18 . 7) (19 . 8)) 619 0.4443 6.9951 ((17 . 15) (18 . 17) (19 . 18) (21 . 20)) 624 0.4444 5.3080 ((17 . 5) (18 . 6) (19 . 7) (23 . 12)) 635 0.4436 10.6686 ((18 . 12) (20 . 13) (21 . 14) (23 . 17)) 672 0.4443 6.5456 ((16 . 18) (19 . 23) (21 . 24) (22 . 26)) 683 0.3933 10.0613 ((15 . 2) (16 . 3) (17 . 5) (19 . 6)) 719 0.4442 7.4932 ((15 . 25) (16 . 27) (18 . 29) (19 . 30)) 729 0.4444 5.8221 ((17 . 5) (18 . 6) (19 . 7) (23 . 14)) 735 0.4434 11.2185 ((15 . 29) (16 . 31) (20 . 37) (21 . 39)) 740 0.3936 7.7752 ((17 . 2) (19 . 4) (21 . 6) (22 . 9)) 765 0.3524 10.0924 ((15 . 7) (16 . 8) (21 . 19) (22 . 20)) 767 0.4439 9.5109 ((17 . 26) (18 . 27) (20 . 31) (21 . 32)) 795 0.4443 6.8046 ((16 . 1) (17 . 3) (20 . 5) (21 . 6)) 801 0.2861 9.4944 ((15 . 1) (16 . 2) (19 . 6) (21 . 7)) 812 0.4443 6.6847 ((16 . 8) (17 . 9) (18 . 10) (19 . 11)) 818 0.4441 8.6845 ((17 . 8) (18 . 9) (19 . 10) (20 . 12)) 819 0.3936 7.2258 ((17 . 5) (21 . 8) (22 . 10) (23 . 11)) 824 0.4438 9.8042 ((16 . 43) (19 . 46) (21 . 49) (22 . 51)) 834 0.2441 10.8355 ((16 . 32) (17 . 33) (18 . 34) (23 . 40)) 901 0.4443 6.4236 ((16 . 12) (18 . 14) (19 . 15) (23 . 19)) 904 0.3936 7.4536 ((16 . 3) (18 . 5) (19 . 6) (21 . 7)) 913 0.2441 8.7826 ((18 . 15) (19 . 16) (21 . 17) (22 . 20)) 928 0.4432 11.8465 ((16 . 16) (17 . 18) (18 . 19) (21 . 21)) 937 0.4444 5.6078 ((17 . 1) (18 . 3) (19 . 4) (21 . 5)) 943 0.4443 6.6580 ((16 . 9) (18 . 13) (19 . 12) (21 . 15)) 945 0.2862 5.5440 ((15 . 14) (17 . 17) (18 . 18) (19 . 19)) 949 0.4444 5.4437 ((15 . 27) (17 . 32) (18 . 33) (23 . 37)) 960 0.4442 7.4164 ((17 . 9) (18 . 11) (19 . 12) (23 . 20)) 978 0.4435 10.8047 ((15 . 10) (18 . 12) (19 . 13) (23 . 18)) 980 0.3525 7.9591 ((15 . 1) (17 . 3) (18 . 4) (22 . 9)) 1007 0.4444 5.9804 ((15 . 7) (17 . 8) (19 . 12) (21 . 13)) 1008 0.2861 9.5724 ((15 . 5) (16 . 8) (19 . 13) (22 . 16)) 1034 0.4417 14.3386 ((15 . 21) (17 . 22) (18 . 23) (23 . 27)) 1043 0.4441 8.7042 ((17 . 10) (18 . 11) (20 . 12) (21 . 14)) 1082 0.4442 7.6057 ((17 . 9) (18 . 11) (19 . 12) (23 . 17)) 1084 0.4441 8.1969 ((18 . 15) (21 . 17) (22 . 18) (23 . 21)) 1121 0.3526 6.8997 ((18 . 1) (19 . 2) (21 . 3) (22 . 6)) 1165 0.4443 7.1533 ((17 . 4) (18 . 5) (19 . 7) (23 . 11)) 1167 0.4437 10.3835 ((15 . 21) (17 . 22) (18 . 24) (23 . 28)) 1169 0.4154 11.3629 ((17 . 29) (19 . 31) (21 . 34) (22 . 37)) 1195 0.4444 4.6894 ((18 . 1) (19 . 2) (21 . 4) (22 . 6)) 1201 0.4397 16.4531 ((17 . 11) (20 . 14) (21 . 15) (23 . 19)) 1204 0.3931 11.4498 ((17 . 20) (18 . 21) (19 . 22) (21 . 25)) 1211 0.4442 7.6142 ((15 . 5) (19 . 9) (22 . 14) (23 . 17)) 1217 0.4442 7.7016 ((15 . 5) (16 . 7) (19 . 11) (20 . 12)) 1224 0.4443 6.8805 ((15 . 5) (17 . 6) (20 . 9) (21 . 10)) 1233 0.4442 7.7510 ((15 . 11) (17 . 14) (19 . 17) (23 . 21)) 1267 0.4444 5.6038 ((16 . 31) (17 . 33) (18 . 34) (19 . 36)) 1268 0.3521 12.7106 ((19 . 22) (20 . 24) (21 . 25) (23 . 28)) 1294 0.4444 4.8200 ((15 . 41) (16 . 42) (17 . 43) (21 . 47)) 1366 0.4443 7.0376 ((17 . 12) (19 . 14) (21 . 15) (22 . 17)) 1388 0.5553 5.9105 ((16 . 1) (18 . 3) (19 . 4) (21 . 5) (22 . 8)) 1410 0.3525 8.5706 ((15 . 19) (16 . 21) (17 . 22) (21 . 26)) 1425 0.4439 9.4512 ((16 . 2) (19 . 6) (21 . 8) (22 . 11)) 1435 0.1495 10.6665 ((18 . 4) (19 . 3) (21 . 5) (23 . 9)) 1447 0.4444 5.8259 ((17 . 1) (18 . 2) (19 . 3) (23 . 6)) 1451 0.4443 6.9583 ((17 . 1) (18 . 2) (19 . 3) (22 . 6)) 1464 0.4440 8.8491 ((17 . 7) (18 . 9) (19 . 10) (21 . 13)) 1476 0.4440 8.9816 ((17 . 11) (19 . 14) (20 . 15) (23 . 19)) 1481 0.5552 6.3336 ((15 . 1) (16 . 2) (18 . 3) (19 . 4) (21 . 7)) 1501 0.4444 6.0461 ((15 . 2) (19 . 6) (20 . 7) (21 . 9)) 1508 0.2861 11.3268 ((18 . 1) (20 . 2) (22 . 5) (23 . 6)) 1513 0.4443 7.3311 ((17 . 3) (18 . 4) (19 . 5) (23 . 9)) 1514 0.4444 6.0683 ((18 . 2) (19 . 3) (21 . 4) (22 . 6)) 1577 0.1495 13.0079 ((15 . 4) (16 . 5) (21 . 10) (23 . 11)) 1591 0.4442 7.7806 ((17 . 4) (18 . 5) (19 . 6) (23 . 10)) 1604 0.4443 6.5859 ((17 . 3) (18 . 6) (19 . 7) (23 . 11)) 1622 0.4443 6.2577 ((17 . 20) (18 . 21) (19 . 22) (21 . 23)) 1624 0.4443 6.2593 ((15 . 4) (16 . 5) (17 . 7) (19 . 9)) 1643 0.5097 10.1135 ((15 . 34) (17 . 36) (19 . 38) (21 . 39) (22 . 41)) 1644 0.4443 6.9547 ((15 . 46) (16 . 47) (19 . 51) (21 . 52)) 1690 0.5551 6.8614 ((16 . 13) (17 . 16) (19 . 18) (21 . 20) (22 . 21)) 1692 0.4443 6.7729 ((15 . 6) (17 . 7) (19 . 8) (21 . 9)) 1731 0.4442 7.9532 ((17 . 6) (18 . 7) (20 . 8) (23 . 11)) 1738 0.4442 7.8391 ((19 . 14) (21 . 17) (22 . 18) (23 . 20)) 1747 0.4443 6.8001 ((17 . 7) (20 . 10) (21 . 11) (22 . 13)) 1756 0.4443 6.9626 ((15 . 21) (17 . 23) (19 . 27) (21 . 30)) 1759 0.4443 7.0967 ((17 . 2) (19 . 5) (21 . 6) (22 . 9)) 1761 0.4444 4.9923 ((17 . 16) (18 . 18) (19 . 19) (21 . 20)) 1763 0.2861 8.8004 ((16 . 7) (17 . 9) (19 . 10) (21 . 13)) 1776 0.4161 5.7333 ((16 . 7) (17 . 9) (18 . 10) (19 . 12)) 1777 0.4439 9.5267 ((16 . 43) (17 . 46) (19 . 50) (21 . 52)) 1778 0.4440 9.0976 ((15 . 2) (17 . 3) (22 . 1) (23 . 11)) 1793 0.4444 5.8164 ((17 . 3) (18 . 5) (19 . 4) (23 . 7)) 1805 0.4444 4.8629 ((17 . 4) (19 . 8) (20 . 9) (21 . 10)) 1808 0.4440 8.8402 ((18 . 1) (21 . 4) (22 . 6) (23 . 7)) 1817 0.4439 9.4777 ((17 . 13) (20 . 15) (21 . 16) (23 . 21)) 1867 0.4441 8.6171 ((15 . 3) (16 . 6) (17 . 7) (18 . 8)) 1894 0.4441 8.4248 ((16 . 18) (19 . 22) (21 . 23) (22 . 26)) 1896 0.4442 8.0087 ((15 . 23) (16 . 25) (17 . 27) (18 . 28)) 1897 0.3521 12.6650 ((15 . 34) (18 . 37) (21 . 39) (23 . 44)) 1908 0.4441 8.4281 ((15 . 3) (18 . 6) (21 . 7) (22 . 10)) 1909 0.4442 7.6177 ((17 . 31) (18 . 32) (19 . 34) (23 . 38)) 1913 0.4439 9.5652 ((15 . 3) (17 . 7) (20 . 10) (21 . 12)) 1944 0.4437 10.1721 ((15 . 3) (17 . 5) (21 . 7) (23 . 12)) 1957 0.4444 6.0751 ((15 . 11) (17 . 13) (18 . 14) (19 . 15)) 1961 0.4443 7.3456 ((16 . 16) (18 . 18) (19 . 19) (21 . 20)) 1967 0.4442 7.7280 ((15 . 3) (18 . 8) (22 . 10) (23 . 15)) 1972 0.4443 6.2880 ((17 . 18) (18 . 19) (19 . 20) (23 . 25)) 1992 0.4442 7.4102 ((17 . 9) (18 . 10) (19 . 12) (21 . 14)) 1995 0.4442 7.8465 ((16 . 3) (19 . 8) (21 . 11) (22 . 13)) 2003 0.4443 6.3766 ((18 . 6) (19 . 7) (20 . 8) (21 . 9)) 2006 0.4443 6.8703 ((15 . 9) (17 . 10) (19 . 12) (21 . 13)) 2048 0.4442 7.7330 ((17 . 4) (18 . 5) (19 . 6) (23 . 14)) 2063 0.4443 6.8113 ((19 . 42) (21 . 43) (22 . 45) (23 . 46)) 2065 0.2441 10.5534 ((15 . 18) (16 . 19) (21 . 27) (22 . 28)) 2067 0.4433 11.6012 ((17 . 54) (19 . 57) (22 . 60) (23 . 62)) 2072 0.4444 4.8181 ((15 . 2) (19 . 6) (21 . 7) (23 . 9)) 2081 0.4443 7.2963 ((15 . 9) (17 . 10) (18 . 11) (19 . 12)) 2083 0.4443 6.2119 ((17 . 2) (18 . 3) (19 . 4) (23 . 11)) 2097 0.4442 8.0941 ((15 . 4) (16 . 5) (22 . 14) (23 . 15)) 2114 0.4444 5.6209 ((16 . 28) (19 . 32) (21 . 34) (23 . 39)) 2116 0.4159 8.8583 ((16 . 2) (17 . 4) (19 . 6) (21 . 7)) 2117 0.4443 6.6769 ((17 . 16) (18 . 19) (20 . 22) (23 . 26)) 2118 0.4440 9.1377 ((15 . 4) (18 . 6) (19 . 7) (23 . 10)) 2122 0.4443 7.2440 ((15 . 1) (18 . 5) (19 . 6) (23 . 11)) 2166 0.4440 9.1650 ((16 . 13) (18 . 14) (19 . 15) (23 . 22)) 2179 0.4443 6.2619 ((17 . 5) (19 . 7) (21 . 9) (23 . 12)) 2196 0.4443 6.9725 ((16 . 10) (17 . 11) (19 . 14) (21 . 15)) 2203 0.5553 5.8845 ((17 . 1) (18 . 3) (19 . 5) (20 . 6) (21 . 7)) 2205 0.4444 5.3184 ((15 . 18) (16 . 19) (17 . 21) (19 . 23)) 2209 0.4437 10.2634 ((17 . 3) (20 . 5) (21 . 6) (23 . 8)) 2243 0.4442 8.1566 ((15 . 54) (16 . 55) (22 . 65) (23 . 68)) 2244 0.4443 6.4465 ((16 . 71) (17 . 73) (19 . 75) (21 . 76)) 2249 0.4443 6.1845 ((16 . 16) (18 . 19) (19 . 20) (21 . 23)) 2269 0.4441 8.3191 ((15 . 7) (18 . 9) (19 . 10) (23 . 13)) 2279 0.4444 5.9225 ((18 . 1) (19 . 3) (21 . 5) (22 . 7)) 2298 0.4442 7.6058 ((17 . 10) (18 . 11) (22 . 15) (23 . 16)) 2308 0.4444 5.5836 ((17 . 6) (18 . 7) (19 . 8) (23 . 12)) 2314 0.4442 8.1648 ((15 . 2) (16 . 3) (19 . 7) (21 . 8)) 2340 0.2441 9.2063 ((16 . 11) (17 . 13) (18 . 15) (19 . 14)) 2344 0.4440 9.2502 ((15 . 10) (17 . 14) (21 . 18) (22 . 20)) 2381 0.4439 9.7183 ((17 . 3) (20 . 5) (21 . 6) (23 . 8)) 2389 0.4443 7.1118 ((17 . 7) (19 . 9) (21 . 10) (23 . 12)) 2408 0.4436 10.7847 ((15 . 33) (16 . 34) (20 . 40) (21 . 41)) 2409 0.4434 11.3230 ((15 . 3) (17 . 6) (19 . 8) (23 . 11)) 2422 0.4440 8.9949 ((16 . 1) (19 . 6) (20 . 7) (23 . 10)) 2423 0.4439 9.3599 ((15 . 21) (16 . 22) (17 . 25) (19 . 26)) 2440 0.3525 8.5188 ((16 . 6) (17 . 7) (18 . 10) (19 . 9)) 2447 0.4436 10.7440 ((15 . 13) (17 . 15) (20 . 18) (22 . 21)) 2462 0.1495 7.9162 ((15 . 7) (18 . 10) (19 . 11) (21 . 12)) 2510 0.4444 5.0118 ((17 . 19) (18 . 22) (19 . 23) (23 . 28)) 2519 0.3525 7.7126 ((17 . 2) (18 . 3) (22 . 5) (23 . 6)) 2525 0.4444 5.9397 ((17 . 45) (18 . 46) (19 . 47) (21 . 48)) 2529 0.4444 5.7927 ((15 . 1) (17 . 3) (21 . 5) (23 . 7)) 2533 0.4440 9.0222 ((17 . 9) (18 . 11) (19 . 13) (23 . 17)) 2551 0.3934 9.6772 ((18 . 10) (19 . 11) (21 . 12) (22 . 14)) 2556 0.4440 9.2394 ((16 . 11) (17 . 13) (18 . 14) (23 . 21)) 2561 0.4444 5.8261 ((16 . 1) (18 . 5) (19 . 6) (21 . 9)) 2595 0.2862 6.1869 ((16 . 4) (18 . 5) (19 . 6) (23 . 14)) 2619 0.4443 6.9163 ((15 . 2) (16 . 3) (18 . 4) (19 . 5)) 2627 0.4441 8.1915 ((17 . 60) (18 . 62) (20 . 64) (21 . 65)) 2650 0.4442 7.7135 ((16 . 2) (18 . 4) (19 . 5) (21 . 6)) 2658 0.4441 8.7371 ((15 . 1) (17 . 3) (18 . 4) (23 . 9)) 2675 0.4443 6.7328 ((17 . 3) (19 . 5) (20 . 7) (21 . 8)) 2682 0.4434 11.1472 ((15 . 13) (17 . 17) (18 . 18) (23 . 22)) 2696 0.4444 5.1683 ((15 . 31) (17 . 35) (19 . 38) (21 . 39)) 2731 0.4444 5.7981 ((17 . 1) (18 . 3) (19 . 4) (21 . 5)) 2733 0.4442 7.5652 ((16 . 8) (18 . 9) (19 . 11) (23 . 14)) 2755 0.4439 9.6830 ((15 . 3) (17 . 5) (19 . 6) (22 . 10)) 2773 0.4443 6.5362 ((15 . 2) (18 . 4) (19 . 5) (21 . 6)) 2783 0.4441 8.2007 ((18 . 4) (19 . 6) (21 . 7) (23 . 9)) 2804 0.4442 7.9902 ((15 . 34) (16 . 36) (18 . 37) (20 . 39)) 2821 0.3932 10.6762 ((17 . 1) (19 . 4) (21 . 7) (23 . 10)) 2830 0.4443 6.8060 ((17 . 11) (18 . 12) (19 . 13) (23 . 16)) 2834 0.5551 6.8009 ((17 . 1) (18 . 2) (19 . 3) (21 . 5) (23 . 7)) 2840 0.4442 7.6263 ((16 . 1) (18 . 3) (19 . 5) (21 . 8)) 2842 0.4443 6.4085 ((15 . 5) (18 . 8) (19 . 9) (23 . 13)) 2867 0.3525 7.7578 ((19 . 7) (21 . 8) (22 . 9) (23 . 11)) 2879 0.4442 7.8386 ((19 . 51) (21 . 52) (22 . 54) (23 . 55)) 2886 0.3935 8.1124 ((15 . 39) (16 . 41) (17 . 43) (19 . 44)) 2929 0.4442 7.5585 ((17 . 36) (18 . 37) (20 . 39) (21 . 40)) 2940 0.4443 6.8766 ((15 . 1) (17 . 3) (19 . 4) (23 . 9)) 2947 0.3521 12.2328 ((16 . 7) (18 . 9) (21 . 13) (23 . 17)) 2966 0.4441 8.6943 ((15 . 4) (16 . 6) (21 . 11) (22 . 13)) 2990 0.4443 6.6158 ((15 . 9) (17 . 12) (19 . 14) (21 . 15)) 2999 0.4443 6.9349 ((16 . 2) (18 . 5) (19 . 4) (21 . 7)) 3014 0.2440 12.1525 ((16 . 22) (17 . 24) (18 . 26) (23 . 31)) 3019 0.4444 5.5760 ((15 . 19) (18 . 21) (19 . 22) (21 . 25)) 3034 0.4443 6.6222 ((15 . 7) (18 . 8) (19 . 9) (23 . 15)) 3041 0.4444 5.1866 ((15 . 12) (17 . 14) (18 . 15) (19 . 16)) 3055 0.4441 8.6390 ((16 . 13) (17 . 15) (20 . 19) (21 . 20)) 3063 0.4440 8.9154 ((15 . 33) (17 . 35) (20 . 38) (21 . 39)) 3070 0.4444 4.7719 ((17 . 33) (18 . 34) (19 . 35) (21 . 36)) 3084 0.4444 6.0505 ((15 . 13) (17 . 15) (18 . 16) (19 . 17)) 3102 0.4443 6.6217 ((16 . 65) (17 . 66) (19 . 68) (21 . 69)) 3103 0.3522 11.6208 ((16 . 2) (18 . 6) (19 . 5) (23 . 12)) 3114 0.4444 6.0530 ((15 . 22) (16 . 23) (17 . 25) (18 . 27)) 3120 0.4441 8.1905 ((15 . 21) (16 . 22) (18 . 24) (19 . 25)) 3127 0.4443 6.3299 ((17 . 8) (18 . 9) (20 . 11) (23 . 16)) 3147 0.4442 7.7625 ((17 . 6) (19 . 8) (20 . 9) (21 . 11)) 3187 0.2862 6.1491 ((17 . 4) (19 . 6) (21 . 7) (23 . 10)) 3190 0.4441 8.5971 ((16 . 1) (17 . 3) (18 . 4) (20 . 6)) 3197 0.4443 7.2196 ((17 . 19) (18 . 20) (19 . 21) (23 . 27)) 3200 0.4442 7.6527 ((17 . 4) (18 . 5) (19 . 6) (21 . 9)) 3222 0.5554 5.3501 ((15 . 15) (17 . 16) (18 . 17) (19 . 18) (20 . 19)) 3256 0.4443 6.9828 ((15 . 20) (16 . 21) (17 . 24) (18 . 27)) 3261 0.4428 12.5434 ((15 . 2) (16 . 3) (21 . 6) (22 . 8)) 3286 0.4444 5.3922 ((15 . 4) (16 . 5) (19 . 7) (23 . 15)) 3289 0.2862 7.2740 ((16 . 25) (17 . 27) (18 . 28) (19 . 29)) 3297 0.4443 7.0423 ((17 . 1) (19 . 3) (21 . 4) (22 . 7)) 3300 0.4443 6.9203 ((17 . 1) (19 . 4) (21 . 5) (23 . 10)) 3322 0.4444 5.6350 ((16 . 3) (17 . 5) (18 . 6) (19 . 7)) 3334 0.4443 6.9239 ((19 . 1) (21 . 4) (22 . 6) (23 . 9)) 3339 0.4441 8.5120 ((15 . 11) (21 . 19) (22 . 21) (23 . 23)) 3344 0.4444 5.5017 ((15 . 18) (16 . 19) (17 . 20) (22 . 26)) 3358 0.4440 9.1726 ((15 . 4) (17 . 7) (20 . 10) (22 . 12)) 3362 0.4440 8.9192 ((17 . 6) (18 . 7) (19 . 8) (21 . 10)) 3366 0.3935 8.2829 ((15 . 22) (16 . 24) (17 . 26) (19 . 27)) 3391 0.2861 9.9416 ((17 . 8) (18 . 12) (19 . 10) (21 . 13)) 3410 0.4442 7.7761 ((15 . 21) (18 . 27) (21 . 28) (22 . 30)) 3418 0.3523 10.7413 ((16 . 2) (18 . 3) (19 . 6) (21 . 7)) 3472 0.4444 4.6716 ((19 . 1) (20 . 2) (21 . 3) (22 . 5)) 3481 0.4442 7.5544 ((17 . 2) (18 . 3) (19 . 4) (21 . 7)) 3495 0.0999 11.0325 ((16 . 1) (17 . 2) (22 . 7) (23 . 9)) 3496 0.1980 7.6227 ((15 . 19) (18 . 21) (19 . 22) (21 . 23)) 3533 0.4439 9.7053 ((15 . 1) (16 . 3) (18 . 6) (20 . 7)) 3537 0.4435 11.0073 ((16 . 6) (19 . 9) (21 . 10) (23 . 12)) 3538 0.4444 5.4160 ((15 . 18) (17 . 20) (18 . 21) (21 . 23)) 3548 0.4442 7.3670 ((16 . 2) (19 . 4) (21 . 5) (22 . 8)) 3549 0.1980 9.6715 ((15 . 3) (16 . 5) (18 . 7) (19 . 8)) 3561 0.4442 7.6069 ((17 . 26) (18 . 27) (19 . 28) (21 . 30)) 3570 0.4443 7.0766 ((16 . 1) (19 . 4) (21 . 7) (23 . 9)) 3585 0.4444 5.7074 ((17 . 6) (18 . 7) (19 . 8) (23 . 15)) 3613 0.2861 9.6491 ((16 . 40) (17 . 41) (18 . 42) (23 . 44)) 3625 0.2862 7.4830 ((16 . 1) (17 . 2) (19 . 5) (21 . 6)) 3626 0.4444 3.3994 ((15 . 2) (17 . 3) (19 . 8) (21 . 11)) 3628 0.4443 7.0717 ((18 . 7) (19 . 8) (21 . 9) (23 . 11)) 3651 0.4442 7.9740 ((15 . 8) (16 . 9) (17 . 11) (19 . 13)) 3658 0.4441 8.4246 ((16 . 1) (18 . 2) (19 . 5) (21 . 6)) 3659 0.4435 10.9233 ((20 . 9) (21 . 10) (22 . 12) (23 . 14)) 3663 0.4442 8.1397 ((17 . 1) (18 . 3) (19 . 5) (23 . 7)) 3688 0.4440 8.8292 ((15 . 26) (19 . 29) (20 . 30) (22 . 34)) 3697 0.4440 9.2425 ((17 . 1) (19 . 3) (20 . 4) (23 . 5)) 3703 0.4441 8.5828 ((15 . 2) (21 . 6) (22 . 8) (23 . 10)) 3732 0.4441 8.4089 ((17 . 7) (18 . 8) (21 . 11) (23 . 13)) 3733 0.2862 6.8984 ((18 . 2) (19 . 1) (21 . 3) (23 . 7)) 3740 0.4442 7.9126 ((15 . 3) (16 . 4) (19 . 6) (21 . 7)) 3741 0.4442 7.8711 ((15 . 22) (16 . 23) (20 . 27) (21 . 28)) 3776 0.4443 6.2278 ((17 . 15) (18 . 16) (19 . 17) (20 . 19)) 3778 0.3524 9.4622 ((19 . 2) (21 . 3) (22 . 4) (23 . 5)) 3787 0.4443 7.2641 ((16 . 29) (18 . 32) (19 . 33) (23 . 37)) 3790 0.4443 6.3341 ((15 . 33) (16 . 35) (19 . 38) (21 . 39)) 3807 0.2861 9.2389 ((16 . 43) (18 . 48) (22 . 50) (23 . 51)) 3810 0.4442 7.5559 ((15 . 6) (17 . 10) (20 . 14) (21 . 15)) 3817 0.4443 7.0384 ((16 . 5) (17 . 7) (18 . 8) (19 . 9)) 3818 0.4442 7.5357 ((15 . 23) (18 . 27) (19 . 28) (21 . 29)) 3829 0.4428 12.6781 ((18 . 3) (19 . 2) (21 . 5) (23 . 8)) 3831 0.4443 6.1666 ((17 . 3) (18 . 4) (19 . 5) (21 . 6)) 3847 0.1331 10.0044 ((15 . 9) (17 . 13) (18 . 15) (21 . 17)) 3849 0.4439 9.4289 ((16 . 1) (18 . 4) (20 . 5) (22 . 8)) 3853 0.4442 7.9700 ((17 . 6) (18 . 7) (19 . 8) (23 . 11)) 3856 0.4441 8.7852 ((15 . 3) (17 . 7) (20 . 10) (21 . 12)) 3870 0.4444 5.4337 ((17 . 8) (18 . 9) (19 . 10) (23 . 14)) 3933 0.4442 7.8471 ((15 . 13) (16 . 14) (17 . 15) (19 . 18)) 3938 0.4443 7.0577 ((15 . 2) (17 . 4) (19 . 9) (23 . 16)) 3942 0.1980 10.5647 ((16 . 2) (17 . 3) (18 . 5) (21 . 9)) 3986 0.4443 7.1657 ((15 . 13) (16 . 15) (18 . 19) (22 . 26)) 3990 0.3525 8.7624 ((17 . 20) (20 . 22) (21 . 23) (22 . 25)) 4005 0.5519 11.6626 ((16 . 25) (17 . 27) (18 . 28) (20 . 29) (22 . 35)) 4009 0.4436 10.5988 ((17 . 12) (19 . 15) (22 . 19) (23 . 20)) 4019 0.4442 7.3733 ((16 . 36) (17 . 38) (19 . 42) (21 . 43)) 4034 0.4442 7.7615 ((17 . 9) (20 . 11) (21 . 13) (22 . 15)) 4062 0.1658 9.7875 ((18 . 47) (19 . 48) (21 . 49) (22 . 50)) 4067 0.4443 6.6783 ((17 . 14) (18 . 15) (19 . 16) (23 . 21)) 4087 0.4444 5.2249 ((17 . 3) (19 . 6) (21 . 7) (23 . 9)) 4112 0.4444 5.0367 ((15 . 1) (17 . 2) (19 . 4) (20 . 6)) 4115 0.3934 9.8068 ((17 . 13) (18 . 14) (19 . 15) (23 . 21)) 4140 0.2861 8.2672 ((17 . 21) (19 . 22) (21 . 23) (23 . 26)) 4151 0.4443 6.8172 ((17 . 9) (18 . 11) (19 . 12) (23 . 16)) 4154 0.4443 6.8444 ((15 . 52) (16 . 51) (17 . 53) (20 . 57)) 4177 0.4444 6.0392 ((15 . 1) (16 . 2) (20 . 7) (21 . 8)) 4190 0.4444 5.6656 ((15 . 3) (18 . 7) (19 . 8) (21 . 9)) 4192 0.4442 7.6737 ((15 . 15) (17 . 19) (18 . 20) (21 . 22)) 4194 0.4443 6.9436 ((16 . 1) (17 . 3) (18 . 4) (21 . 6)) 4204 0.4437 10.1343 ((15 . 3) (17 . 5) (20 . 9) (22 . 11)) 4209 0.4160 7.4081 ((17 . 4) (19 . 5) (21 . 7) (22 . 10)) 4210 0.4444 5.3252 ((16 . 8) (18 . 9) (19 . 10) (20 . 11)) 4226 0.4440 8.9887 ((18 . 13) (19 . 14) (20 . 16) (22 . 19)) 4232 0.4442 7.7191 ((15 . 2) (16 . 3) (20 . 6) (22 . 8)) 4236 0.4440 9.0954 ((17 . 6) (19 . 8) (20 . 10) (23 . 13)) 4246 0.4444 5.5801 ((17 . 3) (19 . 6) (20 . 7) (21 . 8)) 4254 0.4431 12.0327 ((15 . 8) (17 . 11) (18 . 12) (23 . 20)) 4255 0.4443 6.3633 ((18 . 22) (19 . 23) (21 . 24) (22 . 26)) 4257 0.4438 10.0554 ((18 . 6) (20 . 10) (21 . 11) (22 . 12)) 4265 0.5095 10.3692 ((15 . 20) (16 . 21) (17 . 23) (19 . 24) (20 . 26)) 4266 0.4441 8.2684 ((16 . 6) (18 . 7) (19 . 8) (21 . 11)) 4274 0.4444 4.4041 ((16 . 36) (18 . 39) (19 . 40) (21 . 41)) 4275 0.4442 8.0688 ((17 . 23) (20 . 25) (21 . 27) (23 . 29)) 4281 0.4443 6.6751 ((15 . 3) (17 . 4) (18 . 6) (23 . 14)) 4284 0.4443 6.8669 ((17 . 1) (18 . 2) (19 . 3) (22 . 6)) 4299 0.4442 7.8308 ((17 . 6) (18 . 7) (19 . 9) (23 . 13)) 4301 0.3933 9.8988 ((17 . 3) (19 . 6) (21 . 8) (22 . 10)) 4326 0.4443 6.7569 ((17 . 7) (18 . 8) (19 . 10) (23 . 16)) 4332 0.4444 5.8712 ((18 . 1) (19 . 2) (21 . 4) (23 . 8)) 4338 0.4442 7.9266 ((15 . 1) (16 . 4) (21 . 7) (23 . 9)) 4359 0.4442 8.1198 ((15 . 18) (19 . 23) (21 . 24) (22 . 27)) 4380 0.4442 7.7315 ((15 . 24) (17 . 29) (20 . 31) (21 . 32)) 4383 0.4434 11.3392 ((15 . 15) (20 . 18) (21 . 19) (22 . 21)) 4388 0.4437 10.1707 ((17 . 1) (18 . 2) (19 . 3) (22 . 6)) 4398 0.3524 10.1682 ((15 . 6) (16 . 7) (20 . 12) (21 . 13)) 4405 0.4443 7.1527 ((18 . 17) (19 . 18) (21 . 19) (22 . 21)) 4408 0.4444 5.9566 ((17 . 4) (18 . 5) (19 . 6) (21 . 7)) 4415 0.4444 4.9267 ((17 . 1) (18 . 2) (19 . 3) (21 . 4)) 4419 0.4441 8.7094 ((15 . 3) (17 . 6) (19 . 9) (21 . 10)) 4426 0.4444 4.7012 ((15 . 2) (17 . 4) (18 . 5) (19 . 6)) 4470 0.4444 4.5254 ((16 . 14) (18 . 17) (21 . 19) (23 . 22)) 4492 0.1980 10.5596 ((17 . 11) (21 . 16) (22 . 18) (23 . 22)) 4495 0.2861 9.3518 ((15 . 16) (18 . 19) (19 . 18) (22 . 21)) 4497 0.4442 7.4632 ((15 . 18) (17 . 23) (19 . 25) (21 . 26)) 4502 0.5547 8.0497 ((17 . 6) (18 . 7) (19 . 9) (21 . 10) (23 . 16)) 4503 0.1659 7.6979 ((17 . 1) (18 . 2) (19 . 3) (22 . 8)) 4504 0.4443 6.8208 ((17 . 4) (18 . 5) (21 . 8) (23 . 12)) 4505 0.4442 7.5294 ((17 . 28) (18 . 29) (19 . 30) (23 . 35)) 4516 0.2861 10.5954 ((18 . 5) (20 . 8) (22 . 10) (23 . 13)) 4538 0.4436 10.5848 ((18 . 27) (20 . 30) (21 . 31) (22 . 33)) 4560 0.4443 6.2629 ((15 . 4) (18 . 7) (19 . 8) (23 . 12)) 4561 0.4443 7.1394 ((17 . 1) (18 . 4) (19 . 5) (23 . 11)) 4562 0.4442 7.4203 ((17 . 19) (18 . 21) (19 . 22) (23 . 28)) 4563 0.4438 9.7888 ((15 . 26) (17 . 28) (21 . 31) (23 . 33)) 4577 0.4438 9.9464 ((19 . 27) (20 . 28) (21 . 29) (22 . 31)) 4588 0.4442 7.8021 ((16 . 1) (17 . 3) (20 . 7) (21 . 8)) 4589 0.4443 6.3956 ((18 . 20) (19 . 22) (21 . 23) (22 . 25)) 4607 0.1980 13.3337 ((16 . 24) (18 . 28) (19 . 27) (23 . 29)) 4621 0.4443 6.6961 ((18 . 5) (19 . 6) (20 . 7) (21 . 8)) 4630 0.4442 7.9152 ((16 . 25) (19 . 30) (20 . 31) (21 . 33)) 4648 0.5555 3.4367 ((15 . 1) (17 . 2) (18 . 3) (19 . 5) (21 . 8)) 4653 0.4443 6.4733 ((15 . 1) (17 . 3) (19 . 6) (21 . 7)) 4668 0.4444 5.2107 ((15 . 1) (17 . 5) (18 . 6) (19 . 7)) 4671 0.4442 7.5051 ((17 . 4) (18 . 5) (19 . 6) (22 . 8)) 4674 0.4444 3.5339 ((16 . 2) (19 . 6) (20 . 7) (21 . 8)) 4678 0.4442 7.9748 ((15 . 6) (19 . 11) (20 . 12) (21 . 14)) 4713 0.4441 8.5587 ((17 . 4) (19 . 6) (22 . 9) (23 . 11)) 4731 0.3374 6.6377 ((15 . 18) (16 . 24) (18 . 20) (19 . 22) (21 . 23)) 4734 0.1980 9.0762 ((17 . 2) (19 . 5) (20 . 6) (21 . 7)) 4857 0.4436 10.5077 ((16 . 9) (17 . 11) (18 . 12) (23 . 16)) 4888 0.4442 8.1469 ((16 . 1) (18 . 5) (22 . 9) (23 . 11)) 4907 0.3936 7.4191 ((17 . 1) (19 . 4) (21 . 5) (23 . 10)) 4914 0.4441 8.5886 ((15 . 6) (16 . 7) (19 . 11) (21 . 12)) 4921 0.4430 12.2242 ((17 . 7) (20 . 9) (22 . 12) (23 . 13)) 4929 0.4441 8.2970 ((15 . 26) (16 . 28) (19 . 31) (21 . 32)) 4932 0.4443 6.7285 ((15 . 1) (17 . 5) (21 . 8) (22 . 10)) 4940 0.4442 7.7414 ((15 . 1) (17 . 3) (18 . 5) (19 . 6)) 4944 0.4442 8.1642 ((17 . 11) (18 . 12) (21 . 13) (22 . 15)) 4961 0.4439 9.5255 ((18 . 13) (19 . 14) (21 . 15) (23 . 18)) 4978 0.4442 7.8045 ((17 . 21) (20 . 24) (21 . 25) (23 . 27)) 4982 0.2861 8.4427 ((15 . 9) (16 . 10) (17 . 12) (19 . 14)) 4992 0.4436 10.7847 ((15 . 2) (18 . 4) (19 . 6) (22 . 9)) 4998 0.1331 11.5270 ((15 . 15) (17 . 19) (18 . 21) (23 . 24)) 5036 0.4440 8.9967 ((15 . 2) (19 . 7) (21 . 8) (22 . 10)) 5038 0.3523 11.0040 ((18 . 13) (19 . 14) (21 . 15) (22 . 18)) 5039 0.4443 6.3227 ((16 . 41) (18 . 43) (19 . 44) (21 . 45)) 5046 0.4443 6.6517 ((15 . 3) (16 . 4) (20 . 8) (21 . 10)) 5053 0.1980 5.9474 ((17 . 2) (20 . 5) (21 . 6) (23 . 8)) 5065 0.4441 8.6344 ((18 . 1) (19 . 2) (21 . 3) (22 . 7)) 5068 0.4439 9.6058 ((17 . 12) (20 . 15) (21 . 16) (23 . 19)) 5069 0.4442 7.5054 ((15 . 4) (17 . 7) (18 . 8) (22 . 15)) 5073 0.1331 8.6768 ((18 . 31) (19 . 32) (21 . 34) (23 . 37)) 5083 0.2861 9.4470 ((16 . 1) (17 . 2) (19 . 6) (21 . 9)) 5101 0.4442 7.7288 ((15 . 1) (21 . 7) (22 . 9) (23 . 11)) 5103 0.4443 6.4572 ((17 . 2) (18 . 3) (19 . 4) (23 . 8)) 5121 0.3526 6.6966 ((15 . 25) (16 . 26) (17 . 27) (19 . 31)) 5132 0.4439 9.6103 ((18 . 23) (21 . 26) (22 . 28) (23 . 29)) 5134 0.4441 8.5570 ((15 . 6) (18 . 9) (19 . 10) (23 . 16)) 5145 0.4442 8.1629 ((16 . 3) (18 . 7) (22 . 10) (23 . 11)) 5167 0.4442 7.6074 ((17 . 1) (18 . 2) (21 . 4) (23 . 7)) 5176 0.4443 7.1271 ((15 . 84) (16 . 86) (19 . 88) (22 . 91)) 5183 0.4435 10.9320 ((20 . 35) (21 . 36) (22 . 37) (23 . 39)) 5192 0.2441 9.9502 ((17 . 17) (18 . 18) (20 . 20) (21 . 21)) 5198 0.3907 16.9958 ((16 . 19) (17 . 21) (19 . 22) (23 . 27)) 5209 0.4442 7.4572 ((15 . 3) (18 . 6) (19 . 7) (21 . 8)) 5212 0.3505 17.8607 ((18 . 19) (20 . 21) (21 . 22) (23 . 27)) 5215 0.4444 5.5098 ((17 . 2) (20 . 4) (21 . 5) (23 . 8)) 5223 0.4443 6.6576 ((17 . 6) (18 . 7) (19 . 8) (23 . 14)) 5231 0.4444 6.0793 ((15 . 8) (17 . 12) (19 . 14) (21 . 16)) 5266 0.4440 8.8373 ((17 . 2) (18 . 3) (19 . 4) (23 . 11)) 5278 0.4444 6.0506 ((15 . 6) (16 . 7) (17 . 9) (20 . 12)) 5307 0.4444 5.5079 ((17 . 53) (18 . 54) (19 . 55) (21 . 57)) 5312 0.4158 9.0126 ((17 . 1) (19 . 3) (21 . 4) (22 . 7)) 5324 0.4444 5.3590 ((17 . 5) (18 . 6) (19 . 7) (23 . 13)) 5344 0.4444 6.0750 ((15 . 4) (17 . 7) (19 . 9) (21 . 10)) 5345 0.4442 7.5301 ((15 . 2) (17 . 5) (19 . 8) (21 . 12)) 5368 0.5548 7.8247 ((15 . 30) (17 . 34) (19 . 36) (21 . 37) (22 . 39)) 5378 0.4443 6.7313 ((15 . 3) (17 . 4) (18 . 5) (19 . 6)) 5414 0.4444 6.0754 ((15 . 14) (16 . 15) (20 . 20) (21 . 21)) 5418 0.4441 8.3616 ((16 . 1) (17 . 2) (22 . 9) (23 . 10)) 5421 0.2441 8.2663 ((15 . 1) (16 . 2) (17 . 4) (19 . 5)) 5433 0.4442 7.8229 ((15 . 5) (17 . 7) (19 . 10) (20 . 12)) 5479 0.4443 7.3533 ((15 . 35) (16 . 36) (19 . 40) (21 . 41)) 5487 0.4444 5.7682 ((15 . 4) (17 . 7) (18 . 8) (19 . 9)) 5489 0.4442 7.4853 ((15 . 1) (19 . 5) (21 . 6) (22 . 9)) 5500 0.4442 7.4510 ((15 . 2) (16 . 3) (17 . 4) (18 . 10)) 5535 0.4443 6.7427 ((16 . 2) (20 . 8) (21 . 9) (22 . 10)) 5540 0.5535 10.0113 ((15 . 6) (16 . 7) (19 . 10) (22 . 15) (23 . 17)) 5557 0.4441 8.5211 ((15 . 3) (16 . 4) (18 . 5) (19 . 6)) 5560 0.4444 5.7741 ((15 . 11) (18 . 14) (19 . 15) (23 . 21)) 5562 0.1980 12.5215 ((15 . 7) (20 . 14) (22 . 17) (23 . 20)) 5567 0.4443 7.1687 ((16 . 11) (18 . 14) (19 . 15) (22 . 18)) 5594 0.4442 7.6560 ((17 . 4) (18 . 5) (19 . 6) (23 . 10)) 5600 0.4444 4.8950 ((15 . 3) (17 . 6) (18 . 7) (19 . 9)) 5601 0.4444 4.8750 ((16 . 1) (17 . 3) (19 . 5) (23 . 11)) 5640 0.4443 7.2483 ((15 . 6) (16 . 7) (19 . 11) (21 . 12)) 5644 0.4442 8.1403 ((15 . 4) (17 . 8) (20 . 12) (21 . 13)) 5656 0.4443 6.4625 ((15 . 3) (18 . 6) (19 . 8) (20 . 9)) 5700 0.4441 8.5872 ((15 . 2) (16 . 3) (21 . 6) (22 . 9)) 5701 0.4440 9.1654 ((19 . 11) (21 . 12) (22 . 14) (23 . 15)) 5703 0.2861 8.7538 ((15 . 5) (17 . 6) (19 . 7) (20 . 8)) 5711 0.4443 6.4394 ((16 . 31) (19 . 33) (21 . 35) (22 . 37)) 5713 0.4442 7.4196 ((15 . 2) (17 . 5) (19 . 7) (21 . 10)) 5718 0.4439 9.6915 ((16 . 18) (18 . 22) (19 . 23) (20 . 24)) 5731 0.4444 4.9145 ((19 . 11) (20 . 12) (21 . 13) (22 . 15)) 5746 0.4437 10.3918 ((15 . 3) (19 . 7) (21 . 9) (23 . 12)) 5749 0.4443 7.0289 ((17 . 3) (19 . 5) (21 . 6) (23 . 9)) 5761 0.4442 7.8097 ((15 . 31) (16 . 32) (18 . 34) (19 . 36)) 5770 0.5550 7.1663 ((17 . 6) (18 . 7) (19 . 8) (20 . 9) (21 . 12)) 5771 0.2861 8.6179 ((17 . 9) (18 . 10) (19 . 13) (21 . 15)) 5782 0.4442 7.7911 ((15 . 22) (19 . 29) (21 . 30) (22 . 32)) 5794 0.5549 7.4317 ((15 . 18) (16 . 19) (18 . 22) (19 . 23) (21 . 24)) 5809 0.4443 7.0688 ((17 . 3) (18 . 4) (19 . 5) (23 . 8)) 5822 0.9953 2.2543 ((15 . 1) (16 . 2) (17 . 4) (18 . 5) (19 . 6) (20 . 7) (21 . 8) (22 . 9) (23 . 11)) 5827 0.4442 7.7057 ((15 . 4) (18 . 6) (19 . 8) (20 . 11)) 5830 0.4443 6.5315 ((15 . 7) (16 . 8) (18 . 11) (22 . 17)) 5847 0.4443 6.3222 ((15 . 9) (16 . 10) (20 . 16) (23 . 21)) 5861 0.4441 8.5496 ((15 . 6) (17 . 10) (19 . 11) (20 . 12)) 5865 0.3936 6.8588 ((15 . 1) (16 . 2) (17 . 4) (21 . 7)) 5878 0.3933 10.2613 ((18 . 24) (19 . 25) (20 . 26) (23 . 31)) 5888 0.4441 8.2778 ((15 . 5) (17 . 8) (19 . 10) (22 . 13)) 5896 0.4444 4.9185 ((15 . 26) (17 . 29) (18 . 30) (19 . 31)) 5904 0.4443 6.6949 ((16 . 1) (18 . 3) (19 . 4) (23 . 8)) 5913 0.4442 7.3680 ((16 . 15) (17 . 17) (20 . 20) (21 . 22)) 5914 0.2441 8.7538 ((17 . 3) (18 . 4) (19 . 5) (20 . 6)) 5922 0.2861 9.8349 ((15 . 1) (17 . 4) (19 . 6) (21 . 8)) 5930 0.4438 9.7827 ((18 . 6) (20 . 10) (21 . 11) (22 . 12)) 5945 0.4443 6.8186 ((15 . 9) (16 . 11) (18 . 12) (20 . 16)) 5949 0.4440 9.0403 ((17 . 9) (19 . 10) (20 . 12) (23 . 15)) 5955 0.4441 8.2810 ((17 . 7) (18 . 8) (19 . 9) (23 . 13)) 5967 0.4444 6.0000 ((15 . 1) (17 . 3) (18 . 6) (19 . 7)) 5977 0.4437 10.3568 ((16 . 1) (18 . 2) (19 . 3) (22 . 6)) 6000 0.4427 12.8055 ((19 . 15) (20 . 17) (22 . 21) (23 . 22)) 6011 0.4442 7.7793 ((15 . 2) (17 . 4) (20 . 8) (21 . 9)) 6022 0.4442 7.5484 ((16 . 2) (19 . 5) (21 . 7) (22 . 9)) 6028 0.2441 9.0513 ((16 . 1) (17 . 3) (18 . 4) (21 . 9)) 6029 0.5547 7.9612 ((15 . 5) (16 . 6) (18 . 7) (19 . 10) (21 . 11)) 6041 0.4442 7.6823 ((15 . 10) (17 . 13) (18 . 14) (20 . 15)) 6046 0.4443 7.1141 ((15 . 3) (17 . 2) (20 . 5) (21 . 6)) 6061 0.5554 4.8868 ((15 . 13) (17 . 15) (18 . 16) (19 . 17) (21 . 21)) 6074 0.4443 6.2393 ((17 . 4) (18 . 5) (19 . 6) (23 . 12)) 6075 0.4441 8.3895 ((17 . 17) (18 . 19) (19 . 20) (20 . 21)) 6079 0.4441 8.3379 ((15 . 1) (19 . 7) (21 . 8) (23 . 12)) 6089 0.4425 13.1407 ((15 . 12) (18 . 15) (19 . 18) (23 . 22)) 6094 0.4442 7.8468 ((17 . 10) (19 . 12) (20 . 13) (21 . 14)) 6099 0.5551 6.7338 ((17 . 13) (18 . 15) (19 . 16) (20 . 17) (21 . 18)) 6123 0.4440 8.8321 ((20 . 1) (21 . 2) (22 . 4) (23 . 7)) 6142 0.4443 6.8297 ((17 . 2) (19 . 4) (21 . 5) (22 . 7)) 6148 0.5367 6.7591 ((16 . 32) (17 . 34) (18 . 35) (19 . 36) (21 . 37)) 6167 0.1980 9.2347 ((17 . 7) (20 . 12) (21 . 14) (22 . 17)) 6173 0.4443 7.1996 ((15 . 7) (16 . 8) (19 . 13) (21 . 15)) 6191 0.4432 11.6839 ((15 . 6) (17 . 9) (19 . 12) (21 . 13)) 6192 0.4820 11.9865 ((17 . 1) (18 . 4) (19 . 5) (22 . 10) (23 . 16)) 6215 0.4443 6.3928 ((15 . 17) (16 . 18) (17 . 20) (18 . 22)) 6225 0.4442 8.1141 ((16 . 4) (17 . 5) (22 . 10) (23 . 11)) 6228 0.4443 6.9364 ((17 . 9) (21 . 14) (22 . 15) (23 . 17)) 6234 0.4443 7.2120 ((15 . 6) (16 . 7) (19 . 10) (21 . 13)) 6238 0.4443 6.9119 ((18 . 2) (19 . 3) (21 . 4) (22 . 7)) 6243 0.4444 5.3344 ((17 . 3) (18 . 5) (19 . 6) (23 . 11)) 6258 0.4441 8.4464 ((16 . 7) (17 . 9) (20 . 10) (23 . 14)) 6261 0.4443 6.2181 ((18 . 18) (19 . 19) (21 . 21) (23 . 23)) 6266 0.3526 6.7189 ((16 . 5) (17 . 6) (19 . 8) (23 . 12)) 6270 0.4444 4.6497 ((15 . 15) (17 . 18) (18 . 19) (19 . 20)) 6271 0.8813 4.1299 ((15 . 4) (16 . 5) (17 . 8) (18 . 9) (19 . 10) (21 . 11) (22 . 12) (23 . 14)) 6273 0.4441 8.4989 ((15 . 1) (17 . 3) (19 . 4) (22 . 7)) 6294 0.4437 10.1339 ((17 . 11) (18 . 12) (20 . 14) (23 . 19)) 6306 1.0000 0.0000 ((15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (22 . 22) (23 . 23)) 6309 0.4443 7.2221 ((15 . 17) (16 . 18) (21 . 25) (22 . 27)) 6311 0.4442 7.8367 ((15 . 4) (17 . 5) (19 . 9) (21 . 10)) 6326 0.4442 8.1538 ((15 . 3) (17 . 5) (19 . 7) (22 . 10)) 6338 0.4442 7.3809 ((17 . 1) (19 . 4) (21 . 5) (22 . 8)) 6344 0.4444 5.3725 ((17 . 4) (18 . 5) (19 . 6) (23 . 10)) 6345 0.4443 6.5659 ((18 . 2) (19 . 4) (21 . 6) (23 . 8)) 6348 0.4444 5.8694 ((16 . 1) (18 . 3) (19 . 4) (23 . 8)) 6355 0.4442 7.4131 ((16 . 4) (19 . 9) (21 . 10) (22 . 12)) 6356 0.3526 6.1649 ((17 . 6) (18 . 8) (19 . 9) (23 . 14)) 6369 0.4441 8.4965 ((15 . 26) (18 . 28) (19 . 29) (23 . 36)) 6376 0.2862 7.4595 ((15 . 17) (17 . 19) (18 . 20) (23 . 29)) 6391 0.4155 10.8448 ((15 . 6) (16 . 8) (18 . 11) (19 . 12)) 6392 0.4440 8.8584 ((15 . 1) (21 . 7) (22 . 9) (23 . 10)) 6399 0.4442 7.4016 ((17 . 25) (19 . 27) (21 . 28) (22 . 30)) 6403 0.4443 6.3354 ((19 . 1) (21 . 2) (22 . 4) (23 . 6)) 6434 0.4444 5.6602 ((17 . 2) (19 . 4) (21 . 5) (23 . 7)) 6462 0.4443 6.9871 ((17 . 10) (18 . 11) (19 . 12) (23 . 17)) 6498 0.2441 7.0990 ((19 . 1) (21 . 2) (22 . 3) (23 . 5)) 6520 0.4438 10.0416 ((18 . 23) (19 . 24) (21 . 25) (22 . 28)) 6539 0.4444 4.8845 ((15 . 2) (17 . 5) (18 . 7) (19 . 8)) 6540 0.4441 8.2790 ((15 . 16) (16 . 17) (20 . 21) (21 . 22)) 6548 0.5108 6.3605 ((15 . 7) (17 . 9) (18 . 10) (19 . 13) (23 . 15)) 6553 0.4437 10.3003 ((16 . 11) (20 . 15) (21 . 17) (23 . 19)) 6555 0.4417 14.2826 ((15 . 27) (16 . 28) (17 . 30) (19 . 33)) 6561 0.4442 8.0753 ((18 . 11) (21 . 12) (22 . 13) (23 . 16)) 6573 0.3525 8.5645 ((17 . 19) (20 . 21) (21 . 22) (22 . 24)) 6575 0.4436 10.5895 ((16 . 1) (18 . 3) (20 . 5) (23 . 7)) 6578 0.4443 6.9407 ((17 . 32) (19 . 34) (21 . 37) (23 . 40)) 6584 0.3525 9.2135 ((17 . 3) (18 . 4) (22 . 9) (23 . 10)) 6585 0.4444 5.7501 ((17 . 8) (18 . 9) (19 . 10) (21 . 11)) 6587 0.4437 10.3794 ((16 . 29) (18 . 32) (19 . 31) (21 . 34)) 6598 0.4443 6.6650 ((15 . 20) (17 . 22) (19 . 24) (21 . 25)) 6613 0.4441 8.3164 ((15 . 28) (17 . 31) (19 . 33) (21 . 34)) 6635 0.3934 9.7970 ((17 . 1) (18 . 3) (21 . 7) (23 . 10)) END