4154 51 0.5709 6.8217 ((52 . 10) (53 . 11) (56 . 13) (57 . 14)) 64 0.5710 6.7067 ((53 . 2) (54 . 3) (55 . 4) (56 . 6)) 91 0.2945 10.4617 ((52 . 40) (54 . 42) (56 . 44) (57 . 45)) 129 0.5713 5.2094 ((52 . 1) (53 . 2) (54 . 3) (56 . 5)) 136 0.5712 5.6879 ((51 . 3) (53 . 5) (56 . 7) (57 . 8)) 153 0.5711 6.3093 ((51 . 8) (52 . 9) (53 . 10) (56 . 12)) 157 0.5711 6.3079 ((51 . 1) (53 . 3) (55 . 5) (57 . 8)) 161 0.1993 7.8716 ((52 . 2) (53 . 3) (54 . 4) (55 . 6)) 162 0.5702 8.4753 ((52 . 17) (53 . 18) (56 . 20) (57 . 22)) 169 0.7128 6.7862 ((51 . 5) (52 . 7) (53 . 8) (56 . 9) (57 . 10)) 177 0.5706 7.7177 ((51 . 5) (53 . 7) (54 . 8) (56 . 10)) 198 0.5712 5.3507 ((54 . 7) (55 . 8) (56 . 9) (57 . 10)) 233 0.0999 5.1558 ((52 . 1) (53 . 2) (54 . 3) (57 . 5)) 300 0.7118 7.7188 ((52 . 7) (53 . 8) (55 . 9) (56 . 10) (57 . 18)) 305 0.5711 6.2228 ((51 . 9) (53 . 11) (54 . 12) (56 . 15)) 315 0.5714 4.0612 ((51 . 4) (52 . 5) (53 . 6) (57 . 9)) 350 0.7139 4.8471 ((51 . 2) (53 . 4) (54 . 5) (55 . 7) (56 . 8)) 360 0.5714 3.5539 ((51 . 9) (52 . 10) (53 . 12) (57 . 14)) 365 0.5710 6.3701 ((51 . 1) (52 . 2) (53 . 3) (57 . 6)) 367 0.5714 3.9157 ((51 . 40) (52 . 42) (53 . 43) (54 . 44)) 372 0.5714 3.9334 ((52 . 5) (53 . 6) (54 . 7) (55 . 8)) 387 0.5712 5.7938 ((52 . 9) (53 . 10) (55 . 11) (57 . 12)) 405 0.5710 6.4782 ((51 . 37) (52 . 38) (53 . 39) (54 . 40)) 417 0.5710 6.3847 ((51 . 3) (52 . 2) (56 . 7) (57 . 9)) 420 0.8560 5.0399 ((51 . 3) (52 . 4) (53 . 5) (55 . 8) (56 . 9) (57 . 10)) 433 0.5713 4.6696 ((51 . 5) (52 . 6) (53 . 7) (57 . 9)) 442 0.2945 10.1881 ((54 . 19) (55 . 20) (56 . 21) (57 . 22)) 495 0.5712 5.3358 ((51 . 7) (52 . 8) (53 . 9) (56 . 11)) 584 0.5681 10.9856 ((52 . 4) (53 . 5) (56 . 7) (57 . 8)) 587 0.5711 6.2450 ((54 . 3) (55 . 4) (56 . 6) (57 . 7)) 619 0.5712 5.8317 ((51 . 7) (52 . 8) (56 . 11) (57 . 12)) 635 0.5703 8.3284 ((51 . 13) (52 . 14) (53 . 15) (57 . 18)) 683 0.7133 6.0949 ((51 . 1) (52 . 2) (53 . 3) (56 . 5) (57 . 6)) 719 0.5714 3.6806 ((53 . 22) (54 . 23) (56 . 25) (57 . 27)) 735 0.5710 6.6636 ((52 . 31) (53 . 32) (55 . 33) (57 . 36)) 740 0.2945 6.0763 ((51 . 4) (52 . 5) (53 . 6) (55 . 9)) 765 0.5701 8.6564 ((53 . 7) (54 . 9) (56 . 11) (57 . 12)) 767 0.5714 4.2365 ((51 . 1) (52 . 9) (53 . 10) (54 . 11)) 801 0.1993 6.7107 ((52 . 2) (54 . 4) (55 . 5) (57 . 7)) 812 0.1993 8.2835 ((52 . 8) (53 . 9) (55 . 11) (57 . 13)) 818 0.5708 7.1675 ((51 . 4) (53 . 7) (55 . 8) (57 . 10)) 819 0.0999 7.7078 ((51 . 5) (55 . 8) (56 . 9) (57 . 10)) 824 0.5713 4.3670 ((52 . 49) (53 . 50) (54 . 51) (55 . 53)) 928 0.5711 5.9676 ((51 . 12) (53 . 14) (56 . 16) (57 . 18)) 943 0.5709 6.7474 ((51 . 6) (53 . 8) (55 . 9) (57 . 12)) 1007 0.5714 4.2178 ((52 . 11) (53 . 12) (56 . 13) (57 . 14)) 1008 0.5687 10.4403 ((51 . 8) (55 . 13) (56 . 15) (57 . 16)) 1034 0.5654 12.7934 ((51 . 20) (52 . 21) (53 . 22) (57 . 25)) 1043 0.5711 5.9004 ((51 . 10) (53 . 12) (54 . 14) (57 . 17)) 1084 0.5709 6.9051 ((52 . 10) (53 . 11) (54 . 12) (57 . 17)) 1121 0.7139 4.9187 ((52 . 2) (53 . 3) (54 . 4) (55 . 5) (57 . 6)) 1169 0.7138 5.1840 ((53 . 32) (54 . 33) (55 . 34) (56 . 35) (57 . 37)) 1195 0.5714 1.9917 ((52 . 2) (53 . 4) (56 . 5) (57 . 6)) 1201 0.5712 5.8422 ((51 . 14) (52 . 15) (53 . 16) (54 . 17)) 1204 0.5701 8.7233 ((53 . 20) (55 . 22) (56 . 23) (57 . 24)) 1211 0.7133 6.0507 ((51 . 8) (52 . 9) (53 . 10) (56 . 11) (57 . 14)) 1224 0.5714 4.0233 ((52 . 6) (53 . 7) (56 . 9) (57 . 10)) 1233 0.5713 5.2476 ((51 . 20) (53 . 22) (56 . 23) (57 . 24)) 1267 0.5708 7.2733 ((51 . 15) (53 . 17) (56 . 19) (57 . 21)) 1268 0.5714 3.5716 ((53 . 22) (54 . 23) (55 . 24) (56 . 25)) 1294 0.5712 5.5352 ((51 . 39) (52 . 40) (53 . 41) (56 . 43)) 1324 0.8544 6.2887 ((51 . 1) (52 . 2) (53 . 3) (55 . 4) (56 . 5) (57 . 6)) 1345 0.5712 5.3624 ((51 . 12) (52 . 13) (53 . 14) (56 . 16)) 1366 0.5713 4.9480 ((51 . 16) (52 . 17) (56 . 20) (57 . 21)) 1410 0.1498 7.5749 ((51 . 19) (52 . 20) (53 . 21) (55 . 22)) 1425 0.5711 6.0283 ((51 . 3) (52 . 4) (56 . 8) (57 . 10)) 1451 0.1993 5.8988 ((52 . 3) (53 . 4) (56 . 5) (57 . 6)) 1464 0.1993 5.9209 ((51 . 8) (53 . 10) (56 . 13) (57 . 14)) 1476 0.5709 6.8040 ((51 . 9) (53 . 11) (56 . 14) (57 . 15)) 1501 0.7139 4.7102 ((51 . 2) (52 . 3) (53 . 4) (56 . 7) (57 . 8)) 1513 0.5690 10.1437 ((51 . 3) (53 . 5) (54 . 6) (55 . 8)) 1622 0.5681 11.0008 ((51 . 20) (53 . 22) (56 . 24) (57 . 25)) 1624 0.1993 6.3379 ((53 . 4) (54 . 5) (55 . 6) (56 . 7)) 1643 0.7140 4.6271 ((53 . 8) (54 . 9) (55 . 10) (56 . 11) (57 . 12)) 1644 0.7131 6.4204 ((51 . 48) (52 . 49) (53 . 50) (54 . 51) (57 . 52)) 1690 0.5713 4.7967 ((51 . 16) (52 . 18) (53 . 19) (54 . 21)) 1692 0.5713 4.6888 ((51 . 6) (52 . 7) (56 . 8) (57 . 9)) 1738 0.5713 4.6011 ((51 . 11) (52 . 13) (53 . 14) (55 . 17)) 1747 0.7141 3.9022 ((51 . 7) (52 . 8) (55 . 10) (56 . 11) (57 . 12)) 1756 0.5702 8.5473 ((51 . 23) (52 . 25) (53 . 26) (55 . 29)) 1759 0.7139 4.7825 ((51 . 1) (52 . 2) (53 . 4) (56 . 5) (57 . 6)) 1761 0.5713 5.0860 ((52 . 1) (53 . 2) (56 . 4) (57 . 5)) 1776 0.5711 6.0942 ((52 . 15) (53 . 16) (55 . 19) (56 . 20)) 1777 0.5713 4.9475 ((52 . 37) (55 . 42) (56 . 43) (57 . 45)) 1778 0.7138 5.1925 ((51 . 1) (52 . 2) (53 . 3) (54 . 4) (55 . 5)) 1805 0.5709 6.8366 ((52 . 4) (53 . 7) (56 . 9) (57 . 10)) 1808 0.5712 5.2838 ((51 . 2) (52 . 4) (53 . 5) (57 . 8)) 1817 0.7138 5.0408 ((52 . 13) (53 . 14) (54 . 15) (55 . 16) (57 . 18)) 1867 0.5711 5.9509 ((51 . 1) (53 . 3) (56 . 6) (57 . 7)) 1894 0.5712 5.3525 ((51 . 21) (52 . 22) (53 . 23) (57 . 26)) 1897 0.5671 11.7130 ((53 . 39) (54 . 40) (56 . 41) (57 . 43)) 1913 0.5713 4.6077 ((51 . 15) (53 . 18) (54 . 19) (56 . 21)) 1957 0.5692 9.9330 ((51 . 17) (53 . 19) (56 . 22) (57 . 21)) 1961 0.5714 2.5527 ((51 . 14) (52 . 15) (53 . 16) (57 . 19)) 1967 0.2945 7.1139 ((52 . 10) (54 . 13) (55 . 14) (56 . 16)) 1995 0.8555 5.5645 ((52 . 1) (53 . 2) (54 . 3) (55 . 7) (56 . 8) (57 . 11)) 2003 0.5713 4.3989 ((52 . 8) (53 . 9) (56 . 10) (57 . 12)) 2006 0.7134 5.9533 ((51 . 9) (52 . 10) (53 . 11) (56 . 12) (57 . 13)) 2063 0.5713 4.3612 ((51 . 47) (52 . 48) (53 . 49) (54 . 50)) 2067 0.5709 6.9244 ((52 . 10) (53 . 11) (56 . 15) (57 . 16)) 2072 0.5708 7.1445 ((52 . 4) (53 . 5) (54 . 6) (55 . 7)) 2081 0.5714 3.8462 ((51 . 19) (52 . 20) (53 . 21) (56 . 23)) 2083 0.5714 4.1335 ((52 . 1) (53 . 2) (56 . 4) (57 . 7)) 2114 0.5713 4.8053 ((52 . 28) (53 . 29) (56 . 32) (57 . 34)) 2116 0.5713 4.6908 ((51 . 4) (52 . 5) (56 . 7) (57 . 8)) 2117 0.5713 4.4179 ((51 . 16) (52 . 17) (55 . 22) (56 . 23)) 2118 0.5708 7.1454 ((53 . 1) (54 . 3) (56 . 4) (57 . 5)) 2122 0.5708 7.3090 ((51 . 12) (52 . 14) (53 . 15) (56 . 18)) 2166 0.5711 6.1240 ((51 . 12) (52 . 13) (56 . 15) (57 . 16)) 2179 0.7137 5.2519 ((51 . 1) (53 . 4) (55 . 5) (56 . 6) (57 . 7)) 2196 0.8569 3.4848 ((51 . 13) (53 . 15) (54 . 16) (55 . 17) (56 . 18) (57 . 19)) 2205 0.5712 5.3137 ((52 . 18) (53 . 19) (54 . 20) (56 . 22)) 2209 0.5696 9.4855 ((51 . 7) (53 . 9) (55 . 10) (57 . 12)) 2243 0.7135 5.7001 ((51 . 42) (52 . 44) (53 . 45) (56 . 47) (57 . 65)) 2244 0.8571 2.4493 ((51 . 69) (52 . 70) (53 . 71) (55 . 73) (56 . 74) (57 . 75)) 2249 0.0999 10.2244 ((51 . 12) (53 . 16) (55 . 17) (56 . 18)) 2279 0.1992 12.0021 ((53 . 7) (55 . 9) (56 . 10) (57 . 11)) 2298 0.2946 5.1670 ((51 . 8) (52 . 10) (55 . 12) (57 . 15)) 2314 0.5705 7.9959 ((52 . 2) (53 . 3) (54 . 4) (57 . 7)) 2340 0.5711 6.2398 ((51 . 9) (53 . 11) (56 . 13) (57 . 14)) 2344 0.1993 5.9121 ((52 . 10) (53 . 11) (54 . 13) (55 . 14)) 2364 0.5711 6.2035 ((51 . 12) (55 . 18) (56 . 19) (57 . 20)) 2381 0.0999 7.0165 ((53 . 3) (55 . 4) (56 . 5) (57 . 6)) 2389 0.5712 5.5538 ((51 . 9) (52 . 10) (53 . 11) (57 . 14)) 2408 0.5710 6.5807 ((52 . 41) (53 . 42) (56 . 45) (57 . 46)) 2422 0.5711 6.1804 ((51 . 4) (52 . 6) (53 . 7) (54 . 8)) 2423 0.5706 7.8477 ((51 . 19) (52 . 20) (53 . 21) (56 . 22)) 2440 0.5709 6.7888 ((51 . 4) (55 . 7) (56 . 8) (57 . 9)) 2462 0.5687 10.4268 ((52 . 3) (53 . 4) (56 . 6) (57 . 7)) 2510 0.5710 6.5400 ((51 . 19) (53 . 21) (55 . 23) (57 . 25)) 2525 0.5705 8.0271 ((51 . 45) (53 . 47) (54 . 48) (56 . 50)) 2529 0.5710 6.3860 ((51 . 1) (53 . 3) (56 . 5) (57 . 6)) 2533 0.5710 6.6412 ((51 . 6) (53 . 8) (55 . 9) (57 . 13)) 2556 0.5686 10.5617 ((51 . 11) (53 . 13) (56 . 16) (57 . 18)) 2595 0.5711 6.2098 ((51 . 6) (53 . 9) (56 . 11) (57 . 13)) 2619 0.5708 7.1810 ((51 . 1) (52 . 2) (53 . 3) (57 . 5)) 2675 0.5713 4.7058 ((51 . 7) (55 . 10) (56 . 11) (57 . 12)) 2696 0.5711 6.1634 ((51 . 35) (52 . 36) (55 . 38) (56 . 39)) 2755 0.5691 10.0190 ((51 . 6) (53 . 8) (55 . 10) (57 . 12)) 2783 0.5713 4.7675 ((51 . 6) (52 . 7) (53 . 8) (57 . 12)) 2804 0.5711 5.9033 ((53 . 31) (54 . 32) (56 . 34) (57 . 36)) 2821 0.5706 7.8017 ((51 . 2) (52 . 3) (53 . 4) (56 . 7)) 2830 0.5705 7.8599 ((51 . 24) (52 . 25) (53 . 26) (54 . 27)) 2834 0.5712 5.3356 ((53 . 1) (55 . 3) (56 . 5) (57 . 6)) 2840 0.5709 7.0575 ((51 . 6) (53 . 8) (54 . 9) (56 . 11)) 2879 0.7129 6.6835 ((51 . 54) (52 . 56) (53 . 57) (54 . 58) (55 . 59)) 2886 0.5712 5.8127 ((51 . 34) (52 . 35) (56 . 38) (57 . 39)) 2940 0.2945 5.7835 ((51 . 1) (54 . 3) (56 . 4) (57 . 5)) 2947 0.5711 5.9311 ((51 . 3) (52 . 4) (56 . 6) (57 . 7)) 2966 0.5714 3.8599 ((52 . 11) (53 . 12) (54 . 13) (55 . 15)) 2990 0.5713 4.8647 ((51 . 9) (52 . 12) (56 . 14) (57 . 15)) 3014 0.5714 3.8853 ((53 . 22) (54 . 23) (55 . 24) (56 . 25)) 3055 0.8567 3.8911 ((51 . 7) (52 . 8) (53 . 9) (55 . 11) (56 . 12) (57 . 13)) 3063 0.5685 10.6725 ((51 . 36) (52 . 37) (53 . 38) (57 . 41)) 3102 0.7132 6.2046 ((51 . 66) (52 . 67) (53 . 68) (56 . 69) (57 . 70)) 3103 0.2945 6.1029 ((51 . 1) (53 . 2) (54 . 3) (57 . 5)) 3114 0.5709 6.7645 ((51 . 23) (52 . 24) (53 . 25) (57 . 29)) 3127 0.5687 10.4255 ((52 . 2) (53 . 3) (54 . 4) (57 . 6)) 3147 0.7140 4.3934 ((51 . 1) (52 . 2) (55 . 5) (56 . 6) (57 . 7)) 3187 0.5711 5.9294 ((51 . 3) (52 . 4) (56 . 6) (57 . 7)) 3197 0.5680 11.0746 ((51 . 10) (53 . 12) (56 . 14) (57 . 16)) 3200 0.5710 6.5169 ((51 . 4) (53 . 6) (56 . 9) (57 . 11)) 3212 0.5714 3.4770 ((52 . 2) (53 . 3) (56 . 5) (57 . 9)) 3222 0.5708 7.2955 ((52 . 15) (53 . 16) (56 . 18) (57 . 19)) 3256 0.5713 4.3019 ((52 . 19) (53 . 20) (54 . 21) (56 . 24)) 3261 0.5713 4.7564 ((51 . 1) (52 . 6) (53 . 7) (56 . 8)) 3286 0.5708 7.1767 ((51 . 3) (52 . 4) (53 . 5) (57 . 7)) 3289 0.5711 5.9316 ((53 . 27) (55 . 29) (56 . 30) (57 . 31)) 3297 0.5707 7.4353 ((52 . 4) (53 . 5) (56 . 7) (57 . 8)) 3322 0.5706 7.8152 ((51 . 1) (53 . 3) (55 . 5) (57 . 7)) 3334 0.5704 8.2233 ((52 . 1) (55 . 4) (56 . 5) (57 . 6)) 3344 0.5710 6.5638 ((53 . 18) (55 . 19) (56 . 20) (57 . 21)) 3358 0.5709 7.0398 ((51 . 4) (53 . 7) (55 . 8) (57 . 10)) 3362 0.5711 5.9587 ((51 . 6) (53 . 8) (56 . 10) (57 . 11)) 3366 0.2945 9.4200 ((51 . 22) (52 . 23) (53 . 24) (57 . 27)) 3391 0.5700 8.8698 ((51 . 6) (53 . 8) (54 . 10) (57 . 13)) 3418 0.5714 1.9500 ((52 . 2) (53 . 5) (56 . 6) (57 . 7)) 3472 0.7138 5.1614 ((51 . 4) (52 . 5) (53 . 6) (54 . 8) (55 . 9)) 3481 0.5712 5.8339 ((51 . 2) (53 . 4) (56 . 7) (57 . 8)) 3489 0.5713 4.9845 ((52 . 1) (53 . 2) (54 . 3) (55 . 4)) 3533 0.5694 9.6664 ((51 . 8) (52 . 7) (53 . 10) (54 . 11)) 3537 0.0999 10.5042 ((51 . 6) (52 . 7) (56 . 9) (57 . 10)) 3548 0.7115 7.9062 ((51 . 5) (52 . 6) (53 . 8) (56 . 9) (57 . 10)) 3561 0.5713 5.0403 ((51 . 26) (53 . 28) (56 . 30) (57 . 31)) 3570 0.5713 4.6177 ((51 . 3) (53 . 4) (56 . 7) (57 . 8)) 3585 0.5713 5.2036 ((51 . 12) (52 . 13) (53 . 14) (57 . 16)) 3625 0.7140 4.5633 ((51 . 1) (52 . 2) (53 . 3) (56 . 5) (57 . 6)) 3626 0.5713 4.9172 ((52 . 2) (53 . 3) (56 . 6) (57 . 8)) 3658 0.7100 8.8716 ((51 . 4) (52 . 5) (53 . 6) (54 . 7) (55 . 8)) 3688 0.5557 16.4078 ((52 . 1) (53 . 2) (56 . 5) (57 . 7)) 3697 0.5708 7.3297 ((51 . 1) (52 . 3) (53 . 4) (57 . 6)) 3703 0.7136 5.5324 ((51 . 1) (52 . 6) (53 . 7) (56 . 8) (57 . 9)) 3732 0.5711 6.0509 ((51 . 7) (53 . 9) (56 . 11) (57 . 12)) 3740 0.7139 4.8134 ((51 . 2) (52 . 3) (53 . 4) (56 . 5) (57 . 6)) 3741 0.7140 4.5487 ((52 . 22) (53 . 25) (55 . 27) (56 . 28) (57 . 32)) 3778 0.5712 5.8773 ((51 . 3) (52 . 4) (56 . 6) (57 . 7)) 3787 0.5709 6.7747 ((51 . 17) (53 . 19) (55 . 21) (57 . 23)) 3790 0.7141 4.1263 ((51 . 13) (52 . 14) (55 . 15) (56 . 16) (57 . 18)) 3810 0.5714 4.2823 ((52 . 8) (53 . 9) (54 . 10) (55 . 11)) 3831 0.5713 4.3467 ((51 . 2) (52 . 3) (56 . 5) (57 . 6)) 3856 0.5713 4.6419 ((51 . 3) (53 . 6) (54 . 7) (57 . 9)) 3933 0.5713 4.6038 ((52 . 8) (53 . 9) (54 . 10) (55 . 11)) 3938 0.5713 5.2122 ((53 . 4) (55 . 6) (56 . 8) (57 . 9)) 3986 0.5702 8.6152 ((51 . 25) (52 . 26) (55 . 27) (56 . 29)) 3990 0.5712 5.5116 ((51 . 22) (52 . 23) (53 . 24) (54 . 25)) 4005 0.5713 4.4288 ((52 . 8) (53 . 9) (56 . 12) (57 . 14)) 4019 0.7108 8.3854 ((51 . 42) (52 . 43) (53 . 44) (54 . 45) (57 . 46)) 4034 0.5709 6.7538 ((51 . 12) (52 . 13) (56 . 15) (57 . 16)) 4082 0.5711 5.9685 ((51 . 5) (52 . 6) (53 . 7) (57 . 10)) 4087 0.2945 8.6552 ((53 . 5) (54 . 6) (55 . 7) (57 . 8)) 4154 1.0000 0.0000 ((51 . 51) (52 . 52) (53 . 53) (54 . 54) (55 . 55) (56 . 56) (57 . 57)) 4194 0.0999 6.7221 ((52 . 3) (55 . 5) (56 . 6) (57 . 7)) 4204 0.5709 6.8028 ((51 . 5) (53 . 7) (55 . 9) (57 . 11)) 4210 0.5713 5.1902 ((51 . 4) (52 . 5) (53 . 6) (57 . 8)) 4226 0.5711 6.3335 ((51 . 9) (54 . 11) (55 . 12) (57 . 14)) 4232 0.5709 6.8800 ((51 . 3) (53 . 4) (54 . 5) (56 . 6)) 4254 0.5711 6.3053 ((52 . 3) (53 . 4) (55 . 6) (57 . 8)) 4255 0.5690 10.1382 ((52 . 21) (54 . 23) (56 . 24) (57 . 26)) 4257 0.1992 9.3966 ((52 . 7) (53 . 8) (55 . 10) (56 . 11)) 4275 0.1993 4.8205 ((52 . 21) (53 . 25) (56 . 27) (57 . 28)) 4284 0.5712 5.4913 ((52 . 1) (54 . 3) (55 . 4) (56 . 5)) 4299 0.5711 5.9935 ((51 . 14) (53 . 16) (56 . 19) (57 . 20)) 4301 0.5712 5.8059 ((51 . 1) (52 . 2) (56 . 4) (57 . 6)) 4326 0.5705 7.9781 ((51 . 7) (53 . 10) (54 . 11) (55 . 12)) 4338 0.5711 6.0202 ((51 . 4) (55 . 6) (56 . 7) (57 . 8)) 4359 0.9990 4.0439 ((51 . 5) (52 . 6) (53 . 7) (54 . 8) (55 . 9) (56 . 10) (57 . 11)) 4380 0.7116 7.8546 ((51 . 30) (52 . 31) (53 . 32) (56 . 36) (57 . 39)) 4383 0.5712 5.6738 ((51 . 17) (52 . 18) (53 . 19) (55 . 21)) 4388 0.5714 4.2500 ((51 . 8) (52 . 9) (53 . 10) (57 . 12)) 4398 0.5697 9.3038 ((51 . 8) (53 . 10) (55 . 12) (56 . 13)) 4405 0.1993 5.8476 ((53 . 22) (54 . 23) (55 . 24) (56 . 25)) 4408 0.5712 5.8401 ((51 . 3) (52 . 4) (56 . 6) (57 . 7)) 4419 0.5713 4.8664 ((52 . 6) (53 . 8) (56 . 9) (57 . 10)) 4470 0.5656 12.6535 ((51 . 8) (52 . 9) (53 . 10) (57 . 12)) 4492 0.5714 3.6662 ((51 . 2) (52 . 3) (53 . 4) (54 . 5)) 4497 0.5710 6.4510 ((51 . 26) (52 . 27) (53 . 28) (54 . 30)) 4502 0.5712 5.3709 ((51 . 9) (52 . 10) (53 . 11) (57 . 14)) 4503 0.5712 5.2869 ((53 . 3) (54 . 4) (56 . 6) (57 . 7)) 4504 0.5713 5.2164 ((51 . 17) (55 . 20) (56 . 21) (57 . 22)) 4516 0.7114 8.0107 ((52 . 14) (53 . 16) (55 . 18) (56 . 20) (57 . 22)) 4538 0.5713 4.5357 ((52 . 31) (53 . 32) (54 . 33) (55 . 34)) 4561 0.5714 3.3517 ((52 . 9) (55 . 13) (56 . 14) (57 . 15)) 4577 0.7131 6.3944 ((51 . 28) (52 . 29) (53 . 30) (54 . 32) (57 . 33)) 4588 0.5713 4.3700 ((51 . 1) (53 . 3) (56 . 8) (57 . 7)) 4621 0.5713 4.7874 ((52 . 7) (53 . 8) (56 . 9) (57 . 11)) 4630 0.5713 4.3373 ((51 . 20) (53 . 23) (54 . 24) (56 . 26)) 4648 0.5711 6.1503 ((51 . 1) (52 . 2) (56 . 5) (57 . 8)) 4653 0.7140 4.5078 ((51 . 5) (52 . 6) (53 . 7) (56 . 8) (57 . 9)) 4668 0.5704 8.1990 ((51 . 1) (53 . 3) (55 . 5) (57 . 7)) 4669 0.0999 6.5446 ((51 . 13) (52 . 15) (55 . 17) (57 . 19)) 4671 0.5713 4.6604 ((52 . 11) (53 . 12) (54 . 13) (55 . 14)) 4674 0.5708 7.2372 ((53 . 6) (55 . 7) (56 . 8) (57 . 9)) 4713 0.5713 4.8341 ((51 . 5) (52 . 6) (53 . 7) (57 . 9)) 4734 0.5714 3.1778 ((51 . 2) (52 . 5) (53 . 6) (54 . 8)) 4886 0.5712 5.5783 ((52 . 29) (53 . 30) (54 . 31) (57 . 32)) 4888 0.2945 9.4199 ((52 . 14) (53 . 15) (54 . 16) (55 . 17)) 4907 0.5714 3.4106 ((52 . 1) (53 . 3) (56 . 4) (57 . 5)) 4914 0.7133 6.1526 ((53 . 8) (54 . 9) (55 . 10) (56 . 11) (57 . 12)) 4929 0.5708 7.0700 ((51 . 28) (52 . 29) (53 . 31) (57 . 33)) 4932 0.5714 4.1819 ((53 . 1) (54 . 2) (56 . 5) (57 . 6)) 4940 0.5713 4.6836 ((52 . 1) (53 . 2) (55 . 3) (57 . 6)) 4944 0.7139 4.9501 ((53 . 11) (54 . 13) (55 . 14) (56 . 15) (57 . 16)) 4978 0.5711 6.1275 ((51 . 18) (55 . 21) (56 . 22) (57 . 24)) 4992 0.5714 4.1326 ((51 . 1) (52 . 2) (53 . 3) (57 . 6)) 5029 0.5709 6.9277 ((51 . 4) (53 . 6) (55 . 8) (57 . 10)) 5036 0.7117 7.7506 ((51 . 6) (52 . 7) (53 . 8) (56 . 9) (57 . 10)) 5046 0.5708 7.2685 ((51 . 4) (55 . 7) (56 . 8) (57 . 10)) 5053 0.5710 6.6872 ((51 . 2) (52 . 3) (54 . 5) (55 . 6)) 5065 0.5714 2.7687 ((52 . 8) (53 . 9) (56 . 10) (57 . 11)) 5068 0.5713 4.7740 ((51 . 2) (53 . 4) (56 . 7) (57 . 10)) 5069 0.5712 5.5679 ((51 . 15) (55 . 17) (56 . 18) (57 . 19)) 5083 0.5712 5.3509 ((52 . 5) (53 . 6) (54 . 8) (56 . 9)) 5101 0.5712 5.5297 ((51 . 21) (53 . 23) (55 . 25) (57 . 26)) 5121 0.5714 4.0227 ((51 . 26) (53 . 27) (56 . 30) (57 . 31)) 5183 0.5713 4.3230 ((54 . 34) (55 . 35) (56 . 36) (57 . 37)) 5212 0.5714 3.6727 ((53 . 21) (54 . 22) (55 . 23) (56 . 24)) 5215 0.5709 6.7935 ((51 . 2) (52 . 3) (54 . 4) (55 . 5)) 5223 0.5709 6.8294 ((51 . 6) (53 . 8) (56 . 10) (57 . 12)) 5231 0.5710 6.6870 ((52 . 8) (55 . 12) (56 . 13) (57 . 14)) 5266 0.5709 6.7834 ((51 . 8) (52 . 10) (56 . 13) (57 . 15)) 5278 0.5712 5.4337 ((51 . 5) (53 . 7) (54 . 8) (55 . 9)) 5307 0.5714 3.4188 ((51 . 53) (53 . 55) (56 . 57) (57 . 58)) 5312 0.5712 5.7901 ((52 . 1) (53 . 2) (56 . 3) (57 . 4)) 5324 0.5710 6.6662 ((51 . 7) (53 . 10) (55 . 12) (57 . 14)) 5344 0.5712 5.7234 ((51 . 1) (52 . 2) (53 . 3) (57 . 7)) 5345 0.7140 4.3572 ((52 . 13) (53 . 14) (55 . 16) (56 . 17) (57 . 18)) 5368 0.9984 4.5567 ((51 . 14) (52 . 15) (53 . 16) (54 . 17) (55 . 18) (56 . 19) (57 . 20)) 5414 0.5711 6.1187 ((54 . 14) (55 . 15) (56 . 16) (57 . 18)) 5418 0.5714 3.3033 ((51 . 1) (52 . 2) (53 . 3) (56 . 5)) 5433 0.5712 5.2660 ((52 . 5) (53 . 4) (55 . 7) (57 . 10)) 5479 0.7137 5.2615 ((51 . 55) (54 . 59) (55 . 60) (56 . 61) (57 . 62)) 5489 0.7128 6.7194 ((52 . 9) (53 . 10) (54 . 11) (56 . 13) (57 . 14)) 5500 0.5710 6.6244 ((51 . 2) (52 . 3) (53 . 4) (56 . 7)) 5535 0.1993 5.5695 ((53 . 6) (54 . 7) (55 . 8) (56 . 9)) 5540 0.1993 7.8523 ((51 . 14) (52 . 15) (53 . 16) (57 . 18)) 5557 0.5714 3.6457 ((51 . 2) (52 . 3) (53 . 4) (57 . 6)) 5567 0.1992 9.5153 ((51 . 5) (52 . 6) (55 . 8) (57 . 11)) 5600 0.5702 8.4570 ((51 . 3) (52 . 5) (53 . 6) (57 . 9)) 5601 0.5706 7.7158 ((51 . 7) (53 . 8) (55 . 10) (57 . 12)) 5640 0.5714 3.1943 ((54 . 27) (55 . 28) (56 . 29) (57 . 30)) 5644 0.5713 4.3027 ((51 . 8) (53 . 10) (54 . 11) (55 . 12)) 5656 0.5686 10.5676 ((51 . 8) (52 . 9) (53 . 10) (57 . 14)) 5700 0.5708 7.0741 ((51 . 4) (53 . 6) (56 . 8) (57 . 9)) 5711 0.5714 1.9460 ((51 . 25) (52 . 27) (53 . 28) (56 . 29)) 5713 0.7141 3.9488 ((52 . 15) (53 . 16) (54 . 18) (56 . 20) (57 . 21)) 5718 0.5712 5.6330 ((51 . 17) (52 . 18) (56 . 23) (57 . 24)) 5731 0.5708 7.0685 ((51 . 7) (54 . 9) (55 . 10) (56 . 11)) 5746 0.5714 2.4444 ((51 . 2) (52 . 3) (56 . 6) (57 . 7)) 5749 0.5710 6.6499 ((52 . 3) (53 . 4) (56 . 5) (57 . 6)) 5761 0.5714 2.3239 ((51 . 30) (52 . 31) (53 . 32) (57 . 36)) 5782 0.5713 4.9652 ((51 . 24) (52 . 26) (53 . 27) (57 . 32)) 5794 0.5713 4.5720 ((51 . 15) (52 . 16) (56 . 18) (57 . 19)) 5822 0.5699 9.0905 ((51 . 2) (53 . 4) (56 . 6) (57 . 7)) 5827 0.5714 3.4269 ((54 . 2) (55 . 3) (56 . 4) (57 . 5)) 5830 0.0999 9.8367 ((52 . 1) (53 . 2) (54 . 3) (56 . 7)) 5847 0.5711 6.0909 ((53 . 13) (54 . 14) (55 . 15) (57 . 17)) 5861 0.5713 4.4704 ((51 . 22) (55 . 25) (56 . 26) (57 . 27)) 5865 0.5714 3.3199 ((53 . 1) (54 . 2) (56 . 4) (57 . 5)) 5878 0.2945 6.7553 ((51 . 26) (52 . 25) (54 . 29) (55 . 30)) 5888 0.9985 4.4757 ((51 . 9) (52 . 12) (53 . 13) (54 . 14) (55 . 15) (56 . 16) (57 . 17)) 5913 0.7142 3.6714 ((51 . 5) (52 . 6) (53 . 7) (56 . 13) (57 . 15)) 5914 0.5712 5.4004 ((53 . 2) (54 . 3) (56 . 5) (57 . 6)) 5922 0.7079 9.7765 ((51 . 1) (52 . 3) (54 . 5) (55 . 6) (56 . 8)) 5930 0.5711 6.1382 ((51 . 7) (52 . 8) (53 . 9) (54 . 10)) 6011 0.7122 7.3717 ((51 . 11) (52 . 13) (53 . 14) (54 . 15) (57 . 18)) 6022 0.5713 4.8210 ((51 . 1) (53 . 2) (56 . 4) (57 . 5)) 6029 0.5714 3.5653 ((51 . 4) (52 . 5) (53 . 6) (57 . 10)) 6041 0.7130 6.5450 ((52 . 10) (53 . 11) (54 . 12) (55 . 13) (57 . 15)) 6046 0.5714 2.2050 ((52 . 2) (53 . 3) (56 . 5) (57 . 6)) 6075 0.5706 7.7948 ((51 . 17) (53 . 20) (55 . 21) (57 . 24)) 6079 0.7133 6.1596 ((52 . 6) (53 . 7) (54 . 8) (55 . 9) (57 . 11)) 6094 0.5709 7.0654 ((51 . 7) (54 . 10) (55 . 11) (56 . 12)) 6099 0.7135 5.8241 ((51 . 9) (52 . 10) (53 . 11) (56 . 13) (57 . 14)) 6123 0.5713 4.7915 ((52 . 2) (53 . 3) (54 . 4) (55 . 5)) 6142 0.9972 5.2360 ((51 . 11) (52 . 14) (53 . 15) (54 . 16) (55 . 18) (56 . 24) (57 . 25)) 6167 0.5712 5.5276 ((51 . 12) (52 . 14) (56 . 20) (57 . 21)) 6173 0.7129 6.6654 ((51 . 9) (52 . 11) (53 . 12) (54 . 13) (57 . 15)) 6191 0.5705 7.9937 ((52 . 9) (53 . 10) (56 . 12) (57 . 13)) 6215 0.5714 4.1232 ((51 . 18) (52 . 19) (53 . 20) (57 . 24)) 6225 0.5682 10.9116 ((52 . 4) (53 . 5) (56 . 7) (57 . 8)) 6228 0.5709 6.8433 ((51 . 9) (52 . 11) (53 . 12) (56 . 15)) 6234 0.5713 4.6112 ((52 . 6) (53 . 7) (56 . 9) (57 . 10)) 6238 0.5710 6.4097 ((51 . 3) (52 . 4) (56 . 7) (57 . 8)) 6243 0.5713 5.1491 ((52 . 2) (53 . 3) (55 . 6) (57 . 8)) 6258 0.5709 6.8506 ((51 . 7) (53 . 9) (56 . 10) (57 . 12)) 6266 0.5710 6.6932 ((51 . 3) (53 . 5) (55 . 6) (57 . 8)) 6270 0.5711 6.0473 ((51 . 13) (52 . 15) (56 . 17) (57 . 18)) 6271 0.5712 5.3920 ((51 . 7) (52 . 8) (56 . 10) (57 . 11)) 6306 0.5709 6.8444 ((51 . 16) (52 . 15) (53 . 17) (57 . 20)) 6311 0.1993 6.7994 ((51 . 5) (53 . 9) (56 . 10) (57 . 11)) 6326 0.5713 5.1635 ((53 . 6) (54 . 7) (56 . 9) (57 . 10)) 6344 0.7130 6.5797 ((51 . 13) (53 . 15) (55 . 17) (56 . 18) (57 . 19)) 6345 0.5714 3.8452 ((53 . 4) (54 . 5) (56 . 6) (57 . 7)) 6369 0.1993 7.0996 ((53 . 5) (54 . 6) (55 . 7) (57 . 9)) 6376 0.7140 4.4537 ((51 . 17) (52 . 24) (53 . 26) (56 . 27) (57 . 28)) 6399 0.7131 6.3841 ((51 . 7) (52 . 8) (53 . 10) (56 . 11) (57 . 12)) 6403 0.7136 5.5969 ((51 . 3) (52 . 4) (53 . 5) (56 . 7) (57 . 10)) 6434 0.5714 2.4238 ((52 . 2) (53 . 3) (56 . 4) (57 . 5)) 6498 0.5695 9.5051 ((51 . 37) (53 . 40) (55 . 42) (57 . 44)) 6520 0.5712 5.3247 ((51 . 10) (53 . 13) (56 . 14) (57 . 15)) 6539 0.2945 7.1306 ((52 . 4) (53 . 5) (54 . 6) (57 . 8)) 6540 0.5713 4.2985 ((51 . 19) (52 . 20) (53 . 21) (54 . 22)) 6548 0.5712 5.7114 ((51 . 7) (53 . 9) (56 . 12) (57 . 13)) 6555 0.5713 4.4908 ((52 . 23) (53 . 24) (54 . 25) (55 . 26)) 6561 0.5703 8.3873 ((54 . 8) (55 . 7) (56 . 9) (57 . 10)) 6578 0.7131 6.3899 ((51 . 31) (52 . 32) (53 . 34) (56 . 37) (57 . 38)) 6584 0.5713 4.7041 ((52 . 6) (53 . 7) (54 . 8) (55 . 9)) 6587 0.5713 4.4453 ((51 . 29) (52 . 31) (54 . 33) (55 . 34)) 6598 0.7138 5.1484 ((51 . 26) (52 . 27) (55 . 28) (56 . 29) (57 . 30)) 6613 0.2945 6.8688 ((52 . 31) (54 . 32) (56 . 33) (57 . 34)) 6635 0.5711 6.2692 ((52 . 1) (54 . 4) (55 . 5) (57 . 7)) END