6376 25 0.2975 9.1729 ((18 . 2) (23 . 4) (29 . 9) (30 . 10)) 41 0.3568 5.5928 ((16 . 2) (17 . 3) (18 . 4) (19 . 5) (24 . 7)) 51 0.3077 6.4031 ((19 . 2) (24 . 7) (27 . 10) (28 . 11)) 62 0.3077 4.5049 ((18 . 9) (19 . 10) (24 . 13) (26 . 16)) 64 0.3077 4.4203 ((17 . 3) (19 . 6) (27 . 9) (28 . 10)) 77 0.3068 16.8843 ((16 . 3) (19 . 8) (20 . 10) (29 . 17)) 91 0.5346 2.6725 ((17 . 16) (18 . 18) (19 . 19) (21 . 21) (23 . 27) (24 . 28) (26 . 31)) 96 0.3077 3.3166 ((17 . 1) (18 . 2) (19 . 3) (24 . 6)) 129 0.3074 12.7241 ((19 . 3) (21 . 5) (24 . 8) (28 . 12)) 136 0.3763 5.5730 ((19 . 3) (20 . 4) (21 . 5) (23 . 6) (26 . 8)) 147 0.1919 10.4005 ((16 . 1) (18 . 2) (23 . 5) (30 . 9)) 150 0.3077 4.3469 ((17 . 20) (18 . 21) (19 . 23) (21 . 25)) 153 0.3845 6.7721 ((19 . 1) (21 . 4) (26 . 6) (27 . 7) (28 . 8)) 155 0.1919 8.8941 ((16 . 4) (18 . 5) (20 . 6) (23 . 7)) 157 0.3077 3.9158 ((17 . 14) (19 . 16) (20 . 17) (21 . 18)) 161 0.2554 3.9257 ((26 . 3) (27 . 4) (28 . 6) (29 . 7)) 162 0.2854 10.2719 ((16 . 16) (17 . 17) (19 . 18) (24 . 22)) 169 0.3845 7.8933 ((17 . 3) (19 . 5) (24 . 9) (26 . 10) (27 . 11)) 177 0.3077 7.0086 ((17 . 3) (19 . 5) (24 . 8) (26 . 10)) 198 0.3076 8.1155 ((21 . 10) (24 . 12) (27 . 16) (28 . 17)) 207 0.3763 6.8585 ((16 . 12) (17 . 13) (19 . 15) (20 . 16) (21 . 18)) 233 0.3077 7.5460 ((19 . 1) (26 . 5) (27 . 7) (28 . 8)) 259 0.3025 9.8991 ((18 . 2) (20 . 3) (23 . 5) (30 . 8)) 300 0.3077 7.0318 ((19 . 8) (21 . 9) (27 . 13) (28 . 14)) 305 0.3077 6.5801 ((20 . 8) (21 . 9) (23 . 10) (28 . 16)) 307 0.3846 2.5996 ((17 . 1) (18 . 2) (19 . 3) (24 . 7) (26 . 9)) 315 0.3077 6.2199 ((23 . 2) (24 . 3) (26 . 5) (27 . 6)) 317 0.3076 9.8975 ((16 . 1) (20 . 3) (23 . 6) (30 . 10)) 329 0.3026 5.8274 ((20 . 1) (24 . 5) (29 . 8) (30 . 9)) 350 0.3077 5.5568 ((19 . 5) (21 . 8) (23 . 9) (28 . 15)) 360 0.3077 6.4204 ((17 . 9) (19 . 12) (20 . 13) (23 . 15)) 361 0.3076 10.4588 ((17 . 2) (18 . 3) (19 . 4) (29 . 9)) 365 0.3076 9.1946 ((17 . 2) (19 . 4) (20 . 7) (24 . 8)) 367 0.3846 5.0865 ((17 . 38) (24 . 40) (26 . 42) (27 . 43) (28 . 47)) 372 0.3077 6.8423 ((21 . 5) (24 . 7) (26 . 10) (27 . 11)) 387 0.3076 8.5536 ((17 . 1) (26 . 8) (27 . 9) (28 . 10)) 405 0.3076 10.6671 ((21 . 31) (26 . 35) (27 . 37) (28 . 38)) 417 0.3025 8.8849 ((17 . 1) (21 . 5) (23 . 6) (26 . 9)) 420 0.3845 7.6075 ((17 . 1) (24 . 5) (26 . 8) (27 . 9) (28 . 10)) 433 0.3077 5.8541 ((17 . 1) (24 . 5) (26 . 6) (27 . 7)) 442 0.3077 3.1869 ((17 . 6) (18 . 9) (19 . 10) (27 . 14)) 460 0.3077 2.8497 ((26 . 6) (27 . 7) (28 . 8) (29 . 9)) 472 0.3073 13.5296 ((17 . 20) (19 . 22) (26 . 25) (27 . 27)) 491 0.3074 12.8437 ((20 . 5) (21 . 6) (26 . 9) (28 . 10)) 495 0.3846 5.3901 ((19 . 1) (23 . 2) (24 . 3) (26 . 5) (28 . 7)) 541 0.3846 4.2569 ((16 . 6) (17 . 7) (18 . 9) (26 . 14) (27 . 16)) 543 0.3076 8.9484 ((19 . 2) (21 . 4) (24 . 6) (27 . 8)) 553 0.3022 14.0299 ((16 . 6) (20 . 10) (24 . 12) (30 . 20)) 561 0.3077 6.4680 ((24 . 1) (27 . 3) (28 . 4) (29 . 5)) 584 0.3077 4.9826 ((18 . 2) (19 . 3) (24 . 5) (29 . 9)) 587 0.3077 5.7921 ((19 . 11) (24 . 14) (26 . 16) (29 . 17)) 609 0.6077 5.1133 ((17 . 1) (18 . 2) (19 . 3) (21 . 6) (24 . 8) (26 . 35) (29 . 37) (30 . 38)) 619 0.3077 4.7991 ((20 . 14) (21 . 15) (24 . 18) (27 . 20)) 624 0.4539 3.3324 ((16 . 6) (17 . 7) (18 . 8) (19 . 9) (26 . 13) (28 . 15)) 635 0.3567 8.0566 ((18 . 7) (23 . 11) (26 . 13) (27 . 14) (28 . 15)) 672 0.3076 8.9405 ((20 . 17) (21 . 18) (26 . 23) (27 . 24)) 678 0.5707 5.3133 ((16 . 21) (17 . 22) (18 . 23) (19 . 24) (20 . 25) (21 . 26) (24 . 29) (29 . 38)) 683 0.1919 8.3703 ((19 . 3) (20 . 4) (21 . 5) (24 . 6)) 719 0.2975 6.9141 ((19 . 23) (23 . 29) (26 . 30) (29 . 31)) 729 0.5384 3.3118 ((16 . 6) (17 . 7) (18 . 8) (19 . 9) (24 . 13) (26 . 15) (28 . 17)) 735 0.3077 6.8538 ((17 . 29) (21 . 32) (24 . 36) (26 . 39)) 740 0.3077 2.8220 ((23 . 1) (24 . 2) (26 . 5) (27 . 6)) 765 0.3077 7.3245 ((17 . 7) (21 . 12) (24 . 17) (26 . 20)) 767 0.5139 2.7225 ((17 . 1) (18 . 2) (19 . 3) (21 . 8) (24 . 12) (26 . 29) (29 . 33)) 782 0.3070 15.9602 ((16 . 3) (18 . 5) (20 . 6) (29 . 12)) 792 0.2853 11.7381 ((18 . 16) (20 . 17) (23 . 19) (29 . 21)) 795 0.3846 4.5504 ((17 . 1) (18 . 2) (19 . 3) (20 . 4) (21 . 5)) 796 0.3077 6.0521 ((20 . 1) (26 . 6) (27 . 5) (29 . 7)) 801 0.3077 6.4077 ((24 . 1) (26 . 2) (27 . 4) (28 . 5)) 812 0.3846 4.6986 ((17 . 9) (18 . 10) (19 . 11) (21 . 13) (23 . 17)) 818 0.4615 3.7494 ((18 . 3) (19 . 4) (20 . 5) (21 . 7) (24 . 10) (26 . 12)) 819 0.3076 8.9344 ((16 . 1) (17 . 2) (18 . 4) (30 . 11)) 824 0.3077 6.6229 ((21 . 45) (26 . 49) (27 . 50) (28 . 51)) 861 0.3077 6.8436 ((20 . 11) (26 . 15) (27 . 16) (28 . 17)) 901 0.4615 5.6278 ((16 . 10) (17 . 12) (18 . 14) (19 . 15) (24 . 17) (26 . 20)) 904 0.3077 4.5963 ((16 . 1) (17 . 3) (18 . 5) (19 . 6)) 913 0.3076 9.9731 ((19 . 16) (23 . 18) (26 . 20) (29 . 21)) 928 0.4615 3.2275 ((17 . 10) (18 . 11) (19 . 12) (24 . 14) (26 . 16) (28 . 18)) 937 0.3077 7.9037 ((17 . 1) (18 . 3) (19 . 4) (23 . 6)) 943 0.3846 5.7785 ((18 . 7) (21 . 8) (24 . 9) (26 . 12) (28 . 14)) 945 0.4615 2.6408 ((17 . 12) (18 . 13) (19 . 14) (21 . 17) (24 . 19) (26 . 22)) 949 0.3077 6.9720 ((19 . 27) (21 . 30) (24 . 32) (29 . 36)) 960 0.3846 4.3829 ((17 . 9) (18 . 11) (19 . 12) (26 . 19) (28 . 21)) 978 0.3566 9.7218 ((16 . 2) (17 . 4) (18 . 5) (21 . 6) (26 . 10)) 980 0.3846 4.0444 ((17 . 1) (18 . 2) (21 . 3) (24 . 5) (26 . 7)) 1005 0.2975 10.0990 ((18 . 3) (20 . 4) (23 . 5) (29 . 8)) 1007 0.3845 7.6079 ((17 . 9) (23 . 15) (26 . 17) (27 . 18) (28 . 19)) 1008 0.3076 8.0504 ((16 . 2) (17 . 3) (26 . 15) (27 . 16)) 1034 0.3075 11.7166 ((20 . 19) (27 . 25) (28 . 26) (30 . 27)) 1043 0.3846 2.8880 ((17 . 1) (18 . 5) (19 . 6) (24 . 10) (28 . 12)) 1082 0.3846 4.4823 ((17 . 9) (18 . 11) (19 . 12) (26 . 16) (28 . 19)) 1084 0.3077 5.7372 ((20 . 2) (26 . 8) (27 . 9) (30 . 15)) 1121 0.3077 4.7886 ((18 . 1) (26 . 2) (27 . 3) (28 . 4)) 1165 0.3846 4.2647 ((17 . 7) (18 . 9) (19 . 10) (20 . 11) (21 . 12)) 1167 0.3076 8.7943 ((16 . 19) (17 . 20) (26 . 27) (30 . 29)) 1169 0.3077 5.5132 ((24 . 30) (26 . 32) (27 . 33) (28 . 34)) 1195 0.3076 9.1052 ((17 . 2) (19 . 4) (21 . 5) (24 . 6)) 1201 0.3814 7.7223 ((16 . 5) (17 . 7) (20 . 8) (21 . 9) (23 . 10)) 1204 0.3846 5.2960 ((17 . 1) (18 . 2) (19 . 3) (24 . 5) (28 . 11)) 1211 0.3077 5.5445 ((18 . 7) (19 . 8) (24 . 10) (28 . 14)) 1217 0.2854 7.1420 ((18 . 2) (21 . 5) (23 . 8) (24 . 9)) 1224 0.3077 6.8705 ((17 . 3) (21 . 6) (26 . 9) (27 . 10)) 1233 0.3846 2.7463 ((17 . 11) (18 . 13) (19 . 14) (24 . 20) (26 . 22)) 1267 0.4615 2.9577 ((17 . 13) (18 . 14) (19 . 15) (21 . 17) (24 . 19) (26 . 21)) 1268 0.3075 11.2462 ((16 . 5) (18 . 19) (29 . 26) (30 . 28)) 1294 0.3076 8.2764 ((17 . 39) (19 . 41) (24 . 44) (26 . 47)) 1301 0.3073 13.5656 ((16 . 6) (20 . 2) (23 . 3) (30 . 8)) 1324 0.3846 3.1937 ((17 . 1) (24 . 2) (26 . 3) (27 . 4) (28 . 5)) 1345 0.3814 5.5148 ((16 . 6) (23 . 10) (27 . 13) (28 . 14) (29 . 15)) 1366 0.3077 5.4167 ((18 . 13) (19 . 14) (27 . 20) (28 . 21)) 1388 0.3077 7.5095 ((18 . 3) (19 . 4) (23 . 6) (29 . 12)) 1395 0.2974 12.0422 ((16 . 3) (18 . 4) (20 . 5) (23 . 6)) 1410 0.2554 7.7479 ((17 . 19) (19 . 21) (21 . 22) (24 . 25)) 1415 0.2974 10.9389 ((16 . 1) (18 . 2) (20 . 3) (23 . 5)) 1425 0.3076 8.1692 ((19 . 2) (24 . 6) (26 . 10) (28 . 11)) 1435 0.2554 9.9151 ((17 . 3) (21 . 6) (23 . 7) (27 . 11)) 1447 0.5384 4.1289 ((17 . 1) (18 . 2) (19 . 3) (20 . 4) (21 . 5) (24 . 7) (26 . 9)) 1451 0.3077 4.9202 ((17 . 1) (18 . 2) (19 . 3) (24 . 5)) 1464 0.2854 7.8119 ((19 . 10) (20 . 12) (21 . 13) (24 . 14)) 1470 0.2975 7.4055 ((16 . 2) (20 . 5) (23 . 6) (30 . 10)) 1472 0.3845 6.7187 ((20 . 3) (23 . 5) (26 . 7) (27 . 8) (30 . 11)) 1476 0.3846 4.6028 ((17 . 11) (18 . 13) (19 . 14) (21 . 15) (24 . 18)) 1481 0.2284 9.6048 ((21 . 2) (24 . 4) (27 . 7) (30 . 9)) 1497 0.3075 12.1826 ((16 . 16) (18 . 17) (20 . 18) (23 . 20)) 1501 0.3077 5.3339 ((24 . 4) (27 . 7) (28 . 8) (30 . 10)) 1508 0.2854 8.1820 ((18 . 1) (20 . 3) (23 . 6) (24 . 5)) 1513 0.3077 4.5010 ((16 . 9) (17 . 11) (19 . 13) (21 . 15)) 1514 0.3077 6.3194 ((24 . 1) (27 . 3) (28 . 4) (29 . 5)) 1577 0.3077 6.1081 ((18 . 2) (19 . 3) (24 . 5) (28 . 10)) 1591 0.3846 4.6615 ((16 . 10) (17 . 11) (18 . 12) (19 . 14) (21 . 16)) 1595 0.3076 8.7505 ((20 . 2) (26 . 7) (27 . 8) (29 . 9)) 1604 0.3846 4.3647 ((17 . 3) (18 . 6) (19 . 7) (20 . 9) (21 . 10)) 1622 0.3077 5.2165 ((16 . 19) (17 . 20) (18 . 21) (19 . 22)) 1624 0.3077 7.3824 ((24 . 3) (26 . 5) (27 . 6) (30 . 10)) 1643 0.3846 5.8835 ((17 . 1) (19 . 3) (26 . 8) (27 . 9) (28 . 10)) 1644 0.3843 9.9725 ((20 . 42) (24 . 46) (26 . 48) (27 . 49) (28 . 50)) 1665 0.3846 3.4801 ((17 . 6) (18 . 7) (19 . 8) (21 . 10) (23 . 11)) 1690 0.4615 3.7980 ((18 . 7) (19 . 8) (20 . 9) (21 . 11) (24 . 13) (28 . 16)) 1692 0.3077 6.6237 ((18 . 4) (19 . 5) (21 . 7) (26 . 10)) 1731 0.4615 3.5346 ((17 . 3) (18 . 5) (19 . 6) (24 . 8) (26 . 12) (27 . 13)) 1736 0.3077 3.6816 ((17 . 7) (18 . 9) (19 . 10) (21 . 12)) 1738 0.3846 6.4610 ((16 . 5) (17 . 9) (18 . 10) (19 . 11) (21 . 14)) 1747 0.3698 8.4738 ((19 . 8) (20 . 9) (26 . 13) (27 . 15) (28 . 16)) 1756 0.2284 8.1191 ((17 . 21) (19 . 23) (21 . 25) (26 . 30)) 1759 0.3846 6.3026 ((17 . 1) (19 . 4) (26 . 9) (27 . 10) (28 . 11)) 1761 0.4575 5.0040 ((16 . 6) (17 . 7) (18 . 8) (19 . 9) (21 . 11) (24 . 13) (26 . 16)) 1763 0.2975 5.4299 ((16 . 2) (20 . 6) (21 . 7) (23 . 8)) 1776 0.4615 2.8307 ((17 . 1) (18 . 6) (19 . 7) (21 . 9) (24 . 12) (28 . 14)) 1777 0.3077 5.0489 ((19 . 31) (21 . 34) (24 . 37) (26 . 43)) 1778 0.3076 9.7223 ((17 . 1) (19 . 3) (24 . 5) (26 . 8)) 1793 0.3846 3.7177 ((18 . 5) (19 . 6) (24 . 8) (26 . 10) (28 . 11)) 1796 0.2554 9.7844 ((18 . 1) (20 . 2) (23 . 4) (30 . 7)) 1805 0.3077 5.5611 ((19 . 12) (24 . 15) (26 . 17) (29 . 18)) 1808 0.3077 4.9178 ((18 . 1) (19 . 2) (24 . 5) (26 . 8)) 1817 0.3077 2.8646 ((26 . 18) (27 . 19) (28 . 20) (29 . 21)) 1867 0.3077 3.1009 ((17 . 1) (18 . 2) (19 . 3) (24 . 7)) 1894 0.3077 7.4216 ((18 . 15) (26 . 20) (27 . 21) (28 . 22)) 1896 0.3077 6.2266 ((24 . 23) (26 . 26) (27 . 27) (30 . 30)) 1897 0.3076 8.6363 ((17 . 32) (20 . 35) (26 . 39) (27 . 40)) 1908 0.3840 11.9498 ((17 . 3) (18 . 4) (23 . 6) (26 . 7) (29 . 9)) 1909 0.3846 4.3851 ((17 . 25) (18 . 26) (19 . 29) (26 . 34) (28 . 37)) 1913 0.4574 5.5381 ((17 . 19) (21 . 20) (24 . 22) (26 . 26) (27 . 28) (28 . 30) (29 . 31)) 1944 0.3846 6.1679 ((16 . 2) (17 . 3) (19 . 5) (21 . 7) (26 . 9)) 1957 0.4615 3.0208 ((17 . 1) (18 . 2) (19 . 3) (24 . 5) (26 . 7) (28 . 9)) 1961 0.3077 5.8309 ((17 . 16) (18 . 18) (19 . 19) (21 . 20)) 1967 0.3077 5.2336 ((16 . 6) (18 . 9) (19 . 10) (21 . 13)) 1972 0.3846 4.4085 ((17 . 18) (18 . 19) (19 . 20) (24 . 24) (26 . 27)) 1992 0.3077 7.5342 ((18 . 5) (24 . 9) (26 . 12) (27 . 14)) 1995 0.3846 4.8732 ((17 . 2) (24 . 3) (26 . 7) (27 . 8) (28 . 11)) 2003 0.3077 6.8789 ((18 . 2) (19 . 4) (26 . 9) (27 . 10)) 2006 0.3846 5.2683 ((19 . 2) (21 . 5) (26 . 8) (27 . 9) (28 . 10)) 2045 0.2975 10.3672 ((17 . 2) (19 . 3) (20 . 4) (24 . 8)) 2048 0.3846 4.2762 ((16 . 3) (17 . 4) (18 . 5) (19 . 6) (26 . 13)) 2054 0.3023 13.0624 ((16 . 7) (18 . 10) (20 . 11) (23 . 15)) 2063 0.3077 6.1500 ((17 . 44) (18 . 46) (19 . 47) (21 . 49)) 2065 0.3077 4.8125 ((21 . 16) (24 . 18) (27 . 22) (28 . 23)) 2067 0.3075 12.0434 ((18 . 5) (26 . 9) (27 . 10) (30 . 17)) 2072 0.3076 8.4300 ((16 . 3) (17 . 4) (19 . 7) (20 . 8)) 2081 0.3077 5.9915 ((17 . 12) (26 . 19) (27 . 20) (28 . 21)) 2083 0.3846 6.3443 ((17 . 2) (18 . 3) (19 . 4) (20 . 6) (21 . 7)) 2097 0.2975 7.5231 ((20 . 2) (21 . 3) (26 . 6) (27 . 7)) 2114 0.3077 6.4171 ((17 . 29) (18 . 30) (19 . 32) (24 . 36)) 2116 0.3077 7.2050 ((17 . 2) (19 . 4) (26 . 9) (27 . 10)) 2117 0.5383 5.8764 ((17 . 1) (18 . 3) (19 . 4) (24 . 5) (26 . 6) (27 . 11) (28 . 12)) 2118 0.3077 7.2654 ((19 . 5) (20 . 6) (21 . 7) (29 . 10)) 2122 0.4615 3.1179 ((17 . 1) (18 . 5) (19 . 6) (21 . 8) (24 . 10) (28 . 12)) 2166 0.3844 8.5576 ((18 . 10) (19 . 12) (27 . 15) (28 . 16) (30 . 18)) 2179 0.3846 6.5318 ((16 . 3) (17 . 4) (19 . 7) (24 . 10) (26 . 13)) 2196 0.3077 3.9973 ((19 . 11) (24 . 15) (27 . 18) (28 . 19)) 2203 0.3077 5.3802 ((17 . 1) (18 . 3) (19 . 5) (27 . 10)) 2205 0.3762 7.8983 ((17 . 13) (19 . 15) (24 . 18) (28 . 22) (30 . 25)) 2209 0.4615 4.0086 ((16 . 2) (17 . 3) (19 . 5) (24 . 7) (26 . 9) (28 . 10)) 2220 0.3077 4.5269 ((24 . 2) (26 . 3) (27 . 4) (28 . 5)) 2233 0.2284 10.5281 ((20 . 2) (23 . 6) (29 . 8) (30 . 9)) 2243 0.3846 5.7525 ((17 . 51) (24 . 52) (26 . 53) (27 . 54) (28 . 67)) 2244 0.3846 3.6578 ((17 . 69) (24 . 70) (26 . 71) (27 . 74) (28 . 75)) 2248 0.3077 6.9304 ((18 . 20) (19 . 22) (26 . 27) (27 . 28)) 2249 0.3846 4.5660 ((16 . 3) (17 . 7) (21 . 11) (26 . 12) (28 . 16)) 2269 0.3077 5.2023 ((17 . 8) (18 . 9) (19 . 10) (24 . 12)) 2279 0.3698 7.1132 ((16 . 6) (17 . 7) (19 . 9) (28 . 20) (29 . 21)) 2298 0.4420 4.6096 ((16 . 5) (17 . 6) (19 . 8) (24 . 12) (26 . 15) (28 . 17)) 2308 0.3077 5.6346 ((17 . 6) (18 . 7) (19 . 8) (24 . 11)) 2314 0.3076 9.1820 ((17 . 7) (20 . 9) (24 . 11) (27 . 13)) 2340 0.3077 3.9722 ((17 . 9) (18 . 10) (23 . 12) (24 . 14)) 2342 0.3076 8.4000 ((16 . 5) (20 . 8) (23 . 9) (30 . 13)) 2344 0.3844 9.2442 ((16 . 9) (17 . 10) (18 . 12) (19 . 13) (26 . 20)) 2364 0.4615 3.4030 ((17 . 9) (21 . 12) (24 . 15) (26 . 18) (27 . 19) (28 . 20)) 2381 0.3296 4.4085 ((17 . 3) (24 . 4) (26 . 5) (27 . 6) (29 . 8)) 2389 0.3845 7.3438 ((16 . 2) (17 . 3) (21 . 6) (26 . 10) (27 . 11)) 2408 0.3077 6.6287 ((21 . 37) (24 . 39) (26 . 41) (27 . 42)) 2409 0.3077 7.3596 ((19 . 2) (21 . 4) (24 . 6) (26 . 8)) 2410 0.3077 7.1540 ((20 . 12) (24 . 13) (26 . 16) (27 . 17)) 2422 0.3077 4.3369 ((17 . 1) (18 . 2) (19 . 4) (24 . 9)) 2423 0.3077 7.2215 ((17 . 16) (18 . 18) (27 . 25) (28 . 26)) 2440 0.3846 5.1432 ((19 . 4) (20 . 5) (21 . 6) (24 . 7) (26 . 9)) 2443 0.3076 9.1167 ((16 . 2) (18 . 4) (20 . 5) (29 . 9)) 2447 0.5384 3.5922 ((16 . 12) (17 . 13) (18 . 14) (19 . 15) (24 . 18) (26 . 21) (28 . 24)) 2462 0.3846 6.5502 ((17 . 3) (18 . 5) (19 . 6) (27 . 11) (28 . 12)) 2465 0.2283 12.2314 ((16 . 1) (18 . 3) (20 . 4) (23 . 5)) 2510 0.5382 6.0098 ((17 . 17) (18 . 18) (19 . 19) (21 . 21) (24 . 23) (26 . 25) (29 . 26)) 2519 0.1633 10.2143 ((19 . 2) (20 . 3) (23 . 4) (26 . 5)) 2525 0.3077 6.0283 ((17 . 45) (18 . 46) (19 . 47) (23 . 49)) 2529 0.3077 3.6155 ((17 . 1) (18 . 2) (19 . 3) (24 . 6)) 2533 0.3844 8.9519 ((18 . 3) (19 . 4) (21 . 6) (26 . 9) (29 . 11)) 2544 0.3076 8.5845 ((20 . 18) (26 . 22) (27 . 23) (29 . 24)) 2551 0.2975 9.2081 ((16 . 2) (17 . 3) (20 . 4) (23 . 6)) 2552 0.3077 4.3735 ((17 . 1) (19 . 3) (23 . 4) (24 . 5)) 2556 0.4615 3.7746 ((17 . 11) (18 . 12) (19 . 13) (21 . 16) (24 . 18) (26 . 20)) 2557 0.2554 8.5992 ((24 . 3) (26 . 6) (27 . 7) (29 . 8)) 2561 0.3077 7.3074 ((20 . 2) (23 . 4) (27 . 6) (28 . 7)) 2591 0.2973 12.4082 ((16 . 36) (18 . 37) (20 . 38) (23 . 40)) 2595 0.4615 3.6347 ((17 . 1) (18 . 2) (19 . 4) (24 . 6) (26 . 9) (28 . 11)) 2619 0.3077 4.6638 ((17 . 3) (18 . 4) (19 . 5) (21 . 7)) 2627 0.3076 8.3045 ((16 . 59) (17 . 60) (18 . 61) (21 . 64)) 2634 0.3075 12.1015 ((16 . 1) (18 . 2) (23 . 5) (29 . 8)) 2650 0.3077 6.5724 ((19 . 1) (26 . 6) (27 . 7) (28 . 8)) 2658 0.2284 8.8835 ((20 . 6) (23 . 8) (27 . 12) (28 . 13)) 2675 0.3077 5.6333 ((18 . 9) (19 . 10) (21 . 11) (24 . 12)) 2682 0.3150 5.5942 ((17 . 1) (18 . 2) (19 . 3) (20 . 4) (23 . 16) (24 . 17) (26 . 19)) 2696 0.3077 7.4118 ((19 . 31) (23 . 33) (24 . 34) (26 . 36)) 2731 0.3077 7.6821 ((19 . 1) (20 . 2) (21 . 4) (24 . 5)) 2733 0.3077 5.6886 ((17 . 1) (19 . 4) (24 . 8) (28 . 11)) 2753 0.1479 11.7876 ((16 . 1) (18 . 3) (20 . 4) (30 . 11)) 2755 0.4615 3.8341 ((16 . 2) (17 . 3) (19 . 5) (24 . 6) (26 . 8) (28 . 10)) 2773 0.3076 9.0887 ((17 . 2) (19 . 3) (24 . 5) (26 . 6)) 2783 0.3077 4.3454 ((18 . 4) (19 . 6) (24 . 8) (26 . 12)) 2804 0.3076 9.4219 ((17 . 25) (26 . 34) (27 . 36) (30 . 37)) 2821 0.3077 4.2988 ((16 . 10) (17 . 11) (18 . 12) (19 . 13)) 2830 0.3846 2.8566 ((17 . 11) (18 . 12) (19 . 13) (24 . 15) (26 . 17)) 2834 0.3077 5.7476 ((19 . 1) (20 . 2) (21 . 3) (26 . 8)) 2840 0.3077 5.8487 ((18 . 2) (26 . 8) (27 . 9) (28 . 11)) 2842 0.3077 6.9953 ((18 . 8) (19 . 9) (20 . 10) (21 . 11)) 2867 0.3076 9.8373 ((20 . 3) (23 . 5) (28 . 8) (30 . 11)) 2879 0.3077 6.1451 ((17 . 53) (18 . 55) (19 . 56) (21 . 58)) 2886 0.3077 5.6378 ((19 . 30) (26 . 37) (27 . 38) (28 . 39)) 2929 0.3077 6.0680 ((19 . 36) (20 . 37) (23 . 38) (24 . 39)) 2940 0.3077 4.8719 ((17 . 1) (18 . 2) (19 . 3) (26 . 6)) 2947 0.3846 5.8642 ((17 . 4) (18 . 5) (19 . 6) (27 . 12) (28 . 13)) 2966 0.3077 6.0597 ((21 . 3) (24 . 4) (26 . 6) (27 . 8)) 2990 0.3846 5.0634 ((18 . 8) (19 . 9) (20 . 10) (26 . 15) (27 . 16)) 2999 0.3077 4.4218 ((17 . 2) (18 . 3) (19 . 4) (21 . 6)) 3014 0.3077 6.3309 ((20 . 3) (21 . 5) (23 . 6) (24 . 7)) 3019 0.3077 5.4374 ((20 . 8) (21 . 9) (24 . 11) (29 . 13)) 3034 0.3846 4.1455 ((17 . 1) (18 . 4) (19 . 5) (24 . 7) (26 . 9)) 3041 0.5384 4.0109 ((16 . 10) (17 . 12) (18 . 13) (19 . 14) (24 . 16) (26 . 18) (28 . 22)) 3055 0.4615 5.4114 ((17 . 15) (19 . 17) (24 . 21) (26 . 23) (27 . 24) (28 . 25)) 3063 0.3077 7.5694 ((17 . 37) (19 . 39) (24 . 42) (27 . 45)) 3070 0.3077 6.1305 ((16 . 31) (17 . 33) (18 . 34) (19 . 35)) 3084 0.4615 3.5348 ((17 . 3) (18 . 4) (19 . 5) (24 . 7) (26 . 9) (28 . 11)) 3102 0.3077 6.2771 ((21 . 68) (24 . 70) (27 . 71) (28 . 72)) 3103 0.3076 8.0310 ((17 . 2) (26 . 9) (27 . 11) (28 . 13)) 3114 0.3759 10.8516 ((17 . 23) (19 . 25) (20 . 27) (23 . 28) (24 . 29)) 3120 0.1322 6.5271 ((16 . 20) (17 . 22) (18 . 24) (19 . 25)) 3127 0.5310 3.7009 ((17 . 2) (18 . 5) (19 . 6) (20 . 7) (21 . 8) (24 . 11) (26 . 13) (29 . 16)) 3147 0.4751 5.2280 ((17 . 17) (19 . 18) (21 . 19) (24 . 20) (26 . 21) (27 . 24) (28 . 25)) 3176 0.3077 7.3333 ((23 . 23) (26 . 26) (27 . 27) (28 . 29)) 3187 0.3077 4.7480 ((19 . 4) (24 . 6) (28 . 9) (29 . 10)) 3190 0.4615 2.9618 ((17 . 1) (18 . 2) (19 . 3) (24 . 6) (26 . 9) (28 . 11)) 3197 0.5604 4.6341 ((17 . 19) (18 . 20) (19 . 21) (20 . 22) (21 . 24) (24 . 26) (26 . 28) (29 . 29)) 3200 0.3077 4.4192 ((17 . 4) (18 . 5) (19 . 6) (20 . 7)) 3202 0.2553 10.6930 ((18 . 15) (24 . 19) (29 . 21) (30 . 23)) 3212 0.3077 7.6194 ((16 . 1) (19 . 5) (20 . 6) (24 . 9)) 3222 0.3077 7.1974 ((17 . 6) (19 . 8) (26 . 15) (27 . 16)) 3256 0.3077 4.8353 ((21 . 14) (23 . 15) (24 . 16) (28 . 20)) 3261 0.3077 7.0673 ((24 . 6) (26 . 8) (27 . 9) (30 . 12)) 3286 0.3846 5.0863 ((17 . 3) (19 . 5) (23 . 6) (24 . 7) (29 . 11)) 3289 0.2975 7.6528 ((19 . 27) (20 . 28) (21 . 29) (24 . 31)) 3297 0.3076 9.2591 ((17 . 3) (19 . 5) (24 . 8) (28 . 11)) 3300 0.3077 7.7922 ((19 . 2) (21 . 4) (29 . 11) (30 . 12)) 3310 0.2551 15.9154 ((16 . 4) (18 . 5) (20 . 6) (29 . 11)) 3322 0.4027 4.2283 ((17 . 1) (18 . 2) (19 . 3) (21 . 5) (23 . 6) (24 . 7)) 3334 0.3077 7.8201 ((18 . 9) (19 . 10) (26 . 14) (27 . 15)) 3339 0.4615 3.2561 ((16 . 10) (17 . 11) (19 . 15) (24 . 17) (26 . 19) (28 . 21)) 3344 0.3077 5.9756 ((19 . 18) (24 . 20) (26 . 21) (27 . 24)) 3358 0.4615 4.2604 ((17 . 1) (18 . 3) (19 . 4) (20 . 5) (21 . 7) (24 . 12)) 3362 0.4615 5.0227 ((17 . 4) (18 . 5) (19 . 6) (21 . 8) (23 . 9) (24 . 11)) 3366 0.3076 8.0721 ((19 . 27) (24 . 29) (26 . 31) (27 . 32)) 3391 0.3845 7.6457 ((17 . 4) (18 . 5) (24 . 6) (26 . 8) (29 . 12)) 3410 0.5139 4.0606 ((17 . 19) (18 . 20) (19 . 21) (21 . 24) (23 . 27) (24 . 28) (26 . 30)) 3418 0.3076 9.2854 ((17 . 2) (19 . 5) (21 . 6) (24 . 7)) 3446 0.3077 5.3913 ((23 . 4) (26 . 5) (27 . 6) (30 . 9)) 3470 0.2974 10.4195 ((16 . 10) (18 . 12) (23 . 14) (29 . 17)) 3472 0.3845 7.7619 ((19 . 1) (24 . 4) (26 . 6) (27 . 8) (28 . 9)) 3481 0.3846 5.7779 ((17 . 2) (18 . 3) (19 . 4) (24 . 8) (26 . 10)) 3489 0.3077 5.9251 ((17 . 3) (24 . 10) (26 . 12) (27 . 14)) 3495 0.3076 8.5352 ((26 . 7) (27 . 8) (29 . 9) (30 . 10)) 3496 0.3075 11.4329 ((19 . 18) (23 . 20) (29 . 24) (30 . 25)) 3533 0.3076 8.7423 ((17 . 3) (18 . 6) (19 . 7) (21 . 8)) 3537 0.3077 7.3906 ((18 . 3) (24 . 7) (26 . 9) (29 . 11)) 3538 0.3073 13.9906 ((16 . 13) (17 . 15) (20 . 17) (29 . 22)) 3548 0.3077 7.3247 ((24 . 2) (26 . 3) (27 . 4) (28 . 5)) 3549 0.2284 10.1112 ((19 . 1) (21 . 2) (23 . 4) (26 . 5)) 3561 0.3077 4.1771 ((16 . 25) (18 . 27) (19 . 28) (21 . 31)) 3570 0.3296 5.2813 ((17 . 1) (18 . 2) (19 . 3) (24 . 7) (28 . 10)) 3585 0.3077 5.8264 ((17 . 8) (19 . 12) (24 . 14) (26 . 16)) 3613 0.2974 10.5127 ((16 . 39) (17 . 41) (20 . 42) (29 . 45)) 3625 0.2554 6.1394 ((19 . 1) (21 . 2) (24 . 3) (26 . 6)) 3626 0.3077 5.8374 ((16 . 1) (17 . 2) (19 . 6) (24 . 11)) 3628 0.4026 5.6739 ((16 . 5) (17 . 6) (19 . 8) (24 . 10) (26 . 12) (28 . 14)) 3651 0.4615 3.5022 ((17 . 1) (18 . 2) (19 . 3) (21 . 5) (24 . 8) (28 . 11)) 3658 0.3077 3.4681 ((19 . 1) (24 . 5) (26 . 7) (27 . 8)) 3659 0.3077 7.6790 ((18 . 3) (19 . 5) (27 . 12) (28 . 13)) 3661 0.2975 6.5924 ((24 . 7) (26 . 8) (29 . 10) (30 . 13)) 3663 0.3077 6.5482 ((19 . 2) (20 . 3) (21 . 5) (29 . 7)) 3688 0.3075 11.1886 ((16 . 10) (17 . 11) (19 . 14) (27 . 18)) 3697 0.3076 8.1291 ((17 . 1) (19 . 4) (26 . 6) (27 . 7)) 3703 0.3077 5.1660 ((21 . 4) (26 . 6) (27 . 7) (28 . 8)) 3732 0.4615 5.1378 ((17 . 5) (18 . 6) (19 . 7) (21 . 9) (23 . 10) (24 . 12)) 3733 0.3846 2.4603 ((17 . 1) (18 . 2) (19 . 3) (24 . 6) (26 . 8)) 3740 0.3845 7.8182 ((17 . 1) (19 . 3) (24 . 5) (26 . 7) (27 . 9)) 3741 0.3077 7.1677 ((17 . 1) (19 . 3) (27 . 13) (28 . 14)) 3776 0.3846 2.3312 ((17 . 15) (18 . 16) (19 . 17) (24 . 21) (26 . 24)) 3778 0.3568 6.3440 ((17 . 4) (18 . 5) (19 . 6) (27 . 12) (28 . 13)) 3787 0.5384 3.4690 ((17 . 17) (18 . 18) (21 . 19) (23 . 20) (24 . 21) (26 . 23) (29 . 24)) 3790 0.3846 4.8138 ((20 . 20) (24 . 22) (26 . 25) (27 . 26) (28 . 27)) 3807 0.3077 3.8448 ((17 . 47) (18 . 49) (21 . 50) (23 . 51)) 3810 0.2854 7.7816 ((17 . 6) (19 . 10) (24 . 14) (26 . 16)) 3817 0.3845 7.8213 ((17 . 5) (18 . 6) (19 . 7) (20 . 8) (21 . 9)) 3818 0.3077 4.6592 ((16 . 21) (17 . 23) (18 . 24) (24 . 28)) 3829 0.3076 10.2339 ((16 . 3) (20 . 8) (23 . 10) (26 . 12)) 3831 0.3077 7.3476 ((17 . 6) (18 . 7) (19 . 9) (20 . 11)) 3847 0.2554 5.5782 ((16 . 10) (18 . 11) (19 . 13) (24 . 17)) 3849 0.2553 11.4919 ((19 . 1) (21 . 2) (24 . 5) (28 . 8)) 3853 0.3846 5.6812 ((16 . 2) (17 . 3) (18 . 4) (19 . 6) (21 . 8)) 3856 0.3077 6.7353 ((19 . 3) (21 . 6) (24 . 9) (27 . 10)) 3870 0.3077 5.4227 ((20 . 4) (21 . 5) (23 . 6) (29 . 9)) 3933 0.3077 6.9654 ((21 . 3) (23 . 4) (26 . 8) (28 . 10)) 3938 0.3077 6.3616 ((17 . 4) (18 . 5) (19 . 6) (21 . 9)) 3942 0.2854 7.0608 ((17 . 2) (20 . 5) (23 . 8) (24 . 9)) 3968 0.3846 3.3484 ((17 . 3) (18 . 4) (19 . 5) (24 . 9) (26 . 11)) 3986 0.2854 9.0548 ((19 . 6) (21 . 8) (26 . 13) (30 . 19)) 3990 0.3846 4.6763 ((16 . 17) (17 . 18) (19 . 20) (21 . 22) (26 . 26)) 4005 0.3845 7.1404 ((18 . 28) (19 . 29) (26 . 37) (27 . 38) (29 . 39)) 4009 0.3077 3.9034 ((18 . 18) (19 . 19) (20 . 20) (21 . 21)) 4019 0.3846 6.1093 ((19 . 38) (23 . 41) (24 . 42) (26 . 44) (27 . 45)) 4030 0.2553 11.1508 ((16 . 8) (18 . 9) (20 . 10) (23 . 12)) 4034 0.3077 5.1939 ((18 . 3) (19 . 5) (27 . 9) (28 . 10)) 4037 0.3076 9.3119 ((19 . 1) (21 . 2) (24 . 3) (29 . 6)) 4062 0.3845 7.5548 ((20 . 44) (23 . 45) (26 . 48) (27 . 49) (28 . 50)) 4067 0.4612 8.0675 ((17 . 14) (18 . 15) (19 . 16) (24 . 20) (26 . 22) (29 . 23)) 4077 0.3076 10.6203 ((20 . 6) (23 . 7) (27 . 10) (28 . 11)) 4082 0.3077 7.4839 ((23 . 3) (26 . 5) (27 . 6) (28 . 7)) 4087 0.3077 6.9585 ((17 . 1) (24 . 7) (29 . 9) (30 . 10)) 4112 0.3077 4.5941 ((26 . 2) (27 . 3) (28 . 4) (29 . 7)) 4115 0.3846 5.3074 ((17 . 13) (20 . 14) (21 . 15) (24 . 17) (26 . 19)) 4134 0.3076 8.4596 ((16 . 24) (18 . 26) (23 . 28) (29 . 31)) 4151 0.3846 4.1187 ((16 . 8) (17 . 9) (18 . 11) (19 . 12) (21 . 15)) 4154 0.3846 4.4537 ((17 . 51) (24 . 52) (26 . 53) (27 . 56) (28 . 57)) 4177 0.3077 7.4100 ((23 . 6) (24 . 7) (26 . 8) (27 . 9)) 4190 0.3077 5.5721 ((17 . 1) (24 . 3) (26 . 8) (27 . 9)) 4192 0.3077 5.2100 ((17 . 10) (19 . 13) (20 . 14) (21 . 15)) 4194 0.3076 9.4360 ((26 . 5) (27 . 6) (28 . 7) (30 . 8)) 4195 0.3073 13.5561 ((18 . 11) (26 . 14) (29 . 17) (30 . 19)) 4204 0.4615 4.3555 ((16 . 2) (17 . 3) (19 . 5) (21 . 7) (24 . 9) (26 . 11)) 4209 0.3077 7.6806 ((17 . 2) (18 . 3) (20 . 6) (24 . 10)) 4210 0.3077 5.1754 ((16 . 7) (17 . 8) (18 . 9) (19 . 10)) 4226 0.3846 4.4136 ((19 . 12) (20 . 13) (21 . 14) (24 . 16) (26 . 18)) 4232 0.3077 6.7105 ((24 . 3) (26 . 5) (28 . 6) (29 . 7)) 4242 0.3073 14.0777 ((20 . 3) (23 . 5) (29 . 8) (30 . 10)) 4246 0.3076 9.4679 ((19 . 3) (21 . 5) (24 . 7) (28 . 11)) 4254 0.3845 7.8662 ((17 . 11) (18 . 12) (19 . 13) (20 . 14) (21 . 15)) 4255 0.2854 8.9486 ((23 . 20) (27 . 23) (28 . 24) (29 . 25)) 4257 0.3846 2.4720 ((17 . 1) (18 . 2) (19 . 3) (21 . 7) (24 . 11)) 4265 0.3763 5.8976 ((19 . 23) (21 . 24) (23 . 25) (24 . 26) (26 . 29)) 4266 0.5310 3.8033 ((16 . 1) (17 . 2) (18 . 3) (19 . 4) (21 . 6) (24 . 8) (26 . 12)) 4274 0.3077 2.6385 ((17 . 36) (18 . 37) (19 . 38) (21 . 40)) 4275 0.3077 3.7825 ((24 . 23) (26 . 25) (27 . 27) (28 . 28)) 4281 0.3796 3.1455 ((19 . 3) (21 . 5) (23 . 7) (24 . 8) (26 . 10)) 4284 0.3077 6.8626 ((26 . 3) (27 . 4) (28 . 5) (30 . 7)) 4299 0.3844 9.1815 ((18 . 10) (19 . 11) (21 . 14) (27 . 19) (28 . 20)) 4301 0.3077 7.9487 ((19 . 1) (24 . 3) (26 . 6) (27 . 8)) 4326 0.5220 7.7120 ((17 . 2) (18 . 6) (19 . 7) (20 . 8) (21 . 10) (24 . 15) (29 . 16)) 4332 0.3077 3.6518 ((17 . 4) (21 . 6) (23 . 8) (24 . 9)) 4338 0.3077 4.4500 ((17 . 4) (18 . 5) (19 . 6) (24 . 8)) 4352 0.3077 6.0520 ((20 . 4) (26 . 9) (27 . 10) (30 . 13)) 4359 0.4615 5.4838 ((17 . 10) (19 . 12) (24 . 15) (26 . 17) (27 . 18) (28 . 19)) 4380 0.3846 5.6748 ((17 . 1) (24 . 2) (26 . 3) (27 . 14) (28 . 15)) 4383 0.3077 3.2197 ((19 . 14) (24 . 16) (26 . 18) (27 . 19)) 4386 0.3077 5.8672 ((17 . 1) (18 . 3) (21 . 4) (24 . 16)) 4388 0.4614 6.8291 ((17 . 3) (23 . 4) (24 . 5) (26 . 6) (27 . 10) (28 . 12)) 4398 0.3846 4.4703 ((19 . 4) (21 . 6) (24 . 8) (26 . 10) (28 . 12)) 4405 0.3077 6.4825 ((16 . 13) (17 . 14) (18 . 17) (19 . 18)) 4408 0.3846 5.8832 ((17 . 4) (18 . 5) (19 . 6) (27 . 13) (28 . 14)) 4415 0.3077 5.1242 ((19 . 4) (20 . 5) (21 . 9) (26 . 12)) 4419 0.3077 7.8410 ((18 . 2) (19 . 3) (24 . 8) (27 . 9)) 4426 0.1480 6.4982 ((16 . 3) (17 . 4) (18 . 5) (19 . 6)) 4470 0.3844 9.1121 ((16 . 11) (17 . 12) (18 . 13) (19 . 14) (26 . 18)) 4491 0.3076 8.7948 ((17 . 1) (18 . 4) (19 . 5) (23 . 7)) 4492 0.3846 3.2484 ((17 . 13) (21 . 16) (24 . 18) (26 . 21) (28 . 23)) 4495 0.3846 5.5904 ((16 . 12) (17 . 14) (18 . 15) (19 . 16) (21 . 18)) 4497 0.3845 6.7477 ((19 . 18) (20 . 20) (26 . 24) (27 . 25) (28 . 26)) 4502 0.4615 4.1511 ((17 . 6) (18 . 7) (19 . 9) (24 . 11) (26 . 14) (28 . 17)) 4503 0.3077 6.6246 ((19 . 1) (24 . 5) (26 . 8) (27 . 10)) 4504 0.3077 5.4351 ((18 . 2) (19 . 4) (24 . 6) (29 . 12)) 4505 0.3846 3.6856 ((16 . 27) (17 . 28) (18 . 29) (19 . 30) (26 . 34)) 4516 0.3077 4.0537 ((17 . 16) (18 . 17) (19 . 18) (21 . 20)) 4527 0.3077 6.2781 ((17 . 1) (20 . 2) (23 . 4) (24 . 6)) 4538 0.3077 6.2296 ((20 . 27) (23 . 29) (24 . 30) (30 . 39)) 4551 0.3077 3.7592 ((19 . 1) (21 . 2) (24 . 4) (26 . 8)) 4560 0.3846 4.4299 ((17 . 1) (19 . 6) (20 . 7) (21 . 8) (24 . 17)) 4561 0.4615 3.9081 ((17 . 1) (18 . 4) (19 . 5) (21 . 7) (26 . 9) (28 . 12)) 4562 0.4752 2.3264 ((17 . 19) (18 . 21) (19 . 22) (20 . 23) (24 . 25) (26 . 27) (29 . 30)) 4563 0.3846 6.4328 ((16 . 25) (18 . 27) (19 . 28) (24 . 31) (28 . 34)) 4577 0.3077 6.7677 ((26 . 31) (27 . 32) (28 . 33) (30 . 36)) 4579 0.3077 7.0822 ((18 . 8) (20 . 11) (23 . 13) (30 . 21)) 4588 0.3846 4.3015 ((17 . 1) (18 . 2) (19 . 3) (20 . 4) (26 . 11)) 4589 0.3077 7.1609 ((23 . 17) (27 . 19) (28 . 22) (30 . 24)) 4607 0.3075 11.0734 ((16 . 13) (20 . 17) (23 . 18) (29 . 21)) 4621 0.3295 9.5507 ((20 . 2) (24 . 4) (26 . 7) (27 . 8) (28 . 9)) 4630 0.3077 3.7771 ((17 . 17) (24 . 23) (26 . 26) (28 . 29)) 4648 0.2975 8.2503 ((21 . 1) (24 . 2) (27 . 5) (29 . 7)) 4653 0.3845 6.9352 ((20 . 2) (21 . 4) (26 . 7) (27 . 8) (28 . 9)) 4668 0.4615 2.4748 ((17 . 1) (18 . 2) (19 . 3) (21 . 5) (24 . 7) (26 . 9)) 4669 0.3846 4.4628 ((17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21)) 4671 0.3077 5.6629 ((17 . 12) (19 . 15) (20 . 16) (27 . 22)) 4674 0.3077 7.4008 ((17 . 1) (18 . 3) (26 . 8) (27 . 9)) 4678 0.3077 7.1049 ((21 . 11) (24 . 12) (27 . 15) (28 . 16)) 4713 0.3077 6.2339 ((26 . 7) (28 . 9) (29 . 10) (30 . 11)) 4715 0.3076 9.2735 ((16 . 7) (20 . 10) (23 . 13) (29 . 16)) 4731 0.3568 3.7513 ((17 . 18) (18 . 20) (19 . 22) (24 . 23) (26 . 24)) 4764 0.2283 10.9797 ((16 . 2) (18 . 4) (20 . 6) (23 . 7)) 4857 0.3843 9.8542 ((17 . 3) (18 . 4) (19 . 5) (26 . 11) (28 . 13)) 4886 0.3077 3.4072 ((17 . 9) (27 . 16) (28 . 17) (29 . 18)) 4888 0.3077 5.5073 ((23 . 11) (27 . 16) (28 . 17) (30 . 19)) 4889 0.3077 4.8217 ((17 . 4) (18 . 5) (27 . 11) (28 . 12)) 4907 0.3077 5.3103 ((24 . 1) (26 . 3) (27 . 4) (28 . 5)) 4914 0.4613 6.9978 ((16 . 2) (19 . 6) (24 . 7) (26 . 8) (27 . 9) (28 . 10)) 4921 0.3076 8.4037 ((17 . 9) (18 . 11) (19 . 12) (26 . 17)) 4929 0.3077 6.9053 ((21 . 26) (26 . 29) (27 . 31) (28 . 32)) 4932 0.3565 11.0095 ((17 . 1) (20 . 3) (24 . 6) (26 . 8) (28 . 10)) 4940 0.3077 3.5108 ((17 . 3) (18 . 5) (19 . 6) (21 . 8)) 4944 0.3840 11.5338 ((18 . 10) (26 . 14) (27 . 15) (28 . 16) (30 . 17)) 4961 0.3846 4.3051 ((16 . 2) (17 . 3) (18 . 4) (19 . 6) (26 . 12)) 4963 0.1479 10.9244 ((18 . 2) (20 . 3) (29 . 8) (30 . 9)) 4978 0.3077 5.0119 ((16 . 20) (17 . 21) (19 . 24) (26 . 28)) 4982 0.3077 4.4345 ((17 . 1) (18 . 2) (19 . 3) (24 . 6)) 4992 0.3077 5.2564 ((16 . 4) (17 . 6) (18 . 7) (21 . 8)) 4998 0.3077 7.3125 ((16 . 2) (17 . 3) (18 . 5) (21 . 6)) 5029 0.5139 3.1454 ((17 . 2) (18 . 3) (19 . 4) (21 . 6) (23 . 7) (24 . 8) (26 . 10)) 5036 0.3845 8.1719 ((21 . 2) (24 . 4) (26 . 6) (27 . 7) (28 . 8)) 5038 0.3077 7.3532 ((24 . 10) (26 . 12) (27 . 14) (28 . 15)) 5039 0.3846 3.1530 ((17 . 37) (18 . 38) (19 . 39) (21 . 41) (26 . 44)) 5044 0.3076 9.4930 ((16 . 4) (17 . 8) (21 . 14) (24 . 16)) 5046 0.3077 5.7176 ((17 . 3) (21 . 7) (23 . 9) (24 . 10)) 5053 0.2975 9.7078 ((19 . 10) (23 . 13) (27 . 15) (29 . 17)) 5065 0.3077 7.0907 ((20 . 1) (21 . 2) (23 . 5) (26 . 8)) 5068 0.3846 4.2660 ((16 . 1) (17 . 2) (18 . 3) (19 . 4) (21 . 7)) 5069 0.4615 4.5114 ((16 . 1) (17 . 2) (18 . 3) (19 . 4) (21 . 7) (26 . 9)) 5073 0.3846 3.7456 ((18 . 31) (19 . 32) (20 . 33) (21 . 34) (24 . 36)) 5080 0.3076 9.4108 ((23 . 1) (24 . 3) (29 . 6) (30 . 7)) 5083 0.3077 5.1126 ((18 . 4) (19 . 5) (21 . 8) (24 . 9)) 5092 0.2283 12.6752 ((20 . 11) (23 . 13) (29 . 16) (30 . 17)) 5101 0.6922 3.7945 ((17 . 1) (18 . 2) (19 . 3) (20 . 4) (21 . 5) (24 . 7) (26 . 9) (28 . 10) (29 . 11)) 5103 0.3846 6.2760 ((17 . 2) (18 . 3) (19 . 4) (21 . 6) (26 . 9)) 5121 0.3077 4.9641 ((18 . 23) (21 . 25) (26 . 30) (27 . 31)) 5132 0.3842 10.8947 ((18 . 14) (19 . 16) (24 . 18) (26 . 20) (29 . 21)) 5134 0.3077 5.9670 ((17 . 3) (18 . 5) (19 . 6) (20 . 7)) 5145 0.3077 4.9613 ((17 . 3) (19 . 5) (20 . 7) (21 . 8)) 5167 0.3077 5.7784 ((19 . 9) (23 . 10) (24 . 12) (26 . 14)) 5176 0.3077 6.4077 ((17 . 82) (18 . 85) (19 . 86) (24 . 88)) 5183 0.3076 8.0847 ((24 . 34) (26 . 36) (27 . 37) (28 . 38)) 5192 0.3846 6.0377 ((17 . 1) (18 . 2) (19 . 3) (24 . 5) (28 . 9)) 5198 0.3077 7.8094 ((17 . 21) (20 . 23) (24 . 24) (26 . 26)) 5199 0.3076 8.0508 ((16 . 6) (17 . 7) (19 . 8) (24 . 9)) 5209 0.3077 5.0574 ((17 . 3) (24 . 4) (26 . 8) (27 . 9)) 5212 0.3076 9.4224 ((17 . 21) (20 . 25) (27 . 30) (28 . 31)) 5215 0.3077 4.9838 ((17 . 3) (19 . 5) (26 . 10) (27 . 11)) 5223 0.3846 3.6066 ((16 . 11) (17 . 12) (18 . 14) (19 . 15) (21 . 17)) 5231 0.3077 3.8863 ((26 . 12) (27 . 13) (28 . 14) (29 . 15)) 5266 0.3846 4.1700 ((17 . 8) (18 . 9) (19 . 10) (20 . 11) (21 . 13)) 5278 0.3077 7.8417 ((20 . 1) (26 . 7) (27 . 8) (28 . 9)) 5307 0.3568 4.1079 ((19 . 51) (21 . 53) (23 . 54) (26 . 58) (29 . 59)) 5312 0.2975 6.4290 ((19 . 4) (21 . 5) (23 . 6) (24 . 7)) 5318 0.3077 6.9010 ((16 . 7) (17 . 8) (18 . 9) (23 . 12)) 5323 0.3076 10.1661 ((16 . 4) (20 . 9) (21 . 10) (23 . 12)) 5324 0.4539 3.3954 ((16 . 6) (17 . 7) (18 . 8) (19 . 10) (26 . 14) (28 . 15)) 5344 0.3077 5.6086 ((17 . 1) (19 . 3) (26 . 9) (27 . 10)) 5345 0.4752 4.2976 ((17 . 7) (19 . 8) (21 . 9) (24 . 12) (26 . 16) (27 . 17) (28 . 18)) 5368 0.3846 6.1727 ((19 . 22) (24 . 26) (26 . 28) (27 . 29) (28 . 30)) 5378 0.3077 4.0008 ((19 . 9) (20 . 10) (26 . 15) (27 . 16)) 5411 0.3077 5.4581 ((16 . 2) (17 . 3) (18 . 5) (19 . 6)) 5414 0.3077 6.5955 ((17 . 14) (19 . 16) (21 . 19) (24 . 21)) 5418 0.3077 2.9678 ((26 . 7) (27 . 8) (28 . 9) (29 . 10)) 5433 0.3077 4.4756 ((17 . 4) (19 . 7) (26 . 16) (28 . 18)) 5442 0.2284 10.1886 ((16 . 32) (18 . 34) (20 . 35) (23 . 37)) 5479 0.5138 5.2762 ((17 . 38) (19 . 43) (21 . 44) (24 . 50) (26 . 51) (27 . 52) (28 . 53)) 5487 0.3846 3.8005 ((18 . 3) (20 . 5) (21 . 7) (24 . 9) (26 . 11)) 5489 0.3077 6.0452 ((19 . 5) (26 . 10) (27 . 11) (28 . 12)) 5500 0.3077 4.0646 ((16 . 10) (17 . 12) (18 . 13) (19 . 14)) 5501 0.3076 8.2357 ((16 . 28) (17 . 30) (18 . 32) (23 . 35)) 5525 0.3845 6.8869 ((20 . 3) (23 . 5) (26 . 7) (27 . 8) (30 . 11)) 5535 0.3077 5.0562 ((16 . 1) (17 . 2) (24 . 9) (26 . 11)) 5540 0.3077 7.3605 ((23 . 13) (27 . 15) (28 . 16) (29 . 17)) 5557 0.3077 6.8175 ((24 . 1) (26 . 3) (27 . 4) (29 . 5)) 5560 0.3763 3.9029 ((17 . 2) (18 . 3) (19 . 4) (20 . 5) (26 . 9)) 5562 0.3763 6.1293 ((16 . 10) (17 . 11) (18 . 13) (19 . 14) (21 . 17)) 5567 0.3077 3.1887 ((17 . 11) (18 . 14) (19 . 15) (21 . 17)) 5594 0.3845 8.3052 ((17 . 4) (18 . 5) (19 . 6) (21 . 9) (24 . 12)) 5600 0.3077 6.1017 ((17 . 6) (18 . 7) (19 . 9) (23 . 10)) 5601 0.3846 3.9874 ((19 . 5) (20 . 6) (24 . 10) (26 . 12) (28 . 15)) 5640 0.3846 5.7858 ((19 . 22) (24 . 24) (26 . 26) (27 . 27) (28 . 28)) 5644 0.3076 8.2890 ((17 . 4) (24 . 11) (26 . 13) (27 . 14)) 5648 0.3076 10.4862 ((18 . 2) (20 . 3) (23 . 4) (29 . 7)) 5656 0.4589 6.3946 ((16 . 6) (18 . 15) (19 . 16) (20 . 19) (21 . 21) (23 . 26)) 5689 0.2854 10.4686 ((16 . 3) (18 . 4) (20 . 7) (29 . 12)) 5700 0.3076 8.6892 ((16 . 1) (17 . 2) (21 . 6) (26 . 9)) 5701 0.3077 5.2235 ((17 . 6) (18 . 7) (23 . 10) (24 . 11)) 5702 0.3076 8.5820 ((20 . 1) (23 . 2) (29 . 4) (30 . 7)) 5703 0.2554 8.0149 ((17 . 5) (19 . 6) (21 . 7) (24 . 8)) 5704 0.3074 12.6239 ((18 . 3) (20 . 4) (23 . 5) (30 . 7)) 5711 0.3077 6.6035 ((24 . 27) (26 . 32) (27 . 33) (28 . 35)) 5713 0.4615 5.4193 ((17 . 2) (19 . 4) (24 . 8) (26 . 10) (27 . 11) (28 . 13)) 5718 0.3846 5.2976 ((19 . 16) (21 . 18) (26 . 23) (27 . 24) (28 . 25)) 5731 0.3077 5.3212 ((17 . 3) (18 . 6) (19 . 7) (24 . 10)) 5746 0.3077 4.0253 ((17 . 3) (19 . 6) (27 . 13) (28 . 14)) 5749 0.3076 8.4578 ((23 . 2) (26 . 4) (27 . 5) (28 . 6)) 5761 0.3076 10.3026 ((16 . 29) (17 . 30) (19 . 32) (24 . 36)) 5770 0.3076 8.4093 ((17 . 6) (18 . 7) (19 . 8) (29 . 19)) 5771 0.4539 3.2457 ((17 . 9) (23 . 16) (24 . 17) (26 . 20) (28 . 21) (29 . 22)) 5782 0.3846 5.5336 ((17 . 15) (20 . 17) (26 . 21) (27 . 22) (28 . 26)) 5789 0.1633 9.7163 ((18 . 1) (23 . 3) (28 . 5) (29 . 6)) 5794 0.2854 9.2096 ((20 . 17) (21 . 18) (27 . 23) (28 . 24)) 5795 0.3077 5.2511 ((16 . 12) (17 . 13) (18 . 15) (19 . 16)) 5809 0.4597 4.7845 ((16 . 2) (17 . 3) (18 . 4) (19 . 5) (20 . 6) (21 . 7)) 5822 0.3077 5.1813 ((19 . 4) (20 . 5) (24 . 7) (30 . 11)) 5827 0.4588 7.2731 ((16 . 6) (17 . 8) (19 . 11) (20 . 12) (27 . 16) (28 . 17)) 5830 0.3077 7.0293 ((19 . 8) (20 . 9) (21 . 10) (26 . 13)) 5847 0.3077 6.2937 ((21 . 2) (24 . 5) (26 . 8) (27 . 9)) 5861 0.3846 5.2326 ((19 . 7) (24 . 12) (26 . 15) (27 . 16) (28 . 17)) 5865 0.2879 4.6290 ((17 . 4) (19 . 1) (21 . 2) (24 . 5) (26 . 7) (29 . 8)) 5878 0.3076 8.9690 ((23 . 24) (26 . 28) (27 . 29) (28 . 30)) 5888 0.4615 5.4849 ((17 . 4) (19 . 6) (24 . 10) (26 . 12) (27 . 13) (28 . 14)) 5896 0.3077 4.0355 ((19 . 29) (20 . 30) (21 . 31) (23 . 32)) 5904 0.3763 6.8912 ((16 . 3) (17 . 4) (19 . 7) (24 . 9) (26 . 11)) 5913 0.3846 4.8891 ((17 . 7) (20 . 11) (24 . 13) (26 . 15) (28 . 17)) 5914 0.3077 6.2814 ((17 . 2) (19 . 3) (20 . 4) (21 . 6)) 5922 0.3077 7.1136 ((19 . 1) (26 . 6) (27 . 8) (28 . 9)) 5930 0.3077 2.5591 ((17 . 2) (18 . 3) (19 . 4) (26 . 11)) 5939 0.3846 4.3180 ((17 . 4) (18 . 5) (19 . 6) (20 . 7) (21 . 8)) 5945 0.3763 3.4253 ((16 . 22) (17 . 23) (18 . 25) (19 . 26) (21 . 28)) 5949 0.3077 3.9061 ((16 . 8) (17 . 12) (18 . 13) (19 . 14)) 5955 0.4611 8.5995 ((17 . 1) (18 . 2) (19 . 3) (24 . 7) (26 . 9) (29 . 10)) 5967 0.3296 2.6149 ((17 . 1) (18 . 2) (19 . 3) (23 . 6) (24 . 7)) 5972 0.2284 7.6811 ((20 . 1) (23 . 5) (24 . 6) (26 . 7)) 5977 0.3846 5.0536 ((17 . 1) (18 . 2) (19 . 3) (20 . 4) (21 . 5)) 6000 0.3076 8.6348 ((16 . 16) (19 . 17) (21 . 21) (23 . 22)) 6011 0.3846 6.6791 ((19 . 9) (24 . 11) (27 . 15) (28 . 16) (29 . 17)) 6022 0.3077 6.2114 ((19 . 2) (24 . 5) (26 . 8) (27 . 9)) 6029 0.3845 6.8703 ((20 . 7) (21 . 10) (26 . 17) (27 . 18) (28 . 19)) 6041 0.3077 4.9151 ((21 . 8) (23 . 9) (26 . 12) (27 . 13)) 6046 0.3076 9.7534 ((26 . 2) (27 . 3) (28 . 5) (30 . 7)) 6061 0.3077 5.5302 ((16 . 16) (17 . 17) (18 . 18) (21 . 20)) 6074 0.3846 3.8863 ((18 . 1) (19 . 2) (21 . 4) (24 . 6) (26 . 8)) 6075 0.6743 2.1758 ((16 . 16) (17 . 17) (18 . 19) (19 . 20) (21 . 21) (24 . 24) (26 . 27) (28 . 28) (29 . 29)) 6079 0.3077 2.9532 ((19 . 1) (24 . 6) (26 . 8) (27 . 9)) 6087 0.3846 5.9693 ((16 . 4) (18 . 7) (19 . 8) (20 . 9) (21 . 10)) 6089 0.3846 4.9384 ((17 . 1) (18 . 2) (19 . 3) (24 . 5) (28 . 11)) 6094 0.3824 8.7997 ((17 . 3) (20 . 6) (21 . 7) (23 . 8) (27 . 13)) 6099 0.3077 5.5490 ((19 . 28) (24 . 30) (27 . 33) (28 . 34)) 6123 0.3077 6.4828 ((24 . 1) (26 . 2) (27 . 3) (28 . 4)) 6142 0.3846 6.6049 ((17 . 6) (19 . 8) (24 . 10) (26 . 12) (27 . 13)) 6148 0.1920 5.6043 ((19 . 32) (21 . 34) (23 . 35) (24 . 36)) 6167 0.3077 6.3213 ((21 . 6) (24 . 9) (26 . 12) (27 . 14)) 6169 0.3074 13.1328 ((18 . 2) (20 . 3) (23 . 4) (30 . 10)) 6173 0.3845 7.6035 ((17 . 3) (19 . 5) (24 . 8) (26 . 11) (28 . 13)) 6191 0.3076 8.8844 ((18 . 1) (19 . 3) (27 . 9) (28 . 10)) 6192 0.3077 6.8081 ((17 . 1) (18 . 2) (19 . 3) (24 . 5)) 6215 0.2975 8.3915 ((17 . 18) (19 . 20) (20 . 22) (23 . 23)) 6225 0.3077 4.4384 ((18 . 2) (19 . 3) (24 . 5) (29 . 9)) 6228 0.4615 2.6871 ((17 . 1) (18 . 2) (19 . 3) (21 . 5) (24 . 7) (28 . 9)) 6234 0.3077 6.6012 ((19 . 6) (23 . 8) (24 . 9) (29 . 14)) 6238 0.3077 5.3732 ((16 . 2) (17 . 3) (19 . 5) (24 . 8)) 6243 0.3846 5.1471 ((17 . 3) (18 . 5) (19 . 6) (21 . 8) (26 . 10)) 6251 0.3843 9.7110 ((17 . 8) (18 . 9) (19 . 10) (26 . 15) (29 . 18)) 6258 0.3845 7.2943 ((17 . 7) (18 . 8) (19 . 10) (21 . 12) (29 . 14)) 6261 0.3844 8.5090 ((17 . 1) (18 . 2) (19 . 3) (24 . 9) (29 . 10)) 6266 0.3845 7.8427 ((17 . 3) (18 . 4) (19 . 6) (21 . 8) (29 . 12)) 6270 0.3076 8.1641 ((17 . 18) (18 . 19) (19 . 20) (21 . 22)) 6271 0.3456 7.0660 ((16 . 6) (17 . 7) (18 . 9) (21 . 12) (23 . 13)) 6273 0.2853 11.4218 ((17 . 4) (19 . 6) (21 . 7) (27 . 13)) 6294 0.3699 6.3605 ((17 . 2) (18 . 5) (19 . 6) (20 . 7) (24 . 9)) 6306 0.2554 7.4595 ((17 . 15) (19 . 17) (20 . 18) (29 . 23)) 6309 0.3075 10.9030 ((16 . 16) (17 . 18) (18 . 19) (19 . 20)) 6311 0.3077 5.7434 ((19 . 5) (24 . 9) (26 . 10) (27 . 11)) 6326 0.3076 8.6746 ((19 . 6) (24 . 10) (26 . 12) (27 . 13)) 6329 0.3075 11.9180 ((18 . 6) (20 . 7) (23 . 9) (29 . 12)) 6344 0.3844 8.5345 ((18 . 11) (19 . 12) (26 . 18) (27 . 19) (28 . 21)) 6345 0.3076 8.3304 ((24 . 5) (26 . 6) (27 . 7) (29 . 8)) 6348 0.4281 4.4174 ((17 . 1) (18 . 3) (19 . 4) (23 . 8) (24 . 9) (26 . 11)) 6355 0.3076 8.1452 ((18 . 3) (19 . 4) (26 . 9) (27 . 10)) 6356 0.3846 3.5685 ((16 . 8) (17 . 9) (18 . 10) (19 . 11) (21 . 13)) 6369 0.3846 3.7809 ((16 . 23) (17 . 24) (18 . 25) (19 . 26) (21 . 29)) 6376 1.0000 0.0000 ((16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (23 . 23) (24 . 24) (26 . 26) (27 . 27) (28 . 28) (29 . 29) (30 . 30)) 6391 0.2554 9.8204 ((21 . 6) (23 . 7) (24 . 8) (29 . 11)) 6392 0.3077 4.0267 ((16 . 6) (17 . 7) (18 . 8) (19 . 9)) 6399 0.4614 6.7560 ((17 . 10) (19 . 12) (24 . 16) (26 . 18) (27 . 19) (28 . 20)) 6403 0.3846 4.5384 ((18 . 6) (19 . 7) (26 . 13) (27 . 14) (28 . 15)) 6434 0.3077 7.2703 ((24 . 3) (26 . 4) (27 . 5) (29 . 6)) 6461 0.3024 12.5586 ((20 . 1) (21 . 3) (28 . 6) (29 . 7)) 6462 0.4564 4.4694 ((16 . 17) (17 . 18) (18 . 19) (19 . 20) (20 . 21) (21 . 22)) 6476 0.2284 5.4873 ((18 . 2) (19 . 4) (20 . 5) (23 . 7)) 6498 0.6571 4.9949 ((17 . 16) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (23 . 28) (24 . 29) (26 . 31) (28 . 45)) 6506 0.2974 11.1765 ((16 . 18) (18 . 21) (20 . 22) (30 . 27)) 6520 0.3077 6.4607 ((19 . 10) (23 . 12) (26 . 15) (27 . 16)) 6536 0.2975 8.6981 ((16 . 29) (18 . 30) (20 . 32) (29 . 37)) 6539 0.3077 7.2106 ((18 . 1) (19 . 2) (24 . 5) (29 . 9)) 6540 0.3077 6.8539 ((17 . 16) (19 . 18) (24 . 21) (26 . 22)) 6548 0.3762 7.3037 ((17 . 5) (19 . 7) (20 . 8) (21 . 9) (26 . 13)) 6553 0.3846 4.5710 ((19 . 17) (24 . 20) (26 . 23) (27 . 24) (28 . 25)) 6555 0.3566 9.9791 ((16 . 9) (19 . 13) (24 . 17) (26 . 20) (27 . 22)) 6561 0.3024 11.6301 ((20 . 4) (23 . 5) (24 . 8) (29 . 11)) 6573 0.3846 2.9686 ((17 . 17) (18 . 18) (19 . 19) (21 . 21) (26 . 25)) 6575 0.2854 7.5578 ((19 . 1) (20 . 3) (24 . 5) (29 . 7)) 6578 0.3077 6.8735 ((18 . 33) (19 . 34) (21 . 37) (24 . 38)) 6584 0.3077 6.8425 ((18 . 1) (19 . 2) (26 . 8) (27 . 9)) 6585 0.3846 4.0643 ((16 . 4) (17 . 6) (18 . 7) (19 . 8) (24 . 10)) 6586 0.3077 5.6622 ((20 . 16) (23 . 17) (24 . 18) (29 . 23)) 6587 0.4573 7.4167 ((17 . 29) (23 . 30) (24 . 31) (26 . 33) (27 . 34) (29 . 35) (30 . 36)) 6598 0.3846 5.3250 ((19 . 13) (24 . 17) (26 . 20) (27 . 21) (28 . 22)) 6613 0.3077 4.6214 ((19 . 24) (23 . 26) (26 . 31) (28 . 32)) 6622 0.3076 10.2645 ((16 . 1) (18 . 4) (20 . 5) (23 . 6)) 6635 0.3077 4.5391 ((19 . 5) (20 . 6) (21 . 7) (23 . 9)) END