2248 25 0.4979 11.5949 ((16 . 7) (17 . 9) (23 . 13) (26 . 14)) 41 0.4999 5.1794 ((16 . 3) (20 . 6) (22 . 7) (23 . 8)) 51 0.3668 10.6198 ((20 . 3) (22 . 6) (26 . 9) (28 . 11)) 62 0.4999 5.3964 ((20 . 9) (22 . 10) (26 . 15) (27 . 16)) 77 0.6235 8.0589 ((17 . 3) (22 . 7) (26 . 12) (27 . 13) (28 . 15)) 91 0.4996 7.7430 ((16 . 21) (20 . 26) (22 . 28) (23 . 30)) 96 0.1497 6.4255 ((22 . 1) (23 . 2) (26 . 4) (27 . 6)) 136 0.2462 8.4643 ((20 . 2) (22 . 5) (23 . 6) (26 . 9)) 150 0.4998 6.5803 ((22 . 20) (23 . 21) (26 . 24) (27 . 25)) 153 0.4997 7.0769 ((16 . 1) (22 . 6) (27 . 10) (28 . 12)) 157 0.4999 5.7692 ((22 . 1) (23 . 2) (26 . 6) (27 . 8)) 162 0.0999 5.7471 ((22 . 12) (26 . 16) (27 . 17) (28 . 18)) 177 0.4991 9.3039 ((22 . 4) (26 . 9) (27 . 8) (28 . 10)) 191 0.3669 9.8035 ((20 . 3) (22 . 2) (27 . 6) (28 . 7)) 198 0.4997 7.3239 ((16 . 2) (22 . 9) (27 . 16) (28 . 17)) 207 0.4996 7.4998 ((20 . 6) (22 . 8) (23 . 11) (26 . 14)) 300 0.4992 9.0528 ((22 . 10) (26 . 12) (27 . 16) (28 . 17)) 305 0.4987 10.1353 ((16 . 15) (20 . 20) (22 . 21) (26 . 25)) 307 0.4999 4.5637 ((16 . 1) (20 . 6) (22 . 7) (23 . 8)) 317 0.4195 11.6412 ((17 . 1) (20 . 4) (23 . 6) (26 . 8)) 329 0.1987 8.6935 ((17 . 1) (20 . 3) (23 . 7) (26 . 9)) 350 0.4995 7.8550 ((17 . 9) (22 . 13) (23 . 14) (27 . 20)) 351 0.4995 7.8585 ((17 . 4) (20 . 5) (23 . 7) (26 . 9)) 361 0.2909 9.6019 ((16 . 2) (20 . 5) (23 . 6) (26 . 8)) 367 0.4991 9.3511 ((22 . 42) (23 . 41) (27 . 47) (28 . 48)) 417 0.4997 7.3348 ((22 . 2) (26 . 6) (27 . 7) (28 . 9)) 433 0.3670 8.2723 ((17 . 3) (22 . 7) (23 . 8) (27 . 10)) 442 0.4999 5.1069 ((20 . 11) (22 . 12) (26 . 13) (27 . 14)) 460 0.2462 8.2140 ((16 . 3) (17 . 4) (22 . 8) (23 . 9)) 472 0.4519 11.4372 ((17 . 23) (20 . 24) (23 . 28) (26 . 33)) 495 0.4998 6.6723 ((16 . 1) (20 . 4) (27 . 9) (28 . 11)) 541 0.6245 6.2201 ((20 . 6) (22 . 7) (26 . 13) (27 . 14) (28 . 16)) 543 0.1987 11.0441 ((20 . 7) (22 . 8) (26 . 14) (27 . 15)) 553 0.2910 8.7614 ((17 . 10) (20 . 14) (23 . 20) (26 . 22)) 584 0.3665 12.3510 ((17 . 2) (22 . 7) (26 . 9) (28 . 13)) 609 0.4999 5.7061 ((20 . 2) (22 . 3) (26 . 7) (27 . 8)) 619 0.2910 6.1612 ((23 . 14) (26 . 17) (27 . 18) (28 . 20)) 624 0.6249 4.4749 ((20 . 6) (22 . 7) (23 . 8) (26 . 10) (27 . 11)) 635 0.4996 7.7860 ((17 . 9) (22 . 13) (26 . 17) (27 . 18)) 672 0.4991 9.3234 ((22 . 16) (23 . 17) (27 . 23) (28 . 24)) 678 0.6239 7.4266 ((16 . 22) (20 . 25) (22 . 26) (26 . 28) (27 . 29)) 729 0.4996 7.7596 ((16 . 7) (20 . 12) (23 . 14) (27 . 17)) 735 0.2909 9.5189 ((20 . 30) (22 . 31) (27 . 37) (28 . 39)) 765 0.4997 7.0494 ((16 . 3) (22 . 9) (27 . 19) (28 . 20)) 767 0.4997 6.9087 ((22 . 1) (23 . 2) (27 . 9) (28 . 10)) 792 0.2462 10.0848 ((17 . 17) (20 . 19) (23 . 20) (26 . 21)) 795 0.6244 6.4935 ((22 . 1) (23 . 2) (26 . 4) (27 . 5) (28 . 6)) 812 0.4998 6.6322 ((22 . 9) (23 . 10) (26 . 12) (27 . 13)) 818 0.4994 8.3506 ((16 . 1) (23 . 9) (26 . 11) (27 . 12)) 861 0.3670 8.2606 ((17 . 10) (20 . 11) (22 . 12) (28 . 19)) 901 0.6247 5.2374 ((20 . 10) (22 . 12) (23 . 14) (26 . 16) (27 . 17)) 913 0.4999 5.6798 ((23 . 15) (26 . 18) (27 . 17) (28 . 20)) 928 0.5143 6.3318 ((16 . 10) (20 . 13) (22 . 14) (23 . 15) (26 . 17)) 937 0.4999 5.1140 ((16 . 1) (20 . 3) (27 . 4) (28 . 5)) 943 0.4999 4.6131 ((16 . 6) (20 . 10) (22 . 12) (23 . 13)) 945 0.6226 8.9978 ((16 . 14) (20 . 18) (22 . 19) (23 . 20) (27 . 22)) 949 0.4992 9.1722 ((16 . 27) (22 . 32) (23 . 33) (26 . 37)) 960 0.6244 6.4622 ((17 . 7) (20 . 11) (22 . 12) (26 . 16) (27 . 19)) 978 0.4996 7.6715 ((16 . 4) (20 . 8) (22 . 10) (27 . 13)) 980 0.6244 6.3770 ((16 . 1) (20 . 4) (22 . 5) (23 . 6) (26 . 8)) 1007 0.4992 8.9522 ((17 . 2) (22 . 7) (27 . 11) (28 . 12)) 1008 0.4998 6.1112 ((16 . 3) (22 . 8) (27 . 15) (28 . 16)) 1034 0.4994 8.5389 ((17 . 23) (23 . 27) (26 . 31) (27 . 32)) 1043 0.6249 4.3947 ((20 . 5) (22 . 6) (23 . 7) (26 . 9) (27 . 10)) 1082 0.6243 6.5243 ((17 . 7) (20 . 11) (22 . 12) (26 . 14) (27 . 16)) 1084 0.5773 4.6089 ((16 . 3) (17 . 4) (20 . 6) (22 . 10) (27 . 17)) 1124 0.2462 12.0000 ((17 . 10) (20 . 11) (23 . 15) (26 . 16)) 1165 0.5000 4.4347 ((16 . 7) (20 . 9) (22 . 10) (23 . 11)) 1167 0.4995 7.8600 ((20 . 19) (22 . 22) (23 . 24) (27 . 27)) 1195 0.5000 3.8887 ((20 . 1) (22 . 2) (27 . 5) (28 . 6)) 1201 0.4993 8.6815 ((23 . 5) (26 . 8) (27 . 9) (28 . 11)) 1204 0.6210 10.2850 ((16 . 1) (20 . 2) (22 . 5) (23 . 6) (27 . 11)) 1211 0.4996 7.6450 ((16 . 3) (20 . 6) (27 . 14) (28 . 15)) 1217 0.4195 11.7849 ((16 . 3) (17 . 2) (20 . 8) (22 . 11)) 1224 0.4997 6.8306 ((22 . 7) (26 . 11) (27 . 14) (28 . 15)) 1233 0.4999 4.9889 ((16 . 14) (20 . 19) (22 . 20) (23 . 21)) 1267 0.4999 5.0383 ((20 . 14) (22 . 15) (23 . 16) (27 . 19)) 1268 0.4962 13.4506 ((17 . 21) (20 . 26) (26 . 28) (27 . 31)) 1345 0.5138 8.6111 ((20 . 6) (22 . 7) (23 . 8) (26 . 10) (27 . 12)) 1366 0.4990 9.4608 ((20 . 13) (22 . 16) (27 . 21) (28 . 22)) 1388 0.2462 8.6218 ((17 . 2) (22 . 5) (23 . 6) (27 . 8)) 1447 0.6246 5.8097 ((20 . 2) (22 . 3) (23 . 4) (26 . 6) (27 . 7)) 1451 0.4997 7.1704 ((16 . 1) (22 . 6) (23 . 7) (27 . 10)) 1472 0.4193 12.3000 ((17 . 3) (20 . 5) (23 . 10) (26 . 12)) 1476 0.4999 5.5113 ((20 . 10) (22 . 11) (26 . 16) (27 . 18)) 1497 0.4521 10.9029 ((17 . 8) (20 . 10) (23 . 11) (26 . 15)) 1513 0.4999 5.5092 ((20 . 4) (22 . 5) (26 . 9) (27 . 11)) 1577 0.1332 13.0260 ((16 . 5) (20 . 9) (23 . 11) (27 . 15)) 1591 0.6246 5.6034 ((16 . 6) (20 . 7) (22 . 8) (23 . 10) (27 . 11)) 1595 0.4997 6.9500 ((23 . 3) (26 . 6) (27 . 7) (28 . 8)) 1604 0.4998 6.5188 ((20 . 6) (22 . 10) (26 . 11) (27 . 12)) 1622 0.6243 6.6649 ((22 . 18) (23 . 19) (26 . 21) (27 . 22) (28 . 23)) 1643 0.6178 11.9356 ((16 . 3) (17 . 4) (22 . 8) (27 . 12) (28 . 15)) 1644 0.0999 10.0695 ((20 . 42) (22 . 44) (27 . 51) (28 . 52)) 1690 0.6248 5.0584 ((20 . 7) (22 . 8) (23 . 9) (26 . 12) (27 . 13)) 1731 0.4994 8.4174 ((16 . 3) (20 . 7) (22 . 8) (26 . 11)) 1736 0.4998 6.6144 ((16 . 1) (23 . 6) (26 . 9) (27 . 10)) 1738 0.4998 6.5519 ((16 . 4) (22 . 9) (23 . 10) (26 . 15)) 1747 0.4995 8.2260 ((16 . 31) (22 . 37) (27 . 41) (28 . 42)) 1761 0.6247 5.4893 ((20 . 8) (22 . 9) (23 . 10) (26 . 12) (27 . 13)) 1763 0.2462 7.7700 ((17 . 1) (20 . 4) (23 . 6) (26 . 8)) 1776 0.6247 5.5009 ((20 . 6) (22 . 7) (23 . 8) (26 . 10) (27 . 12)) 1778 0.4997 6.8136 ((16 . 3) (20 . 6) (22 . 8) (27 . 12)) 1793 0.6235 8.0126 ((16 . 3) (20 . 5) (23 . 7) (26 . 9) (27 . 10)) 1808 0.4999 4.7610 ((20 . 1) (26 . 7) (27 . 8) (28 . 9)) 1867 0.1497 6.7202 ((22 . 1) (23 . 2) (26 . 4) (27 . 7)) 1894 0.4984 10.7283 ((20 . 15) (22 . 18) (27 . 22) (28 . 23)) 1896 0.1987 13.3115 ((16 . 3) (20 . 4) (26 . 12) (28 . 14)) 1897 0.1662 6.9541 ((16 . 40) (20 . 44) (22 . 46) (23 . 48)) 1908 0.4999 5.2868 ((22 . 10) (23 . 14) (26 . 16) (27 . 17)) 1909 0.6218 9.7268 ((17 . 23) (22 . 29) (23 . 30) (26 . 32) (27 . 34)) 1913 0.4996 7.7500 ((22 . 1) (26 . 2) (27 . 6) (28 . 7)) 1944 0.6231 8.5302 ((20 . 4) (22 . 5) (23 . 6) (26 . 8) (27 . 9)) 1957 0.4999 5.1012 ((20 . 12) (22 . 15) (26 . 18) (27 . 19)) 1961 0.4999 5.6722 ((22 . 14) (26 . 18) (27 . 19) (28 . 20)) 1967 0.4999 5.4479 ((20 . 4) (22 . 7) (26 . 9) (27 . 10)) 1972 0.4999 5.7903 ((20 . 17) (22 . 18) (23 . 19) (27 . 24)) 1987 0.4197 10.8910 ((17 . 10) (20 . 11) (23 . 13) (26 . 15)) 1992 0.6244 6.4808 ((16 . 1) (20 . 5) (23 . 8) (27 . 9) (28 . 14)) 1995 0.1987 7.8156 ((22 . 3) (23 . 5) (27 . 9) (28 . 12)) 2003 0.1497 9.7840 ((20 . 1) (26 . 6) (27 . 9) (28 . 10)) 2006 0.4991 9.2522 ((20 . 6) (22 . 7) (27 . 11) (28 . 12)) 2048 0.6247 5.4548 ((16 . 1) (20 . 5) (22 . 6) (26 . 12) (27 . 13)) 2063 0.4997 7.2680 ((22 . 42) (26 . 46) (27 . 49) (28 . 50)) 2065 0.4994 8.4601 ((20 . 15) (22 . 19) (27 . 26) (28 . 27)) 2067 0.4984 10.8186 ((20 . 56) (22 . 59) (26 . 62) (27 . 63)) 2072 0.4995 8.1792 ((22 . 2) (26 . 3) (27 . 6) (28 . 7)) 2081 0.5000 4.3738 ((20 . 1) (26 . 7) (27 . 9) (28 . 10)) 2083 0.4997 7.2690 ((16 . 1) (20 . 3) (23 . 6) (26 . 8)) 2097 0.4928 15.8387 ((17 . 2) (22 . 7) (23 . 10) (27 . 16)) 2114 0.2462 8.7290 ((20 . 30) (22 . 34) (23 . 35) (26 . 38)) 2116 0.4997 7.1816 ((16 . 1) (22 . 6) (27 . 11) (28 . 12)) 2117 0.4999 5.3687 ((16 . 1) (22 . 6) (23 . 8) (26 . 13)) 2118 0.4991 9.4303 ((16 . 1) (20 . 6) (22 . 7) (23 . 8)) 2122 0.6247 5.3152 ((20 . 5) (22 . 6) (23 . 7) (26 . 9) (27 . 10)) 2166 0.4999 4.7368 ((20 . 5) (26 . 10) (27 . 12) (28 . 13)) 2179 0.6236 7.8430 ((16 . 7) (20 . 12) (22 . 13) (26 . 18) (28 . 20)) 2205 0.4996 7.6176 ((16 . 13) (22 . 19) (27 . 23) (28 . 26)) 2209 0.4999 5.2312 ((20 . 4) (22 . 5) (26 . 8) (27 . 9)) 2243 0.4985 10.5480 ((16 . 49) (22 . 53) (27 . 60) (28 . 61)) 2248 1.0000 0.0000 ((16 . 16) (17 . 17) (20 . 20) (22 . 22) (23 . 23) (26 . 26) (27 . 27) (28 . 28)) 2249 0.6237 7.8151 ((22 . 12) (23 . 14) (26 . 19) (27 . 21) (28 . 23)) 2269 0.4999 4.9316 ((16 . 8) (20 . 11) (22 . 12) (23 . 13)) 2279 0.5142 7.1495 ((17 . 6) (22 . 11) (23 . 12) (27 . 19) (28 . 20)) 2298 0.6244 6.2503 ((16 . 4) (20 . 7) (22 . 10) (26 . 14) (27 . 15)) 2308 0.5000 3.9262 ((16 . 8) (20 . 10) (22 . 11) (23 . 12)) 2314 0.1332 10.6556 ((16 . 7) (17 . 9) (22 . 11) (26 . 16)) 2340 0.2910 7.2340 ((20 . 8) (22 . 9) (23 . 10) (27 . 14)) 2344 0.4974 12.2241 ((20 . 12) (22 . 13) (26 . 17) (27 . 20)) 2364 0.6232 8.3719 ((20 . 6) (22 . 7) (23 . 8) (26 . 10) (27 . 12)) 2423 0.4991 9.3676 ((20 . 18) (26 . 23) (27 . 25) (28 . 26)) 2440 0.2907 14.3475 ((20 . 5) (22 . 7) (26 . 10) (27 . 13)) 2447 0.4997 7.0759 ((16 . 30) (22 . 36) (23 . 37) (27 . 40)) 2462 0.4997 7.2027 ((17 . 2) (20 . 5) (22 . 11) (28 . 12)) 2465 0.2462 8.3683 ((17 . 1) (20 . 5) (23 . 6) (26 . 8)) 2510 0.6245 6.1992 ((20 . 2) (22 . 3) (23 . 4) (26 . 6) (27 . 7)) 2525 0.6249 4.1623 ((16 . 41) (22 . 45) (26 . 46) (27 . 47) (28 . 48)) 2529 0.1497 5.9572 ((22 . 1) (23 . 2) (26 . 4) (27 . 6)) 2533 0.6240 7.1846 ((20 . 3) (22 . 4) (23 . 5) (26 . 7) (27 . 9)) 2544 0.2909 10.0639 ((23 . 18) (26 . 19) (27 . 22) (28 . 23)) 2551 0.0999 7.9099 ((23 . 7) (26 . 10) (27 . 11) (28 . 12)) 2552 0.4999 5.3452 ((22 . 1) (23 . 2) (26 . 4) (27 . 5)) 2556 0.5000 4.3923 ((16 . 13) (22 . 20) (23 . 21) (26 . 23)) 2557 0.1987 10.1575 ((20 . 1) (22 . 3) (26 . 5) (27 . 7)) 2561 0.4997 6.9214 ((16 . 1) (23 . 5) (27 . 8) (28 . 9)) 2595 0.4999 4.8294 ((20 . 2) (22 . 4) (26 . 5) (27 . 6)) 2619 0.4993 8.8886 ((22 . 3) (23 . 4) (26 . 6) (27 . 7)) 2627 0.4957 13.8425 ((17 . 55) (20 . 56) (23 . 59) (27 . 60)) 2634 0.4964 13.2301 ((17 . 1) (20 . 2) (23 . 3) (26 . 6)) 2650 0.4994 8.3601 ((22 . 2) (23 . 4) (27 . 7) (28 . 8)) 2658 0.0999 8.0612 ((23 . 8) (26 . 11) (27 . 12) (28 . 13)) 2682 0.4993 8.7797 ((20 . 16) (22 . 17) (23 . 18) (26 . 20)) 2731 0.1987 11.4367 ((16 . 1) (20 . 3) (22 . 5) (23 . 6)) 2733 0.4998 6.2874 ((16 . 4) (20 . 9) (22 . 11) (26 . 14)) 2755 0.4999 4.9225 ((20 . 4) (22 . 5) (26 . 7) (27 . 8)) 2773 0.0999 8.3187 ((22 . 2) (26 . 4) (27 . 5) (28 . 6)) 2783 0.4987 10.1949 ((20 . 4) (22 . 6) (26 . 9) (27 . 12)) 2804 0.4199 10.0946 ((16 . 25) (17 . 26) (20 . 28) (23 . 35)) 2821 0.4998 6.6176 ((16 . 1) (23 . 10) (26 . 12) (27 . 13)) 2830 0.6238 7.6324 ((16 . 11) (20 . 14) (22 . 15) (23 . 16) (27 . 19)) 2834 0.6247 5.3091 ((22 . 1) (23 . 2) (26 . 7) (27 . 8) (28 . 9)) 2840 0.4988 10.0928 ((16 . 5) (20 . 7) (22 . 9) (23 . 10)) 2842 0.5000 3.4841 ((22 . 1) (26 . 3) (27 . 4) (28 . 5)) 2867 0.1332 7.3584 ((20 . 1) (22 . 2) (27 . 7) (28 . 8)) 2879 0.4997 7.0716 ((22 . 51) (26 . 55) (27 . 58) (28 . 59)) 2940 0.4999 5.0250 ((22 . 1) (23 . 2) (27 . 4) (28 . 5)) 2947 0.4985 10.5568 ((16 . 7) (17 . 8) (20 . 9) (26 . 17)) 2966 0.4993 8.8657 ((20 . 5) (22 . 6) (27 . 12) (28 . 13)) 2990 0.4999 5.8232 ((20 . 8) (22 . 9) (27 . 15) (28 . 16)) 2999 0.6242 6.7902 ((22 . 2) (23 . 3) (26 . 5) (27 . 6) (28 . 7)) 3014 0.3665 12.4904 ((16 . 4) (17 . 6) (20 . 8) (26 . 12)) 3019 0.4999 5.6160 ((16 . 14) (17 . 15) (20 . 18) (22 . 19)) 3034 0.6242 6.9371 ((16 . 1) (20 . 6) (22 . 7) (23 . 8) (26 . 11)) 3041 0.6248 4.7853 ((20 . 10) (22 . 12) (23 . 13) (26 . 15) (27 . 16)) 3055 0.0999 12.3986 ((16 . 1) (22 . 7) (27 . 12) (28 . 13)) 3063 0.4997 7.0246 ((16 . 33) (22 . 39) (27 . 42) (28 . 45)) 3070 0.4997 7.2849 ((23 . 31) (26 . 34) (27 . 35) (28 . 36)) 3084 0.6249 3.7073 ((20 . 12) (22 . 13) (23 . 14) (26 . 16) (27 . 17)) 3102 0.4934 15.4966 ((16 . 62) (22 . 67) (27 . 71) (28 . 72)) 3103 0.2909 9.6737 ((16 . 1) (23 . 7) (26 . 12) (27 . 13)) 3120 0.1497 12.3435 ((20 . 20) (22 . 22) (23 . 23) (26 . 24)) 3127 0.6247 5.5018 ((16 . 6) (20 . 9) (22 . 11) (23 . 12) (26 . 16)) 3176 0.3663 13.1965 ((20 . 21) (23 . 23) (27 . 26) (28 . 27)) 3187 0.4998 6.5657 ((16 . 2) (22 . 6) (23 . 8) (26 . 10)) 3190 0.4999 5.1012 ((16 . 1) (22 . 9) (23 . 10) (26 . 12)) 3197 0.6248 4.9258 ((20 . 11) (22 . 12) (23 . 13) (26 . 15) (27 . 16)) 3200 0.4993 8.7772 ((20 . 5) (22 . 6) (23 . 7) (27 . 11)) 3202 0.1986 17.3559 ((17 . 21) (20 . 24) (23 . 27) (26 . 29)) 3212 0.2910 8.2242 ((16 . 3) (17 . 6) (20 . 7) (22 . 9)) 3222 0.3662 13.7826 ((22 . 1) (23 . 2) (27 . 7) (28 . 8)) 3256 0.4994 8.4104 ((16 . 13) (22 . 19) (27 . 26) (28 . 28)) 3261 0.4983 10.9812 ((16 . 3) (22 . 7) (23 . 10) (26 . 11)) 3286 0.4993 8.7706 ((20 . 2) (23 . 6) (26 . 8) (27 . 9)) 3297 0.4992 9.1145 ((16 . 1) (22 . 7) (27 . 9) (28 . 11)) 3300 0.2909 9.1927 ((16 . 1) (17 . 3) (23 . 10) (26 . 11)) 3322 0.5000 4.0049 ((22 . 1) (23 . 2) (26 . 6) (27 . 7)) 3334 0.4991 9.3670 ((20 . 9) (22 . 10) (23 . 11) (26 . 13)) 3339 0.6244 6.3553 ((16 . 9) (23 . 18) (26 . 20) (27 . 21) (28 . 22)) 3358 0.6246 5.9081 ((16 . 1) (20 . 3) (22 . 4) (26 . 9) (27 . 10)) 3362 0.6236 7.8969 ((22 . 4) (23 . 5) (26 . 7) (27 . 8) (28 . 10)) 3391 0.4996 7.6351 ((20 . 3) (22 . 4) (23 . 5) (27 . 8)) 3410 0.4987 10.2009 ((16 . 21) (20 . 23) (22 . 28) (23 . 29)) 3418 0.2909 9.5420 ((23 . 1) (26 . 3) (27 . 6) (28 . 7)) 3446 0.4993 8.6459 ((16 . 6) (17 . 8) (23 . 12) (26 . 13)) 3481 0.2909 9.5240 ((20 . 3) (22 . 7) (26 . 11) (27 . 12)) 3495 0.4992 9.0439 ((16 . 3) (17 . 5) (22 . 8) (23 . 9)) 3496 0.4998 6.1582 ((22 . 19) (26 . 21) (27 . 22) (28 . 23)) 3537 0.7493 5.2828 ((16 . 2) (20 . 3) (22 . 7) (26 . 8) (27 . 9) (28 . 10)) 3538 0.4991 9.2523 ((16 . 18) (23 . 22) (27 . 25) (28 . 26)) 3548 0.4997 7.1942 ((22 . 3) (26 . 7) (27 . 8) (28 . 9)) 3561 0.6243 6.5918 ((20 . 17) (22 . 20) (23 . 21) (26 . 23) (27 . 26)) 3570 0.4198 10.6504 ((16 . 4) (17 . 6) (20 . 9) (22 . 10)) 3585 0.4997 7.2658 ((16 . 6) (22 . 12) (26 . 15) (27 . 16)) 3613 0.4990 9.6439 ((16 . 36) (17 . 38) (20 . 39) (23 . 42)) 3626 0.2910 8.1728 ((20 . 1) (22 . 2) (23 . 5) (27 . 11)) 3628 0.6238 7.5843 ((16 . 6) (20 . 7) (22 . 10) (23 . 11) (26 . 13)) 3651 0.6236 7.8594 ((16 . 1) (20 . 2) (22 . 5) (26 . 7) (28 . 13)) 3658 0.4999 5.5542 ((22 . 1) (23 . 2) (27 . 5) (28 . 6)) 3659 0.1661 10.6680 ((17 . 3) (20 . 6) (22 . 9) (27 . 13)) 3661 0.2909 8.8867 ((16 . 12) (17 . 13) (26 . 25) (27 . 26)) 3663 0.1987 9.7758 ((16 . 1) (17 . 3) (20 . 6) (23 . 7)) 3697 0.4991 9.2217 ((22 . 4) (23 . 5) (27 . 6) (28 . 7)) 3703 0.4985 10.5424 ((22 . 4) (23 . 5) (27 . 8) (28 . 9)) 3732 0.4996 7.3775 ((22 . 5) (23 . 6) (26 . 8) (27 . 9)) 3733 0.5000 3.9998 ((22 . 1) (23 . 2) (26 . 4) (27 . 6)) 3776 0.1987 3.8759 ((22 . 15) (23 . 16) (26 . 18) (27 . 21)) 3778 0.4998 6.3813 ((16 . 13) (20 . 19) (23 . 21) (26 . 23)) 3787 0.6248 4.7377 ((20 . 5) (22 . 7) (23 . 8) (26 . 11) (27 . 12)) 3790 0.4996 7.7117 ((16 . 16) (17 . 17) (22 . 22) (27 . 27)) 3807 0.1497 11.8635 ((16 . 43) (20 . 49) (22 . 50) (26 . 52)) 3817 0.8742 4.4701 ((16 . 1) (20 . 3) (22 . 5) (23 . 6) (26 . 8) (27 . 9) (28 . 18)) 3818 0.8749 2.7413 ((16 . 20) (20 . 21) (22 . 23) (23 . 24) (26 . 27) (27 . 28) (28 . 29)) 3831 0.4998 6.5844 ((16 . 2) (22 . 6) (23 . 7) (26 . 11)) 3847 0.6249 3.8065 ((16 . 9) (20 . 10) (26 . 15) (27 . 16) (28 . 17)) 3853 0.6231 8.5434 ((16 . 3) (20 . 7) (22 . 8) (23 . 9) (27 . 12)) 3870 0.4999 4.6933 ((16 . 5) (20 . 7) (22 . 8) (23 . 9)) 3938 0.4973 12.2970 ((17 . 1) (20 . 3) (22 . 6) (26 . 12)) 3968 0.6231 8.5319 ((20 . 4) (22 . 5) (23 . 8) (26 . 10) (27 . 11)) 3986 0.4988 10.0001 ((16 . 9) (20 . 16) (23 . 19) (28 . 26)) 3990 0.4999 5.6521 ((16 . 16) (20 . 19) (22 . 20) (27 . 26)) 4005 0.4999 4.6599 ((22 . 25) (26 . 28) (27 . 32) (28 . 33)) 4009 0.4998 6.4786 ((16 . 15) (20 . 18) (22 . 19) (23 . 20)) 4019 0.2910 6.2983 ((16 . 39) (17 . 40) (22 . 45) (27 . 50)) 4030 0.3666 11.6510 ((17 . 12) (20 . 15) (23 . 17) (26 . 18)) 4034 0.4994 8.3066 ((17 . 7) (26 . 14) (27 . 15) (28 . 16)) 4062 0.2461 13.4952 ((20 . 40) (23 . 45) (27 . 48) (28 . 49)) 4067 0.5519 7.8565 ((16 . 16) (20 . 21) (22 . 22) (23 . 23) (27 . 25)) 4077 0.4930 15.7230 ((16 . 11) (17 . 12) (20 . 14) (26 . 17)) 4087 0.3671 6.4009 ((22 . 3) (23 . 4) (27 . 7) (28 . 8)) 4115 0.6241 7.0626 ((16 . 13) (20 . 16) (22 . 17) (23 . 18) (26 . 21)) 4134 0.4932 15.5794 ((17 . 26) (20 . 27) (23 . 30) (26 . 32)) 4151 0.7475 7.2514 ((16 . 5) (20 . 8) (22 . 9) (23 . 11) (26 . 14) (27 . 15)) 4190 0.2462 8.5209 ((16 . 3) (17 . 2) (20 . 6) (22 . 8)) 4192 0.4999 5.9569 ((16 . 10) (20 . 14) (22 . 15) (23 . 16)) 4194 0.4998 6.3128 ((16 . 1) (20 . 4) (22 . 5) (26 . 8)) 4195 0.3663 13.4952 ((17 . 3) (20 . 4) (26 . 8) (28 . 9)) 4204 0.6239 7.3716 ((20 . 2) (22 . 3) (23 . 4) (26 . 6) (27 . 9)) 4210 0.4996 7.4446 ((20 . 3) (22 . 4) (26 . 7) (27 . 8)) 4226 0.4999 4.7253 ((22 . 1) (26 . 5) (27 . 6) (28 . 8)) 4242 0.2462 11.4228 ((17 . 1) (20 . 3) (23 . 6) (26 . 8)) 4254 0.4998 6.6196 ((22 . 11) (23 . 12) (26 . 16) (27 . 18)) 4255 0.1332 9.9977 ((17 . 20) (20 . 22) (22 . 23) (23 . 25)) 4261 0.1987 7.2706 ((17 . 12) (20 . 14) (23 . 16) (26 . 17)) 4265 0.4999 4.8342 ((22 . 21) (23 . 22) (26 . 25) (27 . 26)) 4266 0.6245 5.9898 ((20 . 3) (22 . 4) (23 . 5) (26 . 7) (27 . 8)) 4274 0.6240 7.2779 ((22 . 36) (23 . 37) (26 . 39) (27 . 40) (28 . 41)) 4275 0.6249 4.0835 ((22 . 21) (23 . 22) (26 . 24) (27 . 25) (28 . 27)) 4281 0.1987 8.2938 ((22 . 3) (23 . 6) (26 . 9) (27 . 10)) 4284 0.2910 7.8440 ((16 . 1) (22 . 6) (23 . 7) (27 . 10)) 4299 0.6076 5.4961 ((16 . 4) (20 . 5) (22 . 6) (23 . 7) (27 . 11) (28 . 14)) 4326 0.5000 4.2765 ((22 . 7) (23 . 8) (26 . 14) (27 . 15)) 4332 0.2462 7.8456 ((20 . 1) (22 . 2) (23 . 3) (27 . 9)) 4338 0.4988 10.0044 ((20 . 5) (22 . 6) (26 . 9) (27 . 11)) 4352 0.4994 8.5419 ((20 . 2) (23 . 4) (27 . 9) (28 . 10)) 4359 0.4976 11.9926 ((16 . 3) (22 . 9) (27 . 14) (28 . 15)) 4386 0.4999 5.3073 ((16 . 1) (20 . 3) (22 . 4) (23 . 5)) 4388 0.4999 5.1776 ((23 . 2) (26 . 4) (27 . 5) (28 . 6)) 4398 0.6249 4.3847 ((20 . 2) (22 . 4) (23 . 5) (26 . 9) (27 . 10)) 4405 0.6230 8.5949 ((20 . 13) (22 . 14) (26 . 17) (27 . 18) (28 . 19)) 4408 0.4997 7.0688 ((16 . 14) (20 . 20) (23 . 23) (26 . 24)) 4415 0.4999 4.6340 ((16 . 4) (20 . 5) (22 . 9) (23 . 10)) 4419 0.3670 7.3348 ((20 . 2) (22 . 3) (23 . 5) (28 . 9)) 4426 0.4995 8.1701 ((20 . 1) (22 . 2) (23 . 3) (28 . 6)) 4470 0.4998 6.1151 ((16 . 14) (20 . 17) (22 . 18) (26 . 22)) 4491 0.4997 7.1093 ((22 . 1) (26 . 4) (27 . 6) (28 . 8)) 4492 0.6241 6.9640 ((22 . 18) (23 . 19) (26 . 22) (27 . 23) (28 . 26)) 4495 0.6238 7.5415 ((16 . 14) (20 . 15) (22 . 18) (26 . 20) (27 . 21)) 4497 0.4998 6.2589 ((22 . 18) (23 . 20) (27 . 24) (28 . 25)) 4502 0.6248 4.5358 ((16 . 1) (20 . 3) (22 . 6) (23 . 7) (27 . 11)) 4504 0.4999 5.1611 ((16 . 4) (20 . 5) (26 . 12) (27 . 13)) 4505 0.6248 4.8202 ((20 . 29) (22 . 30) (23 . 31) (26 . 33) (27 . 34)) 4516 0.4996 7.8109 ((22 . 28) (23 . 29) (26 . 31) (27 . 32)) 4538 0.1987 14.3646 ((17 . 27) (22 . 33) (23 . 36) (26 . 39)) 4560 0.6248 4.6208 ((20 . 5) (22 . 6) (23 . 7) (26 . 10) (27 . 11)) 4561 0.6248 5.0647 ((16 . 5) (20 . 8) (22 . 9) (23 . 11) (27 . 16)) 4562 0.4999 5.8824 ((20 . 21) (22 . 22) (26 . 26) (27 . 27)) 4563 0.6241 7.0642 ((20 . 27) (22 . 31) (26 . 33) (27 . 34) (28 . 35)) 4577 0.4997 7.3261 ((16 . 48) (26 . 56) (27 . 58) (28 . 60)) 4579 0.1987 12.4167 ((17 . 25) (20 . 26) (23 . 27) (26 . 28)) 4588 0.5138 8.5286 ((22 . 1) (23 . 2) (26 . 4) (27 . 7) (28 . 8)) 4589 0.6247 5.2834 ((16 . 23) (22 . 25) (26 . 26) (27 . 27) (28 . 30)) 4607 0.2909 10.1378 ((17 . 13) (20 . 16) (23 . 18) (26 . 19)) 4621 0.4196 11.3058 ((20 . 1) (23 . 2) (26 . 5) (28 . 8)) 4630 0.4979 11.5081 ((20 . 2) (22 . 3) (27 . 9) (28 . 10)) 4668 0.6234 8.1958 ((20 . 2) (22 . 5) (23 . 6) (26 . 8) (27 . 9)) 4669 0.6243 6.5213 ((16 . 17) (20 . 18) (22 . 21) (23 . 22) (26 . 23)) 4671 0.4995 8.1639 ((20 . 3) (22 . 4) (23 . 5) (27 . 7)) 4674 0.1497 10.0259 ((23 . 4) (26 . 5) (27 . 8) (28 . 9)) 4678 0.4999 4.6621 ((16 . 6) (23 . 9) (27 . 15) (28 . 16)) 4699 0.4989 9.8102 ((17 . 9) (20 . 11) (23 . 12) (26 . 13)) 4731 0.6236 7.8424 ((20 . 15) (22 . 18) (26 . 20) (27 . 22) (28 . 23)) 4817 0.4997 6.9458 ((17 . 5) (20 . 7) (23 . 9) (26 . 12)) 4857 0.2909 11.4997 ((20 . 4) (22 . 9) (26 . 12) (28 . 13)) 4886 0.4999 5.7937 ((16 . 19) (20 . 20) (22 . 22) (26 . 27)) 4888 0.4186 13.8729 ((16 . 15) (20 . 19) (23 . 23) (26 . 24)) 4889 0.3670 8.6903 ((16 . 12) (17 . 13) (20 . 19) (26 . 23)) 4932 0.1497 7.9712 ((16 . 1) (22 . 6) (23 . 7) (26 . 9)) 4940 0.4988 9.9304 ((16 . 3) (20 . 5) (22 . 8) (27 . 11)) 4944 0.6244 6.5020 ((20 . 10) (22 . 11) (23 . 12) (27 . 14) (28 . 15)) 4961 0.4996 7.3842 ((16 . 1) (20 . 2) (22 . 6) (23 . 8)) 4978 0.4997 7.1078 ((20 . 27) (22 . 28) (23 . 29) (26 . 31)) 4982 0.5000 3.6545 ((22 . 10) (23 . 11) (26 . 13) (27 . 14)) 4992 0.4999 5.8135 ((16 . 1) (20 . 4) (22 . 6) (23 . 7)) 4998 0.4992 9.1342 ((20 . 21) (22 . 23) (23 . 24) (26 . 27)) 5029 0.4999 4.6493 ((22 . 2) (23 . 3) (26 . 7) (27 . 8)) 5039 0.7488 6.0483 ((20 . 36) (22 . 39) (23 . 40) (26 . 43) (27 . 44) (28 . 45)) 5046 0.4991 9.3377 ((22 . 4) (26 . 9) (27 . 8) (28 . 10)) 5053 0.4999 5.7505 ((22 . 6) (23 . 7) (27 . 10) (28 . 11)) 5065 0.4994 8.3200 ((20 . 1) (22 . 2) (26 . 6) (28 . 9)) 5068 0.4988 10.0430 ((20 . 1) (22 . 2) (26 . 6) (27 . 7)) 5069 0.4996 7.4149 ((23 . 1) (26 . 3) (27 . 4) (28 . 5)) 5073 0.4999 5.6772 ((22 . 39) (23 . 41) (26 . 43) (27 . 44)) 5080 0.4199 10.1897 ((17 . 1) (20 . 6) (23 . 7) (26 . 10)) 5083 0.1497 9.4845 ((22 . 1) (23 . 3) (27 . 8) (28 . 9)) 5101 0.6248 5.0124 ((20 . 2) (22 . 3) (23 . 4) (26 . 6) (27 . 7)) 5103 0.4999 4.8759 ((22 . 13) (23 . 14) (26 . 16) (27 . 17)) 5121 0.4993 8.7895 ((20 . 22) (23 . 23) (27 . 30) (28 . 31)) 5132 0.4999 5.2577 ((20 . 17) (22 . 18) (23 . 19) (27 . 22)) 5134 0.4198 10.6684 ((17 . 12) (20 . 16) (22 . 17) (23 . 18)) 5167 0.6247 5.5707 ((16 . 3) (20 . 7) (22 . 9) (23 . 10) (27 . 12)) 5192 0.4999 5.0547 ((22 . 1) (23 . 2) (26 . 4) (27 . 5)) 5198 0.1661 11.6997 ((20 . 23) (23 . 25) (27 . 31) (28 . 32)) 5199 0.4986 10.5067 ((17 . 1) (20 . 2) (22 . 4) (28 . 9)) 5209 0.4990 9.4707 ((22 . 4) (23 . 6) (27 . 9) (28 . 10)) 5212 0.2462 9.6773 ((17 . 10) (20 . 13) (23 . 15) (26 . 16)) 5215 0.4997 7.0324 ((16 . 9) (20 . 14) (22 . 15) (23 . 17)) 5223 0.7469 7.6617 ((16 . 1) (20 . 5) (22 . 6) (23 . 7) (26 . 9) (27 . 10)) 5266 0.6237 7.6898 ((20 . 1) (22 . 2) (23 . 3) (26 . 5) (27 . 8)) 5278 0.4977 11.7627 ((17 . 1) (22 . 6) (27 . 10) (28 . 12)) 5307 0.4996 7.3780 ((16 . 51) (20 . 54) (22 . 55) (26 . 59)) 5318 0.4999 5.2942 ((16 . 3) (20 . 7) (22 . 8) (23 . 9)) 5323 0.4984 10.8485 ((20 . 3) (26 . 9) (27 . 10) (28 . 11)) 5324 0.6230 8.6677 ((16 . 5) (20 . 9) (23 . 13) (27 . 15) (28 . 16)) 5345 0.4996 7.8091 ((16 . 2) (22 . 9) (27 . 16) (28 . 17)) 5368 0.4995 7.9825 ((22 . 41) (23 . 44) (27 . 47) (28 . 48)) 5378 0.4997 6.9229 ((17 . 10) (20 . 13) (22 . 16) (27 . 21)) 5411 0.4997 7.1334 ((23 . 2) (26 . 5) (27 . 6) (28 . 8)) 5414 0.4997 6.9544 ((22 . 16) (23 . 17) (27 . 21) (28 . 22)) 5418 0.4995 7.9192 ((22 . 1) (26 . 4) (27 . 8) (28 . 9)) 5442 0.3667 11.2715 ((17 . 32) (20 . 33) (23 . 35) (26 . 37)) 5479 0.4929 15.7694 ((16 . 35) (22 . 41) (27 . 46) (28 . 47)) 5487 0.4999 5.8512 ((22 . 4) (23 . 5) (26 . 8) (27 . 9)) 5489 0.4986 10.4643 ((16 . 5) (26 . 15) (27 . 17) (28 . 16)) 5500 0.4999 5.9276 ((16 . 1) (23 . 10) (26 . 13) (27 . 14)) 5501 0.4994 8.2685 ((16 . 20) (17 . 21) (23 . 26) (27 . 30)) 5525 0.4513 12.6863 ((17 . 3) (20 . 5) (23 . 10) (26 . 12)) 5535 0.4998 6.7539 ((20 . 1) (22 . 2) (23 . 5) (28 . 10)) 5540 0.4944 14.8266 ((16 . 7) (17 . 9) (26 . 17) (27 . 18)) 5557 0.3923 4.8124 ((16 . 2) (20 . 5) (22 . 6) (23 . 8) (27 . 4) (28 . 3)) 5560 0.4998 6.7436 ((16 . 15) (20 . 18) (22 . 20) (23 . 21)) 5562 0.4998 6.3124 ((16 . 7) (20 . 13) (22 . 14) (23 . 15)) 5567 0.6226 9.0243 ((20 . 10) (22 . 11) (23 . 14) (26 . 16) (27 . 17)) 5594 0.6244 6.2680 ((16 . 4) (20 . 7) (22 . 9) (23 . 10) (26 . 13)) 5600 0.1497 8.1609 ((17 . 1) (20 . 4) (22 . 5) (28 . 11)) 5601 0.4996 7.7399 ((16 . 1) (22 . 7) (23 . 9) (26 . 11)) 5638 0.4990 9.4810 ((16 . 7) (20 . 12) (22 . 13) (23 . 14)) 5640 0.1987 13.2231 ((16 . 3) (22 . 9) (27 . 14) (28 . 16)) 5644 0.0999 8.7653 ((16 . 1) (20 . 5) (27 . 13) (28 . 14)) 5656 0.4998 6.5088 ((16 . 16) (20 . 20) (22 . 21) (26 . 25)) 5700 0.3664 13.0284 ((20 . 1) (22 . 2) (27 . 6) (28 . 8)) 5701 0.4999 5.6256 ((17 . 2) (20 . 3) (22 . 6) (27 . 8)) 5702 0.4511 12.9557 ((17 . 7) (20 . 9) (23 . 11) (26 . 13)) 5703 0.4996 7.7803 ((22 . 1) (23 . 3) (27 . 6) (28 . 7)) 5711 0.4975 12.1289 ((16 . 32) (22 . 38) (27 . 44) (28 . 46)) 5713 0.4993 8.8628 ((16 . 10) (22 . 18) (27 . 24) (28 . 25)) 5731 0.1987 10.5107 ((17 . 1) (22 . 7) (23 . 8) (28 . 14)) 5746 0.0999 6.3545 ((23 . 1) (26 . 4) (27 . 6) (28 . 7)) 5770 0.1987 10.7644 ((20 . 5) (23 . 7) (27 . 12) (28 . 15)) 5771 0.4985 10.5496 ((16 . 1) (20 . 7) (22 . 9) (23 . 10)) 5782 0.4997 6.8830 ((16 . 24) (20 . 31) (22 . 32) (26 . 36)) 5794 0.4999 4.9885 ((22 . 19) (26 . 22) (27 . 23) (28 . 24)) 5795 0.4997 6.9101 ((22 . 10) (23 . 12) (26 . 15) (27 . 16)) 5809 0.6244 6.2470 ((16 . 3) (20 . 6) (22 . 7) (23 . 8) (27 . 12)) 5827 0.4999 5.5669 ((22 . 11) (23 . 12) (27 . 15) (28 . 16)) 5830 0.4991 9.3980 ((16 . 1) (20 . 5) (22 . 7) (28 . 13)) 5861 0.4990 9.6596 ((16 . 1) (22 . 6) (27 . 12) (28 . 15)) 5865 0.1987 7.5713 ((16 . 1) (22 . 5) (23 . 6) (26 . 8)) 5878 0.2909 8.8933 ((17 . 21) (20 . 24) (22 . 25) (26 . 31)) 5888 0.4989 9.8051 ((16 . 16) (22 . 22) (27 . 28) (28 . 29)) 5904 0.5000 4.3137 ((16 . 4) (20 . 8) (22 . 9) (23 . 10)) 5913 0.4995 8.0349 ((17 . 1) (22 . 7) (26 . 11) (27 . 13)) 5922 0.4996 7.6166 ((16 . 1) (22 . 6) (27 . 11) (28 . 13)) 5930 0.4996 7.7734 ((22 . 2) (23 . 3) (26 . 6) (27 . 7)) 5939 0.4997 7.1833 ((20 . 1) (23 . 3) (26 . 5) (27 . 6)) 5945 0.6231 8.5176 ((16 . 28) (17 . 30) (20 . 31) (26 . 36) (27 . 38)) 5949 0.5000 4.4047 ((16 . 4) (20 . 8) (22 . 12) (23 . 13)) 5955 0.6213 10.0907 ((16 . 3) (23 . 10) (26 . 13) (27 . 14) (28 . 16)) 5967 0.3670 7.4051 ((16 . 1) (20 . 6) (22 . 7) (23 . 8)) 5977 0.6242 6.8947 ((22 . 1) (23 . 2) (26 . 4) (27 . 5) (28 . 6)) 6000 0.4997 6.8236 ((16 . 9) (20 . 11) (23 . 16) (27 . 21)) 6011 0.4972 12.3873 ((16 . 5) (22 . 11) (27 . 16) (28 . 18)) 6029 0.4985 10.6630 ((16 . 31) (20 . 32) (22 . 35) (23 . 36)) 6041 0.6244 6.3354 ((16 . 2) (20 . 3) (23 . 9) (27 . 12) (28 . 13)) 6061 0.6205 10.6194 ((17 . 12) (23 . 16) (26 . 18) (27 . 20) (28 . 21)) 6074 0.6243 6.5738 ((16 . 2) (20 . 7) (22 . 8) (23 . 10) (26 . 12)) 6075 0.4527 8.7310 ((16 . 21) (17 . 23) (22 . 28) (23 . 29)) 6079 0.5000 4.0523 ((22 . 1) (26 . 2) (27 . 6) (28 . 7)) 6087 0.2908 12.8170 ((16 . 3) (20 . 4) (23 . 7) (26 . 11)) 6089 0.6209 10.3240 ((16 . 1) (20 . 2) (22 . 5) (23 . 6) (26 . 8)) 6094 0.2462 12.3305 ((16 . 2) (22 . 10) (23 . 8) (28 . 15)) 6099 0.4999 5.1356 ((17 . 1) (22 . 5) (27 . 10) (28 . 11)) 6142 0.4985 10.5813 ((16 . 3) (22 . 7) (27 . 11) (28 . 12)) 6169 0.1332 11.6222 ((17 . 8) (20 . 10) (23 . 12) (26 . 13)) 6173 0.4196 11.4260 ((16 . 9) (20 . 14) (22 . 15) (23 . 16)) 6191 0.4989 9.9056 ((20 . 1) (26 . 7) (27 . 10) (28 . 12)) 6192 0.4998 6.5011 ((20 . 2) (26 . 4) (27 . 5) (28 . 10)) 6225 0.4994 8.4279 ((20 . 2) (22 . 5) (26 . 9) (27 . 10)) 6228 0.6248 4.8480 ((20 . 2) (22 . 3) (23 . 4) (26 . 6) (27 . 7)) 6238 0.6234 8.1743 ((17 . 1) (20 . 2) (22 . 3) (27 . 8) (28 . 9)) 6243 0.4995 8.2324 ((22 . 3) (23 . 5) (26 . 7) (27 . 8)) 6251 0.5000 3.9019 ((16 . 10) (22 . 17) (23 . 18) (26 . 20)) 6258 0.4993 8.6905 ((16 . 4) (17 . 5) (23 . 11) (27 . 13)) 6261 0.6230 8.5867 ((20 . 10) (23 . 15) (26 . 18) (27 . 19) (28 . 21)) 6266 0.4998 6.1005 ((20 . 4) (22 . 6) (26 . 9) (27 . 10)) 6270 0.4997 7.2365 ((16 . 9) (22 . 15) (23 . 16) (28 . 20)) 6271 0.4997 6.9424 ((22 . 5) (26 . 9) (27 . 10) (28 . 11)) 6294 0.4999 5.6104 ((20 . 24) (22 . 25) (23 . 26) (26 . 28)) 6309 0.4996 7.4036 ((16 . 18) (17 . 19) (22 . 25) (23 . 26)) 6329 0.4916 16.4476 ((17 . 12) (20 . 15) (23 . 16) (26 . 18)) 6344 0.4997 7.1190 ((22 . 1) (26 . 2) (27 . 4) (28 . 6)) 6345 0.3668 10.6567 ((17 . 1) (20 . 2) (22 . 4) (27 . 7)) 6348 0.6245 6.2174 ((16 . 1) (20 . 3) (22 . 4) (26 . 8) (27 . 9)) 6355 0.4990 9.6579 ((20 . 3) (22 . 4) (27 . 9) (28 . 10)) 6356 0.6239 7.4673 ((16 . 4) (20 . 8) (22 . 9) (23 . 10) (26 . 12)) 6359 0.2909 8.8996 ((17 . 1) (20 . 3) (23 . 5) (26 . 8)) 6369 0.6244 6.4471 ((16 . 20) (20 . 23) (22 . 24) (23 . 25) (26 . 28)) 6376 0.4997 6.9304 ((20 . 18) (22 . 19) (27 . 26) (28 . 27)) 6391 0.1987 7.2984 ((17 . 2) (22 . 6) (23 . 11) (27 . 14)) 6392 0.4999 4.8319 ((16 . 3) (20 . 6) (22 . 7) (23 . 8)) 6399 0.4930 15.6836 ((16 . 4) (22 . 8) (27 . 15) (28 . 16)) 6403 0.4997 6.7931 ((22 . 5) (23 . 6) (26 . 9) (27 . 10)) 6462 0.4998 6.0932 ((16 . 16) (20 . 19) (22 . 20) (23 . 21)) 6498 0.4997 7.2832 ((16 . 19) (20 . 22) (23 . 26) (27 . 29)) 6520 0.1987 8.0261 ((16 . 1) (22 . 8) (26 . 11) (28 . 14)) 6536 0.1987 7.9315 ((17 . 28) (23 . 32) (26 . 34) (28 . 36)) 6539 0.4999 5.8843 ((23 . 1) (26 . 3) (27 . 4) (28 . 5)) 6540 0.4997 7.1173 ((16 . 2) (22 . 6) (27 . 11) (28 . 12)) 6548 0.4980 11.3443 ((17 . 4) (20 . 6) (22 . 7) (27 . 13)) 6553 0.4999 5.8632 ((16 . 13) (20 . 19) (22 . 20) (26 . 27)) 6555 0.4997 7.0923 ((16 . 13) (22 . 20) (27 . 26) (28 . 27)) 6561 0.6249 4.2980 ((16 . 3) (20 . 5) (22 . 12) (27 . 13) (28 . 15)) 6573 0.4999 5.6831 ((20 . 18) (22 . 19) (23 . 20) (27 . 25)) 6575 0.1662 5.8059 ((16 . 1) (17 . 3) (20 . 6) (23 . 7)) 6584 0.2909 9.8274 ((20 . 1) (22 . 2) (27 . 7) (28 . 9)) 6585 0.8724 6.0293 ((16 . 2) (20 . 4) (22 . 6) (23 . 7) (26 . 9) (27 . 10) (28 . 11)) 6586 0.7492 5.5237 ((20 . 16) (22 . 18) (23 . 19) (26 . 23) (27 . 24) (28 . 25)) 6587 0.4999 5.1842 ((20 . 27) (22 . 29) (23 . 30) (26 . 32)) 6598 0.4997 7.1203 ((16 . 3) (26 . 12) (27 . 13) (28 . 16)) 6613 0.4998 6.6598 ((23 . 23) (26 . 25) (27 . 27) (28 . 28)) END