3256 25 0.1633 12.4213 ((15 . 5) (16 . 7) (20 . 11) (27 . 13)) 51 0.3846 3.5640 ((13 . 1) (19 . 6) (20 . 7) (24 . 10) (25 . 11)) 62 0.3077 7.9582 ((20 . 12) (21 . 13) (26 . 16) (28 . 17)) 64 0.3077 5.1845 ((20 . 9) (24 . 10) (26 . 13) (28 . 14)) 77 0.3076 9.8935 ((13 . 7) (16 . 9) (21 . 13) (25 . 15)) 91 0.3076 9.9545 ((13 . 19) (21 . 28) (26 . 31) (27 . 32)) 96 0.1919 9.0864 ((18 . 1) (26 . 5) (27 . 7) (28 . 6)) 129 0.3844 8.7382 ((19 . 2) (20 . 3) (21 . 5) (25 . 8) (28 . 12)) 136 0.3077 5.6019 ((20 . 3) (25 . 5) (26 . 7) (28 . 8)) 150 0.0997 6.7961 ((19 . 19) (20 . 20) (27 . 24) (28 . 25)) 153 0.4615 4.8435 ((13 . 1) (18 . 5) (19 . 6) (20 . 7) (25 . 9) (26 . 10)) 155 0.3076 9.5941 ((15 . 1) (18 . 2) (19 . 3) (27 . 7)) 157 0.3077 7.1228 ((19 . 11) (24 . 14) (26 . 16) (27 . 17)) 161 0.2284 9.5665 ((15 . 1) (19 . 3) (21 . 6) (24 . 8)) 162 0.3077 7.9111 ((20 . 12) (24 . 15) (26 . 17) (28 . 18)) 169 0.4614 6.7355 ((19 . 4) (20 . 5) (24 . 7) (25 . 8) (26 . 9) (28 . 10)) 177 0.6923 2.4945 ((13 . 1) (16 . 2) (18 . 3) (19 . 4) (20 . 5) (25 . 7) (26 . 8) (27 . 9) (28 . 10)) 191 0.3845 7.0234 ((13 . 1) (21 . 6) (25 . 7) (26 . 8) (28 . 9)) 198 0.3076 7.9936 ((19 . 4) (24 . 8) (25 . 9) (26 . 10)) 207 0.3077 7.7808 ((13 . 8) (19 . 13) (24 . 15) (26 . 18)) 233 0.3077 4.7927 ((19 . 1) (20 . 2) (21 . 3) (24 . 5)) 300 0.3077 6.9902 ((13 . 10) (20 . 16) (21 . 17) (24 . 18)) 305 0.3076 9.7174 ((19 . 9) (21 . 11) (25 . 15) (28 . 17)) 307 0.2970 15.5355 ((15 . 2) (18 . 3) (25 . 9) (27 . 10)) 315 0.0997 8.9960 ((19 . 4) (20 . 5) (21 . 6) (28 . 10)) 340 0.2975 8.2677 ((20 . 1) (24 . 2) (27 . 5) (28 . 9)) 350 0.3845 7.8114 ((18 . 1) (19 . 2) (21 . 4) (25 . 8) (26 . 10)) 360 0.3077 5.2692 ((24 . 8) (25 . 9) (26 . 10) (28 . 12)) 361 0.2553 12.9246 ((13 . 4) (15 . 5) (25 . 10) (27 . 13)) 365 0.4615 5.6166 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (25 . 6) (26 . 8)) 367 0.3846 5.8355 ((18 . 42) (19 . 43) (20 . 44) (25 . 47) (26 . 48)) 372 0.3077 7.3756 ((16 . 3) (19 . 6) (20 . 7) (25 . 10)) 387 0.3844 9.0253 ((13 . 1) (16 . 7) (19 . 8) (20 . 9) (21 . 10)) 405 0.3844 9.4811 ((21 . 34) (24 . 37) (25 . 38) (26 . 39) (28 . 40)) 417 0.3074 13.3125 ((13 . 1) (14 . 2) (20 . 7) (24 . 9)) 420 0.3846 6.3749 ((18 . 2) (19 . 3) (20 . 4) (21 . 5) (26 . 8)) 433 0.3077 6.8623 ((18 . 5) (19 . 6) (20 . 7) (25 . 9)) 442 0.3077 6.8588 ((13 . 1) (19 . 4) (20 . 6) (27 . 11)) 460 0.3077 7.8092 ((16 . 1) (24 . 6) (26 . 8) (27 . 9)) 472 0.3073 13.6285 ((14 . 22) (15 . 23) (21 . 25) (28 . 31)) 495 0.3845 7.0041 ((19 . 3) (24 . 7) (25 . 8) (26 . 9) (28 . 11)) 541 0.3076 9.3684 ((13 . 7) (19 . 11) (21 . 14) (25 . 16)) 543 0.3699 4.7701 ((16 . 2) (18 . 4) (19 . 5) (20 . 6) (24 . 8)) 561 0.3077 5.6098 ((20 . 1) (25 . 3) (26 . 4) (27 . 5)) 584 0.3077 6.8818 ((18 . 3) (19 . 4) (20 . 5) (28 . 10)) 587 0.3077 6.8613 ((19 . 2) (20 . 3) (26 . 8) (28 . 9)) 609 0.3072 14.4803 ((13 . 1) (14 . 3) (19 . 6) (21 . 8)) 619 0.3076 8.1842 ((21 . 4) (25 . 7) (26 . 8) (28 . 9)) 624 0.3568 6.5967 ((13 . 7) (19 . 9) (20 . 11) (26 . 13) (27 . 14)) 635 0.3077 5.4864 ((13 . 5) (25 . 13) (26 . 14) (28 . 15)) 672 0.3077 7.7004 ((19 . 20) (24 . 22) (25 . 23) (28 . 26)) 678 0.3073 14.1078 ((15 . 21) (18 . 22) (20 . 24) (28 . 29)) 719 0.3846 5.0700 ((13 . 22) (16 . 23) (20 . 25) (24 . 27) (27 . 29)) 729 0.3077 7.1601 ((18 . 13) (25 . 17) (26 . 20) (27 . 21)) 735 0.4614 6.2147 ((19 . 29) (20 . 31) (24 . 32) (25 . 33) (26 . 36) (28 . 37)) 740 0.3077 7.8274 ((19 . 2) (21 . 4) (24 . 5) (25 . 7)) 765 0.4613 7.6513 ((16 . 7) (19 . 9) (20 . 12) (25 . 17) (26 . 19) (28 . 20)) 767 0.3077 7.8054 ((20 . 3) (25 . 8) (26 . 9) (28 . 12)) 795 0.3077 7.2902 ((19 . 1) (24 . 3) (26 . 5) (28 . 6)) 796 0.3077 6.0190 ((20 . 3) (25 . 5) (26 . 6) (27 . 7)) 801 0.3076 9.5244 ((24 . 1) (25 . 2) (26 . 4) (28 . 5)) 812 0.3076 8.7279 ((19 . 5) (24 . 9) (26 . 11) (27 . 12)) 818 0.3139 5.7708 ((13 . 1) (14 . 8) (16 . 10) (20 . 12) (24 . 14) (26 . 16)) 819 0.3076 8.9706 ((13 . 3) (24 . 9) (25 . 10) (27 . 11)) 861 0.3076 8.9358 ((15 . 5) (21 . 7) (25 . 8) (27 . 10)) 901 0.3077 6.1304 ((13 . 1) (19 . 5) (24 . 7) (27 . 8)) 904 0.2974 10.9987 ((15 . 1) (16 . 3) (20 . 6) (21 . 7)) 913 0.2854 9.7125 ((20 . 16) (24 . 17) (26 . 20) (27 . 21)) 928 0.3077 6.7644 ((13 . 1) (19 . 5) (21 . 7) (24 . 8)) 937 0.3077 6.3456 ((20 . 1) (25 . 4) (26 . 5) (27 . 6)) 943 0.3077 6.8652 ((13 . 4) (19 . 9) (26 . 14) (28 . 15)) 945 0.3077 7.1310 ((13 . 12) (19 . 19) (24 . 22) (27 . 23)) 949 0.3077 6.2567 ((20 . 27) (25 . 30) (26 . 32) (27 . 33)) 960 0.3845 7.6568 ((13 . 4) (15 . 5) (20 . 8) (21 . 9) (26 . 12)) 978 0.3077 6.7759 ((13 . 10) (19 . 13) (24 . 16) (27 . 18)) 980 0.3295 7.8210 ((13 . 1) (19 . 3) (20 . 5) (26 . 7) (27 . 8)) 1005 0.2283 11.3982 ((14 . 1) (15 . 3) (16 . 2) (27 . 8)) 1007 0.3077 5.5193 ((24 . 11) (25 . 12) (26 . 13) (28 . 14)) 1008 0.3845 7.7597 ((16 . 5) (19 . 8) (25 . 13) (26 . 15) (28 . 16)) 1034 0.3076 7.9994 ((13 . 22) (15 . 24) (24 . 29) (26 . 32)) 1043 0.3077 6.2607 ((13 . 1) (20 . 10) (24 . 12) (25 . 14)) 1082 0.3845 7.4577 ((13 . 4) (15 . 5) (20 . 8) (21 . 9) (26 . 12)) 1084 0.3076 9.6302 ((13 . 3) (19 . 10) (20 . 12) (26 . 17)) 1165 0.3077 7.1660 ((18 . 4) (20 . 7) (26 . 10) (28 . 12)) 1167 0.3076 8.8668 ((24 . 20) (25 . 21) (26 . 22) (27 . 24)) 1169 0.3077 7.9367 ((16 . 31) (19 . 34) (20 . 35) (21 . 37)) 1195 0.3077 5.7799 ((21 . 2) (25 . 4) (26 . 5) (28 . 6)) 1201 0.3077 6.3074 ((16 . 4) (20 . 7) (25 . 9) (26 . 11)) 1204 0.3076 8.5042 ((19 . 1) (24 . 3) (26 . 5) (27 . 6)) 1211 0.3846 6.2396 ((16 . 5) (21 . 9) (25 . 10) (26 . 11) (28 . 14)) 1217 0.2854 8.5854 ((15 . 2) (19 . 3) (20 . 5) (24 . 9)) 1224 0.3762 7.0320 ((13 . 3) (24 . 9) (25 . 10) (27 . 13) (28 . 14)) 1233 0.3077 6.5155 ((19 . 14) (21 . 17) (26 . 20) (27 . 21)) 1267 0.3077 6.7443 ((18 . 1) (19 . 3) (20 . 4) (27 . 7)) 1268 0.3067 17.3860 ((13 . 23) (14 . 25) (15 . 26) (25 . 31)) 1294 0.3845 6.8892 ((19 . 39) (20 . 40) (21 . 41) (25 . 43) (26 . 44)) 1324 0.3076 9.5456 ((19 . 1) (20 . 2) (21 . 3) (25 . 4)) 1345 0.3846 6.1749 ((19 . 9) (21 . 12) (26 . 14) (27 . 15) (28 . 16)) 1366 0.3846 6.1706 ((13 . 12) (16 . 15) (24 . 21) (25 . 22) (26 . 23)) 1388 0.3076 9.6577 ((19 . 1) (25 . 4) (26 . 5) (27 . 6)) 1410 0.3077 6.0268 ((19 . 19) (20 . 21) (21 . 22) (26 . 25)) 1425 0.3845 7.0708 ((19 . 4) (20 . 6) (21 . 8) (25 . 10) (26 . 12)) 1435 0.3077 7.1564 ((13 . 6) (15 . 7) (19 . 11) (20 . 13)) 1447 0.3077 6.9525 ((19 . 3) (24 . 5) (26 . 7) (27 . 8)) 1451 0.3077 5.9432 ((19 . 1) (24 . 3) (25 . 4) (28 . 6)) 1464 0.3076 10.0227 ((24 . 7) (25 . 8) (26 . 10) (27 . 9)) 1472 0.2975 7.3084 ((15 . 1) (24 . 7) (25 . 8) (27 . 10)) 1476 0.3077 6.8651 ((21 . 14) (24 . 15) (26 . 18) (27 . 19)) 1481 0.3077 5.6800 ((16 . 2) (20 . 4) (21 . 5) (24 . 7)) 1501 0.3076 8.3052 ((19 . 2) (20 . 3) (21 . 4) (25 . 6)) 1513 0.3076 8.1886 ((13 . 2) (16 . 5) (25 . 11) (28 . 13)) 1514 0.3077 5.1025 ((20 . 1) (25 . 3) (26 . 4) (27 . 5)) 1577 0.3075 11.5380 ((18 . 3) (19 . 4) (20 . 5) (26 . 10)) 1591 0.3077 7.9032 ((13 . 6) (19 . 8) (24 . 11) (27 . 12)) 1604 0.3077 7.3246 ((18 . 1) (19 . 3) (24 . 7) (27 . 9)) 1622 0.3077 6.6185 ((13 . 18) (15 . 19) (16 . 23) (24 . 25)) 1624 0.3077 7.5791 ((21 . 4) (24 . 6) (25 . 7) (26 . 8)) 1643 0.3846 5.9774 ((14 . 31) (16 . 33) (20 . 36) (26 . 39) (28 . 40)) 1644 0.3846 5.9503 ((19 . 46) (20 . 47) (21 . 48) (24 . 50) (25 . 51)) 1690 0.3845 8.0165 ((14 . 11) (16 . 13) (20 . 16) (26 . 21) (28 . 24)) 1692 0.3077 6.5161 ((20 . 6) (24 . 7) (26 . 8) (28 . 9)) 1731 0.3077 7.4223 ((13 . 3) (19 . 8) (26 . 12) (28 . 13)) 1736 0.3077 6.5671 ((18 . 1) (20 . 3) (25 . 5) (28 . 7)) 1738 0.3844 8.5284 ((13 . 14) (19 . 19) (25 . 21) (26 . 23) (28 . 24)) 1747 0.3845 6.7378 ((16 . 6) (20 . 11) (25 . 13) (26 . 15) (28 . 16)) 1756 0.3077 4.8758 ((18 . 22) (19 . 23) (20 . 25) (25 . 30)) 1759 0.3846 6.2541 ((18 . 2) (19 . 4) (20 . 5) (21 . 6) (26 . 9)) 1761 0.3840 11.9390 ((15 . 10) (18 . 13) (20 . 16) (25 . 19) (26 . 20)) 1763 0.3077 5.9221 ((18 . 7) (19 . 9) (20 . 10) (26 . 13)) 1776 0.3761 8.9053 ((16 . 12) (20 . 14) (21 . 15) (26 . 20) (27 . 21)) 1777 0.3077 5.4034 ((16 . 31) (20 . 37) (24 . 42) (25 . 43)) 1778 0.3077 5.2194 ((24 . 2) (25 . 3) (26 . 4) (28 . 5)) 1793 0.3077 6.5733 ((13 . 3) (19 . 6) (20 . 8) (26 . 10)) 1805 0.3077 6.5819 ((19 . 3) (20 . 4) (21 . 7) (26 . 10)) 1808 0.3845 6.7571 ((19 . 5) (20 . 6) (24 . 8) (25 . 9) (26 . 10)) 1817 0.2853 10.7427 ((19 . 13) (21 . 15) (26 . 20) (27 . 21)) 1867 0.3076 9.4204 ((15 . 2) (16 . 3) (19 . 6) (20 . 7)) 1894 0.3077 6.2721 ((18 . 22) (19 . 23) (21 . 26) (27 . 30)) 1896 0.3076 8.2438 ((15 . 21) (16 . 22) (19 . 25) (20 . 26)) 1897 0.3568 5.4028 ((13 . 34) (15 . 36) (20 . 39) (26 . 40) (27 . 44)) 1908 0.2554 9.3236 ((13 . 7) (16 . 10) (20 . 15) (24 . 17)) 1909 0.3077 6.6961 ((19 . 25) (24 . 29) (26 . 31) (27 . 32)) 1913 0.3077 6.2384 ((13 . 1) (18 . 5) (19 . 6) (20 . 7)) 1944 0.3077 6.2977 ((15 . 12) (16 . 13) (20 . 16) (21 . 17)) 1957 0.3077 7.7526 ((13 . 13) (19 . 17) (21 . 19) (25 . 22)) 1961 0.3076 8.1777 ((24 . 15) (25 . 16) (27 . 18) (28 . 19)) 1967 0.3076 9.2930 ((13 . 3) (19 . 7) (26 . 13) (28 . 14)) 1972 0.3077 7.3248 ((19 . 18) (21 . 20) (26 . 24) (27 . 25)) 1992 0.3077 6.9093 ((13 . 1) (18 . 9) (26 . 12) (28 . 14)) 1995 0.3077 5.9436 ((13 . 1) (15 . 5) (20 . 9) (24 . 12)) 2003 0.3845 7.4524 ((18 . 4) (24 . 8) (25 . 9) (26 . 10) (28 . 12)) 2006 0.3844 8.7228 ((19 . 8) (20 . 9) (24 . 10) (26 . 12) (28 . 13)) 2045 0.2854 9.0577 ((13 . 3) (16 . 7) (18 . 8) (25 . 11)) 2048 0.3076 10.2358 ((15 . 10) (20 . 13) (25 . 16) (26 . 17)) 2054 0.2975 10.3068 ((13 . 2) (15 . 9) (20 . 13) (27 . 16)) 2063 0.3846 6.4844 ((19 . 43) (20 . 44) (21 . 45) (25 . 49) (26 . 50)) 2065 0.3077 5.9571 ((18 . 16) (19 . 17) (20 . 18) (24 . 27)) 2067 0.3076 10.0001 ((15 . 8) (19 . 10) (20 . 11) (27 . 18)) 2072 0.3077 5.6179 ((18 . 5) (19 . 6) (20 . 7) (27 . 9)) 2081 0.3077 5.5717 ((20 . 3) (24 . 6) (26 . 9) (28 . 10)) 2083 0.3077 7.9579 ((18 . 1) (19 . 2) (24 . 4) (26 . 7)) 2097 0.3076 9.7541 ((13 . 5) (14 . 7) (20 . 14) (24 . 16)) 2114 0.3077 5.4296 ((24 . 28) (25 . 29) (26 . 32) (28 . 34)) 2116 0.4615 5.1846 ((19 . 6) (20 . 7) (24 . 9) (25 . 10) (26 . 11) (28 . 12)) 2117 0.3844 8.5044 ((16 . 6) (20 . 12) (25 . 14) (26 . 16) (28 . 20)) 2118 0.3077 7.2585 ((20 . 4) (21 . 5) (26 . 7) (27 . 8)) 2122 0.3076 8.0692 ((18 . 12) (24 . 17) (27 . 21) (28 . 22)) 2166 0.3077 7.3898 ((13 . 12) (20 . 15) (24 . 16) (25 . 17)) 2179 0.3844 9.0344 ((18 . 1) (20 . 4) (25 . 7) (26 . 9) (28 . 10)) 2196 0.3845 6.9457 ((18 . 13) (19 . 14) (20 . 15) (24 . 18) (25 . 19)) 2203 0.3077 5.1639 ((19 . 1) (21 . 5) (25 . 7) (28 . 10)) 2205 0.7692 2.7081 ((13 . 13) (16 . 15) (18 . 16) (19 . 17) (20 . 18) (21 . 19) (24 . 21) (25 . 22) (26 . 23) (28 . 26)) 2209 0.3075 12.0870 ((19 . 5) (20 . 6) (24 . 7) (28 . 10)) 2220 0.0997 7.5783 ((20 . 3) (21 . 4) (24 . 7) (25 . 5)) 2243 0.3846 4.9005 ((13 . 53) (20 . 61) (21 . 62) (25 . 65) (26 . 67)) 2244 0.3845 7.1734 ((16 . 71) (21 . 76) (24 . 78) (25 . 79) (26 . 80)) 2248 0.3076 8.4104 ((13 . 16) (19 . 22) (26 . 27) (28 . 28)) 2249 0.3077 7.6252 ((18 . 4) (20 . 7) (27 . 10) (28 . 11)) 2269 0.3843 9.6540 ((19 . 6) (20 . 7) (21 . 8) (26 . 10) (27 . 11)) 2279 0.3077 6.7893 ((14 . 5) (16 . 7) (26 . 19) (28 . 20)) 2298 0.3077 6.3630 ((18 . 4) (20 . 6) (25 . 8) (28 . 12)) 2308 0.3843 9.7738 ((19 . 4) (20 . 5) (21 . 6) (26 . 8) (27 . 10)) 2314 0.3845 8.0661 ((16 . 2) (19 . 3) (20 . 4) (24 . 7) (25 . 8)) 2340 0.3077 5.2827 ((20 . 9) (25 . 11) (26 . 13) (28 . 14)) 2344 0.3077 6.8824 ((13 . 6) (15 . 8) (19 . 10) (21 . 13)) 2364 0.3077 5.9150 ((19 . 9) (21 . 12) (26 . 18) (28 . 19)) 2381 0.3076 8.0137 ((24 . 3) (25 . 4) (26 . 5) (28 . 6)) 2389 0.3077 6.6900 ((13 . 1) (24 . 10) (25 . 11) (28 . 14)) 2408 0.4614 5.9745 ((13 . 34) (19 . 40) (20 . 41) (21 . 42) (25 . 45) (26 . 46)) 2409 0.3077 6.0348 ((18 . 2) (19 . 3) (20 . 4) (21 . 5)) 2410 0.1322 10.6184 ((15 . 12) (19 . 13) (24 . 16) (25 . 17)) 2422 0.3076 9.6412 ((13 . 1) (16 . 7) (18 . 8) (19 . 9)) 2423 0.3077 7.3472 ((16 . 16) (20 . 20) (21 . 21) (25 . 22)) 2447 0.3076 8.2275 ((19 . 15) (21 . 18) (26 . 21) (27 . 22)) 2462 0.3077 6.7362 ((18 . 6) (19 . 7) (26 . 11) (28 . 12)) 2510 0.3077 6.7666 ((13 . 3) (19 . 7) (21 . 9) (27 . 12)) 2525 0.3077 6.9660 ((16 . 41) (20 . 45) (25 . 47) (26 . 48)) 2529 0.3077 5.4201 ((20 . 1) (25 . 3) (26 . 5) (28 . 6)) 2533 0.3077 7.4782 ((18 . 4) (20 . 6) (25 . 8) (28 . 13)) 2551 0.3075 11.8602 ((13 . 3) (15 . 5) (25 . 11) (26 . 12)) 2556 0.3077 6.0937 ((19 . 13) (21 . 16) (26 . 20) (27 . 21)) 2557 0.2854 8.3838 ((19 . 3) (24 . 6) (25 . 7) (27 . 8)) 2561 0.3077 5.7824 ((18 . 1) (25 . 6) (26 . 7) (28 . 8)) 2595 0.3076 8.6394 ((13 . 6) (16 . 9) (19 . 11) (21 . 13)) 2619 0.3077 7.3759 ((18 . 1) (19 . 2) (20 . 3) (28 . 7)) 2627 0.0997 11.7161 ((15 . 57) (20 . 60) (25 . 64) (26 . 65)) 2650 0.3077 5.5968 ((18 . 2) (25 . 5) (26 . 6) (28 . 7)) 2658 0.1633 10.5182 ((13 . 3) (15 . 5) (25 . 12) (26 . 13)) 2675 0.3077 6.4959 ((18 . 1) (19 . 3) (25 . 8) (28 . 11)) 2682 0.3074 12.3364 ((14 . 7) (19 . 11) (26 . 17) (27 . 18)) 2696 0.4615 3.6350 ((19 . 31) (20 . 32) (24 . 34) (25 . 35) (26 . 36) (28 . 38)) 2731 0.3077 5.9873 ((20 . 1) (25 . 4) (26 . 5) (27 . 6)) 2733 0.3077 7.5744 ((20 . 1) (24 . 2) (25 . 4) (27 . 5)) 2755 0.2553 10.6503 ((16 . 3) (19 . 5) (24 . 6) (28 . 10)) 2773 0.2854 9.2624 ((13 . 3) (15 . 4) (19 . 6) (27 . 9)) 2783 0.3077 6.3148 ((18 . 1) (24 . 6) (26 . 8) (27 . 9)) 2804 0.3076 9.5623 ((13 . 25) (15 . 28) (16 . 29) (19 . 34)) 2821 0.3077 7.5456 ((18 . 1) (19 . 2) (20 . 3) (28 . 11)) 2830 0.3077 7.5999 ((19 . 11) (24 . 13) (26 . 15) (27 . 16)) 2834 0.3077 5.2737 ((20 . 1) (24 . 5) (25 . 6) (28 . 8)) 2840 0.5384 4.8905 ((13 . 1) (19 . 5) (20 . 6) (25 . 8) (26 . 9) (27 . 10) (28 . 11)) 2842 0.3076 8.3259 ((13 . 4) (16 . 5) (24 . 9) (26 . 11)) 2867 0.3076 9.6495 ((15 . 1) (16 . 2) (26 . 9) (28 . 12)) 2879 0.3846 3.5503 ((19 . 53) (20 . 54) (21 . 56) (24 . 58) (25 . 59)) 2886 0.3846 5.5487 ((13 . 30) (19 . 37) (20 . 38) (21 . 39) (26 . 43)) 2929 0.1322 7.6145 ((19 . 36) (24 . 39) (25 . 40) (27 . 41)) 2940 0.3077 6.6052 ((19 . 1) (25 . 4) (26 . 5) (28 . 6)) 2947 0.3077 7.3930 ((13 . 3) (19 . 7) (26 . 12) (28 . 13)) 2966 0.3077 4.5282 ((19 . 4) (20 . 6) (25 . 9) (28 . 12)) 2990 0.3077 7.0370 ((20 . 9) (24 . 12) (26 . 14) (28 . 15)) 2999 0.3077 6.5494 ((19 . 2) (25 . 4) (26 . 6) (28 . 7)) 3014 0.3065 18.2423 ((13 . 23) (15 . 26) (21 . 32) (25 . 35)) 3019 0.3697 9.6956 ((18 . 9) (19 . 10) (20 . 11) (25 . 14) (27 . 15)) 3034 0.3076 8.2743 ((13 . 1) (19 . 7) (24 . 9) (27 . 11)) 3041 0.3077 7.5674 ((13 . 14) (19 . 18) (21 . 22) (25 . 24)) 3055 0.3077 5.8371 ((19 . 11) (21 . 13) (25 . 16) (26 . 17)) 3063 0.3846 5.1883 ((16 . 35) (19 . 37) (20 . 38) (25 . 41) (26 . 42)) 3084 0.3076 10.1318 ((15 . 2) (19 . 3) (24 . 5) (26 . 7)) 3102 0.3843 9.9424 ((13 . 62) (16 . 65) (18 . 66) (20 . 68) (21 . 69)) 3103 0.6153 4.0756 ((13 . 1) (18 . 2) (19 . 3) (20 . 5) (25 . 9) (26 . 11) (27 . 12) (28 . 13)) 3114 0.3077 6.4298 ((19 . 22) (20 . 23) (21 . 24) (27 . 28)) 3120 0.3077 7.9320 ((25 . 21) (26 . 22) (27 . 23) (28 . 25)) 3127 0.3076 9.6440 ((16 . 2) (19 . 4) (25 . 8) (28 . 11)) 3147 0.3846 5.5532 ((16 . 12) (20 . 17) (24 . 18) (25 . 19) (26 . 20)) 3176 0.0997 9.9890 ((15 . 21) (25 . 26) (26 . 27) (28 . 29)) 3187 0.3846 4.9284 ((19 . 2) (20 . 3) (25 . 5) (26 . 6) (28 . 7)) 3190 0.3076 9.7619 ((18 . 3) (20 . 6) (25 . 9) (28 . 11)) 3197 0.3077 6.0060 ((19 . 21) (24 . 24) (26 . 26) (27 . 27)) 3200 0.3077 5.8762 ((20 . 6) (24 . 9) (25 . 11) (26 . 13)) 3202 0.2852 13.4629 ((15 . 7) (18 . 9) (19 . 8) (27 . 15)) 3212 0.3077 5.9935 ((24 . 2) (25 . 3) (26 . 5) (27 . 6)) 3222 0.3077 6.9639 ((21 . 7) (25 . 8) (26 . 10) (28 . 14)) 3256 1.0000 0.0000 ((13 . 13) (14 . 14) (15 . 15) (16 . 16) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (24 . 24) (25 . 25) (26 . 26) (27 . 27) (28 . 28)) 3261 0.3845 7.7050 ((13 . 2) (19 . 6) (20 . 7) (21 . 8) (25 . 9)) 3286 0.3077 7.1347 ((19 . 3) (21 . 5) (26 . 7) (27 . 8)) 3289 0.3077 7.4237 ((13 . 25) (16 . 27) (19 . 30) (20 . 31)) 3297 0.4613 7.6858 ((13 . 5) (19 . 8) (20 . 9) (24 . 11) (25 . 12) (26 . 13)) 3300 0.2554 8.1334 ((25 . 1) (26 . 2) (27 . 3) (28 . 4)) 3322 0.3077 7.3134 ((19 . 1) (21 . 3) (24 . 5) (26 . 7)) 3334 0.3077 6.6971 ((21 . 1) (25 . 4) (26 . 5) (28 . 6)) 3339 0.3844 8.5995 ((18 . 17) (20 . 19) (25 . 21) (26 . 22) (27 . 23)) 3344 0.3565 10.4001 ((16 . 18) (19 . 20) (20 . 21) (24 . 22) (26 . 24)) 3358 0.3077 5.8771 ((21 . 1) (24 . 2) (26 . 4) (27 . 5)) 3362 0.3077 6.0019 ((18 . 4) (25 . 8) (26 . 10) (28 . 11)) 3366 0.3077 5.3694 ((19 . 26) (20 . 27) (24 . 28) (25 . 29)) 3391 0.3077 6.4426 ((13 . 4) (16 . 6) (20 . 10) (25 . 13)) 3410 0.3077 6.3682 ((18 . 19) (20 . 21) (27 . 27) (28 . 28)) 3418 0.3077 5.7718 ((21 . 2) (25 . 5) (26 . 6) (28 . 7)) 3446 0.2284 5.9811 ((15 . 1) (26 . 5) (27 . 4) (28 . 6)) 3472 0.3843 10.1432 ((16 . 4) (19 . 8) (20 . 9) (24 . 11) (25 . 12)) 3481 0.3077 6.6444 ((13 . 4) (16 . 7) (19 . 10) (24 . 12)) 3489 0.5383 5.4091 ((13 . 1) (18 . 2) (19 . 3) (20 . 4) (25 . 10) (26 . 12) (28 . 14)) 3495 0.3846 6.1544 ((18 . 1) (19 . 2) (20 . 3) (24 . 8) (25 . 16)) 3496 0.3077 7.4315 ((18 . 18) (19 . 19) (26 . 22) (28 . 23)) 3533 0.3077 6.8436 ((18 . 3) (19 . 5) (25 . 10) (26 . 11)) 3537 0.3076 9.3582 ((15 . 1) (19 . 2) (25 . 7) (27 . 8)) 3538 0.3076 8.2202 ((13 . 18) (16 . 20) (24 . 23) (26 . 25)) 3548 0.3843 9.6253 ((13 . 2) (19 . 6) (20 . 8) (24 . 9) (25 . 10)) 3549 0.2554 8.3969 ((18 . 1) (19 . 2) (20 . 3) (27 . 7)) 3561 0.3077 5.4501 ((20 . 20) (24 . 22) (26 . 28) (28 . 30)) 3570 0.3077 6.0557 ((16 . 4) (19 . 7) (20 . 8) (25 . 10)) 3585 0.3846 5.6651 ((18 . 8) (24 . 11) (25 . 12) (26 . 13) (28 . 14)) 3613 0.3074 12.8060 ((13 . 36) (15 . 39) (16 . 40) (27 . 44)) 3625 0.3846 5.3301 ((20 . 1) (24 . 2) (25 . 3) (26 . 5) (28 . 6)) 3626 0.3794 9.8393 ((15 . 1) (16 . 3) (19 . 6) (20 . 8) (24 . 11)) 3628 0.3077 7.4949 ((20 . 10) (25 . 12) (27 . 13) (28 . 14)) 3651 0.3077 6.0368 ((13 . 3) (19 . 8) (24 . 11) (25 . 13)) 3658 0.3077 6.1475 ((13 . 1) (19 . 5) (20 . 6) (21 . 7)) 3659 0.1919 12.8634 ((15 . 3) (19 . 5) (21 . 8) (25 . 10)) 3661 0.3077 6.8123 ((15 . 17) (21 . 23) (24 . 24) (25 . 26)) 3663 0.3077 7.2044 ((19 . 1) (20 . 2) (24 . 5) (27 . 7)) 3688 0.3076 8.8736 ((18 . 5) (20 . 8) (24 . 12) (28 . 14)) 3697 0.3075 11.0022 ((16 . 1) (25 . 6) (26 . 7) (27 . 8)) 3703 0.3844 8.5045 ((13 . 1) (16 . 2) (19 . 6) (26 . 7) (28 . 8)) 3732 0.3845 7.3928 ((18 . 5) (20 . 7) (25 . 9) (26 . 11) (28 . 12)) 3733 0.3077 6.7637 ((19 . 1) (24 . 3) (26 . 6) (27 . 7)) 3740 0.3077 5.4201 ((24 . 1) (25 . 2) (26 . 3) (28 . 4)) 3741 0.3077 6.4837 ((24 . 13) (25 . 14) (26 . 16) (28 . 17)) 3776 0.3077 6.0724 ((13 . 15) (18 . 20) (19 . 21) (24 . 24)) 3778 0.3077 6.9089 ((24 . 2) (25 . 3) (26 . 4) (27 . 5)) 3787 0.3077 7.8089 ((13 . 27) (16 . 29) (18 . 31) (20 . 33)) 3790 0.3846 5.1407 ((16 . 5) (18 . 6) (20 . 10) (24 . 13) (25 . 14)) 3807 0.3077 7.7319 ((20 . 43) (24 . 46) (25 . 47) (27 . 49)) 3810 0.3845 7.2817 ((13 . 6) (16 . 10) (20 . 14) (24 . 15) (25 . 16)) 3817 0.3076 8.5589 ((13 . 1) (19 . 5) (21 . 7) (26 . 9)) 3818 0.1919 12.0173 ((15 . 21) (19 . 23) (26 . 28) (28 . 29)) 3831 0.3077 7.6098 ((18 . 2) (19 . 3) (24 . 5) (25 . 6)) 3847 0.3076 8.5875 ((13 . 9) (16 . 13) (19 . 16) (20 . 17)) 3849 0.2554 8.3294 ((18 . 1) (19 . 2) (20 . 3) (27 . 7)) 3853 0.3076 7.9739 ((19 . 3) (21 . 6) (26 . 8) (27 . 9)) 3856 0.3077 5.5677 ((13 . 3) (19 . 9) (20 . 10) (21 . 12)) 3870 0.3077 6.1365 ((13 . 3) (16 . 5) (20 . 8) (25 . 10)) 3933 0.3077 6.5943 ((20 . 8) (24 . 9) (25 . 10) (26 . 11)) 3938 0.3076 9.2258 ((19 . 6) (20 . 8) (21 . 9) (27 . 16)) 3942 0.3076 8.2761 ((20 . 2) (21 . 3) (27 . 8) (28 . 9)) 3968 0.3076 10.3356 ((15 . 2) (19 . 3) (24 . 5) (26 . 9)) 3986 0.3077 7.4799 ((20 . 6) (21 . 7) (24 . 9) (28 . 13)) 3990 0.2854 7.3747 ((13 . 20) (16 . 22) (18 . 23) (20 . 26)) 4005 0.3077 4.9674 ((16 . 7) (19 . 9) (20 . 12) (24 . 14)) 4009 0.3076 8.3884 ((19 . 15) (26 . 19) (27 . 20) (28 . 21)) 4019 0.3846 6.1564 ((18 . 39) (19 . 42) (20 . 43) (24 . 44) (25 . 45)) 4034 0.3841 11.4190 ((19 . 10) (20 . 12) (21 . 13) (26 . 15) (28 . 16)) 4037 0.3077 6.9544 ((18 . 1) (19 . 2) (20 . 3) (27 . 6)) 4067 0.3077 7.5406 ((13 . 14) (19 . 20) (24 . 22) (26 . 24)) 4082 0.3076 8.8348 ((21 . 5) (24 . 7) (25 . 8) (27 . 9)) 4087 0.3077 6.7920 ((16 . 1) (19 . 3) (20 . 5) (25 . 7)) 4112 0.2854 6.0570 ((20 . 2) (24 . 3) (25 . 4) (27 . 8)) 4115 0.2854 7.9510 ((14 . 10) (15 . 11) (20 . 13) (25 . 15)) 4140 0.0997 8.7177 ((19 . 21) (20 . 22) (21 . 23) (27 . 26)) 4151 0.3077 7.3539 ((15 . 2) (16 . 3) (20 . 7) (28 . 12)) 4154 0.3077 4.3019 ((19 . 52) (20 . 53) (21 . 54) (24 . 56)) 4177 0.3077 6.7668 ((18 . 1) (19 . 2) (26 . 7) (28 . 8)) 4190 0.3077 6.9000 ((13 . 1) (19 . 3) (26 . 8) (28 . 9)) 4192 0.3076 9.9278 ((19 . 10) (25 . 15) (27 . 16) (28 . 19)) 4194 0.3844 8.5021 ((18 . 1) (19 . 3) (25 . 5) (26 . 6) (28 . 7)) 4195 0.3073 13.5777 ((13 . 9) (15 . 10) (27 . 13) (28 . 14)) 4204 0.3845 7.5659 ((13 . 9) (19 . 11) (21 . 13) (24 . 14) (25 . 15)) 4209 0.3077 7.9148 ((16 . 1) (19 . 2) (20 . 4) (24 . 7)) 4210 0.3077 5.9765 ((13 . 4) (20 . 5) (26 . 6) (27 . 7)) 4226 0.3077 6.0175 ((20 . 11) (21 . 12) (26 . 16) (27 . 17)) 4232 0.3845 7.6171 ((19 . 2) (20 . 3) (21 . 4) (24 . 5) (25 . 6)) 4236 0.3077 7.3223 ((20 . 5) (25 . 8) (26 . 10) (27 . 11)) 4246 0.3076 8.5408 ((13 . 3) (16 . 6) (19 . 8) (21 . 11)) 4254 0.3844 8.5714 ((16 . 9) (19 . 11) (21 . 13) (24 . 15) (26 . 18)) 4255 0.2284 7.2067 ((15 . 20) (19 . 23) (20 . 24) (24 . 26)) 4257 0.1919 8.7626 ((15 . 2) (20 . 8) (24 . 9) (26 . 11)) 4265 0.3077 7.5138 ((13 . 20) (18 . 24) (20 . 26) (25 . 29)) 4266 0.3077 7.9321 ((19 . 4) (21 . 6) (26 . 8) (27 . 9)) 4274 0.2975 8.5029 ((16 . 36) (18 . 38) (20 . 40) (24 . 41)) 4275 0.3077 6.1270 ((20 . 21) (24 . 23) (26 . 25) (28 . 27)) 4281 0.3077 6.8187 ((19 . 3) (21 . 5) (26 . 8) (27 . 9)) 4284 0.3077 6.8095 ((19 . 1) (20 . 4) (24 . 5) (28 . 8)) 4299 0.3077 6.8650 ((21 . 16) (25 . 19) (26 . 20) (28 . 22)) 4301 0.3846 5.4751 ((18 . 2) (19 . 3) (20 . 4) (25 . 8) (26 . 9)) 4326 0.3077 6.0776 ((13 . 7) (19 . 15) (21 . 17) (24 . 19)) 4332 0.2974 10.4716 ((14 . 2) (15 . 3) (16 . 4) (20 . 9)) 4338 0.3844 9.2610 ((19 . 1) (20 . 4) (25 . 6) (26 . 7) (28 . 8)) 4352 0.2284 6.1670 ((15 . 1) (26 . 9) (27 . 7) (28 . 10)) 4359 0.3845 7.1164 ((19 . 13) (20 . 14) (21 . 15) (26 . 19) (28 . 20)) 4380 0.3077 7.1726 ((13 . 1) (25 . 14) (26 . 15) (28 . 17)) 4383 0.3845 7.5520 ((18 . 14) (19 . 15) (20 . 16) (21 . 17) (25 . 18)) 4386 0.2975 6.8016 ((14 . 9) (15 . 11) (26 . 16) (27 . 17)) 4388 0.3845 7.2873 ((13 . 1) (20 . 6) (24 . 8) (25 . 9) (26 . 10)) 4398 0.3077 6.3050 ((14 . 1) (15 . 2) (20 . 6) (21 . 7)) 4405 0.3077 6.7128 ((20 . 14) (25 . 18) (26 . 19) (27 . 20)) 4408 0.3077 5.8339 ((21 . 1) (24 . 2) (25 . 3) (27 . 5)) 4415 0.3077 7.2275 ((18 . 3) (19 . 4) (26 . 9) (27 . 10)) 4419 0.3077 7.2194 ((18 . 7) (19 . 8) (20 . 9) (21 . 10)) 4470 0.3077 6.7339 ((18 . 19) (19 . 20) (27 . 24) (28 . 25)) 4491 0.3077 5.9362 ((20 . 1) (25 . 5) (26 . 6) (27 . 7)) 4492 0.3077 5.8540 ((24 . 4) (25 . 5) (26 . 7) (28 . 8)) 4495 0.3075 11.2466 ((20 . 6) (25 . 8) (26 . 10) (27 . 11)) 4497 0.4613 7.6529 ((13 . 18) (19 . 24) (20 . 25) (21 . 26) (25 . 27) (26 . 28)) 4502 0.3077 6.9828 ((19 . 9) (24 . 11) (26 . 14) (27 . 16)) 4503 0.3077 5.5780 ((20 . 4) (24 . 7) (25 . 8) (26 . 9)) 4504 0.3077 6.8294 ((16 . 15) (25 . 20) (26 . 21) (28 . 22)) 4505 0.3076 8.1244 ((25 . 25) (26 . 26) (27 . 27) (28 . 28)) 4516 0.3076 8.9130 ((20 . 14) (25 . 18) (27 . 19) (28 . 20)) 4538 0.3844 9.4038 ((15 . 27) (18 . 30) (19 . 31) (21 . 33) (25 . 37)) 4551 0.3076 8.6645 ((16 . 1) (18 . 2) (20 . 4) (25 . 8)) 4560 0.3077 6.3503 ((13 . 1) (19 . 6) (26 . 11) (27 . 12)) 4561 0.3077 6.5191 ((19 . 5) (21 . 7) (26 . 9) (27 . 11)) 4562 0.3077 5.9818 ((13 . 19) (19 . 25) (21 . 27) (24 . 29)) 4563 0.3076 8.1199 ((13 . 26) (20 . 31) (26 . 34) (28 . 35)) 4577 0.3295 8.1462 ((14 . 27) (16 . 28) (18 . 30) (19 . 32) (20 . 33)) 4588 0.3077 6.6539 ((13 . 3) (16 . 8) (19 . 11) (21 . 13)) 4589 0.3077 6.6083 ((21 . 19) (25 . 22) (26 . 23) (27 . 24)) 4607 0.2284 10.9387 ((15 . 18) (26 . 24) (27 . 28) (28 . 27)) 4621 0.3845 8.0899 ((18 . 4) (20 . 7) (21 . 8) (25 . 9) (26 . 11)) 4630 0.3077 5.5268 ((13 . 26) (18 . 31) (19 . 33) (20 . 34)) 4648 0.3076 8.4321 ((24 . 2) (26 . 5) (27 . 3) (28 . 8)) 4653 0.3077 5.6120 ((19 . 1) (20 . 3) (24 . 4) (28 . 8)) 4668 0.3077 7.2258 ((19 . 3) (21 . 5) (24 . 7) (27 . 10)) 4669 0.3077 7.7273 ((20 . 12) (21 . 13) (24 . 15) (26 . 17)) 4671 0.3077 5.3423 ((13 . 7) (24 . 18) (25 . 19) (28 . 21)) 4674 0.3077 7.4783 ((21 . 6) (24 . 7) (25 . 8) (26 . 9)) 4678 0.3077 6.3563 ((15 . 8) (19 . 11) (20 . 12) (25 . 14)) 4713 0.3844 8.5019 ((15 . 1) (19 . 6) (20 . 7) (21 . 8) (27 . 11)) 4731 0.3077 5.6369 ((19 . 18) (25 . 22) (26 . 23) (28 . 24)) 4734 0.3076 8.4905 ((19 . 2) (21 . 5) (24 . 6) (25 . 7)) 4857 0.3077 6.7914 ((18 . 5) (21 . 9) (25 . 11) (28 . 13)) 4886 0.3077 5.7899 ((15 . 28) (16 . 29) (24 . 32) (27 . 33)) 4888 0.3076 8.6583 ((13 . 4) (18 . 9) (25 . 14) (26 . 15)) 4889 0.3077 6.2372 ((24 . 2) (25 . 3) (26 . 4) (27 . 5)) 4907 0.3077 5.5969 ((21 . 1) (25 . 3) (26 . 4) (28 . 5)) 4914 0.3077 6.3396 ((13 . 1) (21 . 9) (24 . 11) (25 . 12)) 4921 0.3846 6.5775 ((19 . 8) (20 . 9) (25 . 12) (26 . 14) (28 . 15)) 4929 0.3846 5.5808 ((19 . 29) (20 . 31) (25 . 33) (26 . 34) (28 . 35)) 4932 0.3077 5.8979 ((21 . 1) (24 . 4) (25 . 5) (26 . 6)) 4940 0.3077 7.4194 ((18 . 3) (19 . 4) (20 . 6) (21 . 7)) 4941 0.3076 10.1960 ((14 . 5) (20 . 13) (25 . 17) (26 . 19)) 4944 0.3077 6.1330 ((19 . 11) (25 . 14) (26 . 15) (28 . 16)) 4961 0.3077 7.2669 ((13 . 12) (18 . 15) (19 . 17) (24 . 20)) 4978 0.3077 5.8235 ((20 . 18) (25 . 21) (26 . 22) (28 . 24)) 4982 0.3076 8.5774 ((15 . 2) (25 . 9) (26 . 10) (28 . 12)) 4992 0.3077 5.8378 ((20 . 1) (24 . 2) (25 . 3) (28 . 6)) 4998 0.3077 6.9230 ((13 . 8) (20 . 15) (26 . 19) (28 . 20)) 5029 0.3076 8.4257 ((19 . 2) (20 . 4) (25 . 8) (28 . 10)) 5036 0.4615 4.9638 ((19 . 5) (20 . 6) (24 . 7) (25 . 8) (26 . 9) (28 . 10)) 5038 0.3077 5.5354 ((18 . 9) (19 . 10) (25 . 16) (26 . 17)) 5039 0.3077 7.9009 ((15 . 40) (16 . 41) (20 . 44) (21 . 45)) 5044 0.2853 11.8561 ((13 . 2) (15 . 4) (19 . 8) (20 . 9)) 5046 0.5384 3.6822 ((13 . 1) (18 . 3) (19 . 4) (25 . 7) (26 . 8) (27 . 9) (28 . 10)) 5053 0.3077 5.6048 ((18 . 2) (19 . 3) (20 . 5) (28 . 9)) 5065 0.3077 5.2111 ((18 . 2) (24 . 7) (26 . 9) (28 . 10)) 5068 0.3076 8.4467 ((15 . 9) (19 . 12) (24 . 15) (25 . 16)) 5069 0.3845 8.4586 ((13 . 9) (19 . 15) (24 . 17) (25 . 18) (27 . 20)) 5073 0.3077 6.2766 ((13 . 32) (19 . 36) (24 . 39) (27 . 41)) 5083 0.2553 12.4464 ((14 . 2) (15 . 3) (16 . 5) (20 . 9)) 5101 0.3077 6.5971 ((13 . 1) (19 . 7) (21 . 9) (24 . 10)) 5103 0.3076 9.5695 ((18 . 2) (20 . 4) (25 . 6) (28 . 9)) 5121 0.3076 8.0868 ((13 . 25) (16 . 27) (19 . 30) (20 . 31)) 5132 0.3076 8.0519 ((19 . 18) (21 . 20) (26 . 22) (27 . 23)) 5134 0.3076 9.6665 ((15 . 5) (24 . 10) (27 . 12) (28 . 13)) 5145 0.3076 8.2729 ((19 . 5) (24 . 8) (25 . 10) (27 . 11)) 5167 0.2854 8.3326 ((15 . 8) (16 . 9) (21 . 12) (25 . 14)) 5176 0.3076 8.0197 ((16 . 82) (19 . 84) (24 . 87) (25 . 88)) 5183 0.3077 5.8977 ((24 . 34) (25 . 35) (26 . 36) (28 . 37)) 5192 0.3077 7.5934 ((19 . 1) (24 . 3) (26 . 5) (27 . 6)) 5198 0.1919 11.1778 ((13 . 21) (15 . 23) (19 . 24) (26 . 30)) 5199 0.3077 6.5518 ((19 . 7) (20 . 8) (26 . 9) (28 . 10)) 5209 0.3077 6.2492 ((19 . 7) (20 . 8) (24 . 9) (25 . 10)) 5212 0.3077 6.4491 ((15 . 17) (20 . 21) (21 . 22) (24 . 24)) 5215 0.3077 4.2483 ((13 . 5) (21 . 10) (24 . 12) (28 . 15)) 5223 0.3842 10.7496 ((13 . 6) (19 . 10) (21 . 12) (26 . 15) (27 . 16)) 5231 0.3762 7.4447 ((13 . 8) (15 . 9) (16 . 12) (19 . 13) (20 . 14)) 5266 0.3077 5.5193 ((13 . 2) (19 . 8) (21 . 13) (25 . 15)) 5278 0.3846 5.4899 ((16 . 2) (19 . 5) (20 . 6) (21 . 7) (24 . 9)) 5307 0.3077 6.0184 ((13 . 51) (19 . 55) (20 . 57) (21 . 58)) 5312 0.3077 6.6436 ((18 . 1) (19 . 2) (20 . 3) (26 . 7)) 5318 0.3076 9.6550 ((13 . 19) (16 . 22) (19 . 23) (20 . 24)) 5324 0.3077 6.4274 ((15 . 21) (16 . 22) (20 . 25) (24 . 28)) 5344 0.3845 7.2433 ((16 . 2) (24 . 7) (25 . 8) (26 . 9) (28 . 10)) 5345 0.3845 8.1919 ((20 . 2) (24 . 5) (25 . 7) (26 . 8) (28 . 9)) 5368 0.3846 6.6607 ((19 . 25) (20 . 26) (21 . 27) (26 . 32) (28 . 33)) 5378 0.3077 7.4950 ((16 . 7) (19 . 9) (26 . 15) (28 . 16)) 5411 0.3076 8.4533 ((15 . 1) (20 . 3) (25 . 6) (26 . 8)) 5414 0.3846 4.3666 ((24 . 14) (25 . 15) (26 . 16) (27 . 17) (28 . 18)) 5418 0.3077 5.9644 ((25 . 2) (26 . 3) (27 . 4) (28 . 5)) 5421 0.2854 10.1449 ((18 . 1) (19 . 2) (20 . 3) (24 . 5)) 5433 0.3077 7.0606 ((21 . 12) (24 . 14) (25 . 16) (28 . 20)) 5479 0.3846 4.8748 ((18 . 34) (19 . 35) (20 . 36) (25 . 40) (26 . 41)) 5487 0.3077 7.1698 ((21 . 2) (24 . 4) (26 . 7) (27 . 8)) 5489 0.3846 4.0613 ((20 . 9) (21 . 10) (24 . 12) (25 . 13) (26 . 14)) 5500 0.3845 6.9414 ((18 . 1) (19 . 2) (25 . 3) (26 . 12) (28 . 14)) 5501 0.3076 9.8921 ((19 . 16) (20 . 17) (21 . 20) (27 . 22)) 5525 0.2975 7.8861 ((15 . 1) (26 . 7) (27 . 5) (28 . 8)) 5535 0.3077 5.7909 ((20 . 8) (25 . 11) (26 . 12) (27 . 13)) 5540 0.3077 6.6004 ((21 . 7) (25 . 8) (26 . 10) (28 . 14)) 5557 0.3077 6.8876 ((24 . 1) (25 . 2) (26 . 3) (28 . 4)) 5560 0.3077 6.2065 ((15 . 8) (16 . 9) (20 . 11) (21 . 13)) 5562 0.3077 5.9688 ((15 . 10) (16 . 11) (20 . 14) (25 . 17)) 5567 0.3076 8.2799 ((13 . 8) (19 . 15) (24 . 17) (25 . 18)) 5594 0.3077 5.6083 ((20 . 1) (24 . 3) (25 . 4) (28 . 6)) 5600 0.3077 5.1414 ((20 . 3) (25 . 5) (26 . 6) (27 . 7)) 5601 0.3077 6.9376 ((21 . 10) (24 . 12) (26 . 15) (28 . 16)) 5638 0.3844 9.1989 ((19 . 7) (20 . 8) (21 . 9) (26 . 13) (27 . 14)) 5640 0.3844 8.6952 ((16 . 18) (19 . 21) (20 . 22) (26 . 25) (28 . 26)) 5644 0.3077 7.2007 ((19 . 3) (20 . 4) (26 . 10) (28 . 11)) 5656 0.3077 7.7715 ((13 . 16) (19 . 21) (20 . 23) (21 . 24)) 5700 0.3845 7.1020 ((13 . 2) (19 . 6) (20 . 8) (24 . 9) (25 . 11)) 5701 0.3077 6.6972 ((15 . 10) (16 . 11) (19 . 12) (21 . 14)) 5703 0.3077 5.1843 ((16 . 2) (21 . 6) (25 . 7) (26 . 8)) 5711 0.3843 9.6677 ((13 . 29) (20 . 36) (21 . 37) (26 . 42) (28 . 43)) 5713 0.3845 7.5129 ((19 . 2) (20 . 3) (21 . 4) (24 . 6) (26 . 8)) 5718 0.3077 6.0078 ((18 . 14) (25 . 21) (26 . 23) (28 . 24)) 5731 0.3077 7.1928 ((19 . 7) (24 . 10) (25 . 11) (26 . 13)) 5746 0.3845 7.1353 ((19 . 6) (20 . 7) (21 . 8) (24 . 9) (25 . 10)) 5749 0.3077 6.7916 ((18 . 3) (19 . 4) (20 . 5) (21 . 6)) 5761 0.3842 10.6423 ((16 . 28) (19 . 30) (20 . 31) (21 . 32) (27 . 34)) 5770 0.2975 9.7930 ((13 . 1) (24 . 12) (25 . 15) (27 . 18)) 5771 0.3076 9.1293 ((20 . 9) (25 . 14) (27 . 16) (28 . 17)) 5782 0.3844 8.5315 ((18 . 18) (19 . 21) (20 . 22) (25 . 24) (26 . 26)) 5794 0.3077 6.3424 ((16 . 19) (20 . 23) (24 . 24) (25 . 25)) 5795 0.3077 7.8393 ((13 . 6) (15 . 8) (19 . 10) (21 . 13)) 5809 0.3077 7.1250 ((15 . 8) (20 . 12) (25 . 14) (26 . 15)) 5822 0.3077 7.0005 ((20 . 1) (21 . 2) (24 . 4) (27 . 5)) 5827 0.3844 8.6898 ((18 . 4) (19 . 5) (24 . 8) (26 . 11) (27 . 12)) 5830 0.3845 6.7677 ((16 . 3) (19 . 7) (20 . 8) (24 . 10) (28 . 13)) 5847 0.3077 5.9729 ((20 . 1) (25 . 5) (26 . 7) (28 . 8)) 5861 0.3845 8.0897 ((19 . 1) (20 . 2) (25 . 5) (26 . 6) (28 . 7)) 5865 0.3077 6.9488 ((20 . 1) (24 . 4) (25 . 5) (28 . 7)) 5878 0.3076 8.6468 ((15 . 21) (24 . 26) (25 . 28) (26 . 30)) 5888 0.3845 6.7610 ((19 . 12) (20 . 13) (21 . 14) (26 . 18) (28 . 19)) 5896 0.3077 4.7096 ((20 . 26) (25 . 28) (26 . 29) (27 . 30)) 5904 0.3077 7.7232 ((13 . 4) (19 . 7) (21 . 9) (24 . 11)) 5913 0.3077 7.3735 ((24 . 5) (25 . 6) (26 . 7) (27 . 8)) 5914 0.3076 9.3469 ((19 . 2) (20 . 3) (24 . 6) (27 . 7)) 5922 0.5383 5.5301 ((18 . 5) (19 . 6) (20 . 8) (24 . 9) (25 . 10) (26 . 11) (28 . 13)) 5930 0.3077 7.7397 ((19 . 1) (20 . 2) (27 . 6) (28 . 7)) 5939 0.2854 10.5461 ((13 . 4) (19 . 9) (25 . 14) (27 . 15)) 5945 0.3077 7.0143 ((18 . 32) (19 . 33) (26 . 37) (28 . 38)) 5949 0.1322 12.3951 ((13 . 9) (14 . 10) (16 . 12) (19 . 14)) 5955 0.3077 7.3150 ((24 . 14) (25 . 16) (26 . 17) (27 . 18)) 5977 0.3077 5.3718 ((13 . 1) (19 . 3) (21 . 5) (25 . 6)) 6000 0.2850 15.5221 ((13 . 14) (14 . 17) (15 . 18) (27 . 27)) 6011 0.3845 7.7654 ((19 . 3) (20 . 4) (21 . 5) (26 . 9) (28 . 10)) 6022 0.3845 7.7716 ((19 . 2) (20 . 4) (25 . 7) (26 . 8) (28 . 9)) 6028 0.2554 7.7682 ((18 . 1) (19 . 2) (20 . 3) (27 . 8)) 6029 0.3076 8.5075 ((19 . 31) (24 . 33) (26 . 35) (27 . 36)) 6041 0.3845 7.2340 ((19 . 8) (24 . 10) (25 . 11) (26 . 12) (28 . 13)) 6046 0.3077 6.1013 ((21 . 2) (25 . 3) (26 . 5) (28 . 6)) 6061 0.3077 4.9244 ((13 . 13) (19 . 17) (21 . 20) (25 . 21)) 6074 0.3076 9.1171 ((18 . 6) (20 . 8) (25 . 11) (28 . 13)) 6075 0.3077 6.3970 ((13 . 17) (19 . 24) (21 . 27) (24 . 28)) 6079 0.3077 5.5505 ((13 . 1) (19 . 6) (20 . 7) (21 . 8)) 6089 0.3077 7.3523 ((19 . 1) (21 . 3) (26 . 5) (27 . 6)) 6094 0.3077 7.6698 ((19 . 7) (24 . 11) (25 . 12) (26 . 14)) 6099 0.4612 7.8648 ((13 . 5) (19 . 10) (20 . 11) (24 . 13) (27 . 15) (28 . 18)) 6123 0.3843 9.6797 ((18 . 2) (19 . 3) (20 . 4) (21 . 5) (27 . 7)) 6142 0.3846 6.0079 ((19 . 2) (20 . 3) (24 . 4) (26 . 6) (28 . 7)) 6148 0.2975 9.6756 ((21 . 32) (24 . 33) (27 . 35) (28 . 37)) 6167 0.3077 7.3740 ((19 . 6) (20 . 7) (21 . 9) (28 . 17)) 6173 0.4615 4.5442 ((13 . 3) (18 . 7) (19 . 8) (20 . 9) (21 . 11) (25 . 12)) 6191 0.3077 7.0124 ((18 . 4) (21 . 6) (25 . 9) (28 . 12)) 6192 0.3077 7.7821 ((16 . 3) (20 . 5) (26 . 10) (28 . 11)) 6215 0.3077 5.7002 ((19 . 17) (20 . 18) (24 . 19) (25 . 20)) 6225 0.3077 7.1125 ((18 . 3) (19 . 4) (20 . 5) (28 . 10)) 6228 0.3077 4.8442 ((14 . 5) (16 . 7) (20 . 9) (24 . 12)) 6234 0.3077 6.3205 ((25 . 6) (26 . 7) (27 . 8) (28 . 9)) 6238 0.3077 7.7179 ((21 . 7) (25 . 8) (26 . 9) (27 . 10)) 6243 0.3077 7.2626 ((15 . 1) (19 . 6) (21 . 8) (26 . 10)) 6251 0.3076 8.3825 ((18 . 8) (20 . 10) (27 . 14) (28 . 15)) 6258 0.3076 8.1004 ((15 . 2) (19 . 7) (21 . 9) (26 . 12)) 6261 0.3567 8.3857 ((13 . 1) (19 . 3) (20 . 9) (26 . 11) (27 . 18)) 6266 0.2554 7.0878 ((13 . 3) (19 . 6) (20 . 8) (21 . 10)) 6270 0.3832 14.6049 ((15 . 11) (18 . 13) (19 . 15) (24 . 17) (25 . 18)) 6271 0.3077 5.9290 ((14 . 1) (18 . 4) (26 . 10) (28 . 11)) 6273 0.3077 7.4205 ((13 . 7) (15 . 9) (19 . 12) (20 . 13)) 6294 0.3077 7.5784 ((19 . 11) (21 . 14) (26 . 16) (27 . 19)) 6306 0.3077 6.9828 ((20 . 15) (21 . 16) (24 . 17) (27 . 18)) 6309 0.3077 4.9042 ((20 . 20) (26 . 25) (27 . 26) (28 . 27)) 6311 0.3845 8.1459 ((13 . 4) (19 . 9) (24 . 11) (26 . 13) (28 . 14)) 6326 0.3077 7.6974 ((13 . 1) (19 . 5) (26 . 11) (28 . 12)) 6338 0.4615 4.2630 ((19 . 1) (20 . 2) (21 . 4) (25 . 5) (26 . 7) (28 . 8)) 6344 0.3077 6.3278 ((24 . 12) (25 . 13) (26 . 14) (28 . 17)) 6345 0.3077 7.0845 ((13 . 4) (16 . 6) (24 . 11) (28 . 14)) 6348 0.3076 8.6401 ((18 . 1) (20 . 4) (27 . 8) (28 . 9)) 6355 0.3076 8.7048 ((19 . 4) (20 . 6) (24 . 7) (25 . 9)) 6356 0.3077 7.0208 ((20 . 1) (25 . 4) (27 . 5) (28 . 6)) 6369 0.3077 7.3492 ((19 . 24) (21 . 26) (26 . 29) (27 . 30)) 6376 0.3077 4.8353 ((14 . 21) (15 . 23) (16 . 24) (20 . 28)) 6391 0.2284 8.5243 ((15 . 3) (26 . 8) (27 . 9) (28 . 10)) 6392 0.2854 6.1369 ((13 . 3) (15 . 5) (19 . 7) (21 . 9)) 6399 0.3845 6.7965 ((19 . 18) (20 . 19) (21 . 20) (26 . 25) (28 . 26)) 6403 0.3077 5.4556 ((24 . 12) (25 . 13) (26 . 14) (28 . 15)) 6434 0.3076 8.2929 ((20 . 2) (21 . 3) (25 . 4) (26 . 5)) 6462 0.3695 10.9887 ((13 . 12) (15 . 15) (19 . 18) (24 . 20) (26 . 22)) 6498 0.3077 6.8858 ((24 . 1) (25 . 2) (26 . 3) (27 . 5)) 6520 0.3845 6.9935 ((18 . 1) (20 . 3) (24 . 6) (25 . 8) (26 . 9)) 6539 0.3077 5.7268 ((20 . 2) (25 . 4) (26 . 5) (27 . 7)) 6540 0.3295 6.3586 ((14 . 11) (20 . 17) (25 . 19) (26 . 20) (28 . 21)) 6548 0.3077 5.9500 ((19 . 7) (21 . 9) (25 . 12) (26 . 13)) 6553 0.3840 11.7259 ((16 . 13) (18 . 15) (20 . 17) (25 . 20) (28 . 23)) 6555 0.3846 6.5452 ((18 . 17) (19 . 19) (20 . 20) (25 . 23) (26 . 24)) 6561 0.3077 6.2696 ((13 . 9) (19 . 12) (21 . 13) (25 . 15)) 6573 0.3076 9.1028 ((13 . 17) (15 . 20) (18 . 22) (19 . 23)) 6575 0.3077 7.0706 ((19 . 1) (20 . 2) (24 . 5) (27 . 7)) 6578 0.3846 5.9070 ((18 . 31) (19 . 32) (20 . 34) (24 . 37) (25 . 38)) 6584 0.3077 6.0651 ((18 . 3) (20 . 5) (21 . 6) (25 . 9)) 6585 0.3077 6.7111 ((18 . 6) (25 . 10) (26 . 11) (27 . 12)) 6586 0.2554 7.6643 ((13 . 18) (15 . 22) (19 . 24) (20 . 25)) 6587 0.3077 5.7393 ((18 . 31) (20 . 33) (21 . 34) (27 . 36)) 6598 0.3845 6.7711 ((19 . 3) (20 . 4) (24 . 5) (26 . 7) (28 . 8)) 6613 0.3077 6.7256 ((19 . 24) (25 . 27) (26 . 28) (28 . 31)) 6635 0.2553 10.8896 ((15 . 2) (19 . 4) (20 . 7) (27 . 10)) END