5878 25 0.3633 11.0054 ((22 . 5) (24 . 9) (28 . 11) (31 . 12)) 51 0.3636 6.5453 ((22 . 3) (23 . 4) (25 . 7) (29 . 10)) 62 0.3418 8.8863 ((24 . 9) (25 . 10) (29 . 12) (30 . 13)) 64 0.3635 8.5312 ((26 . 10) (29 . 12) (30 . 13) (31 . 16)) 77 0.3636 7.3138 ((24 . 10) (29 . 13) (30 . 15) (31 . 16)) 91 0.3518 12.7168 ((13 . 11) (24 . 18) (25 . 19) (31 . 25)) 96 0.2728 4.9019 ((24 . 4) (25 . 3) (29 . 5) (30 . 6)) 129 0.3636 4.8315 ((25 . 5) (26 . 8) (28 . 9) (29 . 10)) 136 0.3635 7.8797 ((24 . 4) (25 . 5) (29 . 7) (30 . 8)) 147 0.2377 10.4766 ((21 . 1) (22 . 2) (24 . 3) (31 . 7)) 150 0.3192 8.7820 ((22 . 17) (24 . 18) (28 . 20) (31 . 21)) 155 0.2377 8.9127 ((13 . 1) (22 . 4) (23 . 5) (24 . 6)) 157 0.3636 7.3434 ((21 . 13) (22 . 15) (23 . 17) (25 . 20)) 161 0.3802 6.8973 ((25 . 2) (26 . 3) (28 . 4) (30 . 6) (31 . 7)) 162 0.1649 9.4792 ((24 . 16) (26 . 17) (28 . 18) (30 . 20)) 169 0.1957 10.7211 ((25 . 2) (26 . 3) (29 . 4) (30 . 5)) 198 0.3636 5.7978 ((26 . 1) (28 . 2) (29 . 4) (30 . 5)) 207 0.3636 6.4913 ((21 . 10) (22 . 11) (23 . 12) (29 . 15)) 259 0.1649 12.4655 ((13 . 5) (21 . 6) (22 . 7) (24 . 8)) 300 0.3636 7.7203 ((26 . 13) (28 . 14) (29 . 16) (30 . 18)) 305 0.3628 13.4525 ((21 . 8) (23 . 10) (25 . 12) (29 . 16)) 315 0.3634 9.9191 ((24 . 2) (25 . 4) (28 . 5) (29 . 6)) 317 0.2727 8.8982 ((21 . 1) (22 . 2) (23 . 3) (31 . 8)) 329 0.3418 8.0745 ((23 . 1) (24 . 3) (26 . 4) (31 . 7)) 350 0.3636 6.9493 ((26 . 1) (28 . 2) (29 . 4) (30 . 5)) 360 0.3522 8.8119 ((25 . 7) (26 . 8) (28 . 9) (31 . 13)) 361 0.3521 10.4857 ((13 . 5) (21 . 8) (22 . 9) (25 . 11)) 365 0.3192 8.7316 ((25 . 3) (26 . 4) (29 . 6) (30 . 8)) 367 0.3192 7.3690 ((22 . 39) (23 . 41) (25 . 43) (29 . 47)) 372 0.3419 6.5480 ((25 . 3) (28 . 5) (29 . 6) (30 . 7)) 387 0.3192 7.7565 ((22 . 6) (25 . 9) (28 . 11) (29 . 12)) 405 0.3636 5.8946 ((25 . 35) (26 . 37) (28 . 38) (30 . 39)) 417 0.3635 8.4115 ((28 . 2) (29 . 3) (30 . 5) (31 . 6)) 420 0.3635 9.1920 ((25 . 8) (26 . 9) (28 . 10) (30 . 12)) 433 0.3635 9.0980 ((22 . 3) (23 . 4) (26 . 7) (31 . 8)) 442 0.4362 6.4580 ((13 . 2) (24 . 11) (25 . 20) (29 . 21) (30 . 22)) 460 0.3523 6.2890 ((25 . 1) (26 . 2) (28 . 3) (31 . 4)) 472 0.3632 11.3263 ((26 . 20) (29 . 21) (30 . 22) (31 . 23)) 491 0.2727 10.8412 ((21 . 2) (22 . 5) (26 . 8) (28 . 9)) 495 0.3635 8.3821 ((24 . 2) (25 . 3) (28 . 5) (31 . 6)) 541 0.3636 6.3375 ((25 . 2) (29 . 3) (30 . 5) (31 . 6)) 543 0.3635 8.3277 ((23 . 3) (25 . 6) (29 . 8) (31 . 9)) 553 0.3628 13.6103 ((13 . 4) (21 . 7) (24 . 10) (26 . 12)) 584 0.3634 9.6077 ((22 . 1) (26 . 3) (29 . 4) (30 . 5)) 587 0.3635 8.6318 ((23 . 12) (26 . 14) (28 . 15) (31 . 17)) 609 0.3416 10.8875 ((21 . 2) (22 . 4) (24 . 5) (25 . 6)) 619 0.3633 11.0503 ((13 . 3) (24 . 10) (28 . 12) (31 . 14)) 624 0.3635 8.6905 ((24 . 8) (25 . 9) (26 . 11) (30 . 13)) 635 0.3419 6.0367 ((13 . 7) (22 . 11) (23 . 12) (25 . 14)) 672 0.4495 7.9561 ((24 . 19) (25 . 20) (26 . 21) (28 . 22) (29 . 23)) 678 0.3628 13.8355 ((13 . 23) (22 . 27) (25 . 29) (31 . 36)) 719 0.3418 7.1207 ((25 . 22) (29 . 25) (30 . 27) (31 . 29)) 729 0.1956 13.1750 ((13 . 3) (22 . 8) (26 . 13) (30 . 15)) 735 0.2728 6.5990 ((23 . 30) (25 . 32) (26 . 33) (29 . 36)) 767 0.3523 6.1699 ((28 . 29) (29 . 31) (30 . 32) (31 . 33)) 782 0.2377 11.7027 ((21 . 5) (22 . 6) (23 . 7) (31 . 12)) 792 0.3510 15.9390 ((13 . 10) (21 . 13) (24 . 16) (31 . 19)) 801 0.3635 8.0222 ((25 . 4) (26 . 5) (29 . 6) (30 . 7)) 812 0.1957 8.0539 ((25 . 5) (28 . 9) (29 . 8) (31 . 12)) 818 0.3636 7.4338 ((13 . 3) (24 . 11) (25 . 12) (28 . 14)) 819 0.3635 7.8050 ((26 . 8) (28 . 9) (30 . 10) (31 . 11)) 834 0.3523 7.1864 ((13 . 34) (21 . 37) (22 . 38) (23 . 39)) 861 0.3636 5.0500 ((13 . 11) (25 . 15) (29 . 16) (30 . 17)) 901 0.3635 8.6608 ((21 . 8) (24 . 13) (28 . 15) (31 . 16)) 904 0.2727 9.6080 ((23 . 1) (24 . 4) (29 . 6) (30 . 7)) 913 0.2727 8.2776 ((24 . 15) (29 . 16) (30 . 17) (31 . 18)) 928 0.3632 11.8782 ((21 . 2) (23 . 4) (29 . 8) (31 . 11)) 943 0.2727 11.5298 ((22 . 5) (23 . 7) (25 . 8) (26 . 9)) 945 0.3415 11.9187 ((23 . 13) (28 . 17) (30 . 19) (31 . 20)) 949 0.1956 14.7896 ((21 . 33) (22 . 36) (23 . 35) (24 . 37)) 960 0.3636 6.3903 ((13 . 30) (22 . 33) (23 . 34) (24 . 37)) 978 0.3635 9.3062 ((22 . 3) (24 . 5) (25 . 6) (31 . 11)) 1007 0.3636 5.1342 ((13 . 1) (26 . 7) (29 . 8) (30 . 9)) 1034 0.3417 9.5958 ((24 . 23) (29 . 25) (30 . 26) (31 . 27)) 1043 0.3634 9.5727 ((22 . 7) (23 . 9) (24 . 11) (28 . 12)) 1082 0.3634 9.6758 ((21 . 27) (22 . 28) (23 . 29) (31 . 35)) 1084 0.3635 8.2299 ((13 . 6) (22 . 15) (25 . 18) (29 . 20)) 1121 0.3636 6.8302 ((24 . 1) (26 . 2) (29 . 3) (30 . 4)) 1165 0.1649 14.2587 ((13 . 5) (21 . 9) (23 . 11) (31 . 16)) 1167 0.3192 8.6549 ((24 . 19) (29 . 21) (30 . 22) (31 . 24)) 1169 0.3636 3.5370 ((26 . 29) (28 . 30) (29 . 32) (30 . 33)) 1195 0.3192 6.9102 ((24 . 1) (25 . 2) (29 . 4) (30 . 5)) 1201 0.3630 12.8773 ((13 . 2) (24 . 8) (25 . 9) (30 . 12)) 1204 0.4472 7.2931 ((22 . 19) (23 . 21) (29 . 23) (30 . 24) (31 . 30)) 1211 0.3636 6.7304 ((22 . 1) (26 . 3) (28 . 4) (31 . 17)) 1217 0.2728 5.1737 ((24 . 8) (25 . 9) (28 . 11) (29 . 12)) 1224 0.3634 10.3798 ((26 . 6) (28 . 7) (30 . 9) (31 . 11)) 1233 0.3636 6.3630 ((13 . 13) (24 . 21) (29 . 23) (30 . 24)) 1267 0.3635 9.3088 ((21 . 20) (24 . 23) (25 . 24) (31 . 27)) 1268 0.3636 4.0668 ((25 . 22) (26 . 23) (28 . 24) (29 . 25)) 1294 0.3630 12.5508 ((26 . 41) (29 . 42) (30 . 43) (31 . 45)) 1301 0.2725 15.1204 ((21 . 3) (23 . 6) (24 . 7) (31 . 8)) 1345 0.3634 9.6066 ((13 . 8) (21 . 11) (24 . 15) (31 . 19)) 1366 0.3635 9.1281 ((21 . 13) (24 . 18) (25 . 20) (28 . 21)) 1388 0.3630 12.5983 ((13 . 2) (22 . 6) (23 . 7) (24 . 10)) 1410 0.3419 4.5538 ((25 . 19) (26 . 20) (28 . 21) (30 . 22)) 1425 0.3192 7.4009 ((24 . 7) (25 . 8) (29 . 10) (30 . 11)) 1435 0.3635 8.2800 ((22 . 7) (23 . 9) (25 . 11) (26 . 13)) 1447 0.3522 9.3824 ((13 . 4) (21 . 8) (23 . 10) (24 . 12)) 1451 0.3636 6.6078 ((25 . 6) (26 . 8) (29 . 9) (30 . 10)) 1464 0.3418 8.9748 ((24 . 9) (25 . 10) (29 . 13) (30 . 14)) 1470 0.3623 15.2415 ((13 . 9) (21 . 11) (23 . 13) (31 . 17)) 1472 0.3190 12.1420 ((21 . 3) (22 . 5) (24 . 9) (31 . 12)) 1476 0.1957 9.6710 ((13 . 10) (21 . 13) (23 . 16) (25 . 18)) 1481 0.2377 8.9654 ((24 . 3) (26 . 4) (28 . 5) (31 . 8)) 1497 0.3419 6.7828 ((13 . 11) (21 . 12) (22 . 15) (23 . 16)) 1501 0.3419 6.8206 ((25 . 3) (28 . 4) (29 . 5) (30 . 6)) 1513 0.3419 6.6401 ((24 . 9) (29 . 11) (30 . 13) (31 . 14)) 1591 0.3418 8.5740 ((24 . 10) (26 . 11) (30 . 14) (31 . 15)) 1595 0.3523 6.8835 ((21 . 1) (22 . 2) (29 . 7) (30 . 8)) 1604 0.3192 7.8215 ((22 . 8) (24 . 11) (25 . 12) (31 . 15)) 1622 0.3636 5.3081 ((26 . 18) (28 . 23) (29 . 24) (30 . 25)) 1624 0.3419 4.8926 ((25 . 4) (26 . 5) (28 . 6) (29 . 7)) 1643 0.3636 5.5980 ((22 . 5) (26 . 9) (28 . 10) (30 . 11)) 1644 0.3635 9.1959 ((22 . 42) (26 . 47) (29 . 48) (30 . 49)) 1690 0.3522 8.9201 ((13 . 7) (21 . 12) (25 . 18) (29 . 20)) 1692 0.2728 7.1207 ((24 . 2) (28 . 5) (29 . 6) (30 . 7)) 1724 0.2726 12.4261 ((13 . 1) (21 . 5) (23 . 7) (24 . 8)) 1736 0.3635 9.1756 ((21 . 6) (24 . 9) (25 . 10) (28 . 12)) 1738 0.3635 8.2585 ((24 . 10) (26 . 11) (29 . 13) (30 . 14)) 1747 0.3636 3.7038 ((13 . 1) (25 . 10) (29 . 11) (30 . 12)) 1756 0.3636 6.6252 ((26 . 23) (28 . 24) (29 . 25) (30 . 26)) 1759 0.3635 8.4818 ((25 . 9) (26 . 10) (28 . 11) (30 . 13)) 1761 0.3523 7.1717 ((25 . 1) (26 . 2) (28 . 3) (31 . 6)) 1763 0.3631 12.0766 ((13 . 1) (22 . 6) (24 . 8) (25 . 10)) 1776 0.3417 9.7496 ((13 . 13) (23 . 21) (24 . 22) (25 . 23)) 1777 0.3418 8.8957 ((25 . 46) (26 . 47) (28 . 49) (30 . 50)) 1778 0.1489 8.5300 ((26 . 3) (29 . 4) (30 . 5) (31 . 6)) 1793 0.3636 7.6193 ((13 . 5) (24 . 9) (25 . 10) (30 . 11)) 1805 0.3636 3.3710 ((26 . 7) (28 . 8) (29 . 9) (30 . 10)) 1808 0.3635 8.9467 ((13 . 1) (26 . 5) (29 . 9) (30 . 10)) 1817 0.3193 4.9493 ((25 . 16) (26 . 18) (28 . 19) (30 . 20)) 1894 0.3634 9.6404 ((21 . 4) (22 . 6) (29 . 11) (30 . 12)) 1896 0.4472 7.8838 ((26 . 23) (28 . 24) (29 . 25) (30 . 26) (31 . 28)) 1897 0.3635 8.3350 ((21 . 35) (22 . 36) (23 . 37) (30 . 43)) 1908 0.3635 8.8591 ((21 . 5) (24 . 6) (26 . 7) (30 . 10)) 1909 0.2377 7.5222 ((13 . 26) (22 . 32) (23 . 33) (31 . 38)) 1913 0.3636 7.0205 ((13 . 2) (28 . 13) (29 . 14) (30 . 15)) 1944 0.3628 13.7617 ((21 . 8) (23 . 12) (28 . 16) (31 . 20)) 1957 0.3636 5.8437 ((13 . 12) (24 . 18) (25 . 19) (29 . 22)) 1961 0.3416 11.0158 ((21 . 13) (24 . 18) (25 . 19) (31 . 23)) 1967 0.3522 7.9406 ((21 . 8) (22 . 9) (24 . 12) (25 . 14)) 1992 0.3632 11.7847 ((22 . 8) (24 . 10) (28 . 12) (29 . 14)) 1995 0.3192 7.0527 ((22 . 5) (26 . 8) (28 . 11) (29 . 12)) 2003 0.3636 6.0359 ((25 . 7) (26 . 8) (29 . 9) (30 . 10)) 2006 0.3635 7.7925 ((21 . 6) (25 . 10) (29 . 11) (30 . 12)) 2045 0.3418 8.0427 ((21 . 4) (22 . 5) (24 . 9) (29 . 11)) 2048 0.2377 9.6149 ((13 . 3) (23 . 9) (29 . 13) (31 . 15)) 2054 0.3635 8.9392 ((21 . 4) (29 . 13) (30 . 14) (31 . 15)) 2063 0.2377 7.9596 ((24 . 46) (25 . 47) (28 . 49) (29 . 50)) 2065 0.3636 5.8765 ((25 . 23) (28 . 25) (29 . 26) (30 . 27)) 2067 0.3519 12.2108 ((25 . 57) (28 . 59) (29 . 60) (31 . 62)) 2072 0.3418 7.8249 ((24 . 3) (28 . 4) (30 . 6) (31 . 8)) 2081 0.4360 8.7047 ((21 . 14) (24 . 18) (26 . 19) (29 . 20) (30 . 21)) 2083 0.3635 8.8227 ((24 . 3) (25 . 5) (26 . 4) (31 . 8)) 2094 0.3521 9.5904 ((13 . 2) (21 . 4) (22 . 6) (23 . 7)) 2097 0.3414 12.7551 ((23 . 10) (26 . 14) (29 . 18) (31 . 19)) 2116 0.3636 5.7334 ((26 . 7) (28 . 8) (29 . 9) (30 . 10)) 2117 0.3636 4.3697 ((22 . 13) (26 . 17) (29 . 22) (30 . 23)) 2118 0.3633 11.1983 ((24 . 2) (25 . 3) (26 . 4) (29 . 5)) 2122 0.3635 8.7569 ((24 . 7) (25 . 8) (28 . 10) (31 . 11)) 2166 0.3636 6.9629 ((21 . 10) (26 . 15) (29 . 16) (30 . 17)) 2179 0.3636 5.8218 ((24 . 3) (25 . 4) (28 . 5) (29 . 6)) 2196 0.2377 6.7216 ((25 . 16) (26 . 17) (29 . 18) (30 . 19)) 2203 0.3418 7.6479 ((25 . 5) (26 . 6) (28 . 7) (31 . 8)) 2205 0.3632 11.8308 ((13 . 12) (25 . 18) (29 . 21) (31 . 24)) 2209 0.3630 12.5454 ((22 . 2) (26 . 6) (29 . 7) (31 . 8)) 2220 0.2377 9.6947 ((24 . 1) (25 . 2) (26 . 3) (28 . 4)) 2243 0.3636 3.3939 ((25 . 62) (26 . 63) (28 . 64) (29 . 65)) 2244 0.1489 7.1132 ((25 . 77) (26 . 78) (28 . 79) (30 . 80)) 2248 0.2727 8.8933 ((21 . 17) (24 . 20) (25 . 22) (31 . 26)) 2249 0.3634 10.2050 ((22 . 2) (24 . 3) (28 . 7) (31 . 9)) 2269 0.2377 10.9805 ((13 . 2) (24 . 9) (30 . 12) (31 . 13)) 2279 0.3635 8.3529 ((24 . 15) (25 . 19) (26 . 20) (30 . 22)) 2295 0.1649 9.4446 ((21 . 2) (23 . 3) (24 . 4) (31 . 7)) 2298 0.3635 9.3499 ((13 . 7) (22 . 13) (25 . 15) (26 . 17)) 2308 0.2726 12.7652 ((13 . 1) (24 . 7) (30 . 11) (31 . 12)) 2314 0.3191 9.8561 ((22 . 1) (25 . 3) (26 . 4) (31 . 9)) 2340 0.3636 7.4204 ((24 . 10) (25 . 11) (29 . 13) (30 . 14)) 2342 0.3630 12.9146 ((13 . 8) (21 . 10) (23 . 12) (31 . 16)) 2344 0.3631 12.0346 ((13 . 9) (22 . 15) (24 . 17) (26 . 20)) 2364 0.4230 8.5336 ((22 . 11) (24 . 16) (26 . 18) (29 . 19) (30 . 20)) 2389 0.3518 12.3928 ((22 . 2) (26 . 7) (29 . 8) (30 . 9)) 2408 0.2377 9.8690 ((25 . 38) (26 . 39) (29 . 40) (30 . 41)) 2409 0.1957 9.3000 ((24 . 1) (25 . 3) (26 . 2) (28 . 4)) 2410 0.3636 5.7021 ((24 . 12) (26 . 16) (30 . 13) (31 . 15)) 2422 0.3192 6.1723 ((25 . 4) (28 . 6) (29 . 7) (30 . 8)) 2423 0.3636 6.3413 ((26 . 20) (28 . 21) (30 . 22) (31 . 23)) 2440 0.3635 9.1492 ((24 . 5) (25 . 6) (29 . 8) (30 . 9)) 2443 0.3633 10.9841 ((13 . 3) (21 . 5) (24 . 8) (31 . 10)) 2447 0.3625 14.6111 ((13 . 14) (21 . 19) (22 . 20) (31 . 29)) 2462 0.3636 7.4211 ((25 . 4) (29 . 6) (30 . 7) (31 . 10)) 2465 0.1957 11.2306 ((13 . 3) (21 . 6) (22 . 7) (24 . 8)) 2510 0.3632 11.7069 ((22 . 4) (24 . 8) (28 . 9) (31 . 11)) 2525 0.3521 9.8843 ((13 . 37) (24 . 42) (26 . 45) (31 . 49)) 2529 0.3636 7.3700 ((24 . 2) (25 . 3) (29 . 5) (30 . 6)) 2533 0.3633 10.6212 ((22 . 11) (24 . 16) (29 . 18) (30 . 19)) 2551 0.3636 6.2900 ((13 . 2) (22 . 5) (23 . 6) (29 . 9)) 2552 0.1957 10.7875 ((13 . 2) (21 . 4) (22 . 6) (24 . 7)) 2556 0.3636 6.1098 ((25 . 16) (26 . 18) (30 . 20) (31 . 21)) 2557 0.3419 5.4006 ((13 . 1) (21 . 4) (22 . 5) (24 . 8)) 2561 0.3418 8.0470 ((13 . 2) (21 . 4) (26 . 8) (28 . 9)) 2595 0.3635 8.1260 ((13 . 2) (25 . 9) (28 . 11) (31 . 14)) 2619 0.1957 7.5051 ((26 . 1) (28 . 2) (30 . 3) (31 . 4)) 2627 0.3417 9.7339 ((13 . 56) (24 . 61) (28 . 64) (29 . 65)) 2650 0.3635 8.7037 ((24 . 4) (26 . 5) (29 . 6) (30 . 7)) 2658 0.3636 6.0546 ((21 . 7) (22 . 8) (23 . 9) (25 . 12)) 2675 0.3635 9.1548 ((21 . 2) (25 . 8) (29 . 10) (30 . 11)) 2682 0.4433 6.7261 ((21 . 8) (24 . 10) (25 . 11) (29 . 15) (31 . 18)) 2696 0.3419 5.0708 ((26 . 36) (28 . 37) (29 . 38) (30 . 39)) 2753 0.3634 10.3464 ((13 . 2) (22 . 3) (23 . 5) (24 . 6)) 2755 0.3191 9.9813 ((13 . 4) (22 . 7) (25 . 10) (28 . 12)) 2773 0.2726 12.2527 ((24 . 4) (26 . 5) (28 . 6) (31 . 7)) 2804 0.3517 12.9520 ((24 . 28) (25 . 31) (29 . 32) (31 . 35)) 2821 0.3418 9.1901 ((26 . 3) (28 . 4) (29 . 5) (31 . 10)) 2830 0.3635 8.6880 ((21 . 21) (22 . 22) (26 . 26) (29 . 27)) 2834 0.3636 6.0810 ((25 . 1) (26 . 3) (29 . 5) (30 . 6)) 2840 0.3627 14.0601 ((13 . 2) (22 . 7) (24 . 10) (25 . 11)) 2842 0.3634 10.0284 ((13 . 3) (23 . 7) (26 . 9) (31 . 12)) 2867 0.3632 11.3811 ((21 . 3) (22 . 5) (25 . 7) (28 . 8)) 2879 0.3636 7.2911 ((24 . 55) (26 . 56) (28 . 58) (29 . 59)) 2886 0.3191 10.2786 ((25 . 38) (26 . 39) (29 . 41) (30 . 43)) 2929 0.2376 12.4628 ((24 . 37) (28 . 39) (29 . 40) (31 . 41)) 2947 0.3633 11.0889 ((21 . 5) (24 . 8) (30 . 12) (31 . 16)) 2950 0.3635 8.7645 ((13 . 7) (22 . 8) (23 . 9) (31 . 13)) 2966 0.3633 10.5795 ((21 . 5) (26 . 10) (29 . 12) (30 . 13)) 2990 0.3631 12.3918 ((13 . 8) (22 . 13) (24 . 17) (31 . 21)) 2999 0.3636 5.8757 ((24 . 3) (25 . 4) (28 . 6) (29 . 7)) 3014 0.3518 12.4875 ((13 . 3) (21 . 6) (24 . 10) (31 . 14)) 3019 0.3522 7.7384 ((26 . 9) (28 . 10) (30 . 11) (31 . 12)) 3034 0.2377 11.0799 ((13 . 4) (24 . 11) (25 . 9) (31 . 15)) 3041 0.3636 5.5358 ((21 . 27) (22 . 28) (26 . 32) (28 . 33)) 3063 0.3418 8.0003 ((24 . 34) (25 . 35) (28 . 36) (29 . 37)) 3070 0.3417 9.4124 ((24 . 31) (26 . 32) (28 . 33) (31 . 37)) 3084 0.3635 9.1687 ((21 . 2) (24 . 4) (25 . 5) (31 . 8)) 3102 0.3635 8.9193 ((21 . 64) (26 . 70) (29 . 71) (30 . 72)) 3103 0.1489 14.6948 ((24 . 6) (28 . 9) (29 . 11) (31 . 12)) 3114 0.3521 10.4187 ((25 . 21) (26 . 22) (30 . 24) (31 . 27)) 3120 0.2377 10.0042 ((24 . 20) (26 . 21) (28 . 22) (31 . 24)) 3147 0.3636 6.4783 ((26 . 7) (28 . 8) (29 . 9) (30 . 11)) 3176 0.3636 6.1134 ((26 . 26) (28 . 27) (30 . 29) (31 . 30)) 3187 0.3418 8.3128 ((26 . 5) (29 . 6) (30 . 7) (31 . 8)) 3197 0.3634 9.5629 ((21 . 23) (22 . 25) (23 . 27) (25 . 28)) 3200 0.3634 9.8484 ((24 . 8) (25 . 9) (29 . 11) (31 . 12)) 3202 0.4428 9.7235 ((21 . 1) (22 . 2) (23 . 3) (24 . 4) (31 . 21)) 3212 0.2728 6.9943 ((24 . 1) (29 . 3) (30 . 5) (31 . 6)) 3222 0.3522 8.5037 ((21 . 5) (25 . 10) (29 . 14) (30 . 15)) 3256 0.3636 7.7093 ((21 . 15) (26 . 21) (28 . 25) (30 . 26)) 3261 0.3192 8.6852 ((26 . 1) (29 . 2) (30 . 3) (31 . 5)) 3286 0.3635 8.8240 ((13 . 2) (24 . 6) (25 . 7) (28 . 9)) 3289 0.3193 4.8483 ((25 . 27) (26 . 29) (28 . 30) (30 . 31)) 3300 0.3636 7.1013 ((26 . 2) (29 . 4) (30 . 5) (31 . 9)) 3322 0.3418 8.1853 ((24 . 4) (25 . 3) (26 . 5) (30 . 7)) 3334 0.3626 14.5085 ((24 . 2) (25 . 3) (29 . 5) (30 . 6)) 3339 0.3632 11.4853 ((23 . 16) (26 . 19) (30 . 21) (31 . 23)) 3358 0.3635 8.5781 ((24 . 5) (25 . 7) (26 . 8) (30 . 10)) 3362 0.3634 9.4032 ((22 . 3) (26 . 6) (30 . 8) (31 . 9)) 3366 0.3521 9.4708 ((23 . 25) (25 . 27) (29 . 28) (30 . 29)) 3391 0.3635 8.7862 ((22 . 1) (24 . 3) (28 . 4) (30 . 6)) 3410 0.2727 8.2478 ((13 . 20) (21 . 23) (23 . 27) (24 . 29)) 3415 0.3633 10.4701 ((21 . 20) (22 . 21) (23 . 22) (24 . 23)) 3418 0.3192 6.7359 ((24 . 1) (25 . 2) (29 . 5) (30 . 6)) 3446 0.3634 10.3514 ((23 . 3) (26 . 5) (28 . 6) (31 . 9)) 3470 0.3414 12.9061 ((13 . 10) (21 . 12) (23 . 14) (24 . 15)) 3472 0.3192 9.5122 ((25 . 5) (26 . 6) (28 . 8) (30 . 9)) 3481 0.1957 6.6087 ((24 . 3) (25 . 2) (29 . 4) (30 . 7)) 3489 0.3635 8.5807 ((26 . 1) (28 . 2) (29 . 4) (30 . 3)) 3495 0.3634 10.3389 ((13 . 5) (22 . 9) (24 . 10) (31 . 17)) 3496 0.3631 12.3674 ((13 . 20) (21 . 21) (23 . 24) (24 . 25)) 3533 0.3191 10.6018 ((24 . 6) (28 . 7) (29 . 8) (30 . 10)) 3537 0.3521 9.4888 ((22 . 1) (24 . 3) (26 . 5) (28 . 6)) 3538 0.3418 7.2517 ((23 . 16) (24 . 17) (25 . 18) (29 . 20)) 3548 0.3192 8.9973 ((25 . 3) (26 . 4) (28 . 5) (30 . 6)) 3549 0.2377 8.7561 ((26 . 2) (28 . 3) (30 . 5) (31 . 7)) 3561 0.3634 9.9873 ((24 . 27) (26 . 28) (29 . 30) (31 . 32)) 3585 0.3189 12.5929 ((13 . 15) (21 . 17) (22 . 18) (31 . 22)) 3613 0.3982 9.4056 ((22 . 27) (23 . 31) (24 . 32) (29 . 35) (30 . 36) (31 . 44)) 3626 0.2728 6.8402 ((22 . 1) (25 . 3) (26 . 6) (28 . 8)) 3628 0.3635 8.2687 ((24 . 7) (26 . 8) (28 . 9) (30 . 10)) 3651 0.3192 7.7015 ((21 . 14) (23 . 19) (24 . 20) (25 . 21)) 3656 0.6018 3.3346 ((13 . 12) (22 . 20) (24 . 21) (25 . 22) (29 . 23) (30 . 24) (31 . 25)) 3658 0.3636 7.7175 ((22 . 2) (26 . 6) (29 . 7) (30 . 8)) 3659 0.3636 7.3790 ((21 . 4) (22 . 6) (26 . 9) (31 . 14)) 3661 0.3634 10.3381 ((21 . 5) (22 . 6) (24 . 10) (31 . 14)) 3663 0.1489 6.4089 ((26 . 1) (28 . 2) (30 . 5) (31 . 6)) 3688 0.3521 9.8666 ((13 . 24) (26 . 32) (29 . 34) (30 . 35)) 3697 0.1957 8.1262 ((26 . 1) (29 . 3) (30 . 4) (31 . 5)) 3703 0.3635 8.4517 ((24 . 5) (26 . 6) (29 . 7) (30 . 8)) 3732 0.3635 9.0401 ((22 . 4) (26 . 7) (30 . 9) (31 . 10)) 3740 0.1957 7.8026 ((25 . 2) (26 . 3) (29 . 4) (30 . 5)) 3741 0.1957 7.6278 ((25 . 13) (26 . 14) (29 . 16) (30 . 17)) 3776 0.3418 7.2178 ((24 . 16) (26 . 19) (28 . 20) (30 . 21)) 3778 0.1957 11.1082 ((13 . 5) (26 . 12) (28 . 13) (31 . 17)) 3787 0.3627 13.9990 ((24 . 18) (25 . 19) (30 . 23) (31 . 24)) 3790 0.4545 4.0402 ((25 . 27) (26 . 28) (28 . 29) (29 . 30) (30 . 31)) 3807 0.3193 4.1652 ((25 . 43) (29 . 46) (30 . 47) (31 . 48)) 3810 0.3636 3.1742 ((26 . 4) (28 . 6) (29 . 8) (30 . 9)) 3817 0.3522 8.2507 ((24 . 6) (26 . 7) (30 . 9) (31 . 12)) 3829 0.4544 6.1783 ((21 . 4) (22 . 7) (24 . 8) (26 . 9) (31 . 11)) 3830 0.1327 9.2659 ((13 . 1) (21 . 4) (22 . 5) (24 . 6)) 3831 0.2377 9.8655 ((13 . 4) (22 . 7) (24 . 11) (25 . 9)) 3834 0.1957 11.0278 ((13 . 4) (21 . 6) (22 . 7) (23 . 8)) 3847 0.1957 10.6677 ((22 . 10) (25 . 13) (29 . 17) (30 . 16)) 3849 0.3523 5.7197 ((25 . 1) (26 . 2) (28 . 3) (30 . 5)) 3853 0.3523 6.1395 ((24 . 2) (25 . 3) (26 . 8) (30 . 14)) 3870 0.3635 8.9307 ((13 . 7) (21 . 9) (23 . 11) (24 . 12)) 3933 0.4545 5.0879 ((25 . 9) (26 . 10) (28 . 11) (29 . 13) (30 . 14)) 3938 0.3636 6.5898 ((25 . 6) (26 . 8) (28 . 9) (31 . 12)) 3968 0.2377 11.1831 ((21 . 8) (22 . 7) (23 . 10) (24 . 12)) 3986 0.3523 6.4689 ((21 . 20) (25 . 27) (26 . 28) (28 . 29)) 3990 0.3636 7.3883 ((24 . 21) (25 . 22) (29 . 24) (30 . 25)) 4005 0.4545 4.1606 ((25 . 9) (26 . 10) (28 . 11) (29 . 12) (30 . 14)) 4009 0.3635 9.0250 ((13 . 14) (22 . 18) (23 . 20) (26 . 22)) 4011 0.1957 10.9258 ((21 . 1) (22 . 2) (24 . 3) (31 . 6)) 4019 0.3636 4.3634 ((26 . 35) (28 . 36) (29 . 37) (30 . 38)) 4030 0.3189 12.9594 ((13 . 9) (21 . 12) (24 . 15) (31 . 18)) 4034 0.3625 14.7601 ((13 . 3) (21 . 7) (29 . 11) (31 . 14)) 4037 0.1957 8.4054 ((26 . 1) (29 . 2) (30 . 3) (31 . 4)) 4062 0.3801 8.4310 ((13 . 34) (21 . 44) (22 . 45) (28 . 48) (31 . 52)) 4067 0.3189 12.9896 ((13 . 15) (22 . 21) (24 . 23) (25 . 24)) 4077 0.4472 8.0005 ((22 . 7) (23 . 8) (24 . 9) (26 . 10) (28 . 11)) 4082 0.3418 7.5638 ((24 . 4) (25 . 5) (29 . 6) (31 . 9)) 4087 0.3632 11.7116 ((23 . 4) (25 . 6) (29 . 7) (31 . 9)) 4112 0.3522 8.9696 ((25 . 2) (28 . 3) (30 . 6) (31 . 8)) 4115 0.3634 10.0530 ((13 . 4) (21 . 9) (23 . 11) (30 . 15)) 4134 0.3515 14.2725 ((13 . 24) (21 . 26) (23 . 28) (24 . 30)) 4151 0.3522 7.7376 ((23 . 1) (24 . 2) (25 . 3) (30 . 7)) 4154 0.2728 6.7553 ((25 . 52) (26 . 51) (29 . 54) (30 . 55)) 4177 0.2727 7.6582 ((24 . 6) (26 . 7) (29 . 8) (30 . 9)) 4190 0.3418 8.0606 ((21 . 2) (24 . 6) (29 . 8) (30 . 9)) 4192 0.3634 9.7984 ((25 . 10) (28 . 13) (30 . 15) (31 . 16)) 4194 0.3192 7.0971 ((24 . 2) (25 . 3) (29 . 6) (30 . 5)) 4195 0.3635 8.0789 ((24 . 12) (29 . 14) (30 . 15) (31 . 17)) 4204 0.3522 7.9308 ((21 . 6) (28 . 13) (29 . 14) (30 . 15)) 4209 0.3522 7.5662 ((26 . 1) (29 . 2) (30 . 4) (31 . 6)) 4210 0.2726 13.2651 ((13 . 3) (22 . 7) (24 . 9) (28 . 11)) 4216 0.3635 7.8841 ((13 . 9) (21 . 12) (22 . 13) (24 . 14)) 4226 0.3636 5.2325 ((24 . 3) (25 . 4) (29 . 8) (30 . 9)) 4236 0.3636 6.7610 ((26 . 7) (28 . 8) (29 . 10) (31 . 13)) 4242 0.3418 6.9953 ((13 . 2) (21 . 5) (22 . 6) (24 . 8)) 4243 0.3417 10.1911 ((13 . 1) (21 . 3) (22 . 4) (24 . 6)) 4246 0.3635 8.0643 ((25 . 6) (26 . 7) (29 . 8) (31 . 10)) 4254 0.3633 11.1901 ((13 . 5) (23 . 12) (26 . 15) (30 . 18)) 4255 0.3417 10.1218 ((24 . 20) (26 . 21) (30 . 23) (31 . 25)) 4257 0.4474 5.8343 ((23 . 4) (24 . 6) (25 . 7) (26 . 8) (30 . 10)) 4265 0.3418 9.2324 ((25 . 24) (26 . 26) (30 . 29) (31 . 30)) 4266 0.3636 7.6647 ((24 . 1) (28 . 2) (30 . 4) (31 . 5)) 4274 0.3636 6.2265 ((24 . 37) (25 . 38) (28 . 40) (29 . 41)) 4275 0.3635 8.3632 ((24 . 24) (26 . 25) (29 . 27) (30 . 28)) 4281 0.2728 6.5064 ((26 . 3) (29 . 4) (30 . 5) (31 . 7)) 4284 0.3636 5.9775 ((24 . 7) (29 . 8) (30 . 9) (31 . 11)) 4299 0.3408 15.6547 ((13 . 7) (22 . 10) (24 . 13) (28 . 16)) 4326 0.4363 5.7819 ((13 . 3) (22 . 4) (24 . 8) (28 . 15) (31 . 16)) 4332 0.3634 10.2397 ((22 . 1) (24 . 3) (25 . 4) (30 . 9)) 4352 0.3631 12.1764 ((21 . 4) (22 . 6) (23 . 7) (31 . 14)) 4359 0.3636 6.6762 ((25 . 14) (26 . 15) (28 . 16) (30 . 17)) 4380 0.3635 8.0896 ((24 . 27) (26 . 29) (29 . 30) (30 . 31)) 4386 0.3634 10.1378 ((13 . 3) (29 . 9) (30 . 10) (31 . 11)) 4388 0.3418 8.0534 ((22 . 14) (23 . 15) (29 . 17) (30 . 18)) 4398 0.3626 14.2563 ((22 . 2) (26 . 7) (29 . 8) (31 . 11)) 4405 0.3192 8.0712 ((13 . 13) (21 . 17) (24 . 20) (25 . 21)) 4408 0.3634 9.5271 ((28 . 2) (29 . 3) (30 . 4) (31 . 5)) 4415 0.2726 12.8475 ((13 . 2) (21 . 5) (24 . 10) (28 . 12)) 4419 0.3419 6.6145 ((25 . 8) (29 . 9) (30 . 10) (31 . 11)) 4470 0.3635 8.8331 ((22 . 4) (24 . 6) (25 . 8) (26 . 9)) 4492 0.3636 7.0808 ((26 . 5) (29 . 7) (30 . 8) (31 . 9)) 4495 0.3634 9.3836 ((13 . 7) (21 . 11) (22 . 12) (24 . 13)) 4497 0.3192 9.2794 ((25 . 25) (26 . 26) (29 . 27) (30 . 28)) 4502 0.3418 9.0692 ((13 . 7) (24 . 13) (25 . 14) (31 . 21)) 4503 0.3417 9.7342 ((24 . 2) (28 . 6) (29 . 7) (30 . 8)) 4504 0.3632 11.8604 ((13 . 5) (21 . 11) (22 . 12) (24 . 16)) 4505 0.2377 11.0994 ((13 . 27) (22 . 31) (24 . 35) (25 . 34)) 4516 0.3623 15.2988 ((13 . 19) (21 . 23) (23 . 25) (31 . 33)) 4538 0.3627 14.0475 ((21 . 29) (25 . 34) (29 . 38) (31 . 39)) 4551 0.3418 8.2924 ((25 . 2) (26 . 4) (30 . 8) (31 . 7)) 4560 0.3635 8.6496 ((21 . 7) (26 . 13) (28 . 14) (30 . 16)) 4561 0.2727 8.1662 ((24 . 8) (28 . 12) (29 . 13) (30 . 14)) 4562 0.3991 4.9496 ((13 . 23) (24 . 26) (25 . 19) (29 . 25) (30 . 27)) 4563 0.2727 8.4593 ((13 . 27) (22 . 32) (24 . 33) (25 . 34)) 4577 0.3633 11.1194 ((22 . 36) (25 . 39) (29 . 41) (30 . 42)) 4579 0.3522 7.9007 ((21 . 11) (22 . 13) (24 . 16) (25 . 18)) 4588 0.3636 7.5623 ((13 . 2) (25 . 11) (28 . 13) (30 . 16)) 4589 0.3634 10.0822 ((22 . 17) (25 . 19) (29 . 22) (31 . 24)) 4607 0.3191 11.0404 ((21 . 2) (23 . 5) (24 . 8) (31 . 13)) 4621 0.3633 11.1518 ((22 . 1) (24 . 5) (28 . 6) (29 . 7)) 4630 0.3416 11.4330 ((22 . 37) (25 . 39) (26 . 41) (31 . 44)) 4653 0.4431 8.2834 ((24 . 2) (25 . 4) (28 . 5) (29 . 6) (30 . 7)) 4665 0.3417 10.3697 ((22 . 9) (29 . 13) (30 . 14) (31 . 16)) 4668 0.1956 11.7800 ((13 . 2) (22 . 6) (23 . 8) (25 . 9)) 4671 0.3634 10.2059 ((13 . 9) (22 . 16) (25 . 20) (30 . 22)) 4674 0.3634 10.2344 ((22 . 3) (26 . 6) (29 . 8) (30 . 9)) 4678 0.2728 7.0299 ((22 . 8) (24 . 9) (26 . 10) (28 . 12)) 4713 0.2726 12.0282 ((21 . 1) (25 . 6) (26 . 7) (31 . 10)) 4715 0.2727 11.2321 ((13 . 10) (21 . 13) (22 . 14) (23 . 15)) 4716 0.3636 6.2450 ((13 . 2) (22 . 8) (23 . 9) (24 . 10)) 4731 0.3636 6.1719 ((13 . 12) (24 . 19) (29 . 22) (30 . 23)) 4734 0.3192 7.3171 ((26 . 2) (28 . 4) (29 . 5) (30 . 6)) 4764 0.3523 7.2226 ((13 . 2) (21 . 5) (22 . 6) (24 . 8)) 4886 0.3410 15.1551 ((21 . 13) (24 . 15) (26 . 17) (30 . 19)) 4888 0.3634 9.9797 ((26 . 12) (28 . 13) (29 . 14) (30 . 15)) 4889 0.3633 10.5378 ((21 . 8) (22 . 9) (24 . 13) (31 . 20)) 4907 0.3636 6.7046 ((25 . 5) (28 . 7) (29 . 8) (30 . 9)) 4914 0.3635 8.0031 ((23 . 3) (25 . 6) (26 . 7) (28 . 8)) 4929 0.3418 8.1033 ((25 . 29) (26 . 31) (28 . 32) (30 . 33)) 4932 0.3632 11.6011 ((24 . 3) (25 . 5) (26 . 6) (31 . 9)) 4944 0.3629 13.3674 ((23 . 12) (26 . 14) (30 . 16) (31 . 17)) 4961 0.3635 8.1195 ((13 . 2) (24 . 11) (29 . 14) (30 . 15)) 4963 0.1489 10.4019 ((21 . 5) (22 . 6) (23 . 7) (24 . 8)) 4978 0.3636 7.0602 ((22 . 19) (23 . 20) (25 . 22) (28 . 24)) 4982 0.3636 7.1854 ((21 . 2) (29 . 9) (30 . 10) (31 . 11)) 4992 0.3636 6.5137 ((25 . 1) (29 . 2) (30 . 3) (31 . 4)) 4998 0.3414 12.8043 ((13 . 21) (24 . 27) (26 . 29) (31 . 30)) 5000 0.3633 10.7157 ((13 . 33) (21 . 36) (22 . 37) (24 . 38)) 5016 0.3634 9.9588 ((13 . 2) (22 . 6) (24 . 7) (31 . 10)) 5036 0.3636 7.6918 ((26 . 4) (28 . 6) (29 . 7) (30 . 8)) 5038 0.3636 6.9793 ((25 . 10) (26 . 12) (29 . 14) (30 . 15)) 5039 0.3417 10.1047 ((21 . 35) (22 . 36) (24 . 40) (31 . 43)) 5044 0.3418 8.6287 ((25 . 3) (29 . 8) (30 . 9) (31 . 11)) 5053 0.3634 9.7200 ((24 . 1) (29 . 5) (30 . 6) (31 . 7)) 5065 0.3635 9.0151 ((24 . 6) (26 . 9) (29 . 10) (30 . 11)) 5068 0.3636 6.8229 ((24 . 3) (25 . 4) (26 . 7) (30 . 10)) 5069 0.3419 6.2048 ((21 . 1) (29 . 12) (30 . 13) (31 . 14)) 5073 0.2376 13.4200 ((13 . 33) (21 . 37) (24 . 40) (26 . 42)) 5080 0.2728 6.8214 ((13 . 8) (21 . 11) (22 . 13) (23 . 14)) 5083 0.3192 6.9203 ((24 . 3) (26 . 6) (28 . 8) (29 . 9)) 5092 0.3635 8.9517 ((22 . 13) (23 . 14) (24 . 15) (31 . 19)) 5101 0.3635 8.7230 ((13 . 17) (21 . 20) (23 . 24) (25 . 26)) 5103 0.3636 7.0420 ((13 . 11) (24 . 14) (28 . 17) (30 . 19)) 5121 0.3635 7.7960 ((22 . 23) (25 . 27) (29 . 30) (30 . 31)) 5132 0.3636 7.1794 ((13 . 19) (24 . 24) (25 . 26) (30 . 28)) 5134 0.3635 8.4811 ((13 . 7) (22 . 11) (24 . 15) (31 . 18)) 5145 0.3634 9.4774 ((24 . 4) (25 . 5) (28 . 8) (31 . 11)) 5167 0.3634 10.1012 ((21 . 6) (22 . 7) (24 . 10) (31 . 13)) 5176 0.3418 8.4990 ((24 . 83) (26 . 84) (29 . 86) (30 . 87)) 5183 0.3635 8.0428 ((26 . 34) (29 . 37) (30 . 38) (31 . 39)) 5192 0.3635 8.6092 ((22 . 4) (23 . 6) (24 . 7) (31 . 13)) 5198 0.3418 9.3367 ((24 . 27) (26 . 30) (28 . 31) (29 . 32)) 5199 0.2377 11.8600 ((21 . 1) (22 . 2) (29 . 7) (30 . 8)) 5209 0.3635 8.7252 ((24 . 6) (25 . 7) (29 . 8) (30 . 9)) 5212 0.2727 11.2052 ((23 . 19) (25 . 21) (28 . 23) (29 . 24)) 5215 0.3634 10.4253 ((24 . 1) (29 . 4) (30 . 5) (31 . 6)) 5223 0.3631 12.4289 ((13 . 7) (22 . 13) (25 . 15) (26 . 17)) 5231 0.3523 5.7023 ((24 . 9) (26 . 12) (29 . 13) (30 . 14)) 5266 0.3635 7.7788 ((24 . 1) (28 . 2) (30 . 4) (31 . 5)) 5278 0.3635 8.5070 ((22 . 1) (26 . 6) (28 . 7) (30 . 8)) 5307 0.3635 7.9814 ((24 . 54) (26 . 55) (29 . 57) (30 . 58)) 5312 0.2728 6.9426 ((25 . 2) (26 . 3) (28 . 4) (30 . 5)) 5318 0.2722 18.0896 ((13 . 13) (21 . 16) (23 . 17) (30 . 22)) 5323 0.2728 6.2446 ((13 . 8) (21 . 12) (22 . 13) (23 . 14)) 5324 0.3635 8.0822 ((24 . 9) (25 . 10) (26 . 12) (30 . 14)) 5344 0.3636 6.3999 ((22 . 5) (23 . 6) (25 . 9) (29 . 10)) 5345 0.3636 7.0075 ((25 . 3) (26 . 4) (28 . 5) (30 . 7)) 5368 0.3636 5.9828 ((22 . 8) (26 . 13) (28 . 14) (30 . 15)) 5378 0.3631 12.0691 ((22 . 10) (24 . 13) (26 . 16) (31 . 20)) 5411 0.2727 10.4716 ((21 . 2) (23 . 5) (25 . 8) (31 . 9)) 5414 0.2377 8.4929 ((25 . 14) (26 . 15) (29 . 16) (30 . 18)) 5418 0.3636 5.2765 ((25 . 5) (26 . 7) (29 . 8) (30 . 9)) 5433 0.2728 4.6064 ((25 . 10) (26 . 12) (28 . 13) (29 . 14)) 5442 0.3518 12.4935 ((13 . 31) (21 . 33) (23 . 34) (24 . 36)) 5479 0.5040 7.2344 ((25 . 58) (26 . 59) (28 . 60) (29 . 61) (30 . 62) (31 . 65)) 5487 0.3635 7.7860 ((22 . 1) (24 . 3) (25 . 4) (28 . 7)) 5500 0.2377 8.7282 ((22 . 6) (24 . 10) (25 . 12) (30 . 14)) 5501 0.3635 8.5773 ((13 . 21) (22 . 26) (23 . 27) (24 . 28)) 5525 0.2377 11.4830 ((23 . 2) (24 . 3) (30 . 7) (31 . 9)) 5535 0.3635 9.1910 ((22 . 5) (25 . 9) (28 . 10) (29 . 11)) 5540 0.3406 16.5723 ((13 . 5) (21 . 9) (26 . 16) (30 . 18)) 5560 0.3629 13.2257 ((21 . 6) (23 . 8) (29 . 11) (31 . 14)) 5562 0.3634 9.9211 ((13 . 15) (21 . 18) (22 . 20) (23 . 21)) 5567 0.1957 8.1941 ((22 . 14) (25 . 17) (26 . 18) (29 . 19)) 5594 0.3419 6.6944 ((13 . 2) (24 . 8) (25 . 9) (30 . 12)) 5600 0.3635 9.1332 ((22 . 1) (24 . 4) (30 . 9) (31 . 10)) 5601 0.3636 7.5974 ((13 . 4) (24 . 11) (25 . 12) (28 . 15)) 5640 0.3636 6.7025 ((25 . 6) (26 . 7) (28 . 8) (30 . 9)) 5644 0.3636 7.2850 ((26 . 1) (29 . 3) (30 . 4) (31 . 5)) 5656 0.3635 7.7486 ((13 . 4) (21 . 6) (25 . 10) (31 . 17)) 5689 0.3635 8.6864 ((13 . 4) (21 . 8) (22 . 9) (24 . 11)) 5700 0.3418 8.0980 ((21 . 1) (26 . 6) (29 . 8) (30 . 9)) 5701 0.3417 10.0658 ((13 . 7) (21 . 10) (23 . 13) (25 . 14)) 5702 0.2727 10.6495 ((21 . 12) (22 . 13) (24 . 14) (31 . 16)) 5703 0.2377 10.3916 ((24 . 3) (25 . 5) (28 . 6) (30 . 7)) 5704 0.3191 9.8733 ((22 . 1) (23 . 2) (24 . 4) (31 . 5)) 5711 0.0999 8.2368 ((25 . 32) (26 . 33) (29 . 35) (30 . 36)) 5713 0.3636 5.9635 ((25 . 22) (26 . 24) (29 . 25) (30 . 27)) 5718 0.3634 9.7837 ((22 . 15) (26 . 21) (29 . 23) (30 . 24)) 5731 0.3636 5.1837 ((21 . 1) (25 . 7) (29 . 9) (30 . 10)) 5746 0.3634 9.6807 ((21 . 1) (24 . 4) (29 . 7) (30 . 8)) 5749 0.3635 8.1105 ((24 . 2) (26 . 3) (29 . 4) (30 . 5)) 5761 0.3418 7.3781 ((24 . 29) (29 . 31) (30 . 32) (31 . 33)) 5770 0.3419 6.1825 ((25 . 6) (28 . 8) (29 . 9) (30 . 12)) 5771 0.3636 7.1076 ((13 . 8) (24 . 16) (25 . 17) (28 . 20)) 5782 0.3635 7.8750 ((13 . 7) (26 . 18) (29 . 21) (30 . 22)) 5789 0.1956 14.6470 ((23 . 3) (24 . 4) (28 . 5) (31 . 6)) 5794 0.3636 5.7796 ((13 . 13) (22 . 17) (25 . 19) (30 . 23)) 5795 0.2377 10.3152 ((22 . 3) (24 . 5) (26 . 6) (30 . 9)) 5809 0.3418 9.1770 ((24 . 4) (26 . 5) (30 . 7) (31 . 8)) 5822 0.3416 10.9678 ((24 . 5) (26 . 6) (29 . 8) (31 . 10)) 5827 0.3523 6.4566 ((24 . 6) (25 . 8) (28 . 11) (31 . 12)) 5830 0.3635 8.5804 ((23 . 5) (25 . 8) (29 . 10) (31 . 11)) 5847 0.3635 7.9360 ((25 . 15) (26 . 16) (29 . 17) (30 . 18)) 5878 1.0000 0.0000 ((13 . 13) (21 . 21) (22 . 22) (23 . 23) (24 . 24) (25 . 25) (26 . 26) (28 . 28) (29 . 29) (30 . 30) (31 . 31)) 5888 0.3636 6.8291 ((25 . 21) (26 . 22) (28 . 23) (30 . 24)) 5896 0.3418 8.8256 ((24 . 27) (26 . 29) (30 . 31) (31 . 32)) 5904 0.2727 8.6250 ((22 . 2) (24 . 3) (25 . 4) (30 . 7)) 5913 0.3634 9.4103 ((22 . 1) (26 . 5) (29 . 6) (30 . 7)) 5914 0.2728 7.2692 ((25 . 2) (29 . 5) (30 . 6) (31 . 7)) 5922 0.3635 9.2238 ((23 . 7) (25 . 9) (28 . 10) (30 . 11)) 5930 0.3634 10.4150 ((22 . 5) (24 . 6) (29 . 9) (30 . 10)) 5939 0.3416 11.0880 ((24 . 7) (25 . 8) (26 . 9) (31 . 13)) 5945 0.3636 6.4912 ((24 . 25) (25 . 26) (28 . 28) (31 . 31)) 5949 0.3633 10.6278 ((13 . 2) (25 . 10) (26 . 12) (30 . 14)) 5955 0.3635 8.1728 ((21 . 10) (26 . 16) (28 . 17) (31 . 19)) 5972 0.2377 9.7571 ((23 . 1) (24 . 4) (29 . 6) (30 . 7)) 6000 0.3520 10.6673 ((24 . 11) (28 . 14) (30 . 17) (31 . 18)) 6011 0.3636 4.7414 ((26 . 4) (28 . 5) (29 . 7) (30 . 8)) 6029 0.3636 5.5367 ((21 . 9) (26 . 17) (28 . 18) (30 . 19)) 6033 0.3417 10.6261 ((13 . 2) (22 . 6) (23 . 7) (24 . 9)) 6041 0.4086 10.5811 ((21 . 5) (24 . 9) (25 . 10) (29 . 11) (30 . 12) (31 . 14)) 6046 0.3634 9.5970 ((26 . 2) (28 . 3) (30 . 5) (31 . 7)) 6061 0.3192 8.1810 ((23 . 12) (25 . 13) (26 . 14) (29 . 15)) 6074 0.3414 13.0214 ((13 . 1) (21 . 5) (23 . 7) (31 . 14)) 6075 0.1649 13.0099 ((21 . 16) (22 . 19) (24 . 22) (28 . 24)) 6079 0.3635 9.3177 ((26 . 6) (28 . 7) (30 . 8) (31 . 10)) 6089 0.3635 8.7597 ((13 . 15) (21 . 19) (22 . 20) (26 . 24)) 6094 0.3521 10.0578 ((25 . 11) (28 . 12) (29 . 13) (30 . 14)) 6099 0.3636 6.6772 ((13 . 20) (25 . 28) (29 . 29) (30 . 30)) 6123 0.2377 9.8248 ((26 . 1) (29 . 3) (30 . 4) (31 . 6)) 6142 0.3636 6.4555 ((26 . 16) (28 . 17) (29 . 18) (30 . 19)) 6148 0.1957 8.1559 ((25 . 32) (26 . 33) (28 . 34) (30 . 36)) 6167 0.2377 9.8745 ((25 . 10) (26 . 12) (28 . 14) (29 . 17)) 6169 0.3192 8.9969 ((21 . 3) (22 . 4) (24 . 7) (31 . 9)) 6173 0.3636 6.9660 ((25 . 8) (29 . 12) (30 . 13) (31 . 14)) 6191 0.3633 10.8874 ((13 . 1) (25 . 10) (29 . 12) (30 . 13)) 6192 0.2376 13.5550 ((13 . 2) (23 . 9) (25 . 11) (31 . 16)) 6215 0.2377 9.3623 ((25 . 17) (28 . 18) (30 . 19) (31 . 22)) 6225 0.3416 11.3286 ((21 . 1) (22 . 2) (29 . 7) (31 . 9)) 6228 0.3635 8.8328 ((24 . 4) (25 . 5) (28 . 7) (31 . 8)) 6234 0.1957 6.9894 ((25 . 7) (26 . 9) (28 . 10) (31 . 14)) 6238 0.3635 7.9371 ((22 . 1) (26 . 3) (28 . 4) (31 . 6)) 6243 0.3418 8.7348 ((22 . 1) (24 . 5) (26 . 6) (30 . 8)) 6251 0.3636 5.3762 ((13 . 9) (24 . 14) (25 . 15) (30 . 19)) 6258 0.3523 7.3315 ((21 . 2) (22 . 5) (26 . 9) (30 . 10)) 6261 0.3636 7.4780 ((21 . 15) (26 . 21) (28 . 22) (31 . 24)) 6266 0.3419 5.9700 ((23 . 1) (24 . 2) (25 . 3) (30 . 5)) 6270 0.3419 5.4865 ((21 . 11) (22 . 14) (26 . 17) (28 . 18)) 6271 0.3636 6.2045 ((24 . 6) (26 . 7) (28 . 8) (31 . 9)) 6273 0.1957 9.3234 ((13 . 5) (23 . 9) (26 . 12) (28 . 13)) 6294 0.3636 7.2711 ((24 . 12) (28 . 14) (30 . 16) (31 . 19)) 6306 0.3521 10.5567 ((24 . 18) (25 . 20) (26 . 19) (29 . 21)) 6309 0.2377 11.0961 ((24 . 16) (26 . 17) (29 . 18) (30 . 20)) 6326 0.4498 4.0397 ((25 . 5) (26 . 6) (28 . 7) (29 . 9) (30 . 10)) 6329 0.3522 7.8966 ((21 . 11) (22 . 12) (23 . 13) (24 . 14)) 6338 0.3418 6.8974 ((25 . 2) (26 . 4) (28 . 5) (30 . 7)) 6344 0.3636 4.7523 ((21 . 11) (24 . 16) (25 . 17) (29 . 21)) 6348 0.3418 7.9856 ((13 . 2) (21 . 5) (22 . 6) (25 . 9)) 6355 0.3522 8.8434 ((26 . 8) (28 . 10) (30 . 12) (31 . 13)) 6356 0.1957 9.7588 ((13 . 5) (21 . 8) (24 . 12) (25 . 13)) 6369 0.3519 12.1120 ((13 . 23) (26 . 31) (29 . 32) (30 . 33)) 6376 0.3635 8.9690 ((24 . 23) (28 . 26) (29 . 27) (30 . 28)) 6391 0.3418 7.6289 ((21 . 3) (22 . 4) (23 . 5) (31 . 9)) 6392 0.3190 11.6792 ((22 . 2) (24 . 5) (29 . 7) (31 . 10)) 6399 0.3636 6.0394 ((26 . 26) (28 . 29) (29 . 31) (30 . 32)) 6403 0.3636 6.6262 ((22 . 9) (26 . 13) (29 . 14) (30 . 15)) 6434 0.1957 8.1889 ((24 . 1) (26 . 3) (29 . 4) (30 . 5)) 6462 0.3636 5.1621 ((21 . 14) (24 . 17) (25 . 18) (31 . 21)) 6498 0.3635 8.8430 ((13 . 15) (21 . 18) (23 . 22) (24 . 23)) 6506 0.2726 13.1267 ((13 . 18) (21 . 21) (24 . 23) (31 . 25)) 6520 0.3635 8.3340 ((26 . 6) (29 . 8) (30 . 9) (31 . 11)) 6536 0.3634 9.4644 ((22 . 32) (23 . 33) (24 . 34) (31 . 37)) 6539 0.3519 11.7696 ((24 . 3) (28 . 6) (29 . 8) (31 . 9)) 6548 0.3619 16.4598 ((23 . 3) (24 . 4) (26 . 5) (31 . 8)) 6553 0.3636 7.5776 ((13 . 12) (25 . 22) (29 . 24) (30 . 25)) 6555 0.3635 8.7495 ((13 . 9) (21 . 12) (29 . 22) (30 . 23)) 6561 0.3636 7.6641 ((22 . 2) (28 . 8) (29 . 9) (30 . 10)) 6573 0.3636 7.5349 ((24 . 20) (25 . 21) (29 . 23) (30 . 24)) 6584 0.4540 9.3856 ((24 . 4) (25 . 5) (29 . 8) (30 . 9) (31 . 10)) 6585 0.2377 10.3194 ((13 . 7) (25 . 13) (26 . 14) (28 . 15)) 6586 0.2727 11.6179 ((21 . 17) (22 . 16) (23 . 19) (24 . 22)) 6587 0.3192 9.1558 ((22 . 27) (23 . 28) (24 . 30) (31 . 36)) 6598 0.3636 6.5466 ((26 . 28) (28 . 29) (30 . 30) (31 . 31)) 6613 0.3636 6.7847 ((21 . 23) (22 . 26) (25 . 28) (29 . 31)) 6635 0.3627 13.8505 ((21 . 2) (24 . 6) (25 . 7) (31 . 10)) END