949 25 0.2945 9.4747 ((32 . 6) (33 . 5) (35 . 9) (37 . 10)) 41 0.5708 7.0749 ((27 . 3) (32 . 5) (33 . 6) (35 . 8)) 64 0.5697 9.2702 ((27 . 10) (30 . 13) (32 . 14) (33 . 16)) 77 0.0999 9.1852 ((27 . 8) (32 . 13) (33 . 16) (35 . 17)) 91 0.5703 8.2945 ((27 . 37) (30 . 40) (35 . 46) (37 . 47)) 96 0.5713 5.2069 ((27 . 1) (30 . 3) (32 . 5) (35 . 7)) 136 0.0999 6.6047 ((27 . 3) (30 . 5) (32 . 7) (33 . 9)) 147 0.3780 13.7614 ((33 . 5) (35 . 7) (36 . 6) (37 . 8)) 150 0.5710 6.4604 ((30 . 19) (32 . 20) (33 . 21) (37 . 24)) 155 0.3789 8.5490 ((30 . 2) (32 . 3) (35 . 5) (37 . 7)) 157 0.5707 7.5262 ((27 . 9) (32 . 14) (33 . 15) (35 . 17)) 162 0.5711 6.3127 ((27 . 12) (32 . 17) (33 . 16) (36 . 19)) 177 0.5699 9.0036 ((27 . 1) (30 . 4) (32 . 5) (36 . 9)) 207 0.5710 6.5154 ((30 . 7) (32 . 8) (33 . 11) (37 . 14)) 300 0.5703 8.3236 ((30 . 6) (32 . 8) (35 . 11) (37 . 12)) 305 0.2478 6.6096 ((30 . 18) (32 . 19) (33 . 20) (37 . 25)) 307 0.5703 8.3610 ((30 . 1) (32 . 3) (33 . 6) (35 . 8)) 317 0.3781 13.4448 ((33 . 6) (35 . 8) (36 . 7) (37 . 9)) 350 0.5684 10.7455 ((27 . 7) (30 . 11) (32 . 13) (33 . 14)) 360 0.5708 7.1254 ((27 . 3) (30 . 6) (32 . 7) (37 . 13)) 361 0.5711 5.8922 ((30 . 1) (32 . 2) (33 . 3) (37 . 5)) 365 0.5699 9.0516 ((27 . 1) (30 . 3) (32 . 6) (33 . 7)) 433 0.5706 7.6685 ((27 . 1) (30 . 5) (32 . 6) (35 . 8)) 442 0.5711 5.9058 ((30 . 10) (32 . 12) (33 . 13) (37 . 15)) 460 0.5705 7.8768 ((27 . 2) (32 . 3) (33 . 4) (35 . 9)) 472 0.5562 16.2672 ((27 . 22) (30 . 25) (32 . 27) (35 . 29)) 495 0.5702 8.5808 ((27 . 3) (30 . 5) (33 . 6) (36 . 10)) 541 0.5713 4.5460 ((30 . 3) (32 . 5) (33 . 6) (37 . 9)) 543 0.5711 5.9324 ((27 . 5) (30 . 8) (32 . 10) (36 . 14)) 561 0.5714 3.2628 ((27 . 1) (30 . 3) (32 . 4) (33 . 5)) 587 0.3790 6.6626 ((27 . 4) (30 . 8) (32 . 9) (37 . 12)) 609 0.0999 8.0449 ((32 . 1) (33 . 2) (36 . 4) (37 . 5)) 619 0.2478 5.8870 ((30 . 11) (32 . 12) (33 . 14) (37 . 17)) 624 0.5714 3.3363 ((27 . 22) (30 . 24) (32 . 26) (33 . 27)) 635 0.3787 10.3618 ((32 . 3) (33 . 4) (35 . 7) (37 . 9)) 678 0.4437 12.8787 ((30 . 22) (33 . 23) (35 . 25) (37 . 27)) 719 0.5681 10.9404 ((30 . 22) (32 . 25) (35 . 29) (37 . 31)) 729 0.7093 9.1808 ((27 . 15) (30 . 17) (32 . 20) (33 . 21) (36 . 22)) 796 0.5714 3.1443 ((27 . 3) (30 . 5) (32 . 6) (33 . 7)) 818 0.3784 12.3630 ((27 . 1) (30 . 4) (35 . 9) (36 . 11)) 861 0.5700 8.9409 ((30 . 1) (32 . 2) (35 . 4) (37 . 5)) 901 0.5712 5.5296 ((27 . 12) (30 . 15) (35 . 18) (36 . 19)) 913 0.3785 11.5057 ((32 . 16) (33 . 15) (35 . 18) (37 . 21)) 928 0.7129 6.7106 ((27 . 10) (32 . 12) (33 . 13) (35 . 15) (37 . 17)) 937 0.5714 1.7432 ((27 . 1) (30 . 4) (32 . 5) (33 . 6)) 943 0.5714 4.2217 ((30 . 1) (32 . 2) (33 . 7) (37 . 10)) 945 0.5700 8.8094 ((27 . 14) (30 . 17) (32 . 19) (35 . 21)) 949 1.0000 0.0000 ((27 . 27) (30 . 30) (32 . 32) (33 . 33) (35 . 35) (36 . 36) (37 . 37)) 960 0.2942 14.2363 ((27 . 8) (32 . 12) (35 . 15) (37 . 16)) 980 0.5712 5.5238 ((32 . 3) (33 . 4) (35 . 6) (37 . 8)) 1005 0.2944 10.9621 ((27 . 1) (33 . 5) (35 . 6) (37 . 8)) 1034 0.5524 17.2775 ((27 . 20) (30 . 22) (32 . 25) (35 . 27)) 1043 0.5712 5.8283 ((27 . 10) (30 . 12) (32 . 14) (33 . 16)) 1082 0.5711 6.0873 ((27 . 8) (32 . 12) (33 . 14) (37 . 17)) 1084 0.3777 14.6793 ((33 . 2) (35 . 4) (36 . 5) (37 . 6)) 1165 0.1992 9.6826 ((27 . 3) (30 . 7) (33 . 9) (35 . 11)) 1167 0.5708 7.2663 ((30 . 21) (32 . 22) (33 . 24) (35 . 26)) 1204 0.5691 10.0671 ((27 . 3) (30 . 5) (33 . 7) (35 . 8)) 1210 0.5703 8.3095 ((33 . 3) (35 . 4) (36 . 5) (37 . 6)) 1211 0.5703 8.3270 ((27 . 9) (30 . 11) (32 . 14) (35 . 17)) 1224 0.5714 4.2350 ((27 . 3) (30 . 6) (32 . 7) (37 . 11)) 1233 0.5689 10.2616 ((27 . 11) (33 . 16) (35 . 19) (37 . 21)) 1267 0.2976 10.0923 ((27 . 13) (32 . 15) (33 . 16) (35 . 18) (37 . 20)) 1268 0.5713 4.4247 ((33 . 12) (35 . 14) (36 . 15) (37 . 16)) 1294 0.5673 11.5751 ((27 . 39) (30 . 41) (32 . 42) (33 . 45)) 1345 0.1992 8.8678 ((27 . 13) (30 . 16) (33 . 17) (35 . 19)) 1366 0.1332 8.7414 ((27 . 17) (30 . 20) (32 . 21) (36 . 25)) 1388 0.7140 4.3652 ((27 . 1) (30 . 4) (32 . 5) (33 . 6) (36 . 11)) 1447 0.5682 10.9363 ((27 . 1) (30 . 3) (36 . 8) (37 . 10)) 1470 0.5702 8.4503 ((33 . 12) (35 . 13) (36 . 14) (37 . 15)) 1472 0.2945 8.1177 ((32 . 7) (33 . 9) (35 . 10) (37 . 11)) 1476 0.5711 6.3120 ((27 . 9) (30 . 11) (35 . 16) (36 . 17)) 1481 0.5710 6.6799 ((30 . 1) (32 . 2) (33 . 3) (37 . 8)) 1497 0.1498 9.2542 ((33 . 16) (35 . 17) (36 . 18) (37 . 19)) 1513 0.5701 8.7458 ((27 . 13) (30 . 15) (32 . 18) (33 . 19)) 1514 0.5714 3.0506 ((27 . 1) (30 . 3) (32 . 4) (33 . 5)) 1591 0.5709 6.9311 ((32 . 14) (33 . 15) (36 . 17) (37 . 18)) 1604 0.5712 5.6193 ((30 . 1) (32 . 3) (33 . 6) (37 . 9)) 1622 0.0999 9.4932 ((27 . 18) (30 . 20) (32 . 22) (33 . 21)) 1643 0.5702 8.4831 ((27 . 11) (30 . 15) (32 . 16) (37 . 21)) 1690 0.5690 10.1704 ((27 . 1) (32 . 8) (33 . 9) (35 . 12)) 1731 0.5702 8.5196 ((27 . 3) (30 . 6) (33 . 7) (37 . 10)) 1736 0.5706 7.6596 ((30 . 5) (33 . 6) (35 . 8) (37 . 11)) 1738 0.5709 6.9040 ((30 . 1) (32 . 4) (33 . 5) (37 . 10)) 1747 0.5710 6.5951 ((30 . 16) (32 . 18) (33 . 20) (36 . 23)) 1761 0.5654 12.7984 ((27 . 4) (32 . 9) (33 . 10) (37 . 14)) 1776 0.5686 10.5642 ((27 . 1) (32 . 7) (33 . 8) (35 . 10)) 1778 0.7128 6.7683 ((27 . 2) (30 . 4) (32 . 5) (33 . 6) (37 . 11)) 1793 0.5709 7.0321 ((27 . 8) (30 . 10) (35 . 15) (37 . 16)) 1805 0.5701 8.7258 ((27 . 12) (30 . 15) (32 . 16) (33 . 18)) 1808 0.5692 9.9329 ((27 . 2) (30 . 5) (32 . 8) (33 . 7)) 1817 0.5705 8.0234 ((27 . 13) (30 . 15) (32 . 19) (35 . 21)) 1867 0.5709 7.0201 ((27 . 1) (30 . 3) (32 . 6) (33 . 8)) 1894 0.2945 7.2872 ((27 . 18) (30 . 20) (32 . 23) (33 . 24)) 1896 0.5688 10.3328 ((27 . 3) (30 . 5) (36 . 12) (37 . 13)) 1897 0.3784 12.2530 ((27 . 39) (30 . 41) (33 . 44) (36 . 48)) 1908 0.5699 9.0711 ((27 . 10) (30 . 15) (33 . 16) (37 . 20)) 1909 0.3790 5.7636 ((32 . 29) (33 . 30) (35 . 33) (37 . 36)) 1913 0.1498 9.3464 ((27 . 20) (30 . 23) (32 . 25) (37 . 31)) 1944 0.5709 6.8060 ((27 . 3) (30 . 5) (32 . 7) (36 . 12)) 1957 0.7128 6.7718 ((27 . 11) (32 . 13) (33 . 14) (35 . 16) (37 . 18)) 1961 0.2944 12.1784 ((27 . 15) (32 . 19) (33 . 18) (36 . 23)) 1967 0.5704 8.1076 ((30 . 1) (33 . 4) (36 . 8) (37 . 9)) 1972 0.5698 9.1191 ((27 . 18) (30 . 20) (32 . 24) (35 . 25)) 1992 0.5682 10.8541 ((27 . 9) (30 . 1) (33 . 5) (36 . 8)) 2006 0.5705 8.0062 ((27 . 20) (30 . 22) (32 . 24) (33 . 27)) 2045 0.1993 8.5878 ((30 . 1) (32 . 2) (35 . 5) (36 . 4)) 2048 0.2944 12.0538 ((27 . 1) (30 . 4) (33 . 5) (37 . 12)) 2054 0.5705 7.9566 ((30 . 2) (35 . 9) (36 . 10) (37 . 12)) 2067 0.5668 11.9494 ((27 . 54) (32 . 60) (35 . 62) (37 . 64)) 2072 0.5711 6.1420 ((30 . 4) (32 . 6) (35 . 8) (37 . 9)) 2081 0.5709 7.0525 ((30 . 9) (32 . 10) (33 . 11) (37 . 13)) 2083 0.5692 9.9738 ((27 . 2) (30 . 4) (33 . 6) (36 . 11)) 2114 0.7094 9.1692 ((27 . 28) (30 . 32) (32 . 34) (33 . 35) (35 . 37)) 2117 0.0999 6.9117 ((30 . 11) (32 . 12) (33 . 13) (37 . 19)) 2118 0.5706 7.7362 ((27 . 4) (32 . 7) (33 . 8) (37 . 10)) 2122 0.5704 8.2209 ((27 . 12) (30 . 14) (32 . 17) (35 . 20)) 2166 0.5677 11.3086 ((27 . 9) (30 . 12) (32 . 13) (33 . 14)) 2179 0.5711 6.1105 ((27 . 6) (30 . 9) (32 . 10) (33 . 12)) 2203 0.5713 4.4649 ((27 . 1) (30 . 5) (32 . 7) (33 . 8)) 2205 0.5712 5.4826 ((27 . 17) (30 . 19) (32 . 22) (35 . 25)) 2209 0.5656 12.6708 ((27 . 1) (32 . 5) (33 . 4) (37 . 8)) 2243 0.5708 7.3134 ((27 . 42) (30 . 45) (32 . 47) (33 . 48)) 2248 0.5698 9.1722 ((27 . 16) (32 . 22) (33 . 23) (37 . 26)) 2249 0.5655 12.7134 ((27 . 11) (30 . 12) (32 . 16) (35 . 19)) 2269 0.5708 7.3258 ((27 . 7) (32 . 10) (33 . 11) (37 . 13)) 2279 0.5707 7.5935 ((27 . 11) (30 . 19) (32 . 20) (33 . 21)) 2298 0.5711 6.0735 ((32 . 8) (33 . 9) (35 . 11) (37 . 14)) 2308 0.5711 6.2121 ((27 . 4) (30 . 6) (32 . 8) (35 . 10)) 2340 0.1993 7.0630 ((27 . 11) (30 . 13) (32 . 14) (33 . 15)) 2344 0.5709 6.8657 ((27 . 11) (30 . 14) (32 . 18) (37 . 22)) 2364 0.5703 8.4490 ((27 . 5) (32 . 9) (33 . 10) (37 . 16)) 2389 0.5711 6.1099 ((27 . 3) (30 . 6) (32 . 7) (37 . 12)) 2423 0.5710 6.6603 ((27 . 14) (30 . 16) (32 . 17) (33 . 18)) 2440 0.5703 8.3743 ((27 . 4) (30 . 7) (32 . 9) (33 . 10)) 2447 0.5707 7.5767 ((27 . 15) (30 . 18) (33 . 20) (35 . 22)) 2462 0.5695 9.5466 ((27 . 3) (30 . 6) (32 . 7) (36 . 10)) 2465 0.5615 14.5273 ((33 . 1) (35 . 3) (36 . 4) (37 . 5)) 2510 0.3906 7.0382 ((27 . 17) (32 . 19) (33 . 24) (36 . 26) (37 . 28)) 2519 0.5707 7.5336 ((32 . 2) (33 . 3) (35 . 4) (37 . 6)) 2525 0.1498 7.1206 ((27 . 38) (30 . 41) (32 . 43) (36 . 46)) 2529 0.1993 7.3372 ((27 . 3) (30 . 5) (32 . 6) (33 . 7)) 2533 0.5692 9.9186 ((27 . 4) (32 . 6) (33 . 7) (37 . 11)) 2544 0.5693 9.8416 ((33 . 19) (35 . 21) (36 . 20) (37 . 24)) 2551 0.5710 6.5443 ((30 . 1) (32 . 3) (35 . 5) (36 . 6)) 2552 0.5707 7.3813 ((30 . 1) (32 . 3) (33 . 4) (35 . 6)) 2556 0.5708 7.2406 ((27 . 11) (32 . 16) (33 . 17) (37 . 21)) 2557 0.2945 6.3854 ((27 . 3) (30 . 6) (32 . 7) (33 . 8)) 2595 0.5708 7.1845 ((27 . 6) (30 . 9) (35 . 14) (36 . 15)) 2619 0.2945 8.2965 ((30 . 1) (32 . 3) (33 . 4) (37 . 6)) 2650 0.5675 11.4580 ((27 . 1) (30 . 2) (32 . 5) (33 . 4)) 2658 0.5709 6.9150 ((27 . 1) (32 . 3) (33 . 4) (36 . 6)) 2682 0.5699 8.9937 ((30 . 15) (32 . 17) (33 . 18) (37 . 21)) 2731 0.5714 2.4091 ((27 . 1) (30 . 4) (32 . 5) (33 . 6)) 2733 0.5702 8.5903 ((27 . 1) (30 . 4) (33 . 7) (35 . 9)) 2755 0.5697 9.3065 ((27 . 3) (30 . 5) (32 . 6) (35 . 7)) 2773 0.5929 8.6454 ((27 . 3) (30 . 5) (32 . 6) (33 . 7) (36 . 8)) 2783 0.5713 4.8577 ((27 . 6) (30 . 7) (32 . 8) (33 . 9)) 2804 0.0999 10.6100 ((27 . 29) (32 . 34) (33 . 35) (35 . 37)) 2821 0.5705 8.0053 ((27 . 2) (30 . 5) (33 . 10) (37 . 12)) 2830 0.5711 6.0705 ((27 . 1) (32 . 3) (33 . 4) (37 . 6)) 2834 0.2945 5.8604 ((27 . 1) (30 . 5) (32 . 6) (33 . 7)) 2840 0.5697 9.2684 ((27 . 1) (30 . 5) (32 . 6) (36 . 10)) 2842 0.5705 8.0592 ((27 . 1) (30 . 4) (32 . 5) (36 . 8)) 2867 0.5690 10.1130 ((32 . 8) (33 . 10) (36 . 11) (37 . 13)) 2929 0.5713 5.1167 ((27 . 36) (30 . 39) (32 . 40) (33 . 41)) 2940 0.5693 9.8483 ((27 . 1) (30 . 3) (32 . 5) (36 . 9)) 2947 0.5712 5.4137 ((27 . 4) (30 . 6) (32 . 7) (36 . 8)) 2990 0.5702 8.4566 ((30 . 9) (32 . 12) (33 . 13) (37 . 17)) 3019 0.3789 8.3276 ((30 . 9) (32 . 10) (35 . 12) (37 . 15)) 3034 0.5708 7.1937 ((27 . 1) (32 . 5) (33 . 6) (37 . 8)) 3041 0.5714 3.8715 ((27 . 30) (30 . 32) (32 . 33) (33 . 34)) 3070 0.1992 11.2304 ((32 . 32) (33 . 31) (35 . 34) (37 . 37)) 3084 0.7126 7.0299 ((27 . 13) (32 . 15) (33 . 16) (35 . 18) (37 . 20)) 3102 0.5681 10.9453 ((27 . 69) (30 . 71) (32 . 72) (37 . 78)) 3103 0.5710 6.4190 ((27 . 5) (30 . 9) (32 . 11) (33 . 12)) 3114 0.5713 5.2199 ((27 . 22) (30 . 24) (32 . 25) (33 . 27)) 3127 0.7123 7.2866 ((27 . 2) (32 . 6) (33 . 9) (35 . 12) (37 . 14)) 3187 0.5713 4.8442 ((27 . 2) (30 . 4) (32 . 5) (36 . 8)) 3190 0.5713 5.0357 ((32 . 3) (33 . 4) (35 . 7) (37 . 10)) 3197 0.5705 7.9632 ((30 . 12) (32 . 14) (33 . 15) (35 . 17)) 3200 0.5655 12.7126 ((27 . 1) (32 . 6) (33 . 7) (35 . 8)) 3202 0.2475 16.0419 ((30 . 18) (33 . 20) (35 . 21) (36 . 23)) 3212 0.2945 9.0202 ((27 . 2) (30 . 5) (32 . 9) (37 . 11)) 3222 0.1664 10.3468 ((30 . 15) (32 . 16) (33 . 17) (37 . 23)) 3256 0.5711 6.2567 ((27 . 20) (30 . 25) (32 . 26) (33 . 27)) 3261 0.3782 13.1088 ((32 . 7) (35 . 10) (36 . 11) (37 . 12)) 3300 0.5680 11.0933 ((30 . 1) (32 . 4) (36 . 9) (37 . 10)) 3322 0.5705 8.0130 ((30 . 3) (32 . 5) (33 . 6) (35 . 8)) 3334 0.1664 11.5042 ((30 . 6) (33 . 9) (35 . 11) (37 . 12)) 3339 0.5704 8.1239 ((32 . 9) (33 . 10) (35 . 14) (37 . 16)) 3358 0.1993 8.4917 ((27 . 4) (30 . 7) (32 . 8) (33 . 9)) 3362 0.5714 4.2679 ((27 . 4) (30 . 6) (35 . 12) (36 . 13)) 3391 0.5670 11.8356 ((32 . 4) (33 . 5) (35 . 7) (37 . 12)) 3410 0.5707 7.4357 ((27 . 19) (30 . 21) (33 . 27) (35 . 29)) 3415 0.5634 13.7725 ((33 . 18) (35 . 20) (36 . 19) (37 . 21)) 3446 0.2945 8.8950 ((32 . 5) (33 . 4) (35 . 8) (37 . 9)) 3481 0.5705 7.9715 ((27 . 2) (30 . 4) (32 . 7) (36 . 11)) 3495 0.5697 9.3357 ((30 . 7) (32 . 8) (33 . 10) (35 . 11)) 3496 0.1992 11.5970 ((30 . 19) (33 . 20) (35 . 21) (37 . 24)) 3537 0.5673 11.5836 ((27 . 2) (30 . 5) (32 . 6) (37 . 11)) 3548 0.5710 6.4179 ((27 . 2) (30 . 4) (32 . 5) (37 . 11)) 3561 0.2945 6.7590 ((27 . 20) (32 . 22) (33 . 27) (37 . 32)) 3570 0.5700 8.8287 ((27 . 1) (30 . 3) (32 . 7) (35 . 9)) 3585 0.5711 5.8933 ((30 . 13) (32 . 14) (33 . 15) (37 . 17)) 3613 0.5713 5.0937 ((30 . 40) (32 . 41) (33 . 42) (35 . 43)) 3628 0.5662 12.3144 ((27 . 10) (30 . 12) (33 . 15) (35 . 16)) 3651 0.5700 8.8123 ((32 . 3) (33 . 4) (36 . 6) (37 . 7)) 3658 0.5709 6.7694 ((27 . 1) (30 . 5) (32 . 6) (37 . 10)) 3659 0.0999 6.0761 ((27 . 7) (30 . 9) (32 . 12) (35 . 14)) 3661 0.2478 6.5123 ((30 . 7) (32 . 8) (33 . 10) (36 . 13)) 3697 0.5709 6.9959 ((30 . 6) (32 . 7) (33 . 8) (35 . 9)) 3703 0.5689 10.2678 ((27 . 4) (30 . 6) (32 . 7) (37 . 12)) 3732 0.5711 6.0332 ((27 . 5) (30 . 9) (32 . 11) (35 . 13)) 3733 0.5708 7.2102 ((27 . 1) (30 . 3) (33 . 5) (35 . 7)) 3740 0.5703 8.3524 ((27 . 4) (30 . 6) (32 . 7) (33 . 8)) 3741 0.2945 8.2537 ((27 . 1) (30 . 3) (32 . 4) (33 . 5)) 3778 0.5712 5.4849 ((27 . 4) (30 . 6) (32 . 7) (36 . 8)) 3787 0.5708 7.2532 ((32 . 7) (33 . 8) (36 . 10) (37 . 11)) 3790 0.5705 8.0460 ((27 . 10) (30 . 14) (32 . 15) (37 . 20)) 3807 0.0999 9.9071 ((30 . 43) (32 . 46) (33 . 48) (35 . 49)) 3817 0.5696 9.3913 ((27 . 1) (30 . 5) (32 . 7) (33 . 8)) 3818 0.5662 12.3217 ((27 . 20) (32 . 23) (33 . 24) (35 . 27)) 3829 0.5670 11.8004 ((30 . 2) (32 . 5) (35 . 8) (37 . 10)) 3831 0.5710 6.4086 ((27 . 2) (32 . 3) (33 . 4) (35 . 7)) 3847 0.5703 8.3613 ((32 . 9) (33 . 10) (35 . 11) (37 . 15)) 3853 0.5709 6.7786 ((32 . 3) (33 . 4) (36 . 7) (37 . 9)) 3870 0.5697 9.2695 ((32 . 3) (33 . 4) (35 . 6) (37 . 7)) 3938 0.5706 7.8040 ((30 . 2) (32 . 4) (33 . 5) (37 . 12)) 3968 0.5705 7.9897 ((27 . 3) (32 . 5) (33 . 8) (35 . 10)) 3986 0.5684 10.7369 ((27 . 8) (32 . 13) (36 . 19) (37 . 20)) 4005 0.5697 9.2970 ((27 . 8) (30 . 12) (32 . 14) (35 . 17)) 4009 0.5657 12.6244 ((33 . 10) (35 . 14) (36 . 16) (37 . 17)) 4019 0.5708 7.1486 ((27 . 47) (30 . 50) (32 . 51) (33 . 52)) 4030 0.1992 11.2136 ((33 . 9) (35 . 10) (36 . 11) (37 . 12)) 4034 0.5711 6.0489 ((27 . 6) (30 . 9) (32 . 10) (37 . 14)) 4037 0.5712 5.8102 ((30 . 1) (32 . 2) (35 . 5) (37 . 6)) 4062 0.4454 7.1557 ((30 . 48) (32 . 49) (33 . 51) (36 . 52)) 4067 0.0999 7.7774 ((30 . 16) (33 . 19) (35 . 21) (37 . 23)) 4087 0.5698 9.1839 ((27 . 3) (30 . 6) (32 . 7) (35 . 9)) 4112 0.5708 7.1861 ((27 . 1) (32 . 4) (33 . 7) (35 . 8)) 4115 0.5707 7.3633 ((32 . 15) (33 . 16) (36 . 20) (37 . 21)) 4140 0.5711 6.1446 ((30 . 21) (32 . 22) (35 . 25) (37 . 26)) 4151 0.5711 6.1575 ((32 . 3) (33 . 4) (35 . 6) (37 . 8)) 4192 0.5703 8.3536 ((27 . 13) (30 . 15) (32 . 19) (36 . 21)) 4194 0.5710 6.5435 ((27 . 1) (30 . 3) (32 . 5) (36 . 8)) 4195 0.3788 9.5384 ((27 . 6) (32 . 9) (36 . 10) (37 . 11)) 4204 0.2945 9.9587 ((32 . 5) (33 . 6) (36 . 10) (37 . 12)) 4209 0.2478 6.9992 ((30 . 1) (32 . 2) (33 . 3) (37 . 6)) 4210 0.2945 7.8719 ((30 . 5) (32 . 6) (33 . 7) (35 . 9)) 4226 0.5711 6.0134 ((27 . 11) (32 . 16) (33 . 17) (37 . 23)) 4243 0.1992 12.4138 ((33 . 2) (35 . 4) (36 . 3) (37 . 5)) 4254 0.5693 9.7486 ((30 . 9) (32 . 11) (33 . 12) (35 . 14)) 4255 0.5714 3.8029 ((27 . 21) (30 . 23) (32 . 24) (33 . 25)) 4265 0.5707 7.5634 ((27 . 20) (32 . 23) (33 . 25) (35 . 27)) 4266 0.1992 9.2398 ((27 . 2) (30 . 4) (32 . 6) (33 . 7)) 4275 0.5691 10.0303 ((32 . 23) (33 . 24) (36 . 26) (37 . 29)) 4281 0.5710 6.4701 ((27 . 3) (32 . 4) (33 . 7) (35 . 9)) 4284 0.3790 6.9134 ((30 . 5) (32 . 6) (33 . 7) (37 . 11)) 4299 0.5703 8.3703 ((32 . 6) (33 . 7) (35 . 8) (37 . 10)) 4326 0.5706 7.7476 ((27 . 2) (32 . 7) (33 . 8) (37 . 14)) 4332 0.5700 8.8561 ((30 . 2) (32 . 4) (33 . 5) (36 . 8)) 4338 0.5713 4.5732 ((27 . 6) (30 . 7) (32 . 8) (33 . 9)) 4380 0.5702 8.6022 ((27 . 1) (30 . 3) (32 . 4) (33 . 6)) 4386 0.2945 10.5241 ((27 . 10) (33 . 14) (35 . 15) (36 . 17)) 4388 0.5682 10.8800 ((27 . 8) (30 . 10) (35 . 14) (36 . 15)) 4398 0.5697 9.3676 ((27 . 4) (30 . 6) (32 . 8) (35 . 11)) 4405 0.5711 6.2864 ((27 . 14) (30 . 18) (32 . 19) (33 . 20)) 4408 0.5706 7.6641 ((27 . 4) (30 . 6) (32 . 7) (33 . 10)) 4415 0.7140 4.5282 ((27 . 1) (30 . 3) (32 . 4) (33 . 5) (37 . 10)) 4419 0.1992 9.9693 ((27 . 3) (30 . 8) (32 . 9) (33 . 11)) 4426 0.0999 8.5806 ((27 . 2) (30 . 4) (32 . 6) (33 . 5)) 4470 0.7105 8.5944 ((27 . 14) (30 . 18) (32 . 19) (35 . 22) (37 . 23)) 4491 0.5714 3.8004 ((27 . 1) (30 . 5) (32 . 6) (33 . 7)) 4492 0.3786 10.9228 ((32 . 4) (33 . 6) (35 . 9) (37 . 10)) 4495 0.5697 9.2640 ((27 . 6) (30 . 8) (32 . 10) (33 . 11)) 4502 0.3787 10.5105 ((27 . 6) (30 . 9) (33 . 13) (36 . 16)) 4504 0.5711 6.1832 ((27 . 17) (30 . 19) (35 . 23) (37 . 24)) 4505 0.5683 10.8495 ((27 . 26) (32 . 30) (33 . 31) (37 . 35)) 4516 0.3789 8.3743 ((33 . 3) (35 . 5) (36 . 7) (37 . 9)) 4538 0.2945 7.9924 ((30 . 30) (32 . 32) (35 . 36) (37 . 39)) 4560 0.5705 8.0434 ((30 . 4) (32 . 6) (33 . 7) (37 . 10)) 4561 0.5701 8.7162 ((27 . 1) (32 . 5) (33 . 6) (37 . 8)) 4562 0.5702 8.6112 ((27 . 22) (30 . 25) (32 . 27) (33 . 30)) 4563 0.5699 9.0192 ((32 . 28) (33 . 30) (36 . 32) (37 . 33)) 4577 0.2937 18.1256 ((27 . 41) (30 . 43) (32 . 44) (33 . 45)) 4579 0.3785 11.8158 ((33 . 28) (35 . 30) (36 . 31) (37 . 32)) 4588 0.5705 7.9775 ((27 . 1) (30 . 3) (32 . 8) (36 . 12)) 4589 0.5709 6.9169 ((27 . 18) (30 . 22) (32 . 23) (33 . 24)) 4607 0.1992 12.3352 ((33 . 20) (35 . 21) (36 . 22) (37 . 23)) 4621 0.5712 5.7498 ((30 . 3) (32 . 4) (33 . 5) (37 . 10)) 4648 0.5706 7.8252 ((30 . 1) (32 . 2) (33 . 3) (35 . 7)) 4668 0.5708 7.3405 ((32 . 5) (33 . 6) (35 . 8) (37 . 10)) 4669 0.5711 6.1936 ((27 . 12) (32 . 17) (33 . 18) (37 . 22)) 4671 0.5711 5.9826 ((27 . 11) (30 . 13) (32 . 15) (33 . 16)) 4699 0.0999 13.2164 ((33 . 8) (35 . 10) (36 . 9) (37 . 11)) 4715 0.5710 6.5928 ((30 . 6) (33 . 10) (36 . 13) (37 . 14)) 4764 0.1498 10.3257 ((33 . 4) (35 . 6) (36 . 5) (37 . 7)) 4857 0.5711 5.9047 ((30 . 9) (32 . 11) (33 . 12) (37 . 14)) 4886 0.5706 7.6510 ((30 . 16) (32 . 17) (33 . 18) (37 . 20)) 4888 0.5682 10.8936 ((30 . 1) (32 . 4) (33 . 6) (37 . 10)) 4889 0.5689 10.2326 ((27 . 11) (33 . 19) (36 . 20) (37 . 21)) 4921 0.1498 10.7673 ((27 . 9) (30 . 12) (32 . 14) (33 . 13)) 4932 0.5696 9.4164 ((30 . 5) (32 . 6) (33 . 7) (36 . 9)) 4961 0.5673 11.5720 ((27 . 3) (30 . 6) (33 . 8) (37 . 13)) 4978 0.5705 7.8922 ((27 . 21) (30 . 24) (33 . 26) (35 . 27)) 4982 0.5699 9.0528 ((30 . 9) (32 . 10) (33 . 13) (35 . 15)) 4992 0.5712 5.7362 ((30 . 2) (32 . 3) (33 . 4) (37 . 7)) 4998 0.5700 8.8607 ((30 . 15) (32 . 19) (35 . 21) (37 . 22)) 5029 0.5706 7.6454 ((30 . 4) (32 . 6) (33 . 7) (35 . 9)) 5039 0.3790 7.4808 ((32 . 37) (33 . 38) (36 . 40) (37 . 43)) 5044 0.3787 10.0355 ((27 . 1) (30 . 3) (32 . 8) (36 . 11)) 5046 0.5712 5.7184 ((27 . 1) (30 . 4) (32 . 7) (35 . 9)) 5053 0.5712 5.3149 ((27 . 6) (32 . 9) (35 . 13) (37 . 14)) 5065 0.5705 7.9105 ((27 . 8) (30 . 10) (32 . 11) (33 . 12)) 5068 0.5709 6.9256 ((27 . 17) (35 . 25) (36 . 26) (37 . 27)) 5069 0.5711 6.0971 ((27 . 15) (30 . 17) (32 . 18) (37 . 22)) 5073 0.5703 8.2787 ((30 . 32) (32 . 34) (33 . 35) (35 . 38)) 5080 0.5707 7.5699 ((30 . 2) (32 . 3) (35 . 6) (37 . 8)) 5092 0.5710 6.5680 ((33 . 9) (35 . 10) (36 . 11) (37 . 13)) 5101 0.5706 7.7918 ((27 . 15) (30 . 18) (33 . 22) (35 . 24)) 5103 0.5707 7.6024 ((27 . 2) (30 . 4) (33 . 5) (35 . 8)) 5121 0.5711 6.2553 ((30 . 16) (32 . 18) (35 . 22) (36 . 23)) 5132 0.4447 10.7347 ((27 . 20) (30 . 22) (33 . 24) (37 . 29)) 5134 0.5711 5.9251 ((27 . 6) (32 . 10) (33 . 11) (37 . 16)) 5145 0.1498 6.8549 ((27 . 5) (30 . 8) (32 . 10) (33 . 11)) 5167 0.7116 7.8883 ((27 . 1) (30 . 3) (32 . 4) (33 . 6) (37 . 8)) 5183 0.5712 5.5844 ((30 . 34) (32 . 35) (36 . 39) (37 . 40)) 5192 0.3788 9.8747 ((27 . 9) (35 . 16) (36 . 18) (37 . 19)) 5209 0.0999 11.5292 ((27 . 3) (30 . 4) (32 . 7) (33 . 6)) 5212 0.3790 5.5946 ((33 . 10) (35 . 12) (36 . 13) (37 . 14)) 5215 0.5711 5.9779 ((27 . 5) (32 . 9) (36 . 13) (37 . 14)) 5223 0.5893 11.7085 ((27 . 8) (30 . 10) (35 . 14) (36 . 16) (37 . 18)) 5231 0.5706 7.7527 ((27 . 8) (30 . 13) (32 . 14) (33 . 17)) 5266 0.5709 6.9025 ((27 . 10) (30 . 13) (32 . 15) (33 . 16)) 5285 0.2945 10.3671 ((33 . 2) (35 . 4) (36 . 3) (37 . 5)) 5307 0.5703 8.2724 ((32 . 53) (33 . 54) (36 . 56) (37 . 59)) 5318 0.2941 15.2680 ((27 . 8) (33 . 14) (35 . 15) (37 . 16)) 5323 0.5696 9.4006 ((30 . 10) (33 . 13) (35 . 15) (37 . 16)) 5324 0.5714 3.5440 ((27 . 22) (30 . 25) (32 . 28) (33 . 29)) 5344 0.5702 8.4643 ((27 . 1) (30 . 3) (32 . 4) (33 . 5)) 5368 0.5704 8.1716 ((27 . 41) (30 . 45) (32 . 46) (35 . 50)) 5378 0.5703 8.4271 ((27 . 3) (32 . 4) (33 . 5) (37 . 10)) 5411 0.5707 7.5522 ((27 . 3) (30 . 6) (32 . 8) (33 . 9)) 5418 0.5711 5.9818 ((27 . 1) (30 . 3) (32 . 5) (35 . 10)) 5479 0.5707 7.5952 ((27 . 60) (30 . 62) (32 . 63) (33 . 65)) 5487 0.5705 7.8649 ((30 . 4) (32 . 7) (33 . 8) (35 . 10)) 5489 0.2945 9.3313 ((27 . 6) (30 . 9) (32 . 11) (37 . 15)) 5500 0.1498 8.7462 ((27 . 2) (30 . 4) (32 . 7) (33 . 10)) 5501 0.5679 11.1542 ((30 . 17) (32 . 20) (36 . 23) (37 . 26)) 5540 0.5713 4.7309 ((27 . 6) (30 . 15) (32 . 16) (33 . 17)) 5557 0.1993 4.9741 ((30 . 1) (32 . 2) (35 . 5) (37 . 7)) 5560 0.5712 5.4749 ((30 . 11) (32 . 13) (33 . 14) (37 . 18)) 5562 0.5712 5.4783 ((30 . 6) (32 . 7) (33 . 9) (37 . 13)) 5567 0.5703 8.3353 ((27 . 6) (32 . 11) (33 . 14) (37 . 16)) 5594 0.5701 8.7184 ((27 . 6) (30 . 9) (32 . 12) (33 . 13)) 5600 0.1498 10.1383 ((27 . 3) (30 . 6) (32 . 9) (36 . 12)) 5601 0.5688 10.3343 ((27 . 3) (32 . 8) (33 . 9) (35 . 11)) 5638 0.5708 7.3437 ((27 . 7) (30 . 9) (33 . 12) (35 . 14)) 5648 0.5708 7.2920 ((33 . 1) (35 . 2) (36 . 3) (37 . 4)) 5656 0.7111 8.2266 ((27 . 16) (30 . 21) (32 . 23) (35 . 25) (37 . 26)) 5689 0.5701 8.6691 ((33 . 1) (35 . 2) (36 . 3) (37 . 4)) 5701 0.5702 8.5867 ((27 . 8) (30 . 11) (33 . 13) (35 . 15)) 5702 0.5706 7.7167 ((33 . 1) (35 . 2) (36 . 3) (37 . 4)) 5711 0.5669 11.8655 ((27 . 36) (30 . 39) (32 . 42) (37 . 48)) 5746 0.5712 5.4975 ((27 . 3) (30 . 6) (32 . 7) (37 . 12)) 5749 0.5706 7.7182 ((30 . 4) (32 . 5) (36 . 8) (37 . 9)) 5761 0.5714 3.9515 ((27 . 28) (30 . 31) (32 . 32) (33 . 34)) 5770 0.5667 11.9974 ((27 . 8) (32 . 15) (35 . 19) (36 . 21)) 5771 0.1992 8.7117 ((27 . 17) (30 . 20) (32 . 21) (33 . 22)) 5782 0.5711 6.1291 ((30 . 21) (32 . 22) (33 . 23) (37 . 28)) 5789 0.5706 7.8037 ((32 . 2) (33 . 3) (35 . 4) (37 . 6)) 5794 0.2945 8.9068 ((27 . 15) (30 . 18) (32 . 19) (33 . 22)) 5795 0.5708 7.3388 ((32 . 10) (33 . 11) (36 . 14) (37 . 15)) 5809 0.3788 9.4811 ((27 . 1) (32 . 5) (33 . 6) (37 . 8)) 5822 0.5697 9.3569 ((27 . 4) (32 . 8) (35 . 10) (36 . 11)) 5827 0.5712 5.8474 ((30 . 4) (32 . 5) (33 . 6) (37 . 12)) 5830 0.5711 6.0923 ((27 . 7) (30 . 10) (32 . 13) (36 . 16)) 5865 0.5684 10.7190 ((30 . 1) (32 . 4) (35 . 6) (37 . 8)) 5878 0.1992 14.7896 ((33 . 21) (35 . 23) (36 . 22) (37 . 24)) 5896 0.5714 3.1932 ((27 . 26) (30 . 28) (32 . 29) (33 . 30)) 5904 0.2945 7.3032 ((27 . 4) (32 . 7) (33 . 8) (36 . 10)) 5914 0.4452 8.3598 ((30 . 2) (32 . 3) (33 . 4) (36 . 7)) 5922 0.5613 14.6126 ((27 . 1) (30 . 6) (32 . 8) (33 . 7)) 5930 0.5701 8.7250 ((30 . 1) (32 . 4) (33 . 5) (36 . 6)) 5939 0.5656 12.6728 ((27 . 6) (32 . 10) (33 . 12) (35 . 15)) 5945 0.5710 6.4794 ((32 . 26) (33 . 27) (36 . 30) (37 . 31)) 5949 0.5691 10.0446 ((32 . 1) (33 . 2) (35 . 3) (37 . 8)) 5955 0.5711 6.0682 ((30 . 14) (32 . 16) (35 . 18) (37 . 19)) 5967 0.4444 11.4060 ((30 . 1) (35 . 6) (36 . 8) (37 . 10)) 6000 0.0999 14.5043 ((27 . 1) (30 . 4) (33 . 6) (35 . 7)) 6011 0.5714 3.9188 ((27 . 11) (30 . 16) (32 . 19) (35 . 21)) 6029 0.5714 3.3952 ((27 . 6) (30 . 10) (32 . 11) (33 . 12)) 6033 0.1498 13.2844 ((33 . 5) (35 . 7) (36 . 6) (37 . 9)) 6041 0.5709 6.9146 ((27 . 10) (30 . 12) (32 . 13) (33 . 14)) 6061 0.5700 8.8255 ((27 . 13) (32 . 15) (33 . 16) (35 . 18)) 6074 0.5709 6.7934 ((32 . 4) (33 . 5) (35 . 7) (37 . 10)) 6075 0.1992 8.8998 ((27 . 24) (30 . 27) (32 . 28) (33 . 29)) 6079 0.5713 4.9486 ((30 . 6) (32 . 7) (33 . 10) (37 . 12)) 6089 0.5683 10.7648 ((32 . 1) (33 . 2) (35 . 4) (37 . 6)) 6099 0.5703 8.3235 ((27 . 10) (30 . 13) (32 . 14) (36 . 19)) 6142 0.1498 11.1285 ((27 . 16) (30 . 19) (32 . 20) (33 . 22)) 6167 0.1993 8.5643 ((27 . 17) (30 . 20) (32 . 21) (33 . 22)) 6173 0.5712 5.7859 ((27 . 8) (30 . 13) (32 . 15) (33 . 16)) 6191 0.5706 7.6175 ((32 . 3) (33 . 1) (35 . 5) (37 . 7)) 6192 0.5670 11.7991 ((27 . 1) (30 . 3) (32 . 5) (36 . 9)) 6215 0.7133 6.1127 ((27 . 17) (30 . 19) (32 . 20) (33 . 22) (35 . 23)) 6228 0.5702 8.5009 ((27 . 7) (30 . 9) (32 . 11) (37 . 16)) 6234 0.2945 7.9646 ((27 . 6) (30 . 9) (32 . 10) (33 . 14)) 6238 0.5709 6.8616 ((27 . 4) (30 . 7) (32 . 8) (35 . 10)) 6243 0.5712 5.8757 ((30 . 2) (32 . 3) (33 . 5) (37 . 9)) 6251 0.1498 9.8254 ((30 . 8) (32 . 10) (33 . 11) (37 . 14)) 6258 0.1992 9.1171 ((27 . 10) (30 . 12) (32 . 13) (33 . 14)) 6261 0.5709 6.8822 ((30 . 19) (32 . 21) (35 . 23) (37 . 24)) 6266 0.1992 9.7380 ((27 . 6) (30 . 8) (32 . 10) (33 . 12)) 6270 0.5933 7.9886 ((27 . 15) (30 . 17) (32 . 18) (33 . 19) (36 . 23)) 6271 0.5709 6.8494 ((27 . 8) (32 . 12) (33 . 13) (35 . 14)) 6294 0.5691 10.0339 ((32 . 6) (33 . 7) (35 . 10) (36 . 12)) 6306 0.5703 8.2771 ((27 . 17) (30 . 19) (32 . 21) (36 . 23)) 6309 0.5714 2.5822 ((27 . 17) (30 . 20) (32 . 25) (33 . 26)) 6329 0.2944 11.8763 ((33 . 12) (35 . 14) (36 . 13) (37 . 15)) 6344 0.5712 5.4729 ((27 . 1) (30 . 3) (32 . 4) (33 . 5)) 6345 0.5710 6.4935 ((30 . 4) (32 . 6) (36 . 8) (37 . 9)) 6348 0.5706 7.7284 ((27 . 4) (32 . 9) (33 . 10) (35 . 13)) 6356 0.5710 6.5754 ((32 . 6) (33 . 8) (35 . 10) (37 . 12)) 6369 0.5661 12.4044 ((27 . 22) (30 . 24) (33 . 27) (35 . 28)) 6376 0.5709 6.9720 ((27 . 19) (30 . 21) (32 . 24) (36 . 29)) 6384 0.5690 10.0846 ((33 . 3) (35 . 4) (36 . 5) (37 . 6)) 6392 0.5702 8.4922 ((32 . 1) (33 . 2) (35 . 4) (37 . 6)) 6403 0.5707 7.3933 ((30 . 4) (32 . 5) (33 . 6) (35 . 9)) 6434 0.2945 9.3852 ((27 . 3) (33 . 7) (36 . 8) (37 . 9)) 6462 0.5707 7.4587 ((27 . 12) (30 . 16) (32 . 18) (35 . 19)) 6476 0.5696 9.4101 ((33 . 2) (35 . 6) (36 . 5) (37 . 7)) 6498 0.5706 7.7677 ((27 . 37) (30 . 40) (36 . 46) (37 . 47)) 6520 0.7104 8.6161 ((27 . 6) (30 . 8) (32 . 9) (33 . 11) (35 . 12)) 6539 0.5714 4.2422 ((27 . 2) (30 . 4) (32 . 5) (33 . 7)) 6548 0.5713 4.8994 ((27 . 7) (30 . 9) (32 . 12) (35 . 15)) 6553 0.5709 6.9848 ((27 . 17) (30 . 20) (35 . 27) (37 . 28)) 6555 0.1496 28.4081 ((27 . 1) (32 . 7) (33 . 9) (37 . 12)) 6578 0.5714 3.7781 ((27 . 32) (30 . 37) (32 . 38) (33 . 39)) 6585 0.5664 12.2079 ((27 . 1) (32 . 6) (33 . 7) (37 . 9)) 6586 0.5699 8.9627 ((32 . 18) (33 . 19) (36 . 22) (37 . 23)) 6587 0.1992 9.8508 ((32 . 31) (33 . 32) (35 . 35) (37 . 36)) 6598 0.5701 8.7006 ((27 . 24) (30 . 26) (32 . 27) (37 . 31)) 6613 0.2989 5.8839 ((27 . 24) (30 . 21) (32 . 22) (33 . 23) (35 . 26) (37 . 25)) 6635 0.5713 4.8944 ((27 . 1) (30 . 4) (32 . 5) (33 . 6)) END