3776 25 0.3361 11.1532 ((16 . 4) (18 . 5) (23 . 9) (25 . 10)) 41 0.5999 3.8793 ((15 . 3) (16 . 4) (17 . 5) (18 . 6) (21 . 7) (23 . 8)) 51 0.3995 10.7249 ((16 . 4) (17 . 6) (21 . 10) (23 . 9)) 62 0.4000 4.5111 ((19 . 10) (20 . 12) (21 . 13) (24 . 16)) 64 0.3999 6.1799 ((17 . 10) (21 . 13) (24 . 15) (25 . 16)) 77 0.3999 7.1701 ((15 . 8) (16 . 10) (21 . 15) (23 . 16)) 91 0.4999 4.5607 ((18 . 36) (21 . 37) (23 . 39) (24 . 40) (25 . 41)) 96 0.3998 7.8994 ((15 . 1) (16 . 2) (17 . 3) (23 . 7)) 129 0.4000 5.8802 ((19 . 1) (20 . 2) (21 . 3) (24 . 8)) 136 0.4000 3.8558 ((15 . 3) (16 . 4) (17 . 5) (21 . 8)) 147 0.1970 11.7112 ((16 . 1) (18 . 2) (23 . 3) (25 . 5)) 150 0.4000 4.3711 ((17 . 20) (21 . 23) (23 . 24) (24 . 25)) 153 0.3999 6.9075 ((19 . 4) (20 . 5) (21 . 6) (24 . 8)) 157 0.5000 4.4842 ((15 . 1) (16 . 2) (18 . 4) (21 . 5) (24 . 8)) 161 0.3997 9.0300 ((15 . 6) (16 . 7) (17 . 9) (19 . 10)) 162 0.3998 8.0690 ((15 . 18) (16 . 19) (17 . 20) (19 . 22)) 169 0.3999 6.4024 ((17 . 1) (20 . 3) (21 . 4) (24 . 7)) 177 0.1970 6.7986 ((15 . 3) (17 . 5) (21 . 8) (24 . 10)) 191 0.2413 6.0004 ((15 . 6) (17 . 7) (19 . 8) (20 . 9)) 198 0.4000 5.1748 ((15 . 10) (17 . 13) (19 . 15) (20 . 16)) 207 0.4000 3.9760 ((15 . 8) (21 . 13) (23 . 14) (24 . 15)) 233 0.4000 5.9797 ((19 . 1) (20 . 2) (21 . 3) (24 . 5)) 300 0.3999 6.9657 ((16 . 5) (17 . 7) (21 . 9) (25 . 12)) 305 0.3999 6.1357 ((17 . 9) (19 . 11) (20 . 12) (23 . 14)) 307 0.6236 4.6266 ((15 . 1) (16 . 2) (17 . 3) (21 . 7) (23 . 8) (24 . 9) (25 . 10)) 315 0.3999 6.2798 ((15 . 4) (19 . 5) (20 . 6) (23 . 7)) 329 0.2412 10.9488 ((16 . 1) (18 . 3) (20 . 4) (23 . 7)) 340 0.3999 6.9835 ((19 . 2) (20 . 4) (21 . 7) (24 . 9)) 350 0.3999 7.1853 ((17 . 13) (18 . 14) (21 . 17) (24 . 20)) 351 0.3999 7.6706 ((16 . 2) (18 . 4) (23 . 6) (25 . 7)) 360 0.4989 9.8503 ((15 . 5) (17 . 7) (19 . 9) (23 . 13) (25 . 15)) 361 0.4000 5.7356 ((20 . 1) (21 . 2) (23 . 3) (24 . 4)) 365 0.3999 7.4078 ((19 . 1) (20 . 2) (21 . 3) (24 . 6)) 367 0.3999 6.4656 ((17 . 40) (20 . 42) (21 . 43) (24 . 46)) 372 0.4000 4.8666 ((17 . 3) (19 . 5) (20 . 6) (21 . 7)) 417 0.3997 9.6081 ((15 . 1) (17 . 2) (21 . 7) (24 . 9)) 420 0.4000 5.2574 ((17 . 1) (20 . 2) (21 . 3) (24 . 5)) 433 0.4000 4.5195 ((15 . 7) (16 . 8) (17 . 9) (20 . 10)) 442 0.3993 11.7275 ((16 . 15) (18 . 17) (21 . 19) (24 . 22)) 460 0.4000 4.0936 ((15 . 2) (19 . 6) (20 . 7) (23 . 9)) 472 0.3971 16.6282 ((15 . 27) (16 . 29) (17 . 31) (23 . 34)) 495 0.4999 4.7332 ((15 . 3) (18 . 4) (21 . 5) (23 . 6) (24 . 7)) 541 0.5999 4.6589 ((15 . 7) (16 . 9) (17 . 11) (18 . 13) (21 . 14) (24 . 17)) 543 0.3999 6.1319 ((15 . 1) (16 . 3) (17 . 4) (23 . 9)) 561 0.3999 7.2251 ((15 . 1) (16 . 2) (17 . 3) (19 . 4)) 584 0.4000 4.0416 ((15 . 5) (16 . 12) (17 . 13) (23 . 33)) 587 0.4000 5.5219 ((17 . 11) (18 . 12) (20 . 13) (21 . 14)) 609 0.5000 4.0144 ((17 . 1) (18 . 2) (21 . 3) (23 . 5) (24 . 6)) 619 0.3999 7.4649 ((15 . 15) (16 . 17) (17 . 18) (20 . 19)) 624 0.6000 3.3633 ((15 . 7) (16 . 8) (17 . 9) (21 . 11) (23 . 12) (24 . 13)) 635 0.4000 5.6074 ((16 . 2) (17 . 3) (18 . 4) (21 . 5)) 672 0.4000 5.7913 ((16 . 19) (19 . 22) (20 . 23) (21 . 24)) 678 0.4000 5.1337 ((15 . 24) (16 . 25) (17 . 26) (23 . 28)) 683 0.3999 6.2228 ((19 . 1) (20 . 2) (21 . 3) (24 . 6)) 719 0.1493 5.1795 ((15 . 27) (16 . 29) (17 . 30) (18 . 31)) 729 0.5386 3.4083 ((15 . 7) (16 . 8) (17 . 9) (18 . 12) (21 . 13) (23 . 14) (24 . 15)) 735 0.3999 7.1876 ((15 . 29) (17 . 32) (21 . 36) (24 . 39)) 740 0.4000 4.9502 ((15 . 2) (17 . 3) (19 . 5) (20 . 6)) 765 0.3999 7.0240 ((15 . 7) (17 . 12) (21 . 17) (24 . 20)) 767 0.5601 3.5782 ((15 . 1) (16 . 2) (17 . 3) (19 . 9) (20 . 10) (21 . 12) (23 . 27) (24 . 29)) 795 0.4000 4.2648 ((17 . 1) (21 . 3) (23 . 4) (24 . 5)) 796 0.3998 8.3369 ((16 . 1) (17 . 3) (18 . 4) (21 . 5)) 801 0.3363 5.5109 ((15 . 2) (17 . 5) (19 . 6) (20 . 7)) 812 0.3999 6.5391 ((15 . 5) (17 . 8) (21 . 11) (24 . 13)) 818 0.4000 3.8189 ((15 . 4) (17 . 7) (21 . 10) (23 . 11)) 819 0.3362 10.3436 ((16 . 1) (17 . 3) (18 . 4) (24 . 5)) 824 0.4000 5.8879 ((19 . 45) (20 . 46) (21 . 49) (24 . 51)) 834 0.2413 8.1616 ((19 . 32) (20 . 33) (23 . 35) (25 . 36)) 861 0.3999 6.7656 ((19 . 1) (20 . 2) (21 . 3) (23 . 4)) 901 0.6997 4.6561 ((15 . 12) (16 . 14) (17 . 15) (18 . 16) (21 . 17) (23 . 19) (24 . 20)) 904 0.3667 11.2512 ((15 . 2) (16 . 4) (18 . 5) (20 . 6)) 913 0.3998 8.4895 ((15 . 16) (18 . 18) (21 . 20) (23 . 21)) 928 0.5991 7.3757 ((15 . 1) (16 . 2) (17 . 3) (21 . 5) (24 . 7) (25 . 9)) 937 0.3999 6.5838 ((15 . 1) (16 . 3) (17 . 4) (20 . 5)) 943 0.4998 6.7462 ((15 . 4) (16 . 5) (17 . 6) (21 . 8) (24 . 12)) 945 0.5998 5.3488 ((15 . 12) (16 . 13) (17 . 14) (21 . 19) (23 . 20) (24 . 22)) 960 0.4998 6.4939 ((15 . 9) (16 . 11) (17 . 12) (18 . 13) (24 . 19)) 978 0.4994 8.5151 ((15 . 4) (16 . 5) (17 . 6) (23 . 9) (24 . 10)) 980 0.6000 3.5767 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (21 . 5) (24 . 7)) 1007 0.4000 5.8952 ((19 . 17) (20 . 18) (23 . 21) (25 . 22)) 1008 0.3998 8.0798 ((18 . 2) (19 . 3) (20 . 5) (21 . 8)) 1034 0.3998 8.4579 ((19 . 20) (20 . 21) (21 . 22) (25 . 24)) 1043 0.5386 3.2055 ((15 . 1) (16 . 5) (17 . 6) (18 . 9) (21 . 10) (24 . 12)) 1082 0.4998 6.6463 ((15 . 9) (16 . 11) (17 . 12) (18 . 13) (24 . 16)) 1084 0.3999 6.4623 ((15 . 17) (17 . 18) (23 . 21) (25 . 22)) 1121 0.3997 9.0792 ((16 . 1) (17 . 2) (20 . 5) (21 . 6)) 1165 0.5999 4.0147 ((15 . 4) (16 . 6) (17 . 7) (18 . 9) (21 . 10) (24 . 12)) 1167 0.3985 13.9540 ((15 . 22) (16 . 24) (18 . 25) (21 . 27)) 1169 0.4000 5.6123 ((17 . 30) (20 . 33) (21 . 34) (24 . 37)) 1201 0.4200 9.8125 ((16 . 5) (17 . 7) (18 . 8) (21 . 9) (23 . 10)) 1204 0.5997 5.4086 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (21 . 5) (24 . 11)) 1211 0.3998 8.4360 ((17 . 5) (18 . 6) (21 . 8) (24 . 10)) 1217 0.3996 10.1330 ((15 . 3) (20 . 9) (21 . 11) (24 . 12)) 1224 0.3999 6.5172 ((19 . 9) (20 . 10) (23 . 13) (24 . 15)) 1233 0.6999 3.4496 ((15 . 11) (16 . 13) (17 . 14) (18 . 19) (21 . 20) (23 . 21) (24 . 22)) 1267 0.5997 5.5961 ((15 . 13) (16 . 14) (17 . 15) (21 . 17) (23 . 18) (24 . 19)) 1268 0.3363 8.3041 ((16 . 8) (18 . 10) (23 . 15) (25 . 16)) 1294 0.3999 7.2342 ((15 . 42) (16 . 45) (19 . 46) (20 . 47)) 1345 0.3999 7.1775 ((15 . 7) (16 . 8) (21 . 12) (24 . 13)) 1366 0.4000 5.7617 ((15 . 17) (16 . 18) (17 . 20) (21 . 22)) 1388 0.4000 5.1528 ((15 . 1) (17 . 5) (23 . 6) (24 . 8)) 1410 0.4997 7.2878 ((17 . 19) (19 . 20) (20 . 21) (21 . 22) (24 . 25)) 1425 0.4000 5.3614 ((18 . 7) (19 . 8) (20 . 10) (21 . 11)) 1447 0.4999 5.4601 ((15 . 1) (16 . 2) (17 . 3) (21 . 5) (24 . 7)) 1451 0.4000 5.1689 ((15 . 1) (16 . 2) (17 . 3) (21 . 5)) 1464 0.3824 3.8568 ((19 . 7) (20 . 8) (21 . 10) (23 . 12)) 1470 0.0999 7.6262 ((16 . 11) (18 . 13) (23 . 15) (25 . 16)) 1472 0.3670 7.6179 ((16 . 5) (18 . 9) (19 . 7) (20 . 8)) 1476 0.4719 3.8710 ((15 . 9) (16 . 10) (17 . 11) (18 . 16) (21 . 18) (23 . 19) (24 . 20)) 1481 0.2801 6.4474 ((15 . 1) (17 . 2) (18 . 3) (24 . 7)) 1497 0.3996 10.0369 ((16 . 16) (18 . 17) (23 . 20) (25 . 22)) 1501 0.3999 7.3473 ((19 . 1) (20 . 2) (21 . 3) (24 . 6)) 1508 0.2800 10.9583 ((18 . 1) (21 . 2) (23 . 4) (25 . 6)) 1513 0.4992 9.0465 ((16 . 9) (18 . 12) (21 . 13) (23 . 14) (24 . 15)) 1514 0.3999 7.7999 ((18 . 2) (20 . 3) (23 . 5) (24 . 6)) 1577 0.3999 6.7872 ((16 . 2) (17 . 5) (23 . 9) (24 . 10)) 1591 0.4999 5.7401 ((15 . 1) (16 . 3) (17 . 4) (21 . 6) (24 . 14)) 1595 0.3996 10.1219 ((16 . 1) (23 . 6) (24 . 7) (25 . 9)) 1604 0.5000 3.6277 ((15 . 7) (16 . 9) (17 . 10) (18 . 11) (21 . 12)) 1622 0.3998 7.9622 ((16 . 19) (17 . 20) (18 . 21) (21 . 22)) 1624 0.2800 11.4989 ((15 . 4) (17 . 5) (21 . 6) (25 . 11)) 1643 0.3999 6.0145 ((15 . 33) (17 . 36) (21 . 38) (24 . 40)) 1644 0.3999 6.7653 ((18 . 42) (20 . 43) (21 . 44) (24 . 47)) 1665 0.5000 4.0152 ((15 . 6) (18 . 7) (21 . 8) (23 . 9) (24 . 10)) 1690 0.4999 5.9001 ((15 . 1) (16 . 7) (17 . 8) (21 . 11) (24 . 13)) 1692 0.3999 7.6046 ((16 . 4) (17 . 7) (21 . 8) (24 . 10)) 1731 0.3998 8.0407 ((15 . 6) (16 . 7) (23 . 11) (24 . 12)) 1736 0.4995 8.1631 ((16 . 6) (17 . 7) (21 . 10) (23 . 11) (24 . 12)) 1738 0.4998 6.3124 ((15 . 4) (16 . 5) (17 . 6) (21 . 9) (24 . 11)) 1747 0.3999 6.4634 ((15 . 27) (19 . 29) (20 . 30) (21 . 31)) 1756 0.3999 6.9226 ((19 . 22) (20 . 23) (21 . 24) (24 . 28)) 1759 0.3998 8.1724 ((19 . 6) (20 . 8) (21 . 9) (24 . 11)) 1761 0.4998 6.4897 ((15 . 7) (16 . 8) (17 . 9) (21 . 11) (24 . 16)) 1763 0.3999 7.8647 ((16 . 2) (18 . 4) (24 . 7) (25 . 8)) 1776 0.4999 5.3268 ((15 . 1) (16 . 6) (17 . 7) (23 . 11) (24 . 12)) 1777 0.4000 5.9650 ((19 . 43) (20 . 45) (21 . 47) (24 . 50)) 1778 0.3999 6.7510 ((15 . 1) (19 . 3) (20 . 4) (24 . 8)) 1793 0.6999 3.8628 ((15 . 3) (16 . 5) (17 . 6) (18 . 7) (21 . 8) (23 . 9) (24 . 10)) 1805 0.4000 5.3029 ((15 . 4) (17 . 8) (19 . 9) (20 . 10)) 1808 0.4000 4.3668 ((16 . 1) (17 . 2) (21 . 5) (24 . 8)) 1817 0.4000 5.5963 ((19 . 13) (20 . 14) (21 . 15) (24 . 19)) 1867 0.5000 3.0891 ((15 . 1) (16 . 2) (17 . 3) (21 . 6) (24 . 7)) 1894 0.3991 12.5045 ((16 . 8) (21 . 12) (23 . 15) (25 . 16)) 1896 0.6997 4.6564 ((15 . 3) (16 . 4) (17 . 5) (19 . 23) (20 . 24) (21 . 27) (24 . 51)) 1897 0.3995 10.8306 ((19 . 32) (20 . 34) (23 . 37) (25 . 38)) 1908 0.4000 4.1133 ((15 . 10) (16 . 14) (17 . 15) (21 . 17)) 1909 0.5000 4.2900 ((15 . 25) (17 . 29) (21 . 31) (23 . 33) (24 . 34)) 1913 0.4000 3.5949 ((17 . 1) (18 . 2) (21 . 3) (24 . 6)) 1944 0.6999 3.7286 ((15 . 3) (16 . 6) (17 . 7) (18 . 8) (21 . 9) (23 . 12) (24 . 13)) 1957 0.6999 3.2439 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (21 . 5) (23 . 6) (24 . 7)) 1961 0.4997 7.3217 ((15 . 16) (16 . 18) (17 . 19) (21 . 20) (25 . 25)) 1967 0.7993 4.8223 ((15 . 3) (16 . 6) (17 . 7) (18 . 9) (21 . 10) (23 . 12) (24 . 13) (25 . 15)) 1972 0.5000 3.7975 ((15 . 18) (16 . 19) (17 . 20) (21 . 24) (24 . 27)) 1992 0.3999 7.1119 ((15 . 9) (16 . 10) (17 . 12) (20 . 14)) 1995 0.3999 6.7063 ((15 . 1) (17 . 3) (21 . 8) (24 . 12)) 2003 0.3998 8.1752 ((15 . 4) (20 . 8) (21 . 9) (24 . 11)) 2006 0.4000 5.4022 ((15 . 11) (17 . 13) (21 . 15) (24 . 18)) 2045 0.3823 7.3981 ((16 . 4) (19 . 7) (20 . 8) (24 . 11)) 2048 0.4996 7.6424 ((15 . 1) (16 . 12) (18 . 14) (21 . 16) (24 . 17)) 2054 0.4000 4.2102 ((21 . 13) (23 . 12) (24 . 14) (25 . 15)) 2063 0.4000 4.7834 ((19 . 43) (20 . 44) (23 . 46) (24 . 48)) 2065 0.4885 6.7169 ((15 . 22) (17 . 25) (19 . 26) (20 . 27) (21 . 28)) 2067 0.3999 6.9249 ((15 . 2) (16 . 3) (17 . 4) (23 . 8)) 2072 0.4000 5.6637 ((15 . 2) (19 . 4) (20 . 6) (21 . 7)) 2081 0.3999 6.9448 ((16 . 1) (18 . 7) (21 . 9) (24 . 10)) 2083 0.4999 4.6830 ((17 . 2) (18 . 3) (21 . 4) (23 . 6) (24 . 7)) 2097 0.3997 9.3937 ((15 . 3) (17 . 5) (19 . 6) (20 . 7)) 2114 0.2800 9.7033 ((15 . 28) (18 . 30) (23 . 37) (25 . 38)) 2116 0.4000 5.8043 ((19 . 3) (20 . 4) (21 . 5) (24 . 7)) 2117 0.4000 3.3894 ((15 . 12) (16 . 13) (17 . 14) (19 . 16)) 2118 0.3998 7.9214 ((17 . 1) (21 . 5) (23 . 6) (24 . 7)) 2122 0.4999 5.8135 ((15 . 1) (16 . 5) (17 . 6) (21 . 8) (24 . 10)) 2166 0.3999 7.1361 ((16 . 5) (18 . 10) (21 . 12) (24 . 13)) 2179 0.4996 7.4734 ((15 . 1) (16 . 3) (17 . 4) (21 . 7) (24 . 10)) 2196 0.3999 7.1226 ((15 . 13) (17 . 15) (20 . 18) (21 . 19)) 2203 0.4000 5.2205 ((15 . 1) (16 . 3) (17 . 5) (19 . 6)) 2205 0.4000 5.3076 ((16 . 12) (20 . 16) (21 . 17) (24 . 19)) 2209 0.5999 4.5764 ((15 . 3) (16 . 4) (17 . 5) (21 . 7) (23 . 8) (24 . 9)) 2243 0.3670 8.1698 ((19 . 44) (20 . 45) (23 . 46) (25 . 48)) 2244 0.4000 5.6947 ((19 . 74) (20 . 75) (21 . 76) (24 . 78)) 2248 0.1970 3.8759 ((15 . 22) (16 . 23) (18 . 26) (21 . 27)) 2249 0.4000 5.6670 ((15 . 7) (16 . 9) (21 . 12) (24 . 16)) 2269 0.4204 4.9385 ((15 . 8) (16 . 9) (17 . 10) (18 . 11) (21 . 12)) 2279 0.4000 3.9980 ((15 . 5) (16 . 6) (17 . 7) (19 . 8)) 2298 0.6236 4.3391 ((15 . 6) (16 . 7) (17 . 10) (18 . 11) (21 . 12) (23 . 14) (24 . 15) (25 . 16)) 2308 0.4998 6.5003 ((15 . 6) (16 . 7) (17 . 8) (21 . 11) (25 . 14)) 2314 0.2800 8.8693 ((15 . 4) (17 . 8) (18 . 9) (24 . 11)) 2340 0.4000 3.6556 ((15 . 9) (16 . 10) (17 . 11) (21 . 14)) 2344 0.4203 7.6218 ((15 . 3) (16 . 5) (21 . 10) (23 . 12) (24 . 13)) 2364 0.5999 4.0556 ((15 . 7) (16 . 8) (17 . 9) (21 . 15) (23 . 16) (24 . 18)) 2381 0.3999 6.5884 ((18 . 2) (21 . 4) (24 . 6) (25 . 8)) 2389 0.3999 6.8034 ((19 . 9) (20 . 10) (21 . 11) (24 . 14)) 2408 0.3999 7.2697 ((15 . 39) (17 . 41) (21 . 45) (24 . 47)) 2409 0.3998 8.1158 ((16 . 1) (19 . 5) (24 . 9) (25 . 10)) 2410 0.2800 9.7409 ((16 . 12) (17 . 13) (18 . 14) (21 . 16)) 2422 0.6996 4.9003 ((15 . 1) (16 . 2) (17 . 4) (19 . 6) (20 . 7) (21 . 9) (23 . 10)) 2423 0.3998 7.8878 ((15 . 20) (17 . 22) (20 . 25) (21 . 26)) 2440 0.5000 3.6251 ((15 . 4) (16 . 5) (17 . 6) (21 . 7) (24 . 9)) 2447 0.6994 5.5763 ((15 . 30) (16 . 32) (17 . 33) (18 . 34) (21 . 36) (23 . 37) (24 . 40)) 2462 0.4000 5.1365 ((16 . 2) (17 . 3) (21 . 6) (25 . 10)) 2510 0.6997 4.5893 ((15 . 17) (16 . 18) (17 . 19) (21 . 23) (23 . 24) (24 . 25) (25 . 26)) 2525 0.4000 5.5917 ((16 . 37) (17 . 38) (20 . 41) (23 . 42)) 2529 0.4000 3.3577 ((15 . 1) (16 . 2) (17 . 3) (21 . 6)) 2533 0.5999 3.9444 ((15 . 4) (16 . 5) (17 . 6) (21 . 9) (23 . 11) (24 . 13)) 2551 0.3995 10.7771 ((15 . 3) (16 . 4) (23 . 8) (25 . 10)) 2552 0.6998 4.3228 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (21 . 5) (23 . 6) (25 . 7)) 2556 0.5386 3.2923 ((15 . 11) (16 . 12) (17 . 13) (18 . 17) (21 . 20) (23 . 21) (24 . 22)) 2557 0.3996 10.1471 ((16 . 1) (23 . 5) (24 . 7) (25 . 8)) 2561 0.3998 8.3525 ((16 . 5) (17 . 6) (20 . 7) (21 . 8)) 2595 0.5999 3.7594 ((15 . 1) (16 . 2) (17 . 4) (18 . 5) (21 . 6) (24 . 9)) 2619 0.5000 3.7702 ((15 . 1) (17 . 3) (21 . 5) (23 . 6) (24 . 7)) 2627 0.3995 10.3728 ((16 . 59) (17 . 60) (18 . 62) (21 . 65)) 2650 0.3998 8.3821 ((17 . 2) (18 . 4) (21 . 5) (24 . 7)) 2658 0.3998 8.1225 ((15 . 1) (20 . 3) (23 . 5) (25 . 6)) 2675 0.3999 6.2329 ((15 . 1) (17 . 7) (21 . 10) (24 . 11)) 2682 0.4000 5.3008 ((15 . 17) (16 . 18) (17 . 19) (23 . 22)) 2696 0.3999 6.9268 ((15 . 31) (19 . 34) (20 . 35) (24 . 39)) 2733 0.4000 5.4343 ((15 . 8) (16 . 9) (17 . 11) (18 . 12)) 2753 0.1970 9.5670 ((16 . 5) (18 . 6) (23 . 8) (25 . 10)) 2755 0.5000 3.7000 ((15 . 3) (16 . 4) (17 . 5) (21 . 6) (24 . 8)) 2773 0.3998 8.5607 ((17 . 3) (18 . 4) (21 . 5) (24 . 6)) 2783 0.4000 3.2626 ((16 . 4) (17 . 6) (21 . 8) (24 . 12)) 2804 0.3670 8.1597 ((15 . 29) (19 . 32) (20 . 34) (25 . 37)) 2821 0.3671 5.9743 ((17 . 3) (19 . 4) (20 . 5) (24 . 11)) 2830 0.6996 4.9813 ((15 . 11) (16 . 12) (17 . 13) (18 . 14) (21 . 15) (24 . 17) (25 . 18)) 2834 0.5996 5.9183 ((15 . 1) (16 . 2) (17 . 6) (18 . 7) (21 . 8) (24 . 16)) 2840 0.3670 8.5123 ((16 . 3) (20 . 6) (24 . 9) (25 . 10)) 2842 0.3998 8.5546 ((15 . 9) (16 . 10) (17 . 11) (18 . 12)) 2867 0.3670 7.1675 ((17 . 7) (20 . 9) (23 . 11) (25 . 13)) 2879 0.3999 6.2851 ((15 . 52) (19 . 57) (20 . 58) (21 . 59)) 2886 0.3999 7.1769 ((15 . 37) (17 . 39) (20 . 41) (21 . 43)) 2929 0.3363 6.4415 ((16 . 37) (18 . 38) (19 . 39) (20 . 40)) 2940 0.4999 5.0662 ((15 . 1) (16 . 2) (17 . 3) (21 . 4) (24 . 6)) 2947 0.4000 5.1748 ((17 . 2) (21 . 4) (23 . 5) (24 . 6)) 2966 0.3999 6.2786 ((17 . 1) (18 . 2) (21 . 4) (24 . 8)) 2990 0.4000 4.8617 ((15 . 12) (16 . 13) (17 . 14) (21 . 16)) 2999 0.4000 5.1985 ((15 . 2) (16 . 3) (19 . 6) (20 . 7)) 3014 0.3362 9.0508 ((16 . 9) (18 . 10) (23 . 12) (25 . 14)) 3019 0.3998 8.0975 ((15 . 20) (16 . 21) (17 . 22) (25 . 26)) 3034 0.4530 6.6926 ((15 . 1) (16 . 6) (17 . 7) (21 . 9) (23 . 11) (25 . 13)) 3041 0.6998 4.0933 ((15 . 12) (16 . 13) (17 . 14) (18 . 15) (21 . 16) (23 . 17) (24 . 18)) 3055 0.3999 6.8307 ((19 . 19) (20 . 20) (21 . 21) (24 . 25)) 3063 0.3996 9.8286 ((15 . 35) (17 . 38) (21 . 41) (24 . 42)) 3070 0.3999 7.4415 ((15 . 33) (16 . 34) (17 . 35) (19 . 36)) 3084 0.6998 3.9410 ((15 . 3) (16 . 4) (17 . 5) (18 . 6) (21 . 7) (23 . 8) (24 . 9)) 3102 0.3995 10.5932 ((16 . 64) (19 . 67) (20 . 68) (21 . 69)) 3103 0.3999 6.6016 ((15 . 5) (16 . 6) (21 . 11) (24 . 13)) 3114 0.3357 13.9125 ((15 . 25) (16 . 27) (18 . 28) (19 . 29)) 3120 0.1970 7.3500 ((16 . 20) (17 . 22) (18 . 23) (21 . 25)) 3127 0.4000 3.8372 ((16 . 7) (17 . 8) (21 . 11) (24 . 13)) 3147 0.4000 5.6296 ((15 . 22) (17 . 24) (19 . 26) (20 . 27)) 3176 0.1654 6.7200 ((19 . 26) (20 . 27) (23 . 30) (25 . 31)) 3187 0.3999 6.1128 ((15 . 2) (17 . 4) (21 . 6) (24 . 9)) 3190 0.5000 3.1850 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (24 . 11)) 3197 0.5000 3.2783 ((15 . 10) (16 . 11) (17 . 12) (21 . 16) (23 . 17)) 3200 0.4000 5.1843 ((16 . 12) (17 . 13) (18 . 14) (21 . 15)) 3212 0.4000 5.9163 ((18 . 1) (21 . 2) (24 . 5) (25 . 7)) 3222 0.3999 7.6392 ((17 . 1) (18 . 2) (21 . 4) (23 . 5)) 3256 0.3999 6.0724 ((15 . 13) (20 . 18) (21 . 19) (24 . 24)) 3261 0.3999 7.4535 ((15 . 1) (17 . 3) (23 . 5) (24 . 7)) 3286 0.3999 6.0495 ((16 . 6) (17 . 7) (23 . 11) (25 . 12)) 3289 0.5000 4.3245 ((17 . 27) (18 . 28) (19 . 29) (20 . 30) (21 . 31)) 3297 0.3999 7.7945 ((15 . 7) (17 . 8) (21 . 11) (24 . 13)) 3300 0.3999 6.3066 ((17 . 2) (18 . 3) (20 . 4) (21 . 5)) 3322 0.5000 3.2750 ((15 . 1) (16 . 2) (17 . 3) (21 . 7) (23 . 8)) 3334 0.3986 13.6816 ((15 . 3) (17 . 6) (18 . 7) (25 . 11)) 3339 0.5999 4.3999 ((15 . 11) (16 . 14) (17 . 15) (21 . 17) (23 . 18) (24 . 19)) 3358 0.4000 3.8647 ((15 . 4) (17 . 8) (18 . 9) (21 . 10)) 3362 0.5000 3.0666 ((15 . 4) (16 . 5) (17 . 6) (23 . 9) (24 . 11)) 3366 0.3998 7.9883 ((15 . 24) (17 . 27) (20 . 28) (21 . 29)) 3391 0.4998 6.0400 ((15 . 4) (16 . 5) (17 . 6) (21 . 8) (24 . 10)) 3410 0.4000 4.1628 ((15 . 21) (16 . 23) (17 . 24) (24 . 30)) 3418 0.3999 6.4748 ((16 . 1) (17 . 2) (20 . 5) (21 . 6)) 3446 0.3979 15.3464 ((16 . 4) (18 . 7) (23 . 10) (25 . 11)) 3472 0.3999 6.1356 ((17 . 1) (20 . 3) (21 . 4) (24 . 6)) 3481 0.6000 3.5380 ((15 . 2) (16 . 3) (17 . 4) (21 . 10) (23 . 11) (24 . 12)) 3495 0.3997 9.6275 ((16 . 5) (18 . 6) (19 . 7) (20 . 8)) 3496 0.3998 8.7502 ((17 . 19) (18 . 20) (21 . 22) (24 . 23)) 3537 0.4000 5.1235 ((16 . 3) (17 . 7) (18 . 8) (21 . 9)) 3538 0.3997 9.2946 ((16 . 22) (17 . 23) (21 . 25) (25 . 27)) 3548 0.4000 5.9652 ((16 . 7) (17 . 8) (21 . 10) (23 . 11)) 3549 0.3999 6.4343 ((17 . 1) (19 . 2) (24 . 5) (25 . 7)) 3561 0.4000 5.4056 ((16 . 17) (17 . 20) (23 . 25) (24 . 26)) 3570 0.5000 3.0944 ((15 . 1) (16 . 2) (17 . 3) (21 . 4) (24 . 8)) 3585 0.4000 5.0298 ((15 . 8) (17 . 12) (21 . 14) (24 . 16)) 3613 0.3671 6.4443 ((16 . 38) (18 . 39) (19 . 40) (20 . 41)) 3625 0.2801 6.2234 ((19 . 1) (20 . 2) (21 . 3) (24 . 6)) 3626 0.3999 6.2313 ((15 . 2) (16 . 5) (17 . 6) (21 . 11)) 3628 0.5995 6.2791 ((15 . 6) (16 . 7) (17 . 10) (21 . 12) (24 . 14) (25 . 15)) 3651 0.4999 5.4619 ((15 . 1) (16 . 2) (17 . 3) (21 . 5) (24 . 8)) 3656 0.1970 11.7912 ((16 . 12) (18 . 20) (23 . 21) (24 . 22)) 3658 0.4988 10.0087 ((15 . 1) (16 . 2) (19 . 3) (21 . 5) (25 . 9)) 3659 0.3997 9.1948 ((16 . 3) (19 . 5) (20 . 7) (21 . 8)) 3661 0.3823 6.3063 ((19 . 7) (20 . 8) (23 . 10) (25 . 13)) 3663 0.3998 8.7823 ((15 . 1) (16 . 4) (17 . 5) (23 . 7)) 3688 0.3998 7.9444 ((15 . 27) (17 . 29) (19 . 30) (20 . 32)) 3697 0.3996 10.1855 ((16 . 5) (17 . 6) (20 . 7) (23 . 9)) 3703 0.3994 11.0654 ((16 . 5) (17 . 6) (21 . 8) (23 . 10)) 3732 0.5000 3.0864 ((15 . 5) (16 . 6) (17 . 7) (23 . 10) (24 . 12)) 3733 0.5999 3.7553 ((15 . 1) (16 . 2) (17 . 3) (21 . 6) (23 . 7) (24 . 8)) 3740 0.4000 5.9402 ((15 . 2) (17 . 4) (21 . 6) (24 . 9)) 3741 0.3999 7.5158 ((15 . 26) (17 . 28) (20 . 32) (24 . 35)) 3776 1.0000 0.0000 ((15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (23 . 23) (24 . 24) (25 . 25)) 3778 0.4203 6.7893 ((16 . 5) (18 . 8) (20 . 12) (21 . 13) (25 . 17)) 3787 0.6000 3.2447 ((15 . 17) (16 . 18) (17 . 19) (21 . 21) (23 . 22) (24 . 23)) 3790 0.4000 5.2222 ((15 . 9) (17 . 13) (21 . 15) (24 . 18)) 3807 0.3999 6.0224 ((19 . 46) (21 . 47) (23 . 49) (24 . 50)) 3810 0.3999 7.7922 ((15 . 8) (17 . 11) (20 . 14) (21 . 15)) 3817 0.4000 3.8969 ((15 . 5) (16 . 6) (17 . 7) (21 . 9)) 3818 0.4000 4.7161 ((15 . 23) (16 . 24) (18 . 27) (21 . 28)) 3829 0.3361 11.1394 ((15 . 2) (18 . 4) (23 . 10) (25 . 11)) 3831 0.3362 9.7651 ((16 . 1) (19 . 2) (20 . 3) (24 . 6)) 3849 0.4825 3.8570 ((17 . 1) (19 . 2) (20 . 3) (21 . 5) (23 . 7)) 3853 0.4998 6.0655 ((16 . 2) (17 . 3) (18 . 4) (21 . 6) (24 . 8)) 3856 0.4000 3.7219 ((17 . 3) (18 . 4) (21 . 6) (24 . 9)) 3870 0.4999 4.9691 ((15 . 3) (17 . 5) (21 . 8) (23 . 9) (24 . 10)) 3933 0.4000 5.1109 ((15 . 11) (17 . 14) (19 . 16) (20 . 17)) 3938 0.4000 4.6547 ((17 . 4) (18 . 5) (19 . 6) (21 . 9)) 3942 0.3363 6.8142 ((17 . 2) (19 . 3) (23 . 8) (24 . 9)) 3968 0.5999 4.7378 ((15 . 3) (16 . 4) (17 . 5) (21 . 9) (23 . 10) (24 . 11)) 3986 0.3669 9.8508 ((15 . 7) (20 . 13) (21 . 15) (25 . 19)) 3990 0.4999 5.1596 ((17 . 16) (18 . 19) (21 . 20) (23 . 21) (24 . 22)) 4005 0.4000 4.2787 ((17 . 27) (18 . 28) (19 . 29) (20 . 30)) 4009 0.3997 9.4883 ((16 . 6) (17 . 7) (18 . 8) (24 . 13)) 4019 0.3998 8.3922 ((17 . 43) (19 . 44) (20 . 45) (21 . 46)) 4030 0.3990 12.7888 ((16 . 4) (18 . 7) (23 . 9) (25 . 10)) 4034 0.3997 9.6235 ((15 . 6) (16 . 7) (18 . 8) (25 . 14)) 4037 0.3997 9.3686 ((15 . 1) (17 . 3) (23 . 7) (25 . 8)) 4062 0.3823 6.1568 ((16 . 45) (18 . 47) (19 . 48) (20 . 49)) 4067 0.6000 3.2555 ((15 . 14) (16 . 15) (17 . 16) (18 . 19) (21 . 20) (24 . 22)) 4077 0.2798 13.8037 ((16 . 9) (17 . 10) (23 . 14) (25 . 15)) 4082 0.4000 4.1708 ((19 . 5) (20 . 6) (21 . 7) (24 . 10)) 4087 0.3999 6.4979 ((17 . 1) (18 . 4) (21 . 5) (24 . 7)) 4112 0.3362 9.3092 ((19 . 1) (20 . 2) (21 . 3) (25 . 7)) 4115 0.5000 3.6014 ((15 . 1) (16 . 2) (21 . 8) (23 . 9) (24 . 10)) 4140 0.4000 5.5731 ((15 . 21) (21 . 22) (24 . 23) (25 . 26)) 4151 0.4998 6.1683 ((15 . 5) (16 . 6) (17 . 7) (21 . 9) (24 . 12)) 4177 0.3998 8.9463 ((16 . 6) (17 . 7) (20 . 8) (21 . 9)) 4190 0.4000 5.2232 ((15 . 3) (16 . 6) (21 . 8) (24 . 9)) 4192 0.4000 5.1929 ((17 . 10) (18 . 11) (21 . 13) (24 . 15)) 4194 0.5386 4.4322 ((15 . 1) (16 . 2) (17 . 3) (18 . 4) (21 . 5) (24 . 7)) 4195 0.3363 8.8654 ((15 . 6) (18 . 8) (20 . 9) (25 . 11)) 4204 0.4999 5.3539 ((15 . 3) (16 . 4) (17 . 5) (21 . 9) (23 . 12)) 4209 0.3999 7.3727 ((17 . 2) (20 . 5) (21 . 7) (25 . 11)) 4210 0.4996 7.5434 ((16 . 3) (17 . 4) (20 . 5) (21 . 6) (24 . 8)) 4226 0.4000 5.8378 ((16 . 15) (18 . 17) (19 . 18) (20 . 19)) 4232 0.2801 6.8661 ((17 . 3) (19 . 4) (20 . 5) (23 . 7)) 4236 0.3822 8.9445 ((15 . 5) (19 . 7) (20 . 8) (25 . 13)) 4246 0.3999 7.6278 ((15 . 3) (17 . 6) (19 . 7) (20 . 8)) 4254 0.3999 6.3619 ((16 . 12) (17 . 13) (18 . 14) (21 . 18)) 4255 0.3999 7.6662 ((15 . 21) (16 . 22) (17 . 23) (19 . 24)) 4257 0.4000 3.1987 ((17 . 1) (18 . 2) (21 . 3) (24 . 7)) 4265 0.5998 5.0847 ((15 . 21) (16 . 22) (17 . 23) (19 . 24) (21 . 26) (24 . 29)) 4266 0.5999 4.0948 ((15 . 2) (16 . 3) (17 . 4) (18 . 7) (21 . 8) (24 . 12)) 4274 0.1493 5.9063 ((17 . 36) (18 . 37) (21 . 38) (23 . 39)) 4275 0.4997 7.1050 ((15 . 21) (16 . 22) (17 . 23) (21 . 25) (23 . 26)) 4281 0.4528 8.5201 ((15 . 3) (17 . 5) (18 . 7) (23 . 13) (25 . 14)) 4284 0.4531 4.3422 ((15 . 6) (18 . 7) (19 . 8) (20 . 9) (21 . 10)) 4299 0.3999 6.3317 ((15 . 11) (16 . 13) (17 . 14) (19 . 16)) 4301 0.3999 6.8414 ((17 . 2) (20 . 3) (21 . 4) (24 . 8)) 4326 0.6000 3.4958 ((15 . 2) (16 . 6) (17 . 7) (21 . 15) (23 . 16) (24 . 17)) 4332 0.1970 9.1928 ((16 . 1) (17 . 2) (21 . 6) (23 . 8)) 4338 0.4999 5.3235 ((15 . 4) (16 . 5) (17 . 6) (21 . 8) (24 . 11)) 4352 0.3998 8.6678 ((16 . 6) (18 . 7) (20 . 9) (25 . 13)) 4359 0.3999 6.1857 ((19 . 14) (20 . 15) (21 . 18) (24 . 19)) 4380 0.3997 9.6186 ((15 . 14) (16 . 16) (19 . 17) (20 . 18)) 4383 0.3999 6.0304 ((17 . 15) (20 . 16) (21 . 17) (24 . 19)) 4386 0.3998 7.9325 ((16 . 15) (18 . 17) (24 . 19) (25 . 20)) 4388 0.4997 7.2465 ((15 . 3) (16 . 4) (17 . 5) (21 . 8) (24 . 10)) 4398 0.4999 4.6563 ((15 . 4) (16 . 5) (17 . 6) (21 . 8) (24 . 12)) 4405 0.3999 6.4202 ((15 . 14) (16 . 17) (17 . 18) (20 . 19)) 4408 0.4998 6.6420 ((15 . 4) (16 . 5) (17 . 6) (21 . 7) (24 . 14)) 4415 0.4000 3.4363 ((15 . 9) (16 . 10) (17 . 11) (19 . 12)) 4419 0.3998 8.2425 ((15 . 3) (16 . 5) (21 . 8) (25 . 11)) 4426 0.3998 8.2828 ((16 . 1) (17 . 2) (18 . 3) (21 . 4)) 4470 0.4997 6.8540 ((15 . 1) (16 . 4) (17 . 5) (18 . 6) (21 . 7)) 4492 0.4998 6.3160 ((15 . 11) (16 . 12) (17 . 13) (21 . 16) (24 . 21)) 4495 0.4000 5.6171 ((15 . 14) (16 . 15) (17 . 16) (21 . 18)) 4497 0.3999 6.2217 ((19 . 25) (20 . 26) (21 . 27) (24 . 30)) 4502 0.4000 4.2076 ((17 . 11) (21 . 14) (23 . 16) (24 . 17)) 4503 0.4000 5.7198 ((16 . 2) (17 . 5) (19 . 6) (20 . 7)) 4504 0.4998 6.3284 ((15 . 17) (16 . 18) (17 . 19) (23 . 23) (25 . 24)) 4505 0.5000 3.5135 ((15 . 28) (16 . 29) (17 . 30) (23 . 33) (24 . 34)) 4516 0.5000 3.2907 ((15 . 14) (18 . 15) (21 . 16) (23 . 17) (24 . 18)) 4538 0.3996 10.0367 ((16 . 27) (21 . 32) (23 . 36) (24 . 37)) 4551 0.5000 4.1241 ((15 . 1) (17 . 2) (21 . 4) (23 . 7) (24 . 8)) 4560 0.3999 6.9152 ((16 . 5) (17 . 6) (21 . 8) (24 . 11)) 4561 0.4998 6.4920 ((15 . 1) (16 . 4) (17 . 5) (21 . 7) (24 . 9)) 4562 0.6000 3.5486 ((15 . 19) (16 . 21) (17 . 22) (21 . 27) (23 . 28) (24 . 29)) 4563 0.5000 3.8864 ((15 . 26) (16 . 27) (17 . 28) (21 . 31) (24 . 34)) 4577 0.3994 11.1021 ((16 . 56) (19 . 58) (23 . 59) (24 . 60)) 4579 0.3988 13.1584 ((16 . 25) (18 . 26) (23 . 27) (25 . 28)) 4588 0.5000 3.2760 ((15 . 1) (16 . 2) (17 . 3) (21 . 11) (24 . 13)) 4589 0.4999 5.6517 ((15 . 18) (16 . 20) (17 . 22) (21 . 23) (24 . 30)) 4607 0.2800 8.0408 ((19 . 3) (20 . 4) (23 . 8) (25 . 11)) 4621 0.3999 6.4086 ((17 . 3) (18 . 5) (24 . 9) (25 . 10)) 4630 0.4000 3.3535 ((17 . 28) (19 . 29) (21 . 31) (24 . 35)) 4648 0.2413 9.6062 ((17 . 2) (18 . 3) (20 . 5) (21 . 8)) 4653 0.4996 7.5922 ((15 . 1) (16 . 2) (17 . 4) (19 . 5) (20 . 6)) 4665 0.2413 8.0498 ((15 . 11) (17 . 12) (19 . 13) (20 . 14)) 4668 0.4000 3.2336 ((15 . 1) (16 . 2) (17 . 5) (18 . 6)) 4669 0.4000 4.1726 ((15 . 15) (16 . 16) (18 . 18) (21 . 21)) 4671 0.3999 6.7789 ((20 . 1) (21 . 2) (24 . 4) (25 . 5)) 4674 0.3363 7.7632 ((15 . 1) (16 . 3) (18 . 4) (24 . 8)) 4678 0.3998 8.6167 ((16 . 3) (18 . 5) (20 . 6) (24 . 10)) 4713 0.3999 7.1531 ((19 . 5) (20 . 6) (21 . 7) (24 . 9)) 4715 0.3999 7.2390 ((18 . 5) (20 . 6) (23 . 9) (25 . 10)) 4731 0.3999 6.9330 ((15 . 18) (18 . 19) (21 . 22) (24 . 24)) 4734 0.3363 7.0727 ((17 . 2) (19 . 3) (20 . 5) (21 . 6)) 4764 0.3993 11.5406 ((16 . 6) (18 . 8) (23 . 10) (25 . 11)) 4817 0.1493 7.8277 ((16 . 5) (18 . 6) (23 . 9) (25 . 11)) 4857 0.2801 6.0665 ((17 . 11) (21 . 13) (23 . 14) (25 . 15)) 4886 0.3997 9.7304 ((16 . 18) (17 . 19) (23 . 20) (24 . 22)) 4888 0.3998 8.4156 ((15 . 9) (16 . 11) (21 . 14) (25 . 18)) 4889 0.3998 8.0600 ((19 . 2) (20 . 3) (23 . 5) (24 . 6)) 4907 0.3999 7.8279 ((19 . 3) (20 . 4) (21 . 5) (24 . 9)) 4914 0.3999 6.4348 ((15 . 4) (19 . 8) (20 . 9) (21 . 10)) 4921 0.1329 8.1999 ((16 . 13) (19 . 14) (20 . 15) (21 . 17)) 4929 0.3999 7.7853 ((15 . 28) (17 . 31) (21 . 33) (24 . 35)) 4932 0.4998 6.7143 ((15 . 1) (17 . 4) (21 . 5) (23 . 7) (24 . 8)) 4940 0.4000 5.9096 ((17 . 4) (18 . 5) (21 . 6) (24 . 8)) 4944 0.4997 6.9883 ((15 . 11) (16 . 12) (20 . 13) (21 . 14) (24 . 16)) 4961 0.3999 6.1809 ((17 . 1) (21 . 3) (23 . 4) (24 . 6)) 4963 0.3994 10.9928 ((16 . 3) (18 . 5) (23 . 7) (25 . 8)) 4978 0.4994 8.3411 ((16 . 27) (17 . 28) (21 . 30) (23 . 31) (24 . 32)) 4982 0.4999 5.0125 ((15 . 1) (16 . 2) (17 . 3) (18 . 5) (21 . 6)) 4992 0.3999 6.0835 ((15 . 6) (16 . 7) (17 . 8) (20 . 9)) 4998 0.4000 5.2255 ((17 . 1) (18 . 2) (21 . 3) (24 . 6)) 5029 0.6000 3.4881 ((15 . 2) (16 . 3) (17 . 4) (21 . 8) (23 . 9) (24 . 10)) 5036 0.3999 7.0619 ((19 . 6) (20 . 7) (21 . 8) (24 . 10)) 5038 0.3999 6.9985 ((17 . 10) (19 . 12) (20 . 14) (21 . 15)) 5039 0.4000 3.2845 ((15 . 37) (16 . 38) (17 . 39) (24 . 44)) 5046 0.3999 6.1209 ((17 . 1) (21 . 3) (23 . 9) (24 . 10)) 5053 0.3998 8.5159 ((16 . 8) (17 . 9) (21 . 12) (25 . 14)) 5065 0.3999 6.7067 ((16 . 1) (17 . 2) (23 . 6) (24 . 8)) 5068 0.5998 5.3620 ((15 . 2) (16 . 3) (17 . 4) (21 . 17) (23 . 19) (24 . 20)) 5069 0.6000 3.4167 ((15 . 2) (16 . 3) (17 . 4) (21 . 9) (23 . 14) (24 . 15)) 5073 0.5999 4.1071 ((15 . 32) (16 . 33) (17 . 34) (18 . 35) (21 . 36) (24 . 39)) 5080 0.3670 7.8525 ((19 . 2) (20 . 3) (23 . 5) (25 . 6)) 5083 0.3998 8.1018 ((16 . 3) (19 . 5) (20 . 6) (21 . 8)) 5092 0.3994 11.0780 ((16 . 8) (18 . 9) (23 . 11) (25 . 13)) 5101 0.5999 3.8053 ((15 . 15) (16 . 17) (17 . 18) (21 . 23) (23 . 24) (24 . 25)) 5103 0.6000 3.3408 ((15 . 2) (16 . 3) (17 . 4) (21 . 6) (23 . 8) (24 . 9)) 5121 0.4000 4.7018 ((16 . 14) (18 . 17) (21 . 18) (24 . 21)) 5132 0.6996 4.9092 ((15 . 18) (16 . 19) (17 . 20) (18 . 21) (21 . 22) (23 . 24) (24 . 26)) 5134 0.4000 5.3007 ((16 . 16) (17 . 17) (18 . 18) (21 . 19)) 5145 0.3999 6.3514 ((21 . 3) (23 . 4) (24 . 5) (25 . 7)) 5167 0.7993 4.9057 ((15 . 1) (16 . 2) (17 . 3) (18 . 7) (21 . 9) (23 . 10) (24 . 12) (25 . 13)) 5176 0.4000 4.5402 ((17 . 84) (18 . 85) (20 . 86) (21 . 87)) 5183 0.3999 6.7289 ((20 . 34) (21 . 35) (24 . 37) (25 . 39)) 5192 0.3998 8.5553 ((16 . 13) (21 . 17) (23 . 19) (24 . 21)) 5198 0.4000 4.1044 ((15 . 21) (21 . 24) (23 . 25) (24 . 26)) 5209 0.3998 8.5854 ((17 . 4) (18 . 6) (21 . 7) (24 . 9)) 5212 0.3671 6.4477 ((19 . 2) (20 . 3) (23 . 7) (25 . 8)) 5215 0.3999 6.9181 ((18 . 6) (21 . 9) (24 . 10) (25 . 14)) 5223 0.4999 5.8480 ((15 . 8) (16 . 9) (17 . 10) (21 . 15) (24 . 17)) 5231 0.3999 7.7194 ((17 . 8) (20 . 12) (23 . 15) (24 . 16)) 5266 0.4000 4.4961 ((15 . 4) (16 . 5) (17 . 6) (24 . 10)) 5278 0.3999 7.0325 ((17 . 2) (18 . 3) (20 . 5) (24 . 8)) 5307 0.5991 7.3597 ((15 . 51) (16 . 52) (17 . 53) (18 . 54) (21 . 55) (23 . 56)) 5312 0.4998 6.6973 ((15 . 1) (19 . 3) (20 . 4) (21 . 5) (23 . 6)) 5318 0.4992 8.9952 ((16 . 7) (17 . 8) (18 . 9) (21 . 11) (23 . 12)) 5323 0.3671 5.3441 ((19 . 10) (20 . 11) (23 . 13) (25 . 15)) 5324 0.6999 3.6045 ((15 . 7) (16 . 8) (17 . 10) (18 . 11) (21 . 12) (23 . 13) (24 . 14)) 5344 0.4000 4.8513 ((17 . 1) (20 . 2) (21 . 3) (24 . 7)) 5345 0.3999 6.3959 ((17 . 2) (19 . 4) (20 . 5) (21 . 7)) 5368 0.3999 7.6932 ((19 . 21) (20 . 22) (21 . 25) (24 . 27)) 5378 0.4000 3.9926 ((15 . 4) (16 . 5) (17 . 6) (21 . 7)) 5414 0.3999 7.2612 ((19 . 16) (20 . 18) (21 . 19) (24 . 21)) 5418 0.4000 3.6637 ((15 . 2) (17 . 5) (19 . 7) (20 . 8)) 5421 0.2413 5.0532 ((15 . 2) (17 . 3) (19 . 4) (20 . 5)) 5433 0.4000 4.4457 ((15 . 7) (17 . 10) (19 . 12) (20 . 13)) 5442 0.3998 8.7170 ((16 . 32) (18 . 33) (23 . 36) (25 . 37)) 5479 0.3999 7.7783 ((15 . 33) (17 . 34) (21 . 36) (24 . 40)) 5487 0.4000 4.1750 ((17 . 4) (21 . 9) (23 . 10) (24 . 11)) 5500 0.3996 10.2268 ((15 . 1) (17 . 3) (21 . 7) (24 . 12)) 5501 0.1970 7.6488 ((16 . 23) (18 . 26) (19 . 24) (20 . 25)) 5525 0.2800 9.0456 ((16 . 1) (18 . 2) (23 . 3) (25 . 5)) 5535 0.3668 10.6018 ((16 . 1) (20 . 4) (23 . 5) (24 . 8)) 5540 0.3997 9.2798 ((17 . 1) (18 . 2) (21 . 3) (23 . 5)) 5557 0.3998 8.0600 ((19 . 2) (20 . 3) (21 . 4) (24 . 6)) 5560 0.5000 3.3039 ((15 . 15) (16 . 16) (17 . 17) (18 . 18) (21 . 20)) 5562 0.3999 6.7054 ((15 . 11) (16 . 13) (23 . 18) (25 . 20)) 5567 0.4996 7.5267 ((15 . 15) (16 . 16) (17 . 17) (20 . 18) (21 . 19)) 5594 0.4204 5.8065 ((15 . 1) (17 . 4) (21 . 6) (23 . 8) (24 . 9)) 5600 0.3998 8.5839 ((15 . 3) (16 . 4) (17 . 5) (20 . 6)) 5601 0.4000 3.9996 ((15 . 5) (17 . 7) (21 . 10) (23 . 11)) 5638 0.3998 8.0329 ((19 . 7) (20 . 8) (21 . 9) (24 . 13)) 5640 0.3998 8.0305 ((19 . 21) (20 . 22) (21 . 23) (24 . 25)) 5644 0.2801 7.3199 ((17 . 3) (19 . 4) (21 . 8) (24 . 10)) 5656 0.6998 3.9923 ((15 . 1) (16 . 4) (17 . 5) (18 . 12) (21 . 14) (23 . 15) (24 . 16)) 5689 0.1969 15.0713 ((16 . 2) (18 . 3) (23 . 7) (25 . 8)) 5700 0.3998 8.2735 ((19 . 2) (20 . 3) (21 . 4) (24 . 6)) 5701 0.4000 5.9743 ((16 . 7) (17 . 8) (21 . 11) (25 . 13)) 5702 0.3997 9.4148 ((16 . 4) (18 . 9) (23 . 12) (25 . 16)) 5711 0.3362 9.9628 ((15 . 38) (17 . 42) (21 . 44) (24 . 47)) 5713 0.4000 4.5409 ((15 . 11) (17 . 13) (21 . 15) (24 . 20)) 5718 0.4000 4.4294 ((15 . 17) (17 . 21) (18 . 22) (20 . 23)) 5731 0.4884 7.7161 ((17 . 3) (19 . 4) (20 . 5) (21 . 7) (23 . 8)) 5746 0.3998 8.0020 ((16 . 1) (17 . 2) (19 . 3) (24 . 7)) 5749 0.3361 10.7646 ((17 . 4) (20 . 5) (21 . 6) (25 . 9)) 5761 0.3996 10.0655 ((17 . 28) (21 . 31) (23 . 33) (25 . 34)) 5770 0.3997 9.0625 ((15 . 1) (16 . 2) (20 . 6) (23 . 10)) 5771 0.5999 3.8838 ((15 . 1) (16 . 8) (17 . 9) (21 . 17) (23 . 19) (24 . 20)) 5782 0.4000 5.7517 ((15 . 15) (16 . 17) (17 . 18) (24 . 24)) 5794 0.4000 5.9053 ((17 . 19) (18 . 22) (21 . 23) (24 . 25)) 5795 0.4000 5.6721 ((16 . 5) (23 . 11) (24 . 13) (25 . 14)) 5809 0.4998 6.3343 ((15 . 3) (16 . 4) (17 . 5) (21 . 7) (24 . 9)) 5822 0.3670 6.8354 ((15 . 2) (17 . 4) (19 . 6) (25 . 10)) 5827 0.4000 4.1200 ((17 . 5) (21 . 8) (23 . 10) (24 . 11)) 5830 0.3995 10.6488 ((16 . 5) (19 . 8) (21 . 10) (23 . 11)) 5847 0.4717 6.5000 ((17 . 3) (19 . 4) (20 . 5) (21 . 7) (24 . 10)) 5861 0.4000 4.2100 ((15 . 11) (17 . 12) (21 . 15) (24 . 20)) 5865 0.4000 4.7868 ((17 . 1) (21 . 5) (23 . 6) (24 . 7)) 5878 0.3670 7.2178 ((16 . 24) (19 . 26) (20 . 28) (21 . 30)) 5888 0.3999 6.8991 ((19 . 8) (20 . 9) (21 . 10) (24 . 12)) 5896 0.3999 6.6336 ((15 . 26) (16 . 27) (17 . 28) (23 . 32)) 5904 0.6997 4.7210 ((15 . 1) (16 . 3) (17 . 4) (18 . 8) (21 . 9) (23 . 10) (24 . 11)) 5913 0.4995 7.9977 ((16 . 12) (18 . 14) (21 . 15) (23 . 16) (24 . 17)) 5914 0.3671 3.9026 ((17 . 3) (18 . 4) (19 . 5) (20 . 6)) 5922 0.3999 7.0406 ((19 . 4) (20 . 5) (21 . 6) (24 . 9)) 5930 0.5000 3.9279 ((17 . 2) (18 . 3) (21 . 4) (23 . 6) (24 . 7)) 5939 0.4998 6.4738 ((15 . 2) (16 . 3) (21 . 6) (23 . 7) (24 . 8)) 5945 0.6000 3.2487 ((15 . 2) (16 . 10) (17 . 11) (21 . 23) (23 . 25) (24 . 26)) 5949 0.4000 4.3376 ((15 . 12) (16 . 13) (17 . 14) (18 . 15)) 5955 0.6999 3.6247 ((15 . 1) (16 . 2) (17 . 3) (18 . 6) (21 . 7) (23 . 8) (24 . 9)) 5967 0.6000 3.0622 ((15 . 1) (16 . 2) (17 . 3) (21 . 7) (23 . 8) (25 . 10)) 5972 0.3669 9.6780 ((16 . 5) (18 . 8) (19 . 7) (20 . 6)) 5977 0.3998 8.2928 ((15 . 3) (16 . 4) (17 . 5) (20 . 6)) 6000 0.4000 5.7357 ((16 . 16) (17 . 17) (18 . 18) (21 . 21)) 6011 0.3999 7.1867 ((15 . 2) (17 . 5) (19 . 7) (20 . 8)) 6022 0.3999 6.4191 ((15 . 1) (17 . 2) (21 . 5) (24 . 8)) 6028 0.3317 5.5386 ((15 . 1) (19 . 2) (20 . 3) (23 . 8) (24 . 9)) 6029 0.5385 4.7613 ((15 . 1) (16 . 2) (17 . 19) (18 . 20) (21 . 21) (24 . 23)) 6041 0.4998 6.6779 ((16 . 6) (18 . 9) (21 . 10) (24 . 12) (25 . 14)) 6046 0.3997 9.1449 ((16 . 1) (17 . 2) (21 . 5) (23 . 7)) 6061 0.3999 6.8678 ((15 . 17) (16 . 18) (17 . 20) (20 . 21)) 6074 0.5000 4.0590 ((15 . 2) (17 . 4) (18 . 5) (21 . 6) (24 . 8)) 6075 0.5000 2.3658 ((15 . 17) (16 . 19) (17 . 20) (21 . 24) (24 . 27)) 6079 0.3999 6.1924 ((19 . 7) (20 . 8) (21 . 9) (24 . 11)) 6087 0.4000 3.8602 ((15 . 3) (21 . 8) (23 . 9) (24 . 10)) 6089 0.3997 8.9902 ((15 . 21) (16 . 22) (23 . 26) (25 . 30)) 6094 0.4885 7.3109 ((17 . 3) (19 . 4) (20 . 5) (21 . 7) (23 . 8)) 6099 0.3999 6.5427 ((15 . 5) (17 . 7) (21 . 10) (24 . 13)) 6142 0.4000 5.8685 ((15 . 2) (17 . 4) (21 . 6) (24 . 8)) 6148 0.3362 9.1159 ((17 . 32) (20 . 33) (21 . 34) (23 . 35)) 6167 0.4994 8.5148 ((19 . 10) (20 . 12) (21 . 14) (24 . 20) (25 . 22)) 6173 0.3999 6.2811 ((15 . 3) (17 . 5) (21 . 8) (24 . 13)) 6191 0.2413 9.7503 ((16 . 1) (19 . 3) (20 . 4) (25 . 7)) 6192 0.2801 6.1510 ((15 . 1) (16 . 2) (17 . 3) (18 . 4)) 6215 0.3363 7.2006 ((15 . 18) (17 . 20) (18 . 22) (21 . 24)) 6225 0.5999 3.6999 ((15 . 5) (16 . 9) (17 . 10) (21 . 12) (23 . 27) (24 . 28)) 6228 0.4000 5.0430 ((16 . 4) (17 . 5) (18 . 6) (21 . 7)) 6234 0.4000 5.7463 ((19 . 6) (20 . 7) (21 . 9) (24 . 13)) 6238 0.3999 6.9876 ((15 . 3) (18 . 6) (21 . 8) (25 . 10)) 6243 0.4999 4.7708 ((15 . 6) (16 . 7) (17 . 8) (21 . 10) (23 . 12)) 6251 0.5000 3.5298 ((15 . 8) (16 . 9) (17 . 10) (23 . 14) (24 . 15)) 6258 0.5999 3.6412 ((15 . 7) (16 . 8) (17 . 9) (21 . 10) (23 . 11) (24 . 12)) 6261 0.7997 4.0098 ((15 . 1) (16 . 2) (17 . 3) (18 . 7) (21 . 9) (23 . 10) (24 . 11) (25 . 15)) 6266 0.4999 5.5667 ((15 . 6) (16 . 7) (17 . 8) (23 . 12) (25 . 13)) 6270 0.3993 11.4392 ((16 . 14) (17 . 15) (21 . 17) (23 . 19)) 6271 0.3999 6.9770 ((16 . 6) (17 . 8) (18 . 9) (25 . 13)) 6273 0.0999 9.2900 ((19 . 1) (20 . 2) (23 . 5) (24 . 6)) 6294 0.5000 3.1167 ((15 . 11) (16 . 12) (21 . 14) (23 . 15) (24 . 16)) 6306 0.3999 6.2278 ((15 . 17) (16 . 18) (17 . 19) (19 . 20)) 6309 0.3997 9.1557 ((15 . 17) (16 . 19) (17 . 20) (23 . 26)) 6311 0.3999 6.6758 ((15 . 5) (19 . 10) (20 . 11) (24 . 14)) 6326 0.4000 3.7825 ((17 . 7) (19 . 9) (20 . 10) (21 . 11)) 6329 0.3359 12.8608 ((16 . 9) (18 . 11) (23 . 14) (25 . 15)) 6344 0.4000 4.8878 ((15 . 4) (16 . 5) (19 . 7) (20 . 8)) 6348 0.6998 3.9708 ((15 . 1) (16 . 3) (17 . 4) (18 . 8) (21 . 9) (24 . 11) (25 . 13)) 6355 0.3998 8.3006 ((15 . 4) (17 . 7) (19 . 8) (25 . 13)) 6356 0.5998 4.8621 ((15 . 4) (16 . 5) (17 . 6) (21 . 9) (23 . 10) (24 . 11)) 6369 0.4998 6.1028 ((15 . 24) (16 . 25) (17 . 26) (21 . 29) (24 . 31)) 6376 0.5000 2.3312 ((15 . 17) (16 . 18) (17 . 19) (21 . 24) (24 . 26)) 6391 0.3999 6.2032 ((15 . 8) (16 . 11) (17 . 12) (19 . 14)) 6392 0.4000 5.1029 ((15 . 1) (16 . 2) (23 . 8) (24 . 9)) 6399 0.4000 4.5385 ((15 . 19) (17 . 20) (21 . 25) (24 . 29)) 6403 0.6987 6.6676 ((15 . 4) (16 . 6) (17 . 7) (20 . 14) (21 . 15) (23 . 16) (24 . 17)) 6434 0.3363 8.8545 ((17 . 3) (21 . 5) (23 . 6) (25 . 7)) 6462 0.4997 7.1467 ((16 . 17) (17 . 18) (21 . 20) (24 . 22) (25 . 23)) 6476 0.2800 9.7825 ((16 . 1) (17 . 4) (18 . 5) (23 . 7)) 6498 0.6000 3.1686 ((15 . 10) (16 . 11) (17 . 12) (21 . 37) (23 . 39) (24 . 40)) 6520 0.4000 4.9629 ((17 . 10) (18 . 11) (21 . 13) (24 . 15)) 6539 0.4000 3.5401 ((15 . 5) (16 . 7) (17 . 8) (18 . 9)) 6540 0.4000 5.9393 ((15 . 16) (17 . 18) (21 . 20) (24 . 22)) 6548 0.4204 3.7538 ((15 . 7) (16 . 8) (17 . 9) (18 . 10) (21 . 13)) 6553 0.5994 6.8327 ((15 . 17) (16 . 19) (17 . 20) (21 . 22) (23 . 27) (25 . 28)) 6555 0.3999 7.0804 ((15 . 13) (17 . 17) (21 . 20) (24 . 23)) 6561 0.3998 8.6713 ((15 . 3) (19 . 9) (20 . 10) (24 . 12)) 6573 0.4999 4.8149 ((16 . 15) (18 . 18) (21 . 19) (23 . 20) (24 . 21)) 6575 0.3363 8.0356 ((17 . 2) (18 . 3) (23 . 6) (25 . 7)) 6578 0.3999 7.3923 ((19 . 31) (20 . 32) (24 . 37) (25 . 39)) 6584 0.3999 6.3720 ((18 . 4) (21 . 5) (24 . 8) (25 . 10)) 6585 0.5000 3.8014 ((15 . 6) (16 . 7) (17 . 8) (18 . 9) (21 . 10)) 6586 0.0999 5.3450 ((15 . 18) (16 . 19) (21 . 24) (24 . 25)) 6587 0.4000 5.6375 ((15 . 29) (16 . 32) (17 . 33) (23 . 36)) 6598 0.4000 5.2643 ((16 . 12) (17 . 13) (21 . 17) (24 . 20)) 6613 0.4996 7.6021 ((16 . 23) (17 . 24) (18 . 25) (21 . 27) (24 . 31)) 6635 0.3996 10.0085 ((16 . 2) (21 . 5) (23 . 6) (25 . 9)) END