719 25 0.4443 11.7578 ((22 . 6) (23 . 7) (27 . 11) (31 . 13)) 51 0.5711 6.1040 ((22 . 7) (25 . 10) (27 . 11) (30 . 14)) 62 0.5713 4.3941 ((25 . 12) (27 . 13) (29 . 15) (30 . 16)) 64 0.5714 4.1896 ((22 . 2) (23 . 3) (25 . 6) (27 . 7)) 77 0.5707 7.5039 ((22 . 7) (23 . 8) (29 . 12) (30 . 13)) 91 0.1664 8.0836 ((25 . 44) (27 . 45) (29 . 46) (31 . 48)) 96 0.3790 7.5759 ((25 . 1) (29 . 4) (30 . 5) (31 . 7)) 129 0.5713 5.0385 ((22 . 8) (23 . 9) (25 . 11) (27 . 12)) 136 0.5706 7.7279 ((25 . 3) (29 . 6) (30 . 7) (31 . 9)) 150 0.5712 5.2711 ((23 . 19) (27 . 23) (29 . 24) (30 . 25)) 153 0.5710 6.5192 ((22 . 6) (25 . 7) (27 . 8) (30 . 10)) 157 0.5713 5.2232 ((22 . 1) (27 . 5) (29 . 6) (30 . 8)) 161 0.1993 7.7242 ((22 . 2) (23 . 3) (25 . 6) (27 . 8)) 162 0.5711 5.8858 ((25 . 17) (27 . 18) (29 . 19) (30 . 22)) 169 0.5692 9.9570 ((22 . 4) (25 . 7) (27 . 8) (30 . 10)) 177 0.5711 5.9526 ((25 . 4) (27 . 5) (30 . 7) (31 . 9)) 198 0.5708 7.1694 ((22 . 7) (23 . 8) (27 . 12) (30 . 16)) 207 0.5713 5.2559 ((22 . 8) (27 . 13) (29 . 14) (30 . 15)) 233 0.1332 5.8063 ((22 . 3) (23 . 5) (25 . 7) (27 . 8)) 300 0.7131 6.4419 ((22 . 7) (23 . 8) (25 . 9) (27 . 10) (29 . 11)) 305 0.5708 7.3084 ((25 . 9) (27 . 11) (29 . 13) (30 . 15)) 307 0.5713 4.9620 ((22 . 1) (27 . 7) (29 . 8) (30 . 9)) 350 0.5713 4.6982 ((22 . 11) (23 . 13) (25 . 15) (27 . 16)) 360 0.7137 5.3967 ((23 . 8) (25 . 10) (27 . 12) (29 . 13) (30 . 14)) 365 0.5712 5.3034 ((25 . 3) (27 . 4) (29 . 7) (30 . 8)) 367 0.5714 3.7090 ((22 . 38) (25 . 40) (27 . 42) (30 . 44)) 372 0.5706 7.6346 ((22 . 5) (23 . 6) (25 . 8) (27 . 10)) 387 0.5710 6.5899 ((22 . 9) (23 . 10) (25 . 12) (30 . 15)) 405 0.5713 4.9071 ((22 . 35) (23 . 37) (25 . 39) (27 . 40)) 420 0.5712 5.7401 ((22 . 8) (23 . 9) (25 . 12) (27 . 13)) 433 0.7141 4.0829 ((22 . 5) (25 . 6) (27 . 7) (29 . 8) (30 . 9)) 442 0.5713 4.7457 ((23 . 10) (27 . 12) (29 . 13) (30 . 14)) 460 0.5712 5.7205 ((22 . 2) (23 . 3) (27 . 6) (30 . 8)) 472 0.5654 12.7824 ((22 . 20) (23 . 21) (29 . 24) (30 . 25)) 495 0.5713 5.0850 ((22 . 5) (25 . 8) (27 . 9) (29 . 12)) 541 0.5711 5.9645 ((22 . 7) (27 . 11) (29 . 13) (30 . 14)) 543 0.5710 6.4530 ((22 . 2) (25 . 5) (27 . 6) (30 . 10)) 561 0.5714 3.4470 ((25 . 3) (27 . 4) (29 . 5) (30 . 6)) 584 0.7142 3.3690 ((22 . 3) (25 . 4) (27 . 10) (29 . 12) (30 . 5)) 587 0.5714 3.1091 ((22 . 2) (23 . 3) (25 . 6) (27 . 7)) 609 0.5707 7.4887 ((22 . 1) (27 . 6) (29 . 7) (30 . 8)) 619 0.5703 8.3708 ((22 . 4) (25 . 7) (27 . 8) (30 . 11)) 624 0.5714 3.5997 ((22 . 7) (27 . 11) (29 . 12) (30 . 13)) 672 0.4454 6.6313 ((23 . 21) (25 . 22) (27 . 23) (29 . 25)) 719 1.0000 0.0000 ((22 . 22) (23 . 23) (25 . 25) (27 . 27) (29 . 29) (30 . 30) (31 . 31)) 729 0.5714 3.8983 ((22 . 7) (27 . 13) (29 . 14) (30 . 15)) 735 0.1993 7.5827 ((23 . 29) (25 . 32) (27 . 31) (30 . 36)) 765 0.3788 9.9487 ((22 . 7) (25 . 11) (27 . 12) (30 . 18)) 795 0.0999 6.1124 ((25 . 1) (27 . 3) (29 . 4) (30 . 5)) 796 0.5712 5.5409 ((22 . 3) (25 . 6) (27 . 5) (29 . 7)) 812 0.5706 7.6784 ((22 . 5) (27 . 11) (29 . 12) (30 . 13)) 818 0.5711 6.1634 ((25 . 4) (27 . 7) (29 . 9) (30 . 10)) 819 0.5709 6.8404 ((22 . 5) (25 . 8) (27 . 9) (29 . 11)) 824 0.5707 7.3682 ((22 . 46) (23 . 49) (25 . 51) (27 . 53)) 861 0.5698 9.1911 ((25 . 2) (27 . 3) (29 . 4) (31 . 5)) 901 0.5714 3.8664 ((22 . 15) (27 . 17) (29 . 19) (30 . 20)) 904 0.5713 5.0397 ((25 . 2) (27 . 3) (29 . 5) (30 . 6)) 913 0.3790 7.3172 ((27 . 17) (29 . 18) (30 . 20) (31 . 21)) 928 0.5714 3.9590 ((22 . 10) (27 . 14) (29 . 15) (30 . 16)) 937 0.5707 7.5942 ((27 . 1) (29 . 3) (30 . 4) (31 . 6)) 943 0.5713 4.5502 ((22 . 6) (27 . 9) (29 . 10) (30 . 12)) 945 0.2478 4.5218 ((22 . 14) (25 . 19) (29 . 21) (30 . 22)) 949 0.5681 10.9404 ((22 . 30) (25 . 32) (29 . 35) (31 . 37)) 960 0.2478 5.4205 ((22 . 12) (27 . 19) (29 . 20) (30 . 21)) 978 0.5711 6.2147 ((22 . 10) (27 . 13) (29 . 15) (30 . 16)) 980 0.5713 4.7579 ((22 . 1) (27 . 5) (29 . 6) (30 . 7)) 1005 0.1332 10.1609 ((25 . 1) (27 . 2) (29 . 4) (31 . 6)) 1007 0.7129 6.6726 ((22 . 8) (23 . 9) (25 . 11) (27 . 12) (30 . 14)) 1008 0.5711 6.2874 ((22 . 3) (23 . 5) (27 . 8) (29 . 11)) 1034 0.2477 12.3644 ((22 . 26) (27 . 29) (29 . 31) (31 . 36)) 1043 0.5711 6.1353 ((22 . 1) (27 . 6) (29 . 9) (30 . 10)) 1082 0.3788 9.9363 ((22 . 3) (23 . 4) (29 . 7) (30 . 8)) 1084 0.5712 5.3469 ((22 . 10) (23 . 12) (27 . 17) (30 . 18)) 1165 0.5714 4.2725 ((22 . 2) (27 . 7) (29 . 9) (30 . 10)) 1167 0.5706 7.7099 ((22 . 20) (23 . 21) (29 . 24) (30 . 27)) 1169 0.5713 4.5940 ((22 . 32) (23 . 33) (25 . 35) (27 . 37)) 1201 0.3772 15.7538 ((22 . 7) (25 . 11) (29 . 13) (31 . 19)) 1204 0.1992 8.6304 ((22 . 1) (27 . 5) (29 . 6) (31 . 8)) 1211 0.4451 8.8404 ((22 . 10) (23 . 11) (27 . 14) (31 . 17)) 1217 0.3790 6.2015 ((22 . 3) (23 . 5) (27 . 9) (30 . 12)) 1224 0.5711 6.0226 ((22 . 5) (25 . 6) (27 . 7) (30 . 10)) 1233 0.1992 8.9225 ((22 . 11) (27 . 17) (29 . 19) (31 . 21)) 1267 0.5709 7.0275 ((27 . 15) (29 . 16) (30 . 17) (31 . 18)) 1345 0.5709 6.9339 ((25 . 12) (27 . 13) (30 . 16) (31 . 17)) 1366 0.5712 5.6737 ((22 . 15) (23 . 16) (27 . 20) (30 . 22)) 1388 0.5714 4.1123 ((25 . 4) (27 . 5) (29 . 7) (30 . 8)) 1410 0.5710 6.6259 ((22 . 20) (23 . 21) (25 . 23) (27 . 25)) 1425 0.5711 6.0346 ((22 . 3) (23 . 4) (25 . 8) (27 . 10)) 1435 0.5711 6.0704 ((22 . 1) (23 . 2) (25 . 3) (27 . 5)) 1447 0.5712 5.2755 ((22 . 1) (25 . 3) (29 . 4) (30 . 5)) 1451 0.5699 9.0794 ((22 . 4) (23 . 5) (27 . 8) (30 . 10)) 1464 0.2478 7.2186 ((25 . 7) (27 . 8) (29 . 9) (31 . 12)) 1472 0.4441 12.0591 ((22 . 7) (23 . 8) (29 . 12) (31 . 13)) 1476 0.5713 4.5734 ((22 . 14) (27 . 18) (29 . 19) (30 . 20)) 1481 0.4450 9.5211 ((22 . 4) (23 . 5) (25 . 7) (29 . 9)) 1501 0.2945 5.8312 ((23 . 1) (25 . 3) (27 . 4) (30 . 7)) 1513 0.5710 6.5632 ((22 . 6) (23 . 8) (27 . 11) (30 . 13)) 1514 0.5709 6.7498 ((27 . 1) (29 . 2) (30 . 3) (31 . 5)) 1591 0.5713 4.6052 ((22 . 1) (27 . 4) (29 . 5) (30 . 6)) 1604 0.5713 5.1948 ((25 . 1) (27 . 3) (29 . 6) (30 . 7)) 1622 0.1498 6.1499 ((23 . 18) (27 . 20) (29 . 21) (30 . 22)) 1624 0.5704 8.0679 ((22 . 3) (25 . 6) (27 . 7) (31 . 11)) 1643 0.7138 5.1639 ((22 . 28) (23 . 31) (25 . 33) (27 . 34) (30 . 37)) 1644 0.5712 5.3158 ((22 . 48) (23 . 49) (25 . 51) (27 . 52)) 1665 0.5713 4.7361 ((27 . 8) (29 . 9) (30 . 10) (31 . 11)) 1690 0.5712 5.7917 ((22 . 1) (27 . 8) (29 . 9) (30 . 11)) 1692 0.6307 7.0839 ((22 . 6) (23 . 7) (25 . 8) (27 . 9) (30 . 10)) 1731 0.2945 7.4509 ((22 . 6) (23 . 8) (29 . 11) (30 . 12)) 1736 0.5713 4.8317 ((22 . 5) (27 . 7) (29 . 9) (30 . 10)) 1738 0.7141 4.1053 ((22 . 9) (25 . 13) (27 . 14) (29 . 16) (30 . 17)) 1747 0.5714 4.1893 ((22 . 41) (23 . 42) (25 . 44) (27 . 45)) 1756 0.5711 6.1304 ((22 . 25) (23 . 26) (25 . 29) (27 . 30)) 1759 0.5713 4.7942 ((22 . 5) (23 . 6) (25 . 9) (27 . 10)) 1761 0.5714 4.0913 ((25 . 1) (27 . 2) (30 . 5) (31 . 6)) 1776 0.5713 4.7906 ((22 . 1) (27 . 7) (29 . 8) (31 . 11)) 1778 0.5707 7.5268 ((25 . 4) (27 . 5) (29 . 6) (30 . 8)) 1793 0.5714 4.2517 ((22 . 4) (27 . 6) (29 . 7) (30 . 8)) 1805 0.5714 2.9532 ((22 . 2) (23 . 3) (25 . 7) (27 . 8)) 1808 0.5713 4.3298 ((25 . 4) (27 . 5) (29 . 7) (30 . 8)) 1817 0.5712 5.3495 ((22 . 14) (25 . 19) (27 . 20) (29 . 21)) 1894 0.5705 8.0308 ((22 . 18) (25 . 21) (27 . 22) (30 . 25)) 1896 0.4911 8.8289 ((22 . 22) (23 . 23) (27 . 27) (29 . 28)) 1897 0.5676 11.4080 ((22 . 39) (23 . 40) (25 . 41) (27 . 43)) 1908 0.1993 5.5535 ((27 . 10) (29 . 14) (30 . 15) (31 . 16)) 1909 0.5701 8.7429 ((22 . 31) (25 . 34) (29 . 38) (30 . 39)) 1913 0.5714 3.8923 ((22 . 22) (27 . 26) (30 . 28) (31 . 31)) 1944 0.5713 5.1198 ((22 . 5) (27 . 7) (29 . 8) (30 . 9)) 1957 0.5714 3.9985 ((22 . 11) (27 . 15) (29 . 16) (30 . 17)) 1961 0.5713 4.4939 ((25 . 15) (27 . 16) (29 . 18) (30 . 19)) 1967 0.5713 4.9224 ((25 . 1) (27 . 3) (29 . 4) (30 . 7)) 1972 0.5714 4.0034 ((22 . 20) (27 . 24) (29 . 25) (30 . 27)) 1992 0.5703 8.3803 ((27 . 9) (29 . 10) (30 . 12) (31 . 13)) 1995 0.5713 4.9038 ((22 . 3) (25 . 7) (27 . 8) (30 . 12)) 2003 0.5711 6.0440 ((22 . 4) (23 . 5) (27 . 9) (30 . 12)) 2006 0.5713 4.6074 ((22 . 4) (23 . 5) (27 . 7) (30 . 9)) 2045 0.5696 9.4223 ((22 . 3) (25 . 7) (27 . 8) (29 . 9)) 2048 0.0999 6.2429 ((23 . 1) (27 . 4) (29 . 5) (30 . 6)) 2054 0.1992 9.3440 ((25 . 1) (27 . 2) (29 . 7) (31 . 9)) 2063 0.5713 5.1261 ((22 . 43) (23 . 44) (25 . 47) (27 . 48)) 2065 0.5711 6.0987 ((23 . 19) (25 . 22) (27 . 23) (30 . 27)) 2067 0.5698 9.1943 ((22 . 38) (23 . 39) (27 . 44) (29 . 47)) 2072 0.5696 9.4966 ((25 . 6) (27 . 7) (29 . 8) (31 . 9)) 2081 0.5707 7.3667 ((25 . 9) (27 . 10) (29 . 11) (30 . 12)) 2083 0.5714 3.5446 ((25 . 1) (27 . 2) (29 . 3) (30 . 4)) 2097 0.2477 8.8849 ((22 . 6) (23 . 7) (30 . 16) (31 . 19)) 2114 0.5706 7.7529 ((23 . 29) (25 . 32) (27 . 34) (29 . 35)) 2116 0.5713 4.8858 ((22 . 2) (23 . 3) (25 . 5) (30 . 8)) 2117 0.7140 4.4447 ((22 . 6) (25 . 11) (27 . 12) (29 . 13) (30 . 14)) 2118 0.7139 4.7751 ((22 . 1) (25 . 4) (27 . 5) (29 . 6) (30 . 7)) 2122 0.5713 5.2150 ((22 . 1) (27 . 6) (29 . 7) (30 . 8)) 2166 0.5705 8.0407 ((23 . 12) (27 . 13) (29 . 14) (30 . 15)) 2179 0.7138 5.1696 ((22 . 5) (25 . 9) (27 . 10) (29 . 12) (30 . 13)) 2196 0.5714 3.8743 ((22 . 15) (23 . 16) (25 . 18) (27 . 19)) 2203 0.5713 4.3831 ((23 . 5) (27 . 7) (29 . 8) (30 . 10)) 2205 0.5713 4.9012 ((22 . 19) (23 . 20) (25 . 22) (27 . 23)) 2209 0.5714 4.0385 ((22 . 3) (27 . 7) (29 . 8) (30 . 9)) 2243 0.5707 7.3967 ((22 . 44) (23 . 45) (27 . 47) (29 . 48)) 2244 0.5709 6.8375 ((22 . 75) (23 . 76) (25 . 78) (27 . 79)) 2249 0.5712 5.8192 ((22 . 12) (27 . 16) (29 . 19) (30 . 20)) 2269 0.5709 6.8480 ((22 . 6) (23 . 7) (27 . 10) (29 . 11)) 2279 0.5713 4.4272 ((25 . 19) (27 . 20) (29 . 21) (30 . 22)) 2298 0.5713 4.4776 ((22 . 8) (27 . 12) (29 . 14) (30 . 15)) 2308 0.5709 6.7785 ((22 . 6) (27 . 8) (29 . 10) (30 . 11)) 2340 0.5709 6.8399 ((25 . 9) (29 . 12) (30 . 13) (31 . 15)) 2344 0.5714 3.4149 ((25 . 1) (27 . 3) (29 . 5) (30 . 6)) 2364 0.5714 4.0945 ((22 . 9) (27 . 15) (29 . 16) (30 . 18)) 2381 0.2491 4.8796 ((22 . 4) (23 . 3) (25 . 5) (27 . 6) (29 . 8)) 2389 0.7133 6.1066 ((23 . 8) (25 . 10) (27 . 11) (29 . 12) (30 . 14)) 2393 0.1664 9.4741 ((25 . 15) (29 . 17) (30 . 18) (31 . 19)) 2408 0.5711 6.1009 ((22 . 37) (23 . 38) (27 . 41) (30 . 45)) 2409 0.2477 8.9963 ((23 . 3) (25 . 5) (27 . 6) (31 . 10)) 2423 0.7101 8.7824 ((22 . 17) (25 . 20) (27 . 21) (29 . 23) (30 . 25)) 2440 0.1993 6.2110 ((22 . 4) (25 . 6) (27 . 7) (30 . 9)) 2447 0.5695 9.5834 ((22 . 18) (27 . 21) (29 . 22) (31 . 27)) 2462 0.5713 4.9417 ((25 . 6) (27 . 7) (29 . 10) (30 . 11)) 2510 0.5714 3.9791 ((27 . 17) (29 . 18) (30 . 19) (31 . 22)) 2525 0.6540 9.0207 ((22 . 41) (27 . 45) (29 . 46) (30 . 47) (31 . 49)) 2529 0.5709 7.0297 ((25 . 1) (29 . 4) (30 . 5) (31 . 7)) 2533 0.5713 4.8690 ((22 . 6) (27 . 9) (29 . 11) (30 . 13)) 2552 0.5711 6.3000 ((27 . 1) (29 . 2) (30 . 3) (31 . 4)) 2556 0.5701 8.7588 ((27 . 11) (29 . 12) (30 . 13) (31 . 15)) 2557 0.3790 6.8080 ((22 . 3) (25 . 7) (27 . 6) (29 . 8)) 2595 0.3790 5.1763 ((22 . 4) (27 . 6) (29 . 7) (30 . 9)) 2619 0.5714 3.2546 ((22 . 1) (23 . 2) (27 . 5) (30 . 7)) 2650 0.5708 7.2062 ((25 . 1) (27 . 2) (29 . 4) (30 . 5)) 2658 0.5690 10.1834 ((23 . 1) (27 . 3) (29 . 4) (31 . 5)) 2675 0.5696 9.4404 ((25 . 4) (27 . 5) (29 . 9) (30 . 10)) 2682 0.7120 7.5837 ((22 . 12) (23 . 13) (27 . 17) (29 . 18) (30 . 19)) 2696 0.5713 4.4992 ((22 . 32) (23 . 34) (25 . 36) (27 . 37)) 2731 0.5705 7.9180 ((27 . 1) (29 . 3) (30 . 4) (31 . 6)) 2733 0.5713 4.9915 ((22 . 4) (27 . 8) (29 . 9) (30 . 11)) 2755 0.5714 3.7890 ((22 . 3) (27 . 6) (29 . 7) (30 . 8)) 2773 0.5709 6.7580 ((25 . 2) (27 . 3) (29 . 4) (30 . 5)) 2783 0.1997 6.8018 ((22 . 6) (25 . 8) (27 . 7) (29 . 9) (30 . 12)) 2804 0.7136 5.5222 ((22 . 31) (23 . 32) (25 . 34) (27 . 36) (30 . 39)) 2821 0.5713 5.2157 ((22 . 4) (23 . 5) (25 . 7) (29 . 10)) 2830 0.7082 9.6905 ((22 . 11) (27 . 15) (29 . 16) (30 . 17) (31 . 18)) 2834 0.5713 4.9238 ((25 . 8) (27 . 9) (29 . 11) (30 . 12)) 2840 0.1993 6.9483 ((22 . 6) (23 . 8) (25 . 9) (27 . 11)) 2842 0.2945 8.0455 ((23 . 4) (25 . 5) (29 . 8) (30 . 9)) 2867 0.4453 8.0049 ((22 . 7) (23 . 8) (25 . 9) (30 . 12)) 2879 0.7141 4.0129 ((22 . 51) (25 . 52) (27 . 53) (29 . 55) (30 . 58)) 2886 0.5707 7.4320 ((23 . 34) (25 . 37) (27 . 38) (30 . 41)) 2940 0.2945 8.1276 ((22 . 4) (23 . 5) (29 . 9) (31 . 10)) 2947 0.5712 5.5088 ((25 . 3) (27 . 4) (29 . 5) (30 . 6)) 2966 0.5708 7.0956 ((22 . 4) (25 . 9) (27 . 10) (30 . 13)) 2990 0.3790 6.2863 ((25 . 9) (27 . 12) (29 . 13) (30 . 14)) 2999 0.2946 4.2446 ((22 . 2) (25 . 4) (27 . 6) (29 . 5)) 3014 0.5656 12.6822 ((25 . 4) (27 . 5) (29 . 8) (31 . 9)) 3019 0.5713 5.0356 ((25 . 19) (27 . 20) (29 . 21) (30 . 22)) 3034 0.2945 10.2344 ((22 . 5) (29 . 8) (30 . 9) (31 . 11)) 3041 0.5713 4.8324 ((25 . 12) (27 . 14) (29 . 15) (30 . 16)) 3055 0.5714 4.2231 ((22 . 4) (25 . 7) (27 . 8) (30 . 12)) 3063 0.5705 7.9946 ((22 . 38) (23 . 39) (27 . 41) (30 . 45)) 3070 0.5712 5.7490 ((22 . 32) (23 . 33) (25 . 35) (27 . 36)) 3084 0.5706 7.6724 ((22 . 13) (27 . 17) (29 . 18) (31 . 20)) 3102 0.5708 7.2066 ((22 . 57) (23 . 58) (27 . 62) (30 . 65)) 3120 0.5714 3.5254 ((25 . 21) (27 . 22) (29 . 24) (30 . 25)) 3127 0.5710 6.5298 ((25 . 4) (27 . 6) (29 . 7) (30 . 8)) 3147 0.7128 6.7505 ((22 . 18) (23 . 19) (25 . 21) (27 . 22) (30 . 26)) 3176 0.1332 10.5555 ((22 . 27) (23 . 29) (29 . 32) (31 . 33)) 3187 0.5712 5.5259 ((22 . 2) (25 . 3) (27 . 4) (30 . 6)) 3190 0.5713 4.4516 ((22 . 1) (27 . 6) (29 . 7) (30 . 9)) 3197 0.5708 7.2103 ((22 . 21) (27 . 24) (29 . 25) (30 . 28)) 3200 0.5713 4.5816 ((25 . 3) (27 . 4) (29 . 5) (30 . 6)) 3212 0.5713 4.8090 ((23 . 2) (25 . 5) (30 . 9) (31 . 10)) 3222 0.5940 6.3190 ((23 . 14) (25 . 15) (27 . 16) (29 . 17) (30 . 19)) 3256 0.7138 5.0700 ((22 . 13) (23 . 16) (25 . 20) (27 . 24) (29 . 27)) 3261 0.5713 5.0035 ((23 . 6) (25 . 8) (27 . 9) (29 . 11)) 3286 0.8067 6.4807 ((22 . 3) (23 . 4) (27 . 7) (29 . 8) (30 . 9) (31 . 10)) 3289 0.5713 4.7727 ((22 . 25) (23 . 27) (25 . 29) (27 . 30)) 3297 0.5713 5.0222 ((22 . 8) (25 . 9) (27 . 11) (30 . 13)) 3322 0.5706 7.6625 ((22 . 1) (27 . 5) (29 . 6) (30 . 7)) 3334 0.5713 4.9049 ((25 . 4) (27 . 5) (29 . 9) (30 . 10)) 3339 0.5942 5.6700 ((23 . 19) (25 . 21) (27 . 22) (29 . 23) (31 . 24)) 3358 0.5699 9.0691 ((22 . 4) (27 . 8) (29 . 9) (30 . 12)) 3362 0.5713 4.5837 ((27 . 6) (29 . 7) (30 . 8) (31 . 9)) 3366 0.5707 7.3783 ((22 . 24) (25 . 26) (27 . 27) (30 . 29)) 3391 0.5713 5.0457 ((22 . 6) (27 . 10) (29 . 12) (30 . 13)) 3410 0.3476 4.7937 ((22 . 28) (23 . 30) (25 . 19) (27 . 21) (30 . 24) (31 . 27)) 3472 0.7133 6.1694 ((22 . 4) (23 . 5) (25 . 8) (27 . 9) (30 . 12)) 3481 0.1992 9.3430 ((22 . 2) (25 . 7) (27 . 8) (31 . 11)) 3495 0.2477 8.8336 ((22 . 7) (23 . 8) (29 . 11) (31 . 14)) 3496 0.2477 11.4946 ((23 . 22) (25 . 23) (29 . 25) (31 . 26)) 3533 0.5704 8.2078 ((25 . 1) (27 . 3) (29 . 6) (30 . 7)) 3537 0.5646 13.2077 ((25 . 9) (27 . 10) (29 . 11) (31 . 12)) 3538 0.5665 12.1080 ((25 . 25) (27 . 26) (29 . 27) (31 . 28)) 3548 0.7124 7.1852 ((22 . 3) (23 . 4) (25 . 6) (27 . 8) (30 . 10)) 3549 0.4453 7.3337 ((22 . 1) (25 . 3) (27 . 5) (29 . 7)) 3561 0.1571 4.9857 ((22 . 28) (23 . 31) (25 . 26) (27 . 20) (29 . 21) (30 . 22) (31 . 25)) 3570 0.5708 7.2479 ((27 . 1) (29 . 2) (30 . 3) (31 . 6)) 3585 0.7117 7.7949 ((22 . 8) (23 . 11) (25 . 13) (27 . 14) (30 . 16)) 3613 0.5701 8.7542 ((22 . 36) (25 . 40) (27 . 41) (31 . 43)) 3628 0.5713 4.6977 ((22 . 8) (23 . 9) (27 . 12) (30 . 14)) 3651 0.5708 7.2658 ((27 . 3) (29 . 4) (30 . 5) (31 . 6)) 3656 0.1993 8.1821 ((22 . 22) (23 . 23) (25 . 24) (29 . 25)) 3658 0.5683 10.7759 ((22 . 3) (23 . 4) (25 . 6) (27 . 7)) 3659 0.5711 6.2690 ((22 . 9) (23 . 10) (25 . 12) (27 . 13)) 3661 0.5705 8.0238 ((25 . 23) (27 . 24) (29 . 25) (30 . 26)) 3663 0.2477 9.3865 ((27 . 1) (29 . 3) (30 . 2) (31 . 4)) 3688 0.2477 11.7257 ((22 . 5) (23 . 7) (25 . 8) (27 . 11)) 3697 0.7113 8.1030 ((23 . 1) (25 . 6) (27 . 7) (29 . 8) (30 . 10)) 3703 0.5713 4.7687 ((23 . 6) (25 . 8) (27 . 9) (29 . 10)) 3732 0.3790 7.3148 ((27 . 2) (29 . 4) (30 . 5) (31 . 6)) 3733 0.5713 4.9781 ((22 . 1) (27 . 6) (29 . 7) (30 . 8)) 3740 0.5713 4.5646 ((22 . 4) (25 . 5) (27 . 6) (30 . 9)) 3741 0.5703 8.4412 ((23 . 25) (25 . 27) (27 . 28) (29 . 33)) 3776 0.1498 5.1795 ((27 . 15) (29 . 16) (30 . 17) (31 . 18)) 3778 0.4451 8.7546 ((23 . 3) (25 . 4) (30 . 7) (31 . 8)) 3787 0.5714 3.5513 ((27 . 17) (29 . 18) (30 . 19) (31 . 20)) 3790 0.5713 5.0478 ((22 . 4) (23 . 5) (27 . 9) (30 . 13)) 3807 0.8570 3.2280 ((22 . 43) (25 . 46) (27 . 47) (29 . 49) (30 . 50) (31 . 51)) 3810 0.5713 4.3162 ((22 . 4) (23 . 6) (25 . 8) (27 . 9)) 3817 0.5714 3.9713 ((22 . 1) (27 . 5) (29 . 6) (30 . 7)) 3818 0.2478 7.0338 ((22 . 20) (27 . 23) (29 . 24) (31 . 27)) 3831 0.5711 5.9415 ((25 . 2) (27 . 3) (29 . 4) (30 . 5)) 3847 0.4455 5.8712 ((25 . 9) (29 . 11) (30 . 13) (31 . 15)) 3849 0.5712 5.4588 ((23 . 1) (25 . 2) (27 . 3) (31 . 7)) 3853 0.2945 5.9427 ((22 . 3) (25 . 6) (29 . 7) (30 . 8)) 3856 0.5713 5.0657 ((23 . 3) (25 . 6) (27 . 7) (30 . 10)) 3870 0.5713 5.0363 ((22 . 5) (27 . 8) (29 . 9) (30 . 10)) 3933 0.5710 6.4323 ((22 . 8) (23 . 9) (27 . 13) (30 . 17)) 3938 0.5712 5.2732 ((25 . 2) (27 . 4) (29 . 5) (30 . 9)) 3942 0.1664 7.0069 ((22 . 2) (23 . 3) (29 . 8) (30 . 9)) 3968 0.5713 5.0379 ((27 . 3) (29 . 4) (30 . 5) (31 . 8)) 3986 0.5685 10.6472 ((22 . 1) (23 . 2) (27 . 4) (30 . 8)) 3990 0.2478 6.9350 ((22 . 16) (27 . 20) (29 . 21) (30 . 22)) 4005 0.5714 3.5524 ((22 . 24) (23 . 25) (25 . 32) (27 . 33)) 4009 0.5709 7.0182 ((22 . 1) (27 . 7) (29 . 8) (30 . 11)) 4019 0.5702 8.4800 ((22 . 43) (23 . 44) (27 . 46) (30 . 50)) 4037 0.5703 8.3028 ((25 . 2) (27 . 3) (29 . 4) (31 . 6)) 4067 0.5714 4.2635 ((22 . 14) (27 . 20) (29 . 21) (30 . 22)) 4087 0.5711 6.2991 ((22 . 1) (25 . 3) (27 . 5) (30 . 7)) 4112 0.5713 4.4400 ((25 . 1) (27 . 2) (30 . 6) (31 . 7)) 4115 0.5710 6.5140 ((27 . 15) (29 . 16) (30 . 17) (31 . 20)) 4140 0.1993 6.8877 ((23 . 21) (25 . 22) (27 . 23) (29 . 25)) 4151 0.5712 5.2942 ((22 . 7) (25 . 9) (29 . 11) (30 . 12)) 4154 0.5714 3.6806 ((22 . 53) (23 . 54) (25 . 56) (27 . 57)) 4177 0.1993 6.9628 ((22 . 1) (23 . 2) (29 . 6) (30 . 8)) 4190 0.5713 4.4473 ((22 . 1) (25 . 3) (29 . 7) (30 . 8)) 4192 0.5706 7.8210 ((22 . 15) (25 . 19) (29 . 21) (30 . 22)) 4194 0.2946 5.5685 ((25 . 1) (27 . 3) (29 . 4) (30 . 5)) 4204 0.5713 4.2987 ((22 . 3) (27 . 9) (29 . 10) (30 . 11)) 4209 0.5711 5.9941 ((22 . 2) (23 . 4) (25 . 5) (27 . 7)) 4210 0.7141 4.2161 ((22 . 4) (25 . 5) (27 . 6) (29 . 7) (30 . 8)) 4226 0.5713 4.6141 ((22 . 1) (27 . 4) (29 . 5) (30 . 9)) 4232 0.4450 9.4565 ((22 . 4) (23 . 5) (25 . 6) (30 . 8)) 4236 0.4916 6.1580 ((22 . 5) (23 . 6) (25 . 8) (31 . 13)) 4246 0.5705 7.9687 ((22 . 2) (23 . 3) (25 . 6) (27 . 5)) 4254 0.5714 4.0927 ((25 . 9) (27 . 11) (29 . 12) (30 . 13)) 4255 0.5712 5.4321 ((25 . 23) (27 . 24) (29 . 25) (30 . 26)) 4265 0.5713 4.6563 ((23 . 20) (27 . 23) (29 . 25) (30 . 26)) 4266 0.5712 5.4853 ((22 . 2) (25 . 4) (29 . 5) (30 . 6)) 4274 0.1993 6.0176 ((25 . 36) (27 . 38) (29 . 39) (30 . 40)) 4275 0.5707 7.4260 ((27 . 23) (29 . 24) (30 . 25) (31 . 26)) 4281 0.7141 4.0847 ((22 . 3) (23 . 4) (27 . 8) (29 . 9) (30 . 10)) 4284 0.2945 8.8866 ((22 . 1) (25 . 4) (27 . 5) (29 . 7)) 4299 0.5712 5.5202 ((23 . 14) (25 . 16) (27 . 19) (30 . 22)) 4301 0.5712 5.7422 ((22 . 4) (23 . 6) (25 . 9) (27 . 10)) 4326 0.5713 5.0838 ((22 . 10) (27 . 15) (29 . 16) (30 . 17)) 4332 0.7141 3.9084 ((25 . 2) (27 . 4) (29 . 5) (30 . 6) (31 . 8)) 4338 0.4449 10.0263 ((22 . 1) (23 . 2) (25 . 4) (30 . 7)) 4359 0.7142 3.4967 ((22 . 3) (23 . 4) (25 . 6) (27 . 7) (30 . 11)) 4380 0.5653 12.8459 ((22 . 10) (25 . 14) (27 . 15) (30 . 18)) 4383 0.5712 5.7829 ((22 . 18) (23 . 19) (25 . 21) (27 . 22)) 4388 0.5708 7.3033 ((22 . 3) (25 . 5) (27 . 6) (30 . 9)) 4398 0.7120 7.5277 ((22 . 4) (25 . 7) (27 . 8) (29 . 9) (30 . 10)) 4405 0.1992 9.7219 ((22 . 19) (25 . 21) (27 . 22) (30 . 25)) 4408 0.5713 5.2492 ((25 . 3) (27 . 4) (29 . 5) (30 . 6)) 4415 0.5714 3.5471 ((25 . 1) (27 . 9) (29 . 10) (30 . 11)) 4419 0.5694 9.7240 ((22 . 3) (25 . 6) (27 . 8) (30 . 10)) 4426 0.5701 8.7371 ((23 . 2) (27 . 4) (29 . 5) (30 . 6)) 4470 0.5710 6.6245 ((22 . 19) (23 . 20) (29 . 23) (30 . 25)) 4492 0.5714 3.9280 ((22 . 13) (27 . 18) (29 . 19) (30 . 21)) 4495 0.5710 6.6762 ((22 . 16) (27 . 18) (29 . 20) (30 . 21)) 4497 0.5713 4.5818 ((22 . 25) (23 . 26) (25 . 28) (27 . 30)) 4502 0.7129 6.6413 ((22 . 6) (25 . 10) (27 . 11) (29 . 13) (30 . 14)) 4503 0.5711 5.9737 ((22 . 3) (23 . 4) (25 . 6) (27 . 7)) 4504 0.5713 5.1456 ((22 . 6) (23 . 8) (29 . 12) (30 . 13)) 4505 0.5713 5.0742 ((25 . 25) (27 . 26) (29 . 27) (30 . 28)) 4538 0.5713 5.0210 ((22 . 33) (23 . 34) (25 . 37) (27 . 38)) 4560 0.5713 4.5856 ((22 . 6) (27 . 11) (29 . 12) (30 . 13)) 4561 0.5713 4.9209 ((22 . 5) (27 . 9) (29 . 11) (30 . 12)) 4562 0.5712 5.8770 ((22 . 22) (27 . 25) (29 . 28) (31 . 30)) 4563 0.5710 6.6185 ((22 . 28) (27 . 31) (29 . 33) (30 . 34)) 4577 0.7078 9.8362 ((22 . 49) (23 . 50) (25 . 52) (27 . 54) (31 . 56)) 4588 0.5714 3.8220 ((22 . 3) (27 . 11) (29 . 12) (30 . 13)) 4589 0.5700 8.8700 ((22 . 19) (25 . 22) (27 . 23) (29 . 24)) 4607 0.2478 7.3016 ((25 . 4) (27 . 3) (29 . 5) (31 . 9)) 4621 0.5710 6.4275 ((22 . 3) (23 . 4) (27 . 8) (30 . 11)) 4630 0.5713 4.6611 ((22 . 26) (25 . 29) (27 . 33) (30 . 36)) 4648 0.6303 7.6554 ((25 . 1) (27 . 2) (29 . 3) (30 . 5) (31 . 7)) 4653 0.5712 5.4437 ((22 . 5) (23 . 6) (25 . 8) (27 . 9)) 4665 0.4451 8.9678 ((23 . 11) (25 . 13) (27 . 14) (29 . 16)) 4668 0.5713 4.3964 ((22 . 1) (27 . 7) (29 . 8) (30 . 9)) 4669 0.5713 5.0213 ((22 . 15) (27 . 19) (29 . 20) (30 . 21)) 4671 0.5714 3.9924 ((25 . 1) (27 . 2) (29 . 3) (30 . 4)) 4674 0.2477 7.9266 ((23 . 1) (25 . 2) (29 . 4) (31 . 5)) 4678 0.5712 5.7799 ((22 . 12) (23 . 14) (25 . 15) (27 . 16)) 4713 0.5708 7.0760 ((22 . 3) (27 . 7) (30 . 9) (31 . 11)) 4731 0.1992 9.0889 ((27 . 14) (29 . 15) (30 . 18) (31 . 17)) 4857 0.5714 3.9957 ((25 . 2) (27 . 3) (29 . 4) (30 . 5)) 4886 0.5710 6.5488 ((22 . 30) (23 . 31) (27 . 32) (29 . 33)) 4888 0.5709 6.7744 ((22 . 12) (23 . 13) (27 . 16) (29 . 18)) 4907 0.2478 6.0931 ((22 . 3) (23 . 4) (25 . 5) (30 . 9)) 4914 0.7122 7.3899 ((22 . 6) (23 . 7) (25 . 9) (27 . 10) (30 . 12)) 4921 0.1993 8.0253 ((22 . 7) (23 . 8) (25 . 9) (31 . 13)) 4929 0.5710 6.4253 ((22 . 28) (25 . 29) (27 . 31) (30 . 33)) 4932 0.9548 4.4355 ((22 . 1) (23 . 2) (25 . 5) (27 . 6) (29 . 7) (30 . 8) (31 . 9)) 4940 0.2946 5.3421 ((25 . 2) (27 . 3) (29 . 5) (30 . 6)) 4944 0.5708 7.1466 ((22 . 13) (23 . 14) (25 . 16) (27 . 15)) 4961 0.5711 5.9726 ((22 . 3) (27 . 6) (29 . 8) (31 . 11)) 4978 0.5703 8.3561 ((27 . 28) (29 . 29) (30 . 30) (31 . 31)) 4982 0.5713 5.0165 ((25 . 9) (27 . 10) (29 . 11) (30 . 12)) 4992 0.5712 5.6573 ((25 . 2) (27 . 3) (29 . 4) (30 . 6)) 4998 0.5709 6.9072 ((23 . 20) (27 . 23) (29 . 24) (30 . 25)) 5029 0.5704 8.1983 ((22 . 2) (27 . 6) (29 . 7) (30 . 10)) 5036 0.5711 5.9110 ((22 . 1) (23 . 2) (25 . 4) (27 . 5)) 5038 0.5711 6.2874 ((22 . 10) (25 . 14) (27 . 15) (30 . 18)) 5039 0.5708 7.1669 ((22 . 37) (27 . 41) (29 . 43) (30 . 44)) 5044 0.5711 5.9903 ((22 . 1) (23 . 2) (25 . 3) (30 . 8)) 5053 0.5708 7.3278 ((22 . 5) (23 . 6) (29 . 8) (30 . 9)) 5065 0.7112 8.1377 ((22 . 7) (23 . 8) (25 . 10) (27 . 11) (29 . 12)) 5068 0.5627 14.0409 ((22 . 15) (23 . 16) (27 . 20) (30 . 24)) 5069 0.5710 6.4288 ((22 . 9) (27 . 15) (29 . 16) (30 . 17)) 5073 0.5713 4.5998 ((22 . 32) (27 . 36) (29 . 38) (30 . 39)) 5083 0.5703 8.4461 ((23 . 1) (25 . 2) (27 . 5) (30 . 9)) 5101 0.5714 3.9401 ((22 . 3) (27 . 7) (29 . 8) (30 . 10)) 5103 0.5714 3.0531 ((22 . 13) (27 . 17) (29 . 18) (30 . 19)) 5121 0.5710 6.6402 ((22 . 25) (23 . 26) (25 . 28) (27 . 29)) 5132 0.2477 10.8569 ((22 . 16) (25 . 18) (29 . 21) (31 . 23)) 5134 0.5713 4.4566 ((25 . 2) (27 . 3) (29 . 5) (30 . 6)) 5145 0.2946 4.5607 ((27 . 5) (29 . 7) (30 . 8) (31 . 9)) 5167 0.5714 3.5796 ((22 . 3) (23 . 4) (29 . 7) (30 . 9)) 5183 0.5710 6.3556 ((22 . 34) (23 . 35) (25 . 37) (27 . 38)) 5192 0.5680 11.0447 ((22 . 17) (27 . 21) (29 . 23) (31 . 25)) 5198 0.4453 7.6281 ((22 . 26) (23 . 30) (25 . 31) (27 . 32)) 5199 0.2945 9.0551 ((22 . 4) (25 . 7) (27 . 8) (30 . 9)) 5209 0.5708 7.1366 ((25 . 3) (27 . 4) (29 . 6) (30 . 7)) 5215 0.5712 5.4224 ((22 . 9) (25 . 12) (29 . 14) (30 . 15)) 5223 0.5712 5.3528 ((22 . 6) (27 . 10) (29 . 11) (30 . 12)) 5231 0.5714 3.8489 ((22 . 8) (23 . 12) (25 . 14) (27 . 16)) 5266 0.5707 7.3803 ((22 . 8) (25 . 10) (27 . 13) (30 . 15)) 5278 0.5705 7.8685 ((22 . 6) (23 . 7) (25 . 9) (27 . 10)) 5307 0.5710 6.5020 ((27 . 51) (29 . 52) (30 . 55) (31 . 56)) 5312 0.2945 7.0222 ((22 . 3) (23 . 4) (25 . 5) (29 . 6)) 5318 0.5712 5.6966 ((27 . 8) (29 . 9) (30 . 11) (31 . 12)) 5324 0.5714 3.6843 ((22 . 7) (27 . 12) (29 . 13) (30 . 14)) 5344 0.5710 6.6048 ((22 . 4) (25 . 7) (27 . 8) (30 . 10)) 5345 0.7139 4.7290 ((22 . 3) (23 . 4) (25 . 7) (27 . 8) (30 . 13)) 5368 0.5714 4.2504 ((22 . 17) (23 . 18) (25 . 20) (27 . 21)) 5378 0.5711 6.1214 ((23 . 3) (27 . 4) (29 . 5) (30 . 7)) 5411 0.5704 8.0757 ((25 . 3) (27 . 6) (29 . 5) (30 . 8)) 5414 0.5713 5.2612 ((22 . 16) (23 . 18) (25 . 20) (27 . 21)) 5418 0.5711 5.8868 ((22 . 2) (23 . 3) (27 . 7) (30 . 9)) 5433 0.5711 5.9521 ((22 . 10) (25 . 14) (27 . 16) (30 . 20)) 5479 0.6306 7.1791 ((22 . 55) (23 . 56) (25 . 58) (27 . 60) (30 . 62)) 5487 0.5687 10.4704 ((22 . 2) (27 . 7) (29 . 8) (30 . 9)) 5489 0.7138 5.1031 ((22 . 10) (23 . 11) (25 . 13) (27 . 14) (29 . 15)) 5500 0.3788 9.2175 ((25 . 1) (27 . 2) (30 . 7) (31 . 10)) 5501 0.5680 11.0813 ((22 . 16) (23 . 17) (29 . 22) (30 . 24)) 5535 0.5710 6.5223 ((23 . 4) (25 . 7) (27 . 8) (30 . 11)) 5540 0.7138 5.1819 ((22 . 10) (23 . 14) (27 . 16) (29 . 17) (30 . 18)) 5557 0.7140 4.3062 ((23 . 1) (25 . 3) (27 . 4) (29 . 5) (30 . 6)) 5560 0.5713 5.2000 ((25 . 11) (27 . 13) (29 . 14) (30 . 15)) 5562 0.5714 2.9298 ((25 . 6) (27 . 7) (29 . 9) (30 . 11)) 5567 0.5701 8.7229 ((27 . 11) (29 . 14) (30 . 15) (31 . 16)) 5594 0.5709 6.9229 ((23 . 3) (27 . 6) (29 . 7) (30 . 9)) 5600 0.7138 5.0439 ((25 . 5) (27 . 6) (29 . 7) (30 . 9) (31 . 10)) 5601 0.5686 10.5785 ((22 . 3) (27 . 7) (29 . 9) (30 . 10)) 5638 0.5713 4.9402 ((25 . 8) (27 . 9) (29 . 12) (30 . 13)) 5640 0.7141 3.9020 ((22 . 6) (23 . 7) (25 . 9) (27 . 10) (30 . 14)) 5644 0.5714 3.8986 ((22 . 3) (25 . 4) (27 . 8) (30 . 14)) 5656 0.5706 7.7872 ((25 . 3) (27 . 5) (29 . 6) (30 . 8)) 5700 0.1498 5.9242 ((22 . 4) (23 . 6) (25 . 8) (27 . 9)) 5701 0.5711 5.9833 ((22 . 6) (27 . 8) (29 . 10) (30 . 11)) 5703 0.1993 6.4074 ((22 . 1) (23 . 2) (27 . 6) (30 . 7)) 5711 0.5706 7.8334 ((22 . 27) (23 . 28) (27 . 29) (30 . 31)) 5713 0.7141 3.8893 ((22 . 3) (23 . 4) (25 . 6) (27 . 7) (30 . 11)) 5718 0.5713 4.9198 ((22 . 16) (23 . 17) (25 . 21) (30 . 25)) 5731 0.5713 4.6396 ((22 . 7) (23 . 9) (25 . 11) (27 . 13)) 5746 0.5712 5.6337 ((25 . 2) (27 . 3) (29 . 4) (30 . 6)) 5761 0.5714 3.3305 ((25 . 31) (27 . 32) (29 . 34) (30 . 36)) 5770 0.5712 5.8722 ((27 . 6) (29 . 7) (30 . 9) (31 . 10)) 5771 0.5695 9.5967 ((22 . 13) (23 . 14) (25 . 15) (29 . 19)) 5782 0.7141 3.7549 ((22 . 15) (25 . 21) (27 . 22) (29 . 23) (30 . 24)) 5794 0.5714 3.8611 ((25 . 18) (27 . 19) (29 . 22) (30 . 23)) 5795 0.5712 5.7211 ((22 . 6) (23 . 9) (29 . 12) (30 . 13)) 5809 0.5713 4.6954 ((22 . 5) (27 . 7) (29 . 8) (30 . 9)) 5822 0.5705 7.9192 ((25 . 1) (27 . 2) (29 . 5) (30 . 6)) 5827 0.7142 3.0527 ((23 . 2) (25 . 4) (27 . 5) (29 . 6) (30 . 8)) 5830 0.5713 4.5117 ((22 . 2) (27 . 7) (30 . 10) (31 . 11)) 5847 0.5710 6.4393 ((22 . 4) (23 . 5) (25 . 8) (27 . 9)) 5861 0.5714 3.4600 ((22 . 6) (23 . 7) (25 . 10) (27 . 11)) 5865 0.9558 2.3691 ((22 . 1) (23 . 2) (25 . 4) (27 . 5) (29 . 6) (30 . 7) (31 . 8)) 5878 0.4454 7.1207 ((22 . 25) (25 . 29) (27 . 30) (29 . 31)) 5888 0.7141 3.7747 ((22 . 5) (23 . 6) (25 . 8) (27 . 9) (30 . 13)) 5896 0.5713 4.8667 ((25 . 28) (27 . 29) (29 . 30) (31 . 32)) 5904 0.5708 7.1611 ((22 . 4) (27 . 7) (29 . 8) (30 . 9)) 5913 0.5711 6.0281 ((22 . 5) (23 . 6) (29 . 11) (30 . 13)) 5914 0.5714 3.9658 ((22 . 2) (23 . 3) (25 . 5) (27 . 6)) 5922 0.5708 7.2215 ((22 . 6) (25 . 8) (27 . 9) (30 . 11)) 5939 0.4446 10.8700 ((23 . 6) (27 . 9) (29 . 12) (31 . 13)) 5945 0.5685 10.6708 ((25 . 32) (27 . 33) (29 . 34) (31 . 35)) 5949 0.2946 5.5002 ((27 . 9) (29 . 11) (30 . 12) (31 . 13)) 5955 0.5714 4.1849 ((22 . 3) (27 . 7) (29 . 8) (30 . 9)) 5967 0.5714 3.9577 ((27 . 1) (29 . 2) (30 . 3) (31 . 6)) 5977 0.1498 6.9237 ((25 . 1) (27 . 3) (29 . 4) (30 . 5)) 6000 0.5707 7.3624 ((23 . 14) (27 . 17) (30 . 21) (31 . 22)) 6011 0.5700 8.9349 ((23 . 13) (25 . 15) (27 . 16) (29 . 17)) 6022 0.5711 5.9334 ((23 . 1) (25 . 2) (27 . 4) (30 . 7)) 6028 0.5712 5.5736 ((23 . 1) (25 . 2) (27 . 3) (31 . 8)) 6029 0.5703 8.3865 ((25 . 18) (27 . 19) (29 . 20) (30 . 23)) 6041 0.5713 5.0424 ((25 . 10) (27 . 11) (29 . 14) (30 . 15)) 6046 0.5714 3.3439 ((23 . 2) (25 . 5) (27 . 6) (29 . 7)) 6061 0.7140 4.4146 ((22 . 13) (23 . 14) (27 . 17) (29 . 18) (30 . 20)) 6074 0.5713 4.6039 ((22 . 2) (27 . 6) (29 . 7) (30 . 8)) 6075 0.3790 4.2503 ((22 . 20) (27 . 24) (30 . 27) (31 . 29)) 6079 0.5712 5.8355 ((22 . 1) (27 . 6) (30 . 8) (31 . 10)) 6087 0.5421 6.0139 ((22 . 3) (27 . 8) (29 . 9) (30 . 10) (31 . 11)) 6089 0.3783 12.3882 ((22 . 16) (23 . 18) (29 . 22) (30 . 23)) 6094 0.5712 5.7464 ((25 . 2) (27 . 3) (30 . 7) (31 . 8)) 6099 0.5712 5.2662 ((22 . 22) (23 . 23) (25 . 25) (27 . 26)) 6123 0.5704 8.2259 ((23 . 2) (25 . 4) (27 . 5) (29 . 7)) 6142 0.7137 5.2483 ((22 . 12) (23 . 13) (25 . 15) (27 . 16) (30 . 24)) 6148 0.5713 4.9438 ((22 . 33) (23 . 34) (25 . 36) (27 . 37)) 6167 0.5713 5.0502 ((23 . 1) (25 . 4) (27 . 6) (30 . 9)) 6173 0.5707 7.5535 ((22 . 3) (23 . 4) (27 . 7) (30 . 11)) 6191 0.5710 6.4463 ((22 . 3) (23 . 4) (27 . 6) (30 . 10)) 6192 0.1143 8.0019 ((22 . 5) (23 . 1) (25 . 10) (27 . 11) (29 . 4) (31 . 16)) 6215 0.5713 4.6469 ((25 . 19) (27 . 20) (29 . 22) (30 . 24)) 6225 0.5691 10.0055 ((22 . 4) (23 . 5) (29 . 9) (31 . 11)) 6228 0.5707 7.3829 ((22 . 1) (27 . 5) (29 . 6) (30 . 7)) 6234 0.1993 7.5309 ((22 . 6) (23 . 7) (25 . 9) (31 . 14)) 6238 0.5711 6.3030 ((25 . 3) (27 . 4) (29 . 6) (30 . 9)) 6243 0.5713 4.8119 ((23 . 2) (27 . 6) (30 . 8) (31 . 9)) 6251 0.5704 8.0722 ((22 . 15) (25 . 17) (27 . 19) (29 . 20)) 6258 0.5686 10.5806 ((22 . 3) (29 . 8) (30 . 10) (31 . 11)) 6261 0.5714 3.7922 ((22 . 3) (27 . 9) (29 . 10) (30 . 11)) 6266 0.5714 3.9419 ((22 . 3) (27 . 6) (29 . 7) (30 . 8)) 6270 0.5714 2.6502 ((25 . 17) (27 . 18) (29 . 19) (30 . 20)) 6271 0.5706 7.6871 ((22 . 10) (23 . 11) (25 . 12) (29 . 14)) 6294 0.7101 8.8145 ((22 . 2) (27 . 6) (29 . 7) (30 . 9) (31 . 12)) 6306 0.5707 7.4932 ((25 . 15) (27 . 16) (29 . 18) (30 . 19)) 6309 0.2945 7.9880 ((23 . 20) (27 . 25) (29 . 26) (30 . 27)) 6311 0.5713 5.2079 ((22 . 10) (23 . 11) (25 . 13) (27 . 14)) 6326 0.5713 4.6840 ((22 . 6) (23 . 7) (25 . 9) (27 . 10)) 6338 0.5697 9.3319 ((23 . 1) (25 . 4) (27 . 5) (30 . 8)) 6344 0.5706 7.6979 ((22 . 7) (23 . 8) (29 . 11) (30 . 12)) 6345 0.2945 6.2665 ((22 . 4) (25 . 6) (27 . 7) (29 . 8)) 6348 0.5713 4.8654 ((22 . 4) (27 . 9) (29 . 10) (30 . 11)) 6355 0.5712 5.7064 ((22 . 4) (23 . 6) (27 . 8) (30 . 12)) 6356 0.5702 8.4847 ((22 . 1) (27 . 6) (29 . 8) (30 . 9)) 6369 0.5712 5.4285 ((22 . 20) (27 . 24) (29 . 25) (30 . 26)) 6376 0.5714 3.6690 ((27 . 17) (29 . 18) (30 . 19) (31 . 23)) 6392 0.5713 4.7289 ((22 . 3) (27 . 7) (29 . 8) (30 . 9)) 6399 0.5714 3.6788 ((22 . 26) (23 . 27) (25 . 29) (27 . 30)) 6403 0.8562 4.8544 ((22 . 1) (23 . 2) (25 . 4) (27 . 5) (29 . 6) (30 . 7)) 6434 0.2478 7.0457 ((22 . 4) (23 . 5) (29 . 7) (31 . 9)) 6462 0.7120 7.5649 ((22 . 16) (27 . 20) (29 . 21) (30 . 22) (31 . 25)) 6498 0.5671 11.7179 ((22 . 40) (25 . 45) (29 . 46) (31 . 47)) 6520 0.5707 7.5954 ((22 . 8) (23 . 9) (29 . 12) (30 . 14)) 6539 0.5713 5.0366 ((25 . 4) (27 . 5) (29 . 7) (30 . 8)) 6540 0.5709 6.8985 ((22 . 17) (23 . 19) (25 . 20) (27 . 21)) 6548 0.5712 5.7106 ((27 . 5) (29 . 6) (30 . 7) (31 . 8)) 6553 0.5711 6.2916 ((22 . 13) (27 . 17) (29 . 19) (30 . 20)) 6555 0.2469 22.4045 ((22 . 2) (23 . 3) (29 . 9) (31 . 12)) 6561 0.5714 3.8362 ((22 . 9) (23 . 10) (27 . 12) (30 . 13)) 6575 0.1993 7.2403 ((22 . 1) (23 . 2) (27 . 5) (31 . 7)) 6578 0.5698 9.1230 ((22 . 34) (23 . 37) (25 . 38) (29 . 40)) 6584 0.7109 8.3433 ((22 . 5) (23 . 6) (25 . 8) (27 . 9) (29 . 10)) 6585 0.5713 5.1698 ((25 . 6) (27 . 8) (29 . 9) (30 . 10)) 6587 0.5712 5.7295 ((27 . 29) (29 . 32) (30 . 33) (31 . 35)) 6598 0.7139 4.8420 ((22 . 16) (23 . 17) (25 . 20) (27 . 21) (30 . 25)) 6613 0.5714 4.1780 ((25 . 21) (27 . 22) (29 . 23) (30 . 24)) 6635 0.5711 6.3184 ((25 . 4) (27 . 5) (29 . 6) (31 . 9)) END